title: CrowdMove: Autonomous Mapless Navigation in Crowded Scenarios

abstract: Navigation is an essential capability for mobile robots. In this paper, we propose a generalized yet effective 3M (i.e., multi-robot, multi-scenario, and multi-stage) training framework. We optimize a mapless navigation policy with a robust policy gradient algorithm. Our method enables different types of mobile platforms to navigate safely in complex and highly dynamic environments, such as pedestrian crowds. To demonstrate the superiority of our method, we test our methods with four kinds of mobile platforms in four scenarios. Videos are available at https://sites.google.com/view/crowdmove.


title: Geometrically confined thermal field theory: Finite size corrections and phase transitions

abstract: Motivated by the recent shocking results from RHIC and LHC that show quark-gluon plasma signatures in small systems, we study a simple model of a massless, noninteracting scalar field confined with Dirichlet boundary conditions. We use this system to investigate the finite size corrections to thermal field theoretically derived quantities compared to the usual Stefan-Boltzmann limit of an ideal gas not confined in any direction. Two equivalent expressions with different numerical convergence properties are found for the free energy in $D$ rectilinear spacetime dimensions with $c\le D-1$ spatial dimensions of finite extent. We find that the First Law of Thermodynamics generalizes such that the pressure depends on direction but that the Third Law is respected. For systems with finite dimension(s) but infinite volumes, such as a field constrained between two parallel plates or a rectangular tube, the relative fluctuations in energy are zero, and hence the canonical and microcanonical ensembles are equivalent. We present precise numerical results for the free energy, total internal energy, pressure, entropy, and heat capacity of our field between parallel plates, in a tube, and in finite volume boxes of various sizes in 4 spacetime dimensions. For temperatures and system sizes relevant for heavy ion phenomenology, we find large deviations from the Stefan-Boltzmann limit for these quantities, especially for the pressure. Further investigation of an isolated system of fields constrained between parallel plates reveals a divergent isoenergetic compressibility at a critical length $L_c\sim1/T$. We have thus discovered a new second order phase transition via a first principles calculation, a transition that is driven by the size of the system.

categories: hep-th cond-mat.quant-gas cond-mat.stat-mech hep-ph nucl-th


title: From Face Recognition to Models of Identity: A Bayesian Approach to Learning about Unknown Identities from Unsupervised Data

abstract: Current face recognition systems robustly recognize identities across a wide variety of imaging conditions. In these systems recognition is performed via classification into known identities obtained from supervised identity annotations. There are two problems with this current paradigm: (1) current systems are unable to benefit from unlabelled data which may be available in large quantities; and (2) current systems equate successful recognition with labelling a given input image. Humans, on the other hand, regularly perform identification of individuals completely unsupervised, recognising the identity of someone they have seen before even without being able to name that individual. How can we go beyond the current classification paradigm towards a more human understanding of identities? We propose an integrated Bayesian model that coherently reasons about the observed images, identities, partial knowledge about names, and the situational context of each observation. While our model achieves good recognition performance against known identities, it can also discover new identities from unsupervised data and learns to associate identities with different contexts depending on which identities tend to be observed together. In addition, the proposed semi-supervised component is able to handle not only acquaintances, whose names are known, but also unlabelled familiar faces and complete strangers in a unified framework.


title: On Secure Transmission Design: An Information Leakage Perspective

abstract: Information leakage rate is an intuitive metric that reflects the level of security in a wireless communication system, however, there are few studies taking it into consideration. Existing work on information leakage rate has two major limitations due to the complicated expression for the leakage rate: 1) the analytical and numerical results give few insights into the trade-off between system throughput and information leakage rate; 2) and the corresponding optimal designs of transmission rates are not analytically tractable. To overcome such limitations and obtain an in-depth understanding of information leakage rate in secure wireless communications, we propose an approximation for the average information leakage rate in the fixed-rate transmission scheme. Different from the complicated expression for information leakage rate in the literature, our proposed approximation has a low-complexity expression, and hence, it is easy for further analysis. Based on our approximation, the corresponding approximate optimal transmission rates are obtained for two transmission schemes with different design objectives. Through analytical and numerical results, we find that for the system maximizing throughput subject to information leakage rate constraint, the throughput is an upward convex non-decreasing function of the security constraint and much too loose security constraint does not contribute to higher throughput; while for the system minimizing information leakage rate subject to throughput constraint, the average information leakage rate is a lower convex increasing function of the throughput constraint.


title: On a Loss-based prior for the number of components in mixture models

abstract: We propose a prior distribution for the number of components of a finite mixture model. The novelty is that the prior distribution is obtained by considering the loss one would incur if the true value representing the number of components were not considered. The prior has an elegant and easy to implement structure, which allows to naturally include any prior information one may have as well as to opt for a default solution in cases where this information is not available. The performance of the prior, and comparison with existing alternatives, is studied through the analysis of both real and simulated data.


title: Learning Inputs in Greybox Fuzzing

abstract: Greybox fuzzing is a lightweight testing approach that effectively detects bugs and security vulnerabilities. However, greybox fuzzers randomly mutate program inputs to exercise new paths; this makes it challenging to cover code that is guarded by complex checks. In this paper, we present a technique that extends greybox fuzzing with a method for learning new inputs based on already explored program executions. These inputs can be learned such that they guide exploration toward specific executions, for instance, ones that increase path coverage or reveal vulnerabilities. We have evaluated our technique and compared it to traditional greybox fuzzing on 26 real-world benchmarks. In comparison, our technique significantly increases path coverage (by up to 3X) and detects more bugs (up to 38% more), often orders-of-magnitude faster.


title: Power-Aware Virtual Network Function Placement and Routing using an Abstraction Technique

abstract: The Network Function Virtualization (NFV) is very promising for efficient provisioning of network services and is attracting a lot of attention. NFV can be implemented in commercial off-the-shelf servers or Physical Machines (PMs), and many network services can be offered as a sequence of Virtual Network Functions (VNFs), known as VNF chains. Furthermore, many existing network devices (e.g., switches) and collocated PMs are underutilized or over-provisioned, resulting in low power-efficiency. In order to achieve more energy efficient systems, this work aims at designing the placement of VNFs such that the total power consumption in network nodes and PMs is minimized, while meeting the delay and capacity requirements of the foreseen demands. Based on existing switch and PM power models, we propose a Integer Linear Programming (ILP) formulation to find the optimal solution. We also propose a heuristic based on the concept of Blocking Islands (BI), and a baseline heuristic based on the Betweenness Centrality (BC) property of the graph. Both heuristics and the ILP solutions have been compared in terms of total power consumption, delay, demands acceptance rate, and computation time. Our simulation results suggest that BI-based heuristic is superior compared with the BC-based heuristic, and very close to the optimal solution obtained from the ILP in terms of total power consumption and demands acceptance rate. Compared to the ILP, the proposed BI-based heuristic is significantly faster and results in 22% lower end-to-end delay, with a penalty of consuming 6% more power in average.


title: Low-energy corrections to the eikonal description of elastic scattering and breakup of one-neutron halo nuclei in nuclear-dominated reactions

abstract: Background: The eikonal approximation is a high-energy reaction model which is very computationally efficient and provides a simple interpretation of the collision. Unfortunately, it is not valid at energies around 10 MeV/nucleon, the range of energy of HIE-ISOLDE at CERN and the future ReA12 at MSU. Fukui etal. [Phys. Rev. C 90, 034617 (2014)] have shown that a simple semiclassical correction of the projectile-target deflection could improve the description of breakup of halo nuclei on heavy targets down to 20 MeV/nucleon. Purpose: We study two similar corrections, which aim at improving the projectile-target relative motion within the eikonal approximation, with the goal to extend its range of validity down to 10 MeV/nucleon in nuclear-dominated collisions, viz. on light targets. The semiclassical correction substitutes the impact parameter by the distance of closest approach of the corresponding classical trajectory. The exact continued $S$-matrix correction replaces the eikonal phase by the exact phase shift. Both corrections successfully describe the elastic scattering of one-neutron halo nuclei. Method: We extend these corrections and study their efficiency in describing the breakup channel. We evaluate them in the case of $^{11}\mathrm{Be}$ impinging on $^{12}\mathrm{C}$ at 20 and 10 MeV/nucleon. Results: Albeit efficient to reproduce the elastic channel, these corrections do not improve the description of the breakup of halo nuclei within the eikonal approximation down to 20 MeV/nucleon. Conclusions: Our analysis of these corrections shows that improving the projectile-target relative motion is not the ultimate answer to extend the eikonal approximation down to low energies. We suggest another avenue to reach this goal.


title: An Operational Approach to Information Leakage

abstract: Given two random variables $X$ and $Y$, an operational approach is undertaken to quantify the ``leakage'' of information from $X$ to $Y$. The resulting measure $\mathcal{L}(X \!\! \to \!\! Y)$ is called \emph{maximal leakage}, and is defined as the multiplicative increase, upon observing $Y$, of the probability of correctly guessing a randomized function of $X$, maximized over all such randomized functions. A closed-form expression for $\mathcal{L}(X \!\! \to \!\! Y)$ is given for discrete $X$ and $Y$, and it is subsequently generalized to handle a large class of random variables. The resulting properties are shown to be consistent with an axiomatic view of a leakage measure, and the definition is shown to be robust to variations in the setup. Moreover, a variant of the Shannon cipher system is studied, in which performance of an encryption scheme is measured using maximal leakage. A single-letter characterization of the optimal limit of (normalized) maximal leakage is derived and asymptotically-optimal encryption schemes are demonstrated. Furthermore, the sample complexity of estimating maximal leakage from data is characterized up to subpolynomial factors. Finally, the \emph{guessing} framework used to define maximal leakage is used to give operational interpretations of commonly used leakage measures, such as Shannon capacity, maximal correlation, and local differential privacy.


title: Semi-Generative Modelling: Covariate-Shift Adaptation with Cause and Effect Features

abstract: Current methods for covariate-shift adaptation use unlabelled data to compute importance weights or domain-invariant features, while the final model is trained on labelled data only. Here, we consider a particular case of covariate shift which allows us also to learn from unlabelled data, that is, combining adaptation with semi-supervised learning. Using ideas from causality, we argue that this requires learning with both causes, $X_C$, and effects, $X_E$, of a target variable, $Y$, and show how this setting leads to what we call a semi-generative model, $P(Y,X_E|X_C,\theta)$. Our approach is robust to domain shifts in the distribution of causal features and leverages unlabelled data by learning a direct map from causes to effects. Experiments on synthetic data demonstrate significant improvements in classification over purely-supervised and importance-weighting baselines.


title: Generalized Su-Schrieffer-Heeger model in one dimensional optomechanical arrays

abstract: We propose an implementation of a generalized Su-Schrieffer-Heeger (SSH) model based on optomechanical arrays. The topological properties of the generalized SSH model depend on the effective optomechanical interactions enhanced by strong driving optical fields. Three phases including one trivial and two distinct topological phases are found in the generalized SSH model. The phase transition can be observed by turning the strengths and phases of the effective optomechanical interactions via adjusting the external driving fields. Moreover, four types of edge states can be created in generalized SSH model of an open chain under single-particle excitation, and the dynamical behaviors of the excitation in the open chain are related to the topological properties under the periodic boundary condition. We show that the edge states can be pumped adiabatically along the optomechanical arrays by periodically modulating the amplitude and frequency of the driving fields. The generalized SSH model based on the optomechanical arrays provides us a tunable platform to engineer topological phases for photons and phonons, which may have potential applications in controlling the transport of photons and phonons.


title: Equality of Kolmogorov-Sinai and permutation entropy for one-dimensional maps consisting of countably many monotone parts

abstract: In this paper, we show that, under some technical assumptions, the Kolmogorov-Sinai entropy and the permutation entropy are equal for one-dimensional maps if there exists a countable partition of the domain of definition into intervals such that the considered map is monotone on each of those intervals. This is a generalization of a result by Bandt, Pompe and G. Keller, who showed that the above holds true under the additional assumptions that the number of intervals on which the map is monotone is finite and that the map is continuous on each of those intervals.


title: Strongly correlated photon transport in nonlinear photonic lattice with disorder: Probing signatures of the localization transition

abstract: We study the transport of few-photon states in an open disordered nonlinear photonic lattice. More specifically, we consider a waveguide quantum electrodynamics (QED) setup where photons are scattered from a chain of nonlinear resonators with onsite Bose-Hubbard interaction in the presence of an incommensurate potential. Applying our recently developed diagrammatic technique that represents scattering matrix (S-matrix) with scattering diagrams and associated propagators, we compute the two-photon transmission probability and show that it carries signatures of the underlying many-body localization transition of the system. We compare the calculated probability to the participation ratio of the eigenstates and find close agreement for a range of interaction strengths. We analyze the robustness of the transmission signatures against local dissipation and briefly discuss possible implementation using current superconducting circuit technology.


title: Finite-energy L\'evy-type motion through heterogeneous ensemble of Brownian particles

abstract: Complex systems display anomalous diffusion, whose signature is a space/time scaling $x\sim t^\delta$ with $\delta \ne 1/2$ in the Probability Density Function (PDF). Anomalous diffusion can emerge jointly with both Gaussian, e.g., fractional Brownian motion, and power-law decaying distributions, e.g., L\'evy Flights (LFs) or L\'evy Walks (LWs). LFs get anomalous scaling, but also infinite position variance and also infinite energy and discontinuous velocity. LWs are based on random trapping events, resemble a L\'evy-type power-law distribution that is truncated in the large displacement range and have finite moments, finite energy and discontinuous velocity. However, both LFs and LWs cannot describe friction-diffusion processes. We propose and discuss a model describing a Heterogeneous Ensemble of Brownian Particles (HEBP) based on a linear Langevin equation. We show that, for proper distributions of relaxation time and velocity diffusivity, the HEBP displays features similar to LWs, in particular power-law decaying PDF, long-range correlations and anomalous diffusion, at the same time keeping finite position moments and finite energy. The main differences between the HEBP model and two LWs are investigated, finding that, even if the PDFs are similar, they differ in three main aspects: (i) LWs are biscaling, while HEBP is monoscaling; (ii) a transition from anomalous ($\delta \ne 1/2$) to normal ($\delta = 1/2$) diffusion in the long-time regime; (iii) the power-law index of the position PDF and the space/time diffusion scaling are independent in the HEBP, while they both depend on the scaling of the inter-event time PDF in LWs. The HEBP model is derived from a friction-diffusion process, it has finite energy and it satisfies the fluctuation-dissipation theorem.

categories: cond-mat.stat-mech math-ph math.MP physics.bio-ph


title: An exact power series representation of the Baker-Campbell-Hausdorff formula

abstract: An exact representation of the Baker-Campbell-Hausdorff formula as a power series in just one of the two variables is constructed. Closed form coefficients of this series are found in terms of hyperbolic functions, which contain all of the dependence of the second variable. It is argued that this exact series may then be truncated and expected to give a good approximation to the full expansion if only the perturbative variable is small. This improves upon existing formulae, which require both to be small. As such this may allow access to larger phase spaces in physical problems which employ the Baker-Campbell-Hausdorff formula, along with enabling new problems to be tackled.


title: The resolvent algebra of non-relativistic Bose fields: sectors, morphisms, fields and dynamics

abstract: It was recently shown [2] that the resolvent algebra of a non-relativistic Bose field determines a gauge invariant (particle number preserving) kinematical algebra of observables which is stable under the automorphic action of a large family of interacting dynamics involving pair potentials. In the present article, this observable algebra is extended to a field algebra by adding to it isometries, which transform as tensors under gauge transformations and induce particle number changing morphisms of the observables. Different morphisms are linked by intertwiners in the observable algebra. It is shown that such intertwiners also induce time translations of the morphisms. As a consequence, the field algebra is stable under the automorphic action of the interacting dynamics as well. These results establish a concrete C*-algebraic framework for interacting non-relativistic Bose systems in infinite space. It provides an adequate basis for studies of long range phenomena, such as phase transitions, stability properties of equilibrium states, condensates, and the breakdown of symmetries.


title: A note on the Virasoro blocks at order $1/c$

abstract: We derive an explicit expression for the $1/c$ contribution to the Virasoro blocks in 2D CFT in the limit of large $c$ with fixed values of the operators' dimensions. We follow the direct approach of orthonormalising, at order $1/c$, the space of the Virasoro descendants to obtain the blocks as a series expansion around $z=0$. For generic conformal weights this expansion can be summed in terms of hypergeometric functions and their first derivatives with respect to one parameter. For integer conformal weights we provide an equivalent expression written in terms of a finite sum of undifferentiated hypergeometric functions. These results make the monodromies of the blocks around $z=1$ manifest.


title: Complex Economic Activities Concentrate in Large Cities

abstract: Why do some economic activities agglomerate more than others? And, why does the agglomeration of some economic activities continue to increase despite recent developments in communication and transportation technologies? In this paper, we present evidence that complex economic activities concentrate more in large cities. We find this to be true for technologies, scientific publications, industries, and occupations. Using historical patent data, we show that the urban concentration of complex economic activities has been continuously increasing since 1850. These findings suggest that the increasing urban concentration of jobs and innovation might be a consequence of the growing complexity of the economy.


title: De Rham epsilon factors for flat connections on higher local fields

abstract: This note is a companion to the author's "Higher de Rham epsilon factors". Using Grayson's binary complexes and the formalism of $n$-Tate spaces we develop a formalism of graded epsilon lines, associated to flat connections on a higher local field of characteristic $0$. The definition is based on comparing a Higgs complex with a de Rham complex on the same underlying vector bundle.


title: Submodular Maximization with Nearly Optimal Approximation, Adaptivity and Query Complexity

abstract: Submodular optimization generalizes many classic problems in combinatorial optimization and has recently found a wide range of applications in machine learning (e.g., feature engineering and active learning). For many large-scale optimization problems, we are often concerned with the adaptivity complexity of an algorithm, which quantifies the number of sequential rounds where polynomially-many independent function evaluations can be executed in parallel. While low adaptivity is ideal, it is not sufficient for a distributed algorithm to be efficient, since in many practical applications of submodular optimization the number of function evaluations becomes prohibitively expensive. Motivated by these applications, we study the adaptivity and query complexity of adaptive submodular optimization. Our main result is a distributed algorithm for maximizing a monotone submodular function with cardinality constraint $k$ that achieves a $(1-1/e-\varepsilon)$-approximation in expectation. This algorithm runs in $O(\log(n))$ adaptive rounds and makes $O(n)$ calls to the function evaluation oracle in expectation. The approximation guarantee and query complexity are optimal, and the adaptivity is nearly optimal. Moreover, the number of queries is substantially less than in previous works. Last, we extend our results to the submodular cover problem to demonstrate the generality of our algorithm and techniques.


title: Dirichlet series associated to sum-of-digits functions

abstract: We study the Dirichlet series $F_b(s)=\sum_{n=1}^\infty d_b(n)n^{-s}$, where $d_b(n)$ is the sum of the base-$b$ digits of the integer $n$, and $G_b(s)=\sum_{n=1}^\infty S_b(n)n^{-s}$, where $S_b(n)=\sum_{m=1}^{n-1}d_b(m)$ is the summatory function of $d_b(n)$. We show that $F_b(s)$ and $G_b(s)$ have continuations to the plane $\mathbb{C}$ as meromorphic functions of order at least 2, determine the locations of all poles, and give explicit formulas for the residues at the poles. We give a continuous interpolation of the sum-of-digits functions $d_b$ and $S_b$ to non-integer bases using a formula of Delange, and show that the associated Dirichlet series have a meromorphic continuation at least one unit left of their abscissa of absolute convergence.


title: Search for CP violation in Neutrino and Antineutrino Oscillations by the T2K experiment with $2.2\times10^{21}$ protons on target

abstract: The T2K experiment measures muon neutrino disappearance and electron neutrino appearance in accelerator-produced neutrino and antineutrino beams. With an exposure of $14.7(7.6)\times 10^{20}$ protons on target in neutrino (antineutrino) mode, 89 $\nu_e$ candidates and 7 anti-$\nu_e$ candidates were observed while 67.5 and 9.0 are expected for $\delta_{CP}=0$ and normal mass ordering. The obtained $2\sigma$ confidence interval for the $CP$ violating phase, $\delta_{CP}$, does not include the $CP$-conserving cases ($\delta_{CP}=0,\pi$). The best-fit values of other parameters are $\sin^2\theta_{23} = 0.526^{+0.032}_{-0.036}$ and $\Delta m^2_{32}=2.463^{+0.071}_{-0.070}\times10^{-3} \mathrm{eV}^2/c^4$.


title: Bridging the Gap between Programming Languages and Hardware Weak Memory Models

abstract: We develop a new intermediate weak memory model, IMM, as a way of modularizing the proofs of correctness of compilation from concurrent programming languages with weak memory consistency semantics to mainstream multi-core architectures, such as POWER and ARM. We use IMM to prove the correctness of compilation from the promising semantics of Kang et al. to POWER (thereby correcting and improving their result) and ARMv7, as well as to the recently revised ARMv8 model. Our results are mechanized in Coq, and to the best of our knowledge, these are the first machine-verified compilation correctness results for models that are weaker than x86-TSO.


title: Modelling realistic microgels in an explicit solvent

abstract: Thermoresponsive microgels are polymeric colloidal networks that can change their size in response to a temperature variation. This peculiar feature is driven by the nature of the solvent-polymer interactions, which triggers the so-called volume phase transition from a swollen to a collapsed state above a characteristic temperature. Recently, an advanced modelling protocol to assemble realistic, disordered microgels has been shown to reproduce experimental swelling behavior and form factors. In the original framework, the solvent was taken into account in an implicit way, condensing solvent-polymer interactions in an effective attraction between monomers. To go one step further, in this work we perform simulations of realistic microgels in an explicit solvent. We identify a suitable model which fully captures the main features of the implicit model and further provides information on the solvent uptake by the interior of the microgel network and on its role in the collapse kinetics. These results pave the way for addressing problems where solvent effects are dominant, such as the case of microgels at liquid-liquid interfaces.


title: The edge of space: Revisiting the Karman Line

abstract: In this paper I revisit proposed definitions of the boundary between the Earth's atmosphere and outer space, considering orbital and suborbital trajectories used by space vehicles. In particular, I investigate the inner edge of outer space from historical, physical and technological viewpoints and propose 80 kilometers as a more appropriate boundary than the currently popular 100 km Von K\'{a}rm\'{a}n line.


title: A WISE Survey of Circumstellar disks in the Upper Scorpius Association

abstract: We have performed a survey for new members of the Upper Sco association that have circumstellar disks using mid-infrared photometry from the Wide-field Infrared Survey Explorer (WISE). Through optical and near-infrared spectroscopy, we have confirmed 185 candidates as likely members of Upper Sco with spectral types ranging from mid-K to M9. They comprise ~36% of the known disk-bearing members of the association. We also have compiled all available mid-infrared photometry from WISE and the Spitzer Space Telescope for the known members of Upper Sco, resulting in a catalog of data for 1608 objects. We have used these data to identify the members that exhibit excess emission from disks and we have classified the evolutionary stages of those disks with criteria similar to those applied in our previous studies of Taurus and Upper Sco. Among 484 members with excesses in at least one band (excluding five Be stars), we classify 296 disks as full, 66 as evolved, 19 as transitional, 22 as evolved or transitional, and 81 as evolved transitional or debris. Many of these disks have not been previously reported, including 129 full disks and 50 disks that are at more advanced evolutionary stages.


title: Towards a general mathematical theory of experimental science

abstract: We lay the groundwork for a formal framework that studies scientific theories and can serve as a unified foundation for the different theories within physics. We define a scientific theory as a set of verifiable statements, assertions that can be shown to be true with an experimental test in finite time. By studying the algebra of such objects, we show that verifiability already provides severe constraints. In particular, it requires that a set of physically distinguishable cases is naturally equipped with the mathematical structures (i.e. second-countable Kolmogorov topologies and $\sigma$-algebras) that form the foundation of manifold theory, differential geometry, measure theory, probability theory and all the major branches of mathematics currently used in physics. This gives a clear physical meaning to those mathematical structures and provides a strong justification for their use in science. Most importantly it provides a formal framework to incorporate additional assumptions and constrain the search space for new physical theories.


title: Another view on Gilbert damping in two-dimensional ferromagnets

abstract: A keen interest towards technological implications of spin-orbit driven magnetization dynamics requests a proper theoretical description, especially in the context of a microscopic framework, to be developed. Indeed, magnetization dynamics is so far approached within Landau-Lifshitz-Gilbert equation which characterizes torques on magnetization on purely phenomenological grounds. Particularly, spin-orbit coupling does not respect spin conservation, leading thus to angular momentum transfer to lattice and damping as a result. This mechanism is accounted by the Gilbert damping torque which describes relaxation of the magnetization to equilibrium. In this study we work out a microscopic Kubo-St\v{r}eda formula for the components of the Gilbert damping tensor and apply the elaborated formalism to a two-dimensional Rashba ferromagnet in the weak disorder limit. We show that an exact analytical expression corresponding to the Gilbert damping parameter manifests linear dependence on the scattering rate and retains the constant value up to room temperature when no vibrational degrees of freedom are present in the system. We argue that the methodology developed in this paper can be safely applied to bilayers made of non- and ferromagnetic metals, e.g., CoPt.


title: Adjoint Approach to Beam Optics Sensitivity Based on Hamiltonian Particle Dynamics

abstract: We develop a sensitivity function for the design of electron optics using an adjoint approach based on a form of reciprocity implicit in Hamilton's equations of motion. The sensitivity function, which is computed with a small number of time-reversed runs of a beam optics code, allows for the determination of the effects on specific beam quality figures of merit of small, but arbitrary changes in electrode potentials, positions and shapes, and in magnet strengths and locations. The sensitivity function can thus be used in an optimization cycle of a focusing system's design, and/or to predict the sensitivity of a particular design to manufacturing, assembly, and alignment errors.


title: The role of galaxies and AGN in reionizing the IGM - II: metal-tracing the faint sources of reionization at $5\lesssim z\lesssim6$

abstract: We present a new method to study the contribution of faint sources to the UV background using the 1D correlation of metal absorbers with the intergalactic medium (IGM) transmission in a Quasi Stellar Object (QSO) sightline. We take advantage of a sample of $25$ high signal-to-noise ratio QSO spectra to retrieve $150$ triply-ionised carbon (\cfour) absorbers at $4.5\lesssim z\lesssim 6.2$, of which $37$ systems whose expected H{~\small I} absorption lie in the Lyman-$\alpha$ forest. We derive improved constraints on the cosmic density of \cfour \,at $4.3< z < 6.2$ and infer from abundance-matching that \cfour \,absorbers trace $M_{\text{UV}}\lesssim -16$ galaxies. Correlation with the Lyman-$\alpha$ forest of the QSOs indicates that these objects are surrounded by a highly opaque region at $r\lesssim 5 $ cMpc/h followed by an excess of transmission at $r\gtrsim 10$ cMpc/h detected at $2.7\sigma$. This is in contrast to equivalent measurements at lower redshifts where only the opaque trough is detected. We interpret this excess as a statistical enhancement of the local photoionisation rate due to clustered faint galaxies around the \cfour \,absorbers. Using the analytical framework described in Paper I of this series, we derive a constraint on the average product of the escape fraction and the Lyman continuum photon production efficiency of the galaxy population clustered around the \cfour \,absorbers, $\log \langle f_{\text{esc}}\xi_{\text{ion}}\rangle /[{\rm erg^{-1}~Hz}] = 25.01^{+0.30}_{-0.19}$. This implies that faint galaxies beyond the reach of current facilities may have harder radiation fields and/or larger escape fractions than currently detected objects at the end of the reionisation epoch.


title: A Fourier Domain "Jerk" Search for Binary Pulsars

abstract: While binary pulsar systems are fantastic laboratories for a wide array of astrophysics, they are particularly difficult to detect. The orbital motion of the pulsar changes its apparent spin frequency over the course of an observation, essentially "smearing" the response of the time series in the Fourier domain. We review the Fourier domain acceleration search (FDAS), which uses a matched filtering algorithm to correct for this smearing by assuming constant acceleration for a small enough portion of the orbit. We discuss the theory and implementation of a Fourier domain "jerk" search, developed as part of the \textsc{PRESTO} software package, which extends the FDAS to account for a linearly changing acceleration, or constant orbital jerk, of the pulsar. We test the performance of our algorithm on archival Green Bank Telescope observations of the globular cluster Terzan~5, and show that while the jerk search has a significantly longer runtime, it improves search sensitivity to binaries when the observation duration is $5$ to $15\%$ of the orbital period. Finally, we present the jerk-search-enabled detection of Ter5am (PSR~J1748$-$2446am), a new highly-accelerated pulsar in a compact, eccentric, and relativistic orbit, with a likely pulsar mass of 1.649$^{+0.037}_{-0.11}$\,\msun.


title: Self-stabilization Overhead: an Experimental Case Study on Coded Atomic Storage

abstract: Shared memory emulation can be used as a fault-tolerant and highly available distributed storage solution or as a low-level synchronization primitive. Attiya, Bar-Noy, and Dolev were the first to propose a single-writer, multi-reader linearizable register emulation where the register is replicated to all servers. Recently, Cadambe et al. proposed the Coded Atomic Storage (CAS) algorithm, which uses erasure coding for achieving data redundancy with much lower communication cost than previous algorithmic solutions. Although CAS can tolerate server crashes, it was not designed to recover from unexpected, transient faults, without the need of external (human) intervention. In this respect, Dolev, Petig, and Schiller have recently developed a self-stabilizing version of CAS, which we call CASSS. As one would expect, self-stabilization does not come as a free lunch; it introduces, mainly, communication overhead for detecting inconsistencies and stale information. So, one would wonder whether the overhead introduced by self-stabilization would nullify the gain of erasure coding. To answer this question, we have implemented and experimentally evaluated the CASSS algorithm on PlanetLab; a planetary scale distributed infrastructure. The evaluation shows that our implementation of CASSS scales very well in terms of the number of servers, the number of concurrent clients, as well as the size of the replicated object. More importantly, it shows (a) to have only a constant overhead compared to the traditional CAS algorithm (which we also implement) and (b) the recovery period (after the last occurrence of a transient fault) is as fast as a few client (read/write) operations. Our results suggest that CASSS does not significantly impact efficiency while dealing with automatic recovery from transient faults and bounded size of needed resources.


title: Battery Swapping Station as an Energy Storage for Capturing Distribution-Integrated Solar Variability

abstract: Managing the inherent variability of solar generation is a critical challenge for utility grid operators, particularly as the distribution grid-integrated solar generation is making fast inroads in power systems. This paper proposes to leverage Battery Swapping Station (BSS) as an energy storage for mitigating solar photovoltaic (PV) output fluctuations. Using mixed-integer programming, a model for the BSS optimal scheduling is proposed to capture solar generation variability. The proposed model aims at minimizing the BSS total operation cost, which represents the accumulated cost of exchanging power with the utility grid. The model is subject to four sets of constraints associated with the utility grid, the BSS system, individual batteries, and solar variability. Numerical simulations on a test BSS demonstrate the effectiveness of the proposed model and show its viability in helping the utility grids host a higher penetration of solar generation.


title: Laser spectroscopy of the 1001nm ground state transition in dysprosium

abstract: We present the first direct excitation of the presumably ultra-narrow $1001 \, \textrm{nm}$ ground state transition in atomic dysproium. By using resonance ionization spectroscopy with pulsed Ti:sapphire lasers at a hot cavity laser ion source, we were able to measure the isotopic shifts in the $1001 \, \textrm{nm}$ line between all seven stable isotopes. Furthermore, we determined the upper level energy from the atomic transition frequency of the $^{164} \textrm{Dy}$ isotope as $9991.004(1) \, \textrm{cm}^{-1}$ and confirm the level energy listed in the NIST database. Since a sufficiently narrow natural linewidth is an essential prerequisite for high precision spectroscopic investigations for fundamental questions we furthermore determined a lower limit of $2.9(1) \, \mu\textrm{s}$ for the lifetime of the excited state.


title: Observational signatures of dark energy produced in an ancestor vacuum: Forecast for galaxy surveys

abstract: We study observational consequences of the model for dark energy proposed in [1] (Aoki et al., Phys.Rev. D97 (2018) no.4, 043517). We assume our universe has been created by bubble nucleation, and consider quantum fluctuations of an ultralight scalar field. Residual effects of fluctuations generated in an ancestor vacuum (de Sitter space in which the bubble was formed) is interpreted as dark energy. Its equation of state parameter w(z) has a characteristic form, approaching -1 in the future, but -1/3 in the past. A novel feature of our model is that dark energy effectively increases the magnitude of the negative spatial curvature in the evolution of the Hubble parameter, though it does not alter the definition of the angular diameter distance. We perform Fisher analysis and forecast the constraints for our model from future galaxy surveys by Square Kilometre Array and Euclid. Due to degeneracy between dark energy and the spatial curvature, galaxy surveys alone can determine these parameters only for optimistic choices of their values, but combination with other independent observations, such as CMB, will greatly improve the chance of determining them.


title: Electromagnetic emission of white dwarf binary mergers

abstract: It has been recently proposed that the ejected matter from white dwarf (WD) binary mergers can produce transient, optical and infrared emission similar to the "kilonovae" of neutron star (NS) binary mergers. To confirm this we calculate the electromagnetic emission from WD-WD mergers and compare with kilonova observations. We simulate WD-WD mergers leading to a massive, fast rotating, highly magnetized WD with an adapted version of the smoothed-particle-hydrodynamics (SPH) code Phantom. We thus obtain initial conditions for the ejecta such as escape velocity, mass and initial position and distribution. The subsequent thermal and dynamical evolution of the ejecta is obtained by integrating the energy-conservation equation accounting for expansion cooling and a heating source given by the fallback accretion onto the newly-formed WD and its magneto-dipole radiation. We show that magnetospheric processes in the merger can lead to a prompt, short gamma-ray emission of up to $\approx 10^{46}$ erg in a timescale of $0.1$-$1$ s. The bulk of the ejecta initially expands non-relativistically with velocity $0.01 c$ and then it accelerates to $0.1 c$ due to the injection of fallback accretion energy. The ejecta become transparent at optical wavelengths around $\sim 7$ days post-merger with a luminosity $10^{41}$-$10^{42}$ erg s$^{-1}$. The X-ray emission from the fallback accretion becomes visible around $\sim 150$-$200$ day post-merger with a luminosity of $10^{39}$ erg s$^{-1}$. We also predict the post-merger time at which the central WD should appear as a pulsar depending on the value of the magnetic field and rotation period.


title: Neutron lifetime puzzle and neutron -- mirror neutron oscillation

abstract: The discrepancy between the neutron lifetimes measured in the beam and trap experiments can be explained via the neutron $n$ conversion into mirror neutron $n'$, its dark partner from parallel mirror sector, provided that $n$ and $n'$ have a tiny mass splitting order $10^{-7}$ eV. In large magnetic fields used in beam experiments $n-n'$ transition is resonantly enhanced and can transform of about a per cent fraction of neutrons into mirror neutrons which decay in invisible mode. Thus less protons will be produced and the measured value $\tau_{\rm beam}$ appears larger than $\beta$-decay time $\tau_{\beta} = \tau_{\rm trap}$. Some phenomenological and astrophysical consequences of this scenario are also briefly discussed.


title: Nodal gaps in the nematic superconductor FeSe from heat capacity

abstract: Superconductivity in FeSe has recently attracted a great deal of attention because it emerges out of an electronic nematic state of elusive character. Here we study both the electronic normal state and the superconducting gap structure using heat-capacity measurements on high-quality single crystals. The specific-heat curve, from 0.4 K to Tc = 9.1 K, is found to be consistent with a recent gap determination using Bogoliubov quasiparticle interference [P. O. Sprau et al., Science 357, 75 (2017)], however only if nodes are introduced on either the electron or the hole Fermi-surface sheets. Our analysis, which is consistent with quantum-oscillation measurements, relies on the presence of only two bands, and thus the fate of the theoretically predicted second electron pocket remains mysterious.


title: NNLO corrections to VBF Higgs boson production

abstract: This talk expands on recently published results for the factorising next-to-next-to-leading order (NNLO) QCD corrections to Higgs boson production in the vector boson fusion (VBF) channel. The calculation is fully differential in the kinematics of the Higgs boson and the final state jets and is implemented in the NNLOJET framework for computing higher-order QCD corrections. We find the NNLO corrections to be limited in magnitude to about $\pm 5$\% with a weak kinematical dependence in the transverse momenta and rapidity separation of the two tagging jets.


title: Boosting algorithms for uplift modeling

abstract: Uplift modeling is an area of machine learning which aims at predicting the causal effect of some action on a given individual. The action may be a medical procedure, marketing campaign, or any other circumstance controlled by the experimenter. Building an uplift model requires two training sets: the treatment group, where individuals have been subject to the action, and the control group, where no action has been performed. An uplift model allows then to assess the gain resulting from taking the action on a given individual, such as the increase in probability of patient recovery or of a product being purchased. This paper describes an adaptation of the well-known boosting techniques to the uplift modeling case. We formulate three desirable properties which an uplift boosting algorithm should have. Since all three properties cannot be satisfied simultaneously, we propose three uplift boosting algorithms, each satisfying two of them. Experiments demonstrate the usefulness of the proposed methods, which often dramatically improve performance of the base models and are thus new and powerful tools for uplift modeling.


title: Stratified spaces, Directed Algebraic Topology, and State-Sum TQFTs

abstract: We apply the theory of directed topology developed by Grandis [9, 10] to the study of stratified spaces by describing several ways in which a stratification or a stratification with orientations on the strata can be used to produce a related directed space structure. This description provides a setting for the constructions of state-sum TQFTs with defects of [5, 8], which we extend to a similar construction of a Dijkgraaf- Witten type TQFT in the case where the defects (lower dimensional strata) are not sources or targets, but sources on one side and targets on the other, according to an orientation convention.


title: Application of the Iterated Weighted Least-Squares Fit to counting experiments

abstract: Least-squares fits are an important tool in many data analysis applications. In this paper, we review theoretical results, which are relevant for their application to data from counting experiments. Using a simple example, we illustrate the well known fact that commonly used variants of the least-squares fit applied to Poisson-distributed data produce biased estimates. The bias can be overcome with an iterated weighted least-squares method, which produces results identical to the maximum-likelihood method. For linear models, the iterated weighted least-squares method converges faster than the equivalent maximum-likelihood method, and does not require problem-specific starting values, which may be a practical advantage. The equivalence of both methods also holds for binomially distributed data. We further show that the unbinned maximum-likelihood method can be derived as a limiting case of the iterated least-squares fit when the bin width goes to zero, which demonstrates a deep connection between the two methods.


title: Fabrication of low-cost, large-area prototype Si(Li) detectors for the GAPS experiment

abstract: A Si(Li) detector fabrication procedure has been developed with the aim of satisfying the unique requirements of the GAPS (General Antiparticle Spectrometer) experiment. Si(Li) detectors are particularly well-suited to the GAPS detection scheme, in which several planes of detectors act as the target to slow and capture an incoming antiparticle into an exotic atom, as well as the spectrometer and tracker to measure the resulting decay X-rays and annihilation products. These detectors must provide the absorption depth, energy resolution, tracking efficiency, and active area necessary for this technique, all within the significant temperature, power, and cost constraints of an Antarctic long-duration balloon flight. We report here on the fabrication and performance of prototype 2"-diameter, 1-1.25 mm-thick, single-strip Si(Li) detectors that provide the necessary X-ray energy resolution of $\sim$4 keV for a cost per unit area that is far below that of previously-acquired commercial detectors. This fabrication procedure is currently being optimized for the 4"-diameter, 2.5 mm-thick, multi-strip geometry that will be used for the GAPS flight detectors.


title: Tilt of sunspot bipoles in Solar Cycles 15 to 24

abstract: We use recently digitized sunspot drawings from Mount Wilson Observatory to investigate the latitudinal dependence of tilt angles of active regions and its change with solar cycle. The drawings cover the period from 1917 to present and contain information about polarity and strength of magnetic field in sunspots. We identify clusters of sunspots of same polarity, and used these clusters to form ``bipole pairs''. The orientation of these bipole pairs was used to measure their tilts. We find that the latitudinal profile of tilts does not monotonically increase with latitude as most previous studies assumed, but instead, it shows a clear maximum at about 25--30 degree latitudes. Functional dependence of tilt ($\gamma$) on latitude ($\varphi$) was found to be $\gamma = (0.20\pm 0.08) \sin (2.80 \varphi) + (-0.00\pm 0.06)$. We also find that latitudinal dependence of tilts varies from one solar cycle to another, but larger tilts do not seem to result in stronger solar cycles. Finally, we find the presence of a systematic offset in tilt of active regions (non-zero tilts at the equator), with odd cycles exhibiting negative offset and even cycles showing the positive offset.


title: Validating Quantum-Classical Programming Models with Tensor Network Simulations

abstract: The exploration of hybrid quantum-classical algorithms and programming models on noisy near-term quantum hardware has begun. As hybrid programs scale towards classical intractability, validation and benchmarking are critical to understanding the utility of the hybrid computational model. In this paper, we demonstrate a newly developed quantum circuit simulator based on tensor network theory that enables intermediate-scale verification and validation of hybrid quantum-classical computing frameworks and programming models. We present our tensor-network quantum virtual machine (TNQVM) simulator which stores a multi-qubit wavefunction in a compressed (factorized) form as a matrix product state, thus enabling single-node simulations of larger qubit registers, as compared to brute-force state-vector simulators. Our simulator is designed to be extensible in both the tensor network form and the classical hardware used to run the simulation (multicore, GPU, distributed). The extensibility of the TNQVM simulator with respect to the simulation hardware type is achieved via a pluggable interface for different numerical backends (e.g., ITensor and ExaTENSOR numerical libraries). We demonstrate the utility of our TNQVM quantum circuit simulator through the verification of randomized quantum circuits and the variational quantum eigensolver algorithm, both expressed within the eXtreme-scale ACCelerator (XACC) programming model.


title: Search for charged Higgs bosons decaying via $H^{\pm} \to \tau^{\pm}\nu_{\tau}$ in the $\tau$+jets and $\tau$+lepton final states with 36 fb$^{-1}$ of $pp$ collision data recorded at $\sqrt{s} = 13$ TeV with the ATLAS experiment

abstract: Charged Higgs bosons produced either in top-quark decays or in association with a top-quark, subsequently decaying via $H^{\pm} \to \tau^{\pm}\nu_{\tau}$, are searched for in 36.1 fb$^{-1}$ of proton-proton collision data at $\sqrt{s}=13$ TeV recorded with the ATLAS detector. Depending on whether the top-quark produced together with $H^{\pm}$ decays hadronically or leptonically, the search targets $\tau$+jets and $\tau$+lepton final states, in both cases with a hadronically decaying $\tau$-lepton. No evidence of a charged Higgs boson is found. For the mass range of $m_{H^{\pm}}$ = 90-2000 GeV, upper limits at the 95% confidence level are set on the production cross-section of the charged Higgs boson times the branching fraction $\mathrm{B}(H^{\pm} \to \tau^{\pm}\nu_{\tau})$ in the range 4.2-0.0025 pb. In the mass range 90-160 GeV, assuming the Standard Model cross-section for $t\overline{t}$ production, this corresponds to upper limits between 0.25% and 0.031% for the branching fraction $\mathrm{B}(t\to bH^{\pm}) \times \mathrm{B}(H^{\pm} \to \tau^{\pm}\nu_{\tau})$.


title: Scattering from local deformations of a semitransparent plane

abstract: We study scattering for the couple $(A_{F},A_{0})$ of Schr\"odinger operators in $L^2(\mathbb{R}^3)$ formally defined as $A_0 = -\Delta + \alpha\, \delta_{\pi_0}$ and $A_F = -\Delta + \alpha\, \delta_{\pi_F}$, $\alpha >0$, where $\delta_{\pi_F}$ is the Dirac $\delta$-distribution supported on the deformed plane given by the graph of the compactly supported, Lipschitz continuous function $F:\mathbb{R}^{2}\to\mathbb{R}$ and $\pi_{0}$ is the undeformed plane corresponding to the choice $F\equiv 0$. We provide a Limiting Absorption Principle, show asymptotic completeness of the wave operators and give a representation formula for the corresponding Scattering Matrix $S_{F}(\lambda)$. Moreover we show that, as $F\to 0$, $\|S_{F}(\lambda)-\mathsf 1\|^{2}_{\mathfrak{B}(L^{2}({\mathbb S}^{2}))}={\mathcal O}\!\left(\int_{\mathbb{R}^{2}}d\textbf{x}|F(\textbf{x})|^{\gamma}\right)$, $0<\gamma<1$. We correct a minor mistake in the computation of the scattering matrix, occurring in the published version of this paper (see J. Math. Anal. Appl. 473(1) (2019), pp. 215-257). The mistake was in Section 7, and affected the statement of Corollary 7.2, specifically, Eq. (7.8). Regrettably the formula for $S_F$ in the Corrigendum J. Math. Anal. Appl. 482(1) (2020), 123554, still contains a misprint, the correct expression is the one given here.


title: A perturbative perspective on self-supporting wormholes

abstract: We describe a class of wormholes that generically become traversable after incorporating gravitational back-reaction from linear quantum fields satisfying appropriate (periodic or anti-periodic) boundary conditions around a non-contractible cycle, but with natural boundary conditions at infinity (i.e., without additional boundary interactions). The class includes both asymptotically flat and asymptotically AdS examples. Simple asymptotically AdS$_3$ or asymptotically AdS$_3 \times S^1$ examples with a single periodic scalar field are then studied in detail. When the examples admit a smooth extremal limit, our perturbative analysis indicates the back-reacted wormhole remains traversable at later and later times as this limit is approached. This suggests that a fully non-perturbative treatment would find a self-supporting eternal traversable wormhole. While the general case remains to be analyzed in detail, the likely relation of the above effect to other known instabilities of extreme black holes may make the construction of eternal traversable wormholes more straightforward than previously expected.


title: The unexpected kinematics of multiple populations in NGC6362: do binaries play a role?

abstract: We present a detailed analysis of the kinematic properties of the multiple populations (MPs) in the low-mass Galactic globular cluster NGC6362 based on a sample of about 500 member stars for which radial velocities (RVs), Fe and Na abundances have been homogeneously derived. At distances from the cluster center larger than about 0.5 $r_h$, we find that first (FG - Na-poor) and second generation (SG - Na-rich) stars show hints of different line-of-sight velocity dispersion profiles, with FG stars being dynamically hotter. This is the first time that differences in the velocity dispersion of MPs are detected by using only RVs. While kinematic differences between MPs in globular clusters are usually described in terms of anisotropy differences driven by the different radial distributions, this explanation seems hardly viable for NGC6362, where SG and FG stars are spatially mixed. We demonstrate that the observed difference in the velocity dispersion profiles can be accounted for by the effect of binary stars. In fact, thanks to our multi-epoch RV measurements we find that the binary fraction is significantly larger in the FG sample (f~14%) than in SG population (f<1%), and we show that such a difference can inflate the velocity dispersion of FG with respect to SG by the observed amount in the relevant radial range. Our results nicely match the predictions of state-of-the art $N$-body simulations of the co-evolution of MPs in globular clusters that include the effect of binaries.


title: Relative normalizers of automorphism groups, infravacua and the problem of velocity superselection in QED

abstract: We advance superselection theory of pure states on a $C^*$-algebra $\mathfrak{A}$ outside of the conventional (DHR) setting. First, we canonically define conjugate and second conjugate classes of such states with respect to a given reference state $\omega_{\mathrm{vac}}$ and background $a \in \mathrm{Aut}(\mathfrak{A})$. Next, for some subgroups $R \varsubsetneq S \varsubsetneq G\subset \mathrm{Aut}(\mathfrak{A})$ we study the family $\{\, \omega_{\mathrm{vac}}\circ s\,|\, s\in S \}$ of infrared singular states whose superselection sectors may be disjoint for different $s$. We show that their conjugate and second conjugate classes always coincide provided that $R$ leaves the sector of $\omega_{\mathrm{vac}}$ invariant and $a$ belongs to the relative normalizer $N_G(R,S):=\{\, g\in G\,|\, g\cdot S\cdot g^{-1}\subset R\,\}$. We study the basic properties of this apparently new group theoretic concept and show that the Kraus-Polley-Reents infravacuum automorphisms belong to the relative normalizers of the automorphism group of a suitable CCR algebra. Following up on this observation we show that the problem of velocity superselection in non-relativistic QED disappears at the level of conjugate and second conjugate classes, if they are computed with respect to an infravacuum background. We also demonstrate that for more regular backgrounds such merging effect does not occur.


title: The Generalized Persistent Nerve Theorem

abstract: In this paper a parameterized generalization of a good cover filtration is introduced called an {\epsilon}-good cover, defined as a cover filtration in which the reduced homology groups of the image of the inclusions between the intersections of the cover filtration at two scales {\epsilon} apart are trivial. Assuming that one has an {\epsilon}-good cover filtration of a finite simplicial filtration, we prove a tight bound on the bottleneck distance between the persistence diagrams of the nerve filtration and the simplicial filtration that is linear with respect to {\epsilon} and the homology dimension. This bound is the result of a computable chain map from the nerve filtration to the space filtration's chain complexes at a further scale. Quantitative guarantees for covers that are not good are useful for when one is working a non-convex metric space, or one has more simplicial covers that are not the result of triangulations of metric balls. The Persistent Nerve Lemma is also a corollary of our theorem as good covers are 0-good covers. Lastly, a technique is introduced that symmetrizes the asymmetric interleaving used to prove the bound by shifting the nerve filtration's persistence module, improving the interleaving constant by a factor of 2.


title: Anomaly-free Dark Matter with Harmless Direct Detection Constraints

abstract: Dark matter (DM) interacting with the SM fields via a $Z'-$boson ('$Z'$-portal') remains one of the most attractive WIMP scenarios, both from the theoretical and the phenomenological points of view. In order to avoid the strong constraints from direct detection and dilepton production, it is highly convenient that the $Z'$ has axial coupling to DM and leptophobic couplings to the SM particles, respectively. In this paper we first explore the conditions for an anomaly-free leptophobic $Z'$, which (if flavour-blind) has to coincide with that from gauged baryon-number in the SM sector. Then there are very few possibilities where, besides leptophobia, the coupling to DM is axial; namely four (quite similar) cases if the content of the dark sector is minimal. The resulting scenario is very predictive, and perfectly viable from the present constraints from DM detection, EW observables and LHC data (di-lepton, di-jet and mono-jet production). We analyze all these constraints, obtaining the allowed areas in the parameter space, which generically prefer $m_{Z'}\lesssim 500$ GeV, apart from resonant regions. The best chances to test these viable areas come from future LHC measurements.


title: Coexistence of chiral symmetry and pseudospin symmetry in one nucleus: triplet bands in $^{105}$Ag

abstract: The nearly degenerate triplet bands with the $\pi g_{9/2}^{-1}\otimes \nu h_{11/2} (g_{7/2},d_{5/2})$ configuration in $^{105}$Ag are studied via the relativistic mean-field (RMF) theory and the multiparticle plus rotor model (MPRM), which indicates that these bands are associated with chiral symmetry and pseudospin symmetry. The configuration-fixed constrained triaxial RMF calculations exhibit the pseudospin symmetry in single particle spectra and the triaxial shape coexistence. The experimental excitation energies and the electromagnetic transition probabilities for the triplet bands are reproduced very well by the MPRM calculaitons. The chiral doublet bands show the same phase in the $B(M1)/B(E2)$ staggering, while the pseudospin doublet bands hold the opposite phase. The coexistence of chiral symmetry and pseudospin symmetry in one nucleus and its corresponding characteristic of the rotational structure are discussed for the first time.


title: Ultrahigh-precision measurement of the $n=2$ triplet P fine structure of atomic helium using frequency-offset separated oscillatory fields

abstract: For decades, improved theory and experiment of the $n=2$ $^3$P fine structure of helium have allowed for increasingly-precise tests of quantum electrodynamics, determinations of the fine-structure constant $\alpha$, and limitations on possible beyond-the-Standard-Model physics. Here we use the new frequency-offset separated-oscillatory-fields (FOSOF) technique to measure the $2^3$P$_2\!\!\to\!2^3$P$_1$ interval. Our result of $2\,291\,176\,590(25)$~Hz represents a major step forward in precision for helium fine-structure measurements.


title: Optimal Bounds on the VC-dimension

abstract: The VC-dimension of a set system is a way to capture its complexity and has been a key parameter studied extensively in machine learning and geometry communities. In this paper, we resolve two longstanding open problems on bounding the VC-dimension of two fundamental set systems: $k$-fold unions/intersections of half-spaces, and the simplices set system. Among other implications, it settles an open question in machine learning that was first studied in the 1989 foundational paper of Blumer, Ehrenfeucht, Haussler and Warmuth as well as by Eisenstat and Angluin and Johnson.


title: Asymptotic results under multiway clustering

abstract: If multiway cluster-robust standard errors are used routinely in applied economics, surprisingly few theoretical results justify this practice. This paper aims to fill this gap. We first prove, under nearly the same conditions as with i.i.d. data, the weak convergence of empirical processes under multiway clustering. This result implies central limit theorems for sample averages but is also key for showing the asymptotic normality of nonlinear estimators such as GMM estimators. We then establish consistency of various asymptotic variance estimators, including that of Cameron et al. (2011) but also a new estimator that is positive by construction. Next, we show the general consistency, for linear and nonlinear estimators, of the pigeonhole bootstrap, a resampling scheme adapted to multiway clustering. Monte Carlo simulations suggest that inference based on our two preferred methods may be accurate even with very few clusters, and significantly improve upon inference based on Cameron et al. (2011).


title: Thermally induced metallic phase in a gapped quantum spin liquid - a Monte Carlo study of the Kitaev model with parity projection

abstract: Thermalisation is a probabilistic process. As such, it is generally expected that when we increase the temperature of a system its classical behaviour dominates its quantum coherences. By employing the Gibbs state of a translationally invariant quantum spin liquid - Kitaev's honeycomb lattice model - we demonstrate that an insulating phase at $T=0$ becomes metallic purely by increasing temperature. In particular, we compute the finite temperature distribution of energies and show that it diverges logarithmically, as we move to small energies. The corresponding wave functions become critical alike as at Anderson transitions. These characteristics are obtained within a new exact Monte Carlo method that simulates the finite temperature behaviour of the Kitaev model. In particular, we take into account the projection onto the physical parity sectors, required for identifying the topological degeneracy of the model. Our work opens the possibility to detect thermal metal behaviour in spin liquid experiments.


title: Inhomogeneous Gaussian Free Field inside the interacting arctic curve

abstract: The six-vertex model with domain-wall boundary conditions is one representative of a class of two-dimensional lattice statistical mechanics models that exhibit a phase separation known as the arctic curve phenomenon. In the thermodynamic limit, the degrees of freedom are completely frozen in a region near the boundary, while they are critically fluctuating in a central region. The arctic curve is the phase boundary that separates those two regions. Critical fluctuations inside the arctic curve have been studied extensively, both in physics and in mathematics, in free models (i.e., models that map to free fermions, or equivalently to determinantal point processes). Here we study those critical fluctuations in the interacting (i.e., not free, not determinantal) six-vertex model, and provide evidence for the following two claims: (i) the critical fluctuations are given by a Gaussian Free Field (GFF), as in the free case, but (ii) contrarily to the free case, the GFF is inhomogeneous, meaning that its coupling constant $K$ becomes position-dependent, $K \rightarrow K({\rm x})$. The evidence is mainly based on the numerical solution of appropriate Bethe ansatz equations with an imaginary extensive twist, and on transfer matrix computations, but the second claim is also supported by the analytic calculation of $K$ and its first two derivatives in selected points. Contrarily to the usual GFF, this inhomogeneous GFF is not defined in terms of the Green's function of the Laplacian $\Delta = \nabla \cdot \nabla$ inside the critical domain, but instead, of the Green's function of a generalized Laplacian $\Delta = \nabla \cdot \frac{1}{K} \nabla$ parametrized by the function $K$. Surprisingly, we also find that there is a change of regime when $\Delta \leq -1/2$, with $K$ becoming singular at one point.


title: Eyeriss v2: A Flexible Accelerator for Emerging Deep Neural Networks on Mobile Devices

abstract: A recent trend in DNN development is to extend the reach of deep learning applications to platforms that are more resource and energy constrained, e.g., mobile devices. These endeavors aim to reduce the DNN model size and improve the hardware processing efficiency, and have resulted in DNNs that are much more compact in their structures and/or have high data sparsity. These compact or sparse models are different from the traditional large ones in that there is much more variation in their layer shapes and sizes, and often require specialized hardware to exploit sparsity for performance improvement. Thus, many DNN accelerators designed for large DNNs do not perform well on these models. In this work, we present Eyeriss v2, a DNN accelerator architecture designed for running compact and sparse DNNs. To deal with the widely varying layer shapes and sizes, it introduces a highly flexible on-chip network, called hierarchical mesh, that can adapt to the different amounts of data reuse and bandwidth requirements of different data types, which improves the utilization of the computation resources. Furthermore, Eyeriss v2 can process sparse data directly in the compressed domain for both weights and activations, and therefore is able to improve both processing speed and energy efficiency with sparse models. Overall, with sparse MobileNet, Eyeriss v2 in a 65nm CMOS process achieves a throughput of 1470.6 inferences/sec and 2560.3 inferences/J at a batch size of 1, which is 12.6x faster and 2.5x more energy efficient than the original Eyeriss running MobileNet. We also present an analysis methodology called Eyexam that provides a systematic way of understanding the performance limits for DNN processors as a function of specific characteristics of the DNN model and accelerator design; it applies these characteristics as sequential steps to increasingly tighten the bound on the performance limits.


title: Cocompact Lattices in Locally Pro-$p$-complete Rank 2 Kac-Moody Groups

abstract: We initiate an investigation of lattices in a new class of locally compact groups, so called locally pro-$p$-complete Kac-Moody groups. We discover that in rank 2 their cocompact lattices are particularly well-behaved: under mild assumptions, a cocompact lattice in this completion contains no elements of order $p$. This statement is still an open question for the Caprace-R\'emy-Ronan completion. Using this, modulo results of Capdeboscq and Thomas, we classify edge-transitive cocompact lattices and describe a cocompact lattice of minimal covolume.


title: Perceptual Video Super Resolution with Enhanced Temporal Consistency

abstract: With the advent of perceptual loss functions, new possibilities in super-resolution have emerged, and we currently have models that successfully generate near-photorealistic high-resolution images from their low-resolution observations. Up to now, however, such approaches have been exclusively limited to single image super-resolution. The application of perceptual loss functions on video processing still entails several challenges, mostly related to the lack of temporal consistency of the generated images, i.e., flickering artifacts. In this work, we present a novel adversarial recurrent network for video upscaling that is able to produce realistic textures in a temporally consistent way. The proposed architecture naturally leverages information from previous frames due to its recurrent architecture, i.e. the input to the generator is composed of the low-resolution image and, additionally, the warped output of the network at the previous step. Together with a video discriminator, we also propose additional loss functions to further reinforce temporal consistency in the generated sequences. The experimental validation of our algorithm shows the effectiveness of our approach which obtains images with high perceptual quality and improved temporal consistency.


title: Fatou's Lemma for Weakly Converging Measures under the Uniform Integrability Condition

abstract: This note describes Fatou's lemma and Lebesgue's dominated convergence theorem for a sequence of measures converging weakly to a finite measure and for a sequence of functions whose negative parts are uniformly integrable with respect to these measures. The note also provides new formulations of uniform Fatou's lemma, uniform Lebesgue convergence theorem, the Dunford-Pettis theorem, and the fundamental theorem for Young measures based on the equivalence of uniform integrability and the apparently weaker property of asymptotic uniform integrability for sequences of functions and finite measures.


title: On discrete-time semi-Markov processes

abstract: In the last years, many authors studied a class of continuous time semi-Markov processes obtained by time-changing Markov processes by hitting times of independent subordinators. Such processes are governed by integro-differential convolution equations of generalized fractional type. The aim of this paper is to develop the discrete-time version of such a theory. We show that a class of discrete-time semi-Markov chains can be seen as time-changed Markov chains and we obtain governing convolution type equations. Such processes converge weakly to those in continuous time under suitable scaling limits.


title: A high dust emissivity index beta for a CO-faint galaxy in a filamentary Lyman-alpha nebula at z=3.1

abstract: We present CO J=4-3 line and 3 mm dust continuum observations of a 100 kpc-scale filamentary Ly{\alpha} nebula (SSA22 LAB18) at z=3.1 using the Atacama Large Millimeter/submillimeter Array (ALMA). We detected the CO J=4-3 line at a systemic z(CO)=3.093 {\pm} 0.001 at 11 {\sigma} from one of the ALMA continuum sources associated with the Ly{\alpha} filament. We estimated the CO J=4-3 luminosity of L'CO(4-3)=(2.3\pm0.2)x10^9 K km s^{-1} pc^2 for this CO source, which is one order of magnitude smaller than those of typical z>1 dusty star-forming galaxies (DSFGs) of similar far-infrared luminosity L(IR)~10^{12} Lsun. We derived a molecular gas mass of Mgas=(4.4^{+0.9}_{-0.6})x10^9 Msun and a star-formation rate of SFR=270\pm160 Msun yr^{-1}. We also estimated a gas depletion time of {\tau}(dep)=17\pm10 Myr, being shorter than those of typical DSFGs. It is suggested that this source is in a transition phase from DSFG to a gas-poor, early-type galaxy. From ALMA to Herschel multi-band dust continuum observations, we measured a dust emissivity index {\beta}=2.3\pm0.2, which is similar to those of local gas-poor, early-type galaxies. Such a high {\beta} can be reproduced by specific chemical compositions for interstellar dust at the submillimeter wavelengths from recent laboratory experiments. ALMA CO and multi-band dust continuum observations can constrain the evolutionary stage of high-redshift galaxies through {\tau}(dep) and {\beta}, and thus we can investigate dust chemical compositions even in the early Universe.


title: Decomposing an information stream into the principal components

abstract: We propose an approach to decomposing a thematic information stream into principal components. Each principal component is related to a narrow topic extracted from the information stream. The essence of the approach arises from analogy with the Fourier transform. We examine methods for analyzing the principal components and propose using multifractal analysis for identifying similar topics. The decomposition technique is applied to the information stream dedicated to Brexit. We provide a comparison between the principal components obtained by applying the decomposition to Brexit stream and the related topics extracted by Google Trends.


title: Power-law decay in the nonadiabatic photodissociation dynamics of alkali halides due to quantum wavepacket interference

abstract: The nonadiabatic photodissociation dynamics of alkali halide molecules excited by a femtosecond laser pulse in the gas phase are investigated theoretically, and it is shown that the population of the photoexcited molecules exhibits power-law decay with exponent -1/2, in contrast to exponential decay, which is often assumed in femtosecond spectroscopy and unimolecular reaction theory. To elucidate the mechanism of the power-law decay, a diagrammatic method that visualizes the structure of the nonadiabatic reaction dynamics as a pattern of occurrence of dynamical events, such as wavepacket bifurcation, turning, and dissociation, is developed. Using this diagrammatic method, an analytical formula for the power-law decay is derived, and the theoretical decay curve is compared with the corresponding numerical decay curve computed by a wavepacket dynamics simulation in the case of lithium fluoride. This study reveals that the cause of the power-law decay is the quantum interference arising from the wavepacket bifurcation and merging due to nonadiabatic transitions.


title: A $C^m$ Whitney Extension Theorem for Horizontal Curves in the Heisenberg Group

abstract: We characterize those mappings from a compact subset of $\mathbb{R}$ into the Heisenberg group $\mathbb{H}^{n}$ which can be extended to a $C^{m}$ horizontal curve in $\mathbb{H}^{n}$. The characterization combines the classical Whitney conditions with an estimate comparing changes in the vertical coordinate with those predicted by the Taylor series of the horizontal coordinates.


title: About BIRDS project (Bioinformatics and Information Retrieval Data Structures Analysis and Design)

abstract: BIRDS stands for "Bioinformatics and Information Retrieval Data Structures analysis and design" and is a 4-year project (2016--2019) that has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 690941. The overall goal of BIRDS is to establish a long term international network involving leading researchers in the development of efficient data structures in the fields of Bioinformatics and Information Retrieval, to strengthen the partnership through the exchange of knowledge and expertise, and to develop integrated approaches to improve current approaches in both fields. The research will address challenges in storing, processing, indexing, searching and navigating genome-scale data by designing new algorithms and data structures for sequence analysis, networks representation or compressing and indexing repetitive data. BIRDS project is carried out by 7 research institutions from Australia (University of Melbourne), Chile (University of Chile and University of Concepci\'on), Finland (University of Helsinki), Japan (Kyushu University), Portugal (Instituto de Engenharia de Sistemas e Computadores, Investiga\c{c}\~ao e Desenvolvimento em Lisboa, INESC-ID), and Spain (University of A Coru\~na), and a Spanish SME (Enxenio S.L.). It is coordinated by the University of A Coru\~na (Spain).


title: Sterile Neutrino Dark Matter

abstract: We review sterile neutrinos as possible Dark Matter candidates. After a short summary on the role of neutrinos in cosmology and particle physics, we give a comprehensive overview of the current status of the research on sterile neutrino Dark Matter. First we discuss the motivation and limits obtained through astrophysical observations. Second, we review different mechanisms of how sterile neutrino Dark Matter could have been produced in the early universe. Finally, we outline a selection of future laboratory searches for keV-scale sterile neutrinos, highlighting their experimental challenges and discovery potential.


title: Large scale evaluation of local image feature detectors on homography datasets

abstract: We present a large scale benchmark for the evaluation of local feature detectors. Our key innovation is the introduction of a new evaluation protocol which extends and improves the standard detection repeatability measure. The new protocol is better for assessment on a large number of images and reduces the dependency of the results on unwanted distractors such as the number of detected features and the feature magnification factor. Additionally, our protocol provides a comprehensive assessment of the expected performance of detectors under several practical scenarios. Using images from the recently-introduced HPatches dataset, we evaluate a range of state-of-the-art local feature detectors on two main tasks: viewpoint and illumination invariant detection. Contrary to previous detector evaluations, our study contains an order of magnitude more image sequences, resulting in a quantitative evaluation significantly more robust to over-fitting. We also show that traditional detectors are still very competitive when compared to recent deep-learning alternatives.


title: Spectre Returns! Speculation Attacks using the Return Stack Buffer

abstract: The recent Spectre attacks exploit speculative execution, a pervasively used feature of modern microprocessors, to allow the exfiltration of sensitive data across protection boundaries. In this paper, we introduce a new Spectre-class attack that we call SpectreRSB. In particular, rather than exploiting the branch predictor unit, SpectreRSB exploits the return stack buffer (RSB), a common predictor structure in modern CPUs used to predict return addresses. We show that both local attacks (within the same process such as Spectre 1) and attacks on SGX are possible by constructing proof of concept attacks. We also analyze additional types of the attack on the kernel or across address spaces and show that under some practical and widely used conditions they are possible. Importantly, none of the known defenses including Retpoline and Intel's microcode patches stop all SpectreRSB attacks. We believe that future system developers should be aware of this vulnerability and consider it in developing defenses against speculation attacks. In particular, on Core-i7 Skylake and newer processors (but not on Intel's Xeon processor line), a patch called RSB refilling is used to address a vulnerability when the RSB underfills; this defense interferes with SpectreRSB's ability to launch attacks that switch into the kernel. We recommend that this patch should be used on all machines to protect against SpectreRSB.


title: Wormholes with nonexotic matter in Born-Infeld gravity

abstract: We show that, in contrast to general relativity, in Eddington-inspired Born-Infeld gravity (EiBI), a violation of the null convergence condition does not necessarily lead to a violation of the null energy condition, by establishing a relationship between them. This serves as a motivation for finding wormhole solutions which can be supported by nonexotic matter in this gravity theory. We then obtain exact solutions of the field equations in EiBI gravity coupled to arbitrary nonlinear electrodynamics and anisotropic fluids. Depending on the signs and values of different parameters, the general solutions can represent both black holes and wormholes. In this work, we analyze the wormhole solutions. These wormholes are supported by nonexotic matter, i.e., matter satisfying all the energy conditions. As special cases of our general solutions, we work out several specific examples by considering Maxwell, power-law, Born-Infeld electrodynamics models and a particular form of an anisotropic fluid.


title: VLBI radio structure and radio brightening of the high-energy neutrino emitting blazar TXS 0506+056

abstract: We report on the radio brightening of the blazar TXS 0506+056 (at $z=0.3365$), supporting its identification as source of the high-energy (HE) neutrino IC-170922A by the IceCube Neutrino Observatory. MOJAVE/VLBA data indicate its radio brightness abruptly increasing since January 2016. When decomposing the total radio flux density curve (January 2008 - July 2018) provided by the Owens Valley Radio Observatory into eight Gaussian flares, the peak time of the largest flare overlaps with the HE neutrino detection, while the total flux density exhibits a threefold increase since January 2016. We reveal the radio structure of TXS 0506+056 by analysing VLBI data from the MOJAVE/VLBA Survey. The jet-components maintain quasi-stationary core separations. The structure of the ridge line is indicative of a jet curve at the region $0.5\div2$ mas ($2.5\div9.9$ pc projected) from the VLBI core. The brightness temperature of the core and the pc-scale radio morphology support a helical jet structure at small inclination angle ($<8.2^{\circ}$). The jet pointing towards the Earth is key property facilitating multimessenger observations (HE neutrinos, $\gamma$- and radio flares). The radio brightening preceding the detection of a HE neutrino is similar to the one reported for the blazar PKS 0723--008 and IceCube event ID5.


title: Large insulating nitride islands on Cu3Au as a template for atomic spin structures

abstract: We present controlled growth of c(2$\times$2)N islands on the (100) surface of Cu$_3$Au, which can be used as an insulating surface template for manipulation of magnetic adatoms. Compared to the commonly used Cu(100)/c(2$\times$2)N surface, where island sizes do not exceed several nanometers due to strain limitation, the current system provides better lattice matching between metal and adsorption layer, allowing larger unstrained islands to be formed. We show that we can achieve island sizes ranging from tens to hundreds of nanometers, increasing the potential building area by a factor 10$^3$. Initial manipulation attempts show no observable difference in adatom behaviour, either in manipulation or spectroscopy.


title: The Maxwell's demon of star clusters

abstract: Stellar binaries are the most important energy reservoir of star clusters. Via three-body encounters, binaries can reverse the core collapse and prevent a star cluster from reaching equipartition. Moreover, binaries are essential for the formation of stellar exotica, such as blue straggler stars, intermediate-mass black holes and massive ($\gtrsim{}30$ M$_\odot$) black hole binaries.


title: $(k,\lambda)$-Anti-Powers and Other Patterns in Words

abstract: Given a word, we are interested in the structure of its contiguous subwords split into $k$ blocks of equal length, especially in the homogeneous and anti-homogeneous cases. We introduce the notion of $(\mu_1,\dots,\mu_k)$-block-patterns, words of the form $w = w_1\cdots w_k$ where, when $\{w_1,\dots,w_k\}$ is partitioned via equality, there are $\mu_s$ sets of size $s$ for each $s \in \{1,\dots,k\}$. This is a generalization of the well-studied $k$-powers and the $k$-anti-powers recently introduced by Fici, Restivo, Silva, and Zamboni, as well as a refinement of the $(k,\lambda)$-anti-powers introduced by Defant. We generalize the anti-Ramsey-type results of Fici et al. to $(\mu_1,\dots,\mu_k)$-block-patterns and improve their bounds on $N_\alpha(k,k)$, the minimum length such that every word of length $N_\alpha(k,k)$ on an alphabet of size $\alpha$ contains a $k$-power or $k$-anti-power. We also generalize their results on infinite words avoiding $k$-anti-powers to the case of $(k,\lambda)$-anti-powers. We provide a few results on the relation between $\alpha$ and $N_\alpha(k,k)$ and find the expected number of $(\mu_1,\dots,\mu_k)$-block-patterns in a word of length $n$.


title: Future Semantic Segmentation with Convolutional LSTM

abstract: We consider the problem of predicting semantic segmentation of future frames in a video. Given several observed frames in a video, our goal is to predict the semantic segmentation map of future frames that are not yet observed. A reliable solution to this problem is useful in many applications that require real-time decision making, such as autonomous driving. We propose a novel model that uses convolutional LSTM (ConvLSTM) to encode the spatiotemporal information of observed frames for future prediction. We also extend our model to use bidirectional ConvLSTM to capture temporal information in both directions. Our proposed approach outperforms other state-of-the-art methods on the benchmark dataset.


title: Pre-maximum and maximum of Novae: The spectroscopic observations of Nova ASASSN-17hx

abstract: The coverage of the pre-maximum stage of novae is sparse, with the exception of a few slow novae where the pre-maximum duration is of the order of some weeks. This paper discusses the main features of novae during the pre-maximum and the maximum stages and reports the preliminary results of an investigation of ASASSN-17hx, a peculiar nova that showed a long pre-maximum and secondary brightenings.


title: Optimize Deep Convolutional Neural Network with Ternarized Weights and High Accuracy

abstract: Deep convolution neural network has achieved great success in many artificial intelligence applications. However, its enormous model size and massive computation cost have become the main obstacle for deployment of such powerful algorithm in the low power and resource-limited embedded systems. As the countermeasure to this problem, in this work, we propose statistical weight scaling and residual expansion methods to reduce the bit-width of the whole network weight parameters to ternary values (i.e. -1, 0, +1), with the objectives to greatly reduce model size, computation cost and accuracy degradation caused by the model compression. With about 16x model compression rate, our ternarized ResNet-32/44/56 could outperform full-precision counterparts by 0.12%, 0.24% and 0.18% on CIFAR- 10 dataset. We also test our ternarization method with AlexNet and ResNet-18 on ImageNet dataset, which both achieve the best top-1 accuracy compared to recent similar works, with the same 16x compression rate. If further incorporating our residual expansion method, compared to the full-precision counterpart, our ternarized ResNet-18 even improves the top-5 accuracy by 0.61% and merely degrades the top-1 accuracy only by 0.42% for the ImageNet dataset, with 8x model compression rate. It outperforms the recent ABC-Net by 1.03% in top-1 accuracy and 1.78% in top-5 accuracy, with around 1.25x higher compression rate and more than 6x computation reduction due to the weight sparsity.


title: Linear orders in NIP structures

abstract: We show that every unstable NIP theory admits a V-definable linear quasi-order, over a finite set of parameters. In particular, if the theory is omega-categorical, then it interprets an infinite linear order. This partially answers a longstanding open question.


title: On Bulk Viscosity at Weak and Strong 't Hooft Couplings

abstract: Bulk viscosity is an important transport coefficient that exists in the hydrodynamical limit only when the underlying theory is non-conformal. One example being thermal QCD with large number of colors. We study bulk viscosity in such a theory at low energies and at weak and strong 't Hooft couplings when the temperature is above the deconfinement temperature. The weak coupling analysis is based on Boltzmann equation from kinetic theory whereas the strong coupling analysis uses non-conformal holographic techniques from string and M-theories. Using these, many properties associated with bulk viscosity may be explicitly derived. This is a shortened companion paper that summarizes some of the results of our longer paper arXiv:1807.04713.


title: Looking to the Blue Sky with Colored Patterns

abstract: This work presents a simple alternative technique to observe the polarization of the skylight on Earth. Using a birefringent material and a polarizer to look at the polarized light from the blue sky, it is possible to see a colored pattern that is associated to the birefringence of the material and the polarized light. Three different ways to polarize the light are also discussed in the context of the proposed experiment. Keywords: Blue sky, Rayleigh scattering, birefringence, polarization, education.


title: The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications

abstract: In recent years, it has come to attention that governments have been doing mass surveillance of personal communications without the consent of the citizens. As a consequence of these revelations, developers have begun releasing new protocols for end-to-end encrypted conversations, extending and making popular the old Off-the-Record protocol. Several new implementations of such end-to-end encrypted messaging protocols have appeared, and commonly used chat applications have been updated with these implementations as well. In this survey, we compare the existing implementations, where most of them implement one of the recent and popular protocols called Signal. We conduct a series of experiments on these implementations to identify which types of security and usability properties each application provides. The results of the experiments demonstrate that the applications have variations of usability and security properties, and none of them are infallible. Finally, the paper gives proposals for improving each application w.r.t. security, privacy, and usability.


title: Magnetic structure of the promising candidate for three-dimensional artificial spin ice: small angle neutron diffraction and micromagnetic simulations

abstract: Geometrical frustration arised in spin ices leads to fascinating emergent physical properties. Nowadays there is a wide diversity of the artificial structures, mimicking spin ice at the nanoscale and demonstrating some new effects. Most of the nanoscaled spin ices are two dimensional. Ferromagnetic inverse opal-like structures (IOLS) are among inspiring examples of the three-dimensional system exhibiting spin ice behaviour. However detailed examination of its properties is not straightforward. Experimental technique which is able to unambiguously recover magnetization distribution in 3D mesoscaled structures is lacking. In this work we used an approach based on complementary exploiting of small-angle neutron diffraction technique and micromagnetic simulations. External magnetic field was applied along three main directions of the IOLS mesostructure. Comparison of the calculated and measured data allowed us to determine IOLS magnetic state. The results are in good agreement with the spin ice model. Moreover influence of the demagnetizing field and vortex states on the magnetizing process were revealed. Additionally, we speculate that this approach can be also applied to other 3D magnetic mesostructures.


title: Topology in full QCD at high temperature: a multicanonical approach

abstract: We investigate the topological properties of $N_f = 2+1$ QCD with physical quark masses, at temperatures around 500 MeV. With the aim of obtaining a reliable sampling of topological modes in a regime where the fluctuations of the topological charge $Q$ are very rare, we adopt a multicanonical approach, adding a bias potential to the action which enhances the probability of suppressed topological sectors. This method permits to gain up to three orders of magnitude in computational power in the explored temperature regime. Results at different lattice spacings and physical spatial volumes reveal no significant finite size effects and the presence, instead, of large finite cut-off effects, with the topological susceptibility which decreases by 3-4 orders of magnitude while moving from $a \simeq 0.06$ fm towards the continuum limit. The continuum extrapolation is in agreeement with previous lattice determinations with smaller uncertainties but obtained based on ansatzes justified by several theoretical assumptions. The parameter $b_2$, related to the fourth order coefficient in the Taylor expansion of the free energy density $f(\theta)$, has instead a smooth continuum extrapolation which is in agreement with the dilute instanton gas approximation (DIGA); moreover, a direct measurement of the relative weights of the different topological sectors gives an even stronger support to the validity of DIGA.


title: New Young Stars and Brown Dwarfs in the Upper Scorpius Association

abstract: To improve the census of the Upper Sco association (~11 Myr, ~145 pc), we have identified candidate members using parallaxes, proper motions, and color-magnitude diagrams from several wide-field imaging surveys and have obtained optical and infrared spectra of several hundred candidates to measure their spectral types and assess their membership. We also have performed spectroscopy on a smaller sample of previously known or suspected members to refine their spectral types and evidence of membership. We have classified 530 targets as members of Upper Sco, 377 of which lack previous spectroscopy. Our new compilation of all known members of the association contains 1631 objects. Although the census of Upper Sco has expanded significantly over the last decade, there remain hundreds of candidates that lack spectroscopy. The precise parallaxes and proper motions from the second data release of Gaia should extend down to substellar masses in Upper Sco, which will greatly facilitate the identification of the undiscovered members.


title: Strength, stability and three dimensional structure of mean motion resonances in the Solar System

abstract: In the framework of the circular restricted three body problem we show that the numerically computed strength SR(e,i,w) is a good indicator of the strength and width of the mean-motion resonances in the full space (e,i,w). We present a survey of strengths in the space (e,i) for typical interior and exterior resonances. The resonance strength is highly dependent on (e,i,w) except for exterior resonances of the type 1:k for which the dependence with (i,w) is softer. Such resonances are thus strong even for retrograde orbits. All other resonances are weaker at very-high eccentricities for w ~ 90 or 270 and 60 < i < 120. We explore the resonance structure in the space (a,i) by means of dynamical maps and we find structures similar to those of space (a,e).