title: AC/DC: In-Database Learning Thunderstruck

abstract: We report on the design and implementation of the AC/DC gradient descent solver for a class of optimization problems over normalized databases. AC/DC decomposes an optimization problem into a set of aggregates over the join of the database relations. It then uses the answers to these aggregates to iteratively improve the solution to the problem until it converges. The challenges faced by AC/DC are the large database size, the mixture of continuous and categorical features, and the large number of aggregates to compute. AC/DC addresses these challenges by employing a sparse data representation, factorized computation, problem reparameterization under functional dependencies, and a data structure that supports shared computation of aggregates. To train polynomial regression models and factorization machines of up to 154K features over the natural join of all relations from a real-world dataset of up to 86M tuples, AC/DC needs up to 30 minutes on one core of a commodity machine. This is up to three orders of magnitude faster than its competitors R, MadLib, libFM, and TensorFlow whenever they finish and thus do not exceed memory limitation, 24-hour timeout, or internal design limitations.


title: Topological phase transition with nanoscale inhomogeneity in (Bi$_{1-x}$In$_{x}$)$_{2}$Se$_{3}$

abstract: Topological insulators are a class of band insulators with non-trivial topology, a result of band inversion due to the strong spin-orbit coupling. The transition between topological and normal insulator can be realized by tuning the spin-orbit coupling strength, and has been observed experimentally. However, the impact of chemical disorders on the topological phase transition was not addressed in previous studies. Herein, we report a systematic scanning tunneling microscopy/spectroscopy and first-principles study of the topological phase transition in single crystals of In doped Bi$_2$Se$_3$. Surprisingly, no band gap closure was observed across the transition. Furthermore, our spectroscopic-imaging results reveal that In defects are extremely effective "suppressors" of the band inversion, which leads to microscopic phase separation of topological-insulator-like and normal-insulator-like nano regions across the "transition". The observed topological electronic inhomogeneity demonstrates the significant impact of chemical disorders in topological materials, shedding new light on the fundamental understanding of topological phase transition.


title: Natural Gradient Deep Q-learning

abstract: We present a novel algorithm to train a deep Q-learning agent using natural-gradient techniques. We compare the original deep Q-network (DQN) algorithm to its natural-gradient counterpart, which we refer to as NGDQN, on a collection of classic control domains. Without employing target networks, NGDQN significantly outperforms DQN without target networks, and performs no worse than DQN with target networks, suggesting that NGDQN stabilizes training and can help reduce the need for additional hyperparameter tuning. We also find that NGDQN is less sensitive to hyperparameter optimization relative to DQN. Together these results suggest that natural-gradient techniques can improve value-function optimization in deep reinforcement learning.


title: A framework for performance characterization of energy-resolving photon-counting detectors

abstract: Photon-counting energy resolving detectors are subject to intense research interest, and there is a need for a general framework for performance assessment of these detectors. The commonly used linear-systems theory framework, which measures detector performance in terms of noise-equivalent quanta (NEQ) and detective quantum efficiency (DQE) is widely used for characterizing conventional X-ray detectors but does not take energy-resolving capabilities into account. We extend this framework to encompass energy-resolving photon-counting detectors and elucidate how the imperfect energy response of real-world detectors affects imaging performance. We generalize NEQ and DQE to matrix-valued quantities as functions of spatial frequency, and show how these can be calculated from simple Monte Carlo simulations. To demonstrate how the new metrics can be interpreted, we compute them for simplified models of fluorescence and Compton scatter in a photon-counting detector and for a Monte Carlo model of a CdTe detector with 0.5 x 0.5 mm^2 pixels. Our results show that the ideal-linear-observer performance for any detection or material quantification task can be calculated from the proposed metrics. Off-diagonal elements in these matrices are shown to be related to imperfect energy resolution. The Monte Carlo model of the CdTe detector predicts a zero-frequency dose efficiency relative to an ideal detector of 0.86 and 0.65 for detecting water and bone, respectively. When the task instead is to quantify these materials, the corresponding values are 0.34 for water and 0.26 for bone. We have shown that the matrix-valued NEQ and DQE metrics contain sufficient information for calculating the dose efficiency for both detection or quantification tasks, the task having any spatial and energy dependence. This framework will be beneficial for the development of photon-counting X-ray detectors.


title: Collective Schedules: Scheduling Meets Computational Social Choice

abstract: When scheduling public works or events in a shared facility one needs to accommodate preferences of a population. We formalize this problem by introducing the notion of a collective schedule. We show how to extend fundamental tools from social choice theory---positional scoring rules, the Kemeny rule and the Condorcet principle---to collective scheduling. We study the computational complexity of finding collective schedules. We also experimentally demonstrate that optimal collective schedules can be found for instances with realistic sizes.


title: Actor and Action Video Segmentation from a Sentence

abstract: This paper strives for pixel-level segmentation of actors and their actions in video content. Different from existing works, which all learn to segment from a fixed vocabulary of actor and action pairs, we infer the segmentation from a natural language input sentence. This allows to distinguish between fine-grained actors in the same super-category, identify actor and action instances, and segment pairs that are outside of the actor and action vocabulary. We propose a fully-convolutional model for pixel-level actor and action segmentation using an encoder-decoder architecture optimized for video. To show the potential of actor and action video segmentation from a sentence, we extend two popular actor and action datasets with more than 7,500 natural language descriptions. Experiments demonstrate the quality of the sentence-guided segmentations, the generalization ability of our model, and its advantage for traditional actor and action segmentation compared to the state-of-the-art.


title: The Gerstenhaber product $\HH^2(A)\times \HH^2(A)\to \HH^3(A)$ of affine toric varieties

abstract: For an affine toric variety $\spec(A)$, we give a convex geometric interpretation of the Gerstenhaber product $\HH^2(A)\times \HH^2(A)\to \HH^3(A)$ between the Hochschild cohomology groups. In the case of Gorenstein toric surfaces we prove that the Gerstenhaber product is the zero map. As an application in commutative deformation theory we find the equations of the versal base space (in special lattice degrees) up to second order for not necessarily isolated toric Gorenstein singularities. Our construction reproves and generalizes results obtained in [1] and [13].


title: FastDeRain: A Novel Video Rain Streak Removal Method Using Directional Gradient Priors

abstract: Rain streak removal is an important issue in outdoor vision systems and has recently been investigated extensively. In this paper, we propose a novel video rain streak removal approach FastDeRain, which fully considers the discriminative characteristics of rain streaks and the clean video in the gradient domain. Specifically, on the one hand, rain streaks are sparse and smooth along the direction of the raindrops, whereas on the other hand, clean videos exhibit piecewise smoothness along the rain-perpendicular direction and continuity along the temporal direction. Theses smoothness and continuity results in the sparse distribution in the different directional gradient domain, respectively. Thus, we minimize 1) the $\ell_1$ norm to enhance the sparsity of the underlying rain streaks, 2) two $\ell_1$ norm of unidirectional Total Variation (TV) regularizers to guarantee the anisotropic spatial smoothness, and 3) an $\ell_1$ norm of the time-directional difference operator to characterize the temporal continuity. A split augmented Lagrangian shrinkage algorithm (SALSA) based algorithm is designed to solve the proposed minimization model. Experiments conducted on synthetic and real data demonstrate the effectiveness and efficiency of the proposed method. According to comprehensive quantitative performance measures, our approach outperforms other state-of-the-art methods especially on account of the running time. The code of FastDeRain can be downloaded at https://github.com/TaiXiangJiang/FastDeRain.


title: Dynamic Variational Autoencoders for Visual Process Modeling

abstract: This work studies the problem of modeling visual processes by leveraging deep generative architectures for learning linear, Gaussian representations from observed sequences. We propose a joint learning framework, combining a vector autoregressive model and Variational Autoencoders. This results in an architecture that allows Variational Autoencoders to simultaneously learn a non-linear observation as well as a linear state model from sequences of frames. We validate our approach on artificial sequences and dynamic textures.


title: Test beam results of a Cylindrical GEM detector for the BESIII experiment

abstract: Gas detector are very light instrument used in high energy physics to measure the particle properties: position and momentum. Through high electric field is possible to use the Gas Electron Multiplier (GEM) technology to detect the charged particles and to exploit their properties to construct a large area detector, such as the new IT for BESIII. The state of the art in the GEM production allows to create very large area GEM foils (up to 50x100 $\mathrm{cm}^2$) and thanks to the small thickness of these foils is it possible to shape it to the desired form: a Cylindrical Gas Electron Multiplier (CGEM) is then proposed. The innovative construction technique based on Rohacell, a PMI foam, will give solidity to cathode and anode with a very low impact on material budget. The entire detector is sustained by Permaglass rings glued at the edges. These rings are used to assembly the CGEM, together with a dedicated Vertical Insertion System and moreover they host the On-Detector electronic. The anode has been improved w.r.t. the state of the art through a jagged readout that minimize the inter-strip capacitance. The mechanical challenge of this detector requires a precision of the entire geometry within few hundreds of microns in the whole area. In this contribution an overview of the construction technique, the validation of this technique through the realization of a CGEM, and its first tests will be presented. These activities are performed within the framework of the BESIIICGEM Project (645664), funded by the European Commission in the action H2020-RISE-MSCA-2014.


title: The VO: A powerful tool for global astronomy

abstract: Since its inception in the early 2000, the Virtual Observatory (VO), developed as a collaboration of many national and international projects, has become a major factor in the discovery and dissemination of astronomical information worldwide. The IVOA has been coordinating all these efforts worldwide to ensure a common VO framework that enables transparent access to and interoperability of astronomy resources (data and software) around the world. The VO is not a magic solution to all astronomy data management challenges but it does bring useful solutions in many areas borne out by the fact that VO interfaces are broadly found in astronomy major data centres and projects worldwide. Astronomy data centres have been building VO services on top of their existing data services to increase interoperability with other VO-compliant data resources to take advantage of the continuous and increasing development of VO applications. VO applications have made multi-instrument and multi-wavelength science, a difficult and fruitful part of astronomy, somewhat easier. More recently, several major new astronomy projects have been directly adopting VO standards to build their data management infrastructure, giving birth to VO built-in archives. Embracing the VO framework from the beginning brings the double gain of not needing to reinvent the wheel and ensuring from the start interoperability with other astronomy VO resources. Some of the IVOA standards are also starting to be used by neighbour disciplines like planetary sciences. There is still quite a lot to be done on the VO, in particular tackling the upcoming big data challenge and how to find interoperable solutions to the new data analysis paradigm of bringing and running the software close to the data.


title: BOPfox program for tight-binding and analytic bond-order potential calculations

abstract: Bond-order potentials (BOPs) provide a local and physically transparent description of the interatomic interaction. Here we describe the efficient implementation of analytic BOPs in the BOPfox program and library. We discuss the integration of the underlying non-magnetic, collinear-magnetic and noncollinear-magnetic tight-binding models that are evaluated by the analytic BOPs. We summarize the flow of an analytic BOP calculation including the determination of self-returning paths for computing the moments, the self-consistency cycle, the estimation of the band-width from the recursion coefficients, and the termination of the BOP expansion. We discuss the implementation of the calculations of forces, stresses and magnetic torques with analytic BOPs. We show the scaling of analytic BOP calculations with the number of atoms and moments, present options for speeding up the calculations and outline different concepts of parallelisation. In the appendix we compile the implemented equations of the analytic BOP methodology and comments on the implementation. This description should be relevant for other implementations and further developments of analytic bond-order potentials.


title: Identifying a $Z'$ behind $b \to s \ell \ell$ anomalies at the LHC

abstract: Recent $b\to s\ell\ell$ anomalies may imply the existence of a new $Z'$ boson with left-handed $Z'bs$ and $Z'\mu\mu$ couplings. Such a $Z'$ may be directly observed at LHC via $b \bar s \to Z' \to \mu^+\mu^-$, and its relevance to $b\to s\ell\ell$ may be studied by searching for the process $gs \to Z'b \to \mu^+\mu^- b$. In this paper, we analyze the capability of the 14 TeV LHC to observe the $Z'$ in the $\mu^+ \mu^-$ and $\mu^+\mu^- b$ modes based on an effective model with major phenomenological constraints imposed. We find that both modes can be discovered with 3000 fb$^{-1}$ data if the $Z'bs$ coupling saturates the latest $B_s-\bar B_s$ mixing limit from UTfit at around $2\sigma$. Besides, a tiny right-handed $Z'bs$ coupling, if it exists, opens up the possibility of a relatively large left-handed counterpart, due to cancellation in the $B_s-\bar B_s$ mixing amplitude. In this case, we show that even a data sample of $\mathcal{O}(100)$ fb$^{-1}$ would enable discovery of both modes. We further study the impact of a $Z'bb$ coupling as large as the $Z'bs$ coupling. This scenario enables discovery of the $Z'$ in both modes with milder effects on the $B_s-\bar B_s$ mixing, but obscures the relevance of the $Z'$ to $b \to s\ell\ell$. Discrimination between the $Z'bs$ and $Z'bb$ couplings may come from the production cross section for the $Z'b\bar{b}$ final state. However, we do not find the prospect for this to be promising.


title: Entropic Dynamics: Reconstructing Quantum Field Theory in Curved Space-time

abstract: The Entropic Dynamics reconstruction of quantum mechanics is extended to quantum field theory in curved space-time. The Entropic Dynamics framework, which derives quantum theory as an application of the method of maximum entropy, is combined with the covariant methods of Dirac, Hojman, Kucha\v{r}, and Teitelboim, which they used to develop a framework for classical covariant Hamiltonian theories. The goal is to formulate an information-based alternative to current approaches based on algebraic quantum field theory. One key ingredient is the adoption of a local notion of entropic time in which instants are defined on curved three-dimensional surfaces and time evolution consists of the accumulation of changes induced by local deformations of these surfaces. The resulting dynamics is a non-dissipative diffusion that is constrained by the requirements of foliation invariance and incorporates the necessary local quantum potentials. As applications of the formalism we derive the Ehrenfest relations for fields in curved-spacetime and briefly discuss the nature of divergences in quantum field theory.


title: Elliptic problems on complete non-compact Riemannian manifolds with asymptotically non-negative Ricci curvature

abstract: In this paper we discuss the existence and non--existence of weak solutions to parametric equations involving the Laplace-Beltrami operator $\Delta_g$ in a complete non-compact $d$--dimensional ($d\geq 3$) Riemannian manifold $(\mathcal{M},g)$ with asymptotically non--negative Ricci curvature and intrinsic metric $d_g$. Namely, our simple model is the following problem $$ \left\{ \begin{array}{ll} -\Delta_gw+V(\sigma)w=\lambda \alpha(\sigma)f(w) & \mbox{ in } \mathcal{M}\\ w\geq 0 & \mbox{ in } \mathcal{M} \end{array}\right. $$ where $V$ is a positive coercive potential, $\alpha$ is a positive bounded function, $\lambda$ is a real parameter and $f$ is a suitable continuous nonlinear term. The existence of at least two non--trivial bounded weak solutions is established for large value of the parameter $\lambda$ requiring that the nonlinear term $f$ is non--trivial, continuous, superlinear at zero and sublinear at infinity. Our approach is based on variational methods. No assumptions on the sectional curvature, as well as symmetry theoretical arguments, are requested in our approach.


title: Generic Library Interception for Improved Performance Measurement and Insight

abstract: As applications grow in capability, they also grow in complexity. This complexity in turn gets pushed into modules and libraries. In addition, hardware configurations become increasingly elaborate, too. These two trends make understanding, debugging and analyzing the performance of applications more and more difficult. To enable detailed insight into library usage of applications, we present an approach and implementation in Score-P that supports intuitive and robust creation of wrappers for arbitrary C/C++ libraries. Runtime analysis then uses these wrappers to keep track of how applications interact with libraries, how they interact with each other, and record the exact timing of their functions.


title: Mobile Social Services with Network Externality: From Separate Pricing to Bundled Pricing

abstract: Today, many wireless device providers choose to sell devices bundled with complementary mobile social services, which exhibit strong positive network externality. This paper aims to quantify the benefits of selling devices and complementary services under the following three strategies: separate pricing, bundled pricing, and hybrid pricing (both the separate and bundled options are offered). A comprehensive comparison of the above three strategies is carried out for two popular service models, namely physical connectivity sharing and virtual content sharing, respectively. We first study the physical service model where the provider (e.g., FON) offers users customized WiFi devices for indoor Internet access, and allows service subscribers to physically access all device owners' WiFi when traveling. Observing that all device-owners contribute to the connectivity sharing, we show, via a Stackelberg game theoretic approach, that bundled pricing outperforms separate pricing as long as the total cost of device and service is reasonably low to stimulate network externality. Further, hybrid pricing strictly dominates bundled pricing thanks to the pricing flexibility to keep high marginal profit of device-selling. Next, we investigate the virtual sharing service model where the provider (e.g., Apple) sells devices and device-supported applications. Different from the connectivity service model, in this model service subscribers directly contribute to the virtual content sharing, and the network externality can be fairly strong. We prove that hybrid pricing degenerates to bundled pricing if the network externality degree is larger than the average device valuation, which is in stark contrast with the connectivity service model in which hybrid pricing always outperforms bundled pricing.


title: Discrete Cubical and Path Homologies of Graphs

abstract: In this paper we study and compare two homology theories for (simple and undirected) graphs. The first, which was developed by Barcelo, Caprano, and White, is based on graph maps from hypercubes to the graph. The second theory was developed by Grigor'yan, Lin, Muranov, and Yau, and is based on paths in the graph. Results in both settings imply that the respective homology groups are isomorphic in homological dimension one. We show that, for several infinite classes of graphs, the two theories lead to isomorphic homology groups in all dimensions. However, we provide an example for which the homology groups of the two theories are not isomorphic at least in dimensions two and three. We establish a natural map from the cubical to the path homology groups which is an isomorphism in dimension one and surjective in dimension two. Again our example shows that in general the map is not surjective in dimension three and not injective in dimension two. In the process we develop tools to compute the homology groups for both theories in all dimensions.


title: Yang-Baxter Deformations Beyond Coset Spaces (a slick way to do TsT)

abstract: Yang-Baxter string sigma-models provide a systematic way to deform coset geometries, such as $AdS_p \times S^p$, while retaining the $\sigma$-model integrability. It has been shown that the Yang-Baxter deformation in target space is simply an open-closed string map that can be defined for any geometry, not just coset spaces. Given a geometry with an isometry group and a bivector that is assumed to be a linear combination of antisymmetric products of Killing vectors, we show the equations of motion of (generalized) supergravity reduce to the Classical Yang-Baxter Equation associated with the isometry group, proving the statement made in [1]. These results bring us closer to the proof of the "YB solution generating technique" for (generalized) supergravity advertised in [1] and in particular provide an economical way to perform TsT transformations.


title: Dynamics of one fold symmetric patches for the aggregation equation and collapse to singular measure

abstract: We are concerned with the dynamics of one fold symmetric patches for the two-dimensional aggregation equation associated to the Newtonian potential. We reformulate a suitable graph model and prove a local well-posedness result in sub-critical and critical spaces. The global existence is obtained only for small initial data using a weak damping property hidden in the velocity terms. This allows to analyze the concentration phenomenon of the aggregation patches near the blow up time. In particular, we prove that the patch collapses to a collection of disjoint segments and we provide a description of the singular measure through a careful study of the asymptotic behavior of the graph.


title: $\mathbb{Z}_2$ boundary twist fields and the moduli space of D-branes

abstract: We revisit the boundary conformal field theory of twist fields. Based on the equivalence between twisted bosons on a circle and the orbifold theory at the critical radius, we provide a bosonized representation of boundary twist fields and thus a free field representation of the latter. One advantage of this formulation is that it considerably simplifies the calculation of correlation functions involving twist fields. At the same time this also gives access to higher order terms in the operator product expansions of the latter which, in turn, allows to explore the moduli space of marginal deformation of bound states of D-branes. In the process we also generalize some results on correlation functions with excited twist fields.


title: On a problem of Bermond and Bollob\'as

abstract: Let $n(k, d)$ be the order of the largest undirected graphs of maximum degree $k$ and diameter $d$, and let $M(k,d)$ be the corresponding Moore bound. In this paper, we give a positive answer to the question of Bermond and Bollob\'as concerning the Degree/Diameter Problem: Given a positive integer $c>0$, does there exist a pair $k$ and $d$, such that $n(k, d)\leq M(k,d)-c?$


title: Chemical bonding in carbide MXene nanosheets

abstract: The chemical bonding in the carbide core and the surface chemistry in a new group of transition-metal carbides Tin+1Cn-Tx (n=1,2) called MXenes have been investigated by surface-sensitive valence band X-ray photoelectron spectroscopy. Changes in band structures of stacked nano sheets of different thicknesses are analyzed in connection to known hybridization regions of TiC and TiO2 that affect elastic and transport properties. By employing high excitation energy, the photoelectron cross-section for the C 2s - Ti 3d hybridization region at the bottom of the valence band is enhanced. As shown in this work, the O 2p and F 2p bands are shown to strongly depend both on the bond lengths to the surface groups and the adsorption sites. The effect of surface oxidation and Ar+ sputtering on the electronic structure is also discussed.


title: Reliable and Practical Computational Prediction of Molecular Crystal Polymorphs

abstract: The ability to reliably predict the structures and stabilities of a molecular crystal and its polymorphs without any prior experimental information would be an invaluable tool for a number of fields, with specific and immediate applications in the design and formulation of pharmaceuticals. In this case, detailed knowledge of the polymorphic energy landscape for an active pharmaceutical ingredient yields profound insight regarding the existence and likelihood of late-appearing polymorphs. However, the computational prediction of the structures and stabilities of molecular crystal polymorphs is particularly challenging due to the high dimensionality of conformational and crystallographic space accompanied by the need for relative (free) energies to within $\approx$ 1 kJ/mol per molecule. In this work, we combine the most successful crystal structure sampling strategy with the most accurate energy ranking strategy of the latest blind test of organic crystal structure prediction (CSP), organized by the Cambridge Crystallographic Data Centre (CCDC). Our final energy ranking is based on first-principles density functional theory (DFT) calculations that include three key physical contributions: (i) a sophisticated treatment of Pauli exchange-repulsion and electron correlation effects with hybrid functionals, (ii) inclusion of many-body van der Waals dispersion interactions, and (iii) account of vibrational free energies. In doing so, this combined approach has an optimal success rate in producing the crystal structures corresponding to the five blind-test molecules. With this practical approach, we demonstrate the feasibility of obtaining reliable structures and stabilities for molecular crystals of pharmaceutical importance, paving the way towards an enhanced fundamental understanding of polymorphic energy landscapes and routine industrial application of molecular CSP methods.


title: Pt, Ni and Ti Schottky barrier contacts to \{beta}-(Al0.19Ga0.81)2O3 grown by Molecular Beam Epitaxy on Sn doped \{beta}-Ga2O3 substrate

abstract: A comprehensive current-voltage (I-V) characterization is performed for three different Schottky contacts; Pt, Ni and Ti, to unintentionally doped (UID) \{beta}-(Al0.19Ga0.81)2O3 grown by molecular beam epitaxy (MBE) on \{beta}-Ga2O3 for temperatures ranging between 25C -300C. Reciprocal space mapping shows the (Al0.19Ga0.81)2O3 films are strained and lattice matched to the substrate. Schottky Barrier Height (SBH), ideality factor (n), and series resistance (Rs) are extracted from the I-V characteristics for the three types of metals and temperatures. Room temperature capacitance-voltage (C-V) measurements revealed fully depleted \{beta}-(Al0.19Ga0.81)2O3 layer. Extracted room temperature SBHs after zero field correction for Pt, Ni and Ti were 2.39 eV, 2.21 eV, and 1.22 eV respectively. Variation of SBHs with metal clearly indicates the dependence on work function.


title: Non-Asymptotic Classical Data Compression with Quantum Side Information

abstract: In this paper, we analyze classical data compression with quantum side information (also known as the classical-quantum Slepian-Wolf protocol) in the so-called large and moderate deviation regimes. In the non-asymptotic setting, the protocol involves compressing classical sequences of finite length $n$ and decoding them with the assistance of quantum side information. In the large deviation regime, the compression rate is fixed, and we obtain bounds on the error exponent function, which characterizes the minimal probability of error as a function of the rate. Devetak and Winter showed that the asymptotic data compression limit for this protocol is given by a conditional entropy. For any protocol with a rate below this quantity, the probability of error converges to one asymptotically and its speed of convergence is given by the strong converse exponent function. We obtain finite blocklength bounds on this function, and determine exactly its asymptotic value. In the moderate deviation regime for the compression rate, the latter is no longer considered to be fixed. It is allowed to depend on the blocklength $n$, but assumed to decay slowly to the asymptotic data compression limit. Starting from a rate above this limit, we determine the speed of convergence of the error probability to zero and show that it is given in terms of the conditional information variance. Our results complement earlier results obtained by Tomamichel and Hayashi, in which they analyzed the so-called small deviation regime of this protocol.


title: Ideas from Developmental Robotics and Embodied AI on the Questions of Ethics in Robots

abstract: Advances in Artificial Intelligence and robotics are currently questioning theethical framework of their applications to deal with potential drifts, as well as the way inwhich these algorithms learn because they will have a strong impact on the behavior ofrobots and the type of robots. interactions with people. We would like to highlight someprinciples and ideas from cognitive neuroscience and development sciences based on theimportance of the body for intelligence, contrary to the theory of the all-brain or all-algorithm, to represent the world and interacting with others, and their current applicationsin embodied AI and developmental robotics to propose models of architectures andmechanisms for agency, representation of the body, recognition of the intention of others,predictive coding, active inference, the role of feedback and error, imitation, artificialcuriosity and contextual learning. We will explain how these are important for the design ofautonomous systems and beyond what they can tell us for the ethics of systems.


title: Polarization-dependent resonant inelastic X-ray scattering study at the Cu L and O K-edge of YBa$_2$Cu$_3$O$_{7-x}$

abstract: We present a study on the high-Tc superconductor (HTSC) YBa2Cu3O7-x (YBCO) using polarization-dependent X-ray absorption and resonant inelastic X-ray scattering. High-resolution measurements using synchrotron-radiation are compared with calculations using a quasi-atomic multiplet approach performed at the Cu 2p3/2-edge of YBCO. We use a multiplet approach within the single impurity Anderson model to reproduce and understand the character of the localized low-energy excitations in YBCO. We observe a distinct peak at about 0.5 eV in O K RIXS. This peak shows dependence on doping, incident energy, and momentum transfer that suggests that it has a different origin than the previously discussed cuprate bi-magnons. Therefore, we assign it to multi-magnon excitations between the Zhang Rice bands and/or the Upper Hubbard bands, respectively.


title: Influence of the $Z-Z'$ mixing on the $Z'$ production cross section in the model-independent approach

abstract: The new module SMZp is developed for the Monte-Carlo generator Sherpa that extends simulations of the Standard model (SM) processes with the Abelian $Z'$ boson in the model-independent approach. The special derived earlier relations between the $Z'$ couplings to the SM fields proper to the renormalizable theories are taken into account. Using this module, dependence of the $Z'$ production cross section on the $Z-Z'$ mixing angle $\theta_0$ in the Drell-Yan process is investigated within the range of 1 TeV $\leq m_{Z'} \leq$ 5 TeV. It is shown that if it is essential to keep the $Z'$ theory renormalizable, $\theta_0$ cannot be neglected as it is often done, even if it is small.


title: Workforce migration and its economic implications: A perspective from social media in China

abstract: The workforce remains the most basic element of social production, even in modern societies. Its migration, especially for developing economies such as China, plays a strong role in the reallocation of productive resources and offers a promising proxy for understanding socio-economic issues. Nevertheless, due to long cycle, expensive cost and coarse granularity, conventional surveys face challenges in comprehensively profiling it. With the permeation of smart and mobile devices in recent decades, booming social media has essentially broken spatio-temporal constraints and enabled the continuous sensing of the real-time mobility of massive numbers of individuals. In this study, we demonstrate that similar to a natural shock, the Spring Festival culturally drives workforce travel between workplaces and hometowns, and the trajectory footprints from social media therefore open a window with unparalleled richness and fine granularity to explore laws in national-level workforce migration. To understand the core driving forces of workforce migration flux between cities in China, various indicators reflecting the benefits and costs of migration are introduced into our prediction model. We find that urban GDP (gross domestic product) and travel time are two excellent indicators to help make predictions. Diverse migration patterns are then revealed by clustering the trajectories, which give important clues to help understand the different roles of Chinese cities in their own development and in regional economic development. These patterns are further explained as a joint effect of the subjective will to seek personal benefits and the capacity requirements of local labour markets. Our study implies that the non-negligible entanglement between social media and macroeconomic behaviours can be insightful for policymaking in social-economic issues.


title: Resonant intersubband polariton-LO phonon scattering in an optically pumped polaritonic device

abstract: We report experimental evidence of longitudinal optical (LO) phonon-intersubband polariton scattering processes under resonant injection of light. The scattering process is resonant with both the initial (upper polariton) and final (lower polariton) states and is induced by the interaction of confined electrons with longitudinal optical phonons. The system is optically pumped with a mid-IR laser tuned between 1094 cm-1 and 1134 cm-1 (lambda=9.14 um and lambda=8.82 um). The demonstration is provided for both GaAs/AlGaAs and InGaAs/AlInAs doped quantum well systems whose intersubband plasmon lies at lambda=10 um wavelength. In addition to elucidating the microscopic mechanism of the polariton-phonon scattering, that is found to differ substantially from the standard single particle electron-LO phonon scattering mechanism, this work constitutes the first step towards the hopefully forthcoming demonstration of an intersubband polariton laser.


title: Relative trace formula for compact quotient and pseudocoefficients for relative discrete series

abstract: We introduce the notion of relative pseudocoefficient for relative discrete series of real spherical homogeneous spaces of reductive groups. We prove that such relative pseudocoefficient does not exist for semisimple symmetric spaces of type G(C)/G(R) and construct strong relative pseudocoefficients for some hyperbolic spaces. We establish a toy model for the relative trace formula of H.Jacquet for compact discrete quotient {\Gamma}\G. This allows us to prove that a relative discrete series which admits strong pseudocoefficient with sufficiently small support occurs in the spectral decomposition of L^2({\Gamma}\G) with a nonzero period.


title: Fusion of stereo and still monocular depth estimates in a self-supervised learning context

abstract: We study how autonomous robots can learn by themselves to improve their depth estimation capability. In particular, we investigate a self-supervised learning setup in which stereo vision depth estimates serve as targets for a convolutional neural network (CNN) that transforms a single still image to a dense depth map. After training, the stereo and mono estimates are fused with a novel fusion method that preserves high confidence stereo estimates, while leveraging the CNN estimates in the low-confidence regions. The main contribution of the article is that it is shown that the fused estimates lead to a higher performance than the stereo vision estimates alone. Experiments are performed on the KITTI dataset, and on board of a Parrot SLAMDunk, showing that even rather limited CNNs can help provide stereo vision equipped robots with more reliable depth maps for autonomous navigation.


title: Robust Formation Control in SE(3) for Tree-Graph Structures with Prescribed Transient and Steady State Performance

abstract: This paper presents a novel control protocol for distance and orientation formation control of rigid bodies, whose sensing graph is a static and undirected tree, in the special Euclidean group SE(3). The proposed control laws are decentralized, in the sense that each agent uses only local relative information from its neighbors to calculate its control signal, as well as robust with respect to modeling (parametric and structural) uncertainties and external disturbances. The proposed methodology guarantees the satisfaction of inter-agent distance constraints that resemble collision avoidance and connectivity maintenance properties. Moreover, certain predefined functions characterize the transient and steady state performance of the closed loop system. Finally, simulation results verify the validity and efficiency of the proposed approach.


title: Testing for Unobserved Heterogeneous Treatment Effects with Observational Data

abstract: Unobserved heterogeneous treatment effects have been emphasized in the recent policy evaluation literature (see e.g., Heckman and Vytlacil, 2005). This paper proposes a nonparametric test for unobserved heterogeneous treatment effects in a treatment effect model with a binary treatment assignment, allowing for individuals' self-selection to the treatment. Under the standard local average treatment effects assumptions, i.e., the no defiers condition, we derive testable model restrictions for the hypothesis of unobserved heterogeneous treatment effects. Also, we show that if the treatment outcomes satisfy a monotonicity assumption, these model restrictions are also sufficient. Then, we propose a modified Kolmogorov-Smirnov-type test which is consistent and simple to implement. Monte Carlo simulations show that our test performs well in finite samples. For illustration, we apply our test to study heterogeneous treatment effects of the Job Training Partnership Act on earnings and the impacts of fertility on family income, where the null hypothesis of homogeneous treatment effects gets rejected in the second case but fails to be rejected in the first application.


title: The Crossing Number of Seq-Shellable Drawings of Complete Graphs

abstract: The Harary-Hill conjecture states that for every $n>0$ the complete graph on $n$ vertices $K_n$, the minimum number of crossings over all its possible drawings equals \begin{align*} H(n) := \frac{1}{4}\Big\lfloor\frac{n}{2}\Big\rfloor\Big\lfloor\frac{n-1}{2}\Big\rfloor\Big\lfloor\frac{n-2}{2}\Big\rfloor\Big\lfloor\frac{n-3}{2}\Big\rfloor\text{.} \end{align*} So far, the lower bound of the conjecture could only be verified for arbitrary drawings of $K_n$ with $n\leq 12$. In recent years, progress has been made in verifying the conjecture for certain classes of drawings, for example $2$-page-book, $x$-monotone, $x$-bounded, shellable and bishellable drawings. Up to now, the class of bishellable drawings was the broadest class for which the Harary-Hill conjecture has been verified, as it contains all beforehand mentioned classes. In this work, we introduce the class of seq-shellable drawings and verify the Harary-Hill conjecture for this new class. We show that bishellability implies seq-shellability and exhibit a non-bishellable but seq-shellable drawing of $K_{11}$, therefore the class of seq-shellable drawings strictly contains the class of bishellable drawings.


title: Hydrogen-regulated chiral nanoplasmonics

abstract: Chirality is a highly important topic in modern chemistry, given the dramatically different pharmacological effects that enantiomers can have on the body. Chirality of natural molecules can be controlled by reconfiguration of molecular structures through external stimuli. Despite the rapid progress in plasmonics, active regulation of plasmonic chirality, particularly in the visible spectral range, still faces significant challenges. In this Letter, we demonstrate a new class of hybrid plasmonic metamolecules composed of magnesium and gold nanoparticles. The plasmonic chirality from such plasmonic metamolecules can be dynamically controlled by hydrogen in real time without introducing macroscopic structural reconfiguration. We experimentally investigate the switching dynamics of the hydrogen-regulated chiroptical response in the visible spectral range using circular dichroism spectroscopy. In addition, energy dispersive X-ray spectroscopy is used to examine the morphology changes of the magnesium particles through hydrogenation and dehydrogenation processes. Our study can enable plasmonic chiral platforms for a variety of gas detection schemes by exploiting the high sensitivity of circular dichroism spectroscopy.


title: Explanation Methods in Deep Learning: Users, Values, Concerns and Challenges

abstract: Issues regarding explainable AI involve four components: users, laws & regulations, explanations and algorithms. Together these components provide a context in which explanation methods can be evaluated regarding their adequacy. The goal of this chapter is to bridge the gap between expert users and lay users. Different kinds of users are identified and their concerns revealed, relevant statements from the General Data Protection Regulation are analyzed in the context of Deep Neural Networks (DNNs), a taxonomy for the classification of existing explanation methods is introduced, and finally, the various classes of explanation methods are analyzed to verify if user concerns are justified. Overall, it is clear that (visual) explanations can be given about various aspects of the influence of the input on the output. However, it is noted that explanation methods or interfaces for lay users are missing and we speculate which criteria these methods / interfaces should satisfy. Finally it is noted that two important concerns are difficult to address with explanation methods: the concern about bias in datasets that leads to biased DNNs, as well as the suspicion about unfair outcomes.


title: Hidden strongly interacting massive particles

abstract: We consider dark matter as Strongly Interacting Massive Particles (SIMPs) in a hidden sector, thermally decoupled from the Standard Model heat bath. Due to its strong interactions, the number-changing processes of the SIMP lead to its thermalization at temperature $T_{\rm{D}}$ different from the visible sector temperature $T$, and subsequent decoupling as the Universe expands. We study the evolution of the dark SIMP abundance in detail and find that a hidden SIMP provides for a consistent framework for self-interacting dark matter. Thermalization and decoupling of a composite SIMP can be treated within the domain of validity of chiral perturbation theory unlike the simplest realizations of the SIMP, where the SIMP is in thermal equilibrium with the Standard Model.


title: DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems

abstract: Deep learning (DL) defines a new data-driven programming paradigm that constructs the internal system logic of a crafted neuron network through a set of training data. We have seen wide adoption of DL in many safety-critical scenarios. However, a plethora of studies have shown that the state-of-the-art DL systems suffer from various vulnerabilities which can lead to severe consequences when applied to real-world applications. Currently, the testing adequacy of a DL system is usually measured by the accuracy of test data. Considering the limitation of accessible high quality test data, good accuracy performance on test data can hardly provide confidence to the testing adequacy and generality of DL systems. Unlike traditional software systems that have clear and controllable logic and functionality, the lack of interpretability in a DL system makes system analysis and defect detection difficult, which could potentially hinder its real-world deployment. In this paper, we propose DeepGauge, a set of multi-granularity testing criteria for DL systems, which aims at rendering a multi-faceted portrayal of the testbed. The in-depth evaluation of our proposed testing criteria is demonstrated on two well-known datasets, five DL systems, and with four state-of-the-art adversarial attack techniques against DL. The potential usefulness of DeepGauge sheds light on the construction of more generic and robust DL systems.


title: Optically addressing single rare-earth ions in a nanophotonic cavity

abstract: We demonstrate optical probing of spectrally resolved single Nd rare-earth ions in yttrium orthovanadate. The ions are coupled to a photonic crystal resonator and show strong enhancement of the optical emission rate via the Purcell effect, resulting in near radiatively limited single photon emission. The measured high coupling cooperativity between a single photon and the ion allows for the observation of coherent optical Rabi oscillations. This could enable optically controlled spin qubits, quantum logic gates, and spin-photon interfaces for future quantum networks.


title: OSSOS. VIII. The Transition Between Two Size Distribution Slopes in the Scattering Disk

abstract: The scattering trans-Neptunian Objects (TNOs) can be measured to smaller sizes than any other distant small-body population. We use the largest sample yet obtained, 68 discoveries, primarily by the Outer Solar System Origins Survey (OSSOS), to constrain the slope of its luminosity distribution, with sensitivity to much fainter absolute $H$ magnitudes than previous work. Using the analysis technique in Shankman et al. (2016), we confirm that a single slope for the $H$-distribution is not an accurate representation of the scattering TNOs and Centaurs, and that a break in the distribution is required, in support of previous conclusions. A bright-end slope of $\alpha_b=0.9$ transitioning to a faint-end slope $\alpha_f$ of 0.4-0.5 with a differential number contrast $c$ from 1 (a knee) to 10 (a divot) provides an acceptable match to our data. We find that break magnitudes $H_b$ of 7.7 and 8.3, values both previously suggested for dynamically hot Kuiper belt populations, are equally non-rejectable for a range of $\alpha_f$ and $c$ in our statistical analysis. Our preferred divot $H$-distribution transitions to $\alpha_f=0.5$ with a divot of contrast $c=3$ at $H_b=8.3$, while our preferred knee $H$-distribution transitions to $\alpha_f=0.4$ at $H_b=7.7$. The intrinsic population of scattering TNOs required to match the OSSOS detections is $3\times10^6$ for $H_r<12$, and $9\times10^4$ for $H_r<8.66$ ($D\gtrsim100$~km), with Centaurs having an intrinsic population two orders of magnitude smaller.


title: Program Repair via Direct State Manipulation

abstract: The goal of program repair is to automatically fix programs to meet a specification. We propose a new specification mechanism, direct manipulation, in which the programmer can visualize the trace of a buggy program on a failing input and convey the intended program behavior by manipulating variable values at some location. The repair problem is to find a program that, on the same input, reaches the location identified by the programmer with variable values equal to the manipulated ones. Since a single program execution under-specifies the overall program behavior, we augment our repair problem with quantitative objectives to find the program that agrees with the specification and is closest to the original one with respect to some distance. We formalize the repair problem, build a program repair tool JDial based on the Sketch synthesizer, and show the effectiveness of JDial on representative buggy benchmarks from introductory programming assignments.


title: Correlation between quantum entanglement and quantum coherence in the case of XY spin chains with the Dzyaloshinskii-Moriya interaction

abstract: Recently, there has been an increased interest in studying quantum entanglement and quantum coherence. Since both of these properties are attributed to the existence of quantum superposition, it would be useful to determine if some type of correlation between them exists. Hence, the purpose of this paper is to explore the type of the correlation in several systems with different types of anisotropy. The focus will be on the XY spin chains with the Dzyaloshinskii-Moriya interaction and the type of the mentioned bond will be explored using the quantum renormalization group method.


title: Design flow for readout ASICs in High-energy Physics experiments

abstract: In the large-scale high energy physics experiments multi-channel readout application specific integrated circuits (ASICs) are widely used. The ASICs for such experiments are complicated systems, which usually include both analog and digital building blocks. The complexity and large number of channels in such ASICs require the proper methodological approach to their design. The paper represents the mixed-signal design flow of the ASICs for high energy physics. This flow was successfully implemented in the development of the readout ASIC prototypes for the muon chambers of the CBM experiment. The approach was approved in UMC CMOS MMRF 180 nm process. The design flow enables to analyze the mixed-signal system operation on the different levels: functional, behavioral, schematic and post-layout including parasitic elements. The proposed design flow allows reducing the simulation period and eliminating the functionality mismatches on the very early stage of the design.


title: Dimensions: A Competitor to Scopus and the Web of Science?

abstract: Dimensions is a partly free scholarly database launched by Digital Science in January 2018. Dimensions includes journal articles and citation counts, making it a potential new source of impact data. This article explores the value of Dimensions from an impact assessment perspective with an examination of Food Science research 2008-2018 and a random sample of 10,000 Scopus articles from 2012. The results include high correlations between citation counts from Scopus and Dimensions (0.96 by narrow field in 2012) as well as similar average counts. Almost all Scopus articles with DOIs were found in Dimensions (97% in 2012). Thus, the scholarly database component of Dimensions seems to be a plausible alternative to Scopus and the Web of Science for general citation analyses and for citation data in support of some types of research evaluations.


title: Studies on generalized Yule models

abstract: We present a generalization of the Yule model for macroevolution in which, for the appearance of genera, we consider point processes with the order statistics property, while for the growth of species we use nonlinear time-fractional pure birth processes or a critical birth-death process. Further, in specific cases we derive the explicit form of the distribution of the number of species of a genus chosen uniformly at random for each time. Besides, we introduce a time-changed mixed Poisson process with the same marginal distribution as that of the time-fractional Poisson process.


title: Broadcasting on Bounded Degree DAGs

abstract: We study the following generalization of the well-known model of broadcasting on trees. Consider an infinite directed acyclic graph (DAG) with a unique source node $X$. Let the collection of nodes at distance $k$ from $X$ be called the $k$th layer. At time zero, the source node is given a bit. At time $k\geq 1$, each node in the $(k-1)$th layer inspects its inputs and sends a bit to its descendants in the $k$th layer. Each bit is flipped with a probability of error $\delta \in \left(0,\frac{1}{2}\right)$ in the process of transmission. The goal is to be able to recover the original bit with probability of error better than $\frac{1}{2}$ from the values of all nodes at an arbitrarily deep layer $k$. Besides its natural broadcast interpretation, the DAG broadcast is a natural model of noisy computation. Some special cases of the model represent information flow in biological networks, and other cases represent noisy finite automata models. We show that there exist DAGs with bounded degree and layers of size $\omega(\log(k))$ that permit recovery provided $\delta$ is sufficiently small and find the critical $\delta$ for the DAGs constructed. Our result demonstrates a doubly-exponential advantage for storing a bit in bounded degree DAGs compared to trees. On the negative side, we show that if the DAG is a two-dimensional regular grid, then recovery is impossible for any $\delta \in \left(0,\frac{1}{2}\right)$ provided all nodes use either AND or XOR for their processing functions.


title: Global well-posedness for the 2D stable Muskat problem in $H^{3/2}$

abstract: We prove a global existence result of a unique strong solution in $\dot H^{5/2} \cap \dot H^{3/2}$ with small $\dot H^{3/2}$ semi-norm for the 2D Muskat problem, hence allowing the interface to have arbitrary large finite slopes and finite energy (thanks to the $L^{2}$ maximum principle). The proof is based on the use of a new formulation of the Muskat equation that involves oscillatory terms. Then, a careful use of interpolation inequalities in homogeneneous Besov spaces allows us to close the {\emph{a priori}} estimates.


title: The Bright $\gamma$-ray Flare of 3C 279 in June 2015: AGILE Detection and Multifrequency Follow-up Observations

abstract: We report the AGILE detection and the results of the multifrequency follow-up observations of a bright $\gamma$-ray flare of the blazar 3C 279 in June 2015. We use AGILE-GRID and Fermi-LAT $\gamma$-ray data, together with Swift-XRT, Swift-UVOT, and ground-based GASP-WEBT optical observations, including polarization information, to study the source variability and the overall spectral energy distribution during the $\gamma$-ray flare. The $\gamma$-ray flaring data, compared with as yet unpublished simultaneous optical data which allow to set constraints on the big blue bump disk luminosity, show very high Compton dominance values of $\sim 100$, with a ratio of $\gamma$-ray to optical emission rising by a factor of three in a few hours. The multi-wavelength behavior of the source during the flare challenges one-zone leptonic theoretical models. The new observations during the June 2015 flare are also compared with already published data and non-simultaneous historical 3C 279 archival data.


title: Unitarity-limited behavior of three-body collisions in a p-wave interacting Fermi gas

abstract: We experimentally investigate the unitarity-limited behavior of the three-body loss near a p-wave Feshbach resonance in a single-component Fermi gas of $^6$Li atoms. At the unitarity limit, the three-body loss coefficient $L_{3}$ exhibits universality in the sense that it is independent of the interaction strength and follows the predicted temperature scaling law of $L_3 \propto T^{-2}$. When decreasing the interaction strength from the unitarity regime, the three-body loss coefficient as a function of the interaction strength and temperature can be described by the theory based on the association of an excited resonant quasibound state and its relaxation into a deep stable dimer by collision with a third atom in the framework of the standard Breit-Wigner theoretical approach. The results reported here are important to understand the properties of a resonant p-wave Fermi gas in the prospect of quantum few- and many-body physics.


title: Hybrid Contact Preintegration for Visual-Inertial-Contact State Estimation Using Factor Graphs

abstract: The factor graph framework is a convenient modeling technique for robotic state estimation where states are represented as nodes, and measurements are modeled as factors. When designing a sensor fusion framework for legged robots, one often has access to visual, inertial, joint encoder, and contact sensors. While visual-inertial odometry has been studied extensively in this framework, the addition of a preintegrated contact factor for legged robots has been only recently proposed. This allowed for integration of encoder and contact measurements into existing factor graphs, however, new nodes had to be added to the graph every time contact was made or broken. In this work, to cope with the problem of switching contact frames, we propose a hybrid contact preintegration theory that allows contact information to be integrated through an arbitrary number of contact switches. The proposed hybrid modeling approach reduces the number of required variables in the nonlinear optimization problem by only requiring new states to be added alongside camera or selected keyframes. This method is evaluated using real experimental data collected from a Cassie-series robot where the trajectory of the robot produced by a motion capture system is used as a proxy for ground truth. The evaluation shows that inclusion of the proposed preintegrated hybrid contact factor alongside visual-inertial navigation systems improves estimation accuracy as well as robustness to vision failure, while its generalization makes it more accessible for legged platforms.


title: Model-independent constraints on the Abelian $Z'$ couplings within the ATLAS data on the dilepton production processes at $\sqrt{s} =$ 13 TeV

abstract: The study of lepton pair production is a powerful test of the Standard Model (SM) and can be used to search for phenomena beyond the SM. New heavy neutral bosons $Z'$ decaying to charged lepton pairs $l^+l^-$ ($l=e, \mu$) are predicted by many scenarios of new physics, including models with extended gauge sector. We estimate the LHC $Z'$ discovery potential with Run 2 data comprised of 36.1 fb$^{-1}$ of $pp$ collisions at $\sqrt{s}=13$ TeV and recorded by ATLAS detector at the CERN LHC. The model-independent constraints on the $Z'$ fermion couplings were obtained for the first time for a selected set of $Z'$ signal mass points of $M_{Z'}=2$, 3, and 4 TeV by using the ATLAS data collected at the LHC. The analysis is based on the derived earlier special relations between the $Z'$ couplings proper to the renormalizable theories. Taking into account the dependence of $Z-Z'$ mixing angle $\theta_0$ on the $Z'$ axial-vector coupling $a$, the limits on $\theta_0$ are established as $\theta_0 < 10^{-4} - 10^{-3}$ in the investigated $Z'$ mass range.


title: Void Lensing as a Test of Gravity

abstract: We investigate the potential of weak lensing by voids to test for deviations from General Relativity. We calculate the expected lensing signal of a scalar field with derivative couplings, finding that it has the potential to boost the tangential shear both within and outside the void radius. We use voids traced by Luminous Red Galaxies in SDSS to demonstrate the methodology of testing these predictions. We find that the void central density parameter, as inferred from the lensing signal, can shift from its GR value by up to 20% in some galileon gravity models. Since this parameter can be estimated independently using the galaxy tracer profiles of voids, our method provides a consistency check of the gravity theory. Although galileon gravity is now disfavoured as a source of cosmic acceleration by other datasets, the methods we demonstrate here can be used to test for more general fifth force effects with upcoming void lensing data.


title: Stacked Neural Networks for end-to-end ciliary motion analysis

abstract: Cilia are hairlike structures protruding from nearly every cell in the body. Diseases known as ciliopathies, where cilia function is disrupted, can result in a wide spectrum of disorders. However, most techniques for assessing ciliary motion rely on manual identification and tracking of cilia; this process is laborious and error-prone, and does not scale well. Even where automated ciliary motion analysis tools exist, their applicability is limited. Here, we propose an end-to-end computational machine learning pipeline that automatically identifies regions of cilia from videos, extracts patches of cilia, and classifies patients as exhibiting normal or abnormal ciliary motion. In particular, we demonstrate how convolutional LSTM are able to encode complex features while remaining sensitive enough to differentiate between a variety of motion patterns. Our framework achieves 90% with only a few hundred training epochs. We find that the combination of segmentation and classification networks in a single pipeline yields performance comparable to existing computational pipelines, while providing the additional benefit of an end-to-end, fully-automated analysis toolbox for ciliary motion.


title: Tropical Tree Cover in a Heterogeneous Environment: a Reaction-diffusion Model

abstract: Observed bimodal tree cover distributions at particular environmental conditions and theoretical models indicate that some areas in the tropics can be in either of the alternative stable vegetation states forest or savanna. However, when including spatial interaction in nonspatial differential equation models of a bistable quantity, only the state with the lowest potential energy remains stable. Our recent reaction-diffusion model of Amazonian tree cover confirmed this and was able to reproduce the observed spatial distribution of forest versus savanna satisfactorily when forced by heterogeneous environmental and anthropogenic variables, even though bistability was underestimated. These conclusions were solely based on simulation results. Here, we perform an analytical and numerical analysis of the model. We derive the Maxwell point (MP) of the homogeneous reaction-diffusion equation without savanna trees as a function of rainfall and human impact and show that the front between forest and nonforest settles at this point as long as savanna tree cover near the front remains sufficiently low. For parameters resulting in higher savanna tree cover near the front, we also find irregular forest-savanna cycles and woodland-savanna bistability, which can both explain the remaining observed bimodality.


title: Automorphism groups of cyclic products of groups

abstract: This article initiates a geometric study of the automorphism groups of general graph products of groups, and investigates the algebraic and geometric structure of automorphism groups of cyclic product of groups. For a cyclic product of at least five groups, we show that the action of the cyclic product on its Davis complex extends to an action of the whole automorphism group. This action allows us to completely compute the automorphism group and to derive several of its properties: Tits Alternative, acylindrical hyperbolicity, lack of property (T).


title: NLO PDFs from the ABMP16 fit

abstract: We perform a global fit of parton distribution functions (PDFs) together with the strong coupling constant $\alpha_s$ and the quark masses $m_c$, $m_b$ and $m_t$ at next-to-leading order (NLO) in QCD. The analysis applies the $\overline{\mathrm{MS}}\, $ renormalization scheme for $\alpha_s$ and all quark masses. It is performed in the fixed-flavor number scheme for $n_f=3, 4, 5$ and uses the same data as the previous fit of the ABMP16 PDF at next-to-next-to-leading order (NNLO). The new NLO PDFs complement the set of ABMP16 PDFs and are to be used consistently with NLO QCD predictions for hard scattering processes. At NLO we obtain the value $\alpha_s^{(n_f=5)}(M_Z) = 0.1191 \pm 0.0011$ compared to $\alpha_s^{(n_f=5)}(M_Z) = 0.1147 \pm 0.0008$ at NNLO.


title: Connes distance and optimal transport

abstract: We give a brief overview on the relation between Connes spectral distance in noncommutative geometry and the Wasserstein distance of order 1 in optimal transport. We first recall how these two distances coincide on the space of probability measures on a Riemannian manifold. Then we work out a simple example on a discrete space, showing that the spectral distance between arbitrary states does not coincide with the Wasserstein distance with cost the spectral distance between pure states.


title: Exceptional poles of local spinor $L$-functions of $\mathrm{GSp}(4)$ with anisotropic Bessel models

abstract: For non-cuspidal irreducible admissible representations of $\mathrm{GSp}(4,k)$ over a local non-archimedean field $k$, we determine the exceptional poles of the spinor $L$-factor attached to anisotropic Bessel models by Piatetski-Shapiro.


title: Enslaving the Algorithm: From a "Right to an Explanation" to a "Right to Better Decisions"?

abstract: As concerns about unfairness and discrimination in "black box" machine learning systems rise, a legal "right to an explanation" has emerged as a compellingly attractive approach for challenge and redress. We outline recent debates on the limited provisions in European data protection law, and introduce and analyze newer explanation rights in French administrative law and the draft modernized Council of Europe Convention 108. While individual rights can be useful, in privacy law they have historically unreasonably burdened the average data subject. "Meaningful information" about algorithmic logics is more technically possible than commonly thought, but this exacerbates a new "transparency fallacy"---an illusion of remedy rather than anything substantively helpful. While rights-based approaches deserve a firm place in the toolbox, other forms of governance, such as impact assessments, "soft law," judicial review, and model repositories deserve more attention, alongside catalyzing agencies acting for users to control algorithmic system design.


title: An interaction index for multichoice games

abstract: Models in Multicriteria Decision Analysis (MCDA) can be analyzed by means of an importance index and an interaction index for every group of criteria. We consider first discrete models in MCDA, without further restriction, which amounts to considering multichoice games, that is, cooperative games with several levels of participation. We propose and axiomatize an interaction index for multichoice games. In a second part, we consider the continuous case, supposing that the continuous model is obtained from a discrete one by means of the Choquet integral.


title: Exponential stochastic stabilization of a two-level quantum system via strict Lyapunov control

abstract: This article provides a novel continuous-time state feedback control strategy to stabilize an eigenstate of the Hermitian measurement operator of a two-level quantum system. In open loop, such system converges stochastically to one of the eigenstates of the measurement operator. Previous work has proposed state feedback that destabilizes the undesired eigenstates and relies on a probabilistic analysis to prove convergence. In contrast, we here associate the state observer to an adaptive version of so-called Markovian feedback (essentially, proportional control) and we show that this leads to a global exponential convergence property with a strict Lyapunov function. Furthermore, besides the instantaneous measurement output, our controller only depends on the single coordinate along the measurement axis, which opens the way to replacing the full state observer by lower-complexity filters in the future.


title: On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies

abstract: In this article we show how Hans Kelsen jurisprudence and Intuitionistic logic are used to avoid the well-known contrary-to-duty (CTD) paradoxes, such as Chisholm paradoxes and its variants. This article uses an intuitionistic version of the ALC description logic, named iALC, to show how an ontology based on individually valid legal statements is able to avoid CTDs by providing models to them.


title: C3PO: Database and Benchmark for Early-stage Malicious Activity Detection in 3D Printing

abstract: Increasing malicious users have sought practices to leverage 3D printing technology to produce unlawful tools in criminal activities. Current regulations are inadequate to deal with the rapid growth of 3D printers. It is of vital importance to enable 3D printers to identify the objects to be printed, so that the manufacturing procedure of an illegal weapon can be terminated at the early stage. Deep learning yields significant rises in performance in the object recognition tasks. However, the lack of large-scale databases in 3D printing domain stalls the advancement of automatic illegal weapon recognition. This paper presents a new 3D printing image database, namely C3PO, which compromises two subsets for the different system working scenarios. We extract images from the numerical control programming code files of 22 3D models, and then categorize the images into 10 distinct labels. The first set consists of 62,200 images which represent the object projections on the three planes in a Cartesian coordinate system. And the second sets consists of sequences of total 671,677 images to simulate the cameras' captures of the printed objects. Importantly, we demonstrate that the weapons can be recognized in either scenario using deep learning based approaches using our proposed database. % We also use the trained deep models to build a prototype of object-aware 3D printer. The quantitative results are promising, and the future exploration of the database and the crime prevention in 3D printing are demanding tasks.


title: A compactness result for BV functions in metric spaces

abstract: We prove a compactness result for bounded sequences $(u_j)_j$ of functions with bounded variation in metric spaces $(X,d_j)$ where the space $X$ is fixed but the metric may vary with $j$. We also provide an application to Carnot-Carath\'eodory spaces.


title: On generalized Hartshorne's conjecture and local cohomology modules

abstract: Let $\mathfrak{a}$ denote an ideal of a commutative Noetherian ring $R$. Let $M$ and $N$ be two $R$-modules. In this paper, we give partial answers on the extension of Hartshorne's conjecture about the cofiniteness of torsion and extension functors. For this purpose, we study the cofiniteness of the generalized local cohomology module $H^{i}_{\mathfrak{a}}(M, N)$ for a new class of modules, called $\mathfrak{a}$-weakly finite modules, in the local and non-local case. Furthermore, we derive some results on attached primes of top generalized local cohomology modules.


title: High magnetic fields for fundamental physics

abstract: Various fundamental-physics experiments such as measurement of the birefringence of the vacuum, searches for ultralight dark matter (e.g., axions), and precision spectroscopy of complex systems (including exotic atoms containing antimatter constituents) are enabled by high-field magnets. We give an overview of current and future experiments and discuss the state-of-the-art DC- and pulsed-magnet technologies and prospects for future developments.


title: Exploring dimension learning via a penalized probabilistic principal component analysis

abstract: Establishing a low-dimensional representation of the data leads to efficient data learning strategies. In many cases, the reduced dimension needs to be explicitly stated and estimated from the data. We explore the estimation of dimension in finite samples as a constrained optimization problem, where the estimated dimension is a maximizer of a penalized profile likelihood criterion within the framework of a probabilistic principal components analysis. Unlike other penalized maximization problems that require an "optimal" penalty tuning parameter, we propose a data-averaging procedure whereby the estimated dimension emerges as the most favourable choice over a range of plausible penalty parameters. The proposed heuristic is compared to a large number of alternative criteria in simulations and an application to gene expression data. Extensive simulation studies reveal that none of the methods uniformly dominate the other and highlight the importance of subject-specific knowledge in choosing statistical methods for dimension learning. Our application results also suggest that gene expression data have a higher intrinsic dimension than previously thought. Overall, our proposed heuristic strikes a good balance and is the method of choice when model assumptions deviated moderately.


title: Learning Category-Specific Mesh Reconstruction from Image Collections

abstract: We present a learning framework for recovering the 3D shape, camera, and texture of an object from a single image. The shape is represented as a deformable 3D mesh model of an object category where a shape is parameterized by a learned mean shape and per-instance predicted deformation. Our approach allows leveraging an annotated image collection for training, where the deformable model and the 3D prediction mechanism are learned without relying on ground-truth 3D or multi-view supervision. Our representation enables us to go beyond existing 3D prediction approaches by incorporating texture inference as prediction of an image in a canonical appearance space. Additionally, we show that semantic keypoints can be easily associated with the predicted shapes. We present qualitative and quantitative results of our approach on CUB and PASCAL3D datasets and show that we can learn to predict diverse shapes and textures across objects using only annotated image collections. The project website can be found at https://akanazawa.github.io/cmr/.


title: Riesz bases for $L^2(\partial \Omega)$ and regularity for the Laplace equation in Lipschitz domains

abstract: In a paper from 1996, D. Jerison and C. Kenig among other results provided a $H^{1/2}$ regularity result for the Dirichlet problem for the Laplace equation in Lipschitz domains. In this article, we adopt a Hilbertian approach to construct two Riesz bases for $L^2(\partial \Omega),$ which will allow to find in a different way some of the results of D. Jerison and C. Kenig, and G. Savar\'{e} (1998) about the regularity issue of the Laplace equation.


title: Meta Reinforcement Learning with Latent Variable Gaussian Processes

abstract: Learning from small data sets is critical in many practical applications where data collection is time consuming or expensive, e.g., robotics, animal experiments or drug design. Meta learning is one way to increase the data efficiency of learning algorithms by generalizing learned concepts from a set of training tasks to unseen, but related, tasks. Often, this relationship between tasks is hard coded or relies in some other way on human expertise. In this paper, we frame meta learning as a hierarchical latent variable model and infer the relationship between tasks automatically from data. We apply our framework in a model-based reinforcement learning setting and show that our meta-learning model effectively generalizes to novel tasks by identifying how new tasks relate to prior ones from minimal data. This results in up to a 60% reduction in the average interaction time needed to solve tasks compared to strong baselines.


title: Phonon coupling between a nanomechanical resonator and a quantum fluid

abstract: Owing to their extraordinary sensitivity to external forces, nanomechanical systems have become important tools for studying a variety of mesoscopic physical systems and realizing hybrid quantum systems. While nanomechanics has been widely applied in solid-state systems, its use in liquid is scantily studied. There it finds unique applications such as biosensing, rheological sensing, and studying fluid dynamics in unexplored regimes. Its use in quantum fluids offers new opportunities in studying fluids at low excitation levels all the way down to the quantum limit and in nano-metric scales reaching the fluid coherence length. Transduction and control of the low-loss excitations also facilitate long-life quantum information storage. In this work we demonstrate efficient coupling of a nanomechanical resonator to phonons in a bosonic quantum fluid -- superfluid $^4$He. By operating an ultra-high frequency nano-optomechanical microdisk resonator immersed in superfluid $^4$He, we show that the resonator dynamics is predominately determined by phonon-coupling to the superfluid. A high phonon exchange efficiency $>92\%$ and minimum excitation rate of 0.25 phonons per oscillations period are achieved. We further show that the nanomechanical resonator can strongly couple to superfluid cavity phonons with cooperativity up to 880. Our study opens up new opportunities in control and manipulation of superfluids in nano-scale and low-excitation level.


title: An intersection number formula for CM cycles in Lubin-Tate towers

abstract: We give an explicit formula for the arithmetic intersection number of CM cycles on Lubin-Tate spaces for all levels. We prove our formula by formulating the intersection number on the infinite level. Our CM cycles are constructed by choosing two separable quadratic extensions $K_1,K_2/F$ of non-Archimedean local fields $F$. Our formula works for all cases, $K_1$ and $K_2$ can be either the same or different, ramify or unramified. As applications, this formula translate the linear Arithmetic Fundamental Lemma (linear AFL) into a comparison of integrals. This formula can also be used to recover Gross and Keating's result on lifting endomorphism of formal modules.


title: Leave-one-out Approach for Matrix Completion: Primal and Dual Analysis

abstract: In this paper, we introduce a powerful technique based on Leave-one-out analysis to the study of low-rank matrix completion problems. Using this technique, we develop a general approach for obtaining fine-grained, entrywise bounds for iterative stochastic procedures in the presence of probabilistic dependency. We demonstrate the power of this approach in analyzing two of the most important algorithms for matrix completion: (i) the non-convex approach based on Projected Gradient Descent (PGD) for a rank-constrained formulation, also known as the Singular Value Projection algorithm, and (ii) the convex relaxation approach based on nuclear norm minimization (NNM). Using this approach, we establish the first convergence guarantee for the original form of PGD without regularization or sample splitting}, and in particular shows that it converges linearly in the infinity norm. For NNM, we use this approach to study a fictitious iterative procedure that arises in the dual analysis. Our results show that \NNM recovers an $ d $-by-$ d $ rank-$ r $ matrix with $\mathcal{O}(\mu r \log(\mu r) d \log d )$ observed entries. This bound has optimal dependence on the matrix dimension and is independent of the condition number. To the best of our knowledge, this is the first sample complexity result for a tractable matrix completion algorithm that satisfies these two properties simultaneously.

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


title: Can Early Dark Energy Explain EDGES?

abstract: The Experiment to Detect the Global Epoch of Reionization Signature (EDGES) collaboration has reported the detection of an absorption feature in the sky-averaged spectrum at $\approx 78$ MHz. This signal has been interpreted as the absorption of cosmic microwave background (CMB) photons at redshifts $15 \lesssim z \lesssim 20$ by the 21cm hyperfine transition of neutral hydrogen, whose temperature is expected to be coupled to the gas temperature by the Wouthuysen-Field effect during this epoch. Because the gas is colder than the CMB, the 21cm signal is seen in absorption. However, the absorption depth reported by EDGES is more than twice the maximal value expected in the standard cosmological model, at $\approx 3.8\sigma$ significance. Here, we propose an explanation for this depth based on "early dark energy" (EDE), a scenario in which an additional component with equation of state $w=-1$ contributes to the cosmological energy density at early times, before decaying rapidly at a critical redshift, $z_c$. For $20 \lesssim z_c \lesssim 1000$, the accelerated expansion due to the EDE can produce an earlier decoupling of the gas temperature from the radiation temperature than that in the standard model, giving the gas additional time to cool adiabatically before the first luminous sources form. We show that the EDE scenario can successfully explain the large amplitude of the EDGES signal. However, such models are strongly ruled out by observations of the CMB temperature power spectrum. Moreover, the EDE models needed to explain the EDGES signal exacerbate the current tension in low- and high-redshift measurements of the Hubble constant. We conclude that non-finely-tuned modifications of the background cosmology are unlikely to explain the EDGES signal while remaining consistent with other cosmological observations.


title: Resolving the hydrostatic mass profiles of galaxy clusters at z~1 with XMM-Newton and Chandra

abstract: We present a detailed study of the integrated total hydrostatic mass profiles of the five most massive ($M^{\mathrm{SZ}}_{500} > 5 \times 10^{14}$ M$_{\odot}$) galaxy clusters selected at $z\sim1$ via the Sunyaev-Zel'dovich effect. These objects represent an ideal laboratory to test structure formation models where the primary driver is gravity. Optimally exploiting spatially-resolved spectroscopic information from XMM-Newton and Chandra observations, we used both parametric (forward, backward) and non-parametric methods to recover the mass profiles, finding that the results are extremely robust when density and temperature measurements are both available. Our X-ray masses at $R_{500}$ are higher than the weak lensing masses obtained from the Hubble Space Telescope (HST), with a mean ratio of $1.39^{+0.47}_{-0.35}$. This offset goes in the opposite direction to that expected in a scenario where the hydrostatic method yields a biased, underestimated, mass. We investigated halo shape parameters such as sparsity and concentration, and compared to local X-ray selected clusters, finding hints for evolution in the central regions (or for selection effects). The total baryonic content is in agreement with the cosmic value at $R_{500}$. Comparison with numerical simulations shows that the mass distribution and concentration are in line with expectations. These results illustrate the power of X-ray observations to probe the statistical properties of the gas and total mass profiles in this high-mass, high-redshift regime.


title: The cone of supermodular games on finite distributive lattices

abstract: In this article we study supermodular functions on finite distributive lattices. Relaxing the assumption that the domain is a powerset of a finite set, we focus on geometrical properties of the polyhedral cone of such functions. Specifically, we generalize the criterion for extremality and study the face lattice of the supermodular cone. An explicit description of facets by the corresponding tight linear inequalities is provided.


title: Mixed Spectral Element Method for the Waveguide Problem with Bloch Periodic Boundary

abstract: The mixed spectral element method (MSEM) is applied to solve the waveguide problem with Bloch periodic boundary condition (BPBC). Based on the BPBC for the original Helmholtz equation and the periodic boundary condition (PBC) for the equivalent but modified Helmholtz equation, two equivalent mixed variational formulations are applied for the MSEM. Unlike the traditional finite element method and SEM, both these mixed SEM schemes are completely free of spurious modes because of their use of the Gauss' law and the curl-conforming vector basis functions structured by the Gauss-Legendre-Lobatto (GLL) points. A simple implementation method is used to deal with the BPBC and the PBC for the mixed variational formulations so that both schemes can save computational costs over the traditional methods. Several numerical results are also provided to verify that both schemes are free of spurious modes and have high accuracy with the propagation constants.


title: KELT-22Ab: A Massive Hot Jupiter Transiting a Near Solar Twin

abstract: We present the discovery of KELT-22Ab, a hot Jupiter from the KELT-South survey. KELT-22Ab transits the moderately bright ($V\sim 11.1$) Sun-like G2V star TYC 7518-468-1. The planet has an orbital period of $P = 1.3866529 \pm 0.0000027 $ days, a radius of $R_{P} = 1.285_{-0.071}^{+0.12}~R_{J}$, and a relatively large mass of $M_{P} = 3.47_{-0.14}^{+0.15}~ M_{J}$. The star has $R_{\star} = 1.099_{-0.046}^{+0.079}~ R_{\odot}$, $M_{\star} = 1.092_{-0.041}^{+0.045}~ M_{\odot}$, ${T_{\rm eff}\,} = 5767_{-49}^{+50}~$ K, ${\log{g_\star}} = 4.393_{-0.060}^{+0.039}~$ (cgs), and [m/H] = $+0.259_{-0.083}^{+0.085}~$, and thus, other than its slightly super-solar metallicity, appears to be a near solar twin. Surprisingly, KELT-22A exhibits kinematics and a Galactic orbit that are somewhat atypical for thin disk stars. Nevertheless, the star is rotating quite rapidly for its estimated age, shows evidence of chromospheric activity, and is somewhat metal rich. Imaging reveals a slightly fainter companion to KELT-22A that is likely bound, with a projected separation of 6\arcsec ($\sim$1400 AU). In addition to the orbital motion caused by the transiting planet, we detect a possible linear trend in the radial velocity of KELT-22A suggesting the presence of another relatively nearby body that is perhaps non-stellar. KELT-22Ab is highly irradiated (as a consequence of the small semi-major axis of $a/R_{\star} = 4.97$), and is mildly inflated. At such small separations, tidal forces become significant. The configuration of this system is optimal for measuring the rate of tidal dissipation within the host star. Our models predict that, due to tidal forces, the semi-major axis of KELT-22Ab is decreasing rapidly, and is thus predicted to spiral into the star within the next Gyr.


title: Modelling turbulence via numerical functional integration using Burgers' equation

abstract: We investigate the feasibility of modelling turbulence via numeric functional integration. By transforming the Burgers' equation into a functional integral we are able to calculate equal-time spatial correlation of system variables using standard methods of multidimensional integration. In contrast to direct numerical simulation, our method allows for simple parallelization of the problem as the value of the integral within any region can be calculated separately from others. Thus the calculations required for obtaining one correlation data set can be distributed to several supercomputers and/or the cloud simultaneously. We present the mathematical background of our method and its numerical implementation. We are interested in a steady state system with isotropic and homogeneous turbulence, for which we use a lattice version of the functional integral used in the perturbative analysis of stochastic transport equations. The numeric implementation is composed of a fast serial program for evaluating the integral over a given volume and a parallel Python wrapper that divides the problem into subvolumes and distributes the work among available processes. The code is available at https://github.com/iljah/hdintegrator for anyone to download, use, study, modify and redistribute. We present velocity cross correlation for a 10x2 lattice in space and time respectively, and analyse the computational resources required for the integration. We also discuss potential improvements to the presented method.


title: Neutrino masses and beyond-$\Lambda$CDM cosmology with LSST and future CMB experiments

abstract: Cosmological measurements over the next decade will enable us to shed light on the content and evolution of the Universe. Complementary measurements of the Cosmic Microwave Background (CMB) and Baryon Acoustic Oscillations are expected to allow an indirect determination of the sum of neutrino masses, within the framework of the flat $\Lambda$CDM model. However, possible deviations from $\Lambda$CDM such as a non-zero cosmological curvature or a dark energy equation of state with $w\neq -1$ would leave similar imprints on the expansion rate of the Universe and clustering of matter. We show how future CMB measurements can be combined with late-time measurements of galaxy clustering and cosmic shear from the Large Synoptic Survey Telescope to alleviate this degeneracy. Together, they are projected to reduce the uncertainty on the neutrino mass sum to 30 meV within this more general cosmological model. Achieving a 3$\sigma$ measurement of the minimal 60 meV mass (or 4$\sigma$ assuming $w=-1$) will require a five-fold improved measurement of the optical depth to reionization, obtainable through a large-scale CMB polarization measurement.


title: Tycho-B: an unlikely companion for SN 1572

abstract: If some or all Type Ia SNe arise from accretion onto a massive WD from a companion, then the companion will remain in some form after the SN explosion. Tycho-B is an unusual, relatively hot star along the line of sight to Tycho's SNR -- conclusively shown to be a Type Ia -- and has been suggested as such a companion. If the interior of Tycho's SNR contains unshocked Fe, and if Tycho-B is either within the SNR shell or in the background, then one might hope to see evidence of this in the UV spectrum. Such is the case for SN\,1006, where spectra of the background Schweizer-Middleditch star, as well as two AGNs, show broad absorption lines of Fe II. To test this idea, we have used STIS on HST to obtain a UV spectrum of Tycho-B. The observed spectrum, however, shows no evidence of Fe II absorption. Furthermore, a luminosity distance estimate using UV and optical spectra of Tycho-B suggests that the star is consistent with a foreground interloper. We conclude either that Tycho B is nearer than Tycho's SNR, or that all of the Fe in the interior of Tycho's SNR is more highly ionized.


title: Massive, Absorption-selected Galaxies at Intermediate Redshifts

abstract: The nature of absorption-selected galaxies and their connection to the general galaxy population have been open issues for more than three decades, with little information available on their gas properties. Here we show, using detections of carbon monoxide (CO) emission with the Atacama Large Millimeter/submillimeter Array (ALMA), that five of seven high-metallicity, absorption-selected galaxies at intermediate redshifts, $z \approx 0.5-0.8$, have large molecular gas masses, $M_{\rm Mol} \approx (0.6 - 8.2) \times 10^{10} \: {\rm M}_\odot$ and high molecular gas fractions ($f_{\rm Mol} \equiv \: M_{\rm Mol}/(M_\ast + M_{\rm Mol}) \approx 0.29-0.87)$. Their modest star formation rates (SFRs), $\approx (0.3-9.5) \: {\rm M}_\odot$ yr$^{-1}$, then imply long gas depletion timescales, $\approx (3 - 120)$ Gyr. The high-metallicity absorption-selected galaxies at $z \approx 0.5-0.8$ appear distinct from populations of star-forming galaxies at both $z \approx 1.3-2.5$, during the peak of star formation activity in the Universe, and lower redshifts, $z \lesssim 0.05$. Their relatively low SFRs, despite the large molecular gas reservoirs, may indicate a transition in the nature of star formation at intermediate redshifts, $z \approx 0.7$.


title: Further insight on the hypervelocity white dwarf, LP 40-365 (GD 492): a nearby emissary from a single-degenerate Type Ia supernova

abstract: The recently discovered hypervelocity white dwarf LP 40-65 (aka GD 492) has been suggested as the outcome of the failed disruption of a white dwarf in a sub-luminous Type Ia supernova (SN Ia). We present new observations confirming GD 492 as a single star with unique spectral features. Our spectroscopic analysis suggests that a helium-dominated atmosphere, with ~ 33 percent neon and 2 percent oxygen by mass, can reproduce most of the observed properties of this highly unusual star. Although our atmospheric model contrasts with the previous analysis in terms of dominant atmospheric species, we confirm that the atmosphere of GD 492 is strongly hydrogen deficient, log(H/He) < -5, and displays traces of eleven other alpha- and iron-group elements (with sulfur, chromium, manganese, and titanium as new detections), indicating nuclear processing of carbon and silicon. We measure a manganese-to-iron ratio seven times larger than Solar. While the observed abundances of GD 492 do not fully match any predicted nuclear yields of a partially-burned supernova remnant, the manganese excess strongly favors a link with a single-degenerate SN Ia event over alternative scenarios.


title: Simulating one-dimensional systems with stationary Rydberg dark polaritons

abstract: Electromagnetically-induced transparency (EIT) with Rydberg atoms enables strong interactions between atoms to be controlled and measured by pulses of light. Consequently, Rydberg dark polaritons are a promising platform for quantum simulations. Of particular interest are simulations of one-dimensional systems, known to exhibit unique properties compared to their higher-dimensional counterparts. One limitation of standard EIT is that reducing the polariton group velocity to bring the dark polaritons to rest also implies activating strong Rydberg interactions. To achieve independent control of polariton speed and interaction strength, we propose a stationary light-scheme to bring Rydberg polaritons to a stand-still. This allows them to remain primarily photonic and, therefore, non-interacting, before Rydberg interactions are turned on. Once activated, in the dilute regime and in the presence of strong transverse confinement, the strong polarizabilities of Rydberg atoms give rise to an effective contact interaction between polaritons. By tuning the various parameters of the stationary-light scheme, the effective one-dimensional scattering length may be adjusted to yield various kinds of physics, including the regime of a Tonks-Girardeau gas, when polaritons exhibit fermionic behavior. We outline a protocol to observe the resulting spatial correlations between neighboring polaritons.


title: The Picard-Fuchs equation in classical and quantum physics: Application to higher-order WKB method

abstract: The Picard-Fuchs equation is a powerful mathematical tool which has numerous applications in physics, for it allows to evaluate integrals without resorting to direct integration techniques. We use this equation to calculate both the classical action and the higher-order WKB corrections to it, for the sextic double-well potential and the Lam\'e potential. Our development rests on the fact that the Picard-Fuchs method links an integral to solutions of a differential equation with the energy as a parameter. Employing the same argument we show that each higher-order correction in the WKB series for the quantum action is a combination of the classical action and its derivatives. From this, we obtain a computationally simple method of calculating higher-order quantum-mechanical corrections to the classical action, and demonstrate this by calculating the second-order correction for the sextic and the Lam\'e potential. This paper also serves as a self-consistent guide to the use of the Picard-Fuchs equation.


title: Umbral Moonshine and String Duality

abstract: By studying 2d string compactifications with half-maximal supersymmetry in a variety of duality frames, we find a natural physical setting for understanding Umbral moonshine. Near points in moduli space with enhanced gauge symmetry, we find that the Umbral symmetry groups arise as symmetries of the theory. In one duality frame -- a flux compactification on $T^4/Z_2\times T^4$ -- the 24-dimensional permutation representations of the Umbral groups act on D1-branes strung between a set of NS5-branes. The presence of these NS5-branes is used to explain the Umbral moonshine decompositions of the K3 twining genera, and in particular of the K3 elliptic genus. The fundamental string in this frame is dual to the type IIA string on K3$\times T^4$ and to a compactified heterotic little string theory. The latter provides an interesting example of a little string theory, as the string-scale geometry transverse to the 5-brane plays an important role in its construction.


title: A note on the entropy of rotating BPS AdS$_7\times S^4$ black holes

abstract: In this note we show that the entropy of BPS, rotating, electrically charged AdS$_7 \times S^4$ black holes can be obtained by an extremization principle involving a particular combination of anomaly coefficients of the six-dimensional $\mathcal{N} = (2, 0)$ theory. This result extends our previous finding for BPS, rotating AdS$_5 \times S^5$ black holes.