title: Self-Reconfigurable V-shape Formation of Multiple UAVs in Narrow Space Environments

abstract: This paper presents the design and implementation of a self-reconfigurable V-shape formation controller for multiple unmanned aerial vehicles (UAVs) navigating through narrow spaces in a dense obstacle environment. The selection of the V-shape formation is motivated by its maneuverability and visibility advantages. The main objective is to develop an effective formation control strategy that allows UAVs to autonomously adjust their positions to form the desired formation while navigating through obstacles. To achieve this, we propose a distributed behavior-based control algorithm that combines the behaviors designed for individual UAVs so that they together navigate the UAVs to their desired positions. The reconfiguration process is automatic, utilizing individual UAV sensing within the formation, allowing for dynamic adaptations such as opening/closing wings or merging into a straight line. Simulation results show that the self-reconfigurable V-shape formation offers adaptability and effectiveness for UAV formations in complex operational scenarios.


title: Ant Colony Optimization for Cooperative Inspection Path Planning Using Multiple Unmanned Aerial Vehicles

abstract: This paper presents a new swarm intelligence-based approach to deal with the cooperative path planning problem of unmanned aerial vehicles (UAVs), which is essential for the automatic inspection of infrastructure. The approach uses a 3D model of the structure to generate viewpoints for the UAVs. The calculation of the viewpoints considers the constraints related to the UAV formation model, camera parameters, and requirements for data post-processing. The viewpoints are then used as input to formulate the path planning as an extended traveling salesman problem and the definition of a new cost function. Ant colony optimization is finally used to solve the problem to yield optimal inspection paths. Experiments with 3D models of real structures have been conducted to evaluate the performance of the proposed approach. The results show that our system is not only capable of generating feasible inspection paths for UAVs but also reducing the path length by 29.47\% for complex structures when compared with another heuristic approach. The source code of the algorithm can be found at https://github.com/duynamrcv/aco_3d_ipp.


title: Introenumerability, autoreducibility, and randomness

abstract: We define $\Psi$-autoreducible sets given an autoreduction procedure $\Psi$. Then, we show that for any $\Psi$, a measurable class of $\Psi$-autoreducible sets has measure zero. Using this, we show that classes of cototal, uniformly introenumerable, introenumerable, and hyper-cototal enumeration degrees all have measure zero. By analyzing the arithmetical complexity of the classes of cototal sets and cototal enumeration degrees, we show that weakly 2-random sets cannot be cototal and weakly 3-random sets cannot be of cototal enumeration degree. Then, we see that this result is optimal by showing that there exists a 1-random cototal set and a 2-random set of cototal enumeration degree. For uniformly introenumerable degrees and introenumerable degrees, we utilize $\Psi$-autoreducibility again to show the optimal result that no weakly 3-random sets can have introenumerable enumeration degree. We also show that no 1-random set can be introenumerable.


title: Rehan-Lanel Indices of Graphs

abstract: A graph $G$ consists of vertices $V(G)$ and edges $E(G)$. In this paper, we propose four new indices defined and named as first Rehan-Lanel index of $G$ $(RL_1)$, second Rehan-Lanel index of $G$ $(RL_2)$, second Rehan-Lanel index of $G$, third Rehan-Lanel index of $G$, $(RL_3)$ and fourth Rehan-Lanel index of $G$ $(RL_4)$. The degrees of the vertices $u, v \in V(G)$ are denoted by $d_G(u)$ and $d_G(v)$. Based on these new indices and the definitions of Revan degree, Domination degree, Banhatti degree, Temperature of a vertex, KV indices, we subsequently introduced an additional 448 indices/exponentials and computed results for the first four new indices of each subsequent definition, for the standard graphs such as $r-$ regular graph, complete graph, cycle, path and compete bipartite graph. In addition, we performed calculations for the Wheel graph, Sunflower graph, and French Windmill graph. Furthermore, using the exponential of a degree of a vertex, the centrality concept, we introduced another 8 indices. Furthermore, we defined a new degree called Chandana-Lanel degree of a vertex of a graph(CL degree). Using this degree, new 6 indices were defined. Also, we defined the index called the Heronian Rehan-Lanel index using the Heronian mean of two numbers. These novel 462 indices would be advantageous in QSPR/QSAR studies.


title: SepRep-Net: Multi-source Free Domain Adaptation via Model Separation And Reparameterization

abstract: We consider multi-source free domain adaptation, the problem of adapting multiple existing models to a new domain without accessing the source data. Among existing approaches, methods based on model ensemble are effective in both the source and target domains, but incur significantly increased computational costs. Towards this dilemma, in this work, we propose a novel framework called SepRep-Net, which tackles multi-source free domain adaptation via model Separation and Reparameterization.Concretely, SepRep-Net reassembled multiple existing models to a unified network, while maintaining separate pathways (Separation). During training, separate pathways are optimized in parallel with the information exchange regularly performed via an additional feature merging unit. With our specific design, these pathways can be further reparameterized into a single one to facilitate inference (Reparameterization). SepRep-Net is characterized by 1) effectiveness: competitive performance on the target domain, 2) efficiency: low computational costs, and 3) generalizability: maintaining more source knowledge than existing solutions. As a general approach, SepRep-Net can be seamlessly plugged into various methods. Extensive experiments validate the performance of SepRep-Net on mainstream benchmarks.


title: A survey of recent methods for addressing AI fairness and bias in biomedicine

abstract: Artificial intelligence (AI) systems have the potential to revolutionize clinical practices, including improving diagnostic accuracy and surgical decision-making, while also reducing costs and manpower. However, it is important to recognize that these systems may perpetuate social inequities or demonstrate biases, such as those based on race or gender. Such biases can occur before, during, or after the development of AI models, making it critical to understand and address potential biases to enable the accurate and reliable application of AI models in clinical settings. To mitigate bias concerns during model development, we surveyed recent publications on different debiasing methods in the fields of biomedical natural language processing (NLP) or computer vision (CV). Then we discussed the methods that have been applied in the biomedical domain to address bias. We performed our literature search on PubMed, ACM digital library, and IEEE Xplore of relevant articles published between January 2018 and December 2023 using multiple combinations of keywords. We then filtered the result of 10,041 articles automatically with loose constraints, and manually inspected the abstracts of the remaining 890 articles to identify the 55 articles included in this review. Additional articles in the references are also included in this review. We discuss each method and compare its strengths and weaknesses. Finally, we review other potential methods from the general domain that could be applied to biomedicine to address bias and improve fairness.The bias of AIs in biomedicine can originate from multiple sources. Existing debiasing methods that focus on algorithms can be categorized into distributional or algorithmic.


title: Object Detection in Thermal Images Using Deep Learning for Unmanned Aerial Vehicles

abstract: This work presents a neural network model capable of recognizing small and tiny objects in thermal images collected by unmanned aerial vehicles. Our model consists of three parts, the backbone, the neck, and the prediction head. The backbone is developed based on the structure of YOLOv5 combined with the use of a transformer encoder at the end. The neck includes a BI-FPN block combined with the use of a sliding window and a transformer to increase the information fed into the prediction head. The prediction head carries out the detection by evaluating feature maps with the Sigmoid function. The use of transformers with attention and sliding windows increases recognition accuracy while keeping the model at a reasonable number of parameters and computation requirements for embedded systems. Experiments conducted on public dataset VEDAI and our collected datasets show that our model has a higher accuracy than state-of-the-art methods such as ResNet, Faster RCNN, ComNet, ViT, YOLOv5, SMPNet, and DPNetV3. Experiments on the embedded computer Jetson AGX show that our model achieves a real-time computation speed with a stability rate of over 90%.


title: Unrestricted Global Phase Bias-Aware Single-channel Speech Enhancement with Conformer-based Metric GAN

abstract: With the rapid development of neural networks in recent years, the ability of various networks to enhance the magnitude spectrum of noisy speech in the single-channel speech enhancement domain has become exceptionally outstanding. However, enhancing the phase spectrum using neural networks is often ineffective, which remains a challenging problem. In this paper, we found that the human ear cannot sensitively perceive the difference between a precise phase spectrum and a biased phase (BP) spectrum. Therefore, we propose an optimization method of phase reconstruction, allowing freedom on the global-phase bias instead of reconstructing the precise phase spectrum. We applied it to a Conformer-based Metric Generative Adversarial Networks (CMGAN) baseline model, which relaxes the existing constraints of precise phase and gives the neural network a broader learning space. Results show that this method achieves a new state-of-the-art performance without incurring additional computational overhead.


title: Inherent photocurrent of infrared diode under negative illumination

abstract: We investigate inherent photovoltaic power generation of narrow gap p-n junction diodes under negative illumination condition, which has been expected to power source in the nighttime with terrestrial radiation to outer space. To reveal factors restricting the energy conversion efficiency under negative illumination, we improve measurement method using sufficiently cold surface cooled by liquid nitrogen. Since the diode faces the cold surface in a vacuum chamber, we can avoid the effect of the atmosphere absorptions of the real cold sky, and maximize the photovoltage or photocurrent, which is an inherent property of each diode. We reveal that the temperature dependence on the inherent photovoltage and photocurrent. We analyze the experimental data with a single homo junction model and find that the ratio between the diffusion length of the minority carriers and the light penetration length plays an important role for the limitation of the power generation efficiency.


title: Local Kummer theory for Drinfeld modules

abstract: Let $\phi$ be a Drinfeld $A$-module of finite residual characteristic $\bar{\mathfrak{p}}$ over a local field $K$. We study the action of the inertia group of $K$ on a modified adelic Tate module $\smash{T^\circ_{\text{ad}}}(\phi)$ which differs from the usual adelic Tate module only at the $\bar{\mathfrak{p}}$-primary component. After replacing $K$ by a finite extension we can assume that $\phi$ is the analytic quotient of a Drinfeld module $\psi$ of good reduction by a lattice $M\subset K$. The image of inertia acting on $T^\circ_{\text{ad}}(\phi)$ is then naturally a subgroup of $\operatorname{Hom}_A(M,T^\circ_\text{ad}(\psi))$. This subgroup is described by a canonical local Kummer pairing that we study extensively in this article. In particular we give an effective formula for the image of inertia up to finite index, and obtain a necessary and sufficient condition for this image to be open. We also determine the image of the ramification filtration


title: Distal Interference: Exploring the Limits of Model-Based Continual Learning

abstract: Continual learning is the sequential learning of different tasks by a machine learning model. Continual learning is known to be hindered by catastrophic interference or forgetting, i.e. rapid unlearning of earlier learned tasks when new tasks are learned. Despite their practical success, artificial neural networks (ANNs) are prone to catastrophic interference. This study analyses how gradient descent and overlapping representations between distant input points lead to distal interference and catastrophic interference. Distal interference refers to the phenomenon where training a model on a subset of the domain leads to non-local changes on other subsets of the domain. This study shows that uniformly trainable models without distal interference must be exponentially large. A novel antisymmetric bounded exponential layer B-spline ANN architecture named ABEL-Spline is proposed that can approximate any continuous function, is uniformly trainable, has polynomial computational complexity, and provides some guarantees for distal interference. Experiments are presented to demonstrate the theoretical properties of ABEL-Splines. ABEL-Splines are also evaluated on benchmark regression problems. It is concluded that the weaker distal interference guarantees in ABEL-Splines are insufficient for model-only continual learning. It is conjectured that continual learning with polynomial complexity models requires augmentation of the training data or algorithm.


title: Modeling Balanced Explicit and Implicit Relations with Contrastive Learning for Knowledge Concept Recommendation in MOOCs

abstract: The knowledge concept recommendation in Massive Open Online Courses (MOOCs) is a significant issue that has garnered widespread attention. Existing methods primarily rely on the explicit relations between users and knowledge concepts on the MOOC platforms for recommendation. However, there are numerous implicit relations (e.g., shared interests or same knowledge levels between users) generated within the users' learning activities on the MOOC platforms. Existing methods fail to consider these implicit relations, and these relations themselves are difficult to learn and represent, causing poor performance in knowledge concept recommendation and an inability to meet users' personalized needs. To address this issue, we propose a novel framework based on contrastive learning, which can represent and balance the explicit and implicit relations for knowledge concept recommendation in MOOCs (CL-KCRec). Specifically, we first construct a MOOCs heterogeneous information network (HIN) by modeling the data from the MOOC platforms. Then, we utilize a relation-updated graph convolutional network and stacked multi-channel graph neural network to represent the explicit and implicit relations in the HIN, respectively. Considering that the quantity of explicit relations is relatively fewer compared to implicit relations in MOOCs, we propose a contrastive learning with prototypical graph to enhance the representations of both relations to capture their fruitful inherent relational knowledge, which can guide the propagation of students' preferences within the HIN. Based on these enhanced representations, to ensure the balanced contribution of both towards the final recommendation, we propose a dual-head attention mechanism for balanced fusion. Experimental results demonstrate that CL-KCRec outperforms several state-of-the-art baselines on real-world datasets in terms of HR, NDCG and MRR.


title: Rational Design of Efficient Defect-Based Quantum Emitters

abstract: Single-photon emitters are an essential component of quantum networks, and defects or impurities in semiconductors are a promising platform to realize such quantum emitters. Here we present a model that encapsulates the essential physics of coupling to phonons, which governs the behavior of real single-photon emitters, and critically evaluate several approximations that are commonly utilized. Emission in the telecom wavelength range is highly desirable, but our model shows that nonradiative processes are greatly enhanced at these low photon energies, leading to a decrease in efficiency. Our results suggest that reducing the phonon frequency is a fruitful avenue to enhance the efficiency.


title: Coordinate rings on symmetric spaces

abstract: Let $G_k$ be a connected reductive group over an algebraically closed field $k$ of char $\neq 2$. Let $\theta_k$ be an algebraic group involution of $G_k$ and denote the fixed point subgroup by $K_k$. We construct an integral model for the symmetric space $K_k \backslash G_k$ with a natural action of the Chevalley group scheme over integers. We show the coordinate ring $k[K_k \backslash G_k]$ admits a canonical basis, as well as a good filtration as a $G_k$-module. We also construct a canonical basis and an integral form for the space of $K_k$-biinvariant functions on $k[G_k]$. Our results rely on the construction of quantized coordinate algebras of symmetric spaces, using the theory of canonical bases on quantum symmetric pairs.


title: A Survey of Table Reasoning with Large Language Models

abstract: Table reasoning, which aims to generate the corresponding answer to the question following the user requirement according to the provided table, and optionally a text description of the table, effectively improving the efficiency of obtaining information. Recently, using Large Language Models (LLMs) has become the mainstream method for table reasoning, because it not only significantly reduces the annotation cost but also exceeds the performance of previous methods. However, existing research still lacks a summary of LLM-based table reasoning works. Due to the existing lack of research, questions about which techniques can improve table reasoning performance in the era of LLMs, why LLMs excel at table reasoning, and how to enhance table reasoning abilities in the future, remain largely unexplored. This gap significantly limits progress in research. To answer the above questions and advance table reasoning research with LLMs, we present this survey to analyze existing research, inspiring future work. In this paper, we analyze the mainstream techniques used to improve table reasoning performance in the LLM era, and the advantages of LLMs compared to pre-LLMs for solving table reasoning. We provide research directions from both the improvement of existing methods and the expansion of practical applications to inspire future research.


title: The perturbation method applied to a robust optimization problem with constraint

abstract: The present paper studies a kind of robust optimization problems with constraint. The problem is formulated through Backward Stochastic Differential Equations (BSDEs) with quadratic generators. A necessary condition is established for the optimal solution using a terminal perturbation method and properties of Bounded Mean Oscillation (BMO) martingales. The necessary condition is further proved to be sufficient for the existence of an optimal solution under an additional convexity assumption. Finally, the optimality condition is applied to discuss problems of partial hedging with ambiguity, fundraising under ambiguity and randomized testing problems for a quadratic $g$-expectation.


title: QuApprox: A Framework for Benchmarking the Approximability of Variational Quantum Circuit

abstract: Most of the existing quantum neural network models, such as variational quantum circuits (VQCs), are limited in their ability to explore the non-linear relationships in input data. This gradually becomes the main obstacle for it to tackle realistic applications, such as natural language processing, medical image processing, and wireless communications. Recently, there have emerged research efforts that enable VQCs to perform non-linear operations. However, it is still unclear on the approximability of a given VQC (i.e., the order of non-linearity that can be handled by a specified design). In response to this issue, we developed an automated tool designed to benchmark the approximation of a given VQC. The proposed tool will generate a set of synthetic datasets with different orders of non-linearity and train the given VQC on these datasets to estimate their approximability. Our experiments benchmark VQCs with different designs, where we know their theoretic approximability. We then show that the proposed tool can precisely estimate the approximability, which is consistent with the theoretic value, indicating that the proposed tool can be used for benchmarking the approximability of a given quantum circuit for learning tasks.


title: Poisson transforms, the BGG complex, and discrete series representations of SU(n+1,1)

abstract: The aim of this article is to construct a specific Poisson transform mapping differential forms on the sphere $S^{2n+1}$ endowed with its natural CR structure to forms on complex hyperbolic space. The transforms we construct have values that are harmonic and co-closed and they descend to the BGG (Rumin) complex and intertwine the differential operators in that complex with the exterior derivative. Passing to the Poincar\'e ball model, we analyze the boundary asymptotics of the values of our transforms proving that they admit a continuous extension to the boundary in degrees $\leq n$. Finally, we show that composing the exterior derivative with the transform in degree $n$, one obtains an isomorphism between the kernel of the Rumin operator in degree $n$ and a dense subspace of the $L^2$-harmonic forms on complex hyperbolic space. These are well known to realize the direct sum of all discrete series representations of $SU(n+1,1)$, which we therefore realize on spaces of differential forms on the compact manifold $S^{2n+1}$. The developments in this article are motivated by a program of the third author to prove some instances of the Baum-Connes conjecture. The first part of the article is valid in a much more general setting, and is also relevant for cases in which the conjecture is still open.


title: Crossed Andreev reflection in altermagnets

abstract: Crossed Andreev reflection (CAR) is a scattering phenomenon occurring in a superconductor (SC) connected to two metallic leads, where an incident electron on one side of the SC emerges on the opposite side as a hole. Despite its significance, CAR detection is often impeded by the prevalent electron tunneling (ET), wherein the incident electron exits on the opposing side as an electron. One approach to augment CAR over ET involves employing two antiparallel ferromagnets across the SC. However, this method is constrained by the low polarization in ferromagnets and necessitates the application of a magnetic field. Altermagnets (AMs) present a promising avenue for detecting and enhancing CAR due to their distinct Fermi surfaces for the two spins. Here, we propose a configuration utilizing two AMs rotated by $90^{\circ}$ with respect to each other on either side of an SC to enhance CAR. We calculate local and nonlocal conductivities across the AM-SC-AM junction using the Landauer-B\"uttiker scattering approach. Our findings reveal that in the strong phase of AMs, CAR overwhelmingly dominates nonlocal transport. In the weak phase, CAR can exhibit significant enhancement for larger values of the altermagnetic parameter compared to the scenario where AMs are in the normal metallic phase. As a function of the length of the SC, the conductivities exhibit oscillations reminiscent of Fabry-P\'erot interference.


title: On Iiro Honkala's contributions to identifying codes

abstract: A set $C$ of vertices in a graph $G=(V,E)$ is an identifying code if it is dominating and any two vertices of $V$ are dominated by distinct sets of codewords. This paper presents a survey of Iiro Honkala's contributions to the study of identifying codes with respect to several aspects: complexity of computing an identifying code, combinatorics in binary Hamming spaces, infinite grids, relationships between identifying codes and usual parameters in graphs, structural properties of graphs admitting identifying codes, and number of optimal identifying codes.


title: A Dense Reward View on Aligning Text-to-Image Diffusion with Preference

abstract: Aligning text-to-image diffusion model (T2I) with preference has been gaining increasing research attention. While prior works exist on directly optimizing T2I by preference data, these methods are developed under the bandit assumption of a latent reward on the entire diffusion reverse chain, while ignoring the sequential nature of the generation process. This may harm the efficacy and efficiency of preference alignment. In this paper, we take on a finer dense reward perspective and derive a tractable alignment objective that emphasizes the initial steps of the T2I reverse chain. In particular, we introduce temporal discounting into DPO-style explicit-reward-free objectives, to break the temporal symmetry therein and suit the T2I generation hierarchy. In experiments on single and multiple prompt generation, our method is competitive with strong relevant baselines, both quantitatively and qualitatively. Further investigations are conducted to illustrate the insight of our approach.


title: Isometries of Lipschitz-free Banach spaces

abstract: We describe surjective linear isometries and linear isometry groups of a large class of Lipschitz-free spaces that includes e.g. Lipschitz-free spaces over any graph. We define the notion of a Lipschitz-free rigid metric space whose Lipschitz-free space only admits surjective linear isometries coming from surjective dilations (i.e. rescaled isometries) of the metric space itself. We show this class of metric spaces is surprisingly rich and contains all $3$-connected graphs as well as geometric examples such as non-abelian Carnot groups with horizontally strictly convex norms. We prove that every metric space isometrically embeds into a Lipschitz-free rigid space that has only three more points.


title: Improving Image Coding for Machines through Optimizing Encoder via Auxiliary Loss

abstract: Image coding for machines (ICM) aims to compress images for machine analysis using recognition models rather than human vision. Hence, in ICM, it is important for the encoder to recognize and compress the information necessary for the machine recognition task. There are two main approaches in learned ICM; optimization of the compression model based on task loss, and Region of Interest (ROI) based bit allocation. These approaches provide the encoder with the recognition capability. However, optimization with task loss becomes difficult when the recognition model is deep, and ROI-based methods often involve extra overhead during evaluation. In this study, we propose a novel training method for learned ICM models that applies auxiliary loss to the encoder to improve its recognition capability and rate-distortion performance. Our method achieves Bjontegaard Delta rate improvements of 27.7% and 20.3% in object detection and semantic segmentation tasks, compared to the conventional training method.


title: World Model on Million-Length Video And Language With Blockwise RingAttention

abstract: Current language models fall short in understanding aspects of the world not easily described in words, and struggle with complex, long-form tasks. Video sequences offer valuable temporal information absent in language and static images, making them attractive for joint modeling with language. Such models could develop a understanding of both human textual knowledge and the physical world, enabling broader AI capabilities for assisting humans. However, learning from millions of tokens of video and language sequences poses challenges due to memory constraints, computational complexity, and limited datasets. To address these challenges, we curate a large dataset of diverse videos and books, utilize the Blockwise RingAttention technique to scalably train on long sequences, and gradually increase context size from 4K to 1M tokens. This paper makes the following contributions: (a) Largest context size neural network: We train one of the largest context size transformers on long video and language sequences, setting new benchmarks in difficult retrieval tasks and long video understanding. (b) Solutions for overcoming vision-language training challenges, including using masked sequence packing for mixing different sequence lengths, loss weighting to balance language and vision, and model-generated QA dataset for long sequence chat. (c) A highly-optimized implementation with RingAttention, Blockwise Transformers, masked sequence packing, and other key features for training on millions-length multimodal sequences. (d) Fully open-sourced a family of 7B parameter models capable of processing long text documents (LWM-Text, LWM-Text-Chat) and videos (LWM, LWM-Chat) of over 1M tokens. This work paves the way for training on massive datasets of long video and language to develop understanding of both human knowledge and the multimodal world, and broader capabilities.


title: Geometry-induced Implicit Regularization in Deep ReLU Neural Networks

abstract: It is well known that neural networks with many more parameters than training examples do not overfit. Implicit regularization phenomena, which are still not well understood, occur during optimization and 'good' networks are favored. Thus the number of parameters is not an adequate measure of complexity if we do not consider all possible networks but only the 'good' ones. To better understand which networks are favored during optimization, we study the geometry of the output set as parameters vary. When the inputs are fixed, we prove that the dimension of this set changes and that the local dimension, called batch functional dimension, is almost surely determined by the activation patterns in the hidden layers. We prove that the batch functional dimension is invariant to the symmetries of the network parameterization: neuron permutations and positive rescalings. Empirically, we establish that the batch functional dimension decreases during optimization. As a consequence, optimization leads to parameters with low batch functional dimensions. We call this phenomenon geometry-induced implicit regularization.The batch functional dimension depends on both the network parameters and inputs. To understand the impact of the inputs, we study, for fixed parameters, the largest attainable batch functional dimension when the inputs vary. We prove that this quantity, called computable full functional dimension, is also invariant to the symmetries of the network's parameterization, and is determined by the achievable activation patterns. We also provide a sampling theorem, showing a fast convergence of the estimation of the computable full functional dimension for a random input of increasing size. Empirically we find that the computable full functional dimension remains close to the number of parameters, which is related to the notion of local identifiability. This differs from the observed values for the batch functional dimension computed on training inputs and test inputs. The latter are influenced by geometry-induced implicit regularization.

categories: cs.AI cs.LG cs.NE math.OC math.ST stat.TH


title: What the Fix? A Study of ASATs Rule Documentation

abstract: Automatic Static Analysis Tools (ASATs) are widely used by software developers to diffuse and enforce coding practices. Yet, we know little about the documentation of ASATs, despite it being critical to learn about the coding practices in the first place. We shed light on this through several contributions. First, we analyze the documentation of more than 100 rules of 16 ASATs for multiple programming languages, and distill a taxonomy of the purposes of the documentation-What triggers a rule; Why it is important; and how to Fix an issue-and its types of contents. Then, we conduct a survey to assess the effectiveness of the documentation in terms of its goals and types of content. We highlight opportunities for improvement in ASAT documentation. In particular, we find that the Why purpose is missing in half of the rules we survey; moreover, when the Why is present, it is more likely to have quality issues than the What and the Fix.


title: Elliptic Approximate Message Passing and an application to theoretical ecology

abstract: Approximate Message Passing (AMP) algorithmshave recently gathered significant attention across disciplines such as statistical physics, machine learning, and communication systems. This study aims to extend AMP algorithms to non-symmetric (elliptic) matrices, motivated by analyzing equilibrium properties in ecological systems featuring elliptic interaction matrices.In this article, we provide the general form of an AMP algorithm associated to a random elliptic matrix, the main change lying in a modification of the corrective (Onsager) term. In order to establish the statistical properties of this algorithm, we use and prove a generalized form of Bolthausen conditioning argument, pivotal to proceed by a Gaussian-based induction.We finally address the initial motivating question from theoretical ecology. Large foodwebs are often described by Lotka-Volterra systems of coupled differential equations, where the interaction matrix is elliptic random. In this context, we design an AMP algorithm to analyze the statistical properties of the equilibrium point in a high-dimensional regime. We rigorously recover the results established by [Bunin, 2017] and [Galla,2018] who used techniques from theoretical physics, and extend them with the help of propagation of chaos type arguments.


title: The gradient's limit of a definable family of functions is a conservative set-valued field

abstract: It is well-known that the convergence of a family of smooth functions does not imply the convergence of its gradients. In this work, we show that if the family is definable in an o-minimal structure (for instance semialgebraic, subanalytic, or any composition of the previous with exp, log), then the gradient's limit is a conservative set-valued field in the sense introduced by Bolte and Pauwels. Immediate implications of this result on convergence guarantees of smoothing methods are discussed. Finally, a more general result is established, where the functions in the original family might be merely Lipschitz continuous, vector-valued and the gradients are replaced by their Clarke's Jacobians or an arbitrary definable conservative mapping.


title: Regional Adaptive Metropolis Light Transport

abstract: The design of the proposal distributions, and most notably the kernel parameters, are crucial for the performance of Markov chain Monte Carlo (MCMC) rendering. A poor selection of parameters can increase the correlation of the Markov chain and result in bad rendering performance. We approach this problem by a novel path perturbation strategy for online-learning of state-dependent kernel parameters. We base our approach on the theoretical framework of regional adaptive MCMC which enables the adaptation of parameters depending on the region of the state space which contains the current sample, and on information collected from previous samples. For this, we define a partitioning of the path space on a low-dimensional canonical space to capture the characteristics of paths, with a focus on path segments closer to the sensor. Fast convergence is achieved by adaptive refinement of the partitions. Exemplarily, we present two novel regional adaptive path perturbation techniques akin to lens and multi-chain perturbations. Our approach can easily be used on top of existing path space MLT methods to improve rendering efficiency, while being agnostic to the initial choice of kernel parameters.


title: Nearly Orthogonal Sets over Finite Fields

abstract: For a field $\mathbb{F}$ and integers $d$ and $k$, a set of vectors of $\mathbb{F}^d$ is called $k$-nearly orthogonal if its members are non-self-orthogonal and every $k+1$ of them include an orthogonal pair. We prove that for every prime $p$ there exists a positive constant $\delta = \delta (p)$, such that for every field $\mathbb{F}$ of characteristic $p$ and for all integers $k \geq 2$ and $d \geq k^{1/(p-1)}$, there exists a $k$-nearly orthogonal set of at least $d^{\delta \cdot k^{1/(p-1)}/ \log k}$ vectors of $\mathbb{F}^d$. In particular, for the binary field we obtain a set of $d^{\Omega( k /\log k)}$ vectors, and this is tight up to the $\log k$ term in the exponent. For comparison, the best known lower bound over the reals is $d^{\Omega( \log k / \log \log k)}$ (Alon and Szegedy, Graphs and Combin., 1999). The proof combines probabilistic and spectral arguments.


title: Implementation of Recommendation Algorithm based on Recommendation Sessions in E-commerce IT System

abstract: This paper presents a study on the implementation of the author's Algorithm of Recommendation Sessions (ARS) in an operational e-commerce information system and analyses the basic parameters of the resulting recommendation system. It begins with a synthetic overview of recommendation systems, followed by a presentation of the proprietary ARS algorithm, which is based on recommendation sessions. A mathematical model of the recommendation session, constructed using graph and network theory, serves as the input for the ARS algorithm. This paper also explores graph structure representation methods and the implementation of a G graph (representing a set of recommendation sessions) in a relational database using the SQL standard. The ARS algorithm was implemented in a working e-commerce information system, leading to the development of a fully functional recommendation system adaptable to various e-commerce IT systems. The effectiveness of the algorithm is demonstrated by research on the recommendation system's parameters presented in the final section of the paper.


title: Rethinking U-net Skip Connections for Biomedical Image Segmentation

abstract: The U-net architecture has significantly impacted deep learning-based segmentation of medical images. Through the integration of long-range skip connections, it facilitated the preservation of high-resolution features. Out-of-distribution data can, however, substantially impede the performance of neural networks. Previous works showed that the trained network layers differ in their susceptibility to this domain shift, e.g., shallow layers are more affected than deeper layers. In this work, we investigate the implications of this observation of layer sensitivity to domain shifts of U-net-style segmentation networks. By copying features of shallow layers to corresponding decoder blocks, these bear the risk of re-introducing domain-specific information. We used a synthetic dataset to model different levels of data distribution shifts and evaluated the impact on downstream segmentation performance. We quantified the inherent domain susceptibility of each network layer, using the Hellinger distance. These experiments confirmed the higher domain susceptibility of earlier network layers. When gradually removing skip connections, a decrease in domain susceptibility of deeper layers could be observed. For downstream segmentation performance, the original U-net outperformed the variant without any skip connections. The best performance, however, was achieved when removing the uppermost skip connection - not only in the presence of domain shifts but also for in-domain test data. We validated our results on three clinical datasets - two histopathology datasets and one magnetic resonance dataset - with performance increases of up to 10% in-domain and 13% cross-domain when removing the uppermost skip connection.


title: Towards Faithful and Robust LLM Specialists for Evidence-Based Question-Answering

abstract: Advances towards more faithful and traceable answers of Large Language Models (LLMs) are crucial for various research and practical endeavors. One avenue in reaching this goal is basing the answers on reliable sources. However, this Evidence-Based QA has proven to work insufficiently with LLMs in terms of citing the correct sources (source quality) and truthfully representing the information within sources (answer attributability). In this work, we systematically investigate how to robustly fine-tune LLMs for better source quality and answer attributability. Specifically, we introduce a data generation pipeline with automated data quality filters, which can synthesize diversified high-quality training and testing data at scale. We further introduce four test sets to benchmark the robustness of fine-tuned specialist models. Extensive evaluation shows that fine-tuning on synthetic data improves performance on both in- and out-of-distribution. Furthermore, we show that data quality, which can be drastically improved by proposed quality filters, matters more than quantity in improving Evidence-Based QA.


title: Conformal field theory on $T\bar{T}$-deformed space and correlators from dynamical coordinate transformations

abstract: We study the map between two descriptions of the $T\bar{T}$ deformation of conformal field theory (CFT): One is the defining description as a deformation of CFT by the $T\bar{T}$-operator. The other is an alternative description as the undeformed CFT on the dynamical $T\bar{T}$-deformed space that backreacts to the state or operator insertions, reminiscent of the theory of gravity. Instead of adopting the topological gravity description, we develop a more literal CFT-based operator formalism that facilitates systematic and straightforward computations of the $T\bar{T}$-deformation of the stress tensor, operators, and their correlators, while rederiving known results in the literature. Along the way, we discuss the backreaction to the $T\bar{T}$-deformed space in response to local operators and exhibit the hard-disk and free-space structures in the UV-cutoff and Hagedorn phases, respectively, suggested by Cardy-Doyon and Jiang. To capitalize on the alternative description of the $T\bar{T}$-deformed CFT, we focus on the correlators of semi-heavy operators, i.e., the operators of large conformal dimension $\Delta\gg\sqrt{c}$, and show an intuitive and simple way to obtain the $T\bar{T}$-deformed correlators from those of the undeformed CFT on the $T\bar{T}$-deformed space via dynamical coordinate transformations. This may have implications in the holographic dual description, pointing towards a working dictionary for a class of matter correlators in the cutoff AdS picture.


title: Reflexive subspace lattices in Banach spaces

abstract: In this survey paper we present known results about reflexive subspace lattices. We show that every nest and every atomic Boolean subspace lattice in a complex Banach space is reflexive, even strongly reflexive. Our main tool is Ringrose's Lemma about presence of rank-one operators in a reflexive algebra of operators. We consider realizations of small lattices as subspace lattices in Banach spaces. We exhibit some realizations of the pentagon and prove that some of these realizations are reflexive. On the other hand, we show that double triangle subspace lattices in finite-dimensional Banach spaces are non-reflexive.


title: Pix2Code: Learning to Compose Neural Visual Concepts as Programs

abstract: The challenge in learning abstract concepts from images in an unsupervised fashion lies in the required integration of visual perception and generalizable relational reasoning. Moreover, the unsupervised nature of this task makes it necessary for human users to be able to understand a model's learnt concepts and potentially revise false behaviours. To tackle both the generalizability and interpretability constraints of visual concept learning, we propose Pix2Code, a framework that extends program synthesis to visual relational reasoning by utilizing the abilities of both explicit, compositional symbolic and implicit neural representations. This is achieved by retrieving object representations from images and synthesizing relational concepts as lambda-calculus programs. We evaluate the diverse properties of Pix2Code on the challenging reasoning domains, Kandinsky Patterns and CURI, thereby testing its ability to identify compositional visual concepts that generalize to novel data and concept configurations. Particularly, in stark contrast to neural approaches, we show that Pix2Code's representations remain human interpretable and can be easily revised for improved performance.


title: On two modular geometric realizations of an affine Hecke algebra

abstract: In this paper we construct equivalences of monoidal categories relating three geometric or representation-theoretic categorical incarnations of the affine Hecke algebra of a connected reductive algebraic group $G$ over a field of positive characteristic: a category of Harish-Chandra bimodules for the Lie algebra of $G$; the derived category of equivariant coherent sheaves on (a completed version of) the Steinberg variety of the Frobenius twist $G^{(1)}$ of $G$; a derived category of constructible sheaves on the affine flag variety of reductive group which is Langlands dual to $G^{(1)}$. These constructions build on the localization theory developed by the first author with Mirkovi\'c and Rumynin and previous work of ours (partly joint with L. Rider), and provide an analogue for positive-characteristic coefficients of a construction of the first author. As an application, we prove a conjecture by Finkelberg-Mirkovi\'c giving a geometric realization of the principal block of algebraic representations of $G$.


title: Logic of Awareness for Nested Knowledge

abstract: Reasoning abilities of human beings are limited. Logics that treat logical inference for human knowledge should reflect these limited abilities. Logic of awareness is one of those logics. In the logic, what an agent with a limited reasoning ability actually knows at a given moment (explicit knowledge) is distinguished from the ideal knowledge that an agent obtains by performing all possible inferences with what she already knows (implicit knowledge). This paper proposes a logic for explicit knowledge. In particular, we focus more on nested explicit knowledge, which means another agent's knowledge that an agent actually knows at a given moment. We develope a new formalization of two ideas and propose Kripke-style semantics. The first idea is the effect on an agent's reasoning ability by a state of an agent's awareness. We incorporate a relation on possible worlds called an indistinguishable relation to represent ignorance due to lack of awareness. The second idea is a state of each agent's awareness in the other agent's mind. We incorporate a non-empty finite sequence of agents called \textit{a chain of belief for awareness}. Our logic is called Awareness Logic with Partitions and Chains (ALPC). Employing an example, we show how nested explicit knowledge is formalized with our logic. Thereafter, we propose the proof system and prove the completeness. Finally, we discuss directions for extending and applying our logic and conclude. Our logic offers a foundation for a formal representation of human knowledge. We expect that the logic can be applied to computer science and game theory by describing and analyzing strategic behavior in a game and practical agent communication.


title: Classification Using Global and Local Mahalanobis Distances

abstract: We propose a novel semi-parametric classifier based on Mahalanobis distances of an observation from the competing classes. Our tool is a generalized additive model with the logistic link function that uses these distances as features to estimate the posterior probabilities of the different classes. While popular parametric classifiers like linear and quadratic discriminant analyses are mainly motivated by the normality of the underlying distributions, the proposed classifier is more flexible and free from such parametric assumptions. Since the densities of elliptic distributions are functions of Mahalanobis distances, this classifier works well when the competing classes are (nearly) elliptic. In such cases, it often outperforms popular nonparametric classifiers, especially when the sample size is small compared to the dimension of the data. To cope with non-elliptic and possibly multimodal distributions, we propose a local version of the Mahalanobis distance. Subsequently, we propose another classifier based on a generalized additive model that uses the local Mahalanobis distances as features. This nonparametric classifier usually performs like the Mahalanobis distance based semiparametric classifier when the underlying distributions are elliptic, but outperforms it for several non-elliptic and multimodal distributions. We also investigate the behaviour of these two classifiers in high dimension, low sample size situations. A thorough numerical study involving several simulated and real datasets demonstrate the usefulness of the proposed classifiers in comparison to many state-of-the-art methods.


title: A Logical Approach to Criminal Case Investigation

abstract: XAI (eXplanable AI) techniques that have the property of explaining the reasons for their conclusions, i.e. explainability or interpretability, are attracting attention. XAI is expected to be used in the development of forensic science and the justice system. In today's forensic and criminal investigation environment, experts face many challenges due to large amounts of data, small pieces of evidence in a chaotic and complex environment, traditional laboratory structures and sometimes inadequate knowledge. All these can lead to failed investigations and miscarriages of justice. In this paper, we describe the application of one logical approach to crime scene investigation. The subject of the application is ``The Adventure of the Speckled Band'' from the Sherlock Holmes short stories. The applied data is the knowledge graph created for the Knowledge Graph Reasoning Challenge. We tried to find the murderer by inferring each person with the motive, opportunity, and method. We created an ontology of motives and methods of murder from dictionaries and dictionaries, added it to the knowledge graph of ``The Adventure of the Speckled Band'', and applied scripts to determine motives, opportunities, and methods.


title: Theoretical properties of angular halfspace depth

abstract: The angular halfspace depth (ahD) is a natural modification of the celebrated halfspace (or Tukey) depth to the setup of directional data. It allows us to define elements of nonparametric inference, such as the median, the inter-quantile regions, or the rank statistics, for datasets supported in the unit sphere. Despite being introduced in 1987, ahD has never received ample recognition in the literature, mainly due to the lack of efficient algorithms for its computation. With the recent progress on the computational front, ahD however exhibits the potential for developing viable nonparametric statistics techniques for directional datasets. In this paper, we thoroughly treat the theoretical properties of ahD. We show that similarly to the classical halfspace depth for multivariate data, also ahD satisfies many desirable properties of a statistical depth function. Further, we derive uniform continuity/consistency results for the associated set of directional medians, and the central regions of ahD, the latter representing a depth-based analogue of the quantiles for directional data.


title: MetaVRadar: Measuring Metaverse Virtual Reality Network Activity

abstract: The "metaverse", wherein users can enter virtual worlds to work, study, play, shop, socialize, and entertain, is fast becoming a reality, attracting billions of dollars in investment from companies such as Meta, Microsoft, and Clipo Labs. Further, virtual reality (VR) headsets from entities like Oculus, HTC, and Microsoft are rapidly maturing to provide fully immersive experiences to metaverse users. However, little is known about the network dynamics of metaverse VR applications in terms of service domains, flow counts, traffic rates and volumes, content location and latency, etc., which are needed to make telecommunications network infrastructure "metaverse ready". This paper is an empirical measurement study of metaverse VR network behavior aimed at helping telecommunications network operators better provision and manage the network to ensure good user experience. Using illustrative hour-long network traces of metaverse sessions on the Oculus VR headset, we first develop a categorization of user activity into distinct states ranging from login home to streetwalking and event attendance to asset trading, and undertake a detailed analysis of network traffic per state, identifying unique service domains, protocols, flow profiles, and volumetric patterns, thereby highlighting the vastly more complex nature of a metaverse session compared to streaming video or gaming. Armed with the network behavioral profiles, our second contribution develops a real-time method MetaVRadar to detect metaverse session and classify the user activity state leveraging formalized flow signatures and volumetric attributes. Our third contribution practically implements MetaVRadar, evaluates its accuracy in our lab environment, and demonstrates its usability in a large university network so operators can better monitor and plan resources to support requisite metaverse user experience.


title: A multiwavelength light curve model of the classical nova V339 Del: A mechanism for the coexistence of dust dip and supersoft X-rays

abstract: The classical nova V339 Del 2013 is characterized by a 1.5 mag dip of the $V$ light curve owing to a dust shell formation, during which soft X-ray emissions coexist. We present Str\"omgren $y$ band light curve, which represents continuum emission, not influenced by strong [O III] emission lines. The $y$ light curve monotonically decreases in marked contrast to the $V$ light curve that shows a 1.5 mag dip. We propose a multiwavelength light curve model that reproduces the $y$ and $V$ light curves as well as the gamma-ray and X-ray light curves. In our model, a strong shock arises far outside the photosphere after optical maximum, because later ejected matter collides with earlier ejected gas. Our shocked shell model explains optical emission lines, H$\alpha$, hard X-ray, and gamma-ray fluxes. A dust shell forms behind the shock that suppresses [O III]. This low flux of [O III] shapes a 1.5 mag drop in the $V$ light curve. Then, the $V$ flux recovers by increasing contribution from [O III] lines, while the $y$ flux does not. However, the optical depth of the dust shell is too small to absorb the photospheric (X-ray) emission of the white dwarf. This is the reason that a dust shell and a soft X-ray radiation coexist. We determined the white dwarf mass to be $M_{\rm WD}=1.25\pm 0.05~M_\odot$ and the distance modulus in the $V$ band to be $(m-M)_V=12.2 \pm 0.2$; the distance is $d= 2.1\pm 0.2$ kpc for the reddening of $E(B-V)=0.18$.


title: Covariance estimation with direction dependence accuracy

abstract: We construct an estimator $\widehat{\Sigma}$ for covariance matrices of unknown, centred random vectors X, with the given data consisting of N independent measurements $X_1,...,X_N$ of X and the wanted confidence level. We show under minimal assumptions on X, the estimator performs with the optimal accuracy with respect to the operator norm. In addition, the estimator is also optimal with respect to direction dependence accuracy: $\langle \widehat{\Sigma}u,u\rangle$ is an optimal estimator for $\sigma^2(u)=\mathbb{E}\langle X,u\rangle^2$ when $\sigma^2(u)$ is ``large".


title: Why Studying Cut-ins? Comparing Cut-ins and Other Lane Changes Based on Naturalistic Driving Data

abstract: Extensive research has been conducted to explore vehicle lane changes, while the study on cut-ins has not received sufficient attention. The existing studies have not addressed the fundamental question of why studying cut-ins is crucial, despite the extensive investigation into lane changes. To tackle this issue, it is important to demonstrate how cut-ins, as a special type of lane change, differ from other lane changes. In this paper, we explore to compare driving characteristics of cut-ins and other lane changes based on naturalistic driving data. The highD dataset is employed to conduct the comparison. We extract all lane-change events from the dataset and exclude events that are not suitable for our comparison. Lane-change events are then categorized into the cut-in events and other lane-change events based on various gap-based rules. Several performance metrics are designed to measure the driving characteristics of the two types of events. We prove the significant differences between the cut-in behavior and other lane-change behavior by using the Wilcoxon rank-sum test. The results suggest the necessity of conducting specialized studies on cut-ins, offering valuable insights for future research in this field.


title: The Effect of Data Poisoning on Counterfactual Explanations

abstract: Counterfactual explanations provide a popular method for analyzing the predictions of black-box systems, and they can offer the opportunity for computational recourse by suggesting actionable changes on how to change the input to obtain a different (i.e.\ more favorable) system output. However, recent work highlighted their vulnerability to different types of manipulations. This work studies the vulnerability of counterfactual explanations to data poisoning. We formally introduce and investigate data poisoning in the context of counterfactual explanations for increasing the cost of recourse on three different levels: locally for a single instance, or a sub-group of instances, or globally for all instances. In this context, we characterize and prove the correctness of several different data poisonings. We also empirically demonstrate that state-of-the-art counterfactual generation methods and toolboxes are vulnerable to such data poisoning.


title: On a modified Hilbert transformation, the discrete inf-sup condition, and error estimates

abstract: In this paper, we analyze the discrete inf-sup condition and related error estimates for a modified Hilbert transformation as used in the space-time discretization of time-dependent partial differential equations. It turns out that the stability constant depends linearly on the finite element mesh parameter, but in most cases, we can show optimal convergence. We present a series of numerical experiments which illustrate the theoretical findings.


title: A revisit of the Mass-Metallicity Trends in Transiting Exoplanets

abstract: The two prevailing planet formation scenarios, core-accretion and disk instability, predict distinct planetary mass-metallicity relations. Yet, the detection of this trend remains challenging due to inadequate data on planet atmosphere abundance and inhomogeneities in both planet and host stellar abundance measurements. Here we analyze high-resolution spectra for the host stars of 19 transiting exoplanets to derive the C, O, Na, S, and K abundances, including planetary types from cool mini-Neptunes to hot Jupiters ($T_{\rm eq}\ \sim$ 300 - 2700 K; planet radius $\sim$ 0.1 - 2 $R_{\rm J}$). Our Monte Carlo simulations suggest that the current dataset, updated based on Welbanks et al. 2019, is unable to distinguish between a linear relation and an independent distribution model for the abundance-mass correlation for water, Na, or K. To detect a trend with strong evidence (Bayes factor > 10) at the 2$\sigma$ confidence interval, we recommend a minimum sample of 58 planets with HST measurements of water abundances coupled with [O/H] of the host stars, or 45 planets at the JWST precision. Coupled with future JWST or ground-based high resolution data, this well-characterized sample of planets with precise host star abundances constitute an important ensemble of planets to further probe the abundance-mass correlation.


title: Tuning residual stress, directional memory and aging in soft glassy materials

abstract: When glassy materials are rapidly quenched from the liquid to the solid state upon flow cessation or cooling, they solidify in an out-of-equilibrium configuration, retaining the memory of the processing conditions for very long times. This is the origin of various phenomena, such as residual stresses and directional memory, which greatly affect their properties. At the same time, annealing the mechanical history encoded in disordered materials constitute a great challenge. Here, we address this problem for the case of colloidal glasses made of soft particles densely packed at a high volume fraction, using experiments and particle dynamic simulations. We demonstrate that periodically training soft particle glasses with a sequence of stress-controlled oscillations successfully anneals residual stress and directional memory when the stress amplitude corresponds to the yield point. At the microscopic level, annealing provides a fine tuning of the local distribution of the stress carried by the particles. Through the simulations, we show that the first moments of this distribution have precise physical meaning: the mean value of the distribution corresponds to the macroscopic stress; the skewness carries information about directional memory; and the standard deviation is related to mechanical aging. The same methodology is successfully applied to silica gels with thixotropic properties, suggesting that it is general and may be extended to other classes of disordered materials.


title: Learning semantic image quality for fetal ultrasound from noisy ranking annotation

abstract: We introduce the notion of semantic image quality for applications where image quality relies on semantic requirements. Working in fetal ultrasound, where ranking is challenging and annotations are noisy, we design a robust coarse-to-fine model that ranks images based on their semantic image quality and endow our predicted rankings with an uncertainty estimate. To annotate rankings on training data, we design an efficient ranking annotation scheme based on the merge sort algorithm. Finally, we compare our ranking algorithm to a number of state-of-the-art ranking algorithms on a challenging fetal ultrasound quality assessment task, showing the superior performance of our method on the majority of rank correlation metrics.


title: Duality solutions to the hard-congestion model for the dissipative Aw-Rascle system

abstract: We introduce the notion of duality solution for the hard-congestion model on the real line, and additionally prove an existence result for this class of solutions. Our study revolves around the analysis of a generalised Aw-Rascle system, where the offset function is replaced by the gradient of a singular function, such as $\rho$ $\gamma$ n , where $\gamma$ $\rightarrow$ $\infty$. We prove that under suitable assumptions on the initial data, solutions to the Aw-Rascle system converge towards the so-called duality solutions, which have previously found applications in other systems which exhibit compressive dynamics. We also prove that one can obtain weak solutions to the limiting system under stricter assumptions on the initial data. Finally, we discuss (non-)uniqueness issues.


title: Multi-Level GNN Preconditioner for Solving Large Scale Problems

abstract: Large-scale numerical simulations often come at the expense of daunting computations. High-Performance Computing has enhanced the process, but adapting legacy codes to leverage parallel GPU computations remains challenging. Meanwhile, Machine Learning models can harness GPU computations effectively but often struggle with generalization and accuracy. Graph Neural Networks (GNNs), in particular, are great for learning from unstructured data like meshes but are often limited to small-scale problems. Moreover, the capabilities of the trained model usually restrict the accuracy of the data-driven solution. To benefit from both worlds, this paper introduces a novel preconditioner integrating a GNN model within a multi-level Domain Decomposition framework. The proposed GNN-based preconditioner is used to enhance the efficiency of a Krylov method, resulting in a hybrid solver that can converge with any desired level of accuracy. The efficiency of the Krylov method greatly benefits from the GNN preconditioner, which is adaptable to meshes of any size and shape, is executed on GPUs, and features a multi-level approach to enforce the scalability of the entire process. Several experiments are conducted to validate the numerical behavior of the hybrid solver, and an in-depth analysis of its performance is proposed to assess its competitiveness against a C++ legacy solver.


title: A Multi-Function Radiation-Hardened HV and LV Linear Regulator for SiPM-based HEP Detectors

abstract: The use of silicon photomultipliers (SiPMs) to detect light signals in highly radioactive environments presents several challenges, particularly due to their sensitivity on radiation, temperature, and overvoltage, requiring a proper management of their bias supply. This article presents the design and performance of ALDO2, an application-specific integrated circuit and power management solution tailored for SiPM-based high-energy physics detectors. The chip's functions include adjustable and point-of-load linear regulation of the SiPM bias voltage (10-70 V, 50 mA), monitoring of SiPM current, shutdown, over-current and over-temperature protection. The same functions are also available for the low-voltage regulator (1.6-3.3 V, 800 mA), used to generate the power supply of SiPM readout chips that often demand stable and well-filtered input voltages while consuming currents of up to several hundred milliamperes. The chip is intended to operate in radioactive environments typical of particle physics experiments, where it must withstand significant levels of radiation (total ionizing dose and 1-MeV-equivalent neutron fluence in the range of Mrad and $\mathbf{10^{14}}\ \mathrm{\mathbf{n_{eq}/cm^2}}$, respectively). The article provides a comprehensive description of the chip design, as well as experimental measurements, offering insights into the chip's performance under various conditions. Finally, radiation hardening, radiation qualification and reliability are discussed.


title: Time to Stop and Think: What kind of research do we want to do?

abstract: Experimentation is an intrinsic part of research in artificial intelligence since it allows for collecting quantitative observations, validating hypotheses, and providing evidence for their reformulation. For that reason, experimentation must be coherent with the purposes of the research, properly addressing the relevant questions in each case. Unfortunately, the literature is full of works whose experimentation is neither rigorous nor convincing, oftentimes designed to support prior beliefs rather than answering the relevant research questions. In this paper, we focus on the field of metaheuristic optimization, since it is our main field of work, and it is where we have observed the misconduct that has motivated this letter. Even if we limit the focus of this manuscript to the experimental part of the research, our main goal is to sew the seed of sincere critical assessment of our work, sparking a reflection process both at the individual and the community level. Such a reflection process is too complex and extensive to be tackled as a whole. Therefore, to bring our feet to the ground, we will include in this document our reflections about the role of experimentation in our work, discussing topics such as the use of benchmark instances vs instance generators, or the statistical assessment of empirical results. That is, all the statements included in this document are personal views and opinions, which can be shared by others or not. Certainly, having different points of view is the basis to establish a good discussion process.


title: Zero Trust Score-based Network-level Access Control in Enterprise Networks

abstract: Zero Trust security has recently gained attention in enterprise network security. One of its key ideas is making network-level access decisions based on trust scores. However, score-based access control in the enterprise domain still lacks essential elements in our understanding, and in this paper, we contribute with respect to three crucial aspects. First, we provide a comprehensive list of 29 trust attributes that can be used to calculate a trust score. By introducing a novel mathematical approach, we demonstrate how to quantify these attributes. Second, we describe a dynamic risk-based method to calculate the trust threshold the trust score must meet for permitted access. Third, we introduce a novel trust algorithm based on Subjective Logic that incorporates the first two contributions and offers fine-grained decision possibilities. We discuss how this algorithm shows a higher expressiveness compared to a lightweight additive trust algorithm. Performance-wise, a prototype of the Subjective Logic-based approach showed similar calculation times for making an access decision as the additive approach. In addition, the dynamic threshold calculation showed only 7% increased decision-making times compared to a static threshold.


title: An Order-Complexity Aesthetic Assessment Model for Aesthetic-aware Music Recommendation

abstract: Computational aesthetic evaluation has made remarkable contribution to visual art works, but its application to music is still rare. Currently, subjective evaluation is still the most effective form of evaluating artistic works. However, subjective evaluation of artistic works will consume a lot of human and material resources. The popular AI generated content (AIGC) tasks nowadays have flooded all industries, and music is no exception. While compared to music produced by humans, AI generated music still sounds mechanical, monotonous, and lacks aesthetic appeal. Due to the lack of music datasets with rating annotations, we have to choose traditional aesthetic equations to objectively measure the beauty of music. In order to improve the quality of AI music generation and further guide computer music production, synthesis, recommendation and other tasks, we use Birkhoff's aesthetic measure to design a aesthetic model, objectively measuring the aesthetic beauty of music, and form a recommendation list according to the aesthetic feeling of music. Experiments show that our objective aesthetic model and recommendation method are effective.


abstract: In this article, we show the H\"older invariance of the Henry-Parusinski invariant. For a single germ $ f$, the Henry-Parusinski invariant of $ f $ is given in terms of the leading coefficients of the asymptotic expansion of $ f $ along the branches of the generic polar curve of $f$. As a consequence, we obtain that the classification problem of polynomial function-germs, with uniformly bounded degree, under H\"older equivalence, admits continuous moduli.


title: Some footnotes on Thurston's Notes ''The Geometry and Topology of 3-manifolds''

abstract: These are a few historical remarks, addenda and references with comments on some topics discussed by Thurston in his notes ''The geometry and topology of three-manifolds''. The topics are mainly hyperbolic geometry, geometric structures, volumes of hyperbolic polyhedra and the so-called Koebe--Andreev--Thurston theorem. I discuss in particular some works of Lobachevsky, Andreev and Milnor, with an excursus in Dante's cosmology, based on the insight of Pavel Florensky. The final version of this paper will appear as a chapter in the book ''In the tradition of Thurston. III'', ed. K. Ohshika and A. Papadopoulos, Springer Nature Switzerland, 2024.


title: ChatCell: Facilitating Single-Cell Analysis with Natural Language

abstract: As Large Language Models (LLMs) rapidly evolve, their influence in science is becoming increasingly prominent. The emerging capabilities of LLMs in task generalization and free-form dialogue can significantly advance fields like chemistry and biology. However, the field of single-cell biology, which forms the foundational building blocks of living organisms, still faces several challenges. High knowledge barriers and limited scalability in current methods restrict the full exploitation of LLMs in mastering single-cell data, impeding direct accessibility and rapid iteration. To this end, we introduce ChatCell, which signifies a paradigm shift by facilitating single-cell analysis with natural language. Leveraging vocabulary adaptation and unified sequence generation, ChatCell has acquired profound expertise in single-cell biology and the capability to accommodate a diverse range of analysis tasks. Extensive experiments further demonstrate ChatCell's robust performance and potential to deepen single-cell insights, paving the way for more accessible and intuitive exploration in this pivotal field. Our project homepage is available at https://zjunlp.github.io/project/ChatCell.


title: Elastic Electron Scattering from Deformed and Oriented Odd-A Nuclei

abstract: Interference terms between monopole and quadrupole Coulomb form factors that contribute to the cross-section of electron scattering from polarized nuclei are studied within the plane wave Born approximation. By experimentally exploring the effect of this nuclear response, valuable insights into the sign of the quadrupole deformation can be obtained. The nuclear structure is evaluated numerically using a self-consistent deformed Hartree-Fock approximation with Skyrme effective interactions and accounting for pairing correlations. To illustrate the practical applicability, several examples of odd-A nuclei with different spins and deformations are examined. Comparison of unpolarized and polarized cross-sections becomes a tool to discriminate between the oblate and prolate nature of the nuclear shape, providing a deeper understanding of the nuclear deformation.


title: The Saito criterion and some avatars

abstract: Let k be a field of characteristic zero and R = k[x 1 ,. .. , x n ] be a graded commutative ring. To any set of 1 $\le$ s $\le$ n-1 algebraically independent polynomials f 1 ,. .. , f s $\in$ R one associates a rank-(n+1-s) R-module Der(f 1 ,. .. , f s) of logarithmic derivations; these logarithmic derivations $\delta$ $\in$ Der(f 1 ,. .. , f s) verify $\delta$(f 1) f 1 = $\bullet$ $\bullet$ $\bullet$ = $\delta$(f s) f s $\in$ R. The aim of this note is to extend the Saito criterion, which characterizes freeness of the module Der(f) of tangent vector fields along a reduced divisor V (f), to the module Der(f 1 ,. .. , f s). More precisely, let $\delta$ i be (n + 1-s) independent derivations in Der(f 1 ,. .. , f s) and U $\subset$ Der(f 1 ,. .. , f s) the sub-module generated by the $\delta$ i. We prove that U = Der(f 1 ,. .. , f s) if and only if codim k n V (n+1-s U) > 1 when s > 1 or V (n U) = V (f 1) when s = 1.


title: Reinforcement Learning for Docking Maneuvers with Prescribed Performance

abstract: We propose a two-component data-driven controller to safely perform docking maneuvers for satellites. Reinforcement Learning is used to deduce an optimal control policy based on measurement data. To safeguard the learning phase, an additional feedback law is implemented in the control unit, which guarantees the evolution of the system within predefined performance bounds. We define safe and safety-critical areas to train the feedback controller based on actual measurements. To avoid chattering, a dwell-time activation scheme is implemented. We provide numerical evidence for the performance of the proposed controller for a satellite docking maneuver with collision avoidance.


title: Axial perturbations in Kantowski-Sachs spacetimes and hybrid quantum cosmology

abstract: Recently, there has been a growing interest in investigating homogeneous but anisotropic spacetimes owing to their relation with nonrotating, uncharged black hole interiors. We present a description of axial perturbations for a massless scalar field minimally coupled to this geometry. We truncate the action at the quadratic perturbative order and tailor our analysis to compact spatial sections. Perturbations are described in terms of perturbative gauge invariants, linear perturbative constraints, and their canonically conjugate variables. The entire set, encompassing perturbations and homogeneous degrees of freedom, is consolidated into a canonical one. We employ a hybrid approach to quantize this system, integrating a quantum representation of the homogeneous sector using Loop Quantum Cosmology techniques with a conventional field quantization of the perturbations.


title: The Method of Formal Series: Applications to Nonlinear Beam Dynamics and Invariants of Motion

abstract: A novel technique to determine invariant curves in nonlinear beam dynamics based on the method of formal series has been developed. It is first shown how the solution of the Hamilton equations of motion describing nonlinear betatron oscillations in the presence of a single sextupole can be represented in a nonperturbative form. Further, the solution of the Hamilton-Jacobi equation is obtained in a closed symbolic form as a ratio of two series in the perturbation parameter (and the nonlinear action invariant), rather than a conventional power series according to canonical perturbation theory. It is well behaved even for large values of the perturbation parameter close to strong structural resonances. The relationship between existing invariant curves and the so-called scattering orbits in classical scattering theory has been revealed.


title: Prompted Contextual Vectors for Spear-Phishing Detection

abstract: Spear-phishing attacks present a significant security challenge, with large language models (LLMs) escalating the threat by generating convincing emails and facilitating target reconnaissance. To address this, we propose a detection approach based on a novel document vectorization method that utilizes an ensemble of LLMs to create representation vectors. By prompting LLMs to reason and respond to human-crafted questions, we quantify the presence of common persuasion principles in the email's content, producing prompted contextual document vectors for a downstream supervised machine learning model. We evaluate our method using a unique dataset generated by a proprietary system that automates target reconnaissance and spear-phishing email creation. Our method achieves a 91% F1 score in identifying LLM-generated spear-phishing emails, with the training set comprising only traditional phishing and benign emails. Key contributions include an innovative document vectorization method utilizing LLM reasoning, a publicly available dataset of high-quality spear-phishing emails, and the demonstrated effectiveness of our method in detecting such emails. This methodology can be utilized for various document classification tasks, particularly in adversarial problem domains.


title: One-to-many Reconstruction of 3D Geometry of cultural Artifacts using a synthetically trained Generative Model

abstract: Estimating the 3D shape of an object using a single image is a difficult problem. Modern approaches achieve good results for general objects, based on real photographs, but worse results on less expressive representations such as historic sketches. Our automated approach generates a variety of detailed 3D representation from a single sketch, depicting a medieval statue, and can be guided by multi-modal inputs, such as text prompts. It relies solely on synthetic data for training, making it adoptable even in cases of only small numbers of training examples. Our solution allows domain experts such as a curators to interactively reconstruct potential appearances of lost artifacts.


title: A new treatment of telluric and stellar features for medium resolution spectroscopy and molecular mapping. Application to the abundance determination on Beta Pic b

abstract: Molecular mapping is a supervised method exploiting the spectral diversity of integral field spectrographs to detect and characterize resolved exoplanets blurred into the stellar halo. We present an evolution of the method to remove the stellar halo and the nuisance of telluric features in the datacubes and access a continuum-subtracted spectra of the planets at R$\sim$4000. We derive planet atmosphere properties from a direct analysis of the planet telluric-corrected absorption spectrum. We applied our methods to the SINFONI observation of the planet $\beta$ Pictoris b. We recover the CO and H$_2$O detections in the atmosphere of $\beta$ Pic b using molecular mapping. We further determine some basic properties of its atmosphere, with $T_\text{eq}=1748^{+3}_{-4}$ K, a sub-solar [Fe/H]=$-0.235^{+0.015}_{-0.013}$ dex, and a solar C/O=$0.551 \pm 0.002$ in contrast with values measured for the same exoplanet with other infrared instruments. We confirm a low projected equatorial velocity of 25$^{+5}_{-6}$ km s$^{-1}$. We are also able to measure, for the first time with a medium-resolution spectrograph, the radial velocity of $\beta$ Pic b relative to the central star at MJD=56910.38 with a km/s precision of $-11.3 \pm 1.1$ km s$^{-1}$, compatible with ephemerides based on the current knowledge of the $\beta$ Pic system.


title: Channel-Combination Algorithms for Robust Distant Voice Activity and Overlapped Speech Detection

abstract: Voice Activity Detection (VAD) and Overlapped Speech Detection (OSD) are key pre-processing tasks for speaker diarization. In the meeting context, it is often easier to capture speech with a distant device. This consideration however leads to severe performance degradation. We study a unified supervised learning framework to solve distant multi-microphone joint VAD and OSD (VAD+OSD). This paper investigates various multi-channel VAD+OSD front-ends that weight and combine incoming channels. We propose three algorithms based on the Self-Attention Channel Combinator (SACC), previously proposed in the literature. Experiments conducted on the AMI meeting corpus exhibit that channel combination approaches bring significant VAD+OSD improvements in the distant speech scenario. Specifically, we explore the use of learned complex combination weights and demonstrate the benefits of such an approach in terms of explainability. Channel combination-based VAD+OSD systems are evaluated on the final back-end task, i.e. speaker diarization, and show significant improvements. Finally, since multi-channel systems are trained given a fixed array configuration, they may fail in generalizing to other array set-ups, e.g. mismatched number of microphones. A channel-number invariant loss is proposed to learn a unique feature representation regardless of the number of available microphones. The evaluation conducted on mismatched array configurations highlights the robustness of this training strategy.


title: Approximating Families of Sharp Solutions to Fisher's Equation with Physics-Informed Neural Networks

abstract: This paper employs physics-informed neural networks (PINNs) to solve Fisher's equation, a fundamental representation of a reaction-diffusion system with both simplicity and significance. The focus lies specifically in investigating Fisher's equation under conditions of large reaction rate coefficients, wherein solutions manifest as traveling waves, posing a challenge for numerical methods due to the occurring steepness of the wave front. To address optimization challenges associated with the standard PINN approach, a residual weighting scheme is introduced. This scheme is designed to enhance the tracking of propagating wave fronts by considering the reaction term in the reaction-diffusion equation. Furthermore, a specific network architecture is studied which is tailored for solutions in the form of traveling waves. Lastly, the capacity of PINNs to approximate an entire family of solutions is assessed by incorporating the reaction rate coefficient as an additional input to the network architecture. This modification enables the approximation of the solution across a broad and continuous range of reaction rate coefficients, thus solving a class of reaction-diffusion systems using a single PINN instance.


title: Willy Wonka Mechanisms

abstract: Bounded rationality in mechanism design aims to ensure incentive-compatibility for agents who are cognitively limited. These agents lack the contingent reasoning skills that traditional mechanism design assumes, and depending on how these cognitive limitations are modelled this alters the class of incentive-compatible mechanisms. In this work we design mechanisms without any "obvious" manipulations for several auction settings that aim to either maximise revenue or minimise the compensation paid to the agents. A mechanism without obvious manipulations is said to be "not obviously manipulable" (NOM), and assumes agents act truthfully as long as the maximum and minimum utilities from doing so are no worse than the maximum and minimum utilities from lying, with the extremes taken over all possible actions of the other agents. We exploit the definition of NOM by introducing the concept of "golden tickets" and "wooden spoons", which designate bid profiles ensuring the mechanism's incentive-compatibility for each agent. We then characterise these "Willy Wonka" mechanisms, and by carefully choosing the golden tickets and wooden spoons we use this to design revenue-maximising auctions and frugal procurement auctions.


title: Invariant Monge-Amp\`ere equations on contactified para-K\"ahler manifolds

abstract: We develop a method for describing invariant Monge-Amp\`ere equations in the sense of V. Lychagin and T. Morimoto (MAE) on a homogeneous contact manifold $N$ of a semisimple Lie group $G$, which is the contactification of the homogeneous symplectic manifold $M = G/H = \mathrm{Ad}_G Z \subset \mathfrak{g}$, where $M$ is the adjoint orbit of a splittable closed element $Z $ of the Lie algebra $\mathfrak{g} = \mathrm{Lie}(G)$. The method is then applied to a ten-dimensional semisimple orbit $M$ of the exceptional Lie group $\mathsf{G}_2$ and a complete list of mutually non-equivalent MAEs on $N$ is obtained.


title: CrossGaze: A Strong Method for 3D Gaze Estimation in the Wild

abstract: Gaze estimation, the task of predicting where an individual is looking, is a critical task with direct applications in areas such as human-computer interaction and virtual reality. Estimating the direction of looking in unconstrained environments is difficult, due to the many factors that can obscure the face and eye regions. In this work we propose CrossGaze, a strong baseline for gaze estimation, that leverages recent developments in computer vision architectures and attention-based modules. Unlike previous approaches, our method does not require a specialised architecture, utilizing already established models that we integrate in our architecture and adapt for the task of 3D gaze estimation. This approach allows for seamless updates to the architecture as any module can be replaced with more powerful feature extractors. On the Gaze360 benchmark, our model surpasses several state-of-the-art methods, achieving a mean angular error of 9.94 degrees. Our proposed model serves as a strong foundation for future research and development in gaze estimation, paving the way for practical and accurate gaze prediction in real-world scenarios.


title: Strong convergence of a resolution of the identity via canonical coherent states

abstract: A resolution of the identity due to canonical coherent states is often proven in the weak operator topology. However, such a resolution with an integral symbol is typically supposed to hold in the strong operator topology associated with the framework of the spectral theorem. We provide an elementary proof of the strong convergence for the resolution of the identity due to canonical coherent states starting with a mostly familiar setup. Further, we enjoy a different proof and show that the relevant uniform limit does not exist.


title: Values That Are Explicitly Present in Fairy Tales: Comparing Samples from German, Italian and Portuguese Traditions

abstract: Looking at how social values are represented in fairy tales can give insights about the variations in communication of values across cultures. We study how values are communicated in fairy tales from Portugal, Italy and Germany using a technique called word embedding with a compass to quantify vocabulary differences and commonalities. We study how these three national traditions differ in their explicit references to values. To do this, we specify a list of value-charged tokens, consider their word stems and analyse the distance between these in a bespoke pre-trained Word2Vec model. We triangulate and critically discuss the validity of the resulting hypotheses emerging from this quantitative model. Our claim is that this is a reusable and reproducible method for the study of the values explicitly referenced in historical corpora. Finally, our preliminary findings hint at a shared cultural understanding and the expression of values such as Benevolence, Conformity, and Universalism across the studied cultures, suggesting the potential existence of a pan-European cultural memory.


title: Signatures of a surface spin-orbital chiral metal

abstract: The relation between crystal symmetries, electron correlations, and electronic structure steers the formation of a large array of unconventional phases of matter, including magneto-electric loop currents and chiral magnetism. Detection of such hidden orders is a major goal in condensed matter physics. However, to date, nonstandard forms of magnetism with chiral electronic ordering have been experimentally elusive. Here, we develop a theory for symmetry-broken chiral ground states and propose a methodology based on circularly polarized spin-selective angular-resolved photoelectron spectroscopy to probe them. We exploit the archetypal quantum material Sr2RuO4 and reveal spectroscopic signatures which, even though subtle, may be reconciled with the formation of spin-orbital chiral currents at the material surface. As we shed light on these chiral regimes, our findings pave the way for a deeper understanding of ordering phenomena and unconventional magnetism.


title: The Paradox of Motion: Evidence for Spurious Correlations in Skeleton-based Gait Recognition Models

abstract: Gait, an unobtrusive biometric, is valued for its capability to identify individuals at a distance, across external outfits and environmental conditions. This study challenges the prevailing assumption that vision-based gait recognition, in particular skeleton-based gait recognition, relies primarily on motion patterns, revealing a significant role of the implicit anthropometric information encoded in the walking sequence. We show through a comparative analysis that removing height information leads to notable performance degradation across three models and two benchmarks (CASIA-B and GREW). Furthermore, we propose a spatial transformer model processing individual poses, disregarding any temporal information, which achieves unreasonably good accuracy, emphasizing the bias towards appearance information and indicating spurious correlations in existing benchmarks. These findings underscore the need for a nuanced understanding of the interplay between motion and appearance in vision-based gait recognition, prompting a reevaluation of the methodological assumptions in this field. Our experiments indicate that "in-the-wild" datasets are less prone to spurious correlations, prompting the need for more diverse and large scale datasets for advancing the field.


title: Exploration by Optimization with Hybrid Regularizers: Logarithmic Regret with Adversarial Robustness in Partial Monitoring

abstract: Partial monitoring is a generic framework of online decision-making problems with limited observations. To make decisions from such limited observations, it is necessary to find an appropriate distribution for exploration. Recently, a powerful approach for this purpose, exploration by optimization (ExO), was proposed, which achieves the optimal bounds in adversarial environments with follow-the-regularized-leader for a wide range of online decision-making problems. However, a naive application of ExO in stochastic environments significantly degrades regret bounds. To resolve this problem in locally observable games, we first establish a novel framework and analysis for ExO with a hybrid regularizer. This development allows us to significantly improve the existing regret bounds of best-of-both-worlds (BOBW) algorithms, which achieves nearly optimal bounds both in stochastic and adversarial environments. In particular, we derive a stochastic regret bound of $O(\sum_{a \neq a^*} k^2 m^2 \log T / \Delta_a)$, where $k$, $m$, and $T$ are the numbers of actions, observations and rounds, $a^*$ is an optimal action, and $\Delta_a$ is the suboptimality gap for action $a$. This bound is roughly $\Theta(k^2 \log T)$ times smaller than existing BOBW bounds. In addition, for globally observable games, we provide a new BOBW algorithm with the first $O(\log T)$ stochastic bound.


title: zk-IoT: Securing the Internet of Things with Zero-Knowledge Proofs on Blockchain Platforms

abstract: This paper introduces the zk-IoT framework, a novel approach to enhancing the security of Internet of Things (IoT) ecosystems through the use of Zero-Knowledge Proofs (ZKPs) on blockchain platforms. Our framework ensures the integrity of firmware execution and data processing in potentially compromised IoT devices. By leveraging the concept of ZKP, we establish a trust layer that facilitates secure, autonomous communication between IoT devices in environments where devices may not inherently trust each other. The framework includes zk-Devices, which utilize functional commitment to generate proofs for executed programs, and service contracts for encoding interaction logic among devices. It also utilizes a blockchain layer and a relayer as a ZKP storage and data communication protocol, respectively. Our experiments demonstrate that proof generation, reading, and verification take approximately 694, 5078, and 19 milliseconds in our system setup, respectively. These timings meet the practical requirements for IoT device communication, demonstrating the feasibility and efficiency of our solution. The zk-IoT framework represents a significant advancement in the realm of IoT security, paving the way for reliable and scalable IoT networks across various applications, such as smart city infrastructures, healthcare systems, and industrial automation.


title: Mapping the Ethics of Generative AI: A Comprehensive Scoping Review

abstract: The advent of generative artificial intelligence and the widespread adoption of it in society engendered intensive debates about its ethical implications and risks. These risks often differ from those associated with traditional discriminative machine learning. To synthesize the recent discourse and map its normative concepts, we conducted a scoping review on the ethics of generative artificial intelligence, including especially large language models and text-to-image models. Our analysis provides a taxonomy of 378 normative issues in 19 topic areas and ranks them according to their prevalence in the literature. The study offers a comprehensive overview for scholars, practitioners, or policymakers, condensing the ethical debates surrounding fairness, safety, harmful content, hallucinations, privacy, interaction risks, security, alignment, societal impacts, and others. We discuss the results, evaluate imbalances in the literature, and explore unsubstantiated risk scenarios.


title: Uncertainty Quantification via Stable Distribution Propagation

abstract: We propose a new approach for propagating stable probability distributions through neural networks. Our method is based on local linearization, which we show to be an optimal approximation in terms of total variation distance for the ReLU non-linearity. This allows propagating Gaussian and Cauchy input uncertainties through neural networks to quantify their output uncertainties. To demonstrate the utility of propagating distributions, we apply the proposed method to predicting calibrated confidence intervals and selective prediction on out-of-distribution data. The results demonstrate a broad applicability of propagating distributions and show the advantages of our method over other approaches such as moment matching.


title: Multi-Blade detector with VMM3a-ASIC-based readout: installation and commissioning at the reflectometer Amor at PSI

abstract: The Multi-Blade (MB) Boron-10-based neutron detector is the chosen technology for three instruments at the European Spallation Source (ESS): the two ESS reflectometers, ESTIA and FREIA, and the Test Beam Line. A fourth MB detector has been built, installed and commissioned for the user operation of the reflectometer Amor at PSI (Switzerland). Amor can be considered a downscaled version of the ESS reflectometer ESTIA. They are based on the same Selene guide concept, optimized for performing focusing reflectometry on small samples. The experience gained at Amor is invaluable for the future deployment of the MB detector at the ESS. This manuscript describes the MB detector construction and installation at Amor along with the readout electronics chain based on the VMM3a ASIC. The readout chain deployed at Amor is equivalent of that of the ESS, including the readout master module (RMM), event-formation-units (EFUs), Kafka, FileWriter and live visualisation tools.