title: Spin dynamics of a millisecond pulsar orbiting closely around a massive black hole

abstract: We investigate the spin dynamics of a millisecond pulsar (MSP) in a tightly bounded orbit around a massive black hole. These binaries are progenitors of the extreme-mass-ratio-inspirals (EMRIs) and intermediate-mass-ratio-inspirals (IMRIs) gravitational wave events. The Mathisson-Papapetrou-Dixon (MPD) formulation is used to determine the orbital motion and spin modulation and evolution. We show that the MSP will not be confined in a planar Keplerian orbit and its spin will exhibit precession and nutation induced by spin-orbit coupling and spin-curvature interaction. These spin and orbital behaviours will manifest observationally in the temporal variations in the MSP's pulsed emission and, with certain geometries, in the self-occultation of the pulsar's emitting poles. Radio pulsar timing observations will be able to detect such signatures. These extreme-mass-ratio binaries (EMRBs) and intermediate-mass-ratio binaries (IMRBs) are also strong gravitational wave sources. Combining radio pulsar timing and gravitational wave observations will allow us to determine the dynamics of these systems in high precision and hence the subtle behaviours of spinning masses in strong gravity.


title: The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists

abstract: A considerable corpus of research on software evolution focuses on mining changes in software repositories, but omits their pre-integration history. We present a novel method for tracking this otherwise invisible evolution of software changes on mailing lists by connecting all early revisions of changes to their final version in repositories. Since artefact modifications on mailing lists are communicated by updates to fragments (i.e., patches) only, identifying semantically similar changes is a non-trivial task that our approach solves in a language-independent way. We evaluate our method on high-profile open source software (OSS) projects like the Linux kernel, and validate its high accuracy using an elaborately created ground truth. Our approach can be used to quantify properties of OSS development processes, which is an essential requirement for using OSS in reliable or safety-critical industrial products, where certifiability and conformance to processes are crucial. The high accuracy of our technique allows, to the best of our knowledge, for the first time to quantitatively determine if an open development process effectively aligns with given formal process requirements.


title: Escape rate of transiently active Brownian particle in one dimension

abstract: Activity significantly enhances the escape rate of a Brownian particle over a potential barrier. Whereas constant activity has been extensively studied in the past, little is known about the effect of time-dependent activity on the escape rate of the particle. In this paper we study the escape problem for a Brownian particle that is transiently active; the activity decreases rapidly during the escape process. Using the effective equilibrium approach we analytically calculate the escape rate, under the assumption that the particle is either completely passive or fully active when crossing the barrier. We perform numerical simulations of the escape process in one dimension and find good agreement with the theoretical predictions.


title: Distributional reinforcement learning with linear function approximation

abstract: Despite many algorithmic advances, our theoretical understanding of practical distributional reinforcement learning methods remains limited. One exception is Rowland et al. (2018)'s analysis of the C51 algorithm in terms of the Cram\'er distance, but their results only apply to the tabular setting and ignore C51's use of a softmax to produce normalized distributions. In this paper we adapt the Cram\'er distance to deal with arbitrary vectors. From it we derive a new distributional algorithm which is fully Cram\'er-based and can be combined to linear function approximation, with formal guarantees in the context of policy evaluation. In allowing the model's prediction to be any real vector, we lose the probabilistic interpretation behind the method, but otherwise maintain the appealing properties of distributional approaches. To the best of our knowledge, ours is the first proof of convergence of a distributional algorithm combined with function approximation. Perhaps surprisingly, our results provide evidence that Cram\'er-based distributional methods may perform worse than directly approximating the value function.


title: Spitzer Microlensing of MOA-2016-BLG-231L : A Counter-Rotating Brown Dwarf Binary in the Galactic Disk

abstract: We analyze the binary microlensing event MOA-2016-BLG-231, which was observed from the ground and from Spitzer. The lens is composed of very low-mass brown dwarfs (BDs) with $M_1 = 21^{+12}_{-5} \ M_J$ and $M_2 = 9^{+5}_{-2}\ M_J$, and it is located in the Galactic disk $D_{\rm L} = 2.85^{+0.88}_{-0.50}\ {\rm kpc}$. This is the fifth binary brown dwarf discovered by microlensing, and the BD binary is moving counter to the orbital motion of disk stars. Constraints on the lens physical properties come from late time, non-caustic-crossing features of the Spitzer light curve. Thus, MOA-2016-BLG-231 shows how Spitzer plays a crucial role in resolving the nature of BDs in binary BD events with short timescale ($\lesssim 10$ days).


title: Discretization based Solutions for Secure Machine Learning against Adversarial Attacks

abstract: Adversarial examples are perturbed inputs that are designed (from a deep learning network's (DLN) parameter gradients) to mislead the DLN during test time. Intuitively, constraining the dimensionality of inputs or parameters of a network reduces the 'space' in which adversarial examples exist. Guided by this intuition, we demonstrate that discretization greatly improves the robustness of DLNs against adversarial attacks. Specifically, discretizing the input space (or allowed pixel levels from 256 values or 8-bit to 4 values or 2-bit) extensively improves the adversarial robustness of DLNs for a substantial range of perturbations for minimal loss in test accuracy. Furthermore, we find that Binary Neural Networks (BNNs) and related variants are intrinsically more robust than their full precision counterparts in adversarial scenarios. Combining input discretization with BNNs furthers the robustness even waiving the need for adversarial training for certain magnitude of perturbation values. We evaluate the effect of discretization on MNIST, CIFAR10, CIFAR100 and Imagenet datasets. Across all datasets, we observe maximal adversarial resistance with 2-bit input discretization that incurs an adversarial accuracy loss of just ~1-2% as compared to clean test accuracy.


title: Regularization by {\epsilon}-metric

abstract: The regularization of propagators by means of a complex metric is considered. (The paper is an English translation of the first of two articles in Russian published by the author in 1987-88: V.D. Ivashchuk, Regularization by {\epsilon}-metric. I, Izvestiya Akademii Nauk Moldavskoy SSR, Ser. Fiziko-tekhnicheskih i matematicheskih nauk, No 3, p. 8-17 (1987) [in Russian] .)


title: Generalized cut method for computing the edge-Wiener index

abstract: The edge-Wiener index of a connected graph $G$ is defined as the Wiener index of the line graph of $G$. In this paper it is shown that the edge-Wiener index of an edge-weighted graph can be computed in terms of the Wiener index, the edge-Wiener index, and the vertex-edge-Wiener index of weighted quotient graphs which are defined by a partition of the edge set that is coarser than $\Theta^*$-partition. Thus, already known analogous methods for computing the edge-Wiener index of benzenoid systems and phenylenes are greatly generalized. Moreover, reduction theorems are developed for the edge-Wiener index and the vertex-edge-Wiener index since they can be applied in order to compute a corresponding index of a (quotient) graph from the so-called reduced graph. Finally, the obtained results are used to find the closed formula for the edge-Wiener index of an infinite family of graphs.


title: SimFS: A Simulation Data Virtualizing File System Interface

abstract: Nowadays simulations can produce petabytes of data to be stored in parallel filesystems or large-scale databases. This data is accessed over the course of decades often by thousands of analysts and scientists. However, storing these volumes of data for long periods of time is not cost effective and, in some cases, practically impossible. We propose to transparently virtualize the simulation data, relaxing the storage requirements by not storing the full output and re-simulating the missing data on demand. We develop SimFS, a file system interface that exposes a virtualized view of the simulation output to the analysis applications and manages the re-simulations. SimFS monitors the access patterns of the analysis applications in order to (1) decide the data to keep stored for faster accesses and (2) to employ prefetching strategies to reduce the access time of missing data. Virtualizing simulation data allows us to trade storage for computation: this paradigm becomes similar to traditional on-disk analysis (all data is stored) or in situ (no data is stored) according with the storage resources that are assigned to SimFS. Overall, by exploiting the growing computing power and relaxing the storage capacity requirements, SimFS offers a viable path towards exa-scale simulations.


title: BINet: Multi-perspective Business Process Anomaly Classification

abstract: In this paper, we introduce BINet, a neural network architecture for real-time multi-perspective anomaly detection in business process event logs. BINet is designed to handle both the control flow and the data perspective of a business process. Additionally, we propose a set of heuristics for setting the threshold of an anomaly detection algorithm automatically. We demonstrate that BINet can be used to detect anomalies in event logs not only on a case level but also on event attribute level. Finally, we demonstrate that a simple set of rules can be used to utilize the output of BINet for anomaly classification. We compare BINet to eight other state-of-the-art anomaly detection algorithms and evaluate their performance on an elaborate data corpus of 29 synthetic and 15 real-life event logs. BINet outperforms all other methods both on the synthetic as well as on the real-life datasets.


title: Precursors of non-Markovianity

abstract: Using the paradigm of information backflow to characterize a non-Markovian evolution, we introduce so-called precursors of non-Markovianity, i.e. necessary properties that the system and environment state must exhibit at earlier times in order for an ensuing dynamics to be non-Markovian. In particular, we consider a quantitative framework to assess the role that established system-environment correlations together with changes in environmental states play in an emerging non-Markovian dynamics. By defining the relevant contributions in terms of the Bures distance, which is conveniently expressed by means of the quantum state fidelity, these quantities are well defined and easily applicable to a wide range of physical settings. We exemplify this by studying our precursors of non-Markovianity in discrete and continuous variable non-Markovian collision models.


title: Anomalous diffusion: A basic mechanism for the evolution of inhomogeneous systems

abstract: In this article we review classical and recent results in anomalous diffusion and provide mechanisms useful for the study of the fundamentals of certain processes, mainly in condensed matter physics, chemistry and biology. Emphasis will be given to some methods applied in the analysis and characterization of diffusive regimes through the memory function, the mixing condition (or irreversibility), and ergodicity. Those methods can be used in the study of small-scale systems, ranging in size from single-molecule to particle clusters and including among others polymers, proteins, ion channels and biological cells, whose diffusive properties have received much attention lately.


title: Energy Efficient Resource Allocation in UAV-Enabled Mobile Edge Computing Networks

abstract: In this paper, we consider the sum power minimization problem via jointly optimizing user association, power control, computation capacity allocation and location planning in a mobile edge computing (MEC) network with multiple unmanned aerial vehicles (UAVs). To solve the nonconvex problem, we propose a low-complexity algorithm with solving three subproblems iteratively. For the user association subproblem, the compressive sensing based algorithm is accordingly is proposed. For the computation capacity allocation subproblem, the optimal solution is obtained in closed form. For the location planning subproblem, the optimal solution is effectively obtained via one-dimensional search method. To obtain a feasible solution for this iterative algorithm, a fuzzy c-means clustering based algorithm is proposed. Numerical results show that the proposed algorithm achieves better performance than conventional approaches.


title: Iterative Clustering for Energy-Efficient Large-Scale Tracking Systems

abstract: A new technique is presented to design energy-efficient large-scale tracking systems based on mobile clustering. The new technique optimizes the formation of mobile clusters to minimize energy consumption in large-scale tracking systems. This technique can be used in large public gatherings with high crowd density and continuous mobility. Utilizing both Bluetooth and Wi-Fi technologies in smart phones, the technique tracks the movement of individuals in a large crowd within a specific area, and monitors their current locations and health conditions. The new system has several advantages, including good positioning accuracy, low energy consumption, short transmission delay, and low signal interference. Two types of interference are reduced: between Bluetooth and Wi-Fi signals, and between different Bluetooth signals. An integer linear programming model is developed to optimize the construction of clusters. In addition, a simulation model is constructed and used to test the new technique under different conditions. The proposed clustering technique shows superior performance according to several evaluation criteria.


title: Buryak-Okounkov formula for the $n$-point function and a new proof of the Witten conjecture

abstract: We identify the formulas of Buryak and Okounkov for the n-point functions of the intersection numbers of psi-classes on the moduli spaces of curves. This allows us to combine the earlier known results and this one into a principally new proof of the famous Witten conjecture / Kontsevich theorem, where the link between the intersection theory of the moduli spaces and integrable systems is established via the geometry of double ramification cycles.


title: On the size of the singular set of minimizing harmonic maps into the 2-sphere in dimension four and higher

abstract: We extend the results of our recent preprint [arXiv: 1811.00515] into higher dimensions $n \geq 4$. For minimizing harmonic maps $u\in W^{1,2}(\Omega,\mathbb{S}^2)$ from $n$-dimensional domains into the two dimensional sphere we prove: (1) An extension of Almgren and Lieb's linear law, namely \[\mathcal{H}^{n-3}(\textrm{sing} u) \le C \int_{\partial \Omega} |\nabla_T u|^{n-1} \,d\mathcal{H}^{n-1};\] (2) An extension of Hardt and Lin's stability theorem, namely that the size of singular set is stable under small perturbations in $W^{1,n-1}$ norm of the boundary.


title: Optimum Bi-level Hierarchical Clustering for Wireless Mobile Tracking Systems

abstract: A novel technique is proposed to optimize energy efficiency for wireless networks based on hierarchical mobile clustering. The new bi-level clustering technique minimizes mutual interference and energy consumption in large-scale tracking systems used in large public gatherings such as festivals and sports events. This technique tracks random movements of a large number people in a bounded area by using a combination of smart-phone Bluetooth and Wi-Fi connections. It can be effectively used for monitoring health conditions of crowd members and providing their locations and movement directions. An integer linear programming (ILP) model of the problem is formulated to optimize the formation of clusters in a two-level hierarchical structure. In order to evaluate the proposed technique, it is compared to the optimum solutions obtained from the ILP model for both single-level and two-level clustering. Moreover, a Matlab/Simulink simulation model is developed and used to test the technique performance under realistic operating conditions. The results demonstrate a very good performance of the proposed technique.


title: Efficient sliding locomotion with isotropic friction

abstract: Snakes' bodies are covered in scales that make it easier to slide in some directions than in others. This frictional anisotropy allows for sliding locomotion with an undulatory gait, one of the most common for snakes. Isotropic friction is a simpler situation (that arises with snake robots for example) but is less understood. In this work we regularize a model for sliding locomotion to allow for static friction. We then propose a robust iterative numerical method to study the efficiency of a wide range of motions under isotropic Coulomb friction. We find that simple undulatory motions give little net locomotion in the isotropic regime. We compute general time-harmonic motions of three-link bodies and find three local optima for efficiency. The top two involve static friction to some extent. We then propose a class of smooth body motions that have similarities to concertina locomotion (including the involvement of static friction) and can achieve optimal efficiency for both isotropic and anisotropic friction.


title: Detecting mixed-unitary quantum channels is NP-hard

abstract: A quantum channel is said to be a mixed-unitary channel if it can be expressed as a convex combination of unitary channels. We prove that, given the Choi representation of a quantum channel, it is NP-hard with respect to polynomial-time Turing reductions to determine whether or not that channel is a mixed-unitary channel. This hardness result holds even under the assumption that the channel is not within an inverse-polynomial distance (in the dimension of the space upon which it acts) of the boundary of the mixed-unitary channels.


title: One new variable candidate and six nonvariable stars at the ZZ Ceti instability strip

abstract: We present our results on the continuation of our survey searching for new ZZ Ceti stars, inspired by the recently launched TESS space mission. The seven targets were bright DA-type white dwarfs located close to the empirical ZZ Ceti instability strip. We successfully identified one new pulsator candidate, namely PM J22299+3024, derived detection limits for possible pulsations of four objects for the first time, and determined new detection limits for two targets.


title: Triangle areas in line arrangements

abstract: A widely investigated subject in combinatorial geometry, originated from Erd\H{o}s, is the following. Given a point set $P$ of cardinality $n$ in the plane, how can we describe the distribution of the determined distances? This has been generalized in many directions. In this paper we propose the following variants. Consider planar arrangements of $n$ lines. Determine the maximum number of triangles of unit area, maximum area or minimum area, determined by these lines. Determine the minimum size of a subset of these $n$ lines so that all triples determine distinct area triangles. We prove that the order of magnitude for the maximum occurrence of unit areas lies between $\Omega(n^2)$ and $O(n^{9/4})$. This result is strongly connected to both additive combinatorial results and Szemer\'edi--Trotter type incidence theorems. Next we show a tight bound for the maximum number of minimum area triangles. Finally we present lower and upper bounds for the maximum area and distinct area problems by combining algebraic, geometric and combinatorial techniques.


title: Vacuum effective actions and mass-dependent renormalization in curved space

abstract: We review past and present results on the non-local form-factors of the effective action of semiclassical gravity in two and four dimensions computed by means of a covariant expansion of the heat kernel up to the second order in the curvatures. We discuss the importance of these form-factors in the construction of mass-dependent beta functions for the Newton's constant and the other gravitational couplings.


title: Privacy Leakage in Smart Homes and Its Mitigation: IFTTT as a Case Study

abstract: The combination of smart home platforms and automation apps introduces much convenience to smart home users. However, this also brings the potential for privacy leakage. If a smart home platform is permitted to collect all the events of a user day and night, then the platform will learn the behavior patterns of this user before long. In this paper, we investigate how IFTTT, one of the most popular smart home platforms, has the capability of monitoring the daily life of a user in a variety of ways that are hardly noticeable. Moreover, we propose multiple ideas for mitigating privacy leakages, which altogether forms a Filter-and-Fuzz (F&F) process: first, it filters out events unneeded by the IFTTT platform; then, it fuzzes the values and frequencies of the remaining events. We evaluate the F&F process, and the results show that the proposed solution makes IFTTT unable to recognize any of the user's behavior patterns.


title: Thermal effects - an alternative mechanism for plasmonic-assisted photo-catalysis

abstract: Recent experiments claimed that the enhancement of catalytic reaction rates occurs via the reduction of activation barriers driven by non-equilibrium (``hot'') electrons in plasmonic metal nanoparticles. These experiments place plasmonic photo-catalysis as a promising path for enhancing the efficiency of various chemical reactions. Here, we argue that what appears to be photo-catalysis is in fact thermo-catalysis, driven by the well-known plasmon-enhanced ability of illuminated metallic nanoparticles to serve as heat sources. Specifically, we point to some of the most important papers in the field, and show that a simple theory of illumination-induced heating can explain the extracted experimental data to remarkable agreement, with minimal to no fit parameters. We further show that any small temperature difference between the photocatalysis experiment and a control experiment performed under uniform external heating is effectively amplified by the exponential sensitivity of the reaction, and very likely to be interpreted incorrectly as ``hot'' electron effects.


title: On zeros of irreducible characters lying in a normal subgroup

abstract: Let $N$ be a normal subgroup of a finite group $G$. In this paper, we consider the elements $g$ of $N$ such that $\chi(g)\neq 0$ for all irreducible characters $\chi$ of $G$. Such an element is said to be non-vanishing in $G$. Let $p$ be a prime. If all $p$-elements of $N$ satisfy the previous property, then we prove that $N$ has a normal Sylow $p$-subgroup. As a consequence, we also study certain arithmetical properties of the $G$-conjugacy class sizes of the elements of $N$ which are zeros of some irreducible character of $G$. In particular, if $N=G$, then new contributions are obtained.


title: Estimation of speed, armature temperature and resistance in brushed DC machines using a CFNN based on BFGS BP

abstract: In this paper, a sensorless speed and armature resistance and temperature estimator for Brushed (B) DC machines is proposed, based on a Cascade-Forward Neural Network (CFNN) and Quasi-Newton BFGS backpropagation (BP). Since we wish to avoid the use of a thermal sensor, a thermal model is needed to estimate the temperature of the BDC machine. Previous studies propose either non-intelligent estimators which depend on the model, such as the Extended Kalman Filter (EKF) and Luenberger's observer, or estimators which do not estimate the speed, temperature and resistance simultaneously. The proposed method has been verified both by simulation and by comparison with the simulation results available in the literature


title: Low RF power plasma ignition and detection for in-situ cleaning of 1.3 GHz 9-cell cavities

abstract: Superconducting Radio Frequency (SRF) cavities performance preservation is crucial, from vertical test to accelerator operation. Field Emission (FE) is still one of the performance limiting factors to overcome and plasma cleaning has been proven successful by the Spallation Neutron Source (SNS), in cleaning field emitters and increasing the work function of Nb. A collaboration has been established between Fermi National Accelerator Laboratory (FNAL), SLAC National Accelerator Laboratory and Oak Ridge National Laboratory (ORNL) with the purpose of applying plasma processing to the Linac Coherent Light Source-II (LCLS-II) cavities, in order to minimize and overcome field emission without affecting the high Q of nitrogen-doped cavities. The cleaning for LCLS-II will follow the same plasma composition adopted at SNS, which allows in-situ processing of cavities installed in cryomodules from hydrocarbon contaminants. A novel method for plasma ignition has been developed at FNAL: a plasma glow discharge is ignited using high order modes to overcome limitations imposed by the fundamental power coupler, allowing in-situ cleaning for cavities in cryomodule. The plasma can be easily ignited and tuned in each of the cavity cells using low RF power. A method for plasma detection has been developed as well, which allows the detection of the plasma location in the cavity without the need of cameras at both cavity ends. The presented method can be applied to other multi-cell cavity designs, even for accelerators where the coupling for the fundamental modes at room temperature is very weak.


title: Hybrid Rayleigh and Double-Weibull over Impaired RF/FSO System with Outdated CSI

abstract: In this work, we present a global framework of a dual-hop RF/FSO system with multiple relays operating at the mode of amplify-and-forward (AF) with fixed gain. Partial relay selection (PRS) protocol with outdated channel state information (CSI) is assumed since the channels of the first hop are time-varying. The optical irradiance of the second hop are subject to the Double-Weibull model while the RF channels of the first hop experience the Rayleigh fading. The signal reception is achieved either by heterodyne or intensity modulation and direct detection (IM/DD). In addition, we introduce an aggregate model of hardware impairments to the source (S) and the relays since they are not perfect nodes. In order to quantify the impairment impact on the system, we derive closed-form, approximate, upper bound and high signal-to-noise ratio (SNR) asymptotic of the outage probability (OP) and the ergodic capacity (EC). Finally, analytical and numerical results are in agreement using Monte Carlo simulation.


title: Mixed RF/FSO Cooperative Relaying Systems with Co-Channel Interference

abstract: In this paper, we provide a global framework analysis of a dual-hop mixed Radio Frequency (RF)/Free Space Optical (FSO) system with multiple branches/relays wherein the first and second hops, respectively, consist of RF and FSO channels. To cover various cases of fading, we propose generalized channels' models for RF and FSO links that follow the Nakagami-m and the Double Generalized Gamma (DGG) distributions, respectively. Moreover, we suggest Channel State Information (CSI)-assisted relaying or variable relaying gain based Amplifiy-and-Forward (AF) amplification. Partial relay selection with outdated CSI is assumed as a relay selection protocol based on the knowledge of the RF CSI. In order to derive the end-to-end Signal-to-Interference-plus-Noise Ratio (SINR) statistics such as the Cumulative Distribution Function (CDF), the Probability Density Function (PDF), the higher order moments, the amount of fading and the Moment Generating Function (MGF), the numerical values of the fading severity parameters are only valid for integer values. Based on these statistics, we derive closed-forms of the outage probability, the bit error probability, the ergodic capacity and the outage capacity in terms of Meijer-G, univariate, bivariate and trivariate Fox-H functions. Capitalizing on these expressions, we derive the asymptotic high SNR to unpack valuable engineering insights of the system performance. Monte Carlo simulation is used to confirm the analytical expressions.


title: Scalable Nonparametric Sampling from Multimodal Posteriors with the Posterior Bootstrap

abstract: Increasingly complex datasets pose a number of challenges for Bayesian inference. Conventional posterior sampling based on Markov chain Monte Carlo can be too computationally intensive, is serial in nature and mixes poorly between posterior modes. Further, all models are misspecified, which brings into question the validity of the conventional Bayesian update. We present a scalable Bayesian nonparametric learning routine that enables posterior sampling through the optimization of suitably randomized objective functions. A Dirichlet process prior on the unknown data distribution accounts for model misspecification, and admits an embarrassingly parallel posterior bootstrap algorithm that generates independent and exact samples from the nonparametric posterior distribution. Our method is particularly adept at sampling from multimodal posterior distributions via a random restart mechanism. We demonstrate our method on Gaussian mixture model and sparse logistic regression examples.


title: Impact of Non-Linear High-Power Amplifiers on Cooperative Relaying Systems

abstract: In this paper, we investigate the impact of the high-power amplifier non-linear distortion on multiple relay systems by introducing the soft envelope limiter, traveling wave tube amplifier, and solid-state power amplifier to the relays. The system employs amplify-and-forward either fixed or variable gain relaying and uses the opportunistic relay selection with outdated channel state information to select the best relay. The results show that the performance loss is small at low rates; however, it is significant for high rates. In particular, the outage probability and the bit error rate are saturated by an irreducible floor at high rates. The same analysis is pursued for the capacity and shows that it is saturated by a detrimental ceiling as the average signal-to-noise ratio becomes higher. This result contrasts the case of the ideal hardware where the capacity grows indefinitely. Moreover, the results show that the capacity ceiling is proportional to the impairment's parameter and for some special cases the impaired systems practically operate in acceptable conditions. Closed-forms and high SNR asymptotes of the outage probability, the bit error rate, and the capacity are derived. Finally, analytical expressions are validated by the Monte Carlo simulation.


title: Aggregate Hardware Impairments Over Mixed RF/FSO Relaying Systems With Outdated CSI

abstract: In this paper, we propose a dual-hop RF (Radio-Frequency)/FSO (Free-Space Optical) system with multiple relays employing the Decode-and-Forward (DF) and Amplify-and-Forward (AF) with a Fixed Gain (FG) relaying scheme. The RF channels are subject to a Rayleigh distribution while the optical links experience a unified fading model emcopassing the atmospheric turbulence that follows the M\'alaga distribution (or also called the $\mathcal{M}$-distribution), the atmospheric path loss and the pointing error. Partial relay selection (PRS) with outdated channel state information (CSI) is proposed to select the candidate relay to forward the signal to the destination. At the reception, the detection of the signal can be achieved following either heterodyne or Intensity Modulation and Direct Detection (IM/DD). Many previous attempts neglected the impact of the hardware impairments and assumed ideal hardware. This assumption makes sense for low data rate systems but it would no longer be valid for high data rate systems. In this work, we propose a general model of hardware impairment to get insight into quantifying its effects on the system performance. We will demonstrate that the hardware impairments have small impact on the system performance for low signal-to-noise ratio (SNR), but it can be destructive at high SNR values. Furthermore analytical expressions and upper bounds are derived for the outage probability and ergodic capacity while the symbol error probability is obtained through the numerical integration method. Capitalizing on these metrics, we also derive the high SNR asymptotes to get valuable insight into the system gains such as the diversity and the coding gains. Finally, analytical and numerical results are presented and validated by Monte Carlo simulation.


title: Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus

abstract: We present a completely new approach to quantum circuit optimisation, based on the ZX-calculus. We first interpret quantum circuits as ZX-diagrams, which provide a flexible, lower-level language for describing quantum computations graphically. Then, using the rules of the ZX-calculus, we give a simplification strategy for ZX-diagrams based on the two graph transformations of local complementation and pivoting and show that the resulting reduced diagram can be transformed back into a quantum circuit. While little is known about extracting circuits from arbitrary ZX-diagrams, we show that the underlying graph of our simplified ZX-diagram always has a graph-theoretic property called generalised flow, which in turn yields a deterministic circuit extraction procedure. For Clifford circuits, this extraction procedure yields a new normal form that is both asymptotically optimal in size and gives a new, smaller upper bound on gate depth for nearest-neighbour architectures. For Clifford+T and more general circuits, our technique enables us to to `see around' gates that obstruct the Clifford structure and produce smaller circuits than naive 'cut-and-resynthesise' methods.


title: Topology optimization of freeform large-area metasurfaces

abstract: We demonstrate optimization of optical metasurfaces over $10^5$--$10^6$ degrees of freedom in two and three dimensions, 100--1000+ wavelengths ($\lambda$) in diameter, with 100+ parameters per $\lambda^2$. In particular, we show how topology optimization, with one degree of freedom per high-resolution "pixel," can be extended to large areas with the help of a locally periodic approximation that was previously only used for a few parameters per $\lambda^2$. In this way, we can computationally discover completely unexpected metasurface designs for challenging multi-frequency, multi-angle problems, including designs for fully coupled multi-layer structures with arbitrary per-layer patterns. Unlike typical metasurface designs based on subwavelength unit cells, our approach can discover both sub- and supra-wavelength patterns and can obtain both the near and far fields.


title: An Autonomous Passive Navigation Method for Nanosatellite Exploration of the Asteroid Belt

abstract: There are more than 750,000 asteroids identified in the main belt. These asteroids are diverse in composition and size. Some of these asteroids can be traced back to the early solar system and can provide insight into the origins of the so-lar system, origins of Earth and origins of life. Apart from being important tar-gets for science exploration, asteroids are strategically placed due to their low-gravity well, making it low-cost to transport material onto and way from them. They hold valuable resources such as water, carbon, metals including iron, nickel and platinum to name a few. These resources maybe used in refueling depots for interplanetary spacecraft and construction material for future space colonies, communication relays and space telescopes. The costs of getting to the main asteroid belt, combined with large numbers of objects to be explored encourage the application of small spacecraft swarms. The size and capability of the result-ing nano-spacecraft can make detection from Earth difficult. This paper dis-cusses a method by which a spacecraft can establish ephemeris autonomously using line of sight measurements to nearby asteroids with Extended Kalman Filtering techniques, without knowing accurate ephemeris of either the asteroids or the spacecraft initially. A description of the filter implementation is followed by examples of resultant performance.


title: Macroscopic-ranged proximity effect in graphite

abstract: We report the observation of proximity effect in measurements performed on highly oriented pyrolitic graphite (HOPG) samples when electrical current is injected through the superconducting electrodes placed on the sample surface few millimeters apart from each other. Such anomalously large effect is surprising, as proximity-induced superconducting features in normal conductors hardly surpass few micrometers. The obtained results can be consistently understood, however, considering pre-existing superconducting correlations in graphite, supported by recent observations of the intrinsic global superconductivity in twisted bi- and multi-layer graphenes.


title: Pressure induced Hydrogen-Hydrogen interaction in metallic FeH revealed by NMR

abstract: Knowledge of the behavior of hydrogen in metal hydrides is the key for understanding their electronic properties. So far, no experimental methods exist to access these properties beyond 100 GPa, where high-Tc superconductivity emerges. Here, we present an 1H-NMR study of cubic FeH up to 200GPa. We observe a distinct deviation from the ideal metallic behavior between 64 and 110 GPa that suggests pressure-induced H-H interactions. Accompanying ab-initio calculations support this interpretation, as they reveal the formation of an intercalating sublattice of electron density, which enhances the hydrogen contribution to the electronic density of states at the Fermi level. This study shows that pressure induced H-H interactions can occur in metal hydrides at much lower compression and larger H-H distances than previously thought and stimulates an alternative pathway in the search for novel high-temperature superconductors.


title: Nonlinear LC Circuit with Josephson Junction

abstract: This paper illustrates a unified approach, classical circuit and control theories, to study a nonlinear LC circuit with a current dependent inductance as model of the Josephson junction, the mathematical analysis is complemented with simulations to visualize different dynamics under changes in parameters and inputs. Currently, in quantum computing, superconducting circuits with Josephson junctions are used as the building blocks of quantum bits or qubits.


title: wavEMS: Improving Signal Variation Freedom of Electrical Muscle Stimulation

abstract: There has been a long history in electrical muscle stimulation (EMS), which has been used for medical and interaction purposes. Human-computer interaction (HCI) researchers are now working on various applications, including virtual reality (VR), notification, and learning. For the electric signals applied to the human body, various types of waveforms have been considered and tested. In typical applications, pulses with short duration are applied, however, many perspectives are required to be considered. In addition to the duration and polarity of the pulse/waves, the wave shapes can also be an essential factor to consider. A problem of conventional EMS toolkits and systems are that they have a limitation to the variety of signals that it can produce. For example, some may be limited to monophonic pulses. Furthermore, they are usually limited to rectangular pulses and a limited range of frequencies, and other waveforms cannot be produced. These kinds of limitations make us challenging to consider variations of EMS signals in HCI research and applications. The purpose of "{\it wavEMS}" is to encourage testing of a variety of waveforms for EMS, which can be manipulated through audio output. We believe that this can help improve HCI applications, and to open up new application areas.


title: Partner Selection for the Emergence of Cooperation in Multi-Agent Systems Using Reinforcement Learning

abstract: Social dilemmas have been widely studied to explain how humans are able to cooperate in society. Considerable effort has been invested in designing artificial agents for social dilemmas that incorporate explicit agent motivations that are chosen to favor coordinated or cooperative responses. The prevalence of this general approach points towards the importance of achieving an understanding of both an agent's internal design and external environment dynamics that facilitate cooperative behavior. In this paper, we investigate how partner selection can promote cooperative behavior between agents who are trained to maximize a purely selfish objective function. Our experiments reveal that agents trained with this dynamic learn a strategy that retaliates against defectors while promoting cooperation with other agents resulting in a prosocial society.


title: Primitive Equations with Horizontal Viscosity: The Initial Value and the Time-Periodic Problem for Physical Boundary Conditions

abstract: The 3D-primitive equations with only horizontal viscosity are considered on a cylindrical domain $\Omega=(-h,h) \times G$, $G\subset \mathbb{R}^2$ smooth, with the physical Dirichlet boundary conditions on the sides. Instead of considering a vanishing vertical viscosity limit, we apply a direct approach which in particular avoids unnecessary boundary conditions on top and bottom. For the initial value problem, we obtain existence and uniqueness of local $z$-weak solutions for initial data in $H^1((-h,h),L^2(G))$ and local strong solutions for initial data in $H^1(\Omega)$. If $v_0\in H^1((-h,h),L^2(G))$, $\partial_z v_0\in L^q(\Omega)$ for $q>2$, then the $z$-weak solution regularizes instantaneously and thus extends to a global strong solution. This goes beyond the global well-posedness result by Cao, Li and Titi (J. Func. Anal. 272(11): 4606-4641, 2017) for initial data near $H^1$ in the periodic setting. For the time-periodic problem, existence and uniqueness of $z$-weak and strong time periodic solutions is proven for small forces. %These solutions are in the set of solutions with small norms. Since this is a model with hyperbolic and parabolic features for which classical results are not directly applicable, such results for the time-periodic problem even for small forces are not self-evident.


title: Controlled Forgetting: Targeted Stimulation and Dopaminergic Plasticity Modulation for Unsupervised Lifelong Learning in Spiking Neural Networks

abstract: Stochastic gradient descent requires that training samples be drawn from a uniformly random distribution of the data. For a deployed system that must learn online from an uncontrolled and unknown environment, the ordering of input samples often fails to meet this criterion, making lifelong learning a difficult challenge. We exploit the locality of the unsupervised Spike Timing Dependent Plasticity (STDP) learning rule to target local representations in a Spiking Neural Network (SNN) to adapt to novel information while protecting essential information in the remainder of the SNN from catastrophic forgetting. In our Controlled Forgetting Networks (CFNs), novel information triggers stimulated firing and heterogeneously modulated plasticity, inspired by biological dopamine signals, to cause rapid and isolated adaptation in the synapses of neurons associated with outlier information. This targeting controls the forgetting process in a way that reduces the degradation of accuracy for older tasks while learning new tasks. Our experimental results on the MNIST dataset validate the capability of CFNs to learn successfully over time from an unknown, changing environment, achieving 95.36% accuracy, which we believe is the best unsupervised accuracy ever achieved by a fixed-size, single-layer SNN on a completely disjoint MNIST dataset.


title: Scalable optimal Bayesian classification of single-cell trajectories under regulatory model uncertainty

abstract: Single-cell gene expression measurements offer opportunities in deriving mechanistic understanding of complex diseases, including cancer. However, due to the complex regulatory machinery of the cell, gene regulatory network (GRN) model inference based on such data still manifests significant uncertainty. The goal of this paper is to develop optimal classification of single-cell trajectories accounting for potential model uncertainty. Partially-observed Boolean dynamical systems (POBDS) are used for modeling gene regulatory networks observed through noisy gene-expression data. We derive the exact optimal Bayesian classifier (OBC) for binary classification of single-cell trajectories. The application of the OBC becomes impractical for large GRNs, due to computational and memory requirements. To address this, we introduce a particle-based single-cell classification method that is highly scalable for large GRNs with much lower complexity than the optimal solution. The performance of the proposed particle-based method is demonstrated through numerical experiments using a POBDS model of the well-known T-cell large granular lymphocyte (T-LGL) leukemia network with noisy time-series gene-expression data.


title: Sharp Extinction Rates for Fast Diffusion Equations on Generic Bounded Domains

abstract: We investigate the homogeneous Dirichlet problem for the Fast Diffusion Equation $u_t=\Delta u^m$, posed in a smooth bounded domain $\Omega\subset \mathbb{R}^N$, in the exponent range $m_s=(N-2)_+/(N+2)<m<1$. It is known that bounded positive solutions extinguish in a finite time $T>0$, and also that they approach a separate variable solution $u(t,x)\sim (T-t)^{1/(1-m)}S(x)$, as $t\to T^-$. It has been shown recently that $v(x,t)=u(t,x)\,(T-t)^{-1/(1-m)}$ tends to $S(x)$ as $t\to T^-$, uniformly in the relative error norm. Starting from this result, we investigate the fine asymptotic behaviour and prove sharp rates of convergence for the relative error. The proof is based on an entropy method relying on a (improved) weighted Poincar\'e inequality, that we show to be true on generic bounded domains. Another essential aspect of the method is the new concept of "almost orthogonality", which can be thought as a nonlinear analogous of the classical orthogonality condition needed to obtain improved Poincar\'e inequalities and sharp convergence rates for linear flows.


title: Speaker diarisation using 2D self-attentive combination of embeddings

abstract: Speaker diarisation systems often cluster audio segments using speaker embeddings such as i-vectors and d-vectors. Since different types of embeddings are often complementary, this paper proposes a generic framework to improve performance by combining them into a single embedding, referred to as a c-vector. This combination uses a 2-dimensional (2D) self-attentive structure, which extends the standard self-attentive layer by averaging not only across time but also across different types of embeddings. Two types of 2D self-attentive structure in this paper are the simultaneous combination and the consecutive combination, adopting a single and multiple self-attentive layers respectively. The penalty term in the original self-attentive layer which is jointly minimised with the objective function to encourage diversity of annotation vectors is also modified to obtain not only different local peaks but also the overall trends in the multiple annotation vectors. Experiments on the AMI meeting corpus show that our modified penalty term improves the d- vector relative speaker error rate (SER) by 6% and 21% for d-vector systems, and a 10% further relative SER reduction can be obtained using the c-vector from our best 2D self-attentive structure.


title: Symmetries of spatial meson correlators in high temperature QCD

abstract: Based on a complete set of $J = 0$ and $J=1$ spatial isovector correlation functions calculated with $N_F = 2$ domain wall fermions we identify an intermediate temperature regime of $T \sim 220 - 500$ MeV ($1.2T_c$--$2.8T_c$), where chiral symmetry is restored but the correlators are not yet compatible with a simple free quark behavior. More specifically, in the temperature range $T \sim 220 - 500$ MeV we identify a multiplet structure of spatial correlators that suggests emergent $SU(2)_{CS}$ and $SU(4)$ symmetries, which are not symmetries of the free Dirac action. The symmetry breaking effects in this temperature range are less than 5%. Our results indicate that at these temperatures the chromo-magnetic interaction is suppressed and the elementary degrees of freedom are chirally symmetric quarks bound into color-singlet objects by the chromo-electric component of the gluon field. At temperatures between 500 and 660 MeV the emergent $SU(2)_{CS}$ and $SU(4)$ symmetries disappear and one observes a smooth transition to the regime above $T \sim 1$ GeV where only chiral symmetries survive, which are finally compatible with quasi-free quarks.


title: Software-Defined FPGA Accelerator Design for Mobile Deep Learning Applications

abstract: Recently, the field of deep learning has received great attention by the scientific community and it is used to provide improved solutions to many computer vision problems. Convolutional neural networks (CNNs) have been successfully used to attack problems such as object recognition, object detection, semantic segmentation, and scene understanding. The rapid development of deep learning goes hand by hand with the adaptation of GPUs for accelerating its processes, such as network training and inference. Even though FPGA design exists long before the use of GPUs for accelerating computations and despite the fact that high-level synthesis (HLS) tools are getting more attractive, the adaptation of FPGAs for deep learning research and application development is poor due to the requirement of hardware design related expertise. This work presents a workflow for deep learning mobile application acceleration on small low-cost low-power FPGA devices using HLS tools. This workflow eases the design of an improved version of the SqueezeJet accelerator used for the speedup of mobile-friendly low-parameter ImageNet class CNNs, such as the SqueezeNet v1.1 and the ZynqNet. Additionally, the workflow includes the development of an HLS-driven analytical model which is used for performance estimation of the accelerator. This model can be also used to direct the design process and lead to future design improvements and optimizations.


title: Critical assessment of the alleged failure of the Classical Nucleation Theory at low temperatures

abstract: The Classical Nucleation Theory allegedly fails to describe the temperature dependence of the homogeneous crystal nucleation rates below the temperature of maximum nucleation, $T_{\mathrm{max}}$. Possible explanations for this suspected breakdown have been advanced in the literature. However, the simplest hypothesis has never been tested, that it is a byproduct of nucleation datasets that have not reached the steady-state regime. In this work, we tested this possibility by analyzing published nucleation data for oxide supercooled liquids, using only nucleation and viscosity data measured in samples of the same glass batch that also have satisfied a steady-state regime test. Furthermore, all the uncertainty and regression confidence bands were computed and considered. Having this rigorous protocol, among the 6 datasets analyzed, we only found weak evidence supporting the existence of the nucleation break in 2 datasets. Our collective results thus indicate that the break at $T_{\mathrm{max}}$ is not a common feature of all glass-formers.


title: Infinitesimal Lipschitz conditions on family of analytic varieties

abstract: In this work, we extend the concept of the double of an ideal defined in \cite{G2}, to the context of modules. We also obtain the genericity of the infinitesimal Lipschitz condition A for an enlarged class of analytic spaces.


title: A Stochastic Approach to Eulerian Numbers

abstract: We examine the aggregate behavior of one-dimensional random walks in a model known as (one-dimensional) Internal Diffusion Limited Aggregation. In this model, a sequence of $n$ particles perform random walks on the integers, beginning at the origin. Each particle walks until it reaches an unoccupied site, at which point it occupies that site and the next particle begins its walk. After all walks are complete, the set of occupied sites is an interval of length $n$ containing the origin. We show the probability that $k$ of the occupied sites are positive is given by an Eulerian probability distribution. Having made this connection, we use generating function techniques to compute the expected run time of the model.


title: Baryon acoustic oscillation, Hubble parameter, and angular size measurement constraints on the Hubble constant, dark energy dynamics, and spatial curvature

abstract: In this paper we use all available baryon acoustic oscillation, Hubble parameter, and quasar angular size data to constrain six dark energy cosmological models, both spatially flat and non-flat. Depending on the model and data combination considered, these data mildly favor closed spatial hypersurfaces (by as much as $1.7\sigma$) and dark energy dynamics (up to a little over $2\sigma$) over a cosmological constant $\Lambda$. The data also favor, at $1.8\sigma$ to $3.4\sigma$, depending on the model and data combination, a lower Hubble constant than what is measured from the local expansion rate.


title: Bright-light detector control emulates the local bounds of Bell-type inequalities

abstract: It is well-known that no local model - in theory - can simulate the outcome statistics of a Bell-type experiment as long as the detection efficiency is higher than a threshold value. For the Clauser-Horne-Shimony-Holt (CHSH) Bell inequality this theoretical threshold value is $\eta_{\text{T}} = 2 (\sqrt{2}-1) \approx 0.8284$. On the other hand, Phys.\ Rev.\ Lett.\ 107, 170404 (2011) outlined an explicit practical model that can fake the CHSH inequality for a detection efficiency of up to $0.5$. In this work, we close this gap. More specifically, we propose a method to emulate a Bell inequality at the threshold detection efficiency using existing optical detector control techniques. For a Clauser-Horne-Shimony-Holt inequality, it emulates the CHSH violation predicted by quantum mechanics up to $\eta_{\text{T}}$. For the Garg-Mermin inequality - re-calibrated by incorporating non-detection events - our method emulates its exact local bound at any efficiency above the threshold. This confirms that attacks on secure quantum communication protocols based on Bell violation is a real threat if the detection efficiency loophole is not closed.


title: Derivation of Delay Equation Climate Models Using the Mori-Zwanzig Formalism

abstract: Models incorporating delay have been frequently used to understand climate variability phenomena, but often the delay is introduced through an ad-hoc physical reasoning, such as the propagation time of waves. In this paper, the Mori-Zwanzig formalism is introduced as a way to systematically derive delay models from systems of partial differential equations and hence provides a better justification for using these delay-type models. The Mori-Zwanzig technique gives a formal rewriting of the system using a projection onto a set of resolved variables, where the rewritten system contains a memory term. The computation of this memory term requires solving the orthogonal dynamics equation, which represents the unresolved dynamics. For nonlinear systems, it is often not possible to obtain an analytical solution to the orthogonal dynamics and an approximate solution needs to be found. Here, we demonstrate the Mori-Zwanzig technique for a two-strip model of the El Nino Southern Oscillation (ENSO) and explore methods to solve the orthogonal dynamics. The resulting nonlinear delay model contains an additional term compared to previously proposed ad-hoc conceptual models. This new term leads to a larger ENSO period, which is closer to that seen in observations.


title: Quantitative analysis of the interaction between a dc SQUID and an integrated micromechanical doubly clamped cantilever

abstract: Based on the superconducting quantum interference device (SQUID) equations described by the resistively- and capacitively-shunted junction model coupled to the equation of motion of a damped harmonic oscillator, we provide simulations to quantitatively describe the interaction between a dc SQUID and an integrated doubly clamped cantilever. We have chosen to investigate an existing experimental configuration and have explored the motion of the cantilever and the reaction of the SQUID as a function of the voltage-flux $V(\Phi)$ characteristics. We clearly observe the Lorentz force back-action interaction and demonstrate how a sharp transition state drives the system into a nonlinear-like regime, and modulates the cantilever displacement amplitude, simply by tuning the SQUID parameters.

categories: physics.app-ph cond-mat.mes-hall cond-mat.supr-con physics.comp-ph


title: Laue three dimensional neutron diffraction

abstract: This article presents a measurement technique and data analysis tool to perform 3D grain distribution mapping and indexing of oligocrystalline samples using neutrons: Laue three-dimensional neutron diffraction (Laue3DND). The approach builds on forward modelling used for correlation and multiple fitting of the measured diffraction spots relative to individual grains.This enables not only to identify individual grains, but also their position and orientation in the sample. The feasibility and performance of the Laue3DND approach are tested using multi-grain synthetic datasets from cubic ({\alpha}-Fe) and tetragonal(YBaCuFeO5) symmetries. Next, experimental results from two data sets measured at the FALCON instrument of Helmholtz-Zentrum Berlin are presented: A cylindrical alpha iron ({\alpha}-Fe) reference sample with 5 mm diameter and 5 mm height, as well as a 2 mm3 layered perovskite (YBaCuFeO5). Using Laue3DND, we were able to retrieve the position and orientation of 97 out of 100 grains from a synthetic{\alpha}-Fe data set, as well as 24 and 9 grains respectively from the{\alpha}-Fe and YBaCuFeO5 sample measured at FALCON. Results from the synthetic tests also indicate that Laue3DND is capable of indexing 10 out of 10 grains for both symmetries in two extreme scenarios: using only 6 Laue projections and using 360 projections with extremely noisy data. The precision achieved in terms of spatial and orientation resolution for the current version of the method is 430{\mu}m and 1 degree respectively. Based on these results obtained, we are confident to present a tool that expands the capabilities of standard Laue diffraction, providing the number, position, orientation and relative size of grains in oligocrystalline samples.


title: On dimension of product of groups

abstract: We prove that for geometrically finite groups cohomological dimension of the direct product of a group with itself equals 2 times the cohomological dimension dimension of the group.


title: Counting multi-quadratic number fields of bounded discriminant

abstract: We prove an asymptotic formula for the number of multi-quadratic number fields of bounded discriminant with a power-saving error term. Furthermore, we explicitly calculate the leading coefficient and extend our result to totally real multi-quadratic number fields.


title: Thermal contribution of unstable states

abstract: Within the framework of the Lee model, we analyze in detail the difference between the energy derivative of the phase shift and the standard spectral function of the unstable state. The fact that the model is exactly solvable allows us to demonstrate the construction of these observables from various exact Green functions. The connection to a formula due to Krein, Friedal, and Lloyd is also examined. We also directly demonstrate how the derivative of the phase shift correctly identifies the relevant interaction contributions for consistently including an unstable state in describing the thermodynamics.


title: A semidiscrete finite element approximation of a time-fractional Fokker-Planck equation with nonsmooth initial data

abstract: We present a new stability and convergence analysis for the spatial discretization of a time-fractional Fokker--Planck equation in a convex polyhedral domain, using continuous, piecewise-linear, finite elements. The forcing may depend on time as well as on the spatial variables, and the initial data may have low regularity. Our analysis uses a novel sequence of energy arguments in combination with a generalized Gronwall inequality. Although this theory covers only the spatial discretization, we present numerical experiments with a fully discrete scheme employing a very small time step, and observe results consistent with the predicted convergence behavior.


title: Two-mode Gaussian quantum states measured by collinearly and noncollinearly accelerating observers

abstract: We generalize $1+1$-dimensional formalism derived by Ahmadi et. al. [Phys. Rev. D \textbf{93}, 124031] to investigate an effect of relativistic acceleration on localized two-mode Gaussian quantum states in $3+1$-dimensional spacetime. The following framework is then used to analyze entanglement of the Minkowski vacuum as witnessed by two accelerating observers that move either collinearly or noncollinearly.


title: Essential loops in taut ideal triangulations

abstract: In this note we combinatorialise a technique of Novikov. We use this to prove that, in a three-manifold equipped with a taut ideal triangulation, any vertical or normal loop is essential in the fundamental group.


title: Upper bounds on the percolation correlation length

abstract: We study the size of the near-critical window for Bernoulli percolation on $\mathbb Z^d$. More precisely, we use a quantitative Grimmett-Marstrand theorem to prove that the correlation length, both below and above criticality, is bounded from above by $\exp(C/|p-p_c|^2)$. Improving on this bound would be a further step towards the conjecture that there is no infinite cluster at criticality on $\mathbb Z^d$ for every $d\ge2$.


title: Hydrogen and the Abundances of Elements in Gradual Solar Energetic-Particle Events

abstract: Despite its dominance, hydrogen has been largely ignored in studies of the abundance patterns of the chemical elements in gradual solar energetic-particle (SEP) events; those neglected abundances show a surprising new pattern of behavior. Abundance enhancements of elements with 2 <= Z <= 56, relative to coronal abundances, show a power-law dependence, versus their average mass-to-charge ratio A/Q, that varies from event to event and with time during events. The ion charge states Q depend upon the source plasma temperature T. For most gradual SEP events, shock waves have accelerated ambient coronal material with T < 2 MK with decreasing power-laws in A/Q. In this case, the proton abundances agree rather well with the power-law fits extrapolated from elements with Z >= 6 at A/Q > 2 down to hydrogen at A/Q = 1. Thus the abundances of the elements with Z >= 6 fairly accurately predict the observed abundance of H, at a similar velocity, in most SEP events. However, for those gradual SEP events where ion enhancements follow positive powers of A/Q, especially those with T > 2 MK where shock waves have reaccelerated residual suprathermal ions from previous impulsive SEP events, proton abundances commonly exceed the extrapolated expectation, usually by a factor of order ten. This is a new and unexpected pattern of behavior that is unique to the abundances of protons and may be related to the need for more streaming protons to produce sufficient waves for scattering and acceleration of more heavy ions at the shock.


title: Tunable localization in an s-electron Kondo system at room temperature

abstract: To achieve room-temperature superconductivity, a mechanism is needed that provides heavy quasiparticles at room temperature. In heavy fermion systems such localization is prototypically present only at liquid helium temperatures. In these $f$-electron Kondo systems, conduction electrons magnetically couple to localized moments, enhancing their mass and scatting time. These quasiparticles may form Cooper pairs and cause unconventional superconductivity with a critical temperature $T_c$ of the order of the Fermi energy $\varepsilon_F$. In relative terms, this $T_c$ is much larger than in cuprate or BCS superconductors for which $T_c\ll \varepsilon_F$. This suggests that Kondo systems in general have the potential to be high-temperature superconductors. For this to occur, strong correlations that cause electron localization need to take place at much larger temperatures. Here we show that metal hydrides manifest strong electron correlations in a single $3d_{x^2-y^2}$ band at the Fermi level, similar to the cuprates but at room temperature. Hole doping of this band, by varying the hydrogen content, causes divergence of the carrier mass and suggests the approach of an ordered Mott transition with signatures of a correlated metallic Kondo lattice. These room-temperature phenomena are expected to be widespread across hydrogen-rich compounds, and offer a promising novel ground to encounter unconventional superconductivity in the class of the metallic hydrides.


title: Tensor Variable Elimination for Plated Factor Graphs

abstract: A wide class of machine learning algorithms can be reduced to variable elimination on factor graphs. While factor graphs provide a unifying notation for these algorithms, they do not provide a compact way to express repeated structure when compared to plate diagrams for directed graphical models. To exploit efficient tensor algebra in graphs with plates of variables, we generalize undirected factor graphs to plated factor graphs and variable elimination to a tensor variable elimination algorithm that operates directly on plated factor graphs. Moreover, we generalize complexity bounds based on treewidth and characterize the class of plated factor graphs for which inference is tractable. As an application, we integrate tensor variable elimination into the Pyro probabilistic programming language to enable exact inference in discrete latent variable models with repeated structure. We validate our methods with experiments on both directed and undirected graphical models, including applications to polyphonic music modeling, animal movement modeling, and latent sentiment analysis.


title: Effects of a kinetic barrier on limited-mobility interface growth models

abstract: The role played by a kinetic barrier originated by out-of-plane step edge diffusion, introduced in [Leal \textit{et al.}, \href{https://doi.org/10.1088/0953-8984/23/29/292201}{J. Phys. Condens. Matter \textbf{23}, 292201 (2011)}], is investigated in the Wolf-Villain and Das Sarma-Tamborenea models with short range diffusion. Using large-scale simulations, we observed that this barrier is sufficient to produce growth instability, forming quasiregular mounds in one and two dimensions. The characteristic surface length saturates quickly indicating a uncorrelated growth of the 3d structures, which is also confirmed by a growth exponent $\beta=1/2$. The out-of-plane particle current provides a large reduction of the downward flux enhancing, consequently, the net upward diffusion and formation of 3d self-arranged structures.


title: Atomic effective potentials for starting molecular electronic structure calculations

abstract: Atomic effective one-electron potentials in a compact analytic form in terms of a few Gaussian charge distributions are developed, for Hydrogen through Nobelium, for starting molecular electronic structure calculations by a simple diagonalization. For each element, all terms but one are optimized in an isolated-atom Hartree--Fock calculation, and the last one is parametrized on a set of molecules. This one-parameter-per-atom model gives a good starting guess for typical molecules and may be of interest even on its own.


title: t-wise Berge and t-heavy hypergraphs

abstract: In many proofs concerning extremal parameters of Berge hypergraphs one starts with analyzing that part of that shadow graph which is contained in many hyperedges. Capturing this phenomenon we introduce two new types of hypergraphs. A hypergraph $\mathcal{H}$ is a $t$-heavy copy of a graph $F$ if there is a copy of $F$ on its vertex set such that each edge of $F$ is contained in at least $t$ hyperedges of $\mathcal{H}$. $\mathcal{H}$ is a $t$-wise Berge copy of $F$ if additionally for distinct edges of $F$ those $t$ hyperedges are distinct. We extend known upper bounds on the Tur\'an number of Berge hypergraphs to the $t$-wise Berge hypergraphs case. We asymptotically determine the Tur\'an number of $t$-heavy and $t$-wise Berge copies of long paths and cycles and exactly determine the Tur\'an number of $t$-heavy and $t$-wise Berge copies of cliques. In the case of 3-uniform hypergraphs, we consider the problem in more details and obtain additional results.


title: Anomalous lattice contraction and emergent electronic phases in Bi-doped Eu$_2$Ir$_2$O$_7$

abstract: We study the pyrochlore series (Eu$_{1-x}$Bi$_x$)$_2$Ir$_2$O$_7$ for $ 0 \leq x \leq 1$. We show that for small $x$, the lattice undergoes an anomalous contraction but the all-in/all-out and metal-to-insulator transitions remain robust, and the resistivity approaches a $1/T$ dependence at low-T, suggesting proximity to the Weyl semimetallic phase, as previously predicted theoretically. At the boundary between Eu$_2$Ir$_2$O$_7$ and Bi$_2$Ir$_2$O$_7$ a qualitatively different ground state emerges, which is characterized by its unusual metallic behavior and absence of magnetic ordering at least down to $0.02$ K.


title: Spectral properties and approximations of joinings for infinite rank-one actions

abstract: An ergodic self-joining of an infinite rank-one transformation is a part of the weak limit of off-diagonal measures. A class of uncountaible cardinality of nonisomorphic transformations with polynomial weak closure is presented. Such actions have minimal self-joinings and some unusual spectral properties. For any set $M$ of positive integers there exists an infinite transformation $T$ such that the products $T\otimes T^m$ have simple singular spectrum as $1<m\in M$, and Lebesgue spectrum as $1<m\notin M$. There are similar effects for the corresponding Gaussian and Poisson suspensions.


title: Intervention Pathway Discovery via Context-Dependent Dynamic Sensitivity Analysis

abstract: The sensitivity analysis of biological system models can significantly contribute to identifying and explaining influences of internal or external changes on model and its elements. We propose here a comprehensive framework to study sensitivity of intra-cellular networks and to identify key intervention pathways, by performing both static and dynamic sensitivity analysis. While the static sensitivity analysis focuses on the impact of network topology and update functions, the dynamic analysis accounts for context-dependent transient state distributions. To study sensitivity, we use discrete models, where each element is represented as a discrete variable and assigned an update rule, which is a function of element's known direct and indirect regulators. Our sensitivity analysis framework allows for assessing the effect of context on individual element sensitivity, as well as on element criticality in reaching preferred outcomes. The framework also enables discovery of most influential pathways in the model that are essential for satisfying important system properties, and thus, could be used for interventions. We discuss the role of nine different network attributes in identifying key elements and intervention pathways, and evaluate their performance using model checking method. Finally, we apply our methods on the model of naive T cell differentiation, and further demonstrate the importance of context-based sensitivity analysis in identifying most influential elements and pathways.


title: A finiteness result for $p$-adic families of Bianchi modular forms

abstract: We study $p$-adic families of cohomological automorphic forms for ${\mathrm{GL}}(2)$ over imaginary quadratic fields and prove that families interpolating a Zariski-dense set of classical cuspidal automorphic forms only occur under very restrictive conditions. We show how to computationally determine when this is not the case and establish concrete examples of families interpolating only finitely many Bianchi modular forms.


title: Model Checking Applied to Quantum Physics

abstract: Model checking has been successfully applied to verification of computer hardware and software, communication systems and even biological systems. In this paper, we further push the boundary of its applications and show that it can be adapted for applications in quantum physics. More explicitly, we show how quantum statistical and many-body systems can be modeled as quantum Markov chains, and some of their properties that interest physicists can be specified in linear-time temporal logics. Then we present an efficient algorithm to check these properties. A few case studies are given to demonstrate the use of our algorithm to actual quantum physical problems.


title: A New Generation of Cool White Dwarf Atmosphere Models. III. WD J2356$-$209: Accretion of a Planetesimal with an Unusual Composition

abstract: WD J2356$-$209 is a cool metal-polluted white dwarf whose visible spectrum is dominated by a strong and broad sodium feature. Although discovered nearly two decades ago, no detailed and realistic analysis of this star had yet been realized. In the absence of atmosphere models taking into account the nonideal high-density effects arising at the photosphere of WD J2356$-$209, the origin of its unique spectrum had remained nebulous. We use the cool white dwarf atmosphere code presented in the first paper of this series to finally reveal the secrets of this peculiar object and details about the planetesimal that polluted its atmosphere. Thanks to the improved input physics of our models, we find a solution that is in excellent agreement with the photometric observations and the visible spectrum. Our solution reveals that the photosphere of WD J2356$-$209 has a number density ratio of $\log\,{\rm Na/Ca}= 1.0 \pm 0.2$, which is the highest ever found in a white dwarf. Since we do not know how long ago the accretion episode stopped (if it has), we cannot precisely determine the composition nor the mass of the accreted planetesimal. Nevertheless, all scenarios considered indicate that its composition is incompatible with that of chondrite-like material and that its mass was at least $10^{21}\,{\rm g}$.


title: Maltese cross coupling to individual cold atoms in free space

abstract: We report on the simultaneous observation from four directions of the fluorescence of single $^{87}$Rb atoms trapped at the common focus of four high numerical aperture (${\rm NA}=0.5$) aspheric lenses. We use an interferometrically-guided pick-and-place technique to precisely and stably position the lenses along the four cardinal directions with their foci at a single central point. The geometry gives right angle access to a single quantum emitter, and will enable new trapping, excitation, and collection methods. The fluorescence signals indicate both sub-Poissonian atom number statistics and photon anti-bunching, showing suitability for cold atom quantum optics.


title: Hyper non-Gaussianities in inflation with strongly non-geodesic motion

abstract: Several recent proposals to embed inflation into high-energy physics rely on inflationary dynamics characterized by a strongly non-geodesic motion in negatively curved field space. This naturally leads to a transient instability of perturbations on sub-Hubble scales, and to their exponential amplification. Supported by first-principle numerical computations, and by the analytical insight provided by the effective field theory of inflation, we show that the bispectrum is enhanced in flattened configurations, and we argue that an analogous result holds for all higher-order correlation functions. These ``hyper non-Gaussianities'' thus provide powerful model-independent constraints on non-standard inflationary attractors motivated by the search for ultraviolet completions of inflation.


title: Code Smell Detection using Multilabel Classification Approach

abstract: Code smells are characteristics of the software that indicates a code or design problem which can make software hard to understand, evolve, and maintain. The code smell detection tools proposed in the literature produce different results, as smells are informally defined or are subjective in nature. To address the issue of tool subjectivity, machine learning techniques have been proposed which can learn and distinguish the characteristics of smelly and non-smelly source code elements (classes or methods). However, the existing machine learning techniques can only detect a single type of smell in the code element which does not correspond to a real-world scenario. In this paper, we have used multilabel classification methods to detect whether the given code element is affected by multiple smells or not. We have considered two code smell datasets for this work and converted them into a multilabel dataset. In our experimentation, Two multilabel methods performed on the converted dataset which demonstrates good performances in the 10-fold cross-validation, using ten repetitions.


title: Robust Streaming PCA

abstract: We consider streaming principal component analysis when the stochastic data-generating model is subject to perturbations. While existing models assume a fixed covariance, we adopt a robust perspective where the covariance matrix belongs to a temporal uncertainty set. Under this setting, we provide fundamental limits on convergence of any algorithm recovering principal components. We analyze the convergence of the noisy power method and Oja's algorithm, both studied for the stationary data generating model, and argue that the noisy power method is rate-optimal in our setting. Finally, we demonstrate the validity of our analysis through numerical experiments on synthetic and real-world dataset.


title: Supersymmetric microring laser arrays

abstract: Coherent combination of emission power from an array of coupled semiconductor lasers operating on the same chip is of fundamental and technological importance. In general, the nonlinear competition among the array supermodes can entail incoherence and spectral broadening, leading to spatiotemporally unstable and multimode emission pattern and thus poor beam quality. Here, by harnessing notions from supersymmetric (SUSY) quantum mechanics, we report that the strategic coupling between a class III-V semiconductor microring laser array with its dissipative superpartner can be used to limit the number of supermodes available for laser actions to one. We introduce a novel approach based on second-order SUSY transformation in order to drastically simplify the superpartner array engineering. Compared to a conventional laser array, which has multimode spectrum, a SUSY laser array is observed to be capable of operating in a single (transverse) supermode. Enhancement of the peak output intensity of the SUSY laser array has been demonstrated with high-efficiency and lower lasing threshold, compared with a single laser and a conventional laser array. Our experimental findings pave the way towards broad-area and high-power light generation in a scalable and stable fashion.


title: Transport phenomena and Weyl correction in effective holographic theory of momentum dissipation

abstract: We construct a higher derivative theory involving an axionic field and the Weyl tensor in four dimensional spacetime. Up to the first order of the coupling parameters, the charged black brane solution with momentum dissipation in a perturbative manner is constructed. Metal-insulator transitions are implemented when varying the system parameters at zero temperature. Also, we study the transports including DC conductivity and optical conductivity at zero charge density. We observe the exact particle-vortex duality for some specific momentum dissipation strength.


title: Phase Transitions for quantum Ising model with competing XY -interactions on a Cayley tree

abstract: The main aim of the present paper is to establish the existence of a phase transition for the quantum Ising model with competing XY interactions within the quantum Markov chain (QMC) scheme. In this scheme, we employ the $C^*$-algebraic approach to the phase transition problem. Note that these kinde of models do not have one-dimensional analogues, i.e. the considered model persists only on trees. It turns out that if the Ising part interactions vanish then the model with only competing XY -interactions on the Cayley tree of order two does not have a phase transition. By phase transition we mean the existence of two distinct QMC which are not quasi-equivalent and their supports do not overlap. Moreover, it is also shown that the QMC associated with the model have clustering property which implies that the von Neumann algebras corresponding to the states are factors.


title: Minimal Images in Deep Neural Networks: Fragile Object Recognition in Natural Images

abstract: The human ability to recognize objects is impaired when the object is not shown in full. "Minimal images" are the smallest regions of an image that remain recognizable for humans. Ullman et al. 2016 show that a slight modification of the location and size of the visible region of the minimal image produces a sharp drop in human recognition accuracy. In this paper, we demonstrate that such drops in accuracy due to changes of the visible region are a common phenomenon between humans and existing state-of-the-art deep neural networks (DNNs), and are much more prominent in DNNs. We found many cases where DNNs classified one region correctly and the other incorrectly, though they only differed by one row or column of pixels, and were often bigger than the average human minimal image size. We show that this phenomenon is independent from previous works that have reported lack of invariance to minor modifications in object location in DNNs. Our results thus reveal a new failure mode of DNNs that also affects humans to a much lesser degree. They expose how fragile DNN recognition ability is for natural images even without adversarial patterns being introduced. Bringing the robustness of DNNs in natural images to the human level remains an open challenge for the community.


title: A Smoother Way to Train Structured Prediction Models

abstract: We present a framework to train a structured prediction model by performing smoothing on the inference algorithm it builds upon. Smoothing overcomes the non-smoothness inherent to the maximum margin structured prediction objective, and paves the way for the use of fast primal gradient-based optimization algorithms. We illustrate the proposed framework by developing a novel primal incremental optimization algorithm for the structural support vector machine. The proposed algorithm blends an extrapolation scheme for acceleration and an adaptive smoothing scheme and builds upon the stochastic variance-reduced gradient algorithm. We establish its worst-case global complexity bound and study several practical variants, including extensions to deep structured prediction. We present experimental results on two real-world problems, namely named entity recognition and visual object localization. The experimental results show that the proposed framework allows us to build upon efficient inference algorithms to develop large-scale optimization algorithms for structured prediction which can achieve competitive performance on the two real-world problems.


title: Adaptive and Safe Bayesian Optimization in High Dimensions via One-Dimensional Subspaces

abstract: Bayesian optimization is known to be difficult to scale to high dimensions, because the acquisition step requires solving a non-convex optimization problem in the same search space. In order to scale the method and keep its benefits, we propose an algorithm (LineBO) that restricts the problem to a sequence of iteratively chosen one-dimensional sub-problems that can be solved efficiently. We show that our algorithm converges globally and obtains a fast local rate when the function is strongly convex. Further, if the objective has an invariant subspace, our method automatically adapts to the effective dimension without changing the algorithm. When combined with the SafeOpt algorithm to solve the sub-problems, we obtain the first safe Bayesian optimization algorithm with theoretical guarantees applicable in high-dimensional settings. We evaluate our method on multiple synthetic benchmarks, where we obtain competitive performance. Further, we deploy our algorithm to optimize the beam intensity of the Swiss Free Electron Laser with up to 40 parameters while satisfying safe operation constraints.


title: Observation of Topological Photocurrents in the Chiral Weyl Semimetal RhSi

abstract: Weyl semimetals are crystals in which electron bands cross at isolated points in momentum space. Associated with each crossing point (or Weyl node) is an integer topological invariant known as the Berry monopole charge. The discovery of new classes of Weyl materials is driving the search for novel properties that derive directly from the Berry charge. The circular photogalvanic effect (CPGE), whereby circular polarized light generates a current whose direction depends on the helicity of the absorbed photons, is a striking example of a macroscopic property that emerges from Weyl topology. Recently, it was predicted that the rate of current generation associated with optical transitions near a Weyl node is proportional to its monopole charge and independent of material-specific parameters. In Weyl semimetals that retain mirror symmetry this universal photogalvanic current is strongly suppressed by opposing contributions from energy equivalent nodes of opposite charge. However, when all mirror symmetries are broken, as in chiral Weyl systems, nodes with opposite topological charge are no longer degenerate, opening a window of photon energies where the topological CPGE can emerge. In this work we test this theory through measurement of the photon-energy dependence of the CPGE in the chiral Weyl semimetal RhSi. The spectrum is fully consistent with a topological CPGE, as it reveals a response in a low-energy window that closes at 0.65 eV, in quantitative agreement with the theoretically-derived bandstucture.


title: Jet quenching as a probe of the initial stages in heavy-ion collisions

abstract: Jet quenching provides a very flexible variety of observables which are sensitive to different energy- and time-scales of the strongly interacting matter created in heavy-ion collisions. Exploiting this versatility would make jet quenching an excellent chronometer of the yoctosecond structure of the evolution process. Here we show, for the first time, that a combination of jet quenching observables is sensitive to the initial stages of heavy-ion collisions, when the approach to local thermal equilibrium is expected to happen. Specifically, we find that in order to reproduce at the same time the inclusive particle production suppression, $R_{AA}$, and the high-$p_T$ azimuthal asymmetries, $v_2$, energy loss must be strongly suppressed for the first $\sim 0.6$ fm. This exploratory analysis shows the potential of jet observables, possibly more sophisticated than the ones studied here, to constrain the dynamics of the initial stages of the evolution.


title: Green function and self-adjoint Laplacians on polyhedral surfaces

abstract: Using Roelcke formula for the Green function, we explicitly construct a basis in the kernel of the adjoint Laplacian on a compact polyhedral surface $X$ and compute the $S$-matrix of $X$ at the zero value of the spectral parameter. We apply these results to study various self-adjoint extensions of a symmetric Laplacian on a compact polyhedral surface of genus two with a single conical point. It turns out that the behaviour of the $S$-matrix at the zero value of the spectral parameter is sensitive to the geometry of the polyhedron.


title: A 3D Probabilistic Deep Learning System for Detection and Diagnosis of Lung Cancer Using Low-Dose CT Scans

abstract: We introduce a new computer aided detection and diagnosis system for lung cancer screening with low-dose CT scans that produces meaningful probability assessments. Our system is based entirely on 3D convolutional neural networks and achieves state-of-the-art performance for both lung nodule detection and malignancy classification tasks on the publicly available LUNA16 and Kaggle Data Science Bowl challenges. While nodule detection systems are typically designed and optimized on their own, we find that it is important to consider the coupling between detection and diagnosis components. Exploiting this coupling allows us to develop an end-to-end system that has higher and more robust performance and eliminates the need for a nodule detection false positive reduction stage. Furthermore, we characterize model uncertainty in our deep learning systems, a first for lung CT analysis, and show that we can use this to provide well-calibrated classification probabilities for both nodule detection and patient malignancy diagnosis. These calibrated probabilities informed by model uncertainty can be used for subsequent risk-based decision making towards diagnostic interventions or disease treatments, as we demonstrate using a probability-based patient referral strategy to further improve our results.


title: Constraining the Spin-Dependent WIMP-Nucleon Cross Sections with XENON1T

abstract: We report the first experimental results on spin-dependent elastic weakly interacting massive particle (WIMP) nucleon scattering from the XENON1T dark matter search experiment. The analysis uses the full ton year exposure of XENON1T to constrain the spin-dependent proton-only and neutron-only cases. No significant signal excess is observed, and a profile likelihood ratio analysis is used to set exclusion limits on the WIMP-nucleon interactions. This includes the most stringent constraint to date on the WIMP-neutron cross section, with a minimum of $6.3\times10^{-42}$ cm$^2$ at 30 GeV/c${}^2$ and 90% confidence level. The results are compared with those from collider searches and used to exclude new parameter space in an isoscalar theory with an axial-vector mediator.


title: The method of forcing

abstract: The purpose of this article is to give a presentation of the method of forcing aimed at someone with a minimal knowledge of set theory and logic. The emphasis will be on how the method can be used to prove theorems in ZFC.


title: Unit Commitment With Gas Network Awareness

abstract: Recent changes in the fuel mix for electricity generation and, in particular, the increase in Gas-Fueled Power Plants (GFPP), have created significant interdependencies between the electrical power and natural gas transmission systems. However, despite their physical and economic couplings, these networks are still operated independently, with asynchronous market mechanisms. This mode of operation may lead to significant economic and reliability risks in congested environments as revealed by the 2014 polar vortex event experienced by the northeastern United States. To mitigate these risks, while preserving the current structure of the markets, this paper explores the idea of introducing gas network awareness into the standard unit commitment model. Under the assumption that the power system operator has some (or full) knowledge of gas demand forecast and the gas network, the paper proposes a tri-level mathematical program where natural gas zonal prices are given by the dual solutions of natural-gas flux conservation constraints and commitment decisions are subject to bid-validity constraints that ensure the economic viability of the committed GFPPs. This tri-level program can be reformulated as a single-level Mixed-Integer Second-Order Cone program which can then be solved using a dedicated Benders decomposition. The approach is validated on a case study for the Northeastern United States [1] that can reproduce the gas and electricity price spikes experienced during the early winter of 2014. The results on the case study demonstrate that gas awareness in unit commitment is instrumental in avoiding the peaks in electricity prices while keeping the gas prices to reasonable levels.


title: Public decision support for low population density areas: An imbalance-aware hyper-ensemble for spatio-temporal crime prediction

abstract: Crime events are known to reveal spatio-temporal patterns, which can be used for predictive modeling and subsequent decision support. While the focus has hitherto been placed on areas with high population density, we address the challenging undertaking of predicting crime hotspots in regions with low population densities and highly unequally-distributed crime.This results in a severe sparsity (i.e., class imbalance) of the outcome variable, which impedes predictive modeling. To alleviate this, we develop machine learning models for spatio-temporal prediction that are specifically adjusted for an imbalanced distribution of the class labels and test them in an actual setting with state-of-the-art predictors (i.e., socio-economic, geographical, temporal, meteorological, and crime variables in fine resolution). The proposed imbalance-aware hyper-ensemble increases the hit ratio considerably from 18.1% to 24.6% when aiming for the top 5% of hotspots, and from 53.1% to 60.4% when aiming for the top 20% of hotspots.


title: IMPACT: Interval-based Multi-pass Proteomic Alignment with Constant Traceback

abstract: Darwin is a genomics co-processor that achieved a 15000x acceleration on long read assembly through innovative hardware and algorithm co-design. Darwins algorithms and hardware implementation were specifically designed for DNA analysis pipelines. This paper analyzes the feasibility of applying Darwins algorithms to the problem of protein sequence alignment. In addition to a behavioral analysis of Darwin when aligning proteins, we propose an algorithmic improvement to Darwins alignment algorithm, GACT, in the form of a multi-pass variant that increases its accuracy on protein sequence alignment. Concretely, our proposed multi-pass variant of GACT achieves on average 14\% better alignment scores.


title: A Description of a Subtask Dataset with Glances

abstract: This paper describes a set of data made available that contains detailed subtask coding of interactions with several production vehicle human machine interfaces (HMIs) on open roadways, along with accompanying eyeglance data.


title: Land Use Classification Using Multi-neighborhood LBPs

abstract: In this paper we propose the use of multiple local binary patterns(LBPs) to effectively classify land use images. We use the UC Merced 21 class land use image dataset. Task is challenging for classification as the dataset contains intra class variability and inter class similarities. Our proposed method of using multi-neighborhood LBPs combined with nearest neighbor classifier is able to achieve an accuracy of 77.76%. Further class wise analysis is conducted and suitable suggestion are made for further improvements to classification accuracy.


title: Asymptotics and practical aspects of testing normality with kernel methods

abstract: This paper is concerned with testing normality in a Hilbert space based on the maximum mean discrepancy. Specifically, we discuss the behavior of the test from two standpoints: asymptotics and practical aspects. Asymptotic normality of the test under a fixed alternative hypothesis is developed, which implies that the test has consistency. Asymptotic distribution of the test under a sequence of local alternatives is also derived, from which asymptotic null distribution of the test is obtained. A concrete expression for the integral kernel associated with the null distribution is derived under the use of the Gaussian kernel, allowing the implementation of a reliable approximation of the null distribution. Simulations and applications to real data sets are reported with emphasis on high-dimension low-sample size cases.


title: The rate of stellar mass black hole scattering in galactic nuclei

abstract: We consider a black hole (BH) density cusp in a nuclear star cluster (NSC) hosting a supermassive back hole (SMBH) at its center. Assuming the stars and BHs inside the SMBH sphere of influence are mass-segregated, we calculate the number of BHs that sink into this region under the influence of dynamical friction. We find that the total number of BHs increases significantly in this region due to this process for lower mass SMBHs by up to a factor of 5, but there is no increase in the vicinity of the highest mass SMBHs. Due to the high BH number density in the NSC, BH-BH binaries form during close approaches due to GW emission. We update the previous estimate of O'Leary et al. for the rate of such GW capture events by estimating the $\langle n^2\rangle/\langle n\rangle^2$ parameter where $n$ is the number density. We find a BH merger rate for this channel to be in the range $\sim0.01-0.1 \, \mathrm{Gpc^{-3}yr^{-1}}$. The total merger rate is dominated by the smallest galaxies hosting SMBHs, and the number of heaviest BHs in the NSC. It is also exponentially sensitive to the radial number density profile exponent, reaching $>100 \, \mathrm{Gpc^{-3}yr^{-1}}$ when the BH mass function is $m^{-2.3}$ or shallower and the heaviest BH radial number density is close to $r^{-3}$. Even if the rate is much lower than the range constrained by the current LIGO detections, the GW captures around SMBHs can be distinguished by their high eccentricity in the LIGO band.