title: Singing the Body Electric: The Impact of Robot Embodiment on User Expectations

abstract: Users develop mental models of robots to conceptualize what kind of interactions they can have with those robots. The conceptualizations are often formed before interactions with the robot and are based only on observing the robot's physical design. As a result, understanding conceptualizations formed from physical design is necessary to understand how users intend to interact with the robot. We propose to use multimodal features of robot embodiments to predict what kinds of expectations users will have about a given robot's social and physical capabilities. We show that using such features provides information about general mental models of the robots that generalize across socially interactive robots. We describe how these models can be incorporated into interaction design and physical design for researchers working with socially interactive robots.


title: ENTED: Enhanced Neural Texture Extraction and Distribution for Reference-based Blind Face Restoration

abstract: We present ENTED, a new framework for blind face restoration that aims to restore high-quality and realistic portrait images. Our method involves repairing a single degraded input image using a high-quality reference image. We utilize a texture extraction and distribution framework to transfer high-quality texture features between the degraded input and reference image. However, the StyleGAN-like architecture in our framework requires high-quality latent codes to generate realistic images. The latent code extracted from the degraded input image often contains corrupted features, making it difficult to align the semantic information from the input with the high-quality textures from the reference. To overcome this challenge, we employ two special techniques. The first technique, inspired by vector quantization, replaces corrupted semantic features with high-quality code words. The second technique generates style codes that carry photorealistic texture information from a more informative latent space developed using the high-quality features in the reference image's manifold. Extensive experiments conducted on synthetic and real-world datasets demonstrate that our method produces results with more realistic contextual details and outperforms state-of-the-art methods. A thorough ablation study confirms the effectiveness of each proposed module.


title: Distance-aware Attention Reshaping: Enhance Generalization of Neural Solver for Large-scale Vehicle Routing Problems

abstract: Neural solvers based on attention mechanism have demonstrated remarkable effectiveness in solving vehicle routing problems. However, in the generalization process from small scale to large scale, we find a phenomenon of the dispersion of attention scores in existing neural solvers, which leads to poor performance. To address this issue, this paper proposes a distance-aware attention reshaping method, assisting neural solvers in solving large-scale vehicle routing problems. Specifically, without the need for additional training, we utilize the Euclidean distance information between current nodes to adjust attention scores. This enables a neural solver trained on small-scale instances to make rational choices when solving a large-scale problem. Experimental results show that the proposed method significantly outperforms existing state-of-the-art neural solvers on the large-scale CVRPLib dataset.


title: Joint Unsupervised and Supervised Training for Automatic Speech Recognition via Bilevel Optimization

abstract: In this paper, we present a novel bilevel optimization-based training approach to training acoustic models for automatic speech recognition (ASR) tasks that we term {bi-level joint unsupervised and supervised training (BL-JUST)}. {BL-JUST employs a lower and upper level optimization with an unsupervised loss and a supervised loss respectively, leveraging recent advances in penalty-based bilevel optimization to solve this challenging ASR problem with affordable complexity and rigorous convergence guarantees.} To evaluate BL-JUST, extensive experiments on the LibriSpeech and TED-LIUM v2 datasets have been conducted. BL-JUST achieves superior performance over the commonly used pre-training followed by fine-tuning strategy.


title: Online Matroid Intersection: Submodular Water-Filling and Matroidal Welfare Maximization

abstract: We study two problems in online matroid intersection. First, we consider the problem of maximizing the size of a common independent set between a general matroid and a partition matroid whose parts arrive online. This captures the classic online bipartite matching problem when both matroids are partition matroids. Our main result is a $(1 - \frac{1}{e})$-competitive algorithm for the fractional version of this problem. This applies even for the poly-matroid setting, where the rank function of the offline matroid is replaced with a general monotone submodular function. The key new ingredient for this result is the construction of a ''water level'' vector for poly-matroids, which allows us to generalize the classic water-filling algorithm for online bipartite matching. This construction reveals connections to submodular utility allocation markets and principal partition sequences of matroids. Our second result concerns the Online Submodular Welfare Maximization (OSWM) problem, in which items arriving online are allocated among a set of agents with the goal of maximizing their overall utility. If the utility function of each agent is a monotone, submodular function over the set of available items, then a simple greedy algorithm achieves a competitive ratio of $\frac{1}{2}$. Kapralov, Post, and Vondr\'ak showed that in this case, no polynomial time algorithm achieves a competitive ratio of $\frac{1}{2} + \varepsilon$ for any $\varepsilon > 0$ unless NP = RP (SODA, 2013). We extend the RANKING algorithm of Karp, Vazirani, and Vazirani (STOC, 1990) to achieve an optimal $(1-\frac{1}{e})$-competitive algorithm for OSWM in the case that the utility function of each agent is the rank function of a matroid.


title: Denoising Diffusion Recommender Model

abstract: Recommender systems often grapple with noisy implicit feedback. Most studies alleviate the noise issues from data cleaning perspective such as data resampling and reweighting, but they are constrained by heuristic assumptions. Another denoising avenue is from model perspective, which proactively injects noises into user-item interactions and enhances the intrinsic denoising ability of models. However, this kind of denoising process poses significant challenges to the recommender model's representation capacity to capture noise patterns. To address this issue, we propose Denoising Diffusion Recommender Model (DDRM), which leverages multi-step denoising process of diffusion models to robustify user and item embeddings from any recommender models. DDRM injects controlled Gaussian noises in the forward process and iteratively removes noises in the reverse denoising process, thereby improving embedding robustness against noisy feedback. To achieve this target, the key lies in offering appropriate guidance to steer the reverse denoising process and providing a proper starting point to start the forward-reverse process during inference. In particular, we propose a dedicated denoising module that encodes collaborative information as denoising guidance. Besides, in the inference stage, DDRM utilizes the average embeddings of users' historically liked items as the starting point rather than using pure noise since pure noise lacks personalization, which increases the difficulty of the denoising process. Extensive experiments on three datasets with three representative backend recommender models demonstrate the effectiveness of DDRM.


title: Shear Alfvenic Waves in Electron-Positron Plasma: Analysis of Solitary Wave Properties and Numerical Validation

abstract: The investigation employed the reductive perturbation approach to study the nonlinear propagation of shear Alfvenic waves in an electron-positron (EP) plasma medium. Utilizing the solitary wave solution of the derivative nonlinear Schrodinger equation, the fundamental properties of EP shear Alfven waves were identified, with a focus on their key features such as speed, amplitude, and width. The analysis revealed the presence of hump-shaped solitary waves. Additionally, comparing the numerical results obtained through the finite difference method and the exact solution demonstrated good agreement between the two. These findings hold significance in comprehending nonlinear electromagnetic wave phenomena in laboratory plasma and space environments where EP plasma is present.


title: Perturbative variational quantum algorithms for material simulations

abstract: Reducing circuit depth is essential for implementing quantum simulations of electronic structure on near-term quantum devices. In this work, we propose a variational quantum eigensolver (VQE) based perturbation theory algorithm to accurately simulate electron correlation of periodic materials with shallow ansatz circuits, which are generated from Adaptive Derivative-Assembled Pseudo-Trotter or Qubit-Excitation-based VQE calculations using a loose convergence criteria. Here, the major part of the electron correlation is described using the VQE ansatz circuit and the remaining correlation energy is described by either multireference or similarity transformation-based perturbation theory. Numerical results demonstrate that the new algorithms are able to accurately describe electron correlation of the LiH crystal with only one circuit parameter, in contrast with ~30 parameters required in the adaptive VQE to achieve the same accuracy. Meanwhile, for fixed-depth Ansatze, e.g. unitary coupled cluster, we demonstrate that the VQE-base perturbation theory provides an appealing scheme to improve their accuracy.


title: Electrodynamics of the quantum anomalous Hall state in a magnetically doped topological insulator

abstract: Magnetically doped topological insulators have been extensively studied over the past decade as a material platform to exhibit quantum anomalous Hall effect. Most material realizations are magnetically doped and despite material advances suffer from large disorder effects. In such systems, it is believed that magnetic disorder leads to a spatially varying Dirac mass gap and chemical potential fluctuations, and hence quantized conductance is only observed at very low temperatures. Here, we use a recently developed high-precision time-domain terahertz (THz) polarimeter to study the low-energy electrodynamic response of Cr-doped (Bi,Sb)$_2$Te$_3$ thin films. These films have been recently shown to exhibit a dc quantized anomalous Hall response up to T = 2 K at zero gate voltage. We show that the real part of the THz range Hall conductance $\sigma_{xy}(\omega)$ is slightly smaller than $e^2/h$ down to T = 2 K with an unconventional decreasing dependence on frequency. The imaginary (dissipative) part of $\sigma_{xy}(\omega)$ is small, but increasing as a function of omega. We connect both aspects of our data to a simple model for effective magnetic gap disorder. Our work highlights the different effect that disorder can have on the dc vs. ac quantum anomalous Hall effect.


title: Learning driving style embedding from GPS-derived moving patterns for driver identification

abstract: Learning fingerprint-like driving style representations is crucial to accurately identify who is behind the wheel in open driving situations. This study explores the learning of driving styles with GPS signals that are currently available in connected vehicles for short-term driver identification. First, an input driving trajectory is windowed into subtrajectories with fixed time lengths. Then, each subtrajectory is further divided into overlapping dynamic segments. For each segment, the local features are obtained by combining statistical and state transitional patterns. Finally, the driving style embedded in each subtrajectory is learned with the proposed regularized recurrent neural network (RNN) for short-term driver identification. We evaluate the impacts of key factors and the effectiveness of the proposed approach on the identification performance of 5 and 10 drivers. The results show that our proposed neural network structure, which complements movement statistics (MS) with state transitions (ST), provides better prediction performance than existing deep learning methods.


title: Cramer-Rao bound and absolute sensitivity in chemical reaction networks

abstract: Chemical reaction networks (CRN) comprise an important class of models to understand biological functions such as cellular information processing, the robustness and control of metabolic pathways, circadian rhythms, and many more. However, any CRN describing a certain function does not act in isolation but is a part of a much larger network and as such is constantly subject to external changes. In [Shinar, Alon, and Feinberg. "Sensitivity and robustness in chemical reaction networks." SIAM J App Math (2009): 977-998.], the responses of CRN to changes in the linear conserved quantities, called sensitivities, were studied in and the question of how to construct absolute, i.e., basis-independent, sensitivities was raised. In this article, by applying information geometric methods, such a construction is provided. The idea is to track how concentration changes in a particular chemical propagate to changes of all the other chemicals within a steady state. This is encoded in the matrix of absolute sensitivites. A linear algebraic characterization of the matrix of absolute sensitivities for quasi-thermostatic CRN is derived via a Cramer-Rao bound for CRN, which is based on the the analogy between quasi-thermostatic steady states and the exponential family of probability distributions.

categories: q-bio.MN cs.IT math.IT physics.bio-ph physics.chem-ph


title: Colored stochastic vertex models with U-turn boundary

abstract: In this paper, we introduce a class of colored stochastic vertex models with U-turn right boundary. The vertex weights in the models satisfy the Yang-Baxter equations and the reflection equation. Based on these equations, we derive recursive relations for partition functions of the models.


title: Gradient Coreset for Federated Learning

abstract: Federated Learning (FL) is used to learn machine learning models with data that is partitioned across multiple clients, including resource-constrained edge devices. It is therefore important to devise solutions that are efficient in terms of compute, communication, and energy consumption, while ensuring compliance with the FL framework's privacy requirements. Conventional approaches to these problems select a weighted subset of the training dataset, known as coreset, and learn by fitting models on it. Such coreset selection approaches are also known to be robust to data noise. However, these approaches rely on the overall statistics of the training data and are not easily extendable to the FL setup. In this paper, we propose an algorithm called Gradient based Coreset for Robust and Efficient Federated Learning (GCFL) that selects a coreset at each client, only every $K$ communication rounds and derives updates only from it, assuming the availability of a small validation dataset at the server. We demonstrate that our coreset selection technique is highly effective in accounting for noise in clients' data. We conduct experiments using four real-world datasets and show that GCFL is (1) more compute and energy efficient than FL, (2) robust to various kinds of noise in both the feature space and labels, (3) preserves the privacy of the validation dataset, and (4) introduces a small communication overhead but achieves significant gains in performance, particularly in cases when the clients' data is noisy.


title: Graphical Principal Component Analysis of Multivariate Functional Time Series

abstract: In this paper, we consider multivariate functional time series with a two-way dependence structure: a serial dependence across time points and a graphical interaction among the multiple functions within each time point. We develop the notion of dynamic weak separability, a more general condition than those assumed in literature, and use it to characterize the two-way structure in multivariate functional time series. Based on the proposed weak separability, we develop a unified framework for functional graphical models and dynamic principal component analysis, and further extend it to optimally reconstruct signals from contaminated functional data using graphical-level information. We investigate asymptotic properties of the resulting estimators and illustrate the effectiveness of our proposed approach through extensive simulations. We apply our method to hourly air pollution data that were collected from a monitoring network in China.


title: Stellar cycle and evolution of polar spots in an M+WD binary

abstract: Stellar activity cycles reveal continuous relaxation and induction of magnetic fields. The activity cycle is typically traced through the observation of cyclic variations in total brightness or Ca H&K emission flux of stars, as well as cyclic variations of orbital periods of binary systems. In this work, we report the identification of a semi-detached binary system (TIC 16320250) consisting of a white dwarf (0.67 $M_{\odot}$) and an active M dwarf (0.56 $M_{\odot}$). The long-term multi-band optical light curves spanning twenty years revealed three repeated patterns, suggestive of a possible activity cycle of about ten years of the M dwarf. Light curve fitting indicates the repeated variation is caused by the evolution, particularly the motion, of polar spots. The significant Ca H&K, H$\alpha$, ultra-violet, and X-ray emissions imply that the M dwarf is one of the most magnetically active stars. We propose that in the era of large time-domain photometric sky surveys (e.g., ASAS-SN, ZTF, LSST, Sitian), long-term light curve modeling can be a valuable tool for tracing and revealing stellar activity cycle, especially for stars in binary systems.


title: Progressive Feature Fusion Network for Enhancing Image Quality Assessment

abstract: Image compression has been applied in the fields of image storage and video broadcasting. However, it's formidably tough to distinguish the subtle quality differences between those distorted images generated by different algorithms. In this paper, we propose a new image quality assessment framework to decide which image is better in an image group. To capture the subtle differences, a fine-grained network is adopted to acquire multi-scale features. Subsequently, we design a cross subtract block for separating and gathering the information within positive and negative image pairs. Enabling image comparison in feature space. After that, a progressive feature fusion block is designed, which fuses multi-scale features in a novel progressive way. Hierarchical spatial 2D features can thus be processed gradually. Experimental results show that compared with the current mainstream image quality assessment methods, the proposed network can achieve more accurate image quality assessment and ranks second in the benchmark of CLIC in the image perceptual model track.


title: On the free metabelian Novikov and metabelian Lie-admissible algebras

abstract: In this paper, we consider Lie-admissible algebras, which are free Novikov and free Lie-admissible algebras with an additional metabelian identity. We construct a linear basis for both free metabelian Novikov and free metabelian Lie-admissible algebras. Additionally, we describe a space of symmetric polynomials for both the free metabelian Novikov algebra and the free metabelian Lie-admissible algebra.


title: UniVision: A Unified Framework for Vision-Centric 3D Perception

abstract: The past few years have witnessed the rapid development of vision-centric 3D perception in autonomous driving. Although the 3D perception models share many structural and conceptual similarities, there still exist gaps in their feature representations, data formats, and objectives, posing challenges for unified and efficient 3D perception framework design. In this paper, we present UniVision, a simple and efficient framework that unifies two major tasks in vision-centric 3D perception, \ie, occupancy prediction and object detection. Specifically, we propose an explicit-implicit view transform module for complementary 2D-3D feature transformation. We propose a local-global feature extraction and fusion module for efficient and adaptive voxel and BEV feature extraction, enhancement, and interaction. Further, we propose a joint occupancy-detection data augmentation strategy and a progressive loss weight adjustment strategy which enables the efficiency and stability of the multi-task framework training. We conduct extensive experiments for different perception tasks on four public benchmarks, including nuScenes LiDAR segmentation, nuScenes detection, OpenOccupancy, and Occ3D. UniVision achieves state-of-the-art results with +1.5 mIoU, +1.8 NDS, +1.5 mIoU, and +1.8 mIoU gains on each benchmark, respectively. We believe that the UniVision framework can serve as a high-performance baseline for the unified vision-centric 3D perception task. The code will be available at \url{https://github.com/Cc-Hy/UniVision}.


title: A Visually Attentive Splice Localization Network with Multi-Domain Feature Extractor and Multi-Receptive Field Upsampler

abstract: Image splice manipulation presents a severe challenge in today's society. With easy access to image manipulation tools, it is easier than ever to modify images that can mislead individuals, organizations or society. In this work, a novel, "Visually Attentive Splice Localization Network with Multi-Domain Feature Extractor and Multi-Receptive Field Upsampler" has been proposed. It contains a unique "visually attentive multi-domain feature extractor" (VA-MDFE) that extracts attentional features from the RGB, edge and depth domains. Next, a "visually attentive downsampler" (VA-DS) is responsible for fusing and downsampling the multi-domain features. Finally, a novel "visually attentive multi-receptive field upsampler" (VA-MRFU) module employs multiple receptive field-based convolutions to upsample attentional features by focussing on different information scales. Experimental results conducted on the public benchmark dataset CASIA v2.0 prove the potency of the proposed model. It comfortably beats the existing state-of-the-arts by achieving an IoU score of 0.851, pixel F1 score of 0.9195 and pixel AUC score of 0.8989.


title: Beam Dynamics Issues in the SuperKEKB

abstract: This article reviews the beam dynamics issues, such as intra-beam scattering, beam-beam interaction, lattice nonlinearity, and space charge, in SuperKEKB before its commissioning.


title: How single-photon nonlinearity is quenched with multiple quantum emitters: Quantum Zeno effect in collective interactions with $\Lambda$-level atoms

abstract: Single-photon nonlinearity, namely the change in the response of the system as the result of the interaction with a single photon, is generally considered an inherent property of a single quantum emitter. Understanding the dependence of the nonlinearity on the number of emitters is important both fundamentally and practically, as strong light-matter coupling is more readily achieved through collective interactions than with a single emitter. Here, we theoretically consider a system that explores the transition from a single to multiple emitters with a $\Lambda$-level scheme. We show that the single-photon nonlinearity indeed vanishes with the number of emitters. Interestingly, the mechanism behind this behavior is the quantum Zeno effect, manifested in the slowdown of the photon-controlled dynamics.


title: Towards Effective Image Forensics via A Novel Computationally Efficient Framework and A New Image Splice Dataset

abstract: Splice detection models are the need of the hour since splice manipulations can be used to mislead, spread rumors and create disharmony in society. However, there is a severe lack of image splicing datasets, which restricts the capabilities of deep learning models to extract discriminative features without overfitting. This manuscript presents two-fold contributions toward splice detection. Firstly, a novel splice detection dataset is proposed having two variants. The two variants include spliced samples generated from code and through manual editing. Spliced images in both variants have corresponding binary masks to aid localization approaches. Secondly, a novel Spatio-Compression Lightweight Splice Detection Framework is proposed for accurate splice detection with minimum computational cost. The proposed dual-branch framework extracts discriminative spatial features from a lightweight spatial branch. It uses original resolution compression data to extract double compression artifacts from the second branch, thereby making it 'information preserving.' Several CNNs are tested in combination with the proposed framework on a composite dataset of images from the proposed dataset and the CASIA v2.0 dataset. The best model accuracy of 0.9382 is achieved and compared with similar state-of-the-art methods, demonstrating the superiority of the proposed framework.


title: Datasets, Clues and State-of-the-Arts for Multimedia Forensics: An Extensive Review

abstract: With the large chunks of social media data being created daily and the parallel rise of realistic multimedia tampering methods, detecting and localising tampering in images and videos has become essential. This survey focusses on approaches for tampering detection in multimedia data using deep learning models. Specifically, it presents a detailed analysis of benchmark datasets for malicious manipulation detection that are publicly available. It also offers a comprehensive list of tampering clues and commonly used deep learning architectures. Next, it discusses the current state-of-the-art tampering detection methods, categorizing them into meaningful types such as deepfake detection methods, splice tampering detection methods, copy-move tampering detection methods, etc. and discussing their strengths and weaknesses. Top results achieved on benchmark datasets, comparison of deep learning approaches against traditional methods and critical insights from the recent tampering detection methods are also discussed. Lastly, the research gaps, future direction and conclusion are discussed to provide an in-depth understanding of the tampering detection research arena.


title: Counterfactual Slope and Its Applications to Social Stratification

abstract: This paper addresses two prominent theses in social stratification research, the great equalizer thesis and Mare's (1980) school transition thesis. Both theses are premised on a descriptive regularity: the association between socioeconomic background and an outcome variable changes when conditioning on an intermediate treatment. The interpretation of this descriptive regularity is complicated by social actors' differential selection into treatment based on their potential outcomes under treatment. In particular, if the descriptive regularity is driven by selection, then the theses do not have a substantive interpretation. We propose a set of novel counterfactual slope estimands, which capture the two theses under the hypothetical scenario where differential selection into treatment is eliminated. Thus, we use the counterfactual slopes to construct selection-free tests for the two theses. Compared with the existing literature, we are the first to provide explicit, nonparametric, and causal estimands, which enable us to conduct principled selection-free tests. We develop efficient and robust estimators by deriving the efficient influence functions of the estimands. We apply our framework to a nationally representative dataset in the United States and re-evaluate the two theses. Findings from our selection-free tests show that the descriptive regularity of the two theses is misleading for substantive interpretations.


title: UAV-assisted Emergency Integrated Sensing and Communication Networks: A CNN-based Rapid Deployment Approach

abstract: UAV-assisted integrated sensing and communication (ISAC) network is crucial for post-disaster emergency rescue. The speed of UAV deployment will directly impact rescue results. However, the ISAC UAV deployment in emergency scenarios is difficult to solve, which contradicts the rapid deployment. In this paper, we propose a two-stage deployment framework to achieve rapid ISAC UAV deployment in emergency scenarios, which consists of an offline stage and an online stage. Specifically, in the offline stage, we first formulate the ISAC UAV deployment problem and define the ISAC utility as the objective function, which integrates communication rate and localization accuracy. Secondly, we develop a dynamic particle swarm optimization (DPSO) algorithm to construct an optimized UAV deployment dataset. Finally, we train a convolutional neural network (CNN) model with this dataset, which replaces the time-consuming DPSO algorithm. In the online stage, the trained CNN model can be used to make quick decisions for the ISAC UAV deployment. The simulation results indicate that the trained CNN model achieves superior ISAC performance compared to the classic particle swarm optimization algorithm. Additionally, it significantly reduces the deployment time by more than 96%.


title: Non-intersective Dragon Curves

abstract: We show that the dragon curve has no self-intersection when the unfolding angle is not less than $99.3438^{\circ}$.


title: Deep Neural Network Solutions for Oscillatory Fredholm Integral Equations

abstract: We studied the use of deep neural networks (DNNs) in the numerical solution of the oscillatory Fredholm integral equation of the second kind. It is known that the solution of the equation exhibits certain oscillatory behaviors due to the oscillation of the kernel. It was pointed out recently that standard DNNs favour low frequency functions, and as a result, they often produce poor approximation for functions containing high frequency components. We addressed this issue in this study. We first developed a numerical method for solving the equation with DNNs as an approximate solution by designing a numerical quadrature that tailors to computing oscillatory integrals involving DNNs. We proved that the error of the DNN approximate solution of the equation is bounded by the training loss and the quadrature error. We then proposed a multi-grade deep learning (MGDL) model to overcome the spectral bias issue of neural networks. Numerical experiments demonstrate that the MGDL model is effective in extracting multiscale information of the oscillatory solution and overcoming the spectral bias issue from which a standard DNN model suffers.


title: Extending LLMs' Context Window with 100 Samples

abstract: Large Language Models (LLMs) are known to have limited extrapolation ability beyond their pre-trained context window, constraining their application in downstream tasks with lengthy inputs. Recent studies have sought to extend LLMs' context window by modifying rotary position embedding (RoPE), a popular position encoding method adopted by well-known LLMs such as LLaMA, PaLM, and GPT-NeoX. However, prior works like Position Interpolation (PI) and YaRN are resource-intensive and lack comparative experiments to assess their applicability. In this work, we identify the inherent need for LLMs' attention entropy (i.e. the information entropy of attention scores) to maintain stability and introduce a novel extension to RoPE which combines adjusting RoPE's base frequency and scaling the attention logits to help LLMs efficiently adapt to a larger context window. We validate the superiority of our method in both fine-tuning performance and robustness across different context window sizes on various context-demanding tasks. Notably, our method extends the context window of LLaMA-2-7B-Chat to 16,384 with only 100 samples and 6 training steps, showcasing extraordinary efficiency. Finally, we also explore how data compositions and training curricula affect context window extension for specific downstream tasks, suggesting fine-tuning LLMs with lengthy conversations as a good starting point. We release our code and SFT data at https://github.com/GAIR-NLP/Entropy-ABF.


title: Spectroscopic Diagnostic of the Footpoints of the Cool loops

abstract: Statistically, the cool loop's footpoints are diagnosed using Si~{\sc iv} resonance lines observations provided by Interface Region Imaging Spectrograph (IRIS). The intensity and Full Width at Half Maximum (FWHM) of the loop's footpoints in $\beta${--}$\gamma$ active regions (ARs) are higher than the corresponding parameters of footpoints in $\beta$ ARs. However, the Doppler velocity of footpoints in both ARs are almost similar to each other. The intensities of footpoints from $\beta${--}$\gamma$ AR is found to be around 9 times that of $\beta$ AR when both ARs are observed nearly at the same time. The same intensity difference reduces nearly to half (4 times) when considering all ARs observed over 9 years. Hence, the instrument degradation affects comparative intensity analysis. We find that Doppler velocity and FWHM are well-correlated while peak intensity is neither correlated with Doppler velocity nor FWHM. The loop's footpoints in $\beta$-$\gamma$ ARs have around four times more complex Si~{\sc iv} spectral profiles than that of $\beta$ ARs. The intensity ratios (Si~{\sc iv} 1393.78~{\AA}/1402.77~{\AA}) of the significant locations of footpoints differ, marginally, (i.e., either less than 1.9 or greater than 2.10) from the theoretical ratio of 2, i.e., 52\% (55\%) locations in $\beta$ ($\beta${--}$\gamma$) ARs significantly deviate from 2. Hence, we say that more than half of the footpoint locations are either affected by the opacity or resonance scattering. We conclude that the nature and attributes of the footpoints of the cool loops in $\beta$-$\gamma$ ARs are significantly different from those in $\beta$ ARs.


title: Existence of optimal pairs for optimal control problems with states constrained to Riemannian manifolds

abstract: In this paper, we investigate the existence of optimal pairs for optimal control problems with their states constrained pointwise to Riemannian manifolds. For this purpose, by means of the Riemannian geometric tool, we introduce a crucial Cesari-type property, which is an extension of the classical Cesari property (See [3, Definition 3.3, p. 51]) from the setting of Euclidean spaces to that of Riemannian manifolds. Moreover, we show the efficiency of our result by a concrete example.


title: Understanding the Formation and Evolution of Dark Galaxies in a Simulated Universe

abstract: We study the formation and evolution of dark galaxies using the IllustrisTNG cosmological hydrodynamical simulation. We first identify dark galaxies with stellar-to-total mass ratios, $M_* / M_{\text{tot}}$, smaller than $10^{-4}$, which differ from luminous galaxies with $M_* / M_{\text{tot}} \geq 10^{-4}$. We then select the galaxies with dark matter halo mass of $\sim 10^9 \, h^{-1}$$\rm M_{\odot}$ for mass completeness, and compare their physical properties with those of luminous galaxies. We find that at the present epoch ($z=0$), dark galaxies are predominantly located in void regions without star-forming gas. We also find that dark galaxies tend to have larger sizes and higher spin parameters than luminous galaxies. In the early universe, dark and luminous galaxies show small differences in the distributions of spin and local environment estimates, and the difference between the two samples becomes more significant as they evolve. Our results suggest that dark galaxies tend to be initially formed in less dense regions, and could not form stars because of heating from cosmic reionization and of few interactions and mergers with other systems containing stars unlike luminous galaxies. This study based on numerical simulations can provide important hints for validating dark galaxy candidates in observations and for constraining galaxy formation models.


title: Locally finitely presented Grothendieck categories and the pure semisimplicity conjecture

abstract: In this paper, we investigate locally finitely presented pure semisimple (hereditary) Grothendieck categories. We show that every locally finitely presented pure semisimple (resp., hereditary) Grothendieck category A is equivalent to the category of left modules over a left pure semisimple (resp., left hereditary) ring when Mod(fp(A)) is a QF-3 category and every representable functor in Mod(fp(A)) has finitely generated essential socle. In fact, we show that there exists a bijection between Morita equivalence classes of left pure semisimple (resp., left hereditary) rings $\Lambda$ and equivalence classes of locally finitely presented pure semisimple (resp., hereditary) Grothendieck categories A that Mod(fp(A)) is a QF-3 category and every representable functor in Mod(fp(A)) has finitely generated essential socle. To prove this result, we study left pure semisimple rings by using Auslander's ideas. We show that there exists, up to equivalence, a bijection between the class of left pure semisimple rings and the class of rings with nice homological properties. These results extend the Auslander and Ringel-Tachikawa correspondence to the class of left pure semisimple rings. As a consequence, we give several equivalent statements to the pure semisimplicity conjecture.


title: Joint Extraction of Uyghur Medicine Knowledge with Edge Computing

abstract: Medical knowledge extraction methods based on edge computing deploy deep learning models on edge devices to achieve localized entity and relation extraction. This approach avoids transferring substantial sensitive data to cloud data centers, effectively safeguarding the privacy of healthcare services. However, existing relation extraction methods mainly employ a sequential pipeline approach, which classifies relations between determined entities after entity recognition. This mode faces challenges such as error propagation between tasks, insufficient consideration of dependencies between the two subtasks, and the neglect of interrelations between different relations within a sentence. To address these challenges, a joint extraction model with parameter sharing in edge computing is proposed, named CoEx-Bert. This model leverages shared parameterization between two models to jointly extract entities and relations. Specifically, CoEx-Bert employs two models, each separately sharing hidden layer parameters, and combines these two loss functions for joint backpropagation to optimize the model parameters. Additionally, it effectively resolves the issue of entity overlapping when extracting knowledge from unstructured Uyghur medical texts by considering contextual relations. Finally, this model is deployed on edge devices for real-time extraction and inference of Uyghur medical knowledge. Experimental results demonstrate that CoEx-Bert outperforms existing state-of-the-art methods, achieving accuracy, recall, and F1 scores of 90.65\%, 92.45\%, and 91.54\%, respectively, in the Uyghur traditional medical literature dataset. These improvements represent a 6.45\% increase in accuracy, a 9.45\% increase in recall, and a 7.95\% increase in F1 score compared to the baseline.


title: Advances in Biomedical Devices_A comprehensive Exploration of Cardiovascular and Ophthalmic Applications

abstract: This review article discusses current technological advances in biomedical devices,emphasizing cardiovascular and ophthalmic application diagnostic,monitoring, and prosthetic instruments and systems. The scope encompasses various aspects, including implantable retinal prosthetic devices, portable device for carotid stiffness measurement, automatic identification algorithms for arteries, cuffless evaluation of carotid pulse pressure, wearable neural recording systems, and arterial compliance probes. Additionally, the paper explores advancements in pulse wave velocity measurement, real time heart rate estimation from wrist type signals, and the clinical significance of non invasive pulse wave velocity measurement in assessing arterial stiffness. The synthesis of these studies provides insights into the evolving landscape of biomedical devices, their validation, reproducibility, and potential clinical implications, emphasizing their role in enhancing diagnostics and therapeutic interventions in cardiovascular and ophthalmic domains.


title: Stable higher-order vortex quantum droplets in an annular potential

abstract: We address the existence, stability, and evolution of two-dimensional vortex quantum droplets (VQDs) in binary Bose-Einstein condensates trapped in a ring-shaped potential. The interplay of the Lee-Huang-Yang-amended nonlinearity and trapping potential supports two VQD branches, controlled by the radius, width and depth of the potential profile. While the lower-branch VQDs, bifurcating from the system's linear modes, are completely unstable, the upper branch is fully stable for all values of the topological charge $m$ and potential's parameters. Up to $m=12$ (at least), stable VQDs obey the {\it anti-Vakhitov-Kolokolov} criterion. In the limit of an extremely tight radial trap, the modulational instability of the quasi-1D azimuthal VQDs is studied analytically. We thus put forward an effective way to produce stable VQDs with higher vorticity but a relatively small number of atoms, which is favorable for experimental realization.


title: An ADRC-Incorporated Stochastic Gradient Descent Algorithm for Latent Factor Analysis

abstract: High-dimensional and incomplete (HDI) matrix contains many complex interactions between numerous nodes. A stochastic gradient descent (SGD)-based latent factor analysis (LFA) model is remarkably effective in extracting valuable information from an HDI matrix. However, such a model commonly encounters the problem of slow convergence because a standard SGD algorithm only considers the current learning error to compute the stochastic gradient without considering the historical and future state of the learning error. To address this critical issue, this paper innovatively proposes an ADRC-incorporated SGD (ADS) algorithm by refining the instance learning error by considering the historical and future state by following the principle of an ADRC controller. With it, an ADS-based LFA model is further achieved for fast and accurate latent factor analysis on an HDI matrix. Empirical studies on two HDI datasets demonstrate that the proposed model outperforms the state-of-the-art LFA models in terms of computational efficiency and accuracy for predicting the missing data of an HDI matrix.


title: Knowledge Distillation for Closed-Source Language Models

abstract: Closed-source language models such as GPT-4 have achieved remarkable performance. Many recent studies focus on enhancing the capabilities of smaller models through knowledge distillation from closed-source language models. However, due to the incapability to directly access the weights, hidden states, and output distributions of these closed-source models, the distillation can only be performed by fine-tuning smaller models with data samples generated by closed-source language models, which constrains the effectiveness of knowledge distillation. In this paper, we propose to estimate the output distributions of closed-source language models within a Bayesian estimation framework, involving both prior and posterior estimation. The prior estimation aims to derive a prior distribution by utilizing the corpus generated by closed-source language models, while the posterior estimation employs a proxy model to update the prior distribution and derive a posterior distribution. By leveraging the estimated output distribution of closed-source language models, traditional knowledge distillation can be executed. Experimental results demonstrate that our method surpasses the performance of current models directly fine-tuned on data generated by closed-source language models.


title: Weak Labeling for Cropland Mapping in Africa

abstract: Cropland mapping can play a vital role in addressing environmental, agricultural, and food security challenges. However, in the context of Africa, practical applications are often hindered by the limited availability of high-resolution cropland maps. Such maps typically require extensive human labeling, thereby creating a scalability bottleneck. To address this, we propose an approach that utilizes unsupervised object clustering to refine existing weak labels, such as those obtained from global cropland maps. The refined labels, in conjunction with sparse human annotations, serve as training data for a semantic segmentation network designed to identify cropland areas. We conduct experiments to demonstrate the benefits of the improved weak labels generated by our method. In a scenario where we train our model with only 33 human-annotated labels, the F_1 score for the cropland category increases from 0.53 to 0.84 when we add the mined negative labels.


title: Finite translation orbits on double families of abelian varieties

abstract: Consider two families of $g$-dimensional abelian varieties induced by two distinct rational maps on the same variety $\overline{\mathcal A}$ onto two bases $\overline S_1$ and $\overline S_2$ and having big common domain of definition. Two non-torsion sections of these families induce two (birational) fiberwise translations on $\overline{\mathcal A}$, respectively. We show that if $\dim \overline S_1+\dim \overline S_2\le 2g$, the points with finite orbit under the action of a certain subset of the group generated by both translations lie in a proper Zariski closed subset that can be described to a certain extent. Our work is a higher dimensional generalization of a result of Corvaja, Tsimermann and Zannier.


title: Iron role paradox in nerve degeneration and regeneration

abstract: Iron accumulates in the neural tissue during peripheral nerve degeneration. Some studies have already been suggested that iron facilitates Wallerian degeneration (WD) events such as Schwann cell de-differentiation. On the other hand, intracellular iron levels remain elevated during nerve regeneration and gradually decrease. Iron enhances Schwann cell differentiation and axonal outgrowth. Therefore, there seems to be a paradox in the role of iron during nerve degeneration and regeneration. We explain this contradiction by suggesting that the increase in intracellular iron concentration during peripheral nerve degeneration is likely to prepare neural cells for the initiation of regeneration. Changes in iron levels are the result of changes in the expression of iron homeostasis proteins. In this review, we will first discuss the changes in the iron/iron homeostasis protein levels during peripheral nerve degeneration and regeneration and then explain how iron is related to nerve regeneration. This data may help better understand the mechanisms of peripheral nerve repair and find a solution to prevent or slow the progression of peripheral neuropathies.


title: Asymptotic performance of double and four circulant codes with small hull dimension

abstract: We study the asymptotic behavior of double and four circulant codes, which are quasi-cyclic codes of index two and four respectively. Exact enumeration results are derived for these families of codes with the prescribed hull dimension. These formulas, in turn, are the most used tools to prove the good behavior of double circulant and four circulant codes asymptotically. Computational results on the code families in consideration are provided as well.


title: Graphical models for cardinal paired comparisons data

abstract: Graphical models for cardinal paired comparison data with and without covariates are rigorously analyzed. Novel, graph--based, necessary and sufficient conditions which guarantee strong consistency, asymptotic normality and the exponential convergence of the estimated ranks are emphasized. A complete theory for models with covariates is laid out. In particular conditions under which covariates can be safely omitted from the model are provided. The methodology is employed in the analysis of both finite and infinite sets of ranked items specifically in the case of large sparse comparison graphs. The proposed methods are explored by simulation and applied to the ranking of teams in the National Basketball Association (NBA).


title: Unveiling the hidden reaction kinetic network of carbon dioxide in supercritical aqueous solutions

abstract: Dissolution of CO$_2$ in water followed by the subsequent hydrolysis reactions is of great importance to the global carbon cycle, and carbon capture and storage. Despite enormous previous studies, the reactions are still not fully understood at the atomistic scale. Here, we combined ab initio molecular dynamics simulations with Markov state models to elucidate the reaction mechanisms and kinetics of CO$_2$ in supercritical water both in the bulk and nanoconfined states. The integration of unsupervised learning with first-principles data allows us to identify complex reaction coordinates and pathways automatically instead of a priori human speculation. Interestingly, our unbiased modelling found a novel pathway of dissolving CO$_2$(aq) under graphene nanoconfinement, involving the pyrocarbonate anion (C$_2$O$_5^{2-}$(aq)) as an intermediate state. The pyrocarbonate anion was previously hypothesized to have a fleeting existence in water; however our study reveals that it is a crucial reaction intermediate and stable carbon species in the nanoconfined solutions. We even observed the formation of pyrocarbonic acid (H$_2$C$_2$O$_5$(aq)), which was unknown in water. The unexpected appearance of pyrocarbonates is related to the superionic behavior of the confined solutions. We also found that carbonation reactions involve collective proton transfer along transient water wires, which exhibits concerted behavior in the bulk solution but proceeds stepwise under nanoconfinement. Our study highlights the importance of large oxocarbons in aqueous carbon reactions, with great implications for the deep carbon cycle and the sequestration of CO$_2$.


title: Empowering Medical Imaging with Artificial Intelligence: A Review of Machine Learning Approaches for the Detection, and Segmentation of COVID-19 Using Radiographic and Tomographic Images

abstract: Since 2019, the global dissemination of the Coronavirus and its novel strains has resulted in a surge of new infections. The use of X-ray and computed tomography (CT) imaging techniques is critical in diagnosing and managing COVID-19. Incorporating artificial intelligence (AI) into the field of medical imaging is a powerful combination that can provide valuable support to healthcare professionals.This paper focuses on the methodological approach of using machine learning (ML) to enhance medical imaging for COVID-19 diagnosis.For example, deep learning can accurately distinguish lesions from other parts of the lung without human intervention in a matter of minutes.Moreover, ML can enhance performance efficiency by assisting radiologists in making more precise clinical decisions, such as detecting and distinguishing Covid-19 from different respiratory infections and segmenting infections in CT and X-ray images, even when the lesions have varying sizes and shapes.This article critically assesses machine learning methodologies utilized for the segmentation, classification, and detection of Covid-19 within CT and X-ray images, which are commonly employed tools in clinical and hospital settings to represent the lung in various aspects and extensive detail.There is a widespread expectation that this technology will continue to hold a central position within the healthcare sector, driving further progress in the management of the pandemic.


title: Contraderived categories of CDG-modules

abstract: For any CDG-ring $B^\bullet=(B^*,d,h)$, we show that the homotopy category of graded-projective (left) CDG-modules over $B^\bullet$ is equivalent to the quotient category of the homotopy of graded-flat CDG-modules by its full triangulated subcategory of flat CDG-modules. The contraderived category (in the sense of Becker) $\mathsf D^{\mathsf{bctr}}(B^\bullet{-}\mathbf{Mod})$ is the common name for these two triangulated categories. We also prove that the classes of cotorsion and graded-cotorsion CDG-modules coincide, and the contraderived category of CDG-modules is equivalent to the homotopy category of graded-flat graded-cotorsion CDG-modules. Assuming the graded ring $B^*$ to be graded right coherent, we show that the contraderived category $\mathsf D^{\mathsf{bctr}}(B^\bullet{-}\mathbf{Mod})$ is compactly generated and its full subcategory of compact objects is anti-equivalent to the full subcategory of compact objects in the coderived category of right CDG-modules $\mathsf D^{\mathsf{bco}}(\mathbf{Mod}{-}B^\bullet)$. Specifically, the latter triangulated category is the idempotent completion of the absolute derived category of finitely presented right CDG-modules $\mathsf D^{\mathsf{abs}}(\mathbf{mod}{-}B^\bullet)$.


title: Edge-Enabled Anomaly Detection and Information Completion for Social Network Knowledge Graphs

abstract: In the rapidly advancing information era, various human behaviors are being precisely recorded in the form of data, including identity information, criminal records, and communication data. Law enforcement agencies can effectively maintain social security and precisely combat criminal activities by analyzing the aforementioned data. In comparison to traditional data analysis methods, deep learning models, relying on the robust computational power in cloud centers, exhibit higher accuracy in extracting data features and inferring data. However, within the architecture of cloud centers, the transmission of data from end devices introduces significant latency, hindering real-time inference of data. Furthermore, low-latency edge computing architectures face limitations in direct deployment due to relatively weak computing and storage capacities of nodes. To address these challenges, a lightweight distributed knowledge graph completion architecture is proposed. Firstly, we introduce a lightweight distributed knowledge graph completion architecture that utilizes knowledge graph embedding for data analysis. Subsequently, to filter out substandard data, a personnel data quality assessment method named PDQA is proposed. Lastly, we present a model pruning algorithm that significantly reduces the model size while maximizing performance, enabling lightweight deployment. In experiments, we compare the effects of 11 advanced models on completing the knowledge graph of public security personnel information. The results indicate that the RotatE model outperforms other models significantly in knowledge graph completion, with the pruned model size reduced by 70\%, and hits@10 reaching 86.97\%.}


title: "Bayesian anchoring" and the fourfold pattern of risk attitudes

abstract: Experiments on decision making under uncertainty are known to display a classical pattern of risk aversion and risk seeking referred to as "fourfold pattern" (or "reflection effect") , but recent experiments varying the speed and order of mental processing have brought to light a more nuanced phenomenology. We model experiments though a Bayesian formalization of the anchor-and-adjust heuristic observed in empirical studies on cognitive bias. Using only elementary assumptions on constrained information processing, we are able to infer three separate effects found in recent observations: (1) the reported enhancement of the fourfold pattern for quicker decision processes; (2) the observed decrease of fluctuations for slower decision-making trials; (3) the reported dependence of the outcome on the order in which options are processed. The application of Bayesian modeling offers a solution to recent empirical riddles by bridging two heretofore separate domains of experimental inquiry on bounded rationality.


title: Entanglement in Bipartite Quantum Systems with Fast Local Unitary Control

abstract: The well-known Schmidt decomposition, or equivalently, the complex singular value decomposition, states that a pure quantum state of a bipartite system can always be brought into a "diagonal" form using local unitary transformations. In this work we consider a finite-dimensional closed bipartite system with fast local unitary control. In this setting one can define a reduced control system on the singular values of the state which is equivalent to the original control system. We explicitly describe this reduced control system and prove equivalence to the original system. Moreover, using the reduced control system, we prove that the original system is controllable and stabilizable and we deduce quantum speed limits. We also treat the fermionic and bosonic cases in parallel, which are related to the Autonne-Takagi and Hua factorization respectively.


title: Smooth measures and the canonical retraction in NIP theories

abstract: We show that the results proved by Simon on the canonical retraction $F_M$ from the space of $M$-invariant types onto the space of types finitely satisfiable in $M$ remain true over measures. We also make another construction of the canonical retraction for measures, mimicking what Simon did for types, and show that it coincides with Simon's canonical retraction for measures. To do so, we make extensive use of smooth measures.


title: Magnetic effects of non-magnetic impurities in gapped short-range resonating valence bond spin liquids

abstract: We study the effect of a small density $n_v$ of quenched non-magnetic impurities, i.e. vacancy disorder, in gapped short-range resonating valence bond (RVB) spin liquid states and valence bond solid (VBS) states of quantum magnets. We argue that a large class of short-range RVB liquids are stable at small $n_v$ on the kagome lattice, while the corresponding states on triangular, square, and honeycomb lattices are unstable at any nonzero $n_v$ due to the presence of emergent vacancy-induced local moments. In contrast, VBS states are argued to be generically unstable (independent of lattice geometry) at nonzero $n_v$ due to such a local-moment instability. Our arguments rely in part on an analysis of the statistical mechanics of maximally-packed dimer covers of the diluted lattice, and are fully supported by our computational results on $O(N)$ symmetric designer Hamiltonians.


title: Dynamics of Soap Bubble Inflation

abstract: Bubbles have always captivated our curiosity with their aesthetics and complexities alike. While the act of blowing bubbles is familiar to everyone, the underlying physics of these fleeting spheres often eludes reasoning. In this letter, we discuss the dynamics of inflating a soap bubble using controlled airflow through a film-coated nozzle. We assess and predict the rate of inflation by varying the source pressure. Visualising the previously unexplored internal flow reveals that air enters the bubble as a round jet, emerging from the nozzle opening and impinges on the expanding concave bubble interface to form a toroidal vortex. Several scaling laws of the associated vortical flow spanning the entire bubble and the vortex core are reported. The observed dynamics of this bubble-confined vortex ring formation indicate universality in certain aspects when compared to the free laminar vortex rings.


title: Image edge enhancement for effective image classification

abstract: Image classification has been a popular task due to its feasibility in real-world applications. Training neural networks by feeding them RGB images has demonstrated success over it. Nevertheless, improving the classification accuracy and computational efficiency of this process continues to present challenges that researchers are actively addressing. A widely popular embraced method to improve the classification performance of neural networks is to incorporate data augmentations during the training process. Data augmentations are simple transformations that create slightly modified versions of the training data and can be very effective in training neural networks to mitigate overfitting and improve their accuracy performance. In this study, we draw inspiration from high-boost image filtering and propose an edge enhancement-based method as means to enhance both accuracy and training speed of neural networks. Specifically, our approach involves extracting high frequency features, such as edges, from images within the available dataset and fusing them with the original images, to generate new, enriched images. Our comprehensive experiments, conducted on two distinct datasets CIFAR10 and CALTECH101, and three different network architectures ResNet-18, LeNet-5 and CNN-9 demonstrates the effectiveness of our proposed method.


title: A local maximum principle for robust optimal control problems of quadratic BSDEs

abstract: The paper concerns the necessary maximum principle for robust optimal control problems of quadratic BSDEs. The coefficient of the systems depends on the parameter $\theta$, and the generator of BSDEs is of quadratic growth in $z$. Since the model is uncertain, the variational inequality is proved by weak convergence technique. In addition, due to the generator being quadratic with respect to $z$, the forward adjoint equations are SDEs with unbounded coefficient involving mean oscillation martingales. Using reverse H\"older inequality and John-Nirenberg inequality, we show that its solutions are continuous with respect to the parameter $\theta$. The necessary and sufficient conditions for robust optimal control are proved by linearization method.


title: Subsonic Euler flows in a three-dimensional finitely long cylinder with arbitrary cross section

abstract: This paper concerns the well-posedness of subsonic flows in a three-dimensional finitely long cylinder with arbitrary cross section. We establish the existence and uniqueness of subsonic flows in the Sobolev space by prescribing the normal component of the momentum, the vorticity, the entropy, the Bernoulli's quantity at the entrance and the normal component of the momentum at the exit. One of the key points in the analysis is to utilize the deformation-curl decomposition for the steady Euler system introduced in \cite{WX19} to deal with the hyperbolic and elliptic modes. Another one is to employ the separation of variables to improve the regularity of solutions to a deformation-curl system near the intersection between the entrance and exit with the cylinder wall.


title: Code Security Vulnerability Repair Using Reinforcement Learning with Large Language Models

abstract: With the recent advancement of Large Language Models (LLMs), generating functionally correct code has become less complicated for a wide array of developers. While using LLMs has sped up the functional development process, it poses a heavy risk to code security. Code generation with proper security measures using LLM is a significantly more challenging task than functional code generation. Security measures may include adding a pair of lines of code with the original code, consisting of null pointer checking or prepared statements for SQL injection prevention. Currently, available code repair LLMs generate code repair by supervised fine-tuning, where the model looks at cross-entropy loss. However, the original and repaired codes are mostly similar in functionality and syntactically, except for a few (1-2) lines, which act as security measures. This imbalance between the lines needed for security measures and the functional code enforces the supervised fine-tuned model to prioritize generating functional code without adding proper security measures, which also benefits the model by resulting in minimal loss. Therefore, in this work, for security hardening and strengthening of generated code from LLMs, we propose a reinforcement learning-based method for program-specific repair with the combination of semantic and syntactic reward mechanisms that focus heavily on adding security and functional measures in the code, respectively.


title: Interaction of Vortex Ring with Perforated V-Wall

abstract: Experiments are performed to investigate the interaction of a vortex ring (Reynolds number based on circulation (Re gamma = 11500) with perforated surface (open area ratio, phi1 = 0.24 and phi2 = 0.44) with different included angles (theta = 60deg - 180deg ). The phenomenon is characterized using techniques like Planer Laser-Induced Fluorescence (PLIF) imaging and Particle Image Velocimetry (PIV). Lagrangian analysis using finite-time Lyapunov exponents (FTLE) and Gamma_2 vortex identification methods are utilised to understand the flow physics. Early observations reveal the growth of induced mushroom structures through the holes as a consequence of placing the perforated surface in the path of the vortex ring. These structures along with Kelvin-Helmholtz (K-H) instability imparts the initial instability to the emerging jets. We discern a sequential emergence of the vortex ring in the form of jets at lower theta value that diminishes at higher values. Except for theta = 150deg cases, where the flow from the two halves starts to talk resulting in a divergence in the circulation ratio, a reformed vortex ring is formed for all cases in the far downstream. A detailed discussion on the downstream vorticity dynamics has been been provided using vorticity contours, time-series variation of circulation and the FTLE fields. By varying the value of theta, we present a more generalised study of vortex ring interacting with perforated surfaces that finds application in multiple domains including flow control, manipulation and vortical cleaning.


title: Risk-aware Adaptive Virtual CPU Oversubscription in Microsoft Cloud via Prototypical Human-in-the-loop Imitation Learning

abstract: Oversubscription is a prevalent practice in cloud services where the system offers more virtual resources, such as virtual cores in virtual machines, to users or applications than its available physical capacity for reducing revenue loss due to unused/redundant capacity. While oversubscription can potentially lead to significant enhancement in efficient resource utilization, the caveat is that it comes with the risks of overloading and introducing jitter at the level of physical nodes if all the co-located virtual machines have high utilization. Thus suitable oversubscription policies which maximize utilization while mitigating risks are paramount for cost-effective seamless cloud experiences. Most cloud platforms presently rely on static heuristics-driven decisions about oversubscription activation and limits, which either leads to overloading or stranded resources. Designing an intelligent oversubscription policy that can adapt to resource utilization patterns and jointly optimizes benefits and risks is, largely, an unsolved problem. We address this challenge with our proposed novel HuMan-in-the-loop Protoypical Imitation Learning (ProtoHAIL) framework that exploits approximate symmetries in utilization patterns to learn suitable policies. Also, our human-in-the-loop (knowledge-infused) training allows for learning safer policies that are robust to noise and sparsity. Our empirical investigations on real data show orders of magnitude reduction in risk and significant increase in benefits (saving stranded cores) in Microsoft cloud platform for 1st party (internal services).


title: On the barcode entropy of Lagrangian submanifolds

abstract: This article deals with relative barcode entropy, a notion that was recently introduced by Cineli, Ginzburg, and Gurel. We exhibit some settings in closed symplectic manifolds for which the relative barcode entropy of a Hamiltonian diffeomorphism and a pair of Lagrangian submanifolds is positive. In analogy to a result in the absolute case by the above authors, we obtain that the topological entropy of any horseshoe K is a lower bound if the two Lagrangians contain a local unstable resp. stable manifold in K. In dimension 2, we also estimate the relative barcode entropy of a pair of closed curves that lie in special homotopy classes in the complement of certain periodic orbits in K. Furthermore, we define a variant of relative barcode entropy and exhibit first examples for which it is positive. As applications, certain robustness features of the volume growth and the topological entropy are discussed.


title: Causative Insights into Open Source Software Security using Large Language Code Embeddings and Semantic Vulnerability Graph

abstract: Open Source Software (OSS) security and resilience are worldwide phenomena hampering economic and technological innovation. OSS vulnerabilities can cause unauthorized access, data breaches, network disruptions, and privacy violations, rendering any benefits worthless. While recent deep-learning techniques have shown great promise in identifying and localizing vulnerabilities in source code, it is unclear how effective these research techniques are from a usability perspective due to a lack of proper methodological analysis. Usually, these methods offload a developer's task of classifying and localizing vulnerable code; still, a reasonable study to measure the actual effectiveness of these systems to the end user has yet to be conducted. To address the challenge of proper developer training from the prior methods, we propose a system to link vulnerabilities to their root cause, thereby intuitively educating the developers to code more securely. Furthermore, we provide a comprehensive usability study to test the effectiveness of our system in fixing vulnerabilities and its capability to assist developers in writing more secure code. We demonstrate the effectiveness of our system by showing its efficacy in helping developers fix source code with vulnerabilities. Our study shows a 24% improvement in code repair capabilities compared to previous methods. We also show that, when trained by our system, on average, approximately 9% of the developers naturally tend to write more secure code with fewer vulnerabilities.


title: Kida's formula via Selmer complexes

abstract: In Iwasawa theory, the $\lambda$, $\mu$-invariants of various arithmetic modules are fundamental invariants that measure the size of the modules. Concerning the minus components of the unramified Iwasawa modules, Kida proved a formula that describes the behavior of those invariants with respect to field extensions. Subsequently, many analogues of Kida's formula have been found in various areas in Iwasawa theory. In this paper, we present a novel approach to such analogues of Kida's formula, based on the perspective of Selmer complexes.


title: xCoT: Cross-lingual Instruction Tuning for Cross-lingual Chain-of-Thought Reasoning

abstract: Chain-of-thought (CoT) has emerged as a powerful technique to elicit reasoning in large language models and improve a variety of downstream tasks. CoT mainly demonstrates excellent performance in English, but its usage in low-resource languages is constrained due to poor language generalization. To bridge the gap among different languages, we propose a cross-lingual instruction fine-tuning framework (xCOT) to transfer knowledge from high-resource languages to low-resource languages. Specifically, the multilingual instruction training data (xCOT-INSTRUCT) is created to encourage the semantic alignment of multiple languages. We introduce cross-lingual in-context few-shot learning (xICL)) to accelerate multilingual agreement in instruction tuning, where some fragments of source languages in examples are randomly substituted by their counterpart translations of target languages. During multilingual instruction tuning, we adopt the randomly online CoT strategy to enhance the multilingual reasoning ability of the large language model by first translating the query to another language and then answering in English. To further facilitate the language transfer, we leverage the high-resource CoT to supervise the training of low-resource languages with cross-lingual distillation. Experimental results on previous benchmarks demonstrate the superior performance of xCoT in reducing the gap among different languages, highlighting its potential to reduce the cross-lingual gap.


title: A simple stochastic nonlinear AR model with application to bubble

abstract: Economic and financial time series can feature locally explosive behavior when a bubble is formed. The economic or financial bubble, especially its dynamics, is an intriguing topic that has been attracting longstanding attention. To illustrate the dynamics of the local explosion itself, the paper presents a novel, simple, yet useful time series model, called the stochastic nonlinear autoregressive model, which is always strictly stationary and geometrically ergodic and can create long swings or persistence observed in many macroeconomic variables. When a nonlinear autoregressive coefficient is outside of a certain range, the model has periodically explosive behaviors and can then be used to portray the bubble dynamics. Further, the quasi-maximum likelihood estimation (QMLE) of our model is considered, and its strong consistency and asymptotic normality are established under minimal assumptions on innovation. A new model diagnostic checking statistic is developed for model fitting adequacy. In addition two methods for bubble tagging are proposed, one from the residual perspective and the other from the null-state perspective. Monte Carlo simulation studies are conducted to assess the performances of the QMLE and the two bubble tagging methods in finite samples. Finally, the usefulness of the model is illustrated by an empirical application to the monthly Hang Seng Index.


title: Quantum Generative Diffusion Model: A Fully Quantum-Mechanical Model for Generating Quantum State Ensemble

abstract: Classical diffusion models have shown superior generative results and have been applied to many problems. Exploring these models in the quantum domain can advance the field of quantum generative learning. In this paper, we introduce the Quantum Generative Diffusion Model (QGDM), a simple and elegant quantum counterpart of classical diffusion models. The core idea of QGDM is that any target quantum state can be transformed into a completely mixed state, which has the highest entropy and maximum uncertainty about the system, through a non-unitary forward process. Subsequently, a trainable backward process can be used to recover the target state from the completely mixed state. The design requirements for QGDM's backward process include ensuring non-unitarity while maintaining a low number of parameters. To achieve this, we introduce partial trace operations in the backward process to enforce non-unitary. Additionally, we control the number of trainable parameters by using a parameter-sharing strategy and incorporating temporal information as an input in the backward process. Furthermore, we introduce a resource-efficient version of QGDM, which reduces the number of auxiliary qubits while preserving impressive generative capabilities. Our proposed models exhibit better convergence performance than Quantum Generative Adversarial Networks (QGANs) because our models optimize a convex distance function using gradient descent. Comparative results with QGANs demonstrate the effectiveness of our models in generating both pure and mixed quantum states. Notably, our models achieve 53.03% higher fidelity in mixed-state generation tasks compared to QGANs. These results highlight the potential of the proposed models to tackle challenging quantum generation tasks.


title: Acoustic Three-dimensional Chern Insulators with Arbitrary Chern Vectors

abstract: The Chern vector is a vectorial generalization of the scalar Chern number, being able to characterize the topological phase of three-dimensional (3D) Chern insulators. Such a vectorial generalization extends the applicability of Chern-type bulk-boundary correspondence from one-dimensional (1D) edge states to two-dimensional (2D) surface states, whose unique features, such as forming nontrivial torus knots or links in the surface Brillouin zone, have been demonstrated recently in 3D photonic crystals. However, since it is still unclear how to achieve an arbitrary Chern vector, so far the surface-state torus knots or links can emerge, not on the surface of a single crystal as in other 3D topological phases, but only along an internal domain wall between two crystals with perpendicular Chern vectors. Here, we extend the 3D Chern insulator phase to acoustic crystals for sound waves, and propose a scheme to construct an arbitrary Chern vector that allows the emergence of surface-state torus knots or links on the surface of a single crystal. These results provide a complete picture of bulk-boundary correspondence for Chern vectors, and may find use in novel applications in topological acoustics.


title: An automated framework for brain vessel centerline extraction from CTA images

abstract: Accurate automated extraction of brain vessel centerlines from CTA images plays an important role in diagnosis and therapy of cerebrovascular diseases, such as stroke. However, this task remains challenging due to the complex cerebrovascular structure, the varying imaging quality, and vessel pathology effects. In this paper, we consider automatic lumen segmentation generation without additional annotation effort by physicians and more effective use of the generated lumen segmentation for improved centerline extraction performance. We propose an automated framework for brain vessel centerline extraction from CTA images. The framework consists of four major components: (1) pre-processing approaches that register CTA images with a CT atlas and divide these images into input patches, (2) lumen segmentation generation from annotated vessel centerlines using graph cuts and robust kernel regression, (3) a dual-branch topology-aware UNet (DTUNet) that can effectively utilize the annotated vessel centerlines and the generated lumen segmentation through a topology-aware loss (TAL) and its dual-branch design, and (4) post-processing approaches that skeletonize the predicted lumen segmentation. Extensive experiments on a multi-center dataset demonstrate that the proposed framework outperforms state-of-the-art methods in terms of average symmetric centerline distance (ASCD) and overlap (OV). Subgroup analyses further suggest that the proposed framework holds promise in clinical applications for stroke treatment. Code is publicly available at https://github.com/Liusj-gh/DTUNet.


title: GEML: A Grammar-based Evolutionary Machine Learning Approach for Design-Pattern Detection

abstract: Design patterns (DPs) are recognised as a good practice in software development. However, the lack of appropriate documentation often hampers traceability, and their benefits are blurred among thousands of lines of code. Automatic methods for DP detection have become relevant but are usually based on the rigid analysis of either software metrics or specific properties of the source code. We propose GEML, a novel detection approach based on evolutionary machine learning using software properties of diverse nature. Firstly, GEML makes use of an evolutionary algorithm to extract those characteristics that better describe the DP, formulated in terms of human-readable rules, whose syntax is conformant with a context-free grammar. Secondly, a rule-based classifier is built to predict whether new code contains a hidden DP implementation. GEML has been validated over five DPs taken from a public repository recurrently adopted by machine learning studies. Then, we increase this number up to 15 diverse DPs, showing its effectiveness and robustness in terms of detection capability. An initial parameter study served to tune a parameter setup whose performance guarantees the general applicability of this approach without the need to adjust complex parameters to a specific pattern. Finally, a demonstration tool is also provided.


title: Quantum Advantage Actor-Critic for Reinforcement Learning

abstract: Quantum computing offers efficient encapsulation of high-dimensional states. In this work, we propose a novel quantum reinforcement learning approach that combines the Advantage Actor-Critic algorithm with variational quantum circuits by substituting parts of the classical components. This approach addresses reinforcement learning's scalability concerns while maintaining high performance. We empirically test multiple quantum Advantage Actor-Critic configurations with the well known Cart Pole environment to evaluate our approach in control tasks with continuous state spaces. Our results indicate that the hybrid strategy of using either a quantum actor or quantum critic with classical post-processing yields a substantial performance increase compared to pure classical and pure quantum variants with similar parameter counts. They further reveal the limits of current quantum approaches due to the hardware constraints of noisy intermediate-scale quantum computers, suggesting further research to scale hybrid approaches for larger and more complex control tasks.


title: BP(\lambda): Online Learning via Synthetic Gradients

abstract: Training recurrent neural networks typically relies on backpropagation through time (BPTT). BPTT depends on forward and backward passes to be completed, rendering the network locked to these computations before loss gradients are available. Recently, Jaderberg et al. proposed synthetic gradients to alleviate the need for full BPTT. In their implementation synthetic gradients are learned through a mixture of backpropagated gradients and bootstrapped synthetic gradients, analogous to the temporal difference (TD) algorithm in Reinforcement Learning (RL). However, as in TD learning, heavy use of bootstrapping can result in bias which leads to poor synthetic gradient estimates. Inspired by the accumulate $\mathrm{TD}(\lambda)$ in RL, we propose a fully online method for learning synthetic gradients which avoids the use of BPTT altogether: accumulate $BP(\lambda)$. As in accumulate $\mathrm{TD}(\lambda)$, we show analytically that accumulate $\mathrm{BP}(\lambda)$ can control the level of bias by using a mixture of temporal difference errors and recursively defined eligibility traces. We next demonstrate empirically that our model outperforms the original implementation for learning synthetic gradients in a variety of tasks, and is particularly suited for capturing longer timescales. Finally, building on recent work we reflect on accumulate $\mathrm{BP}(\lambda)$ as a principle for learning in biological circuits. In summary, inspired by RL principles we introduce an algorithm capable of bias-free online learning via synthetic gradients.


title: A Measurement of Solar $pp$ Neutrino Flux using PandaX-4T Electron Recoil Data

abstract: The proton-proton ($pp$) fusion chain dominates the neutrino production from the Sun. The uncertainty of the predicted $pp$ neutrino flux is at the sub-percent level, whereas that of the best measurement is $\mathcal{O}(10\%)$. Furthermore, no direct measurement has been made via electron scattering below 165~keV recoil energy. Using the PandaX-4T commissioning data with 0.63 tonne$\times$year of exposure, we perform the first measurement of solar $pp$ neutrinos in the recoil energy range from 24 to 144 keV. The $pp$ neutrino flux is measured to be $(10.3 \pm 3.7 \,{\rm{(stat.)}} \pm 9.6 \,{\rm{(syst.)}} )\times 10^{10}\, $$\rm{s}^{-1} \rm{cm}^{-2}$, consistent with Standard Solar Model and existing measurements.


title: How quarks made their entrance into our worldview via cosmic rays and proton accelerators

abstract: Sixty years ago Gell-Mann introduced, with a striking sense of caution, a new fundamental layer in the structure of matter. He christened the associated particles 'quarks', a name borrowed from the psychedelic flood of words of James Joyce's novel Finnegans Wake. Independently and simultaneously, Zweig arrived at similar ideas. We outline the circumstances that led to the introduction of quarks.


title: Tuning dissipation dilution in 2D material resonators by MEMS-induced tension

abstract: Resonators based on two-dimensional (2D) materials have exceptional properties for application as nanomechanical sensors, which allows them to operate at high frequencies with high sensitivity. However, their performance as nanomechanical sensors is currently limited by their low quality ($Q$)-factor. Here, we make use of micro-electromechanical systems (MEMS) to apply pure in-plane mechanical strain, enhancing both their resonance frequency and Q-factor. In contrast to earlier work, the 2D material resonators are fabricated on the MEMS actuators without any wet processing steps, using a dry-transfer method. A platinum clamp, that is deposited by electron beam-induced deposition, is shown to be effective in fixing the 2D membrane to the MEMS and preventing slippage. By in-plane straining the membranes in a purely mechanical fashion, we increase the tensile energy, thereby diluting dissipation. This way, we show how dissipation dilution can increase the $Q$-factor of 2D material resonators by 91\%. The presented MEMS actuated dissipation dilution method does not only pave the way towards higher $Q$-factors in resonators based on 2D materials, but also provides a route toward studies of the intrinsic loss mechanisms of 2D materials in the monolayer limit.


title: 2.5-D MHD Simulation of the Formation and Evolution of Plasmoids in Coronal Current Sheets

abstract: In the present paper, using MPI-AMRVAC, we perform a 2.5-D numerical MHD simulation of the dynamics and associated thermodynamical evolution of an initially force-free Harris current sheet subjected to an external velocity perturbation under the condition of uniform resistivity. The amplitude of the magnetic field is taken to be 10 Gauss, typical of the solar corona. We impose a Gaussian velocity pulse across this current sheet mimicking the interaction of fast magnetoacoustic waves with a current sheet in corona. This leads to a variety of dynamics and plasma processes in the current sheet, which is initially quasi-static. The initial pulse interacts with the current sheet and splits into a pair of counter-propagating wavefronts, which forms a rarefied region and leads to inflow and a thinning of the current sheet. The thinning results in Petschek-type magnetic reconnection followed by tearing instability and plasmoid formation. The reconnection outflows containing outward-moving plasmoids have accelerated motions with velocities ranging from 105-303 km/s. The average temperature and density of the plasmoids are found to be 8 MK and twice the background density of the solar corona, respectively. These estimates of velocity, temperature and density of plasmoids are similar to values reported from various solar coronal observations. Therefore, we infer that the external triggering of a quasi-static current sheet by a single velocity pulse is capable of initiating magnetic reconnection and plasmoid formation in the absence of a localized enhancement of resistivity in the solar corona.


title: Quantum Denoising Diffusion Models

abstract: In recent years, machine learning models like DALL-E, Craiyon, and Stable Diffusion have gained significant attention for their ability to generate high-resolution images from concise descriptions. Concurrently, quantum computing is showing promising advances, especially with quantum machine learning which capitalizes on quantum mechanics to meet the increasing computational requirements of traditional machine learning algorithms. This paper explores the integration of quantum machine learning and variational quantum circuits to augment the efficacy of diffusion-based image generation models. Specifically, we address two challenges of classical diffusion models: their low sampling speed and the extensive parameter requirements. We introduce two quantum diffusion models and benchmark their capabilities against their classical counterparts using MNIST digits, Fashion MNIST, and CIFAR-10. Our models surpass the classical models with similar parameter counts in terms of performance metrics FID, SSIM, and PSNR. Moreover, we introduce a consistency model unitary single sampling architecture that combines the diffusion procedure into a single step, enabling a fast one-step image generation.


title: Countable homogeneous ordered bipartite graphs

abstract: A classification is given of all the countable homogeneous ordered bipartite graphs.


title: COIN: Chance-Constrained Imitation Learning for Uncertainty-aware Adaptive Resource Oversubscription Policy

abstract: We address the challenge of learning safe and robust decision policies in presence of uncertainty in context of the real scientific problem of adaptive resource oversubscription to enhance resource efficiency while ensuring safety against resource congestion risk. Traditional supervised prediction or forecasting models are ineffective in learning adaptive policies whereas standard online optimization or reinforcement learning is difficult to deploy on real systems. Offline methods such as imitation learning (IL) are ideal since we can directly leverage historical resource usage telemetry. But, the underlying aleatoric uncertainty in such telemetry is a critical bottleneck. We solve this with our proposed novel chance-constrained imitation learning framework, which ensures implicit safety against uncertainty in a principled manner via a combination of stochastic (chance) constraints on resource congestion risk and ensemble value functions. This leads to substantial ($\approx 3-4\times$) improvement in resource efficiency and safety in many oversubscription scenarios, including resource management in cloud services.


title: Modeling citation concentration through a mixture of Leimkuhler curves

abstract: When a graphical representation of the cumulative percentage of total citations to articles, ordered from most cited to least cited, is plotted against the cumulative percentage of articles, we obtain a Leimkuhler curve. In this study, we noticed that standard Leimkuhler functions may not be sufficient to provide accurate fits to various empirical informetrics data. Therefore, we introduce a new approach to Leimkuhler curves by fitting a known probability density function to the initial Leimkuhler curve, taking into account the presence of a heterogeneity factor. As a significant contribution to the existing literature, we introduce a pair of mixture distributions (called PG and PIG) to bibliometrics. In addition, we present closed-form expressions for Leimkuhler curves. {Some measures of citation concentration are examined empirically for the basic models (based on the Power {and Pareto distributions}) and the mixed models derived from {these}.} An application to two sources of informetric data was conducted to see how the mixing models outperform the standard basic models. The different models were fitted using non-linear least squares estimation.


title: Adaptoring: Adapter Generation to Provide an Alternative API for a Library

abstract: Third-party libraries are a cornerstone of fast application development. To enable efficient use, libraries must provide a well-designed API. An obscure API instead slows down the learning process and can lead to erroneous use. The usual approach to improve the API of a library is to edit its code directly, either keeping the old API but deprecating it (temporarily increasing the API size) or dropping it (introducing breaking changes). If maintainers are unwilling to make such changes, others need to create a hard fork, which they can refactor. But then it is difficult to incorporate changes to the original library, such as bug fixes or performance improvements. In this paper, we instead explore the use of the adapter pattern to provide a new API as a new library that calls the original library internally. This allows the new library to leverage all implementation changes to the original library, at no additional cost. We call this approach adaptoring. To make the approach practical, we identify API transformations for which adapter code can be generated automatically, and investigate which transformations can be inferred automatically, based on the documentation and usage patterns of the original library. For cases where automated inference is not possible, we present a tool that lets developers manually specify API transformations. Finally, we consider the issue of migrating the generated adapters if the original library introduces breaking changes. We implemented our approach for Python, demonstrating its effectiveness to quickly provide an alternative API even for large libraries.


title: A Reinforcement Learning Environment for Directed Quantum Circuit Synthesis

abstract: With recent advancements in quantum computing technology, optimizing quantum circuits and ensuring reliable quantum state preparation have become increasingly vital. Traditional methods often demand extensive expertise and manual calculations, posing challenges as quantum circuits grow in qubit- and gate-count. Therefore, harnessing machine learning techniques to handle the growing variety of gate-to-qubit combinations is a promising approach. In this work, we introduce a comprehensive reinforcement learning environment for quantum circuit synthesis, where circuits are constructed utilizing gates from the the Clifford+T gate set to prepare specific target states. Our experiments focus on exploring the relationship between the depth of synthesized quantum circuits and the circuit depths used for target initialization, as well as qubit count. We organize the environment configurations into multiple evaluation levels and include a range of well-known quantum states for benchmarking purposes. We also lay baselines for evaluating the environment using Proximal Policy Optimization. By applying the trained agents to benchmark tests, we demonstrated their ability to reliably design minimal quantum circuits for a selection of 2-qubit Bell states.


title: Diagrammatic Algebra of First Order Logic

abstract: We introduce the calculus of neo-Peircean relations, a string diagrammatic extension of the calculus of binary relations that has the same expressivity as first order logic and comes with a complete axiomatisation. The axioms are obtained by combining two well known categorical structures: cartesian and linear bicategories.


title: Aquarium: A Comprehensive Framework for Exploring Predator-Prey Dynamics through Multi-Agent Reinforcement Learning Algorithms

abstract: Recent advances in Multi-Agent Reinforcement Learning have prompted the modeling of intricate interactions between agents in simulated environments. In particular, the predator-prey dynamics have captured substantial interest and various simulations been tailored to unique requirements. To prevent further time-intensive developments, we introduce Aquarium, a comprehensive Multi-Agent Reinforcement Learning environment for predator-prey interaction, enabling the study of emergent behavior. Aquarium is open source and offers a seamless integration of the PettingZoo framework, allowing a quick start with proven algorithm implementations. It features physics-based agent movement on a two-dimensional, edge-wrapping plane. The agent-environment interaction (observations, actions, rewards) and the environment settings (agent speed, prey reproduction, predator starvation, and others) are fully customizable. Besides a resource-efficient visualization, Aquarium supports to record video files, providing a visual comprehension of agent behavior. To demonstrate the environment's capabilities, we conduct preliminary studies which use PPO to train multiple prey agents to evade a predator. In accordance to the literature, we find Individual Learning to result in worse performance than Parameter Sharing, which significantly improves coordination and sample-efficiency.


title: Selectively pseudocompact spaces

abstract: A novel selection principle was introduced by Dorantes-Aldama and Shakhmatov: a topological space $X$ is termed {\em selectively pseudocompact} if for any sequence $(U_n:n\in {\omega})$ of pairwise disjoint non-empty open sets of $X$, one can choose points $x_n\in U_n$ such that the sequence $(x_n:n\in {\omega})$ has an accumulation point. In this paper, we explore various versions of this principle when we permit the selection of finite, scattered, or nowhere dense sets instead of just singletons. We develop a method to prove that the aforementioned versions of selective pseudocompactness are indeed distinct from one another.


title: Does More Advice Help? The Effects of Second Opinions in AI-Assisted Decision Making

abstract: AI assistance in decision-making has become popular, yet people's inappropriate reliance on AI often leads to unsatisfactory human-AI collaboration performance. In this paper, through three pre-registered, randomized human subject experiments, we explore whether and how the provision of {second opinions} may affect decision-makers' behavior and performance in AI-assisted decision-making. We find that if both the AI model's decision recommendation and a second opinion are always presented together, decision-makers reduce their over-reliance on AI while increase their under-reliance on AI, regardless whether the second opinion is generated by a peer or another AI model. However, if decision-makers have the control to decide when to solicit a peer's second opinion, we find that their active solicitations of second opinions have the potential to mitigate over-reliance on AI without inducing increased under-reliance in some cases. We conclude by discussing the implications of our findings for promoting effective human-AI collaborations in decision-making.


title: Classifying Proposals of Decentralized Autonomous Organizations Using Large Language Models

abstract: Our study demonstrates the effective use of Large Language Models (LLMs) for automating the classification of complex datasets. We specifically target proposals of Decentralized Autonomous Organizations (DAOs), as the classification of this data requires the understanding of context and, therefore, depends on human expertise, leading to high costs associated with the task. The study applies an iterative approach to specify categories and further refine them and the prompt in each iteration, which led to an accuracy rate of 95% in classifying a set of 100 proposals. With this, we demonstrate the potential of LLMs to automate data labeling tasks that depend on textual context effectively.