title: Fact-Saboteurs: A Taxonomy of Evidence Manipulation Attacks against Fact-Verification Systems

abstract: Mis- and disinformation are a substantial global threat to our security and safety. To cope with the scale of online misinformation, researchers have been working on automating fact-checking by retrieving and verifying against relevant evidence. However, despite many advances, a comprehensive evaluation of the possible attack vectors against such systems is still lacking. Particularly, the automated fact-verification process might be vulnerable to the exact disinformation campaigns it is trying to combat. In this work, we assume an adversary that automatically tampers with the online evidence in order to disrupt the fact-checking model via camouflaging the relevant evidence or planting a misleading one. We first propose an exploratory taxonomy that spans these two targets and the different threat model dimensions. Guided by this, we design and propose several potential attack methods. We show that it is possible to subtly modify claim-salient snippets in the evidence and generate diverse and claim-aligned evidence. Thus, we highly degrade the fact-checking performance under many different permutations of the taxonomy's dimensions. The attacks are also robust against post-hoc modifications of the claim. Our analysis further hints at potential limitations in models' inference when faced with contradicting evidence. We emphasize that these attacks can have harmful implications on the inspectable and human-in-the-loop usage scenarios of such models, and we conclude by discussing challenges and directions for future defenses.


title: Tensor product approach to modelling epidemics on networks

abstract: To improve mathematical models of epidemics it is essential to move beyond the traditional assumption of homogeneous well--mixed population and involve more precise information on the network of contacts and transport links by which a stochastic process of the epidemics spreads. In general, the number of states of the network grows exponentially with its size, and a master equation description suffers from the curse of dimensionality. Almost all methods widely used in practice are versions of the stochastic simulation algorithm (SSA), which is notoriously known for its slow convergence. In this paper we numerically solve the chemical master equation for an SIR model on a general network using recently proposed tensor product algorithms. In numerical experiments we show that tensor product algorithms converge much faster than SSA and deliver more accurate results, which becomes particularly important for uncovering the probabilities of rare events, e.g. for number of infected people to exceed a (high) threshold.


title: On the Convergence of Randomized and Greedy Relaxation Schemes for Solving Nonsingular Linear Systems of Equations

abstract: We extend results known for the randomized Gauss-Seidel and the Gauss-Southwell methods for the case of a Hermitian and positive definite matrix to certain classes of non-Hermitian matrices. We obtain convergence results for a whole range of parameters describing the probabilities in the randomized method or the greedy choice strategy in the Gauss-Southwell-type methods. We identify those choices which make our convergence bounds best possible. Our main tool is to use weighted l1-norms to measure the residuals. A major result is that the best convergence bounds that we obtain for the expected values in the randomized algorithm are as good as the best for the deterministic, but more costly algorithms of Gauss-Southwell type. Numerical experiments illustrate the convergence of the method and the bounds obtained. Comparisons with the randomized Kaczmarz method are also presented.


title: Improved Sensor-Based Animal Behavior Classification Performance through Conditional Generative Adversarial Network

abstract: Many activity classifications segments data into fixed window size for feature extraction and classification. However, animal behaviors have various durations that do not match the predetermined window size. The dense labeling and dense prediction methods address this limitation by predicting labels for every point. Thus, by tracing the starting and ending points, we could know the time location and duration of all occurring activities. Still, the dense prediction could be noisy with misalignments problems. We modified the U-Net and Conditional Generative Adversarial Network (cGAN) with customized loss functions as a training strategy to reduce fragmentation and other misalignments. In cGAN, the discriminator and generator trained against each other like an adversarial competition. The generator produces dense predictions. The discriminator works as a high-level consistency check, in our case, pushing the generator to predict activities with reasonable duration. The model trained with cGAN shows better or comparable performance in the cow, pig, and UCI HAPT dataset. The cGAN-trained modified U-Net improved from 92.17% to 94.66% for the UCI HAPT dataset and from 90.85% to 93.18% for pig data compared to previous dense prediction work.


title: Representation Learning for Appliance Recognition: A Comparison to Classical Machine Learning

abstract: Non-intrusive load monitoring (NILM) aims at energy consumption and appliance state information retrieval from aggregated consumption measurements, with the help of signal processing and machine learning algorithms. Representation learning with deep neural networks is successfully applied to several related disciplines. The main advantage of representation learning lies in replacing an expert-driven, hand-crafted feature extraction with hierarchical learning from many representations in raw data format. In this paper, we show how the NILM processing-chain can be improved, reduced in complexity and alternatively designed with recent deep learning algorithms. On the basis of an event-based appliance recognition approach, we evaluate seven different classification models: a classical machine learning approach that is based on a hand-crafted feature extraction, three different deep neural network architectures for automated feature extraction on raw waveform data, as well as three baseline approaches for raw data processing. We evaluate all approaches on two large-scale energy consumption datasets with more than 50,000 events of 44 appliances. We show that with the use of deep learning, we are able to reach and surpass the performance of the state-of-the-art classical machine learning approach for appliance recognition with an F-Score of 0.75 and 0.86 compared to 0.69 and 0.87 of the classical approach.


title: Towards Responsible Medical Diagnostics Recommendation Systems

abstract: The early development and deployment of hospital and healthcare information systems have encouraged the ongoing digitization of processes in hospitals. Many of these processes, which previously required paperwork and telephone arrangements, are now integrated into IT solutions and require physicians and medical staff to interact with appropriate interfaces and tools. Although this shift to digital data management and process support has benefited patient care in many ways, it requires physicians to accurately capture all relevant information digitally for billing and documentation purposes, which takes a lot of time away from actual patient care work. However, systematic collection of healthcare data over a long period of time offers opportunities to improve this process and support medical staff by introducing recommender systems. Based on a practical working example, in this position paper, we will outline the design of a responsible recommender system in the medical context from a technical, application driven perspective and discuss potential design choices and criteria with a specific focus on accountability, safety, and fairness.


title: Too Fine or Too Coarse? The Goldilocks Composition of Data Complexity for Robust Left-Right Eye-Tracking Classifiers

abstract: The differences in distributional patterns between benchmark data and real-world data have been one of the main challenges of using electroencephalogram (EEG) signals for eye-tracking (ET) classification. Therefore, increasing the robustness of machine learning models in predicting eye-tracking positions from EEG data is integral for both research and consumer use. Previously, we compared the performance of classifiers trained solely on finer-grain data to those trained solely on coarse-grain. Results indicated that despite the overall improvement in robustness, the performance of the fine-grain trained models decreased, compared to coarse-grain trained models, when the testing and training set contained the same distributional patterns \cite{vectorbased}. This paper aims to address this case by training models using datasets of mixed data complexity to determine the ideal distribution of fine- and coarse-grain data. We train machine learning models utilizing a mixed dataset composed of both fine- and coarse-grain data and then compare the accuracies to models trained using solely fine- or coarse-grain data. For our purposes, finer-grain data refers to data collected using more complex methods whereas coarser-grain data refers to data collected using more simple methods. We apply covariate distributional shifts to test for the susceptibility of each training set. Our results indicated that the optimal training dataset for EEG-ET classification is not composed of solely fine- or coarse-grain data, but rather a mix of the two, leaning towards finer-grain.


title: Estimation of f-wave Dominant Frequency Using a Voting Scheme

abstract: Introduction: Atrial fibrillation (AF) is the most common heart arrhythmia, characterized by the presence of fibrillatory waves (f-waves) in the ECG. We introduce a voting scheme to estimate the dominant atrial frequency (DAF) of f-waves. Methods: We analysed a subset of Holter recordings obtained from the University of Virginia AF Database. 100 Holter recordings with manually annotated AF events, resulting in a total 363 AF events lasting more than 1 min. The f-waves were extracted using four different template subtraction (TS) algorithms and the DAF was estimated from the first 1-min window of each AF event. A random forest classifier was used. We hypothesized that better extraction of the f-wave meant better AF/non-AF classification using the DAF as the single input feature of the RF model. Results: Performance on the test set, expressed in terms of AF/non-AF classification, was the best when the DAF was computed computed the three best-performing extraction methods. Using these three algorithms in a voting scheme, the classifier obtained AUC=0.60 and the DAFs were mostly spread around 6 Hz, 5.66 (4.83-7.47). Conclusions: This study has two novel contributions: (1) a method for assessing the performance of f-wave extraction algorithms, and (2) a voting scheme for improved DAF estimation.


title: Multiple sums involving the terms of a general second order sequence of numbers

abstract: We evaluate the nested sum $\sum_{a_{n - 1} = c}^{a_n } {\sum_{a_{n - 2} = c}^{a_{n - 1} } { \cdots \sum_{a_0 = c}^{a_1 } {x^{a_0 } } } }$ where $a_n$ and $c$ are any integers and $x$ is a real or complex variable. Consequently, we evaluate multiple sums involving the terms of a general second order sequence, the Horadam sequence $(W_j(a,b;p,q))$, defined for all non-negative integers $j$ by the recurrence relation $W_0 = a,\,W_1 = b;\,W_j = pW_{j - 1} - qW_{j - 2}\, (j \ge 2)$; where $a$, $b$, $p$ and $q$ are arbitrary complex numbers, with $p\ne 0$, $q\ne 0$.


title: Deep Multi-Scale Representation Learning with Attention for Automatic Modulation Classification

abstract: Currently, deep learning methods with stacking small size convolutional filters are widely used for automatic modulation classification (AMC). In this report, we find some experienced improvements by using large kernel size for convolutional deep convolution neural network based AMC, which is more efficient in extracting multi-scale features of the raw signal I/Q sequence data. Also, Squeeze-and-Excitation (SE) mechanisms can significantly help AMC networks to focus on the more important features of the signal. As a result, we propose a multi-scale feature network with large kernel size and SE mechanism (SE-MSFN) in this paper. SE-MSFN achieves state-of-the-art classification performance on the public well-known RADIOML 2018.01A dataset, with average classification accuracy of 64.50%, surpassing CLDNN by 1.42%, maximum classification accuracy of 98.5%, and an average classification accuracy of 85.53% in the lower SNR range 0dB to 10dB, surpassing CLDNN by 2.85%. In addition, we also verified that ensemble learning can help further improve classification performance. We hope this report can provide some references for developers and researchers in practical scenes.


title: Self-Supervised Multimodal Fusion Transformer for Passive Activity Recognition

abstract: The pervasiveness of Wi-Fi signals provides significant opportunities for human sensing and activity recognition in fields such as healthcare. The sensors most commonly used for passive Wi-Fi sensing are based on passive Wi-Fi radar (PWR) and channel state information (CSI) data, however current systems do not effectively exploit the information acquired through multiple sensors to recognise the different activities. In this paper, we explore new properties of the Transformer architecture for multimodal sensor fusion. We study different signal processing techniques to extract multiple image-based features from PWR and CSI data such as spectrograms, scalograms and Markov transition field (MTF). We first propose the Fusion Transformer, an attention-based model for multimodal and multi-sensor fusion. Experimental results show that our Fusion Transformer approach can achieve competitive results compared to a ResNet architecture but with much fewer resources. To further improve our model, we propose a simple and effective framework for multimodal and multi-sensor self-supervised learning (SSL). The self-supervised Fusion Transformer outperforms the baselines, achieving a F1-score of 95.9%. Finally, we show how this approach significantly outperforms the others when trained with as little as 1% (2 minutes) of labelled training data to 20% (40 minutes) of labelled training data.


title: Respiratory Aware Routing for Active Commuters

abstract: Cyclists travelling in urban areas are particularly at risk of harm from particulate emissions due to their increased breathing rate and proximity to vehicles. In this paper we combine human respiratory models with models of particulate inhalation to estimate the pollution risk an individual is experiencing in real time given the local pollution level and their heart rate for the first time. Using this model as a baseline, we learn a policy that simultaneously optimises the route for a large number of cyclists with diverse origins and destinations, to minimise overall pollution risk and account for the detrimental impacts of congestion. We learn this policy using reinforcement learning techniques on simulated data in different environments with varying distributions of cyclist fitness. These findings establish that individualised routing is effective in reducing pollution risk while cycling, improving the net benefits of active commuting.


title: Initial-boundary value problems for coupled systems of time-fractional diffusion equations

abstract: This article deals with the initial-boundary value problem for a moderately coupled system of time-fractional diffusion equations. Defining the mild solution, we establish fundamental unique existence, limited smoothing property and long-time asymptotic behavior of the solution, which mostly inherit those of a single equation. Owing to the coupling effect, we also obtain the uniqueness for an inverse problem on determining all the fractional orders by the single point observation of a single component of the solution.


title: Sensitivity of steady states in networks with application to Markov chains and chemical reaction networks

abstract: We consider steady states of dynamics that have an underlying network structure. We study how a steady state responds to small perturbations in the network parameters and how this sensitivity is connected to the network structure. We introduce a prototypical linear response equation and determine its sensitivity. This abstract result is applied to study the sensitivity of steady states in two common dynamics on networks: continuous-time Markov chains and deterministically modelled chemical reaction networks. For continuous-time Markov chains, we are able to efficiently compute the signs of the response in terms of the underlying network structure. The study of chemical reaction networks extends the sensitivity analysis to open systems with more complex network structures.


title: The nonlinear Klein-Gordon equation on metric graphs: Modeling reflectionless transmission of the kink soliton

abstract: In this paper we consider the nonlinear Klein-Gordon equation on the metric star graph with tree semi-infinite bonds. At the branched point we put two types of vertex boundary conditions: the weight continuity and the condition for derivatives of wave functions as the generalized Kirchhoff rule. We solve this equation satisfying vertex boundary conditions and the energy, momentum conservation laws. We also show reflectionsless propagations of the kink soliton solution, plot the reflection coefficient and extend to other topologies.


title: Quantum automorphism groups of connected locally finite graphs and quantizations of discrete groups

abstract: We construct for every connected locally finite graph $\Pi$ the quantum automorphism group $\text{QAut}\ \Pi$ as a locally compact quantum group. When $\Pi$ is vertex transitive, we associate to $\Pi$ a new unitary tensor category $\mathcal{C}(\Pi)$ and this is our main tool to construct the Haar functionals on $\text{QAut}\ \Pi$. When $\Pi$ is the Cayley graph of a finitely generated group, this unitary tensor category is the representation category of a compact quantum group whose discrete dual can be viewed as a canonical quantization of the underlying discrete group. We introduce several equivalent definitions of quantum isomorphism of connected locally finite graphs $\Pi$, $\Pi'$ and prove that this implies monoidal equivalence of $\text{QAut}\ \Pi$ and $\text{QAut}\ \Pi'$.


title: Stochastic gradient descent with gradient estimator for categorical features

abstract: Categorical data are present in key areas such as health or supply chain, and this data require specific treatment. In order to apply recent machine learning models on such data, encoding is needed. In order to build interpretable models, one-hot encoding is still a very good solution, but such encoding creates sparse data. Gradient estimators are not suited for sparse data: the gradient is mainly considered as zero while it simply does not always exists, thus a novel gradient estimator is introduced. We show what this estimator minimizes in theory and show its efficiency on different datasets with multiple model architectures. This new estimator performs better than common estimators under similar settings. A real world retail dataset is also released after anonymization. Overall, the aim of this paper is to thoroughly consider categorical data and adapt models and optimizers to these key features.


title: Large-rapidity ridge correlations from Color Glass Condensate

abstract: Within the Color Glass Condensate (CGC) effective field theory, considering the violation of boost invariance of the rapidity distribution, we correct the normalization scheme of the longitudinal rapidity ridge correlations. After this correction, the large-rapidity ridge correlation rebounds after bottoming, consistent with the observed data from the CMS detector. It is also found that the correlation rebound appears around the sum of the saturation momentum of the projectile and target, and moves to larger rapidities at higher collision energies. These features directly result from the saturation and the quantum evolution of gluons within the framework of the CGC.


title: A model for planar compacta and rational Julia sets

abstract: A Peano compactum is a compact metric space with locally connected components such that at most finitely many of them are of diameter greater than any fixed number C>0. Given a compactum K in the extended complex plane. It is known that there is a finest upper semi-continuous decomposition of K into subcontinua such that the resulting quotient space is a Peano compactum. We call this decomposition the core decomposition of K with Peano quotient and its elements atoms of K. For any atom d of K and any finite-to-one open map f of the plane onto itself, we show that the preimage of d under f has finitely many components each of which is also an atom of the preimage of K under f. Since all rational functions are finite-to-one open maps, our result extends earlier ones that are restricted to more limited cases, requiring that f be a polynomial and K completely invariant under f. We also determine the atoms for typical planar continua. In particular, we show that every quadratic Julia set J that contains a Cremer fixed point has a unique atom, the whole Julia set J.


title: Noncommutative gauge and gravity theories and geometric Seiberg-Witten map

abstract: We give a pedagogical account of noncommutative gauge and gravity theories, where the exterior product between forms is deformed into a $\star$-product via an abelian twist (e.g. the Groenewold-Moyal twist). The Seiberg-Witten map between commutative and noncommutative gauge theories is introduced. It allows to express the action of noncommutative Einstein gravity coupled to spinor fields in terms of the usual commutative action with commutative fields plus extra interaction terms dependent on the noncommutativity parameter.


title: On a dart game of Niedermaier

abstract: We analyze a game introduced by Andy Niedermaier, where $p$ players take turns throwing a dart at a dartboard. A player is eliminated unless his dart lands closer to the center than all previously thrown darts, in which case he goes to the back of the line, until only one player remains. Using generating functions, we determine the distribution of the number of throws in the game, and we obtain a recursive formula to compute the probability that each player wins.


title: Interaction at a Distance: Xenon Migration in Mb

abstract: The transport of ligands, such as NO or O$_2$, through internal cavities is essential for the function of globular proteins, including hemoglobin, myoglobin (Mb), neuroglobin, truncated hemoglobins, or cytoglobin. For Mb, several internal cavities (Xe1 through Xe4) were observed experimentally through X-ray crystallography experiments. At a functional level, they were linked to ligand storage and internal ligand diffusion. Barriers for ligand diffusion and relative stabilization energies for the ligand in the initial and final pocket linking a transition may differ depending on the occupation state of the remaining pockets. This is considered in the present work from biased (umbrella sampling) and unbiased molecular dynamics simulations. It is found that the energetics of a particular ligand migration pathway may depend on the direction in which the transition is followed (forward or reverse) and the occupation state of other cavities. Furthermore, the barrier for a particular transition can depend in a non-additive fashion on the occupation of either cavity A or B or simultaneous occupation of both cavities, A and B. Multiple repeats for the Xe1$\rightarrow$Xe2 transition reveals that the activation barrier is a distribution of barrier heights rather than one single value which is confirmed by a distribution of transition times for the same transition from unbiased simulations. Dynamic cross correlation maps for this transition demonstrate that correlated motions occur between adjacent residues or through space. Residue Phe138 is characterized as a gate between Xe1 and Xe2 for the Xe1$\rightarrow$Xe2 transition. It is also found that the volumes of the internal cavities vary along the diffusion pathway which points towards dynamic communication between the ligand and the protein. The findings are discussed in the context of protein allostery.


title: Joint Optimization of STAR-RIS Assisted UAV Communication Systems

abstract: In this letter, we study the simultaneously transmitting and reflecting reconfigurable intelligent surface (STAR-RIS) assisted unmanned aerial vehicle (UAV) communications. Our goal is to maximize the sum rate of all users by jointly optimizing the STAR-RIS's beamforming vectors, the UAV's trajectory and power allocation. We decompose the formulated non-convex problem into three subproblems and solve them alternately to obtain the solution. Simulations show that: 1) the STAR-RIS achieves a higher sum rate than traditional RIS; 2) to exploit the benefits of STAR-RIS, the UAV's trajectory is closer to STAR-RIS than that of RIS; 3) the energy splitting for reflection and transmission highly depends on the real-time trajectory of UAV.


title: Exciton transport in a moir\'e potential: from hopping to dispersive regime

abstract: The propagation of excitons in TMD monolayers has been intensively studied revealing interesting many-particle effects, such as halo formation and non-classical diffusion. Initial studies have investigated how exciton transport changes in twisted TMD bilayers, including Coulomb repulsion and Hubbard-like exciton hopping. In this work, we investigate the twist-angle-dependent transition of the hopping regime to the dispersive regime of effectively free excitons. Based on a microscopic approach for excitons in the presence of a moir\'e potential, we show that the hopping regime occurs up to an angle of approximately 2{\deg} and is well described by the Hubbard model. At large angles, however, the Hubbard model fails due to increasingly delocalized exciton states. Here, the quantum mechanical dispersion of free particles with an effective mass determines the propagation of excitons. Overall, our work provides microscopic insights into the character of exciton propagation in twisted van der Waals heterostructures.


title: Ultrafast phonon-driven charge transfer in van der Waals heterostructures

abstract: Van der Waals heterostructures built by vertically stacked transition metal dichalcogenides (TMDs) exhibit a rich energy landscape including interlayer and intervalley excitons. Recent experiments demonstrated an ultrafast charge transfer in TMD heterostructures. However, the nature of the charge transfer process has remained elusive. Based on a microscopic and material-realistic exciton theory, we reveal that phonon-mediated scattering via strongly hybridized intervalley excitons governs the charge transfer process that occurs on a sub-100fs timescale. We track the time-, momentum-, and energy-resolved relaxation dynamics of optically excited excitons and determine the temperature- and stacking-dependent charge transfer time for different TMD bilayers. The provided insights present a major step in microscopic understanding of the technologically important charge transfer process in van der Waals heterostructures.


title: Full time-dependent counting statistics of highly entangled biphoton states

abstract: Highly entangled biphoton states, generated by spontaneous parametric processes, find wide applications in many experimental realizations. There is an increasing demand for accurate prediction of their time-dependent detection. Unlike approaches that have emerged so far, this paper presents an approach providing full time-dependent counting statistics in terms of efficiently computable formulas, valid for a wide range of entanglement and arbitrary interaction times. General spatial modes are taken into account to describe free space and fiber propagation. The time intervals that correspond to the statistics are classified according to their widths. Apart from large and small widths compared to the temporal correlation width, intermediate interval widths give access to accidental correlations between separated time intervals. Moreover, the approach is easily applicable to a modular array of arbitrary optical components and external influences. This is demonstrated on phase-time coding, where the detuning of the interferometers affecting Franson interference is investigated. An acceptable range for the detuning is estimated, such that the security of the key is not compromised.


title: Replica symmetry breaking in random lasers: experimental measurement of the overlap distribution

abstract: In this chapter we report on the measurements of the overlap distribution of the replica symmetry breaking solution in complex disordered systems. After a general introduction to the problem of the experimental validation of the Parisi order parameter, we focus on the systems where the measurement has been possible for the first time: random lasers. Starting from first principles of light-matter interaction we sketch the main steps leading to the construction of the statistical mechanical model for the dynamics of light modes in a random laser, a spherical multi-p-spin model with complex spins. A new overlap is introduced, the intensity fluctuation overlap, whose probability distribution, under specific assumptions, is equivalent to the Parisi overlap distribution. The experimental protocol for measuring this overlap is based on the possibility of experimentally realizing real replicas. After a description of the first experiment on the random laser made of T5CO$_x$ grains we review and discuss various experiments measuring the overlap distribution, as well as the possible connection with Levy-like distribution of the intensity of the light modes around the laser threshold, the connection with turbulence in fiber lasers and the role of spatial etherogeneities of light modes in random media.


title: Topological phenomena in honeycomb Floquet metamaterials

abstract: We dedicate this paper to the topological analysis of subwavelength solutions in Floquet metamaterials. This work should be considered as a basis for further investigation on whether topological properties of the bulk materials are linked to the occurrence of edge modes. The subwavelength solutions being described by a periodically parameterized time-periodic linear ordinary differential equation $\left\{\frac{d}{dt}X = A_\alpha(t)X\right\}_{\alpha \in \mathbb{T}^d}$, we put ourselves in the general setting of periodically parameterized time-periodic linear ordinary differential equations and introduce a way to (topologically) classify a Floquet normal form $F,~P$ of the associated fundamental solution $\left\{X_\alpha(t) = P(\alpha,t)\exp(tF_\alpha)\right\}_{\alpha \in \mathbb{T}^d}$. This is achieved by analysing the topological properties of the eigenvalues and eigenvectors of the monodromy matrix $X_\alpha(T)$ and the Lyapunov transformation $P(\alpha,t)$. The corresponding topological invariants can then be applied to the setting of Floquet metamaterials. In this paper these general results are considered in the case of honeycomb Floquet metamaterials. We provide two interesting examples of topologically non-trivial time-modulated honeycomb structures.


title: On symplectic birational self-maps of projective hyperk\"{a}hler manifolds of K3$^{[n]}$-type

abstract: We prove that projective hyperk\"{a}hler manifolds of K3$^{[n]}$-type admitting a non-trivial symplectic birational self-map of finite order are isomorphic to moduli spaces of stable (twisted) coherent sheaves on K3 surfaces. Motivated by this result, we analyze the reflections on the movable cone of moduli spaces of sheaves and determine when they come from a birational involution.


title: Group velocity of obliquely propagating Alfv\'en waves in a magnetized dusty plasma

abstract: In this work we investigate the characteristics of the group velocity of obliquely propagating Alfv\'en waves in a dusty plasma typical of a stellar wind. The dispersion relation is derived with the aid of the kinetic theory for a magnetized dusty plasma consisting of electrons and ions, with distribution of momenta described by a Maxwellian function. The dust particles are considered to be immobile and have all the same size; they are electrically charged by absorption of plasma particles via inelastic collisions and by photoionization. We numerically solve the dispersion relation and calculate the components of group velocity (along and transverse to the magnetic field) for the normal modes, namely the compressional and shear Alfv\'en waves (CAW and SAW). The results show that the direction of the group velocity of CAWs is greatly modified with the wave-vector direction. On the other hand, SAWs will present group velocity propagating practically along the magnetic field. The changes in dust parameters, such as number density and equilibrium electrical charge, may significantly change the waves' characteristics. It is seen that for sufficiently high dust to ion number density ratio, the SAWs may present perpendicular group velocity propagating in opposite direction to the perpendicular phase velocity, in a small interval of wavenumber values; we also notice that this interval may change, or even vanish, when the flux of radiation incident on the dust is altered, changing the equilibrium electrical charge of the grains.


title: A Novel Semi-supervised Meta Learning Method for Subject-transfer Brain-computer Interface

abstract: Brain-computer interface (BCI) provides a direct communication pathway between human brain and external devices. Before a new subject could use BCI, a calibration procedure is usually required. Because the inter- and intra-subject variances are so large that the models trained by the existing subjects perform poorly on new subjects. Therefore, effective subject-transfer and calibration method is essential. In this paper, we propose a semi-supervised meta learning (SSML) method for subject-transfer learning in BCIs. The proposed SSML learns a meta model with the existing subjects first, then fine-tunes the model in a semi-supervised learning manner, i.e. using few labeled and many unlabeled samples of target subject for calibration. It is significant for BCI applications where the labeled data are scarce or expensive while unlabeled data are readily available. To verify the SSML method, three different BCI paradigms are tested: 1) event-related potential detection; 2) emotion recognition; and 3) sleep staging. The SSML achieved significant improvements of over 15% on the first two paradigms and 4.9% on the third. The experimental results demonstrated the effectiveness and potential of the SSML method in BCI applications.


abstract: The natural matroid of an integer polymatroid was introduced to show that a simple construction of integer polymatroids from matroids yields all integer polymatroids. As we illustrate, the natural matroid can shed much more light on integer polymatroids. We focus on characterizations of integer polymatroids using their bases, their circuits, and their cyclic flats along with the rank of each cyclic flat and each element; we offer some new characterizations and insights into known characterizations.


title: Goodness of Pronunciation Pipelines for OOV Problem

abstract: In the following report we propose pipelines for Goodness of Pronunciation (GoP) computation solving OOV problem at testing time using Vocab/Lexicon expansion techniques. The pipeline uses different components of ASR system to quantify accent and automatically evaluate them as scores. We use the posteriors of an ASR model trained on native English speech, along with the phone level boundaries to obtain phone level pronunciation scores. We used this as a baseline pipeline and implemented methods to remove UNK and SPN phonemes in the GoP output by building three pipelines. The Online, Offline and Hybrid pipeline which returns the scores but also can prevent unknown words in the final output. The Online method is based per utterance, Offline method pre-incorporates a set of OOV words for a given data set and the Hybrid method combines the above two ideas to expand the lexicon as well work per utterance. We further provide utilities such as the Phoneme to posterior mappings, GoP scores of each utterance as a vector, and Word boundaries used in the GoP pipeline for use in future research.


title: Quantum Sparse Coding

abstract: The ultimate goal of any sparse coding method is to accurately recover from a few noisy linear measurements, an unknown sparse vector. Unfortunately, this estimation problem is NP-hard in general, and it is therefore always approached with an approximation method, such as lasso or orthogonal matching pursuit, thus trading off accuracy for less computational complexity. In this paper, we develop a quantum-inspired algorithm for sparse coding, with the premise that the emergence of quantum computers and Ising machines can potentially lead to more accurate estimations compared to classical approximation methods. To this end, we formulate the most general sparse coding problem as a quadratic unconstrained binary optimization (QUBO) task, which can be efficiently minimized using quantum technology. To derive at a QUBO model that is also efficient in terms of the number of spins (space complexity), we separate our analysis into three different scenarios. These are defined by the number of bits required to express the underlying sparse vector: binary, 2-bit, and a general fixed-point representation. We conduct numerical experiments with simulated data on LightSolver's quantum-inspired digital platform to verify the correctness of our QUBO formulation and to demonstrate its advantage over baseline methods.


title: Impact of dataset size and long-term ECoG-based BCI usage on deep learning decoders performance

abstract: In brain-computer interfaces (BCI) research, recording data is time-consuming and expensive, which limits access to big datasets. This may influence the BCI system performance as machine learning methods depend strongly on the training dataset size. Important questions arise: taking into account neuronal signal characteristics (e.g., non-stationarity), can we achieve higher decoding performance with more data to train decoders? What is the perspective for further improvement with time in the case of long-term BCI studies? In this study, we investigated the impact of long-term recordings on motor imagery decoding from two main perspectives: model requirements regarding dataset size and potential for patient adaptation. We evaluated the multilinear model and two deep learning (DL) models on a long-term BCI and Tetraplegia NCT02550522 clinical trial dataset containing 43 sessions of ECoG recordings performed with a tetraplegic patient. In the experiment, a participant executed 3D virtual hand translation using motor imagery patterns. We designed multiple computational experiments in which training datasets were increased or translated to investigate the relationship between models' performance and different factors influencing recordings. Our analysis showed that adding more data to the training dataset may not instantly increase performance for datasets already containing 40 minutes of the signal. DL decoders showed similar requirements regarding the dataset size compared to the multilinear model while demonstrating higher decoding performance. Moreover, high decoding performance was obtained with relatively small datasets recorded later in the experiment, suggesting motor imagery patterns improvement and patient adaptation. Finally, we proposed UMAP embeddings and local intrinsic dimensionality as a way to visualize the data and potentially evaluate data quality.


title: Constraints on Compact Binary Formation and Effective Gravitational Wave Likelihood Approximation

abstract: Since the initial discovery of gravitational-waves from merging black holes, the LIGO Scientific Collaboration together with Virgo and KAGRA have published 90 gravitational-wave observations of compact binary mergers in the Gravitational-Wave Transient Catalog papers. In this work, we carry out an investigation of isolated binary evolution formation channel, comparing predictions of the gravitational-wave population from the StarTrack synthetic universe simulations to the observed population. We construct, apply, and provide parametric and non-parametric models for the likelihood function of the full set of astrophysical parameters of each event in the Gravitational-Wave Transient Catalogs, including truncated multivariate normal distributions normalized on a bounded interval, demonstrated in our prior work. We present our findings for the formation parameters for the isolated binary evolution formation channel for compact objects. Our preliminary results demonstrate the benefits of a multi-dimensional analysis which is sensitive to the interdependence of the predicted detection population on many formation parameters. Our essential contribution is therefore a method for carrying out such an analysis efficiently. We discuss potential sources of bias as we also present the properties of our best binary evolution models, which are consistent with unrestricted stellar mass loss due to winds, high mass and angular momentum loss to ejected portions of a common envelope, and substantial black hole supernova recoil kicks. We conclude with a discussion of the impact of these activities for gravitational-wave and multi-messenger astronomy.


title: Applying Transformer-based Text Summarization for Keyphrase Generation

abstract: Keyphrases are crucial for searching and systematizing scholarly documents. Most current methods for keyphrase extraction are aimed at the extraction of the most significant words in the text. But in practice, the list of keyphrases often includes words that do not appear in the text explicitly. In this case, the list of keyphrases represents an abstractive summary of the source text. In this paper, we experiment with popular transformer-based models for abstractive text summarization using four benchmark datasets for keyphrase extraction. We compare the results obtained with the results of common unsupervised and supervised methods for keyphrase extraction. Our evaluation shows that summarization models are quite effective in generating keyphrases in the terms of the full-match F1-score and BERTScore. However, they produce a lot of words that are absent in the author's list of keyphrases, which makes summarization models ineffective in terms of ROUGE-1. We also investigate several ordering strategies to concatenate target keyphrases. The results showed that the choice of strategy affects the performance of keyphrase generation.


title: Cepheid Metallicity in the Leavitt Law (C- MetaLL) survey: II.High-resolution spectroscopy of the most metal poor Galactic Cepheids

abstract: Classical Cepheids (DCEPs) are the first fundamental step in the calibration of the cosmological distance ladder. Furthermore, they represent powerful tracers in the context of Galactic studies. We have collected high-resolution spectroscopy with UVES@VLT for a sample of 65 DCEPs. The majority of them are the faintest DCEPs ever observed in the Milky Way. For each target, we derived accurate atmospheric parameters, radial velocities, and abundances for 24 different species. The resulting iron abundances range between +0.3 and $-$1.1 dex with the bulk of stars at [Fe/H]$\sim-0.5$ dex. Our sample includes the most metal-poor DCEPs observed so far with high-resolution spectroscopy. We complement our sample with literature data obtaining a complete sample of 637 DCEPs and use Gaia Early Data Release 3 (EDR3) photometry to determine the distance of the DCEPs from the Period-Wesenheit-Metallicity relation. Our more external data trace the Outer arm (at Galactocentric radius ($R_{GC})\sim$16--18 kpc) which appears significantly warped. We investigate the metallicity gradient of the Galactic disc using this large sample, finding a slope of $-0.060 \pm 0.002$ dex kpc$^{-1}$, in very good agreement with previous results based both on DCEPs and open clusters. We also report a possible break in the gradient at $R_{GC}$=9.25 kpc with slopes of $-0.063 \pm 0.007$ and $-0.079 \pm 0.003$ dex kpc$^{-1}$ for the inner and outer sample, respectively. The two slopes differ by more than 1 $\sigma$. A more homogeneous and extended DCEPs sample is needed to further test the plausibility of such a break.


title: Lightweight Long-Range Generative Adversarial Networks

abstract: In this paper, we introduce novel lightweight generative adversarial networks, which can effectively capture long-range dependencies in the image generation process, and produce high-quality results with a much simpler architecture. To achieve this, we first introduce a long-range module, allowing the network to dynamically adjust the number of focused sampling pixels and to also augment sampling locations. Thus, it can break the limitation of the fixed geometric structure of the convolution operator, and capture long-range dependencies in both spatial and channel-wise directions. Also, the proposed long-range module can highlight negative relations between pixels, working as a regularization to stabilize training. Furthermore, we propose a new generation strategy through which we introduce metadata into the image generation process to provide basic information about target images, which can stabilize and speed up the training process. Our novel long-range module only introduces few additional parameters and is easily inserted into existing models to capture long-range dependencies. Extensive experiments demonstrate the competitive performance of our method with a lightweight architecture.


title: Snowmass Topical Group Summary Report: IF04 -- Trigger and Data Acquisition Systems

abstract: A trend for future high energy physics experiments is an increase in the data bandwidth produced from the detectors. Datasets of the Petabyte scale have already become the norm, and the requirements of future experiments -- greater in size, exposure, and complexity -- will further push the limits of data acquisition technologies to data rates of exabytes per seconds. The challenge for these future data-intensive physics facilities lies in the reduction of the flow of data through a combination of sophisticated event selection in the form of high-performance triggers and improved data representation through compression and calculation of high-level quantities. These tasks must be performed with low-latency (i.e. in real-time) and often in extreme environments including high radiation, high magnetic fields, and cryogenic temperatures.


title: A geometrically intrinsic Lagrangian-Eulerian scheme for 2D Shallow Water Equations with variable topography and discontinuous data

abstract: We present a Lagrangian-Eulerian scheme to solve the shallow water equations in the case of spatially variable bottom geometry. Using a local curvilinear reference system anchored on the bottom surface, we develop an effective first-order and high-resolution space-time discretization of the no-flow surfaces and solve a Lagrangian initial value problem that describes the evolution of the balance laws governing the geometrically intrinsic shallow water equations. The evolved solution set is then projected back to the original surface grid to complete the proposed Lagrangian-Eulerian formulation. The resulting scheme maintains monotonicity and captures shocks without providing excessive numerical dissipation also in the presence of non-autonomous fluxes such as those arising from the geometrically intrinsic shallow water equation on variable topographies. We provide a representative set of numerical examples to illustrate the accuracy and robustness of the proposed Lagrangian-Eulerian formulation for two-dimensional surfaces with general curvatures and discontinuous initial conditions.


title: Accelerating the variational quantum eigensolver using parallelism

abstract: Quantum computers are getting larger and larger, but device fidelities may not be able to keep up with the increase in qubit numbers. One way to make use of a large device that has a limited gate depth is to run many small circuits simultaneously. In this paper we detail our investigations into running circuits in parallel on the Rigetti Aspen-M-1 device. We run two-qubit circuits in parallel to solve a simple instance of the Hubbard model using the variational quantum eigensolver. We present results for running up to 33 circuits in parallel (66 qubits), showing that with the use of error mitigation techniques it is possible to make use of, and gain a real-time speedup from, parallelisation on current quantum hardware. We obtain a speedup by $18\times$ for exploring the VQE energy landscape, and by more than $8\times$ for running VQE optimisation.


title: The excluded minors for three classes of 2-polymatroids having special types of natural matroids

abstract: If $\mathcal{C}$ is a minor-closed class of matroids, the class $\mathcal{C}'$ of integer polymatroids whose natural matroids are in $\mathcal{C}$ is also minor closed, as is the class $\mathcal{C}'_k$ of $k$-polymatroids in $\mathcal{C}'$. We find the excluded minors for $\mathcal{C}'_2$ when $\mathcal{C}$ is (i) the class of binary matroids, (ii) the class of matroids with no $M(K_4)$-minor, and, combining those, (iii) the class of matroids whose connected components are cycle matroids of series-parallel networks. In each case the class $\mathcal{C}$ has finitely many excluded minors, but that is true of $\mathcal{C}'_2$ only in case (ii). We also introduce the $k$-natural matroid, a variant of the natural matroid for a $k$-polymatroid, and use it to prove that these classes of 2-polymatroids are closed under 2-duality.


title: ReX: A Framework for Incorporating Temporal Information in Model-Agnostic Local Explanation Techniques

abstract: Neural network models that can handle inputs of variable lengths are powerful, but often hard to interpret. The lack of transparency hinders their adoption in many domains. Explanation techniques are essential for improving transparency. However, existing model-agnostic general explanation techniques do not consider the variable lengths of input data points, which limits their effectiveness. To address this limitation, we propose ReX, a general framework for adapting various explanation techniques to models that process variable-length inputs, expanding explanation coverage to data points of different lengths. Our approach adds temporal information to the explanations generated by existing techniques without altering their core algorithms. We instantiate our approach on two popular explanation techniques: LIME and Anchors. To evaluate the effectiveness of ReX, we apply our approach to three models in two different tasks. Our evaluation results demonstrate that our approach significantly improves the fidelity and understandability of explanations.


title: Can the Production Cross-Section Uncertainties Explain the Cosmic Fluorine Anomaly?

abstract: The stable secondary-to-primary flux ratios of cosmic rays (CRs), represented by the boron-to-carbon ratio (B/C), are the main probes of the Galactic CR propagation. However, the fluorine-to-silicon ratio (F/Si) predicted by the CR diffusion coefficient inferred from B/C is significantly higher than the latest measurement of AMS-02. This anomaly is commonly attributed to the uncertainties of the F production cross sections. In this work, we give a careful test to this interpretation. We consider four different cross-section parametric models. Each model is constrained by the latest cross-section data. We perform combined fits to the B/C, F/Si, and cross-section data with the same propagation framework. Two of the cross-section models have good overall goodness of fit with $\chi^2/n_{d.o.f.}\sim1$. However, the goodness of fit of the cross-section part is poor with $\chi^2_{\rm{cs}}/n_{\rm{cs}}\gtrsim2$ for these models. The best-fitted F production cross sections are systematically larger than the measurements, while the fitted cross sections for B production are systematically lower than the measurements. This indicates that the F anomaly can hardly be interpreted by neither the random errors of the cross-section measurements nor the differences between the existing cross-section models. We then propose that the spatially dependent diffusion model could help to explain B/C and F/Si consistently. In this model, the average diffusion coefficient of the Ne-Si group is expected to be larger than that of the C-O group.


title: Double Q-Learning for Citizen Relocation During Natural Hazards

abstract: Natural disasters can cause substantial negative socio-economic impacts around the world, due to mortality, relocation, rates, and reconstruction decisions. Robotics has been successfully applied to identify and rescue victims during the occurrence of a natural hazard. However, little effort has been taken to deploy solutions where an autonomous robot can save the life of a citizen by itself relocating it, without the need to wait for a rescue team composed of humans. Reinforcement learning approaches can be used to deploy such a solution, however, one of the most famous algorithms to deploy it, the Q-learning, suffers from biased results generated when performing its learning routines. In this research a solution for citizen relocation based on Partially Observable Markov Decision Processes is adopted, where the capability of the Double Q-learning in relocating citizens during a natural hazard is evaluated under a proposed hazard simulation engine based on a grid world. The performance of the solution was measured as a success rate of a citizen relocation procedure, where the results show that the technique portrays a performance above 100% for easy scenarios and near 50% for hard ones.


title: Infinite-Dimensional Stochastic Transforms and Reproducing Kernel Hilbert space

abstract: By way of concrete presentations, we construct two infinite-dimensional transforms at the crossroads of Gaussian fields and reproducing kernel Hilbert spaces (RKHS), thus leading to a new infinite-dimensional Fourier transform in a general setting of Gaussian processes. Our results serve to unify existing tools from infinite-dimensional analysis.


title: Timelike Ricci bounds for low regularity spacetimes by optimal transport

abstract: We prove that a globally hyperbolic smooth spacetime endowed with a $\smash{\mathrm{C}^1}$-Lorentzian metric whose Ricci tensor is bounded from below in all timelike directions, in a distributional sense, obeys the timelike measure-contraction property. This result includes a class of spacetimes with borderline regularity for which local existence results for the vacuum Einstein equation are known in the setting of spaces with timelike Ricci bounds in a synthetic sense. In particular, these spacetimes satisfy timelike Brunn-Minkowski, Bonnet-Myers, and Bishop-Gromov inequalities in sharp form, without any timelike nonbranching assumption. If the metric is even $\smash{\mathrm{C}^{1,1}}$, in fact the stronger timelike curvature-dimension condition holds. In this regularity, we also obtain uniqueness of chronological optimal couplings and chronological geodesics.


title: Observational entropy, coarse quantum states, and Petz recovery: information-theoretic properties and bounds

abstract: Observational entropy provides a general notion of quantum entropy that appropriately interpolates between Boltzmann's and Gibbs' entropies, and has recently been argued to provide a useful measure of out-of-equilibrium thermodynamic entropy. Here we study the mathematical properties of observational entropy from an information-theoretic viewpoint, making use of recently strengthened forms of the monotonicity property of quantum relative entropy. We present new bounds on observational entropy applying in general, as well as bounds and identities related to sequential and post-processed measurements. A central role in this work is played by what we call the ``coarse-grained'' state, which emerges from the measurement's statistics by Bayesian retrodiction, without presuming any knowledge about the ``true'' underlying state being measured. The degree of distinguishability between such a coarse-grained state and the true (but generally unobservable) one is shown to provide upper and lower bounds on the difference between observational and von Neumann entropies.

categories: quant-ph cond-mat.stat-mech math-ph math.MP


title: Kernel Methods for Regression in Continuous Time over Subsets and Manifolds

abstract: This paper derives error bounds for regression in continuous time over subsets of certain types of Riemannian manifolds.The regression problem is typically driven by a nonlinear evolution law taking values on the manifold, and it is cast as one of optimal estimation in a reproducing kernel Hilbert space (RKHS). A new notion of persistency of excitation (PE) is defined for the estimation problem over the manifold, and rates of convergence of the continuous time estimates are derived using the PE condition. We discuss and analyze two approximation methods of the exact regression solution. We then conclude the paper with some numerical simulations that illustrate the qualitative character of the computed function estimates. Numerical results from function estimates generated over a trajectory of the Lorenz system are presented. Additionally, we analyze an implementation of the two approximation methods using motion capture data.


title: FAT Forensics: A Python Toolbox for Implementing and Deploying Fairness, Accountability and Transparency Algorithms in Predictive Systems

abstract: Predictive systems, in particular machine learning algorithms, can take important, and sometimes legally binding, decisions about our everyday life. In most cases, however, these systems and decisions are neither regulated nor certified. Given the potential harm that these algorithms can cause, their qualities such as fairness, accountability and transparency (FAT) are of paramount importance. To ensure high-quality, fair, transparent and reliable predictive systems, we developed an open source Python package called FAT Forensics. It can inspect important fairness, accountability and transparency aspects of predictive algorithms to automatically and objectively report them back to engineers and users of such systems. Our toolbox can evaluate all elements of a predictive pipeline: data (and their features), models and predictions. Published under the BSD 3-Clause open source licence, FAT Forensics is opened up for personal and commercial usage.


title: Ambiguity Function Shaping based on Alternating Direction Riemannian Optimal Algorithm

abstract: In order to improve the ability of cognitive radar (CR) to adapt to the environment, the required ambiguity function (AF) can be synthesized by designing the waveform. The key to this problem is how to minimize the interference power. Suppressing the interference power is equivalent to minimize the expectation of slow-time ambiguity function (STAF) over range-Doppler bins. From a technical point of view, this is actually an optimization problem of a non-convex quartic function with constant modulus constraints (CMC). In this paper, we proposed a novel method to design a waveform to synthesize the STAF based on suppressing the interference power. We put forward an iterative algorithm within an alternating direction penalty method (ADPM) framework. In each iteration, this problem is split into two sub-problems by introducing auxiliary variables. In the first sub-problem, we solved the convex problem directly with a closed-form solution, then utilized the Riemannian trust region (RTR) algorithm in the second sub-problem. Simulation results demonstrate that the proposed algorithm outperforms other advanced algorithms in the aspects of STAF, range-cut and signal-to-interference-ratio (SIR) value.


title: Hardware Accelerator and Neural Network Co-Optimization for Ultra-Low-Power Audio Processing Devices

abstract: The increasing spread of artificial neural networks does not stop at ultralow-power edge devices. However, these very often have high computational demand and require specialized hardware accelerators to ensure the design meets power and performance constraints. The manual optimization of neural networks along with the corresponding hardware accelerators can be very challenging. This paper presents HANNAH (Hardware Accelerator and Neural Network seArcH), a framework for automated and combined hardware/software co-design of deep neural networks and hardware accelerators for resource and power-constrained edge devices. The optimization approach uses an evolution-based search algorithm, a neural network template technique, and analytical KPI models for the configurable UltraTrail hardware accelerator template to find an optimized neural network and accelerator configuration. We demonstrate that HANNAH can find suitable neural networks with minimized power consumption and high accuracy for different audio classification tasks such as single-class wake word detection, multi-class keyword detection, and voice activity detection, which are superior to the related work.


title: Quantitative Green's Function Estimates for Lattice Quasi-periodic Schr\"odinger Operators

abstract: In this paper, we establish quantitative Green's function estimates for some higher dimensional lattice quasi-periodic (QP) Schr\"odinger operators. The resonances in the estimates can be described via a pair of symmetric zeros of certain functions and the estimates apply to the sub-exponential type non-resonant conditions. As the application of quantitative Green's function estimates, we prove both the arithmetic version of Anderson localization and the $(\frac 12-)$-H\"older continuity of the integrated density of states (IDS) for such QP Schr\"odinger operators. This gives an affirmative answer to Bourgain's problem in\cite{Bou00}.


title: A PeVatron Candidate: Modelling the Boomerang Nebula in X-ray Band

abstract: Pulsar wind nebula (PWN) Boomerang and the associated supernova remnant (SNR) G106.3+2.7 are among candidates for the ultra-high-energy (UHE) gamma-ray counterparts published by LHAASO. Although the centroid of the extended source, LHAASO J2226+6057, deviates from the pulsar's position by about $0.3^\circ$, the source partially covers the PWN. Therefore, we cannot totally exclude the possibility that a part of the UHE emission comes from the PWN. Previous studies mainly focus on whether the SNR is a PeVatron, while neglecting the energetic PWN. Here, we explore the possibility of the Boomerang Nebula being a PeVatron candidate by studying its X-ray radiation. By modelling the diffusion of relativistic electrons injected in the PWN, we fit the radial profiles of the X-ray surface brightness and the photon index. The solution with a magnetic field $B=140\mu$G can well reproduce the observed profiles and implies a severe suppression of IC scattering of electrons. Therefore, a proton component need be introduced to account for the UHE emission, in light of recent LHAASO's measurement on Crab Nebula, if future observations reveal part of the UHE emission originating from the PWN. In this sense, Boomerang Nebula would be a hadronic PeVatron.


title: Transformation twinning to create isospectral cavities

abstract: Bounded domains have discrete eigenfrequencies/spectra, and cavities with different boundaries and areas have different spectra. A general methodology for isospectral twinning, whereby the spectra of different cavities are made to coincide, is created by combining ideas from across physics including transformation optics, inverse problems and metamaterial cloaking. We twin a hexagonal drum with a deformed hexagonal drum using a non-singular coordinate transform that adjusts the deformed shape by mapping a near boundary domain to a zone of heterogeneous anisotropic medium. Splines define the mapping zone for twinning these two drums and we verify isospectrality by finite element analysis.

categories: cond-mat.mtrl-sci math-ph math.MP physics.optics


title: Multi-agent Performative Prediction with Greedy Deployment and Consensus Seeking Agents

abstract: We consider a scenario where multiple agents are learning a common decision vector from data which can be influenced by the agents' decisions. This leads to the problem of multi-agent performative prediction (Multi-PfD). In this paper, we formulate Multi-PfD as a decentralized optimization problem that minimizes a sum of loss functions, where each loss function is based on a distribution influenced by the local decision vector. We first prove the necessary and sufficient condition for the Multi-PfD problem to admit a unique multi-agent performative stable (Multi-PS) solution. We show that enforcing consensus leads to a laxer condition for the existence of Multi-PS solution with respect to the distributions' sensitivities, compared to the single agent case. Then, we study a decentralized extension to the greedy deployment scheme [Mendler-D\"unner et al., 2020], called the DSGD-GD scheme. We show that DSGD-GD converges to the Multi-PS solution and analyze its non-asymptotic convergence rate. Numerical results validate our analysis.


title: Optimal personalized therapies in colon-cancer induced immune response using a Fokker-Planck framework

abstract: In this paper, a new stochastic framework to determine optimal combination therapies in colon cancer-induced immune response is presented. The dynamics of colon cancer is described through an It\"o stochastic process, whose probability density function evolution is governed by the Fokker-Planck equation. An open-loop control optimization problem is proposed to determine the optimal combination therapies. Numerical results with combination therapies comprising of the chemotherapy drug \ind{Doxorubicin} and immunotherapy drug IL-2 validate the proposed framework.


title: What and How of Machine Learning Transparency: Building Bespoke Explainability Tools with Interoperable Algorithmic Components

abstract: Explainability techniques for data-driven predictive models based on artificial intelligence and machine learning algorithms allow us to better understand the operation of such systems and help to hold them accountable. New transparency approaches are developed at breakneck speed, enabling us to peek inside these black boxes and interpret their decisions. Many of these techniques are introduced as monolithic tools, giving the impression of one-size-fits-all and end-to-end algorithms with limited customisability. Nevertheless, such approaches are often composed of multiple interchangeable modules that need to be tuned to the problem at hand to produce meaningful explanations. This paper introduces a collection of hands-on training materials -- slides, video recordings and Jupyter Notebooks -- that provide guidance through the process of building and evaluating bespoke modular surrogate explainers for tabular data. These resources cover the three core building blocks of this technique: interpretable representation composition, data sampling and explanation generation.


title: The $D^*/D$ ratio in heavy ion collisions

abstract: In this work we study the $D^*$ and $D$ multiplicities and how they change during the hadron gas phase of heavy ion collisions. With the help of an effective Lagrangian formalism, we calculate the production and absorption cross sections of the $D^*$ and $D$ mesons in a hadronic medium. We compute the time evolution of the abundances and the ratio $D^* /D$. They are approximately constant in time. Also, assuming a Bjorken type cooling and using an empirical relation between the freeze-out temperature and the central multiplicity density, we estimate $D^* /D$ as a function of $ dN /d \eta (\eta =0)$, which represents the system size. We find that, while the number of $D^*$'s and $D$'s grows significantly with the system size, their ratio remains approximately constant. This prediction can be compared with future experimental data. Our results suggest that the charm meson interactions in the hadron gas do not change their multiplicities and consequently these mesons are close to chemical equilibrium.


title: Presentation: SymDefFix -- Sound Automatic Repair Using Symbolic Execution

abstract: In this presentation, we introduce our constraint-based repair approach, called SymDefFix. SymDefFix is based on ExtractFix [3] and replaces the dynamic analysis steps of ExtractFix to detect the error and find the potential fix locations in an input program with symbolic execution. We first briefly motivate and introduce our modifications of ExtractFix, and then demonstrate it with an example.


title: The closure ordering conjecture on local Arthur packets of classical groups

abstract: In this paper, we prove the closure ordering conjecture on the local $L$-parameters of representations in local Arthur packets of $\mathrm{G}_n=\mathrm{Sp}_{2n}, \mathrm{SO}_{2n+1}$ over a non-Archimedean local field of characteristic zero. Precisely, given any representation $\pi$ in a local Arthur packet $\Pi_{\psi}$, the closure of the local $L$-parameter of $\pi$ in the Vogan variety must contain the local $L$-parameter corresponding to $\psi$. This conjecture reveals a geometric nature of local Arthur packets and is inspired by the work of Adams, Barbasch, and Vogan, and the work of Cunningham, Fiori, Moussaoui, Mracek, and Xu, on ABV-packets. As an application, for general quasi-split connected reductive groups, we show that the closure ordering conjecture implies the enhanced Shahidi conjecture, under certain reasonable assumptions. This provides a framework towards the enhanced Shahidi conjecture in general. We verify these assumptions for $\mathrm{G}_n$, hence give a new proof of the enhanced Shahidi conjecture. At last, we show that local Arthur packets cannot be fully contained in other ones, which is in contrast to the situation over Archimedean local fields and has its own interests.


title: Investigation of the freeze-out parameters in B-B, O-O, Ca-Ca and Au-Au collisions at 39 GeV

abstract: We analyzed the transverse momentum spectra of proton, deuteron and triton in Boron-Boron (B-B), Oxygen-Oxygen (O-O), and Calcium-Calcium (Ca-Ca) central collisions, as well as in several centrality bins in Gold-Gold (Au-Au) collisions at 39 GeV by using the blast wave model with Tsallis statistics. The bulk properties in terms of kinetic freeze-out temperature, transverse flow velocity and kinetic freeze-out volume are extracted from the model by the least square method. We observed that with increasing the rest mass of the particle, the kinetic freeze-out temperature becomes larger, while transverse flow velocity and the kinetic freeze-out volume reduces. These parameters are also found to depend on the size of the system. Larger the size of the system, the larger they are. Furthermore, the kinetic freeze-out temperature in peripheral Au-Au collisions is close to the central O-O collisions. We also observed that the above parameters depend on the centrality, and they decrease from central to peripheral collisions. Besides, we also extracted the entropy-index parameter $q$, and the parameter $N_0$ which shows the multiplicity. Both of them depend on the size of interacting the system, rest mass of the particle and centrality. Both $q$ and $N_0$ are larger for lighter particles, and the former is smaller for large systems while the latter is larger, and the former decrease with increasing centrality while the latter increase.


title: Model studies on motion of respiratory droplets driven through a face mask

abstract: Face masks are used to intercept respiratory droplets to prevent spreading of air-borne diseases. Designing face masks with better efficiency needs microscopic understanding on how respiratory droplets move through a mask. Here we study a simple model on the interception of droplets by a face mask. The mask is treated as a polymeric network in an asymmetric confinement, while the droplet is taken as a micrometer sized tracer colloidal particle, subject to driving force that mimics the breathing. We study numerically, using the Langevin dynamics, the tracer particle permeation through the polymeric network. We show that the permeation is an activated process following an Arrhenius dependence on temperature. The potential energy profile responsible for the activation process increases with tracer size, tracer bead interaction, network rigidity and decreases with the driving force and confinement length. A deeper energy barrier led to better efficiency to intercept the tracer particles of a given size in the presence of driving force at room temperature. Our studies may help to design mask with better efficiency.


title: Ethical and Social Considerations in Automatic Expert Identification and People Recommendation in Organizational Knowledge Management Systems

abstract: Organizational knowledge bases are moving from passive archives to active entities in the flow of people's work. We are seeing machine learning used to enable systems that both collect and surface information as people are working, making it possible to bring out connections between people and content that were previously much less visible in order to automatically identify and highlight experts on a given topic. When these knowledge bases begin to actively bring attention to people and the content they work on, especially as that work is still ongoing, we run into important challenges at the intersection of work and the social. While such systems have the potential to make certain parts of people's work more productive or enjoyable, they may also introduce new workloads, for instance by putting people in the role of experts for others to reach out to. And these knowledge bases can also have profound social consequences by changing what parts of work are visible and, therefore, acknowledged. We pose a number of open questions that warrant attention and engagement across industry and academia. Addressing these questions is an essential step in ensuring that the future of work becomes a good future for those doing the work. With this position paper, we wish to enter into the cross-disciplinary discussion we believe is required to tackle the challenge of developing recommender systems that respect social values.


title: Occurrence of gap for one-dimensional scalar autonomous functionals with one end point condition

abstract: Let $L:\mathbb R\times \mathbb R\to [0, +\infty[\,\cup\{+\infty\}$ be a Borel function. We consider the problem \begin{equation}\tag{P}\min F(y)=\int_0^1L(y(t), y'(t))\,dt: y(0)=0,\, y\in W^{1,1}([0,1],\mathbb R).\end{equation} We give an example of a real valued Lagrangian $L$ for which the Lavrentiev phenomenon occurs. We state a condition, involving only the behavior of $L$ on the graph of two functions, that ensures the non-occurrence of the phenomenon. Our criterium weakens substantially the well-known condition, that $L$ is bounded on bounded sets.


title: Taking Advice from (Dis)Similar Machines: The Impact of Human-Machine Similarity on Machine-Assisted Decision-Making

abstract: Machine learning algorithms are increasingly used to assist human decision-making. When the goal of machine assistance is to improve the accuracy of human decisions, it might seem appealing to design ML algorithms that complement human knowledge. While neither the algorithm nor the human are perfectly accurate, one could expect that their complementary expertise might lead to improved outcomes. In this study, we demonstrate that in practice decision aids that are not complementary, but make errors similar to human ones may have their own benefits. In a series of human-subject experiments with a total of 901 participants, we study how the similarity of human and machine errors influences human perceptions of and interactions with algorithmic decision aids. We find that (i) people perceive more similar decision aids as more useful, accurate, and predictable, and that (ii) people are more likely to take opposing advice from more similar decision aids, while (iii) decision aids that are less similar to humans have more opportunities to provide opposing advice, resulting in a higher influence on people's decisions overall.


title: Topological Quantum Computation on Supersymmetric Spin Chains

abstract: Quantum gates built out of braid group elements form the building blocks of topological quantum computation. They have been extensively studied in $SU(2)_k$ quantum group theories, a rich source of examples of non-Abelian anyons such as the Ising ($k=2$), Fibonacci ($k=3$) and Jones-Kauffman ($k=4$) anyons. We show that the fusion spaces of these anyonic systems can be precisely mapped to the product state zero modes of certain Nicolai-like supersymmetric spin chains. As a result, we can realize the braid group on the product state zero modes of these supersymmetric systems. These operators kill all the other states in the Hilbert space, thus preventing the occurrence of errors while processing information, making them suitable for quantum computing.

categories: quant-ph cond-mat.str-el hep-th math-ph math.MP


title: Green synthesis of eco-friendly silver nanoparticles using Coffee arabica leaf extract and development of a cost-effective biosensor for cysteine

abstract: The thirst for fabricating environment friendly silver nanoparticles (AgNPs) as biosensors via the green route is highly demanded among researchers due to their free of cost and less impact on creating pollution compared to other methods involving risk interference from toxic chemicals as reducing, stabilizing and capping agents. Here, for the first time, Coffee arabica leaf extracts (CAE) were used for the production of highly stable AgNPs in an easy and eco-friendly manner. Within ten minutes, we can visually confirm the reduction of Ag+ to Ag0 from a change of yellow color to dark brown by the addition of silver nitrate (AgNO3) solution with CAE. The structural, optical, stability, morphological and elemental characteristics of CAE-reduced AgNPs (CAE-AgNPs) were investigated using ultraviolet-visible (UV-Vis) spectroscopy, Fourier transforms infrared spectroscopy in ATR mode (FTIR-ATR), Raman spectroscopy, Zeta potential analyzer and transmission electron microscopy (TEM). The prepared CAE-AgNPs show good sensing performance for the amino acid L-cysteine (Cys) with high sensitivity, a limit of detection (LOD) of 0.1 nM, selectivity and good stability. Hence, the proposed novel method is highly promoted among other nanoengineered green AgNPs in the medical field as a valuable biosensor.


title: Bayesian Optimization for QAOA

abstract: The Quantum Approximate Optimization Algorithm (QAOA) adopts a hybrid quantum-classical approach to find approximate solutions to variational optimization problems. In fact, it relies on a classical subroutine to optimize the parameters of a quantum circuit. In this work we present a Bayesian optimization procedure to fulfil this optimization task, and we investigate its performance in comparison with other global optimizers. We show that our approach allows for a significant reduction in the number of calls to the quantum circuit, which is typically the most expensive part of the QAOA. We demonstrate that our method works well also in the regime of slow circuit repetition rates, and that few measurements of the quantum ansatz would already suffice to achieve a good estimate of the energy. In addition, we study the performance of our method in the presence of noise at gate level, and we find that for low circuit depths it is robust against noise. Our results suggest that the method proposed here is a promising framework to leverage the hybrid nature of QAOA on the noisy intermediate-scale quantum devices.


title: Eigenvalue Mapping-based Discretization of the Generalized Super-Twisting Algorithm

abstract: In this paper, an eigenvalue mapping-based discretization method is applied to discretize the generalized super-twisting algorithm. The existing eigenvalue mapping is extended to the complex domain which greatly enlarges the range of parameter selection. Furthermore, we present the clue to find new eigenvalue mapping functions (EMFs). One new hybrid EMF and three brand-new EMFs are proposed in this paper. In contrast to the conventional methods, the proposed discretization method totally avoids the discretization chattering and the control precision is enhanced in terms of the steady-state error. Besides, the control precision is insensitive to the overestimation of the control gains, which benefits the gain tuning of the controller in practice. Simulation examples verify the effectiveness and superiority of the proposed discretization methodology.


title: Evaluating the Future Device Security Risk Indicator for Hundreds of IoT Devices

abstract: IoT devices are present in many, especially corporate and sensitive, networks and regularly introduce security risks due to slow vendor responses to vulnerabilities and high difficulty of patching. In this paper, we want to evaluate to what extent the development of future risk of IoT devices due to new and unpatched vulnerabilities can be predicted based on historic information. For this analysis, we build on existing prediction algorithms available in the SAFER framework (prophet and ARIMA) which we evaluate by means of a large data-set of vulnerabilities and patches from 793 IoT devices. Our analysis shows that the SAFER framework can predict a correct future risk for 91% of the devices, demonstrating its applicability. We conclude that this approach is a reliable means for network operators to efficiently detect and act on risks emanating from IoT devices in their networks.


title: Participant Perceptions of a Robotic Coach Conducting Positive Psychology Exercises: A Systematic Analysis

abstract: This paper provides a detailed overview of a case study of applying Continual Learning (CL) to a single-session Human-Robot Interaction (HRI) session (avg. 31 +- 10 minutes), where a robotic mental well-being coach conducted Positive Psychology (PP) exercises with (n = 20) participants. We present the results of a Thematic Analysis (TA) of data recorded from brief semi-structured interviews that were conducted with participants after the interaction sessions, as well as an analysis of statistical results demonstrating how participants' personalities may affect how they perceive the robot and its interactions.


title: 't Hooft anomalies for staggered fermions

abstract: We show that the phase structure of certain staggered fermion theories can be understood on the basis of exact anomalies. These anomalies arise when staggered fermions are coupled to gravity which can be accomplished by replacing them by discrete K\"{a}hler-Dirac fermions. We first show the existence of a perturbative anomaly in even dimensions which breaks an exact $U(1)$ symmetry of the massless theory down to $Z_4$. If we attempt to gauge this $Z_4$ symmetry we find a 't Hooft anomaly which can only be cancelled for multiples of two K\"{a}hler-Dirac fields. This result is consistent with the cancellation of a further mixed non-perturbative 't Hooft anomaly between the global $Z_4$ and a reflection symmetry. In four dimensional flat space, theories of two staggered fields yield eight Dirac or sixteen Majorana fermions in the continuum limit and this critical number of fermions agrees with results in condensed matter theory literature on the fermion content required to gap boundary fermions in $4+1$ dimensional topological superconductors. It is also consistent with constraints stemming from the cancellation of spin-$Z_4$ anomalies of Weyl fermions. Indeed, cancellation of 't Hooft anomalies is a necessary requirement for symmetric mass generation and this result gives a theoretical explanation of recent numerical work on the phase diagram of interacting staggered fermions. As an application of these ideas we construct a lattice model whose low energy continuum limit is conjectured to yield the Pati-Salam GUT theory.


title: Mass-derivative relations and unitarity constraints for $CP$ asymmetries at finite temperature

abstract: Within the seesaw type-I leptogenesis, we formulate $CPT$ and unitarity constraints for the equilibrium reaction rate $CP$ asymmetries and consider thermal mass and quantum statistics. We demonstrate that including higher-order perturbative corrections in the classical Boltzmann equation remarkably induces quantum effects into the kinetic theory.


title: Hardware-Software Co-Design of BIKE with HLS-Generated Accelerators

abstract: In order to mitigate the security threat of quantum computers, NIST is undertaking a process to standardize post-quantum cryptosystems, aiming to assess their security and speed up their adoption in production scenarios. Several hardware and software implementations have been proposed for each candidate, while only a few target heterogeneous platforms featuring CPUs and FPGAs. This work presents a HW/SW co-design of BIKE for embedded platforms featuring both CPUs and small FPGAs and employs high-level synthesis (HLS) to timely deliver the hardware accelerators. In contrast to state-of-the-art solutions targeting performance-optimized HLS accelerators, the proposed solution targets the small FPGAs implemented in the heterogeneous platforms for embedded systems. Compared to the software-only execution of BIKE, the experimental results collected on the systems-on-chip of the entire Xilinx Zynq-7000 family highlight a performance speedup ranging from 1.37x, on Z-7010, to 2.78x, on Z-7020.


title: Optimised Design and Performance Comparison of Soft Robotic Manipulators

abstract: Soft robotic manipulators are attractive for a range of applications such as medical interventions or industrial inspections in confined environments. A myriad of soft robotic manipulators have been proposed in the literature, but their designs tend to be relatively similar, and generally offer a relatively low force. This limits the payload they can carry and therefore their usability. A comparison of force of the different designs is not available under a common framework, and designs present different diameters and features that make them hard to compare. In this paper, we present the design of a soft robotic manipulator that is optimised to maximise its force while respecting typical application constraints such as size, workspace, payload capability, and maximum pressure. The design presented here has the advantage that it morphs to an optimal design as it is pressurised to move in different directions, and this leads to higher lateral force. The robot is designed using a set of principles and thus can be adapted to other applications. We also present a non-dimensional analysis for soft robotic manipulators, and we apply it to compare the performance of the design proposed here with other designs in the literature. We show that our design has a higher force than other designs in the same category. Experimental results confirm the higher force of our proposed design.


title: T$^2$LR-Net: An Unrolling Reconstruction Network Learning Transformed Tensor Low-Rank prior for Dynamic MR Imaging

abstract: While the methods exploiting the tensor low-rank prior are booming in high-dimensional data processing and have obtained satisfying performance, their applications in dynamic magnetic resonance (MR) image reconstruction are limited. In this paper, we concentrate on the tensor singular value decomposition (t-SVD), which is based on the Fast Fourier Transform (FFT) and only provides the definite and limited tensor low-rank prior in the FFT domain, heavily reliant upon how closely the data and the FFT domain match up. By generalizing the FFT into an arbitrary unitary transformation of the transformed t-SVD and proposing the transformed tensor nuclear norm (TTNN), we introduce a flexible model based on TTNN with the ability to exploit the tensor low-rank prior of a transformed domain in a larger transformation space and elaborately design an iterative optimization algorithm based on the alternating direction method of multipliers (ADMM), which is further unrolled into a model-based deep unrolling reconstruction network to learn the transformed tensor low-rank prior (T$^2$LR-Net). The convolutional neural network (CNN) is incorporated within the T$^2$LR-Net to learn the best-matched transform from the dynamic MR image dataset. The unrolling reconstruction network also provides a new perspective on the low-rank prior utilization by exploiting the low-rank prior in the CNN-extracted feature domain. Experimental results on two cardiac cine MR datasets demonstrate that the proposed framework can provide improved recovery results compared with the state-of-the-art optimization-based and unrolling network-based methods.


title: emgr -- EMpirical GRamian Framework Version 5.99

abstract: Version 5.99 of the empirical Gramian framework -- "emgr" -- completes a development cycle which focused on parametric model order reduction of gas network models while preserving compatibility to the previous development for the application of combined state and parameter reduction for neuroscience network models. Secondarily, new features concerning empirical Gramian types, perturbation design, and trajectory post-processing, as well as a Python version in addition to the default MATLAB / Octave implementation, have been added. This work summarizes these changes, particularly since "emgr" version 5.4, see Himpe, 2018 [Algorithms 11(7): 91], and gives recent as well as future applications, such as parameter identification in systems biology, based on the current feature set.


title: Pre-Training a Graph Recurrent Network for Language Representation

abstract: Transformer-based pre-trained models have gained much advance in recent years, becoming one of the most important backbones in natural language processing. Recent work shows that the attention mechanism inside Transformer may not be necessary, both convolutional neural networks and multi-layer perceptron based models have also been investigated as Transformer alternatives. In this paper, we consider a graph recurrent network for language model pre-training, which builds a graph structure for each sequence with local token-level communications, together with a sentence-level representation decoupled from other tokens. The original model performs well in domain-specific text classification under supervised training, however, its potential in learning transfer knowledge by self-supervised way has not been fully exploited. We fill this gap by optimizing the architecture and verifying its effectiveness in more general language understanding tasks, for both English and Chinese languages. As for model efficiency, instead of the quadratic complexity in Transformer-based models, our model has linear complexity and performs more efficiently during inference. Moreover, we find that our model can generate more diverse outputs with less contextualized feature redundancy than existing attention-based models.


title: Identifiability in Continuous Lyapunov Models

abstract: The recently introduced graphical continuous Lyapunov models provide a new approach to statistical modeling of correlated multivariate data. The models view each observation as a one-time cross-sectional snapshot of a multivariate dynamic process in equilibrium. The covariance matrix for the data is obtained by solving a continuous Lyapunov equation that is parametrized by the drift matrix of the dynamic process. In this context, different statistical models postulate different sparsity patterns in the drift matrix, and it becomes a crucial problem to clarify whether a given sparsity assumption allows one to uniquely recover the drift matrix parameters from the covariance matrix of the data. We study this identifiability problem by representing sparsity patterns by directed graphs. Our main result proves that the drift matrix is globally identifiable if and only if the graph for the sparsity pattern is simple (i.e., does not contain directed two-cycles). Moreover, we present a necessary condition for generic identifiability and provide a computational classification of small graphs with up to 5 nodes.


title: Self-force in hyperbolic black hole encounters

abstract: Self-force methods can be applied in calculations of the scatter angle in two-body hyperbolic encounters, working order by order in the mass ratio (assumed small) but with no recourse to a weak-field approximation. This, in turn, can inform ongoing efforts to construct an accurate description of the general-relativistic binary dynamics via an effective-one-body description or other approaches. Existing self-force methods are to a large extent specialised to bound, inspiral orbits. Here we derive the first-order conservative self-force correction to the scattering angle, show its agreement with recent post-Minkowsian results, and develop a technique for (numerical) self-force calculations that can efficiently tackle scatter orbits. In the method, the metric perturbation is reconstructed from a Hertz potential that satisfies (mode-by-mode) a certain inhomogeneous version of the Teukolsky equation. The crucial ingredient in this formulation are certain jump conditions that the (multipole modes of the) Hertz potential must satisfy along the worldline of the small body's orbit. We present a closed-form expression for these jumps, for an arbitrary geodesic orbit in Schwarzschild spacetime. To begin developing the numerical infrastructure, a scalar-field evolution code on a Schwarzschild background (in 1+1D) is developed. Following this, results for the conservative scalar self-force corrections to the scatter angle are calculated. We continue by constructing a Teukolsky evolution code on a Schwarzschild background. This produces numerically unstable solutions due to unphysical homogeneous solutions of the Teukolsky equation at the horizon and null infinity being seeded by numerical error. This can be resolved by a change of variables to a Regge-Wheeler-like field. We then present a full numerical implementation of this method for circular and scatter orbits in Schwarzschild.


title: Tuning arrays with rays: Physics-informed tuning of quantum dot charge states

abstract: Quantum computers based on gate-defined quantum dots (QDs) are expected to scale. However, as the number of qubits increases, the burden of manually calibrating these systems becomes unreasonable and autonomous tuning must be used. There has been a range of recent demonstrations of automated tuning of various QD parameters such as coarse gate ranges, global state topology (e.g. single QD, double QD), charge, and tunnel coupling with a variety of methods. Here, we demonstrate an intuitive, reliable, and data-efficient set of tools for an automated global state and charge tuning in a framework deemed physics-informed tuning (PIT). The first module of PIT is an action-based algorithm that combines a machine learning classifier with physics knowledge to navigate to a target global state. The second module uses a series of one-dimensional measurements to tune to a target charge state by first emptying the QDs of charge, followed by calibrating capacitive couplings and navigating to the target charge state. The success rate for the action-based tuning consistently surpasses 95 % on both simulated and experimental data suitable for off-line testing. The success rate for charge setting is comparable when testing with simulated data, at 95.5(5.4) %, and only slightly worse for off-line experimental tests, with an average of 89.7(17.4) % (median 97.5 %). It is noteworthy that the high performance is demonstrated both on data from samples fabricated in an academic cleanroom as well as on an industrial 300 mm} process line, further underlining the device agnosticism of PIT. Together, these tests on a range of simulated and experimental devices demonstrate the effectiveness and robustness of PIT.


title: Routing permutations on spectral expanders via matchings

abstract: We consider the following matching-based routing problem. Initially, each vertex $v$ of a connected graph $G$ is occupied by a pebble which has a unique destination $\pi(v)$. In each round the pebbles across the edges of a selected matching in $G$ are swapped, and the goal is to route each pebble to its destination vertex in as few rounds as possible. We show that if $G$ is a sufficiently strong $d$-regular spectral expander then any permutation $\pi$ can be achieved in $O(\log n)$ rounds. This is optimal for constant $d$ and resolves a problem of Alon, Chung, and Graham [SIAM J. Discrete Math., 7 (1994), pp. 516--530].


title: FADE: Enabling Federated Adversarial Training on Heterogeneous Resource-Constrained Edge Devices

abstract: Federated adversarial training can effectively complement adversarial robustness into the privacy-preserving federated learning systems. However, the high demand for memory capacity and computing power makes large-scale federated adversarial training infeasible on resource-constrained edge devices. Few previous studies in federated adversarial training have tried to tackle both memory and computational constraints simultaneously. In this paper, we propose a new framework named Federated Adversarial Decoupled Learning (FADE) to enable AT on heterogeneous resource-constrained edge devices. FADE differentially decouples the entire model into small modules to fit into the resource budget of each device, and each device only needs to perform AT on a single module in each communication round. We also propose an auxiliary weight decay to alleviate objective inconsistency and achieve better accuracy-robustness balance in FADE. FADE offers theoretical guarantees for convergence and adversarial robustness, and our experimental results show that FADE can significantly reduce the consumption of memory and computing power while maintaining accuracy and robustness.