title: Zero-Resource Hallucination Prevention for Large Language Models

abstract: The prevalent use of large language models (LLMs) in various domains has drawn attention to the issue of "hallucination," which refers to instances where LLMs generate factually inaccurate or ungrounded information. Existing techniques for hallucination detection in language assistants rely on intricate fuzzy, specific free-language-based chain of thought (CoT) techniques or parameter-based methods that suffer from interpretability issues. Additionally, the methods that identify hallucinations post-generation could not prevent their occurrence and suffer from inconsistent performance due to the influence of the instruction format and model style. In this paper, we introduce a novel pre-detection self-evaluation technique, referred to as SELF-FAMILIARITY, which focuses on evaluating the model's familiarity with the concepts present in the input instruction and withholding the generation of response in case of unfamiliar concepts. This approach emulates the human ability to refrain from responding to unfamiliar topics, thus reducing hallucinations. We validate SELF-FAMILIARITY across four different large language models, demonstrating consistently superior performance compared to existing techniques. Our findings propose a significant shift towards preemptive strategies for hallucination mitigation in LLM assistants, promising improvements in reliability, applicability, and interpretability.


title: Suppression of quasiparticle poisoning in transmon qubits by gap engineering

abstract: The performance of various superconducting devices operating at ultra-low temperatures is impaired by the presence of non-equilibrium quasiparticles. Inelastic quasiparticle (QP) tunneling across Josephson junctions in superconducting qubits results in decoherence and spurious excitations and, notably, can trigger correlated errors that severely impede quantum error correction. In this work, we use "gap engineering" to suppress the tunneling of low-energy quasiparticles in Al-based transmon qubits, a leading building block for superconducting quantum processors. By implementing potential barriers for QP, we strongly suppress QP tunneling across the junction and preserve charge parity for over $10^3$ seconds. The suppression of QP tunneling also results in a reduction in the qubit energy relaxation rates. The demonstrated approach to gap engineering can be easily implemented in all Al-based circuits with Josephson junctions.


title: Normalized solutions for Sobolev critical Schr\"odinger-Bopp-Podolsky systems

abstract: We study the Sobolev critical Schr\"odinger-Bopp-Podolsky system \begin{gather*} -\Delta u+\phi u=\lambda u+\mu|u|^{p-2}u+|u|^4u\quad \text{in }\mathbb{R}^3, -\Delta\phi+\Delta^2\phi=4\pi u^2\quad \text{in } \mathbb{R}^3, \end{gather*} under the mass constraint \[ \int_{\mathbb{R}^3}u^2\,dx=c \] for some prescribed $c>0$, where $2<p<8/3$, $\mu>0$ is a parameter, and $\lambda\in\mathbb{R}$ is a Lagrange multiplier. By developing a constraint minimizing approach, we show that the above system admits a local minimizer. Furthermore, we establish the existence of normalized ground state solutions.


title: Energy stable and maximum bound principle preserving schemes for the Q-tensor flow of liquid crystals

abstract: In this paper, we propose two efficient fully-discrete schemes for Q-tensor flow of liquid crystals by using the first- and second-order stabilized exponential scalar auxiliary variable (sESAV) approach in time and the finite difference method for spatial discretization. The modified discrete energy dissipation laws are unconditionally satisfied for both two constructed schemes. A particular feature is that, for two-dimensional (2D) and a kind of three-dimensional (3D) Q-tensor flows, the unconditional maximum-bound-principle (MBP) preservation of the constructed first-order scheme is successfully established, and the proposed second-order scheme preserves the discrete MBP property with a mild restriction on the time-step sizes. Furthermore, we rigorously derive the corresponding error estimates for the fully-discrete second-order schemes by using the built-in stability results. Finally, various numerical examples validating the theoretical results, such as the orientation of liquid crystal in 2D and 3D, are presented for the constructed schemes.


title: Gravitational lens effect of a holonomy corrected Schwarzschild black hole

abstract: In this paper we study the gravitational lensing effect for the Schwarzschild solution with holonomy corrections. We use two types of approximation methods to calculate the deflection angle, namely the weak and strong field limits. For the first method, we calculate the deflection angle up to the fifth order of approximation and show the influence of the parameter $\lambda$ (in terms of loop quantum gravity) on it. In addition, we construct expressions for the magnification, the position of the lensed images and the time delay as functions of the coefficients from the deflection angle expansion. We find that $\lambda$ increases the deflection angle. In the strong field limit, we use a logarithmic approximation to compute the deflection angle. We then write four observables, in terms of the coefficients $b_1$, $b_2$ and $u_m$, namely: the asymptotic position approached by a set of images $\theta_{\infty}$, the distance between the first image and the others $s$, the ratio between the flux of the first image and the flux of all other images $r_m$, and the time delay between two photons $\Delta T_{2,1}$. We then use the experimental data of the black hole Sagittarius $A^{\star}$ and calculate the observables and the coefficients of the logarithmic expansion. We find that the parameter $\lambda$ increases the deflection angle, the separation between the lensed images and the delay time between them. In contrast, it decreases the brightness of the first image compared to the others.


title: Interpretations of High-Order Transient Absorption Spectroscopies

abstract: Transient absorption (TA) spectroscopy has long been an invaluable tool for determining the energetics and dynamics of excited states in atomic, molecular, and solid-state systems. When pump pulse intensities are sufficiently high, the resulting TA spectra include both the generally desired third-order response of the studied material as well as responses that are higher order in the electric field amplitudes of the pulses. It has recently been shown that pump-intensity-dependent TA measurements allow separating the various orders of response of the TA signal, but the information content available in those higher orders has not been described. We give a general framework, intuition, and nomenclature for understanding the information contained in high-order TA spectra. Standard TA spectra are generally interpreted in terms of three fundamental processes: ground-state bleach (GSB), stimulated emission (SE), and excited state absorption (ESA), and we extend those concepts to higher order. Each order introduces two new processes: SE and ESA from highly excited states that were not accessible in lower orders. In addition, each order contain negations of lower-order processes, just as GSB is a negation of the linear absorption. We show the new spectral and dynamical information that is introduced at each order and show how the relative signs of the signals in different orders can be used to identify which processes are dominant.


title: A Bi-level Globalization Strategy for Non-convex Consensus ADMM and ALADIN

abstract: In this paper, we formally analyze global convergence in the realm of distributed consensus optimization. Current solutions have explored such analysis, particularly focusing on consensus alternating direction method of multipliers (CADMM), including convex and non-convex cases. While such efforts on non-convexity offer elegant theory guaranteeing global convergence, they entail strong assumptions and complicated proof techniques that are increasingly pose challenges when adopted to real-world applications. To resolve such tension, we propose a novel bi-level globalization strategy that not only guarantees global convergence but also provides succinct proofs, all while requiring mild assumptions. We begin by adopting such a strategy to perform global convergence analysis for the non-convex cases in C-ADMM. Then, we employ our proposed strategy in consensus augmented Lagrangian based alternating direction inexact Newton method (C-ALADIN), a more recent and generalization of C-ADMM. Surprisingly, our analysis shows that C-ALADIN globally converges to local optimizer, complementary to the prior work on C-ALADIN, which had primarily focused on analyzing local convergence for non-convex cases.


title: Geometric Infinitely Divisible Autoregressive Models

abstract: In this article, we discuss some geometric infinitely divisible (gid) random variables using the Laplace exponents which are Bernstein functions and study their properties. The distributional properties and limiting behavior of the probability densities of these gid random variables at 0+ are studied. The autoregressive (AR) models with gid marginals are introduced. Further, the first order AR process is generalised to kth order AR process. We also provide the parameter estimation method based on conditional least square and method of moments for the introduced AR(1) processes.


title: Subsethood Measures of Spatial Granules

abstract: Subsethood, which is to measure the degree of set inclusion relation, is predominant in fuzzy set theory. This paper introduces some basic concepts of spatial granules, coarse-fine relation, and operations like meet, join, quotient meet and quotient join. All the atomic granules can be hierarchized by set-inclusion relation and all the granules can be hierarchized by coarse-fine relation. Viewing an information system from the micro and the macro perspectives, we can get a micro knowledge space and a micro knowledge space, from which a rough set model and a spatial rough granule model are respectively obtained. The classical rough set model is the special case of the rough set model induced from the micro knowledge space, while the spatial rough granule model will be play a pivotal role in the problem-solving of structures. We discuss twelve axioms of monotone increasing subsethood and twelve corresponding axioms of monotone decreasing supsethood, and generalize subsethood and supsethood to conditional granularity and conditional fineness respectively. We develop five conditional granularity measures and five conditional fineness measures and prove that each conditional granularity or fineness measure satisfies its corresponding twelve axioms although its subsethood or supsethood measure only hold one of the two boundary conditions. We further define five conditional granularity entropies and five conditional fineness entropies respectively, and each entropy only satisfies part of the boundary conditions but all the ten monotone conditions.


title: Effective Viscosity, Resistivity, and Reynolds Number in Weakly Collisional Plasma Turbulence

abstract: We examine dissipation and energy conversion in weakly collisional plasma turbulence, employing in situ observations from the Magnetospheric Multiscale (MMS) mission and kinetic Particle-in-Cell (PIC) simulations of proton-electron plasma. A previous result indicated the presence of viscous-like and resistive-like scaling of average energy conversion rates -- analogous to scalings characteristic of collisional systems. This allows for extraction of collisional-like coefficients of effective viscosity and resistivity, and thus also determination of effective Reynolds numbers based on these coefficients. The effective Reynolds number, as a measure of the available bandwidth for turbulence to populate various scales, links macro turbulence properties with kinetic plasma properties in a novel way.


title: On the novel geometric and negative binomial INAR(1) processes

abstract: Guerrero et al. \cite{GBSO} propose a novel approach to building first-order integer-valued autoregressive (\inar1) models based on the concept of thinning. The standard approach requires that the thinning operator be defined first and \inar1 models with either a specified marginal (the forward approach) or a specified innovation (the backward approach) are developed. In contrast, the approach in \cite{GBSO} is to start out by specifying both the marginal distribution of the process and that of its innovation sequence, and then proceed to identify the thinning operator by solving a functional equation. In this article we discuss the connection between the thinning operators the authors obtained for their novel geometric and negative binomial \inar1 models and the thinning operator introduced in \cite{AB1} and \cite{AB2}. More specifically, we show that the existence of the two models has been established in \cite{AB1} using the forward approach and a different parameterization. In the process, we strenghthen some of the authors' results obtained for the novel geometric \inar1 process and we extend their results to the novel negative binomial \inar1 process.


title: Human Learning of Hierarchical Graphs

abstract: Humans are constantly exposed to sequences of events in the environment. Those sequences frequently evince statistical regularities, such as the probabilities with which one event transitions to another. Collectively, inter-event transition probabilities can be modeled as a graph or network. Many real-world networks are organized hierarchically and understanding how humans learn these networks is an ongoing aim of current investigations. While much is known about how humans learn basic transition graph topology, whether and to what degree humans can learn hierarchical structures in such graphs remains unknown. We investigate how humans learn hierarchical graphs of the Sierpi\'nski family using computer simulations and behavioral laboratory experiments. We probe the mental estimates of transition probabilities via the surprisal effect: a phenomenon in which humans react more slowly to less expected transitions, such as those between communities or modules in the network. Using mean-field predictions and numerical simulations, we show that surprisal effects are stronger for finer-level than coarser-level hierarchical transitions. Surprisal effects at coarser levels of the hierarchy are difficult to detect for limited learning times or in small samples. Using a serial response experiment with human participants (n=$100$), we replicate our predictions by detecting a surprisal effect at the finer-level of the hierarchy but not at the coarser-level of the hierarchy. To further explain our findings, we evaluate the presence of a trade-off in learning, whereby humans who learned the finer-level of the hierarchy better tended to learn the coarser-level worse, and vice versa. Our study elucidates the processes by which humans learn hierarchical sequential events. Our work charts a road map for future investigation of the neural underpinnings and behavioral manifestations of graph learning.

categories: q-bio.NC cond-mat.stat-mech physics.bio-ph physics.soc-ph


title: Fast and Resource-Efficient Object Tracking on Edge Devices: A Measurement Study

abstract: Object tracking is an important functionality of edge video analytic systems and services. Multi-object tracking (MOT) detects the moving objects and tracks their locations frame by frame as real scenes are being captured into a video. However, it is well known that real time object tracking on the edge poses critical technical challenges, especially with edge devices of heterogeneous computing resources. This paper examines the performance issues and edge-specific optimization opportunities for object tracking. We will show that even the well trained and optimized MOT model may still suffer from random frame dropping problems when edge devices have insufficient computation resources. We present several edge specific performance optimization strategies, collectively coined as EMO, to speed up the real time object tracking, ranging from window-based optimization to similarity based optimization. Extensive experiments on popular MOT benchmarks demonstrate that our EMO approach is competitive with respect to the representative methods for on-device object tracking techniques in terms of run-time performance and tracking accuracy. EMO is released on Github at https://github.com/git-disl/EMO.


title: Special function models of indecomposable $sl(2)$ representations: The Laguerre Case

abstract: In this paper, we point out connections between certain types of indecomposable representations of $sl(2)$ and generalizations of well-known orthogonal polynomials. Those representations take the form of infinite dimensional chains of weight or generalised weight spaces, for which the Cartan generator acts in a diagonal way or via Jordan blocks. The other generators of the Lie algebras $sl(2)$ act as raising and lowering operators but are now allowed to relate the different chains as well. In addition, we construct generating functions, we calculate the action of the Casimir invariant and present relations to systems of non-homogeneous second-order coupled differential equations. We present different properties as higher-order linear differential equations for building blocks taking the form of one variable polynomials. We also present insight into the zeroes and recurrence relations.


title: Neural Networks for Fast Optimisation in Model Predictive Control: A Review

abstract: Model Predictive Control (MPC) is an optimal control algorithm with strong stability and robustness guarantees. Despite its popularity in robotics and industrial applications, the main challenge in deploying MPC is its high computation cost, stemming from the need to solve an optimisation problem at each control interval. There are several methods to reduce this cost. This survey focusses on approaches where a neural network is used to approximate an existing controller. Herein, relevant and unique neural approximation methods for linear, nonlinear, and robust MPC are presented and compared. Comparisons are based on the theoretical guarantees that are preserved, the factor by which the original controller is sped up, and the size of problem that a framework is applicable to. Research contributions include: a taxonomy that organises existing knowledge, a summary of literary gaps, discussion on promising research directions, and simple guidelines for choosing an approximation framework. The main conclusions are that (1) new benchmarking tools are needed to help prove the generalisability and scalability of approximation frameworks, (2) future breakthroughs most likely lie in the development of ties between control and learning, and (3) the potential and applicability of recently developed neural architectures and tools remains unexplored in this field.


title: Marketing Budget Allocation with Offline Constrained Deep Reinforcement Learning

abstract: We study the budget allocation problem in online marketing campaigns that utilize previously collected offline data. We first discuss the long-term effect of optimizing marketing budget allocation decisions in the offline setting. To overcome the challenge, we propose a novel game-theoretic offline value-based reinforcement learning method using mixed policies. The proposed method reduces the need to store infinitely many policies in previous methods to only constantly many policies, which achieves nearly optimal policy efficiency, making it practical and favorable for industrial usage. We further show that this method is guaranteed to converge to the optimal policy, which cannot be achieved by previous value-based reinforcement learning methods for marketing budget allocation. Our experiments on a large-scale marketing campaign with tens-of-millions users and more than one billion budget verify the theoretical results and show that the proposed method outperforms various baseline methods. The proposed method has been successfully deployed to serve all the traffic of this marketing campaign.


title: Progressive Attention Guidance for Whole Slide Vulvovaginal Candidiasis Screening

abstract: Vulvovaginal candidiasis (VVC) is the most prevalent human candidal infection, estimated to afflict approximately 75% of all women at least once in their lifetime. It will lead to several symptoms including pruritus, vaginal soreness, and so on. Automatic whole slide image (WSI) classification is highly demanded, for the huge burden of disease control and prevention. However, the WSI-based computer-aided VCC screening method is still vacant due to the scarce labeled data and unique properties of candida. Candida in WSI is challenging to be captured by conventional classification models due to its distinctive elongated shape, the small proportion of their spatial distribution, and the style gap from WSIs. To make the model focus on the candida easier, we propose an attention-guided method, which can obtain a robust diagnosis classification model. Specifically, we first use a pre-trained detection model as prior instruction to initialize the classification model. Then we design a Skip Self-Attention module to refine the attention onto the fined-grained features of candida. Finally, we use a contrastive learning method to alleviate the overfitting caused by the style gap of WSIs and suppress the attention to false positive regions. Our experimental results demonstrate that our framework achieves state-of-the-art performance. Code and example data are available at https://github.com/cjdbehumble/MICCAI2023-VVC-Screening.


title: RLSynC: Offline-Online Reinforcement Learning for Synthon Completion

abstract: Retrosynthesis is the process of determining the set of reactant molecules that can react to form a desired product. Semi-template-based retrosynthesis methods, which imitate the reverse logic of synthesis reactions, first predict the reaction centers in the products, and then complete the resulting synthons back into reactants. We develop a new offline-online reinforcement learning method RLSynC for synthon completion in semi-template-based methods. RLSynC assigns one agent to each synthon, all of which complete the synthons by conducting actions step by step in a synchronized fashion. RLSynC learns the policy from both offline training episodes and online interactions, which allows RLSynC to explore new reaction spaces. RLSynC uses a standalone forward synthesis model to evaluate the likelihood of the predicted reactants in synthesizing a product, and thus guides the action search. Our results demonstrate that RLSynC can outperform state-of-the-art synthon completion methods with improvements as high as 14.9%, highlighting its potential in synthesis planning.


title: Geometry of Sensitivity: Twice Sampling and Hybrid Clipping in Differential Privacy with Optimal Gaussian Noise and Application to Deep Learning

abstract: We study the fundamental problem of the construction of optimal randomization in Differential Privacy. Depending on the clipping strategy or additional properties of the processing function, the corresponding sensitivity set theoretically determines the necessary randomization to produce the required security parameters. Towards the optimal utility-privacy tradeoff, finding the minimal perturbation for properly-selected sensitivity sets stands as a central problem in DP research. In practice, l_2/l_1-norm clippings with Gaussian/Laplace noise mechanisms are among the most common setups. However, they also suffer from the curse of dimensionality. For more generic clipping strategies, the understanding of the optimal noise for a high-dimensional sensitivity set remains limited. In this paper, we revisit the geometry of high-dimensional sensitivity sets and present a series of results to characterize the non-asymptotically optimal Gaussian noise for R\'enyi DP (RDP). Our results are both negative and positive: on one hand, we show the curse of dimensionality is tight for a broad class of sensitivity sets satisfying certain symmetry properties; but if, fortunately, the representation of the sensitivity set is asymmetric on some group of orthogonal bases, we show the optimal noise bounds need not be explicitly dependent on either dimension or rank. We also revisit sampling in the high-dimensional scenario, which is the key for both privacy amplification and computation efficiency in large-scale data processing. We propose a novel method, termed twice sampling, which implements both sample-wise and coordinate-wise sampling, to enable Gaussian noises to fit the sensitivity geometry more closely. With closed-form RDP analysis, we prove twice sampling produces asymptotic improvement of the privacy amplification given an additional infinity-norm restriction, especially for small sampling rate.


title: White paper on Selected Environmental Parameters affecting Autonomous Vehicle (AV) Sensors

abstract: Autonomous Vehicles (AVs) being developed these days rely on various sensor technologies to sense and perceive the world around them. The sensor outputs are subsequently used by the Automated Driving System (ADS) onboard the vehicle to make decisions that affect its trajectory and how it interacts with the physical world. The main sensor technologies being utilized for sensing and perception (S&P) are LiDAR (Light Detection and Ranging), camera, RADAR (Radio Detection and Ranging), and ultrasound. Different environmental parameters would have different effects on the performance of each sensor, thereby affecting the S&P and decision-making (DM) of an AV. In this publication, we explore the effects of different environmental parameters on LiDARs and cameras, leading us to conduct a study to better understand the impact of several of these parameters on LiDAR performance. From the experiments undertaken, the goal is to identify some of the weaknesses and challenges that a LiDAR may face when an AV is using it. This informs AV regulators in Singapore of the effects of different environmental parameters on AV sensors so that they can determine testing standards and specifications which will assess the adequacy of LiDAR systems installed for local AV operations more robustly. Our approach adopts the LiDAR test methodology first developed in the Urban Mobility Grand Challenge (UMGC-L010) White Paper on LiDAR performance against selected Automotive Paints.


title: Denoising and Multilinear Dimension-Reduction of High-Dimensional Matrix-Variate Time Series via a Factor Model

abstract: This paper proposes a new multilinear projection method for dimension-reduction in modeling high-dimensional matrix-variate time series. It assumes that a $p_1\times p_2$ matrix-variate time series consists of a dynamically dependent, lower-dimensional matrix-variate factor process and a $p_1\times p_2$ matrix white noise series. Covariance matrix of the vectorized white noises assumes a Kronecker structure such that the row and column covariances of the noise all have diverging/spiked eigenvalues to accommodate the case of low signal-to-noise ratio often encountered in applications, such as in finance and economics. We use an iterative projection procedure to {reduce the dimensions and noise effects in estimating} front and back loading matrices and {to} obtain faster convergence rates than those of the traditional methods available in the literature. Furthermore, we introduce a two-way projected Principal Component Analysis to mitigate the diverging noise effects, and implement a high-dimensional white-noise testing procedure to estimate the dimension of the factor matrix. Asymptotic properties of the proposed method are established as the dimensions and sample size go to infinity. Simulated and real examples are used to assess the performance of the proposed method. We also compared the proposed method with some existing ones in the literature concerning the forecasting ability of the identified factors and found that the proposed approach fares well in out-of-sample forecasting.


title: Episodic Logit-Q Dynamics for Efficient Learning in Stochastic Teams

abstract: We present new learning dynamics combining (independent) log-linear learning and value iteration for stochastic games within the auxiliary stage game framework. The dynamics presented provably attain the efficient equilibrium (also known as optimal equilibrium) in identical-interest stochastic games, beyond the recent concentration of progress on provable convergence to some (possibly inefficient) equilibrium. The dynamics are also independent in the sense that agents take actions consistent with their local viewpoint to a reasonable extent rather than seeking equilibrium. These aspects can be of practical interest in the control applications of intelligent and autonomous systems. The key challenges are the convergence to an inefficient equilibrium and the non-stationarity of the environment from a single agent's viewpoint due to the adaptation of others. The log-linear update plays an important role in addressing the former. We address the latter through the play-in-episodes scheme in which the agents update their Q-function estimates only at the end of the episodes.


title: Efficient Training for Visual Tracking with Deformable Transformer

abstract: Recent Transformer-based visual tracking models have showcased superior performance. Nevertheless, prior works have been resource-intensive, requiring prolonged GPU training hours and incurring high GFLOPs during inference due to inefficient training methods and convolution-based target heads. This intensive resource use renders them unsuitable for real-world applications. In this paper, we present DETRack, a streamlined end-to-end visual object tracking framework. Our framework utilizes an efficient encoder-decoder structure where the deformable transformer decoder acting as a target head, achieves higher sparsity than traditional convolution heads, resulting in decreased GFLOPs. For training, we introduce a novel one-to-many label assignment and an auxiliary denoising technique, significantly accelerating model's convergence. Comprehensive experiments affirm the effectiveness and efficiency of our proposed method. For instance, DETRack achieves 72.9% AO on challenging GOT-10k benchmarks using only 20% of the training epochs required by the baseline, and runs with lower GFLOPs than all the transformer-based trackers.


title: Meshing Deforming Spacetime for Visualization and Analysis

abstract: We introduce a novel paradigm that simplifies the visualization and analysis of data that have a spatially/temporally varying frame of reference. The primary application driver is tokamak fusion plasma, where science variables (e.g., density and temperature) are interpolated in a complex magnetic field-line-following coordinate system. We also see a similar challenge in rotational fluid mechanics, cosmology, and Lagrangian ocean analysis; such physics implies a deforming spacetime and induces high complexity in volume rendering, isosurfacing, and feature tracking, among various visualization tasks. Without loss of generality, this paper proposes an algorithm to build a simplicial complex -- a tetrahedral mesh, for the deforming 3D spacetime derived from two 2D triangular meshes representing consecutive timesteps. Without introducing new nodes, the resulting mesh fills the gap between 2D meshes with tetrahedral cells while satisfying given constraints on how nodes connect between the two input meshes. In the algorithm we first divide the spacetime into smaller partitions to reduce complexity based on the input geometries and constraints. We then independently search for a feasible tessellation of each partition taking nonconvexity into consideration. We demonstrate multiple use cases for a simplified visualization analysis scheme with a synthetic case and fusion plasma applications.


title: Analysis of Complexity Factor for Charged Dissipative Configuration in Modified Gravity

abstract: In this paper, we determine the electromagnetic effects on the complexity factor of radiating anisotropic cylindrical geometry in the background of $f(G,\mathcal{T})$ theory. The self-gravitating objects possessing inhomogeneous energy density, pressure anisotropy, heat flux, charge and correction terms appear to encounter the complexity producing phase. Herrera's orthogonal splitting method is used to identify the scalar functions in which the factor that incorporates all of the fundamental aspects of the system is assumed to be the complexity factor. We also look at the evolution of charged cylindrical matter source by selecting homologous pattern as the most basic evolutionary mode. In addition to this, homologous and complexity free conditions are utilized to address dissipative as well as non-dissipative scenarios. The complexity producing parameters throughout the evolutionary process are assessed at the end. It is concluded that the complexity of the astrophysical entities is elevated due to the contribution of charge and modified terms of this theory.


title: Asymptotic periodic solutions of differential equations with infinite delay

abstract: In this paper, by using the spectral theory of functions and properties of evolution semigroups, we establish conditions on the existence, and uniqueness of asymptotic 1-periodic solutions to a class of abstract differential equations with infinite delay of the form \begin{equation*} \frac{d u(t)}{d t}=A u(t)+L(u_t)+f(t) \end{equation*} where $A$ is the generator of a strongly continuous semigroup of linear operators, $L$ is a bounded linear operator from a phase space $\mathscr{B}$ to a Banach space $X$, $u_t$ is an element of $\mathscr{B}$ which is defined as $u_t(\theta)=u(t+\theta)$ for $\theta \leq 0$ and $f$ is asymptotic 1-periodic in the sense that $\lim\limits_{t \rightarrow \infty}(f(t+1)-$ $f(t))=0$. A Lotka-Volterra model with diffusion and infinite delay is considered to illustrate our results.


title: Vector-Processing for Mobile Devices: Benchmark and Analysis

abstract: Vector processing has become commonplace in today's CPU microarchitectures. Vector instructions improve performance and energy which is crucial for resource-constraint mobile devices. The research community currently lacks a comprehensive benchmark suite to study the benefits of vector processing for mobile devices. This paper presents Swan-an extensive vector processing benchmark suite for mobile applications. Swan consists of a diverse set of data-parallel workloads from four commonly used mobile applications: operating system, web browser, audio/video messaging application, and PDF rendering engine. Using Swan benchmark suite, we conduct a detailed analysis of the performance, power, and energy consumption of vectorized workloads, and show that: (a) Vectorized kernels increase the pressure on cache hierarchy due to the higher rate of memory requests. (b) Vector processing is more beneficial for workloads with lower precision operations and higher cache hit rates. (c) Limited Instruction-Level Parallelism and strided memory accesses to multi-dimensional data structures prevent vector processing benefits from scaling with more SIMD functional units and wider registers. (d) Despite lower computation throughput than domain-specific accelerators, such as GPU, vector processing outperforms these accelerators for kernels with lower operation counts. Finally, we show five common computation patterns in mobile data-parallel workloads that dominate the execution time.


title: Improving Image Classification of Knee Radiographs: An Automated Image Labeling Approach

abstract: Large numbers of radiographic images are available in knee radiology practices which could be used for training of deep learning models for diagnosis of knee abnormalities. However, those images do not typically contain readily available labels due to limitations of human annotations. The purpose of our study was to develop an automated labeling approach that improves the image classification model to distinguish normal knee images from those with abnormalities or prior arthroplasty. The automated labeler was trained on a small set of labeled data to automatically label a much larger set of unlabeled data, further improving the image classification performance for knee radiographic diagnosis. We developed our approach using 7,382 patients and validated it on a separate set of 637 patients. The final image classification model, trained using both manually labeled and pseudo-labeled data, had the higher weighted average AUC (WAUC: 0.903) value and higher AUC-ROC values among all classes (normal AUC-ROC: 0.894; abnormal AUC-ROC: 0.896, arthroplasty AUC-ROC: 0.990) compared to the baseline model (WAUC=0.857; normal AUC-ROC: 0.842; abnormal AUC-ROC: 0.848, arthroplasty AUC-ROC: 0.987), trained using only manually labeled data. DeLong tests show that the improvement is significant on normal (p-value<0.002) and abnormal (p-value<0.001) images. Our findings demonstrated that the proposed automated labeling approach significantly improves the performance of image classification for radiographic knee diagnosis, allowing for facilitating patient care and curation of large knee datasets.


title: Curvatures of metric Jordan algebras

abstract: In this paper, we investigate metric Jordan algebras, and follow the lines of the paper (J. Milnor: Curvatures of left invariant metrics on Lie groups. Adv. Math. (1976)). Firstly, we define the Jordan-Levi-Civita connection, then we show that every metric Jordan algebra admits a unique Jordan-Levi-Civita connection. Secondly, using the Jordan-Levi-Civita connection, we introduce three natural curvature tensors on metric Jordan algebras, and obtain the corresponding curvature formulas. Thirdly, based on these curvature formulas, we prove that every formally real Jordan algebra admits both a metric of non-positive Jordan curvature, and a Jordan-Einstein metric of negative Jordan scalar curvature. Besides, for nilpotent Jordan algebras, we prove that they admit no Jordan-Einstein metrics.


title: On magnetic field screening and trapping in hydrogen-rich high-temperature superconductors: unpulling the wool over readers' eyes

abstract: In Nat Commun 13, 3194 (2022) [1], Minkov et al. reported magnetization measurements on hydrides under pressure that claimed to find a diamagnetic signal below a critical temperature demonstrating the existence of superconductivity. Here we present an analysis of raw data recently released [2] by the authors of [1] that shows that the measured data do not support their claim that the samples exhibit a diamagnetic response indicative of superconductivity. We also point out that Ref. [1] in its original form omitted essential information that resulted in presentation of a distorted picture of reality, and that important information on transformations performed on measured data remains undisclosed. Our analysis also calls into question the conclusions of Minkov et al's trapped flux experiments reported in Nat. Phys. (2023) [3] as supporting superconductivity in these materials. This work together with earlier work implies that there is no magnetic evidence for the existence of high-temperature superconductivity in hydrides under pressure.


title: Functions on the moduli space of projective structures on complex curves

abstract: We investigate the moduli space ${\mathcal P}_g$ of smooth complex projective curves of genus $g$ equipped with a projective structure. When $g\, \geq\, 3$, it is shown that this moduli space ${\mathcal P}_g$ does not admit any nonconstant algebraic function. This is in contrast with the case of ${\mathcal P}_2$ which is known to be an affine variety.


title: Diffusion-EDFs: Bi-equivariant Denoising Generative Modeling on SE(3) for Visual Robotic Manipulation

abstract: Diffusion generative modeling has become a promising approach for learning robotic manipulation tasks from stochastic human demonstrations. In this paper, we present Diffusion-EDFs, a novel SE(3)-equivariant diffusion-based approach for visual robotic manipulation tasks. We show that our proposed method achieves remarkable data efficiency, requiring only 5 to 10 human demonstrations for effective end-to-end training in less than an hour. Furthermore, our benchmark experiments demonstrate that our approach has superior generalizability and robustness compared to state-of-the-art methods. Lastly, we validate our methods with real hardware experiments. Project Website: https://sites.google.com/view/diffusion-edfs/home


title: Dynamical relaxation behavior of extended XY chain with gapless phase following a quantum quench

abstract: We investigate the dynamical relaxation behavior of the two-point correlation in extended XY models with a gapless phase after quenches from various initial states. Specifically, we study the XY chain with gapless phase induced by the additional interactions: Dzyaloshinskii-Moriya interaction and XZY-YZX type of three-site interaction. When quenching from the gapped phase, we observe that the additional interactions have no effect on the relaxation behavior. The relaxation behavior is $\delta C_{mn}(t)\sim t^{-3/2}$ and $\sim t^{-1/2}$ for the quench to the commensurate phase and the incommensurate phase, respectively. However, when quenching from the gapless phase, we demonstrate that the scaling behavior of $\delta C_{mn}(t)$ is changed to $\sim t^{-1}$ for the quench to the commensurate phase, and the decay of $\delta C_{mn}(t)$ follows $\sim t^{-1}$ or $\sim t^{-1/2}$ for the quench to the incommensurate phase depending on the parameters of pre-quench Hamiltonian. We also establish the dynamical phase diagrams based on the dynamical relaxation behavior of $\delta C_{mn}(t)$ in the extended XY models.


title: Stacked Intelligent Metasurfaces for Multiuser Downlink Beamforming in the Wave Domain

abstract: Intelligent metasurface has recently emerged as a promising technology that enables the customization of wireless environments by harnessing large numbers of inexpensive configurable scattering elements. However, prior studies have predominantly focused on single-layer metasurfaces, which have limitations in terms of the number of beam patterns they can steer accurately due to practical hardware restrictions. In contrast, this paper introduces a novel stacked intelligent metasurface (SIM) design. Specifically, we investigate the integration of SIM into the downlink of a multiuser multiple-input single-output (MISO) communication system, where a SIM, consisting of a multilayer metasurface structure, is deployed at the base station (BS) to facilitate transmit beamforming in the electromagnetic wave domain. This eliminates the need for conventional digital beamforming and high-resolution digital-to-analog converters at the BS. To this end, we formulate an optimization problem that aims to maximize the sum rate of all user equipments by jointly optimizing the transmit power allocation at the BS and the wave-based beamforming at the SIM, subject to both the transmit power budget and discrete phase shift constraints. Furthermore, we propose a computationally efficient algorithm for solving this joint optimization problem and elaborate on the potential benefits of employing SIM in wireless networks. Finally, the numerical results corroborate the effectiveness of the proposed SIM-enabled wave-based beamforming design and evaluate the performance improvement achieved by the proposed algorithm compared to various benchmark schemes. It is demonstrated that considering the same number of transmit antennas, the proposed SIM-based system achieves about 200\% improvement in terms of sum rate compared to conventional MISO systems.


title: High resolution spectroscopy of thulium atoms implanted in solid noble gas crystals

abstract: Optically active defects in solid-state systems have many applications in quantum information and sensing. However, unlike free atoms, which have fixed optical transition frequencies, the inhomogeneous broadening of the transitions in solid-state environments limit their use as identical scatterers for such applications. Here we show that crystals of argon and neon prepared in a closed-cycle cryostat doped with thulium atoms at cryogenic temperatures are an exception. High resolution absorption and emission spectroscopy show that the 1140 nm magnetic dipole transition is split into multiple components. The origin of this splitting is likely a combination of different classes of trapping sites, crystal field effects within each site, and hyperfine interactions. The individual lines have ensemble widths as small as 0.6 GHz, which temperature dependence and pump-probe spectroscopy indicate is likely a homogeneous effect, suggesting inhomogeneity is well below the GHz scale.


title: Effective Description of the Quantum Damped Harmonic Oscillator: Revisiting the Bateman Dual System

abstract: In this work, we present a quantization scheme for the damped harmonic oscillator (QDHO) using a framework known as momentous quantum mechanics. Our method relies on a semiclassical dynamical system derived from an extended classical Hamiltonian, where the phase-space variables are given by expectation values of observables and quantum dispersions. The significance of our study lies in its potential to serve as a foundational basis for the effective description of open quantum systems (OQS), and the description of dissipation in quantum mechanics. By employing the Bateman's dual model as the initial classical framework, and undergoing quantization, we demonstrate that our description aligns exceptionally well with the well-established Lindblad master equation. Furthermore, our approach exhibits robustness and broad applicability in the context of OQS, rendering it a versatile and powerful tool for studying various phenomena. We intend to contribute to the advancement of quantum physics by providing an effective means of quantizing the damped harmonic oscillator and shedding light on the behavior of open quantum systems.


title: Anisotropic power-law inflation for models of non-canonical scalar fields non-minimally coupled to a two-form field

abstract: In this paper, we investigate the validity of the so-called cosmic no-hair conjecture in the framework of anisotropic inflation models of non-canonical scalar fields non-minimally coupled to a two-form field. In particular, we focus on two typical {\it k}-inflation and Dirac-Born-Infeld inflation models, in which we find a set of exact anisotropic power-law inflationary solutions. Interestingly, these solutions are shown to be stable and attractive during an inflationary phase using the dynamical system analysis. The obtained results indicate that the non-minimal coupling between the scalar and two-form fields acts as a non-trivial source of generating stable spatial anisotropies during the inflationary phase and therefore violates the prediction of the cosmic no-hair conjecture, even when the scalar field is of non-canonical forms. In connection with the Planck 2018 data, tensor-to-scalar ratios of these anisotropic solutions are investigated. As a result, it appears that the tensor-to-scalar ratio of the anisotropic power-law inflationary solution of {\it k}-inflation model turns out to be more highly consistent with the Planck 2018 data than that of Dirac-Born-Infeld model.


title: A Joint Study of Phrase Grounding and Task Performance in Vision and Language Models

abstract: Key to tasks that require reasoning about natural language in visual contexts is grounding words and phrases to image regions. However, observing this grounding in contemporary models is complex, even if it is generally expected to take place if the task is addressed in a way that is conductive to generalization. We propose a framework to jointly study task performance and phrase grounding, and propose three benchmarks to study the relation between the two. Our results show that contemporary models demonstrate inconsistency between their ability to ground phrases and solve tasks. We show how this can be addressed through brute-force training on ground phrasing annotations, and analyze the dynamics it creates. Code and at available at https://github.com/lil-lab/phrase_grounding.


title: Hy-DeFake: Hypergraph Neural Networks for Detecting Fake News in Online Social Networks

abstract: Nowadays social media is the primary platform for people to obtain news and share information. Combating online fake news has become an urgent task to reduce the damage it causes to society. Existing methods typically improve their fake news detection performances by utilizing textual auxiliary information (such as relevant retweets and comments) or simple structural information (i.e., graph construction). However, these methods face two challenges. First, an increasing number of users tend to directly forward the source news without adding comments, resulting in a lack of textual auxiliary information. Second, simple graphs are unable to extract complex relations beyond pairwise association in a social context. Given that real-world social networks are intricate and involve high-order relations, we argue that exploring beyond pairwise relations between news and users is crucial for fake news detection. Therefore, we propose constructing an attributed hypergraph to represent non-textual and high-order relations for user participation in news spreading. We also introduce a hypergraph neural network-based method called Hy-DeFake to tackle the challenges. Our proposed method captures semantic information from news content, credibility information from involved users, and high-order correlations between news and users to learn distinctive embeddings for fake news detection. The superiority of Hy-DeFake is demonstrated through experiments conducted on four widely-used datasets, and it is compared against eight baselines using four evaluation metrics.


title: On the $ICPC$-property of finite subgroups

abstract: Let $G$ be a finite group and $A$ be a subgroup of $G$. Then $A$ is called a $p$-$CAP$-subgroup of $G$, if $A$ covers or avoids every $pd$-chief factor of $G$. A subgroup $H$ of $G$ is said to be an $ICPC$-subgroup of $G$, if $H \cap [H,G] \leq H_{pcG}$, where $H_{pcG}$ is a $p$-$CAP$-subgroup of $G$ contained in $H$. In this paper, we investigate the structure of $G$ under the assumption that certain subgroups are $ICPC$-subgroups of $G$, and characterization of $p$-nilpotency and other results are obtained.


title: Development of a self-consistent thermodynamically optimized database along with phase transition experiments in Ni-Mn-Ga system for magnetocaloric applications

abstract: Magnetocaloric materials have received significant attention of research community as they can minimize the use of harmful gases (CFCs, HFCs) and render eco-friendly refrigeration. Heusler alloys (Ni2MnGa) are known for their magnetocaloric effects, which make them useful as energy efficient and eco-friendly refrigerating materials. Magnetocaloric properties significantly depend on the composition of these alloys. Ni-Mn-Ga is one of the interesting Heusler systems, which exhibits magnetocaloric properties. In the present study, we performed the thermodynamic optimization of two sub binaries of the Ni-Mn-Ga system: Mn-Ga and Ni-Ga, using CALPHAD approach. A Modified Quasichemical Model (MQM) was used to describe the thermodynamic properties of the liquid solutions in both the binaries. Both the binaries were combined with Mn-Ni to develop a self-consistent thermodynamic database for Ni-Mn-Ga. In order to resolve the existing experimental discrepancies in the Mn-Ga and Ni-Ga system, few alloy compositions were prepared and analyzed using differential thermal analysis. Finally, the developed thermodynamic database was used to calculate the ternary isothermal section of the Ni-Mn-Ga (Heusler alloy) system at 1073 K with a proposed phase region for magnetocaloric applications.


title: Correlated BCS wavefunction approach to unconventional superconductors

abstract: We propose a modified BCS wavefunction as the ground state of a correlated superconductor with the correlation specified between $k$ and $-k$ electrons in the reciprocal space. Owing to this correlation, low-energy excitations are not conventional BCS Bogoliubov quasiparticles. They display at least four poles in the Green's function and their particle-hole weights in the tunneling and photon-emission spectrum become asymmetric. The superfluid density or superfluid stiffness also deviates from the BCS predictions with finite paramagnetic terms inside the total diamagnetic response. Moreover, a $d$-wave correlated pairing state becomes robust against weak disorders. Hence, this state can explain many mysterious features observed in unconventional superconductors like cuprates.


title: Kohn-Rossi cohomology of spherical CR manifolds

abstract: We prove some vanishing theorems for the Kohn-Rossi cohomology of some spherical CR manifolds. To this end, we use a canonical contact form defined via the Patterson-Sullivan measure and Weitzenb\"{o}ck-type formulae for the Kohn Laplacian. We also see that our results are optimal in some cases.


title: Indo-Belgian co-operation in Astrophysics: From inception to future prospects

abstract: In this manuscript, an overview of the accomplishments of the Indo-Belgian co-operation is presented in the current era of multi-wavelength global astronomy. About two decades ago, in the field of astronomy and astrophysics, academicians from India and Belgium embarked on formal interaction and collaboration. The Belgo-Indian Network for Astronomy & astrophysics (BINA), initiated in 2014, has been very productive and its activities have set a landmark for Indo-Belgian co-operation. Under this program, three international workshops were conducted. Several exchange work visits were also made among the astronomers of the two 13countries. Since the necessary foundation work has already been done, continuation of the BINA activities in future is strongly recommended.


title: Quantile and pseudo-Huber Tensor Decomposition

abstract: This paper studies the computational and statistical aspects of quantile and pseudo-Huber tensor decomposition. The integrated investigation of computational and statistical issues of robust tensor decomposition poses challenges due to the non-smooth loss functions. We propose a projected sub-gradient descent algorithm for tensor decomposition, equipped with either the pseudo-Huber loss or the quantile loss. In the presence of both heavy-tailed noise and Huber's contamination error, we demonstrate that our algorithm exhibits a so-called phenomenon of two-phase convergence with a carefully chosen step size schedule. The algorithm converges linearly and delivers an estimator that is statistically optimal with respect to both the heavy-tailed noise and arbitrary corruptions. Interestingly, our results achieve the first minimax optimal rates under Huber's contamination model for noisy tensor decomposition. Compared with existing literature, quantile tensor decomposition removes the requirement of specifying a sparsity level in advance, making it more flexible for practical use. We also demonstrate the effectiveness of our algorithms in the presence of missing values. Our methods are subsequently applied to the food balance dataset and the international trade flow dataset, both of which yield intriguing findings.


title: Deciding some displayable modal logics

abstract: In this paper we use display calculus to show the decidability for normal modal logic K and some of its extensions.


title: The Rhodes semilattice of a biased graph

abstract: We reinterpret the Rhodes semilattices $R_n(\mathfrak{G})$ of a group $\mathfrak{G}$ in terms of gain graphs and generalize them to all gain graphs, both as sets of partition-potential pairs and as sets of subgraphs, and for the latter, further to biased graphs. Based on this we propose four different natural lattices in which the Rhodes semilattices and its generalizations are order ideals.


title: Magic angle (in)stability and mobility edges in disordered Chern insulators

abstract: Why do experiments only exhibit one magic angle if the chiral limit of the Bistritzer-MacDonald Hamiltonian suggest a plethora of them? - In this article, we investigate the remarkable stability of the first magic angle in contrast to higher (smaller) magic angles. More precisely, we examine the influence of disorder on magic angles and the Bistritzer-MacDonald Hamiltonian. We establish the existence of a mobility edge near the energy of the flat band for small disorder. We also show that the mobility edges persist even when all global Chern numbers become zero, leveraging the $C_{2z}T$ symmetry of the system to demonstrate non-trivial sublattice transport. This effect is robust even beyond the chiral limit and in the vicinity of perfect magic angles, as is expected from experiments.

categories: math-ph cond-mat.dis-nn cond-mat.mes-hall cond-mat.str-el math.AP math.MP


title: Gene-induced Multimodal Pre-training for Image-omic Classification

abstract: Histology analysis of the tumor micro-environment integrated with genomic assays is the gold standard for most cancers in modern medicine. This paper proposes a Gene-induced Multimodal Pre-training (GiMP) framework, which jointly incorporates genomics and Whole Slide Images (WSIs) for classification tasks. Our work aims at dealing with the main challenges of multi-modality image-omic classification w.r.t. (1) the patient-level feature extraction difficulties from gigapixel WSIs and tens of thousands of genes, and (2) effective fusion considering high-order relevance modeling. Concretely, we first propose a group multi-head self-attention gene encoder to capture global structured features in gene expression cohorts. We design a masked patch modeling paradigm (MPM) to capture the latent pathological characteristics of different tissues. The mask strategy is randomly masking a fixed-length contiguous subsequence of patch embeddings of a WSI. Finally, we combine the classification tokens of paired modalities and propose a triplet learning module to learn high-order relevance and discriminative patient-level information.After pre-training, a simple fine-tuning can be adopted to obtain the classification results. Experimental results on the TCGA dataset show the superiority of our network architectures and our pre-training framework, achieving 99.47% in accuracy for image-omic classification. The code is publicly available at https://github.com/huangwudiduan/GIMP.


title: Spatial extent of molecular gas, dust, and stars in massive galaxies at z=2-2.5 determined with ALMA and JWST

abstract: We present the results of 0.6"-resolution observations of CO J=3-2 line emission in 10 massive star-forming galaxies at z=2.2-2.5 with the Atacama Large Millimeter/submillimeter Array (ALMA). We compare the spatial extent of molecular gas with those of dust and stars, traced by the 870 $\mu$m and 4.4 $\mu$m continuum emissions, respectively. The average effective radius of the CO emission is 1.75$\pm$0.34 kpc, which is about 60 percent larger than that of the 870 $\mu$m emission and is comparable with that of the 4.4 $\mu$m emission. Utilizing the best-fit parametric models, we derive the radial gradients of the specific star-formation rate (sSFR), gas depletion timescale, and gas-mass fraction within the observed galaxies. We find a more intense star-formation activity with a higher sSFR and a shorter depletion timescale in the inner region than in the outer region. The central starburst may be the primary process for massive galaxies to build up a core. Furthermore, the gas-mass fraction is high, independent of the galactocentric radius in the observed galaxies, suggesting that the galaxies have not begun to quench star formation. Given the shorter gas depletion timescale in the center compared to the outer region, quenching is expected to occur in the center first and then propagate outward. We may be witnessing the observed galaxies in the formation phase of a core prior to the forthcoming phase of star formation propagating outward.


title: Resistance distance in $k$-coalescence of certain graphs

abstract: Any graph can be considered as a network of resistors, each of which has a resistance of $1 \Omega.$ The resistance distance $r_{ij}$ between a pair of vertices $i$ and $j$ in a graph is defined as the effective resistance between $i$ and $j$. This article deals with the resistance distance in the $k$-coalescence of complete graphs. We also present its results in connection with the Kemeny's constant, Kirchhoff index, additive degree-Kirchhoff index, multiplicative degree-Kirchhoff index and mixed degree-Kirchhoff index. Moreover, we obtain the resistance distance in the $k$-coalescence of a complete graph with particular graphs. As an application, we provide the resistance distance of certain graphs such as the vertex coalescence of a complete bipartite graph with a complete graph, a complete bipartite graph with a star graph, the windmill graph, pineapple graph, etc.


title: Certifying LLM Safety against Adversarial Prompting

abstract: Large language models (LLMs) are vulnerable to adversarial attacks that add malicious tokens to an input prompt to bypass the safety guardrails of an LLM and cause it to produce harmful content. In this work, we introduce erase-and-check, the first framework for defending against adversarial prompts with certifiable safety guarantees. Given a prompt, our procedure erases tokens individually and inspects the resulting subsequences using a safety filter. Our safety certificate guarantees that harmful prompts are not mislabeled as safe due to an adversarial attack up to a certain size. We implement the safety filter in two ways, using Llama 2 and DistilBERT, and compare the performance of erase-and-check for the two cases. We defend against three attack modes: i) adversarial suffix, where an adversarial sequence is appended at the end of a harmful prompt; ii) adversarial insertion, where the adversarial sequence is inserted anywhere in the middle of the prompt; and iii) adversarial infusion, where adversarial tokens are inserted at arbitrary positions in the prompt, not necessarily as a contiguous block. Our experimental results demonstrate that this procedure can obtain strong certified safety guarantees on harmful prompts while maintaining good empirical performance on safe prompts. Additionally, we propose three efficient empirical defenses: i) RandEC, a randomized subsampling version of erase-and-check; ii) GreedyEC, which greedily erases tokens that maximize the softmax score of the harmful class; and iii) GradEC, which uses gradient information to optimize tokens to erase. We demonstrate their effectiveness against adversarial prompts generated by the Greedy Coordinate Gradient (GCG) attack algorithm. The code for our experiments is available at https://github.com/aounon/certified-llm-safety.


title: HAE-RAE Bench: Evaluation of Korean Knowledge in Language Models

abstract: Large language models (LLMs) trained on massive corpora demonstrate impressive capabilities in a wide range of tasks. While there are ongoing efforts to adapt these models to languages beyond English, the attention given to their evaluation methodologies remains limited. Current multilingual benchmarks often rely on back translations or re-implementations of English tests, limiting their capacity to capture unique cultural and linguistic nuances. To bridge this gap for the Korean language, we introduce the HAE-RAE Bench, a dataset curated to challenge models lacking Korean cultural and contextual depth. The dataset encompasses six downstream tasks across four domains: vocabulary, history, general knowledge, and reading comprehension. Unlike traditional evaluation suites focused on token and sequence classification or mathematical and logical reasoning, the HAE-RAE Bench emphasizes a model's aptitude for recalling Korean-specific knowledge and cultural contexts. Comparative analysis with prior Korean benchmarks indicates that the HAE-RAE Bench presents a greater challenge to non-Korean models by disturbing abilities and knowledge learned from English being transferred.


title: Navigating the IoT landscape: Unraveling forensics, security issues, applications, research challenges, and future

abstract: Given the exponential expansion of the internet, the possibilities of security attacks and cybercrimes have increased accordingly. However, poorly implemented security mechanisms in the Internet of Things (IoT) devices make them susceptible to cyberattacks, which can directly affect users. IoT forensics is thus needed for investigating and mitigating such attacks. While many works have examined IoT applications and challenges, only a few have focused on both the forensic and security issues in IoT. Therefore, this paper reviews forensic and security issues associated with IoT in different fields. Future prospects and challenges in IoT research and development are also highlighted. As demonstrated in the literature, most IoT devices are vulnerable to attacks due to a lack of standardized security measures. Unauthorized users could get access, compromise data, and even benefit from control of critical infrastructure. To fulfil the security-conscious needs of consumers, IoT can be used to develop a smart home system by designing a FLIP-based system that is highly scalable and adaptable. Utilizing a blockchain-based authentication mechanism with a multi-chain structure can provide additional security protection between different trust domains. Deep learning can be utilized to develop a network forensics framework with a high-performing system for detecting and tracking cyberattack incidents. Moreover, researchers should consider limiting the amount of data created and delivered when using big data to develop IoT-based smart systems. The findings of this review will stimulate academics to seek potential solutions for the identified issues, thereby advancing the IoT field.


title: Cooling down and waking up: feedback cooling switches an unconscious neural computer into a conscious quantum computer

abstract: This paper sets out a theory of how feedback cooling in the brain switches on consciousness. It explains how cooling reduces thermal noise to the point where macroscale quantum phenomena - crucially Bose-Einstein condensation and long-range coherence - can operate at body temperature. It takes the core idea from Stapp that mind and brain interact via some sort of oscillator and then focuses on a likely candidate: neuronal arrays identified by Stapp as cortical minicolumns. Feedback cooling allows amplifiers to act as refrigerators, and when applied to minicolumns it is suggested that the units perform like quantum accelerators, solid-state devices devised to supercharge standard computers. When the accelerator is idle, as in sleep, we have a neural computer operating unconsciously, but when feedback cooling is activated by thalamocortical loops, it produces a Bose-Einstein condensate, quantum computation, and consciousness. The model explains how macroscale quantum phenomena can operate in a warm and noisy brain, how and why consciousness evolved, and gives insight into puzzling unconscious states like sleepwalking. The model is testable, predicting that cold states in the brain are detectable by magnetic resonance thermometry.


title: Unveiling extra dimensions through the shadow of a dark star

abstract: The shadow of a black hole or a collapsing star is of great importance as we can extract important properties of the object and of the surrounding spacetime from the shadow profile. It can also be used to distinguish different types of black holes and ultra compact objects. In this work, we have analytically calculated the shadow of a higher dimensional collapsing dark star, described by higher dimensional Vaidya metric, by choosing a slightly generalized version of Misner Sharp mass function. We have also numerically investigated the properties of the shadows of the black holes and the collapsing stars for a slightly more general mass function. Examining the potential influence of extra spatial dimensions on the shadow, we have explored the possibility of distinguishing higher dimensions from the standard four dimensional spacetime.


title: Improved Outlier Robust Seeding for k-means

abstract: The $k$-means is a popular clustering objective, although it is inherently non-robust and sensitive to outliers. Its popular seeding or initialization called $k$-means++ uses $D^{2}$ sampling and comes with a provable $O(\log k)$ approximation guarantee \cite{AV2007}. However, in the presence of adversarial noise or outliers, $D^{2}$ sampling is more likely to pick centers from distant outliers instead of inlier clusters, and therefore its approximation guarantees \textit{w.r.t.} $k$-means solution on inliers, does not hold. Assuming that the outliers constitute a constant fraction of the given data, we propose a simple variant in the $D^2$ sampling distribution, which makes it robust to the outliers. Our algorithm runs in $O(ndk)$ time, outputs $O(k)$ clusters, discards marginally more points than the optimal number of outliers, and comes with a provable $O(1)$ approximation guarantee. Our algorithm can also be modified to output exactly $k$ clusters instead of $O(k)$ clusters, while keeping its running time linear in $n$ and $d$. This is an improvement over previous results for robust $k$-means based on LP relaxation and rounding \cite{Charikar}, \cite{KrishnaswamyLS18} and \textit{robust $k$-means++} \cite{DeshpandeKP20}. Our empirical results show the advantage of our algorithm over $k$-means++~\cite{AV2007}, uniform random seeding, greedy sampling for $k$ means~\cite{tkmeanspp}, and robust $k$-means++~\cite{DeshpandeKP20}, on standard real-world and synthetic data sets used in previous work. Our proposal is easily amenable to scalable, faster, parallel implementations of $k$-means++ \cite{Bahmani,BachemL017} and is of independent interest for coreset constructions in the presence of outliers \cite{feldman2007ptas,langberg2010universal,feldman2011unified}.


title: Addressing Imperfect Symmetry: a Novel Symmetry-Learning Actor-Critic Extension

abstract: Symmetry, a fundamental concept to understand our environment, often oversimplifies reality from a mathematical perspective. Humans are a prime example, deviating from perfect symmetry in terms of appearance and cognitive biases (e.g. having a dominant hand). Nevertheless, our brain can easily overcome these imperfections and efficiently adapt to symmetrical tasks. The driving motivation behind this work lies in capturing this ability through reinforcement learning. To this end, we introduce Adaptive Symmetry Learning (ASL) $\unicode{x2013}$ a model-minimization actor-critic extension that addresses incomplete or inexact symmetry descriptions by adapting itself during the learning process. ASL consists of a symmetry fitting component and a modular loss function that enforces a common symmetric relation across all states while adapting to the learned policy. The performance of ASL is compared to existing symmetry-enhanced methods in a case study involving a four-legged ant model for multidirectional locomotion tasks. The results demonstrate that ASL is capable of recovering from large perturbations and generalizing knowledge to hidden symmetric states. It achieves comparable or better performance than alternative methods in most scenarios, making it a valuable approach for leveraging model symmetry while compensating for inherent perturbations.


title: Unveiling the frontiers of deep learning: innovations shaping diverse domains

abstract: Deep learning (DL) enables the development of computer models that are capable of learning, visualizing, optimizing, refining, and predicting data. In recent years, DL has been applied in a range of fields, including audio-visual data processing, agriculture, transportation prediction, natural language, biomedicine, disaster management, bioinformatics, drug design, genomics, face recognition, and ecology. To explore the current state of deep learning, it is necessary to investigate the latest developments and applications of deep learning in these disciplines. However, the literature is lacking in exploring the applications of deep learning in all potential sectors. This paper thus extensively investigates the potential applications of deep learning across all major fields of study as well as the associated benefits and challenges. As evidenced in the literature, DL exhibits accuracy in prediction and analysis, makes it a powerful computational tool, and has the ability to articulate itself and optimize, making it effective in processing data with no prior training. Given its independence from training data, deep learning necessitates massive amounts of data for effective analysis and processing, much like data volume. To handle the challenge of compiling huge amounts of medical, scientific, healthcare, and environmental data for use in deep learning, gated architectures like LSTMs and GRUs can be utilized. For multimodal learning, shared neurons in the neural network for all activities and specialized neurons for particular tasks are necessary.


title: SlAction: Non-intrusive, Lightweight Obstructive Sleep Apnea Detection using Infrared Video

abstract: Obstructive sleep apnea (OSA) is a prevalent sleep disorder affecting approximately one billion people world-wide. The current gold standard for diagnosing OSA, Polysomnography (PSG), involves an overnight hospital stay with multiple attached sensors, leading to potential inaccuracies due to the first-night effect. To address this, we present SlAction, a non-intrusive OSA detection system for daily sleep environments using infrared videos. Recognizing that sleep videos exhibit minimal motion, this work investigates the fundamental question: "Are respiratory events adequately reflected in human motions during sleep?" Analyzing the largest sleep video dataset of 5,098 hours, we establish correlations between OSA events and human motions during sleep. Our approach uses a low frame rate (2.5 FPS), a large size (60 seconds) and step (30 seconds) for sliding window analysis to capture slow and long-term motions related to OSA. Furthermore, we utilize a lightweight deep neural network for resource-constrained devices, ensuring all video streams are processed locally without compromising privacy. Evaluations show that SlAction achieves an average F1 score of 87.6% in detecting OSA across various environments. Implementing SlAction on NVIDIA Jetson Nano enables real-time inference (~3 seconds for a 60-second video clip), highlighting its potential for early detection and personalized treatment of OSA.


title: Atomic-scale observation of localized phonons at FeSe/SrTiO3 interface

abstract: In single unit-cell FeSe grown on SrTiO3, the superconductivity transition temperature features a significant enhancement. Local phonon modes at the interface associated with electron-phonon coupling may play an important role in the interface-induced enhancement. However, such phonon modes have eluded direct experimental observations. Indeed, the complicated atomic structure of the interface brings challenges to obtain the accurate structure-phonon relation knowledge from either experiment or theory, thus hindering our understanding of the enhancement mechanism. Here, we achieve direct characterizations of atomic structure and phonon modes at the FeSe/SrTiO3 interface with atomically resolved imaging and electron energy loss spectroscopy in a scanning transmission electron microscope. We find several phonon modes highly localized (~1.3 nm) at the unique double layer Ti-O termination at the interface, one of which (~ 83 meV) engages in strong interactions with the electrons in FeSe based on ab initio calculations. The electron-phonon coupling strength for such a localized interface phonon with short-range interactions is comparable to that of Fuchs-Kliewer (FK) phonon mode with long-rang interactions. Thus, our atomic-scale study provides new insights into understanding the origin of superconductivity enhancement at the FeSe/SrTiO3 interface.


title: General Heavy WIMP Nucleon Elastic Scattering

abstract: Heavy WIMP (weakly-interacting-massive-particle) effective field theory is used to compute the WIMP-nucleon scattering rate for general heavy electroweak multiplets through order $m_W/M$, where $m_W$ and $M$ denote the electroweak and WIMP mass scales. The lightest neutral component of such an electroweak multiplet is a candidate dark matter particle, either elementary or composite. Existing computations for certain representations of electroweak $\mathrm{SU(2)}_W\times \mathrm{U(1)}_Y$ reveal a cancellation of amplitudes from different effective operators at leading and subleading orders in $1/M$, yielding small cross sections that are below current dark matter direct detection experimental sensitivities. We extend those computations and consider all low-spin (spin-0, spin-1/2, spin-1, spin-3/2) heavy electroweak multiplets with arbitrary $\mathrm{SU(2)}_W\times \mathrm{U(1)}_Y$ representations and provide benchmark cross section results for dark matter direct detection experiments. For most self-conjugate TeV WIMPs with isospin $\le 3$, the cross sections are below current experimental limits but within reach of next-generation experiments. An exception is the case of pure electroweak doublet, where WIMPs are hidden below the neutrino floor.


title: A Stochastic Fluid Model Approach to the Stationary Distribution of the Maximum Priority Process

abstract: In traditional priority queues, we assume that every customer upon arrival has a fixed, class-dependent priority, and that a customer may not commence service if a customer with a higher priority is present in the queue. However, in situations where a performance target in terms of the tails of the class-dependent waiting time distributions has to be met, such models of priority queueing may not be satisfactory. In fact, there could be situations where high priority classes easily meet their performance target for the maximum waiting time, while lower classes do not. Here, we are interested in the stationary distribution at the times of commencement of service of this maximum priority process. Until now, there has been no explicit expression for this distribution. We construct a mapping of the maximum priority process to a tandem fluid queue, which enables us to find expressions for this stationary distribution. We derive the results for the stationary distribution of the maximum priority process at the times of the commencement of service.


title: Generalized Ces\`{a}ro-like operator from a class of analytic function spaces to analytic Besov spaces

abstract: Let $\mu$ be a finite positive Borel measure on $[0,1)$ and $f(z)=\sum_{n=0}^{\infty}a_{n}z^{n} \in H(\mathbb{D})$. For $0<\alpha<\infty$, the generalized Ces\`aro-like operator $\mathcal{C}_{\mu,\alpha}$ is defined by $$ \mathcal {C}_{\mu,\alpha}(f)(z)=\sum^\infty_{n=0}\left(\mu_n\sum^n_{k=0}\frac{\Gamma(n-k+\alpha)}{\Gamma(\alpha)(n-k)!}a_k\right)z^n, \ z\in \mathbb{D}, $$ where, for $n\geq 0$, $\mu_n$ denotes the $n$-th moment of the measure $\mu$, that is, $\mu_n=\int_{0}^{1} t^{n}d\mu(t)$. For $s>1$, let $X$ be a Banach subspace of $ H(\mathbb{D})$ with $\Lambda^{s}_{\frac{1}{s}}\subset X\subset\mathcal {B}$. In this paper, for $1\leq p <\infty$, we characterize the measure $\mu$ for which $\mathcal{C}_{\mu,\alpha}$ is bounded(or compact) from $X$ into analytic Besov space $B_{p}$.


title: A New Kim's Lemma

abstract: Kim's Lemma is a key ingredient in the theory of forking independence in simple theories. It asserts that if a formula divides, then it divides along every Morley sequence in type of the parameters. Variants of Kim's Lemma have formed the core of the theories of independence in two orthogonal generalizations of simplicity - namely, the classes of NTP2 and NSOP1 theories. We introduce a new variant of Kim's Lemma that simultaneously generalizes the NTP2 and NSOP1 variants. We explore examples and non-examples in which this lemma holds, discuss implications with syntactic properties of theories, and ask several questions.


title: DMKD: Improving Feature-based Knowledge Distillation for Object Detection Via Dual Masking Augmentation

abstract: Recent mainstream masked distillation methods function by reconstructing selectively masked areas of a student network from the feature map of its teacher counterpart. In these methods, the masked regions need to be properly selected, such that reconstructed features encode sufficient discrimination and representation capability like the teacher feature. However, previous masked distillation methods only focus on spatial masking, making the resulting masked areas biased towards spatial importance without encoding informative channel clues. In this study, we devise a Dual Masked Knowledge Distillation (DMKD) framework which can capture both spatially important and channel-wise informative clues for comprehensive masked feature reconstruction. More specifically, we employ dual attention mechanism for guiding the respective masking branches, leading to reconstructed feature encoding dual significance. Furthermore, fusing the reconstructed features is achieved by self-adjustable weighting strategy for effective feature distillation. Our experiments on object detection task demonstrate that the student networks achieve performance gains of 4.1% and 4.3% with the help of our method when RetinaNet and Cascade Mask R-CNN are respectively used as the teacher networks, while outperforming the other state-of-the-art distillation methods.


title: A note on modified $J$-Flow with the Calabi Ansatz

abstract: We study the modified $J$-flow introduced in [15], particularly the singularities of the flow using the Calabi symmetry. In [20], on toric manifolds the convergence of modified $J$-flow to the smooth solution was proven under the assumption of positivity of certain intersection numbers. In the case of the Calabi ansatz, we show that if some of those intersection numbers are not positive, then the modified $J$-flow blows up along some variety, and away from the variety we prove the convergence to the solution. As in [10], we also prove that the convergence behavior of the modified $J$-flow with Calabi symmetry depends on the topological constants $c$ and the minimum of the Hamiltonian function.


title: Gesture-Informed Robot Assistance via Foundation Models

abstract: Gestures serve as a fundamental and significant mode of non-verbal communication among humans. Deictic gestures (such as pointing towards an object), in particular, offer valuable means of efficiently expressing intent in situations where language is inaccessible, restricted, or highly specialized. As a result, it is essential for robots to comprehend gestures in order to infer human intentions and establish more effective coordination with them. Prior work often rely on a rigid hand-coded library of gestures along with their meanings. However, interpretation of gestures is often context-dependent, requiring more flexibility and common-sense reasoning. In this work, we propose a framework, GIRAF, for more flexibly interpreting gesture and language instructions by leveraging the power of large language models. Our framework is able to accurately infer human intent and contextualize the meaning of their gestures for more effective human-robot collaboration. We instantiate the framework for interpreting deictic gestures in table-top manipulation tasks and demonstrate that it is both effective and preferred by users, achieving 70% higher success rates than the baseline. We further demonstrate GIRAF's ability on reasoning about diverse types of gestures by curating a GestureInstruct dataset consisting of 36 different task scenarios. GIRAF achieved 81% success rate on finding the correct plan for tasks in GestureInstruct. Website: https://tinyurl.com/giraf23


title: Reinforcement Learning of Action and Query Policies with LTL Instructions under Uncertain Event Detector

abstract: Reinforcement learning (RL) with linear temporal logic (LTL) objectives can allow robots to carry out symbolic event plans in unknown environments. Most existing methods assume that the event detector can accurately map environmental states to symbolic events; however, uncertainty is inevitable for real-world event detectors. Such uncertainty in an event detector generates multiple branching possibilities on LTL instructions, confusing action decisions. Moreover, the queries to the uncertain event detector, necessary for the task's progress, may increase the uncertainty further. To cope with those issues, we propose an RL framework, Learning Action and Query over Belief LTL (LAQBL), to learn an agent that can consider the diversity of LTL instructions due to uncertain event detection while avoiding task failure due to the unnecessary event-detection query. Our framework simultaneously learns 1) an embedding of belief LTL, which is multiple branching possibilities on LTL instructions using a graph neural network, 2) an action policy, and 3) a query policy which decides whether or not to query for the event detector. Simulations in a 2D grid world and image-input robotic inspection environments show that our method successfully learns actions to follow LTL instructions even with uncertain event detectors.


title: Using the Shapes Constraint Language for modelling regulatory requirements

abstract: Ontologies are traditionally expressed in the Web Ontology Language (OWL), that provides a syntax for expressing taxonomies with axioms regulating class membership. The semantics of OWL, based on Description Logic (DL), allows for the use of automated reasoning to check the consistency of ontologies, perform classification, and to answer DL queries. However, the open world assumption of OWL, along with limitations in its expressiveness, makes OWL less suitable for modelling rules and regulations, used in public administration. In such cases, it is desirable to have closed world semantics and a rule-based engine to check compliance with regulations. In this paper we describe and discuss data model management using the Shapes Constraint Language (SHACL), for concept modelling of concrete requirements in regulation documents within the public sector. We show how complex regulations, often containing a number of alternative requirements, can be expressed as constraints, and the utility of SHACL engines in verification of instance data against the SHACL model. We discuss benefits of modelling with SHACL, compared to OWL, and demonstrate the maintainability of the SHACL model by domain experts without prior knowledge of ontology management.


title: Offensive Hebrew Corpus and Detection using BERT

abstract: Offensive language detection has been well studied in many languages, but it is lagging behind in low-resource languages, such as Hebrew. In this paper, we present a new offensive language corpus in Hebrew. A total of 15,881 tweets were retrieved from Twitter. Each was labeled with one or more of five classes (abusive, hate, violence, pornographic, or none offensive) by Arabic-Hebrew bilingual speakers. The annotation process was challenging as each annotator is expected to be familiar with the Israeli culture, politics, and practices to understand the context of each tweet. We fine-tuned two Hebrew BERT models, HeBERT and AlephBERT, using our proposed dataset and another published dataset. We observed that our data boosts HeBERT performance by 2% when combined with D_OLaH. Fine-tuning AlephBERT on our data and testing on D_OLaH yields 69% accuracy, while fine-tuning on D_OLaH and testing on our data yields 57% accuracy, which may be an indication to the generalizability our data offers. Our dataset and fine-tuned models are available on GitHub and Huggingface.


title: Curtain Characterization of Sublinearly Morse Geodesics in CAT(0) Spaces

abstract: We show that the sublinear Morse boundary of every CAT(0) space continuously injects into the Gromov boundary of a hyperbolic space, which was not previously known even for all CAT(0) cube complexes. Our work utilizes the curtain machinery introduced by Petyt-Spriano-Zalloum. Curtains are more general combinatorial analogues of hyperplanes in cube complexes, and we develop multiple curtain characterizations of the sublinear Morse property along the way. Our results answer multiple questions of Petyt-Spriano-Zalloum.


title: Large Language Models for Automated Open-domain Scientific Hypotheses Discovery

abstract: Hypothetical induction is recognized as the main reasoning type when scientists make observations about the world and try to propose hypotheses to explain those observations. Past research on hypothetical induction is under a constrained setting: (1) the observation annotations in the dataset are carefully manually handpicked sentences (resulting in a close-domain setting); and (2) the ground truth hypotheses are mostly commonsense knowledge, making the task less challenging. In this work, we tackle these problems by proposing the first dataset for social science academic hypotheses discovery, with the final goal to create systems that automatically generate valid, novel, and helpful scientific hypotheses, given only a pile of raw web corpus. Unlike previous settings, the new dataset requires (1) using open-domain data (raw web corpus) as observations; and (2) proposing hypotheses even new to humanity. A multi-module framework is developed for the task, including three different feedback mechanisms to boost performance, which exhibits superior performance in terms of both GPT-4 based and expert-based evaluation. To the best of our knowledge, this is the first work showing that LLMs are able to generate novel (''not existing in literature'') and valid (''reflecting reality'') scientific hypotheses.


title: Semisimple groups interpretable in various valued fields

abstract: We study infinite groups interpretable in power bounded $T$-convex, $V$-minimal or $p$-adically closed fields. We show that if $G$ is an interpretable definably semisimple group (i.e., has no definable infinite normal abelian subgroups) then, up to a finite index subgroup, it is definably isogenous to a group $G_1\times G_2$, where $G_1$ is a $K$-linear group and $G_2$ is a $\mathbf{k}$-linear group. The analysis is carried out by studying the interaction of $G$ with four distinguished sorts: the valued field $K$, the residue field $\mathbf{k}$, the value group $\Gamma$, and the closed $0$-balls $K/\mathcal{O}$.


title: Josephson quantum mechanics at odd parity

abstract: A Josephson junction may be in a stable odd parity state when a single quasiparticle is trapped in an Andreev bound state. Embedding such junction in an electromagnetic environment gives rise to a special quantum mechanics of superconducting phase that we investigate theoretically. Our analysis covers several representative cases, from the lifting of the supercurrent quench due to quasiparticle poisoning for a low ohmic impedance of the environment, to a Schmid transition in a current-biased junction that for odd parity occurs at four times bigger critical impedance. For intermediate impedances, the supercurrent in the odd state is higher than in the even one.


title: Generating and grading 34 Optimized Norm-Conserving Vanderbilt Pseudopotentials for Actinides and Super Heavy Elements in the PseudoDojo

abstract: In the last decades, material discovery has been a very active research field driven by the need to find new materials for many different applications. This has also included materials with heavy elements, beyond the stable isotopes of lead, as most actinides exhibit unique properties that make them useful in various applications. Furthermore, new heavy elements beyond actinides, collectively referred to as super-heavy elements (SHEs), have been synthesized, filling previously empty space of Mendeleev periodic table. Their chemical bonding behavior, of academic interest at present, would also benefit of state-of-the-art modeling approaches. In particular, in order to perform first-principles calculations with planewave basis sets, one needs corresponding pseudopotentials. In this work, we present a series of scalar- and fully-relativistic optimized norm-conserving Vanderbilt pseudopotentials (ONCVPs) for thirty-four actinides and super-heavy elements, for three different exchange-correlation functionals (PBE, PBEsol and LDA). The scalar-relativistic version of these ONCVPs is tested by comparing equations of states for crystals, obtained with \textsc{abinit} 9.6, with those obtained by all-electron zeroth-order regular approximation (ZORA) calculations, without spin-orbit coupling, performed with the Amsterdam Modeling Suite \textsc{band} code. $\Delta$-Gauge and $\Delta_1$-Gauge indicators are used to validate these pseudopotentials. This work is a contribution to the PseudoDojo project, in which pseudopotentials for the whole periodic table are developed and systematically tested. The pseudopotential files are available on the PseudoDojo web-interface pseudo-dojo.org in psp8 and UPF2 formats, both suitable for \textsc{abinit}, the latter being also suitable for Quantum ESPRESSO.


title: Stylebook: Content-Dependent Speaking Style Modeling for Any-to-Any Voice Conversion using Only Speech Data

abstract: While many recent any-to-any voice conversion models succeed in transferring some target speech's style information to the converted speech, they still lack the ability to faithfully reproduce the speaking style of the target speaker. In this work, we propose a novel method to extract rich style information from target utterances and to efficiently transfer it to source speech content without requiring text transcriptions or speaker labeling. Our proposed approach introduces an attention mechanism utilizing a self-supervised learning (SSL) model to collect the speaking styles of a target speaker each corresponding to the different phonetic content. The styles are represented with a set of embeddings called stylebook. In the next step, the stylebook is attended with the source speech's phonetic content to determine the final target style for each source content. Finally, content information extracted from the source speech and content-dependent target style embeddings are fed into a diffusion-based decoder to generate the converted speech mel-spectrogram. Experiment results show that our proposed method combined with a diffusion-based generative model can achieve better speaker similarity in any-to-any voice conversion tasks when compared to baseline models, while the increase in computational complexity with longer utterances is suppressed.


title: HC3 Plus: A Semantic-Invariant Human ChatGPT Comparison Corpus

abstract: ChatGPT has gained significant interest due to its impressive performance, but people are increasingly concerned about its potential risks, particularly around the detection of AI-generated content (AIGC), which is often difficult for untrained humans to identify. Current datasets utilized for detecting ChatGPT-generated text primarily center around question-answering, yet they tend to disregard tasks that possess semantic-invariant properties, such as summarization, translation, and paraphrasing. Our primary studies demonstrate that detecting model-generated text on semantic-invariant tasks is more difficult. To fill this gap, we introduce a more extensive and comprehensive dataset that considers more types of tasks than previous work, including semantic-invariant tasks. In addition, the model after a large number of task instruction fine-tuning shows a strong powerful performance. Owing to its previous success, we further instruct fine-tuning T\textit{k}-instruct and build a more powerful detection system.


title: A study on fault diagnosis in nonlinear dynamic systems with uncertainties

abstract: In this draft, fault diagnosis in nonlinear dynamic systems is addressed. The objective of this work is to establish a framework, in which not only model-based but also data-driven and machine learning based fault diagnosis strategies can be uniformly handled. Instead of the well-established input-output and the associated state space models, stable image and kernel representations are adopted in our work as the basic process model forms. Based on it, the nominal system dynamics can then be modelled as a lower-dimensional manifold embedded in the process data space. To achieve a reliable fault detection as a classification problem, projection technique is a capable tool. For nonlinear dynamic systems, we propose to construct projection systems in the well-established framework of Hamiltonian systems and by means of the normalised image and kernel representations. For nonlinear dynamic systems, process data form a non-Euclidean space. Consequently, the norm-based distance defined in Hilbert space is not suitable to measure the distance from a data vector to the manifold of the nominal dynamics. To deal with this issue, we propose to use a Bregman divergence, a measure of difference between two points in a space, as a solution. Moreover, for our purpose of achieving a performance-oriented fault detection, the Bregman divergences adopted in our work are defined by Hamiltonian functions. This scheme not only enables to realise the performance-oriented fault detection, but also uncovers the information geometric aspect of our work. The last part of our work is devoted to the kernel representation based fault detection and uncertainty estimation that can be equivalently used for fault estimation. It is demonstrated that the projection onto the manifold of uncertainty data, together with the correspondingly defined Bregman divergence, is also capable for fault detection.


title: Existence and Completeness of Bounded Disturbance Observers: A Set-Membership Viewpoint

abstract: This paper investigates the boundedness of the Disturbance Observer (DO) for linear discrete-time systems. In contrast to previous studies that focus on analyzing and/or designing observer gains, our analysis and synthesis approach is based on a set-membership viewpoint. From this viewpoint, a necessary and sufficient existence condition of bounded DOs is first established, which can be easily verified. Furthermore, a set-membership filter-based DO is developed, and its completeness is proved; thus, our proposed DO is bounded if and only if bounded DOs exist. We also prove that the proposed DO has the capability to achieve the worst-case optimality, which can provide a benchmark for the design of DOs. Finally, numerical simulations are performed to corroborate the effectiveness of the theoretical results.