title: Science Requirements and Detector Concepts for the Electron-Ion Collider: EIC Yellow Report

abstract: This report describes the physics case, the resulting detector requirements, and the evolving detector concepts for the experimental program at the Electron-Ion Collider (EIC). The EIC will be a powerful new high-luminosity facility in the United States with the capability to collide high-energy electron beams with high-energy proton and ion beams, providing access to those regions in the nucleon and nuclei where their structure is dominated by gluons. Moreover, polarized beams in the EIC will give unprecedented access to the spatial and spin structure of the proton, neutron, and light ions. The studies leading to this document were commissioned and organized by the EIC User Group with the objective of advancing the state and detail of the physics program and developing detector concepts that meet the emerging requirements in preparation for the realization of the EIC. The effort aims to provide the basis for further development of concepts for experimental equipment best suited for the science needs, including the importance of two complementary detectors and interaction regions. This report consists of three volumes. Volume I is an executive summary of our findings and developed concepts. In Volume II we describe studies of a wide range of physics measurements and the emerging requirements on detector acceptance and performance. Volume III discusses general-purpose detector concepts and the underlying technologies to meet the physics requirements. These considerations will form the basis for a world-class experimental program that aims to increase our understanding of the fundamental structure of all visible matter

categories: physics.ins-det hep-ex hep-ph nucl-ex nucl-th


title: Enhancement of the flow of vibrated grains through narrow apertures by addition of small particles

abstract: We analyze the flow and clogging of circular grains passing through a small aperture under vibration in two dimensions. Via Discrete Element Method simulations, we show that when grains smaller than the original ones are introduced in the system as an additive, the net flow of the original species can be significantly increased. Moreover, there is an optimal radius of the additive particles that maximizes the effect. This finding may constitute the basis for technological applications not only concerning the flow of granular materials but also regarding active matter, including pedestrian evacuation.


title: Nonlinear superfluidity and time-delay based chaotic spin-down in pulsars

abstract: We investigate the chaotic spin-down behavior seen from some pulsars in terms of the nonlinear superfluid dynamics. To this end, we numerically solve the set of equations for the superfluid-normal matter system whose coupling is mediated by creep of the vortex lines. We show that glitch perturbations which introduce a time-delay to the steady-state dynamics leave behind a remnant in the third time derivative of the rotational phase. This time-delay induces a hyper-chaotic spin-down for pulsars. We find that glitch-induced changes in the rotational parameters lead to non-closing cyclic patterns in the time-delayed phase difference diagram. We observe that the number of cycles, $N$, in the diagram results from $N+1$ glitches occurred in total observation time.


title: Weather GAN: Multi-Domain Weather Translation Using Generative Adversarial Networks

abstract: In this paper, a new task is proposed, namely, weather translation, which refers to transferring weather conditions of the image from one category to another. It is important for photographic style transfer. Although lots of approaches have been proposed in traditional image translation tasks, few of them can handle the multi-category weather translation task, since weather conditions have rich categories and highly complex semantic structures. To address this problem, we develop a multi-domain weather translation approach based on generative adversarial networks (GAN), denoted as Weather GAN, which can achieve the transferring of weather conditions among sunny, cloudy, foggy, rainy and snowy. Specifically, the weather conditions in the image are determined by various weather-cues, such as cloud, blue sky, wet ground, etc. Therefore, it is essential for weather translation to focus the main attention on weather-cues. To this end, the generator of Weather GAN is composed of an initial translation module, an attention module and a weather-cue segmentation module. The initial translation module performs global translation during generation procedure. The weather-cue segmentation module identifies the structure and exact distribution of weather-cues. The attention module learns to focus on the interesting areas of the image while keeping other areas unaltered. The final generated result is synthesized by these three parts. This approach suppresses the distortion and deformation caused by weather translation. our approach outperforms the state-of-the-arts has been shown by a large number of experiments and evaluations.


title: Deep Learning Based 3D Segmentation: A Survey

abstract: 3D segmentation is a fundamental and challenging problem in computer vision with applications in autonomous driving, robotics, augmented reality and medical image analysis. It has received significant attention from the computer vision, graphics and machine learning communities. Conventional methods for 3D segmentation, based on hand-crafted features and machine learning classifiers, lack generalization ability. Driven by their success in 2D computer vision, deep learning techniques have recently become the tool of choice for 3D segmentation tasks. This has led to an influx of a large number of methods in the literature that have been evaluated on different benchmark datasets. Whereas survey papers on RGB-D and point cloud segmentation exist, there is a lack of an in-depth and recent survey that covers all 3D data modalities and application domains. This paper fills the gap and provides a comprehensive survey of the recent progress made in deep learning based 3D segmentation. It covers over 180 works, analyzes their strengths and limitations and discusses their competitive results on benchmark datasets. The survey provides a summary of the most commonly used pipelines and finally highlights promising research directions for the future.


title: Atoms of Confusion in Java

abstract: Although writing code seems trivial at times, problems arise when humans misinterpret what the code actually does. One of the potential causes are "atoms of confusion", the smallest possible patterns of misinterpretable source code. Previous research has investigated the impact of atoms of confusion in C code. Results show that developers make significantly more mistakes in code where atoms are present. In this paper, we replicate the work of Gopstein et al. to the Java language. After deriving a set of atoms of confusion for Java, we perform a two-phase experiment with 132 computer science students (i.e., novice developers). Our results show that participants are 2.7 up to 56 times more likely to make mistakes in code snippets affected by 7 out of the 14 studied atoms of confusion, and when faced with both versions of the code snippets, participants perceived the version affected by the atom of confusion to be more confusing and/or less readable in 10 out of the 14 studied atoms of confusion.


title: Leveraging Data Scientists and Business Expectations During the COVID-19 Pandemic

abstract: The COVID-19 pandemic presented itself as a challenge for separate societal sectors. On the information technology (IT) standpoint, it does include the maintenance of the infrastructure required to hold collaborative activities that went to happen online; the implementation of projects in a scenario of uncertainty; and keep the software engineering and information security best practices in place. This article presents the context of a data science team organized as a skunk works group composed of professionals with experience in both the industry and academia, located in an IT department working with a team of seasoned data engineers. At the time the pandemic started, the relatively new data science team was positioning itself as a Center of Excellence in Advanced Analytics. With the pandemic, it had to keep up with the expectations from the stakeholders; manage current and upcoming data science projects within the methodology practiced in IT; and maintain a high level in the quality of service delivered. This article discusses how did the COVID-19 pandemic affected the team productivity and its practices as well as the lessons learned with it.


title: Estimating Regions of Attraction for Transitional Flows using Quadratic Constraints

abstract: This letter describes a method for estimating regions of attraction and bounds on permissible perturbation amplitudes in nonlinear fluids systems. The proposed approach exploits quadratic constraints between the inputs and outputs of the nonlinearity on elliptical sets. This approach reduces conservatism and improves estimates for regions of attraction and bounds on permissible perturbation amplitudes over related methods that employ quadratic constraints on spherical sets. We present and investigate two algorithms for performing the analysis: an iterative method that refines the analysis by solving a sequence of semi-definite programs, and another based on solving a generalized eigenvalue problem with lower computational complexity, but at the cost of some precision in the final solution. The proposed algorithms are demonstrated on low-order mechanistic models of transitional flows. We further compare accuracy and computational complexity with analysis based on sum-of-squares optimization and direct-adjoint looping methods.


title: Correlation analysis of node and edge centrality measures in artificial complex networks

abstract: The importance of a node in a social network is identified through a set of measures called centrality. Degree centrality, closeness centrality, betweenness centrality and clustering coefficient are the most frequently used metrics to compute node centrality. Their computational complexity in some cases makes unfeasible, when not practically impossible, their computations. For this reason we focused on two alternative measures, WERW-Kpath and Game of Thieves, which are at the same time highly descriptive and computationally affordable. Our experiments show that a strong correlation exists between WERW-Kpath and Game of Thieves and the classical centrality measures. This may suggest the possibility of using them as useful and more economic replacements of the classical centrality measures.


title: Pendell\"{o}sung Interferometry Probes the Neutron Charge Radius, Lattice Dynamics, and Fifth Forces

abstract: Structure factors describe how incident radiation is scattered from materials such as silicon and germanium and characterize the physical interaction between the material and scattered particles. We use neutron pendell\"{o}sung interferometry to make precision measurements of the (220) and (400) neutron-silicon structure factors, and achieve a factor of four improvement in the (111) structure factor uncertainty. These data provide measurements of the silicon Debye-Waller factor at room temperature and the mean square neutron charge radius $\langle r_n^2 \rangle = -0.1101 \pm 0.0089 \, \mathrm{fm}^2$. Combined with existing measurements of the Debye-Waller factor and charge radius, the measured structure factors also improve constraints on the strength of a Yukawa-modification to gravity by an order of magnitude over the 20 pm to 10 nm length scale range.


title: Data-driven entropic spatially inhomogeneous evolutionary games

abstract: We introduce novel multi-agent interaction models of entropic spatially inhomogeneous evolutionary undisclosed games and their quasi-static limits. These evolutions vastly generalize first and second order dynamics. Besides the well-posedness of these novel forms of multi-agent interactions, we are concerned with the learnability of individual payoff functions from observation data. We formulate the payoff learning as a variational problem, minimizing the discrepancy between the observations and the predictions by the payoff function. The inferred payoff function can then be used to simulate further evolutions, which are fully data-driven. We prove convergence of minimizing solutions obtained from a finite number of observations to a mean field limit and the minimal value provides a quantitative error bound on the data-driven evolutions. The abstract framework is fully constructive and numerically implementable. We illustrate this on computational examples where a ground truth payoff function is known and on examples where this is not the case, including a model for pedestrian movement.


title: Automatic Borescope Damage Assessments for Gas Turbine Blades via Deep Learning

abstract: To maximise fuel economy, bladed components in aero-engines operate close to material limits. The severe operating environment leads to in-service damage on compressor and turbine blades, having a profound and immediate impact on the performance of the engine. Current methods of blade visual inspection are mainly based on borescope imaging. During these inspections, the sentencing of components under inspection requires significant manual effort, with a lack of systematic approaches to avoid human biases. To perform fast and accurate sentencing, we propose an automatic workflow based on deep learning for detecting damage present on rotor blades using borescope videos. Building upon state-of-the-art methods from computer vision, we show that damage statistics can be presented for each blade in a blade row separately, and demonstrate the workflow on two borescope videos.


title: Sustainable improvement of seeds vigor using dry atmospheric plasma priming: evidence through coating wettability, water uptake and plasma reactive chemistry

abstract: Lentil seeds have been packed in a dielectric barrier device and exposed for several minutes to a cold atmospheric plasma generated in helium with/without a reactive gas (nitrogen or oxygen). While no impact is evidenced on germination rates (caping nearly at 100% with/without plasma exposure), seeds vigor is clearly improved with a median germination time decreasing from 1850 min (31h) to 1500 min (26 h), hence representing a time saving of at least 5 hours. We show that the admixture of nitrogen to helium can further increase this time saving up to 8 hours. Contrarily, we demonstrate that the addition of molecular oxygen to the helium discharge does not promote seeds vigor. Whatever the plasma chemistry utilized, these biological effects are accompanied with strong hydrophilization of the seed coating (with a decrease in contact angles from 118{\deg} to 25{\deg}) as well as increased water absorption (water uptakes measured 8 hours after imbibition are close to 50% for plasma-treated seeds instead of 37% for seeds from the control group). A follow-up of the seeds over a 45-days ageing period shows the sustainability of the plasma-triggered biological effects: whatever the plasma treatment, seeds vigor remains stable and much higher than for seeds unexposed to plasma). For these reasons, the seed-packed dielectric barrier device (SP-DBD) supplied with a He-N2 gas mixture can be considered as a relevant dry atmospheric priming plasma (DAPP) in the same way as those used in routine by seed companies.

categories: q-bio.OT physics.app-ph physics.bio-ph physics.plasm-ph


title: Multimodal fusion using sparse CCA for breast cancer survival prediction

abstract: Effective understanding of a disease such as cancer requires fusing multiple sources of information captured across physical scales by multimodal data. In this work, we propose a novel feature embedding module that derives from canonical correlation analyses to account for intra-modality and inter-modality correlations. Experiments on simulated and real data demonstrate how our proposed module can learn well-correlated multi-dimensional embeddings. These embeddings perform competitively on one-year survival classification of TCGA-BRCA breast cancer patients, yielding average F1 scores up to 58.69% under 5-fold cross-validation.


title: The Master Ward Identity for the complex scalar field

abstract: The Master Ward Identity (MWI) gives a universal formulation of the symmetries of a classical field theory. It is a renormalization condition for the time ordered products of the corresponding quantum field theory. We show that the MWI for a complex scalar field with quartic interaction can be satisfied, with the current, the interaction and all their submonomials as allowed arguments. The proof is performed in the framework of deformation quantization combined with causal perturbation theory, which is summarized and introduced. Some examples of Ward Identities following from the proven MWI are given.


title: When is it permissible for artificial intelligence to lie? A trust-based approach

abstract: Conversational Artificial Intelligence (AI) used in industry settings can be trained to closely mimic human behaviors, including lying and deception. However, lying is often a necessary part of negotiation. To address this, we develop a normative framework for when it is ethical or unethical for a conversational AI to lie to humans, based on whether there is what we call "invitation of trust" in a particular scenario. Importantly, cultural norms play an important role in determining whether there is invitation of trust across negotiation settings, and thus an AI trained in one culture may not be generalizable to others. Moreover, individuals may have different expectations regarding the invitation of trust and propensity to lie for human vs. AI negotiators, and these expectations may vary across cultures as well. Finally, we outline how a conversational chatbot can be trained to negotiate ethically by applying autoregressive models to large dialog and negotiations datasets.


title: The $\Lambda$ and the CDM as integration constants

abstract: Notoriously, the two main problems of the standard $\Lambda$CDM model of cosmology are the cosmological constant $\Lambda$ and the cold dark matter, CDM. This essay shows that both the $\Lambda$ and the CDM arise as integration constants in a careful derivation of Einstein's equations from first principles in a Lorentz gauge theory. The dark sector of the universe might only reflect the geometry of a spontaneous symmetry breaking that is necessary for the existence of a spacetime and an observer therein.


title: MapVisual: A Visualization Tool for Memory Access Patterns

abstract: Memory bandwidth is strongly correlated to the complexity of the memory access pattern of a running application. To improve memory performance of applications with irregular and/or unpredictable memory patterns, we need tools to analyze these patterns during application development. In this work, we present a software tool for the analysis and visualization of memory access patterns. We perform memory tracing and profiling, we do data processing and filtering, and we use visualization algorithms to produce three dimensional graphs that describe the patterns both in space and in time. Finally, we evaluate our toolflow on a variety of applications.


title: The MICCAI Hackathon on reproducibility, diversity, and selection of papers at the MICCAI conference

abstract: The MICCAI conference has encountered tremendous growth over the last years in terms of the size of the community, as well as the number of contributions and their technical success. With this growth, however, come new challenges for the community. Methods are more difficult to reproduce and the ever-increasing number of paper submissions to the MICCAI conference poses new questions regarding the selection process and the diversity of topics. To exchange, discuss, and find novel and creative solutions to these challenges, a new format of a hackathon was initiated as a satellite event at the MICCAI 2020 conference: The MICCAI Hackathon. The first edition of the MICCAI Hackathon covered the topics reproducibility, diversity, and selection of MICCAI papers. In the manner of a small think-tank, participants collaborated to find solutions to these challenges. In this report, we summarize the insights from the MICCAI Hackathon into immediate and long-term measures to address these challenges. The proposed measures can be seen as starting points and guidelines for discussions and actions to possibly improve the MICCAI conference with regards to reproducibility, diversity, and selection of papers.


title: Electric Vector Potential Approach in Electrostatics: The Surface Electrode

abstract: Electric vector potential $\Theta(\boldsymbol{r})$ is a legitimate but rarely used tool to calculate the steady electric field in free-charge regions. Commonly, it is preferred to employ the scalar electric potential $\Phi(\boldsymbol{r})$ rather than $\Theta(\boldsymbol{r})$ in most of the electrostatic problems. However, the electric vector potential formulation can be a viable representation to study certain systems. One of them is the surface electrode SE, a planar finite region $\mathcal{A}_{-}$ kept at a fixed electric potential with the rest grounded including a gap of thickness $\nu$ between electrodes. In this document we use the \textit{Helmholtz Decomposition Theorem} and the electric vector potential formulation to provide integral expressions for the surface charge density and the electric field of the SE of arbitrary contour $\partial\mathcal{A}$. We also present an alternative derivation of the result found in [M. Oliveira and J. A. Miranda 2001 Eur. J. Phys. 22 31] for the gapless ($\nu=0$) surface electrode GSE without invoking any analogy between the GSE and magnetostatics. It is shown that electric vector potential and the electric field of the gapped circular SE at any point can be obtained from an average of the gapless solution on the gap. Keywords: Electric vector potential, surface-electrode, Helmholtz Decomposition, Green's theorem.


title: A bridge between invariant dynamical structures and uncertainty quantification

abstract: We develop a new quantifier for forward time uncertainty for trajectories that are solutions of models generated from data sets. Our uncertainty quantifier is defined on the phase space in which the trajectories evolve and we show that it has a rich structure that is directly related to phase space structures from dynamical systems theory, such as hyperbolic trajectories and their stable and unstable manifolds. We apply our approach to an ocean data set, as well as standard benchmark models from deterministic dynamical systems theory. A significant application of our results, is that they allow a quantitative comparison of the transport performance described from different ocean data sets. This is particularly interesting nowadays when a wide variety of sources are available, since our methodology provides avenues for assessing the effective use of these data sets in a variety of situations.

categories: math.DS cond-mat.stat-mech physics.ao-ph physics.flu-dyn


title: Problems with Risk Matrices Using Ordinal Scales

abstract: In this paper, we discuss various problems in the usage and definition of risk matrices. We give an overview of the general process of risk assessment with risk matrices and ordinal scales. Furthermore, we explain the fallacies in each phase of this process and give hints on which decisions may lead to more problems than others and how to avoid them. Among those 24 discussed problems are ordinal scales, semi-quantitative arithmetics, range compression, risk inversion, ambiguity, and neglection of uncertainty. Finally, we make a case for avoiding risk matrices altogether and instead propose using fully quantitative risk assessment methods.


title: Combining Gaussian processes and polynomial chaos expansions for stochastic nonlinear model predictive control

abstract: Model predictive control is an advanced control approach for multivariable systems with constraints, which is reliant on an accurate dynamic model. Most real dynamic models are however affected by uncertainties, which can lead to closed-loop performance deterioration and constraint violations. In this paper we introduce a new algorithm to explicitly consider time-invariant stochastic uncertainties in optimal control problems. The difficulty of propagating stochastic variables through nonlinear functions is dealt with by combining Gaussian processes with polynomial chaos expansions. The main novelty in this paper is to use this combination in an efficient fashion to obtain mean and variance estimates of nonlinear transformations. Using this algorithm, it is shown how to formulate both chance-constraints and a probabilistic objective for the optimal control problem. On a batch reactor case study we firstly verify the ability of the new approach to accurately approximate the probability distributions required. Secondly, a tractable stochastic nonlinear model predictive control approach is formulated with an economic objective to demonstrate the closed-loop performance of the method via Monte Carlo simulations.


title: Mining Program Properties From Neural Networks Trained on Source Code Embeddings

abstract: In this paper, we propose a novel approach for mining different program features by analysing the internal behaviour of a deep neural network trained on source code. Using an unlabelled dataset of Java programs and three different embedding strategies for the methods in the dataset, we train an autoencoder for each program embedding and then we test the emerging ability of the internal neurons in autonomously building internal representations for different program features. We defined three binary classification labelling policies inspired by real programming issues, so to test the performance of each neuron in classifying programs accordingly to these classification rules, showing that some neurons can actually detect different program properties. We also analyse how the program representation chosen as input affects the performance on the aforementioned tasks. On the other hand, we are interested in finding the overall most informative neurons in the network regardless of a given task. To this aim, we propose and evaluate two methods for ranking neurons independently of any property. Finally, we discuss how these ideas can be applied in different settings for simplifying the programmers' work, for instance if included in environments such as software repositories or code editors.


title: An assessment of phase field fracture: crack initiation and growth

abstract: The phase field paradigm, in combination with a suitable variational structure, has opened a path for using Griffith's energy balance to predict the fracture of solids. These so-called phase field fracture methods have gained significant popularity over the past decade, and are now part of commercial finite element packages and engineering fitness-for-service assessments. Crack paths can be predicted, in arbitrary geometries and dimensions, based on a global energy minimisation - without the need for \textit{ad hoc} criteria. In this work, we review the fundamentals of phase field fracture methods and examine their capabilities in delivering predictions in agreement with the classical fracture mechanics theory pioneered by Griffith. The two most widely used phase field fracture models are implemented in the context of the finite element method, and several paradigmatic boundary value problems are addressed to gain insight into their predictive abilities across all cracking stages; both the initiation of growth and stable crack propagation are investigated. In addition, we examine the effectiveness of phase field models with an internal material length scale in capturing size effects and the transition flaw size concept. Our results show that phase field fracture methods satisfactorily approximate classical fracture mechanics predictions and can also reconcile stress and toughness criteria for fracture. The accuracy of the approximation is however dependent on modelling and constitutive choices; we provide a rationale for these differences and identify suitable approaches for delivering phase field fracture predictions that are in good agreement with well-established fracture mechanics paradigms.


title: Decentralized Langevin Dynamics over a Directed Graph

abstract: The prevalence of technologies in the space of the Internet of Things and use of multi-processing computing platforms to aid in the computation required to perform learning and inference from large volumes of data has necessitated the extensive study of algorithms on decentralized platforms. In these settings, computing nodes send and receive data across graph-structured communication links, and using a combination of local computation and consensus-seeking communication, cooperately solve a problem of interest. Recently, Langevin dynamics as a tool for high dimensional sampling and posterior Bayesian inference has been studied in the context of a decentralized operation. However, this work has been limited to undirected graphs, wherein all communication is two-sided, i.e., if node A can send data to node B, then node B can also send data to node A. We extend the state of the art in considering Langevin dynamics on directed graphs.


title: Pixel-wise Anomaly Detection in Complex Driving Scenes

abstract: The inability of state-of-the-art semantic segmentation methods to detect anomaly instances hinders them from being deployed in safety-critical and complex applications, such as autonomous driving. Recent approaches have focused on either leveraging segmentation uncertainty to identify anomalous areas or re-synthesizing the image from the semantic label map to find dissimilarities with the input image. In this work, we demonstrate that these two methodologies contain complementary information and can be combined to produce robust predictions for anomaly segmentation. We present a pixel-wise anomaly detection framework that uses uncertainty maps to improve over existing re-synthesis methods in finding dissimilarities between the input and generated images. Our approach works as a general framework around already trained segmentation networks, which ensures anomaly detection without compromising segmentation accuracy, while significantly outperforming all similar methods. Top-2 performance across a range of different anomaly datasets shows the robustness of our approach to handling different anomaly instances.


title: On a Strange Motion in the System with Anisotropic Dry Friction

abstract: We consider a particle on the horizontal plane with a dry friction. The friction is anisotropic but symmetric under the group of rotations of the plane. It turns out that the particle can move such that in the finite time the trajectory turns about the center of symmetry infinitely many times.


title: Machine Learning versus Mathematical Model to Estimate the Transverse Shear Stress Distribution in a Rectangular Channel

abstract: One of the most important subjects of hydraulic engineering is the reliable estimation of the transverse distribution in the rectangular channel of bed and wall shear stresses. This study makes use of the Tsallis entropy, genetic programming (GP) and adaptive neuro-fuzzy inference system (ANFIS) methods to assess the shear stress distribution (SSD) in the rectangular channel. To evaluate the results of the Tsallis entropy, GP and ANFIS models, laboratory observations were used in which shear stress was measured using an optimized Preston tube. This is then used to measure the SSD in various aspect ratios in the rectangular channel. To investigate the shear stress percentage, 10 data series with a total of 112 different data were used. The results of the sensitivity analysis show that the most influential parameter for the SSD in a smooth rectangular channel is the dimensionless parameter B/H, Where the transverse coordinate is B, and the flow depth is H. With the parameters (b/B), (B/H) for the bed and (z/H), (B/H) for the wall as inputs, the modeling of the GP was better than the other one. Based on the analysis, it can be concluded that the use of GP and ANFIS algorithms is more effective in estimating shear stress in smooth rectangular channels than the Tsallis entropy-based equations.


title: Convolutional Neural Network Denoising in Fluorescence Lifetime Imaging Microscopy (FLIM)

abstract: Fluorescence lifetime imaging microscopy (FLIM) systems are limited by their slow processing speed, low signal-to-noise ratio (SNR), and expensive and challenging hardware setups. In this work, we demonstrate applying a denoising convolutional network to improve FLIM SNR. The network will be integrated with an instant FLIM system with fast data acquisition based on analog signal processing, high SNR using high-efficiency pulse-modulation, and cost-effective implementation utilizing off-the-shelf radio-frequency components. Our instant FLIM system simultaneously provides the intensity, lifetime, and phasor plots \textit{in vivo} and \textit{ex vivo}. By integrating image denoising using the trained deep learning model on the FLIM data, provide accurate FLIM phasor measurements are obtained. The enhanced phasor is then passed through the K-means clustering segmentation method, an unbiased and unsupervised machine learning technique to separate different fluorophores accurately. Our experimental \textit{in vivo} mouse kidney results indicate that introducing the deep learning image denoising model before the segmentation effectively removes the noise in the phasor compared to existing methods and provides clearer segments. Hence, the proposed deep learning-based workflow provides fast and accurate automatic segmentation of fluorescence images using instant FLIM. The denoising operation is effective for the segmentation if the FLIM measurements are noisy. The clustering can effectively enhance the detection of biological structures of interest in biomedical imaging applications.


title: Assessing the Formation of Solid Hydrogen Objects in Starless Molecular Cloud Cores

abstract: The properties of the first-discovered interstellar object (ISO), 1I/2017 (`Oumuamua), differ from both Solar System asteroids and comets, casting doubt on a protoplanetary disk origin. In this study, we investigate the possibility that it formed with a substantial H2 ice component in the starless core of a giant molecular cloud. While interstellar solid hydrogen has yet to be detected, this constituent would explain a number of the ISO's properties. We consider the relevant processes required to build decameter-sized, solid hydrogen bodies and assess the plausibility of growth in various size regimes. Via an energy balance argument, we find that the most severe barrier to formation is the extremely low temperature required for the favorability of molecular hydrogen ice. However, if deposition occurs, we find that the turbulence within starless cores is conducive for growth into kilometer-sized bodies on sufficiently short timescales. Then, we analyze mass loss in the interstellar medium and determine the necessary size for a hydrogen object to survive a journey to the Solar System as a function of ISO age. Finally, we discuss the implications if the H2 explanation is correct, and we assess the future prospects of ISO science. If hydrogen ice ISOs do exist, our hypothesized formation pathway would require a small population of porous, 100 micron dust in a starless core region that has cooled to 2.8K via adiabatic expansion of the surrounding gas and excellent shielding from electromagnetic radiation and cosmic rays.


title: Computation of the chemical potential and solubility of amorphous solids

abstract: Using a recently developed technique to estimate the equilibrium free energy of glassy materials, we explore if equilibrium simulation methods can be used to estimate the solubility of amorphous solids. As an illustration, we compute the chemical potentials of the constituent particles of a two-component Kob-Andersen model glass former. To compute the chemical potential for different components, we combine the calculation of the overall free energy of the glass with a calculation of the chemical potential difference of the two components. We find that the standard method to compute chemical potential differences by thermodynamic integration yields not only a wide scatter in the chemical potential values but, more seriously, the average of the thermodynamic integration results is well above the extrapolated value for the supercooled liquid. However, we find that if we compute the difference of the chemical potential of the components with the the non-equilibrium free energy expression proposed by Jarzynski, we obtain a good match with the extrapolated value of the supercooled liquid. The extension of the Jarzynski method that we propose opens a potentially powerful route to compute free-energy related equilibrium properties of glasses. We find that the solubility estimate of amorphous materials obtained from direct coexistence simulations is only in fair agreement with the solubility prediction based on the chemical potential calculations of a hypothetical "well-equilibrated glass". In direct coexistence simulations, we find that, in qualitative agreement with experiments, the amorphous solubility decreases with time and attains a low solubility value.


title: The Effects of Continuous Integration on Software Development: a Systematic Literature Review

abstract: Context: Continuous integration (CI) is a software engineering technique that proclaims a set of frequent activities to assure the health of the software product. Researchers and practitioners mention several benefits related to CI. However, no systematic study surveys state of the art regarding such benefits or cons. Objective: This study aims to identify and interpret empirical evidence regarding how CI impacts software development. Method: Through a Systematic Literature Review, we search for studies in six digital libraries. Starting from 479 studies, we select 101 empirical studies that evaluate CI for any software development activity (e.g., testing). We thoroughly read and extract information regarding (i) CI environment, (ii) findings related to effects of CI, and (iii) the employed methodology. We apply a thematic synthesis to group and summarize the findings. Results: Existing research has explored the positive effects of CI, such as better cooperation, or negative effects, such as adding technical and process challenges. From our thematic synthesis, we identify six themes: development activities, software process, quality assurance, integration patterns, issues & defects, and build patterns. Conclusions: Empirical research in CI has been increasing over recent years. We found that much of the existing research reveals that CI brings positive effects to the software development phenomena. However, CI may also bring technical challenges to software development teams. Despite the overall positive outlook regarding CI, we still find room for improvements in the existing empirical research that evaluates the effects of CI.


title: On the Basilica Operation

abstract: Inspired by the Basilica group $\mathcal B$, we describe a general construction which allows us to associate to any group of automorphisms $G \leq \operatorname{Aut}(T)$ of a rooted tree $T$ a family of Basilica groups $\operatorname{Bas}_s(G), s \in \mathbb{N}_+$. For the dyadic odometer $\mathcal{O}_2$, one has $\mathcal B = \operatorname{Bas}_2(\mathcal{O}_2)$. We study which properties of groups acting on rooted trees are preserved under this operation. Introducing some techniques for handling $\operatorname{Bas}_s(G)$, in case $G$ fulfills some branching conditions, we are able to calculate the Hausdorff dimension of the Basilica groups associated to certain $\mathsf{GGS}$-groups and of generalisations of the odometer, $\mathcal{O}_m^d$. Furthermore, we study the structure of groups of type $\operatorname{Bas}_s(\mathcal{O}_m^d)$ and prove an analogue of the congruence subgroup property in the case $m = p$, a prime.


title: Portfolio risk allocation through Shapley value

abstract: We argue that using the Shapley value of cooperative game theory as the scheme for risk allocation among non-orthogonal risk factors is a natural way of interpreting the contribution made by each of such factors to overall portfolio risk. We discuss a Shapley value scheme for allocating risk to non-orthogonal greeks in a portfolio of derivatives. Such a situation arises, for example, when using a stochastic volatility model to capture option volatility smile. We also show that Shapley value allows for a natural method of interpreting components of enterprise risk measures such as VaR and ES. For all applications discussed, we derive explicit formulas and / or numerical algorithms to calculate the allocations.


title: A new method for spatial mode shifting of a stabilized optical cavity for the generation of dual-color X-rays

abstract: We propose an innovative method to shift the transversal position of the focal point of an optical cavity keeping it actively stabilized. Our cavity is a 4 mirrors bow-tie cavity and the spatial shift of the resonant mode is obtained by properly rotating the two curved mirrors by piezo actuators. This method allows us to move the transversal position of the cavity focal point of $135 \mu m$ in a time of $50 ms$, keeping the resonance condition of the cavity by means of the Pound-Drever-Hall technique. We propose to use this technique for the generation of 2-color X-rays via Inverse Compton Scattering (ICS). This technique exploits the large average power stored in the high finesse cavity by shifting the laser beam with respect to the electron beam trajectory, hence controlling the spatial superposition of the electron and photon beams in the interaction region. Arranging two cavities assembled one on top of the other, with different collision angle with the electron beam, allows the generation of X-ray bursts of different energies just by swiftly moving the two cavities, switching the two focal points onto the electron beam trajectory, thus activating in sequence two different ICS spectral lines.


title: Portfolio Construction as Linearly Constrained Separable Optimization

abstract: Mean-variance portfolio optimization problems often involve separable nonconvex terms, including penalties on capital gains, integer share constraints, and minimum position and trade sizes. We propose a heuristic algorithm for such problems based on the alternating direction method of multipliers (ADMM). This method allows for solve times in tens to hundreds of milliseconds with around 1000 securities and 100 risk factors. We also obtain a bound on the achievable performance. Our heuristic and bound are both derived from similar results for other optimization problems with a separable objective and affine equality constraints. We discuss a concrete implementation in the case where the separable terms in the objective are piecewise quadratic, and we empirically demonstrate its effectiveness for tax-aware portfolio construction.


title: Extended Tree Search for Robot Task and Motion Planning

abstract: Integrated task and motion planning (TAMP) is desirable for generalized autonomy robots but it is challenging at the same time. TAMP requires the planner to not only search in both the large symbolic task space and the high-dimension motion space but also deal with the infeasible task actions due to its intrinsic hierarchical process. We propose a novel decision-making framework for TAMP by constructing an extended decision tree for both symbolic task planning and high-dimension motion variable binding. We integrate top-k planning for generating explicitly a skeleton space where a variety of candidate skeleton plans are at disposal. Moreover, we effectively combine this skeleton space with the resultant motion variable spaces into a single extended decision space. Accordingly, we use Monte-Carlo Tree Search (MCTS) to ensure an exploration-exploitation balance at each decision node and optimize globally to produce optimal solutions. The proposed seamless combination of symbolic top-k planning with streams, with the proved optimality of MCTS, leads to a powerful planning algorithm that can handle the combinatorial complexity of long-horizon manipulation tasks. We empirically evaluate our proposed algorithm in challenging robot tasks with different domains that require multi-stage decisions and show how our method can overcome the large task space and motion space through its effective tree search compared to its most competitive baseline method.


title: Rudder: A Cross Lingual Video and Text Retrieval Dataset

abstract: Video retrieval using natural language queries requires learning semantically meaningful joint embeddings between the text and the audio-visual input. Often, such joint embeddings are learnt using pairwise (or triplet) contrastive loss objectives which cannot give enough attention to 'difficult-to-retrieve' samples during training. This problem is especially pronounced in data-scarce settings where the data is relatively small (10% of the large scale MSR-VTT) to cover the rather complex audio-visual embedding space. In this context, we introduce Rudder - a multilingual video-text retrieval dataset that includes audio and textual captions in Marathi, Hindi, Tamil, Kannada, Malayalam and Telugu. Furthermore, we propose to compensate for data scarcity by using domain knowledge to augment supervision. To this end, in addition to the conventional three samples of a triplet (anchor, positive, and negative), we introduce a fourth term - a partial - to define a differential margin based partialorder loss. The partials are heuristically sampled such that they semantically lie in the overlap zone between the positives and the negatives, thereby resulting in broader embedding coverage. Our proposals consistently outperform the conventional max-margin and triplet losses and improve the state-of-the-art on MSR-VTT and DiDeMO datasets. We report benchmark results on Rudder while also observing significant gains using the proposed partial order loss, especially when the language specific retrieval models are jointly trained by availing the cross-lingual alignment across the language-specific datasets.


title: Orthosymplectic Implosions

abstract: We propose quivers for Coulomb branch constructions of universal implosions for orthogonal and symplectic groups, extending the work on special unitary groups in arXiv:2004.09620. The quivers are unitary-orthosymplectic as opposed to the purely unitary quivers in the A-type case. Where possible we check our proposals using Hilbert series techniques.


title: Extreme statistics of the excitations in the random transverse Ising chain

abstract: In random quantum magnets, like the random transverse Ising chain, the low energy excitations are localized in rare regions and there are only weak correlations between them. It is a fascinating question whether these correlations are completely irrelevant in the sense of the renormalization group. To answer this question, we calculate the distribution of the excitation energy of the random transverse Ising chain in the disordered Griffiths phase with high numerical precision by the strong disorder renormalization group method and - for shorter chains - by free-fermion techniques. Asymptotically, the two methods give identical results, which are well fitted by the Fr\'echet limit law of the extremes of independent and identically distributed random numbers. Given the finite size corrections, the two numerical methods give very similar results, but they differ from the correction term for uncorrelated random variables. This fact shows that the weak correlations between low-energy excitations in random quantum magnets are not entirely irrelevant.


title: Dynamic Range Mode Enumeration

abstract: The range mode problem is a fundamental problem and there is a lot of work about it. There is also some work for the dynamic version of it and the enumerating version of it, but there is no previous research about the dynamic and enumerating version of it. We found an efficient algorithm for it.


title: Analytically Tractable Inference in Deep Neural Networks

abstract: Since its inception, deep learning has been overwhelmingly reliant on backpropagation and gradient-based optimization algorithms in order to learn weight and bias parameter values. Tractable Approximate Gaussian Inference (TAGI) algorithm was shown to be a viable and scalable alternative to backpropagation for shallow fully-connected neural networks. In this paper, we are demonstrating how TAGI matches or exceeds the performance of backpropagation, for training classic deep neural network architectures. Although TAGI's computational efficiency is still below that of deterministic approaches relying on backpropagation, it outperforms them on classification tasks and matches their performance for information maximizing generative adversarial networks while using smaller architectures trained with fewer epochs.


title: Generating Reliable Process Event Streams and Time Series Data based on Neural Networks

abstract: Domains such as manufacturing and medicine crave for continuous monitoring and analysis of their processes, especially in combination with time series as produced by sensors. Time series data can be exploited to, for example, explain and predict concept drifts during runtime. Generally, a certain data volume is required in order to produce meaningful analysis results. However, reliable data sets are often missing, for example, if event streams and times series data are collected separately, in case of a new process, or if it is too expensive to obtain a sufficient data volume. Additional challenges arise with preparing time series data from multiple event sources, variations in data collection frequency, and concept drift. This paper proposes the GENLOG approach to generate reliable event and time series data that follows the distribution of the underlying input data set. GENLOG employs data resampling and enables the user to select different parts of the log data to orchestrate the training of a recurrent neural network for stream generation. The generated data is sampled back to its original sample rate and is embedded into the originating log data file. Overall, GENLOG can boost small data sets and consequently the application of online process mining.


title: Learning Class-Agnostic Pseudo Mask Generation for Box-Supervised Semantic Segmentation

abstract: Recently, several weakly supervised learning methods have been devoted to utilize bounding box supervision for training deep semantic segmentation models. Most existing methods usually leverage the generic proposal generators (e.g., dense CRF and MCG) to produce enhanced segmentation masks for further training segmentation models. These proposal generators, however, are generic and not specifically designed for box-supervised semantic segmentation, thereby leaving some leeway for improving segmentation performance. In this paper, we aim at seeking for a more accurate learning-based class-agnostic pseudo mask generator tailored to box-supervised semantic segmentation. To this end, we resort to a pixel-level annotated auxiliary dataset where the class labels are non-overlapped with those of the box-annotated dataset. For learning pseudo mask generator from the auxiliary dataset, we present a bi-level optimization formulation. In particular, the lower subproblem is used to learn box-supervised semantic segmentation, while the upper subproblem is used to learn an optimal class-agnostic pseudo mask generator. The learned pseudo segmentation mask generator can then be deployed to the box-annotated dataset for improving weakly supervised semantic segmentation. Experiments on PASCAL VOC 2012 dataset show that the learned pseudo mask generator is effective in boosting segmentation performance, and our method can further close the performance gap between box-supervised and fully-supervised models. Our code will be made publicly available at https://github.com/Vious/LPG_BBox_Segmentation .


title: Characterizing Trust and Resilience in Distributed Consensus for Cyberphysical Systems

abstract: This work considers the problem of resilient consensus where stochastic values of trust between agents are available. Specifically, we derive a unified mathematical framework to characterize convergence, deviation of the consensus from the true consensus value, and expected convergence rate, when there exists additional information of trust between agents. We show that under certain conditions on the stochastic trust values and consensus protocol: 1) almost sure convergence to a common limit value is possible even when malicious agents constitute more than half of the network connectivity, 2) the deviation of the converged limit, from the case where there is no attack, i.e., the true consensus value, can be bounded with probability that approaches 1 exponentially, and 3) correct classification of malicious and legitimate agents can be attained in finite time almost surely. Further, the expected convergence rate decays exponentially with the quality of the trust observations between agents.


title: PointDSC: Robust Point Cloud Registration using Deep Spatial Consistency

abstract: Removing outlier correspondences is one of the critical steps for successful feature-based point cloud registration. Despite the increasing popularity of introducing deep learning methods in this field, spatial consistency, which is essentially established by a Euclidean transformation between point clouds, has received almost no individual attention in existing learning frameworks. In this paper, we present PointDSC, a novel deep neural network that explicitly incorporates spatial consistency for pruning outlier correspondences. First, we propose a nonlocal feature aggregation module, weighted by both feature and spatial coherence, for feature embedding of the input correspondences. Second, we formulate a differentiable spectral matching module, supervised by pairwise spatial compatibility, to estimate the inlier confidence of each correspondence from the embedded features. With modest computation cost, our method outperforms the state-of-the-art hand-crafted and learning-based outlier rejection approaches on several real-world datasets by a significant margin. We also show its wide applicability by combining PointDSC with different 3D local descriptors.


title: A mixed multifractal analysis for quasi Ahlfors vector-valued measures

abstract: The multifractal formalism for measures in its original formulation is checked for special classes of measures such as doubling, self-similar, and Gibbs-like ones. Out of these classes, suitable conditions should be taken into account to prove the validity of the multifractal formalism. In the present work, a large class of measures satisfying a weak condition known as quasi Ahlfors is considered in the framework of mixed multifractal analysis. A joint multifractal analysis of finitely many quasi Ahlfors probability measures is developed. Mixed variants of multifractal generalizations of Hausdorff and packing measures, and corresponding dimensions are introduced. By applying convexity arguments, some properties of these measures and dimensions are established. Finally, an associated multifractal formalism is introduced and proved to hold for the class of quasi Ahlfors measures.


title: Optimized Object Tracking Technique Using Kalman Filter

abstract: This paper focused on the design of an optimized object tracking technique which would minimize the processing time required in the object detection process while maintaining accuracy in detecting the desired moving object in a cluttered scene. A Kalman filter based cropped image is used for the image detection process as the processing time is significantly less to detect the object when a search window is used that is smaller than the entire video frame. This technique was tested with various sizes of the window in the cropping process. MATLAB was used to design and test the proposed method. This paper found that using a cropped image with 2.16 multiplied by the largest dimension of the object resulted in significantly faster processing time while still providing a high success rate of detection and a detected center of the object that was reasonably close to the actual center.


title: CNN-based Spoken Term Detection and Localization without Dynamic Programming

abstract: In this paper, we propose a spoken term detection algorithm for simultaneous prediction and localization of in-vocabulary and out-of-vocabulary terms within an audio segment. The proposed algorithm infers whether a term was uttered within a given speech signal or not by predicting the word embeddings of various parts of the speech signal and comparing them to the word embedding of the desired term. The algorithm utilizes an existing embedding space for this task and does not need to train a task-specific embedding space. At inference the algorithm simultaneously predicts all possible locations of the target term and does not need dynamic programming for optimal search. We evaluate our system on several spoken term detection tasks on read speech corpora.


title: Universal Adversarial Perturbations and Image Spam Classifiers

abstract: As the name suggests, image spam is spam email that has been embedded in an image. Image spam was developed in an effort to evade text-based filters. Modern deep learning-based classifiers perform well in detecting typical image spam that is seen in the wild. In this chapter, we evaluate numerous adversarial techniques for the purpose of attacking deep learning-based image spam classifiers. Of the techniques tested, we find that universal perturbation performs best. Using universal adversarial perturbations, we propose and analyze a new transformation-based adversarial attack that enables us to create tailored "natural perturbations" in image spam. The resulting spam images benefit from both the presence of concentrated natural features and a universal adversarial perturbation. We show that the proposed technique outperforms existing adversarial attacks in terms of accuracy reduction, computation time per example, and perturbation distance. We apply our technique to create a dataset of adversarial spam images, which can serve as a challenge dataset for future research in image spam detection.


title: Reservoir crowding in a totally asymmetric simple exclusion process with Langmuir Kinetics

abstract: We study a totally asymmetric simple exclusion process equipped with Langmuir kinetics with boundaries connected to a common reservoir. The total number of particles in the system is conserved and controlled by filling factor $\mu$. Additionally, crowding of reservoir is taken into account which regulates the entry and exit of particles from both boundary as well as bulk. In the framework of mean-field approximation, we express the density profiles in terms of Lambert-W functions and obtain phase diagrams in $\alpha-\beta$ parameter space. Further, we elucidate the variation of phase diagram with respect to filling factor and Langmuir kinetics. In particular, the topology of the phase diagram is found to change in the vicinity of $\mu=1$. Moreover, the interplay between reservoir crowding and Langmuir kinetics develops a novel feature in the form of back-and-forth transition. The theoretical phase boundaries and density profiles are validated through extensive Monte Carlo simulations.% We performed Monte Carlo simulations to validate our theoretical findings.


title: Contrastive Neural Architecture Search with Neural Architecture Comparators

abstract: One of the key steps in Neural Architecture Search (NAS) is to estimate the performance of candidate architectures. Existing methods either directly use the validation performance or learn a predictor to estimate the performance. However, these methods can be either computationally expensive or very inaccurate, which may severely affect the search efficiency and performance. Moreover, as it is very difficult to annotate architectures with accurate performance on specific tasks, learning a promising performance predictor is often non-trivial due to the lack of labeled data. In this paper, we argue that it may not be necessary to estimate the absolute performance for NAS. On the contrary, we may need only to understand whether an architecture is better than a baseline one. However, how to exploit this comparison information as the reward and how to well use the limited labeled data remains two great challenges. In this paper, we propose a novel Contrastive Neural Architecture Search (CTNAS) method which performs architecture search by taking the comparison results between architectures as the reward. Specifically, we design and learn a Neural Architecture Comparator (NAC) to compute the probability of candidate architectures being better than a baseline one. Moreover, we present a baseline updating scheme to improve the baseline iteratively in a curriculum learning manner. More critically, we theoretically show that learning NAC is equivalent to optimizing the ranking over architectures. Extensive experiments in three search spaces demonstrate the superiority of our CTNAS over existing methods.


title: Differentially Private Imaging via Latent Space Manipulation

abstract: There is growing concern about image privacy due to the popularity of social media and photo devices, along with increasing use of face recognition systems. However, established image de-identification techniques are either too subject to re-identification, produce photos that are insufficiently realistic, or both. To tackle this, we present a novel approach for image obfuscation by manipulating latent spaces of an unconditionally trained generative model that is able to synthesize photo-realistic facial images of high resolution. This manipulation is done in a way that satisfies the formal privacy standard of local differential privacy. To our knowledge, this is the first approach to image privacy that satisfies $\varepsilon$-differential privacy \emph{for the person.}


title: Anisotropic turbulent transport with horizontal shear in stellar radiative zones

abstract: Context. Turbulent transport in stellar radiative zones is a key ingredient of stellar evolution theory, but the anisotropy of the transport due to the stable stratification and the rotation of these regions is poorly understood. The assumption of shellular rotation, which is a cornerstone of the so-called rotational mixing, relies on an efficient horizontal transport. However, this transport is included in many stellar evolution codes through phenomenological models that have never been tested. Aims. We investigate the impact of horizontal shear on the anisotropy of turbulent transport. Methods. We used a relaxation approximation (also known as {\tau} approximation) to describe the anisotropising effect of stratification, rotation, and shear on a background turbulent flow by computing velocity correlations. Results. We obtain new theoretical scalings for velocity correlations that include the effect of horizontal shear. These scalings show an enhancement of turbulent motions, which would lead to a more efficient transport of chemicals and angular momentum, in better agreement with helio- and asteroseismic observations of rotation in the whole Hertzsprung-Russell diagram. Moreover, we propose a new choice for the non-linear time used in the relaxation approximation, which characterises the source of the turbulence. Conclusions. For the first time, we describe the effect of stratification, rotation, and vertical and horizontal shear on the anisotropy of turbulent transport in stellar radiative zones. The new prescriptions need to be implemented in stellar evolution calculations. To do so, it may be necessary to implement non-diffusive transport.


title: Exponential forgetting of smoothing distributions for pairwise Markov models

abstract: We consider a bivariate Markov chain $Z=\{Z_k\}_{k \geq 1}=\{(X_k,Y_k)\}_{k \geq 1}$ taking values on product space ${\cal Z}={\cal X} \times{ \cal Y}$, where ${\cal X}$ is possibly uncountable space and ${\cal Y}=\{1,\ldots, |{\cal Y}|\}$ is a finite state-space. The purpose of the paper is to find sufficient conditions that guarantee the exponential convergence of smoothing, filtering and predictive probabilities: $$\sup_{n\geq t}\|P(Y_{t:\infty}\in \cdot|X_{l:n})-P(Y_{t:\infty}\in \cdot|X_{s:n}) \|_{\rm TV} \leq K_s \alpha^{t}, \quad \mbox{a.s.}$$ Here $t\geq s\geq l\geq 1$, $K_s$ is $\sigma(X_{s:\infty})$-measurable finite random variable and $\alpha\in (0,1)$ is fixed. In the second part of the paper, we establish two-sided versions of the above-mentioned convergence. We show that the desired convergences hold under fairly general conditions. A special case of above-mentioned very general model is popular hidden Markov model (HMM). We prove that in HMM-case, our assumptions are more general than all similar mixing-type of conditions encountered in practice, yet relatively easy to verify.


title: A Quantum Algorithm for the Sensitivity Analysis of Business Risks

abstract: We present a novel use case for quantum computation: the sensitivity analysis for a risk model used at Deutsche B\"orse Group. Such an analysis is computationally too expensive to perform on classical computers. We show in detail how the risk model and its analysis can be implemented as a quantum circuit. We test small scale versions of the model in simulation and find that the expected quadratic speedup compared to the classical implementation used at Deutsche B\"orse Group can be realized. Full scale production usage would be possible with less than 200 error corrected qubits. Our quantum algorithm introduces unitary but imperfect oracles which use Quantum Amplitude Estimation to detect and mark states. This construction should be of general interest and we present theoretical results regarding the performance of Grover's search algorithm with imperfect oracles.


title: ANDRUSPEX : Leveraging Graph Representation Learning to Predict Harmful App Installations on Mobile Devices

abstract: Android's security model severely limits the capabilities of anti-malware software. Unlike commodity anti-malware solutions on desktop systems, their Android counterparts run as sandboxed applications without root privileges and are limited by Android's permission system. As such, PHAs on Android are usually willingly installed by victims, as they come disguised as useful applications with hidden malicious functionality, and are encountered on mobile app stores as suggestions based on the apps that a user previously installed. Users with similar interests and app installation history are likely to be exposed and to decide to install the same PHA. This observation gives us the opportunity to develop predictive approaches that can warn the user about which PHAs they will encounter and potentially be tempted to install in the near future. These approaches could then be used to complement commodity anti-malware solutions, which are focused on post-fact detection, closing the window of opportunity that existing solutions suffer from. In this paper we develop Andruspex, a system based on graph representation learning, allowing us to learn latent relationships between user devices and PHAs and leverage them for prediction. We test Andruspex on a real world dataset of PHA installations collected by a security company, and show that our approach achieves very high prediction results (up to 0.994 TPR at 0.0001 FPR), while at the same time outperforming alternative baseline methods. We also demonstrate that Andruspex is robust and its runtime performance is acceptable for a real world deployment.


title: The Concurrent OLSA test: A method for speech recognition in multi-talker situations at fixed SNR

abstract: A multi-talker paradigm is introduced that uses different attentional processes to adjust speech recognition scores with the goal to conduct measurements at high signal-to-noise ratios. The basic idea is to simulate a group conversation with three talkers and a participant. Talkers alternately speak sentences of the German matrix test OLSA. Each time a sentence begins with the name "Kerstin" (call sign), the participant is addressed and instructed to repeat the last words of all sentences from that talker, until another talker begins a sentence with "Kerstin". The alternation of the talkers is implemented with an adjustable overlap time that causes an overlap between the call sign "Kerstin" and the target words to be repeated. Thus, the two tasks of detecting "Kerstin" and repeating target words are to be processed at the same time as a dual task. The paradigm was tested with 22 young normal-hearing participants for three overlap times (0.6 s, 0.8 s, 1.0 s). Results for these overlap times show significant differences with median target word recognition scores of 88%, 82%, and 77%, respectively (including call sign and dual task effects). A comparison of the dual task with the corresponding single tasks suggests that the observed effects reflect an increased cognitive load.


title: Small errors in random zeroth-order optimization are imaginary

abstract: Most zeroth-order optimization algorithms mimic a first-order algorithm but replace the gradient of the objective function with some gradient estimator that can be computed from a small number of function evaluations. This estimator is constructed randomly, and its expectation matches the gradient of a smooth approximation of the objective function whose quality improves as the underlying smoothing parameter $\delta$ is reduced. Gradient estimators requiring a smaller number of function evaluations are preferable from a computational point of view. While estimators based on a single function evaluation can be obtained by use of the divergence theorem from vector calculus, their variance explodes as $\delta$ tends to $0$. Estimators based on multiple function evaluations, on the other hand, suffer from numerical cancellation when $\delta$ tends to $0$. To combat both effects simultaneously, we extend the objective function to the complex domain and construct a gradient estimator that evaluates the objective at a complex point whose coordinates have small imaginary parts of the order $\delta$. As this estimator requires only one function evaluation, it is immune to cancellation. In addition, its variance remains bounded as $\delta$ tends to $0$. We prove that zeroth-order algorithms that use our estimator offer the same theoretical convergence guarantees as the state-of-the-art methods. Numerical experiments suggest, however, that they often converge faster in practice.


title: PEAK SHIFT ESTIMATION A novel method to estimate ranking of selectively omitted examination data

abstract: In this paper, we focus on examination results when examinees selectively skip examinations, to compare the difficulty levels of these examinations. We call the resultant data 'selectively omitted examination data' Examples of this type of examination are university entrance examinations, certification examinations, and the outcome of students' job-hunting activities. We can learn the number of students accepted for each examination and organization but not the examinees' identity. No research has focused on this type of data. When we know the difficulty level of these examinations, we can obtain a new index to assess organization ability, how many students pass, and the difficulty of the examinations. This index would reflect the outcomes of their education corresponding to perspectives on examinations. Therefore, we propose a novel method, Peak Shift Estimation, to estimate the difficulty level of an examination based on selectively omitted examination data. First, we apply Peak Shift Estimation to the simulation data and demonstrate that Peak Shift Estimation estimates the rank order of the difficulty level of university entrance examinations very robustly. Peak Shift Estimation is also suitable for estimating a multi-level scale for universities, that is, A, B, C, and D rank university entrance examinations. We apply Peak Shift Estimation to real data of the Tokyo metropolitan area and demonstrate that the rank correlation coefficient between difficulty level ranking and true ranking is 0.844 and that the difference between 80 percent of universities is within 25 ranks. The accuracy of Peak Shift Estimation is thus low and must be improved; however, this is the first study to focus on ranking selectively omitted examination data, and therefore, one of our contributions is to shed light on this method.


title: From the topological spin-Hall effect to the non-Hermitian skin effect in an elliptical micropillar chain

abstract: The topological spin-Hall effect causes different spins to propagate in opposite directions based on Hermitian physics. The non-Hermitian skin effect causes the localization of a large number of modes of a system at its edges. Here we propose a system based on exciton-polariton elliptical micropillars hosting both the effects. The polarization splitting of the elliptical micropillars gives rise to the topological spin-Hall effect in a one dimensional lattice. When a circularly polarized external incoherent laser is used to imbalance effective decay rates of the different spin polarizations, the system transits to a non-Hermitian regime showing the skin effect. These effects have implications for robust polariton transport as well as the deterministic formation of multiply charged vortices and persistent currents.


title: From Classical to Hierarchical: benchmarks for the HTN Track of the International Planning Competition

abstract: In this short paper, we outline nine classical benchmarks submitted to the first hierarchical planning track of the International Planning competition in 2020. All of these benchmarks are based on the HDDL language. The choice of the benchmarks was based on a questionnaire sent to the HTN community. They are the following: Barman, Childsnack, Rover, Satellite, Blocksworld, Depots, Gripper, and Hiking. In the rest of the paper we give a short description of these benchmarks. All are totally ordered.


title: Unconventional short-range structural fluctuations in cuprate high-$T_c$ superconductors

abstract: The interplay between structural and electronic degrees of freedom in complex materials is the subject of extensive debate in physics and materials science. Particularly interesting questions pertain to the nature and extent of pre-transitional short-range order in diverse systems ranging from shape-memory alloys to unconventional superconductors, and how this microstructure affects macroscopic properties. Here we use neutron and X-ray diffuse scattering to uncover universal structural fluctuations in La$_{2-x}$Sr$_x$CuO$_4$ and Tl$_2$Ba$_2$CuO$_{6+\delta}$, two cuprate superconductors with distinct point disorder effects and optimal superconducting transition temperatures. The fluctuations are present in wide doping and temperature ranges, including compositions that maintain high average structural symmetry, and they exhibit unusual, yet simple scaling behavior. The scaling regime is robust and universal, similar to the well-known critical fluctuations close to second-order phase transitions, but with a distinctly different physical origin. We relate this behavior to pre-transitional phenomena in a broad class of systems with structural and magnetic transitions, and propose an explanation based on rare structural fluctuations caused by intrinsic nanoscale inhomogeneity. We also uncover parallels with superconducting fluctuations, which indicates that the underlying inhomogeneity plays an important role in cuprate physics.


title: Mechanical Analyses using Discrete Harmonic Expansions of Grain-Based Field Data

abstract: A methodology for computing expansion basis functions using discrete harmonic modes is presented. The discrete harmonic modes are determined grain-by-grain for virtual polycrystals for which finite element meshes are available. The expansion weights associated with representing field variables over grain domains are determined by exploiting the orthogonality of the harmonic modes. The methodology is demonstrated with the representation of the axial stress distributions during tensile loading of a polycrystalline sample. An open source code, MechMonics, is available to researchers wishing to use the methodology to analyze data.


title: Doubly Contrastive Deep Clustering

abstract: Deep clustering successfully provides more effective features than conventional ones and thus becomes an important technique in current unsupervised learning. However, most deep clustering methods ignore the vital positive and negative pairs introduced by data augmentation and further the significance of contrastive learning, which leads to suboptimal performance. In this paper, we present a novel Doubly Contrastive Deep Clustering (DCDC) framework, which constructs contrastive loss over both sample and class views to obtain more discriminative features and competitive results. Specifically, for the sample view, we set the class distribution of the original sample and its augmented version as positive sample pairs and set one of the other augmented samples as negative sample pairs. After that, we can adopt the sample-wise contrastive loss to pull positive sample pairs together and push negative sample pairs apart. Similarly, for the class view, we build the positive and negative pairs from the sample distribution of the class. In this way, two contrastive losses successfully constrain the clustering results of mini-batch samples in both sample and class level. Extensive experimental results on six benchmark datasets demonstrate the superiority of our proposed model against state-of-the-art methods. Particularly in the challenging dataset Tiny-ImageNet, our method leads 5.6\% against the latest comparison method. Our code will be available at \url{https://github.com/ZhiyuanDang/DCDC}.


title: Converting Nondeterministic Two-Way Automata into Small Deterministic Linear-Time Machines

abstract: In 1978 Sakoda and Sipser raised the question of the cost, in terms of size of representations, of the transformation of two-way and one-way nondeterministic automata into equivalent two-way deterministic automata. Despite all the attempts, the question has been answered only for particular cases (e.g., restrictions of the class of simulated automata or of the class of simulating automata). However the problem remains open in the general case, the best-known upper bound being exponential. We present a new approach in which unrestricted nondeterministic finite automata are simulated by deterministic models extending two-way deterministic finite automata, paying a polynomial increase of size only. Indeed, we study the costs of the conversions of nondeterministic finite automata into some variants of one-tape deterministic Turing machines working in linear time, namely Hennie machines, weight-reducing Turing machines, and weight-reducing Hennie machines. All these variants are known to share the same computational power: they characterize the class of regular languages.


title: Weight-Reducing Turing Machines

abstract: It is well-known that one-tape Turing machines working in linear time are no more powerful than finite automata, namely they recognize exactly the class of regular languages. We prove that it is not decidable if a one-tape machine works in linear time, even if it is deterministic and restricted to use only the portion of the tape which initially contains the input. This motivates the introduction of a constructive variant of one-tape machines, called weight-reducing machine, and the investigation of its properties. We focus on the deterministic case. In particular, we show that, paying a polynomial size increase only, each weight-reducing machine can be turned into a halting one that works in linear time. Furthermore each weight-reducing machine can be converted into equivalent nondeterministic and deterministic finite automata by paying exponential and doubly-exponential increase in size, respectively. These costs cannot be reduced in general.


title: UnICORNN: A recurrent model for learning very long time dependencies

abstract: The design of recurrent neural networks (RNNs) to accurately process sequential inputs with long-time dependencies is very challenging on account of the exploding and vanishing gradient problem. To overcome this, we propose a novel RNN architecture which is based on a structure preserving discretization of a Hamiltonian system of second-order ordinary differential equations that models networks of oscillators. The resulting RNN is fast, invertible (in time), memory efficient and we derive rigorous bounds on the hidden state gradients to prove the mitigation of the exploding and vanishing gradient problem. A suite of experiments are presented to demonstrate that the proposed RNN provides state of the art performance on a variety of learning tasks with (very) long-time dependencies.


title: Smoothed counting of 0-1 points in polyhedra

abstract: Given a system of linear equations $\ell_i(x)=\beta_i$ in an $n$-vector $x$ of 0-1 variables, we compute the expectation of $\exp\left\{- \sum_i \gamma_i \left(\ell_i(x) - \beta_i\right)^2\right\}$, where $x$ is a vector of independent Bernoulli random variables and $\gamma_i >0$ are constants. The algorithm runs in quasi-polynomial $n^{O(\ln n)}$ time under some sparseness condition on the matrix of the system. The result is based on the absence of the zeros of the analytic continuation of the expectation for complex probabilities, which can also be interpreted as the absence of a phase transition in the Ising model with a sufficiently strong external field. We discuss applications to (perfect) matchings in hypergraphs and randomized rounding in discrete optimization.


title: TS-Net: OCR Trained to Switch Between Text Transcription Styles

abstract: Users of OCR systems, from different institutions and scientific disciplines, prefer and produce different transcription styles. This presents a problem for training of consistent text recognition neural networks on real-world data. We propose to extend existing text recognition networks with a Transcription Style Block (TSB) which can learn from data to switch between multiple transcription styles without any explicit knowledge of transcription rules. TSB is an adaptive instance normalization conditioned by identifiers representing consistently transcribed documents (e.g. single document, documents by a single transcriber, or an institution). We show that TSB is able to learn completely different transcription styles in controlled experiments on artificial data, it improves text recognition accuracy on large-scale real-world data, and it learns semantically meaningful transcription style embedding. We also show how TSB can efficiently adapt to transcription styles of new documents from transcriptions of only a few text lines.


title: Deformed black hole in Sagittarius A

abstract: We analyze the post-Newtonian orbit of stars around a deformed Kerr black hole. The deformation we consider is a class of disformal transformations of a nontrivial Kerr solution in scalar-tensor theory which are labeled via the disformal parameter $D$. We study different limits of the disformal parameter, and compare the trajectories of stars orbiting a black hole to the case of the Kerr spacetime in general relativity, up to 2PN order. Our findings show that for generic nonzero $D$, the no-hair theorem of general relativity is violated, in the sense that the black hole's quadrupole $Q$ is not determined by its mass $M$ and angular momentum $J$ through the relation $Q=-J^2/M$. Limiting values of $D$ provide examples of simple and exact noncircular metric solutions, whereas in a particular limit, where $1+D$ is small but finite, we obtain a leading correction to the Schwarzschild precession due to disformality. In this case, the disformal parameter is constrained using the recent measurement of the pericenter precession of the star S2 by the GRAVITY Collaboration.


title: MP2 Is Not Good Enough: Transfer Learning ML Models for Accurate VPT2 Frequencies

abstract: The calculation of the anharmonic modes of small to medium sized molecules for assigning experimentally measured frequencies to the corresponding type of molecular motions is computationally challenging at sufficiently high levels of quantum chemical theory. Here, a practical and affordable way to calculate coupled-cluster quality anharmonic frequencies using second order vibrational perturbation theory (VPT2) from machine-learned models is presented. The approach, referred to as "NN + VPT2", uses a high-dimensional neural network (PhysNet) to learn potential energy surfaces (PESs) at different levels of theory from which harmonic and VPT2 frequencies can be efficiently determined. The NN + VPT2 approach is applied to eight small to medium sized molecules (H$_2$CO, trans-HONO, HCOOH, CH$_3$OH, CH$_3$CHO, CH$_3$NO$_2$, CH$_3$COOH and CH$_3$CONH$_2$) and frequencies are reported from NN-learned models at the MP2/aug-cc-pVTZ, CCSD(T)/aug-cc-pVTZ and CCSD(T)-F12/aug-cc-pVTZ-F12 levels of theory. For the largest molecules and at the highest levels of theory, transfer learning (TL) is used to determine the necessary full-dimensional, near-equilibrium PESs. Overall, NN + VPT2 yields anharmonic frequencies to within 20 cm$^{-1}$ of experimentally determined frequencies for close to 90 % of the modes for the highest quality PES available and to within 10 cm$^{-1}$ for more than 60 % of the modes. For the MP2 PESs only around 60 % of the NN + VPT2 frequencies were within 20~cm$^{-1}$ of the experiment, with outliers up to 150 cm$^{-1}$ compared with experiment. It is also demonstrated that the approach allows to provide correct assignments for strongly interacting modes such as the OH bending and the OH torsional modes in formic acid monomer and the CO-stretch and OH-bend mode in acetic acid.


title: Multivariable connected sums and multiple polylogarithms

abstract: We introduce the multivariable connected sum which is a generalization of Seki-Yamamoto's connected sum and prove the fundamental identity for these sums by series manipulation. This identity yields explicit procedures for evaluating multivariable connected sums and for giving relations among special values of multiple polylogarithms. In particular, our class of relations contains Ohno's relations for multiple polylogarithms.


title: Generation of Half-Integer Harmonics and Efficient THz-to-Visible Frequency Conversion in Strained Graphene

abstract: We study the generation of harmonics from graphene under the influence of an artificial magnetic field, generated via bending of a graphene flake. We show how the Landau level structure induced by the pseudomagnetic field breaks the centrosymmetry of graphene, thus allowing the generation of even harmonics. We also show, that depending on the impinging pulse duration, the nonlinear signal does not only contain the integer harmonics of the impinging pulse, but also its half-integer ones, due to the peculiar square-root-like nature of Landau levels in graphene.


title: Software Development During COVID-19 Pandemic: an Analysis of Stack Overflow and GitHub

abstract: The new coronavirus became a severe health issue for the world. This situation has motivated studies of different areas to combat this pandemic. In software engineering, we point out data visualization projects to follow the disease evolution, machine learning to estimate the pandemic behavior, and computer vision processing radiologic images. Most of these projects are stored in version control systems, and there are discussions about them in Question & Answer websites. In this work, we conducted a Mining Software Repository on a large number of questions and projects aiming to find trends that could help researchers and practitioners to fight against the coronavirus. We analyzed 1,190 questions from Stack Overflow and Data Science Q\&A and 60,352 GitHub projects. We identified a correlation between the questions and projects throughout the pandemic. The main questions about coronavirus are how-to, related to web scraping and data visualization, using Python, JavaScript, and R. The most recurrent GitHub projects are machine learning projects, using JavaScript, Python, and Java.


title: Schwartz functions, Hadamard products, and the Dixmier-Malliavin theorem

abstract: In this paper we show that functions of the form $\prod_{n\ge1}\frac{1}{\left(1+\frac{x^{2}}{a_{n}^{2}}\right)}$ where $a_{n}>0$ and $\sum_{n\ge1}\frac{1}{a_{n}^{2}}<\infty$ are in the Schwartz space of the real line, answering a question raised by Casselman. As a consequence we obtain substantial simplifications in the proofs of Dixmier and Malliavin of their theorem that every test function on a Lie group is a finite linear combination of convolutions of two test functions, and an analogue of this for Fr\'echet space Lie group representations.


title: 140 GHz Urban Microcell Propagation Measurements for Spatial Consistency Modeling

abstract: Sub-Terahertz frequencies (frequencies above 100 GHz) have the potential to satisfy the unprecedented demand on data rate on the order of hundreds of Gbps for sixth-generation (6G) wireless communications and beyond. Accurate beam tracking and rapid beam selection are increasingly important since antenna arrays with more elements generate narrower beams to compensate for additional path loss within the first meter of propagation distance at sub-THz frequencies. Realistic channel models for above 100 GHz are needed, and should include spatial consistency to model the spatial and temporal channel evolution along the user trajectory. This paper introduces recent outdoor urban microcell (UMi) propagation measurements at 142 GHz along a 39 m $\times$ 12 m rectangular route (102 m long), where each consecutive and adjacent receiver location is 3 m apart from each other. The measured power delay profiles and angular power spectrum at each receiver location are used to study spatial autocorrelation properties of various channel parameters such as shadow fading, delay spread, and angular spread along the track. Compared to the correlation distances reported in the 3GPP TR 38.901 for frequencies below 100 GHz, the measured correlation distance of shadow fading at 142 GHz (3.8 m) is much shorter than the 10-13 m as specified in 3GPP; the measured correlation distances of delay spread and angular spread at 142 GHz (both 12 m) are comparable to the 7-10 m as specified in 3GPP. This result may guide the development of a statistical spatially consistent channel model for frequencies above 100 GHz in the UMi street canyon environment.


title: Symbolic integration by integrating learning models with different strengths and weaknesses

abstract: Integration is indispensable, not only in mathematics, but also in a wide range of other fields. A deep learning method has recently been developed and shown to be capable of integrating mathematical functions that could not previously be integrated on a computer. However, that method treats integration as equivalent to natural language translation and does not reflect mathematical information. In this study, we adjusted the learning model to take mathematical information into account and developed a wide range of learning models that learn the order of numerical operations more robustly. In this way, we achieved a 98.80% correct answer rate with symbolic integration, a higher rate than that of any existing method. We judged the correctness of the integration based on whether the derivative of the primitive function was consistent with the integrand. By building an integrated model based on this strategy, we achieved a 99.79% rate of correct answers with symbolic integration.


title: Identification by deuterium diffusion of a nitrogen-related deep donor preventing the p-type doping of ZnO

abstract: Deuterium diffusion is investigated in nitrogen-doped homoepitaxial ZnO layers. The samples were grown under slightly Zn-rich growth conditions by plasma-assisted molecular beam epitaxy on m-plane ZnO substrates and have a nitrogen content [N] varied up to 5x1018 at.cm-3 as measured by secondary ion mass spectrometry (SIMS). All were exposed to a radio-frequency deuterium plasma during 1h at room temperature. Deuterium diffusion is observed in all epilayers while its penetration depth decreases as the nitrogen concentration increases. This is a strong evidence of a diffusion mechanism limited by the trapping of deuterium on a nitrogen-related trap. The SIMS profiles are analyzed using a two-trap model including a shallow trap, associated with a fast diffusion, and a deep trap, related to nitrogen. The capture radius of the nitrogen-related trap is determined to be 20 times smaller than the value expected for nitrogen-deuterium pairs formed by coulombic attraction between D+ and nitrogen-related acceptors. The (N2)O deep donor is proposed as the deep trapping site for deuterium and accounts well for the small capture radius and the observed photoluminescence quenching and recovery after deuteration of the ZnO:N epilayers. It is also found that this defect is by far the N-related defect with the highest concentration in the studied samples.


title: Lessons Learned from the Bayesian Design and Analysis for the BNT162b2 COVID-19 Vaccine Phase 3 Trial

abstract: The phase III BNT162b2 mRNA COVID-19 vaccine trial is based on a Bayesian design and analysis, and the main evidence of vaccine efficacy is presented in Bayesian statistics. Confusion and mistakes are produced in the presentation of the Bayesian results. Some key statistics, such as Bayesian credible intervals, are mislabeled and stated as confidence intervals. Posterior probabilities of the vaccine efficacy are not reported as the main results. We illustrate the main differences in the reporting of Bayesian analysis results for a clinical trial and provide four recommendations. We argue that statistical evidence from a Bayesian trial, when presented properly, is easier to interpret and directly addresses the main clinical questions, thereby better supporting regulatory decision making. We also recommend using abbreviation "BI" to represent Bayesian credible intervals as a differentiation to "CI" which stands for confidence interval.


title: NISQ Algorithm for Hamiltonian Simulation via Truncated Taylor Series

abstract: Simulating the dynamics of many-body quantum systems is believed to be one of the first fields that quantum computers can show a quantum advantage over classical computers. Noisy intermediate-scale quantum (NISQ) algorithms aim at effectively using the currently available quantum hardware. For quantum simulation, various types of NISQ algorithms have been proposed with individual advantages as well as challenges. In this work, we propose a new algorithm, truncated Taylor quantum simulator (TTQS), that shares the advantages of existing algorithms and alleviates some of the shortcomings. Our algorithm does not have any classical-quantum feedback loop and bypasses the barren plateau problem by construction. The classical part in our hybrid quantum-classical algorithm corresponds to a quadratically constrained quadratic program (QCQP) with a single quadratic equality constraint, which admits a semidefinite relaxation. The QCQP based classical optimization was recently introduced as the classical step in quantum assisted eigensolver (QAE), a NISQ algorithm for the Hamiltonian ground state problem. Thus, our work provides a conceptual unification between the NISQ algorithms for the Hamiltonian ground state problem and the Hamiltonian simulation. We recover differential equation-based NISQ algorithms for Hamiltonian simulation such as quantum assisted simulator (QAS) and variational quantum simulator (VQS) as particular cases of our algorithm. We test our algorithm on some toy examples on current cloud quantum computers. We also provide a systematic approach to improve the accuracy of our algorithm.


title: Gigantic tunneling magnetoresistance in magnetic Weyl semimetal tunnel junctions

abstract: We investigate the tunneling magnetoresistance in magnetic tunnel junctions (MTJs) comprised of Weyl semimetal contacts. We show that chirality-magnetization locking leads to a gigantic tunneling magnetoresistance ratio, an effect that does not rely on spin filtering by the tunnel barrier. Our results indicate that the conductance in the anti-parallel configuration is more sensitive to magnetization fluctuations than in MTJs with normal ferromagnets, and predicts a TMR as large as 10^4 % when realistic magnetization fluctuations are accounted for. In addition, we show that the Fermi arc states give rise to a non-monotonic dependence of conductance on the misalignment angle between the magnetizations of the two contacts.


title: Investigating the Exchange of Ising Chains on a Digital Quantum Computer

abstract: The ferromagnetic state of an Ising chain can represent a two-fold degenerate subspace or equivalently a logical qubit which is protected from excitations by an energy gap. We study a a braiding-like exchange operation through the movement of the state in the qubit subspace which resembles that of the localized edge modes in a Kitaev chain. The system consists of two Ising chains in a 1D geometry where the operation is simulated through the adiabatic time evolution of the ground state. The time evolution is implemented via the Suzuki-Trotter expansion on basic single- and two-qubit quantum gates using IBM's Aer QASM simulator. The fidelity of the system is investigated as a function of the evolution and system parameters to obtain optimum efficiency and accuracy for different system sizes. Various aspects of the implementation including the circuit depth, Trotterization error, and quantum gate errors pertaining to the Noisy Intermediate-Scale Quantum (NISQ) hardware are discussed as well. We show that the quantum gate errors, i.e. bit-flip, phase errors, are the dominating factor in determining the fidelity of the system as the Trotter error and the adiabatic condition are less restrictive even for modest values of Trotter time steps. We reach an optimum fidelity $>99\%$ on systems of up to $11$ sites per Ising chain and find that the most efficient implementation of a single braiding-like operation for a fidelity above $90\%$ requires a circuit depth of the order of $\sim 10^{3}$ restricting the individual gate errors to be less than $\sim 10^{-6}$ which is prohibited in current NISQ hardware.