title: Enriques surfaces with trivial Brauer map and involutions on hyperk\"ahler manifolds

abstract: Let $X$ be an Enriques surface. Using Beauville's result about the triviality of the Brauer map of $X$, we define a new involution on the category of coherent sheaves on the canonically covering K3 surface $\overline{X}$. We relate the fixed locus of this involution to certain Picard schemes of the noncommutative pair $(X,\mathcal{A})$, where $\mathcal{A}$ is an Azumaya algebra on $X$ defined by the nontrivial element in the Brauer group of $X$.


title: Local geometry of Equilibria and a Poincar\'e-Bendixson-type Theorem for Holomorphic Flows

abstract: In this paper, we explore the local geometry of dynamical systems $\dot{x}=F(x)$ with real time parameterization, where $F$ is holomorphic on connected open subsets of $\mathbb{C}\stackrel{\sim}{=}\mathbb{R}^2$. We describe the geometry of first-order equilibria. For equilibria of higher orders, we establish an equivalent condition for "definite directions", allowing us to reverse the implication in Theorem 2 of Chapter 2.10 in [Differential equations and dynamical systems, Lawrence Perko (1990)] under the additional condition of holomorphy. This enables the geometric construction of a finite elliptic decomposition. We derive a holomorphic Poincar\'e-Bendixson-type theorem, leading to the conclusion that bounded non-periodic orbits are always homoclinic or heteroclinic.


title: Global optimality under amenable symmetry constraints

abstract: We ask whether there exists a function or measure that (1) minimizes a given convex functional or risk and (2) satisfies a symmetry property specified by an amenable group of transformations. Examples of such symmetry properties are invariance, equivariance, or quasi-invariance. Our results draw on old ideas of Stein and Le Cam and on approximate group averages that appear in ergodic theorems for amenable groups. A class of convex sets known as orbitopes in convex analysis emerges as crucial, and we establish properties of such orbitopes in nonparametric settings. We also show how a simple device called a cocycle can be used to reduce different forms of symmetry to a single problem. As applications, we obtain results on invariant kernel mean embeddings and a Monge-Kantorovich theorem on optimality of transport plans under symmetry constraints. We also explain connections to the Hunt-Stein theorem on invariant tests.


title: Riemannian trust-region methods for strict saddle functions with complexity guarantees

abstract: The difficulty of minimizing a nonconvex function is in part explained by the presence of saddle points. This slows down optimization algorithms and impacts worst-case complexity guarantees. However, many nonconvex problems of interest possess a favorable structure for optimization, in the sense that saddle points can be escaped efficiently by appropriate algorithms. This strict saddle property has been extensively used in data science to derive good properties for first-order algorithms, such as convergence to second-order critical points. However, the analysis and the design of second-order algorithms in the strict saddle setting have received significantly less attention. In this paper, we consider second-order trust-region methods for a class of strict saddle functions defined on Riemannian manifolds. These functions exhibit (geodesic) strong convexity around minimizers and negative curvature at saddle points. We show that the standard trust-region method with exact subproblem minimization finds an approximate local minimizer in a number of iterations that depends logarithmically on the accuracy parameter, which significantly improves known results for general nonconvex optimization. We also propose an inexact variant of the algorithm that explicitly leverages the strict saddle property to compute the most appropriate step at every iteration. Our bounds for the inexact variant also improve over the general nonconvex case, and illustrate the benefit of using strict saddle properties within optimization algorithms. Keywords: Riemannian optimization, strict saddle function, second-order method, complexity guarantees.


title: Non-Hermitian bonding and electronic reconfiguration of Ba$_2$ScNbO$_6$ and Ba$_2$LuNbO$_6$

abstract: Despite the extensive applications of perovskite compounds, the precise nature of non-Hermitian bonding in these materials remains poorly understood. In this study, density functional theory calculations were performed to determine the electronic structures of perovskite compounds. In particular, the bandgaps of Ba$_2$ScNbO$_6$ and Ba$_2$LuNbO$_6$ were found to be 2.617 and 2.629 eV, respectively, and the deformation bond energies and non-Hermitian bonding of these compounds were calculated. The relationship between the non-Hermitian zeros of the O-Nb bond of Ba$_2$ScNbO$_6$ and the non-Hermitian zeros of the Sc-O bond was found to be similar but with varying sizes. Further, in-depth research on the non-Hermitian chemistry verified that precise control of atomic bonding and electron states can be achieved, providing new insights into the study of chemical bonds.


title: Anchor-based Large Language Models

abstract: Large language models (LLMs) predominantly employ decoder-only transformer architectures, necessitating the retention of keys/values information for historical tokens to provide contextual information and avoid redundant computation. However, the substantial size and parameter volume of these LLMs require massive GPU memory. This memory demand increases with the length of the input text, leading to an urgent need for more efficient methods of information storage and processing. This study introduces Anchor-based LLMs (AnLLMs), which utilize an innovative anchor-based self-attention network (AnSAN) and also an anchor-based inference strategy. This approach enables LLMs to compress sequence information into an anchor token, reducing the keys/values cache and enhancing inference efficiency. Experiments on question-answering benchmarks reveal that AnLLMs maintain similar accuracy levels while achieving up to 99% keys/values cache reduction and up to 3.5 times faster inference. Despite a minor compromise in accuracy, the substantial enhancements of AnLLMs employing the AnSAN technique in resource utilization and computational efficiency underscore their potential for practical LLM applications.


title: Optimized noise-assisted simulation of the Lindblad equation with time-dependent coefficients on a noisy quantum processor

abstract: Noise in quantum devices is generally considered detrimental to computational accuracy. However, the recent proposal of noise-assisted simulation has demonstrated that noise can be an asset in digital quantum simulations of open systems on Noisy Intermediate-Scale Quantum (NISQ) devices. In this context, we introduce an optimized decoherence rate control scheme that can significantly reduce computational requirements by multiple orders of magnitude, in comparison to the original noise-assisted simulation. We further extend this approach to encompass Lindblad equations with time-dependent coefficients, using only quantum error characterization and mitigation techniques. This extension allows for the perturbative simulation of non-Markovian dynamics on NISQ devices, eliminating the need for ancilla qubits or mid-circuit measurements. Our contributions are validated through numerical experiments on an emulated IBMQ device. Overall, our work offers valuable optimizations that bring current quantum processors closer to effectively simulating realistic open systems.


title: Reconciling differential radii in the silver chain through improved measurement and {\it ab initio} calculations

abstract: Nuclear charge radius differences in the silver isotopic chain have been reported through different combinations of experiment and theory, and clear disagreement is observed beyond the assigned uncertainties. This study investigates this issue by combining high-accuracy calculations for six low-lying states of atomic silver with an improved measurement of the $5s ^2S_{1/2} - 5p ^2P_{3/2}$ transition optical isotope shift. Our calculations predict measured electronic transition energies in Ag I at the 0.3\% level, the highest accuracy achieved in this system so far. We calculate electronic isotope shift factors by employing analytical response relativistic coupled-cluster theory, and find that a consistent charge radius difference between 107,109Ag is returned when combining our calculations with the available optical isotope shift measurements. We therefore recommend an improved value for the mean-squared charge radius difference between $^{107}$Ag and $^{109}$Ag as $0.207(3)[4]$ fm$^2$, in marginal agreement with the value derived from muonic Ag experiments, and an updated set of charge radii differences across the isotopic chain.


title: Developing a Multi-variate Prediction Model For COVID-19 From Crowd-sourced Respiratory Voice Data

abstract: COVID-19 has affected more than 223 countries worldwide and in the Post-COVID Era, there is a pressing need for non-invasive, low-cost, and highly scalable solutions to detect COVID-19. We develop a deep learning model to identify COVID-19 from voice recording data. The novelty of this work is in the development of deep learning models for COVID-19 identification from only voice recordings. We use the Cambridge COVID-19 Sound database which contains 893 speech samples, crowd-sourced from 4352 participants via a COVID-19 Sounds app. Voice features including Mel-spectrograms and Mel-frequency cepstral coefficients (MFCC) and CNN Encoder features are extracted. Based on the voice data, we develop deep learning classification models to detect COVID-19 cases. These models include Long Short-Term Memory (LSTM) and Convolutional Neural Network (CNN) and Hidden-Unit BERT (HuBERT). We compare their predictive power to baseline machine learning models. HuBERT achieves the highest accuracy of 86\% and the highest AUC of 0.93. The results achieved with the proposed models suggest promising results in COVID-19 diagnosis from voice recordings when compared to the results obtained from the state-of-the-art.


title: Generating exact polytropes in non-conservative unimodular geometries

abstract: The trace-free Einstein equations contain one equation less than the complete field equations. In a static and spherically symmetric spacetime, the number of field equations is thus reduced to two. The equation of pressure isotropy of general relativity, however, is preserved thus showing that any known perfect fluid spacetime is a suitable candidate for the trace-free scenario. The extra freedom in imposing two constraints may now be exploited to include polytopes, something that is difficult in general relativity. The point here is that using any known exact solution one can find a polytropic star for various values of the polytropic index. One arrives at Tolman-Oppenheimer-Volkoff type equations and can study their solutions explicitly. Two examples of well-known stellar distributions that generate polytropes with physically reasonable behaviour are discussed. These models are regular, exhibit a sound speed that is never superluminal and are adiabatically stable in the sense of Chandrasekhar. We investigate a compactness measure confirming that our results are consistent with some observational data.


title: Correctness Verification of Neural Networks Approximating Differential Equations

abstract: Verification of Neural Networks (NNs) that approximate the solution of Partial Differential Equations (PDEs) is a major milestone towards enhancing their trustworthiness and accelerating their deployment, especially for safety-critical systems. If successful, such NNs can become integral parts of simulation software tools which can accelerate the simulation of complex dynamic systems more than 100 times. However, the verification of these functions poses major challenges; it is not straightforward how to efficiently bound them or how to represent the derivative of the NN. This work addresses both these problems. First, we define the NN derivative as a finite difference approximation. Then, we formulate the PDE residual bounding problem alongside the Initial Value Problem's error propagation. Finally, for the first time, we tackle the problem of bounding an NN function without a priori knowledge of the output domain. For this, we build a parallel branching algorithm that combines the incomplete CROWN solver and Gradient Attack for termination and domain rejection conditions. We demonstrate the strengths and weaknesses of the proposed framework, and we suggest further work to enhance its efficiency.


title: Propagation of logarithmic regularity and inviscid limit for the 2D Euler equations

abstract: The aim of this note is to study the Cauchy problem for the 2D Euler equations under very low regularity assumptions on the initial datum. We prove propagation of regularity of logarithmic order in the class of weak solutions with $L^p$ initial vorticity, provided that $p\geq 4$. We also study the inviscid limit from the 2D Navier-Stokes equations for vorticity with logarithmic regularity in the Yudovich class, showing a rate of convergence of order $|\log\nu|^{-\alpha/2}$ with $\alpha>0$.


title: Fluctuation-dissipation relation in cosmic microwave background

abstract: We study the fluctuation-dissipation relation for sound waves in the cosmic microwave background (CMB), employing effective field theory (EFT) for fluctuating hydrodynamics. Treating sound waves as the linear response to thermal radiation, we establish the fluctuation-dissipation relation within a cosmological framework. While dissipation is elucidated in established linear cosmological perturbation theory, the standard Boltzmann theory overlooks the associated noise, possibly contributing to inconsistencies in Lambda Cold Dark Matter ($\Lambda$CDM) cosmology. This paper employs EFT for fluctuating hydrodynamics in cosmological perturbation theory, deriving sound wave noise. Notably, the long-time limit of the noise spectrum is independent of viscosity details, resembling a Brownian motion bounded in a harmonic potential. The net energy transfer between the sound wave system and the radiation environment reaches a balance within Hubble time, suggesting the thermal equilibrium of the sound waves themselves. The induced density power spectrum is characterized as white noise dependent on the inverse of the entropy density, which is negligibly small on the CMB scale. The energy density of the entire sound wave system scales as $a^{-4}$, akin to radiation. While the numerical factor is not determined in the present calculation, the back reaction of the sound wave system to the background radiation may not be negligible, serving as a potential source for various fitting issues in $\Lambda$CDM cosmology.


title: Supervised and Unsupervised Mapping of Binary Variables: A proximity perspective

abstract: We propose a new mapping tool for supervised and unsupervised analysis of multivariate binary data with multiple items, questions, or response variables. The mapping assumes an underlying proximity response function, where participants can have multiple reasons to disagree or say ``no'' to a question. The probability to endorse, or to agree with an item depends on an item specific parameter and the distance in a joint space between a point representing the item and a point representing the participant. The item specific parameter defines a circle in the joint space around the location of the item such that for participants positioned within the circle the probability is larger than 0.5. For map estimation, we develop and test an MM-algorithm in which the negative likelihood function is majorized with a weighted least squares function. The weighted least squares function can be minimized with standard algorithms for multidimensional unfolding, except that negative working dissimilarities may occur in the iterative process. To illustrate the new mapping, two empirical data sets are analyzed. The mappings are interpreted in detail and the unsupervised map is compared to a visualization based on correspondence analysis. In a Monte Carlo study, we test the performance of the algorithm in terms of recovery of population parameters and conclude that this recovery is adequate. A second Monte Carlo study investigates the predictive performance of the new mapping compared to a similar mapping with a monotone response function.


title: Autonomous Data Selection with Language Models for Mathematical Texts

abstract: To improve language models' proficiency in mathematical reasoning via continual pretraining, we introduce a novel strategy that leverages base language models for autonomous data selection. Departing from conventional supervised fine-tuning or trained classifiers with human-annotated data, our approach Autonomous Data Selection (AutoDS) utilizes meta-prompted language models as zero-shot verifiers to evaluate and select high-quality mathematical content autonomously. To demonstrate the efficacy of our method, we continuously pretrained a 7B-parameter language model on our curated dataset, achieving substantial improvements in downstream performance on the MATH, GSM8K, and BIG-Bench Hard (BBH) tasks with a token amount reduced by orders of magnitude compared to previous continual pretraining works. Our method showcases a 2 times increase in pretraining token efficiency compared to state-of-the-art baselines, underscoring the potential of our approach in enhancing models' mathematical reasoning capabilities. The AutoMathText dataset is available at https://huggingface.co/datasets/math-ai/AutoMathText. The code is available at https://github.com/yifanzhang-pro/AutoMathText.


title: Stochastic Gradient Flow Dynamics of Test Risk and its Exact Solution for Weak Features

abstract: We investigate the test risk of continuous-time stochastic gradient flow dynamics in learning theory. Using a path integral formulation we provide, in the regime of a small learning rate, a general formula for computing the difference between test risk curves of pure gradient and stochastic gradient flows. We apply the general theory to a simple model of weak features, which displays the double descent phenomenon, and explicitly compute the corrections brought about by the added stochastic term in the dynamics, as a function of time and model parameters. The analytical results are compared to simulations of discrete-time stochastic gradient descent and show good agreement.


title: Unveiling the GeI2-Assisted Oriented Growth of Perovskite Crystallite for High-Performance Flexible Sn Perovskite Solar Cells

abstract: Tin perovskites are emerging as promising alternatives to their lead-based counterparts for high-performance and flexible perovskite solar cells (PSCs). However, their rapid crystallization often leads to inadequate film quality and poor device performance. In this study, the role of GeI2 as an additive is investigated for controlling the nucleation and crystallization processes of formamidium tin triiodide (FASnI3). The findings reveal the preferential formation of a Ge-rich layer at the bottom of the perovskite film upon the introduction of GeI2. It is proposed that the initial formation of the Ge-complex acts as a crystallization regulator, promoting oriented growth of subsequent FASnI3 crystals and enhancing overall crystallinity. Through the incorporation of an optimal amount of GeI2, flexible Sn PSCs with an efficiency of 10.8% were achieved. Furthermore, it was observed that the GeI2 additive ensures a remarkable shelf-life for the devices, with the rigid cells retaining 91% of their initial performance after more than 13,800 hours of storage in an N2 gas environment. This study elucidates the mechanistic role of GeI2 in regulating the nucleation and crystallization process of tin perovskites, providing valuable insights into the significance of additive engineering for the development of high-performance flexible tin PSCs.


title: On implicit and explicit representations for 1D distributed port-Hamiltonian systems

abstract: First, two examples of 1D distributed port-Hamiltonian systems with dissipation, given in explicit (descriptor) form, are considered: the Dzekster model for the seepage of underground water and a nanorod model with non-local viscous damping. Implicit representations in Stokes-Lagrange subspaces are formulated. These formulations lead to modified Hamiltonian functions with spatial differential operators. The associated power balance equations are derived, together with the new boundary ports. Second, the port-Hamiltonian formulations for the Timoshenko and the Euler-Bernoulli beams are recalled, the latter being a flow-constrained version of the former. Implicit representations of these models in Stokes-Lagrange subspaces and corresponding power balance equations are derived. Bijective transformations are proposed between the explicit and implicit representations. It is proven these transformations commute with the flow-constraint projection operator.


title: Logistic Multidimensional Data Analysis for Ordinal Response Variables using a Cumulative Link function

abstract: We present a multidimensional data analysis framework for the analysis of ordinal response variables. Underlying the ordinal variables, we assume a continuous latent variable, leading to cumulative logit models. The framework includes unsupervised methods, when no predictor variables are available, and supervised methods, when predictor variables are available. We distinguish between dominance variables and proximity variables, where dominance variables are analyzed using inner product models, whereas the proximity variables are analyzed using distance models. An expectation-majorization-minimization algorithm is derived for estimation of the parameters of the models. We illustrate our methodology with data from the International Social Survey Programme.


title: G-Retriever: Retrieval-Augmented Generation for Textual Graph Understanding and Question Answering

abstract: Given a graph with textual attributes, we enable users to `chat with their graph': that is, to ask questions about the graph using a conversational interface. In response to a user's questions, our method provides textual replies and highlights the relevant parts of the graph. While existing works integrate large language models (LLMs) and graph neural networks (GNNs) in various ways, they mostly focus on either conventional graph tasks (such as node, edge, and graph classification), or on answering simple graph queries on small or synthetic graphs. In contrast, we develop a flexible question-answering framework targeting real-world textual graphs, applicable to multiple applications including scene graph understanding, common sense reasoning, and knowledge graph reasoning. Toward this goal, we first develop a Graph Question Answering (GraphQA) benchmark with data collected from different tasks. Then, we propose our G-Retriever method, introducing the first retrieval-augmented generation (RAG) approach for general textual graphs, which can be fine-tuned to enhance graph understanding via soft prompting. To resist hallucination and to allow for textual graphs that greatly exceed the LLM's context window size, G-Retriever performs RAG over a graph by formulating this task as a Prize-Collecting Steiner Tree optimization problem. Empirical evaluations show that our method outperforms baselines on textual graph tasks from multiple domains, scales well with larger graph sizes, and mitigates hallucination.~\footnote{Our codes and datasets are available at: \url{https://github.com/XiaoxinHe/G-Retriever}}


title: Higher-order Connection Laplacians for Directed Simplicial Complexes

abstract: Higher-order networks encode the many-body interactions existing in complex systems, such as the brain, protein complexes, and social interactions. Simplicial complexes are higher-order networks that allow a comprehensive investigation of the interplay between topology and dynamics. However, simplicial complexes have the limitation that they only capture undirected higher-order interactions while in real-world scenarios, often there is a need to introduce the direction of simplices, extending the popular notion of direction of edges. On graphs and networks the Magnetic Laplacian, a special case of Connection Laplacian, is becoming a popular operator to treat edge directionality. Here we tackle the challenge of treating directional simplicial complexes by formulating Higher-order Connection Laplacians taking into account the configurations induced by the simplices' directions. Specifically, we define all the Connection Laplacians of directed simplicial complexes of dimension two and we discuss the induced higher-order diffusion dynamics by considering instructive synthetic examples of simplicial complexes. The proposed higher-order diffusion processes can be adopted in real scenarios when we want to consider higher-order diffusion displaying non-trivial frustration effects due to conflicting directionalities of the incident simplices.

categories: cs.SI cond-mat.dis-nn cond-mat.stat-mech nlin.AO physics.data-an


title: Overconfident and Unconfident AI Hinder Human-AI Collaboration

abstract: AI transparency is a central pillar of responsible AI deployment and effective human-AI collaboration. A critical approach is communicating uncertainty, such as displaying AI's confidence level, or its correctness likelihood (CL), to users. However, these confidence levels are often uncalibrated, either overestimating or underestimating actual CL, posing risks and harms to human-AI collaboration. This study examines the effects of uncalibrated AI confidence on users' trust in AI, AI advice adoption, and collaboration outcomes. We further examined the impact of increased transparency, achieved through trust calibration support, on these outcomes. Our results reveal that uncalibrated AI confidence leads to both the misuse of overconfident AI and disuse of unconfident AI, thereby hindering outcomes of human-AI collaboration. Deficiency of trust calibration support exacerbates this issue by making it harder to detect uncalibrated confidence, promoting misuse and disuse of AI. Conversely, trust calibration support aids in recognizing uncalibration and reducing misuse, but it also fosters distrust and causes disuse of AI. Our findings highlight the importance of AI confidence calibration for enhancing human-AI collaboration and suggest directions for AI design and regulation.


title: Complete Instances Mining for Weakly Supervised Instance Segmentation

abstract: Weakly supervised instance segmentation (WSIS) using only image-level labels is a challenging task due to the difficulty of aligning coarse annotations with the finer task. However, with the advancement of deep neural networks (DNNs), WSIS has garnered significant attention. Following a proposal-based paradigm, we encounter a redundant segmentation problem resulting from a single instance being represented by multiple proposals. For example, we feed a picture of a dog and proposals into the network and expect to output only one proposal containing a dog, but the network outputs multiple proposals. To address this problem, we propose a novel approach for WSIS that focuses on the online refinement of complete instances through the use of MaskIoU heads to predict the integrity scores of proposals and a Complete Instances Mining (CIM) strategy to explicitly model the redundant segmentation problem and generate refined pseudo labels. Our approach allows the network to become aware of multiple instances and complete instances, and we further improve its robustness through the incorporation of an Anti-noise strategy. Empirical evaluations on the PASCAL VOC 2012 and MS COCO datasets demonstrate that our method achieves state-of-the-art performance with a notable margin. Our implementation will be made available at https://github.com/ZechengLi19/CIM.


title: A Multinomial Canonical Decomposition Model, with emphasis on the analysis of Multivariate Binary data

abstract: In this paper, we propose to decompose the canonical parameter of a multinomial model into a set of participant scores and category scores. Both sets of scores are linearly constraint to represent external information about the participants and categories. For the estimation of the parameters of the decomposition, we derive a majorization-minimization algorithm. We place special emphasis on the case where the categories represent profiles of binary response variables. In that case, the multinomial model becomes a regression model for multiple binary response variables and researchers might be interested in the relationship of an external variable for the participant (i.e., a predictor) and one of the binary response variable or in the relationship between this predictor and the association among binary response variables. We derive interpretational rules for these relationships in terms of changes in log odds or log odds ratios. Connections between our multinomial canonical decomposition and loglinear models, multinomial logistic regression, multinomial reduced rank logistic regression, and double constrained correspondence analysis are discussed. We illustrate our methodology with two empirical data sets.


title: Collaborative Semantic Occupancy Prediction with Hybrid Feature Fusion in Connected Automated Vehicles

abstract: Collaborative perception in automated vehicles leverages the exchange of information between agents, aiming to elevate perception results. Previous camera-based collaborative 3D perception methods typically employ 3D bounding boxes or bird's eye views as representations of the environment. However, these approaches fall short in offering a comprehensive 3D environmental prediction. To bridge this gap, we introduce the first method for collaborative 3D semantic occupancy prediction. Particularly, it improves local 3D semantic occupancy predictions by hybrid fusion of (i) semantic and occupancy task features, and (ii) compressed orthogonal attention features shared between vehicles. Additionally, due to the lack of a collaborative perception dataset designed for semantic occupancy prediction, we augment a current collaborative perception dataset to include 3D collaborative semantic occupancy labels for a more robust evaluation. The experimental findings highlight that: (i) our collaborative semantic occupancy predictions excel above the results from single vehicles by over 30%, and (ii) models anchored on semantic occupancy outpace state-of-the-art collaborative 3D detection techniques in subsequent perception applications, showcasing enhanced accuracy and enriched semantic-awareness in road environments.


title: On solution manifolds of some differential equations with more general state-dependent delay

abstract: Differential equations with state-dependent delays define a semiflow of continuously differentiable solution operators in general only on the associated {\it solution manifold} in the Banach space $C^1_n=C^1([-h,0],\mathbb{R}^n)$. For a prototypic example we develop a new proof that its solution manifold is diffeomorphic to an open subset of the subspace given by $\phi'(0)=0$, without recourse to a restrictive hypothesis about the form of delays which is instrumental in earlier work on the nature of solution manifolds. The new proof uses the framework of algebraic-delay systems.


title: Compressive Recovery of Signals Defined on Perturbed Graphs

abstract: Recovery of signals with elements defined on the nodes of a graph, from compressive measurements is an important problem, which can arise in various domains such as sensor networks, image reconstruction and group testing. In some scenarios, the graph may not be accurately known, and there may exist a few edge additions or deletions relative to a ground truth graph. Such perturbations, even if small in number, significantly affect the Graph Fourier Transform (GFT). This impedes recovery of signals which may have sparse representations in the GFT bases of the ground truth graph. We present an algorithm which simultaneously recovers the signal from the compressive measurements and also corrects the graph perturbations. We analyze some important theoretical properties of the algorithm. Our approach to correction for graph perturbations is based on model selection techniques such as cross-validation in compressed sensing. We validate our algorithm on signals which have a sparse representation in the GFT bases of many commonly used graphs in the network science literature. An application to compressive image reconstruction is also presented, where graph perturbations are modeled as undesirable graph edges linking pixels with significant intensity difference. In all experiments, our algorithm clearly outperforms baseline techniques which either ignore the perturbations or use first order approximations to the perturbations in the GFT bases.


title: Observation of Larmor-like precession of a single birefringent particle due to spin-dependent forces in tilted optical tweezers

abstract: We observe clear precessional motion of highly birefringent liquid crystal (LC) particles trapped in a spherically aberrated optical trap which is built around a tilted refractive index stratified medium. For input circularly polarized light, the breaking of azimuthal symmetry induced by the tilt leads to an asymmetric intensity distribution in the radial direction near the trap focal plane, which - in combination with the spin-orbit conversion effects for input circularly polarized light - results in non-uniform canonical and spin momentum densities in those regions. In addition, while the canonical momentum remains always oriented towards the axial direction, the spin momentum reverses direction along spatial loops in the radial direction. As a consequence, the total momentum precesses around the canonical momentum vector along elliptical spatial loops - akin to a Larmor-like precession of magnetic moment (total momentum in our case) around a magnetic field (canonical momentum). We probe this precession experimentally using the single trapped LC particles - with the direction of precession determined by the helicity of the input light and the precession frequency varying linearly with the laser power. Our experimental results are validated by numerical simulations of the system where we employ the Debye-Wolf theory for tight focusing in the presence of a tilted stratified media.


title: Tighter Bounds on the Information Bottleneck with Application to Deep Learning

abstract: Deep Neural Nets (DNNs) learn latent representations induced by their downstream task, objective function, and other parameters. The quality of the learned representations impacts the DNN's generalization ability and the coherence of the emerging latent space. The Information Bottleneck (IB) provides a hypothetically optimal framework for data modeling, yet it is often intractable. Recent efforts combined DNNs with the IB by applying VAE-inspired variational methods to approximate bounds on mutual information, resulting in improved robustness to adversarial attacks. This work introduces a new and tighter variational bound for the IB, improving performance of previous IB-inspired DNNs. These advancements strengthen the case for the IB and its variational approximations as a data modeling framework, and provide a simple method to significantly enhance the adversarial robustness of classifier DNNs.


title: CMFeed: A Benchmark Dataset for Controllable Multimodal Feedback Synthesis

abstract: The Controllable Multimodal Feedback Synthesis (CMFeed) dataset enables the generation of sentiment-controlled feedback from multimodal inputs. It contains images, text, human comments, comments' metadata and sentiment labels. Existing datasets for related tasks such as multimodal summarization, visual question answering, visual dialogue, and sentiment-aware text generation do not incorporate training models using human-generated outputs and their metadata, a gap that CMFeed addresses. This capability is critical for developing feedback systems that understand and replicate human-like spontaneous responses. Based on the CMFeed dataset, we define a novel task of controllable feedback synthesis to generate context-aware feedback aligned with the desired sentiment. We propose a benchmark feedback synthesis system comprising encoder, decoder, and controllability modules. It employs transformer and Faster R-CNN networks to extract features and generate sentiment-specific feedback, achieving a sentiment classification accuracy of 77.23%, which is 18.82% higher than models not leveraging the dataset's unique controllability features. Additionally, we incorporate a similarity module for relevance assessment through rank-based metrics.


title: Particle spectra of general Ricci-type Palatini or metric-affine theories

abstract: In the context of weak-field metric-affine (i.e. Palatini) gravity near Minkowski spacetime, we compute the particle spectra in the simultaneous presence of all independent contractions quadratic in Ricci-type tensors. Apart from the full metric-affine geometry, we study kinematic limits with vanishing torsion (i.e. a symmetric connection) and vanishing non-metricity (i.e. a metric connection, which is physically indistinguishable from Poincar\'e gauge theory at the level of the particle spectrum). We present a detailed report on how spin-parity projection operators can be used to derive systematically and unambiguously the character of the propagating states. The unitarity constraints derived from the requirements of tachyon- and ghost-freedom are obtained. We show that, even in the presence of all Ricci-type operators, only a narrow selection of viable theories emerges by a tuning.


title: A Flow-based Credibility Metric for Safety-critical Pedestrian Detection

abstract: Safety is of utmost importance for perception in automated driving (AD). However, a prime safety concern in state-of-the art object detection is that standard evaluation schemes utilize safety-agnostic metrics to argue sufficient detection performance. Hence, it is imperative to leverage supplementary domain knowledge to accentuate safety-critical misdetections during evaluation tasks. To tackle the underspecification, this paper introduces a novel credibility metric, called c-flow, for pedestrian bounding boxes. To this end, c-flow relies on a complementary optical flow signal from image sequences and enhances the analyses of safety-critical misdetections without requiring additional labels. We implement and evaluate c-flow with a state-of-the-art pedestrian detector on a large AD dataset. Our analysis demonstrates that c-flow allows developers to identify safety-critical misdetections.


title: A Lattice-Reduction Aided Vector Perturbation Precoder Relying on Quantum Annealing

abstract: Quantum annealing (QA) is proposed for vector perturbation precoding (VPP) in multiple input multiple output (MIMO) communications systems. The mathematical framework of VPP is presented, outlining the problem formulation and the benefits of lattice reduction algorithms. Lattice reduction aided quantum vector perturbation (LRAQVP) is designed by harnessing physical quantum hardware, and the optimization of hardware parameters is discussed. We observe a 5dB gain over lattice reduction zero forcing precoding (LRZFP), which behaves similarly to a quantum annealing algorithm operating without a lattice reduction stage. The proposed algorithm is also shown to approach the performance of a sphere encoder, which exhibits an exponentially escalating complexity.


title: Localization in Massive MIMO Networks: From Near-Field to Far-Field

abstract: Source localization is the process of estimating the location of signal sources based on the signals received at different antennas of an antenna array. It has diverse applications, ranging from radar systems and underwater acoustics to wireless communication networks. Subspace-based approaches are among the most effective techniques for source localization due to their high accuracy, with Multiple SIgnal Classification (MUSIC) and Estimation of Signal Parameters by Rotational Invariance Techniques (ESPRIT) being two prominent methods in this category. These techniques leverage the fact that the space spanned by the eigenvectors of the covariance matrix of the received signals can be divided into signal and noise subspaces, which are mutually orthogonal. Originally designed for far-field source localization, these methods have undergone several modifications to accommodate near-field scenarios as well. This chapter aims to present the foundations of MUSIC and ESPRIT algorithms and introduce some of their variations for both far-field and near-field localization by a single array of antennas. We further provide numerical examples to demonstrate the performance of the presented methods.


title: Detecting the Clinical Features of Difficult-to-Treat Depression using Synthetic Data from Large Language Models

abstract: Difficult-to-treat depression (DTD) has been proposed as a broader and more clinically comprehensive perspective on a person's depressive disorder where despite treatment, they continue to experience significant burden. We sought to develop a Large Language Model (LLM)-based tool capable of interrogating routinely-collected, narrative (free-text) electronic health record (EHR) data to locate published prognostic factors that capture the clinical syndrome of DTD. In this work, we use LLM-generated synthetic data (GPT3.5) and a Non-Maximum Suppression (NMS) algorithm to train a BERT-based span extraction model. The resulting model is then able to extract and label spans related to a variety of relevant positive and negative factors in real clinical data (i.e. spans of text that increase or decrease the likelihood of a patient matching the DTD syndrome). We show it is possible to obtain good overall performance (0.70 F1 across polarity) on real clinical data on a set of as many as 20 different factors, and high performance (0.85 F1 with 0.95 precision) on a subset of important DTD factors such as history of abuse, family history of affective disorder, illness severity and suicidality by training the model exclusively on synthetic data. Our results show promise for future healthcare applications especially in applications where traditionally, highly confidential medical data and human-expert annotation would normally be required.


title: Tunable on-chip electro-optic frequency-comb generation at 8 {\mu}m wavelength

abstract: Dual-comb spectroscopy is a powerful technique to measure optical spectra in a wide spectral range with high-frequency resolution. The development of compact systems operating in the long-wave infrared wavelength range is of high interest for spectroscopic and sensing applications. Amongst the different techniques to obtain optical frequency-combs, electro-optic frequency-comb generation presents major advantages thanks to the tunable repetition rate only limited by the bandwidth of the used electro-optical modulator. However, the development of integrated and efficient electro-optical modulators operating in a wide long-wave infrared spectral band is still at its infancy, and electro-optical frequency-comb has not been demonstrated so far beyond the telecom band. In this work, a Schottky-based modulator embedded in a Ge-rich graded SiGe waveguide is used for electro-optic frequency-comb generation. Considering the limited efficiency of the modulator, harmonically-rich RF signals are used to enhance the generation of comb lines around the optical carrier. Interestingly, this allows us to demonstrate the generation of electro-optical combs spanning over 2.4 GHz around 8 {\mu}m wavelength. This paves the way towards fully integrated and tunable mid-infrared electro-optic frequency-comb generation systems.


title: GRILLBot In Practice: Lessons and Tradeoffs Deploying Large Language Models for Adaptable Conversational Task Assistants

abstract: We tackle the challenge of building real-world multimodal assistants for complex real-world tasks. We describe the practicalities and challenges of developing and deploying GRILLBot, a leading (first and second prize winning in 2022 and 2023) system deployed in the Alexa Prize TaskBot Challenge. Building on our Open Assistant Toolkit (OAT) framework, we propose a hybrid architecture that leverages Large Language Models (LLMs) and specialised models tuned for specific subtasks requiring very low latency. OAT allows us to define when, how and which LLMs should be used in a structured and deployable manner. For knowledge-grounded question answering and live task adaptations, we show that LLM reasoning abilities over task context and world knowledge outweigh latency concerns. For dialogue state management, we implement a code generation approach and show that specialised smaller models have 84% effectiveness with 100x lower latency. Overall, we provide insights and discuss tradeoffs for deploying both traditional models and LLMs to users in complex real-world multimodal environments in the Alexa TaskBot challenge. These experiences will continue to evolve as LLMs become more capable and efficient -- fundamentally reshaping OAT and future assistant architectures.


title: DeformNet: Latent Space Modeling and Dynamics Prediction for Deformable Object Manipulation

abstract: Manipulating deformable objects is a ubiquitous task in household environments, demanding adequate representation and accurate dynamics prediction due to the objects' infinite degrees of freedom. This work proposes DeformNet, which utilizes latent space modeling with a learned 3D representation model to tackle these challenges effectively. The proposed representation model combines a PointNet encoder and a conditional neural radiance field (NeRF), facilitating a thorough acquisition of object deformations and variations in lighting conditions. To model the complex dynamics, we employ a recurrent state-space model (RSSM) that accurately predicts the transformation of the latent representation over time. Extensive simulation experiments with diverse objectives demonstrate the generalization capabilities of DeformNet for various deformable object manipulation tasks, even in the presence of previously unseen goals. Finally, we deploy DeformNet on an actual UR5 robotic arm to demonstrate its capability in real-world scenarios.


title: Revisiting effective Einstein equations on a 3-brane in the presence of torsion

abstract: The effective Einstein equations on a 3-brane embedded in a 5-dimensional Riemann-Cartan bulk spacetime are revisited. Addressing the shortcomings in the hitherto published junction conditions on the brane in the presence of torsion, we have elaborated on our general form of the junction conditions recently published. Applying our general junction conditions, we have formulated the effective Einstein equations on a Z2 symmetric brane in a standard form highlighting the difference to those published so far.


title: Spin orbit resonance cascade via core shell model. Application to Mercury and Ganymede

abstract: We discuss a model describing the spin orbit resonance cascade. We assume that the primary has a two-layer (core-shell) structure: it is composed by a thin solid crust and an inner and heavier solid core that are interacting due to the presence of a fluid interface. We assume two sources of dissipation: a viscous one, depending on the relative angular velocity between core and crust and a tidal one, smaller than the first, due to the viscoelastic structure of the core. We show how these two sources of dissipation are needful for the capture in spin-orbit resonance. The crust and the core fall in resonance with different time scales if the viscous coupling between them is big enough. Finally, the tidal dissipation of the viscoelastic core, decreasing the eccentricity, brings the system out of the resonance in a third very long time scale. This mechanism of entry and exit from resonance ends in the $1:1$ stable state.


title: Graphene Oxide and Polymer Humidity Micro-Sensors Prepared by Carbon Beam Writing

abstract: In this study, novel flexible micro-scale humidity sensors were directly fabricated in graphene oxide (GO) and polyimide (PI) using ion beam writing without any further modifications, and then successfully tested in an atmospheric chamber. Two low fluences of carbon ions with an energy of 5 MeV were used, and structural changes in the irradiated materials were expected. The shape and structure of prepared micro-sensors were studied using scanning electron microscopy (SEM). The structural and compositional changes in the irradiated area were characterized using micro-Raman spectroscopy, X-ray photoelectron spectroscopy (XPS), Rutherford back-scattering spectroscopy (RBS), energy-dispersive X-ray spectroscopy (EDS), and elastic recoil detection analysis (ERDA) spectroscopy. The sensing performance was tested at a relative humidity (RH) ranging from 5 % to 60 %, where the electrical conductivity of PI varied by three orders of magnitude, and the electrical capacitance of GO varied in the order of pico-farads. In addition, the PI sensor has proven long-term sensing stability in air. We demonstrated a novel method of ion micro-beam writing to prepare flexible micro-sensors that function over a wide range of humidity and have good sensitivity and great potential for widespread applications.


title: Well-posedness for the NLS hierarchy

abstract: We prove well-posedness for higher-order equations in the so-called NLS hierarchy (also known as part of the AKNS hierarchy) in almost critical Fourier-Lebesgue spaces and in modulation spaces. We show the $j$th equation in the hierarchy is locally well-posed for initial data in $\hat H^s_r(\mathbb{R})$ for $s \ge \frac{j-1}{r'}$ and $1 < r \le 2$ and also in $M^s_{2, p}(\mathbb{R})$ for $s = \frac{j-1}{2}$ and $2 \le p < \infty$. Supplementing our results with corresponding ill-posedness results in Fourier-Lebesgue spaces shows optimality. Using the conserved quantities derived in Koch-Tataru (2018) we argue that the hierarchy equations are globally well-posed for data in $H^s(\mathbb{R})$ for $s \ge \frac{j-1}{2}$. Our arguments are based on the Fourier restriction norm method in Bourgain spaces adapted to our data spaces and bi- & trilinear refinements of Strichartz estimates.


title: Variational protocols for emulating digital gates using analog control with always-on interactions

abstract: We design variational pulse sequences tailored for neutral atom quantum simulators and show that we can engineer layers of single-qubit and multi-qubit gates. As an application, we discuss how the proposed method can be used to perform refocusing algorithms, SWAP networks, and ultimately quantum chemistry simulations. While the theoretical protocol we develop still has experimental limitations, it paves the way, with some further optimisation, for the use of analog quantum processors for variational quantum algorithms, including those not previously considered compatible with analog mode.


title: Impact of spatial transformations on landscape features of CEC2022 basic benchmark problems

abstract: When benchmarking optimization heuristics, we need to take care to avoid an algorithm exploiting biases in the construction of the used problems. One way in which this might be done is by providing different versions of each problem but with transformations applied to ensure the algorithms are equipped with mechanisms for successfully tackling a range of problems. In this paper, we investigate several of these problem transformations and show how they influence the low-level landscape features of a set of 5 problems from the CEC2022 benchmark suite. Our results highlight that even relatively small transformations can significantly alter the measured landscape features. This poses a wider question of what properties we want to preserve when creating problem transformations, and how to fairly measure them.


title: Inhomogeneous spin momentum induced orbital motion of birefringent particles in tight focusing of vector beams in optical tweezers

abstract: Spin orbit interaction (SOI) due to tight focusing of light in optical tweezers has led to exciting and exotic avenues towards inducing rotation in microscopic particles. However, instances where the back action of the particles influences and modifies SOI effects so as to induce rotational motion are rarely known. Here, we tightly focus a vector beam having radial/azimuthal polarization carrying no intrinsic angular momentum, into a refractive index stratified medium, and observe orbital rotation of birefringent particles around the beam propagation axis. In order to validate our experimental findings, we perform numerical simulations of the underlying equations. Our simulations reveal that the interaction of light with a birefringent particle gives rise to inhomogeneous spin currents near the focus, resulting in a finite spin momentum. This spin momentum combines with the canonical momentum to finally generate an origin-dependent orbital angular momentum which is manifested in the rotation of the birefringent particles around the beam axis. Our study describes a unique modulation of the SOI of light due to interaction with anisotropic particles that can be used to identify new avenues for exotic and complex particle manipulation in optical tweezers.


title: Low Cost Carriers induce specific and identifiable delay propagation patterns: an analysis of the EU and US systems

abstract: The impact of air transport delays and their propagation has long been studied, mainly from environmental and mobility viewpoints, using a wide range of data analysis tools and simulations. Less attention has nevertheless been devoted to how delays create meso-scale structures around each airport. In this work we tackle this issue by reconstructing functional networks of delay propagation centred at each airport, and studying their identifiability (i.e. how unique they are) using Deep Learning models. We find that such delay propagation neighbourhoods are highly unique when they correspond to airports with a high share of Low Cost Carriers operations; and demonstrate the robustness of these findings for the EU and US systems, and to different methodological choices. We further discuss some operational implications of this uniqueness.


title: Evaluation of plasma on deflection angle and shadow by a black hole solution immersed in perfect fluid in Rastall theory

abstract: The present study examines the gravitational deflection of particles in curved space-times immersed in perfect fluid in the context of Rastall theory, applying the Gibbons-Werner useful technique. In its application to integral areas inside a four-dimensional space-time, the Gauss-Bonnet theorem studies the computation expression of the deflection angle. The Gibbons-Werner technique has two limitations in Rastall theory for space-times immersed in perfect fluid: the integral region is generally infinite and the integral complicates calculation, particularly for complex space-times and extremely accurate solutions. An infinite region approach to Gibbons-Werner is proposed to avoid singularity. For demonstrating the Gibbons-Werner method, we use a complete Rastall theory framework. It studies black hole solutions like the dust field, radiation field, quintessence field, cosmological constant field and phantom field using the Gibbons-Werner approach. Additionally, we check the deflection angle from these space-times under the influence of plasma. Furthermore, we compute analytically the influence of a plasma on a black hole shadow by using a ray-tracing approach. In the Hamiltonian equation, our model describes the plasma, so the light ray motion equations are independent of the plasma's velocity. It is assumed that plasma is a dispersive medium, pressure-less and non-magnetized. We investigate the perfect fluid in Rastall theory in further depth, where the plasma particle density corresponds to particle accumulation. The supermassive black hole shadows are explored in the case when plasma falls radially from infinity onto a black hole.


title: The Sound of Healthcare: Improving Medical Transcription ASR Accuracy with Large Language Models

abstract: In the rapidly evolving landscape of medical documentation, transcribing clinical dialogues accurately is increasingly paramount. This study explores the potential of Large Language Models (LLMs) to enhance the accuracy of Automatic Speech Recognition (ASR) systems in medical transcription. Utilizing the PriMock57 dataset, which encompasses a diverse range of primary care consultations, we apply advanced LLMs to refine ASR-generated transcripts. Our research is multifaceted, focusing on improvements in general Word Error Rate (WER), Medical Concept WER (MC-WER) for the accurate transcription of essential medical terms, and speaker diarization accuracy. Additionally, we assess the role of LLM post-processing in improving semantic textual similarity, thereby preserving the contextual integrity of clinical dialogues. Through a series of experiments, we compare the efficacy of zero-shot and Chain-of-Thought (CoT) prompting techniques in enhancing diarization and correction accuracy. Our findings demonstrate that LLMs, particularly through CoT prompting, not only improve the diarization accuracy of existing ASR systems but also achieve state-of-the-art performance in this domain. This improvement extends to more accurately capturing medical concepts and enhancing the overall semantic coherence of the transcribed dialogues. These findings illustrate the dual role of LLMs in augmenting ASR outputs and independently excelling in transcription tasks, holding significant promise for transforming medical ASR systems and leading to more accurate and reliable patient records in healthcare settings.


title: Multi-Behavior Collaborative Filtering with Partial Order Graph Convolutional Networks

abstract: Representing information of multiple behaviors in the single graph collaborative filtering (CF) vector has been a long-standing challenge. This is because different behaviors naturally form separate behavior graphs and learn separate CF embeddings. Existing models merge the separate embeddings by appointing the CF embeddings for some behaviors as the primary embedding and utilizing other auxiliaries to enhance the primary embedding. However, this approach often results in the joint embedding performing well on the main tasks but poorly on the auxiliary ones. To address the problem arising from the separate behavior graphs, we propose the concept of Partial Order Recommendation Graphs (POG). POG defines the partial order relation of multiple behaviors and models behavior combinations as weighted edges to merge separate behavior graphs into a joint POG. Theoretical proof verifies that POG can be generalized to any given set of multiple behaviors. Based on POG, we propose the tailored Partial Order Graph Convolutional Networks (POGCN) that convolute neighbors' information while considering the behavior relations between users and items. POGCN also introduces a partial-order BPR sampling strategy for efficient and effective multiple-behavior CF training. POGCN has been successfully deployed on the homepage of Alibaba for two months, providing recommendation services for over one billion users. Extensive offline experiments conducted on three public benchmark datasets demonstrate that POGCN outperforms state-of-the-art multi-behavior baselines across all types of behaviors. Furthermore, online A/B tests confirm the superiority of POGCN in billion-scale recommender systems.


title: R\'enyi Resolvability, Noise Stability, and Anti-contractivity

abstract: As indicated by the title, this paper investigates three closely related topics -- R\'enyi resolvability, noise stability, and anti-contractivity. The R\'enyi resolvability problem refers to approximating a target output distribution of a given channel in the R\'enyi divergence when the input is set to a function of a given uniform random variable. This problem for the R\'enyi parameter in $[0,2]\cup\{\infty\}$ was studied by the present author and Tan in 2019. In the present paper, we provide a complete solution to this problem for the R\'enyi parameter in the entire range $\mathbb{R}\cup\{\pm\infty\}$. We then connect the R\'enyi resolvability problem to the noise stability problem, by observing that the $q$-stability of a set can be expressed in terms of the R\'enyi divergence between the true output distribution and the target distribution in a variant of the R\'enyi resolvability problem. By such a connection, we provide sharp dimension-free bounds on the $q$-stability. We lastly relate the noise stability problem to the anti-contractivity of a Markov operator (i.e., conditional expectation operator), where anti-contractivity introduced by us refers to as the opposite property of the well-known contractivity/hyercontractivity. We derive sharp dimension-free anti-contractivity inequalities. All of the results in this paper are evaluated for binary distributions. Our proofs in this paper are mainly based on the method of types, especially strengthened versions of packing-covering lemmas.


title: Combining Evolutionary Strategies and Novelty Detection to go Beyond the Alignment Limit of the $Z_3$ 3HDM

abstract: We present a novel Artificial Intelligence approach for Beyond the Standard Model parameter space scans by augmenting an Evolutionary Strategy with Novelty Detection. Our approach leverages the power of Evolutionary Strategies, previously shown to quickly converge to the valid regions of the parameter space, with a \emph{novelty reward} to continue exploration once converged. Taking the $Z_3$ 3HDM as our Physics case, we show how our methodology allows us to quickly explore highly constrained multidimensional parameter spaces, providing up to eight orders of magnitude higher sampling efficiency when compared with pure random sampling and up to four orders of magnitude when compared to random sampling around the alignment limit. In turn, this enables us to explore regions of the parameter space that have been hitherto overlooked, leading to the possibility of novel phenomenological realisations of the $Z_3$ 3HDM that had not been considered before.


title: A hybrid memetic-ANS optimization algorithm for the home health care and home care routing and re

abstract: This paper addresses a realistic home health care and home care (HHC\&HC) problem which has become increasingly complex in the face of demographic aging and post-COVID-19 disruptions. The HHC\&HC sector, as the essential component of modern health care systems, faces unique challenges in efficiently scheduling and routing caregivers to meet the rising demand for home-based care services. Traditional approaches often fall short in addressing the dynamic nature of care requests, especially in accommodating new, same-day service requests without compromising scheduled visits. To tackle these issues, We define the problem as an HHC\&HC routing and rescheduling problem with rejection of new customers (HHC\&HCRRP-RNC), focusing on rescheduling for a single HHC\&HC caregiver in response to new customer requests within a single period. This problem is a variant of both the single-machine reschedule problem and the orienteering problem with mandatory visits (OPMV), where certain nodes must be visited while others are optional. A mixed integer linear programming (MILP) model is developed to cater to two groups of customers: pre-scheduled existing customers and same-day service new customers. The model emphasized maintaining minimal disruptions to the original schedule for existing customers as a constraint, highlighting the balance between adhering to scheduled visits and accommodating new customers. A hybrid memetic-Adaptive Neighborhood Search (ANS) optimization algorithm is proposed to tackle the model. This approach aims to minimize operational costs and opportunity costs while enhancing service quality and patient satisfaction. Through computational experiments, our proposed algorithm demonstrates notable performance, offering significant improvements in both efficiency and robustness within the problem domain.


title: Cost optimisation of individual-based institutional reward incentives for promoting cooperation in finite populations

abstract: In this paper, we study the problem of cost optimisation of individual-based institutional incentives (reward, punishment, and hybrid) for guaranteeing a certain minimal level of cooperative behaviour in a well-mixed, finite population. In this scheme, the individuals in the population interact via cooperation dilemmas (Donation Game or Public Goods Game) in which institutional reward is carried out only if cooperation is not abundant enough (i.e., their number is below a threshold $1\leq t\leq N-1$, where $N$ is the population size); and similarly, institutional punishment is carried out only when defection is too abundant. We study analytically the cases $t=1$ for the reward incentive, showing that the cost function is always non-decreasing. We also derive the neutral drift and strong selection limits when the intensity of selection tends to zero and infinity, respectively. We also numerically investigate the problem for other values of $t$.


title: Enabling performance portability of data-parallel OpenMP applications on asymmetric multicore processors

abstract: Asymmetric multicore processors (AMPs) couple high-performance big cores and low-power small cores with the same instruction-set architecture but different features, such as clock frequency or microarchitecture. Previous work has shown that asymmetric designs may deliver higher energy efficiency than symmetric multicores for diverse workloads. Despite their benefits, AMPs pose significant challenges to runtime systems of parallel programming models. While previous work has mainly explored how to efficiently execute task-based parallel applications on AMPs, via enhancements in the runtime system, improving the performance of unmodified data-parallel applications on these architectures is still a big challenge. In this work we analyze the particular case of loop-based OpenMP applications, which are widely used today in scientific and engineering domains, and constitute the dominant application type in many parallel benchmark suites used for performance evaluation on multicore systems. We observed that conventional loop-scheduling OpenMP approaches are unable to efficiently cope with the load imbalance that naturally stems from the different performance delivered by big and small cores. To address this shortcoming, we propose \textit{Asymmetric Iteration Distribution} (AID), a set of novel loop-scheduling methods for AMPs that distribute iterations unevenly across worker threads to efficiently deal with performance asymmetry. We implemented AID in \textit{libgomp} --the GNU OpenMP runtime system--, and evaluated it on two different asymmetric multicore platforms. Our analysis reveals that the AID methods constitute effective replacements of the \texttt{static} and \texttt{dynamic} methods on AMPs, and are capable of improving performance over these conventional strategies by up to 56\% and 16.8\%, respectively.


title: Uniqueness of semi-concave weak solutions for Hamilton-Jacobi equations

abstract: It is well known that when the nonlinearity is convex, the Hamilton-Jacobi PDE admits a unique semi-convex weak solution, which is the viscosity solution. In this paper, motivated by problems arising from spin glasses, we show that if the Hamilton-Jacobi PDE with strictly convex nonlinearity and regular enough initial condition admits a semi-concave weak solution, then this solution is the viscosity solution.


title: Approximating the Maximum Independent Set of Convex Polygons with a Bounded Number of Directions

abstract: In the maximum independent set of convex polygons problem, we are given a set of $n$ convex polygons in the plane with the objective of selecting a maximum cardinality subset of non-overlapping polygons. Here we study a special case of the problem where the edges of the polygons can take at most $d$ fixed directions. We present an $8d/3$-approximation algorithm for this problem running in time $O((nd)^{O(d4^d)})$. The previous-best polynomial-time approximation (for constant $d$) was a classical $n^\varepsilon$ approximation by Fox and Pach [SODA'11] that has recently been improved to a $OPT^{\varepsilon}$-approximation algorithm by Cslovjecsek, Pilipczuk and W\k{e}grzycki [SODA '24], which also extends to an arbitrary set of convex polygons. Our result builds on, and generalizes the recent constant factor approximation algorithms for the maximum independent set of axis-parallel rectangles problem (which is a special case of our problem with $d=2$) by Mitchell [FOCS'21] and G\'{a}lvez, Khan, Mari, M\"{o}mke, Reddy, and Wiese [SODA'22].


title: Tutorial: Shaping the Spatial Correlations of Entangled Photon Pairs

abstract: Quantum imaging enhances imaging systems performance, potentially surpassing fundamental limits such as noise and resolution. However, these schemes have limitations and are still a long way from replacing classical techniques. Therefore, there is a strong focus on improving the practicality of quantum imaging methods, with the goal of finding real-world applications. With this in mind, in this tutorial we describe how the concepts of classical light shaping can be applied to imaging schemes based on entangled photon pairs. We detail two basic experimental configurations in which a spatial light modulator is used to shape the spatial correlations of a photon pair state and highlight the key differences between this and classical shaping. We then showcase two recent examples that expand on these concepts to perform aberration and scattering correction with photon pairs. We include specific details on the key steps of these experiments, with the goal that this can be used as a guide for building photon-pair-based imaging and shaping experiments.


title: Band engineering of phosphorene/graphene van der Waals nanoribbons toward high-efficiency thermoelectric devices

abstract: Vertical integration of dissimilar layered materials in a so-called van der Waals (vdW) heterostructure (HS) has emerged as a useful tool to engineer band alignments and interfaces. In this paper, we investigate thermoelectric currents in a phosphorene/graphene vdW nanoribbon consisting of an armchair graphene nanoribbon (AGNR) stacked on an armchair phosphorene nanoribbon (APNR). We focus on the currents driven by a temperature difference between the leads in a two-probe junction. In contrast to pristine AGNRs and APNRs, such an armchair-edged HS can provide several nano-amperes of the current at room temperature, without any external field. External electric fields modify the electronic band structure and are able to induce a type-I to type-II band alignment transition and a direct-to-indirect band gap transition. Biasing the APNR/AGNR by an external electric field is found to strongly increase the thermally induced current and also control the direction of current flow at moderate temperatures. These results are important for potential applications of the APNR/AGNR vdW HS in flexible electronics and thermoelectric devices.


title: A History-dependent Dynamic Biot Model

abstract: In this work, we consider a fully dynamic Biot model that includes memory effects due to evolving permeability. Time integrals are used to account for the change in structure. We propose an iterative splitting scheme for this model, extending the fixed-stress split for the quasi-static Biot. We use finite elements in space and a backward Euler discretization in time. The performance of the method is demonstrated through a numerical experiment


title: On Iverson's law of similarity

abstract: Iverson (2006) proposed the law of similarity \[ \xi_{s}(\lambda x)= \gamma(\lambda, s)\xi_{\eta(\lambda, s)}(x) \] for the sensitivity functions $\xi_{s}\, (s\in S)$. Compared to the former models, the generality of this one lies in that here $\gamma$ and $\eta$ can also depend on the variables $\lambda$ and $s$. In the literature, this model (or its special cases) is usually considered together with a given psychophysical representation (e.g. Fechnerian, subtractive, or affine). Our goal, however, is to study at first Iverson's law of similarity on its own. At first we show that if certain mild assumptions are fulfilled, then $\xi$ can be written in a rather simple form containing only one-variable functions. The obtained form proves to be very useful when we assume some kind of representation. Motivated by Hsu and Iverson (2016), in the second part of the third section we study the above model assuming that the mapping $\eta$ is multiplicatively translational. First, we show how these mappings can be characterized. Later on we turn to the examination of the so-called power law. According to our results, the corresponding function $\xi$ then does not have a Fechnerian representation, but it do have a subtractive representation. As an application of the results of the subsection, we close the paper with the study of the shift invariance property.


abstract: This work introduces a novel method for embedding continuous variables into quantum circuits via piecewise polynomial features, utilizing low-rank tensor networks. Our approach, termed Piecewise Polynomial Tensor Network Quantum Feature Encoding (PPTNQFE), aims to broaden the applicability of quantum algorithms by incorporating spatially localized representations suited for numerical applications like solving partial differential equations and function regression. We demonstrate the potential of PPTNQFE through efficient point evaluations of solutions of discretized differential equations and in modeling functions with localized features such as jump discontinuities. While promising, challenges such as unexplored noise impact and design of trainable circuits remain. This study opens new avenues for enhancing quantum models with novel feature embeddings and leveraging TN representations for a wider array of function types in quantum machine learning.


title: Photonic cellular automaton simulation of relativistic quantum fields: observation of Zitterbewegung

abstract: Quantum Cellular Automaton (QCA) is a model for universal quantum computation and a natural candidate for digital quantum simulation of relativistic quantum fields. Here we introduce the first photonic platform for implementing QCA-simulation of a free relativistic Dirac quantum field in 1+1 dimension, through a Dirac Quantum Cellular Automaton (DQCA). Encoding the field position degree of freedom in the Orbital Angular Momentum (OAM) of single photons, our state-of-the-art setup experimentally realizes 8 steps of a DQCA, with the possibility of having complete control over the input OAM state preparation and the output measurement making use of two spatial light modulators. Therefore, studying the distribution in the OAM space at each step, we were able to reproduce the time evolution of the free Dirac field observing, the Zitterbewegung, an oscillatory movement extremely difficult to see in real case experimental scenario that is a signature of the interference of particle and antiparticle states. The accordance between the expected and measured Zitterbewegung oscillations certifies the simulator performances, paving the way towards the application of photonic platforms to the simulation of more complex relativistic effects.


title: A Computational Model of the Electrically or Acoustically Evoked Compound Action Potential in Cochlear Implant Users with Residual Hearing

abstract: Objective: In cochlear implant users with residual acoustic hearing, compound action potentials (CAPs) can be evoked by acoustic (aCAP) or electric (eCAP) stimulation and recorded through the electrodes of the implant. We propose a novel computational model to simulate aCAPs and eCAPs in humans, considering the interaction between combined electric-acoustic stimulation that occurs in the auditory nerve. Methods: The model consists of three components: a 3D finite element method model of an implanted cochlea, a phenomenological single-neuron spiking model for electric-acoustic stimulation, and a physiological multi-compartment neuron model to simulate the individual nerve fiber contributions to the CAP. Results: The CAP morphologies closely resembled those known from humans. The spread of excitation derived from eCAPs by varying the recording electrode along the cochlear implant electrode array was consistent with published human data. The predicted CAP amplitude growth functions largely resembled human data, with deviations in absolute CAP amplitudes for acoustic stimulation. The model reproduced the suppression of eCAPs by simultaneously presented acoustic tone bursts for different masker frequencies and probe stimulation electrodes. Conclusion: The proposed model can simulate CAP responses to electric, acoustic, or combined electric-acoustic stimulation. It considers the dependence on stimulation and recording sites in the cochlea, as well as the interaction between electric and acoustic stimulation in the auditory nerve. Significance: The model enhances comprehension of CAPs and peripheral electric-acoustic interaction. It can be used in the future to investigate objective methods, such as hearing threshold assessment or estimation of neural health through aCAPs or eCAPs.


title: A Multi-Tenant System for 5/6G Testbed as-a-Service

abstract: In order to fulfill the stringent requirements and fast advancements of 5G and beyond applications, it is inevitable to develop research/industrial testbeds to examine the different proposed innovative features of 5G and beyond. In this paper, we propose a testbed including 5G and beyond technologies by combining open-source solutions and our developed Network Services/Functions to enhance the ETSI-NFV MANO framework. Our testbed contains an automation framework to reduce both run time and setup complexity. It provides various services: Metal as a Service (MaaS), Infrastructure as a Service (IaaS), Platform as a Service (PaaS), different Network Functions (NFs), and Network Services (NSs), under the context of full automation of End-to-End (E2E) NSs on top of the services provided by ETSI.


title: The Massless Dirac Equation in Three Dimensions: Dispersive estimates and zero energy obstructions

abstract: We investigate dispersive estimates for the massless three dimensional Dirac equation with a potential. In particular, we show that the Dirac evolution satisfies a $\langle t\rangle^{-1}$ decay rate as an operator from $L^1$ to $L^\infty$ regardless of the existence of zero energy eigenfunctions. We also show this decay rate may be improved to $\langle t\rangle ^{-1-\gamma}$ for any $0\leq \gamma < 1/2$ at the cost of spatial weights. This estimate, along with the $L^2$ conservation law allows one to deduce a family of Strichartz estimates in the case of a threshold eigenvalue. We classify the structure of threshold obstructions as being composed of zero energy eigenfunctions. Finally, we show the Dirac evolution is bounded for all time with minimal requirements on the decay of the potential and smoothness of initial data.


title: Statistical modelling and Bayesian inversion for a Compton imaging system: application to radioactive source localisation

abstract: This paper presents a statistical forward model for a Compton imaging system, called Compton imager. This system, under development at the University of Illinois Urbana Champaign, is a variant of Compton cameras with a single type of sensors which can simultaneously act as scatterers and absorbers. This imager is convenient for imaging situations requiring a wide field of view. The proposed statistical forward model is then used to solve the inverse problem of estimating the location and energy of point-like sources from observed data. This inverse problem is formulated and solved in a Bayesian framework by using a Metropolis within Gibbs algorithm for the estimation of the location, and an expectation-maximization algorithm for the estimation of the energy. This approach leads to more accurate estimation when compared with the deterministic standard back-projection approach, with the additional benefit of uncertainty quantification in the low photon imaging setting.


title: GBOT: Graph-Based 3D Object Tracking for Augmented Reality-Assisted Assembly Guidance

abstract: Guidance for assemblable parts is a promising field for augmented reality. Augmented reality assembly guidance requires 6D object poses of target objects in real time. Especially in time-critical medical or industrial settings, continuous and markerless tracking of individual parts is essential to visualize instructions superimposed on or next to the target object parts. In this regard, occlusions by the user's hand or other objects and the complexity of different assembly states complicate robust and real-time markerless multi-object tracking. To address this problem, we present Graph-based Object Tracking (GBOT), a novel graph-based single-view RGB-D tracking approach. The real-time markerless multi-object tracking is initialized via 6D pose estimation and updates the graph-based assembly poses. The tracking through various assembly states is achieved by our novel multi-state assembly graph. We update the multi-state assembly graph by utilizing the relative poses of the individual assembly parts. Linking the individual objects in this graph enables more robust object tracking during the assembly process. For evaluation, we introduce a synthetic dataset of publicly available and 3D printable assembly assets as a benchmark for future work. Quantitative experiments in synthetic data and further qualitative study in real test data show that GBOT can outperform existing work towards enabling context-aware augmented reality assembly guidance. Dataset and code will be made publically available.


title: Connected Hamel bases in Hilbert spaces

abstract: Our main goal is to track down an algebraic basis of Hilbert space $\ell^2$ which is a connected and locally connected subset of the unit sphere.


title: On the isomorphism problem for central extensions II

abstract: In this paper, we study the isomorphism problem for central extensions. More precisely, in some new situations, we provide necessary and sufficient conditions for two central extensions to be isomorphic. We investigate the case when the quotient group is simple or purely non-abelian. Furthermore, we characterize isomorphisms leaving the quotient group invariant. Finally, we deal with isomorphisms of central extensions where the kernel group and the quotient group are isomorphic.


title: AYDIV: Adaptable Yielding 3D Object Detection via Integrated Contextual Vision Transformer

abstract: Combining LiDAR and camera data has shown potential in enhancing short-distance object detection in autonomous driving systems. Yet, the fusion encounters difficulties with extended distance detection due to the contrast between LiDAR's sparse data and the dense resolution of cameras. Besides, discrepancies in the two data representations further complicate fusion methods. We introduce AYDIV, a novel framework integrating a tri-phase alignment process specifically designed to enhance long-distance detection even amidst data discrepancies. AYDIV consists of the Global Contextual Fusion Alignment Transformer (GCFAT), which improves the extraction of camera features and provides a deeper understanding of large-scale patterns; the Sparse Fused Feature Attention (SFFA), which fine-tunes the fusion of LiDAR and camera details; and the Volumetric Grid Attention (VGA) for a comprehensive spatial data fusion. AYDIV's performance on the Waymo Open Dataset (WOD) with an improvement of 1.24% in mAPH value(L2 difficulty) and the Argoverse2 Dataset with a performance improvement of 7.40% in AP value demonstrates its efficacy in comparison to other existing fusion-based methods. Our code is publicly available at https://github.com/sanjay-810/AYDIV2


title: Large Language Models "Ad Referendum": How Good Are They at Machine Translation in the Legal Domain?

abstract: This study evaluates the machine translation (MT) quality of two state-of-the-art large language models (LLMs) against a tradition-al neural machine translation (NMT) system across four language pairs in the legal domain. It combines automatic evaluation met-rics (AEMs) and human evaluation (HE) by professional transla-tors to assess translation ranking, fluency and adequacy. The re-sults indicate that while Google Translate generally outperforms LLMs in AEMs, human evaluators rate LLMs, especially GPT-4, comparably or slightly better in terms of producing contextually adequate and fluent translations. This discrepancy suggests LLMs' potential in handling specialized legal terminology and context, highlighting the importance of human evaluation methods in assessing MT quality. The study underscores the evolving capabil-ities of LLMs in specialized domains and calls for reevaluation of traditional AEMs to better capture the nuances of LLM-generated translations.


title: Auxiliary Tasks to Boost Biaffine Semantic Dependency Parsing

abstract: The biaffine parser of Dozat and Manning (2017) was successfully extended to semantic dependency parsing (SDP) (Dozat and Manning, 2018). Its performance on graphs is surprisingly high given that, without the constraint of producing a tree, all arcs for a given sentence are predicted independently from each other (modulo a shared representation of tokens). To circumvent such an independence of decision, while retaining the O(n^2) complexity and highly parallelizable architecture, we propose to use simple auxiliary tasks that introduce some form of interdependence between arcs. Experiments on the three English acyclic datasets of SemEval 2015 task 18 (Oepen et al., 2015), and on French deep syntactic cyclic graphs (Ribeyre et al., 2014) show modest but systematic performance gains on a near state-of-the-art baseline using transformer-based contextualized representations. This provides a simple and robust method to boost SDP performance.


title: Two Choices are Enough for P-LCPs, USOs, and Colorful Tangents

abstract: We provide polynomial-time reductions between three search problems from three distinct areas: the P-matrix linear complementarity problem (P-LCP), finding the sink of a unique sink orientation (USO), and a variant of the $\alpha$-Ham Sandwich problem. For all three settings, we show that "two choices are enough", meaning that the general non-binary version of the problem can be reduced in polynomial time to the binary version. This specifically means that generalized P-LCPs are equivalent to P-LCPs, and grid USOs are equivalent to cube USOs. These results are obtained by showing that both the P-LCP and our $\alpha$-Ham Sandwich variant are equivalent to a new problem we introduce, P-Lin-Bellman. This problem can be seen as a new tool for formulating problems as P-LCPs.


title: Towards a Foundation Model for Brain Age Prediction using coVariance Neural Networks

abstract: Brain age is the estimate of biological age derived from neuroimaging datasets using machine learning algorithms. Increasing brain age with respect to chronological age can reflect increased vulnerability to neurodegeneration and cognitive decline. In this paper, we study NeuroVNN, based on coVariance neural networks, as a paradigm for foundation model for the brain age prediction application. NeuroVNN is pre-trained as a regression model on healthy population to predict chronological age using cortical thickness features and fine-tuned to estimate brain age in different neurological contexts. Importantly, NeuroVNN adds anatomical interpretability to brain age and has a `scale-free' characteristic that allows its transference to datasets curated according to any arbitrary brain atlas. Our results demonstrate that NeuroVNN can extract biologically plausible brain age estimates in different populations, as well as transfer successfully to datasets of dimensionalities distinct from that for the dataset used to train NeuroVNN.


title: Contrastive Multiple Instance Learning for Weakly Supervised Person ReID

abstract: The acquisition of large-scale, precisely labeled datasets for person re-identification (ReID) poses a significant challenge. Weakly supervised ReID has begun to address this issue, although its performance lags behind fully supervised methods. In response, we introduce Contrastive Multiple Instance Learning (CMIL), a novel framework tailored for more effective weakly supervised ReID. CMIL distinguishes itself by requiring only a single model and no pseudo labels while leveraging contrastive losses -- a technique that has significantly enhanced traditional ReID performance yet is absent in all prior MIL-based approaches. Through extensive experiments and analysis across three datasets, CMIL not only matches state-of-the-art performance on the large-scale SYSU-30k dataset with fewer assumptions but also consistently outperforms all baselines on the WL-market1501 and Weakly Labeled MUddy racer re-iDentification dataset (WL-MUDD) datasets. We introduce and release the WL-MUDD dataset, an extension of the MUDD dataset featuring naturally occurring weak labels from the real-world application at PerformancePhoto.co. All our code and data are accessible at https://drive.google.com/file/d/1rjMbWB6m-apHF3Wg_cfqc8QqKgQ21AsT/view?usp=drive_link.


title: Global well-posedness and asymptotic behavior for the Euler-alignment system with pressure

abstract: We study the Cauchy problem of the compressible Euler system with strongly singular velocity alignment. We establish a global well-posedness theory for the system with small smooth initial data. Additionally, we derive asymptotic emergent behaviors for the system, providing time decay estimates with optimal decay rates. Notably, the optimal decay rate we obtain does not align with the corresponding fractional heat equation within our considered range, where the parameter $\alpha\in(0,1)$. This highlights the distinct feature of the alignment operator.


title: Privacy-Preserving Gaze Data Streaming in Immersive Interactive Virtual Reality: Robustness and User Experience

abstract: Eye tracking is routinely being incorporated into virtual reality (VR) systems. Prior research has shown that eye tracking data, if exposed, can be used for re-identification attacks. The state of our knowledge about currently existing privacy mechanisms is limited to privacy-utility trade-off curves based on data-centric metrics of utility, such as prediction error, and black-box threat models. We propose that for interactive VR applications, it is essential to consider user-centric notions of utility and a variety of threat models. We develop a methodology to evaluate real-time privacy mechanisms for interactive VR applications that incorporate subjective user experience and task performance metrics. We evaluate selected privacy mechanisms using this methodology and find that re-identification accuracy can be decreased to as low as 14% while maintaining a high usability score and reasonable task performance. Finally, we elucidate three threat scenarios (black-box, black-box with exemplars, and white-box) and assess how well the different privacy mechanisms hold up to these adversarial scenarios. This work advances the state of the art in VR privacy by providing a methodology for end-to-end assessment of the risk of re-identification attacks and potential mitigating solutions.


title: CyberMetric: A Benchmark Dataset based on Retrieval-Augmented Generation for Evaluating LLMs in Cybersecurity Knowledge

abstract: Large Language Models (LLMs) are increasingly used across various domains, from software development to cyber threat intelligence. Understanding all the different fields of cybersecurity, which includes topics such as cryptography, reverse engineering, and risk assessment, poses a challenge even for human experts. To accurately test the general knowledge of LLMs in cybersecurity, the research community needs a diverse, accurate, and up-to-date dataset. To address this gap, we present CyberMetric-80, CyberMetric-500, CyberMetric-2000, and CyberMetric-10000, which are multiple-choice Q&A benchmark datasets comprising 80, 500, 2000, and 10,000 questions respectively. By utilizing GPT-3.5 and Retrieval-Augmented Generation (RAG), we collected documents, including NIST standards, research papers, publicly accessible books, RFCs, and other publications in the cybersecurity domain, to generate questions, each with four possible answers. The results underwent several rounds of error checking and refinement. Human experts invested over 200 hours validating the questions and solutions to ensure their accuracy and relevance, and to filter out any questions unrelated to cybersecurity. We have evaluated and compared 25 state-of-the-art LLM models on the CyberMetric datasets. In addition to our primary goal of evaluating LLMs, we involved 30 human participants to solve CyberMetric-80 in a closed-book scenario. The results can serve as a reference for comparing the general cybersecurity knowledge of humans and LLMs. The findings revealed that GPT-4o, GPT-4-turbo, Mixtral-8x7B-Instruct, Falcon-180B-Chat, and GEMINI-pro 1.0 were the best-performing LLMs. Additionally, the top LLMs were more accurate than humans on CyberMetric-80, although highly experienced human experts still outperformed small models such as Llama-3-8B, Phi-2 or Gemma-7b.


title: OrderBkd: Textual backdoor attack through repositioning

abstract: The use of third-party datasets and pre-trained machine learning models poses a threat to NLP systems due to possibility of hidden backdoor attacks. Existing attacks involve poisoning the data samples such as insertion of tokens or sentence paraphrasing, which either alter the semantics of the original texts or can be detected. Our main difference from the previous work is that we use the reposition of a two words in a sentence as a trigger. By designing and applying specific part-of-speech (POS) based rules for selecting these tokens, we maintain high attack success rate on SST-2 and AG classification datasets while outperforming existing attacks in terms of perplexity and semantic similarity to the clean samples. In addition, we show the robustness of our attack to the ONION defense method. All the code and data for the paper can be obtained at https://github.com/alekseevskaia/OrderBkd.


title: Interplay of pseudo-Hermitian symmetries and degenerate manifolds in the eigenspectrum of non-Hermitian systems

abstract: In this letter, we study how the spectrum of pseudo-Hermitian systems is influenced by the ambiguity in the choice of the pseudo-metric operator. In particular, we analyze the case when different parameter-independent choices of pseudo-metric are possible and how it can lead to the appearance of robust degenerate manifolds in the parameter space of the system.


title: Evaluation of a Smart Mobile Robotic System for Industrial Plant Inspection and Supervision

abstract: Automated and autonomous industrial inspection is a longstanding research field, driven by the necessity to enhance safety and efficiency within industrial settings. In addressing this need, we introduce an autonomously navigating robotic system designed for comprehensive plant inspection. This innovative system comprises a robotic platform equipped with a diverse array of sensors integrated to facilitate the detection of various process and infrastructure parameters. These sensors encompass optical (LiDAR, Stereo, UV/IR/RGB cameras), olfactory (electronic nose), and acoustic (microphone array) capabilities, enabling the identification of factors such as methane leaks, flow rates, and infrastructural anomalies. The proposed system underwent individual evaluation at a wastewater treatment site within a chemical plant, providing a practical and challenging environment for testing. The evaluation process encompassed key aspects such as object detection, 3D localization, and path planning. Furthermore, specific evaluations were conducted for optical methane leak detection and localization, as well as acoustic assessments focusing on pump equipment and gas leak localization.


title: Boundary Exploration for Bayesian Optimization With Unknown Physical Constraints

abstract: Bayesian optimization has been successfully applied to optimize black-box functions where the number of evaluations is severely limited. However, in many real-world applications, it is hard or impossible to know in advance which designs are feasible due to some physical or system limitations. These issues lead to an even more challenging problem of optimizing an unknown function with unknown constraints. In this paper, we observe that in such scenarios optimal solution typically lies on the boundary between feasible and infeasible regions of the design space, making it considerably more difficult than that with interior optima. Inspired by this observation, we propose BE-CBO, a new Bayesian optimization method that efficiently explores the boundary between feasible and infeasible designs. To identify the boundary, we learn the constraints with an ensemble of neural networks that outperform the standard Gaussian Processes for capturing complex boundaries. Our method demonstrates superior performance against state-of-the-art methods through comprehensive experiments on synthetic and real-world benchmarks. Code available at: https://github.com/yunshengtian/BE-CBO