title: Controllable magnon frequency comb in synthetic ferrimagnets

abstract: Magnon frequency comb provides opportunities for exploring magnon nonlinear effects and measuring the transmission magnon frequency in magnets, whose controllability becomes vital for modulating the operating frequency and improving the measurement accuracy. Nevertheless, such controllable frequency comb remains to be explored. In this work, we investigate theoretically and numerically the skyrmion-induced magnon frequency comb effect generated by interaction between the magnon excitation mode and skyrmion breathing mode in synthetic ferrimagnets. It is revealed that both the skyrmion breathing mode and the magnon frequency gap closely depend on the net angular momentum {\delta}s, emphasizing the pivotal role of {\delta}s as an effective control parameter in governing the comb teeth. With the increase of {\delta}s, the skyrmion size decreases, which results in the enlargement of the breathing frequency and the distance between the comb teeth. Moreover, the dependences of the magnon frequency gap on {\delta}s and the inter-layer coupling allow one to modulate the comb lowest coherent frequency via structural control. Consequently, the coherent modes generated by the comb may range from gigahertz to terahertz frequencies, serving as a bridge between microwave and terahertz waves. Thus, this work represents a substantial advance in understanding the magnon frequency comb effect in ferrimagnets.


title: shock_cooling_curve: A Python-Based Package for Extensive and Efficient Modeling of Shock Cooling Emission in Supernovae

abstract: The light-curve evolution of a supernova contains information of the exploding star. Early-time photometry of a variety of explosive transients, including Calcium-rich transients and type IIb/Ibc and IIP supernovae shows evidence for an early light curve peak as a result of the explosion's shock wave passing through extended material (i.e., shock cooling emission (SCE)). Analytic modeling of the shock cooling emission allows us to estimate progenitor properties such as the radius and mass of extended material (e.g., the stellar envelope) as well as the shock velocity. In this work, we present a Python-based modular package that implements four analytic models originally developed in Piro 2015, Piro 2020 and Sapir & Waxman (2017) applied to photometric data to obtain progenitor parameter properties via different modeling techniques (including non-linear optimization, MCMC sampling). Our software is easily extendable to other analytic models for SCE and different methods of parameter estimation.


title: Applications of Gorenstein projective $\tau$-rigid modules

abstract: We first introduce the notion of $CM$-$\tau$-tilting free algebras as the generalization of $CM$-free algebras and show the homological properties of $CM$-$\tau$-tilting free algebras. Then we give a bijection between Gorenstein projective $\tau$-rigid modules and certain modules by using an equivalence established by Kong and Zhang. Finally, we give a partial answer to Tachikawa's first conjecture by using Gorenstein projective $\tau$-rigid modules.


title: Field-induced transformation between triangular and square skyrmion crystals in a tetragonal polar magnet

abstract: Magnetic skyrmions with topologically nontrivial spin textures form a variety of periodic structures depending on microscopic interactions and lattice symmetry. We theoretically investigate a transformation between triangular and square skyrmion crystals against an external magnetic field in a polar tetragonal magnet. By performing the simulated annealing for a classical spin model, we show that the competition of the Dzyaloshinskii-Moriya interaction at multiple wave vectors is a key ingredient in inducing the structural transition in terms of the skyrmion crystals. The present results indicate the importance of magnetic frustration in momentum space as the origin of exotic topological phase transitions.


title: High count rate effects in event processing for XRISM/Resolve x-ray microcalorimeter

abstract: The spectroscopic performance of x-ray instruments can be affected at high count rates. The effects and mitigation in the optical chain, such as x-ray attenuation filters or de-focusing mirrors, are widely discussed, but those in the signal chain are not. Using the Resolve x-ray microcalorimeter onboard the XRISM satellite, we discuss the effects observed during high count rate measurements and how these can be modeled. We focus on three instrumental effects that impact performance at high count rate: CPU limit, pile up, and electrical cross talk. High count rate data were obtained during ground testing using the flight model instrument and a calibration x-ray source. A simulated observation of GX 13+1 is presented to illustrate how to estimate these effects based on these models for observation planning. The impact of these effects on high count rate observations is discussed.


title: A Method for Determining the Locations and Configurations of Magnetic Reconnection within 3D Turbulent Plasmas

abstract: Context. Three-dimensional (3D) reconnection is an important mechanism for efficiently releasing energy during astrophysical eruptive events, which is difficult to be quantitatively analyzed especially within turbulent plasmas. Aims. In this paper, an efficient method for identifying locations and configurations of 3D reconnection from MHD data is developed. Methods. This method analyzes the local nonideal electric field and magnetic structure at an arbitrary position. As only performing algebraical manipulations on the discrete field data and avoiding computationally expensive operations like field-line tracing and root-finding, this method naturally possesses high efficiency. To validate this method, we apply it to the 3D data from a high-resolution simulation of a Harris-sheet reconnection and a data-driven simulation of a coronal flux rope eruption. Results. It is shown that this method can precisely identify the local structures of discrete magnetic field. Through the information of nonideal electric field and the geometric attributes of magnetic field, the local structures of reconnection sites can be effectively and comprehensively determined. For fine turbulent processes, both qualitative pictures and quantitative statistical properties of small-scale reconnection structures can be obtained. For large-scale solar simulations, macro-scale magnetic structures such as flux ropes and eruption current sheets can also be recognized. Conclusions. We develop a powerful method to analyze multi-scale structures of 3D reconnection. It can be applied not only in MHD simulations but also in kinetic simulations, plasma experiments, and in-situ observations.


title: Efficient Computing Algorithm for High Dimensional Sparse Support Vector Machine

abstract: In recent years, considerable attention has been devoted to the regularization models due to the presence of high-dimensional data in scientific research. Sparse support vector machine (SVM) are useful tools in high-dimensional data analysis, and they have been widely used in the area of econometrics. Nevertheless, the non-smoothness of objective functions and constraints present computational challenges for many existing solvers in the presence of ultra-high dimensional covariates. In this paper, we design efficient and parallelizable algorithms for solving sparse SVM problems with high dimensional data through feature space split. The proposed algorithm is based on the alternating direction method of multiplier (ADMM). We establish the rate of convergence of the proposed ADMM method and compare it with existing solvers in various high and ultra-high dimensional settings. The compatibility of the proposed algorithm with parallel computing can further alleviate the storage and scalability limitations of a single machine in large-scale data processing.


title: Privacy-Preserved Neural Graph Databases

abstract: In the era of large language models (LLMs), efficient and accurate data retrieval has become increasingly crucial for the use of domain-specific or private data in the retrieval augmented generation (RAG). Neural graph databases (NGDBs) have emerged as a powerful paradigm that combines the strengths of graph databases (GDBs) and neural networks to enable efficient storage, retrieval, and analysis of graph-structured data which can be adaptively trained with LLMs. The usage of neural embedding storage and Complex neural logical Query Answering (CQA) provides NGDBs with generalization ability. When the graph is incomplete, by extracting latent patterns and representations, neural graph databases can fill gaps in the graph structure, revealing hidden relationships and enabling accurate query answering. Nevertheless, this capability comes with inherent trade-offs, as it introduces additional privacy risks to the domain-specific or private databases. Malicious attackers can infer more sensitive information in the database using well-designed queries such as from the answer sets of where Turing Award winners born before 1950 and after 1940 lived, the living places of Turing Award winner Hinton are probably exposed, although the living places may have been deleted in the training stage due to the privacy concerns. In this work, we propose a privacy-preserved neural graph database (P-NGDB) framework to alleviate the risks of privacy leakage in NGDBs. We introduce adversarial training techniques in the training stage to enforce the NGDBs to generate indistinguishable answers when queried with private information, enhancing the difficulty of inferring sensitive information through combinations of multiple innocuous queries.


title: Radiometric propulsion: Advancing with the order-of-magnitude enhancement through graphene aerogel-coated vanes

abstract: Radiometer is a light-induced aerodynamic propulsive device under the rarefied gas environment, which holds great potential for the next-gen near-space flight. However, its practical applications are hindered by the weak propulsion forces on the conventional radiometer vanes. Herein, this material-aerodynamics cross-disciplinary study develops novel radiometer vanes with graphene aerogel coatings, which for the first time realize an order of magnitude enhancement in radiometric propulsion. The improvement is manifested as up to 29.7 times faster rotation speed at a low pressure of 0.2 Pa, 13.8 times faster at the pressure (1.5 Pa) with maximum speeds, and 4 orders of magnitude broader operating pressure range (10E-4 - 10E2 Pa). Direct Simulation Monte Carlo calculations reveal that the outstanding performance is ascribed to the improved temperature gradient and gas-solid momentum transfer efficiency tailored by surface porous microstructures. Moreover, we demonstrate a stable and long-term levitation prototype under both 1 sun irradiation and a rarefied gas environment.


title: DSNet: Disentangled Siamese Network with Neutral Calibration for Speech Emotion Recognition

abstract: One persistent challenge in deep learning based speech emotion recognition (SER) is the unconscious encoding of emotion-irrelevant factors (e.g., speaker or phonetic variability), which limits the generalization of SER in practical use. In this paper, we propose DSNet, a Disentangled Siamese Network with neutral calibration, to meet the demand for a more robust and explainable SER model. Specifically, we introduce an orthogonal feature disentanglement module to explicitly project the high-level representation into two distinct subspaces. Later, we propose a novel neutral calibration mechanism to encourage one subspace to capture sufficient emotion-irrelevant information. In this way, the other one can better isolate and emphasize the emotion-relevant information within speech signals. Experimental results on two popular benchmark datasets demonstrate the superiority of DSNet over various state-of-the-art methods for speaker-independent SER.


title: Scalable Approximate Optimal Diagonal Preconditioning

abstract: We consider the problem of finding the optimal diagonal preconditioner for a positive definite matrix. Although this problem has been shown to be solvable and various methods have been proposed, none of the existing approaches are scalable to matrices of large dimension, or when access is limited to black-box matrix-vector products, thereby significantly limiting their practical application. In view of these challenges, we propose practical algorithms applicable to finding approximate optimal diagonal preconditioners of large sparse systems. Our approach is based on the idea of dimension reduction, and combines techniques from semi-definite programming (SDP), random projection, semi-infinite programming (SIP), and column generation. Numerical experiments demonstrate that our method scales to sparse matrices of size greater than $10^7$. Notably, our approach is efficient and implementable using only black-box matrix-vector product operations, making it highly practical for a wide variety of applications.


title: Zero-Inflated Bandits

abstract: Many real applications of bandits have sparse non-zero rewards, leading to slow learning rates. A careful distribution modeling that utilizes problem-specific structures is known as critical to estimation efficiency in the statistics literature, yet is under-explored in bandits. To fill the gap, we initiate the study of zero-inflated bandits, where the reward is modeled as a classic semi-parametric distribution called zero-inflated distribution. We carefully design Upper Confidence Bound (UCB) and Thompson Sampling (TS) algorithms for this specific structure. Our algorithms are suitable for a very general class of reward distributions, operating under tail assumptions that are considerably less stringent than the typical sub-Gaussian requirements. Theoretically, we derive the regret bounds for both the UCB and TS algorithms for multi-armed bandit, showing that they can achieve rate-optimal regret when the reward distribution is sub-Gaussian. The superior empirical performance of the proposed methods is shown via extensive numerical studies.


title: Mining Domain-Based Policies

abstract: Protection domains are one of the most enduring concepts in Access Control. Entities with identical access control characteristics are grouped under the same protection domain, and domain-based policies assign access privileges to the protection domain as a whole. With the advent of the Internet of Things (IoT), devices play the roles of both subjects and objects. Domain-based policies are particularly suited to support this symmetry of roles. This paper studies the mining of domain-based policies from incomplete access logs. We began by building a theory of domain-based policies, resulting in a polynomial-time algorithm that constructs the optimal domain-based policy out of a given access control matrix. We then showed that the problem of domain-based policy mining (DBPM) and the related problem of mining policies for domain and type enforcement (DTEPM) are both NP-complete. Next, we looked at the practical problem of using a MaxSAT solver to solve DBPM. We devised sophisticated encodings for this purpose, and empirically evaluated their relative performance. This paper thus lays the groundwork for future study of DBPM.


title: On the connection between weak measurement in quantum physics and analytic phase-retrieval in classical wave optics

abstract: The physical interpretation of weak measurements has been the subject of much debate. It is known that anomalous phenomena and results that appear in weak measurements are essentially related to the phase of the quantum system being measured. Consideration of the phase is important to clarify its physical interpretation. In classical wave optics, there has long been studies on methods of measuring or retrieving the phase of a wave function. We here present that one of those methods, the analytic phase retrieval based on the properties of entire functions, has a close connection with weak measurements in quantum physics. We explain such a connection for two emblematic optical weak-measurements that have the same mathematical formalism as quantum systems: one is a system for weak measurements of polarized light displacement in a birefringent crystal, and the other is a system for the direct measurement of a wave function by weakly coupling it to a pointer. In those two systems, we show that the pre- and post-selection of polarized light provides a filtering effect similar to that utilized in the analytic phase retrieval.


title: 2d QCD and Integrability, Part I: 't Hooft model

abstract: We study analytical properties and integrable structures of the meson spectrum in large $N_c$ QCD$_2$. We show that the integral equation that determines the masses of the mesons, often called the 't Hooft equation, is equivalent to finding solutions to a TQ-Baxter equation. Using the Baxter equation, we extract systematic expansions of the energy levels as well as analytic asymptotic expressions for wavefunctions. Our analysis extends previous results for a special quark mass by Fateev et al. to arbitrary quark masses. This reformulation, together with its relation to an inhomogeneous Fredholm equation, is particularly suited for analytical treatments and makes accessible the analytic structure of the spectrum in the complex plane of the quark masses. We also comment on applications of our techniques to non-perturbative topological string partition functions.


title: Preliminary Study on Incremental Learning for Large Language Model-based Recommender Systems

abstract: Adapting Large Language Models for recommendation (LLM4Rec)has garnered substantial attention and demonstrated promising results. However, the challenges of practically deploying LLM4Rec are largely unexplored, with the need for incremental adaptation to evolving user preferences being a critical concern. Nevertheless, the suitability of traditional incremental learning within LLM4Rec remains ambiguous, given the unique characteristics of LLMs. In this study, we empirically evaluate the commonly used incremental learning strategies (full retraining and fine-tuning) for LLM4Rec. Surprisingly, neither approach leads to evident improvements in LLM4Rec's performance. Rather than directly dismissing the role of incremental learning, we ascribe this lack of anticipated performance improvement to the mismatch between the LLM4Recarchitecture and incremental learning: LLM4Rec employs a single adaptation module for learning recommendation, hampering its ability to simultaneously capture long-term and short-term user preferences in the incremental learning context. To validate this speculation, we develop a Long- and Short-term Adaptation-aware Tuning (LSAT) framework for LLM4Rec incremental learning. Instead of relying on a single adaptation module, LSAT utilizes two adaptation modules to separately learn long-term and short-term user preferences. Empirical results demonstrate that LSAT could enhance performance, validating our speculation.


title: Context-aware Communication for Multi-agent Reinforcement Learning

abstract: Effective communication protocols in multi-agent reinforcement learning (MARL) are critical to fostering cooperation and enhancing team performance. To leverage communication, many previous works have proposed to compress local information into a single message and broadcast it to all reachable agents. This simplistic messaging mechanism, however, may fail to provide adequate, critical, and relevant information to individual agents, especially in severely bandwidth-limited scenarios. This motivates us to develop context-aware communication schemes for MARL, aiming to deliver personalized messages to different agents. Our communication protocol, named CACOM, consists of two stages. In the first stage, agents exchange coarse representations in a broadcast fashion, providing context for the second stage. Following this, agents utilize attention mechanisms in the second stage to selectively generate messages personalized for the receivers. Furthermore, we employ the learned step size quantization (LSQ) technique for message quantization to reduce the communication overhead. To evaluate the effectiveness of CACOM, we integrate it with both actor-critic and value-based MARL algorithms. Empirical results on cooperative benchmark tasks demonstrate that CACOM provides evident performance gains over baselines under communication-constrained scenarios. The code is publicly available at https://github.com/LXXXXR/CACOM.


title: On-chip Lithium Niobate Heterogeneous Photonic Crystal Nanocavity Laser

abstract: Thin film lithium niobate (TFLN) has become an platform for modern integrated circuits due to its excellent optical properties. With the development of rare earth ion doped TFLN, important breakthroughs of on-chip microlasers has emerged and show significant application for optical communication, computing and quantum photonics. However, challenges still remain in developing compact lasers with small mode volumes and low threshold on rare earth ion doped TFLN for highly efficient dense integration. In this letter, we fabricated a heterogeneous photonic crystal (PhC) nanobeam cavity on erbium-doped TFLN with a quality factor of 1.2\times10^4 and firstly demonstrated a single-mode integrated PhC laser with submicron mode volume on TFLN platform. Laser at 1559.63 nm is achieved with the 974 nm single-mode pump. The effective mode volume is 1.44 ({\lambda}/n)^3 (~ 0.645 {\mu}m^3) and the threshold power is 163 {\mu}W. Enhanced photorefractive effect in the PhC cavity is measured. This lithium niobate photonic crystal nanocavity laser, as a compact telecommunication C-band on-chip light source, would benefit the progress of high-speed and low-cost optical community on TFLN integrated photonics.


title: The effects of aural and visual factors on appropriateness ratings of residential spaces in an urban city

abstract: This study investigates the aural and visual factors that influence appropriateness perception in soundscape evaluations in residential spaces, where people may spend most of their time in. Appropriateness in soundscape is derived from the expectation of sound sources in a specific environment, place, or function heard by a listener. The appropriateness of soundscapes in 30 locations in an urban residential environment is investigated with varying landscape, visual, and aural elements through a questionnaire. Participants experienced the soundscape in situ and were asked to evaluate the appropriateness of soundscape as well as the dominance of specific sound sources such as traffic, human activities, and birdsongs in the residential space. The effect of the type of traffic on appropriateness is also investigated. A strong relationship is found between appropriateness and affective soundscape qualities such as pleasantness, highlighting the importance of considering appropriateness in soundscape research.


title: A Split-and-Privatize Framework for Large Language Model Fine-Tuning

abstract: Fine-tuning is a prominent technique to adapt a pre-trained language model to downstream scenarios. In parameter-efficient fine-tuning, only a small subset of modules are trained over the downstream datasets, while leaving the rest of the pre-trained model frozen to save computation resources. In recent years, a popular productization form arises as Model-as-a-Service (MaaS), in which vendors provide abundant pre-trained language models, server resources and core functions, and customers can fine-tune, deploy and invoke their customized model by accessing the one-stop MaaS with their own private dataset. In this paper, we identify the model and data privacy leakage risks in MaaS fine-tuning, and propose a Split-and-Privatize (SAP) framework, which manage to mitigate the privacy issues by adapting the existing split learning architecture. The proposed SAP framework is sufficiently investigated by experiments, and the results indicate that it can enhance the empirical privacy by 62% at the cost of 1% model performance degradation on the Stanford Sentiment Treebank dataset.


title: An extended sequential quadratic method with extrapolation

abstract: We revisit and adapt the extended sequential quadratic method (ESQM) in [3] for solving a class of difference-of-convex optimization problems whose constraints are defined as the intersection of level sets of Lipschitz differentiable functions and a simple compact convex set. Particularly, for this class of problems, we develop a variant of ESQM, called ESQM with extrapolation (ESQM$_e$), which incorporates Nesterov's extrapolation techniques for empirical acceleration. Under standard constraint qualifications, we show that the sequence generated by ESQM$_e$ clusters at a critical point if the extrapolation parameters are uniformly bounded above by a certain threshold. Convergence of the whole sequence and the convergence rate are established by assuming Kurdyka-Lojasiewicz (KL) property of a suitable potential function and imposing additional differentiability assumptions on the objective and constraint functions. In addition, when the objective and constraint functions are all convex, we show that linear convergence can be established if a certain exact penalty function is known to be a KL function with exponent $\frac12$; we also discuss how the KL exponent of such an exact penalty function can be deduced from that of the original extended objective (i.e., sum of the objective and the indicator function of the constraint set). Finally, we perform numerical experiments to demonstrate the empirical acceleration of ESQM$_{e}$ over a basic version of ESQM, and illustrate its effectiveness by comparing with the natural competing algorithm SCP$_{ls}$ from [35].


title: Stable rationality of hypersurfaces of mock toric variety I

abstract: We introduce a mock toric variety, a generalization of a toric variety. For a non-toric example, Del-Pezzo surfaces are mock toric varieties. These new varieties inherit some properties of mock toric varieties. In application, we give sufficient conditions for the concrete construction of a strictly toroidal model of a hypersurface in a mock toric variety.


title: A Target Detection Algorithm in Traffic Scenes Based on Deep Reinforcement Learning

abstract: This research presents a novel active detection model utilizing deep reinforcement learning to accurately detect traffic objects in real-world scenarios. The model employs a deep Q-network based on LSTM-CNN that identifies and aligns target zones with specific categories of traffic objects through implementing a top-down approach with efficient feature extraction of the environment. The model integrates historical and current actions and observations to make a comprehensive analysis. The design of the state space and reward function takes into account the impact of time steps to enable the model to complete the task in fewer steps. Tests conducted demonstrate the model's proficiency, exhibiting exceptional precision and performance in locating traffic signal lights and speed limit signs. The findings of this study highlight the efficacy and potential of the deep reinforcement learning-based active detection model in traffic-related applications, underscoring its robust detection abilities and promising performance.


title: Determining both leading coefficient and source in a nonlocal elliptic equation

abstract: In this short note, we investigate an inverse source problem associated with a nonlocal elliptic equation $\left( -\nabla \cdot \sigma \nabla \right)^s u =F$ that is given in a bounded open set $\Omega\subset \mathbb{R}^n$, for $n\geq 3$ and $0<s<1$. We demonstrate both $\sigma$ and $F$ can be determined uniquely by using the exterior Dirichlet-to-Neumann (DN) map in $\Omega_e:=\mathbb{R}^n\setminus \overline{\Omega}$. The result is intriguing in that analogous theory cannot be true for the local case generally, that is, $s=1$. The key ingredients to prove the uniqueness is based on the unique continuation principle for nonlocal elliptic operators and the reduction from the nonlocal to the local via the Stinga-Torrea extension problem.


title: Federated learning-outcome prediction with multi-layer privacy protection

abstract: Learning-outcome prediction (LOP) is a long-standing and critical problem in educational routes. Many studies have contributed to developing effective models while often suffering from data shortage and low generalization to various institutions due to the privacy-protection issue. To this end, this study proposes a distributed grade prediction model, dubbed FecMap, by exploiting the federated learning (FL) framework that preserves the private data of local clients and communicates with others through a global generalized model. FecMap considers local subspace learning (LSL), which explicitly learns the local features against the global features, and multi-layer privacy protection (MPP), which hierarchically protects the private features, including model-shareable features and not-allowably shared features, to achieve client-specific classifiers of high performance on LOP per institution. FecMap is then achieved in an iteration manner with all datasets distributed on clients by training a local neural network composed of a global part, a local part, and a classification head in clients and averaging the global parts from clients on the server. To evaluate the FecMap model, we collected three higher-educational datasets of student academic records from engineering majors. Experiment results manifest that FecMap benefits from the proposed LSL and MPP and achieves steady performance on the task of LOP, compared with the state-of-the-art models. This study makes a fresh attempt at the use of federated learning in the learning-analytical task, potentially paving the way to facilitating personalized education with privacy protection.


title: Emergent Quadrupolar Order in the Spin-$1/2$ Kitaev-Heisenberg Model

abstract: Motivated by the largely unexplored domain of multi-polar ordered spin states in the Kitaev-Heisenberg (KH) systems we investigate the ground state dynamics of the spin-$\frac{1}{2}$ KH model, focusing on quadrupolar (QP) order in 2-leg ladder and two-dimensional honeycomb lattice geometries. Employing exact diagonalization and density-matrix renormalization group methods, we analyze the QP order parameter and correlation functions. Our findings reveal a robust QP order across a wide range of the phase diagram, influenced by the interplay between Heisenberg and Kitaev interactions. Notably, we observe an enhancement of QP order near Kitaev quantum spin liquid (QSL) phases, despite the absence of long-range spin-spin correlations. This highlights a complex relationship between QP order and QSLs, offering new insights into quantum magnetism in low-dimensional systems. Our findings provide a rational explanation for the observed nonlinear magnetic susceptibility in $\alpha$-RuCl$_3$.


title: Towards Learning Geometric Eigen-Lengths Crucial for Fitting Tasks

abstract: Some extremely low-dimensional yet crucial geometric eigen-lengths often determine the success of some geometric tasks. For example, the height of an object is important to measure to check if it can fit between the shelves of a cabinet, while the width of a couch is crucial when trying to move it through a doorway. Humans have materialized such crucial geometric eigen-lengths in common sense since they are very useful in serving as succinct yet effective, highly interpretable, and universal object representations. However, it remains obscure and underexplored if learning systems can be equipped with similar capabilities of automatically discovering such key geometric quantities from doing tasks. In this work, we therefore for the first time formulate and propose a novel learning problem on this question and set up a benchmark suite including tasks, data, and evaluation metrics for studying the problem. We focus on a family of common fitting tasks as the testbed for the proposed learning problem. We explore potential solutions and demonstrate the feasibility of learning eigen-lengths from simply observing successful and failed fitting trials. We also attempt geometric grounding for more accurate eigen-length measurement and study the reusability of the learned eigen-lengths across multiple tasks. Our work marks the first exploratory step toward learning crucial geometric eigen-lengths and we hope it can inspire future research in tackling this important yet underexplored problem.


title: Inference of Dependency Knowledge Graph for Electronic Health Records

abstract: The effective analysis of high-dimensional Electronic Health Record (EHR) data, with substantial potential for healthcare research, presents notable methodological challenges. Employing predictive modeling guided by a knowledge graph (KG), which enables efficient feature selection, can enhance both statistical efficiency and interpretability. While various methods have emerged for constructing KGs, existing techniques often lack statistical certainty concerning the presence of links between entities, especially in scenarios where the utilization of patient-level EHR data is limited due to privacy concerns. In this paper, we propose the first inferential framework for deriving a sparse KG with statistical guarantee based on the dynamic log-linear topic model proposed by \cite{arora2016latent}. Within this model, the KG embeddings are estimated by performing singular value decomposition on the empirical pointwise mutual information matrix, offering a scalable solution. We then establish entrywise asymptotic normality for the KG low-rank estimator, enabling the recovery of sparse graph edges with controlled type I error. Our work uniquely addresses the under-explored domain of statistical inference about non-linear statistics under the low-rank temporal dependent models, a critical gap in existing research. We validate our approach through extensive simulation studies and then apply the method to real-world EHR data in constructing clinical KGs and generating clinical feature embeddings.


title: APTv2: Benchmarking Animal Pose Estimation and Tracking with a Large-scale Dataset and Beyond

abstract: Animal Pose Estimation and Tracking (APT) is a critical task in detecting and monitoring the keypoints of animals across a series of video frames, which is essential for understanding animal behavior. Past works relating to animals have primarily focused on either animal tracking or single-frame animal pose estimation only, neglecting the integration of both aspects. The absence of comprehensive APT datasets inhibits the progression and evaluation of animal pose estimation and tracking methods based on videos, thereby constraining their real-world applications. To fill this gap, we introduce APTv2, the pioneering large-scale benchmark for animal pose estimation and tracking. APTv2 comprises 2,749 video clips filtered and collected from 30 distinct animal species. Each video clip includes 15 frames, culminating in a total of 41,235 frames. Following meticulous manual annotation and stringent verification, we provide high-quality keypoint and tracking annotations for a total of 84,611 animal instances, split into easy and hard subsets based on the number of instances that exists in the frame. With APTv2 as the foundation, we establish a simple baseline method named \posetrackmethodname and provide benchmarks for representative models across three tracks: (1) single-frame animal pose estimation track to evaluate both intra- and inter-domain transfer learning performance, (2) low-data transfer and generalization track to evaluate the inter-species domain generalization performance, and (3) animal pose tracking track. Our experimental results deliver key empirical insights, demonstrating that APTv2 serves as a valuable benchmark for animal pose estimation and tracking. It also presents new challenges and opportunities for future research. The code and dataset are released at \href{https://github.com/ViTAE-Transformer/APTv2}{https://github.com/ViTAE-Transformer/APTv2}.


title: Maximum bound principle preserving and energy decreasing exponential time differencing schemes for the matrix-valued Allen-Cahn equation

abstract: This work delves into the exponential time differencing (ETD) schemes for the matrix-valued Allen-Cahn equation. In fact, the maximum bound principle (MBP) for the first- and second-order ETD schemes is presented in a prior publication [SIAM Review, 63(2), 2021], assuming a symmetric initial matrix field. Noteworthy is our novel contribution, demonstrating that the first- and second-order ETD schemes for the matrix-valued Allen-Cahn equation -- both being linear schemes -- unconditionally preserve the MBP, even in instances of nonsymmetric initial conditions. Additionally, we prove that these two ETD schemes preserve the energy dissipation law unconditionally for the matrix-valued Allen-Cahn equation. Some numerical examples are presented to verify our theoretical results and to simulate the evolution of corresponding matrix fields.


title: A Comprehensive Evaluation of Parameter-Efficient Fine-Tuning on Software Engineering Tasks

abstract: Pre-trained models (PTMs) have achieved great success in various Software Engineering (SE) downstream tasks following the ``pre-train then fine-tune'' paradigm. As fully fine-tuning all parameters of PTMs can be computationally expensive, a widely used solution is parameter-efficient fine-tuning (PEFT), which freezes PTMs while introducing extra parameters. Though work has been done to test PEFT methods in the SE field, a comprehensive evaluation is still lacking. This paper aims to fill in this gap by evaluating the effectiveness of five PEFT methods on eight PTMs and four SE downstream tasks. For different tasks and PEFT methods, we seek answers to the following research questions: 1) Is it more effective to use PTMs trained specifically on source code, or is it sufficient to use PTMs trained on natural language text? 2) What is the impact of varying model sizes? 3) How does the model architecture affect the performance? Besides effectiveness, we also discuss the efficiency of PEFT methods, concerning the costs of required training time and GPU resource consumption. We hope that our findings can provide a deeper understanding of PEFT methods on various PTMs and SE downstream tasks. All the codes and data are available at \url{https://github.com/zwtnju/PEFT.git}.


title: Signature of BKT-like spin transport in a quasi-2D antiferromagnet BaNi$_2$V$_2$O$_8$

abstract: In two-dimensional (2D) spin systems, the augmentation of spin fluctuations gives rise to quasi-long-range order; however, how they manifest in spin transport remains unclear. Here we investigate the spin Seebeck effect (SSE) in a quasi-2D antiferromagnet, BaNi$_2$V$_2$O$_8$, which has been reported to exhibit the Berezinskii-Kosterlitz-Thouless (BKT) transition owing to its distinct 2D nature. We found that the SSE in Pt / BaNi$_2$V$_2$O$_8$ persists well above the N\'eel temperature, significantly different from the behavior of 3D ordered magnets. Our numerical analysis for a 2D microscopic spin model supports the hypothesis that the observed SSE is linked to strong magnetic correlations in the BKT-like phase.


title: Uncertainty as a Predictor: Leveraging Self-Supervised Learning for Zero-Shot MOS Prediction

abstract: Predicting audio quality in voice synthesis and conversion systems is a critical yet challenging task, especially when traditional methods like Mean Opinion Scores (MOS) are cumbersome to collect at scale. This paper addresses the gap in efficient audio quality prediction, especially in low-resource settings where extensive MOS data from large-scale listening tests may be unavailable. We demonstrate that uncertainty measures derived from out-of-the-box pretrained self-supervised learning (SSL) models, such as wav2vec, correlate with MOS scores. These findings are based on data from the 2022 and 2023 VoiceMOS challenges. We explore the extent of this correlation across different models and language contexts, revealing insights into how inherent uncertainties in SSL models can serve as effective proxies for audio quality assessment. In particular, we show that the contrastive wav2vec models are the most performant in all settings.


title: GanFinger: GAN-Based Fingerprint Generation for Deep Neural Network Ownership Verification

abstract: Deep neural networks (DNNs) are extensively employed in a wide range of application scenarios. Generally, training a commercially viable neural network requires significant amounts of data and computing resources, and it is easy for unauthorized users to use the networks illegally. Therefore, network ownership verification has become one of the most crucial steps in safeguarding digital assets. To verify the ownership of networks, the existing network fingerprinting approaches perform poorly in the aspects of efficiency, stealthiness, and discriminability. To address these issues, we propose a network fingerprinting approach, named as GanFinger, to construct the network fingerprints based on the network behavior, which is characterized by network outputs of pairs of original examples and conferrable adversarial examples. Specifically, GanFinger leverages Generative Adversarial Networks (GANs) to effectively generate conferrable adversarial examples with imperceptible perturbations. These examples can exhibit identical outputs on copyrighted and pirated networks while producing different results on irrelevant networks. Moreover, to enhance the accuracy of fingerprint ownership verification, the network similarity is computed based on the accuracy-robustness distance of fingerprint examples'outputs. To evaluate the performance of GanFinger, we construct a comprehensive benchmark consisting of 186 networks with five network structures and four popular network post-processing techniques. The benchmark experiments demonstrate that GanFinger significantly outperforms the state-of-the-arts in efficiency, stealthiness, and discriminability. It achieves a remarkable 6.57 times faster in fingerprint generation and boosts the ARUC value by 0.175, resulting in a relative improvement of about 26%.


title: Structural complexity of snapshots of 2D Fermi-Hubbard systems

abstract: The development of quantum gas microscopy for two-dimensional optical lattices has provided an unparalleled tool to study the Fermi-Hubbard model (FHM) with ultracold atoms. Spin-resolved projective measurements, or snapshots, have played a significant role in quantifying correlation functions which uncover underlying physical phenomena such as antiferromagnetism at commensurate filling on bipartite lattices, and other charge and spin correlations, as well as dynamical properties at various densities. However, in order to interpret these results and to establish temperature scales, comparison against theory is generally needed. Here, we employ a recent concept, the {\em multi-scale structural complexity}, and show that when computed for the snapshots (of either single spin species, local moments, or total density) it can provide a theory-free property, immediately accessible to experiments. Specifically, after benchmarking results for Ising and XY models, we study the structural complexity of snapshots of the repulsive FHM in the two-dimensional square lattice as a function of doping and temperature. We generate projective measurements using determinant quantum Monte Carlo and compare their complexities against those from the experiment. We demonstrate that these complexities are linked to relevant physical observables such as the entropy and double occupancy. Their behaviors capture the development of correlations and relevant length scales in the system. We provide an open-source code in Python which can be implemented into data analysis routines in experimental settings for the square lattice.


title: Adjusting confidence intervals under covariate-adaptive randomization in non-inferiority and equivalence trials

abstract: Regulatory authorities guide the use of permutation tests or randomization tests so as not to increase the type-I error rate when applying covariate-adaptive randomization in randomized clinical trials. For non-inferiority and equivalence trials, this paper derives adjusted confidence intervals using permutation and randomization methods, thus controlling the type-I error to be much closer to the pre-specified nominal significance level. We consider three variable types for the outcome of interest, namely normal, binary, and time-to-event variables for the adjusted confidence intervals. For normal variables, we show that the type-I error for the adjusted confidence interval holds the nominal significance level. However, we highlight a unique theoretical challenge for non-inferiority and equivalence trials: binary and time-to-event variables may not hold the nominal significance level when the model parameters are estimated by models that diverge from the data-generating model under the null hypothesis. To clarify these features, we present simulation results and evaluate the performance of the adjusted confidence intervals.


title: Tailoring coherent microwave emission from a solid-state hybrid system for room-temperature microwave quantum electronics

abstract: Quantum electronics operating in the microwave domain are burgeoning and becoming essential building blocks of quantum computers, sensors and communication devices. However, the field of microwave quantum electronics has long been dominated by the need for cryogenic conditions to maintain the delicate quantum characteristics. Here we report on a solid-state hybrid system, constituted by a photo-excited pentacene triplet spin ensemble coupled to a dielectric resonator, that is for the first time capable of both coherent microwave quantum amplification and oscillation at X band via the masing process at room temperature. By incorporating external driving and active dissipation control into the hybrid system, we achieve efficient tuning of the maser emission characteristics at around 9.4 GHz, which is key to optimizing the performance of the maser device. Our work not only pushes the boundaries of the operating frequency and functionality of the existing pentacene masers, but also demonstrate a universal route for controlling the masing process at room temperature, highlighting opportunities for optimizing emerging solid-state masers for quantum information processing and communication.


title: On the intertwining differential operators from a line bundle to a vector bundle over the real projective space

abstract: We classify and construct $SL(n,\mathbb{R})$-intertwining differential operators $\mathcal{D}$ from a line bundle to a vector bundle over the real projective space $\mathbb{RP}^{n-1}$ by the F-method. This generalizes a classical result of Bol for $SL(2,\mathbb{R})$. Further, we classify the $K$-type formulas for the kernel $\text{Ker}(\mathcal{D})$ and image $\text{Im}(\mathcal{D})$ of $\mathcal{D}$. The standardness of the homomorphisms $\varphi$ corresponding to the differential operators $\mathcal{D}$ between generalized Verma modules are also discussed.


title: Scalable Face Image Coding via StyleGAN Prior: Towards Compression for Human-Machine Collaborative Vision

abstract: The accelerated proliferation of visual content and the rapid development of machine vision technologies bring significant challenges in delivering visual data on a gigantic scale, which shall be effectively represented to satisfy both human and machine requirements. In this work, we investigate how hierarchical representations derived from the advanced generative prior facilitate constructing an efficient scalable coding paradigm for human-machine collaborative vision. Our key insight is that by exploiting the StyleGAN prior, we can learn three-layered representations encoding hierarchical semantics, which are elaborately designed into the basic, middle, and enhanced layers, supporting machine intelligence and human visual perception in a progressive fashion. With the aim of achieving efficient compression, we propose the layer-wise scalable entropy transformer to reduce the redundancy between layers. Based on the multi-task scalable rate-distortion objective, the proposed scheme is jointly optimized to achieve optimal machine analysis performance, human perception experience, and compression ratio. We validate the proposed paradigm's feasibility in face image compression. Extensive qualitative and quantitative experimental results demonstrate the superiority of the proposed paradigm over the latest compression standard Versatile Video Coding (VVC) in terms of both machine analysis as well as human perception at extremely low bitrates ($<0.01$ bpp), offering new insights for human-machine collaborative compression.


title: Classical capacity of quantum non-Gaussian attenuator and amplifier channels

abstract: We consider a quantum bosonic channel that couples the input mode via a beam splitter or two-mode squeezer to an environmental mode that is prepared in an arbitrary state. We investigate the classical capacity of this channel, which we call a non-Gaussian attenuator or amplifier channel. If the environment state is thermal, we of course recover a Gaussian phase-covariant channel whose classical capacity is well known. Otherwise, we derive both a lower and an upper bound to the classical capacity of the channel, drawing inspiration from the classical treatment of the capacity of non-Gaussian additive-noise channels. We show that the lower bound to the capacity is always achievable and give examples where the non-Gaussianity of the channel can be exploited so that the communication rate beats the capacity of the Gaussian-equivalent channel (i.e., the channel where the environment state is replaced by a Gaussian state with the same covariance matrix). Finally, our upper bound leads us to formulate and investigate conjectures on the input state that minimizes the output entropy of non-Gaussian attenuator or amplifier channels. Solving these conjectures would be a main step towards accessing the capacity of a large class of non-Gaussian bosonic channels.


title: Negative Control Falsification Tests for Instrumental Variable Designs

abstract: We develop theoretical foundations for widely used falsification tests for instrumental variable (IV) designs. We characterize these tests as conditional independence tests between negative control variables - proxies for potential threats - and either the IV or the outcome. We find that conventional applications of these falsification tests would flag problems in exogenous IV designs, and propose simple solutions to avoid this. We also propose new falsification tests that incorporate new types of negative control variables or alternative statistical tests. Finally, we illustrate that under stronger assumptions, negative control variables can also be used for bias correction.


title: Exploration of the two-dimensional Ising magnetic materials in the triangular prismatic crystal field

abstract: Magnetic anisotropy is essential for stabilizing two-dimensional (2D) magnetism, which has significant applications in spintronics and the advancement of fundamental physics. In this work, we examine the electronic structure and magnetic properties of triangular prismatic MSi$_2$N$_4$ (M = V, Cr) monolayers, using crystal field theory, spin-orbital state analyses, and density functional calculations. Our results reveal that the pristine VSi$_2$N$_4$ monolayer exhibits magnetism with a V$^{4+}$ 3$d^1$ $S$ = 1/2 charge-spin state within the triangular prismatic crystal field. However, the strong $d$ orbital hybridization between adjacent V$^{4+}$ ions disrupts the $d$ orbital splitting in this crystal field, resulting in a relatively small in-plane magnetic anisotropy of approximately 2 $\mu$eV per V atom.In contrast, the pristine CrSi$_2$N$_4$ monolayer is nonmagnetic, characterized by the Cr$^{4+}$ 3$d^2$ $S$ = 0 state. Upon substituting nonmagnetic Cr$^{4+}$ with Si$^{4+}$, Cr$_\frac{1}{3}$Si$_\frac{8}{3}$N$_4$ transforms into an antiferromagnetic insulator with Cr$^{4+}$ 3$d^2$ $S$ = 1 state, featuring a large orbital moment of -1.06 $\mu_{\rm B}$ oriented along the $z$-axis and huge perpendicular magnetic anisotropy of 18.63 meV per Cr atom. These findings highlight the potential for further exploration of 2D Ising magnetic materials within a unique triangular prismatic crystal field.


title: RDF-star2Vec: RDF-star Graph Embeddings for Data Mining

abstract: Knowledge Graphs (KGs) such as Resource Description Framework (RDF) data represent relationships between various entities through the structure of triples (<subject, predicate, object>). Knowledge graph embedding (KGE) is crucial in machine learning applications, specifically in node classification and link prediction tasks. KGE remains a vital research topic within the semantic web community. RDF-star introduces the concept of a quoted triple (QT), a specific form of triple employed either as the subject or object within another triple. Moreover, RDF-star permits a QT to act as compositional entities within another QT, thereby enabling the representation of recursive, hyper-relational KGs with nested structures. However, existing KGE models fail to adequately learn the semantics of QTs and entities, primarily because they do not account for RDF-star graphs containing multi-leveled nested QTs and QT-QT relationships. This study introduces RDF-star2Vec, a novel KGE model specifically designed for RDF-star graphs. RDF-star2Vec introduces graph walk techniques that enable probabilistic transitions between a QT and its compositional entities. Feature vectors for QTs, entities, and relations are derived from generated sequences through the structured skip-gram model. Additionally, we provide a dataset and a benchmarking framework for data mining tasks focused on complex RDF-star graphs. Evaluative experiments demonstrated that RDF-star2Vec yielded superior performance compared to recent extensions of RDF2Vec in various tasks including classification, clustering, entity relatedness, and QT similarity.


title: Ultrahigh electrostrain in Pb-free piezoceramics: Effect of bending

abstract: Recently several reports showing ultra-high electrostrain (> 1 %) have appeared in Pb-free piezoceramics. However, there is lack of clarity on the nature of the ultrahigh strain. Here, we demonsrate that the ultrahigh strain is a consequence of bending of the disc. We show that the propensity for bending arises from the difference in the response magnitude of the grains at the positive and negative surfaces of the piezoceramic when the field is applied.


title: Balanced SNR-Aware Distillation for Guided Text-to-Audio Generation

abstract: Diffusion models have demonstrated promising results in text-to-audio generation tasks. However, their practical usability is hindered by slow sampling speeds, limiting their applicability in high-throughput scenarios. To address this challenge, progressive distillation methods have been effective in producing more compact and efficient models. Nevertheless, these methods encounter issues with unbalanced weights at both high and low noise levels, potentially impacting the quality of generated samples. In this paper, we propose the adaptation of the progressive distillation method to text-to-audio generation tasks and introduce the Balanced SNR-Aware~(BSA) method, an enhanced loss-weighting mechanism for diffusion distillation. The BSA method employs a balanced approach to weight the loss for both high and low noise levels. We evaluate our proposed method on the AudioCaps dataset and report experimental results showing superior performance during the reverse diffusion process compared to previous distillation methods with the same number of sampling steps. Furthermore, the BSA method allows for a significant reduction in sampling steps from 200 to 25, with minimal performance degradation when compared to the original teacher models.


title: From masses and radii of neutron stars to EOS of nuclear matter through neural network

abstract: The equation of state (EOS) of dense nuclear matter is a key factor to determine the internal structure and properties of neutron stars. However, the EOS of high-density nuclear matter has great uncertainty mainly because the terrestrial nuclear experiments cannot reproduce matter as dense as that in the inner core of a neutron star. Fortunately, continuous improvements in astronomical observations of neutron stars provide the opportunity to inversely constrain the EOS of high-density nuclear matter. A number of methods have been proposed to implement this inverse constraint, such as the Bayesian analysis algorithm, the Lindblom's approach, and so on. Neural network algorithm is an effective new method developed in recent years. By employing a set of isospin-dependent parametric EOSs as the training sample of neural network algorithm, we set up an effective way to reconstruct the EOS with relative accuracy through a few mass-radius data. Based on the obtained neural network algorithms and according to the NICER observations on masses and radii of neutron stars with assumed precision, we get the inversely constrained EOS and further calculate the corresponding macroscopic properties of the neutron star. The results are basically consistent with the constraint on EOS from the Huth $et~ al.$ based on Bayesian analysis. Moreover, the results show that even though the neural network algorithm was obtained by using the finite parameterized EOS as the training set, it is valid for any rational parameter combination of the parameterized EOS model.


title: Mesh-LOAM: Real-time Mesh-Based LiDAR Odometry and Mapping

abstract: Despite having achieved real-time performance in mesh construction, most of the current LiDAR odometry and meshing methods may struggle to deal with complex scenes due to relying on explicit meshing schemes. They are usually sensitive to noise. To overcome these limitations, we propose a real-time mesh-based LiDAR odometry and mapping approach for large-scale scenes via implicit reconstruction and a parallel spatial-hashing scheme. To efficiently reconstruct triangular meshes, we suggest an incremental voxel meshing method that updates every scan by traversing each point once and compresses space via a scalable partition module. By taking advantage of rapid accessing triangular meshes at any time, we design point-to-mesh odometry with location and feature-based data association to estimate the poses between the incoming point clouds and the recovered triangular meshes. The experimental results on four datasets demonstrate the effectiveness of our proposed approach in generating accurate motion trajectories and environmental mesh maps.


title: Instrumental Variables based DREM for Online Asymptotic Identification of Perturbed Linear Systems

abstract: Existing online continuous-time parameter estimation laws provide exact (asymptotic/exponential or finite/fixed time) identification of dynamical linear/nonlinear systems parameters only if the external perturbations are equaled to zero or independent with the regressor of the system. However, in real systems the disturbances are almost always non-vanishing and dependent with the regressor. In the presence of perturbations with such properties the above-mentioned identification approaches ensure only boundedness of a parameter estimation error. The main goal of this study is to close this gap and develop a novel online continuous-time parameter estimator, which guarantees exact asymptotic identification of unknown parameters of linear systems in the presence of unknown but bounded perturbations and has relaxed convergence conditions. To achieve the aforementioned goal, it is proposed to augment the deeply investigated Dynamic Regressor Extension and Mixing (DREM) procedure with the novel Instrumental Variables (IV) based extension scheme with averaging. Such an approach allows one to obtain a set of scalar regression equations with asymptotically vanishing perturbation if the initial disturbance that affects the plant is bounded and independent not with the system regressor, but with the instrumental variable. It is rigorously proved that a gradient estimation law designed on the basis of such scalar regressions ensures online unbiased asymptotic identification of the parameters of the perturbed linear systems if some weak independence and excitation assumptions are met. Theoretical results are illustrated and supported with adequate numerical simulations.


title: Searching for Two-Neutrino and Neutrinoless Double Beta Decay of $^{134}$Xe with the PandaX-4T Experiment

abstract: $^{134}$Xe is a candidate isotope for neutrinoless double beta decay~($0\nu\beta\beta$) search. In addition, the two-neutrino case ($2\nu\beta\beta$) allowed by the Standard Model of particle physics has not yet been observed. Utilizing the 10.4% of $^{134}$Xe in the natural xenon in the PandaX-4T detector and its first 94.9-day exposure, we have established the most stringent constraints on $2\nu\beta\beta$ and $0\nu\beta\beta$ of $^{134}$Xe half-lives, with limits of $2.8\times10^{22}$ yr and $3.0\times10^{23}$ yr at 90% confidence level, respectively. The $2\nu\beta\beta$ ($0\nu\beta\beta$) limit surpasses the previously reported best result by a factor of 32 (2.7), highlighting the potential of large monolithic natural xenon detectors.


title: MuLA-GAN: Multi-Level Attention GAN for Enhanced Underwater Visibility

abstract: The underwater environment presents unique challenges, including color distortions, reduced contrast, and blurriness, hindering accurate analysis. In this work, we introduce MuLA-GAN, a novel approach that leverages the synergistic power of Generative Adversarial Networks (GANs) and Multi-Level Attention mechanisms for comprehensive underwater image enhancement. The integration of Multi-Level Attention within the GAN architecture significantly enhances the model's capacity to learn discriminative features crucial for precise image restoration. By selectively focusing on relevant spatial and multi-level features, our model excels in capturing and preserving intricate details in underwater imagery, essential for various applications. Extensive qualitative and quantitative analyses on diverse datasets, including UIEB test dataset, UIEB challenge dataset, U45, and UCCS dataset, highlight the superior performance of MuLA-GAN compared to existing state-of-the-art methods. Experimental evaluations on a specialized dataset tailored for bio-fouling and aquaculture applications demonstrate the model's robustness in challenging environmental conditions. On the UIEB test dataset, MuLA-GAN achieves exceptional PSNR (25.59) and SSIM (0.893) scores, surpassing Water-Net, the second-best model, with scores of 24.36 and 0.885, respectively. This work not only addresses a significant research gap in underwater image enhancement but also underscores the pivotal role of Multi-Level Attention in enhancing GANs, providing a novel and comprehensive framework for restoring underwater image quality.


title: Incorporating Feature Signal Transmission with Block-based Haptic Data Reduction for Time-delayed Teleoperation

abstract: This paper presents an innovative feature signal transmission approach incorpo-rating block-based haptic data reduction to address time-delayed teleoperation. Numerous data reduction techniques rely on perceptual deadband (DB). In the preceding block-based approaches, the whole block within the DB is discarded. However, disregarding all signals within the DB loses too much information and hinders effective haptic signal tracking, as these signals contain valuable infor-mation for signal reconstruction. Consequently, we propose a feature signal transmission approach based on the block algorithm that aggregates samples as a unit, enabling high-quality haptic data reduction. In our proposed approach, we employ max-pooling to extract feature signals from the signals within the DB. These feature signals are then transmitted by adjusting the content of the trans-mission block. This methodology enables the transmission of more useful infor-mation without introducing additional delay, aside from the inherent algorithmic delay. Experimental results demonstrate the superiority of our approach over oth-er state-of-the-art (SOTA) methods on various assessment measures under dis-tinct channel delays.


title: Surface of revolution Radon transforms with centers on generalized surfaces in $\mathbb{R}^n$

abstract: We present a novel analysis of a Radon transform, $R$, which maps an $L^2$ function of compact support to its integrals over smooth surfaces of revolution with centers on an embedded hypersurface in $\mathbb{R}^n$. Using microlocal analysis, we derive necessary and sufficient conditions relating to $R$ for the Bolker condition to hold, which has implications regarding the existence and location of image artifacts. We present a general inversion framework based on Volterra equation theory and known results on the spherical Radon transform, and we prove injectivity results for $R$. Several example applications of our theory are discussed in the context of, e.g., Compton Scatter Tomography (CST) and Ultrasound Reflection Tomography (URT). In addition, using the proposed inversion framework, we validate our microlocal theory via simulation, and present simulated image reconstructions of image phantoms with added noise.


title: Lifting by Image -- Leveraging Image Cues for Accurate 3D Human Pose Estimation

abstract: The "lifting from 2D pose" method has been the dominant approach to 3D Human Pose Estimation (3DHPE) due to the powerful visual analysis ability of 2D pose estimators. Widely known, there exists a depth ambiguity problem when estimating solely from 2D pose, where one 2D pose can be mapped to multiple 3D poses. Intuitively, the rich semantic and texture information in images can contribute to a more accurate "lifting" procedure. Yet, existing research encounters two primary challenges. Firstly, the distribution of image data in 3D motion capture datasets is too narrow because of the laboratorial environment, which leads to poor generalization ability of methods trained with image information. Secondly, effective strategies for leveraging image information are lacking. In this paper, we give new insight into the cause of poor generalization problems and the effectiveness of image features. Based on that, we propose an advanced framework. Specifically, the framework consists of two stages. First, we enable the keypoints to query and select the beneficial features from all image patches. To reduce the keypoints attention to inconsequential background features, we design a novel Pose-guided Transformer Layer, which adaptively limits the updates to unimportant image patches. Then, through a designed Adaptive Feature Selection Module, we prune less significant image patches from the feature map. In the second stage, we allow the keypoints to further emphasize the retained critical image features. This progressive learning approach prevents further training on insignificant image features. Experimental results show that our model achieves state-of-the-art performance on both the Human3.6M dataset and the MPI-INF-3DHP dataset.


title: Thermal Relic Right-Handed Neutrino Dark Matter

abstract: It is known that two heavy Majorana right-handed neutrinos are sufficient to generate the baryon asymmetry in the present universe. Thus, it is interesting to identify the third right-handed neutrino $N$ with the dark matter. We impose a new discrete symmetry $Z_2$ on this dark matter neutrino to stabilize it. However, the $U(1)_{B-L}$ gauge boson $A'$ couples to the right-handed neutrino $N$. If the $B-L$ breaking scale $V_{B-L}$ is sufficiently low, the dark matter neutrino $N$ can be in the thermal bath. We find that the thermal relic $N$ can explain the dark matter abundance for the $B-L$ breaking scale $ V_{B-L} \sim O(10)\,$TeV. After considering all the constraints from the existing experiments, a narrow mass region of the thermal produced right-handed neutrino dark matter $N$ is still surviving.


title: Risk-Aware Control of Discrete-Time Stochastic Systems: Integrating Kalman Filter and Worst-case CVaR in Control Barrier Functions

abstract: This paper proposes control approaches for discrete-time linear systems subject to stochastic disturbances. It employs Kalman filter to estimate the mean and covariance of the state propagation, and the worst-case conditional value-at-risk (CVaR) to quantify the tail risk using the estimated mean and covariance. The quantified risk is then integrated into a control barrier function (CBF) to derive constraints for controller synthesis, addressing tail risks near safe set boundaries. Two optimization-based control methods are presented using the obtained constraints for half-space and ellipsoidal safe sets, respectively. The effectiveness of the obtained results is demonstrated using numerical simulations.


title: Coordinated Planning of Offshore Charging Stations and Electrified Ships: A Case Study on Shanghai-Busan Maritime Route

abstract: Despite the success of electric vehicles on land, electrification of maritime ships is challenged by the dilemma of range anxiety and cargo-carrying capacity. The longer range requires larger batteries, which inevitably eat up the precious cargo space and weight. This paper breaks new ground by proposing a coordinated planning model for offshore charging stations (OCSs) and electric ships (ESs), marking a first in this field. Strategically situated OCS can partition a long maritime route into several shorter segments, which in turn lead to smaller batteries and thus larger cargo capacities. The research analyzed the impact of maritime geographical conditions on the placement and sizing process and provided insights into the trade-offs between battery size, cargo-carrying capacity, and the cruising range of different types of electrified ships. Using real Automatic Identification System (AIS) data, we estimated the economic feasibility of the Shanghai-Busan high-traffic maritime route and conducted a sensitivity analysis on factors affecting its economic viability. The results show that installing OCS can significantly reduce the propulsion cost compared with ESs without OCS and traditional internal combustion engine (ICE) ships.


title: Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL

abstract: This report is a digest of the DOE/NSF Workshop on Correctness in Scientific Computing (CSC'23) held on June 17, 2023, as part of the Federated Computing Research Conference (FCRC) 2023. CSC was conceived by DOE and NSF to address the growing concerns about correctness among those who employ computational methods to perform large-scale scientific simulations. These concerns have escalated, given the complexity, scale, and heterogeneity of today's HPC software and hardware. If correctness is not proactively addressed, there is the risk of producing flawed science on top of unacceptable productivity losses faced by computational scientists and engineers. HPC systems are beginning to include data-driven methods, including machine learning and surrogate models, and their impact on overall HPC system correctness was also felt urgent to discuss. Stakeholders of correctness in this space were identified to belong to several sub-disciplines of computer science; from computer architecture researchers who design special-purpose hardware that offers high energy efficiencies; numerical algorithm designers who develop efficient computational schemes based on reduced precision as well as reduced data movement; all the way to researchers in programming language and formal methods who seek methodologies for correct compilation and verification. To include attendees with such a diverse set of backgrounds, CSC was held during the Federated Computing Research Conference (FCRC) 2023.


title: Formalising the Double-Pushout Approach to Graph Transformation

abstract: In this paper, we utilize Isabelle/HOL to develop a formal framework for the basic theory of double-pushout graph transformation. Our work includes defining essential concepts like graphs, morphisms, pushouts, and pullbacks, and demonstrating their properties. We establish the uniqueness of derivations, drawing upon Rosens 1975 research, and verify the Church-Rosser theorem using Ehrigs and Kreowskis 1976 proof, thereby demonstrating the effectiveness of our formalisation approach. The paper details our methodology in employing Isabelle/HOL, including key design decisions that shaped the current iteration. We explore the technical complexities involved in applying higher-order logic, aiming to give readers an insightful perspective into the engaging aspects of working with an Interactive Theorem Prover. This work emphasizes the increasing importance of formal verification tools in clarifying complex mathematical concepts.


title: Some remarks on the $[x/n]$-sequence

abstract: After the work of Bordell\`{e}s, Dai, Heyman, Pan and Shparlinki (2018) and Heyman (2019), several authors studied the averages of arithmetic functions over the sequence $[x/n]$ and the integers of the form $[x/n]$. In this paper, we give three remarks on this topic. Firstly, we improve the result of Wu and Yu (2022) on the distribution of the integers of the form $[x/n]$ in arithmetic progressions by using a variant of Dirichlet's hyperbola method. Secondly, we prove an asymptotic formula for the number of primitive lattice points with coordinates of the form $[x/n]$, for which we introduce a certain averaging trick. Thirdly, we study a certain "multiplicative" analog of the Titchmarsh divisor problem. We derive asymptotic formulas for such "multiplicative" Titchmarsh divisor problems for "small" arithmetic functions and the Euler totient function with the von Mangoldt function. However, it turns out that the average of the Euler totient function over the $[x/p]$-sequence seems rather difficult and we propose a hypothetical asymptotic formula for this average.


title: Advancing Abductive Reasoning in Knowledge Graphs through Complex Logical Hypothesis Generation

abstract: Abductive reasoning is the process of making educated guesses to provide explanations for observations. Although many applications require the use of knowledge for explanations, the utilization of abductive reasoning in conjunction with structured knowledge, such as a knowledge graph, remains largely unexplored. To fill this gap, this paper introduces the task of complex logical hypothesis generation, as an initial step towards abductive logical reasoning with KG. In this task, we aim to generate a complex logical hypothesis so that it can explain a set of observations. We find that the supervised trained generative model can generate logical hypotheses that are structurally closer to the reference hypothesis. However, when generalized to unseen observations, this training objective does not guarantee better hypothesis generation. To address this, we introduce the Reinforcement Learning from Knowledge Graph (RLF-KG) method, which minimizes differences between observations and conclusions drawn from generated hypotheses according to the KG. Experiments show that, with RLF-KG's assistance, the generated hypotheses provide better explanations, and achieve state-of-the-art results on three widely used KGs.


title: UVAGaze: Unsupervised 1-to-2 Views Adaptation for Gaze Estimation

abstract: Gaze estimation has become a subject of growing interest in recent research. Most of the current methods rely on single-view facial images as input. Yet, it is hard for these approaches to handle large head angles, leading to potential inaccuracies in the estimation. To address this issue, adding a second-view camera can help better capture eye appearance. However, existing multi-view methods have two limitations. 1) They require multi-view annotations for training, which are expensive. 2) More importantly, during testing, the exact positions of the multiple cameras must be known and match those used in training, which limits the application scenario. To address these challenges, we propose a novel 1-view-to-2-views (1-to-2 views) adaptation solution in this paper, the Unsupervised 1-to-2 Views Adaptation framework for Gaze estimation (UVAGaze). Our method adapts a traditional single-view gaze estimator for flexibly placed dual cameras. Here, the "flexibly" means we place the dual cameras in arbitrary places regardless of the training data, without knowing their extrinsic parameters. Specifically, the UVAGaze builds a dual-view mutual supervision adaptation strategy, which takes advantage of the intrinsic consistency of gaze directions between both views. In this way, our method can not only benefit from common single-view pre-training, but also achieve more advanced dual-view gaze estimation. The experimental results show that a single-view estimator, when adapted for dual views, can achieve much higher accuracy, especially in cross-dataset settings, with a substantial improvement of 47.0%. Project page: https://github.com/MickeyLLG/UVAGaze.


title: Conditional Variational Autoencoder for Sign Language Translation with Cross-Modal Alignment

abstract: Sign language translation (SLT) aims to convert continuous sign language videos into textual sentences. As a typical multi-modal task, there exists an inherent modality gap between sign language videos and spoken language text, which makes the cross-modal alignment between visual and textual modalities crucial. However, previous studies tend to rely on an intermediate sign gloss representation to help alleviate the cross-modal problem thereby neglecting the alignment across modalities that may lead to compromised results. To address this issue, we propose a novel framework based on Conditional Variational autoencoder for SLT (CV-SLT) that facilitates direct and sufficient cross-modal alignment between sign language videos and spoken language text. Specifically, our CV-SLT consists of two paths with two Kullback-Leibler (KL) divergences to regularize the outputs of the encoder and decoder, respectively. In the prior path, the model solely relies on visual information to predict the target text; whereas in the posterior path, it simultaneously encodes visual information and textual knowledge to reconstruct the target text. The first KL divergence optimizes the conditional variational autoencoder and regularizes the encoder outputs, while the second KL divergence performs a self-distillation from the posterior path to the prior path, ensuring the consistency of decoder outputs. We further enhance the integration of textual information to the posterior path by employing a shared Attention Residual Gaussian Distribution (ARGD), which considers the textual information in the posterior path as a residual component relative to the prior path. Extensive experiments conducted on public datasets (PHOENIX14T and CSL-daily) demonstrate the effectiveness of our framework, achieving new state-of-the-art results while significantly alleviating the cross-modal representation discrepancy.


title: A graph-based multimodal framework to predict gentrification

abstract: Gentrification--the transformation of a low-income urban area caused by the influx of affluent residents--has many revitalizing benefits. However, it also poses extremely concerning challenges to low-income residents. To help policymakers take targeted and early action in protecting low-income residents, researchers have recently proposed several machine learning models to predict gentrification using socioeconomic and image features. Building upon previous studies, we propose a novel graph-based multimodal deep learning framework to predict gentrification based on urban networks of tracts and essential facilities (e.g., schools, hospitals, and subway stations). We train and test the proposed framework using data from Chicago, New York City, and Los Angeles. The model successfully predicts census-tract level gentrification with 0.9 precision on average. Moreover, the framework discovers a previously unexamined strong relationship between schools and gentrification, which provides a basis for further exploration of social factors affecting gentrification.


title: A variational principle for the Bowen metric mean dimension of saturated set

abstract: This paper investigates a variational principle for the Bowen metric mean dimension of saturated sets $G_K$, where $K$ is a compact connected subset of the convex combination of finite invariant measures for the systems with g-almost product property. In fact, we prove the variational principle of a saturated set with more information, that is $G_K\cap \{x\in X: C_f(X) \subset \omega_f(x)\}$, which reveals that the limit point set of a saturated set contains all structure of the orbits. As an application, we obtain a more general version of multifractal analysis, which is derived independently and can imply partial results of Backes and Rodrigues (2023 IEEE Trans. Inform. Theory. 69 5485-5496).


title: Noether Symmetry Approach for Non-minimally Coupled Scalar Field Models

abstract: Noether symmetry analysis permits a powerful approach for the investigation of integrable models in gravitational theories. In this work, we consider a framework of the non-minimally coupled scalar field to gravity in the Jordan frame in view of the Noether gauge symmetry approach. We then study the point-like Lagrangian for underlying theory based on the use of Noether gauge symmetries. Subsequently, we compute a Hessian matrix and derive the Euler-Lagrange equations associated with the the configuration spaces. Using the Noether gauge symmetry methodology, we obtain a system of partial differential equations and solve them for particular solutions. We find the potential is dependent on the non-minimal coupling, $\xi$. With a small field approximation $\xi \phi^{2}\ll 1$, however we obtain a power-law form of the potential.


title: On the regularity of stochastic effective Hamiltonian

abstract: In this paper, we study the regularity of the ergodic constants for the viscous Hamilton--Jacobi equations. We also estimate the convergent rate of the ergodic constant in the vanishing viscosity process.


title: A Hybrid Advertising Mode for Device Discovery in Bluetooth Low Energy Networks

abstract: Device discovery has a great impact on the performance of Bluetooth low energy (BLE). The performance of device discovery is highly related to the advertising mode. BLE has two advertising modes: pseudo-random delay advertising (RDA) and periodic deterministic advertising (PDA). Generally, PDA has low discovery latency but is susceptible to persistent collisions, whereas RDA does not suffer persistent collisions but has much larger discovery latency. In this paper, we propose a novel hybrid advertising mode, called Deterministic and pseudo-Random delay Advertising (DRA), which has the advantages of both PDA and RDA. We develop an analytical model for DRA mode based on a two-dimensional discrete-time Markov chain, and analyze the expected discovery latency of DRA in a single-advertiser case and a multiple-advertiser case. Simulation shows the accuracy of our analytical model, and also verifies that DRA can achieve an excellent tradeoff between low discovery latency and robustness to collisions.


title: Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques

abstract: Nominal terms extend first-order terms with binding. They lack some properties of first- and higher-order terms: Terms must be reasoned about in a context of 'freshness assumptions'; it is not always possible to 'choose a fresh variable symbol' for a nominal term; it is not always possible to 'alpha-convert a bound variable symbol' or to 'quotient by alpha-equivalence'; the notion of unifier is not based just on substitution. Permissive nominal terms closely resemble nominal terms but they recover these properties, and in particular the 'always fresh' and 'always rename' properties. In the permissive world, freshness contexts are elided, equality is fixed, and the notion of unifier is based on substitution alone rather than on nominal terms' notion of unification based on substitution plus extra freshness conditions. We prove that expressivity is not lost moving to the permissive case and provide an injection of nominal terms unification problems and their solutions into permissive nominal terms problems and their solutions. We investigate the relation between permissive nominal unification and higher-order pattern unification. We show how to translate permissive nominal unification problems and solutions in a sound, complete, and optimal manner, in suitable senses which we make formal.


title: Generalization of Legendre functions applied to Rosen-Morse scattering states

abstract: A generalization of associated Legendre functions is proposed and used to describe the scattering states of the Rosen-Morse potential. The functions are then given explicit formulas in terms of the hypergeometric function, their asymptotic behavior is examined and shown to match the requirements for states in the regions of total and partial reflection. Elementary expressions are given for reflection and transmission coefficients, and an integral identity for the generalized Legendre functions is proven, allowing the calculation of the spectral measure of the induced integral transform for the scattering states. These methods provide a complete classical solution to the potential, without need of path integral techniques.


title: Index Modulation for Fluid Antenna-Assisted MIMO Communications: System Design and Performance Analysis

abstract: In this paper, we propose a transmission mechanism for fluid antennas (FAs) enabled multiple-input multiple-output (MIMO) communication systems based on index modulation (IM), named FA-IM, which incorporates the principle of IM into FAs-assisted MIMO system to improve the spectral efficiency (SE) without increasing the hardware complexity. In FA-IM, the information bits are mapped not only to the modulation symbols, but also the index of FA position patterns. Additionally, the FA position pattern codebook is carefully designed to further enhance the system performance by maximizing the effective channel gains. Then, a low-complexity detector, referred to efficient sparse Bayesian detector, is proposed by exploiting the inherent sparsity of the transmitted FA-IM signal vectors. Finally, a closed-form expression for the upper bound on the average bit error probability (ABEP) is derived under the finite-path and infinite-path channel condition. Simulation results show that the proposed scheme is capable of improving the SE performance compared to the existing FAs-assisted MIMO and the fixed position antennas (FPAs)-assisted MIMO systems while obviating any additional hardware costs. It has also been shown that the proposed scheme outperforms the conventional FA-assisted MIMO scheme in terms of error performance under the same transmission rate.


title: IMEX-RK methods for Landau-Lifshitz equation with arbitrary damping

abstract: Magnetization dynamics in ferromagnetic materials is modeled by the Landau-Lifshitz (LL) equation, a nonlinear system of partial differential equations. Among the numerical approaches, semi-implicit schemes are widely used in the micromagnetics simulation, due to a nice compromise between accuracy and efficiency. At each time step, only a linear system needs to be solved and a projection is then applied to preserve the length of magnetization. However, this linear system contains variable coefficients and a non-symmetric structure, and thus an efficient linear solver is highly desired. If the damping parameter becomes large, it has been realized that efficient solvers are only available to a linear system with constant, symmetric, and positive definite (SPD) structure. In this work, based on the implicit-explicit Runge-Kutta (IMEX-RK) time discretization, we introduce an artificial damping term, which is treated implicitly. The remaining terms are treated explicitly. This strategy leads to a semi-implicit scheme with the following properties: (1) only a few linear system with constant and SPD structure needs to be solved at each time step; (2) it works for the LL equation with arbitrary damping parameter; (3) high-order accuracy can be obtained with high-order IMEX-RK time discretization. Numerically, second-order and third-order IMEX-RK methods are designed in both the 1-D and 3-D domains. A comparison with the backward differentiation formula scheme is undertaken, in terms of accuracy and efficiency. The robustness of both numerical methods is tested on the first benchmark problem from National Institute of Standards and Technology. The linearized stability estimate and optimal rate convergence analysis are provided for an alternate IMEX-RK2 numerical scheme as well.


title: Root mean squares of distance and geodesic between two constituent particles within fractal aggregates prepared by BCCA, DLA, and GSAW procedures

abstract: Understanding the geodesic properties of fractal aggregates is essential, as their thermal and mechanical properties are characterized by their geodesics. In this study, we investigate the root mean square (RMS) of the geodesic between two constituent particles within fractal aggregates prepared by ballistic cluster-cluster aggregation (BCCA), diffusion-limited aggregation (DLA), and growing self-avoiding walk (GSAW) processes in two- and three-dimensional spaces. We find that the dependence of the RMS of the geodesic on the number of constituent particles is given by the following equation: $N \approx k_{\rm g} {D_{\rm RMS}}^{d_{\rm g}}$, where $N$ is the number of constituent particles and $D_{\rm RMS}$ is the RMS of the geodesic. We numerically obtain the prefactor $k_{\rm g}$ and exponent $d_{\rm g}$ for these fractal aggregates. We name the exponent ``the geodesic dimension'', and it is compared with the fractal dimension. Our findings show that the difference between fractal and geodesic dimensions varies significantly depending on the preparation procedure for fractals.


title: Unconditionally stable exponential integrator schemes for the 2D Cahn-Hilliard equation

abstract: Phase field models are gradient flows with their energy naturally dissipating in time. In order to preserve this property, many numerical schemes have been well-studied. In this paper we consider a well-known method, namely the exponential integrator method (EI). In the literature a few works studied several EI schemes for various phase field models and proved the energy dissipation by either requiring a strong Lipschitz condition on the nonlinear source term or certain $L^\infty$ bounds on the numerical solutions (maximum principle). However for phase field models such as the (non-local) Cahn-Hilliard equation, the maximum principle no longer exists. As a result, solving such models via EI schemes remains open for a long time. In this paper we aim to give a systematic approach on applying EI-type schemes to such models by solving the Cahn-Hilliard equation with a first order EI scheme and showing the energy dissipation. In fact second order EI schemes can be handled similarly and we leave the discussion in a subsequent paper. To our best knowledge, this is the first work to handle phase field models without assuming any strong Lipschitz condition or $L^\infty$ boundedness. Furthermore, we will analyze the $L^2$ error and present some numerical simulations to demonstrate the dynamics.


title: Preconditioning for a Variational Quantum Linear Solver

abstract: We apply preconditioning, which is widely used in classical solvers for linear systems $A\textbf{x}=\textbf{b}$, to the variational quantum linear solver. By utilizing incomplete LU factorization as a preconditioner for linear equations formed by $128\times128$ random sparse matrices, we numerically demonstrate a notable reduction in the required ansatz depth, demonstrating that preconditioning is useful for quantum algorithms. This reduction in circuit depth is crucial to improving the efficiency and accuracy of Noisy Intermediate-Scale Quantum (NISQ) algorithms. Our findings suggest that combining classical computing techniques, such as preconditioning, with quantum algorithms can significantly enhance the performance of NISQ algorithms.


title: Swap-based Deep Reinforcement Learning for Facility Location Problems in Networks

abstract: Facility location problems on graphs are ubiquitous in real world and hold significant importance, yet their resolution is often impeded by NP-hardness. Recently, machine learning methods have been proposed to tackle such classical problems, but they are limited to the myopic constructive pattern and only consider the problems in Euclidean space. To overcome these limitations, we propose a general swap-based framework that addresses the p-median problem and the facility relocation problem on graphs and a novel reinforcement learning model demonstrating a keen awareness of complex graph structures. Striking a harmonious balance between solution quality and running time, our method surpasses handcrafted heuristics on intricate graph datasets. Additionally, we introduce a graph generation process to simulate real-world urban road networks with demand, facilitating the construction of large datasets for the classic problem. For the initialization of the locations of facilities, we introduce a physics-inspired strategy for the p-median problem, reaching more stable solutions than the random strategy. The proposed pipeline coupling the classic swap-based method with deep reinforcement learning marks a significant step forward in addressing the practical challenges associated with facility location on graphs.


title: Perceptual Quality Assessment for Video Frame Interpolation

abstract: The quality of frames is significant for both research and application of video frame interpolation (VFI). In recent VFI studies, the methods of full-reference image quality assessment have generally been used to evaluate the quality of VFI frames. However, high frame rate reference videos, necessities for the full-reference methods, are difficult to obtain in most applications of VFI. To evaluate the quality of VFI frames without reference videos, a no-reference perceptual quality assessment method is proposed in this paper. This method is more compatible with VFI application and the evaluation scores from it are consistent with human subjective opinions. A new quality assessment dataset for VFI was constructed through subjective experiments firstly, to assess the opinion scores of interpolated frames. The dataset was created from triplets of frames extracted from high-quality videos using 9 state-of-the-art VFI algorithms. The proposed method evaluates the perceptual coherence of frames incorporating the original pair of VFI inputs. Specifically, the method applies a triplet network architecture, including three parallel feature pipelines, to extract the deep perceptual features of the interpolated frame as well as the original pair of frames. Coherence similarities of the two-way parallel features are jointly calculated and optimized as a perceptual metric. In the experiments, both full-reference and no-reference quality assessment methods were tested on the new quality dataset. The results show that the proposed method achieves the best performance among all compared quality assessment methods on the dataset.


title: Symplectic reduction and lagrangian submanifolds in Gr$(1, n)$

abstract: We study lagrangian submanifolds of algebraic variety Gr(1, n) equipped with the Kahler form given by the Plucker embedding. We use the correspondence between lagrangian submanifolds of Gr(1, n) and lagrangian submanifolds of variety M_{n-k}, given by symplectic reduction Gr(1, n)//T^k for some specially chosen moment maps, which generate T^k action on Gr(1, n). We establish that in this way one finds many topological types, realized by lagrangian submanifolds, and then one counts that Gr(1, n) admits more than n different topological types of smooth lagrangian submanifolds.


title: Unlocking the Potential of Large Language Models for Explainable Recommendations

abstract: Generating user-friendly explanations regarding why an item is recommended has become increasingly common, largely due to advances in language generation technology, which can enhance user trust and facilitate more informed decision-making when using online services. However, existing explainable recommendation systems focus on using small-size language models. It remains uncertain what impact replacing the explanation generator with the recently emerging large language models (LLMs) would have. Can we expect unprecedented results? In this study, we propose LLMXRec, a simple yet effective two-stage explainable recommendation framework aimed at further boosting the explanation quality by employing LLMs. Unlike most existing LLM-based recommendation works, a key characteristic of LLMXRec is its emphasis on the close collaboration between previous recommender models and LLM-based explanation generators. Specifically, by adopting several key fine-tuning techniques, including parameter-efficient instructing tuning and personalized prompt techniques, controllable and fluent explanations can be well generated to achieve the goal of explanation recommendation. Most notably, we provide three different perspectives to evaluate the effectiveness of the explanations. Finally, we conduct extensive experiments over several benchmark recommender models and publicly available datasets. The experimental results not only yield positive results in terms of effectiveness and efficiency but also uncover some previously unknown outcomes. To facilitate further explorations in this area, the full code and detailed original results are open-sourced at https://github.com/GodFire66666/LLM_rec_explanation/.


title: Revisiting Metastable Cosmic String Breaking

abstract: Metastable cosmic strings appear in models of new physics with a two-step symmetry breaking $G\to H\to 1$, where $\pi_1(H)\neq 0$ and $\pi_1(G)=0$. They decay via the monopole-antimonopole pair creation inside. Conventionally, the breaking rate has been estimated by an infinitely thin string approximation, which requires a large hierarchy between the symmetry breaking scales. In this paper, we reexamine it by taking into account the finite sizes of both the cosmic string and the monopole. We obtain a robust lower limit on the tunneling factor $e^{-S_B}$ even for regimes the conventional estimate is unreliable. In particular, it is relevant to the cosmic string interpretation of the gravitational wave signals recently reported by pulsar timing array experiments.