title: Hyperbolic groups and local connectivity

abstract: The goal of this paper is to give an exposition of some results of Bestvina-Mess on local connectivity of the boundary of a one-ended word hyperbolic group. We also give elementary proofs that all hyperbolic groups are semistable at infinity and their boundaries are linearly connected in the one-ended case. Geoghegan first observed that semistability at infinity is a consequence of local connectivity using ideas from shape theory, and Bonk-Kleiner proved linear connectivity using analytical methods. The methods in this paper are closely based on the original ideas of Bestvina-Mess.


title: CEFHRI: A Communication Efficient Federated Learning Framework for Recognizing Industrial Human-Robot Interaction

abstract: Human-robot interaction (HRI) is a rapidly growing field that encompasses social and industrial applications. Machine learning plays a vital role in industrial HRI by enhancing the adaptability and autonomy of robots in complex environments. However, data privacy is a crucial concern in the interaction between humans and robots, as companies need to protect sensitive data while machine learning algorithms require access to large datasets. Federated Learning (FL) offers a solution by enabling the distributed training of models without sharing raw data. Despite extensive research on Federated learning (FL) for tasks such as natural language processing (NLP) and image classification, the question of how to use FL for HRI remains an open research problem. The traditional FL approach involves transmitting large neural network parameter matrices between the server and clients, which can lead to high communication costs and often becomes a bottleneck in FL. This paper proposes a communication-efficient FL framework for human-robot interaction (CEFHRI) to address the challenges of data heterogeneity and communication costs. The framework leverages pre-trained models and introduces a trainable spatiotemporal adapter for video understanding tasks in HRI. Experimental results on three human-robot interaction benchmark datasets: HRI30, InHARD, and COIN demonstrate the superiority of CEFHRI over full fine-tuning in terms of communication costs. The proposed methodology provides a secure and efficient approach to HRI federated learning, particularly in industrial environments with data privacy concerns and limited communication bandwidth. Our code is available at https://github.com/umarkhalidAI/CEFHRI-Efficient-Federated-Learning.


title: Asymptotics of a Modified Holomorphic Analytic Torsion

abstract: We prove a formula for the leading term of the asymptotic expansion of the holomorphic analytic torsion of the Dirac operator modified by the Clifford action of a real three-form.


title: A Model for Type-IIP Supernovae with Medium Recombination Approximation

abstract: In this paper, we propose a new light-curve model for Type-IIP supernovae (SNe IIP) with an approximation of medium recombination. Recombination of hydrogen that takes place in the envelope is believed highly affect the light curves of SNe IIP. The propagation of the recombination wave through the expanding envelope is crucial to determine the temperature and the bolometric luminosity. Several approximations were made in previous works to determine the recombination front, which plays a role as the pseudo-photosphere. With the Eddington boundary condition, we let the actual photosphere be the boundary to determine the time evolution of temperature profile of the envelope and calculate the bolometric luminosity. A new approximation on the speed of recombination wave is introduced to get a closer result to the real situation. We abandon the non-self-consistent approximations made in former works and solve the initial hump problem in the previous attempt for the slow recombination approximation. The produced light curves show the necessity of this approximation and fit the observation well.


title: Continual Learning for Generative Retrieval over Dynamic Corpora

abstract: Generative retrieval (GR) directly predicts the identifiers of relevant documents (i.e., docids) based on a parametric model. It has achieved solid performance on many ad-hoc retrieval tasks. So far, these tasks have assumed a static document collection. In many practical scenarios, however, document collections are dynamic, where new documents are continuously added to the corpus. The ability to incrementally index new documents while preserving the ability to answer queries with both previously and newly indexed relevant documents is vital to applying GR models. In this paper, we address this practical continual learning problem for GR. We put forward a novel Continual-LEarner for generatiVE Retrieval (CLEVER) model and make two major contributions to continual learning for GR: (i) To encode new documents into docids with low computational cost, we present Incremental Product Quantization, which updates a partial quantization codebook according to two adaptive thresholds; and (ii) To memorize new documents for querying without forgetting previous knowledge, we propose a memory-augmented learning mechanism, to form meaningful connections between old and new documents. Empirical results demonstrate the effectiveness and efficiency of the proposed model.


title: Uncovering the Hidden Cost of Model Compression

abstract: In an age dominated by resource-intensive foundation models, the ability to efficiently adapt to downstream tasks is crucial. Visual Prompting (VP), drawing inspiration from the prompting techniques employed in Large Language Models (LLMs), has emerged as a pivotal method for transfer learning in the realm of computer vision. As the importance of efficiency continues to rise, research into model compression has become indispensable in alleviating the computational burdens associated with training and deploying over-parameterized neural networks. A primary objective in model compression is to develop sparse and/or quantized models capable of matching or even surpassing the performance of their over-parameterized, full-precision counterparts. Although previous studies have explored the effects of model compression on transfer learning, its impact on visual prompting-based transfer remains unclear. This study aims to bridge this gap, shedding light on the fact that model compression detrimentally impacts the performance of visual prompting-based transfer, particularly evident in scenarios with low data volume. Furthermore, our findings underscore the adverse influence of sparsity on the calibration of downstream visual-prompted models. However, intriguingly, we also illustrate that such negative effects on calibration are not present when models are compressed via quantization. This empirical investigation underscores the need for a nuanced understanding beyond mere accuracy in sparse and quantized settings, thereby paving the way for further exploration in Visual Prompting techniques tailored for sparse and quantized models.


title: Audio Deepfake Detection: A Survey

abstract: Audio deepfake detection is an emerging active topic. A growing number of literatures have aimed to study deepfake detection algorithms and achieved effective performance, the problem of which is far from being solved. Although there are some review literatures, there has been no comprehensive survey that provides researchers with a systematic overview of these developments with a unified evaluation. Accordingly, in this survey paper, we first highlight the key differences across various types of deepfake audio, then outline and analyse competitions, datasets, features, classifications, and evaluation of state-of-the-art approaches. For each aspect, the basic techniques, advanced developments and major challenges are discussed. In addition, we perform a unified comparison of representative features and classifiers on ASVspoof 2021, ADD 2023 and In-the-Wild datasets for audio deepfake detection, respectively. The survey shows that future research should address the lack of large scale datasets in the wild, poor generalization of existing detection methods to unknown fake attacks, as well as interpretability of detection results.


title: Distributed multi-agent target search and tracking with Gaussian process and reinforcement learning

abstract: Deploying multiple robots for target search and tracking has many practical applications, yet the challenge of planning over unknown or partially known targets remains difficult to address. With recent advances in deep learning, intelligent control techniques such as reinforcement learning have enabled agents to learn autonomously from environment interactions with little to no prior knowledge. Such methods can address the exploration-exploitation tradeoff of planning over unknown targets in a data-driven manner, eliminating the reliance on heuristics typical of traditional approaches and streamlining the decision-making pipeline with end-to-end training. In this paper, we propose a multi-agent reinforcement learning technique with target map building based on distributed Gaussian process. We leverage the distributed Gaussian process to encode belief over the target locations and efficiently plan over unknown targets. We evaluate the performance and transferability of the trained policy in simulation and demonstrate the method on a swarm of micro unmanned aerial vehicles with hardware experiments.


title: LLM-Based Human-Robot Collaboration Framework for Manipulation Tasks

abstract: This paper presents a novel approach to enhance autonomous robotic manipulation using the Large Language Model (LLM) for logical inference, converting high-level language commands into sequences of executable motion functions. The proposed system combines the advantage of LLM with YOLO-based environmental perception to enable robots to autonomously make reasonable decisions and task planning based on the given commands. Additionally, to address the potential inaccuracies or illogical actions arising from LLM, a combination of teleoperation and Dynamic Movement Primitives (DMP) is employed for action correction. This integration aims to improve the practicality and generalizability of the LLM-based human-robot collaboration system.


title: Revisitation of algebraic approach for time delay interferometry

abstract: Time Delay Interferometry (TDI) is often utilized in the data pre-processing of space-based gravitational wave detectors, primarily for suppressing laser frequency noise. About twenty years ago, assuming armlengths remain constant over time, researchers presented comprehensive mathematical descriptions for the first-generation and modified first-generation TDI. However, maintaining a steady distance between satellites is pragmatically challenging. Hence, the operator equation that neutralizes laser frequency noise, though provided, was deemed difficult to resolve. In this paper, we solve this equation in the context of a non-static scenario where distances between spacecrafts vary over time. Surprisingly, contrary to what previous researchers thought, the study reveals that the equation has only the zero solution, which suggests that no nonzero TDI combination can entirely suppress laser frequency noise under time-varying armlengths. This necessitates the persistent search for second-generation TDI combinations through alternative methods besides directly solving the operator equation. We establish the connections between TDI combinations of different generations and propose a search strategy for finding higher-generation TDI combinations by using generators of lower-generation TDI. The findings contribute to the ongoing discussion on gravitational waves and provide a novel insight into the hurdles faced in space-based gravitational wave detection.


title: SimSched: A tool for Simulating Autosar Implementaion in Simulink

abstract: AUTOSAR (AUTomotive Open System ARchitecture) is an open industry standard for the automotive sector. It defines the three-layered automotive software architecture. One of these layers is the application layer, where functional behaviors are encapsulated in Software Components (SW-Cs). Inside SW-Cs, a set of runnable entities represents the internal behavior and is realized as a set of tasks. To address AUTOSAR's lack of support for modeling behaviors of runnables, languages such as Simulink are employed. Simulink simulations assume Simulink block behaviors are completed in zero execution time, while real execution requires a finite execution time. This timing mismatch can result in failures to detect unexpected runtime behaviors during the simulation phase. This paper extends the Simulink environment to model the timing properties of tasks. We present a Simulink block that can schedule tasks with non-zero simulation times. It enables a more realistic analysis during model development.


title: The electromagnetic form factors in the $N_{f}=4$ holographic QCD

abstract: In this study, we employ a modified soft-wall holographic model with four flavors to investigate the meson spectra, decay constants, electromagnetic form factors, and charge radius of various mesons. We obtain the spectra for vector, axial vector, and pseudoscalar mesons. Decay constants are calculated and compared with experimental and lattice QCD data. The pion and kaon electromagnetic form factors are compared with the experimental data, and a good agreement is achieved for the kaon at low $Q^{2}$. For the charmed mesons, the electromagnetic form factors of the $D$ and $D_{s}$ and electric form factors of the $D^{*}$ and $D_{s}^{*}$ are well consistent with the lattice QCD data. Moreover, the electric, magnetic, and quadrupole form factors are predicted for the $\rho$, $K^{*}$, $a_1$, $K_1$, $D_1$, and $D_{s1}$ mesons. Furthermore, the charge radius of the vector, axial vector, and pseudoscalars, including the strange and charmed mesons, are computed.


title: Efficient labeling of solar flux evolution videos by a deep learning model

abstract: Machine learning (ML) is becoming a critical tool for interrogation of large complex data. Labeling, defined as the process of adding meaningful annotations, is a crucial step of supervised ML. However, labeling datasets is time consuming. Here we show that convolutional neural networks (CNNs), trained on crudely labeled astronomical videos, can be leveraged to improve the quality of data labeling and reduce the need for human intervention. We use videos of the solar magnetic field, crudely labeled into two classes: emergence or non-emergence of bipolar magnetic regions (BMRs), based on their first detection on the solar disk. We train CNNs using crude labels, manually verify, correct labeling vs. CNN disagreements, and repeat this process until convergence. Traditionally, flux emergence labelling is done manually. We find that a high-quality labeled dataset, derived through this iterative process, reduces the necessary manual verification by 50%. Furthermore, by gradually masking the videos and looking for maximum change in CNN inference, we locate BMR emergence time without retraining the CNN. This demonstrates the versatility of CNNs for simplifying the challenging task of labeling complex dynamic events.

categories: astro-ph.SR astro-ph.IM cs.AI cs.LG eess.IV


title: Efficient thermo-spin conversion in van der Waals ferromagnet FeGaTe

abstract: Recent discovery of 2D van der Waals (vdW) magnetic materials has spurred progress in developing advanced spintronic devices. A central challenge lies in enhancing the spin-conversion efficiency for building spin-logic or spin-memory devices. We systematically investigated the anomalous Hall effect and anomalous Nernst effect in above-room-temperature van der Waals ferromagnet FeGaTe with perpendicular anisotropy, uncovering significant spin-conversion effects. The anomalous Hall effect demonstrated an efficient electric spin-charge conversion, with a notable spin Hall angle of 6 $\%$ - 10.38 $\%$. The temperature-dependent behavior of the anomalous Nernst voltage primarily results from the thermo-spin conversion. Uniquely, we have experimentally achieved thermo-spin polarization values of over 690 $\%$ at room temperature and extremely large of 4690 $\%$ at about 93 K. This study illuminates the potential of vdW ferromagnets in advancing efficient spin conversion devices.


title: Vision Grid Transformer for Document Layout Analysis

abstract: Document pre-trained models and grid-based models have proven to be very effective on various tasks in Document AI. However, for the document layout analysis (DLA) task, existing document pre-trained models, even those pre-trained in a multi-modal fashion, usually rely on either textual features or visual features. Grid-based models for DLA are multi-modality but largely neglect the effect of pre-training. To fully leverage multi-modal information and exploit pre-training techniques to learn better representation for DLA, in this paper, we present VGT, a two-stream Vision Grid Transformer, in which Grid Transformer (GiT) is proposed and pre-trained for 2D token-level and segment-level semantic understanding. Furthermore, a new dataset named D$^4$LA, which is so far the most diverse and detailed manually-annotated benchmark for document layout analysis, is curated and released. Experiment results have illustrated that the proposed VGT model achieves new state-of-the-art results on DLA tasks, e.g. PubLayNet ($95.7\%$$\rightarrow$$96.2\%$), DocBank ($79.6\%$$\rightarrow$$84.1\%$), and D$^4$LA ($67.7\%$$\rightarrow$$68.8\%$). The code and models as well as the D$^4$LA dataset will be made publicly available ~\url{https://github.com/AlibabaResearch/AdvancedLiterateMachinery}.


title: Summand-injectivity of interval covers and monotonicity of interval resolution global dimensions

abstract: Recently, there is growing interest in the use of relative homology algebra to develop invariants using interval covers and interval resolutions (i.e., right minimal approximations and resolutions relative to interval-decomposable modules) for multi-parameter persistence modules. In this paper, the set of all interval modules over a given poset plays a central role. Firstly, we show that the restriction of interval covers of modules to each indecomposable direct summand is injective. This result suggests a way to simplify the computation of interval covers. Secondly, we show the monotonicity of the interval resolution global dimension, i.e., if $Q$ is a full subposet of $P$, then the interval resolution global dimension of $Q$ is not larger than that of $P$. Finally, we provide a complete classification of posets whose interval resolution global dimension is zero.


title: Scope and limitations of ad hoc neural network reconstructions of solar wind parameters

abstract: Solar wind properties are determined by the conditions of their solar source region and transport history. Solar wind parameters, such as proton speed, proton density, proton temperature, magnetic field strength, and the charge state composition of oxygen, are used as proxies to investigate the solar source region of the solar wind. The transport and conditions in the solar source region affect several solar wind parameters simultaneously. The observed redundancy could be caused by a set of hidden variables. We test this assumption by determining how well a function of four of the selected solar wind parameters can model the fifth solar wind parameter. If such a function provided a perfect model, then this solar wind parameter would be uniquely determined from hidden variables of the other four parameters. We used a neural network as a function approximator to model unknown relations between the considered solar wind parameters. This approach is applied to solar wind data from the Advanced Composition Explorer (ACE). The neural network reconstructions are evaluated in comparison to observations. Within the limits defined by the measurement uncertainties, the proton density and proton temperature can be reconstructed well. We also found that the reconstruction is most difficult for solar wind streams preceding and following stream interfaces. For all considered solar wind parameters, but in particular the proton density, temperature, and the oxygen charge-state ratio, parameter reconstruction is hindered by measurement uncertainties. The reconstruction accuracy of sector reversal plasma is noticeably lower than that of streamer belt or coronal hole plasma. The fact that the oxygen charge-state ratio, a non-transport-affected property, is difficult to reconstruct may imply that recovering source-specific information from the transport-affected proton plasma properties is challenging.


title: Sub-universal variational circuits for combinatorial optimization problems

abstract: Quantum variational circuits have gained significant attention due to their applications in the quantum approximate optimization algorithm and quantum machine learning research. This work introduces a novel class of classical probabilistic circuits designed for generating approximate solutions to combinatorial optimization problems constructed using two-bit stochastic matrices. Through a numerical study, we investigate the performance of our proposed variational circuits in solving the Max-Cut problem on various graphs of increasing sizes. Our classical algorithm demonstrates improved performance for several graph types to the quantum approximate optimization algorithm. Our findings suggest that evaluating the performance of quantum variational circuits against variational circuits with sub-universal gate sets is a valuable benchmark for identifying areas where quantum variational circuits can excel.


title: Cognitive Aging and Labor Share

abstract: Labor share, the fraction of economic output accrued as wages, is inexplicably declining in industrialized countries. Whilst numerous prior works attempt to explain the decline via economic factors, our novel approach links the decline to biological factors. Specifically, we propose a theoretical macroeconomic model where labor share reflects a dynamic equilibrium between the workforce automating existing outputs, and consumers demanding new output variants that require human labor. Industrialization leads to an aging population, and while cognitive performance is stable in the working years it drops sharply thereafter. Consequently, the declining cognitive performance of aging consumers reduces the demand for new output variants, leading to a decline in labor share. Our model expresses labor share as an algebraic function of median age, and is validated with surprising accuracy on historical data across industrialized economies via non-linear stochastic regression.


title: Constructive Incremental Learning for Fault Diagnosis of Rolling Bearings with Ensemble Domain Adaptation

abstract: Given the prevalence of rolling bearing fault diagnosis as a practical issue across various working conditions, the limited availability of samples compounds the challenge. Additionally, the complexity of the external environment and the structure of rolling bearings often manifests faults characterized by randomness and fuzziness, hindering the effective extraction of fault characteristics and restricting the accuracy of fault diagnosis. To overcome these problems, this paper presents a novel approach termed constructive Incremental learning-based ensemble domain adaptation (CIL-EDA) approach. Specifically, it is implemented on stochastic configuration networks (SCN) to constructively improve its adaptive performance in multi-domains. Concretely, a cloud feature extraction method is employed in conjunction with wavelet packet decomposition (WPD) to capture the uncertainty of fault information from multiple resolution aspects. Subsequently, constructive Incremental learning-based domain adaptation (CIL-DA) is firstly developed to enhance the cross-domain learning capability of each hidden node through domain matching and construct a robust fault classifier by leveraging limited labeled data from both target and source domains. Finally, fault diagnosis results are obtained by a majority voting of CIL-EDA which integrates CIL-DA and parallel ensemble learning. Experimental results demonstrate that our CIL-DA outperforms several domain adaptation methods and CIL-EDA consistently outperforms state-of-art fault diagnosis methods in few-shot scenarios.


title: Contact-rich SE(3)-Equivariant Robot Manipulation Task Learning via Geometric Impedance Control

abstract: This paper presents a differential geometric control approach that leverages SE(3) group invariance and equivariance to increase transferability in learning robot manipulation tasks that involve interaction with the environment. Specifically, we employ a control law and a learning representation framework that remain invariant under arbitrary SE(3) transformations of the manipulation task definition. Furthermore, the control law and learning representation framework are shown to be SE(3) equivariant when represented relative to the spatial frame. The proposed approach is based on utilizing a recently presented geometric impedance control (GIC) combined with a learning variable impedance control framework, where the gain scheduling policy is trained in a supervised learning fashion from expert demonstrations. A geometrically consistent error vector (GCEV) is fed to a neural network to achieve a gain scheduling policy that remains invariant to arbitrary translation and rotations. A comparison of our proposed control and learning framework with a well-known Cartesian space learning impedance control, equipped with a Cartesian error vector-based gain scheduling policy, confirms the significantly superior learning transferability of our proposed approach. A hardware implementation on a peg-in-hole task is conducted to validate the learning transferability and feasibility of the proposed approach.


title: Stochastic Motion Planning as Gaussian Variational Inference: Theory and Algorithms

abstract: We consider the motion planning problem under uncertainty and address it using probabilistic inference. A collision-free motion plan with linear stochastic dynamics is modeled by a posterior distribution. Gaussian variational inference is an optimization over the path distributions to infer this posterior within the scope of Gaussian distributions. We propose Gaussian Variational Inference Motion Planner (GVI-MP) algorithm to solve this Gaussian inference, where a natural gradient paradigm is used to iteratively update the Gaussian distribution, and the factorized structure of the joint distribution is leveraged. We show that the direct optimization over the state distributions in GVI-MP is equivalent to solving a stochastic control that has a closed-form solution. Starting from this observation, we propose our second algorithm, Proximal Gradient Covariance Steering Motion Planner (PGCS-MP), to solve the same inference problem in its stochastic control form with terminal constraints. We use a proximal gradient paradigm to solve the linear stochastic control with nonlinear collision cost, where the nonlinear cost is iteratively approximated using quadratic functions and a closed-form solution can be obtained by solving a linear covariance steering at each iteration. We evaluate the effectiveness and the performance of the proposed approaches through extensive experiments on various robot models. The code for this paper can be found in https://github.com/hzyu17/VIMP.


title: Constraining the Properties of Black Hole Seeds from the Farthest Quasars

abstract: Over 60 years after the discovery of the first quasar, more than $275$ such sources are identified in the epoch of reionization at $z>6$. JWST is now exploring higher redshifts ($z\gtrsim 8$) and lower mass ($ \lesssim 10^7 \Msun$) ranges. The discovery of progressively farther quasars is instrumental to constraining the properties of the first population of black holes (BHs), or BH seeds, formed at $z \sim 20-30$. For the first time, we use Bayesian analysis of the most comprehensive catalog of quasars at $z>6$ to constrain the distribution of BH seeds. We show that the mass distribution of BH seeds can be effectively described by combining a power law and a lognormal function tailored to the mass ranges associated with light and heavy seeds, assuming Eddington-limited growth and early seeding time. Our analysis reveals a power-law slope of $-0.70^{+0.46}_{-0.46}$ and a lognormal mean of $4.44^{+0.30}_{-0.30}$. The inferred values of the Eddington ratio, the duty cycle, and the mean radiative efficiency are $0.82^{+0.10}_{-0.10}$, $0.66^{+0.23}_{-0.23}$, and $0.06^{+0.02}_{-0.02}$, respectively. Models that solely incorporate a power law or a lognormal distribution within the specific mass range corresponding to light and heavy seeds are statistically strongly disfavored, unlike models not restricted to this specific range. Our results suggest that including both components is necessary to comprehensively account for the masses of high-redshift quasars, and that both light and heavy seeds formed in the early Universe and grew to form the population of quasars we observe.


title: Latin bitrades derived from quasigroup autoparatopisms

abstract: In 2008, Cavenagh and Dr\'{a}pal, et al, described a method of constructing Latin trades using groups. The Latin trades that arise from this construction are entry-transitive (that is, there always exists an autoparatopism of the Latin trade mapping any ordered triple to any other ordered triple). Moreover, useful properties of the Latin trade can be established using properties of the group. However, the construction does not give a direct embedding of the Latin trade into any particular Latin square. In this paper, we generalize the above to construct Latin trades embedded in a Latin square $L$, via the autoparatopism group of the quasigroup with Cayley table $L$. We apply this theory to identify non-trivial entry-transitive trades in some group operation tables as well as in Latin squares that arise from quadratic orthomorphisms


title: Inferences on Mixing Probabilities and Ranking in Mixed-Membership Models

abstract: Network data is prevalent in numerous big data applications including economics and health networks where it is of prime importance to understand the latent structure of network. In this paper, we model the network using the Degree-Corrected Mixed Membership (DCMM) model. In DCMM model, for each node $i$, there exists a membership vector $\boldsymbol{\pi}_ i = (\boldsymbol{\pi}_i(1), \boldsymbol{\pi}_i(2),\ldots, \boldsymbol{\pi}_i(K))$, where $\boldsymbol{\pi}_i(k)$ denotes the weight that node $i$ puts in community $k$. We derive novel finite-sample expansion for the $\boldsymbol{\pi}_i(k)$s which allows us to obtain asymptotic distributions and confidence interval of the membership mixing probabilities and other related population quantities. This fills an important gap on uncertainty quantification on the membership profile. We further develop a ranking scheme of the vertices based on the membership mixing probabilities on certain communities and perform relevant statistical inferences. A multiplier bootstrap method is proposed for ranking inference of individual member's profile with respect to a given community. The validity of our theoretical results is further demonstrated by via numerical experiments in both real and synthetic data examples.


title: Efficiency in Multiple-Type Housing Markets

abstract: We consider multiple-type housing markets (Moulin, 1995), which extend Shapley-Scarf housing markets (Shapley and Scarf, 1974) from one dimension to higher dimensions. In this model, Pareto efficiency is incompatible with individual rationality and strategy-proofness (Konishi et al., 2001). Therefore, we consider two weaker efficiency properties: coordinatewise efficiency and pairwise efficiency. We show that these two properties both (i) are compatible with individual rationality and strategy-proofness, and (ii) help us to identify two specific mechanisms. To be more precise, on various domains of preference profiles, together with other well-studied properties (individual rationality, strategy-proofness, and non-bossiness), coordinatewise efficiency and pairwise efficiency respectively characterize two extensions of the top-trading-cycles mechanism (TTC): the coordinatewise top-trading-cycles mechanism (cTTC) and the bundle top-trading-cycles mechanism (bTTC). Moreover, we propose several variations of our efficiency properties, and we find that each of them is either satisfied by cTTC or bTTC, or leads to an impossibility result (together with individual rationality and strategy-proofness). Therefore, our characterizations can be primarily interpreted as a compatibility test: any reasonable efficiency property that is not satisfied by cTTC or bTTC could be considered incompatible with individual rationality and strategy-proofness. The external validity of our results in the context of general environments is also discussed. For multiple-type housing markets with strict preferences, our characterization of bTTC constitutes the first characterization of an extension of the prominent TTC mechanism


title: Sulfur Vacancy Related Optical Transitions in Graded Alloys of MoxW1-xS2 Monolayers

abstract: Engineering the electronic bandgap is of utmost importance in diverse domains ranging from information processing and communication technology to sensing and renewable energy applications. Transition metal dichalcogenides (TMDCs) provide an ideal platform for achieving this goal through techniques including alloying, doping, and creating in-plane or out-of-plane heterostructures. Here, we report on the synthesis and characterization of atomically controlled two-dimensional graded alloy of MoxW1-xS2, wherein the center region is Mo rich and gradually transitions towards a higher concentration of W atoms at the edges. This unique alloy structure leads to a continuously tunable bandgap, ranging from 1.85 eV in the center to 1.95 eV at the edges consistent with the larger band gap of WS2 relative to MoS2. Aberration-corrected high-angle annular dark-field scanning transmission electron microscopy showed the presence of sulfur monovacancy, VS, whose concentration varied across the graded MoxW1-xS2 layer as a function of Mo content with the highest value in the Mo rich center region. Optical spectroscopy measurements supported by ab initio calculations reveal a doublet electronic state of VS, which was split due to the spin-orbit interaction, with energy levels close to the conduction band or deep in the band gap depending on whether the vacancy is surrounded by W atoms or Mo atoms. This unique electronic configuration of VS in the alloy gave rise to four spin-allowed optical transitions between the VS levels and the valence bands. Our work highlights the potential of simultaneous defect and optical engineering of novel devices based on these 2D monolayers.


title: Incorporating Neuro-Inspired Adaptability for Continual Learning in Artificial Intelligence

abstract: Continual learning aims to empower artificial intelligence (AI) with strong adaptability to the real world. For this purpose, a desirable solution should properly balance memory stability with learning plasticity, and acquire sufficient compatibility to capture the observed distributions. Existing advances mainly focus on preserving memory stability to overcome catastrophic forgetting, but remain difficult to flexibly accommodate incremental changes as biological intelligence (BI) does. By modeling a robust Drosophila learning system that actively regulates forgetting with multiple learning modules, here we propose a generic approach that appropriately attenuates old memories in parameter distributions to improve learning plasticity, and accordingly coordinates a multi-learner architecture to ensure solution compatibility. Through extensive theoretical and empirical validation, our approach not only clearly enhances the performance of continual learning, especially over synaptic regularization methods in task-incremental settings, but also potentially advances the understanding of neurological adaptive mechanisms, serving as a novel paradigm to progress AI and BI together.


title: Satellite-MEC Integration for 6G Internet of Things: Minimal Structures, Advances, and Prospects

abstract: The sixth-generation (6G) network is envisioned to shift its focus from the service requirements of human beings' to those of Internet-of-Things (IoT) devices'. Satellite communications are indispensable in 6G to support IoT devices operating in rural or disastrous areas. However, satellite networks face the inherent challenges of low data rate and large latency, which may not support computation-intensive and delay-sensitive IoT applications. Mobile Edge Computing (MEC) is a burgeoning paradigm by extending cloud computing capabilities to the network edge. By utilizing MEC technologies, the resource-limited IoT devices can access abundant computation resources with low latency, which enables the highly demanding applications while meeting strict delay requirements. Therefore, an integration of satellite communications and MEC technologies is necessary to better enable 6G IoT. In this survey, we provide a holistic overview of satellite-MEC integration. We first discuss the main challenges of the integrated satellite-MEC network and propose three minimal integrating structures. For each minimal structure, we summarize the current advances in terms of their research topics, after which we discuss the lessons learned and future directions of the minimal structure. Finally, we outline potential research issues to envision a more intelligent, more secure, and greener integrated satellite-MEC network.


title: On k-Mer-Based and Maximum Likelihood Estimation Algorithms for Trace Reconstruction

abstract: The goal of the trace reconstruction problem is to recover a string $x\in\{0,1\}^n$ given many independent {\em traces} of $x$, where a trace is a subsequence obtained from deleting bits of $x$ independently with some given probability $p\in [0,1).$ A recent result of Chase (STOC 2021) shows how $x$ can be determined (in exponential time) from $\exp(\widetilde{O}(n^{1/5}))$ traces. This is the state-of-the-art result on the sample complexity of trace reconstruction. In this paper we consider two kinds of algorithms for the trace reconstruction problem. Our first, and technically more involved, result shows that any $k$-mer-based algorithm for trace reconstruction must use $\exp(\Omega(n^{1/5}))$ traces, under the assumption that the estimator requires $poly(2^k, 1/\varepsilon)$ traces, thus establishing the optimality of this number of traces. The analysis of this result also shows that the analysis technique used by Chase (STOC 2021) is essentially tight, and hence new techniques are needed in order to improve the worst-case upper bound. Our second, simple, result considers the performance of the Maximum Likelihood Estimator (MLE), which specifically picks the source string that has the maximum likelihood to generate the samples (traces). We show that the MLE algorithm uses a nearly optimal number of traces, \ie, up to a factor of $n$ in the number of samples needed for an optimal algorithm, and show that this factor of $n$ loss may be necessary under general ``model estimation'' settings.


title: ICARUS: An Android-Based Unmanned Aerial Vehicle (UAV) Search and Rescue Eye in the Sky

abstract: The purpose of this paper is to develop an unmanned aerial vehicle (UAV) using a quadcopter with the capability of video surveillance, map coordinates, a deployable parachute with a medicine kit or a food pack as a payload, a collision warning system, remotely controlled, integrated with an android application to assist in search and rescue operations. Applied research for the development of the functional prototype, quantitative and descriptive statistics to summarize data by describing the relationship between variables in a sample or population. The quadcopter underwent an evaluation using a survey instrument to test its acceptability using predefined variables to select respondents within Caloocan City and Quezon City, Philippines. Demographic profiles and known issues and concerns were answered by 30 respondents. The results were summarized and distributed in Tables 1 and 2. In terms of demographic profiles, the number of SAR operators within the specified areas is distributed equally, most are male, single, and within the age bracket of 31 and above. In issues and concerns, the most common type of search and rescue was ground search and rescue. Human error is the primary cause of most injuries in operating units. The prototype was useful and everyone agreed, in terms of acceptability, drone technology will improve search and rescue operations. The innovative way of utilizing Android and drone technology is a new step towards the improvement of SAR operations in the Philippines. The LiPo battery must be replaced with a higher capacity and the drone operator should undergo a training course and secure a permit from the Civil Aviation Authority of the Philippines (CAAP).


title: WSAM: Visual Explanations from Style Augmentation as Adversarial Attacker and Their Influence in Image Classification

abstract: Currently, style augmentation is capturing attention due to convolutional neural networks (CNN) being strongly biased toward recognizing textures rather than shapes. Most existing styling methods either perform a low-fidelity style transfer or a weak style representation in the embedding vector. This paper outlines a style augmentation algorithm using stochastic-based sampling with noise addition to improving randomization on a general linear transformation for style transfer. With our augmentation strategy, all models not only present incredible robustness against image stylizing but also outperform all previous methods and surpass the state-of-the-art performance for the STL-10 dataset. In addition, we present an analysis of the model interpretations under different style variations. At the same time, we compare comprehensive experiments demonstrating the performance when applied to deep neural architectures in training settings.


title: The projected dynamic linear model for time series on the sphere

abstract: Time series on the unit n-sphere arise in directional statistics, compositional data analysis, and many scientific fields. There are few models for such data, and the ones that exist suffer from several limitations: they are often challenging to fit computationally, many of them apply only to the circular case of n = 2, and they are usually based on families of distributions that are not flexible enough to capture the complexities observed in real data. Furthermore, there is little work on Bayesian methods for spherical time series. To address these shortcomings, we propose a state space model based on the projected normal distribution that can be applied to spherical time series of arbitrary dimension. We describe how to perform fully Bayesian offline inference for this model using a simple and efficient Gibbs sampling algorithm, and we develop a Rao-Blackwellized particle filter to perform online inference for streaming data. In an analysis of wind direction time series, we show that the proposed model outperforms competitors in terms of point, interval, and density forecasting.


title: Symmetry-protected flatband condition for Hamiltonians with local symmetry

abstract: We derive symmetry-based conditions for tight-binding Hamiltonians with flatbands to have compact localized eigenstates occupying a single unit cell. The conditions are based on unitary operators commuting with the Hamiltonian and associated with local symmetries that guarantee compact localized states and a flatband. We illustrate the conditions for compact localized states and flatbands with simple Hamiltonians with given symmetries. We also apply these results to general cases such as the Hamiltonian with long-range hoppings and higher-dimensional Hamiltonian.


title: Tunable tunnel coupling in a double quantum antidot with cotunneling via localized state

abstract: Controlling tunnel coupling between quantum antidots (QADs) in the quantum Hall (QH) regime is problematic. We propose and demonstrate a scheme for tunable tunnel coupling between two QADs by utilizing a cotunneling process via a localized state as a third QAD. The effective tunnel coupling can be tuned by changing the localized level even with constant nearest-neighbor tunnel couplings. We systematically study the variation of transport characteristics in the effectively triple QAD system at the Landau level filling factor $\nu =2$. The tunable tunnel coupling is clarified by analyzing the anti-crossing of Coulomb blockade peaks in the charge stability diagram, in agreement with numerical simulations based on the master equation. The scheme is attractive for studying coherence and interaction in QH systems.


title: Quasi-deterministic Localization of Er Emitters in Thin Film TiO$_2$ through Submicron-scale Crystalline Phase Control

abstract: With their shielded 4f orbitals, rare-earth ions (REIs) offer optical and electron spin transitions with good coherence properties even when embedded in a host crystal matrix, highlighting their utility as promising quantum emitters and memories for quantum information processing. Among REIs, trivalent erbium (Er$^{3+}$) uniquely has an optical transition in the telecom C-band, ideal for transmission over optical fibers, and making it well-suited for applications in quantum communication. The deployment of Er$^{3+}$ emitters into a thin film TiO$_2$ platform has been a promising step towards scalable integration; however, like many solid-state systems, the deterministic spatial placement of quantum emitters remains an open challenge. We investigate laser annealing as a means to locally tune the optical resonance of Er$^{3+}$ emitters in TiO$_2$ thin films on Si. Using both nanoscale X-ray diffraction measurements and cryogenic photoluminescence spectroscopy, we show that tightly focused below-gap laser annealing can induce anatase to rutile phase transitions in a nearly diffraction-limited area of the films and improve local crystallinity through grain growth. As a percentage of the Er:TiO$_2$ is converted to rutile, the Er$^{3+}$ optical transition blueshifts by 13 nm. We explore the effects of changing laser annealing time and show that the amount of optically active Er:rutile increases linearly with laser power. We additionally demonstrate local phase conversion on microfabricated Si structures, which holds significance for quantum photonics.


title: Optimal Data Distribution for Big-Data All-to-All Comparison using Finite Projective and Affine Planes

abstract: An All-to-All Comparison problem is where every element of a data set is compared with every other element. This is analogous to projective planes and affine planes where every pair of points share a common line. For large data sets, the comparison computations can be distributed across a cluster of computers. All-to-All Comparison does not fit the highly successful Map-Reduce pattern, so a new distributed computing framework is required. The principal challenge is to distribute the data in such a way that computations can be scheduled where the data already lies. This paper uses projective planes, affine planes and balanced incomplete block designs to design data distributions and schedule computations. The data distributions based on these geometric and combinatorial structures achieve minimal data replication whilst balancing the computational load across the cluster.


title: Relations between generalised Wishart matrices, the Muttalib--Borodin model and matrix spherical functions

abstract: Generalised uncorrelated Wishart matrices are formed out of rectangular standard Gaussian data matrices with a certain pattern of zero entries. Development of the theory in the real and complex cases has proceeded along separate line. For example, emphasis in the real case has been placed on the Bellman and Riesz distributions, while that in the complex case has been shown to be closely related to the Muttalib-Borodin model. In this work, as well as uniting the lines of development, a tie in with matrix spherical functions is identified in the context of deducing the eigenvalue probability density function from the joint element probability density function.


title: Exploring the Limits of Historical Information for Temporal Knowledge Graph Extrapolation

abstract: Temporal knowledge graphs, representing the dynamic relationships and interactions between entities over time, have been identified as a promising approach for event forecasting. However, a limitation of most temporal knowledge graph reasoning methods is their heavy reliance on the recurrence or periodicity of events, which brings challenges to inferring future events related to entities that lack historical interaction. In fact, the current state of affairs is often the result of a combination of historical information and underlying factors that are not directly observable. To this end, we investigate the limits of historical information for temporal knowledge graph extrapolation and propose a new event forecasting model called Contrastive Event Network (CENET) based on a novel training framework of historical contrastive learning. CENET learns both the historical and non-historical dependency to distinguish the most potential entities that best match the given query. Simultaneously, by launching contrastive learning, it trains representations of queries to probe whether the current moment is more dependent on historical or non-historical events. These representations further help train a binary classifier, whose output is a boolean mask, indicating the related entities in the search space. During the inference process, CENET employs a mask-based strategy to generate the final results. We evaluate our proposed model on five benchmark graphs. The results demonstrate that CENET significantly outperforms all existing methods in most metrics, achieving at least 8.3% relative improvement of Hits@1 over previous state-of-the-art baselines on event-based datasets.


title: Generative Model for Models: Rapid DNN Customization for Diverse Tasks and Resource Constraints

abstract: Unlike cloud-based deep learning models that are often large and uniform, edge-deployed models usually demand customization for domain-specific tasks and resource-limited environments. Such customization processes can be costly and time-consuming due to the diversity of edge scenarios and the training load for each scenario. Although various approaches have been proposed for rapid resource-oriented customization and task-oriented customization respectively, achieving both of them at the same time is challenging. Drawing inspiration from the generative AI and the modular composability of neural networks, we introduce NN-Factory, an one-for-all framework to generate customized lightweight models for diverse edge scenarios. The key idea is to use a generative model to directly produce the customized models, instead of training them. The main components of NN-Factory include a modular supernet with pretrained modules that can be conditionally activated to accomplish different tasks and a generative module assembler that manipulate the modules according to task and sparsity requirements. Given an edge scenario, NN-Factory can efficiently customize a compact model specialized in the edge task while satisfying the edge resource constraints by searching for the optimal strategy to assemble the modules. Based on experiments on image classification and object detection tasks with different edge devices, NN-Factory is able to generate high-quality task- and resource-specific models within few seconds, faster than conventional model customization approaches by orders of magnitude.


title: PBFormer: Capturing Complex Scene Text Shape with Polynomial Band Transformer

abstract: We present PBFormer, an efficient yet powerful scene text detector that unifies the transformer with a novel text shape representation Polynomial Band (PB). The representation has four polynomial curves to fit a text's top, bottom, left, and right sides, which can capture a text with a complex shape by varying polynomial coefficients. PB has appealing features compared with conventional representations: 1) It can model different curvatures with a fixed number of parameters, while polygon-points-based methods need to utilize a different number of points. 2) It can distinguish adjacent or overlapping texts as they have apparent different curve coefficients, while segmentation-based or points-based methods suffer from adhesive spatial positions. PBFormer combines the PB with the transformer, which can directly generate smooth text contours sampled from predicted curves without interpolation. A parameter-free cross-scale pixel attention (CPA) module is employed to highlight the feature map of a suitable scale while suppressing the other feature maps. The simple operation can help detect small-scale texts and is compatible with the one-stage DETR framework, where no postprocessing exists for NMS. Furthermore, PBFormer is trained with a shape-contained loss, which not only enforces the piecewise alignment between the ground truth and the predicted curves but also makes curves' positions and shapes consistent with each other. Without bells and whistles about text pre-training, our method is superior to the previous state-of-the-art text detectors on the arbitrary-shaped text datasets.


title: Few-Shot Object Detection via Synthetic Features with Optimal Transport

abstract: Few-shot object detection aims to simultaneously localize and classify the objects in an image with limited training samples. However, most existing few-shot object detection methods focus on extracting the features of a few samples of novel classes that lack diversity. Hence, they may not be sufficient to capture the data distribution. To address that limitation, in this paper, we propose a novel approach in which we train a generator to generate synthetic data for novel classes. Still, directly training a generator on the novel class is not effective due to the lack of novel data. To overcome that issue, we leverage the large-scale dataset of base classes. Our overarching goal is to train a generator that captures the data variations of the base dataset. We then transform the captured variations into novel classes by generating synthetic data with the trained generator. To encourage the generator to capture data variations on base classes, we propose to train the generator with an optimal transport loss that minimizes the optimal transport distance between the distributions of real and synthetic data. Extensive experiments on two benchmark datasets demonstrate that the proposed method outperforms the state of the art. Source code will be available.


title: Directional Optimism for Safe Linear Bandits

abstract: The safe linear bandit problem is a version of the classical stochastic linear bandit problem where the learner's actions must satisfy an uncertain constraint at all rounds. Due its applicability to many real-world settings, this problem has received considerable attention in recent years. By leveraging a novel approach that we call directional optimism, we find that it is possible to achieve improved regret guarantees for both well-separated problem instances and action sets that are finite star convex sets. Furthermore, we propose a novel algorithm for this setting that improves on existing algorithms in terms of empirical performance, while enjoying matching regret guarantees. Lastly, we introduce a generalization of the safe linear bandit setting where the constraints are convex and adapt our algorithms and analyses to this setting by leveraging a novel convex-analysis based approach.


title: Optometrist's Algorithm for Personalizing Robot-Human Handovers

abstract: With an increasing interest in human-robot collaboration, there is a need to develop robot behavior while keeping the human user's preferences in mind. Highly skilled human users doing delicate tasks require their robot partners to behave according to their work habits and task constraints. To achieve this, we present the use of the Optometrist's Algorithm (OA) to interactively and intuitively personalize robot-human handovers. Using this algorithm, we tune controller parameters for speed, location, and effort. We study the differences in the fluency of the handovers before and after tuning and the subjective perception of this process in a study of $N=30$ non-expert users of mixed background -- evaluating the OA. The users evaluate the interaction on trust, safety, and workload scales, amongst other measures. They assess our tuning process to be engaging and easy to use. Personalization leads to an increase in the fluency of the interaction. Our participants utilize the wide range of parameters ending up with their unique personalized handover.


title: Investigation of flow field characteristics and performance of carbon-hydrogen/oxygen-rich air rotating detonation engine

abstract: Numerical simulations were conducted to investigate the flow field characteristics and performance of a carbon-hydrogen/oxygen-rich air rotating detonation engine (RDE). Three distinct flow field structures were observed in the gas-solid two-phase RDE. The results show that reducing the hydrogen equivalence ratio and particle diameter both contribute to the transition from gas-phase single-front detonation to gas-solid two-phase double-front detonation and further to gas-solid two-phase single-front detonation. The effects of solid fuel particle diameter and hydrogen equivalence ratio on the flow field characteristics and performance are revealed. The results show that reducing the particle diameter enhances the speed of the two-phase detonation wave, improves the pressure gain in the combustion chamber, and increases the specific impulse. Decreasing the hydrogen equivalence ratio reduces the detonation wave speed, enhances the stability of the detonation flow field, increases the pressure gain in the detonation wave and combustion chamber and boosts thrust. Furthermore, the selection of operational conditions to ensure stable operation and optimal performance of the RDE is discussed. In order to take into account the requirements of stability, pressure gain performance and propulsion performance, two-phase single-front detonation should be realized in gas-solid two-phase RDE, and smaller hydrogen equivalent ratio and appropriate particle diameter should be selected. According to the conclusion of this study, the particle diameter should be 0.5-1 {\mu}m. Under such conditions, the detonation flow field demonstrates good stability, allowing the RDE to achieve higher pressure gain and specific impulse while maintaining stable operation.


title: Double Public Key Signing Function Oracle Attack on EdDSA Software Implementations

abstract: EdDSA is a standardised elliptic curve digital signature scheme introduced to overcome some of the issues prevalent in the more established ECDSA standard. Due to the EdDSA standard specifying that the EdDSA signature be deterministic, if the signing function were to be used as a public key signing oracle for the attacker, the unforgeability notion of security of the scheme can be broken. This paper describes an attack against some of the most popular EdDSA implementations, which results in an adversary recovering the private key used during signing. With this recovered secret key, an adversary can sign arbitrary messages that would be seen as valid by the EdDSA verification function. A list of libraries with vulnerable APIs at the time of publication is provided. Furthermore, this paper provides two suggestions for securing EdDSA signing APIs against this vulnerability while it additionally discusses failed attempts to solve the issue.


title: TransPrompt v2: A Transferable Prompting Framework for Cross-task Text Classification

abstract: Text classification is one of the most imperative tasks in natural language processing (NLP). Recent advances with pre-trained language models (PLMs) have shown remarkable success on this task. However, the satisfying results obtained by PLMs heavily depend on the large amounts of task-specific labeled data, which may not be feasible in many application scenarios due to data access and privacy constraints. The recently-proposed prompt-based fine-tuning paradigm improves the performance of PLMs for few-shot text classification with task-specific templates. Yet, it is unclear how the prompting knowledge can be transferred across tasks, for the purpose of mutual reinforcement. We propose TransPrompt v2, a novel transferable prompting framework for few-shot learning across similar or distant text classification tasks. For learning across similar tasks, we employ a multi-task meta-knowledge acquisition (MMA) procedure to train a meta-learner that captures the cross-task transferable knowledge. For learning across distant tasks, we further inject the task type descriptions into the prompt, and capture the intra-type and inter-type prompt embeddings among multiple distant tasks. Additionally, two de-biasing techniques are further designed to make the trained meta-learner more task-agnostic and unbiased towards any tasks. After that, the meta-learner can be adapted to each specific task with better parameters initialization. Extensive experiments show that TransPrompt v2 outperforms single-task and cross-task strong baselines over multiple NLP tasks and datasets. We further show that the meta-learner can effectively improve the performance of PLMs on previously unseen tasks. In addition, TransPrompt v2 also outperforms strong fine-tuning baselines when learning with full training sets.


title: A massive quiescent galaxy in a group environment at $z=4.53$

abstract: We report on the spectroscopic confirmation of a massive quiescent galaxy at $z_\mathrm{spec}=4.53$ in the COSMOS field. The object was first identified as a galaxy with suppressed star formation at $z_\mathrm{phot}\sim4.65$ from the COSMOS2020 catalog. The follow-up spectroscopy with Keck/MOSFIRE in the $K$-band reveals faint [OII] emission and the Balmer break, indicative of evolved stellar populations. We perform the spectral energy distribution fitting using photometry and spectrum to infer physical properties. The obtained stellar mass is high ($M_*\sim 10^{10.8}\,M_\odot$) and the current star formation rate is more than 1 dex below that of main-sequence galaxies at $z=4.5$. Its star formation history suggests that this galaxy experienced rapid quenching from $z\sim 5$. The galaxy is among the youngest quiescent galaxies confirmed so far at $z_\mathrm{spec}>3$ with $z_\mathrm{form}\sim5.2$ ($200\,\mathrm{Myr}$ ago), which is the epoch when 50\% of total stellar mass was formed. A unique aspect of the galaxy is that it is in an extremely dense region; there are four massive star-forming galaxies at $4.4<z_\mathrm{phot}<4.7$ located within 150 physical kpc from the galaxy. Interestingly, three of them have strongly overlapping virial radii with that of the central quiescent galaxy ($\sim 70\,\mathrm{kpc}$), suggesting that the over-density region is likely the highest redshift candidate of a dense group with a spectroscopically confirmed quiescent galaxy at the center. The group provides us with a unique opportunity to gain insights into the role of the group environment for quenching at $z\sim5$, which corresponds to the formation epoch of massive elliptical galaxies in the local Universe.


title: SALI: A Scalable Adaptive Learned Index Framework based on Probability Models

abstract: The growth in data storage capacity and the increasing demands for high performance have created several challenges for concurrent indexing structures. One promising solution is learned indexes, which use a learning-based approach to fit the distribution of stored data and predictively locate target keys, significantly improving lookup performance. Despite their advantages, prevailing learned indexes exhibit constraints and encounter issues of scalability on multi-core data storage. This paper introduces SALI, the Scalable Adaptive Learned Index framework, which incorporates two strategies aimed at achieving high scalability, improving efficiency, and enhancing the robustness of the learned index. Firstly, a set of node-evolving strategies is defined to enable the learned index to adapt to various workload skews and enhance its concurrency performance in such scenarios. Secondly, a lightweight strategy is proposed to maintain statistical information within the learned index, with the goal of further improving the scalability of the index. Furthermore, to validate their effectiveness, SALI applied the two strategies mentioned above to the learned index structure that utilizes fine-grained write locks, known as LIPP. The experimental results have demonstrated that SALI significantly enhances the insertion throughput with 64 threads by an average of 2.04x compared to the second-best learned index. Furthermore, SALI accomplishes a lookup throughput similar to that of LIPP+.


title: Some identities on degenerate harmonic and degenerate higher-order harmonic numbers

abstract: The harmonic numbers and higher-order harmonic numbers appear frequently in several areas which are related to combinatorial identities, many expressions involving special functions in analytic number theory, and analysis of algorithms. The aim of this paper is to study the degenerate harmonic and degenerate higher-order harmonic numbers, which are respectively degenerate versions of the harmonic and higher-order harmonic numbers, in connection with the degenerate zeta and degenerate Hurwitz zeta function. Here the degenerate zeta and degenerate Hurwitz zeta function are respectively degenerate versions of the Riemann zeta and Hurwitz zeta function. We show that several infinite sums involving the degenerate higher-order harmonic numbers can be expressed in terms of the degenerate zeta function. Furthermore, we demonstrate that an infinite sum involving finite sums of products of the degenerate harmonic numbers can be represented by using the degenerate Hurwitz zeta function.


title: CAPS: A Practical Partition Index for Filtered Similarity Search

abstract: With the surging popularity of approximate near-neighbor search (ANNS), driven by advances in neural representation learning, the ability to serve queries accompanied by a set of constraints has become an area of intense interest. While the community has recently proposed several algorithms for constrained ANNS, almost all of these methods focus on integration with graph-based indexes, the predominant class of algorithms achieving state-of-the-art performance in latency-recall tradeoffs. In this work, we take a different approach and focus on developing a constrained ANNS algorithm via space partitioning as opposed to graphs. To that end, we introduce Constrained Approximate Partitioned Search (CAPS), an index for ANNS with filters via space partitions that not only retains the benefits of a partition-based algorithm but also outperforms state-of-the-art graph-based constrained search techniques in recall-latency tradeoffs, with only 10% of the index size.


title: Readout using Resonant Tunneling in Silicon Spin Qubits

abstract: Spin qubit systems are one of the promising candidates for quantum computing. The quantum dot (QD) arrays are intensively investigated by many researchers. Because the energy-difference between the up-spin and down-spin states is very small, the detection of the qubit state is of prime importance in this field. Moreover, many wires are required to control qubit systems. Therefore, the integration of qubits and wires is also an important issue. In this study, the measurement process of QD arrays is theoretically investigated using resonant tunneling, controlled by a conventional transistor. It is shown that the number of possible measurements during coherence time can exceed a hundred under the backaction of the measurements owing to the nonlinear characteristics of resonant tunneling. It is also discussed to read out the measurement results by the conventional transistor.


title: C2G2: Controllable Co-speech Gesture Generation with Latent Diffusion Model

abstract: Co-speech gesture generation is crucial for automatic digital avatar animation. However, existing methods suffer from issues such as unstable training and temporal inconsistency, particularly in generating high-fidelity and comprehensive gestures. Additionally, these methods lack effective control over speaker identity and temporal editing of the generated gestures. Focusing on capturing temporal latent information and applying practical controlling, we propose a Controllable Co-speech Gesture Generation framework, named C2G2. Specifically, we propose a two-stage temporal dependency enhancement strategy motivated by latent diffusion models. We further introduce two key features to C2G2, namely a speaker-specific decoder to generate speaker-related real-length skeletons and a repainting strategy for flexible gesture generation/editing. Extensive experiments on benchmark gesture datasets verify the effectiveness of our proposed C2G2 compared with several state-of-the-art baselines. The link of the project demo page can be found at https://c2g2-gesture.github.io/c2_gesture


title: Measurable Functions and Topolgical Algebra

abstract: In this paper we show that if $(X,\mathcal{A})$ is a measurable space and if $Y$ is a topological model of a Lawvere theory $\mathcal{T}$ equipped with $\mathcal{B}$ the Borel $\sigma$-algebra on $Y$, then the set of $\mathcal{B}$-measurable functions from $X$ to $Y$, $\operatorname{Meas}(X,Y)$, is a set-theoretic model of $\mathcal{T}$. As a corollary we give short proofs of the facts that the set of real-valued measurable functions on a measurable space $X$ is a ring and the set of complex-valued measurable functions from $X$ to $\mathbb{C}$ is a ring.


title: Weak Leibniz algebras and transposed Poisson algebras

abstract: An algebra with identities $[a,b]c=2a(bc)-2b(ac), a[b,c]=2(ab)c-2(ac)b$ is called weak Leibniz. We show that weak Leibniz operad is self-dual and is not Koszul. We establish that polarization of any weak Leibniz algebra is transposed Poisson, and, conversely, polarization of any transposed Poisson algebra is weak Leibniz.


title: Pyramid diffractive optical networks for unidirectional magnification and demagnification

abstract: Diffractive deep neural networks (D2NNs) are composed of successive transmissive layers optimized using supervised deep learning to all-optically implement various computational tasks between an input and output field-of-view (FOV). Here, we present a pyramid-structured diffractive optical network design (which we term P-D2NN), optimized specifically for unidirectional image magnification and demagnification. In this P-D2NN design, the diffractive layers are pyramidally scaled in alignment with the direction of the image magnification or demagnification. Our analyses revealed the efficacy of this P-D2NN design in unidirectional image magnification and demagnification tasks, producing high-fidelity magnified or demagnified images in only one direction, while inhibiting the image formation in the opposite direction - confirming the desired unidirectional imaging operation. Compared to the conventional D2NN designs with uniform-sized successive diffractive layers, P-D2NN design achieves similar performance in unidirectional magnification tasks using only half of the diffractive degrees of freedom within the optical processor volume. Furthermore, it maintains its unidirectional image magnification/demagnification functionality across a large band of illumination wavelengths despite being trained with a single illumination wavelength. With this pyramidal architecture, we also designed a wavelength-multiplexed diffractive network, where a unidirectional magnifier and a unidirectional demagnifier operate simultaneously in opposite directions, at two distinct illumination wavelengths. The efficacy of the P-D2NN architecture was also validated experimentally using monochromatic terahertz illumination, successfully matching our numerical simulations. P-D2NN offers a physics-inspired strategy for designing task-specific visual processors.

categories: physics.optics cs.CV cs.NE physics.app-ph


title: Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs

abstract: Although state-of-the-art (SOTA) SAT solvers based on conflict-driven clause learning (CDCL) have achieved remarkable engineering success, their sequential nature limits the parallelism that may be extracted for acceleration on platforms such as the graphics processing unit (GPU). In this work, we propose FastFourierSAT, a highly parallel hybrid SAT solver based on gradient-driven continuous local search (CLS). This is realized by a novel parallel algorithm inspired by the Fast Fourier Transform (FFT)-based convolution for computing the elementary symmetric polynomials (ESPs), which is the major computational task in previous CLS methods. The complexity of our algorithm matches the best previous result. Furthermore, the substantial parallelism inherent in our algorithm can leverage the GPU for acceleration, demonstrating significant improvement over the previous CLS approaches. We also propose to incorporate the restart heuristics in CLS to improve search efficiency. We compare our approach with the SOTA parallel SAT solvers on several benchmarks. Our results show that FastFourierSAT computes the gradient 100+ times faster than previous prototypes implemented on CPU. Moreover, FastFourierSAT solves most instances and demonstrates promising performance on larger-size instances.


title: A general formula for the index of depth stability of edge ideals

abstract: By a classical result of Brodmann, the function $\operatorname{depth} R/I^t$ is asymptotically a constant, i.e. there is a number $s$ such that $\operatorname{depth} R/I^t = \operatorname{depth} R/I^s$ for $t > s$. One calls the smallest number $s$ with this property the index of depth stability of $I$ and denotes it by $\operatorname{dstab}(I)$. This invariant remains mysterious til now. The main result of this paper gives an explicit formula for $\operatorname{dstab}(I)$ when $I$ is an arbitrary ideal generated by squarefree monomials of degree 2. That is the first general case where one can characterize $\operatorname{dstab}(I)$ explicitly. The formula expresses $\operatorname{dstab}(I)$ in terms of the associated graph. The proof involves new techniques which relate different topics such as simplicial complexes, systems of linear inequalities, graph parallelizations, and ear decompositions. It provides an effective method for the study of powers of edge ideals.


title: Recursively Summarizing Enables Long-Term Dialogue Memory in Large Language Models

abstract: Recently, large language models (LLMs), such as GPT-4, stand out remarkable conversational abilities, enabling them to engage in dynamic and contextually relevant dialogues across a wide range of topics. However, given a long conversation, these chatbots fail to recall past information and tend to generate inconsistent responses. To address this, we propose to recursively generate summaries/ memory using large language models (LLMs) to enhance long-term memory ability. Specifically, our method first stimulates LLMs to memorize small dialogue contexts and then recursively produce new memory using previous memory and following contexts. Finally, the chatbot can easily generate a highly consistent response with the help of the latest memory. We evaluate our method on both open and closed LLMs, and the experiments on the widely-used public dataset show that our method can generate more consistent responses in a long-context conversation. Also, we show that our strategy could nicely complement both long-context (e.g., 8K and 16K) and retrieval-enhanced LLMs, bringing further long-term dialogue performance. Notably, our method is a potential solution to enable the LLM to model the extremely long context. The code and scripts will be released later.


title: Intrinsic antiferromagnetic topological insulator and axion state in V2WS4

abstract: Intrinsic magnetic topological insulators offers an ideal platform to explore exotic topological phenomena, such as axion electrodynamics, quantum anomalous Hall (QAH) effect and Majorana edge modes. However, these emerging new physical effects have rarely been experimentally observed due to the limited choice of suitable materials. Here, we predict the van der Waals layered V$_2$WS$_4$ and its related materials show intralayer ferromagnetic and interlayer antiferromagnetic exchange interactions. We find extremely rich magnetic topological states in V$_2$WS$_4$, including an antiferromagnetic topological insulator, the axion state with the long-sought quantized topological magnetoelectric effect, three-dimensional QAH state, as well as a collection of QAH insulators and intrinsic axion insulators in odd- and even-layer films, respectively. Remarkably, the N\'eel temperature of V$_2$WS$_4$ is predicted to be much higher than that of MnBi$_2$Te$_4$. These interesting predictions, if realized experimentally, could greatly promote the topological quantum physics research and application.


title: Single-shot single-mode optical two-parameter displacement estimation beyond classical limit

abstract: Uncertainty principle prohibits the precise measurement of both components of displacement parameters in phase space. We have theoretically shown that this limit can be beaten using single-photon states, in a single-shot and single-mode setting [F. Hanamura et al., Phys. Rev. A 104, 062601 (2021)]. In this paper, we validate this by experimentally beating the classical limit. In optics, this is the first experiment to estimate both parameters of displacement using non-Gaussian states. This result is related to many important applications, such as quantum error correction.


title: Interplay of degeneracy and non-degeneracy in fluctuations propagation in coherent feed-forward loop motif

abstract: We present a stochastic framework to decipher fluctuations propagation in classes of coherent feed-forward loops. The systematic contribution of the direct (one-step) and indirect (two-step) pathways is considered to quantify fluctuations of the output node. We also consider both additive and multiplicative integration mechanisms of the two parallel pathways (one-step and two-step). Analytical expression of the output node's coefficient of variation shows contributions of intrinsic, one-step, two-step, and cross-interaction in closed form. We observe a diverse range of degeneracy and non-degeneracy in each of the decomposed fluctuations term and their contribution to the overall output fluctuations of each coherent feed-forward loop motif. Analysis of output fluctuations reveals a maximal level of fluctuations of the coherent feed-forward loop motif of type 1.


title: Subordinated Bessel heat kernels

abstract: We prove new bounds for Bessel heat kernels and Bessel heat kernels subordinated by stable subordinators. In particular, we provide a 3G inequality in the subordinated case.


title: Improving Neural Ranking Models with Traditional IR Methods

abstract: Neural ranking methods based on large transformer models have recently gained significant attention in the information retrieval community, and have been adopted by major commercial solutions. Nevertheless, they are computationally expensive to create, and require a great deal of labeled data for specialized corpora. In this paper, we explore a low resource alternative which is a bag-of-embedding model for document retrieval and find that it is competitive with large transformer models fine tuned on information retrieval tasks. Our results show that a simple combination of TF-IDF, a traditional keyword matching method, with a shallow embedding model provides a low cost path to compete well with the performance of complex neural ranking models on 3 datasets. Furthermore, adding TF-IDF measures improves the performance of large-scale fine tuned models on these tasks.


title: Entanglement Routing over Networks with Time Multiplexed Repeaters

abstract: Quantum networks will be able to service consumers with long-distance entanglement by use of quantum repeaters that generate Bell pairs (or links) with their neighbors, iid with probability $p$ and perform Bell State Measurements (BSMs) on the links that succeed iid with probability $q$. While global link state knowledge is required to maximize the rate of entanglement generation between any two consumers, it increases the protocol latency due to the classical communication requirements and requires long quantum memory coherence times. We propose two entanglement routing protocols that require only local link state knowledge to relax the quantum memory coherence time requirements and reduce the protocol latency. These protocols utilize multi-path routing protocol and time multiplexed repeaters. The time multiplexed repeaters first generate links for $k$-time steps before performing BSMs on any pairs of links. Our two protocols differ in the decision rule used for performing BSMs at the repeater: the first being a static path based routing protocol and second a dynamic distance based routing protocol. The performance of these protocols depends on the quantum network topology and the consumers' location. We observe that the average entanglement rate and the latency increase with the time multiplexing block length, $k$, irrespective of the protocol. When a step function memory decoherence model is introduced such that qubits are held in the quantum memory for an exponentially distributed time with mean $\mu$, an optimal $k$ ($k_\text{opt}$) value appears, such that for increasing $k$ beyond $k_{\rm opt}$ hurts the entanglement rate. $k_{\rm opt}$ decreases with $p$ and increases with $\mu$. $k_{\rm opt}$ appears due to the tradeoff between benefits from time multiplexing and the increased likelihood of previously established Bell pairs decohering due to finite memory coherence times.


title: Dynamical Influence of a Central Massive Object on Double-Barred Galaxies: Self-Destruction Mechanism of Secondary Bars

abstract: Double-barred galaxies exhibit sub-kpc secondary stellar bars that are crucial for channeling gases towards a central massive object (CMO) such as a supermassive black hole or a nuclear star cluster. Recent $N$-body simulations have uncovered a novel galaxy evolution scenario wherein the mass of the CMO increases owing to the secondary bar, resulting in the eventual destruction of the latter. Consequently, the CMO mass growth halts, thus suggesting a maximum CMO mass of $\approx 10^{-3}$ of the stellar mass of the galaxy. This study focused on backbone orbit families, particularly double-frequency orbits, within double-barred galaxies. Consequently, the dynamic influence of a CMO on these orbits was investigated. The results of the study revealed the emergence of a new orbital resonance within the central region of the galaxy upon the introduction of a CMO. Orbits subjected to this resonance become chaotic and fail to support the secondary bar, ultimately resulting in the destruction of the entire structure. This is partly because of the inability of the secondary bar to obtain support from the newly generated orbit families following the appearance of resonance. Through the estimation of the condition of secondary bar destruction in realistic double-bar galaxies with varying pattern speeds, the results of the study established that such destruction occurred when the CMO mass reached $\approx 10^{-3}$ of the galaxy mass. Furthermore, a physical explanation of the galaxy evolution scenario was provided, thereby elucidating the interaction between the CMO and the secondary bar. The understanding of the co-evolution of the secondary bar and the CMO, based on stellar orbital motion, is a crucial step towards future observational studies of stars within the bulge of the Milky Way.


title: SwapMoE: Serving Off-the-shelf MoE-based Large Language Models with Tunable Memory Budget

abstract: Mixture of experts (MoE) is a popular technique to improve capacity of Large Language Models (LLMs) with conditionally-activated parallel experts. However, serving MoE models on memory-constrained devices is challenging due to the large parameter size. Typical solutions such as memory swapping or expert pruning may lead to significantly higher latency or severe accuracy loss. In this paper, we introduce SwapMoE, a framework for efficient serving of MoE-based large language models with tunable memory budgets. The main idea of SwapMoE is to keep a small dynamic set of important experts, namely Virtual Experts, in the main memory for inference, while seamlessly maintaining how the Virtual Experts map to the actual experts. Experiments have shown that SwapMoE can reduce the memory footprint while maintaining reasonable accuracy. For example, on text summarization tasks with Switch Transformer, SwapMoE can reduce the memory consumption from 14.2 GiB to 4.7 GiB, together with 50\% latency reduction and a slight Rouge-2 score drop of 0.041.


title: Ternary superconducting hydrides in the La-Mg-H system

abstract: Ternary or more complex hydrogen-rich hydrides are the main hope of reaching room-temperature superconductivity at high pressures. Their chemical space is vast and its exploration is challenging. Here we report the investigation of the La-Mg-H ternary system using the evolutionary algorithm USPEX at pressures on the range 150-300 GPa. Several ternary superconducting hydrides were found, including thermodynamically stable $P6/mmm$-LaMg$_{3}$H$_{28}$ with $T_{\mathrm{C}}=164$ K at 200 GPa, $P/2m$-LaMgH$_8$, $C2/m$-La$_2$MgH$_{12}$ and $P2/m$-La$_3$MgH$_{16}$. In addition, novel binary hydrides were predicted to be stable at various pressures, such as $Cm$-Mg$_6$H$_{11}$, $P1$-MgH$_{26}$, $Fmm2$-MgH$_{30}$, $P1$-MgH$_{38}$ and $R\overline{3}m$-LaH$_{13}$. We also report several novel low-enthalpy metastable phases, both ternary and binary ones. Finally, we demonstrate important methods of exploring very large chemical spaces and show how they can improve crystal structure prediction.


title: Finite-dimensional leading order dynamics for the fast diffusion equation near extinction

abstract: The fast diffusion equation is analyzed on a bounded domain with Dirichlet boundary conditions, for which solutions are known to extinct in finite time. We construct invariant manifolds that provide a finite-dimensional approximation near the vanishing solution to any prescribed convergence rate.


title: STEC: See-Through Transformer-based Encoder for CTR Prediction

abstract: Click-Through Rate (CTR) prediction holds a pivotal place in online advertising and recommender systems since CTR prediction performance directly influences the overall satisfaction of the users and the revenue generated by companies. Even so, CTR prediction is still an active area of research since it involves accurately modelling the preferences of users based on sparse and high-dimensional features where the higher-order interactions of multiple features can lead to different outcomes. Most CTR prediction models have relied on a single fusion and interaction learning strategy. The few CTR prediction models that have utilized multiple interaction modelling strategies have treated each interaction to be self-contained. In this paper, we propose a novel model named STEC that reaps the benefits of multiple interaction learning approaches in a single unified architecture. Additionally, our model introduces residual connections from different orders of interactions which boosts the performance by allowing lower level interactions to directly affect the predictions. Through extensive experiments on four real-world datasets, we demonstrate that STEC outperforms existing state-of-the-art approaches for CTR prediction thanks to its greater expressive capabilities.


title: Fast immersed boundary method based on weighted quadrature

abstract: Combining sum factorization, weighted quadrature, and row-based assembly enables efficient higher-order computations for tensor product splines. We aim to transfer these concepts to immersed boundary methods, which perform simulations on a regular background mesh cut by a boundary representation that defines the domain of interest. Therefore, we present a novel concept to divide the support of cut basis functions to obtain regular parts suited for sum factorization. These regions require special discontinuous weighted quadrature rules, while Gauss-like quadrature rules integrate the remaining support. Two linear elasticity benchmark problems confirm the derived estimate for the computational costs of the different integration routines and their combination. Although the presence of cut elements reduces the speed-up, its contribution to the overall computation time declines with h-refinement.


title: No accelerating scaling cosmologies at string tree level?

abstract: We investigate the scalar potential of string compactifications in the parametric regime where string loops and higher derivative corrections to 10d supergravity can be ignored and where the fields are rolling down exponential slopes leading to powerlaw FLRW cosmologies, aka scaling solutions. We argue that these scaling solutions, if describing an accelerating expansion, are likely to be perturbatively unstable, for reasons identical to the perturbative instabilities in tree-level dS vacua.


title: Monotonicity and asymptotic behavior of solutions for Riemann-Liouville fractional differential equation

abstract: In this paper, we first investigate the monotonicity and limit problem of the fractional integral functions. By fixed point theorem and these new results of the fractional integral functions, we present that the Riemann-Liouville fractional differential equations has at least one decreasing solution in $C_{1-\beta}^{+}(0,+\infty)$. The asymptotic behavior of solutions is also discussed under some different conditions. The novelty in this paper is that we investigate the asymptotic behavior of Riemann-Liouville fractional differential equations by the monotonicity of functions. Finally, several examples are given to illustrate our main results.


title: Is it an i or an l: Test-time Adaptation of Text Line Recognition Models

abstract: Recognizing text lines from images is a challenging problem, especially for handwritten documents due to large variations in writing styles. While text line recognition models are generally trained on large corpora of real and synthetic data, such models can still make frequent mistakes if the handwriting is inscrutable or the image acquisition process adds corruptions, such as noise, blur, compression, etc. Writing style is generally quite consistent for an individual, which can be leveraged to correct mistakes made by such models. Motivated by this, we introduce the problem of adapting text line recognition models during test time. We focus on a challenging and realistic setting where, given only a single test image consisting of multiple text lines, the task is to adapt the model such that it performs better on the image, without any labels. We propose an iterative self-training approach that uses feedback from the language model to update the optical model, with confident self-labels in each iteration. The confidence measure is based on an augmentation mechanism that evaluates the divergence of the prediction of the model in a local region. We perform rigorous evaluation of our method on several benchmark datasets as well as their corrupted versions. Experimental results on multiple datasets spanning multiple scripts show that the proposed adaptation method offers an absolute improvement of up to 8% in character error rate with just a few iterations of self-training at test time.


title: Adjusting inverse regression for predictors with clustered distribution

abstract: A major family of sufficient dimension reduction (SDR) methods, called inverse regression, commonly require the distribution of the predictor $X$ to have a linear $E(X|\beta^\mathsf{T}X)$ and a degenerate $\mathrm{var}(X|\beta^\mathsf{T}X)$ for the desired reduced predictor $\beta^\mathsf{T}X$. In this paper, we adjust the first and second-order inverse regression methods by modeling $E(X|\beta^\mathsf{T}X)$ and $\mathrm{var}(X|\beta^\mathsf{T}X)$ under the mixture model assumption on $X$, which allows these terms to convey more complex patterns and is most suitable when $X$ has a clustered sample distribution. The proposed SDR methods build a natural path between inverse regression and the localized SDR methods, and in particular inherit the advantages of both; that is, they are $\sqrt{n}$-consistent, efficiently implementable, directly adjustable under the high-dimensional settings, and fully recovering the desired reduced predictor. These findings are illustrated by simulation studies and a real data example at the end, which also suggest the effectiveness of the proposed methods for nonclustered data.


title: R^3: On-device Real-Time Deep Reinforcement Learning for Autonomous Robotics

abstract: Autonomous robotic systems, like autonomous vehicles and robotic search and rescue, require efficient on-device training for continuous adaptation of Deep Reinforcement Learning (DRL) models in dynamic environments. This research is fundamentally motivated by the need to understand and address the challenges of on-device real-time DRL, which involves balancing timing and algorithm performance under memory constraints, as exposed through our extensive empirical studies. This intricate balance requires co-optimizing two pivotal parameters of DRL training -- batch size and replay buffer size. Configuring these parameters significantly affects timing and algorithm performance, while both (unfortunately) require substantial memory allocation to achieve near-optimal performance. This paper presents R^3, a holistic solution for managing timing, memory, and algorithm performance in on-device real-time DRL training. R^3 employs (i) a deadline-driven feedback loop with dynamic batch sizing for optimizing timing, (ii) efficient memory management to reduce memory footprint and allow larger replay buffer sizes, and (iii) a runtime coordinator guided by heuristic analysis and a runtime profiler for dynamically adjusting memory resource reservations. These components collaboratively tackle the trade-offs in on-device DRL training, improving timing and algorithm performance while minimizing the risk of out-of-memory (OOM) errors. We implemented and evaluated R^3 extensively across various DRL frameworks and benchmarks on three hardware platforms commonly adopted by autonomous robotic systems. Additionally, we integrate R^3 with a popular realistic autonomous car simulator to demonstrate its real-world applicability. Evaluation results show that R^3 achieves efficacy across diverse platforms, ensuring consistent latency performance and timing predictability with minimal overhead.


title: OSA-HCIM: On-The-Fly Saliency-Aware Hybrid SRAM CIM with Dynamic Precision Configuration

abstract: Computing-in-Memory (CIM) has shown great potential for enhancing efficiency and performance for deep neural networks (DNNs). However, the lack of flexibility in CIM leads to an unnecessary expenditure of computational resources on less critical operations, and a diminished Signal-to-Noise Ratio (SNR) when handling more complex tasks, significantly hindering the overall performance. Hence, we focus on the integration of CIM with Saliency-Aware Computing -- a paradigm that dynamically tailors computing precision based on the importance of each input. We propose On-the-fly Saliency-Aware Hybrid CIM (OSA-HCIM) offering three primary contributions: (1) On-the-fly Saliency-Aware (OSA) precision configuration scheme, which dynamically sets the precision of each MAC operation based on its saliency, (2) Hybrid CIM Array (HCIMA), which enables simultaneous operation of digital-domain CIM (DCIM) and analog-domain CIM (ACIM) via split-port 6T SRAM, and (3) an integrated framework combining OSA and HCIMA to fulfill diverse accuracy and power demands. Implemented on a 65nm CMOS process, OSA-HCIM demonstrates an exceptional balance between accuracy and resource utilization. Notably, it is the first CIM design to incorporate a dynamic digital-to-analog boundary, providing unprecedented flexibility for saliency-aware computing. OSA-HCIM achieves a 1.95x enhancement in energy efficiency, while maintaining minimal accuracy loss compared to DCIM when tested on CIFAR100 dataset.


title: Optimization via conformal Hamiltonian systems on manifolds

abstract: In this work we propose a method to perform optimization on manifolds. We assume to have an objective function $f$ defined on a manifold and think of it as the potential energy of a mechanical system. By adding a momentum-dependent kinetic energy we define its Hamiltonian function, which allows us to write the corresponding Hamiltonian system. We make it conformal by introducing a dissipation term: the result is the continuous model of our scheme. We solve it via splitting methods (Lie-Trotter and leapfrog): we combine the RATTLE scheme, approximating the conserved flow, with the exact dissipated flow. The result is a conformal symplectic method for constant stepsizes. We also propose an adaptive stepsize version of it. We test it on an example, the minimization of a function defined on a sphere, and compare it with the usual gradient descent method.


title: Quantum phases of the biased two-chain-coupled Bose-Hubbard Ladder

abstract: We investigate the quantum phases of bosons in a two-chain-coupled ladder. This bosonic ladder is generally in a biased configuration, meaning that the two chains of the ladder can have dramatically different on-site interactions and potential energies. Adopting the numerical density-matrix renormalization-group method, we analyze the phase transitions in various parameter spaces. We find signatures of both insulating-to-superfluid and superfluid-to-insulating quantum phase transitions as the interchain tunnelling is increased. Interestingly, tunning the interaction to some intermediate values, the system can exhibit a reentrant quantum phase transition between insulating and superfluid phases. We show that for infinite interaction bias, the model is amenable to some analytical treatments, whose prediction about the phase boundary is in great agreement with the numerical results. We finally clarify some critical parameters which separate the system into regimes with distinct phase behaviours, and briefly compare typical properties of the biased and unbiased bosonic ladder systems. Our work enriches the Bose-Hubbard physics.