title: vid-TLDR: Training Free Token merging for Light-weight Video Transformer

abstract: Video Transformers have become the prevalent solution for various video downstream tasks with superior expressive power and flexibility. However, these video transformers suffer from heavy computational costs induced by the massive number of tokens across the entire video frames, which has been the major barrier to training the model. Further, the patches irrelevant to the main contents, e.g., backgrounds, degrade the generalization performance of models. To tackle these issues, we propose training free token merging for lightweight video Transformer (vid-TLDR) that aims to enhance the efficiency of video Transformers by merging the background tokens without additional training. For vid-TLDR, we introduce a novel approach to capture the salient regions in videos only with the attention map. Further, we introduce the saliency-aware token merging strategy by dropping the background tokens and sharpening the object scores. Our experiments show that vid-TLDR significantly mitigates the computational complexity of video Transformers while achieving competitive performance compared to the base model without vid-TLDR. Code is available at https://github.com/mlvlab/vid-TLDR.


title: MULAN-WC: Multi-Robot Localization Uncertainty-aware Active NeRF with Wireless Coordination

abstract: This paper presents MULAN-WC, a novel multi-robot 3D reconstruction framework that leverages wireless signal-based coordination between robots and Neural Radiance Fields (NeRF). Our approach addresses key challenges in multi-robot 3D reconstruction, including inter-robot pose estimation, localization uncertainty quantification, and active best-next-view selection. We introduce a method for using wireless Angle-of-Arrival (AoA) and ranging measurements to estimate relative poses between robots, as well as quantifying and incorporating the uncertainty embedded in the wireless localization of these pose estimates into the NeRF training loss to mitigate the impact of inaccurate camera poses. Furthermore, we propose an active view selection approach that accounts for robot pose uncertainty when determining the next-best views to improve the 3D reconstruction, enabling faster convergence through intelligent view selection. Extensive experiments on both synthetic and real-world datasets demonstrate the effectiveness of our framework in theory and in practice. Leveraging wireless coordination and localization uncertainty-aware training, MULAN-WC can achieve high-quality 3d reconstruction which is close to applying the ground truth camera poses. Furthermore, the quantification of the information gain from a novel view enables consistent rendering quality improvement with incrementally captured images by commending the robot the novel view position. Our hardware experiments showcase the practicality of deploying MULAN-WC to real robotic systems.


title: Hierarchical Gaussian Mixture Normalizing Flow Modeling for Unified Anomaly Detection

abstract: Unified anomaly detection (AD) is one of the most challenges for anomaly detection, where one unified model is trained with normal samples from multiple classes with the objective to detect anomalies in these classes. For such a challenging task, popular normalizing flow (NF) based AD methods may fall into a "homogeneous mapping" issue,where the NF-based AD models are biased to generate similar latent representations for both normal and abnormal features, and thereby lead to a high missing rate of anomalies. In this paper, we propose a novel Hierarchical Gaussian mixture normalizing flow modeling method for accomplishing unified Anomaly Detection, which we call HGAD. Our HGAD consists of two key components: inter-class Gaussian mixture modeling and intra-class mixed class centers learning. Compared to the previous NF-based AD methods, the hierarchical Gaussian mixture modeling approach can bring stronger representation capability to the latent space of normalizing flows, so that even complex multi-class distribution can be well represented and learned in the latent space. In this way, we can avoid mapping different class distributions into the same single Gaussian prior, thus effectively avoiding or mitigating the "homogeneous mapping" issue. We further indicate that the more distinguishable different class centers, the more conducive to avoiding the bias issue. Thus, we further propose a mutual information maximization loss for better structuring the latent feature space. We evaluate our method on four real-world AD benchmarks, where we can significantly improve the previous NF-based AD methods and also outperform the SOTA unified AD methods.


title: Construction of Minimal Binary Linear Codes of dimension $n+3$

abstract: In this paper, we will give the generic construction of a binary linear code of dimension $n+3$ and derive the necessary and sufficient conditions for the constructed code to be minimal. Using generic construction, a new family of minimal binary linear code will be constructed from a special class of Boolean functions violating the Ashikhmin-Barg condition. We also obtain the weight distribution of the constructed minimal binary linear code.


title: OrthCaps: An Orthogonal CapsNet with Sparse Attention Routing and Pruning

abstract: Redundancy is a persistent challenge in Capsule Networks (CapsNet),leading to high computational costs and parameter counts. Although previous works have introduced pruning after the initial capsule layer, dynamic routing's fully connected nature and non-orthogonal weight matrices reintroduce redundancy in deeper layers. Besides, dynamic routing requires iterating to converge, further increasing computational demands. In this paper, we propose an Orthogonal Capsule Network (OrthCaps) to reduce redundancy, improve routing performance and decrease parameter counts. Firstly, an efficient pruned capsule layer is introduced to discard redundant capsules. Secondly, dynamic routing is replaced with orthogonal sparse attention routing, eliminating the need for iterations and fully connected structures. Lastly, weight matrices during routing are orthogonalized to sustain low capsule similarity, which is the first approach to introduce orthogonality into CapsNet as far as we know. Our experiments on baseline datasets affirm the efficiency and robustness of OrthCaps in classification tasks, in which ablation studies validate the criticality of each component. Remarkably, OrthCaps-Shallow outperforms other Capsule Network benchmarks on four datasets, utilizing only 110k parameters, which is a mere 1.25% of a standard Capsule Network's total. To the best of our knowledge, it achieves the smallest parameter count among existing Capsule Networks. Similarly, OrthCaps-Deep demonstrates competitive performance across four datasets, utilizing only 1.2% of the parameters required by its counterparts.


title: AGFSync: Leveraging AI-Generated Feedback for Preference Optimization in Text-to-Image Generation

abstract: Text-to-Image (T2I) diffusion models have achieved remarkable success in image generation. Despite their progress, challenges remain in both prompt-following ability, image quality and lack of high-quality datasets, which are essential for refining these models. As acquiring labeled data is costly, we introduce AGFSync, a framework that enhances T2I diffusion models through Direct Preference Optimization (DPO) in a fully AI-driven approach. AGFSync utilizes Vision-Language Models (VLM) to assess image quality across style, coherence, and aesthetics, generating feedback data within an AI-driven loop. By applying AGFSync to leading T2I models such as SD v1.4, v1.5, and SDXL, our extensive experiments on the TIFA dataset demonstrate notable improvements in VQA scores, aesthetic evaluations, and performance on the HPSv2 benchmark, consistently outperforming the base models. AGFSync's method of refining T2I diffusion models paves the way for scalable alignment techniques.


title: Building speech corpus with diverse voice characteristics for its prompt-based representation

abstract: In text-to-speech synthesis, the ability to control voice characteristics is vital for various applications. By leveraging thriving text prompt-based generation techniques, it should be possible to enhance the nuanced control of voice characteristics. While previous research has explored the prompt-based manipulation of voice characteristics, most studies have used pre-recorded speech, which limits the diversity of voice characteristics available. Thus, we aim to address this gap by creating a novel corpus and developing a model for prompt-based manipulation of voice characteristics in text-to-speech synthesis, facilitating a broader range of voice characteristics. Specifically, we propose a method to build a sizable corpus pairing voice characteristics descriptions with corresponding speech samples. This involves automatically gathering voice-related speech data from the Internet, ensuring its quality, and manually annotating it using crowdsourcing. We implement this method with Japanese language data and analyze the results to validate its effectiveness. Subsequently, we propose a construction method of the model to retrieve speech from voice characteristics descriptions based on a contrastive learning method. We train the model using not only conservative contrastive learning but also feature prediction learning to predict quantitative speech features corresponding to voice characteristics. We evaluate the model performance via experiments with the corpus we constructed above.


title: Dipole-dipole-interaction-induced entanglement between two-dimensional ferromagnets

abstract: We investigate the viability of dipole-dipole interaction as a means of entangling two distant ferromagnets. To this end we make use of the Bogoliubov transformation as a symplectic transformation. We show that the coupling of the uniform magnon modes can be expressed using four squeezing parameters which we interpret in terms of hybridization, one-mode and two-mode squeezing. We utilize the expansion in terms of the squeezing parameters to obtain an analytic formula for the entanglement in the magnon ground state using the logarithmic negativity as entanglement measure. Our investigation predicts that for infinitely large two-dimensional ferromagnets, the dipole-dipole interaction does not lead to significant long-range entanglement. However, in the case of finite ferromagnets, finite entanglement can be expected


title: BadEdit: Backdooring large language models by model editing

abstract: Mainstream backdoor attack methods typically demand substantial tuning data for poisoning, limiting their practicality and potentially degrading the overall performance when applied to Large Language Models (LLMs). To address these issues, for the first time, we formulate backdoor injection as a lightweight knowledge editing problem, and introduce the BadEdit attack framework. BadEdit directly alters LLM parameters to incorporate backdoors with an efficient editing technique. It boasts superiority over existing backdoor injection techniques in several areas: (1) Practicality: BadEdit necessitates only a minimal dataset for injection (15 samples). (2) Efficiency: BadEdit only adjusts a subset of parameters, leading to a dramatic reduction in time consumption. (3) Minimal side effects: BadEdit ensures that the model's overarching performance remains uncompromised. (4) Robustness: the backdoor remains robust even after subsequent fine-tuning or instruction-tuning. Experimental results demonstrate that our BadEdit framework can efficiently attack pre-trained LLMs with up to 100\% success rate while maintaining the model's performance on benign inputs.


title: KunquDB: An Attempt for Speaker Verification in the Chinese Opera Scenario

abstract: This work aims to promote Chinese opera research in both musical and speech domains, with a primary focus on overcoming the data limitations. We introduce KunquDB, a relatively large-scale, well-annotated audio-visual dataset comprising 339 speakers and 128 hours of content. Originating from the Kunqu Opera Art Canon (Kunqu yishu dadian), KunquDB is meticulously structured by dialogue lines, providing explicit annotations including character names, speaker names, gender information, vocal manner classifications, and accompanied by preliminary text transcriptions. KunquDB provides a versatile foundation for role-centric acoustic studies and advancements in speech-related research, including Automatic Speaker Verification (ASV). Beyond enriching opera research, this dataset bridges the gap between artistic expression and technological innovation. Pioneering the exploration of ASV in Chinese opera, we construct four test trials considering two distinct vocal manners in opera voices: stage speech (ST) and singing (S). Implementing domain adaptation methods effectively mitigates domain mismatches induced by these vocal manner variations while there is still room for further improvement as a benchmark.


title: A Machine Learning Approach for Multiscale Modeling of Biological Tissues

abstract: We develop a new neural network architecture that strictly enforces constitutive constraints such as polyconvexity, frame-indifference, and the symmetry of the stress and material stiffness. Additionally, we show that the accuracy of the stress and material stiffness predictions is significantly improved for this neural network by using a Sobolev minimization strategy that includes derivative terms. Using our neural network, we model the constitutive behavior of fibrous-type discrete network material. With Sobolev minimization, we obtain a normalized mean square error of 0.15% for the strain energy density, 0.815% averaged across the components of the stress, and 5.4% averaged across the components of the stiffness tensor. This machine-learned constitutive model was deployed in a finite element simulation of a facet capsular ligament. The displacement fields and stress-strain curves were compared to a multiscale simulation that required running on a GPU-based supercomputer. The new approach maintained upward of 85% accuracy in stress up to 70% strain while reducing the computation cost by orders of magnitude.


title: GeRM: A Generalist Robotic Model with Mixture-of-experts for Quadruped Robot

abstract: Multi-task robot learning holds significant importance in tackling diverse and complex scenarios. However, current approaches are hindered by performance issues and difficulties in collecting training datasets. In this paper, we propose GeRM (Generalist Robotic Model). We utilize offline reinforcement learning to optimize data utilization strategies to learn from both demonstrations and sub-optimal data, thus surpassing the limitations of human demonstrations. Thereafter, we employ a transformer-based VLA network to process multi-modal inputs and output actions. By introducing the Mixture-of-Experts structure, GeRM allows faster inference speed with higher whole model capacity, and thus resolves the issue of limited RL parameters, enhancing model performance in multi-task learning while controlling computational costs. Through a series of experiments, we demonstrate that GeRM outperforms other methods across all tasks, while also validating its efficiency in both training and inference processes. Additionally, we uncover its potential to acquire emergent skills. Additionally, we contribute the QUARD-Auto dataset, collected automatically to support our training approach and foster advancements in multi-task quadruped robot learning. This work presents a new paradigm for reducing the cost of collecting robot data and driving progress in the multi-task learning community. You can reach our project and video through the link: https://songwxuan.github.io/GeRM/ .


title: $6$-torsion and integral points on quartic surfaces

abstract: We prove matching upper and lower bounds for the average of the 6-torsion of class groups of quadratic fields. Furthermore, we count the number of integer solutions on an affine quartic surface.


title: \alpha_s from DIS data with large $x$ resummations

abstract: The deep inelastic scattering data on the nucleon F_2 structure function, accumulated by BCDMS, SLAC and NMC collaborations in fixed-target experiments, are analyzed in the non-singlet approximation within the frameworks of both conventional \overline{\mathbf{MS}} scheme as well as those with resummations of logarithms at large Bjorken x values. The use of the latter is important because they greatly modify the values of the twist four corrections while leaving a strong coupling constant almost intact.


title: Multifractal wavelet dynamic mode decomposition modeling for marketing time series

abstract: Marketing is the way we ensure our sales are the best in the market, our prices the most accessible, and our clients satisfied, thus ensuring our brand has the widest distribution. This requires sophisticated and advanced understanding of the whole related network. Indeed, marketing data may exist in different forms such as qualitative and quantitative data. However, in the literature, it is easily noted that large bibliographies may be collected about qualitative studies, while only a few studies adopt a quantitative point of view. This is a major drawback that results in marketing science still focusing on design, although the market is strongly dependent on quantities such as money and time. Indeed, marketing data may form time series such as brand sales in specified periods, brand-related prices over specified periods, market shares, etc. The purpose of the present work is to investigate some marketing models based on time series for various brands. This paper aims to combine the dynamic mode decomposition and wavelet decomposition to study marketing series due to both prices, and volume sales in order to explore the effect of the time scale on the persistence of brand sales in the market and on the forecasting of such persistence, according to the characteristics of the brand and the related market competition or competitors. Our study is based on a sample of Saudi brands during the period 22 November 2017 to 30 December 2021.


title: Incentivizing News Consumption on Social Media Platforms Using Large Language Models and Realistic Bot Accounts

abstract: Polarization, declining trust, and wavering support for democratic norms are pressing threats to U.S. democracy. Exposure to verified and quality news may lower individual susceptibility to these threats and make citizens more resilient to misinformation, populism, and hyperpartisan rhetoric. This project examines how to enhance users' exposure to and engagement with verified and ideologically balanced news in an ecologically valid setting. We rely on a large-scale two-week long field experiment (from 1/19/2023 to 2/3/2023) on 28,457 Twitter users. We created 28 bots utilizing GPT-2 that replied to users tweeting about sports, entertainment, or lifestyle with a contextual reply containing two hardcoded elements: a URL to the topic-relevant section of quality news organization and an encouragement to follow its Twitter account. To further test differential effects by gender of the bots, treated users were randomly assigned to receive responses by bots presented as female or male. We examine whether our over-time intervention enhances the following of news media organization, the sharing and the liking of news content and the tweeting about politics and the liking of political content. We find that the treated users followed more news accounts and the users in the female bot treatment were more likely to like news content than the control. Most of these results, however, were small in magnitude and confined to the already politically interested Twitter users, as indicated by their pre-treatment tweeting about politics. These findings have implications for social media and news organizations, and also offer direction for future work on how Large Language Models and other computational interventions can effectively enhance individual on-platform engagement with quality news and public affairs.


title: Massive MIMO CSI Feedback using Channel Prediction: How to Avoid Machine Learning at UE?

abstract: In the literature, machine learning (ML) has been implemented at the base station (BS) and user equipment (UE) to improve the precision of downlink channel state information (CSI). However, ML implementation at the UE can be infeasible for various reasons, such as UE power consumption. Motivated by this issue, we propose a CSI learning mechanism at BS, called CSILaBS, to avoid ML at UE. To this end, by exploiting channel predictor (CP) at BS, a light-weight predictor function (PF) is considered for feedback evaluation at the UE. CSILaBS reduces over-the-air feedback overhead, improves CSI quality, and lowers the computation cost of UE. Besides, in a multiuser environment, we propose various mechanisms to select the feedback by exploiting PF while aiming to improve CSI accuracy. We also address various ML-based CPs, such as NeuralProphet (NP), an ML-inspired statistical algorithm. Furthermore, inspired to use a statistical model and ML together, we propose a novel hybrid framework composed of a recurrent neural network and NP, which yields better prediction accuracy than individual models. The performance of CSILaBS is evaluated through an empirical dataset recorded at Nokia Bell-Labs. The outcomes show that ML elimination at UE can retain performance gains, for example, precoding quality.


title: Analysis of a class of Kolmogorov systems

abstract: A two-dimensional Kolmogorov system with two parameters and having a degenerate condition is studied in this work. We obtain local analytical properties of the system when the parameters vary in a sufficiently small neighborhood of the origin. The behavior of the system is described by bifurcation diagrams. Applications of Kolmogorov systems can be found particularly in modeling population dynamics in biology and ecology.


title: ManiPose: A Comprehensive Benchmark for Pose-aware Object Manipulation in Robotics

abstract: Robotic manipulation in everyday scenarios, especially in unstructured environments, requires skills in pose-aware object manipulation (POM), which adapts robots' grasping and handling according to an object's 6D pose. Recognizing an object's position and orientation is crucial for effective manipulation. For example, if a mug is lying on its side, it's more effective to grasp it by the rim rather than the handle. Despite its importance, research in POM skills remains limited, because learning manipulation skills requires pose-varying simulation environments and datasets. This paper introduces ManiPose, a pioneering benchmark designed to advance the study of pose-varying manipulation tasks. ManiPose encompasses: 1) Simulation environments for POM feature tasks ranging from 6D pose-specific pick-and-place of single objects to cluttered scenes, further including interactions with articulated objects. 2) A comprehensive dataset featuring geometrically consistent and manipulation-oriented 6D pose labels for 2936 real-world scanned rigid objects and 100 articulated objects across 59 categories. 3) A baseline for POM, leveraging the inferencing abilities of LLM (e.g., ChatGPT) to analyze the relationship between 6D pose and task-specific requirements, offers enhanced pose-aware grasp prediction and motion planning capabilities. Our benchmark demonstrates notable advancements in pose estimation, pose-aware manipulation, and real-robot skill transfer, setting new standards for POM research. We will open-source the ManiPose benchmark with the final version paper, inviting the community to engage with our resources, available at our website:https://sites.google.com/view/manipose.


title: Centroidal State Estimation based on the Koopman Embedding for Dynamic Legged Locomotion

abstract: In this paper, we introduce a novel approach to centroidal state estimation, which plays a crucial role in predictive model-based control strategies for dynamic legged locomotion. Our approach uses the Koopman operator theory to transform the robot's complex nonlinear dynamics into a linear system, by employing dynamic mode decomposition and deep learning for model construction. We evaluate both models on their linearization accuracy and capability to capture both fast and slow dynamic system responses. We then select the most suitable model for estimation purposes, and integrate it within a moving horizon estimator. This estimator is formulated as a convex quadratic program, to facilitate robust, real-time centroidal state estimation. Through extensive simulation experiments on a quadruped robot executing various dynamic gaits, our data-driven framework outperforms conventional filtering techniques based on nonlinear dynamics. Our estimator addresses challenges posed by force/torque measurement noise in highly dynamic motions and accurately recovers the centroidal states, demonstrating the adaptability and effectiveness of the Koopman-based linear representation for complex locomotive behaviors. Importantly, our model based on dynamic mode decomposition, trained with two locomotion patterns (trot and jump), successfully estimates the centroidal states for a different motion (bound) without retraining.


title: Quantifying the Aggregate Flexibility of EV Charging Stations for Dependable Congestion Management Products: A Dutch Case Study

abstract: Electric vehicles (EVs) play a crucial role in the transition towards sustainable modes of transportation and thus are critical to the energy transition. As their number grows, managing the aggregate power of EV charging is crucial to maintain grid stability and mitigate congestion. This study analyses more than 500 thousand real charging transactions in the Netherlands to explore the challenge and opportunity for the energy system presented by EV growth and smart charging flexibility. Specifically, it analyses the collective ability to provide congestion management services according to the specifications of those services in the Netherlands. In this study, a data-driven model of charging behaviour is created to explore the implications of delivering dependable congestion management services at various aggregation levels and types of service. The probability of offering specific grid services by different categories of charging stations (CS) is analysed. These probabilities can help EV aggregators, such as charging point operators, make informed decisions about offering congestion mitigation products per relevant regulations and distribution system operators to assess their potential. The ability to offer different flexibility products, namely re-dispatch and capacity limitation, for congestion management, is assessed using various dispatch strategies. Next, machine learning models are used to predict the probability of CSs being able to deliver these products, accounting for uncertainties. Results indicate that residential charging locations have significant potential to provide both products during evening peak hours. While shared EVs offer better certainty regarding arrival and departure times, their small fleet size currently restricts their ability to meet the minimum order size of flexible products.


title: Computational Models to Study Language Processing in the Human Brain: A Survey

abstract: Despite differing from the human language processing mechanism in implementation and algorithms, current language models demonstrate remarkable human-like or surpassing language capabilities. Should computational language models be employed in studying the brain, and if so, when and how? To delve into this topic, this paper reviews efforts in using computational models for brain research, highlighting emerging trends. To ensure a fair comparison, the paper evaluates various computational models using consistent metrics on the same dataset. Our analysis reveals that no single model outperforms others on all datasets, underscoring the need for rich testing datasets and rigid experimental control to draw robust conclusions in studies involving computational models.


title: Clinical information extraction for Low-resource languages with Few-shot learning using Pre-trained language models and Prompting

abstract: Automatic extraction of medical information from clinical documents poses several challenges: high costs of required clinical expertise, limited interpretability of model predictions, restricted computational resources and privacy regulations. Recent advances in domain-adaptation and prompting methods showed promising results with minimal training data using lightweight masked language models, which are suited for well-established interpretability methods. We are first to present a systematic evaluation of these methods in a low-resource setting, by performing multi-class section classification on German doctor's letters. We conduct extensive class-wise evaluations supported by Shapley values, to validate the quality of our small training data set and to ensure the interpretability of model predictions. We demonstrate that a lightweight, domain-adapted pretrained model, prompted with just 20 shots, outperforms a traditional classification model by 30.5% accuracy. Our results serve as a process-oriented guideline for clinical information extraction projects working with low-resource.


title: Counting Network for Learning from Majority Label

abstract: The paper proposes a novel problem in multi-class Multiple-Instance Learning (MIL) called Learning from the Majority Label (LML). In LML, the majority class of instances in a bag is assigned as the bag's label. LML aims to classify instances using bag-level majority classes. This problem is valuable in various applications. Existing MIL methods are unsuitable for LML due to aggregating confidences, which may lead to inconsistency between the bag-level label and the label obtained by counting the number of instances for each class. This may lead to incorrect instance-level classification. We propose a counting network trained to produce the bag-level majority labels estimated by counting the number of instances for each class. This led to the consistency of the majority class between the network outputs and one obtained by counting the number of instances. Experimental results show that our counting network outperforms conventional MIL methods on four datasets The code is publicly available at https://github.com/Shiku-Kaito/Counting-Network-for-Learning-from-Majority-Label.


title: The influence of hydrogen on the electronic structure in transition metallic glasses

abstract: We investigate the influence of hydrogen on the electronic structure of a binary transition metallic glass of V$_{80}$Zr$_{20}$. We examine the hybridization between the hydrogen and metal atoms with the aid of hard x-ray photoelectron spectroscopy. Combined with ab initio density functional theory, we are able to show and predict the formation of $s$-$d$ hybridized energy states. With optical transmission and resistivity measurements, we investigate the emergent electronic properties formed out of those altered energy states, and together with the theoretical calculations of the frequency-dependent conductivity tensor, we qualitatively support the observed strong wavelength-dependency of the hydrogen-induced changes on the optical absorption and a positive parabolic change in resistivity with hydrogen concentration.


title: LlamaFactory: Unified Efficient Fine-Tuning of 100+ Language Models

abstract: Efficient fine-tuning is vital for adapting large language models (LLMs) to downstream tasks. However, it requires non-trivial efforts to implement these methods on different models. We present LlamaFactory, a unified framework that integrates a suite of cutting-edge efficient training methods. It provides a solution for flexibly customizing the fine-tuning of 100+ LLMs without the need for coding through the built-in web UI LlamaBoard. We empirically validate the efficiency and effectiveness of our framework on language modeling and text generation tasks. It has been released at https://github.com/hiyouga/LLaMA-Factory and received over 24,000 stars and 3,000 forks.


title: Charged Momentum: Electric Vehicle Surge in India's 2023 Landscape

abstract: Electric vehicles (EVs) have emerged as a transformative force in India's transportation sector, offering a sustainable solution to the country's growing energy and environmental challenges. Against the backdrop of rapid urbanization, rising pollution levels, and the need for energy security, EVs have gained traction as a viable alternative to traditional internal combustion engine vehicles. This paper provides a comprehensive analysis of the electric vehicle market in India, focusing particularly on the landscape of 2023. It emphasizes key aspects such as the 2023 scenario of EV adoption, the role of indigenous manufacturers, dominant players shaping the market, and the influence of government policies and initiatives, including the FAME I and II schemes. Furthermore, the paper delves into EV sales data for the fiscal year 2023, offering insights into market trends and consumer preferences. By elucidating the current state of EVs in India, this paper aims to contribute to a deeper understanding of the country's transition towards sustainable mobility and its implications for energy, environment, and economy.


title: Byzantine-resilient Federated Learning With Adaptivity to Data Heterogeneity

abstract: This paper deals with federated learning (FL) in the presence of malicious Byzantine attacks and data heterogeneity. A novel Robust Average Gradient Algorithm (RAGA) is proposed, which leverages the geometric median for aggregation and can freely select the round number for local updating. Different from most existing resilient approaches, which perform convergence analysis based on strongly-convex loss function or homogeneously distributed dataset, we conduct convergence analysis for not only strongly-convex but also non-convex loss function over heterogeneous dataset. According to our theoretical analysis, as long as the fraction of dataset from malicious users is less than half, RAGA can achieve convergence at rate $\mathcal{O}({1}/{T^{2/3- \delta}})$ where $T$ is the iteration number and $\delta \in (0, 2/3)$ for non-convex loss function, and at linear rate for strongly-convex loss function. Moreover, stationary point or global optimal solution is proved to obtainable as data heterogeneity vanishes. Experimental results corroborate the robustness of RAGA to Byzantine attacks and verifies the advantage of RAGA over baselines on convergence performance under various intensity of Byzantine attacks, for heterogeneous dataset.


title: Few-shot Oriented Object Detection with Memorable Contrastive Learning in Remote Sensing Images

abstract: Few-shot object detection (FSOD) has garnered significant research attention in the field of remote sensing due to its ability to reduce the dependency on large amounts of annotated data. However, two challenges persist in this area: (1) axis-aligned proposals, which can result in misalignment for arbitrarily oriented objects, and (2) the scarcity of annotated data still limits the performance for unseen object categories. To address these issues, we propose a novel FSOD method for remote sensing images called Few-shot Oriented object detection with Memorable Contrastive learning (FOMC). Specifically, we employ oriented bounding boxes instead of traditional horizontal bounding boxes to learn a better feature representation for arbitrary-oriented aerial objects, leading to enhanced detection performance. To the best of our knowledge, we are the first to address oriented object detection in the few-shot setting for remote sensing images. To address the challenging issue of object misclassification, we introduce a supervised contrastive learning module with a dynamically updated memory bank. This module enables the use of large batches of negative samples and enhances the model's capability to learn discriminative features for unseen classes. We conduct comprehensive experiments on the DOTA and HRSC2016 datasets, and our model achieves state-of-the-art performance on the few-shot oriented object detection task. Code and pretrained models will be released.


title: Correlation Clustering of Organoid Images

abstract: In biological and medical research, scientists now routinely acquire microscopy images of hundreds of morphologically heterogeneous organoids and are then faced with the task of finding patterns in the image collection, i.e., subsets of organoids that appear similar and potentially represent the same morphological class. We adopt models and algorithms for correlating organoid images, i.e., for quantifying the similarity in appearance and geometry of the organoids they depict, and for clustering organoid images by consolidating conflicting correlations. For correlating organoid images, we adopt and compare two alternatives, a partial quadratic assignment problem and a twin network. For clustering organoid images, we employ the correlation clustering problem. Empirically, we learn the parameters of these models, infer a clustering of organoid images, and quantify the accuracy of the inferred clusters, with respect to a training set and a test set we contribute of state-of-the-art light microscopy images of organoids clustered manually by biologists.


title: Singular plane curves and their interplay with algebra and combinatorics

abstract: In this survey we focus on various aspects of singular complex plane curves, mostly in the context of their homological properties and the associated combinatorial structures. We formulate some demanding open problems that can indicate new directions in research, for instance by introducing weak Ziegler pairs of curve arrangements.


title: IIDM: Image-to-Image Diffusion Model for Semantic Image Synthesis

abstract: Semantic image synthesis aims to generate high-quality images given semantic conditions, i.e. segmentation masks and style reference images. Existing methods widely adopt generative adversarial networks (GANs). GANs take all conditional inputs and directly synthesize images in a single forward step. In this paper, semantic image synthesis is treated as an image denoising task and is handled with a novel image-to-image diffusion model (IIDM). Specifically, the style reference is first contaminated with random noise and then progressively denoised by IIDM, guided by segmentation masks. Moreover, three techniques, refinement, color-transfer and model ensembles, are proposed to further boost the generation quality. They are plug-in inference modules and do not require additional training. Extensive experiments show that our IIDM outperforms existing state-of-the-art methods by clear margins. Further analysis is provided via detailed demonstrations. We have implemented IIDM based on the Jittor framework; code is available at https://github.com/ader47/jittor-jieke-semantic_images_synthesis.


title: Application of advanced ultrasonic testing methods to Dissimilar Metal Welds -- Comparison of simulated and experimental results

abstract: Widely present in the primary circuit of Nuclear Power Plants (NPP), Dissimilar Metal Welds (DMW) are inspected using Ultrasonic nondestructive Testing (UT) techniques to ensure the integrity of the structure and detect defects such as Stress Corrosion Cracking (SCC).In a previous collaborative research, CRIEPI and CEA have worked on the understanding of the propagation of ultrasonic waves in complex materials. Indeed, the ultrasonic propagation can be disturbed due to the anisotropic and inhomogeneous properties of the medium and the interpretation of inspection results can then be difficult. An analytical model, based on a dynamic ray theory, developed by CEA-LIST and implemented in the CIVA software had been used to predict the ultrasonic propagation in a DMW. The model evaluates the ray trajectories, the travel-time and the computation of the amplitude along the ray tube in a medium described thanks to a continuously varying description of its physical properties. In this study, the weld had been described by an analytical law of the crystallographic orientation. The simulated results of the detection of calibrated notches located in the buttering and the weld had been compared with experimental data and had shown a good agreement.The new collaborative program presented in this paper aims at detecting a real SCC defect located close to the root of the DMW. Thus, simulations have been performed for a DMW described with an analytical law and a smooth cartography of the crystallographic orientation. Furthermore, advanced ultrasonic testing methods have been used to inspect the specimen and detect the real SCC defect. Experimental and simulated results of the mock-up inspection have been compared.


title: A characteristics-based method for shock-ramp data analysis

abstract: For the data analysis problem of shock-ramp compression, i.e., ramp compression after a relatively strong initial shock, a characteristics-based method that strictly deals with the initial hydrodynamic shock is described in detail. Validation of this analysis method using simulated shock-ramp data generated by molecular dynamics and one-dimensional radiation hydrodynamic code is also presented.


title: Dynamic variable step size LMS adaptation algorithms -- Application to adaptive feedforward noise attenuation

abstract: The paper explores in detail the use of dynamic adaptation gain/step size (DAG) for improving the adaptation transient performance of variable step-size LMS (VS-LMS) adaptation algorithms. A generic form for the implementation of the DAG within the VS-LMS algorithms is provided. Criteria for the selection of the coefficients of the DAG filter which is required to be a strictly positive real transfer operator are given. The potential of the VS-LMS adaptation algorithms using a DAG is then illustrated by experimental results obtained on a relevant adaptive active noise attenuation system.


title: Gr{\"o}bner bases over polytopal affinoid algebras

abstract: Polyhedral affinoid algebras have been introduced by Einsiedler, Kapranov and Lind to connect rigid analytic geometry (analytic geometry over non-archimedean fields) and tropical geometry.In this article, we present a theory of Gr{\"o}bner bases for polytopal affinoid algebras that extends both Caruso et al.'s theory of Gr{\"o}bner bases on Tate algebras and Pauer et al.'s theory of Gr{\"o}bner bases on Laurent polynomials.We provide effective algorithms to compute Gr{\"o}bner bases for both ideals of Laurent polynomials and ideals in polytopal affinoid algebras. Experiments with a Sagemath implementation are provided.


title: Size of discriminants of periodic geodesics of the modular surface

abstract: Pick a random matrix $\gamma$ in $\Gamma={\rm SL}(2,\mathbb{Z})$. Denote by $\mathcal{O}_K$ the Dedekind ring generated by its eigenvalues, and let $\Delta_K$, $\Delta_\gamma$ and $\Delta = {\rm Tr}(\gamma)^2-4$ be the respective discriminant of the rings $\mathcal{O}_K$, the multiplier ring $M(2,\mathbb{Z})\cap \mathbb{Q}[\gamma]$ and $\mathbb{Z}[\gamma]$. We show that their ratios admit probability limit distributions. In particular, 42% of the elements of $\Gamma$ have a fundamental discriminant, and $\mathbb{Z}[\gamma]$ is a ring of integers with probability 32%.


title: Optimizing Ride-Pooling Revenue: Pricing Strategies and Driver-Traveller Dynamics

abstract: Ride-pooling, to gain momentum, needs to be attractive for all the parties involved. This includes also drivers, who are naturally reluctant to serve pooled rides. This can be controlled by the platform's pricing strategy, which can stimulate drivers to serve pooled rides. Here, we propose an agent-based framework, where drivers serve rides that maximise their utility. We simulate a series of scenarios in Delft and compare three strategies. Our results show that drivers, when they maximize their profits, earn more than in both the solo-rides and only-pooled rides scenarios. This shows that serving pooled rides can be beneficial as well for drivers, yet typically not all pooled rides are attractive for drivers. The proposed framework may be further applied to propose discriminative pricing in which the full potential of ride-pooling is exploited, with benefits for the platform, travellers, and (which is novel here) to the drivers.


title: A multilevel framework for accelerating uSARA in radio-interferometric imaging

abstract: This paper presents a multilevel algorithm specifically designed for radio-interferometric imaging in astronomy. The proposed algorithm is used to solve the uSARA (unconstrained Sparsity Averaging Reweighting Analysis) formulation of this image restoration problem. Multilevel algorithms rely on a hierarchy of approximations of the objective function to accelerate its optimization. In contrast to the usual multilevel approaches where this hierarchy is derived in the parameter space, here we construct the hierarchy of approximations in the observation space. The proposed approach is compared to a reweighted forward-backward procedure, which is the backbone iteration scheme for solving the uSARA problem.


title: Evolutionary semigroups on path spaces

abstract: We introduce the concept evolutionary semigroups on path spaces, generalizing the notion of transition semigroups to possibly non-Markovian stochastic processes. We study the basic properties of evolutionary semigroups and, in particular, prove that they always arise as the composition of the shift semigroup and a single operator called the expectation operator of the semigroup. We also prove that the transition semigroup of a Markov process can always be extended to an evolutionary semigroup on the path space whenever the Markov process can be realized with the appropriate path regularity. As first examples of evolutionary semigroups associated to non-Markovian processes, we discuss deterministic evolution equations and stochastic flows driven by L\'evy processes. The latter in particular include certain stochastic delay equations.


title: Electron-hole scattering-induced temperature behaviour of HgTe-based semimetal quantum well

abstract: The semimetal quantum well (QW) based on HgTe structures exhibiting unusual transport properties at low temperature is examined experimentally. It demonstrates either a linear or quadratic growth of resistance with temperature at different top-gate voltages in the semimetal regime. We develop a theoretical model of HgTe-based semimetal QW resistance temperature dependence based on electron-hole scattering processes at low temperatures. We apply the Boltzmann transport equation approach to study the effect of electron-hole scattering in a semimetal QW. The calculated temperature behavior of 2D semimetal resistivity demonstrates an excellent agreement with experimental findings.


title: Optimal VPPI strategy under Omega ratio with stochastic benchmark

abstract: This paper studies a variable proportion portfolio insurance (VPPI) strategy. The objective is to determine the risk multiplier by maximizing the extended Omega ratio of the investor's cushion, using a binary stochastic benchmark. When the stock index declines, investors aim to maintain the minimum guarantee. Conversely, when the stock index rises, investors seek to track some excess returns. The optimization problem involves the combination of a non-concave objective function with a stochastic benchmark, which is effectively solved based on the stochastic version of concavification technique. We derive semi-analytical solutions for the optimal risk multiplier, and the value functions are categorized into three distinct cases. Intriguingly, the classification criteria are determined by the relationship between the optimal risky multiplier in Zieling et al. (2014 and the value of 1. Simulation results confirm the effectiveness of the VPPI strategy when applied to real market data calibrations.


title: Single-frame transmission and phase imaging using off-axis holography with undetected photons

abstract: Imaging with undetected photons relies upon nonlinear interferometry to extract the spatial image from an infrared probe beam and reveal it in the interference pattern of an easier-to-detect visible beam. Typically, the transmission and phase images are extracted using phase-shifting techniques and combining interferograms from multiple frames. Here we show that off-axis digital holography enables reconstruction of both transmission and phase images at the infrared wavelength from a single interferogram, and hence a single frame, recorded in the visible. This eliminates the need for phase stepping and multiple acquisitions, thereby greatly reducing total measurement time for imaging with long acquisition times at low flux or enabling video-rate imaging at higher flux. With this single-frame acquisition technique, we are able to reconstruct transmission images of an object in the infrared beam with a signal-to-noise ratio of $1.78\,\pm\,0.06$ at 10 frames per second, and record a dynamic scene in the infrared beam at 33 frames per second.


title: Search for Dark Matter Axions with Tunable TM_020 mode

abstract: Axions are hypothesized particles believed to potentially resolve two major puzzles in modern physics: the strong CP problem and the nature of dark matter. Cavity-based axion haloscopes represent the most sensitive tools for probing their theoretically favored couplings to photons in the microelectronvolt range. However, as the search mass (or frequency) increases, the detection efficiency decreases, largely due to a decrease in cavity volume. Despite the potential of higher-order resonant modes to preserve experimental volume, their practical application in searches has been limited by the challenge of maintaining a high form factor over a reasonably wide search bandwidth. We introduce an innovative tuning method that uses the unique properties of auxetic materials, designed to effectively tune higher modes. This approach was applied to the TM_020 mode for a dark matter axion search exploring a mass range from 21.38 to 21.79 ueV, resulting in the establishment of new exclusion limits for axion-photon coupling greater than approximately 10^-13 GeV^-1. These findings signify a breakthrough, demonstrating that our tuning mechanism facilitates the practical utilization of higher-order modes for cavity haloscope searches.


title: Some comments on my study of period-integrals

abstract: This text is a presentation (without proofs) of some of my recent results on the singular terms of asymptotic expansions of period-integrals using (a,b)-modules. I try to explain why this simple algebraic structure is interesting and useful.


title: Robust image segmentation model based on binary level set

abstract: In order to improve the robustness of traditional image segmentation models to noise, this paper models the illumination term in intensity inhomogeneity images. Additionally, to enhance the model's robustness to noisy images, we incorporate the binary level set model into the proposed model. Compared to the traditional level set, the binary level set eliminates the need for continuous reinitialization. Moreover, by introducing the variational operator GL, our model demonstrates better capability in segmenting noisy images. Finally, we employ the three-step splitting operator method for solving, and the effectiveness of the proposed model is demonstrated on various images.


title: Causal Graph Dynamics and Kan Extensions

abstract: On the one side, the formalism of Global Transformations comes with the claim of capturing any transformation of space that is local, synchronous and deterministic.The claim has been proven for different classes of models such as mesh refinements from computer graphics, Lindenmayer systems from morphogenesis modeling and cellular automata from biological, physical and parallel computation modeling.The Global Transformation formalism achieves this by using category theory for its genericity, and more precisely the notion of Kan extension to determine the global behaviors based on the local ones.On the other side, Causal Graph Dynamics describe the transformation of port graphs in a synchronous and deterministic way and has not yet being tackled.In this paper, we show the precise sense in which the claim of Global Transformations holds for them as well.This is done by showing different ways in which they can be expressed as Kan extensions, each of them highlighting different features of Causal Graph Dynamics.Along the way, this work uncovers the interesting class of Monotonic Causal Graph Dynamics and their universality among General Causal Graph Dynamics.


title: Beam test of n-type Silicon pad array detector at PS CERN

abstract: This work reports the testing of a Forward Calorimeter (FoCal) prototype based on an n-type Si pad array detector at the CERN PS accelerator. The FoCal is a proposed upgrade in the ALICE detector operating within the pseudorapidity range of 3.2 < $\mathrm{\eta}$ < 5.8. It aims to measure direct photons, neutral hadrons, vector mesons, and jets for the study of gluon saturation effects in the unexplored region of low momentum fraction x ($\mathrm{\sim10^{-5} - 10^{-6}}$). The prototype is a $\mathrm{8\times9}$ n-type Si pad array detector with each pad occupying one cm$^2$ area, fabricated on a 6-in, 325~$\mathrm{\pm 10 \thinspace \mu}$m thick, and high-resistivity ($\sim$7 k$\Omega \thinspace$ cm) Si wafer which is readout using HGCROCv2 chip. The detector is tested using pion beams of energy 10~GeV and electron beams of energy 1-5~GeV. The measurements of the Minimum Ionizing Particle (MIP) response of pions and the shower profiles of electrons are reported.


title: Unifying Local and Global Multimodal Features for Place Recognition in Aliased and Low-Texture Environments

abstract: Perceptual aliasing and weak textures pose significant challenges to the task of place recognition, hindering the performance of Simultaneous Localization and Mapping (SLAM) systems. This paper presents a novel model, called UMF (standing for Unifying Local and Global Multimodal Features) that 1) leverages multi-modality by cross-attention blocks between vision and LiDAR features, and 2) includes a re-ranking stage that re-orders based on local feature matching the top-k candidates retrieved using a global representation. Our experiments, particularly on sequences captured on a planetary-analogous environment, show that UMF outperforms significantly previous baselines in those challenging aliased environments. Since our work aims to enhance the reliability of SLAM in all situations, we also explore its performance on the widely used RobotCar dataset, for broader applicability. Code and models are available at https://github.com/DLR-RM/UMF


title: Metasurface-based planar microlenses for SPAD pixels

abstract: In this paper we present two design generations of metasurface-based planar microlenses implemented on Front-Side Illumination SPAD pixels. This kind of microlens is an alternative to conventional reflow microlens. It offers more degrees of freedom in term of design, especially the capability to design off-axis microlens to gather light around the SPAD photodiode. The two generations of microlenses have been fabricated on STMicroelectronics SPAD and characterized. We validated the sensitivity improvement offered by extended metasurface-based microlens. We also confirmed the impact of lithography capability on metasurface performances, highlighting the


title: On the definition of zero resonances for the Schr{\"o}dinger operator with optimal scaling potentials

abstract: We consider the Schr{\"o}dinger operator --$\Delta$ + V on the Euclidean space with potential in the Lorentz space L^{n/2,1} and we find necessary and sufficient conditions for zero to be a resonance or an eigenvalue. We consider functions with gradient in L^2 and that verify the equation (--$\Delta$ + V)$\psi$ = 0, namely the kernel of (--$\Delta$ + V) in the homogeneous Sobolev space of order one. We prove that a function in this set is either in a weak Lebesgue space or in L^2 , in the latter case we have a zero eigenfunction. The set of eigenfunctions is the hyperplane of functions that are orthogonal to V, furthermore we show that under some classic orthogonality conditions a zero eigenfunction belongs to the weak Lebesgue space of order one or to L^1. We study dimensions n $\ge$ 3 and in dimension three we generalize a result proved by Beceanu.


title: A unified framework for bounding causal effects on the always-survivor and other populations

abstract: We investigate the bounding problem of causal effects in experimental studies in which the outcome is truncated by death, meaning that the subject dies before the outcome can be measured. Causal effects cannot be point identified without instruments and/or tight parametric assumptions but can be bounded under mild restrictions. Previous work on partial identification under the principal stratification framework has primarily focused on the `always-survivor' subpopulation. In this paper, we present a novel nonparametric unified framework to provide sharp bounds on causal effects on discrete and continuous square-integrable outcomes. These bounds are derived on the `always-survivor', `protected', and `harmed' subpopulations and on the entire population with/without assumptions of monotonicity and stochastic dominance. The main idea depends on rewriting the optimization problem in terms of the integrated tail probability expectation formula using a set of conditional probability distributions. The proposed procedure allows for settings with any type and number of covariates, and can be extended to incorporate average causal effects and complier average causal effects. Furthermore, we present several simulation studies conducted under various assumptions as well as the application of the proposed approach to a real dataset from the National Supported Work Demonstration.


title: Radiative-convective models of the atmospheres of Uranus and Neptune: heating sources and seasonal effects

abstract: The observations made during the Voyager 2 flyby have shown that the stratosphere of Uranus and Neptune are warmer than expected by previous models. In addition, no seasonal variability of the thermal structure has been observed on Uranus since Voyager 2 era and significant subseasonal variations have been revealed on Neptune. In this paper, we evaluate different realistic heat sources that can induce sufficient heating to warm the atmosphere of these planets and we estimate the seasonal effects on the thermal structure. The seasonal radiative-convective model developed by the Laboratoire de M\'et\'eorologie Dynamique is used to reproduce the thermal structure of these planets. Three hypotheses for the heating sources are explored separately: aerosol layers, a higher methane mole fraction, and thermospheric conduction. Our modelling indicates that aerosols with plausible scattering properties can produce the requisite heating for Uranus, but not for Neptune. Alternatively, greater stratospheric methane abundances can provide the missing heating on both planets, but the large values needed are inconsistent with current observational constraints. In contrast, adding thermospheric conduction cannot warm alone the stratosphere of both planets. The combination of these heat sources is also investigated. In the upper troposphere of both planets, the meridional thermal structures produced by our model are found inconsistent with those retrieved from Voyager 2/IRIS data. Furthermore, our models predict seasonal variations should exist within the stratospheres of both planets while observations showed that Uranus seems to be invariant to meridional contrasts and only subseasonal temperature trends are visible on Neptune. However, a warm south pole is seen in our simulations of Neptune as observed since 2003.


title: Link Node: A Method to Characterize the Chain Topology of Intrinsically Disordered Proteins

abstract: It is well-known that intrinsically disordered proteins (IDP) are highly dynamic, which is related to their functionality in various biological processes. However, the characterization of the intricate structures of IDP has been a challenge. Here, we analyze the chain topology of IDPs to characterize their conformations, in combination with molecular dynamics simulation (MD). We systematically compute the Gauss Linking Number ($GLN$) between segments in IDP, and show that the resulting GLN Map can effectively depict an unconventional structure -- physical link, i.e., the entanglement between two segments. The crossing points of physical links are further identified and denoted as Link Nodes. We show that the probability distribution of Link Nodes is highly heterogeneous and there are certain residues that largely affect the chain topology of IDP. Moreover, the structural fluctuations of the vicinity of these residues are largely suppressed, i.e., Link Node provides useful information about the topological constraint imposed on the residues during the conformation fluctuations of IDP. We further reveal that the evolution of the chain topology is considerably slow (with a timescale of hundreds of nanoseconds), which is distinct from the flipping of residue contact.


title: On the radiation from unbaffled pistons and their dipole equivalent

abstract: The radiation efficiency from simple vibrating planar surfaces is often used as a basis to describe the sound radiation from more complex structures, having important applications in various fields of acoustics. The low-frequency radiation efficiency of a baffled piston can easily be represented by a simple monopole source. Notably, the equivalent source strength is dependent on the piston surface area. However, the unbaffled case presents additional difficulties as the so-called ``edge effects'' significantly alter the piston radiation impedance. Consequently, a low-frequency equivalence between dipoles and an unbaffled pistons is not as straight forward, since not only the piston area but also its shape will have an effect on the radiated sound. In this work, the search for a simple and generic, equivalence between dipoles and unbaffled pistons is pursued. A finite element model is used to calculate the radiation efficiency from unbaffled pistons with the same surface area but different shapes. A broad set of results indicate that the ``edge effects'' can be accurately represented by a simple term dependent on the piston compactness (ratio of area to perimeter). Effectively, pistons with smaller area to perimeter ratio will be less efficient radiators. Such term allows the definition of an equivalent dipole source strength that approximates the low-frequency behavior of an unbaffled piston of arbitrary shape.


title: Singular limit of a chemotaxis model with indirect signal production and phenotype switching

abstract: Convergence of solutions to a partially diffusive chemotaxis system with indirect signal production and phenotype switching is shown in a two-dimensional setting when the switching rate increases to infinity, thereby providing a rigorous justification of formal computations performed in the literature. The expected limit system being the classical parabolic-parabolic Keller-Segel system, the obtained convergence is restricted to a finite time interval for general initial conditions but valid for arbitrary bounded time intervals when the mass of the initial condition is appropriately small. Furthermore, if the solution to the limit system blows up in finite time, then neither of the two phenotypes in the partially diffusive system can be uniformly bounded with respect to the $L_2$-norm beyond that time.


title: Mechanized HOL Reasoning in Set Theory

abstract: We present a mechanized embedding of higher-order logic (HOL) and algebraic data types (ADT) into first-order logic with ZFC axioms. We implement this in the Lisa proof assistant for schematic first-order logic and its library based on axiomatic set theory. HOL proof steps are implemented as proof producing tactics in Lisa, and the types are interpreted as sets, with function (or arrow) types coinciding with set-theoretic function spaces. The embedded HOL proofs, as opposed to being a layer over the existing proofs, are interoperable with the existing library. This yields a form of soft type system supporting top-level polymorphism and ADTs over set theory, and offer tools to reason about functions in set theory.


title: Characterization of pixel crosstalk and impact of Bayer patterning by quantum efficiency measurement

abstract: Development of small pixels for high resolution image sensors implies a lot of challenges. A high level of performance should be guaranteed whereas the overall size must be reduced and so the degree of freedom in design and process. One key parameter of this constant improvement is the knowledge and the control of the crosstalk between pixels. In this paper, we present an advance in crosstalk characterization method based on the design of specific color patterns and the measurement of quantum efficiency. In a first part, we describe the color patterns designed to isolate one pixel or to simulate un-patterned colored pixels. These patterns have been implemented on test-chip and characterized. The second part deals with the characterization setup for quantum efficiency. Indeed, the use of spectral measurements allows us to discriminate pixels based on the color filter placed on top of them and to probe the crosstalk as a function of the depth in silicon, thanks to the photon absorption length variation with the wavelength. In the last part, results are presented showing the impact of color filters patterning, i.e. pixels in a Bayer pattern versus un-patterned pixels. The crosstalk directions and amplitudes are also analyzed in relation to pixel layout.


title: DOR3D-Net: Dense Ordinal Regression Network for 3D Hand Pose Estimation

abstract: Depth-based 3D hand pose estimation is an important but challenging research task in human-machine interaction community. Recently, dense regression methods have attracted increasing attention in 3D hand pose estimation task, which provide a low computational burden and high accuracy regression way by densely regressing hand joint offset maps. However, large-scale regression offset values are often affected by noise and outliers, leading to a significant drop in accuracy. To tackle this, we re-formulate 3D hand pose estimation as a dense ordinal regression problem and propose a novel Dense Ordinal Regression 3D Pose Network (DOR3D-Net). Specifically, we first decompose offset value regression into sub-tasks of binary classifications with ordinal constraints. Then, each binary classifier can predict the probability of a binary spatial relationship relative to joint, which is easier to train and yield much lower level of noise. The estimated hand joint positions are inferred by aggregating the ordinal regression results at local positions with a weighted sum. Furthermore, both joint regression loss and ordinal regression loss are used to train our DOR3D-Net in an end-to-end manner. Extensive experiments on public datasets (ICVL, MSRA, NYU and HANDS2017) show that our design provides significant improvements over SOTA methods.


title: Fourth-order entropy-stable lattice Boltzmann schemes for hyperbolic systems

abstract: We present a novel framework for the development of fourth-order lattice Boltzmann schemes to tackle multidimensional nonlinear systems of conservation laws. Our numerical schemes preserve two fundamental characteristics inherent in classical lattice Boltzmann methods: a local relaxation phase and a transport phase composed of elementary shifts on a Cartesian grid. Achieving fourth-order accuracy is accomplished through the composition of second-order time-symmetric basic schemes utilizing rational weights. This enables the representation of the transport phase in terms of elementary shifts. Introducing local variations in the relaxation parameter during each stage of relaxation ensures the entropic nature of the schemes. This not only enhances stability in the long-time limit but also maintains fourth-order accuracy. To validate our approach, we conduct comprehensive testing on scalar equations and systems in both one and two spatial dimensions.


title: Mackey formula for disconnected reductive groups

abstract: We prove a Mackey formula for representations of finite groups of Lie type, in the case where the groups come from disconnected reductive groups.


title: S2DM: Sector-Shaped Diffusion Models for Video Generation

abstract: Diffusion models have achieved great success in image generation. However, when leveraging this idea for video generation, we face significant challenges in maintaining the consistency and continuity across video frames. This is mainly caused by the lack of an effective framework to align frames of videos with desired temporal features while preserving consistent semantic and stochastic features. In this work, we propose a novel Sector-Shaped Diffusion Model (S2DM) whose sector-shaped diffusion region is formed by a set of ray-shaped reverse diffusion processes starting at the same noise point. S2DM can generate a group of intrinsically related data sharing the same semantic and stochastic features while varying on temporal features with appropriate guided conditions. We apply S2DM to video generation tasks, and explore the use of optical flow as temporal conditions. Our experimental results show that S2DM outperforms many existing methods in the task of video generation without any temporal-feature modelling modules. For text-to-video generation tasks where temporal conditions are not explicitly given, we propose a two-stage generation strategy which can decouple the generation of temporal features from semantic-content features. We show that, without additional training, our model integrated with another temporal conditions generative model can still achieve comparable performance with existing works. Our results can be viewd at https://s2dm.github.io/S2DM/.


title: Influence of concentration-dependent material properties on the fracture and debonding of electrode particles with core-shell structure

abstract: Core-shell electrode particle designs offer a route to improved lithium-ion battery performance. However, they are susceptible to mechanical damage such as fracture and debonding, which can significantly reduce their lifetime. Using a coupled finite element model, we explore the impacts of diffusion-induced stresses on the failure mechanisms of an exemplar system with an NMC811 core and an NMC111 shell. In particular, we systematically compare the implications of assuming constant material properties against using Li concentration-dependent diffusion coefficient and partial molar volume. With constant material properties, our results show that smaller cores with thinner shells avoid debonding and fracture regimes. When factoring in a concentration-dependent partial molar volume, the maximum values of tensile hoop stress in the shell are found to be significantly lower than those predicted with constant properties, reducing the likelihood of fracture. Furthermore, with a concentration-dependent diffusion coefficient, significant barriers to full electrode utilisation are observed due to reduced lithium mobility at high states of lithiation. This provides a possible explanation for the reduced accessible capacity observed in experiments. Shell thickness is found to be the dominant factor in precluding structural integrity once the concentration dependency is accounted for. These findings shed new light on the performance and effective design of core-shell electrode particles.

categories: physics.chem-ph cond-mat.mtrl-sci cs.CE physics.app-ph


title: Nonparametric density estimation for stationary processes under multiplicative measurement errors

abstract: This paper focuses on estimating the invariant density function $f_X$ of the strongly mixing stationary process $X_t$ in the multiplicative measurement errors model $Y_t = X_t U_t$, where $U_t$ is also a strongly mixing stationary process. We propose a novel approach to handle non-independent data, typical in real-world scenarios. For instance, data collected from various groups may exhibit interdependencies within each group, resembling data generated from $m$-dependent stationary processes, a subset of stationary processes. This study extends the applicability of the model $Y_t = X_t U_t$ to diverse scientific domains dealing with complex dependent data. The paper outlines our estimation techniques, discusses convergence rates, establishes a lower bound on the minimax risk, and demonstrates the asymptotic normality of the estimator for $f_X$ under smooth error distributions. Through examples and simulations, we showcase the efficacy of our estimator. The paper concludes by providing proofs for the presented theoretical results.v


title: Optimal Fixed Priority Scheduling in Multi-Stage Multi-Resource Distributed Real-Time Systems

abstract: This work studies fixed priority (FP) scheduling of real-time jobs with end-to-end deadlines in a distributed system. Specifically, given a multi-stage pipeline with multiple heterogeneous resources of the same type at each stage, the problem is to assign priorities to a set of real-time jobs with different release times to access a resource at each stage of the pipeline subject to the end-to-end deadline constraints. Note, in such a system, jobs may compete with different sets of jobs at different stages of the pipeline depending on the job-to-resource mapping. To this end, following are the two major contributions of this work. We show that an OPA-compatible schedulability test based on the delay composition algebra can be constructed, which we then use with an optimal priority assignment algorithm to compute a priority ordering. Further, we establish the versatility of pairwise priority assignment in such a multi-stage multi-resource system, compared to a total priority ordering. In particular, we show that a pairwise priority assignment may be feasible even if a priority ordering does not exist. We propose an integer linear programming formulation and a scalable heuristic to compute a pairwise priority assignment. We also show through simulation experiments that the proposed approaches can be used for the holistic scheduling of real-time jobs in edge computing systems.


title: Cell Tracking in C. elegans with Cell Position Heatmap-Based Alignment and Pairwise Detection

abstract: 3D cell tracking in a living organism has a crucial role in live cell image analysis. Cell tracking in C. elegans has two difficulties. First, cell migration in a consecutive frame is large since they move their head during scanning. Second, cell detection is often inconsistent in consecutive frames due to touching cells and low-contrast images, and these inconsistent detections affect the tracking performance worse. In this paper, we propose a cell tracking method to address these issues, which has two main contributions. First, we introduce cell position heatmap-based non-rigid alignment with test-time fine-tuning, which can warp the detected points to near the positions at the next frame. Second, we propose a pairwise detection method, which uses the information of detection results at the previous frame for detecting cells at the current frame. The experimental results demonstrate the effectiveness of each module, and the proposed method achieved the best performance in comparison.


title: On the moments of Cox rate-and-state models

abstract: Rate-and-state models are widely used physical models for the relation between changes in pore pressure due to fluid injection or gas extraction and the induced seismic hazard in a field. We consider the modification where the pore pressure measurements are affected by noise and provide explicit expressions for the first and second moments of the state variable. We show that when the pressure increases, there is positive correlation. In the case of decreasing pressure, both positive and negative correlation is possible. Using the delta method, approximate first and second moments of the rate variable are derived and compared to empirical moments.


title: A fast immersed boundary method for an extruded wall geometry

abstract: The computational cost of the boundary-condition-enforced immersed boundary method (IBM) increases in the order of $\mathcal{O}(N^2)$ as the number of Lagrangian points, $N$, increases. This is due to the time-consuming calculation of the correction operator in the diffuse-interface IBM to enforce the no-slip boundary condition. In this study, a computationally efficient IBM algorithm for an extruded wall geometry is developed, and the correction operator calculation is significantly simplified while maintaining the accuracy of the solution. This method takes advantage of the geometrical symmetricity to apply several matrix simplifications, which result in a huge increase in the computational efficiency and an improved scalability of $\mathcal{O}(max(N, N^2/r^2))$ ($r$: the number of grid points towards the extruded direction). The boundary-condition-enforced IBM for an extruded wall geometry is applicable to the numerical simulations of the flow around a wall surface that satisfies both (a) an extruded wall geometry that retains the same cross-section geometry and (b) an Eulerian grid that is either uniform or whose stretch rate towards the extruded direction is constant. As this type of geometry is commonly studied to investigate the fundamental behavior of the fluid, the presented algorithm has wide applications. Several calculations are conducted to demonstrate the higher computational efficiency of the presented algorithm compared with that of the original algorithm. The results show improvements in computational efficiency of up to 2,800 times for the correction operator calculation and 160 times for the overall IBM calculations compared with the original algorithm while retaining the computational accuracy.


title: Phenotypic plasticity trade-offs in an age-structured model of bacterial growth under stress

abstract: Under low concentrations of antibiotics causing DNA damage, \textit{Escherichia coli} bacteria can trigger stochastically a stress response known as the SOS response. While the expression of this stress response can make individual cells transiently able to overcome antibiotic treatment, it can also delay cell division, thus impacting the whole population's ability to grow and survive. In order to study the trade-offs that emerge from this phenomenon, we propose a bi-type age-structured population model that captures the phenotypic plasticity observed in the stress response. Individuals can belong to two types: either a fast-dividing but prone to death ``vulnerable'' type, or a slow-dividing but ``tolerant'' type. We study the survival probability of the population issued from a single cell as well as the population growth rate in constant and periodic environments. We show that the sensitivity of these two different notions of fitness with respect to the parameters describing the phenotypic plasticity differs between the stochastic approach (survival probability) and the deterministic approach (population growth rate). Moreover, under a more realistic configuration of periodic stress, our results indicate that optimal population growth can only be achieved through fine-tuning simultaneously both the induction of the stress response and the repair efficiency of the damage caused by the antibiotic.


title: Confined Poisson extensions

abstract: This paper follows on from our previous work, where we introduced the notion of \emph{confined extensions}, and our purpose is to widen the context in which such extensions appear. We do so in the setup of Poisson suspensions: we take a $\sigma$-finite measure-preserving dynamical system $(X, \mu, T)$ and a compact extension $(X \times G, \mu \otimes m_G, T_\phi)$, then we consider the corresponding Poisson extension $((X \times G)^*, (\mu \otimes m_G)^*, (T_\phi)_*) \overset{}{\to} (X^*, \mu^*, T_*)$. Our results give two different conditions under which that extension is confined. Finally, to show that those conditions are not void, we give an example of a system $(X, \mu, T)$ and a cocycle $\phi$ so that the compact extension $(X \times G, \mu \otimes m_G, T_\phi)$ has an infinite ergodic index.


title: Diversified and Personalized Multi-rater Medical Image Segmentation

abstract: Annotation ambiguity due to inherent data uncertainties such as blurred boundaries in medical scans and different observer expertise and preferences has become a major obstacle for training deep-learning based medical image segmentation models. To address it, the common practice is to gather multiple annotations from different experts, leading to the setting of multi-rater medical image segmentation. Existing works aim to either merge different annotations into the "groundtruth" that is often unattainable in numerous medical contexts, or generate diverse results, or produce personalized results corresponding to individual expert raters. Here, we bring up a more ambitious goal for multi-rater medical image segmentation, i.e., obtaining both diversified and personalized results. Specifically, we propose a two-stage framework named D-Persona (first Diversification and then Personalization). In Stage I, we exploit multiple given annotations to train a Probabilistic U-Net model, with a bound-constrained loss to improve the prediction diversity. In this way, a common latent space is constructed in Stage I, where different latent codes denote diversified expert opinions. Then, in Stage II, we design multiple attention-based projection heads to adaptively query the corresponding expert prompts from the shared latent space, and then perform the personalized medical image segmentation. We evaluated the proposed model on our in-house Nasopharyngeal Carcinoma dataset and the public lung nodule dataset (i.e., LIDC-IDRI). Extensive experiments demonstrated our D-Persona can provide diversified and personalized results at the same time, achieving new SOTA performance for multi-rater medical image segmentation. Our code will be released at https://github.com/ycwu1997/D-Persona.


title: Constraint on magnetized galactic outflows from LOFAR rotation measure data

abstract: Outflows from galaxies, driven by active galactic nuclei and star formation activity, spread magnetic fields into the intergalactic medium. Importance of this process can be assessed using cosmological magneto-hydrodynamic numerical modelling of the baryonic feedback on the Large Scale Structure, like that of Illustris-TNG simulations. We use the Faraday Rotation Measure data of LOFAR Two-Meter Sky Survey (LOTSS) to test the Illustris-TNG baryonic feedback model. We show that the Illustris-TNG over-predicts the root-mean-square of the residual Rotation Measure in LOTSS. This suggests that the "pollution" of the intergalactic medium by the magnetized outflows from galaxies is less important than the estimate from the Illustris-TNG. This fact provides a support to the hypothesis that the volume-filling large scale magnetic fields found in the voids of the Large Scale Structure are likely of cosmological origin.


title: Study of dependence of ram pressure stripping on the orbital parameters of the galaxies

abstract: Comprehensive observations of galaxy clusters suggest that gas deficiency in the galaxies could be due to ram pressure stripping due to the high-pressure intra-cluster medium acting on the galactic discs. The presence of gas in galaxies is essential for star formation. The net force due to ram pressure is dependent on the ambient medium and the orbit followed by the galaxy as it moves past the cluster medium. The current work deals with the effect of non-radial orbits of galaxies and the inclination of the disc plane of galaxies with the orbital plane on the mass of gas removed due to ram pressure. This gives a realistic approach to understanding the process of ram pressure stripping. The orbital parameters are extracted from EAGLE simulation data set along with the mass distribution of the galaxies. The analytical model proposed by Singh et. al. (2019) is modified appropriately to include the effect of the inclination angle. The non-radial orbits and infalling galaxies not being face-on decrease the amount of gas removed. Moreover, the inclination angle has a pronounced effect on the stripping of gas in low-mass galaxies as compared to high-mass galaxies with similar inclinations. The results show that the efficiency of the ram pressure stripping can be much lower in some cases, and hence gas in infalling galaxies can survive for much longer than expected from a simple analysis.


title: Bound-Preserving Framework for Central-Upwind Schemes for General Hyperbolic Conservation Laws

abstract: Central-upwind (CU) schemes are Riemann-problem-solver-free finite-volume methods widely applied to a variety of hyperbolic systems of PDEs. Exact solutions of these systems typically satisfy certain bounds, and it is highly desirable or even crucial for the numerical schemes to preserve these bounds. In this paper, we develop and analyze bound-preserving (BP) CU schemes for general hyperbolic systems of conservation laws. Unlike many other Godunov-type methods, CU schemes cannot, in general, be recast as convex combinations of first-order BP schemes. Consequently, standard BP analysis techniques are invalidated. We address these challenges by establishing a novel framework for analyzing the BP property of CU schemes. To this end, we discover that the CU schemes can be decomposed as a convex combination of several intermediate solution states. Thanks to this key finding, the goal of designing BPCU schemes is simplified to the enforcement of four more accessible BP conditions, each of which can be achieved with the help of a minor modification of the CU schemes. We employ the proposed approach to construct provably BPCU schemes for the Euler equations of gas dynamics. The robustness and effectiveness of the BPCU schemes are validated by several demanding numerical examples, including high-speed jet problems, flow past a forward-facing step, and a shock diffraction problem.


title: Caching-Augmented Lifelong Multi-Agent Path Finding

abstract: Multi-Agent Path Finding (MAPF), which involves finding collision-free paths for multiple robots, is crucial in various applications. Lifelong MAPF, where targets are reassigned to agents as soon as they complete their initial targets, offers a more accurate approximation of real-world warehouse planning. In this paper, we present a novel mechanism named Caching-Augmented Lifelong MAPF (CAL-MAPF), designed to improve the performance of Lifelong MAPF. We have developed a new type of map grid called cache for temporary item storage and replacement, and created a locking mechanism to improve the planning solution's stability. A task assigner (TA) is designed for CAL-MAPF to allocate target locations to agents and control agent status in different situations. CAL-MAPF has been evaluated using various cache replacement policies and input task distributions. We have identified three main factors significantly impacting CAL-MAPF performance through experimentation: suitable input task distribution, high cache hit rate, and smooth traffic. In general, CAL-MAPF has demonstrated potential for performance improvements in certain task distributions, map and agent configurations.


title: Acceptable solutions of the Schrodinger radial equation for a particle in a two-dimensional central potential

abstract: The stationary states of a particle in a central potential are usually taken as a product of an angular part Phi and a radial part R. The function R satisfies the so-called radial equation and is usually solved by demanding R to be finite at the origin. In this work we examine the reason for this requirement in the case of a two-dimensional (2D) central force problem. In contrast to some claims commonly accepted, the reason for discarding solutions with divergent R(0) is not the need to have a normalizable wave function. In fact some wave functions can be normalized even if R is singular at the origin. Instead, here we show that if R is singular, the complete wave function psi = Phi R fails to satisfy the full Schrodinger equation, but follows a equation similar to Schrodinger's but with an additional term containing the 2D Dirac delta function or its derivatives. Thus, psi is not a true eigenfunction of the Hamiltonian. In contrast, there are no additional terms in the equation for wave functions psi built from solutions R that remain finite at the origin. A similar situation also occurs for 3D central potentials as has been shown recently. A comparison between the 2D and 3D cases is carried out.


title: Advanced Long-Content Speech Recognition With Factorized Neural Transducer

abstract: In this paper, we propose two novel approaches, which integrate long-content information into the factorized neural transducer (FNT) based architecture in both non-streaming (referred to as LongFNT ) and streaming (referred to as SLongFNT ) scenarios. We first investigate whether long-content transcriptions can improve the vanilla conformer transducer (C-T) models. Our experiments indicate that the vanilla C-T models do not exhibit improved performance when utilizing long-content transcriptions, possibly due to the predictor network of C-T models not functioning as a pure language model. Instead, FNT shows its potential in utilizing long-content information, where we propose the LongFNT model and explore the impact of long-content information in both text (LongFNT-Text) and speech (LongFNT-Speech). The proposed LongFNT-Text and LongFNT-Speech models further complement each other to achieve better performance, with transcription history proving more valuable to the model. The effectiveness of our LongFNT approach is evaluated on LibriSpeech and GigaSpeech corpora, and obtains relative 19% and 12% word error rate reduction, respectively. Furthermore, we extend the LongFNT model to the streaming scenario, which is named SLongFNT , consisting of SLongFNT-Text and SLongFNT-Speech approaches to utilize long-content text and speech information. Experiments show that the proposed SLongFNT model achieves relative 26% and 17% WER reduction on LibriSpeech and GigaSpeech respectively while keeping a good latency, compared to the FNT baseline. Overall, our proposed LongFNT and SLongFNT highlight the significance of considering long-content speech and transcription knowledge for improving both non-streaming and streaming speech recognition systems.


title: Lie groupoid Riemann-Roch-Hirzebruch theorem and applications

abstract: A Lie algebroid is a generalization of Lie algebra that provides a general framework to describe the symmetries of a manifold. In this paper, we introduce Lie algebroid index theory and study the Lie algebroid Dolbeault operator. We also introduce Connes' index theory on regular foliated manifolds to obtain a generalized Riemann-Roch theorem on manifolds with regular foliation. We show that the topological side of Connes' index theory can be identified with the topological side of Lie algebroid index theory. Finally, we introduce Lie algebroid Kodaira vanishing theorem, and provide some applications and examples. The Lie algebroid Kodaira vanishing theorem can be used on the analytic side of Connes' theorem to attest to the criterion of a positive line bundle from its topological information.


title: Reasoning about distributive laws in a concurrent refinement algebra

abstract: Distributive laws are important for algebraic reasoning in arithmetic and logic. They are equally important for algebraic reasoning about concurrent programs. In existing theories such as Concurrent Kleene Algebra, only partial correctness is handled, and many of its distributive laws are weak, in the sense that they are only refinements in one direction, rather than equalities. The focus of this paper is on strengthening our theory to support the proof of strong distributive laws that are equalities, and in doing so come up with laws that are quite general. Our concurrent refinement algebra supports total correctness by allowing both finite and infinite behaviours. It supports the rely/guarantee approach of Jones by encoding rely and guarantee conditions as rely and guarantee commands. The strong distributive laws may then be used to distribute rely and guarantee commands over sequential compositions and into (and out of) iterations. For handling data refinement of concurrent programs, strong distributive laws are essential.


title: Spectral ratios and gaps for Steklov eigenvalues of balls with revolution-type metrics

abstract: We investigate upper bounds for the spectral ratios and gaps for the Steklov eigenvalues of balls with revolution-type metrics. We do not impose conditions on the Ricci curvature or on the convexity of the boundary. We obtain optimal upper bounds for the Steklov spectral ratios in dimensions 3 and higher. In dimension 3, we also obtain optimal upper bounds for the Steklov spectral gaps. By imposing additional constraints on the metric, we obtain upper bounds for the Steklov spectral gaps in dimensions 4 and higher.


title: Observation of non-volatile anomalous Nernst effect in altermagnet with collinear N\'eel vector

abstract: Anomalous Nernst effect (ANE), a widely investigated transverse thermoelectric effect that converts waste heat into electrical energy with remarkable flexibility and integration capability, has been extended to antiferromagnets with non-collinear spin texture recently. ANE in compensated magnet with collinear N\'eel vector will bring more opportunities to construct magnetic-field-immune and ultrafast transverse thermoelectric converters, but remains unachieved for long. It is due to the degenerated band structure of traditional collinear compensated magnet excludes non-zero Berry curvature. Here, we realize non-volatile ANE in altermagnet Mn5Si3 thin film with collinear Neel vector, whose unique alternating spin-splitting band structure plays vital role in creating non-zero Berry curvature and hotpots of anomalous Nernst conductivity near band intersections. Interestingly, ANE is relatively weak in stoichiometric Mn5Si3, but undergoes a sixfold enhancement through strategically raising the Fermi level by additional Mn doping, indicating sensitive intrinsic influence from specific location of the Fermi level on ANE in altermagnet. Moreover, our investigation reveals a unique Neel-vector-dependent temperature-scaling relationship of anomalous Nernst conductivity in Mn5Si3. Our work not only fills a longstanding gap by confirming the presence of non-volatile ANE in collinear compensated magnet, but also enlightens thermoelectric physics related to exotic spin-splitting band structure in altermagnet.


title: Spatial-Spectral Complexity in Kerr Beam Self-Cleaning

abstract: We report on a comprehensive experimental investigation into the spatial-spectral complexity of the laser beam during Kerr-induced beam self-cleaning in graded-index multimode fibers. We demonstrate the self-cleaning of beams using both transform-limited and chirped femtosecond pulses. By utilizing the spectrally resolved imaging technique, we examine variations in beam homogeneity during the beam cleanup process and reveal correlations observed among spatial beam profiles at different wavelengths for the various cleaned pulses. Our results significantly advance our understanding of Kerr-induced self-cleaning with chirped ultrafast pulses and offer new possibilities for diverse applications.


title: Detecting and Triaging Spoofing using Temporal Convolutional Networks

abstract: As algorithmic trading and electronic markets continue to transform the landscape of financial markets, detecting and deterring rogue agents to maintain a fair and efficient marketplace is crucial. The explosion of large datasets and the continually changing tricks of the trade make it difficult to adapt to new market conditions and detect bad actors. To that end, we propose a framework that can be adapted easily to various problems in the space of detecting market manipulation. Our approach entails initially employing a labelling algorithm which we use to create a training set to learn a weakly supervised model to identify potentially suspicious sequences of order book states. The main goal here is to learn a representation of the order book that can be used to easily compare future events. Subsequently, we posit the incorporation of expert assessment to scrutinize specific flagged order book states. In the event of an expert's unavailability, recourse is taken to the application of a more complex algorithm on the identified suspicious order book states. We then conduct a similarity search between any new representation of the order book against the expert labelled representations to rank the results of the weak learner. We show some preliminary results that are promising to explore further in this direction


title: MTP: Advancing Remote Sensing Foundation Model via Multi-Task Pretraining

abstract: Foundation models have reshaped the landscape of Remote Sensing (RS) by enhancing various image interpretation tasks. Pretraining is an active research topic, encompassing supervised and self-supervised learning methods to initialize model weights effectively. However, transferring the pretrained models to downstream tasks may encounter task discrepancy due to their formulation of pretraining as image classification or object discrimination tasks. In this study, we explore the Multi-Task Pretraining (MTP) paradigm for RS foundation models to address this issue. Using a shared encoder and task-specific decoder architecture, we conduct multi-task supervised pretraining on the SAMRS dataset, encompassing semantic segmentation, instance segmentation, and rotated object detection. MTP supports both convolutional neural networks and vision transformer foundation models with over 300 million parameters. The pretrained models are finetuned on various RS downstream tasks, such as scene classification, horizontal and rotated object detection, semantic segmentation, and change detection. Extensive experiments across 14 datasets demonstrate the superiority of our models over existing ones of similar size and their competitive performance compared to larger state-of-the-art models, thus validating the effectiveness of MTP.