title: Verification Protocols with Sub-Linear Communication for Polynomial Matrix Operations

abstract: We design and analyze new protocols to verify the correctness of various computations on matrices over the ring F[x] of univariate polynomials over a field F. For the sake of efficiency, and because many of the properties we verify are specific to matrices over a principal ideal domain, we cannot simply rely on previously-developed linear algebra protocols for matrices over a field. Our protocols are interactive, often randomized, and feature a constant number of rounds of communication between the Prover and Verifier. We seek to minimize the communication cost so that the amount of data sent during the protocol is significantly smaller than the size of the result being verified, which can be useful when combining protocols or in some multi-party settings. The main tools we use are reductions to existing linear algebra verification protocols and a new protocol to verify that a given vector is in the F[x]-row space of a given matrix.


title: High-throughput investigation of tunable superconductivity in FeSe films

abstract: There is an ongoing debate about the relative importance of structural change versus doping charge carriers on the mechanism of superconductivity in Fe-based materials. Elucidating this issue is a major challenge since it would require a large number of samples where structure properties or the carrier density is systematically varied. FeSe, with its structural simplicity, is an ideal platform for addressing this question. It has been demonstrated that the superconductivity in this material can be controlled through crystal lattice tuning, as well as electronic structure manipulation. Here, we apply a high-throughput methodology to FeSe to systematically delineate the interdependence of its structural and electronic properties. Using a dual-beam pulsed laser deposition, we have generated FeSe films with a marked gradient in the superconducting transition temperature (below 2 K < Tc < 12 K) across 1 cm width of the films. The Tc gradient films display ~ 1% continuous stretch and compression in the out-of-plane and in-plane lattice constants respectively, triggering the continuous enhancement of superconductivity. Combining transport and angular-resolved photoemission measurements on uniform FeSe films with tunable Tc from 3 K to 14 K, we find that the electron carrier density is intimately correlated with Tc, i.e., it increases by a factor of 6 and ultimately surpasses the almost constant hole concentration. Our transmission electron microscope and band structure calculations reveal that rather than by shifting the chemical potential, the enhanced superconductivity is linked to the selective adjustment of the dxy band dispersion across the Fermi level by means of reduced local lattice distortions. Therefore, such novel mechanism provides a key to understand discrete superconducting phases in FeSe.


title: Restoring Narrow Linewidth to a Gradient-Broadened Magnetic Resonance by Inhomogeneous Dressing

abstract: We study the possibility of counteracting the line-broadening of atomic magnetic resonances due to inhomogeneities of the static magnetic field by means of spatially dependent magnetic dressing, driven by an alternating field that oscillates much faster than the Larmor precession frequency. We demonstrate that an intrinsic resonance linewidth of 25~Hz that has been broadened up to hundreds Hz by a magnetic field gradient, can be recovered by the application of an appropriate inhomogeneous dressing field. The findings of our experiments may have immediate and important implications, because they facilitate the use of atomic magnetometers as robust, high sensitivity detectors in ultra-low-field NMR imaging.


title: Kohn-Luttinger Superconductivity in Twisted Bilayer Graphene

abstract: We show that the recently observed superconductivity in twisted bilayer graphene (TBG) can be explained as a consequence of the Kohn-Luttinger (KL) instability which leads to an effective attraction between electrons with originally repulsive interaction. Usually, the KL instability takes place at extremely low energy scales, but in TBG, a doubling and subsequent strong coupling of the van Hove singularities (vHS) in the electronic spectrum occurs as the magic angle is approached, leading to extended saddle points in the highest valence band (VB) with almost perfect nesting between states belonging to different valleys. The highly anisotropic screening induces an effective attraction in a $p$-wave channel with odd parity under the exchange of the two disjoined patches of the Fermi line. We also predict the appearance of a spin-density wave (SDW) instability, adjacent to the superconducting phase, and the opening of a gap in the electronic spectrum from the condensation of spins with wave vector corresponding to the nesting vector close to the vHS.


title: A non-convex approach to low-rank and sparse matrix decomposition

abstract: In this paper, we develop a nonconvex approach to the problem of low-rank and sparse matrix decomposition. In our nonconvex method, we replace the rank function and the $l_{0}$-norm of a given matrix with a non-convex fraction function on the singular values and the elements of the matrix respectively. An alternative direction method of multipliers algorithm is utilized to solve our proposed nonconvex problem with the nonconvex fraction function penalty. Numerical experiments on some low-rank and sparse matrix decomposition problems show that our method performs very well in recovering low-rank matrices which are heavily corrupted by large sparse errors.


title: Inversion-symmetry protected chiral hinge states in stacks of doped quantum Hall layers

abstract: We prove the existence of higher-order topological insulators with protected chiral hinge modes in quasi-two-dimensional systems made out of coupled layers stacked in an inversion-symmetric manner. In particular, we show that an external magnetic field drives a stack of alternating p- and n-doped buckled honeycomb layers into a higher-order topological phase, characterized by a non-trivial three-dimensional ${\mathbb Z}_2$ invariant. We identify silicene multilayers as a potential material platform for the experimental detection of this novel topological insulating phase.


title: Robust and clean Majorana zero mode in the vortex core of high-temperature superconductor (Li0.84Fe0.16)OHFeSe

abstract: The Majorana fermion, which is its own anti-particle and obeys non-abelian statistics, plays a critical role in topological quantum computing. It can be realized as a bound state at zero energy, called a Majorana zero mode (MZM), in the vortex core of a topological superconductor, or at the ends of a nanowire when both superconductivity and strong spin orbital coupling are present. A MZM can be detected as a zero-bias conductance peak (ZBCP) in tunneling spectroscopy. However, in practice, clean and robust MZMs have not been realized in the vortices of a superconductor, due to contamination from impurity states or other closely-packed Caroli-de Gennes-Matricon (CdGM) states, which hampers further manipulations of Majorana fermions. Here using scanning tunneling spectroscopy, we show that a ZBCP well separated from the other discrete CdGM states exists ubiquitously in the cores of free vortices in the defect free regions of (Li0.84Fe0.16)OHFeSe, which has a superconducting transition temperature of 42 K. Moreover, a Dirac-cone-type surface state is observed by angle-resolved photoemission spectroscopy, and its topological nature is confirmed by band calculations. The observed ZBCP can be naturally attributed to a MZM arising from this chiral topological surface states of a bulk superconductor. (Li0.84Fe0.16)OHFeSe thus provides an ideal platform for studying MZMs and topological quantum computing.


title: Dynamic Control of Explore/Exploit Trade-Off In Bayesian Optimization

abstract: Bayesian optimization offers the possibility of optimizing black-box operations not accessible through traditional techniques. The success of Bayesian optimization methods such as Expected Improvement (EI) are significantly affected by the degree of trade-off between exploration and exploitation. Too much exploration can lead to inefficient optimization protocols, whilst too much exploitation leaves the protocol open to strong initial biases, and a high chance of getting stuck in a local minimum. Typically, a constant margin is used to control this trade-off, which results in yet another hyper-parameter to be optimized. We propose contextual improvement as a simple, yet effective heuristic to counter this - achieving a one-shot optimization strategy. Our proposed heuristic can be swiftly calculated and improves both the speed and robustness of discovery of optimal solutions. We demonstrate its effectiveness on both synthetic and real world problems and explore the unaccounted for uncertainty in the pre-determination of search hyperparameters controlling explore-exploit trade-off.


title: On the Computational Power of Online Gradient Descent

abstract: We prove that the evolution of weight vectors in online gradient descent can encode arbitrary polynomial-space computations, even in very simple learning settings. Our results imply that, under weak complexity-theoretic assumptions, it is impossible to reason efficiently about the fine-grained behavior of online gradient descent.


title: Human-level performance in first-person multiplayer games with population-based deep reinforcement learning

abstract: Recent progress in artificial intelligence through reinforcement learning (RL) has shown great success on increasingly complex single-agent environments and two-player turn-based games. However, the real-world contains multiple agents, each learning and acting independently to cooperate and compete with other agents, and environments reflecting this degree of complexity remain an open challenge. In this work, we demonstrate for the first time that an agent can achieve human-level in a popular 3D multiplayer first-person video game, Quake III Arena Capture the Flag, using only pixels and game points as input. These results were achieved by a novel two-tier optimisation process in which a population of independent RL agents are trained concurrently from thousands of parallel matches with agents playing in teams together and against each other on randomly generated environments. Each agent in the population learns its own internal reward signal to complement the sparse delayed reward from winning, and selects actions using a novel temporally hierarchical representation that enables the agent to reason at multiple timescales. During game-play, these agents display human-like behaviours such as navigating, following, and defending based on a rich learned representation that is shown to encode high-level game knowledge. In an extensive tournament-style evaluation the trained agents exceeded the win-rate of strong human players both as teammates and opponents, and proved far stronger than existing state-of-the-art agents. These results demonstrate a significant jump in the capabilities of artificial agents, bringing us closer to the goal of human-level intelligence.


title: On the spectral properties of non-selfadjoint discrete Schr\"odinger operators

abstract: Let $H_0$ be a purely absolutely continuous selfadjoint operator acting on some separable infinite-dimensional Hilbert space and $V$ be a compact non-selfadjoint perturbation. We relate the regularity properties of $V$ to various spectral properties of the perturbed operator $H_0+V$. The structure of the discrete spectrum and the embedded eigenvalues are analysed jointly with the existence of limiting absorption principles in a unified framework. Our results are based on a suitable combination of complex scaling techniques, resonance theory and positive commutators methods. Various results scattered throughout the literature are recovered and extended. For illustrative purposes, the case of the one-dimensional discrete Laplacian is emphasized.


title: X-ray background and its correlation with the 21 cm signal

abstract: We use high resolution hydrodynamical simulations to study the contribution to the X-ray background from high-$z$ energetic sources, such as X-ray binaries, accreting nuclear black holes and shock heated interstellar medium. Adopting the model discussed in Eide et al. (2018), we find that these X-ray sources during the Epoch of Reionization (EoR) contribute less than a few percent of the unresolved X-ray background. The same sources contribute to less than $\sim$2\% of the measured angular power spectrum of the fluctuations of the X-ray background. The outputs of radiative transfer simulations modeling the EoR are used to evaluate the cross-correlations of X-ray background with the 21~cm signal from neutral hydrogen. Such correlation could be used to confirm the origin of the 21 cm signal, as well as give information on the properties of the X-ray sources during the EoR. We find that the correlations are positive during the early stages of reionization when most of the hydrogen is neutral, while they become negative when the intergalactic medium gets highly ionized, with the transition from positive to negative depending on both the X-ray model and the scale under consideration. With {\tt SKA} as the reference instrument for the 21~cm experiment, the predicted S/N for such correlations is $<1$ if the corresponding X-ray survey is only able to resolve and remove X-ray sources with observed flux $>10^{-15}\,\rm erg\, cm^{-2} \, s^{-1}$, while the cumulative S/N from $l=1000$ to $10^{4}$ at $x_{\rm HI}=0.5$ is $\sim 5$ if sources with observed flux $>10^{-17}\,\rm erg\, cm^{-2} \, s^{-1}$ are detected.


title: Non-equilibrium Kinetics of the Transformation of Liquids into Physical Gels

abstract: A major stumbling block for statistical physics and materials science has been the lack of a uni- versal principle that allows us to understand and predict elementary structural, morphological, and dynamical properties of non-equilibrium amorphous states of matter. The recently-developed non- equilibrium self-consistent generalized Langevin equation (NE-SCGLE) theory, however, has been shown to provide a fundamental tool for the understanding of the most essential features of the transformation of liquids into amorphous solids, such as their aging kinetics or their dependence on the protocol of fabrication. In this work we focus on the predicted kinetics of one of the main fingerprints of the formation of gels by arrested spinodal decomposition of suddenly and deeply quenched simple liquids, namely, the arrest of structural parameters associated with the morpho- logical evolution from the initially uniform fluid, to the dynamically arrested sponge-like amorphous material. The comparison of the theoretical predictions (based on a simple specific model system), with simulation and experimental data measured on similar but more complex materials, suggests the universality of the predicted scenario.


title: A review of the finite cell method for nonlinear structural analysis of complex CAD and image-based geometric models

abstract: The finite cell method (FCM) belongs to the class of immersed boundary methods, and combines the fictitious domain approach with high-order approximation, adaptive integration and weak imposition of unfitted Dirichlet boundary conditions. For the analysis of complex geometries, it circumvents expensive and potentially error-prone meshing procedures, while maintaining high rates of convergence. The present contribution provides an overview of recent accomplishments in the FCM with applications in structural mechanics. First, we review the basic components of the technology using the p- and B-spline versions of the FCM. Second, we illustrate the typical solution behavior for linear elasticity in 1D. Third, we show that it is straightforward to extend the FCM to nonlinear elasticity. We also outline that the FCM can be extended to applications beyond structural mechanics, such as transport processes in porous media. Finally, we demonstrate the benefits of the FCM with two application examples, i.e. the vibration analysis of a ship propeller described by T-spline CAD surfaces and the nonlinear compression test of a CT-based metal foam.


title: Convergence and Rates for Hamilton-Jacobi Equations with Kirchoff Junction Conditions

abstract: We investigate rates of convergence for two approximation schemes of time-independent and time-dependent Hamilton-Jacobi equ-ations with Kirchoff junction conditions. We analyze the vanishing viscosity limit and monotone finite-difference schemes. Following recent work of Lions and Souganidis, we impose no convexity assumptions on the Hamiltonians. For stationary Hamilton-Jacobi equations, we obtain the classical $\epsilon^{\frac{1}{2}}$ rate, while we obtain an $\epsilon^{\frac{1}{7}}$ rate for approximations of the Cauchy problem. In addition, we present a number of new techniques of independent interest, including a quantified comparison proof for the Cauchy problem and an equivalent definition of the Kirchoff junction condition.


title: Performance Analysis and Fault Diagnosis Method for Concentrator Photovoltaic Modules

abstract: Concentrator Photovoltaic (CPV) systems use high efficiency multi-junction solar cells with efficiencies >40%, but the module efficiency is often much lower. The increased complexity of a CPV module, with optics, receiver and the tracker gives an increased probability that faults will arise during the operational lifetime. In addition, a location like India has varied atmospheric conditions that further complicates the diagnosis of faults. It is therefore important to decouple effects due to the external environment (such as the atmosphere) from effects due to the degradation of the module. By applying a computer model to outdoor CPV test data in Bangalore, India we have established a method to assess the performance of the CPV module and finally we present a method to diagnose faults in the module.


title: Stacked electrospun polymer nanofiber heterostructures with tailored stimulated emission

abstract: We present stacked organic lasing heterostructures made by different species of light-emitting electrospun fibers, each able to provide optical gain in a specific spectral region. A hierarchical architecture is obtained by conformable layers of fibers with disordered two-dimensional organization and three-dimensional compositional heterogeneity. Lasing polymer fibers are superimposed in layers, showing asymmetric optical behavior from the two sides of the organic heterostructure, and tailored and bichromatic stimulated emission depending on the excitation direction. A marginal role of energy acceptor molecules in determining quenching of high-energy donor species is evidenced by luminescence decay time measurements. These findings show that non-woven stacks of light-emitting electrospun fibers doped with different dyes exhibit critically-suppressed F\"orster resonance energy transfer, limited at joints between different fiber species. This leads to obtain hybrid materials with mostly physically-separated acceptors and donors, thus largely preventing donor quenching and making much easier to achieve simultaneous lasing from multiple spectral bands. Coherent backscattering experiments are also performed on the system, suggesting the onset of random lasing features. These new organic lasing systems might find application in microfluidic devices where flexible and bidirectional excitation sources are needed, optical sensors, and nanophotonics.


title: Neutron-star spindown and magnetic inclination-angle evolution

abstract: A rotating fluid star, endowed with a magnetic field, can undergo a form of precessional motion: a sum of rigid-body free precession and a non-rigid response. On secular timescales this motion is dissipated by bulk and shear viscous processes in the stellar interior and magnetospheric braking in the exterior, changing the inclination angle between the rotation and magnetic axes. Using our recent solutions for the non-rigid precessional dynamics, and viscous dissipation integrals derived in this paper, we make the only self-consistent calculation to date of these dissipation rates. We present the first results for the full coupled evolution of spindown and inclination angle for a model of a late-stage proto-neutron star with a strong toroidal magnetic field, allowing for both electromagnetic torques and internal dissipation when evolving the inclination angle. We explore this coupled evolution for a range of initial inclination angles, rotation rates and magnetic field strengths. For fixed initial inclination angle, our results indicate that the neutron-star population naturally evolves into two classes: near-aligned and near-orthogonal rotators -- with typical pulsars falling into the latter category. Millisecond magnetars can evolve into the near-aligned rotators which mature magnetars appear to be, but only for small initial inclination angle and internal toroidal fields stronger than roughly $5\times 10^{15}$ G. Once any model has evolved to either an aligned or orthogonal state, there appears to be no further evolution away from this state at later times.


title: New Losses for Generative Adversarial Learning

abstract: Generative Adversarial Networks (Goodfellow et al., 2014), a major breakthrough in the field of generative modeling, learn a discriminator to estimate some distance between the target and the candidate distributions. This paper examines mathematical issues regarding the way the gradients for the generative model are computed in this context, and notably how to take into account how the discriminator itself depends on the generator parameters. A unifying methodology is presented to define mathematically sound training objectives for generative models taking this dependency into account in a robust way, covering both GAN, VAE and some GAN variants as particular cases.


title: PISTA: Posterior Ion STAcking

abstract: We present a program allowing for the construction of a heavy ion Monte Carlo event using a general purpose proton--proton event generator of the users' choice to deliver sub--collisions. In this heavy ion event, one or more jets can be added, again using a jet calculation of the users' choice, allowing for more realistic simulation studies of jets in a heavy ion background.


title: Intent Generation for Goal-Oriented Dialogue Systems based on Schema.org Annotations

abstract: Goal-oriented dialogue systems typically communicate with a backend (e.g. database, Web API) to complete certain tasks to reach a goal. The intents that a dialogue system can recognize are mostly included to the system by the developer statically. For an open dialogue system that can work on more than a small set of well curated data and APIs, this manual intent creation will not scalable. In this paper, we introduce a straightforward methodology for intent creation based on semantic annotation of data and services on the web. With this method, the Natural Language Understanding (NLU) module of a goal-oriented dialogue system can adapt to newly introduced APIs without requiring heavy developer involvement. We were able to extract intents and necessary slots to be filled from schema.org annotations. We were also able to create a set of initial training sentences for classifying user utterances into the generated intents. We demonstrate our approach on the NLU module of a state-of-the art dialogue system development framework.


title: Dynamics of the anisotropic conformal Horava theory versus its kinetic-conformal formulation

abstract: We contrast the dynamics of the Horava theory with anisotropic Weyl symmetry with the case when this symmetry is explicitly broken, which is called the kinetic-conformal Horava theory. To do so we perform the canonical formulation of the anisotropic conformal theory at the classical level with a general conformal potential. Both theories have the generator of the anisotropic Weyl transformations as a constraint but it changes from first to second-class when the Weyl symmetry is broken. The FDiff-covariant vector a_i = \partial_i \ln N plays the role of gauge connection for the anisotropic Weyl transformations. A Lagrange multiplier plays also the role of gauge connection, being the time component. The anisotropic conformal theory propagates the same number of degrees of freedom of the kinetic-conformal theory, which in turn are the same of General Relativity. This is due to exchange of a second-class constraint in the kinetic-conformal case by a gauge symmetry in the anisotropic conformal case. An exception occurs if the conformal potential does not depend on the lapse function N, as is the case of the so called Cotton^2 potential, in which case one of the physical modes becomes odd. We develop in detail two explicit anisotropic conformal models. One of them depends on N whereas the other one is the Cotton^2 model. We also study conformally flat solutions in the anisotropic conformal and the kinetic-conformal theories, defining as conformally flat the spatial metric, but leaving for N a form different to the one dictated by the anisotropic Weyl transformations. We find that in both theories these configurations have vanishing canonical momentum and they are critical points of the potential. In the kinetic-conformal theory we find explicitly an exact, nontrivial, conformally flat solution.


title: Gauss Law, Minimal Coupling and Fermionic PEPS for Lattice Gauge Theories

abstract: In these lecture notes, we review some recent works on Hamiltonian lattice gauge theories, that involve, in particular, tensor network methods. The results reviewed here are tailored together in a slightly different way from the one used in the contexts where they were first introduced, by looking at the Gauss law from two different points of view: for the gauge field it is a differential equation, while from the matter point of view, on the other hand, it is a simple, explicit algebraic equation. We will review and discuss what these two points of view allow and do not allow us to do, in terms of unitarily gauging a pure-matter theory and eliminating the matter from a gauge theory, and relate that to the construction of PEPS (Projected Entangled Pair States) for lattice gauge theories.


title: Parallelization of the multi-level hp-adaptive finite cell method

abstract: The multi-level hp-refinement scheme is a powerful extension of the finite element method that allows local mesh adaptation without the trouble of constraining hanging nodes. This is achieved through hierarchical high-order overlay meshes, a hp-scheme based on spatial refinement by superposition. An efficient parallelization of this method using standard domain decomposition approaches in combination with ghost elements faces the challenge of a large basis function support resulting from the overlay structure and is in many cases not feasible. In this contribution, a parallelization strategy for the multi-level hp-scheme is presented that is adapted to the scheme's simple hierarchical structure. By distributing the computational domain among processes on the granularity of the active leaf elements and utilizing shared mesh data structures, good parallel performance is achieved, as redundant computations on ghost elements are avoided. We show the scheme's parallel scalability for problems with a few hundred elements per process. Furthermore, the scheme is used in conjunction with the finite cell method to perform numerical simulations on domains of complex shape.


title: Approximate Survey Propagation for Statistical Inference

abstract: Approximate message passing algorithm enjoyed considerable attention in the last decade. In this paper we introduce a variant of the AMP algorithm that takes into account glassy nature of the system under consideration. We coin this algorithm as the approximate survey propagation (ASP) and derive it for a class of low-rank matrix estimation problems. We derive the state evolution for the ASP algorithm and prove that it reproduces the one-step replica symmetry breaking (1RSB) fixed-point equations, well-known in physics of disordered systems. Our derivation thus gives a concrete algorithmic meaning to the 1RSB equations that is of independent interest. We characterize the performance of ASP in terms of convergence and mean-squared error as a function of the free Parisi parameter s. We conclude that when there is a model mismatch between the true generative model and the inference model, the performance of AMP rapidly degrades both in terms of MSE and of convergence, while ASP converges in a larger regime and can reach lower errors. Among other results, our analysis leads us to a striking hypothesis that whenever s (or other parameters) can be set in such a way that the Nishimori condition $M=Q>0$ is restored, then the corresponding algorithm is able to reach mean-squared error as low as the Bayes-optimal error obtained when the model and its parameters are known and exactly matched in the inference procedure.

categories: cond-mat.dis-nn cond-mat.stat-mech cs.IT math.IT math.ST stat.ML stat.TH


title: End-to-End Learning on 3D Protein Structure for Interface Prediction

abstract: Despite an explosion in the number of experimentally determined, atomically detailed structures of biomolecules, many critical tasks in structural biology remain data-limited. Whether performance in such tasks can be improved by using large repositories of tangentially related structural data remains an open question. To address this question, we focused on a central problem in biology: predicting how proteins interact with one another---that is, which surfaces of one protein bind to those of another protein. We built a training dataset, the Database of Interacting Protein Structures (DIPS), that contains biases but is two orders of magnitude larger than those used previously. We found that these biases significantly degrade the performance of existing methods on gold-standard data. Hypothesizing that assumptions baked into the hand-crafted features on which these methods depend were the source of the problem, we developed the first end-to-end learning model for protein interface prediction, the Siamese Atomic Surfacelet Network (SASNet). Using only spatial coordinates and identities of atoms, SASNet outperforms state-of-the-art methods trained on gold-standard structural data, even when trained on only 3% of our new dataset. Code and data available at https://github.com/drorlab/DIPS.


title: Generalized Bilinear Deep Convolutional Neural Networks for Multimodal Biometric Identification

abstract: In this paper, we propose to employ a bank of modality-dedicated Convolutional Neural Networks (CNNs), fuse, train, and optimize them together for person classification tasks. A modality-dedicated CNN is used for each modality to extract modality-specific features. We demonstrate that, rather than spatial fusion at the convolutional layers, the fusion can be performed on the outputs of the fully-connected layers of the modality-specific CNNs without any loss of performance and with significant reduction in the number of parameters. We show that, using multiple CNNs with multimodal fusion at the feature-level, we significantly outperform systems that use unimodal representation. We study weighted feature, bilinear, and compact bilinear feature-level fusion algorithms for multimodal biometric person identification. Finally, We propose generalized compact bilinear fusion algorithm to deploy both the weighted feature fusion and compact bilinear schemes. We provide the results for the proposed algorithms on three challenging databases: CMU Multi-PIE, BioCop, and BIOMDATA.


title: Small and hollow magnetic monopoles

abstract: We deal with the presence of magnetic monopoles in a non Abelian model that generalizes the standard 't~Hooft-Polyakov model in three spatial dimensions. We investigate the energy density of the static and spherically symmetric solutions to find first order differential equations that solve the equations of motion. The system is further studied and two distinct classes of solutions are obtained, one that can also be described by analytical solutions which is called small monopole, since it is significantly smaller than the standard 't~Hooft-Polyakov monopole. The other type of structure is the hollow monopole, since the energy density is endowed with a hole at its core. The hollow monopole can be smaller or larger than the standard monopole, depending on the value of the parameter that controls the magnetic permeability of the model.


title: Searching for an interstellar medium association for HESS J1534-571

abstract: The Galactic supernova remnant HESS J1534-571 (also known as G323.7-1.0) has a shell-like morphology in TeV gamma-ray emission and is a key object in the study of cosmic ray origin. Little is known about its distance and local environment. We examine Mopra $^{12}$CO/$^{13}$CO(1-0) data, Australian Telescope Compact Array HI, and Parkes HI data towards HESS J1534-571. We trace molecular clouds in at least five velocity ranges, including clumpy interstellar medium structures near a dip in HI emission at a kinematic velocity consistent with the Scutum-Crux arm at ~3.5 kpc. This feature may be a cavity blown-out by the progenitor star, a scenario that suggests HESS J1534-571 resulted from a core-collapse event. By employing parametrisations fitted to a sample of supernova remnants of known distance, we find that the radio continuum brightness of HESS J1534-571 is consistent with the ~3.5 kpc kinematic distance of the Scutum-Crux arm HI dip. Modelling of the supernova evolution suggests an ~8-24 kyr age for HESS J1534-571 at this distance.


title: Anomalous behavior of the electronic structure of (Bi$_{1-x}$In$_x$)$_2$Se$_3$ across the quantum-phase transition from topological to trivial insulator

abstract: Using spin- and angle-resolved spectroscopy and relativistic many-body calculations, we investigate the evolution of the electronic structure of (Bi$_{1-x}$In$_x$)$_2$Se$_3$ bulk single crystals around the critical point of the trivial to topological insulator quantum-phase transition. By increasing $x$, we observe how a surface gap opens at the Dirac point of the initially gapless topological surface state of Bi$_2$Se$_3$, leading to the existence of massive fermions. The surface gap monotonically increases for a wide range of $x$ values across the topological and trivial sides of the quantum-phase transition. By means of photon-energy dependent measurements, we demonstrate that the gapped surface state survives the inversion of the bulk bands which occurs at a critical point near $x=0.055$. The surface state exhibits a non-zero in-plane spin polarization which decays exponentially with increasing $x$, and that persists on both the topological and trivial insulator phases. Its out-of-plane spin polarization remains zero demonstrating the absence of a hedgehog spin texture expected from broken time-reversal symmetry. Our calculations reveal qualitative agreement with the experimental results all across the quantum-phase transition upon the systematic variation of the spin-orbit coupling strength. A non-time reversal symmetry breaking mechanism of bulk-mediated scattering processes that increase with decreasing spin-orbit coupling strength is proposed as explanation.


title: First Ground-based Measurement of Sub-20 GeV to 100 GeV $\gamma$-rays from the Vela Pulsar with H.E.S.S. II

abstract: We report on the measurement and investigation of pulsed high-energy $\gamma$-ray emission from the Vela pulsar, PSR B0833$-$45, based on 40.3 hours of observations with the largest telescope of H.E.S.S., CT5, in monoscopic mode, and on 8 years of data obtained with the Fermi-LAT. A dedicated very-low-threshold event reconstruction and analysis pipeline was developed and, together with the CT5 telescope response model, was validated using the Fermi-LAT data as reference. A pulsed $\gamma$-ray signal at a significance level of more than $15\sigma$ is detected from the P2 peak of the Vela pulsar light curve. Of a total of 15835 events, more than 6000 lie at an energy below 20 GeV, implying a significant overlap between H.E.S.S. II-CT5 and the Fermi-LAT. While the investigation of the pulsar light curve with the LAT confirms characteristics previously known up to 20 GeV, in the tens of GeV energy range, CT5 data show a change in the pulse morphology of P2, i.e., an extreme sharpening of its trailing edge, together with the possible onset of a new component at 3.4$\sigma$ significance level. Assuming a power-law model for the P2 spectrum, an excellent agreement is found for the photon indices ($\Gamma \simeq$ 4.1) obtained with the two telescopes above 10 GeV and an upper bound of 8% is derived on the relative offset between their energy scales. Using both instruments data, it is however shown that the spectrum of P2 in the 10-100 GeV has a pronounced curvature, i.e. a confirmation of the sub-exponential cutoff form found at lower energies with the LAT. This is further supported by the weak evidence for an emission above 100 GeV obtained with CT5. In contrast, converging indications are found from both CT5 and LAT data for the emergence of a hard component above 50 GeV in the leading wing (LW2) of P2, which possibly extends beyond 100 GeV.


title: Hexagonal Sr0.6Ba0.4MnO3: Spin and Dipole Coupling via Local Structure

abstract: Hexagonal Sr0.6Ba0.4MnO3 (SBMO) follows P63/mmc symmetry where MnO6 octahedra are both face-shared (Mn2O9 bi-octahedra) and corner-shared via oxygen anion. It undergoes ferroelectric (FE) and antiferromagnetic (AFM) orderings close to the room temperature. Magnetic properties appear to be governed by intricate exchange interactions among Mn4+ ions within and in adjacent Mn2O9 bi-octahedra, contingent upon the local structural changes. Calculations based on our model spin-Hamiltonian reveal that the dominant linear AFM fluctuations between the Mn4+ ions of two oxygen-linked bi-octahedra result in short range correlations, manifest as a smooth drop in magnetization below 325 K. Competition between spin-exchange and local-strain is reckoned as responsible for the atypical magneto-electricity, obtained near the room temperature.


title: Dramatic change in the boundary layer in the symbiotic recurrent nova T Coronae Borealis

abstract: A sudden increase in the rate at which material reaches the most internal part of an accretion disk, i.e. the boundary layer, can change its structure dramatically. We have witnessed such change for the first time in the symbiotic recurrent nova T CrB. Our analysis of XMM-Newton, Swift Burst Alert Telescope (BAT)/ X-Ray Telescope (XRT) / UltraViolet Optical Telescope (UVOT) and American Association of Variable Stars Observers (AAVSO) V and B-band data indicates that during an optical brightening event that started in early 2014 ($\Delta$ V$\approx$1.5): (i) the hard X-ray emission as seen with BAT almost vanished; (ii) the XRT X-ray flux decreased significantly while the optical flux remained high; (iii) the UV flux increased by at least a factor of 40 over the quiescent value; and (iv) the X-ray spectrum became much softer and a bright, new, blackbody-like component appeared. We suggest that the optical brightening event, which could be a similar event to that observed about 8 years before the most recent thermonuclear outburst in 1946, is due to a disk instability


title: A new approach for sizing trials with composite binary endpoints using anticipated marginal values and accounting for the correlation between components

abstract: Composite binary endpoints are increasingly used as primary endpoints in clinical trials. When designing a trial, it is crucial to determine the appropriate sample size for testing the statistical differences between treatment groups for the primary endpoint. As shown in this work, when using a composite binary endpoint to size a trial, one needs to specify the event rates and the effect sizes of the composite components as well as the correlation between them. In practice, the marginal parameters of the components can be obtained from previous studies or pilot trials, however, the correlation is often not previously reported and thus usually unknown. We first show that the sample size for composite binary endpoints is strongly dependent on the correlation and, second, that slight deviations in the prior information on the marginal parameters may result in underpowered trials for achieving the study objectives at a pre-specified significance level. We propose a general strategy for calculating the required sample size when the correlation is not specified, and accounting for uncertainty in the marginal parameter values. We present the web platform CompARE to characterize composite endpoints and to calculate the sample size just as we propose in this paper. We evaluate the performance of the proposal with a simulation study, and illustrate it by means of a real case study using CompARE.


title: Search for anomalous alignments of structures in Planck data using Minkowski Tensors

abstract: Minkowski Tensors are tensorial generalizations of the scalar Minkowski Functionals. Due to their tensorial nature they contain additional morphological information of structures, in particular about shape and alignment, in comparison to the scalar Minkowski functionals. They have recently been used [29] to study the statistical isotropy of temperature and E mode data from the Planck satellite. The calculation in [29] relied on stereographic projection of the fields to extract the shape and alignment information. In this work, we calculate Minkowski Tensors directly on the sphere and compute the net alignment in the data, based on a recent work that extends the definition of Minkowski Tensors to random fields on curved spaces. This method circumvents numerical errors that can be introduced by the stereographic projection. We compare the resulting net alignment parameter values obtained from the frequency coadded CMB temperature data cleaned by the SMICA pipeline, to those obtained from simulations that include instrumental beam effects and residual foreground and noise. We find very good agreement between the two within $\approx$ 1$\sigma$ . We further compare the alignments obtained from the beam-convolved CMB maps at individual Planck frequencies to those in the corresponding simulations. We find no significant difference between observed data and simulations across all Planck frequencies, except for the 30 GHz channel. For the 30 GHz channel we find $\approx$ 2$\sigma$ difference between the data and the simulations. This mild disagreement most likely originates from inaccurate estimation of the instrumental beam at 30 GHz.


title: A fundamental problem in quantizing general relativity

abstract: We point out a fundamental problem that hinders the quantization of general relativity: quantum mechanics is formulated in terms of systems, typically limited in space but infinitely extended in time, while general relativity is formulated in terms of events, limited both in space and in time. Many of the problems faced while connecting the two theories stem from the difficulty in shoe-horning one formulation into the other. A solution is not presented, but a list of desiderata for a quantum theory based on events is laid out.


abstract: This is the Proceedings of the 2018 ICML Workshop on Human Interpretability in Machine Learning (WHI 2018), which was held in Stockholm, Sweden, July 14, 2018. Invited speakers were Barbara Engelhardt, Cynthia Rudin, Fernanda Vi\'egas, and Martin Wattenberg.


title: How common is LBV S Dor variability at low metallicity?

abstract: It remains unclear whether massive star evolution is facilitated by mass loss through stellar winds only, or whether episodic mass loss during an eruptive luminous blue variable (LBV) phase is also significant. LBVs exhibit unique photometric and spectroscopic variability (termed S Dor variables). This may have tremendous implications for our understanding of the first stars, gravitational wave events, and supernovae. A key question here is whether all evolved massive stars passing through the blue supergiant phase are dormant S Dor variables transforming during a brief period, or whether LBVs are truly unique objects. By investigating the OGLE light-curves of 64 B supergiants (Bsgs) in the Small Magellanic Cloud (SMC) on a timescale of three years with a cadence of one night, the incidence of S Dor variables amongst the Bsgs population is investigated. From our sample, we find just one Bsg, AzV 261, that displays the photometric behaviour characteristic of S Doradus variables. We obtain and study a new VLT X-shooter spectrum of AzV 261 in order to investigate whether the object has changed its effective temperature over the last decade. We do not find any effective temperature variations indicating that the object is unlikely to be a LBV S Dor variable. As there is only one previous bona-fide S Dor variable known to be present in the SMC (R 40), we find the maximum duration of the LBV phase in the SMC to be at most $\sim$few 10$^3$yrs, or more likely that canonical Bsgs and S Dor LBVs are intrinsically different objects. We discuss the implications for massive star evolution in low metallicity environments, characteristic of the early Universe.


title: AC flux sweet spots in parametrically-modulated superconducting qubits

abstract: The ubiquitous presence of $1/f$ flux noise was a significant barrier to long-coherence in superconducting qubits until the development of qubits that could operate in static, flux noise insensitive configurations commonly referred to as `sweet-spots'. Several proposals for entangling gates in superconducting qubits tune the flux bias away from these spots, thus reintroducing the dephasing problem to varying degrees. Here we revisit one such proposal, where interactions are parametrically activated by rapidly modulating the flux bias of the qubits around these sweet-spots, and study the effect of modulation on the sensitivity to flux noise. We explicitly calculate how dephasing rates depend on different components of the flux-noise spectrum, and show that, while these parametric gates are insensitive to $1/f$ flux noise, dephasing rates are increased under modulation, and dominated by white noise. Remarkably, we find that simple filtering of the flux control signal allows for entangling gates to operate in a novel sweet-spot for dephasing under flux modulation. This sweet spot, which we dub the AC sweet spot, is insensitive to $1/f$ flux noise, and much less sensitive to white noise in the control electronics, allowing for interactions of quality that is limited only by higher order effects and other sources of noise.


title: Spin Textures induced by Quenched Disorder in a Reentrant Spin Glass: Vortices versus "Frustrated" Skyrmions

abstract: Reentrant spin glasses are frustrated disordered ferromagnets developing vortex-like textures under an applied magnetic field. Our study of a Ni$_{0.81}$Mn$_{0.19}$ single crystal by small angle neutron scattering clarifies their internal structure and shows that these textures are randomly distributed. Spin components transverse to the magnetic field rotate over length scales of 3-15 nm in the explored field range, decreasing as field increases according to a scaling law. Monte-Carlo simulations reveal that the internal structure of the vortices is strongly distorted and differs from that assumed for "frustrated" skyrmions, built upon a competition between symmetric exchange interactions. Isolated vortices have small non-integer topological charge. The vortices keep an anisotropic shape on a 3 dimensional lattice, recalling "croutons" in a "ferromagnetic soup". Their size and number can be tuned independently by the magnetic field and concentration x (or heat treatment), respectively. This opens an original route to understand and control the influence of quenched disorder in systems hosting non trivial spin textures.


title: Viewpoint Estimation-Insights & Model

abstract: This paper addresses the problem of viewpoint estimation of an object in a given image. It presents five key insights that should be taken into consideration when designing a CNN that solves the problem. Based on these insights, the paper proposes a network in which (i) The architecture jointly solves detection, classification, and viewpoint estimation. (ii) New types of data are added and trained on. (iii) A novel loss function, which takes into account both the geometry of the problem and the new types of data, is propose. Our network improves the state-of-the-art results for this problem by 9.8%.


title: Many-body localization as a large family of localized ground states

abstract: Many-body localization (MBL) addresses the absence of thermalization in interacting quantum systems, with non-ergodic high-energy eigenstates behaving as ground states, only area-law entangled. However, computing highly excited many-body eigenstates using exact methods is very challenging. Instead, we show that one can address high-energy MBL physics using ground-state methods, which are much more amenable to many efficient algorithms. We find that a localized many-body ground state of a given interacting disordered Hamiltonian $\mathcal{H}_0$ is a very good approximation for a high-energy eigenstate of a parent Hamiltonian, close to $\mathcal{H}_0$ but more disordered. This construction relies on computing the covariance matrix, easily achieved using density-matrix renormalization group for disordered Heisenberg chains up to $L=256$ sites.


title: Dualities and Twins: Reflections on Hapgood

abstract: These programme notes were written for a production of "Hapgood" at the Hampstead Theatre, London in December 2015. I thank Sir Tom Stoppard for helpful suggestions.


title: Extremely Large Extreme-ultraviolet Late Phase Powered by Intense Early Heating in a Non-eruptive Solar Flare

abstract: We analyzed and modeled an M1.2 non-eruptive solar flare on 2011 September 9. The flare exhibits a strong late-phase peak of the warm coronal emissions ($\sim$3~MK) of extreme-ultraviolet (EUV), with peak emission over 1.3 times that of the main flare peak. Multiple flare ribbons are observed, whose evolution indicates a two-stage energy release process. A non-linear force-free field (NLFFF) extrapolation reveals the existence of a magnetic null point, a fan-spine structure, and two flux ropes embedded in the fan dome. Magnetic reconnections involved in the flare are driven by the destabilization and rise of one of the flux ropes. In the first stage, the fast ascending flux rope drives reconnections at the null point and the surrounding quasi-separatrix layer (QSL), while in the second stage, reconnection mainly occurs between the two legs of the field lines stretched by the eventually stopped flux rope. The late-phase loops are mainly produced by the first-stage QSL reconnection, while the second-stage reconnection is responsible for the heating of main flaring loops. The first-stage reconnection is believed to be more powerful, leading to an extremely strong EUV late phase. We find that the delayed occurrence of the late-phase peak is mainly due to the long cooling process of the long late-phase loops. Using the model enthalpy-based thermal evolution of loops (EBTEL), we model the EUV emissions from a late-phase loop. The modeling reveals a peak heating rate of 1.1~erg~cm$^{-3}$~s$^{-1}$ for the late-phase loop, which is obviously higher than previous values.


title: Constraints on Early Star Formation from the 21-cm Global Signal

abstract: The tentative detection by the EDGES experiment of a global 21-cm absorption trough centered at redshift 17 opens up the opportunity to study the birth of the first luminous sources, the intensity of radiation backgrounds at cosmic dawn, the thermal and ionization history of the young intergalactic medium. Here, we focus on the astrophysical implications of the Lyman-alpha photon field needed to couple the spin temperature to the kinetic temperature of the gas at these early epochs. Under the basic assumption that the 21-cm signal is activated by extremely metal-poor stellar systems, we show that the EDGES results are consistent with an extrapolation of the declining galaxy UV luminosity density measured at 4<z<9 by deep HST observations. A substantially enhanced star formation rate density or new exotic sources of UV photons are not required at the redshifts of the EDGES signal. The amount of ionizing radiation produced by the same stellar systems that induce Lyman-alpha coupling is significant, of order 0.5 Lyman-continuum photons per H-atom per 100 Myr. To keep hydrogen largely neutral and delay the reionization process consistently with recent Planck CMB results, mean escape fractions of f_esc < 20% are required at z>15.


title: Explaining the multiple populations in globular clusters by multiple episodes of star formation and enrichment without gas expulsion from massive star feedback

abstract: In order to investigate the origin of multiple stellar populations found in globular clusters (GCs) in the halo and bulge of the Milky Way, we have constructed chemical evolution models for their putative low-mass progenitors. In light of recent theoretical developments, we assume that supernova blast waves undergo blowout without expelling the pre-enriched ambient gas, while relatively slow winds of massive stars, together with the winds and ejecta from low to high mass asymptotic-giant-branch stars, are all locally retained in these less massive systems. Interestingly, we find that the observed Na-O anti-correlations in metal-poor GCs can be reproduced when multiple episodes of starburst and enrichment are allowed to continue in these subsystems. A specific form of star formation history with decreasing time intervals between the successive stellar generations, however, is required to obtain this result, which is in good agreement with the parameters obtained from synthetic horizontal-branch models. The "mass budget problem" is also much alleviated by our models without ad-hoc assumptions on star formation efficiency, initial mass function, and the preferential loss of first-generation stars. We also applied these models to investigate the origin of super-He-rich red clump stars in the metal-rich bulge suggested by Lee et al. (2015). We find that chemical enrichment by the winds of massive stars can naturally reproduce the required strong He enhancement in metal-rich subsystems. Our results further underscore that gas expulsion or retention is a key factor in understanding the multiple populations in GCs.


title: The gravitational mass of Proxima Centauri measured with SPHERE from a microlensing event

abstract: Proxima Centauri, our closest stellar neighbour, is a low-mass M5 dwarf orbiting in a triple system. An Earth-mass planet with an 11 day period has been discovered around this star. The star's mass has been estimated only indirectly using a mass-luminosity relation, meaning that large uncertainties affect our knowledge of its properties. To refine the mass estimate, an independent method has been proposed: gravitational microlensing. By taking advantage of the close passage of Proxima Cen in front of two background stars, it is possible to measure the astrometric shift caused by the microlensing effect due to these close encounters and estimate the gravitational mass of the lens (Proxima Cen). Microlensing events occurred in 2014 and 2016 with impact parameters, the closest approach of Proxima Cen to the background star, of 1\farcs6 $\pm$ 0\farcs1 and 0\farcs5 $\pm$ 0\farcs1, respectively. Accurate measurements of the positions of the background stars during the last two years have been obtained with HST/WFC3, and with VLT/SPHERE from the ground. The SPHERE campaign started on March 2015, and continued for more than two years, covering 9 epochs. The parameters of Proxima Centauri's motion on the sky, along with the pixel scale, true North, and centering of the instrument detector were readjusted for each epoch using the background stars visible in the IRDIS field of view. The experiment has been successful and the astrometric shift caused by the microlensing effect has been measured for the second event in 2016. We used this measurement to derive a mass of 0.150$^{\textrm{+}0.062}_{-0.051}$ (an error of $\sim$ 40\%) \MSun for Proxima Centauri acting as a lens. This is the first and the only currently possible measurement of the gravitational mass of Proxima Centauri.


title: On the shape and evolution of a cosmic ray regulated galaxy-wide stellar initial mass function

abstract: In this paper, we present a new derivation of the shape and evolution of the integrated galaxy-wide initial mass function (IGIMF), incorporating explicitly the effects of cosmic rays (CRs) as regulators of the chemical and thermal state of the gas in the dense cores of molecular clouds. We predict the shape of the IGIMF as a function of star formation rate (SFR) and CR density, and show that it can be significantly different with respect to local estimates. In particular, we focus on the physical conditions corresponding to IGIMF shapes that are simultaneously shallower at high-mass end and steeper at the low-mass end than a Kroupa IMF. These solutions can explain both the levels of $\alpha$-enrichment and the excess of low-mass stars as a function of stellar mass, observed for local spheroidal galaxies. As a preliminary test of our scenario, we use idealized star formation histories to estimate the mean IMF shape for galaxies of different $z=0$ stellar mass. We show that the fraction of low-mass stars as a function of galaxy stellar mass predicted by these mean IMFs agrees with the values derived from high-resolution spectroscopic surveys.


title: An F-theory Realization of the Chiral MSSM with $\mathbb{Z}_2$-Parity

abstract: Using F-theory we construct 4D ${\cal N}=1$ SUGRA theories with the Standard Model gauge group, three chiral generations, and matter parity in order to forbid all dimension four baryon and lepton number violating operators. The underlying geometries are derived by constructing smooth genus-one fibered Calabi--Yau fourfolds using toric tops that have a Jacobian fibration with rank one Mordell--Weil group and $SU(3) \times SU(2) $ singularities. The necessary gauge backgrounds on the smooth fourfolds are shown to be fully compatible with the quantization condition, including positive integer D3-tadpoles. This construction realizes for the first time a consistent UV completion of an MSSM-like model with matter parity in F-theory. Moreover our construction is general enough to also exhibit other relevant $\mathbb{Z}_2$ charge extensions of the MSSM such as lepton and baryon parity. Such models however are rendered inconsistent by non-integer fluxes, which are necessary for producing the exact MSSM chiral spectrum. These inconsistencies turn out to be intimately related to field theory considerations regarding a UV-embedding of the $\mathbb{Z}_2$ into a $U(1)$ and the resulting discrete anomalies.


title: Novel 3d bosonic dualities from bosonization and holography

abstract: We use 3d bosonization dualities to derive new non-supersymmetric dualities between bosonic quiver theories in $2+1$ dimensions. It is shown that such dualities are a natural non-Abelian generalization of the bosonic particle-vortex duality. A special case of such dualities is applicable to Chern-Simons theories living on interfaces in $3+1$ dimensional $SU(N)$ Yang-Mills theory across which the theta angle jumps. We also analyze such interfaces in a holographic construction which provides further evidence for novel dualities between quiver gauge theories and gauge theories with adjoint scalars. These conjectured dualities pass some stringent consistency tests.


title: Entanglement Hamiltonians of lattice models via the Bisognano-Wichmann theorem

abstract: The modular (or entanglement) Hamiltonian correspondent to the half-space-bipartition of a quantum state uniquely characterizes its entanglement properties. However, in the context of lattice models, its explicit form is analytically known only for the Ising chain and certain free theories in one-dimension. In this work, we provide a throughout investigation of entanglement Hamiltonians in lattice models obtained via the Bisognano-Wichmann theorem, which provides an explicit functional form for the entanglement Hamiltonian itself in quantum field theory. Our study encompasses a variety of one- and two-dimensional models, supporting diverse quantum phases and critical points, and, most importantly, scanning several universality classes, including Ising, Potts, and Luttinger liquids. We carry out extensive numerical simulations based on the density-matrix-renormalization-group method, exact diagonalization, and quantum Monte Carlo. In particular, we compare the exact entanglement properties and correlation functions to those obtained applying the Bisognano-Wichmann theorem on the lattice. We carry out this comparison on both the eigenvalues and eigenvectors of the entanglement Hamiltonian, and expectation values of correlation functions and order parameters. Our results evidence that, as long as the low-energy description of the lattice model is well-captured by a Lorentz-invariant quantum field theory, the Bisognano-Wichmann theorem provides a qualitatively and quantitatively accurate description of the lattice entanglement Hamiltonian. The resulting framework paves the way to direct studies of entanglement properties utilizing well-established statistical mechanics methods and experiments.

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


title: Nonequilibrium Electron Dynamics In Pump-Probe Spectroscopy: Role Of Excited Phonon Populations

abstract: We study the role of excited phonon populations in the relaxation rates of nonequilibrium electrons using a nonequilibrium Green's function formalism. The transient modifications in the phononic properties are accounted for by self-consistently solving the Dyson equation for the electron and phonon Green's functions. The pump induced changes manifest in both the electronic and phononic spectral functions. We find that the excited phonon populations suppress the decay rates of nonequilibrium electrons due to enhanced phonon absorption. The increased phonon occupation also sets the nonequilibrium decay rates and the equilibrium scattering rates apart. The decay rates are found to be time-dependent, and this is illustrated in the experimentally observed population decay of photoexcited $\mathrm{Bi}_{1.5}\mathrm{Sb}_{0.5} \mathrm{Te}_{1.7}\mathrm{Se}_{1.3}$.

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


title: Imaging radial velocity planets with SPHERE

abstract: We present observations with the planet finder SPHERE of a selected sample of the most promising radial velocity (RV) companions for high-contrast imaging. Using a Monte Carlo simulation to explore all the possible inclinations of the orbit of wide RV companions, we identified the systems with companions that could potentially be detected with SPHERE. We found the most favorable RV systems to observe are : HD\,142, GJ\,676, HD\,39091, HIP\,70849, and HD\,30177 and carried out observations of these systems during SPHERE Guaranteed Time Observing (GTO). To reduce the intensity of the starlight and reveal faint companions, we used Principle Component Analysis (PCA) algorithms alongside angular and spectral differential imaging. We injected synthetic planets with known flux to evaluate the self-subtraction caused by our data reduction and to determine the 5$\sigma$ contrast in the J band $vs$ separation for our reduced images. We estimated the upper limit on detectable companion mass around the selected stars from the contrast plot obtained from our data reduction. Although our observations enabled contrasts larger than 15 mag at a few tenths of arcsec from the host stars, we detected no planets. However, we were able to set upper mass limits around the stars using AMES-COND evolutionary models. We can exclude the presence of companions more massive than 25-28 \MJup around these stars, confirming the substellar nature of these RV companions.


title: The structure of post-starburst galaxies at $0.5 < z < 2$: evidence for two distinct quenching routes at different epochs

abstract: We present an analysis of the structure of post-starburst (PSB) galaxies in the redshift range $0.5 < z < 2$, using a photometrically-selected sample identified in the Ultra Deep Survey (UDS) field. We examine the structure of $\sim80$ of these transient galaxies using radial light $\mu(r)$ profiles obtained from CANDELS $\textit{Hubble Space Telescope}$ near-infrared/optical imaging, and compare to a large sample of $\sim2000$ passive and star-forming galaxies. For each population, we determine their typical structural properties (effective radius $r_{\rm e}$, S\'ersic index $n$) and find significant differences in PSB structure at different epochs. At high redshift ($z > 1$), PSBs are typically massive ($M_* > 10^{10}\rm\,M_{\odot}$), very compact and exhibit high S\'ersic indices, with structures that differ significantly from their star-forming progenitors but are similar to massive passive galaxies. In contrast, at lower redshift ($0.5 < z < 1$), PSBs are generally of low mass ($M_* < 10^{10}\rm\,M_{\odot}$) and exhibit compact but less concentrated profiles (i.e. lower S\'ersic indices), with structures similar to low-mass passive discs. Furthermore, for both epochs we find remarkably consistent PSB structure across the optical/near-infrared wavebands (which largely trace different stellar populations), suggesting that any preceding starburst and/or quenching in PSBs was not strongly centralized. Taken together, these results imply that PSBs at $z > 1$ have been recently quenched during a major disruptive event (e.g. merger or protogalactic collapse) which formed a compact remnant, while at $z < 1$ an alternative less disruptive process is primarily responsible. Our results suggest that high-$z$ PSBs are an intrinsically different population to those at lower redshifts, and indicate different quenching routes are active at different epochs.


title: Constraining the presence of giant planets in two-belt debris disk systems with VLT/SPHERE direct imaging and dynamical arguments

abstract: Giant, wide-separation planets often lie in the gap between multiple, distinct rings of circumstellar debris: this is the case for the HR\,8799 and HD\,95086 systems, and even the solar system where the Asteroid and Kuiper belts enclose the four gas and ice giants. In the case that a debris disk, inferred from an infrared excess in the SED, is best modelled as two distinct temperatures, we infer the presence of two spatially separated rings of debris. Giant planets may well exist between these two belts of debris, and indeed could be responsible for the formation of the gap between these belts. We observe 24 such two-belt systems using the VLT/SPHERE high contrast imager, and interpret our results under the assumption that the gap is indeed formed by one or more giant planets. A theoretical minimum mass for each planet can then be calculated, based on the predicted dynamical timescales to clear debris. The typical dynamical lower limit is $\sim$0.2$M_J$ in this work, and in some cases exceeds 1$M_J$. Direct imaging data, meanwhile, is typically sensitive to planets down to $\sim$3.6$M_J$ at 1'', and 1.7$M_J$ in the best case. Together, these two limits tightly constrain the possible planetary systems present around each target, many of which will be detectable with the next generation of high-contrast imagers.


title: Growth of Dark Matter Perturbations during Kination

abstract: If the Universe's energy density was dominated by a fast-rolling scalar field while the radiation bath was hot enough to thermally produce dark matter, then dark matter with larger-than-canonical annihilation cross sections can generate the observed dark matter relic abundance. To further constrain these scenarios, we investigate the evolution of small-scale density perturbations during such a period of kination. We determine that once a perturbation mode enters the horizon during kination, the gravitational potential drops sharply and begins to oscillate and decay. Nevertheless, dark matter density perturbations that enter the horizon during an era of kination grow linearly with the scale factor prior to the onset of radiation domination. Consequently, kination leaves a distinctive imprint on the matter power spectrum: scales that enter the horizon during kination have enhanced inhomogeneity. We also consider how matter density perturbations evolve when the dominant component of the Universe has a generic equation-of-state parameter $w$. We find that matter density perturbations do not grow if they enter the horizon when ${0< w < 1/3}$. If matter density perturbations enter the horizon when ${w > 1/3}$, their growth is faster than the logarithmic growth experienced during radiation domination. The resulting boost to the small-scale matter power spectrum leads to the formation of enhanced substructure, which effectively increases the dark matter annihilation rate and could make thermal dark matter production during an era of kination incompatible with observations.


title: Many-Body Expanded Full Configuration Interaction. I. Weakly Correlated Regime

abstract: Over the course of the past few decades, the field of computational chemistry has managed to manifest itself as a key complement to more traditional lab-oriented chemistry. This is particularly true in the wake of the recent renaissance of full configuration interaction (FCI)-level methodologies, albeit only if these can prove themselves sufficiently robust and versatile to be routinely applied to a variety of chemical problems of interest. In the present series of works, performance and feature enhancements of one such avenue towards FCI-level results for medium to large one-electron basis sets, the recently introduced many-body expanded full configuration interaction (MBE-FCI) formalism [J. Phys. Chem. Lett., 8, 4633 (2017)], will be presented. Specifically, in this opening part of the series, the capabilities of the MBE-FCI method in producing near-exact ground state energies for weakly correlated molecules of any spin multiplicity will be demonstrated.


title: Dirac Born-Infeld inflation under constant roll conditions

abstract: In the present paper, we aim to generalize the constant-roll inflation in the non-canonical set-up, particularly in the context of scalar Dirac-Born-Infeld (DBI) theory which has emerged to be prospective candidate for describing inflation in the realm of string theory and in general permits time dependent speed of sound. Assuming the simplest case, when the speed of sound of scalar fluctuations is constant but different from unity, we obtain exact inflationary solutions and corresponding solutions of warp factors under constant-roll conditions. In this scenario, the inflationary solution is found to be an attractor. The power spectra of curvature fluctuations is analysed in the DBI regime and finally an estimation for predicting the observational bound on the DBI constant roll parameter is performed by using the the values of scalar spectral index and speed of sound provided by Planck and WMAP data.


title: Centaurs potentially in retrograde co-orbit resonance with Saturn

abstract: Aims. 2015 BZ509 is the first asteroid confirmed to be in retrograde co-orbit resonance (or 1/-1 resonance) with the giant planets in the solar system. While Saturn is the only giant planet whose Trojans are not discovered until now, we identify some small bodies among Centaurs and Damocloids that are potentially in 1/-1 resonance with Saturn in the present study. Methods. We integrate numerically the motion of the 1000 clones (include the nominal orbit) of each Centaur whose orbit has a semi-major axis between 9.3 au and 9.8 au and an inclination i > 90 deg. To confirm and evaluate the 1/-1 resonant configurations mentioned above, we introduce a useful one-degree integrable approximation for planar 1/-1 resonance. Results. We identify four candidates potentially in 1/-1 resonance with Saturn. The capture in this particular resonant state during the 40000 yr integration timespan is very common for 2006 RJ2 (906/1000 clones), 2006 BZ8 (878/1000 clones), and 2017 SV13 (998/1000 clones), and it is less likely for 2012 YE8 (426/1000 clones). According to our statistical results, 2006 RJ2 is the best candidate to be currently in a 1/-1 mean motion resonance with Saturn, and 2017 SV13 is another important potential candidate. Moreover, 2012 YE8 and 2006 BZ8 are also Centaurs of interest but their current and long-term 1/-1 resonant state with Saturn is less likely. The proportions of the clones captured in the relative long-term stable co-orbit resonance (over 10000 yr) are also given. Conclusions. Small bodies in retrograde co-orbit resonance with giant planets may be more common than previously expected. Identification of these potential mysterious minor bodies encourages the search for such objects on a larger scale in our solar system. The findings of this paper are also useful for understanding the origin and dynamical evolution of the Centaurs and Damocloids on retrograde orbits.


title: Beta and Neutrinoless Double Beta Decays with KeV Sterile Fermions

abstract: Motivated by the capability of the KATRIN experiment to explore the existence of KeV neutrinos in the $[1-18.5]$ KeV mass range, we explore the viability of minimal extensions of the Standard Model involving sterile neutrinos (namely the 3 + $N$ frameworks) and study their possible impact in both the beta energy spectrum and the neutrinoless double beta decay effective mass, for the two possible ordering cases for the light neutrino spectrum. We also explore how both observables can discriminate between motivated low-scale seesaw realizations involving KeV sterile neutrinos. Our study concerns the prospect of a Type-I seesaw with two right-handed neutrinos, and a combination of the inverse and the linear seesaws where the Standard Model is minimally extended by two quasi-degenerate sterile fermions. We also discuss the possibility of exploring the latter case searching for double-kinks in KATRIN.


title: Multi-Level Feature Abstraction from Convolutional Neural Networks for Multimodal Biometric Identification

abstract: In this paper, we propose a deep multimodal fusion network to fuse multiple modalities (face, iris, and fingerprint) for person identification. The proposed deep multimodal fusion algorithm consists of multiple streams of modality-specific Convolutional Neural Networks (CNNs), which are jointly optimized at multiple feature abstraction levels. Multiple features are extracted at several different convolutional layers from each modality-specific CNN for joint feature fusion, optimization, and classification. Features extracted at different convolutional layers of a modality-specific CNN represent the input at several different levels of abstract representations. We demonstrate that an efficient multimodal classification can be accomplished with a significant reduction in the number of network parameters by exploiting these multi-level abstract representations extracted from all the modality-specific CNNs. We demonstrate an increase in multimodal person identification performance by utilizing the proposed multi-level feature abstract representations in our multimodal fusion, rather than using only the features from the last layer of each modality-specific CNNs. We show that our deep multi-modal CNNs with multimodal fusion at several different feature level abstraction can significantly outperform the unimodal representation accuracy. We also demonstrate that the joint optimization of all the modality-specific CNNs excels the score and decision level fusions of independently optimized CNNs.


title: Utility Design for Distributed Resource Allocation -- Part I: Characterizing and Optimizing the Exact Price of Anarchy

abstract: Game theory has emerged as a fruitful paradigm for the design of networked multiagent systems. A fundamental component of this approach is the design of agents' utility functions so that their self-interested maximization results in a desirable collective behavior. In this work we focus on a well-studied class of distributed resource allocation problems where each agent is requested to select a subset of resources with the goal of optimizing a given system-level objective. Our core contribution is the development of a novel framework to tightly characterize the worst case performance of any resulting Nash equilibrium (price of anarchy) as a function of the chosen agents' utility functions. Leveraging this result, we identify how to design such utilities so as to optimize the price of anarchy through a tractable linear program. This provides us with a priori performance certificates applicable to any existing learning algorithm capable of driving the system to an equilibrium. Part II of this work specializes these results to submodular and supermodular objectives, discusses the complexity of computing Nash equilibria, and provides multiple illustrations of the theoretical findings.


title: Breast Cancer Diagnosis via Classification Algorithms

abstract: In this paper, we analyze the Wisconsin Diagnostic Breast Cancer Data using Machine Learning classification techniques, such as the SVM, Bayesian Logistic Regression (Variational Approximation), and K-Nearest-Neighbors. We describe each model, and compare their performance through different measures. We conclude that SVM has the best performance among all other classifiers, while it competes closely with the Bayesian Logistic Regression that is ranked second best method for this dataset.


title: Common origin for Hercules-Aquila and Virgo Clouds in Gaia DR2

abstract: We use a sample of ~350 RR Lyrae stars with radial velocities and Gaia DR2 proper motions to study orbital properties of the Hercules-Aquila Cloud (HAC) and Virgo Over-density (VOD). We demonstrate that both structures are dominated by stars on highly eccentric orbits, with peri-centres around ~1 kpc and apo-centres between 15 and 25 kpc from the Galactic centre. Given that the stars in the HAC and the VOD occupy very similar regions in the space spanned by integrals of motion, we conclude that these diffuse debris clouds are part of the same accretion event. More precisely, these inner halo sub-structures likely represent two complementary not-fully-mixed portions of an ancient massive merger, also known as the "sausage" event.


title: Who Ordered That? On The Origin of LIGO's Merging Binary Black Holes

abstract: LIGO's detection of gravitational waves from binary black hole mergers was an unexpected surprise that immediately raised the question - what is the origin of these black hole binaries? The "simplest" scenario is evolution of field massive stellar binaries. However, other possibilities involving capture have been proposed. We explore here one of the more interesting clues on this puzzle: the relatively modest spins of the resulting black holes that imply that the progenitor black holes were not spinning rapidly. More specifically we consider the implication of observed distribution of, $\chi_{\rm eff}$, the mass weighted projected (along the orbital axis) spins on the field evolution scenario. In all cases $\chi_{\rm eff}$ is small and in two of the cases the best fit value is negative. Only in one event the spin is positive at 90\% credible. These observations are puzzling within the field binary scenario in which positive higher spins ($\chi_{\rm eff} \ge 0.5$) are expected. At first sight one may expect that this rules out the field evolutionary scenario. Indeed we show that with typical parameters a significant fraction ($\ge 25\%$) of the mergers should have high effective spin values. However, uncertainties in the outcome of the common envelope phase (the typical separation and whether the stars are rotating or not) and in the late stages of massive star evolution (the strength of the winds) make it impossible to rule out, at present, these scenarios. While observations of mergers with high effective spin will support this scenario, future observations of negative spin mergers would rule it out.


title: COTA: Improving the Speed and Accuracy of Customer Support through Ranking and Deep Networks

abstract: For a company looking to provide delightful user experiences, it is of paramount importance to take care of any customer issues. This paper proposes COTA, a system to improve speed and reliability of customer support for end users through automated ticket classification and answers selection for support representatives. Two machine learning and natural language processing techniques are demonstrated: one relying on feature engineering (COTA v1) and the other exploiting raw signals through deep learning architectures (COTA v2). COTA v1 employs a new approach that converts the multi-classification task into a ranking problem, demonstrating significantly better performance in the case of thousands of classes. For COTA v2, we propose an Encoder-Combiner-Decoder, a novel deep learning architecture that allows for heterogeneous input and output feature types and injection of prior knowledge through network architecture choices. This paper compares these models and their variants on the task of ticket classification and answer selection, showing model COTA v2 outperforms COTA v1, and analyzes their inner workings and shortcomings. Finally, an A/B test is conducted in a production setting validating the real-world impact of COTA in reducing issue resolution time by 10 percent without reducing customer satisfaction.


title: Equivariant group presentations and the second homology group of the Torelli group

abstract: We develop a theory of equivariant group presentations and relate them to the second homology group of a group. Our main application says that the second homology group of the Torelli subgroup of the mapping class group is finitely generated as an $Sp(2g,\mathbb{Z})$-module.


title: Topological phase diagram of the disordered 2XY model in presence of generalized Dzyaloshinskii-Moriya Interaction

abstract: Topological index of a system specifies gross features of the system. However, in situations such as strong disorder where by level repulsion mechanism the spectral gap is closed, the topological indices are not well-defined. In this paper, we show that the localization length of zero modes determined from appropriate use of transfer matrix method reveals much more information than the topological index. The localization length can provide not only information about the topological index of the Hamiltonian itself, but it can also provide information about the topological indices of the related Hamiltonians. As a case study, we study a generalized XY model (2XY model) plus a generalized Dziyaloshinskii-Moriya-like (DM) interaction that after fermionization breaks the time-reversal invariance and is parameterized by $\phi$. The {\em parent} Hamiltonian at $\phi=0$ which belongs to BDI class is indexed by integer winding number while the $\phi\ne 0$ {\em daughter} Hamiltonian which belongs to class D is specified by a $Z_2$ index $\nu=\pm 1$. We show that the localization length in addition to determining the $Z_2$ can count the number of Majorana zero modes left over at the boundary of the daughter Hamiltonian -- which are not protected by winding number anymore. Therefore the localization length outperforms the standard topological indices in two respects: (i) it is much faster and more accurate to calculate and (ii) it can count the winding number of the parent Hamiltonian by looking into the edges of the daughter Hamiltonian.


title: Best-Effort FPGA Programming: A Few Steps Can Go a Long Way

abstract: FPGA-based heterogeneous architectures provide programmers with the ability to customize their hardware accelerators for flexible acceleration of many workloads. Nonetheless, such advantages come at the cost of sacrificing programmability. FPGA vendors and researchers attempt to improve the programmability through high-level synthesis (HLS) technologies that can directly generate hardware circuits from high-level language descriptions. However, reading through recent publications on FPGA designs using HLS, one often gets the impression that FPGA programming is still hard in that it leaves programmers to explore a very large design space with many possible combinations of HLS optimization strategies. In this paper we make two important observations and contributions. First, we demonstrate a rather surprising result: FPGA programming can be made easy by following a simple best-effort guideline of five refinement steps using HLS. We show that for a broad class of accelerator benchmarks from MachSuite, the proposed best-effort guideline improves the FPGA accelerator performance by 42-29,030x. Compared to the baseline CPU performance, the FPGA accelerator performance is improved from an average 292.5x slowdown to an average 34.4x speedup. Moreover, we show that the refinement steps in the best-effort guideline, consisting of explicit data caching, customized pipelining, processing element duplication, computation/communication overlapping and scratchpad reorganization, correspond well to the best practice guidelines for multicore CPU programming. Although our best-effort guideline may not always lead to the optimal solution, it substantially simplifies the FPGA programming effort, and will greatly support the wide adoption of FPGA-based acceleration by the software programming community.


title: SWIFT: Maintaining weak-scalability with a dynamic range of $10^4$ in time-step size to harness extreme adaptivity

abstract: Cosmological simulations require the use of a multiple time-stepping scheme. Without such a scheme, cosmological simulations would be impossible due to their high level of dynamic range; over eleven orders of magnitude in density. Such a large dynamic range leads to a range of over four orders of magnitude in time-step, which presents a significant load-balancing challenge. In this work, the extreme adaptivity that cosmological simulations present is tackled in three main ways through the use of the code SWIFT. First, an adaptive mesh is used to ensure that only the relevant particles are interacted in a given time-step. Second, task-based parallelism is used to ensure efficient load-balancing within a single node, using pthreads and SIMD vectorisation. Finally, a domain decomposition strategy is presented, using the graph domain decomposition library METIS, that bisects the work that must be performed by the simulation between nodes using MPI. These three strategies are shown to give SWIFT near-perfect weak-scaling characteristics, only losing 25% performance when scaling from 1 to 4096 cores on a representative problem, whilst being more than 30x faster than the de-facto standard Gadget-2 code.


title: Feature-rich plasmon excitations in sliding bilayer graphene

abstract: The tight-binding model is closely associated with the modified layer-based random-phase approximation to thoroughly investigate the electron-electron interactions in sliding bilayer graphene. The Coulomb interactions and intralayer and interlayer atomic interactions dominate the collective and electron-hole excitations. The unusual energy bands are directly reflected in the diverse transferred momentum-frequency phase diagrams. In general, there exist two kinds of plasmon modes during the variation of the doping level in sliding bilayer graphene, being accompanied with the complicated intraband and interband single-particle excitations. The excitation behaviors are greatly diversified by the relative shift between two graphene layers. The theoretical predictions can be verified by high-resolution experimental examinations.


title: Utility Design for Distributed Resource Allocation -- Part II: Applications to Submodular, Covering, and Supermodular Problems

abstract: A fundamental component of the game theoretic approach to distributed control is the design of local utility functions.Relative to resource allocation problems that are additive over the resources, Part I showed how to design local utilities so as to maximize the associated performance guarantees [Paccagnan et al., TAC 2019] which we measure by the price of anarchy. The purpose of the present manuscript is to specialize these results to the case of submodular, covering, and supermodular problems. In all these cases we obtain tight expressions for the price of anarchy that often match or improve the guarantees associated to state-of-the-art approximation algorithms. Two applications and corresponding numerics are presented: the vehicle-target assignment problem and a coverage problem arising in wireless data caching.


title: Tuning the coupling of an individual magnetic impurity to a superconductor: quantum phase transition and transport

abstract: The exchange scattering at magnetic adsorbates on superconductors gives rise to Yu-Shiba-Rusinov (YSR) bound states. Depending on the strength of the exchange coupling, the magnetic moment perturbs the Cooper pair condensate only weakly, resulting in a free-spin ground state, or binds a quasiparticle in its vicinity, leading to a (partially) screened spin state. Here, we use the flexibility of Fe-porphin molecules adsorbed on a Pb(111) surface to reversibly and continuously tune between these distinct ground states. We find that the FeP moment is screened in the pristine adsorption state. Approaching the tip of a scanning tunneling microscope, we exert a sufficiently strong attractive force to tune the molecule through the quantum phase transition into the free-spin state. We ascertain and characterize the transition by investigating the transport processes as function of tip-molecule distance, exciting the YSR states by single-electron tunneling as well as (multiple) Andreev reflections.


title: Association between Tornadoes and Instability of Hosting Prominence

abstract: We studied the dynamics of all prominence tornadoes detected by the Solar Dynamics Observatory/Atmospheric Imaging Assembly from 2011 January 01 to December 31. In total, 361 events were identified during the whole year, but only 166 tornadoes were traced until the end of their lifetime. Out of 166 tornadoes, 80 (48%) triggered CMEs in hosting prominences, 83 (50%) caused failed coronal mass ejections (CMEs) or strong internal motion in the prominences, and only 3 (2%) finished their lifetimes without any observed activity. Therefore, almost all prominence tornadoes lead to the destabilization of their hosting prominences and half of them trigger CMEs. Consequently, prominence tornadoes may be used as precursors for CMEs and hence for space weather predictions.


title: Finite Sample $L_2$ Bounds for Sequential Monte Carlo and Adaptive Path Selection

abstract: We prove a bound on the finite sample error of sequential Monte Carlo (SMC) on static spaces using the $L_2$ distance between interpolating distributions and the mixing times of Markov kernels. This result is unique in that it is the first finite sample convergence result for SMC that does not require an upper bound on the importance weights. Using this bound we show that careful selection of the interpolating distributions can lead to substantial improvements in the computational complexity of the algorithm. This result also justifies the adaptive selection of SMC distributions using the relative effective sample size commonly used in the literature and we establish conditions guaranteeing the approximation accuracy of the adaptive SMC approach. We then demonstrate empirically that this procedure provides nearly-optimal sequences of distributions in an automatic fashion for realistic examples.


title: A Dataset for Lane Instance Segmentation in Urban Environments

abstract: Autonomous vehicles require knowledge of the surrounding road layout, which can be predicted by state-of-the-art CNNs. This work addresses the current lack of data for determining lane instances, which are needed for various driving manoeuvres. The main issue is the time-consuming manual labelling process, typically applied per image. We notice that driving the car is itself a form of annotation. Therefore, we propose a semi-automated method that allows for efficient labelling of image sequences by utilising an estimated road plane in 3D based on where the car has driven and projecting labels from this plane into all images of the sequence. The average labelling time per image is reduced to 5 seconds and only an inexpensive dash-cam is required for data capture. We are releasing a dataset of 24,000 images and additionally show experimental semantic segmentation and instance segmentation results.


title: Importance of Paramagnetic Background Subtraction for Determining the Magnetic Moment in Epitaxially Grown Monolayer and Few-Layer van der Waals Magnets

abstract: Due to the atomically thin nature of monolayer and few-layer van der Waals magnets, the undesired background signal from the substrate can have significant contribution when characterizing their magnetic properties. This brings challenges in accurately determining the magnitude of the magnetic moment of the epitaxially grown van der Waals magnets on bulk substrates. In this paper, we discuss the impact of the background subtraction method for accurately determining the magnetic moments in such systems. Using the recently reported intrinsic two-dimensional (2D) van der Waals ferromagnet MnSe${_2}$ as an example, we show that a normal diamagnetic background subtraction method in analyzing the bulk magnetometry measurement will result in an unexpectedly large magnetic moment (greater than ~10 {\mu}${_B}$ per formula unit). Through our systematic growth study, we identify an additional paramagnetic signal due to unintentional Mn doping of the substrate. To extract the correct magnetic moment, a paramagnetic background should also be considered. This yields a total magnetic moment of ~4 {\mu}${_B}$ per formula unit in monolayer MnSe${_2}$, which is in close agreement to the theoretically predicted value.


title: Anomaly Detection for Skin Disease Images Using Variational Autoencoder

abstract: In this paper, we demonstrate the potential of applying Variational Autoencoder (VAE) [10] for anomaly detection in skin disease images. VAE is a class of deep generative models which is trained by maximizing the evidence lower bound of data distribution [10]. When trained on only normal data, the resulting model is able to perform efficient inference and to determine if a test image is normal or not. We perform experiments on ISIC2018 Challenge Disease Classification dataset (Task 3) and compare different methods to use VAE to detect anomaly. The model is able to detect all diseases with 0.779 AUCROC. If we focus on specific diseases, the model is able to detect melanoma with 0.864 AUCROC and detect actinic keratosis with 0.872 AUCROC, even if it only sees the images of nevus. To the best of our knowledge, this is the first applied work of deep generative models for anomaly detection in dermatology.


title: OCTen: Online Compression-based Tensor Decomposition

abstract: Tensor decompositions are powerful tools for large data analytics as they jointly model multiple aspects of data into one framework and enable the discovery of the latent structures and higher-order correlations within the data. One of the most widely studied and used decompositions, especially in data mining and machine learning, is the Canonical Polyadic or CP decomposition. However, today's datasets are not static and these datasets often dynamically growing and changing with time. To operate on such large data, we present OCTen the first ever compression-based online parallel implementation for the CP decomposition. We conduct an extensive empirical analysis of the algorithms in terms of fitness, memory used and CPU time, and in order to demonstrate the compression and scalability of the method, we apply OCTen to big tensor data. Indicatively, OCTen performs on-par or better than state-of-the-art online and online methods in terms of decomposition accuracy and efficiency, while saving up to 40-200 % memory space.


title: Intensity mapping of the 21cm emission: lensing

abstract: In this paper, we study lensing of 21cm intensity mapping (IM). Like in the cosmic microwave background (CMB), there is no first order lensing in intensity mapping. The first effects in the power spectrum are therefore of second and third order. Despite this, lensing of the CMB power spectrum is an important effect that needs to be taken into account, which motivates the study of the impact of lensing on the IM power spectrum. We derive a general formula up to third order in perturbation theory including all the terms with two derivatives of the gravitational potential, i.e. the dominant terms on sub-Hubble scales. We then show that in intensity mapping there is a new lensing term which is not present in the CMB. We obtain that the signal-to-noise of 21 cm lensing for futuristic surveys like SKA2 is about 10. We find that surveys probing only large scales, lmax < 700, can safely neglect the lensing of the intensity mapping power spectrum, but that otherwise this effect should be included.


title: Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

abstract: This volume contains a selection of papers presented at LFMTP 2018, the 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on July 7, 2018, in Oxford, UK. The workshop was affiliated with the 3rd international conference on Formal Structures for Computation and Deduction (FSCD) within the 7th Federated Logic Conference (FLoC).


title: Integral norm discretization and related problems

abstract: The problem of replacing an integral norm with respect to a given probability measure by the corresponding integral norm with respect to a discrete measure is discussed in the paper. The above problem is studied for elements of finite dimensional spaces. Also, discretization of the uniform norm of functions from a given finite dimensional subspace of continuous functions is studied. We pay special attention to the case of the multivariate trigonometric polynomials with frequencies from a finite set with fixed cardinality. Both new results and a survey of known results are presented.