title: Momentum and angular correlations in \texorpdfstring{$Z/\gamma$}{Z/gamma}-hadron production in relativistic heavy-ion collisions

abstract: We carry out a detailed study of medium modifications on momentum and angular correlations between a large transverse momentum hadron and a $Z/\gamma$ trigger in relativistic heavy-ion collisions within a perturbative QCD parton model improved by the Sudakov resummation technique. The total energy loss of a hard parton propagating inside the medium is employed to modify the fragmentation function, while the medium-induced transverse momentum broadening is included in the resummation approach, and both of them are related to the jet transport parameter and obtained by the high-twist formalism. We obtain good agreements with the existing data on transverse momentum and azimuthal angular correlations for the $Z/\gamma$-hadron pairs in $pp$ and $AA$ collisions, and predict the correlations for the $\gamma$-hadron in central $PbPb$ collisions at 5.02 TeV. The numerical analyses for the $Z/\gamma$-hadron in central $PbPb$ collisions show that the normalized angular distribution is decorrelated due to the medium-induced transverse momentum broadening, however, the angular correlation is enhanced due to the parton energy loss, namely anti-broadening. The observed modification of the angular correlation is a result of the competition between the broadening and the anti-broadening. This work provides a reliable theoretical tool for a comprehensive and precise study of jet quenching in relativistic heavy-ion collisions.


title: Gaussian radial basis functions collocation for fractional PDEs: methodology and error analysis

abstract: The paper introduces a new meshfree pseudospectral method based on Gaussian radial basis functions (RBFs) collocation to solve fractional Poisson equations. Hypergeometric functions are used to represent the fractional Laplacian of Gaussian RBFs, enabling an efficient computation of stiffness matrix entries. Unlike existing RBF-based methods, our approach ensures a Toeplitz structure in the stiffness matrix with equally spaced RBF centers, enabling efficient matrix-vector multiplications using fast Fourier transforms. We conduct a comprehensive study on the shape parameter selection, addressing challenges related to ill-conditioning and numerical stability. The main contribution of our work includes rigorous stability analysis and error estimates of the Gaussian RBF collocation method, representing a first attempt at the rigorous analysis of RBF-based methods for fractional PDEs to the best of our knowledge. We conduct numerical experiments to validate our analysis and provide practical insights for implementation.


title: Hausdorff measure of zeros of polynomials

abstract: The paper provides an elementary proof establishing a sharp universal bound on the $(d-1)$-Hausdorff measure of the zeros of any nontrivial multivariable polynomial $p:\mathbb{R}^d\to\mathbb{R}$ within a $d$-dimensional cube of size $r$. This bound depends solely on the parameter $r$, the dimension $d$, and the degrees of $p$.


title: Out of the Ordinary: Spectrally Adapting Regression for Covariate Shift

abstract: Designing deep neural network classifiers that perform robustly on distributions differing from the available training data is an active area of machine learning research. However, out-of-distribution generalization for regression-the analogous problem for modeling continuous targets-remains relatively unexplored. To tackle this problem, we return to first principles and analyze how the closed-form solution for Ordinary Least Squares (OLS) regression is sensitive to covariate shift. We characterize the out-of-distribution risk of the OLS model in terms of the eigenspectrum decomposition of the source and target data. We then use this insight to propose a method for adapting the weights of the last layer of a pre-trained neural regression model to perform better on input data originating from a different distribution. We demonstrate how this lightweight spectral adaptation procedure can improve out-of-distribution performance for synthetic and real-world datasets.


title: Demonstration of a low loss, highly stable and re-useable edge coupler for high heralding efficiency and low g^(2) (0) SOI correlated photon pair sources

abstract: We report a stable, low loss method for coupling light from silicon-on-insulator (SOI) photonic chips into optical fibers. The technique is realized using an on-chip tapered waveguide and a cleaved small core optical fiber. The on-chip taper is monolithic and does not require a patterned cladding, thus simplifying the chip fabrication process. The optical fiber segment is composed of a centimeter-long small core fiber (UHNA7) which is spliced to SMF-28 fiber with less than -0.1 dB loss. We observe an overall coupling loss of -0.64 dB with this design. The chip edge and fiber tip can be butt coupled without damaging the on-chip taper or fiber. Friction between the surfaces maintains alignment leading to an observation of +-0.1 dB coupling fluctuation during a ten-day continuous measurement without use of any adhesive. This technique minimizes the potential for generating Raman noise in the fiber, and has good stability compared to coupling strategies based on longer UHNA fibers or fragile lensed fibers. We also applied the edge coupler on a correlated photon pair source and observed a raw coincidence count rate of 1.21 million cps and raw heralding efficiency of 21.3%. We achieved an auto correlation function g^(2) (0) as low as 0.0004 at the low pump power regime.


title: Presheath-like structures and effusive particle losses for biased probes at and near I-V electron saturation

abstract: A theory for presheath-like structures near probes biased at and above the plasma potential is developed for collisionless plasmas with an electron-neutral mean free path on the order of the chamber scale. The theory predicts presheath-like perturbations to the plasma that result from the free streaming of electrons and an effusion loss process from the chamber at the electrode. For these situations, a loss-cone-like velocity distribution function for electrons is predicted where the loss angle of the depletion region corresponds to the angular size of the electrode at a specified distance. The angle of the loss cone becomes 180 degrees at the sheath edge. In comparison to a previous collisional electron presheath model that required electrons satisfy a Bohm criterion at the sheath edge [B. Scheiner et al. Phys. Plasmas 22, 123520 (2015)], the present work suggests that no such condition is needed for collisionless low pressure plasmas in the $\lesssim$10 mTorr range. The theory predicts the generation of a density depletion of roughly 0.5$n_e$ and an electron velocity moment of 10s of percent of the electron thermal speed by the sheath edge in a presheath with a potential drop of less than $T_i/e$. The range of this presheath perturbation is determined by the electrode geometry instead of the collisional mean free path. These predictions are tested against previously published particle in cell simulations and are found to be in good agreement.


title: Bifurcation of limit cycles for a class of cubic Hamiltonian systems with nesting period annuli

abstract: In this paper, we obtain the upper bound of the number of zeros of Abelian integral for a class of cubic Hamiltonian systems with nesting period annuli under perturbations of polynomials of degree n. Furthermore, we consider the Hopf and homoclinic bifurcation when a=-1,b=-2,c=1 and n=3, and obtain 18 distributions in which system has at least 3 limit cycles for each case.


title: On the Nonsmooth Geometry and Neural Approximation of the Optimal Value Function of Infinite-Horizon Pendulum Swing-up

abstract: We revisit the inverted pendulum problem with the goal of understanding and computing the true optimal value function. We start with an observation that the true optimal value function must be nonsmooth ($i.e.$, not globally $C^1$) due to the symmetry of the problem. We then give a result that can certify the optimality of a candidate $\textit{piece-wise}$ $C^1$ value function. Further, for a candidate value function obtained via numerical approximation, we provide a bound of suboptimality based on its Hamilton-Jacobi-Bellman (HJB) equation residuals. Inspired by Holzhuter (2004), we then design an algorithm that solves backward the Pontryagin's minimum principle (PMP) ODE from terminal conditions provided by the locally optimal LQR value function. This numerical procedure leads to a piece-wise $C^1$ value function whose nonsmooth region contains periodic $\textit{spiral lines}$ and smooth regions attain HJB residuals about $10^{-4}$, hence certified to be the optimal value function up to minor numerical inaccuracies. This optimal value function checks the power of optimality: (i) it sits above a polynomial lower bound; (ii) its induced controller globally swings up and stabilizes the pendulum, and (iii) attains lower trajectory cost than baseline methods such as energy shaping, model predictive control (MPC), and proximal policy optimization (with MPC attaining almost the same cost). We conclude by distilling the optimal value function into a simple neural network. Our code is avilable in https://github.com/ComputationalRobotics/InvertedPendulumOptimalValue.


title: Towards Mitigating Dimensional Collapse of Representations in Collaborative Filtering

abstract: Contrastive Learning (CL) has shown promising performance in collaborative filtering. The key idea is to generate augmentation-invariant embeddings by maximizing the Mutual Information between different augmented views of the same instance. However, we empirically observe that existing CL models suffer from the \textsl{dimensional collapse} issue, where user/item embeddings only span a low-dimension subspace of the entire feature space. This suppresses other dimensional information and weakens the distinguishability of embeddings. Here we propose a non-contrastive learning objective, named nCL, which explicitly mitigates dimensional collapse of representations in collaborative filtering. Our nCL aims to achieve geometric properties of \textsl{Alignment} and \textsl{Compactness} on the embedding space. In particular, the alignment tries to push together representations of positive-related user-item pairs, while compactness tends to find the optimal coding length of user/item embeddings, subject to a given distortion. More importantly, our nCL does not require data augmentation nor negative sampling during training, making it scalable to large datasets. Experimental results demonstrate the superiority of our nCL.


title: Rhombic staircase tableaux and Koornwinder polynomials

abstract: In this article we give a combinatorial formula for a certain class of Koornwinder polynomials, also known as Macdonald polynomials of type $\tilde{C}$. In particular, we give a combinatorial formula for the Koornwinder polynomials $K_{\lambda} = K_{\lambda}(z_1,\dots,z_N; a,b,c,d; q,t)$, where $\lambda = (1,\dots,1,0,\dots,0)$. We also give combinatorial formulas for all ``open boundary ASEP polynomials'' $F_{\mu}$, where $\mu$ is a composition in $\{-1,0,1\}^N$; these polynomials are related to the nonsymmetric Koornwinder polynomials $E_{\mu}$ up to a triangular change of basis. Our formulas are in terms of rhombic staircase tableaux, certain tableaux that we introduced in previous work to give a formula for the stationary distribution of the two-species asymmetric simple exclusion process (ASEP) on a line with open boundaries.


title: Out-of-equilibrium interactions and collective locomotion of colloidal spheres with squirming of nematoelastic multipoles

abstract: Many living and artificial systems show a similar emergent behavior and collective motions on different scales, starting from swarms of bacteria to synthetic active particles, herds of mammals and crowds of people. What all these systems often have in common is that new collective properties like flocking emerge from interactions between individual self-propelled or externally driven units. Such systems are naturally out-of-equilibrium and propel at the expense of consumed energy. Mimicking nature by making self-propelled or externally driven particles and studying their individual and collective motility may allow for deeper understanding of physical underpinnings behind the collective motion of large groups of interacting objects or beings. Here, using a soft matter system of colloids immersed into a liquid crystal, we show that resulting so-called nematoelastic multipoles can be set into a bidirectional locomotion by external periodically oscillating electric fields. Out-of-equilibrium elastic interactions between such colloids lead to collective flock-like behaviors, which emerge from time-varying elasticity-mediated interactions between externally driven propelling particles. The repulsive elastic interactions in the equilibrium state can be turned into attractive interactions in the out-of-equilibrium state under applied electric fields. We probe this behavior at different number densities of colloidal particles and show that particles in a dense dispersion collectively select the same direction of a coherent motion due to elastic interactions between near neighbors. In our experimentally implemented design, their motion is highly ordered and without clustering or jamming often present in other colloidal transport systems, which is promising for technological and fundamental-science applications, like nano-cargo transport, out-of-equilibrium assembly and microrobotics.


title: Solving Decision-Dependent Games by Learning from Feedback

abstract: This paper tackles the problem of solving stochastic optimization problems with a decision-dependent distribution in the setting of stochastic strongly-monotone games and when the distributional dependence is unknown. A two-stage approach is proposed, which initially involves estimating the distributional dependence on decision variables, and subsequently optimizing over the estimated distributional map. The paper presents guarantees for the approximation of the cost of each agent. Furthermore, a stochastic gradient-based algorithm is developed and analyzed for finding the Nash equilibrium in a distributed fashion. Numerical simulations are provided for a novel electric vehicle charging market formulation using real-world data.


title: Once Burned, Twice Shy? The Effect of Stock Market Bubbles on Traders that Learn by Experience

abstract: We study how experience with asset price bubbles changes the trading strategies of reinforcement learning (RL) traders and ask whether the change in trading strategies helps to prevent future bubbles. We train the RL traders in a multi-agent market simulation platform, ABIDES, and compare the strategies of traders trained with and without bubble experience. We find that RL traders without bubble experience behave like short-term momentum traders, whereas traders with bubble experience behave like value traders. Therefore, RL traders without bubble experience amplify bubbles, whereas RL traders with bubble experience tend to suppress and sometimes prevent them. This finding suggests that learning from experience is a mechanism for a boom and bust cycle where the experience of a collapsing bubble makes future bubbles less likely for a period of time until the memory fades and bubbles become more likely to form again.


title: FerKD: Surgical Label Adaptation for Efficient Distillation

abstract: We present FerKD, a novel efficient knowledge distillation framework that incorporates partial soft-hard label adaptation coupled with a region-calibration mechanism. Our approach stems from the observation and intuition that standard data augmentations, such as RandomResizedCrop, tend to transform inputs into diverse conditions: easy positives, hard positives, or hard negatives. In traditional distillation frameworks, these transformed samples are utilized equally through their predictive probabilities derived from pretrained teacher models. However, merely relying on prediction values from a pretrained teacher, a common practice in prior studies, neglects the reliability of these soft label predictions. To address this, we propose a new scheme that calibrates the less-confident regions to be the context using softened hard groundtruth labels. Our approach involves the processes of hard regions mining + calibration. We demonstrate empirically that this method can dramatically improve the convergence speed and final accuracy. Additionally, we find that a consistent mixing strategy can stabilize the distributions of soft supervision, taking advantage of the soft labels. As a result, we introduce a stabilized SelfMix augmentation that weakens the variation of the mixed images and corresponding soft labels through mixing similar regions within the same image. FerKD is an intuitive and well-designed learning system that eliminates several heuristics and hyperparameters in former FKD solution. More importantly, it achieves remarkable improvement on ImageNet-1K and downstream tasks. For instance, FerKD achieves 81.2% on ImageNet-1K with ResNet-50, outperforming FKD and FunMatch by remarkable margins. Leveraging better pre-trained weights and larger architectures, our finetuned ViT-G14 even achieves 89.9%. Our code is available at https://github.com/szq0214/FKD/tree/main/FerKD.


title: The relation between the canonical Hamilton-Jacobi equation and the covariant Hamilton-Jacobi equation for Maxwell's electrodynamics

abstract: The aim of this paper is to understand the relation between the canonical Hamilton-Jacobi equation for Maxwell's electrodynamics, which is an equation with variational derivatives for a functional of field configurations, and the covariant (De Donder-Weyl) Hamilton-Jacobi equation, which is a partial derivative equation on a finite dimensional space of vector potentials and spacetime coordinates. We show that the procedure of spacetime splitting applied to the latter allows us to reproduce both the canonical Hamilton-Jacobi equation and the Gauss law constraint in the Hamilton-Jacobi form without a recourse to the canonical Hamiltonian analysis. Our consideration may help to analyze the quasi-classical limit of the connection between the standard quantization in field theory based on the canonical Hamiltonian formalism with a preferred time dimension and the precanonical quantization that uses the De Donder-Weyl Hamiltonian formulation where space and time dimensions treated equally.


title: EHR Interaction Between Patients and AI: NoteAid EHR Interaction

abstract: With the rapid advancement of Large Language Models (LLMs) and their outstanding performance in semantic and contextual comprehension, the potential of LLMs in specialized domains warrants exploration. This paper introduces the NoteAid EHR Interaction Pipeline, an innovative approach developed using generative LLMs to assist in patient education, a task stemming from the need to aid patients in understanding Electronic Health Records (EHRs). Building upon the NoteAid work, we designed two novel tasks from the patient's perspective: providing explanations for EHR content that patients may not understand and answering questions posed by patients after reading their EHRs. We extracted datasets containing 10,000 instances from MIMIC Discharge Summaries and 876 instances from the MADE medical notes collection, respectively, executing the two tasks through the NoteAid EHR Interaction Pipeline with these data. Performance data of LLMs on these tasks were collected and constructed as the corresponding NoteAid EHR Interaction Dataset. Through a comprehensive evaluation of the entire dataset using LLM assessment and a rigorous manual evaluation of 64 instances, we showcase the potential of LLMs in patient education. Besides, the results provide valuable data support for future exploration and applications in this domain while also supplying high-quality synthetic datasets for in-house system training.


title: Exploring the Sensitivity of LLMs' Decision-Making Capabilities: Insights from Prompt Variation and Hyperparameters

abstract: The advancement of Large Language Models (LLMs) has led to their widespread use across a broad spectrum of tasks including decision making. Prior studies have compared the decision making abilities of LLMs with those of humans from a psychological perspective. However, these studies have not always properly accounted for the sensitivity of LLMs' behavior to hyperparameters and variations in the prompt. In this study, we examine LLMs' performance on the Horizon decision making task studied by Binz and Schulz (2023) analyzing how LLMs respond to variations in prompts and hyperparameters. By experimenting on three OpenAI language models possessing different capabilities, we observe that the decision making abilities fluctuate based on the input prompts and temperature settings. Contrary to previous findings language models display a human-like exploration exploitation tradeoff after simple adjustments to the prompt.


title: Soft photon approximation in a laser field

abstract: In the present paper, we consider processes involving the emission of soft photons in the presence of a strong laser field. We demonstrate that the matrix element $S$ for a process $\text{i} \rightarrow \text{f} + \gamma$, with a soft photon $\gamma$, can be expressed in terms of the matrix element $S_0$ for the process $\text{i} \rightarrow \text{f}$ through a simple multiplicative factor in the integrand over $\phi$. This approximation enables a result that is exact in the phase and approximate in the prefactor to order $\mathcal{O}(\omega/\varepsilon_\text{char})$, where $\omega$ is the frequency of the soft photon and $\varepsilon_\text{char}$ is the characteristic energy of the $\text{i}\rightarrow\text{f}$ process. We demonstrate several important applications of this soft photon approximation. First, under soft photon approximation we compute the probabilities of nonlinear Compton scattering and photon emission in the superposition of a laser and atomic fields and compare obtained result with the exact one. Second, we demonstrate that the amplitude of $n$ soft photons emission has factorization, which corresponds to the independence of the emission of $n$ soft photons. Third, we use the discussed approximation to prove cancellation of real and virtual infrared divergences for nonlinear Compton scattering and derive the finite radiative corrections. The soft photon approximation is a useful tool for investigation of different QED processes in the presence of a strong laser field. Also, it can be widely used for computation of infrared part of radiative correction for some processes.


title: Structure-preserving Kernel-based methods for solving dissipative PDEs on surfaces

abstract: In this paper, we propose a general meshless structure-preserving Galerkin method for solving dissipative PDEs on surfaces. By posing the PDE in the variational formulation and simulating the solution in the finite-dimensional approximation space spanned by (local) Lagrange functions generated with positive definite kernels, we obtain a semi-discrete Galerkin equation that inherits the energy dissipation property. The fully-discrete structure-preserving scheme is derived with the average vector field method. We provide a convergence analysis of the proposed method for the Allen-Cahn equation. The numerical experiments also verify the theoretical analysis including the convergence order and structure-preserving properties.


title: Culturally-Attuned Moral Machines: Implicit Learning of Human Value Systems by AI through Inverse Reinforcement Learning

abstract: Constructing a universal moral code for artificial intelligence (AI) is difficult or even impossible, given that different human cultures have different definitions of morality and different societal norms. We therefore argue that the value system of an AI should be culturally attuned: just as a child raised in a particular culture learns the specific values and norms of that culture, we propose that an AI agent operating in a particular human community should acquire that community's moral, ethical, and cultural codes. How AI systems might acquire such codes from human observation and interaction has remained an open question. Here, we propose using inverse reinforcement learning (IRL) as a method for AI agents to acquire a culturally-attuned value system implicitly. We test our approach using an experimental paradigm in which AI agents use IRL to learn different reward functions, which govern the agents' moral values, by observing the behavior of different cultural groups in an online virtual world requiring real-time decision making. We show that an AI agent learning from the average behavior of a particular cultural group can acquire altruistic characteristics reflective of that group's behavior, and this learned value system can generalize to new scenarios requiring altruistic judgments. Our results provide, to our knowledge, the first demonstration that AI agents could potentially be endowed with the ability to continually learn their values and norms from observing and interacting with humans, thereby becoming attuned to the culture they are operating in.


title: Detection of evolutionary shifts in variance under an Ornsten-Uhlenbeck model

abstract: 1. Abrupt environmental changes can lead to evolutionary shifts in not only mean (optimal value), but also variance of descendants in trait evolution. There are some methods to detect shifts in optimal value but few studies consider shifts in variance. 2. We use a multi-optima and multi-variance OU process model to describe the trait evolution process with shifts in both optimal value and variance and provide analysis of how the covariance between species changes when shifts in variance occur along the path. 3. We propose a new method to detect the shifts in both variance and optimal values based on minimizing the loss function with L1 penalty. We implement our method in a new R package, ShiVa (Detection of evolutionary shifts in variance). 4. We conduct simulations to compare our method with the two methods considering only shifts in optimal values (l1ou; PhylogeneticEM). Our method shows strength in predictive ability and includes far fewer false positive shifts in optimal value compared to other methods when shifts in variance actually exist. When there are only shifts in optimal value, our method performs similarly to other methods. We applied our method to the cordylid data, ShiVa outperformed l1ou and phyloEM, exhibiting the highest log-likelihood and lowest BIC.


title: Quantum logarithmic multifractality

abstract: Through a combination of rigorous analytical derivations and extensive numerical simulations, this work reports an exotic multifractal behavior, dubbed "logarithmic multifractality", in effectively infinite-dimensional systems undergoing the Anderson transition. In marked contrast to conventional multifractal critical properties observed at finite-dimensional Anderson transitions or scale-invariant second-order phase transitions, in the presence of logarithmic multifractality, eigenstate statistics, spatial correlations, and wave packet dynamics can all exhibit scaling laws which are algebraic in the logarithm of system size or time. Our findings offer crucial insights into strong finite-size effects and slow dynamics in complex systems undergoing the Anderson transition, such as the many-body localization transition.


title: MosaicBERT: A Bidirectional Encoder Optimized for Fast Pretraining

abstract: Although BERT-style encoder models are heavily used in NLP research, many researchers do not pretrain their own BERTs from scratch due to the high cost of training. In the past half-decade since BERT first rose to prominence, many advances have been made with other transformer architectures and training configurations that have yet to be systematically incorporated into BERT. Here, we introduce MosaicBERT, a BERT-style encoder architecture and training recipe that is empirically optimized for fast pretraining. This efficient architecture incorporates FlashAttention, Attention with Linear Biases (ALiBi), Gated Linear Units (GLU), a module to dynamically remove padded tokens, and low precision LayerNorm into the classic transformer encoder block. The training recipe includes a 30% masking ratio for the Masked Language Modeling (MLM) objective, bfloat16 precision, and vocabulary size optimized for GPU throughput, in addition to best-practices from RoBERTa and other encoder models. When pretrained from scratch on the C4 dataset, this base model achieves a downstream average GLUE (dev) score of 79.6 in 1.13 hours on 8 A100 80 GB GPUs at a cost of roughly $20. We plot extensive accuracy vs. pretraining speed Pareto curves and show that MosaicBERT base and large are consistently Pareto optimal when compared to a competitive BERT base and large. This empirical speed up in pretraining enables researchers and engineers to pretrain custom BERT-style models at low cost instead of finetune on existing generic models. We open source our model weights and code.


title: Maximizing the Yield of Bucket Brigade Quantum Random Access Memory using Redundancy Repair

abstract: Quantum Random Access Memory (qRAM) is an essential computing element for running oracle-based quantum algorithms. qRAM exploits the principle of quantum superposition to access all data stored in the memory cell simultaneously and guarantees the superior performance of quantum algorithms. A qRAM memory cell comprises logical qubits encoded through quantum error correction technology for the successful operation of qRAM against various quantum noises. In addition to quantum noise, the low-technology nodes based on silicon technology can increase the qubit density and may introduce defective qubits. As qRAM comprises many qubits, its yield will be reduced by defective qubits; these qubits must be handled using QEC scheme. However, the QEC scheme requires numerous physical qubits, which burdens resource overhead. To resolve this overhead problem, we propose a quantum memory architecture that compensates for defective qubits by introducing redundant qubits. We also analyze the yield improvement offered by our proposed architecture by varying the ideal fabrication error rate from 0.5% to 1% for different numbers of logical qubits in the qRAM. In the qRAM comprising 1,024 logical qubits, eight redundant logical qubits improved the yield by 95.92% from that of qRAM not employing the redundant repair scheme.


title: Truth Forest: Toward Multi-Scale Truthfulness in Large Language Models through Intervention without Tuning

abstract: Despite the great success of large language models (LLMs) in various tasks, they suffer from generating hallucinations. We introduce Truth Forest, a method that enhances truthfulness in LLMs by uncovering hidden truth representations using multi-dimensional orthogonal probes. Specifically, it creates multiple orthogonal bases for modeling truth by incorporating orthogonal constraints into the probes. Moreover, we introduce Random Peek, a systematic technique considering an extended range of positions within the sequence, reducing the gap between discerning and generating truth features in LLMs. By employing this approach, we improved the truthfulness of Llama-2-7B from 40.8\% to 74.5\% on TruthfulQA. Likewise, significant improvements are observed in fine-tuned models. We conducted a thorough analysis of truth features using probes. Our visualization results show that orthogonal probes capture complementary truth-related features, forming well-defined clusters that reveal the inherent structure of the dataset.


title: The Right Prompts for the Job: Repair Code-Review Defects with Large Language Model

abstract: Automatic program repair (APR) techniques have the potential to reduce manual efforts in uncovering and repairing program defects during the code review (CR) process. However, the limited accuracy and considerable time costs associated with existing APR approaches hinder their adoption in industrial practice. One key factor is the under-utilization of review comments, which provide valuable insights into defects and potential fixes. Recent advancements in Large Language Models (LLMs) have enhanced their ability to comprehend natural and programming languages, enabling them to generate patches based on review comments. This paper conducts a comprehensive investigation into the effective utilization of LLMs for repairing CR defects. In this study, various prompts are designed and compared across mainstream LLMs using two distinct datasets from human reviewers and automated checkers. Experimental results demonstrate a remarkable repair rate of 72.97% with the best prompt, highlighting a substantial improvement in the effectiveness and practicality of automatic repair techniques.


title: Hyperon Physics at BESIII

abstract: The BESIII detector on the BEPCII collider collected the world's largest dataset at the peaks of $J/\psi$, $\psi(3686)$ and $\psi(3770)$. The use of polarization and entanglement states in multidimensional angular distribution analysis can provide new probes to the production and decay characteristics of hyperon anti hyperon pairs. In a recent series of studies, significant transverse polarization in hyperon decay has been observed in $J/\psi$, $\psi(3686)$ decaying into the $\Lambda\bar\Lambda$, $\Sigma^+\bar\Sigma^{-}$, $\Xi^0\bar\Xi^0$ and $\Xi^-\bar\Xi^{+}$ final states. The weak decay parameters of hyperons and antihyperons are also independently determined for the first time. The most accurate testing for direct $CP$ violation has been achieved based on the measured weak decay parameters.


title: LiDAR Odometry Survey: Recent Advancements and Remaining Challenges

abstract: Odometry is crucial for robot navigation, particularly in situations where global positioning methods like global positioning system (GPS) are unavailable. The main goal of odometry is to predict the robot's motion and accurately determine its current location. Various sensors, such as wheel encoder, inertial measurement unit (IMU), camera, radar, and Light Detection and Ranging (LiDAR), are used for odometry in robotics. LiDAR, in particular, has gained attention for its ability to provide rich three-dimensional (3D) data and immunity to light variations. This survey aims to examine advancements in LiDAR odometry thoroughly. We start by exploring LiDAR technology and then scrutinize LiDAR odometry works, categorizing them based on their sensor integration approaches. These approaches include methods relying solely on LiDAR, those combining LiDAR with IMU, strategies involving multiple LiDARs, and methods fusing LiDAR with other sensor modalities. In conclusion, we address existing challenges and outline potential future directions in LiDAR odometry. Additionally, we analyze public datasets and evaluation methods for LiDAR odometry. To our knowledge, this survey is the first comprehensive exploration of LiDAR odometry.


title: Influence Minimization via Blocking Strategies

abstract: We study the influence minimization problem: given a graph $G$ and a seed set $S$, blocking at most $b$ nodes or $b$ edges such that the influence spread of the seed set is minimized. This is a pivotal yet underexplored aspect of network analytics, which can limit the spread of undesirable phenomena in networks, such as misinformation and epidemics. Given the inherent NP-hardness of the problem under the IC and LT models, previous studies have employed greedy algorithms and Monte Carlo Simulations for its resolution. However, existing techniques become cost-prohibitive when applied to large networks due to the necessity of enumerating all the candidate blockers and computing the decrease in expected spread from blocking each of them. This significantly restricts the practicality and effectiveness of existing methods, especially when prompt decision-making is crucial. In this paper, we propose the AdvancedGreedy algorithm, which utilizes a novel graph sampling technique that incorporates the dominator tree structure. We find that AdvancedGreedy can achieve a $(1-1/e-\epsilon)$-approximation in the problem under the LT model. Experimental evaluations on real-life networks reveal that our proposed algorithms exhibit a significant enhancement in efficiency, surpassing the state-of-the-art algorithm by three orders of magnitude, while achieving high effectiveness.


title: Operator learning for hyperbolic partial differential equations

abstract: We construct the first rigorously justified probabilistic algorithm for recovering the solution operator of a hyperbolic partial differential equation (PDE) in two variables from input-output training pairs. The primary challenge of recovering the solution operator of hyperbolic PDEs is the presence of characteristics, along which the associated Green's function is discontinuous. Therefore, a central component of our algorithm is a rank detection scheme that identifies the approximate location of the characteristics. By combining the randomized singular value decomposition with an adaptive hierarchical partition of the domain, we construct an approximant to the solution operator using $O(\Psi_\epsilon^{-1}\epsilon^{-7}\log(\Xi_\epsilon^{-1}\epsilon^{-1}))$ input-output pairs with relative error $O(\Xi_\epsilon^{-1}\epsilon)$ in the operator norm as $\epsilon\to0$, with high probability. Here, $\Psi_\epsilon$ represents the existence of degenerate singular values of the solution operator, and $\Xi_\epsilon$ measures the quality of the training data. Our assumptions on the regularity of the coefficients of the hyperbolic PDE are relatively weak given that hyperbolic PDEs do not have the ``instantaneous smoothing effect'' of elliptic and parabolic PDEs, and our recovery rate improves as the regularity of the coefficients increases.


title: Curvature diffusion of planar curves with generalised Neumann boundary conditions inside cones

abstract: We study families of smooth immersed regular planar curves $ \alpha : \left [-1,1 \right ]\times \left [0,T \right )\to \mathbb{R}^{2}$ satisfying the fourth order nonlinear curve diffusion flow with generalised Neumann boundary conditions inside cones. We show that if the initial curve has sufficiently small oscillation of curvature then this remains so under the flow. Such families of evolving curves either exist for a finite time, when an end of the curve has reached the tip of the cone or the curvature has become unbounded in $L^2$, or they exist for all time and converge exponentially in the $C^{\infty}$- topology to a circular arc that, together with the cone boundary encloses the same area as that of the initial curve and cone boundary. The same kind of result is possible for the higher order polyharmonic curve diffusion flows with appropriate boundary conditions; in particular in the sixth order case the smallness condition on the oscillation of curvature is exactly the same as for curve diffusion.


title: Constraint on the progenitor of binary black hole merger using Population III star formation channel

abstract: The observations of gravitational waves (GWs) have revealed the existence of black holes (BHs) above $30M_\odot$. A variety of scenarios have been proposed as their origin. Among the scenarios, we consider the population III (Pop~III) star scenario. In this scenario, binary black holes (BBHs) containing such massive BHs are naturally produced. We consider Pop~I/II field binaries, Pop~III field binaries and the binaries dynamically formed in globular clusters. We employ a hierarchical Bayesian analysis method and constrain the branching fraction of each formation channel in our universe by using the LIGO-Virgo-KAGRA gravitational wave transient catalog (GWTC-3) events. We find that the Pop~I/II field binary channel dominates the entire merging BBHs. We obtain the branching fraction of the Pop~III BBH channel of $0.11^{+0.08}_{-0.06}$, which gives the consistent local merger rate density with the model of Pop~III BBH scenario we adopt. We confirm that BHs arising from the Pop~III channel contribute to massive BBHs in GWTC-3. We also evaluate the branching fraction of each formation channel in the observed BBHs in the GWTC-3 and find the near-equal contributions from the three channels.


title: HEAP: Unsupervised Object Discovery and Localization with Contrastive Grouping

abstract: Unsupervised object discovery and localization aims to detect or segment objects in an image without any supervision. Recent efforts have demonstrated a notable potential to identify salient foreground objects by utilizing self-supervised transformer features. However, their scopes only build upon patch-level features within an image, neglecting region/image-level and cross-image relationships at a broader scale. Moreover, these methods cannot differentiate various semantics from multiple instances. To address these problems, we introduce Hierarchical mErging framework via contrAstive grouPing (HEAP). Specifically, a novel lightweight head with cross-attention mechanism is designed to adaptively group intra-image patches into semantically coherent regions based on correlation among self-supervised features. Further, to ensure the distinguishability among various regions, we introduce a region-level contrastive clustering loss to pull closer similar regions across images. Also, an image-level contrastive loss is present to push foreground and background representations apart, with which foreground objects and background are accordingly discovered. HEAP facilitates efficient hierarchical image decomposition, which contributes to more accurate object discovery while also enabling differentiation among objects of various classes. Extensive experimental results on semantic segmentation retrieval, unsupervised object discovery, and saliency detection tasks demonstrate that HEAP achieves state-of-the-art performance.


title: Differentially Private Low-Rank Adaptation of Large Language Model Using Federated Learning

abstract: The surge in interest and application of large language models (LLMs) has sparked a drive to fine-tune these models to suit specific applications, such as finance and medical science. However, concerns regarding data privacy have emerged, especially when multiple stakeholders aim to collaboratively enhance LLMs using sensitive data. In this scenario, federated learning becomes a natural choice, allowing decentralized fine-tuning without exposing raw data to central servers. Motivated by this, we investigate how data privacy can be ensured in LLM fine-tuning through practical federated learning approaches, enabling secure contributions from multiple parties to enhance LLMs. Yet, challenges arise: 1) despite avoiding raw data exposure, there is a risk of inferring sensitive information from model outputs, and 2) federated learning for LLMs incurs notable communication overhead. To address these challenges, this article introduces DP-LoRA, a novel federated learning algorithm tailored for LLMs. DP-LoRA preserves data privacy by employing a Gaussian mechanism that adds noise in weight updates, maintaining individual data privacy while facilitating collaborative model training. Moreover, DP-LoRA optimizes communication efficiency via low-rank adaptation, minimizing the transmission of updated weights during distributed training. The experimental results across medical, financial, and general datasets using various LLMs demonstrate that DP-LoRA effectively ensures strict privacy constraints while minimizing communication overhead.


title: QGFace: Quality-Guided Joint Training For Mixed-Quality Face Recognition

abstract: The quality of a face crop in an image is decided by many factors such as camera resolution, distance, and illumination condition. This makes the discrimination of face images with different qualities a challenging problem in realistic applications. However, most existing approaches are designed specifically for high-quality (HQ) or low-quality (LQ) images, and the performances would degrade for the mixed-quality images. Besides, many methods ask for pre-trained feature extractors or other auxiliary structures to support the training and the evaluation. In this paper, we point out that the key to better understand both the HQ and the LQ images simultaneously is to apply different learning methods according to their qualities. We propose a novel quality-guided joint training approach for mixed-quality face recognition, which could simultaneously learn the images of different qualities with a single encoder. Based on quality partition, classification-based method is employed for HQ data learning. Meanwhile, for the LQ images which lack identity information, we learn them with self-supervised image-image contrastive learning. To effectively catch up the model update and improve the discriminability of contrastive learning in our joint training scenario, we further propose a proxy-updated real-time queue to compose the contrastive pairs with features from the genuine encoder. Experiments on the low-quality datasets SCface and Tinyface, the mixed-quality dataset IJB-B, and five high-quality datasets demonstrate the effectiveness of our proposed approach in recognizing face images of different qualities.


title: Integrating Chemical Language and Molecular Graph in Multimodal Fused Deep Learning for Drug Property Prediction

abstract: Accurately predicting molecular properties is a challenging but essential task in drug discovery. Recently, many mono-modal deep learning methods have been successfully applied to molecular property prediction. However, the inherent limitation of mono-modal learning arises from relying solely on one modality of molecular representation, which restricts a comprehensive understanding of drug molecules and hampers their resilience against data noise. To overcome the limitations, we construct multimodal deep learning models to cover different molecular representations. We convert drug molecules into three molecular representations, SMILES-encoded vectors, ECFP fingerprints, and molecular graphs. To process the modal information, Transformer-Encoder, bi-directional gated recurrent units (BiGRU), and graph convolutional network (GCN) are utilized for feature learning respectively, which can enhance the model capability to acquire complementary and naturally occurring bioinformatics information. We evaluated our triple-modal model on six molecule datasets. Different from bi-modal learning models, we adopt five fusion methods to capture the specific features and leverage the contribution of each modal information better. Compared with mono-modal models, our multimodal fused deep learning (MMFDL) models outperform single models in accuracy, reliability, and resistance capability against noise. Moreover, we demonstrate its generalization ability in the prediction of binding constants for protein-ligand complex molecules in the refined set of PDBbind. The advantage of the multimodal model lies in its ability to process diverse sources of data using proper models and suitable fusion methods, which would enhance the noise resistance of the model while obtaining data diversity.


title: Faithful geometric measures for genuine tripartite entanglement

abstract: We present a faithful geometric picture for genuine tripartite entanglement of discrete, continuous, and hybrid quantum systems. We first find that the triangle relation $\mathcal{E}^\alpha_{i|jk}\leq \mathcal{E}^\alpha_{j|ik}+\mathcal{E}^\alpha_{k|ij}$ holds for all subadditive bipartite entanglement measure $\mathcal{E}$, all permutations under parties $i, j, k$, all $\alpha \in [0, 1]$, and all pure tripartite states. It provides a geometric interpretation that bipartition entanglement, measured by $\mathcal{E}^\alpha$, corresponds to the side of a triangle, of which the area with $\alpha \in (0, 1)$ is nonzero if and only if the underlying state is genuinely entangled. Then, we rigorously prove the non-obtuse triangle area with $0<\alpha\leq 1/2$ is a measure for genuine tripartite entanglement. Useful lower and upper bounds for these measures are obtained, and generalizations of our results are also presented. Finally, it is significantly strengthened for qubits that, given a set of subadditive and non-additive measures, some state is always found to violate the triangle relation for any $\alpha>1$, and the triangle area is not a measure for any $\alpha>1/2$. Hence, our results are expected to aid significant progress in studying both discrete and continuous multipartite entanglement.


title: Completeness and geodesic distance properties for fractional Sobolev metrics on spaces of immersed curves

abstract: We investigate the geometry of the space of immersed closed curves equipped with reparametrization-invariant Riemannian metrics; the metrics we consider are Sobolev metrics of possible fractional order $q\in [0,\infty)$. We establish the critical Sobolev index on the metric for several key geometric properties. Our first main result shows that the Riemannian metric induces a metric space structure if and only if $q>1/2$. Our second main result shows that the metric is geodesically-complete (i.e., the geodesic equation is globally well-posed) if $q>3/2$, whereas if $q<3/2$ then finite-time blowup may occur. The geodesic-completeness for $q>3/2$ is obtained by proving metric-completeness of the space of $H^q$-immersed curves with the distance induced by the Riemannian metric.


title: Phase Boundaries, Isotope Effect and Superconductivity of Lithium Under Hydrostatic Conditions

abstract: We present theoretical and experimental studies of superconductivity and low temperature structural phase boundaries in lithium. We mapped the structural phase diagram of 6Li and 7Li under hydrostatic conditions between 5 top 55GPa and within the temperature range of 15 to 75K, observing the FCC-hR1-cI16 phase transitions. 6Li and 7Li show some differences at the structural boundaries, with a potential shift of the phase boundaries of 6Li to lower pressures. Density functional theory calculations and topological analysis of the electron density elucidates the superconducting properties and interatomic interactions within these phases of lithium.


title: Signatures of inhomogeneous dark matter annihilation on 21-cm

abstract: The energy released from dark matter annihilation leads to additional ionization and heating of the intergalactic gas and thereby impact the hydrogen 21-cm signal during the cosmic dawn. The dark matter annihilation rate scales as density-squared and it becomes inhomogeneously boosted along with structure formation. This paper examines the inhomogeneity in DM annihilation rate induced by the growth of DM halo structures, and we show that this effect can significantly enhance the spatial fluctuations in gas temperature, gas ionization fraction and consequently the 21-cm brightness temperature. Compared to previous homogeneous calculations, inhomogeneous dark matter annihilation can enhance the 21-cm power spectrum by orders of magnitude across the scales of $k \in [0.05, 3]\ {\rm{Mpc^{-1}}}$. For a DM annihilation rate of $\left<\sigma v\right>/m_\chi \sim 10^{-27} {\rm cm^3 s^{-1} GeV^{-1}}$, the corresponding signatures in the 21-cm power spectrum signal can be detected by upcoming radio observatories such as the SKA.


title: Quantum Geometry, Integrability, and Opers

abstract: This review article discusses recent progress in understanding of various families of integrable models in terms of algebraic geometry, representation theory, and physics. In particular, we address the connections between soluble many-body systems of Calogero-Ruijsenaars type, quantum spin chains, spaces of opers, representations of double affine Hecke algebras, enumerative counts to quiver varieties, to name just a few. We formulate several conjectures and open problems. This is a contribution to the proceedings of the conference on Elliptic Integrable Systems and Representation Theory, which was held in August 2023 at University of Tokyo.

categories: math.RT hep-th math-ph math.AG math.MP math.QA


title: Theory of gravity with nonminimal matter-nonmetricity coupling and the de-Sitter swampland conjectures

abstract: In this study, we investigate swampland conjectures within the setup of matter and non-metricity nonminimal coupling theories of gravity. We examine how the inflationary solution produced by a single scalar field can be resolved with the swampland criteria in string theory regarding the formation of de Sitter solutions. The new important findings are that the inflationary scenario in our study differs from the one in general relativity because of the presence of a nonminimal coupling term, and that difference gives the correction to general relativity. In addition, we observe that the slow-roll conditions and the swampland conjectures are incompatible with each other for a single scalar field within the framework of nonminimally coupled alternative gravity theories. We predict that these results will hold for a wide range of inflationary scenarios in the context of nonminimal coupling gravitational theories.


title: Solar neutrino constraints on light mediators through coherent elastic neutrino-nucleus scattering

abstract: We investigate new physics with light-neutral mediators through coherent elastic neutrino-nucleus scattering (CE$\nu$NS) at low energies. These mediators, with a mass of less than $1$ GeV, are common properties for extensions of the Standard Model (SM). We consider general scalar, vector, and tensor interactions allowed by Lorentz invariance and involve universal light mediators accordingly. In addition, we study an additional vector gauge boson with an associated $U(1)'$ gauge group for a variety of models including $U(1)_{B-L}$, $U(1)_{B-3L_e}$, $U(1)_{B-3L_\mu}$, and $U(1)_{B-3L_\tau}$. These models differ in the fermion charges, which determine their contributions within the CE$\nu$NS process. The effects of each model are investigated by embedding them in the SM process using solar neutrino flux. We derive new limits on the coupling-mass plane of these models from the latest CDEX-10 data. We also present projected sensitivities involving the future experimental developments for each model. Our results provide more stringent constraints in some regions, compared to previous works. Furthermore, the projected sensitivities yield an improvement of up to one order of magnitude.


title: HiBid: A Cross-Channel Constrained Bidding System with Budget Allocation by Hierarchical Offline Deep Reinforcement Learning

abstract: Online display advertising platforms service numerous advertisers by providing real-time bidding (RTB) for the scale of billions of ad requests every day. The bidding strategy handles ad requests cross multiple channels to maximize the number of clicks under the set financial constraints, i.e., total budget and cost-per-click (CPC), etc. Different from existing works mainly focusing on single channel bidding, we explicitly consider cross-channel constrained bidding with budget allocation. Specifically, we propose a hierarchical offline deep reinforcement learning (DRL) framework called ``HiBid'', consisted of a high-level planner equipped with auxiliary loss for non-competitive budget allocation, and a data augmentation enhanced low-level executor for adaptive bidding strategy in response to allocated budgets. Additionally, a CPC-guided action selection mechanism is introduced to satisfy the cross-channel CPC constraint. Through extensive experiments on both the large-scale log data and online A/B testing, we confirm that HiBid outperforms six baselines in terms of the number of clicks, CPC satisfactory ratio, and return-on-investment (ROI). We also deploy HiBid on Meituan advertising platform to already service tens of thousands of advertisers every day.


title: Improving the Imaging Performance of Microwave Imaging Systems by Exploiting Virtual Antennas

abstract: Starting from the observation that the correlation coefficient defined by the scattered field data tested by two adjacent antennas decreases with the noise, it turns out that the imaging performance can be improved by adding non-redundant scattered field information through more measuring antennas.However, adding more measuring antennas faces practical challenges such as the limited antenna space, high experimental expenses, and a prolonged data collection time. Therefore, the frequency-domain zero-padding (FDZP) interpolation method is proposed to acquire scattered field data on more virtual antennas. To process the data, a linear inversion algorithm based on the modified Born approximation (MBA) and the nonlinear subspace-based optimization method (SOM) are used to image scatterers of moderate and high contrasts, respectively. The effectiveness and the reliability of the proposed approach are then assessed against synthetic data, semi-experimental data from a full-wave simulation software, and experimental data.


title: Leveraging Open-Vocabulary Diffusion to Camouflaged Instance Segmentation

abstract: Text-to-image diffusion techniques have shown exceptional capability of producing high-quality images from text descriptions. This indicates that there exists a strong correlation between the visual and textual domains. In addition, text-image discriminative models such as CLIP excel in image labelling from text prompts, thanks to the rich and diverse information available from open concepts. In this paper, we leverage these technical advances to solve a challenging problem in computer vision: camouflaged instance segmentation. Specifically, we propose a method built upon a state-of-the-art diffusion model, empowered by open-vocabulary to learn multi-scale textual-visual features for camouflaged object representations. Such cross-domain representations are desirable in segmenting camouflaged objects where visual cues are subtle to distinguish the objects from the background, especially in segmenting novel objects which are not seen in training. We also develop technically supportive components to effectively fuse cross-domain features and engage relevant features towards respective foreground objects. We validate our method and compare it with existing ones on several benchmark datasets of camouflaged instance segmentation and generic open-vocabulary instance segmentation. Experimental results confirm the advances of our method over existing ones. We will publish our code and pre-trained models to support future research.


title: A graph neural network-based model with Out-of-Distribution Robustness for enhancing Antiretroviral Therapy Outcome Prediction for HIV-1

abstract: Predicting the outcome of antiretroviral therapies for HIV-1 is a pressing clinical challenge, especially when the treatment regimen includes drugs for which limited effectiveness data is available. This scarcity of data can arise either due to the introduction of a new drug to the market or due to limited use in clinical settings. To tackle this issue, we introduce a novel joint fusion model, which combines features from a Fully Connected (FC) Neural Network and a Graph Neural Network (GNN). The FC network employs tabular data with a feature vector made up of viral mutations identified in the most recent genotypic resistance test, along with the drugs used in therapy. Conversely, the GNN leverages knowledge derived from Stanford drug-resistance mutation tables, which serve as benchmark references for deducing in-vivo treatment efficacy based on the viral genetic sequence, to build informative graphs. We evaluated these models' robustness against Out-of-Distribution drugs in the test set, with a specific focus on the GNN's role in handling such scenarios. Our comprehensive analysis demonstrates that the proposed model consistently outperforms the FC model, especially when considering Out-of-Distribution drugs. These results underscore the advantage of integrating Stanford scores in the model, thereby enhancing its generalizability and robustness, but also extending its utility in real-world applications with limited data availability. This research highlights the potential of our approach to inform antiretroviral therapy outcome prediction and contribute to more informed clinical decisions.


title: Actuator-Constrained Reinforcement Learning for High-Speed Quadrupedal Locomotion

abstract: This paper presents a method for achieving high-speed running of a quadruped robot by considering the actuator torque-speed operating region in reinforcement learning. The physical properties and constraints of the actuator are included in the training process to reduce state transitions that are infeasible in the real world due to motor torque-speed limitations. The gait reward is designed to distribute motor torque evenly across all legs, contributing to more balanced power usage and mitigating performance bottlenecks due to single-motor saturation. Additionally, we designed a lightweight foot to enhance the robot's agility. We observed that applying the motor operating region as a constraint helps the policy network avoid infeasible areas during sampling. With the trained policy, KAIST Hound, a 45 kg quadruped robot, can run up to 6.5 m/s, which is the fastest speed among electric motor-based quadruped robots.


title: Attention-based Interactive Disentangling Network for Instance-level Emotional Voice Conversion

abstract: Emotional Voice Conversion aims to manipulate a speech according to a given emotion while preserving non-emotion components. Existing approaches cannot well express fine-grained emotional attributes. In this paper, we propose an Attention-based Interactive diseNtangling Network (AINN) that leverages instance-wise emotional knowledge for voice conversion. We introduce a two-stage pipeline to effectively train our network: Stage I utilizes inter-speech contrastive learning to model fine-grained emotion and intra-speech disentanglement learning to better separate emotion and content. In Stage II, we propose to regularize the conversion with a multi-view consistency mechanism. This technique helps us transfer fine-grained emotion and maintain speech content. Extensive experiments show that our AINN outperforms state-of-the-arts in both objective and subjective metrics.


title: Transverse parabolic structures and transverse BGG sequences

abstract: Manifolds endowed with a parabolic geometry in the sense of Cartan come with natural sequences of differential operators and their analysis provide the so called (curved) BGG sequence of {\v C}ap, Slov{\'a}k and Sou{\v c}ek. The sequences involved do not form an elliptic complex in the sense of Atiyah but enjoy similar properties. The proper framework to study these operators is the filtered calculus associated to the natural filtration of the tangent bundle induced by the parabolic geometry. Such analysis was carried over by Dave and Haller in a very general setting. In this article we use their methods associated with the transversal index theory for filtered manifolds developped by the author in a previous paper to derive curved BGG sequences for foliated manifolds with transverse parabolic geometry.


title: Testing Database Engines via Query Plan Guidance

abstract: Database systems are widely used to store and query data. Test oracles have been proposed to find logic bugs in such systems, that is, bugs that cause the database system to compute an incorrect result. To realize a fully automated testing approach, such test oracles are paired with a test case generation technique; a test case refers to a database state and a query on which the test oracle can be applied. In this work, we propose the concept of Query Plan Guidance (QPG) for guiding automated testing towards "interesting" test cases. SQL and other query languages are declarative. Thus, to execute a query, the database system translates every operator in the source language to one of potentially many so-called physical operators that can be executed; the tree of physical operators is referred to as the query plan. Our intuition is that by steering testing towards exploring diverse query plans, we also explore more interesting behaviors-some of which are potentially incorrect. To this end, we propose a mutation technique that gradually applies promising mutations to the database state, causing the DBMS to create diverse query plans for subsequent queries. We applied our method to three mature, widely-used, and extensively-tested database systems-SQLite, TiDB, and CockroachDB-and found 53 unique, previously unknown bugs. Our method exercises 4.85-408.48X more unique query plans than a naive random generation method and 7.46X more than a code coverage guidance method. Since most database systems-including commercial ones-expose query plans to the user, we consider QPG a generally applicable, black-box approach and believe that the core idea could also be applied in other contexts (e.g., to measure the quality of a test suite).


title: Experimental evidence of seismic ruptures initiated by aseismic slip

abstract: Seismic faults release the stress accumulated during tectonic movement through rapid ruptures or slow slip events. The slow slip events play a crucial role in the seismic cycle as they impact the occurrence of earthquakes. However, the mechanisms by which a slow-slip region affects the dynamics of frictionally locked regions remain elusive. Here, building on model laboratory experiments, we establish that a slow-slip region acts as a nucleation center for seismic rupture, thereby enhancing earthquakes' frequency. We emulate slow-slip regions by introducing a granular material patch along part of a laboratory fault. By measuring the response of the fault to shear, we show that the role of the heterogeneity is to serve as a seed crack for rapid ruptures, reducing fault shear resistance. Additionally, by varying the external normal load, we show that the slow-slip region extends beyond the heterogeneity, demonstrating that fault composition is not the only requirement for slow-slip, but that load also plays a role. Our findings demonstrate that fracture concepts single out the very origin of earthquake nucleation and slip dynamics in seismic faults. The interplay between slowly-slipping and locked regions that we identify provides a promising avenue to monitor fault propagation and mitigate seismic hazards.


title: A Comprehensive Definition of the Geometric Mean of Convex Bodies Based on Relations Between Their $p$-Means

abstract: In light of the log-Brunn-Minkowski conjecture, various attempts have been made to define the geometric mean of convex bodies. Many of these constructions are fairly complex and/or fail to satisfy some natural properties one would expect of such a mean. We remedy this by providing a new geometric mean that is both technically simple and inherits all the natural properties expected. To improve our understanding of potential geometric mean definitions, we first study general $p$-means of convex bodies, with the usual definition extended to two series ranging over all $p$ in the extended reals. We characterize their equality cases and obtain (in almost all instances tight) inequalities that quantify how well these means approximate each other. As a corollary, we establish that every Minkowski centered body is equidistant from all its $p$-symmetrizations with respect to the Banach-Mazur distance. Finally, we show that our geometric mean satisfies all the properties considered in recent literature and extend this list with some properties regarding symmetrization and asymmetry.


title: Multi-modal MRI sensitive to age: Focus on early brain development in infants

abstract: Exploring the developing brain is a major issue in understanding what enables children to acquire amazing abilities, and how early disruptions can lead to a wide range of neurodevelopmental disorders. MRI plays a key role here by providing a non-invasive way to link brain and behavioral changes. Several modalities are used in newborns and infants to characterize the properties of the developing brain, from growth, morphology to microstructure and functional specialization. Recent multi-modal studies have sought to couple complementary MRI markers to provide a more integrated view of brain development. In this chapter, we describe successively how these approaches have made it possible to assess the early maturation of brain tissues, to link different aspects of structural development, and to compare structural and functional brain development.


title: A scattering operator for some nonlinear elliptic equations

abstract: We consider non linear elliptic equations of the form $\Delta u = f(u,\nabla u)$ for suitable analytic nonlinearity $f$, in the vinicity of infinity in $\mathbb{R}^d$, that is on the complement of a compact set.We show that there is a \emph{one-to-one correspondence} between the non linear solution $u$ defined there, and the linear solution $u\_L$ to the Laplace equation, such that, in an adequate space, $u - u\_L\to 0$ as $|x|\to +\infty$. This is a kind of scattering operator.Our results apply in particular for the energy critical and supercritical pure power elliptic equation and for the 2d (energy critical) harmonic maps and the $H$-system. Similar results are derived for solution defined on the neighborhood of a point in $\mathbb{R}^d$. The proofs are based on a conformal change of variables, and studied as an evolution equation (with the radial direction playing the role of time) in spaces with analytic regularity on spheres (the directions orthogonal to the radial direction).


title: Cooperation on the Fly: Exploring Language Agents for Ad Hoc Teamwork in the Avalon Game

abstract: Multi-agent collaboration with Large Language Models (LLMs) demonstrates proficiency in basic tasks, yet its efficiency in more complex scenarios remains unexplored. In gaming environments, these agents often face situations without established coordination protocols, requiring them to make intelligent inferences about teammates from limited data. This problem motivates the area of ad hoc teamwork, in which an agent may potentially cooperate with a variety of teammates to achieve a shared goal. Our study focuses on the ad hoc teamwork problem where the agent operates in an environment driven by natural language. Our findings reveal the potential of LLM agents in team collaboration, highlighting issues related to hallucinations in communication. To address this issue, we develop CodeAct, a general agent that equips LLM with enhanced memory and code-driven reasoning, enabling the repurposing of partial information for rapid adaptation to new teammates.


title: Robust TOA-based Localization with Inaccurate Anchors for MANET

abstract: Accurate node localization is vital for mobile ad hoc networks (MANETs). Current methods like Time of Arrival (TOA) can estimate node positions using imprecise baseplates and achieve the Cram\'er-Rao lower bound (CRLB) accuracy. In multi-hop MANETs, some nodes lack direct links to base anchors, depending on neighbor nodes as dynamic anchors for chain localization. However, the dynamic nature of MANETs challenges TOA's robustness due to the availability and accuracy of base anchors, coupled with ranging errors. To address the issue of cascading positioning error divergence, we first derive the CRLB for any primary node in MANETs as a metric to tackle localization error in cascading scenarios. Second, we propose an advanced two-step TOA method based on CRLB which is able to approximate target node's CRLB with only local neighbor information. Finally, simulation results confirm the robustness of our algorithm, achieving CRLB-level accuracy for small ranging errors and maintaining precision for larger errors compared to existing TOA methods.


title: Embedded feature selection in LSTM networks with multi-objective evolutionary ensemble learning for time series forecasting

abstract: Time series forecasting plays a crucial role in diverse fields, necessitating the development of robust models that can effectively handle complex temporal patterns. In this article, we present a novel feature selection method embedded in Long Short-Term Memory networks, leveraging a multi-objective evolutionary algorithm. Our approach optimizes the weights and biases of the LSTM in a partitioned manner, with each objective function of the evolutionary algorithm targeting the root mean square error in a specific data partition. The set of non-dominated forecast models identified by the algorithm is then utilized to construct a meta-model through stacking-based ensemble learning. Furthermore, our proposed method provides an avenue for attribute importance determination, as the frequency of selection for each attribute in the set of non-dominated forecasting models reflects their significance. This attribute importance insight adds an interpretable dimension to the forecasting process. Experimental evaluations on air quality time series data from Italy and southeast Spain demonstrate that our method substantially improves the generalization ability of conventional LSTMs, effectively reducing overfitting. Comparative analyses against state-of-the-art CancelOut and EAR-FS methods highlight the superior performance of our approach.


title: An algebraic characterization of binary CSS-T codes and cyclic CSS-T codes for quantum fault tolerance

abstract: CSS-T codes were recently introduced as quantum error-correcting codes that respect a transversal gate. A CSS-T code depends on a CSS-T pair, which is a pair of binary codes $(C_1, C_2)$ such that $C_1$ contains $C_2$, $C_2$ is even, and the shortening of the dual of $C_1$ with respect to the support of each codeword of $C_2$ is self-dual. In this paper, we give new conditions to guarantee that a pair of binary codes $(C_1, C_2)$ is a CSS-T pair. We define the poset of CSS-T pairs and determine the minimal and maximal elements of the poset. We provide a propagation rule for nondegenerate CSS-T codes. We apply some main results to Reed-Muller, cyclic, and extended cyclic codes. We characterize CSS-T pairs of cyclic codes in terms of the defining cyclotomic cosets. We find cyclic and extended cyclic codes to obtain quantum codes with better parameters than those in the literature.


title: Polynomial graph invariants induced from the ${\mathfrak gl}$-weight system

abstract: Weight systems are functions on chord diagrams satisfying so-called Vassiliev's $4$-term relations. They are closely related to finite type knot invariants introduced by Vassiliev. Certain weight systems can be derived from graph invariants. Another main source of weight systems are Lie algebras. In recent papers, the weight systems associated to Lie algebras ${\mathfrak gl}(N)$ were unified in a universal ${\mathfrak gl}$-weight system, which takes values in the ring of polynomials in infinitely many variables. The unification has been achieved by extending the ${\mathfrak gl}(N)$-weight systems from chord diagrams to arbitrary permutations. A natural question then arises, namely, which already known weight systems can be obtained from the universal ${\mathfrak gl}$ weight system. In addition to understanding the internal relationship between weight systems, knowing that a given weight system can be induced from the ${\mathfrak gl}$-weight system would immediately lead to extending the former to arbitrary permutations. To each chord diagram, one can associate a graph, called the intersection graph of the chord diagram. Certain weight systems are completely determined by the intersection graphs. In general, the relationship between Lie algebra weight systems and polynomial graph invariants looks rather complicated. Our main result in the present paper consists in showing that the well-known graph and delta-matroid invariant, the interlace polynomial, can be induced from the universal ${\mathfrak gl}$-weight system. We provide an explicit substitution making the ${\mathfrak gl}$-weight system into the interlace polynomial for chord diagrams and their intersection graphs.


title: Navier-Stokes/Cahn-Hilliard equations with generalized Navier boundary condition and relaxation boundary condition

abstract: In this paper, we consider the incompressible Navier-Stokes/Cahn-Hilliard system with generalized Navier boundary condition and relaxation boundary condition in a channel, which is the phase field model for the moving contact line problem in fluid mechanics. We establish the existence and uniqueness of local-in-time strong solution to this initial boundary value problem in 2D. To our knowledge, this is the first result to give the local-in-time well-posedness of Navier-Stokes/Cahn-Hilliard system with generalized Navier boundary condition and relaxation boundary condition.


title: Introduction of Probabilistic Algebraic Variety

abstract: Historically, probability theory has been studied for a long time, and Kolmogorov, Levy Ito Kiyoshi, and others have mathematically developed modern probability in conjunction with measurement theory. On the other hand, commutative algebra and algebraic geometry have historically been the subject of interdisciplinary research led by Grothendiek. Many Japanese, notably Matsumura, Hironaka, and Kodaira, have contributed to this field. This paper is an attempt to focus on the research theme of Professor Sumio Watanabe of Tokyo Institute of Technology, "Algebraic Geometry and Probability Theory," from my own perspective. The mathematical theory development starts from Kolmogorov's axioms, and the proof and introduction of "Probabilistic Algebraic Variety" are given. Problems in computation and applications, analysis by computational homology, and unsolved problems in regression problems will be introduced as applications to statistics.


title: Overview of the PromptCBLUE Shared Task in CHIP2023

abstract: This paper presents an overview of the PromptCBLUE shared task (http://cips-chip.org.cn/2023/eval1) held in the CHIP-2023 Conference. This shared task reformualtes the CBLUE benchmark, and provide a good testbed for Chinese open-domain or medical-domain large language models (LLMs) in general medical natural language processing. Two different tracks are held: (a) prompt tuning track, investigating the multitask prompt tuning of LLMs, (b) probing the in-context learning capabilities of open-sourced LLMs. Many teams from both the industry and academia participated in the shared tasks, and the top teams achieved amazing test results. This paper describes the tasks, the datasets, evaluation metrics, and the top systems for both tasks. Finally, the paper summarizes the techniques and results of the evaluation of the various approaches explored by the participating teams.


title: Smuon contribution to muon g-2 in Grand Unified supersymmetric theories

abstract: In GUT-scale constrained (GUTc) supersymmetric (SUSY) models, the mass of smuon $\tilde{\mu}_1$ is typically heavier than that of stau $\tilde{\tau}_1$, and stau co-annihilation is a typical annihilation mechanism of dark matter. However, light smuon is more favored by the muon $g-2$ anomaly, thus smuon-neutralino loop contribution to muon $g-2$ is usually smaller than that of sneutrino-chargino. Inspired by the latest muon $g-2$ results, we take the GUTc- Next-to-Minimal Supersymmetric Model (NMSSM) as an example, where the gaugino (Higgs) masses are not unified to the usual parameter $M_{1/2}$ ($M_0$), exploring its possibility of light smuon and its contribution to muon $g-2$. After complicated calculations and discussions, we conclude that in GUTc-NMSSM the smuon can be lighter than stau. In this light-smuon scenario, the contribution of smuon-neutralino loop to the muon $g-2$ can be larger than that of the sneutrino-chargino loop. The annihilation mechanisms of dark matter are dominated by multiple slepton or chargino co-annihilation. In our calculations, we consider also other latest related constraints like Higgs data, SUSY searches, dark matter relic density and direct detections, etc.


title: Performance of Distributed File Systems on Cloud Computing Environment: An Evaluation for Small-File Problem

abstract: Various performance characteristics of distributed file systems have been well studied. However, the performance efficiency of distributed file systems on small-file problems with complex machine learning algorithms scenarios is not well addressed. In addition, demands for unified storage of big data processing and high-performance computing have been crucial. Hence, developing a solution combining high-performance computing and big data with shared storage is very important. This paper focuses on the performance efficiency of distributed file systems with small-file datasets. We propose an architecture combining both high-performance computing and big data with shared storage and perform a series of experiments to investigate the performance of these distributed file systems. The result of the experiments confirms the applicability of the proposed architecture in terms of complex machine learning algorithms.


title: Design Space Exploration of Approximate Computing Techniques with a Reinforcement Learning Approach

abstract: Approximate Computing (AxC) techniques have become increasingly popular in trading off accuracy for performance gains in various applications. Selecting the best AxC techniques for a given application is challenging. Among proposed approaches for exploring the design space, Machine Learning approaches such as Reinforcement Learning (RL) show promising results. In this paper, we proposed an RL-based multi-objective Design Space Exploration strategy to find the approximate versions of the application that balance accuracy degradation and power and computation time reduction. Our experimental results show a good trade-off between accuracy degradation and decreased power and computation time for some benchmarks.


title: Noise-free Optimization in Early Training Steps for Image Super-Resolution

abstract: Recent deep-learning-based single image super-resolution (SISR) methods have shown impressive performance whereas typical methods train their networks by minimizing the pixel-wise distance with respect to a given high-resolution (HR) image. However, despite the basic training scheme being the predominant choice, its use in the context of ill-posed inverse problems has not been thoroughly investigated. In this work, we aim to provide a better comprehension of the underlying constituent by decomposing target HR images into two subcomponents: (1) the optimal centroid which is the expectation over multiple potential HR images, and (2) the inherent noise defined as the residual between the HR image and the centroid. Our findings show that the current training scheme cannot capture the ill-posed nature of SISR and becomes vulnerable to the inherent noise term, especially during early training steps. To tackle this issue, we propose a novel optimization method that can effectively remove the inherent noise term in the early steps of vanilla training by estimating the optimal centroid and directly optimizing toward the estimation. Experimental results show that the proposed method can effectively enhance the stability of vanilla training, leading to overall performance gain. Codes are available at github.com/2minkyulee/ECO.


title: Data-Driven Template-Free Invariant Generation

abstract: Automatic verification of concurrent programs faces state explosion due to the exponential possible interleavings of its sequential components coupled with large or infinite state spaces. An alternative is deductive verification, where given a candidate invariant, we establish inductive invariance and show that any state satisfying the invariant is also safe. However, learning (inductive) program invariants is difficult. To this end, we propose a data-driven procedure to synthesize program invariants, where it is assumed that the program invariant is an expression that characterizes a (hopefully tight) over-approximation of the reachable program states. The main ideas of our approach are: (1) We treat a candidate invariant as a classifier separating states observed in (sampled) program traces from those speculated to be unreachable. (2) We develop an enumerative, template-free approach to learn such classifiers from positive and negative examples. At its core, our enumerative approach employs decision trees to generate expressions that do not over-fit to the observed states (and thus generalize). (3) We employ a runtime framework to monitor program executions that may refute the candidate invariant; every refutation triggers a revision of the candidate invariant. Our runtime framework can be viewed as an instance of statistical model checking, which gives us probabilistic guarantees on the candidate invariant. We also show that such in some cases, our counterexample-guided inductive synthesis approach converges (in probability) to an overapproximation of the reachable set of states. Our experimental results show that our framework excels in learning useful invariants using only a fraction of the set of reachable states for a wide variety of concurrent programs.


title: Characterizing the Role of Complex Power in Small-Signal Synchronization Stability of Multi-Converter Power Systems

abstract: Small-signal synchronization instability (SSI) may be triggered when a grid-connected converter is operated in weak grids. This problem is highly related to the active and reactive power (referred to as complex power) generation or consumption of the converter. Such an instability phenomenon manifests as power oscillations within the bandwidth frequency of phase-locked loop (PLL). However, in a multi-converter power system (MCPS), it is challenging to characterize the role of each converter's complex power in SSI issues due to the high dimension of system dynamics. In this paper, we focus on the impact regularity of complex power on the small-signal synchronization stability of the MCPS. Firstly, we formulate the modeling of the MCPS and develop a systematical stability indicator to explicitly quantify the stability margin under various operating complex power. Then, based on the proposed stability indicator, the "resultant force" of complex power on the stability margin of the MCPS can be analytically characterized into a weighted summation form. Furthermore, we elaborate on the impact of each converter's active power and reactive power, respectively. Notably, we demonstrate the cancellation effect between the active power generation and consumption on the stability margin, which ultimately helps prevent SSI issues in the MCPS. The correctness of theoretical findings is well verified by simulations results.


title: Theorizing the Socio-Cultural Dynamics of Consumer Decision-Making for Participation in Community-Supported Agriculture

abstract: In the context of the urgent need to establish sustainable food systems, Community Supported Agriculture (CSA), in which consumers share risks with producers, has gained increasing attention. Understanding the factors that influence consumer participation in CSA is crucial, yet the complete picture and interrelations of these factors remain unclear in existing studies. This research adopts a scoping review and the KJ method to elucidate the factors influencing consumer participation in CSA and to theorize the consumer participation. In particular, we focus on the dynamics of individual decision-making for participation, under the premise that individuals are embedded in socio-cultural environments. We examine the decision-making process based on the seesaw of expected gains and losses from participation, along with the reflexivity to the individual and the process of updating decision-making post-participation. Our study highlights how individual decision-making for participation is influenced by relationships with others within the embedded socio-cultural environment, as well as by attachment and connection to the community. It also shows that discrepancies between expectations and experiences post-participation, and the transformation of the social capital, promote the updating of decision-making processes. In addition, among the factors identified in this study for participation in CSA, the decision to participate was heavily influenced by expectations of variety of ingredients, suggesting that other factors such as food education and learning opportunities, contribution to environmental and social issues, and connections with people and nature had little impact. Although there are limitations, the insights gained from this study offer profound implications for stakeholders and provide valuable insights for more sustainable and efficient CSA practices.


title: RS-DGC: Exploring Neighborhood Statistics for Dynamic Gradient Compression on Remote Sensing Image Interpretation

abstract: Distributed deep learning has recently been attracting more attention in remote sensing (RS) applications due to the challenges posed by the increased amount of open data that are produced daily by Earth observation programs. However, the high communication costs of sending model updates among multiple nodes are a significant bottleneck for scalable distributed learning. Gradient sparsification has been validated as an effective gradient compression (GC) technique for reducing communication costs and thus accelerating the training speed. Existing state-of-the-art gradient sparsification methods are mostly based on the "larger-absolute-more-important" criterion, ignoring the importance of small gradients, which is generally observed to affect the performance. Inspired by informative representation of manifold structures from neighborhood information, we propose a simple yet effective dynamic gradient compression scheme leveraging neighborhood statistics indicator for RS image interpretation, termed RS-DGC. We first enhance the interdependence between gradients by introducing the gradient neighborhood to reduce the effect of random noise. The key component of RS-DGC is a Neighborhood Statistical Indicator (NSI), which can quantify the importance of gradients within a specified neighborhood on each node to sparsify the local gradients before gradient transmission in each iteration. Further, a layer-wise dynamic compression scheme is proposed to track the importance changes of each layer in real time. Extensive downstream tasks validate the superiority of our method in terms of intelligent interpretation of RS images. For example, we achieve an accuracy improvement of 0.51% with more than 50 times communication compression on the NWPU-RESISC45 dataset using VGG-19 network.


title: Virtual Constraints on Lie groups

abstract: This paper studies virtual constraints on Lie groups. Virtual constraints are invariant relations imposed on a control system via feedback. In this work, we introduce the notion of \textit{virtual constraints on Lie groups}, in particular, \textit{virtual nonholonomic constraints on Lie groups}, in a geometric framework. More precisely, this object is a controlled invariant subspace associated with an affine connection mechanical control system on the Lie algebra associated with the Lie group which is the configuration space of the system. We demonstrate the existence and uniqueness of a control law defining a virtual nonholonomic constraint and we characterize the trajectories of the closed-loop system as solutions of a mechanical system associated with an induced constrained connection. Moreover, we characterize the reduced dynamics for nonholonomic systems in terms of virtual nonholonomic constraints, i.e., we characterize when can we obtain reduced nonholonomic dynamics from virtual nonholonomic constraints. We illustrate the theory with some examples and present simulation results for an application.


title: Enhancing Quantitative Reasoning Skills of Large Language Models through Dimension Perception

abstract: Quantities are distinct and critical components of texts that characterize the magnitude properties of entities, providing a precise perspective for the understanding of natural language, especially for reasoning tasks. In recent years, there has been a flurry of research on reasoning tasks based on large language models (LLMs), most of which solely focus on numerical values, neglecting the dimensional concept of quantities with units despite its importance. We argue that the concept of dimension is essential for precisely understanding quantities and of great significance for LLMs to perform quantitative reasoning. However, the lack of dimension knowledge and quantity-related benchmarks has resulted in low performance of LLMs. Hence, we present a framework to enhance the quantitative reasoning ability of language models based on dimension perception. We first construct a dimensional unit knowledge base (DimUnitKB) to address the knowledge gap in this area. We propose a benchmark DimEval consisting of seven tasks of three categories to probe and enhance the dimension perception skills of LLMs. To evaluate the effectiveness of our methods, we propose a quantitative reasoning task and conduct experiments. The experimental results show that our dimension perception method dramatically improves accuracy (43.55%->50.67%) on quantitative reasoning tasks compared to GPT-4.


title: Void Shape Identification in a 2D Point Distribution

abstract: We introduce a new approach for identifying and characterizing voids within two-dimensional (2D) point distributions through the integration of Delaunay triangulation and Voronoi diagrams, combined with a Minimal Distance Scoring algorithm. Our methodology initiates with the computational determination of the Convex Hull vertices within the point cloud, followed by a systematic selection of optimal line segments, strategically chosen for their likelihood of intersecting internal void regions. We then utilize Delaunay triangulation in conjunction with Voronoi diagrams to ascertain the initial points for the construction of the maximal internal curve envelope by adopting a pseudo-recursive approach for higher-order void identification. In each iteration, the existing collection of maximal internal curve envelope points serves as a basis for identifying additional candidate points. This iterative process is inherently self-converging, ensuring progressive refinement of the void's shape with each successive computation cycle. The mathematical robustness of this method allows for an efficient convergence to a stable solution, reflecting both the geometric intricacies and the topological characteristics of the voids within the point cloud. Our findings introduce a method that aims to balance geometric accuracy with computational practicality. The approach is designed to improve the understanding of void shapes within point clouds and suggests a potential framework for exploring more complex, multi-dimensional data analysis.


title: Heterogeneity in Point Defect Distribution and Mobility in Solid Ion Conductors

abstract: Alkali metal anodes paired with solid ion conductors offer promising avenues for enhancing battery energy density and safety. To facilitate rapid ion transport crucial for fast charging and discharging, it is essential to understand point defects within these conductors. In this study, we investigate the heterogeneity of defect distribution in Li$_3$OCl solid ion conductor, quantifying the defect formation energy (DFE) of lithium vacancies and interstitials as a function of distance from the surface through first-principles simulations. Our results reveal that the surface DFE is consistently lower than bulk except for one surface termination, indicating significant defect aggregation at surfaces. This difference can cause the defect density to be up to 14 orders of magnitude higher at surfaces compared to the bulk. Moreover, we unveil the transition in DFE when moving from the surface to the bulk through the DFE function, which exhibits an exponentially decaying relationship. Incorporating this exponential trend, we develop a revised model for the average behavior of defects that offers a more accurate description of the influence of grain size. Surface effects dominate for grain sizes $\lesssim$ 1 $\mu$m, highlighting the importance of surface defect engineering and the DFE function for accurately capturing ion transport in devices. We further explore the kinetics of defect redistribution by calculating the migration barriers for defect movement between bulk and surfaces. We find a highly asymmetric energy landscape for the lithium vacancies, exhibiting lower migration barriers for movement towards the surface compared to the bulk, while interstitial defects exhibit comparable kinetics between surface and bulk regions. These insights underscore the importance of considering both thermodynamic and kinetic factors in the design of solid ion conductors.


title: Olapa-MCoT: Enhancing the Chinese Mathematical Reasoning Capability of LLMs

abstract: CoT (Chain-of-Thought) is a way to solve reasoning problems for LLMs . Recently, many researches appear for improving the CoT capability of LLMs. In this work, we also proposed Olapa-MCoT, which is a LLMs based on llama2-13B PLM for finetuning and alignment learning. During the alignment training, we proposed the SimRRHF algorithm and Incorrect Data Relearning and mainly focused on optimizing the Chinese mathematical reasoning ability of Olapa-MCoT. The experiment achieved significant results, with the accuracy of Chinese mathematical reasoning up to 50%, 36% rise compared to llama2-13B. In addition, the accuracy of English reasoning ability also increased by nearly 4%.


title: Probing warm and mixed dark matter models using lensing shift power spectrum

abstract: We argue that the lensing power spectrum of astrometric shift (lensing shift power spectrum) is a powerful tool of the clustering property of dark matter on subgalactic scales. First we give the formalism to probe the nature of dark matter by using the lensing shift power spectrum. Then, leveraging recent measurements of the lensing shift power spectrum on an angular scale of approximately $1~$arcsec towards the gravitationally lensed quasar MG$\,$J0414+0534 at the redshift of $z_S=2.639$, we place constraints on the mass of warm dark matter (WDM) particles $m_{\rm WDM}$ and their fraction in a mixed dark matter (MDM) model $r_{\rm WDM}$, in which WDM and cold dark matter coexist. Although the constraint derived from the above single lensing system is not as strong as the existing constraints, as we show in this paper, the lensing shift power spectrum has a great potential to obtain much tighter constraints on WDM and MDM models through future observations, highlighting the importance of well-controlled systematic error considerations for achieving enhanced precision.