title: Reframing the S\&P500 Network of Stocks along the \nth{21} Century

abstract: Since the beginning of the new millennium, stock markets went through every state from long-time troughs, trade suspensions to all-time highs. The literature on asset pricing hence assumes random processes to be underlying the movement of stock returns. Observed procyclicality and time-varying correlation of stock returns tried to give the apparently random behavior some sort of structure. However, common misperceptions about the co-movement of asset prices in the years preceding the \emph{Great Recession} and the \emph{Global Commodity Crisis}, is said to have even fueled the crisis' economic impact. Here we show how a varying macroeconomic environment influences stocks' clustering into communities. From a sample of 296 stocks of the S\&P 500 index, distinct periods in between 2004 and 2011 are used to develop networks of stocks. The Minimal Spanning Tree analysis of those time-varying networks of stocks demonstrates that the crises of 2007-2008 and 2010-2011 drove the market to clustered community structures in both periods, helping to restore the stock market's ceased order of the pre-crises era. However, a comparison of the emergent clusters with the \textit{General Industry Classification Standard} conveys the impression that industry sectors do not play a major role in that order.


title: An Optimal Approximation for Submodular Maximization under a Matroid Constraint in the Adaptive Complexity Model

abstract: In this paper we study submodular maximization under a matroid constraint in the adaptive complexity model. This model was recently introduced in the context of submodular optimization in [BS18a] to quantify the information theoretic complexity of black-box optimization in a parallel computation model. Informally, the adaptivity of an algorithm is the number of sequential rounds it makes when each round can execute polynomially-many function evaluations in parallel. Since submodular optimization is regularly applied on large datasets we seek algorithms with low adaptivity to enable speedups via parallelization. Consequently, a recent line of work has been devoted to designing constant factor approximation algorithms for maximizing submodular functions under various constraints in the adaptive complexity model [BS18a, BS18b, BBS18, BRS19, EN19, FMZ19, CQ19, ENV18, FMZ18]. Despite the burst in work on submodular maximization in the adaptive complexity model the fundamental problem of maximizing a monotone submodular function under a matroid constraint has remained elusive. In particular, all known techniques fail for this problem and there are no known constant factor approximation algorithms whose adaptivity is sublinear in the rank of the matroid $k$ or in the worst case sublinear in the size of the ground set $n$. In this paper we present an approximation algorithm for the problem of maximizing a monotone submodular function under a matroid constraint in the adaptive complexity model. The approximation guarantee of the algorithm is arbitrarily close to the optimal $1-1/e$ and it has near optimal adaptivity of $O(\log(n)\log(k))$. This result is obtained using a novel technique of adaptive sequencing which departs from previous techniques for submodular maximization in the adaptive complexity model.


title: CIGALE: a python Code Investigating GALaxy Emission

abstract: Context. Measuring how the physical properties of galaxies change across cosmic times is essential to understand galaxy formation and evolution. With the advent of numerous ground-based and space-borne instruments launched over the past few decades we now have exquisite multi-wavelength observations of galaxies from the FUV to the radio domain. To tap into this mine of data and obtain new insight into the formation and evolution of galaxies, it is essential that we are able to extract information from their SED. Aims. We present a completely new implementation of CIGALE. Written in python, its main aims are to easily and efficiently model the FUV to radio spectrum of galaxies and estimate their physical properties such as star formation rate, attenuation, dust luminosity, stellar mass, and many other physical quantities. Methods. To compute the spectral models, CIGALE builds composite stellar populations from simple stellar populations combined with highly flexible star formation histories, calculates the emission from gas ionised by massive stars, and attenuates both the stars and the ionised gas with a highly flexible attenuation curve. Based on an energy balance principle, the absorbed energy is then re-emitted by the dust in the mid- and far-infrared domains while thermal and non-thermal components are also included, extending the spectrum far into the radio range. A large grid of models is then fitted to the data and the physical properties are estimated through the analysis of the likelihood distribution. Results. CIGALE is a versatile and easy-to-use tool that makes full use of the architecture of multi-core computers, building grids of millions of models and analysing samples of thousands of galaxies, both at high speed. Beyond fitting the SEDs of galaxies and parameter estimations, it can also be used as a model-generation tool or serve as a library to build new applications.


title: Constraints on the existence of dark matter haloes by the M81 group and the Hickson compact groups of galaxies

abstract: According to the standard model of cosmology the visible, baryonic matter of galaxies is embedded in dark matter haloes, thus extending the mass and the size of galaxies by one to two orders of magnitude. Taking into account dynamical friction between the dark matter haloes, the nearby located M81 group of galaxies as well as the Hickson compact groups of galaxies are here investigated with regard to their dynamical behaviour. The results of the employment of the Markov Chain Monte Carlo method and the genetic algorithm show statistically substantial merger rates between galaxies, and long living constellations without merging galaxies comprise - apart from very few instances - initially unbound systems only. This result is derived based on three- and four-body calculations for a model of rigid Navarro-Frenk-White profiles for the dark matter haloes, but verified by the comparison to randomly chosen individual solutions for the M81 galaxy group with high-resolution simulations of live self-consistent systems (N-body calculations). In consequence, the observed compact configurations of major galaxies are a very unlikely occurence if dark matter haloes exist.


title: Flux unwinding in the lattice Schwinger model

abstract: We study the dynamics of the massive Schwinger model on a lattice using exact diagonalization. When periodic boundary conditions are imposed, analytic arguments indicate that a non-zero electric flux in the initial state can "unwind" and decrease to a minimum value equal to minus its initial value, due to the effects of a pair of charges that repeatedly traverse the spatial circle. Our numerical results support the existence of this flux unwinding phenomenon, both for initial states containing a charged pair inserted by hand, and when the charges are produced by Schwinger pair production. We also study boundary conditions where charges are confined to an interval and flux unwinding cannot occur, and the massless limit, where our results agree with the predictions of the bosonized description of the Schwinger model.


title: Complexity and the bulk volume, a new York time story

abstract: We study the boundary description of the volume of maximal Cauchy slices using the recently derived equivalence between bulk and boundary symplectic forms. The volume of constant mean curvature slices is known to be canonically conjugate to "York time". We use this to construct the boundary deformation that is conjugate to the volume in a handful of examples, such as empty AdS, a backreacting scalar condensate, or the thermofield double at infinite time. We propose a possible natural boundary interpretation for this deformation and use it to motivate a concrete version of the complexity=volume conjecture, where the boundary complexity is defined as the energy of geodesics in the K\"ahler geometry of half sided sources. We check this conjecture for Ba\~nados geometries and a mini-superspace version of the thermofield double state. Finally, we show that the precise dual of the quantum information metric for marginal scalars is given by a particularly simple symplectic flux, instead of the volume as previously conjectured.


title: LSST Target-of-Opportunity Observations of Gravitational Wave Events: Essential and Efficient

abstract: We present simulated observations to assess the ability of LSST and the WFD survey to detect and characterize kilonovae - the optical emission associated with binary neutron star (and possibly black hole - neutron star) mergers. We expand on previous studies in several critical ways by exploring a range of kilonova models and several choices of cadence, as well as by evaluating the information content of the resulting light curves. We find that, depending on the precise choice of cadence, the WFD survey will achieve an average kilonova detection efficiency of $\approx 1.6-2.5\%$ and detect only $\approx 3-6$ kilonovae per year. The detected kilonovae will be within the detection volume of Advanced LIGO/Virgo (ALV). By refitting the best resulting LSST light curves with the same model used to generate them we find the model parameters are generally weakly constrained, and are accurate to at best a factor of $2-3$. Motivated by the finding that the WFD will yield a small number of kilonova detections, with poor light curves and marginal information content, and that the detections are in any case inside the ALV volume, we argue that target-of-opportunity follow-up of gravitational wave triggers is a much more effective approach for kilonova studies. We outline the qualitative foundation for such a program with the goal of minimizing the impact on LSST operations. We argue that observations in the $gz$-bands with a total time investment per event of $\approx 1.5$ hour per 10 deg$^2$ of search area is sufficient to rapidly detect and identify kilonovae with $\gtrsim 90\%$ efficiency. For an estimated event rate of $\sim20$ per year visible to LSST, this accounts for $\sim1.5\%$ of the total survey time. In this regime, LSST has the potential to be a powerful tool for kilonovae discovery, with detected events handed off to other narrow-field facilities for further monitoring.


title: Tracing the formation of the Milky Way through ultra metal-poor stars

abstract: We use Gaia DR2 astrometric and photometric data, published radial velocities and MESA models to infer distances, orbits, surface gravities, and effective temperatures for all ultra metal-poor stars ($\FeH<-4.0$ dex) available in the literature. Assuming that these stars are old ($>11\Gyr$) and that they are expected to belong to the Milky Way halo, we find that these 42 stars (18 dwarf stars and 24 giants or sub-giants) are currently within $\sim20\kpc$ of the Sun and that they map a wide variety of orbits. A large fraction of those stars remains confined to the inner parts of the halo and was likely formed or accreted early on in the history of the Milky Way, while others have larger apocentres ($>30\kpc$), hinting at later accretion from dwarf galaxies. Of particular interest, we find evidence that a significant fraction of all known UMP stars ($\sim26$\%) are on prograde orbits confined within $3\kpc$ of the Milky Way plane ($J_z < 100 \kms \kpc$). One intriguing interpretation is that these stars belonged to the massive building block(s) of the proto-Milky Way that formed the backbone of the Milky Way disc. Alternatively, they might have formed in the early disc and have been dynamically heated, or have been brought into the Milky Way by one or more accretion events whose orbit was dragged into the plane by dynamical friction before disruption. The combination of the exquisite Gaia DR2 data and surveys of the very metal-poor sky opens an exciting era in which we can trace the very early formation of the Milky Way.


title: SOFIA Community Science I: HAWC+ Polarimetry of 30 Doradus

abstract: The Stratospheric Observatory for Infrared Astronomy (SOFIA) is a Boeing 747SP aircraft modified to accommodate a 2.7 meter gyro-stabilized telescope, which is mainly focused to studying the Universe at infrared wavelengths. As part of the Strategic Director's Discretionary Time (S-DDT) program, SOFIA performs observations of relevant science cases and immediately offers science-ready data products to the astronomical community. We present the first data release of the S-DDT program on far-infrared imaging polarimetric observations of 30 Doradus using the High-resolution Airborne Wideband Camera-Plus (HAWC+) at 53, 89, 154, and 214 micron. We present the status and quality of the observations, an overview of the SOFIA data products, and examples of working with HAWC+ polarimetric data that will enhance the scientific analysis of this, and future, data sets. These observations illustrate the potential influence of magnetic fields and turbulence in a star-forming region within the Tarantula Nebula.


title: Variations on the Vev Flip-Flop: Instantaneous Freeze-out and Decaying Dark Matter

abstract: In this work we consider a simple model for dark matter and identify regions of parameter space where the relic abundance is set via kinematic thresholds, which open and close due to thermal effects. We discuss instantaneous freeze-out, where dark matter suddenly freezes-out when the channel connecting dark matter to the thermal bath closes, and decaying dark matter, where dark matter freezes-out while relativistic and later decays when a kinematic threshold temporarily opens. These mechanisms can occur in the vicinity of a one-step or a two-step phase transition. In all cases thermal effects provide this dynamic behaviour, while ensuring that dark matter remains stable until the present day.


title: An automated search for transiting exocomets

abstract: This paper discusses an algorithm for detecting single transits in photometric time-series data. Specifically, we aim to identify asymmetric transits with ingress that is more rapid than egress, as expected for cometary bodies with a significant tail. The algorithm is automated, so can be applied to large samples and only a relatively small number of events need to be manually vetted. We applied this algorithm to all long cadence light curves from the Kepler mission, finding 16 candidate transits with significant asymmetry, 11 of which were found to be artefacts or symmetric transits after manual inspection. Of the 5 remaining events, four are the 0.1% depth events previously identified for KIC 3542116 and 11084727. We identify HD 182952 (KIC 8027456) as a third system showing a potential comet transit. All three stars showing these events have H-R diagram locations consistent with $\sim$100Myr-old open cluster stars, as might be expected given that cometary source regions deplete with age, and giving credence to the comet hypothesis. If these events are part of the same population of events as seen for KIC 8462852, the small increase in detections at 0.1% depth compared to 10% depth suggests that future work should consider whether the distribution is naturally flat, or if comets with symmetric transits in this depth range remain undiscovered. Future searches relying on asymmetry should be more successful if they focus on larger samples and young stars, rather than digging further into the noise.


title: Kosterlitz-Thouless scaling at many-body localization phase transitions

abstract: We propose a scaling theory for the many-body localization (MBL) phase transition in one dimension, building on the idea that it proceeds via a 'quantum avalanche'. We argue that the critical properties can be captured at a coarse-grained level by a Kosterlitz-Thouless (KT) renormalization group (RG) flow. On phenomenological grounds, we identify the scaling variables as the density of thermal regions and the lengthscale that controls the decay of typical matrix elements. Within this KT picture, the MBL phase is a line of fixed points that terminates at the delocalization transition. We discuss two possible scenarios distinguished by the distribution of rare, fractal thermal inclusions within the MBL phase. In the first scenario, these regions have a stretched exponential distribution in the MBL phase. In the second scenario, the near-critical MBL phase hosts rare thermal regions that are power-law distributed in size. This points to the existence of a second transition within the MBL phase, at which these power-laws change to the stretched exponential form expected at strong disorder. We numerically simulate two different phenomenological RGs previously proposed to describe the MBL transition. Both RGs display a universal power-law length distribution of thermal regions at the transition with a critical exponent $\alpha_c=2$, and continuously varying exponents in the MBL phase consistent with the KT picture.

categories: cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el


title: Dust Polarization Toward Embedded Protostars in Ophiuchus with ALMA. II. IRAS 16293-2422

abstract: We present high-resolution (~ 35 au) ALMA Band 6 1.3 mm dust polarization observations of IRAS 16293. These observations spatially resolve the dust polarization across the two protostellar sources and toward the filamentary structures between them. The dust polarization and inferred magnetic field have complicated structures throughout the region. In particular, we find that the magnetic field is aligned parallel to three filamentary structures. We characterize the physical properties of the filamentary structure that bridges IRAS 16293A and IRAS 16293B and estimate a magnetic field strength of 23-78 mG using the Davis-Chandrasekhar-Fermi method. We construct a toy model for the bridge material assuming that the young stars dominate the mass and gravitational potential of the system. We find that the expected gas flow to each star is of comparable order to the Alfven speed, which suggests that the field may be regulating the gas flow. We also find that the bridging material should be depleted in ~ 1000 yr. If the bridge is part of the natal filament that formed the stars, then it must have accreted new material. Alternatively, the bridge could be a transient structure. Finally, we show that the 1.3 mm polarization morphology of the optically thick IRAS 16293B system is qualitatively similar to dust self-scattering. Based on similar polarization measurements at 6.9 mm, we propose that IRAS 16293B has produced a substantial population of large dust grains with sizes between 200 and 2000 um.


title: Spin Hall effect in 2D metallic delafossite PtCoO$_2$ and vicinity topology

abstract: The two-dimensional (2D) metal PtCoO$_2$ is renowned for the lowest room temperature resistivity among all oxides, close to that of the top two materials Ag and Cu. In addition, we theoretically predict a strong intrinsic spin Hall effect. This originates from six strongly-tilted Dirac cones that we find in the electronic structure near the Fermi surface, where a gap is opened by large spin-orbit coupling (SOC). This is underpinned by rich topological properties; in particular, the phenomenology of a mirror Chern metal is realized not exactly, but very accurately, on account of an approximate crystalline symmetry. We expect that such 'vicinity topology' to be a feature of relevance well beyond this material. Our Wilson loop analysis indicates further elaborate features such as fragile topology. These findings highlight PtCoO$_2$ as a promising material for spintronic applications as well as a platform to study the interplay of symmetry and topology.


title: Massive star winds and HMXB donors

abstract: Understanding the complex behavior of High Mass X-ray binaries (HMXBs) is not possible without detailed information about their donor stars. While crucial, this turns out to be a challenge on multiple fronts. First, multi-wavelength spectroscopy is vital. As such systems can be highly absorbed, this is often already hard to accomplish. Secondly, even if the spectroscopic data is available, the determination of reliable stellar parameters requires sophisticated model atmospheres that accurately describe the outermost layers and the wind of the donor star. For early-type donors, the stellar wind is radiatively driven and there is a smooth transition between the outermost layers of the star and the wind. The intricate non-LTE conditions in the winds of hot stars complicate the situation even further, as proper model atmospheres need to account for a multitude of physics to accurately provide stellar and wind parameters. The latter are especially crucial for the so-called "wind-fed" HXMBs, where the captured wind of the supergiant donor is the only source for the material accreted by the compact object. In this review I will address the different approaches for treating stellar winds in the analysis of HMXBs. Fundamentals of stellar atmosphere modeling are discussed, also addressing the limitations of modern models and examples from recent analysis results for particular HMXBs. Moreover, the path for the next generation of stellar atmosphere models will be outlined, where models can be used not only for measurements, but also to make predictions and provide a laboratory for theoretical conclusions. Stellar atmospheres are a key tool in understanding HMXBs, e.g. by providing insights about the accretion of stellar winds onto the compact object, or by placing the studied systems in the correct evolutionary context in order to identify potential gravitational wave (GW) progenitors.


title: The Evolution of Molecular Gas Fraction Traced by the CO Tully-Fisher Relation

abstract: Carbon monoxide (CO) observations show a luminosity$-$line-width correlation that evolves with redshift. We present a method to use CO measurements alone to infer the molecular gas fraction ($f_{\rm mol}$) and constrain the CO$-$H$_2$ conversion factor ($\alpha_{\rm CO}$). We compile from the literature spatially integrated low-$J$ CO observations of six galaxy populations, including a total of 449 galaxies between $0.01 \leq z \leq 3.26$. The CO data of each population provide an estimate of the $\alpha_{\rm CO}$-normalized mean molecular gas fraction ($f_{\rm mol}/\alpha_{\rm CO}$). The redshift evolution of the luminosity$-$line-width correlation thus indicates an evolution of $f_{\rm mol}/\alpha_{\rm CO}$. We use a Bayesian-based Monte-Carlo Markov Chain sampler to derive the posterior probability distribution functions of $f_{\rm mol}/\alpha_{\rm CO}$ for these galaxy populations, accounting for random inclination angles and measurement errors in the likelihood function. We find that the molecular gas fraction evolves rapidly with redshift, $f_{\rm mol} \propto (1+z)^\beta$ with $\beta \simeq 2$, for both normal star-forming and starburst galaxies. Furthermore, the evolution trend agrees well with that inferred from the Kennicutt-Schmidt relation and the star-forming main sequence. Finally, at $z < 0.1$ normal star-forming galaxies require a $\sim5\times$ larger $\alpha_{\rm CO}$ than starburst galaxies to match their molecular gas fractions, but at $z > 1$ both star-forming types exhibit sub-Galactic $\alpha_{\rm CO}$ values and normal star-forming galaxies appear more gas-rich than starbursts. Future applications of this method include calibrating Tully-Fisher relations without inclination correction and inferring the evolution of the atomic gas fraction with HI observations.


title: Testing Feedback Regulated Star Formation in Gas Rich, Turbulent Disk Galaxies

abstract: In this paper we compare the molecular gas depletion times and mid-plane hydrostatic pressure in turbulent, star forming disk galaxies to internal properties of these galaxies. For this analysis we use 17 galaxies from the DYNAMO sample of nearby ($z\sim0.1$) turbulent disks. We find a strong correlation, such that galaxies with lower molecular gas depletion time (t_{dep}) have higher gas velocity dispersion ($\sigma$). Within the scatter of our data, our observations are consistent with the prediction that depletion time is inversely proportionate to velocity dispersion made in theories of feedback-regulated star formation. We also show a strong, single power-law correlation between mid-plane pressure (P) and star formation rate surface density (Sigma_{SFR}), which extends for 6 orders of magnitude in pressure. Disk galaxies with lower pressure are found to be roughly in agreement with theoretical predictions. However, in galaxies with high pressure we find P/Sigma_{SFR} values that are significantly larger than theoretical predictions. Our observations could be explained with any of the following: (1) the correlation of \Sigma_{SFR}-P is significantly sub-linear; (2) the momentum injected from star formation feedback (so-called p*/m*) is not a single, universal value; or (3) alternate sources of pressure support are important in gas-rich disk galaxies. Finally using published survey results, we find that our results are consistent with the cosmic evolution of t_{dep}(z) and velocity dispersion. Our interpretation of these results is that the cosmic evolution of t_{dep} may be regulated not just by the supply of gas, but also the internal regulation of star formation via feedback.


title: Astrophysical Quantum Matter: Spinless charged particles on a magnetic dipole sphere

abstract: We consider the quantum mechanics of a spinless charged particle on a 2-dimensional sphere. When threaded with a magnetic monopole field, this is the well-known Haldane sphere that furnishes a translationally-invariant, incompressible quantum fluid state of a gas of electrons confined to the sphere. This letter presents the results of a novel variant of the Haldane solution where the monopole field is replaced by that of a dipole. We argue that this system is relevant to the physics on the surface of compact astrophysical objects like neutron stars.


title: Physics and geometry of knots-quivers correspondence

abstract: The recently conjectured knots-quivers correspondence relates gauge theoretic invariants of a knot $K$ in the 3-sphere to representation theory of a quiver $Q_{K}$ associated to the knot. In this paper we provide geometric and physical contexts for this conjecture within the framework of the large $N$ duality of Ooguri and Vafa, that relates knot invariants to counts of holomorphic curves with boundary on $L_{K}$, the conormal Lagrangian of the knot in the resolved conifold, and corresponding M-theory considerations. From the physics side, we show that the quiver encodes a 3d ${\mathcal N}=2$ theory $T[Q_{K}]$ whose low energy dynamics arises on the worldvolume of an M5 brane wrapping the knot conormal and we match the (K-theoretic) vortex partition function of this theory with the motivic generating series of $Q_{K}$. From the geometry side, we argue that the spectrum of (generalized) holomorphic curves on $L_{K}$ is generated by a finite set of basic disks. These disks correspond to the nodes of the quiver $Q_{K}$ and the linking of their boundaries to the quiver arrows. We extend this basic dictionary further and propose a detailed map between quiver data and topological and geometric properties of the basic disks that again leads to matching partition functions. We also study generalizations of A-polynomials associated to $Q_{K}$ and (doubly) refined version of LMOV invariants.


title: Recent developments for the optical model of nuclei

abstract: A brief overview of various approaches to the optical-model description of nuclei is presented. A survey of some of the formal aspects is given which links the Feshbach formulation for either the hole or particle Green's function to the time-ordered quantity of many-body theory. The link between the reducible self-energy and the elastic nucleon-nucleus scattering amplitude is also presented using the development of Villars. A brief summary of the essential elements of the multiple-scattering approach is also included. Several ingredients contained in the time-ordered Green's function are summarized for the formal framework of the dispersive optical model (DOM). Empirical approaches to the optical potential are reviewed with emphasis on the latest global parametrizations for nucleons and composites. Various calculations that start from an underlying realistic nucleon-nucleon interaction are discussed with emphasis on more recent work. The efficacy of the DOM is illustrated in relating nuclear structure and nuclear reaction information. Its use as an intermediate between experimental data and theoretical calculations is advocated. Applications of the use of optical models are pointed out in the context of the description of nuclear reactions other than elastic nucleon-nucleus scattering.


title: Magic state distillation with punctured polar codes

abstract: We present a scheme for magic state distillation using punctured polar codes. Our results build on some recent work by Bardet et al. (ISIT, 2016) who discovered that polar codes can be described algebraically as decreasing monomial codes. Using this powerful framework, we construct tri-orthogonal quantum codes (Bravyi et al., PRA, 2012) that can be used to distill magic states for the $T$ gate. An advantage of these codes is that they permit the use of the successive cancellation decoder whose time complexity scales as $O(N\log(N))$. We supplement this with numerical simulations for the erasure channel and dephasing channel. We obtain estimates for the dimensions and error rates for the resulting codes for block sizes up to $2^{20}$ for the erasure channel and $2^{16}$ for the dephasing channel. The dimension of the triply-even codes we obtain is shown to scale like $O(N^{0.8})$ for the binary erasure channel at noise rate $0.01$ and $O(N^{0.84})$ for the dephasing channel at noise rate $0.001$. The corresponding bit error rates drop to roughly $8\times10^{-28}$ for the erasure channel and $7 \times 10^{-15}$ for the dephasing channel respectively.


title: Minimal Purifications, Wormhole Geometries, and the Complexity=Action Proposal

abstract: We define a new criterion for selecting a specific minimal entanglement purification of given mixed states in generic quantum states using the entanglement of purification. We then propose that its holographic dual is the state living on the boundary of the entanglement wedge in the surface-state correspondence. Finally, we make some remarks about the relationship between this and the complexity equals action proposals.


title: An Extension of ETH to Non-Equilibrium Steady States

abstract: We extend the notion of the Eigenstate Thermalization Hypothesis (ETH) to Open Quantum Systems governed by the Gorini-Kossakowski-Lindblad-Sudarshan (GKLS) Master Equation. We present evidence that the eigenstates of non-equilibrium steady state (NESS) density matrices obey a generalization of ETH in boundary-driven systems when the bulk Hamiltonian is non-integrable, just as eigenstates of Gibbs density matrices are conjectured to do in equilibrium. This generalized ETH, which we call NESS-ETH, can be used to obtain representative pure states that reproduce the expectation values of few-body operators in the NESS. The density matrices of these representative pure states can be further interpreted as weak solutions of the GKLS Master Equation. Additionally, we explore the validity and breakdown of NESS-ETH in the presence of symmetries, integrability and many-body localization in the bulk Hamiltonian.


title: Blockwise Parallel Decoding for Deep Autoregressive Models

abstract: Deep autoregressive sequence-to-sequence models have demonstrated impressive performance across a wide variety of tasks in recent years. While common architecture classes such as recurrent, convolutional, and self-attention networks make different trade-offs between the amount of computation needed per layer and the length of the critical path at training time, generation still remains an inherently sequential process. To overcome this limitation, we propose a novel blockwise parallel decoding scheme in which we make predictions for multiple time steps in parallel then back off to the longest prefix validated by a scoring model. This allows for substantial theoretical improvements in generation speed when applied to architectures that can process output sequences in parallel. We verify our approach empirically through a series of experiments using state-of-the-art self-attention models for machine translation and image super-resolution, achieving iteration reductions of up to 2x over a baseline greedy decoder with no loss in quality, or up to 7x in exchange for a slight decrease in performance. In terms of wall-clock time, our fastest models exhibit real-time speedups of up to 4x over standard greedy decoding.


title: A postquantum theory of classical gravity?

abstract: The effort to discover a quantum theory of gravity is motivated by the need to reconcile the incompatibility between quantum theory and general relativity. Here, we present an alternative approach by constructing a consistent theory of classical gravity coupled to quantum field theory. The dynamics is linear in the density matrix, completely positive and trace preserving, and reduces to Einstein's theory of general relativity in the classical limit. Consequently, the dynamics doesn't suffer from the pathologies of the semiclassical theory based on expectation values. The assumption that general relativity is classical necessarily modifies the dynamical laws of quantum mechanics -- the theory must be fundamentally stochastic in both the metric degrees of freedom and in the quantum matter fields. This allows it to evade several no-go theorems purporting to forbid classical-quantum interactions. The measurement postulate of quantum mechanics is not needed -- the interaction of the quantum degrees of freedom with classical space-time necessarily causes decoherence in the quantum system. We first derive the general form of classical-quantum dynamics and consider realisations which have as its limit deterministic classical Hamiltonian evolution. The formalism is then applied to quantum field theory interacting with the classical space-time metric. One can view the classical-quantum theory as fundamental or as an effective theory useful for computing the back-reaction of quantum fields on geometry. We discuss a number of open questions from the perspective of both viewpoints.


title: Singular subgroups in $\tilde{A}_2$-groups and their von Neumann algebras

abstract: We show that certain amenable subgroups inside $\tilde{A}_2$-groups are singular in the sense of Boutonnet and Carderi. This gives a new family of examples of singular group von Neumann subalgebras. We also give a geometric proof that if $G$ is an acylindrically hyperbolic group, $H$ is an infinite amenable subgroup containing a loxodromic element, then $H<G$ is singular. Finally, we present (counter)examples to show both situations happen concerning maximal amenability of $LH$ inside $LG$ if $H$ does not contain loxodromic elements.


title: Derivation of the robustness from the concurrence

abstract: Adding the maximally mixed state with some weight to the entanglement system leads to disentanglement of the latter. For each predefined entangled state there exists a minimal value of this weight for which the system loses its entanglement properties. These values were proposed to be used as a quantitative measure of entanglement called robustness [G. Vidal and R. Tarrach, Phys. Rev. A 59, 141 (1999)]. Using the concurrence, we propose the derivation of this measure for the system of two-qubit. Namely, for a two-qubit pure state, an exact expression of robustness is obtained. Finally, in the same way, the robustness of special cases of mixed two-qubit states is calculated.


title: On the Complexity of Reconnaissance Blind Chess

abstract: This paper provides a complexity analysis for the game of reconnaissance blind chess (RBC), a recently-introduced variant of chess where each player does not know the positions of the opponent's pieces a priori but may reveal a subset of them through chosen, private sensing actions. In contrast to many commonly studied imperfect information games like poker, an RBC player does not know what the opponent knows or has chosen to learn, exponentially expanding the size of the game's information sets (i.e., the number of possible game states that are consistent with what a player has observed). Effective RBC sensing and moving strategies must account for the uncertainty of both players, an essential element of many real-world decision-making problems. Here we evaluate RBC from a game theoretic perspective, tracking the proliferation of information sets from the perspective of selected canonical bot players in tournament play. We show that, even for effective sensing strategies, the game sizes of RBC compare to those of Go while the average size of a player's information set throughout an RBC game is much greater than that of a player in Heads-up Limit Hold 'Em. We compare these measures of complexity among different playing algorithms and provide cursory assessments of the various sensing and moving strategies.


title: ColorUNet: A convolutional classification approach to colorization

abstract: This paper tackles the challenge of colorizing grayscale images. We take a deep convolutional neural network approach, and choose to take the angle of classification, working on a finite set of possible colors. Similarly to a recent paper, we implement a loss and a prediction function that favor realistic, colorful images rather than "true" ones. We show that a rather lightweight architecture inspired by the U-Net, and trained on a reasonable amount of pictures of landscapes, achieves satisfactory results on this specific subset of pictures. We show that data augmentation significantly improves the performance and robustness of the model, and provide visual analysis of the prediction confidence. We show an application of our model, extending the task to video colorization. We suggest a way to smooth color predictions across frames, without the need to train a recurrent network designed for sequential inputs.


title: A panchromatic spatially resolved study of the inner 500 pc of NGC 1052 - I: Stellar population

abstract: We map optical and near-infrared (NIR) stellar population properties of the inner 320$\times$535pc$^2$ of the elliptical galaxy NGC1052. The optical and NIR spectra were obtained using the Gemini Integral Field Units of the GMOS instrument and NIFS, respectively. By performing stellar population synthesis in the optical alone, we find that this region of the galaxy is dominated by old (t$>$10Gyr) stellar populations. Using the NIR, we find the nucleus to be dominated by old stellar populations, and a circumnuclear ring with younger ($\sim$2.5Gyr) stars. We also combined the optical and NIR datacubes and performed a panchromatic spatially resolved stellar population synthesis, which resulted in a dominance of older stellar populations, in agreement with optical results. We argue that the technique of combining optical and NIR data might be useful to isolate the contribution of stellar population ages with strong NIR absorption bands. We also derive the stellar kinematics and find that the stellar motions are dominated by a high ($\sim$240km$\cdot$s$^{-1}$) velocity dispersion in the nucleus, with stars also rotating around the center. Lastly, we measure the absorption bands, both in the optical and in the NIR, and find a nuclear drop in their equivalent widths. The favored explanation for this drop is a featureless continuum emission from the low luminosity active galactic nucleus.


title: Classification of cyber-physical production systems applications: Proposition of an analysis framework

abstract: Cyber-physical systems have encountered a huge success in the past decade in several scientific communities, and specifically in production topics. The main attraction of the concept relies in the fact that it encompasses many scientific topics that were distinct before. The downside is the lack of readability of the current developments about cyber-physical production systems (CPPS). Indeed, the large scientific area of CPPS makes it difficult to identify clearly and rapidly, in the various applications that were made of CPPS, what are the choices, best practices and methodology that are suggested and that could be used for a new application. This work intends to introduce an analysis framework able to classify those developments. An extensive study of literature enabled to extract the major criteria that are to be used in the framework, namely: Development Extent; Research Axis; Instrumenting; Communication standards; Intelligence deposit; Cognition level; Human factor. Several recent examples of CPPS developments in literature are used to illustrate the use of the framework and brief conclusions are drawn from the comparative analysis of those examples.


title: How reactant polarization can be used to change the effect of interference on reactive collisions

abstract: It is common knowledge that integral and differential cross sections (DCSs) are strongly dependent on the spatial distribution of the molecular axis of the reactants. Hence, by controlling the axis distribution, it is possible to either promote or hinder the yield of products into specific final states or scattering angles. This idea has been successfully implemented in experiments by polarizing the internuclear axis before the reaction takes place, either by manipulating the rotational angular distribution or by Stark effect in the presence of an orienting field. When there is a dominant reaction mechanism, characterized by a set of impact parameters and angles of attack, it is expected that a preparation that helps the system to reach the transition state associated with that mechanism will promote the reaction, whilst a different preparation would generally impair the reaction. However, when two or more competing mechanisms via interference contribute to the reaction into specific scattering angles and final states, it is not evident which would be the effect of changing the axis preparation. To address this problem, throughout this article we have simulated the effect that different experimental preparations have on the DCSs for the H + D2 reaction at relatively high energies, for which it has been shown that several competing mechanisms give rise to interference that shapes the DCS. To this aim, we have extended the formulation of the polarization dependent DCS to calculate polarization dependent generalized deflection functions of ranks greater than zero. Our results show that interference are very sensitive to changes in the internuclear axis preparation, and that the shape of the DCS can be controlled exquisitely.


title: Do all identically conserved geometric tensors come from actions? A status report

abstract: Noether's theorem, that local gauge variations of gauge invariant actions are identically conserved (more tautologically, that gauge variations of gauge invariants vanish) was established a century ago. Its converse, in the geometric context: are all identically conserved local symmetric tensors variations of some coordinate invariant action? remains unsolved to this day. We survey its present state and discuss some of our concrete attempts at a solution, including a significant improvement. For notational simplicity, details are primarily given in $D=2$, but we discuss generic $D$ as well.


title: Best approximations of non-linear mappings: Method of optimal injections

abstract: While the theory of operator approximation with any given accuracy is well elaborated, the theory of {best constrained} constructive operator approximation is still not so well developed. Despite increasing demands from applications this subject is hardly tractable because of intrinsic difficulties in associated approximation techniques. This paper concerns the best constrained approximation of a non-linear operator in probability spaces. We propose and justify a new approach and technique based on the following observation. Methods for best approximation are aimed at obtaining the best solution within a certain class; the accuracy of the solution is limited by the extent to which the class is suitable. By contrast, iterative methods are normally convergent but the convergence can be quite slow. Moreover, in practice only a finite number of iteration loops can be carried out and therefore, the final approximate solution is often unsatisfactorily inaccurate. A natural idea is to combine the methods for best approximation and iterative techniques to exploit their advantageous features. Here, we present an approach which realizes this. The proposed approximating operator has several degrees of freedom to minimize the associated error. In particular, one of the specific features of the approximating technique we develop is special random vectors called injections. They are determined in the way that allows us to further minimize the associated error.


title: Approximability of the Eight-vertex Model

abstract: We initiate a study of the classification of approximation complexity of the eight-vertex model defined over 4-regular graphs. The eight-vertex model, together with its special case the six-vertex model, is one of the most extensively studied models in statistical physics, and can be stated as a problem of counting weighted orientations in graph theory. Our result concerns the approximability of the partition function on all 4-regular graphs, classified according to the parameters of the model. Our complexity results conform to the phase transition phenomenon from physics. We introduce a quantum decomposition of the eight-vertex model and prove a set of closure properties in various regions of the parameter space. Furthermore, we show that there are extra closure properties on 4-regular planar graphs. These regions of the parameter space are concordant with the phase transition threshold. Using these closure properties, we derive polynomial time approximation algorithms via Markov chain Monte Carlo. We also show that the eight-vertex model is NP-hard to approximate on the other side of the phase transition threshold.


title: On the Structure of Linear Dislocation Field Theory

abstract: Uniqueness of solutions in the linear theory of non-singular dislocations, studied as a special case of plasticity theory, is examined. The status of the classical, singular Volterra dislocation problem as a limit of plasticity problems is illustrated by a specific example that clarifies the use of the plasticity formulation in the study of classical dislocation theory. Stationary, quasi-static, and dynamical problems for continuous dislocation distributions are investigated subject not only to standard boundary and initial conditions, but also to prescribed dislocation density. In particular, the dislocation density field can represent a single dislocation line. It is only in the static and quasi-static traction boundary value problems that such data are sufficient for the unique determination of stress. In other quasi-static boundary value problems and problems involving moving dislocations, the plastic and elastic distortion tensors, total displacement, and stress are in general non-unique for specified dislocation density. The conclusions are confirmed by the example of a single screw dislocation.

categories: physics.class-ph cond-mat.mtrl-sci math-ph math.MP


title: Non-linear positive maps between $C^*$-algebras

abstract: We present some properties of (not necessarily linear) positive maps between $C^*$-algebras. We first extend the notion of Lieb functions to that of Lieb positive maps between $C^*$-algebras. Then we give some basic properties and fundamental inequalities related to such maps. Next, we study $n$-positive maps ($n\geq 2$). We show that if for a unital $3$-positive map $\Phi: \mathscr{A}\longrightarrow\mathscr{B}$ between unital $C^*$-algebras and some $ A\in \mathscr{A}$ equality $\Phi(A^*A)= \Phi(A)^* \Phi(A)$ holds, then $\Phi(XA)=\Phi (X)\Phi (A)$ for all $X \in \mathscr{A}$. In addition, we prove that for a certain class of unital positive maps $\Phi: \mathscr{A}\longrightarrow\mathscr{B}$ between unital $C^*$-algebras, the inequality $\Phi(\alpha A)\leq\alpha \Phi(A)$ holds for all $ \alpha \in [0,1]$ and all positive elements $ A\in \mathscr{A}$ if and only if $\Phi(0)=0$. Furthermore, we show that if for some $\alpha$ in the unit ball of $\mathbb{C}$ or in $\mathbb{R}_+$ with $|\alpha|\neq 0,1$, the equality $\Phi(\alpha I)=\alpha I$ holds, then $\Phi$ is additive on positive elements of $\mathscr{A}$. Moreover, we present a mild condition for a $6$-positive map, which ensures its linearity.


title: Global Optimality in Distributed Low-rank Matrix Factorization

abstract: We study the convergence of a variant of distributed gradient descent (DGD) on a distributed low-rank matrix approximation problem wherein some optimization variables are used for consensus (as in classical DGD) and some optimization variables appear only locally at a single node in the network. We term the resulting algorithm DGD+LOCAL. Using algorithmic connections to gradient descent and geometric connections to the well-behaved landscape of the centralized low-rank matrix approximation problem, we identify sufficient conditions where DGD+LOCAL is guaranteed to converge with exact consensus to a global minimizer of the original centralized problem. For the distributed low-rank matrix approximation problem, these guarantees are stronger---in terms of consensus and optimality---than what appear in the literature for classical DGD and more general problems.


title: Who Let The Trolls Out? Towards Understanding State-Sponsored Trolls

abstract: Recent evidence has emerged linking coordinated campaigns by state-sponsored actors to manipulate public opinion on the Web. Campaigns revolving around major political events are enacted via mission-focused "trolls." While trolls are involved in spreading disinformation on social media, there is little understanding of how they operate, what type of content they disseminate, how their strategies evolve over time, and how they influence the Web's information ecosystem. In this paper, we begin to address this gap by analyzing 10M posts by 5.5K Twitter and Reddit users identified as Russian and Iranian state-sponsored trolls. We compare the behavior of each group of state-sponsored trolls with a focus on how their strategies change over time, the different campaigns they embark on, and differences between the trolls operated by Russia and Iran. Among other things, we find: 1) that Russian trolls were pro-Trump while Iranian trolls were anti-Trump; 2) evidence that campaigns undertaken by such actors are influenced by real-world events; and 3) that the behavior of such actors is not consistent over time, hence automated detection is not a straightforward task. Using the Hawkes Processes statistical model, we quantify the influence these accounts have on pushing URLs on four social platforms: Twitter, Reddit, 4chan's Politically Incorrect board (/pol/), and Gab. In general, Russian trolls were more influential and efficient in pushing URLs to all the other platforms with the exception of /pol/ where Iranians were more influential. Finally, we release our data and source code to ensure the reproducibility of our results and to encourage other researchers to work on understanding other emerging kinds of state-sponsored troll accounts on Twitter.


title: Capacity Value of Interconnection Between Two Systems

abstract: Concerns about system adequacy have led to the establishment of capacity mechanisms in a number of regulatory areas. Against this background, it is essential to accurately quantify the contribution to security of supply that results from interconnectors to neighbouring systems. This paper introduces a definition of capacity value for interconnection between two systems in the form of a capacity allocation curve. Four power flow policies are proposed to encompass the full range of possible market outcomes that may affect the capacity value. A convolution-based method is presented to efficiently compute and compare capacity allocation curves, and it is applied to a model system that is inspired by Great Britain's interconnection with the continental Europe. The results indicate areas of interest for the coordination of capacity mechanisms.


title: Density and velocity profiles around cosmic voids

abstract: We study the evolution of the cross-correlation between voids and the mass density field - i.e. of void profiles. We show that approaches based on the spherical model alone miss an important contribution to the evolution on large scales of most interest to cosmology: they fail to capture the well-known fact that the large-scale bias factor of conserved tracers evolves. We also show that the operations of evolution and averaging do not commute, but this difference is only significant within about two effective radii. We show how to include a term which accounts for the evolution of bias, which is directly related to the fact that voids move. The void motions are approximately independent of void size, so they are more significant for smaller voids that are typically more numerous. This term also contributes to void-matter pairwise velocities: including it is necessary for modeling the typical outflow speeds around voids. It is, therefore, important for void redshift space distortions. Finally, we show that the excursion set peaks/troughs approach provides a useful, but not perfect framework for describing void profiles and their evolution.


title: Quantum Nonlinear Ferroic Optical Hall Effect

abstract: Nonlinear optical responses to external electromagnetic field, characterized by second and higher order susceptibilities, play crucial roles in nonlinear optical devices and novel optoelectronics. Herein we present a quantum nonlinear ferroic optical Hall effect (QNFOHE) in multiferroics - a Hall-like direct photocurrent originated from the second order current response to intense electromagnetic field whose direction can be controlled by both internal ferroic orders and external light polarization. QNFOHE consists of two types of nonlinear photocurrent responses - shift current and circular photocurrent under linearly and circularly polarized light irradiation dominated by topological shift vector and Berry curvature, respectively. We elucidate the microscopic mechanism of QNFOHE in a representative class of 2D multiferroic materials using group theoretical analyses and first-principles electronic structure theory. The complex interplay of crystalline, permutation, gauge, and time reversal symmetries as well as inherent causality governs the symmetry properties of shift current and circular photocurrent. QNFOHE combined with rich ferroic degrees of freedom in multiferroic materials will open up a variety of new avenues for realizing tunable and configurable nonlinear optoelectronics etc.


title: Cancellation exponents in isotropic turbulence and magnetohydrodynamic turbulence

abstract: Small scale characteristics of turbulence such as velocity gradients and vorticity fluctuate rapidly in magnitude and oscillate in sign. Much work exists on the characterization of magnitude variations, but far less on sign oscillations. While averages performed on large scales tend to zero because of the oscillatory character, those performed on increasingly smaller scales will vary with the averaging scale in some characteristic way. This characteristic variation at high Reynolds numbers is captured by the so-called cancellation exponent, which measures how local averages tend to cancel out as the averaging scale increases, in space or time. Past experimental work suggests that the exponents in turbulence depend on whether one considers quantities in full three-dimensional space or uses their one- or two-dimensional cuts. We compute cancellation exponents of vorticity and longitudinal as well as transverse velocity gradients in isotropic turbulence at Taylor-scale Reynolds number up to 1300 on $8192^3$ grids. The 2D cuts yield the same exponents as those for full 3D, while the 1D cuts yield smaller numbers, suggesting that the results in higher dimensions are more reliable. We make the case that the presence of vortical filaments in isotropic turbulence leads to this conclusion. This effect is particularly conspicuous in magnetohydrodynamic turbulence, where an increased degree of spatial coherence develops along the imposed magnetic field.


title: Removability of a codimension four singular set for solutions of a yang mills higgs equation with small energy

abstract: We develop a new method for proving regularity for small energy stationary solutions of coupled gauge field equations. Our results duplicate those of Tian--Tao [7] for the pure Yang Mills equations, but our proof is simpler, and obtains bounded curvature without the use of Coulomb gauges. It relies instead on the Weitzenblock formulae, and an improved Kato inequality.


title: Strategic Availability and Cost Effective UAV-based Flying Access Networks: S-Modular Game Analysis

abstract: Telecommunication service providers deploy UAVs to provide flying network access in remote rural areas, disaster-affected areas or massive-attended events (sport venues, festivals, etc.) where full set-up to provide temporary wireless coverage would be very expensive. Of course, a UAV is battery-powered which means limited energy budget for both mobility aspect and communication aspect. An efficient solution is to allow UAVs switching their radio modules to sleep mode in order to extend battery lifetime. This results in temporary unavailability of communication feature. Within such a situation, the ultimate deal for a UAV operator is to provide a cost effective service with acceptable availability. This would allow to meet some target Quality of Service while having a good market share granting satisfactory benefits. We construct a duopoly model to capture the adversarial behavior of service providers in terms of their pricing policies and their respective availability probabilities. Optimal periodic beaconing (small messages advertising existence of a UAV) is a vital issue that needs to be addressed, given the UAVs limited battery capacity and their recharging constraints. A full analysis of the game outcome, both in terms of equilibrium pricing and equilibrium availability, is derived. We show that the availability-pricing game exhibits some nice features as it is sub-modular with respect to the availability policy, whereas it is super-modular with respect to the service fee. Furthermore, we implement a learning scheme using best-response dynamics that allows operators to learn their joint pricing-availability strategies in a fast, accurate and distributed fashion.


title: Intermediate Hankel operators on the Fock space

abstract: We construct a natural sequence of middle Hankel operators on the Fock space, i.e. operators which are intermediate between the small and big Hankel operators. These operators are connected with the minimal $L^2$-norm solution operator to $\bar\partial^N$ as well as to the polyanalytic Fock spaces.


title: WIRC+Pol: a low-resolution near-infrared spectropolarimeter

abstract: WIRC+Pol is a newly commissioned low-resolution (R~100), near-infrared (J and H band) spectropolarimetry mode of the Wide-field InfraRed Camera (WIRC) on the 200-inch Hale Telescope at Palomar Observatory. The instrument utilizes a novel polarimeter design based on a quarter-wave plate and a polarization grating (PG), which provides full linear polarization measurements (Stokes I, Q, and U) in one exposure. The PG also has high transmission across the J and H bands. The instrument is situated at the prime focus of an equatorially mounted telescope. As a result, the system only has one reflection in the light path, providing minimal telescope induced polarization. A data reduction pipeline has been developed for WIRC+Pol to produce linear polarization measurements from observations. WIRC+Pol has been on-sky since February 2017. Results from the first year commissioning data show that the instrument has a high dispersion efficiency as expected from the polarization grating. We demonstrate the polarimetric stability of the instrument with RMS variation at 0.2% level over 30 minutes for a bright standard star (J = 8.7). While the spectral extraction is photon noise limited, polarization calibration between sources remain limited by systematics, likely related to gravity dependent pointing effects. We discuss instrumental systematics we have uncovered in the data, their potential causes, along with calibrations that are necessary to eliminate them. We describe a modulator upgrade that will eliminate the slowly varying systematics and provide polarimetric accuracy better than 0.1%.


title: On finite energy monopoles on $\mathbb{C}\times \Sigma$

abstract: Let $X=\mathbb{C}\times\Sigma$ be the product of the complex plane and a compact Riemann surface. We establish a classification theorem of solutions to the Seiberg-Witten equation on $X$ with finite analytic energy. The spin bundle $S^+\to X$ splits as $L^+\oplus L^-$. When $2-2g\leq c_1(S^+)[\Sigma]<0$, the moduli space is in bijection with the moduli space of pairs $((L^+,\bar{\partial}), f)$ where $(L^+,\bar{\partial})$ is a holomorphic structure on $L^+$ and $f: \mathbb{C}\to H^0(\Sigma, L^+,\bar{\partial})$ is a polynomial map. Moreover, the solution has analytic energy $-4\pi^2d\cdot c_1(S^+)[\Sigma]$ if $f$ has degree $d$. When $c_1(S^+)=0$, all solutions are reducible and the moduli space is the space of flat connections on $\bigwedge^2 S^+$. We also estimate the decay rate of these solutions at infinity.


title: Surface waves over currents and uneven bottom

abstract: The propagation of surface water waves interacting with a current and an uneven bottom is studied. Such a situation is typical for ocean waves where the winds generate currents in the top layer of the ocean. The role of the bottom topography is taken into account since it also influences the local wave and current patterns. Specific scaling of the variables is selected which leads to approximations of Boussinesq and KdV types. The arising KdV equation with variable coefficients, dependent on the bottom topography, is studied numerically when the initial condition is in the form of the one soliton solution for the initial depth. Emergence of new solitons is observed as a result of the wave interaction with the uneven bottom.


title: Probing AdS/QCD backgrounds with semi-classical strings

abstract: New AdS/QCD backgrounds have been proposed to describe the spectrum of heavy vector mesons via the implementation of additional energy scales on the bulk geometry of the soft wall model. The extra energy scales are needed to include the decay constants of hadronic states when describing the radial excitations of the heavy meson. Here we analyze one model that introduces an ultraviolet cutoff on Anti de-Sitter space and a model that consider a dilaton profile modified by the addition of an extra term and no cutoff. For each one of these two models we consider the presence of a semi-classical string in the bulk that is dual to a static and infinitely heavy meson. We compute the expected value of the Wilson loop operator using the holographic dictionary and obtain the dual potential for the static $q\bar{q}$ pair. For the model with modified dilaton profile the on-shell string action presents a peculiar ultraviolet divergence, a compatible regularization is discussed and a new subtraction scheme is used. We consider the case of finite temperature and determine how the dissociation temperature of the heavy meson is affected by the additional energy scales.


title: Carving model-free inference

abstract: Complex studies involve many steps. Selecting promising findings based on pilot data is a first step. As more observations are collected, the investigator must decide how to combine the new data with the pilot data to construct valid selective inference. Carving, introduced by Fithian et al. (2014), enables the reuse of pilot data during selective inference and accounts for over-optimism from the selection process. Currently, the justification for carving is tied to parametric models, like the commonly used Gaussian model. In this paper, we develop the asymptotic theory to substantiate the use of carving beyond Gaussian models. Through both simulated and real instances, we find that carving produces valid and tight confidence intervals within a model-free setting.


title: Abundance of entire solutions to nonlinear elliptic equations by the variational method

abstract: We study entire bounded solutions to the equation $\Delta u - u + u^3 = 0$ in $\mathbb R^2$. Our approach is purely variational and is based on concentration arguments and symmetry considerations. This method allows us to construct in a unified way several types of solutions with various symmetries (radial, breather type, rectangular, triangular, hexagonal, etc.), both positive and sign-changing. The method is also applicable for more general equations in any dimension.


title: Low-energy electron scattering from atomic Th, Pa, U, Np and Pu: Negative ion formation

abstract: Here we investigate ground and metastable negative ion formation in low-energy electron collisions with the actinide atoms Th, Pa, U, Np and Pu through the elastic total cross sections (TCSs) calculations. For these atoms, the presence of two or more open d- and f- subshell electrons presents a formidable computational task for conventional theoretical methods, making it difficult to interpret the calculated results. Our robust Regge pole methodology which embeds the crucial electron correlations and the vital core-polarization interaction is used for the calculations. These are the major physical effects mostly responsible for stable negative ion formation in low-energy electron scattering from complex heavy systems. We find that the TCSs are characterized generally by Ramsauer-Townsend minima, shape resonances and dramatically sharp resonances manifesting ground and metastable negative ion formation during the collisions. The extracted from the ground states TCSs anionic binding energies (BEs) are found to be 3.09 eV, 2.98 eV, 3.03 eV, 3.06 eV and 3.25 eV for Th, Pa, U, Np and Pu, respectively. Interestingly, an additional polarization-induced metastable TCS with anionic BE value of 1.22 eV is created in Pu due to the size effect. We also found that our excited states anionic BEs for several of these atoms compare well with the existing theoretical electron affinities including those calculated using the relativistic configuration-interaction method. We conclude that the existing theoretical calculations tend to identify incorrectly the BEs of the resultant excited anionic states with the electron affinities of the investigated actinide atoms; this suggests a need for an unambiguous definition of electron affinity.


title: Moving Contact Lines: Linking Molecular Dynamics and Continuum-Scale Modeling

abstract: Despite decades of research, the modeling of moving contact lines has remained a formidable challenge in fluid dynamics whose resolution will impact numerous industrial, biological, and daily life applications. On the one hand, molecular dynamics (MD) simulation has the ability to provide unique insight into the microscopic details that determine the dynamic behavior of the contact line, which is not possible with either continuum-scale simulations or experiments. On the other hand, continuum-based models provide a link to the macroscopic description of the system. In this Feature Article, we explore the complex range of physical factors, including the presence of surfactants, which governs the contact line motion through MD simulations. We also discuss links between continuum- and molecular-scale modeling and highlight the opportunities for future developments in this area.


title: Multi-channel discourse as an indicator for Bitcoin price and volume movements

abstract: This research aims to identify how Bitcoin-related news publications and online discourse are expressed in Bitcoin exchange movements of price and volume. Being inherently digital, all Bitcoin-related fundamental data (from exchanges, as well as transactional data directly from the blockchain) is available online, something that is not true for traditional businesses or currencies traded on exchanges. This makes Bitcoin an interesting subject for such research, as it enables the mapping of sentiment to fundamental events that might otherwise be inaccessible. Furthermore, Bitcoin discussion largely takes place on online forums and chat channels. In stock trading, the value of sentiment data in trading decisions has been demonstrated numerous times [1] [2] [3], and this research aims to determine whether there is value in such data for Bitcoin trading models. To achieve this, data over the year 2015 has been collected from Bitcointalk.org, (the biggest Bitcoin forum in post volume), established news sources such as Bloomberg and the Wall Street Journal, the complete /r/btc and /r/Bitcoin subreddits, and the bitcoin-otc and bitcoin-dev IRC channels. By analyzing this data on sentiment and volume, we find weak to moderate correlations between forum, news, and Reddit sentiment and movements in price and volume from 1 to 5 days after the sentiment was expressed. A Granger causality test confirms the predictive causality of the sentiment on the daily percentage price and volume movements, and at the same time underscores the predictive causality of market movements on sentiment expressions in online communities


title: Robust quantum compilation and circuit optimisation via energy minimisation

abstract: We explore a method for automatically recompiling a quantum circuit A into a target circuit B, with the goal that both circuits have the same action on a specific input i.e. B|in> = A|in>. This is of particular relevance to hybrid, NISQ-era algorithms for dynamical simulation or eigensolving. The user initially specifies B as a blank template: a layout of parameterised unitary gates configured to the identity. The compilation then proceeds using quantum hardware to perform an isomorphic energy-minimisation task, and an optional gate elimination phase to compress the circuit. If B is insufficient for perfect recompilation then the method will result in an approximate solution. We optimise using imaginary time evolution, and a recent extension of quantum natural gradient for noisy settings. We successfully recompile a 7-qubit circuit involving 186 gates of multiple types into an alternative form with a different topology, far fewer two-qubit gates, and a smaller family of gate types. Moreover we verify that the process is robust, finding that per-gate noise of up to 1% can still yield near-perfect recompilation. We test the scaling of our algorithm on up to 20 qubits, recompiling into circuits with up to 400 parameterized gates, and incorporate a custom adaptive timestep technique. We note that a classical simulation of the process can be useful to optimise circuits for today's prototypes, and more generally the method may enable 'blind' compilation i.e. harnessing a device whose response to control parameters is deterministic but unknown.


title: Quasiperiodic orbits in Siegel disks/balls and the Babylonian problem

abstract: We investigate numerically complex dynamical systems where a fixed point is surrounded by a disk or ball of quasiperiodic orbits, where there is a change of variables (or conjugacy) that converts the system into a linear map. We compute this "linearization" (or conjugacy) from knowledge of a single quasiperiodic trajectory. In our computations of rotation rates of the almost periodic orbits and Fourier coefficients of the conjugacy, we only use knowledge of a trajectory, and we do not assume knowledge of the explicit form of a dynamical system. This problem is called the Babylonian Problem: determining the characteristics of a quasiperiodic set from a trajectory. Our computation of rotation rates and Fourier coefficients depends on the very high speed of our computational method "the weighted Birkhoff average".


title: Time Series Classification to Improve Poultry Welfare

abstract: Poultry farms are an important contributor to the human food chain. Worldwide, humankind keeps an enormous number of domesticated birds (e.g. chickens) for their eggs and their meat, providing rich sources of low-fat protein. However, around the world, there have been growing concerns about the quality of life for the livestock in poultry farms; and increasingly vocal demands for improved standards of animal welfare. Recent advances in sensing technologies and machine learning allow the possibility of automatically assessing the health of some individual birds, and employing the lessons learned to improve the welfare for all birds. This task superficially appears to be easy, given the dramatic progress in recent years in classifying human behaviors, and given that human behaviors are presumably more complex. However, as we shall demonstrate, classifying chicken behaviors poses several unique challenges, chief among which is creating a generalizable dictionary of behaviors from sparse and noisy data. In this work we introduce a novel time series dictionary learning algorithm that can robustly learn from weakly labeled data sources.


title: Stability of equilibria for a Hartree equation for random fields

abstract: We consider a Hartree equation for a random variable, which describes the temporal evolution of infinitely many Fermions. On the Euclidean space, this equation possesses equilibria which are not localised. We show their stability through a scattering result, with respect to localised perturbations in the defocusing case in high dimensions $d\geq 4$. This provides an analogue of the results of Lewin and Sabin \cite{LS2}, and of Chen, Hong and Pavlovi\'c \cite{CHP2} for the Hartree equation on operators. The proof relies on dispersive techniques used for the study of scattering for the nonlinear Schr\"odinger and Gross-Pitaevskii equations.


title: DragonPaint: Rule based bootstrapping for small data with an application to cartoon coloring

abstract: In this paper, we confront the problem of deep learning's big labeled data requirements, offer a rule based strategy for extreme augmentation of small data sets and apply that strategy with the image to image translation model by Isola et al. (2016) to automate cel style cartoon coloring with very limited training data. While our experimental results using geometric rules and transformations demonstrate the performance of our methods on an image translation task with industry applications in art, design and animation, we also propose the use of rules on partial data sets as a generalizable small data strategy, potentially applicable across data types and domains.


title: Higher order corrected thermodynamics and statistics of Kerr-Newman-Godel black hole

abstract: In this paper, we consider the rotating charged G\"{o}del black hole and study the effect of the higher order corrections of the entropy on the thermodynamics and statistics quantities of the Kerr-Newman-G\"{o}del black hole. The leading order correction is logarithmic while higher-order terms are proportional to the inverse of the area of the black hole. We obtain modified thermodynamics and statistics and find that correction terms are important in the stability of the black hole.


title: Offline Behaviors of Online Friends

abstract: In this work we analyze traces of mobility and co-location among a group of nearly 1000 closely interacting individuals. We attempt to reconstruct the Facebook friendship graph, Facebook interaction network, as well as call and SMS networks from longitudinal records of person-to-person offline proximity. We find subtle, yet observable behavioral differences between pairs of people who communicate using each of the different channels and we show that the signal of friendship is strong enough to stand out from the noise of random and schedule-driven offline interactions between familiar strangers. Our study also provides an overview of methods for link inference based on offline behavior and proposes new features to improve the performance of the prediction task.


title: Poisson Multi-Bernoulli Mapping Using Gibbs Sampling

abstract: This paper addresses the mapping problem. Using a conjugate prior form, we derive the exact theoretical batch multi-object posterior density of the map given a set of measurements. The landmarks in the map are modeled as extended objects, and the measurements are described as a Poisson process, conditioned on the map. We use a Poisson process prior on the map and prove that the posterior distribution is a hybrid Poisson, multi-Bernoulli mixture distribution. We devise a Gibbs sampling algorithm to sample from the batch multi-object posterior. The proposed method can handle uncertainties in the data associations and the cardinality of the set of landmarks, and is parallelizable, making it suitable for large-scale problems. The performance of the proposed method is evaluated on synthetic data and is shown to outperform a state-of-the-art method.


title: Spectral aspects of the Berezin transform

abstract: We discuss the Berezin transform, a Markov operator associated to positive operator valued measures (POVMs), in a number of contexts including the Berezin-Toeplitz quantization, Donaldson's dynamical system on the space of Hermitian products on a complex vector space, representations of finite groups, and quantum noise. In particular, we calculate the spectral gap for quantization in terms of the fundamental tone of the phase space. Our results confirm a prediction of Donaldson for the spectrum of the Q-operator on Kahler manifolds with constant scalar curvature. Furthermore, viewing POVMs as data clouds, we study their spectral features via geometry of measure metric spaces and the diffusion distance.


title: Incidence dimension and 2-packing number in graphs

abstract: Let $G=(V,E)$ be a graph. A set of vertices $A$ is an incidence generator for $G$ if for any two distinct edges $e,f\in E(G)$ there exists a vertex from $A$ which is an endpoint of either $e$ or $f$. The smallest cardinality of an incidence generator for $G$ is called the incidence dimension and is denoted by $dim_I(G)$. A set of vertices $P$ is a 2-packing if the distance between any pair of distinct vertices from $P$ is greater than two. The largest cardinality of a 2-packing of $G$ is the packing number of $G$ and is denoted by $\rho(G)$. The incidence dimension of graphs is introduced and studied in this article, and we emphasize in the closed relationship between $dim_I(G)$ and $\rho(G)$. We first note that the complement of any 2-packing in a graph $G$ is always an incidence generator for $G$, and further show that either $dim_I(G)=\rho(G)$ or $dim_I(G)=\rho(G)-1$ for any graph $G$. In addition, we also prove that the problem of determining the incidence dimension of a graph is NP-complete, and present some bounds for it.


title: Forensic Discrimination between Traditional and Compressive Imaging Systems

abstract: Compressive sensing is a new technology for modern computational imaging systems. In comparison to widespread conventional image sensing, the compressive imaging paradigm requires specific forensic analysis techniques and tools. In this regards, one of basic scenarios in image forensics is to distinguish traditionally sensed images from sophisticated compressively sensed ones. To do this, we first mathematically and systematically model the imaging system based on compressive sensing technology. Afterwards, a simplified version of the whole model is presented, which is appropriate for forensic investigation applications. We estimate the nonlinear system of compressive sensing with a linear model. Then, we model the imaging pipeline as an inverse problem and demonstrate that different imagers have discriminative degradation kernels. Hence, blur kernels of various imaging systems have utilized as footprints for discriminating image acquisition sources. In order to accomplish the identification cycle, we have utilized the state-of-the-art Convolutional Neural Network (CNN) and Support Vector Machine (SVM) approaches to learn a classification system from estimated blur kernels. Numerical experiments show promising identification results. Simulation codes are available for research and development purposes.


title: Election with Bribed Voter Uncertainty: Hardness and Approximation Algorithm

abstract: Bribery in election (or computational social choice in general) is an important problem that has received a considerable amount of attention. In the classic bribery problem, the briber (or attacker) bribes some voters in attempting to make the briber's designated candidate win an election. In this paper, we introduce a novel variant of the bribery problem, "Election with Bribed Voter Uncertainty" or BVU for short, accommodating the uncertainty that the vote of a bribed voter may or may not be counted. This uncertainty occurs either because a bribed voter may not cast its vote in fear of being caught, or because a bribed voter is indeed caught and therefore its vote is discarded. As a first step towards ultimately understanding and addressing this important problem, we show that it does not admit any multiplicative $O(1)$-approximation algorithm modulo standard complexity assumptions. We further show that there is an approximation algorithm that returns a solution with an additive-$\epsilon$ error in FPT time for any fixed $\epsilon$.


title: Estimating Achievable Range of Ground Robots Operating on Single Battery Discharge for Operational Efficacy Amelioration

abstract: Mobile robots are increasingly being used to assist with active pursuit and law enforcement. One major limitation for such missions is the resource (battery) allocated to the robot. Factors like nature and agility of evader, terrain over which pursuit is being carried out, plausible traversal velocity and the amount of necessary data to be collected all influence how long the robot can last in the field and how far it can travel. In this paper, we develop an analytical model that analyzes the energy utilization for a variety of components mounted on a robot to estimate the maximum operational range achievable by the robot operating on a single battery discharge. We categorize the major consumers of energy as: 1.) ancillary robotic functions such as computation, communication, sensing etc., and 2.) maneuvering which involves propulsion, steering etc. Both these consumers draw power from the common power source but the achievable range is largely affected by the proportion of power available for maneuvering. For this case study, we performed experiments with real robots on planar and graded surfaces and evaluated the estimation error for each case.


title: A catalogue of nuclear stellar velocity dispersions of nearby galaxies from H$\alpha$ STIS spectra to constrain supermassive black hole masses

abstract: We present new measurements for the nuclear stellar velocity dispersion $\sigma_{\ast}$ within sub-arcsecond apertures for 28 nearby galaxies. Our data consist of Space Telescope Imaging Spectrograph (STIS) long-slit spectra obtained with the G750M grating centred on the H$\alpha$ spectral range. We fit the spectra using a library of single stellar population models and Gaussian emission lines, while constraining in most cases the stellar-population content from an initial fit to G430L STIS spectra. We illustrate how these $\sigma_{\ast}$ measurements can be useful for constraining the mass $M_{\bullet}$ of supermassive black holes (SBHs) by concentrating on the cases of the lenticular galaxies NGC4435 and NGC4459. These are characterized by similar ground-based half-light radii stellar velocity dispersion $\sigma_{\rm e}$ values but remarkably different $M_{\bullet}$ as obtained from modelling their central ionised-gas kinematics, where NGC4435 appears to host a significantly undermassive SBH compared to what is expected from the $M_{\bullet}-\sigma_{\rm e}$ relation. For both galaxies, we build Jeans axisymmetric dynamical models to match the ground-based stellar kinematics obtained with SAURON integral-field spectrograph, including a SBH with $M_{\bullet}$ value as predicted by the $M_{\bullet}-\sigma_{\rm e}$ relation and using high-resolution HST images taken with the Advanced Camera for Surveys to construct the stellar-mass model. By mimicking the HST observing conditions we use such reference models to make a prediction for the nuclear $\sigma_{\ast}$ value. Whereas this was found to agree with our nuclear $\sigma_{\ast}$ measurement for NGC4459, for NGC4435 the observed $\sigma_{\ast}$ is remarkably smaller than the predicted one, which further suggests that this galaxy could host an undermassive SBH.


title: The Role of Convection in Determining the Ejection Efficiency of Common Envelope Interactions

abstract: A widely used method for parameterizing the outcomes of common envelopes (CEs) involves defining an ejection efficiency, $\bar{\alpha}_{\mathrm{eff}}$, that represents the fraction of orbital energy used to unbind the envelope as the orbit decays. Given $\bar{\alpha}_{\mathrm{eff}}$, a prediction for the post-CE orbital separation is possible with knowledge of the energy required to unbind the primary's envelope from its core. Unfortunately, placing observational constraints on $\bar{\alpha}_{\mathrm{eff}}$ is challenging as it requires knowledge of the primary's structure at the onset of the common envelope phase. Numerical simulations have also had difficulties reproducing post-CE orbital configurations as they leave extended, but still bound, envelopes. Using detailed stellar interior profiles, we calculate $\bar{\alpha}_{\mathrm{eff}}$ values for a matrix of primary-companion mass pairs when the primary is at maximal extent in its evolution. We find that the ejection efficiency is most sensitive to the properties of the surface-contact convective region (SCCR). In this region, the convective transport timescales are often short compared to orbital decay timescales, thereby allowing the star to effectively radiate orbital energy and thus lower $\bar{\alpha}_{\mathrm{eff}}$. The inclusion of convection in numerical simulations of CEs may aid ejection without the need for additional energy sources as the orbit must shrink substantially further before the requisite energy can be tapped to drive ejection. Additionally, convection leads to predicted post-CE orbital periods of less than a day in many cases, an observational result that has been difficult to reproduce in population studies where $\bar{\alpha}_{\mathrm{eff}}$ is taken to be constant. Finally, we provide a simple method to calculate $\bar{\alpha}_{\mathrm{eff}}$ if the properties of the SCCR are known.


title: Role of self-loop in cell-cycle network of budding yeast

abstract: Study of network dynamics is very active area in biological and social sciences. However, the relationship between the network structure and the attractors of the dynamics has not been fully understood yet. In this study, we numerically investigated the role of degenerate self-loops on the attractors and its basin size using the budding yeast cell-cycle network model. In the network, all self-loops negatively surpress the node (self-inhibition loops) and the attractors are only fixed points, i.e. point attractors. It is found that there is a simple division rule of the state space by removing the self-loops when the attractors consist only of point attractors. The point attractor with largest basin size is robust against the change of the self-inhibition loop. Furthermore, some limit cycles of period 2 appear as new attractor when a self-activation loop is added to the original network. It is also shown that even in that case, the point attractor with largest basin size is robust.


title: Contrastive Explanation: A Structural-Model Approach

abstract: This paper presents a model of contrastive explanation using structural casual models. The topic of causal explanation in artificial intelligence has gathered interest in recent years as researchers and practitioners aim to increase trust and understanding of intelligent decision-making. While different sub-fields of artificial intelligence have looked into this problem with a sub-field-specific view, there are few models that aim to capture explanation more generally. One general model is based on structural causal models. It defines an explanation as a fact that, if found to be true, would constitute an actual cause of a specific event. However, research in philosophy and social sciences shows that explanations are contrastive: that is, when people ask for an explanation of an event -- the fact -- they (sometimes implicitly) are asking for an explanation relative to some contrast case; that is, "Why P rather than Q?". In this paper, we extend the structural causal model approach to define two complementary notions of contrastive explanation, and demonstrate them on two classical problems in artificial intelligence: classification and planning. We believe that this model can help researchers in subfields of artificial intelligence to better understand contrastive explanation.


title: Beta Function Quintessence Cosmological Parameters and Fundamental Constants II: Exponential and Logarithmic Dark Energy Potentials

abstract: This paper uses the beta function formalism to extend the analysis of quintessence cosmological parameters to the logarithmic and exponential dark energy potentials. The previous paper (Thompson 2018) demonstrated the formalism using power and inverse power potentials. The essentially identical evolution of the Hubble parameter for all of the quintessence cases and LambdaCDM is attributed to the flatness of the quintessence dark energy potentials in the dark energy dominated era. The Hubble parameter is therefore incapable of discriminating between static and dynamic dark energy. Unlike the other three potentials considered in the two papers the logarithmic dark energy potential requires a numerical integration in the formula for the superpotential rather than being an analytic function. The dark energy equation of state and the fundamental constants continue to be good discriminators between static and dynamical dark energy. A new analysis of quintessence with all four of the potentials relative the swampland conjectures indicates that the conjecture on the change in the scalar field is satisfied but that the conjecture on the change of the potential is not.


title: Shining Light On Shadow Stacks

abstract: Control-Flow Hijacking attacks are the dominant attack vector against C/C++ programs. Control-Flow Integrity (CFI) solutions mitigate these attacks on the forward edge,i.e., indirect calls through function pointers and virtual calls. Protecting the backward edge is left to stack canaries, which are easily bypassed through information leaks. Shadow Stacks are a fully precise mechanism for protecting backwards edges, and should be deployed with CFI mitigations. We present a comprehensive analysis of all possible shadow stack mechanisms along three axes: performance, compatibility, and security. For performance comparisons we use SPEC CPU2006, while security and compatibility are qualitatively analyzed. Based on our study, we renew calls for a shadow stack design that leverages a dedicated register, resulting in low performance overhead, and minimal memory overhead, but sacrifices compatibility. We present case studies of our implementation of such a design, Shadesmar, on Phoronix and Apache to demonstrate the feasibility of dedicating a general purpose register to a security monitor on modern architectures, and the deployability of Shadesmar. Our comprehensive analysis, including detailed case studies for our novel design, allows compiler designers and practitioners to select the correct shadow stack design for different usage scenarios.


title: SRP: Efficient class-aware embedding learning for large-scale data via supervised random projections

abstract: Supervised dimensionality reduction strategies have been of great interest. However, current supervised dimensionality reduction approaches are difficult to scale for situations characterized by large datasets given the high computational complexities associated with such methods. While stochastic approximation strategies have been explored for unsupervised dimensionality reduction to tackle this challenge, such approaches are not well-suited for accelerating computational speed for supervised dimensionality reduction. Motivated to tackle this challenge, in this study we explore a novel direction of directly learning optimal class-aware embeddings in a supervised manner via the notion of supervised random projections (SRP). The key idea behind SRP is that, rather than performing spectral decomposition (or approximations thereof) which are computationally prohibitive for large-scale data, we instead perform a direct decomposition by leveraging kernel approximation theory and the symmetry of the Hilbert-Schmidt Independence Criterion (HSIC) measure of dependence between the embedded data and the labels. Experimental results on five different synthetic and real-world datasets demonstrate that the proposed SRP strategy for class-aware embedding learning can be very promising in producing embeddings that are highly competitive with existing supervised dimensionality reduction methods (e.g., SPCA and KSPCA) while achieving 1-2 orders of magnitude better computational performance. As such, such an efficient approach to learning embeddings for dimensionality reduction can be a powerful tool for large-scale data analysis and visualization.


title: Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations

abstract: The design and implementation of decision procedures for checking path feasibility in string-manipulating programs is an important problem, whose applications include symbolic execution and automated detection of cross-site scripting (XSS) vulnerabilities. A (symbolic) path is a finite sequence of assignments and assertions (i.e. without loops), and checking its feasibility amounts to determining the existence of inputs that yield a successful execution. We give two general semantic conditions which together ensure the decidability of path feasibility: (1) each assertion admits regular monadic decomposition, and (2) each assignment uses a (possibly nondeterministic) function whose inverse relation preserves regularity. We show these conditions are expressive since they are satisfied by a multitude of string operations. They also strictly subsume existing decidable string theories, and most existing benchmarks (e.g. most of Kaluza's, and all of SLOG's, Stranger's, and SLOTH's). We give a simple decision procedure and an extensible architecture of a string solver in that a user may easily incorporate his/her own string functions. We show the general fragment has a tight, but high complexity. To address this, we propose to allow only partial string functions (i.e., prohibit nondeterminism) in condition (2). When nondeterministic functions are needed, we also provide a syntactic fragment that provides a support of nondeterministic functions but can be reduced to an existing solver SLOTH. We provide an efficient implementation of our decision procedure for deterministic partial string functions in a new string solver OSTRICH. It provides built-in support for concatenation, reverse, functional transducers, and replaceall and provides a framework for extensibility to support further string functions. We demonstrate the efficacy of our new solver against other competitive solvers.


title: On the weak field approximation for CaII 8542 A

abstract: The weak field approximation (WFA) is a conceptually simple and computationally light method for inferring the magnetic field strength and its orientation in the Sun's atmosphere. In this work we study the validity and limitations of this tool when applied to full Stokes Ca II 8542 A profiles to extract information about the chromospheric magnetic field. We find that the range of validity of the WFA depends, amongst other things, on the component of the magnetic field that one is trying to infer. The retrieval of line-of-sight component of the chromospheric magnetic field from the core of the spectral line is reliable for field strengths up to ~1200 G, even when moderate velocity gradients are present. The horizontal component, on the other hand, is suitably derived using the wing-core boundary of the spectral line, but typically yields systematic errors of >10%. The effects of scattering polarization further compound the problem by rendering the transverse field inference problematic in quiet Sun areas, and for observing geometries within 30 degrees of the limb. Magneto-optical effects disproportionately challenge the determination of the magnetic field azimuth in the transverse plane, leading to errors of ~10 degrees. Typical noise levels of 10d-3 relative to the continuum intensity preclude the accurate retrieval of the transverse field strength and its azimuth below a threshold of a few hundred gauss. Striving for a noise level of 10d-4 significantly improves the diagnostic capability of the WFA with this spectral line, at which point the magnetic field inference becomes limited by systematic errors.


title: Attention Fusion Networks: Combining Behavior and E-mail Content to Improve Customer Support

abstract: Customer support is a central objective at Square as it helps us build and maintain great relationships with our sellers. In order to provide the best experience, we strive to deliver the most accurate and quasi-instantaneous responses to questions regarding our products. In this work, we introduce the Attention Fusion Network model which combines signals extracted from seller interactions on the Square product ecosystem, along with submitted email questions, to predict the most relevant solution to a seller's inquiry. We show that the innovative combination of two very different data sources that are rarely used together, using state-of-the-art deep learning systems outperforms, candidate models that are trained only on a single source.