title: DNNShield: Embedding Identifiers for Deep Neural Network Ownership Verification

abstract: The surge in popularity of machine learning (ML) has driven significant investments in training Deep Neural Networks (DNNs). However, these models that require resource-intensive training are vulnerable to theft and unauthorized use. This paper addresses this challenge by introducing DNNShield, a novel approach for DNN protection that integrates seamlessly before training. DNNShield embeds unique identifiers within the model architecture using specialized protection layers. These layers enable secure training and deployment while offering high resilience against various attacks, including fine-tuning, pruning, and adaptive adversarial attacks. Notably, our approach achieves this security with minimal performance and computational overhead (less than 5\% runtime increase). We validate the effectiveness and efficiency of DNNShield through extensive evaluations across three datasets and four model architectures. This practical solution empowers developers to protect their DNNs and intellectual property rights.


title: Nuclear magnetic shielding in heliumlike ions

abstract: Ab initio QED calculations of the nuclear magnetic shielding constant in helium-like ions are presented. We combine the nonrelativistic QED approach based on an expansion in powers of the fine-structure constant $\alpha$ and the so-called ``all-order'' QED approach which includes all orders in the parameter $Z\alpha$ but uses a perturbation expansion in the parameter $1/Z$ (where $Z$ is the nuclear charge number). The combination of the two complementary methods makes our treatment applicable both to low-$Z$ and high-$Z$ ions. Our calculations confirm the presence of a rare antiscreening effect for the relativistic shielding correction and demonstrate the importance of the inclusion of the negative-energy part of the Dirac spectrum.


title: Data Poisoning Attacks in Gossip Learning

abstract: Traditional machine learning systems were designed in a centralized manner. In such designs, the central entity maintains both the machine learning model and the data used to adjust the model's parameters. As data centralization yields privacy issues, Federated Learning was introduced to reduce data sharing and have a central server coordinate the learning of multiple devices. While Federated Learning is more decentralized, it still relies on a central entity that may fail or be subject to attacks, provoking the failure of the whole system. Then, Decentralized Federated Learning removes the need for a central server entirely, letting participating processes handle the coordination of the model construction. This distributed control urges studying the possibility of malicious attacks by the participants themselves. While poisoning attacks on Federated Learning have been extensively studied, their effects in Decentralized Federated Learning did not get the same level of attention. Our work is the first to propose a methodology to assess poisoning attacks in Decentralized Federated Learning in both churn free and churn prone scenarios. Furthermore, in order to evaluate our methodology on a case study representative for gossip learning we extended the gossipy simulator with an attack injector module.


title: Unexpected Quantum Indeterminacy

abstract: Recent philosophical discussions about metaphysical indeterminacy have been substantiated with the idea that quantum mechanics, one of the most successful physical theories in the history of science, provides explicit instances of worldly indefiniteness. Against this background, several philosophers underline that there are alternative formulations of quantum theory in which such indeterminacy has no room and plays no role. A typical example is Bohmian mechanics in virtue of its clear particle ontology. Contrary to these latter claims, this paper aims at showing that different pilot-wave theories do in fact instantiate diverse forms of metaphysical indeterminacy. Namely, I argue that there are various questions about worldly states of affairs that cannot be determined by looking exclusively at their ontologies and dynamical laws. Moreover, it will be claimed that Bohmian mechanics generates a new form of modal indeterminacy. Finally, it will be concluded that ontological clarity and indeterminacy are not mutually exclusive, i.e., the two can coexist in the same theory.


title: Strict hierarchy of optimal strategies for global estimations: Mapping global estimations into local ones

abstract: A crucial yet challenging issue in quantum metrology is to ascertain the ultimate precision achievable in estimation strategies. While there are two paradigms of estimations, local and global, current research is largely confined to local estimations, which are useful once the parameter of interest is approximately known. In this Letter we target a paradigm shift towards global estimations, which can operate reliably even with a few measurement data and no substantial prior knowledge about the parameter. The key innovation here is to develop a technique, dubbed virtual imaginary time evolution, capable of mapping global estimations into local ones. This offers an intriguing pathway to surmount challenges in the realm of global estimations by leveraging powerful tools tailored for local estimations. We explore our technique to unveil a strict hierarchy of achievable precision for different global estimation strategies, including parallel, sequential, and indefinite-causal-order strategies.


title: ContextGPT: Infusing LLMs Knowledge into Neuro-Symbolic Activity Recognition Models

abstract: Context-aware Human Activity Recognition (HAR) is a hot research area in mobile computing, and the most effective solutions in the literature are based on supervised deep learning models. However, the actual deployment of these systems is limited by the scarcity of labeled data that is required for training. Neuro-Symbolic AI (NeSy) provides an interesting research direction to mitigate this issue, by infusing common-sense knowledge about human activities and the contexts in which they can be performed into HAR deep learning classifiers. Existing NeSy methods for context-aware HAR rely on knowledge encoded in logic-based models (e.g., ontologies) whose design, implementation, and maintenance to capture new activities and contexts require significant human engineering efforts, technical knowledge, and domain expertise. Recent works show that pre-trained Large Language Models (LLMs) effectively encode common-sense knowledge about human activities. In this work, we propose ContextGPT: a novel prompt engineering approach to retrieve from LLMs common-sense knowledge about the relationship between human activities and the context in which they are performed. Unlike ontologies, ContextGPT requires limited human effort and expertise. An extensive evaluation carried out on two public datasets shows how a NeSy model obtained by infusing common-sense knowledge from ContextGPT is effective in data scarcity scenarios, leading to similar (and sometimes better) recognition rates than logic-based approaches with a fraction of the effort.


title: The Saito vector field of a germ of complex plane curve

abstract: In this article, we prove that an algorithm introduced by the author in a previous work and giving the generic dimension of the moduli space of a germ of curve in the complex plane that is the union of smooth curves, can be used identically to find this dimension for any kind of germ of plane curve.


title: Tail Optimality and Performance Analysis of the Nudge-M Scheduling Algorithm

abstract: Recently it was shown that the response time of First-Come-First-Served (FCFS) scheduling can be stochastically and asymptotically improved upon by the {\it Nudge} scheduling algorithm in case of light-tailed job size distributions. Such improvements are feasible even when the jobs are partitioned into two types and the scheduler only has information about the type of incoming jobs (but not their size). In this paper we introduce Nudge-$M$ scheduling, where basically any incoming type-1 job is allowed to pass any type-2 job that is still waiting in the queue given that it arrived as one of the last $M$ jobs. We prove that Nudge-$M$ has an asymptotically optimal response time within a large family of Nudge scheduling algorithms when job sizes are light-tailed. Simple explicit results for the asymptotic tail improvement ratio (ATIR) of Nudge-$M$ over FCFS are derived as well as explicit results for the optimal parameter $M$. An expression for the ATIR that only depends on the type-1 and type-2 mean job sizes and the fraction of type-1 jobs is presented in the heavy traffic setting. The paper further presents a numerical method to compute the response time distribution and mean response time of Nudge-$M$ scheduling provided that the job size distribution of both job types follows a phase-type distribution (by making use of the framework of Markov modulated fluid queues with jumps).


title: Analysis of Regular Sequences: Summatory Functions and Divide-and-Conquer Recurrences

abstract: In the asymptotic analysis of regular sequences as defined by Allouche and Shallit, it is usually advisable to study their summatory function because the original sequence has a too fluctuating behaviour. It might be that the process of taking the summatory function has to be repeated if the sequence is fluctuating too much. In this paper we show that for all regular sequences except for some degenerate cases, repeating this process finitely many times leads to a ``nice'' asymptotic expansion containing periodic fluctuations whose Fourier coefficients can be computed using the results on the asymptotics of the summatory function of regular sequences by the first two authors of this paper. In a recent paper, Hwang, Janson, and Tsai perform a thorough investigation of divide-and-conquer recurrences. These can be seen as $2$-regular sequences. By considering them as the summatory function of their forward difference, the results on the asymptotics of the summatory function of regular sequences become applicable. We thoroughly investigate the case of a polynomial toll function.


title: HDA-LVIO: A High-Precision LiDAR-Visual-Inertial Odometry in Urban Environments with Hybrid Data Association

abstract: To enhance localization accuracy in urban environments, an innovative LiDAR-Visual-Inertial odometry, named HDA-LVIO, is proposed by employing hybrid data association. The proposed HDA_LVIO system can be divided into two subsystems: the LiDAR-Inertial subsystem (LIS) and the Visual-Inertial subsystem (VIS). In the LIS, the LiDAR pointcloud is utilized to calculate the Iterative Closest Point (ICP) error, serving as the measurement value of Error State Iterated Kalman Filter (ESIKF) to construct the global map. In the VIS, an incremental method is firstly employed to adaptively extract planes from the global map. And the centroids of these planes are projected onto the image to obtain projection points. Then, feature points are extracted from the image and tracked along with projection points using Lucas-Kanade (LK) optical flow. Next, leveraging the vehicle states from previous intervals, sliding window optimization is performed to estimate the depth of feature points. Concurrently, a method based on epipolar geometric constraints is proposed to address tracking failures for feature points, which can improve the accuracy of depth estimation for feature points by ensuring sufficient parallax within the sliding window. Subsequently, the feature points and projection points are hybridly associated to construct reprojection error, serving as the measurement value of ESIKF to estimate vehicle states. Finally, the localization accuracy of the proposed HDA-LVIO is validated using public datasets and data from our equipment. The results demonstrate that the proposed algorithm achieves obviously improvement in localization accuracy compared to various existing algorithms.


title: Academically intelligent LLMs are not necessarily socially intelligent

abstract: The academic intelligence of large language models (LLMs) has made remarkable progress in recent times, but their social intelligence performance remains unclear. Inspired by established human social intelligence frameworks, particularly Daniel Goleman's social intelligence theory, we have developed a standardized social intelligence test based on real-world social scenarios to comprehensively assess the social intelligence of LLMs, termed as the Situational Evaluation of Social Intelligence (SESI). We conducted an extensive evaluation with 13 recent popular and state-of-art LLM agents on SESI. The results indicate the social intelligence of LLMs still has significant room for improvement, with superficially friendliness as a primary reason for errors. Moreover, there exists a relatively low correlation between the social intelligence and academic intelligence exhibited by LLMs, suggesting that social intelligence is distinct from academic intelligence for LLMs. Additionally, while it is observed that LLMs can't ``understand'' what social intelligence is, their social intelligence, similar to that of humans, is influenced by social factors.


title: Exploiting Style Latent Flows for Generalizing Deepfake Video Detection

abstract: This paper presents a new approach for the detection of fake videos, based on the analysis of style latent vectors and their abnormal behavior in temporal changes in the generated videos. We discovered that the generated facial videos suffer from the temporal distinctiveness in the temporal changes of style latent vectors, which are inevitable during the generation of temporally stable videos with various facial expressions and geometric transformations. Our framework utilizes the StyleGRU module, trained by contrastive learning, to represent the dynamic properties of style latent vectors. Additionally, we introduce a style attention module that integrates StyleGRU-generated features with content-based features, enabling the detection of visual and temporal artifacts. We demonstrate our approach across various benchmark scenarios in deepfake detection, showing its superiority in cross-dataset and cross-manipulation scenarios. Through further analysis, we also validate the importance of using temporal changes of style latent vectors to improve the generality of deepfake video detection.


title: Authorship and the Politics and Ethics of LLM Watermarks

abstract: Recently, watermarking schemes for large language models (LLMs) have been proposed to distinguish text generated by machines and by humans. The present paper explores philosophical, political, and ethical ramifications of implementing and using watermarking schemes. A definition of authorship that includes both machines (LLMs) and humans is proposed to serve as a backdrop. It is argued that private watermarks may provide private companies with sweeping rights to determine authorship, which is incompatible with traditional standards of authorship determination. Then, possible ramifications of the so-called entropy dependence of watermarking mechanisms are explored. It is argued that entropy may vary for different, socially salient groups. This could lead to group dependent rates at which machine generated text is detected. Specifically, groups more interested in low entropy text may face the challenge that it is harder to detect machine generated text that is of interest to them.


title: Stability of Hardy-Sobolev Inequality

abstract: Given $N\geq 3,$ we consider the critical Hardy-Sobolev equation $-\Delta u-\frac{\gamma}{|x|^2}u=\frac{|u|^{2^*(s)-2}u}{|x|^s}$ in $\mathbb{R}^N\setminus \{0\},$ where $0<\gamma<\gamma_{H}:=\left(\frac{N-2}{2}\right)^2,\,s\in (0,2)$ and $2^*(s)=\frac{2(N-s)}{(N-2)}.$ We prove a stability estimate for the corresponding Hardy-Sobolev inequality in the spirit of Bianchi-Egnell (1991). Also, we obtain a Struwe-type decomposition (1984) for the corresponding Euler-Lagrange equation. Finally, we prove a quantitative bound for one bubble, namely $\operatorname{dist}(u,\mathcal{M})\lesssim \Gamma(u)$ in the spirit of Ciraolo-Figalli-Maggi (2017).


title: Towards more accurate and useful data anonymity vulnerability measures

abstract: The purpose of anonymizing structured data is to protect the privacy of individuals in the data while retaining the statistical properties of the data. There is a large body of work that examines anonymization vulnerabilities. Focusing on strong anonymization mechanisms, this paper examines a number of prominent attack papers and finds several problems, all of which lead to overstating risk. First, some papers fail to establish a correct statistical inference baseline (or any at all), leading to incorrect measures. Notably, the reconstruction attack from the US Census Bureau that led to a redesign of its disclosure method made this mistake. We propose the non-member framework, an improved method for how to compute a more accurate inference baseline, and give examples of its operation. Second, some papers don't use a realistic membership base rate, leading to incorrect precision measures if precision is reported. Third, some papers unnecessarily report measures in such a way that it is difficult or impossible to assess risk. Virtually the entire literature on membership inference attacks, dozens of papers, make one or both of these errors. We propose that membership inference papers report precision/recall values using a representative range of base rates.


title: Ultra-broadband Optical Switching Plasmons Waveguide in Ge Nanowires

abstract: Plasmonic devices, with their ultra-high integration density and data-carrying capacity comparable to optical devices, are currently a hot topic in the field of nanophotonic devices. Photodetectors, non-volatile memories, and ultra-compact lasers based on plasmons in low-dimensional materials are emerging at a rapid pace. However, the narrow optical response band and limited of convenient tunable methods currently available have hindered the development of these plasmonic materials. Here, we report a ultrabroadband non-equilibrium plasmonic responses based on Ge nanowires tuned by optical method. We tracked the blue shift of the plasmonic response of Ge nanowires due to photo-induced carriers over an ultra-broad spectral range of 800-2000 $cm^{-1}$. For the first time, we have achieved the imaging of propagating surface plasmon polaritons (SPPs) in semiconductor nanowires, which were tuned by photo-induced carriers. The ultrafast and ultrabroadband response of semiconductor nanowire plasmons is of great significance for future ultrafast all-optical devices.


title: Quantitative Alexandrov theorem for capillary hypersurfaces in the half-space

abstract: In this paper, we prove the quantitative version of the Alexandrov theorem for capillary hypersurfaces in the half-space. The proof is based on the quantitative analysis of the Montiel-Ros-type argument, carried out in the joint works with Wang-Xia \cites{JWXZ22-B,JWXZ23}. As by-products, we obtain new Michael-Simon-type inequality and Topping-type inequality for capillary hypersurfaces in the half-space.


title: Inhomogeneous probes for BCDI: Toward the imaging of dynamic and distorted crystals

abstract: This work proposes an innovative approach to improve Bragg coherent diffraction imaging (BCDI) microscopy applied to time evolving crystals and/or non-homogeneous crystalline strain fields, identified as two major limitations of BCDI microscopy. Speckle BCDI (spBCDI), introduced here, rests on the ability of a strongly non-uniform illumination to induce a convolution of the three-dimensional (3D) frequency content associated with the finite-size crystal and a kernel acting perpendicularly to the illumination beam. In the framework of Bragg diffraction geometry, this convolution is beneficial as it encodes some 3D information about the sample in a single two-dimensional (2D) measurement, i.e., in the detector plane. With this approach, we demonstrate that we can drastically reduce the sampling frequency along the rocking curve direction and still obtain data sets with enough information to be inverted by a traditional phase retrieval algorithm. Numerical simulations, performed for a highly distorted crystal, show that spBCDI allows a gain in the sampling ratio ranging between 4 and 20 along the rocking curve scan, for a speckle illumination with individual speckle size of 50 nm. Furthermore, spBCDI allows working at low intensity levels, leading to an additional gain for the total scanning time. Reductions of a factor of about 32 were numerically observed. Thus, measurements in the 0.3 s time scale at 4th generation synchrotrons become feasible, with a remarkable performance for the imaging of strongly distorted crystals. Practical details on the implementation of the method are also discussed.


title: Study of dark matter scattering off ${}^2$H and ${}^4$He nuclei within chiral effective field theory

abstract: We study dark matter, assumed to be composed by weak interacting massive particles (WIMPs), scattering off ${}^2$H and ${}^4$He nuclei. In order to parameterize the WIMP-nucleon interaction the chiral effective field theory approach is used. Considering only interactions invariant under parity, charge conjugation and time reversal, we examine five interaction types: scalar, pseudoscalar, vector, axial and tensor. Scattering amplitudes between two nucleons and a WIMP are determined up to second order of chiral perturbation theory. We apply this program to calculate the interaction rate as function of the WIMP mass and of the magnitude of the WIMP-quark coupling constants. From our study, we conclude that the scalar nuclear response functions result much greater than the others due to theirs large combination of low energy constants. We verify that the leading order contributions are dominant in this low energy processes. We also provide an estimate for the background due to atmospheric neutrinos.


title: BEV2PR: BEV-Enhanced Visual Place Recognition with Structural Cues

abstract: In this paper, we propose a new image-based visual place recognition (VPR) framework by exploiting the structural cues in bird's-eye view (BEV) from a single monocular camera. The motivation arises from two key observations about VPR: 1) For the methods based on both camera and LiDAR sensors, the integration of LiDAR in robotic systems has led to increased expenses, while the alignment of data between different sensors is also a major challenge. 2) Other image-/camera-based methods, involving integrating RGB images and their derived variants (e.g., pseudo depth images, pseudo 3D point clouds), exhibit several limitations, such as the failure to effectively exploit the explicit spatial relationships between different objects. To tackle the above issues, we design a new BEV-enhanced VPR framework, nemely BEV2PR, which can generate a composite descriptor with both visual cues and spatial awareness solely based on a single camera. For the visual cues, any popular aggregation module for RGB global features can be integrated into our framework. The key points lie in: 1) We use BEV segmentation features as an explicit source of structural knowledge in constructing global features. 2) The lower layers of the pre-trained backbone from BEV map generation are shared for visual and structural streams in VPR, facilitating the learning of fine-grained local features in the visual stream. 3) The complementary visual features and structural features can jointly enhance VPR performance. Our BEV2PR framework enables consistent performance improvements over several popular camera-based VPR aggregation modules when integrating them. The experiments on our collected VPR-NuScenes dataset demonstrate an absolute gain of 2.47% on Recall@1 for the strong Conv-AP baseline to achieve the best performance in our setting, and notably, a 18.06% gain on the hard set.


title: Cross-domain and Cross-dimension Learning for Image-to-Graph Transformers

abstract: Direct image-to-graph transformation is a challenging task that solves object detection and relationship prediction in a single model. Due to the complexity of this task, large training datasets are rare in many domains, which makes the training of large networks challenging. This data sparsity necessitates the establishment of pre-training strategies akin to the state-of-the-art in computer vision. In this work, we introduce a set of methods enabling cross-domain and cross-dimension transfer learning for image-to-graph transformers. We propose (1) a regularized edge sampling loss for sampling the optimal number of object relationships (edges) across domains, (2) a domain adaptation framework for image-to-graph transformers that aligns features from different domains, and (3) a simple projection function that allows us to pretrain 3D transformers on 2D input data. We demonstrate our method's utility in cross-domain and cross-dimension experiments, where we pretrain our models on 2D satellite images before applying them to vastly different target domains in 2D and 3D. Our method consistently outperforms a series of baselines on challenging benchmarks, such as retinal or whole-brain vessel graph extraction.


title: Isoperimetric Inequalities on Slabs with applications to Cubes and Gaussian Slabs

abstract: We study isoperimetric inequalities on "slabs", namely weighted Riemannian manifolds obtained as the product of the uniform measure on a finite length interval with a codimension-one base. As our two main applications, we consider the case when the base is the flat torus $\mathbb{R}^2 / 2 \mathbb{Z}^2$ and the standard Gaussian measure in $\mathbb{R}^{n-1}$. The isoperimetric conjecture on the three-dimensional cube predicts that minimizers are enclosed by spheres about a corner, cylinders about an edge and coordinate planes. This has only been established for relative volumes close to $0$, $1/2$ and $1$ by compactness arguments. Our analysis confirms the isoperimetric conjecture on the three-dimensional cube with side lengths $(\beta,1,1)$ in a new range of relatives volumes $\bar v \in [0,1/2]$. In particular, we confirm the conjecture for the standard cube ($\beta=1$) for all $\bar v \leq 0.120582$, when $\beta \leq 0.919431$ for the entire range where spheres are conjectured to be minimizing, and also for all $\bar v \in [0,1/2] \setminus (\frac{1}{\pi} - \frac{\beta}{4},\frac{1}{\pi} + \frac{\beta}{4})$. When $\beta \leq 0.919431$ we reduce the validity of the full conjecture to establishing that the half-plane $\{ x \in [0,\beta] \times [0,1]^2 \; ; \; x_3 \leq \frac{1}{\pi} \}$ is an isoperimetric minimizer. We also show that the analogous conjecture on a high-dimensional cube $[0,1]^n$ is false for $n \geq 10$. In the case of a slab with a Gaussian base of width $T>0$, we identify a phase transition when $T = \sqrt{2 \pi}$ and when $T = \pi$. In particular, while products of half-planes with $[0,T]$ are always minimizing when $T \leq \sqrt{2 \pi}$, when $T > \pi$ they are never minimizing, being beaten by Gaussian unduloids. In the range $T \in (\sqrt{2 \pi},\pi]$, a potential trichotomy occurs.


title: Thermoelectric transport of the coexistence topological semimetal in the quantum limit

abstract: We explore the thermoelectric transport properties of a coexistence topological semimetal, characterized by the presence of both a pair of Weyl points and a nodal ring in the quantum limit. This system gives rise to complex Landau bands when subjected to a magnetic field aligned with the direction connecting two Weyl points. In the longitudinal configuration, where the magnetic field is parallel to the electric field or the temperature gradient, the thermoelectric conductivity indicates a plateau independent of the magnetic field and the Fermi energy at $\delta$-form short-range scattering. This platform structure should also exist in pure two-node Weyl semimetals. However, the thermoelectric conductivity and the Seebeck coefficient are significantly influenced by the parameters of long-ranged Gaussian or screened Coulomb scattering potentials for both fixed carrier density and Fermi energy scenarios. In the transverse configuration, both Gaussian and screened Coulomb scatterings yield substantial positive magnetoresistance and thermoelectric conductance. Since the Hall conductivity is larger than the longitudinal one, the Seebeck coefficient, exhibiting a quadratic increase with the magnetic field, is close to the dissipationless limit irrespective of scatterings, while the Nernst response is notably dependent on the scattering mechanism. Additionally, the model parameter, distinct from the two-node Weyl model, influences the thermoelectric transport properties. The magnetic field response of the thermoelectric coefficients to different scattering potentials can be used as a basis for distinguishing scattering mechanisms in materials.


title: Rapid state-recrossing kinetics in non-Markovian systems

abstract: The mean first-passage time (MFPT) is one standard measure for the reaction time in thermally activated barrier-crossing processes. While the relationship between MFPTs and phenomenological rate coefficients is known for systems that satisfy Markovian dynamics, it is not clear how to interpret MFPTs for experimental and simulation time-series data generated by non-Markovian systems. Here, we simulate a one-dimensional generalized Langevin equation (GLE) in a bistable potential and compare two related numerical methods for evaluating MFPTs: one that only incorporates information about first arrivals between subsequent states and is equivalent to calculating the waiting time, or dwell time, and one that incorporates information about all first-passages associated with a given barrier-crossing event and is therefore typically employed to enhance numerical sampling. In the Markovian limit, the two methods are equivalent. However, for significant memory times, the two methods suggest dramatically different reaction kinetics. By focusing on first-passage distributions, we systematically reveal the influence of memory-induced rapid state-recrossing on the MFPTs, which we compare to various other numerical or theoretical descriptions of reaction times. Overall, we demonstrate that it is necessary to consider full first-passage distributions, rather than just the mean barrier-crossing kinetics when analyzing non-Markovian time series data.

categories: cond-mat.stat-mech math-ph math.MP physics.chem-ph


title: On the temporal resolution limits of numerical simulations in complex systems

abstract: In this paper we formalize, using the Nyquist-Shannon theorem, a fundamental temporal resolution limit for numerical experiments in complex systems. A consequence of this limit is aliasing, the introduction of spurious frequencies due to sampling. By imposing these limits on the uncertainty principle in harmonic analysis, we show that by increasing the sampling interval $\Delta t$, we can also artificially stretch the temporal behavior of our numerical experiment. Importantly, in limiting cases, we could even observe a new artificially created absorbing state. Our findings are validated in deterministic and stochastic simulations. In deterministic systems, we analyzed the Kuramoto model in which aliasing could be observed. In stochastic simulations, we formalized and compared different simulation approaches and showed their temporal limits. Gillespie-like simulations fully capture the continuous-time Markov chain processes, being lossless. Asynchronous cellular automata methods capture the same transitions as the continuous-time process but lose the temporal information about the process. Finally, synchronous cellular automata simulations solve a sampled chain. By comparing these methods, we show that if $\Delta t$ is not small enough, the cellular automata approach fails to capture the original continuous-time Markov chain since the sampling is already built into the simulation method. Our results point to a fundamental limitation that cannot be overcome by traditional methods of numerical simulations.


title: Distributionally Generative Augmentation for Fair Facial Attribute Classification

abstract: Facial Attribute Classification (FAC) holds substantial promise in widespread applications. However, FAC models trained by traditional methodologies can be unfair by exhibiting accuracy inconsistencies across varied data subpopulations. This unfairness is largely attributed to bias in data, where some spurious attributes (e.g., Male) statistically correlate with the target attribute (e.g., Smiling). Most of existing fairness-aware methods rely on the labels of spurious attributes, which may be unavailable in practice. This work proposes a novel, generation-based two-stage framework to train a fair FAC model on biased data without additional annotation. Initially, we identify the potential spurious attributes based on generative models. Notably, it enhances interpretability by explicitly showing the spurious attributes in image space. Following this, for each image, we first edit the spurious attributes with a random degree sampled from a uniform distribution, while keeping target attribute unchanged. Then we train a fair FAC model by fostering model invariance to these augmentation. Extensive experiments on three common datasets demonstrate the effectiveness of our method in promoting fairness in FAC without compromising accuracy. Codes are in https://github.com/heqianpei/DiGA.


title: Decoding Complexity: Exploring Human-AI Concordance in Qualitative Coding

abstract: Qualitative data analysis provides insight into the underlying perceptions and experiences within unstructured data. However, the time-consuming nature of the coding process, especially for larger datasets, calls for innovative approaches, such as the integration of Large Language Models (LLMs). This short paper presents initial findings from a study investigating the integration of LLMs for coding tasks of varying complexity in a real-world dataset. Our results highlight the challenges inherent in coding with extensive codebooks and contexts, both for human coders and LLMs, and suggest that the integration of LLMs into the coding process requires a task-by-task evaluation. We examine factors influencing the complexity of coding tasks and initiate a discussion on the usefulness and limitations of incorporating LLMs in qualitative research.


title: Balanced Substructures in Bicolored Graphs

abstract: An edge-colored graph is said to be balanced if it has an equal number of edges of each color. Given a graph $G$ whose edges are colored using two colors and a positive integer $k$, the objective in the Edge Balanced Connected Subgraph problem is to determine if $G$ has a balanced connected subgraph containing at least $k$ edges. We first show that this problem is NP-complete and remains so even if the solution is required to be a tree or a path. Then, we focus on the parameterized complexity of Edge Balanced Connected Subgraph and its variants (where the balanced subgraph is required to be a path/tree) with respect to $k$ as the parameter. Towards this, we show that if a graph has a balanced connected subgraph/tree/path of size at least $k$, then it has one of size at least $k$ and at most $f(k)$ where $f$ is a linear function. We use this result combined with dynamic programming algorithms based on color coding and representative sets to show that Edge Balanced Connected Subgraph and its variants are FPT. Further, using polynomial-time reductions to the Multilinear Monomial Detection problem, we give faster randomized FPT algorithms for the problems. In order to describe these reductions, we define a combinatorial object called relaxed-subgraph. We define this object in such a way that balanced connected subgraphs, trees and paths are relaxed-subgraphs with certain properties. This object is defined in the spirit of branching walks known for the Steiner Tree problem and may be of independent interest.


title: Guiding Clinical Reasoning with Large Language Models via Knowledge Seeds

abstract: Clinical reasoning refers to the cognitive process that physicians employ in evaluating and managing patients. This process typically involves suggesting necessary examinations, diagnosing patients' diseases, and deciding on appropriate therapies, etc. Accurate clinical reasoning requires extensive medical knowledge and rich clinical experience, setting a high bar for physicians. This is particularly challenging in developing countries due to the overwhelming number of patients and limited physician resources, contributing significantly to global health inequity and necessitating automated clinical reasoning approaches. Recently, the emergence of large language models (LLMs) such as ChatGPT and GPT-4 have demonstrated their potential in clinical reasoning. However, these LLMs are prone to hallucination problems, and the reasoning process of LLMs may not align with the clinical decision path of physicians. In this study, we introduce a novel framework, In-Context Padding (ICP), designed to enhance LLMs with medical knowledge. Specifically, we infer critical clinical reasoning elements (referred to as knowledge seeds) and use these as anchors to guide the generation process of LLMs. Experiments on two clinical question datasets demonstrate that ICP significantly improves the clinical reasoning ability of LLMs.


title: Real is not True: Backdoor Attacks Against Deepfake Detection

abstract: The proliferation of malicious deepfake applications has ignited substantial public apprehension, casting a shadow of doubt upon the integrity of digital media. Despite the development of proficient deepfake detection mechanisms, they persistently demonstrate pronounced vulnerability to an array of attacks. It is noteworthy that the pre-existing repertoire of attacks predominantly comprises adversarial example attack, predominantly manifesting during the testing phase. In the present study, we introduce a pioneering paradigm denominated as Bad-Deepfake, which represents a novel foray into the realm of backdoor attacks levied against deepfake detectors. Our approach hinges upon the strategic manipulation of a delimited subset of the training data, enabling us to wield disproportionate influence over the operational characteristics of a trained model. This manipulation leverages inherent frailties inherent to deepfake detectors, affording us the capacity to engineer triggers and judiciously select the most efficacious samples for the construction of the poisoned set. Through the synergistic amalgamation of these sophisticated techniques, we achieve an remarkable performance-a 100% attack success rate (ASR) against extensively employed deepfake detectors.


title: MedKP: Medical Dialogue with Knowledge Enhancement and Clinical Pathway Encoding

abstract: With appropriate data selection and training techniques, Large Language Models (LLMs) have demonstrated exceptional success in various medical examinations and multiple-choice questions. However, the application of LLMs in medical dialogue generation-a task more closely aligned with actual medical practice-has been less explored. This gap is attributed to the insufficient medical knowledge of LLMs, which leads to inaccuracies and hallucinated information in the generated medical responses. In this work, we introduce the Medical dialogue with Knowledge enhancement and clinical Pathway encoding (MedKP) framework, which integrates an external knowledge enhancement module through a medical knowledge graph and an internal clinical pathway encoding via medical entities and physician actions. Evaluated with comprehensive metrics, our experiments on two large-scale, real-world online medical consultation datasets (MedDG and KaMed) demonstrate that MedKP surpasses multiple baselines and mitigates the incidence of hallucinations, achieving a new state-of-the-art. Extensive ablation studies further reveal the effectiveness of each component of MedKP. This enhancement advances the development of reliable, automated medical consultation responses using LLMs, thereby broadening the potential accessibility of precise and real-time medical assistance.


title: Pulling back symmetric Riemannian geometry for data analysis

abstract: Data sets tend to live in low-dimensional non-linear subspaces. Ideal data analysis tools for such data sets should therefore account for such non-linear geometry. The symmetric Riemannian geometry setting can be suitable for a variety of reasons. First, it comes with a rich mathematical structure to account for a wide range of non-linear geometries that has been shown to be able to capture the data geometry through empirical evidence from classical non-linear embedding. Second, many standard data analysis tools initially developed for data in Euclidean space can also be generalised efficiently to data on a symmetric Riemannian manifold. A conceptual challenge comes from the lack of guidelines for constructing a symmetric Riemannian structure on the data space itself and the lack of guidelines for modifying successful algorithms on symmetric Riemannian manifolds for data analysis to this setting. This work considers these challenges in the setting of pullback Riemannian geometry through a diffeomorphism. The first part of the paper characterises diffeomorphisms that result in proper, stable and efficient data analysis. The second part then uses these best practices to guide construction of such diffeomorphisms through deep learning. As a proof of concept, different types of pullback geometries -- among which the proposed construction -- are tested on several data analysis tasks and on several toy data sets. The numerical experiments confirm the predictions from theory, i.e., that the diffeomorphisms generating the pullback geometry need to map the data manifold into a geodesic subspace of the pulled back Riemannian manifold while preserving local isometry around the data manifold for proper, stable and efficient data analysis, and that pulling back positive curvature can be problematic in terms of stability.


title: Maxitive functions with respect to general orders

abstract: In decision-making, maxitive functions are used for worst-case and best-case evaluations. Maxitivity gives rise to a rich structure that is well-studied in the context of the pointwise order. In this article, we investigate maxitivity with respect to general preorders and provide a representation theorem for such functionals. The results are illustrated for different stochastic orders in the literature, including the usual stochastic order, the increasing convex/concave order, and the dispersive order.


title: The influence of different coronal hole geometries on simulations of coronal wave -- coronal hole interaction

abstract: The geometry of a coronal hole (CH) affects the density profile of the reflected part of an incoming global coronal wave (CW). In this study, we perform for the first time magnetohydrodynamic (MHD) simulations of fast-mode MHD waves interacting with CHs of different geometries, such as circular, elliptic, convex, and concave shapes. We analyse the influence these geometries have on the density profiles of the reflected waves and we generate the corresponding simulation-based time-distance plots. Within these time-distance plots we determine regions that exhibit specific density features, such as large reflected density amplitudes. In a further step, these interaction features can be compared to actual observed CW-CH interaction events which makes it possible to explain interaction parameters from the observed interaction events, such as the density structure of the reflected wave, which are usually difficult to comprehensively understand by only analysing the measurements. Moreover, we show that the interaction between a concave shaped CH and CWs, whose density profile include an enhanced as well as a depleted wave, can lead to reflected density amplitudes that are more than two times larger than the incoming ones. Another effect of the interplay between the constructive and destructive interference of the reflected wave parts is a strongly depleted region in the middle of the CW-CH interaction process. In addition, we show how important the choice of the path is that is used to generate the time-distance plots and how this choice affects the interpretation of the CW-CH interaction results.


title: Rigid characterizations of probability measures through independence, with applications

abstract: Three equivalent characterizations of probability measures through independence criteria are given. These characterizations lead to a family of Brascamp--Lieb-type inequalities for relative entropy, determine equilibrium states and sharp rates of convergence for certain linear Boltzmann-type dynamics, and unify an assortment of $L^2$ inequalities in probability.


title: Density-Guided Label Smoothing for Temporal Localization of Driving Actions

abstract: Temporal localization of driving actions plays a crucial role in advanced driver-assistance systems and naturalistic driving studies. However, this is a challenging task due to strict requirements for robustness, reliability and accurate localization. In this work, we focus on improving the overall performance by efficiently utilizing video action recognition networks and adapting these to the problem of action localization. To this end, we first develop a density-guided label smoothing technique based on label probability distributions to facilitate better learning from boundary video-segments that typically include multiple labels. Second, we design a post-processing step to efficiently fuse information from video-segments and multiple camera views into scene-level predictions, which facilitates elimination of false positives. Our methodology yields a competitive performance on the A2 test set of the naturalistic driving action recognition track of the 2022 NVIDIA AI City Challenge with an F1 score of 0.271.


title: Breaking Abbe's diffraction limit with harmonic deactivation microscopy

abstract: Nonlinear optical microscopy provides elegant means for label-free imaging of biological samples and condensed matter systems. The widespread areas of application could even be increased if resolution was improved, which is currently limited by the famous Abbe diffraction limit. Super-resolution techniques can break the diffraction limit but rely on fluorescent labeling. This makes them incompatible with (sub-)femtosecond temporal resolution and applications that demand the absence of labeling. Here, we introduce harmonic deactivation microscopy (HADES) for breaking the diffraction limit in non-fluorescent samples. By controlling the harmonic generation process on the quantum level with a second donut-shaped pulse, we confine the third harmonic generation to three times below the original focus size and use this pulse for scanning microscopy. We demonstrate that resolution improvement by deactivation is more efficient for higher harmonic orders, and only limited by the maximum applicable deactivation-pulse fluence. This provides a route towards sub-100~nm resolution in a regular nonlinear microscope. The new capability of label-free super-resolution can find immediate applications in condensed matter physics, semiconductor metrology, and biomedical imaging.


title: Mapping a dissipative quantum spin chain onto a generalized Coulomb gas

abstract: An XXZ spin chain at zero magnetization is subject to spatially correlated baths acting as dissipation. We show that the low-energy excitations of this model are described by a dissipative sine-Gordon field theory, i.e. a sine-Gordon action with an additional long-range interaction emerging from dissipation. The field theory is then exactly mapped onto a generalized Coulomb gas which, in addition to the usual integer charges, displays half-integer charges that originate from the dissipative baths. These new charges come in pairs linked by a charge-independent logarithmic interaction. In the Coulomb gas picture, we identify a Berezinsky-Kosterlitz-Thouless-like phase transition corresponding to the binding of charges and derive the associated perturbative renormalization group equations. For superohmic baths, the transition is due to the binding of the integer charges, while for subohmic baths, it is due to the binding of the half-integer charges, thereby signaling a dissipation-induced transition.


title: On l-th roots and division by l

abstract: We give a characterization of the codomain $[\ell]E(k)$ of the multiplication-by-$\ell$ map $[\ell]$ in the case of elliptic curves over a field $k$ of characteristic $\ne 2,3$ with $\ell$-torsion $E[\ell]=\langle W_1,W_2 \rangle$ fully defined over $k$, for primes $\ell$ different from the characteristic. We show that a point $Q\in E(k)$ lies in $[\ell]E(k)$ if and only if $h_{W_1}(-Q)$ and $h_{W_2}(-Q)$ are $\ell$-powers of $k$, where $h_{W_1}$ and $h_{W_2}$ are functions on $E$ with divisor ${\rm div}(h_{W_i})=\ell W_i- \ell P_{\infty}$. Our characterization leads to an effective procedure to find pre-images of $[\ell]$ by solving an order $\ell$ system of linear equations and computing a polynomial gcd.


title: A time-dependent formulation for nonlinear gravity-capillary surface waves with viscosity

abstract: We develop a time-dependent conformal method to study the effect of viscosity on steep surface waves. When the effect of surface tension is included, numerical solutions are found that contain highly oscillatory parasitic capillary ripples. These small amplitude ripples are associated with the high curvature at the crest of the underlying viscous-gravity wave, and display asymmetry about the wave crest. Previous inviscid studies of steep surface waves have calculated intricate bifurcation structures that appear for small surface tension. We show numerically that viscosity suppresses these. While the discrete solution branches still appear, they collapse to form a single smooth branch in limit of small surface tension. Temporal stability is also studied, and these solutions are seen to be stable when time-evolved from different initial conditions. Our work provides a convenient method for the numerical computation and analysis of water waves with viscosity, without evaluating the free-boundary problem for the full Navier-Stokes equations.


title: Forest Inspection Dataset for Aerial Semantic Segmentation and Depth Estimation

abstract: Humans use UAVs to monitor changes in forest environments since they are lightweight and provide a large variety of surveillance data. However, their information does not present enough details for understanding the scene which is needed to assess the degree of deforestation. Deep learning algorithms must be trained on large amounts of data to output accurate interpretations, but ground truth recordings of annotated forest imagery are not available. To solve this problem, we introduce a new large aerial dataset for forest inspection which contains both real-world and virtual recordings of natural environments, with densely annotated semantic segmentation labels and depth maps, taken in different illumination conditions, at various altitudes and recording angles. We test the performance of two multi-scale neural networks for solving the semantic segmentation task (HRNet and PointFlow network), studying the impact of the various acquisition conditions and the capabilities of transfer learning from virtual to real data. Our results showcase that the best results are obtained when the training is done on a dataset containing a large variety of scenarios, rather than separating the data into specific categories. We also develop a framework to assess the deforestation degree of an area.


title: SmartML: Towards a Modeling Language for Smart Contracts

abstract: Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling language for smart contracts that is platform independent and easy to comprehend. We detail its formal semantics and type system with a focus on its role in addressing security vulnerabilities. We show along a case study, how SmartML contributes to the prevention of reentrancy attacks, illustrating its efficacy in reinforcing the reliability and security of smart contracts within decentralized systems.


title: Feasibility study on solving the Helmholtz equation in 3D with PINNs

abstract: Room acoustic simulations at low frequencies often face significant uncertainties of material parameters and boundary conditions due to absorbing material. We discuss the application of Physics-Informed Neural Networks (PINNs) to solve the (forward) Helmholtz equation in three dimensions (3D), employing mini-batch stochastic gradient descent with periodic resampling every 100 iterations for memory-efficient training. Addressing the computational challenges posed by the extension of PINNs from 2D to 3D for acoustics, DeepXDE is used for implementing the forward PINN. The proposed numerical method is benchmarked against an analytical solution of a standing wave field in 3D. The PINN results are also compared to the Finite Element Method (FEM) solutions for a 3D wave field computed with openCFS. The alignment between PINN-generated solutions and analytical/FEM solutions shows the feasibility of PINNs modeling 3D acoustic applications for future inverse problems, and validating the accuracy and reliability of the proposed approach. Compared to FEM, establishing the PINN model took few hours (similar to the setup of a FEM simulation), the training took 38h to 42.8h (which is longer than the solution of the FEM simulation, which took 17min-19min), and the inference took 0.05 seconds being more than 20,000 times faster than the FEM benchmark openCFS using the same number of degrees of freedomwhen producing the results. Thereby, the insight is gained that 3D acoustic wave simulations in the frequency domain are feasible for forward PINNs and can predict complex wave behaviors in real-world applications.


title: On the topology of the moduli of tropical unramified $p$-covers

abstract: We study the topology of the moduli space of tropical unramified $\mathbb{Z}/p$-covers of tropical curves of genus $g \geq 2$ where $p$ is a prime number. We use recent techniques by Chan--Galatius--Payne to identify a contractible subcomplex of the moduli space. We then use this contractibility result to show that this moduli space is simply connected for all $g$ and $p$. In the case of genus $2$ we fully determine the homotopy type of this moduli space for all primes $p$. This work is motivated by prospective applications to the top-weight cohomology of the space of prime cyclic \'etale covers of smooth algebraic curves.


title: AC/DC optimal power flow and techno-economic assessment for hybrid microgrids: TIGON CEDER demonstrator

abstract: In the recent years, the interest in electric direct current (DC) technologies (such as converters, batteries, electric vehicles, etc.) is increasing due to its potential on energy efficiency and sustainability. However, the vast majority of electric systems and networks are based on alternating current (AC), as they also have certain advantages regarding cost-effective transport and robustness. In this paper, an AC/DC optimal power flow method for hybrid microgrids and several key performance indicators (KPIs) for its techno-economic assessment are presented. The combination of both calculations allows users to clearly determine the viability of their hybrid microgrids. AC/DC networks have been modelled considering their most common elements. For the power flow method, a polynomial optimisation is formulated considering four different objective functions: the minimisation of energy losses, voltage deviation and operational costs, and also the maximisation of the microgrid generation. The power flow method and the techno-economic analysis have been implemented in Python and validated in the Centro de Desarrollo de Energ\'ias Renovables (CEDER) demonstrator for TIGON. The results show that the calculated power flow variables and the ones measured at CEDER are practically the same. In addition, the KPIs have been obtained and compared for four operating scenarios: baseline, no battery, battery flexibility and virtual battery (VB) flexibility. The last one result in the most profitable option.


title: The Prime Geodesic Theorem for the Picard Manifold

abstract: We prove the prime geodesic theorem for the Picard manifold whose error term shrinks as the hybrid subconvex exponent $\theta$ for quadratic Dirichlet $L$-functions over Gaussian integers decreases. Our rate of decay is faster than that of Balkanova-Frolenkov (2022) and Kaneko (2022), and leads to the exponent $\frac{202}{139}+\varepsilon$ in the prime geodesic theorem under the generalised Lindel\"{o}f hypothesis $\theta = 0$, improving upon the existing conditional results. This provides further solid evidence towards the validity of the conjectural exponent $1+\varepsilon$.


title: Bulk and interface spin-orbit torques in Pt/Co/MgO thin film structures

abstract: We investigate the origin of spin-orbit torques (SOTs) in archetypical Pt/Co/MgO thin films structures by performing harmonic Hall measurements. The behaviour of the damping like (DL) effective field ($h_{DL}$) with varying the Pt layer thickness and the Co layer thickness indicates that bulk spin-Hall effect (SHE) in Pt is mainly responsible for DL-SOT. The insertion of a Pd ultrathin layer at the Pt/Co interface leads to a step decrease in $h_{DL}$, attributed to the modification of interfacial spin transparency. Further increase in Pd thickness led to a reduction of the interfacial spin-orbit coupling (iSOC) quantified by the decrease in the surface magnetic anisotropy. The consistent insensitivity of $h_{DL}$ to variations in iSOC at the bottom Pt/Co interface and oxidation at the top Co/MgO interface provides additional evidence for the bulk SHE origin of DL-SOT. The strong reduction in the field-like (FL) torque effective field ($h_{FL}$) with decreasing iSOC at the Pt/Co interface points to the interfacial nature of FL-SOT, either due to iSOC induced interfacial spin-currents or to the Rashba-Edelstein effect at the Pt/Co interface. Furthermore, we demonstrate that a FL-SOT develops at the top Co/MgO interface opposing the one generated at the bottom Pt/Co interface, whose strength increases with Co/MgO interfacial oxidation, and attributed to the Rashba-Edelstein effect.


title: Search for a new charged particle in the mass range of 2-100 MeV

abstract: In the theory of electroweak interactions, there is no prohibition on the existence of particles with a mass other than that of an electron, muon and tauon. The task is to search for a new particle in the mass range of 2-100 MeV. The search was performed using the photo material of the 2-m propane bubble chamber. The chamber has been exposed in a 10 GeV proton beam at the JINR Synchrophasotron. For its search, ~55 thousand stereo photos have been scanned. The events of the $\gamma$ quantum conversion into a pair of charged particles have been analyzed. 50 anomalous events have been found in which one particle of the pair stops in the volume of the chamber, has an increased track density at the end of the range and, upon identification, detects a mass of ~ 8 MeV. The average value of the mass of the new particle is (8.5 $\pm$ 2.5) MeV


title: Assembly Theory is an approximation to algorithmic complexity based on LZ compression that does not explain selection or evolution

abstract: We prove the full equivalence between Assembly Theory (AT) and Shannon Entropy via a method based upon the principles of statistical compression renamed `assembly index' that belongs to the LZ family of popular compression algorithms (ZIP, GZIP, JPEG). Such popular algorithms have been shown to empirically reproduce the results of AT, results that have also been reported before in successful applications to separating organic from non-organic molecules and in the context of the study of selection and evolution. We show that the assembly index value is equivalent to the size of a minimal context-free grammar. The statistical compressibility of such a method is bounded by Shannon Entropy and other equivalent traditional LZ compression schemes, such as LZ77, LZ78, or LZW. In addition, we demonstrate that AT, and the algorithms supporting its pathway complexity, assembly index, and assembly number, define compression schemes and methods that are subsumed into the theory of algorithmic (Kolmogorov-Solomonoff-Chaitin) complexity. Due to AT's current lack of logical consistency in defining causality for non-stochastic processes and the lack of empirical evidence that it outperforms other complexity measures found in the literature capable of explaining the same phenomena, we conclude that the assembly index and the assembly number do not lead to an explanation or quantification of biases in generative (physical or biological) processes, including those brought about by (abiotic or Darwinian) selection and evolution, that could not have been arrived at using Shannon Entropy or that have not been reported before using classical information theory or algorithmic complexity.


title: Hot Carrier Nanowire Transistors at the Ballistic Limit

abstract: We demonstrate experimentally non-equilibrium transport in unipolar quasi-1D hot electron devices reaching ballistic limit. The devices are realized with heterostructure engineering in nanowires to obtain dopant- and dislocation-free 1D-epitaxy and flexible bandgap engineering. We show experimentally the control of hot electron injection with a graded conduction band profile and subsequent filtering of hot and relaxed electrons with rectangular energy barriers. The number of electron passing the barrier depends exponentially on the transport length with a mean free path of 200 - 260 nm and reaches ballistic transport regime for the shortest devices with 70 % of the electrons flying freely through the base electrode and the barrier reflections limiting the transport to the collector.


title: Evaluating the Energy Efficiency of Few-Shot Learning for Object Detection in Industrial Settings

abstract: In the ever-evolving era of Artificial Intelligence (AI), model performance has constituted a key metric driving innovation, leading to an exponential growth in model size and complexity. However, sustainability and energy efficiency have been critical requirements during deployment in contemporary industrial settings, necessitating the use of data-efficient approaches such as few-shot learning. In this paper, to alleviate the burden of lengthy model training and minimize energy consumption, a finetuning approach to adapt standard object detection models to downstream tasks is examined. Subsequently, a thorough case study and evaluation of the energy demands of the developed models, applied in object detection benchmark datasets from volatile industrial environments is presented. Specifically, different finetuning strategies as well as utilization of ancillary evaluation data during training are examined, and the trade-off between performance and efficiency is highlighted in this low-data regime. Finally, this paper introduces a novel way to quantify this trade-off through a customized Efficiency Factor metric.


title: Self-Sovereign Identity for Electric Vehicle Charging

abstract: Electric Vehicles (EVs) are more and more charged at public Charge Points (CPs) using Plug-and-Charge (PnC) protocols such as the ISO 15118 standard which eliminates user interaction for authentication and authorization. Currently, this requires a rather complex Public Key Infrastructure (PKI) and enables driver tracking via the included unique identifiers. In this paper, we propose an approach for using Self-Sovereign Identities (SSIs) as trusted credentials for EV charging authentication and authorization which overcomes the privacy problems and the issues of a complex centralized PKI. Our implementation shows the feasibility of our approach with ISO 15118. The security and privacy of the proposed approach is shown in a formal analysis using the Tamarin prover.


title: Fractal spatio-temporal scale-free messaging: amplitude modulation of self-executable carriers given by the Weierstrass function's components

abstract: In many communication contexts, the capabilities of the involved actors cannot be known beforehand, whether it is a cell, a plant, an insect, or even a life form unknown to Earth. Regardless of the recipient, the message space and time scale could be too fast, too slow, too large, or too small and may never be decoded. Therefore, it pays to devise a way to encode messages agnostic of space and time scales. We propose the use of fractal functions as self-executable infinite-frequency carriers for sending messages, given their properties of structural self-similarity and scale invariance. We call it `fractal messaging'. Starting from a spatial embedding, we introduce a framework for a space-time scale-free messaging approach to this challenge. When considering a space and time-agnostic framework for message transmission, it would be interesting to encode a message such that it could be decoded at several spatio-temporal scales. Hence, the core idea of the framework proposed herein is to encode a binary message as waves along infinitely many frequencies (in power-like distributions) and amplitudes, transmit such a message, and then decode and reproduce it. To do so, the components of the Weierstrass function, a known fractal, are used as carriers of the message. Each component will have its amplitude modulated to embed the binary stream, allowing for a space-time-agnostic approach to messaging.


title: Stealing Part of a Production Language Model

abstract: We introduce the first model-stealing attack that extracts precise, nontrivial information from black-box production language models like OpenAI's ChatGPT or Google's PaLM-2. Specifically, our attack recovers the embedding projection layer (up to symmetries) of a transformer model, given typical API access. For under \$20 USD, our attack extracts the entire projection matrix of OpenAI's Ada and Babbage language models. We thereby confirm, for the first time, that these black-box models have a hidden dimension of 1024 and 2048, respectively. We also recover the exact hidden dimension size of the gpt-3.5-turbo model, and estimate it would cost under \$2,000 in queries to recover the entire projection matrix. We conclude with potential defenses and mitigations, and discuss the implications of possible future work that could extend our attack.


title: Aggregated distribution grid flexibilities in subtransmission grid operational management

abstract: Aggregated flexibilities or PQ-capabilities (active and reactive power capabilities) are termed in literature as Feasible Operating Regions (FORs). The FORs from underlying active distribution grids can effectively contribute to the operational management at the HV grid level. The HV buses are allocated aggregated FORs from the underlying MV grids, which are inherently nonlinear and non-convex. Therefore, two approaches are proposed in the paper to apply the FOR constraints in the HV grid operational management. First, a mixed integer linear programming (MILP) based optimization approach for alleviating the HV grid constraint violations is proposed, which addresses the non-convexity of the FOR using piecewise segmentation. Furthermore, the MILP method is enhanced to consider the influence of the HV bus voltage on the underlying MV grid flexibilities resulting in a three dimensional PQ(V)-FOR. Second, a convexification approach is proposed, which uses a convex approximation of the non-convex 3D PQ(V)-FOR shape for implementation in a linear optimization method. Results reveal a robust utilization of the distribution flexibilities to maintain grid security and reliability at the HV grid level. Comparisons present increased computation times for the MILP method which are significantly improved using the convexification based approach.


title: Design and Control of Delta: Deformable Multilinked Multirotor with Rolling Locomotion Ability in Terrestrial Domain

abstract: In recent years, multiple types of locomotion methods for robots have been developed and enabled to adapt to multiple domains. In particular, aerial robots are useful for exploration in several situations, taking advantage of its three-dimensional mobility. Moreover, some aerial robots have achieved manipulation tasks in the air. However, energy consumption for flight is large and thus locomotion ability on the ground is also necessary for aerial robots to do tasks for long time. Therefore, in this work, we aim to develop deformable multirotor robot capable of rolling movement with its entire body and achieve motions on the ground and in the air. In this paper, we first describe the design methodology of a deformable multilinked air-ground hybrid multirotor. We also introduce its mechanical design and rotor configuration based on control stability. Then, thrust control method for locomotion in air and ground domains is described. Finally, we show the implemented prototype of the proposed robot and evaluate through experiments in air and terrestrial domains. To the best of our knowledge, this is the first time to achieve the rolling locomotion by multilink structured mutltrotor.


title: Tur\'{a}n problems for star-path forests in hypergraphs

abstract: An $r$-uniform hypergraph ($r$-graph) is linear if any two edges intersect at most one vertex. Let $\mathcal{F}$ be a given family of $r$-graphs. A hypergraph $H$ is called $\mathcal{F}$-free if $H$ does not contain any hypergraphs in $\mathcal{F}$. The Tur\'{a}n number ${\rm{ex}}_r(n,\mathcal{F})$ of $\mathcal{F}$ is defined as the maximum number of edges of all $\mathcal{F}$-free $r$-graphs on $n$ vertices, and the linear Tur\'{a}n number ${\rm{ex}}^{\rm{lin}}_r(n,\mathcal{F})$ of $\mathcal{F}$ is defined as the Tur\'{a}n number of $\mathcal{F}$ in linear host hypergraphs. An $r$-uniform linear path $P^r_\ell$ of length $\ell$ is an $r$-graph with edges $e_1,\cdots,e_\ell$ such that $|V(e_i)\cap V(e_j)|=1$ if $|i-j|=1$, and $V(e_i)\cap V(e_j)=\emptyset$ for $i\neq j$ otherwise. Gy\'{a}rf\'{a}s et al. [Linear Tur\'{a}n numbers of acyclic triple systems, European J. Combin., 2022, 103435] obtained an upper bound for the linear Tur\'{a}n number of $P_\ell^3$. In this paper, an upper bound for the linear Tur\'{a}n number of $P_\ell^r$ is obtained, which generalizes the result of $P_\ell^3$ to any $P_\ell^r$. Furthermore, some results for the linear Tur\'{a}n number and Tur\'{a}n number of some linear star-path forests are obtained.


title: Visualizing, Analyzing and Constructing L-System from Arborized 3D Model Using a Web Application

abstract: In biology, arborized structures are well represented and typically complex for visualization and analysis. In order to have a profound understanding of the topology of arborized 3D biological model, higher level abstraction is needed. We aim at constructing an abstraction of arborized 3D biological model to an L-system that provides a generalized formalization in a grammar to represent complex structures. The focus of this paper is to combine 3D visualization, analysis and L-system abstraction into a single web application. We designed a front-end user interface and a back-end. In the front-end, we used A-Frame and defined algorithms to generate and visualize L-systems. In the back-end, we utilized the Vascular Modelling Toolkit's (VMTK) centerline analysis methods to extract important features from the arborized 3D models, which can be applied to L-system generation. In addition, two 3D biological models: lactiferous duct and artery are used as two case studies to verify the functionality of this web application. In conclusion, our web application is able to visualize, analyse and create L-system abstractions of arborized 3D models. This in turn provides workflow-improving benefits, easy accessibility and extensibility.


title: Robust and fast backbone tracking via phase-locked loops

abstract: Phase-locked loops are commonly used for shaker-based backbone tracking of nonlinear structures. The state of the art is to tune the control parameters by trial and error. In the present work, an approach is proposed to make backbone tracking much more robust and faster. A simple PI controller is proposed, and closed-form expressions for the gains are provided that lead to an optimal settling of the phase transient. The required input parameters are obtained from a conventional shaker-based linear modal test, and an open-loop sine test at a single frequency and level. For phase detection, an adaptive filter based on the LMS algorithm is used, which is shown to be superior to the synchronous demodulation commonly used. Once the phase has locked, one can directly take the next step along the backbone, eliminating the hold times. The latter are currently used for recording the steady state, and to estimate Fourier coefficients in the post-process, which becomes unnecessary since the adaptive filter yields a highly accurate estimation at runtime. The excellent performance of the proposed approach is demonstrated for a doubly clamped beam undergoing bending-stretching coupling leading to a 20 percent shift of the lowest modal frequency. Even for fixed control parameters, designed for the linear regime, only about 100 periods are needed per backbone point, also in the nonlinear regime. This is much faster than what has been reported in the literature so far. In fact, the nonlinear backbone test becomes faster than the linear modal test, shifting the established paradigm.


title: Passive iFIR filters for data-driven control

abstract: We consider the design of a new class of passive iFIR controllers given by the parallel action of an integrator and a finite impulse response filter. iFIRs are more expressive than PID controllers but retain their features and simplicity. The paper provides a model-free data-driven design for passive iFIR controllers based on virtual reference feedback tuning. Passivity is enforced through constrained optimization (three different formulations are discussed). The proposed design does not rely on large datasets or accurate plant models.


title: Socio-spatial segregation and human mobility: A review of empirical evidence

abstract: Social segregation, the spatial and social separation between individuals from different backgrounds, can affect sustainable urban development and social cohesion. The literature has traditionally focused on residential segregation, examining how individuals' residential locations are distributed differently across neighborhoods based on income, ethnicity, and education. However, this approach overlooks the complexity of spatial segregation because daily activities often extend far beyond residential areas. Since the 2010s, emerging mobility data sources have enabled a new understanding of socio-spatial segregation by considering daily activities such as work, school, shopping, and leisure visits. From traditional surveys to GPS trajectories, diverse data sources reveal that day-to-day mobility can impact segregation by reducing or amplifying segregation levels obtained when considering residential aspects alone. This literature review focuses on three critical questions: (a) How do human mobility patterns relate to individuals' segregation experiences? (b) What key factors explain the relationship between one's mobility patterns and segregation experiences? and (c) What are the strengths and limitations of segregation research that incorporates extensive mobility data? Our literature review enhances the understanding of socio-spatial segregation at the individual level and clarifies core concepts and methodological challenges in the field. By incorporating studies from computational social science, urban science, and transportation, our review aims to provide actionable insights for reducing segregation and addressing research gaps in this increasingly interdisciplinary area.


title: TRAWL: External Knowledge-Enhanced Recommendation with LLM Assistance

abstract: Combining semantic information with behavioral data is a crucial research area in recommender systems. A promising approach involves leveraging external knowledge to enrich behavioral-based recommender systems with abundant semantic information. However, this approach faces two primary challenges: denoising raw external knowledge and adapting semantic representations. To address these challenges, we propose an External Knowledge-Enhanced Recommendation method with LLM Assistance (TRAWL). This method utilizes large language models (LLMs) to extract relevant recommendation knowledge from raw external data and employs a contrastive learning strategy for adapter training. Experiments on public datasets and real-world online recommender systems validate the effectiveness of our approach.


title: Spatial features of CO2 for occupancy detection in a naturally ventilated school building

abstract: Accurate occupancy information helps to improve building energy efficiency and occupant comfort. Occupancy detection methods based on CO2 sensors have received attention due to their low cost and low intrusiveness. In naturally ventilated buildings, the accuracy of CO2-based occupancy detection is generally low in related studies due to the complex ventilation behavior and the difficulty in measuring the actual air exchange through windows. In this study, we present two novel features for occupancy detection based on the spatial distribution of the CO2 concentration. After a quantitative analysis with Support Vector Machine (SVM) as classifier, it was found that the accuracy of occupancy state detection in naturally ventilated rooms could be improved by up to 14.8 percentage points compared to the baseline, reaching 83.2 % (F1 score 0.84) without any ventilation information. With ventilation information, the accuracy reached 87.6 % (F1 score 0.89). The performance of occupancy quantity detection was significantly improved by up to 25.3 percentage points versus baseline, reaching 56 %, with root mean square error (RMSE) of 11.44 occupants, using only CO2-related features. Additional ventilation information further enhanced the performance to 61.8 % (RMSE 9.02 occupants). By incorporating spatial features, the model using only CO2-related features revealed similar performance as the model containing additional ventilation information, resulting in a better low-cost occupancy detection method for naturally ventilated buildings.


title: Elephants Never Forget: Testing Language Models for Memorization of Tabular Data

abstract: While many have shown how Large Language Models (LLMs) can be applied to a diverse set of tasks, the critical issues of data contamination and memorization are often glossed over. In this work, we address this concern for tabular data. Starting with simple qualitative tests for whether an LLM knows the names and values of features, we introduce a variety of different techniques to assess the degrees of contamination, including statistical tests for conditional distribution modeling and four tests that identify memorization. Our investigation reveals that LLMs are pre-trained on many popular tabular datasets. This exposure can lead to invalid performance evaluation on downstream tasks because the LLMs have, in effect, been fit to the test set. Interestingly, we also identify a regime where the language model reproduces important statistics of the data, but fails to reproduce the dataset verbatim. On these datasets, although seen during training, good performance on downstream tasks might not be due to overfitting. Our findings underscore the need for ensuring data integrity in machine learning tasks with LLMs. To facilitate future research, we release an open-source tool that can perform various tests for memorization \url{https://github.com/interpretml/LLM-Tabular-Memorization-Checker}.


title: Ricci flow-based brain surface covariance descriptors for diagnosing Alzheimer's disease

abstract: Automated feature extraction from MRI brain scans and diagnosis of Alzheimer's disease are ongoing challenges. With advances in 3D imaging technology, 3D data acquisition is becoming more viable and efficient than its 2D counterpart. Rather than using feature-based vectors, in this paper, for the first time, we suggest a pipeline to extract novel covariance-based descriptors from the cortical surface using the Ricci energy optimization. The covariance descriptors are components of the nonlinear manifold of symmetric positive-definite matrices, thus we focus on using the Gaussian radial basis function to apply manifold-based classification to the 3D shape problem. Applying this novel signature to the analysis of abnormal cortical brain morphometry allows for diagnosing Alzheimer's disease. Experimental studies performed on about two hundred 3D MRI brain models, gathered from Alzheimer's Disease Neuroimaging Initiative (ADNI) dataset demonstrate the effectiveness of our descriptors in achieving remarkable classification accuracy.


title: Unisolvence of random Kansa collocation by Thin-Plate Splines for the Poisson equation

abstract: Existence of sufficient conditions for unisolvence of Kansa unsymmetric collocation for PDEs is still an open problem. In this paper we make a first step in this direction, proving that unsymmetric collocation matrices with Thin-Plate Splines for the 2D Poisson equation are almost surely nonsingular, when the discretization points are chosen randomly on domains with analytic boundary.


title: Positivity and asymptotic behaviour of solutions to a generalized nonlocal fast diffusion equation

abstract: We study the positivity and asymptotic behaviour of nonnegative solutions of a general nonlocal fast diffusion equation, \[\partial_t u + \mathcal{L}\varphi(u) = 0,\] and the interplay between these two properties. Here $\mathcal{L}$ is a stable-like operator and $\varphi$ is a singular nonlinearity. We start by analysing positivity by means of a weak Harnack inequality satisfied by a related elliptic (nonlocal) equation. Then we use this positivity to establish the asymptotic behaviour: under certain hypotheses on the nonlocal operator and nonlinearity, our solutions behave asymptotically as the Barenblatt solution of the standard fractional fast diffusion equation. The main difficulty stems from the generality of the operator, which does not allow the use of the methods that were available for the fractional Laplacian. Our results are new even in the case where $\varphi$ is a power.


title: Ray Launching-Based Computation of Exact Paths with Noisy Dense Point Clouds

abstract: Point clouds have been a recent interest for ray tracing-based radio channel characterization, as sensors such as RGB-D cameras and laser scanners can be utilized to generate an accurate virtual copy of a physical environment. In this paper, a novel ray launching algorithm is presented, which operates directly on noisy point clouds acquired from sensor data. It produces coarse paths that are further refined to exact paths consisting of reflections and diffractions. A commercial ray tracing tool is utilized as the baseline for validating the simulated paths. A significant majority of the baseline paths is found. The robustness to noise is examined by artificially applying noise along the normal vector of each point. It is observed that the proposed method is capable of adapting to noise and finds similar paths compared to the baseline path trajectories with noisy point clouds. This is prevalent especially if the normal vectors of the points are estimated accurately. Lastly, a simulation is performed with a reconstructed point cloud and compared against channel measurements and the baseline paths. The resulting paths demonstrate similarity with the baseline path trajectories and exhibit an analogous pattern to the aggregated impulse response extracted from the measurements. Code available at https://github.com/nvaara/NimbusRT


title: Bond-Order Density Wave Phases in Dimerized Extended Bose-Hubbard Models

abstract: The Bose-Hubbard model (BHM) has been widely explored to develop a profound understanding of the strongly correlated behavior of interacting bosons. Quantum simulators not only allow the exploration of the BHM but also extend it to models with interesting phenomena such as gapped phases with multiple orders and topological phases. In this work, an extended Bose-Hubbard model involving a dimerized one-dimensional model of long-range interacting hard-core bosons is studied. Bond-order density wave phases (BODW) are characterized in terms of their symmetry breaking and topological properties. At certain fillings, interactions combined with dimerized hoppings give rise to an emergent symmetry-breaking leading to BODW phases, which differs from the case of non-interacting models that require an explicit breaking of the symmetry. Specifically, the BODW phase at filling $\rho=1/3$ possesses no analogue in the non-interacting model in terms of its symmetry-breaking properties and the unit cell structure. Upon changing the dimerization pattern, the system realizes topologically trivial BODW phases. At filling $\rho=1/4$, on-site density modulations are shown to stabilize the topological BODW phase. Our work provides the bridge between interacting and non-interacting BODW phases and highlights the significance of long-range interactions in a dimerized lattice by showing unique BODW phases that do not exist in the non-interacting model.


title: Magnetic signatures of multicomponent superconductivity in pressurized UTe2

abstract: The heavy fermion material UTe$_2$ possesses a rich phase diagram with multiple superconducting phases, several of which exhibit characteristics of odd-parity pairing. Here, we report on the pressure dependence of signatures of the superconducting transition in the temperature dependent ac magnetic susceptibility $\chi(T)$ in high quality UTe$_2$ single crystals. We resolve a single superconducting transition in $\chi(T)$ at low pressures $<$ 0.3 GPa. At higher pressure, however, a second feature emerges in $\chi(T)$, which is located at the thermodynamic phase boundary between two separate superconducting states previously identified by specific heat studies. The observation of a two-step transition in $\chi(T)$ can be understood as a consequence of the change in the London penetration depth, when UTe$_2$ switches from one superconducting phase into another.


title: SoniWeight Shoes: Investigating Effects and Personalization of a Wearable Sound Device for Altering Body Perception and Behavior

abstract: Changes in body perception influence behavior and emotion and can be induced through multisensory feedback. Auditory feedback to one's actions can trigger such alterations; however, it is unclear which individual factors modulate these effects. We employ and evaluate SoniWeight Shoes, a wearable device based on literature for altering one's weight perception through manipulated footstep sounds. In a healthy population sample across a spectrum of individuals (n=84) with varying degrees of eating disorder symptomatology, physical activity levels, body concerns, and mental imagery capacities, we explore the effects of three sound conditions (low-frequency, high-frequency and control) on extensive body perception measures (demographic, behavioral, physiological, psychological, and subjective). Analyses revealed an impact of individual differences in each of these dimensions. Besides replicating previous findings, we reveal and highlight the role of individual differences in body perception, offering avenues for personalized sonification strategies. Datasets, technical refinements, and novel body map quantification tools are provided.


title: Symmetry Resolved Measures in Quantum Field Theory: a Short Review

abstract: In this short review we present the key definitions, ideas and techniques involved in the study of symmetry resolved entanglement measures, with a focus on the symmetry resolved entanglement entropy. In order to be able to define such entanglement measures, it is essential that the theory under study possess an internal symmetry. Then, symmetry resolved entanglement measures quantify the contribution to a particular entanglement measure that can be associated to a chosen symmetry sector. Our review focuses on conformal (gapless/massless/critical) and integrable (gapped/massive) quantum field theories, where the leading computational technique employs symmetry fields known as (composite) branch point twist fields.


title: UAV-Enabled Asynchronous Federated Learning

abstract: To exploit unprecedented data generation in mobile edge networks, federated learning (FL) has emerged as a promising alternative to the conventional centralized machine learning (ML). However, there are some critical challenges for FL deployment. One major challenge called straggler issue severely limits FL's coverage where the device with the weakest channel condition becomes the bottleneck of the model aggregation performance. Besides, the huge uplink communication overhead compromises the effectiveness of FL, which is particularly pronounced in large-scale systems. To address the straggler issue, we propose the integration of an unmanned aerial vehicle (UAV) as the parameter server (UAV-PS) to coordinate the FL implementation. We further employ over-the-air computation technique that leverages the superposition property of wireless channels for efficient uplink communication. Specifically, in this paper, we develop a novel UAV-enabled over-the-air asynchronous FL (UAV-AFL) framework which supports the UAV-PS in updating the model continuously to enhance the learning performance. Moreover, we conduct a convergence analysis to quantitatively capture the impact of model asynchrony, device selection and communication errors on the UAV-AFL learning performance. Based on this, a unified communication-learning problem is formulated to maximize asymptotical learning performance by optimizing the UAV-PS trajectory, device selection and over-the-air transceiver design. Simulation results demonstrate that the proposed scheme achieves substantially learning efficiency improvement compared with the state-of-the-art approaches.


title: A preconditioning for the spectral solution of incompressible variable-density flows

abstract: In the present study, the efficiency of preconditioners for solving linear systems associated with the discretized variable-density incompressible Navier-Stokes equations with semiimplicit second-order accuracy in time and spectral accuracy in space is investigated. The method, in which the inverse operator for the constant-density flow system acts as preconditioner, is implemented for three iterative solvers: the General Minimal Residual, the Conjugate Gradient and the Richardson Minimal Residual. We discuss the method, first, in the context of the one-dimensional flow case where a top-hat like profile for the density is used. Numerical evidence shows that the convergence is significantly improved due to the notable decrease in the condition number of the operators. Most importantly, we then validate the robustness and convergence properties of the method on two more realistic problems: the two-dimensional Rayleigh-Taylor instability problem and the three-dimensional variable-density swirling jet.


title: Thermalization in Krylov Basis

abstract: We study thermalization for closed non-integrable quantum systems in the Krylov basis. Following the idea of the eigenstate thermalization hypothesis, one may introduce Krylov basis thermalization hypothesis which imposes a condition on the matrix elements of local operators in the Krylov basis. In this context, the nature of thermalization may be probed by the infinite time average of the Krylov complexity. We also compute the variance of Lanczos coefficients which may provide another quantity to examine the nature of thermalization. We will see that there is a direct relation between the behavior of the infinite time average of complexity and that of the inverse participation ratio of initial states.


title: Investigation of the Thermal Structure in the Atmospheric Boundary Layer During Evening Transition and the Impact of Aerosols on Radiative Cooling

abstract: We have explored the evening transition using data from eighty days of observations across two fog seasons at the Kempegowda International Airport, Bengaluru (KIAB). Through field experiments and simulations integrating aerosol interaction in a radiation-conduction model, we elucidate the impact of aerosols on longwave cooling of the Atmospheric Boundary Layer (ABL). Field observations indicate that under calm and clear-sky conditions, the evening transition typically results in a distinct vertical thermal structure called the Lifted Temperature Minimum (LTM). We observe that the prevailing profile near the surface post-sunset is the LTM-profile. Additionally, the occurrence of LTM is observed to increase with decreases in downward and upward longwave flux, soil sensible heat flux, wind speed, and turbulent kinetic energy measured at two meters above ground level (AGL). In such scenarios, the intensity of LTM-profiles is primarily governed by aerosol-induced longwave heating rate (LHR) within the surface layer. Furthermore, the presence of clouds leads to increased downward flux, causing the disappearance of LTM, whereas shallow fog can enhance LTM intensity, as observed in both field observations and simulations. Usually, prevailing radiation models underestimate aerosol-induced longwave heating rate (LHR) by an order, compared to actual field observations. We attribute this difference to aerosol-induced radiation divergence. We show that impact of aerosol-induced LHR extends hundreds of meters into the inversion layer, affecting temperature profiles and potentially influencing processes such as fog formation. As the fog layer develops, LHR strengthens at its upper boundary, however, we highlight the difficulty in detecting this cooling using remote instruments such as microwave radiometer.


title: Data-Driven Tuning Parameter Selection for High-Dimensional Vector Autoregressions

abstract: Lasso-type estimators are routinely used to estimate high-dimensional time series models. The theoretical guarantees established for Lasso typically require the penalty level to be chosen in a suitable fashion often depending on unknown population quantities. Furthermore, the resulting estimates and the number of variables retained in the model depend crucially on the chosen penalty level. However, there is currently no theoretically founded guidance for this choice in the context of high-dimensional time series. Instead one resorts to selecting the penalty level in an ad hoc manner using, e.g., information criteria or cross-validation. We resolve this problem by considering estimation of the perhaps most commonly employed multivariate time series model, the linear vector autoregressive (VAR) model, and propose a weighted Lasso estimator with penalization chosen in a fully data-driven way. The theoretical guarantees that we establish for the resulting estimation and prediction error match those currently available for methods based on infeasible choices of penalization. We thus provide a first solution for choosing the penalization in high-dimensional time series models.


title: Towards Zero-Shot Interpretable Human Recognition: A 2D-3D Registration Framework

abstract: Large vision models based in deep learning architectures have been consistently advancing the state-of-the-art in biometric recognition. However, three weaknesses are commonly reported for such kind of approaches: 1) their extreme demands in terms of learning data; 2) the difficulties in generalising between different domains; and 3) the lack of interpretability/explainability, with biometrics being of particular interest, as it is important to provide evidence able to be used for forensics/legal purposes (e.g., in courts). To the best of our knowledge, this paper describes the first recognition framework/strategy that aims at addressing the three weaknesses simultaneously. At first, it relies exclusively in synthetic samples for learning purposes. Instead of requiring a large amount and variety of samples for each subject, the idea is to exclusively enroll a 3D point cloud per identity. Then, using generative strategies, we synthesize a very large (potentially infinite) number of samples, containing all the desired covariates (poses, clothing, distances, perspectives, lighting, occlusions,...). Upon the synthesizing method used, it is possible to adapt precisely to different kind of domains, which accounts for generalization purposes. Such data are then used to learn a model that performs local registration between image pairs, establishing positive correspondences between body parts that are the key, not only to recognition (according to cardinality and distribution), but also to provide an interpretable description of the response (e.g.: "both samples are from the same person, as they have similar facial shape, hair color and legs thickness").


title: Zero-Shot ECG Classification with Multimodal Learning and Test-time Clinical Knowledge Enhancement

abstract: Electrocardiograms (ECGs) are non-invasive diagnostic tools crucial for detecting cardiac arrhythmic diseases in clinical practice. While ECG Self-supervised Learning (eSSL) methods show promise in representation learning from unannotated ECG data, they often overlook the clinical knowledge that can be found in reports. This oversight and the requirement for annotated samples for downstream tasks limit eSSL's versatility. In this work, we address these issues with the Multimodal ECG Representation Learning (MERL}) framework. Through multimodal learning on ECG records and associated reports, MERL is capable of performing zero-shot ECG classification with text prompts, eliminating the need for training data in downstream tasks. At test time, we propose the Clinical Knowledge Enhanced Prompt Engineering (CKEPE) approach, which uses Large Language Models (LLMs) to exploit external expert-verified clinical knowledge databases, generating more descriptive prompts and reducing hallucinations in LLM-generated content to boost zero-shot classification. Based on MERL, we perform the first benchmark across six public ECG datasets, showing the superior performance of MERL compared against eSSL methods. Notably, MERL achieves an average AUC score of 75.2% in zero-shot classification (without training data), 3.2% higher than linear probed eSSL methods with 10\% annotated training data, averaged across all six datasets.