title: The Disk Substructures at High Angular Resolution Project (DSHARP): I. Motivation, Sample, Calibration, and Overview

abstract: We introduce the Disk Substructures at High Angular Resolution Project (DSHARP), one of the initial Large Programs conducted with the Atacama Large Millimeter/submillimeter Array (ALMA). The primary goal of DSHARP is to find and characterize substructures in the spatial distributions of solid particles for a sample of 20 nearby protoplanetary disks, using very high resolution (0.035 arcsec, or 5 au FWHM) observations of their 240 GHz (1.25 mm) continuum emission. These data provide a first homogeneous look at the small-scale features in disks that are directly relevant to the planet formation process, quantifying their prevalence, morphologies, spatial scales, spacings, symmetry, and amplitudes, for targets with a variety of disk and stellar host properties. We find that these substructures are ubiquitous in this sample of large, bright disks. They are most frequently manifested as concentric, narrow emission rings and depleted gaps, although large-scale spiral patterns and small arc-shaped azimuthal asymmetries are also present in some cases. These substructures are found at a wide range of disk radii (from a few au to more than 100 au), are usually compact ($<$10 au), and show a wide range of amplitudes (brightness contrasts). Here we discuss the motivation for the project, describe the survey design and the sample properties, detail the observations and data calibration, highlight some basic results, and provide a general overview of the key conclusions that are presented in more detail in a series of accompanying articles. The DSHARP data -- including visibilities, images, calibration scripts, and more -- are released for community use at https://almascience.org/alma-data/lp/DSHARP.


title: The Disk Substructures at High Angular Resolution Project (DSHARP): II. Characteristics of Annular Substructures

abstract: The Disk Substructures at High Angular Resolution Project used ALMA to map the 1.25 millimeter continuum of protoplanetary disks at a spatial resolution of ~5 au. We present a systematic analysis of annular substructures in the 18 single-disk systems targeted in this survey. No dominant architecture emerges from this sample; instead, remarkably diverse morphologies are observed. Annular substructures can occur at virtually any radius where millimeter continuum emission is detected and range in widths from a few au to tens of au. Intensity ratios between gaps and adjacent rings range from near-unity to just a few percent. In a minority of cases, annular substructures co-exist with other types of substructures, including spiral arms (3/18) and crescent-like azimuthal asymmetries (2/18). No clear trend is observed between the positions of the substructures and stellar host properties. In particular, the absence of an obvious association with stellar host luminosity (and hence the disk thermal structure) suggests that substructures do not occur preferentially near major molecular snowlines. Annular substructures like those observed in DSHARP have long been hypothesized to be due to planet-disk interactions. A few disks exhibit characteristics particularly suggestive of this scenario, including substructures in possible mean-motion resonance and "double gap" features reminiscent of hydrodynamical simulations of multiple gaps opened by a planet in a low-viscosity disk.


title: Supervised Deep Kriging for Single-Image Super-Resolution

abstract: We propose a novel single-image super-resolution approach based on the geostatistical method of kriging. Kriging is a zero-bias minimum-variance estimator that performs spatial interpolation based on a weighted average of known observations. Rather than solving for the kriging weights via the traditional method of inverting covariance matrices, we propose a supervised form in which we learn a deep network to generate said weights. We combine the kriging weight generation and kriging process into a joint network that can be learned end-to-end. Our network achieves competitive super-resolution results as other state-of-the-art methods. In addition, since the super-resolution process follows a known statistical framework, we are able to estimate bias and variance, something which is rarely possible for other deep networks.


title: The Disk Substructures at High Angular Resolution Project (DSHARP): V. Interpreting ALMA maps of protoplanetary disks in terms of a dust model

abstract: The Disk Substructures at High Angular Resolution Project (DSHARP) is the largest homogeneous high-resolution ($\sim 0.035$ arcsec, or $\sim$ 5 au) disk continuum imaging survey with ALMA so far. In the coming years, many more disks will be mapped with ALMA at similar resolution. Interpreting the results in terms of the properties and quantities of the emitting dusty material is, however, a very non-trivial task. This is in part due to the uncertainty in the dust opacities, an uncertainty which is not likely to be resolved any time soon. It is also partly due to the fact that, as the DSHARP survey has shown, these disk often contain regions of intermediate to high optical depth, even at millimeter wavelengths and at relatively large radius in the disk. This makes the interpretation challenging, in particular if the grains are large and have a large albedo. On the other hand, the highly structured features seen in the DSHARP survey, of which strong indications were already seen in earlier observations, provide a unique opportunity to study the dust growth and dynamics. To provide continuity within the DSHARP project, its follow-up projects, and projects by other teams interested in these data, we present here the methods and opacity choices used within the DSHARP collaboration to link the measured intensity $I_\nu$ to dust surface density $\Sigma_d$.


title: The Disk Substructures at High Angular Resolution Project (DSHARP) VI: Dust trapping in thin-ringed protoplanetary disks

abstract: A large fraction of the protoplanetary disks observed with ALMA display multiple well-defined and nearly perfectly circular rings in the continuum, in many cases with substantial peak-to-valley contrast. The DSHARP campaign shows that several of these rings are very narrow in radial extent. In this paper we test the hypothesis that these dust rings are caused by dust trapping in radial pressure bumps, and if confirmed, put constraints on the physics of the dust trapping mechanism. We model this process analytically in 1D, assuming axisymmetry. By comparing this model to the data, we find that all rings are consistent with dust trapping. Based on a plausible model of the dust temperature we find that several rings are narrower than the pressure scale height, providing strong evidence for dust trapping. The rings have peak absorption optical depth in the range between 0.2 and 0.5. The dust masses stored in each of these rings is of the order of tens of Earth masses, though much ambiguity remains due to the uncertainty of the dust opacities. The dust rings are dense enough to potentially trigger the streaming instability, but our analysis cannot give proof of this mechanism actually operating. Our results show, however, that the combination of very low alpha_turb << 5e-4 and very large grains a_grain >> 0.1 cm can be excluded by the data for all the rings studied in this paper.


title: The Disk Substructures at High Angular Resolution Project (DSHARP): VII. The Planet-Disk Interactions Interpretation

abstract: The Disk Substructures at High Angular Resolution Project (DSHARP) provides a large sample of protoplanetary disks having substructures which could be induced by young forming planets. To explore the properties of planets that may be responsible for these substructures, we systematically carry out a grid of 2-D hydrodynamical simulations including both gas and dust components. We present the resulting gas structures, including the relationship between the planet mass and 1) the gaseous gap depth/width, and 2) the sub/super-Keplerian motion across the gap. We then compute dust continuum intensity maps at the frequency of the DSHARP observations. We provide the relationship between the planet mass and 1) the depth/width of the gaps at millimeter intensity maps, 2) the gap edge ellipticity and asymmetry, and 3) the position of secondary gaps induced by the planet. With these relationships, we lay out the procedure to constrain the planet mass using gap properties, and study the potential planets in the DSHARP disks. We highlight the excellent agreement between observations and simulations for AS 209 and the detectability of the young Solar System analog. Finally, under the assumption that the detected gaps are induced by young planets, we characterize the young planet population in the planet mass-semimajor axis diagram. We find that the occurrence rate for $>$ 5 $M_J$ planets beyond 5-10 au is consistent with direct imaging constraints. Disk substructures allow us probe a wide-orbit planet population (Neptune to Jupiter mass planets beyond 10 au) that is not accessible to other planet searching techniques.


title: Disk Substructures at High Angular Resolution Program (DSHARP): VIII. The Rich Ringed Substructures in the AS 209 Disk

abstract: We present a detailed analysis of the high-angular resolution (0.''037, corresponding to 5 au) observations of the 1.25 mm continuum and $^{12}$CO $2-1$ emission from the disk around the T Tauri star AS 209. AS 209 hosts one of the most unusual disks from the DSHARP sample, the first high angular resolution ALMA survey of disks (Andrews et al. 2018), as nearly all of the emission can be explained with concentric Gaussian rings. In particular, the dust emission consists of a series of narrow and closely spaced rings in the inner $\sim$60 au, two well-separated bright rings in the outer disk, centered at 74 and 120 au, and at least two fainter emission features at 90 and 130 au. We model the visibilities with a parametric representation of the radial surface brightness profile, consisting of a central core and 7 concentric Gaussian rings. Recent hydro-dynamical simulations of low viscosity disks show that super-Earth planets can produce the multiple gaps seen in AS 209 millimeter continuum emission. The $^{12}$CO line emission is centrally peaked and extends out to $\sim$300 au, much farther than the millimeter dust emission. We find axisymmetric, localized deficits of CO emission around four distinct radii, near 45, 75, 120 and 210 au. The outermost gap is located well beyond the edge of the millimeter dust emission, and therefore cannot be due to dust opacity and must be caused by a genuine CO surface density reduction, due either to chemical effects or depletion of the overall gas content.


title: The Disk Substructures at High Angular Resolution Project (DSHARP) - IX. A high definition study of the HD 163296 planet forming disk

abstract: ALMA observations of protoplanetary disks acquired by the Disk Substructure at High Angular Resolution Project (DSHARP) resolve the dust and gas emission on angular scales as small as 3 astronomical units, offering an unprecedented detailed view of the environment where planets form. In this article, we present and discuss observations of the HD 163296 protoplanetary disk that imaged the 1.25 mm dust continuum and $^{12}$CO J=2-1 rotational line emission at a spatial resolution of 4 and 10 au, respectively. The continuum observations resolve and allow us to characterize the previously discovered dust rings at radii of 67 and 100 au. They also reveal new small scale structures, such as a dark gap at 10 au, a bright ring at 15 au, a dust crescent at a radius of 55 au, and several fainter azimuthal asymmetries. The observations of the CO and dust emission inform about the vertical structure of the disk and allow us to directly constrain the dust extinction optical depth at the dust rings. Furthermore, the observed asymmetries in the dust continuum emission corroborate to the hypothesis that the complex structure of the HD 163296 disk is the result of the gravitational interaction with yet unseen planets.


title: Compressed Distributed Gradient Descent: Communication-Efficient Consensus over Networks

abstract: Network consensus optimization has received increasing attention in recent years and has found important applications in many scientific and engineering fields. To solve network consensus optimization problems, one of the most well-known approaches is the distributed gradient descent method (DGD). However, in networks with slow communication rates, DGD's performance is unsatisfactory for solving high-dimensional network consensus problems due to the communication bottleneck. This motivates us to design a communication-efficient DGD-type algorithm based on compressed information exchanges. Our contributions in this paper are three-fold: i) We develop a communication-efficient algorithm called amplified-differential compression DGD (ADC-DGD) and show that it converges under {\em any} unbiased compression operator; ii) We rigorously prove the convergence performances of ADC-DGD and show that they match with those of DGD without compression; iii) We reveal an interesting phase transition phenomenon in the convergence speed of ADC-DGD. Collectively, our findings advance the state-of-the-art of network consensus optimization theory.


title: The Disk Substructures at High Angular Resolution Project (DSHARP): X. Multiple rings, a misaligned inner disk, and a bright arc in the disk around the T Tauri star HD 143006

abstract: We present a detailed analysis of new ALMA observations of the disk around the T-Tauri star HD 143006, which at 46 mas (7.6 au) resolution reveal new substructures in the 1.25 mm continuum emission. The disk resolves into a series of concentric rings and gaps together with a bright arc exterior to the rings that resembles hydrodynamics simulations of a vortex, and a bridge-like feature connecting the two innermost rings. Although our $^{12}$CO observations at similar spatial resolution do not show obvious substructure, they reveal an inner disk depleted of CO emission. From the continuum emission and the CO velocity field we find that the innermost ring has a higher inclination than the outermost rings and the arc. This is evidence for either a small ($\sim8^{\circ}$) or moderate ($\sim41^{\circ}$) misalignment between the inner and outer disk, depending on the specific orientation of the near/far sides of the inner/outer disk. We compare the observed substructures in the ALMA observations with recent scattered light data from VLT/SPHERE of this object. In particular, the location of narrow shadow lanes in the SPHERE image combined with pressure scale height estimates, favor a large misalignment of about $41^{\circ}$. We discuss our findings in the context of a dust-trapping vortex, planet-carved gaps, and a misaligned inner disk due to the presence of an inclined companion to HD 143006.


title: Counting symbol switches in synchronizing automata

abstract: Instead of looking at the lengths of synchronizing words as in \v{C}ern\'y's conjecture, we look at the switch count of such words, that is, we only count the switches from one letter to another. Where the synchronizing words of the \v{C}ern\'y automata $\mathcal{C}_n$ have switch count linear in $n$, we wonder whether synchronizing automata exist for which every synchronizing word has quadratic switch count. The answer is positive: we prove that switch count has the same complexity as synchronizing word length. We give some series of synchronizing automata yielding quadratic switch count, the best one reaching $\frac{2}{3} n^2 + O(n)$ as switch count. We investigate all binary automata on at most 9 states and determine the maximal possible switch count. For all $3\leq n\leq 9$, a strictly higher switch count can be reached by allowing more symbols. This behaviour differs from length, where for every $n$, no automata are known with higher synchronization length than $\mathcal{C}_n$, which has only two symbols. It is not clear if this pattern extends to larger $n$. For $n\geq 12$, our best construction only has two symbols.


title: Target of Opportunity Observations of Gravitational Wave Events with LSST

abstract: The discovery of the electromagnetic counterparts to the binary neutron star merger GW170817 has opened the era of GW+EM multi-messenger astronomy. Exploiting this breakthrough requires increasing samples to explore the diversity of kilonova behaviour and provide more stringent constraints on the Hubble constant, and tests of fundamental physics. LSST can play a key role in this field in the 2020s, when the gravitational wave detector network is expected to detect higher rates of merger events involving neutron stars ($\sim$10s per year) out to distances of several hundred Mpc. Here we propose comprehensive target-of-opportunity (ToOs) strategies for follow-up of gravitational-wave sources that will make LSST the premiere machine for discovery and early characterization for neutron star mergers and other gravitational-wave sources.


title: Intersection Forms of Spin 4-Manifolds and the Pin(2)-Equivariant Mahowald Invariant

abstract: In studying the "11/8-Conjecture" on the Geography Problem in 4-dimensional topology, Furuta proposed a question on the existence of Pin(2)-equivariant stable maps between certain representation spheres. In this paper, we present a complete solution to this problem by analyzing the Pin(2)-equivariant Mahowald invariants. As a geometric application of our result, we prove a "10/8+4"-Theorem. We prove our theorem by analyzing maps between certain finite spectra arising from BPin(2) and various Thom spectra associated with it. To analyze these maps, we use the technique of cell diagrams, known results on the stable homotopy groups of spheres, and the $j$-based Atiyah-Hirzebruch spectral sequence.


title: Positive helicity Einstein-Yang-Mills amplitudes from the Double Copy

abstract: All positive helicity four-point gluon-graviton amplitudes in Einstein-Yang-Mills theory coupled to a dilaton and axion field are computed at the leading one-loop order using colour-kinematics duality. In particular, all relevant contributions in the gravitational and gauge coupling are established. This extends a previous generalized unitarity based computation beyond the leading terms in the gravitational coupling $\kappa$. The resulting purely rational expressions take very compact forms. The previously seen vanishing of the single-graviton-three-gluon amplitude at leading order in $\kappa$ is seen to be lifted at order $\kappa^{3}$.


title: On legitimate mining of cryptocurrency in the browser - a feasibility study

abstract: Cryptocurrency mining in the browser has the potential to provide a new pay-as-you-go monetisation mechanism for consuming digital media over the Web. However, browser mining has recently received strong criticism due to illegitimate use of mining scripts in several popular websites (a practice called cryptojacking). Here we provide the first feasibility study of browser mining as a legitimate means of monetisation in terms of revenue, user consent and user experience within a specially built website. Our results compare browser mining to display advertisement and indicate browser mining provides a preferable user experience to advertising when the hash rate is user-adjustable. Furthermore, over 60% of participants would select browser mining over advertisement if they were invested in the ecosystem by obtaining half of the mined cryptocurrency. Our estimations show that browser mining currently generates revenue at a rate 46 times less than advertisement, however we would expect that gap to decrease as we observed a significant drop in mining difficulty after our tested cryptocurrency implemented ASIC-resistant mining measures. Overall, based on our results we find browser mining to be a legitimate alternative to display advertisement and conclude by discussing its current limitations and potential applications.


title: Experimental study of inertial particles clustering and settling in homogeneous turbulence

abstract: We study experimentally the spatial distribution, settling, and interaction of sub-Kolmogorov inertial particles with homogeneous turbulence. Utilizing a zero-mean-flow air turbulence chamber, we drop size-selected solid particles and study their dynamics with particle imaging and tracking velocimetry at multiple resolutions. The carrier flow is simultaneously measured by particle image velocimetry of suspended tracers, allowing the characterization of the interplay between both the dispersed and continuous phases. The turbulence Reynolds number based on the Taylor microscale ranges from $Re_{\lambda}\approx 200$ - $500$, while the particle Stokes number based on the Kolmogorov scale varies between $St_{\eta} = O(1)$ and $O(10)$. Clustering is confirmed to be most intense for $St_{\eta} \approx 1$, but it extends over larger scales for heavier particles. Individual clusters form a hierarchy of self-similar, fractal-like objects, preferentially aligned with gravity and sizes that can reach the integral scale of the turbulence. Remarkably, the settling velocity of $St_{\eta} \approx 1$ particles can be several times larger than the still-air terminal velocity, and the clusters can fall even faster. This is caused by downward fluid fluctuations preferentially sweeping the particles, and we propose that this mechanism is influenced by both large and small scales of the turbulence. The particle-fluid slip velocities show large variance, and both the instantaneous particle Reynolds number and drag coefficient can greatly differ from their nominal values. Finally, for sufficient loadings, the particles generally augment the small-scale fluid velocity fluctuations, which however may account for a limited fraction of the turbulent kinetic energy.


title: Accelerating Convolutional Neural Networks via Activation Map Compression

abstract: The deep learning revolution brought us an extensive array of neural network architectures that achieve state-of-the-art performance in a wide variety of Computer Vision tasks including among others, classification, detection and segmentation. In parallel, we have also been observing an unprecedented demand in computational and memory requirements, rendering the efficient use of neural networks in low-powered devices virtually unattainable. Towards this end, we propose a three-stage compression and acceleration pipeline that sparsifies, quantizes and entropy encodes activation maps of Convolutional Neural Networks. Sparsification increases the representational power of activation maps leading to both acceleration of inference and higher model accuracy. Inception-V3 and MobileNet-V1 can be accelerated by as much as $1.6\times$ with an increase in accuracy of $0.38\%$ and $0.54\%$ on the ImageNet and CIFAR-10 datasets respectively. Quantizing and entropy coding the sparser activation maps lead to higher compression over the baseline, reducing the memory cost of the network execution. Inception-V3 and MobileNet-V1 activation maps, quantized to $16$ bits, are compressed by as much as $6\times$ with an increase in accuracy of $0.36\%$ and $0.55\%$ respectively.


title: Nonarchimedean Holographic Entropy from Networks of Perfect Tensors

abstract: We consider a class of holographic quantum error-correcting codes, built from perfect tensors in network configurations dual to Bruhat-Tits trees and their quotients by Schottky groups corresponding to BTZ black holes. The resulting holographic states can be constructed in the limit of infinite network size. We obtain a $p$-adic version of entropy which obeys a Ryu-Takayanagi like formula for bipartite entanglement of connected or disconnected regions, in both genus-zero and genus-one $p$-adic backgrounds, along with a Bekenstein-Hawking-type formula for black hole entropy. We prove entropy inequalities obeyed by such tensor networks, such as subadditivity, strong subadditivity, and monogamy of mutual information (which is always saturated). In addition, we construct infinite classes of perfect tensors directly from semiclassical states in phase spaces over finite fields, generalizing the CRSS algorithm, and give Hamiltonians exhibiting these as vacua.


title: An Automatic System for Unconstrained Video-Based Face Recognition

abstract: Although deep learning approaches have achieved performance surpassing humans for still image-based face recognition, unconstrained video-based face recognition is still a challenging task due to large volume of data to be processed and intra/inter-video variations on pose, illumination, occlusion, scene, blur, video quality, etc. In this work, we consider challenging scenarios for unconstrained video-based face recognition from multiple-shot videos and surveillance videos with low-quality frames. To handle these problems, we propose a robust and efficient system for unconstrained video-based face recognition, which is composed of modules for face/fiducial detection, face association, and face recognition. First, we use multi-scale single-shot face detectors to efficiently localize faces in videos. The detected faces are then grouped respectively through carefully designed face association methods, especially for multi-shot videos. Finally, the faces are recognized by the proposed face matcher based on an unsupervised subspace learning approach and a subspace-to-subspace similarity metric. Extensive experiments on challenging video datasets, such as Multiple Biometric Grand Challenge (MBGC), Face and Ocular Challenge Series (FOCS), IARPA Janus Surveillance Video Benchmark (IJB-S) for low-quality surveillance videos and IARPA JANUS Benchmark B (IJB-B) for multiple-shot videos, demonstrate that the proposed system can accurately detect and associate faces from unconstrained videos and effectively learn robust and discriminative features for recognition.


title: Functional Integration on Paracompact Manifolds

abstract: In 1948 Feynman introduced functional integration. Long ago the problematic aspect of measures in the space of fields was overcome with the introduction of volume elements in Probability Space, leading to stochastic formulations. More recently Cartier and DeWitt-Morette focused on the definition of a proper integration measure and established a rigorous mathematical formulation of functional integration. Their central observation relates to the distributional nature of fields, for it leads to the identification of distribution functionals with Schwartz space test functions as density measures. This is just the mathematical content of the Taylor-Lagrange Scheme developed by the authors in a recent past. In this scheme fields are living in metric Schwartz-Sobolev spaces, subject to open coverings with subordinate partition-of-unity test functions. In effect these PU, through the convolution operation, lead to smooth field functions on an extended Schwartz space. In this way the basic assumption of differential geometry -- that fields live on differentiable manifolds -- is validated. Next it is shown that convolution in the theory of distributions leads to a sound definition of Laplace-Stieltjes transforms , stemming from the existence of an isometry invariant Hausdorff measure in the space of fields. Turning to gauge theories the construction of smooth vector fields on a curved manifold is established, as required for differentiable vector fibre bundles. The proper choice of a connection further separates in the functional Hausdorff integration measure a finite Gaussian integration over the gauge parameter which factors out and plays no physical role. For non-Abelian Yang-Mills gauge theories the properties of Vilkowisky-DeWitt's connection and of Landau-DeWitt's covariant back-ground gauge result in very simple calculation rules.


title: Influence of strain and chemical substitution on the magnetic anisotropy of antiferromagnetic Cr$_2$O$_3$: an ab-initio study

abstract: The influence of the mechanical strain and chemical substitution on the magnetic anisotropy energy (MAE) of Cr$_2$O$_3$ is studied using first-principles calculations. Dzyaloshinskii-Moriya interaction contributes substantially to MAE by inducing spin canting when the antiferromagnetic order parameter is not aligned with the hexagonal axis. Nearly cubic crystal field results in a very small MAE in pure Cr$_2$O$_3$ at zero strain, which is incorrectly predicted to be negative (in-plane) on account of spin canting. The MAE is strongly modified by epitaxial strain, which tunes the crystal-field splitting of the $t_{2g}$ triplet. The contribution from magnetic dipolar interaction is very small at any strain. The effects of cation (Al, Ti, V, Co, Fe, Nb, Zr, Mo) and anion (B) substitutions on MAE are examined. Al increases MAE thanks to the local lattice deformation. In contrast, the electronic configuration of V and Nb strongly promotes easy-plane anisotropy, while other transition-metal dopants have only a moderate effect on MAE. Substitution of oxygen by boron, which has been reported to increase the N\'eel temperature, has a weak effect on MAE, whose sign depends on the charge state of B. The electric field applied along the (0001) axis has a weak second-order effect on the MAE.


title: Potential capacity and applications

abstract: We introduce a new capacity associated to a non negative function V. We apply this notion to the study of a necessary and sufficient condition to ensure the existence and uniqueness of a Schrodinger type equation with measure data and with an operator whose coefficients are discontinuous . Our method is based among others on a new topology and density results.


title: Gas density perturbations induced by forming planet(s) in the AS 209 protoplanetary disk as seen with ALMA

abstract: The formation of planets occurs within protoplanetary disks surrounding young stars, resulting in perturbation of the gas and dust surface densities. Here, we report the first evidence of spatially resolved gas surface density ($\Sigma_{g}$) perturbation towards the AS~209 protoplanetary disk from the optically thin C$^{18}$O ($J=2-1$) emission. The observations were carried out at 1.3~mm with ALMA at a spatial resolution of about 0.3$\arcsec$ $\times$ 0.2$\arcsec$ (corresponding to $\sim$ 38 $\times$ 25 au). The C$^{18}$O emission shows a compact ($\le$60~au), centrally peaked emission and an outer ring peaking at 140~au, consistent with that observed in the continuum emission and, its azimuthally averaged radial intensity profile presents a deficit that is spatially coincident with the previously reported dust map. This deficit can only be reproduced with our physico-thermochemical disk model by lowering $\Sigma_{gas}$ by nearly an order of magnitude in the dust gaps. Another salient result is that contrary to C$^{18}$O, the DCO$^{+}$ ($J=3-2$) emission peaks between the two dust gaps. We infer that the best scenario to explain our observations (C$^{18}$O deficit and DCO$^{+}$ enhancement) is a gas perturbation due to forming-planet(s), that is commensurate with previous continuum observations of the source along with hydrodynamical simulations. Our findings confirm that the previously observed dust gaps are very likely due to perturbation of the gas surface density that is induced by a planet of at least 0.2~M$\rm_{Jupiter}$ in formation. Finally, our observations also show the potential of using CO isotopologues to probe the presence of saturn mass planet(s).


title: Estimating heterogeneous treatment effects in nonstationary time series with state-space models

abstract: Randomized trials and observational studies, more often than not, run over a certain period of time. The treatment effect evolves during this period which provides crucial insights into the treatment response and the long-term effects. Many conventional methods for estimating treatment effects are limited to the i.i.d. setting and are not suited for inferring the time dynamics of the treatment effect. The time series encountered in these settings are highly informative but often nonstationary due to the changing effects of treatment. This increases the difficulty, since stationarity, a common assumption in time series analysis, cannot be reasonably assumed. Another challenge is the heterogeneity of the treatment effect when the treatment affects units differently. The task of estimating heterogeneous treatment effects from nonstationary and, in particular, interventional time series is highly relevant but has remained unexplored yet. We propose Causal Transfer, a method which combines regression to adjust for confounding with time series modelling to learn the effect of the treatment and how it evolves over time. Causal Transfer does not assume the data to be stationary and can be applied to randomized trials and observational studies in which treatment is confounded. Causal Transfer adjusts the effect for possible confounders and transfers the learned effect to other time series and, thereby, estimates various forms of treatment effects, such as the average treatment effect (ATE) or the conditional average treatment effect (CATE). By learning the time dynamics of the effect, Causal Transfer can also predict the treatment effect for unobserved future time points and determine the long-term consequences of treatment.


title: Attentional Heterogeneous Graph Neural Network: Application to Program Reidentification

abstract: Program or process is an integral part of almost every IT/OT system. Can we trust the identity/ID (e.g., executable name) of the program? To avoid detection, malware may disguise itself using the ID of a legitimate program, and a system tool (e.g., PowerShell) used by the attackers may have the fake ID of another common software, which is less sensitive. However, existing intrusion detection techniques often overlook this critical program reidentification problem (i.e., checking the program's identity). In this paper, we propose an attentional heterogeneous graph neural network model (DeepHGNN) to verify the program's identity based on its system behaviors. The key idea is to leverage the representation learning of the heterogeneous program behavior graph to guide the reidentification process. We formulate the program reidentification as a graph classification problem and develop an effective attentional heterogeneous graph embedding algorithm to solve it. Extensive experiments --- using real-world enterprise monitoring data and real attacks --- demonstrate the effectiveness of DeepHGNN across multiple popular metrics and the robustness to the normal dynamic changes like program version upgrades.


title: Light scalar dark matter coupled to a trace of energy-momentum tensor

abstract: We consider dark matter represented by the light scalar field whose coupling to the ordinary matter is extremely suppressed. We assume that this interaction can be described as the coupling of the square of the field to the energy-momentum tensor. We study the effect of this interaction on the evolution of dark matter scalar, as well as bounds on the model parameters that come from the variation of fundamental constants at the BBN.


title: Search for supersymmetry in events with a photon, a lepton, and missing transverse momentum in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: Results of a search for supersymmetry are presented using events with a photon, an electron or muon, and large missing transverse momentum. The analysis is based on a data sample corresponding to an integrated luminosity of 35.9 fb$^{-1}$ of proton-proton collisions at $\sqrt{s} =$ 13 TeV, produced by the LHC and collected with the CMS detector in 2016. Theoretical models with gauge-mediated supersymmetry breaking predict events with photons in the final state, as well as electroweak gauge bosons decaying to leptons. Searches for events with a photon, a lepton, and missing transverse momentum are sensitive probes of these models. No excess of events is observed beyond expectations from standard model processes. The results of the search are interpreted in the context of simplified models inspired by gauge-mediated supersymmetry breaking. These models are used to derive upper limits on the production cross sections and set lower bounds on masses of supersymmetric particles. Gaugino masses below 930 GeV are excluded at the 95% confidence level in a simplified model with electroweak production of a neutralino and chargino. For simplified models of gluino and squark pair production, gluino masses up to 1.75 TeV and squark masses up to 1.43 TeV are excluded at the 95% confidence level.


title: Non-Standard Neutrino Interactions and Neutral Gauge Bosons

abstract: We investigate Non-Standard Neutrino Interactions (NSI) arising from a flavor-sensitive $Z'$ boson of a new $U(1)'$ symmetry. We compare the limits from neutrino oscillations, coherent elastic neutrino-nucleus scattering, and $Z'$ searches at different beam and collider experiments for a variety of straightforward anomaly-free $U(1)'$ models generated by linear combinations of $B-L$ and lepton-family-number differences $L_\alpha-L_\beta$. Depending on the flavor structure of those models it is easily possible to avoid NSI signals in long-baseline neutrino oscillation experiments or change the relative importance of the various experimental searches. We also point out that kinetic $Z$-$Z'$ mixing gives vanishing NSI in long-baseline experiments if a direct coupling between the $U(1)'$ gauge boson and matter is absent. In contrast, $Z$-$Z'$ mass mixing generates such NSI, which in turn means that there is a Higgs multiplet charged under both the Standard Model and the new $U(1)'$ symmetry.


title: Dynamics of thick, open spirals in Perlas potentials

abstract: The PERLAS potential has been successfully used in many studies related with the dynamics of the spiral arms \textit{on} the equatorial plane of normal (non-barred) spiral galaxies. In the present work we extend these studies by investigating the three-dimensional dynamics of the spiral arms in the same type of potential. We consider a typical open, logarithmic, spiral pattern of pitch angle 25$^{\circ}$ and we examine the stellar orbits that can support it as the ratio of the masses of the spiral over the disk component ($M_{s}/M_{d}$) varies. We indicate the families of `three-dimensional' periodic orbits that act as the backbone of the spiral structure and we discuss their stability in the models we present. We study further the quasi-periodic and non-periodic orbits in general that follow spiral-supporting orbits as the $M_{s}/M_{d}$ ratio increases. We find that a bisymmetric spiral with 25$^{\circ}$ pitch angle is better supported by orbits in models with $0.03\lessapprox M_{s}/M_{d} \lessapprox 0.07$. In these cases a strong spiral pattern is supported between the radial 2:1 and 4:1 resonances, while local enhancements of the imposed spirals are encountered in some models between 4:1 and corotation. A characteristic bar-like structure is observed in all models at radii smaller than the radius of the 2:1 resonance.


title: Individual Fairness in Hindsight

abstract: Since many critical decisions impacting human lives are increasingly being made by algorithms, it is important to ensure that the treatment of individuals under such algorithms is demonstrably fair under reasonable notions of fairness. One compelling notion proposed in the literature is that of individual fairness (IF), which advocates that similar individuals should be treated similarly (Dwork et al. 2012). Originally proposed for offline decisions, this notion does not, however, account for temporal considerations relevant for online decision-making. In this paper, we extend the notion of IF to account for the time at which a decision is made, in settings where there exists a notion of conduciveness of decisions as perceived by the affected individuals. We introduce two definitions: (i) fairness-across-time (FT) and (ii) fairness-in-hindsight (FH). FT is the simplest temporal extension of IF where treatment of individuals is required to be individually fair relative to the past as well as future, while in FH, we require a one-sided notion of individual fairness that is defined relative to only the past decisions. We show that these two definitions can have drastically different implications in the setting where the principal needs to learn the utility model. Linear regret relative to optimal individually fair decisions is inevitable under FT for non-trivial examples. On the other hand, we design a new algorithm: Cautious Fair Exploration (CaFE), which satisfies FH and achieves sub-linear regret guarantees for a broad range of settings. We characterize lower bounds showing that these guarantees are order-optimal in the worst case. FH can thus be embedded as a primary safeguard against unfair discrimination in algorithmic deployments, without hindering the ability to take good decisions in the long-run.


title: SIMD-X: Programming and Processing of Graph Algorithms on GPUs

abstract: With high computation power and memory bandwidth, graphics processing units (GPUs) lend themselves to accelerate data-intensive analytics, especially when such applications fit the single instruction multiple data (SIMD) model. However, graph algorithms such as breadth-first search and k-core, often fail to take full advantage of GPUs, due to irregularity in memory access and control flow. To address this challenge, we have developed SIMD-X, for programming and processing of single instruction multiple, complex, data on GPUs. Specifically, the new Active-Compute-Combine (ACC) model not only provides ease of programming to programmers, but more importantly creates opportunities for system-level optimizations. To this end, SIMD-X utilizes just-in-time task management which filters out inactive vertices at runtime and intelligently maps various tasks to different amount of GPU cores in pursuit of workload balancing. In addition, SIMD-X leverages push-pull based kernel fusion that, with the help of a new deadlock-free global barrier, reduces a large number of computation kernels to very few. Using SIMD-X, a user can program a graph algorithm in tens of lines of code, while achieving 3?, 6?, 24?, 3? speedup over Gunrock, Galois, CuSha, and Ligra, respectively.


title: Superluminous Supernovae from the Dark Energy Survey

abstract: We present a sample of 21 hydrogen-free superluminous supernovae (SLSNe-I), and one hydrogen-rich SLSN (SLSN-II) detected during the five-year Dark Energy Survey (DES). These SNe, located in the redshift range 0.220<z<1.998, represent the largest homogeneously-selected sample of SLSN events at high redshift. We present the observed g,r, i, z light curves for these SNe, which we interpolate using Gaussian Processes. The resulting light curves are analysed to determine the luminosity function of SLSN-I, and their evolutionary timescales. The DES SLSN-I sample significantly broadens the distribution of SLSN-I light curve properties when combined with existing samples from the literature. We fit a magnetar model to our SLSNe, and find that this model alone is unable to replicate the behaviour of many of the bolometric light curves. We search the DES SLSN-I light curves for the presence of initial peaks prior to the main light-curve peak. Using a shock breakout model, our Monte Carlo search finds that 3 of our 14 events with pre-max data display such initial peaks. However, 10 events show no evidence for such peaks, in some cases down to an absolute magnitude of <-16, suggesting that such features are not ubiquitous to all SLSN-I events. We also identify a red pre-peak feature within the light curve of one SLSN, which is comparable to that observed within SN2018bsz.


title: PlaneRCNN: 3D Plane Detection and Reconstruction from a Single Image

abstract: This paper proposes a deep neural architecture, PlaneRCNN, that detects and reconstructs piecewise planar surfaces from a single RGB image. PlaneRCNN employs a variant of Mask R-CNN to detect planes with their plane parameters and segmentation masks. PlaneRCNN then jointly refines all the segmentation masks with a novel loss enforcing the consistency with a nearby view during training. The paper also presents a new benchmark with more fine-grained plane segmentations in the ground-truth, in which, PlaneRCNN outperforms existing state-of-the-art methods with significant margins in the plane detection, segmentation, and reconstruction metrics. PlaneRCNN makes an important step towards robust plane extraction, which would have an immediate impact on a wide range of applications including Robotics, Augmented Reality, and Virtual Reality.


title: Accretion models for LLAGNs: Model Parameter Estimation and Prediction of their Detectibility

abstract: The Event Horizon Telescope (EHT) provides a unique opportunity to probe the physics of supermassive black holes through Very Large Baseline Interferometry (VLBI), such as the existence of the event horizon, the accretion processes as well as jet formation. We build a theoretical model which includes an Advection Dominated Accretion Flow (ADAF) and a simple radio jet outflow. The predicted spectral energy distribution (SED) of this model is compared to observations to get the best estimates of the model parameters. Also the model-predicted radial emission profiles at different frequency bands can be used to predict whether the inflow can be resolved by the EHT.


title: Disciplined Geometric Programming

abstract: We introduce log-log convex programs, which are optimization problems with positive variables that become convex when the variables, objective functions, and constraint functions are replaced with their logs, which we refer to as a log-log transformation. This class of problems generalizes traditional geometric programming and generalized geometric programming, and it includes interesting problems involving nonnegative matrices. We give examples of log-log convex functions, some well-known and some less so, and we develop an analog of disciplined convex programming, which we call disciplined geometric programming. Disciplined geometric programming is a subclass of log-log convex programming generated by a composition rule and a set of functions with known curvature under the log-log transformation. Finally, we describe an implementation of disciplined geometric programming as a reduction in CVXPY 1.0.


title: Moving Table Magnetic Particle Imaging: A stepwise approach preserving high spatio-temporal resolution

abstract: Magnetic Particle Imaging (MPI) is a highly sensitive imaging method that enables the visualization of magnetic tracer materials with a temporal resolution of more than 46 volumes per second. In MPI the size of the field of view scales with the strengths of the applied magnetic fields. In clinical applications those strengths are limited by peripheral nerve stimulation, specific absorption rates, and the requirement to acquire images of high spatial resolution. Therefore, the size of the field of view is usually a few cubic centimeters. To bypass this limitation, additional focus fields and/or external object movements can be applied. In this work, the latter approach is investigated. An object is moved through the scanner bore one step at a time, while the MPI scanner continuously acquires data from its static field of view. Using a 3D phantom and dynamic 3D in vivo data it is shown that the data from such a moving table experiment can be jointly reconstructed after reordering the data with respect to the stepwise object shifts and heart beat phases.


title: Transition metal dichalcogenide nanodisks as high-index dielectric Mie nanoresonators

abstract: Monolayer transition metal dichalcogenides (TMDCs) have recently been proposed as a unique excitonic platform for advanced optical and electronic functionalities. However, in spite of intense research efforts, it has been largely overlooked that, in addition to displaying rich exciton physics, TMDCs also possess a very high refractive index. This opens a possibility to utilize these materials for constructing resonant nanoantennas based on subwavelength geometrical modes. Here we show that nanodisks fabricated from exfoliated multilayer WS$_2$ support distinct Mie resonances and so-called anapole states that can be easily tuned in wavelength over the visible and near-infrared spectral range by varying the nanodisks' size and aspect ratio. We argue that the TMDC material anisotropy and the presence of excitons substantially enrich nanophotonics by complementing traditional approaches based on plasmonics and well-known high-index materials such as silicon. As a proof-of-concept, we demonstrate a novel regime of light-matter interaction, anapole-exciton polaritons, which we realize within a single WS$_2$ nanodisk. Our results thus suggest that nanopatterned TMDCs are promising materials for high-index nanophotonics applications with enriched functionalities and superior prospects.


title: BRISC-V Emulator: A Standalone, Installation-Free, Browser-Based Teaching Tool

abstract: Many computer organization and computer architecture classes have recently started adopting the RISC-V architecture as an alternative to proprietary RISC ISAs and architectures. Emulators are a common teaching tool used to introduce students to writing assembly. We present the BRISC-V (Boston University RISC-V) Emulator and teaching tool, a RISC-V emulator inspired by existing RISC and CISC emulators. The emulator is a web-based, pure javascript implementation meant to simplify deployment, as it does not require maintaining support for different operating systems or any installation. Here we present the workings, usage, and extensibility of the BRISC-V emulator.


title: Rapid decay and polynomial growth for bicrossed products

abstract: We study the rapid decay property and polynomial growth for duals of bicrossed products coming from a matched pair of a discrete group and a compact group


title: DOSED: a deep learning approach to detect multiple sleep micro-events in EEG signal

abstract: Background: Electroencephalography (EEG) monitors brain activity during sleep and is used to identify sleep disorders. In sleep medicine, clinicians interpret raw EEG signals in so-called sleep stages, which are assigned by experts to every 30s window of signal. For diagnosis, they also rely on shorter prototypical micro-architecture events which exhibit variable durations and shapes, such as spindles, K-complexes or arousals. Annotating such events is traditionally performed by a trained sleep expert, making the process time consuming, tedious and subject to inter-scorer variability. To automate this procedure, various methods have been developed, yet these are event-specific and rely on the extraction of hand-crafted features. New method: We propose a novel deep learning architecure called Dreem One Shot Event Detector (DOSED). DOSED jointly predicts locations, durations and types of events in EEG time series. The proposed approach, applied here on sleep related micro-architecture events, is inspired by object detectors developed for computer vision such as YOLO and SSD. It relies on a convolutional neural network that builds a feature representation from raw EEG signals, as well as two modules performing localization and classification respectively. Results and comparison with other methods: The proposed approach is tested on 4 datasets and 3 types of events (spindles, K-complexes, arousals) and compared to the current state-of-the-art detection algorithms. Conclusions: Results demonstrate the versatility of this new approach and improved performance compared to the current state-of-the-art detection methods.


title: Volumetric 3D-printed antennas, manufactured via selective polymer metallization

abstract: Additive manufacturing paves new ways to an efficient exploration of the third space dimension, providing advantages over conventional planar architectures. In particular, volumetric electromagnetic antennas can demonstrate superior characteristics, outperforming their planar counterparts. Here a new approach to the fabrication of electromagnetic devices is developed and applied to antennas, implemented on curved surfaces. Highly directive and broadband antennas were 3D-printed on hemispherical supports. The antenna skeleton and the support were simultaneously printed with different polymer materials - PLA mixed with graphene flakes and pure PLA, respectfully. Weakly DC-conductive graphene PLA-based skeleton was post-processed and high-quality conductive copper layer was selectively electrochemically deposited on it. The antenna devices were found to demonstrate radiation performance, similar to that achievable with conventional fabrication approaches. However, additive manufacturing of RF antennas provides superior capabilities of constructing tailor-made devices with properties, pre-defined by non-standardized end users.


title: Chat-crowd: A Dialog-based Platform for Visual Layout Composition

abstract: In this paper we introduce Chat-crowd, an interactive environment for visual layout composition via conversational interactions. Chat-crowd supports multiple agents with two conversational roles: agents who play the role of a designer are in charge of placing objects in an editable canvas according to instructions or commands issued by agents with a director role. The system can be integrated with crowdsourcing platforms for both synchronous and asynchronous data collection and is equipped with comprehensive quality controls on the performance of both types of agents. We expect that this system will be useful to build multimodal goal-oriented dialog tasks that require spatial and geometric reasoning.


title: Visual Depth Mapping from Monocular Images using Recurrent Convolutional Neural Networks

abstract: A reliable sense-and-avoid system is critical to enabling safe autonomous operation of unmanned aircraft. Existing sense-and-avoid methods often require specialized sensors that are too large or power intensive for use on small unmanned vehicles. This paper presents a method to estimate object distances based on visual image sequences, allowing for the use of low-cost, on-board monocular cameras as simple collision avoidance sensors. We present a deep recurrent convolutional neural network and training method to generate depth maps from video sequences. Our network is trained using simulated camera and depth data generated with Microsoft's AirSim simulator. Empirically, we show that our model achieves superior performance compared to models generated using prior methods.We further demonstrate that the method can be used for sense-and-avoid of obstacles in simulation.


title: The China crisis

abstract: The so-called \textit{China crisis}, well documented in \textit{History of the IAU} by Adriaan Blaauw and in \textit{Under the Same Starry Sky: History of the IAU} by Chengqi Fu and Shuhua Ye, refers to the withdrawal in 1960 of the People's Republic of China (PRC) from the Union. The crisis stemmed from the admission by the IAU, amidst strong protest from PRC and some other member countries, of the Republic of China (ROC) to the Union, creating the so-called `\textit{Two Chinas}' -- or `\textit{One China, one Taiwan}' problem. The crisis directly led to the absence of mainland Chinese astronomers from the stage of international collaborations and exchanges, and was only solved two decades later. The solution, accepted by all the parties involved, is that China is to have two adhering organizations, with mainland China astronomers represented by the Chinese Astronomical Society located in Nanjing (China Nanjing) and China Taiwan astronomers represented by the Academia Sinica located in Taipei (China Taipei). The denominations `\textit{China Nanjing}' and `\textit{China Taipei}' represent the IAU official resolution and should be used in all IAU events. The China crisis, probably the most serious one in IAU history, was a painful lesson in the 100-year development of the Union. Yet, with its eventual solution, the Union has emerged stronger, upholding its spirit of promoting astronomical development through international collaboration of astronomers from all regions and countries, regardless of the political systems, religion, ethnicity, gender or level of astronomical development.


title: Adaptive spectral solution method for the Landau and Lenard-Balescu equations

abstract: We present an adaptive spectral method for solving the Landau/Fokker-Planck equation for electron-ion systems. The heart of the algorithm is an expansion in Laguerre polynomials, which has several advantages, including automatic conservation of both energy and particles without the need for any special discretization or time-stepping schemes. One drawback is the $O(N^3)$ memory requirement, where $N$ is the number of polynomials used. This can impose an inconvenient limit in cases of practical interest, such as when two particle species have widely separated temperatures. The algorithm we describe here addresses this problem by periodically re-projecting the solution onto a judicious choice of new basis functions that are still Laguerre polynomials but have arguments adapted to the current physical conditions. This results in a reduction in the number of polynomials needed, at the expense of increased solution time. Because the equations are solved with little difficulty, this added time is not of much concern compared to the savings in memory. To demonstrate the algorithm, we solve several relaxation problems that could not be computed with the spectral method without re-projection. Another major advantage of this method is that it can be used for collision operators more complicated than that of the Landau equation, and we demonstrate this here by using it to solve the non-degenerate quantum Lenard-Balescu equation for a hydrogen plasma.


title: Searches for sterile neutrinos at very short baseline reactor experiments

abstract: For a long time there were 3 main experimental indications in favor of the existence of sterile neutrinos: $\bar{\nu_e}$ appearance in the $\bar{\nu_\mu}$ beam in the LSND experiment, $\bar{\nu_e}$ flux deficit in comparison with theoretical expectations in reactor experiments, and $\nu_e$ deficit in calibration runs with radioactive sources in the Ga solar neutrino experiments SAGE and GALEX. All three problems can be explained by the existence of sterile neutrinos with the mass square difference in the ballpark of $1~\mathrm{eV^2}$. Recently the MiniBooNE collaboration observed electron (anti)neutrino appearance in the muon (anti)neutrino beams. The significance of the effect reaches 6.0$\sigma$ level when combined with the LSND result. Even more recently the NEUTRINO-4 collaboration claimed the observation of $\bar{\nu_e}$ oscillations to sterile neutrinos with a significance slightly higher than 3$\sigma$. If these results are confirmed, New Physics beyond the Standard Model would be required. More than 10 experiments are devoted to searches of sterile neutrinos. Six very short baseline reactor experiments are taking data just now. We review the present results and perspectives of these experiments.


title: Convex integral functionals of cadlag processes

abstract: This article characterizes conjugates and subdifferentials of convex integral functionals over linear spaces of cadlag stochastic processes. The approach is based on new measurability results on the Skorokhod space and new interchange rules of integral functionals that are developed in the article. The main results provide a general approach to apply convex duality in a variety of optimization problems ranging from optimal stopping to singular stochastic control and mathematical finance.


title: Distribution asset management through coordinated microgrid scheduling

abstract: Distribution Asset Management is an important task performed by utility companies to prolong the lifetime of the critical distribution assets and to accordingly ensure grid reliability by preventing unplanned outages. This study focuses on microgrid applications for distribution asset management as a viable and less expensive alternative to traditional utility practices in this area. A microgrid is as an emerging distribution technology that encompasses a variety of distribution technologies including distributed generation, demand response, and energy storage. Moreover, the substation transformer, as the most critical component in a distribution grid, is selected as the component of the choice for asset management studies. The resulting model is a microgrid-based distribution transformer asset management model in which microgrid exchanged power with the utility grid is reshaped in such a way that the distribution transformer lifetime is maximised. Numerical simulations on a test utility-owned microgrid demonstrate the effectiveness of the proposed model to reshape the loading of the distribution transformer at the point of interconnection in order to increase its lifetime.


title: Towards Machine Learning Induction

abstract: Induction lies at the heart of mathematics and computer science. However, automated theorem proving of inductive problems is still limited in its power. In this abstract, we first summarize our progress in automating inductive theorem proving for Isabelle/HOL. Then, we present MeLoId, our approach to suggesting promising applications of induction without completing a proof search.


title: Observing Thermal Schwinger Pair Production

abstract: We study the possibility of observing Schwinger pair production enhanced by a thermal bath of photons. We consider the full range of temperatures and electric field intensities from pure Schwinger production to pure thermal production, and identify the most promising and interesting regimes. In particular, we identify temperatures of $\sim 20~\mathrm{keV}/k_B$ and field intensities of $\sim 10^{23}~\mathrm{Wcm}^{-2}$ where pair production would be observable. In this case, the thermal enhancement over the Schwinger rate is exponentially large and due to effects which are not visible at any finite order in the loop expansion. Pair production in this regime can thus be described as more nonperturbative than the usual Schwinger process, which appears at one loop. Unfortunately, such high temperatures appear to be out of reach of foreseeable technologies, though nonthermal photon distributions with comparable energy densities are possible. We suggest the possibility that similar nonperturbative enhancements may extend out of equilibrium and propose an experimental scheme to test this.


title: Relational Cost Analysis for Functional-Imperative Programs

abstract: Relational cost analysis aims at formally establishing bounds on the difference in the evaluation costs of two programs. As a particular case, one can also use relational cost analysis to establish bounds on the difference in the evaluation cost of the same program on two different inputs. One way to perform relational cost analysis is to use a relational type-and-effect system that supports reasoning about relations between two executions of two programs. Building on this basic idea, we present a type-and-effect system, called ARel, for reasoning about the relative cost of array-manipulating, higher-order functional-imperative programs. The key ingredient of our approach is a new lightweight type refinement discipline that we use to track relations (differences) between two arrays. This discipline combined with Hoare-style triples built into the types allows us to express and establish precise relative costs of several interesting programs which imperatively update their data.


title: Speh representations are relatively discrete

abstract: Let $F$ be a $p$-adic field of characteristic zero and odd residual characteristic. Let $\mathbf{Sp}_{2n}(F)$ denote the symplectic group defined over $F$, where $n\geq 2$. We prove that the Speh representations $\mathcal{U}(\delta,2)$, where $\delta$ is a discrete series representation of $\mathbf{GL}_n(F)$, lie in the discrete spectrum of the $p$-adic symmetric space $\mathbf{Sp}_{2n}(F) \backslash \mathbf{GL}_{2n}(F)$.


title: Leading Loop Effects in Pseudoscalar-Higgs Portal Dark Matter

abstract: We examine a model with a fermionic dark matter candidate having pseudoscalar interaction with the standard model particles where its direct detection elastic scattering cross section at tree level is highly suppressed. We then calculate analytically the leading loop contribution to the spin independent scattering cross section. It turns out that these loop effects are sizable over a large region of the parameter space. Taking constraints from direct detection experiments, the invisible Higgs decay measurements, observed DM relic density, we find viable regions which are within reach in the future direct detection experiments such as XENONnT.


title: Stable bin packing of non-convex 3D objects with a robot manipulator

abstract: Recent progress in the field of robotic manipulation has generated interest in fully automatic object packing in warehouses. This paper proposes a formulation of the packing problem that is tailored to the automated warehousing domain. Besides minimizing waste space inside a container, the problem requires stability of the object pile during packing and the feasibility of the robot motion executing the placement plans. To address this problem, a set of constraints are formulated, and a constructive packing pipeline is proposed to solve for these constraints. The pipeline is able to pack geometrically complex, non-convex objects with stability while satisfying robot constraints. In particular, a new 3D positioning heuristic called Heightmap-Minimization heuristic is proposed, and heightmaps are used to speed up the search. Experimental evaluation of the method is conducted with a realistic physical simulator on a dataset of scanned real-world items, demonstrating stable and high-quality packing plans compared with other 3D packing methods.


title: Indeterminacy loci of iterate maps in moduli space

abstract: The moduli space $\mathrm{rat}_d$ of rational maps in one complex variable of degree $d \ge 2$ has a natural compactification by a projective variety $\overline{\mathrm{rat}}_d$ provided by geometric invariant theory. Given $n \ge 2$, the iteration map $\Phi_n : \mathrm{rat}_d \to\mathrm{rat}_{d^n}$, defined by $\Phi_n: [f] \mapsto [f^n]$, extends to a rational map $\Phi_n : \overline{\mathrm{rat}}_d\dashrightarrow \overline{\mathrm{rat}}_{d^n}$. We characterize the elements of $\overline{\mathrm{rat}}_d$ which lie in the indeterminacy locus of $\Phi_n$.


title: Measurement of the energy density as a function of pseudorapidity in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A measurement of the energy density in proton-proton collisions at a centre-of-mass energy of $\sqrt{s} =$ 13 TeV is presented. The data have been recorded with the CMS experiment at the LHC during low luminosity operations in 2015. The energy density is studied as a function of pseudorapidity in the ranges $-$6.6 $< \eta$ $< -$5.2 and 3.15 $< |\eta| <$ 5.20. The results are compared with the predictions of several models. All the models considered suggest a different shape of the pseudorapidity dependence compared to that observed in the data. A comparison with LHC proton-proton collision data at $\sqrt{s} =$ 0.9 and 7 TeV confirms the compatibility of the data with the hypothesis of limiting fragmentation.


title: Linear periods and distinguished local parameters

abstract: Let $F$ be a nonarchimedean local field of characteristic zero and odd residual characteristic. Let $X$ be the $p$-adic symmetric space $X = H \backslash G$, where $G = \mathbf{GL}_{2n}(F)$ and $H = \mathbf{GL}_n(F) \times \mathbf{GL}_n(F)$. We verify a conjecture of Sakellaridis and Venkatesh on the Langlands parameters of certain representations in the discrete spectrum of $X$.


title: A variational formulation for relativistic mechanics based on Riemannian geometry and its application to the quantum mechanics context

abstract: This article develops a variational formulation of relativistic nature applicable to the quantum mechanics context. The main results are obtained through basic concepts on Riemannian geometry. Standards definitions such as vector fields and connection have a fundamental role in the main action establishment. In the last section, as a result of an approximation for the main formulation, we obtain the relativistic Klein-Gordon equation.


title: The Effects of Super-Resolution on Object Detection Performance in Satellite Imagery

abstract: We explore the application of super-resolution techniques to satellite imagery, and the effects of these techniques on object detection algorithm performance. Specifically, we enhance satellite imagery beyond its native resolution, and test if we can identify various types of vehicles, planes, and boats with greater accuracy than native resolution. Using the Very Deep Super-Resolution (VDSR) framework and a custom Random Forest Super-Resolution (RFSR) framework we generate enhancement levels of 2x, 4x, and 8x over five distinct resolutions ranging from 30 cm to 4.8 meters. Using both native and super-resolved data, we then train several custom detection models using the SIMRDWN object detection framework. SIMRDWN combines a number of popular object detection algorithms (e.g. SSD, YOLO) into a unified framework that is designed to rapidly detect objects in large satellite images. This approach allows us to quantify the effects of super-resolution techniques on object detection performance across multiple classes and resolutions. We also quantify the performance of object detection as a function of native resolution and object pixel size. For our test set we note that performance degrades from mean average precision (mAP) = 0.53 at 30 cm resolution, down to mAP = 0.11 at 4.8 m resolution. Super-resolving native 30 cm imagery to 15 cm yields the greatest benefit; a 13-36% improvement in mAP. Super-resolution is less beneficial at coarser resolutions, though still provides a small improvement in performance.


title: Interplay between phonons and anisotropic elasticity drives negative thermal expansion in PbTiO$_3$

abstract: We use first-principles theory to show that the ingredients assumed to be essential to the occurrence of negative thermal expansion (NTE) -- rigid unit phonon modes with negative Gr\"{u}neisen parameters -- are neither sufficient nor necessary for a material to undergo NTE. Instead, we find that NTE in PbTiO$_3$ involves a delicate interplay between the phonon properties of a material (Gr\"{u}neisen parameters) and its anisotropic elasticity. These unique insights open new avenues in our fundamental understanding of the thermal properties of materials, and in the search for NTE in new materials classes.


title: Matching relations for decoupling in the Standard Model at two loops and beyond

abstract: I discuss the matching relations for the running renormalizable parameters when the heavy particles (top quark, Higgs scalar, Z and W vector bosons) are simultaneously decoupled from the Standard Model. The complete two-loop order matching for the electromagnetic coupling and all light fermion masses are obtained, augmenting existing results at 4-loop order in pure QCD and complete two-loop order for the strong coupling. I also review the further sequential decouplings of the lighter fermions (bottom quark, tau lepton, and charm quark) from the low-energy effective theory.


title: The support of closed orbit relative matrix coefficients

abstract: Let $F$ be a nonarchimedean local field with odd residual characteristic and let $G$ be the $F$-points of a connected reductive group defined over $F$. Let $\theta$ be an $F$-involution of $G$. Let $H$ be the subgroup of $\theta$-fixed points in $G$. Let $\chi$ be a quasi-character of $H$. A smooth complex representation $(\pi,V)$ of $G$ is $(H,\chi)$-distinguished if there exists a nonzero element $\lambda$ in $\operatorname{Hom}_H(\pi,\chi)$. We generalize a construction of descended invariant linear forms on Jacquet modules first carried out independently by Kato and Takano (2008), and Lagier (2008) to the setting of $(H,\chi)$-distinction. We follow the methods of Kato and Takano, providing a new proof of similar results of Delorme (2010). Moreover, we give an $(H,\chi)$-analogue of Kato and Takano's relative version of the Jacquet Subrepresentation Theorem. In the case that $\chi$ is unramified, $\pi$ is parabolically induced from a $\theta$-stable parabolic subgroup of $G$, and $\lambda$ arises via the closed orbit in $Q\backslash G / H$, we study the (non)vanishing of the descended forms via the support of $\lambda$-relative matrix coefficients.


title: Map graphs having witnesses of large girth

abstract: A half-square of a bipartite graph $B=(X,Y,E_B)$ has one color class of $B$ as vertex set, say $X$; two vertices are adjacent whenever they have a common neighbor in $Y$. If $G=(V,E_G)$ is the half-square of a planar bipartite graph $B=(V,W,E_B)$, then $G$ is called a map graph, and $B$ is a witness of $G$. Map graphs generalize planar graphs, and have been introduced and investigated by Chen, Grigni and Papadimitriou [STOC 1998, J. ACM 2002]. They proved that recognizing map graphs is in $\mathsf{NP}$ by proving the existence of a witness. Soon later, Thorup [FOCS 1998] claimed that recognizing map graphs is in $\mathsf{P}$, by providing an $\Omega(n^{120})$-time algorithm for $n$-vertex input graphs. In this note, we give good characterizations and efficient recognition for half-squares of bipartite graphs with girth at least a given integer $g\ge 8$. It turns out that map graphs having witnesses of girth at least $g$ are precisely the graphs whose vertex-clique incidence bipartite graph is planar and of girth at least $g$. Our structural characterization implies an $O(n^2m)$-time algorithm for recognizing if a given $n$-vertex $m$-edge graph $G$ is such a map graph.


title: Non-local U-Net for Biomedical Image Segmentation

abstract: Deep learning has shown its great promise in various biomedical image segmentation tasks. Existing models are typically based on U-Net and rely on an encoder-decoder architecture with stacked local operators to aggregate long-range information gradually. However, only using the local operators limits the efficiency and effectiveness. In this work, we propose the non-local U-Nets, which are equipped with flexible global aggregation blocks, for biomedical image segmentation. These blocks can be inserted into U-Net as size-preserving processes, as well as down-sampling and up-sampling layers. We perform thorough experiments on the 3D multimodality isointense infant brain MR image segmentation task to evaluate the non-local U-Nets. Results show that our proposed models achieve top performances with fewer parameters and faster computation.


title: Creating retrogradely orbiting planets by prograde stellar fly-bys

abstract: Several planets have been found that orbit their host star on retrograde orbits (spin-orbit angle {\phi} > 90{\deg}). Currently, the largest measured projected angle between the orbital angular momentum axis of a planet and the rotation axis of its host star has been found for HAT-P-14b to be $\approx$ 171{\deg}. One possible mechanism for the formation of such misalignments is through long-term interactions between the planet and other planetary or stellar companions. However, with this process, it has been found to be difficult to achieve retrogradely orbiting planets, especially planets that almost exactly counter-orbit their host star ({\phi} $\approx$ 180{\deg}) such as HAT-P-14b. By contrast, orbital misalignment can be produced efficiently by perturbations of planetary systems that are passed by stars. Here we demonstrate that not only retrograde fly-bys, but surprisingly, even prograde fly-bys can induce retrograde orbits. Our simulations show that depending on the mass ratio of the involved stars, there are significant ranges of planetary pre-encounter parameters for which counter-orbiting planets are the natural consequence. We find that the highest probability to produce counter-orbiting planets ($\approx$ 20%) is achieved with close prograde, coplanar fly-bys of an equal-mass perturber with a pericentre distance of one-third of the initial orbital radius of the planet. For fly-bys where the pericentre distance equals the initial orbital radius of the planet, we still find a probability to produce retrograde planets of $\approx$ 10% for high-mass perturbers on inclined (60{\deg} < i < 120{\deg}) orbits. As usually more distant fly-bys are more common in star clusters, this means that inclined fly-bys probably lead to more retrograde planets than those with inclinations < 60{\deg}. (...)


title: Effects of spontaneous Lorentz violation in gravitational waves solutions

abstract: Gravitational wave solutions with spontaneous Lorentz symmetry breaking are studied. This breaking is triggered by a vector field, known as the bumblebee field. A brief analysis of the main consequences of this symmetry breaking on free-waves solutions and in the presence of matter sources are presented. For the free case, the modified wave equation for the gravitational perturbation field is solved, and we compare the polarization states with the usual solution. Considering a current that acts as a source of the radiation, we solve the equation of motion using the Green function method. Finally, considering that the source has slow motion, we derive the new quadrupole formula.


title: Generalized Hamming weights of projective Reed--Muller-type codes over graphs

abstract: Let $G$ be a connected graph and let $\mathbb{X}$ be the set of projective points defined by the column vectors of the incidence matrix of $G$ over a field $K$ of any characteristic. We determine the generalized Hamming weights of the Reed--Muller-type code over the set $\mathbb{X}$ in terms of graph theoretic invariants. As an application to coding theory we show that if $G$ is non-bipartite and $K$ is a finite field of ${\rm char}(K)\neq 2$, then the $r$-th generalized Hamming weight of the linear code generated by the rows of the incidence matrix of $G$ is the $r$-th weak edge biparticity of $G$. If ${\rm char}(K)=2$ or $G$ is bipartite, we prove that the $r$-th generalized Hamming weight of that code is the $r$-th edge connectivity of $G$.


title: Quantum randomness in the Sky

abstract: In this article, we study quantum randomness of stochastic cosmological particle production scenario using quantum corrected higher order Fokker Planck equation. Using the one to one correspondence between particle production in presence of scatterers and electron transport in conduction wire with impurities we compute the quantum corrections of Fokker Planck Equation at different orders. Finally, we estimate Gaussian and non-Gaussian statistical moments to verify our result derived to explain stochastic particle production probability distribution profile.


title: Multi-band Optical and Near-infrared Properties of Faint Submillimeter Galaxies with Serendipitous ALMA Detections

abstract: We present a catalog of 26 faint submillimeter galaxies (SMGs) in the XMM-LSS field identified by cross-matching serendipitously detected sources in archival ALMA Band 6 and 7 data with multi-band near-infrared (NIR) and optical data from the Spitzer Extragalactic Representative Volume Survey, the VISTA Deep Extragalactic Survey, the Canada-France-Hawaii Telescope Legacy Large Survey, and the Hyper Suprime-Cam Subaru Strategic Program. Of the 26 SMGs in our sample, 15 are identified here for the first time. The majority of the sources in our sample (16/26) have faint submm fluxes ($0.1\,{\rm mJy} < S_{\rm 1\,mm} < 1\,{\rm mJy}$). In addition to the 26 SMGs with multi-band optical and NIR detections, there are 60 highly-reliable ($>5\sigma$) ALMA sources with no counterpart in any other band down to an IRAC [4.5] $AB$ magnitude of $\approx 23.7$. To further characterize the 26 galaxies with both ALMA and optical/NIR counterparts, we provide 13-band forced photometry for the entire catalog using the Tractor and calculate photometric redshifts and rest-frame colors. The median redshift of our sample is $\langle z \rangle = 2.66$. We find that our sample galaxies have bluer colors compared to bright SMGs, and the UVJ color plot indicates that their colors are consistent with main sequence star-forming galaxies. Our results provide new insights into the nature of the faint population of SMGs, and also highlight opportunities for galaxy evolution studies based on archival ALMA data.


title: Top-N-Rank: A Scalable List-wise Ranking Method for Recommender Systems

abstract: We propose Top-N-Rank, a novel family of list-wise Learning-to-Rank models for reliably recommending the N top-ranked items. The proposed models optimize a variant of the widely used discounted cumulative gain (DCG) objective function which differs from DCG in two important aspects: (i) It limits the evaluation of DCG only on the top N items in the ranked lists, thereby eliminating the impact of low-ranked items on the learned ranking function; and (ii) it incorporates weights that allow the model to leverage multiple types of implicit feedback with differing levels of reliability or trustworthiness. Because the resulting objective function is non-smooth and hence challenging to optimize, we consider two smooth approximations of the objective function, using the traditional sigmoid function and the rectified linear unit (ReLU). We propose a family of learning-to-rank algorithms (Top-N-Rank) that work with any smooth objective function. Then, a more efficient variant, Top-N-Rank.ReLU, is introduced, which effectively exploits the properties of ReLU function to reduce the computational complexity of Top-N-Rank from quadratic to linear in the average number of items rated by users. The results of our experiments using two widely used benchmarks, namely, the MovieLens data set and the Amazon Video Games data set demonstrate that: (i) The `top-N truncation' of the objective function substantially improves the ranking quality of the top N recommendations; (ii) using the ReLU for smoothing the objective function yields significant improvement in both ranking quality as well as runtime as compared to using the sigmoid; and (iii) Top-N-Rank.ReLU substantially outperforms the well-performing list-wise ranking methods in terms of ranking quality.


title: Data-driven cortical clustering to provide a family of plausible solutions to M/EEG inverse problem

abstract: The M/EEG inverse problem is ill-posed. Thus additional hypotheses are needed to constrain the solution space. In this work, we consider that brain activity which generates an M/EEG signal is a connected cortical region. We study the case when only one region is active at once. We show that even in this simple case several configurations can explain the data. As opposed to methods based on convex optimization which are forced to select one possible solution, we propose an approach which is able to find several "good" candidates - regions which are different in term of their sizes and/or positions but fit the data with similar accuracy.


title: Mapping groundwater potential zones in Cilongok Area, Banyumas, Central Java using 2D geoelectrical resistivity

abstract: The aim of this study is to investigate the presence of potential aquifer layers that would be used as a source of clean water for residents in Cilongok sub-district. We conducted a ground water potential survey at two locations in the sub-district, i.e. Cikidang and Kalisari villages. At each location, geoelectric measurements were taken with the Wenner configuration and the horizontal distance of 900 meters, so that we can get the estimation of lithology layers that potentially store groundwater up to the depth of $\pm 100$ meters. Then the measurement result was processed by using Res2DInv software to get the 2D resistivity images of rock layers. Based on the resistivity estimation and observation of regional geological conditions in that area, then we conducted 2D interpretation about potential lithology layers that economically potential for water well drilling and to be utilized as a source of clean water for the residents. Based on the interpretation of lithology, it was known that the aquifer layer that has the potential as a source of clean water is a layer that consists of coarse and porous tuffs from volcanic eruption products that can easily drain groundwater on the average about 28 to 45 meters depth in Cikidang village and about 45 to 60 meters depth in Kalisari village.


title: Optimal stopping without Snell envelopes

abstract: This paper proves the existence of optimal stopping times via elementary functional analytic arguments. The problem is first relaxed into a convex optimization problem over a closed convex subset of the unit ball of the dual of a Banach space. The existence of optimal solutions then follows from the Banach--Alaoglu compactness theorem and the Krein--Millman theorem on extreme points of convex sets. This approach seems to give the most general existence results known to date. Applying convex duality to the relaxed problem gives a dual problem and optimality conditions in terms of martingales that dominate the reward process.


title: Collectivity in pp from resummed interference effects?

abstract: Azimuthal asymmetries $v_n$ in the soft transverse momentum spectra of hadronic collisions can result as a consequence of quantum interference and color flow which translates spatial anisotropies into momentum anisotropies via multipole radiation patterns. Here, we analyze to what extent these effects result in signal strengths $v_n\lbrace 2s\rbrace$ that can persist in higher order $(2s)$ cumulants. In a simple model of soft multi-particle production with quantum interference effects in which $m$ particles are emitted from $N$ sources and in which interference contributions appear naturally ordered in inverse powers of the adjoint color trace, $1/(N_c^2-1)$, we provide the first resummed calculation of all powers of $m^2/(N_c^2-1)$. This allows one to determine all higher order flow cumulants $v_n\lbrace 2s\rbrace$ with the same parametric accuracy. For a phenomenologically relevant range of $N$ sources emitting $m$ particles, we find that the even flow coefficients $v_n\lbrace 2s\rbrace$ decrease very mildly with increasing cumulants. This provides a proof of principle that non-vanishing higher order cumulants $v_n\lbrace 2s\rbrace$ can persist in systems that exhibit neither final state interactions nor phenomena related to high (saturated) initial parton densities.


title: Comment on the paper "On the correlation between the local dark matter and stellar velocities"

abstract: We briefly comment on the paper "On the correlation between the local dark matter and stellar velocities" (Bozorgnia et al. 2018), which purports to test our previous claims regarding the correlation of stellar and dark matter kinematics (Herzog-Arbeitman et al. 2017; Necib et al. 2018). The conclusions of these papers are not accurately presented in Bozorgnia et al. (2018), and we thus clarify them here.


title: A High-Speed, Real-Time Vision System for Texture Tracking and Thread Counting

abstract: In garment manufacturing, an automatic sewing machine is desirable to reduce cost. To accomplish this, a high speed vision system is required to track fabric motions and recognize repetitive weave patterns with high accuracy, from a micro perspective near a sewing zone. In this paper, we present an innovative framework for real-time texture tracking and weave pattern recognition. Our framework includes a module for motion estimation using blob detection and feature matching. It also includes a module for lattice detection to facilitate the weave pattern recognition. Our lattice detection algorithm utilizes blob detection and template matching to assess pair-wise similarity in blobs' appearance. In addition, it extracts information of dominant orientations to obtain a global constraint in the topology. By incorporating both constraints in the appearance similarity and the global topology, the algorithm determines a lattice that characterizes the topological structure of the repetitive weave pattern, thus allowing for thread counting. In our experiments, the proposed thread-based texture tracking system is capable of tracking denim fabric with high accuracy (e.g., 0.03 degree rotation and 0.02 weave-thread' translation errors) and high speed (3 frames per second), demonstrating its high potential for automatic real-time textile manufacturing.


title: Smart Stamp Duty

abstract: Blockchain technology has enjoyed a massive adoption in cryptocurrencies such as Bitcoin. Following the success, many people have started to explore the possibility of implementing blockchain technology in different fields. We propose smart stamp duty, a system which can revolutionize the way stamp duty is managed and paid. The smart stamp duty offers significant improvements on the convenience when paying stamp duty. At the same time, the blockchain technology also provides the auditability of the transaction data. Smart stamp duty enables the expansion of the existing electronic stamp duty application to retail level as well as allows the taxpayers to pay the stamp duty of their electronic documents. Our proposed system also enables the taxpayers to print their electronic documents without losing the paid electronic-based stamps.


title: Triangulations and a discrete Brunn-Minkowski inequality in the plane

abstract: For a set $A$ of points in the plane, not all collinear, we denote by ${\rm tr}(A)$ the number of triangles in any triangulation of $A$; that is, ${\rm tr}(A) = 2i+b-2$ where $b$ and $i$ are the numbers of points of $A$ in the boundary and the interior of $[A]$ (we use $[A]$ to denote "convex hull of $A$"). We conjecture the following analogue of the Brunn-Minkowski inequality: for any two point sets $A,B \subset {\mathbb R}^2$ one has \[ {\rm tr}(A+B)^{\frac12}\geq {\rm tr}(A)^{\frac12}+{\rm tr}(B)^{\frac12}. \] We prove this conjecture in several cases: if $[A]=[B]$, if $B=A\cup\{b\}$, if $|B|=3$, or if none of $A$ or $B$ has interior points.


title: Montage based 3D Medical Image Retrieval from Traumatic Brain Injury Cohort using Deep Convolutional Neural Network

abstract: Brain imaging analysis on clinically acquired computed tomography (CT) is essential for the diagnosis, risk prediction of progression, and treatment of the structural phenotypes of traumatic brain injury (TBI). However, in real clinical imaging scenarios, entire body CT images (e.g., neck, abdomen, chest, pelvis) are typically captured along with whole brain CT scans. For instance, in a typical sample of clinical TBI imaging cohort, only ~15% of CT scans actually contain whole brain CT images suitable for volumetric brain analyses; the remaining are partial brain or non-brain images. Therefore, a manual image retrieval process is typically required to isolate the whole brain CT scans from the entire cohort. However, the manual image retrieval is time and resource consuming and even more difficult for the larger cohorts. To alleviate the manual efforts, in this paper we propose an automated 3D medical image retrieval pipeline, called deep montage-based image retrieval (dMIR), which performs classification on 2D montage images via a deep convolutional neural network. The novelty of the proposed method for image processing is to characterize the medical image retrieval task based on the montage images. In a cohort of 2000 clinically acquired TBI scans, 794 scans were used as training data, 206 scans were used as validation data, and the remaining 1000 scans were used as testing data. The proposed achieved accuracy=1.0, recall=1.0, precision=1.0, f1=1.0 for validation data, while achieved accuracy=0.988, recall=0.962, precision=0.962, f1=0.962 for testing data. Thus, the proposed dMIR is able to perform accurate CT whole brain image retrieval from large-scale clinical cohorts.


title: Degravitation and the Cascading DGP Model

abstract: We consider the 6D Cascading DGP model, a braneworld model which is a promising candidate to realize the phenomenon of the degravitation of vacuum energy. Focusing on a recently proposed thin limit description of the model, we study solutions where the induced metric on the codimension-2 brane is of the de Sitter form. While these solutions have already been recovered in the literature imposing by hand the bulk to be flat, we show that it is possible to derive them without making this assumption, by solving a suitably chosen subset of the bulk equations.


title: Deep Learning Based Joint Pilot Design and Channel Estimation for Multiuser MIMO Channels

abstract: In this paper, we propose a joint pilot design and channel estimation scheme based on the deep learning (DL) technique for multiuser multiple-input multiple output (MIMO) channels. To this end, we construct a pilot designer using two-layer neural networks (TNNs) and a channel estimator using deep neural networks (DNNs), which are jointly trained to minimize the mean square error (MSE) of channel estimation. To effectively reduce the interference among the multiple users, we also use the successive interference cancellation (SIC) technique in the channel estimation process. The numerical results demonstrate that the proposed scheme considerably outperforms the state-of-the-art linear minimum mean square error (LMMSE) based channel estimation scheme.


title: THz-to-Optical Conversion in Wireless Communications Using an Ultra-Broadband Plasmonic Modulator

abstract: Future wireless communication networks have to handle data rates of tens or even hundreds of Gbit/s per link, requiring carrier frequencies in the unallocated terahertz (THz) spectrum. In this context, seamless integration of THz links into existing fiber-optic infrastructures is of great importance to complement the inherent portability and flexibility advantages of wireless networks by the reliable and virtually unlimited capacity of optical transmission systems. On the technological level, this requires novel device and signal processing concepts for direct conversion of data streams between the THz and the optical domains. Here, we report on the first demonstration of a THz link that is seamlessly integrated into a fiber-optic network using direct terahertz-to-optical (T/O) conversion at the wireless receiver. We exploit an ultra-broadband silicon-plasmonic modulator having a 3 dB bandwidth in excess of 0.36 THz for T/O conversion of a 50 Gbit/s data stream that is transmitted on a 0.2885 THz carrier over a 16 m-long wireless link. Optical-to-terahertz (O/T) conversion at the wireless transmitter relies on photomixing in a uni-travelling-carrier photodiode.


title: An Efficient Hybrid I/O Caching Architecture Using Heterogeneous SSDs

abstract: SSDs are emerging storage devices which unlike HDDs, do not have mechanical parts and therefore, have superior performance compared to HDDs. Due to the high cost of SSDs, entirely replacing HDDs with SSDs is not economically justified. Additionally, SSDs can endure a limited number of writes before failing. To mitigate the shortcomings of SSDs while taking advantage of their high performance, SSD caching is practiced in both academia and industry. Previously proposed caching architectures have only focused on either performance or endurance and neglected to address both parameters in suggested architectures. Moreover, the cost, reliability, and power consumption of such architectures is not evaluated. This paper proposes a hybrid I/O caching architecture that while offers higher performance than previous studies, it also improves power consumption with a similar budget. The proposed architecture uses DRAM, Read-Optimized SSD, and Write-Optimized SSD in a three-level cache hierarchy and tries to efficiently redirect read requests to either DRAM or RO-SSD while sending writes to WO-SSD. To provide high reliability, dirty pages are written to at least two devices which removes any single point of failure. The power consumption is also managed by reducing the number of accesses issued to SSDs. The proposed architecture reconfigures itself between performance- and endurance-optimized policies based on the workload characteristics to maintain an effective tradeoff between performance and endurance. We have implemented the proposed architecture on a server equipped with industrial SSDs and HDDs. The experimental results show that as compared to state-of-the-art studies, the proposed architecture improves performance and power consumption by an average of 8% and 28%, respectively, and reduces the cost by 5% while increasing the endurance cost by 4.7% and negligible reliability penalty.


title: Julian Schwinger: A Centennial Celebration at Harvard

abstract: A biographical profile of the theoretical physicist, Julian Schwinger, and a discussion of "The Memories of Julian" Centennial Celebration (held at Harvard University on February 12, 2018) is presented herein.


title: The Planet Formation Potential Around a 45 Myr old Accreting M Dwarf

abstract: Debris disk detections around M dwarfs are rare, and so far no gas emission has been detected from an M dwarf debris disk. This makes the 45 Myr old M dwarf WISEJ080822.18-644357.3 a bit of a curiosity; it has a strong infrared excess at an age beyond the lifetime of a typical planet-forming disk, and also exhibits broad H$\alpha$ emission consistent with active accretion from a gaseous disk. To better understand the cold gas and dust properties of this system, we obtained ALMA observations of the 1.3mm continuum and the CO/$^{13}$CO/C$^{18}$O J=2-1 emission lines. No cold CO gas is detected from this system, ruling out a gas-rich protoplanetary disk. Unresolved dust continuum emission is detected at a flux of 198$\pm$15 $\mu$Jy, consistent with 0.057$\pm$0.006 M$_{\oplus}$ worth of optically thin dust, and consistent with being generated through a collisional cascade induced by large bodies at radii $<$16 au. With a sufficiently strong stellar wind, dust grains released in the outer disk can migrate inwards via PR drag, potentially serving as a source of grains for the strong infrared excess.