title: Pebbles versus Planetesimals: The case of Trappist-1

abstract: We present a study on the formation of planetary systems around low mass stars similar to Trappist-1, through the accretion of either planetesimals or pebbles. The aim is to determine if the currently observed systems around low mass stars favour one scenario over the other. We ran numerous N-body simulations, coupled to a thermally evolving viscous disc model, including prescriptions for planet migration and photoevaporation. We examine the differences between the pebble and planetesimal accretion scenarios, but also look at the influences of disc mass, planetesimal size, and the percentage of solids locked up within pebbles. When comparing the resulting planetary systems to Trappist-1, we find that a wide range of initial conditions for both accretion scenarios can form planetary systems similar to Trappist-1, in terms of planet mass, periods, and resonant configurations. Typically these planets formed exterior to the water iceline and migrated in resonant convoys to close to the central star. When comparing the planetary systems formed from pebbles to those formed from planetesimals, we find a large number of similarities, including average planet masses, eccentricities, inclinations and period ratios. One major difference was that of the water content of the planets. When including the effects of ablation and full recycling of the planets envelope with the disc, planets formed from pebbles were extremely dry, whilst those formed from planetesimals were extremely wet. If the water content is not fully recycled and instead falls to the planets core, or if ablation of the water is neglected, then the planets formed from pebbles are extremely wet, similar to those formed from planetesimals. Should the water content of the Trappist-1 planets be determined accurately, this could point to a preferred formation pathway for planetary systems, or to specific physics that may be at play.


title: Spin beats in the photoluminescence polarization dynamics of charged excitons in InP/(In,Ga)P quantum dots in presence of nuclear quadrupole interaction

abstract: The spin dynamics of positively (X$^{+}$) and negatively (X$^{-}$) charged excitons in InP/In$_{0.48}$Ga$_{0.52}$P quantum dots subject to a magnetic field is studied. We find that a characteristic feature of the system under study is the presence of nuclear quadrupole interaction, which leads to stabilization of the nuclear and electron spins in a quantum dot in zero external magnetic field. In detail, the nuclear quadrupole interaction leads to pinning of the Overhauser field along the quadrupole axis, which is close to the growth axis of the heterostructure. The nuclear effects are observed only when resident electrons are confined in the quantum dots, i.e. for X$^{-}$ trion photoexcitation. The presence of X$^{-}$ and X$^{+}$ trion contributions to the photoluminescence together with the quadrupole interaction significantly affects the dynamics of optical orientation in Voigt magnetic field. In absence of dynamic nuclear spin polarization the time evolution of the photoluminescence polarization was fitted by a form which describes the electron spin relaxation in "frozen" nuclear field fluctuations. In relatively large external magnetic fields exceeding 60 mT good agreement between theory and experiment is achieved.


title: Decision Trees for Complexity Reduction in Video Compression

abstract: This paper proposes a method for complexity reduction in practical video encoders using multiple decision tree classifiers. The method is demonstrated for the fast implementation of the 'High Efficiency Video Coding' (HEVC) standard, chosen because of its high bit rate reduction capability but large complexity overhead. Optimal partitioning of each video frame into coding units (CUs) is the main source of complexity as a vast number of combinations are tested. The decision tree models were trained to identify when the CU testing process, a time-consuming Lagrangian optimisation, can be skipped i.e a high probability that the CU can remain whole. A novel approach to finding the simplest and most effective decision tree model called 'manual pruning' is described. Implementing the skip criteria reduced the average encoding time by 42.1% for a Bj{\o}ntegaard Delta rate detriment of 0.7%, for 17 standard test sequences in a range of resolutions and quantisation parameters.


title: Subspaces of tensors with high analytic rank

abstract: It is shown that for any subspace $V\subseteq \mathbb{F}_p^{n\times\cdots\times n}$ of $d$-tensors, if $\dim(V) \geq tn^{d-1}$, then there is subspace $W\subseteq V$ of dimension at least $t/(dr) - 1$ whose nonzero elements all have analytic rank $\Omega_{d,p}(r)$. As an application, we generalize a result of Altman on Szemer\'edi's theorem with random differences.


title: The arrow of causality and quantum gravity

abstract: Causality in quantum field theory is defined by the vanishing of field commutators for space-like separations. However, this does not imply a direction for causal effects. Hidden in our conventions for quantization is a connection to the definition of an arrow of causality, i.e. what is the past and what is the future. If we mix quantization conventions within the same theory, we get a violation of microcausality. In such a theory with mixed conventions the dominant definition of the arrow of causality is determined by the stable states. In some quantum gravity theories, such as quadratic gravity and possibly asymptotic safety, such a mixed causality condition occurs. We discuss some of the implications.


title: Depth optimization of quantum search algorithms beyond Grover's algorithm

abstract: Grover's quantum search algorithm provides a quadratic speedup over the classical one. The computational complexity is based on the number of queries to the oracle. However, depth is a more modern metric for noisy intermediate-scale quantum computers. We propose a new depth optimization method for quantum search algorithms. We show that Grover's algorithm is not optimal in depth. We propose a quantum search algorithm, which can be divided into several stages. Each stage has a new initialization, which is a rescaling of the database. This decreases errors. The multistage design is natural for parallel running of the quantum search algorithm.


title: nGraph-HE2: A High-Throughput Framework for Neural Network Inference on Encrypted Data

abstract: In previous work, Boemer et al. introduced nGraph-HE, an extension to the Intel nGraph deep learning (DL) compiler, that enables data scientists to deploy models with popular frameworks such as TensorFlow and PyTorch with minimal code changes. However, the class of supported models was limited to relatively shallow networks with polynomial activations. Here, we introduce nGraph-HE2, which extends nGraph-HE to enable privacy-preserving inference on standard, pre-trained models using their native activation functions and number fields (typically real numbers). The proposed framework leverages the CKKS scheme, whose support for real numbers is friendly to data science, and a client-aided model using a two-party approach to compute activation functions. We first present CKKS-specific optimizations, enabling a 3x-88x runtime speedup for scalar encoding, and doubling the throughput through a novel use of CKKS plaintext packing into complex numbers. Second, we optimize ciphertext-plaintext addition and multiplication, yielding 2.6x-4.2x runtime speedup. Third, we exploit two graph-level optimizations: lazy rescaling and depth-aware encoding, which allow us to significantly improve performance. Together, these optimizations enable state-of-the-art throughput of 1,998 images/s on the CryptoNets network. Using the client-aided model, we also present homomorphic evaluation of (to our knowledge) the largest network to date, namely, pre-trained MobileNetV2 models on the ImageNet dataset, with 60.4\percent/82.7\percent\ top-1/top-5 accuracy and an amortized runtime of 381 ms/image.


title: Sparse Annotations with Random Walks for U-Net Segmentation of Biodegradable Bone Implants in Synchrotron Microtomograms

abstract: Currently, most bone implants used in orthopedics and traumatology are non-degradable and may need to be surgically removed later on e.g. in the case of children. This removal is associated with health risks which could be minimized by using biodegradable implants. Therefore, research on magnesium-based implants is ongoing, which can be objectively quantified through synchrotron radiation microtomography and subsequent image analysis. In order to evaluate the suitability of these materials, e.g. their stability over time, accurate pixelwise segmentations of these high-resolution scans are necessary. The fully-convolutional U-Net architecture achieves a Dice coefficient of 0.750 +/- 0.102 when trained with a small dataset with dense expert annotations. However, extending the learning to larger databases would require prohibitive annotation efforts. Hence, in this work we implemented and compared new training methods that require only a small fraction of manually annotated pixels. While directly training on these scribble annotation deteriorates the segmentation quality by 26.8 percentage points, our new random walk-based semi-automatic target achieves the same Dice overlap as a dense supervision, and thus offers a more promising approach for sparse annotations.


title: Domain-Specific Embedding Network for Zero-Shot Recognition

abstract: Zero-Shot Learning (ZSL) seeks to recognize a sample from either seen or unseen domain by projecting the image data and semantic labels into a joint embedding space. However, most existing methods directly adapt a well-trained projection from one domain to another, thereby ignoring the serious bias problem caused by domain differences. To address this issue, we propose a novel Domain-Specific Embedding Network (DSEN) that can apply specific projections to different domains for unbiased embedding, as well as several domain constraints. In contrast to previous methods, the DSEN decomposes the domain-shared projection function into one domain-invariant and two domain-specific sub-functions to explore the similarities and differences between two domains. To prevent the two specific projections from breaking the semantic relationship, a semantic reconstruction constraint is proposed by applying the same decoder function to them in a cycle consistency way. Furthermore, a domain division constraint is developed to directly penalize the margin between real and pseudo image features in respective seen and unseen domains, which can enlarge the inter-domain difference of visual features. Extensive experiments on four public benchmarks demonstrate the effectiveness of DSEN with an average of $9.2\%$ improvement in terms of harmonic mean. The code is available in \url{https://github.com/mboboGO/DSEN-for-GZSL}.


title: The quasi-stationary distribution of the subcritical contact process

abstract: We show that the quasi-stationary distribution of the subcritical contact process on $\mathbb{Z}^d$ is unique. This is in contrast with other processes which also do not come down from infinity, like stable queues and Galton-Watson, and it seems to be the first such example.


title: A massive scalar field under the effects of the Lorentz symmetry violation by a CPT-odd non-minimal coupling

abstract: In this paper, based on the Standard Model Extended gauge sector, we made a non-minimal coupling in the Klein-Gordon equation which characterizes the Lorentz symmetry violation and, through this nonminimal CPT-odd coupling, we investigate the effects of possible scenarios of Lorentz symmetry violation by electrical and magnetic field configurations on a massive scalar field in this background, where, analytically, we determine solutions of bound states.


title: Advanced encoding methods in diffusion MRI

abstract: Discovering a new field is not usually an easy process, especially when you choose magnetic resonance imaging (MRI). MRI is one of the few non-invasive medical procedures, if not the only one, that someone can receive in modern day hospitals. Its high sensitivity is a true prowess that is due to three things: subtle quantum physics, great engineering and clever imaging techniques from mathematics and computing science. However, the mathematics and physics of it are already daunting tasks by themselves, which makes MRI difficult to comprehend. This document paves a rather short, yet solid and logical, path from the subtle concept of spin to the current limitations of diffusion MRI. It then describes more advanced encoding methods designed to overcome diffusion MRI's limitations, such as tensor-valued encoding.


title: Constraining the geometry and kinematics of the quasar broad emission line region using gravitational microlensing. II. Comparing models with observations in the lensed quasar HE0435-1223

abstract: The quadruply lensed quasar HE0435-1223 shows a clear microlensing effect that affects differently the blue and red wings of the H$\alpha$ line profile in its image D. To interpret these observations, and constrain the broad emission line region (BLR) properties, the effect of gravitational microlensing on quasar broad emission line profiles and their underlying continuum has been simulated considering representative BLR models and microlensing magnification maps. The amplification and distortion of the H$\alpha$ line profile, characterized by a set of four indices, can be reproduced by the simulations. Although the constraints on the BLR models set by the observed single-epoch microlensing signal are not very robust, we found that flattened geometries (Keplerian disk and equatorial wind) can more easily reproduce the observed line profile deformations than a biconical polar wind. With an additional independent constraint on the size of the continuum source, the Keplerian disk model of the H$\alpha$ BLR is slightly favored.


title: Moments of Maximum: Segment of AR(1)

abstract: Let $X_{t}$ denote a stationary first-order autoregressive process. Consider five contiguous observations (in time $t$) of the series (e.g., $X_{1}, ..., X_{5}$). Let $M$ denote the maximum of these. Let $\rho$ be the lag-one serial correlation, which satisfies $|\rho| < 1$. For what value of $\rho$ is $\mathbb{E}(M)$ maximized? How does $\mathbb{V}(M)$ behave for increasing $\rho$? Answers to these questions lie in Afonja (1972), suitably decoded.


title: Magnetic resonance force microscopy with a one-dimensional resolution of 0.9 nanometers

abstract: Magnetic resonance force microscopy (MRFM) is a scanning probe technique capable of detecting MRI signals from nanoscale sample volumes, providing a paradigm-changing potential for structural biology and medical research. Thus far, however, experiments have not reached suffcient spatial resolution for retrieving meaningful structural information from samples. In this work, we report MRFM imaging scans demonstrating a resolution of 0.9 nm and a localization precision of 0.6 nm in one dimension. Our progress is enabled by an improved spin excitation protocol furnishing us with sharp spatial control on the MRFM imaging slice, combined with overall advances in instrument stability. From a modeling of the slice function, we expect that our arrangement supports spatial resolutions down to 0.3 nm given suffcient signal-to-noise ratio. Our experiment demonstrates the feasibility of sub-nanometer MRI and realizes an important milestone towards the three-dimensional imaging of macromolecular structures.


title: Left Ventricle Quantification Using Direct Regression with Segmentation Regularization and Ensembles of Pretrained 2D and 3D CNNs

abstract: Cardiac left ventricle (LV) quantification provides a tool for diagnosing cardiac diseases. Automatic calculation of all relevant LV indices from cardiac MR images is an intricate task due to large variations among patients and deformation during the cardiac cycle. Typical methods are based on segmentation of the myocardium or direct regression from MR images. To consider cardiac motion and deformation, recurrent neural networks and spatio-temporal convolutional neural networks (CNNs) have been proposed. We study an approach combining state-of-the-art models and emphasizing transfer learning to account for the small dataset provided for the LVQuan19 challenge. We compare 2D spatial and 3D spatio-temporal CNNs for LV indices regression and cardiac phase classification. To incorporate segmentation information, we propose an architecture-independent segmentation-based regularization. To improve the robustness further, we employ a search scheme that identifies the optimal ensemble from a set of architecture variants. Evaluating on the LVQuan19 Challenge training dataset with 5-fold cross-validation, we achieve mean absolute errors of 111 +- 76mm^2, 1.84 +- 0.9mm and 1.22 +- 0.6mm for area, dimension and regional wall thickness regression, respectively. The error rate for cardiac phase classification is 6.7%.


title: On optimal cloning and incompatibility

abstract: We investigate the role of symmetric quantum cloning machines (QCMs) in quantifying the mutual incompatibility of quantum observables. Specifically, we identify a cloning-based incompatibility measure whereby the incompatibility of a set of observables maybe quantified in terms of how well a uniform ensemble of their eigenstates can be cloned via a symmetric QCM. We show that this new incompatibility measure $\mathcal{Q}_{c}$ is {\it faithful} since it vanishes only for commuting observables. We prove an upper bound for $\mathcal{Q}_{c}$ for any set of observables in a finite-dimensional system and show that the upper bound is attained if and only if the observables are mutually unbiased. Finally, we use our formalism to obtain the optimal quantum cloner for a pair of qubit observables. Our work marks an important step in formalising the connection between two fundamental concepts in quantum information theory, namely, the no-cloning principle and the existence of incompatible observables in quantum theory.


title: Intrinsic Lipschitz Regularity of Mean-Field Optimal Controls

abstract: In this article, we provide sufficient conditions under which the controlled vector fields solution of optimal control problems formulated on continuity equations are Lipschitz regular in space. Our approach involves a novel combination of mean-field approximations for infinite-dimensional multi-agent optimal control problems, along with a careful extension of an existence result of locally optimal Lipschitz feedbacks. The latter is based on the reformulation of a coercivity estimate in the language of Wasserstein calculus, which is used to obtain uniform Lipschitz bounds along sequences of approximations by empirical measures.


title: Compatible actions in semi-abelian categories

abstract: The concept of a pair of compatible actions was introduced in the case of groups by Brown and Loday and in the case of Lie algebras by Ellis. In this article we extend it to the context of semi-abelian categories (that satisfy the Smith-is-Huq condition). We give a new construction of the Peiffer product, which specialises to the definitions known for groups and Lie algebras. We use it to prove our main result, on the connection between pairs of compatible actions and pairs of crossed modules over a common base object. We also study the Peiffer product in its own right, in terms of its universal properties, and prove its equivalence with existing definitions in specific cases.


title: 29P/Schwassmann-Wachmann 1, A Centaur in the Gateway to the Jupiter-Family Comets

abstract: Jupiter-family comets (JFCs) are the evolutionary products of trans-Neptunian objects (TNOs) that evolve through the giant planet region as Centaurs and into the inner solar system. Through numerical orbital evolution calculations following a large number of TNO test particles that enter the Centaur population, we have identified a short-lived dynamical Gateway, a temporary low-eccentricity region exterior to Jupiter through which the majority of JFCs pass. We apply an observationally based size distribution function to the known Centaur population and obtain an estimated Gateway region population. We then apply an empirical fading law to the rate of incoming JFCs implied by the the Gateway region residence times. Our derived estimates are consistent with observed population numbers for the JFC and Gateway populations. Currently, the most notable occupant of the Gateway region is 29P/Schwassmann-Wachmann 1 (SW1), a highly active, regularly outbursting Centaur. SW1's present-day, very-low-eccentricity orbit was established after a 1975 Jupiter conjunction and will persist until a 2038 Jupiter conjunction doubles its eccentricity and pushes its semi-major axis out to its current aphelion. Subsequent evolution will likely drive SW1's orbit out of the Gateway region, perhaps becoming one of the largest JFCs in recorded history. The JFC Gateway region coincides with a heliocentric distance range where the activity of observed cometary bodies increases significantly. SW1's activity may be typical of the early evolutionary processing experienced by most JFCs. Thus, the Gateway region, and its most notable occupant SW1, are critical to both the dynamical and physical transition between Centaurs and JFCs.


title: Towards Deep Learning-Based EEG Electrode Detection Using Automatically Generated Labels

abstract: Electroencephalography (EEG) allows for source measurement of electrical brain activity. Particularly for inverse localization, the electrode positions on the scalp need to be known. Often, systems such as optical digitizing scanners are used for accurate localization with a stylus. However, the approach is time-consuming as each electrode needs to be scanned manually and the scanning systems are expensive. We propose using an RGBD camera to directly track electrodes in the images using deep learning methods. Studying and evaluating deep learning methods requires large amounts of labeled data. To overcome the time-consuming data annotation, we generate a large number of ground-truth labels using a robotic setup. We demonstrate that deep learning-based electrode detection is feasible with a mean absolute error of 5.69 +- 6.1mm and that our annotation scheme provides a useful environment for studying deep learning methods for electrode detection.


title: Human Perceptual Evaluations for Image Compression

abstract: Recently, there has been much interest in deep learning techniques to do image compression and there have been claims that several of these produce better results than engineered compression schemes (such as JPEG, JPEG2000 or BPG). A standard way of comparing image compression schemes today is to use perceptual similarity metrics such as PSNR or MS-SSIM (multi-scale structural similarity). This has led to some deep learning techniques which directly optimize for MS-SSIM by choosing it as a loss function. While this leads to a higher MS-SSIM for such techniques, we demonstrate using user studies that the resulting improvement may be misleading. Deep learning techniques for image compression with a higher MS-SSIM may actually be perceptually worse than engineered compression schemes with a lower MS-SSIM.


title: Chlorine-bearing molecules in molecular absorbers at intermediate redshifts

abstract: We use observations of chlorine-bearing species in molecular absorbers at intermediate redshifts to investigate chemical properties and $^{35}$Cl/$^{37}$Cl isotopic ratios in the absorbing sightlines. Chloronium (H$_2$Cl$^+$) is detected along three independent lines of sight in the z=0.89 and z=0.68 molecular absorbers located in front of the lensed quasars PKS 1830-211 and B 0218+357, respectively. Hydrogen chloride (HCl) was observed only toward PKS 1830-211, and is found to behave differently from H$_2$Cl$^+$. It is detected in one line of sight with an abundance ratio [H$_2$Cl$^+$]/[HCl] $\sim 1$, but remains undetected in the other, more diffuse, line of sight, with a ratio [H$_2$Cl$^+$]/[HCl]~$>17$. The absorption profiles of these two chlorine-bearing species are compared to other species and discussed in terms of the physical properties of the absorbing gas. Our findings are consistent with the picture emerging from chemical models where different species trace gas with different molecular hydrogen fraction. The $^{35}$Cl/$^{37}$Cl isotopic ratios are measured in the different lines of sight and are discussed in terms of stellar nucleosynthesis.


title: Minimal graphs with disjoint dominating and paired-dominating sets

abstract: A subset $D\subseteq V_G$ is a dominating set of $G$ if every vertex in $V_G-D$ has a~neighbor in $D$, while $D$ is a paired-dominating set of $G$ if $D$ is a~dominating set and the subgraph induced by $D$ contains a perfect matching. A graph $G$ is a $D\!P\!D\!P$-graph if it has a pair $(D,P)$ of disjoint sets of vertices of $G$ such that $D$ is a dominating set and $P$ is a paired-dominating set of $G$. The study of the $D\!P\!D\!P$-graphs was initiated by Southey and Henning (Cent. Eur. J. Math. 8 (2010) 459--467; J. Comb. Optim. 22 (2011) 217--234). In this paper, we provide conditions which ensure that a graph is a $D\!P\!D\!P$-graph. In particular, we characterize the minimal $D\!P\!D\!P$-graphs.


title: The Vortex Phase Diagram of Rotating Superfluid $^3$He-B

abstract: We present the first theoretical calculation of the pressure-temperature-field phase diagram for the vortex phases of rotating superfluid $^3$He-B. Based on a strong-coupling extension of the Ginzburg-Landau theory that accounts for the relative stability of the bulk A and B phases of $^3$He at all pressures, we report calculations for the internal structure and free energies of distinct broken-symmetry vortices in rotating superfluid $^3$He-B. Theoretical results for the equilibrium vortex phase diagram in zero field and an external field of $H=284\,\mbox{G}$ parallel to the rotation axis, $\vec{H}\parallel\vec{\Omega}$, are reported, as well as the supercooling transition line, $T^{*}_ {v} (p,H)$. In zero field the vortex phases of $^3$He-B are separated by a first-order phase transition line $T_ {v} (p)$ that terminates on the bulk critical line $T_{c}(p)$ at a triple point. The low-pressure, low-temperature phase is characterized by an array of singly-quantized vortices that spontaneously breaks axial rotation symmetry, exhibits anisotropic vortex currents and an axial current anomaly (D-core phase). The high-pressure, high-temperature phase is characterized by vortices with both bulk A phase and $\beta$ phase in their cores (A-core phase). We show that this phase is metastable and supercools down to a minimum temperature, $T^{*}_ {v} (p,H)$, below which it is globally unstable to an array of D-core vortices. For $H\gtrsim 60\,\mbox{G}$ external magnetic fields aligned along the axis of rotation increase the region of stability of the A-core phase of rotating $^3$He-B, opening a window of stability down to low pressures. These results are compared with the experimentally reported phase transitions in rotating $^3$He-B.


title: Positivity Certificates via Integral Representations

abstract: Complete monotonicity is a strong positivity property for real-valued functions on convex cones. It is certified by the kernel of the inverse Laplace transform. We study this for negative powers of hyperbolic polynomials. Here the certificate is the Riesz kernel in Garding's integral representation. The Riesz kernel is a hypergeometric function in the coefficients of the given polynomial. For monomials in linear forms, it is a Gel'fand-Aomoto hypergeometric function, related to volumes of polytopes. We establish complete monotonicity for sufficiently negative powers of elementary symmetric functions. We also show that small negative powers of these polynomials are not completely monotone, proving one direction of a conjecture by Scott and Sokal.


title: Challenges and the next transformative steps in understanding plasma turbulence from the perspective of multi-spacecraft measurements

abstract: We have become heavily reliant on electrical technologies, from power grids to GPS to wireless communication. Any disruption of these systems will have severe global consequences. A major natural hazard for such electrical disruption is caused by solar wind disturbances that have dramatic geospace impact.Estimates are that a solar storm of the magnitude of the 1859 Carrington Solar Superstorm would cause over $2 trillion in damage today. In July 23, 2012, we had a near miss of a solar Superstorm that could have broken the record of largest such storms at Earth. To enable pre-emptive measures, developing accurate space weather forecasts is urgent. At the core of space weather forecasts is plasma physics, and kinetic turbulence, in particular. For example, the intense turbulence stirred up at the bow shock and foreshock have been shown to open up pathways for high velocity solar wind parcels to bypass the protective shield of the terrestrial magnetosphere and create disturbances in the ionosphere and lower atmosphere. A primary challenge in understanding kinetic turbulence and its global implications is its multi-scale nature, spanning from electron scales to macro scales of the magnetosphere. Current four-spacecraft missions with 3D formations, the Magnetospheric Multiscale (MMS) and Cluster, have made progress in our understanding of such turbulence. Yet the limitation of a fixed spacecraft formation size at a given time prohibits probing the multi-scale nature as well as the dynamical evolution of the phenomena. A transformative leap in our understanding of turbulence is expected with in-situ probes populating a 3D volume and forming multiple 'n-hedrons (n > 4)' in MHD to kinetic scales.


title: Identifying and characterizing ZMap scans: a cryptanalytic approach

abstract: Network scanning tools play a major role in Internet security. They are used by both network security researchers and malicious actors to identify vulnerable machines exposed on the Internet. ZMap is one of the most common probing tools for high-speed Internet-wide scanning. We present novel identification methods based on the IPv4 iteration process of ZMap. These methods can be used to identify ZMap scans with a small number of addresses extracted from the scan. We conduct an experimental evaluation of these detection methods on synthetic, network telescope, and backbone traffic. We manage to identify 28.5% of the ZMap scans in real-world traffic. We then perform an in-depth characterization of these scans regarding, for example, targeted prefix and probing speed.


title: Accelerating lattice quantum field theory calculations via interpolator optimization using NISQ-era quantum computing

abstract: The only known way to study quantum field theories in non-perturbative regimes is using numerical calculations regulated on discrete space-time lattices. Such computations, however, are often faced with exponential signal-to-noise challenges that render key physics studies untenable even with next generation classical computing. Here, a method is presented by which the output of small-scale quantum computations on Noisy Intermediate-Scale Quantum era hardware can be used to accelerate larger-scale classical field theory calculations through the construction of optimized interpolating operators. The method is implemented and studied in the context of the 1+1-dimensional Schwinger model, a simple field theory which shares key features with the standard model of nuclear and particle physics.


title: Structure of Finite-Dimensional Protori

abstract: A Structure Theorem for Protori is derived for the category of finite-dimensional protori(compact connected abelian groups), which details the interplay between the properties of density, discreteness, torsion, and divisibility within a finite-dimensional protorus. The spectrum of resolutions for a finite-dimensional protorus are parameterized in the structure theorem by the dual category of finite rank torsion-free abelian groups. A consequence is a universal resolution for a finite-dimensional protorus, independent of a choice of a particular subgroup. A resolution is also given strictly in terms of the path component of the identity and the union of all zero-dimensional subgroups. The structure theorem is applied to show that a morphism of finite-dimensional protori lifts to a product morphism between products of periodic locally compact groups and real vector spaces.


title: Hyperedge Estimation using Polylogarithmic Subset Queries

abstract: In this work, we estimate the number of hyperedges in a hypergraph ${\cal H}(U({\cal H}), {\cal F}({\cal H}))$, where $U({\cal H})$ denotes the set of vertices and ${\cal F}({\cal H}))$ denotes the set of hyperedges. We assume a query oracle access to the hypergraph ${\cal H}$. Estimating the number of edges, triangles or small subgraphs in a graph is a well studied problem. Beame \etal~and Bhattacharya \etal~gave algorithms to estimate the number of edges and triangles in a graph using queries to the {\sc Bipartite Independent Set} ({\sc BIS}) and the {\sc Tripartite Independent Set} ({\sc TIS}) oracles, respectively. We generalize the earlier works by estimating the number of hyperedges using a query oracle, known as the {\bf Generalized $d$-partite independent set oracle ({\sc GPIS})}, that takes $d$ (non-empty) pairwise disjoint subsets of vertices $A_1,\ldots,A_d \subseteq U({\cal H})$ as input, and answers whether there exists a hyperedge in ${\cal H}$ having (exactly) one vertex in each $A_i, i \in \{1,2,\ldots,d\}$. We give a randomized algorithm for the hyperedge estimation problem using the {\sc GPIS} query oracle to output $\widehat{m}$ for $m({\cal H})$ satisfying $(1-\epsilon) \cdot m({\cal H}) \leq \widehat{m} \leq (1+\epsilon) \cdot m({\cal H})$. The number of queries made by our algorithm, assuming $d$ to be a constant, is polylogarithmic in the number of vertices of the hypergraph.


title: Deep Tone Mapping Operator for High Dynamic Range Images

abstract: A computationally fast tone mapping operator (TMO) that can quickly adapt to a wide spectrum of high dynamic range (HDR) content is quintessential for visualization on varied low dynamic range (LDR) output devices such as movie screens or standard displays. Existing TMOs can successfully tone-map only a limited number of HDR content and require an extensive parameter tuning to yield the best subjective-quality tone-mapped output. In this paper, we address this problem by proposing a fast, parameter-free and scene-adaptable deep tone mapping operator (DeepTMO) that yields a high-resolution and high-subjective quality tone mapped output. Based on conditional generative adversarial network (cGAN), DeepTMO not only learns to adapt to vast scenic-content (e.g., outdoor, indoor, human, structures, etc.) but also tackles the HDR related scene-specific challenges such as contrast and brightness, while preserving the fine-grained details. We explore 4 possible combinations of Generator-Discriminator architectural designs to specifically address some prominent issues in HDR related deep-learning frameworks like blurring, tiling patterns and saturation artifacts. By exploring different influences of scales, loss-functions and normalization layers under a cGAN setting, we conclude with adopting a multi-scale model for our task. To further leverage on the large-scale availability of unlabeled HDR data, we train our network by generating targets using an objective HDR quality metric, namely Tone Mapping Image Quality Index (TMQI). We demonstrate results both quantitatively and qualitatively, and showcase that our DeepTMO generates high-resolution, high-quality output images over a large spectrum of real-world scenes. Finally, we evaluate the perceived quality of our results by conducting a pair-wise subjective study which confirms the versatility of our method.


title: On simplified NP-complete variants of Not-All-Equal 3-Sat and 3-Sat

abstract: We consider simplified, monotone versions of Not-All-Equal 3-Sat and 3-Sat, variants of the famous Satisfiability Problem where each clause is made up of exactly three distinct literals. We show that Not-All-Equal 3-Sat remains NP-complete even if (1) each variable appears exactly four times, (2) there are no negations in the formula, and (3) the formula is linear, i.e., each pair of distinct clauses shares at most one variable. Concerning 3-Sat we prove several hardness results for monotone formulas with respect to a variety of restrictions imposed on the variable appearances. Monotone 3-Sat is the restriction of 3-Sat to monotone formulas, i.e. to formulas in which each clause contains only unnegated variables or only negated variables, respectively. In particular, we show that, for any $k\geq 5$, Monotone 3-Sat is NP-complete even if each variable appears exactly $k$ times unnegated and exactly once negated. In addition, we show that Monotone 3-Sat is NP-complete even if each variable appears exactly three times unnegated and three times negated, respectively. In fact, we provide a complete analysis of Monotone 3-Sat with exactly six appearances per variable. Further, we prove that the problem remains NP-complete when restricted to instances in which each variable appears either exactly once unnegated and three times negated or the other way around. Thereby, we improve on a result by Darmann et al. [DDD18] showing NP-completeness for four appearances per variable. Our stronger result also implies that 3-Sat remains NP-complete even if each variable appears exactly three times unnegated and once negated, therewith complementing a result by Berman et al. [BKS03].


title: Tunable anisotropic behaviors in phosphorene under periodic potentials in arbitrary directions

abstract: We investigate theoretically the anisotropic electronic and optical behaviors of a monolayer black phosphorus (phosphorene) modulated by periodic potential superlattices in arbitrary directions. We demonstrate that different strength and orientation of the phosphorene potential superlattice can give rise to distinct energy spectra, i.e., tuning the intrinsic electronic anisotropy. Accordingly, the anisotropic effective mass, and optical absorption modulated by superlattice strength and orientation are addressed systematically. This feature enables tuning capability more than one order of magnitude in the optical absorption spectrum. Our findings should be useful in building phosphorene optical and (opto)electronic devices by applying external potential superlattice.


title: Assessing the Quality of Scientific Papers

abstract: A multitude of factors are responsible for the overall quality of scientific papers, including readability, linguistic quality, fluency,semantic complexity, and of course domain-specific technical factors. These factors vary from one field of study to another. In this paper, we propose a measure and method for assessing the overall quality of the scientific papers in a particular field of study. We evaluate our method in the computer science domain, but it can be applied to other technical and scientific fields.Our method is based on the corpus linguistics technique. This technique enables the extraction of required information and knowledge associated with a specific domain. For this purpose, we have created a large corpus, consisting of papers from very high impact conferences. First, we analyze this corpus in order to extract rich domain-specific terminology and knowledge. Then we use the acquired knowledge to estimate the quality of scientific papers by applying our proposed measure. We examine our measure on high and low scientific impact test corpora. Our results show a significant difference in the measure scores of the high and low impact test corpora. Second, we develop a classifier based on our proposed measure and compare it to the baseline classifier. Our results show that the classifier based on our measure over-performed the baseline classifier. Based on the presented results the proposed measure and the technique can be used for automated assessment of scientific papers.


title: Influence of correlations between yields on the chemical freeze-out temperature

abstract: A statistical (thermal) model is applied to the description of hadron yields measured at central nucleus-nucleus collisions at the top RHIC energy $\sqrt{s_{NN}} = 200$ GeV and the LHC energy $\sqrt{s_{NN}} = 2.76$ TeV. In contrast to the previous analyzes a more general form of the least squares test statistic is used, which takes into account also possible correlations between different species of yields. In addition to hadrons also light nuclei are included in the fits. Because of the lack of data, a toy model is constructed where the correlation coefficients are just free parameters. Because of this the presented considerations are speculative and should be treated as an imperfect illustration of the problem. Within these limitations it is impossible to formulate any definite conclusion, it might be only mentioned that for the considered examples the dependence of the freeze-out temperature and baryon chemical potential on correlations turned out to be weak.


title: Naut your everyday jellyfish model: Exploring how tentacles and oral arms impact locomotion

abstract: Jellyfish - majestic, energy efficient, and one of the oldest species that inhabits the oceans. It is perhaps the second item, their efficiency, that has captivated scientists for decades into investigating their locomotive behavior. Yet, no one has specifically explored the role that their tentacles and oral arms may have on their potential swimming performance, arguably the very features that give jellyfish their beauty while instilling fear into their prey (and beach-goers). We perform comparative in silico experiments to study how tentacle/oral arm number, length, placement, and density affect forward swimming speeds, cost of transport, and fluid mixing. An open source implementation of the immersed boundary method was used (IB2d) to solve the fully coupled fluid-structure interaction problem of an idealized flexible jellyfish bell with poroelastic tentacles/oral arms in a viscous, incompressible fluid. Overall tentacles/oral arms inhibit forward swimming speeds, by appearing to suppress vortex formation. Non-linear relationships between length and fluid scale (Reynolds Number) as well as tentacle/oral arm number, density, and placement are observed, illustrating that small changes in morphology could result in significant decreases in swimming speeds, in some cases by downwards of 400% between cases with to without tentacles/oral arms.


title: Reheating constraints to modulus mass for single field inflationary models

abstract: We consider string and supergravity motivated scenarios in which moduli fields dominate the energy density of the Universe in a post-inflationary epoch. For the case of a single light modulus it has been shown that considering the evolution of a specific scale from the time of its Hubble crossing during inflation to the present time, a relation can be obtained among the lightest modulus mass, the reheating parameters ($T_{\text{reh}}$, $\bar{w}_{\text{reh}}$ and $N_{\text{reh}}$) and the inflationary observables. By paying closer attention to the role of the $\bar{w}_{\text{reh}}$, we obtain more stringent constraints on the value of the modulus mass and the reheating parameters using the CMB data. Next, the analysis is extended to include features in the inflaton potential as a source of CMB low multipole anomalies, which further constrains the mass of the modulus to be substantially higher than without such a constraint. By both considerations and for several inflation models considered, we find a constraint on the mass of the lightest modulus particle, $m_{\chi}$, generically $\gtrsim10^{15}$GeV, with possible low values $\sim10^{12}$GeV. While a simplification of the reheating phase is assumed, the bounds are reliably suggestive, and the study may be taken as a demonstration that substantial knowledge about reheating phase buried deep in the early epochs of the Universe is accessible through the use of CMB observables today.


title: Microphysical effects of water content and temperature on the triboelectrification of volcanic ash on long timescales

abstract: The effects of water and temperature on the triboelectrification of granular materials have been reported by numerous authors, but have not been studied robustly in the context of volcanic plumes. Here, we present the results of a set of experiments designed to elucidate how environmental conditions modulate the triboelectric characteristics of volcanic ash. We find that that small amounts of water can reduce the charge collected by micron-sized ash grains by up to an order of magnitude. Increasing temperature at a constant relative humidity also appears to decrease the amount of charge gained by particles. Analysis of our data shows that if particles undergo low-energy, low-frequency collisions in humid environments under long timescales, charge dissipation dominates over charge accumulation. Thus, our work suggests that triboelectric charging may be an inefficient electrification mechanism outside of the gas-thrust region where collision rates are high and residence times are low.


title: On Product Codes with Probabilistic Amplitude Shaping for High-Throughput Fiber-Optic Systems

abstract: Probabilistic amplitude shaping (PAS) can flexibly vary the spectral efficiency (SE) of fiber-optic systems. In this paper, we demonstrate the application of PAS to bit-wise hard decision decoding (HDD) of product codes (PCs) by finding the necessary conditions to select the PC component codes. We show that PAS with PCs and HDD yields gains up to $2.7$ dB and SE improvement up to approximately $1$ bit/channel use compared to using PCs with uniform signaling and HDD. Furthermore, we employ the recently introduced iterative bounded distance decoding with combined reliability of PCs to improve performance of PAS with PCs and HDD.


title: SERS discrimination of single amino acid residue in single peptide by plasmonic nanocavities

abstract: Surface-enhanced Raman spectroscopy (SERS) is a sensitive label-free optical method that can provide fingerprint Raman spectra of biomolecules such as DNA, amino acids and proteins. While SERS of single DNA molecule has been recently demonstrated, Raman analysis of single protein sequence was not possible because the SERS spectra of proteins are usually dominated by signals of aromatic amino acid residues. Here, we used electroplasmonic approach to trap single gold nanoparticle in a nanohole for generating a plasmonic nanocavity between the trapped nanoparticle and the nanopore wall. The giant field generated in the nanocavity was so sensitive and localized that it enables SERS discrimination of 10 distinct amino acids at single-molecule level. The obtained spectra are used to analyze the spectra of 2 biomarkers (Vasopressin and Oxytocin) made of a short sequence of 9 amino-acids. Significantly, we demonstrated identification of single non-aromatic amino acid residues in a single short peptide chain as well as discrimination between two peptides with sequences distinguishable in 2 specific amino-acids. Our result demonstrate the high sensitivity of our method to identify single amino acid residue in a protein chain and a potential for further applications in proteomics and single-protein sequencing.


title: Taming Unbalanced Training Workloads in Deep Learning with Partial Collective Operations

abstract: Load imbalance pervasively exists in distributed deep learning training systems, either caused by the inherent imbalance in learned tasks or by the system itself. Traditional synchronous Stochastic Gradient Descent (SGD) achieves good accuracy for a wide variety of tasks, but relies on global synchronization to accumulate the gradients at every training step. In this paper, we propose eager-SGD, which relaxes the global synchronization for decentralized accumulation. To implement eager-SGD, we propose to use two partial collectives: solo and majority. With solo allreduce, the faster processes contribute their gradients eagerly without waiting for the slower processes, whereas with majority allreduce, at least half of the participants must contribute gradients before continuing, all without using a central parameter server. We theoretically prove the convergence of the algorithms and describe the partial collectives in detail. Experimental results on load-imbalanced environments (CIFAR-10, ImageNet, and UCF101 datasets) show that eager-SGD achieves 1.27x speedup over the state-of-the-art synchronous SGD, without losing accuracy.


title: Event multiplicity, transverse momentum and energy dependence of charged particle production, and system thermodynamics in $pp$ collisions at the Large Hadron Collider

abstract: In the present work, we study the recent collision energy and multiplicity dependence of the charged particle transverse momentum spectra as measured by the ALICE collaboration in $pp$ collisions at $\sqrt{s}$ = 5.02 and 13 TeV using the non-extensive Tsallis distribution and the Boltzmann-Gibbs Blast Wave (BGBW) model. A thermodynamically consistent form of the Tsallis distribution is used to extract the kinetic freeze-out parameters from the transverse momentum spectra of charged particles at mid-rapidity. In addition, a comprehensive study of fitting range dependence of transverse momentum spectra on the freeze-out parameters is done using Tsallis statistics. The applicability of BGBW model is verified by fitting the transverse momentum spectra of the bulk part ($\sim 2.5~ {\rm GeV}/c$)for both 5.02 and 13 TeV energies and also in different multiplicity classes. The radial flow, $<\beta>$ is almost independent of collision energy and multiplicity whereas the behavior of kinetic freeze-out temperature significantly depends on multiplicity classes. It is found that the Tsallis distribution generally leads to a better description for the complete transverse momentum spectra whereas the BGBW model explains the bulk part of the system.


title: Mixture-based Multiple Imputation Model for Clinical Data with a Temporal Dimension

abstract: The problem of missing values in multivariable time series is a key challenge in many applications such as clinical data mining. Although many imputation methods show their effectiveness in many applications, few of them are designed to accommodate clinical multivariable time series. In this work, we propose a multiple imputation model that capture both cross-sectional information and temporal correlations. We integrate Gaussian processes with mixture models and introduce individualized mixing weights to handle the variance of predictive confidence of Gaussian process models. The proposed model is compared with several state-of-the-art imputation algorithms on both real-world and synthetic datasets. Experiments show that our best model can provide more accurate imputation than the benchmarks on all of our datasets.


title: On the cosmological performance of photometrically classified supernovae with machine learning

abstract: The efficient classification of different types of supernova is one of the most important problems for observational cosmology. However, spectroscopic confirmation of most objects in upcoming photometric surveys, such as the The Rubin Observatory Legacy Survey of Space and Time (LSST), will be unfeasible. The development of automated classification processes based on photometry has thus become crucial. In this paper we investigate the performance of machine learning (ML) classification on the final cosmological constraints using simulated lightcurves from The Supernova Photometric Classification Challenge, released in 2010. We study the use of different feature sets for the lightcurves and many different ML pipelines based on either decision tree ensembles or automated search processes. To construct the final catalogs we propose a threshold selection method, by employing a \emph{Bias-Variance tradeoff}. This is a very robust and efficient way to minimize the Mean Squared Error. With this method we were able to get very strong cosmological constraints, which allowed us to keep $\sim 75\%$ of the total information in the type Ia SNe when using the SALT2 feature set and $\sim 33\%$ for the other cases (based on either the Newling model or on standard wavelet decomposition).


title: On Identifiability in Transformers

abstract: In this paper we delve deep in the Transformer architecture by investigating two of its core components: self-attention and contextual embeddings. In particular, we study the identifiability of attention weights and token embeddings, and the aggregation of context into hidden tokens. We show that, for sequences longer than the attention head dimension, attention weights are not identifiable. We propose effective attention as a complementary tool for improving explanatory interpretations based on attention. Furthermore, we show that input tokens retain to a large degree their identity across the model. We also find evidence suggesting that identity information is mainly encoded in the angle of the embeddings and gradually decreases with depth. Finally, we demonstrate strong mixing of input information in the generation of contextual embeddings by means of a novel quantification method based on gradient attribution. Overall, we show that self-attention distributions are not directly interpretable and present tools to better understand and further investigate Transformer models.


title: A Finnish News Corpus for Named Entity Recognition

abstract: We present a corpus of Finnish news articles with a manually prepared named entity annotation. The corpus consists of 953 articles (193,742 word tokens) with six named entity classes (organization, location, person, product, event, and date). The articles are extracted from the archives of Digitoday, a Finnish online technology news source. The corpus is available for research purposes. We present baseline experiments on the corpus using a rule-based and two deep learning systems on two, in-domain and out-of-domain, test sets.


title: A class of perverse schobers in Geometric Invariant Theory

abstract: Perverse schobers are categorifications of perverse sheaves. We construct a perverse schober on a partial compactification of the stringy K\"ahler moduli space (SKMS) associated by Halpern-Leistner and Sam to a quasi-symmetric representation X of a reductive group G, extending the local system of triangulated categories established by them. The triangulated categories appearing in our perverse schober are subcategories of the derived category of the quotient stack X/G.


title: On $\mathbb{Z}$-invariant self-adjoint extensions of the Laplacian on quantum circuits

abstract: An analysis of the invariance properties of self-adjoint extensions of symmetric operators under the action of a group of symmetries is presented. For a given group $G$, criteria for the existence of $G$-invariant self-adjoint extensions of the Laplace-Beltrami operator over a Riemannian manifold are illustrated and critically revisited. These criteria are employed for characterising self-adjoint extensions of the Laplace-Beltrami operator on an infinite set of intervals, $\Omega$, constituting a quantum circuit, which are invariant under a given action of the group $\mathbb{Z}$. A study of the different unitary representations of the group $\mathbb{Z}$ on the space of square integrable functions on $\Omega$ is performed and the corresponding $\mathbb{Z}$-invariant self-adjoint extensions of the Laplace-Beltrami operator are introduced. The study and characterisation of the invariance properties allows for the determination of the spectrum and generalised eigenfunctions in particular examples.


title: Feasibility of Acousto-Electric Tomography

abstract: In acousto-electric tomography the goal is to reconstruct the electric conductivity in a domain from electrostatic boundary measurements of corresponding currents and voltages, while the domain is penetrated by a time-dependent acoustic wave. We explicitly model the phenomena, and we propose a complete inversion framework for acousto-electric tomography in two steps: First the interior power density is obtained from boundary measurements by solving a linear, ill-posed problem; second the interior conductivity is reconstructed from the power density by solving a non-linear, fairly well-posed problem. We perform numerical experiments on synthetic data with realistically chosen parameters. We investigate how feasibility of reconstructing the electrical conductivity from boundary measurements depends on the acousto-electric coupling constant and measurement noise. Our findings are positive, and indicate that AET is indeed feasible for interesting applications in for example medical imaging. Finally, we consider a limited angle setup and show that the conductivity is well reconstructed near the measurement boundary.


title: Variable jet Lorentz factors can explain soft self-absorbed radio spectra of accreting black-holes

abstract: We study the effect of variable jet bulk Lorentz factors, i.e., either jet acceleration or deceleration, on partially synchrotron self-absorbed radio spectra from cores of radio-loud active galactic nuclei and black-hole binaries in the hard state. In about a half of quasars and radio galaxies, their core radio spectra are observed to be soft, i.e., have the spectral index of $\alpha<0$. If they are emitted by jets with constant Lorentz factors, that softness implies deposition of large amounts of energy at large distances from the centre. We show here that such soft spectra can be explained without that energetic requirement by emission of jets with the Doppler factor increasing with the distance. This can happen for either jet acceleration or deceleration, depending on the jet viewing angle. We find our model can explain the quiescent radio to X-ray spectra of the BL Lac objects Mrk 421 and Mrk 501.


title: Blending of Probability and Non-Probability Samples: Applications to a Survey of Military Caregivers

abstract: Probability samples are the preferred method for providing inferences that are generalizable to a larger population. However, when a small (or rare) subpopulation is the group of interest, this approach is unlikely to yield a sample size large enough to produce precise inferences. Non-probability (or convenience) sampling often provides the necessary sample size to yield efficient estimates, but selection bias may compromise the generalizability of results to the broader population. Motivating the exposition is a survey of military caregivers; our interest is focused on unpaid caregivers of wounded, ill, or injured servicemembers and veterans who served in the US armed forces following September 11, 2001. An extensive probability sampling effort yielded only 72 caregivers from this subpopulation. Therefore, we consider supplementing the probability sample with a convenience sample from the same subpopulation, and we develop novel methods of statistical weighting that may be used to combine (or blend) the samples. Our analyses show that the subpopulation of interest endures greater hardships than caregivers of veterans with earlier dates of service, and these conclusions are discernably stronger when blended samples with the proposed weighting schemes are used. We conclude with simulation studies that illustrate the efficacy of the proposed techniques, examine the bias-variance trade-off encountered when using inadequately blended data, and show that the gain in precision provided by the convenience sample is lower in circumstances where the outcome is strongly related to the auxiliary variables used for blending.


title: Asymptotic Validity and Finite-Sample Properties of Approximate Randomization Tests

abstract: Randomization tests rely on simple data transformations and possess an appealing robustness property. In addition to being finite-sample valid if the data distribution is invariant under the transformation, these tests can be asymptotically valid under a suitable studentization of the test statistic, even if the invariance does not hold. However, practical implementation often encounters noisy data, resulting in approximate randomization tests that may not be as robust. In this paper, our key theoretical contribution is a non-asymptotic bound on the discrepancy between the size of an approximate randomization test and the size of the original randomization test using noiseless data. This allows us to derive novel conditions for the validity of approximate randomization tests under data invariances, while being able to leverage existing results based on studentization if the invariance does not hold. We illustrate our theory through several examples, including tests of significance in linear regression. Our theory can explain certain aspects of how randomization tests perform in small samples, addressing limitations of prior theoretical results.


title: How do Developers Promote Open Source Projects?

abstract: Open source projects have an increasing importance on modern software development. For this reason, these projects, as usual with commercial software projects, should make use of promotion channels to communicate and establish contact with users and contributors. In this article, we study the channels used to promote a set of 100 popular GitHub projects. First, we reveal that Twitter, user meetings, and blogs are the most common promotion channels used by the studied projects. Second, we report a major difference between the studied projects and a random sample of projects, regarding the use of the investigated promotion channels. Third, we show the importance of a popular news aggregation site (Hacker News) on the promotion of open source. We conclude by presenting a set of practical recommendation to open source project managers and leaders, regarding the promotion of their projects.


title: Maximum $N$-body correlations do not in general imply genuine multipartite entanglement

abstract: The existence of correlations between the parts of a quantum system on the one hand, and entanglement between them on the other, are different properties. Yet, one intuitively would identify strong $N$-party correlations with $N$-party entanglement in an $N$-partite quantum state. If the local systems are qubits, this intuition is confirmed: The state with the strongest $N$-party correlations is the Greenberger-Horne-Zeilinger (GHZ) state, which does have genuine multipartite entanglement. However, for high-dimensional local systems the state with strongest $N$-party correlations may be a tensor product of Bell states, that is, partially separable. We show this by introducing several novel tools for handling the Bloch representation.


title: On the signless Laplacian spectral radius of $K_{s,t}$-minor free graphs

abstract: In this paper, we prove that if $G$ is a $K_{2,t}$-minor free graph of order $n\geq t^2+4t+1$ with $t\geq 3$, the signless Laplacian spectral radius $q(G)\leq \frac{1}{2}(n+2t-2+\sqrt{(n-2t+2)^2+8t-8}\ )$ with equality if and only if $n\equiv 1~(\mathrm{mod}~t)$ and $G=F_{2,t}(n)$, where $F_{s,t}(n):=K_{s-1}\vee (p\cdot K_t\cup K_r)$ for $n-s+1=pt+r$ and $0\leq r<t$. In particular, if $t=3$ and $n\geq 22$, then $F_{2,3}(n)$ is the unique $K_{2,3}$-minor free graph of order $n$ with the maximum signless Laplacian spectral radius. In addition, $F_{3,3}(n)$ is the unique extremal graph with the maximum signless Laplacian spectral radius among all $K_{3,3}$-minor free graphs of order $n\ge 1186$.


title: Uniform distribution of dislocations in Peierls-Nabarro models for semi-coherent interfaces

abstract: In this paper we introduce Peierls-Nabarro type models for edge dislocations at semi-coherent interfaces between two heterogeneous crystals, and prove the optimality of uniformly distributed edge dislocations. Specifically, we show that the elastic energy $\Gamma$-converges to a limit functional comprised of two contributions: one is given by a constant $c_\infty>0$ gauging the minimal energy induced by dislocations at the interface, and corresponding to a uniform distribution of edge dislocations; the other one accounts for the far field elastic energy induced by the presence of further, possibly not uniformly distributed, dislocations. After assuming periodic boundary conditions and formally considering the limit from semi-coherent to coherent interfaces, we show that $c_\infty$ is reached when dislocations are evenly-spaced on the one dimensional circle.


title: How does a collapsing star look?

abstract: Time evolution of an optical image of a pressureless star under gravitational collapse is studied in the geometric optics approximation. The star surface is assumed to emit radiation obeying Lambert's cosine law but with an arbitrary spectral intensity in the comoving frame. We develop a formalism for predicting observable quantities by photon counting and by radiometry, in particular, spectral photon flux and spectral radiant flux. Then, this method is applied to the two cases: One is monochromatic radiation, and the other is blackbody radiation. The two kinds of spectral flux are calculated numerically for each case. It is reconfirmed that the redshift factor remains finite and the star becomes gradually invisible due to decay of the photon flux. We also develop an approximate method to present analytic formulas that describe the late time behavior. A possible connection of our study to observation of high-energy neutrinos is briefly discussed.


title: Dust charging in dynamic ion wakes

abstract: Micron-sized dust grains have been successfully employed as non-perturbative probes to measure variations in plasma conditions on small spatial scales, such as those found in plasma sheaths. The dynamics of the grains can be used to map the forces due to electric fields present in the sheath, but the particle charge and electric field are difficult to measure independently. The problem is further complicated by the ion wake field which develops downstream of the dust grains in a flowing plasma. Within a sheath, ions are accelerated towards the charged boundary, and this ion flow creates a positively-charged spatial region downstream of the dust grain, called the ion wake. The ion wake in turn modifies the interaction potential between the charged grains. Here we use a molecular dynamics simulation of ion flow past dust grains to investigate the interaction between the charged dust particles and ions. The charging and dynamics of the grains are coupled self-consistently and derived from the ion-dust interactions, allowing for detailed analysis of the wakefield-mediated interaction as the structural configuration of the dust grains changes. The decharging of a dust grain as it moves through the wake of an upstream particle and the attractive ion wakefield force are mapped for a range of ion flow speeds.


title: On the spin projection operator and the probabilistic meaning of the bipartite correlation function

abstract: Spin is a fundamental and distinctive property of the electron, having far-reaching consequences in wide areas of physics. Yet, further to its association with an angular momentum, the physics underpinning its formal treatment remains obscure. In this work we propose to advance in disclosing the meaning behind the formalism, by first recalling some basic facts about the one-particle spin operator. Consistently informed by and in line with the quantum formalism, we then proceed to analyse in detail the spin projection operator correlation function $C_Q(\boldsymbol{a}, \boldsymbol{b}) = \langle(\hat{\sigma}\cdot\boldsymbol{a})(\hat{\sigma}\cdot\boldsymbol{b})\rangle$ for the bipartite singlet state, and show it to be amenable to an unequivocal probabilistic reading. In particular, the calculation of $C_Q(\boldsymbol{a}, \boldsymbol{b})$ entails a partitioning of the probability space, which is dependent on the directions $(\boldsymbol{a}, \boldsymbol{b})$. The derivation of the CHSH- or other Bell-type inequalities, on the other hand, does not consider such partitioning. This observation puts into question the applicability of Bell-type inequalities to the bipartite singlet spin state.


title: Timing and resource-aware mapping of quantum circuits to superconducting processors

abstract: Quantum algorithms need to be compiled to respect the constraints imposed by quantum processors, which is known as the mapping problem. The mapping procedure will result in an increase of the number of gates and of the circuit latency, decreasing the algorithm's success rate. It is crucial to minimize mapping overhead, especially for Noisy Intermediate-Scale Quantum (NISQ) processors that have relatively short qubit coherence times and high gate error rates. Most of prior mapping algorithms have only considered constraints such as the primitive gate set and qubit connectivity, but the actual gate duration and the restrictions imposed by the use of shared classical control electronics have not been taken into account. In this paper, we present a timing and resource-aware mapper called Qmap to make quantum circuits executable on a scalable superconducting processor named Surface-17 with the objective of achieving the shortest circuit latency. In particular, we propose an approach to formulate the classical control restrictions as resource constraints in a conventional list scheduler with polynomial complexity. Furthermore, we implement a routing heuristic to cope with the connectivity limitation. This router finds a set of movement operations that minimally extends circuit latency. To analyze the mapping overhead and evaluate the performance of different mappers, we map 56 quantum benchmarks onto Surface-17. Compared to a prior mapping strategy that minimizes the number of operations, Qmap can reduce the latency overhead up to 47.3% and operation overhead up to 28.6%, respectively.


title: Categorical mirror symmetry on cohomology for a complex genus 2 curve

abstract: Motivated by observations in physics, mirror symmetry is the concept that certain manifolds come in pairs $X$ and $Y$ such that the complex geometry on $X$ mirrors the symplectic geometry on $Y$. It allows one to deduce symplectic information about $Y$ from known complex properties of $X$. Strominger-Yau-Zaslow arXiv:hep-th/9606040 described how such pairs arise geometrically as torus fibrations with the same base and related fibers, known as SYZ mirror symmetry. Kontsevich arXiv:alg-geom/9411018 conjectured that a complex invariant on $X$ (the bounded derived category of coherent sheaves) should be equivalent to a symplectic invariant of $Y$ (the Fukaya category, see references in article abstract). This is known as homological mirror symmetry. In this project, we first use the construction of "generalized SYZ mirrors" for hypersurfaces in toric varieties following Abouzaid-Auroux-Katzarkov arXiv:1205.0053v4, in order to obtain $X$ and $Y$ as manifolds. The complex manifold is the genus 2 curve $\Sigma_2$ (so of general type $c_1<0$) as a hypersurface in its Jacobian torus. Its generalized SYZ mirror is a Landau-Ginzburg model $(Y,v_0)$ equipped with a holomorphic function $v_0:Y \to \mathbb{C}$ which we put the structure of a symplectic fibration on. We then describe an embedding of a full subcategory of $D^bCoh(\Sigma_2)$ into a cohomological Fukaya-Seidel category of $Y$ as a symplectic fibration. While our fibration is one of the first nonexact, non-Lefschetz fibrations to be equipped with a Fukaya category, the main geometric idea in defining it is the same as in Seidel's construction for Fukaya categories of Lefschetz fibrations and in Abouzaid-Seidel.


title: Solving the problem of simultaneous diagonalization of complex symmetric matrices via congruence

abstract: We provide a solution to the problem of simultaneous $diagonalization$ $via$ $congruence$ of a given set of $m$ complex symmetric $n\times n$ matrices $\{A_{1},\ldots,A_{m}\}$, by showing that it can be reduced to a possibly lower-dimensional problem where the question is rephrased in terms of the classical problem of simultaneous $diagonalization$ $via$ $similarity$ of a new related set of matrices. We provide a procedure to determine in a finite number of steps whether or not a set of matrices is simultaneously diagonalizable by congruence. This solves a long standing problem in the complex case.


title: Simulating Quantum Algorithms Using Fidelity and Coherence Time as Principle Models for Error

abstract: As various quantum computing technologies continue to compete for quantum supremacy, several parameters have emerged as benchmarks for the quality of qubits. These include fidelity, coherence times, connectivity, and a few others. In this paper, we aim to study the importance of these parameters and their impact on quantum algorithms. We propose a realistic connectivity geometry and form quantum circuits for the Bernstein-Vazirani, QFT, and Grover Algorithms based on the limitations of the chosen geometry. We then simulate these algorithms using error models to study the impact of gate fidelity and coherence times on success of the algorithms. We report on the findings of our simulations and note the various benchmarking values which produce reliably successful results.


title: Co-assembly of Janus nanoparticles in block copolymer systems

abstract: Block copolymer are ideal matrices to control the localisation of colloids. Furthermore, anisotropic nanoparticles such as Janus nanoparticles possess an additional orientational degree of freedom that can play a crucial role in the formation of highly ordered materials made of block copolymers. This work presents a mesoscopic simulation method to assert the co-assembly of Janus nanoparticles in a block copolymer mixture, finding numerous instances of aggregation and formation of ordered configurations which can be related to dispersions of pure Janus colloids. Comparison with chemically homogeneous neutral nanoparticles determines that Janus nanoparticles are less prone to induce bridging along lamellar domains, thus being a less destructive way to segregate nanoparticles at interfaces. The combination of asymmetric block copolymer and asymmetric Janus nanoparticles can result in assembly of colloids in an even number of layers within one of the block domains.


title: Analyzing the structure of basic quantum knowledge for instruction

abstract: In order to support students in the development of expertise in quantum mechanics, we asked which concepts and structures can act as organizing principles of the non-relativistic theory. The research question has been addressed in a multi-step process based on the analysis of categorization studies, on a content analysis of a sample of undergraduate textbooks and on the results of existing research on learning difficulties. The answer consists in seven concept maps, intended as models of the organizing principles of quantum knowledge needed to account for the results of measurement and time evolution. By means of these instruments, it is possible to visualize and explore the different facets of the interplay between the vector structure of the quantum states and the operator structure of the observables, and to highlight the educational significance of the relations between observables. The maps can be used by instructors as a support for helping students build a well-organized knowledge structure and by researchers as a basis for the design of investigations into student understanding. While this framework may be adapted to different approaches and interpretive stances, it provides indications in favor of a spin-first approach over a waves-first one.


title: Span Programs and Quantum Space Complexity

abstract: While quantum computers hold the promise of significant computational speedups, the limited size of early quantum machines motivates the study of space-bounded quantum computation. We relate the quantum space complexity of computing a function f with one-sided error to the logarithm of its span program size, a classical quantity that is well-studied in attempts to prove formula size lower bounds. In the more natural bounded error model, we show that the amount of space needed for a unitary quantum algorithm to compute f with bounded (two-sided) error is lower bounded by the logarithm of its approximate span program size. Approximate span programs were introduced in the field of quantum algorithms but not studied classically. However, the approximate span program size of a function is a natural generalization of its span program size. While no non-trivial lower bound is known on the span program size (or approximate span program size) of any concrete function, a number of lower bounds are known on the monotone span program size. We show that the approximate monotone span program size of f is a lower bound on the space needed by quantum algorithms of a particular form, called monotone phase estimation algorithms, to compute f. We then give the first non-trivial lower bound on the approximate span program size of an explicit function.


title: Geometrical Smeariness -- A new Phenomenon of Fr\'echet Means

abstract: In the past decades, the central limit theorem (CLT) has been generalized to non-Euclidean data spaces. Some years ago, it was found that for some random variables on the circle, the sample Fr\'echet mean fluctuates around the population mean asymptotically at a scale $n^{-\tau}$ with exponent $\tau < 1/2$ with a non-normal distribution if the probability density at the antipodal point of the mean is $\frac{1}{2\pi}$. The author and his collaborator recently discovered that $\tau = 1/6$ for some random variables on higher dimensional spheres. In this article we show that, even more surprisingly, the phenomenon on spheres of higher dimension is qualitatively different from that on the circle, as it depends purely on geometrical properties of the space, namely its curvature, and not on the density at the antipodal point. This gives rise to the new concept of geometrical smeariness. In consequence, the sphere can be deformed, say, by removing a neighborhood of the antipodal point of the mean and gluing a flat space there, with a smooth transition piece. This yields smeariness on a manifold, which is diffeomorphic to Euclidean space. We give an example family of random variables with 2-smeary mean, i.e. with $\tau = 1/6$, whose range has a hole containing the cut locus of the mean. The hole size exhibits a curse of dimensionality as it can increase with dimension, converging to the whole hemisphere opposite a local Fr\'echet mean. We observe smeariness in simulated landmark shapes on Kendall pre-shape space and in real data of geomagnetic north pole positions on the two-dimensional sphere.


title: Excision and avoiding the use of boundary conditions in numerical relativity

abstract: A procedure for evolving hyperbolic systems of equations on compact computational domains with no boundary conditions was recently described in [arXiv:1905.08657]. In that proposal, the computational grid is expanded in spacelike directions with respect to the outermost characteristic and initial data is imposed on the expanded grid boundary. We discuss a related method that removes the need for imposing boundary conditions: the computational domain is excised along a direction spacelike with respect to the innermost going characteristic. We compare the two methods, and provide example evolutions from a code that implements the excision method: evolution of a massless self-gravitating scalar field in spherical symmetry.


title: Effect of superfluid matter of neutron star on the tidal deformability

abstract: We study the effect of superfluidity on the tidal response of a neutron star in a general relativistic framework. In this work, we take a dual-layer approach where the superfluid matter is confined in the core of the star. Then, the superfluid core is encapsulated with an envelope of ordinary matter fluid which acts effectively as the low-density crustal region of the star. In the core, the matter content is described by a two-fluid model where only the neutrons are taken as superfluid and the other fluid consists of protons and electrons making it charge neutral. We calculate the values of various tidal love numbers of a neutron star and discuss how they are affected due to the presence of entrainment between the two fluids in the core. We also emphasize that more than one tidal parameter is necessary to probe superfluidity with the gravitational wave from the binary inspiral.


title: MLP Aware Scheduling Techniques in Multithreaded Processors

abstract: Major chip manufacturers have all introduced Multithreaded processors. These processors are used for running a variety of workloads. Efficient resource utilization is an important design aspect in such processors. Particularly, it is important to take advantage of available memory-level parallelism(MLP). In this paper I propose a MLP aware operating system (OS) scheduling algorithm for Multithreaded Multi-core processors. By observing the MLP available in each thread and by balancing it with available MLP resources in the system the OS will come up with a new schedule of threads for the next quantum that could potentially improve overall performance. We do a qualitative comparison of our solution with other hardware and software techniques. This work can be extended by doing a quantitative evaluation and by further refining the scheduling optimization.


title: Crowdsourcing real-time viral disease and pest information. A case of nation-wide cassava disease surveillance in a developing country

abstract: In most developing countries, a huge proportion of the national food basket is supported by small subsistence agricultural systems. A major challenge to these systems is disease and pest attacks which have a devastating effect on the smallholder farmers that depend on these systems for their livelihoods. A key component of any proposed solution is a good disease surveillance network. However, current surveillance efforts are unable to provide sufficient data for monitoring such phenomena over a vast geographic area efficiently and effectively due to limited resources, both human and financial. Crowdsourcing with farmer crowds that have access to mobile phones offers a viable option to provide all year round real-time surveillance data on viral disease and pest incidence and severity. This work presents a mobile ad hoc surveillance system for monitoring viral diseases and pests in cassava. We present results from a pilot in Uganda where this system was deployed for 76 weeks. We discuss the participation behaviours of the crowds with mobile smartphones as well as the effects of several incentives applied.


title: The first law of black hole thermodynamics for Taub-NUT spacetime

abstract: This article focuses on the new approach to the nature of a nut parameter $n$, usually treated as a dual charge to the mass. Instead of thinking about it as a gravitational analog of the magnetic monopole, we will show that the Taub-NUT spacetime conceals a peculiar rotation coming from the Misner strings depending on the nut value. Besides reconciling a number of confusing results present in the literature, this allows us to establish a consistent description of the black hole thermodynamics for the Lorentzian Taub--NUT spacetime with essential contribution from the Misner strings to the angular momentum and total entropy.


title: Diameter-independent skyrmion Hall angle in the plastic flow regime observed in chiral magnetic multilayers

abstract: Magnetic skyrmions are topologically non-trivial nanoscale objects. Their topology, which originates in their chiral domain wall winding, governs their unique response to a motion-inducing force. When subjected to an electrical current, the chiral winding of the spin texture leads to a deflection of the skyrmion trajectory, characterized by an angle with respect to the applied force direction. This skyrmion Hall angle was believed to be skyrmion diameter-dependent. In contrast, our experimental study finds that within the plastic flow regime the skyrmion Hall angle is diameter-independent. At an average velocity of 6 $\pm$ 1 m/s the average skyrmion Hall angle was measured to be 9{\deg} $\pm$ 2{\deg}. In fact, in the plastic flow regime, the skyrmion dynamics is dominated by the local energy landscape such as materials defects and the local magnetic configuration.


title: Automatic Model Monitoring for Data Streams

abstract: Detecting concept drift is a well known problem that affects production systems. However, two important issues that are frequently not addressed in the literature are 1) the detection of drift when the labels are not immediately available; and 2) the automatic generation of explanations to identify possible causes for the drift. For example, a fraud detection model in online payments could show a drift due to a hot sale item (with an increase in false positives) or due to a true fraud attack (with an increase in false negatives) before labels are available. In this paper we propose SAMM, an automatic model monitoring system for data streams. SAMM detects concept drift using a time and space efficient unsupervised streaming algorithm and it generates alarm reports with a summary of the events and features that are important to explain it. SAMM was evaluated in five real world fraud detection datasets, each spanning periods up to eight months and totaling more than 22 million online transactions. We evaluated SAMM using human feedback from domain experts, by sending them 100 reports generated by the system. Our results show that SAMM is able to detect anomalous events in a model life cycle that are considered useful by the domain experts. Given these results, SAMM will be rolled out in a next version of Feedzai's Fraud Detection solution.


title: Configuration spaces of disks in an infinite strip

abstract: We study the topology of the configuration spaces $C(n,w)$ of $n$ hard disks of unit diameter in an infinite strip of width $w$. We describe ranges of parameter or "regimes", where homology $H_j [C(n,w)]$ behaves in qualitatively different ways. We show that if $w \ge j+2$, then the homology $H_j[C(n, w)]$ is isomorphic to the homology of the configuration space of points in the plane, $H_j[C(n, \mathbb{R}^2)]$. The Betti numbers of $C(n, \mathbb{R}^2) $ were computed by Arnold, and so as a corollary of the isomorphism, $\beta_j[C(n,w)]$ is a polynomial in $n$ of degree $2j$. On the other hand, we show that if $2 \le w \le j+1$, then $\beta_j [ C(n,w) ]$ grows exponentially with $n$. Most of our work is in carefully estimating $\beta_j [ C(n,w) ]$ in this regime. We also illustrate, for every $n$, the homological "phase portrait" in the $(w,j)$-plane--- the parameter values where homology $H_j [C(n,w)]$ is trivial, nontrivial, and isomorphic with $H_j [C(n, \mathbb{R}^2)]$. Motivated by the notion of phase transitions for hard-spheres systems, we discuss these as the "homological solid, liquid, and gas" regimes.


title: A new anisotropic mesh adaptation method based upon hierarchical a posteriori error estimates

abstract: A new anisotropic mesh adaptation strategy for finite element solution of elliptic differential equations is presented. It generates anisotropic adaptive meshes as quasi-uniform ones in some metric space, with the metric tensor being computed based on hierarchical a posteriori error estimates. A global hierarchical error estimate is employed in this study to obtain reliable directional information of the solution. Instead of solving the global error problem exactly, which is costly in general, we solve it iteratively using the symmetric Gauss--Seidel (GS) method. Numerical results show that a few GS iterations are sufficient for obtaining a reasonably good approximation to the error for use in anisotropic mesh adaptation. The new method is compared with several strategies using local error estimators or recovered Hessians. Numerical results are presented for a selection of test examples and a mathematical model for heat conduction in a thermal battery with large orthotropic jumps in the material coefficients.


title: Sampling Distributions of Optimal Portfolio Weights and Characteristics in Low and Large Dimensions

abstract: Optimal portfolio selection problems are determined by the (unknown) parameters of the data generating process. If an investor wants to realise the position suggested by the optimal portfolios, he/she needs to estimate the unknown parameters and to account for the parameter uncertainty in the decision process. Most often, the parameters of interest are the population mean vector and the population covariance matrix of the asset return distribution. In this paper, we characterise the exact sampling distribution of the estimated optimal portfolio weights and their characteristics. This is done by deriving their sampling distribution by its stochastic representation. This approach possesses several advantages, {e.g.} (i) it determines the sampling distribution of the estimated optimal portfolio weights by expressions, which could be used to draw samples from this distribution efficiently; (ii) the application of the derived stochastic representation provides an easy way to obtain the asymptotic approximation of the sampling distribution. The later property is used to show that the high-dimensional asymptotic distribution of optimal portfolio weights is a multivariate normal and to determine its parameters. Moreover, a consistent estimator of optimal portfolio weights and their characteristics is derived under the high-dimensional settings. Via an extensive simulation study, we investigate the finite-sample performance of the derived asymptotic approximation and study its robustness to the violation of the model assumptions used in the derivation of the theoretical results.


title: Derivation of the sterile neutrino Boltzmann equation from quantum kinetics

abstract: An extensive, growing body of work has been penned on cosmologies that include one or more sterile neutrinos. Early entries in the literature formulated a Boltzmann-like equation describing sterile-neutrino production in a way that bypasses the numerical tracking of high-frequency complex phases, and meticulous quantum-kinetic analyses shortly thereafter put the formula on firmer ground. A new and more direct derivation is given here, showing that the equation follows almost immediately from a quantum relaxation-time approximation and an expansion in the mixing angle. Besides reproducing the desired result, the relaxation ansatz captures to a high degree of accuracy the interlaced dynamics of oscillations, decoherence, and plasma repopulation. Successes and limitations of the semiclassical equation are illustrated numerically and are shown to reflect the accuracy of the approximations employed in the derivation. The inclusion of interactions among the sterile neutrinos is also briefly addressed.


title: The Higgs Mechanism -- Hasse Diagrams for Symplectic Singularities

abstract: We explore the geometrical structure of Higgs branches of quantum field theories with 8 supercharges in 3, 4, 5 and 6 dimensions. They are symplectic singularities, and as such admit a decomposition (or foliation) into so-called symplectic leaves, which are related to each other by transverse slices. We identify this foliation with the pattern of partial Higgs mechanism of the theory and, using brane systems and recently introduced notions of magnetic quivers and quiver subtraction, we formalise the rules to obtain the Hasse diagram which encodes the structure of the foliation. While the unbroken gauge symmetry and the number of flat directions are obtainable by classical field theory analysis for Lagrangian theories, our approach allows us to characterise the geometry of the Higgs branch by a Hasse diagram with symplectic leaves and transverse slices, thus refining the analysis and extending it to non-Lagrangian theories. Most of the Hasse diagrams we obtain extend beyond the cases of nilpotent orbit closures known in the mathematics literature. The geometric analysis developed in this paper is applied to Higgs branches of several Lagrangian gauge theories, Argyres-Douglas theories, five dimensional SQCD theories at the conformal fixed point, and six dimensional SCFTs.


title: The shapes of spiral arms in the S$^4$G survey and their connection with stellar bars

abstract: Spiral galaxies are common in the local Universe, but their formation, evolution, and interplay with bars remain poorly understood. We use a sample of 391 nearby galaxies from the S$^4$G survey to characterise the winding angle and amplitude of spiral arms as a function of disc properties, such as bar strength, in all kinds of spirals (grand-design, multi-armed, and flocculent). We derive global pitch angles in 3.6 $\mu$m de-projected images from i) average measurements of individual logarithmic spiral segments, and ii) for a subsample of 32 galaxies, from 2-D Fourier analyses. The strength of spirals is quantified from the tangential-to-radial force ratio and from the normalised $m=2$ Fourier density amplitudes. In galaxies with more than one measured logarithmic segment, the spiral pitch angle varies on average by $\sim 10^{\circ}$ between segments, but by up to $\gtrsim 15-20^{\circ}$. The distribution of the global pitch angle versus Hubble type ($T$) is very similar for barred and non-barred galaxies when $1 \lesssim T \lesssim 5$. Most spiral galaxies ($>90\%$) are barred for $T>5$. The pitch angle is not correlated with bar strength, and only weakly with spiral strength. The amplitude of spirals is correlated with bar strength (and less tightly, with bar length) for all types of spirals. The mean pitch angle is hardly correlated with the mass of the supermassive black hole (estimated from central stellar velocity dispersion), with central stellar mass concentration, or with shear, questioning previous results in the literature using smaller samples. We do not find observational evidence that spiral arms are driven by stellar bars or by invariant manifolds. Most likely, disks that are prone to the development of strong bars are also reactive to the formation of prominent spirals, explaining the observed coupling between bar and spiral amplitudes (Abridged).


title: Searches for Interstellar HCCSH and H$_2$CCS

abstract: A long standing problem in astrochemistry is the inability of many current models to account for missing sulfur content. Many relatively simple species that may be good candidates to sequester sulfur have not been measured experimentally at the high spectral resolution necessary to enable radioastronomical identification. On the basis of new laboratory data, we report searches for the rotational lines in the microwave, millimeter, and sub-millimeter regions of the sulfur-containing hydrocarbon HCCSH. This simple species would appear to be a promising candidate for detection in space owing to the large dipole moment along its $b$-inertial axis, and because the bimolecular reaction between two highly abundant astronomical fragments (CCH and SH radicals) may be rapid. An inspection of multiple line surveys from the centimeter to the far-infrared toward a range of sources from dark clouds to high-mass star-forming regions, however, resulted in non-detections. An analogous search for the lowest-energy isomer, H$_2$CCS, is presented for comparison, and also resulted in non-detections. Typical upper limits on the abundance of both species relative to hydrogen are $10^{-9}$-$10^{-10}$. We thus conclude that neither isomer is a major reservoir of interstellar sulfur in the range of environments studied. Both species may still be viable candidates for detection in other environments or at higher frequencies, providing laboratory frequencies are available.


title: Concomitants of Ternary Quartics and Vector-valued Siegel and Teichm\"uller Modular Forms of Genus Three

abstract: We show how one can use the representation theory of ternary quartics to construct all vector-valued Siegel modular forms and Teichm\"uller modular forms of degree 3. The relation between the order of vanishing of a concomitant on the locus of double conics and the order of vanishing of the corresponding modular form on the hyperelliptic locus plays an important role. We also determine the connection between Teichm\"uller cusp forms on \overline{M}_g and the middle cohomology of symplectic local systems on M_g. In genus 3, we make this explicit in a large number of cases.


title: Cache Optimization for Memory Intensive Workloads on Multi-socket Multi-core servers

abstract: Major chip manufacturers have all introduced multicore microprocessors. Multi-socket systems built from these processors are used for running various server applications. Depending on the application that is run on the system, remote memory accesses can impact overall performance. This paper presents a cache optimization that can cut down remote DRAM accesses. By keeping track of remote cache lines loaded from remote DRAM and by biasing the cache replacement policy towards such remote DRAM cache lines the number of cache misses are reduced. This in turn results in improvement of overall performance. I present the design details in this paper. I do a qualitative comparison of various solutions to the problem of performance impact of remote DRAM accesses. This work can be extended by doing a quantitative evaluation and by further refining cache optimization.


title: Automated Brain Tumour Segmentation Using Deep Fully Residual Convolutional Neural Networks

abstract: Automated brain tumour segmentation has the potential of making a massive improvement in disease diagnosis, surgery, monitoring and surveillance. However, this task is extremely challenging. Here, we describe our automated segmentation method using 2D CNNs that are based on U-Net. To deal with class imbalance effectively, we have used a weighted Dice loss function. We found that increasing the depth of the 'U' shape beyond a certain level results in a decrease in performance, so it is essential to choose an optimum depth. We also found that 3D contextual information cannot be captured by a single 2D network that is trained with patches extracted from multiple views whereas an ensemble of three 2D networks trained in multiple views can effectively capture the information and deliver much better performance. We obtained Dice scores of 0.79 for enhancing tumour, 0.90 for whole tumour, and 0.82 for tumour core on the BraTS 2018 validation set. Our method using 2D network consumes very less time and memory, and is much simpler and easier to implement compared to the state-of-the-art methods that used 3D networks; still, it manages to achieve comparable performance to those methods.