title: FunTAL: Reasonably Mixing a Functional Language with Assembly

abstract: We present FunTAL, the first multi-language system to formalize safe interoperability between a high-level functional language and low-level assembly code while supporting compositional reasoning about the mix. A central challenge in developing such a multi-language is bridging the gap between assembly, which is staged into jumps to continuations, and high-level code, where subterms return a result. We present a compositional stack-based typed assembly language that supports components, comprised of one or more basic blocks, that may be embedded in high-level contexts. We also present a logical relation for FunTAL that supports reasoning about equivalence of high-level components and their assembly replacements, mixed-language programs with callbacks between languages, and assembly components comprised of different numbers of basic blocks.


title: Anisotropic-hydrodynamics approach to a quark-gluon fluid mixture

abstract: Anisotropic-hydrodynamics framework is used to describe a mixture of quark and gluon fluids. The effects of quantum statistics, finite quark mass, and finite baryon number density are taken into account. The results of anisotropic hydrodynamics are compared with exact solutions of the coupled kinetic equations for quarks and gluons in the relaxation time approximation. The overall very good agreement between the hydrodynamic and kinetic-theory results is found.


title: From the Sakai-Sugimoto Model to the Generalized Skyrme Model

abstract: We derive the generalized Skyrme model as a low-energy effective model of the Sakai-Sugimoto model. The novelty with the past is the presence of the sextic term equal to the topological charge squared. This term appears when the $\omega$ meson, and the tower of states on top of it, are integrated out. We claim that, in the small 't Hooft coupling limit, the instanton is well described by a Skyrmion arising from the low energy effective Lagrangian of the Sakai-Sugimoto model. The sextic term plays a dominant role in this limit. Moreover, when a pion mass term is added we recover the BPS Skyrme model in the small 't Hooft coupling limit.


title: Material Classification in the Wild: Do Synthesized Training Data Generalise Better than Real-World Training Data?

abstract: We question the dominant role of real-world training images in the field of material classification by investigating whether synthesized data can generalise more effectively than real-world data. Experimental results on three challenging real-world material databases show that the best performing pre-trained convolutional neural network (CNN) architectures can achieve up to 91.03% mean average precision when classifying materials in cross-dataset scenarios. We demonstrate that synthesized data achieve an improvement on mean average precision when used as training data and in conjunction with pre-trained CNN architectures, which spans from ~ 5% to ~ 19% across three widely used material databases of real-world images.


title: Nonconcave Robust Optimization with Discrete Strategies under Knightian Uncertainty

abstract: We study robust stochastic optimization problems in the quasi-sure setting in discrete-time. The strategies in the multi-period-case are restricted to those taking values in a discrete set. The optimization problems under consideration are not concave. We provide conditions under which a maximizer exists. The class of problems covered by our robust optimization problem includes optimal stopping and semi-static trading under Knightian uncertainty.


title: A Proof of Stavi's Theorem

abstract: Kamp's theorem established the expressive equivalence of the temporal logic with Until and Since and the First-Order Monadic Logic of Order (FOMLO) over the Dedekind-complete time flows. However, this temporal logic is not expressively complete for FOMLO over the rationals. Stavi introduced two additional modalities and proved that the temporal logic with Until, Since and Stavi's modalities is expressively equivalent to FOMLO over all linear orders. We present a simple proof of Stavi's theorem.


title: The zero-point energy of elementary quantum fields

abstract: Since 1925, exactly four arguments have been forwarded for the assumption of a diverging (respectively --- after regularization --- very huge) zero-point energy of elementary quantum fields. And exactly three arguments have been forwarded against this assumption. In this article, all seven arguments are reviewed and assessed. It turns out that the three CONTRA arguments against the assumption of that zero-point energy are overwhelmingly stronger than the four PRO arguments.


title: Search for Scalar Dark Matter via Pseudoscalar Portal Interactions: In Light of the Galactic Center Gamma-Ray Excess

abstract: In light of the observed Galactic center gamma-ray excess, we investigate a simplified model, for which the scalar dark matter interacts with quarks through a pseudoscalar mediator. The viable regions of the parameter space, that can also account for the relic density and evade the current searches, are identified, if the low-velocity dark matter annihilates through an $s$-channel off-shell mediator mostly into $\bar{b} b$, and/or annihilates directly into two ${\it hidden}$ on-shell mediators, which subsequently decay into the quark pairs. These two kinds of annihilations are $s$ wave. The projected monojet limit set by the high luminosity LHC sensitivity could constrain the favored parameter space, where the mediator's mass is larger than the dark matter mass by a factor of 2. We show that the projected sensitivity of 15-year Fermi-LAT observations of dwarf spheroidal galaxies can provide a stringent constraint on the most parameter space allowed in this model. If the on-shell mediator channel contributes to the dark matter annihilation cross sections over 50$\%$, this model with a lighter mediator can be probed in the projected PICO-500L experiment.

categories: hep-ph astro-ph.CO astro-ph.GA astro-ph.HE hep-ex


title: Dynamics of Polynomial Chaplygin Gas Warm Inflation

abstract: In the present work, we study the consequences of considering a recently proposed polynomial inflationary potential in the context of the generalized, modified, and generalized cosmic Chaplygin gas models. In addition, we consider dissipative effects by coupling the inflation field to radiation, i.e., the inflationary dynamics is studied in the warm inflation scenario. We take into account a general parametrization of the dissipative coefficient $\Gamma$ for describing the decay of the inflaton field into radiation. By studying the background and perturbative dynamics in the weak and strong dissipative regimes of warm inflation separately for the positive and negative quadratic and quartic potentials, we obtain expressions for the most relevant inflationary observables as the scalar power spectrum, the scalar spectral, and the tensor-to-scalar ratio. We construct the trajectories in the $n_s-r$ plane for several expressions of the dissipative coefficient and compare with the two-dimensional marginalized contours for ($n_s,r$) from the latest Planck data. We find that our results are in agreement with WMAP9 and Planck 2015 data.


title: Sub-Cycle Interference upon Tunnel-Ionization by Counterrotating Two-Color Fields

abstract: We report on three-dimensional (3D) electron momentum distributions from single ionization of helium by a laser pulse consisting of two counterrotating circularly polarized fields (390 nm and 780 nm). A pronounced 3D low energy structure and sub-cycle interferences are observed experimentally and reproduced numerically using a trajectory based semi-classical simulation. The orientation of the low energy structure in the polarization plane is verified by numerical simulations solving the time dependent Schr\"odinger equation.


title: Single crystal diamond membranes for nanoelectronics

abstract: Single crystal, nanoscale diamond membranes are highly sought after for a variety of applications including nanophotonics, nanoelectronics and quantum information science. However, so far, the availability of conductive diamond membranes remained an unreachable goal. In this work we present a complete nanofabrication methodology for engineering high aspect ratio, electrically active single crystal diamond membranes. The membranes have large lateral directions, exceeding 500x500 um2 and are only several hundreds of nanometers thick. We further realize vertical single crystal p-n junctions, made from the diamond membranes that exhibit onset voltages of ~ 10V and a current of several mA. Moreover, we deterministically introduce optically active color centers into the membranes, and demonstrate for the first time a single crystal nanoscale diamond LED. The robust and scalable approach to engineer the electrically active single crystal diamond membranes, offers new pathways for advanced nanophotonics, nanoelectronics and optomechanics devices employing diamond.


title: Multiconfigurational Short-Range Density-Functional Theory for Open-Shell Systems

abstract: Many chemical systems cannot be described by quantum chemistry methods based on a singlereference wave function. Accurate predictions of energetic and spectroscopic properties require a delicate balance between describing the most important configurations (static correlation) and obtaining dynamical correlation efficiently. The former is most naturally done through a multiconfigurational (MC) wave function, whereas the latter can be done by, e.g., perturbation theory. We have employed a different strategy, namely, a hybrid between multiconfigurational wave functions and density-functional theory (DFT) based on range separation. The method is denoted by MC short-range (sr) DFT and is more efficient than perturbative approaches as it capitalizes on the efficient treatment of the (short-range) dynamical correlation by DFT approximations. In turn, the method also improves DFT with standard approximations through the ability of multiconfigurational wave functions to recover large parts of the static correlation. Until now, our implementation was restricted to closed-shell systems, and to lift this restriction, we present here the generalization of MC-srDFT to open-shell cases. The additional terms required to treat open-shell systems are derived and implemented in the DALTON program. This new method for open-shell systems is illustrated on dioxygen and [Fe(H2O)6]3+.


title: Smoothing causal functions

abstract: We describe, in the general setting of closed cone fields, the set of causal functions which can be approximated by smooth Lyapunov. We derive several consequences on causality theory. Dans le contexte g\'en\'eral des champs de cones ferm\'es, on d\'ecrit l'ensemble des fonctions causales qui peuvent \^etre approch\'ees par des fonctions de Lyapunov lisses. On en d\'eduit quelques cons\'equence en th\'eorie de la causalit\'e.


title: Robust Clustering with Subpopulation-specific Deviations

abstract: The National Birth Defects Prevention Study (NBDPS) is a case-control study of birth defects conducted across 10 U.S. states. Researchers are interested in characterizing the etiologic role of maternal diet, collected using a food frequency questionnaire. Because diet is multi-dimensional, dimension reduction methods such as cluster analysis are often used to summarize dietary patterns. In a large, heterogeneous population, traditional clustering methods, such as latent class analysis, used to estimate dietary patterns can produce a large number of clusters due to a variety of factors, including study size and regional diversity. These factors result in a loss of interpretability of patterns that may differ due to minor consumption changes. Based on adaptation of the local partition process, we propose a new method, Robust Profile Clustering, to handle these data complexities. Here, participants may be clustered at two levels: (1) globally, where women are assigned to an overall population-level cluster via an overfitted finite mixture model, and (2) locally, where regional variations in diet are accommodated via a beta-Bernoulli process dependent on subpopulation differences. We use our method to analyze the NBDPS data, deriving pre-pregnancy dietary patterns for women in the NBDPS while accounting for regional variability.


title: Clustering with Local Restrictions

abstract: We study a family of graph clustering problems where each cluster has to satisfy a certain local requirement. Formally, let $\mu$ be a function on the subsets of vertices of a graph $G$. In the $(\mu,p,q)$-PARTITION problem, the task is to find a partition of the vertices into clusters where each cluster $C$ satisfies the requirements that (1) at most $q$ edges leave $C$ and (2) $\mu(C)\le p$. Our first result shows that if $\mu$ is an {\em arbitrary} polynomial-time computable monotone function, then $(\mu,p,q)$-PARTITION can be solved in time $n^{O(q)}$, i.e., it is polynomial-time solvable {\em for every fixed $q$}. We study in detail three concrete functions $\mu$ (the number of vertices in the cluster, number of nonedges in the cluster, maximum number of non-neighbors a vertex has in the cluster), which correspond to natural clustering problems. For these functions, we show that $(\mu,p,q)$-PARTITION can be solved in time $2^{O(p)}\cdot n^{O(1)}$ and in time $2^{O(q)}\cdot n^{O(1)}$ on $n$-vertex graphs, i.e., the problem is fixed-parameter tractable parameterized by $p$ or by $q$.


title: Completely inapproximable monotone and antimonotone parameterized problems

abstract: We prove that weighted circuit satisfiability for monotone or antimonotone circuits has no fixed-parameter tractable approximation algorithm with any approximation ratio function $\rho$, unless $FPT\neq W[1]$. In particular, not having such an fpt-approximation algorithm implies that these problems have no polynomial-time approximation algorithms with ratio $\rho(OPT)$ for any nontrivial function $\rho$.


title: Hamming distance completeness and sparse matrix multiplication

abstract: We show that a broad class of $(+,\diamond)$ vector products (for binary integer functions $\diamond$) are equivalent under one-to-polylog reductions to the computation of the Hamming distance. Examples include: the dominance product, the threshold product and $\ell_{2p+1}$ distances for constant $p$. Our results imply equivalence (up to polylog factors) between complexity of computation of All Pairs: Hamming Distances, $\ell_{2p+1}$ Distances, Dominance Products and Threshold Products. As a consequence, Yuster's~(SODA'09) algorithm improves not only Matou\v{s}ek's (IPL'91), but also the results of Indyk, Lewenstein, Lipsky and Porat (ICALP'04) and Min, Kao and Zhu (COCOON'09). Furthermore, our reductions apply to the pattern matching setting, showing equivalence (up to polylog factors) between pattern matching under Hamming Distance, $\ell_{2p+1}$ Distance, Dominance Product and Threshold Product, with current best upperbounds due to results of Abrahamson (SICOMP'87), Amir and Farach (Ann.~Math.~Artif.~Intell.'91), Atallah and Duket (IPL'11), Clifford, Clifford and Iliopoulous (CPM'05) and Amir, Lipsky, Porat and Umanski (CPM'05). The resulting algorithms for $\ell_{2p+1}$ Pattern Matching and All Pairs $\ell_{2p+1}$, for $2p+1 = 3,5,7,\dots$ are new. Additionally, we show that the complexity of AllPairsHammingDistances (and thus of other aforementioned AllPairs- problems) is within polylog from the time it takes to multiply matrices $n \times (n\cdot d)$ and $(n\cdot d) \times n$, each with $(n\cdot d)$ non-zero entries. This means that the current upperbounds by Yuster (SODA'09) cannot be improved without improving the sparse matrix multiplication algorithm by Yuster and Zwick~(ACM TALG'05) and vice versa.


title: In-Depth Exploration of Single-Snapshot Lossy Compression Techniques for N-Body Simulations

abstract: In situ lossy compression allowing user-controlled data loss can significantly reduce the I/O burden. For large-scale N-body simulations where only one snapshot can be compressed at a time, the lossy compression ratio is very limited because of the fairly low spatial coherence of the particle data. In this work, we assess the state-of-the-art single-snapshot lossy compression techniques of two common N-body simulation models: cosmology and molecular dynamics. We design a series of novel optimization techniques based on the two representative real-world N-body simulation codes. For molecular dynamics simulation, we propose three compression modes (i.e., best speed, best tradeoff, best compression mode) that can refine the tradeoff between the compression rate (a.k.a., speed/throughput) and ratio. For cosmology simulation, we identify that our improved SZ is the best lossy compressor with respect to both compression ratio and rate. Its compression ratio is higher than the second-best compressor by 11% with comparable compression rate. Experiments with up to 1024 cores on the Blues supercomputer at Argonne show that our proposed lossy compression method can reduce I/O time by 80% compared with writing data directly to a parallel file system and outperforms the second-best solution by 60%. Moreover, our proposed lossy compression methods have the best rate-distortion with reasonable compression errors on the tested N-body simulation data compared with state-of-the-art compressors.


title: Enhanced Movie Content Similarity Based on Textual, Auditory and Visual Information

abstract: In this paper we examine the ability of low-level multimodal features to extract movie similarity, in the context of a content-based movie recommendation approach. In particular, we demonstrate the extraction of multimodal representation models of movies, based on textual information from subtitles, as well as cues from the audio and visual channels. With regards to the textual domain, we emphasize our research in topic modeling of movies based on their subtitles, in order to extract topics that discriminate between movies. Regarding the visual domain, we focus on the extraction of semantically useful features that model camera movements, colors and faces, while for the audio domain we adopt simple classification aggregates based on pretrained models. The three domains are combined with static metadata (e.g. directors, actors) to prove that the content-based movie similarity procedure can be enhanced with low-level multimodal information. In order to demonstrate the proposed content representation approach, we have built a small dataset of 160 widely known movies. We assert movie similarities, as propagated by the individual modalities and fusion models, in the form of recommendation rankings. Extensive experimentation proves that all three low-level modalities (text, audio and visual) boost the performance of a content-based recommendation system, compared to the typical metadata-based content representation, by more than $50\%$ relative increase. To our knowledge, this is the first approach that utilizes a wide range of features from all involved modalities, in order to enhance the performance of the content similarity estimation, compared to the metadata-based approaches.


title: Interpolation and Extrapolation of Toeplitz Matrices via Optimal Mass Transport

abstract: In this work, we propose a novel method for quantifying distances between Toeplitz structured covariance matrices. By exploiting the spectral representation of Toeplitz matrices, the proposed distance measure is defined based on an optimal mass transport problem in the spectral domain. This may then be interpreted in the covariance domain, suggesting a natural way of interpolating and extrapolating Toeplitz matrices, such that the positive semi-definiteness and the Toeplitz structure of these matrices are preserved. The proposed distance measure is also shown to be contractive with respect to both additive and multiplicative noise, and thereby allows for a quantification of the decreased distance between signals when these are corrupted by noise. Finally, we illustrate how this approach can be used for several applications in signal processing. In particular, we consider interpolation and extrapolation of Toeplitz matrices, as well as clustering problems and tracking of slowly varying stochastic processes.


title: Weyl Fermions in antiferromagnetic Mn(3)Sn and Mn(3)Ge

abstract: The anomalous Hall effect in the noncollinear antiferromagnetic metals Mn(3)Ge and Mn(3)Sn has been observed after a theoretical prediction made by us (EPL, 108, 67001 (2014)). The experimental values of the anomalous Hall conductivities (AHC) are large as are the theoretical values. Recently measured thermoelectric properties mirror the large AHC and clearly show that the transport is by quasiparticles at the Fermi energy. We here make an attempt to unravel the origin of the large AHC and propose that both Mn(3)Sn and Mn(3)Ge host Weyl points, which were recently discovered in semimetals. For this purpose we determine the electronic structure ab initio in the local spin-density functional approximation. The Weyl points are found to occur below the Fermi energy and we argue that spots of large Berry flux ('hot spot') that are seen at the Fermi surface are produced by the Weyl nodes.


title: Arrhythmia Classification from the Abductive Interpretation of Short Single-Lead ECG Records

abstract: In this work we propose a new method for the rhythm classification of short single-lead ECG records, using a set of high-level and clinically meaningful features provided by the abductive interpretation of the records. These features include morphological and rhythm-related features that are used to build two classifiers: one that evaluates the record globally, using aggregated values for each feature; and another one that evaluates the record as a sequence, using a Recurrent Neural Network fed with the individual features for each detected heartbeat. The two classifiers are finally combined using the stacking technique, providing an answer by means of four target classes: Normal sinus rhythm, Atrial fibrillation, Other anomaly, and Noisy. The approach has been validated against the 2017 Physionet/CinC Challenge dataset, obtaining a final score of 0.83 and ranking first in the competition.


title: Probing GeV-scale MSSM neutralino dark matter in collider and direct detection experiments

abstract: Given the recent constraints from the dark matter (DM) direct detections, we examine a light GeV-scale (2-30 GeV) neutralino DM in the alignment limit of the Minimal Supersymmetric Standard Model (MSSM). In this limit without decoupling, the heavy CP-even scalar $H$ plays the role of the Standard Model (SM) Higgs boson while the other scalar $h$ can be rather light so that the DM can annihilate through the $h$ resonance or into a pair of $h$ to achieve the observed relic density. With the current collider and cosmological constraints, we find that such a light neutralino DM above 6 GeV can be excluded by the XENON-1T (2017) limits while the survivied parameter space below 6 GeV can be fully covered by the future germanium-based light dark matter detections (such as CDEX), by the Higgs coupling precison measurements or by the production process $e^+e^- \to hA$ at an electron-positron collider (Higgs factory).


title: On the hardness of losing weight

abstract: We study the complexity of local search for the Boolean constraint satisfaction problem (CSP), in the following form: given a CSP instance, that is, a collection of constraints, and a solution to it, the question is whether there is a better (lighter, i.e., having strictly less Hamming weight) solution within a given distance from the initial solution. We classify the complexity, both classical and parameterized, of such problems by a Schaefer-style dichotomy result, that is, with a restricted set of allowed types of constraints. Our results show that there is a considerable amount of such problems that are NP-hard, but fixed-parameter tractable when parameterized by the distance.


title: Group Connectivity: $\mathbb Z_4$ v. $\mathbb Z_2^2$

abstract: We answer a question on group connectivity suggested by Jaeger et al. [Group connectivity of graphs -- A nonhomogeneous analogue of nowhere-zero flow properties, JCTB 1992]: we find that $\mathbb Z_2^2$-connectivity does not imply $\mathbb Z_4$-connectivity, neither vice versa. We use a computer to find the graphs certifying this and to verify their properties using non-trivial enumerative algorithm. While the graphs are small (the largest has 15 vertices and 21 edges), a computer-free approach remains elusive.


title: A Geometric Characterization of Observability in Inertial Parameter Identification

abstract: This paper presents an algorithm to geometrically characterize inertial parameter identifiability for an articulated robot. The geometric approach tests identifiability across the infinite space of configurations using only a finite set of conditions and without approximation. It can be applied to general open-chain kinematic trees ranging from industrial manipulators to legged robots, and it is the first solution for this broad set of systems that is provably correct. The high-level operation of the algorithm is based on a key observation: Undetectable changes in inertial parameters can be represented as sequences of inertial transfers across the joints. Drawing on the exponential parameterization of rigid-body kinematics, undetectable inertial transfers are analyzed in terms of observability from linear systems theory. This analysis can be applied recursively, and lends an overall complexity of $O(N)$ to characterize parameter identifiability for a system of $N$ bodies. Matlab source code for the new algorithm is provided.


title: High collection efficiency MCPs for photon counting detectors

abstract: Multi Micro-Channel-Plate Photomultiplier tubes (MCP-PMT) with High Collection Efficiency (Hi-CE) MCPs are developed and characterised. With these Hi-CE MCPs more than 90% of photoelectrons emitted from the photocathode can be detected; this is in contrast to conventional MCPs where about 50% of photoelectrons are lost at the MCP stage. The drawback of the Hi-CE MCPs is a small degradation of the transfer time spread (TTS). However for applications where no sub-ns time resolution is required the implementation of Hi-CE MCPs is extremely beneficial, as it improves the detection efficiency of the MCP-PMT almost by a factor of two.


title: Physics after the discovery of the Higgs boson

abstract: I show that with the discovery of the Higgs boson we have entered a new phase of our understanding of nature. This leads us towards a paradigm shift in the search for possible new physics, away from major extensions like supersymmetry towards minimalistic extensions, that largely preserve the structure of the standard model. To discover such new physics, precision may be more important than energy. Precision = Discovery! A possible path for the future is sketched.


title: New form of the NSVZ relation at the two-loop level

abstract: Recently the exact NSVZ $\beta$-function was rewritten in the form of a relation between the $\beta$-function and the anomalous dimensions of the quantum gauge superfield, of the Faddeev--Popov ghosts, and of the matter superfields. It was also suggested that this form of the NSVZ equation follows from an underlying equation relating two-point Green functions of the theory. Here we demonstrate that this relation is satisfied at the two-loop level for the non-Abelian ${\cal N}=1$ supersymmetric gauge theories in the case of using the simplest (BRST non-invariant) version of the higher covariant derivative regularization. Consequently, the integrals giving the two-loop $\beta$-function can be reduced to the one-loop integrals giving the anomalous dimensions of the quantum gauge superfield, of the Faddeev--Popov ghosts, and of the matter superfields.


title: Hofstadter point spectrum trace and the Almost Mathieu operator

abstract: We consider point spectrum traces in the Hofstadter model. We show how to recover the full quantum Hofstadter trace by integrating these point spectrum traces with the appropriate free density of states on the lattice. This construction is then generalized to the almost Mathieu operator and its n-th moments which can be expressed in terms of generalized Kreft coefficients.


title: Inelastic Black Hole Scattering from Charged Scalar Amplitudes

abstract: We explain how the lowest-order classical gravitational radiation produced during the inelastic scattering of two Schwarzschild black holes in General Relativity can be obtained from a tree scattering amplitude in gauge theory coupled to scalar fields. The gauge calculation is related to gravity through the double copy. We remove unwanted scalar forces which can occur in the double copy by introducing a massless scalar in the gauge theory, which is treated as a ghost in the link to gravity. We hope these methods are a step towards a direct application of the double copy at higher orders in classical perturbation theory, with the potential to greatly streamline gravity calculations for phenomenological applications.


title: Neural-Symbolic Learning and Reasoning: A Survey and Interpretation

abstract: The study and understanding of human behaviour is relevant to computer science, artificial intelligence, neural computation, cognitive science, philosophy, psychology, and several other areas. Presupposing cognition as basis of behaviour, among the most prominent tools in the modelling of behaviour are computational-logic systems, connectionist models of cognition, and models of uncertainty. Recent studies in cognitive science, artificial intelligence, and psychology have produced a number of cognitive models of reasoning, learning, and language that are underpinned by computation. In addition, efforts in computer science research have led to the development of cognitive computational systems integrating machine learning and automated reasoning. Such systems have shown promise in a range of applications, including computational biology, fault diagnosis, training and assessment in simulators, and software verification. This joint survey reviews the personal ideas and views of several researchers on neural-symbolic learning and reasoning. The article is organised in three parts: Firstly, we frame the scope and goals of neural-symbolic computation and have a look at the theoretical foundations. We then proceed to describe the realisations of neural-symbolic computation, systems, and applications. Finally we present the challenges facing the area and avenues for further research.


title: Loop corrections for Kaluza-Klein AdS amplitudes

abstract: Recently we conjectured the four-point amplitude of graviton multiplets in ${\rm AdS}_5 \times {\rm S}^5$ at one loop by exploiting the operator product expansion of $\mathcal{N}=4$ super Yang-Mills theory. Here we give the first extension of those results to include Kaluza-Klein modes, obtaining the amplitude for two graviton multiplets and two states of the first KK mode. Our method again relies on resolving the large N degeneracy among a family of long double-trace operators, for which we obtain explicit formulas for the leading anomalous dimensions. Having constructed the one-loop amplitude we are able to obtain a formula for the one-loop corrections to the anomalous dimensions of all twist five double-trace operators.


title: The open flux evolution of a solar-mass star on the main sequence

abstract: Magnetic activity is known to be correlated to the rotation period for moderately active main sequence solar-like stars. In turn, the stellar rotation period evolves as a result of magnetised stellar winds that carry away angular momentum. Understanding the interplay between magnetic activity and stellar rotation is therefore a central task for stellar astrophysics. Angular momentum evolution models typically employ spin-down torques that are formulated in terms of the surface magnetic field strength. However, these formulations fail to account for the magnetic field geometry, unlike those that are expressed in terms of the open flux, i.e. the magnetic flux along which stellar winds flow. In this work, we model the angular momentum evolution of main sequence solar-mass stars using a torque law formulated in terms of the open flux. This is done using a potential field source surface model in conjunction with the Zeeman-Doppler magnetograms of a sample of roughly solar-mass stars. We explore how the open flux of these stars varies with stellar rotation and choice of source surface radii. We also explore the effect of field geometry by using two methods of determining the open flux. The first method only accounts for the dipole component while the second accounts for the full set of spherical harmonics available in the Zeeman-Doppler magnetogram. We find only a small difference between the two methods, demonstrating that the open flux, and indeed the spin-down, of main sequence solar-mass stars is likely dominated by the dipolar component of the magnetic field.


title: Attend and Diagnose: Clinical Time Series Analysis using Attention Models

abstract: With widespread adoption of electronic health records, there is an increased emphasis for predictive models that can effectively deal with clinical time-series data. Powered by Recurrent Neural Network (RNN) architectures with Long Short-Term Memory (LSTM) units, deep neural networks have achieved state-of-the-art results in several clinical prediction tasks. Despite the success of RNNs, its sequential nature prohibits parallelized computing, thus making it inefficient particularly when processing long sequences. Recently, architectures which are based solely on attention mechanisms have shown remarkable success in transduction tasks in NLP, while being computationally superior. In this paper, for the first time, we utilize attention models for clinical time-series modeling, thereby dispensing recurrence entirely. We develop the \textit{SAnD} (Simply Attend and Diagnose) architecture, which employs a masked, self-attention mechanism, and uses positional encoding and dense interpolation strategies for incorporating temporal order. Furthermore, we develop a multi-task variant of \textit{SAnD} to jointly infer models with multiple diagnosis tasks. Using the recent MIMIC-III benchmark datasets, we demonstrate that the proposed approach achieves state-of-the-art performance in all tasks, outperforming LSTM models and classical baselines with hand-engineered features.


title: D-SLATS: Distributed Simultaneous Localization and Time Synchronization

abstract: Through the last decade, we have witnessed a surge of Internet of Things (IoT) devices, and with that a greater need to choreograph their actions across both time and space. Although these two problems, namely time synchronization and localization, share many aspects in common, they are traditionally treated separately or combined on centralized approaches that results in an ineffcient use of resources, or in solutions that are not scalable in terms of the number of IoT devices. Therefore, we propose D-SLATS, a framework comprised of three different and independent algorithms to jointly solve time synchronization and localization problems in a distributed fashion. The First two algorithms are based mainly on the distributed Extended Kalman Filter (EKF) whereas the third one uses optimization techniques. No fusion center is required, and the devices only communicate with their neighbors. The proposed methods are evaluated on custom Ultra-Wideband communication Testbed and a quadrotor, representing a network of both static and mobile nodes. Our algorithms achieve up to three microseconds time synchronization accuracy and 30 cm localization error.


title: Enhanced Photon Extraction from a Nanowire Quantum Dot Using a Bottom-Up Photonic Shell

abstract: Semiconductor nanowires offer the possibility to grow high-quality quantum-dot heterostructures, and, in particular, CdSe quantum dots inserted in ZnSe nanowires have demonstrated the ability to emit single photons up to room temperature. In this paper, we demonstrate a bottom-up approach to fabricate a photonic fiberlike structure around such nanowire quantum dots by depositing an oxide shell using atomic-layer deposition. Simulations suggest that the intensity collected in our NA = 0.6 microscope objective can be increased by a factor 7 with respect to the bare nanowire case. Combining microphotoluminescence, decay time measurements, and numerical simulations, we obtain a fourfold increase in the collected photoluminescence from the quantum dot. We show that this improvement is due to an increase of the quantum-dot emission rate and a redirection of the emitted light. Our ex situ fabrication technique allows a precise and reproducible fabrication on a large scale. Its improved extraction efficiency is compared to state-of-the-art top-down devices.


title: Finite Sample Differentially Private Confidence Intervals

abstract: We study the problem of estimating finite sample confidence intervals of the mean of a normal population under the constraint of differential privacy. We consider both the known and unknown variance cases and construct differentially private algorithms to estimate confidence intervals. Crucially, our algorithms guarantee a finite sample coverage, as opposed to an asymptotic coverage. Unlike most previous differentially private algorithms, we do not require the domain of the samples to be bounded. We also prove lower bounds on the expected size of any differentially private confidence set showing that our the parameters are optimal up to polylogarithmic factors.


title: Topology of Spaces of Valuations and Geometry of Singularities

abstract: Given an algebraic variety X defined over an algebraically closed field, we study the space RZ(X,x) consisting of all the valuations of the function field of X which are centered in a closed point x of X. We concentrate on its homeomorphism type. We prove that, when x is a regular point, this homeomorphism type only depends on the dimension of X. If x is a singular point of a normal surface, we show that it only depends on the dual graph of a good resolution of (X,x) up to some precise equivalence. This is done by studying the relation between RZ(X,x) and the normalized non-Archimedean link of x in X coming from the point of view of Berkovich geometry. We prove that their behavior is the same.


title: LDPC-Based Code Hopping for Gaussian Wiretap Channel With Limited Feedback

abstract: This paper presents a scheme named code hopping (CodeHop) for gaussian wiretap channels based on nonsystematic low-density parity-check (LDPC) codes. Different from traditional communications, in the CodeHop scheme, the legitimate receiver (Bob) rapidly switches the parity-check matrix upon each correctly received source message block. Given an authenticated public feedback channel, the transmitter's (Alice) parity-check matrix can also be synchronized with the receiver's. As a result, once an eavesdropper (Eve) erroneously decodes a message block, she may not be able to follow the update of subsequent parity-check matrices. Thus, the average BER of Eve will be very close to $0.5$ if the transmitted number of message blocks is large enough. Focused on the measure of security gap defined as the difference of channel quality between Bob and Eve, numerical results show that the CodeHop scheme outperforms other solutions by sufficiently reducing the security gap without sacrificing the error-correcting performance of Bob.


title: Temperature-dependence of the QCD topological susceptibility

abstract: We recently obtained an estimate of the axion mass based on the hypothesis that axions make up most of the dark matter in the universe. A key ingredient for this calculation was the temperature-dependence of the topological susceptibility of full QCD. Here we summarize the calculation of the susceptibility in a range of temperatures from well below the finite temperature cross-over to around 2 GeV. The two main difficulties of the calculation are the unexpectedly slow convergence of the susceptibility to its continuum limit and the poor sampling of nonzero topological sectors at high temperature. We discuss how these problems can be solved by two new techniques, the first one with reweighting using the quark zero modes and the second one with the integration method.


title: Zariski-like Topologies for Lattices with Applications to Modules over Commutative Rings

abstract: We study Zariski-like topologies on a proper class $X\varsubsetneqq L$ of a complete lattice $\mathcal{L}=(L,\wedge ,\vee ,0,1)$. We consider $X$ with the so called classical Zariski topology $(X,\tau ^{cl})$ and study its topological properties (e.g. the separation axioms, the connectedness, the compactness) and provide sufficient conditions for it to be $\textit{spectral}$. We say that $\mathcal{L}$ is $X$\emph{-top} iff% \begin{equation*} \tau :=\{X\backslash V(a)\mid a\in L\},\text{ where }V(a)=\{x\in L\mid a\leq x\} \end{equation*}% is a topology. We study the interplay between the \textit{algebraic properties} of an $X$-top complete lattice $\mathcal{L}$ and the $\textit{% topological properties}$ of $(X,\tau ^{cl})=(X,\tau ).$ Our results are applied to several spectra which are proper classes of $\mathcal{L}% :=LAT(_{R}M)$ where $M$ is a left module over an arbitrary associative ring $% R$ (e.g. the spectra of prime, coprime, fully prime submodules) of $M$ as well as to several spectra of the dual complete lattice $\mathcal{L}^{0}$ (e.g. the spectra of first, second and fully coprime submodules of $M$).


title: Compensation of aberration and speckle noise in quantitative phase imaging using lateral shifting and spiral phase integration

abstract: We present a simple and effective method to eliminate system aberrations and speckle noise in quantitative phase imaging. Using spiral integration, complete information about system aberration is calculated from three laterally shifted phase images. The present method is especially useful when measuring confluent samples in which acquisition of background area is challenging. To demonstrate validity and applicability, we present measurements of various types of samples including microspheres, HeLa cells, and mouse brain tissue. Working conditions and limitations are systematically analyzed and discussed.


title: Invasion moving boundary problem for a biofilm reactor model

abstract: The work presents the analysis of the free boundary value problem related to the invasion model of new species in biofilm reactors. In the framework of continuum approach to mathematical modelling of biofilm growth, the problem consists of a system of nonlinear hyperbolic partial differential equations governing the microbial species growth and a system of semi-linear elliptic partial differential equations describing the substrate trends. The model is completed with a system of elliptic partial differential equations governing the diffusion and reaction of planktonic cells, which are able to switch their mode of growth from planktonic to sessile when specific environmental conditions are found. Two systems of nonlinear differential equations for the substrate and planktonic cells mass balance within the bulk liquid are also considered. The free boundary evolution is governed by a differential equation that accounts for detachment. The qualitative analysis is performed and a uniqueness and existence result is discussed. Furthermore, two special models of biological and engineering interest are discussed numerically. The invasion of Anammox bacteria in a constituted biofilm inhabiting the deammonification units of the wastewater treatment plants is simulated. Numerical simulations are run to evaluate the influence of the colonization process on biofilm structure and activity.


title: Generalized classes of continuous symmetries in two-mode Dicke models

abstract: As recently realized experimentally [L\'eonard et al., Nature 543, 87 (2017)], one can engineer models with continuous symmetries by coupling two cavity modes to trapped atoms, via a Raman pumping geometry. Considering specifically cases where internal states of the atoms couple to the cavity, we show an extended range of parameters for which continuous symmetry breaking can occur, and we classify the distinct steady states and time-dependent states that arise for different points in this extended parameter regime.


title: Non-axisymmetric aberration patterns from wide-field telescopes using spin-weighted Zernike Polynomials

abstract: If the optical system of a telescope is perturbed from rotational symmetry, the Zernike wavefront aberration coefficients describing that system can be expressed as a function of position in the focal plane using spin-weighted Zernike polynomials. Methodologies are presented to derive these polynomials to arbitrary order. This methodology is applied to aberration patterns produced by a misaligned Ritchey Chretian telescope and to distortion patterns at the focal plane of the DESI optical corrector, where it is shown to provide a more efficient description of distortion than conventional expansions.


title: Quantisation and nilpotent limits of Mishchenko-Fomenko subalgebras

abstract: For any simple Lie algebra $\mathfrak{g}$ and an element $\mu\in\mathfrak{g}^*$, the corresponding commutative subalgebra $\mathcal{A}_{\mu}$ of $\mathcal{U}(\mathfrak{g})$ is defined as a homomorphic image of the Feigin-Frenkel centre associated with $\mathfrak{g}$. It is known that when $\mu$ is regular this subalgebra solves Vinberg's quantisation problem, as the graded image of $\mathcal{A}_{\mu}$ coincides with the Mishchenko-Fomenko subalgebra $\overline{\mathcal{A}}_{\mu}$ of $\mathcal{S}(\mathfrak{g})$. By a conjecture of Feigin, Frenkel and Toledano Laredo, this property extends to an arbitrary element $\mu$. We give sufficient conditions which imply the property for certain choices of $\mu$. In particular, this proves the conjecture in type C and gives a new proof in type A. We show that the algebra $\mathcal{A}_{\mu}$ is free in both cases and produce its generators in an explicit form. Moreover, we prove that in all classical types generators of $\mathcal{A}_{\mu}$ can be obtained via the canonical symmetrisation map from certain generators of $\overline{\mathcal{A}}_{\mu}$. The symmetrisation map is also used to produce free generators of nilpotent limits of the algebras $\mathcal{A}_{\mu}$ and give a positive solution of Vinberg's problem for these limit subalgebras.


title: Lurking Variable Detection via Dimensional Analysis

abstract: Lurking variables represent hidden information, and preclude a full understanding of phenomena of interest. Detection is usually based on serendipity -- visual detection of unexplained, systematic variation. However, these approaches are doomed to fail if the lurking variables do not vary. In this article, we address these challenges by introducing formal hypothesis tests for the presence of lurking variables, based on Dimensional Analysis. These procedures utilize a modified form of the Buckingham Pi theorem to provide structure for a suitable null hypothesis. We present analytic tools for reasoning about lurking variables in physical phenomena, construct procedures to handle cases of increasing complexity, and present examples of their application to engineering problems. The results of this work enable algorithm-driven lurking variable detection, complementing a traditionally inspection-based approach.


title: EW[OIII] as an orientation indicator for quasars: implications for the torus

abstract: We present an analysis of the average spectral properties of 12,000 SDSS quasars as a function of accretion disc inclination, as measured from the equivalent width of the [O III] 5007{\AA} line. The use of this indicator on a large sample of quasars from the SDSS DR7 has proven the presence of orientation effects on the features of UV/optical spectra, confirming the presence of outflows in the NLR gas and that the geometry of the BLR is disc-like. Relying on the goodness of this indicator, we are now using it to investigate other bands/components of AGN. Specifically, the study of the UV/optical/IR SED of the same sample provides information on the obscuring "torus". The SED shows a decrease of the IR fraction moving from face-on to edge-on sources, in agreement with models where the torus is co-axial with the accretion disc. Moreover, the fact we are able to observe the broad emission lines also in sources in an edge-on position, suggests that the torus is rather clumpy than smooth as in the Unified Model. The behaviour of the SED as a function of EW[OIII] is in agreement with the predictions of the clumpy torus models as well.


title: The Thirring quantum cellular automaton

abstract: We analytically diagonalize a discrete-time on-site interacting fermionic cellular automaton in the two-particle sector. Important features of the solutions sensibly differ from those of analogous Hamiltonian models. In particular, we found a wider variety of scattering processes, we have bound states for every value of the total momentum, and there exist bound states also in the free case, where the coupling constant is null.


title: CPT and Lorentz violation en the Photon and $Z$-boson sector

abstract: CPT and Lorentz violation in the photon sector is described within the minimal Standard-Model Extension by a dimension-3 Chern-Simons-like operator parametrized by a four-vector parameter $k_{AF}$ that has been very tightly bounded by astrophysical observations. On the other hand, in the context of the $SU(2)\times U(1)$ electroweak gauge sector of the Standard-Model Extension, CPT and Lorentz violation is described similarly, by dimension-3 operators parametrized by four-vector parameters $k_1$ and $k_2$. In this work, we investigate in detail the effects of the resulting CPT and Lorentz violation in the photon and $Z$-boson sectors upon electroweak-symmetry breaking. In particular, we show that for the photon sector the relevant Lorentz-violating effects are described at lowest order by the $k_{AF}$ term, but that there are higher-order momentum-dependent effects due to photon-$Z$ boson mixing. As bounds on CPT and Lorentz violation in the $Z$ sector are relatively weak, these effects could be important phenomenologically. We investigate these effects in detail in this work.


title: Dynamic fractals in spatial evolutionary games

abstract: We investigate critical properties of a spatial evolutionary game based on the Prisoner's Dilemma. Simulations demonstrate a jump in the component densities accompanied by drastic changes in average sizes of the component clusters. We argue that the cluster boundary is a random fractal. Our simulations are consistent with the fractal dimension of the boundary being equal to 2, and the cluster boundaries are hence asymptotically space filling as the system size increases.


title: Parallelogram polyominoes, partially labelled Dyck paths, and the Delta conjecture

abstract: We introduce area, bounce and dinv statistics on decorated parallelogram polyominoes, and prove that some of their q,t-enumerators match $\langle \Delta_{h_m} e_{n+1}, s_{k+1,1^{n-k}} \rangle$, extending in this way the work in (Aval et al. 2014). Also, we provide a bijective connection between decorated parallelogram polyominoes and decorated labelled Dyck paths, which allows us to prove the combinatorial interpretation of the coefficient $\langle\Delta_{e_{m+n-k-1}}'e_{m+n}, h_m h_n \rangle$ predicted by the Delta conjecture in (Haglund et al. 2015). Finally, we define a statistic pmaj on partially labelled Dyck paths, which provides another conjectural combinatorial interpretation of $\Delta_{h_{\ell}}\Delta_{e_{n-k-1}}'e_n$, cf. (Haglund et al. 2015). This is an extended abstract of (D'Adderio, Iraci 2017): this forthcoming publication will have proofs and additional details and results.


title: Non-perturbative determination of c_V, Z_V and Z_S/Z_P in N_f=3 lattice QCD

abstract: We report on non-perturbative computations of the improvement coefficient c_V and the renormalization factor Z_V of the vector current in three-flavour O(a) improved lattice QCD with Wilson quarks and tree-level Symanzik improved gauge action. To reduce finite quark mass effects, our improvement and normalization conditions exploit massive chiral Ward identities formulated in the Schroedinger functional setup, which also allow deriving a new method to extract the ratio Z_S/Z_P of scalar to pseudoscalar renormalization constants. We present preliminary results of a numerical evaluation of Z_V and c_V along a line of constant physics with gauge couplings corresponding to lattice spacings of about 0.09 fm and below, relevant for phenomenological applications.


title: Constraints from the $1/N_{\rm c}$ Expansion on Properties of Exotic Tetraquark Mesons

abstract: Scrutinizing the scattering of ordinary mesons in the limiting case of the number of colour degrees of freedom $N_{\rm c}$ of quantum chromodynamics approaching infinity, we formulate Feynman-diagram selection criteria and from these deduce rigorous self-consistency conditions for the manifestation of a tetraquark, a two-quark-two-antiquark bound state, as a pole in the corresponding amplitudes. Our constraints bear rather far-reaching consequences: In particular, all flavour-exotic tetraquarks, composed of four (anti)quarks of disparate flavour, must come in, at least, two variants differing in (and thus readily identifiable by) the large-$N_{\rm c}$ behaviour of their couplings to two ordinary mesons. Quite generally, irrespective of their flavour composition, all tetraquarks prove to be narrow. Their decay rates behave, for large $N_{\rm c},$ like $1/N_{\rm c}^2$ and thus decrease faster than those of ordinary mesons.


title: Robustness of third family solutions for hybrid stars against mixed phase effects

abstract: We investigate the robustness of third family solutions for hybrid compact stars with a quark matter core that correspond to the occurrence of high-mass twin stars against a softening of the phase transition by means of a construction that mimics the effects of pasta structures in the mixed phase. We consider a class of hybrid equations of state that exploits a relativistic mean-field model for the hadronic as well as for the quark matter phase. We present parametrizations that correspond to branches of high-mass twin star pairs with maximum masses between $2.05~M_\odot$ and $1.48~M_\odot$ having radius differences between 3.2 km and 1.5 km, respectively. When compared to a Maxwell construction with a fixed value of critical pressure $P_c$ the effect of the mixed phase construction consists in the occurrence of a region of pressures around $P_c$ belonging to the coexistence of hadronic and quark matter phases between the onset pressure at $P_H$ and the end of the transition at $P_Q$. The maximum broadening which would still allow mass twin compact stars is found to be $(P_Q-P_H)_{\rm max} \approx P_c$ for all parametrizations within the present class of models. At least the heavier of the neutron stars of the binary merger GW170817 could have been a member of the third family of hybrid stars.


title: An optical micro-comb with a 50GHz free spectral range for photonic microwave true time delays

abstract: We demonstrate significantly improved performance of a microwave true time delay line (TTDL) based on an integrated micro-ring resonator (MRR) Kerr optical comb source with a channel spacing of 49GHz, corresponding to 81 channels over the C-band. The broadband microcomb, with a record low free spectral range of 49GHz, results in a large number of comb lines for the TTDL, greatly reducing the size, cost, and complexity of the system. The large channel count results in a high angular resolution and wide beam steering tunable range of the phased array antenna (PAA). The enhancement of PAA performance matches well with theory, corroborating the feasibility of our approach as a competitive solution towards implementing compact low-cost TTDL in radar and communications systems.


title: Quantum Chromodynamics at small Bjorken-x

abstract: With the advent of very powerful particle accelerators, such as RHIC and the LHC, it becomes possible to study QCD in high energy collisions, in which the gluon content of the proton or nucleus is probed and its density becomes often large enough for nonlinear effects to play a role. This small-x regime of QCD is well described by an effective theory known as the Color Glass Condensate (CGC). In this thesis, we introduce the CGC and apply it to two different problems. First, we use the CGC to study forward heavy-quark production in pA collisions. When the quarks are nearly back-to-back, the CGC result coincides with the one in the TMD factorization approach. This allows us to extract the small-x limit of the Weizs\"acker-Williams gluon distribution, as well as the dipole distribution and one extra gluon TMD. Each of these gluon TMDs is accompanied by a partner, which couples via the quark mass and which describes the linearly polarized gluon content of the unpolarized nucleus. We calculate the six resulting gluon TMDs analytically in the MV model, and evolve them in rapidity using a numerical implementation of JIMWLK. The second problem is situated within heavy-ion physics. Jets, produced in the scattering of two nuclei, travel through the Quark-Gluon Plasma (QGP) before reaching the detector, and are attenuated as a result of their interaction with this medium. This phenomenon, known as jet quenching, is one of the main probes to investigate the QGP. We focus on the transverse momentum broadening of a hard particle traveling through a nuclear medium, and employ small-x techniques to attempt to resum the leading logarithmic corrections due to soft gluon radiation. Although, ultimately, we can only solve the resulting in-medium evolution equation to DLA accuracy, we do present a concise framework for the problem, and draw a detailed comparison with the CGC and with the literature.


title: Isotropic vs. Anisotropic components of BAO data: a tool for model selection

abstract: We conduct a selective analysis of the isotropic ($D_V$) and anisotropic ($AP$) components of the most recent Baryon Acoustic Oscillations (BAO) data. We find that these components provide significantly different constraints and could provide strong diagnostics for model selection, also in view of more precise data to arrive. For instance, in the $\Lambda$CDM model, we find a mild tension of $\sim 2 \sigma$ for the $\Omega_m$ estimates obtained using $D_V$ and $AP$ separately. Considering both $\Omega_k$ and $w$ as free parameters, we find that the concordance model is in tension with the best-fit values provided by the BAO data alone at 2.2$\sigma$. We complemented the BAO data with the Supernova Ia (SNIa) and Observational \textit{Hubble} datasets to perform a joint analysis on the $\Lambda$CDM model and its standard extensions. By assuming $\Lambda$CDM scenario, we find that these data provide $H_0 = 69.4 \pm 1.7$ \text{km/s Mpc$^{-1} $} as the best-fit value for the present expansion rate. In the $k\Lambda$CDM scenario we find that the evidence for acceleration using the BAO data alone is more than $\sim 5.8\sigma$, which increases to $8.4 \sigma$ in our joint analysis.


title: A Stochastic Generator of Global Monthly Wind Energy with Tukey $g$-and-$h$ Autoregressive Processes

abstract: Quantifying the uncertainty of wind energy potential from climate models is a very time-consuming task and requires a considerable amount of computational resources. A statistical model trained on a small set of runs can act as a stochastic approximation of the original climate model, and be used to assess the uncertainty considerably faster than by resorting to the original climate model for additional runs. While Gaussian models have been widely employed as means to approximate climate simulations, the Gaussianity assumption is not suitable for winds at policy-relevant time scales, i.e., sub-annual. We propose a trans-Gaussian model for monthly wind speed that relies on an autoregressive structure with Tukey $g$-and-$h$ transformation, a flexible new class that can separately model skewness and tail behavior. This temporal structure is integrated into a multi-step spectral framework that is able to account for global nonstationarities across land/ocean boundaries, as well as across mountain ranges. Inference can be achieved by balancing memory storage and distributed computation for a data set of 220 million points. Once fitted with as few as five runs, the statistical model can generate surrogates fast and efficiently on a simple laptop, and provide uncertainty assessments very close to those obtained from all the available climate simulations (forty) on a monthly scale.


title: Surface Charges on CdSe-Dot/CdS-Rod Nanocrystals: Measuring and Modeling the Diffusion of Exciton-Fluorescence Rates and Energies

abstract: By performing spectroscopic single-particle measurements at cryogenic temperatures over the course of hours we study %By performing spectroscopic longtime single-particle measurements at cryogenic temperatures we study both the spectral diffusion as well as the diffusion of the decay rates of the fluorescence emission of core/shell CdSe/CdS dot/rod nanoparticles. A special analysis of the measurements allow for a correlation of data for single neutral excitons only, undisturbed by the possible emission of other excitonic complexes. We find a nearly linear dependency of the fluorescence decay rate on the emission energy. The experimental data is compared to self-consistent model calculations within the effective-mass approximation, in which migrating point charges set onto the surface of the nanoparticles have been assumed to cause the temporal changes of optical properties. These calculations reveal a nearly linear relationship between the squared electron-hole wave function overlap, which is linked to the experimentally determined fluorescence rate, and the exciton emission energy. Within our model single migrating surface charges are not sufficient to fully explain the measured rather broad ranges of emission rates and energies, while two -- and in particular negative -- surface charges close to the core of the DR induce large enough shifts. Importantly, for our nanoparticle system, the surface charges more strongly affect the hole wave function than the electron wave function and both wave functions are still localized within the dot-like core of the nanoparticle, showing that the type-I character of the band alignment between core and shell is preserved.


title: Computation of the Unipotent Albanese Map on Elliptic and Hyperelliptic Curves

abstract: We study the unipotent Albanese map appearing in the non-abelian Chabauty method of Minhyong Kim. In particular we explore the explicit computation of the $p$-adic de Rham period map $j^{dr}_n$ on elliptic and hyperelliptic curves over number fields via their universal unipotent connections $\mathcal{U}$. Several algorithms forming part of the computation of finite level versions $j^{dr}_n$ of the unipotent Albanese maps are presented. The computation of the logarithmic extension of $\mathcal{U}$ in general requires a description in terms of an open covering, and can be regarded as a simple example of computational descent theory. We also demonstrate a constructive version of a lemma of Hadian used in the computation of the Hodge filtration on $\mathcal{U}$ over affine elliptic and odd hyperelliptic curves. We use these algorithms to present some new examples describing the co-ordinates of some of these period maps. This description will be given in terms iterated $p$-adic Coleman integrals. We also consider the computation of the co-ordinates if we replace the rational basepoint with a tangential basepoint, and present some new examples here as well.


title: Characterizing The Influence of Continuous Integration. Empirical Results from 250+ Open Source and Proprietary Projects

abstract: Continuous integration (CI) tools integrate code changes by automatically compiling, building, and executing test cases upon submission of code changes. Use of CI tools is getting increasingly popular, yet how proprietary projects reap the benefits of CI remains unknown. To investigate the influence of CI on software development, we analyze 150 open source software (OSS) projects, and 123 proprietary projects. For OSS projects, we observe the expected benefits after CI adoption, e.g., improvements in bug and issue resolution. However, for the proprietary projects, we cannot make similar observations. Our findings indicate that only adoption of CI might not be enough to the improve software development process. CI can be effective for software development if practitioners use CI's feedback mechanism efficiently, by applying the practice of making frequent commits. For our set of proprietary projects we observe practitioners commit less frequently, and hence not use CI effectively for obtaining feedback on the submitted code changes. Based on our findings we recommend industry practitioners to adopt the best practices of CI to reap the benefits of CI tools for example, making frequent commits.


title: All-optical control of long-lived nuclear spins in rare-earth doped nanoparticles

abstract: Nanoscale systems offer key capabilities for quantum technologies that include single qubit control and readout, multiple qubit gate operation, extremely sensitive and localized sensing and imaging, as well as the ability to build hybrid quantum systems. To fully exploit these functionalities, multiple degrees of freedom are highly desirable: in this respect, nanoscale systems that coherently couple to light and possess spins, allow for storage of photonic qubits or light-matter entanglement together with processing capabilities. In addition, all-optical control of spins can be possible for faster gate operations and higher spatial selectivity compared to direct RF excitation. Such systems are therefore of high interest for quantum communications and processing. However, an outstanding challenge is to preserve properties, and especially optical and spin coherence lifetimes, at the nanoscale. Indeed, interactions with surfaces related perturbations strongly increase as sizes decrease, although the smallest objects present the highest flexibility for integration with other systems. Here, we demonstrate optically controlled nuclear spins with long coherence lifetimes (T2) in rare earth doped nanoparticles. We observed spins echoes and measured T2 of 2.9 +/- 0.3 ms at 5 K and under a magnetic field of 9 mT, a value comparable to those obtained in bulk single crystals. Moreover, we achieve, for the first time, spin T2 extension using all-optical spin dynamical decoupling and observe high fidelity between excitation and echo phases. Rare-earth doped nanoparticles are thus the only reported nano-materials in which optically controlled spins with millisecond coherence lifetimes have been observed. These results open the way to providing quantum light-atom-spin interfaces with long storage time within hybrid architectures.


title: The role of spin and angular momentum in strong-field ionization

abstract: The spin polarization of electrons from multiphoton ionization of Xe by 395 nm circularly polarized laser pulses at $6\cdot10^{13}$ W/cm$^2$ has been measured. At this photon energy of 3.14 eV the above threshold ionization peaks connected to Xe$^+$ ions in the ground state ($J=3/2$, ionization potential $I_p=12.1$ eV) and the first exicted state ($J=1/2$, $I_p=13.4$ eV) are clearly separated in the electron energy distribution. These two combs of ATI peaks show opposite spin polarizations. The magnitude of the spin polarization is a factor of two higher for the $J=1/2$ than for the $J=3/2$ final ionic state. In turn the data show that the ionization probability is strongly dependent on the sign of the magnetic quantum number.


title: Consensus in the Age of Blockchains

abstract: The blockchain initially gained traction in 2008 as the technology underlying bitcoin, but now has been employed in a diverse range of applications and created a global market worth over $150B as of 2017. What distinguishes blockchains from traditional distributed databases is the ability to operate in a decentralized setting without relying on a trusted third party. As such their core technical component is consensus: how to reach agreement among a group of nodes. This has been extensively studied already in the distributed systems community for closed systems, but its application to open blockchains has revitalized the field and led to a plethora of new designs. The inherent complexity of consensus protocols and their rapid and dramatic evolution makes it hard to contextualize the design landscape. We address this challenge by conducting a systematic and comprehensive study of blockchain consensus protocols. After first discussing key themes in classical consensus protocols, we describe: first protocols based on proof-of-work (PoW), second proof-of-X (PoX) protocols that replace PoW with more energy-efficient alternatives, and third hybrid protocols that are compositions or variations of classical consensus protocols. We develop a framework to evaluate their performance, security and design properties, and use it to systematize key themes in the protocol categories described above. This evaluation leads us to identify research gaps and challenges for the community to consider in future research endeavours.


title: Accelerated Method for Stochastic Composition Optimization with Nonsmooth Regularization

abstract: Stochastic composition optimization draws much attention recently and has been successful in many emerging applications of machine learning, statistical analysis, and reinforcement learning. In this paper, we focus on the composition problem with nonsmooth regularization penalty. Previous works either have slow convergence rate or do not provide complete convergence analysis for the general problem. In this paper, we tackle these two issues by proposing a new stochastic composition optimization method for composition problem with nonsmooth regularization penalty. In our method, we apply variance reduction technique to accelerate the speed of convergence. To the best of our knowledge, our method admits the fastest convergence rate for stochastic composition optimization: for strongly convex composition problem, our algorithm is proved to admit linear convergence; for general composition problem, our algorithm significantly improves the state-of-the-art convergence rate from $O(T^{-1/2})$ to $O((n_1+n_2)^{{2}/{3}}T^{-1})$. Finally, we apply our proposed algorithm to portfolio management and policy evaluation in reinforcement learning. Experimental results verify our theoretical analysis.


title: CARLA: An Open Urban Driving Simulator

abstract: We introduce CARLA, an open-source simulator for autonomous driving research. CARLA has been developed from the ground up to support development, training, and validation of autonomous urban driving systems. In addition to open-source code and protocols, CARLA provides open digital assets (urban layouts, buildings, vehicles) that were created for this purpose and can be used freely. The simulation platform supports flexible specification of sensor suites and environmental conditions. We use CARLA to study the performance of three approaches to autonomous driving: a classic modular pipeline, an end-to-end model trained via imitation learning, and an end-to-end model trained via reinforcement learning. The approaches are evaluated in controlled scenarios of increasing difficulty, and their performance is examined via metrics provided by CARLA, illustrating the platform's utility for autonomous driving research. The supplementary video can be viewed at https://youtu.be/Hp8Dz-Zek2E


title: Control From an Interior Hypersurface

abstract: We consider a compact Riemannian manifold $M$ (possibly with boundary) and $\Sigma \subset M\setminus \partial M$ an interior hypersurface (possibly with boundary). We study observation and control from $\Sigma$ for both the wave and heat equations. For the wave equation, we prove controllability from $\Sigma$ in time $T$ under the assumption $(\mathcal{T}GCC)$ that all generalized bicharacteristics intersect $\Sigma$ transversally in the time interval $(0,T)$. For the heat equation we prove unconditional controllability from $\Sigma$. As a result, we obtain uniform lower bounds for the Cauchy data of Laplace eigenfunctions on $\Sigma$ under $\mathcal{T}GCC$ and unconditional exponential lower bounds on such Cauchy data.


title: The early detection and follow-up of the highly obscured Type II supernova 2016ija/DLT16am

abstract: We present our analysis of the Type II supernova DLT16am (SN~2016ija). The object was discovered during the ongoing $\rm{D}<40\,\rm{Mpc}$ (DLT40) one day cadence supernova search at $r\sim20.1\,\rm{mag}$ in the `edge-on' nearby ($D=20.0\pm1.9\,\rm{Mpc}$) galaxy NGC~1532. The subsequent prompt and high-cadenced spectroscopic and photometric follow-up revealed a highly extincted transient, with $E(B-V)=1.95\pm0.15\,\rm{mag}$, consistent with a standard extinction law with $R_V=3.1$ and a bright ($M_V=-18.49\pm0.65\,\rm{mag}$) absolute peak-magnitude. The comparison of the photometric features with those of large samples of Type II supernovae reveals a fast rise for the derived luminosity and a relatively short plateau phase, with a slope of $S_{50V}=0.84\pm0.04\,\rm{mag}/50\,\rm{d}$ consistent with the photometric properties typical of those of fast declining Type II supernovae. Despite the large uncertainties on the distance and the extinction in the direction of DLT16am, the measured photospheric expansion velocity and the derived absolute $V$-band magnitude at $\sim50\,\rm{d}$ after the explosion match the existing luminosity-velocity relation for Type II supernovae.


title: A TTL-based Approach for Content Placement in Edge Networks

abstract: Edge networks are promising to provide better services to users by provisioning computing and storage resources at the edge of networks. However, due to the uncertainty and diversity of user interests, content popularity, distributed network structure, cache sizes, it is challenging to decide where to place the content, and how long it should be cached. In this paper, we study the utility optimization of content placement at edge networks through timer-based (TTL) policies. We propose provably optimal distributed algorithms that operate at each network cache to maximize the overall network utility. Our TTL-based optimization model provides theoretical answers to how long each content must be cached, and where it should be placed in the edge network. Extensive evaluations show that our algorithm significantly outperforms path replication with conventional caching algorithms over some network topologies.


title: Constraining the accretion geometry of the intermediate polar EX Hya using NuSTAR, Swift and Chandra observations

abstract: In magnetically accreting white dwarfs, the height above the white dwarf surface where the standing shock is formed is intimately related with the accretion rate and the white dwarf mass. However, it is difficult to measure. We obtained new data with NuSTAR and Swift that, together with archival Chandra data, allow us to constrain the height of the shock in the intermediate polar EX Hya. We conclude that the shock has to form at least at a distance of about one white dwarf radius from the surface in order to explain the weak Fe K{\alpha} 6.4 keV line, the absence of a reflection hump in the high-energy continuum, and the energy dependence of the white dwarf spin pulsed fraction. Additionally, the NuSTAR data allowed us to measure the true, uncontaminated hard X-ray (12-40 keV) flux, whose measurement was contaminated by the nearby galaxy cluster Abell 3528 in non-imaging X-ray instruments.


title: On the synchrotron spectrum of GRB prompt emission

abstract: The prompt emission spectrum of Gamma-ray bursts (GRB) is characterized by a smoothly joint broken power-law spectrum known as the Band function. The typical low-energy photon index is $\sim -1$, which poses challenge to the standard synchrotron radiation models. We investigate the electron energy spectrum as a result of the interplay among adiabatic stochastic acceleration (ASA), particle injection, and synchrotron cooling. In the ASA-dominated low-energy range, ASA enables an efficient hardening of the injected energy spectrum to approach a spectral index $-1$. In the synchrotron cooling-dominated high-energy range, the injected high-energy electrons undergo fast synchrotron cooling and have a softer photon spectrum. With the energy range of the injected electrons broadly covering both the ASA- and synchrotron cooling-dominated ranges, the resulting photon number spectrum has the low- and high-energy indices as $\alpha_s \sim -1$ and $\beta_s \sim -p/2-1$, respectively. The break energy is of the order of $\sim 100 $ keV, depending on the turbulence properties.


title: Equidistribution of Eisenstein series on geodesic segments

abstract: We show an asymptotic formula for the L^2 norm of the Eisenstein series restricted to a segment of a geodesic connecting infinity and an arbitrary real. For generic geodesics of this form, the asymptotic formula shows that the Eisenstein series satisfies restricted QUE. On the other hand, for rational geodesics, the Eisenstein series does not satisfy restricted quantum ergodicity. As an application, we show that the zero set of the Eisenstein series intersects every such geodesic segment, provided the spectral parameter is large. We also make analogous conjectures for the Maass cusp forms. In particular, we predict that cusp forms do not satisfy restricted quantum ergodicity for rational geodesics.


title: The top-quark charge asymmetry at the LHC and Tevatron through NNLO QCD and NLO EW

abstract: We provide the most up-to-date predictions for the top-quark charge asymmetry A_C at the LHC with a centre-of-mass energy of 8 TeV. Our result is accurate at the NNLO level in the strong interactions and at the complete-NLO level in both the strong and electroweak interactions. We present results for the inclusive A_C, several differential asymmetries as well as the P_{T,tt} and M_{tt} cumulative asymmetries. Similarly to the Tevatron forward-backward asymmetry A_FB, both NNLO QCD and NLO EW corrections to A_C are found to be significant. The inclusion of higher-order corrections reduces the residual scale dependence in the predicted A_C. The pattern of higher-order corrections indicates good perturbative control over these observables. We conclude that at present there is nearly uniform agreement between Standard Model predictions and LHC measurements across all A_C-related observables. All previously published differential A_FB predictions at the Tevatron are updated to the same accuracy.


title: Bayesian Paragraph Vectors

abstract: Word2vec (Mikolov et al., 2013) has proven to be successful in natural language processing by capturing the semantic relationships between different words. Built on top of single-word embeddings, paragraph vectors (Le and Mikolov, 2014) find fixed-length representations for pieces of text with arbitrary lengths, such as documents, paragraphs, and sentences. In this work, we propose a novel interpretation for neural-network-based paragraph vectors by developing an unsupervised generative model whose maximum likelihood solution corresponds to traditional paragraph vectors. This probabilistic formulation allows us to go beyond point estimates of parameters and to perform Bayesian posterior inference. We find that the entropy of paragraph vectors decreases with the length of documents, and that information about posterior uncertainty improves performance in supervised learning tasks such as sentiment analysis and paraphrase detection.


title: Dynamic Analysis of Executables to Detect and Characterize Malware

abstract: It is needed to ensure the integrity of systems that process sensitive information and control many aspects of everyday life. We examine the use of machine learning algorithms to detect malware using the system calls generated by executables-alleviating attempts at obfuscation as the behavior is monitored rather than the bytes of an executable. We examine several machine learning techniques for detecting malware including random forests, deep learning techniques, and liquid state machines. The experiments examine the effects of concept drift on each algorithm to understand how well the algorithms generalize to novel malware samples by testing them on data that was collected after the training data. The results suggest that each of the examined machine learning algorithms is a viable solution to detect malware-achieving between 90% and 95% class-averaged accuracy (CAA). In real-world scenarios, the performance evaluation on an operational network may not match the performance achieved in training. Namely, the CAA may be about the same, but the values for precision and recall over the malware can change significantly. We structure experiments to highlight these caveats and offer insights into expected performance in operational environments. In addition, we use the induced models to gain a better understanding about what differentiates the malware samples from the goodware, which can further be used as a forensics tool to understand what the malware (or goodware) was doing to provide directions for investigation and remediation.


title: Manipulative Elicitation -- A New Attack on Elections with Incomplete Preferences

abstract: Lu and Boutilier proposed a novel approach based on "minimax regret" to use classical score based voting rules in the setting where preferences can be any partial (instead of complete) orders over the set of alternatives. We show here that such an approach is vulnerable to a new kind of manipulation which was not present in the classical (where preferences are complete orders) world of voting. We call this attack "manipulative elicitation." More specifically, it may be possible to (partially) elicit the preferences of the agents in a way that makes some distinguished alternative win the election who may not be a winner if we elicit every preference completely. More alarmingly, we show that the related computational task is polynomial time solvable for a large class of voting rules which includes all scoring rules, maximin, Copeland$^\alpha$ for every $\alpha\in[0,1]$, simplified Bucklin voting rules, etc. We then show that introducing a parameter per pair of alternatives which specifies the minimum number of partial preferences where this pair of alternatives must be comparable makes the related computational task of manipulative elicitation \NPC for all common voting rules including a class of scoring rules which includes the plurality, $k$-approval, $k$-veto, veto, and Borda voting rules, maximin, Copeland$^\alpha$ for every $\alpha\in[0,1]$, and simplified Bucklin voting rules. Hence, in this work, we discover a fundamental vulnerability in using minimax regret based approach in partial preferential setting and propose a novel way to tackle it.


title: Positivity preserving DG schemes for a Boltzmann - Poisson model of electrons in semiconductors in curvilinear momentum coordinates

abstract: The work presented in this paper is related to the development of positivity preserving Discontinuous Galerkin (DG) methods for Boltzmann - Poisson (BP) computational models of electronic transport in semiconductors. We pose the Boltzmann Equation for electron transport in curvilinear coordinates for the momentum. We consider the 1D diode problem with azimuthal symmetry, which is a 3D plus time problem. We choose for this problem the spherical coordinate system $\vec{p}(|\vec{p}|,\mu=cos\theta,\varphi)$, slightly different to the choice in previous DG solvers for BP, because its DG formulation gives simpler integrals involving just piecewise polynomial functions for both transport and collision terms. Applying the strategy of Zhang \& Shu, \cite{ZhangShu1}, \cite{ZhangShu2}, Cheng, Gamba, Proft, \cite{CGP}, and Endeve et al. \cite{EECHXM-JCP}, we treat the collision operator as a source term, and find convex combinations of the transport and collision terms which guarantee the positivity of the cell average of our numerical probability density function at the next time step. The positivity of the numerical solution to the pdf in the whole domain is guaranteed by applying the limiters in \cite{ZhangShu1}, \cite{ZhangShu2} that preserve the cell average but modify the slope of the piecewise linear solutions in order to make the function non - negative. In addition of the proofs of positivity preservation in the DG scheme, we prove the stability of the semi-discrete DG scheme under an entropy norm, using the dissipative properties of our collisional operator given by its entropy inequalities. The entropy inequality we use depends on an exponential of the Hamiltonian rather than the Maxwellian associated just to the kinetic energy.


title: Perturbation theory for almost-periodic potentials I. One-dimensional case

abstract: We consider the family of operators $H^{(\epsilon)}:=-\frac{d^2}{dx^2}+\epsilon V$ in ${\mathbb R}$ with almost-periodic potential $V$. We study the behaviour of the integrated density of states (IDS) $N(H^{(\epsilon)};\lambda)$ when $\epsilon\to 0$ and $\lambda$ is a fixed energy. When $V$ is quasi-periodic (i.e. is a finite sum of complex exponentials), we prove that for each $\lambda$ the IDS has a complete asymptotic expansion in powers of $\epsilon$; these powers are either integer, or in some special cases half-integer. These results are new even for periodic $V$. We also prove that when the potential is neither periodic nor quasi-periodic, there is an exceptional set $\mathcal S$ of energies (which we call $\hbox{the super-resonance set}$) such that for any $\sqrt\lambda\not\in\mathcal S$ there is a complete power asymptotic expansion of IDS, and when $\sqrt\lambda\in\mathcal S$, then even two-terms power asymptotic expansion does not exist. We also show that the super-resonant set $\mathcal S$ is uncountable, but has measure zero. Finally, we prove that the length of any spectral gap of $H^{(\epsilon)}$ has a complete asymptotic expansion in natural powers of $\epsilon$ when $\epsilon\to 0$.


title: Predicting Chroma from Luma in AV1

abstract: Chroma from luma (CfL) prediction is a new and promising chroma-only intra predictor that models chroma pixels as a linear function of the coincident reconstructed luma pixels. In this paper, we present the CfL predictor adopted in Alliance Video 1 (AV1), a royalty-free video codec developed by the Alliance for Open Media (AOM). The proposed CfL distinguishes itself from prior art not only by reducing decoder complexity, but also by producing more accurate predictions. On average, CfL reduces the BD-rate, when measured with CIEDE2000, by 5% for still images and 2% for video sequences.


title: Verifiable Light-Weight Monitoring for Certificate Transparency Logs

abstract: Trust in publicly verifiable Certificate Transparency (CT) logs is reduced through cryptography, gossip, auditing, and monitoring. The role of a monitor is to observe each and every log entry, looking for suspicious certificates that interest the entity running the monitor. While anyone can run a monitor, it requires continuous operation and copies of the logs to be inspected. This has lead to the emergence of monitoring-as-a-service: a trusted party runs the monitor and provides registered subjects with selective certificate notifications, e.g., "notify me of all foo.com certificates". We present a CT/bis extension for verifiable light-weight monitoring that enables subjects to verify the correctness of such notifications, reducing the trust that is placed in these monitors. Our extension supports verifiable monitoring of wild-card domains and piggybacks on CT's existing gossip-audit security model.


title: Breaking the Softmax Bottleneck: A High-Rank RNN Language Model

abstract: We formulate language modeling as a matrix factorization problem, and show that the expressiveness of Softmax-based models (including the majority of neural language models) is limited by a Softmax bottleneck. Given that natural language is highly context-dependent, this further implies that in practice Softmax with distributed word embeddings does not have enough capacity to model natural language. We propose a simple and effective method to address this issue, and improve the state-of-the-art perplexities on Penn Treebank and WikiText-2 to 47.69 and 40.68 respectively. The proposed method also excels on the large-scale 1B Word dataset, outperforming the baseline by over 5.6 points in perplexity.


title: EddyNet: A Deep Neural Network For Pixel-Wise Classification of Oceanic Eddies

abstract: This work presents EddyNet, a deep learning based architecture for automated eddy detection and classification from Sea Surface Height (SSH) maps provided by the Copernicus Marine and Environment Monitoring Service (CMEMS). EddyNet is a U-Net like network that consists of a convolutional encoder-decoder followed by a pixel-wise classification layer. The output is a map with the same size of the input where pixels have the following labels \{'0': Non eddy, '1': anticyclonic eddy, '2': cyclonic eddy\}. We investigate the use of SELU activation function instead of the classical ReLU+BN and we use an overlap based loss function instead of the cross entropy loss. Keras Python code, the training datasets and EddyNet weights files are open-source and freely available on https://github.com/redouanelg/EddyNet.


title: StreetX: Spatio-Temporal Access Control Model for Data

abstract: Cities are a big source of spatio-temporal data that is shared across entities to drive potential use cases. Many of the Spatio-temporal datasets are confidential and are selectively shared. To allow selective sharing, several access control models exist, however user cannot express arbitrary space and time constraints on data attributes using them. In this paper we focus on spatio-temporal access control model. We show that location and time attributes of data may decide its confidentiality via a motivating example and thus can affect user's access control policy. In this paper, we present StreetX which enables user to represent constraints on multiple arbitrary space regions and time windows using a simple abstract language. StreetX is scalable and is designed to handle large amount of spatio-temporal data from multiple users. Multiple space and time constraints can affect performance of the query and may also result in conflicts. StreetX automatically resolve conflicts and optimizes the query evaluation with access control to improve performance. We implemented and tested prototype of StreetX using space constraints by defining region having 1749 polygon coordinates on 10 million data records. Our testing shows that StreetX extends the current access control with spatio-temporal capabilities.


title: Comments on scattering in massive gravity, vDVZ and BCFW

abstract: Armed with the latest technology in the computation of scattering amplitudes involving massive particles of any spin, we revisit the van Dam-Veltman-Zakharov (vDVZ) discontinuity of massive gravity and show how it may be understood in terms of the Britto-Cachazo-Feng-Witten (BCFW) relations.


title: Multipolar polarizabilities and hyperpolarizabilities in the Sr optical lattice clock

abstract: We address the problem of the lattice Stark shifts in the Sr clock caused by the multipolar $M1$ and $E2$ atom-field interactions and by the term nonlinear in lattice intensity and determined by the hyperpolarizability. We have developed an approach to calculate hyperpolarizabilities for atoms and ions based on a solution of the inhomogeneous equation which allows to effectively and accurately carry out complete summations over intermediate states. We applied our method to the calculation of the hyperpolarizabilities for the clock states in Sr. We also carried out an accurate calculation of the multipolar polarizabilities for these states at the magic frequency. Understanding these Stark shifts in optical lattice clocks is crucial for further improvement of the clock accuracy.


title: The Illustris Simulation: Supermassive Black Hole - Galaxy Connection Beyond the Bulge

abstract: We study the spiral arm morphology of a sample of the local spiral galaxies in the Illustris simulation and explore the supermassive black hole - galaxy connection beyond the bulge (e.g., spiral arm pitch angle, total stellar mass, dark matter mass, and total halo mass), finding good agreement with other theoretical studies and observational constraints. It is important to study the properties of supermassive black holes and their host galaxies through both observations and simulations and compare their results in order to understand their physics and formative histories.We find that Illustris prediction for supermassive black hole mass relative to pitch angle is in rather good agreement with observations and that barred and non-barred galaxies follow similar scaling relations. Our work shows that Illustris presents very tight correlations between supermassive black hole mass and large-scale properties of the host galaxy, not only for early-type galaxies but also low-mass, blue and star-forming galaxies. These tight relations beyond the bulge suggest that halo properties determine those of a disc galaxy and its supermassive black hole.


title: Testing for observation-dependent regime switching in mixture autoregressive models

abstract: Testing for regime switching when the regime switching probabilities are specified either as constants (`mixture models') or are governed by a finite-state Markov chain (`Markov switching models') are long-standing problems that have also attracted recent interest. This paper considers testing for regime switching when the regime switching probabilities are time-varying and depend on observed data (`observation-dependent regime switching'). Specifically, we consider the likelihood ratio test for observation-dependent regime switching in mixture autoregressive models. The testing problem is highly nonstandard, involving unidentified nuisance parameters under the null, parameters on the boundary, singular information matrices, and higher-order approximations of the log-likelihood. We derive the asymptotic null distribution of the likelihood ratio test statistic in a general mixture autoregressive setting using high-level conditions that allow for various forms of dependence of the regime switching probabilities on past observations, and we illustrate the theory using two particular mixture autoregressive models. The likelihood ratio test has a nonstandard asymptotic distribution that can easily be simulated, and Monte Carlo studies show the test to have satisfactory finite sample size and power properties.


title: Derived Functors of Differential Operators

abstract: In their work on differential operators in positive characteristic, Smith and Van den Bergh define and study the derived functors of differential operators; they arise naturally as obstructions to differential operators reducing to positive characteristic. In this note, we provide formulas for the ring of differential operators as well as these derived functors of differential operators. We apply these descriptions to show that differential operators behave well under reduction to positive characteristic under certain hypotheses. We show that these functors also detect a number of interesting properties of singularities.


title: Energy Efficiency and Asymptotic Performance Evaluation of Beamforming Structures in Doubly Massive MIMO mmWave Systems

abstract: Future cellular systems based on the use of millimeter waves will heavily rely on the use of antenna arrays both at the transmitter and at the receiver. For complexity reasons and energy consumption issues, fully digital precoding and postcoding structures may turn out to be unfeasible, and thus suboptimal structures, making use of simplified hardware and a limited number of RF chains, have been investigated. This paper considers and makes a comparative assessment, both from a spectral efficiency and energy efficiency point of view, of several suboptimal precoding and postcoding beamforming structures for a cellular multiuser MIMO (MU-MIMO) system with large number of antennas. Analytical formulas for the asymptotic achievable spectral efficiency and for the global energy efficiency of several beamforming structures are derived in the large number of antennas regime. Using the most recently available data for the energy consumption of phase shifters and switches, we show that fully-digital beamformers may actually achieve a larger energy efficiency than lower-complexity solutions, as well as that low-complexity beam-steering purely analog beamforming may in some cases represent a good performance-complexity trade-off solution.


title: Estimating the Entropy Rate of Finite Markov Chains with Application to Behavior Studies

abstract: Predictability of behavior has emerged an an important characteristic in many fields including biology, medicine, and marketing. Behavior can be recorded as a sequence of actions performed by an individual over a given time period. This sequence of actions can often be modeled as a stationary time-homogeneous Markov chain and the predictability of the individual's behavior can be quantified by the entropy rate of the process. This paper provides a comprehensive investigation of three estimators of the entropy rate of finite Markov processes and a bootstrap procedure for providing standard errors. The first two methods directly estimate the entropy rate through estimates of the transition matrix and stationary distribution of the process; the methods differ in the technique used to estimate the stationary distribution. The third method is related to the sliding-window Lempel-Ziv (SWLZ) compression algorithm. The first two methods achieve consistent estimates of the true entropy rate for reasonably short observed sequences, but are limited by requiring a priori specification of the order of the process. The method based on the SWLZ algorithm does not require specifying the order of the process and is optimal in the limit of an infinite sequence, but is biased for short sequences. When used together, the methods can provide a clear picture of the entropy rate of an individual's behavior.