title: LoRa Symbol Error Rate Under Non-Chip- and Non-Phase-Aligned Interference

abstract: In this work, we examine the performance of the LoRa chirp spread spectrum modulation in the presence of both additive white Gaussian noise and interference from another LoRa user. To this end, we extend an existing interference model to the more realistic case where the interfering user is neither chip- nor phase-aligned with the signal of interest and we derive an expression for the SER. We show that the existing interference model overestimates the effect of interference on the error rate. Moreover, we derive a low-complexity approximate formula that can significantly reduce the complexity of computing the symbol error rate compared to the complete expression.


title: Higher Arity Self-Distributive Operations in Cascades and their Cohomology

abstract: We investigate constructions of higher arity self-distributive operations, and give relations between cohomology groups corresponding to operations of different arities. For this purpose we introduce the notion of mutually distributive $n$-ary operations generalizing those for the binary case, and define a cohomology theory labeled by these operations. A geometric interpretation in terms of framed links is described, with the scope of providing algebraic background of constructing $2$-cocycles for framed link invariants. This theory is also studied in the context of symmetric monoidal categories. Examples from Lie algebras, coalgebras and Hopf algebras are given.


title: NATTACK: Learning the Distributions of Adversarial Examples for an Improved Black-Box Attack on Deep Neural Networks

abstract: Powerful adversarial attack methods are vital for understanding how to construct robust deep neural networks (DNNs) and for thoroughly testing defense techniques. In this paper, we propose a black-box adversarial attack algorithm that can defeat both vanilla DNNs and those generated by various defense techniques developed recently. Instead of searching for an "optimal" adversarial example for a benign input to a targeted DNN, our algorithm finds a probability density distribution over a small region centered around the input, such that a sample drawn from this distribution is likely an adversarial example, without the need of accessing the DNN's internal layers or weights. Our approach is universal as it can successfully attack different neural networks by a single algorithm. It is also strong; according to the testing against 2 vanilla DNNs and 13 defended ones, it outperforms state-of-the-art black-box or white-box attack methods for most test cases. Additionally, our results reveal that adversarial training remains one of the best defense techniques, and the adversarial examples are not as transferable across defended DNNs as them across vanilla DNNs.


title: Correlations, Dynamics, and Interferometry of Anyons in the Lowest Landau Level

abstract: In this article, we present a systematic study of quantum statistics and dynamics of a pair of anyons in the lowerst Landau level (LLL), of direct relevance to quasiparticle excitations in the quantum Hall bulk. We develop the formalism for such a two-dimensional setting of two charged particles subject to a transverse field, including fractional angular momentum states and the related algebra stemming from the anyonic boundary condition, coherent state descriptions of localized anyons, and bunching features associated with such anyons. We analyze the dynamic motion of the anyons in a harmonic trap, emphasizing phase factors emerging from exchange statistics. We then describe non-equilibrium dynamics upon the application of a saddle potential, elaborating on its role as a squeezing operator acting on LLL coherent states, and its action as a beam splitter for anyons. Employing these potential landscapes as building blocks, we analyze anyon dynamics in a quantum Hall bulk interferometer. We discuss parallels between the presented LLL setting and other realms, extensively in the context of quantum optics, whose formalism we heavily borrow from, and briefly in that of black hole phenomena.


title: Is the magnitude of the Peccei-Quinn scale set by the landscape?

abstract: Rather general considerations of the string theory landscape imply a mild statistical draw towards large soft SUSY breaking terms tempered by the requirement of proper electroweak symmetry breaking where SUSY contributions to the weak scale are not too far from m(weak)~ 100 GeV. Such a picture leads to the prediction that m_h~ 125 GeV while most sparticles are beyond current LHC reach. Here we explore the possibility that the magnitude of the Peccei-Quinn (PQ) scale f_a is also set by string landscape considerations within the framework of a compelling SUSY axion model. First, we examine the case where the PQ symmetry arises as an accidental approximate global symmetry from a more fundamental gravity-safe Z(24)^R symmetry and where the SUSY mu parameter arises from a Kim-Nilles operator. The pull towards large soft terms then also pulls the PQ scale as large as possible. Unless this is tempered by rather severe (unknown) cosmological or anthropic bounds on the density of dark matter, then we would expect a far greater abundance of dark matter than is observed. This conclusion cannot be negated by adopting a tiny axion misalignment angle theta_i because WIMPs are also overproduced at large f_a. Hence, we conclude that setting the PQ scale via anthropics is highly unlikely. Instead, requiring soft SUSY breaking terms of order the gravity-mediation scale m_{3/2}~ 10-100 TeV places the mixed axion-neutralino dark matter abundance into the intermediate scale sweet zone where f_a~ 10^{11}-10^{12} GeV. We compare our analysis to the more general case of a generic SUSY DFSZ axion model with uniform selection on theta_i but leading to the measured dark matter abundance: this approach leads to a preference for f_a~ 10^{12} GeV.


title: Establishing the Quantum Supremacy Frontier with a 281 Pflop/s Simulation

abstract: Noisy Intermediate-Scale Quantum (NISQ) computers are entering an era in which they can perform computational tasks beyond the capabilities of the most powerful classical computers, thereby achieving "Quantum Supremacy", a major milestone in quantum computing. NISQ Supremacy requires comparison with a state-of-the-art classical simulator. We report HPC simulations of hard random quantum circuits (RQC), which have been recently used as a benchmark for the first experimental demonstration of Quantum Supremacy, sustaining an average performance of 281 Pflop/s (true single precision) on Summit, currently the fastest supercomputer in the World. These simulations were carried out using qFlex, a tensor-network-based classical high-performance simulator of RQCs. Our results show an advantage of many orders of magnitude in energy consumption of NISQ devices over classical supercomputers. In addition, we propose a standard benchmark for NISQ computers based on qFlex.


title: Schur indices for noncommutative reality-based algebras with two nonreal basis elements

abstract: This article discusses the representation theory of noncommutative algebras reality-based algebras with positive degree map over their field of definition. When the standard basis contains exactly two nonreal elements, the main result expresses the noncommutative simple component as a generalized quaternion algebra over its field of definition. The field of real numbers will always be a splitting field for this algebra, but there are noncommutative table algebras of dimension $6$ with rational field of definition for which it is a division algebra. The approach has other applications, one of which shows noncommutative association scheme of rank $7$ must have at least three symmetric relations.


title: Echoes from Quantum Black Holes

abstract: One of the most triumphant predictions of the theory if general relativity was the recent LIGO-Virgo detection of gravitational wave (GW) signals produced in binary black hole (BH) mergers. However, it is suggested that exotic compact objects, proposed in quantum gravity models of BHs, may produce similar classical GW waveforms, followed by delayed repeating "echoes". In a companion paper [1], we have presented different arguments for a universal Boltzmann reflectivity of quantum BH horizons. Here, we investigate the resulting echoes from this prescription. We derive corresponding quasi-normal modes (QNMs) for quantum BHs analytically, and show how their initial conditions can be related to the QNMs of classical BHs. Ergoregion instability is suppressed by the imperfect reflectivity. We then compare the analytic and numerical predictions for echoes in real time, verifying their consistency. In particular, we find that the amplitudes of the first ~20 echoes decay inversely with time, while the subsequent echoes decay exponentially. Finally, we present predictions for the signal-to-noise ratio of echoes for spinning BHs, which should be imminently detectable for massive remnants, subject to the uncertainty in the nonlinear initial conditions of the BH merger.


title: Size of nodal domains of the eigenvectors of a G(n,p) graph

abstract: Consider an eigenvector of the adjacency matrix of a G(n, p) graph. A nodal domain is a connected component of the set of vertices where this eigenvector has a constant sign. It is known that with high probability, there are exactly two nodal domains for each eigenvector corresponding to a non-leading eigenvalue. We prove that with high probability, the sizes of these nodal domains are approximately equal to each other.


title: On Expected Accuracy

abstract: We empirically investigate the (negative) expected accuracy as an alternative loss function to cross entropy (negative log likelihood) for classification tasks. Coupled with softmax activation, it has small derivatives over most of its domain, and is therefore hard to optimize. A modified, leaky version is evaluated on a variety of classification tasks, including digit recognition, image classification, sequence tagging and tree tagging, using a variety of neural architectures such as logistic regression, multilayer perceptron, CNN, LSTM and Tree-LSTM. We show that it yields comparable or better accuracy compared to cross entropy. Furthermore, the proposed objective is shown to be more robust to label noise.


title: On the slope of the moduli space of genus 15 and 16 curves

abstract: We revisit the work of Chang and Ran on bounding the slopes of $\overline{\mathscr{M}_{15}}$ and $\overline{\mathscr{M}_{16}}$, correct one of the formulas used at the conclusion of the argument, and recompute the lower bounds on the slopes, yielding $s(\overline{\mathscr{M}_{15}})>6.5$ but not for $\overline{\mathscr{M}_{16}}$. Our contribution only involves plugging in formulas.


title: Bias-preserving gates with stabilized cat qubits

abstract: The code capacity threshold for error correction using qubits which exhibit asymmetric or biased noise channels is known to be much higher than with qubits without such structured noise. However, it is unclear how much this improvement persists when realistic circuit level noise is taken into account. This is because implementations of gates which do not commute with the dominant error un-bias the noise channel. In particular, a native bias-preserving controlled-NOT (CX) gate, which is an essential ingredient of stabilizer codes, is not possible in strictly two-level systems. Here we overcome the challenge of implementing a bias-preserving CX gate by using stabilized cat qubits in driven nonlinear oscillators. The physical noise channel of this qubit is biased towards phase-flips, which increase linearly with the size of the cat, while bit-flips are exponentially suppressed with cat size. Remarkably, the error channel of this native CX gate between two such cat qubits is also dominated by phase-flips, while bit-flips remain exponentially suppressed. This CX gate relies on the topological phase that arises from the rotation of the cat qubit in phase space. The availability of bias-preserving CX gates opens a path towards fault-tolerant codes tailored to biased-noise cat qubits with high threshold and low overhead. As an example, we analyze a scheme for concatenated error correction using cat qubits. We find that the availability of CX gates with moderately sized cat qubits, having mean photon number <10, improves a rigorous lower bound on the fault-tolerance threshold by a factor of two and decreases the overhead in logical Clifford operations by a factor of 5. We expect these estimates to improve significantly with further optimization and with direct use of other codes such as topological codes tailored to biased noise.


title: Disformal Transformations in Scalar-Torsion Gravity

abstract: We study disformal transformations in the context of scalar extensions to teleparallel gravity, in which the gravitational interaction is mediated by the torsion of a flat, metric compatible connection. We find a generic class of scalar-torsion actions which is invariant under disformal transformations, and which possesses different invariant subclasses. For the most simple of these subclasses we explicitly derive all terms that may appear in the action. We propose to study actions from this class as possible teleparallel analogues of healthy beyond Horndeski theories.


title: Observation of a mesoscopic magnetic modulation in chiral Mn1/3NbS2

abstract: We have investigated the structural, magnetic, thermodynamic, and charge transport properties of Mn1/3NbS2 single crystals through x-ray and neutron diffraction, magnetization, specific heat, magnetoresistance, and Hall effect measurements. Mn1/3NbS2 displays a magnetic transition at TC ~ 45 K with highly anisotropic behavior expected for a hexagonal structured material. Below TC, neutron diffraction reveals increased scattering near the structural Bragg peaks having a wider Q-dependence along the c-axis than the nuclear Bragg peaks. This indicates helimagnetism with a long pitch length of ~250 nm (or a wavevector q~0.0025 {\AA}-1) along the c-axis. This q is substantially smaller than that found for the helimagnetic state in isostructural Cr1/3NbS2 (0.015 {\AA}-1). Specific heat capacity measurements confirm a second-order magnetic phase transition with a substantial magnetic contribution that persists to low temperature. The large low-temperature specific heat capacity is consistent with a large density of low-lying magnetic excitations that are likely associated with topologically interesting magnetic modes. Changes to the magnetoresistance, the magnetization, and the magnetic neutron diffraction, which become more apparent below 20 K, imply a modification in the character of the magnetic ordering corresponding to the magnetic contribution to the specific heat capacity. These observations signify a more complex magnetic structure both at zero and finite fields for Mn1/3NbS2 than for the well-investigated Cr1/3NbS2.


abstract: Personalized recommendation algorithms learn a user's preference for an item by measuring a distance/similarity between them. However, some of the existing recommendation models (e.g., matrix factorization) assume a linear relationship between the user and item. This approach limits the capacity of recommender systems, since the interactions between users and items in real-world applications are much more complex than the linear relationship. To overcome this limitation, in this paper, we design and propose a deep learning framework called Signed Distance-based Deep Memory Recommender, which captures non-linear relationships between users and items explicitly and implicitly, and work well in both general recommendation task and shopping basket-based recommendation task. Through an extensive empirical study on six real-world datasets in the two recommendation tasks, our proposed approach achieved significant improvement over ten state-of-the-art recommendation models.


title: Adaptive Radar Detection of Dim Moving Targets in Presence of Range Migration

abstract: This paper addresses adaptive radar detection of dim moving targets. To circumvent range migration, the detection problem is formulated as a multiple hypothesis test and solved applying model order selection rules which allow to estimate the "position" of the target within the CPI and eventually detect it. The performance analysis proves the effectiveness of the proposed approach also in comparison to existing alternatives.


title: Machine Learning for Classification of Protein Helix Capping Motifs

abstract: The biological function of a protein stems from its 3-dimensional structure, which is thermodynamically determined by the energetics of interatomic forces between its amino acid building blocks (the order of amino acids, known as the sequence, defines a protein). Given the costs (time, money, human resources) of determining protein structures via experimental means such as X-ray crystallography, can we better describe and compare protein 3D structures in a robust and efficient manner, so as to gain meaningful biological insights? We begin by considering a relatively simple problem, limiting ourselves to just protein secondary structural elements. Historically, many computational methods have been devised to classify amino acid residues in a protein chain into one of several discrete secondary structures, of which the most well-characterized are the geometrically regular $\alpha$-helix and $\beta$-sheet; irregular structural patterns, such as 'turns' and 'loops', are less understood. Here, we present a study of Deep Learning techniques to classify the loop-like end cap structures which delimit $\alpha$-helices. Previous work used highly empirical and heuristic methods to manually classify helix capping motifs. Instead, we use structural data directly--including (i) backbone torsion angles computed from 3D structures, (ii) macromolecular feature sets (e.g., physicochemical properties), and (iii) helix cap classification data (from CAPS-DB)--as the ground truth to train a bidirectional long short-term memory (BiLSTM) model to classify helix cap residues. We tried different network architectures and scanned hyperparameters in order to train and assess several models; we also trained a Support Vector Classifier (SVC) to use as a baseline. Ultimately, we achieved 85% class-balanced accuracy with a deep BiLSTM model.


title: Discrete time stochastic and deterministic Petri box calculus

abstract: We propose an extension with deterministically timed multiactions of discrete time stochastic and immediate Petri box calculus (dtsiPBC), previously presented by I.V. Tarasyuk, H. Maci\`a and V. Valero. In dtsdPBC, non-negative integers specify multiactions with fixed (including zero) time delays. The step operational semantics is constructed via labeled probabilistic transition systems. The denotational semantics is defined on the basis of a subclass of labeled discrete time stochastic Petri nets with deterministic transitions. The consistency of both semantics is demonstrated. In order to evaluate performance, the corresponding semi-Markov chains and (reduced) discrete time Markov chains are analyzed.


title: Truthful Aggregation of Budget Proposals

abstract: We consider a participatory budgeting problem in which each voter submits a proposal for how to divide a single divisible resource (such as money or time) among several possible alternatives (such as public projects or activities) and these proposals must be aggregated into a single aggregate division. Under $\ell_1$ preferences -- for which a voter's disutility is given by the $\ell_1$ distance between the aggregate division and the division he or she most prefers -- the social welfare-maximizing mechanism, which minimizes the average $\ell_1$ distance between the outcome and each voter's proposal, is incentive compatible (Goel et al. 2016). However, it fails to satisfy the natural fairness notion of proportionality, placing too much weight on majority preferences. Leveraging a connection between market prices and the generalized median rules of Moulin (1980), we introduce the independent markets mechanism, which is both incentive compatible and proportional. We unify the social welfare-maximizing mechanism and the independent markets mechanism by defining a broad class of moving phantom mechanisms that includes both. We show that every moving phantom mechanism is incentive compatible. Finally, we characterize the social welfare-maximizing mechanism as the unique Pareto-optimal mechanism in this class, suggesting an inherent tradeoff between Pareto optimality and proportionality.


title: Detection of Single Grapevine Berries in Images Using Fully Convolutional Neural Networks

abstract: Yield estimation and forecasting are of special interest in the field of grapevine breeding and viticulture. The number of harvested berries per plant is strongly correlated with the resulting quality. Therefore, early yield forecasting can enable a focused thinning of berries to ensure a high quality end product. Traditionally yield estimation is done by extrapolating from a small sample size and by utilizing historic data. Moreover, it needs to be carried out by skilled experts with much experience in this field. Berry detection in images offers a cheap, fast and non-invasive alternative to the otherwise time-consuming and subjective on-site analysis by experts. We apply fully convolutional neural networks on images acquired with the Phenoliner, a field phenotyping platform. We count single berries in images to avoid the error-prone detection of grapevine clusters. Clusters are often overlapping and can vary a lot in the size which makes the reliable detection of them difficult. We address especially the detection of white grapes directly in the vineyard. The detection of single berries is formulated as a classification task with three classes, namely 'berry', 'edge' and 'background'. A connected component algorithm is applied to determine the number of berries in one image. We compare the automatically counted number of berries with the manually detected berries in 60 images showing Riesling plants in vertical shoot positioned trellis (VSP) and semi minimal pruned hedges (SMPH). We are able to detect berries correctly within the VSP system with an accuracy of 94.0 \% and for the SMPH system with 85.6 \%.


title: Carbon Isotope Ratios in M10 Giants

abstract: We measured carbon abundances and the $^{12}\mathrm{C}/^{13}\mathrm{C}$ ratio in 31 giant branch stars with previous CN and CH band measurements that span -2.33 $<$ M$_{\rm V}$ $<$ 0.18 in the globular cluster M10 (NGC 6254). Abundances were determined by comparing CO features at $\sim 2.3\, \mu \mathrm{m}$ and specifically the $^{13}$CO bandhead at $2.37\, \mu \mathrm{m}$, to synthetic spectra generated with MOOG. The observed spectra were obtained with GNIRS on Gemini North with a resolution of R $\approx 3500$. The carbon abundances derived from the IR spectra agree with previous [C/Fe] measurements found using CN and CH features at the near-UV/blue wavelength range. We found an average carbon isotope ratio of $^{12}\mathrm{C}/^{13}\mathrm{C}$ = 5.10$_{-0.17}^{+0.18}$ for first generation stars (CN-normal; 13 stars total) and $^{12}\mathrm{C}/^{13}\mathrm{C}$ = 4.84$_{-0.22}^{+0.27}$ for second generation stars (CN-enhanced; 15 stars). We therefore find no statistically significant difference in $^{12}\mathrm{C}/^{13}\mathrm{C}$ ratio between stars in either population for the observed magnitude range. Finally, we created models of the expected carbon, nitrogen, and $^{12}\mathrm{C}/^{13}\mathrm{C}$ surface abundance evolution on the red giant branch due to thermohaline mixing using the MESA stellar evolution code. The efficiency of the thermohaline mixing must be increased to a factor of $\approx 60$ to match [C/Fe] abundances, and by a factor of $\approx 666$ to match $^{12}\mathrm{C}/^{13}\mathrm{C}$ ratios. We could not simultaneously fit the evolution of both carbon and the $^{12}\mathrm{C}/^{13}\mathrm{C}$ ratio with models using the same thermohaline efficiency parameter.


title: Competing orders in pyrochlore magnets from a $\mathbb{Z}_2$ spin liquid perspective

abstract: The pyrochlore materials have long been predicted to harbor a quantum spin liquid, an intrinsic long-range-entangled state supporting fractionalized excitations. Existing pyrochlore experiments, on the other hand, have discovered several weakly ordered states and a tendency of close competition amongst them. Motivated by these facts, we give a complete classification of spin-orbit-coupled $\mathbb{Z}_2$ spin-liquid states on the pyrochlore lattice by using the projective symmetry group (PSG) approach for bosonic spinons. For each spin liquid, we construct a mean-field Hamiltonian that can be used to describe phase transitions out of the spin liquid via spinon condensation. Studying these phase transitions, we establish phase diagrams for our mean-field Hamiltonians that link magnetic orders to specific spin liquids. In general, we find that seemingly unrelated magnetic orders are intertwined with each other and that the conventional spin orders seen in the experiments are accompanied by more exotic hidden orders. Our critical theories are categorized into $z=1$ and $z=2$ types, based on their spinon dispersion and Hamiltonian diagonalizability, and are shown to give distinct signatures in the heat capacity and the spin structure factor. This study provides a clear map of pyrochlore phases for future experiments and variational Monte Carlo studies in pyrochlore materials.


title: On convergence of discrete methods of least squares on equidistant nodes

abstract: We consider the well-known method of least squares on an equidistant grid with $N+1$ nodes on the interval $[-1,1]$ with the goal to approximate a function $f\in\mathcal{C}\left[-1,1\right]$ by a polynomial of degree $n$. We investigate the following problem: For which ratio $N/n$ and which functions do we have uniform convergence of the least square operator ${LS}_n^N:\mathcal{C}\left[-1,1\right]\rightarrow\mathcal{P}_n$? We investigate this problem with a discrete weighting of the Jacobi-type. Thereby we describe the least square operator ${LS}_n^N$ by the expansion of a function by Hahn polynomials $Q_k\left(\cdot;\alpha,\beta,N\right)$. Without additional assumptions to functions $f\in\mathcal{C}\left[-1,1\right]$ it can not be guaranteed uniform convergence. But with $\alpha=\beta$ and additional assumptions to $f$ and $\left(N_n\right)_{n\in\mathbb{N}}$ we obtain convergence and prove the following results: For an $\alpha\geq0$ let $f\in\left\{g\in\mathcal{C}^\infty\left[-1,1\right]:\ \lim\limits_{n\to\infty}{\sup\limits_{x\in[-1,1]}{\left\lvert g^{(n)}(x)\right\rvert}\frac{n^{\alpha+1/2}}{2^nn!}}=0\right\}$ and let $(N_n)_{n}$ be a sequence of natural numbers with $N_n\geq2n(n+1)$. Then the method of least squares ${LS}_n^{N_n}[f]$ converges uniform on $[-1,1]$. Before we determine the maximum error ("worst case") with respect to the sup norm on the classes $\mathcal{K}_{n+1}:=\left\{f\in\mathcal{C}^{n+1}\left[-1,1\right]:\ \sup\limits_{x\in[-1,1]}{\left\lvert f^{(n+1)}(x)\right\rvert\leq1}\right\}$.


title: Full-stack Optimization for Accelerating CNNs with FPGA Validation

abstract: We present a full-stack optimization framework for accelerating inference of CNNs (Convolutional Neural Networks) and validate the approach with field-programmable gate arrays (FPGA) implementations. By jointly optimizing CNN models, computing architectures, and hardware implementations, our full-stack approach achieves unprecedented performance in the trade-off space characterized by inference latency, energy efficiency, hardware utilization and inference accuracy. As a validation vehicle, we have implemented a 170MHz FPGA inference chip achieving 2.28ms latency for the ImageNet benchmark. The achieved latency is among the lowest reported in the literature while achieving comparable accuracy. However, our chip shines in that it has 9x higher energy efficiency compared to other implementations achieving comparable latency. A highlight of our full-stack approach which attributes to the achieved high energy efficiency is an efficient Selector-Accumulator (SAC) architecture for implementing the multiplier-accumulator (MAC) operation present in any digital CNN hardware. For instance, compared to a FPGA implementation for a traditional 8-bit MAC, SAC substantially reduces required hardware resources (4.85x fewer Look-up Tables) and power consumption (2.48x).


title: Lie subalgebras of Differential Operators in one Variable

abstract: Let $\operatorname{Witt}$ be the Lie algebra generated by the set $\{L_i\,\vert\, i \in {\mathbb Z}\}$ and $\operatorname{Vir}$ its universal central extension. Let $\operatorname{Diff}(V)$ be the Lie algebra of differential operators on $V=\mathbb{C}[[z]]$, $\mathbb{C}((z))$ or $V=\mathbb{C}(z)$. We explicitly describe all Lie algebra homomorphisms from $\mathfrak{sl}(2)$, $\operatorname{Witt}$ and $\operatorname{Vir}$ to $\operatorname{Diff}(V)$ such that $L_0$ acts on $V$ as a first order differential operator.


title: On Reflectivity of Quantum Black Hole Horizons

abstract: We study the reflectivity of quantum black hole (BH) horizons using detailed balance and fluctuation-dissipation theorem, finding a universal flux reflectivity given by the Boltzmann factor ${\mathcal R} = \exp\left(-{\hbar |\omega| \over k T_{\rm H}}\right)$, where $\omega$ is frequency in the horizon frame and $T_{\rm H}$ is the Hawking temperature. This implies CP-symmetry (or $\bf{RP}^3$ topology) of the extended BH spacetime. We then briefly discuss related physical implications: We predict echoes in the ringdown of Kerr BHs, but they do not exhibit ergoregion instability. The viscosity in the membrane paradigm is modified to $\eta = \frac{c^3}{16\pi G}\tanh\left({\hbar |\omega| \over 4 k T_{\rm H}}\right)$, only approaching General Relativistic value at high frequencies.


title: Measurement-device-independent quantum key distribution coexisting with classical communication

abstract: The possibility for quantum and classical communication to coexist on the same fibre is important for deployment and widespread adoption of quantum key distribution (QKD) and, more generally, a future quantum internet. While coexistence has been demonstrated for different QKD implementations, a comprehensive investigation for measurement-device independent (MDI) QKD -- a recently proposed QKD protocol that cannot be broken by quantum hacking that targets vulnerabilities of single-photon detectors -- is still missing. Here we experimentally demonstrate that MDI-QKD can operate simultaneously with at least five 10 Gbps bidirectional classical communication channels operating at around 1550 nm wavelength and over 40 km of spooled fibre, and we project communication rates in excess of 10 THz when moving the quantum channel from the third to the second telecommunication window. The similarity of MDI-QKD with quantum repeaters suggests that classical and generalised quantum networks can co-exist on the same fibre infrastructure.


title: Two-sample inference for high-dimensional Markov networks

abstract: Markov networks are frequently used in sciences to represent conditional independence relationships underlying observed variables arising from a complex system. It is often of interest to understand how an underlying network differs between two conditions. In this paper, we develop methods for comparing a pair of high-dimensional Markov networks where we allow the number of observed variables to increase with the sample sizes. By taking the density ratio approach, we are able to learn the network difference directly and avoid estimating the individual graphs. Our methods are thus applicable even when the individual networks are dense as long as their difference is sparse. We prove finite-sample Gaussian approximation error bounds for the estimator we construct under significantly weaker assumptions than are typically required for model selection consistency. Furthermore, we propose bootstrap procedures for estimating quantiles of a max-type statistics based on our estimator, and show how they can be used to test the equality of two Markov networks or construct simultaneous confidence intervals. The performance of our methods is demonstrated through extensive simulations. The scientific usefulness is illustrated with an analysis of a new fMRI dataset.


title: Lattice-Constant and Band-Gap Tuning in Wurtzite and Zincblende BInGaN Alloys

abstract: InGaN light-emitting diodes (LEDs) are more efficient and cost effective than incandescent and fluorescent lighting, but lattice mismatch limits the thickness of InGaN layers that can be grown on GaN without performance-degrading dislocations. In this work, we apply hybrid density functional theory calculations to investigate the thermodynamic stability, lattice parameters, and band gaps of wurtzite and zincblende quaternary BInGaN alloys. We find that the wurtzite phase is more stable and can be lattice-matched to GaN for BInGaN compositions containing up to ~30% boron. The lattice match with GaN decreases strain and enables thicker active layers that mitigate Auger recombination and increase the efficiency of the LEDs. The band gap of the alloy remains tunable throughout the visible spectrum. Our results indicate that BInGaN alloys are promising alternatives to InGaN for high-efficiency, high-power LEDs.


title: Envy-Freeness in House Allocation Problems

abstract: We consider the house allocation problem, where $m$ houses are to be assigned to $n$ agents so that each agent gets exactly one house. We present a polynomial-time algorithm that determines whether an envy-free assignment exists, and if so, computes one such assignment. We also show that an envy-free assignment exists with high probability if the number of houses exceeds the number of agents by a logarithmic factor.


title: Fully Automatic Brain Tumor Segmentation using a Normalized Gaussian Bayesian Classifier and 3D Fluid Vector Flow

abstract: Brain tumor segmentation from Magnetic Resonance Images (MRIs) is an important task to measure tumor responses to treatments. However, automatic segmentation is very challenging. This paper presents an automatic brain tumor segmentation method based on a Normalized Gaussian Bayesian classification and a new 3D Fluid Vector Flow (FVF) algorithm. In our method, a Normalized Gaussian Mixture Model (NGMM) is proposed and used to model the healthy brain tissues. Gaussian Bayesian Classifier is exploited to acquire a Gaussian Bayesian Brain Map (GBBM) from the test brain MR images. GBBM is further processed to initialize the 3D FVF algorithm, which segments the brain tumor. This algorithm has two major contributions. First, we present a NGMM to model healthy brains. Second, we extend our 2D FVF algorithm to 3D space and use it for brain tumor segmentation. The proposed method is validated on a publicly available dataset.


title: Semi-automatic System for Title Construction

abstract: In this paper, we propose a semi-automatic system for title construction from scientific abstracts. The system extracts and recommends impactful words from the text, which the author can creatively use to construct an appropriate title for the manuscript. The work is based on the hypothesis that keywords are good candidates for title construction. We extract important words from the document by inducing a supervised keyword extraction model. The model is trained on novel features extracted from graph-of-text representation of the document. We empirically show that these graph-based features are capable of discriminating keywords from non-keywords. We further establish empirically that the proposed approach can be applied to any text irrespective of the training domain and corpus. We evaluate the proposed system by computing the overlap between extracted keywords and the list of title-words for documents, and we observe a macro-averaged precision of 82%.


title: Classifying Module Categories for Generalized Temperley-Lieb-Jones *-2-Categories

abstract: Generalized Temperley-Lieb-Jones (TLJ) 2-categories associated to weighted bidirected graphs were introduced in unpublished work of Morrison and Walker. We introduce unitary modules for these generalized TLJ 2-categories as strong *-pseudofunctors into the *-2-category of row-finite separable bigraded Hilbert spaces. We classify these modules up to *-equivalence in terms of weighted bi-directed fair and balanced graphs in the spirit of Yamagami's classification of fiber functors on TLJ categories and DeCommer and Yamashita's classification of unitary modules for Rep(SUq(2)).


title: A system for the 2019 Sentiment, Emotion and Cognitive State Task of DARPAs LORELEI project

abstract: During the course of a Humanitarian Assistance-Disaster Relief (HADR) crisis, that can happen anywhere in the world, real-time information is often posted online by the people in need of help which, in turn, can be used by different stakeholders involved with management of the crisis. Automated processing of such posts can considerably improve the effectiveness of such efforts; for example, understanding the aggregated emotion from affected populations in specific areas may help inform decision-makers on how to best allocate resources for an effective disaster response. However, these efforts may be severely limited by the availability of resources for the local language. The ongoing DARPA project Low Resource Languages for Emergent Incidents (LORELEI) aims to further language processing technologies for low resource languages in the context of such a humanitarian crisis. In this work, we describe our submission for the 2019 Sentiment, Emotion and Cognitive state (SEC) pilot task of the LORELEI project. We describe a collection of sentiment analysis systems included in our submission along with the features extracted. Our fielded systems obtained the best results in both English and Spanish language evaluations of the SEC pilot task.


title: A stable parareal-like method for the second order wave equation

abstract: A new parallel-in-time iterative method is proposed for solving the homogeneous second-order wave equation. The new method involves a coarse scale propagator, allowing for larger time steps, and a fine scale propagator which fully resolves the medium using finer spatial grid and shorter time steps. The fine scale propagator is run in parallel for short time intervals. The two propagators are coupled in an iterative way that resembles the standard parareal method developed by Lions, Maday and Turinici. We present a data-driven strategy in which the computed data gathered from each iteration are re-used to stabilize the coupling by minimizing the energy residual of the fine and coarse propagated solutions. An example of Marmousi model is provided to demonstrate the performance of the proposed method.


title: Missing Red Supergiants and Carbon Burning

abstract: Recent studies on direct imaging of Type II core-collapse supernova progenitors indicate a possible threshold around $M_{\rm ZAMS}\sim 16-20$ M$_\odot$, where red supergiants with larger birth masses do not appear to result in supernova explosions and instead implode directly into a black hole. In this study we argue that it is not a coincidence that this threshold closely matches the critical transition of central Carbon burning in massive stars from the convective to radiative regime. In lighter stars, Carbon burns convectively in the center and result in compact final presupernova cores that are likely to result in explosions, while in heavier stars after the transition, it burns as a radiative flame and the stellar cores become significantly harder to explode. Using the KEPLER code we demonstrate the sensitivity of this transition to the rate of $^{12}$C$(\alpha,\gamma)^{16}$O reaction and the overshoot mixing efficiency, and we argue that the upper mass limit of exploding red supergiants could be employed to constrain uncertain input physics of massive stellar evolution calculations. The initial mass corresponding to the central Carbon burning transition range from 14 to 26 M$_\odot$ in recently published models from various groups and codes, and only a few are in agreement with the estimates inferred from direct imaging studies.


title: Efficient Model-free Reinforcement Learning in Metric Spaces

abstract: Model-free Reinforcement Learning (RL) algorithms such as Q-learning [Watkins, Dayan 92] have been widely used in practice and can achieve human level performance in applications such as video games [Mnih et al. 15]. Recently, equipped with the idea of optimism in the face of uncertainty, Q-learning algorithms [Jin, Allen-Zhu, Bubeck, Jordan 18] can be proven to be sample efficient for discrete tabular Markov Decision Processes (MDPs) which have finite number of states and actions. In this work, we present an efficient model-free Q-learning based algorithm in MDPs with a natural metric on the state-action space--hence extending efficient model-free Q-learning algorithms to continuous state-action space. Compared to previous model-based RL algorithms for metric spaces [Kakade, Kearns, Langford 03], our algorithm does not require access to a black-box planning oracle.


title: Stability of the Stokes projection on weighted spaces and applications

abstract: We show that, on convex polytopes and two or three dimensions, the finite element Stokes projection is stable on weighted spaces $\mathbf{W}^{1,p}_0(\omega,\Omega) \times L^p(\omega,\Omega)$, where the weight belongs to a certain Muckenhoupt class and the integrability index can be different from two. We show how this estimate can be applied to obtain error estimates for approximations of the solution to the Stokes problem with singular sources.


title: GUP Modified Hawking Radiation in Bumblebee Gravity

abstract: The effect of Lorentz symmetry breaking (LSB) on the Hawking radiation of Schwarzschild-like black hole found in the bumblebee gravity model (SBHBGM) is studied in the framework of quantum gravity. To this end, we consider Hawking radiation spin-0 (bosons) and spin-$\frac{1}{2}$ particles (fermions), which go in and out through the event horizon of the SBHBGM. We use the modified Klein-Gordon and Dirac equations, which are obtained from the generalized uncertainty principle (GUP) to show how Hawking radiation is affected by the GUP and LSB. In particular, we reveal that, independent of the spin of the emitted particle, GUP causes a change in the Hawking temperature of the SBHBGM. Furthermore, we compute the semi-analytic greybody factors (for both bosons and fermions) of the SBHBGM. Thus, we reveal that LSB is effective on the greybody factor of the SBHBGM such that its redundancy decreases the value of the greybody factor. Our findings are graphically depicted.


title: The inertial wave activity during spin-down in a rapidly rotating penny shaped cylinder. Part I The quasi-geostrophic trigger

abstract: In a previous paper, Oruba, Soward & Dormy (J.Fluid Mech., vol.818, 2017, pp.205-240) considered the primary quasi-steady geostrophic (QG) motion of a constant density fluid of viscosity $\nu$ that occurs during linear spin-down in a cylindrical container of radius $L$ and height $H$, rotating rapidly (angular velocity $\Omega$) about its axis of symmetry subject to mixed rigid and stress-free boundary conditions for the case $L=H$. Here, Direct Numerical Simulation (DNS) at large $L= 10 H$ and Ekman number $E=\nu/H^2\Omega=10^{-3}$ reveals structured inertial wave activity on the spin-down time-scale. The analytic study, based on $E\ll 1$, builds on the results of Greenspan & Howard (J.Fluid Mech., vol.17, 1963, pp.385-404) for an infinite plane layer $L\to\infty$. At large but finite distance $r^\dag$ from the symmetry axis, the meridional (QG-)flow, that causes the QG-spin down, is blocked by the lateral boundary $r^\dag=L$, which provides a QG-trigger for inertial waves. The true situation in the unbounded layer is complicated further by the existence of a secondary set of maximum frequency (MF) inertial waves (a manifestation of the transient Ekman layer) identified by Greenspan & Howard. Their blocking at $r^\dag=L$ provides a secondary MF-trigger for yet more inertial waves that we consider in a sequel (Part II). Here, for the QG-trigger, we solve a linear initial value problem by Laplace transform methods. The ensuing complicated inertial wave structure is explained analytically on approximating our cylindrical geometry at large radius by rectangular Cartesian geometry, valid for $L-r^\star=O(H)$ ($L\gg H$). Other than identifying small scale structure near $r^\star=L$, our main finding is that inertial waves radiated away from the outer boundary (but propagating towards it) reach a distance determined by the group velocity.


title: Shadowed FSO/mmWave Systems with Interference

abstract: We investigate the performance of mixed free space optical (FSO)/millimeter-wave (mmWave) relay networks with interference at the destination. The FSO/mmWave channels are assumed to follow Malaga-M/Generalized-K fading models with pointing errors in the FSO link. The H-transform theory, wherein integral transforms involve Fox's H-functions as kernels, is embodied to unifying the performance analysis framework that encompasses closed-form expressions for the outage probability, the average bit error rate (BER) and the average capacity. By virtue of some H-transform asymptotic expansions, the high signal-to-interference-plus-noise ratio (SINR) analysis reduces to easy-to-compute expressions for the outage probability and BER, which reveals inside information for the system design. We finally investigate the optimal power allocation strategy, which minimizes the outage probability.


title: Analytical PAW Projector Functions for Reduced Bandwidth Requirements

abstract: Large scale electronic structure calculations require modern high performance computing (HPC) resources and, as important, mature HPC applications that can make efficient use of those. Real-space grid-based applications of Density Functional Theory (DFT) using the Projector Augmented Wave method (PAW) can give the same accuracy as DFT codes relying on a plane wave basis set but exhibit an improved scalability on distributed memory machines. The projection operations of the PAW Hamiltonian are known to be the performance critical part due to their limitation by the available memory bandwidth. We investigate on the utility of a 3D factorizable basis of Hermite functions for the localized PAW projector functions which allows to reduce the bandwidth requirements for the grid representation of the projector functions in projection operations. Additional on-the-fly sampling of the 1D basis functions eliminates the memory transfer almost entirely. For an quantitative assessment of the expected memory bandwidth savings we show performance results of a first implementation on GPUs. Finally, we suggest a PAW generation scheme adjusted to the analytically given projector functions.


title: The inertial wave activity during spin-down in a rapidly penny shaped cylinder. Part II The inertial wave of maximum frequency trigger

abstract: In an earlier paper, Oruba, Soward & Dormy (J.Fluid Mech., vol.818, 2017, pp.205-240) considered the primary quasi-steady geostrophic (QG) motion of a constant density fluid of viscosity $\nu$ that occurs during linear spin-down in a cylindrical container of radius $L$ and height $H$, rotating rapidly (angular velocity $\Omega$) about its axis of symmetry subject to mixed rigid and stress-free boundary conditions for the case $L=H$. Direct Numerical Simulation (DNS) at large $L= 10 H$ and Ekman number $E=\nu/H^2\Omega=10^{-3}$ by Oruba, Soward & Dormy (J.Fluid Mech., sub judice and referred to as Part I) reveals significant inertial wave activity on the spin-down time-scale. The analytic study in Part I, based on $E\ll 1$, builds on the results of Greenspan & Howard (J.Fluid Mech., vol.17, 1963, pp.385-404) for an infinite plane layer $L\to\infty$. At large but finite distance $r^\dag$ from the symmetry axis, the meridional (QG-)flow, that causes the QG-spin down, is blocked by the lateral boundary $r^\dag=L$, which provides the primary QG-trigger for the inertial waves studied in Part I. For the laterally unbounded layer, Greenspan & Howard also identified inertial waves of maximum frequency (MF), which are a manifestation of the transient Ekman layer. The blocking of the MF-waves by the lateral boundary provides a secondary MF-trigger for yet more inertial waves. Here we obtain analytic results for the wave activity caused by the combined-trigger (QG+MF) that faithfully captures the character of the laterally unbounded base flow including its transients. The results are compared with the inertial wave part of the DNS (the so called "filtered DNS" or simply "FNS"), for which the agreement is excellent and accounts for minor discrepancies evident in the Part I results for the QG-trigger.


title: Computational Design of Finite Strain Auxetic Metamaterials via Topology Optimization and Nonlinear Homogenization

abstract: A novel computational framework for designing metamaterials with negative Poisson's ratio over a large strain range is presented in this work by combining the density-based topology optimization together with a mixed stress/deformation driven nonlinear homogenization method. A measure of Poisson's ratio based on the macro deformations is proposed, which is further validated through direct numerical simulations. With the consistent optimization formulations based on nonlinear homogenization, auxetic metamaterial designs with respect to different loading orientations and with different unit cell domains are systematically explored. In addition, the extension to multimaterial auxetic metamaterial designs is also considered, and stable optimization formulations are presented to obtain discrete metamaterial topologies under finite strains. Various new auxetic designs are obtained based on the proposed framework. To validate the performance of optimized designs, a multiscale stability analysis is carried out using the Bloch wave method and rank-one convexity check. As demonstrated, short and/or long wavelength instabilities can occur during the loading process, leading to a change of periodicity of the microstructure, which can affect the performance of an optimized design.


title: Generalizations of Menchov-Rademacher theorem and existence of wave operators in Schrodinger evolution

abstract: We obtain generalizations of the classical Menchov-Rademacher theorem to the case of continuous orthogonal systems. These results are applied to show the existence of Moller wave operators in Schrodinger evolution.


title: An experimental Scheme for Gravitational Scattering in Microscale: The effect of spatial superposition of mass on the microstructure of space-time

abstract: In this paper, we are exploring the feasibility of observing non-classical features of gravity in a low-energy regime in a quantum optomechanical experiment. If gravity is to have an underlying quantum nature, it should hold the most fundamental quantum characteristics such as the superposition principle and entanglement. Despite the weakness of gravity, in principle there is a chance, to observe such a quantum signature of the gravity by exploiting the quantum optomechanical techniques, without direct observation of graviton. We are investigating a new dynamical scheme called, gravitational quantum regime, in which the source of gravity is a quantum particle, and its centre of mass is subject to the spatial superposition. In a Gedankenexperiment, a test particle is gravitationally interacting with a quantum nanoparticle in a double-slit setup. Possible entanglement or superposition of the fields is investigated. We are looking for the corresponding deviation of the classical description of gravity despite being far from the Planck scale. Any experimental interrogation which reveals that gravitational field obeys the quantum superposition principle would be the first recognition of quantumness of gravity. This study will show how feasible it is to search for a non-classical feature of gravity in such a regime of motion. Moreover, this proposal would be an attempt to test the objectivity of the quantum superposition principle and its contribution to the microstructure of space-time.


title: Transition from the Bose gas to the Fermi gas through a Nuclear Halo

abstract: The first part of the paper deals with the behavior of the Bose--Einstein distribution as the activity $a\to 0$. In particular, the neighborhood of the point $a=0$ is studied in great detail, and the expansion of both the Bose distribution and the Fermi distribution in powers of the parameter $a$ is used. This approach allows to find the value of the parameter $a_0$, for which the Bose distribution (in the statistical sense) becomes zero. In the second part of the paper, the process of separation of a nucleon from the atom's nucleus is studied from the mathematical point of view. At the moment when the nucleon tears away from the fermionic nucleus, the nucleus becomes a boson. We investigate the further transformations of bosonic and fermionic separation states in a small neighborhood of the pressure $P$ equal to zero. We use infinitely small quantities to modify the parastatistical distribution. Our conception is based on interpolation formulas yielding expansions in powers of the density. This method differs from those in other models based on the interaction potential between two or three particles. We obtain new important relations connecting the temperature with the chemical potential during the separation of a nucleon from the atom's nucleus. The obtained relations allow us to construct, on an antipode of sorts of the Hougen--Watson P-Z chart, the very high temperature isotherms corresponding to nuclear matter. It is proved mathematically that the passage of particles satisfying the Fermi--Dirac distribution to the Bose--Einstein distribution in the neighborhood of pressure $P$ equal to zero occurs in a region known as the "halo".


title: Set-valued risk statistics with the time value of money

abstract: The time value of money is a critical factor not only in risk analysis, but also in insurance and financial applications. In this paper, we consider a special class of set-valued risk statistics by introducing the time value of money. In fact, the risk statistics established by this method is closer to financial reality than traditional ones. Moreover, this new risk statistic can be uesd for the quantification of portfolio risk. By further developing the properties related to these risk statistics, we are able to derive representation results for such risk.


title: Online Decision Process based on Machine Learning Techniques

abstract: This paper analyses role of internet in marketing and its influences on business decision-making process. It explains how the decision maker collect variety of information about customers through internet and analysis this data to better use it in enhancing the processes and the overall performance of the organization. In addition, how each department in an organization collaborates and use these information through data warehousing. Accordingly, a business intelligence model is proposed for web segmentation that divides potential markets or consumers into specific groups and analysis them for better decision making. The model further plans to push the significance of web opportunities in directing the web division and gathering client information. It is exhibited how marketing information system include customers, equipment and procedures analysis contribute to help decision makers make better decision.


title: Conformal Mechanics of Planar Curves

abstract: Self-similar curves arise naturally as the tension-free equilibrium states of conformally invariant bending energies. The simplest example is the M\"obius invariant conformal arc-length on planar curves, dependent on the Frenet curvature $\kappa$ through its first derivative with respect to arc-length. There are four conserved currents associated with this invariance: the tension and torque associated with Euclidean invariance, as well as scalar and vector currents reflecting invariance under scaling and special conformal transformations respectively. If the tension vanishes, all equilibrium states are self-similar: in the case of conformal arc-length, these are logarithmic spirals with no internal structure. More generally, the tension-free states are logarithmic spirals decorated with a repeating self-similar internal structure. Here it will be shown how the conservation laws can be used to construct these curves, while also endowing their geometry with a mechanical interpretation. The scaling current and the torque together provide a scale-invariant ode for the dimensionless variable $\kappa'/\kappa^2$, which captures the internal structure of the spiral. For conformal arc-length it is constant. In tension-free states, the special conformal current vanishes. Its projections along orthogonal directions determine directly the distance from the spiral apex locally in terms of the curvature. The quadratic Casimir invariant of the M\"obius group can be cast in terms of the four currents, none of which itself is invariant. For conformal arc-length, this is identified as the conformal curvature (the Schwarzian derivative of the Frenet curvature); it is constant along equilibrium curves.

categories: nlin.SI cond-mat.soft math-ph math.MP physics.class-ph


title: Solving Linear Systems over Tropical Semirings through Normalization Method and its Applications

abstract: In this paper, we introduce and analyze a normalization method for solving a system of linear equations over tropical semirings. We use a normalization method to construct an associated normalized matrix, which gives a technique for solving the system. If solutions exist, the method can also determine the degrees of freedom of the system. Moreover, we present a procedure to determine the column rank and the row rank of a matrix. Flowcharts for this normalization method and its applications are included as well.


title: Big Data in IoT Systems

abstract: Big Data in IoT is a large and fast-developing area where many different methods and techniques can play a role. Due to rapid progress in Machine Learning and new hardware developments, a dynamic turnaround of methods and technologies can be observed. This overview therefore tries to be broad and highlevel without claiming to be comprehensive. Its approach towards Big Data and IoT is predicated on a distinction between the digital economy and the characteristics of what Robin Milner has described as the Ubiquitous Computing System.


title: Development of a neutron imaging station at the n\_TOF facility of CERN and applications to beam intercepting devices

abstract: A neutron radiography testing station has been developed exploiting the neutron beam of CERN's n\_TOF Experimental Area 2, located at the shortest distance to the neutron producing-target. The characteristics of the n\_TOF neutron beam for the imaging setup are presented in this paper, together with the obtained experimental results. The possible developments of neutron imaging capabilities of the n\_TOF facility in terms of detection-systems and beam-line upgrades are as well outlined.


title: Wildfire Monitoring in Remote Areas using Autonomous Unmanned Aerial Vehicles

abstract: In this paper, we propose a drone-based wildfire monitoring system for remote and hard-to-reach areas. This system utilizes autonomous unmanned aerial vehicles (UAVs) with the main advantage of providing on-demand monitoring service faster than the current approaches of using satellite images, manned aircraft and remotely controlled drones. Furthermore, using autonomous drones facilitates minimizing human intervention in risky wildfire zones. In particular, to develop a fully autonomous system, we propose a distributed leader-follower coalition formation model to cluster a set of drones into multiple coalitions that collectively cover the designated monitoring field. The coalition leader is a drone %with longer communication range that employs observer drones potentially with different sensing and imaging %actuation capabilities to hover in circular paths and collect imagery information from the impacted areas. The objectives of the proposed system include i) to cover the entire fire zone with a minimum number of drones, and ii) to minimize the energy consumption and latency of the available drones to fly to the fire zone. Simulation results confirm that the performance of the proposed system -- without the need for inter-coalition communications -- approaches that of a centrally-optimized system.


title: Caveat emptor: the risks of using big data for human development

abstract: Big data revolution promises to be instrumental in facilitating sustainable development in many sectors of life such as education, health, agriculture, and in combating humanitarian crises and violent conflicts. However, lurking beneath the immense promises of big data are some significant risks such as (1) the potential use of big data for unethical ends; (2) its ability to mislead through reliance on unrepresentative and biased data; and (3) the various privacy and security challenges associated with data (including the danger of an adversary tampering with the data to harm people). These risks can have severe consequences and a better understanding of these risks is the first step towards mitigation of these risks. In this paper, we highlight the potential dangers associated with using big data, particularly for human development.


title: SmartTrack: Efficient Predictive Race Detection

abstract: Widely used data race detectors, including the state-of-the-art FastTrack algorithm, incur performance costs that are acceptable for regular in-house testing, but miss races detectable from the analyzed execution. Predictive analyses detect more data races in an analyzed execution than FastTrack detects, but at significantly higher performance cost. This paper presents SmartTrack, an algorithm that optimizes predictive race detection analyses, including two analyses from prior work and a new analysis introduced in this paper. SmartTrack's algorithm incorporates two main optimizations: (1) epoch and ownership optimizations from prior work, applied to predictive analysis for the first time; and (2) novel conflicting critical section optimizations introduced by this paper. Our evaluation shows that SmartTrack achieves performance competitive with FastTrack-a qualitative improvement in the state of the art for data race detection.


title: A Modular Framework for Motion Planning using Safe-by-Design Motion Primitives

abstract: We present a modular framework for solving a motion planning problem among a group of robots. The proposed framework utilizes a finite set of low level motion primitives to generate motions in a gridded workspace. The constraints on allowable sequences of motion primitives are formalized through a maneuver automaton. At the high level, a control policy determines which motion primitive is executed in each box of the gridded workspace. We state general conditions on motion primitives to obtain provably correct behavior so that a library of safe-by-design motion primitives can be designed. The overall framework yields a highly robust design by utilizing feedback strategies at both the low and high levels. We provide specific designs for motion primitives and control policies suitable for multi-robot motion planning; the modularity of our approach enables one to independently customize the designs of each of these components. Our approach is experimentally validated on a group of quadrocopters.


title: A Unified Deep Learning Formalism For Processing Graph Signals

abstract: Convolutional Neural Networks are very efficient at processing signals defined on a discrete Euclidean space (such as images). However, as they can not be used on signals defined on an arbitrary graph, other models have emerged, aiming to extend its properties. We propose to review some of the major deep learning models designed to exploit the underlying graph structure of signals. We express them in a unified formalism, giving them a new and comparative reading.


title: The Muon $g-2$ experiment at Fermilab

abstract: The current $\sim3.5\sigma$ discrepancy between the experimental measurement and theoretical prediction of the muon magnetic anomaly, $a_{\mu}$, stands as a potential indication of the existence of new physics. The Muon $g-2$ experiment at Fermilab is set to measure $a_{\mu}$ with a four-fold improvement in the uncertainty with respect to previous experiment, with an aim to determine whether the $g-2$ discrepancy is well established. The experiment recently completed its first physics run and a summer programme of essential upgrades, before continuing on with its experimental programme. The Run-1 data alone are expected to yield a statistical uncertainty of 350 ppb and the publication of the first result is expected in late-2019.


title: Prospects for vectorlike leptons at future proton-proton colliders

abstract: Vectorlike leptons are an intriguing possibility for physics beyond the Standard Model. We study the reach for discovering (at 5$\sigma$ significance) or excluding (at 95 per cent confidence) models of charged vectorlike leptons that mix predominantly with the tau, using multi-lepton signatures at various future proton-proton collider options: a high-luminosity LHC with $\sqrt{s} =$ 14 TeV, a high-energy LHC with $\sqrt{s} =$ 27 TeV, and possible new longer-tunnel colliders with $\sqrt{s} =$ 70 or 100 TeV. For weak isodoublet vectorlike leptons, we estimate that a 27 TeV high-energy LHC with 15 ab$^{-1}$ could exclude masses up to about 2300 GeV, or discover them if the mass is less than about 1700 GeV, while a 100 TeV collider with 30 ab$^{-1}$ could exclude masses up to about 5750 GeV, or make a discovery if the mass is less than about 4000 GeV. However, we find that weak isosinglet vectorlike leptons present a much more difficult challenge, with some reach for exclusion, but not for discovery at any of the collider options considered.


title: An Ontological Analysis of Business Process Modeling and Execution

abstract: This work presents a fully elaborated ontology, defined via the Ontology Web Language (OWL), of the Business Process Model and Notation (BPMN) standard to define business process models, and we demonstrate that any BPMN model can be serialized as OWL file. Based on ontological analysis and a corresponding definition of a modeling notation as ontology we show that business process models can be transformed from one notation into another one as long as there are common underlying concepts; this is demonstrated with the case of an actor based, or subject-oriented, view on business processes. Furthermore, a reference architecture for Workflow Management Systems (WfMS) based on microservices is discussed which is capable of executing actor based business process models. As a transformation of BPMN models into the actor based view is generally possible, also BPMN models could be enacted. As a result, we can conclude that the actor system is a promising way to stimulate new ways to design workflow management systems and to design business process modeling languages which are more comfortable to use by non-experts without losing necessary expressiveness. Another result is that an ontology is a productive way to define a modeling notation as it can be used as knowledge base, it is a formal conceptualization of the underlying notions, and can be semantically enriched for further use.


title: Hierarchically Consistent Motion Primitives for Quadrotor Coordination

abstract: We present a hierarchical framework for motion planning of a large collection of agents. The proposed framework starts from low level motion primitives over a gridded workspace and provides a set of rules for constructing higher level motion primitives. Our hierarchical approach is highly scalable and robust making it an ideal tool for planning for multi-agent systems. Results are demonstrated experimentally on a collection of quadrotors that must navigate a cluttered environment while maintaining a formation.


title: The role of artificial intelligence in achieving the Sustainable Development Goals

abstract: The emergence of artificial intelligence (AI) and its progressively wider impact on many sectors across the society requires an assessment of its effect on sustainable development. Here we analyze published evidence of positive or negative impacts of AI on the achievement of each of the 17 goals and 169 targets of the 2030 Agenda for Sustainable Development. We find that AI can support the achievement of 128 targets across all SDGs, but it may also inhibit 58 targets. Notably, AI enables new technologies that improve efficiency and productivity, but it may also lead to increased inequalities among and within countries, thus hindering the achievement of the 2030 Agenda. The fast development of AI needs to be supported by appropriate policy and regulation. Otherwise, it would lead to gaps in transparency, accountability, safety and ethical standards of AI-based technology, which could be detrimental towards the development and sustainable use of AI. Finally, there is a lack of research assessing the medium- and long-term impacts of AI. It is therefore essential to reinforce the global debate regarding the use of AI and to develop the necessary regulatory insight and oversight for AI-based technologies.


title: Task Planning with a Weighted Functional Object-Oriented Network

abstract: In reality, there is still much to be done for robots to be able to perform manipulation actions with full autonomy. Complicated manipulation tasks, such as cooking, may still require a person to perform some actions that are very risky for a robot to perform. On the other hand, some other actions may be very risky for a human with physical disabilities to perform. Therefore, it is necessary to balance the workload of a robot and a human based on their limitations while minimizing the effort needed from a human in a collaborative robot (cobot) set-up. This paper proposes a new version of our functional object-oriented network (FOON) that integrates weights in its functional units to reflect a robot's chance of successfully executing an action of that functional unit. The paper also presents a task planning algorithm for the weighted FOON to allocate manipulation action load to the robot and human to achieve optimal performance while minimizing human effort. Through a number of experiments, this paper shows several successful cases in which using the proposed weighted FOON and the task planning algorithm allow a robot and a human to successfully complete complicated tasks together with higher success rates than a robot doing them alone.


title: Attention Monitoring and Hazard Assessment with Bio-Sensing and Vision: Empirical Analysis Utilizing CNNs on the KITTI Dataset

abstract: Assessing the driver's attention and detecting various hazardous and non-hazardous events during a drive are critical for driver's safety. Attention monitoring in driving scenarios has mostly been carried out using vision (camera-based) modality by tracking the driver's gaze and facial expressions. It is only recently that bio-sensing modalities such as Electroencephalogram (EEG) are being explored. But, there is another open problem which has not been explored sufficiently yet in this paradigm. This is the detection of specific events, hazardous and non-hazardous, during driving that affects the driver's mental and physiological states. The other challenge in evaluating multi-modal sensory applications is the absence of very large scale EEG data because of the various limitations of using EEG in the real world. In this paper, we use both of the above sensor modalities and compare them against the two tasks of assessing the driver's attention and detecting hazardous vs. non-hazardous driving events. We collect user data on twelve subjects and show how in the absence of very large-scale datasets, we can still use pre-trained deep learning convolution networks to extract meaningful features from both of the above modalities. We used the publicly available KITTI dataset for evaluating our platform and to compare it with previous studies. Finally, we show that the results presented in this paper surpass the previous benchmark set up in the above driver awareness-related applications.


title: Machine Learning meets Stochastic Geometry: Determinantal Subset Selection for Wireless Networks

abstract: In wireless networks, many problems can be formulated as subset selection problems where the goal is to select a subset from the ground set with the objective of maximizing some objective function. These problems are typically NP-hard and hence solved through carefully constructed heuristics, which are themselves mostly NP-complete and thus not easily applicable to large networks. On the other hand, subset selection problems occur in slightly different context in machine learning (ML) where the goal is to select a subset of high quality yet diverse items from a ground set. In this paper, we introduce a novel DPP-based learning (DPPL) framework for efficiently solving subset selection problems in wireless networks. The DPPL is intended to replace the traditional optimization algorithms for subset selection by learning the quality-diversity trade-off in the optimal subsets selected by an optimization routine. As a case study, we apply DPPL to the wireless link scheduling problem, where the goal is to determine the subset of simultaneously active links which maximizes the network-wide sum-rate. We demonstrate that the proposed DPPL approaches the optimal solution with significantly lower computational complexity than the popular optimization algorithms used for this problem in the literature.


title: Semi-Conditional Normalizing Flows for Semi-Supervised Learning

abstract: This paper proposes a semi-conditional normalizing flow model for semi-supervised learning. The model uses both labelled and unlabeled data to learn an explicit model of joint distribution over objects and labels. Semi-conditional architecture of the model allows us to efficiently compute a value and gradients of the marginal likelihood for unlabeled objects. The conditional part of the model is based on a proposed conditional coupling layer. We demonstrate performance of the model for semi-supervised classification problem on different datasets. The model outperforms the baseline approach based on variational auto-encoders on MNIST dataset.


title: An equivariant isomorphism theorem for mod $\mathfrak p$ reductions of arboreal Galois representations

abstract: Let $\phi$ be a quadratic, monic polynomial with coefficients in $\mathcal O_{F,D}[t]$, where $\mathcal O_{F,D}$ is a localization of a number ring $\mathcal O_F$. In this paper, we first prove that if $\phi$ is non-square and non-isotrivial, then there exists an absolute, effective constant $N_\phi$ with the following property: for all primes $\mathfrak p\subseteq\mathcal O_{F,D}$ such that the reduced polynomial $\phi_\mathfrak p\in (\mathcal O_{F,D}/\mathfrak p)[t][x]$ is non-square and non-isotrivial, the squarefree Zsigmondy set of $\phi_{\mathfrak p}$ is bounded by $N_\phi$. Using this result, we prove that if $\phi$ is non-isotrivial and geometrically stable then outside a finite, effective set of primes of $\mathcal O_{F,D}$ the geometric part of the arboreal representation of $\phi_{\mathfrak p}$ is isomorphic to that of $\phi$. As an application of our results we prove R. Jones' conjecture on the arboreal Galois representation attached to the polynomial $x^2+t$.


title: Learning higher-order sequential structure with cloned HMMs

abstract: Variable order sequence modeling is an important problem in artificial and natural intelligence. While overcomplete Hidden Markov Models (HMMs), in theory, have the capacity to represent long-term temporal structure, they often fail to learn and converge to local minima. We show that by constraining HMMs with a simple sparsity structure inspired by biology, we can make it learn variable order sequences efficiently. We call this model cloned HMM (CHMM) because the sparsity structure enforces that many hidden states map deterministically to the same emission state. CHMMs with over 1 billion parameters can be efficiently trained on GPUs without being severely affected by the credit diffusion problem of standard HMMs. Unlike n-grams and sequence memoizers, CHMMs can model temporal dependencies at arbitrarily long distances and recognize contexts with 'holes' in them. Compared to Recurrent Neural Networks and their Long Short-Term Memory extensions (LSTMs), CHMMs are generative models that can natively deal with uncertainty. Moreover, CHMMs return a higher-order graph that represents the temporal structure of the data which can be useful for community detection, and for building hierarchical models. Our experiments show that CHMMs can beat n-grams, sequence memoizers, and LSTMs on character-level language modeling tasks. CHMMs can be a viable alternative to these methods in some tasks that require variable order sequence modeling and the handling of uncertainty.


title: Subradiance-protected excitation transport

abstract: We explore excitation transport within a one-dimensional chain of atoms where the atomic transition dipoles are coupled to the free radiation field. When the atoms are separated by distances smaller or comparable to the wavelength of the transition, the exchange of virtual photons leads to the transport of the excitation through the lattice. Even though this is a strongly dissipative system, we find that the transport is subradiant, that is, the excitation lifetime is orders of magnitude longer than the one of an individual atom. In particular, we show that a subspace of the spectrum is formed by subradiant states with a linear dispersion relation, which allows for the dispersionless transport of wave packets over long distances with virtually zero decay rate. Moreover, the group velocity and direction of the transport can be controlled via an external uniform magnetic field while preserving its subradiant character. The simplicity and versatility of this system, together with the robustness of subradiance against disorder, makes it relevant for a range of applications such as lossless energy transport and long-time light storage.


title: The regular indefinite linear quadratic optimal control problem: stabilizable case

abstract: This paper addresses an open problem in the area of linear quadratic optimal control. We consider the regular, infinite-horizon, stability-modulo-a-subspace, indefinite linear quadratic problem under the assumption that the dynamics are stabilizable. Our result generalizes previous works dealing with the same problem in the case of controllable dynamics. We explicitly characterize the unique solution of the algebraic Riccati equation that gives the optimal cost and optimal feedback control, as well as necessary and sufficient conditions for the existence of optimal controls.


title: Land Use and Land Cover Classification Using Deep Learning Techniques

abstract: Large datasets of sub-meter aerial imagery represented as orthophoto mosaics are widely available today, and these data sets may hold a great deal of untapped information. This imagery has a potential to locate several types of features; for example, forests, parking lots, airports, residential areas, or freeways in the imagery. However, the appearances of these things vary based on many things including the time that the image is captured, the sensor settings, processing done to rectify the image, and the geographical and cultural context of the region captured by the image. This thesis explores the use of deep convolutional neural networks to classify land use from very high spatial resolution (VHR), orthorectified, visible band multispectral imagery. Recent technological and commercial applications have driven the collection a massive amount of VHR images in the visible red, green, blue (RGB) spectral bands, this work explores the potential for deep learning algorithms to exploit this imagery for automatic land use/ land cover (LULC) classification.


title: Hamiltonian symmetries in auxiliary-field quantum Monte Carlo calculations for electronic structure

abstract: We describe how to incorporate symmetries of the Hamiltonian into auxiliary-field quantum Monte Carlo calculations (AFQMC). Focusing on the case of Abelian symmetries, we show that the computational cost of most steps of an AFQMC calculation is reduced by $N_k^{-1}$, where $N_k$ is the number of irreducible representations of the symmetry group. We apply the formalism to a molecular system as well as to several crystalline solids. In the latter case, the lattice translational group provides increasing savings as the number of k points is increased, which is important in enabling calculations that approach the thermodynamic limit. The extension to non-Abelian symmetries is briefly discussed.


title: The tidal parameters of TRAPPIST-1 b and c

abstract: The TRAPPIST-1 planetary system consists of seven planets within 0.05 au of each other, five of which are in a multi-resonant chain. {These resonances suggest the system formed via planet migration; subsequent tidal evolution has damped away most of the initial eccentricities. We used dynamical N-body simulations to estimate how long it takes for the multi-resonant configuration that arises during planet formation to break. From there we use secular theory to pose limits on the tidal parameters of planets b and c. We calibrate our results against multi-layered interior models constructed to fit the masses and radii of the planets, from which the tidal parameters are computed independently.} The dynamical simulations show that the planets typically go unstable 30 Myr after their formation. {Assuming synchronous rotation throughout} we compute $\frac{k_2}{Q} \gtrsim 2\times 10^{-4}$ for planet b and $\frac{k_2}{Q} \gtrsim 10^{-3}$ for planet c. Interior models yield $(0.075-0.37) \times 10^{-4}$ for TRAPPIST-1 b and $(0.4-2)\times 10^{-4}$ for TRAPPIST-1 c. The agreement between the {dynamical and interior} models is not too strong, but is still useful to constrain the dynamical history of the system. We suggest that this two-pronged approach could be of further use in other multi-resonant systems if the planet's orbital and interior parameters are sufficiently well known.


title: On $\mathcal{B}$-Open Sets

abstract: The aim of this paper is to define and study $\mathcal{B}$-open sets and related properties. A $\mathcal{B}$-open set is, roughly speaking, a generalization of a $b$-open set, which is in turn a generalization of a pre-open set and a semi-open set. Using $\mathcal{B}$-open sets, we introduce a number of concepts such as $\mathcal{B}$-dense, $\mathcal{B}$-Frechet, contra-$\mathcal{B}$-closed graph and contra-$\mathcal{B}$-continuity. Also, we define a bi-operator topological space $(X, \tau, T_1, T_2)$ which involves two operators $T_1$ and $T_2$, which are used to define $\mathcal{B}$-open sets.


title: Characterizations of the Ideal Core

abstract: Given an ideal $\mathcal{I}$ on $\omega$ and a sequence $x$ in a topological vector space, we let the $\mathcal{I}$-core of $x$ be the least closed convex set containing $\{x_n: n \notin I\}$ for all $I \in \mathcal{I}$. We show two characterizations of the $\mathcal{I}$-core. This implies that the $\mathcal{I}$-core of a bounded sequence in $\mathbf{R}^k$ is simply the convex hull of its $\mathcal{I}$-cluster points. As applications, we simplify and extend several results in the context of Pringsheim-convergence and $e$-convergence of double sequences.


title: Maximizing simulated tropical cyclone intensity with action minimization

abstract: Direct computer simulation of intense tropical cyclones (TCs) in weather models is limited by computational expense. Intense TCs are rare and have small-scale structures, making it difficult to produce large ensembles of storms at high resolution. Further, models often fail to capture the process of rapid intensification, which is a distinguishing feature of many intense TCs. Understanding rapid intensification is especially important in the context of global warming, which may increase the frequency of intense TCs. To better leverage computational resources for the study of rapid intensification, we introduce an action minimization algorithm applied to the WRF and WRFPLUS models. Action minimization nudges the model into forming more intense TCs than it otherwise would; it does so via the maximum likelihood path in a stochastic formulation of the model, thereby allowing targeted study of intensification mechanisms. We apply action minimization to simulations of Hurricanes Danny (2015) and Fred (2009) at 6 km resolution to demonstrate that the algorithm consistently intensifies TCs via physically plausible pathways. We show an approximately ten-fold computational savings using action minimization to study the tail of the TC intensification distribution. Further, for Hurricanes Danny and Fred, action minimization produces perturbations that preferentially reduce low-level shear as compared to upper-level shear, at least above a threshold of approximately $4 \mathrm{\ m \ s^{-1}}$. We also demonstrate that asymmetric, time-dependent patterns of heating can cause significant TC intensification beyond symmetric, azimuthally-averaged heating and find a regime of non-linear response to asymmetric heating that has not been extensively studied in previous work.


title: Total positivity in exponential families with application to binary variables

abstract: We study exponential families of distributions that are multivariate totally positive of order 2 (MTP2), show that these are convex exponential families, and derive conditions for existence of the MLE. Quadratic exponential familes of MTP2 distributions contain attractive Gaussian graphical models and ferromagnetic Ising models as special examples. We show that these are defined by intersecting the space of canonical parameters with a polyhedral cone whose faces correspond to conditional independence relations. Hence MTP2 serves as an implicit regularizer for quadratic exponential families and leads to sparsity in the estimated graphical model. We prove that the maximum likelihood estimator (MLE) in an MTP2 binary exponential family exists if and only if both of the sign patterns $(1,-1)$ and $(-1,1)$ are represented in the sample for every pair of variables; in particular, this implies that the MLE may exist with $n=d$ observations, in stark contrast to unrestricted binary exponential families where $2^d$ observations are required. Finally, we provide a novel and globally convergent algorithm for computing the MLE for MTP2 Ising models similar to iterative proportional scaling and apply it to the analysis of data from two psychological disorders.


title: From Abstractions to Grounded Languages for Robust Coordination of Task Planning Robots

abstract: In this paper, we consider a first step to bridge a gap in coordinating task planning robots. Specifically, we study the automatic construction of languages that are maximally flexible while being sufficiently explicative for coordination. To this end, we view language as a machinery for specifying temporal-state constraints of plans. Such a view enables us to reverse-engineer a language from the ground up by mapping these composable constraints to words. Our language expresses a plan for any given task as a "plan sketch" to convey just-enough details while maximizing the flexibility to realize it, leading to robust coordination with optimality guarantees among other benefits. We formulate and analyze the problem, provide an approximate solution, and validate the advantages of our approach under various scenarios to shed light on its applications.


title: Reconfiguring Undirected Paths

abstract: We consider problems in which a simple path of fixed length, in an undirected graph, is to be shifted from a start position to a goal position by moves that add an edge to either end of the path and remove an edge from the other end. We show that this problem may be solved in linear time in trees, and is fixed-parameter tractable when parameterized either by the cyclomatic number of the input graph or by the length of the path. However, it is PSPACE-complete for paths of unbounded length in graphs of bounded bandwidth.


title: Optimal Multi-view Correction of Local Affine Frames

abstract: The technique requires the epipolar geometry to be pre-estimated between each image pair. It exploits the constraints which the camera movement implies, in order to apply a closed-form correction to the parameters of the input affinities. Also, it is shown that the rotations and scales obtained by partially affine-covariant detectors, e.g., AKAZE or SIFT, can be completed to be full affine frames by the proposed algorithm. It is validated both in synthetic experiments and on publicly available real-world datasets that the method always improves the output of the evaluated affine-covariant feature detectors. As a by-product, these detectors are compared and the ones obtaining the most accurate affine frames are reported. For demonstrating the applicability, we show that the proposed technique as a pre-processing step improves the accuracy of pose estimation for a camera rig, surface normal and homography estimation.


title: Skew product groups for monolithic groups

abstract: Skew morphisms, which generalise automorphisms for groups, provide a fundamental tool for the study of regular Cayley maps and, more generally, for finite groups with a complementary factorisation $G=BY$, where $Y$ is cyclic and core-free in $G$. In this paper, we classify all examples in which $B$ is monolithic (meaning that it has a unique minimal normal subgroup, and that subgroup is not abelian) and core-free in $G$. As a consequence, we obtain a classification of all proper skew morphisms of finite non-abelian simple groups.


title: Adaptive Coding for Information Freshness in a Two-user Broadcast Erasure Channel

abstract: In this paper, we investigate the impact of coding on the Age of Information (AoI) in a two-user broadcast symbol erasure channel with feedback. We assume each update consists of $K$ symbols and the source is able to broadcast one symbol in each time slot. Due to random channel noise, the intended symbol at each user will be erased according to an independent and identically distributed (i.i.d.) Bernoulli process. A user is able to successfully decode an update if it accumulates sufficient information and successfully decodes the $K$ symbols of the update. Assuming prefect feedback information at the source right after the transmission of each symbol, our objective is to design an adaptive coding scheme to achieve small AoI at both users. We propose a novel coding scheme to judiciously combine symbols from different updates together, and analyze the AoI at both users. Compared with a baseline greedy scheme, the proposed adaptive coding scheme improves the AoI at the weak user by orders of magnitude without compromising the AoI at the strong user.


title: The Literary Theme Ontology for Media Annotation and Information Retrieval

abstract: Literary theme identification and interpretation is a focal point of literary studies scholarship. Classical forms of literary scholarship, such as close reading, have flourished with scarcely any need for commonly defined literary themes. However, the rise in popularity of collaborative and algorithmic analyses of literary themes in works of fiction, together with a requirement for computational searching and indexing facilities for large corpora, creates the need for a collection of shared literary themes to ensure common terminology and definitions. To address this need, we here introduce a first draft of the Literary Theme Ontology. Inspired by a traditional framing from literary theory, the ontology comprises literary themes drawn from the authors own analyses, reference books, and online sources. The ontology is available at https://github.com/theme-ontology/lto under a Creative Commons Attribution 4.0 International license (CC BY 4.0).


title: A Fast Deep Learning Approach for Beam Orientation Optimization for Prostate Cancer IMRT Treatments

abstract: We propose a fast beam orientation selection method, based on deep neural networks (DNN), capable of developing a plan comparable to those by the state-of-the-art column generation method. The novelty of Our model lies in its supervised learning structure, the DNN architecture, and ability to learn from anatomical features to predict dosimetrically suitable beam orientations without using the dosimetric information from the candidate beams, a time consuming and computationally expensive process. This may save hours of computation. A supervised DNN is trained to mimic the column generation algorithm, which iteratively chooses beam orientations by calculating beam fitness values based on the KKT optimality conditions. The dataset contains 70 prostate cancer patients. The DNN trained over 400 epochs, each with 2500 steps, using the Adam optimizer and a 6-fold cross-validation technique. The average and standard deviation of training, validation, and testing loss functions among the 6-folds were at most 1.44%. The differences in the dose coverage of PTV between plans generated by column generation and by DNN were 0.2%. The average dose differences received by organs at risk were between 1 and 6 percent: bladder had the smallest average difference, then rectum, left and right femoral heads. The dose received by body had an average difference of 0.1%. In the training phase of the proposed method, the model learns the suitable beam orientations based on the anatomical features of patients and omits time intensive calculations of dose influence matrices for all possible candidate beams. Solving the Fluence Map Optimization to get the final treatment plan requires calculating dose influence matrices only for the selected beams. The proposed DNN is a fast beam orientation selection method based that selects beam orientations in seconds and is therefore suitable for clinical routines.


title: Dynamics of cosmological models with nonlinear classical phantom scalar fields. II. Qualitative analysis and numerical modeling

abstract: A detailed qualitative analysis and numerical modeling of the evolution of cosmological models based on nonlinear classical and phantom scalar fields with self-action are performed. Complete phase portraits of the corresponding dynamical systems and their projections onto the Poincar\'e sphere are constructed. It is shown that the phase trajectories of the corresponding dynamical systems can, depending on the parameters of the model of the scalar field, split into bifurcation trajectories along 2, 4, or 6 different dynamical flows. In the phase space of such systems, regions can appear which are inaccessible for motion. Here phase trajectories of the phantom scalar field wind around one of the symmetric foci (centers) while the phase trajectories of the classical scalar field can have a limit cycle determined by the zero effective energy corresponding to a Euclidean Universe.


title: 3D BAT: A Semi-Automatic, Web-based 3D Annotation Toolbox for Full-Surround, Multi-Modal Data Streams

abstract: In this paper, we focus on obtaining 2D and 3D labels, as well as track IDs for objects on the road with the help of a novel 3D Bounding Box Annotation Toolbox (3D BAT). Our open source, web-based 3D BAT incorporates several smart features to improve usability and efficiency. For instance, this annotation toolbox supports semi-automatic labeling of tracks using interpolation, which is vital for downstream tasks like tracking, motion planning and motion prediction. Moreover, annotations for all camera images are automatically obtained by projecting annotations from 3D space into the image domain. In addition to the raw image and point cloud feeds, a Masterview consisting of the top view (bird's-eye-view), side view and front views is made available to observe objects of interest from different perspectives. Comparisons of our method with other publicly available annotation tools reveal that 3D annotations can be obtained faster and more efficiently by using our toolbox.


title: RRPN: Radar Region Proposal Network for Object Detection in Autonomous Vehicles

abstract: Region proposal algorithms play an important role in most state-of-the-art two-stage object detection networks by hypothesizing object locations in the image. Nonetheless, region proposal algorithms are known to be the bottleneck in most two-stage object detection networks, increasing the processing time for each image and resulting in slow networks not suitable for real-time applications such as autonomous driving vehicles. In this paper we introduce RRPN, a Radar-based real-time region proposal algorithm for object detection in autonomous driving vehicles. RRPN generates object proposals by mapping Radar detections to the image coordinate system and generating pre-defined anchor boxes for each mapped Radar detection point. These anchor boxes are then transformed and scaled based on the object's distance from the vehicle, to provide more accurate proposals for the detected objects. We evaluate our method on the newly released NuScenes dataset [1] using the Fast R-CNN object detection network [2]. Compared to the Selective Search object proposal algorithm [3], our model operates more than 100x faster while at the same time achieves higher detection precision and recall. Code has been made publicly available at https://github.com/mrnabati/RRPN .


title: Interpolation sets and nilsequences

abstract: To give positive answer to a question of Frantzikinakis, we study a class of subsets of $\mathbb{N}$, called interpolation sets, on which every bounded sequence can be extended to an almost periodic sequence on $\mathbb{N}$. Strzelecki has proved that lacunary sets are interpolation sets. We prove that sets that are denser than all lacunary sets cannot be interpolation sets. We also extend the notion of interpolation sets to nilsequences and show that the analogue to Frantzikinakis' question for arbitrary sequences is false.