title: Deeper Interpretability of Deep Networks

abstract: Deep Convolutional Neural Networks (CNNs) have been one of the most influential recent developments in computer vision, particularly for categorization. There is an increasing demand for explainable AI as these systems are deployed in the real world. However, understanding the information represented and processed in CNNs remains in most cases challenging. Within this paper, we explore the use of new information theoretic techniques developed in the field of neuroscience to enable novel understanding of how a CNN represents information. We trained a 10-layer ResNet architecture to identify 2,000 face identities from 26M images generated using a rigorously controlled 3D face rendering model that produced variations of intrinsic (i.e. face morphology, gender, age, expression and ethnicity) and extrinsic factors (i.e. 3D pose, illumination, scale and 2D translation). With our methodology, we demonstrate that unlike human's network overgeneralizes face identities even with extreme changes of face shape, but it is more sensitive to changes of texture. To understand the processing of information underlying these counterintuitive properties, we visualize the features of shape and texture that the network processes to identify faces. Then, we shed a light into the inner workings of the black box and reveal how hidden layers represent these features and whether the representations are invariant to pose. We hope that our methodology will provide an additional valuable tool for interpretability of CNNs.


title: Paracontrolled approach to the three-dimensional stochastic nonlinear wave equation with quadratic nonlinearity

abstract: Using ideas from paracontrolled calculus, we prove local well-posedness of a renormalized version of the three-dimensional stochastic nonlinear wave equation with quadratic nonlinearity forced by an additive space-time white noise on a periodic domain. There are two new ingredients as compared to the parabolic setting. (i) In constructing stochastic objects, we have to carefully exploit dispersion at a multilinear level. (ii) We introduce novel random operators and leverage their regularity to overcome the lack of smoothing of usual paradifferential commutators.


title: Additive Schwarz preconditioners for a state constrained elliptic distributed optimal control problem discretized by a partition of unity method

abstract: We present additive Schwarz preconditioners for a class of elliptic optimal control problems discretized by a partition of unity method. The discrete problem is solved by a primal-dual active set algorithm, where the auxiliary system in each iteration is solved by a preconditioned conjugate gradient method based on additive Schwarz preconditioners. Condition number estimates are given and verified by a numerical example.


title: Measures of electronic-vibrational entanglement and quantum coherence in a molecular system

abstract: We characterize both entanglement and quantum coherence in a molecular system by connecting the linear entropy of electronic-nuclear entanglement with Wigner-Yanase skew information measuring vibronic coherence and local quantum uncertainty on electronic energy. Linear entropy of entanglement and quantifiers of quantum coherence are derived for a molecular system described in a bipartite Hilbert space H=Hel x Hvib of finite dimension Nel x Nv, and relations between them are established. For the specific case of the electronic-vibrational entanglement, we find the linear entropy of entanglement as having a more complex informational content than the von Neumann entropy. By keeping the information carried by the vibronic coherences in a molecule, linear entropy seizes vibrational motion in the electronic potentials as entanglement dynamics. We analyze entanglement oscillations in an isolated molecule, and show examples for the control of entanglement dynamics in a molecule through the creation of coherent vibrational wave packets in several electronic potentials by using chirped laser pulses.


title: One-dimensional Hubbard-Holstein model with finite range electron-phonon coupling

abstract: The Hubbard-Holstein model describes fermions on a discrete lattice, with on-site repulsion between fermions and a coupling to phonons that are localized on sites. Generally, at half-filling, increasing the coupling $g$ to the phonons drives the system towards a Peierls charge density wave state whereas increasing the electron-electron interaction $U$ drives the fermions into a Mott antiferromagnet. At low $g$ and $U$, or when doped, the system is metallic. In one-dimension, using quantum Monte Carlo simulations, we study the case where fermions have a long range coupling to phonons, with characteristic range $\xi$, interpolating between the Holstein and Fr\"ohlich limits. Without electron-electron interaction, the fermions adopt a Peierls state when the coupling to the phonons is strong enough. This state is destabilized by a small coupling range $\xi$, and leads to a collapse of the fermions, and, consequently, phase separation. Increasing interaction $U$ will drive any of these three phases (metallic, Peierls, phase separation) into a Mott insulator phase. The phase separation region is once again present in the $U \ne 0$ case, even for small values of the coupling range.


title: More out of less: an excess integrated Sachs-Wolfe signal from supervoids mapped out by the Dark Energy Survey

abstract: The largest structures in the cosmic web probe the dynamical nature of dark energy through their integrated Sachs-Wolfe imprints. In the strength of the signal, typical cosmic voids have shown good consistency with expectation $A_{\rm ISW}=\Delta T^{\rm data} / \Delta T^{\rm theory}=1$, given the substantial cosmic variance. Discordantly, large-scale hills in the gravitational potential, or supervoids, have shown excess signals. In this study, we mapped out 87 new supervoids in the total 5000 deg$^2$ footprint of the Dark Energy Survey at $0.2<z<0.9$ to probe these anomalous claims. We found an excess imprinted profile with $ A_{\rm ISW}\approx4.1\pm2.0$ amplitude. The combination with independent BOSS data reveals an ISW imprint of supervoids at the $3.3\sigma$ significance level with an enhanced $A_{\rm ISW}\approx5.2\pm1.6$ amplitude. The tension with $\Lambda$CDM predictions is equivalent to $2.6\sigma$ and remains unexplained.


title: Geometry induced local thermal current from cold to hot in a classical harmonic system

abstract: The second law of thermodynamics requires the overall thermal current to flow from hot to cold. However, it does not forbid a local thermal current from flowing from cold to hot. By coupling a harmonic system of three masses connected by a few springs to two Langevin reservoirs at different temperatures, a local atypical thermal current is found to flow from cold to hot in the steady state while the overall thermal current is still from hot to cold. The direction of the local thermal current can be tuned by the mass, spring constant, and system-reservoir coupling. The local thermal current can vanish if the parameters are tuned to proper values. We also consider nonlinear effect from the system-substrate coupling and find that the local atypical thermal current survives in the presence of the nonlinear potential. Moreover, the local atypical thermal current is robust against asymmetry of the system-reservoir coupling, inhomogeneity of the nonlinear potential, and additions of more masses and springs. In molecular or nanomechanical systems where the setup may find its realization, the direction of the local thermal current may be controlled by mechanical or electromagnetic means, which may lead to applications in information storage.


title: Elastic anisotropy and thermal properties of extended linear chain compounds MV$_2$Ga$_4$ (M = Sc, Zr, Hf) from ab-initio calculations

abstract: MV$_2$Ga$_4$ (M = Sc, Zr, Hf) compounds belong to an emerging class of materials showing a unique combination of unusual superconducting behavior with extended linear chains in the crystal structure. In order to gain insights {into} its mechanical and thermal properties, we have performed first-principles electronic-structure calculations in the framework of the Density Functional Theory (DFT). From the calculated second-order elastic constants, we have systematically shown that the extended linear vanadium chain substructures indeed give rise to an anisotropic regime in the elastic and mechanical moduli. The high density of valence and conduction electrons along the linear vanadium chains leads to a directional dependence of the reciprocal linear compressibility, Young's modulus and shear modulus. Poisson's ratio for several elongation directions is also drastically affected by the presence of extended V chains. If the elongation is along the V chains, all compounds exhibit {practically} the same Poisson ratio in directions perpendicular to it, further highlighting the importance of the V chains to the mechanical properties. Moreover, based on our results, we have discussed the possible consequences of the elastic anisotropy on the superconducting properties of the compounds. Finally, using the Debye-Gr\"uneisen approximation, our calculations of thermal properties show {a good agreement with the available experimental low temperature heat capacity data above the superconducting critical temperature.


title: Spatially resolved origin of mm-wave linear polarization in the nuclear region of 3C 84

abstract: We report results from a deep polarization imaging of the nearby radio galaxy 3C$\,$84 (NGC$\,$1275). The source was observed with the Global Millimeter VLBI Array (GMVA) at 86$\,$GHz at an ultra-high angular resolution of $50\mu$as (corresponding to 250$R_{s}$). We also add complementary multi-wavelength data from the Very Long Baseline Array (VLBA; 15 & 43$\,$GHz) and from the Atacama Large Millimeter/submillimeter Array (ALMA; 97.5, 233.0, and 343.5$\,$GHz). At 86$\,$GHz, we measure a fractional linear polarization of $\sim2$% in the VLBI core region. The polarization morphology suggests that the emission is associated with an underlying limb-brightened jet. The fractional linear polarization is lower at 43 and 15$\,$GHz ($\sim0.3-0.7$% and $<0.1$%, respectively). This suggests an increasing linear polarization degree towards shorter wavelengths on VLBI scales. We also obtain a large rotation measure (RM) of $\sim10^{5-6}~{\rm rad/m^{2}}$ in the core at $\gtrsim$43$\,$GHz. Moreover, the VLBA 43$\,$GHz observations show a variable RM in the VLBI core region during a small flare in 2015. Faraday depolarization and Faraday conversion in an inhomogeneous and mildly relativistic plasma could explain the observed linear polarization characteristics and the previously measured frequency dependence of the circular polarization. Our Faraday depolarization modeling suggests that the RM most likely originates from an external screen with a highly uniform RM distribution. To explain the large RM value, the uniform RM distribution, and the RM variability, we suggest that the Faraday rotation is caused by a boundary layer in a transversely stratified jet. Based on the RM and the synchrotron spectrum of the core, we provide an estimate for the magnetic field strength and the electron density of the jet plasma.


title: Quasinorms in semilinear elliptic problems

abstract: In this note we examine the a priori and a posteriori analysis of discontinuous Galerkin finite element discretisations of semilinear elliptic PDEs with polynomial nonlinearity. We show that optimal a priori error bounds in the energy norm are only possible for low order elements using classical a priori error analysis techniques. We make use of appropriate quasinorms that results in optimal energy norm error control. We show that, contrary to the a priori case, a standard a posteriori analysis yields optimal upper bounds and does not require the introduction of quasinorms. We also summarise extensive numerical experiments verifying the analysis presented and examining the appearance of layers in the solution.


title: Characterisation of AMS H35 HV-CMOS monolithic active pixel sensor prototypes for HEP applications

abstract: Monolithic active pixel sensors produced in High Voltage CMOS (HV-CMOS) technology are being considered for High Energy Physics applications due to the ease of production and the reduced costs. Such technology is especially appealing when large areas to be covered and material budget are concerned. This is the case of the outermost pixel layers of the future ATLAS tracking detector for the HL-LHC. For experiments at hadron colliders, radiation hardness is a key requirement which is not fulfilled by standard CMOS sensor designs that collect charge by diffusion. This issue has been addressed by depleted active pixel sensors in which electronics are embedded into a large deep implantation ensuring uniform charge collection by drift. Very first small prototypes of hybrid depleted active pixel sensors have already shown a radiation hardness compatible with the ATLAS requirements. Nevertheless, to compete with the present hybrid solutions a further reduction in costs achievable by a fully monolithic design is desirable. The H35DEMO is a large electrode full reticle demonstrator chip produced in AMS 350 nm HV-CMOS technology by the collaboration of Karlsruher Institut f\"ur Technologie (KIT), Institut de F\'isica d'Altes Energies (IFAE), University of Liverpool and University of Geneva. It includes two large monolithic pixel matrices which can be operated standalone. One of these two matrices has been characterised at beam test before and after irradiation with protons and neutrons. Results demonstrated the feasibility of producing radiation hard large area fully monolithic pixel sensors in HV-CMOS technology. H35DEMO chips with a substrate resistivity of 200$\Omega$ cm irradiated with neutrons showed a radiation hardness up to a fluence of $10^{15}$n$_{eq}$cm$^{-2}$ with a hit efficiency of about 99% and a noise occupancy lower than $10^{-6}$ hits in a LHC bunch crossing of 25ns at 150V.


title: Novel approach to locate region of interest in mammograms for Breast cancer

abstract: Locating region of interest for breast cancer masses in the mammographic image is a challenging problem in medical image processing. In this research work, the keen idea is to efficiently extract suspected mass region for further examination. In particular to this fact breast boundary segmentation on sliced rgb image using modified intensity based approach followed by quad tree based division to spot out suspicious area are proposed in the paper. To evaluate the performance DDSM standard dataset are experimented and achieved acceptable accuracy.


title: Learning Actionable Representations with Goal-Conditioned Policies

abstract: Representation learning is a central challenge across a range of machine learning areas. In reinforcement learning, effective and functional representations have the potential to tremendously accelerate learning progress and solve more challenging problems. Most prior work on representation learning has focused on generative approaches, learning representations that capture all underlying factors of variation in the observation space in a more disentangled or well-ordered manner. In this paper, we instead aim to learn functionally salient representations: representations that are not necessarily complete in terms of capturing all factors of variation in the observation space, but rather aim to capture those factors of variation that are important for decision making -- that are "actionable." These representations are aware of the dynamics of the environment, and capture only the elements of the observation that are necessary for decision making rather than all factors of variation, without explicit reconstruction of the observation. We show how these representations can be useful to improve exploration for sparse reward problems, to enable long horizon hierarchical reinforcement learning, and as a state representation for learning policies for downstream tasks. We evaluate our method on a number of simulated environments, and compare it to prior methods for representation learning, exploration, and hierarchical reinforcement learning.


title: The extreme O-type spectroscopic binary HD 93129A

abstract: HD 93129A was classified as the earliest O-type star in the Galaxy (O2~If*) and is considered as the prototype of its spectral class. However, interferometry shows that this object is a binary system, while recent observations even suggest a triple configuration. None of the previous spectral analyses of this object accounted for its multiplicity. With new high-resolution UV and optical spectra, we have the possibility to reanalyze this key object, taking its binary nature into account for the first time. We aim to derive the fundamental parameters and the evolutionary status of HD 93129A, identifying the contributions of both components to the composite spectrum. We analyzed UV and optical observations acquired with the Hubble Space Telescope and ESO's Very Large Telescope. A multiwavelength analysis of the system was performed using the latest version of the Potsdam Wolf-Rayet model atmosphere code. Despite the similar spectral types of the two components, we are able to find signatures from each of the components in the combined spectrum, which allows us to estimate the parameters of both stars. We derive $\log (L/L_\odot) = 6.15$, $T_{\textrm{eff}}=52$ kK, and $\log \dot{M}=-4.7 [M_\odot\text{yr}^{-1}]$ for the primary Aa, and $\log (L/L_\odot)=5.58$, $T_{\textrm{eff}}=45$ kK, and $\log\dot{M}=-5.8 [M_\odot\text{yr}^{-1}]$ for the secondary Ab. Even when accounting for the binary nature, the primary of HD 93129A is found to be one of the hottest and most luminous O stars in our Galaxy. Based on the theoretical decomposition of the spectra, we assign spectral types O2~If* and O3~III(f*) to components Aa and Ab, respectively. While we achieve a good fit for a wide spectral range, specific spectral features are not fully reproduced. The data are not sufficient to identify contributions from a hypothetical third component in the system.


title: Efficient random graph matching via degree profiles

abstract: Random graph matching refers to recovering the underlying vertex correspondence between two random graphs with correlated edges; a prominent example is when the two random graphs are given by Erd\H{o}s-R\'{e}nyi graphs $G(n,\frac{d}{n})$. This can be viewed as an average-case and noisy version of the graph isomorphism problem. Under this model, the maximum likelihood estimator is equivalent to solving the intractable quadratic assignment problem. This work develops an $\tilde{O}(n d^2+n^2)$-time algorithm which perfectly recovers the true vertex correspondence with high probability, provided that the average degree is at least $d = \Omega(\log^2 n)$ and the two graphs differ by at most $\delta = O( \log^{-2}(n) )$ fraction of edges. For dense graphs and sparse graphs, this can be improved to $\delta = O( \log^{-2/3}(n) )$ and $\delta = O( \log^{-2}(d) )$ respectively, both in polynomial time. The methodology is based on appropriately chosen distance statistics of the degree profiles (empirical distribution of the degrees of neighbors). Before this work, the best known result achieves $\delta=O(1)$ and $n^{o(1)} \leq d \leq n^c$ for some constant $c$ with an $n^{O(\log n)}$-time algorithm \cite{barak2018nearly} and $\delta=\tilde O((d/n)^4)$ and $d = \tilde{\Omega}(n^{4/5})$ with a polynomial-time algorithm \cite{dai2018performance}.

categories: stat.ML cs.DS cs.IT cs.LG math.IT math.ST stat.TH


title: Existence of a lens-shaped cluster of surfaces self-shrinking by mean curvature

abstract: We rigorously show the existence of a rotationally and centrally symmetric "lens-shaped" cluster of three surfaces, meeting at a smooth common circle, forming equal angles of 120 degrees, self-shrinking under the motion by mean curvature.


title: Local structure of relaxor ferroelectric Sr$_x$Ba$_{1-x}$Nb$_2$O$_6$ from pair distribution function analysis

abstract: Neutron pair distribution function analysis and first principles calculations have been employed to study short-range correlations in heavily disordered dielectric material Sr$_x$Ba$_{1-x}$Nb$_2$O$_6$ ($x=0.35, 0.5$ and 0.61). The combination of methods has been fruitful in pinpointing main local-structure features, their temperature behaviour and interrelation. A rather complex system of tilts is found to be both temperature and Sr-content sensitive with the biggest tilt magnitudes reached at low temperatures and high $x$. Relative Nb-O$_6$ displacements, directly responsible for material's ferroelectric properties, are shown to be distinct in two octahedra sub-systems with different freezing temperatures and disparate levels of deviation from macroscopic polarization direction. Intrinsic disorder caused by Sr, Ba and vacancy distribution is found to introduce local strain to the structure and directly influence octahedra tilting. These findings establish a new atomistic picture of the local structure -- property relationship in Sr$_x$Ba$_{1-x}$Nb$_2$O$_6$.


title: The Kasparov product on submersions of open manifolds

abstract: We study the Kasparov product on (possibly non-compact and incomplete) Riemannian manifolds. Specifically, we show on a submersion of Riemannian manifolds that the tensor sum of a regular vertically elliptic operator on the total space and an elliptic operator on the base space represents the Kasparov product of the corresponding classes in KK-theory. This construction works in general for symmetric operators (i.e. without assuming self-adjointness), and extends known results for submersions with compact fibres. The assumption of regularity for the vertically elliptic operator is not always satisfied, but depends on the topology and geometry of the submersion, and we give explicit examples of non-regular operators. We apply our main result to obtain a factorisation in unbounded KK-theory of the fundamental class of a Riemannian submersion, as a Kasparov product of the shriek map of the submersion and the fundamental class of the base manifold.


title: Forman-Ricci Curvature for Hypergraphs

abstract: In contrast to graph-based models for complex networks, hypergraphs are more general structures going beyond binary relations of graphs. For graphs, statistics gauging different aspects of their structures have been devised and there is undergoing research for devising them for hypergraphs. Forman-Ricci curvature is a statistics for graphs, which is based on Riemannian geometry, and that stresses the relational character of vertices in a network through the analysis of edges rather than vertices. In spite of the different applications of this curvature, it has not yet been formulated for hypergraphs. Here we devise the Forman-Ricci curvature for directed and undirected hypergraphs, where the curvature for graphs is a particular case. We report its upper and lower bounds and the respective bounds for the graph case. The curvature quantifies the trade-off between hyperedge(arc) size and the degree of participation of hyperedge(arc) vertices in other hyperedges(arcs). We calculated the curvature for two large networks: Wikipedia vote network and \emph{Escherichia coli} metabolic network. In the first case the curvature is ruled by hyperedge size, while in the second by hyperedge degree. We found that the number of users involved in Wikipedia elections goes hand-in-hand with the participation of experienced users. The curvature values of the metabolic network allowed detecting redundant and bottle neck reactions. It is found that ADP phosphorilation is the metabolic bottle neck reaction but that the reverse reaction is not that central for the metabolism.


title: A priori positivity of solutions to a non-conservative stochastic thin-film equation

abstract: Stochastic conservation laws are often challenging when it comes to proving existence of non-negative solutions. In a recent work by J. Fischer and G. Gr\"un (2018, Existence of positive solutions to stochastic thin-film equations, SIAM J. Math. Anal.), existence of positive martingale solutions to a conservative stochastic thin-film equation is established in the case of quadratic mobility. In this work, we focus on a larger class of mobilities (including the linear one) for the thin-film model. In order to do so, we need to introduce nonlinear source potentials, thus obtaining a non-conservative version of the thin-film equation. For this model, we assume the existence of a sufficiently regular local solution (i.e., defined up to a stopping time $\tau$) and, by providing suitable conditions on the source potentials and the noise, we prove that such solution can be extended up to any $T>0$ and that it is positive with probability one. A thorough comparison with the aforementioned reference work is provided.


title: Domain of Inverse Double Arcsine Transformation

abstract: To combine the proportions from different studies for meta-analysis, Freeman and Tukey double arcsine tranformation can be useful for normalization and variance stabilization. The inverse function of the double arcsine transformation has been also derived in the literature to recover the original scale of the proportion after aggregation. In this brief note, we present the domain and range of the inverse double arcsine transformation both analytically and graphically. We notice an erratic behavior in the mathematical formula for the inverse double arcsine tranformation at both limits of its domain, and propose approximation methods for both small and large samples. We also propose a simple accuracy measure, the maximum percent error (MPE), of the large sample approximation, which can be used to determine the sample size that would provide a certain accuracy level, and conversely to determine the accuracy level of the approximation given a sample size.


title: Photonic crystal-Microring resonators for tunable delay lines

abstract: In this paper, a new design of optical delay line based on coupled ring resonators in photonic crystals is proposed and analyzed by means of numerical simulation in CST Microwave Studio. The performance of the proposed photonic crystal ring resonator (PhCRR) based coupled resonant optical waveguide (CROW) is compared to: point-defect cavity based coupled cavity waveguides (CCW) in photonic crystal. microring resonator (MRR) based CROW. The suggested design addresses compactness issues of the MRR CROW while offering normalized delay values better than CCW and comparable to MRR CROW. The PhCRR CROW also enhances design flexibility as the PhCRRs support multiple modes and thereby supporting multi-channel transfer/delay application on a single device.


title: Evaluating and Optimizing Network Sampling Designs: Decision Theory and Information Theory Perspectives

abstract: Some of the most used sampling mechanisms that implicitly leverage a social network depend on tuning parameters; for instance, Respondent-Driven Sampling (RDS) is specified by the number of seeds and maximum number of referrals. We are interested in the problem of optimizing these sampling mechanisms with respect to their tuning parameters in order to optimize the inference on a population quantity, where such quantity is a function of the network and measurements taken at the nodes. This is done by formulating the problem in terms of decision theory and information theory, in turn. We discuss how the approaches discussed in this paper relate, via theoretical results, to other formalisms aimed to compare sampling designs, namely sufficiency and the Goel-DeGroot Criterion. The optimization procedure for different network sampling mechanisms is illustrated via simulations in the fashion of the ones used for Bayesian clinical trials.


title: Localizations of the category of $A_\infty$ categories and internal Homs

abstract: We prove that the localizations of the categories of dg categories, of cohomologically unital and strictly unital $A_\infty$ categories with respect to the corresponding classes of quasi-equivalences are all equivalent. Moreover we show that the last two localizations are equivalent to the corresponding quotients by the relation of being isomorphic in the cohomology of the $A_\infty$ category of $A_\infty$ functors. As an application we give a complete proof of a claim by Kontsevich stating that the category of internal Homs for two dg categories can be described as the category of strictly unital $A_\infty$ functors between them.


title: Experimental evaluation of kernelization algorithms to Dominating Set

abstract: The theoretical notions of graph classes with bounded expansion and that are nowhere dense are meant to capture structural sparsity of real world networks that can be used to design efficient algorithms. In the area of sparse graphs, the flagship problems are Dominating Set and its generalization r-Dominating Set. They have been precursors for model checking of first order logic on sparse graph classes. On class of graphs of bounded expansions the r-Dominating Set problem admits a constant factor approximation, a fixed-parameter algorithm, and an efficient preprocessing routine: the so-called linear kernel. This should be put in constrast with general graphs where Dominating Set is APX-hard and W[2]-complete. In this paper we provide an experimental evaluation of kernelization algorithm for Dominating Set in sparse graph classes and compare it with previous approaches designed to the preprocessing for Dominating Set.


title: Edgeworth expansion for Euler approximation of continuous diffusion processes

abstract: In this paper we present the Edgeworth expansion for the Euler approximation scheme of a continuous diffusion process driven by a Brownian motion. Our methodology is based upon a recent work \cite{Yoshida2013}, which establishes Edgeworth expansions associated with asymptotic mixed normality using elements of Malliavin calculus. Potential applications of our theoretical results include higher order expansions for weak and strong approximation errors associated to the Euler scheme, and for studentized version of the error process.


title: A Bivariate Spline Solution to the Exterior Helmholtz Equation and Its Applications

abstract: We explain how to use smooth bivariate splines of arbitrary degree to solve the exterior Helmholtz equation based on a Perfectly Matched Layer (PML) technique. In a previous study (cf. [26]), it was shown that bivariate spline functions of high degree can approximate the solution of the bounded domain Helmholtz equation with an impedance boundary condition for large wave numbers $k\sim 1000$. In this paper, we extend this study to the case of the Helmholtz equation in an unbounded domain. The PML is constructed using a complex stretching of the coordinates in a rectangular domain, resulting in a weighted Helmholtz equation with Dirichlet boundary conditions. The PML weights are also approximated by using spline functions. The computational algorithm developed in [26] is used to approximate the solution of the resulting weighted Helmholtz equation. Numerical results show that the PML formulation for the unbounded domain Helmholtz equation using bivariate splines is very effective over a range of examples.


title: Safely Probabilistically Complete Real-Time Planning and Exploration in Unknown Environments

abstract: We present a new framework for motion planning that wraps around existing kinodynamic planners and guarantees recursive feasibility when operating in a priori unknown, static environments. Our approach makes strong guarantees about overall safety and collision avoidance by utilizing a robust controller derived from reachability analysis. We ensure that motion plans never exit the safe backward reachable set of the initial state, while safely exploring the space. This preserves the safety of the initial state, and guarantees that that we will eventually find the goal if it is possible to do so while exploring safely. We implement our framework in the Robot Operating System (ROS) software environment and demonstrate it in a real-time simulation.


title: Neural Belief-Propagation Decoders for Quantum Error-Correcting Codes

abstract: Belief-propagation (BP) decoders play a vital role in modern coding theory, but they are not suitable to decode quantum error-correcting codes because of a unique quantum feature called error degeneracy. Inspired by an exact mapping between BP and deep neural networks, we train neural BP decoders for quantum low-density parity-check (LDPC) codes with a loss function tailored to error degeneracy. Training substantially improves the performance of BP decoders for all families of codes we tested and may solve the degeneracy problem which plagues the decoding of quantum LDPC codes.


title: A magnetocaloric study of the magnetostructural transitions in NiCr$_2$O$_4$

abstract: The spinel NiCr$_2$O$_4$ is known to show a ferrimagnetic transition at $T_c = 70$~K, and magneto-structural transitions at $T_s = 30$~K and $T_o = 20$~K\@. We present a detailed magnetic and magnetocaloric effect (MCE $= -\Delta S_{M}(T)$) study across these transitions. The $-\Delta S_{M}(T)$ shows a positive anomaly at $T_c$, $T_s$, and $T_o$. In addition to these anomalies, we report a new unreported feature at $T \approx 8.5$~K where $-\Delta S_{M}(T)$ shows a negative anomaly or the inverse MCE. An Arrot plot of the isothermal magnetization data reveals important information about the nature of the possible phases revealed in $-\Delta S_{M}(T)$. We have also made a scaling analysis of the $-\Delta S_{M}(T)$ data around these transitions. This analysis suggests that the transition at $T_c$ is a second-order Mean field like transition, the transition at $T_s$ is not second order and is non-mean field like, while the new transition at $T = 8.5$~K is non-mean field like but is second order in nature. Our study demonstrates that magnetocaloric effect is sensitive to magneto-structural changes in materials and can be used for the identification of new phases and transitions.


title: Jump formulas for singular integrals and layer potentials on rectifiable sets

abstract: In this paper the jump formulas for the double layer potential and other singular integrals are proved for arbitrary rectifiable sets, by defining suitable non-tangential limits. The arguments are quite straightforward and only require some Calder\'on-Zygmund techniques.


title: A Multi-Trait Approach Identified Genetic Variants Including a Rare Mutation in RGS3 with Impact on Abnormalities of Cardiac Structure/Function

abstract: Heart failure is a major cause for premature death. Given heterogeneity of the heart failure syndrome, identifying genetic determinants of cardiac function and structure may provide greater insights into heart failure. Despite progress in understanding the genetic basis of heart failure through genome wide association studies, heritability of heart failure is not well understood. Gaining further insights into mechanisms that contribute to heart failure requires systematic approaches that go beyond single trait analysis. We integrated Bayesian multi-trait approach and Bayesian networks for the analysis of 10 correlated traits of cardiac structure and function measured for 3387 individuals with whole exome sequence data. While using single-trait based approaches did not find any significant genetic variant, applying the integrative Bayesian multi-trait approach, we identified 3 novel variants located in genes, RGS3, CHD3, and MRPL38 with significant impact on the cardiac traits such as left ventricular volume index, parasternal long axis interventricular septum thickness, and mean left ventricular wall thickness. Among these, the rare variant NC_000009.11:g.116346115C>A (rs144636307) in RGS3 showed pleiotropic effect on left ventricular mass index, left ventricular volume index and Maximum left atrial anterior-posterior diameter while RGS3 can inhibit TGF-beta signaling associated with left ventricle dilation and systolic dysfunction.


title: Event-Based Features Selection and Tracking from Intertwined Estimation of Velocity and Generative Contours

abstract: This paper presents a new event-based method for detecting and tracking features from the output of an event-based camera. Unlike many tracking algorithms from the computer vision community, this process does not aim for particular predefined shapes such as corners. It relies on a dual intertwined iterative continuous -- pure event-based -- estimation of the velocity vector and a bayesian description of the generative feature contours. By projecting along estimated speeds updated for each incoming event it is possible to identify and determine the spatial location and generative contour of the tracked feature while iteratively updating the estimation of the velocity vector. Results on several environments are shown taking into account large variations in terms of luminosity, speed, nature and size of the tracked features. The usage of speed instead of positions allows for a much faster feedback allowing for very fast convergence rates.


title: Definable relations in finite dimensional subspace lattices with involution. Part II: Quantifier free and homogeneous descriptions

abstract: For finite dimensional hermitean inner product spaces $V$, over $*$-fields $F$, and in the presence of orthogonal bases providing form elements in the prime subfield of $F$, we show that quantifier free definable relations in the subspace lattice $L(V)$ with involution by taking orthogonals, admit quantifier free descriptions within $F$, also in terms of Grassmann-Pl\"ucker coordinates.In the latter setting, homogeneous descriptions are obtained if one allows quantification type $\Sigma_1$. In absence of involution, these results remain valid.


title: Supergravity backgrounds of the eta-deformed AdS2 x S2 x T6 and AdS5 x S5 superstrings

abstract: We construct supergravity backgrounds for the integrable eta-deformations of the AdS2 x S2 x T6 and AdS5 x S5 superstring sigma models. The eta-deformation is governed by an R-matrix that solves the non-split modified classical Yang-Baxter equation on the superisometry algebra of the model. Such R-matrices include those of Drinfel'd-Jimbo type, which are constructed from a Dynkin diagram and the associated Cartan-Weyl basis. Drinfel'd-Jimbo R-matrices associated with inequivalent bases will typically lead to different deformed backgrounds. For the two models under consideration we find that the unimodularity condition, implying that there is no Weyl anomaly, is satisfied if and only if all the simple roots are fermionic. For AdS2 x S2 x T6 we construct backgrounds corresponding to the three Dynkin diagrams. When all the simple roots are fermionic we find a supergravity background previously obtained by directly solving the supergravity equations. For AdS5 x S5 we construct a supergravity background corresponding to the Dynkin diagram with all fermionic simple roots.


title: Behavioral Malware Classification using Convolutional Recurrent Neural Networks

abstract: Behavioral malware detection aims to improve on the performance of static signature-based techniques used by anti-virus systems, which are less effective against modern polymorphic and metamorphic malware. Behavioral malware classification aims to go beyond the detection of malware by also identifying a malware's family according to a naming scheme such as the ones used by anti-virus vendors. Behavioral malware classification techniques use run-time features, such as file system or network activities, to capture the behavioral characteristic of running processes. The increasing volume of malware samples, diversity of malware families, and the variety of naming schemes given to malware samples by anti-virus vendors present challenges to behavioral malware classifiers. We describe a behavioral classifier that uses a Convolutional Recurrent Neural Network and data from Microsoft Windows Prefetch files. We demonstrate the model's improvement on the state-of-the-art using a large dataset of malware families and four major anti-virus vendor naming schemes. The model is effective in classifying malware samples that belong to common and rare malware families and can incrementally accommodate the introduction of new malware samples and families.


title: Normally hyperbolic trapping on asymptotically stationary spacetimes

abstract: We prove microlocal estimates at the trapped set of asymptotically Kerr spacetimes: these are spacetimes whose metrics decay inverse polynomially in time to a stationary subextremal Kerr metric. This combines two independent results. The first one is purely dynamical: we show that the stable and unstable manifolds of a decaying perturbation of a time-translation-invariant dynamical system with normally hyperbolic trapping are smooth and decay to their stationary counterparts. The second, independent, result provides microlocal estimates for operators whose null-bicharacteristic flow has a normally hyperbolic invariant manifold, under suitable non-degeneracy conditions on the stable and unstable manifolds; this includes operators on closed manifolds, as well as operators on spacetimes for which the invariant manifold lies at future infinity.


title: Coverings preserving the bottom of the spectrum

abstract: We prove that if a Riemannian covering preserves the bottom of the spectrum of a Schr\"{o}dinger operator, which belongs to the discrete spectrum of the operator on the base manifold, then the covering is amenable.


title: Slit-slide-sew bijections for bipartite and quasibipartite plane maps

abstract: We unify and extend previous bijections on plane quadrangulations to bipartite and quasibipartite plane maps. Starting from a bipartite plane map with a distinguished edge and two distinguished corners (in the same face or in two different faces), we build a new plane map with a distinguished vertex and two distinguished half-edges directed toward the vertex. The faces of the new map have the same degree as those of the original map, except at the locations of the distinguished corners, where each receives an extra degree. The idea behind this bijection is to build a path from the distinguished elements, slit the map along it, and sew back after sliding by one unit, thus mildly modifying the structure of the map at the extremities of the sliding path. This bijection provides a sampling algorithm for uniform maps with prescribed face degrees and allow to recover Tutte's famous counting formula for bipartite and quasibipartite plane maps. In addition, we explain how to decompose the previous bijection into two more elementary ones, which each transfer a degree from one face of the map to another face. In particular, these transfer bijections are simpler to manipulate than the previous one and this point of view simplifies the proofs.


title: On the complexity of equational decision problems for finite height(ortho)complemented modular lattices

abstract: We study the computational complexity of satisfiability problems for classes of simple finite height (ortho)complemented modular lattices $L$. For single finite $L$, these problems are shown tobe $\mc{NP}$-complete; for $L$ of height at least $3$, equivalent to a feasibility problem for the division ring associated with $L$. Moreover, it is shown that the equational theory of the class of subspace ortholattices as well as endomorphism *-rings (with pseudo-inversion) of finite dimensional Hilbert spaces is complete for the complement of the Boolean part of the nondeterministic Blum-Shub-Smale model of real computation without constants. This results extends to the category of finite dimensional Hilbert spaces, enriched by pseudo-inversion.


title: Toward SATVAM: An IoT Network for Air Quality Monitoring

abstract: Air pollution is ranked as the second most serious risk for public health in India after malnutrition. The lack of spatially and temporally distributed air quality information prevents a scientific study on its impact on human health and on the national economy. In this paper, we present our initial efforts toward SATVAM, Streaming Analytics over Temporal Variables for Air quality Monitoring, that aims to address this gap. We introduce the multi-disciplinary, multi-institutional project and some of the key IoT technologies used. These cut across hardware integration of gas sensors with a wireless mote packaging, design of the wireless sensor network using 6LoWPAN and RPL, and integration with a cloud backend for data acquisition and analysis. The outcome of our initial deployment will inform an improved design that will enable affordable and manageable monitoring at the city scale. This should lead to data-driven policies for urban air quality management.


title: A spectral sequence from Khovanov homology to knot Floer homology

abstract: A well-known conjecture of Rasmussen states that for any knot $K$ in $S^{3}$, the rank of the reduced Khovanov homology of $K$ is greater than or equal to the rank of the reduced knot Floer homology of $K$. This rank inequality is supposed to arise as the result of a spectral sequence from Khovanov homology to knot Floer homology. Using an oriented cube of resolutions construction for a homology theory related to knot Floer homology, we prove this conjecture.


title: Automorphism groups of dessins d'enfants

abstract: Recently, Gareth Jones observed that every finite group $G$ can be realized as the group of automorphisms of some dessin d'enfant ${\mathcal D}$. In this paper, complementing Gareth's result, we prove that for every possible action of $G$ as a group of orientation-preserving homeomorphisms on a closed orientable surface of genus $g \geq 2$, there is a dessin d'enfant ${\mathcal D}$ admitting $G$ as its group of automorphisms and realizing the given topological action. In particular, this asserts that the strong symmetric genus of $G$ is also the minimum genus action for it to acts as the group of automorphisms of a dessin d'enfant of genus at least two.


title: Spectral singularities of odd-$PT$-symmetric potential

abstract: We describe one-dimensional stationary scattering of a two-component wave field by a non-Hermitian matrix potential which features odd-$PT$ symmetry, i.e., symmetry with $(PT)^2=-1$. The scattering is characterized by a $4\times 4$ transfer matrix. The main attention is focused on spectral singularities which are classified into two types. Weak spectral singularities are characterized by zero determinant of a diagonal $2\times 2$ block of the transfer matrix. This situation corresponds to the lasing or coherent perfect absorption of pairs of oppositely polarized modes. Strong spectral singularities are characterized by zero diagonal block of the transfer matrix. We show that in odd-$PT$-symmetric systems any spectral singularity is self-dual, i.e., lasing and coherent perfect absorption occur simultaneously. Detailed analysis is performed for a case example of a $PT$-symmetric coupler consisting of two waveguides, one with localized gain and another with localized absorption, which are coupled by a localized antisymmetric medium. For this coupler, we discuss weak self-dual spectral singularities and their splitting into complex-conjugate eigenvalues which represent bound states characterized by propagation constants with real parts lying in the continuum. A rather counterintuitive restoration of the unbroken odd-$PT$-symmetric phase subject to the increase of the gain-and-loss strength is also revealed. The comparison between odd- and even-$PT-$symmetric couplers, the latter characterized by $(PT)^2=1$, is also presented.


title: The Mafiascum Dataset: A Large Text Corpus for Deception Detection

abstract: Detecting deception in natural language has a wide variety of applications, but because of its hidden nature there are currently no public, large-scale sources of labeled deceptive text. This work introduces the Mafiascum dataset [1], a collection of over 700 games of Mafia, in which players are randomly assigned either deceptive or non-deceptive roles and then interact via forum postings. Over 9000 documents were compiled from the dataset, which each contained all messages written by a single player in a single game. This corpus was used to construct a set of hand-picked linguistic features based on prior deception research, as well as a set of average word vectors enriched with subword information. A logistic regression classifier fit on a combination of these feature sets achieved an average precision of 0.39 (chance = 0.26) and an AUROC of 0.68 on 5000+ word documents. On 50+ word documents, an average precision of 0.29 (chance = 0.23) and an AUROC of 0.59 was achieved. [1] https://bitbucket.org/bopjesvla/thesis/src


title: Discrete-time port-Hamiltonian systems: A definition based on symplectic integration

abstract: We introduce a new definition of discrete-time port-Hamiltonian systems (PHS), which results from structure-preserving discretization of explicit PHS in time. We discretize the underlying continuous-time Dirac structure with the collocation method and add discrete-time dynamics by the use of symplectic numerical integration schemes. The conservation of a discrete-time energy balance - expressed in terms of the discrete-time Dirac structure - extends the notion of symplecticity of geometric integration schemes to open systems. We discuss the energy approximation errors in the context of the presented definition and show that their order is consistent with the order of the numerical integration scheme. Implicit Gauss-Legendre methods and Lobatto IIIA/IIIB pairs for partitioned systems are examples for integration schemes that are covered by our definition. The statements on the numerical energy errors are illustrated by elementary numerical experiments.


title: Characterizing the spread of exaggerated news content over social media

abstract: In this paper, we consider a dataset comprising press releases about health research from different universities in the UK along with a corresponding set of news articles. First, we do an exploratory analysis to understand how the basic information published in the scientific journals get exaggerated as they are reported in these press releases or news articles. This initial analysis shows that some news agencies exaggerate almost 60\% of the articles they publish in the health domain; more than 50\% of the press releases from certain universities are exaggerated; articles in topics like lifestyle and childhood are heavily exaggerated. Motivated by the above observation we set the central objective of this paper to investigate how exaggerated news spreads over an online social network like Twitter. The LIWC analysis points to a remarkable observation these late tweets are essentially laden in words from opinion and realize categories which indicates that, given sufficient time, the wisdom of the crowd is actually able to tell apart the exaggerated news. As a second step we study the characteristics of the users who never or rarely post exaggerated news content and compare them with those who post exaggerated news content more frequently. We observe that the latter class of users have less retweets or mentions per tweet, have significantly more number of followers, use more slang words, less hyperbolic words and less word contractions. We also observe that the LIWC categories like bio, health, body and negative emotion are more pronounced in the tweets posted by the users in the latter class. As a final step we use these observations as features and automatically classify the two groups achieving an F1 score of 0.83.


title: De Rham $2$-cohomology of real flag manifolds

abstract: Let $\mathbb{F}_{\Theta }=G/P_{\Theta }$ be a flag manifold associated to a non-compact real simple Lie group $G$ and the parabolic subgroup $% P_{\Theta }$. This is a closed subgroup of $G$ determined by a subset $% \Theta $ of simple restricted roots of $\mathfrak{g}=Lie(G)$. This paper computes the second de Rham cohomology group of $\mathbb{F}_\Theta$. We prove that it zero in general, with some rare exceptions. When it is non-zero, we give a basis of $H^2(\mathbb{F}_\Theta,\mathbb{R})$ through the Weil construction of closed 2-forms as characteristic classes of principal fiber bundles. The starting point is the computation of the second homology group of $\mathbb{F}_{\Theta }$ with coefficients in a ring $R$.


title: On Well-posedness of Stochastic Anisotropic $p$-Laplace Equation Driven by L\'evy noise

abstract: In this article, well-posedness of stochastic anisotropic $p$-Laplace equation driven by L\'evy noise is shown. Such an equation in deterministic setting was considered by Lions [7]. The results obtained in this article can be applied to solve a large class of semilinear and quasilinear stochastic partial differential equations.


title: Equitable Partitions into Matchings and Coverings in Mixed Graphs

abstract: Matchings and coverings are central topics in graph theory. The close relationship between these two has been key to many fundamental algorithmic and polyhedral results. For mixed graphs, the notion of matching forest was proposed as a common generalization of matchings and branchings. In this paper, we propose the notion of mixed edge cover as a covering counterpart of matching forest, and extend the matching--covering framework to mixed graphs. While algorithmic and polyhedral results extend fairly easily, partition problems are considerably more difficult in the mixed case. We address the problems of partitioning a mixed graph into matching forests or mixed edge covers, so that all parts are equal with respect to some criterion, such as edge/arc numbers or total sizes. Moreover, we provide the best possible multicriteria equalization.


title: The role of non-gaussianities in Primordial Black Hole formation

abstract: We re-analyse current single-field inflationary models related to primordial black holes formation. We do so by taking into account recent developments on the estimations of their abundances and the influence of non-gaussianities. We show that, for all of them, the gaussian approximation, which is typically used to estimate the primordial black holes abundances, fails. However, in the case in which the inflaton potential has an inflection point, the contribution of non-gaussianities is only perturbative. Finally, we infer that only models featuring an inflection point in the inflationary potential, might predict, with a very good approximation, the desired abundances by the sole use of the gaussian statistics.


title: Quasinormal mode oscillations in an analogue black hole experiment

abstract: The late stages of the relaxation process of a black hole are expected to depend only on its mass and angular momentum and not on the details of its formation process. Inspired by recent analogue gravity experiments, which demonstrate that certain black hole processes take place in gravitational and hydrodynamical systems alike, we conduct an experiment to search for quasinormal mode oscillations of the free surface of a hydrodynamical vortex flow. Our results demonstrate the occurrence and hint at the ubiquity of quasinormal ringing in nonequilibrium analog black hole experiments.


title: OrthoSeg: A Deep Multimodal Convolutional Neural Network for Semantic Segmentation of Orthoimagery

abstract: This paper addresses the task of semantic segmentation of orthoimagery using multimodal data e.g. optical RGB, infrared and digital surface model. We propose a deep convolutional neural network architecture termed OrthoSeg for semantic segmentation using multimodal, orthorectified and coregistered data. We also propose a training procedure for supervised training of OrthoSeg. The training procedure complements the inherent architectural characteristics of OrthoSeg for preventing complex co-adaptations of learned features, which may arise due to probable high dimensionality and spatial correlation in multimodal and/or multispectral coregistered data. OrthoSeg consists of parallel encoding networks for independent encoding of multimodal feature maps and a decoder designed for efficiently fusing independently encoded multimodal feature maps. A softmax layer at the end of the network uses the features generated by the decoder for pixel-wise classification. The decoder fuses feature maps from the parallel encoders locally as well as contextually at multiple scales to generate per-pixel feature maps for final pixel-wise classification resulting in segmented output. We experimentally show the merits of OrthoSeg by demonstrating state-of-the-art accuracy on the ISPRS Potsdam 2D Semantic Segmentation dataset. Adaptability is one of the key motivations behind OrthoSeg so that it serves as a useful architectural option for a wide range of problems involving the task of semantic segmentation of coregistered multimodal and/or multispectral imagery. Hence, OrthoSeg is designed to enable independent scaling of parallel encoder networks and decoder network to better match application requirements, such as the number of input channels, the effective field-of-view, and model capacity.


title: Cryptoasset Factor Models

abstract: We propose factor models for the cross-section of daily cryptoasset returns and provide source code for data downloads, computing risk factors and backtesting them out-of-sample. In "cryptoassets" we include all cryptocurrencies and a host of various other digital assets (coins and tokens) for which exchange market data is available. Based on our empirical analysis, we identify the leading factor that appears to strongly contribute into daily cryptoasset returns. Our results suggest that cross-sectional statistical arbitrage trading may be possible for cryptoassets subject to efficient executions and shorting.


title: A Faster DiSH: Hardware Implementation of a Discrete Cell Signaling Network Simulator

abstract: Development of fast methods to conduct in silico experiments using computational models of cellular signaling is a promising approach toward advances in personalized medicine. However, software-based cellular network simulation has run-times plagued by wasted CPU cycles and unnecessary processes. Hardware-based simulation affords substantial speedup, but prior attempts at hardware-based biological simulation have been limited in scope and have suffered from inaccuracies due to poor random number generation. In this work, we propose several hardware-based simulation schemes utilizing novel random update index generation techniques for step-based and round-based stochastic simulations of cellular networks. Our results show improved runtimes while maintaining simulation accuracy compared to software implementations.


title: Bounds on the Mordell--Weil rank of elliptic curves over imaginary quadratic number fields with class number 1

abstract: We generalize the lemmas of Thomas Kretschmer to arbitrary number fields, and apply them with a 2-descent argument to obtain bounds for families of elliptic curves over certain imaginary quadratic number fields with class number 1. One such family occurs in the congruent number problem. We consider the congruent number problem over these quadratic number fields, and subject to the finiteness of Sha, we show that there are infinitely many numbers that are not congruent over Q but become congruent over $Q(\zeta_3)$.


title: Non-submodular Function Maximization subject to a Matroid Constraint, with Applications

abstract: The standard greedy algorithm has been recently shown to enjoy approximation guarantees for constrained non-submodular nondecreasing set function maximization. While these recent results allow to better characterize the empirical success of the greedy algorithm, they are only applicable to simple cardinality constraints. In this paper, we study the problem of maximizing a non-submodular nondecreasing set function subject to a general matroid constraint. We first show that the standard greedy algorithm offers an approximation factor of $\frac{0.4 {\gamma}^{2}}{\sqrt{\gamma r} + 1}$, where $\gamma$ is the submodularity ratio of the function and $r$ is the rank of the matroid. Then, we show that the same greedy algorithm offers a constant approximation factor of $(1 + 1/(1-\alpha))^{-1}$, where $\alpha$ is the generalized curvature of the function. In addition, we demonstrate that these approximation guarantees are applicable to several real-world applications in which the submodularity ratio and the generalized curvature can be bounded. Finally, we show that our greedy algorithm does achieve a competitive performance in practice using a variety of experiments on synthetic and real-world data.


title: Secure Data Access for Wireless Body Sensor Networks

abstract: Recently, with the support of mobile cloud computing, a large number of health related data collected from various body sensor networks can be managed efficiently. However, to ensure data security and data privacy in cloud-integrated body sensor networks is an important and challenging issue. In this paper, we present a novel secure access control mechanism Mask Certificate Attribute Based Encryption for cloud integrated body sensor networks. A specific signature is designed to mask the plaintext, then the masked data can be securely outsourced to cloud severs. An authorization certificate composing of the signature and related privilege items is constructed that is used to grant privileges to data receivers. To ensure security, a unique value is chosen to mask the certificate for each data receiver. The analysis shows that the proposed scheme has less computational cost and storage cost compared with other popular models.


title: The polynomial method over varieties

abstract: We establish sharp estimates that adapt the polynomial method to arbitrary varieties. These include a partitioning theorem, estimates on polynomials vanishing on fixed sets and bounds for the number of connected components of real algebraic varieties. As a first application, we provide a general incidence estimate that is tight in its dependence on the size, degree and dimension of the varieties involved.


title: Error analysis of the parameters of the Skyrme N2LO pseudo-potential

abstract: We perform a detailed analysis of the parameters of the Skyrme SN2LO interaction. By mean of a covariance matrix analysis, we have been able to provide error bars and build the complete covariance matrix. The latter will be used in future applications to properly study the propagation of errors on nuclear observables calculated with this pseudo-potential.


title: Prediction-Based Decisions and Fairness: A Catalogue of Choices, Assumptions, and Definitions

abstract: A recent flurry of research activity has attempted to quantitatively define "fairness" for decisions based on statistical and machine learning (ML) predictions. The rapid growth of this new field has led to wildly inconsistent terminology and notation, presenting a serious challenge for cataloguing and comparing definitions. This paper attempts to bring much-needed order. First, we explicate the various choices and assumptions made---often implicitly---to justify the use of prediction-based decisions. Next, we show how such choices and assumptions can raise concerns about fairness and we present a notationally consistent catalogue of fairness definitions from the ML literature. In doing so, we offer a concise reference for thinking through the choices, assumptions, and fairness considerations of prediction-based decision systems.


title: Simulated Autonomous Driving in a Realistic Driving Environment using Deep Reinforcement Learning and a Deterministic Finite State Machine

abstract: In the field of Autonomous Driving, the system controlling the vehicle can be seen as an agent acting in a complex environment and thus naturally fits into the modern framework of Reinforcement Learning. However, learning to drive can be a challenging task and current results are often restricted to simplified driving environments. To advance the field, we present a method to adaptively restrict the action space of the agent according to its current driving situation and show that it can be used to swiftly learn to drive in a realistic environment based on the Deep Q-Network algorithm.


title: About the Cauchy problem in Stelle's quadratic gravity

abstract: The focus of the present work is on the Cauchy problem for the quadratic gravity models introduced in \cite{stelle}-\cite{stelle2}. These are renormalizable higher order derivative models of gravity, but at cost of ghostly states propagating in the phase space. A previous work on the subject is \cite{noakes}. The techniques employed here differ slightly from those in \cite{noakes}, but the main conclusions agree. Furthermore, the analysis of the initial value formulation in \cite{noakes} is enlarged and the use of harmonic coordinates is clarified. In particular, it is shown that the initial constraints found \cite{noakes} include a redundant one. In other words, this constraint is satisfied when the equations of motion are taken into account. In addition, some terms that are not specified in \cite{noakes} are derived explicitly. This procedure facilitates application of some of the mathematical theorems given in \cite{ringstrom}. As a consequence of these theorems, the existence of both $C^\infty$ solutions and maximal globally hyperbolic developments is proved. The obtained equations may be relevant for the stability analysis of the solutions under small perturbations of the initial data.


title: Heat distribution in open quantum systems with maximum entropy production

abstract: We analyze the heat exchange distribution of quantum open systems undergoing a thermal relaxation that maximizes the entropy production. We show that the process implies a type of generalized law of cooling in terms of a time dependent effective temperature $T_t$. Using a two-point measurement scheme, we find an expression for the heat moment generating function that depends solely on the system's partition function and on the law of cooling. Applications include the relaxation of free bosonic and fermionic modes, for which closed form expressions for the time-dependent heat distribution function are derived. Multiple free modes with arbitrary dispersion relations are also briefly discussed. In the semiclassical limit our formula agrees well with previous results of the literature for the heat distribution of an optically trapped nanoscopic particle far from equilibrium.


title: Scalable agent alignment via reward modeling: a research direction

abstract: One obstacle to applying reinforcement learning algorithms to real-world problems is the lack of suitable reward functions. Designing such reward functions is difficult in part because the user only has an implicit understanding of the task objective. This gives rise to the agent alignment problem: how do we create agents that behave in accordance with the user's intentions? We outline a high-level research direction to solve the agent alignment problem centered around reward modeling: learning a reward function from interaction with the user and optimizing the learned reward function with reinforcement learning. We discuss the key challenges we expect to face when scaling reward modeling to complex and general domains, concrete approaches to mitigate these challenges, and ways to establish trust in the resulting agents.


title: Kink-kink and kink-antikink interactions with long-range tails

abstract: In this Letter, we address the {long-range interaction} between kinks and antikinks, as well as kinks and kinks, in $\varphi^{2n+4}$ field theories for $n>1$. The kink-antikink interaction is generically attractive, while the kink-kink interaction is generically repulsive. We find that the force of interaction decays with the $(\frac{2n}{n-1})$th power of their separation, and we identify the general prefactor for {\it arbitrary} $n$. Importantly, we test the resulting mathematical prediction with detailed numerical simulations of the dynamic field equation, and obtain good agreement between theory and numerics for the cases of $n=2$ ($\varphi^8$ model), $n=3$ ($\varphi^{10}$ model) and $n=4$ ($\varphi^{12}$ model).


title: Axion-like Dark Matter Constraints from CMB Birefringence

abstract: Axion-like particles are dark matter candidates motivated by the Peccei-Quinn mechanism and also occur in effective field theories where their masses and photon couplings are independent. We estimate the dispersion of circularly polarized photons in a background of oscillating axion-like particles (ALPs) with the standard $g_{a\gamma}\,a\,F_{\mu\nu}\tilde F^{\mu\nu}/4$ coupling to photons. This leads to birefringence or rotation of linear polarization by ALP dark matter. Cosmic microwave background (CMB) birefringence limits $\Delta \alpha \lesssim (1.0)^\circ$ enable us to constrain the axion-photon coupling $g_{a\gamma} \lesssim 10^{-17}-10^{-12}\,{\rm GeV}^{-1}$, for ultra-light ALP masses $m_a \sim 10^{-27} - 10^{-24}$ eV. This improves upon previous axion-photon coupling limits by up to four orders of magnitude. Future CMB observations could tighten limits by another one to two orders.


title: Fourier multipliers in $\mathrm{SL}_n(\mathbf{R})$

abstract: We establish precise regularity conditions for $L_p$-boundedness of Fourier multipliers in the group algebra of $SL_n(\mathbf{R})$. Our main result is inspired by H\"ormander-Mikhlin criterion from classical harmonic analysis, although it is substantially and necessarily different. Locally, we get sharp growth rates of Lie derivatives around the singularity and nearly optimal regularity order. The asymptotics also match Mikhlin formula for a exponentially growing weight with respect to the word length. Additional decay comes imposed by this growth and Mikhlin condition for high order terms. Lafforgue/de la Salle's rigidity theorem fits here. The proof includes a new relation between Fourier and Schur $L_p$-multipliers for nonamenable groups. By transference, matters are reduced to a rather nontrivial $RC_p$-inequality for $SL_n(\mathbf{R})$-twisted forms of Riesz transforms associated to fractional laplacians. Our second result gives a new and much stronger rigidity theorem for radial multipliers in $SL_n(\mathbf{R})$. More precisely, additional regularity and Mikhlin type conditions are proved to be necessary up to an order $\sim |\frac12 - \frac1p| (n-1)$ for large enough $n$ in terms of $p$. Locally, necessary and sufficient growth rates match up to that order. Asymptotically, extra decay for the symbol and its derivatives imposes more accurate and additional rigidity in a wider range of $L_p$-spaces. This rigidity increases with the rank, so we can construct radial generating functions satisfying our H\"ormander-Mikhlin sufficient conditions in rank $n$ and failing the rigidity conditions for ranks $m >> n$. We also prove automatic regularity and rigidity estimates for first and higher order derivatives of $\mathrm{K}$-biinvariant multipliers in the rank 1 groups $SO(n,1)$.


title: InversionNet: A Real-Time and Accurate Full Waveform Inversion with CNNs and continuous CRFs

abstract: Full-waveform inversion problems are usually formulated as optimization problems, where the forward-wave propagation operator $f$ maps the subsurface velocity structures to seismic signals. The existing computational methods for solving full-waveform inversion are not only computationally expensive, but also yields low-resolution results because of the ill-posedness and cycle skipping issues of full-waveform inversion. To resolve those issues, we employ machine-learning techniques to solve the full-waveform inversion. Specifically, we focus on applying the convolutional neural network~(CNN) to directly derive the inversion operator $f^{-1}$ so that the velocity structure can be obtained without knowing the forward operator $f$. We build a convolutional neural network with an encoder-decoder structure to model the correspondence from seismic data to subsurface velocity structures. Furthermore, we employ the conditional random field~(CRF) on top of the CNN to generate structural predictions by modeling the interactions between different locations on the velocity model. Our numerical examples using synthetic seismic reflection data show that the propose CNN-CRF model significantly improve the accuracy of the velocity inversion while the computational time is reduced.


title: Geodesics as deformations of one-parameter subgroups in homogeneous manifolds

abstract: We solve explicitly the geodesic equation for a wide class of (pseudo)-Riemannian homogeneous manifolds (G/H,m), including those with G compact, as well as non-compact semisimple Lie groups, under a simple algebraic condition for the metric m. We prove that these manifolds are geodesically complete and their geodesics are orbits in G/H of a product of N one-parameter subgroups of G, where N is a natural number. This is intimately related to the fact that the metrics m can be regarded as N-parameter deformations of a Riemannian metric in G/H with special symmetries. We show that there exists a wealth of metrics having the aforementioned type of geodesics; those metrics are constructed from any Lie subgroup series of the form H < H_1 < ... < H_{N-1} < G.


title: Fermion Pair Production in SO(5) x U(1) Gauge-Higgs Unification Models

abstract: We compute fermion pair production cross sections in $e^+e^-$ annihilation in models of electroweak symmetry breaking in warped 5-dimensional space. Our analysis is based on a framework with no elementary scalars, only gauge bosons and fermions in the bulk. We apply a novel Green's function method to obtain an analytic understanding of the new physics effects across the parameter space. We present results for $e^+e^-\to b\bar b$ and $e^+e^-\to t\bar t$. The predicted effects will be visible in precision measurements. Different models of $b$ quark mass generation can be distinguished by these measurements already at 250 GeV in the center of mass.


title: The orientation morphism: from graph cocycles to deformations of Poisson structures

abstract: We recall the construction of the Kontsevich graph orientation morphism $\gamma \mapsto {\rm O\vec{r}}(\gamma)$ which maps cocycles $\gamma$ in the non-oriented graph complex to infinitesimal symmetries $\dot{\mathcal{P}} = {\rm O\vec{r}}(\gamma)(\mathcal{P})$ of Poisson bi-vectors on affine manifolds. We reveal in particular why there always exists a factorization of the Poisson cocycle condition $[\![\mathcal{P},{\rm O\vec{r}}(\gamma)(\mathcal{P})]\!] \doteq 0$ through the differential consequences of the Jacobi identity $[\![\mathcal{P},\mathcal{P}]\!]=0$ for Poisson bi-vectors $\mathcal{P}$. To illustrate the reasoning, we use the Kontsevich tetrahedral flow $\dot{\mathcal{P}} = {\rm O\vec{r}}(\gamma_3)(\mathcal{P})$, as well as the flow produced from the Kontsevich--Willwacher pentagon-wheel cocycle $\gamma_5$ and the new flow obtained from the heptagon-wheel cocycle $\gamma_7$ in the unoriented graph complex.


title: Three-loop formula for quark and gluon contributions to the QCD trace anomaly

abstract: In the QCD energy-momentum tensor $T^{\mu\nu}$, the terms that contribute to physical matrix elements are expressed as the sum of the gauge-invariant quark part and gluon part. Each part undergoes the renormalization due to the interactions among quarks and gluons, although the total tensor $T^{\mu\nu}$ is not renormalized thanks to the conservation of energy and momentum. Recently it has been shown that, through the renormalization, each of the quark and gluon parts of $T^{\mu\nu}$ receives a definite amount of anomalous trace contribution, such that their sum reproduces the well-known QCD trace anomaly, $T^\mu_\mu= (\beta/2g)F^{\mu\nu}F_{\mu\nu}+ m (1+\gamma_m)\bar{\psi}\psi$, and the corresponding formulas have been derived up to two-loop order. We extend this result to the three-loop order, working out all the relevant three-loop renormalization structure for the quark and gluon energy-momentum tensors in the (modified) minimal subtraction scheme in the dimensional regularization. We apply our three-loop formula of the quark/gluon decomposition of the trace anomaly to calculate the anomaly-induced mass structure of nucleons as well as pions.


title: Scaling limits of dS vacua and the swampland

abstract: We discuss the properties of massive type IIA flux compactifications. In particular, we investigate in which case one can obtain dS vacua at large volume and small coupling. We support a general discussion of scaling symmetries with the analysis of a concrete example. We find that the large volume and weak coupling limit requires a large number of O6-planes. Since these are bound for any given compactification space one cannot get arbitrarily good control over $\alpha'$ and string loop corrections.


title: Observationally based models of penumbral microjets

abstract: We study the polarization signals and physical parameters of penumbral microjets (PMJs) by using high spatial resolution data taken in the Fe I 630 nm pair, Ca II 854.2 nm and Ca II K lines with the CRISP and CHROMIS instruments at the Swedish 1-m Solar Telescope. We infer their physical parameters, such as physical observables in the photosphere and chromospheric velocity diagnostics, by different methods, including inversions of the observed Stokes profiles with the STiC code. PMJs harbor overall brighter Ca II K line profiles and conspicuous polarization signals in Ca II 854.2 nm, specifically in circular polarization that often shows multiple lobes mainly due to the shape of Stokes I. They usually overlap photospheric regions with sheared magnetic field configuration, suggesting that magnetic reconnections could play an important role in the origin of PMJs. The discrepancy between their low LOS velocities and the high apparent speeds reported on earlier, as well as the existence of different vertical velocity gradients in the chromosphere, indicate that PMJs might not be entirely related to mass motions. Instead, PMJs could be due to perturbation fronts induced by magnetic reconnections occurring in the deep photosphere that propagate through the chromosphere. This reconnection may be associated with current heating that produces temperature enhancements from the temperature minimum region. Furthermore, enhanced collisions with electrons could also increase the coupling to the local conditions at higher layers during the PMJ phase, giving a possible explanation for the enhanced emission in the overall Ca II K profiles emerging from these transients.


title: Guiding Policies with Language via Meta-Learning

abstract: Behavioral skills or policies for autonomous agents are conventionally learned from reward functions, via reinforcement learning, or from demonstrations, via imitation learning. However, both modes of task specification have their disadvantages: reward functions require manual engineering, while demonstrations require a human expert to be able to actually perform the task in order to generate the demonstration. Instruction following from natural language instructions provides an appealing alternative: in the same way that we can specify goals to other humans simply by speaking or writing, we would like to be able to specify tasks for our machines. However, a single instruction may be insufficient to fully communicate our intent or, even if it is, may be insufficient for an autonomous agent to actually understand how to perform the desired task. In this work, we propose an interactive formulation of the task specification problem, where iterative language corrections are provided to an autonomous agent, guiding it in acquiring the desired skill. Our proposed language-guided policy learning algorithm can integrate an instruction and a sequence of corrections to acquire new skills very quickly. In our experiments, we show that this method can enable a policy to follow instructions and corrections for simulated navigation and manipulation tasks, substantially outperforming direct, non-interactive instruction following.


title: Patterns in Random Permutations

abstract: Every k entries in a permutation can have one of k! different relative orders, called patterns. How many times does each pattern occur in a large random permutation of size n? The distribution of this k!-dimensional vector of pattern densities was studied by Janson, Nakamura, and Zeilberger (2015). Their analysis showed that some component of this vector is asymptotically multinormal of order 1/sqrt(n), while the orthogonal component is smaller. Using representations of the symmetric group, and the theory of U-statistics, we refine the analysis of this distribution. We show that it decomposes into k asymptotically uncorrelated components of different orders in n, that correspond to representations of Sk. Some combinations of pattern densities that arise in this decomposition have interpretations as practical nonparametric statistical tests.


title: 4-manifolds and topological modular forms

abstract: We build a connection between topology of smooth 4-manifolds and the theory of topological modular forms by considering topologically twisted compactification of 6d (1,0) theories on 4-manifolds with flavor symmetry backgrounds. The effective 2d theory has (0,1) supersymmetry and, possibly, a residual flavor symmetry. The equivariant topological Witten genus of this 2d theory then produces a new invariant of the 4-manifold equipped with a principle bundle, valued in the ring of equivariant weakly holomorphic (topological) modular forms. We describe basic properties of this map and present a few simple examples. As a byproduct, we obtain some new results on 't Hooft anomalies of 6d (1,0) theories and a better understanding of the relation between 2d (0,1) theories and TMF spectra.


title: Stochastic Navier-Stokes equation on a 2D rotating sphere with stable L\'evy noise: existence and uniqueness of weak and strong solutions

abstract: In this paper we prove the existence and uniqueness of a strong solution (in PDE sense) to the stochastic Navier-Stokes equations on the rotating 2-dimensional unit sphere perturbed by stable L\'evy noise. This strong solution turns out to exist globally in time.


title: Chemical Structure Elucidation from Mass Spectrometry by Matching Substructures

abstract: Chemical structure elucidation is a serious bottleneck in analytical chemistry today. We address the problem of identifying an unknown chemical threat given its mass spectrum and its chemical formula, a task which might take well trained chemists several days to complete. Given a chemical formula, there could be over a million possible candidate structures. We take a data driven approach to rank these structures by using neural networks to predict the presence of substructures given the mass spectrum, and matching these substructures to the candidate structures. Empirically, we evaluate our approach on a data set of chemical agents built for unknown chemical threat identification. We show that our substructure classifiers can attain over 90% micro F1-score, and we can find the correct structure among the top 20 candidates in 88% and 71% of test cases for two compound classes.


title: Some notes to extend the study on random non-autonomous second order linear differential equations appearing in Mathematical Modeling

abstract: The objective of this paper is to complete certain issues from our recent contribution [J. Calatayud, J.-C. Cort\'es, M. Jornet, L. Villafuerte, Random non-autonomous second order linear differential equations: mean square analytic solutions and their statistical properties, Advances in Difference Equations, 2018:392, 1--29 (2018)]. We restate the main theorem therein that deals with the homogeneous case, so that the hypotheses are clearer and also easier to check in applications. Another novelty is that we tackle the non-homogeneous equation with a theorem of existence of mean square analytic solution and a numerical example. We also prove the uniqueness of mean square solution via an habitual Lipschitz condition that extends the classical Picard Theorem to mean square calculus. In this manner, the study on general random non-autonomous second order linear differential equations with analytic data processes is completely resolved. Finally, we relate our exposition based on random power series with polynomial chaos expansions and the random differential transform method, being the latter a reformulation of our random Fr\"obenius method.


title: An Unconditionally Energy-Stable Scheme Based on an Implicit Auxiliary Energy Variable for Incompressible Two-Phase Flows with Different Densities Involving Only Precomputable Coefficient Matrices

abstract: We present an energy-stable scheme for numerically approximating the governing equations for incompressible two-phase flows with different densities and dynamic viscosities for the two fluids. The proposed scheme employs a scalar-valued auxiliary energy variable in its formulation, and it satisfies a discrete energy stability property. More importantly, the scheme is computationally efficient. Within each time step, it computes two copies of the flow variables (velocity, pressure, phase field function) by solving individually a linear algebraic system involving a constant and time-independent coefficient matrix for each of these field variables. The coefficient matrices involved in these linear systems only need to be computed once and can be pre-computed. Additionally, within each time step the scheme requires the solution of a nonlinear algebraic equation about a {\em scalar-valued number} using the Newton's method. The cost for this nonlinear solver is very low, accounting for only a few percent of the total computation time per time step, because this nonlinear equation is about a scalar number, not a field function. Extensive numerical experiments have been presented for several two-phase flow problems involving large density ratios and large viscosity ratios. Comparisons with theory show that the proposed method produces physically accurate results. Simulations with large time step sizes demonstrate the stability of computations and verify the robustness of the proposed method. An implication of this work is that energy-stable schemes for two-phase problems can also become computationally efficient and competitive, eliminating the need for expensive re-computations of coefficient matrices, even at large density ratios and viscosity ratios.


title: Automatic Three-Dimensional Cephalometric Annotation System Using Three-Dimensional Convolutional Neural Networks

abstract: Background: Three-dimensional (3D) cephalometric analysis using computerized tomography data has been rapidly adopted for dysmorphosis and anthropometry. Several different approaches to automatic 3D annotation have been proposed to overcome the limitations of traditional cephalometry. The purpose of this study was to evaluate the accuracy of our newly-developed system using a deep learning algorithm for automatic 3D cephalometric annotation. Methods: To overcome current technical limitations, some measures were developed to directly annotate 3D human skull data. Our deep learning-based model system mainly consisted of a 3D convolutional neural network and image data resampling. Results: The discrepancies between the referenced and predicted coordinate values in three axes and in 3D distance were calculated to evaluate system accuracy. Our new model system yielded prediction errors of 3.26, 3.18, and 4.81 mm (for three axes) and 7.61 mm (for 3D). Moreover, there was no difference among the landmarks of the three groups, including the midsagittal plane, horizontal plane, and mandible (p>0.05). Conclusion: A new 3D convolutional neural network-based automatic annotation system for 3D cephalometry was developed. The strategies used to implement the system were detailed and measurement results were evaluated for accuracy. Further development of this system is planned for full clinical application of automatic 3D cephalometric annotation.


title: Weierstrass semigroups at every point of the Suzuki curve

abstract: In this article we explicitly determine the structure of the Weierstrass semigroups $H(P)$ for any point $P$ of the Suzuki curve $\mathcal{S}_q$. As the point $P$ varies, exactly two possibilities arise for $H(P)$: one for the $\mathbb{F}_q$-rational points (already known in the literature), and one for all remaining points. For this last case a minimal set of generators of $H(P)$ is also provided. As an application, we construct dual one-point codes from an $\mathbb{F}_{q^4}\setminus\fq$-point whose parameters are better in some cases than the ones constructed in a similar way from an $\fq$-rational point.


title: Exactly solvable Gaussian and non-Gaussian mean-field games and collective swarms dynamics

abstract: The collective behaviour of stochastic multi-agents swarms driven by Gaussian and non-Gaussian environments is analytically discussed in a mean-field approach. We first exogenously implement long range mutual interactions rules with strengths that are modulated by the real-time distance separating each agent with the swarm barycentre. Depending on the form of this barycentric modulation, a transition between drastically collective behaviours can be unveiled. A behavioural bifurcation threshold due to the tradeoff between the desynchronisation effects of the stochastic environment and the synchronising interactions is analytically calculated. For strong enough interactions, the emergence of a swarm soliton propagating wave is observable. Alternatively, weaker interactions cannot overcome the environmental noise and evanescent diffusive waves result. In a second and complementary approach, we show the the emergent solitons can alternatively be interpreted as being the optimal equilibrium of mean-field games (MFG) models with ad-hoc running cost functions which are here exactly determined. The MFG's equilibria resulting from the optimisation of individual utility functions are solitons that are therefore endogenously generated. Hence for the classes of models here proposed, an explicit correspondence between exogenous and endogenous interaction rules ultimately producing similar collective effects can be explicitly constructed. For both Gaussian and non-Gaussian environments our exact results unveil new classes of exactly solvable mean-field games dynamics.


title: Hearing the echoes of dark matter and new physics

abstract: Motivated by the absence of dark matter signal in dark matter direct detection experiments and new physics signal at LHC, we study how to hear the echoes of the new physics, especially the dark matter and baryogenesis by new approaches, such as the gravitational wave experiments.


title: Erratum: "On the nonlocal Cahn-Hilliard-Brinkman and Cahn-Hilliard-Hele-Shaw systems" [Comm. Pure Appl. Anal. 15 (2016), 299-317]

abstract: In this note, we want to highlight and correct an error in the paper "On the nonlocal Cahn-Hilliard-Brinkman and Cahn-Hilliard-Hele-Shaw systems" [Comm. Pure Appl. Anal. 15 (2016), 299-317] written by the authors.


title: Measurements of the cosmological parameters $\Omega_m$, $\Omega_k$, $\Omega_\textrm{de}(a)$, $H_0$, and $\sum m_\nu$

abstract: From Baryon Acoustic Oscillation measurements with Sloan Digital Sky Survey SDSS DR14 galaxies, and the acoustic horizon angle $\theta_*$ measured by the Planck Collaboration, we obtain $\Omega_m = 0.2724 \pm 0.0047$, and $h + 0.020 \cdot \sum{m_\nu} = 0.7038 \pm 0.0060$, assuming flat space and a cosmological constant. We combine this result with the 2018 Planck `TT,TE,EE$+$lowE$+$lensing' analysis, and update a study of $\sum m_\nu$ with new direct measurements of $\sigma_8$, and obtain $\sum m_\nu = 0.27 \pm 0.08$ eV assuming three nearly degenerate neutrino eigenstates. Measurements are consistent with $\Omega_k = 0$, and $\Omega_\textrm{de}(a) = \Omega_\Lambda$ constant.


title: Critical traveling waves in a diffusive disease model

abstract: In this paper, the existence of a non-trivial, positive and bounded critical traveling wave solution of a diffusive disease model, whose reaction system has infinity many equilibria, is obtained for the first time. This gives an affirmative answer to an open problem left in [X. Wang, H. Wang, J. Wu, Traveling waves of diffusive predator-prey systems: disease outbreak propagation, Discrete Contin. Dyn. Syst. Ser. A 32 (2012) 3303-3324]. Our result shows that the critical traveling wave in this model is a mixed of front and pulse type.


title: Slum Segmentation and Change Detection : A Deep Learning Approach

abstract: More than one billion people live in slums around the world. In some developing countries, slum residents make up for more than half of the population and lack reliable sanitation services, clean water, electricity, other basic services. Thus, slum rehabilitation and improvement is an important global challenge, and a significant amount of effort and resources have been put into this endeavor. These initiatives rely heavily on slum mapping and monitoring, and it is essential to have robust and efficient methods for mapping and monitoring existing slum settlements. In this work, we introduce an approach to segment and map individual slums from satellite imagery, leveraging regional convolutional neural networks for instance segmentation using transfer learning. In addition, we also introduce a method to perform change detection and monitor slum change over time. We show that our approach effectively learns slum shape and appearance, and demonstrates strong quantitative results, resulting in a maximum AP of 80.0.


abstract: Modern vehicles contain scores of Electrical Control Units (ECUs) that broadcast messages over a Controller Area Network (CAN). Vehicle manufacturers rely on security through obscurity by concealing their unique mapping of CAN messages to vehicle functions which differs for each make, model, year, and even trim. This poses a major obstacle for after-market modifications notably performance tuning and in-vehicle network security measures. We present ACTT: Automotive CAN Tokenization and Translation, a novel, vehicle-agnostic, algorithm that leverages available diagnostic information to parse CAN data into meaningful messages, simultaneously cutting binary messages into tokens, and learning the translation to map these contiguous bits to the value of the vehicle function communicated.


title: Higgs stability-bound and fermionic dark matter

abstract: Higgs-portal interactions of fermionic dark matter -- in contrast to fermions coupled via Yukawa interactions -- can have a stabilizing effect on the standard-model Higgs potential. A non-perturbative renormalization-group analysis reveals that, similar to higher-order operators in the Higgs potential itself, the fermionic portal coupling can increase the metastability scale by only about one order of magnitude. Furthermore, this regime of very weakly coupled dark matter is in conflict with relic-density constraints. Conversely, fermionic dark matter with the right relic abundance requires either a low cutoff scale of the effective field theory or a strongly interacting scalar sector. This results in a triviality problem in the scalar sector which persists at the non-perturbative level. The corresponding breakdown of the effective field theory suggests a larger dark sector to be present not too far above the dark-fermion mass-scale.


title: MN44: a luminous blue variable running away from Westerlund 1

abstract: We show that Westerlund 1 is the likely birth cluster of the runaway bona fide LBV MN44.


title: 1D Kinematics from stars and ionized gas at $z\sim0.8$ from the LEGA-C spectroscopic survey of massive galaxies

abstract: We present a comparison of the observed, spatially integrated stellar and ionized gas velocity dispersions of $\sim1000$ massive ($\log M_{\star}/M_{\odot}\gtrsim\,10.3$) galaxies in the Large Early Galaxy Astrophysics Census (LEGA-C) survey at $0.6\lesssim\,z\lesssim1.0$. The high $S/N\sim20{\rm\AA^{-1}}$ afforded by 20 hour VLT/VIMOS spectra allows for joint modeling of the stellar continuum and emission lines in all galaxies, spanning the full range of galaxy colors and morphologies. These observed integrated velocity dispersions (denoted as $\sigma'_{g, int}$ and $\sigma'_{\star, int}$) are related to the intrinsic velocity dispersions of ionized gas or stars, but also include rotational motions through beam smearing and spectral extraction. We find good average agreement between observed velocity dispersions, with $\langle\log(\sigma'_{g, int}/\sigma'_{\star, int})\rangle=-0.003$. This result does not depend strongly on stellar population, structural properties, or alignment with respect to the slit. However, in all regimes we find significant scatter between $\sigma'_{g, int}$ and $\sigma'_{\star, int}$, with an overall scatter of 0.13 dex of which 0.05 dex is due to observational uncertainties. For an individual galaxy, the scatter between $\sigma'_{g, int}$ and $\sigma'_{\star, int}$ translates to an additional uncertainty of $\sim0.24\rm{dex}$ on dynamical mass derived from $\sigma'_{g, int}$, on top of measurement errors and uncertainties from Virial constant or size estimates. We measure the $z\sim0.8$ stellar mass Faber-Jackson relation and demonstrate that emission line widths can be used to measure scaling relations. However, these relations will exhibit increased scatter and slopes that are artificially steepened by selecting on subsets of galaxies with progressively brighter emission lines.