title: OPDAI at SemEval-2024 Task 6: Small LLMs can Accelerate Hallucination Detection with Weakly Supervised Data

abstract: This paper mainly describes a unified system for hallucination detection of LLMs, which wins the second prize in the model-agnostic track of the SemEval-2024 Task 6, and also achieves considerable results in the model-aware track. This task aims to detect hallucination with LLMs for three different text-generation tasks without labeled training data. We utilize prompt engineering and few-shot learning to verify the performance of different LLMs on the validation data. Then we select the LLMs with better performance to generate high-quality weakly supervised training data, which not only satisfies the consistency of different LLMs, but also satisfies the consistency of the optimal LLM with different sampling parameters. Furthermore, we finetune different LLMs by using the constructed training data, and finding that a relatively small LLM can achieve a competitive level of performance in hallucination detection, when compared to the large LLMs and the prompt-based approaches using GPT-4.


title: Large Language Model-based Human-Agent Collaboration for Complex Task Solving

abstract: In recent developments within the research community, the integration of Large Language Models (LLMs) in creating fully autonomous agents has garnered significant interest. Despite this, LLM-based agents frequently demonstrate notable shortcomings in adjusting to dynamic environments and fully grasping human needs. In this work, we introduce the problem of LLM-based human-agent collaboration for complex task-solving, exploring their synergistic potential. In addition, we propose a Reinforcement Learning-based Human-Agent Collaboration method, ReHAC. This approach includes a policy model designed to determine the most opportune stages for human intervention within the task-solving process. We construct a human-agent collaboration dataset to train this policy model in an offline reinforcement learning environment. Our validation tests confirm the model's effectiveness. The results demonstrate that the synergistic efforts of humans and LLM-based agents significantly improve performance in complex tasks, primarily through well-planned, limited human intervention. Datasets and code are available at: https://github.com/XueyangFeng/ReHAC.


title: Note on the product of the largest and the smallest eigenvalue of a graph

abstract: In this note, we use eigenvalue interlacing to derive an inequality between the maximum degree of a graph and its maximum and minimum adjacency eigenvalues. The case of equality is fully characterized.


title: Data Pipeline Training: Integrating AutoML to Optimize the Data Flow of Machine Learning Models

abstract: Data Pipeline plays an indispensable role in tasks such as modeling machine learning and developing data products. With the increasing diversification and complexity of Data sources, as well as the rapid growth of data volumes, building an efficient Data Pipeline has become crucial for improving work efficiency and solving complex problems. This paper focuses on exploring how to optimize data flow through automated machine learning methods by integrating AutoML with Data Pipeline. We will discuss how to leverage AutoML technology to enhance the intelligence of Data Pipeline, thereby achieving better results in machine learning tasks. By delving into the automation and optimization of Data flows, we uncover key strategies for constructing efficient data pipelines that can adapt to the ever-changing data landscape. This not only accelerates the modeling process but also provides innovative solutions to complex problems, enabling more significant outcomes in increasingly intricate data domains. Keywords- Data Pipeline Training;AutoML; Data environment; Machine learning


title: First-principles investigation of hydrogen-related reactions on (100)--(2$\times$1)$:$H diamond surfaces

abstract: Hydrogen radical attacks and subsequent hydrogen migrations are considered to play an important role in the atomic-scale mechanisms of diamond chemical vapour deposition growth. We perform a comprehensive analysis of the reactions involving H-radical and vacancies on H-passivated diamond surfaces exposed to hydrogen radical-rich atmosphere. By means of first principles calculations -- density functional theory and climbing image nudged elastic band method -- transition states related to these mechanisms are identified and characterised. In addition, accurate reaction rates are computed using variational transition state theory. Together, these methods provide -- for a broad range of temperatures and hydrogen radical concentrations -- a picture of the relative likelihood of the migration or radical attack processes, along with a statistical description of the hydrogen coverage fraction of the (100) H-passivated surface, refining earlier results via a more thorough analysis of the processes at stake. Additionally, the migration of H-vacancy is shown to be anisotropic, and occurring preferentially across the dimer rows of the reconstructed surface. The approach used in this work can be generalised to other crystallographic orientations of diamond surfaces or other semiconductors.


title: Antiferromagnetic Chern insulator with large charge gap in heavy transition-metal compounds

abstract: Despite the discovery of multiple intrinsic magnetic topological insulators in recent years the observation of Chern insulators is still restricted to very low temperatures due to the negligible charge gaps. Here, we uncover the potential of heavy transition-metal compounds for realizing a collinear antiferromagnetic Chern insulator (AFCI) with a charge gap as large as 300 meV. Our analysis relies on the Kane-Mele-Kondo model with a ferromagnetic Hund coupling $J_{\rm H}$ between the spins of itinerant electrons and the localized spins of size $S$. We show that a spin-orbit coupling $\lambda_{\rm SO} \gtrsim 0.03t$, where $t$ is the nearest-neighbor hopping element, is already large enough to stabilize an AFCI provided the alternating sublattice potential $\delta$ is in the range $\delta \approx SJ_{\rm H}$. We establish a remarkable increase in the charge gap upon increasing $\lambda_{\rm SO}$ in the AFCI phase. Using our results we explain the collinear AFCI recently found in monolayers of CrO and MoO with charge gaps of 1 and $50$ meV, respectively. In addition, we propose bilayers of heavy transition-metal oxides of perovskite structure as candidates to realize a room-temperature AFCI if grown along the $[111]$ direction and subjected to a perpendicular electric field.


title: Compact sum-of-products form of the molecular electronic Hamiltonian based on canonical polyadic decomposition

abstract: We propose an approach to represent the second-quantized electronic Hamiltonian in a compact sum-of-products (SOP) form. The approach is based on the canonical polyadic decomposition (CPD) of the original Hamiltonian projected onto the sub-Fock spaces formed by groups of spin orbitals. The algorithm for obtaining the canonical polyadic form starts from an exact sum-of-products, which is then optimally compactified using an alternating least-squares procedure. We discuss the relation of this specific SOP with related forms, namely the Tucker format and the matrix product operator often used in conjunction with matrix product states. We benchmark the method on the electronic dynamics of an excited water molecule, trans-polyenes, and the charge migration in glycine upon inner-valence ionization. The quantum dynamics are performed with the multilayer multi-configuration time-dependent Hartree method in second quantization representation (MCTDH-SQR). Other methods based on tree-tensor Ans\"atze may profit from this general approach.


title: Neural-Network-Based Optimal Guidance for Lunar Vertical Landing

abstract: This paper addresses an optimal guidance problem concerning the vertical landing of a lunar lander with the objective of minimizing fuel consumption. The vertical landing imposes a final attitude constraint, which is treated as a final control constraint. To handle this constraint, we propose a nonnegative small regularization term to augment the original cost functional. This ensures the satisfaction of the final control constraint in accordance with Pontryagin's Minimum Principle. By leveraging the necessary conditions for optimality, we establish a parameterized system that facilitates the generation of numerous optimal trajectories, which contain the nonlinear mapping from the flight state to the optimal guidance command. Subsequently, a neural network is trained to approximate such mapping. Finally, numerical examples are presented to validate the proposed method.


title: Right on Time: Revising Time Series Models by Constraining their Explanations

abstract: The reliability of deep time series models is often compromised by their tendency to rely on confounding factors, which may lead to incorrect outputs. Our newly recorded, naturally confounded dataset named P2S from a real mechanical production line emphasizes this. To avoid "Clever-Hans" moments in time series, i.e., to mitigate confounders, we introduce the method Right on Time (RioT). RioT enables, for the first time, interactions with model explanations across both the time and frequency domain. Feedback on explanations in both domains is then used to constrain the model, steering it away from the annotated confounding factors. The dual-domain interaction strategy is crucial for effectively addressing confounders in time series datasets. We empirically demonstrate that RioT can effectively guide models away from the wrong reasons in P2S as well as popular time series classification and forecasting datasets.


title: Gimbal Actuator Modeling for a Spin-Stabilized Spacecraft Equipped with a 1DoF Gimbaled-Thruster and two Reaction Wheels

abstract: Attitude control of spacecraft during an impulsive orbital maneuver is a vital task. Many spacecraft and launchers use the gimbaled thrust vector control (TVC) in their attitude control system during an orbital maneuver. Mathematical modeling of the gimbal actuator is an important task because we should show the applicability of the gimbaled-TVC in a spacecraft. In this paper, a spin-stabilized spacecraft equipped with one degree of freedom (DoF) gimbaled-thruster and two reaction wheels (RWs) is considered. The control goals are disturbance rejection and thrust vector (spin-axis) stabilization based on one DoF gimbal actuator and two RWs. The gimbal is assumed to be equipped with a gearbox and a DC electric motor. This actuator must supply the gimbal torque to rotate the spacecraft nozzle. The mathematical model of the mentioned spacecraft is extended with respect to the DC motor equations. In order to investigate the applicability of the proposed method, an industrial DC electric motor is considered for the gimbal actuator. The simulation results prove that an industrial DC electric motor is able to be used for attitude control of the mentioned spacecraft. The simulation results indicate the applicability of the proposed control method in an impulsive orbital maneuver.


title: Advancements in Point Cloud-Based 3D Defect Detection and Classification for Industrial Systems: A Comprehensive Survey

abstract: In recent years, 3D point clouds (PCs) have gained significant attention due to their diverse applications across various fields such as computer vision (CV), condition monitoring, virtual reality, robotics, autonomous driving etc. Deep learning (DL) has proven effective in leveraging 3D PCs to address various challenges previously encountered in 2D vision. However, the application of deep neural networks (DNN) to process 3D PCs presents its own set of challenges. To address these challenges, numerous methods have been proposed. This paper provides an in-depth review of recent advancements in DL-based condition monitoring (CM) using 3D PCs, with a specific focus on defect shape classification and segmentation within industrial applications for operational and maintenance purposes. Recognizing the crucial role of these aspects in industrial maintenance, the paper provides insightful observations that offer perspectives on the strengths and limitations of the reviewed DL-based PC processing methods. This synthesis of knowledge aims to contribute to the understanding and enhancement of CM processes, particularly within the framework of remaining useful life (RUL), in industrial systems.


title: Holographic Tests for Giant Graviton Expansion

abstract: It has been proposed that the superconformal index admits a novel reformulation, called giant graviton expansion. In this paper, we investigate the properties of dual $AdS_5$ black holes using the giant graviton expansion framework. First, we compute the entropy of black holes in $AdS_5\times S^5$ with fixed charges through a large $N$ saddle point analysis on the giant graviton index and further extremize it in the wrapping number. We identify a specific regime of fugacities where our saddle point analysis is valid. It turns out that this condition ensures the absence of closed-time-like curves and the stability of dual black hole solutions with equal charges. In addition, the giant graviton expansion of the index provides insights into how small black holes in AdS can be interpreted as bound states of branes. We extend our study to include the giant graviton expansion with the insertion of a half-BPS surface defect in $\mathcal{N}=4$ SYM with a $U(N)$ gauge group. Finally, we test the giant graviton expansion in various holographic theories whose dual geometries are $AdS_5\times S^5/\mathbb{Z}_k$ and $AdS_5\times SE_5$.


title: Quantum graphs and microwave networks as narrow band filters for quantum and microwave devices

abstract: We investigate properties of the transmission amplitude of quantum graphs and microwave networks composed of regular polygons such as triangles and squares. We show that for the graphs composed of regular polygons with the edges of the length $l$ the transmission amplitude displays a band of transmission suppression with some narrow peaks of full transmission. The peaks are distributed symmetrically with respect to the symmetry axis $kl=\pi$, where $k$ is the wave vector. For microwave networks the transmission peak amplitudes are reduced and their symmetry is broken due to the influence of internal absorption. We demonstrate that for the graphs composed of the same polygons but separated by the edges of length $l' < l$ the transmission spectrum is generally not symmetric according to the axis $kl'=\pi$. We also show that graphs composed of regular polygons of different size with the edges being irrational numbers are not fully chaotic and their level spacing distribution and the spectral rigidity are well described by the Berry-Robnik distributions. Moreover, the transmission spectrum of such a graph displays peaks which are very close to $1$. Furthermore, the microwave networks are investigated in the time-domain using short Gaussian pulses. In this case the delay-time distributions, though very sensitive to the internal structure of the networks, show the sequences of transmitted peaks with the amplitudes much smaller than the input one. The analyzed properties of the graphs and networks suggest that they can be effectively used to manipulate quantum and wave transport.


title: Generalized tableaux over arbitrary digraphs and their associated differential equations

abstract: We revisit the concepts of acyclic orderings and number of acyclic orderings of acyclic digraphs in terms of dispositions and counters for arbitrary multidigraphs. We prove that when we add a sequence of nested directed paths to a directed graph there is a unique polynomial such that the generatrix function of the family of counters is the product of the polynomial and the exponential function. We give an application, by considering a kind of digraphs arranged in rows introduced by the authors in a previous paper, called dispositional digraphs, in the particular case in which the digraph has two rows, to obtain new families of linear differential equations of small order whose coefficients are polynomials of small degree which admit polynomial solutions. In particular, we obtain a new differential equation associated to Catalan numbers, and the corresponding associated polynomials, which are solution of this differential equation; we term them Catalan differencial equation and Catalan polynomials, respectively. We prove that the Catalan polynomials obtained when we connect the directed path to the second vertex of the lower row of the digraph are orthogonal polynomials for an appropriate weight function. We characterize the digraphs that maximize the counter of connected dispositional digraphs and we find a new differential equation associated to these digraphs. We introduce also dispositions and counters in any multidigraph with non-strict inequalities in the dispositions, and we find new differential equations associated to some of them.


title: CLIPping the Deception: Adapting Vision-Language Models for Universal Deepfake Detection

abstract: The recent advancements in Generative Adversarial Networks (GANs) and the emergence of Diffusion models have significantly streamlined the production of highly realistic and widely accessible synthetic content. As a result, there is a pressing need for effective general purpose detection mechanisms to mitigate the potential risks posed by deepfakes. In this paper, we explore the effectiveness of pre-trained vision-language models (VLMs) when paired with recent adaptation methods for universal deepfake detection. Following previous studies in this domain, we employ only a single dataset (ProGAN) in order to adapt CLIP for deepfake detection. However, in contrast to prior research, which rely solely on the visual part of CLIP while ignoring its textual component, our analysis reveals that retaining the text part is crucial. Consequently, the simple and lightweight Prompt Tuning based adaptation strategy that we employ outperforms the previous SOTA approach by 5.01% mAP and 6.61% accuracy while utilizing less than one third of the training data (200k images as compared to 720k). To assess the real-world applicability of our proposed models, we conduct a comprehensive evaluation across various scenarios. This involves rigorous testing on images sourced from 21 distinct datasets, including those generated by GANs-based, Diffusion-based and Commercial tools.


title: A Literature Review of Literature Reviews in Pattern Analysis and Machine Intelligence

abstract: By consolidating scattered knowledge, the literature review provides a comprehensive understanding of the investigated topic. However, reading, conducting, or peer-reviewing review papers generally demands a significant investment of time and effort from researchers. To improve efficiency, this paper aims to provide a thorough review of reviews in the PAMI field from diverse perspectives. First, this paper proposes several article-level, field-normalized, and large language model-empowered bibliometric indicators to evaluate reviews. To facilitate this, a meta-data database dubbed RiPAMI, and a topic dataset are constructed. Second, based on these indicators, the study presents comparative analyses of representative reviews, unveiling the characteristics of publications across various fields, periods, and journals. The newly emerging AI-generated literature reviews are also appraised, and the observed differences suggest that most AI-generated reviews still lag behind human-authored reviews in multiple aspects. Third, we briefly provide a subjective evaluation of representative PAMI reviews and introduce a paper structure-based typology of literature reviews. This typology may improve the clarity and effectiveness for scholars in reading and writing reviews, while also serving as a guide for AI systems in generating well-organized reviews. Finally, this work offers insights into the current challenges of literature reviews and envisions future directions for their development.


title: Weight decomposition of $\mathfrak{sl}_d(\mathbb R)$ with respect to the adjoint representation of $\mathfrak{so}(p,q)$

abstract: In this concise article, we compute the weight decomposition of $\mathfrak{sl}_d(\mathbb R)$ with respect to the adjoint representation of $\mathfrak{so}(p,q)$, where $d=p+q$ and demonstrate in detail that $\mathfrak{sl}_d(\mathbb R)$ comprises two irreducible $\mathfrak{so}(p,q)$-invariant subspaces. This can be employed to establish the well-known fact that the identity component of $\mathrm{SO}(p,q)$ is a maximal connected subgroup of $\mathrm{SL}_d(\mathbb R)$.


title: Learning Exceptional Subgroups by End-to-End Maximizing KL-divergence

abstract: Finding and describing sub-populations that are exceptional regarding a target property has important applications in many scientific disciplines, from identifying disadvantaged demographic groups in census data to finding conductive molecules within gold nanoparticles. Current approaches to finding such subgroups require pre-discretized predictive variables, do not permit non-trivial target distributions, do not scale to large datasets, and struggle to find diverse results. To address these limitations, we propose Syflow, an end-to-end optimizable approach in which we leverage normalizing flows to model arbitrary target distributions, and introduce a novel neural layer that results in easily interpretable subgroup descriptions. We demonstrate on synthetic and real-world data, including a case study, that Syflow reliably finds highly exceptional subgroups accompanied by insightful descriptions.


title: Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness

abstract: This paper is a mathematical investigation on Epstein semantics. One of the main tools of the present paper is the model-theoretic S-set construction introduced in (Krawczyk 2022). We use it to prove several results: 1) that each Epstein model has uncountably many equivalent Epstein models, 2) that the logic of generalised Epstein models is the S-set invariant fragment of CPL (analogon of the celebrated van Benthem characterization theorem for modal logic), 3) that several sets of Epstein relations are undefinable, 4) that logics of undefinable sets of relations can be finitely axiomatised. We also use other techniques to prove: 5) that there is uncountably many Epstein-incomplete logics and that 6) the logic of generalised Epstein models has the interpolation property.


title: A Direct Real-Time Observation of Anion Intercalation in Graphite Process and Its Fully Reversibility by SAXS/WAXS Techniques

abstract: The process of anion intercalation in graphite and its reversibility plays a crucial role in the next generation energy-storage devices. Herein the reaction mechanism of the aluminum graphite dual ion cell by operando X-ray scattering from small angles to wide angles is investigated. The staging behavior of the graphite intercalation compound (GIC) formation, its phase transitions, and its reversible process are observed for the first time by directly measuring the repeated intercalation distance, along with the microporosity of the cathode graphite. The investigation demonstrates complete reversibility of the electrochemical intercalation process, alongside nano- and micro-structural reorganization of natural graphite induced by intercalation. This work represents a new insight into thermodynamic aspects taking place during intermediate phase transitions in the GIC formation.


title: Enhancement of the critical current by surface irregularities in Fe-based superconductors

abstract: The critical current $I_c$ of single crystals of the iron pnictide superconductor BaFe$_2$(As$_{1-x}$P$_x$)$_2$, has been studied through measurements of magnetic hysteresis cycles. We show that the introduction of surface irregularities in the $\mu$m scale significantly increase $I_c$, primarily near the irreversibility magnetic field $H_{irr}$, where the surface currents are the main contribution to $I_c$. Such an increase is consistent with a theoretical estimate for the maximum non-dissipative current that a rough surface can sustain, based on Mathieu-Simon continuum theory for the vortex state.


title: Qualitative analysis to an eigenvalue problem of the Hartree type Br\'ezis-Nirenberg problem

abstract: In this paper, we are concerned with the critical Hartree equation \begin{equation*} \begin{cases} -\Delta u=\left(\displaystyle{\displaystyle{\int_{\Omega}}}\frac{u^{2^{*}_{\mu}}(y)}{|x-y|^{\mu}}dy\right)u^{2^{*}_{\mu}-1}+\varepsilon u,\quad u>0,\quad &\text{in $\Omega$,}\\ u=0,\quad &\text{on $\partial\Omega$,} \end{cases} \end{equation*} where $\Omega\subset \mathbb{R}^N$ ($N\geq 5$) is a smooth bounded domain, $\mu\in (0,4)$ and $2^{*}_{\mu}=\frac{2N-\mu}{N-2}$ is the upper critical exponent in the sense of the Hardy-Littlewood-Sobolev inequality. Under a non-degeneracy condition on the critical point $x_0\in\Omega$ of the Robin function $R(x)$, we perform that for $\varepsilon>0$ sufficiently small, the Morse index of the blow-up solutions $u_\varepsilon$ concentrating at $x_0$ can be computed in terms of the negative eigenvalues of the Hessian matrix $D^{2}R(x)$ at $x_0$. Compared with the usual local cases, our problem is non-local due to the nonlinearity with Hartree-type, and several difficulties arise and new estimates of the eigenpairs $\{\left(\lambda_{i,\varepsilon},v_{i,\varepsilon}\right)\}$ to the associated linearized problem at $u_{\varepsilon}$ should be introduced. To our knowledge, this seems to be the first paper to consider the qualitative analysis of a Hartree type Br\'ezis-Nirenberg problem and our results extend the works established by M. Grossi et al in \cite{GP} and F. Takahashi in \cite{Ta3} to the non-local case.


title: Characterizing the detailed balance property by means of measurements in chemical networks

abstract: In this paper we study how to determine if a linear biochemical network satisfies the detailed balance condition, without knowing the details of all the reactions taking place in the network. To this end, we use the formalism of response functions $R_{ij} (t) $ that measure how the system reacts to the injection of the substance $j$ at time $t=0$, by measuring the concentration of the substance $i \neq j$ for $t >0$. In particular, we obtain a condition involving two reciprocal measurements (i.e.~$R_{ij}(t), \, R_{ji}(t)$) that is necessary, but not sufficient for the detailed balance condition to hold in the network. Moreover, we prove that this necessary condition is also sufficient if a topological condition is satisfied, as well as a stability property that guarantees that the chemical rates are not fine-tuned.


title: Measuring Impacts of Poisoning on Model Parameters and Neuron Activations: A Case Study of Poisoning CodeBERT

abstract: Large language models (LLMs) have revolutionized software development practices, yet concerns about their safety have arisen, particularly regarding hidden backdoors, aka trojans. Backdoor attacks involve the insertion of triggers into training data, allowing attackers to manipulate the behavior of the model maliciously. In this paper, we focus on analyzing the model parameters to detect potential backdoor signals in code models. Specifically, we examine attention weights and biases, activation values, and context embeddings of the clean and poisoned CodeBERT models. Our results suggest noticeable patterns in activation values and context embeddings of poisoned samples for the poisoned CodeBERT model; however, attention weights and biases do not show any significant differences. This work contributes to ongoing efforts in white-box detection of backdoor signals in LLMs of code through the analysis of parameters and activations.


title: GRAPHGINI: Fostering Individual and Group Fairness in Graph Neural Networks

abstract: We address the growing apprehension that GNNs, in the absence of fairness constraints, might produce biased decisions that disproportionately affect underprivileged groups or individuals. Departing from previous work, we introduce for the first time a method for incorporating the Gini coefficient as a measure of fairness to be used within the GNN framework. Our proposal, GRAPHGINI, works with the two different goals of individual and group fairness in a single system, while maintaining high prediction accuracy. GRAPHGINI enforces individual fairness through learnable attention scores that help in aggregating more information through similar nodes. A heuristic-based maximum Nash social welfare constraint ensures the maximum possible group fairness. Both the individual fairness constraint and the group fairness constraint are stated in terms of a differentiable approximation of the Gini coefficient. This approximation is a contribution that is likely to be of interest even beyond the scope of the problem studied in this paper. Unlike other state-of-the-art, GRAPHGINI automatically balances all three optimization objectives (utility, individual, and group fairness) of the GNN and is free from any manual tuning of weight parameters. Extensive experimentation on real-world datasets showcases the efficacy of GRAPHGINI in making significant improvements in individual fairness compared to all currently available state-of-the-art methods while maintaining utility and group equality.


title: UniCell: Universal Cell Nucleus Classification via Prompt Learning

abstract: The recognition of multi-class cell nuclei can significantly facilitate the process of histopathological diagnosis. Numerous pathological datasets are currently available, but their annotations are inconsistent. Most existing methods require individual training on each dataset to deduce the relevant labels and lack the use of common knowledge across datasets, consequently restricting the quality of recognition. In this paper, we propose a universal cell nucleus classification framework (UniCell), which employs a novel prompt learning mechanism to uniformly predict the corresponding categories of pathological images from different dataset domains. In particular, our framework adopts an end-to-end architecture for nuclei detection and classification, and utilizes flexible prediction heads for adapting various datasets. Moreover, we develop a Dynamic Prompt Module (DPM) that exploits the properties of multiple datasets to enhance features. The DPM first integrates the embeddings of datasets and semantic categories, and then employs the integrated prompts to refine image representations, efficiently harvesting the shared knowledge among the related cell types and data sources. Experimental results demonstrate that the proposed method effectively achieves the state-of-the-art results on four nucleus detection and classification benchmarks. Code and models are available at https://github.com/lhaof/UniCell


title: Discovering Behavioral Modes in Deep Reinforcement Learning Policies Using Trajectory Clustering in Latent Space

abstract: Understanding the behavior of deep reinforcement learning (DRL) agents is crucial for improving their performance and reliability. However, the complexity of their policies often makes them challenging to understand. In this paper, we introduce a new approach for investigating the behavior modes of DRL policies, which involves utilizing dimensionality reduction and trajectory clustering in the latent space of neural networks. Specifically, we use Pairwise Controlled Manifold Approximation Projection (PaCMAP) for dimensionality reduction and TRACLUS for trajectory clustering to analyze the latent space of a DRL policy trained on the Mountain Car control task. Our methodology helps identify diverse behavior patterns and suboptimal choices by the policy, thus allowing for targeted improvements. We demonstrate how our approach, combined with domain knowledge, can enhance a policy's performance in specific regions of the state space.


abstract: Tunisian Arabic (ISO 693-3: aeb) isa distinct variety native to Tunisia, derived from Arabic and enriched by various historical influences. This research introduces the "Normalized Orthography for Tunisian Arabic" (NOTA), an adaptation of CODA* guidelines for transcribing Tunisian Arabic using Arabic script. The aim is to enhance language resource development by ensuring user-friendliness and consistency. The updated standard addresses challenges in accurately representing Tunisian phonology and morphology, correcting issues from transcriptions based on Modern Standard Arabic.


title: Apparent color and Raman vibrational modes of the unconventional superconductor Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ exfoliated flakes

abstract: Studying and controlling the properties of individual exfoliated materials is one of the first steps towards the fabrication of complex van der Waals systems. However, prolonged exposure to ambient conditions can affect the properties of very thin exfoliated materials altering their physical properties. For this reason, it is imperative to employ versatile characterization strategies compatible with reduced ambient exposure times. In this work, we demonstrate that optical microscopy and Raman spectroscopy are quick and non-invasive techniques to study flakes of the high-temperature superconductor Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ (BSCCO-2212). The apparent color of BSCCO-2212 exfoliated flakes on SiO$_2$/Si has been studied allowing a rough and fast identification of the number of layers. Moreover, we find that thin flakes have a refractive index of around 1.7 in the visible range and 0.5 for the absorption coefficient near the maximum at 550 nm. We determine the optimal combination of illumination wavelength and substrate properties for the identification of different numbers of unit cells of BSCCO-2212. In addition, we report the hardening of the characteristic Raman modes at 116 cm$^{-1}$ and 460 cm$^{-1}$ as flake thickness decreases, possibly due to strain in the BiO and CuO$_2$ planes, respectively. Moreover, the evolution of the Raman modes establishes a second approach to determine the thickness of BSCCO-2212 thin flakes. As BSCCO-2212 is a challenging material to be due to its sensitivity to ambient conditions deriving in an insulating state, the present work provides a guide for the fabrication and characterization of complex van der Waals systems paving the way for studying heterostructures based on unconventional superconductors in the 2D limit.


title: Field calibration and analysis of a low-cost sensor network based on the existing air quality infrastructure of a city

abstract: Low-cost particulate matter sensors (LCS) are an important source of air quality data, improving the spatial and temporal resolution of data gathered by sparsely placed official monitoring stations. Their readings, however, are subject to bias due to unaccounted for effects pertaining to both the physical properties of the aerosol particles and design limitations of the devices. A calibration model is paramount in order to valorize the output of LCS devices. In this paper, a calibration model is developed for the LCS network of the municipality of Timisoara, Romania. A regression approach is used for calibrating PM10. Several models are tested, considering as independent variables the LCS PM10, relative humidity, and temperature. Models with physics-based corrections for relative humidity are found to work best. The calibrated data is tested against data from collocated stations from the National Air Quality Monitoring Network (NAQMN), showing an average performance of nRMSE=7.5{\mu}g/m3, R2=0.31. The calibration model is applied to the city-wide LCS network of the municipality. The yearly average PM10 of the network is shown to be similar to that of NAQMN, both being well within the EU yearly PM10 standard. For daily PM10 values, however, several stations are found that regularly exceed the daily threshold set by the European Union. These violations are not witnessed at the NAQMN stations. This is interpreted as due to the small number of reference stations located in the administrative boundaries of the city, which miss particular localized emission sources that are not collocated with these stations.


title: On some dynamical features of the complete Moran model for neutral evolution in the presence of mutations

abstract: We present a version of the classical Moran model, in which mutations are taken into account; the possibility of mutations was introduced by Moran in his seminal paper, but it is more often overlooked in discussing the Moran model. For this model, fixation is prevented by mutation, and we have an ergodic Markov process; the equilibrium distribution for such a process was determined by Moran. The problems we consider in this paper are those of first hitting either one of the ``pure'' (uniform population) states, depending on the initial state; and that of first hitting times. The presence of mutations leads to a nonlinear dependence of the hitting probabilities on the initial state, and to a larger mean hitting time compared to the mutation-free process (in which case hitting corresponds to fixation of one of the alleles).


title: Choi representation of completely positive maps: a technical introduction

abstract: This is a very brief operational introduction to the Choi representation of completely positive maps, i.e. quantum channels. It focuses on certain useful calculational techniques which are presented in full detail.


title: Stochastic Approximation Approach to Federated Machine Learning

abstract: This paper examines Federated learning (FL) in a Stochastic Approximation (SA) framework. FL is a collaborative way to train neural network models across various participants or clients without centralizing their data. Each client will train a model on their respective data and send the weights across to a the server periodically for aggregation. The server aggregates these weights which are then used by the clients to re-initialize their neural network and continue the training. SA is an iterative algorithm that uses approximate sample gradients and tapering step size to locate a minimizer of a cost function. In this paper the clients use a stochastic approximation iterate to update the weights of its neural network. It is shown that the aggregated weights track an autonomous ODE. Numerical simulations are performed and the results are compared with standard algorithms like FedAvg and FedProx. It is observed that the proposed algorithm is robust and gives more reliable estimates of the weights, in particular when the clients data are not identically distributed.


title: Cell Graph Transformer for Nuclei Classification

abstract: Nuclei classification is a critical step in computer-aided diagnosis with histopathology images. In the past, various methods have employed graph neural networks (GNN) to analyze cell graphs that model inter-cell relationships by considering nuclei as vertices. However, they are limited by the GNN mechanism that only passes messages among local nodes via fixed edges. To address the issue, we develop a cell graph transformer (CGT) that treats nodes and edges as input tokens to enable learnable adjacency and information exchange among all nodes. Nevertheless, training the transformer with a cell graph presents another challenge. Poorly initialized features can lead to noisy self-attention scores and inferior convergence, particularly when processing the cell graphs with numerous connections. Thus, we further propose a novel topology-aware pretraining method that leverages a graph convolutional network (GCN) to learn a feature extractor. The pre-trained features may suppress unreasonable correlations and hence ease the finetuning of CGT. Experimental results suggest that the proposed cell graph transformer with topology-aware pretraining significantly improves the nuclei classification results, and achieves the state-of-the-art performance. Code and models are available at https://github.com/lhaof/CGT


title: Multigrid on unstructured meshes with regions of low quality cells

abstract: The convergence of multigrid methods degrades significantly if a small number of low quality cells are present in a finite element mesh, and this can be a barrier to the efficient and robust application of multigrid on complicated geometric domains. The degraded performance is observed also if intermediate levels in a non-nested geometric multigrid problem have low quality cells, even when the fine grid is high quality. It is demonstrated for geometric multigrid methods that the poor convergence is due to the local failure of smoothers to eliminate parts of error around cells of low quality. To overcome this, a global--local combined smoother is developed to maintain effective relaxation in the presence of a small number of poor quality cells. The smoother involves the application of a standard smoother on the whole domain, followed by local corrections for small subdomains with low quality cells. Two- and three-dimensional numerical experiments demonstrate that the degraded convergence of multigrid for low quality meshes can be restored to the high quality mesh reference case using the proposed smoother. The effect is particularly pronounced for higher-order finite elements. The results provide a basis for developing efficient, non-nested geometric multigrid methods for complicated engineering geometries.


title: GumbelSoft: Diversified Language Model Watermarking via the GumbelMax-trick

abstract: Large language models (LLMs) excellently generate human-like text, but also raise concerns about misuse in fake news and academic dishonesty. Decoding-based watermark, particularly the GumbelMax-trick-based watermark(GM watermark), is a standout solution for safeguarding machine-generated texts due to its notable detectability. However, GM watermark encounters a major challenge with generation diversity, always yielding identical outputs for the same prompt, negatively impacting generation diversity and user experience. To overcome this limitation, we propose a new type of GM watermark, the Logits-Addition watermark, and its three variants, specifically designed to enhance diversity. Among these, the GumbelSoft watermark (a softmax variant of the Logits-Addition watermark) demonstrates superior performance in high diversity settings, with its AUROC score outperforming those of the two alternative variants by 0.1 to 0.3 and surpassing other decoding-based watermarking methods by a minimum of 0.1.


title: Quantum degeneracy in mesoscopic matter: Casimir effect and Bose-Einstein condensation

abstract: The ground-state phonon pressure is an analogue to the famous Casimir pressure of vacuum produced by zero-point photons. The acoustic Casimir forces are, however, many orders of magnitude weaker than the electromagnetic Casimir forces, as the typical speed of sound is 100 000 times smaller than the speed of light. Because of its weakness, zero-point acoustic Casimir pressure was never observed, although the pressure of artificially introduced sound noise on a narrow aperture has been reported. However, the magnitude of Casimir pressure increases as $1/L^3$ with the decrease of the sample size $L$, and reaches picoNewtons in the sub-micron scales. We demonstrate and measure the acoustic Casimir pressure induced by zero-point phonons in solid helium adsorbed on a carbon nanotube. We have also observed Casimir-like "pushing out" thermal phonons with the decreasing temperature or the length. We also show that all thermodynamic quantities are size-dependent, and therefore in the mesoscopic range $L\lesssim\hbar{c}/(k_BT)$ quadruple points are possible on the phase diagram where four different phases coexist. Due to the smallness of solid helium sample, temperature of Bose-Einstein condensation (BEC) of vacancies is relatively high, $10-100$ mK. This allowed us to experimentally discover the BEC in a system of zero-point vacancies, predicted more than 50 years ago.


title: QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems

abstract: Quantum Neural Network (QNN) combines the Deep Learning (DL) principle with the fundamental theory of quantum mechanics to achieve machine learning tasks with quantum acceleration. Recently, QNN systems have been found to manifest robustness issues similar to classical DL systems. There is an urgent need for ways to test their correctness and security. However, QNN systems differ significantly from traditional quantum software and classical DL systems, posing critical challenges for QNN testing. These challenges include the inapplicability of traditional quantum software testing methods, the dependence of quantum test sample generation on perturbation operators, and the absence of effective information in quantum neurons. In this paper, we propose QuanTest, a quantum entanglement-guided adversarial testing framework to uncover potential erroneous behaviors in QNN systems. We design a quantum entanglement adequacy criterion to quantify the entanglement acquired by the input quantum states from the QNN system, along with two similarity metrics to measure the proximity of generated quantum adversarial examples to the original inputs. Subsequently, QuanTest formulates the problem of generating test inputs that maximize the quantum entanglement sufficiency and capture incorrect behaviors of the QNN system as a joint optimization problem and solves it in a gradient-based manner to generate quantum adversarial examples. Experimental results demonstrate that QuanTest possesses the capability to capture erroneous behaviors in QNN systems (generating 67.48%-96.05% more test samples than the random noise under the same perturbation size constraints). The entanglement-guided approach proves effective in adversarial testing, generating more adversarial examples (maximum increase reached 21.32%).


title: On pole-skipping with gauge-invariant variables in holographic axion theories

abstract: We study the pole-skipping phenomenon within holographic axion theories, a common framework for studying strongly coupled systems with chemical potential ($\mu$) and momentum relaxation ($\beta$). Considering the backreaction characterized by $\mu$ and $\beta$, we encounter coupled equations of motion for the metric, gauge, and axion field, which are classified into spin-0, spin-1, and spin-2 channels. Employing gauge-invariant variables, we systematically address these equations and explore pole-skipping points within each sector using the near-horizon method. Our analysis reveals two classes of pole-skipping points: regular and singular pole-skipping points in which the latter is identified when standard linear differential equations exhibit singularity. Notably, pole-skipping points in the lower-half plane are regular, while those elsewhere are singular. This suggests that the pole-skipping point in the spin-0 channel, associated with quantum chaos, corresponds to a singular pole-skipping point. Additionally, we observe that the pole-skipping momentum, if purely real or imaginary for $\mu=\beta=0$, retains this characteristic for $\mu \neq0$ and $\beta \neq 0$.


title: Spectral collocation for functional and delay differential equations

abstract: A framework for Chebyshev spectral collocation methods for the numerical solution of functional and delay differential equations (FDEs and DDEs) is described. The framework combines interpolation via the barycentric resampling matrix with a multidomain approach used to resolve isolated discontinuities propagated by non-smooth initial data. Geometric convergence is demonstrated for several examples of linear and nonlinear FDEs and DDEs with various delay types, including discrete, proportional, continuous, and state-dependent delay. The framework is a natural extension of standard spectral collocation methods based on polynomial interpolants and can be readily incorporated into existing spectral discretisations, such as in Chebfun/Chebop, allowing the automated and efficient solution of a wide class of nonlinear functional and delay differential equations.


title: Two-layered logics for probabilities and belief functions over Belnap--Dunn logic

abstract: This paper is an extended version of an earlier submission to WoLLIC 2023. We discuss two-layered logics formalising reasoning with probabilities and belief functions that combine the Lukasiewicz $[0,1]$-valued logic with Baaz $\triangle$ operator and the Belnap--Dunn logic. We consider two probabilistic logics that present two perspectives on the probabilities in the Belnap--Dunn logic: $\pm$-probabilities and $\mathbf{4}$-probabilities. In the first case, every event $\phi$ has independent positive and negative measures that denote the likelihoods of $\phi$ and $\neg\phi$, respectively. In the second case, the measures of the events are treated as partitions of the sample into four exhaustive and mutually exclusive parts corresponding to pure belief, pure disbelief, conflict and uncertainty of an agent in $\phi$. In addition to that, we discuss two logics for the paraconsistent reasoning with belief and plausibility functions. They equip events with two measures (positive and negative) with their main difference being whether the negative measure of $\phi$ is defined as the \emph{belief in $\neg\phi$} or treated independently as \emph{the plausibility of $\neg\phi$}. We provide a sound and complete Hilbert-style axiomatisation of the logic of $\mathbf{4}$-probabilities and establish faithful translations between it and the logic of $\pm$-probabilities. We also show that the satisfiability problem in all the logics is $\mathsf{NP}$-complete.


title: Conditional Logical Message Passing Transformer for Complex Query Answering

abstract: Complex Query Answering (CQA) over Knowledge Graphs (KGs) is a challenging task. Given that KGs are usually incomplete, neural models are proposed to solve CQA by performing multi-hop logical reasoning. However, most of them cannot perform well on both one-hop and multi-hop queries simultaneously. Recent work proposes a logical message passing mechanism based on the pre-trained neural link predictors. While effective on both one-hop and multi-hop queries, it ignores the difference between the constant and variable nodes in a query graph. In addition, during the node embedding update stage, this mechanism cannot dynamically measure the importance of different messages, and whether it can capture the implicit logical dependencies related to a node and received messages remains unclear. In this paper, we propose Conditional Logical Message Passing Transformer (CLMPT), which considers the difference between constants and variables in the case of using pre-trained neural link predictors and performs message passing conditionally on the node type. We empirically verified that this approach can reduce computational costs without affecting performance. Furthermore, CLMPT uses the transformer to aggregate received messages and update the corresponding node embedding. Through the self-attention mechanism, CLMPT can assign adaptive weights to elements in an input set consisting of received messages and the corresponding node and explicitly model logical dependencies between various elements. Experimental results show that CLMPT is a new state-of-the-art neural CQA model.


title: Robust and fast microwave-driven quantum logic for trapped-ion qubits

abstract: Microwave-driven logic is a promising alternative to laser control in scaling trapped-ion based quantum processors. However, such electronic gates have yet to match the speed offered by their laser-driven counterparts. Here, we implement M{\o}lmer-S{\o}rensen two-qubit gates on $^{43}\text{Ca}^+$ hyperfine clock qubits in a cryogenic ($\approx25~\text{K}$) surface trap, driven by near-field microwaves. We achieve gate durations of $154~\mu\text{s}$ (with $1.0(2)\%$ error) and $331~\mu\text{s}$ ($0.5(1)\%$ error), which approaches the performance of typical laser-driven gates. In the $331~\mu\text{s}$ gate, we demonstrate a new Walsh-modulated dynamical decoupling scheme which suppresses errors due to fluctuations in the qubit frequency as well as imperfections in the decoupling drive itself.


title: Hamilton-Jacobi-Bellman equations for Rydberg-blockade processes

abstract: We discuss time-optimal control problems for two setups involving globally driven Rydberg atoms in the blockade limit by deriving the associated Hamilton-Jacobi-Bellman equations. From these equations, we extract the globally optimal trajectories and the corresponding controls for several target processes of the atomic system, using a generalized method of characteristics. We apply this method to retrieve known results for CZ and C-phase gates, and to find new optimal pulses for all elementary processes involved in the universal quantum computation scheme introduced in [Physical Review Letters 131, 170601 (2023)].


title: Energy-Efficient Wireless Federated Learning via Doubly Adaptive Quantization

abstract: Federated learning (FL) has been recognized as a viable distributed learning paradigm for training a machine learning model across distributed clients without uploading raw data. However, FL in wireless networks still faces two major challenges, i.e., large communication overhead and high energy consumption, which are exacerbated by client heterogeneity in dataset sizes and wireless channels. While model quantization is effective for energy reduction, existing works ignore adapting quantization to heterogeneous clients and FL convergence. To address these challenges, this paper develops an energy optimization problem of jointly designing quantization levels, scheduling clients, allocating channels, and controlling computation frequencies (QCCF) in wireless FL. Specifically, we derive an upper bound identifying the influence of client scheduling and quantization errors on FL convergence. Under the longterm convergence constraints and wireless constraints, the problem is established and transformed into an instantaneous problem with Lyapunov optimization. Solving Karush-Kuhn-Tucker conditions, our closed-form solution indicates that the doubly adaptive quantization level rises with the training process and correlates negatively with dataset sizes. Experiment results validate our theoretical results, showing that QCCF consumes less energy with faster convergence compared with state-of-the-art baselines.


title: Go Static: Contextualized Logging Statement Generation

abstract: Logging practices have been extensively investigated to assist developers in writing appropriate logging statements for documenting software behaviors. Although numerous automatic logging approaches have been proposed, their performance remains unsatisfactory due to the constraint of the single-method input, without informative programming context outside the method. Specifically, we identify three inherent limitations with single-method context: limited static scope of logging statements, inconsistent logging styles, and missing type information of logging variables. To tackle these limitations, we propose SCLogger, the first contextualized logging statement generation approach with inter-method static contexts. First, SCLogger extracts inter-method contexts with static analysis to construct the contextualized prompt for language models to generate a tentative logging statement. The contextualized prompt consists of an extended static scope and sampled similar methods, ordered by the chain-of-thought (COT) strategy. Second, SCLogger refines the access of logging variables by formulating a new refinement prompt for language models, which incorporates detailed type information of variables in the tentative logging statement. The evaluation results show that SCLogger surpasses the state-of-the-art approach by 8.7% in logging position accuracy, 32.1% in level accuracy, 19.6% in variable precision, and 138.4% in text BLEU-4 score. Furthermore, SCLogger consistently boosts the performance of logging statement generation across a range of large language models, thereby showcasing the generalizability of this approach.


title: Prompt Stealing Attacks Against Large Language Models

abstract: The increasing reliance on large language models (LLMs) such as ChatGPT in various fields emphasizes the importance of ``prompt engineering,'' a technology to improve the quality of model outputs. With companies investing significantly in expert prompt engineers and educational resources rising to meet market demand, designing high-quality prompts has become an intriguing challenge. In this paper, we propose a novel attack against LLMs, named prompt stealing attacks. Our proposed prompt stealing attack aims to steal these well-designed prompts based on the generated answers. The prompt stealing attack contains two primary modules: the parameter extractor and the prompt reconstruction. The goal of the parameter extractor is to figure out the properties of the original prompts. We first observe that most prompts fall into one of three categories: direct prompt, role-based prompt, and in-context prompt. Our parameter extractor first tries to distinguish the type of prompts based on the generated answers. Then, it can further predict which role or how many contexts are used based on the types of prompts. Following the parameter extractor, the prompt reconstructor can be used to reconstruct the original prompts based on the generated answers and the extracted features. The final goal of the prompt reconstructor is to generate the reversed prompts, which are similar to the original prompts. Our experimental results show the remarkable performance of our proposed attacks. Our proposed attacks add a new dimension to the study of prompt engineering and call for more attention to the security issues on LLMs.


title: Inferring Non-Failure Conditions for Declarative Programs

abstract: Unintended failures during a computation are painful but frequent during software development. Failures due to external reasons (e.g., missing files, no permissions) can be caught by exception handlers. Programming failures, such as calling a partially defined operation with unintended arguments, are often not caught due to the assumption that the software is correct. This paper presents an approach to verify such assumptions. For this purpose, non-failure conditions for operations are inferred and then checked in all uses of partially defined operations. In the positive case, the absence of such failures is ensured. In the negative case, the programmer could adapt the program to handle possibly failing situations and check the program again. Our method is fully automatic and can be applied to larger declarative programs. The results of an implementation for functional logic Curry programs are presented.


title: A formula of $A$-spectral radius for $A^{\frac{1}{2}}$-adjoint operators on semi-Hilbertian spaces

abstract: In this paper, we prove the relation $\frac{r_{A}(T) + r_{A}(T^{\diamond}) + |r_{A}(T^{\diamond}) - r_{A}(T)|}{2} = \sup \{ |\lambda|: \lambda \in \sigma_{A}(T)\}$, where $A$ is a positive semidefinite operator (not necessarily to have a closed range) and $r_{A}(T)$ is the $A$-spectral radius of $T$ in $B_{A^{\frac{1}{2}}}(H)$. Also we prove that $\sup \{ |\lambda|: \lambda \in \sigma_{A}(T)\} = r_{A}(T), \text{ when } T \in B_{A^{\frac{1}{2}}}(H) \text { commutes with } A$. By introducing $A$-Harte spectrum $\sigma_{A_{h}}(\mathbf{T})$ of a $d$-tuple operator $\mathbf{T}= (T_{1},\dots,T_{d}) \in (B_{A^{\frac{1}{2}}}(H))^{d}$, we prove that $r_{A_{h}}(\mathbf{T}) \leq \sup \{\|\lambda\|_{2}: \lambda \in \sigma_{A_{h}}(\mathbf{T})\}$, where $r_{A_{h}}(\mathbf{T})$ is the $A$-Harte spectral radius of $\mathbf{T}$.


title: Multi-Level ML Based Burst-Aware Autoscaling for SLO Assurance and Cost Efficiency

abstract: Autoscaling is a technology to automatically scale the resources provided to their applications without human intervention to guarantee runtime Quality of Service (QoS) while saving costs. However, user-facing cloud applications serve dynamic workloads that often exhibit variable and contain bursts, posing challenges to autoscaling for maintaining QoS within Service-Level Objectives (SLOs). Conservative strategies risk over-provisioning, while aggressive ones may cause SLO violations, making it more challenging to design effective autoscaling. This paper introduces BAScaler, a Burst-Aware Autoscaling framework for containerized cloud services or applications under complex workloads, combining multi-level machine learning (ML) techniques to mitigate SLO violations while saving costs. BAScaler incorporates a novel prediction-based burst detection mechanism that distinguishes between predictable periodic workload spikes and actual bursts. When bursts are detected, BAScaler appropriately overestimates them and allocates resources accordingly to address the rapid growth in resource demand. On the other hand, BAScaler employs reinforcement learning to rectify potential inaccuracies in resource estimation, enabling more precise resource allocation during non-bursts. Experiments across ten real-world workloads demonstrate BAScaler's effectiveness, achieving a 57% average reduction in SLO violations and cutting resource costs by 10% compared to other prominent methods.


title: Bivariant operadic categories

abstract: We develop a self-dual, bivariant extension of the concept of an operadic category, its associated operads and their algebras. Our new theory covers, besides all classical subjects, also generalized traces and bivariant versions of Kapranov's charades. It is, moreover, combinatorially rich and aesthetically pleasing.


title: Non-facial exposedness of copositive cones over symmetric cones

abstract: In this paper, we consider copositive cones over symmetric cones and show that they are never facially exposed when the underlying cone has dimension at least 2. We do so by explicitly exhibiting a non-exposed extreme ray. Our result extends the known fact that the cone of copositive matrices over the nonnegative orthant is not facially exposed in general.


title: Magnetospheric Flows in X-ray Pulsars I: Instability at super-Eddington regime of accretion

abstract: Within the magnetospheric radius, the geometry of accretion flow in X-ray pulsars is shaped by a strong magnetic field of a neutron star. Starting at the magnetospheric radius, accretion flow follows field lines and reaches the stellar surface in small regions located close to the magnetic poles of a star. At low mass accretion rates, the dynamic of the flow is determined by gravitational attraction and rotation of the magnetosphere due to the centrifugal force. At the luminosity range close to the Eddington limit and above it, the flow is additionally affected by the radiative force. We construct a model simulating accretion flow dynamics over the magnetosphere, assuming that the flow strictly follows field lines and is affected by gravity, radiative and centrifugal forces only. The magnetic field of a NS is taken to be dominated by the dipole component of arbitrary inclination with respect to the accretion disc plane. We show that accretion flow becomes unstable at high mass accretion rates and tends to fluctuate quasi-periodically with a typical period comparable to the free-fall time from the inner disc radius. The inclination of a magnetic dipole with respect to the disc plane and strong anisotropy of X-ray radiation stabilise the mass accretion rate at the poles of a star, but the surface density of material covering the magnetosphere fluctuates even in this case.


title: High Schmidt number concentration in quantum bound entangled states

abstract: A deep understanding of quantum entanglement is vital for advancing quantum technologies. The strength of entanglement can be quantified by counting the degrees of freedom that are entangled, which results in a quantity called Schmidt number. A particular challenge is to identify the strength of entanglement in quantum states which remain positive under partial transpose (PPT), otherwise recognized as undistillable states. Finding PPT states with high Schmidt number has become a mathematical and computational challenge. In this work, we introduce efficient analytical tools for calculating the Schmidt number for a class of bipartite states, called generalized grid states. Our methods improve the best known bounds for PPT states with high Schmidt number. Most notably, we construct a Schmidt number three PPT state in five dimensional systems and a family of states with a Schmidt number of $(d+1)/2$ for odd $d$-dimensional systems, representing the best-known scaling of the Schmidt number in a local dimension. Additionally, these states possess intriguing geometrical properties, which we utilize to construct indecomposable entanglement witnesses.


title: Quantifying Privacy via Information Density

abstract: We examine the relationship between privacy metrics that utilize information density to measure information leakage between a private and a disclosed random variable. Firstly, we prove that bounding the information density from above or below in turn implies a lower or upper bound on the information density, respectively. Using this result, we establish new relationships between local information privacy, asymmetric local information privacy, pointwise maximal leakage and local differential privacy. We further provide applications of these relations to privacy mechanism design. Furthermore, we provide statements showing the equivalence between a lower bound on information density and risk-averse adversaries. More specifically, we prove an equivalence between a guessing framework and a cost-function framework that result in the desired lower bound on the information density.


title: MapTrack: Tracking in the Map

abstract: Multi-Object Tracking (MOT) aims to maintain stable and uninterrupted trajectories for each target. Most state-of-the-art approaches first detect objects in each frame and then implement data association between new detections and existing tracks using motion models and appearance similarities. Despite achieving satisfactory results, occlusion and crowds can easily lead to missing and distorted detections, followed by missing and false associations. In this paper, we first revisit the classic tracker DeepSORT, enhancing its robustness over crowds and occlusion significantly by placing greater trust in predictions when detections are unavailable or of low quality in crowded and occluded scenes. Specifically, we propose a new framework comprising of three lightweight and plug-and-play algorithms: the probability map, the prediction map, and the covariance adaptive Kalman filter. The probability map identifies whether undetected objects have genuinely disappeared from view (e.g., out of the image or entered a building) or are only temporarily undetected due to occlusion or other reasons. Trajectories of undetected targets that are still within the probability map are extended by state estimations directly. The prediction map determines whether an object is in a crowd, and we prioritize state estimations over observations when severe deformation of observations occurs, accomplished through the covariance adaptive Kalman filter. The proposed method, named MapTrack, achieves state-of-the-art results on popular multi-object tracking benchmarks such as MOT17 and MOT20. Despite its superior performance, our method remains simple, online, and real-time. The code will be open-sourced later.


title: Gl\'orIA -- A Generative and Open Large Language Model for Portuguese

abstract: Significant strides have been made in natural language tasks, largely attributed to the emergence of powerful large language models (LLMs). These models, pre-trained on extensive and diverse corpora, have become increasingly capable of comprehending the intricacies of language. Despite the abundance of LLMs for many high-resource languages, the availability of such models remains limited for European Portuguese. We introduce Gl\'orIA, a robust European Portuguese decoder LLM. To pre-train Gl\'orIA, we assembled a comprehensive PT-PT text corpus comprising 35 billion tokens from various sources. We present our pre-training methodology, followed by an assessment of the model's effectiveness on multiple downstream tasks. Additionally, to evaluate our models' language modeling capabilities, we introduce CALAME-PT (Context-Aware LAnguage Modeling Evaluation for Portuguese), the first Portuguese zero-shot language-modeling benchmark. Evaluation shows that Gl\'orIA significantly outperforms existing open PT decoder models in language modeling and that it can generate sound, knowledge-rich, and coherent PT-PT text. The model also exhibits strong potential for various downstream tasks.


title: See Further Than CFAR: a Data-Driven Radar Detector Trained by Lidar

abstract: In this paper, we address the limitations of traditional constant false alarm rate (CFAR) target detectors in automotive radars, particularly in complex urban environments with multiple objects that appear as extended targets. We propose a data-driven radar target detector exploiting a highly efficient 2D CNN backbone inspired by the computer vision domain. Our approach is distinguished by a unique cross sensor supervision pipeline, enabling it to learn exclusively from unlabeled synchronized radar and lidar data, thus eliminating the need for costly manual object annotations. Using a novel large-scale, real-life multi-sensor dataset recorded in various driving scenarios, we demonstrate that the proposed detector generates dense, lidar-like point clouds, achieving a lower Chamfer distance to the reference lidar point clouds than CFAR detectors. Overall, it significantly outperforms CFAR baselines detection accuracy.


title: How Temporal Unrolling Supports Neural Physics Simulators

abstract: Unrolling training trajectories over time strongly influences the inference accuracy of neural network-augmented physics simulators. We analyze these effects by studying three variants of training neural networks on discrete ground truth trajectories. In addition to commonly used one-step setups and fully differentiable unrolling, we include a third, less widely used variant: unrolling without temporal gradients. Comparing networks trained with these three modalities makes it possible to disentangle the two dominant effects of unrolling, training distribution shift and long-term gradients. We present a detailed study across physical systems, network sizes, network architectures, training setups, and test scenarios. It provides an empirical basis for our main findings: A non-differentiable but unrolled training setup supported by a numerical solver can yield 4.5-fold improvements over a fully differentiable prediction setup that does not utilize this solver. We also quantify a difference in the accuracy of models trained in a fully differentiable setup compared to their non-differentiable counterparts. While differentiable setups perform best, the accuracy of unrolling without temporal gradients comes comparatively close. Furthermore, we empirically show that these behaviors are invariant to changes in the underlying physical system, the network architecture and size, and the numerical scheme. These results motivate integrating non-differentiable numerical simulators into training setups even if full differentiability is unavailable. We also observe that the convergence rate of common neural architectures is low compared to numerical algorithms. This encourages the use of hybrid approaches combining neural and numerical algorithms to utilize the benefits of both.


title: The kinematics of multiple Compton scattering of two-photon systems

abstract: We present a Stokes-Mueller method to calculate the cross sections associated with multiple Compton scattering of an arbitrary two-photon system. This method is used to calculate the cross section in the scenario in which one of the maximally entangled annihilation photons undergoes intermediate Compton scattering followed by the detection of both photons using a pair of Compton polarimeters. The method accounts for potential quantum-decoherence effects caused by Compton scattering. Despite being grounded in quantum field theory, the method does not require an in-depth understanding of its typically intricate prerequisites. As a result, this method is anticipated to be accessible to a broader community of physicists and is readily applicable in Monte Carlo simulations.


title: Between Green Hills and Green Bills: Unveiling the Green Shades of Sustainability and Burden Shifting through Multi-Objective Optimization in Swiss Energy System Planning

abstract: The Paris agreement is the first-ever universally accepted and legally binding agreement on global climate change. It is a bridge between today's and climate-neutrality policies and strategies before the end of the century. Critical to this endeavor is energy system modeling, which, while adept at devising cost-effective carbon-neutral strategies, often overlooks the broader environmental and social implications. This study introduces an innovative methodology that integrates life-cycle impact assessment indicators into energy system modeling, enabling a comprehensive assessment of both economic and environmental outcomes. Focusing on Switzerland's energy system as a case study, our model reveals that optimizing key environomic indicators can lead to significant economic advantages, with system costs potentially decreasing by 15% to 47% by minimizing potential impacts from operating fossil technologies to the indirect impact related to the construction of the renewable infrastructure. However, a system optimized solely for economic efficiency, despite achieving 63% reduction in carbon footprint compared to 2020, our results show a potential risk of burden shift to other environmental issues. The adoption of multi-objective optimization in our approach nuances the exploration of the complex interplay between environomic objectives and technological choices. Our results illuminate pathways towards more holistically optimized energy systems, effectively addressing trade-offs across environmental problems and enhancing societal acceptance of the solutions to this century's defining challenge.


title: Visual Style Prompting with Swapping Self-Attention

abstract: In the evolving domain of text-to-image generation, diffusion models have emerged as powerful tools in content creation. Despite their remarkable capability, existing models still face challenges in achieving controlled generation with a consistent style, requiring costly fine-tuning or often inadequately transferring the visual elements due to content leakage. To address these challenges, we propose a novel approach, \ours, to produce a diverse range of images while maintaining specific style elements and nuances. During the denoising process, we keep the query from original features while swapping the key and value with those from reference features in the late self-attention layers. This approach allows for the visual style prompting without any fine-tuning, ensuring that generated images maintain a faithful style. Through extensive evaluation across various styles and text prompts, our method demonstrates superiority over existing approaches, best reflecting the style of the references and ensuring that resulting images match the text prompts most accurately. Our project page is available https://curryjung.github.io/VisualStylePrompt/.


title: Besov Regularity of Weak solutions to a Class of Nonlinear Elliptic Equations

abstract: In this article, we study a Besov regularity estimate of weak solutions to a class of nonlinear elliptic equations in divergence form. The main purpose is to establish Calderon-Zygmund type estimate in Besov spaces with more general assumptions on coefficients, non-homogeneous term and integrable index. By involving the Sharp maximal function, we establish an oscillation estimate of weak solutions in Orlicz-Sobolev spaces. By deriving a higher integrability estimate of weak solutions, we obtain the desired regularity estimate which expands the Calderon-Zygmund theory for nonlinear elliptic equations.


title: The Impact of Demonstrations on Multilingual In-Context Learning: A Multidimensional Analysis

abstract: In-context learning is a popular inference strategy where large language models solve a task using only a few labeled demonstrations without needing any parameter updates. Although there have been extensive studies on English in-context learning, multilingual in-context learning remains under-explored, and we lack an in-depth understanding of the role of demonstrations in this context. To address this gap, we conduct a multidimensional analysis of multilingual in-context learning, experimenting with 5 models from different model families, 9 datasets covering classification and generation tasks, and 56 typologically diverse languages. Our results reveal that the effectiveness of demonstrations varies significantly across models, tasks, and languages. We also find that strong instruction-following models including Llama 2-Chat, GPT-3.5, and GPT-4 are largely insensitive to the quality of demonstrations. Instead, a carefully crafted template often eliminates the benefits of demonstrations for some tasks and languages altogether. These findings show that the importance of demonstrations might be overestimated. Our work highlights the need for granular evaluation across multiple axes towards a better understanding of in-context learning.


title: A sequence of Type Ib, IIb, II-L, and II-P supernovae from binary-star progenitors of varying initial separation

abstract: Over the last decade, evidence has accumulated that massive stars do not typically evolve in isolation but instead follow a tumultuous journey with a companion star on their way to core collapse. While Roche-lobe overflow appears instrumental for the production of a large fraction of supernovae (SNe) of Type Ib and Ic, variations in the initial orbital period Pinit of massive interacting binaries may also produce a wide diversity of case B, BC, or C systems, with preSN stars endowed from minute to massive H-rich envelopes. Focusing here on the explosion of the primary, donor star, originally of 12.6Msun, we use radiation-hydrodynamics and NLTE time-dependent radiative transfer to document the gas and radiation properties of such SNe, covering from Type Ib, IIb, II-L to II-P. Variations in Pinit are the root cause behind the wide diversity of our SN light curves, with single-peak, double-peak, fast-declining or plateau-like morphologies in the V band. The different ejecta structures, expansion rates, and relative abundances (e.g., H, He, 56Ni) are conducive to much diversity in spectral line shapes (absorption vs emission strength, width) and evolution. We emphasize that Halpha is a key tracer of these modulations, and that HeI7065 is an enduring optical diagnostic for the presence of He. Our grid of simulations fare well against representative SNe Ib, IIb, and IIP SNe, but interaction with circumstellar material, which is ignored in this work, is likely at the origin of the tension between our Type IIL SN models and observations (e.g., SN2006Y). Remaining discrepancies in our model rise time to bolometric maximum call for a proper account of both small-scale and large-scale structures in core-collapse SN ejecta. Discrepant Type IIP SN models, with a large plateau brightness but small line widths, may be cured by adopting more compact red-supergiant star progenitors.


title: Minimisation of peak stresses with the shape derivative

abstract: This paper is concerned with the minimisation of peak stresses occurring in linear elasticity. We propose to minimise the maximal von Mises stress of the elastic body. This leads to a nonsmooth shape functional. We derive the shape derivative and associate it with the Clarke sub-differential. Using a steepest descent algorithm we present numerical simulations. We compare our results to the usual $p$-norm regularisation and show that our algorithm performs better in the presented tests.


title: Adiabatic gauge potential and integrability breaking with free fermions

abstract: We revisit the problem of integrability breaking in free fermionic quantum spin chains. We investigate the so-called adiabatic gauge potential (AGP), which was recently proposed as an accurate probe of quantum chaos. We also study the so-called weak integrability breaking, which occurs if the dynamical effects of the perturbation do not appear at leading order in the perturbing parameter. A recent statement in the literature claimed that integrability breaking should generally lead to an exponential growth of the AGP norm with respect to the volume. However, afterwards it was found that weak integrability breaking is a counter-example, leading to a cross-over between polynomial and exponential growth. Here we show that in free fermionic systems the AGP norm always grows polynomially, if the perturbation is local with respect to the fermions, even if the perturbation strongly breaks integrability. As a by-product of our computations we also find, that in free fermionic spin chains there are operators which weakly break integrability, but which are not associated with known long range deformations.


title: Efficient adjustment for complex covariates: Gaining efficiency with DOPE

abstract: Covariate adjustment is a ubiquitous method used to estimate the average treatment effect (ATE) from observational data. Assuming a known graphical structure of the data generating model, recent results give graphical criteria for optimal adjustment, which enables efficient estimation of the ATE. However, graphical approaches are challenging for high-dimensional and complex data, and it is not straightforward to specify a meaningful graphical model of non-Euclidean data such as texts. We propose an general framework that accommodates adjustment for any subset of information expressed by the covariates. We generalize prior works and leverage these results to identify the optimal covariate information for efficient adjustment. This information is minimally sufficient for prediction of the outcome conditionally on treatment. Based on our theoretical results, we propose the Debiased Outcome-adapted Propensity Estimator (DOPE) for efficient estimation of the ATE, and we provide asymptotic results for the DOPE under general conditions. Compared to the augmented inverse propensity weighted (AIPW) estimator, the DOPE can retain its efficiency even when the covariates are highly predictive of treatment. We illustrate this with a single-index model, and with an implementation of the DOPE based on neural networks, we demonstrate its performance on simulated and real data. Our results show that the DOPE provides an efficient and robust methodology for ATE estimation in various observational settings.


title: Funktionalanalysis Teil I

abstract: Roughly spoken, Functionalanalysis means the study of the category of infinite-dimensional vectorspaces over the field of real or complex numbers, together with their linear maps. In most cases, one further needs a topological structure on such a vectorspace, because then, you can consider the continuous linear maps between such spaces. The name Functionalanalysis is due to the fact, that in the beginning of the theory, the authors wanted to expand Calculus onto functionals of spaces of functions. Functionalanalytical results give the possibility to solve problems in the Theory of (Partial) Differential Equations, in Complex Analysis or in Quantum Mechanics. But the aim of this lines is not to explain the applications. We will discuss the mathematical theory of almost metric spaces, normed vector spaces and algebras, spaces of continuous resp. $p$-integrable functions as well as reflexive and uniformly convex spaces. ad v2: We added that, in the case $p \in {]}0,1{[}$, $L^p$ is the completion of the compactly supported continuous functions (with the obvious metric), too. Actually, the proof is the same as in the case $p \in {[}1, \infty{[}$.


title: Fractional Boundary Value Problems and Elastic Sticky Brownian Motions, I: The half line

abstract: We extend the results obtained in \cite{Dov22} by introducing a new class of boundary value problems involving non-local dynamic boundary conditions. We focus on the problem to find a solution to a local problem on a domain $\Omega$ with non-local dynamic conditions on the boundary $\partial \Omega$. Due to the pioneering nature of the present research, we propose here the apparently simple case of $\Omega=(0, \infty)$ with boundary $\{0\}$ of zero Lebesgue measure. Our results turn out to be instructive for the general case of boundary with positive (finite) Borel measures. Moreover, in our view, we bring new light to dynamic boundary value problems and the probabilistic description of the associated models.


title: Proton and Neutron Induced SEU Cross Section Modeling and Simulation: A Unified Analytical Approach

abstract: A new physics-based compact model, which makes it possible to simulate in a unified way the neutron and proton of cosmic ray induced SEU cross sections, including effects from nuclear reaction products and from direct ionization by low-energy protons, has been proposed and vali-dated. The proposed approach is analytical and based on explicit analytical relationships and approximations with physics-based fitting parameters. GEANT4 or SRIM numerical calculations can be used as an aid to adjust or refine the phenomenological parameters or functions included in the model taking into account real geometrical configurations and chemical compositions of the devices. In particular, explicit energy dependencies of the soft error cross sections for protons and neutrons over a wide range of nucleon energies were obtained and validated. Main application areas of developed model include space physics, accelerator studies high energy physics and nuclear experiments.

categories: nucl-th hep-ph physics.ins-det physics.space-ph


title: Can GNN be Good Adapter for LLMs?

abstract: Recently, large language models (LLMs) have demonstrated superior capabilities in understanding and zero-shot learning on textual data, promising significant advances for many text-related domains. In the graph domain, various real-world scenarios also involve textual data, where tasks and node features can be described by text. These text-attributed graphs (TAGs) have broad applications in social media, recommendation systems, etc. Thus, this paper explores how to utilize LLMs to model TAGs. Previous methods for TAG modeling are based on million-scale LMs. When scaled up to billion-scale LLMs, they face huge challenges in computational costs. Additionally, they also ignore the zero-shot inference capabilities of LLMs. Therefore, we propose GraphAdapter, which uses a graph neural network (GNN) as an efficient adapter in collaboration with LLMs to tackle TAGs. In terms of efficiency, the GNN adapter introduces only a few trainable parameters and can be trained with low computation costs. The entire framework is trained using auto-regression on node text (next token prediction). Once trained, GraphAdapter can be seamlessly fine-tuned with task-specific prompts for various downstream tasks. Through extensive experiments across multiple real-world TAGs, GraphAdapter based on Llama 2 gains an average improvement of approximately 5\% in terms of node classification. Furthermore, GraphAdapter can also adapt to other language models, including RoBERTa, GPT-2. The promising results demonstrate that GNNs can serve as effective adapters for LLMs in TAG modeling.


title: L\"uscher equation with long-range forces

abstract: We derive the modified L\"uscher equation in the presence of the long-range force caused by the exchange of a light particle. It is shown that the use of this equation enables one to circumvent the problems related to the strong partial-wave mixing and the t-channel sub-threshold singularities. It is also demonstrated that the present method is intrinsically linked to the so-called modified effective-range expansion (MERE) in the infinite volume. A detailed comparison with the two recently proposed alternative approaches is provided.


title: Enabling Efficient Hybrid Systolic Computation in Shared L1-Memory Manycore Clusters

abstract: Systolic arrays and shared-L1-memory manycore clusters are commonly used architectural paradigms that offer different trade-offs to accelerate parallel workloads. While the first excel with regular dataflow at the cost of rigid architectures and complex programming models, the second are versatile and easy to program but require explicit dataflow management and synchronization. This work aims at enabling efficient systolic execution on shared-L1-memory manycore clusters. We devise a flexible architecture where small and energy-efficient RISC-V cores act as the systolic array's processing elements (PEs) and can form diverse, reconfigurable systolic topologies through queues mapped in the cluster's shared memory. We introduce two low-overhead RISC-V ISA extensions for efficient systolic execution, namely Xqueue and Queue-linked registers (QLRs), which support queue management in hardware. The Xqueue extension enables single-instruction access to shared-memory-mapped queues, while QLRs allow implicit and autonomous access to them, relieving the cores of explicit communication instructions. We demonstrate Xqueue and QLRs in MemPool, an open-source shared-memory cluster with 256 PEs, and analyze the hybrid systolic-shared-memory architecture's trade-offs on several DSP kernels with diverse arithmetic intensity. For an area increase of just 6%, our hybrid architecture can double MemPool's compute unit utilization, reaching up to 73%. In typical conditions (TT/0.80V/25{\deg}C), in a 22 nm FDX technology, our hybrid architecture runs at 600 MHz with no frequency degradation and is up to 65% more energy efficient than the shared-memory baseline, achieving up to 208 GOPS/W, with up to 63% of power spent in the PEs.


title: Towards Robust Graph Incremental Learning on Evolving Graphs

abstract: Incremental learning is a machine learning approach that involves training a model on a sequence of tasks, rather than all tasks at once. This ability to learn incrementally from a stream of tasks is crucial for many real-world applications. However, incremental learning is a challenging problem on graph-structured data, as many graph-related problems involve prediction tasks for each individual node, known as Node-wise Graph Incremental Learning (NGIL). This introduces non-independent and non-identically distributed characteristics in the sample data generation process, making it difficult to maintain the performance of the model as new tasks are added. In this paper, we focus on the inductive NGIL problem, which accounts for the evolution of graph structure (structural shift) induced by emerging tasks. We provide a formal formulation and analysis of the problem, and propose a novel regularization-based technique called Structural-Shift-Risk-Mitigation (SSRM) to mitigate the impact of the structural shift on catastrophic forgetting of the inductive NGIL problem. We show that the structural shift can lead to a shift in the input distribution for the existing tasks, and further lead to an increased risk of catastrophic forgetting. Through comprehensive empirical studies with several benchmark datasets, we demonstrate that our proposed method, Structural-Shift-Risk-Mitigation (SSRM), is flexible and easy to adapt to improve the performance of state-of-the-art GNN incremental learning frameworks in the inductive setting.


title: Spectral Properties of Dual Unit Gain Graphs

abstract: In this paper, we study dual quaternion and dual complex unit gain graphs and their spectral properties in a unified frame of dual unit gain graphs. Unit dual quaternions represent rigid movements in the 3D space, and have wide applications in robotics and computer graphics. Dual complex numbers found application in brain science recently. We establish the interlacing theorem for dual unit gain graphs, and show that the spectral radius of a dual unit gain graph is always not greater than the spectral radius of the underlying graph, and these two radii are equal if and only if the dual gain graph is balanced. By using the dual cosine functions, we establish the closed form of eigenvalues of adjacency and Laplacian matrices of dual complex and quaternion unit gain cycles. We then show the coefficient theorem holds for dual unit gain graphs. Similar results hold for the spectral radius of the Laplacian matrix of the dual unit gain graph too.


title: Tactile Perception in Upper Limb Prostheses: Mechanical Characterization, Human Experiments, and Computational Findings

abstract: Our research investigates vibrotactile perception in four prosthetic hands with distinct kinematics and mechanical characteristics. We found that rigid and simple socket-based prosthetic devices can transmit tactile information and surprisingly enable users to identify the stimulated finger with high reliability. This ability decreases with more advanced prosthetic hands with additional articulations and softer mechanics. We conducted experiments to understand the underlying mechanisms. We assessed a prosthetic user's ability to discriminate finger contacts based on vibrations transmitted through the four prosthetic hands. We also performed numerical and mechanical vibration tests on the prostheses and used a machine learning classifier to identify the contacted finger. Our results show that simpler and rigid prosthetic hands facilitate contact discrimination (for instance, a user of a purely cosmetic hand can distinguish a contact on the index finger from other fingers with 83% accuracy), but all tested hands, including soft advanced ones, performed above chance level. Despite advanced hands reducing vibration transmission, a machine learning algorithm still exceeded human performance in discriminating finger contacts. These findings suggest the potential for enhancing vibrotactile feedback in advanced prosthetic hands and lay the groundwork for future integration of such feedback in prosthetic devices.


title: Data Unfolding with Mean Integrated Square Error Optimization

abstract: Experimental data in Particle and Nuclear physics, Particle Astrophysics and Radiation Protection Dosimetry are obtained from experimental facilities comprising a complex array of sensors, electronics and software. Computer simulation is used to study the measurement process. Probability Density Functions (PDFs) of measured physical parameters deviate from true PDFs due to resolution, bias, and efficiency effects. Good estimates of the true PDF are necessary for testing theoretical models, comparing results from different experiments, and combining results from various research endeavors. In the article, the histogram method is employed to estimate both the measured and true PDFs. The binning of histograms is determined using the K-means clustering algorithm. The true PDF is estimated through the maximization of the likelihood function with entropy regularization, utilizing a non-linear optimization algorithm specially designed for this purpose. The accuracy of the results is assessed using the Mean Integrated Square Error. To determine the optimal value for the regularization parameter, a bootstrap method is applied. Additionally, a mathematical model of the measurement system is formulated using system identification methods. This approach enhances the robustness and precision of the estimation process, providing a more reliable analysis of the system's characteristics.


title: TRAP: Targeted Random Adversarial Prompt Honeypot for Black-Box Identification

abstract: Large Language Model (LLM) services and models often come with legal rules on who can use them and how they must use them. Assessing the compliance of the released LLMs is crucial, as these rules protect the interests of the LLM contributor and prevent misuse. In this context, we describe the novel fingerprinting problem of Black-box Identity Verification (BBIV). The goal is to determine whether a third-party application uses a certain LLM through its chat function. We propose a method called Targeted Random Adversarial Prompt (TRAP) that identifies the specific LLM in use. We repurpose adversarial suffixes, originally proposed for jailbreaking, to get a pre-defined answer from the target LLM, while other models give random answers. TRAP detects the target LLMs with over 95% true positive rate at under 0.2% false positive rate even after a single interaction. TRAP remains effective even if the LLM has minor changes that do not significantly alter the original function.


title: On gravito-inertial surface waves

abstract: In geophysical environments, wave motions that are shaped by the action of gravity and global rotation bear the name of gravito-inertial waves. We present a geometrical description of gravito-inertial surface waves, which are low-frequency waves existing in the presence of a solid boundary. We consider an idealized fluid model for an incompressible fluid enclosed in a smooth compact three-dimensional domain, subject to a constant rotation vector. The fluid is also stratified in density under a constant Brunt-V{\"a}is{\"a}l{\"a} frequency. The spectral problem is formulated in terms of the pressure, which satisfies a Poincar\'e equation within the domain, and a Kelvin equation on the boundary. The Poincar\'e equation is elliptic when the wave frequency is small enough, such that we can use the Dirichlet-to-Neumann operator to reduce the Kelvin equation to a pseudo-differential equation on the boundary. We find that the wave energy is concentrated on the boundary for large covectors, and can exhibit surface wave attractors for generic domains. In an ellipsoid, we show that these waves are square-integrable and reduce to spherical harmonics on the boundary.

categories: math.AP math-ph math.MP math.SP physics.geo-ph