title: Towards Energy-Aware Federated Traffic Prediction for Cellular Networks

abstract: Cellular traffic prediction is a crucial activity for optimizing networks in fifth-generation (5G) networks and beyond, as accurate forecasting is essential for intelligent network design, resource allocation and anomaly mitigation. Although machine learning (ML) is a promising approach to effectively predict network traffic, the centralization of massive data in a single data center raises issues regarding confidentiality, privacy and data transfer demands. To address these challenges, federated learning (FL) emerges as an appealing ML training framework which offers high accurate predictions through parallel distributed computations. However, the environmental impact of these methods is often overlooked, which calls into question their sustainability. In this paper, we address the trade-off between accuracy and energy consumption in FL by proposing a novel sustainability indicator that allows assessing the feasibility of ML models. Then, we comprehensively evaluate state-of-the-art deep learning (DL) architectures in a federated scenario using real-world measurements from base station (BS) sites in the area of Barcelona, Spain. Our findings indicate that larger ML models achieve marginally improved performance but have a significant environmental impact in terms of carbon footprint, which make them impractical for real-world applications.


title: Self-Supervised Super-Resolution Approach for Isotropic Reconstruction of 3D Electron Microscopy Images from Anisotropic Acquisition

abstract: Three-dimensional electron microscopy (3DEM) is an essential technique to investigate volumetric tissue ultra-structure. Due to technical limitations and high imaging costs, samples are often imaged anisotropically, where resolution in the axial direction ($z$) is lower than in the lateral directions $(x,y)$. This anisotropy 3DEM can hamper subsequent analysis and visualization tasks. To overcome this limitation, we propose a novel deep-learning (DL)-based self-supervised super-resolution approach that computationally reconstructs isotropic 3DEM from the anisotropic acquisition. The proposed DL-based framework is built upon the U-shape architecture incorporating vision-transformer (ViT) blocks, enabling high-capability learning of local and global multi-scale image dependencies. To train the tailored network, we employ a self-supervised approach. Specifically, we generate pairs of anisotropic and isotropic training datasets from the given anisotropic 3DEM data. By feeding the given anisotropic 3DEM dataset in the trained network through our proposed framework, the isotropic 3DEM is obtained. Importantly, this isotropic reconstruction approach relies solely on the given anisotropic 3DEM dataset and does not require pairs of co-registered anisotropic and isotropic 3DEM training datasets. To evaluate the effectiveness of the proposed method, we conducted experiments using three 3DEM datasets acquired from brain. The experimental results demonstrated that our proposed framework could successfully reconstruct isotropic 3DEM from the anisotropic acquisition.


title: Optimum optical designs for diffraction-limited terahertz spectroscopy and imaging systems using off-axis parabolic mirrors

abstract: Off-axis parabolic mirrors (OAPMs) are widely used in the THz and mm-wave communities for spectroscopy and imaging applications, as a result of their broadband, low-loss operation and high numerical apertures. However, the aspherical shape of an OAPM creates significant geometric aberrations that make achieving diffraction-limited performance a challenge, and which lowers the peak electric field strength in the focal plane. Here we quantify the impact of geometric aberrations on the performance of the most widely-used spectrometer designs, by using ray tracing and physical optics calculations to investigate whether diffraction-limited performance can be achieved in both the sample and the detector plane. We identify simple rules, based on marginal ray propagation, that allow spectrometers to be designed that are more robust to misalignment errors, and which have minimal aberrations for THz beams. For a given source this allows the design of optical paths that give the smallest THz beam focal spot, with the highest THz electric field strength possible. This is desirable for improved THz imaging, for better signal-to-noise ratios in linear THz spectroscopy and optical-pump THz-probe spectroscopy, and to achieve higher electric field strengths in non-linear THz spectroscopy


title: Fixed Points of Automorphisms of Torus Knot Groups

abstract: We completely classify fixed point subgroups in Torus Knot Groups, that is groups of the form $G_{p,q} = \langle x , y | x^p = y^q \rangle$. We not only give the isomorphism type, but also the explicit generators for the fixed point subgroup of each automorphism of $G_{p,q}$. Our main tool is an action of $Aut(G_{p,q})$ on the Bass-Serre tree of $G_{p,q}$ which is compatible with the original action, in the sense that it extends the original action of $G_{p,q}$ on its Bass-Serre tree.


title: Cross-modal and Cross-domain Knowledge Transfer for Label-free 3D Segmentation

abstract: Current state-of-the-art point cloud-based perception methods usually rely on large-scale labeled data, which requires expensive manual annotations. A natural option is to explore the unsupervised methodology for 3D perception tasks. However, such methods often face substantial performance-drop difficulties. Fortunately, we found that there exist amounts of image-based datasets and an alternative can be proposed, i.e., transferring the knowledge in the 2D images to 3D point clouds. Specifically, we propose a novel approach for the challenging cross-modal and cross-domain adaptation task by fully exploring the relationship between images and point clouds and designing effective feature alignment strategies. Without any 3D labels, our method achieves state-of-the-art performance for 3D point cloud semantic segmentation on SemanticKITTI by using the knowledge of KITTI360 and GTA5, compared to existing unsupervised and weakly-supervised baselines.


title: MUSTANG: Multi-Stain Self-Attention Graph Multiple Instance Learning Pipeline for Histopathology Whole Slide Images

abstract: Whole Slide Images (WSIs) present a challenging computer vision task due to their gigapixel size and presence of numerous artefacts. Yet they are a valuable resource for patient diagnosis and stratification, often representing the gold standard for diagnostic tasks. Real-world clinical datasets tend to come as sets of heterogeneous WSIs with labels present at the patient-level, with poor to no annotations. Weakly supervised attention-based multiple instance learning approaches have been developed in recent years to address these challenges, but can fail to resolve both long and short-range dependencies. Here we propose an end-to-end multi-stain self-attention graph (MUSTANG) multiple instance learning pipeline, which is designed to solve a weakly-supervised gigapixel multi-image classification task, where the label is assigned at the patient-level, but no slide-level labels or region annotations are available. The pipeline uses a self-attention based approach by restricting the operations to a highly sparse k-Nearest Neighbour Graph of embedded WSI patches based on the Euclidean distance. We show this approach achieves a state-of-the-art F1-score/AUC of 0.89/0.92, outperforming the widely used CLAM model. Our approach is highly modular and can easily be modified to suit different clinical datasets, as it only requires a patient-level label without annotations and accepts WSI sets of different sizes, as the graphs can be of varying sizes and structures. The source code can be found at https://github.com/AmayaGS/MUSTANG.


title: Wave breaking for the generalized Fornberg-Whitham equation

abstract: This paper aims to show that the Cauchy problem of the Burgers equation with a weakly dispersive perturbation involving the Bessel potential (generalization of the Fornberg-Whitham equation) can exhibit wave breaking for initial data with large slope. We also comment on the dispersive properties of the equation.


title: Nonlinear dynamic analysis of shear- and torsion-free rods using isogeometric discretization and outlier removal

abstract: In this paper, we present a discrete formulation of nonlinear shear- and torsion-free rods introduced by Gebhardt and Romero in [20] that uses isogeometric discretization and robust time integration. Omitting the director as an independent variable field, we reduce the number of degrees of freedom and obtain discrete solutions in multiple copies of the Euclidean space (R^3), which is larger than the corresponding multiple copies of the manifold (R^3 x S^2) obtained with standard Hermite finite elements. For implicit time integration, we choose the same integration scheme as Gebhardt and Romero in [20] that is a hybrid form of the midpoint and the trapezoidal rules. In addition, we apply a recently introduced approach for outlier removal by Hiemstra et al. [26] that reduces high-frequency content in the response without affecting the accuracy, ensuring robustness of our nonlinear discrete formulation. We illustrate the efficiency of our nonlinear discrete formulation for static and transient rods under different loading conditions, demonstrating good accuracy in space, time and the frequency domain. Our numerical example coincides with a relevant application case, the simulation of mooring lines.


title: Electronic Properties and Interlayer Interactions in Antimony Oxide Homo- and Heterobilayers

abstract: Antimony shows promise as a two-dimensional (2D) mono-elemental crystal, referred to as antimonene. When exposed to ambient conditions, antimonene layers react with oxygen, forming new crystal structures, leading significant changes in electronic properties. These changes are influenced by the degree of oxidation. Utilizing Density Functional Theory (DFT) calculations, stable configurations of bilayer antimony oxide and their corresponding electronic properties are studied. Additionally, different stacking arrangements and their effects on the physical properties of the materials are investigated. Furthermore, the analysis encompasses strain-free hetero-bilayers containing both pristine and oxidized antimonene layers, aiming to understand the interplay between these materials and their collective impact on the bilayer properties. Our results provide insight into how the properties of antimony-based bilayer structures can be modified by adjusting stoichiometry and stacking configurations.


title: CFGPT: Chinese Financial Assistant with Large Language Model

abstract: Large language models (LLMs) have demonstrated great potential in natural language processing tasks within the financial domain. In this work, we present a Chinese Financial Generative Pre-trained Transformer framework, named CFGPT, which includes a dataset~(CFData) for pre-training and supervised fine-tuning, a financial LLM~(CFLLM) to adeptly manage financial texts, and a deployment framework~(CFAPP) designed to navigate real-world financial applications. The CFData comprising both a pre-training dataset and a supervised fine-tuning dataset, where the pre-training dataset collates Chinese financial data and analytics, alongside a smaller subset of general-purpose text with 584M documents and 141B tokens in total, and the supervised fine-tuning dataset is tailored for six distinct financial tasks, embodying various facets of financial analysis and decision-making with 1.5M instruction pairs and 1.5B tokens in total. The CFLLM, which is based on InternLM-7B to balance the model capability and size, is trained on CFData in two stage, continued pre-training and supervised fine-tuning. The CFAPP is centered on large language models (LLMs) and augmented with additional modules to ensure multifaceted functionality in real-world application. Our codes are released at https://github.com/TongjiFinLab/CFGPT.


title: Spiral Complete Coverage Path Planning Based on Conformal Slit Mapping in Multi-connected Domains

abstract: The generation of smoother and shorter spiral complete coverage paths in multi-connected domains is a crucial research topic in path planning for robotic cavity machining and other related fields. Traditional methods for spiral path planning in multi-connected domains typically incorporate a subregion division procedure that leads to excessive subregion bridging, requiring longer, more sharply turning, and unevenly spaced spirals to achieve complete coverage. To address this issue, this paper proposes a novel spiral complete coverage path planning method using conformal slit mapping. It takes advantage of the fact that conformal slit mapping can transform multi-connected domains into regular disks or annuluses without the need for subregion division. Firstly, a slit mapping calculation technique is proposed for segmented cubic spline boundaries with corners. Secondly, a spiral path spacing control method is developed based on the maximum inscribed circle radius between adjacent conformal slit mapping iso-parameters. Thirdly, the spiral coverage path is derived by offsetting iso-parameters. Numerical experiments indicate that our method shares a comparable order of magnitude in computation time with the traditional PDE-based spiral complete coverage path method, but it excels in optimizing total path length, smoothness, and spacing consistency. Finally, we performed experiments on cavity milling and dry runs to compare the new method with the traditional PDE-based method in terms of machining duration and steering impact, respectively. The comparison reveals that, with both algorithms achieving complete coverage, the new algorithm reduces machining time and steering impact by 12.34% and 22.78%, respectively, compared with the traditional PDE-based method.


title: A spectrum of physics-informed Gaussian processes for regression in engineering

abstract: Despite the growing availability of sensing and data in general, we remain unable to fully characterise many in-service engineering systems and structures from a purely data-driven approach. The vast data and resources available to capture human activity are unmatched in our engineered world, and, even in cases where data could be referred to as ``big,'' they will rarely hold information across operational windows or life spans. This paper pursues the combination of machine learning technology and physics-based reasoning to enhance our ability to make predictive models with limited data. By explicitly linking the physics-based view of stochastic processes with a data-based regression approach, a spectrum of possible Gaussian process models are introduced that enable the incorporation of different levels of expert knowledge of a system. Examples illustrate how these approaches can significantly reduce reliance on data collection whilst also increasing the interpretability of the model, another important consideration in this context.


title: Learning Adaptive Safety for Multi-Agent Systems

abstract: Ensuring safety in dynamic multi-agent systems is challenging due to limited information about the other agents. Control Barrier Functions (CBFs) are showing promise for safety assurance but current methods make strong assumptions about other agents and often rely on manual tuning to balance safety, feasibility, and performance. In this work, we delve into the problem of adaptive safe learning for multi-agent systems with CBF. We show how emergent behavior can be profoundly influenced by the CBF configuration, highlighting the necessity for a responsive and dynamic approach to CBF design. We present ASRL, a novel adaptive safe RL framework, to fully automate the optimization of policy and CBF coefficients, to enhance safety and long-term performance through reinforcement learning. By directly interacting with the other agents, ASRL learns to cope with diverse agent behaviours and maintains the cost violations below a desired limit. We evaluate ASRL in a multi-robot system and a competitive multi-agent racing scenario, against learning-based and control-theoretic approaches. We empirically demonstrate the efficacy and flexibility of ASRL, and assess generalization and scalability to out-of-distribution scenarios. Code and supplementary material are public online.


title: Implementing a new fully stepwise decomposition-based sampling technique for the hybrid water level forecasting model in real-world application

abstract: Various time variant non-stationary signals need to be pre-processed properly in hydrological time series forecasting in real world, for example, predictions of water level. Decomposition method is a good candidate and widely used in such a pre-processing problem. However, decomposition methods with an inappropriate sampling technique may introduce future data which is not available in practical applications, and result in incorrect decomposition-based forecasting models. In this work, a novel Fully Stepwise Decomposition-Based (FSDB) sampling technique is well designed for the decomposition-based forecasting model, strictly avoiding introducing future information. This sampling technique with decomposition methods, such as Variational Mode Decomposition (VMD) and Singular spectrum analysis (SSA), is applied to predict water level time series in three different stations of Guoyang and Chaohu basins in China. Results of VMD-based hybrid model using FSDB sampling technique show that Nash-Sutcliffe Efficiency (NSE) coefficient is increased by 6.4%, 28.8% and 7.0% in three stations respectively, compared with those obtained from the currently most advanced sampling technique. In the meantime, for series of SSA-based experiments, NSE is increased by 3.2%, 3.1% and 1.1% respectively. We conclude that the newly developed FSDB sampling technique can be used to enhance the performance of decomposition-based hybrid model in water level time series forecasting in real world.


title: Morse fluids in the immediate vicinity of the critical point: Calculation of thermodynamic coefficients

abstract: The previously proposed approach for the microscopic description of the critical behavior of Morse liquids based on the cell fluid model is applied to the case where the parameters of the Morse interaction potential correspond to alkali metals (sodium and potassium). The critical temperatures, densities, and pressures obtained for sodium and potassium agree with the experimental results. The thermodynamic coefficients (isothermal compressibility, density fluctuations, and thermal expansion) of sodium are investigated in the supercritical temperature region. Numerical calculations of thermodynamic coefficients are performed close to the critical point, where carrying out theoretical and experimental research is challenging. The change in compressibility with increasing density at various temperature values is traced. The behavior of density fluctuations approaching the critical point is shown for different temperatures. The variation in the magnitude of the thermal expansion with increasing temperature for different pressure values is illustrated.


title: Implicit Incorporation of Heuristics in MPC-Based Control of a Hydrogen Plant

abstract: The replacement of fossil fuels in combination with an increasing share of renewable energy sources leads to an increased focus on decentralized microgrids. One option is the local production of green hydrogen in combination with fuel cell vehicles (FCVs). In this paper, we develop a control strategy based on Model Predictive Control (MPC) for an energy management system (EMS) of a hydrogen plant, which is currently under installation in Offenbach, Germany. The plant includes an electrolyzer, a compressor, a low pressure storage tank, and six medium pressure storage tanks with complex heuristic physical coupling during the filling and extraction of hydrogen. Since these heuristics are too complex to be incorporated into the optimal control problem (OCP) explicitly, we propose a novel approach to do so implicitly. First, the MPC is executed without considering them. Then, the so-called allocator uses a heuristic model (of arbitrary complexity) to verify whether the MPC's plan is valid. If not, it introduces additional constraints to the MPC's OCP to implicitly respect the tanks' pressure levels. The MPC is executed again and the new plan is applied to the plant. Simulation results with real-world measurement data of the facility's energy management and realistic fueling scenarios show its advantages over rule-based control.


title: NusaWrites: Constructing High-Quality Corpora for Underrepresented and Extremely Low-Resource Languages

abstract: Democratizing access to natural language processing (NLP) technology is crucial, especially for underrepresented and extremely low-resource languages. Previous research has focused on developing labeled and unlabeled corpora for these languages through online scraping and document translation. While these methods have proven effective and cost-efficient, we have identified limitations in the resulting corpora, including a lack of lexical diversity and cultural relevance to local communities. To address this gap, we conduct a case study on Indonesian local languages. We compare the effectiveness of online scraping, human translation, and paragraph writing by native speakers in constructing datasets. Our findings demonstrate that datasets generated through paragraph writing by native speakers exhibit superior quality in terms of lexical diversity and cultural content. In addition, we present the \datasetname{} benchmark, encompassing 12 underrepresented and extremely low-resource languages spoken by millions of individuals in Indonesia. Our empirical experiment results using existing multilingual large language models conclude the need to extend these models to more underrepresented languages. We release the NusaWrites dataset at https://github.com/IndoNLP/nusa-writes.


title: Maximum Entropy Density Control of Discrete-Time Linear Systems with Quadratic Cost

abstract: This paper addresses the problem of steering the distribution of the state of a discrete-time linear system to a given target distribution while minimizing an entropy-regularized cost functional. This problem is called a maximum entropy (MaxEnt) density control problem. Specifically, the running cost is given by quadratic forms of the state and the control input, and the initial and final distributions are Gaussian. We first reveal that our problem boils down to solving two Riccati difference equations coupled through their boundary values. Based on them, we give the closed-form expression of the unique optimal policy. Next, we show that the optimal policy for the density control of the time-reversed system can be obtained simultaneously with the forward-time optimal policy. Finally, by considering the limit where the entropy regularization vanishes, we derive the optimal policy for the unregularized density control problem.


title: Improved guarantees for the a priori TSP

abstract: We revisit the a priori TSP (with independent activation) and prove stronger approximation guarantees than were previously known. In the a priori TSP, we are given a metric space $(V,c)$ and an activation probability $p(v)$ for each customer $v\in V$. We ask for a TSP tour $T$ for $V$ that minimizes the expected length after cutting $T$ short by skipping the inactive customers. All known approximation algorithms select a nonempty subset $S$ of the customers and construct a master route solution, consisting of a TSP tour for $S$ and two edges connecting every customer $v\in V\setminus S$ to a nearest customer in $S$. We address the following questions. If we randomly sample the subset $S$, what should be the sampling probabilities? How much worse than the optimum can the best master route solution be? The answers to these questions (we provide almost matching lower and upper bounds) lead to improved approximation guarantees: less than 3.1 with randomized sampling, and less than 5.9 with a deterministic polynomial-time algorithm.


title: Preliminaries paper: Byzantine Tolerant Strong Auditable Atomic Register

abstract: An auditable register extends the classical register with an audit operation that returns information on the read operations performed on the register. In this paper, we study Byzantine resilient auditable register implementations in an asynchronous message-passing system. Existing solutions implement the auditable register on top of at least 4f+1 servers, where at most $f$ can be Byzantine. We show that 4f+1 servers are necessary to implement auditability without communication between servers, or implement does not implement strong auditability when relaxing the constraint on the servers' communication, letting them interact with each other. In this setting, it exists a solution using 3f+1 servers to implement a simple auditable atomic register. In this work, we implement strong auditable register using 3f+1 servers with server to server communication, this result reinforced that with communication between servers, auditability (event strong auditability) does not come with an additional cost in terms of the number of servers.


title: Fast-dRRT*: Efficient Multi-Robot Motion Planning for Automated Industrial Manufacturing

abstract: We present Fast-dRRT*, a sampling-based multi-robot planner, for real-time industrial automation scenarios. Fast-dRRT* builds upon the discrete rapidly-exploring random tree (dRRT*) planner, and extends dRRT* by using pre-computed swept volumes for efficient collision detection, deadlock avoidance for partial multi-robot problems, and a simplified rewiring strategy. We evaluate Fast-dRRT* on five challenging multi-robot scenarios using two to four industrial robot arms from various manufacturers. The scenarios comprise situations involving deadlocks, narrow passages, and close proximity tasks. The results are compared against dRRT*, and show Fast-dRRT* to outperform dRRT* by up to 94% in terms of finding solutions within given time limits, while only sacrificing up to 35% on initial solution cost. Furthermore, Fast-dRRT* demonstrates resilience against noise in target configurations, and is able to solve challenging welding, and pick and place tasks with reduced computational time. This makes Fast-dRRT* a promising option for real-time motion planning in industrial automation.


title: Precomputable Trade-off Between Error and Breakpoints in Piecewise Linearization for First-Order Loss Functions

abstract: Stochastic optimization often involves calculating the expected value of a first-order max or min function, known as a first-order loss function. In this context, loss functions are frequently approximated using piecewise linear functions. Determining the approximation error and the number of breakpoints (segments) becomes a critical issue during this approximation. This is due to a trade-off: increasing the number of breakpoints reduces the error but also increases the computational complexity of the embedded model. As this trade-off is unclear in advance, preliminary experiments are often required to determine these values. The objective of this study is to approximate the trade-off between error and breakpoints in piecewise linearization for first-order loss functions. To achieve this goal, we derive an upper bound on the minimum number of breakpoints required to achieve a given absolute error. This upper bound can be easily precomputed once the approximation intervals and error are determined, and serves as a guideline for the trade-off between error and breakpoints. Furthermore, we propose efficient algorithms to obtain a piecewise linear approximation with a number of breakpoints below the derived upper bound.


title: Learning Tri-modal Embeddings for Zero-Shot Soundscape Mapping

abstract: We focus on the task of soundscape mapping, which involves predicting the most probable sounds that could be perceived at a particular geographic location. We utilise recent state-of-the-art models to encode geotagged audio, a textual description of the audio, and an overhead image of its capture location using contrastive pre-training. The end result is a shared embedding space for the three modalities, which enables the construction of soundscape maps for any geographic region from textual or audio queries. Using the SoundingEarth dataset, we find that our approach significantly outperforms the existing SOTA, with an improvement of image-to-audio Recall@100 from 0.256 to 0.450. Our code is available at https://github.com/mvrl/geoclap.


title: Language Modeling Is Compression

abstract: It has long been established that predictive models can be transformed into lossless compressors and vice versa. Incidentally, in recent years, the machine learning community has focused on training increasingly large and powerful self-supervised (language) models. Since these large language models exhibit impressive predictive capabilities, they are well-positioned to be strong compressors. In this work, we advocate for viewing the prediction problem through the lens of compression and evaluate the compression capabilities of large (foundation) models. We show that large language models are powerful general-purpose predictors and that the compression viewpoint provides novel insights into scaling laws, tokenization, and in-context learning. For example, Chinchilla 70B, while trained primarily on text, compresses ImageNet patches to 43.4% and LibriSpeech samples to 16.4% of their raw size, beating domain-specific compressors like PNG (58.5%) or FLAC (30.3%), respectively. Finally, we show that the prediction-compression equivalence allows us to use any compressor (like gzip) to build a conditional generative model.


title: Soliton States From Quadratic Electron-Phonon Interaction

abstract: We present the first numerically exact study of self-trapped, a.k.a. soliton, states of electrons that form in materials with strong quadratic coupling to the phonon coordinates. Previous studies failed to observe predictions based on the variational approach in continuum space because soliton states form only when system parameters are taken to the extreme limit. At the variational level, we establish that finite-radius solitons emerge through the weak first-order transition as the coupling strength is increased, and subsequently collapse to the single-site state through strong first-order transition. Both transitions transform into smooth crossovers between the light and heavy polaron states in the full quantum treatment. The most surprising effect not observed in any other polaron model is non-monotonic dependence of the soliton effective mass and the residue at strong coupling.


title: Symmetry considerations in exact diagonalization: spin-1/2 pyrochlore magnets

abstract: We describe how the methods of group theory (symmetry) are used to optimize the problem of exact diagonalization of a quantum system on a 16-site pyrochlore lattice. By analytically constructing a complete set of symmetrized states, we completely block-diagonalize the Hamiltonian. As an example, we consider a spin-1/2 system with nearest neighbour exchange interactions.


title: CloudSimSC: A Toolkit for Modeling and Simulation of Serverless Computing Environments

abstract: Serverless computing is gaining traction as an attractive model for the deployment of a multitude of workloads in the cloud. Designing and building effective resource management solutions for any computing environment requires extensive long term testing, experimentation and analysis of the achieved performance metrics. Utilizing real test beds and serverless platforms for such experimentation work is often times not possible due to resource, time and cost constraints. Thus, employing simulators to model these environments is key to overcoming the challenge of examining the viability of such novel ideas for resource management. Existing simulation software developed for serverless environments lack generalizibility in terms of their architecture as well as the various aspects of resource management, where most are purely focused on modeling function performance under a specific platform architecture. In contrast, we have developed a serverless simulation model with induced flexibility in its architecture as well as the key resource management aspects of function scheduling and scaling. Further, we incorporate techniques for easily deriving monitoring metrics required for evaluating any implemented solutions by users. Our work is presented as CloudSimSC, a modular extension to CloudSim which is a simulator tool extensively used for modeling cloud environments by the research community. We discuss the implemented features in our simulation tool using multiple use cases.


title: Asymptotically Optimal Belief Space Planning in Discrete Partially-Observable Domains

abstract: Robots often have to operate in discrete partially observable worlds, where the states of world are only observable at runtime. To react to different world states, robots need contingencies. However, computing contingencies is costly and often non-optimal. To address this problem, we develop the improved path tree optimization (PTO) method. PTO computes motion contingencies by constructing a tree of motion paths in belief space. This is achieved by constructing a graph of configurations, then adding observation edges to extend the graph to belief space. Afterwards, we use a dynamic programming step to extract the path tree. PTO extends prior work by adding a camera-based state sampler to improve the search for observation points. We also add support to non-euclidean state spaces, provide an implementation in the open motion planning library (OMPL), and evaluate PTO on four realistic scenarios with a virtual camera in up to 10-dimensional state spaces. We compare PTO with a default and with the new camera-based state sampler. The results indicate that the camera-based state sampler improves success rates in 3 out of 4 scenarios while having a significant lower memory footprint. This makes PTO an important contribution to advance the state-of-the-art for discrete belief space planning.


title: Geometry of stratified turbulent mixing: local alignment of the density gradient with rotation, shear and viscous dissipation

abstract: We introduce a geometric analysis of turbulent mixing in density-stratified flows based on the alignment of the density gradient in two orthogonal bases that are locally constructed from the velocity gradient tensor. The first basis connects diapycnal mixing to rotation and shearing motions, building on the recent 'rortex-shear decomposition' in stratified shear layers (Jiang et al., J. Fluid Mech. 947, A30, 2022), while the second basis connects mixing to the principal axes of the viscous dissipation tensor. Applying this framework to datasets taken in the stratified inclined duct laboratory experiment reveals that density gradients in locations of high shear tend to align preferentially (i) along the direction of minimum dissipation and (ii) normal to the plane spanned by the rotex and shear vectors. The analysis of the local alignment across increasingly turbulent flows offers new insights into the intricate relationship between the density gradient and dissipation, and thus diapycnal mixing.


title: USED: Universal Speaker Extraction and Diarization

abstract: Speaker extraction and diarization are two enabling techniques for real-world speech applications. Speaker extraction aims to extract a target speaker's voice from a speech mixture, while speaker diarization demarcates speech segments by speaker, annotating `who spoke when'. Previous studies have typically treated the two tasks independently. In practical applications, it is more meaningful to have knowledge about `who spoke what and when', which is captured by the two tasks. The two tasks share a similar objective of disentangling speakers. Speaker extraction operates in the frequency domain, whereas diarization is in the temporal domain. It is logical to believe that speaker activities obtained from speaker diarization can benefit speaker extraction, while the extracted speech offers more accurate speaker activity detection than the speech mixture. In this paper, we propose a unified model called Universal Speaker Extraction and Diarization (USED) to address output inconsistency and scenario mismatch issues. It is designed to manage speech mixture with varying overlap ratios and variable number of speakers. We show that the USED model significantly outperforms the competitive baselines for speaker extraction and diarization tasks on LibriMix and SparseLibriMix datasets. We further validate the diarization performance on CALLHOME, a dataset based on real recordings, and experimental results indicate that our model surpasses recently proposed approaches.


title: Improved Nonnegativity Testing in the Bernstein Basis via Geometric Means

abstract: We develop a new kind of nonnegativity certificate for univariate polynomials on an interval. In many applications, nonnegative Bernstein coefficients are often used as a simple way of certifying polynomial nonnegativity. Our proposed condition is instead an explicit lower bound for each Bernstein coefficient in terms of the geometric mean of its adjacent coefficients, which is provably less restrictive than the usual test based on nonnegative coefficients. We generalize to matrix-valued polynomials of arbitrary degree, and we provide numerical experiments suggesting the practical benefits of this condition. The techniques for constructing this inexpensive certificate could potentially be applied to other semialgebraic feasibility problems.


title: Remanence Increase in SrFe$_{12}$O$_{19}$/Fe Exchange-Decoupled Hard-Soft Composite Magnets Owing to Dipolar Interactions

abstract: In the search for improved permanent magnets, fueled by the geostrategic and environmental issues associated with rare-earth-based magnets, magnetically hard (high anisotropy)-soft (high magnetization) composite magnets hold promise as alternative magnets that could replace modern permanent magnets, such as rare-earth-based and ceramic magnets, in certain applications. However, so far, the magnetic properties reported for hard-soft composites have been underwhelming. Here, an attempt to further understand the correlation between magnetic and microstructural properties in strontium ferrite-based composites, hard SrFe$_{12}$O$_{19}$ (SFO) ceramics with different contents of Fe particles as soft phase, both in powder and in dense injection molded magnets, is presented. In addition, the influence of soft phase particle dimension, in the nano- and micron-sized regimes, on these properties is studied. While Fe and SFO are not exchange-coupled in our magnets, a remanence that is higher than expected is measured. In fact, in composite injection molded anisotropic (magnetically oriented) magnets, remanence is improved by 2.4% with respect to a pure ferrite identical magnet. The analysis of the experimental results in combination with micromagnetic simulations allows us to establish that the type of interaction between hard and soft phases is of a dipolar nature, and is responsible for the alignment of a fraction of the soft spins with the magnetization of the hard. The mechanism unraveled in this work has implications for the development of novel hard-soft permanent magnets.


title: Estimating Contamination via Perplexity: Quantifying Memorisation in Language Model Evaluation

abstract: Data contamination in model evaluation is getting increasingly prevalent as the massive training corpora of large language models often unintentionally include benchmark samples. Therefore, contamination analysis has became an inevitable part of reliable model evaluation. However, existing method of contamination analysis requires the access of the entire training data which is often confidential for recent models. This prevent the community to rigorously audit these models and conduct accurate assessment of their capability. In this paper, we propose a novel method to quantify contamination without the access of the full training set, that measure the extent of contamination with perplexity. Our analysis provides evidence of significant memorisation of recent foundation models in popular reading comprehension, summarisation benchmarks, while multiple choice appears less contaminated.


title: Dialogues with algorithms

abstract: In this short paper we focus on human in the loop for rule-based software used for law enforcement. For example, one can think of software that computes fines like tachograph software, software that prepares evidence like DNA sequencing software or social profiling software to patrol in high-risk zones, among others. An important difference between a legal human agent and a software application lies in possible dialogues. A human agent can be interrogated to motivate her decisions. Often such dialogues with software are at the best extremely hard but mostly impossible. We observe that the absence of a dialogue can sincerely violate civil rights and legal principles like, for example, Transparency or Contestability. Thus, possible dialogues with legal algorithms are at the least highly desirable. Futuristic as this may sound, we observe that in various realms of formal methods, such dialogues are easily obtainable. However, this triggers the usual tension between the expressibility of the dialogue language and the feasibility of the corresponding computations.


title: Oracle Complexity Reduction for Model-free LQR: A Stochastic Variance-Reduced Policy Gradient Approach

abstract: We investigate the problem of learning an $\epsilon$-approximate solution for the discrete-time Linear Quadratic Regulator (LQR) problem via a Stochastic Variance-Reduced Policy Gradient (SVRPG) approach. Whilst policy gradient methods have proven to converge linearly to the optimal solution of the model-free LQR problem, the substantial requirement for two-point cost queries in gradient estimations may be intractable, particularly in applications where obtaining cost function evaluations at two distinct control input configurations is exceptionally costly. To this end, we propose an oracle-efficient approach. Our method combines both one-point and two-point estimations in a dual-loop variance-reduced algorithm. It achieves an approximate optimal solution with only $O\left(\log\left(1/\epsilon\right)^{\beta}\right)$ two-point cost information for $\beta \in (0,1)$.


title: On 3-generated axial algebras of Jordan type half

abstract: Axial algebras of Jordan type $\eta$ are a special type of commutative non-associative algebras. They are generated by idempotents whose adjoint operators have the minimal polynomial dividing $(x-1)x(x-\eta)$, where $\eta$ is a fixed value that is not equal to $0$ or $1$. These algebras have restrictive multiplication rules that generalize the Peirce decomposition for idempotents in Jordan algebras. A universal $3$-generated algebra of Jordan type $\frac{1}{2}$ as an algebra with $4$ parameters was constructed by I. Gorshkov and A. Staroletov. Depending on the value of the parameter, the universal algebra may contain a non-trivial form radical. In this paper, we describe all semisimple $3$-generated algebras of Jordan type $\frac{1}{2}$ over a quadratically closed field.


title: Social Interactions Mediated by the Internet and the Big- Five: a Cross-Country Analysis

abstract: This study analyzes the possible relationship between personality traits, in terms of Big Five (extraversion, agreeableness, responsibility, emotional stability and openness to experience), and social interactions mediated by digital platforms in different socioeconomic and cultural contexts. We considered data from a questionnaire and the experience of using a chatbot, as a mean of requesting and offering help, with students from 4 universities: University of Trento (Italy), the National University of Mongolia, the School of Economics of London (United Kingdom) and the Universidad Cat\'olica Nuestra Se\~nora de la Asunci\'on (Paraguay). The main findings confirm that personality traits may influence social interactions and active participation in groups. Therefore, they should be taken into account to enrich the recommendation of matching algorithms between people who ask for help and people who could respond not only on the basis of their knowledge and skills.


title: Encoding Robust and Fast Memories in Bulk and Nanoscale Amorphous Solids

abstract: We investigate the memory effects under oscillatory shear deformation of amorphous solids through computer simulations. Applications of shear deformations in all orthogonal directions show that encoded memories via this protocol are more robust while performing reading. Our extensive system size analysis of memory effects shows that memory encoding in small systems is faster than in larger systems and is probably impossible in thermodynamically large system sizes. In addition to demonstrating how to encode robust memories in 3D bulk amorphous materials, we devise protocols for encoding and reading memories in pseudo-1D materials in the form of amorphous nano-rods. With this, we show that memory encoding and retrieving can also be done in systems with open surfaces, which all materials would necessarily have in practice, and is thus essential to capitalise on the effectiveness of smaller system sizes to encode memories faster. All in all, we provide protocols for encoding robust and faster memories in amorphous solids both at bulk and nanoscale.


title: Learning-Initialized Trajectory Planning in Unknown Environments

abstract: Autonomous flight in unknown environments requires precise planning for both the spatial and temporal profiles of trajectories, which generally involves nonconvex optimization, leading to high time costs and susceptibility to local optima. To address these limitations, we introduce the Learning-Initialized Trajectory Planner (LIT-Planner), a novel approach that guides optimization using a Neural Network (NN) Planner to provide initial values. We first leverage the spatial-temporal optimization with batch sampling to generate training cases, aiming to capture multimodality in trajectories. Based on these data, the NN-Planner maps visual and inertial observations to trajectory parameters for handling unknown environments. The network outputs are then optimized to enhance both reliability and explainability, ensuring robust performance. Furthermore, we propose a framework that supports robust online replanning with tolerance to planning latency. Comprehensive simulations validate the LIT-Planner's time efficiency without compromising trajectory quality compared to optimization-based methods. Real-world experiments further demonstrate its practical suitability for autonomous drone navigation.


title: Locally Stylized Neural Radiance Fields

abstract: In recent years, there has been increasing interest in applying stylization on 3D scenes from a reference style image, in particular onto neural radiance fields (NeRF). While performing stylization directly on NeRF guarantees appearance consistency over arbitrary novel views, it is a challenging problem to guide the transfer of patterns from the style image onto different parts of the NeRF scene. In this work, we propose a stylization framework for NeRF based on local style transfer. In particular, we use a hash-grid encoding to learn the embedding of the appearance and geometry components, and show that the mapping defined by the hash table allows us to control the stylization to a certain extent. Stylization is then achieved by optimizing the appearance branch while keeping the geometry branch fixed. To support local style transfer, we propose a new loss function that utilizes a segmentation network and bipartite matching to establish region correspondences between the style image and the content images obtained from volume rendering. Our experiments show that our method yields plausible stylization results with novel view synthesis while having flexible controllability via manipulating and customizing the region correspondences.


title: Analytic Wavefront Sets of Spherical Distributions on De Sitter Space

abstract: In this work we determine the wavefront set of certain eigendistributions of the Laplace-Beltrami operator on the de Sitter space. Let G = SO_{1,n}(R)_e be the connected component of identity of Lorentz group and let H = SO_{1,n-1}(R)_e, a subset G. The de Sitter space dS^n, is the one-sheeted hyperboloid in R{1,n} isomorphic to G/H. A spherical distribution, is an H-invariant, eigendistribution of the Laplace-Beltrami operator on dS^n. The space of spherical distributions with eigenvalue \lambda, denoted by D'_{\lambda}(dS^n), has dimension 2. In this article we construct a basis for the space of positive-definite spherical distributions as boundary value of sesquiholomorphic kernels on the crown domains, an open G-invariant domain in dS^n_C. It contains dS^n as a G-orbit on the boundary. We characterize the analytic wavefront set for such distributions. Moreover, if a spherical distribution \Theta in D'_{\lambda}(dS^n) has the wavefront set same as one of the basis element, then it must be a constant multiple of that basis element. Using the analytic wavefront sets we show that the basis elements of D'_{\lambda}(dS^n) can not vanish in any open region.


title: Interval Signal Temporal Logic from Natural Inclusion Functions

abstract: We propose an interval extension of Signal Temporal Logic (STL) called Interval Signal Temporal Logic (\ISTL). Given an STL formula, we consider an interval inclusion function for each of its predicates. Then, we use minimal inclusion functions for the $\min$ and $\max$ functions to recursively build an interval robustness that is a natural inclusion function for the robustness of the original STL formula. The resulting interval semantics accommodate, for example, uncertain signals modeled as a signal of intervals and uncertain predicates modeled with appropriate inclusion functions. In many cases, verification or synthesis algorithms developed for STL apply to \ISTL with minimal theoretic and algorithmic changes, and existing code can be readily extended using interval arithmetic packages at negligible computational expense. To demonstrate \ISTL, we present an example of offline monitoring from an uncertain signal trace obtained from a hardware experiment and an example of robust online control synthesis enforcing an STL formula with uncertain predicates.


title: EchoPrompt: Instructing the Model to Rephrase Queries for Improved In-context Learning

abstract: Language models are achieving impressive performance on various tasks by aggressively adopting inference-time prompting techniques, such as zero-shot and few-shot prompting. In this work, we introduce EchoPrompt, a simple yet effective approach that prompts the model to rephrase its queries before answering them. EchoPrompt is adapted for both zero-shot and few-shot in-context learning with standard and chain-of-thought prompting. Experimental results show that EchoPrompt yields substantial improvements across all these settings for four families of causal language models. These improvements are observed across various numerical reasoning (e.g. GSM8K, SVAMP), reading comprehension (e.g. DROP), and logical reasoning (e.g. Coin Flipping) tasks. On average, EchoPrompt improves the Zero-shot-CoT performance of code-davinci-002 by 5% in numerical tasks and 13% in reading comprehension tasks. We investigate the factors contributing to EchoPrompt's effectiveness through ablation studies, which reveal that both the original query and the model-generated rephrased version are instrumental in its performance gains. Our empirical results indicate that EchoPrompt is an effective technique that enhances in-context learning performance. We recommend incorporating EchoPrompt into various baseline prompting strategies to achieve performance boosts.


title: On the different regimes of Stochastic Gradient Descent

abstract: Modern deep networks are trained with stochastic gradient descent (SGD) whose key hyperparameters are the number of data considered at each step or batch size $B$, and the step size or learning rate $\eta$. For small $B$ and large $\eta$, SGD corresponds to a stochastic evolution of the parameters, whose noise amplitude is governed by the ''temperature'' $T\equiv \eta/B$. Yet this description is observed to break down for sufficiently large batches $B\geq B^*$, or simplifies to gradient descent (GD) when the temperature is sufficiently small. Understanding where these cross-overs take place remains a central challenge. Here, we resolve these questions for a teacher-student perceptron classification model and show empirically that our key predictions still apply to deep networks. Specifically, we obtain a phase diagram in the $B$-$\eta$ plane that separates three dynamical phases: (i) a noise-dominated SGD governed by temperature, (ii) a large-first-step-dominated SGD and (iii) GD. These different phases also correspond to different regimes of generalization error. Remarkably, our analysis reveals that the batch size $B^*$ separating regimes (i) and (ii) scale with the size $P$ of the training set, with an exponent that characterizes the hardness of the classification problem.


title: ReShader: View-Dependent Highlights for Single Image View-Synthesis

abstract: In recent years, novel view synthesis from a single image has seen significant progress thanks to the rapid advancements in 3D scene representation and image inpainting techniques. While the current approaches are able to synthesize geometrically consistent novel views, they often do not handle the view-dependent effects properly. Specifically, the highlights in their synthesized images usually appear to be glued to the surfaces, making the novel views unrealistic. To address this major problem, we make a key observation that the process of synthesizing novel views requires changing the shading of the pixels based on the novel camera, and moving them to appropriate locations. Therefore, we propose to split the view synthesis process into two independent tasks of pixel reshading and relocation. During the reshading process, we take the single image as the input and adjust its shading based on the novel camera. This reshaded image is then used as the input to an existing view synthesis method to relocate the pixels and produce the final novel view image. We propose to use a neural network to perform reshading and generate a large set of synthetic input-reshaded pairs to train our network. We demonstrate that our approach produces plausible novel view images with realistic moving highlights on a variety of real world scenes.


title: Optimal connectivity results for spheres in the curve graph of low and medium complexity surfaces

abstract: Answering a question of Wright, we show that spheres of any radius are always connected in the curve graph of surfaces $\Sigma_{2,0}, \Sigma_{1,3},$ and $\Sigma_{0,6}$, and the union of two consecutive spheres is always connected for $\Sigma_{0, 5}$ and $\Sigma_{1,2}$. We also classify the connected components of spheres of radius 2 in the curve graph of $\Sigma_{0, 5}$ and $\Sigma_{1,2}$.


title: MINT: Evaluating LLMs in Multi-turn Interaction with Tools and Language Feedback

abstract: To solve complex tasks, large language models (LLMs) often require multiple rounds of interactions with the user, sometimes assisted by external tools. However, current evaluation protocols often emphasize benchmark performance with single-turn exchanges, neglecting the nuanced interactions among the user, LLMs, and external tools, while also underestimating the importance of natural language feedback from users. These oversights contribute to discrepancies between research benchmark evaluations and real-world use cases. We introduce MINT, a benchmark that evaluates LLMs' ability to solve tasks with multi-turn interactions by (1) using tools and (2) leveraging natural language feedback. To ensure reproducibility, we provide an evaluation framework where LLMs can access tools by executing Python code and receive users' natural language feedback simulated by GPT-4. We repurpose a diverse set of established evaluation datasets focusing on reasoning, coding, and decision-making and carefully curate them into a compact subset for efficient evaluation. Our analysis of 20 open- and closed-source LLMs offers intriguing findings. (a) LLMs generally benefit from tools and language feedback, with performance gains (absolute, same below) of 1-8% for each turn of tool use and 2-17% with natural language feedback. (b) Better single-turn performance does not guarantee better multi-turn performance. (c) Surprisingly, on the LLMs evaluated, supervised instruction-finetuning (SIFT) and reinforcement learning from human feedback (RLHF) generally hurt multi-turn capabilities. We expect MINT can help measure progress and incentivize research in improving LLMs' capabilities in multi-turn interactions, especially for open-source communities where multi-turn human evaluation can be less accessible compared to commercial LLMs with a larger user base.


title: Collisional heating of icy planetesimals. I. Catastrophic collisions

abstract: Planetesimals in the primordial disc may have experienced a collisional cascade. If so, the comet nuclei later placed in the Kuiper belt, scattered disc, and Oort Cloud would primarily be fragments and collisional rubble piles from that cascade. However, the heating associated with the collisions cannot have been strong enough to remove the hypervolatiles that are trapped within more durable ices, because comet nuclei are rich in hypervolatiles. This places constraints on the diameter of the largest bodies allowed to participate in collisional cascades, and limits the primordial disc lifetime or population size. In this paper, the thermophysical code NIMBUS is used to study the thermal evolution of planetesimals before, during, and after catastrophic collisions. The loss of CO during segregation of $\mathrm{CO_2:CO}$ mixtures and during crystallisation of amorphous $\mathrm{H_2O}$ is calculated, as well as mobilisation and internal relocation of $\mathrm{CO_2}$. If an amorphous $\mathrm{H_2O}$ host existed, and was protected by a $\mathrm{CO_2:CO}$ heat sink, only diameter $D<20\,\mathrm{km}$ (inner disc) and $D<64\,\mathrm{km}$ (outer disc) bodies could have been involved in a collisional cascade. If $\mathrm{CO_2}$ was the only CO host, the critical diameters drop to $D<20$-$32\mathrm{km}$. Avoiding disruption of larger bodies requires a primordial disc lifetime of $<9\,\mathrm{Myr}$ at $15\,\mathrm{au}$ and $<50$-$70\,\mathrm{Myr}$ at $30\,\mathrm{au}$. Alternatively, if a $450\,\mathrm{Myr}$ disc lifetime is required to associate the primordial disc disruption with the Late Heavy Bombardment, the disc population size must have been 6-60 times below current estimates.


title: The unusual planetary nebula nucleus in the Galactic open cluster M37 and six further hot white dwarf candidates

abstract: Planetary nebulae in Galactic open star clusters are rare objects; only three are known to date. They are of particular interest because their distance can be determined with high accuracy, allowing one to characterize the physical properties of the planetary nebula and its ionizing central star with high confidence. Here we present the first quantitative spectroscopic analysis of a central star in an open cluster, namely the faint nucleus of IPHASX J055226.2$+$323724 in M37. This cluster contains 14 confirmed white dwarf members, which were previously used to study the initial-to-final-mass relation of white dwarfs, and six additional white dwarf candidates. We performed an atmosphere modeling of spectra taken with the 10m Gran Telescopio Canarias. The central star is a hot hydrogen-deficient white dwarf with an effective temperature of 90,000 K and spectral type PG1159 (helium- and carbon-rich). We know it is about to transform into a helium-rich DO white dwarf because the relatively low atmospheric carbon abundance indicates ongoing gravitational settling of heavy elements. The star belongs to a group of hot white dwarfs that exhibit ultrahigh-excitation spectral lines possibly emerging from shock-heated material in a magnetosphere. We find a relatively high stellar mass of $M= 0.85^{+0.13}_{-0.14}$ M$_\odot$. This young white dwarf is important for the semi-empirical initial-final mass relation because any uncertainty related to white-dwarf cooling theory is insignificant with respect to the pre-white-dwarf timescale. Its post-asymptotic-giant-branch age of $170,000-480,000$ yr suggests that the extended planetary nebula is extraordinarily old. We also performed a spectroscopic analysis of the six other white dwarf candidates of M37, confirming one as a cluster member.


title: "With Great Power Comes Great Responsibility!": Student and Instructor Perspectives on the influence of LLMs on Undergraduate Engineering Education

abstract: The rise in popularity of Large Language Models (LLMs) has prompted discussions in academic circles, with students exploring LLM-based tools for coursework inquiries and instructors exploring them for teaching and research. Even though a lot of work is underway to create LLM-based tools tailored for students and instructors, there is a lack of comprehensive user studies that capture the perspectives of students and instructors regarding LLMs. This paper addresses this gap by conducting surveys and interviews within undergraduate engineering universities in India. Using 1306 survey responses among students, 112 student interviews, and 27 instructor interviews around the academic usage of ChatGPT (a popular LLM), this paper offers insights into the current usage patterns, perceived benefits, threats, and challenges, as well as recommendations for enhancing the adoption of LLMs among students and instructors. These insights are further utilized to discuss the practical implications of LLMs in undergraduate engineering education and beyond.


title: Nonadiabatic derivative couplings through multiple Franck-Condon modes dictate the energy gap law for near and short-wave infrared dye molecules

abstract: Near infrared (NIR, 700 - 1,000 nm) and short-wave infrared (SWIR, 1,000 - 2,000 nm) dye molecules exhibit significant nonradiative decay rates from the first singlet excited state to the ground state. While these trends can be empirically explained by a simple energy gap law, detailed mechanisms of the nearly universal behavior have remained unsettled for many cases. Theoretical and experimental results for two representative NIR/SWIR dye molecules reported here clarify an important mechanism of such nature. It is shown that the first derivative nonadiabatic coupling terms serve as major coupling pathways for nonadiabatic decay processes exhibiting the energy gap law behavior and that vibrational modes other than the highest frequency ones also make significant contributions to the rate. This assessment is corroborated by further theoretical comparison with possible alternative mechanisms of intersystem crossing to triplet states and also by comparison with experimental data for deuterated molecules.


title: Nuclear descent from the fission barrier in the presence of long--range memory effects

abstract: We have investigated the peculiarities of nuclear descent from a parabolic fission barrier within a generalized Langevin equation with power--law $f(t-t')=(|t-t'|/\tau)^{-\alpha}$ memory function. We have observed much stronger slowing down of the nuclear descent in the presence of long--range memory effects, caused by the power--law memory function at $0<\alpha<1$, than in the presence of short--range memory effects, generated by exponential $f(t-t')={\rm exp}(-|t-t'|/\tau)$ memory function. At a specific value of the exponent $\alpha=1/2$ of the power--law memory function, it turned out possible to find analytically the trajectory of the descent and demonstrate that the long--range memory effects give rise to complex time oscillations of nuclear shape, becoming more frequent and damped with the correlation time $\tau$. We have found fairly long ($>10^{-20}~{\rm s}$) times of the descent of $^{\rm 236}{\rm U}$ at the values of the correlation time $\tau \sim [10^{-24}\div 10^{-23}]~{\rm s}$.


title: Foliation adjunction

abstract: We present an adjunction formula for foliations on varieties and we consider applications of the adjunction formula to the cone theorem for rank one foliations and the study of foliation singularities.


title: OASIS: Optimal Arrangements for Sensing in SLAM

abstract: The number and arrangement of sensors on mobile robot dramatically influence its perception capabilities. Ensuring that sensors are mounted in a manner that enables accurate detection, localization, and mapping is essential for the success of downstream control tasks. However, when designing a new robotic platform, researchers and practitioners alike usually mimic standard configurations or maximize simple heuristics like field-of-view (FOV) coverage to decide where to place exteroceptive sensors. In this work, we conduct an information-theoretic investigation of this overlooked element of robotic perception in the context of simultaneous localization and mapping (SLAM). We show how to formalize the sensor arrangement problem as a form of subset selection under the E-optimality performance criterion. While this formulation is NP-hard in general, we show that a combination of greedy sensor selection and fast convex relaxation-based post-hoc verification enables the efficient recovery of certifiably optimal sensor designs in practice. Results from synthetic experiments reveal that sensors placed with OASIS outperform benchmarks in terms of mean squared error of visual SLAM estimates.


title: Assessing the Impact of Flip Angle and on Image Quality and reliability of Ernst Angle optimization across Varied Conditions in Magnetic Resonance Imaging

abstract: This study investigates the significance of flip angle, an imaging parameter, in enhancing Magnetic Resonance image quality under various imaging conditions. It specifically explores the extent to which the Ernst angle, an optimal flip angle, optimizes image quality under different imaging parameters. The investigation begins with a theoretical derivation of the Ernst angle, assuming steady state imaging conditions. Then multiple studies that examine the effect of flip angle on signal-to-noise ratio (SNR), a key indicator of image quality, in different areas of the human body (blood, liver, and brain), are analysed. The study compares the results of these studies and compares their respective optimal flip angles with the Ernst angle. The findings reveal that flip angle plays a crucial role in enhancing SNR and image quality. However, the Ernst angle only optimizes SNR under steady state conditions and when using a spoiled gradient echo (GRE) sequence. Therefore, further investigations are necessary to determine the optimal flip angle under different imaging conditions to optimize SNR and enhance overall image quality.


title: Opening the Higgs Portal to Lepton-Flavoured Dark Matter

abstract: We study a simplified model of lepton-flavoured complex scalar dark matter coupling to right-handed leptons and the Higgs boson. The model is set up in the Dark Minimal Flavour Violation framework. In contrast to previous studies of similar models we consider the most general case and do not a priori constrain the hierarchy of dark matter masses and couplings in any way. In the first part of the analysis we discuss the impact of Higgs portal interactions and the generalised mass hierarchy on the model's phenomenology. We find that they render new physics masses around the electroweak scale viable, thus qualifying this model to address the $(g-2)_\mu$ puzzle. After reviewing the current situation of the latter, we perform two combined analyses -- one in which $(g-2)_\mu$ allows for significant new physics effects and one in which it does not. We find that while the latter scenario allows for a larger range of new physics scales, both scenarios are equally viable.


title: Measurement Simplification in \rho-POMDP with Performance Guarantees

abstract: Decision making under uncertainty is at the heart of any autonomous system acting with imperfect information. The cost of solving the decision making problem is exponential in the action and observation spaces, thus rendering it unfeasible for many online systems. This paper introduces a novel approach to efficient decision-making, by partitioning the high-dimensional observation space. Using the partitioned observation space, we formulate analytical bounds on the expected information-theoretic reward, for general belief distributions. These bounds are then used to plan efficiently while keeping performance guarantees. We show that the bounds are adaptive, computationally efficient, and that they converge to the original solution. We extend the partitioning paradigm and present a hierarchy of partitioned spaces that allows greater efficiency in planning. We then propose a specific variant of these bounds for Gaussian beliefs and show a theoretical performance improvement of at least a factor of 4. Finally, we compare our novel method to other state of the art algorithms in active SLAM scenarios, in simulation and in real experiments. In both cases we show a significant speed-up in planning with performance guarantees.


title: Formal Abstraction of General Stochastic Systems via Noise Partitioning

abstract: Verifying the performance of safety-critical, stochastic systems with complex noise distributions is difficult. We introduce a general procedure for the finite abstraction of nonlinear stochastic systems with non-standard (e.g., non-affine, non-symmetric, non-unimodal) noise distributions for verification purposes. The method uses a finite partitioning of the noise domain to construct an interval Markov chain (IMC) abstraction of the system via transition probability intervals. Noise partitioning allows for a general class of distributions and structures, including multiplicative and mixture models, and admits both known and data-driven systems. The partitions required for optimal transition bounds are specified for systems that are monotonic with respect to the noise, and explicit partitions are provided for affine and multiplicative structures. By the soundness of the abstraction procedure, verification on the IMC provides guarantees on the stochastic system against a temporal logic specification. In addition, we present a novel refinement-free algorithm that improves the verification results. Case studies on linear and nonlinear systems with non-Gaussian noise, including a data-driven example, demonstrate the generality and effectiveness of the method without introducing excessive conservatism.


title: Gukov-Pei-Putrov-Vafa conjecture for $SU(N)/\mathbb{Z}_m$

abstract: In our earlier work, we studied the $\hat{Z}$-invariant(or homological blocks) for $SO(3)$ gauge group and we found it to be same as $\hat{Z}^{SU(2)}$. This motivated us to study the $\hat{Z}$-invariant for quotient groups $SU(N)/\mathbb{Z}_m$, where $m$ is some divisor of $N$. Interestingly, we find that $\hat{Z}$-invariant is independent of $m$.


title: Nested Gausslet Basis Sets

abstract: We introduce nested gausslet (NG) bases, an improvement on previous gausslet bases which can treat systems containing atoms with much larger atomic number. We also introduce pure Gaussian distorted gausslet bases, which allow the Hamiltonian integrals to be performed analytically, as well as hybrid bases in which the gausslets are combined with standard Gaussian-type bases. All these bases feature the diagonal approximation for the electron-electron interactions, so that the Hamiltonian is completely defined by two $N_b\times N_b$ matrices, where $N_b \approx 10^4$ is small enough to permit fast calculations at the Hartree-Fock level. In constructing these bases we have gained new mathematical insight into the construction of one-dimensional diagonal bases. In particular we have proved an important theorem relating four key basis set properties: completeness, orthogonality, zero-moment conditions, and diagonalization of the coordinate operator matrix. We test our basis sets on small systems with a focus on high accuracy, obtaining, for example, an accuracy of $2\times10^{-5}$ Ha for the total Hartree-Fock energy of the neon atom in the complete basis set limit.

categories: physics.chem-ph cond-mat.str-el physics.atom-ph physics.comp-ph


title: Ni/Bi bilayers: The effect of thickness on the superconducting properties

abstract: Nickel/Bismuth (Ni/Bi) bilayers have recently attracted attention due to the occurrence of time-reversal symmetry breaking in the superconducting state. Here, we report on the structural, magnetic and electric characterization of thin film Ni/Bi bilayers with several Bi thicknesses. We observed the formation of a complex layered structure depending on the Bi thickness caused by the inter-diffusion of Bi and Ni which leads to the stabilization of NiBi$_{3}$ at the Bi/Ni interface. The superconducting transition temperature and the transition width are highly dependent on the Bi thickness and the layer structure. Magnetoelectric transport measurements in perpendicular and parallel magnetic fields were used to investigate the temperature-dependent upper critical field within the framework of the anisotropic Ginzburg-Landau theory and the Werthamer Helfand Hohenberg model. For thicker samples, we observed a conventional behavior, similar to that shown by NiBi$_{3}$ bulk samples, including a small Maki parameter ($\alpha_{M}$ = 0), no spin-orbit scattering ($\lambda_{SO}$= 0) and nearly isotropic coherence length ($\gamma$ = $\xi_{\perp}$(0)/$\xi_{\parallel}$(0) $\approx$ 1). The values obtained for these properties are close to those characterizing NiBi$_{3}$ single crystals. On the other hand, in very thin samples the Maki parameter increases to about $\alpha_{M}$ = 2.8. In addition, the coherence length becomes anisotropic ($\gamma$ = 0.32) and spin-orbit scattering ($\lambda_{SO}$= 1.2) must be taken into account. Our results unequivocally show that the properties characterizing the superconducting state in the Ni/Bi are strongly dependent on the sample thickness.


title: OpenBA: An Open-sourced 15B Bilingual Asymmetric seq2seq Model Pre-trained from Scratch

abstract: Large language models (LLMs) with billions of parameters have demonstrated outstanding performance on various natural language processing tasks. This report presents OpenBA, an open-sourced 15B bilingual asymmetric seq2seq model, to contribute an LLM variant to the Chinese-oriented open-source model community. We enhance OpenBA with effective and efficient techniques as well as adopt a three-stage training strategy to train the model from scratch. Our solution can also achieve very competitive performance with only 380B tokens, which is better than LLaMA-70B on the BELEBELE benchmark, BLOOM-176B on the MMLU benchmark, GLM-130B on the C-Eval (hard) benchmark. This report provides the main details to pre-train an analogous model, including pre-training data processing, Bilingual Flan data collection, the empirical observations that inspire our model architecture design, training objectives of different stages, and other enhancement techniques. Additionally, we also provide the fine-tuning details of OpenBA on four downstream tasks. We have refactored our code to follow the design principles of the Huggingface Transformers Library, making it more convenient for developers to use, and released checkpoints of different training stages at https://huggingface.co/openBA. More details of our project are available at https://github.com/OpenNLG/openBA.git.


title: Corpus Synthesis for Zero-shot ASR domain Adaptation using Large Language Models

abstract: While Automatic Speech Recognition (ASR) systems are widely used in many real-world applications, they often do not generalize well to new domains and need to be finetuned on data from these domains. However, target-domain data usually are not readily available in many scenarios. In this paper, we propose a new strategy for adapting ASR models to new target domains without any text or speech from those domains. To accomplish this, we propose a novel data synthesis pipeline that uses a Large Language Model (LLM) to generate a target domain text corpus, and a state-of-the-art controllable speech synthesis model to generate the corresponding speech. We propose a simple yet effective in-context instruction finetuning strategy to increase the effectiveness of LLM in generating text corpora for new domains. Experiments on the SLURP dataset show that the proposed method achieves an average relative word error rate improvement of $28\%$ on unseen target domains without any performance drop in source domains.


title: Modeling electron temperature profiles in the pedestal with simple formulas for ETG transport

abstract: This paper reports on the refinement (building on Ref.~\cite{hatch_22}) and application of simple formulas for electron heat transport from electron temperature gradient (ETG) driven turbulence in the pedestal. The formulas are improved by (1) improving the parameterization for certain key parameters and (2) carefully accounting for the impact of geometry and shaping in the underlying gyrokinetic simulation database. Comparisons with nonlinear gyrokinetic simulations of ETG transport in the MAST pedestal demonstrate the model's applicability to spherical tokamaks in addition to standard aspect ratio tokamaks. We identify bounds for model applicability: the model is accurate in the steep gradient region, where the ETG turbulence is largely slab-like, but accuracy decreases as the temperature gradient becomes weaker in the pedestal top and the instabilities become increasingly toroidal in nature. We use the formula to model the electron temperature profile in the pedestal for four experimental scenarios while extensively varying input parameters to represent uncertainties. In all cases, the predicted electron temperature pedestal exhibits extreme sensitivity to separatrix temperature and density, which has implications for core-edge integration. The model reproduces the electron temperature profile for high $\eta_e = L_{ne}/L_{Te}$ scenarios but not for low $\eta_e$ scenarios in which microtearing modes have been identified. We develop a proof-of-concept model for MTM transport and explore the relative roles of ETG and MTM in setting the electron temperature profile. We propose that pedestal scenarios predicted for future devices should be tested for compatibility with ETG transport.


title: Demazure crystal structure for flagged reverse plane partitions

abstract: Given a skew shape $ \lambda / \mu $ and a flag $\Phi,$ we show that the set of all flagged reverse plane partitions of shape $\lambda / \mu$ and flag $\Phi$ is a disjoint union of Demazure crystals (up to isomorphism). As a result, the flagged dual stable Grothendieck polynomial $ g_{\lambda/\mu}(X_\Phi)$ is shown to be key positive.


title: Surface plasmon induced quantum interference at meta-material interface

abstract: In this work we investigate quantum interference in a four-level atom coupled to a negative index meta-material (NIMM) anisotropic plasmonic environment that supports both TE and TM polarized surface plasmons (SP). The analysis confirms the creation of the anisotropic environment and two dipoles can interfere with each other even if they are orthogonal by sharing such SP modes. The NIMM/plasmonic environment provides more options to control SP interaction with emitters and their spontaneous emission decays and spectrum. The spectrum depends critically on structure parameters, mode frequency, frequency dependent electric permittivity and magnetic permeability, and the location of the atom etc. We observe orders of magnitudes enhancement in the plasmonic-modified decays and spectrum compared to free space case.


title: Latent Space Energy-based Model for Fine-grained Open Set Recognition

abstract: Fine-grained open-set recognition (FineOSR) aims to recognize images belonging to classes with subtle appearance differences while rejecting images of unknown classes. A recent trend in OSR shows the benefit of generative models to discriminative unknown detection. As a type of generative model, energy-based models (EBM) are the potential for hybrid modeling of generative and discriminative tasks. However, most existing EBMs suffer from density estimation in high-dimensional space, which is critical to recognizing images from fine-grained classes. In this paper, we explore the low-dimensional latent space with energy-based prior distribution for OSR in a fine-grained visual world. Specifically, based on the latent space EBM, we propose an attribute-aware information bottleneck (AIB), a residual attribute feature aggregation (RAFA) module, and an uncertainty-based virtual outlier synthesis (UVOS) module to improve the expressivity, granularity, and density of the samples in fine-grained classes, respectively. Our method is flexible to take advantage of recent vision transformers for powerful visual classification and generation. The method is validated on both fine-grained and general visual classification datasets while preserving the capability of generating photo-realistic fake images with high resolution.


title: Small Molecules, Big Impact: A tale of hydrides past, present, and future

abstract: Formed at an early stage of gas-phase ion-molecule chemistry, hydrides -- molecules containing a heavy element covalently bonded to one or more hydrogen atoms -- play an important role in interstellar chemistry as they are the progenitors of larger and more complex species in the interstellar medium. In recent years, the careful analysis of the spectral signatures of hydrides have led to their use as tracers of different constituents, and phases of the interstellar medium and in particular the more diffuse environments. Diffuse clouds form an essential link in the stellar gas life-cycle as they connect both the late and early stages of stellar evolution. As a result, diffuse clouds are continuously replenished by material which makes them reservoirs for heavy elements and hence ideal laboratories for the study of astrochemistry. This review will journey through a renaissance of hydride observations detailing puzzling hydride discoveries and chemical mysteries with special focus carbon-bearing hydrides to demonstrate the big impact of these small molecules and ending with remarks on the future of their studies.


title: Interpret Vision Transformers as ConvNets with Dynamic Convolutions

abstract: There has been a debate about the superiority between vision Transformers and ConvNets, serving as the backbone of computer vision models. Although they are usually considered as two completely different architectures, in this paper, we interpret vision Transformers as ConvNets with dynamic convolutions, which enables us to characterize existing Transformers and dynamic ConvNets in a unified framework and compare their design choices side by side. In addition, our interpretation can also guide the network design as researchers now can consider vision Transformers from the design space of ConvNets and vice versa. We demonstrate such potential through two specific studies. First, we inspect the role of softmax in vision Transformers as the activation function and find it can be replaced by commonly used ConvNets modules, such as ReLU and Layer Normalization, which results in a faster convergence rate and better performance. Second, following the design of depth-wise convolution, we create a corresponding depth-wise vision Transformer that is more efficient with comparable performance. The potential of the proposed unified interpretation is not limited to the given examples and we hope it can inspire the community and give rise to more advanced network architectures.


title: Reconstruct-and-Generate Diffusion Model for Detail-Preserving Image Denoising

abstract: Image denoising is a fundamental and challenging task in the field of computer vision. Most supervised denoising methods learn to reconstruct clean images from noisy inputs, which have intrinsic spectral bias and tend to produce over-smoothed and blurry images. Recently, researchers have explored diffusion models to generate high-frequency details in image restoration tasks, but these models do not guarantee that the generated texture aligns with real images, leading to undesirable artifacts. To address the trade-off between visual appeal and fidelity of high-frequency details in denoising tasks, we propose a novel approach called the Reconstruct-and-Generate Diffusion Model (RnG). Our method leverages a reconstructive denoising network to recover the majority of the underlying clean signal, which serves as the initial estimation for subsequent steps to maintain fidelity. Additionally, it employs a diffusion algorithm to generate residual high-frequency details, thereby enhancing visual quality. We further introduce a two-stage training scheme to ensure effective collaboration between the reconstructive and generative modules of RnG. To reduce undesirable texture introduced by the diffusion model, we also propose an adaptive step controller that regulates the number of inverse steps applied by the diffusion model, allowing control over the level of high-frequency details added to each patch as well as saving the inference computational cost. Through our proposed RnG, we achieve a better balance between perception and distortion. We conducted extensive experiments on both synthetic and real denoising datasets, validating the superiority of the proposed approach.


title: Gassmann triples with special cycle types and applications

abstract: We show that if one of various cycle types occurs in the permutation action of a finite group on the cosets of a given subgroup, then every almost conjugate subgroup is conjugate. As a number theoretic application, corresponding decomposition types of primes effect that a number field is determined by the Dedekind zeta function. As a geometric application, coverings of Riemannian manifolds with certain geodesic lifting behaviors must be isometric.


title: Learning Model Predictive Control with Error Dynamics Regression for Autonomous Racing

abstract: This work presents a novel Learning Model Predictive Control (LMPC) strategy for autonomous racing at the handling limit that can iteratively explore and learn unknown dynamics in high-speed operational domains. We start from existing LMPC formulations and modify the system dynamics learning method. In particular, our approach uses a nominal, global, nonlinear, physics-based model with a local, linear, data-driven learning of the error dynamics. We conducted experiments in simulation and on 1/10th scale hardware, and deployed the proposed LMPC on a full-scale autonomous race car used in the Indy Autonomous Challenge (IAC) with closed loop experiments at the Putnam Park Road Course in Indiana, USA. The results show that the proposed control policy exhibits improved robustness to parameter tuning and data scarcity. Incremental and safety-aware exploration toward the limit of handling and iterative learning of the vehicle dynamics in high-speed domains is observed both in simulations and experiments.


title: Driven-dissipative four-mode squeezing of multilevel atoms in an optical cavity

abstract: We utilize multilevel atoms trapped in a driven resonant optical cavity to produce scalable multi-mode squeezed states for quantum sensing and metrology. While superradiance or collective dissipative emission by itself has been typically a detrimental effect for entanglement generation in optical cavities, in the presence of additional drives it can also be used as an entanglement resource. In a recent work [Phys. Rev. Lett. 132, 033601 (2024)], we described a protocol for the dissipative generation of two-mode squeezing in the dark state of a six-level system with only one relevant polarization. There we showed that up to two quadratures can be squeezed. Here, we develop a generalized analytic treatment to calculate the squeezing in any multilevel system where atoms can collectively decay by emitting light into two polarization modes in a cavity. We show that in this more general system up to four spin squeezed quadratures can be obtained. We study how finite-size effects constrain the reachable squeezing, and analytically compute the scaling with $N$. Our findings are readily testable in current optical cavity experiments with alkaline-earth-like atoms.


title: DRIVE: Data-driven Robot Input Vector Exploration

abstract: An accurate motion model is a fundamental component of most autonomous navigation systems. While much work has been done on improving model formulation, no standard protocol exists for gathering empirical data required to train models. In this work, we address this issue by proposing Data-driven Robot Input Vector Exploration (DRIVE), a protocol that enables characterizing uncrewed ground vehicles (UGVs) input limits and gathering empirical model training data. We also propose a novel learned slip approach outperforming similar acceleration learning approaches. Our contributions are validated through an extensive experimental evaluation, cumulating over 7 km and 1.8 h of driving data over three distinct UGVs and four terrain types. We show that our protocol offers increased predictive performance over common human-driven data-gathering protocols. Furthermore, our protocol converges with 46 s of training data, almost four times less than the shortest human dataset gathering protocol. We show that the operational limit for our model is reached in extreme slip conditions encountered on surfaced ice. DRIVE is an efficient way of characterizing UGV motion in its operational conditions. Our code and dataset are both available online at this link: https://github.com/norlab-ulaval/DRIVE.


title: Harmony and Duality: An introduction to Music Theory

abstract: We develop aspects of music theory related to harmony, such as scales, chord formation and improvisation from a combinatorial perspective. The goal is to provide a foundation for this subject by deriving the basic structure from a few assumptions, rather than writing down long lists of chords/scales to memorize without an underlying principle. Our approach involves introducing constraints that limit the possible scales we can consider. For example, we may impose the constraint that two voices cannot be only a semitone apart as this is too dissonant. We can then study scales that do not contain notes that are a semitone apart. A more refined constraint avoids three voices colliding by studying scales that do not have three notes separated only by semitones. Additionally, we require that our scales are complete, which roughly means that they are the maximal sets of tones that satisfy these constraints. As it turns out, completeness as applied to these simple two/three voice constraints characterizes the types of scales that are commonly used in music composition. Surprisingly, there is a correspondence between scales subject to the two-voice constraint and those subject to the three-voice constraint. We formulate this correspondence as a duality statement that provides a way to understand scales subject to one type of constraint in terms of scales subject to the other. Finally, we combine these constraint ideas to provide a classification of chords.


title: Mean-Field Study of Normal Metal-Quantum Dot-Superconductor System in the Presence of External Magnetic Field

abstract: In this paper, we have analyzed the spectral and transport properties of a weakly correlated single-level quantum dot hybridized with one normal conducting and another Bardeen-Cooper-Schrieffer (BCS) superconducting lead (N-QD-S system) in the presence of an external magnetic field. We have employed Green's function equation of motion (EOM) approach within a self-consistent Hartree-Fock (HF) mean-field approximation to analyze the Hamiltonian. We studied the effect of on-dot Coulomb correlation and an external magnetic field on the sub-gap Andreev levels of a quantum dot, strongly coupled to a conventional s-wave superconductor as a function of impurity parameters. We have shown that for a finite magnetic field, the Andreev bound states (ABSs) split into a spin-up and spin-down contribution (i.e. Zeeman splitting) and cross the Fermi energy level, resulting in a quantum phase transition, which is an indication of a change in the fermion parity of the ground state. Further, within the non-linear regime, we discuss the total electrical conductance for various values of Zeeman energy and on-dot Coulomb interactions. We have compared our results with the existing experimental and theoretical results.


title: Short cycles of random permutations with cycle weights: point processes approach

abstract: We study the asymptotic behavior of short cycles of random permutations with cycle weights. More specifically, on a specially constructed metric space whose elements encode all possible cycles, we consider a point process containing all information on cycles of a given random permutation on $\{1,\ldots,n\}$. The main result of the paper is the distributional convergence with respect to the vague topology of the above processes towards a Poisson point process as $n\to\infty$ for a wide range of cycle weights. As an application, we give several limit theorems for various statistics of cycles.


title: LEA*: An A* Variant Algorithm with Improved Edge Efficiency for Robot Motion Planning

abstract: In this work, we introduce a new graph search algorithm, lazy edged based A* (LEA*), for robot motion planning. By using an edge queue and exploiting the idea of lazy search, LEA* is optimally vertex efficient similar to A*, and has improved edge efficiency compared to A*. LEA* is simple and easy to implement with minimum modification to A*, resulting in a very small overhead compared to previous lazy search algorithms. We also explore the effect of inflated heuristics, which results in the weighted LEA* (wLEA*). We show that the edge efficiency of wLEA* becomes close to LazySP and, thus is near-optimal. We test LEA* and wLEA* on 2D planning problems and planning of a 7-DOF manipulator. We perform a thorough comparison with previous algorithms by considering sparse, medium, and cluttered random worlds and small, medium, and large graph sizes. Our results show that LEA* and wLEA* are the fastest algorithms to find the plan compared to previous algorithms.


title: Temporal Evolution of the Light Emitted by a Thin, Laser-ionized Plasma Source

abstract: We present an experimental and simulation-based investigation of the temporal evolution of light emission from a thin, laser-ionized Helium plasma source. We demonstrate an analytic model to calculate the approximate scaling of the time-integrated, on-axis light emission with the initial plasma density and temperature, supported by the experiment, which enhances the understanding of plasma light measurement for plasma wakefield accelerator (PWFA) plasma sources. Our model simulates the plasma density and temperature using a split-step Fourier code and a particle-in-cell (PIC) code. A fluid simulation is then used to model the plasma and neutral density, and the electron temperature as a function of time and position. We then show the numerical results of the space-and-time-resolved light emission and that collisional excitation is the dominant source of light emission. We validate our model by measuring the light emitted by a laser-ionized plasma using a novel statistical method capable of resolving the nanosecond-scale temporal dynamics of the plasma light using a cost-effective camera with microsecond-scale timing jitter. This method is ideal for deployment in the high radiation environment of a particle accelerator that precludes the use of expensive nanosecond-gated cameras. Our results show that our models can effectively simulate the dynamics of a thin, laser-ionized plasma source and this work is useful to understand the plasma light measurement, which plays an important role in the PWFA.


title: Sound Source Localization is All about Cross-Modal Alignment

abstract: Humans can easily perceive the direction of sound sources in a visual scene, termed sound source localization. Recent studies on learning-based sound source localization have mainly explored the problem from a localization perspective. However, prior arts and existing benchmarks do not account for a more important aspect of the problem, cross-modal semantic understanding, which is essential for genuine sound source localization. Cross-modal semantic understanding is important in understanding semantically mismatched audio-visual events, e.g., silent objects, or off-screen sounds. To account for this, we propose a cross-modal alignment task as a joint task with sound source localization to better learn the interaction between audio and visual modalities. Thereby, we achieve high localization performance with strong cross-modal semantic understanding. Our method outperforms the state-of-the-art approaches in both sound source localization and cross-modal retrieval. Our work suggests that jointly tackling both tasks is necessary to conquer genuine sound source localization.