title: Lidar Panoptic Segmentation and Tracking without Bells and Whistles

abstract: State-of-the-art lidar panoptic segmentation (LPS) methods follow bottom-up segmentation-centric fashion wherein they build upon semantic segmentation networks by utilizing clustering to obtain object instances. In this paper, we re-think this approach and propose a surprisingly simple yet effective detection-centric network for both LPS and tracking. Our network is modular by design and optimized for all aspects of both the panoptic segmentation and tracking task. One of the core components of our network is the object instance detection branch, which we train using point-level (modal) annotations, as available in segmentation-centric datasets. In the absence of amodal (cuboid) annotations, we regress modal centroids and object extent using trajectory-level supervision that provides information about object size, which cannot be inferred from single scans due to occlusions and the sparse nature of the lidar data. We obtain fine-grained instance segments by learning to associate lidar points with detected centroids. We evaluate our method on several 3D/4D LPS benchmarks and observe that our model establishes a new state-of-the-art among open-sourced models, outperforming recent query-based models.


title: WeedCLR: Weed Contrastive Learning through Visual Representations with Class-Optimized Loss in Long-Tailed Datasets

abstract: Image classification is a crucial task in modern weed management and crop intervention technologies. However, the limited size, diversity, and balance of existing weed datasets hinder the development of deep learning models for generalizable weed identification. In addition, the expensive labelling requirements of mainstream fully-supervised weed classifiers make them cost- and time-prohibitive to deploy widely, for new weed species, and in site-specific weed management. This paper proposes a novel method for Weed Contrastive Learning through visual Representations (WeedCLR), that uses class-optimized loss with Von Neumann Entropy of deep representation for weed classification in long-tailed datasets. WeedCLR leverages self-supervised learning to learn rich and robust visual features without any labels and applies a class-optimized loss function to address the class imbalance problem in long-tailed datasets. WeedCLR is evaluated on two public weed datasets: CottonWeedID15, containing 15 weed species, and DeepWeeds, containing 8 weed species. WeedCLR achieves an average accuracy improvement of 4.3\% on CottonWeedID15 and 5.6\% on DeepWeeds over previous methods. It also demonstrates better generalization ability and robustness to different environmental conditions than existing methods without the need for expensive and time-consuming human annotations. These significant improvements make WeedCLR an effective tool for weed classification in long-tailed datasets and allows for more rapid and widespread deployment of site-specific weed management and crop intervention technologies.


title: Higher Level Completeness for Permutation Polynomials

abstract: Generalising the concept of a complete permutation polynomial over a finite field, we define completness to level $k$ for $k\ge1$ in fields of odd characteristic. We construct two families of polynomials that satisfy the condition of high level completeness for all finite fields, and two more families complete to the maximum level a possible for large collection of finite fields. Under the binary operation of composition of functions one family of polynomials is an abelian group isomorphic to the additive group, while the other is isomorphic to the multiplicative group.


title: Contrastive Learning for Inference in Dialogue

abstract: Inference, especially those derived from inductive processes, is a crucial component in our conversation to complement the information implicitly or explicitly conveyed by a speaker. While recent large language models show remarkable advances in inference tasks, their performance in inductive reasoning, where not all information is present in the context, is far behind deductive reasoning. In this paper, we analyze the behavior of the models based on the task difficulty defined by the semantic information gap -- which distinguishes inductive and deductive reasoning (Johnson-Laird, 1988, 1993). Our analysis reveals that the disparity in information between dialogue contexts and desired inferences poses a significant challenge to the inductive inference process. To mitigate this information gap, we investigate a contrastive learning approach by feeding negative samples. Our experiments suggest negative samples help models understand what is wrong and improve their inference generations.


title: Higher-Weight Limiting Modular Symbols

abstract: We begin with the higher-weight modular symbols introduced by Shokurov, which generalize Manin's weight-2 modular symbols. We then define higher-weight limiting modular symbols associated to vertical geodesics with one endpoint at an irrational real number, by means of a limiting procedure on Shokurov's modular symbols. These are analogous to the Manin-Marcolli limiting modular symbols for the weight-2 case, which are given by a similar limiting procedure on the Manin modular symbols. We show that the limit defining the higher-weight limiting modular symbol is equivalent everywhere to a limit given by approximating the irrational endpoint by its continued fraction expansion. This is done by means of shifting to a coding space, as in the approach of Kesseb\"ohmer and Stratmann in the weight-2 case.


title: Entropy and de Haas-van Alphen oscillations of a three-dimensional marginal Fermi liquid

abstract: We study de Haas-van Alphen oscillations in a marginal Fermi liquid resulting from a three-dimensional metal tuned to a quantum-critical point (QCP). We show that the conventional approach based on extensions of the Lifshitz-Kosevich formula for the oscillation amplitudes becomes inapplicable when the correlation length exceeds the cyclotron radius. This breakdown is due to (i) non-analytic finite-temperature contributions to the fermion self-energy (ii) an enhancement of the oscillatory part of the self-energy by quantum fluctuations, and (iii) non-trivial dynamical scaling laws associated with the quantum critical point. We properly incorporate these effects within the Luttinger-Ward-Eliashberg framework for the thermodynamic potential by treating the fermionic and bosonic contributions on equal footing. As a result, we obtain the modified expressions for the oscillations of entropy and magnetization that remain valid in the non-Fermi liquid regime.


title: RecolorCloud: A Point Cloud Tool for Recoloring, Segmentation, and Conversion

abstract: Point clouds are a 3D space representation of an environment that was recorded with a high precision laser scanner. These scanners can suffer from environmental interference such as surface shading, texturing, and reflections. Because of this, point clouds may be contaminated with fake or incorrect colors. Current open source or proprietary tools offer limited or no access to correcting these visual errors automatically. RecolorCloud is a tool developed to resolve these color conflicts by utilizing automated color recoloring. We offer the ability to deleting or recoloring outlier points automatically with users only needing to specify bounding box regions to effect colors. Results show a vast improvement of the photo-realistic quality of large point clouds. Additionally, users can quickly recolor a point cloud with set semantic segmentation colors.


title: How well can superconducting nanowire single-photon detectors resolve photon number?

abstract: We apply principal component analysis (PCA) to a set of electrical output signals from a commercially available superconducting nanowire single-photon detector (SNSPD) to investigate their photon-number-resolving capability. We find that the rising edge as well as the amplitude of the electrical signal have the most dependence on photon number. Accurately measuring the rising edge while simultaneously measuring the voltage of the pulse amplitude maximizes the photon-number resolution of SNSPDs. Using an optimal basis of principle components, we show unambiguous discrimination between one- and two-photon events, as well as partial resolution up to five photons. This expands the use-case of SNSPDs to photon-counting experiments, without the need of detector multiplexing architectures.


title: Resolving Photon Numbers Using Ultra-High-Resolution Timing of a Single Low-Jitter Superconducting Nanowire Detector

abstract: Photon-number-resolving (PNR) detectors are a key enabling technology in photonic quantum information processing. Here, we demonstrate the PNR capacity of conventional superconducting nanowire single-photon detectors by performing ultra-high-resolution time-tagging of the detector-generated electrical pulses. This method provides a viable approach for PNR with high detection efficiency and a high operational repetition rate. We present the implementation of such a PNR detector in the telecom C-band and its characterization by measuring the photon-number statistics of coherent light with tunable intensity. Additionally, we demonstrate the capabilities of the detection method by measuring photon-number correlations of non-classical states.


title: Relativistic calculation of non-dipole effects in high harmonic generation

abstract: We present results of relativistic calculations of even order harmonic generation from various atomic targets. The even order harmonics appear due to the relativistic non-dipole effects. We take these relativistic effects into account by using an approach based on the solution of the time-dependent Dirac equation. The spectra of the non-dipole even harmonics look qualitatively similar to the spectra of the dipole harmonics obeying the same classical cutoff rule. The temporal dynamics of the formation of the non-dipole harmonics is, however, distinctly different from the process of dipole harmonics formation. Even order harmonics emission is strongly suppressed at the beginning of the laser pulse, and the emission times of the non-dipole harmonics are shifted with respect to the bursts of the dipole emission. These features are partly explained by a simple modification of the classical three-step model which takes into account selection rules governing the emission of harmonic photons.


title: Enhancing High-Resolution 3D Generation through Pixel-wise Gradient Clipping

abstract: High-resolution 3D object generation remains a challenging task primarily due to the limited availability of comprehensive annotated training data. Recent advancements have aimed to overcome this constraint by harnessing image generative models, pretrained on extensive curated web datasets, using knowledge transfer techniques like Score Distillation Sampling (SDS). Efficiently addressing the requirements of high-resolution rendering often necessitates the adoption of latent representation-based models, such as the Latent Diffusion Model (LDM). In this framework, a significant challenge arises: To compute gradients for individual image pixels, it is necessary to backpropagate gradients from the designated latent space through the frozen components of the image model, such as the VAE encoder used within LDM. However, this gradient propagation pathway has never been optimized, remaining uncontrolled during training. We find that the unregulated gradients adversely affect the 3D model's capacity in acquiring texture-related information from the image generative model, leading to poor quality appearance synthesis. To address this overarching challenge, we propose an innovative operation termed Pixel-wise Gradient Clipping (PGC) designed for seamless integration into existing 3D generative models, thereby enhancing their synthesis quality. Specifically, we control the magnitude of stochastic gradients by clipping the pixel-wise gradients efficiently, while preserving crucial texture-related gradient directions. Despite this simplicity and minimal extra cost, extensive experiments demonstrate the efficacy of our PGC in enhancing the performance of existing 3D generative models for high-resolution object rendering.


title: A gauge theory for the 3+1 dimensional incompressible Euler equations

abstract: We show that the incompressible Euler equations in three spatial dimensions can be expressed in terms of an abelian gauge theory with a topological BF term. A crucial part of the theory is a 3-form field strength, which is dual to a material invariant local helicity in the fluid. In one version of the theory, there is an additional 2-form field strength, with the magnetic field corresponding to fluid vorticity and the electric field identified with the cross-product of the velocity and the vorticity. In the second version, the 2-form field strength is instead expressed in terms of Clebsch scalars. We discuss the theory in the presence of the boundary and argue that edge modes may be present in the dual description of fluid flows with a boundary.


title: Bogomol'nyi-like Equations in Gravity Theories

abstract: Using the BPS Lagrangian method, we show that gravity theory coupled to matter in various dimensions may possess Bogomol'nyi-like equations, which are first-order differential equations, satisfying the Einstein equations and the Euler-Lagrange equations of classical fields ($U(1)$ gauge and scalar fields). In particular we consider static and spherically symmetric solutions by taking proper ansatzes and then we find an effective Lagrangian density that can reproduce the Einstein equations and the Euler-Lagrange equations of the classical fields. We consider the BPS Lagrangian density to be linear function of first-order derivative of all the fields. From these two Lagrangian desities we are able to obtain the Bogomol'nyi-like equations whose some of solutions are well-known such as Schwarzschild, Reissner-Nordstr\"{o}m, Tangherlini black holes, and the recent black holes with scalar hair in three dimensions [Phys. Rev. D 107, 124047]. Using these Bogomol'nyi-like equations, we are also able to find new solutions for scalar hair black holes in three and four dimensional spacetime. Furthermore we show that the BPS Lagrangian method can provide a simple alternative proof of black holes uniqueness theorems in any dimension.


title: Exploring In-Context Learning of Textless Speech Language Model for Speech Classification Tasks

abstract: Ever since the development of GPT-3 in the natural language processing (NLP) field, in-context learning (ICL) has played an essential role in utilizing large language models (LLMs). By presenting the LM utterance-label demonstrations at the input, the LM can accomplish few-shot learning without relying on gradient descent or requiring explicit modification of its parameters. This enables the LM to perform various downstream tasks in a black-box manner. Despite the success of ICL in NLP, little work is exploring the possibility of ICL in speech processing. This study is the first work exploring ICL for speech classification tasks with textless speech LM. We first show that the current speech LM lacks the ICL capability. We then perform warmup training on the speech LM, equipping the LM with demonstration learning capability. This paper explores and proposes the first speech LM capable of performing unseen classification tasks in an ICL manner.


title: Homotopy trust-region method for phase-field approximations in perimeter-regularized binary optimal control

abstract: We consider optimal control problems that have binary-valued control input functions and a perimeter regularization. We develop and analyze a trust-region algorithm that solves a sequence of subproblems in which the regularization term and the binarity constraint are relaxed by a non-convex energy functional. We show how the parameter that controls the distinctiveness of the resulting phase field can be coupled to the trust-region radius updates and be driven to zero over the course of the iterations in order to obtain convergence to stationary points of the limit problem under suitable regularity assumptions. Finally, we highlight and discuss the assumptions and restrictions of our approach and provide the first computational results for a motivating application in the field of control of acoustic waves in dissipative media.


title: Linear Coupling of Transverse Betatron Oscillations. Dynamic Stability and Invariants of Motion

abstract: Based on the technique of the discrete one-turn transfer maps, the problem of linear coupling between horizontal and vertical betatron oscillations in an accelerator has been treated exactly and entirely in explicit form. The stability region in the fractional part of the horizontal and the vertical betatron tune space as a function of the linear coupling strength, has been obtained, and the increment/decrement of the horizontal and the vertical betatron oscillations in the case of the linear sum resonance has been shown to be approximately equal to the half of the coupling strength. The normal form parameterization of the one-turn linear map with horizontal-to-vertical coupling has been developed in detail in the spirit of the Edwards and Teng formalism. The motion in the normal mode in the new normal form coordinates is decoupled implying that two independent Courant-Snyder invariants exist, which have been found explicitly.


title: GRAPE-S: Near Real-Time Coalition Formation for Multiple Service Collectives

abstract: Robotic collectives for military and disaster response applications require coalition formation algorithms to partition robots into appropriate task teams. Collectives' missions will often incorporate tasks that require multiple high-level robot behaviors or services, which coalition formation must accommodate. The highly dynamic and unstructured application domains also necessitate that coalition formation algorithms produce near optimal solutions (i.e., >95% utility) in near real-time (i.e., <5 minutes) with very large collectives (i.e., hundreds of robots). No previous coalition formation algorithm satisfies these requirements. An initial evaluation found that traditional auction-based algorithms' runtimes are too long, even though the centralized simulator incorporated ideal conditions unlikely to occur in real-world deployments (i.e., synchronization across robots and perfect, instantaneous communication). The hedonic game-based GRAPE algorithm can produce solutions in near real-time, but cannot be applied to multiple service collectives. This manuscript integrates GRAPE and a services model, producing GRAPE-S and Pair-GRAPE-S. These algorithms and two auction baselines were evaluated using a centralized simulator with up to 1000 robots, and via the largest distributed coalition formation simulated evaluation to date, with up to 500 robots. The evaluations demonstrate that auctions transfer poorly to distributed collectives, resulting in excessive runtimes and low utility solutions. GRAPE-S satisfies the target domains' coalition formation requirements, producing near optimal solutions in near real-time, and Pair-GRAPE-S more than satisfies the domain requirements, producing optimal solutions in near real-time. GRAPE-S and Pair-GRAPE-S are the first algorithms demonstrated to support near real-time coalition formation for very large, distributed collectives with multiple services.


title: Not All Countries Celebrate Thanksgiving: On the Cultural Dominance in Large Language Models

abstract: This paper identifies a cultural dominance issue within large language models (LLMs) due to the predominant use of English data in model training (e.g., ChatGPT). LLMs often provide inappropriate English-culture-related answers that are not relevant to the expected culture when users ask in non-English languages. To systematically evaluate the cultural dominance issue, we build a benchmark of concrete (e.g., holidays and songs) and abstract (e.g., values and opinions) cultural objects. Empirical results show that the representative GPT models suffer from the culture dominance problem, where GPT-4 is the most affected while text-davinci-003 suffers the least from this problem. Our study emphasizes the need to critically examine cultural dominance and ethical consideration in their development and deployment. We show that two straightforward methods in model development (i.e., pretraining on more diverse data) and deployment (e.g., culture-aware prompting) can significantly mitigate the cultural dominance issue in LLMs.


title: Dynamics of a film flowing down a granular chain

abstract: We investigate the effects of fibre morphologies, such as single and granular chain with torus bead on liquid film evolution using experimental and axi-symmetric numerical simulations with a one-fluid formulation. We introduce a non-dimensional parameter 'Bead Ratio'($BR$), that is, the ratio of bead diameter to the film height. When both the $BR$ and its distance from the nozzle exceed critical values, selection mechanism leading to development of 'dominating' waves: from regularly spaced droplets to coarsening or droplet merging. The two mechanisms, influenced by the $BR$ for a single bead, contribute to droplet merging: the formation of the downstream healing length, which precipitates the initial stage, and it's oscillating behaviour resulting in droplet merging. When the bead position is away from the healing length far from the nozzle, the transient simulations capture behavior similar to the finite amplitude perturbations at the inlet. However, when the bead is within the healing length, the film evolution has only coarsening effect on the droplet spacing. When the bead spacing on a granular chain is less than the droplet spacing of a Rayleigh-Plateau regime is significantly altered.


title: Recovering simulated planet and disk signals using SCALES aperture masking

abstract: The Slicer Combined with Array of Lenslets for Exoplanet Spectroscopy (SCALES) instrument is a lenslet-based integral field spectrograph that will operate at 2 to 5 microns, imaging and characterizing colder (and thus older) planets than current high-contrast instruments. Its spatial resolution for distant science targets and/or close-in disks and companions could be improved via interferometric techniques such as sparse aperture masking. We introduce a nascent Python package, NRM-artist, that we use to design several SCALES masks to be non-redundant and to have uniform coverage in Fourier space. We generate high-fidelity mock SCALES data using the scalessim package for SCALES' low spectral resolution modes across its 2 to 5 micron bandpass. We include realistic noise from astrophysical and instrument sources, including Keck adaptive optics and Poisson noise. We inject planet and disk signals into the mock datasets and subsequently recover them to test the performance of SCALES sparse aperture masking and to determine the sensitivity of various mask designs to different science signals.


title: Creation of color centers in diamond by recoil implantation through dielectric films

abstract: The need of near-surface color centers in diamond for quantum technologies motivates the controlled doping of specific extrinsic impurities into the crystal lattice. Recent experiments have shown that this can be achieved by momentum transfer from a surface precursor via ion implantation, an approach known as ``recoil implantation.'' Here, we extend this technique to incorporate dielectric precursors for creating nitrogen-vacancy (NV) and silicon-vacancy (SiV) centers in diamond. Specifically, we demonstrate that gallium focused-ion-beam exposure to a thin layer of silicon nitride or silicon dioxide on the diamond surface results in the introduction of both extrinsic impurities and carbon vacancies. These defects subsequently give rise to near-surface NV and SiV centers with desirable optical properties after annealing.


title: Gaussian variational approximation with composite likelihood for crossed random effect models

abstract: Composite likelihood usually ignores dependencies among response components, while variational approximation to likelihood ignores dependencies among parameter components. We derive a Gaussian variational approximation to the composite log-likelihood function for Poisson and Gamma regression models with crossed random effects. We show consistency and asymptotic normality of the estimates derived from this approximation and support this theory with some simulation studies. The approach is computationally much faster than a Gaussian variational approximation to the full log-likelihood function.


title: Trapped acoustic waves and raindrops: high-order accurate integral equation method for localized excitation of a periodic staircase

abstract: We present a high-order boundary integral equation (BIE) method for the frequency-domain acoustic scattering of a point source by a singly-periodic, infinite, corrugated boundary. We apply it to the accurate numerical study of acoustic radiation in the neighborhood of a sound-hard two-dimensional staircase modeled after the El Castillo pyramid. Such staircases support trapped waves which travel along the surface and decay exponentially away from it. We use the array scanning method (Floquet--Bloch transform) to recover the scattered field as an integral over the family of quasiperiodic solutions parameterized by their on-surface wavenumber. Each such BIE solution requires the quasiperiodic Green's function, which we evaluate using an efficient integral representation of lattice sum coefficients. We avoid the singularities and branch cuts present in the array scanning integral by complex contour deformation. For each frequency, this enables a solution accurate to around 10 digits in a couple of seconds. We propose a residue method to extract the limiting powers carried by trapped modes far from the source. Finally, by computing the trapped mode dispersion relation, we use a simple ray model to explain an observed acoustic "raindrop" effect (chirp-like time-domain response).


title: Improved Operator Learning by Orthogonal Attention

abstract: Neural operators, as an efficient surrogate model for learning the solutions of PDEs, have received extensive attention in the field of scientific machine learning. Among them, attention-based neural operators have become one of the mainstreams in related research. However, existing approaches overfit the limited training data due to the considerable number of parameters in the attention mechanism. To address this, we develop an orthogonal attention based on the eigendecomposition of the kernel integral operator and the neural approximation of eigenfunctions. The orthogonalization naturally poses a proper regularization effect on the resulting neural operator, which aids in resisting overfitting and boosting generalization. Experiments on six standard neural operator benchmark datasets comprising both regular and irregular geometries show that our method can outperform competing baselines with decent margins.


title: Linear analysis of flow mode transition triggered by finite-sized particles in Rayleigh-B\'enard convection

abstract: A mathematical model to study the flow evolution in RB convection laden with finite-sized particles after a flow perturbation is developed with an Euler-Lagrange viewpoint. A linear analysis is conducted by combining the averaged flow-scale momentum equation with the averaged particle-scale heat exchange equation. A flow mode of regular oscillation, which is triggered by the heat exchange process between every single particle and its surrounding fluid element, is predicted by this model. Three time scales, namely $\tau_f $, $\tau_p$, and $\Delta t$, are shown to be involved in the heat exchange process, giving significance to the temperature distribution inside the single particle. By assuming $\tau_f / \tau_p \gg 1$, the detailed correlation between the oscillation period and $\kappa_p / \kappa_f $ is established, suggesting a flow mode transition with the change of heat diffusivity ratio of particle to fluid.


title: MedAI Dialog Corpus (MEDIC): Zero-Shot Classification of Doctor and AI Responses in Health Consultations

abstract: Zero-shot classification enables text to be classified into classes not seen during training. In this study, we examine the efficacy of zero-shot learning models in classifying healthcare consultation responses from Doctors and AI systems. The models evaluated include BART, BERT, XLM, XLM-R and DistilBERT. The models were tested on three different datasets based on a binary and multi-label analysis to identify the origins of text in health consultations without any prior corpus training. According to our findings, the zero-shot language models show a good understanding of language generally, but has limitations when trying to classify doctor and AI responses to healthcare consultations. This research provides a foundation for future research in the field of medical text classification by informing the development of more accurate methods of classifying text written by Doctors and AI systems in health consultations.


title: Co$^2$PT: Mitigating Bias in Pre-trained Language Models through Counterfactual Contrastive Prompt Tuning

abstract: Pre-trained Language Models are widely used in many important real-world applications. However, recent studies show that these models can encode social biases from large pre-training corpora and even amplify biases in downstream applications. To address this challenge, we propose Co$^2$PT, an efficient and effective debias-while-prompt tuning method for mitigating biases via counterfactual contrastive prompt tuning on downstream tasks. Our experiments conducted on three extrinsic bias benchmarks demonstrate the effectiveness of Co$^2$PT on bias mitigation during the prompt tuning process and its adaptability to existing upstream debiased language models. These findings indicate the strength of Co$^2$PT and provide promising avenues for further enhancement in bias mitigation on downstream tasks.


title: Hiding Access-pattern is Not Enough! Veil: A Storage and Communication Efficient Volume-Hiding Algorithm

abstract: This paper addresses volume leakage (i.e., leakage of the number of records in the answer set) when processing keyword queries in encrypted key-value (KV) datasets. Volume leakage, coupled with prior knowledge about data distribution and/or previously executed queries, can reveal both ciphertexts and current user queries. We develop a solution to prevent volume leakage, entitled Veil, that partitions the dataset by randomly mapping keys to a set of equi-sized buckets. Veil provides a tunable mechanism for data owners to explore a trade-off between storage and communication overheads. To make buckets indistinguishable to the adversary, Veil uses a novel padding strategy that allow buckets to overlap, reducing the need to add fake records. Both theoretical and experimental results show Veil to significantly outperform existing state-of-the-art.


title: Internal structures of the baryons $\Xi(2030)$ and $\Xi(2120)$

abstract: Currently, there is much controversy surrounding the interpretation of the $\Xi(2030)$ and $\Xi(2012)$ as traditional hadrons containing double strange quarks. In particular, the ratios of the partial decay widths into $\Lambda\bar{K}$ and $\Sigma\bar{K}$ for $\Xi(2030)$ cannot obtain a suitable explanation under the $qss$ three quark structure~\cite{Xiao:2013xi}. Thus, we suggest the $\Xi(2030)$ and $\Xi(2012)$ to be $VB(=\bar{K}^{*}\Sigma/\rho\Xi/\bar{K}^{*}\Lambda/\phi\Xi/\omega\Xi)$ molecular states. In this work, we perform a systematical investigation of possible molecular states from the $VB(=\bar{K}^{*}\Sigma/\rho\Xi/\bar{K}^{*}\Lambda/\phi\Xi/\omega\Xi)$ interaction. The interaction of the system considered is described by the $t$-channel vector ($\rho,\omega,\phi,\bar{K}^{*}$) and pseudoscalar ($\pi,\eta,\bar{K}$) mesons exchanges. By solving the non-relativistic Schr\"{o}dinger equation with the obtained one-boson-exchange potentials, the $VB(=\bar{K}^{*}\Sigma/\rho\Xi/\bar{K}^{*}\Lambda/\phi\Xi/\omega\Xi)$ bound states with different quantum numbers are searched. The calculation suggests that $\Xi(2030)$ can be assigned as a $P$-wave $\bar{K}^{*}\Sigma/\rho\Xi/\bar{K}^{*}\Lambda/\phi\Xi/\omega\Xi$ molecular state with spin parity $J^P=5/2^{+}$. The calculation also predict the existence of four $\bar{K}^{*}\Sigma/\rho\Xi/\bar{K}^{*}\Lambda/\phi\Xi/\omega\Xi$ bound states with $J^P=1/2^{\pm}$ and $J^P=3/2^{\pm}$. The $\Xi(2012)$ may be a candidate for one of these four bound states. If $\Xi(2012)$ is an $S$-wave molecular state with $J^P=1/2^{-}$ or $J^P=3/2^{-}$, we suggest determining its spin and parity by studying its decay width, owing to the difference in their molecular components.


title: Atomic-scale investigation of $\gamma$-Ga$_2$O$_3$ deposited on MgAl$_2$O$_4$ and its relationship with $\beta$-Ga$_2$O$_3$

abstract: Nominally phase-pure $\gamma$-$Ga_2O_3$ was deposited on (100) $MgAl_2O_4$ within a narrow temperature window centered at $\sim$470 $^{\circ}$C using metal-organic chemical vapor deposition (MOCVD). The film deposited at 440 $^{\circ}$C exhibited either poor crystallization or an amorphous structure; the film grown at 500 $^{\circ}$C contained both $\beta$-$Ga_2O_3$ and $\gamma$-$Ga_2O_3$. A nominally phase-pure $\beta$-$Ga_2O_3$ film was obtained at 530 $^{\circ}$C. Atomic-resolution scanning transmission electron microscopy (STEM) investigations of the $\gamma$-$Ga_2O_3$ film grown at 470 $^{\circ}$C revealed a high density of antiphase boundaries. A planar defect model developed for $\gamma$-$Al_2O_3$ was extended to explain the stacking sequences of the Ga sublattice observed in the STEM images of $\gamma$-$Ga_2O_3$. The presence of the 180$^{\circ}$ rotational domains and 90$^{\circ}$ rotational domains of $\beta$-$Ga_2O_3$ inclusions within the $\gamma$-$Ga_2O_3$ matrix is discussed within the context of a comprehensive investigation of the epitaxial relationship between those two phases in the as-grown film at 470 $^{\circ}$C and the same film annealed at 600 $^{\circ}$C. The results led to the hypotheses that (i) incorporation of certain dopants including Si, Ge, Sn, Mg, Al, and Sc, into $\beta$-$Ga_2O_3$, locally stabilizes the "$\gamma$-phase" and (ii) the site preference(s) for these dopants promotes the formation of the "$\gamma$-phase" and/or $\gamma$-$Ga_2O_3$ solid solutions. However, in the absence of such dopants, pure $\gamma$-$Ga_2O_3$ remains the least stable $Ga_2O_3$ polymorph, as indicated by its very narrow growth window, lower growth temperatures relative to other $Ga_2O_3$ polymorphs, and the largest calculated difference in Helmholtz free energy per formula unit between $\gamma$-$Ga_2O_3$ and $\beta$-$Ga_2O_3$ than all other polymorphs.


title: SDGym: Low-Code Reinforcement Learning Environments using System Dynamics Models

abstract: Understanding the long-term impact of algorithmic interventions on society is vital to achieving responsible AI. Traditional evaluation strategies often fall short due to the complex, adaptive and dynamic nature of society. While reinforcement learning (RL) can be a powerful approach for optimizing decisions in dynamic settings, the difficulty of realistic environment design remains a barrier to building robust agents that perform well in practical settings. To address this issue we tap into the field of system dynamics (SD) as a complementary method that incorporates collaborative simulation model specification practices. We introduce SDGym, a low-code library built on the OpenAI Gym framework which enables the generation of custom RL environments based on SD simulation models. Through a feasibility study we validate that well specified, rich RL environments can be generated from preexisting SD models and a few lines of configuration code. We demonstrate the capabilities of the SDGym environment using an SD model of the electric vehicle adoption problem. We compare two SD simulators, PySD and BPTK-Py for parity, and train a D4PG agent using the Acme framework to showcase learning and environment interaction. Our preliminary findings underscore the dual potential of SD to improve RL environment design and for RL to improve dynamic policy discovery within SD models. By open-sourcing SDGym, the intent is to galvanize further research and promote adoption across the SD and RL communities, thereby catalyzing collaboration in this emerging interdisciplinary space.


title: Long-lasting activity of asteroid (248370) 2005 QN 173

abstract: We present the results of observations of asteroid (248370) QN$_{173}$ obtained during July 2021 - January 2022 with three telescopes. Our analysis revealed the presence of the dust tail for about half of a year. The direct images of the asteroid were obtained with broad-band filters. No emissions were revealed in the spectra, and the spectrum of the asteroid closely matched that of a C-type asteroid. Created color and linear polarization variations along the tail were analyzed. The asteroid demonstrated a redder color compared to the Sun. Dramatic changes in dust productivity obtained in different filters were not detected. The $g-r$ color changes from $0.2^{m}$ to $0.7^{m}$ over the coma, and the linear polarization degree varies from about $1.2$\% to $0.2$\% and from $-0.2$\% to $-1.5$\% at the phase angle of $23.2^{\circ}$ and $8.16^{\circ}$. The total dust mass ejected until the latest observation on October 10 is $4.2 \times 10^7$~kg, with a maximum rate of 2.6~kg\,s$^{-1}$ based on the Monte Carlo modeling of the dust tail. The estimated asteroid size is 1.3~km. It is shown that large particles are concentrated around the nucleus, whereas smaller ones dominate in the tail. The evolution of (248370) QN$_{173}$ orbit and the orbits of the sample of the 464 short-periodic comets were followed. Ten of them approached the asteroid's orbit. These objects are not genetically related, despite the very close distance of their orbits for a relatively long time.


title: A novel nuclear recoil calibration for liquid noble gas detectors

abstract: According to many dark matter models, a potential signal registered in a detector would feature a single-scattering nuclear recoil (NR). So, it is crucial to calibrate the detector's response to NR events. The conventional calibrations implement $\sim$ keV to MeV neutrons, which can be produced by an accelerator, a neutron generator, or a radioactive source. Although the calibrating methods have been widely employed, they could be improved in several ways: (a) the incident neutron energy should be more monoenergetic, (b) the calibrating NR energy should line up with the region of interest (ROI) of the experiment, and (c) the intensity of the beam should be appropriate. In the paper, we introduce a novel NR calibration method for liquid helium detectors, in which a helium beam ($\alpha$ particles) will be implemented to calibrate the detectors. The helium beam can (i) be tuned precisely to have a jitter of $\lesssim $ 4\% (the $\alpha$ beam's kinetic energy is equivalent to the recoil energy in the conventional calibrations with fast neutrons); (ii) have an energy between $\sim$ 100 eV and tens of keV; and (iii) provide a tunable flux from nA to 100 $\mu$A, which presents convenience in beam pipe configuration to obtain a $\sim$ 100 Hz events rate so that the events pileup would be ignorable.


title: Motzkin paths of bounded height with two forbidden contiguous subwords of length two

abstract: Motzkin excursions and meanders are revisited. This is considered in the context of forbidden patterns. Previous work by Asinowski, Banderier, Gittenberger, and Roitner is continued. Motzkin paths of bounded height are considered, leading to matrix equations and also to continued fractions. The enumeration is done by properly setting up bivariate generating functions which can be expanded using the kernel method.


title: Quasi Manhattan Wasserstein Distance

abstract: The Quasi Manhattan Wasserstein Distance (QMWD) is a metric designed to quantify the dissimilarity between two matrices by combining elements of the Wasserstein Distance with specific transformations. It offers improved time and space complexity compared to the Manhattan Wasserstein Distance (MWD) while maintaining accuracy. QMWD is particularly advantageous for large datasets or situations with limited computational resources. This article provides a detailed explanation of QMWD, its computation, complexity analysis, and comparisons with WD and MWD.


title: Quantitative evaluation of simultaneous spatial and temporal regularization in liver perfusion studies using low-dose dynamic contrast-enhanced CT

abstract: The purpose of this study was to quantitatively evaluate the performance of different simultaneous spatial and temporal regularizers in liver perfusion studies using low-dose dynamic contrast-enhanced computed tomography (DCE-CT). A digital liver phantom was used to simulate chronic liver disease (CLD) and hepatocellular carcinoma (HCC) based on clinical data. Low-dose DCE-CT images were reconstructed using regularizers and a primal-dual algorithm. Subsequently, hepatic perfusion parameter (HPP) images were generated using a dual-input single-compartment model and linear least-squares method. In the CLD model, the effect of regularizers on the input functions (IFs) was examined by calculating the areas under the curves (AUCs) of the IFs, and the HPP estimation accuracy was evaluated by calculating the error and coefficient of variation (CV) between the HPP values obtained by the above methods and true values. In the HCC model, the ratios of the mean HPP values inside and outside the tumor were calculated. The AUCs of IFs decreased with increasing regularization parameter (RP) values. Although the AUC of arterial IF did not significantly depend on the regularizers, that of portal IF did. The error and CV were reduced using low-rank and sparse decomposition (LRSD). Total generalized variation (TGV) combined with LRSD (LTGV) was generally superior to the other regularizers in terms of HPP estimation accuracy and range of available RP values in both the CLD and HCC models. However, striped artifacts were more remarkable in the HPP images obtained by the TGV and LTGV than in those obtained by the other regularizers. The results suggest that the LRSD and LTGV are useful for improving the accuracy of HPP estimation using low-dose DCE-CT and for enhancing its practicality. This study will help select a suitable regularizer and/or RP value for low-dose DCE-CT liver perfusion studies.


title: American Option Pricing using Self-Attention GRU and Shapley Value Interpretation

abstract: Options, serving as a crucial financial instrument, are used by investors to manage and mitigate their investment risks within the securities market. Precisely predicting the present price of an option enables investors to make informed and efficient decisions. In this paper, we propose a machine learning method for forecasting the prices of SPY (ETF) option based on gated recurrent unit (GRU) and self-attention mechanism. We first partitioned the raw dataset into 15 subsets according to moneyness and days to maturity criteria. For each subset, we matched the corresponding U.S. government bond rates and Implied Volatility Indices. This segmentation allows for a more insightful exploration of the impacts of risk-free rates and underlying volatility on option pricing. Next, we built four different machine learning models, including multilayer perceptron (MLP), long short-term memory (LSTM), self-attention LSTM, and self-attention GRU in comparison to the traditional binomial model. The empirical result shows that self-attention GRU with historical data outperforms other models due to its ability to capture complex temporal dependencies and leverage the contextual information embedded in the historical data. Finally, in order to unveil the "black box" of artificial intelligence, we employed the SHapley Additive exPlanations (SHAP) method to interpret and analyze the prediction results of the self-attention GRU model with historical data. This provides insights into the significance and contributions of different input features on the pricing of American-style options.


title: Inelastic Scattering of Dark Matter with Heavy Cosmic Rays

abstract: We investigate the impact of inelastic collisions between dark matter (DM) and heavy cosmic ray (CR) nuclei on CR propagation. We approximate the fragmentation cross-sections for DM-CR collisions using collider-measured proton-nuclei scattering cross-sections, allowing us to assess how these collisions affect the spectra of CR Boron and Carbon. We derive new CR spectra from DM-CR collisions by incorporating their cross-sections into the source terms and solving the diffusion equation for the complete network of reactions involved in generating secondary species. In a specific example with a coupling strength of $b_{\chi}=0.1$ and a DM mass of $m_{\chi}=0.1$ GeV, considering a simplified scenario where DM interacts exclusively with Oxygen, a notable modification in the Boron-to-Carbon spectrum due to the DM-CR interaction is observed. Particularly, the peak within the spectrum, spanning from $0.1$ GeV to $10$ GeV, experiences an enhancement of approximately 1.5 times. However, in a more realistic scenario where DM particles interact with all CRs, this peak can be amplified to twice its original value.Utilizing the latest data from AMS-02 and DAMPE on the Boron-to-Carbon ratio, we estimate a 95\% upper limit for the effective inelastic cross-section of DM-proton as a function of DM mass. Our findings reveal that at $m_\chi\simeq 2$ MeV, the effective inelastic cross-section between DM and protons must be less than $\mathcal{O}(10^{-32})~{\rm cm}^2$.


title: Comparison of empirical and particle force-based density segregation models

abstract: The empirical and particle force-based models of granular segregation due to density differences among the species are compared in this work. Dependency of the empirical segregation parameters on the initial configuration, the observation time duration, inclination angle, and mixture composition are discussed in detail. The parameters obtained from empirical models are used to predict the steady-state concentration profiles for different density ratios and compositions. In addition, we utilize the predictions from the particle force-based segregation model and compare them with the predictions of the empirical segregation models. Our results show that the linear empirical segregation model predictions agree well with the simulation results for mixtures rich in light species where as quadratic empirical segregation model works better for mixtures rich in heavy species. Particle force-based segregation model, on the other hand, seems to be in very good agreement with the DEM simulation data across all mixture compositions.


title: Quantum Effects on Dynamic Structure Factors in Dense Magnetized Plasmas

abstract: We extend the classical magnetohydrodynamics formalism to include nonlocal quantum behavior via the phenomenological Bohm potential. We then solve the quantum magnetohydrodynamics equations to obtain a new analytical form of the dynamic structure factor (DSF), a fundamental quantity linking theory and experiments. Our results show that the three-peak structure -- one central Rayleigh peak and two Brillouin peaks -- of the DSF arising from quantum hydrodynamic fluctuations becomes (in general) a five-peak structure -- one central Rayleigh peak and two pairs of peaks associated with fast and slow magnetosonic waves. The Bohm contribution influences the positions and characteristics (height, width, and intensity) of the peaks by introducing three significant modifications: (a) an increase in effective thermal pressure, (b) a reduction in the adiabatic index, and (c) an enhancement of effective thermal diffusivity. The multiple DSF peaks enable concurrent measurements of diverse plasma properties, transport coefficients, and thermodynamic parameters in magnetized dense plasmas. The potential for experimental validation of our theory looms large, particularly through future experiments conducted at state-of-the-art laser facilities.


title: Conceptual design and progress of transmitting $\sim$ MV DC HV into 4 K LHe detectors

abstract: A dual-phase TPC (Time Projection Chamber) is more advanced in characterizing an event than a single-phase one because it can, in principle, reconstruct the 3D (X-Y-Z) image of the event, while a single-phase detector can only show a 2D (X-Y) picture. As a result, more enriched physics is expected for a dual-phase detector than a single-phase one. However, to build such a detector, DC HV (High Voltage) must be delivered into the chamber (to have a static electric field), which is a challenging task, especially for an LHe detector due to the extremely low temperature, $\sim$ 4 K, and the very high voltage, $\sim$ MV (Million Volts). This article introduces a convincing design for transmitting $\sim$ MV DC into a 4 K LHe detector. We also report the progress of manufacturing a 100 kV DC feedthrough capable of working at 4 K. Surprisingly, we realized that the technology we developed here might be a valuable reference to the scientists and engineers aiming to build residential bases on the Moon or Mars.


title: Attack Prompt Generation for Red Teaming and Defending Large Language Models

abstract: Large language models (LLMs) are susceptible to red teaming attacks, which can induce LLMs to generate harmful content. Previous research constructs attack prompts via manual or automatic methods, which have their own limitations on construction cost and quality. To address these issues, we propose an integrated approach that combines manual and automatic methods to economically generate high-quality attack prompts. Specifically, considering the impressive capabilities of newly emerged LLMs, we propose an attack framework to instruct LLMs to mimic human-generated prompts through in-context learning. Furthermore, we propose a defense framework that fine-tunes victim LLMs through iterative interactions with the attack framework to enhance their safety against red teaming attacks. Extensive experiments on different LLMs validate the effectiveness of our proposed attack and defense frameworks. Additionally, we release a series of attack prompts datasets named SAP with varying sizes, facilitating the safety evaluation and enhancement of more LLMs. Our code and dataset is available on https://github.com/Aatrox103/SAP .


title: Comparison of the Resistivities of Nanostructured Films Made from Silver, Copper-Silver and Copper Nanoparticle and Nanowire Suspensions

abstract: Spray deposition and inkjet printing of various nanostructures are emerging complementary methods for creating conductive coatings on different substrates. In comparison to established deposition techniques like vacuum metal coating and lithography-based metallization processes, spray deposition and inkjet printing benefit from significantly simplified equipment. However, there are number of challenges related to peculiar properties and behaviour of nanostructures that require additional studies. In present work, we investigate electroconductive properties and sintering behaviour of thin films produced from nanostructures of different metals (Ag, Cu and Cu-Ag) and different shapes (nanowires and spherical nanoparticles), and compare them to the reference Ag and Cu magnetron deposited films. Synthesized nanostructures were studied with transmission electron microscopy. Morphology and crystallinity of produced metal films were studied with scanning electron microscopy and X-ray diffraction. The electrical parameters were measured by the van der Pauw method. All nanowires-based films provided high conductivity and required only modest thermal treatment (200 C). To achieve sufficient sintering and conductivity of nanoparticles-based films, higher temperatures are required (300 C for Ag nanoparticles and 350 C for Cu and Cu-Ag nanoparticles). Additionally, stability of nanowires was studied by annealing the samples in vacuum conditions inside a scanning electron microscope at 500 C.


title: Multi-granularity Backprojection Transformer for Remote Sensing Image Super-Resolution

abstract: Backprojection networks have achieved promising super-resolution performance for nature images but not well be explored in the remote sensing image super-resolution (RSISR) field due to the high computation costs. In this paper, we propose a Multi-granularity Backprojection Transformer termed MBT for RSISR. MBT incorporates the backprojection learning strategy into a Transformer framework. It consists of Scale-aware Backprojection-based Transformer Layers (SPTLs) for scale-aware low-resolution feature learning and Context-aware Backprojection-based Transformer Blocks (CPTBs) for hierarchical feature learning. A backprojection-based reconstruction module (PRM) is also introduced to enhance the hierarchical features for image reconstruction. MBT stands out by efficiently learning low-resolution features without excessive modules for high-resolution processing, resulting in lower computational resources. Experiment results on UCMerced and AID datasets demonstrate that MBT obtains state-of-the-art results compared to other leading methods.


title: SalUn: Empowering Machine Unlearning via Gradient-based Weight Saliency in Both Image Classification and Generation

abstract: With evolving data regulations, machine unlearning (MU) has become an important tool for fostering trust and safety in today's AI models. However, existing MU methods focusing on data and/or weight perspectives often suffer limitations in unlearning accuracy, stability, and cross-domain applicability. To address these challenges, we introduce the concept of 'weight saliency' for MU, drawing parallels with input saliency in model explanation. This innovation directs MU's attention toward specific model weights rather than the entire model, improving effectiveness and efficiency. The resultant method that we call saliency unlearning (SalUn) narrows the performance gap with 'exact' unlearning (model retraining from scratch after removing the forgetting data points). To the best of our knowledge, SalUn is the first principled MU approach that can effectively erase the influence of forgetting data, classes, or concepts in both image classification and generation tasks. As highlighted below, For example, SalUn yields a stability advantage in high-variance random data forgetting, e.g., with a 0.2% gap compared to exact unlearning on the CIFAR-10 dataset. Moreover, in preventing conditional diffusion models from generating harmful images, SalUn achieves nearly 100% unlearning accuracy, outperforming current state-of-the-art baselines like Erased Stable Diffusion and Forget-Me-Not. Codes are available at https://github.com/OPTML-Group/Unlearn-Saliency. (WARNING: This paper contains model outputs that may be offensive in nature.)


title: Machine Learning for Leaf Disease Classification: Data, Techniques and Applications

abstract: The growing demand for sustainable development brings a series of information technologies to help agriculture production. Especially, the emergence of machine learning applications, a branch of artificial intelligence, has shown multiple breakthroughs which can enhance and revolutionize plant pathology approaches. In recent years, machine learning has been adopted for leaf disease classification in both academic research and industrial applications. Therefore, it is enormously beneficial for researchers, engineers, managers, and entrepreneurs to have a comprehensive view about the recent development of machine learning technologies and applications for leaf disease detection. This study will provide a survey in different aspects of the topic including data, techniques, and applications. The paper will start with publicly available datasets. After that, we summarize common machine learning techniques, including traditional (shallow) learning, deep learning, and augmented learning. Finally, we discuss related applications. This paper would provide useful resources for future study and application of machine learning for smart agriculture in general and leaf disease classification in particular.


title: CM points, class numbers, and the Mahler measures of $x^3+y^3+1-kxy$

abstract: We study the Mahler measures of the polynomial family $Q_k(x,y) = x^3+y^3+1-kxy$ using the method previously developed by the authors. An algorithm is implemented to search for CM points with class numbers $\leqslant 3$, we employ these points to derive interesting formulas that link the Mahler measures of $Q_k(x,y)$ to $L$-values of modular forms. As by-products, some conjectural identities of Samart are confirmed, one of them involves the modified Mahler measure $\tilde{n}(k)$ introduced by Samart recently. For $k=\sqrt[3]{729\pm405\sqrt{3}}$, we also prove an equality that expresses a $2\times 2$ determinant with entries the Mahler measures of $Q_k(x,y)$ as some multiple of the $L$-value of two isogenous elliptic curves over $\mathbb{Q}(\sqrt{3})$.


title: The weight enumerator polynomials of the lifted codes of the projective Solomon-Stiffler codes

abstract: Determining the weight distribution of a code is an old and fundamental topic in coding theory that has been thoroughly studied. In 1977, Helleseth, Kl{\o}ve, and Mykkeltveit presented a weight enumerator polynomial of the lifted code over $\mathbb{F}_{q^\ell}$ of a $q$-ary linear code with significant combinatorial properties, which can determine the support weight distribution of this linear code. The Solomon-Stiffler codes are a family of famous Griesmer codes, which were proposed by Solomon and Stiffler in 1965. In this paper, we determine the weight enumerator polynomials of the lifted codes of the projective Solomon-Stiffler codes using some combinatorial properties of subspaces. As a result, we determine the support weight distributions of the projective Solomon-Stiffler codes. In particular, we determine the weight hierarchies of the projective Solomon-Stiffler codes.


title: Continuous variable quantum computation of the $O(3)$ model in 1+1 dimensions

abstract: We formulate the $O(3)$ non-linear sigma model in 1+1 dimensions as a limit of a three-component scalar field theory restricted to the unit sphere in the large squeezing limit. This allows us to describe the model in terms of the continuous variable (CV) approach to quantum computing. We construct the ground state and excited states using the coupled-cluster Ansatz and find excellent agreement with the exact diagonalization results for a small number of lattice sites. We then present the simulation protocol for the time evolution of the model using CV gates and obtain numerical results using a photonic quantum simulator. We expect that the methods developed in this work will be useful for exploring interesting dynamics for a wide class of sigma models and gauge theories, as well as for simulating scattering events on quantum hardware in the coming decades.


title: Real space iterative reconstruction for vector tomography (RESIRE-V)

abstract: Tomography has had an important impact on the physical, biological, and medical sciences. To date, most tomographic applications have been focused on 3D scalar reconstructions. However, in some crucial applications, vector tomography is required to reconstruct 3D vector fields such as the electric and magnetic fields. Over the years, several vector tomography methods have been developed. Here, we present the mathematical foundation and algorithmic implementation of REal Space Iterative REconstruction for Vector tomography, termed RESIRE-V. RESIRE-V uses multiple tilt series of projections and iterates between the projections and a 3D reconstruction. Each iteration consists of a forward step using the Radon transform and a backward step using its transpose, then updates the object via gradient descent. Incorporating with a 3D support constraint, the algorithm iteratively minimizes an error metric, defined as the difference between the measured and calculated projections. The algorithm can also be used to refine the tilt angles and further improve the 3D reconstruction. To validate RESIRE-V, we first apply it to a simulated data set of the 3D magnetization vector field, consisting of two orthogonal tilt series, each with a missing wedge. Our quantitative analysis shows that the three components of the reconstructed magnetization vector field agree well with the ground-truth counterparts. We then use RESIRE-V to reconstruct the 3D magnetization vector field of a ferromagnetic meta-lattice consisting of three tilt series. Our 3D vector reconstruction reveals the existence of topological magnetic defects with positive and negative charges. We expect that RESIRE-V can be incorporated into different imaging modalities as a general vector tomography method.


title: Phases of 4He and H2 adsorbed on doped graphene

abstract: The influence of attractive boron impurities, embedded on a graphene sheet, on the phase diagrams of $^4$He and H$_2$ adsorbed on top was studied using the diffusion Monte Carlo method. The doping of graphene was made by distributing the boron atoms following the same pattern found in an experimentally synthesized substrate. Our results show that while the different incommensurate solid phases of both adsorbates remain largely unchanged after doping, the liquid/gas equations of state are significanty different from the ones on pristine graphene. Doping graphene produces new translationally invariant stable phases for $^4$He, depending on the concentration of boron impurities, but makes the H$_2$ ground state to remain solid. In addition, several new registered phases appear for both adsorbates.


title: WeaveNet for Approximating Two-sided Matching Problems

abstract: Matching, a task to optimally assign limited resources under constraints, is a fundamental technology for society. The task potentially has various objectives, conditions, and constraints; however, the efficient neural network architecture for matching is underexplored. This paper proposes a novel graph neural network (GNN), \textit{WeaveNet}, designed for bipartite graphs. Since a bipartite graph is generally dense, general GNN architectures lose node-wise information by over-smoothing when deeply stacked. Such a phenomenon is undesirable for solving matching problems. WeaveNet avoids it by preserving edge-wise information while passing messages densely to reach a better solution. To evaluate the model, we approximated one of the \textit{strongly NP-hard} problems, \textit{fair stable matching}. Despite its inherent difficulties and the network's general purpose design, our model reached a comparative performance with state-of-the-art algorithms specially designed for stable matching for small numbers of agents.


title: ReEval: Automatic Hallucination Evaluation for Retrieval-Augmented Large Language Models via Transferable Adversarial Attacks

abstract: Despite remarkable advancements in mitigating hallucinations in large language models (LLMs) by retrieval augmentation, it remains challenging to measure the reliability of LLMs using static question-answering (QA) data. Specifically, given the potential of data contamination (e.g., leading to memorization), good static benchmark performance does not ensure that model can reliably use the provided evidence for responding, which is essential to avoid hallucination when the required knowledge is new or private. Inspired by adversarial machine learning, we investigate the feasibility of automatically perturbing existing static one for dynamic evaluation. Specifically, this paper presents ReEval, an LLM-based framework using prompt chaining to perturb the original evidence for generating new test cases for evaluating the LLMs' reliability in using new evidence for answering. We implement ReEval using ChatGPT and evaluate the resulting variants of two popular open-domain QA datasets on a collection of LLMs under various prompting settings. Our generated data is human-readable and useful to trigger hallucination in LLM. Accurate models on static data are observed to produce unsupported answers from the perturbed evidence, with pronounced accuracy drops across LLMs including GPT-4. We find that our adversarial examples are transferable across all considered LLMs. The examples generated by a small model can be used to evaluate a much larger model, making our approach cost-effective.


title: Maximizing weighted sums of binomial coefficients using generalized continued fractions

abstract: Let $m,r\in\mathbb{Z}$ and $\omega\in\mathbb{R}$ satisfy $0\leqslant r\leqslant m$ and $\omega\geqslant1$. Our main result is a generalized continued fraction for an expression involving the partial binomial sum $s_m(r) = \sum_{i=0}^r\binom{m}{i}$. We apply this to create new upper and lower bounds for $s_m(r)$ and thus for $g_{\omega,m}(r)=\omega^{-r}s_m(r)$. We also bound an integer $r_0 \in \{0,1,\dots,m\}$ such that $g_{\omega,m}(0)<\cdots<g_{\omega,m}(r_0-1)\leqslant g_{\omega,m}(r_0)$ and $g_{\omega,m}(r_0)>\cdots>g_{\omega,m}(m)$. For real $\omega\geqslant\sqrt3$ we prove that $r_0\in\{\lfloor\frac{m+2}{\omega+1}\rfloor,\lfloor\frac{m+2}{\omega+1}\rfloor+1\}$, and also $r_0 =\lfloor\frac{m+2}{\omega+1}\rfloor$ for $\omega\in\{3,4,\dots\}$ or $\omega=2$ and $3\nmid m$.


title: Light-enhanced van der Waals force microscopy

abstract: Atomic force microscope (AFM) generally works on the basis of manipulating absolute magnitude of van der Waals (vdW) force between the tip and specimen. The force is, however, less sensitive to alternation of atom species than to tip-sample separations, resulting in the difficulty of compositional identification, even under multi-modal strategies and other AFM variations. Here, we report a phenomenon of light enhancement of van der Waals force (LvF), and the enhancement factor is found specific to materials. The force difference prior and after illumination, instead of the tip-specimen force itself, is employed for discriminating heterogeneous phases. The corresponding LvF microscopy (LvFM) demonstrates not only a ultra-high compositional resolution represented by 20 dB enhancement factor and 150 times of the detection limit, but also a sub-10 nm lateral spatial resolution much smaller than the tip size of 20 nm. The simplicity of the opto-thermal mechanism, minuteness of excitation light power and wide availability of boosting lasers at various wavelengths imply broad applications of LvFM on nano-materials characterization, particularly on two-dimensional semiconductors that are promising as new generation of chip materials.


title: The unimodular equivalence of sublattices in an $n$-dimensional lattice

abstract: In this paper, we study the unimodular equivalence of sublattices in an $n$-dimensional lattice. A recursive procedure is given to compute the cardinalities of the unimodular equivalent classes with the indices which are powers of a prime $p$. We also show that these are integral polynomials in $p$. When $n=2$, the explicit formulae of the cardinalities are presented depending on the prime decomposition of the index $m$. We also give an explicit formula on the number of co-cyclic sublattices with a fixed index $m$, which consist a unimodular equivalent class of sublattices.


title: Lost in Translation: When GPT-4V(ision) Can't See Eye to Eye with Text. A Vision-Language-Consistency Analysis of VLLMs and Beyond

abstract: Recent advancements in multimodal techniques open exciting possibilities for models excelling in diverse tasks involving text, audio, and image processing. Models like GPT-4V, blending computer vision and language modeling, excel in complex text and image tasks. Numerous prior research endeavors have diligently examined the performance of these Vision Large Language Models (VLLMs) across tasks like object detection, image captioning and others. However, these analyses often focus on evaluating the performance of each modality in isolation, lacking insights into their cross-modal interactions. Specifically, questions concerning whether these vision-language models execute vision and language tasks consistently or independently have remained unanswered. In this study, we draw inspiration from recent investigations into multilingualism and conduct a comprehensive analysis of model's cross-modal interactions. We introduce a systematic framework that quantifies the capability disparities between different modalities in the multi-modal setting and provide a set of datasets designed for these evaluations. Our findings reveal that models like GPT-4V tend to perform consistently modalities when the tasks are relatively simple. However, the trustworthiness of results derived from the vision modality diminishes as the tasks become more challenging. Expanding on our findings, we introduce "Vision Description Prompting," a method that effectively improves performance in challenging vision-related tasks.


title: Identification of a DAGLB Mutation in a Non-Chinese Patient with Parkinson's Disease

abstract: Liu et al. recently reported that biallelic mutations in DAGLB are responsible for autosomal recessive early-onset Parkinson's disease. They identified six patients carrying DAGLB mutations, all of Chinese origin and presenting with typical Parkinson disease. No additional cases outside China have been reported so far.To assess the causality of DAGLB in our cohort, we used data mining in the exomes of 684 index cases with either autosomal recessive or sporadic early onset Parkinson disease (< 50 years). We identified a homozygous p.Pro357Leu missense variant in a single consanguineous PD case. This mutation predicted deleterious, affects a conserved amino acid localized in the catalytic domain of the protein nearby the pathological p.Asp363Gly mutation described in the previous paper. As the most frequent genes involved in AR-PD (PRKN, PINK1), the DAGLB-associated disease presents and evolves like typical PD.This work reinforces the fact that DAGLB is involved in early onset Parkinson disease, but given the fact that we identified a single patient among 684 index cases screened, we conclude that DAGLB is a very rare cause of early onset autosomal recessive Parkinson disease. However, we demonstrate that, mutations in DAGLB are not limited to the Chinese population but can also account for PD in North Africa.We feel that these new data indicate that DAGLB variants should be considered in non-Chinese cases with early-onset typical Parkinson disease.


title: Named Entity Recognition for Monitoring Plant Health Threats in Tweets: a ChouBERT Approach

abstract: An important application scenario of precision agriculture is detecting and measuring crop health threats using sensors and data analysis techniques. However, the textual data are still under-explored among the existing solutions due to the lack of labelled data and fine-grained semantic resources. Recent research suggests that the increasing connectivity of farmers and the emergence of online farming communities make social media like Twitter a participatory platform for detecting unfamiliar plant health events if we can extract essential information from unstructured textual data. ChouBERT is a French pre-trained language model that can identify Tweets concerning observations of plant health issues with generalizability on unseen natural hazards. This paper tackles the lack of labelled data by further studying ChouBERT's know-how on token-level annotation tasks over small labeled sets.


title: Privacy Preserving Large Language Models: ChatGPT Case Study Based Vision and Framework

abstract: The generative Artificial Intelligence (AI) tools based on Large Language Models (LLMs) use billions of parameters to extensively analyse large datasets and extract critical private information such as, context, specific details, identifying information etc. This have raised serious threats to user privacy and reluctance to use such tools. This article proposes the conceptual model called PrivChatGPT, a privacy-preserving model for LLMs that consists of two main components i.e., preserving user privacy during the data curation/pre-processing together with preserving private context and the private training process for large-scale data. To demonstrate its applicability, we show how a private mechanism could be integrated into the existing model for training LLMs to protect user privacy; specifically, we employed differential privacy and private training using Reinforcement Learning (RL). We measure the privacy loss and evaluate the measure of uncertainty or randomness once differential privacy is applied. It further recursively evaluates the level of privacy guarantees and the measure of uncertainty of public database and resources, during each update when new information is added for training purposes. To critically evaluate the use of differential privacy for private LLMs, we hypothetically compared other mechanisms e..g, Blockchain, private information retrieval, randomisation, for various performance measures such as the model performance and accuracy, computational complexity, privacy vs. utility etc. We conclude that differential privacy, randomisation, and obfuscation can impact utility and performance of trained models, conversely, the use of ToR, Blockchain, and PIR may introduce additional computational complexity and high training latency. We believe that the proposed model could be used as a benchmark for proposing privacy preserving LLMs for generative AI tools.


title: Unified Browsing Models for Linear and Grid Layouts

abstract: Many information access systems operationalize their results in terms of rankings, which are then displayed to users in various ranking layouts such as linear lists or grids. User interaction with a retrieved item is highly dependent on the item's position in the layout, and users do not provide similar attention to every position in ranking (under any layout model). User attention is an important component in the evaluation process of ranking, due to its use in effectiveness metrics that estimate utility as well as fairness metrics that evaluate ranking based on social and ethical concerns. These metrics take user browsing behavior into account in their measurement strategies to estimate the attention the user is likely to provide to each item in ranking. Research on understanding user browsing behavior has proposed several user browsing models, and further observed that user browsing behavior differs with different ranking layouts. However, the underlying concepts of these browsing models are often similar, including varying components and parameter settings. We seek to leverage that similarity to represent multiple browsing models in a generalized, configurable framework which can be further extended to more complex ranking scenarios. In this paper, we describe a probabilistic user browsing model for linear rankings, show how they can be configured to yield models commonly used in current evaluation practice, and generalize this model to also account for browsing behaviors in grid-based layouts. This model provides configurable framework for estimating the attention that results from user browsing activity for a range of IR evaluation and measurement applications in multiple formats, and also identifies parameters that need to be estimated through user studies to provide realistic evaluation beyond ranked lists.


title: A well-posedness result for the compressible two-fluid model with density-dependent viscosity

abstract: In this paper, we study a system of PDE's describing the motion of two compressible viscous fluids occupying the whole space $\mathbb {R}^d\;(d\in \{2,3\}$). We prove a local well-posedness result with discontinuous initial data: we require the initial density to be H\"older continuous on both sides of a hyper-surface across which it can experience large jumps. The initial velocity belongs to the Sobolev space $H^1(\mathbb{R}^d)$ and the divergence of the initial stress tensor to belong to $L^2(\mathbb{R}^d)$. The later assumption expresses somehow the continuity of the stress tensor. This result is more general than the one by Tani [26] by allowing low regular initial data, and it can be used to serve as building blocks for global solutions.


title: Parallel Bayesian Optimization Using Satisficing Thompson Sampling for Time-Sensitive Black-Box Optimization

abstract: Bayesian optimization (BO) is widely used for black-box optimization problems, and have been shown to perform well in various real-world tasks. However, most of the existing BO methods aim to learn the optimal solution, which may become infeasible when the parameter space is extremely large or the problem is time-sensitive. In these contexts, switching to a satisficing solution that requires less information can result in better performance. In this work, we focus on time-sensitive black-box optimization problems and propose satisficing Thompson sampling-based parallel Bayesian optimization (STS-PBO) approaches, including synchronous and asynchronous versions. We shift the target from an optimal solution to a satisficing solution that is easier to learn. The rate-distortion theory is introduced to construct a loss function that balances the amount of information that needs to be learned with sub-optimality, and the Blahut-Arimoto algorithm is adopted to compute the target solution that reaches the minimum information rate under the distortion limit at each step. Both discounted and undiscounted Bayesian cumulative regret bounds are theoretically derived for the proposed STS-PBO approaches. The effectiveness of the proposed methods is demonstrated on a fast-charging design problem of Lithium-ion batteries. The results are accordant with theoretical analyses, and show that our STS-PBO methods outperform both sequential counterparts and parallel BO with traditional Thompson sampling in both synchronous and asynchronous settings.


title: Testing the Consistency of Performance Scores Reported for Binary Classification Problems

abstract: Binary classification is a fundamental task in machine learning, with applications spanning various scientific domains. Whether scientists are conducting fundamental research or refining practical applications, they typically assess and rank classification techniques based on performance metrics such as accuracy, sensitivity, and specificity. However, reported performance scores may not always serve as a reliable basis for research ranking. This can be attributed to undisclosed or unconventional practices related to cross-validation, typographical errors, and other factors. In a given experimental setup, with a specific number of positive and negative test items, most performance scores can assume specific, interrelated values. In this paper, we introduce numerical techniques to assess the consistency of reported performance scores and the assumed experimental setup. Importantly, the proposed approach does not rely on statistical inference but uses numerical methods to identify inconsistencies with certainty. Through three different applications related to medicine, we demonstrate how the proposed techniques can effectively detect inconsistencies, thereby safeguarding the integrity of research fields. To benefit the scientific community, we have made the consistency tests available in an open-source Python package.


title: Constructing Impactful Machine Learning Research for Astronomy: Best Practices for Researchers and Reviewers

abstract: Machine learning has rapidly become a tool of choice for the astronomical community. It is being applied across a wide range of wavelengths and problems, from the classification of transients to neural network emulators of cosmological simulations, and is shifting paradigms about how we generate and report scientific results. At the same time, this class of method comes with its own set of best practices, challenges, and drawbacks, which, at present, are often reported on incompletely in the astrophysical literature. With this paper, we aim to provide a primer to the astronomical community, including authors, reviewers, and editors, on how to implement machine learning models and report their results in a way that ensures the accuracy of the results, reproducibility of the findings, and usefulness of the method.


title: $4d$ steady gradient Ricci solitons with nonnegative curvature away from a compact set

abstract: In the paper, we analysis the asymptotic behavior of noncompact $\kappa$-noncollapsed steady gradient Ricci soliton $(M, g)$ with nonnegative curvature operator away from a compact set $K$ of $M$. In particular, we prove: any $4d$ noncompact $\kappa$-noncollapsed steady gradient Ricci soliton $(M^4, g)$ with nonnegative sectional curvature must be a Bryant Ricci soliton up to scaling if it admits a sequence of rescaled flows of $(M^4, g)$, which converges subsequently to a family of shrinking quotient cylinders.


title: The Frobenius problem over real number fields

abstract: Given a number field $K$ that is a subfield of the real numbers, we generalize the notion of the classical Frobenius problem to the ring of integers $\mathfrak{O}_K$ of $K$ by describing certain Frobenius semigroups, $\mathrm{Frob}(\alpha_1,\dots,\alpha_n)$, for appropriate elements $\alpha_1,\dots,\alpha_n\in\mathfrak{O}_K$. We construct a partial ordering on $\mathrm{Frob}(\alpha_1,\dots,\alpha_n)$, and show that this set is completely described by the maximal elements with respect to this ordering. We also show that $\mathrm{Frob}(\alpha_1,\dots,\alpha_n)$ will always have finitely many such maximal elements, but in general, the number of maximal elements can grow without bound as $n$ is fixed and $\alpha_1,\dots,\alpha_n\in\mathfrak{O}_K$ vary. Explicit examples of the Frobenius semigroups are also calculated for certain cases in real quadratic number fields.


title: ICU: Conquering Language Barriers in Vision-and-Language Modeling by Dividing the Tasks into Image Captioning and Language Understanding

abstract: Most multilingual vision-and-language (V&L) research aims to accomplish multilingual and multimodal capabilities within one model. However, the scarcity of multilingual captions for images has hindered the development. To overcome this obstacle, we propose ICU, Image Caption Understanding, which divides a V&L task into two stages: a V&L model performs image captioning in English, and a multilingual language model (mLM), in turn, takes the caption as the alt text and performs cross-lingual language understanding. The burden of multilingual processing is lifted off V&L model and placed on mLM. Since the multilingual text data is relatively of higher abundance and quality, ICU can facilitate the conquering of language barriers for V&L models. In experiments on two tasks across 9 languages in the IGLUE benchmark, we show that ICU can achieve new state-of-the-art results for five languages, and comparable results for the rest.


title: 1D GRPIC Simulations of Stellar-Mass Black Hole Magnetospheres: Semi-Analytic Model of Gamma-Rays from Gaps

abstract: In the absence of a sufficient amount of plasma injection into the black hole (BH) magnetosphere, the force-free state of the magnetosphere cannot be maintained, leading to the emergence of strong, time-dependent, longitudinal electric field (spark gap). Recent studies of supermassive BH magnetospheres by using analytical methods and particle-in-cell (PIC) simulations propose the possibility of the efficient particle acceleration and consequent gamma-ray emissions in the spark gap. In this work, we perform one-dimensional general relativistic PIC simulations to examine the gamma-ray emission from stellar-mass BH magnetospheres. We find that intermittent spark gaps emerge and particles are efficiently accelerated, in a similar manner to the supermassive BH case. We build a semi-analytic model of the plasma dynamics and radiative processes which reproduces the maximum electron energies and peak gamma-ray luminosities in the simulation results. Based on this model, we show that gamma-ray signals from stellar-mass BHs wandering through the interstellar medium could be detected by gamma-ray telescopes such as the Fermi Large Area Telescope, or the Cherenkov Telescope Array.


title: Quantum Private Function Evaluation

abstract: Private function evaluation is a task that aims to obtain the output of a function while keeping the function secret. So far its quantum analogue has not yet been articulated. In this study, we initiate the study of quantum private function evaluation, the quantum analogue of classical private function evaluation. We give a formal definition of quantum private function evaluation and present two schemes together with their security proofs. We then give an experimental demonstration of the scheme. Finally we apply quantum private function evaluation to quantum copy protection to illustrate its usage.


title: Cormas: The Software for Participatory Modelling and its Application for Managing Natural Resources in Senegal

abstract: Cormas is an agent-based simulation platform developed in the late 90s by the Green research at CIRAD unit to support the management of natural resources and understand the interactions between natural and social dynamics. This platform is well-suited for a participatory simulation approach that empowers local stakeholders by including them in all modelling and knowledge-sharing steps. In this short paper, we present the Cormas platform and discuss its unique features and their importance for the participatory simulation approach. We then present the early results of our ongoing study on managing pastoral resources in the Sahel region, identify the problems faced by local stakeholders, and discuss the potential use of Cormas at the next stage of our study to collectively model and understand the effective ways of managing the shared agro-sylvo-pastoral resources.


title: Scalable molecular simulation of electrolyte solutions with quantum chemical accuracy

abstract: Unleashing the predictive power of molecular dynamics (MD), Neural Network Potentials (NNPs) trained on Density Functional Theory (DFT) calculations are revolutionizing our ability to simulate chemical systems with unprecedented accuracy and efficiency. Electrolyte solutions are a natural initial system to apply this tool to because they are critically important for a wide range of applications and their properties cannot currently be predicted. Unfortunately, however most DFT approximations are not sufficiently accurate to predict many practically relevant properties of electrolytes. Additionally, tracking the position of every atom in a system during molecular simulations is inherently limited, even with NNP-MD. Here, we use a state-of-the-art DFT approximation to demonstrate highly accurate all-atom NNPs with minimal training data. We demonstrate that NNPs can reliably be recursively trained on a subset of their own output to enable coarse-grained continuum solvent molecular simulations that can access much longer timescales. We apply our technique to simulate lithium chloride, potassium chloride, and lithium bromide in water. We reproduce key structural, thermodynamic, and kinetic properties of these solutions in agreement with experimental data. The formation of a previously unknown Li cation dimer is observed, along with identical anion-anion interactions of chloride and bromide. Finally, the coarse-grained model is capable of reproducing crystal phase behavior and infinite dilution pairing free energies despite being trained solely on moderate concentration solutions, disproving the notion that NNPs are only useful for interpolation. This approach should be scalable to determine the properties of electrolyte solutions over a much wider range of conditions and compositions than is possible experimentally.

categories: physics.chem-ph cond-mat.dis-nn cond-mat.soft cond-mat.stat-mech physics.comp-ph


title: Fully Onboard Low-Power Localization with Semantic Sensor Fusion on a Nano-UAV using Floor Plans

abstract: Nano-sized unmanned aerial vehicles (UAVs) are well-fit for indoor applications and for close proximity to humans. To enable autonomy, the nano-UAV must be able to self-localize in its operating environment. This is a particularly-challenging task due to the limited sensing and compute resources on board. This work presents an online and onboard approach for localization in floor plans annotated with semantic information. Unlike sensor-based maps, floor plans are readily-available, and do not increase the cost and time of deployment. To overcome the difficulty of localizing in sparse maps, the proposed approach fuses geometric information from miniaturized time-of-flight sensors and semantic cues. The semantic information is extracted from images by deploying a state-of-the-art object detection model on a high-performance multi-core microcontroller onboard the drone, consuming only 2.5mJ per frame and executing in 38ms. In our evaluation, we globally localize in a real-world office environment, achieving 90% success rate. We also release an open-source implementation of our work.


title: Product Attribute Value Extraction using Large Language Models

abstract: E-commerce platforms rely on structured product descriptions, in the form of attribute/value pairs to enable features such as faceted product search and product comparison. However, vendors on these platforms often provide unstructured product descriptions consisting of a title and a textual description. To process such offers, e-commerce platforms must extract attribute/value pairs from the unstructured descriptions. State-of-the-art attribute/value extraction methods based on pre-trained language models (PLMs), such as BERT, face two drawbacks (i) the methods require significant amounts of task-specific training data and (ii) the fine-tuned models have problems to generalize to attribute values that were not part of the training data. We explore the potential of using large language models (LLMs) as a more training data-efficient and more robust alternative to existing attribute/value extraction methods. We propose different prompt templates for instructing LLMs about the target schema of the extraction, covering both zero-shot and few-shot scenarios. In the zero-shot scenario, textual and JSON-based approaches for representing information about the target attributes are compared. In the scenario with training data, we investigate (i) the provision of example attribute values, (ii) the selection of in-context demonstrations, (iii) shuffled ensembling to prevent position bias, and (iv) fine-tuning the LLM. The prompt templates are evaluated in combination with hosted LLMs, such as GPT-3.5 and GPT-4, and open-source LLMs based on Llama2 which can be run locally. The best average F1-score of 86% was reached by GPT-4 using an ensemble of shuffled prompts that combine attribute names, attribute descriptions, example values, and demonstrations. Given the same amount of training data, this prompt/model combination outperforms the best PLM baseline by an average of 6% F1.


title: Solving Expensive Optimization Problems in Dynamic Environments with Meta-learning

abstract: Dynamic environments pose great challenges for expensive optimization problems, as the objective functions of these problems change over time and thus require remarkable computational resources to track the optimal solutions. Although data-driven evolutionary optimization and Bayesian optimization (BO) approaches have shown promise in solving expensive optimization problems in static environments, the attempts to develop such approaches in dynamic environments remain rarely unexplored. In this paper, we propose a simple yet effective meta-learning-based optimization framework for solving expensive dynamic optimization problems. This framework is flexible, allowing any off-the-shelf continuously differentiable surrogate model to be used in a plug-in manner, either in data-driven evolutionary optimization or BO approaches. In particular, the framework consists of two unique components: 1) the meta-learning component, in which a gradient-based meta-learning approach is adopted to learn experience (effective model parameters) across different dynamics along the optimization process. 2) the adaptation component, where the learned experience (model parameters) is used as the initial parameters for fast adaptation in the dynamic environment based on few shot samples. By doing so, the optimization process is able to quickly initiate the search in a new environment within a strictly restricted computational budget. Experiments demonstrate the effectiveness of the proposed algorithm framework compared to several state-of-the-art algorithms on common benchmark test problems under different dynamic characteristics.


title: Fixing detailed balance in ancilla-based dissipative state engineering

abstract: Dissipative state engineering is a general term for a protocol which prepares the ground state of a complex many-body Hamiltonian using engineered dissipation or engineered environments. Recently, it was shown that a version of this protocol, where the engineered environment consists of one or more dissipative qubit ancillas tuned to be resonant with the low-energy transitions of a many-body system, resulted in the combined system evolving to reasonable approximation to the ground state. This potentially broadens the applicability of the method beyond non-frustrated systems, to which it was previously restricted. Here we argue that this approach has an intrinsic limitation because the ancillas, seen as an effective bath by the system in the weak-coupling limit, do not give the detailed balance expected for a true zero-temperature environment. Our argument is based on the study of a similar approach employing linear coupling to bosonic ancillas. We explore overcoming this limitation using a recently developed technique from open-quantum-systems called pseudomodes. With a simple example model of a 1D quantum Ising chain, we show that detailed balance can be fixed, and a more accurate estimation of the ground state obtained, at the cost of two additional unphysical dissipative modes and the extrapolation error of implementing those modes in physical systems.


title: Embedding Pure Type Systems in the lambda-Pi-calculus modulo

abstract: The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calculus modulo. We show in this paper that this simple extension is surprisingly expressive and, in particular, that all functional Pure Type Systems, such as the system F, or the Calculus of Constructions, can be embedded in it. And, moreover, that this embedding is conservative under termination hypothesis.


title: Large Language Model for Multi-objective Evolutionary Optimization

abstract: Multiobjective evolutionary algorithms (MOEAs) are major methods for solving multiobjective optimization problems (MOPs). Many MOEAs have been proposed in the past decades, of which the search operators need a carefully handcrafted design with domain knowledge. Recently, some attempts have been made to replace the manually designed operators in MOEAs with learning-based operators (e.g., neural network models). However, much effort is still required for designing and training such models, and the learned operators might not generalize well on new problems. To tackle the above challenges, this work investigates a novel approach that leverages the powerful large language model (LLM) to design MOEA operators. With proper prompt engineering, we successfully let a general LLM serve as a black-box search operator for decomposition-based MOEA (MOEA/D) in a zero-shot manner. In addition, by learning from the LLM behavior, we further design an explicit white-box operator with randomness and propose a new version of decomposition-based MOEA, termed MOEA/D-LO. Experimental studies on different test benchmarks show that our proposed method can achieve competitive performance with widely used MOEAs. It is also promising to see the operator only learned from a few instances can have robust generalization performance on unseen problems with quite different patterns and settings. The results reveal the potential benefits of using pre-trained LLMs in the design of MOEAs.To foster reproducibility and accessibility, the source code is https://github.com/FeiLiu36/LLM4MOEA.


title: Pseudo entropy under joining local quenches

abstract: We compute the pseudo entropy in two-dimensional holographic and free Dirac fermion CFTs for excited states under joining local quenches. Our analysis reveals two of its characteristic properties that are missing in the conventional entanglement entropy. One is that, under time evolution, the pseudo entropy exhibits a dip behavior as the excitations propagate from the joined point to the boundaries of the subsystem. The other is that the excess of pseudo entropy over entanglement entropy can be positive in holographic CFTs, whereas it is always non-positive in free Dirac fermion CFTs. We argue that the entropy excess can serve as a measure of multi-partite entanglement. Its positivity implies that the vacuum state in holographic CFTs possesses multi-partite entanglement, in contrast to free Dirac fermion CFTs.


title: Hamiltonian Cycles for Finite Weyl Groupoids

abstract: Let $\Gamma({\mathcal{W}})$ be the Cayley graph of a finite Weyl groupoid ${\mathcal{W}}$. In this paper, we show an existence of a Hamitonian cycle of $\Gamma({\mathcal{W}})$ for any ${\mathcal{W}}$. We exatctly draw a Hamiltonian cycle of $\Gamma({\mathcal{W}})$ for any (resp. some) irreducible ${\mathcal{W}}$ of rank three (resp. four). Moreover for the irreducible ${\mathcal{W}}$ of rank three, we give a second largest eigenvalue of the adjacency matrix of $\Gamma({\mathcal{W}})$, and know if $\Gamma({\mathcal{W}})$ is a bipartite Ramanujan graph or not.