title: Low rank perturbation of regular matrix pencils with symmetry structures

abstract: The generic change of the Weierstrass Canonical Form of regular complex structured matrix pencils under generic structure-preserving additive low-rank perturbations is studied. Several different symmetry structures are considered and it is shown that for most of the structures, the generic change in the eigenvalues is analogous to the case of generic perturbations that ignore the structure. However, for some odd/even and palindromic structures, there is a different behavior for the eigenvalues $0$ and $\infty$, respectively $+1$ and $-1$. The differences arise in those cases where the parity of the partial multiplicities in the perturbed pencil provided by the generic behavior in the general structure-ignoring case is not in accordance with the restrictions imposed by the structure. The new results extend results for the rank-$1$ and rank-$2$ cases that were obtained in [L. Batzke, Generic Low-Rank Perturbations of Structured Regular Matrix Pencils and Structured Matrices, PhD Thesis, TU Berlin, Berlin, Germany, 2015] and [L. Batzke, Generic rank-two perturbations of structured regular matrix pencils, Oper. Matrices,10:83-112, 2016] for the case of special structure-preserving perturbations. As the main tool, we use decompositions of matrix pencils with symmetry structure into sums of rank-one pencils, as those allow a parametrization of the set of matrix pencils with a given symmetry structure and a given rank.


title: Function Maximization with Dynamic Quantum Search

abstract: Finding the maximum value of a function in a dynamic model plays an important role in many application settings, including discrete optimization in the presence of hard constraints. We present an iterative quantum algorithm for finding the maximum value of a function in which prior search results update the acceptable response. Our approach is based on quantum search and utilizes a dynamic oracle function to mark items in a specified input set. As a realization of function optimization, we verify the correctness of the algorithm using numerical simulations of quantum circuits for the Knapsack problem. Our simulations make use of an explicit oracle function based on arithmetic operations and a comparator subroutine, and we verify these implementations using numerical simulations up to 30 qubits.


title: Coloring the $n$-smooth numbers with $n$ colors

abstract: For which values of $n$ can we color the positive integers with precisely $n$ colors in such a way that for any $a$, the numbers $a,2a,\dots,na$ all get different colors? Pach posed the question around 2008-9. Particular cases appeared in K\"oMaL in April 2010, and the general version appeared in May 2010 on MathOverflow, posted by P\'alv\"olgyi. The question remains open. We discuss the known partial results and investigate a series of related matters attempting to understand the structure of these $n$-satisfactory colorings. Specifically, we show that there is an $n$-satisfactory coloring whenever there is an abelian group operation $\oplus$ on the set $\{1,2,\dots,n\}$ compatible with multiplication in the sense that whenever $i$, $j$ and $ij$ are in $\{1,\dots,n\}$, then $ij=i\oplus j$. This includes in particular the cases where $n+1$ is prime, or $2n+1$ is prime, or $n=p^2-p$ for some prime $p$, or there is a $k$ such that $q=nk+1$ is prime and $1^k,\dots,n^k$ are all distinct modulo $q$ (in which case we call $q$ a strong representative of order $n$). The colorings obtained by this process we call multiplicative. We also show that nonmultiplicative colorings exist for some values of $n$. There is an $n$-satisfactory coloring of $\mathbb Z^+$ if and only if there is such a coloring of the set $K_n$ of $n$-smooth numbers. We identify all $n$-satisfactory colorings for $n\le 5$ and all multiplicative colorings for $n\le 8$, and show that there are as many nonmultiplicative colorings of $K_n$ as there are real numbers for $n=6$ and 8. We show that if $n$ admits a strong representative $q$ then the set of such $q$ has positive natural density in the set of all primes. We show that the question of whether there is an $n$-satisfactory coloring is equivalent to a problem about tilings, and use this to give a geometric characterization of multiplicative colorings.


title: The retrograde orbit of the globular cluster FSR1758 revealed with Gaia DR2

abstract: We report the first radial velocity measurements of the recently identified globular cluster FSR1758. From the two member stars with radial velocities from the Gaia Radial Velocity Spectrograph reported in Gaia DR2, we find FSR1758 has a radial velocity of $227\pm1$ km/s. We also find potential extra-tidal star lost from the cluster in the surrounding 1~deg. Combined with Gaia proper motions and photometric distance estimates, this shows that FSR1758 is on a very retrograde, radial orbit with an pericentre of $3.8_{-0.9}^{+0.9}$ kpc, an apocentre of $16_{-5}^{+8}$ kpc, and eccentricity of $0.62_{-0.04}^{+0.05}$. Although it is currently at a Galactocentric distance of $3.8_{-0.9}^{+0.9}$ kpc --- at the edge of the bulge --- it is an intruder from the halo. We investigate whether a reported `halo' of stars around FSR1758 is related to the cluster, and find that most of these stars are likely foreground dwarf stars. We conclude that FSR1758 is not a dwarf galaxy, but rather a globular cluster.


title: Combinatorial Bayesian Optimization using the Graph Cartesian Product

abstract: This paper focuses on Bayesian Optimization (BO) for objectives on combinatorial search spaces, including ordinal and categorical variables. Despite the abundance of potential applications of Combinatorial BO, including chipset configuration search and neural architecture search, only a handful of methods have been proposed. We introduce COMBO, a new Gaussian Process (GP) BO. COMBO quantifies "smoothness" of functions on combinatorial search spaces by utilizing a combinatorial graph. The vertex set of the combinatorial graph consists of all possible joint assignments of the variables, while edges are constructed using the graph Cartesian product of the sub-graphs that represent the individual variables. On this combinatorial graph, we propose an ARD diffusion kernel with which the GP is able to model high-order interactions between variables leading to better performance. Moreover, using the Horseshoe prior for the scale parameter in the ARD diffusion kernel results in an effective variable selection procedure, making COMBO suitable for high dimensional problems. Computationally, in COMBO the graph Cartesian product allows the Graph Fourier Transform calculation to scale linearly instead of exponentially. We validate COMBO in a wide array of realistic benchmarks, including weighted maximum satisfiability problems and neural architecture search. COMBO outperforms consistently the latest state-of-the-art while maintaining computational and statistical efficiency.


title: Quantum thermodynamics of complex ferrimagnets

abstract: High-quality magnets such as yttrium iron garnet (YIG) are electrically insulating and very complex. By implementing a quantum thermostat into atomistic spin dynamics we compute YIG's key thermodynamic properties, viz. the magnon power spectrum and specific heat, for a large temperature range. The results differ (sometimes spectacularly) from simple models and classical statistics, but agree with available experimental data.


title: Time Series Deconfounder: Estimating Treatment Effects over Time in the Presence of Hidden Confounders

abstract: The estimation of treatment effects is a pervasive problem in medicine. Existing methods for estimating treatment effects from longitudinal observational data assume that there are no hidden confounders, an assumption that is not testable in practice and, if it does not hold, leads to biased estimates. In this paper, we develop the Time Series Deconfounder, a method that leverages the assignment of multiple treatments over time to enable the estimation of treatment effects in the presence of multi-cause hidden confounders. The Time Series Deconfounder uses a novel recurrent neural network architecture with multitask output to build a factor model over time and infer latent variables that render the assigned treatments conditionally independent; then, it performs causal inference using these latent variables that act as substitutes for the multi-cause unobserved confounders. We provide a theoretical analysis for obtaining unbiased causal effects of time-varying exposures using the Time Series Deconfounder. Using both simulated and real data we show the effectiveness of our method in deconfounding the estimation of treatment responses over time.


title: Evidence for Triangular D'(3h) Symmetry in 13C

abstract: We derive the rotation-vibration spectrum of a 3alpha+1 neutron (proton) configuration with triangular D(3h) symmetry by exploiting the properties of the double group D'(3h), and show evidence for this symmetry to occur in the rotation-vibration spectra of 13C. Our results, based on purely symmetry considerations, provide benchmarks for microscopic calculations of the cluster structure of light nuclei.


title: Artificial vertex systems by design

abstract: Arrays of interacting magnetic nanostructures were introduced recently as a powerful approach to investigate experimentally the exotic many-body physics of frustrated spin models. Following a similar strategy based on lithographically-patterned magnetic lattices, we provide a first attempt to fabricate a lab-on-chip platform to explore the physics of vertex models. The central idea of this work is to replace the spin degree of freedom of artificial frustrated spin systems by a local micromagnetic knob, which can be finely tuned by a proper design of the vertex geometry. This concept is demonstrated both numerically and experimentally on the celebrated six vertex model, and we show how all variants of this model can be apprehended through the engineering of magnetic square lattices. Our results open new avenues to design arrays of magnetic nanostructures not only to study a wide range of frustrated spin models, but to explore vertex models as well.


title: Secure quantum remote state preparation of squeezed microwave states

abstract: Quantum communication protocols based on nonclassical correlations can be more efficient than known classical methods and offer intrinsic security over direct state transfer. In particular, remote state preparation aims at the creation of a desired and known quantum state at a remote location using classical communication and quantum entanglement. We present an experimental realization of deterministic continuous-variable remote state preparation in the microwave regime over a distance of 35 cm. By employing propagating two-mode squeezed microwave states and feedforward, we achieve the remote preparation of squeezed states with up to 1.6 dB of squeezing below the vacuum level. We quantify security in our implementation using the concept of the one-time pad. Our results represent a significant step towards microwave quantum networks between superconducting circuits.


title: Asymptotic dynamics for the small data weakly dispersive one-dimensional Hamiltonian ABCD system

abstract: Consider the Hamiltonian $abcd$ system in one dimension, with data posed in the energy space $H^1\times H^1$. This model, introduced by Bona, Chen and Saut, is a well-known physical generalization of the classical Boussinesq equations. The Hamiltonian case corresponds to the regime where $a,c<0$ and $b=d>0$. Under this regime, small solutions in the energy space are globally defined. A first proof of decay for this $2\times 2$ system was given by the two authors and Poblete and Pozo, in a strongly dispersive regime, i.e. under essentially the conditions \[ b=d > \frac29, \quad a,c<-\frac1{18}. \] Additionally, decay was obtained inside a proper subset of the light cone $(-|t|,|t|)$. In this paper, we improve the last result in three directions. First, we enlarge the set of parameters $(a,b,c,d)$ for which decay to zero is the only available option, considering now the so-called weakly dispersive regime $a,c\sim 0$: we prove decay if now \[ b=d > \frac3{16}, \quad a,c<-\frac1{48}. \] This result is sharp in the case where $a=c$, since for $a,c$ bigger, some $abcd$ linear waves of nonzero frequency do have zero group velocity. Second, we sharply enlarge the interval of decay to consider the whole light cone, that is to say, any interval of the form $|x|\sim |v|t$, for any $|v|<1$. This result rules out, among other things, the existence of nonzero speed solitary waves in the regime where decay is present. Finally, we prove decay to zero of small $abcd$ solutions in exterior regions $|x|\gg |t|$, also discarding super-luminical small solitary waves. These three results are obtained by performing new improved virial estimates for which better decay properties are deduced.


title: Random Combinatorial Optimization Problems: Mean Field and Finite-Dimensional Results

abstract: This PhD thesis is organized as follows. In the first two chapters I will review some basic notions of statistical physics of disordered systems, such as random graph theory, the mean-field approximation, spin glasses and combinatorial optimization. The replica method will also be introduced and applied to the Sherrington-Kirkpatrick model, one of the simplest mean-field models of spin-glasses. The second part of the thesis deals with mean-field combinatorial optimization problems. The attention will be focused on the study of finite-size corrections of random integer matching problems (chapter 3) and fractional ones (chapter 4). In chapter 5 I will discuss a very general relation connecting multi-overlaps and the moments of the cavity magnetization distribution. In the third part we consider random Euclidean optimization problems. I will start solving the traveling-salesman-problem (TSP) in one dimension both in its bipartite and monopartite version (chapter 6). In chapter 7 I will discuss the possible optimal solutions of the 2-factor problem. In chapter 8 I will solve the bipartite TSP in two dimensions, in the limit of large number of points. Chapter 9 contains some conclusions.


title: Field-Strength Descriptions for a System of Classical SU(2) Charges with Spherical Symmetry and Confining Boundary Conditions

abstract: The existence of a mechanism within the non-Abelian dynamics of QCD that confines quarks and gluons to the interior of hadrons has long been accepted empirically. To explore what this mechanism might look like, this paper examines field-strength descriptions for an extended system of SU(2) charges with spherical symmetry and imposes alternate confining boundary conditions to the time-independent Yang-Mills Maxwell equations. Three types of global solutions to the set of equations can be distinguished: types 0,1,and2. Type-0 solutions evade the nonlinear dynamics associated with the radial magnetic field to describe a topologically trivial bound state. Type-1 and type-2 solutions both require a domain wall of topological charge to separate the interior volume containing the SU(2) charge densities from the exterior volume where the boundary conditions are imposed. Type-1 solutions describe an exterior volume with a radial magnetic field while type-2 solutions contain a sterile exterior volume where all field-strengths vanish. These solutions both describe a non-Abelian "spherical dual topological insulator". the dimensional reduction associated with the imposition of spherical system of SU(2) charges can also be applied to SU(3) charges so this simple exercise is directly relevant to understanding confinement in QCD.


title: Radial and cylindrical symmetry of solutions to the Cahn-Hilliard equation

abstract: The paper is devoted to the classification of entire solutions to the Cahn-Hilliard equation $-\Delta u = u-u^3-\delta$ in $\R^N$, with particular interest in those solutions whose nodal set is either bounded or contained in a cylinder. The aim is to prove either radial or cylindrical symmetry, under suitable hypothesis.


title: Continuous variable controlled quantum dialogue and secure multiparty quantum computation

abstract: A continuous variable controlled quantum dialogue scheme is proposed. The scheme is further modified to obtain two other protocols of continuous variable secure multiparty computation. The first one of these protocols provides a solution of two party socialist millionaire problem, while the second protocol provides a solution for a special type of multi-party socialist millionaire problem which can be viewed as a protocol for multiparty quantum private comparison. It is shown that the proposed scheme of continuous variable controlled quantum dialogue can be performed using bipartite entanglement and can be reduced to obtain several other two and three party cryptographic schemes in the limiting cases. The security of the proposed scheme and its advantage over corresponding discrete variable counterpart are also discussed. Specifically, the ignorance of an eavesdropper in the proposed scheme is shown to be very high compared with corresponding discrete variable scheme and thus the present scheme is less prone to information leakage inherent with the discrete variable quantum dialogue based schemes.It is further established that the proposed scheme can be viewed as a continuous variable counterpart of quantum cryptographic switch which allows a supervisor to control the information transferred between the two legitimate parties to a continuously varying degree.


title: Magnetogenesis from isocurvature initial conditions

abstract: The generation of magnetic fields is a natural consequence of the existence of vortical currents in the pre-recombination era. This has been confirmed in detail for the case of adiabatic initial conditions, using second-order Boltzmann solvers, but has not been fully explored in the presence of isocurvatures. In this work, we use a modified version of the second-order Boltzmann code SONG to compute the magnetic field generated by vortical currents for general initial conditions. A mild enhancement of the generated magnetic field is found in the presence of general isocurvature modes, when compared to the adiabatic case. A particularly interesting case is that of the compensated isocurvature mode, for which the enhancement increases by several orders of magnitude due to the observationally allowed large amplitude of those modes. We show in this particular case how these compensated modes can influence observables at second order, such as the magnetic fields, and produce interesting effects which may be used to constrain these modes in the future.


title: Efficient Hybrid Network Architectures for Extremely Quantized Neural Networks Enabling Intelligence at the Edge

abstract: The recent advent of `Internet of Things' (IOT) has increased the demand for enabling AI-based edge computing. This has necessitated the search for efficient implementations of neural networks in terms of both computations and storage. Although extreme quantization has proven to be a powerful tool to achieve significant compression over full-precision networks, it can result in significant degradation in performance. In this work, we propose extremely quantized hybrid network architectures with both binary and full-precision sections to emulate the classification performance of full-precision networks while ensuring significant energy efficiency and memory compression. We explore several hybrid network architectures and analyze the performance of the networks in terms of accuracy, energy efficiency and memory compression. We perform our analysis on ResNet and VGG network architectures. Among the proposed network architectures, we show that the hybrid networks with full-precision residual connections emerge as the optimum by attaining accuracies close to full-precision networks while achieving excellent memory compression, up to 21.8x in case of VGG-19. This work demonstrates an effective way of hybridizing networks which achieve performance close to full-precision networks while attaining significant compression, furthering the feasibility of using such networks for energy-efficient neural computing in IOT-based edge devices.


title: Momentum Conserved Ultrafast Charge Transfer Dynamics of Interlayer Excitons in vdW Heterostructures

abstract: Heterostructures comprising van der Waals (vdW) stacked transition metal dichalcogenide (TMDC) monolayers are a fascinating class of two-dimensional (2D) materials with unique properties. The presence of interlayer excitons, where the electron and the hole remain spatially separated in the two layers due to ultrafast charge transfer, is an intriguing feature of these heterostructures. Inevitably, the efficiency of 2D heterostructure devices is critically dependent on the charge transfer dynamics. However, the role of the relative rotation angle of the constituent layers on this charge transfer dynamics is hitherto unknown. Here, we investigate MoS$_2$/WSe$_2$ vdW heterostructures (hMWs) using monochromated low-loss electron energy loss (EEL) spectroscopy combined with aberration-corrected scanning transmission electron microscopy (STEM), and report that momentum conservation is a critical factor in the charge transfer dynamics of TMDC vdW heterostructures. The low-loss EEL spectra of the heterostructures with various rotation angles reveal that the charge transfer rate can be about one order-of-magnitude faster in the aligned (or anti-aligned) case than the misaligned cases. These results provide a deeper insight into the role of the fundamental principle of momentum conservation in 2D vdW heterostructure charge transfer dynamics.


title: Molecular Docking with Gaussian Boson Sampling

abstract: Gaussian Boson Samplers are photonic quantum devices with the potential to perform tasks that are intractable for classical systems. As with other near-term quantum technologies, an outstanding challenge is to identify specific problems of practical interest where these quantum devices can prove useful. Here we show that Gaussian Boson Samplers can be used to predict molecular docking configurations: the spatial orientations that molecules assume when they bind to larger proteins. Molecular docking is a central problem for pharmaceutical drug design, where docking configurations must be predicted for large numbers of candidate molecules. We develop a vertex-weighted binding interaction graph approach, where the molecular docking problem is reduced to finding the maximum weighted clique in a graph. We show that Gaussian Boson Samplers can be programmed to sample large-weight cliques, i.e., stable docking configurations, with high probability, even in the presence of photon loss. We also describe how outputs from the device can be used to enhance the performance of classical algorithms and increase their success rate of finding the molecular binding pose. To benchmark our approach, we predict the binding mode of a small molecule ligand to the tumor necrosis factor-${\alpha}$ converting enzyme, a target linked to immune system diseases and cancer.


title: Recursion Relations for Anomalous Dimensions in the 6d $(2,0)$ Theory

abstract: We derive recursion relations for the anomalous dimensions of double-trace operators occurring in the conformal block expansion of four-point stress tensor correlators in the 6d $(2,0)$ theory, which encode higher-derivative corrections to supergravity in $AdS_7 \times S^4$ arising from M-theory. As a warm-up, we derive analogous recursion relations for four-point functions of scalar operators in a toy non-supersymmetric 6d conformal field theory.


title: Accurate Taylor transfer maps for large aperture iron dominated magnets used in charged particle separators and spectrometers

abstract: For high-resolution separators like the projected Super-FRS at FAIR, an adapted and accurate ion-optical model considering realistic B-dependent magnet parameters is crucial in achieving the desired parameters (e.g. resolution) and to enable a fast optimization. Starting from the magnetic field measurements and simulations, rigidity-dependent Taylor transfer maps are generated for the Super-FRS preseparator dipole magnets. The effects of the magnetic saturation in the steel yoke on the image aberrations are analyzed.


title: TF-Replicator: Distributed Machine Learning for Researchers

abstract: We describe TF-Replicator, a framework for distributed machine learning designed for DeepMind researchers and implemented as an abstraction over TensorFlow. TF-Replicator simplifies writing data-parallel and model-parallel research code. The same models can be effortlessly deployed to different cluster architectures (i.e. one or many machines containing CPUs, GPUs or TPU accelerators) using synchronous or asynchronous training regimes. To demonstrate the generality and scalability of TF-Replicator, we implement and benchmark three very different models: (1) A ResNet-50 for ImageNet classification, (2) a SN-GAN for class-conditional ImageNet image generation, and (3) a D4PG reinforcement learning agent for continuous control. Our results show strong scalability performance without demanding any distributed systems expertise of the user. The TF-Replicator programming model will be open-sourced as part of TensorFlow 2.0 (see https://github.com/tensorflow/community/pull/25).


title: Ground state and low-energy excitations of the Kitaev-Heisenberg ladder

abstract: We study the ground state and low-lying excited states of the Kitaev-Heisenberg model on a ladder geometry using the density matrix renormalization group and Lanczos exact diagonalization methods. The Kitaev and Heisenberg interactions are parametrized as $K=\sin\phi$ and $J=\cos\phi$ with an angle parameter $\phi$. Based on the results for several types of order parameters, excitation gaps, and entanglement spectra, the $\phi$-dependent ground-state phase diagram is determined. Remarkably, the phase diagram is quite similar to that of the Kitaev-Heisenberg model on a honeycomb lattice, exhibiting the same long-range ordered states, namely rung-singlet (analog to N\'eel in 3D), zigzag, ferromagnetic, and stripy; and the presence of Kitaev spin liquids around the exactly solvable Kitaev points $\phi=\pm\pi/2$. We also calculate the expectation value of a plaquette operator corresponding to a $\pi$-flux state in order to establish how the Kitaev spin liquid extends away from the $\phi=\pm\pi/2$. Furthermore, we determine the dynamical spin structure factor and discuss the effect of the Kitaev interaction on the spin-triplet dispersion.


title: Bulk-edge correspondence and long range hopping in the topological plasmonic chain

abstract: The existence of topologically protected edge modes is often cited as a highly desirable trait of topological insulators. However, these edge states are not always present. A realistic physical treatment of long range hopping in a one-dimensional dipolar system can break the symmetry that protects the edge modes without affecting the bulk topological number, leading to a breakdown in bulk-edge correspondence. It is important to find a better understanding of where and how this occurs, as well as how to measure it. Here we examine the behaviour of the bulk and edge modes in a dimerised chain of metallic nanoparticles and in a simpler non-Hermitian next-nearest-neighbour model to provide some insight into the phenomena of bulk-edge breakdown. We construct bulk-edge correspondence phase diagrams for the simpler case and use these ideas to devise a measure of symmetry-breaking for the plasmonic system based on its bulk properties. This provides a parameter regime for which bulk-edge correspondence is preserved in the topological plasmonic chain, as well as a framework for assessing this phenomenon in other systems.


title: Multilevel Monte Carlo Variational Inference

abstract: We propose a variance reduction framework for variational inference using the Multilevel Monte Carlo (MLMC) method. Our framework is built on reparameterized gradient estimators and "recycles" parameters obtained from past update history in optimization. In addition, our framework provides a new optimization algorithm based on stochastic gradient descent (SGD) that adaptively estimates the sample size used for gradient estimation according to the ratio of the gradient variance. We theoretically show that, with our method, the variance of the gradient estimator decreases as optimization proceeds and that a learning rate scheduler function helps improve the convergence. We also show that, in terms of the \textit{signal-to-noise} ratio, our method can improve the quality of gradient estimation by the learning rate scheduler function without increasing the initial sample size. Finally, we confirm that our method achieves faster convergence and reduces the variance of the gradient estimator compared with other methods through experimental comparisons with baseline methods using several benchmark datasets.


title: SCATGAN for Reconstruction of Ultrasound Scatterers Using Generative Adversarial Networks

abstract: Computational simulation of ultrasound (US) echography is essential for training sonographers. Realistic simulation of US interaction with microscopic tissue structures is often modeled by a tissue representation in the form of point scatterers, convolved with a spatially varying point spread function. This yields a realistic US B-mode speckle texture, given that a scatterer representation for a particular tissue type is readily available. This is often not the case and scatterers are nontrivial to determine. In this work we propose to estimate scatterer maps from sample US B-mode images of a tissue, by formulating this inverse mapping problem as image translation, where we learn the mapping with Generative Adversarial Networks, using a US simulation software for training. We demonstrate robust reconstruction results, invariant to US viewing and imaging settings such as imaging direction and center frequency. Our method is shown to generalize beyond the trained imaging settings, demonstrated on in-vivo US data. Our inference runs orders of magnitude faster than optimization-based techniques, enabling future extensions for reconstructing 3D B-mode volumes with only linear computational complexity.


title: An Information-Theoretic Approach to Minimax Regret in Partial Monitoring

abstract: We prove a new minimax theorem connecting the worst-case Bayesian regret and minimax regret under partial monitoring with no assumptions on the space of signals or decisions of the adversary. We then generalise the information-theoretic tools of Russo and Van Roy (2016) for proving Bayesian regret bounds and combine them with the minimax theorem to derive minimax regret bounds for various partial monitoring settings. The highlight is a clean analysis of `non-degenerate easy' and `hard' finite partial monitoring, with new regret bounds that are independent of arbitrarily large game-dependent constants. The power of the generalised machinery is further demonstrated by proving that the minimax regret for k-armed adversarial bandits is at most sqrt{2kn}, improving on existing results by a factor of 2. Finally, we provide a simple analysis of the cops and robbers game, also improving best known constants.


title: Conching chocolate: A prototypical transition from frictionally jammed solid to flowable suspension with maximal solid content

abstract: The mixing of a powder of 10-50{\mu}m primary particles into a liquid to form a dispersion with the highest possible solid content is a common industrial operation. Building on recent advances in the rheology of such 'granular dispersions', we study a paradigmatic example of such powder incorporation: the conching of chocolate, in which a homogeneous, flowing suspension is prepared from an inhomogeneous mixture of particulates, triglyceride oil and dispersants. Studying the rheology of a simplified formulation, we find that the input of mechanical energy and staged addition of surfactants combine to effect a considerable shift in the jamming volume fraction of the system, thus increasing the maximum flowable solid content. We discuss the possible microscopic origins of this shift, and suggest that chocolate conching exemplifies a ubiquitous class of powder-liquid mixing.


title: Observation of Two Collapsed Phases in CaRbFe4As4

abstract: We report the observation of the pressure-induced, fully-collapsed tetragonal phase of CaRbFe4As4 for P~ 22 GPa via high-pressure x-ray diffraction and magnetotransport measurements. The x-ray measurements, along with resistivity measurements, show that there is an initial half-collapsed tetragonal phase for 6 < P < 22 GPa, in which superconductivity is continuously suppressed from Tc= 35K at P= 3.1 GPa to Tc <2K for P >17.2 GPa, as well as signs of the fully-collapsed tetragonal phase near P=22 GPa. Density functional calculations suggest that both of these transitions are driven by increased As-As bonding, first across the Ca layer, and then at the second transition, across the Rb layer. Although electrical resistivity measurements in the fully-collapsed tetragonal phase do not show superconductivity, there is a change in the slope of both the Hall coefficient and the longitudinal resistance near 22 GPa, suggesting a strong correlation between the electronic and lattice degrees of freedom in this new iron-based superconductor.


title: Active Estimation of 3D Lines in Spherical Coordinates

abstract: Straight lines are common features in human made environments, which makes them a frequently explored feature for control applications. Many control schemes, like Visual Servoing, require the 3D parameters of the features to be estimated. In order to obtain the 3D structure of lines, a nonlinear observer is proposed. However, to guarantee convergence, the dynamical system must be coupled with an algebraic equation. This is achieved by using spherical coordinates to represent the line's moment vector, and a change of basis, which allows to introduce the algebraic constraint directly on the system's dynamics. Finally, a control law that attempts to optimize the convergence behavior of the observer is presented. The approach is validated in simulation, and with a real robotic platform with a camera onboard.


title: Quantum entanglement and transport in non-equilibrium interacting double-dot setup: The curious role of degeneracy

abstract: We study quantum entanglement and its relation to transport in a non-equilibrium interacting double dot system connected to electronic baths. The dynamical properties in the non-interacting regime are studied using an exact numerical approach whereas the steady state properties are obtained following the well-known non-equilibrium Green's function (NEGF) approach. By means of mutual information and concurrence we explore the connection between the quantum correlations in the system and the current flowing through the dots. It is observed that entanglement between the dots is heavily influenced by the degeneracy or the lack thereof, of the dot levels. In the non-degenerate case, the concurrence falls sharply when the applied bias crosses a certain critical value. In contrast when the dot energy levels are degenerate, the concurrence reaches a very high asymptotic value of 1/2. When interactions are switched on, the degeneracy is lifted, and once again concurrence falls to zero beyond a critical value of the applied bias. Lastly it is observed that the concurrence can be made to reach almost the value of 1.0 if the chemical potential in both baths is made very large (while keeping the sign the same) provided the dot levels are kept degenerate within the non-interacting limit. A combination of NEGF method, brute-force numerics and asymptotics are employed to corroborate our findings.


title: Clubmark: a Parallel Isolation Framework for Benchmarking and Profiling Clustering Algorithms on NUMA Architectures

abstract: There is a great diversity of clustering and community detection algorithms, which are key components of many data analysis and exploration systems. To the best of our knowledge, however, there does not exist yet any uniform benchmarking framework, which is publicly available and suitable for the parallel benchmarking of diverse clustering algorithms on a wide range of synthetic and real-world datasets. In this paper, we introduce Clubmark, a new extensible framework that aims to fill this gap by providing a parallel isolation benchmarking platform for clustering algorithms and their evaluation on NUMA servers. Clubmark allows for fine-grained control over various execution variables (timeouts, memory consumption, CPU affinity and cache policy) and supports the evaluation of a wide range of clustering algorithms including multi-level, hierarchical and overlapping clustering techniques on both weighted and unweighted input networks with built-in evaluation of several extrinsic and intrinsic measures. Our framework is open-source and provides a consistent and systematic way to execute, evaluate and profile clustering techniques considering a number of aspects that are often missing in state-of-the-art frameworks and benchmarking systems.


title: StoryDroid: Automated Generation of Storyboard for Android Apps

abstract: Mobile apps are now ubiquitous. Before developing a new app, the development team usually endeavors painstaking efforts to review many existing apps with similar purposes. The review process is crucial in the sense that it reduces market risks and provides inspiration for app development. However, manual exploration of hundreds of existing apps by different roles (e.g., product manager, UI/UX designer, developer) in a development team can be ineffective. For example, it is difficult to completely explore all the functionalities of the app in a short period of time. Inspired by the conception of storyboard in movie production, we propose a system, StoryDroid, to automatically generate the storyboard for Android apps, and assist different roles to review apps efficiently. Specifically, StoryDroid extracts the activity transition graph and leverages static analysis techniques to render UI pages to visualize the storyboard with the rendered pages. The mapping relations between UI pages and the corresponding implementation code (e.g., layout code, activity code, and method hierarchy) are also provided to users. Our comprehensive experiments unveil that StoryDroid is effective and indeed useful to assist app development. The outputs of StoryDroid enable several potential applications, such as the recommendation of UI design and layout code.


title: Effective bandwidth of non-Markovian packet traffic

abstract: We demonstrate the application of recent advances in statistical mechanics to a problem in telecommunication engineering: the assessment of the quality of a communication channel in terms of rare and extreme events. In particular, we discuss non-Markovian models for telecommunication traffic in continuous time and deploy the "cloning" procedure of non-equilibrium statistical mechanics to efficiently compute their effective bandwidths. The cloning method allows us to evaluate the performance of a traffic protocol even in the absence of analytical results, which are often hard to obtain when the dynamics are non-Markovian.


title: Approximate Logic Synthesis: A Reinforcement Learning-Based Technology Mapping Approach

abstract: Approximate Logic Synthesis (ALS) is the process of synthesizing and mapping a given Boolean network to a library of logic cells so that the magnitude/rate of error between outputs of the approximate and initial (exact) Boolean netlists is bounded from above by a predetermined total error threshold. In this paper, we present Q-ALS, a novel framework for ALS with focus on the technology mapping phase. Q-ALS incorporates reinforcement learning and utilizes Boolean difference calculus to estimate the maximum error rate that each node of the given network can tolerate such that the total error rate at non of the outputs of the mapped netlist exceeds a predetermined maximum error rate, and the worst case delay and the total area are minimized. Maximum Hamming Distance (MHD) between exact and approximate truth tables of cuts of each node is used as the error metric. In Q-ALS, a Q-Learning agent is trained with a sufficient number of iterations aiming to select the fittest values of MHD for each node, and in a cut-based technology mapping approach, the best supergates (in terms of delay and area, bounded further by the fittest MHD) are selected towards implementing each node. Experimental results show that having set the required accuracy of 95% at the primary outputs, Q-ALS reduces the total cost in terms of area and delay by up to 70% and 36%, respectively, and also reduces the run-time by 2.21 times on average, when compared to the best state-of-the-art academic ALS tools.


title: Segmentation of Cortical Spreading Depression Wavefronts Through Local Similarity Metric

abstract: In this paper, we present a novel region-based segmentation method for cortical spreading depressions in 2-photon microscopy images. Fluorescent microscopy has become an important tool in neuroscience, but segmentation approaches are challenged by the opaque properties and structures of brain tissue. These challenges are made more extreme when segmenting events such as cortical spreading depressions, where low signal-to-noise ratios and intensity inhomogeneity dominate images. The method we propose uses a local intensity similarity measure that takes advantage of normalized Euclidean and geodesic distance maps of the image. This method provides a smooth segmentation boundary which is robust to the noise and inhomogeneity within cortical spreading depression images. Experimental results yielded a DICE index of 0.9859, an increase of 6% over the current state-of-the-art, and a reduction of root mean square error by 79.9%.


title: Timewalk correction for the Timepix3 chip obtained with real particle data

abstract: In this work we have developed a prototype gaseous pixel detector by combining a micromegas grid with a Timepix3 chip for the readout. The micromegas foil supported by a matrix of pillars about 50 $\mathrm{\mu m}$ high was manually placed on top the chip. By placing a cathode foil above the chip an ionization detector was created with a drift gap of 13.5 mm. The Timepix3 chip, thanks to the simultaneous measurement of the time-of-arrival (ToA) and charge via time-over-threshold (ToT) allows corrections to remaining timewalk effects, improving further the position resolution along the drift direction. We present the timewalk correction for Timepix3 chip obtained with real data from a particle beam and its impact on the tracking performance. The results obtained show an significant improvement on the position resolution for single-hits and tracks along the drift direction compared to previous experiments.


title: Spectral content of a single non-Brownian trajectory

abstract: Time-dependent processes are often analysed using the power spectral density (PSD), calculated by taking an appropriate Fourier transform of individual trajectories and finding the associated ensemble-average. Frequently, the available experimental data sets are too small for such ensemble averages, and hence it is of a great conceptual and practical importance to understand to which extent relevant information can be gained from $S(f,T)$, the PSD of a single trajectory. Here we focus on the behavior of this random, realization-dependent variable, parametrized by frequency $f$ and observation-time $T$, for a broad family of anomalous diffusions---fractional Brownian motion (fBm) with Hurst-index $H$---and derive exactly its probability density function. We show that $S(f,T)$ is proportional---up to a random numerical factor whose universal distribution we determine---to the ensemble-averaged PSD. For subdiffusion ($H<1/2$) we find that $S(f,T)\sim A/f^{2H+1}$ with random-amplitude $A$. In sharp contrast, for superdiffusion $(H>1/2)$ $S(f,T)\sim BT^{2H-1}/f^2$ with random amplitude $B$. Remarkably, for $H>1/2$ the PSD exhibits the same frequency-dependence as Brownian motion, a deceptive property that may lead to false conclusions when interpreting experimental data. Notably, for $H>1/2$ the PSD is ageing and is dependent on $T$. Our predictions for both sub- and superdiffusion are confirmed by experiments in live cells and in agarose hydrogels, and by extensive simulations.

categories: cond-mat.stat-mech math.PR math.ST physics.bio-ph stat.TH


title: D-optimal Design for Network A/B Testing

abstract: A/B testing refers to the statistical procedure of conducting an experiment to compare two treatments, A and B, applied to different testing subjects. It is widely used by technology companies such as Facebook, LinkedIn, and Netflix, to compare different algorithms, web-designs, and other online products and services. The subjects participating these online A/B testing experiments are users who are connected in different scales of social networks. Two connected subjects are similar in terms of their social behaviors, education and financial background, and other demographic aspects. Hence, it is only natural to assume that their reactions to the online products and services are related to their network adjacency. In this paper, we propose to use the conditional auto-regressive model to present the network structure and include the network effects in the estimation and inference of the treatment effect. A D-optimal design criterion is developed based on the proposed model. Mixed integer programming formulations are developed to obtain the D-optimal designs. The effectiveness of the proposed method is shown through numerical results with synthetic networks and real social networks.


title: Ensembles, Dynamics, and Cell Types: Revisiting the Statistical Mechanics Perspective on Cellular Regulation

abstract: Genetic regulatory networks control ontogeny. For fifty years Boolean networks have served as models of such systems, ranging from ensembles of random Boolean networks as models for generic properties of gene regulation to working dynamical models of a growing number of sub-networks of real cells. At the same time, their statistical mechanics has been thoroughly studied. Here we recapitulate their original motivation in the context of current theoretical and empirical research. We discuss ensembles of random Boolean networks whose dynamical attractors model cell types. A sub-ensemble is the critical ensemble. There is now strong evidence that genetic regulatory networks are dynamically critical, and that evolution is exploring the critical sub-ensemble. The generic properties of this sub-ensemble predict essential features of cell differentiation. In particular, the number of attractors in such networks scales as the DNA content raised to the 0.63 power. Data on the number of cell types as a function of the DNA content per cell shows a scaling relationship of 0.88. Thus, the theory correctly predicts a power law relationship between the number of cell types and the DNA contents per cell, and a comparable slope. We discuss these new scaling values and show prospects for new research lines for Boolean networks as a base model for systems biology.


title: Hybrid Cell Assignment and Sizing for Power, Area, Delay Product Optimization of SRAM Arrays

abstract: Memory accounts for a considerable portion of the total power budget and area of digital systems. Furthermore, it is typically the performance bottleneck of the processing units. Therefore, it is critical to optimize the memory with respect to the product of power, area, and delay (PAD). We propose a hybrid cell assignment method based on multi-sized and dual-Vth SRAM cells which improves the PAD cost function by 34% compared to the conventional cell assignment. We also utilize the sizing of SRAM cells for minimizing the Data Retention Voltage (DRV), and voltages for the read and write operations in the SRAM array. Experimental results in a 32nm technology show that combining the proposed hybrid cell assignment and the cell sizing methods can lower PAD by up to 41% when compared to the conventional cell design and assignment.


title: Metallic glasses for biodegradable implants

abstract: Metallic glasses are excellent candidates for biomedical implant applications due to their inherent strength and corrosion resistance. Use of metallic glasses in structural applications is limited, however, because bulk dimensions are challenging to achieve. Glass-forming ability (GFA) varies strongly with alloy composition and becomes more difficult to predict as the number of chemical species in a system increases. Here we present a theoretical model - implemented in the AFLOW framework - for predicting GFA based on the competition between crystalline phases, and apply it to biologically relevant binary and ternary systems. Elastic properties are estimated based on the rule of mixtures for alloy systems that are predicted to be bulk glass-formers. Focusing on Ca- and Mg-based systems for use in biodegradable orthopedic support applications, we suggest alloys in the AgCaMg and AgMgZn families for further study; and alloys based on the compositions: Ag$_{0.33}$Mg$_{0.67}$, Cu$_{0.5}$Mg$_{0.5}$, Cu$_{0.37}$Mg$_{0.63}$ and Cu$_{0.25}$Mg$_{0.5}$Zn$_{0.25}$.


title: Differentiation of skin incision and laparoscopic trocar insertion via quantifying transient bradycardia measured by electrocardiogram

abstract: Background. Most surgical procedures involve structures deeper than the skin. However, the difference in surgical noxious stimulation between skin incision and laparoscopic trocar insertion is unknown. By analyzing instantaneous heart rate (IHR) calculated from the electrocardiogram, in particular the transient bradycardia in response to surgical stimuli, this study investigates surgical noxious stimuli arising from skin incision and laparoscopic trocar insertion. Methods. Thirty-five patients undergoing laparoscopic cholecystectomy were enrolled in this prospective observational study. Sequential surgical steps including umbilical skin incision (11 mm), umbilical trocar insertion (11 mm), xiphoid skin incision (5 mm), xiphoid trocar insertion (5 mm), subcostal skin incision (3 mm), and subcostal trocar insertion (3 mm) were investigated. IHR was derived from electrocardiography and calculated by the modern time-varying power spectrum. Similar to the classical heart rate variability analysis, the time-varying low frequency power (tvLF), time-varying high frequency power (tvHF), and tvLF-to-tvHF ratio (tvLHR) were calculated. Prediction probability (PK) analysis and global pointwise F-test were used to compare the performance between indices and the heart rate readings from the patient monitor. Results. Analysis of IHR showed that surgical stimulus elicits a transient bradycardia, followed by the increase of heart rate. Transient bradycardia is more significant in trocar insertion than skin incision. The IHR change quantifies differential responses to different surgical intensity. Serial PK analysis demonstrates de-sensitization in skin incision, but not in laparoscopic trocar insertion. Conclusions. Quantitative indices present the transient bradycardia introduced by noxious stimulation. The results indicate different effects between skin incision and trocar insertion.


title: Top-view Trajectories: A Pedestrian Dataset of Vehicle-Crowd Interaction from Controlled Experiments and Crowded Campus

abstract: Predicting the collective motion of a group of pedestrians (a crowd) under the vehicle influence is essential for the development of autonomous vehicles to deal with mixed urban scenarios where interpersonal interaction and vehicle-crowd interaction (VCI) are significant. This usually requires a model that can describe individual pedestrian motion under the influence of nearby pedestrians and the vehicle. This study proposed two pedestrian trajectory datasets, CITR dataset and DUT dataset, so that the pedestrian motion models can be further calibrated and verified, especially when vehicle influence on pedestrians plays an important role. CITR dataset consists of experimentally designed fundamental VCI scenarios (front, back, and lateral VCIs) and provides unique ID for each pedestrian, which is suitable for exploring a specific aspect of VCI. DUT dataset gives two ordinary and natural VCI scenarios in crowded university campus, which can be used for more general purpose VCI exploration. The trajectories of pedestrians, as well as vehicles, were extracted by processing video frames that come from a down-facing camera mounted on a hovering drone as the recording equipment. The final trajectories of pedestrians and vehicles were refined by Kalman filters with linear point-mass model and nonlinear bicycle model, respectively, in which xy-velocity of pedestrians and longitudinal speed and orientation of vehicles were estimated. The statistics of the velocity magnitude distribution demonstrated the validity of the proposed dataset. In total, there are approximate 340 pedestrian trajectories in CITR dataset and 1793 pedestrian trajectories in DUT dataset. The dataset is available at GitHub.


title: Grid Graph Reachability

abstract: The reachability problem is to determine if there exists a path from one vertex to another in a graph. Grid graphs are the class of graphs where vertices are present on the lattice points of a two-dimensional grid, and an edge can occur between a vertex and its immediate horizontal or vertical neighbor only. Asano et al. presented the first simultaneous time space bound for reachability in grid graphs by presenting an algorithm that solves the problem in polynomial time and $O(n^{1/2 + \epsilon})$ space. In 2018, the space bound was improved to $\tilde{O}(n^{1/3})$ by Ashida and Nakagawa. In this paper, we show that reachability in an $n$ vertex grid graph can be decided by an algorithm using $O(n^{1/4 + \epsilon})$ space and polynomial time simultaneously.


title: Human acceptability judgements for extractive sentence compression

abstract: Recent approaches to English-language sentence compression rely on parallel corpora consisting of sentence-compression pairs. However, a sentence may be shortened in many different ways, which each might be suited to the needs of a particular application. Therefore, in this work, we collect and model crowdsourced judgements of the acceptability of many possible sentence shortenings. We then show how a model of such judgements can be used to support a flexible approach to the compression task. We release our model and dataset for future work.


title: StaTIX - Statistical Type Inference on Linked Data

abstract: Large knowledge bases typically contain data adhering to various schemas with incomplete and/or noisy type information. This seriously complicates further integration and post-processing efforts, as type information is crucial in correctly handling the data. In this paper, we introduce a novel statistical type inference method, called StaTIX, to effectively infer instance types in Linked Data sets in a fully unsupervised manner. Our inference technique leverages a new hierarchical clustering algorithm that is robust, highly effective, and scalable. We introduce a novel approach to reduce the processing complexity of the similarity matrix specifying the relations between various instances in the knowledge base. This approach speeds up the inference process while also improving the correctness of the inferred types due to the noise attenuation in the input data. We further optimize the clustering process by introducing a dedicated hash function that speeds up the inference process by orders of magnitude without negatively affecting its accuracy. Finally, we describe a new technique to identify representative clusters from the multi-scale output of our clustering algorithm to further improve the accuracy of the inferred types. We empirically evaluate our approach on several real-world datasets and compare it to the state of the art. Our results show that StaTIX is more efficient than existing methods (both in terms of speed and memory consumption) as well as more effective. StaTIX reduces the F1-score error of the predicted types by about 40% on average compared to the state of the art and improves the execution time by orders of magnitude.


title: DANTE: Deep AlterNations for Training nEural networks

abstract: We present DANTE, a novel method for training neural networks using the alternating minimization principle. DANTE provides an alternate perspective to traditional gradient-based backpropagation techniques commonly used to train deep networks. It utilizes an adaptation of quasi-convexity to cast training a neural network as a bi-quasi-convex optimization problem. We show that for neural network configurations with both differentiable (e.g. sigmoid) and non-differentiable (e.g. ReLU) activation functions, we can perform the alternations effectively in this formulation. DANTE can also be extended to networks with multiple hidden layers. In experiments on standard datasets, neural networks trained using the proposed method were found to be promising and competitive to traditional backpropagation techniques, both in terms of quality of the solution, as well as training speed.


title: Local limits of uniform triangulations in high genus

abstract: We prove a conjecture of Benjamini and Curien stating that the local limits of uniform random triangulations whose genus is proportional to the number of faces are the Planar Stochastic Hyperbolic Triangulations (PSHT) defined in arXiv:1401.3297. The proof relies on a combinatorial argument and the Goulden--Jackson recurrence relation to obtain tightness, and probabilistic arguments showing the uniqueness of the limit. As a consequence, we obtain asymptotics up to subexponential factors on the number of triangulations when both the size and the genus go to infinity. As a part of our proof, we also obtain the following result of independent interest: if a random triangulation of the plane $T$ is weakly Markovian in the sense that the probability to observe a finite triangulation $t$ around the root only depends on the perimeter and volume of $t$, then $T$ is a mixture of PSHT.


title: Long-Term Cyclic Variability of YZ CMi in the Context of Solar and Stellar Physics

abstract: Manifestations of activity on the YZ CMi (M4.5Ve) flare star which has a rotation period of 2.77 days and belongs to a group of activity-saturated stars, are considered from long-term photometric data together with photographic measurements from 1926 to 2009. Long-term changes in yearly mean brightness of the star are found on a time scale of 27.5 years with an amplitude of $0.2 - 0.3^m$ that indicate variations in development of surface inhomogeneities and a large degree of surface spottedness in the maximum activity. Spots are distributed unevenly over the surface, their concentration is higher at certain longitudes spaced by intervals equal to 0.6 phases of the rotation period. The recovery of active longitude (a possible "flip-flop" effect) occurs over a period of about 6 years. We note differences in activity of this star from typical for the Sun and solar-like stars, which are associated with its dynamic characteristics $P_{cyc}$ and $P_{rot}$ and its inner structure.


title: Mixing via controllability for randomly forced nonlinear dissipative PDEs

abstract: We continue our study of the problem of mixing for a class of PDEs with very degenerate noise. As we established earlier, the uniqueness of stationary measure and its exponential stability in the dual-Lipschitz metric holds under the hypothesis that the unperturbed equation has exactly one globally stable equilibrium point. In this paper, we relax that condition, assuming only global controllability to a given point. It is proved that the uniqueness of a stationary measure and convergence to it are still valid, whereas the rate of convergence is not necessarily exponential. The result is applicable to randomly forced parabolic-type PDEs, provided that the deterministic part of the external force is in general position, ensuring a regular structure for the attractor of the unperturbed problem. The proof uses a new idea that reduces the verification of a stability property to the investigation of a conditional random walk.


title: High-sensitivity free space optical communications using low size, weight and power hardware

abstract: Free space optical communication systems with extremely high detector sensitivities are attractive for various applications with low size, weight and power requirements. For these practical systems, integrated hardware elements with small form factor are needed. Here, we demonstrate a communication link using a CMOS integrated micro-LED and array of single-photon avalanche diodes. These integrated systems provide a data rate of 100 Mb/s at a sensitivity of -55.2 dBm, corresponding to 7.5 detected photons per bit.


title: Examining the Presence of Gender Bias in Customer Reviews Using Word Embedding

abstract: Humans have entered the age of algorithms. Each minute, algorithms shape countless preferences from suggesting a product to a potential life partner. In the marketplace algorithms are trained to learn consumer preferences from customer reviews because user-generated reviews are considered the voice of customers and a valuable source of information to firms. Insights mined from reviews play an indispensable role in several business activities ranging from product recommendation, targeted advertising, promotions, segmentation etc. In this research, we question whether reviews might hold stereotypic gender bias that algorithms learn and propagate Utilizing data from millions of observations and a word embedding approach, GloVe, we show that algorithms designed to learn from human language output also learn gender bias. We also examine why such biases occur: whether the bias is caused because of a negative bias against females or a positive bias for males. We examine the impact of gender bias in reviews on choice and conclude with policy implications for female consumers, especially when they are unaware of the bias, and the ethical implications for firms.


title: An Optical Tweezer Array of Ultracold Molecules

abstract: Arrays of single ultracold molecules promise to be a powerful platform for many applications ranging from quantum simulation to precision measurement. Here we report on the creation of an optical tweezer array of single ultracold CaF molecules. By utilizing light-induced collisions during the laser cooling process, we trap single molecules. The high densities attained inside the tweezer traps have also enabled us to observe in the absence of light molecule-molecule collisions of laser cooled molecules for the first time.


title: Quantum Associative Memory in HEP Track Pattern Recognition

abstract: We have entered the Noisy Intermediate-Scale Quantum Era. A plethora of quantum processor prototypes allow evaluation of potential of the Quantum Computing paradigm in applications to pressing computational problems of the future. Growing data input rates and detector resolution foreseen in High-Energy LHC (2030s) experiments expose the often high time and/or space complexity of classical algorithms. Quantum algorithms can potentially become the lower-complexity alternatives in such cases. In this work we discuss the potential of Quantum Associative Memory (QuAM) in the context of LHC data triggering. We examine the practical limits of storage capacity, as well as store and recall errorless efficiency, from the viewpoints of the state-of-the-art IBM quantum processors and LHC real-time charged track pattern recognition requirements. We present a software prototype implementation of the QuAM protocols and analyze the topological limitations for porting the simplest QuAM instances to the public IBM 5Q and 14Q cloud-based superconducting chips.


title: Pauli Exclusion Principle and its theoretical foundation

abstract: The modern state of the Pauli Exclusion Principle (PEP) is discussed. PEP can be considered from two viewpoints. On the one hand, it asserts that particles with half-integer spin (fermions) are described by antisymmetric wave functions, and particles with integer spin (bosons) are described by symmetric wave functions. This is the so-called spin-statistics connection (SSC). As we will discuss, the physical reasons why SSC exists are still unknown. On the other hand, according to PEP, the permutation symmetry of the total wave functions can be only of two types: symmetric or antisymmetric, both belong to one-dimensional representations of the permutation group, all other types of permutation symmetry are forbidden; whereas the solution of the Schr\"odinger equation may have any permutation symmetry. It is demonstrated that the proof in some widespread textbooks on quantum mechanics that only symmetric and antisymmetric states (one-dimensional representations of the permutation group) can exist is wrong. However, the scenarios, in which an arbitrary permutation symmetry (degenerate permutation states) is permitted lead to contradictions with the concepts of particle identity and their independence. Thus, the existence in our nature particles only in nondegenerate permutation states (symmetric and antisymmetric) is not accidental and so-called symmetrization postulate may not be considered as a postulate, since all other symmetry options for the total wave function may not be realized. From this an important conclusion follows: we may not expect that in future some unknown elementary particles can be discovered that are not fermions or bosons.


title: Stellar Spectroscopy in the Near-infrared with a Laser Frequency Comb

abstract: The discovery and characterization of exoplanets around nearby stars is driven by profound scientific questions about the uniqueness of Earth and our Solar System, and the conditions under which life could exist elsewhere in our Galaxy. Doppler spectroscopy, or the radial velocity (RV) technique, has been used extensively to identify hundreds of exoplanets, but with notable challenges in detecting terrestrial mass planets orbiting within habitable zones. We describe infrared RV spectroscopy at the 10 m Hobby-Eberly telescope that leverages a 30 GHz electro-optic laser frequency comb with nanophotonic supercontinuum to calibrate the Habitable Zone Planet Finder spectrograph. Demonstrated instrument precision <10 cm/s and stellar RVs approaching 1 m/s open the path to discovery and confirmation of habitable zone planets around M-dwarfs, the most ubiquitous type of stars in our Galaxy.


title: A Penrose-Type Inequality with Angular Momentum and Charge for Axisymmetric Initial Data

abstract: A lower bound for the ADM mass is established in terms of angular momentum, charge, and horizon area in the context of maximal, axisymmetric initial data for the Einstein-Maxwell equations which satisfy the weak energy condition. If, on the horizon, the given data agree to a certain extent with the associated model Kerr-Newman data, then the inequality reduces to the conjectured Penrose inequality with angular momentum and charge. In addition, a rigidity statement is also proven whereby equality is achieved if and only if the data set arises from the canonical slice of a Kerr-Newman spacetime.


title: Quantum Grothendieck rings as quantum cluster algebras

abstract: We define and construct a quantum Grothendieck ring for a certain monoidal subcategory of the category $\mathcal{O}$ of representations of the quantum loop algebra introduced by Hernandez-Jimbo. We use the cluster algebra structure of the Grothendieck ring of this category to define the quantum Grothendieck ring as a quantum cluster algebra. When the underlying simple Lie algebra is of type $A$, we prove that this quantum Grothendieck ring contains the quantum Grothendieck ring of the category of finite-dimensional representations of the associated quantum affine algebra. In type $A_1$, we identify remarkable relations in this quantum Grothendieck ring.


title: Critical exponent of infinite balanced words via the Pell number system

abstract: In a recent paper of Rampersad et al., the authors conjectured that the smallest possible critical exponent of an infinite balanced word over a 5-letter alphabet is $3/2$. We prove this result, using a formulation of first-order logic, the Pell number system, and a machine computation based on finite-state automata.


title: Stable pairs with a twist and gluing morphisms for moduli of surfaces

abstract: We propose an alternative definition for families of stable pairs $(X,D)$ over a possibly non-reduced base when $D$ is reduced, by replacing $(X,D)$ with an appropriate orbifold pair $(\mathcal X,\mathcal D)$. This definition of a stable family ends up being equivalent to previous ones, but has the advantage of being more amenable to the tools of deformation theory. Moreover, adjunction for $(\mathcal X,\mathcal D)$ holds on the nose; there is no correction term coming from the different. This leads to the existence of functorial gluing morphisms for families of stable surfaces and functorial morphisms from $(n + 1)$ dimensional stable pairs to $n$ dimensional polarized orbispace. As an application, we study the deformation theory of some surface pairs.


title: Differentiable Grammars for Videos

abstract: This paper proposes a novel algorithm which learns a formal regular grammar from real-world continuous data, such as videos. Learning latent terminals, non-terminals, and production rules directly from continuous data allows the construction of a generative model capturing sequential structures with multiple possibilities. Our model is fully differentiable, and provides easily interpretable results which are important in order to understand the learned structures. It outperforms the state-of-the-art on several challenging datasets and is more accurate for forecasting future activities in videos. We plan to open-source the code. https://sites.google.com/view/differentiable-grammars


title: The Hanabi Challenge: A New Frontier for AI Research

abstract: From the early days of computing, games have been important testbeds for studying how well machines can do sophisticated decision making. In recent years, machine learning has made dramatic advances with artificial agents reaching superhuman performance in challenge domains like Go, Atari, and some variants of poker. As with their predecessors of chess, checkers, and backgammon, these game domains have driven research by providing sophisticated yet well-defined challenges for artificial intelligence practitioners. We continue this tradition by proposing the game of Hanabi as a new challenge domain with novel problems that arise from its combination of purely cooperative gameplay with two to five players and imperfect information. In particular, we argue that Hanabi elevates reasoning about the beliefs and intentions of other agents to the foreground. We believe developing novel techniques for such theory of mind reasoning will not only be crucial for success in Hanabi, but also in broader collaborative efforts, especially those with human partners. To facilitate future research, we introduce the open-source Hanabi Learning Environment, propose an experimental framework for the research community to evaluate algorithmic advances, and assess the performance of current state-of-the-art techniques.


title: Higher-order topological insulators in amorphous solids

abstract: We identify the possibility of realizing higher order topological (HOT) phases in noncrystalline or amorphous materials. Starting from two and three dimensional crystalline HOT insulators, accommodating topological corner states, we gradually enhance structural randomness in the system. Within a parameter regime, as long as amorphousness is confined by outer crystalline boundary, the system continues to host corner states, yielding amorphous HOT insulators. However, as structural disorder percolates to the edges, corner states start to dissolve into amorphous bulk, and ultimately the system becomes a trivial insulator when amorphousness plagues the entire system. These outcomes are further substantiated by computing the quadrupolar (octupolar) moment in two (three) dimensions. Therefore, HOT phases can be realized in amorphous solids, when wrapped by a thin (lithographically grown, for example) crystalline layer. Our findings suggest that crystalline topological phases can be realized even in the absence of local crystalline symmetry.


title: How to (Properly) Evaluate Cross-Lingual Word Embeddings: On Strong Baselines, Comparative Analyses, and Some Misconceptions

abstract: Cross-lingual word embeddings (CLEs) enable multilingual modeling of meaning and facilitate cross-lingual transfer of NLP models. Despite their ubiquitous usage in downstream tasks, recent increasingly popular projection-based CLE models are almost exclusively evaluated on a single task only: bilingual lexicon induction (BLI). Even BLI evaluations vary greatly, hindering our ability to correctly interpret performance and properties of different CLE models. In this work, we make the first step towards a comprehensive evaluation of cross-lingual word embeddings. We thoroughly evaluate both supervised and unsupervised CLE models on a large number of language pairs in the BLI task and three downstream tasks, providing new insights concerning the ability of cutting-edge CLE models to support cross-lingual NLP. We empirically demonstrate that the performance of CLE models largely depends on the task at hand and that optimizing CLE models for BLI can result in deteriorated downstream performance. We indicate the most robust supervised and unsupervised CLE models and emphasize the need to reassess existing baselines, which still display competitive performance across the board. We hope that our work will catalyze further work on CLE evaluation and model analysis.


title: Limit theorems for cloning algorithms

abstract: Large deviations for additive path functionals of stochastic processes have attracted significant research interest, in particular in the context of stochastic particle systems and statistical physics. Efficient numerical `cloning' algorithms have been developed to estimate the scaled cumulant generating function, based on importance sampling via cloning of rare event trajectories. So far, attempts to study the convergence properties of these algorithms in continuous time have only led to partial results for particular cases. Adapting previous results from the literature of particle filters and sequential Monte Carlo methods, we establish a first comprehensive and fully rigorous approach to bound systematic and random errors of cloning algorithms in continuous time. To this end we develop a method to compare different algorithms for particular classes of observables, based on the martingale characterization of stochastic processes. Our results apply to a large class of jump processes on compact state space, and do not involve any time discretization in contrast to previous approaches. This provides a robust and rigorous framework that can also be used to evaluate and improve the efficiency of algorithms.


title: On some new formulae involving the Stieltjes constants

abstract: We show that the generalised Stieltjes constants may be represented by infinite series involving logarithmic terms. Some relations involving the derivatives of the Hurwitz zeta function are also investigated


title: Black Hole High Mass X-ray Binary Microquasars at Cosmic Dawn

abstract: Theoretical models and observations suggest that primordial Stellar Black Holes (Pop-III-BHs) were prolifically formed in HMXBs, which are powerful relativistic jet sources of synchrotron radiation called Microquasars (MQs). Large populations of BH-HMXB-MQs at cosmic dawn produce a smooth synchrotron cosmic radio background (CRB) that could account for the excess amplitude of atomic hydrogen absorption at z~17, recently reported by EDGES. BH-HMXB-MQs at cosmic dawn precede supernovae, neutron stars and dust. BH-HMXB-MQs promptly inject hard X-rays and relativistic jets into the IGM, which overtake the slower expanding HII regions ionized by progenitor Pop-III stars, heating and partially ionizing the IGM over larger distance scales. BH-HMXBs are channels for the formation of Binary-Black-Holes (BBHs). The large masses of BBHs detected by gravitational waves, relative to the masses of BHs detected by X-rays, and the high rates of BBH-mergers, are consistent with high formation rates of BH-HMXBs and BBHs in the early universe.


title: Subgroups of arbitrary even ordinary depth

abstract: We show that for each positive integer $n$, there are a group $G$ and a subgroup $H$ such that the ordinary depth is $d(H, G) = 2n$. This solves the open problem posed by Lars Kadison whether even ordinary depth larger than $6$ can occur.


title: On the dynamics of a charged particle in magnetic fields with cylindrical symmetry

abstract: We study the motion of a charged particle under the action of a magnetic field with cylindrical symmetry. In particular we consider magnetic fields with constant direction and with magnitude depending on the distance $r$ from the symmetry axis of the form $1 + Ar^{-\gamma}$ as $r\to\infty$, with $A\ne 0$ and $\gamma > 1$. With perturbative-variational techniques, we can prove the existence of infinitely many trajectories whose projection on a plane orthogonal to the direction of the field describe bounded curves given by the superposition of two motions: a rotation with constant angular speed at a unit distance about a point which moves along a circumference of large radius $\rho$ with a slow angular speed $\varepsilon$. The values $\rho$ and $\varepsilon$ are suitably related to each other. This problem has some interest also in the context of planar curves with prescribed curvature.


title: Room temperature strain-induced Landau levels in graphene on a wafer-scale platform

abstract: Graphene is a powerful playground for studying a plethora of quantum phenomena. One of the remarkable properties of graphene arises when it is strained in particular geometries and the electrons behave as if they were under the influence of a magnetic field. Previously, these strain-induced pseudomagnetic fields have been explored on the nano- and micrometer-scale using scanning probe and transport measurements. Heteroepitaxial strain, in contrast, is a wafer-scale engineering method. Here, we show that pseudomagnetic fields can be generated in graphene through wafer-scale epitaxial growth. Shallow triangular nanoprisms in the SiC substrate generate strain-induced uniform fields of 41 T. This enables the observation of strain-induced Landau levels at room temperature, as detected by angle-resolved photoemission spectroscopy, and confirmed by model calculations and scanning tunneling microscopy measurements. Our work demonstrates the feasibility of exploiting strain-induced quantum phases in two-dimensional Dirac materials on a wafer-scale platform, opening the field to new applications.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.other cond-mat.str-el quant-ph


title: An Absence of Radio-Loud Active Galactic Nuclei in Geometrically Flat Quiescent Galaxies: Implications for Maintenance-Mode Feedback Models

abstract: Maintenance-mode feedback from low-accretion rate AGN, manifesting itself observationally through radio-loudness, is invoked in all cosmological galaxy formation models as a mechanism that prevents excessive star-formation in massive galaxies (M$_*$ $\gtrsim$ 3$\times$10$^{10}$ M$_{\odot}$). We demonstrate that at a fixed mass the incidence of radio-loud AGN (L $>$ 10$^{23}$ WHz$^{- 1}$) identified in the FIRST and NVSS radio surveys among a large sample of quiescent (non-star forming) galaxies selected from the SDSS is much higher in geometrically round galaxies than in geometrically flat, disk-like galaxies. As found previously, the RL AGN fraction increases steeply with stellar velocity dispersion $\sigma_*$ and stellar mass, but even at a fixed velocity dispersion of 200-250 kms$^{-1}$ this fraction increases from 0.3% for flat galaxies (projected axis ratio of q $<$ 0.4) to 5% for round galaxies (q $>$ 0.8). We rule out that this strong trend is due to projection effects in the measured velocity dispersion. The large fraction of radio-loud AGN in massive, round galaxies is consistent with the hypothesis that such AGN deposit energy into their hot gaseous halos, preventing cooling and star-formation. However, the absence of such AGN in disk-like quiescent galaxies -- most of which are not satellites in massive clusters, raises important questions: is maintenance-mode feedback a generally valid explanation for quiescence; and, if so, how does that feedback avoid manifesting at least occasionally as a radio-loud galaxy?


title: Glass-induced enhancement of superconducting $T_c$: Pairing via dissipative mediators

abstract: With substantial evidence of glassy behavior in the phase diagram of high $T_c$ superconductors and its co-existence with superconductivity, we attempt to answer the question: what are the properties of a superconducting state where the force driving cooper pairing becomes dissipative? We find that when the bosonic mediator is local, dissipation acts to reduce the superconducting critical temperature ($T_c$). On the other hand, contrary to na\"{i}ve expectations, $T_c$ behaves non-monotonically with dissipation for a non-local mediator -- weakly dissipative bosons at different energy scales act coherently to give rise to an increase in $T_c$ and eventually destroy superconductivity when the dissipation exceeds a critical value. The critical value occurs when dissipative effects become comparable to the energy scale associated with the spatial stiffness of the mediator, at which point, $T_c$ acquires a maximum. We outline consequences of our results to recent proton irradiation experiments (M. Leroux et al.,~\cite{Welp2018}) on the cuprate superconductor La$_{2-x}$Ba$_x$CuO$_4$ (LBCO) which observe a disorder induced increase in $T_c$ even when the transition temperature of the proximate charge density wave (CDW) is unaffected by the presence of irradiation. Our mechanism is a novel way to raise $T_c$ that does not require a `tug-of-war' -type scenario between two competing phases.


title: Neutrino oscillation probabilities through the looking glass

abstract: In this paper we review different expansions for neutrino oscillation probabilities in matter in the context of long-baseline neutrino experiments. We examine the accuracy and computational efficiency of different exact and approximate expressions. We find that many of the expressions used in the literature are not precise enough for the next generation of long-baseline experiments, but several of them are while maintaining comparable simplicity. The results of this paper can be used as guidance to both phenomenologists and experimentalists when implementing the various oscillation expressions into their analysis tools.


title: On the Observed Diversity of Star Formation Efficiencies in Giant Molecular Clouds

abstract: Observations find a median star formation efficiency per free-fall time in Milky Way Giant Molecular Clouds (GMCs) on the order of $\epsilon_{\rm ff}\sim 1\%$ with dispersions of $\sim0.5\,{\rm dex}$. The origin of this scatter in $\epsilon_{\rm ff}$ is still debated and difficult to reproduce with analytical models. We track the formation, evolution and destruction of GMCs in a hydrodynamical simulation of a Milky Way-like galaxy and by deriving cloud properties in an observationally motivated way, measure the distribution of star formation efficiencies which are in excellent agreement with observations. We find no significant link between $\epsilon_{\rm ff}$ and any measured global property of GMCs (e.g. gas mass, velocity dispersion). Instead, a wide range of efficiencies exist in the entire parameter space. From the cloud evolutionary tracks, we find that each cloud follow a \emph{unique} evolutionary path which gives rise to wide diversity in all properties. We argue that it is this diversity in cloud properties, above all else, that results in the dispersion of $\epsilon_{\rm ff}$.


title: Asymptotic Behavior of Cosmologies with $\Lambda >0$ in 2+1 Dimensions

abstract: We study, using Mean Curvature Flow methods, 2+1 dimensional cosmologies with a positive cosmological constant and matter satisfying the dominant and the strong energy conditions. If the spatial slices are compact with non-positive Euler characteristic and are initially expanding everywhere, then we prove that the spatial slices reach infinite volume, asymptotically converge on average to de Sitter and they become, almost everywhere, physically indistinguishable from de Sitter. This holds true notwithstanding the presence of initial arbitrarily-large density fluctuations and the formation of black holes.


title: NuSTAR Observations of the Accreting Atolls GX 3+1, 4U 1702-429, 4U 0614+091, and 4U 1746-371

abstract: Atoll sources are accreting neutron star (NS) low-mass X-ray binaries. We present a spectral analysis of four persistent atoll sources (GX 3+1, 4U 1702$-$429, 4U 0614+091, and 4U 1746$-$371) observed for $\sim20$ ks each with NuSTAR to determine the extent of the inner accretion disk. These sources range from an apparent luminosity of $0.006-0.11$ of the Eddington limit (assuming the empirical limit of $3.8\times10^{38}$ ergs s$^{-1}$). Broad Fe emission features shaped by Doppler and relativistic effects close to the NS were firmly detected in three of these sources. The position of the disk appears to be close to the innermost stable circular orbit (ISCO) in each case. For GX 3+1, we determine $R_{in}=1.8^{+0.2}_{-0.6}\ R_{\mathrm{ISCO}}$ (90% confidence level) and an inclination of $27^{\circ}-31^{\circ}$. For 4U 1702$-$429, we find a $R_{in}=1.5_{-0.4}^{+1.6}\ R_{\mathrm{ISCO}}$ and inclination of $53^{\circ}-64^{\circ}$. For 4U 0614+091, the disk has a position of $R_{in}=1.3_{-0.2}^{+5.4}\ R_{\mathrm{ISCO}}$ and inclination of $50^{\circ}-62^{\circ}$. If the disk does not extend to the innermost stable circular orbit, we can place conservative limits on the magnetic field strength in these systems in the event that the disk is truncated at the Alfv\'{e}n radius. This provides the limit at the poles of $B\leq6.7\times10^{8}$ G, $3.3\times10^{8}$ G, and $14.5\times10^{8}$ G for GX 3+1, 4U 1702$-$429, and 4U 0614+091, respectively. For 4U 1746$-$371, we argue that the most plausible explanation for the lack of reflection features is a combination of source geometry and strong Comptonization. We place these sources among the larger sample of NSs that have been observed with NuSTAR.


title: Generating Entangled Inflationary Quantum States

abstract: Entangled inflationary quantum states offer an interesting alternative to the standard Bunch-Davies vacuum. While they can be viewed from the point of view of a theory of effective initial states, it has been unclear exactly how such states might be generated. Using a model involving two scalar fields $\Phi,\Sigma$ we show that if {\em both} fields have non-zero time dependent expectation values $\phi,\sigma$ respectively, and if the interaction potential $V(\Phi,\Sigma)$ when evaluated at these expectation values has $\partial_{\phi}\partial_{\sigma}V(\phi, \sigma)\neq 0$, this can serve as a source term for the entanglement kernel describing the state within the Gaussian approximation around the expectation values. We also show how cubic interactions between the metric perturbation $\zeta$ and a scalar $\Sigma$ can be used to generate a source term for entanglement.


title: Deep Learning for Multi-Messenger Astrophysics: A Gateway for Discovery in the Big Data Era

abstract: This report provides an overview of recent work that harnesses the Big Data Revolution and Large Scale Computing to address grand computational challenges in Multi-Messenger Astrophysics, with a particular emphasis on real-time discovery campaigns. Acknowledging the transdisciplinary nature of Multi-Messenger Astrophysics, this document has been prepared by members of the physics, astronomy, computer science, data science, software and cyberinfrastructure communities who attended the NSF-, DOE- and NVIDIA-funded "Deep Learning for Multi-Messenger Astrophysics: Real-time Discovery at Scale" workshop, hosted at the National Center for Supercomputing Applications, October 17-19, 2018. Highlights of this report include unanimous agreement that it is critical to accelerate the development and deployment of novel, signal-processing algorithms that use the synergy between artificial intelligence (AI) and high performance computing to maximize the potential for scientific discovery with Multi-Messenger Astrophysics. We discuss key aspects to realize this endeavor, namely (i) the design and exploitation of scalable and computationally efficient AI algorithms for Multi-Messenger Astrophysics; (ii) cyberinfrastructure requirements to numerically simulate astrophysical sources, and to process and interpret Multi-Messenger Astrophysics data; (iii) management of gravitational wave detections and triggers to enable electromagnetic and astro-particle follow-ups; (iv) a vision to harness future developments of machine and deep learning and cyberinfrastructure resources to cope with the scale of discovery in the Big Data Era; (v) and the need to build a community that brings domain experts together with data scientists on equal footing to maximize and accelerate discovery in the nascent field of Multi-Messenger Astrophysics.


title: On the Objects and Morphisms of Category of Soft sets

abstract: Soft set theory can deal uncertainties in nature by parametrization process. In this paper, we explore the objects and morphisms of category of soft sets, Sset(U) in detail. Also, gives characterizations of monomorphisms and epimorphisms in Sset(U).


title: Distributed Reactive Programming for Reactive Distributed Systems

abstract: Context: The term reactivity is popular in two areas of research: programming languages and distributed systems. On one hand, reactive programming is a paradigm which provides programmers with the means to declaratively write event-driven applications. On the other hand, reactive distributed systems handle client requests in a timely fashion regardless of load or failures. Inquiry: Reactive programming languages and frameworks tailored to the implementation of distributed systems have previously been proposed. However, we argue that these approaches are ill fit to implement reactive distributed systems. Approach: We analyse state of the art runtimes for distributed reactive programming and identify two key issues with regards to reactive distributed systems. They rely on single, central points of coordination and/or assume a lack of partial failures in the systems they support. Knowledge: Based on our analysis we propose a novel runtime for distributed reactive programming languages and frameworks. This runtime supports reactive distributed systems by design. Grounding: We implement a proof of concept framework for reactive distributed systems in JavaScript which builds atop our runtime. Using this framework we implement a case study application which highlights the applicability of our approach. Moreover, we benchmark our runtime against a similar approach in order to showcase its runtime properties and we prove its correctness. Importance: This work aims to bridge the gap between two kinds of reactivity: reactive distributed systems and distributed reactive programming. Current distributed reactive programming approaches do not support reactive distributed systems. Our runtime is the first to bridge this reactivity gap: it allows for reactive distributed systems to be implemented using distributed reactive programming.


title: ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations

abstract: ParaSail is a language specifically designed to simplify the construction of programs that make full, safe use of parallel hardware even while manipulating potentially irregular data structures. As parallel hardware has proliferated, there has been an urgent need for languages that ease the writing of correct parallel programs. ParaSail achieves these goals largely through simplification of the language, rather than by adding numerous rules. In particular, ParaSail eliminates global variables, parameter aliasing, and most significantly, re-assignable pointers. ParaSail has adopted a pointer-free approach to defining complex data structures. Rather than using pointers, ParaSail supports flexible data structuring using expandable (and shrinkable) objects implemented using region-based storage management, along with generalized indexing. By eliminating global variables, parameter aliasing, and pointers, ParaSail reduces the complexity for the programmer, while still allowing ParaSail to provide flexible, pervasive, safe, parallel programming for irregular computations. Perhaps the most interesting discovery in this language development effort, based on over six years of use by the author and a group of ParaSail users, has been that it is possible to simultaneously simplify the language, support parallel programming with advanced data structures, and maintain flexibility and efficiency.


title: Applications of Multi-view Learning Approaches for Software Comprehension

abstract: Program comprehension concerns the ability of an individual to make an understanding of an existing software system to extend or transform it. Software systems comprise of data that are noisy and missing, which makes program understanding even more difficult. A software system consists of various views including the module dependency graph, execution logs, evolutionary information and the vocabulary used in the source code, that collectively defines the software system. Each of these views contain unique and complementary information; together which can more accurately describe the data. In this paper, we investigate various techniques for combining different sources of information to improve the performance of a program comprehension task. We employ state-of-the-art techniques from learning to 1) find a suitable similarity function for each view, and 2) compare different multi-view learning techniques to decompose a software system into high-level units and give component-level recommendations for refactoring of the system, as well as cross-view source code search. The experiments conducted on 10 relatively large Java software systems show that by fusing knowledge from different views, we can guarantee a lower bound on the quality of the modularization and even improve upon it. We proceed by integrating different sources of information to give a set of high-level recommendations as to how to refactor the software system. Furthermore, we demonstrate how learning a joint subspace allows for performing cross-modal retrieval across views, yielding results that are more aligned with what the user intends by the query. The multi-view approaches outlined in this paper can be employed for addressing problems in software engineering that can be encoded in terms of a learning problem, such as software bug prediction and feature location.


title: Enhancements and suppressions of CP violating effect in the nucleons, nuclei, and atoms

abstract: The electric dipole moment (EDM) is a very sensitive probe of CP violation beyond the standard model, and it as been measured in many systems such as atoms, neutrons, etc. The EDM of composite systems may be sensitive to several elementary level CP violating processes, but the theoretical evaluations of the CP violation at different physical (atomic, nuclear, hadronic, elementary) hierarchies are required to unveil them. In this context, we are particularly interested in which CP violating processes are enhanced in a given system, or vice versa. In this proceedings contribution, we will give an overview of the enhancement and suppression of CP violation in processes contributing to the EDMs of composite systems.


title: Competitive Experience Replay

abstract: Deep learning has achieved remarkable successes in solving challenging reinforcement learning (RL) problems when dense reward function is provided. However, in sparse reward environment it still often suffers from the need to carefully shape reward function to guide policy optimization. This limits the applicability of RL in the real world since both reinforcement learning and domain-specific knowledge are required. It is therefore of great practical importance to develop algorithms which can learn from a binary signal indicating successful task completion or other unshaped, sparse reward signals. We propose a novel method called competitive experience replay, which efficiently supplements a sparse reward by placing learning in the context of an exploration competition between a pair of agents. Our method complements the recently proposed hindsight experience replay (HER) by inducing an automatic exploratory curriculum. We evaluate our approach on the tasks of reaching various goal locations in an ant maze and manipulating objects with a robotic arm. Each task provides only binary rewards indicating whether or not the goal is achieved. Our method asymmetrically augments these sparse rewards for a pair of agents each learning the same task, creating a competitive game designed to drive exploration. Extensive experiments demonstrate that this method leads to faster converge and improved task performance.