title: Stepping closer to pulsed single microwave photon detectors for axions search

abstract: Axions detection requires the ultimate sensitivity down to the single photon limit. In the microwave region this corresponds to energies in the yJ range. This extreme sensitivity has to be combined with an extremely low dark count rate, since the probability of axions conversion into microwave photons is supposed to be very low. To face this complicated task, we followed two promising approaches that both rely on the use of superconducting devices based on the Josephson effect. The first one is to use a single Josephson junction (JJ) as a switching detector (i.e. exploiting the superconducting to normal state transition in presence of microwave photons). We designed a device composed of a coplanar waveguide terminated on a current biased Josephson junction. We tested its efficiency to pulsed (pulse duration 10 ns) microwave signals, since this configuration is closer to an actual axions search experiment. We show how our device is able to reach detection capability of the order of 10 photons with frequency 8 GHz. The second approach is based on an intrinsically quantum device formed by two resonators coupled only via a superconducting qubit network (SQN). This approach relies on quantum nondemolition measurements of the resonator photons. We show that injecting RF power into the resonator, the frequency position of the resonant drop in the transmission coefficient (S21) can be modulated up to 4 MHz. We anticipate that, once optimized, both the devices have the potential to reach single photon sensitivity.


title: On the Generalization of PINNs outside the training domain and the Hyperparameters influencing it

abstract: Physics-Informed Neural Networks (PINNs) are Neural Network architectures trained to emulate solutions of differential equations without the necessity of solution data. They are currently ubiquitous in the scientific literature due to their flexible and promising settings. However, very little of the available research provides practical studies that aim for a better quantitative understanding of such architecture and its functioning. In this paper, we perform an empirical analysis of the behavior of PINN predictions outside their training domain. The primary goal is to investigate the scenarios in which a PINN can provide consistent predictions outside the training area. Thereinafter, we assess whether the algorithmic setup of PINNs can influence their potential for generalization and showcase the respective effect on the prediction. The results obtained in this study returns insightful and at times counterintuitive perspectives which can be highly relevant for architectures which combines PINNs with domain decomposition and/or adaptive training strategies.


title: Initialisation from lattice Boltzmann to multi-step Finite Difference methods: modified equations and discrete observability

abstract: Latitude on the choice of initialisation is a shared feature between one-step extended state-space and multi-step methods. The paper focuses on lattice Boltzmann schemes, which can be interpreted as examples of both previous categories of numerical schemes. We propose a modified equation analysis of the initialisation schemes for lattice Boltzmann methods, determined by the choice of initial data. These modified equations provide guidelines to devise and analyze the initialisation in terms of order of consistency with respect to the target Cauchy problem and time smoothness of the numerical solution. In detail, the larger the number of matched terms between modified equations for initialisation and bulk methods, the smoother the obtained numerical solution. This is particularly manifest for numerical dissipation. Starting from the constraints to achieve time smoothness, which can quickly become prohibitive for they have to take the parasitic modes into consideration, we explain how the distinct lack of observability for certain lattice Boltzmann schemes -- seen as dynamical systems on a commutative ring -- can yield rather simple conditions and be easily studied as far as their initialisation is concerned. This comes from the reduced number of initialisation schemes at the fully discrete level. These theoretical results are successfully assessed on several lattice Boltzmann methods.


title: Binder-free CNT cathodes for Li-O$_2$ batteries with more than one life

abstract: Li-O$_2$ batteries (LOB) performance degradation ultimately occurs through the accumulation of discharge products and irreversible clogging of the porous electrode during the cycling. Electrode binder degradation in the presence of reduced oxygen species can result in additional coating of the conductive surface, exacerbating capacity fading. Herein, we establish a facile method to fabricate free-standing, binder-free electrodes for LOBs in which multi-wall carbon nanotubes (MWCNT) form cross-linked networks exhibiting high porosity, conductivity, and flexibility. These electrodes demonstrate high reproducibility upon cycling in LOBs. After cell death, efficient and inexpensive methods to wash away the accumulated discharge products are demonstrated, as reconditioning method. The second life usage of these electrodes is validated, without noticeable loss of performance. These findings aim to assist in the development of greener high energy density batteries while reducing manufacturing and recycling costs.


title: Unsupervised classification to improve the quality of a bird song recording dataset

abstract: Open audio databases such as Xeno-Canto are widely used to build datasets to explore bird song repertoire or to train models for automatic bird sound classification by deep learning algorithms. However, such databases suffer from the fact that bird sounds are weakly labelled: a species name is attributed to each audio recording without timestamps that provide the temporal localization of the bird song of interest. Manual annotations can solve this issue, but they are time consuming, expert-dependent, and cannot run on large datasets. Another solution consists in using a labelling function that automatically segments audio recordings before assigning a label to each segmented audio sample. Although labelling functions were introduced to expedite strong label assignment, their classification performance remains mostly unknown. To address this issue and reduce label noise (wrong label assignment) in large bird song datasets, we introduce a data-centric novel labelling function composed of three successive steps: 1) time-frequency sound unit segmentation, 2) feature computation for each sound unit, and 3) classification of each sound unit as bird song or noise with either an unsupervised DBSCAN algorithm or the supervised BirdNET neural network. The labelling function was optimized, validated, and tested on the songs of 44 West-Palearctic common bird species. We first showed that the segmentation of bird songs alone aggregated from 10% to 83% of label noise depending on the species. We also demonstrated that our labelling function was able to significantly reduce the initial label noise present in the dataset by up to a factor of three. Finally, we discuss different opportunities to design suitable labelling functions to build high-quality animal vocalizations with minimum expert annotation effort.


title: Strong Coupling of Coherent Phonons to Excitons in Semiconducting Monolayer MoTe$_2$

abstract: The coupling of the electron system to lattice vibrations and their time-dependent control and detection provides unique insight into the non-equilibrium physics of semiconductors. Here, we investigate the ultrafast transient response of semiconducting monolayer 2$H$-MoTe$_2$ encapsulated with $h$BN using broadband optical pump-probe microscopy. The sub-40-fs pump pulse triggers extremely intense and long-lived coherent oscillations in the spectral region of the A' and B' exciton resonances, up to $\sim$20% of the maximum transient signal, due to the displacive excitation of the out-of-plane $A_{1g}$ phonon. Ab-initio calculations reveal a dramatic rearrangement of the optical absorption of monolayer MoTe$_2$ induced by an out-of-plane stretching and compression of the crystal lattice, consistent with an $A_{1g}$-type oscillation. Our results highlight the extreme sensitivity of the optical properties of monolayer TMDs to small structural modifications and their manipulation with light.


title: On the Role of Preemption for Timing Metrics in Coded Multipath Communication

abstract: Recent trends in communication networks have focused on Quality of Service (QoS) requirements expressed through timing metrics such as latency or Age of Information (AoI). A possible way to achieve this is coded multipath communication: redundancy is added to a block of information through a robust packet-level code, transmitting across multiple independent channels to reduce the impact of blockages or rate fluctuation. The number of these links can grow significantly over traditional two-path schemes: in these scenarios, the optimization of the timing metrics is non-trivial, and latency and AoI might require different settings. In particular, packet preemption is often the optimal solution to optimize AoI in uncoded communication, but can significantly reduce the reliability of individual blocks. In this work, we model the multipath communication as a fork-join D/M/(K,N)/L queue, where K blocks of information are encoded into N>K redundant blocks. We derive the latency and Peak AoI (PAoI) distributions for different values of the queue size L. Our results show that preemption is not always the optimal choice, as dropping a late packet on one path might affect the reliability of the whole block, and that minimizing the PAoI leads to poor latency performance.


title: Stretched Coherent States

abstract: The fundamental properties of recently introduced stretched coherent states are investigated. It has been shown that stretched coherent states retain the fundamental properties of standard coherent states and generalize the resolution of unity, or completeness condition, and the probability distribution that $n$ photons are in a stretched coherent state. The stretched displacement and stretched squeezing operators are introduced and the multiplication law for stretched displacement operator is established. The results of the action of the stretched displacement and stretched squeezing operators on the vacuum and the Fock states are presented. Stretched squeezed stretched coherent states and stretched squeezed stretched displaced number states are introduced and their properties are studied. The inner product of two quantum mechanical vectors was defined in terms of their stretched coherent state representations, and functional Hilbert space was introduced.


title: Precoding and Beamforming Design for Intelligent Reconfigurable Surface-Aided Hybrid Secure Spatial Modulation

abstract: Intelligent reflecting surface (IRS) is an emerging technology for wireless communication composed of a large number of low-cost passive devices with reconfigurable parameters, which can reflect signals with a certain phase shift and is capable of building programmable communication environment. In this paper, to avoid the high hardware cost and energy consumption in spatial modulation (SM), an IRS-aided hybrid secure SM (SSM) system with a hybrid precoder is proposed. To improve the security performance, we formulate an optimization problem to maximize the secrecy rate (SR) by jointly optimizing the beamforming at IRS and hybrid precoding at the transmitter. Considering that the SR has no closed form expression, an approximate SR (ASR) expression is derived as the objective function. To improve the SR performance, three IRS beamforming methods, called IRS alternating direction method of multipliers (IRS-ADMM), IRS block coordinate ascend (IRS-BCA) and IRS semi-definite relaxation (IRS-SDR), are proposed. As for the hybrid precoding design, approximated secrecy rate-successive convex approximation (ASR-SCA) method and cut-off rate-gradient ascend (COR-GA) method are proposed. Simulation results demonstrate that the proposed IRS-SDR and IRS-ADMM beamformers harvest substantial SR performance gains over IRS-BCA. Particularly, the proposed IRS-ADMM and IRS-BCA are of low-complexity at the expense of a little performance loss compared with IRS-SDR. For hybrid precoding, the proposed ASR-SCA performs better than COR-GA in the high transmit power region.


title: Efficient Inversion of Matrix $\phi$-Functions of Low Order

abstract: The paper is concerned with efficient numerical methods for solving a linear system $\phi(A) x= b$, where $\phi(z)$ is a $\phi$-function and $A\in \mathbb R^{N\times N}$. In particular in this work we are interested in the computation of ${\phi(A)}^{-1} b$ for the case where $\phi(z)=\phi_1(z)=\displaystyle\frac{e^z-1}{z}, \quad \phi(z)=\phi_2(z)=\displaystyle\frac{e^z-1-z}{z^2}$. Under suitable conditions on the spectrum of $A$ we design fast algorithms for computing both ${\phi_\ell(A)}^{-1}$ and ${\phi_\ell(A)}^{-1} b$ based on Newton's iteration and Krylov-type methods, respectively. Adaptations of these schemes for structured matrices are considered. In particular the cases of banded and more generally quasiseparable matrices are investigated. Numerical results are presented to show the effectiveness of our proposed algorithms.


title: Qualitative Data Augmentation for Performance Prediction in VLSI circuits

abstract: Various studies have shown the advantages of using Machine Learning (ML) techniques for analog and digital IC design automation and optimization. Data scarcity is still an issue for electronic designs, while training highly accurate ML models. This work proposes generating and evaluating artificial data using generative adversarial networks (GANs) for circuit data to aid and improve the accuracy of ML models trained with a small training data set. The training data is obtained by various simulations in the Cadence Virtuoso, HSPICE, and Microcap design environment with TSMC 180nm and 22nm CMOS technology nodes. The artificial data is generated and tested for an appropriate set of analog and digital circuits. The experimental results show that the proposed artificial data generation significantly improves ML models and reduces the percentage error by more than 50\% of the original percentage error, which were previously trained with insufficient data. Furthermore, this research aims to contribute to the extensive application of AI/ML in the field of VLSI design and technology by relieving the training data availability-related challenges.


title: A GPU-Parallelized Interpolation-Based Fast Multipole Method for the Relativistic Space-Charge Field Calculation

abstract: The fast multipole method (FMM) has received growing attention in the beam physics simulation. In this study, we formulate an interpolation-based FMM for the computation of the relativistic space-charge field. Different to the quasi-electrostatic model, our FMM is formulated in the lab-frame and can be applied without the assistance of the Lorentz transformation. In particular, we derive a modified admissibility condition which can effectively control the interpolation error of the proposed FMM. The algorithms and their GPU parallelization are discussed in detail. A package containing serial and GPU-parallelized solvers is implemented in the Julia programming language. The GPU-parallelized solver can reach a speedup of more than a hundred compared to the execution on a single CPU core.


title: Hyper-spectral imaging through a multi-mode fiber

abstract: Multi-mode fibers provide an increased amount of data transfer rates given a large number of transmission modes. Unfortunately, the increased number of modes in a multi-mode fiber hinders the accurate transfer of information due to interference of these modes which results in a random speckle pattern. The complexity of the system impedes the analytical expression of the system thereby the information is lost. However, deep learning algorithms can be used to recover the information efficiently. In this study, we utilize deep learning architecture to reconstruct input colored images from the output speckle patterns at telecommunication wavelength (C-band). Our model successfully identifies hyper-spectral speckle patterns at twenty-six separate wavelengths and twenty-six distinct letters. Remarkably, we can reconstruct the complete input images only by analyzing a small portion of the output speckle pattern. Thereby, we manage to decrease the computational load without sacrificing the accuracy of the classification. We believe that this study will show a transformative impact in many fields: biomedical imaging, communication, sensing, and photonic computing.


title: Beam pattern evolution of accreting X-ray pulsar 1A 0535+262 during its 2020 giant outburst

abstract: We report on pulse profile decomposition analysis of a bright transient X-ray pulsar 1A 0535+262 using the broadband Insight-HXMT observations during a giant outburst of the source in 2020. We show that the observed pulse profile shape can be described in terms of a combination of two symmetric single-pole contributions for wide range of energies and luminosities for a fixed geometry defining basic geometry of the pulsar. This corresponds to a slightly distorted dipole magnetic field, i.e., one pole has to be offset by $\sim 12^{\circ}$ from the antipodal position of the other pole. We reconstruct the intrinsic beam patterns of the pulsar assuming the geometry recovered from the decomposition analysis, and find evidence for a transition between "pencil" and "fan" beams in energy ranges above the cyclotron line energy which can be interpreted as transition from sub- to super-critical accretion regimes associated with onset of an accretion column. At lower energies the beam pattern appears, however, to be more complex, and contains substantial "fan" beam and an additional "pencil" beam component at all luminosities. The latter is not related to the accretion rate and is stronger in the fading phase of the outburst. We finally discuss results in context of other observational and theoretical findings earlier reported for the source in the literature.


title: Super-Resolution of BVOC Maps by Adapting Deep Learning Methods

abstract: Biogenic Volatile Organic Compounds (BVOCs) play a critical role in biosphere-atmosphere interactions, being a key factor in the physical and chemical properties of the atmosphere and climate. Acquiring large and fine-grained BVOC emission maps is expensive and time-consuming, so most available BVOC data are obtained on a loose and sparse sampling grid or on small regions. However, high-resolution BVOC data are desirable in many applications, such as air quality, atmospheric chemistry, and climate monitoring. In this work, we investigate the possibility of enhancing BVOC acquisitions, further explaining the relationships between the environment and these compounds. We do so by comparing the performances of several state-of-the-art neural networks proposed for image Super-Resolution (SR), adapting them to overcome the challenges posed by the large dynamic range of the emission and reduce the impact of outliers in the prediction. Moreover, we also consider realistic scenarios, considering both temporal and geographical constraints. Finally, we present possible future developments regarding SR generalization, considering the scale-invariance property and super-resolving emissions from unseen compounds.


title: Generalized Tur\'an problem for Complete Hypergraphs

abstract: Write $K^{(k)}_{n}$ for the complete $k$-graph on $n$ vertices. For $2 \leq k \leq g < r$ integers, let $\pi\left(n, K^{(k)}_{g}, K^{(k)}_r\right)$ be the maximum density of $K^{(k)}_{g}$ in $n$ vertex $K^{(k)}_{r}$-free $k$-graphs. The main contribution of this paper is the upper bound: $\pi\left(n, K^{(k)}_{g}, K^{(k)}_r\right) \leq \left(1 + O\left(n^{-1}\right) \right)\prod_{m=k}^{g} \left(1 - \frac{\binom{m-1}{k-1}}{\binom{r-1}{k-1}} \right).$ The graph case ($k=2$) is the first known generalized Tur\'an question, investigated by Erd\H{o}s. The $k=g$ case is the hypergraph Tur\'an problem where the best known general upper bound is by de Caen. The result proved here matches both bounds asymptotically, while any triple $k, g, r$ with $2 < k < g < r$ provides a new upper bound. The proof uses techniques from the theory of flag algebras to derive linear relations between different densities. These relations can be combined with linear algebraic methods. Additionally a simple flag algebraic certificate will be given for $\lim_{n \rightarrow \infty} \pi \left(n, K^{(3)}_4, K^{(3)}_5 \right) = 3/8$.


title: Similarity Calculation Based on Homomorphic Encryption

abstract: In recent years, although some homomorphic encryption algorithms have been proposed to provide additive homomorphic encryption and multiplicative homomorphic encryption. However, similarity measures are required for searches and queries under homomorphic encrypted ciphertexts. Therefore, this study considers the cosine similarity, angular similarity, Tanimoto similarity, and soft cosine similarity and combines homomorphic encryption algorithms for similarity calculation. This study proposes mathematical models to prove the proposed homomorphic encryption-based similarity calculation methods and gives practical cases to explain the proposed methods. In experiments, the performance of the proposed homomorphic encryption-based similarity calculation methods has been evaluated under different security strengths.


title: Learning Hierarchical Resource Allocation and Multi-agent Coordination of 5G mobile IAB Nodes

abstract: We consider a dynamic millimeter-wave network with integrated access and backhaul, where mobile relay nodes move to auto-reconfigure the wireless backhaul. Specifically, we focus on in-band relaying networks, which conduct access and backhaul links on the same frequency band with severe constraints on co-channel interference. In this context, we jointly study the complex problem of dynamic relay node positioning, user association, and backhaul capacity allocation. To address this problem, with limited complexity, we adopt a hierarchical multi-agent reinforcement with a two-level structure. A high-level policy dynamically coordinates mobile relay nodes, defining the backhaul configuration for a low-level policy, which jointly assigns user equipment to each relay and allocates the backhaul capacity accordingly. The resulting solution automatically adapts the access and backhaul network to changes in the number of users, the traffic distribution, and the variations of the channels. Numerical results show the effectiveness of our proposed solution in terms of convergence of the hierarchical learning procedure. It also provides a significant backhaul capacity and network sum-rate increase (up to 3.5x) compared to baseline approaches.


title: Introduction to color in QCD: Initiation to the birdtrack pictorial technique

abstract: These lectures are an elementary introduction to the "birdtrack" color pictorial technique, a useful tool in QCD. We review the basic rules, discuss color conservation and infinitesimal color rotations, learn how to project on partonic color states, how to derive their Casimir charges... and at the same time learn a little bit of representation theory.


title: Cooperative Simultaneous Tracking and Jamming for Disabling a Rogue Drone

abstract: This work investigates the problem of simultaneous tracking and jamming of a rogue drone in 3D space with a team of cooperative unmanned aerial vehicles (UAVs). We propose a decentralized estimation, decision and control framework in which a team of UAVs cooperate in order to a) optimally choose their mobility control actions that result in accurate target tracking and b) select the desired transmit power levels which cause uninterrupted radio jamming and thus ultimately disrupt the operation of the rogue drone. The proposed decision and control framework allows the UAVs to reconfigure themselves in 3D space such that the cooperative simultaneous tracking and jamming (CSTJ) objective is achieved; while at the same time ensures that the unwanted inter-UAV jamming interference caused during CSTJ is kept below a specified critical threshold. Finally, we formulate this problem under challenging conditions i.e., uncertain dynamics, noisy measurements and false alarms. Extensive simulation experiments illustrate the performance of the proposed approach.


title: $(g-2)_{e,\mu}$ and decays $e_b\to e_a\gamma$ in a $ \mbox{SU}(4)_L \otimes \mbox{U}(1)_X$ model with inverse seesaw neutrinos

abstract: We will show that the 3-4-1 model with heavy right-handed neutrinos can explain the recent experimental data of $(g-2)_{e, \mu}$ anomalies of charged leptons and neutrino oscillations through the inverse seesaw mechanism. In addition, the model can predict large lepton flavor violating decay rates $\mu \to e\gamma$ and $\tau \to \mu\gamma, e\gamma$ up to the recent experimental sensitivities.


title: Efficient Teacher: Semi-Supervised Object Detection for YOLOv5

abstract: Semi-Supervised Object Detection (SSOD) has been successful in improving the performance of both R-CNN series and anchor-free detectors. However, one-stage anchor-based detectors lack the structure to generate high-quality or flexible pseudo labels, leading to serious inconsistency problems in SSOD. In this paper, we propose the Efficient Teacher framework for scalable and effective one-stage anchor-based SSOD training, consisting of Dense Detector, Pseudo Label Assigner, and Epoch Adaptor. Dense Detector is a baseline model that extends RetinaNet with dense sampling techniques inspired by YOLOv5. The Efficient Teacher framework introduces a novel pseudo label assignment mechanism, named Pseudo Label Assigner, which makes more refined use of pseudo labels from Dense Detector. Epoch Adaptor is a method that enables a stable and efficient end-to-end semi-supervised training schedule for Dense Detector. The Pseudo Label Assigner prevents the occurrence of bias caused by a large number of low-quality pseudo labels that may interfere with the Dense Detector during the student-teacher mutual learning mechanism, and the Epoch Adaptor utilizes domain and distribution adaptation to allow Dense Detector to learn globally distributed consistent features, making the training independent of the proportion of labeled data. Our experiments show that the Efficient Teacher framework achieves state-of-the-art results on VOC, COCO-standard, and COCO-additional using fewer FLOPs than previous methods. To the best of our knowledge, this is the first attempt to apply Semi-Supervised Object Detection to YOLOv5.Code is available: https://github.com/AlibabaResearch/efficientteacher


title: Differentiability almost everywhere of weak limits of bi-Sobolev homeomorphisms

abstract: This paper investigates the differentiability of weak limits of bi-Sobolev homeomorphisms. Given $p>n-1$, consider a sequence of homeomorphisms $f_k$ with positive Jacobians $J_{f_k} >0$ almost everywhere and $\sup_k(\|f_{k}\|_{W^{1,n-1}} + \|f_{k}^{-1}\|_{W^{1,p}}) <\infty$. We prove that if $f$ and $h$ are weak limits of $f_k$ and $f_k^{-1}$, respectively, with positive Jacobians $J_f>0$ and $J_h>0$ a.e., then $h(f(x))=x$ and $f(h(y))=y$ both hold a.e.\ and $f$ and $h$ are differentiable almost everywhere.


title: Semi-Supervised Deep Regression with Uncertainty Consistency and Variational Model Ensembling via Bayesian Neural Networks

abstract: Deep regression is an important problem with numerous applications. These range from computer vision tasks such as age estimation from photographs, to medical tasks such as ejection fraction estimation from echocardiograms for disease tracking. Semi-supervised approaches for deep regression are notably under-explored compared to classification and segmentation tasks, however. Unlike classification tasks, which rely on thresholding functions for generating class pseudo-labels, regression tasks use real number target predictions directly as pseudo-labels, making them more sensitive to prediction quality. In this work, we propose a novel approach to semi-supervised regression, namely Uncertainty-Consistent Variational Model Ensembling (UCVME), which improves training by generating high-quality pseudo-labels and uncertainty estimates for heteroscedastic regression. Given that aleatoric uncertainty is only dependent on input data by definition and should be equal for the same inputs, we present a novel uncertainty consistency loss for co-trained models. Our consistency loss significantly improves uncertainty estimates and allows higher quality pseudo-labels to be assigned greater importance under heteroscedastic regression. Furthermore, we introduce a novel variational model ensembling approach to reduce prediction noise and generate more robust pseudo-labels. We analytically show our method generates higher quality targets for unlabeled data and further improves training. Experiments show that our method outperforms state-of-the-art alternatives on different tasks and can be competitive with supervised methods that use full labels. Our code is available at https://github.com/xmed-lab/UCVME.


title: Unboxing Tree Ensembles for interpretability: a hierarchical visualization tool and a multivariate optimal re-built tree

abstract: The interpretability of models has become a crucial issue in Machine Learning because of algorithmic decisions' growing impact on real-world applications. Tree ensemble methods, such as Random Forests or XgBoost, are powerful learning tools for classification tasks. However, while combining multiple trees may provide higher prediction quality than a single one, it sacrifices the interpretability property resulting in "black-box" models. In light of this, we aim to develop an interpretable representation of a tree-ensemble model that can provide valuable insights into its behavior. First, given a target tree-ensemble model, we develop a hierarchical visualization tool based on a heatmap representation of the forest's feature use, considering the frequency of a feature and the level at which it is selected as an indicator of importance. Next, we propose a mixed-integer linear programming (MILP) formulation for constructing a single optimal multivariate tree that accurately mimics the target model predictions. The goal is to provide an interpretable surrogate model based on oblique hyperplane splits, which uses only the most relevant features according to the defined forest's importance indicators. The MILP model includes a penalty on feature selection based on their frequency in the forest to further induce sparsity of the splits. The natural formulation has been strengthened to improve the computational performance of {mixed-integer} software. Computational experience is carried out on benchmark datasets from the UCI repository using a state-of-the-art off-the-shelf solver. Results show that the proposed model is effective in yielding a shallow interpretable tree approximating the tree-ensemble decision function.


title: Quantum walk state transfer on a hypercube

abstract: We investigate state transfer on a hypercube by means of a quantum walk where the sender and the receiver vertices are marked by a weighted loops. First, we analyze search for a single marked vertex, which can be used for state transfer between arbitrary vertices by switching the weighted loop from the sender to the receiver after one run-time. Next, state transfer between antipodal vertices is considered. We show that one can tune the weight of the loop to achieve state transfer with high fidelity in shorter run-time in comparison to the state transfer with a switch. Finally, we investigate state transfer between vertices of arbitrary distance. It is shown that when the distance between the sender and the receiver is at least 2, the results derived for the antipodes are well applicable. If the sender and the receiver are direct neighbours the evolution follows a slightly different course. Nevertheless, state transfer with high fidelity is achieved in the same run-time.


title: Can molecular dynamics be used to simulate biomolecular recognition?

abstract: There are many problems in biochemistry that are difficult to study experimentally. Simulation methods are appealing due to direct availability of atomic coordinates as a function of time. However, direct molecular simulations are challenged by the size of systems and the time scales needed to describe relevant motions. In theory, enhanced sampling algorithms can help to overcome some of the limitations of molecular simulations. Here, we discuss a problem in biochemistry that offers a significant challenge for enhanced sampling methods and that could, therefore, serve as a benchmark for comparing approaches that use machine learning to find suitable collective variables. More in particular, we study the transitions LacI undergoes upon moving between being non-specifically and specifically bound to DNA. It is found that many degrees of freedom change during this transition and that the transition does not occur reversibly in simulations if only a subset of these degrees of freedom are biased. We also explain why this problem is so important to biologists and the transformative impact that a simulation of it would have on the understanding of DNA regulation.


title: ForceFormer: Exploring Social Force and Transformer for Pedestrian Trajectory Prediction

abstract: Predicting trajectories of pedestrians based on goal information in highly interactive scenes is a crucial step toward Intelligent Transportation Systems and Autonomous Driving. The challenges of this task come from two key sources: (1) complex social interactions in high pedestrian density scenarios and (2) limited utilization of goal information to effectively associate with past motion information. To address these difficulties, we integrate social forces into a Transformer-based stochastic generative model backbone and propose a new goal-based trajectory predictor called ForceFormer. Differentiating from most prior works that simply use the destination position as an input feature, we leverage the driving force from the destination to efficiently simulate the guidance of a target on a pedestrian. Additionally, repulsive forces are used as another input feature to describe the avoidance action among neighboring pedestrians. Extensive experiments show that our proposed method achieves on-par performance measured by distance errors with the state-of-the-art models but evidently decreases collisions, especially in dense pedestrian scenarios on widely used pedestrian datasets.


title: Fast and Blind Speech Copy-Move Detection and Localization in Noise

abstract: Copy-move forgery on speech (CMF), coupled with post-processing techniques, presents a great challenge to the forensic detection and localization of tampered areas. Most of the existing CMF detection approaches necessitate pre-segmentation of speech to facilitate similarity calculations among these segments. However, these approaches usually suffer from the problems of uncontrollable computational complexity and sensitivity to the presence of a word that is read multiple times within a speech recording. To address these issues, we propose a local feature tensors-based CMF detection algorithm that can transform duplicate detection and localization problems into a special tensor-matching procedure, accompanied by complete theoretical analysis as support. Through extensive experimentation, we have demonstrated that our method exhibits computational efficiency and robustness against post-processing techniques. Notably, it can effectively and blindly detect tampered segments, even those as short as a fractional second. These advantages highlight the promising potential of our approach for practical applications.


title: Home-to-school pedestrian mobility GPS data from a citizen science experiment in the Barcelona area

abstract: The analysis of pedestrian GPS datasets is fundamental to further advance on the study and the design of walkable cities. The highest resolution GPS data can characterize micro-mobility patterns and pedestrians' micro-motives in relation to a small-scale urban context. Purposed-based recurrent mobility data inside people's neighborhoods is an important source in these sorts of studies. However, micro-mobility around people's homes is generally unavailable, and if data exists, it is generally not shareable often due to privacy issues. Citizen science and its public involvement practices in scientific research are valid options to circumvent these challenges and provide meaningful datasets for walkable cities. The study presents GPS records from single-day home-to-school pedestrian mobility of 10 schools in the Barcelona Metropolitan area (Spain). The research provides pedestrian mobility from an age-homogeneous group of people. The study shares processed records with specific filtering, cleaning, and interpolation procedures that can facilitate and accelerate data usage. Citizen science practices during the whole research process are reported to offer a complete perspective of the data collected.


title: Vulnerability Analysis of Digital Banks' Mobile Applications

abstract: There is a rapid increase in the number of mobile banking applications' users due to an increase in smart mobile devices. Mobile banking is a financial transaction and service offered through mobile devices. Almost all financial institutions now provide mobile banking services to their customers. However, the security of mobile banking applications is of huge concern because of the amount of personal data and information they collect. If an attacker gets hold of personal information, they can access bank payment or card accounts. This research aims to analyze the vulnerability of the UK digital banks' applications to identify vulnerabilities in the apps and proffer countermeasures that can help improve the security of the bank applications. Androbugs, a vulnerability scanner, was used to analyze the vulnerability of six digital banks' android applications. Starling, Monese, Atom bank, Transferwise, Monzo, and Revolut were scanned. All the scanned digital banks' applications have vulnerabilities; however, some have more vulnerabilities than others. For example, Revolut's mobile application has the highest number of identified vulnerabilities. Therefore, there is need for more security in the digital banks' applications as well as other mobile banking applications.


title: Lipschitz-volume rigidity of Lipschitz manifolds among integral currents

abstract: We give sufficient conditions such that a volume preserving 1-Lipschitz map from a metric integral current onto an infinitesimally Euclidean Lipschitz manifold is an isometry.


title: Word class representations spontaneously emerge in a deep neural network trained on next word prediction

abstract: How do humans learn language, and can the first language be learned at all? These fundamental questions are still hotly debated. In contemporary linguistics, there are two major schools of thought that give completely opposite answers. According to Chomsky's theory of universal grammar, language cannot be learned because children are not exposed to sufficient data in their linguistic environment. In contrast, usage-based models of language assume a profound relationship between language structure and language use. In particular, contextual mental processing and mental representations are assumed to have the cognitive capacity to capture the complexity of actual language use at all levels. The prime example is syntax, i.e., the rules by which words are assembled into larger units such as sentences. Typically, syntactic rules are expressed as sequences of word classes. However, it remains unclear whether word classes are innate, as implied by universal grammar, or whether they emerge during language acquisition, as suggested by usage-based approaches. Here, we address this issue from a machine learning and natural language processing perspective. In particular, we trained an artificial deep neural network on predicting the next word, provided sequences of consecutive words as input. Subsequently, we analyzed the emerging activation patterns in the hidden layers of the neural network. Strikingly, we find that the internal representations of nine-word input sequences cluster according to the word class of the tenth word to be predicted as output, even though the neural network did not receive any explicit information about syntactic rules or word classes during training. This surprising result suggests, that also in the human brain, abstract representational categories such as word classes may naturally emerge as a consequence of predictive coding and processing during language acquisition.


title: ARGUS: Context-Based Detection of Stealthy IoT Infiltration Attacks

abstract: IoT application domains, device diversity and connectivity are rapidly growing. IoT devices control various functions in smart homes and buildings, smart cities, and smart factories, making these devices an attractive target for attackers. On the other hand, the large variability of different application scenarios and inherent heterogeneity of devices make it very challenging to reliably detect abnormal IoT device behaviors and distinguish these from benign behaviors. Existing approaches for detecting attacks are mostly limited to attacks directly compromising individual IoT devices, or, require predefined detection policies. They cannot detect attacks that utilize the control plane of the IoT system to trigger actions in an unintended/malicious context, e.g., opening a smart lock while the smart home residents are absent. In this paper, we tackle this problem and propose ARGUS, the first self-learning intrusion detection system for detecting contextual attacks on IoT environments, in which the attacker maliciously invokes IoT device actions to reach its goals. ARGUS monitors the contextual setting based on the state and actions of IoT devices in the environment. An unsupervised Deep Neural Network (DNN) is used for modeling the typical contextual device behavior and detecting actions taking place in abnormal contextual settings. This unsupervised approach ensures that ARGUS is not restricted to detecting previously known attacks but is also able to detect new attacks. We evaluated ARGUS on heterogeneous real-world smart-home settings and achieve at least an F1-Score of 99.64% for each setup, with a false positive rate (FPR) of at most 0.03%.


title: A Study on Angular Distribution of THz Radiation Driven by Two-Color Laser-induced Microplasma

abstract: We present an analytical method to study the angular distribution of THz radiation driven by two-color laser-induced microplasma in nitrogen gas. Directionally dependent temporal waveforms of the radiated THz pulse is calculated. To do so, we have extended the photo-current model to calculate three-dimensional distribution of the photo-induced current from which the far field THz radiation is computed. We have also studied the effect of optical polarization state and phase difference on the angular distribution of radiation. Our study shows that for two orthogonally-polarized colors, not only THz polarization state, but also the angular distribution of THz radiation is mostly influenced by the second optical harmonic. The possibility of rotating the angular radiation pattern around the axis of the laser propagation is illustrated for circularly-polarized laser drivers by changing the optical phase difference.


title: Unique Compact Representation of Magnetic Fields using Truncated Solid Harmonic Expansions

abstract: Precise knowledge of magnetic fields is crucial in many medical imaging applications like magnetic resonance imaging or magnetic particle imaging (MPI) as they are the foundation of these imaging systems. For the investigation of the influence of field imperfections on imaging, a compact and unique representation of the magnetic fields using real solid spherical harmonics, which can be obtained by measuring a few points of the magnetic field only, is of great assistance. In this manuscript, we review real solid harmonic expansions as a general solution of Laplace's equation including an efficient calculation of their coefficients using spherical t-designs. We also provide a method to shift the reference point of an expansion by calculating the coefficients of the shifted expansion from the initial ones. These methods are used to obtain the magnetic fields of an MPI system. Here, the field-free-point of the spatial encoding field serves as unique expansion point. Lastly, we quantify the severity of the distortions of the static and dynamic fields in MPI by analyzing the expansion coefficients.


title: Collective response to local perturbations: how to evade threats without losing coherence

abstract: Living groups move in complex environments and are constantly subject to external stimuli, predatory attacks and disturbances. An efficient response to such perturbations is vital to maintain the group's coherence and cohesion. Perturbations are often local, i.e. they are initially perceived only by few individuals in the group, but can elicit a global response. This is the case of starling flocks, that can turn very quickly to evade predators. In this paper, we investigate the conditions under which a global change of direction can occur upon local perturbations. Using minimal models of self-propelled particles, we show that a collective directional response occurs on timescales that grow with the system size and it is, therefore, a finite-size effect. The larger the group is, the longer it will take to turn. We also show that global coherent turns can only take place if i) the mechanism for information propagation is efficient enough to transmit the local reaction undamped through the whole group; and if ii) motility is not too strong, to avoid that the perturbed individual leaves the group before the turn is complete. No compliance with such conditions results in the group's fragmentation or in a non-efficient response.


title: Four-loop splitting functions in QCD -- The quark-quark case

abstract: We have computed the even-$N$ moments $N\leq 20$ of the pure-singlet quark splitting function $P_{\,\rm ps}$ at the fourth order of perturbative QCD via the anomalous dimensions of off-shell flavour-singlet operator matrix elements. Our results, derived analytically for a general gauge group, agree with all results obtained for this function so far, in particular with the lowest six even moments obtained via physical cross sections. Using these results and all available endpoint constraints, we construct approximations for $P_{\rm ps}$ at four loops that should be sufficient for most collider-physics applications. Together with the known results for the non-singlet splitting function $P_{\rm ns}^{\,+}$ at this order, this effectively completes the quark-quark contribution for the evolution of parton distribution at N$^{\:\!3}$LO accuracy. Our new results thus provide a major step towards fully consistent N$^{\:\!3}$LO calculations at the LHC and the reduction of the residual uncertainty in the parton evolution to the percent level.


title: Toward matrix multiplication for deep learning inference on the Xilinx Versal

abstract: The remarkable positive impact of Deep Neural Networks on many Artificial Intelligence (AI) tasks has led to the development of various high performance algorithms as well as specialized processors and accelerators. In this paper we address this scenario by demonstrating that the principles underlying the modern realization of the general matrix multiplication (GEMM) in conventional processor architectures, are also valid to achieve high performance for the type of operations that arise in deep learning (DL) on an exotic accelerator such as the AI Engine (AIE) tile embedded in Xilinx Versal platforms. In particular, our experimental results with a prototype implementation of the GEMM kernel, on a Xilinx Versal VCK190, delivers performance close to 86.7% of the theoretical peak that can be expected on an AIE tile, for 16-bit integer operands.


title: Macaulay's theorem for vector-spread algebras

abstract: Let $S=K[x_1,\dots,x_n]$ be the standard graded polynomial ring, with $K$ a field, and let ${\bf t}=(t_1,\ldots,t_{d-1})\in{\mathbb{Z}}_{\ge 0}^{d-1}$, $d\ge 2$, be a $(d-1)$-tuple whose entries are non negative integers. To a ${\bf t}$-spread ideal $I$ in $S$, we associate a unique $f_{\bf t}$-vector and we prove that if $I$ is ${\bf t}$-spread strongly stable, then there exists a unique ${\bf t}$-spread lex ideal which shares the same $f_{\bf t}$-vector of $I$ via the combinatorics of the ${\bf t}$-spread shadows of special sets of monomials of $S$. Moreover, we characterize the possible $f_{\bf t}$-vectors of ${\bf t}$-vector spread strongly stable ideals generalizing the well-known theorems of Macaulay and Kruskal-Katona. Finally, we prove that among all ${\bf t}$-spread strongly stable ideals with the same $f_{\bf t}$-vector, the ${\bf t}$-spread lex ideals have the largest Betti numbers.


title: Clustering-Based Inter-Regional Correlation Estimation

abstract: A novel non-parametric estimator of the correlation between grouped measurements of a quantity is proposed in the presence of noise. This work is primarily motivated by functional brain network construction from fMRI data, where brain regions correspond to groups of spatial units, and correlation between region pairs defines the network. The challenge resides in the fact that both noise and intra-regional correlation lead to inconsistent inter-regional correlation estimation using classical approaches. While some existing methods handle either one of these issues, no non-parametric approaches tackle both simultaneously. To address this problem, we propose a trade-off between two procedures: correlating regional averages, which is not robust to intra-regional correlation; and averaging pairwise inter-regional correlations, which is not robust to noise. To that end, we project the data onto a space where Euclidean distance is used as a proxy for sample correlation. We then propose to leverage hierarchical clustering to gather together highly correlated variables within each region prior to inter-regional correlation estimation. We provide consistency results, and empirically show our approach surpasses several other popular methods in terms of quality. We also provide illustrations on real-world datasets that further demonstrate its effectiveness.


title: Preventive-Corrective Cyber-Defense: Attack-Induced Region Minimization and Cybersecurity Margin Maximization

abstract: False data injection (FDI) cyber-attacks on power systems can be prevented by strategically selecting and protecting a sufficiently large measurement subset, which, however, requires adequate cyber-defense resources for measurement protection. With any given cyber-defense resource, this paper proposes a preventive-corrective cyber-defense strategy, which minimizes the FDI attack-induced region in a preventive manner, followed by maximizing the cybersecurity margin in a corrective manner. First, this paper proposes a preventive cyber-defense strategy that minimizes the volume of the FDI attack-induced region via preventive allocation of any given measurement protection resource. Particularly, a sufficient condition for constructing the FDI unattackable lines is proposed, indicating that the FDI cyber-attack could be locally rather than globally prevented. Then, given a non-empty FDI attack-induced region, this paper proposes a corrective cyber-defense strategy that maximizes the cybersecurity margin, leading to a trade-off between the safest-but-expensive operation point (i.e., Euclidean Chebyshev center) and the cheapest-but-dangerous operation point. Simulation results on a modified IEEE 14 bus system verify the effectiveness and cost-effectiveness of the proposed preventive-corrective cyber-defense strategy.


title: Evidence of Demographic rather than Ideological Segregation in News Discussion on Reddit

abstract: We evaluate homophily and heterophily among ideological and demographic groups in a typical opinion formation context: online discussions of current news. We analyze user interactions across five years in the r/news community on Reddit, one of the most visited websites in the United States. Then, we estimate demographic and ideological attributes of these users. Thanks to a comparison with a carefully-crafted network null model, we establish which pairs of attributes foster interactions and which ones inhibit them. Individuals prefer to engage with the opposite ideological side, which contradicts the echo chamber narrative. Instead, demographic groups are homophilic, as individuals tend to interact within their own group - even in an online setting where such attributes are not directly observable. In particular, we observe age and income segregation consistently across years: users tend to avoid interactions when belonging to different groups. These results persist after controlling for the degree of interest by each demographic group in different news topics. Our findings align with the theory that affective polarization - the difficulty in socializing across political boundaries-is more connected with an increasingly divided society, rather than ideological echo chambers on social media. We publicly release our anonymized data set and all the code to reproduce our results: https://github.com/corradomonti/demographic-homophily


title: The formation and evolution of Andromeda IX

abstract: Local Group (LG), the nearest and most complete galactic environment, provides valuable information on the formation and evolution of the Universe. Studying galaxies of different sizes, morphologies, and ages can provide this information. For this purpose, we chose the And\,IX dSph galaxy, which is one of the observational targets of the Isaac Newton Telescope (INT) survey. A total of 50 long-period variables (LPVs) were found in And\,IX in two filters, Sloan $i'$ and Harris $V$ at a half-light radius of 2.5 arcmin. The And\,IX's star formation history (SFH) was constructed with a maximum star formation rate (SFR) of about $0.00082\pm0.00031$ M$_\odot$ yr$^{-1}$, using LPVs as a tracer. The total mass return rate of LPVs was calculated based on the spectral energy distribution (SED) of about $2.4\times10^{-4}$ M$_\odot$ yr$^{-1}$. The distance modulus of $24.56_{-0.15}^{+0.05}$ mag was estimated based on the tip of the red giant branch (TRGB).


title: Asynchronous Gathering of Robots with Finite Memory on a Circle under Limited Visibility

abstract: Consider a set of $n$ mobile entities, called robots, located and operating on a continuous circle, i.e., all robots are initially in distinct locations on a circle. The \textit{gathering} problem asks to design a distributed algorithm that allows the robots to assemble at a point on the circle. Robots are anonymous, identical, and homogeneous. Robots operate in a deterministic Look-Compute-Move cycle within the circular path. Robots agree on the clockwise direction. The robot's movement is rigid and they have limited visibility $\pi$, i.e., each robot can only see the points of the circle which is at an angular distance strictly less than $\pi$ from the robot. Di Luna \textit{et al}. [DISC'2020] provided a deterministic gathering algorithm of oblivious and silent robots on a circle in semi-synchronous (\textsc{SSync}) scheduler. Buchin \textit{et al}. [IPDPS(W)'2021] showed that, under full visibility, $\mathcal{OBLOT}$ robot model with \textsc{SSync} scheduler is incomparable to $\mathcal{FSTA}$ robot (robots are silent but have finite persistent memory) model with asynchronous (\textsc{ASync}) scheduler. Under limited visibility, this comparison is still unanswered. So, this work extends the work of Di Luna \textit{et al}. [DISC'2020] under \textsc{ASync} scheduler for $\mathcal{FSTA}$ robot model.


title: Deep Learning for Hybrid Beamforming with Finite Feedback in GSM Aided mmWave MIMO Systems

abstract: Hybrid beamforming is widely recognized as an important technique for millimeter wave (mmWave) multiple input multiple output (MIMO) systems. Generalized spatial modulation (GSM) is further introduced to improve the spectrum efficiency. However, most of the existing works on beamforming assume the perfect channel state information (CSI), which is unrealistic in practical systems. In this paper, joint optimization of downlink pilot training, channel estimation, CSI feedback, and hybrid beamforming is considered in GSM aided frequency division duplexing (FDD) mmWave MIMO systems. With the help of deep learning, the GSM hybrid beamformers are designed via unsupervised learning in an end-to-end way. Experiments show that the proposed multi-resolution network named GsmEFBNet can reach a better achievable rate with fewer feedback bits compared with the conventional algorithm.


title: Hidden Euclidean dynamical symmetry in the U(n+1) vibron model

abstract: Based on the boson realization of the Euclidean algebras, it is found that the E($n$) dynamical symmetry (DS) may emerge at the critical point of the U($n$)-SO($n+1$) quantum phase transition. To justify this finding, we provide a detailed analysis of the critical dynamics in the U($n+1$) vibron model in both quantal and classical ways. It is further shown that the low-lying structure of $^{82}$Kr may serve as an excellent empirical realization of the E(5) DS in experiments.


title: Efficient low rank approximations for parabolic control problems with unknown heat source

abstract: An inverse problem of finding an unknown heat source for a class of linear parabolic equations is considered. Such problems can typically be converted to a direct problem with non-local conditions in time instead of an initial value problem. Standard ways of solving these non-local problems include direct temporal and spatial discretization as well as the shooting method, which may be computationally expensive in higher dimensions. In the present article, we present approaches based on low-rank approximation via Arnoldi algorithm to bypass the computational limitations of the mentioned classical methods. Regardless of the dimension of the problem, we prove that the Arnoldi approach can be effectively used to turn the inverse problem into a simple initial value problem at the cost of only computing one-dimensional matrix functions while still retaining the same accuracy as the classical approaches. Numerical results in dimensions d=1,2,3 are provided to validate the theoretical findings and to demonstrate the efficiency of the method for growing dimensions.


title: Burnside type results for fusion categories

abstract: In this paper, we extend a classical vanishing result of Burnside from the character tables of finite groups to the character tables of commutative fusion rings, or more generally to a certain class of abelian normalizable hypergroups. We also treat the dual vanishing result. We show that any nilpotent fusion categories satisfy both Burnside's property and its dual. Using Drinfeld's map, we obtain that the Grothendieck ring of any weakly-integral modular fusion category satisfies both properties. As applications, we prove new identities that hold in the Grothendieck ring of any weakly-integral fusion category satisfying the dual-Burnside's property, thus providing new categorification criteria. In particular, we improve [OY23, Theorem 4.5] as follows: A weakly integral modular fusion category of FPdim md with d square-free coprime with m and FPdim(X)^2 for every simple object X, has a pointed modular fusion subcategory of FPdim d. We also prove some new results on the perfect fusion categories.


title: Prescribed Time Time-varying Output Formation Tracking for Uncertain Heterogeneous Multi-agent Systems

abstract: The time-varying output formation tracking for the heterogeneous multi-agent systems (MAS) is investigated in this paper. First, a distributed observer is constructed for followers to estimate the states of the leader, which can ensure that the estimation error converges to the origin in the prescribed time. Then, the local formation controller is designed for each follower based on the estimation of the observer, under which, the formation errors converge to the origin in the prescribed time as well. That is, the settling time of the whole system can be predefined in advance. It's noted that not only the uncertainties in the state matrix but also the uncertainties in the input matrix are considered, which makes the problem more practical. Last, a simulation is performed to show the effectiveness of the proposed approach.


title: Joint optimal measurement for locating two incoherent optical point sources near the Rayleigh distance

abstract: The simultaneous optimization of the centroid estimation and the separation estimation of two incoherent optical point sources is restricted by a tradeoff relation through an incompatibility coefficient. At the Rayleigh distance the incompatibility coefficient vanishes and thus the tradeoff relation no longer restricts the simultaneous optimization of measurement for a joint estimation. We construct such a joint optimal measurement by an elaborated analysis on the operator algebra of the symmetric logarithmic derivative. Our work not only confirms the existence of a joint optimal measurement for this specific imaging model, but also gives a promising method to characterize the condition on measurement compatibility for general multiparameter estimation problems.


title: Non-linear dynamics near exceptional points of synthetic antiferromagnetic spin-torque oscillators

abstract: We consider a synthetic antiferromagnetic spin-torque oscillator with anisotropic interlayer exchange coupling. This system exhibits exceptional points in its linearized dynamics. We find the non-linear dynamics and the dynamical phase diagram of the system both analytically and numerically. Moreover, we show that, near one of the exceptional points, the power of the oscillator depends extremely sensitively on the injected spin current. Our findings may be useful for designing sensitive magnetometers and for other applications of spin-torque oscillators.


title: Uncertainty-Estimation with Normalized Logits for Out-of-Distribution Detection

abstract: Out-of-distribution (OOD) detection is critical for preventing deep learning models from making incorrect predictions to ensure the safety of artificial intelligence systems. Especially in safety-critical applications such as medical diagnosis and autonomous driving, the cost of incorrect decisions is usually unbearable. However, neural networks often suffer from the overconfidence issue, making high confidence for OOD data which are never seen during training process and may be irrelevant to training data, namely in-distribution (ID) data. Determining the reliability of the prediction is still a difficult and challenging task. In this work, we propose Uncertainty-Estimation with Normalized Logits (UE-NL), a robust learning method for OOD detection, which has three main benefits. (1) Neural networks with UE-NL treat every ID sample equally by predicting the uncertainty score of input data and the uncertainty is added into softmax function to adjust the learning strength of easy and hard samples during training phase, making the model learn robustly and accurately. (2) UE-NL enforces a constant vector norm on the logits to decouple the effect of the increasing output norm from optimization process, which causes the overconfidence issue to some extent. (3) UE-NL provides a new metric, the magnitude of uncertainty score, to detect OOD data. Experiments demonstrate that UE-NL achieves top performance on common OOD benchmarks and is more robust to noisy ID data that may be misjudged as OOD data by other methods.


title: DiffSeer: Difference-based Dynamic Weighted Graph Visualization

abstract: Existing dynamic weighted graph visualization approaches rely on users' mental comparison to perceive temporal evolution of dynamic weighted graphs, hindering users from effectively analyzing changes across multiple timeslices. We propose DiffSeer, a novel approach for dynamic weighted graph visualization by explicitly visualizing the differences of graph structures (e.g., edge weight differences) between adjacent timeslices. Specifically, we present a novel nested matrix design that overviews the graph structure differences over a time period as well as shows graph structure details in the timeslices of user interest. By collectively considering the overall temporal evolution and structure details in each timeslice, an optimization-based node reordering strategy is developed to group nodes with similar evolution patterns and highlight interesting graph structure details in each timeslice. We conducted two case studies on real-world graph datasets and in-depth interviews with 12 target users to evaluate DiffSeer. The results demonstrate its effectiveness in visualizing dynamic weighted graphs.


title: Quadrupole and octupole states in $^{152}$Sm using the proton-neutron interacting boson model

abstract: A scheme of solving the proton-neutron interacting boson model (IBM-2) in terms of the SU(3) basis is introduced, by which the IBM-2 coupled with an octupole boson is applied to describe the low-energy structure of the critical point nucleus, $^{152}$Sm. The results indicate that the spectral properties of both the positive-parity bands and negative-parity bands in this nucleus can be well captured by the IBM-2 calculations through a simple Hamiltonian, thus providing an example of the IBM-2 in a unified description of quadrupole and octupole states in a transitional system. In addition, a statistical analysis of the low-spin states in the model is also provided.


title: Advanced Analysis of Night Sky Background Light for SSTCAM

abstract: Night Sky Background (NSB) is a complex phenomenon, consisting of all light detected by Imaging Atmospheric Cherenkov Telescopes (IACTs) not attributable to Cherenkov light emission. Understanding the effect of NSB on cameras for the next-generation Cherenkov Telescope Array (CTA) is important, as it affects the systematic errors on observations, the energy threshold, the thermal control of the cameras and the ability of the telescopes to operate under partial moonlight conditions. This capacity to observe under partial moonlight conditions is crucial for the CTA transient science programme, as it substantially increases the potential observing time. Using tools initially developed for H.E.S.S. (in combination withthe prototype CTA analysis package ctapipe) we will present predictions for the NSB present in images taken by the CTA Small Sized Telescope Camera (SSTCAM), showing that SSTCAM will likely be able to meet the associated CTA requirements. Additionally, we calculate the potential observing time gain by operating under high NSB conditions.


title: Towards Optimal Compression: Joint Pruning and Quantization

abstract: Model compression is instrumental in optimizing deep neural network inference on resource-constrained hardware. The prevailing methods for network compression, namely quantization and pruning, have been shown to enhance efficiency at the cost of performance. Determining the most effective quantization and pruning strategies for individual layers and parameters remains a challenging problem, often requiring computationally expensive and ad hoc numerical optimization techniques. This paper introduces FITCompress, a novel method integrating layer-wise mixed-precision quantization and unstructured pruning using a unified heuristic approach. By leveraging the Fisher Information Metric and path planning through compression space, FITCompress optimally selects a combination of pruning mask and mixed-precision quantization configuration for a given pre-trained model and compression constraint. Experiments on computer vision and natural language processing benchmarks demonstrate that our proposed approach achieves a superior compression-performance trade-off compared to existing state-of-the-art methods. FITCompress stands out for its principled derivation, making it versatile across tasks and network architectures, and represents a step towards achieving optimal compression for neural networks.


title: Pulse Parameter Optimization Method for Ultra High Dose Rate Electron Treatment

abstract: Purpose: Commercial UHDR platforms deliver Ultra-High Dose Rate (UHDR) doses at discrete combinations of pulse parameters including pulse width (PW), pulse repetition frequency (PRF) and number of pulses (N), which dictate unique combinations of dose and dose rates. Currently, obtaining pulse parameters for the desired dose and dose rate is a cumbersome manual process involving creating, updating, and looking up values in large spreadsheets for every treatment configuration. The purpose of this work is to present a pulse parameter optimizer application to match intended dose and dose rate precisely and efficiently. Methods: Dose and dose rate calculation have been described for a commercial electron FLASH platform. A constrained optimization for the dose and dose rate cost function was modelled as a mixed integer problem in MATLAB (The MathWorks Inc., Version9.13.0 R2022b, Natick, Massachusetts). The beam and machine data required for the application were acquired using GafChromic film and Alternating Current Current Transformers (ACCTs). Variables for optimization included dose per pulse (DPP) for every collimator at a specific treatment configuration, PW and PRF measured using ACCT, and airgap factors. Results: Using PW, PRF, N and airgap factors as the parameters, the application was created to optimize for dose and dose rate. Largely automating dose and dose rate calculation reduces safety concerns associated with manual look up and calculation of these parameters, especially when many subjects at different doses and dose rates are to be safely managed. Conclusion: A pulse parameter optimization application was built in MATLAB for a commercial electron UHDR platform to increase efficiency in the dose, dose rate, and pulse parameter prescription process.


title: Exotic single-photon and enhanced deep-level emissions in hBN strain superlattice

abstract: The peculiar defect-related photon emission processes in 2D hexagonal boron nitride (hBN) have become a topic of intense research due to their potential applications in quantum information and sensing technologies. Recent efforts have focused on activating and modulating the defect energy levels in hBN by methods that can be integrated on a chip, and understanding the underlying physical mechanism. Here, we report on exotic single photon and enhanced deep-level emissions in 2D hBN strain superlattice, which is fabricated by transferring multilayer hBN onto hexagonal close-packed silica spheres on silica substrate. We realize effective activation of the single photon emissions (SPEs) in the multilayer hBN at the positions that are in contact with the apex of the SiO2 spheres. At these points, the local tensile strain induced blue-shift of the SPE is found to be up to 12 nm. Furthermore, high spatial resolution cathodoluminescence measurments show remarkable strain-enhanced deep-level (DL) emissions in the multilayer hBN with the emission intensity distribution following the periodic hexagonal pattern of the strain superlattice. The maximum DL emission enhancement is up to 350% with a energy redshift of 6 nm. Our results provide a simple on-chip compatible method for activating and tuning the defect-related photon emissions in multilayer hBN, demonstrating the potential of hBN strain superlattice as a building block for future on-chip quantum nanophotonic devices.


title: Similarity, Compression and Local Steps: Three Pillars of Efficient Communications for Distributed Variational Inequalities

abstract: Variational inequalities are a broad and flexible class of problems that includes minimization, saddle point, and fixed point problems as special cases. Therefore, variational inequalities are used in various applications ranging from equilibrium search to adversarial learning. With the increasing size of data and models, today's instances demand parallel and distributed computing for real-world machine learning problems, most of which can be represented as variational inequalities. Meanwhile, most distributed approaches have a significant bottleneck - the cost of communications. The three main techniques to reduce the total number of communication rounds and the cost of one such round are the similarity of local functions, compression of transmitted information, and local updates. In this paper, we combine all these approaches. Such a triple synergy did not exist before for variational inequalities and saddle problems, nor even for minimization problems. The methods presented in this paper have the best theoretical guarantees of communication complexity and are significantly ahead of other methods for distributed variational inequalities. The theoretical results are confirmed by adversarial learning experiments on synthetic and real datasets.


title: Magnetically-dressed CrSBr exciton-polaritons in ultrastrong coupling regime

abstract: The strong coupling between photons and matter excitations such as excitons, phonons, and magnons is of central importance in the study of light-matter interactions. Bridging the flying and stationary quantum states, the strong light-matter coupling enables the coherent transmission, storage, and processing of quantum information, which is essential for building photonic quantum networks. Over the past few decades, exciton-polaritons have attracted substantial research interest due to their half-light-half-matter bosonic nature. Coupling exciton-polaritons with magnetic orders grants access to rich many-body phenomena, but has been limited by the availability of material systems that exhibit simultaneous exciton resonances and magnetic ordering. Here we report magnetically-dressed microcavity exciton-polaritons in the van der Waals antiferromagnetic (AFM) semiconductor CrSBr coupled to a Tamm plasmon microcavity. Angle-resolved spectroscopy reveals an exceptionally high exciton-polariton coupling strength attaining 169 meV, demonstrating ultrastrong coupling that persists up to room temperature. Temperature-dependent exciton-polariton spectroscopy senses the magnetic order change from AFM to paramagnetism in CrSBr, confirming its magnetic nature. By applying an out-of-plane magnetic field, an effective tuning of the polariton energy is further achieved while maintaining the ultrastrong exciton-photon coupling strength, which is attributed to the spin canting process that modulates the interlayer exciton interaction. Our work proposes a hybrid quantum platform enabled by robust opto-electronic-magnetic coupling, promising for quantum interconnects and transducers.


title: Redispersibility in magnetorheological fluids and its relevance for MRF formulations

abstract: Very important research, with both theoretical and experimental results in the advancement of physical models that explain the MR effect, try to keep the MRF formulation as simple as possible, usually with only two components: a magnetic dispersed phase and a carrier liquid. Many patents of MRF include three or four components, such as some surfactant and thixotropic additives. In order to formulate a good and reliable MRF for different applications such as MR shock absorbers, clutches, brakes, the MRF redispersibility is a challenge, but mandatory, key property for out of lab real world applications. This chapter, we shows how to measure and evaluate the MRF redispersibility.


title: Solidarity to achieve stability

abstract: Agents may form coalitions. Each coalition shares its endowment among its agents by applying a sharing rule. The sharing rule induces a coalition formation problem by assuming that agents rank coalitions according to the allocation they obtain in the corresponding sharing problem. We characterize the sharing rules that induce a class of stable coalition formation problems as those that satisfy a natural axiom that formalizes the principle of solidarity. Thus, solidarity becomes a sufficient condition to achieve stability.


title: A study on Non-Performing Assets Cases and Cryptocurrency in Japan

abstract: The economic bubble bursting resulted in a large number of non-performing loans in Japanese financial institutions, which weakened their functions and prevented them from extending credit for normal economic activities. However, cryptocurrency operations are thriving in Japan. In this way, this paper focuses on non-performing assets and cryptocurrencies. The goal is to use literature analysis methods to summarise the development process, types of issuance, mechanisms, evaluation models, application scenarios, and trends in how cryptocurrencies are supervised.


title: A strain-controlled magnetostrictive pseudo spin valve

abstract: Electric-field control of magnetism via inverse magnetostrictive effect is an efficient path towards improving energy-efficient storage and sensing devices based on giant magnetoresistance effect. In this letter, we report on lateral electric-field driven strain-mediated modulation of magnetic properties in Co$/$Cu$/$Py pseudo spin valve grown on ferroelectric PMN-PT substrate. We show a decrease of the giant magnetoresistance ratio of the pseudo spin valve with increasing electric field, which is attributed to the deviation of the Co layer magnetization from the initial direction due to strain-induced magnetoelastic anisotropy contribution. Additionally, we demonstrate that strain-induced magnetic anisotropy effectively shifts the switching field of the magnetostrictive Co layer, while keeping the switching field of the nearly zero-magnetostrictive Py layer unaffected due to its negligible magnetostriction constant. We argue that magnetostrictively optimized magnetic films in properly engineered multilayered structures can offer a path to enhancing the selective magnetic switching in spintronic devices.


title: Ambiguous Contracts

abstract: In this work we explore the deliberate infusion of ambiguity into the design of contracts. We show that when the agent is ambiguity-averse and chooses an action that maximizes their max-min utility, then the principal can strictly gain from using an ambiguous contract. We provide insights into the structure of optimal contracts, and establish that optimal ambiguous contracts are composed of simple contracts. We also provide a geometric characterization of ambiguity-proof classes of contracts. Finally, we show that when the agent considers mixed strategies, then there is no advantage in using an ambiguous contract.


title: Embodied Footprints: A Safety-guaranteed Collision Avoidance Model for Numerical Optimization-based Trajectory Planning

abstract: Optimization-based methods are commonly applied in autonomous driving trajectory planners, which transform the continuous-time trajectory planning problem into a finite nonlinear program with constraints imposed at finite collocation points. However, potential violations between adjacent collocation points can occur. To address this issue thoroughly, we propose a safety-guaranteed collision-avoidance model to mitigate collision risks within optimization-based trajectory planners. This model introduces an embodied footprint, an enlarged representation of the vehicle's nominal footprint. If the embodied footprints do not collide with obstacles at finite collocation points, then the ego vehicle's nominal footprint is guaranteed to be collision-free at any of the infinite moments between adjacent collocation points. According to our theoretical analysis, we define the geometric size of an embodied footprint as a simple function of vehicle velocity and curvature. Particularly, we propose a trajectory optimizer with the embodied footprints that can theoretically set an appropriate number of collocation points prior to the optimization process. We conduct this research to enhance the foundation of optimization-based planners in robotics. Comparative simulations and field tests validate the completeness, solution speed, and solution quality of our proposal.


title: Quantum key distribution with post-processing driven by physical unclonable functions

abstract: Quantum key-distribution protocols allow two honest distant parties to establish a common truly random secret key in the presence of powerful adversaries, provided that the two users share beforehand a short secret key. This pre-shared secret key is used mainly for authentication purposes in the post-processing of classical data that have been obtained during the quantum communication stage, and it prevents a man-in-the-middle attack. The necessity of a pre-shared key is usually considered as the main drawback of quantum key-distribution protocols, which becomes even stronger for large networks involving more that two users. Here we discuss the conditions under which physical unclonable function can be integrated in currently available quantum key-distribution systems, in order to facilitate the generation and the distribution of the necessary pre-shared key, with the smallest possible cost in the security of the systems. Moreover, the integration of physical unclonable functions in quantum key-distribution networks allows for real-time authentication of the devices that are connected to the network.


title: Frameworks for SNNs: a Review of Data Science-oriented Software and an Expansion of SpykeTorch

abstract: Developing effective learning systems for Machine Learning (ML) applications in the Neuromorphic (NM) field requires extensive experimentation and simulation. Software frameworks aid and ease this process by providing a set of ready-to-use tools that researchers can leverage. The recent interest in NM technology has seen the development of several new frameworks that do this, and that add up to the panorama of already existing libraries that belong to neuroscience fields. This work reviews 9 frameworks for the development of Spiking Neural Networks (SNNs) that are specifically oriented towards data science applications. We emphasize the availability of spiking neuron models and learning rules to more easily direct decisions on the most suitable frameworks to carry out different types of research. Furthermore, we present an extension to the SpykeTorch framework that gives users access to a much broader choice of neuron models to embed in SNNs and make the code publicly available.


title: Investigating galactic double white dwarfs for sub-milliHz gravitational wave mission ASTROD-GW

abstract: A large number of galactic binary systems emit gravitational waves (GW) continuously with frequencies below $\sim$10 mHz. The LISA mission could identify tens of thousands of binaries over years of observation and will be subject to the confusion noise around 1 mHz yielded by the unresolved sources. Beyond LISA, there are several missions have been proposed to observe GWs in the sub-mHz range where the galactic foreground is expected to be overwhelming the instrumental noises. In this study, we investigate the detectability of sub-mHz GW missions to detect the galactic double white dwarf (DWD) binaries and evaluate the confusion noise produced by the undistinguished DWDs. This confusion noise could also be viewed as a stochastic GW foreground and be effectively observed in the sub-mHz band. The parameter determinations for the modeled foreground are examined by employing different detector sensitivities and population models. By assuming the determined foregrounds could be subtracted from the data, we evaluate the residuals which are expected to have power spectral densities two orders of magnitude lower than the originals data.


title: Correction of 'J. Laderman, V. Pan, X. H. Sha, On practical Algorithms for Accelerated Matrix Multiplication, Linear Algebra and its Applications. Vol. 162-164 (1992) pp. 557-588'

abstract: In this article we corrected the trilinear formula for triple disjoint matrix multiplication given in the article 'J. Laderman, V. Pan, X. H. Sha, On practical Algorithms for Accelerated Matrix Multiplication, Linear Algebra and its Applications. Vol. 162-164 (1992) pp. 557-588', which is incorrect for matrix dimensions equal to two or greater. That formula is a base of two algorithms, for disjoint and single matrix multiplication. The necessary correction made the amount of non scalar products raise, slightly increasing the algorithm time complexity. We also corrected explicit formulas, in the bilinear form, for triple disjoint matrix multiplication. They are explicit, thus convenient for practical use of fast matrix multiplication algorithms in question.


title: LP-Duality Theory and the Cores of Games

abstract: LP-duality theory has played a central role in the study of the core, right from its early days to the present time. However, despite the extensive nature of this work, basic gaps still remain. We address these gaps using the following building blocks from LP-duality theory: 1. Total unimodularity (TUM). 2. Complementary slackness conditions and strict complementarity. Our exploration of TUM leads to defining new games, characterizing their cores and giving novel ways of using core imputations to enforce constraints that arise naturally in applications of these games. The latter include: 1. Efficient algorithms for finding min-max fair, max-min fair and equitable core imputations. 2. Encouraging diversity and avoiding over-representation in a generalization of the assignment game. Complementarity enables us to prove new properties of core imputations of the assignment game and its generalizations.


title: Incorporating Ion-Specific van der Waals and Soft Repulsive Interactions in the Poisson-Boltzmann Theory of Electrical Double Layers

abstract: Electrical double layers (EDLs) arise when an electrolyte is in contact with a charged surface, and are encountered in several application areas including batteries, supercapacitors, electrocatalytic reactors, and colloids. In the modeling of EDLs, a prominent knowledge gap has been the exclusion of van der Waals (vdW) and soft repulsive interactions in modified Poisson-Boltzmann (PB) theories. Although more short-ranged as compared to electrostatic interactions, we show here that vdW interactions can play an important role in determining the structure of the EDL via the formation of a Stern layer and in modulating the differential capacitance of an electrode in solution. To this end, we incorporate ion-ion and wall-ion vdW attraction and soft repulsion via a 12-6 Lennard-Jones (LJ) potential, resulting in a modified PB-LJ approach. The wall-ion LJ interactions were found to have a significant effect on the electrical potential and concentration profiles, especially close to the wall. However, ion-ion LJ interactions do not affect the EDL structure at low bulk ion concentrations (< 1 M). We also derive dimensionless numbers to quantify the impact of ion-ion and wall-ion LJ interactions on the EDL. Furthermore, in the pursuit of capturing ion-specific effects, we apply our model by considering various combinations of ions. We observe how varying parameters such as the electrolyte concentration and electrode potential affect the structure of the EDL due to the competition between ion-specific LJ and electrostatic interactions. Lastly, we show that the inclusion of vdW and soft repulsion interactions as well as hydration effects lead to a better qualitative agreement of the PB models with experimental double-layer differential capacitance data. Overall, the modified PB-LJ approach presented herein will lead to more accurate theoretical descriptions of EDLs in various application areas.


title: Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL

abstract: Formal verification of cyber-physical and robotic systems requires that we can accurately model physical quantities that exist in the real-world. The use of explicit units in such quantities can allow a higher degree of rigour, since we can ensure compatibility of quantities in calculations. At the same time, improper use of units can be a barrier to safety and therefore it is highly desirable to have automated sanity checking in physical calculations. In this paper, we contribute a mechanisation of the International System of Quantities (ISQ) and the associated SI unit system in Isabelle/HOL. We show how Isabelle can be used to provide a type system for physical quantities, and automated proof support. Quantities are parameterised by dimension types, which correspond to base vectors, and thus only quantities of the same dimension can be equated. Since the underlying "algebra of quantities" induces congruences on quantity and SI types, specific tactic support is developed to capture these. Our construction is validated by a test-set of known equivalences between both quantities and SI units. Moreover, the presented theory can be used for type-safe conversions between the SI system and others, like the British Imperial System (BIS).


title: Asymptotic Analysis for Optimal Control of the Cattaneo Model

abstract: We consider an optimal control problem with tracking-type cost functional constrained by the Cattaneo equation, which is a well-known model for delayed heat transfer. In particular, we are interested the asymptotic behaviour of the optimal control problems for a vanishing delay time $\tau \rightarrow 0$. First, we show the convergence of solutions of the Cattaneo equation to the ones of the heat equation. Assuming the same right-hand side and compatible initial conditions for the equations, we prove a linear convergence rate. Moreover, we show linear convergence of the optimal states and optimal controls for the Cattaneo equation towards the ones for the heat equation. We present numerical results for both, the forward and the optimal control problem confirming these linear convergence rates.


title: Path Integral Method for Pricing Proportional Step Double-Barrier Option with Time Dependent Parameters

abstract: Path integral method in quantum mechanics provides a new thinking for barrier option pricing. For proportional double-barrier step (PDBS) options, the option price changing process is analogous to a particle moving in a finite symmetric square potential well. We have derived the pricing kernel of PDBS options with time dependent interest rate and volatility. Numerical results of option price as a function of underlying asset price are shown as well. Path integral method can be easily generalized to the pricing of PDBS options with curved boundaries.


title: Generalized logarithmic sheaf on smooth projective surfaces

abstract: We define the notion of generalized logarithmic sheaves on a smooth projective surface, associated to a pair consisting of a reduced curve and some fixed points on it. We then set up the study of the Torelli property in this setting, focusing mostly in the case of the blow-up of the projective plane on a reduced set of points and, in particular, in the case of the cubic surface. We also study the stability property of generalized logarithmic sheaves as well as carrying out the description of their moduli spaces.


title: Stacking-Induced Symmetry-Protected Topological Phase Transitions

abstract: We study symmetry-protected topological (SPT) phase transitions induced by stacking two gapped one-dimensional subsystems in BDI symmetry class. The topological invariant of the entire system is a sum of three topological invariants: two from each subsystem and an emerging topological invariant from the stacking. We find that any symmetry-preserving stacking of topologically trivial subsystems can drive the entire system into a topologically nontrivial phase. We explain this intriguing SPT phase transitions by conditions set by orbital degrees of freedom and time-reversal symmetry. To exemplify the SPT transition, we provide a concrete model which consists of an atomic chain and a spinful nanowire with spin-orbit interaction and $s$-wave superconducting order. The stacking-induced SPT transition drives this heterostructure into a zero-field topological superconducting phase.


title: Density Structure of Centrally Concentrated Prestellar Cores from Multi-scale Observations

abstract: Starless cores represent the initial stage of evolution toward (proto)star formation, and a subset of them, known as prestellar cores, with high density (~ 10^6 cm^-3 or higher) and being centrally concentrated are expected to be embryos of (proto)stars. Determining the density profile of prestellar cores, therefore provides an important opportunity to gauge the initial conditions of star formation. In this work, we perform rigorous modeling to estimate the density profiles of three nearly spherical prestellar cores among a sample of five highly dense cores detected by our recent observations. We employed multi-scale observational data of the (sub)millimeter dust continuum emission including those obtained by SCUBA-2 on the JCMT with a resolution of ~5600 au and by multiple ALMA observations with a resolution as high as ~480 au. We are able to consistently reproduce the observed multi-scale dust continuum images of the cores with a simple prescribed density profile, which bears an inner region of flat density and a r^-2 profile toward the outer region. By utilizing the peak density and the size of the inner flat region as a proxy for the dynamical stage of the cores, we find that the three modeled cores are most likely unstable and prone to collapse. The sizes of the inner flat regions, as compact as ~500 au, signify them being the highly evolved prestellar cores rarely found to date.


title: Deep Learning Level-3 Electron Trigger for CLAS12

abstract: Fast, efficient and accurate triggers are a critical requirement for modern high-energy physics experiments given the increasingly large quantities of data that they produce. The CEBAF Large Acceptance Spectrometer (CLAS12) employs a highly efficient electron trigger to filter the amount of recorded data by requiring at least one electron in each event, at the cost of a low purity in electron identification. Machine learning algorithms are increasingly employed for classification tasks such as particle identification due to their high accuracy and fast processing times. In this article, we show how a convolutional neural network could be deployed as a Level 3 electron trigger at CLAS12. We demonstrate that the AI trigger would achieve a significant data reduction compared to the traditional trigger, whilst preserving a 99.5\% electron identification efficiency. The AI trigger purity as a function of increased luminosity is improved relative to the traditional trigger. As a consequence, this AI trigger can achieve a data recording reduction improvement of 0.33\% per nA when compared to the traditional trigger whilst maintaining an efficiency above 99.5\%. A reduction in data output also reduces storage costs and post-processing times, which in turn reduces the time to the publication of new physics measurements.


title: DP-BART for Privatized Text Rewriting under Local Differential Privacy

abstract: Privatized text rewriting with local differential privacy (LDP) is a recent approach that enables sharing of sensitive textual documents while formally guaranteeing privacy protection to individuals. However, existing systems face several issues, such as formal mathematical flaws, unrealistic privacy guarantees, privatization of only individual words, as well as a lack of transparency and reproducibility. In this paper, we propose a new system 'DP-BART' that largely outperforms existing LDP systems. Our approach uses a novel clipping method, iterative pruning, and further training of internal representations which drastically reduces the amount of noise required for DP guarantees. We run experiments on five textual datasets of varying sizes, rewriting them at different privacy guarantees and evaluating the rewritten texts on downstream text classification tasks. Finally, we thoroughly discuss the privatized text rewriting approach and its limitations, including the problem of the strict text adjacency constraint in the LDP paradigm that leads to the high noise requirement.


title: A Survey on Process Variants Meta-modelling Approaches

abstract: This paper introduces the concept of process variants in process-aware information systems (PAIS) during the design-time phase, where multiple variants of a single process must be specified. Today's organizations have to manage multiple variants of a given process, such as multiple order processes or payment processes for a specific product or service they offer. Traditional business process management tools lack in adequately capture and represent explicitly these variants. Hence, for more than a decade an array of approaches have been proposed to tackle this gap. A reference or customizable process model has been introduced to model these variants collections in a way that each variant could be derived by inserting/removing an activity according to a process context. This survey reviews current literature by providing an overview of meta-modelling approaches that have been extended in order to capture the variations of business processes. Moreover, we give a comparative analysis of these approaches based on different criteria we identified from the inventory activity, providing insights into their strengths and limitations. This paper concludes that current approaches to process variants meta-modelling provide a comprehensive view of the conceptual level of process variants and the control-flow process perspective. While some approaches go a step further by capturing variability in resources or specialization among activities/processes.


title: The Hoffman-Wielandt inequality for quaternion matrices and quaternion matrix polynomials

abstract: The purpose of this manuscript is to derive the Hoffman-Wielandt inequality and its most general form for quaternion matrices. Diagonalizabilty of the block companion matrix of certain quadratic (linear) quaternion matrix polynomials is brought out. As a consequence, we prove that if $Q(\lambda)$ is another quadratic (linear) quaternion matrix polynomial, then under certain conditions on the coefficients, a generalization of the Hoffman-Wielandt inequality for their corresponding block companion matrices holds. We also prove that if $P(\lambda)$ is a quaternion matrix polynomial with unitary coefficients, then any right eigenvalue $\lambda_0$ of $P(\lambda)$ lies in the annular region $\frac{1}{2} < |\lambda_0| < 2$.