title: Efficient Green Emission from Edge States in Graphene Perforated by Nitrogen Plasma Treatment

abstract: Plasma functionalization of graphene is one of the facile ways to tune its doping level without the need for wet chemicals making graphene photoluminescent. Microscopic corrugations in the two-dimensional structure of bilayer CVD graphene having a quasi-free-suspended top layer, such as graphene ripples, nanodomes, and bubbles, may significantly enhance local reactivity leading to etching effects on exposure to plasma. Here, we discovered that bilayer CVD graphene treated with nitrogen plasma exhibits efficient UV-green-red emission, where the excitation at 250 nm leads to photoluminescence with the peaks at 390, 470, and 620 nm, respectively. By using Raman scattering and spectroscopic ellipsometry, we investigated doping effects induced by oxygen or nitrogen plasma on the optical properties of single- and bilayer CVD graphene. The surface morphology of the samples was studied by atomic force microscopy. It is revealed that the top sheet of bilayer graphene becomes perforated after the treatment by nitrogen plasma. Our comprehensive study indicates that the dominant green emission is associated with the edge defect structure of perforated graphene filled with nitrogen. The discovered efficient emission appearing in nitrogen plasma treated perforated graphene may have a significant potential for the development of advanced optoelectronic materials.


title: A model to predict image formation in the three-dimensional field ion microscope

abstract: This article presents a numerical model dedicated to the simulation of field ion microscopy (FIM). FIM was the first technique to image individual atoms on the surface of a material. By a careful control of the field evaporation of the atoms from the surface, the bulk of the material exposed, and, through a digitally processing a sequence of micrographs, a three-dimensional reconstruction can be achieved. 3DFIM is particularly suited to the direct observation of crystalline defects such as vacancies, interstitials, vacancy clusters, dislocations, and any combinations of theses defects that underpin the physical properties of materials. This makes 3DFIM extremely valuable for many material science and engineering applications, and further developing this technique is becoming crucial. The proposed model enables the simulation of imaging artefacts that are induced by non-regular field evaporation and by the impact of the perturbation of the electric field distribution of the distorted distribution of atoms close to defects. The model combines the meshless algorithm for field evaporation proposed by Rolland et al. (Robin-Rolland Model, or RRM) with fundamental aspects of the field ionization process of the gas image involved in FIM.


title: Wide angle effects for peculiar velocities

abstract: The line-of-sight peculiar velocities of galaxies contribute to their observed redshifts, breaking the translational invariance of galaxy clustering down to a rotational invariance around the observer. This becomes important when the line-of-sight direction varies significantly across a survey, leading to what are known as `wide angle' effects in redshift space distortions. Wide-angle effects will also be present in measurements of the momentum field, i.e. the galaxy density-weighted velocity field, in upcoming peculiar velocity surveys. In this work we study how wide-angle effects modify the predicted correlation function and power spectrum for momentum statistics, both in auto-correlation and in cross-correlation with the density field. Using both linear theory and the Zeldovich approximation, we find that deviations from the plane-parallel limit are large and could become important in data analysis for low redshift surveys. We point out that even multipoles in the cross-correlation between density and momentum are non-zero regardless of the choice of line of sight, and therefore contain new cosmological information that could be exploited. We discuss configuration-space, Fourier-space and spherical analyses, providing exact expressions in each case rather than relying on an expansion in small angles. We hope these expressions will be of use in the analysis of upcoming surveys for redshift-space distortions and peculiar velocities.


title: Energy Usage Reports: Environmental awareness as part of algorithmic accountability

abstract: The carbon footprint of algorithms must be measured and transparently reported so computer scientists can take an honest and active role in environmental sustainability. In this paper, we take analyses usually applied at the industrial level and make them accessible for individual computer science researchers with an easy-to-use Python package. Localizing to the energy mixture of the electrical power grid, we make the conversion from energy usage to CO2 emissions, in addition to contextualizing these results with more human-understandable benchmarks such as automobile miles driven. We also include comparisons with energy mixtures employed in electrical grids around the world. We propose including these automatically-generated Energy Usage Reports as part of standard algorithmic accountability practices, and demonstrate the use of these reports as part of model-choice in a machine learning context.


title: Equilibrium constants of Hydrogen and Helium isotopes at low nuclear densities

abstract: Equilibrium constants for Hydrogen and Helium isotopes as a function of density and temperature are measured in the framework of the study made by Qin et al. [Qin L et al 2012 Phys. Rev. Lett. 108 172701]. We review and comment on all stages of the analysis and conclude that our measurements are not inconsistent with Qin et al. results. Improvements are being made to the initial analysis and we raise the issue of the binding energies which has to be clarified.


title: Stream Semantic Registers: A Lightweight RISC-V ISA Extension Achieving Full Compute Utilization in Single-Issue Cores

abstract: Single-issue processor cores are very energy efficient but suffer from the von Neumann bottleneck, in that they must explicitly fetch and issue the loads/storse necessary to feed their ALU/FPU. Each instruction spent on moving data is a cycle not spent on computation, limiting ALU/FPU utilization to 33% on reductions. We propose "Stream Semantic Registers" to boost utilization and increase energy efficiency. SSR is a lightweight, non-invasive RISC-V ISA extension which implicitly encodes memory accesses as register reads/writes, eliminating a large number of loads/stores. We implement the proposed extension in the RTL of an existing multi-core cluster and synthesize the design for a modern 22nm technology. Our extension provides a significant, 2x to 5x, architectural speedup across different kernels at a small 11% increase in core area. Sequential code runs 3x faster on a single core, and 3x fewer cores are needed in a cluster to achieve the same performance. The utilization increase to almost 100% in leads to a 2x energy efficiency improvement in a multi-core cluster. The extension reduces instruction fetches by up to 3.5x and instruction cache power consumption by up to 5.6x. Compilers can automatically map loop nests to SSRs, making the changes transparent to the programmer.


title: ROME (Radio Observations of Magnetized Exoplanets). II. HD 189733 Does Not Accrete Significant Material from its Exoplanet like a T Tauri Star from A Disk

abstract: It has been asserted that the primary star in the HD 189733 system steadily accretes evaporated exospheric gases from its ``hot Jupiter'' companion, rather like a T Tauri star accreting from a disk. We conduct statistical and periodogram analyses of the photometric time series of the primary, as acquired by the automated photoelectric telescope (APT), Microvariability and Oscillations of Stars (MOST), and Wise Observatory, to investigate this claim with the goal of revealing the presence of accretion shocks or photospheric accretion hotspots as are found in T Tauri systems such as AA Tau. None of the anticipated features were found. We re-analyze existing radio, optical, ultraviolet, and X-ray data within the framework of accreting T Tauri systems to determine physical quantities such as plasma density and temperature, accretion rate, and flare lengths. We find that with an accretion rate of $\dot{M}\sim10^{9}$ to 10$^{11}$ g s$^{-1}$, the star is more similar to a system that intermittently absorbs gas from sungrazing comets in outburst than classical T Tauri systems, which have accretion rates at least two orders of magnitude larger. If such accretion exists, it would result in undetectably low activity at all wavelengths. Alternatively, all of the emission properties observed thus far are in agreement with stellar activity from a magnetically active star.


title: On Equilibrium Metropolis Simulations on Self-Organized Urban Street Networks

abstract: Urban street networks of unplanned or self-organized cities typically exhibit astonishing scale-free patterns. This scale-freeness can be shown, within the maximum entropy formalism (MaxEnt), as the manifestation of a fluctuating system that preserves on average some amount of information. Monte Carlo methods that can further this perspective are cruelly missing. Here we adapt to self-organized urban street networks the Metropolis algorithm. The "coming to equilibrium" distribution is established with MaxEnt by taking scale-freeness as prior hypothesis along with symmetry-conservation arguments. The equilibrium parameter is the scaling; its concomitant extensive quantity is, assuming our lack of knowledge, an amount of information. To design an ergodic dynamics, we disentangle the state-of-the-art street generating paradigms based on nonoverlapping walks into layout-at-junction dynamics. Our adaptation reminisces the single-spin-flip Metropolis algorithm for Ising models. We thus expect Metropolis simulations to reveal that self-organized urban street networks, besides sustaining scale-freeness over a wide range of scalings, undergo a crossover as scaling varies -- literature argues for a small-world crossover. Simulations for Central London are consistent against the state-of-the-art outputs over a realistic range of scaling exponents. Our illustrative Watts-Strogatz phase diagram with scaling as rewiring parameter demonstrates a small-world crossover curving within the realistic window 2-3; it also shows that the state-of-the-art outputs underlie relatively large worlds. Our Metropolis adaptation to self-organized urban street networks thusly appears as a scaling variant of the Watts-Strogatz model. Such insights may ultimately allow the urban profession to anticipate self-organization or unplanned evolution of urban street networks.


title: The Holevo Cram\'er-Rao bound is at most thrice the Helstrom version

abstract: In quantum metrology, the Holevo Cram\'er-Rao bound has attracted renewed interest in recent years due to its superiority over the Helstrom Cram\'er-Rao bound and its asymptotic attainability for multi-parameter estimation. Its evaluation, however, is often much more difficult than that of the Helstrom version, calling into question the actual improvement offered by the Holevo CRB and whether it is worth the trouble. Here I prove that the Holevo bound is at most thrice the Helstrom version, so the improvement must be limited. The result also shows that the Helstrom version remains a pretty good bound even for multiple parameters and can be approached asymptotically to within a factor of 3.


title: All-Pay Bidding Games on Graphs

abstract: In this paper we introduce and study {\em all-pay bidding games}, a class of two player, zero-sum games on graphs. The game proceeds as follows. We place a token on some vertex in the graph and assign budgets to the two players. Each turn, each player submits a sealed legal bid (non-negative and below their remaining budget), which is deducted from their budget and the highest bidder moves the token onto an adjacent vertex. The game ends once a sink is reached, and \PO pays \PT the outcome that is associated with the sink. The players attempt to maximize their expected outcome. Our games model settings where effort (of no inherent value) needs to be invested in an ongoing and stateful manner. On the negative side, we show that even in simple games on DAGs, optimal strategies may require a distribution over bids with infinite support. A central quantity in bidding games is the {\em ratio} of the players budgets. On the positive side, we show a simple FPTAS for DAGs, that, for each budget ratio, outputs an approximation for the optimal strategy for that ratio. We also implement it, show that it performs well, and suggests interesting properties of these games. Then, given an outcome $c$, we show an algorithm for finding the necessary and sufficient initial ratio for guaranteeing outcome $c$ with probability~$1$ and a strategy ensuring such. Finally, while the general case has not previously been studied, solving the specific game in which \PO wins iff he wins the first two auctions, has been long stated as an open question, which we solve.


title: Predicting overweight and obesity in later life from childhood data: A review of predictive modeling approaches

abstract: Background: Overweight and obesity are an increasing phenomenon worldwide. Predicting future overweight or obesity early in the childhood reliably could enable a successful intervention by experts. While a lot of research has been done using explanatory modeling methods, capability of machine learning, and predictive modeling, in particular, remain mainly unexplored. In predictive modeling models are validated with previously unseen examples, giving a more accurate estimate of their performance and generalization ability in real-life scenarios. Objective: To find and review existing overweight or obesity research from the perspective of employing childhood data and predictive modeling methods. Methods: The initial phase included bibliographic searches using relevant search terms in PubMed, IEEE database and Google Scholar. The second phase consisted of iteratively searching references of potential studies and recent research that cite the potential studies. Results: Eight research articles and three review articles were identified as relevant for this review. Conclusions: Prediction models with high performance either have a relatively short time period to predict or/and are based on late childhood data. Logistic regression is currently the most often used method in forming the prediction models. In addition to child's own weight and height information, maternal weight status or body mass index was often used as predictors in the models.


title: Variance Reduced Advantage Estimation with $\delta$ Hindsight Credit Assignment

abstract: Hindsight Credit Assignment (HCA) refers to a recently proposed family of methods for producing more efficient credit assignment in reinforcement learning. These methods work by explicitly estimating the probability that certain actions were taken in the past given present information. Prior work has studied the properties of such methods and demonstrated their behaviour empirically. We extend this work by introducing a particular HCA algorithm which has provably lower variance than the conventional Monte-Carlo estimator when the necessary functions can be estimated exactly. This result provides a strong theoretical basis for how HCA could be broadly useful.


abstract: Image-based Reinforcement Learning is known to suffer from poor sample efficiency and generalisation to unseen visuals such as distractors (task-independent aspects of the observation space). Visual domain randomisation encourages transfer by training over visual factors of variation that may be encountered in the target domain. This increases learning complexity, can negatively impact learning rate and performance, and requires knowledge of potential variations during deployment. In this paper, we introduce Attention-Privileged Reinforcement Learning (APRiL) which uses a self-supervised attention mechanism to significantly alleviate these drawbacks: by focusing on task-relevant aspects of the observations, attention provides robustness to distractors as well as significantly increased learning efficiency. APRiL trains two attention-augmented actor-critic agents: one purely based on image observations, available across training and transfer domains; and one with access to privileged information (such as environment states) available only during training. Experience is shared between both agents and their attention mechanisms are aligned. The image-based policy can then be deployed without access to privileged information. We experimentally demonstrate accelerated and more robust learning on a diverse set of domains, leading to improved final performance for environments both within and outside the training distribution.


title: Volenti non fit injuria: Ransomware and its Victims

abstract: With the recent growth in the number of malicious activities on the internet, cybersecurity research has seen a boost in the past few years. However, as certain variants of malware can provide highly lucrative opportunities for bad actors, significant resources are dedicated to innovations and improvements by vast criminal organisations. Among these forms of malware, ransomware has experienced a significant recent rise as it offers the perpetrators great financial incentive. Ransomware variants operate by removing system access from the user by either locking the system or encrypting some or all of the data, and subsequently demanding payment or ransom in exchange for returning system access or providing a decryption key to the victim. Due to the ubiquity of sensitive data in many aspects of modern life, many victims of such attacks, be they an individual home user or operators of a business, are forced to pay the ransom to regain access to their data, which in many cases does not happen as renormalisation of system operations is never guaranteed. As the problem of ransomware does not seem to be subsiding, it is very important to investigate the underlying forces driving and facilitating such attacks in order to create preventative measures. As such, in this paper, we discuss and provide further insight into variants of ransomware and their victims in order to understand how and why they have been targeted and what can be done to prevent or mitigate the effects of such attacks.


title: Approval-Based Apportionment

abstract: In the apportionment problem, a fixed number of seats must be distributed among parties in proportion to the number of voters supporting each party. We study a generalization of this setting, in which voters can support multiple parties by casting approval ballots. This approval-based apportionment setting generalizes traditional apportionment and is a natural restriction of approval-based multiwinner elections, where approval ballots range over individual candidates instead of parties. Using techniques from both apportionment and multiwinner elections, we identify rules that generalize the D'Hondt apportionment method and that satisfy strong axioms which are generalizations of properties commonly studied in the apportionment literature. In fact, the rules we discuss provide representation guarantees that are currently out of reach in the general setting of multiwinner elections: First, we show that core-stable committees are guaranteed to exist and can be found in polynomial time. Second, we demonstrate that extended justified representation is compatible with committee monotonicity (also known as house monotonicity).


title: Relaxation dynamics and dissipative phase transition in quantum oscillators with period tripling

abstract: Period tripling in driven quantum oscillators reveals unique features absent for linear and parametric drive, but generic for all higher-order resonances. Here, we focus at zero temperature on the relaxation dynamics towards a stationary state starting initially from a domain around a classical fixed point in phase space. Beyond a certain threshold for the driving strength, the long-time dynamics is governed by a single time constant that sets the rate for switching between different states with broken time translation symmetry. By analyzing the lowest eigenvalues of the corresponding time evolution generator for the dissipative dynamics, we find that near the threshold the gap between these eigenvalues nearly closes. The closing becomes complete for a vanishing quantum parameter. We demonstrate that this behavior, reminiscent of a quantum phase transition, is associated with a transition from a stationary state which is localized in phase space to a delocalized one. We further show, that switching between domains of classical fixed points happens via quantum activation, however, with rates that differ from those obtained by a standard semiclassical treatment. As period tripling has been explored with superconducting circuits mainly in the quasi-classical regime recently, our findings may trigger new activities towards the deep quantum realm.


title: Cichlid: Explicit physical memory management for large machines

abstract: In this paper, we rethink how an OS supports virtual memory. Classical VM is an opaque abstraction of RAM, backed by demand paging. However, most systems today (from phones to data-centers) do not page, and indeed may require the performance benefits of non-paged physical memory, precise NUMA allocation, etc. Moreover, MMU hardware is now useful for other purposes, such as detecting page access or providing large page translation. Accordingly, the venerable VM abstraction in OSes like Windows and Linux has acquired a plethora of extra APIs to poke at the policy behind the illusion of a virtual address space. Instead, we present Cichlid, a memory system which inverts this model. Applications explicitly manage their physical RAM of different types, and directly (though safely) program the translation hardware. Cichlid is implemented in Barrelfish, requires no virtualization support, and outperforms VMM-based approaches for all but the smallest working sets. We show that Cichlid enables use-cases for virtual memory not possible in Linux today, and other use-cases are simple to program and significantly faster.


title: Large-Scale Traffic Signal Offset Optimization

abstract: The offset optimization problem seeks to coordinate and synchronize the timing of traffic signals throughout a network in order to enhance traffic flow and reduce stops and delays. Recently, offset optimization was formulated into a continuous optimization problem without integer variables by modeling traffic flow as sinusoidal. In this paper, we present a novel algorithm to solve this new formulation to near-global optimality on a large-scale. Specifically, we solve a convex relaxation of the nonconvex problem using a tree decomposition reduction, and use randomized rounding to recover a near-global solution. We prove that the algorithm always delivers solutions of expected value at least 0.785 times the globally optimal value. Moreover, assuming that the topology of the traffic network is "tree-like", we prove that the algorithm has near-linear time complexity with respect to the number of intersections. These theoretical guarantees are experimentally validated on the Berkeley, Manhattan, and Los Angeles traffic networks. In our numerical results, the empirical time complexity of the algorithm is linear, and the solutions have objectives within 0.99 times the globally optimal value.


title: Embeddings and characterizations of Lipschitz spaces

abstract: In this paper we give a thorough study of Lipschitz spaces. We obtain the following new results: (1) Sharp Jawerth-Franke-type embeddings between the Besov and Lipschitz spaces extending the classical results for Besov and Sobolev spaces; (2) Sharp embeddings between Lipschitz spaces with different parameters extending the Br\'ezis-Wainger result; (3) Characterizations for Lipschitz spaces norms via Fourier transforms and wavelets; (4) Sharp embeddings from Lipschitz spaces into Lebesgue/Lorentz-Zygmund spaces.


title: Event detection in Colombian security Twitter news using fine-grained latent topic analysis

abstract: Cultural and social dynamics are important concepts that must be understood in order to grasp what a community cares about. To that end, an excellent source of information on what occurs in a community is the news, especially in recent years, when mass media giants use social networks to communicate and interact with their audience. In this work, we use a method to discover latent topics in tweets from Colombian Twitter news accounts in order to identify the most prominent events in the country. We pay particular attention to security, violence and crime-related tweets because of the violent environment that surrounds Colombian society. The latent topic discovery method that we use builds vector representations of the tweets by using FastText and finds clusters of tweets through the K-means clustering algorithm. The number of clusters is found by measuring the $C_V$ coherence for a range of number of topics of the Latent Dirichlet Allocation (LDA) model. We finally use Uniform Manifold Approximation and Projection (UMAP) for dimensionality reduction to visualise the tweets vectors. Once the clusters related to security, violence and crime are identified, we proceed to apply the same method within each cluster to perform a fine-grained analysis in which specific events mentioned in the news are grouped together. Our method is able to discover event-specific sets of news, which is the baseline to perform an extensive analysis of how people engage in Twitter threads on the different types of news, with an emphasis on security, violence and crime-related tweets.


title: No nonminimally coupled massless scalar hair for spherically symmetric neutral black holes

abstract: We provide a remarkably compact proof that spherically symmetric neutral black holes cannot support static nonminimally coupled massless scalar fields. The theorem is based on causality restrictions imposed on the energy-momentum tensor of the fields near the regular black-hole horizon.


title: Improved Compressed String Dictionaries

abstract: We introduce a new family of compressed data structures to efficiently store and query large string dictionaries in main memory. Our main technique is a combination of hierarchical Front-coding with ideas from longest-common-prefix computation in suffix arrays. Our data structures yield relevant space-time tradeoffs in real-world dictionaries. We focus on two domains where string dictionaries are extensively used and efficient compression is required: URL collections, a key element in Web graphs and applications such as Web mining; and collections of URIs and literals, the basic components of RDF datasets. Our experiments show that our data structures achieve better compression than the state-of-the-art alternatives while providing very competitive query times.


title: Deep Spiking Neural Networks for Large Vocabulary Automatic Speech Recognition

abstract: Artificial neural networks (ANN) have become the mainstream acoustic modeling technique for large vocabulary automatic speech recognition (ASR). A conventional ANN features a multi-layer architecture that requires massive amounts of computation. The brain-inspired spiking neural networks (SNN) closely mimic the biological neural networks and can operate on low-power neuromorphic hardware with spike-based computation. Motivated by their unprecedented energyefficiency and rapid information processing capability, we explore the use of SNNs for speech recognition. In this work, we use SNNs for acoustic modeling and evaluate their performance on several large vocabulary recognition scenarios. The experimental results demonstrate competitive ASR accuracies to their ANN counterparts, while require significantly reduced computational cost and inference time. Integrating the algorithmic power of deep SNNs with energy-efficient neuromorphic hardware, therefore, offer an attractive solution for ASR applications running locally on mobile and embedded devices.


title: Concurrent Expandable AMQs on the Basis of Quotient Filters

abstract: A quotient filter is a cache efficient AMQ data structure. Depending on the fill degree of the filter most insertions and queries only need to access one or two consecutive cache lines. This makes quotient filters fast compared to the more commonly used Bloom filters that incur multiple cache misses. However, concurrent Bloom filters are easy to implement and can be implemented lock-free while concurrent quotient filters are not as simple. Usually concurrent quotient filters work by using an external array of locks -- each protecting a region of the table. Accessing this array incurs one additional cache miss per operation. We propose a new locking scheme that has no memory overhead. Using this new locking scheme we achieve 1.8 times higher speedups than with the common external locking scheme. Another advantage of quotient filters over Bloom filters is that a quotient filter can change its size when it is becoming full. We implement this growing technique for our concurrent quotient filters and adapt it in a way that allows unbounded growing while keeping a bounded false positive rate. We call the resulting data structure a fully expandable quotient filter. Its design is similar to scalable Bloom filters, but we exploit some concepts inherent to quotient filters to improve the space efficiency and the query speed. We also propose quotient filter variants that are aimed to reduce the number of status bits (2-status-bit variant) or to simplify concurrent implementations (linear probing quotient filter). The linear probing quotient filter even leads to a lock-free concurrent filter implementation. This is especially interesting, since we show that any lock-free implementation of another common quotient filter variant would incur significant overheads in the form of additional data fields or multiple passes over the accessed data.


title: Non-extendability of the finite Hilbert transform

abstract: It is proved that the finite Hilbert transform $T\colon X\to X$, which acts continuously on every rearrangement invariant space $X$ on $(-1,1)$ having non-trivial Boyd indices, is already optimally defined. That is, $T\colon X\to X$ cannot be further extended, still taking its values in $X$, to any larger domain space.


title: Extending General Compact Querieable Representations to GIS Applications

abstract: The raster model is commonly used for the representation of images in many domains, and is especially useful in Geographic Information Systems (GIS) to store information about continuous variables of the space (elevation, temperature, etc.). Current representations of raster data are usually designed for external memory or, when stored in main memory, lack efficient query capabilities. In this paper we propose compact representations to efficiently store and query raster datasets in main memory. We present different representations for binary raster data, general raster data and time-evolving raster data. We experimentally compare our proposals with traditional storage mechanisms such as linear quadtrees or compressed GeoTIFF files. Results show that our structures are up to 10 times smaller than classical linear quadtrees, and even comparable in space to non-querieable representations of raster data, while efficiently answering a number of typical queries.


title: Homogenization of a stochastically forced Hamilton-Jacobi equation

abstract: We study the homogenization of a Hamilton-Jacobi equation forced by rapidly oscillating noise that is colored in space and white in time. It is shown that the homogenized equation is deterministic, and, in general, the noise has an enhancement effect, for which we provide a quantitative estimate. As an application, we perform a noise sensitivity analysis for Hamilton-Jacobi equations forced by a noise term with small amplitude, and identify the scaling at which the macroscopic enhancement effect is felt. The results depend on new, probabilistic estimates for the large scale H\"older regularity of the solutions, which are of independent interest.


title: PRINCE: Provider-side Interpretability with Counterfactual Explanations in Recommender Systems

abstract: Interpretable explanations for recommender systems and other machine learning models are crucial to gain user trust. Prior works that have focused on paths connecting users and items in a heterogeneous network have several limitations, such as discovering relationships rather than true explanations, or disregarding other users' privacy. In this work, we take a fresh perspective, and present PRINCE: a provider-side mechanism to produce tangible explanations for end-users, where an explanation is defined to be a set of minimal actions performed by the user that, if removed, changes the recommendation to a different item. Given a recommendation, PRINCE uses a polynomial-time optimal algorithm for finding this minimal set of a user's actions from an exponential search space, based on random walks over dynamic graphs. Experiments on two real-world datasets show that PRINCE provides more compact explanations than intuitive baselines, and insights from a crowdsourced user-study demonstrate the viability of such action-based explanations. We thus posit that PRINCE produces scrutable, actionable, and concise explanations, owing to its use of counterfactual evidence, a user's own actions, and minimal sets, respectively.


title: Finite groups with an automorphism that is a complete mapping

abstract: We show that a finite group $G$ admitting an automorphism $\alpha$ such that the function $G\rightarrow G$, $g\mapsto g\alpha(g)$, is bijective is necessarily solvable.


title: Adaptive Gradient Descent for Convex and Non-Convex Stochastic Optimization

abstract: In this paper we propose several adaptive gradient methods for stochastic optimization. Unlike AdaGrad-type of methods, our algorithms are based on Armijo-type line search and they simultaneously adapt to the unknown Lipschitz constant of the gradient and variance of the stochastic approximation for the gradient. We consider an accelerated and non-accelerated gradient descent for convex problems and gradient descent for non-convex problems. In the experiments we demonstrate superiority of our methods to existing adaptive methods, e.g. AdaGrad and Adam.


title: Anomaly and Novelty detection for robust semi-supervised learning

abstract: Three important issues are often encountered in Supervised and Semi-Supervised Classification: class-memberships are unreliable for some training units (label noise), a proportion of observations might depart from the main structure of the data (outliers) and new groups in the test set may have not been encountered earlier in the learning phase (unobserved classes). The present work introduces a robust and adaptive Discriminant Analysis rule, capable of handling situations in which one or more of the afore-mentioned problems occur. Two EM-based classifiers are proposed: the first one that jointly exploits the training and test sets (transductive approach), and the second one that expands the parameter estimate using the test set, to complete the group structure learned from the training set (inductive approach). Experiments on synthetic and real data, artificially adulterated, are provided to underline the benefits of the proposed method.


title: A model for predicting price polarity of real estate properties using information of real estate market websites

abstract: This paper presents a model that uses the information that sellers publish in real estate market websites to predict whether a property has higher or lower price than the average price of its similar properties. The model learns the correlation between price and information (text descriptions and features) of real estate properties through automatic identification of latent semantic content given by a machine learning model based on doc2vec and xgboost. The proposed model was evaluated with a data set of 57,516 publications of real estate properties collected from 2016 to 2018 of Bogot\'a city. Results show that the accuracy of a classifier that involves text descriptions is slightly higher than a classifier that only uses features of the real estate properties, as text descriptions tends to contain detailed information about the property.


title: Non-stationary Energy in General Relativity

abstract: Using the time evolution equations of (cosmological) General Relativity in the first order Fischer-Marsden form, we construct an integral that measures the amount of non-stationary energy on a given spacelike hypersurface in $D$ dimensions. The integral vanishes for stationary spacetimes; and with a further assumption, reduces to Dain's invariant on the boundary of the hypersurface which is defined with the Einstein constraints and a fourth order equation defining approximate Killing symmetries.


title: MuonTrap: Preventing Cross-Domain Spectre-Like Attacks by Capturing Speculative State

abstract: The disclosure of the Spectre speculative-execution attacks in January 2018 has left a severe vulnerability that systems are still struggling with how to patch. The solutions that currently exist tend to have incomplete coverage, perform badly, or have highly undesirable edge cases that cause application domains to break. MuonTrap allows processors to continue to speculate, avoiding significant reductions in performance, without impacting security. We instead prevent the propagation of any state based on speculative execution, by placing the results of speculative cache accesses into a small, fast L0 filter cache, that is non-inclusive, non-exclusive with the rest of the cache hierarchy. This isolates all parts of the system that can't be quickly cleared on any change in threat domain. MuonTrap uses these speculative filter caches, which are cleared on context and protection-domain switches, along with a series of extensions to the cache coherence protocol and prefetcher. This renders systems immune to cross-domain information leakage via Spectre and a host of similar attacks based on speculative execution, with low performance impact and few changes to the CPU design.


title: Spinorial R operator and Algebraic Bethe Ansatz

abstract: We propose a new approach to the spinor-spinor R-matrix with orthogonal and symplectic symmetry. Based on this approach and the fusion method we relate the spinor-vector and vector-vector monodromy matrices for quantum spin chains. We consider the explicit spinor R matrices of low rank orthogonal algebras and the corresponding RTT algebras. Coincidences with fundamental R matrices allow to relate the Algebraic Bethe Ansatz for spinor and vector monodromy matrices.


title: Tree-level processes in very special relativity

abstract: In this paper we discuss the Bhabha and Compton scattering for the quantum electrodynamics defined in the framework of very special relativity (VSR). The main aspect of the VSR setting is that it admits different types of interactions appearing in a nonlocal form due to the modified gauge invariance. We explore the richness of these new couplings in the evaluation of the differential cross-section for these tree-level processes. We assess the behavior of the leading VSR Lorentz violation modifications by considering some special limits for the Bhabha and Compton cross-section expressions.


title: Binary population synthesis models for core-collapse gamma-ray burst progenitors

abstract: Long-duration gamma-ray bursts (GRBs) are understood to be the final fate for a subset of massive, stripped envelope, rapidly rotating stars. Beyond this, our knowledge of the progenitor systems is limited. Using the BPASS (Binary Population and Spectral Synthesis) stellar evolution models, we investigate the possibility that some massive stars in binaries can maintain the angular momentum required for jet production, while still loosing their outer envelope through winds or binary interactions. We find that a total hydrogen mass of less than 0.0005 Msun and a helium ejecta mass fraction of less than 0.20 provide the best thresholds for the supernova type II/Ibc and Ib/Ic divisions respectively. Tidal interactions in binaries are accounted for by applying a tidal algorithm to post-process the stellar evolution models output by BPASS. We show that the observed volumetric gamma-ray burst rate evolution can be recreated using two distinct pathways and plausible distributions for burst parameters. In the first pathway, stars are spun up by mass accretion into a quasi-homogeneous state. In the second, tides maintain rotation where otherwise the star would spin down. Both lead to type Ic supernova progenitors, and a metallicity distribution consistent with the GRB host galaxy population. The inferred core angular momentum threshold for jet production is consistent with theoretical requirements for collapsars, given the assumptions made in our model. We can therefore reproduce several aspects of core collapse supernova/GRB observation and theory simultaneously. We discuss the predicted observable properties of GRB progenitors and their surviving companions.


title: Multi-Resolution 3D CNN for MRI Brain Tumor Segmentation and Survival Prediction

abstract: In this study, an automated three dimensional (3D) deep segmentation approach for detecting gliomas in 3D pre-operative MRI scans is proposed. Then, a classi-fication algorithm based on random forests, for survival prediction is presented. The objective is to segment the glioma area and produce segmentation labels for its different sub-regions, i.e. necrotic and the non-enhancing tumor core, the peri-tumoral edema, and enhancing tumor. The proposed deep architecture for the segmentation task encompasses two parallel streamlines with two different reso-lutions. One deep convolutional neural network is to learn local features of the input data while the other one is set to have a global observation on whole image. Deemed to be complementary, the outputs of each stream are then merged to pro-vide an ensemble complete learning of the input image. The proposed network takes the whole image as input instead of patch-based approaches in order to con-sider the semantic features throughout the whole volume. The algorithm is trained on BraTS 2019 which included 335 training cases, and validated on 127 unseen cases from the validation dataset using a blind testing approach. The proposed method was also evaluated on the BraTS 2019 challenge test dataset of 166 cases. The results show that the proposed methods provide promising segmentations as well as survival prediction. The mean Dice overlap measures of automatic brain tumor segmentation for validation set were 0.84, 0.74 and 0.71 for the whole tu-mor, core and enhancing tumor, respectively. The corresponding results for the challenge test dataset were 0.82, 0.72, and 0.70, respectively. The overall accura-cy of the proposed model for the survival prediction task is %52 for the valida-tion and %49 for the test dataset.


title: A new dual representation for staggered lattice QCD

abstract: We propose a new strategy to evaluate the partition function of lattice QCD with Wilson gauge action coupled to staggered fermions, based on a strong coupling expansion in the inverse bare gauge coupling $\beta= 2N/g^{2}$. Our method makes use of the recently developed formalism to evaluate the ${\rm SU}(N)$ $1-$link integrals and consists in an exact rewriting of the partition function in terms of a set of additional dual degrees of freedom which we call "Decoupling Operator Indices" (DOI). The method is not limited to any particular number of dimensions or gauge group ${\rm U}(N)$, ${\rm SU}(N)$. In terms of the DOI the system takes the form of a Tensor Network which can be simulated using Worm-like algorithms. Higher order $\beta$-corrections to strong coupling lattice QCD can be, in principle, systematically evaluated, helping to answer the question whether the finite density sign problem remains mild when plaquette contributions are included. Issues related to the complexity of the description and strategies for the stochastic evaluation of the partition function are discussed.


title: Bayesian Characterization of Main Sequence Binaries in the Old Open Cluster NGC 188

abstract: The binary fractions of open and globular clusters yield powerful constraints on their dynamical state and evolutionary history. We apply publicly available Bayesian analysis code to a $UBVRIJHK_{S}$ photometric catalog of the old open cluster NGC 188 to detect and characterize photometric binaries along the cluster main sequence. This technique has the advantage that it self-consistently handles photometric errors, missing data in various bandpasses, and star-by-star prior constraints on cluster membership. Simulations are used to verify uncertainties and quantify selection biases in our analysis, illustrating that among binaries with mass ratios >0.5, we recover the binary fraction to better than 7% in the mean, with no significant dependence on binary fraction and a mild dependence on assumed mass ratio distribution. Using our photometric catalog, we recover the majority (65%$\pm$11%) of spectroscopically identified main sequence binaries, including 8 of the 9 with spectroscopically measured mass ratios. Accounting for incompleteness and systematics, we derive a mass ratio distribution that rises toward lower mass ratios (within our $q >$0.5 analysis domain). We observe a raw binary fraction for solar-type main sequence stars with mass ratios $q >$0.5 of 42%$\pm$4%, independent of the assumed mass ratio distribution to within its uncertainties, consistent with literature values for old open clusters but significantly higher than the field solar-type binary fraction. We confirm that the binaries identified by our method are more concentrated than single stars, in agreement with previous studies, and we demonstrate that the binary nature of those candidates which remain unidentified spectroscopically is strongly supported by photometry from Gaia DR2.


title: The impact of atmospheric dispersion in the performance of high-resolution spectrographs

abstract: Differential atmospheric dispersion is a wavelength-dependent effect introduced by the atmosphere. It is one of the instrumental errors that can affect the position of the target as perceived on the sky and its flux distribution. This effect will affect the results of astronomical observations if not corrected by an atmospheric dispersion corrector (ADC). In high-resolution spectrographs, in order to reach a radial velocity (RV) precision of 10 cm/s, an ADC is expected to return residuals at only a few tens of milli-arcseconds (mas). In fact, current state-of-the-art spectrographs conservatively require this level of residuals, although no work has been done to quantify the impact of atmospheric dispersion. In this work we test the effect of atmospheric dispersion on astronomical observations in general, and in particular on RV precision degradation and flux losses. Our scientific objective was to quantify the amount of residuals needed to fulfill the requirements set on an ADC during the design phase. We found that up to a dispersion of 100 mas, the effect on the RV is negligible. However, on the flux losses, such a dispersion can create a loss of ~2% at 380 nm, a significant value when efficiency is critical. The requirements set on ADC residuals should take into consideration the atmospheric conditions where the ADC will function, and also all the aspects related with not only the RV precision requirements but also the guiding camera used, the tolerances on the flux loss, and the different melt data of the chosen glasses.


title: Conformal Scale Factor Inversion for Domain Walls and Holography

abstract: We describe a correspondence between domain wall solutions of Einstein gravity with a single scalar field and self-interaction potential. The correspondence we call 'conformal scale factor inversion (CSFI)' is a map comprising the inversion of the scale factor in conformal coordinates, and a transformation of the field and its potential which preserves the form of the Einstein equations for static and isotropic domain walls. By construction, CSFI maps the asymptotic AdS boundary to the vicinity of a naked singularity in a theory with a special Liouville (exponential) scalar field potential; it is also a map in the parameter space of exponential potentials. The correspondence can be extended to linear fluctuations, being akin to an S-duality, and can be interpreted in terms of 'SUSY quantum mechanics' for the fluctuation modes. The holographic implementation of CSFI relates the UV and IR regimes of a pair of holographic renormalization group flows; in particular, it is a symmetry of the GPPZ flow.


title: Quasigroup words and reversible automata

abstract: This paper examines two related topics: the linearization of the reversible automata of Gvaramiya and Plotkin, and the problem of finding a faithful representation of the words in a central quasigroup that respects the triality symmetry of the language of quasigroups.


title: Evaluation of performance portability frameworks for the implementation of a particle-in-cell code

abstract: This paper reports on an in-depth evaluation of the performance portability frameworks Kokkos and RAJA with respect to their suitability for the implementation of complex particle-in-cell (PIC) simulation codes, extending previous studies based on codes from other domains. At the example of a particle-in-cell model, we implemented the hotspot of the code in C++ and parallelized it using OpenMP, OpenACC, CUDA, Kokkos, and RAJA, targeting multi-core (CPU) and graphics (GPU) processors. Both, Kokkos and RAJA appear mature, are usable for complex codes, and keep their promise to provide performance portability across different architectures. Comparing the obtainable performance on state-of-the art hardware, but also considering aspects such as code complexity, feature availability, and overall productivity, we finally draw the conclusion that the Kokkos framework would be suited best to tackle the massively parallel implementation of the full PIC model.


title: Towards non-toxic landscapes: Automatic toxic comment detection using DNN

abstract: The spectacular expansion of the Internet has led to the development of a new research problem in the field of natural language processing: automatic toxic comment detection, since many countries prohibit hate speech in public media. There is no clear and formal definition of hate, offensive, toxic and abusive speeches. In this article, we put all these terms under the umbrella of "toxic" speech. The contribution of this paper is the design of binary classification and regression-based approaches aiming to predict whether a comment is toxic or not. We compare different unsupervised word representations and different DNN based classifiers. Moreover, we study the robustness of the proposed approaches to adversarial attacks by adding one (healthy or toxic) word. We evaluate the proposed methodology on the English Wikipedia Detox corpus. Our experiments show that using BERT fine-tuning outperforms feature-based BERT, Mikolov's and fastText representations with different DNN classifiers.


title: Analytical energy spectra and wake effects for relativistic dielectric laser accelerators

abstract: Dielectric laser acceleration (DLA) is one of the advanced concepts for more compact accelerators. DLA gratings have apertures and period lengths within the range of optical wavelengths. Phase stability and wakefield effects are thus crucial for upcoming experiments with relativistic electrons. For this, we present a method to analytically calculate energy spectra for comparison with measurements in order to reconstruct the phase of injection into the DLA grating structure. Knowing the injection phase is important for both alignment and interpretation of measured data. Furthermore, we estimate the effects of wakefields on bunches which are coherently accelerated in a DLA. We are calculating the energy spectrum affected by the longitudinal wake by evaluating the analytical description numerically and give estimates for the transverse kicks of an off-centered injected electron bunch.


title: On the path partition number of 6-regular graphs

abstract: A path partition (also referred to as a linear forest) of a graph $G$ is a set of vertex-disjoint paths which together contain all the vertices of $G$. An isolated vertex is considered to be a path in this case. The path partition conjecture states that every $n$-vertices $d$-regular graph has a path partition with at most $\frac{n}{d+1}$ paths. The conjecture has been proved for all $d<6$. We prove the conjecture for $d=6$.


title: Coexistence, extinction, and optimal harvesting in discrete-time stochastic population models

abstract: We analyze the long term behavior of interacting populations which can be controlled through harvesting. The dynamics is assumed to be discrete in time and stochastic due to the effect of environmental fluctuations. We present extinction and coexistence criteria when there are one or two interacting species. We then use these tools in order to see when harvesting leads to extinction or persistence of species, as well as what the optimal harvesting strategies, which maximize the expected long term yield, look like. For single species systems, we show under certain conditions that the optimal harvesting strategy is of bang-bang type: there is a threshold under which there is no harvesting, while everything above this threshold gets harvested. The second part of the paper is concerned with the analysis of ecosystems that have two interacting species which can be harvested. In particular, we carefully study predator-prey and competitive Ricker models when there are two species. In this setting we show how to find the optimal proportional harvesting strategy. If the system is of predator-prey type the optimal proportional harvesting strategy is, depending on the interaction parameters and the price of predators relative to prey, either to harvest the predator to extinction and maximize the asymptotic yield of the prey or to not harvest the prey and to maximize the asymptotic harvesting yield of the predators. If the system is competitive, in certain instances it is optimal to drive one species extinct and to harvest the other one. In other cases it is best to let the two species coexist and harvest both species while maintaining coexistence. In the setting of the competitive Ricker model we show that if one competitor is dominant and pushes the other species to extinction, the harvesting of the dominant species can lead to coexistence.


title: Time-Accurate and highly-Stable Explicit operators for stiff differential equations

abstract: Unconditionally stable implicit time-marching methods are powerful in solving stiff differential equations efficiently. In this work, a novel framework to handle stiff physical terms implicitly is proposed. Both physical and numerical stiffness originating from convection, diffusion and source terms (typically related to reaction) can be handled by a set of predefined Time-Accurate and highly-Stable Explicit (TASE) operators in a unified framework. The proposed TASE operators act as preconditioners on the stiff terms and can be deployed to any existing explicit time-marching methods straightforwardly. The resulting time integration methods remain the original explicit time-marching schemes, yet with nearly unconditional stability. The TASE operators can be designed to be arbitrarily high-order accurate with Richardson extrapolation such that the accuracy order of original explicit time-marching method is preserved. Theoretical analyses and stability diagrams show that the $s$-stages $s$th-order explicit Runge-Kutta (RK) methods are unconditionally stable when preconditioned by the TASE operators with order $p \leq s$ and $p \leq 2$. On the other hand, the $s$th-order RK methods preconditioned by the TASE operators with order of $p \leq s$ and $p > 2$ are nearly unconditionally stable. The only free parameter in TASE operators can be determined a priori based on stability arguments. Unlike classical implicit methods, the TASE methodology allows for solving non-linear problems with arbitrary order without requiring solving a nonlinear system of equations. A set of benchmark problems with strong stiffness is simulated to assess the performance of the TASE method. Numerical results suggest that the proposed framework preserves the high-order accuracy of the explicit time-marching methods with very-large time steps for all the considered cases.


title: KISS: Keeping It Simple for Scene Text Recognition

abstract: Over the past few years, several new methods for scene text recognition have been proposed. Most of these methods propose novel building blocks for neural networks. These novel building blocks are specially tailored for the task of scene text recognition and can thus hardly be used in any other tasks. In this paper, we introduce a new model for scene text recognition that only consists of off-the-shelf building blocks for neural networks. Our model (KISS) consists of two ResNet based feature extractors, a spatial transformer, and a transformer. We train our model only on publicly available, synthetic training data and evaluate it on a range of scene text recognition benchmarks, where we reach state-of-the-art or competitive performance, although our model does not use methods like 2D-attention, or image rectification.


title: Spectral domain inverse design for accelerating nanocomposite metamaterials discovery

abstract: Inverse design techniques in the context of nanophotonics have helped in discovery of compact and counter-intuitive structures/shapes. We introduce the concept of spectral domain inverse design to search through the optical trade-space (dispersive permittivity) of nanocomposite metamaterials. We develop a hybrid optimization technique that combines genetic algorithms and gradient descent methods. We utilize this technique to inverse design an ultra-thin thermophotovoltaic emitter coating material. Our work can lead to an efficient approach to search for new multi-functional optical/thermal metamaterials with desired complex permittivity.


title: A Promotion Method for Generation Error Based Video Anomaly Detection

abstract: Surveillance video anomaly detection is to detect events that rarely or never happened in a certain scene. The generation error (GE)-based methods exhibit excellent performance on this task. They firstly train a generative neural network (GNN) to generate normal samples, then judge the samples with large GEs as anomalies. Almost all the GE-based methods utilize frame-level GEs to detect anomalies. However, anomalies generally occur in local areas, the frame-level GE introduces GEs of normal areas to anomaly discriminations, that brings two problems: i) The GE of normal areas reduces the anomaly saliency of the anomalous frame. ii) Different videos have different normal-GE-levels, thus it is hard to set a uniform threshold for all videos to detect anomalies. To address these problems, we propose a promotion method: utilize the maximum of block-level GEs on the frame to detect anomaly. Firstly, we calculate the block-level GEs at each position on the frame. Then, we utilize the maximum of the block-level GEs on the frame to detect anomalies. Based on the existed GNN models, experiments are carried out on multiple datasets. The results demonstrate the effectiveness of the proposed method and achieve state-of-the-art performance.


title: The planar Least Gradient problem in convex domains, the case of continuous datum

abstract: We study the two dimensional least gradient problem in a convex polygonal set in the plane. We show existence of solutions when the boundary data are attained in the trace sense. Due to the lack of strict convexity, the classical results are not applicable. We state the admissibility conditions on the continuous boundary datum $f$ that are sufficient for establishing an existence and uniqueness result. The solutions are constructed by a limiting process, which uses the well-known geometry of superlevel sets of least gradient functions.


title: Magneto-structural correlations in a systematically disordered B2 lattice

abstract: Ferromagnetism in certain B2 ordered alloys such as Fe$_{60}$Al$_{40}$ can be switched on, and tuned, via antisite disordering of the atomic arrangement. The disordering is accompanied by a $\sim$1 % increase in the lattice parameter. Here we performed a systematic disordering of B2 Fe$_{60}$Al$_{40}$ thin films, and obtained correlations between the order parameter ($S$), lattice parameter ($a_0$), and the induced saturation magnetization ($M_{s}$). As the lattice is gradually disordered, a critical point occurs at 1-$S$=0.6 and $a_0$=291 pm, where a sharp increase of the $M_{s}$ is observed. DFT calculations suggest that below the critical point the system magnetically behaves as it would still be fully ordered, whereas above, it is largely the increase of $a_0$ in the disordered state that determines the $M_{s}$. The insights obtained here can be useful for achieving tailored magnetic properties in alloys through disordering.


title: DesignBIP: A Design Studio for Modeling and Generating Systems with BIP

abstract: The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the construction of systems that are correct-by-design. BIP has been effectively used for the construction and analysis of large systems such as robot controllers and satellite on-board software. Nevertheless, the specification of BIP models is done in a purely textual manner without any code editor support. To facilitate the specification of BIP models, we present DesignBIP, a web-based, collaborative, version-controlled design studio. To promote model scaling and reusability of BIP models, we use a graphical language for modeling parameterized BIP models with rigorous semantics. We present the various services provided by the design studio, including model editors, code editors, consistency checking mechanisms, code generators, and integration with the JavaBIP tool-set.


title: Timed Context-Free Temporal Logics

abstract: The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized for expressing separately dense-time real-time properties and context-free properties by ensuring decidability and tractability in the combined setting. To this end we introduce two real-time linear temporal logics for specifying quantitative timing context-free requirements in a pointwise semantics setting: Event-Clock Nested Temporal Logic (EC_NTL) and Nested Metric Temporal Logic (NMTL). The logic EC_NTL is an extension of both the logic CaRet (a context-free extension of standard LTL) and Event-Clock Temporal Logic (a tractable real-time logical framework related to the class of Event-Clock automata). We prove that satisfiability of EC_NTL and visibly model-checking of Visibly Pushdown Timed Automata (VPTA) against EC_NTL are decidable and EXPTIME-complete. The other proposed logic NMTL is a context-free extension of standard Metric Temporal Logic (MTL). It is well known that satisfiability of future MTL is undecidable when interpreted over infinite timed words but decidable over finite timed words. On the other hand, we show that by augmenting future MTL with future context-free temporal operators, the satisfiability problem turns out to be undecidable also for finite timed words. On the positive side, we devise a meaningful and decidable fragment of the logic NMTL which is expressively equivalent to EC_NTL and for which satisfiability and visibly model-checking of VPTA are EXPTIME-complete.


title: Bulk viscosity in neutron stars with hyperon cores

abstract: It is well-known that r-mode oscillations of rotating neutron stars may be unstable with respect to the gravitational wave emission. It is highly unlikely to observe a neutron star with the parameters within the instability window, a domain where this instability is not suppressed. But if one adopts the `minimal' (nucleonic) composition of the stellar interior, a lot of observed stars appear to be within the r-mode instability window. One of the possible solutions to this problem is to account for hyperons in the neutron star core. The presence of hyperons allows for a set of powerful (lepton-free) non-equilibrium weak processes, which increase the bulk viscosity, and thus suppress the r-mode instability. Existing calculations of the instability windows for hyperon NSs generally use reaction rates calculated for the $\Sigma^-\Lambda$ hyperonic composition via the contact $W$ boson exchange interaction. In contrast, here we employ hyperonic equations of state where the $\Lambda$ and $\Xi^-$ are the first hyperons to appear (the $\Sigma^-$'s, if they are present, appear at much larger densities), and consider the meson exchange channel, which is more effective for the lepton-free weak processes. We calculate the bulk viscosity for the non-paired $npe\mu\Lambda\Xi^-$ matter using the meson exchange weak interaction. A number of viscosity-generating non-equilibrium processes is considered (some of them for the first time in the neutron-star context). The calculated reaction rates and bulk viscosity are approximated by simple analytic formulas, easy-to-use in applications. Applying our results to calculation of the instability window, we argue that accounting for hyperons may be a viable solution to the r-mode problem.


title: Ask2Me VarHarmonizer: A Python-Based Tool to Harmonize Variants from Cancer Genetic Testing Reports and Map them to the ClinVar Database

abstract: PURPOSE: The popularity of germline genetic panel testing has led to a vast accumulation of variant-level data. Variant names are not always consistent across laboratories and not easily mappable to public variant databases such as ClinVar. A tool that can automate the process of variants harmonization and mapping is needed to help clinicians ensure their variant interpretations are accurate. METHODS: We present a Python-based tool, Ask2Me VarHarmonizer, that incorporates data cleaning, name harmonization, and a four-attempt mapping to ClinVar procedure. We applied this tool to map variants from a pilot dataset collected from 11 clinical practices. Mapping results were evaluated with and without the transcript information. RESULTS: Using Ask2Me VarHarmonizer, 4728 out of 6027 variant entries (78%) were successfully mapped to ClinVar, corresponding to 3699 mappable unique variants. With the addition of 1099 unique unmappable variants, a total of 4798 unique variants were eventually identified. 427 (9%) of these had multiple names, of which 343 (7%) had multiple names within-practice. 99% mapping consistency was observed with and without transcript information. CONCLUSION: Ask2Me VarHarmonizer aggregates and structures variant data, harmonizes names, and maps variants to ClinVar. Performing harmonization removes the ambiguity and redundancy of variants from different sources.


title: 3D Scene Based Beam Selection for mmWave Communications

abstract: In this paper, we present a novel framework of 3D scene based beam selection for mmWave communications that relies only on the environmental data and deep learning techniques. Different from other out-of-band side-information aided communication strategies, the proposed one fully utilizes the environmental information, e.g., the shape, the position, and even the materials of the surrounding buildings/cars/trees that are obtained from 3D scene reconstruction. Specifically, we build the neural networks with the input as point cloud of the 3D scene and the output as the beam indices. Compared with the LIDAR aided technique, the reconstructed 3D scene here is achieved from multiple images taken offline from cameras and thus significantly lowers down the cost and makes itself applicable for small mobile terminals. Simulation results show that the proposed 3D scene based beam selection can outperform the LIDAR method in terms of accuracy.


title: Effective equations for reaction coordinates in polymer transport

abstract: In the framework of the problem of finding proper reaction coordinates (RCs) for complex systems and their effective evolution equations, we consider the case study of a polymer chain in an external double-well potential, experiencing thermally activated dynamics. Langevin effective equations describing the macroscopic dynamics of the system can be inferred from data by using a data-driven approach, once a suitable set of RCs is chosen. We show that, in this case, the validity of such choice depends on the stiffness of the polymer's bonds: if they are sufficiently rigid, we can employ a reduced description based only on the coordinate of the center of mass; whereas, if the stiffness reduces, the one-variable dynamics is no more Markovian and (at least) a second reaction coordinate has to be taken into account to achieve a realistic dynamical description in terms of memoryless Langevin equations.


title: Mixed-curvature Variational Autoencoders

abstract: Euclidean geometry has historically been the typical "workhorse" for machine learning applications due to its power and simplicity. However, it has recently been shown that geometric spaces with constant non-zero curvature improve representations and performance on a variety of data types and downstream tasks. Consequently, generative models like Variational Autoencoders (VAEs) have been successfully generalized to elliptical and hyperbolic latent spaces. While these approaches work well on data with particular kinds of biases e.g. tree-like data for a hyperbolic VAE, there exists no generic approach unifying and leveraging all three models. We develop a Mixed-curvature Variational Autoencoder, an efficient way to train a VAE whose latent space is a product of constant curvature Riemannian manifolds, where the per-component curvature is fixed or learnable. This generalizes the Euclidean VAE to curved latent spaces and recovers it when curvatures of all latent space components go to 0.


title: Infinitesimal generators for two-dimensional L\'evy process-driven hypothesis testing

abstract: In this paper, we present the testing of four hypotheses on two streams of observations that are driven by L\'evy processes. This is applicable for sequential decision making on the state of two-sensor systems. In one case, each sensor receives or does not receive a signal obstructed by noise. In another, each sensor receives data-driven by L\'evy processes with large or small jumps. In either case, these give rise to four possibilities. Infinitesimal generators are presented and analyzed. Bounds for infinitesimal generators in terms of \emph{super-solutions} and \emph{sub-solutions} are computed. An application of this procedure for the stochastic model is also presented in relation to the financial market.


title: iGateLink: A Gateway Library for Linking IoT, Edge, Fog and Cloud Computing Environments

abstract: In recent years, the Internet of Things (IoT) has been growing in popularity, along with the increasingly important role played by IoT gateways, mediating the interactions among a plethora of heterogeneous IoT devices and cloud services. In this paper, we present iGateLink, an open-source Android library easing the development of Android applications acting as a gateway between IoT devices and Edge/Fog/Cloud Computing environments. Thanks to its pluggable design, modules providing connectivity with a number of devices acting as data sources or Fog/Cloud frameworks can be easily reused for different applications. Using iGateLink in two case-studies replicating previous works in the healthcare and image processing domains, the library proved to be effective in adapting to different scenarios and speeding up the development of gateway applications, as compared to the use of conventional methods.


title: Comparison of Deep learning models on time series forecasting : a case study of Dissolved Oxygen Prediction

abstract: Deep learning has achieved impressive prediction performance in the field of sequence learning recently. Dissolved oxygen prediction, as a kind of time-series forecasting, is suitable for this technique. Although many researchers have developed hybrid models or variant models based on deep learning techniques, there is no comprehensive and sound comparison among the deep learning models in this field currently. Plus, most previous studies focused on one-step forecasting by using a small data set. As the convenient access to high-frequency data, this paper compares multi-step deep learning forecasting by using walk-forward validation. Specifically, we test Convolutional Neural Network (CNN), Temporal Convolutional Network (TCN), Long Short-Term Memory (LSTM), Gated Recurrent Unit (GRU), Bidirectional Recurrent Neural Network (BiRNN) based on the real-time data recorded automatically at a fixed observation point in the Yangtze River from 2012 to 2016. By comparing the average accumulated statistical metrics of root mean square error (RMSE), mean absolute error (MAE), and coefficient of determination in each time step, We find for multi-step time series forecasting, the average performance of each time step does not decrease linearly. GRU outperforms other models with significant advantages.


title: GMAN: A Graph Multi-Attention Network for Traffic Prediction

abstract: Long-term traffic prediction is highly challenging due to the complexity of traffic systems and the constantly changing nature of many impacting factors. In this paper, we focus on the spatio-temporal factors, and propose a graph multi-attention network (GMAN) to predict traffic conditions for time steps ahead at different locations on a road network graph. GMAN adapts an encoder-decoder architecture, where both the encoder and the decoder consist of multiple spatio-temporal attention blocks to model the impact of the spatio-temporal factors on traffic conditions. The encoder encodes the input traffic features and the decoder predicts the output sequence. Between the encoder and the decoder, a transform attention layer is applied to convert the encoded traffic features to generate the sequence representations of future time steps as the input of the decoder. The transform attention mechanism models the direct relationships between historical and future time steps that helps to alleviate the error propagation problem among prediction time steps. Experimental results on two real-world traffic prediction tasks (i.e., traffic volume prediction and traffic speed prediction) demonstrate the superiority of GMAN. In particular, in the 1 hour ahead prediction, GMAN outperforms state-of-the-art methods by up to 4% improvement in MAE measure. The source code is available at https://github.com/zhengchuanpan/GMAN.


title: New entanglement-assisted quantum MDS codes with length $n=\frac{q^2+1}5$

abstract: The entanglement-assisted stabilizer formalism can transform arbitrary classical linear codes into entanglement-assisted quantum error correcting codes (EAQECCs). In this work, we construct some new entanglement-assisted quantum MDS (EAQMDS) codes with length $n=\frac{q^2+1}5$ from cyclic codes. Compared with all the previously known parameters with the same length, all of them have flexible parameters and larger minimum distance.


title: Physical Unclonable Functions with Boson Sampling

abstract: Boson sampling is a problem for which quantum devices could prove to go beyond classical computing using only linear optics and photon preparation and counting. While theoretically important, there is a lack of practical applications for this task. This paper presents a way to turn any boson sampling device for which there are certain fabrication limits into a physically unclonable function which could be used in identification systems and other security protocols. For a minimum fabrication error, there are scenarios for which the photon distribution at the output of two different devices has a minimum distance and they can be told apart. When compared to classical PUFs these linear optical tokens have the advantage that, for the right choice of parameters, there is a computational guarantee that no classical computer can simulate the output. The paper describes the basic limitations of boson sampling which allow these results and gives a possible choice for a challenge-response identification protocol. This gives a direct application of boson sampling which could be simpler than solving the general problem.


title: Fast Convergence of Fictitious Play for Diagonal Payoff Matrices

abstract: Fictitious Play (FP) is a simple and natural dynamic for repeated play in zero-sum games. Proposed by Brown in 1949, FP was shown to converge to a Nash Equilibrium by Robinson in 1951, albeit at a slow rate that may depend on the dimension of the problem. In 1959, Karlin conjectured that FP converges at the more natural rate of $O(1/\sqrt{t})$. However, Daskalakis and Pan disproved a version of this conjecture in 2014, showing that a slow rate can occur, although their result relies on adversarial tie-breaking. In this paper, we show that Karlin's conjecture is indeed correct for the class of diagonal payoff matrices, as long as ties are broken lexicographically. Specifically, we show that FP converges at a $O(1/\sqrt{t})$ rate in the case when the payoff matrix is diagonal. We also prove this bound is tight by showing a matching lower bound in the identity payoff case under the lexicographic tie-breaking assumption.


title: Effective Equations in complex systems: from Langevin to machine learning

abstract: The problem of effective equations is reviewed and discussed. Starting from the classical Langevin equation, we show how it can be generalized to Hamiltonian systems with non-standard kinetic terms. A numerical method for inferring effective equations from data is discussed; this protocol allows to check the validity of our results. In addition we show that, with a suitable treatment of time series, such protocol can be used to infer effective models from experimental data. We briefly discuss the practical and conceptual difficulties of a pure data-driven approach in the building of models.


title: Repetitive quantum non-demolition measurement and soft decoding of a silicon spin qubit

abstract: Quantum error correction is of crucial importance for fault-tolerant quantum computers. As an essential step towards the implementation of quantum error-correcting codes, quantum non-demolition (QND) measurements are needed to efficiently detect the state of a logical qubit without destroying it. Here we implement QND measurements in a Si/SiGe two-qubit system, with one qubit serving as the logical qubit and the other serving as the ancilla. Making use of a two-qubit controlled-rotation gate, the state of the logical qubit is mapped onto the ancilla, followed by a destructive readout of the ancilla. Repeating this procedure enhances the logical readout fidelity from $75.5\pm 0.3\%$ to $94.5 \pm 0.2\%$ after 15 ancilla readouts. In addition, we compare the conventional thresholding method with an improved signal processing method called soft decoding that makes use of analog information in the readout signal to better estimate the state of the logical qubit. We demonstrate that soft decoding leads to a significant reduction in the required number of repetitions when the readout errors become limited by Gaussian noise, for instance in the case of readouts with a low signal-to-noise ratio. These results pave the way for the implementation of quantum error correction with spin qubits in silicon.


title: Critical behaviors of high-degree adaptive and collective-influence percolation

abstract: How the giant component of a network disappears under attacking nodes or links addresses a key aspect of network robustness, which can be framed into percolation problems. Various strategies to select the node to be deactivated have been studied in the literature; for instance, a simple random failure or high-degree adaptive (HDA) percolation. Recently a new attack strategy based on a quantity called collective-influence (CI) has been proposed from the perspective of optimal percolation. By successively deactivating the node having the largest CI-centrality value, it was shown to be able to dismantle a network more quickly and abruptly than many of the existing methods. In this paper, we focus on the critical behaviors of the percolation processes following degree-based attack and CI-based attack on random networks. Through extensive Monte Carlo simulations assisted by numerical solutions, we estimate various critical exponents of the HDA percolation and those of the CI percolations. Our results show that these attack-type percolation processes, despite displaying apparently more abrupt collapse, nevertheless exhibit standard mean-field critical behaviors at the percolation transition point. We further discover an extensive degeneracy in top-centrality nodes in both processes, which may provide a hint for understanding the observed results


title: The Hamilton-Jacobi characteristic equations for topological invariants: Pontryagin and Euler classes

abstract: By using the Hamilton-Jacobi [HJ] framework the topological theories associated with Euler and Pontryagin classes are analyzed. We report the construction of a fundamental $HJ$ differential where the characteristic equations and the symmetries of the theory are identified. Moreover, we work in both theories with the same phase space variables and we show that in spite of Pontryagin and Euler classes share the same equations of motion their symmetries are different. In addition, we report all HJ Hamiltonians and we compare our results with other formulations reported in the literature.


title: Doing spin physics with unpolarized particles

abstract: Twisted, or vortex, particles refer to freely propagating non-plane-wave states with helicoidal wave fronts. In this state, the particle possesses a non-zero orbital angular momentum with respect to its average propagation direction. Twisted photons and electrons have been experimentally demonstrated, and creation of other particles in twisted states can be anticipated. If brought in collisions, twisted states offer a new degree of freedom to particle physics, and it is timely to analyze what new insights may follow. Here, we theoretically investigate resonance production in twisted photon collisions and twisted $e^+e^-$ annihilation and show that these processes emerge as a completely novel probe of spin and parity-sensitive observables in fully inclusive cross sections with unpolarized initial particles. This is possible because the initial state with a non-zero angular momentum explicitly breaks the left-right symmetry even when averaging over helicities. In particular, we show how one can produce almost $100\%$ polarized vector mesons in unpolarized twisted $e^+e^-$ annihilation and how to control its polarization state.


title: Guarantees for the Kronecker Fast Johnson-Lindenstrauss Transform Using a Coherence and Sampling Argument

abstract: In the recent paper [Jin, Kolda & Ward, arXiv:1909.04801], it is proved that the Kronecker fast Johnson-Lindenstrauss transform (KFJLT) is, in fact, a Johnson-Lindenstrauss transform, which had previously only been conjectured. In this paper, we provide an alternative proof of this, for when the KFJLT is applied to Kronecker vectors, using a coherence and sampling argument. Our proof yields a different bound on the embedding dimension, which can be combined with the bound in the paper by Jin et al. to get a better bound overall. As a stepping stone to proving our result, we also show that the KFJLT is a subspace embedding for matrices with columns that have Kronecker product structure. Lastly, we compare the KFJLT to four other sketch techniques in numerical experiments on both synthetic and real-world data.


title: Adaptive Gradient Methods for Some Classes of Non-Smooth Optimization Problems

abstract: We propose several adaptive algorithmic methods for problems of non-smooth convex optimization. The first of them is based on a special artificial inexactness. Namely, the concept of inexact ($ \delta, \Delta, L$)-model of objective functional in optimization is introduced and some gradient-type methods with adaptation of inexactness parameters are proposed. A similar concept of an inexact model is introduced for variational inequalities as well as for saddle point problems. Analogues of switching sub-gradient schemes are proposed for convex programming problems with some general assumptions.


title: A Study on various state of the art of the Art Face Recognition System using Deep Learning Techniques

abstract: Considering the existence of very large amount of available data repositories and reach to the very advanced system of hardware, systems meant for facial identification ave evolved enormously over the past few decades. Sketch recognition is one of the most important areas that have evolved as an integral component adopted by the agencies of law administration in current trends of forensic science. Matching of derived sketches to photo images of face is also a difficult assignment as the considered sketches are produced upon the verbal explanation depicted by the eye witness of the crime scene and may have scarcity of sensitive elements that exist in the photograph as one can accurately depict due to the natural human error. Substantial amount of the novel research work carried out in this area up late used recognition system through traditional extraction and classification models. But very recently, few researches work focused on using deep learning techniques to take an advantage of learning models for the feature extraction and classification to rule out potential domain challenges. The first part of this review paper basically focuses on deep learning techniques used in face recognition and matching which as improved the accuracy of face recognition technique with training of huge sets of data. This paper also includes a survey on different techniques used to match composite sketches to human images which includes component-based representation approach, automatic composite sketch recognition technique etc.


title: Relevance of the quadratic diamagnetic and self-polarization terms in cavity quantum electrodynamics

abstract: Experiments at the interface of quantum-optics and chemistry have revealed that strong coupling between light and matter can substantially modify chemical and physical properties of molecules and solids. While the theoretical description of such situations is usually based on non-relativistic quantum electrodynamics, which contains quadratic light-matter coupling terms, it is commonplace to disregard these terms and restrict to purely bilinear couplings. In this work we clarify the physical origin and the substantial impact of the most common quadratic terms, the diamagnetic and self-polarization terms, and highlight why neglecting them can lead to rather unphysical results. Specifically we demonstrate its relevance by showing that neglecting it leads to the loss of gauge invariance, basis-set dependence, disintegration (loss of bound states) of any system in the basis set-limit, unphysical radiation of the ground state and an artificial dependence on the static dipole. Besides providing important guidance for modeling strongly coupled light-matter systems, the presented results do also indicate under which conditions those effects might become accessible.


title: Accurate absolute and relative core-level binding energies from $GW$

abstract: We present an accurate approach to compute X-ray photoelectron spectra based on the $GW$ Green's function method, that overcomes shortcomings of common density functional theory approaches. $GW$ has become a popular tool to compute valence excitations for a wide range of materials. However, core-level spectroscopy is thus far almost uncharted in $GW$. We show that single-shot perturbation calculations in the $G_0W_0$ approximation, which are routinely used for valence states, cannot be applied for core levels and suffer from an extreme, erroneous transfer of spectral weight to the satellite spectrum. The correct behavior can be restored by partial self-consistent $GW$ schemes or by using hybrid functionals with almost 50% of exact exchange as starting point for $G_0W_0$. We include also relativistic corrections and present a benchmark study for 65 molecular 1s excitations. Our absolute and relative $GW$ core-level binding energies agree within 0.3 and 0.2 eV with experiment, respectively.


title: Uncertainty and Sensitivity Analyses Methods for Agent-Based Mathematical Models: An Introductory Review

abstract: Multiscale, agent-based mathematical models of biological systems are often associated with model uncertainty and sensitivity to parameter perturbations. Here, three uncertainty and sensitivity analyses methods, that are suitable to use when working with agent-based models, are discussed. These methods are namely Consistency Analysis, Robustness Analysis and Latin Hypercube Analysis. This introductory review discusses origins, conventions, implementation and result interpretation of the aforementioned methods. Information on how to implement the discussed methods in MATLAB is included.


title: Non-universal transport mechanisms in vertical natural convection with dispersed light droplets

abstract: We present results on the effect of dispersed droplets in vertical natural convection (VC) using direct numerical simulations based on a two-way fully coupled Euler-Lagrange approach with a liquid phase and a dispersed droplets phase. For increasing thermal driving, characterised by the Rayleigh number, $Ra$, of the two analysed droplet volume fractions, $\alpha = 5\times10^{-3}$ and $\alpha = 2\times 10^{-2}$, we find non-monotonic responses to the overall heat fluxes, characterised by the Nusselt number, $Nu$. The $Nu$ number is larger when the droplets are thermally coupled to the liquid. However, $Nu$ retains the effective scaling exponents that are close to the ${1/4}$-laminar VC scaling, suggesting that the heat transport is still modulated by thermal boundary layers. Local analyses reveal the non-monotonic trends of local heat fluxes and wall-shear stresses: Whilst regions of high heat fluxes are correlated to increased wall-shear stresses, the spatio-temporal distribution and magnitude of the increase is non-universal, implying that the overall heat transport is obscured by competing mechanisms. Most crucially, we find that the transport mechanisms inherently depend on the dominance of droplet driving to thermal driving that can quantified by (i) the bubblance parameter $b$, which measures the ratio of energy produced by the dispersed phase and the energy of the background turbulence, and (ii) $Ra_d/Ra$, where $Ra_d$ is the droplet Rayleigh number, which we introduce in this paper. When $b \lesssim O(10^{-1})$ and $Ra_d/Ra \lesssim O(100)$, the $Nu$ scaling is expected to recover to the VC scaling without droplets, and comparison with $b$ and $Ra_d/Ra$ from our data supports this notion.


title: Obliquity Evolution of Circumstellar Planets in Sun-like Stellar Binaries

abstract: Changes in planetary obliquity, or axial tilt, influence the climates on Earth-like planets. In the solar system, the Earth's obliquity is stabilized due to interactions with our moon and the resulting {small amplitude variations ($\sim$2.4\degree)} are beneficial for advanced life. Most Sun-like stars have at least one stellar companion and the habitability of circumstellar exoplanets is shaped by their stellar companion. We show that a stellar companion can dramatically change whether {Earth-like obliquity stability is} possible through planetary orbital precession relative to the binary orbit or resonant pumping of the obliquity through spin-orbit interactions. We present a new formalism for the planetary spin precession that accounts for orbital misalignments between the planet and binary. Using numerical modeling in $\alpha$ Centauri AB we show: a stark contrast between the planetary obliquity variations depending on the host star, planetary neighbors limit the possible spin states for {Earth-like obliquity stability}, and the presence of a moon can destabilize the obliquity, defying our Earth-based expectations. An Earth-like rotator orbiting the primary star would experience {small} obliquity variations for 87\%, 74\%, or 54\% of Solar type binaries, depending on the mass of the primary (0.8, 1.0, or 1.2 M$_\odot$, respectively). Thus, Earth-like planets likely experience much larger obliquity variations, with more extreme climates, unless they are in specific states, such as orbiting nearly planar with the binary and rotating retrograde (backwards) like Venus.


title: Defective Convolutional Networks

abstract: Robustness of convolutional neural networks (CNNs) has gained in importance on account of adversarial examples, i.e., inputs added as well-designed perturbations that are imperceptible to humans but can cause the model to predict incorrectly. Recent research suggests that the noises in adversarial examples break the textural structure, which eventually leads to wrong predictions. To mitigate the threat of such adversarial attacks, we propose defective convolutional networks that make predictions relying less on textural information but more on shape information by properly integrating defective convolutional layers into standard CNNs. The defective convolutional layers contain defective neurons whose activations are set to be a constant function. As defective neurons contain no information and are far different from standard neurons in its spatial neighborhood, the textural features cannot be accurately extracted, and so the model has to seek other features for classification, such as the shape. We show extensive evidence to justify our proposal and demonstrate that defective CNNs can defense against black-box attacks better than standard CNNs. In particular, they achieve state-of-the-art performance against transfer-based attacks without any adversarial training being applied.


title: Heavy Holographic QCD

abstract: We study the phase structure of the Witten-Sakai-Sugimoto model in the plane of temperature and baryon chemical potential, including the effect of a nonzero current quark mass. Our study is performed in the decompactified limit of the model, which, at least regarding the chiral phase transition, appears to be closer to real-world QCD than the original version. Following earlier studies, we account for the quark mass in an effective way based on an open Wilson line operator whose expectation value is identified with the chiral condensate. We find that the quark mass stabilizes a configuration with string sources and point out that this phase plays an important role in the phase diagram. Furthermore, we show that the quark mass breaks up the first-order chiral phase transition curve and introduces critical points to the phase diagram. Similarities of the phase structure to other holographic approaches and to lattice simulations of "heavy QCD" are found and discussed. By making holographic QCD more realistic, our results open the door to a better understanding of real-world strongly coupled hot and dense matter.


title: LNDb: A Lung Nodule Database on Computed Tomography

abstract: Lung cancer is the deadliest type of cancer worldwide and late detection is the major factor for the low survival rate of patients. Low dose computed tomography has been suggested as a potential screening tool but manual screening is costly, time-consuming and prone to variability. This has fueled the development of automatic methods for the detection, segmentation and characterisation of pulmonary nodules but its application to clinical routine is challenging. In this study, a new database for the development and testing of pulmonary nodule computer-aided strategies is presented which intends to complement current databases by giving additional focus to radiologist variability and local clinical reality. State-of-the-art nodule detection, segmentation and characterization methods are tested and compared to manual annotations as well as collaborative strategies combining multiple radiologists and radiologists and computer-aided systems. It is shown that state-of-the-art methodologies can determine a patient's follow-up recommendation as accurately as a radiologist, though the nodule detection method used shows decreased performance in this database.


title: Tetraquark interpolating fields in a lattice QCD investigation of the $D_{s0}^\ast(2317)$ meson

abstract: We investigate the $D_{s0}^\ast(2317)$ meson using lattice QCD and considering correlation functions of several $\bar{c} s$ two-quark and $\bar{c} s (\bar{u} u + \bar{d} d)$ four-quark interpolating fields. These interpolating fields generate different structures in color, spin and position space including quark-antiquark pairs, tetraquarks and two-meson scattering states. For our computation we use an ensemble simulated with pion mass $m_\pi \approx 0.296 \, \textrm{GeV}$ and spatial volume of extent $2.90 \, \textrm{fm}$. We find in addition to the expected spectrum of two-meson scattering states another state around $60 \, \textrm{MeV}$ below the $D K$ threshold, which we interpret as the $D_{s0}^\ast(2317)$ meson. This state couples predominantly to a quark-antiquark interpolating field and only weakly to a $D K$ two-meson interpolating field. The coupling to the tetraquark interpolating fields is essentially zero, rendering a tetraquark interpretation of the $D_{s0}^\ast(2317)$ meson rather unlikely. Moreover, we perform a scattering analysis using L\"uscher's method and the effective range approximation to determine the $D_{s0}^\ast(2317)$ mass for infinite spatial volume. We find this mass $51 \, \textrm{MeV}$ below the $D K$ threshold, rather close to both our finite volume result and the experimentally observed value.