title: Autonomous robotic re-alignment for face-to-face underwater human-robot interaction

abstract: The use of autonomous underwater vehicles (AUVs) to accomplish traditionally challenging and dangerous tasks has proliferated thanks to advances in sensing, navigation, manipulation, and on-board computing technologies. Utilizing AUVs in underwater human-robot interaction (UHRI) has witnessed comparatively smaller levels of growth due to limitations in bi-directional communication and significant technical hurdles to bridge the gap between analogies with terrestrial interaction strategies and those that are possible in the underwater domain. A necessary component to support UHRI is establishing a system for safe robotic-diver approach to establish face-to-face communication that considers non-standard human body pose. In this work, we introduce a stereo vision system for enhancing UHRI that utilizes three-dimensional reconstruction from stereo image pairs and machine learning for localizing human joint estimates. We then establish a convention for a coordinate system that encodes the direction the human is facing with respect to the camera coordinate frame. This allows automatic setpoint computation that preserves human body scale and can be used as input to an image-based visual servo control scheme. We show that our setpoint computations tend to agree both quantitatively and qualitatively with experimental setpoint baselines. The methodology introduced shows promise for enhancing UHRI by improving robotic perception of human orientation underwater.


title: Gate-tunable topological phases in superlattice modulated bilayer graphene

abstract: Superlattice potential modulation can produce flat minibands in Bernal-stacked bilayer graphene. In this work we study how band topology and interaction-induced symmetry-broken phases in this system are controlled by tuning the displacement field and the shape and strength of the superlattice potential. We use an analytic perturbative analysis to demonstrate that topological flat bands are favored by a honeycomb-lattice-shaped potential, and numerics to show that the robustness of topological bands depends on both the displacement field strength and the periodicity of the superlattice potential. At integer fillings of the topological flat bands, the strength of the displacement field and the superlattice potential tune phase transitions between quantum anomalous Hall insulator, trivial insulator, and metallic states. We present mean-field phase diagrams in a gate voltage parameter space at filling factor $\nu=1$, and discuss the prospects of realizing quantum anomalous Hall insulators and fractional Chern insulators when the superlattice potential modulation is produced by dielectric patterning or adjacent moir\'e materials.


title: The ALMA-QUARKS survey: Detection of two extremely dense substructures in a massive prestellar core

abstract: Only a handful of massive starless core candidates have been discovered so far, but none of them have been fully confirmed. Within the MM1 clump in the filamentary infrared dark cloud G34.43+0.24 that was covered by the ALMA-ATOMS survey at Band 3 ($\sim2\arcsec$, 6000\,au) and the ALMA-QUARKS survey at Band 6 ($\sim 0.3\arcsec$, 900\,au), two prestellar core candidates MM1-C and E1 with masses of 71 and 20 \solarmass~and radii of 2100--4400\,au were discovered. The two cores show no obvious sign of star-formation activities. In particular, MM1-C is a very promising massive prestellar core candidate with a total gas mass of 71\,\solarmass. Within MM1-C, we detected two extremely dense substructures, C1 and C2, as characterized by their high densities of $\rm n_{H_2}\sim 10^{8-9} cm^{-3}$. Moreover, evidence of further fragmentation in C2 was also revealed. We have detected the primordial fragmentation in the earliest stage of massive star formation, and we speculate that MM1-C would be the birthplace of a massive multiple system. However, we cannot fully rule out the possibility that the massive prestellar core MM1-C will just form a cluster of low-mass stars if it undergoes further fragmentation.


title: Divergent Characteristics of Biomedical Research across Publication Types: A Quantitative Analysis on the Aging-related Research

abstract: This paper investigates differences in characteristics across publication types for aging-related genetic research. We utilized bibliometric data for five model species retrieved from authoritative databases including PubMed. Publications are classified into types according to PubMed. Results indicate substantial divergence across publication types in attention paid to aging-related research, scopes of studied genes, and topical preferences. For instance, comparative studies and meta-analyses show a greater focus on aging than validation studies. Reviews concentrate more on cell biology while clinical studies emphasize translational topics. Publication types also manifest variations in highly studied genes, like APOE for reviews versus GH1 for clinical studies. Despite differences, top genes like insulin are universally emphasized. Publication types demonstrate similar levels of imbalance in research efforts to genes. Differences also exist in bibliometrics like authorship numbers, citation counts, etc. Publication types show distinct preferences for journals of certain topical specialties and scope of readership. Overall, findings showcase distinct characteristics of publication types in studying aging-related genetics, owing to their unique nature and objectives. This study is the first endeavor to systematically depict the inherent structure of a biomedical research field from the perspective of publication types and provides insights into knowledge production and evaluation patterns across biomedical communities.


title: Analysis and design of rhythmic neuromorphic networks through dominance and bifurcations

abstract: The control of oscillator networks capable of exhibiting complex rhythmic behaviors is a fundamental engineering problem motivated by the analysis and design of a variety of rhythmic biological and artificial systems. This work aims at introducing new theoretical tools, grounded in dominance analysis and bifurcation theory, to analyze and design biological and bio-inspired rhythmic networks. We derive constructive conditions under which the spectral properties of the network adjacency matrix fully and explicitly determine both the emergence of a network rhythm and its detailed profile (oscillator amplitudes and phases). The derived conditions can be used for analysis, prediction, and control of the rhythmic behavior of an existing network or for the design of a rhythmic network with a desired rhythmic behavior. The modeling framework under which we develop our theory is motivated by neuromorphic engineering, which makes our approach compatible with both the architecture of rhythmic biological networks and with the technological constraints needed to design bio-inspired rhythmic networks in compact and energy-efficient neuromorphic electronics.


title: RadarCam-Depth: Radar-Camera Fusion for Depth Estimation with Learned Metric Scale

abstract: We present a novel approach for metric dense depth estimation based on the fusion of a single-view image and a sparse, noisy Radar point cloud. The direct fusion of heterogeneous Radar and image data, or their encodings, tends to yield dense depth maps with significant artifacts, blurred boundaries, and suboptimal accuracy. To circumvent this issue, we learn to augment versatile and robust monocular depth prediction with the dense metric scale induced from sparse and noisy Radar data. We propose a Radar-Camera framework for highly accurate and fine-detailed dense depth estimation with four stages, including monocular depth prediction, global scale alignment of monocular depth with sparse Radar points, quasi-dense scale estimation through learning the association between Radar points and image patches, and local scale refinement of dense depth using a scale map learner. Our proposed method significantly outperforms the state-of-the-art Radar-Camera depth estimation methods by reducing the mean absolute error (MAE) of depth estimation by 25.6% and 40.2% on the challenging nuScenes dataset and our self-collected ZJU-4DRadarCam dataset, respectively. Our code and dataset will be released at \url{https://github.com/MMOCKING/RadarCam-Depth}.


title: Log canonical thresholds of Burniat surfaces with $K^2 = 5$

abstract: In the paper we compute the global log canonical thresholds of the secondary Burniat surfaces with $K^2 = 5$. Furthermore, we establish optimal lower bounds for the log canonical thresholds of members in pluricanonical sublinear systems of the secondary Burniat surfaces with $K^2 = 5$.


title: Implementation of space-division multiplexed entanglement-based quantum cryptography over multicore fiber

abstract: Quantum communication implementations require efficient and reliable quantum channels. Optical fibers have proven to be an ideal candidate for distributing quantum states. Thus, today's efforts address overcoming issues towards high data transmission and long-distance implementations. Here, we experimentally demonstrate the secret key rate enhancement via space-division multiplexing using a multicore fiber. Our multiplexing technique exploits the momentum correlation of photon pairs generated by spontaneous parametric down-conversion. We distributed polarization-entangled photon pairs into opposite cores within a 19-core multicore fiber. We estimated the secret key rates in a configuration with 6 and 12 cores from the entanglement visibility after transmission through 411 m long multicore fiber.


title: Underdetermined Fourier Extensions for Partial Differential Equations on Surfaces

abstract: We analyze and test using Fourier extensions that minimize a Hilbert space norm for the purpose of solving partial differential equations (PDEs) on surfaces. In particular, we prove that the approach is arbitrarily high-order and also show a general result relating boundedness, solvability, and convergence that can be used to find eigenvalues. The method works by extending a solution to a surface PDE into a box-shaped domain so that the differential operators of the extended function agree with the surface differential operators, as in the Closest Point Method. This differs from approaches that require a basis for the surface of interest, which may not be available. Numerical experiments are also provided, demonstrating super-algebraic convergence. Current high-order methods for surface PDEs are often limited to a small class of surfaces or use radial basis functions (RBFs). Our approach offers certain advantages related to conditioning, generality, and ease of implementation. The method is meshfree and works on arbitrary surfaces (closed or non-closed) defined by point clouds with minimal conditions.


title: Integral Representations of solutions to Poisson Equations

abstract: We give a constructive approach for the study of integral representations of classical solutions to Poisson equations under some integrability conditions on data functions.


title: BD-MSA: Body decouple VHR Remote Sensing Image Change Detection method guided by multi-scale feature information aggregation

abstract: The purpose of remote sensing image change detection (RSCD) is to detect differences between bi-temporal images taken at the same place. Deep learning has been extensively used to RSCD tasks, yielding significant results in terms of result recognition. However, due to the shooting angle of the satellite, the impacts of thin clouds, and certain lighting conditions, the problem of fuzzy edges in the change region in some remote sensing photographs cannot be properly handled using current RSCD algorithms. To solve this issue, we proposed a Body Decouple Multi-Scale by fearure Aggregation change detection (BD-MSA), a novel model that collects both global and local feature map information in the channel and space dimensions of the feature map during the training and prediction phases. This approach allows us to successfully extract the change region's boundary information while also divorcing the change region's main body from its boundary. Numerous studies have shown that the assessment metrics and evaluation effects of the model described in this paper on the publicly available datasets DSIFN-CD, S2Looking and WHU-CD are the best when compared to other models.


title: Coupling Graph Neural Networks with Fractional Order Continuous Dynamics: A Robustness Study

abstract: In this work, we rigorously investigate the robustness of graph neural fractional-order differential equation (FDE) models. This framework extends beyond traditional graph neural (integer-order) ordinary differential equation (ODE) models by implementing the time-fractional Caputo derivative. Utilizing fractional calculus allows our model to consider long-term memory during the feature updating process, diverging from the memoryless Markovian updates seen in traditional graph neural ODE models. The superiority of graph neural FDE models over graph neural ODE models has been established in environments free from attacks or perturbations. While traditional graph neural ODE models have been verified to possess a degree of stability and resilience in the presence of adversarial attacks in existing literature, the robustness of graph neural FDE models, especially under adversarial conditions, remains largely unexplored. This paper undertakes a detailed assessment of the robustness of graph neural FDE models. We establish a theoretical foundation outlining the robustness characteristics of graph neural FDE models, highlighting that they maintain more stringent output perturbation bounds in the face of input and graph topology disturbances, compared to their integer-order counterparts. Our empirical evaluations further confirm the enhanced robustness of graph neural FDE models, highlighting their potential in adversarially robust applications.


title: Flexible filtrations for multiparameter persistent homology detect digital images

abstract: Two important problems in the field of Topological Data Analysis are defining practical multifiltrations on objects and showing ability of TDA to detect the geometry. Motivated by the problems, we constuct three multifiltrations named multi-GENEO, multi-DGENEO and mix-GENEO, and prove the stability of both the interleaving distance and multiparameter persistence landscape of multi-GENEO with respect to the pseudometric of the subspace of bounded functions. We also give the estimations of upper bound for multi-DGENEO and mix-GENEO. Finally, we provide experiment results on MNIST dataset to demonstrate our bifiltrations have ability to detect geometric and topological differences of digital images.


title: Long-lived topological time-crystalline order on a quantum processor

abstract: Topologically ordered phases of matter elude Landau's symmetry-breaking theory, featuring a variety of intriguing properties such as long-range entanglement and intrinsic robustness against local perturbations. Their extension to periodically driven systems gives rise to exotic new phenomena that are forbidden in thermal equilibrium. Here, we report the observation of signatures of such a phenomenon -- a prethermal topologically ordered time crystal -- with programmable superconducting qubits arranged on a square lattice. By periodically driving the superconducting qubits with a surface-code Hamiltonian, we observe discrete time-translation symmetry breaking dynamics that is only manifested in the subharmonic temporal response of nonlocal logical operators. We further connect the observed dynamics to the underlying topological order by measuring a nonzero topological entanglement entropy and studying its subsequent dynamics. Our results demonstrate the potential to explore exotic topologically ordered nonequilibrium phases of matter with noisy intermediate-scale quantum processors.


title: Large Language Models for Robotics: Opportunities, Challenges, and Perspectives

abstract: Large language models (LLMs) have undergone significant expansion and have been increasingly integrated across various domains. Notably, in the realm of robot task planning, LLMs harness their advanced reasoning and language comprehension capabilities to formulate precise and efficient action plans based on natural language instructions. However, for embodied tasks, where robots interact with complex environments, text-only LLMs often face challenges due to a lack of compatibility with robotic visual perception. This study provides a comprehensive overview of the emerging integration of LLMs and multimodal LLMs into various robotic tasks. Additionally, we propose a framework that utilizes multimodal GPT-4V to enhance embodied task planning through the combination of natural language instructions and robot visual perceptions. Our results, based on diverse datasets, indicate that GPT-4V effectively enhances robot performance in embodied tasks. This extensive survey and evaluation of LLMs and multimodal LLMs across a variety of robotic tasks enriches the understanding of LLM-centric embodied intelligence and provides forward-looking insights toward bridging the gap in Human-Robot-Environment interaction.


title: SiN-on-SOI Optical Phased Array LiDAR for Ultra-Wide Field of View and 4D Sensing

abstract: Three-dimensional (3D) imaging techniques are facilitating the autonomous vehicles to build intelligent system. Optical phased arrays (OPAs) featured by all solid-state configurations are becoming a promising solution for 3D imaging. However, majority of state-of-art OPAs commonly suffer from severe power degradation at the edge of field of view (FoV), resulting in limited effective FoV and deteriorating 3D imaging quality. Here, we synergize chained grating antenna and vernier concept to design a novel OPA for realizing a record wide 160{\deg}-FoV 3D imaging. By virtue of the chained antenna, the OPA exhibits less than 3-dB beam power variation within the 160{\deg} FoV. In addition, two OPAs with different pitch are integrated monolithically to form a quasi-coaxial Vernier OPA transceiver. With the aid of flat beam power profile provided by the chained antennas, the OPA exhibits uniform beam quality at an arbitrary steering angle. The superior beam steering performance enables the OPA to accomplish 160{\deg} wide-FoV 3D imaging based on the frequency-modulated continuous-wave (FMCW) LiDAR scheme. The ranging accuracy is 5.5-mm. Moreover, the OPA is also applied to velocity measurement for 4D sensing. To our best knowledge, it is the first experimental implementation of a Vernier OPA LiDAR on 3D imaging to achieve a remarkable FoV.


title: Deep Efficient Private Neighbor Generation for Subgraph Federated Learning

abstract: Behemoth graphs are often fragmented and separately stored by multiple data owners as distributed subgraphs in many realistic applications. Without harming data privacy, it is natural to consider the subgraph federated learning (subgraph FL) scenario, where each local client holds a subgraph of the entire global graph, to obtain globally generalized graph mining models. To overcome the unique challenge of incomplete information propagation on local subgraphs due to missing cross-subgraph neighbors, previous works resort to the augmentation of local neighborhoods through the joint FL of missing neighbor generators and GNNs. Yet their technical designs have profound limitations regarding the utility, efficiency, and privacy goals of FL. In this work, we propose FedDEP to comprehensively tackle these challenges in subgraph FL. FedDEP consists of a series of novel technical designs: (1) Deep neighbor generation through leveraging the GNN embeddings of potential missing neighbors; (2) Efficient pseudo-FL for neighbor generation through embedding prototyping; and (3) Privacy protection through noise-less edge-local-differential-privacy. We analyze the correctness and efficiency of FedDEP, and provide theoretical guarantees on its privacy. Empirical results on four real-world datasets justify the clear benefits of proposed techniques.


title: Exchange-correlation entropy from the generalized thermal adiabatic connection

abstract: Warm dense matter is a highly energetic phase characterized by strong correlations, thermal effects, and quantum mechanical electrons. Thermal density functional theory is commonly used in simulations of this challenging phase, driving the development of temperature-dependent approximations to the exchange-correlation free energy. Approaches using the adiabatic connection formula are well known at zero temperature and have been recently leveraged at non-zero temperatures as well. In this work, a generalized thermal adiabatic connection (GTAC) formula is proposed, introducing a fictitious temperature parameter. This allows extraction of the exchange-correlation entropy $S_{xc}$ using simulated interaction strength scaling. This procedure, in turn, provides an avenue for approximating the exchange-correlation entropy in a way that preserves consistency with a chosen ground-state approximation. In addition, analysis of $S_{xc}$ as a function of interaction strength suggests new forms for approximations and GTAC itself offers a new framework for exploring both the exact and approximate interplay of temperature, density, and interaction strength across a wide range of conditions.


title: G-Meta: Distributed Meta Learning in GPU Clusters for Large-Scale Recommender Systems

abstract: Recently, a new paradigm, meta learning, has been widely applied to Deep Learning Recommendation Models (DLRM) and significantly improves statistical performance, especially in cold-start scenarios. However, the existing systems are not tailored for meta learning based DLRM models and have critical problems regarding efficiency in distributed training in the GPU cluster. It is because the conventional deep learning pipeline is not optimized for two task-specific datasets and two update loops in meta learning. This paper provides a high-performance framework for large-scale training for Optimization-based Meta DLRM models over the \textbf{G}PU cluster, namely \textbf{G}-Meta. Firstly, G-Meta utilizes both data parallelism and model parallelism with careful orchestration regarding computation and communication efficiency, to enable high-speed distributed training. Secondly, it proposes a Meta-IO pipeline for efficient data ingestion to alleviate the I/O bottleneck. Various experimental results show that G-Meta achieves notable training speed without loss of statistical performance. Since early 2022, G-Meta has been deployed in Alipay's core advertising and recommender system, shrinking the continuous delivery of models by four times. It also obtains 6.48\% improvement in Conversion Rate (CVR) and 1.06\% increase in CPM (Cost Per Mille) in Alipay's homepage display advertising, with the benefit of larger training samples and tasks.


title: Memory-Efficient Personalization using Quantized Diffusion Model

abstract: The rise of billion-parameter diffusion models like Stable Diffusion XL, Imagen, and Dall-E3 markedly advances the field of generative AI. However, their large-scale nature poses challenges in fine-tuning and deployment due to high resource demands and slow inference speed. This paper ventures into the relatively unexplored yet promising realm of fine-tuning quantized diffusion models. We establish a strong baseline by customizing three models: PEQA for fine-tuning quantization parameters, Q-Diffusion for post-training quantization, and DreamBooth for personalization. Our analysis reveals a notable trade-off between subject and prompt fidelity within the baseline model. To address these issues, we introduce two strategies, inspired by the distinct roles of different timesteps in diffusion models: S1 optimizing a single set of fine-tuning parameters exclusively at selected intervals, and S2 creating multiple fine-tuning parameter sets, each specialized for different timestep intervals. Our approach not only enhances personalization but also upholds prompt fidelity and image quality, significantly outperforming the baseline qualitatively and quantitatively. The code will be made publicly available.


title: Online Allocation with Replenishable Budgets: Worst Case and Beyond

abstract: This paper studies online resource allocation with replenishable budgets, where budgets can be replenished on top of the initial budget and an agent sequentially chooses online allocation decisions without violating the available budget constraint at each round. We propose a novel online algorithm, called OACP (Opportunistic Allocation with Conservative Pricing), that conservatively adjusts dual variables while opportunistically utilizing available resources. OACP achieves a bounded asymptotic competitive ratio in adversarial settings as the number of decision rounds T gets large. Importantly, the asymptotic competitive ratio of OACP is optimal in the absence of additional assumptions on budget replenishment. To further improve the competitive ratio, we make a mild assumption that there is budget replenishment every T^* >= 1 decision rounds and propose OACP+ to dynamically adjust the total budget assignment for online allocation. Next, we move beyond the worst-case and propose LA-OACP (Learning-Augmented OACP/OACP+), a novel learning-augmented algorithm for online allocation with replenishable budgets. We prove that LA-OACP can improve the average utility compared to OACP/OACP+ when the ML predictor is properly trained, while still offering worst-case utility guarantees when the ML predictions are arbitrarily wrong. Finally, we run simulation studies of sustainable AI inference powered by renewables, validating our analysis and demonstrating the empirical benefits of LA-OACP.


title: The Third Homology of Projective Special Linear Group of Rank Two

abstract: In this paper we investigate the third homology of the projective special linear group $\textrm{PSL}_2(A)$. As a result of our investigation we prove a projective refined Bloch-Wigner exact sequence over certain class of rings. The projective Bloch-Wigner exact sequence over algebraically closed fields is a classical result.


title: Kibble-Zurek scalings and coarsening laws in slowly quenched classical Ising chains

abstract: We consider a one-dimensional classical ferromagnetic Ising model when it is quenched from a low temperature to zero temperature in finite time using Glauber or Kawasaki dynamics. Most of the previous work on finite-time quenches assume that the system is initially in equilibrium and focus on the excess defect density at the end of the quench which decays algebraically in quench time with Kibble-Zurek exponent. Here we are interested in understanding the conditions under which the Kibble-Zurek scalings do not hold and in elucidating the full dynamics of the defect density. We find that depending on the initial conditions and quench time, the dynamics of the defect density can be characterized by coarsening and/or the standard finite-time quench dynamics involving adiabatic evolution and Kibble-Zurek dynamics; the time scales for crossover between these dynamical phases are determined by coarsening time and stationary state relaxation time. As a consequence, the defect density at the end of the quench is either a constant or decays following coarsening laws or Kibble-Zurek scaling. For the Glauber chain, we formulate a low temperature scaling theory and find exact expressions for the final defect density for various initial conditions. For the Kawasaki chain where the dynamic exponents for coarsening and stationary state dynamics are different, we verify the above findings numerically and also examine the effect of unequal dynamic exponents.


title: Private Fine-tuning of Large Language Models with Zeroth-order Optimization

abstract: Fine-tuning large pretrained models on private datasets may run the risk of violating privacy. Differential privacy is a framework for mitigating privacy risks by enforcing algorithmic stability. DP-SGD enables training models with private data in a privacy-preserving manner, but raises new obstacles in the form of performance loss and significant engineering challenges. We introduce DP-ZO, a new method for fine-tuning large language models that preserves the privacy of training data by privatizing zeroth-order optimization. A key insight into the design of our method is that the direction of the gradient in SPSA, the zeroth-order algorithm we use, is always random and the only information that depends on private data is the step size, i.e., a scalar. Therefore, we only need to privatize the scalar step size, which is memory-efficient. DP-ZO, which can be instantiated with either Laplace or Gaussian noise, provides a strong privacy-utility trade-off across different tasks, and model sizes, under conservative privacy budgets. One noteworthy result is that DP-ZO exhibits just $1.86\%$ performance degradation due to privacy at $(1,10^{-5})$-DP when fine-tuning OPT-66B on 1000 training samples from SQuAD.


title: Optimizing the Fundamental Eigenvalue Gap of Quantum Graphs

abstract: We study the problem of minimizing or maximizing the fundamental spectral gap of Schr\"odinger operators on metric graphs with either a convex potential or a ``single-well'' potential on an appropriate specified subset. (In the case of metric trees, such a subset can be the entire graph.) In the convex case we find that the minimizing and maximizing potentials are piecewise linear with only a finite number of points of non-smoothness, but give examples showing that the optimal potentials need not be constant. This is a significant departure from the usual scenarios on intervals and domains where the constant potential is typically minimizing. In the single-well case we show that the optimal potentials are piecewise constant with a finite number of jumps, and in both cases give an explicit estimate on the number of points of non-smoothness, respectively jumps, the minimizing potential can have. Furthermore, we show that, unlike on domains, it is not generally possible to find nontrivial bounds on the fundamental gap in terms of the diameter of the graph alone, within the given classes.


title: RomniStereo: Recurrent Omnidirectional Stereo Matching

abstract: Omnidirectional stereo matching (OSM) is an essential and reliable means for $360^{\circ}$ depth sensing. However, following earlier works on conventional stereo matching, prior state-of-the-art (SOTA) methods rely on a 3D encoder-decoder block to regularize the cost volume, causing the whole system complicated and sub-optimal results. Recently, the Recurrent All-pairs Field Transforms (RAFT) based approach employs the recurrent update in 2D and has efficiently improved image-matching tasks, ie, optical flow, and stereo matching. To bridge the gap between OSM and RAFT, we mainly propose an opposite adaptive weighting scheme to seamlessly transform the outputs of spherical sweeping of OSM into the required inputs for the recurrent update, thus creating a recurrent omnidirectional stereo matching (RomniStereo) algorithm. Furthermore, we introduce two techniques, ie, grid embedding and adaptive context feature generation, which also contribute to RomniStereo's performance. Our best model improves the average MAE metric by 40.7\% over the previous SOTA baseline across five datasets. When visualizing the results, our models demonstrate clear advantages on both synthetic and realistic examples. The code is available at \url{https://github.com/HalleyJiang/RomniStereo}.


title: A commensal Fast Radio Burst search pipeline for the Murchison Widefield Array

abstract: We present a demonstration version of a commensal pipeline for Fast Radio Burst (FRB) searches using a real-time incoherent beam from the Murchison Widefield Array (MWA). The main science target of the pipeline are bright nearby FRBs from the local Universe which are the best candidates to probe FRB progenitors and understand physical mechanisms powering these extremely energetic events. The new MWA beamformer, known as the "MWAX multibeam beamformer", can form multiple incoherent and coherent beams commensally to any on-going MWA observations. One of the beams is currently used for FRB searches (tested in 10 kHz frequency resolution and time resolutions between 0.1 and 100 ms). A second beam is used for a Search for Extraterrestrial Intelligence (SETI). This paper focuses on the FRB search pipeline and its verification on selected known bright pulsars. The pipeline uses the FREDDA implementation of the Fast Dispersion Measure Transform algorithm (FDMT) for single pulse searches. Initially, it was tested during standard MWA observations, and more recently using dedicated observations of selected 11 bright pulsars. The pulsar PSR J0835-4510 (aka Vela) has been routinely used as the primary probe of the data quality because its folded profile was always detected in the frequency band 200 - 230 MHz with typical SNR >10. Similarly, the low DM pulsar PSR B0950+08 was always detected in folded profile in the frequency band 140 - 170 MHz, and so far has been the only object for which single pulses were detected. We present the estimated sensitivity of the search in the currently limited observing bandwidth of a single MWA coarse channel (1.28 MHz) and for the upgraded, future system with 12.8 MHz (10 channels) of bandwidth. Based on expected sensitivity and existing FRB rate measurements, we estimate an expected number of FRB detections to be between a few and a few tens per year.


title: On the Stochastic Gravitational Wave Background from Binary Black Hole Mergers Dynamically Assembled in Dense Star Clusters

abstract: With about a hundred binary black hole (BBH) mergers detected by LIGO-Virgo-KAGRA, and with several hundreds expected in the current O4 run, GWs are revolutionizing our understanding of the universe. Some BBH sources are too faint to be individually detected, but collectively they may give rise to a stochastic GW background (SGWB). In this paper, we calculate the SGWB associated with BBH mergers dynamically assembled in dense star clusters, using state-of-the-art numerical models. We discuss the role of modeling the evolution of the mass distribution of BBH mergers, which has significant implications for model selection and parameter estimation, and could be used to distinguish between different channels of BBH formation. We demonstrate how the birth properties of star clusters affect the amplitude and frequency spectrum of the SGWB, and show that upcoming observation runs of ground-based GW detectors may be sensitive enough to detect it. Even in the case of a non-detection, we find that GW data can be used to constrain the highly uncertain cluster birth properties, which can complement direct observations of young massive clusters and proto-star clusters in the early universe by JWST.


title: LAMPAT: Low-Rank Adaption for Multilingual Paraphrasing Using Adversarial Training

abstract: Paraphrases are texts that convey the same meaning while using different words or sentence structures. It can be used as an automatic data augmentation tool for many Natural Language Processing tasks, especially when dealing with low-resource languages, where data shortage is a significant problem. To generate a paraphrase in multilingual settings, previous studies have leveraged the knowledge from the machine translation field, i.e., forming a paraphrase through zero-shot machine translation in the same language. Despite good performance on human evaluation, those methods still require parallel translation datasets, thus making them inapplicable to languages that do not have parallel corpora. To mitigate that problem, we proposed the first unsupervised multilingual paraphrasing model, LAMPAT ($\textbf{L}$ow-rank $\textbf{A}$daptation for $\textbf{M}$ultilingual $\textbf{P}$araphrasing using $\textbf{A}$dversarial $\textbf{T}$raining), by which monolingual dataset is sufficient enough to generate a human-like and diverse sentence. Throughout the experiments, we found out that our method not only works well for English but can generalize on unseen languages as well. Data and code are available at https://github.com/VinAIResearch/LAMPAT.


title: WebGPU-SPY: Finding Fingerprints in the Sandbox through GPU Cache Attacks

abstract: Microarchitectural attacks on CPU structures have been studied in native applications, as well as in web browsers. These attacks continue to be a substantial threat to computing systems at all scales. With the proliferation of heterogeneous systems and integration of hardware accelerators in every computing system, modern web browsers provide the support of GPU-based acceleration for the graphics and rendering processes. Emerging web standards also support the GPU acceleration of general-purpose computation within web browsers. In this paper, we present a new attack vector for microarchitectural attacks in web browsers. We use emerging GPU accelerating APIs in modern browsers (specifically WebGPU) to launch a GPU-based cache side channel attack on the compute stack of the GPU that spies on victim activities on the graphics (rendering) stack of the GPU. Unlike prior works that rely on JavaScript APIs or software interfaces to build timing primitives, we build the timer using GPU hardware resources and develop a cache side channel attack on Intel's integrated GPUs. We leverage the GPU's inherent parallelism at different levels to develop high-resolution parallel attacks. We demonstrate that GPU-based cache attacks can achieve a precision of 90 for website fingerprinting of 100 top websites. We also discuss potential countermeasures against the proposed attack to secure the systems at a critical time when these web standards are being developed and before they are widely deployed.


title: Pre-trained Model Guided Fine-Tuning for Zero-Shot Adversarial Robustness

abstract: Large-scale pre-trained vision-language models like CLIP have demonstrated impressive performance across various tasks, and exhibit remarkable zero-shot generalization capability, while they are also vulnerable to imperceptible adversarial examples. Existing works typically employ adversarial training (fine-tuning) as a defense method against adversarial examples. However, direct application to the CLIP model may result in overfitting, compromising the model's capacity for generalization. In this paper, we propose Pre-trained Model Guided Adversarial Fine-Tuning (PMG-AFT) method, which leverages supervision from the original pre-trained model by carefully designing an auxiliary branch, to enhance the model's zero-shot adversarial robustness. Specifically, PMG-AFT minimizes the distance between the features of adversarial examples in the target model and those in the pre-trained model, aiming to preserve the generalization features already captured by the pre-trained model. Extensive Experiments on 15 zero-shot datasets demonstrate that PMG-AFT significantly outperforms the state-of-the-art method, improving the top-1 robust accuracy by an average of 4.99%. Furthermore, our approach consistently improves clean accuracy by an average of 8.72%. Our code is available at https://github.com/serendipity1122/Pre-trained-Model-Guided-Fine-Tuning-for-Zero-Shot-Adversarial-Robustness.


title: A Change Point Detection Integrated Remaining Useful Life Estimation Model under Variable Operating Conditions

abstract: By informing the onset of the degradation process, health status evaluation serves as a significant preliminary step for reliable remaining useful life (RUL) estimation of complex equipment. This paper proposes a novel temporal dynamics learning-based model for detecting change points of individual devices, even under variable operating conditions, and utilises the learnt change points to improve the RUL estimation accuracy. During offline model development, the multivariate sensor data are decomposed to learn fused temporal correlation features that are generalisable and representative of normal operation dynamics across multiple operating conditions. Monitoring statistics and control limit thresholds for normal behaviour are dynamically constructed from these learnt temporal features for the unsupervised detection of device-level change points. The detected change points then inform the degradation data labelling for training a long short-term memory (LSTM)-based RUL estimation model. During online monitoring, the temporal correlation dynamics of a query device is monitored for breach of the control limit derived in offline training. If a change point is detected, the device's RUL is estimated with the well-trained offline model for early preventive action. Using C-MAPSS turbofan engines as the case study, the proposed method improved the accuracy by 5.6\% and 7.5\% for two scenarios with six operating conditions, when compared to existing LSTM-based RUL estimation models that do not consider heterogeneous change points.


title: Non-Deterministic Extension of Plasma Wind Tunnel Data Calibrated Model Predictions to Flight Conditions

abstract: This work proposes a novel approach for non-deterministic extension of experimental data that considers structural model inadequacy for conditions other than the calibration scenario while simultaneously resolving any significant prior-data discrepancy with information extracted from flight measurements. This functionality is achieved through methodical utilization of model error emulators and Bayesian model averaging studies with available response data. The outlined approach does not require prior flight data availability and introduces straightforward mechanisms for their assimilation in future predictions. Application of the methodology is demonstrated herein by extending material performance data captured at the HyMETS facility to the MSL scenario, where the described process yields results that exhibit significantly improved capacity for predictive uncertainty quantification studies. This work also investigates limitations associated with straightforward uncertainty propagation procedures onto calibrated model predictions for the flight scenario and manages computational requirements with sensitivity analysis and surrogate modeling techniques.

categories: stat.AP physics.comp-ph physics.data-an stat.ME


title: Counting and metrology of distributed atomic clocks using metropolitan fiber

abstract: We demonstrate a distributed atomic clocks network between Shanghai Institute of Optics and fine Mechanics (SIOM) and Shanghai Institute of Measurement and Test (SIMT). The frequency signals from three different clocks transfer in one fiber link and four clocks can have comparison in two different labs.By comparing the results of the comparison between the two labs, it was found that the consistency of the frequency signal is on the order of lower than 1E-15. And we also achieve consistency between two locations at the E-15 level of frequency reporting. This scheme can achieve distributed time counting and frequency dissemination of remote atomic clocks, which is a new exploration of the future time keeping laboratory mode.


title: Knowledge-enhanced Multi-perspective Video Representation Learning for Scene Recognition

abstract: With the explosive growth of video data in real-world applications, a comprehensive representation of videos becomes increasingly important. In this paper, we address the problem of video scene recognition, whose goal is to learn a high-level video representation to classify scenes in videos. Due to the diversity and complexity of video contents in realistic scenarios, this task remains a challenge. Most existing works identify scenes for videos only from visual or textual information in a temporal perspective, ignoring the valuable information hidden in single frames, while several earlier studies only recognize scenes for separate images in a non-temporal perspective. We argue that these two perspectives are both meaningful for this task and complementary to each other, meanwhile, externally introduced knowledge can also promote the comprehension of videos. We propose a novel two-stream framework to model video representations from multiple perspectives, i.e. temporal and non-temporal perspectives, and integrate the two perspectives in an end-to-end manner by self-distillation. Besides, we design a knowledge-enhanced feature fusion and label prediction method that contributes to naturally introducing knowledge into the task of video scene recognition. Experiments conducted on a real-world dataset demonstrate the effectiveness of our proposed method.


title: The effect of charm quark on chiral phase transition in $N_f=2+1+1$ holographic QCD

abstract: We investigate the effect of charm quark on the chiral phase transition of light quarks at finite temperature based on the four-flavor soft-wall holographic QCD model. In the massless limit, we find that the thermal chiral phase transition is of the second order in the four-quark flavor system. In the case with the massive charm quark and the massless light and strange quarks, the order of the phase transition changes to the first order. This is due to the quark flavor symmetry breaking which is associated with the violation of the $U(1)$ axial symmetry. Once the light and strange quarks get massive, the explicit chiral symmetry breaking becomes eminent, then the crossover phase transition is realized at the physical quark masses. We also map the order of the phase transition on a phase diagram in the quark mass plane where the light- and strange-quark masses are degenerate but differ from the value of the charm quark mass. This phase diagram is an extension of the conventional Columbia plot to the four-quark flavor system.


title: Interior Hulls of Clean Lattice Parallelograms and Continued Fractions

abstract: The interior hull of a lattice polygon is the convex closure of the lattice points in the interior of the polygon. In this paper we give a concrete description of the interior hull of a clean lattice parallelogram. A clean parallelogram in $\mathbb{R}^2$ is a lattice parallelogram whose boundary contains no lattice points other than its vertices. Using unimodular maps we can identify a clean parallelogram with a parallelogram, $P_{a,n}$, whose vertices are $(0,0), (1,0), (a,n)$ and $(a+1,n)$, with $0<a <n$ and $\gcd(a,n)=1$. Following Stark's geometric approach to continued fractions we show that the convergents of the continued fraction of $n/a$ (viewed as lattice points) appear in a one-to-two correspondence with the vertices of the interior hull of this parallelogram. Consequently, if the continued fraction of $n/a$ has many partial quotients, then the interior hull of the corresponding parallelogram has many vertices. A pleasing consequence of our work is that we obtain an elementary geometric interpretation of the sum of the partial quotients of the continued fraction of $n/a$. Specifically, it is the difference between the area of the clean parallelogram $P_{a,n}$ and the area of its interior hull.


title: Iterative Feedback Network for Unsupervised Point Cloud Registration

abstract: As a fundamental problem in computer vision, point cloud registration aims to seek the optimal transformation for aligning a pair of point clouds. In most existing methods, the information flows are usually forward transferring, thus lacking the guidance from high-level information to low-level information. Besides, excessive high-level information may be overly redundant, and directly using it may conflict with the original low-level information. In this paper, we propose a novel Iterative Feedback Network (IFNet) for unsupervised point cloud registration, in which the representation of low-level features is efficiently enriched by rerouting subsequent high-level features. Specifically, our IFNet is built upon a series of Feedback Registration Block (FRB) modules, with each module responsible for generating the feedforward rigid transformation and feedback high-level features. These FRB modules are cascaded and recurrently unfolded over time. Further, the Feedback Transformer is designed to efficiently select relevant information from feedback high-level features, which is utilized to refine the low-level features. What's more, we incorporate a geometry-awareness descriptor to empower the network for making full use of most geometric information, which leads to more precise registration results. Extensive experiments on various benchmark datasets demonstrate the superior registration performance of our IFNet.


title: Message-Passing Receiver for OCDM over Multi-Lag Multi-Doppler Channels

abstract: As a new candidate waveform for the next generation wireless communications, orthogonal chirp division multiplexing (OCDM) has attracted growing attention for its ability to achieve full diversity in uncoded transmission, and its robustness to narrow-band interference or impulsive noise. Under high mobility channels with multiple lags and multiple Doppler-shifts (MLMD), the signal suffers doubly selective (DS) fadings in time and frequency domain, and data symbols modulated on orthogonal chirps are interfered by each other. To address the problem of symbol detection of OCDM over MLMD channel, under the assumption that path attenuation factors, delays, and Doppler shifts of the channel are available, we first derive the closed-form channel matrix in Fresnel domain, and then propose a low-complexity method to approximate it as a sparse matrix. Based on the approximated Fresnel-domain channel, we propose a message passing (MP) based detector to estimate the transmit symbols iteratively. Finally, under two MLMD channels (an underspread channel for terrestrial vehicular communication, and an overspread channel for narrow-band underwater acoustic communications), Monte Carlo simulation results and analysis are provided to validate its advantages as a promising detector for OCDM.


title: Unbiased Atomistic Predictions of Crystal Dislocation Dynamics using Bayesian Force Fields

abstract: Crystal dislocation dynamics, especially at high temperatures, represents a subject where experimental phenomenological input is commonly required, and parameter-free predictions, starting from quantum methods, have been beyond reach. This is especially true for phenomena like stacking faults and dislocation cross-slip, which are computationally intractable with methods like density functional theory, as $\sim 10^5-10^6$ atoms are required to reliably simulate such systems. Hence, this work extends quantum-mechanical accuracy to mesoscopic molecular dynamics simulations and opens unprecedented possibilities in material design for extreme mechanical conditions with direct atomistic insight at the deformation mesoscale. To accomplish this, we construct a Bayesian machine-learned force field (MLFF) from ab initio quantum training data, enabling direct observations of high-temperature and high-stress dislocation dynamics in single-crystalline Cu with atomistic resolution. In doing so, a generalizable training protocol is developed for construction of MLFFs for dislocation kinetics, with wide-ranging applicability to other single element systems and alloys. The resulting FLARE MLFF provides excellent predictions of static bulk elastic properties, stacking fault widths and energies, dynamic evolutions and mobilities of edge and screw dislocations, as well as cross-slip energy barriers for screw dislocations, all of which are compared to available experimental measurements. This work marks the first reliable quantitative determination of dislocation mobilities and cross-slip barriers, demonstrating a substantial advancement over previous empirical and machine learned force field models.


title: New non-GRS type MDS codes and NMDS codes

abstract: In this paper, we study a class of special linear codes involving their parameters, weight distributions, and self-orthogonal properties. On one hand, we prove that such codes must be maximum distance separable (MDS) or near MDS (NMDS) codes and completely determine their weight distributions with the help of the solutions to some subset sum problems. Based on the well-known Schur method, we also show that such codes are non-equivalent to generalized Reed-Solomon codes. On the other hand, a sufficient and necessary condition for such codes to be self-orthogonal is characterized. Based on this condition, we further deduce that there are no self-dual codes in this class of linear codes and explicitly construct two classes of almost self-dual codes.


title: Improving the Robustness of Knowledge-Grounded Dialogue via Contrastive Learning

abstract: Knowledge-grounded dialogue (KGD) learns to generate an informative response based on a given dialogue context and external knowledge (\emph{e.g.}, knowledge graphs; KGs). Recently, the emergence of large language models (LLMs) and pre-training techniques has brought great success to knowledge-grounded dialogue. However, when building KGD systems in real applications, there are various real-world noises that are inevitable to face. For example, the dialogue context might involve perturbations such as misspellings and abbreviations. In addition, KGs typically suffer from incompletion and also might contain erroneous and outdated facts. Such real-world noises pose a challenge to the robustness of KGD systems and hinder their applications in the real world. In this paper, we propose an entity-based contrastive learning framework for improving the robustness of KGD. Specifically, we make use of the entity information in a KGD sample to create both its positive and negative samples which involve semantic-irrelevant and semantic-relevant perturbations, respectively. The contrastive learning framework ensures the KGD model is aware of these two types of perturbations, thus generating informative responses with the potentially noisy inputs in real applications. Experimental results on three benchmark datasets show that our method achieves new state-of-the-art performance in terms of automatic evaluation scores, verifying its effectiveness and potentiality. Furthermore, we show that our method can generate better responses than comparison models in both the noisy and the few-shot settings.


title: Representative Feature Extraction During Diffusion Process for Sketch Extraction with One Example

abstract: We introduce DiffSketch, a method for generating a variety of stylized sketches from images. Our approach focuses on selecting representative features from the rich semantics of deep features within a pretrained diffusion model. This novel sketch generation method can be trained with one manual drawing. Furthermore, efficient sketch extraction is ensured by distilling a trained generator into a streamlined extractor. We select denoising diffusion features through analysis and integrate these selected features with VAE features to produce sketches. Additionally, we propose a sampling scheme for training models using a conditional generative approach. Through a series of comparisons, we verify that distilled DiffSketch not only outperforms existing state-of-the-art sketch extraction methods but also surpasses diffusion-based stylization methods in the task of extracting sketches.


title: Controlling chaos: Periodic defect braiding in active nematics confined to a cardioid

abstract: This work examines self-mixing in active nematics, a class of fluids in which mobile topological defects drive chaotic flows in a system comprised of biological filaments and molecular motors. We present experiments that demonstrate how geometrical confinement can influence the braiding dynamics of the defects. Notably, we show that confinement in cardioid-shaped wells leads to realization of the golden braid, a maximally efficient mixing state of exactly three defects with no defect creation or annihilation. We characterize the golden braid state using different measures of topological entropy and the Lyapunov exponent. In particular, topological entropy measured from the stretching rate of material lines agrees well with an analytical computation from braid theory. Increasing the size of the confining cardioid produces a transition from the golden braid, to the fully chaotic active turbulent state.


title: SoK: Facial Deepfake Detectors

abstract: Deepfakes have rapidly emerged as a profound and serious threat to society, primarily due to their ease of creation and dissemination. This situation has triggered an accelerated development of deepfake detection technologies. However, many existing detectors rely heavily on lab-generated datasets for validation, which may not effectively prepare them for novel, emerging, and real-world deepfake techniques. In this paper, we conduct an extensive and comprehensive review and analysis of the latest state-of-the-art deepfake detectors, evaluating them against several critical criteria. These criteria facilitate the categorization of these detectors into 4 high-level groups and 13 fine-grained sub-groups, all aligned with a unified standard conceptual framework. This classification and framework offer deep and practical insights into the factors that affect detector efficacy. We assess the generalizability of 16 leading detectors across various standard attack scenarios, including black-box, white-box, and gray-box settings. Our systematized analysis and experimentation lay the groundwork for a deeper understanding of deepfake detectors and their generalizability, paving the way for future research focused on creating detectors adept at countering various attack scenarios. Additionally, this work offers insights for developing more proactive defenses against deepfakes.


title: Design study and spectroscopic performance of SOI pixel detector with a pinned depleted diode structure for X-ray astronomy

abstract: We have been developing silicon-on-insulator (SOI) pixel detectors with a pinned depleted diode (PDD) structure, named "XRPIX", for X-ray astronomy. The PDD structure is formed in a thick p-type substrate, to which high negative voltage is applied to make it fully depleted. A pinned p-well is introduced at the backside of the insulator layer to reduce a dark current generation at the Si-SiO$_{2}$ interface and to fix the back-gate voltage of the SOI transistors. An n-well is further introduced between the p-well and the substrate to make a potential barrier between them and suppress a leakage current. An optimization study on the n-well dopant concentration is necessary because a higher dopant concentration could result in a higher potential barrier but also in a larger sense-node capacitance leading to a lower spectroscopic performance, and vice versa. Based on a device simulation, we fabricated five candidate chips having different n-well dopant concentrations. We successfully found out the best n-well design, which suppressed a large leakage current and showed satisfactory X-ray spectroscopic performance. Too low and too high n-well dopant concentration chips showed a large leakage current and degraded X-ray spectroscopic performance, respectively. We also found that the dependency of X-ray spectroscopic performance on the n-well dopant concentration can be largely explained by the difference in sense-node capacitance.


title: Strongly vertex-reinforced jump process on graph with bounded degree

abstract: We study asymptotic behaviours of a non-linear vertex-reinforced jump process defined on an arbitrary infinite graph with bounded degree. We prove that if the reinforcement function $w$ is reciprocally integrable and strictly increasing, then the process visits only a finite number of vertices. In the case where $w$ is asymptotically equal to a super-linear polynomial, we show that the process eventually gets stuck on a star-shaped subgraph and there is exactly one vertex with unbounded local time.


title: Probabilistic emotion and sentiment modelling of patient-reported experiences

abstract: This study introduces a novel methodology for modelling patient emotions from online patient experience narratives. We employed metadata network topic modelling to analyse patient-reported experiences from Care Opinion, revealing key emotional themes linked to patient-caregiver interactions and clinical outcomes. We develop a probabilistic, context-specific emotion recommender system capable of predicting both multilabel emotions and binary sentiments using a naive Bayes classifier using contextually meaningful topics as predictors. The superior performance of our predicted emotions under this model compared to baseline models was assessed using the information retrieval metrics nDCG and Q-measure, and our predicted sentiments achieved an F1 score of 0.921, significantly outperforming standard sentiment lexicons. This method offers a transparent, cost-effective way to understand patient feedback, enhancing traditional collection methods and informing individualised patient care. Our findings are accessible via an R package and interactive dashboard, providing valuable tools for healthcare researchers and practitioners.


title: Enhancing Acute Kidney Injury Prediction through Integration of Drug Features in Intensive Care Units

abstract: The relationship between acute kidney injury (AKI) prediction and nephrotoxic drugs, or drugs that adversely affect kidney function, is one that has yet to be explored in the critical care setting. One contributing factor to this gap in research is the limited investigation of drug modalities in the intensive care unit (ICU) context, due to the challenges of processing prescription data into the corresponding drug representations and a lack in the comprehensive understanding of these drug representations. This study addresses this gap by proposing a novel approach that leverages patient prescription data as a modality to improve existing models for AKI prediction. We base our research on Electronic Health Record (EHR) data, extracting the relevant patient prescription information and converting it into the selected drug representation for our research, the extended-connectivity fingerprint (ECFP). Furthermore, we adopt a unique multimodal approach, developing machine learning models and 1D Convolutional Neural Networks (CNN) applied to clinical drug representations, establishing a procedure which has not been used by any previous studies predicting AKI. The findings showcase a notable improvement in AKI prediction through the integration of drug embeddings and other patient cohort features. By using drug features represented as ECFP molecular fingerprints along with common cohort features such as demographics and lab test values, we achieved a considerable improvement in model performance for the AKI prediction task over the baseline model which does not include the drug representations as features, indicating that our distinct approach enhances existing baseline techniques and highlights the relevance of drug data in predicting AKI in the ICU setting


title: Air Quality Forecasting Using Machine Learning: A Global perspective with Relevance to Low-Resource Settings

abstract: Air pollution stands as the fourth leading cause of death globally. While extensive research has been conducted in this domain, most approaches rely on large datasets when it comes to prediction. This limits their applicability in low-resource settings though more vulnerable. This study addresses this gap by proposing a novel machine learning approach for accurate air quality prediction using two months of air quality data. By leveraging the World Weather Repository, the meteorological, air pollutant, and Air Quality Index features from 197 capital cities were considered to predict air quality for the next day. The evaluation of several machine learning models demonstrates the effectiveness of the Random Forest algorithm in generating reliable predictions, particularly when applied to classification rather than regression, approach which enhances the model's generalizability by 42%, achieving a cross-validation score of 0.38 for regression and 0.89 for classification. To instill confidence in the predictions, interpretable machine learning was considered. Finally, a cost estimation comparing the implementation of this solution in high-resource and low-resource settings is presented including a tentative of technology licensing business model. This research highlights the potential for resource-limited countries to independently predict air quality while awaiting larger datasets to further refine their predictions.


title: Generalized wave-particle-Mixdness triality for n-path interferometers

abstract: The wave-particle duality, as one of the expressions of Bohr complementarity, is usually quantified by path predictability and the visibility of interference fringes. With the development of quantum resource theory, the quantitative analysis of wave-particle duality is increasing, most of which are expressed in the form of specific functions. In this paper, we obtain the path information measure for pure states by converting the coherence measure for pure state into a symmetric concave function. Then we prove the function as a path information measure is also valid for mixed states. Furthermore, we also establish a generalized wave-particle-mixedness traility. Although the mixedness proposed in the text is not a complete mixedness measure, it also satisfies some conditions of mixdness measure. From the perspective of resource theory, the path information we establish can be used as the measure of the resource of predictability, and the triaility relationship we establish reveals the relationship among coherence, predictability, purity and mixdness degree to a certain extent. According to our method, given either coherence measure or path information, a particular form of wave-particle-mixedness traility can be established. This will play an important role in establishing connections between wave, particle and other physical quantifiers.


title: Strategic Routing and Scheduling for Evacuations

abstract: Evacuation planning is an essential part of disaster management where the goal is to relocate people under imminent danger to safety. Although government authorities may prescribe routes and a schedule, evacuees generally behave as self-interested agents and may choose their action according to their own selfish interests. It is crucial to understand the degree of inefficiency this can cause to the evacuation process. However, existing research has mainly focused on selfish routing, i.e., they consider route selection as the only strategic action. In this paper, we present a strategic routing and scheduling game, named the Evacuation Planning Game (EPG), where evacuees choose both their route and the time of departure. We focus on confluent evacuation plans, where, if two routes meet at a node then their remaining portion is identical. We also use dynamic flows to model the time-varying traffic on roads during evacuation. We show that every instance of EPG has at least one pure strategy Nash equilibrium. We then present a polynomial time algorithm, the Sequential Action Algorithm (SAA), for finding equilibria in a given instance. Additionally, we provide bounds on how bad an equilibrium state can be compared to a socially optimal state. Finally, We use Harris County of Houston, Texas as our study area and construct a game instance for it. Our results show that, by utilizing SAA, we can efficiently find equilibria in this instance that have social objective close to the optimal value.


title: Stable generative modeling using diffusion maps

abstract: We consider the problem of sampling from an unknown distribution for which only a sufficiently large number of training samples are available. Such settings have recently drawn considerable interest in the context of generative modelling. In this paper, we propose a generative model combining diffusion maps and Langevin dynamics. Diffusion maps are used to approximate the drift term from the available training samples, which is then implemented in a discrete-time Langevin sampler to generate new samples. By setting the kernel bandwidth to match the time step size used in the unadjusted Langevin algorithm, our method effectively circumvents any stability issues typically associated with time-stepping stiff stochastic differential equations. More precisely, we introduce a novel split-step scheme, ensuring that the generated samples remain within the convex hull of the training samples. Our framework can be naturally extended to generate conditional samples. We demonstrate the performance of our proposed scheme through experiments on synthetic datasets with increasing dimensions and on a stochastic subgrid-scale parametrization conditional sampling problem.


title: Characterization of two fast-turnaround dry dilution refrigerators for scanning probe microscopy

abstract: Low-temperature scanning probe microscopes (SPMs) are critical for the study of quantum materials and quantum information science. Due to the rising costs of helium, cryogen-free cryostats have become increasingly desirable. However, they typically suffer from comparatively worse vibrations than cryogen-based systems, necessitating the understanding and mitigation of vibrations for SPM applications. Here we demonstrate the construction of two cryogen-free dilution refrigerator SPMs with minimal modifications to the factory default and we systematically characterize their vibrational performance. We measure the absolute vibrations at the microscope stage with geophones, and use both microwave impedance microscopy and a scanning single electron transistor to independently measure tip-sample vibrations. Additionally, we implement customized filtering and thermal anchoring schemes, and characterize the cooling power at the scanning stage and the tip electron temperature. This work serves as a reference to researchers interested in cryogen-free SPMs, as such characterization is not standardized in the literature or available from manufacturers.


title: Towards Explainable Artificial Intelligence (XAI): A Data Mining Perspective

abstract: Given the complexity and lack of transparency in deep neural networks (DNNs), extensive efforts have been made to make these systems more interpretable or explain their behaviors in accessible terms. Unlike most reviews, which focus on algorithmic and model-centric perspectives, this work takes a "data-centric" view, examining how data collection, processing, and analysis contribute to explainable AI (XAI). We categorize existing work into three categories subject to their purposes: interpretations of deep models, referring to feature attributions and reasoning processes that correlate data points with model outputs; influences of training data, examining the impact of training data nuances, such as data valuation and sample anomalies, on decision-making processes; and insights of domain knowledge, discovering latent patterns and fostering new knowledge from data and models to advance social values and scientific discovery. Specifically, we distill XAI methodologies into data mining operations on training and testing data across modalities, such as images, text, and tabular data, as well as on training logs, checkpoints, models and other DNN behavior descriptors. In this way, our study offers a comprehensive, data-centric examination of XAI from a lens of data mining methods and applications.


title: Almost all quadratic twists of an elliptic curve have no integral points

abstract: For a given elliptic curve E in short Weierstrass form, we show that almost all quadratic twists E_D have no integral points, as D ranges over square-free integers ordered by size. Our result is conditional on a weak form of the Hall-Lang conjecture in the case that E has partial 2-torsion. The proof uses a correspondence of Mordell and the reduction theory of binary quartic forms in order to transfer the problem to counting rational points of bounded height on a certain singular cubic surface, together with extensive use of cancellation in character sum estimates, drawn from Heath-Brown's analysis of Selmer group statistics for the congruent number curve.


title: Minimal criteria for continuous-variable genuine multipartite entanglement

abstract: We derive a set of genuine multi-mode entanglement criteria for second moments of the quadrature operators. The criteria have a common form of the uncertainty relation between sums of variances of position and momentum quadrature combinations. A unique feature of the criteria is that the sums contain the least possible number of variances of at most two-mode combinations. The number of second moments we need to know to apply the criteria thus scales only linearly with the number of modes, as opposed to the quadratic scaling of the already existing criteria. Each criterion is associated with a tree graph, which allowed us to develop a direct method of construction of the criteria based solely on the structure of the underlying tree. The practicality of the proposed criteria is demonstrated by finding a number of examples of Gaussian states of up to six modes, whose genuine multi-mode entanglement is detected by them. The designed criteria are particularly suitable for verification of genuine multipartite entanglement in large multi-mode states or when only a set of two-mode nearest-neighbour marginal covariance matrices of the investigated state is available.


title: Towards Real-World Aerial Vision Guidance with Categorical 6D Pose Tracker

abstract: Tracking the object 6-DoF pose is crucial for various downstream robot tasks and real-world applications. In this paper, we investigate the real-world robot task of aerial vision guidance for aerial robotics manipulation, utilizing category-level 6-DoF pose tracking. Aerial conditions inevitably introduce special challenges, such as rapid viewpoint changes in pitch and roll and inter-frame differences. To support these challenges in task, we firstly introduce a robust category-level 6-DoF pose tracker (Robust6DoF). This tracker leverages shape and temporal prior knowledge to explore optimal inter-frame keypoint pairs, generated under a priori structural adaptive supervision in a coarse-to-fine manner. Notably, our Robust6DoF employs a Spatial-Temporal Augmentation module to deal with the problems of the inter-frame differences and intra-class shape variations through both temporal dynamic filtering and shape-similarity filtering. We further present a Pose-Aware Discrete Servo strategy (PAD-Servo), serving as a decoupling approach to implement the final aerial vision guidance task. It contains two servo action policies to better accommodate the structural properties of aerial robotics manipulation. Exhaustive experiments on four well-known public benchmarks demonstrate the superiority of our Robust6DoF. Real-world tests directly verify that our Robust6DoF along with PAD-Servo can be readily used in real-world aerial robotic applications.


title: Computing the Gerber-Shiu function with interest and a constant dividend barrier by physics-informed neural networks

abstract: In this paper, we propose a new efficient method for calculating the Gerber-Shiu discounted penalty function. Generally, the Gerber-Shiu function usually satisfies a class of integro-differential equation. We introduce the physics-informed neural networks (PINN) which embed a differential equation into the loss of the neural network using automatic differentiation. In addition, PINN is more free to set boundary conditions and does not rely on the determination of the initial value. This gives us an idea to calculate more general Gerber-Shiu functions. Numerical examples are provided to illustrate the very good performance of our approximation.


title: Improving XYG3-type Doubly Hybrid Approximation using Self-Interaction Corrected SCAN Density and Orbitals via the PZ-SIC Framework: the xDH@SCAN(SIC) Approach

abstract: XYG3-type doubly hybrid approximations (xDH) have gained a widespread recognition for their accuracy in describing a diverse range of chemical and physical interactions. However, a recent study (J. Phys. Chem. 2021, 12, 800-807) has highlighted the limitation of xDH methods in calculating the dissociation of the NaCl molecule. This issue has been related to the density and orbitals used for evaluating the energy in xDH methods, which are obtained from lower-rung hybrid density functional approximations (DFAs) and display substantial density errors in the dissociation limit. In this work, we systematically investigate the influence of density on several challenging datasets and find that the xDH methods are less sensitive to the density errors compared to semi-local and hybrid DFAs. Furthermore, we demonstrate that the self-interaction corrected SCAN density offers superior accuracy compared to the self-consistent SCAN density and Hartree-Fock (HF) density, as evidenced by the charge analysis on the dissociation of heterodimers, such as NaCl and LiF. Building on these insights, we propose a 5-parameter xDH method using the SCAN density and orbitals corrected by the PZ-SIC scheme. This new xDH@SCAN(SIC) method provides a balanced and accurate description across a wide range of challenging systems.


title: A radius valley between migrated steam worlds and evaporated rocky cores

abstract: The radius valley (or gap) in the observed distribution of exoplanet radii, which separates smaller super-Earths from larger sub-Neptunes, is a key feature that theoretical models must explain. Conventionally, it is interpreted as the result of the loss of primordial H/He envelopes atop rocky cores. However, planet formation models predict that water-rich planets migrate from regions outside the snowline toward the star. Assuming water to be in the form of solid ice in their interior, many of these planets would be located in the radius gap, in disagreement with observations. Here we use an advanced coupled formation and evolution model that describes the planets' origin and evolution starting from moon-sized, planetary seed embryos in the protoplanetary disk to mature Gyr-old planetary systems. Employing new equations of state and interior structure models to treat water as vapor mixed with H/He, we naturally reproduce the valley at the observed location. The model results indicate that the valley separates less massive, in-situ, rocky super-Earths from more massive, ex-situ, water-rich sub-Neptunes. Furthermore, the occurrence drop at larger radii, the so-called radius cliff, is also matched by planets with water-dominated envelopes. Owing to our statistical approach, we can assess that the synthetic distribution of radii quantitatively agrees with observations for the close-in population of planets; but only if atmospheric photoevaporation is also acting, populating the super-Earth peak with evaporated rocky cores. Therefore, we provide a hybrid theoretical explanation of the radius gap and cliff caused by both formation (orbital migration) as well as evolution (atmospheric escape).


title: Spaces where all bijections are morphisms

abstract: Here we classify all topological spaces where all bijections to itself are homeomorphisms. As a consequence, we also classify all topological spaces where all maps to itself are continuous. Analogously, we classify all measurable spaces where all bijections to itself are measurable with measurable inverse. As a consequence, we also classify all measurable spaces where all maps to itself are measurable.


title: Dislocation assisted coarsening of coherent precipitates: a phase field study

abstract: Coarsening of precipitates in coherent systems is influenced by the elastic fields of the precipitates and the interfacial curvature. It is also known that if precipitates are connected by dislocations, coarsening is affected by the elastic fields of the dislocations and the pipe diffusivity. Although there is experimental evidence of accelerated coarsening in the presence of dislocations, these studies do not capture the effect of the elastic fields. There exist generic theoretical models that can predict the average sizes and size distributions of coarsening precipitates considering the coherency related elastic stress fields. In this paper, we use a phase field model to study the coarsening of precipitates connected by dislocations, incorporating its elastic fields and pipe diffusivity. Specifically, we study the effects of misfit strain, elastic moduli mismatch, faster pipe mobility and the elastic fields of the dislocation on the morphology and kinetics of the coarsening precipitates. The dilatational component, associated with the edge character of the dislocations interact with the precipitates in an elastically homogeneous system. In an elastically inhomogeneous system, the deviatoric elastic fields also interact with the precipitates influencing the morphology and kinetics of coarsening precipitates. The kinetics of coarsening is different as well, with hard precipitates coarsening faster as compared to soft precipitates, when connected by dislocations. Further, we note that the modified Gibbs-Thomson equation, which was originally derived for an isolated precipitate in an infinite matrix, is also applicable for coarsening precipitates at close proximity.


title: Krylov complexity as an order parameter for deconfinement phase transitions at large $N$

abstract: Krylov complexity has been proposed as a diagnostic of chaos in non-integrable lattice and quantum mechanical systems, and if the system is chaotic, Krylov complexity grows exponentially with time. However, when Krylov complexity is applied to quantum field theories, even in free theory, it grows exponentially with time. This exponential growth in free theory is simply due to continuous momentum in non-compact space and has nothing to do with the mass spectrum of theories. Thus by compactifying space sufficiently, exponential growth of Krylov complexity due to continuous momentum can be avoided. In this paper, we propose that the Krylov complexity of operators such as $\mathcal{O}=\textrm{Tr}[F_{\mu\nu}F^{\mu\nu}]$ can be an order parameter of confinement/deconfinement transitions in large $N$ quantum field theories on such a compactified space. We explicitly give a prescription of the compactification at finite temperature to distinguish the continuity of spectrum due to momentum and mass spectrum. We then calculate the Krylov complexity of $\mathcal{N}=4, 0$ $SU(N)$ Yang-Mills theories in the large $N$ limit by using holographic analysis of the spectrum and show that the behavior of Krylov complexity reflects the confinement/deconfinement phase transitions through the continuity of mass spectrum.


title: Vortex-induced vibration of a square cylinder in wind tunnel

abstract: An experimental study of the vortex-induced-vibration of a flexibly mounted rigid square cylinder in a uniform airflow is presented. For this high mass ratio configuration, transverse oscillations are measured in detail for reduced velocities ranging from 5 to 20. In the lock-in region and starting from rest, the cylinder motion exhibits a transient regime followed by a limit cycle oscillation regime. New experimental data are provided in term of amplitudes and frequencies of the limit cycle oscillations. The transient behaviour is also characterized by measuring the growth rate of the oscillations amplitude.


title: Machine unlearning through fine-grained model parameters perturbation

abstract: Machine unlearning techniques, which involve retracting data records and reducing influence of said data on trained models, help with the user privacy protection objective but incur significant computational costs. Weight perturbation-based unlearning is a general approach, but it typically involves globally modifying the parameters. We propose fine-grained Top-K and Random-k parameters perturbed inexact machine unlearning strategies that address the privacy needs while keeping the computational costs tractable. In order to demonstrate the efficacy of our strategies we also tackle the challenge of evaluating the effectiveness of machine unlearning by considering the model's generalization performance across both unlearning and remaining data. To better assess the unlearning effect and model generalization, we propose novel metrics, namely, the forgetting rate and memory retention rate. However, for inexact machine unlearning, current metrics are inadequate in quantifying the degree of forgetting that occurs after unlearning strategies are applied. To address this, we introduce SPD-GAN, which subtly perturbs the distribution of data targeted for unlearning. Then, we evaluate the degree of unlearning by measuring the performance difference of the models on the perturbed unlearning data before and after the unlearning process. By implementing these innovative techniques and metrics, we achieve computationally efficacious privacy protection in machine learning applications without significant sacrifice of model performance. Furthermore, this approach provides a novel method for evaluating the degree of unlearning.


title: Endomorphisms of a variety of Ueno type and Kawaguchi-Silverman Conjecture

abstract: We first show that the moniod of separable surjective self morphisms of a variety of Ueno type coincides with the group of automorphisms. We also give an explicit description of the automorphism group. As applications, we confirm Kawaguchi Silverman Conjecture for automorphisms of a variety of Ueno type and some Calabi-Yau threefolds, defined over $\overline{\Q}$.


title: On the ill-posedness for the Navier--Stokes equations in the weakest Besov spaces

abstract: It is proved in \cite{IO21} that the Cauchy problem for the full compressible Navier--Stokes equations of the ideal gas is ill-posed in $\dot{B}_{p, q}^{2 / p}(\mathbb{R}^2) \times \dot{B}_{p, q}^{2 / p-1}(\mathbb{R}^2) \times \dot{B}_{p, q}^{2 / p-2}(\mathbb{R}^2) $ with $1\leq p\leq \infty$ and $1\leq q<\infty$. In this paper, we aim to solve the end-point case left in \cite{IO21} and prove that the Cauchy problem is ill-posed in $\dot{B}_{p, \infty}^{d / p}(\mathbb{R}^d) \times \dot{B}_{p, \infty}^{d / p-1}(\mathbb{R}^d) \times \dot{B}_{p, \infty}^{d / p-2}(\mathbb{R}^d)$ with $1\leq p\leq\infty$ by constructing a sequence of initial data which shows that the solution map is discontinuous at zero. As a by-product, we demonstrate that the incompressible Navier--Stokes equations is also ill-posed in $\dot{B}_{p,\infty}^{d/p-1}(\mathbb{R}^d)$, which is an interesting open problem in itself.


title: Using gravitational waves to see the first second of the Universe

abstract: Gravitational waves are a unique probe of the early Universe, as the Universe is transparent to gravitational radiation right back to the beginning. In this article, we summarise detection prospects and the wide scope of primordial events that could lead to a detectable stochastic gravitational wave background. Any such background would shed light on what (if anything) lies beyond the Standard Model, sometimes at remarkably high scales. We overview the range of strategies for detecting a stochastic gravitational wave background before delving deep into three major primordial events that can source such a background. Finally, we summarize the landscape of other sources of primordial backgrounds.


title: RaD-Net: A Repairing and Denoising Network for Speech Signal Improvement

abstract: This paper introduces our repairing and denoising network (RaD-Net) for the ICASSP 2024 Speech Signal Improvement (SSI) Challenge. We extend our previous framework based on a two-stage network and propose an upgraded model. Specifically, we replace the repairing network with COM-Net from TEA-PSE. In addition, multi-resolution discriminators and multi-band discriminators are adopted in the training stage. Finally, we use a three-step training strategy to optimize our model. We submit two models with different sets of parameters to meet the RTF requirement of the two tracks. According to the official results, the proposed systems rank 2nd in track 1 and 3rd in track 2.


title: Learning with Noisy Labels: Interconnection of Two Expectation-Maximizations

abstract: Labor-intensive labeling becomes a bottleneck in developing computer vision algorithms based on deep learning. For this reason, dealing with imperfect labels has increasingly gained attention and has become an active field of study. We address learning with noisy labels (LNL) problem, which is formalized as a task of finding a structured manifold in the midst of noisy data. In this framework, we provide a proper objective function and an optimization algorithm based on two expectation-maximization (EM) cycles. The separate networks associated with the two EM cycles collaborate to optimize the objective function, where one model is for distinguishing clean labels from corrupted ones while the other is for refurbishing the corrupted labels. This approach results in a non-collapsing LNL-flywheel model in the end. Experiments show that our algorithm achieves state-of-the-art performance in multiple standard benchmarks with substantial margins under various types of label noise.


title: Kawamata-Miyaoka type inequality for canonical $\mathbb Q$-Fano varieties II: terminal $\mathbb Q$-Fano threefolds

abstract: We prove an optimal Kawamata-Miyaoka type inequality for terminal $\mathbb Q$-Fano threefolds with Fano index $\geq 3$. As an application, we obtain that any terminal $\mathbb Q$-Fano threefold $X$ satisfies the following Kawamata-Miyaoka type inequality \[ c_1(X)^3 < 3c_2(X)c_1(X). \]


title: Geometrical frustration in nonlinear mechanics of screw dislocation

abstract: The existence of stress singularities and reliance on linear approximations pose significant challenges in comprehending the stress field generation mechanism around dislocations. This study employs differential geometry and calculus of variations to mathematically model and numerically analyse screw dislocations. The kinematics of the dislocation are expressed by the diffeomorphism of the Riemann--Cartan manifold, which includes both the Riemannian metric and affine connection. The modelling begins with a continuous distribution of dislocation density, which is transformed into torsion $\tau$ through the Hodge duality. The plasticity functional is constructed by applying the Helmholtz decomposition to bundle isomorphism, which is equivalent to the Cartan first structure equation for the intermediate configuration $\mathcal{B}$. The current configuration is derived by the elastic embedding of $\mathcal{B}$ into the standard Euclidean space $\mathbb{R}^3$. The numerical analysis reveals the elastic stress fields effectively eliminate the singularity along the dislocation line and exhibit excellent conformity with Volterra's theory beyond the dislocation core. Geometrical frustration is the direct source of dislocation stress fields, as demonstrated through the multiplicative decomposition of deformation gradients. By leveraging the mathematical properties of the Riemann--Cartan manifold, we demonstrate that the Ricci curvature determines the symmetry of stress fields. These results substantiate a long-standing mathematical hypothesis: the duality between stress and curvature.


title: OrthoSeisnet: Seismic Inversion through Orthogonal Multi-scale Frequency Domain U-Net for Geophysical Exploration

abstract: Seismic inversion is crucial in hydrocarbon exploration, particularly for detecting hydrocarbons in thin layers. However, the detection of sparse thin layers within seismic datasets presents a significant challenge due to the ill-posed nature and poor non-linearity of the problem. While data-driven deep learning algorithms have shown promise, effectively addressing sparsity remains a critical area for improvement. To overcome this limitation, we propose OrthoSeisnet, a novel technique that integrates a multi-scale frequency domain transform within the U-Net framework. OrthoSeisnet aims to enhance the interpretability and resolution of seismic images, enabling the identification and utilization of sparse frequency components associated with hydrocarbon-bearing layers. By leveraging orthogonal basis functions and decoupling frequency components, OrthoSeisnet effectively improves data sparsity. We evaluate the performance of OrthoSeisnet using synthetic and real datasets obtained from the Krishna-Godavari basin. Orthoseisnet outperforms the traditional method through extensive performance analysis utilizing commonly used measures, such as mean absolute error (MAE), mean squared error (MSE), and structural similarity index (SSIM) https://github.com/supriyo100/Orthoseisnet.


title: SonicVisionLM: Playing Sound with Vision Language Models

abstract: There has been a growing interest in the task of generating sound for silent videos, primarily because of its practicality in streamlining video post-production. However, existing methods for video-sound generation attempt to directly create sound from visual representations, which can be challenging due to the difficulty of aligning visual representations with audio representations. In this paper, we present SonicVisionLM, a novel framework aimed at generating a wide range of sound effects by leveraging vision-language models(VLMs). Instead of generating audio directly from video, we use the capabilities of powerful VLMs. When provided with a silent video, our approach first identifies events within the video using a VLM to suggest possible sounds that match the video content. This shift in approach transforms the challenging task of aligning image and audio into more well-studied sub-problems of aligning image-to-text and text-to-audio through the popular diffusion models. To improve the quality of audio recommendations with LLMs, we have collected an extensive dataset that maps text descriptions to specific sound effects and developed a time-controlled audio adapter. Our approach surpasses current state-of-the-art methods for converting video to audio, enhancing synchronization with the visuals, and improving alignment between audio and video components. Project page: https://yusiissy.github.io/SonicVisionLM.github.io/


title: Formation of millisecond pulsars with wide orbits

abstract: Millisecond pulsars (MSPs) are a kind of radio pulsars with short spin periods, playing a key role in many aspects of stellar astrophysics. In recent years, some more MSPs with wide orbits ($>30\,\rm d$) have been discovered, but their origin is still highly unclear. In the present work, according to an adiabatic power-law assumption for the mass-transfer process, we carried out a large number of complete binary evolution computations for the formation of MSPs with wide orbits through the iron core-collapse supernova (CCSN) channel, in which a neutron star (NS) originating from a CCSN accretes matter from a red-giant (RG) star and spun up to millisecond periods. We found that this channel can form the observed MSPs with wide orbits in the range of $30-1200\,{\rm d}$, in which the WD companions have masses in the range of $0.28-0.55\,\rm M_{\odot}$. We also found that almost all the observed MSPs can be reproduced by this channel in the WD companion mass versus orbital period diagram. We estimate that the Galactic numbers of the resulting MSPs from the CCSN channel are in the range of $\sim 0.9-1.4\times10^{6}$. Compared with the accretion-induced collapse channel, the CCSN channel provides a dominant way to produce MSPs with wide orbits.


title: Initial-boundary value problem for second order hyperbolic operator with mixed boundary conditions

abstract: We deal with a linear hyperbolic differential operator of the second order on a bounded planar domain with a smooth boundary. We establish a well-posedness result in case where a mixed, Dirichlet-Neumann, condition is prescribed on the boundary. We focus on the case of a non-homogeneous Dirichlet data and a homogeneous Neumann one. The presented proof is based on a functional theoretical approach and on an approximation argument. Moreover, this work discuss an improvement of a result concerning the range of some operators related to the considered hyperbolic PDE yielding characterizations for the range space of these operators.


title: The Role of Higher-Order Cognitive Models in Active Learning

abstract: Building machines capable of efficiently collaborating with humans has been a longstanding goal in artificial intelligence. Especially in the presence of uncertainties, optimal cooperation often requires that humans and artificial agents model each other's behavior and use these models to infer underlying goals, beliefs or intentions, potentially involving multiple levels of recursion. Empirical evidence for such higher-order cognition in human behavior is also provided by previous works in cognitive science, linguistics, and robotics. We advocate for a new paradigm for active learning for human feedback that utilises humans as active data sources while accounting for their higher levels of agency. In particular, we discuss how increasing level of agency results in qualitatively different forms of rational communication between an active learning system and a teacher. Additionally, we provide a practical example of active learning using a higher-order cognitive model. This is accompanied by a computational study that underscores the unique behaviors that this model produces.


title: Chain-of-Table: Evolving Tables in the Reasoning Chain for Table Understanding

abstract: Table-based reasoning with large language models (LLMs) is a promising direction to tackle many table understanding tasks, such as table-based question answering and fact verification. Compared with generic reasoning, table-based reasoning requires the extraction of underlying semantics from both free-form questions and semi-structured tabular data. Chain-of-Thought and its similar approaches incorporate the reasoning chain in the form of textual context, but it is still an open question how to effectively leverage tabular data in the reasoning chain. We propose the Chain-of-Table framework, where tabular data is explicitly used in the reasoning chain as a proxy for intermediate thoughts. Specifically, we guide LLMs using in-context learning to iteratively generate operations and update the table to represent a tabular reasoning chain. LLMs can therefore dynamically plan the next operation based on the results of the previous ones. This continuous evolution of the table forms a chain, showing the reasoning process for a given tabular problem. The chain carries structured information of the intermediate results, enabling more accurate and reliable predictions. Chain-of-Table achieves new state-of-the-art performance on WikiTQ, FeTaQA, and TabFact benchmarks across multiple LLM choices.