title: On the Generalized-Faber Jackson relation for NGC 1052 DF2 galaxy

abstract: The conjectures of Hawking-Bekenstein of that gravity and temperature are closely related, was the beginning of the formulation of thermodynamic models of gravity. Using one of these models, we show that the thermal bath temperature of NGC1052-DF2 dwarf galaxy is about 6.5 K higher than the temperature of the thermal bath of the local dwarf galaxies. We claim that this temperature difference is responsible by the behavior of the NGC1052-DF2 galaxy to be apparently a galaxy with lack dark matter. This difference arises due to that the host galaxy of NGC1052-DF2, the elliptic galaxy NGC1052 is a LINER-type active galactic nucleus, with signals the intense starburst activity in the galaxy's center. Debye Gravitational Theory (DGT), allows obtaining a Generalized Faber-Jackson relation to described the dwarf galaxies and obtaining the velocity dispersion as a function of thermal bath temperature. DGT predict a velocity dispersion to NGC1052-DF2 dwarf galaxy in agreement with the very-low values reported in the literature. Also, DGT predicts that several, or maybe all dwarf galaxies from NGC1052 must have the same behavior than NGC1052-DF2 because they are immersed in thermal baths almost with the same temperature, this behavior already was observed in a second galaxy, the NGC1052-DF4 dwarf galaxy. Also, DGT predicts the same behavior, in all satellite galaxies orbiting galaxies with active nuclei.


title: On the universal p-adic sigma and Weierstrass zeta functions

abstract: For primes $p>3$ we produce a new derivation of the universal $p$-adic sigma function and $p$-adic Weierstrass zeta functions of Mazur and Tate for ordinary elliptic curves by a method that highlights congruences among coefficients in Laurent expansions of elliptic functions, and works simultaneously for generalized elliptic curves defined by Weierstrass equations.


title: Linear subspaces of hypersurfaces

abstract: Let $X$ be an arbitrary smooth hypersurface in $\mathbb{C} \mathbb{P}^n$ of degree $d$. We prove the de Jong-Debarre Conjecture for $n \geq 2d-4$: the space of lines in $X$ has dimension $2n-d-3$. We also prove an analogous result for $k$-planes: if $n \geq 2 \binom{d+k-1}{k} + k$, then the space of $k$-planes on $X$ will be irreducible of the expected dimension. As applications, we prove that an arbitrary smooth hypersurface satisfying $n \geq 2^{d!}$ is unirational, and we prove that the space of degree $e$ curves on $X$ will be irreducible of the expected dimension provided that $d \leq \frac{e+n}{e+1}$.


title: LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models

abstract: We develop a new Low-level, First-order Probabilistic Programming Language (LF-PPL) suited for models containing a mix of continuous, discrete, and/or piecewise-continuous variables. The key success of this language and its compilation scheme is in its ability to automatically distinguish parameters the density function is discontinuous with respect to, while further providing runtime checks for boundary crossings. This enables the introduction of new inference engines that are able to exploit gradient information, while remaining efficient for models which are not everywhere differentiable. We demonstrate this ability by incorporating a discontinuous Hamiltonian Monte Carlo (DHMC) inference engine that is able to deliver automated and efficient inference for non-differentiable models. Our system is backed up by a mathematical formalism that ensures that any model expressed in this language has a density with measure zero discontinuities to maintain the validity of the inference engine.


title: Reparametrization Invariance and Some of the Key Properties of Physical Systems

abstract: In this paper, we argue in favor of first-order homogeneous Lagrangians in the velocities. The relevant form of such Lagrangians is discussed and justified physically and geometrically. Such Lagrangian systems possess Reparametrization Invariance (RI) and explain the observed common Arrow of Time as related to the non-negative mass for physical particles. The extended Hamiltonian formulation, which is generally covariant and applicable to reparametrization-invariant systems, is emphasized. The connection between the explicit form of the extended Hamiltonian $\boldsymbol{H}$ and the meaning of the process parameter $\lambda$ is illustrated. The corresponding extended Hamiltonian $\boldsymbol{H}$ defines the classical phase space-time of the system via the Hamiltonian constraint $\boldsymbol{H}=0$ and guarantees that the Classical Hamiltonian $H$ corresponds to $p_{0}$ -- the energy of the particle when the coordinate time parametrization is chosen. The Schr\"odinger's equation and the principle of superposition of quantum states emerge naturally. A connection is demonstrated between the positivity of the energy $E=cp_{0}>0$ and the normalizability of the wave function by using the extended Hamiltonian that is relevant for the proper-time parametrization

categories: math-ph math.MP physics.class-ph quant-ph


title: Enhancement of antiferromagnetic magnon-magnon entanglement by cavity cooling

abstract: Magnon-photon coupling has been experimentally realized inside a cavity and the emerging field known as cavity spintronics has attracted significant attention for its potential docking with quantum information science. However, one seldom knows whether this coupling implies an entanglement state among magnons and photons or not, which is crucial for its usage in quantum information. Here we study the entanglement properties among magnons and photons in an antiferromagnet-light system and find that the entanglement between magnon and photon is nearly zero while the magnon-magnon entanglement is very strong and it can be even further enhanced through the coupling with the cavity photons. The maximum enhancement occurs when the antiferromagnet reaches resonant with the light. The essential physics can be well understood within the picture of cavity induced cooling of magnon-magnon state near its joint vacuum with stronger entanglement. Our results are significant to extend the cavity spintronics to quantum manipulation and further provide an alternate to manipulate the deep strong correlations of continuous variable entanglement with a generic stable condition and easy tunability.


title: OV] $\lambda\lambda$1213.8,1218.3 emission from extended nebulae around quasars: contamination of Ly$\alpha$ and a new diagnostic for AGN activity in Ly$\alpha$-emitters

abstract: We investigate the potential for the emission lines OV] $\lambda\lambda$1213.8,1218.3 and HeII $\lambda$1215.1 to contaminate flux measurements of Ly$\alpha$ $\lambda$1215.7 in the extended nebulae of quasars. We have computed a grid of photoionization models with a substantial range in the slope of the ionizing powerlaw (-1.5 $<$ $\alpha$ $<$ -0.5), gas metallicity (0.01 $<$ $Z/Z_{\odot}$ $<$ 3.0), gas density (1 $<$ $n_H$ $<$ 10$^4$ cm$^{-3}$), and ionization parameter (10$^{-5}$ $<$ U $<$ 1.0). We find the contribution from HeII $\lambda$1215.1 to be negligible, i.e., $<$ 0.1 of Ly$\alpha$ flux, across our entire model grid. The contribution from OV] $\lambda\lambda$1213.8,1218.3 is generally negligible when U is low (<10$^{-3}$) and/or when the gas metallicity is low ($Z/Z_{\odot}$ < 0.1). However, at higher values of U and Z we find that OV] can significantly contaminate Ly$\alpha$, in some circumstances accounting for more than half the total flux of the Ly$\alpha$+HeII+OV] blend. We also provide means to estimate the fluxes of OV] $\lambda\lambda$1213.8,1218.3 and HeII $\lambda$1215.1 by extrapolating from other lines. We estimate the fluxes of OV] and HeII for a sample of 107 Type 2 active galaxies at z$>$2, and find evidence for significant (>10\%) contamination of Ly$\alpha$ fluxes in the majority of cases (84\%). We also discuss prospects for using OV] $\lambda\lambda$1213.8,1218.3 as a diagnostic for the presence of AGN activity in high-z Ly$\alpha$ emitters, and caution that the presence of significant OV] emission could impact the apparent kinematics of Ly$\alpha$, potentially mimicking the presence of high-velocity gas outflows.


title: Primary beam effects of radio astronomy antennas: I. Modelling the Karl G. Jansky Very Large Array (VLA) L-band beam using holography

abstract: Modern interferometric imaging relies on advanced calibration that incorporates direction-dependent effects. Their increasing number of antennas (e.g. in LOFAR, VLA, MeerKAT/SKA) and sensitivity are often tempered with the accuracy of their calibration. Beam accuracy drives particularly the capability for high dynamic range imaging (HDR - contrast > 1:$10^6$). The Radio Interferometric Measurement Equation (RIME) proposes a refined calibration framework for wide field of views (i.e. beyond the primary lobe and first null) using beam models. We have used holography data taken on 12 antennas of the Very Large Array (VLA) with two different approaches: a `data-driven' representation derived from Principal Component Analysis (PCA) and a projection on the Zernike polynomials. We determined sparse representations of the beam to encode its spatial and spectral variations. For each approach, we compressed the spatial and spectral distribution of coefficients using low-rank approximations. The spectral behaviour was encoded with a Discrete Cosine Transform (DCT). We compared our modelling to that of the Cassbeam software which provides a parametric model of the antenna and its radiated field. We present comparisons of the beam reconstruction fidelity vs. `compressibility'. We found that the PCA method provides the most accurate model. In the case of VLA antennas, we discuss the frequency ripple over L-band which is associated with a standing wave between antenna reflectors. The results are a series of coefficients that can easily be used `on-the-fly' in calibration pipelines to generate accurate beams at low computing costs.


title: Ultra-High Normalized Bandwidth TE and TM Polarization Insensitive Terahertz Absorber with Graphene Disks Configuration

abstract: In this paper, we have proposed ultra-broadband terahertz absorber with three layers of periodic graphene disks arrays (PGDAs). A gold layer was utilized as backside reflector and TOPAS as dielectric spacers. Circuit model of PGDAs and the developed Transmission Line Model (TLM) for the absorber is utilized to design the structure using impedance matching concept. The validity of the results of the device was confirmed by Finite Element Method (FEM). The structure absorbs both TE and TM polarizations. Furthermore, the obtained normalized absorption bandwidth is 148% with a bandwidth of 2.64 THz in 1.78 THz central frequency which is to best of our knowledge the best report in two-dimensional graphene-based structures.


title: Rocky super-Earths or waterworlds: the interplay of planet migration, pebble accretion and disc evolution

abstract: Recent observations have found a valley in the size distribution of close-in super-Earths that is interpreted as a signpost that close-in super-Earths are mostly rocky in composition. However, new models predict that planetesimals should first form at the water ice line such that close-in planets are expected to have a significant water ice component. Here we investigate the water contents of super-Earths by studying the interplay between pebble accretion, planet migration and disc evolution. Planets' compositions are determined by their position relative to different condensation fronts (ice lines) throughout their growth. Migration plays a key role. Assuming that planetesimals start at or exterior to the water ice line ($r>r_{\rm H_2O}$), inward migration causes planets to leave the source region of icy pebbles and therefore to have lower final water contents than in discs with either outward migration or no migration. The water ice line itself moves inward as the disc evolves, and delivers water as it sweeps across planets that formed dry. The relative speed and direction of planet migration and inward drift of the water ice line is thus central in determining planets' water contents. If planet formation starts at the water ice line, this implies that hot close-in super-Earths (r<0.3 AU) with water contents of a few percent are a signpost of inward planet migration during the early gas phase. Hot super-Earths with larger water ice contents on the other hand, experienced outward migration at the water ice line and only migrated inwards after their formation was complete either because they become too massive to be contained in the region of outward migration or in chains of resonant planets. Measuring the water ice content of hot super-Earths may thus constrain their migration history.


title: GQ-STN: Optimizing One-Shot Grasp Detection based on Robustness Classifier

abstract: Grasping is a fundamental robotic task needed for the deployment of household robots or furthering warehouse automation. However, few approaches are able to perform grasp detection in real time (frame rate). To this effect, we present Grasp Quality Spatial Transformer Network (GQ-STN), a one-shot grasp detection network. Being based on the Spatial Transformer Network (STN), it produces not only a grasp configuration, but also directly outputs a depth image centered at this configuration. By connecting our architecture to an externally-trained grasp robustness evaluation network, we can train efficiently to satisfy a robustness metric via the backpropagation of the gradient emanating from the evaluation network. This removes the difficulty of training detection networks on sparsely annotated databases, a common issue in grasping. We further propose to use this robustness classifier to compare approaches, being more reliable than the traditional rectangle metric. Our GQ-STN is able to detect robust grasps on the depth images of the Dex-Net 2.0 dataset with 92.4 % accuracy in a single pass of the network. We finally demonstrate in a physical benchmark that our method can propose robust grasps more often than previous sampling-based methods, while being more than 60 times faster.


title: Anomalous Magnetic Behavior in Ba2CoO4 with Isolated CoO4 Tetrahedra

abstract: The dimensionality of the electronic and magnetic structure of a given material is generally predetermined by its crystal structure. Here, using elastic and inelastic neutron scattering combined with magnetization measurements, we find unusual magnetic behavior in three-dimensional (3D) Ba2CoO4. In spite of isolated CoO4 tetrahedra, the system exhibits a 3D noncollinear antiferromagnetic order in the ground state with an anomalously large Curie-Weiss temperature of 110 K compared to TN = 26 K. More unexpectedly, spin dynamics displays quasi-2D spin wave dispersion with an unusually large spin gap, and 1D magnetoelastic coupling. Our results indicate that Ba2CoO4 is a unique system for exploring the interplay between isolated polyhedra, low-dimensional magnetism, and novel spin states in oxides.


title: A colourful path to matrix-tree theorems

abstract: In this short note, we revisit Zeilberger's proof of the classical matrix-tree theorem and give a unified concise proof of variants of this theorem, some known and some new.


title: A fast, low-leakage, high-fidelity two-qubit gate for a programmable superconducting quantum computer

abstract: A common approach to realize conditional-phase (CZ) gates in transmon qubits relies on flux control of the qubit frequency to make computational states interact with non-computational ones using a fast-adiabatic trajectory to minimize leakage. We develop a bipolar flux-pulsing method with two key advantages over the traditional unipolar variant. First, the action of the bipolar pulse is robust to long-timescale linear-dynamical distortions in the flux-control line, facilitating tuneup and ensuring atomic repeatability. Second, the flux symmetry of the transmon Hamiltonian makes the conditional phase and the single-qubit phase of the pulsed qubit first-order insensitive to low-frequency flux noise, increasing fidelity. By harnessing destructive interference to minimize leakage, the bipolar pulse can approach the speed limit set by the exchange coupling. We demonstrate a repeatable, high-fidelity ($99.1\%$), low-leakage ($0.1\%$), and fast ($40~\mathrm{ns}$) CZ gate in a circuit QED quantum processor. Detailed numerical simulations with excellent match to experiment show that leakage is dominated by remaining short-timescale distortions and fidelity is limited by high-frequency flux noise.


title: Scalar phenomenology in type-II seesaw model

abstract: In this work we study the viable parameter space of the scalar sector in the type-II seesaw model. In identifying the allowed parameter space, we employ constraints from low energy precision measurements, theoretical considerations and the 125-GeV Higgs data. These tools prove effective in constraining the model parameter space. Moreover, the triplet also offers a rich collider phenomenology from having additional scalars that have unique collider signatures. We find that direct collider searches for these scalars can further probe various parts of the viable parameter space. These parts can be parametrized by the electroweak scalar triplet vacuum expectation value, the mass splitting of the singly- and doubly-charged scalars, and the doubly-charged Higgs mass. We find that different regions of the viable parameter space give rise to different collider signatures, such as the same-sign dilepton, the same-sign $W$ and the multilepton signatures. By investigating various LEP and LHC measurements, we derive the most updated constraints over the whole range of parameter space of the type-II seesaw model.


title: Object Counting and Instance Segmentation with Image-level Supervision

abstract: Common object counting in a natural scene is a challenging problem in computer vision with numerous real-world applications. Existing image-level supervised common object counting approaches only predict the global object count and rely on additional instance-level supervision to also determine object locations. We propose an image-level supervised approach that provides both the global object count and the spatial distribution of object instances by constructing an object category density map. Motivated by psychological studies, we further reduce image-level supervision using a limited object count information (up to four). To the best of our knowledge, we are the first to propose image-level supervised density map estimation for common object counting and demonstrate its effectiveness in image-level supervised instance segmentation. Comprehensive experiments are performed on the PASCAL VOC and COCO datasets. Our approach outperforms existing methods, including those using instance-level supervision, on both datasets for common object counting. Moreover, our approach improves state-of-the-art image-level supervised instance segmentation with a relative gain of 17.8% in terms of average best overlap, on the PASCAL VOC 2012 dataset. Code link: https://github.com/GuoleiSun/CountSeg


title: Hybrid LSTM and Encoder-Decoder Architecture for Detection of Image Forgeries

abstract: With advanced image journaling tools, one can easily alter the semantic meaning of an image by exploiting certain manipulation techniques such as copy-clone, object splicing, and removal, which mislead the viewers. In contrast, the identification of these manipulations becomes a very challenging task as manipulated regions are not visually apparent. This paper proposes a high-confidence manipulation localization architecture which utilizes resampling features, Long-Short Term Memory (LSTM) cells, and encoder-decoder network to segment out manipulated regions from non-manipulated ones. Resampling features are used to capture artifacts like JPEG quality loss, upsampling, downsampling, rotation, and shearing. The proposed network exploits larger receptive fields (spatial maps) and frequency domain correlation to analyze the discriminative characteristics between manipulated and non-manipulated regions by incorporating encoder and LSTM network. Finally, decoder network learns the mapping from low-resolution feature maps to pixel-wise predictions for image tamper localization. With predicted mask provided by final layer (softmax) of the proposed architecture, end-to-end training is performed to learn the network parameters through back-propagation using ground-truth masks. Furthermore, a large image splicing dataset is introduced to guide the training process. The proposed method is capable of localizing image manipulations at pixel level with high precision, which is demonstrated through rigorous experimentation on three diverse datasets.


title: Gamma Rays from colliding winds in massive binaries. Status and prospects

abstract: Binary systems formed by early-type stars with strong winds are known to display variable non-thermal radio emission, thermal X-rays, and, at least in one case (Eta Carina), $\gamma$ rays. Some of these systems are quite eccentric and the conditions for efficient particle acceleration and $\gamma$-ray production might manifest only occasionally. In this paper I briefly review the physics of colliding wind binaries with emphasis on the observational signatures of non-thermal particle acceleration. I discuss, in particular, the case of the system HD 93129A which is made up by an O2 If* star (the primary) and an O3.5 V star (the secondary). The primary is among the earliest, hottest, most massive, luminous, and windy O stars in the Galaxy. The periastron passage during 2018 will offer an outstanding observational window that will be exploited by an international multi-wavelength campaign.


title: Energy of sections of the Deligne-Hitchin twistor space

abstract: We study a natural functional on the space of holomorphic sections of the Deligne-Hitchin moduli space of a compact Riemann surface, generalizing the energy of equivariant harmonic maps corresponding to twistor lines. We give a link to a natural meromorphic connection on the hyperholomorphic line bundle recently constructed by Hitchin. Moreover, we prove that for a certain class of real holomorphic sections of the Deligne-Hitchin moduli space, the functional is basically given by the Willmore energy of corresponding (equivariant) conformal map to the 3-sphere. As an application we use the functional to distinguish new components of real holomorphic sections of the Deligne-Hitchin moduli space from the space of twistor lines.


title: Engineering Quantum States of Matter for Atomic Clocks in Shallow Optical Lattices

abstract: We investigate the effects of stimulated scattering of optical lattice photons on atomic coherence times in a state-of-the art ${}^{87}\mathrm{Sr}$ optical lattice clock. Such scattering processes are found to limit the achievable coherence times to less than 12 s (corresponding to a quality factor of $1 \times 10^{16}$), significantly shorter than the predicted 145(40) s lifetime of ${}^{87}\mathrm{Sr}$'s excited clock state. We suggest that shallow, state-independent optical lattices with increased lattice constants can give rise to sufficiently small lattice photon scattering and motional dephasing rates as to enable coherence times on the order of the clock transition's natural lifetime. Not only should this scheme be compatible with the relatively high atomic density associated with Fermi-degenerate gases in three-dimensional optical lattices, but we anticipate that certain properties of various quantum states of matter can be used to suppress dephasing due to tunneling.


title: Human Attention in Image Captioning: Dataset and Analysis

abstract: In this work, we present a novel dataset consisting of eye movements and verbal descriptions recorded synchronously over images. Using this data, we study the differences in human attention during free-viewing and image captioning tasks. We look into the relationship between human attention and language constructs during perception and sentence articulation. We also analyse attention deployment mechanisms in the top-down soft attention approach that is argued to mimic human attention in captioning tasks, and investigate whether visual saliency can help image captioning. Our study reveals that (1) human attention behaviour differs in free-viewing and image description tasks. Humans tend to fixate on a greater variety of regions under the latter task, (2) there is a strong relationship between described objects and attended objects ($97\%$ of the described objects are being attended), (3) a convolutional neural network as feature encoder accounts for human-attended regions during image captioning to a great extent (around $78\%$), (4) soft-attention mechanism differs from human attention, both spatially and temporally, and there is low correlation between caption scores and attention consistency scores. These indicate a large gap between humans and machines in regards to top-down attention, and (5) by integrating the soft attention model with image saliency, we can significantly improve the model's performance on Flickr30k and MSCOCO benchmarks. The dataset can be found at: https://github.com/SenHe/Human-Attention-in-Image-Captioning.


title: Prostate Segmentation from 3D MRI Using a Two-Stage Model and Variable-Input Based Uncertainty Measure

abstract: This paper proposes a two-stage segmentation model, variable-input based uncertainty measures and an uncertainty-guided post-processing method for prostate segmentation on 3D magnetic resonance images (MRI). The two-stage model was based on 3D dilated U-Nets with the first stage to localize the prostate and the second stage to obtain an accurate segmentation from cropped images. For data augmentation, we proposed the variable-input method which crops the region of interest with additional random variations. Similar to other deep learning models, the proposed model also faced the challenge of suboptimal performance in certain testing cases due to varied training and testing image characteristics. Therefore, it is valuable to evaluate the confidence and performance of the network using uncertainty measures, which are often calculated from the probability maps or their standard deviations with multiple model outputs for the same testing case. However, few studies have quantitatively compared different methods of uncertainty calculation. Furthermore, unlike the commonly used Bayesian dropout during testing, we developed uncertainty measures based on the variable input images at the second stage and evaluated its performance by calculating the correlation with ground-truth-based performance metrics, such as Dice score. For performance estimation, we predicted Dice scores and Hausdorff distance with the most correlated uncertainty measure. For post-processing, we performed Gaussian filter on the underperformed slices to improve segmentation quality. Using PROMISE-12 data, we demonstrated the robustness of the two-stage model and showed high correlation of the proposed variable-input based uncertainty measures with GT-based performance. The uncertainty-guided post-processing method significantly improved label smoothness.


title: Understanding and Visualizing Deep Visual Saliency Models

abstract: Recently, data-driven deep saliency models have achieved high performance and have outperformed classical saliency models, as demonstrated by results on datasets such as the MIT300 and SALICON. Yet, there remains a large gap between the performance of these models and the inter-human baseline. Some outstanding questions include what have these models learned, how and where they fail, and how they can be improved. This article attempts to answer these questions by analyzing the representations learned by individual neurons located at the intermediate layers of deep saliency models. To this end, we follow the steps of existing deep saliency models, that is borrowing a pre-trained model of object recognition to encode the visual features and learning a decoder to infer the saliency. We consider two cases when the encoder is used as a fixed feature extractor and when it is fine-tuned, and compare the inner representations of the network. To study how the learned representations depend on the task, we fine-tune the same network using the same image set but for two different tasks: saliency prediction versus scene classification. Our analyses reveal that: 1) some visual regions (e.g. head, text, symbol, vehicle) are already encoded within various layers of the network pre-trained for object recognition, 2) using modern datasets, we find that fine-tuning pre-trained models for saliency prediction makes them favor some categories (e.g. head) over some others (e.g. text), 3) although deep models of saliency outperform classical models on natural images, the converse is true for synthetic stimuli (e.g. pop-out search arrays), an evidence of significant difference between human and data-driven saliency models, and 4) we confirm that, after-fine tuning, the change in inner-representations is mostly due to the task and not the domain shift in the data.


title: Characterizing the metric compactification of $L_{p}$ spaces by random measures

abstract: We present a complete characterization of the metric compactification of $L_{p}$ spaces for $1\leq p < \infty$. Each element of the metric compactification of $L_{p}$ is represented by a random measure on a certain Polish space. By way of illustration, we revisit the $L_{p}$-mean ergodic theorem for $1 < p < \infty$, and Alspach's example of an isometry on a weakly compact convex subset of $L_{1}$ with no fixed points.


title: The AI Driving Olympics at NeurIPS 2018

abstract: Despite recent breakthroughs, the ability of deep learning and reinforcement learning to outperform traditional approaches to control physically embodied robotic agents remains largely unproven. To help bridge this gap, we created the 'AI Driving Olympics' (AI-DO), a competition with the objective of evaluating the state of the art in machine learning and artificial intelligence for mobile robotics. Based on the simple and well specified autonomous driving and navigation environment called 'Duckietown', AI-DO includes a series of tasks of increasing complexity -- from simple lane-following to fleet management. For each task, we provide tools for competitors to use in the form of simulators, logs, code templates, baseline implementations and low-cost access to robotic hardware. We evaluate submissions in simulation online, on standardized hardware environments, and finally at the competition event. The first AI-DO, AI-DO 1, occurred at the Neural Information Processing Systems (NeurIPS) conference in December 2018. The results of AI-DO 1 highlight the need for better benchmarks, which are lacking in robotics, as well as improved mechanisms to bridge the gap between simulation and reality.


title: Spiking Neural Network on Neuromorphic Hardware for Energy-Efficient Unidimensional SLAM

abstract: Energy-efficient simultaneous localization and mapping (SLAM) is crucial for mobile robots exploring unknown environments. The mammalian brain solves SLAM via a network of specialized neurons, exhibiting asynchronous computations and event-based communications, with very low energy consumption. We propose a brain-inspired spiking neural network (SNN) architecture that solves the unidimensional SLAM by introducing spike-based reference frame transformation, visual likelihood computation, and Bayesian inference. We integrated our neuromorphic algorithm to Intel's Loihi neuromorphic processor, a non-Von Neumann hardware that mimics the brain's computing paradigms. We performed comparative analyses for accuracy and energy-efficiency between our neuromorphic approach and the GMapping algorithm, which is widely used in small environments. Our Loihi-based SNN architecture consumes 100 times less energy than GMapping run on a CPU while having comparable accuracy in head direction localization and map-generation. These results pave the way for scaling our approach towards active-SLAM alternative solutions for Loihi-controlled autonomous robots.


title: Spectral Method for Phase Retrieval: an Expectation Propagation Perspective

abstract: Phase retrieval refers to the problem of recovering a signal $\mathbf{x}_{\star}\in\mathbb{C}^n$ from its phaseless measurements $y_i=|\mathbf{a}_i^{\mathrm{H}}\mathbf{x}_{\star}|$, where $\{\mathbf{a}_i\}_{i=1}^m$ are the measurement vectors. Many popular phase retrieval algorithms are based on the following two-step procedure: (i) initialize the algorithm based on a spectral method, (ii) refine the initial estimate by a local search algorithm (e.g., gradient descent). The quality of the spectral initialization step can have a major impact on the performance of the overall algorithm. In this paper, we focus on the model where the measurement matrix $\mathbf{A}=[\mathbf{a}_1,\ldots,\mathbf{a}_m]^{\mathrm{H}}$ has orthonormal columns, and study the spectral initialization under the asymptotic setting $m,n\to\infty$ with $m/n\to\delta\in(1,\infty)$. We use the expectation propagation framework to characterize the performance of spectral initialization for Haar distributed matrices. Our numerical results confirm that the predictions of the EP method are accurate for not-only Haar distributed matrices, but also for realistic Fourier based models (e.g. the coded diffraction model). The main findings of this paper are the following: (1) There exists a threshold on $\delta$ (denoted as $\delta_{\mathrm{weak}}$) below which the spectral method cannot produce a meaningful estimate. We show that $\delta_{\mathrm{weak}}=2$ for the column-orthonormal model. In contrast, previous results by Mondelli and Montanari show that $\delta_{\mathrm{weak}}=1$ for the i.i.d. Gaussian model. (2) The optimal design for the spectral method coincides with that for the i.i.d. Gaussian model, where the latter was recently introduced by Luo, Alghamdi and Lu.


title: A Modulation Format Correction Formula for the Gaussian Noise Model in the Presence of Inter-Channel Stimulated Raman Scattering

abstract: A closed-form formula is derived, which corrects for the modulation format dependence of the Gaussian Noise (GN) model in the presence of inter-channel stimulated Raman scattering (ISRS). The analytical result enables a rapid estimate of the nonlinear interference (NLI) for arbitrary modulation formats and avoids the need for complex integral evaluations and split-step simulations. It is shown that the modulation format dependent NLI can be approximated by two contributions, one originating from a single span and one asymptotic contribution for a large number of spans. The asymptotic contribution is solved in closed-form for an arbitrary link function, making the result applicable for generic fiber systems using lumped, distributed or hybrid amplification schemes. The methodology is applied to the ISRS GN model and a modulation format correction formula in closed-form is derived which accounts for an arbitrary number of spans, inter-channel stimulated Raman scattering, arbitrary launch power distributions and wavelength dependent dispersion and attenuation. The proposed formula is validated by numerical simulations over the entire C+L band for multiple fiber types.


title: Image captioning with weakly-supervised attention penalty

abstract: Stories are essential for genealogy research since they can help build emotional connections with people. A lot of family stories are reserved in historical photos and albums. Recent development on image captioning models makes it feasible to "tell stories" for photos automatically. The attention mechanism has been widely adopted in many state-of-the-art encoder-decoder based image captioning models, since it can bridge the gap between the visual part and the language part. Most existing captioning models implicitly trained attention modules with word-likelihood loss. Meanwhile, lots of studies have investigated intrinsic attentions for visual models using gradient-based approaches. Ideally, attention maps predicted by captioning models should be consistent with intrinsic attentions from visual models for any given visual concept. However, no work has been done to align implicitly learned attention maps with intrinsic visual attentions. In this paper, we proposed a novel model that measured consistency between captioning predicted attentions and intrinsic visual attentions. This alignment loss allows explicit attention correction without using any expensive bounding box annotations. We developed and evaluated our model on COCO dataset as well as a genealogical dataset from Ancestry.com Operations Inc., which contains billions of historical photos. The proposed model achieved better performances on all commonly used language evaluation metrics for both datasets.


title: Longest paths in 2-edge-connected cubic graphs

abstract: We prove almost tight bounds on the length of paths in $2$-edge-connected cubic graphs. Concretely, we show that (i) every $2$-edge-connected cubic graph of size $n$ has a path of length $\Omega\left(\frac{\log^2{n}}{\log{\log{n}}}\right)$, and (ii) there exists a $2$-edge-connected cubic graph, such that every path in the graph has length $O(\log^2{n})$.


title: Gaussian fluctuations for the stochastic heat equation with colored noise

abstract: In this paper, we present a quantitative central limit theorem for the d-dimensional stochastic heat equation driven by a Gaussian multiplicative noise, which is white in time and has a spatial covariance given by the Riesz kernel. We show that the spatial average of the solution over an Euclidean ball is close to a Gaussian distribution, when the radius of the ball tends to infinity. Our central limit theorem is described in the total variation distance, using Malliavin calculus and Stein's method. We also provide a functional central limit theorem.


title: A Scalable Test Suite for Continuous Dynamic Multiobjective Optimisation

abstract: Dynamic multiobjective optimisation has gained increasing attention in recent years. Test problems are of great importance in order to facilitate the development of advanced algorithms that can handle dynamic environments well. However, many of existing dynamic multiobjective test problems have not been rigorously constructed and analysed, which may induce some unexpected bias when they are used for algorithmic analysis. In this paper, some of these biases are identified after a review of widely used test problems. These include poor scalability of objectives and, more importantly, problematic overemphasis of static properties rather than dynamics making it difficult to draw accurate conclusion about the strengths and weaknesses of the algorithms studied. A diverse set of dynamics and features is then highlighted that a good test suite should have. We further develop a scalable continuous test suite, which includes a number of dynamics or features that have been rarely considered in literature but frequently occur in real life. It is demonstrated with empirical studies that the proposed test suite is more challenging to the dynamic multiobjective optimisation algorithms found in the literature. The test suite can also test algorithms in ways that existing test suites can not.


title: Learning multimodal representations for sample-efficient recognition of human actions

abstract: Humans interact in rich and diverse ways with the environment. However, the representation of such behavior by artificial agents is often limited. In this work we present \textit{motion concepts}, a novel multimodal representation of human actions in a household environment. A motion concept encompasses a probabilistic description of the kinematics of the action along with its contextual background, namely the location and the objects held during the performance. Furthermore, we present Online Motion Concept Learning (OMCL), a new algorithm which learns novel motion concepts from action demonstrations and recognizes previously learned motion concepts. The algorithm is evaluated on a virtual-reality household environment with the presence of a human avatar. OMCL outperforms standard motion recognition algorithms on an one-shot recognition task, attesting to its potential for sample-efficient recognition of human actions.


title: Redshift Horizon for Detecting the First Galaxies in Far-Infared Surveys

abstract: We explore the possibility of detecting the first galaxies with the next generation of space-based far infrared (FIR) telescopes by applying an analytical model of primordial dust emission. Our results indicate that FIR/sub-mm sources at $z \gtrsim 7$ will experience a strong negative K-correction. Systems of a given virial mass would exhibit larger dust luminosities at higher $z$, as a consequence of the increase in dust temperature driven by the higher temperature floor set by the cosmic microwave background. In addition, high-$z$ systems are more concentrated, which enhances the heating efficiency associated with stellar radiation. By analysing source densities as a function of $z$, and considering survey areas of 0.1 ${\rm deg}^2$ and 10 ${\rm deg}^2$, we find that the redshift horizon for detecting at least one source would be above $z\sim 7$ for instrument sensitivities $\lesssim 0.1-0.5 \ {\mu}{\rm Jy}$ and $\lesssim 0.5-3.0 \ {\mu}{\rm Jy}$, respectively, with the exact values depending on the nature of primordial dust. However, galaxy populations with higher than typical metallicities, star formation efficiencies and/or dust-to-metal ratios could relax such sensitivity requirements. In addition, the redshift horizon shows a significant dependence on the nature of primordial dust. We conclude that future FIR campaigns could play a crucial role in exploring the nature of dust and star formation in the early universe.


title: The formation of compact dwarf ellipticals through merging star clusters

abstract: In the last decades, extended old stellar clusters have been observed. These extended objects cover a large range in masses, from extended clusters or faint fuzzies to ultra compact dwarf galaxies. It has been demonstrated that these extended objects can be the result of the merging of star clusters in cluster complexes (small regions in which dozens to hundreds of star clusters form). This formation channel is called the `Merging Star Cluster Scenario'. This work tries to explain the formation of compact ellipticals in the same theoretical framework. Compact ellipticals are a comparatively rare class of spheroidal galaxies, possessing very small effective radii and high central surface brightnesses. With the use of numerical simulations we show that the merging star cluster scenario, adopted for higher masses, as found with those galaxies, can reproduce all major characteristics and the dynamics of these objects. This opens up a new formation channel to explain the existence of compact elliptical galaxies.


title: On Christoffel roots for nondetached slowness surfaces

abstract: The only restriction on the values of the elasticity parameters is the stability condition. Within this condition, we examine Christoffel equation for nondetached $qP$ slowness surfaces in transversely isotropic media. If the $qP$ slowness surface is detached, each root of the solubility condition corresponds to a distinct smooth wavefront. If the $qP$ slowness surface is nondetached, the roots are elliptical but do not correspond to distinct wavefronts; also, the $qP$ and $qSV$ slowness surfaces are not smooth.


title: A short note on graphs with long Thomason's chains

abstract: We present a family of 3-connected cubic planar Hamiltonian graphs with an exponential number of steps required by Thomason's algorithm. The base of the exponent is approximately $1.1812...$, which exceeds previous results in the area.


title: Trends, Challenges and Adopted Strategies in RoboCup@Home

abstract: Scientific competitions are crucial in the field of service robotics. They foster knowledge exchange and allow teams to test their research in unstandardized scenarios and compare result. Such is the case of RoboCup@Home. However, keeping track of all the technologies and solution approaches used by teams to solve the tests can be a challenge in itself. Moreover, after eleven years of competitions, it's easy to delve too much into the field, losing perspective and forgetting about the user's needs and long term goals. In this paper, we aim to tackle this problems by presenting a summary of the trending solutions and approaches used in RoboCup@Home, and discussing the attained achievements and challenges to overcome in relation with the progress required to fulfill the long-term goal of the league. Hence, considering the current capabilities of the robots and their limitations, we propose a set of milestones to address in upcoming competitions. With this work we lay the foundations towards the creation of roadmaps that can help to direct efforts in testing and benchmarking in robotics competitions.


title: Threshold Selection in Univariate Extreme Value Analysis

abstract: Threshold selection plays a key role for various aspects of statistical inference of rare events. Most classical approaches tackling this problem for heavy-tailed distributions crucially depend on tuning parameters or critical values to be chosen by the practitioner. To simplify the use of automated, data-driven threshold selection methods, we introduce two new procedures not requiring the manual choice of any parameters. The first method measures the deviation of the log-spacings from the exponential distribution and achieves good performance in simulations for estimating high quantiles. The second approach smoothly estimates the asymptotic mean square error of the Hill estimator and performs consistently well over a wide range of distributions. The methods are compared to existing procedures in an extensive simulation study and applied to a dataset of financial losses, where the underlying extreme value index is assumed to vary over time. This application strongly emphasizes the importance of solid automated threshold selection.


title: Stability and steady state of complex cooperative systems: a diakoptic approach

abstract: Cooperative dynamics are common in ecology and population dynamics. However, their commonly high degree of complexity with a large number of coupled degrees of freedom renders them difficult to analyse. Here we present a graph-theoretical criterion, via a diakoptic approach (`divide-and-conquer') to determine a cooperative system's stability by decomposing the system's dependence graph into its strongly connected components (SCCs). In particular, we show that a linear cooperative system is Lyapunov stable if the SCCs of the associated dependence graph all have non-positive dominant eigenvalues, and if no SCCs which have dominant eigenvalue zero are connected by a path.


title: RRAM based neuromorphic algorithms

abstract: This submission is a report on RRAM based neuromorphic algorithms. This report basically gives an overview of the algorithms implemented on neuromorphic hardware with crossbar array of RRAM synapses. This report mainly talks about the work on deep neural network to spiking neural network conversion and its significance.


title: Enceladus's crust as a non-uniform thin shell: II tidal dissipation

abstract: Tidal heating is the prime suspect behind Enceladus's south polar heating anomaly and global subsurface ocean. No model of internal tidal dissipation, however, can explain at the same time the total heat budget and the focusing of the energy at the south pole. I study here whether the non-uniform icy shell thickness can cause the north-south heating asymmetry by redistributing tidal heating either in the shell or in the core. Starting from the non-uniform tidal thin shell equations, I compute the volumetric rate, surface flux, and total power generated by tidal dissipation in shell and core. If the shell is laterally uniform, the thin shell approach predicts shell dissipation with a few percent error while the error on core dissipation is negligible. Variations in shell thickness strongly increase the shell dissipation flux where the shell is thinner. For a hard shell with long-wavelength variations, the shell dissipation flux can be predicted by scaling with the inverse local thickness the flux for a laterally uniform shell. If Enceladus's shell is in conductive thermal equilibrium with isostatic thickness variations, the nominal shell dissipation flux at the south pole is about three times its value for a shell of uniform thickness, which remains negligible compared to the observed flux. The shell dissipation rate should be ten times higher than nominal in order to account for the spatial variations of the observed flux. Dissipation in an unconsolidated core can provide the missing power, but does not generate any significant heating asymmetry as long as the core is homogeneous. Non-steady state models, though not investigated here, face similar difficulties in explaining the asymmetries of tidal heating and shell thickness.


title: Quantifying error contributions of computational steps, algorithms and hyperparameter choices in image classification pipelines

abstract: Data science relies on pipelines that are organized in the form of interdependent computational steps. Each step consists of various candidate algorithms that maybe used for performing a particular function. Each algorithm consists of several hyperparameters. Algorithms and hyperparameters must be optimized as a whole to produce the best performance. Typical machine learning pipelines typically consist of complex algorithms in each of the steps. Not only is the selection process combinatorial, but it is also important to interpret and understand the pipelines. We propose a method to quantify the importance of different layers in the pipeline, by computing an error contribution relative to an agnostic choice of algorithms in that layer. We demonstrate our methodology on image classification pipelines. The agnostic methodology quantifies the error contributions from the computational steps, algorithms and hyperparameters in the image classification pipeline. We show that algorithm selection and hyper-parameter optimization methods can be used to quantify the error contribution and that random search is able to quantify the contribution more accurately than Bayesian optimization. This methodology can be used by domain experts to understand machine learning and data analysis pipelines in terms of their individual components, which can help in prioritizing different components of the pipeline.


title: The maximum of the four-dimensional membrane model

abstract: We show that the centred maximum of the four-dimensional membrane model on a box of sidelength $N$ converges in distribution. To do so we use a criterion of Ding, Roy and Zeitouni and prove sharp estimates for the Green's function of the discrete Bilaplacian. These estimates are the main contribution of this work and might also be of independent interest. To derive them we use estimates for the approximation quality of finite difference schemes as well as results for the Green's function of the continuous Bilaplacian.


title: The Inductive Graph Dimension from The Minimum Edge Clique Cover

abstract: In this paper we prove that the recursive (Knill) dimension of the join of two graphs has a simple formula in terms of the dimensions of the component graphs: $\mathrm{dim\,} (G_1+G_2) = 1 +\mathrm{dim\,} G_1+ \mathrm{dim\,} G_2$. We use this formula to derive an expression for the Knill dimension of a graph from its minimum clique cover. A corollary of the formula is that a graph made of the arbitrary union of complete graphs $K_N$ of the same order $N$ will have dimension $N-1$. We finish by finding lower and upper bounds on the Knill dimension of a graph in terms of its clique number.


title: Can One Design a Series of Brains for Neuromorphic Computing to solve complex inverse problems

abstract: In this position paper, we present a discussion on neuromorphic computing and especially the learning/training algorithm to design a series of brains with different memristive values to solve complex ill-posed inverse problems based on a Finite Element(FE) method. First, the neuromorphic computing is addressed and we focus on a type of memristive circuit computing that falls into the scope of neuromorphic computing. Secondly based on reference [1] in which the complex dynamics of the complex memristive circuit was studied, we design a method and an approach to train the memristive circuit so that the memristive values are optimally obtained.


title: Multiple Impact Origin for the Moon

abstract: The hypothesis of lunar origin by a single giant impact can explain some aspects of the Earth-Moon system. However, it is difficult to reconcile giant impact models with the compositional similarity of the Earth and Moon without violating angular momentum constraints. Furthermore, successful giant impact scenarios require very specific conditions such that they have a low probability of occurring. Here we present numerical simulations suggesting that the Moon could instead be the product of a succession of a variety of smaller collisions. In this scenario, each collision forms a debris disk around the proto-Earth that then accretes to form a moonlet. The moonlets tidally advance outward, and may coalesce to form the Moon. We find that sub-lunar moonlets are a common result of impacts expected onto the proto-Earth in the early solar system and find that the planetary rotation is limited by impact angular momentum drain. We conclude that, assuming efficient merger of moonlets, a multiple impact scenario can account for the formation of the Earth-Moon system with its present properties.


title: Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation

abstract: An important facet of reinforcement learning (RL) has to do with how the agent goes about exploring the environment. Traditional exploration strategies typically focus on efficiency and ignore safety. However, for practical applications, ensuring safety of the agent during exploration is crucial since performing an unsafe action or reaching an unsafe state could result in irreversible damage to the agent. The main challenge of safe exploration is that characterizing the unsafe states and actions is difficult for large continuous state or action spaces and unknown environments. In this paper, we propose a novel approach to incorporate estimations of safety to guide exploration and policy search in deep reinforcement learning. By using a cost function to capture trajectory-based safety, our key idea is to formulate the state-action value function of this safety cost as a candidate Lyapunov function and extend control-theoretic results to approximate its derivative using online Gaussian Process (GP) estimation. We show how to use these statistical models to guide the agent in unknown environments to obtain high-performance control policies with provable stability certificates.


title: Microwave magnon damping in YIG films at millikelvin temperatures

abstract: Magnon systems used in quantum devices require low damping if coherence is to be maintained. The ferrimagnetic electrical insulator yttrium iron garnet (YIG) has low magnon damping at room temperature and is a strong candidate to host microwave magnon excitations in future quantum devices. Monocrystalline YIG films are typically grown on gadolinium gallium garnet (GGG) substrates. In this work, comparative experiments made on YIG waveguides with and without GGG substrates indicate that the material plays a significant role in increasing the damping at low temperatures. Measurements reveal that damping due to temperature-peak processes is dominant above 1 K. Damping behaviour that we show can be attributed to coupling to two-level fluctuators (TLFs) is observed below 1 K. Upon saturating the TLFs in the substrate-free YIG at 20 mK, linewidths of 1.4 MHz are achievable: lower than those measured at room temperature.


title: Niobium diselenide superconducting photodetectors

abstract: We report the photoresponse of niobium diselenide (NbSe$_2$), a transition metal dichalcogenide (TMD) which exhibits superconducting properties down to a single layer. Devices are built by using micro-mechanically cleaved 2 to 10 layers and tested under current bias using nano-optical mapping in the 350mK-5K range, where they are found to be superconducting. The superconducting state can be broken by absorption of light, resulting in a voltage signal when the devices are current biased. The response found to be energy dependent making the devices useful for applications requiring energy resolution, such as bolometry, spectroscopy and infrared imaging.


title: Concentration inequalities for sums of random variables, each having power bounded tails

abstract: In this work we present concentration inequalities for the sum $S_n$ of independent integer-valued not necessary indentically distributed random variables, where each variable has tail function that can be bounded by some power function with exponent $-\alpha$. We show that when $0<\alpha\leq 1$, then the sum does not have finite expectation, however, with high probability we have that $|S_n|=O\left(n^{1/\alpha}\right)$. When $\alpha>1$, then the sum $S_n$ is concentrated around its mean. Since the r.vs. that constitute the sum has tails, which can be bounded by some power function, it follows that results of this paper are applicable to a wide range of different distributions, including the exponentially decaying ones.


title: Honeycomb rare-earth magnets with anisotropic exchange interactions

abstract: We study the rare-earth magnets on a honeycomb lattice, and are particularly interested in the experimental consequences of the highly anisotropic spin interaction due to the spin-orbit entanglement. We perform a high-temperature series expansion using a generic nearest-neighbor Hamiltonian with anisotropic interactions, and obtain the heat capacity, the parallel and perpendicular spin susceptibilities, and the magnetic torque coefficients. We further examine the electron spin resonance linewidth as an important signature of the anisotropic spin interactions. Due to the small interaction energy scale of the rare-earth moments, it is experimentally feasible to realize the strong-field regime. Therefore, we perform the spin-wave analysis and study the possibility of topological magnons when a strong field is applied to the system. The application and relevance to the rare-earth Kitaev materials are discussed.


title: Combining Optimal Control and Learning for Visual Navigation in Novel Environments

abstract: Model-based control is a popular paradigm for robot navigation because it can leverage a known dynamics model to efficiently plan robust robot trajectories. However, it is challenging to use model-based methods in settings where the environment is a priori unknown and can only be observed partially through on-board sensors on the robot. In this work, we address this short-coming by coupling model-based control with learning-based perception. The learning-based perception module produces a series of waypoints that guide the robot to the goal via a collision-free path. These waypoints are used by a model-based planner to generate a smooth and dynamically feasible trajectory that is executed on the physical system using feedback control. Our experiments in simulated real-world cluttered environments and on an actual ground vehicle demonstrate that the proposed approach can reach goal locations more reliably and efficiently in novel environments as compared to purely geometric mapping-based or end-to-end learning-based alternatives. Our approach does not rely on detailed explicit 3D maps of the environment, works well with low frame rates, and generalizes well from simulation to the real world. Videos describing our approach and experiments are available on the project website.


title: An Efficient Production Process for Extracting Salivary Glands from Mosquitoes

abstract: Malaria is the one of the leading causes of morbidity and mortality in many developing countries. The development of a highly effective and readily deployable vaccine represents a major goal for world health. There has been recent progress in developing a clinically effective vaccine manufactured using Plasmodium falciparum sporozoites (PfSPZ) extracted from the salivary glands of Anopheles sp. Mosquitoes. The harvesting of PfSPZ requires dissection of the mosquito and manual removal of the salivary glands from each mosquito by trained technicians. While PfSPZ-based vaccines have shown highly promising results, the process of dissection of salivary glands is tedious and labor intensive. We propose a mechanical device that will greatly increase the rate of mosquito dissection and deskill the process to make malaria vaccines more affordable and more readily available. This device consists of several components: a sorting stage in which the mosquitoes are sorted into slots, a cutting stage in which the heads are removed, and a squeezing stage in which the salivary glands are extracted and collected. This method allows mosquitoes to be dissected twenty at a time instead of one by one as previously done and significantly reduces the dissection time per mosquito.


title: Entropy Trees and Range-Minimum Queries In Optimal Average-Case Space

abstract: The range-minimum query (RMQ) problem is a fundamental data structuring task with numerous applications. Despite the fact that succinct solutions with worst-case optimal $2n+o(n)$ bits of space and constant query time are known, it has been unknown whether such a data structure can be made adaptive to the reduced entropy of random inputs (Davoodi et al. 2014). We construct a succinct data structure with the optimal $1.736n+o(n)$ bits of space on average for random RMQ instances, settling this open problem. Our solution relies on a compressed data structure for binary trees that is of independent interest. It can store a (static) binary search tree generated by random insertions in asymptotically optimal expected space and supports many queries in constant time. Using an instance-optimal encoding of subtrees, we furthermore obtain a "hyper-succinct" data structure for binary trees that improves upon the ultra-succinct representation of Jansson, Sadakane and Sung (2012).


title: Stability of a fractional HIV/AIDS model

abstract: We propose a fractional order model for HIV/AIDS transmission. Local and uniform stability of the fractional order model is studied. The theoretical results are illustrated through numerical simulations.


title: Radiative contribution to the composite-Higgs potential in a two-representation lattice model

abstract: Working in a two-representation lattice gauge theory that is close to a composite Higgs model, we calculate the low-energy constant CLR which controls the contribution of the electroweak gauge bosons to the Higgs potential. In QCD, the corresponding low-energy constant governs the mass splitting of the pion multiplet. Taking the continuum and chiral limits, we find that CLR, in units of the pseudoscalar decay constant, is roughly of the same size as its QCD counterpart.


title: Convergence of gradient descent-ascent analyzed as a Newtonian dynamical system with dissipation

abstract: A dynamical system is defined in terms of the gradient of a payoff function. Dynamical variables are of two types, ascent and descent. The ascent variables move in the direction of the gradient, while the descent variables move in the opposite direction. Dynamical systems of this form or very similar forms have been studied in diverse fields such as game theory, optimization, neural networks, and population biology. Gradient descent-ascent is approximated as a Newtonian dynamical system that conserves total energy, defined as the sum of the kinetic energy and a potential energy that is proportional to the payoff function. The error of the approximation is a residual force that violates energy conservation. If the residual force is purely dissipative, then the energy serves as a Lyapunov function, and convergence of bounded trajectories to steady states is guaranteed. A previous convergence theorem due to Kose and Uzawa required the payoff function to be convex in the descent variables, and concave in the ascent variables. Here the assumption is relaxed, so that the payoff function need only be globally `less convex' or `more concave' in the ascent variables than in the descent variables. Such relative convexity conditions allow the existence of multiple steady states, unlike the convex-concave assumption. When combined with sufficient conditions that imply the existence of a minimax equilibrium, boundedness of trajectories is also assured.


title: Channel Decoding with Quantum Approximate Optimization Algorithm

abstract: Motivated by the recent advancement of quantum processors, we investigate quantum approximate optimization algorithm (QAOA) to employ quasi-maximum-likelihood (ML) decoding of classical channel codes. QAOA is a hybrid quantum-classical variational algorithm, which is advantageous for the near-term noisy intermediate-scale quantum (NISQ) devices, where the fidelity of quantum gates is limited by noise and decoherence. We first describe how to construct Ising Hamiltonian model to realize quasi-ML decoding with QAOA. For level-1 QAOA, we derive the systematic way to generate theoretical expressions of cost expectation for arbitrary binary linear codes. Focusing on (7, 4) Hamming code as an example, we analyze the impact of the degree distribution in associated generator matrix on the quantum decoding performance. The excellent performance of higher-level QAOA decoding is verified when Pauli rotation angles are optimized through meta-heuristic variational quantum eigensolver (VQE). Furthermore, we demonstrate the QAOA decoding performance in a real quantum device.


title: Blinded continuous information monitoring of recurrent event endpoints with time trends in clinical trials

abstract: Blinded sample size re-estimation and information monitoring based on blinded data has been suggested to mitigate risks due to planning uncertainties regarding nuisance parameters. Motivated by a randomized controlled trial in pediatric multiple sclerosis (MS), a continuous monitoring procedure for overdispersed count data was proposed recently. However, this procedure assumed constant event rates, an assumption often not met in practice. Here we extend the procedure to accommodate time trends in the event rates considering two blinded approaches: (a) the mixture approach modeling the number of events by a mixture of two negative binomial distributions, and (b) the lumping approach approximating the marginal distribution of the event counts by a negative binomial distribution. Through simulations the operating characteristics of the proposed procedures are investigated under decreasing event rates. We find that the type I error rate is not inflated relevantly by either of the monitoring procedures, with the exception of strong time dependencies where the procedure assuming constant rates exhibits some inflation. Furthermore, the procedure accommodating time trends has generally favorable power properties compared to the procedure based on constant rates which stops often too late. The proposed method is illustrated by the clinical trial in pediatric MS.


title: GRUNGE: A Grand Unified ATP Challenge

abstract: This paper describes a large set of related theorem proving problems obtained by translating theorems from the HOL4 standard library into multiple logical formalisms. The formalisms are in higher-order logic (with and without type variables) and first-order logic (possibly with multiple types, and possibly with type variables). The resultant problem sets allow us to run automated theorem provers that support different logical formats on corresponding problems, and compare their performances. This also results in a new "grand unified" large theory benchmark that emulates the ITP/ATP hammer setting, where systems and metasystems can use multiple ATP formalisms in complementary ways, and jointly learn from the accumulated knowledge.


title: Autoregressive Convolutional Recurrent Neural Network for Univariate and Multivariate Time Series Prediction

abstract: Time Series forecasting (univariate and multivariate) is a problem of high complexity due the different patterns that have to be detected in the input, ranging from high to low frequencies ones. In this paper we propose a new model for timeseries prediction that utilizes convolutional layers for feature extraction, a recurrent encoder and a linear autoregressive component. We motivate the model and we test and compare it against a baseline of widely used existing architectures for univariate and multivariate timeseries. The proposed model appears to outperform the baselines in almost every case of the multivariate timeseries datasets, in some cases even with 50% improvement which shows the strengths of such a hybrid architecture in complex timeseries.


title: Relational Pooling for Graph Representations

abstract: This work generalizes graph neural networks (GNNs) beyond those based on the Weisfeiler-Lehman (WL) algorithm, graph Laplacians, and diffusions. Our approach, denoted Relational Pooling (RP), draws from the theory of finite partial exchangeability to provide a framework with maximal representation power for graphs. RP can work with existing graph representation models and, somewhat counterintuitively, can make them even more powerful than the original WL isomorphism test. Additionally, RP allows architectures like Recurrent Neural Networks and Convolutional Neural Networks to be used in a theoretically sound approach for graph classification. We demonstrate improved performance of RP-based graph representations over state-of-the-art methods on a number of tasks.


title: Exceptional point enhances sensitivity of optomechanical mass sensors

abstract: We propose an efficient optomechanical mass sensor operating at exceptional points (EPs), non-hermitian degeneracies where eigenvalues of a system and their corresponding eigenvectors simultaneously coalesce. The benchmark system consists of two optomechanical cavities (OMCs) that are mechanically coupled, where we engineer mechanical gain (loss) by driving the cavity with a blue (red) detuned laser. The system features EP at the gain and loss balance, where any perturbation induces a frequency splitting that scales as the square-root of the perturbation strength, resulting in a giant sensitivity factor enhancement compared to the conventional optomechanical sensors. For non-degenerated mechanical resonators, quadratic optomechanical coupling is used to tune the mismatch frequency in order to get closer to the EP, extending the efficiency of our sensing scheme to mismatched resonators. This work paves the way towards new levels of sensitivity for optomechanical sensors, which could find applications in many other fields including nanoparticles detection, precision measurement, and quantum metrology.


title: A data analysis of women's trails among ICM speakers

abstract: The International Congress of Mathematicians (ICM), inaugurated in 1897, is the greatest effort of the mathematical community to strengthen international communication and connections across all mathematical fields. Meetings of the ICM have historically hosted some of the most prominent mathematicians of their time. Receiving an invitation to present a talk at an ICM signals the high international reputation of the recipient, and is akin to entering a `hall of fame for mathematics'. Women mathematicians attended the ICMs from the start. With the invitation of Laura Pisati to present a lecture in 1908 in Rome and the plenary talk of Emmy Noether in 1932 in Zurich, they entered the grand international stage of their field. At the congress in 2014 in Seoul, Maryam Mirzakhani became the first woman to be awarded the Fields Medal, the most prestigious award in mathematics. In this article, we dive into assorted data sources to follow the footprints of women among the ICM invited speakers, analyzing their demographics and topic distributions, and providing glimpses into their diverse biographies.


title: On the residue method for period integrals

abstract: By applying the residue method for period integrals and Langlands-Shahidi's theory for residues of Eisenstein series, we study the period integrals for six spherical varieties. For each spherical variety, we prove a relation between the period integrals and certain automorphic L-functions. In some cases, we also study the local multiplicity of the spherical varieties.


title: Lattice Disorder Effect on Magnetic Ordering of Iron Arsenides

abstract: This study investigates the changes of magnetic ordering temperature via nano- and mesoscale structural features in an iron arsenide. Although magnetic ground states in quantum materials can be theoretically predicted from known crystal structures and chemical compositions, the ordering temperature is harder to pinpoint due to such local lattice variations. In this work we find surprisingly that a locally disordered material can exhibit a significantly larger Neel temperature (TN) than an ordered material of precisely the same chemical stoichiometry. Here, a EuFe2As2 crystal, which is a 122 parent of iron arsenide superconductors, is found through synthesis to have ordering below TN = 195 K (for the disordered crystal) or TN = 175 K (for the ordered crystal). In the higher TN crystals, there are shorter planar Fe-Fe bonds [2.7692(2) A vs. 2.7745(3) A], a randomized in-plane defect structure, and diffuse scattering along the [00L] crystallographic direction that manifests as a rather broad specific heat peak. For the lower TN crystals, the a-lattice parameter is larger and the in-plane microscopic structure shows defect ordering along the antiphase boundaries, giving a larger TN and a higher superconducting temperature (Tc) upon the application of pressure. First principles calculations find a strong interaction between c-axis strain and interlayer magnetic coupling, but little impact of planar strain on the magnetic order. Neutron single-crystal diffraction shows that the low-temperature magnetic phase transition due to localized Eu moments is not lattice or disorder sensitive, unlike the higher-temperature Fe sublattice ordering. This study demonstrates a higher magnetic ordering point arising from local disorder in 122.


title: A Sketch of Some Stochastic Models and Analysis Methods for Fiber Bundle Failure under Increasing Tensile Load

abstract: Fiber bundle models (FBM's) have been used to model the failure of fibrous composites as load-sharing systems since the 1960's when Rosen (1964 and 1965) conducted some remarkable experiments on unidirectional fibrous composites. These experiments gave seminal insights into their failure under increasing tensile load. However, over the last thirty years FBM's have been used to model catastrophic failure in other situations by the physical science community and others. The purpose of this paper is to sketch some research on load-sharing models and statistical analysis methods that have been overlooked by this community. These are illustrated by summarizing the findings regarding Rosen's Specimen A experiments and presenting the necessary results needed for this. Related research about the bundle breaking strength distribution and the joint distribution (the Gibbs measure) regarding the state (failed or unfailed) of the bundle components at a given load per component, $s$, is also given.


title: Tactical Rewind: Self-Correction via Backtracking in Vision-and-Language Navigation

abstract: We present the Frontier Aware Search with backTracking (FAST) Navigator, a general framework for action decoding, that achieves state-of-the-art results on the Room-to-Room (R2R) Vision-and-Language navigation challenge of Anderson et. al. (2018). Given a natural language instruction and photo-realistic image views of a previously unseen environment, the agent was tasked with navigating from source to target location as quickly as possible. While all current approaches make local action decisions or score entire trajectories using beam search, ours balances local and global signals when exploring an unobserved environment. Importantly, this lets us act greedily but use global signals to backtrack when necessary. Applying FAST framework to existing state-of-the-art models achieved a 17% relative gain, an absolute 6% gain on Success rate weighted by Path Length (SPL).


title: A Survey on Modality Characteristics, Performance Evaluation Metrics, and Security for Traditional and Wearable Biometric Systems

abstract: Biometric research is directed increasingly towards Wearable Biometric Systems (WBS) for user authentication and identification. However, prior to engaging in WBS research, how their operational dynamics and design considerations differ from those of Traditional Biometric Systems (TBS) must be understood. While the current literature is cognizant of those differences, there is no effective work that summarizes the factors where TBS and WBS differ, namely, their modality characteristics, performance, security and privacy. To bridge the gap, this paper accordingly reviews and compares the key characteristics of modalities, contrasts the metrics used to evaluate system performance, and highlights the divergence in critical vulnerabilities, attacks and defenses for TBS and WBS. It further discusses how these factors affect the design considerations for WBS, the open challenges and future directions of research in these areas. In doing so, the paper provides a big-picture overview of the important avenues of challenges and potential solutions that researchers entering the field should be aware of. Hence, this survey aims to be a starting point for researchers in comprehending the fundamental differences between TBS and WBS before understanding the core challenges associated with WBS and its design.


title: A Robust Excess in the Cosmic-Ray Antiproton Spectrum: Implications for Annihilating Dark Matter

abstract: An excess of $\sim$10-20 GeV cosmic-ray antiprotons has been identified in the spectrum reported by the AMS-02 Collaboration. The systematic uncertainties associated with this signal, however, have made it difficult to interpret these results. In this paper, we revisit the uncertainties associated with the time, charge and energy-dependent effects of solar modulation, the antiproton production cross section, and interstellar cosmic-ray propagation. After accounting for these uncertainties, we confirm the presence of a 4.7$\sigma$ antiproton excess, consistent with that arising from a $m_{\chi} \approx 64-88$ GeV dark matter particle annihilating to $b\bar{b}$ with a cross section of $\sigma v \simeq (0.8-5.2) \times 10^{-26}$ cm$^{3}$/s. If we allow for the stochastic acceleration of secondary antiprotons in supernova remnants, the data continues to favor a similar range of dark matter models ($m_{\chi}\approx 46-94$ GeV, $\sigma v \approx (0.7-3.8)\times 10^{-26}$ cm$^3/$s) with a significance of 3.3$\sigma$. The same range of dark matter models that are favored to explain the antiproton excess can also accommodate the excess of GeV-scale gamma rays observed from the Galactic Center.


title: Towards a Uniform Architecture for the Efficient Implementation of 2D and 3D Deconvolutional Neural Networks on FPGAs

abstract: Three-dimensional deconvolution is widely used in many computer vision applications. However, most previous works have only focused on accelerating 2D deconvolutional neural networks (DCNNs) on FPGAs, while the acceleration of 3D DCNNs has not been studied in depth as they have higher computational complexity and sparsity than 2D DCNNs. In this paper, we focus on the acceleration of both 2D and 3D DCNNs on FPGAs by proposing efficient schemes for mapping 2D and 3D DCNNs on a uniform architecture. By implementing our design on the Xilinx VC709 platform for four real-life 2D and 3D DCNNs, we can achieve up to 3.0 TOPS with high hardware efficiency. Comparisons with CPU and GPU solutions demonstrate that we can achieve an improvement of up to 63.3X in throughput relative to a CPU solution and an improvement of up to 8.3X in energy efficiency compared to a GPU solution.


title: Deep Learning based End-to-End Wireless Communication Systems with Conditional GAN as Unknown Channel

abstract: In this article, we develop an end-to-end wireless communication system using deep neural networks (DNNs), in which DNNs are employed to perform several key functions, including encoding, decoding, modulation, and demodulation. However, an accurate estimation of instantaneous channel transfer function, i.e., channel state information (CSI), is needed in order for the transmitter DNN to learn to optimize the receiver gain in decoding. This is very much a challenge since CSI varies with time and location in wireless communications and is hard to obtain when designing transceivers. We propose to use a conditional generative adversarial net (GAN) to represent channel effects and to bridge the transmitter DNN and the receiver DNN so that the gradient of the transmitter DNN can be back-propagated from the receiver DNN. In particular, a conditional GAN is employed to model the channel effects in a data-driven way, where the received signal corresponding to the pilot symbols is added as a part of the conditioning information of the GAN. To address the curse of dimensionality when the transmit symbol sequence is long, convolutional layers are utilized. From the simulation results, the proposed method is effective on additive white Gaussian noise (AWGN) channels, Rayleigh fading channels, and frequency-selective channels, which opens a new door for building data-driven DNNs for end-to-end communication systems.


title: Design of A Two-point Steering Path Planner Using Geometric Control

abstract: For lateral vehicle dynamics, planning trajectories for lane-keeping and lane-change can be generalized as a path planning task to stabilize a vehicle onto a target lane, which is a fundamental element in nowadays autonomous driving systems. On the other hand, two-point steering for lane-change and lane-keeping has been investigated by researchers from psychology as a sensorimotor mechanism of human drivers. In the first part of this paper, using knowledge of geometric control, we will first design a path planner which satisfies five design objectives: generalization for different vehicle models, convergence to the target lane, optimality, safety in lane-change maneuver and low computational complexity. Later, based on this path planner, a two-point steering path planner will be proposed and it will be proved rigorously that this two-point steering path planner possesses the advantage--steering radius of the planned trajectory is smaller than the intrinsic radius of reference line of the target lane. This advantage is also described as "corner-cutting" in driving. The smaller driving radius of the trajectory will result in higher vehicle speed along the winding roads and more comfortness for the passengers.


title: The Analogous Structure of Accretion Flows in Supermassive and Stellar Mass Black Holes: New Insights from Faded Changing-Look Quasars

abstract: Despite their factor of ~10^8 difference in black hole mass, several lines of evidence suggest possible similarities between black hole accretion flows in active galactic nuclei (AGN) and Galactic X-ray binaries. However, it is still unclear whether the geometry of the disk-corona system in X-ray binaries directly scale up to AGN, and whether this analogy still holds in different accretion states. We test this AGN/X-ray binary analogy, by comparing the observed correlations between the UV-to-X-ray spectral index (alpha_OX) and Eddington ratio in AGN to those predicted from observations of X-ray binary outbursts. This approach probes the geometry of their disk-corona systems as they transition between different accretion states. We use new Chandra X-ray and ground-based rest-UV observations of faded 'changing-look' quasars to extend this comparison to lower Eddington ratios of <10^-2, where observations of X-ray binaries predict a softening of alpha_OX in AGN. We find that the observed correlations between alpha_OX and Eddington ratio of AGN displays a remarkable similarity to accretion state transitions in prototypical X-ray binary outbursts, including an inversion of this correlation at a critical Eddington ratio of ~10^-2. Our results suggest that the structures of black hole accretion flows directly scale across a factor of ~10^8 in black hole mass and across different accretion states, enabling us to apply theoretical models of X-ray binaries to explain AGN phenomenology.


title: Ionization age of iron ejecta in the Galactic Type Ia supernova remnant G306.3-0.9

abstract: We present a 190 ks observation of the Galactic supernova remnant (SNR) G306.3-0.9 with Suzaku. To study ejecta properties of this possible Type Ia SNR, the absolute energy scale at the Fe-K band was calibrated to a level of uncertainty less than 10 eV by a cross-calibration with the Hitomi microcalorimeter using the Perseus cluster spectra. This enabled us for the first time to accurately determine the ionization state of the Fe K$\alpha$ line of this SNR. The ionization timescale ($\tau$) of the Fe ejecta was measured to be $\log_{10} \tau$ (cm$^{-3}$ s) $=10.24\pm0.03$, significantly smaller than previous measurements. Marginally detected K$\alpha$ lines of Cr and Mn have consistent ionization timescales with Fe. The global spectrum was well fitted with shocked interstellar matter (ISM) and at least two ejecta components with different ionization timescales for Fe and intermediate mass elements (IME) such as S and Ar. One plausible interpretation of the one-order-of-magnitude shorter timescale of Fe than that of IME ($\log_{10} \tau = 11.17\pm0.07$) is a chemically stratified structure of ejecta. By comparing the X-ray absorption column to the HI distribution decomposed along the line of sight, we refined the distance to be $\sim$20 kpc. The large ISM-to-ejecta shocked mass ratio of $\sim$100 and dynamical timescale of $\sim$6 kyr place the SNR in the late Sedov phase. These properties are consistent with a stratified ejecta structure that has survived the mixing processes expected in an evolved supernova remnant.


title: Evidence of two spectral breaks in the prompt emission of gamma ray bursts

abstract: The long-lasting tension between the observed spectra of gamma ray bursts (GRBs) and the predicted synchrotron emission spectrum might be solved if electrons do not completely cool. Evidence for incomplete cooling was recently found in Swift GRBs with prompt observations down to 0.1 keV and in one bright Fermi burst, GRB 160625B. Here we systematically search for evidence of incomplete cooling in the spectra of the ten brightest short and long GRBs observed by Fermi. We find that in 8/10 long GRBs there is compelling evidence of a low energy break (below the peak energy) and good agreement with the photon indices of the synchrotron spectrum (respectively -2/3 and -3/2 below the break and between the break and the peak energy). Interestingly, none of the ten short GRBs analysed shows a break but the low energy spectral slope is consistent with -2/3. In a standard scenario, these results imply a very low magnetic field in the emission region (B' ~ 10 G in the comoving frame), at odd with expectations.


title: Machine Learning Templates for QCD Factorization in the Search for Physics Beyond the Standard Model

abstract: High-multiplicity all-hadronic final states are an important, but difficult final state for searching for physics beyond the Standard Model. A powerful search method is to look for large jets with accidental substructure due to multiple hard partons falling within a single jet. One way for estimating the background in this search is to exploit an approximate factorization in quantum chromodynamics whereby the jet mass distribution is determined only by its kinematic properties. Traditionally, this approach has been executed using histograms constructed in a background-rich region. We propose a new approach based on Generative Adversarial Networks (GANs). These neural network approaches are naturally unbinned and can be readily conditioned on multiple jet properties. In addition to using vanilla GANs for this purpose, a modification to the traditional WGAN approach has been investigated where weight clipping is replaced with a naturally compact set (in this case, the circle). Both the vanilla and modified WGAN approaches significantly outperform the histogram method, especially when modeling the dependence on features not used in the histogram construction. These results can be useful for enhancing the sensitivity of LHC searches to high-multiplicity final states involving many quarks and gluons and serve as a useful benchmark where GANs may have immediate benefit to the HEP community.


title: DASH: Deep Learning for the Automated Spectral Classification of Supernovae and their Hosts

abstract: We present DASH (Deep Automated Supernova and Host classifier), a novel software package that automates the classification of the type, age, redshift, and host galaxy of supernova spectra. DASH makes use of a new approach that does not rely on iterative template matching techniques like all previous software, but instead classifies based on the learned features of each supernova's type and age. It has achieved this by employing a deep convolutional neural network to train a matching algorithm. This approach has enabled DASH to be orders of magnitude faster than previous tools, being able to accurately classify hundreds or thousands of objects within seconds. We have tested its performance on four years of data from the Australian Dark Energy Survey (OzDES). The deep learning models were developed using TensorFlow, and were trained using over 4000 supernova spectra taken from the CfA Supernova Program and the Berkeley SN Ia Program as used in SNID (Supernova Identification software, Blondin & Tonry 2007). Unlike template matching methods, the trained models are independent of the number of spectra in the training data, which allows for DASH's unprecedented speed. We have developed both a graphical interface for easy visual classification and analysis of supernovae, and a Python library for the autonomous and quick classification of several supernova spectra. The speed, accuracy, user-friendliness, and versatility of DASH presents an advancement to existing spectral classification tools. We have made the code publicly available on GitHub and PyPI (pip install astrodash) to allow for further contributions and development. The package documentation is available at https://astrodash.readthedocs.io.


title: Floquet Hopf Insulators

abstract: We predict the existence of a novel Floquet topological insulator in three-dimensional two-band systems, the Floquet Hopf insulator, which possesses two distinct topological invariants. One is the Hopf $\mathbb{Z}$ invariant, a linking number characterizing the (non-driven) Hopf topological insulator. The second invariant is an intrinsically Floquet $\mathbb{Z}_2$ invariant, and represents a condensed matter realization of the topology underlying the Witten anomaly in particle physics. Both invariants arise from topological defects in the system's time-evolution, subject to a process in which defects at different quasienergy exchange even amounts of topological charge. Their contrasting classifications lead to a measurable physical consequence, namely, an unusual bulk-boundary correspondence where gapless edge modes are topologically protected, but may exist at either 0- or $\pi$-quasienergy. Our results represent a phase of matter beyond the conventional classification of Floquet topological insulators.


title: Symmetry-protected topological magnons in three dimensional Kitaev materials

abstract: Topological phases in magnetic materials offer novel tunability of topological properties via varying the underlying magnetism. We show that three dimensional Kitaev materials can provide a great opportunity for controlling symmetry-protected topological nodal magnons. These materials are originally considered as strong candidates for the Kitaev quantum spin liquid due to the bond-dependent frustrating spin exchange interactions. As a concrete example, we consider the symmetry and topology of the magnons in the canted zig-zag ordered state in the hyperhoneycomb $\beta\text{-}\mathrm{Li_2IrO_3}$, which can be obtained by applying a magnetic field in the counter-rotating spiral state at zero field. It is shown that the magnetic glide symmetries and the non-Hermitian nature of the bosonic magnons lead to unique topological protection that is different from the case of the fermionic counterparts. We investigate how such topological magnons can be controlled by changing the symmetry of the underlying spin exchange interactions.


title: Control of superconducting pairing symmetries in monolayer black phosphorus

abstract: Motivated by recent experimental progress, we study the effect of mechanical deformations on the superconducting pairing symmetries in monolayer black phosphorus (MBP). Starting with phonon-mediated intervalley spin-singlet electron-electron pairing and making use of realistic band parameters obtained through first-principles calculations, we show that the application of weak mechanical strain in the plane of MBP can change the effective $s$-wave and $p$-wave symmetry of the superconducting correlations into effective $d$-wave and $f$-wave symmetries, respectively. This prediction of a change in the pairing symmetries might be experimentally confirmed through angular dependence high-resolution tunneling spectroscopy, the Meissner effect, and critical temperature experiments. The idea of manipulating the superconducting symmetry class by applying planar mechanical strain can be extended to other anisotropic materials as well, and may help in providing important information of the symmetries of the order parameter, perhaps even in some high-$T_c$ superconductors.


title: Early Cosmological Evolution of Primordial Electromagnetic Fields

abstract: It is usually assumed that when Weyl invariance is unbroken in the electromagnetic sector, the energy density of primordial magnetic fields will redshift as radiation. Here we show that primordial magnetic fields do not exhibit radiation-like redshifting in the presence of stronger electric fields, as a consequence of Faraday's law of induction. In particular for the standard Maxwell theory, magnetic fields on super-horizon scales can redshift as $B^2 \propto a^{-6} H^{-2}$, instead of the usually assumed $a^{-4}$. Taking into account this effect for inflationary magnetogenesis can correct previous estimates of the magnetic field strength by up to 37 orders of magnitude. This opens new possibilities for inflationary magnetogenesis, and as an example we propose a scenario where femto-Gauss intergalactic magnetic fields are created on Mpc scales, with high-scale inflation producing observable primordial gravitational waves, and reheating happening at low temperatures.


title: Engineering Fragile Topology in Photonic Crystals: Topological Quantum Chemistry of Light

abstract: In recent years, there have been rapid advances in the parallel fields of electronic and photonic topological crystals. Topological photonic crystals in particular show promise for coherent transport of light and quantum information at macroscopic scales. In this work, we apply for the first time the recently developed theory of "Topological quantum chemistry" to the study of band structures in photonic crystals. This method allows us to design and diagnose topological photonic band structures using only group theory and linear algebra. As an example, we focus on a family of crystals formed by elliptical rods in a triangular lattice. We show that the symmetry of Bloch states in the Brillouin zone can determine the position of the localized photonic wave packets describing groups of bands. By modifying the crystal structure and inverting bands, we show how the centers of these wave packets can be moved between different positions in the unit cell. Finally, we show that for shapes of dielectric rods, there exist isolated topological bands which do not admit a well-localized description, representing the first physical instance of "fragile" topology in a truly noninteracting system. Our work demonstrates how photonic crystals are the natural platform for the future experimental investigation of fragile topological bands.


title: Quantum Advantage in Postselected Metrology

abstract: We show that postselection offers a nonclassical advantage in metrology. In every parameter-estimation experiment, the final measurement or the postprocessing incurs some cost. Postselection can improve the rate of Fisher information (the average information learned about an unknown parameter from an experimental trial) to cost. This improvement, we show, stems from the negativity of a quasiprobability distribution, a quantum extension of a probability distribution. In a classical theory, in which all observables commute, our quasiprobability distribution can be expressed as real and nonnegative. In a quantum-mechanically noncommuting theory, nonclassicality manifests in negative or nonreal quasiprobabilities. The distribution's nonclassically negative values enable postselected experiments to outperform even postselection-free experiments whose input states and final measurements are optimized: Postselected quantum experiments can yield anomalously large information-cost rates. We prove that this advantage is genuinely nonclassical: no classically commuting theory can describe any quantum experiment that delivers an anomalously large Fisher information. Finally, we outline a preparation-and-postselection procedure that can yield an arbitrarily large Fisher information. Our results establish the nonclassicality of a metrological advantage, leveraging our quasiprobability distribution as a mathematical tool.