title: Tubulation pattern of membrane vesicles coated with bio filaments

abstract: Narrow membrane tubes are commonly pulled out from the surface of phospholipid vesicles using forces applied either through laser or magnetic tweezers or through the action of processive motor proteins. Recent examples have emerged where such tubes spontaneously grow from vesicles coated with bioactive cytoskeletal filaments (e.g. FtsZ, microtubule) in the presence GTP. We show how a soft vesicle deforms due to the interplay between its topology, local curvature and the forces due to the active filaments. We present results from Dynamically Triangulated Monte Carlo simulations of a spherical continuum membrane coated with a nematic field and show how the intrinsic curvature of the filaments and their ordering interactions drive membrane tubulation. We predict interesting patterns of nematic defects, on curved 2D membrane surfaces, which promote tube formation. Implication of our model for more dynamic cases where vesicles coated with an active mixture of microtubule and myosin show shape oscillation, are also discussed. All these cases point to a common theme that defect locations on 2D membrane surfaces are hot spots of membrane deformation activity.


title: Nonlocal orbital magnetism of 3d adatoms deposited on the Pt(111) surface

abstract: The orbital magnetic moment is still surprisingly not well understood, in contrast to the spin part. Its description in finite systems, such as isolated atoms and molecules, is not problematic, but it was only recently that a rigorous picture was provided for extended systems. Here we focus on an intermediate class of systems: magnetic adatoms placed on a non-magnetic surface. We show that the essential quantity is the ground-state charge current density, in the presence of spin-orbit coupling, and set out its first-principles description. This is illustrated by studying the magnetism of the surface Pt electrons, induced by the presence of Cr, Mn, Fe, Co and Ni adatoms. A physically appealing partition of the charge current is introduced. This reveals that there is an important nonlocal contribution to the orbital moments of the Pt atoms, extending three times as far from each magnetic adatom as the induced spin and local orbital moments. We find that it is as sizable as the latter, and attribute its origin to a spin-orbital susceptibility of the Pt surface, different from the one responsible for the formation of the local orbital moments.


title: Revisiting the Magnetic Structure and Charge Ordering in La$_{1/3}$Sr$_{2/3}$FeO$_3$ by Neutron Powder Diffraction and M\"ossbauer Spectroscopy

abstract: The magnetic ordering of La$_{1/3}$Sr$_{2/3}$FeO$_3$ perovskite has been studied by neutron powder diffraction and $^{57}$Fe M\"ossbauer spectroscopy down to 2 K. From symmetry analysis, a chiral helical model and a collinear model are proposed to describe the magnetic structure. Both are commensurate, with propagation vector k = (0,0,1) in R-3c space group. In the former model, the magnetic moments of Fe adopt the magnetic space group P3$_{2}$21 and have helical and antiferromagnetic ordering propagating along the c axis. The model allows only one Fe site, with a magnetic moment of 3.46(2) $\mu_{\rm{B}}$ at 2 K. In the latter model, the magnetic moments of iron ions adopt the magnetic space group C2/c or C2'/c' and are aligned collinearly. The model allows the presence of two inequivalent Fe sites with magnetic moments of amplitude 3.26(3) $\mu_{\rm{B}}$ and 3.67(2) $\mu_{\rm{B}}$, respectively. The neutron diffraction pattern is equally well fitted by either model. The M\"ossbauer spectroscopy study suggests a single charge state Fe$^{3.66+}$ above the magnetic transition and a charge disproportionation into Fe$^{(3.66-\zeta)+}$ and Fe$^{(3.66+2\zeta)+}$ below the magnetic transition. The compatibility of the magnetic structure models with the M\"ossbauer spectroscopy results is discussed.


title: An investigation of the classifiers to detect android malicious apps

abstract: Android devices are growing exponentially and are connected through the internet accessing billion of online websites. The popularity of these devices encourages malware developer to penetrate the market with malicious apps to annoy and disrupt the victim. Although, for the detection of malicious apps different approaches are discussed. However, proposed approaches are not suffice to detect the advanced malware to limit/prevent the damages. In this, very few approaches are based on opcode occurrence to classify the malicious apps. Therefore, this paper investigates the five classifiers using opcodes occurrence as the prominent features for the detection of malicious apps. For the analysis, we use WEKA tool and found that FT detection accuracy (79.27%) is best among the investigated classifiers. However, true positives rate i.e. malware detection rate is highest (99.91%) by RF and fluctuate least with the different number of prominent features compared to other studied classifiers. The analysis shows that overall accuracy is majorly affected by the false positives of the classifier.


title: More Specificity, More Attention to Social Context: Reframing How We Address "Bad Actors"

abstract: To address "bad actors" online, I argue for more specific definitions of acceptable and unacceptable behaviors and explicit attention to the social structures in which behaviors occur.


title: Accelerate iterated filtering

abstract: In simulation-based inferences for partially observed Markov process models (POMP), the by-product of the Monte Carlo filtering is an approximation of the log likelihood function. Recently, iterated filtering [14, 13] has originally been introduced and it has been shown that the gradient of the log likelihood can also be approximated. Consequently, different stochastic optimization algorithm can be applied to estimate the parameters of the underlying models. As accelerated gradient is an efficient approach in the optimization literature, we show that we can accelerate iterated filtering in the same manner and inherit that high convergence rate while relaxing the restricted conditions of unbiased gradient approximation. We show that this novel algorithm can be applied to both convex and non-convex log likelihood functions. In addition, this approach has substantially outperformed most of other previous approaches in a toy example and in a challenging scientific problem of modeling infectious diseases.


title: Visualizing the Flow of Discourse with a Concept Ontology

abstract: Understanding and visualizing human discourse has long being a challenging task. Although recent work on argument mining have shown success in classifying the role of various sentences, the task of recognizing concepts and understanding the ways in which they are discussed remains challenging. Given an email thread or a transcript of a group discussion, our task is to extract the relevant concepts and understand how they are referenced and re-referenced throughout the discussion. In the present work, we present a preliminary approach for extracting and visualizing group discourse by adapting Wikipedia's category hierarchy to be an external concept ontology. From a user study, we found that our method achieved better results than 4 strong alternative approaches, and we illustrate our visualization method based on the extracted discourse flows.


title: Scalar dark matter search from the extended $\nu$THDM

abstract: We consider a neutrino Two Higgs Doublet Model ($\nu$THDM) in which neutrinos obtain {\it naturally} small Dirac masses from the soft symmetry breaking of a global $U(1)_X$ symmetry. We extended the model so the soft term is generated by the spontaneous breaking of $U(1)_X$ by a new scalar field. The symmetry breaking pattern can also stabilize a scalar dark matter candidate. After constructing the model, we study the phenomenology of the dark matter: relic density, direct and indirect detection.


title: Mastery Learning in Practice: A (Mostly) Descriptive Analysis of Log Data from the Cognitive Tutor Algebra I Effectiveness Trial

abstract: Mastery learning, the notion that students learn best if they move on from studying a topic only after having demonstrated mastery, sits at the foundation of the theory of intelligent tutoring. This paper is an exploration of how mastery learning plays out in practice, based on log data from a large randomized effectiveness trial of the Cognitive Tutor Algebra I (CTAI) curriculum. We find that students frequently progressed from CTAI sections they were working on without demonstrating mastery and worked units out of order. Moreover, these behaviors were substantially more common in the second year of the study, in which the CTAI effect was significantly larger. We explore the various ways students departed from the official CTAI curriculum, focusing on heterogeneity between years, states, schools, and students. The paper concludes with an observational study of the effect on post-test scores of teachers reassigning students out of their current sections before they mastered the requisite skills, finding that reassignment appears to lowers posttest scores--a finding that is fairly resilient to confounding from omitted covariates--but that the effect varies substantially between classrooms.


title: Surface Edge Explorer (SEE): Planning Next Best Views Directly from 3D Observations

abstract: Surveying 3D scenes is a common task in robotics. Systems can do so autonomously by iteratively obtaining measurements. This process of planning observations to improve the model of a scene is called Next Best View (NBV) planning. NBV planning approaches often use either volumetric (e.g., voxel grids) or surface (e.g., triangulated meshes) representations. Volumetric approaches generalise well between scenes as they do not depend on surface geometry but do not scale to high-resolution models of large scenes. Surface representations can obtain high-resolution models at any scale but often require tuning of unintuitive parameters or multiple survey stages. This paper presents a scene-model-free NBV planning approach with a density representation. The Surface Edge Explorer (SEE) uses the density of current measurements to detect and explore observed surface boundaries. This approach is shown experimentally to provide better surface coverage in lower computation time than the evaluated state-of-the-art volumetric approaches while moving equivalent distances.


title: Simple derivation of the $(- \lambda H)^{5/2}$ tail for the 1D KPZ equation

abstract: We study the long-time regime of the Kardar-Parisi-Zhang (KPZ) equation in $1+1$ dimensions for the Brownian and droplet initial conditions and present a simple derivation of the tail of the large deviations of the height on the negative side $\lambda H<0$. We show that for both initial conditions, the cumulative distribution functions take a large deviations form, with a tail for $- \tilde s \gg 1$ given by $-\log \mathbb{P}\left(\frac{H}{t}<\tilde{s}\right)=t^2 \frac{4 }{15 \pi} (-\tilde{s})^{5/2} $. This exact expression was already observed at small time for both initial conditions suggesting that these large deviations remain valid at all times. We present two methods to derive the result (i) long time estimate using a Fredholm determinant formula and (ii) the evaluation of the cumulants of a determinantal point process where the successive cumulants appear to give the successive orders of the large deviation rate function in the large $\tilde s$ expansion. An interpretation in terms of large deviations for trapped fermions at low temperature is also given. In addition, we perform a similar calculation for the KPZ equation in a half-space with a droplet initial condition, and show that the same tail as above arises, with the prefactor $\frac{4}{15\pi}$ replaced by $\frac{2}{15\pi}$. Finally, the arguments can be extended to show that this tail holds for all times. This is consistent with the fact that the same tail was obtained previously in the short time limit for the full-space problem.

categories: cond-mat.stat-mech cond-mat.dis-nn math-ph math.MP math.PR


title: First-principles simulations for attosecond photoelectron spectroscopy based on time-dependent density functional theory

abstract: We develop a first-principles simulation method for attosecond time-resolved photoelectron spectroscopy. This method enables us to directly simulate the whole experimental processes, including excitation, emission and detection on equal footing. To examine the performance of the method, we use it to compute the reconstruction of attosecond beating by interference of two-photon transitions (RABBITT) experiments of gas-phase Argon. The computed RABBITT photoionization delay is in very good agreement with recent experimental results from [Kl\"under et al, Phys. Rev. Lett. 106 143002 (2011)] and [Gu\'enot et al, Phys. Rev. A 85 053424 (2012)]. This indicates the significance of a fully-consistent theoretical treatment of the whole measurement process to properly describe experimental observables in attosecond photoelectron spectroscopy. The present framework opens the path to unravel the microscopic processes underlying RABBITT spectra in more complex materials and nanostructures.


title: Irreducible 3-manifolds that cannot be obtained by 0-surgery on a knot

abstract: We give two infinite families of examples of closed, orientable, irreducible 3-manifolds $M$ such that $b_1(M)=1$ and $\pi_1(M)$ has weight 1, but $M$ is not the result of Dehn surgery along a knot in the 3-sphere. This answers a question of Aschenbrenner, Friedl and Wilton, and provides the first examples of irreducible manifolds with $b_1=1$ that are known not to be surgery on a knot in the 3-sphere. One family consists of Seifert fibered 3-manifolds, while each member of the other family is not even homology cobordant to any Seifert fibered 3-manifold. None of our examples are homology cobordant to any manifold obtained by Dehn surgery along a knot in the 3-sphere.


title: DataSite: Proactive Visual Data Exploration with Computation of Insight-based Recommendations

abstract: Effective data analysis ideally requires the analyst to have high expertise as well as high knowledge of the data. Even with such familiarity, manually pursuing all potential hypotheses and exploring all possible views is impractical. We present DataSite, a proactive visual analytics system where the burden of selecting and executing appropriate computations is shared by an automatic server-side computation engine. Salient features identified by these automatic background processes are surfaced as notifications in a feed timeline. DataSite effectively turns data analysis into a conversation between analyst and computer, thereby reducing the cognitive load and domain knowledge requirements. We validate the system with a user study comparing it to a recent visualization recommendation system, yielding significant improvement, particularly for complex analyses that existing analytics systems do not support well.


title: Variable selection via Group LASSO Approach : Application to the Cox Regression and frailty model

abstract: In the analysis of survival outcome supplemented with both clinical information and high-dimensional gene expression data, use of the traditional Cox proportional hazards model (1972) fails to meet some emerging needs in biomedical research. First, the number of covariates is generally much larger the sample size. Secondly, predicting an outcome based on individual gene expression is inadequate because multiple biological processes and functional pathways regulate the expression associated with a gene. Another challenge is that the Cox model assumes that populations are homogenous, implying that all individuals have the same risk of death, which is rarely true due to unmeasured risk factors among populations. In this paper we propose group LASSO with gamma-distributed frailty for variable selection in Cox regression by extending previous scholarship to account for heterogeneity among group structures related to exposure and susceptibility. The consistency property of the proposed method is established. This method is appropriate for addressing a wide variety of research questions from genetics to air pollution. Simulated analysis shows promising performance by group LASSO compared with other methods, including group SCAD and group MCP. Future directions include expanding the use of frailty with adaptive group LASSO and sparse group LASS.


title: 2D Navier-Stokes equation with cylindrical fractional Brownian noise

abstract: We consider the Navier-Stokes equation on the 2D torus, with a stochastic forcing term which is a cylindrical fractional Wiener noise of Hurst parameter $H$. Following [3,8] which dealt with the case $1/2$, we prove a local existence and uniqueness result when $7/16< H< 1/ 2$ and a global existence and uniqueness result when $ 1/2<H<1$.


title: Novel Edge States in Self-Dual Gravity

abstract: In contrast to the Einstein-Hilbert action, the action for self-dual gravity contains vierbeins. They are eleminated at the level of observables by an $SL(2,\mathbb{C})$ gauge condition implied by the action. We argue that despite this condition, new "edge" or superselected state vectors corresponding to maps of the spheres $S^2_{\infty}$ at infinity to $SL(2, \mathbb{C})$ arise. They are characterised by new quantum numbers and they lead to mixed states. For black holes, they arise both at the horizon and the spatial infinity and may be relevant for the black hole information paradox. Similar comments can be made about the Einstein-Palatini action which uses vierbeins.


title: On polar actions invariant solutions of semilinear equations on manifolds

abstract: In this paper we put together some tools from differential topology and analysis in order to study second order semi-linear partial differential equations on a Riemannian manifold $M$. We look for solutions that are constants along orbits of a given group action. Using some results obtained by Helgason in [J DIFFER GEOM,6(3), 411-419] we are able to write a (reduced) second order semi-linear problem on a submanifold $\Sigma$. This submanifold is, in certain sense, transversal to the orbits of the group actions and its existence is assumed. We describe precise conditions on the Riemannian Manifold $M$ and the submanifold $\Sigma$ in order to be able to write the reduced equation on $\Sigma$. These conditions are satisfied by several particular cases including some examples treated separately in the literature such as the sphere, surfaces of revolution and others. Our framework also includes the setup of polar actions or exponential coordinates. Using this procedure, we are left with a second order semi-linear equation posed on a submanifold. In particular, if the submanifold $\Sigma$ is one-dimensional, we can use suitable tools from analysis to obtain existence and properties of solutions.


title: Empirical Risk Minimization under Fairness Constraints

abstract: We address the problem of algorithmic fairness: ensuring that sensitive variables do not unfairly influence the outcome of a classifier. We present an approach based on empirical risk minimization, which incorporates a fairness constraint into the learning problem. It encourages the conditional risk of the learned classifier to be approximately constant with respect to the sensitive variable. We derive both risk and fairness bounds that support the statistical consistency of our approach. We specify our approach to kernel methods and observe that the fairness requirement implies an orthogonality constraint which can be easily added to these methods. We further observe that for linear models the constraint translates into a simple data preprocessing step. Experiments indicate that the method is empirically effective and performs favorably against state-of-the-art approaches.


title: Generation and detection of dissipationless spin current in MgO/Si bilayer

abstract: Spintronics is an analogue to electronics where spin of the electron rather than its charge is functionally controlled for devices. The generation and detection of spin current without ferromagnetic or exotic/scarce materials are two the biggest challenges for spintronics devices. In this study, we report a solution to the two problems of spin current generation and detection in Si. Using non-local measurement, we experimentally demonstrate the generation of helical dissipationless spin current using spin-Hall effect. Contrary to the theoretical prediction, we observe the spin-Hall effect in both n-doped and p-doped Si. The helical spin current is attributed to the site-inversion asymmetry of the diamond cubic lattice of Si and structure inversion asymmetry in MgO/Si bilayer. The spin to charge conversion in Si is insignificant due to weak spin-orbit coupling. For the efficient detection of spin current, we report spin to charge conversion at the MgO (1nm)/Si (2 um) (p-doped and n-doped) thin film interface due to Rashba spin-orbit coupling. We detected the spin current at a distance of >100 um, which is an order of magnitude larger than the longest spin diffusion length measured using spin injection techniques. The existence of spin current in Si is verified from coercivity reduction in Co/Pd multilayer due to spin-orbit torque generated by spin current from Si.


title: Conditional infimum and recovery of monotone processes

abstract: Monotone processes, just like martingales, can often be recovered from their final values. Examples include running maxima of supermartingales, as well as running maxima, local times, and various integral functionals of sticky processes such as fractional Brownian motion. An interesting corollary is that any positive local martingale can be reconstructed from its final value and its global maximum. These results rely on the notion of conditional infimum, which is developed for a large class of complete lattices. The framework is sufficiently general to handle also more exotic examples, such as the process of convex hulls of certain multidimensional processes, and the process of sites visited by a random walk.


title: Gaussian ancillary bombardment

abstract: We analyze in full detail the time evolution of an open Gaussian quantum system rapidly bombarded by Gaussian ancillae. As a particular case this analysis covers the thermalization (or not) of a harmonic oscillator coupled to a thermal reservoir made of harmonic oscillators. We derive general results for this scenario and apply them to the problem of thermalization. We show that only a particular family of system-environment couplings will cause the system to thermalize to the temperature of its environment. We discuss that if we want to understand thermalization as ensuing from the Markovian interaction of a system with the individual microconstituents of its (thermal) environment then the process of thermalization is not as robust as one might expect.


title: PV-Powered CoMP-Based Green Cellular Networks with a Standby Grid Supply

abstract: This paper proposes a novel framework for PV-powered cellular networks with a standby grid supply and an essential energy management technique for achieving envisaged green networks. The proposal considers an emerging cellular network architecture employing two types of coordinated multipoint (CoMP) transmission techniques for serving the subscribers. Under the proposed framework, each base station (BS) is powered by an individual PV solar energy module having an independent storage device. BSs are also connected to the conventional grid supply for meeting additional energy demand. We also propose a dynamic inter-BS solar energy sharing policy through a transmission line for further greening the proposed network by minimizing the consumption from the grid supply. An extensive simulation-based study in the downlink of a Long-Term Evolution (LTE) cellular system is carried out for evaluating the energy efficiency performance of the proposed framework. System performance is also investigated for identifying the impact of various system parameters including storage factor, storage capacity, solar generation capacity, transmission line loss, and different CoMP techniques.


title: Optimal three spheres inequality at the boundary for the Kirchhoff-Love plate's equation with Dirichlet conditions

abstract: We prove a three sphere inequality with optimal exponent at the boundary for solutions to the Kirchhoff-Love plate's equation satisfying homogeneous Dirichlet conditions. This result implies the Strong Unique Continuation Property at the Boundary (SUCPB). Our approach is based on the method of Carleman estimates, and involves the construction of an ad hoc conformal mapping preserving the structure of the operator and the employment of a suitable reflection of the solution with respect to the flatten boundary which ensures the needed regularity of the extended solution. To the authors' knowledge, this is the first (nontrivial) SUCPB result for fourth-order equations with bi-Laplacian principal part.


title: An Approach to Vehicle Trajectory Prediction Using Automatically Generated Traffic Maps

abstract: Trajectory and intention prediction of traffic participants is an important task in automated driving and crucial for safe interaction with the environment. In this paper, we present a new approach to vehicle trajectory prediction based on automatically generated maps containing statistical information about the behavior of traffic participants in a given area. These maps are generated based on trajectory observations using image processing and map matching techniques and contain all typical vehicle movements and probabilities in the considered area. Our prediction approach matches an observed trajectory to a behavior contained in the map and uses this information to generate a prediction. We evaluated our approach on a dataset containing over 14000 trajectories and found that it produces significantly more precise mid-term predictions compared to motion model-based prediction approaches.


title: IMLS-SLAM: scan-to-model matching based on 3D data

abstract: The Simultaneous Localization And Mapping (SLAM) problem has been well studied in the robotics community, especially using mono, stereo cameras or depth sensors. 3D depth sensors, such as Velodyne LiDAR, have proved in the last 10 years to be very useful to perceive the environment in autonomous driving, but few methods exist that directly use these 3D data for odometry. We present a new low-drift SLAM algorithm based only on 3D LiDAR data. Our method relies on a scan-to-model matching framework. We first have a specific sampling strategy based on the LiDAR scans. We then define our model as the previous localized LiDAR sweeps and use the Implicit Moving Least Squares (IMLS) surface representation. We show experiments with the Velodyne HDL32 with only 0.40% drift over a 4 km acquisition without any loop closure (i.e., 16 m drift after 4 km). We tested our solution on the KITTI benchmark with a Velodyne HDL64 and ranked among the best methods (against mono, stereo and LiDAR methods) with a global drift of only 0.69%.


title: Fully Asynchronous Push-Sum With Growing Intercommunication Intervals

abstract: We propose an algorithm for average consensus over a directed graph which is both fully asynchronous and robust to unreliable communications. We show its convergence to the average, while allowing for slowly growing but potentially unbounded communication failures.


title: Loss-aware Weight Quantization of Deep Networks

abstract: The huge size of deep networks hinders their use in small computing devices. In this paper, we consider compressing the network by weight quantization. We extend a recently proposed loss-aware weight binarization scheme to ternarization, with possibly different scaling parameters for the positive and negative weights, and m-bit (where m > 2) quantization. Experiments on feedforward and recurrent neural networks show that the proposed scheme outperforms state-of-the-art weight quantization algorithms, and is as accurate (or even more accurate) than the full-precision network.


title: Ranking Sentences for Extractive Summarization with Reinforcement Learning

abstract: Single document summarization is the task of producing a shorter version of a document while preserving its principal information content. In this paper we conceptualize extractive summarization as a sentence ranking task and propose a novel training algorithm which globally optimizes the ROUGE evaluation metric through a reinforcement learning objective. We use our algorithm to train a neural summarization model on the CNN and DailyMail datasets and demonstrate experimentally that it outperforms state-of-the-art extractive and abstractive systems when evaluated automatically and by humans.


title: Network Models for Multiobjective Discrete Optimization

abstract: This paper provides a novel framework for solving multiobjective discrete optimization problems with an arbitrary number of objectives. Our framework formulates these problems as network models, in that enumerating the Pareto frontier amounts to solving a multicriteria shortest path problem in an auxiliary network. We design techniques for exploiting the network model in order to accelerate the identification of the Pareto frontier, most notably a number of operations to simplify the network by removing nodes and arcs while preserving the set of nondominated solutions. We show that the proposed framework yields orders-of-magnitude performance improvements over existing state-of-the-art algorithms on five problem classes containing both linear and nonlinear objective functions.


title: HEP Community White Paper on Software trigger and event reconstruction

abstract: Realizing the physics programs of the planned and upgraded high-energy physics (HEP) experiments over the next 10 years will require the HEP community to address a number of challenges in the area of software and computing. For this reason, the HEP software community has engaged in a planning process over the past two years, with the objective of identifying and prioritizing the research and development required to enable the next generation of HEP detectors to fulfill their full physics potential. The aim is to produce a Community White Paper which will describe the community strategy and a roadmap for software and computing research and development in HEP for the 2020s. The topics of event reconstruction and software triggers were considered by a joint working group and are summarized together in this document.


title: A prototype detector for the CRESST-III low-mass dark matter search

abstract: The CRESST-III experiment which is dedicated to low-mass dark matter search uses scintillating CaWO$_4$ crystals operated as cryogenic particle detectors. Background discrimination is achieved by exploiting the scintillating light signal of CaWO$_4$ and by a novel active detector holder presented in this paper. In a test setup above ground, a nuclear-recoil energy threshold of $E_{th}=(190.6\pm5.2)$eV is reached with a 24g prototype detector, which corresponds to an estimated threshold of $\sim$50eV when being operated in the low-noise CRESST cryostat. This is the lowest threshold reported for direct dark matter searches. For CRESST-III phase 1, ten such detector modules were installed in the cryostat which have the potential to improve significantly the sensitivity to scatterings of dark matter particles with masses down to $\sim$0.1GeV/c$^2$.


title: HEP Community White Paper on Software trigger and event reconstruction: Executive Summary


title: Gossiping in Message-Passing Systems

abstract: We study the gossip problem in a message-passing environment: When a process receives a message, it has to decide whether the sender has more recent information on other processes than itself. This problem is at the heart of many distributed algorithms, and it is tightly related to questions from formal methods concerning the expressive power of distributed automata. We provide a non-deterministic gossip protocol for message-passing systems with unbounded FIFO channels, using only finitely many local states and a finite message alphabet. We show that this is optimal in the sense that there is no deterministic counterpart. As an application, the gossip protocol allows us to show that message-passing systems capture well-known extensions of linear-time temporal logics to a concurrent setting.


title: Search for $C$ violation in the decay $\eta\rightarrow\pi^0+e^++e^-$ with WASA-at-COSY

abstract: We report on the investigation of the rare decay $\eta\rightarrow\pi^0+\text{e}^++\text{e}^-$ which is of interest to study both $C$ violation in the electromagnetic interaction and to search for contributions from physics beyond the Standard Model, since the allowed decay via a two-photon intermediate state is strongly suppressed. The experiment has been performed using the WASA-at-COSY installation, located at the COSY accelerator of the Forschungszentrum J\"ulich, Germany. In total $3\times10^7$ events of the reaction $\text{p}+\text{d}\rightarrow{^3\text{He}}+\eta$ have been recorded at an excess energy of $Q = 59.8\,\textrm{MeV}$. Based on this data set the $C$ parity violating decay $\eta\rightarrow\pi^0+\gamma^*\rightarrow\pi^0+\textrm{e}^++\textrm{e}^-$ via a single-photon intermediate state has been searched for, resulting in new upper limits of $\Gamma\left(\eta\rightarrow\pi^0+\textrm{e}^++\textrm{e}^-\right)/ \Gamma\left(\eta\rightarrow\pi^++\pi^-+\pi^0\right) < 3.28\times10^{-5}$ and $\Gamma\left(\eta\rightarrow\pi^0+\textrm{e}^++\textrm{e}^-\right)/ \Gamma\left(\eta\rightarrow\textrm{all}\right) < 7.5\times10^{-6}\ (\textrm{CL} = 90\,\%)$, respectively.


title: Scattering on a rectangular potential barrier in nodal-line Weyl semimetals

abstract: We investigate single-particle ballistic scattering on a rectangular barrier in the nodal-line Weyl semimetals. Since the system under study has a crystallographic anisotropy, the scattering properties are dependent on mutual orientation of the crystalline axis and the barrier. To account for the anisotropy, we examine two different barrier orientations. It is demonstrated that, for certain angles of incidence, the incoming particle passes through the barrier with probability of unity. This is a manifestation of the Klein tunneling, a familiar phenomenon in the context of graphene and semimetals with Weyl points. However, the Klein tunneling in the Weyl-ring systems is observed when the angle of incidence differs from 90$^\circ$, unlike the cases of graphene and Weyl-point semimetals. The reflectionless transmission also occurs for the so-called `magic angles'. The values of `the magic angles' are determined by geometrical resonances between the barrier width and the de Broglie length of the scattered particle. In addition, we show that under certain conditions the wave function of the transmitted and reflected particles may be a superposition of two plane waves with unequal momenta. Such a feature is a consequence of the non-trivial structure of the iso-energy surfaces of the nodal-line semimetals.


title: Navier--Stokes equations on the $\beta$-plane: determining modes and nodes

abstract: We revisit the 2d Navier--Stokes equations on the periodic $\beta$-plane, with the Coriolis parameter varying as $\beta y$, and obtain bounds on the number of determining modes and nodes of the flow. The number of modes {and nodes} scale as $cG_0^{1/2} + c'(M/\beta)^{1/2}$ and $cG_0^{2/3} + c'(M/\beta)^{1/2}$ respectively, where the Grashof number $G_0=|f_v|_{L^2}^{}/(\mu^2\kappa_0^2)$ and $M$ involves higher derivatives of the forcing $f_v$. For large $\beta$ (strong rotation), this results in fewer degrees of freedom than the classical (non-rotating) bound that scales as $cG_0$.


title: Interactive Image Manipulation with Natural Language Instruction Commands

abstract: We propose an interactive image-manipulation system with natural language instruction, which can generate a target image from a source image and an instruction that describes the difference between the source and the target image. The system makes it possible to modify a generated image interactively and make natural language conditioned image generation more controllable. We construct a neural network that handles image vectors in latent space to transform the source vector to the target vector by using the vector of instruction. The experimental results indicate that the proposed framework successfully generates the target image by using a source image and an instruction on manipulation in our dataset.


title: The Three-Dimensional Spatial Distribution of Interstellar Gas in the Milky Way: Implications for Cosmic Rays and High-Energy Gamma-Ray Emissions

abstract: Direct measurements of cosmic ray (CR) species combined with observations of their associated gamma-ray emissions can be used to constrain models of CR propagation, trace the structure of the Galaxy, and search for signatures of new physics. The spatial density distribution of the interstellar gas is a vital element for all these studies. So far models have employed the 2D cylindrically symmetric geometry, but their accuracy is well behind that of the available data. In this paper, 3D spatial density models for the neutral and molecular hydrogen are constructed based on empirical model fitting to gas line-survey data. The developed density models incorporate spiral arms and account for the warping of the disk, and the increasing gas scale height with radial distance from the Galactic center. They are employed together with the GALPROP CR propagation code to investigate how the new 3D gas models affect calculations of CR propagation and high-energy gamma-ray intensity maps. The calculations made reveal non-trivial features that are directly related to the new gas models. The best-fit values for propagation model parameters employing 3D gas models are presented and they differ significantly from the values derived with the 2D gas density models that have been widely used. The combination of 3D CR and gas density models provide a more realistic basis for the interpretation of non-thermal emissions from the Galaxy.


title: On dual definite subspaces in Krein space

abstract: Extensions of dual definite subspaces to dual maximal definite ones are described. The concepts of dual quasi maximal subspaces and quasi basis are introduced and studied. The obtained results are applied to the classification of C-symmetries.


title: Evidence for negative thermal expansion in the superconducting precursor phase SmFeAsO

abstract: The fluorine-doped rare-earth iron oxypnictide series SmFeAsO$_{1-x}$F$_x$ (0 $\leq x \leq$ 0.10) was investigated with high resolution powder x-ray scattering. In agreement with previous studies, the parent compound SmFeAsO exhibits a tetragonal-to-orthorhombic structural distortion at T$\rm{_{S}}$~=~130~K which is rapidly suppressed by $x \simeq$ 0.10 deep within the superconducting dome. The change in unit cell symmetry is followed by a previously unreported magnetoelastic distortion at 120~K. The temperature dependence of the thermal expansion coefficient $\alpha_{V}$ reveals a rich phase diagram for SmFeAsO: (i) a global minimum at 125 K corresponds to the opening of a spin-density wave instability as measured by pump-probe femtosecond spectroscopy whilst (ii) a global maximum at 110 K corresponds to magnetic ordering of the Sm and Fe sublattices as measured by magnetic x-ray scattering. At much lower temperatures than T$\rm{_{N}}$, SmFeAsO exhibits a significant negative thermal expansion on the order of -40~ppm~$\cdot$~K$^{-1}$ in contrast to the behavior of other rare-earth oxypnictides such as PrFeAsO and the actinide oxypnictide NpFeAsO where the onset of $\alpha <$ 0 only appears in the vicinity of magnetic ordering. Correlating this feature with the temperature and doping dependence of the resistivity and the unit cell parameters, we interpret the negative thermal expansion as being indicative of the possible condensation of itinerant electrons accompanying the opening of a SDW gap, consistent with transport measurements.


title: Planck intermediate results. LIV. The Planck Multi-frequency Catalogue of Non-thermal Sources

abstract: This paper presents the Planck Multi-frequency Catalogue of Non-thermal (i.e. synchrotron-dominated) Sources (PCNT) observed between 30 and 857 GHz by the ESA Planck mission. This catalogue was constructed by selecting objects detected in the full mission all-sky temperature maps at 30 and 143 GHz, with a signal-to-noise ratio (S/N)>3 in at least one of the two channels after filtering with a particular Mexican hat wavelet. As a result, 29400 source candidates were selected. Then, a multi-frequency analysis was performed using the Matrix Filters methodology at the position of these objects, and flux densities and errors were calculated for all of them in the nine Planck channels. The present catalogue is the first unbiased, full-sky catalogue of synchrotron-dominated sources published at millimetre and submillimetre wavelengths and constitutes a powerful database for statistical studies of non-thermal extragalactic sources, whose emission is dominated by the central active galactic nucleus. Together with the full multi-frequency catalogue, we also define the Bright Planck Multi-frequency Catalogue of Non-thermal Sources PCNTb, where only those objects with a S/N>4 at both 30 and 143 GHz were selected. In this catalogue 1146 compact sources are detected outside the adopted Planck GAL070 mask; thus, these sources constitute a highly reliable sample of extragalactic radio sources. We also flag the high-significance subsample PCNThs, a subset of 151 sources that are detected with S/N>4 in all nine Planck channels, 75 of which are found outside the Planck mask adopted here. The remaining 76 sources inside the Galactic mask are very likely Galactic objects.


title: A smeared quantum phase transition in disordered holography

abstract: We study the effects of quenched one-dimensional disorder on the holographic Weyl semimetal quantum phase transition (QPT), with a particular focus on the quantum critical region. We observe the smearing of the sharp QPT linked to the appearance of rare regions at the horizon where locally the order parameter is non-zero. We discuss the role of the disorder correlation and we compare our results to expectations from condensed matter theory at weak coupling. We analyze also the interplay of finite temperature and disorder. Within the quantum critical region we find indications for the presence of log-oscillatory structures in the order parameter hinting at the existence of an IR fixed point with discrete scale invariance.


title: Kinetic schemes for assessing stability of traveling fronts for the Allen-Cahn equation with relaxation

abstract: This paper deals with the numerical (finite volume) approximation of reaction-diffusion systems with relaxation, among which the hyperbolic extension of the Allen--Cahn equation represents a notable prototype. Appropriate discretizations are constructed starting from the kinetic interpretation of the model as a particular case of reactive jump process. Numerical experiments are provided for exemplifying the theoretical analysis (previously developed by the same authors) concerning the stability of traveling waves, and important evidence of the validity of those results beyond the formal hypotheses is numerically established.


title: The dynamic of contrast agent and surrounding fluid in the vicinity of a wall for sonoporation

abstract: Contrast microbubbles (contrast agents) were initially developed to increase the contrast of the image in ultrasound imaging. These microbubbles consist of a gas core encapsulated by a layer of protein or lipid to stabilize them against early dissolution in the bloodstream. Contrast agents, in the presence of ultrasound, can also help facilitate the uptake of drugs and genes in to desired cells through the process called sonoporation. Sonoporation is the temporarily rupture of cell membranes in the presence of ultrasound. In this work, we have studied the contrast agent near a rigid wall (assumed as a cell membrane with high elastic modulus) in the presence of ultrasound using boundary element method. The contrast agent forms non-symmetrical high velocity microjet at the last stage of the collapse phase. The microjet and the adjacent surrounding fluid move toward the rigid wall with a very high velocity. This high velocity fluid impinges the wall and spreads radially along it. This will generate high velocity gradient on the wall which gives rise to shear stress resulting in the perforation of cell membrane. The encapsulation of the microbubble can be assumed as an interface with an infinitesimal thickness. There are several models to simulate the interface. In this study, the encapsulation is simulated with two models; viscoelastic model with exponentially varying elasticity (EEM) and Marmottant model. In this research, we have studied the effect of different parameters on the dynamics of the contrast microbubble, the induced shear stress on the wall due to its collapse, and the velocity and pressure fields surrounding the contrast microbubble, to better understand sonoporation.


title: Becker's conjecture on Mahler functions

abstract: In 1994, Becker conjectured that if $F(z)$ is a $k$-regular power series, then there exists a $k$-regular rational function $R(z)$ such that $F(z)/R(z)$ satisfies a Mahler-type functional equation with polynomial coefficients where the initial coefficient satisfies $a_0(z)=1$. In this paper, we prove Becker's conjecture in the best-possible form; we show that the rational function $R(z)$ can be taken to be a polynomial $z^\gamma Q(z)$ for some explicit non-negative integer $\gamma$ and such that $1/Q(z)$ is $k$-regular.


title: Black Hole Mergers from Globular Clusters Observable by LISA and LIGO: Results from post-Newtonian Binary-Single Scatterings

abstract: We study the gravitational wave (GW) frequency and chirp mass distribution of binary black hole (BBH) mergers assembled through three-body interactions in globular clusters (GCs), when GW emission at the 2.5 post-Newtonian (PN) level is included in the $N$-body equation-of-motion (EOM). From performing $\sim 2.5\times10^{6}$ PN binary-single interactions based on GC data from the `MOCCA-Survey Database I' project, and by the use of analytical methods, we find that $5-10\%$ of all the three-body assembled GC BBH mergers have a GW frequency at formation that is $\gtrsim 10^{-1}$ Hz, implying they enter the LIGO band without having drifted through the LISA band first. If PN terms are not included in the EOM, one finds instead that all BBH mergers drifts through both LISA and LIGO. As the fraction of BBH mergers that only show up in LIGO is expected to be $\sim 0\%$ for standard field binary BBH mergers, future joint measurements with LISA and LIGO can be used to gain insight into the formation of BBH mergers.


title: Comparative Analysis of Unsupervised Algorithms for Breast MRI Lesion Segmentation

abstract: Accurate segmentation of breast lesions is a crucial step in evaluating the characteristics of tumors. However, this is a challenging task, since breast lesions have sophisticated shape, topological structure, and variation in the intensity distribution. In this paper, we evaluated the performance of three unsupervised algorithms for the task of breast Magnetic Resonance (MRI) lesion segmentation, namely, Gaussian Mixture Model clustering, K-means clustering and a marker-controlled Watershed transformation based method. All methods were applied on breast MRI slices following selection of regions of interest (ROIs) by an expert radiologist and evaluated on 106 subjects' images, which include 59 malignant and 47 benign lesions. Segmentation accuracy was evaluated by comparing our results with ground truth masks, using the Dice similarity coefficient (DSC), Jaccard index (JI), Hausdorff distance and precision-recall metrics. The results indicate that the marker-controlled Watershed transformation outperformed all other algorithms investigated.


title: Homomorphism Extension

abstract: We define the Homomorphism Extension (HomExt) problem: given a group $G$, a subgroup $M \leq G$ and a homomorphism $\varphi: M \to H$, decide whether or not there exists a homomorphism $\widetilde{\varphi}: G\to H$ extending $\varphi$, i.e., $\widetilde{\varphi}|_M = \varphi$. This problem arose in the context of list-decoding homomorphism codes but is also of independent interest, both as a problem in computational group theory and as a new and natural problem in NP of unsettled complexity status. We consider the case $H=S_m$ (the symmetric group of degree $m$), i.e., $\varphi : G \to H$ is a $G$-action on a set of $m$ elements. We assume $G\le S_n$ is given as a permutation group by a list of generators. We characterize the equivalence classes of extensions in terms of a multidimensional oracle subset-sum problem. From this we infer that for bounded $G$ the HomExt problem can be solved in polynomial time. Our main result concerns the case $G=A_n$ (the alternating group of degree $n$) for variable $n$ under the assumption that the index of $M$ in $G$ is bounded by poly$(n)$. We solve this case in polynomial time for all $m < 2^{n-1}/\sqrt{n}$. This is the case with direct relevance to homomorphism codes (Babai, Black, and Wuu, arXiv 2018); it is used as a component of one of the main algorithms in that paper.


title: The Leo-I group: new dwarf galaxy and UDG candidates

abstract: The study of dwarf galaxies and their environments provides crucial testbeds for predictions of cosmological models and insights on the structure formation on small cosmological scales. In recent years, many problems on the scale of groups of galaxies challenged the current standard model of cosmology. We aim to increase the sample of known galaxies in the Leo-I group, containing the M\,96 subgroup and the Leo Triplet. This galaxy aggregate is located at the edge of the Local Volume at a mean distance of 10.7 Mpc. We employ image enhancing techniques to search for low-surface brightness objects in publicly available gr images taken by the Sloan Digital Sky Survey within 500 square degrees around the Leo-I group. Once detected, we perform surface photometry and compare their structural parameters to other known dwarf galaxies in the nearby universe. We found 36 new dwarf galaxy candidates within the search area. Their morphology and structural parameters resemble known dwarfs in other groups. Among the candidates 5 to 6 galaxies are considered as ultra diffuse galaxies candidates. If confirmed, they would be some of the closest examples of this galaxy type. We assessed the luminosity function of the Leo-I group and find it to be considerably rich in dwarf galaxies, with twice the number of galaxies as the Local Group at a limiting magnitude of M_V=-10 and a steeper faint-end slope.


title: On detecting changes in the jumps of arbitrary size of a time-continuous stochastic process

abstract: This paper introduces test and estimation procedures for abrupt and gradual changes in the entire jump behaviour of a discretely observed Ito semimartingale. In contrast to existing work we analyse jumps of arbitrary size which are not restricted to a minimum height. Our methods are based on weak convergence of a truncated sequential empirical distribution function of the jump characteristic of the underlying Ito semimartingale. Critical values for the new tests are obtained by a multiplier bootstrap approach and we investigate the performance of the tests also under local alternatives. An extensive simulation study shows the finite-sample properties of the new procedures.


title: Skew cyclic codes over F_{p}+uF_{p}+\dots +u^{k-1}F_{p}

abstract: In this article, we study the skew cyclic codes over R_{k}=F_{p}+uF_{p}+\dots +u^{k-1}F_{p} of length n. We characterize the skew cyclic codes of length $n$ over R_{k} as free left R_{k}[x;\theta]-submodules of R_{k}[x;\theta]/\langle x^{n}-1\rangle and construct their generators and minimal generating sets. Also, an algorithm has been provided to encode and decode these skew cyclic codes.


title: A Semantic Framework for the Security Analysis of Ethereum smart contracts

abstract: Smart contracts are programs running on cryptocurrency (e.g., Ethereum) blockchains, whose popularity stem from the possibility to perform financial transactions, such as payments and auctions, in a distributed environment without need for any trusted third party. Given their financial nature, bugs or vulnerabilities in these programs may lead to catastrophic consequences, as witnessed by recent attacks. Unfortunately, programming smart contracts is a delicate task that requires strong expertise: Ethereum smart contracts are written in Solidity, a dedicated language resembling JavaScript, and shipped over the blockchain in the EVM bytecode format. In order to rigorously verify the security of smart contracts, it is of paramount importance to formalize their semantics as well as the security properties of interest, in particular at the level of the bytecode being executed. In this paper, we present the first complete small-step semantics of EVM bytecode, which we formalize in the F* proof assistant, obtaining executable code that we successfully validate against the official Ethereum test suite. Furthermore, we formally define for the first time a number of central security properties for smart contracts, such as call integrity, atomicity, and independence from miner controlled parameters. This formalization relies on a combination of hyper- and safety properties. Along this work, we identified various mistakes and imprecisions in existing semantics and verification tools for Ethereum smart contracts, thereby demonstrating once more the importance of rigorous semantic foundations for the design of security verification techniques.


title: The modular Cauchy kernel for the Hilbert modular surface

abstract: In this paper we construct the modular Cauchy kernel on the Hilbert modular surface $\Xi_{\mathrm{Hil},m}(z)(z_2-\bar{z_2})$, i.e. the function of two variables, $(z_1, z_2) \in \mathbb{H} \times \mathbb{H}$, which is invariant under the action of the Hilbert modular group, with the first order pole on the Hirzebruch-Zagier divisors. The derivative of this function with respect to $\bar{z_2}$ is the function $\omega_m (z_1, z_2)$ introduced by Don Zagier in \cite{Za1}. We consider the question of the convergence and the Fourier expansion of the kernel function. The paper generalizes the first part of the results obtained in the preprint \cite{Sa}


title: General theory of photoexcitation induced photoelectron circular dichroism

abstract: The photoionization of chiral molecules prepared in a coherent superposition of excited states can give access to the underlying chiral coherent dynamics in a procedure known as photoexcitation induced photoelectron circular dichroism (PXECD). This exclusive dependence on coherence can also be seen in a different part of the angular spectrum, where it is not contingent on the chirality of the molecule, thus allowing extension of PXECD's sensitivity to tracking coherence to non-chiral molecules. Here we present a general theory of PXECD based on angular momentum algebra and derive explicit expressions for all pertinent asymmetry parameters which arise for arbitrary polarisation of pump and probe pulses. The theory is developed in a way that clearly and simply separates chiral and non-chiral contributions to the photoelectron angular distribution, and also demonstrates how PXECD and PECD-type contributions, which may be distinguished by whether pump or ionizing probe enables chiral response, are mixed when arbitrary polarization is used.


title: Synchronization Strings: List Decoding for Insertions and Deletions

abstract: We study codes that are list-decodable under insertions and deletions. Specifically, we consider the setting where a codeword over some finite alphabet of size $q$ may suffer from $\delta$ fraction of adversarial deletions and $\gamma$ fraction of adversarial insertions. A code is said to be $L$-list-decodable if there is an (efficient) algorithm that, given a received word, reports a list of $L$ codewords that include the original codeword. Using the concept of synchronization strings, introduced by the first two authors [STOC 2017], we show some surprising results. We show that for every $0\leq\delta<1$, every $0\leq\gamma<\infty$ and every $\epsilon>0$ there exist efficient codes of rate $1-\delta-\epsilon$ and constant alphabet (so $q=O_{\delta,\gamma,\epsilon}(1)$) and sub-logarithmic list sizes. We stress that the fraction of insertions can be arbitrarily large and the rate is independent of this parameter. Our result sheds light on the remarkable asymmetry between the impact of insertions and deletions from the point of view of error-correction: Whereas deletions cost in the rate of the code, insertion costs are borne by the adversary and not the code! We also prove several tight bounds on the parameters of list-decodable insdel codes. In particular, we show that the alphabet size of insdel codes needs to be exponentially large in $\epsilon^{-1}$, where $\epsilon$ is the gap to capacity above. Our result even applies to settings where the unique-decoding capacity equals the list-decoding capacity and when it does so, it shows that the alphabet size needs to be exponentially large in the gap to capacity. This is sharp contrast to the Hamming error model where alphabet size polynomial in $\epsilon^{-1}$ suffices for unique decoding and also shows that the exponential dependence on the alphabet size in previous works that constructed insdel codes is actually necessary!


title: Modeling goal chances in soccer: a Bayesian inference approach

abstract: We consider the task of determining the number of chances a soccer team creates, along with the composite nature of each chance-the players involved and the locations on the pitch of the assist and the chance. We propose an interpretable Bayesian inference approach and implement a Poisson model to capture chance occurrences, from which we infer team abilities. We then use a Gaussian mixture model to capture the areas on the pitch a player makes an assist/takes a chance. This approach allows the visualization of differences between players in the way they approach attacking play (making assists/taking chances). We apply the resulting scheme to the 2016/2017 English Premier League, capturing team abilities to create chances, before highlighting key areas where players have most impact.


title: Learning Latent Permutations with Gumbel-Sinkhorn Networks

abstract: Permutations and matchings are core building blocks in a variety of latent variable models, as they allow us to align, canonicalize, and sort data. Learning in such models is difficult, however, because exact marginalization over these combinatorial objects is intractable. In response, this paper introduces a collection of new methods for end-to-end learning in such models that approximate discrete maximum-weight matching using the continuous Sinkhorn operator. Sinkhorn iteration is attractive because it functions as a simple, easy-to-implement analog of the softmax operator. With this, we can define the Gumbel-Sinkhorn method, an extension of the Gumbel-Softmax method (Jang et al. 2016, Maddison2016 et al. 2016) to distributions over latent matchings. We demonstrate the effectiveness of our method by outperforming competitive baselines on a range of qualitatively different tasks: sorting numbers, solving jigsaw puzzles, and identifying neural signals in worms.


title: Numerical performance of optimized Frolov lattices in tensor product reproducing kernel Sobolev spaces

abstract: In this paper, we deal with several aspects of the universal Frolov cubature method, that is known to achieve optimal asymptotic convergence rates in a broad range of function spaces. Even though every admissible lattice has this favorable asymptotic behavior, there are significant differences concerning the precise numerical behavior of the worst-case error. To this end, we propose new generating polynomials that promise a significant reduction of the integration error compared to the classical polynomials. Moreover, we develop a new algorithm to enumerate the Frolov points from non-orthogonal lattices for numerical cubature in the $d$-dimensional unit cube $[0,1]^d$. Finally, we study Sobolev spaces with anisotropic mixed smoothness and compact support in $[0,1]^d$ and derive explicit formulas for their reproducing kernels. This allows for the simulation of exact worst-case errors which numerically validate our theoretical results.


title: De-Biased Machine Learning of Global and Local Parameters Using Regularized Riesz Representers

abstract: We provide adaptive inference methods, based on $\ell_1$ regularization, for regular (semi-parametric) and non-regular (nonparametric) linear functionals of the conditional expectation function. Examples of regular functionals include average treatment effects, policy effects, and derivatives. Examples of non-regular functionals include average treatment effects, policy effects, and derivatives conditional on a covariate subvector fixed at a point. We construct a Neyman orthogonal equation for the target parameter that is approximately invariant to small perturbations of the nuisance parameters. To achieve this property, we include the Riesz representer for the functional as an additional nuisance parameter. Our analysis yields weak ``double sparsity robustness'': either the approximation to the regression or the approximation to the representer can be ``completely dense'' as long as the other is sufficiently ``sparse''. Our main results are non-asymptotic and imply asymptotic uniform validity over large classes of models, translating into honest confidence bands for both global and local parameters.


title: 3D superconducting gap in FeSe from ARPES

abstract: We present a systematic angle-resolved photoemission spectroscopy study of the superconducting gap in FeSe. The gap function is determined in a full Brillouin zone including all Fermi surfaces and kz-dependence. We find significant anisotropy of the superconducting gap in all momentum directions. While the in-plane anisotropy can be explained by both, nematicity-induced pairing anisotropy and orbital-selective pairing, the kz-anisotropy requires additional refinement of theoretical approaches.


title: Common envelope jets supernova (CEJSN) impostors resulting from a neutron star companion

abstract: We propose a new type of repeating transient outburst initiated by a neutron star (NS) entering the envelope of an evolved massive star, accreting envelope material and subsequently launching jets which interact with their surroundings. This interaction is the result of either a rapid expansion of the primary star due to an instability in its core near the end of its nuclear evolution, or due to a dynamical process which rapidly brings the NS into the primary star. The ejecta can reach velocities of 10,000 km/s despite not being a supernova, and might explain such velocities in the 2011 outburst of the luminous blue variable progenitor of SN 2009ip. The typical transient duration and kinetic energy are weeks to months, and up to approximately 1 foe, respectively. The interaction of a NS with a giant envelope might be a phase in the evolution of the progenitors of most NS-NS binary systems that later undergo a merger event. If the NS spirals in all the way to the core of the primary star and brings about its complete disruption we term this a `common envelope jets supernova' (CEJSN), which is a possible explanation for the peculiar supernova iPTF14hls. For a limited interaction of the NS with the envelope we get a less luminous transient, which we term a CEJSN impostor.


title: On a new conjecture about super-monochromatic factorisations and ultimate periodicity

abstract: We study a conjecture linking ultimate periodicity of infnite words to the existence of colorings on finite words avoiding monochromatic factorisation of suffixes, with the extra condition that the ordered concatenation of elements of this factorisation remains monochromatic. This type of results shows the limits of Ramsey theory in the context of combinatorics on words. We show some reductions of the problem and the example of the Zimin word. Using the new notion of consecutive length, we show that words avoiding large squares fulfill the conjecture.


title: Langevin Monte Carlo and JKO splitting

abstract: Algorithms based on discretizing Langevin diffusion are popular tools for sampling from high-dimensional distributions. We develop novel connections between such Monte Carlo algorithms, the theory of Wasserstein gradient flow, and the operator splitting approach to solving PDEs. In particular, we show that a proximal version of the Unadjusted Langevin Algorithm corresponds to a scheme that alternates between solving the gradient flows of two specific functionals on the space of probability measures. Using this perspective, we derive some new non-asymptotic results on the convergence properties of this algorithm.


title: The Poset of Mesh Patterns

abstract: We introduce the poset of mesh patterns, which generalises the permutation pattern poset. We fully classify the mesh patterns for which the interval [1^\emptyset,m] is non-pure, where 1^\emptyset is the unshaded singleton mesh pattern. We present some results on the M\"obius function of the poset, and show that {\mu}(1^\emptyset,m) is almost always zero. Finally, we introduce a class of disconnected and non-shellable intervals by generalising the direct product operation from permutations to mesh patterns.


title: Generalized entropies in quantum and classical statistical theories

abstract: We study a version of the generalized (h, {\phi})-entropies, introduced by Salicr\'u et al, for a wide family of probabilistic models that includes quantum and classical statistical theories as particular cases. We extend previous works by exploring how to define (h, {\phi})-entropies in infinite dimensional models.


title: An Algorithmic Framework to Control Bias in Bandit-based Personalization

abstract: Personalization is pervasive in the online space as it leads to higher efficiency and revenue by allowing the most relevant content to be served to each user. However, recent studies suggest that personalization methods can propagate societal or systemic biases and polarize opinions; this has led to calls for regulatory mechanisms and algorithms to combat bias and inequality. Algorithmically, bandit optimization has enjoyed great success in learning user preferences and personalizing content or feeds accordingly. We propose an algorithmic framework that allows for the possibility to control bias or discrimination in such bandit-based personalization. Our model allows for the specification of general fairness constraints on the sensitive types of the content that can be displayed to a user. The challenge, however, is to come up with a scalable and low regret algorithm for the constrained optimization problem that arises. Our main technical contribution is a provably fast and low-regret algorithm for the fairness-constrained bandit optimization problem. Our proofs crucially leverage the special structure of our problem. Experiments on synthetic and real-world data sets show that our algorithmic framework can control bias with only a minor loss to revenue.


title: Space-time fractional diffusion in cell movement models with delay

abstract: The movement of organisms and cells can be governed by occasional long distance runs, according to an approximate L\'evy walk. For T cells migrating through chronically-infected brain tissue, runs are further interrupted by long pauses, and the aim here is to clarify the form of continuous model equations which describe such movements. Starting from a microscopic velocity-jump model based on experimental observations, we include power-law distributions of run and waiting times and investigate the relevant parabolic limit from a kinetic equation for resting and moving individuals. In biologically relevant regimes we derive nonlocal diffusion equations, including fractional Laplacians in space and fractional time derivatives. Its analysis and numerical experiments shed light on how the searching strategy, and the impact from chemokinesis responses to chemokines, shorten the average time taken to find rare targets in the absence of direct guidance information such as chemotaxis.


title: A Quantum-Search-Aided Dynamic Programming Framework for Pareto Optimal Routing in Wireless Multihop Networks

abstract: Wireless Multihop Networks (WMHNs) have to strike a trade-off among diverse and often conflicting Quality-of-Service (QoS) requirements. The resultant solutions may be included by the Pareto Front under the concept of Pareto Optimality. However, the problem of finding all the Pareto-optimal routes in WMHNs is classified as NP-hard, since the number of legitimate routes increases exponentially, as the nodes proliferate. Quantum Computing offers an attractive framework of rendering the Pareto-optimal routing problem tractable. In this context, a pair of quantum-assisted algorithms have been proposed, namely the Non-Dominated Quantum Optimization (NDQO) and the Non-Dominated Quantum Iterative Optimization (NDQIO). However, their complexity is proportional to $\sqrt{N}$, where $N$ corresponds to the total number of legitimate routes, thus still failing to find the solutions in "polynomial time". As a remedy, we devise a dynamic programming framework and propose the so-called Evolutionary Quantum Pareto Optimization (EQPO) algorithm. We analytically characterize the complexity imposed by the EQPO algorithm and demonstrate that it succeeds in solving the Pareto-optimal routing problem in polynomial time. Finally, we demonstrate by simulations that the EQPO algorithm achieves a complexity reduction, which is at least an order of magnitude, when compared to its predecessors, albeit at the cost of a modest heuristic accuracy reduction.


title: Plasma-Cascade micro-bunching Amplifier and Coherent electron Cooling of a Hadron Beams

abstract: In this paper we describe an instability, which we called a Plasma-Cascade Amplifier, occurring in electron beams propagating along a straight trajectory.


title: Verifying Controllers Against Adversarial Examples with Bayesian Optimization

abstract: Recent successes in reinforcement learning have lead to the development of complex controllers for real-world robots. As these robots are deployed in safety-critical applications and interact with humans, it becomes critical to ensure safety in order to avoid causing harm. A first step in this direction is to test the controllers in simulation. To be able to do this, we need to capture what we mean by safety and then efficiently search the space of all behaviors to see if they are safe. In this paper, we present an active-testing framework based on Bayesian Optimization. We specify safety constraints using logic and exploit structure in the problem in order to test the system for adversarial counter examples that violate the safety specifications. These specifications are defined as complex boolean combinations of smooth functions on the trajectories and, unlike reward functions in reinforcement learning, are expressive and impose hard constraints on the system. In our framework, we exploit regularity assumptions on individual functions in form of a Gaussian Process (GP) prior. We combine these into a coherent optimization framework using problem structure. The resulting algorithm is able to provably verify complex safety specifications or alternatively find counter examples. Experimental results show that the proposed method is able to find adversarial examples quickly.


title: Learning Optimal Policies from Observational Data

abstract: Choosing optimal (or at least better) policies is an important problem in domains from medicine to education to finance and many others. One approach to this problem is through controlled experiments/trials - but controlled experiments are expensive. Hence it is important to choose the best policies on the basis of observational data. This presents two difficult challenges: (i) missing counterfactuals, and (ii) selection bias. This paper presents theoretical bounds on estimation errors of counterfactuals from observational data by making connections to domain adaptation theory. It also presents a principled way of choosing optimal policies using domain adversarial neural networks. We illustrate the effectiveness of domain adversarial training together with various features of our algorithm on a semi-synthetic breast cancer dataset and a supervised UCI dataset (Statlog).


title: Advantages of versatile neural-network decoding for topological codes

abstract: Finding optimal correction of errors in generic stabilizer codes is a computationally hard problem, even for simple noise models. While this task can be simplified for codes with some structure, such as topological stabilizer codes, developing good and efficient decoders still remains a challenge. In our work, we systematically study a very versatile class of decoders based on feedforward neural networks. To demonstrate adaptability, we apply neural decoders to the triangular color and toric codes under various noise models with realistic features, such as spatially-correlated errors. We report that neural decoders provide significant improvement over leading efficient decoders in terms of the error-correction threshold. Using neural networks simplifies the process of designing well-performing decoders, and does not require prior knowledge of the underlying noise model.


title: Polariton Chemistry: controlling molecular dynamics with optical cavities

abstract: Molecular polaritons are the optical excitations which emerge when molecular transitions interact strongly with confined electromagnetic fields. Increasing interest in the hybrid molecular-photonic materials that host these excitations stems from recent observations of their novel and tunable chemistry. Some of the remarkable functionalities exhibited by polaritons include the ability to induce long-range excitation energy transfer, enhance charge conductivity, and inhibit or enhance chemical reactions. In this review, we explain the effective theories of molecular polaritons which form a basis for the interpretation and guidance of experiments at the strong coupling limit. The theoretical discussion is illustrated with the analysis of innovative applications of strongly coupled molecular-photonic systems to chemical phenomena of fundamental importance to future technologies.


title: Critical behavior in 3-d gravitational collapse of massless scalar fields

abstract: We present results from the first study of critical behavior in 3-d gravitational collapse. The source of the gravitational field is a massless scalar field. This is a well-studied case for spherically symmetric gravitational collapse, allowing us to understand the reliability and accuracy of the simulations. We study both supercritical and subcritical evolutions to see if one provides more accurate results than the other. We find that even for non-spherical initial data with 35 percent of the power in the $\ell=2$ spherical harmonic, the critical solution is the same as in spherical symmetry.


title: Kinematic Flexibility Analysis: Hydrogen Bonding Patterns Impart a Spatial Hierarchy of Protein Motion

abstract: Elastic network models (ENM) and constraint-based, topological rigidity analysis are two distinct, coarse-grained approaches to study conformational flexibility of macromolecules. In the two decades since their introduction, both have contributed significantly to insights into protein molecular mechanisms and function. However, despite a shared purpose of these approaches, the topological nature of rigidity analysis, and thereby the absence of motion modes, has impeded a direct comparison. Here, we present an alternative, kinematic approach to rigidity analysis, which circumvents these drawbacks. We introduce a novel protein hydrogen bond network spectral decomposition, which provides an orthonormal basis for collective motions modulated by non-covalent interactions, analogous to the eigenspectrum of normal modes, and decomposes proteins into rigid clusters identical to those from topological rigidity. Our kinematic flexibility analysis bridges topological rigidity theory and ENM, and enables a detailed analysis of motion modes obtained from both approaches. Our analysis reveals that collectivity of protein motions, reported by the Shannon entropy, is significantly lower for rigidity theory versus normal mode approaches. Strikingly, kinematic flexibility analysis suggests that the hydrogen bonding network encodes a protein-fold specific, spatial hierarchy of motions, which goes nearly undetected in ENM. This hierarchy reveals distinct motion regimes that rationalize protein stiffness changes observed from experiment and molecular dynamics simulations. A formal expression for changes in free energy derived from the spectral decomposition indicates that motions across nearly 40% of modes obey enthalpy-entropy compensation. Taken together, our analysis suggests that hydrogen bond networks have evolved to modulate protein structure and dynamics.


title: Inverse spectrum problem for quasi-stationary states

abstract: In this work we present a semi-classical approach to solve the inverse spectrum problem for one-dimensional wave equations for a specific class of potentials that admits quasi-stationary states. We show how inverse methods for potential wells and potential barriers can be generalized to reconstruct significant parts for the combined potentials. For the reconstruction one assumes the knowledge of the complex valued spectrum and uses the exponential smallness of its imaginary part. Analytic spectra are studied and a recent application of the method in the literature for gravitational wave physics is discussed. The method allows for a simple reconstruction of quasi-stationary state potentials from a given spectrum. Thus it might be interesting for different branches of physics and related fields.


title: Quantum Mechanics with Contextually Labeled Observables

abstract: In the Contextuality-by-Default theory random variables representing measurement outcomes are labeled contextually, i.e., not only by what they measure but also under what conditions (in what contexts) the measurements are made, including but not reducible to what other measurements are made "together" with the given one. We propose in this paper that the quantum observables generating these random variables be labeled contextually as well, making the sets of the observables in different contexts disjoint. A quantum observable is defined as a pair consisting of the observable's label and a self-adjoint operator in a Hilbert space. If a system is consistently connected (i.e., obeys "non-disturbance," "non-invasivenes," or "non-signaling" conditions), the observables measuring the same property in different contexts have the same operator. A set of random variables possessing a joint distribution is represented by commuting observables. The reverse, however, is not true: random variables from different contexts do not have a joint distribution irrespective of whether the corresponding observables commute. We illustrate this view of observables by deriving the Tsirelson bound for consistently connected cyclic systems of rank 3.


title: Adversarial vulnerability for any classifier

abstract: Despite achieving impressive performance, state-of-the-art classifiers remain highly vulnerable to small, imperceptible, adversarial perturbations. This vulnerability has proven empirically to be very intricate to address. In this paper, we study the phenomenon of adversarial perturbations under the assumption that the data is generated with a smooth generative model. We derive fundamental upper bounds on the robustness to perturbations of any classification function, and prove the existence of adversarial perturbations that transfer well across different classifiers with small risk. Our analysis of the robustness also provides insights onto key properties of generative models, such as their smoothness and dimensionality of latent space. We conclude with numerical experimental results showing that our bounds provide informative baselines to the maximal achievable robustness on several datasets.


title: Electroweak Logarithms in Inclusive Cross Sections

abstract: We develop the framework to perform all-orders resummation of electroweak logarithms of Q/M for inclusive scattering processes at energies Q much above the electroweak scale M. We calculate all ingredients needed at next-to-leading logarithmic (NLL) order and provide an explicit recipe to implement this for 2 $\to$ 2 processes. PDF evolution including electroweak corrections, which lead to Sudakov double logarithms, is computed. If only the invariant mass of the final state is measured, all electroweak logarithms can be resummed by the PDF evolution, at least to LL. However, simply identifying a lepton in the final state requires the corresponding fragmentation function and introduces angular dependence through the exchange of soft gauge bosons. Furthermore, we show the importance of polarization effects for gauge bosons, due to the chiral nature of SU(2) - even the gluon distribution in an unpolarized proton becomes polarized at high scales due to electroweak effects. We justify our approach with a factorization analysis, finding that the objects entering the factorization theorem do not need to be SU(2) $\times$ U(1) gauge singlets, even though we perform the factorization and resummation in the symmetric phase. We also discuss a range of extensions, including jets and how to calculate the EW logarithms when you are fully exclusive in the central (detector) region and fully inclusive in the forward (beam) regions.


title: Chandra and XMM-Newton Observations of the Abell 3391/Abell 3395 Intercluster Filament

abstract: We present Chandra and XMM-Newton X-ray observations of the Abell 3391/Abell 3395 intercluster filament. It has been suggested that the galaxy clusters Abell 3395, Abell 3391, and the galaxy group ESO-161 located between the two clusters, are in alignment along a large-scale intercluster filament. We find that the filament is aligned close to the plane of the sky, in contrast to previous results. We find a global projected filament temperature kT = $4.45_{-0.55}^{+0.89}$~keV, electron density $n_e=1.08^{+0.06}_{-0.05} \times 10^{-4}$~cm$^{-3}$, and $M_{\rm gas} = 2.7^{+0.2}_{-0.1} \times 10^{13}$~M$_\odot$. The thermodynamic properties of the filament are consistent with that of intracluster medium (ICM) of Abell 3395 and Abell 3391, suggesting that the filament emission is dominated by ICM gas that has been tidally disrupted during an early stage merger between these two clusters. We present temperature, density, entropy, and abundance profiles across the filament. We find that the galaxy group ESO-161 may be undergoing ram pressure stripping in the low density environment at or near the virial radius of both clusters due to its rapid motion through the filament.


title: Enhanced stellar activity for slow antisolar differential rotation?

abstract: High precision photometry of solar-like members of the open cluster M67 with Kepler/K2 data has recently revealed enhanced activity for stars with a large Rossby number, which is the ratio of rotation period to the convective turnover time. Contrary to the well established behavior for shorter rotation periods and smaller Rossby numbers, the chromospheric activity of the more slowly rotating stars of M67 was found to increase with increasing Rossby number. Such behavior has never been reported before, although it was theoretically predicted to emerge as a consequence of antisolar differential rotation (DR) for stars with Rossby numbers larger than that of the Sun, because in those models the absolute value of the DR was found to exceed that for solar-like DR. Using gyrochronological relations and an approximate age of 4 Gyr for the members of M67, we compare with computed rotation rates using just the B-V color. The resulting rotation--activity relation is found to be compatible with that obtained by employing the measured rotation rate. This provides additional support for the unconventional enhancement of activity at comparatively low rotation rates and the possible presence of antisolar differential rotation.


title: "You are no Jack Kennedy": On Media Selection of Highlights from Presidential Debates

abstract: Political speeches and debates play an important role in shaping the images of politicians, and the public often relies on media outlets to select bits of political communication from a large pool of utterances. It is an important research question to understand what factors impact this selection process. To quantitatively explore the selection process, we build a three- decade dataset of presidential debate transcripts and post-debate coverage. We first examine the effect of wording and propose a binary classification framework that controls for both the speaker and the debate situation. We find that crowdworkers can only achieve an accuracy of 60% in this task, indicating that media choices are not entirely obvious. Our classifiers outperform crowdworkers on average, mainly in primary debates. We also compare important factors from crowdworkers' free-form explanations with those from data-driven methods and find interesting differences. Few crowdworkers mentioned that "context matters", whereas our data show that well-quoted sentences are more distinct from the previous utterance by the same speaker than less-quoted sentences. Finally, we examine the aggregate effect of media preferences towards different wordings to understand the extent of fragmentation among media outlets. By analyzing a bipartite graph built from quoting behavior in our data, we observe a decreasing trend in bipartisan coverage.


title: From few- to many-body quantum systems

abstract: How many particles are necessary to make a quantum system many-body? To answer this question, we take as reference for the many-body limit a quantum system at half-filling and compare its properties with those of a system with $N$ particles, gradually increasing $N$ from 1. We show that convergence for the static properties of the system with few particles to the many-body limit is fast. For $N \gsim 4$, the density of states is already very close to Gaussian and signatures of many-body quantum chaos, such as level repulsion and fully extended eigenstates, become evident. The dynamics, on the other hand, depend on the initial state and time scale. In dilute systems, as the particles move away from each other, the entropy growth changes in time from linear, as typical for many-body systems, to logarithmic.


title: X-ray properties of high-richness CAMIRA clusters in the Hyper Suprime-Cam Subaru Strategic Program field

abstract: We present the first results of a pilot X-ray study of 37 rich galaxy clusters at $0.1<z<1.1$ in the Hyper Suprime-Cam Subaru Strategic Program (HSC-SSP) field. Diffuse X-ray emissions from these clusters were serendipitously detected in the XMM-Newton fields of view. We systematically analyze X-ray images of 37 clusters and emission spectra of a subsample of 17 clusters with high photon statistics by using the XMM-Newton archive data. The frequency distribution of the offset between the X-ray centroid or peak and the position of the brightest cluster galaxy was derived for the optical cluster sample. The fraction of relaxed clusters estimated from the X-ray peak offsets in 17 clusters is $29\pm11(\pm13)$\%, which is smaller than that of the X-ray cluster samples such as HIFLUGCS. Since the optical cluster search is immune to the physical state of X-ray-emitting gas, it is likely to cover a larger range of the cluster morphology. We also derived the luminosity-temperature relation and found that the slope is marginally shallower than those of X-ray-selected samples and consistent with the self-similar model prediction of 2. Accordingly, our results show that the X-ray properties of the optical clusters are marginally different from those observed in the X-ray samples. The implication of the results and future prospects are briefly discussed.


title: Populations of planets in multiple star systems

abstract: Astronomers have discovered that both planets and binaries are abundant throughout the Galaxy. In combination, we know of over 100 planets in binary and higher-order multi-star systems, in both circumbinary and circumstellar configurations. In this chapter we review these findings and some of their implications for the formation of both stars and planets. Most of the planets found have been circumstellar, where there is seemingly a ruinous influence of the second star if sufficiently close (<50 AU). Hosts of hot Jupiters have been a particularly popular target for binary star studies, showing an enhanced rate of stellar multiplicity for moderately wide binaries (>100 AU). This was thought to be a sign of Kozai-Lidov migration, however recent studies have shown this mechanism to be too inefficient to account for the majority of hot Jupiters. A couple of dozen circumbinary planets have been proposed around both main sequence and evolved binaries. Around main sequence binaries there are preliminary indications that the frequency of gas giants is as high as those around single stars. There is however a conspicuous absence of circumbinary planets around the tightest main sequence binaries with periods of just a few days, suggesting a unique, more disruptive formation history of such close stellar pairs.


title: Scale-dependent galaxy bias, CMB lensing-galaxy cross-correlation, and neutrino masses

abstract: One of the most powerful cosmological datasets when it comes to constraining neutrino masses is represented by galaxy power spectrum measurements, $P_{gg}(k)$. The constraining power of $P_{gg}(k)$ is however severely limited by uncertainties in the modeling of the scale-dependent galaxy bias $b(k)$. In this Letter we present a new method to constrain $b(k)$ by using the cross-correlation between the Cosmic Microwave Background (CMB) lensing signal and galaxy maps ($C_\ell^{\rm \kappa g}$) using a simple but theoretically well-motivated parametrization for $b(k)$. We apply the method using $C_\ell^{\rm \kappa g}$ measured by cross-correlating Planck lensing maps and the Baryon Oscillation Spectroscopic Survey (BOSS) Data Release 11 (DR11) CMASS galaxy sample, and $P_{gg}(k)$ measured from the BOSS DR12 CMASS sample. We detect a non-zero scale-dependence at moderate significance, which suggests that a proper modeling of $b(k)$ is necessary in order to reduce the impact of non-linearities and minimize the corresponding systematics. The accomplished increase in constraining power of $P_{gg}(k)$ is demonstrated by determining a 95% C.L. upper bound on the sum of the three active neutrino masses $M_{\nu}$ of $M_{\nu}<0.19\, {\rm eV}$. This limit represents a significant improvement over previous bounds with comparable datasets. Our method will prove especially powerful and important as future large-scale structure surveys will overlap more significantly with the CMB lensing kernel providing a large cross-correlation signal.

categories: astro-ph.CO astro-ph.GA astro-ph.HE gr-qc hep-ph


title: Short-lived radioisotopes in meteorites from Galactic-scale correlated star formation

abstract: Meteoritic evidence shows that the Solar system at birth contained significant quantities of short-lived radioisotopes (SLRs) such as 60Fe and 26Al (with half-lives of 2.6 and 0.7 Myr respectively) produced in supernova explosions and in the Wolf-Rayet winds that precede them. Proposed explanations for the high SLR abundance include formation of the Sun in a supernova-triggered collapse or in a giant molecular cloud (GMC) that was massive enough to survive multiple supernovae (SNe) and confine their ejecta. However, the former scenario is possible only if the Sun is a rare outlier among massive stars, while the latter appears to be inconsistent with the observation that 26Al is distributed with a scale height significantly larger than GMCs. In this paper, we present a high-resolution chemo-hydrodynamical simulation of the entire Milky-Way Galaxy, including stochastic star formation, HII regions, SNe, and element injection, that allows us to measure for the distribution of 60Fe/56Fe and 26Al/27Al ratios over all stars in the Galaxy. We show that the Solar System's abundance ratios are well within the normal range, but that SLRs originate neither from triggering nor from confinement in long-lived clouds as previously conjectured. Instead, we find that SLRs are abundant in newborn stars because star formation is correlated on galactic scales, so that ejecta preferentially enrich atomic gas that will subsequently be accreted onto existing GMCs or will form new ones. Thus new generations of stars preferentially form in patches of the Galaxy contaminated by previous generations of stellar winds and supernovae.


title: Correlation Functions of the Quantum Sine-Gordon Model in and out of Equilibrium

abstract: Complete information on the equilibrium behaviour and dynamics of a quantum field theory (QFT) is provided by multipoint correlation functions. However, their theoretical calculation is a challenging problem, even for exactly solvable models. This has recently become an experimentally relevant problem, due to progress in cold-atom experiments simulating QFT models and directly measuring higher order correlations. Here we compute correlation functions of the quantum sine-Gordon model, a prototype integrable model of central interest from both theoretical and experimental points of view. Building upon the so-called Truncated Conformal Space Approach, we numerically construct higher order correlations in a system of finite size in various physical states of experimental relevance, both in and out of equilibrium. We measure deviations from Gaussianity due to the presence of interaction and analyse their dependence on temperature, explaining the experimentally observed crossover between Gaussian and non-Gaussian regimes. We find that correlations of excited states are markedly different from the thermal case, which can be explained by the integrability of the system. We also study dynamics after a quench, observing the effects of the interaction on the time evolution of correlation functions, their spatial dependence, and their non-Gaussianity as measured by the kurtosis.

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


title: Photochemistry, mixing and transport in Jupiter's stratosphere constrained by Cassini

abstract: We aim at constraining the diffusive and advective transport processes in Jupiter's stratosphere. The IR spectrum recorded by Cassini/CIRS during the Jupiter flyby contains the fingerprints of several atmospheric compounds and allows probing its atmospheric composition. C2H2 and C2H6, the main compounds produced by methane photochemistry, were retrieved as a function of latitude at certain pressure levels. CIRS observations suggest a different meridional distribution for these two species, difficult to reconcile with their photochemical histories, which are thought to be coupled to the methane photolysis. While the C2H2 abundance decreases with latitude, C2H6 becomes more abundant at high latitudes. A new 2D (latitude-altitude) seasonal photochemical model is developed to study whether the addition of stratospheric transport processes, such as meridional diffusion and advection, can explain the latitudinal behavior of C2H2 and C2H6. C2H2 observations are fairly well reproduced without meridional diffusion. Adding meridional diffusion to the model provides an improved agreement with the C2H6 observations by flattening its meridional distribution, but degrades the fit to the C2H2 distribution. Meridional diffusion alone cannot produce the observed increase with latitude of C2H6. When adding advective transport between 30 mbar and 0.01 mbar, with upwelling winds at the equator and downwelling winds at high latitudes, we can reproduce the C2H6 abundance increase with latitude. However, the fit to the C2H2 distribution is degraded. The strength of the advective winds needed to reproduce the C2H6 abundances is very sensitive to the value of the meridional eddy diffusion coefficient. The coupled fate of C2H2 and C2H6 suggests that an additional process is missing in the model. Ion-neutral chemistry was not accounted for in this work and might be a good candidate to solve this issue.


title: Emergence and the Swampland Conjectures

abstract: The Ooguri-Vafa Swampland Conjectures claim that in any consistent theory of quantum gravity, when venturing to large distances in scalar field space, a tower of particles will become light at a rate that is exponential in the field space distance. We provide a novel viewpoint on this claim: if we assume that a tower of states becomes light near a particular point in field space, and we further demand that loop corrections drive both gravity and the scalar to strong coupling at a common energy scale, then the requirement that the particles become light exponentially fast in the field-space distance in Planck units follows automatically. Furthermore, the same assumption of a common strong-coupling scale for scalar fields and gravitons implies that when a scalar field evolves over a super-Planckian distance, the average particle mass changes by an amount of order the cutoff energy. This supports earlier suggestions that significantly super-Planckian excursions in field space cannot be described within a single effective field theory. We comment on the relationship of our results to the Weak Gravity Conjecture.


title: Local effectivity in projective spaces

abstract: In this note we introduce a Waldschmidt decomposition of divisors which might be viewed as a generalization of Zariski decomposition based on the effectivity rather than the nefness of divisors. As an immediate application we prove a recursive formula providing new effective lower bounds on Waldschmidt constants of very general points in projective spaces. We use these bounds in order to verify Demailly's conjecture in a number of new cases.


title: The Sprague-Grundy function for some selective compound games

abstract: We analyze the Sprague-Grundy functions for a class of almost disjoint selective compound games played on Nim heaps. Surprisingly, we find that these functions behave chaotically for smaller Sprague-Grundy values of each component game yet predictably when any one heap is sufficiently large.