title: WHO-Hand Hygiene Gesture Classification System

abstract: The recent ongoing coronavirus pandemic highlights the importance of hand hygiene practices in our daily lives, with governments and worldwide health authorities promoting good hand hygiene practices. More than one million cases of hospital-acquired infections occur in Europe annually. Hand hygiene compliance may reduce the risk of transmission by reducing the number of infections as well as healthcare expenditures. In this paper, the World Health Organization, hand hygiene gestures are recorded and analyzed with the construction of an aluminum frame, placed at the laboratory sink. The hand hygiene gestures are recorded for thirty participants after conducting a training session about hand hygiene gestures demonstration. The video recordings are converted into image files and are organized into six different hand hygiene classes. The Resnet50 framework selection for the classification of multiclass hand hygiene stages. The model is trained with the first set of classes; Fingers Interlaced, P2PFingers Interlaced, and Rotational Rub for 25 epochs. An accuracy of 44 percent for the first set of experiments with a loss score greater than 1.5 in the validation set is achieved. The training steps for the second set of classes; Rub hands palm to palm, Fingers Interlocked, Thumb Rub are 50 epochs. An accuracy of 72 percent is achieved for the second set with a loss score of less than 0.8 for the validation set. In this work, a preliminary analysis of a robust hand hygiene dataset with transfer learning takes place. The future aim for deploying a hand hygiene prediction system for healthcare workers in real-time.


title: Improving Generalization of Deep Reinforcement Learning-based TSP Solvers

abstract: Recent work applying deep reinforcement learning (DRL) to solve traveling salesman problems (TSP) has shown that DRL-based solvers can be fast and competitive with TSP heuristics for small instances, but do not generalize well to larger instances. In this work, we propose a novel approach named MAGIC that includes a deep learning architecture and a DRL training method. Our architecture, which integrates a multilayer perceptron, a graph neural network, and an attention model, defines a stochastic policy that sequentially generates a TSP solution. Our training method includes several innovations: (1) we interleave DRL policy gradient updates with local search (using a new local search technique), (2) we use a novel simple baseline, and (3) we apply curriculum learning. Finally, we empirically demonstrate that MAGIC is superior to other DRL-based methods on random TSP instances, both in terms of performance and generalizability. Moreover, our method compares favorably against TSP heuristics and other state-of-the-art approach in terms of performance and computational time.


title: Automatic Identification of the End-Diastolic and End-Systolic Cardiac Frames from Invasive Coronary Angiography Videos

abstract: Automatic identification of proper image frames at the end-diastolic (ED) and end-systolic (ES) frames during the review of invasive coronary angiograms (ICA) is important to assess blood flow during a cardiac cycle, reconstruct the 3D arterial anatomy from bi-planar views, and generate the complementary fusion map with myocardial images. The current identification method primarily relies on visual interpretation, making it not only time-consuming but also less reproducible. In this paper, we propose a new method to automatically identify angiographic image frames associated with the ED and ES cardiac phases by using the trajectories of key vessel points (i.e. landmarks). More specifically, a detection algorithm is first used to detect the key points of coronary arteries, and then an optical flow method is employed to track the trajectories of the selected key points. The ED and ES frames are identified based on all these trajectories. Our method was tested with 62 ICA videos from two separate medical centers (22 and 9 patients in sites 1 and 2, respectively). Comparing consensus interpretations by two human expert readers, excellent agreement was achieved by the proposed algorithm: the agreement rates within a one-frame range were 92.99% and 92.73% for the automatic identification of the ED and ES image frames, respectively. In conclusion, the proposed automated method showed great potential for being an integral part of automated ICA image analysis.


title: Antiferromagnetic VdW Phase at the Interface of Sputtered Topological Insulator/Ferromagnet-Bi2Te3/Ni80Fe20 Heterostructures

abstract: Magnetic ordering in topological insulators (TI) is crucial for breaking time-reversal symmetry (TRS) and thereby opening a gap in the topological surface states (TSSs) [1-6], which is the key for realizing useful topological properties such as the quantum anomalous Hall (QAH) effect, axion insulator state and the topological magnetoelectric effect. Combining TIs with magnetic materials can be expected to yield interfaces [26-28] with unique topological and magnetic phases but such interfaces largely remain unexplored. Here, we report the discovery of a novel antiferromagnetic (AFM) Van der Waals (VdW) phase at the interface of a sputtered c-axis oriented TI/FM (Bi2Te3/Ni80Fe20) heterostructure due to the formation of a Ni-intercalated Bi2Te3 VdW interfacial layer. The TI/FM heterostructure is shown to possess a significant spontaneous exchange bias and the presence of an AFM order at the interface via measurements of the hysteresis loop as well as the observation of compensated magnetic moments at the interface using polarized neutron reflectometry (PNR). An in-depth analysis of the structural and chemical properties of the interfacial AFM phase was carried out using selected area electron diffraction (SAED), electron energy loss spectroscopy (EELS), and X-ray photoelectron spectroscopy (XPS). These studies show evidence of solid-state reaction between the intercalated Ni atoms and Bi2Te3 layers and of the formation of topologically nontrivial magnetic VdW compounds. The N\'eel temperature of the interfacial AFM phase is 63 K, which is higher than that of typical magnetic topological insulators [53]. Our study shows how industrial CMOS-process-compatible sputtered TI/FM heterostructures can provide a novel materials platform for exploring the emergence of interfacial topological magnetic phases and high-temperature topological magnetic states.


title: Seed Classification using Synthetic Image Datasets Generated from Low-Altitude UAV Imagery

abstract: Plant breeding programs extensively monitor the evolution of seed kernels for seed certification, wherein lies the need to appropriately label the seed kernels by type and quality. However, the breeding environments are large where the monitoring of seed kernels can be challenging due to the minuscule size of seed kernels. The use of unmanned aerial vehicles aids in seed monitoring and labeling since they can capture images at low altitudes whilst being able to access even the remotest areas in the environment. A key bottleneck in the labeling of seeds using UAV imagery is drone altitude i.e. the classification accuracy decreases as the altitude increases due to lower image detail. Convolutional neural networks are a great tool for multi-class image classification when there is a training dataset that closely represents the different scenarios that the network might encounter during evaluation. The article addresses the challenge of training data creation using Domain Randomization wherein synthetic image datasets are generated from a meager sample of seeds captured by the bottom camera of an autonomously driven Parrot AR Drone 2.0. Besides, the article proposes a seed classification framework as a proof-of-concept using the convolutional neural networks of Microsoft's ResNet-100, Oxford's VGG-16, and VGG-19. To enhance the classification accuracy of the framework, an ensemble model is developed resulting in an overall accuracy of 94.6%.


title: Shintani correspondence for Maass forms of level $N$ and prehomogeneous zeta functions

abstract: A Shintani-Katok-Sarnak type correspondence for Maass cusp forms of level $N$ is shown to be derived from analytic properties of prehomogeneous zeta functions whose coefficients involve periods of Maass forms.


title: Parallel Composition of Weighted Finite-State Transducers

abstract: Finite-state transducers (FSTs) are frequently used in speech recognition. Transducer composition is an essential operation for combining different sources of information at different granularities. However, composition is also one of the more computationally expensive operations. Due to the heterogeneous structure of FSTs, parallel algorithms for composition are suboptimal in efficiency, generality, or both. We propose an algorithm for parallel composition and implement it on graphics processing units. We benchmark our parallel algorithm on the composition of random graphs and the composition of graphs commonly used in speech recognition. The parallel composition scales better with the size of the input graphs and for large graphs can be as much as 10 to 30 times faster than a sequential CPU algorithm.


title: Efficient Quantum Gate Discovery with Optimal Control

abstract: Optimal control theory provides a framework for numerical discovery of device controls that implement quantum logic gates, but common objective functions used for optimization often assign arbitrarily high costs to otherwise useful controls. We propose a framework for designing objective functions that permit novel gate designs such as echo pulses or locally-equivalent gates. We use numerical simulations to demonstrate the efficacy of the new objective functions by designing microwave-only pulses that act as entangling gates for superconducting transmon architectures. We observe that the proposed objective functions lead to higher fidelity controls in fewer optimization iterations than obtainable by traditional objective functions.


title: Distributions of cherries and pitchforks for the Ford model

abstract: We study two fringe subtree counting statistics, the number of cherries and that of pitchforks for Ford's $\alpha$ model, a one-parameter family of random phylogenetic tree models that includes the uniform and the Yule models, two tree models commonly used in phylogenetics. Based on a nonuniform version of the extended P\'olya urn models in which negative entries are permitted for their replacement matrices, we obtain the strong law of large numbers and the central limit theorem for the joint distribution of these two count statistics for the Ford model. Furthermore, we derive a recursive formula for computing the exact joint distribution of these two statistics. This leads to exact formulas for their means and higher order asymptotic expansions of their second moments, which allows us to identify a critical parameter value for the correlation between these two statistics. That is, when $n$ is sufficiently large, they are negatively correlated for $0\le \alpha \le 1/2$ and positively correlated for $1/2<\alpha<1$.


title: Generating the plane Cremona groups by involutions

abstract: We prove that over any perfect field the plane Cremona group is generated by involutions.


title: Pretrained Transformers for Offensive Language Identification in Tanglish

abstract: This paper describes the system submitted to Dravidian-Codemix-HASOC2021: Hate Speech and Offensive Language Identification in Dravidian Languages (Tamil-English and Malayalam-English). This task aims to identify offensive content in code-mixed comments/posts in Dravidian Languages collected from social media. Our approach utilizes pooling the last layers of pretrained transformer multilingual BERT for this task which helped us achieve rank nine on the leaderboard with a weighted average score of 0.61 for the Tamil-English dataset in subtask B. After the task deadline, we sampled the dataset uniformly and used the MuRIL pretrained model, which helped us achieve a weighted average score of 0.67, the top score in the leaderboard. Furthermore, our approach to utilizing the pretrained models helps reuse our models for the same task with a different dataset. Our code and models are available in https://github.com/seanbenhur/tanglish-offensive-language-identification


title: On elliptic solutions of the associative Yang-Baxter equation

abstract: We give a direct proof of the fact that elliptic solutions of the associative Yang-Baxter equation arise from appropriate spherical orders on an elliptic curve.


title: Prosody-TTS: An end-to-end speech synthesis system with prosody control

abstract: End-to-end text-to-speech synthesis systems achieved immense success in recent times, with improved naturalness and intelligibility. However, the end-to-end models, which primarily depend on the attention-based alignment, do not offer an explicit provision to modify/incorporate the desired prosody while synthesizing the signal. Moreover, the state-of-the-art end-to-end systems use autoregressive models for synthesis, making the prediction sequential. Hence, the inference time and the computational complexity are quite high. This paper proposes Prosody-TTS, an end-to-end speech synthesis model that combines the advantages of statistical parametric models and end-to-end neural network models. It also has a provision to modify or incorporate the desired prosody by controlling the fundamental frequency (f0) and the phone duration. Generating speech samples with appropriate prosody and rhythm helps in improving the naturalness of the synthesized speech. We explicitly model the duration of the phoneme and the f0 to have control over them during the synthesis. The model is trained in an end-to-end fashion to directly generate the speech waveform from the input text, which in turn depends on the auxiliary subtasks of predicting the phoneme duration, f0, and mel spectrogram. Experiments on the Telugu language data of the IndicTTS database show that the proposed Prosody-TTS model achieves state-of-the-art performance with a mean opinion score of 4.08, with a very low inference time.


title: Fully Convolutional Cross-Scale-Flows for Image-based Defect Detection

abstract: In industrial manufacturing processes, errors frequently occur at unpredictable times and in unknown manifestations. We tackle the problem of automatic defect detection without requiring any image samples of defective parts. Recent works model the distribution of defect-free image data, using either strong statistical priors or overly simplified data representations. In contrast, our approach handles fine-grained representations incorporating the global and local image context while flexibly estimating the density. To this end, we propose a novel fully convolutional cross-scale normalizing flow (CS-Flow) that jointly processes multiple feature maps of different scales. Using normalizing flows to assign meaningful likelihoods to input samples allows for efficient defect detection on image-level. Moreover, due to the preserved spatial arrangement the latent space of the normalizing flow is interpretable which enables to localize defective regions in the image. Our work sets a new state-of-the-art in image-level defect detection on the benchmark datasets Magnetic Tile Defects and MVTec AD showing a 100% AUROC on 4 out of 15 classes.


title: Modelling the filtration efficiency of a woven fabric: The role of multiple lengthscales

abstract: During the COVID-19 pandemic, many millions have worn masks made of woven fabric, to reduce the risk of transmission of COVID-19. Masks are essentially air filters worn on the face, that should filter out as many of the dangerous particles as possible. Here the dangerous particles are the droplets containing virus that are exhaled by an infected person. Woven fabric is unlike the material used in standard air filters. Woven fabric consists of fibres twisted together into yarns that are then woven into fabric. There are therefore two lengthscales: the diameters of: (i) the fibre and (ii) the yarn. Standard air filters have only (i). To understand how woven fabrics filter, we have used confocal microscopy to take three dimensional images of woven fabric. We then used the image to perform Lattice Boltzmann simulations of the air flow through fabric. With this flow field we calculated the filtration efficiency for particles a micrometre and larger in diameter. In agreement with experimental measurements by others, we find that for particles in this size range, filtration efficiency is low. For particles with a diameter of 1.5 micrometres our estimated efficiency is in the range 2.5 to 10%. The low efficiency is due to most of the air flow being channelled through relatively large (tens of micrometres across) inter-yarn pores. So we conclude that fabric is expected to filter poorly due to the hierarchical structure of woven fabrics.


title: Joint Maneuver and Beamforming Design for UAV-Enabled Integrated Sensing and Communication

abstract: This paper studies the UAV-enabled integrated sensing and communication (ISAC), in which UAVs are dispatched as aerial dual-functional access points (APs) for efficient ISAC. In particular, we consider a scenario with one UAV-AP equipped with a vertically placed uniform linear array (ULA), which sends combined information and sensing signals to communicate with multiple users and sense potential targets at interested areas on the ground simultaneously. Our objective is to jointly design the UAV maneuver with the transmit beamforming for optimizing the communication performance while ensuring the sensing requirements. First, we consider the quasi-stationary UAV scenario, in which the UAV is deployed at an optimizable location over the whole ISAC mission period. In this case, we jointly optimize the UAV deployment location, as well as the transmit information and sensing beamforming to maximize the weighted sum-rate throughput, subject to the sensing beampattern gain requirements and transmit power constraint. Although the above problem is non-convex, we find a high-quality solution by using the techniques of SCA and SDR, together with a 2D location search. Next, we consider the fully mobile UAV scenario, in which the UAV can fly over different locations during the ISAC mission period. In this case, we optimize the UAV flight trajectory, jointly with the transmit beamforming over time, to maximize the average weighted sum-rate throughput, subject to the sensing beampattern gain requirements and transmit power constraints as well as practical flight constraints. While the joint UAV trajectory and beamforming problem is more challenging to solve, we propose an efficient algorithm by adopting the alternating optimization together with SCA. Finally, numerical results are provided to validate the superiority of our proposed designs as compared to various benchmark schemes.


title: Distribution Preserving Multiple Hypotheses Prediction for Uncertainty Modeling

abstract: Many supervised machine learning tasks, such as future state prediction in dynamical systems, require precise modeling of a forecast's uncertainty. The Multiple Hypotheses Prediction (MHP) approach addresses this problem by providing several hypotheses that represent possible outcomes. Unfortunately, with the common $l_2$ loss function, these hypotheses do not preserve the data distribution's characteristics. We propose an alternative loss for distribution preserving MHP and review relevant theorems supporting our claims. Furthermore, we empirically show that our approach yields more representative hypotheses on a synthetic and a real-world motion prediction data set. The outputs of the proposed method can directly be used in sampling-based Monte-Carlo methods.


title: Memory Function Representation for the Electrical Conductivity of Solids

abstract: We derive a formula for the electrical conductivity of solids that includes relaxation, dissipation, and quantum coherence. The derivation is based on the Kubo formula, with a Mori memory function approach to include dissipation effects at all orders in the relaxation interaction. It offers a practical method to evaluate the conductivity with electronic-structure codes and avoids the complications and limitations of the Kubo formula in the thermodynamic limit. The derivation of our formula provides a method applicable to other transport coefficients and correlation functions.


title: Stellar Population and Elemental Abundance Gradients of Early-type Galaxies

abstract: The evolution of galaxies is imprinted in their stellar populations. Several stellar population properties in massive early-type galaxies have been shown to correlate with intrinsic galaxy properties like the galaxy's central velocity dispersion, suggesting that stars formed in an initial collapse of gas (z~2). However, stellar populations change as a function of galaxy radius, and it is not clear how local gradients of individual galaxies are influenced by global galaxy properties and galaxy environment. In this paper, we study the stellar populations of eight early-type galaxies as a function of radius. We use optical spectroscopy (~4000-8600 \r{A}) and full-spectral fitting to measure stellar population age, metallicity, IMF slope, and nine elemental abundances (O, Mg, Si, Ca, Ti, C, N, Na, Fe) out to 1 R_e for each galaxy individually. We find a wide range of properties, with ages ranging from 3-13 Gyr. Some galaxies have a radially constant, Salpeter-like IMF, and other galaxies have a super-Salpeter IMF in the center, decreasing to a sub-Salpeter IMF at ~0.5 R_e. We find a global correlation of the central [Z/H] to the central IMF and the radial gradient of the IMF for the eight galaxies, but local correlations of the IMF slope to other stellar population parameters hold only for subsets of the galaxies in our sample. Some elemental abundances also correlate locally with each other within a galaxy, suggesting a common production channel. Those local correlations appear only in subsets of our galaxies indicating variations of the stellar content among different galaxies.


title: 8-bit Optimizers via Block-wise Quantization

abstract: Stateful optimizers maintain gradient statistics over time, e.g., the exponentially smoothed sum (SGD with momentum) or squared sum (Adam) of past gradient values. This state can be used to accelerate optimization compared to plain stochastic gradient descent but uses memory that might otherwise be allocated to model parameters, thereby limiting the maximum size of models trained in practice. In this paper, we develop the first optimizers that use 8-bit statistics while maintaining the performance levels of using 32-bit optimizer states. To overcome the resulting computational, quantization, and stability challenges, we develop block-wise dynamic quantization. Block-wise quantization divides input tensors into smaller blocks that are independently quantized. Each block is processed in parallel across cores, yielding faster optimization and high precision quantization. To maintain stability and performance, we combine block-wise quantization with two additional changes: (1) dynamic quantization, a form of non-linear optimization that is precise for both large and small magnitude values, and (2) a stable embedding layer to reduce gradient variance that comes from the highly non-uniform distribution of input tokens in language models. As a result, our 8-bit optimizers maintain 32-bit performance with a small fraction of the memory footprint on a range of tasks, including 1.5B parameter language modeling, GLUE finetuning, ImageNet classification, WMT'14 machine translation, MoCo v2 contrastive ImageNet pretraining+finetuning, and RoBERTa pretraining, without changes to the original optimizer hyperparameters. We open-source our 8-bit optimizers as a drop-in replacement that only requires a two-line code change.


title: RevASIDE: Assignment of Suitable Reviewer Sets for Publications from Fixed Candidate Pools

abstract: Scientific publishing heavily relies on the assessment of quality of submitted manuscripts by peer reviewers. Assigning a set of matching reviewers to a submission is a highly complex task which can be performed only by domain experts. We introduce RevASIDE, a reviewer recommendation system that assigns suitable sets of complementing reviewers from a predefined candidate pool without requiring manually defined reviewer profiles. Here, suitability includes not only reviewers' expertise, but also their authority in the target domain, their diversity in their areas of expertise and experience, and their interest in the topics of the manuscript. We present three new data sets for the expert search and reviewer set assignment tasks and compare the usefulness of simple text similarity methods to document embeddings for expert search. Furthermore, an quantitative evaluation demonstrates significantly better results in reviewer set assignment compared to baselines. A qualitative evaluation also shows their superior perceived quality.


title: Exploring the Common Principal Subspace of Deep Features in Neural Networks

abstract: We find that different Deep Neural Networks (DNNs) trained with the same dataset share a common principal subspace in latent spaces, no matter in which architectures (e.g., Convolutional Neural Networks (CNNs), Multi-Layer Preceptors (MLPs) and Autoencoders (AEs)) the DNNs were built or even whether labels have been used in training (e.g., supervised, unsupervised, and self-supervised learning). Specifically, we design a new metric $\mathcal{P}$-vector to represent the principal subspace of deep features learned in a DNN, and propose to measure angles between the principal subspaces using $\mathcal{P}$-vectors. Small angles (with cosine close to $1.0$) have been found in the comparisons between any two DNNs trained with different algorithms/architectures. Furthermore, during the training procedure from random scratch, the angle decrease from a larger one ($70^\circ-80^\circ$ usually) to the small one, which coincides the progress of feature space learning from scratch to convergence. Then, we carry out case studies to measure the angle between the $\mathcal{P}$-vector and the principal subspace of training dataset, and connect such angle with generalization performance. Extensive experiments with practically-used Multi-Layer Perceptron (MLPs), AEs and CNNs for classification, image reconstruction, and self-supervised learning tasks on MNIST, CIFAR-10 and CIFAR-100 datasets have been done to support our claims with solid evidences. Interpretability of Deep Learning, Feature Learning, and Subspaces of Deep Features


title: Digital quantum simulation of strong correlation effects with iterative quantum phase estimation over the variational quantum eigensolver algorithm: $\mathrm{H_4}$ on a circle as a case study

abstract: The iterative quantum phase estimation algorithm, applied to calculating the ground state energies of quantum chemical systems, is theoretically appealing in its wide scope of being able to handle both weakly and strongly correlated regimes. However, the goodness of the initial state that is sent as an input to the algorithm could strongly decide the quality of the results obtained. In this work, we generate the initial state by using the classical-quantum hybrid variational quantum eigensolver algorithm with unitary coupled cluster ansatz. We apply the procedure to obtain the ground state energies of the H4 molecule on a circle, as the system exhibits an interplay of dynamic as well as static correlation effects at different geometries. Furthermore, we argue on the importance of static correlation in construction of the reference determinant, and propose a minimally parametrized unitary coupled cluster ansatz, which drastically reduces number of variational parameters while incorporating the static correlation effects in the wavefunction. We demonstrate that a carefully and appropriately prepared initial state can greatly reduce the effects of noise due to sampling in the estimation of the desired eigenphase.


title: Spike-inspired Rank Coding for Fast and Accurate Recurrent Neural Networks

abstract: Biological spiking neural networks (SNNs) can temporally encode information in their outputs, e.g. in the rank order in which neurons fire, whereas artificial neural networks (ANNs) conventionally do not. As a result, models of SNNs for neuromorphic computing are regarded as potentially more rapid and efficient than ANNs when dealing with temporal input. On the other hand, ANNs are simpler to train, and usually achieve superior performance. Here we show that temporal coding such as rank coding (RC) inspired by SNNs can also be applied to conventional ANNs such as LSTMs, and leads to computational savings and speedups. In our RC for ANNs, we apply backpropagation through time using the standard real-valued activations, but only from a strategically early time step of each sequential input example, decided by a threshold-crossing event. Learning then incorporates naturally also *when* to produce an output, without other changes to the model or the algorithm. Both the forward and the backward training pass can be significantly shortened by skipping the remaining input sequence after that first event. RC-training also significantly reduces time-to-insight during inference, with a minimal decrease in accuracy. The desired speed-accuracy trade-off is tunable by varying the threshold or a regularization parameter that rewards output entropy. We demonstrate these in two toy problems of sequence classification, and in a temporally-encoded MNIST dataset where our RC model achieves 99.19% accuracy after the first input time-step, outperforming the state of the art in temporal coding with SNNs, as well as in spoken-word classification of Google Speech Commands, outperforming non-RC-trained early inference with LSTMs.


title: Ac losses in field-cooled type I superconducting cavities

abstract: As superconductors are cooled below their critical temperature, stray magnetic flux can become trapped in regions that remain normal. The presence of trapped flux facilitates dissipation of ac current in a superconductor, leading to losses in superconducting elements of microwave devices. In type II superconductors, dissipation is well-understood in terms of the dynamics of vortices hosting a single flux quantum. In contrast, the ac response of type I superconductors with trapped flux has not received much attention. Building on Andreev's early work [Sov. Phys. JETP 24, 1019 (1967)], here we show theoretically that the dominant dissipation mechanism is the absorption of the ac field at the exposed surfaces of the normal regions, while the deformation of the superconducting/normal interfaces is unimportant. We use the developed theory to estimate the degradation of the quality factors in field-cooled cavities, and we satisfactorily compare these theoretical estimates to the measured field dependence of the quality factors of two aluminum cavities.


title: A family of free boundary minimal surfaces in the unit ball

abstract: Using equivariant differential geometry, we provide a family of free boundary minimal surfaces in the unit ball.


title: Coded Shotgun Sequencing

abstract: Most DNA sequencing technologies are based on the shotgun paradigm: many short reads are obtained from random unknown locations in the DNA sequence. A fundamental question, studied in arXiv:1203.6233, is what read length and coverage depth (i.e., the total number of reads) are needed to guarantee reliable sequence reconstruction. Motivated by DNA-based storage, we study the coded version of this problem;i.e., the scenario where the DNA molecule being sequenced is a codeword from a predefined codebook. Our main result is an exact characterization of the capacity of the resulting shotgun sequencing channel as a function of the read length and coverage depth. In particular, our results imply that, while in the uncoded case, $O(n)$ reads of length greater than $2\log{n}$ are needed for reliable reconstruction of a length-$n$ binary sequence, in the coded case, only $O(n/\log{n})$ reads of length greater than $\log{n}$ are needed for the capacity to be arbitrarily close to $1$.


title: Sequence-to-Sequence Lexical Normalization with Multilingual Transformers

abstract: Current benchmark tasks for natural language processing contain text that is qualitatively different from the text used in informal day to day digital communication. This discrepancy has led to severe performance degradation of state-of-the-art NLP models when fine-tuned on real-world data. One way to resolve this issue is through lexical normalization, which is the process of transforming non-standard text, usually from social media, into a more standardized form. In this work, we propose a sentence-level sequence-to-sequence model based on mBART, which frames the problem as a machine translation problem. As the noisy text is a pervasive problem across languages, not just English, we leverage the multi-lingual pre-training of mBART to fine-tune it to our data. While current approaches mainly operate at the word or subword level, we argue that this approach is straightforward from a technical standpoint and builds upon existing pre-trained transformer networks. Our results show that while word-level, intrinsic, performance evaluation is behind other methods, our model improves performance on extrinsic, downstream tasks through normalization compared to models operating on raw, unprocessed, social media text.


title: Capturing Structural Locality in Non-parametric Language Models

abstract: Structural locality is a ubiquitous feature of real-world datasets, wherein data points are organized into local hierarchies. Some examples include topical clusters in text or project hierarchies in source code repositories. In this paper, we explore utilizing this structural locality within non-parametric language models, which generate sequences that reference retrieved examples from an external source. We propose a simple yet effective approach for adding locality information into such models by adding learned parameters that improve the likelihood of retrieving examples from local neighborhoods. Experiments on two different domains, Java source code and Wikipedia text, demonstrate that locality features improve model efficacy over models without access to these features, with interesting differences. We also perform an analysis of how and where locality features contribute to improved performance and why the traditionally used contextual similarity metrics alone are not enough to grasp the locality structure.


title: ClimateGAN: Raising Climate Change Awareness by Generating Images of Floods

abstract: Climate change is a major threat to humanity, and the actions required to prevent its catastrophic consequences include changes in both policy-making and individual behaviour. However, taking action requires understanding the effects of climate change, even though they may seem abstract and distant. Projecting the potential consequences of extreme climate events such as flooding in familiar places can help make the abstract impacts of climate change more concrete and encourage action. As part of a larger initiative to build a website that projects extreme climate events onto user-chosen photos, we present our solution to simulate photo-realistic floods on authentic images. To address this complex task in the absence of suitable training data, we propose ClimateGAN, a model that leverages both simulated and real data for unsupervised domain adaptation and conditional image generation. In this paper, we describe the details of our framework, thoroughly evaluate components of our architecture and demonstrate that our model is capable of robustly generating photo-realistic flooding.


title: Connecting 5d Higgs Branches via Fayet-Iliopoulos Deformations

abstract: We describe how the geometry of the Higgs branch of 5d superconformal field theories is transformed under movement along the extended Coulomb branch. Working directly with the (unitary) magnetic quiver, we demonstrate a correspondence between Fayet-Iliopoulos deformations in 3d and 5d mass deformations. When the Higgs branch has multiple cones, characterised by a collection of magnetic quivers, the mirror map is not globally well-defined, however we are able to utilize the correspondence to establish a local version of mirror symmetry. We give several detailed examples of deformations, including decouplings and weak-coupling limits, in $(D_n,D_n)$ conformal matter theories, $T_N$ theory and its parent $P_N$, for which we find new Lagrangian descriptions given by quiver gauge theories with fundamental and anti-symmetric matter.


title: SDA-GAN: Unsupervised Image Translation Using Spectral Domain Attention-Guided Generative Adversarial Network

abstract: This work introduced a novel GAN architecture for unsupervised image translation on the task of face style transform. A spectral attention-based mechanism is embedded into the design along with spatial attention on the image contents. We proved that neural network has the potential of learning complex transformations such as Fourier transform, within considerable computational cost. The model is trained and tested in comparison to the baseline model, which only uses spatial attention. The performance improvement of our approach is significant especially when the source and target domain include different complexity (reduced FID to 49.18 from 142.84). In the translation process, a spectra filling effect was introduced due to the implementation of FFT and spectral attention. Another style transfer task and real-world object translation are also studied in this paper.


title: Small Dehn surgery and SU(2)

abstract: We prove that the fundamental group of 3-surgery on a nontrivial knot in the 3-sphere always admits an irreducible SU(2)-representation. This answers a question of Kronheimer and Mrowka dating from their work on the Property P conjecture. An important ingredient in our proof is a relationship between instanton Floer homology and the symplectic Floer homology of genus-2 surface diffeomorphisms, due to Ivan Smith. We use similar arguments at the end to extend our main result to infinitely many surgery slopes in the interval [3,5).


title: Dark photon limits from magnetic fields and astrophysical plasmas

abstract: Dark photons may kinetically mix with our photon and modify Maxwell's equations. We examine their impact on the Lorentz force acting on the plasma in astrophysical magnetospheres. Solving the relevant magnetohydrodynamic equations, we show that any dark photon effect is negligible. The existing bound on dark photons with a mass below $10^{-14}$ eV, coming from Pioneer 10 observations of Jupiter's magnetosphere, relies on such an effect and is thus unreliable. To rectify this, we use recent Juno analyses to isolate any dark photon-induced modification of the Jovian magnetic field and hence place a numerically similar limit.


title: Continuous logistic Gaussian random measure fields for spatial distributional modelling

abstract: We investigate a class of models for non-parametric estimation of probability density fields based on scattered samples of heterogeneous sizes. The considered SLGP models are Spatial extensions of Logistic Gaussian Process models and inherit some of their theoretical properties but also of their computational challenges. We introduce SLGPs from the perspective of random measures and their densities, and investigate links between properties of SLGPs and underlying processes. Our inquiries are motivated by SLGP's abilities to deliver probabilistic predictions of conditional distributions at candidate points, to allow (approximate) conditional simulations of probability densities, and to jointly predict multiple functionals of target distributions. We show that SLGP models induced by continuous GPs can be characterized by the joint Gaussianity of their log-increments and leverage this characterization to establish theoretical results pertaining to spatial regularity. We extend the notion of mean-square continuity to random measure fields and establish sufficient conditions on covariance kernels underlying SLGPs for associated models to enjoy such regularity properties. From the practical side, we propose an implementation relying on Random Fourier Features and demonstrate its applicability on synthetic examples and on temperature distributions at meteorological stations, including probabilistic predictions of densities at left-out stations.


title: Evidence of Josephson coupling in a few-layer black phosphorus planar Josephson junction

abstract: Setting up strong Josephson coupling in van der Waals materials in close proximity to superconductors offers several opportunities both to inspect fundamental physics and to develop novel cryogenic quantum technologies. Here we show evidence of Josephson coupling in a planar few-layer black Phosphorus junction. The planar geometry allows us to probe the junction behavior by means of external gates, at different carrier concentrations. Clear signatures of Josephson coupling are demonstrated by measuring supercurrent flow through the junction at milli Kelvin temperatures. Manifestation of Fraunhofer pattern with a transverse magnetic field is also reported, confirming the Josephson coupling. These findings represent the first evidence of proximity Josephson coupling in a planar junction based on a van der Waals material beyond graphene and open the way to new studies, exploiting the peculiar properties of exfoliated black phosphorus thin flakes.


title: An Investigation of the Effectiveness of Phase for Audio Classification

abstract: While log-amplitude mel-spectrogram has widely been used as the feature representation for processing speech based on deep learning, the effectiveness of another aspect of speech spectrum, i.e., phase information, was shown recently for tasks such as speech enhancement and source separation. In this study, we extensively investigated the effectiveness of including phase information of signals for eight audio classification tasks. We constructed a learnable front-end that can compute the phase and its derivatives based on a time-frequency representation with mel-like frequency axis. As a result, experimental results showed significant performance improvement for musical pitch detection, musical instrument detection, language identification, speaker identification, and birdsong detection. On the other hand, overfitting to the recording condition was observed for some tasks when the instantaneous frequency was used. The results implied that the relationship between the phase values of adjacent elements is more important than the phase itself in audio classification.


title: Compositional Q-learning for electrolyte repletion with imbalanced patient sub-populations

abstract: Reinforcement learning (RL) is an effective framework for solving sequential decision-making tasks. However, applying RL methods in medical care settings is challenging in part due to heterogeneity in treatment response among patients. Some patients can be treated with standard protocols whereas others, such as those with chronic diseases, need personalized treatment planning. Traditional RL methods often fail to account for this heterogeneity, because they assume that all patients respond to the treatment in the same way (i.e., transition dynamics are shared). We introduce Compositional Fitted $Q$-iteration (CFQI), which uses a compositional task structure to represent heterogeneous treatment responses in medical care settings. A compositional task consists of several variations of the same task, each progressing in difficulty; solving simpler variants of the task can enable efficient solving of harder variants. CFQI uses a compositional $Q$-value function with separate modules for each task variant, allowing it to take advantage of shared knowledge while learning distinct policies for each variant. We validate CFQI's performance using a Cartpole environment and use CFQI to recommend electrolyte repletion for patients with and without renal disease. Our results demonstrate that CFQI is robust even in the presence of class imbalance, enabling effective information usage across patient sub-populations. CFQI exhibits great promise for clinical applications in scenarios characterized by known compositional structures.


title: Space-Time Graph Neural Networks

abstract: We introduce space-time graph neural network (ST-GNN), a novel GNN architecture, tailored to jointly process the underlying space-time topology of time-varying network data. The cornerstone of our proposed architecture is the composition of time and graph convolutional filters followed by pointwise nonlinear activation functions. We introduce a generic definition of convolution operators that mimic the diffusion process of signals over its underlying support. On top of this definition, we propose space-time graph convolutions that are built upon a composition of time and graph shift operators. We prove that ST-GNNs with multivariate integral Lipschitz filters are stable to small perturbations in the underlying graphs as well as small perturbations in the time domain caused by time warping. Our analysis shows that small variations in the network topology and time evolution of a system does not significantly affect the performance of ST-GNNs. Numerical experiments with decentralized control systems showcase the effectiveness and stability of the proposed ST-GNNs.


title: Long-lasting accretion-powered chemical heating of millisecond pulsars

abstract: We analyze the effect of magnetic field in superconducting neutron-star cores on the chemical heating of millisecond pulsars (MSPs). We argue that the magnetic field destroys proton superconductivity in some volume fraction of the stellar core, thus allowing for unsuppressed non-equilibrium reactions of particle mutual transformations there. The reactions transform the chemical energy, accumulated by a neutron star core during the low-mass X-ray binary stage, into heat. This heating may keep an NS warm at the MSP stage (with the surface temperature $\sim 10^5\,\rm K$) for more than a billion of years after ceasing of accretion, without appealing to the rotochemical heating mechanism.


title: Reiterated Homogenization of nonlinear degenerate elliptic operators with nonstandard growth

abstract: It is shown by means of reiterated two-scale convergence in the Sobolev-Orlicz setting, that the sequence of solutions of a class of highly oscillatory problems involving nonlinear elliptic operators with nonstandard growth, converges to a solution of a suitable homogeneous nonlinear elliptic equation associated to an operator with nonstandard growth.


title: Connectivity Concepts in Neuronal Network Modeling

abstract: Sustainable research on computational models of neuronal networks requires published models to be understandable, reproducible, and extendable. Missing details or ambiguities about mathematical concepts and assumptions, algorithmic implementations, or parameterizations hinder progress. Such flaws are unfortunately frequent and one reason is a lack of readily applicable standards and tools for model description. Our work aims to advance complete and concise descriptions of network connectivity but also to guide the implementation of connection routines in simulation software and neuromorphic hardware systems. We first review models made available by the computational neuroscience community in the repositories ModelDB and Open Source Brain, and investigate the corresponding connectivity structures and their descriptions in both manuscript and code. The review comprises the connectivity of networks with diverse levels of neuroanatomical detail and exposes how connectivity is abstracted in existing description languages and simulator interfaces. We find that a substantial proportion of the published descriptions of connectivity is ambiguous. Based on this review, we derive a set of connectivity concepts for deterministically and probabilistically connected networks and also address networks embedded in metric space. Beside these mathematical and textual guidelines, we propose a unified graphical notation for network diagrams to facilitate an intuitive understanding of network properties. Examples of representative network models demonstrate the practical use of the ideas. We hope that the proposed standardizations will contribute to unambiguous descriptions and reproducible implementations of neuronal network connectivity in computational neuroscience.


title: Human-in-the-Loop Refinement of Word Embeddings

abstract: Word embeddings are a fixed, distributional representation of the context of words in a corpus learned from word co-occurrences. Despite their proven utility in machine learning tasks, word embedding models may capture uneven semantic and syntactic representations, and can inadvertently reflect various kinds of bias present within corpora upon which they were trained. It has been demonstrated that post-processing of word embeddings to apply information found in lexical dictionaries can improve the semantic associations, thus improving their quality. Building on this idea, we propose a system that incorporates an adaptation of word embedding post-processing, which we call "interactive refitting", to address some of the most daunting qualitative problems found in word embeddings. Our approach allows a human to identify and address potential quality issues with word embeddings interactively. This has the advantage of negating the question of who decides what constitutes bias or what other quality issues may affect downstream tasks. It allows each organization or entity to address concerns they may have at a fine grained level and to do so in an iterative and interactive fashion. It also allows for better insight into what effect word embeddings, and refinements to word embeddings, have on machine learning pipelines.


title: Bayesian neural network unit priors and generalized Weibull-tail property

abstract: The connection between Bayesian neural networks and Gaussian processes gained a lot of attention in the last few years. Hidden units are proven to follow a Gaussian process limit when the layer width tends to infinity. Recent work has suggested that finite Bayesian neural networks may outperform their infinite counterparts because they adapt their internal representations flexibly. To establish solid ground for future research on finite-width neural networks, our goal is to study the prior induced on hidden units. Our main result is an accurate description of hidden units tails which shows that unit priors become heavier-tailed going deeper, thanks to the introduced notion of generalized Weibull-tail. This finding sheds light on the behavior of hidden units of finite Bayesian neural networks.


title: Modifying and optimizing the inverse of the frequency response circulant matrix as an iterative learning control compensator

abstract: Feedback control systems do not do what you ask. The concept of bandwidth is defined to tell what components of a command are reasonably well handled. Iterative Learning Control (ILC) seeks to converge to zero error following any given finite time desired trajectory as iterations progress. The approach can be used to achieve high precision tracking in spacecraft sensors performing repeated highly accurate sensor scanning. ILC asks for zero error for a finite time tracking maneuver, containing initial transients each iteration. The purpose of this paper is to create a method of designing ILC compensators based on steady state frequency response, and have the ILC converge to zero error in spite of transients and bandwidth. In this work the inverse of the circulant matrix of Markov parameters is used as a learning gain matrix. One can show that this matrix gives the steady state frequency response of the system at the finite number of frequencies observable in the finite data sequence of an iteration or run. Methods are used to adjust the steady state frequency response gains to address the transient part of the error signal. Numerical simulations compare the design approach to common time domain ILC design approaches, and one observes much faster convergence.


title: Using Optimal Transport as Alignment Objective for fine-tuning Multilingual Contextualized Embeddings

abstract: Recent studies have proposed different methods to improve multilingual word representations in contextualized settings including techniques that align between source and target embedding spaces. For contextualized embeddings, alignment becomes more complex as we additionally take context into consideration. In this work, we propose using Optimal Transport (OT) as an alignment objective during fine-tuning to further improve multilingual contextualized representations for downstream cross-lingual transfer. This approach does not require word-alignment pairs prior to fine-tuning that may lead to sub-optimal matching and instead learns the word alignments within context in an unsupervised manner. It also allows different types of mappings due to soft matching between source and target sentences. We benchmark our proposed method on two tasks (XNLI and XQuAD) and achieve improvements over baselines as well as competitive results compared to similar recent works.


title: Cavity-enhanced absorption sensing with robust sideband locking

abstract: We present a simple, continuous, cavity-enhanced optical absorption measurement technique based on high-bandwidth Pound-Drever-Hall (PDH) sideband locking. The technique provides a resonant amplitude quadrature readout that can be mapped onto the cavity's internal loss rate, and is naturally compatible with weak probe beams. With a proof-of-concept 5-cm-long Fabry-Perot cavity, we measure an absorption sensitivity of $6.6 \times 10^{-11} ~\text{cm}^{-1}/\sqrt{\text{Hz}}$ at 100 kHz (roughly the cavity bandwidth) and $\sim 10^{-10}~\text{cm}^{-1}/\sqrt{\text{Hz}}$ from 30 kHz to 1 MHz, with $38~\mu$W collected from the cavity's circulating power.


title: Phase transition in the bipartite z-matching

abstract: We study numerically the maximum $z$-matching problems on ensembles of bipartite random graphs. The $z$-matching problems describes the matching between two types of nodes, users and servers, where each server may serve up to $z$ users at the same time. By using a mapping to standard maximum-cardinality matching, and because for the latter there exists a polynomial-time exact algorithm, we can study large system sizes of up to $10^6$ nodes. We measure the capacity and the energy of the resulting optimum matchings. First, we confirm previous analytical results for bipartite regular graphs. Next, we study the finite-size behaviour of the matching capacity and find the same scaling behaviour as before for standard matching, which indicates the universality of the problem. Finally, we investigate for bipartite Erd\H{o}s-R\'enyi random graphs the saturability as a function of the average degree, i.e., whether the network allows as many customers as possible to be served, i.e. exploiting the servers in an optimal way. We find phase transitions between unsaturable and saturable phases. These coincide with a strong change of the running time of the exact matching algorithm, as well with the point where a minimum-degree heuristic algorithm starts to fail.


title: Bose-Einstein statistics for a finite number of particles

abstract: This article presents a study of the grand canonical Bose-Einstein (BE) statistics for a finite number of particles in an arbitrary quantum system. The thermodynamical quantities that identify BE condensation -- namely, the fraction of particles in the ground state and the specific heat -- are calculated here exactly in terms of temperature and fugacity. These calculations are complemented by a numerical calculation of fugacity in terms of the number of particles, without taking the thermodynamic limit. The main advantage of this approach is that it does not rely on approximations made in the vicinity of the usually defined critical temperature, rather it makes calculations with arbitrary precision possible, irrespective of temperature. Graphs for the calculated thermodynamical quantities are presented in comparison to the results previously obtained in the thermodynamic limit. In particular, it is observed that for the gas trapped in a 3-dimensional box the derivative of specific heat reaches smaller values than what was expected in the thermodynamic limit -- here, this result is also verified with analytical calculations. This is an important result for understanding the role of the thermodynamic limit in phase transitions and makes possible to further study BE statistics without relying neither on the thermodynamic limit nor on approximations near critical temperature.

categories: cond-mat.quant-gas cond-mat.stat-mech physics.comp-ph quant-ph


title: Style Equalization: Unsupervised Learning of Controllable Generative Sequence Models

abstract: Controllable generative sequence models with the capability to extract and replicate the style of specific examples enable many applications, including narrating audiobooks in different voices, auto-completing and auto-correcting written handwriting, and generating missing training samples for downstream recognition tasks. However, under an unsupervised-style setting, typical training algorithms for controllable sequence generative models suffer from the training-inference mismatch, where the same sample is used as content and style input during training but unpaired samples are given during inference. In this paper, we tackle the training-inference mismatch encountered during unsupervised learning of controllable generative sequence models. The proposed method is simple yet effective, where we use a style transformation module to transfer target style information into an unrelated style input. This method enables training using unpaired content and style samples and thereby mitigate the training-inference mismatch. We apply style equalization to text-to-speech and text-to-handwriting synthesis on three datasets. We conduct thorough evaluation, including both quantitative and qualitative user studies. Our results show that by mitigating the training-inference mismatch with the proposed style equalization, we achieve style replication scores comparable to real data in our user studies.


title: Probabilistic Metamodels for an Efficient Characterization of Complex Driving Scenarios

abstract: To validate the safety of automated vehicles (AV), scenario-based testing aims to systematically describe driving scenarios an AV might encounter. In this process, continuous inputs such as velocities result in an infinite number of possible variations of a scenario. Thus, metamodels are used to perform analyses or to select specific variations for examination. However, despite the safety criticality of AV testing, metamodels are usually seen as a part of an overall approach, and their predictions are not questioned. This paper analyzes the predictive performance of Gaussian processes (GP), deep Gaussian processes, extra-trees, and Bayesian neural networks (BNN), considering four scenarios with 5 to 20 inputs. Building on this, an iterative approach is introduced and evaluated, which allows to efficiently select test cases for common analysis tasks. The results show that regarding predictive performance, the appropriate selection of test cases is more important than the choice of metamodels. However, the choice of metamodels remains crucial: Their great flexibility allows BNNs to benefit from large amounts of data and to model even the most complex scenarios. In contrast, less flexible models like GPs convince with higher reliability. Hence, relevant test cases are best explored using scalable virtual test setups and flexible models. Subsequently, more realistic test setups and more reliable models can be used for targeted testing and validation.


title: On lattice width of lattice-free polyhedra and height of Hilbert bases

abstract: We study the lattice width of lattice-free polyhedra given by $\mathbf{A}\mathbf{x}\leq\mathbf{b}$ in terms of $\Delta(\mathbf{A})$, the maximal $n\times n$ minor in absolute value of $\mathbf{A}\in\mathbb{Z}^{m\times n}$. Our main contribution is to link the lattice width of lattice-free polyhedra to the height of Hilbert bases and to the diameter of finite abelian groups. This leads to a bound on the lattice width of lattice-free pyramids which solely depends on $\Delta(\mathbf{A})$ provided a conjecture regarding the height of Hilbert bases holds. Further, we exploit a combination of techniques to obtain novel bounds on the lattice width of simplices. A second part of the paper is devoted to a study of the above mentioned Hilbert basis conjecture. We give a complete characterization of the Hilbert basis if $\Delta(\mathbf{A}) = 2$ which implies the conjecture in that case and prove its validity for simplicial cones.


title: Revisiting Dimensionality Reduction Techniques for Visual Cluster Analysis: An Empirical Study

abstract: Dimensionality Reduction (DR) techniques can generate 2D projections and enable visual exploration of cluster structures of high-dimensional datasets. However, different DR techniques would yield various patterns, which significantly affect the performance of visual cluster analysis tasks. We present the results of a user study that investigates the influence of different DR techniques on visual cluster analysis. Our study focuses on the most concerned property types, namely the linearity and locality, and evaluates twelve representative DR techniques that cover the concerned properties. Four controlled experiments were conducted to evaluate how the DR techniques facilitate the tasks of 1) cluster identification, 2) membership identification, 3) distance comparison, and 4) density comparison, respectively. We also evaluated users' subjective preference of the DR techniques regarding the quality of projected clusters. The results show that: 1) Non-linear and Local techniques are preferred in cluster identification and membership identification; 2) Linear techniques perform better than non-linear techniques in density comparison; 3) UMAP (Uniform Manifold Approximation and Projection) and t-SNE (t-Distributed Stochastic Neighbor Embedding) perform the best in cluster identification and membership identification; 4) NMF (Nonnegative Matrix Factorization) has competitive performance in distance comparison; 5) t-SNLE (t-Distributed Stochastic Neighbor Linear Embedding) has competitive performance in density comparison.


title: On designing finite time iterative learning control based on steady state frequency response

abstract: Iterative Learning Control (ILC) is useful in spacecraft application for repeated high precision scanning maneuvers. Repetitive Control (RC) produces effective active vibration isolation based on frequency response. This paper considers ILC designed from frequency response, comparing two methods recently developed. One adapts for ILC the FIR filter design in RC that mimics the systems steady state frequency response inverse, creating a filter designed for all frequencies from zero to Nyquist. Adjustment of gains must near the beginning of the matrix need to be made because FIR gains are truncated there. The other approach uses a circulant matrix obtained from the Toeplitz matrix of Markov parameters. It is shown to give steady state frequency response for the discrete frequencies that can be seen in the number of time steps in the ILC tracking problem. The main aim is to compare their performance and ease of use. A second aim is to learn from successful ILC designs to enhances stability robustness of the two methods. Finally, the use of an ILC frequency cutoff is studied as an alternative method to eliminate instability of the control action in the converged zero tracking error solution of many ILC problems.


title: Predicting the Popularity of Games on Steam

abstract: The video game industry has seen rapid growth over the last decade. Thousands of video games are released and played by millions of people every year, creating a large community of players. Steam is a leading gaming platform and social networking site, which allows its users to purchase and store games. A by-product of Steam is a large database of information about games, players, and gaming behavior. In this paper, we take recent video games released on Steam and aim to discover the relation between game popularity and a game's features that can be acquired through Steam. We approach this task by predicting the popularity of Steam games in the early stages after their release and we use a Bayesian approach to understand the influence of a game's price, size, supported languages, release date, and genres on its player count. We implement several models and discover that a genre-based hierarchical approach achieves the best performance. We further analyze the model and interpret its coefficients, which indicate that games released at the beginning of the month and games of certain genres correlate with game popularity.


title: When soft crystals defy Newton's third law: Non-reciprocal mechanics and dislocation motility

abstract: The effective interactions between the constituents of driven soft matter generically defy Newton's third law. Combining theory and numerical simulations, we establish that six classes of mechanics with no counterparts in equilibrium systems emerge in elastic crystals challenged by nonreciprocal interactions. Going beyond linear deformations, we reveal that interactions violating Newton's third law generically turn otherwise quiescent dislocations into motile singularities which steadily glide though periodic lattices.


title: Coresets for Kernel Clustering

abstract: We devise coresets for kernel $k$-Means with a general kernel, and use them to obtain new, more efficient, algorithms. Kernel $k$-Means has superior clustering capability compared to classical $k$-Means, particularly when clusters are non-linearly separable, but it also introduces significant computational challenges. We address this computational issue by constructing a coreset, which is a reduced dataset that accurately preserves the clustering costs. Our main result is a coreset for kernel $k$-Means that works for a general kernel and has size $\mathrm{poly}(k\epsilon^{-1})$. Our new coreset both generalizes and greatly improves all previous results; moreover, it can be constructed in time near-linear in $n$. This result immediately implies new algorithms for kernel $k$-Means, such as a $(1+\epsilon)$-approximation in time near-linear in $n$, and a streaming algorithm using space and update time $\mathrm{poly}(k \epsilon^{-1} \log n)$. We validate our coreset on various datasets with different kernels. Our coreset performs consistently well, achieving small errors while using very few points. We show that our coresets can speed up kernel $k$-Means++ (the kernelized version of the widely used $k$-Means++ algorithm), and we further use this faster kernel $k$-Means++ for spectral clustering. In both applications, we achieve significant speedup and a better asymptotic growth while the error is comparable to baselines that do not use coresets.


title: Quantum Hall phase in graphene engineered by interfacial charge coupling

abstract: Quantum Hall effect (QHE), the ground to construct modern conceptual electronic systems with emerging physics, is often much influenced by the interplay between the host two-dimensional electron gases and the substrate, sometimes predicted to exhibit exotic topological states. Yet the understanding of the underlying physics and the controllable engineering of this paradigm of interaction remain challenging. Here we demonstrate the observation of an unusual QHE, which differs markedly from the known picture, in graphene samples in contact with an anti-ferromagnetic insulator CrOCl equipped with dual gates. Owing to the peculiar interfacial coupling, Landau levels in monolayer graphene remain intact at negative filling fractions, but largely deviated for the positive gate-doping range. The latter QHE phase even presents in the limit of zero magnetic field, with the consequential Landau quantization following a parabolic relation between the displacement field $D$ and the magnetic field $B$. This characteristic prevails up to 100 K in a sufficiently wide effective doping range from 0 to 10$^{13}$ cm$^{-2}$. Our findings thus open up new routes for manipulating the quantum electronic states, which may find applications in such as quantum metrology.


title: Meta Internal Learning

abstract: Internal learning for single-image generation is a framework, where a generator is trained to produce novel images based on a single image. Since these models are trained on a single image, they are limited in their scale and application. To overcome these issues, we propose a meta-learning approach that enables training over a collection of images, in order to model the internal statistics of the sample image more effectively. In the presented meta-learning approach, a single-image GAN model is generated given an input image, via a convolutional feedforward hypernetwork $f$. This network is trained over a dataset of images, allowing for feature sharing among different models, and for interpolation in the space of generative models. The generated single-image model contains a hierarchy of multiple generators and discriminators. It is therefore required to train the meta-learner in an adversarial manner, which requires careful design choices that we justify by a theoretical analysis. Our results show that the models obtained are as suitable as single-image GANs for many common image applications, significantly reduce the training time per image without loss in performance, and introduce novel capabilities, such as interpolation and feedforward modeling of novel images.


title: Parallel and Flexible Dynamic Programming via the Randomized Mini-Batch Operator

abstract: The Bellman operator constitutes the foundation of dynamic programming (DP). An alternative is presented by the Gauss-Seidel operator, whose evaluation, differently from that of the Bellman operator where the states are all processed at once, updates one state at a time, while incorporating into the computation the interim results. The provably better convergence rate of DP methods based on the Gauss-Seidel operator comes at the price of an inherent sequentiality, which prevents the exploitation of modern multi-core systems. In this work we propose a new operator for dynamic programming, namely, the randomized mini-batch operator, which aims at realizing the trade-off between the better convergence rate of the methods based on the Gauss-Seidel operator and the parallelization capability offered by the Bellman operator. After the introduction of the new operator, a theoretical analysis for validating its fundamental properties is conducted. Such properties allow one to successfully deploy the new operator in the main dynamic programming schemes, such as value iteration and modified policy iteration. We compare the convergence of the DP algorithm based on the new operator with its earlier counterparts, shedding light on the algorithmic advantages of the new formulation and the impact of the batch-size parameter on the convergence. Finally, an extensive numerical evaluation of the newly introduced operator is conducted. In accordance with the theoretical derivations, the numerical results show the competitive performance of the proposed operator and its superior flexibility, which allows one to adapt the efficiency of its iterations to different structures of MDPs and hardware setups.


title: SAIC_Cambridge-HuPBA-FBK Submission to the EPIC-Kitchens-100 Action Recognition Challenge 2021

abstract: This report presents the technical details of our submission to the EPIC-Kitchens-100 Action Recognition Challenge 2021. To participate in the challenge we deployed spatio-temporal feature extraction and aggregation models we have developed recently: GSF and XViT. GSF is an efficient spatio-temporal feature extracting module that can be plugged into 2D CNNs for video action recognition. XViT is a convolution free video feature extractor based on transformer architecture. We design an ensemble of GSF and XViT model families with different backbones and pretraining to generate the prediction scores. Our submission, visible on the public leaderboard, achieved a top-1 action recognition accuracy of 44.82%, using only RGB.


title: Grasp-Oriented Fine-grained Cloth Segmentation without Real Supervision

abstract: Automatically detecting graspable regions from a single depth image is a key ingredient in cloth manipulation. The large variability of cloth deformations has motivated most of the current approaches to focus on identifying specific grasping points rather than semantic parts, as the appearance and depth variations of local regions are smaller and easier to model than the larger ones. However, tasks like cloth folding or assisted dressing require recognising larger segments, such as semantic edges that carry more information than points. The first goal of this paper is therefore to tackle the problem of fine-grained region detection in deformed clothes using only a depth image. As a proof of concept, we implement an approach for T-shirts, and define up to 6 semantic regions of varying extent, including edges on the neckline, sleeve cuffs, and hem, plus top and bottom grasping points. We introduce a U-net based network to segment and label these parts. The second contribution of our work is concerned with the level of supervision that we require to train the proposed network. While most approaches learn to detect grasping points by combining real and synthetic annotations, in this work we defy the limitations of the synthetic data, and propose a multilayered domain adaptation (DA) strategy that does not use real annotations at all. We thoroughly evaluate our approach on real depth images of a T-shirt annotated with fine-grained labels. We show that training our network solely with synthetic data and the proposed DA yields results competitive with models trained on real data.


title: CCO-VOXEL: Chance Constrained Optimization over Uncertain Voxel-Grid Representation for Safe Trajectory Planning

abstract: We present CCO-VOXEL: the very first chance-constrained optimization (CCO) algorithm that can compute trajectory plans with probabilistic safety guarantees in real-time directly on the voxel-grid representation of the world. CCO-VOXEL maps the distribution over the distance to the closest obstacle to a distribution over collision-constraint violation and computes an optimal trajectory that minimizes the violation probability. Importantly, unlike existing works, we never assume the nature of the sensor uncertainty or the probability distribution of the resulting collision-constraint violations. We leverage the notion of Hilbert Space embedding of distributions and Maximum Mean Discrepancy (MMD) to compute a tractable surrogate for the original chance-constrained optimization problem and employ a combination of A* based graph-search and Cross-Entropy Method for obtaining its minimum. We show tangible performance gain in terms of collision avoidance and trajectory smoothness as a consequence of our probabilistic formulation vis a vis state-of-the-art planning methods that do not account for such nonparametric noise. Finally, we also show how a combination of low-dimensional feature embedding and pre-caching of Kernel Matrices of MMD allows us to achieve real-time performance in simulations as well as in implementations on on-board commodity hardware that controls the quadrotor flight


title: Geometric and Physical Quantities Improve E(3) Equivariant Message Passing

abstract: Including covariant information, such as position, force, velocity or spin is important in many tasks in computational physics and chemistry. We introduce Steerable E(3) Equivariant Graph Neural Networks (SEGNNs) that generalise equivariant graph networks, such that node and edge attributes are not restricted to invariant scalars, but can contain covariant information, such as vectors or tensors. This model, composed of steerable MLPs, is able to incorporate geometric and physical information in both the message and update functions. Through the definition of steerable node attributes, the MLPs provide a new class of activation functions for general use with steerable feature fields. We discuss ours and related work through the lens of equivariant non-linear convolutions, which further allows us to pin-point the successful components of SEGNNs: non-linear message aggregation improves upon classic linear (steerable) point convolutions; steerable messages improve upon recent equivariant graph networks that send invariant messages. We demonstrate the effectiveness of our method on several tasks in computational physics and chemistry and provide extensive ablation studies.


title: Local Integrals of Motion in Quasiperiodic Many-Body Localized Systems

abstract: Local integrals of motion play a central role in the understanding of many-body localization in many-body quantum systems in one dimension subject to a random external potential, but the question of how these local integrals of motion change in a deterministic quasiperiodic potential is one that has received significantly less attention. Here we develop a powerful new implementation of the continuous unitary transform formalism and use this method to directly compute both the effective Hamiltonian and the local integrals of motion for many-body quantum systems subject to a quasiperiodic potential. We show that the effective interactions between local integrals of motion retain a strong fingerprint of the underlying quasiperiodic potential, exhibiting sharp features at distances associated with the incommensurate wavelength used to generate the potential. Furthermore, the local integrals of motion themselves may be expressed in terms of an operator expansion which allows us to estimate the critical strength of quasiperiodic potential required to lead to a localization/delocalization transition, by means of a finite size scaling analysis.


title: Resolution-Optimal Motion Planning for Steerable Needles

abstract: Medical steerable needles can follow 3D curvilinear trajectories inside body tissue, enabling them to move around critical anatomical structures and precisely reach clinically significant targets in a minimally invasive way. Automating needle steering, with motion planning as a key component, has the potential to maximize the accuracy, precision, speed, and safety of steerable needle procedures. In this paper, we introduce the first resolution-optimal motion planner for steerable needles that offers excellent practical performance in terms of runtime while simultaneously providing strong theoretical guarantees on completeness and the global optimality of the motion plan in finite time. Compared to state-of-the-art steerable needle motion planners, simulation experiments on realistic scenarios of lung biopsy demonstrate that our proposed planner is faster in generating higher-quality plans while incorporating clinically relevant cost functions. This indicates that the theoretical guarantees of the proposed planner have a practical impact on the motion plan quality, which is valuable for computing motion plans that minimize patient trauma.


title: Non-asymptotic Heisenberg scaling: experimental metrology for a wide resources range

abstract: Adopting quantum resources for parameter estimation discloses the possibility to realize quantum sensors operating at a sensitivity beyond the standard quantum limit. Such approach promises to reach the fundamental Heisenberg scaling as a function of the employed resources $N$ in the estimation process. Although previous experiments demonstrated precision scaling approaching Heisenberg-limited performances, reaching such regime for a wide range of $N$ remains hard to accomplish. Here, we show a method which suitably allocates the available resources reaching Heisenberg scaling without any prior information on the parameter. We demonstrate experimentally such an advantage in measuring a rotation angle. We quantitatively verify Heisenberg scaling for a considerable range of $N$ by using single-photon states with high-order orbital angular momentum, achieving an error reduction greater than $10$ dB below the standard quantum limit. Such results can be applied to different scenarios, opening the way to the optimization of resources in quantum sensing.


title: Temperature dependent striction effect in a single crystalline Nd2Fe14B revealed using a novel high temperature resistivity measurement technique

abstract: We studied the temperature dependence of resistivity in a single crystalline Nd2Fe14B using a newly developed high temperature probe. This novel probe uses mechanical pin connectors instead of conducting glue/paste. From warming and cooling curves, the Curie temperature was consistently measured around Tc = 580 K. In addition, anomalous discrete jumps were found only in cooling curves between 400 and 500 K, but not shown in warming curves. More interestingly, when the jumps occurred during cooling, the resistivity was increased. This phenomenon can be understood in terms of temperature dependent striction effect induced by the re-orientation of magnetic domains well below the Curie temperature.


abstract: Message-passing neural networks (MPNNs) are the leading architecture for deep learning on graph-structured data, in large part due to their simplicity and scalability. Unfortunately, it was shown that these architectures are limited in their expressive power. This paper proposes a novel framework called Equivariant Subgraph Aggregation Networks (ESAN) to address this issue. Our main observation is that while two graphs may not be distinguishable by an MPNN, they often contain distinguishable subgraphs. Thus, we propose to represent each graph as a set of subgraphs derived by some predefined policy, and to process it using a suitable equivariant architecture. We develop novel variants of the 1-dimensional Weisfeiler-Leman (1-WL) test for graph isomorphism, and prove lower bounds on the expressiveness of ESAN in terms of these new WL variants. We further prove that our approach increases the expressive power of both MPNNs and more expressive architectures. Moreover, we provide theoretical results that describe how design choices such as the subgraph selection policy and equivariant neural architecture affect our architecture's expressive power. To deal with the increased computational cost, we propose a subgraph sampling scheme, which can be viewed as a stochastic version of our framework. A comprehensive set of experiments on real and synthetic datasets demonstrates that our framework improves the expressive power and overall performance of popular GNN architectures.


title: Shifting Capsule Networks from the Cloud to the Deep Edge

abstract: Capsule networks (CapsNets) are an emerging trend in image processing. In contrast to a convolutional neural network, CapsNets are not vulnerable to object deformation, as the relative spatial information of the objects is preserved across the network. However, their complexity is mainly related to the capsule structure and the dynamic routing mechanism, which makes it almost unreasonable to deploy a CapsNet, in its original form, in a resource-constrained device powered by a small microcontroller (MCU). In an era where intelligence is rapidly shifting from the cloud to the edge, this high complexity imposes serious challenges to the adoption of CapsNets at the very edge. To tackle this issue, we present an API for the execution of quantized CapsNets in Arm Cortex-M and RISC-V MCUs. Our software kernels extend the Arm CMSIS-NN and RISC-V PULP-NN to support capsule operations with 8-bit integers as operands. Along with it, we propose a framework to perform post-training quantization of a CapsNet. Results show a reduction in memory footprint of almost 75%, with accuracy loss ranging from 0.07% to 0.18%. In terms of throughput, our Arm Cortex-M API enables the execution of primary capsule and capsule layers with medium-sized kernels in just 119.94 and 90.60 milliseconds (ms), respectively (STM32H755ZIT6U, Cortex-M7 @ 480 MHz). For the GAP-8 SoC (RISC-V RV32IMCXpulp @ 170 MHz), the latency drops to 7.02 and 38.03 ms, respectively.


title: Generative Optimization Networks for Memory Efficient Data Generation

abstract: In standard generative deep learning models, such as autoencoders or GANs, the size of the parameter set is proportional to the complexity of the generated data distribution. A significant challenge is to deploy resource-hungry deep learning models in devices with limited memory to prevent system upgrade costs. To combat this, we propose a novel framework called generative optimization networks (GON) that is similar to GANs, but does not use a generator, significantly reducing its memory footprint. GONs use a single discriminator network and run optimization in the input space to generate new data samples, achieving an effective compromise between training time and memory consumption. GONs are most suited for data generation problems in limited memory settings. Here we illustrate their use for the problem of anomaly detection in memory-constrained edge devices arising from attacks or intrusion events. Specifically, we use a GON to calculate a reconstruction-based anomaly score for input time-series windows. Experiments on a Raspberry-Pi testbed with two existing and a new suite of datasets show that our framework gives up to 32% higher detection F1 scores and 58% lower memory consumption, with only 5% higher training overheads compared to the state-of-the-art.


title: Interference suppression techniques for OPM-based MEG: Opportunities and challenges

abstract: One of the primary technical challenges facing magnetoencephalography (MEG) is that the magnitude of neuromagnetic fields is several orders of magnitude lower than interfering signals. Recently, a new type of sensor has been developed - the optically pumped magnetometer (OPM). These sensors can be placed directly on the scalp and move with the head during participant movement, making them wearable. This opens up a range of exciting experimental and clinical opportunities for OPM-based MEG experiments, including paediatric studies, and the incorporation of naturalistic movements into neuroimaging paradigms. However, OPMs face some unique challenges in terms of interference suppression, especially in situations involving mobile participants, and when OPMs are integrated with electrical equipment required for naturalistic paradigms, such as motion capture systems. Here we briefly review various hardware solutions for OPM interference suppression. We then outline several signal processing strategies aimed at increasing the signal from neuromagnetic sources. These include regression-based strategies, temporal filtering and spatial filtering approaches. The focus is on the practical application of these signal processing algorithms to OPM data. In a similar vein, we include two worked-through experiments using OPM data collected from a whole-head sensor array. These tutorial-style examples illustrate how the steps for suppressing external interference can be implemented, including the associated data and code so that researchers can try the pipelines for themselves. With the popularity of OPM-based MEG rising, there will be an increasing need to deal with interference suppression. We hope this practical paper provides a resource for OPM-based MEG researchers to build upon.


title: Foolish Crowds Support Benign Overfitting

abstract: We prove a lower bound on the excess risk of sparse interpolating procedures for linear regression with Gaussian data in the overparameterized regime. We apply this result to obtain a lower bound for basis pursuit (the minimum $\ell_1$-norm interpolant) that implies that its excess risk can converge at an exponentially slower rate than OLS (the minimum $\ell_2$-norm interpolant), even when the ground truth is sparse. Our analysis exposes the benefit of an effect analogous to the "wisdom of the crowd", except here the harm arising from fitting the $\textit{noise}$ is ameliorated by spreading it among many directions -- the variance reduction arises from a $\textit{foolish}$ crowd.


title: Unrolling Particles: Unsupervised Learning of Sampling Distributions

abstract: Particle filtering is used to compute good nonlinear estimates of complex systems. It samples trajectories from a chosen distribution and computes the estimate as a weighted average. Easy-to-sample distributions often lead to degenerate samples where only one trajectory carries all the weight, negatively affecting the resulting performance of the estimate. While much research has been done on the design of appropriate sampling distributions that would lead to controlled degeneracy, in this paper our objective is to \emph{learn} sampling distributions. Leveraging the framework of algorithm unrolling, we model the sampling distribution as a multivariate normal, and we use neural networks to learn both the mean and the covariance. We carry out unsupervised training of the model to minimize weight degeneracy, relying only on the observed measurements of the system. We show in simulations that the resulting particle filter yields good estimates in a wide range of scenarios.


title: Towards Heuristics for Supporting the Validation of Code Smells

abstract: The identification of code smells is largely recognized as a subjective task. Consequently, the automated detection tools available are insufficient to deal with the whole subjectivity involved in the task, requiring human validation. However, developers may follow different but complementary perspectives for manually validating the same code smell. Based on this scenario, our research aims at characterizing a comprehensive and optimized set of heuristics for guiding developers to validate the incidence of code smells reported by automated detection tools. For this purpose, we conducted an empirical study with 12 experienced software developers. In this study, we invited developers to individually validate the incidence of code smells in 24 code snippets from open-source Java projects. For each validation, developers should provide arguments for supporting their decisions. The study findings revealed that developers tend to look from different perspectives even when they agree about the incidence of a code smell. After coding the 303 arguments given into heuristics and refining them, we composed an optimized set of validation items for guiding developers on manually validating the incidence of eight types of code smells: data class, god class, speculative generality, middle man, refused bequest, primitive obsession, long parameter list, and feature envy. We are currently planning a survey with specialists for identifying opportunities for evolving the set of validation items proposed.


title: Effect of non-unitary mixing on the mass hierarchy and CP violation determination at the Protvino to Orca experiment

abstract: In this paper, we have estimated the neutrino mass ordering and the CP violation sensitivity of the proposed Protvino to Orca (P2O) experiment after 6 years of data-taking. Both unitary and non-unitary $3\times 3$ neutrino mass mixing have been considered in the simulations. A forecast analysis deriving possible future constraints on non-unitary parameters at P2O have been performed.


title: Boosting RANSAC via Dual Principal Component Pursuit

abstract: In this paper, we revisit the problem of local optimization in RANSAC. Once a so-far-the-best model has been found, we refine it via Dual Principal Component Pursuit (DPCP), a robust subspace learning method with strong theoretical support and efficient algorithms. The proposed DPCP-RANSAC has far fewer parameters than existing methods and is scalable. Experiments on estimating two-view homographies, fundamental and essential matrices, and three-view homographic tensors using large-scale datasets show that our approach consistently has higher accuracy than state-of-the-art alternatives.


title: Residual Overfit Method of Exploration

abstract: Exploration is a crucial aspect of bandit and reinforcement learning algorithms. The uncertainty quantification necessary for exploration often comes from either closed-form expressions based on simple models or resampling and posterior approximations that are computationally intensive. We propose instead an approximate exploration methodology based on fitting only two point estimates, one tuned and one overfit. The approach, which we term the residual overfit method of exploration (ROME), drives exploration towards actions where the overfit model exhibits the most overfitting compared to the tuned model. The intuition is that overfitting occurs the most at actions and contexts with insufficient data to form accurate predictions of the reward. We justify this intuition formally from both a frequentist and a Bayesian information theoretic perspective. The result is a method that generalizes to a wide variety of models and avoids the computational overhead of resampling or posterior approximations. We compare ROME against a set of established contextual bandit methods on three datasets and find it to be one of the best performing.


title: General Wick's Theorem for bosonic and fermionic operators

abstract: Wick's theorem provides a connection between time ordered products of bosonic or fermionic fields, and their normal ordered counterparts. We consider a generic pair of operator orderings and we prove, by induction, the theorem that relates them. We name this the General Wick's Theorem (GWT) because it carries Wick's theorem as special instance, when one applies the GWT to time and normal orderings. We establish the GWT both for bosonic and fermionic operators, i.e. operators that satisfy c-number commutation and anticommutation relations respectively. We remarkably show that the GWT is the same, independently from the type of operator involved. By means of a few examples, we show how the GWT helps treating demanding problems by reducing the amount of calculations required.


title: Realization of graphene logics in an exciton-enhanced insulating phase

abstract: For two decades, two-dimensional carbon species, including graphene, have been the core of research in pursuing next-generation logic applications beyond the silicon technology. Yet the opening of a gap in a controllable range of doping, whilst keeping high conductance outside of this gapped state, has remained a grand challenge in them thus far. Here we show that, by bringing Bernal-stacked bilayer graphene in contact with an anti-ferromagnetic insulator CrOCl, a strong insulating behavior is observed in a wide range of positive total electron doping $n_\mathrm{tot}$ and effective displacement field $D_\mathrm{eff}$ at low temperatures. Transport measurements further prove that such an insulating phase can be well described by the picture of an inter-layer excitonic state in bilayer graphene owing to electron-hole interactions. The consequential over 1 $\mathrm{G\Omega}$ excitonic insulator can be readily killed by tuning $D_\mathrm{eff}$ and/or $n_\mathrm{tot}$, and the system recovers to a high mobility graphene with a sheet resistance of less than 100 $\mathrm{\Omega}$. It thus yields transistors with "ON-OFF" ratios reaching 10$^{7}$, and a CMOS-like graphene logic inverter is demonstrated. Our findings of the robust insulating phase in bilayer graphene may be a leap forward to fertilize the future carbon computing.


title: SNEAK: Faster Interactive Search-based SE

abstract: When AI tools can generate many solutions, some human preference must be applied to determine which solution is relevant to the current project. One way to find those preferences is interactive search-based software engineering (iSBSE) where humans can influence the search process. This paper argues that when optimizing a model using human-in-the-loop, data mining methods such as our SNEAK tool (that recurses into divisions of the data) perform better than standard iSBSE methods (that mutates multiple candidate solutions over many generations). For our case studies, SNEAK runs faster, asks fewer questions, achieves better solutions (that are within 3% of the best solutions seen in our sample space), and scales to large problems (in our experiments, models with 1000 variables can be explored with half a dozen interactions where, each time, we ask only four questions). Accordingly, we recommend SNEAK as a baseline against which future iSBSE work should be compared. To facilitate that, all our scripts are online at https://github.com/ai-se/sneak.


title: Assessing the quality of a network of vector-field sensors

abstract: An experiment consisting of a network of sensors can endow several advantages over an experiment with a single sensor: improved sensitivity, error corrections, spatial resolution, etc. However, there is often a question of how to optimally set up the network to yield the best results. Here, we consider a network of devices that measure a vector field along a given axis; namely for magnetometers in the Global Network of Optical Magnetometers for Exotic physics searches (GNOME). We quantify how well the network is arranged, explore characteristics and examples of ideal networks, and characterize the optimal configuration for GNOME. We find that by re-orienting the sensitive axes of existing magnetometers, the sensitivity of the network can be improved by around a factor of two.