title: A systematic study of the ultra-fast outflow responses to luminosity variations in active galactic nuclei

abstract: The extreme velocities and high ionization states of ultra-fast outflows (UFOs) make them a promising candidate for AGN feedback on the evolution of the host galaxy. However, their exact underlying driving mechanism is not yet fully understood. Given that the variability of UFOs may be used to distinguish among different launching mechanisms, we aim to search for and characterize the responses of the UFO properties to the variable irradiating luminosity. We performed a high-resolution spectroscopy of archival XMM-Newton observations on six highly-accreting NLS1 galaxies. The state-of-the-art methods of the blind Gaussian line scan and photoionization model scan are used to identify UFO solutions. We search for ionized winds and investigate the structure of ionized winds and their responses to the luminosity variations. The powerful photoionization model scan reveals three previously unreported UFOs in RE J1034+396, PG 1244+026 and I ZW 1, and two new WAs in RE J1034+396. The entrained UFOs are discovered in 4 (66%) AGN, supporting the shocked outflow interpretation for AGN ionized winds. 2 out of 7 (28%) UFOs seem to respond to the continuum and 3 (43%) UFOs hint at a radiatively accelerated nature. Combined with published works, we do not find any correlations between UFO responses and AGN properties except for a tentative ($\sim1.8\sigma$) anti-correlation between the UFO acceleration and the Eddington ratio, to be confirmed by further observations and an enlarged sample. The kinetic energy of UFOs, mostly detected in soft X-rays, is found to have a large uncertainty. We, therefore, cannot conclude whether soft X-ray UFOs have sufficient energy to drive the AGN feedback, although they are very promising based on some reasonable assumptions.


title: MacBehaviour: An R package for behavioural experimentation on large language models

abstract: There has been increasing interest in investigating the behaviours of large language models (LLMs) and LLM-powered chatbots by treating an LLM as a participant in a psychological experiment. We therefore developed an R package called "MacBehaviour" that aims to interact with more than 60 language models in one package (e.g., OpenAI's GPT family, the Claude family, Gemini, Llama family, and open-source models) and streamline the experimental process of LLMs behaviour experiments. The package offers a comprehensive set of functions designed for LLM experiments, covering experiment design, stimuli presentation, model behaviour manipulation, logging response and token probability. To demonstrate the utility and effectiveness of "MacBehaviour," we conducted three validation experiments on three LLMs (GPT-3.5, Llama-2 7B, and Vicuna-1.5 13B) to replicate sound-gender association in LLMs. The results consistently showed that they exhibit human-like tendencies to infer gender from novel personal names based on their phonology, as previously demonstrated (Cai et al., 2023). In summary, "MacBehaviour" is an R package for machine behaviour studies which offers a user-friendly interface and comprehensive features to simplify and standardize the experimental process.


title: Oedipus: LLM-enchanced Reasoning CAPTCHA Solver

abstract: CAPTCHAs have become a ubiquitous tool in safeguarding applications from automated bots. Over time, the arms race between CAPTCHA development and evasion techniques has led to increasingly sophisticated and diverse designs. The latest iteration, reasoning CAPTCHAs, exploits tasks that are intuitively simple for humans but challenging for conventional AI technologies, thereby enhancing security measures. Driven by the evolving AI capabilities, particularly the advancements in Large Language Models (LLMs), we investigate the potential of multimodal LLMs to solve modern reasoning CAPTCHAs. Our empirical analysis reveals that, despite their advanced reasoning capabilities, LLMs struggle to solve these CAPTCHAs effectively. In response, we introduce Oedipus, an innovative end-to-end framework for automated reasoning CAPTCHA solving. Central to this framework is a novel strategy that dissects the complex and human-easy-AI-hard tasks into a sequence of simpler and AI-easy steps. This is achieved through the development of a Domain Specific Language (DSL) for CAPTCHAs that guides LLMs in generating actionable sub-steps for each CAPTCHA challenge. The DSL is customized to ensure that each unit operation is a highly solvable subtask revealed in our previous empirical study. These sub-steps are then tackled sequentially using the Chain-of-Thought (CoT) methodology. Our evaluation shows that Oedipus effectively resolves the studied CAPTCHAs, achieving an average success rate of 63.5\%. Remarkably, it also shows adaptability to the most recent CAPTCHA designs introduced in late 2023, which are not included in our initial study. This prompts a discussion on future strategies for designing reasoning CAPTCHAs that can effectively counter advanced AI solutions.


title: Towards Subgraph Isomorphism Counting with Graph Kernels

abstract: Subgraph isomorphism counting is known as #P-complete and requires exponential time to find the accurate solution. Utilizing representation learning has been shown as a promising direction to represent substructures and approximate the solution. Graph kernels that implicitly capture the correlations among substructures in diverse graphs have exhibited great discriminative power in graph classification, so we pioneeringly investigate their potential in counting subgraph isomorphisms and further explore the augmentation of kernel capability through various variants, including polynomial and Gaussian kernels. Through comprehensive analysis, we enhance the graph kernels by incorporating neighborhood information. Finally, we present the results of extensive experiments to demonstrate the effectiveness of the enhanced graph kernels and discuss promising directions for future research.


title: Wafer-Scale Integration of Freestanding Photonic Devices with Color Centers in Silicon Carbide

abstract: Color center platforms have been at the forefront of quantum nanophotonics for applications in quantum networking, computing, and sensing. However, large-scale deployment of this technology has been stifled by a lack of ability to integrate photonic devices at scale while maintaining the properties of quantum emitters. We address this challenge in silicon carbide which has both commercially available wafer-scale substrates and is a host to color centers with desirable optical and spin properties. Using ion beam etching at an angle, we develop a 5-inch wafer process for the fabrication of triangular cross-section photonic devices in bulk 4H-SiC. The developed process has a variability in etch rate and etch angle of 5.4% and 2.9%, respectively. Furthermore, the integrated color centers maintain their optical properties after the etch, thus achieving the nanofabrication goal of wafer-scale nanofabrication in quantum-grade silicon carbide.


title: Distributed Quantum Computation with Minimum Circuit Execution Time over Quantum Networks

abstract: Present quantum computers are constrained by limited qubit capacity and restricted physical connectivity, leading to challenges in large-scale quantum computations. Distributing quantum computations across a network of quantum computers is a promising way to circumvent these challenges and facilitate large quantum computations. However, distributed quantum computations require entanglements (to execute remote gates) which can incur significant generation latency and, thus, lead to decoherence of qubits. In this work, we consider the problem of distributing quantum circuits across a quantum network to minimize the execution time. The problem entails mapping the circuit qubits to network memories, including within each computer since limited connectivity within computers can affect the circuit execution time. We provide two-step solutions for the above problem: In the first step, we allocate qubits to memories to minimize the estimated execution time; for this step, we design an efficient algorithm based on an approximation algorithm for the max-quadratic-assignment problem. In the second step, we determine an efficient execution scheme, including generating required entanglements with minimum latency under the network resource and decoherence constraints; for this step, we develop two algorithms with appropriate performance guarantees under certain settings or assumptions. We consider multiple protocols for executing remote gates, viz., telegates and cat-entanglements. With extensive simulations over NetSquid, a quantum network simulator, we demonstrate the effectiveness of our developed techniques and show that they outperform a scheme based on prior work by up to 95%.


title: PromptLink: Leveraging Large Language Models for Cross-Source Biomedical Concept Linking

abstract: Linking (aligning) biomedical concepts across diverse data sources enables various integrative analyses, but it is challenging due to the discrepancies in concept naming conventions. Various strategies have been developed to overcome this challenge, such as those based on string-matching rules, manually crafted thesauri, and machine learning models. However, these methods are constrained by limited prior biomedical knowledge and can hardly generalize beyond the limited amounts of rules, thesauri, or training samples. Recently, large language models (LLMs) have exhibited impressive results in diverse biomedical NLP tasks due to their unprecedentedly rich prior knowledge and strong zero-shot prediction abilities. However, LLMs suffer from issues including high costs, limited context length, and unreliable predictions. In this research, we propose PromptLink, a novel biomedical concept linking framework that leverages LLMs. It first employs a biomedical-specialized pre-trained language model to generate candidate concepts that can fit in the LLM context windows. Then it utilizes an LLM to link concepts through two-stage prompts, where the first-stage prompt aims to elicit the biomedical prior knowledge from the LLM for the concept linking task and the second-stage prompt enforces the LLM to reflect on its own predictions to further enhance their reliability. Empirical results on the concept linking task between two EHR datasets and an external biomedical KG demonstrate the effectiveness of PromptLink. Furthermore, PromptLink is a generic framework without reliance on additional prior knowledge, context, or training data, making it well-suited for concept linking across various types of data sources. The source code is available at https://github.com/constantjxyz/PromptLink.


title: Optimized Generation of Entanglement by Real-Time Ordering of Swapping Operations

abstract: Long-distance quantum communication in quantum networks faces significant challenges due to the constraints imposed by the no-cloning theorem. Most existing quantum communication protocols rely on the a priori distribution of entanglement pairs (EPs), a process known to incur considerable latency due to its stochastic nature. In this work, we consider the problem of minimizing the latency of establishing an EP across a pair of nodes in a quantum network. While prior research has primarily focused on minimizing the expected generation latency by selecting {\em static} entanglement routes and/or swapping trees in advance, our approach considers a real-time adaptive strategy -- wherein the order of entanglement-swapping operations (hence, the swapping tree used) is progressively determined at runtime based on the runtime success/failure of the stochastic events. In this context, we present a greedy algorithm that iteratively determines the best route and/or entanglement-swapping operation to perform at each stage based on the current network. We evaluate our schemes on randomly generated networks and observe a reduction in latency of up to 40% from the optimal offline approach.


title: Influence of Black Hole Kick Velocity on Microlensing Distributions

abstract: The natal kick velocity distribution for black holes (BHs) is unknown regardless of its importance for understanding the BH formation process. Gravitational microlensing is a unique tool for studying the distribution of BHs in our Galaxy, and the first isolated stellar-mass BH event, OGLE-2011-BLG-0462/MOA-2011-BLG-191 (OB110462), was recently identified by astrometric microlensing. This study investigates how the natal kick velocity for Galactic BHs affects the microlensing event rate distribution. We consider a Maxwell distribution with various average kick velocities, as well as the consequent variation of the spatial distribution of BHs. We find that the event rate for the BH lenses toward the Galactic bulge decreases as $v_{\rm avg}$ increases, mainly due to the scale height inflation. We focus on the unique microlensing parameters measured for OB110462, with microlens parallax $\pi_{\rm E}$ larger than 0.06 for its long timescale of $t_{\rm E} > 200~$ days. We calculate the expected number of BH events occurring with parameters similar to OB110462 during the OGLE-IV survey by Mr\'oz et al. (2017, 2019) and compare it with the actual number that occurred, at least one. Our fiducial model predicts 0.26, 0.19, 0.095, 0.020, and $1.8 \times 10^{-3}$ events occurring for $v_{\rm avg} =$ 25 km/sec, 50 km/sec, 100 km/sec, 200 km/sec, and 400 km/sec, respectively, which suggests that the average kick velocity is likely to be $v_{\rm avg} \lesssim 100~{\rm km/sec}$. The expected number smaller than unity even at maximum might indicate our luckiness of finding OB110462, which can be tested with future surveys by e.g. the Roman space telescope.


title: Consistency Policy: Accelerated Visuomotor Policies via Consistency Distillation

abstract: Many robotic systems, such as mobile manipulators or quadrotors, cannot be equipped with high-end GPUs due to space, weight, and power constraints. These constraints prevent these systems from leveraging recent developments in visuomotor policy architectures that require high-end GPUs to achieve fast policy inference. In this paper, we propose Consistency Policy, a faster and similarly powerful alternative to Diffusion Policy for learning visuomotor robot control. By virtue of its fast inference speed, Consistency Policy can enable low latency decision making in resource-constrained robotic setups. A Consistency Policy is distilled from a pretrained Diffusion Policy by enforcing self-consistency along the Diffusion Policy's learned trajectories. We compare Consistency Policy with Diffusion Policy and other related speed-up methods across 6 simulation tasks as well as two real-world tasks where we demonstrate inference on a laptop GPU. For all these tasks, Consistency Policy speeds up inference by an order of magnitude compared to the fastest alternative method and maintains competitive success rates. We also show that the Conistency Policy training procedure is robust to the pretrained Diffusion Policy's quality, a useful result that helps practioners avoid extensive testing of the pretrained model. Key design decisions that enabled this performance are the choice of consistency objective, reduced initial sample variance, and the choice of preset chaining steps. Code and training details will be released publicly.


title: Hierarchical inference of evidence using posterior samples

abstract: The Bayesian evidence, crucial ingredient for model selection, is arguably the most important quantity in Bayesian data analysis: at the same time, however, it is also one of the most difficult to compute. In this paper we present a hierarchical method that leverages on a multivariate normalised approximant for the posterior probability density to infer the evidence for a model in a hierarchical fashion using a set of posterior samples drawn using an arbitrary sampling scheme.


title: A cyclic proof system for Guarded Kleene Algebra with Tests (full version)

abstract: Guarded Kleene Algebra with Tests (GKAT for short) is an efficient fragment of Kleene Algebra with Tests, suitable for reasoning about simple imperative while-programs. Following earlier work by Das and Pous on Kleene Algebra, we study GKAT from a proof-theoretical perspective. The deterministic nature of GKAT allows for a non-well-founded sequent system whose set of regular proofs is complete with respect to the guarded language model. This is unlike the situation with Kleene Algebra, where hypersequents are required. Moreover, the decision procedure induced by proof search runs in NLOGSPACE, whereas that of Kleene Algebra is in PSPACE.


title: Chronoblox: Chronophotographic Sequential Graph Visualization

abstract: We introduce Chronoblox, a system for visualizing dynamic graphs. Chronoblox consists of a chronophotography of a sequence of graph snapshots based on a single embedding space common to all time periods. The goal of Chronoblox is to project all snapshots onto a common visualization space so as to represent both local and global dynamics at a glance. In this short paper, we review both the embedding and spatialization strategies. We then explain the way in which Chronoblox translates micro to meso structural evolution visually. We finally evaluate our approach using a synthetic network before illustrating it on a real world retweet network.


title: A frequency-domain enhanced multi-view network for metal fatigue life prediction

abstract: Fatigue damages and failure widely exist in engineering structures. However, predicting fatigue life for various structural materials subjected to multiaxial loading paths remains a challenging problem. A novel multi-view deep learning model incorporating frequency-domain analysis for fatigue life prediction is proposed. The model consists of two main analytical components: one for analyzing multiaxial fatigue loading paths and the other for examining the mechanical properties of materials and specimen geometrical characteristics. In the module analyzing multiaxial fatigue loading paths, convolutional neural network (CNN), long short-term memory network (LSTM), and FNet are connected in parallel to extract features individually. Features of materials and specimens are extracted through fully connected neural networks (FCNNs). Subsequently, the features from these two parts are thoroughly integrated based on attention mechanisms, and connected to multiple FCNNs to accomplish fatigue life prediction. A fatigue experimental database comprising 557 samples, spanning 46 multiaxial loading paths and 19 metal materials, has been established for model training and testing. Additionally, 6 materials were respectively used as test sets to evaluate the extrapolation ability of the model. The results suggest that the proposed model exhibits robust predictive performance and extrapolation capabilities. We anticipate that the multi-view approach, along with its accuracy and applicability, can provide an unparalleled alternative for researchers in the field of engineering fatigue and beyond.


title: Revealing the value of Repository Centrality in lifespan prediction of Open Source Software Projects

abstract: Background: Open Source Software is the building block of modern software. However, the prevalence of project deprecation in the open source world weakens the integrity of the downstream systems and the broad ecosystem. Therefore it calls for efforts in monitoring and predicting project deprecations, empowering stakeholders to take proactive measures. Challenge: Existing techniques mainly focus on static features on a point in time to make predictions, resulting in limited effects. Goal: We propose a novel metric from the user-repository network, and leverage the metric to fit project deprecation predictors and prove its real-life implications. Method: We establish a comprehensive dataset containing 103,354 non-fork GitHub OSS projects spanning from 2011 to 2023. We propose repository centrality, a family of HITS weights that captures shifts in the popularity of a repository in the repository-user star network. Further with the metric, we utilize the advancements in gradient boosting and deep learning to fit survival analysis models to predict project lifespan or its survival hazard. Results: Our study reveals a correlation between the HITS centrality metrics and the repository deprecation risk. A drop in the HITS weights of a repository indicates a decline in its centrality and prevalence, leading to an increase in its deprecation risk and a decrease in its expected lifespan. Our predictive models powered by repository centrality and other repository features achieve satisfactory accuracy on the test set, with repository centrality being the most significant feature among all. Implications: This research offers a novel perspective on understanding the effect of prevalence on the deprecation of OSS repositories. Our approach to predict repository deprecation help detect health status of project and take actions in advance, fostering a more resilient OSS ecosystem.


title: RESTAD: REconstruction and Similarity based Transformer for time series Anomaly Detection

abstract: Anomaly detection in time series data is crucial across various domains. The scarcity of labeled data for such tasks has increased the attention towards unsupervised learning methods. These approaches, often relying solely on reconstruction error, typically fail to detect subtle anomalies in complex datasets. To address this, we introduce RESTAD, an adaptation of the Transformer model by incorporating a layer of Radial Basis Function (RBF) neurons within its architecture. This layer fits a non-parametric density in the latent representation, such that a high RBF output indicates similarity with predominantly normal training data. RESTAD integrates the RBF similarity scores with the reconstruction errors to increase sensitivity to anomalies. Our empirical evaluations demonstrate that RESTAD outperforms various established baselines across multiple benchmark datasets.


title: PeRFlow: Piecewise Rectified Flow as Universal Plug-and-Play Accelerator

abstract: We present Piecewise Rectified Flow (PeRFlow), a flow-based method for accelerating diffusion models. PeRFlow divides the sampling process of generative flows into several time windows and straightens the trajectories in each interval via the reflow operation, thereby approaching piecewise linear flows. PeRFlow achieves superior performance in a few-step generation. Moreover, through dedicated parameterizations, the PeRFlow models inherit knowledge from the pretrained diffusion models. Thus, the training converges fast and the obtained models show advantageous transfer ability, serving as universal plug-and-play accelerators that are compatible with various workflows based on the pre-trained diffusion models. Codes for training and inference are publicly released. https://github.com/magic-research/piecewise-rectified-flow


title: Bifurcation analysis of the problem of a "rubber" ellipsoid of revolution rolling on a plane

abstract: This paper is concerned with the problem of an ellipsoid of revolution rolling on a horizontal plane under the assumption that there is no slipping at the point of contact and no spinning about the vertical. A reduction of the equations of motion to a fixed level set of first integrals is performed. Permanent rotations corresponding to the rolling of an ellipsoid in a circle or in a straight line are found. A linear stability analysis of permanent rotations is carried out. A complete classification of possible trajectories of the reduced system is performed using a bifurcation analysis. A classification of the trajectories of the center of mass of the ellipsoid depending on parameter values and initial conditions is performed.


title: Separation axiom $S_3$ for geodesic convexity in graphs

abstract: Semispaces of a convexity space $(X,C)$ are maximal convex sets missing a point. The separation axiom $S_3$ asserts that any point $x_0\in X$ and any convex set $A$ not containing $x_0$ can be separated by complementary halfspaces (convex sets with convex complements) or, equivalently, that all semispaces are halfspaces. In this paper, we study $S_3$ for geodesic convexity in graphs and the structure of semispaces in $S_3$-graphs. We characterize $S_3$-graphs and their semispaces in terms of separation by halfspaces of vertices $x_0$ and special sets, called maximal $x_0$-proximal sets and in terms of convexity of their mutual shadows $x_0/K$ and $K/x_0$. In $S_3$-graphs $G$ satisfying the triangle condition (TC), maximal proximal sets are the pre-maximal cliques of $G$ (i.e., cliques $K$ such that $K\cup\{ x_0\}$ are maximal cliques). This allows to characterize the $S_3$-graphs satisfying (TC) in a structural way and to enumerate their semispaces efficiently. In case of meshed graphs (an important subclass of graphs satisfying (TC)), the $S_3$-graphs have been characterized by excluding five forbidden subgraphs. On the way of proving this result, we also establish some properties of meshed graphs, which maybe of independent interest. In particular, we show that any connected, locally-convex set of a meshed graph is convex. We also provide several examples of $S_3$-graphs, including the basis graphs of matroids. Finally, we consider the (NP-complete) halfspace separation problem, describe two methods of its solution, and apply them to particular classes of graphs and graph-convexities.


title: Fine-tuning the SwissBERT Encoder Model for Embedding Sentences and Documents

abstract: Encoder models trained for the embedding of sentences or short documents have proven useful for tasks such as semantic search and topic modeling. In this paper, we present a version of the SwissBERT encoder model that we specifically fine-tuned for this purpose. SwissBERT contains language adapters for the four national languages of Switzerland -- German, French, Italian, and Romansh -- and has been pre-trained on a large number of news articles in those languages. Using contrastive learning based on a subset of these articles, we trained a fine-tuned version, which we call SentenceSwissBERT. Multilingual experiments on document retrieval and text classification in a Switzerland-specific setting show that SentenceSwissBERT surpasses the accuracy of the original SwissBERT model and of a comparable baseline. The model is openly available for research use.


title: KMT-2023-BLG-1866Lb: Microlensing super-Earth around an M dwarf host

abstract: We investigate the nature of the short-term anomaly that appears in the lensing light curve of KMT-2023-BLG-1866. The anomaly was only partly covered due to its short duration, less than a day, coupled with cloudy weather conditions and restricted nighttime duration. Considering intricacy of interpreting partially covered signals, we thoroughly explore all potential degenerate solutions. Through this process, we identify three planetary scenarios that equally well account for the observed anomaly. These scenarios are characterized by the specific planetary parameters: $(s, q)_{\rm inner} = [0.9740 \pm 0.0083, (2.46 \pm 1.07) \times 10^{-5}]$, $(s, q)_{\rm intermediate} = [0.9779 \pm 0.0017, (1.56 \pm 0.25)\times 10^{-5}]$, and $(s, q)_{\rm outer} = [0.9894 \pm 0.0107, (2.31 \pm 1.29)\times 10^{-5}]$, where $s$ and $q$ denote the projected separation (scaled to the Einstein radius) and mass ratio between the planet and its host, respectively. We identify that the ambiguity between the inner and outer solutions stems from the inner-outer degeneracy, while the similarity between the intermediate solution and the others is due to an accidental degeneracy caused by incomplete anomaly coverage. Through Bayesian analysis utilizing the constraints derived from measured lensing observables and blending flux, our estimation indicates that the lens system comprises a very low-mass planet orbiting an early M-type star situated approximately (6.2 -- 6.5)~kpc from Earth in terms of median posterior values for the different solutions. The median mass of the planet host is in the range of (0.48 -- 0.51)~$M_\odot$, and that of the planet's mass spans a range of (2.6 -- 4.0)~$M_{\rm E}$, varying across different solutions. The detection of KMT-2023-BLG-1866Lb signifies the extension of the lensing surveys to very low-mass planets that have been difficult to be detected from earlier surveys.


title: OpenBot-Fleet: A System for Collective Learning with Real Robots

abstract: We introduce OpenBot-Fleet, a comprehensive open-source cloud robotics system for navigation. OpenBot-Fleet uses smartphones for sensing, local compute and communication, Google Firebase for secure cloud storage and off-board compute, and a robust yet low-cost wheeled robot toact in real-world environments. The robots collect task data and upload it to the cloud where navigation policies can be learned either offline or online and can then be sent back to the robot fleet. In our experiments we distribute 72 robots to a crowd of workers who operate them in homes, and show that OpenBot-Fleet can learn robust navigation policies that generalize to unseen homes with >80% success rate. OpenBot-Fleet represents a significant step forward in cloud robotics, making it possible to deploy large continually learning robot fleets in a cost-effective and scalable manner. All materials can be found at https://www.openbot.org. A video is available at https://youtu.be/wiv2oaDgDi8


title: Support-Query Prototype Fusion Network for Few-shot Medical Image Segmentation

abstract: In recent years, deep learning based on Convolutional Neural Networks (CNNs) has achieved remarkable success in many applications. However, their heavy reliance on extensive labeled data and limited generalization ability to unseen classes pose challenges to their suitability for medical image processing tasks. Few-shot learning, which utilizes a small amount of labeled data to generalize to unseen classes, has emerged as a critical research area, attracting substantial attention. Currently, most studies employ a prototype-based approach, in which prototypical networks are used to construct prototypes from the support set, guiding the processing of the query set to obtain the final results. While effective, this approach heavily relies on the support set while neglecting the query set, resulting in notable disparities within the model classes. To mitigate this drawback, we propose a novel Support-Query Prototype Fusion Network (SQPFNet). SQPFNet initially generates several support prototypes for the foreground areas of the support images, thus producing a coarse segmentation mask. Subsequently, a query prototype is constructed based on the coarse segmentation mask, additionally exploiting pattern information in the query set. Thus, SQPFNet constructs high-quality support-query fused prototypes, upon which the query image is segmented to obtain the final refined query mask. Evaluation results on two public datasets, SABS and CMR, show that SQPFNet achieves state-of-the-art performance.


title: Side-polished Silica-Fluoride Multimode Fibre Pump Combiner for Mid-IR Fibre Lasers and Amplifiers

abstract: Side-pumping fibre combiners offer several advantages in fibre laser design, including distributed pump absorption, reduced heat load, and improved flexibility and reliability. These benefits are particularly important for all-fibre lasers and amplifiers operating in the mid-IR wavelength range and based on soft-glass optical fibres. However, conventional fabrication methods face limitations due to significant differences in the thermal properties of pump-delivering silica fibres and signal-guiding fluoride-based fibres. To address these challenges, this work introduces a design for a fuse-less side-polished (D-shaped) fibre-based pump combiner comprising multimode silica and double-clad fluoride-based fibres. The results demonstrate stable coupling efficiency exceeding 80% at a 980-nm wavelength over 8 hours of continuous operation under active thermal control. The developed pump combiner has also been successfully integrated into a linear Er-doped fibre laser cavity, showing continuous-wave generation at 2731 or 2781-nm central wavelength with an output power of 0.87 W. Overall, this innovative approach presents a simple, repeatable, and reproducible pump combiner design that opens up new possibilities for leveraging fibre-based component technology in soft glass matrices and other emerging fibres with unique compositions.


title: SambaNova SN40L: Scaling the AI Memory Wall with Dataflow and Composition of Experts

abstract: Monolithic large language models (LLMs) like GPT-4 have paved the way for modern generative AI applications. Training, serving, and maintaining monolithic LLMs at scale, however, remains prohibitively expensive and challenging. The disproportionate increase in compute-to-memory ratio of modern AI accelerators have created a memory wall, necessitating new methods to deploy AI. Composition of Experts (CoE) is an alternative modular approach that lowers the cost and complexity of training and serving. However, this approach presents two key challenges when using conventional hardware: (1) without fused operations, smaller models have lower operational intensity, which makes high utilization more challenging to achieve; and (2) hosting a large number of models can be either prohibitively expensive or slow when dynamically switching between them. In this paper, we describe how combining CoE, streaming dataflow, and a three-tier memory system scales the AI memory wall. We describe Samba-CoE, a CoE system with 150 experts and a trillion total parameters. We deploy Samba-CoE on the SambaNova SN40L Reconfigurable Dataflow Unit (RDU) - a commercial dataflow accelerator architecture that has been co-designed for enterprise inference and training applications. The chip introduces a new three-tier memory system with on-chip distributed SRAM, on-package HBM, and off-package DDR DRAM. A dedicated inter-RDU network enables scaling up and out over multiple sockets. We demonstrate speedups ranging from 2x to 13x on various benchmarks running on eight RDU sockets compared with an unfused baseline. We show that for CoE inference deployments, the 8-socket RDU Node reduces machine footprint by up to 19x, speeds up model switching time by 15x to 31x, and achieves an overall speedup of 3.7x over a DGX H100 and 6.6x over a DGX A100.


title: Stability equivalence for stochastic differential equations, stochastic differential delay equations and their corresponding Euler-Maruyama methods in $G$-framework

abstract: In this paper, we investigate the stability equivalence problem for stochastic differential delay equations, the auxiliary stochastic differential equations and their corresponding Euler-Maruyama (EM) methods under $G$-framework. More precisely, for $p\geq 2$, we prove the equivalence of practical exponential stability in $p$-th moment sense among stochastic differential delay equations driven by $G$-Brownian motion ($G$-SDDEs), the auxiliary stochastic differential equations driven by $G$-Brownian motion ($G$-SDEs), and their corresponding Euler-Maruyama methods, provided the delay or the step size is small enough. Thus, we can carry out careful simulations to examine the practical exponential stability of the underlying $G$-SDDE or $G$-SDE under some reasonable assumptions.


title: Dehazing Remote Sensing and UAV Imagery: A Review of Deep Learning, Prior-based, and Hybrid Approaches

abstract: High-quality images are crucial in remote sensing and UAV applications, but atmospheric haze can severely degrade image quality, making image dehazing a critical research area. Since the introduction of deep convolutional neural networks, numerous approaches have been proposed, and even more have emerged with the development of vision transformers and contrastive/few-shot learning. Simultaneously, papers describing dehazing architectures applicable to various Remote Sensing (RS) domains are also being published. This review goes beyond the traditional focus on benchmarked haze datasets, as we also explore the application of dehazing techniques to remote sensing and UAV datasets, providing a comprehensive overview of both deep learning and prior-based approaches in these domains. We identify key challenges, including the lack of large-scale RS datasets and the need for more robust evaluation metrics, and outline potential solutions and future research directions to address them. This review is the first, to our knowledge, to provide comprehensive discussions on both existing and very recent dehazing approaches (as of 2024) on benchmarked and RS datasets, including UAV-based imagery.


title: Unified simulation platform for interference microscopy

abstract: Interferometric scattering microscopy is a powerful technique that enables various applications, such as mass photometry and particle tracking. Here we present a numerical toolbox to simulate images obtained in interferometric scattering, coherent bright-field, and dark-field microscopy. The scattered fields are calculated using a boundary element method, facilitating the simulation of arbitrary sample geometries and substrate layer structures. A fully vectorial model is used for simulating the imaging setup. We demonstrate excellent agreement between our simulations and experiments for different shapes of scatterers and excitation angles. Notably, for angles near the Brewster angle, we observe a contrast enhancement which may be beneficial for nanosensing applications. The software is available as a Matlab toolbox.


title: A new approach to Naples parking functions through complete parking preferences

abstract: Naples parking functions were introduced as a generalization of classical parking functions, in which cars are allowed to park backwards, by checking up to a fixed number of previous spots, before proceeding forward as usual. In this work we introduce the notion of a complete parking preference, through which we are able to give some information on the combinatorics of Naples parking functions. Roughly speaking, a complete parking preference is a parking preference such that, for any index $j$, there are more cars with preference at least $j$ than spots available from $j$ onward. We provide a characterization of Naples parking functions in terms of certain complete subsequences of them. As a consequence of this result we derive a characterization of permutation-invariant Naples parking functions which turns out to be equivalent to the one given by (Carvalho et al., 2021), but using a totally different approach (and language).


abstract: Colonoscopy is a common and practical method for detecting and treating polyps. Segmenting polyps from colonoscopy image is useful for diagnosis and surgery progress. Nevertheless, achieving excellent segmentation performance is still difficult because of polyp characteristics like shape, color, condition, and obvious non-distinction from the surrounding context. This work presents a new novel architecture namely Adaptation of Distinct Semantics for Uncertain Areas in Polyp Segmentation (ADSNet), which modifies misclassified details and recovers weak features having the ability to vanish and not be detected at the final stage. The architecture consists of a complementary trilateral decoder to produce an early global map. A continuous attention module modifies semantics of high-level features to analyze two separate semantics of the early global map. The suggested method is experienced on polyp benchmarks in learning ability and generalization ability, experimental results demonstrate the great correction and recovery ability leading to better segmentation performance compared to the other state of the art in the polyp image segmentation task. Especially, the proposed architecture could be experimented flexibly for other CNN-based encoders, Transformer-based encoders, and decoder backbones.


title: HybridHash: Hybrid Convolutional and Self-Attention Deep Hashing for Image Retrieval

abstract: Deep image hashing aims to map input images into simple binary hash codes via deep neural networks and thus enable effective large-scale image retrieval. Recently, hybrid networks that combine convolution and Transformer have achieved superior performance on various computer tasks and have attracted extensive attention from researchers. Nevertheless, the potential benefits of such hybrid networks in image retrieval still need to be verified. To this end, we propose a hybrid convolutional and self-attention deep hashing method known as HybridHash. Specifically, we propose a backbone network with stage-wise architecture in which the block aggregation function is introduced to achieve the effect of local self-attention and reduce the computational complexity. The interaction module has been elaborately designed to promote the communication of information between image blocks and to enhance the visual representations. We have conducted comprehensive experiments on three widely used datasets: CIFAR-10, NUS-WIDE and IMAGENET. The experimental results demonstrate that the method proposed in this paper has superior performance with respect to state-of-the-art deep hashing methods. Source code is available https://github.com/shuaichaochao/HybridHash.


title: Thermodynamical topology with multiple defect curves for dyonic AdS black holes

abstract: Dyonic black holes with quasitopological electromagnetism exhibit an intriguing phase diagram with two separated first-order coexistence curves. In this paper, we aim to uncover its influence on the black hole thermodynamical topology. At first, we investigate the phase transition and phase diagram of the dyonic black holes. Comparing with previous study that there is no black hole phase transition region for a middle pressure, we find this region can narrow or disappear by fine tuning the coupling parameter. Instead, two first-order phase transitions can be observed. Importantly, we uncover that such novel phase diagram shall lead to a multiple defect curve phenomenon in black hole topology where each dyonic black hole is treated as one defect in the thermodynamical parameter space. By examining the topology, it is shown that there could be one, three, or five black hole states for given pressure and temperature. For each case, the topological number is calculated. Our results show that the topological number always takes value of +1, keeping unchanged even when the multiple defect curves appear. Therefore, our study provides an important ingredient on understanding the black hole thermodynamical topology.


title: MS MARCO Web Search: a Large-scale Information-rich Web Dataset with Millions of Real Click Labels

abstract: Recent breakthroughs in large models have highlighted the critical significance of data scale, labels and modals. In this paper, we introduce MS MARCO Web Search, the first large-scale information-rich web dataset, featuring millions of real clicked query-document labels. This dataset closely mimics real-world web document and query distribution, provides rich information for various kinds of downstream tasks and encourages research in various areas, such as generic end-to-end neural indexer models, generic embedding models, and next generation information access system with large language models. MS MARCO Web Search offers a retrieval benchmark with three web retrieval challenge tasks that demand innovations in both machine learning and information retrieval system research domains. As the first dataset that meets large, real and rich data requirements, MS MARCO Web Search paves the way for future advancements in AI and system research. MS MARCO Web Search dataset is available at: https://github.com/microsoft/MS-MARCO-Web-Search.


title: Train Faster, Perform Better: Modular Adaptive Training in Over-Parameterized Models

abstract: Despite their prevalence in deep-learning communities, over-parameterized models convey high demands of computational costs for proper training. This work studies the fine-grained, modular-level learning dynamics of over-parameterized models to attain a more efficient and fruitful training strategy. Empirical evidence reveals that when scaling down into network modules, such as heads in self-attention models, we can observe varying learning patterns implicitly associated with each module's trainability. To describe such modular-level learning capabilities, we introduce a novel concept dubbed modular neural tangent kernel (mNTK), and we demonstrate that the quality of a module's learning is tightly associated with its mNTK's principal eigenvalue $\lambda_{\max}$. A large $\lambda_{\max}$ indicates that the module learns features with better convergence, while those miniature ones may impact generalization negatively. Inspired by the discovery, we propose a novel training strategy termed Modular Adaptive Training (MAT) to update those modules with their $\lambda_{\max}$ exceeding a dynamic threshold selectively, concentrating the model on learning common features and ignoring those inconsistent ones. Unlike most existing training schemes with a complete BP cycle across all network modules, MAT can significantly save computations by its partially-updating strategy and can further improve performance. Experiments show that MAT nearly halves the computational cost of model training and outperforms the accuracy of baselines.


title: Comparing Perceptions of Static and Adaptive Proactive Speech Agents

abstract: A growing literature on speech interruptions describes how people interrupt one another with speech, but these behaviours have not yet been implemented in the design of artificial agents which interrupt. Perceptions of a prototype proactive speech agent which adapts its speech to both urgency and to the difficulty of the ongoing task it interrupts are compared against perceptions of a static proactive agent which does not. The study hypothesises that adaptive proactive speech modelled on human speech interruptions will lead to partner models which consider the proactive agent as a stronger conversational partner than a static agent, and that interruptions initiated by an adaptive agent will be judged as better timed and more appropriately asked. These hypotheses are all rejected however, as quantitative analysis reveals that participants view the adaptive agent as a poorer dialogue partner than the static agent and as less appropriate in the style it interrupts. Qualitative analysis sheds light on the source of this surprising finding, as participants see the adaptive agent as less socially appropriate and as less consistent in its interactions than the static agent.


title: Intrinsic Orbital Origin for the Chirality-Dependent Nonlinear Planar Hall Effect of Topological Nodal Fermions in Chiral Crystals

abstract: Topological semimetals in chiral crystals, which possess both structural handedness and band crossings (or nodes) with topological chiral charge, exhibit many exotic physical properties. Here we demonstrate that the structural and electronic chirality of these systems can endow them with another fascinating phenomenon -- the intrinsic nonlinear planar Hall effect (INPHE), which is prominent around the nodes and reverses sign upon chirality reversal in opposite enantiomers. Taking chiral tellurium as an example, we reveal an intrinsic orbital mechanism, which manifests diverging orbital magnetic moments with hedgehog-like textures around nodes and, therefore, generates a dominant contribution to the INPHE that is proportional to the topological charge. Furthermore, we show that multifold fermions in topological chiral semimetals with B20 structures (e.g., CoSi and PtAl) induce a giant INPHE conductivity reaching the order of $1\sim 10\; \mathrm{A}\cdot\mathrm{V}^{-2}\cdot\mathrm{T}^{-1}$, which is detectable in experiments. Our study not only relates nonlinear transport to band topology and enantiomer recognition but also offers a new way to explore the exotic physical properties associated with unconventional chiral fermions.


title: Prompt-based Code Completion via Multi-Retrieval Augmented Generation

abstract: Automated code completion, aiming at generating subsequent tokens from unfinished code, has been significantly benefited from recent progress in pre-trained Large Language Models (LLMs). However, these models often suffer from coherence issues and hallucinations when dealing with complex code logic or extrapolating beyond their training data. Existing Retrieval Augmented Generation (RAG) techniques partially address these issues by retrieving relevant code with a separate encoding model where the retrieved snippet serves as contextual reference for code completion. However, their retrieval scope is subject to a singular perspective defined by the encoding model, which largely overlooks the complexity and diversity inherent in code semantics. To address this limitation, we propose ProCC, a code completion framework leveraging prompt engineering and the contextual multi-armed bandits algorithm to flexibly incorporate and adapt to multiple perspectives of code. ProCC first employs a prompt-based multi-retriever system which crafts prompt templates to elicit LLM knowledge to understand code semantics with multiple retrieval perspectives. Then, it adopts the adaptive retrieval selection algorithm to incorporate code similarity into the decision-making process to determine the most suitable retrieval perspective for the LLM to complete the code. Experimental results demonstrate that ProCC outperforms state-of-the-art code completion technique by 8.6% on our collected open-source benchmark suite and 10.1% on the private-domain benchmark suite collected from a billion-user e-commerce company in terms of Exact Match. ProCC also allows augmenting fine-tuned techniques in a plug-and-play manner, yielding 5.6% improvement over our studied fine-tuned model.


title: Apparent and emergent dark matter around a Schwarzschild black hole

abstract: Inspired by the two different dark matter frameworks that were studied recently: one that arises from the non-local effects of entanglement entropy as emergent gravity (characterized by the parameter $\xi(M)$, and zero-point scale length $l$), and one from dark energy viewed as a superconducting medium (characterized by $\eta(M)$, and screening length parameter $\lambda_{\rm G}$), two black hole solutions spherically surrounded with these dark matter models were derived. The effect of these two frameworks on SMBH was analyzed through the resulting deviations in the null regions and the black hole shadow. In addition, constraints to the parameters $\xi$ and $\eta$ (at $3\sigma$ level) were found using the available EHT data for Sgr. A* and M87*. These constraints allow one to deduce the effective mass $M$, which causes uncertainties in the measurement. On the other hand, if the effective mass is known, one can also deduce the constants associated with $\xi$, and $\eta$. The former framework also introduces an Appell function, a hypergeometric function of two variables that separately allows the analysis of macroscopic and (hypothetical) microscopic black holes. This first framework was found to decrease the radii of the null regions respective to the Schwarzschild counterpart. The shadow radius, however, behaves reversibly. The result of the numerical analysis for the latter framework revealed increased values for the photonsphere and shadow radii. Remarkably, the study also showed that for SMBHs, the amplifying effects of $\lambda_{\rm G}$ are stronger than the scale length $l$. Finally, results of constraints, as an example, for the upper bound in $\xi$ for M87* indicated that the effective mass causing the deviation was around $2.4\times 10^{20} M_{\odot}$ given that the observed Milgrom's constant is $5.4\times 10^{-10} \text{ m/s}^2$.


title: Equator to Pole Solar Chromospheric Differential Rotation using Ca-K Features Derived from Kodaikanal Data

abstract: Differential rotation is one of the basic characteristics of the Sun, and it plays an important role in generating the magnetic fields and its activities. We investigated rotation rate using chromospheric features such as plages, enhanced network, active network, and quiet network separately (for the first time). The digitized Ca-K images from Kodaikanal Observatory for 1907-1996 are used to study rotation over 0-80 degrees latitudes at an interval of 10$^{\circ}$ . We find that plages and all types of networks exhibit the differential rotation of the chromosphere. Furthermore, the rotation rate shows a decreasing pattern as one move from the equator to the higher polar latitudes for all the features used in the study. By analyzing how the area of chromospheric features varies over time, we can effectively map the Sun's rotation rate at all latitudes, including the polar regions. Interestingly, both plages and small-scale networks exhibit similar differential rotation rate. This suggests these features likely rooted at the same layer below the visible surface of the Sun. Therefore, the long-term Ca-K data is very useful to study the solar rotation rate at all latitudes including the polar regions.


title: DID Link: Authentication in TLS with Decentralized Identifiers and Verifiable Credentials

abstract: Authentication in TLS is predominately carried out with X.509 digital certificates issued by certificate authorities (CA). The centralized nature of current public key infrastructures, however, comes along with severe risks, such as single points of failure and susceptibility to cyber-attacks, potentially undermining the security and trustworthiness of the entire system. With Decentralized Identifiers (DID) alongside distributed ledger technology, it becomes technically feasible to prove ownership of a unique identifier without requiring an attestation of the proof's public key by a centralized and therefore vulnerable CA. This article presents DID Link, a novel authentication scheme for TLS 1.3 that empowers entities to authenticate in a TLS-compliant way with self-issued X.509 certificates that are equipped with ledger-anchored DIDs instead of CA-issued identifiers. It facilitates the exchange of tamper-proof and 3rd-party attested claims in the form of DID-bound Verifiable Credentials after the TLS handshake to complete the authentication with a full identification of the communication partner. A prototypical implementation shows comparable TLS handshake durations of DID Link if verification material is cached and reasonable prolongations if it is obtained from a ledger. The significant speed improvement of the resulting TLS channel over a widely used, DID-based alternative transport protocol on the application layer demonstrates the potential of DID Link to become a viable solution for the establishment of secure and trustful end-to-end communication links with decentrally managed digital identities.


title: BharatBench: Dataset for data-driven weather forecasting over India

abstract: Advanced weather and climate models use numerical techniques on grided meshes to simulate atmospheric and ocean dynamics, which are computationally expensive. Data-driven approaches are gaining popularity in weather and climate modeling, with a broad scope of applications. Although Machine Learning (ML) has been employed in this domain, significant progress has occurred in the past decade, leading to ML applications that are now competitive with traditional numerical methods. This study presents a user-friendly dataset for data-driven medium-range weather forecasting focused on India. The dataset is derived from IMDAA reanalysis datasets and optimized for ML applications. The study provides clear evaluation metrics and a few baseline scores from simple linear regression techniques and deep learning models. The dataset can be found at https://www.kaggle.com/datasets/maslab/bharatbench, while the codes are available at https://github.com/MASLABnitrkl/BharatBench. We hope this dataset will boost data-driven weather forecasting over India. We also address limitations in the current evaluation process and future challenges in data-driven weather forecasting.


title: A study of layered holographic superconductor

abstract: We have investigated a holographic model of a multi-layered superconductor in (2+1)-dimensions using the AdS/CFT correspondence. This correspondence allows us to study strongly interacting condensed matter systems through a weakly interacting gravitational theory. Our study focused on the effects of a finite system size on the superconductor's properties. We observed significant variations in the critical temperature and critical magnetic field depending on the number of layers and the spacing between them. Notably, our results capture the transition from a two-dimensional (2D) to a three-dimensional (3D) behavior in the limit of a large number of closely spaced layers. This transition signifies a change in how the superconductivity operates within real material.


title: Multi-AUV Kinematic Task Assignment based on Self-organizing Map Neural Network and Dubins Path Generator

abstract: To deal with the task assignment problem of multi-AUV systems under kinematic constraints, which means steering capability constraints for underactuated AUVs or other vehicles likely, an improved task assignment algorithm is proposed combining the Dubins Path algorithm with improved SOM neural network algorithm. At first, the aimed tasks are assigned to the AUVs by improved SOM neural network method based on workload balance and neighborhood function. When there exists kinematic constraints or obstacles which may cause failure of trajectory planning, task re-assignment will be implemented by change the weights of SOM neurals, until the AUVs can have paths to reach all the targets. Then, the Dubins paths are generated in several limited cases. AUV's yaw angle is limited, which result in new assignments to the targets. Computation flow is designed so that the algorithm in MATLAB and Python can realizes the path planning to multiple targets. Finally, simulation results prove that the proposed algorithm can effectively accomplish the task assignment task for multi-AUV system.


title: Probabilistic Rounding Error Analysis From A Statistical Perspective

abstract: The conventional probabilistic rounding error analysis in numerical linear algebra provides worst-case bounds with an associated failure probability, which can still be pessimistic. In this paper, we develop a new probabilistic rounding error analysis from a statistical perspective. By assuming both the data and the relative error are independent random variables, we derive the approximate closed-form expressions for the expectation and variance of the rounding errors in various key computational kernels. Our analytical expressions have three notable characteristics: they are statistical and do not involve a failure probability; they are sharper than other deterministic and probabilistic bounds, using mean square error as the metric; they are correct to all orders of unit roundoff and valid for any dimension. Furthermore, numerical experiments validate the accuracy of our derivations and demonstrate that our analytical expressions are generally at least two orders of magnitude tighter than alternative worst-case bounds, exemplified through the inner products. We also discuss a scenario involving inner products where the underlying assumptions are invalid, i.e., input data are dependent, rendering the analytical expressions inapplicable.


title: Mirroring the Parking Target: An Optimal-Control-Based Parking Motion Planner with Strengthened Parking Reliability and Faster Parking Completion

abstract: Automated Parking Assist (APA) systems are now facing great challenges of low adoption in applications, due to users' concerns about parking capability, reliability, and completion efficiency. To upgrade the conventional APA planners and enhance user's acceptance, this research proposes an optimal-control-based parking motion planner. Its highlight lies in its control logic: planning trajectories by mirroring the parking target. This method enables: i) parking capability in narrow spaces; ii) better parking reliability by expanding Operation Design Domain (ODD); iii) faster completion of parking process; iv) enhanced computational efficiency; v) universal to all types of parking. A comprehensive evaluation is conducted. Results demonstrate the proposed planner does enhance parking success rate by 40.6%, improve parking completion efficiency by 18.0%, and expand ODD by 86.1%. It shows its superiority in difficult parking cases, such as the parallel parking scenario and narrow spaces. Moreover, the average computation time of the proposed planner is 74 milliseconds. Results indicate that the proposed planner is ready for real-time commercial applications.


title: Intrinsic Langevin dynamics of rigid inclusions on curved surfaces

abstract: The stochastic dynamics of a rigid inclusion constrained to move on a curved surface has many applications in biological and soft matter physics, ranging from the diffusion of passive or active membrane proteins to the motion of phoretic particles on liquid-liquid interfaces. Here we construct intrinsic Langevin equations for an oriented rigid inclusion on a curved surface using Cartan's method of moving frames. We first derive the Hamiltonian equations of motion for the translational and rotational momenta in the body frame. Surprisingly, surface curvature couples the linear and angular momenta of the inclusion. We then add to the Hamiltonian equations linear friction, white noise and arbitrary configuration-dependent forces and torques to obtain intrinsic Langevin equations of motion in phase space. We provide the integrability conditions, made non-trivial by surface curvature, for the forces and torques to admit a potential, thus distinguishing between passive and active stochastic motion. We derive the corresponding Fokker-Planck equation in geometric form and obtain fluctuation-dissipation relations that ensure Gibbsian equilibrium. We extract the overdamped equations of motion by adiabatically eliminating the momenta from the Fokker-Planck equation, showing how a peculiar cancellation leads to the naively expected Smoluchowski limit. The overdamped equations can be used for accurate and efficient intrinsic Brownian dynamics simulations of passive, driven and active diffusion processes on curved surfaces. Our work generalises to the collective dynamics of many inclusions on curved surfaces.

categories: cond-mat.soft cond-mat.stat-mech math.DG math.PR


title: Theory of cell aggregates as interacting, spinning, active polar particles

abstract: We discuss a generic description of the dynamics of cell aggregates. We describe cells as polar rotating objects which mechanically interact with each other and with the surrounding medium. We use the framework of non-equilibrium thermodynamics to derive generic constitutive equations for the interaction forces, torques and polarity dynamics. We apply our framework to discuss spontaneous motion of cell doublets. We find a rich phase diagram of possible collective motion, including steady rotation arising from flow-polarity coupling or coupling of polarity with cell position.


title: Random walk model that universally generates inverse square L\'evy walk by eliminating search cost minimization constraint

abstract: The L\'evy walk, a type of random walk characterized by linear step lengths that follow a power-law distribution, is observed in the migratory behaviors of various organisms, ranging from bacteria to humans. Notably, L\'evy walks with power exponents close to two are frequently observed, though their underlying causes remain elusive. This study introduces a simplified, abstract random walk model designed to produce inverse square L\'evy walks, also known as Cauchy walks and explores the conditions that facilitate these phenomena. In our model, agents move toward a randomly selected destination in multi-dimensional space, and their movement strategy is parameterized by the extent to which they pursue the shortest path. When the search cost is proportional to the distance traveled, this parameter effectively reflects the emphasis on minimizing search costs. Our findings reveal that strict adherence to this cost minimization constraint results in a Brownian walk pattern. However, removing this constraint transitions the movement to an inverse square L\'evy walk. Therefore, by modulating the prioritization of search costs, our model can seamlessly alternate between Brownian and Cauchy walk dynamics. This model has the potential to be utilized for exploring the parameter space of an optimization problem.


title: EMS-SD: Efficient Multi-sample Speculative Decoding for Accelerating Large Language Models

abstract: Speculative decoding emerges as a pivotal technique for enhancing the inference speed of Large Language Models (LLMs). Despite recent research aiming to improve prediction efficiency, multi-sample speculative decoding has been overlooked due to varying numbers of accepted tokens within a batch in the verification phase. Vanilla method adds padding tokens in order to ensure that the number of new tokens remains consistent across samples. However, this increases the computational and memory access overhead, thereby reducing the speedup ratio. We propose a novel method that can resolve the issue of inconsistent tokens accepted by different samples without necessitating an increase in memory or computing overhead. Furthermore, our proposed method can handle the situation where the prediction tokens of different samples are inconsistent without the need to add padding tokens. Sufficient experiments demonstrate the efficacy of our method. Our code is available at https://github.com/niyunsheng/EMS-SD.


title: Accelerating the Evolution of Personalized Automated Lane Change through Lesson Learning

abstract: Personalization is crucial for the widespread adoption of advanced driver assistance system. To match up with each user's preference, the online evolution capability is a must. However, conventional evolution methods learn from naturalistic driving data, which requires a lot computing power and cannot be applied online. To address this challenge, this paper proposes a lesson learning approach: learning from driver's takeover interventions. By leveraging online takeover data, the driving zone is generated to ensure perceived safety using Gaussian discriminant analysis. Real-time corrections to trajectory planning rewards are enacted through apprenticeship learning. Guided by the objective of optimizing rewards within the constraints of the driving zone, this approach employs model predictive control for trajectory planning. This lesson learning framework is highlighted for its faster evolution capability, adeptness at experience accumulating, assurance of perceived safety, and computational efficiency. Simulation results demonstrate that the proposed system consistently achieves a successful customization without further takeover interventions. Accumulated experience yields a 24% enhancement in evolution efficiency. The average number of learning iterations is only 13.8. The average computation time is 0.08 seconds.


title: Automatic Odometry-Less OpenDRIVE Generation From Sparse Point Clouds

abstract: High-resolution road representations are a key factor for the success of (highly) automated driving functions. These representations, for example, high-definition (HD) maps, contain accurate information on a multitude of factors, among others: road geometry, lane information, and traffic signs. Through the growing complexity and functionality of automated driving functions, also the requirements on testing and evaluation grow continuously. This leads to an increasing interest in virtual test drives for evaluation purposes. As roads play a crucial role in traffic flow, accurate real-world representations are needed, especially when deriving realistic driving behavior data. This paper proposes a novel approach to generate realistic road representations based solely on point cloud information, independent of the LiDAR sensor, mounting position, and without the need for odometry data, multi-sensor fusion, machine learning, or highly-accurate calibration. As the primary use case is simulation, we use the OpenDRIVE format for evaluation.


title: Deviations from random matrix entanglement statistics for kicked quantum chaotic spin-$1/2$ chains

abstract: It is commonly expected that for quantum chaotic many body systems the statistical properties approach those of random matrices when increasing the system size. We demonstrate for various kicked spin-$1/2$ chain models that the average eigenstate entanglement indeed approaches the random matrix result. However, the distribution of the eigenstate entanglement differs significantly. While for autonomous systems such deviations are expected, they are surprising for the more scrambling kicked systems. We attribute the origin of the deviations to the local two-dimensional Hilbert spaces. This is also supported by similar deviations occurring in a local random matrix model with global diagonal coupling.


title: Dynamical systems of modified Gauss-Bonnet gravity: cosmological implications

abstract: In this paper, we derive the field equations of modified Gauss-Bonnet gravity termed as $f(R,G)$ gravity for the non-flat Friedmann-Robertson-Walker (FRW) spacetime. We utilize the dynamical system approach to study the cosmic dynamics of two different class of $f(R,G)$ models composed of radiation and matter (cold dark matter and baryonic matter). The linear perturbations around the fixed points are studied to explore the corresponding stability of points. The cosmological implications are studied in $f(R,G)=f_0R^nG^{1-n}$ and $f(R,G)=f_0R^\alpha+f_1G^\beta$ models to identify the qualitative evolution of universe with the flat-FRW spacetime. The qualitative differences between the considered class of models are discussed in detail. The fixed points corresponding to the late-time accelerated and radiation phase of the universe will exist in the model but, the existence of fixed point corresponding to the matter dominated phase will depend on the functional form of $f(R,G)$. Furthermore, the autonomous systems are utilized to study the cosmographic parameters along with the statefinder diagnostic.


title: Channel Coding Toward 6G: Technical Overview and Outlook

abstract: Channel coding plays a pivotal role in ensuring reliable communication over wireless channels. With the growing need for ultra-reliable communication in emerging wireless use cases, the significance of channel coding has amplified. Furthermore, minimizing decoding latency is crucial for critical-mission applications, while optimizing energy efficiency is paramount for mobile and the Internet of Things (IoT) communications. As the fifth generation (5G) of mobile communications is currently in operation and 5G-advanced is on the horizon, the objective of this paper is to assess prominent channel coding schemes in the context of recent advancements and the anticipated requirements for the sixth generation (6G). In this paper, after considering the potential impact of channel coding on key performance indicators (KPIs) of wireless networks, we review the evolution of mobile communication standards and the organizations involved in the standardization, from the first generation (1G) to the current 5G, highlighting the technologies integral to achieving targeted KPIs such as reliability, data rate, latency, energy efficiency, spectral efficiency, connection density, and traffic capacity. Following this, we delve into the anticipated requirements for potential use cases in 6G. The subsequent sections of the paper focus on a comprehensive review of three primary coding schemes utilized in past generations and their recent advancements: low-density parity-check (LDPC) codes, turbo codes (including convolutional codes), polar codes (alongside Reed-Muller codes). Additionally, we examine alternative coding schemes like Fountain codes and sparse regression codes. Our evaluation includes a comparative analysis of error correction performance and the performance of hardware implementation for these coding schemes, providing insights into their potential and suitability for the upcoming 6G era.


title: Existence of non-Abelian vortices in a coupled 4D-2D quantum field theory

abstract: Vortices produce locally concentrated field configurations and are solutions to the nonlinear partial differential equations systems of complicated structures. In this paper, we establish the existence and uniqueness for solutions of the gauged non-Abelian vortices in a coupled 4D-2D quantum field theory by researching the nonlinear elliptic equations systems with exponential terms in $\mathbb{R}^{2}$ using the calculus of variations. In addition, we obtain the asymptotic behavior of the solutions at infinity and the quantized integrals in $\mathbb{R}^{2}$.


title: On Joint Marginal Expected Shortfall and Associated Contribution Risk Measures

abstract: Systemic risk is the risk that a company- or industry-level risk could trigger a huge collapse of another or even the whole institution. Various systemic risk measures have been proposed in the literature to quantify the domino and (relative) spillover effects induced by systemic risks such as the well-known CoVaR, CoES, MES and CoD risk measures, and associated contribution measures. This paper proposes another new type of systemic risk measure, called the joint marginal expected shortfall (JMES), to measure whether the MES of one entity's risk-taking adds to another one or the overall risk conditioned on the event that the entity is already in some specified distress level. We further introduce two useful systemic risk contribution measures based on the difference function or relative ratio function of the JMES and the conventional ES, respectively. Some basic properties of these proposed measures are studied such as monotonicity, comonotonic additivity, non-identifiability and non-elicitability. For both risk measures and two different vectors of bivariate risks, we establish sufficient conditions imposed on copula structure, stress levels, and stochastic orders to compare these new measures. We further provide some numerical examples to illustrate our main findings. A real application in analyzing the risk contagion among several stock market indices is implemented to show the performances of our proposed measures compared with other commonly used measures including CoVaR, CoES, MES, and their associated contribution measures.


title: Wild Berry image dataset collected in Finnish forests and peatlands using drones

abstract: Berry picking has long-standing traditions in Finland, yet it is challenging and can potentially be dangerous. The integration of drones equipped with advanced imaging techniques represents a transformative leap forward, optimising harvests and promising sustainable practices. We propose WildBe, the first image dataset of wild berries captured in peatlands and under the canopy of Finnish forests using drones. Unlike previous and related datasets, WildBe includes new varieties of berries, such as bilberries, cloudberries, lingonberries, and crowberries, captured under severe light variations and in cluttered environments. WildBe features 3,516 images, including a total of 18,468 annotated bounding boxes. We carry out a comprehensive analysis of WildBe using six popular object detectors, assessing their effectiveness in berry detection across different forest regions and camera types. We will release WildBe publicly.


title: MuMath-Code: Combining Tool-Use Large Language Models with Multi-perspective Data Augmentation for Mathematical Reasoning

abstract: The tool-use Large Language Models (LLMs) that integrate with external Python interpreters have significantly enhanced mathematical reasoning capabilities for open-source LLMs, while tool-free methods chose another track: augmenting math reasoning data. However, a great method to integrate the above two research paths and combine their advantages remains to be explored. In this work, we firstly include new math questions via multi-perspective data augmenting methods and then synthesize code-nested solutions to them. The open LLMs (i.e., Llama-2) are finetuned on the augmented dataset to get the resulting models, MuMath-Code ($\mu$-Math-Code). During the inference phase, our MuMath-Code generates code and interacts with the external python interpreter to get the execution results. Therefore, MuMath-Code leverages the advantages of both the external tool and data augmentation. To fully leverage the advantages of our augmented data, we propose a two-stage training strategy: In Stage-1, we finetune Llama-2 on pure CoT data to get an intermediate model, which then is trained on the code-nested data in Stage-2 to get the resulting MuMath-Code. Our MuMath-Code-7B achieves 83.8 on GSM8K and 52.4 on MATH, while MuMath-Code-70B model achieves new state-of-the-art performance among open methods -- achieving 90.7% on GSM8K and 55.1% on MATH. Extensive experiments validate the combination of tool use and data augmentation, as well as our two-stage training strategy. We release the proposed dataset along with the associated code for public use.


title: Distributed High-Dimensional Quantile Regression: Estimation Efficiency and Support Recovery

abstract: In this paper, we focus on distributed estimation and support recovery for high-dimensional linear quantile regression. Quantile regression is a popular alternative tool to the least squares regression for robustness against outliers and data heterogeneity. However, the non-smoothness of the check loss function poses big challenges to both computation and theory in the distributed setting. To tackle these problems, we transform the original quantile regression into the least-squares optimization. By applying a double-smoothing approach, we extend a previous Newton-type distributed approach without the restrictive independent assumption between the error term and covariates. An efficient algorithm is developed, which enjoys high computation and communication efficiency. Theoretically, the proposed distributed estimator achieves a near-oracle convergence rate and high support recovery accuracy after a constant number of iterations. Extensive experiments on synthetic examples and a real data application further demonstrate the effectiveness of the proposed method.


title: Space Domain based Ecological Cooperative and Adaptive Cruise Control on Rolling Terrain

abstract: Ecological Cooperative and Adaptive Cruise Control (Eco-CACC) is widely focused to enhance sustainability of CACC. However, state-of-the-art Eco-CACC studies are still facing challenges in adopting on rolling terrain. Furthermore, they cannot ensure both ecology optimality and computational efficiency. Hence, this paper proposes a nonlinear optimal control based Eco-CACC controller. It has the following features: i) enhancing performance across rolling terrains by modeling in space domain; ii) enhancing fuel efficiency via globally optimizing all vehicle's fuel consumptions; iii) ensuring computational efficiency by developing a differential dynamic programming-based solving method for the non-linear optimal control problem; iv) ensuring string stability through theoretically proving and experimentally validating. The performance of the proposed Eco-CACC controller was evaluated. Results showed that the proposed Eco-CACC controller can improve average fuel saving by 37.67% at collector road and about 17.30% at major arterial.


title: Shape Measurement of Single Gold Nanorods in Water Using Open-access Optical Microcavities

abstract: Shape measurement of rod-shaped particles in fluids is an outstanding challenge with applications in characterising synthetic functional nanoparticles and in early warning detection of rod-shaped pathogens in water supplies. However, it is challenging to achieve accurate and real-time measurements at a single particle scale in solution with existing methods. Here we introduce a novel technique to measure the aspect ratio of rod-shaped particles by analysing changes in the polarisation state of a laser beam transmitted through an optical microcavity through which the particle diffuses. The resolution in aspect ratio measurement is found to be around 1%. Our work opens the new possibility of in-situ and single-particle shape measurements, which have promising applications in nanoparticle characterisation, water monitoring, and beyond.


title: Interpreting S-Parameter Spectra in Coupled Resonant Systems: The Role of Probing Configurations

abstract: The S-parameter $S_{21}$ is widely used to characterize the resonant properties of various systems. However, we demonstrates that the reliability of $S_{21}$ as a true indicator of system resonances depends heavily on the specific probing setup employed. While point-probe or weak probes preserve the integrity of the $S_{21}$ spectrum and accurately reflect system resonances, multi-point and strong probes can introduce significant discrepancies. These discrepancies can manifest as misleading features such as repulsive level anti-crossing or attractive level crossing, even in systems that are fundamentally uncoupled. This highlights the critical importance of selecting appropriate probing techniques to ensure a precise evaluation of system resonances.


title: Safety-Aware Human-Lead Vehicle Platooning by Proactively Reacting to Uncertain Human Behaving

abstract: Human-Lead Cooperative Adaptive Cruise Control (HL-CACC) is regarded as a promising vehicle platooning technology in real-world implementation. By utilizing a Human-driven Vehicle (HV) as the platoon leader, HL-CACC reduces the cost and enhances the reliability of perception and decision-making. However, state-of-the-art HL-CACC technology still has a great limitation on driving safety for the lack of considering the leading human driver's uncertain behaving. In this study, a HL-CACC controller is designed based on Stochastic Model Predictive Control (SMPC). It is enabled to predict the driving intention of the leading Connected Human-Driven Vehicle (CHV). The proposed controller has the following features: i) enhanced perceived safety in oscillating traffic; ii) guaranteed safety against hard brakes; iii) computational efficient for real-time implementation. The proposed controller is evaluated on a PreScan&Simulink simulation platform. Real vehicle trajectory data is collected for the calibration of simulation. Results reveal that the proposed controller: i) improves perceived safety by 19.17% in oscillating traffic; ii) enhances actual safety by 7.76% against hard brake; iii) is confirmed with string stability. The computation time is approximately 3 milliseconds when running on a laptop equipped with an Intel i5-13500H CPU. This indicates the proposed controller is ready for real-time implementation.


title: Towards Rational Consensus in Honest Majority

abstract: Distributed consensus protocols reach agreement among $n$ players in the presence of $f$ adversaries; different protocols support different values of $f$. Existing works study this problem for different adversary types (captured by threat models). There are three primary threat models: (i) Crash fault tolerance (CFT), (ii) Byzantine fault tolerance (BFT), and (iii) Rational fault tolerance (RFT), each more general than the previous. Agreement in repeated rounds on both (1) the proposed value in each round and (2) the ordering among agreed-upon values across multiple rounds is called Atomic BroadCast (ABC). ABC is more generalized than consensus and is employed in blockchains. This work studies ABC under the RFT threat model. We consider $t$ byzantine and $k$ rational adversaries among $n$ players. We also study different types of rational players based on their utility towards (1) liveness attack, (2) censorship or (3) disagreement (forking attack). We study the problem of ABC under this general threat model in partially-synchronous networks. We show (1) ABC is impossible for $n/3< (t+k) <n/2$ if rational players prefer liveness or censorship attacks and (2) the consensus protocol proposed by Ranchal-Pedrosa and Gramoli cannot be generalized to solve ABC due to insecure Nash equilibrium (resulting in disagreement). For ABC in partially synchronous network settings, we propose a novel protocol \textsf{pRFT}(practical Rational Fault Tolerance). We show \textsf{pRFT} achieves ABC if (a) rational players prefer only disagreement attacks and (b) $t < \frac{n}{4}$ and $(t + k) < \frac{n}{2}$. In \textsf{pRFT}, we incorporate accountability (capturing deviating players) within the protocol by leveraging honest players. We also show that the message complexity of \textsf{pRFT} is at par with the best consensus protocols that guarantee accountability.


title: Synchronization of High-Dimensional Linear Networks over Finite Fields

abstract: This paper investigates the synchronization problems for general high-dimensional linear networks over finite fields. By using the technique of linear transformations and invariant subspaces for linear spaces over finite fields, several necessary and sufficient conditions for the synchronization of high-dimensional linear networks over finite fields are proposed. This paper not only generalizes the existing results from 1-dimensional to high-dimensional linear networks but also adopts a new approach. Finally, some numerical examples are given to illustrate the effectiveness of our theoretical results.


title: Preliminary Design of Detector Assembly for DIXE

abstract: Diffuse X-ray Explorer (DIXE) is a proposed X-ray spectroscopic survey experiment for the China Space Station. Its detector assembly (DA) contains the transition edge sensor (TES) microcalorimeter and readout electronics based on the superconducting quantum interference device (SQUID) on the cold stage. The cold stage is thermally connected to the ADR stage, and a Kevlar suspension is used to stabilize and isolate it from the 4 K environment. TES and SQUID are both sensitive to the magnetic field, so a hybrid shielding structure consisting of an outer Cryoperm shield and an inner niobium shield is used to attenuate the magnetic field. In addition, IR/optical/UV photons can produce shot noise and thus degrade the energy resolution of the TES microcalorimeter. A blocking filter assembly is designed to minimize the effects. In it, five filters are mounted at different temperature stages, reducing the probability of IR/optical/UV photons reaching the detector through multiple reflections between filters and absorption. This paper will describe the preliminary design of the detector assembly and its optimization.


title: Coding historical causes of death data with Large Language Models

abstract: This paper investigates the feasibility of using pre-trained generative Large Language Models (LLMs) to automate the assignment of ICD-10 codes to historical causes of death. Due to the complex narratives often found in historical causes of death, this task has traditionally been manually performed by coding experts. We evaluate the ability of GPT-3.5, GPT-4, and Llama 2 LLMs to accurately assign ICD-10 codes on the HiCaD dataset that contains causes of death recorded in the civil death register entries of 19,361 individuals from Ipswich, Kilmarnock, and the Isle of Skye from the UK between 1861-1901. Our findings show that GPT-3.5, GPT-4, and Llama 2 assign the correct code for 69%, 83%, and 40% of causes, respectively. However, we achieve a maximum accuracy of 89% by standard machine learning techniques. All LLMs performed better for causes of death that contained terms still in use today, compared to archaic terms. Also they perform better for short causes (1-2 words) compared to longer causes. LLMs therefore do not currently perform well enough for historical ICD-10 code assignment tasks. We suggest further fine-tuning or alternative frameworks to achieve adequate performance.


title: Crystal Structure-Based Multioutput Property Prediction of Lithium Manganese Nickel Oxide using EfficientNet-B0

abstract: Here, we present an EfficientNet-B0-based model to directly predict multiple properties of lithium manganese nickel oxides (LMNO) using their crystal structure images. The model is supposed to predict the energy above the convex hull, bandgap energy, crystal systems, and crystal space groups of LMNOs. In the last layer of the model, a linear function is used to predict the bandgap energy and energy above the convex hull, while a SoftMax function is used to classify the crystal systems and crystal space groups. In the test set, the percentages of coefficient of determination (R2) scores are 97.73% and 96.50% for the bandgap energy and energy above the convex hull predictions, respectively, while the percentages of accuracy are 99.45% and 99.27% for the crystal system and crystal space group classifications, respectively. The class saliency maps explain that the model pays more attention to the shape of the crystal lattices and gradients around the lattice region occupied by the larger ions. This work provides new insight into using an intelligent model to directly relate the crystal structures of LMNO materials with their properties.


title: GLiRA: Black-Box Membership Inference Attack via Knowledge Distillation

abstract: While Deep Neural Networks (DNNs) have demonstrated remarkable performance in tasks related to perception and control, there are still several unresolved concerns regarding the privacy of their training data, particularly in the context of vulnerability to Membership Inference Attacks (MIAs). In this paper, we explore a connection between the susceptibility to membership inference attacks and the vulnerability to distillation-based functionality stealing attacks. In particular, we propose {GLiRA}, a distillation-guided approach to membership inference attack on the black-box neural network. We observe that the knowledge distillation significantly improves the efficiency of likelihood ratio of membership inference attack, especially in the black-box setting, i.e., when the architecture of the target model is unknown to the attacker. We evaluate the proposed method across multiple image classification datasets and models and demonstrate that likelihood ratio attacks when guided by the knowledge distillation, outperform the current state-of-the-art membership inference attacks in the black-box setting.


title: The holonomy of spherically symmetric projective Finsler metrics of constant curvature

abstract: In this paper, we investigate the holonomy group of $n$-dimensional projective Finsler metrics of constant curvature. We establish that in the spherically symmetric case, the holonomy group is maximal, and for a simply connected manifold it is isomorphic to $Diff_o({\mathbb S^{n-1}})$, the connected component of the identity of the group of smooth diffeomorphism on the $(n-1)$-dimensional sphere. In particular, the holonomy group of the n-dimensional standard Funk metric and the Bryant-Shen metrics are maximal and isomorphic to $Diff_o({\mathbb S^{n-1}})$. These results are the firsts describing explicitly the holonomy group of n-dimensional Finsler manifolds in the non-Berwaldian (that is when the canonical connection is non-linear) case.


title: Growth of GeO2 on R-plane and C-plane Sapphires by MOCVD

abstract: Rutile Germanium Dioxide (GeO2) has been recently theoretically identified as an ultrawide bandgap (UWBG) semiconductor with bandgap 4.68 eV similar to Ga2O3 but having bipolar dopability and ~2x higher electron mobility, Baliga figure of merit (BFOM) and thermal conductivity than Ga2O3. Bulk crystal growth is rapidly moving towards making large sized native substrates available. These outstanding material properties position GeO2 as a highly attractive UWBG semiconductor for various applications. However, the epitaxial growth in the most advantageous polymorph (rutile), ensuring controlled phase, pristine surface/interface quality, precise microstructure, and optimal functional properties, is still in its infancy. In this work, we explored growth of GeO2 by metal-organic chemical vapor deposition (MOCVD) on both C- and R-plane sapphire. Utilizing tetramethylgermane (TMGe) as a precursor, we have investigated the influences of different parameters on the film properties, including growth temperature, chamber pressure, TMGe flow rate, oxygen flow rate, shroud gas flow rate, and rotation speed. The total pressure emerged as a crucial parameter while growth attempts at low total pressure resulted in no films for a wide range of temperatures, precursor flow rate, argon flow rates, and susceptor rotation rate. A phase diagram, derived from our experimental findings, delineates the growth windows for GeO2 films on sapphire substrates. This study serves as a pioneering guide for the MOCVD growth of GeO2 films.


title: Sums of Hurwitz class numbers, CM modular forms, and primes of the form $x^2+ny^2$

abstract: We consider sums of Hurwitz class numbers of the type $\sum_{t \equiv m \pmod{M}}H(4p-t^2)$, where $M$ is composite. For $M=6$ and $8$, we show that these sums can be expressed in terms of coefficients of CM cusp forms. This leads to explicit formulas which depend on the expression of $p$ in the form $x^2+ny^2$.


title: Homological stability for general linear groups over Dedekind domains

abstract: We prove a new kind of homological stability theorem for automorphism groups of finitely-generated projective modules over Dedekind domains, which takes into account all possible stabilisation maps between these, rather than only stabilisation by the free module of rank 1. We show the same kind of stability holds for Clausen and Jansen's reductive Borel--Serre spaces.


title: Approximation and decomposition of attractors of a Hopfield neural network system

abstract: In this paper, the Parameter Switching (PS) algorithm is used to approximate numerically attractors of a Hopfield Neural Network (HNN) system. The PS algorithm is a convergent scheme designed for approximating attractors of an autonomous nonlinear system, depending linearly on a real parameter. Aided by the PS algorithm, it is shown that every attractor of the HNN system can be expressed as a convex combination of other attractors. The HNN system can easily be written in the form of a linear parameter dependence system, to which the PS algorithm can be applied. This work suggests the possibility to use the PS algorithm as a control-like or anticontrol-like method for chaos.


title: Networked ISAC for Low-Altitude Economy: Transmit Beamforming and UAV Trajectory Design

abstract: This paper studies the exploitation of networked integrated sensing and communications (ISAC) to support low-altitude economy (LAE), in which a set of networked ground base stations (GBSs) transmit wireless signals to cooperatively communicate with multiple authorized unmanned aerial vehicles (UAVs) and concurrently use the echo signals to detect the invasion of unauthorized objects in interested airspace. Under this setup, we jointly design the cooperative transmit beamforming at multiple GBSs together with the trajectory control of authorized UAVs and their GBS associations, for enhancing the authorized UAVs' communication performance while ensuring the sensing requirements for airspace monitoring. In particular, our objective is to maximize the average sum rate of authorized UAVs over a particular flight period, subject to the minimum illumination power constraints for sensing over the interested airspace, the maximum transmit power constraints at individual GBSs, and the flight constraints at UAVs. This problem is non-convex and challenging to solve, due to the involvement of integer variables and the coupling of optimization variables. To solve this non-convex problem, we propose an efficient algorithm by using the techniques of alternating optimization (AO), successive convex approximation (SCA), and semi-definite relaxation (SDR). Numerical results show that the obtained transmit beamforming and UAV trajectory designs in the proposed algorithm efficiently balance the tradeoff between the sensing and communication performances, thus significantly outperforming various benchmarks.


title: Observation of oriented Landau levels in Berry dipole semimetals

abstract: Band crossing points, such as Weyl and Dirac points, play a crucial role in the topological classification of materials and guide the exploration of exotic topological phases. The Berry dipole, a three-dimensional band crossing point beyond the Chern class, hosts a dipolar Berry curvature field and gives rise to numerous nontrivial quantum geometric effects. It has been proposed that the Berry dipole exhibits oriented Landau levels, whose spectrum critically relies on the orientation of the applied magnetic field. However, experimental demonstration of this phenomenon has remained elusive. Here we experimentally demonstrate oriented Landau levels by carefully engineering an inhomogeneous acoustic lattice. We observe distinct Landau level spectra and different propagation properties when the orientation of the pseudomagnetic field is reversed. Notably, we discover a new type of helical zero modes whose existence critically depends on the magnetic field's orientation. Our work paves the way for studying band crossings beyond Chern-class crossing points, including Berry multipoles and even-dimensional monopoles. Furthermore, it offers new insight for exploring topological devices.