title: Shielding Design for the ISODAR Neutrino Experiment

abstract: The IsoDAR sterile-neutrino search requires a very high intensity neutrino source. For IsoDAR, this high intensity is produced using the high neutron flux from a 60 MeV, 10 mA proton beam striking a beryllium target that floods a sleeve of highly-enriched Li-7. Through neutron capture the Li-7 is transmuted to Li-8, which beta-decays giving the desired high neutrino flux for very-short baseline neutrino experiments. The target can be placed very close to can existing large neutrino detector, which is typically located deep underground to reduce backgrounds. With such a setup, it is necessary to design a shielding enclosure for the target to prevent neutrons from causing unacceptable activation of the rock walls close to the target. Various materials have been studied including steel to thermalize the high energy neutrons and two new types of concrete developed by Jefferson Laboratory, one very light with shredded plastic aggregate, and the other one enriched with high quantities of boron. The shielding is asymmetrical, having a larger thickness towards the detector in order to suppress the neutron and gamma background in the neutrino detector. Simulation results for rock activation and for detector backgrounds are presented.


title: Molecular clouds in the Cosmic Snake normal star-forming galaxy 8 billion years ago

abstract: The cold molecular gas in contemporary galaxies is structured in discrete cloud complexes. These giant molecular clouds (GMCs), with $10^4$-$10^7$ solar masses and radii of 5-100 parsecs, are the seeds of star formation. Highlighting the molecular gas structure at such small scales in distant galaxies is observationally challenging. Only a handful of molecular clouds were reported in two extreme submillimetre galaxies at high redshift. Here we search for GMCs in a typical Milky Way progenitor at z = 1.036. Using the Atacama Large Millimeter/submillimeter Array (ALMA), we mapped the CO(4-3) emission of this gravitationally lensed galaxy at high resolution, reading down to 30 parsecs, which is comparable to the resolution of CO observations of nearby galaxies. We identify 17 molecular clouds, characterized by masses, surface densities and supersonic turbulence all of which are 10-100 times higher than present-day analogues. These properties question the universality of GMCs and suggest that GMCs inherit their properties from ambient interstellar medium. The measured cloud gas masses are similar to the masses of stellar clumps seen in the galaxy in comparable numbers. This corroborates the formation of molecular clouds by fragmentation of distant turbulent galactic gas disks, which then turn into stellar clumps ubiquitously observed in galaxies at cosmic noon.


title: A Survey of Rate-optimal Power Domain NOMA with Enabling Technologies of Future Wireless Networks

abstract: The ambitious high data-rate applications in the envisioned future B5G networks require new solutions, including the advent of more advanced architectures than the ones already used in 5G networks, and the coalition of different communications schemes and technologies to enable these applications requirements. Among the candidate schemes for future wireless networks are NOMA schemes that allow serving more than one user in the same resource block by multiplexing users in other domains than frequency or time. In this way, NOMA schemes tend to offer several advantages over OMA schemes such as improved user fairness and spectral efficiency, higher cell-edge throughput, massive connectivity support, and low transmission latency. With these merits, NOMA-enabled transmission schemes are being increasingly looked at as promising multiple access schemes for future wireless networks. When the power domain is used to multiplex the users, it is referred to as PD-NOMA. In this paper, we survey the integration of PD-NOMA with the enabling communications schemes and technologies that are expected to meet the various requirements of B5G networks. In particular, this paper surveys the different rate optimization scenarios studied in the literature when PD-NOMA is combined with one or more of the candidate schemes and technologies for B5G networks including MISO, MIMO, mMIMO, advanced antenna architectures, mmWave and THz, CoMP, cooperative communications, cognitive radio, VLC, UAV and others. The considered system models, the optimization methods utilized to maximize the achievable rates, and the main lessons learnt on the optimization and the performance of these NOMA-enabled schemes and technologies are discussed in detail along with the future research directions for these combined schemes. Moreover, the role of machine learning in optimizing these NOMA-enabled technologies is addressed.


title: Anomalous Hall effect in single-band chiral superconductors from impurity superlattices

abstract: Unlike anomalous quantum Hall insulators, clean single-band chiral superconductors do not exhibit intrinsic Hall effect at the one-loop approximation. Finite ac Hall conductance was found to emerge beyond one-loop, such as with vertex corrections associated with extrinsic random impurity scatterings. In this paper, we investigate the effect of impurities embedded in single-band chiral superconductors in a superlattice pattern, instead of in random distributions. The impurity-induced Bogoliubov quasiparticle bound states hybridize to form subgap bands, constituting an emergent low-energy effective theory whose Hall effect can be studied with ease. We demonstrate that the occurrence of the Hall effect depends on the superlattice geometry and on the parity of the chiral pairing. In particular, due to the mixed particle-hole character of the subgap states, the Hall conductance may arise at the one-loop level of the current-current correlator in our effective model. Our theory provides a new insight into the impurity-induced anomalous Hall effect in chiral superconductors.


title: On temperature discontinuity at an evaporating water interface

abstract: Evaporative mass flux is governed by interfacial state of liquid and vapor phases. For closely similar pressures and mass fluxes of liquid water into its own vapor, discontinuity between interfacial liquid and vapor temperatures in the range of 0.14-28 K is reported. This controversial discontinuity has resulted in an obstacle on understanding and theoretical modeling of evaporation. Here, through study of vapor transport by Boltzmann transport equation solved through Direct Simulation Monte Carlo Method, we demonstrated that the measured discontinuities were strongly affected by boundary condition on the vapor side of the interface and do not reflect the interfacial state. The temperature discontinuity across the evaporating interface is < 0.1 K for all these studies. To accurately capture the interfacial state, the vapor heat flux should be suppressed.


title: What is the amplitude of the Gravitational Waves background expected in the Starobinsky model ?

abstract: The inflationary model proposed by Starobinski in 1979 predicts an amplitude of the spectrum of primordial gravitational waves, parametrized by the tensor to scalar ratio, of $r=0.0037$ in case of a scalar spectral index of $n_S=0.965$. This amplitude is currently used as a target value in the design of future CMB experiments with the ultimate goal of measuring it at more than five standard deviations. Here we evaluate how stable are the predictions of the Starobinski model on $r$ considering the experimental uncertainties on $n_S$ and the assumption of $\Lambda$CDM. We also consider inflationary models where the $R^2$ term in Starobinsky action is generalized to a $R^{2p}$ term with index $p$ close to unity. We found that current data place a lower limit of $r>0.0013$ at $95 \%$ C.L. for the classic Starobinski model, and predict also a running of the scalar index different from zero at more than three standard deviation in the range $dn/dlnk=-0.0006_{-0.0001}^{+0.0002}$. A level of gravitational waves of $r\sim0.001$ is therefore possible in the Starobinski scenario and it will not be clearly detectable by future CMB missions as LiteBIRD and CMB-S4. When assuming a more general $R^{2p}$ inflation we found no expected lower limit on $r$, and a running consistent with zero. We found that current data are able to place a tight constraints on the index of $R^{2p}$ models at $95\%$ C.L. i.e. $p= 0.99^{+0.02}_{-0.03}$.


title: Calculating the five-loop QED contribution to the electron anomalous magnetic moment: Graphs without lepton loops

abstract: This paper describes a computation of a part of the QED contribution to the electron anomalous magnetic moment that was performed by the author with the help of a supercomputer. The computed part includes all 5-loop QED Feynman graphs without lepton loops. The calculation has led to the result $A_1^{(10)}[\text{no lepton loops}]=6.793(90)$ that is slightly different than the value $7.668(159)$ presented by T. Aoyama, T. Kinoshita, and M. Nio in 2018. The discrepancy is about $4.8\sigma$. The computation gives the first independent check for that value. A shift in the fine-structure constant prediction is revealed in the paper. The developed calculation method is based on (a) a subtraction procedure for removing all ultraviolet and infrared divergences in Feynman parametric space before integration; (b) a nonadaptive Monte Carlo integration that uses the probability density functions that are constructed for each Feynman graph individually using its combinatorial structure. The method is described briefly in the paper (with the corresponding references to the previous papers). The values for the contributions of nine gauge-invariant classes splitting the whole set are presented in the paper. Moreover, the whole set of all 5-loop graphs without lepton loops is split into 807 subsets for comparison (in the future) of the calculated values with the values obtained by another methods. These detailed results are presented in the supplemental materials. Also, the supplemental materials contain the contribution values for each of 3213 individual Feynman graphs. An "oscillating" nature of these values is discussed. Technical details of the realization are described.


title: Validating the methodology for constraining the linear growth rate from clustering anisotropies

abstract: Redshift-space clustering distortions provide one of the most powerful probes to test the gravity theory on the largest cosmological scales. We perform a systematic validation study of the state-of-the-art statistical methods currently used to constrain the linear growth rate from redshift-space distortions in the galaxy two-point correlation function. The numerical pipelines are tested on mock halo catalogues extracted from large N-body simulations of the standard cosmological framework. We consider both the monopole and quadrupole multipole moments of the redshift-space two-point correlation function, as well as the radial and transverse clustering wedges, in the comoving scale range $10<r[$\Mpch$]<55$. Moreover, we investigate the impact of redshift measurement errors on the growth rate and linear bias measurements due to the assumptions in the redshift-space distortion model. Considering both the dispersion model and two widely-used models based on perturbation theory, we find that the linear growth rate is underestimated by about $5-10\%$ at $z<1$, while limiting the analysis at larger scales, $r>30$ \Mpch, the discrepancy is reduced below $5\%$. At higher redshifts, we find instead an overall good agreement between measurements and model predictions. Though this accuracy is good enough for clustering analyses in current redshift surveys, the models have to be further improved not to introduce significant systematics in RSD constraints from next generation galaxy surveys. The effect of redshift errors is degenerate with the one of small-scale random motions, and can be marginalised over in the statistical analysis, not introducing any statistically significant bias in the linear growth constraints, especially at $z\geq1$.


title: Verifying Reachability Properties in Markov Chains via Incremental Induction

abstract: There is a scalability gap between probabilistic and non-probabilistic verification. Probabilistic model checking tools are based either on explicit engines or on (Multi-Terminal) Binary Decision Diagrams. These structures are complemented in areas of non-probabilistic verification by more scalable techniques, such as IC3. We present a symbolic probabilistic model checking algorithm based on IC3-like incremental construction of inductive clauses to partition the state space, interleaved with incremental construction of a system of linear inequalities. This paper compares our implementation to standard quantitative verification alternatives: our experiments show that our algorithm is a step to more scalable symbolic verification of rare events in finite-state Markov chains.


title: Neural Population Coding for Effective Temporal Classification

abstract: Neural encoding plays an important role in faithfully describing the temporally rich patterns, whose instances include human speech and environmental sounds. For tasks that involve classifying such spatio-temporal patterns with the Spiking Neural Networks (SNNs), how these patterns are encoded directly influence the difficulty of the task. In this paper, we compare several existing temporal and population coding schemes and evaluate them on both speech (TIDIGITS) and sound (RWCP) datasets. We show that, with population neural codings, the encoded patterns are linearly separable using the Support Vector Machine (SVM). We note that the population neural codings effectively project the temporal information onto the spatial domain, thus improving linear separability in the spatial dimension, achieving an accuracy of 95\% and 100\% for TIDIGITS and RWCP datasets classified using the SVM, respectively. This observation suggests that an effective neural coding scheme greatly simplifies the classification problem such that a simple linear classifier would suffice. The above datasets are then classified using the Tempotron, an SNN-based classifier. SNN classification results agree with the SVM findings that population neural codings help to improve classification accuracy. Hence, other than the learning algorithm, effective neural encoding is just as important as an SNN designed to recognize spatio-temporal patterns. It is an often neglected but powerful abstraction that deserves further study.


title: Q-factor and bandwidth of periodic antenna arrays over ground plane

abstract: In this paper, the Q-factor expression for periodic arrays over a ground plane is determined in terms of the electric current density within the array's unit cell. The expression accounts for the exact shape of the array element. The Q-factor formula includes integration only over a volume of an element in a unit cell, and can thus be efficiently implemented numerically. The examples show good agreement between the proposed Q-factor, the full-wave-calculated tuned fractional bandwidth, and the input-impedance-based formula by Yaghjian and Best (2005) for the array of tilted dipoles and the loops array.


title: Asymptotic Analysis of a Coupled System of Nonlocal Equations with Oscillatory Coefficients

abstract: In this paper we study the asymptotic behavior of solutions to systems of strongly coupled integral equations with oscillatory coefficients. The system of equations is motivated by a peridynamic model of the deformation of heterogeneous media that additionally accounts for short-range forces. We consider the vanishing nonlocality limit on the same length scale as the heterogeneity and show that the system's effective behavior is characterized by a coupled system of local equations that are elliptic in the sense of Legendre-Hadamard. This effective system is characterized by a fourth-order tensor that shares properties with Cauchy elasticity tensors that appear in the classical equilibrium equations for linearized elasticity.


title: Strategic Formation and Reliability of Supply Chain Networks

abstract: Supply chains are the backbone of the global economy. Disruptions to them can be costly. Centrally managed supply chains invest in ensuring their resilience. Decentralized supply chains, however, must rely upon the self-interest of their individual components to maintain the resilience of the entire chain. We examine the incentives that independent self-interested agents have in forming a resilient supply chain network in the face of production disruptions and competition. In our model, competing suppliers are subject to yield uncertainty (they deliver less than ordered) and congestion (lead time uncertainty or, "soft" supply caps). Competing retailers must decide which suppliers to link to based on both price and reliability. In the presence of yield uncertainty only, the resulting supply chain networks are sparse. Retailers concentrate their links on a single supplier, counter to the idea that they should mitigate yield uncertainty by diversifying their supply base. This happens because retailers benefit from supply variance. It suggests that competition will amplify output uncertainty. When congestion is included as well, the resulting networks are denser and resemble the bipartite expander graphs that have been proposed in the supply chain literature, thereby, providing the first example of endogenous formation of resilient supply chain networks, without resilience being explicitly encoded in payoffs. Finally, we show that a supplier's investments in improved yield can make it worse off. This happens because high production output saturates the market, which, in turn lowers prices and profits for participants.

categories: cs.GT cs.SY econ.TH eess.SY math.OC q-fin.TR


title: Rotational Uniqueness Conditions Under Oblique Factor Correlation Metric

abstract: In an addendum to his seminal 1969 article J\"{o}reskog stated two sets of conditions for rotational identification of the oblique factor solution under utilization of fixed zero elements in the factor loadings matrix. These condition sets, formulated under factor correlation and factor covariance metrics, respectively, were claimed to be equivalent and to lead to global rotational uniqueness of the factor solution. It is shown here that the conditions for the oblique factor correlation structure need to be amended for global rotational uniqueness, and hence, that the condition sets are not equivalent in terms of unicity of the solution.


title: Introducing strong correlation effects into graphene by gadolinium intercalation

abstract: Exotic ordered ground states driven by electronic correlations are expected to be induced in monolayer graphene when doped to the Van Hove singularity. Such doping levels are reached by intercalating Gd in graphene on SiC(0001), resulting in a strong homogeneity and stability. The electronic spectrum now exhibits severe renormalizations. Flat bands develop which is driven by electronic correlations according to our theoretical studies. Due to strong electron-phonon coupling in this regime, polaron replica bands develop. Thus, interesting ordered ground states should be made accessible.


title: Interpretable Principal Components Analysis for Multilevel Multivariate Functional Data, with Application to EEG Experiments

abstract: Many studies collect functional data from multiple subjects that have both multilevel and multivariate structures. An example of such data comes from popular neuroscience experiments where participants' brain activity is recorded using modalities such as EEG and summarized as power within multiple time-varying frequency bands within multiple electrodes, or brain regions. Summarizing the joint variation across multiple frequency bands for both whole-brain variability between subjects, as well as location-variation within subjects, can help to explain neural reactions to stimuli. This article introduces a novel approach to conducting interpretable principal components analysis on multilevel multivariate functional data that decomposes total variation into subject-level and replicate-within-subject-level (i.e. electrode-level) variation, and provides interpretable components that can be both sparse among variates (e.g. frequency bands) and have localized support over time within each frequency band. The sparsity and localization of components is achieved by solving an innovative rank-one based convex optimization problem with block Frobenius and matrix $L_1$-norm based penalties. The method is used to analyze data from a study to better understand reactions to emotional information in individuals with histories of trauma and the symptom of dissociation, revealing new neurophysiological insights into how subject- and electrode-level brain activity are associated with these phenomena.


title: 2 mm GISMO Observations of the Galactic Center. I. Dust Emission

abstract: The Central Molecular Zone (CMZ), covering the inner ~1$^\circ$ of the Galactic plane has been mapped at 2 mm using the GISMO bolometric camera on the 30 m IRAM telescope. The $21''$ resolution maps show abundant emission from cold molecular clouds, from star forming regions, and from one of the Galactic center nonthermal filaments. In this work we use the Herschel Hi-GAL data to model the dust emission across the Galactic center. We find that a single-temperature fit can describe the 160 -- 500 $\mu$m emission for most lines of sight, if the long-wavelength dust emissivity scales as $\lambda^{-\beta}$ with $\beta \approx 2.25$. This dust model is extrapolated to predict the 2 mm dust emission. Subtraction of the model from the GISMO data provides a clearer look at the 2 mm emission of star-forming regions and the brightest nonthermal filament.


title: 2 mm GISMO Observations of the Galactic Center. II. A Nonthermal Filament in the Radio Arc and Compact Sources

abstract: We have used the Goddard IRAM 2-Millimeter Observer (GISMO) with the 30 m IRAM telescope to carry out a 2 mm survey of the Galaxy's central molecular zone (CMZ). These observations detect thermal emission from cold ISM dust, thermal free-free emission from ionized gas, and nonthermal synchrotron emission from relatively flat-spectrum sources. Archival data sets spanning $3.6 \mu$m to 90 cm are used to distinguish different emission mechanisms. After the thermal emission of dust is modeled and subtracted, the remaining 2 mm emission is dominated by free-free emission, with the exception of the brightest nonthermal filament (NTF) that runs though the middle of the bundle of filaments known as the Radio Arc. This is the shortest wavelength at which any NTF has been detected. The GISMO observations clearly trace this NTF over a length of ~0.2$^\circ$, with a mean 2 mm spectral index which is steeper than at longer wavelengths. The 2 mm to 6 cm (or 20 cm) spectral index steepens from $\alpha \approx -0.2$ to $-0.7$ as a function distance from the Sickle H II region, suggesting that this region is directly related to the NTF. A number of unresolved (at $21''$) 2 mm sources are found nearby. One appears to be thermal dust emission from a molecular cloud that is associated with an enigmatic radio point source whose connection to the Radio Arc is still debated. The morphology and colors at shorter IR wavelengths indicate other 2 mm unresolved sources are likely to be compact H II regions.


title: Machine Learning Potential Energy Surfaces

abstract: Machine Learning techniques can be used to represent high-dimensional potential energy surfaces for reactive chemical systems. Two such methods are based on a reproducing kernel Hilbert space representation or on deep neural networks. They can achieve a sub-1 kcal/mol accuracy with respect to reference data and can be used in studies of chemical dynamics. Their construction and a few typical examples are briefly summarized in the present contribution.


title: Cardiac MRI Image Segmentation for Left Ventricle and Right Ventricle using Deep Learning

abstract: The goal of this project is to use magnetic resonance imaging (MRI) data to provide an end-to-end analytics pipeline for left and right ventricle (LV and RV) segmentation. Another aim of the project is to find a model that would be generalizable across medical imaging datasets. We utilized a variety of models, datasets, and tests to determine which one is well suited to this purpose. Specifically, we implemented three models (2-D U-Net, 3-D U-Net, and DenseNet), and evaluated them on four datasets (Automated Cardiac Diagnosis Challenge, MICCAI 2009 LV, Sunnybrook Cardiac Data, MICCAI 2012 RV). While maintaining a consistent preprocessing strategy, we tested the performance of each model when trained on data from the same dataset as the test data, and when trained on data from a different dataset than the test dataset. Data augmentation was also used to increase the adaptability of the models. The results were compared to determine performance and generalizability.


title: Heterogeneity-Aware Asynchronous Decentralized Training

abstract: Distributed deep learning training usually adopts All-Reduce as the synchronization mechanism for data parallel algorithms due to its high performance in homogeneous environment. However, its performance is bounded by the slowest worker among all workers, and is significantly slower in heterogeneous situations. AD-PSGD, a newly proposed synchronization method which provides numerically fast convergence and heterogeneity tolerance, suffers from deadlock issues and high synchronization overhead. Is it possible to get the best of both worlds - designing a distributed training method that has both high performance as All-Reduce in homogeneous environment and good heterogeneity tolerance as AD-PSGD? In this paper, we propose Ripples, a high-performance heterogeneity-aware asynchronous decentralized training approach. We achieve the above goal with intensive synchronization optimization, emphasizing the interplay between algorithm and system implementation. To reduce synchronization cost, we propose a novel communication primitive Partial All-Reduce that allows a large group of workers to synchronize quickly. To reduce synchronization conflict, we propose static group scheduling in homogeneous environment and simple techniques (Group Buffer and Group Division) to avoid conflicts with slightly reduced randomness. Our experiments show that in homogeneous environment, Ripples is 1.1 times faster than the state-of-the-art implementation of All-Reduce, 5.1 times faster than Parameter Server and 4.3 times faster than AD-PSGD. In a heterogeneous setting, Ripples shows 2 times speedup over All-Reduce, and still obtains 3 times speedup over the Parameter Server baseline.


title: Auto-tuning of double dot devices in situ with machine learning

abstract: The current practice of manually tuning quantum dots (QDs) for qubit operation is a relatively time-consuming procedure that is inherently impractical for scaling up and applications. In this work, we report on the {\it in situ} implementation of a recently proposed autotuning protocol that combines machine learning (ML) with an optimization routine to navigate the parameter space. In particular, we show that a ML algorithm trained using exclusively simulated data to quantitatively classify the state of a double-QD device can be used to replace human heuristics in the tuning of gate voltages in real devices. We demonstrate active feedback of a functional double-dot device operated at millikelvin temperatures and discuss success rates as a function of the initial conditions and the device performance. Modifications to the training network, fitness function, and optimizer are discussed as a path toward further improvement in the success rate when starting both near and far detuned from the target double-dot range.


title: SU(3) Topology of Magnon-Phonon Hybridization in 2D Antiferromagnets

abstract: Magnon-phonon hybrid excitations are studied theoretically in a two-dimensional antiferromagnet with an easy axis normal to the plane. We show that two magnon bands and one phonon band are intertwined by the magnetoelastic coupling through a nontrivial SU(3) topology, which can be intuitively perceived by identifying a skyrmion structure in the momentum space. We develop a continuum theory as the long-wavelength approximation to the tight-binding model, showing our results are insensitive to lattice details and generally applicable to two-dimensional antiferromagnets. The theoretical results can be probed by measuring the thermal Hall conductance as a function of the temperature and the magnetic field. We envision that the magnetoelastic coupling in antiferromagnets can be a promising venue in search of various topological excitations, which cannot be found in magnetic or elastic models alone.


title: CP-violating Higgs-gauge boson couplings in $H\nu \bar{\nu}$ production at three energy stages of CLIC

abstract: A phenomenological study of CP-violating dimension-six operators via the $e^+e^-\to\nu \bar{\nu} H$ process is performed in a model-independent Standard Model effective field theory framework at all energy stages of CLIC using the updated baseline integrated luminosities. All signal and relevant background events are generated in MadGraph and passed through PYTHIA for parton showering and hadronization at parton level. Detector effects are considered via tuned CLIC detector cards in Delphes. Since we reconstruct the Higgs boson from a pair of b-jets, limits on CP-violating dimension-six couplings are obtained at three $b$-tagging working points: tight, medium and loose defined in the CLIC Delphes card for all three energy stages of CLIC. Our best 95 \% C.L. limits at the loose working point (90 \% b-tagging efficiency) on $\tilde c_{HW}$ and $\tilde c_{HB}$ are $[-7.0\times10^{-3};7.0\times10^{-3}]$ and $[-3.0\times10^{-2};3.0\times10^{-2}]$, respectively at the 3 TeV energy stage of CLIC with an integrated luminosity of 5.0 ab$^{-1}$. Considering a 0.3 \% systematic uncertainty from possible experimental sources worsens the limits on these couplings by a factor of two.


title: K\"{a}hler manifolds with orthogonal coordinates

abstract: If one could assume that local coordinates in a Riemannian manifold were orthogonal, then local expressions for differential operators, and curvature computations, would be simplified. It is always possible on 2-manifolds, using geometric normal coordinates or isothermal coordinates. In 1984, Dennis DeTurck and Dean Yang constructed smooth orthogonal coordinates on any Riemannian 3-manifold. In fact, they showed that, at any point in a 3-manifold, and for any orthonormal frame at that point, there is a set of local orthogonal coordinates so that the partial derivatives at that point are that frame. Recently, Paul Gauduchon and Andrei Moroianu showed, by contrast, that there are no orthogonal coordinates on $\mathbb{CP}^{n}$ or $\mathbb{HP}^{n}$. Their proof strongly uses the simplicity of the curvature tensor for these spaces. The main theorem of the present article is to show that the only 4 real-dimensional K\"{a}hler manifolds which admit real orthogonal coordinates are, up to a cover, a Riemannian product of 2 Riemann surfaces.


title: Optimizing Through Learned Errors for Accurate Sports Field Registration

abstract: We propose an optimization-based framework to register sports field templates onto broadcast videos. For accurate registration we go beyond the prevalent feed-forward paradigm. Instead, we propose to train a deep network that regresses the registration error, and then register images by finding the registration parameters that minimize the regressed error. We demonstrate the effectiveness of our method by applying it to real-world sports broadcast videos, outperforming the state of the art. We further apply our method on a synthetic toy example and demonstrate that our method brings significant gains even when the problem is simplified and unlimited training data is available.


title: Robust statistical modeling of monthly rainfall: The minimum density power divergence approach

abstract: Statistical modeling of monthly, seasonal, or annual rainfall data is an important research area in meteorology. These models play a crucial role in rainfed agriculture, where a proper assessment of the future availability of rainwater is necessary. The rainfall amount during a rainy month or a whole rainy season} can take any positive value and some simple (one or two-parameter) probability models supported over the positive real line that are generally used for rainfall modeling are exponential, gamma, Weibull, lognormal, Pearson Type-V/VI, log-logistic, etc., where the unknown model parameters are routinely estimated using the maximum likelihood estimator (MLE). However, the presence of outliers or extreme observations is a common issue in rainfall data and the MLEs being highly sensitive to them often leads to spurious inference. Here, we discuss a robust parameter estimation approach based on the minimum density power divergence estimator (MDPDE). We fit the above four parametric models to the detrended areally-weighted monthly rainfall data from the 36 meteorological subdivisions of India for the years 1951-2014 and compare the fits based on MLE and the proposed optimum MDPDE; the superior performance of MDPDE is showcased for several cases. For all month-subdivision combinations, we discuss the best-fit models and median rainfall amounts.


title: Size-selected polyynes synthesized by submerged arc discharge in water

abstract: Polyynes are linear sp-carbon chains of finite length consisting in a sequence of alternated single and triple bonds and displaying appealing optical and electronic properties. A simple, low cost and scalable production technique for polyynes is the submerged arc discharge (SAD) in liquid, which so far, has been mainly exploited in organic solvents. In this work, we investigated in detail SAD in water as a cheap and non-toxic solvent for the production of polyynes. The role of process parameters such as current (10-25 A) and voltage (20-25 V) in the production yield have been investigated, as well as polyynes stability. Polyynes terminated by hydrogen (CnH2: n=6-16) were identified by High-Performance Liquid Chromatography (HPLC) coupled with UV-Visible absorption spectroscopy and with the support of density functional theory (DFT) calculations. Size-selected polyynes separated by HPLC were analyzed by surface enhanced Raman spectroscopy (SERS). The formation process was monitored by in situ SERS using an immersed fiber-optic Raman probe and employing Ag nanoparticles directly produced in the solution by SAD.


title: Non-degenerate parametric amplifiers based on dispersion engineered Josephson junction arrays

abstract: Determining the state of a qubit on a timescale much shorter than its relaxation time is an essential requirement for quantum information processing. With the aid of a new type of non-degenerate parametric amplifier, we demonstrate the continuous detection of quantum jumps of a transmon qubit with 90% fidelity in state discrimination. Entirely fabricated with standard two-step optical lithography techniques, this type of parametric amplifier consists of a dispersion engineered Josephson junction (JJ) array. By using long arrays, containing $10^3$ JJs, we can obtain amplification at multiple eigenmodes with frequencies below $10~\mathrm{GHz}$, which is the typical range for qubit readout. Moreover, by introducing a moderate flux tunability of each mode, employing superconducting quantum interference device (SQUID) junctions, a single amplifier device could potentially cover the entire frequency band between 1 and $10~\mathrm{GHz}$.


title: Masking Salient Object Detection, a Mask Region-based Convolutional Neural Network Analysis for Segmentation of Salient Objects

abstract: In this paper, we propose a broad comparison between Fully Convolutional Networks (FCNs) and Mask Region-based Convolutional Neural Networks (Mask-RCNNs) applied in the Salient Object Detection (SOD) context. Studies in the SOD literature usually explore architectures based in FCNs to detect salient regions and objects in visual scenes. However, besides the promising results achieved, FCNs showed issues in some challenging scenarios. Fairly recently studies in the SOD literature proposed the use of a Mask-RCNN approach to overcome such issues. However, there is no extensive comparison between the two networks in the SOD literature endorsing the effectiveness of Mask-RCNNs over FCN when segmenting salient objects. Aiming to effectively show the superiority of Mask-RCNNs over FCNs in the SOD context, we compare two variations of Mask-RCNNs with two variations of FCNs in eight datasets widely used in the literature and in four metrics. Our findings show that in this context Mask-RCNNs achieved an improvement on the F-measure up to 47% over FCNs.


title: EHT constraint on the ultralight scalar hair of the M87 supermassive black hole

abstract: Hypothetical ultralight bosonic fields will spontaneously form macroscopic bosonic halos around Kerr black holes, via superradiance, transferring part of the mass and angular momentum of the black hole into the halo. Such process, however, is only efficient if resonant: when the Compton wavelength of the field approximately matches the gravitational scale of the black hole. For a complex-valued field, the process can form a stationary, bosonic field-black hole equilibrium state - a black hole with synchronised hair. For sufficiently massive black holes, such as the one at the centre of the M87 supergiant elliptic galaxy, the hairy black hole can be robust against its own superradiant instabilities, within a Hubble time. Studying the shadows of such scalar hairy black holes, we constrain the amount of hair which is compatible with the Event Horizon Telescope (EHT) observations of the M87 supermassive black hole, assuming the hair is a condensate of ultralight scalar particles of mass $\mu\sim 10^{-20}$ eV, as to be dynamically viable. We show the EHT observations set a weak constraint, in the sense that typical hairy black holes that could develop their hair dynamically, are compatible with the observations, when taking into account the EHT error bars and the black hole mass/distance uncertainty.


title: Surface States and Arcless Angles in Twisted Weyl Semimetals

abstract: Fermi arc states are features of Weyl semimetal (WSM) surfaces which are robust due to the topological character of the bulk band structure. We demonstrate that Fermi arcs may undergo profound restructurings when surfaces of different systems with a well-defined twist angle are tunnel-coupled. The twisted WSM interface supports a moir\'e pattern which may be approximated as a periodic system with large real-space unit cell. States bound to the interface emerge, with interesting consequences for the magneto-oscillations expected when a magnetic field is applied perpendicular to the system surfaces. As the twist angle passes through special "arcless angles', for which open Fermi arc states are absent at the interface, Fermi loops of states confined to the interface may break off, without connecting to bulk states of the WSM. We argue that such states have interesting resonance signatures in the optical conductivity of the system in a magnetic field perpendicular to the interface.


title: Revealing the Importance of Semantic Retrieval for Machine Reading at Scale

abstract: Machine Reading at Scale (MRS) is a challenging task in which a system is given an input query and is asked to produce a precise output by "reading" information from a large knowledge base. The task has gained popularity with its natural combination of information retrieval (IR) and machine comprehension (MC). Advancements in representation learning have led to separated progress in both IR and MC; however, very few studies have examined the relationship and combined design of retrieval and comprehension at different levels of granularity, for development of MRS systems. In this work, we give general guidelines on system design for MRS by proposing a simple yet effective pipeline system with special consideration on hierarchical semantic retrieval at both paragraph and sentence level, and their potential effects on the downstream task. The system is evaluated on both fact verification and open-domain multihop QA, achieving state-of-the-art results on the leaderboard test sets of both FEVER and HOTPOTQA. To further demonstrate the importance of semantic retrieval, we present ablation and analysis studies to quantify the contribution of neural retrieval modules at both paragraph-level and sentence-level, and illustrate that intermediate semantic retrieval modules are vital for not only effectively filtering upstream information and thus saving downstream computation, but also for shaping upstream data distribution and providing better data for downstream modeling. Code/data made publicly available at: https://github.com/easonnie/semanticRetrievalMRS


title: Notes on the Squashed Sphere Lowest Landau Level

abstract: In a recent article, we were motivated by the question of whether any of the remarkable condensed matter phenomena, such as the quantum Hall effect (QHE), the Integer quantum Hall effect (IQHE) etc., could potentially be observed in the extreme astrophysical environments of neutron stars. As a prequel to that work, and with the aim of understanding better the role of the geometry of the conducting surface on the structure of Landau levels, in this article we study the quantum dynamics of a quantum particle on a squashed sphere. More specifically, we study the dynamics of a single particle on an oblate squashed Haldane sphere i.e. a 2-sphere enclosing a single magnetic monopole at its center. While several features of the conventional Haldane sphere persist, by numerically solving the Schrodinger equation in this background, we find that the particle becomes increasingly localised in a band between the equator and the poles, with a corresponding increase of the eccentricity of the spheroid.


title: Noncommutative rational functions invariant under the action of a finite solvable group

abstract: This paper describes the structure of invariant skew fields for linear actions of finite solvable groups on free skew fields in $d$ generators. These invariant skew fields are always finitely generated, which contrasts with the free algebra case. For abelian groups or solvable groups $G$ with a well-behaved representation theory it is shown that the invariant skew fields are free on $|G|(d-1)+1$ generators. Finally, positivity certificates for invariant rational functions in terms of sums of squares of invariants are presented.


title: Influence of toroidal flow on stationary density of collisionless plasmas

abstract: Starting from the given passive particle equilibrium particle cylindrical profiles, we built self-consistent stationary conditions of the Maxwell-Vlasov equation at thermodynamic equilibrium with non-flat density profiles. The solutions to the obtained equations are then discussed. It appears that the presence of an azimuthal (poloidal) flow in the plasma can insure radial confinement, while the presence of a longitudinal (toroidal) flow can enhance greatly the confinement. Moreover in the global physically reasonable situation, we find that no unstable point can emerge in the effective integrable Hamiltonian of the individual particles, hinting at some stability of the confinement when considering a toroidal geometry in the large aspect ratio limit.


title: Local Trajectory Stabilization for Dexterous Manipulation via Piecewise Affine Approximations

abstract: We propose a model-based approach to design feedback policies for dexterous robotic manipulation. The manipulation problem is formulated as reaching the target region from an initial state for some non-smooth nonlinear system. First, we use trajectory optimization to find a feasible trajectory. Next, we characterize the local multi-contact dynamics around the trajectory as a piecewise affine system, and build a funnel around the linearization of the nominal trajectory using polytopes. We prove that the feedback controller at the vicinity of the linearization is guaranteed to drive the nonlinear system to the target region. During online execution, we solve linear programs to track the system trajectory. We validate the algorithm on hardware, showing that even under large external disturbances, the controller is able to accomplish the task.


title: Parametric M\"{o}ssbauer radiation source

abstract: Numerous applications of M\"{o}ssbauer spectroscopy are related to a unique resolution of absorption spectra of resonant radiation in crystals, when the nucleus absorbs a photon without a recoil. However, the narrow nuclear linewidth renders efficient driving of the nuclei challenging, restricting precision spectroscopy, nuclear inelastic scattering and nuclear quantum optics. Moreover, the need for dedicated X-ray optics restricts access to only few isotopes, impeding precision spectroscopy of a wider class of systems. Here, we put forward a novel M\"{o}ssbauer source, which offers a high resonant photon flux for a large variety of M\"ossbauer isotopes, based on relativistic electrons moving through a crystal and emitting parametric M\"ossbauer radiation essentially unattenuated by electronic absorption. As a result, a collimated beam of resonant photons is formed, without the need for additional monochromatization. We envision the extension of high-precision M\"{o}ssbauer spectroscopy to a wide range of isotopes at accelerator facilities using dumped electron beams.


title: Option pricing under normal dynamics with stochastic volatility

abstract: In this paper, we derive the price of a European call option of an asset following a normal process assuming stochastic volatility. The volatility is assumed to follow the Cox Ingersoll Ross (CIR) process. We then use the fast Fourier transform (FFT) to evaluate the option price given we know the characteristic function of the return analytically. We compare the results of fast Fourier transform with the Monte Carlo simulation results of our process. Further, we present a numerical example to understand the normal implied volatility of the model.


title: Enterprise API Security and GDPR Compliance: Design and Implementation Perspective

abstract: With the advancements in the enterprise-level business development, the demand for new applications and services is overwhelming. For the development and delivery of such applications and services, enterprise businesses rely on Application Programming Interfaces (APIs). In essence, API is a double-edged sword. On one hand, API provides ease of expanding the business through sharing value and utility, but on another hand it raises security and privacy issues. Since the applications usually use APIs to retrieve important data, therefore it is extremely important to make sure that an effective access control and security mechanism are in place , and the data does not fall into wrong hands. In this article, we discuss the current state of the enterprise API security and the role of Machine Learning (ML) in API security. We also discuss the General Data Protection Regulation (GDPR) compliance and its effect on the API security.


title: Masked-RPCA: Sparse and Low-rank Decomposition Under Overlaying Model and Application to Moving Object Detection

abstract: Foreground detection in a given video sequence is a pivotal step in many computer vision applications such as video surveillance system. Robust Principal Component Analysis (RPCA) performs low-rank and sparse decomposition and accomplishes such a task when the background is stationary and the foreground is dynamic and relatively small. A fundamental issue with RPCA is the assumption that the low-rank and sparse components are added at each element, whereas in reality, the moving foreground is overlaid on the background. We propose the representation via masked decomposition (i.e. an overlaying model) where each element either belongs to the low-rank or the sparse component, decided by a mask. We propose the Masked-RPCA algorithm to recover the mask and the low-rank components simultaneously, utilizing linearizing and alternating direction techniques. We further extend our formulation to be robust to dynamic changes in the background and enforce spatial connectivity in the foreground component. Our study shows significant improvement of the detected mask compared to post-processing on the sparse component obtained by other frameworks.


title: A scalable noisy speech dataset and online subjective test framework

abstract: Background noise is a major source of quality impairments in Voice over Internet Protocol (VoIP) and Public Switched Telephone Network (PSTN) calls. Recent work shows the efficacy of deep learning for noise suppression, but the datasets have been relatively small compared to those used in other domains (e.g., ImageNet) and the associated evaluations have been more focused. In order to better facilitate deep learning research in Speech Enhancement, we present a noisy speech dataset (MS-SNSD) that can scale to arbitrary sizes depending on the number of speakers, noise types, and Speech to Noise Ratio (SNR) levels desired. We show that increasing dataset sizes increases noise suppression performance as expected. In addition, we provide an open-source evaluation methodology to evaluate the results subjectively at scale using crowdsourcing, with a reference algorithm to normalize the results. To demonstrate the dataset and evaluation framework we apply it to several noise suppressors and compare the subjective Mean Opinion Score (MOS) with objective quality measures such as SNR, PESQ, POLQA, and VISQOL and show why MOS is still required. Our subjective MOS evaluation is the first large scale evaluation of Speech Enhancement algorithms that we are aware of.


title: Uncertainties of calculated coincidence-summing correction factors in gamma-ray spectrometry

abstract: Uncertainty propagation to the $\gamma$-$\gamma$ coincidence-summing correction factor from the covariances of the nuclear data and detection efficiencies have been formulated. The method was applied in the uncertainty analysis of the coincidence-summing correction factors in the $\gamma$-ray spectrometry of the $^{134}$Cs point source using a p-type coaxial HPGe detector.


title: Towards an Adaptive Robot for Sports and Rehabilitation Coaching

abstract: The work presented in this paper aims to explore how, and to what extent, an adaptive robotic coach has the potential to provide extra motivation to adhere to long-term rehabilitation and help fill the coaching gap which occurs during repetitive solo practice in high performance sport. Adapting the behavior of a social robot to a specific user, using reinforcement learning (RL), could be a way of increasing adherence to an exercise routine in both domains. The requirements gathering phase is underway and is presented in this paper along with the rationale of using RL in this context.


title: Megatron-LM: Training Multi-Billion Parameter Language Models Using Model Parallelism

abstract: Recent work in language modeling demonstrates that training large transformer models advances the state of the art in Natural Language Processing applications. However, very large models can be quite difficult to train due to memory constraints. In this work, we present our techniques for training very large transformer models and implement a simple, efficient intra-layer model parallel approach that enables training transformer models with billions of parameters. Our approach does not require a new compiler or library changes, is orthogonal and complimentary to pipeline model parallelism, and can be fully implemented with the insertion of a few communication operations in native PyTorch. We illustrate this approach by converging transformer based models up to 8.3 billion parameters using 512 GPUs. We sustain 15.1 PetaFLOPs across the entire application with 76% scaling efficiency when compared to a strong single GPU baseline that sustains 39 TeraFLOPs, which is 30% of peak FLOPs. To demonstrate that large language models can further advance the state of the art (SOTA), we train an 8.3 billion parameter transformer language model similar to GPT-2 and a 3.9 billion parameter model similar to BERT. We show that careful attention to the placement of layer normalization in BERT-like models is critical to achieving increased performance as the model size grows. Using the GPT-2 model we achieve SOTA results on the WikiText103 (10.8 compared to SOTA perplexity of 15.8) and LAMBADA (66.5% compared to SOTA accuracy of 63.2%) datasets. Our BERT model achieves SOTA results on the RACE dataset (90.9% compared to SOTA accuracy of 89.4%).


title: Understanding truncated non-commutative geometries through computer simulations

abstract: When aiming to apply mathematical results of non-commutative geometry to physical problems the question arises how they translate to a context in which only a part of the spectrum is known. In this article we aim to detect when a finite-dimensional triple is the truncation of the Dirac spectral triple of a spin manifold. To that end, we numerically investigate the restriction that the higher Heisenberg equation [A. H. Chamseddine, A. Connes, and V. Mukhanov, Journal of High Energy Physics, 98 (2014)] places on a truncated Dirac operator. We find a bounded perturbation of the Dirac operator on the Riemann sphere that induces the same Chern class.


title: First industrial-grade coherent fiber link for optical frequency standard dissemination

abstract: We report on a fully bi-directional 680~km fiber link connecting two cities for which the equipment, the set up and the characterization are managed for the first time by an industrial consortium. The link uses an active telecommunication fiber network with parallel data traffic and is equipped with three repeater laser stations and four remote double bi-directional Erbium-doped fiber amplifiers. We report a short term stability at 1~s integration time of $5.4\times 10^{-16}$ in 0.5~Hz bandwidth and a long term stability of $1.7\times10^{-20}$ at 65\,000 s of integration time. The accuracy of the frequency transfer is evaluated as $3\times 10^{-20}$. No shift is observed within the statistical uncertainty. We show a continuous operation over 5 days with an uptime of 99.93$\%$. This performance is comparable with the state of the art coherent links established between National Metrology Institutes in Europe. It is a first step in the construction of an optical fiber network for metrology in France, which will give access to an ultra-high performance frequency standard to a wide community of scientific users.


title: Equilibrium radiation in a plasma medium with spatial and frequency dispersion

abstract: Examination of equilibrium radiation in plasma media shows that the spectral energy distribution of such radiation is different from the Planck equilibrium radiation. Using the approach of quantum electrodynamics the general relation for the spectral energy density of equilibrium radiation in a system of charged particles is found. The obtained result takes into account the influence of plasma on equilibrium radiation through the explicit transverse dielectric permittivity which takes into account spatial and frequency dispersion, as well as the finite collisional damping. For the limiting case of an infinitesimal damping the result coincides with the known expression.


title: Higher-order interactions in complex networks of phase oscillators promote abrupt synchronization switching

abstract: Synchronization processes play critical roles in the functionality of a wide range of both natural and man-made systems. Recent work in physics and neuroscience highlights the importance of higher-order interactions between dynamical units, i.e., three- and four-way interactions in addition to pairwise interactions, and their role in shaping collective behavior. Here we show that higher-order interactions between coupled phase oscillators, encoded microscopically in a simplicial complex, give rise to added nonlinearity in the macroscopic system dynamics that induces abrupt synchronization transitions via hysteresis and bistability of synchronized and incoherent states. Moreover, these higher-order interactions can stabilize strongly synchronized states even when the pairwise coupling is repulsive. These findings reveal a self-organized phenomenon that may be responsible for the rapid switching to synchronization in many biological and other systems that exhibit synchronization without the need of particular correlation mechanisms between the oscillators and the topological structure.


title: Learn to Estimate Labels Uncertainty for Quality Assurance

abstract: Deep Learning sets the state-of-the-art in many challenging tasks showing outstanding performance in a broad range of applications. Despite its success, it still lacks robustness hindering its adoption in medical applications. Modeling uncertainty, through Bayesian Inference and Monte-Carlo dropout, has been successfully introduced for better understanding the underlying deep learning models. Yet, another important source of uncertainty, coming from the inter-observer variability, has not been thoroughly addressed in the literature. In this paper, we introduce labels uncertainty which better suits medical applications and show that modeling such uncertainty together with epistemic uncertainty is of high interest for quality control and referral systems.


title: Risk Assessment and Planning with Bidirectional Reachability for Autonomous Driving

abstract: Knowing and predicting dangerous factors within a scene are two key components during autonomous driving, especially in a crowded urban environment. To navigate safely in environments, risk assessment is needed to quantify and associate the risk of taking a certain action. Risk assessment and planning is usually done by first tracking and predicting trajectories of other agents, such as vehicles and pedestrians, and then choosing an action to avoid collision in the future. However, few existing risk assessment algorithms handle occlusion and other sensory limitations effectively. This paper explores the possibility of efficient risk assessment under occlusion via both forward and backward reachability. The proposed algorithm can not only identify where the risk-induced factors are, but also be used for motion planning by executing low-level commands, such as throttle. The proposed method is evaluated on various four-way highly occluded intersections with up to five other vehicles in the scene. Compared with other risk assessment algorithms, the proposed method shows better efficiency, meaning that the ego vehicle reaches the goal at a higher speed. In addition, it also lowers the median collision rate by 7.5x.


title: Identification of Light Sources using Machine Learning

abstract: The identification of light sources represents a task of utmost importance for the development of multiple photonic technologies. Over the last decades, the identification of light sources as diverse as sunlight, laser radiation and molecule fluorescence has relied on the collection of photon statistics or the implementation of quantum state tomography. In general, this task requires an extensive number of measurements to unveil the characteristic statistical fluctuations and correlation properties of light, particularly in the low-photon flux regime. In this article, we exploit the self-learning features of artificial neural networks and naive Bayes classifier to dramatically reduce the number of measurements required to discriminate thermal light from coherent light at the single-photon level. We demonstrate robust light identification with tens of measurements at mean photon numbers below one. Our work demonstrates an improvement in terms of the number of measurements of several orders of magnitude with respect to conventional schemes for characterization of light sources. Our work has important implications for multiple photonic technologies such as LIDAR and microscopy.


title: Construction of sequences with high nonlinear complexity from a generalization of the Hermitian function field

abstract: For $r \geq 1$ an odd integer, we provide a sequence from the function field $\mathcal{F}_{q, r}$ of the maximal curve over $\mathbb{F}_{q^{2r}}$ defined by the affine equation $y^q+y=x^{q^r + 1}$. This sequence has high nonlinear complexity, and this fact comes from the existence of a rational function on $\mathcal{F}_{q, r}$ with pole divisor of small degree, and support in certain $q$ rational places.


title: Simultaneous Identification and Control Using Active Signal Injection for Series Hybrid Electric Vehicles based on Dynamic Programming

abstract: Hybrid electric vehicles (HEVs) have an over-actuated system by including two power sources, a battery pack and an internal combustion engine. This feature of HEV is exploited in this paper to simultaneously achieve accurate identification of battery parameters/states. By actively injecting current signals, state of charge, state of health, and other battery parameters can be estimated in a specific sequence to improve the identification performance when compared to the case where all parameters and states are estimated concurrently using the baseline current signals. A dynamic programming strategy is developed to provide the benchmark results about how to balance the conflicting objectives corresponding to identification and system efficiency. The tradeoff between different objectives is presented to optimize the current profile so that the richness of signal can be ensured and the fuel economy can be optimized. In addition, simulation results show that the Root-Mean-Square error of the estimation can be decreased by up to 100% at a cost of less than 2% increase in fuel consumption. With the proposed simultaneous identification and control algorithm, the parameters/states of the battery can be monitored to ensure safe and efficient application of the battery for HEVs.


title: Dead on Arrival: An Empirical Study of The Bluetooth 5.1 Positioning System

abstract: The recently released Bluetooth 5.1 specification introduces fine-grained positioning capabilities in this wireless technology, which is deemed essential to context-/location-based Internet of Things (IoT) applications. In this paper, we evaluate experimentally, for the first time, the accuracy of a positioning system based on the Angle of Arrival (AoA) mechanism adopted by the Bluetooth standard. We first scrutinize the fidelity of angular detection and then assess the feasibility of using angle information from multiple fixed receivers to determine the position of a device. Our results reveal that angular detection is limited to a restricted range. On the other hand, even in a simple deployment with only two antennas per receiver, the AoA-based positioning technique can achieve sub-meter accuracy; yet attaining localization within a few centimeters remains a difficult endeavor. We then demonstrate that a malicious device may be able to easily alter the truthfulness of the measured AoA, by tampering with the packet structure. To counter this protocol weakness, we propose simple remedies that are missing in the standard, but which can be adopted with little effort by manufacturers, to secure the Bluetooth 5.1 positioning system.


title: High contrast dual-mode optical and 13C magnetic resonance imaging in diamond particles

abstract: Multichannel imaging -- the ability to acquire images of an object through more than one imaging mode simultaneously -- has opened interesting new perspectives in areas ranging from astronomy to medicine. Visible optics and magnetic resonance imaging (MRI) offer complementary advantages of resolution, speed and depth of penetration, and as such would be attractive in combination. In this paper, we take first steps towards marrying together optical and MR imaging in a class of biocompatible particulate materials constructed out of diamond. The particles are endowed with a high density of quantum defects (Nitrogen Vacancy centers) that under optical excitation fluoresce brightly in the visible, but also concurrently electron spin polarize. This allows the hyperpolarization of lattice 13C nuclei to make the particles over three-orders of magnitude brighter than in conventional MRI. Dual-mode optical and MR imaging permits immediate access to improvements in resolution and signal-to-noise especially in scattering environments. We highlight additional benefits in background-free imaging, demonstrating lock-in suppression by factors of 2 and 5 in optical and MR domains respectively. Ultimate limits could approach as much as two orders of magnitude in each domain. Finally, leveraging the ability of optical and MR imaging to simultaneously probe Fourier-reciprocal domains (real and k-space), we elucidate the ability to employ hybrid sub-sampling in both conjugate spaces to vastly accelerate dual-image acquisition, by as much as two orders of magnitude in practically relevant sparse-imaging scenarios. This is accompanied by a reduction in optical power by the same factor. Our work suggests interesting possibilities for the simultaneous optical and low-field MR imaging of targeted diamond nanoparticles.


title: Deterministic algorithms for the Lovasz Local Lemma: simpler, more general, and more parallel

abstract: The Lov\'{a}sz Local Lemma (LLL) is a keystone principle in probability theory, guaranteeing the existence of configurations which avoid a collection $\mathcal B$ of "bad" events which are mostly independent and have low probability. In its simplest "symmetric" form, it asserts that whenever a bad-event has probability $p$ and affects at most $d$ bad-events, and $e p d < 1$, then a configuration avoiding all $\mathcal B$ exists. A seminal algorithm of Moser & Tardos (2010) gives nearly-automatic randomized algorithms for most constructions based on the LLL. However, deterministic algorithms have lagged behind. We address three specific shortcomings of the prior deterministic algorithms. First, our algorithm applies to the LLL criterion of Shearer (1985); this is more powerful than alternate LLL criteria and also removes a number of nuisance parameters and leads to cleaner and more legible bounds. Second, we provide parallel algorithms with much greater flexibility in the functional form of of the bad-events. Third, we provide a derandomized version of the MT-distribution, that is, the distribution of the variables at the termination of the MT algorithm. We show applications to non-repetitive vertex coloring, independent transversals, strong coloring, and other problems. These give deterministic algorithms which essentially match the best previous randomized sequential and parallel algorithms.


title: A Hierarchical Bayesian Approach to Neutron Spectrum Unfolding with Organic Scintillators

abstract: We propose a hierarchical Bayesian model and state-of-art Monte Carlo sampling method to solve the unfolding problem, i.e., to estimate the spectrum of an unknown neutron source from the data detected by an organic scintillator. Inferring neutron spectra is important for several applications, including nonproliferation and nuclear security, as it allows the discrimination of fission sources in special nuclear material (SNM) from other types of neutron sources based on the differences of the emitted neutron spectra. Organic scintillators interact with neutrons mostly via elastic scattering on hydrogen nuclei and therefore partially retain neutron energy information. Consequently, the neutron spectrum can be derived through deconvolution of the measured light output spectrum and the response functions of the scintillator to monoenergetic neutrons. The proposed approach is compared to three existing methods using simulated data to enable controlled benchmarks. We consider three sets of detector responses. One set corresponds to a 2.5 MeV monoenergetic neutron source and two sets are associated with (energy-wise) continuous neutron sources ($^{252}$Cf and $^{241}$AmBe). Our results show that the proposed method has similar or better unfolding performance compared to other iterative or Tikhonov regularization-based approaches in terms of accuracy and robustness against limited detection events, while requiring less user supervision. The proposed method also provides a posteriori confidence measures, which offers additional information regarding the uncertainty of the measurements and the extracted information.

categories: physics.ins-det nucl-ex physics.comp-ph stat.AP


title: A superfluid liquid helium target for low-momentum electron scattering experiments at the S-DALINAC

abstract: The superconducting electron accelerator S-DALINAC enables electron scattering experiments with low momentum transfer and high energy resolution. In order to perform experiments on helium with high precision and high luminosity, a superfluid liquid helium target with good temperature stability was developed. The functionality of this target could be confirmed and its properties were characterized in a commissioning experiment.


title: From the Internet of Information to the Internet of Intelligence

abstract: In the era of the Internet of information, we have gone through layering, cross-layer, and cross-system design paradigms. Recently, the ``curse of modeling" and ``curse of dimensionality" of the cross-system design paradigm have resulted in the popularity of using artificial intelligence (AI) to optimize the Internet of information. However, many significant research challenges remain to be addressed for the AI approach, including the lack of high-quality training data due to privacy and resources constraints in this data-driven approach. To address these challenges, we need to take a look at humans' cooperation in a larger time scale. To facilitate cooperation in modern history, we have built three major technologies: ``grid of transportation", ``grid of energy", and ``the Internet of information". In this paper, we argue that the next cooperation paradigm could be the ``Internet of intelligence (Intelligence-Net)", where intelligence can be easily obtained like energy and information, enabled by the recent advances in blockchain technology. We present some recent advances in these areas, and discuss some open issues and challenges that need to be addressed in the future.


title: Big Data Analytics for Large Scale Wireless Networks: Challenges and Opportunities

abstract: The wide proliferation of various wireless communication systems and wireless devices has led to the arrival of big data era in large scale wireless networks. Big data of large scale wireless networks has the key features of wide variety, high volume, real-time velocity and huge value leading to the unique research challenges that are different from existing computing systems. In this paper, we present a survey of the state-of-art big data analytics (BDA) approaches for large scale wireless networks. In particular, we categorize the life cycle of BDA into four consecutive stages: Data Acquisition, Data Preprocessing, Data Storage and Data Analytics. We then present a detailed survey of the technical solutions to the challenges in BDA for large scale wireless networks according to each stage in the life cycle of BDA. Moreover, we discuss the open research issues and outline the future directions in this promising area.


title: High-speed and high-resolution interrogation of FBG sensors using wavelength-to-time mapping and Gaussian filters

abstract: In this work we report a novel technique for simultaneous high-speed and high-resolution interrogation of fiber Bragg grating (FBG) sensors. The method uses the wavelength-to-time mapping effect in a chromatic dispersive medium and a couple of intensity Gaussian filters. The Bragg wavelength is retrieved by means of the amplitude comparison between the two filtered grating spectrums, which are mapped into a time-domain waveform. In this way, measurement distortions arising from residual power due to the grating sidelobes are completely avoided, and the wavelength measurement range is considerably extended with respect to the previously proposed schemes. We present the mathematical background for the interrogation of FBGs with an arbitrary bandwidth. In our proof-of-concept experiments, we achieved sensitivities of ~20 pm with ultra-fast rates up to 264 MHz.


title: Longitudinal structural connectomic and rich-club analysis in adolescent mTBI reveals persistent, distributed brain alterations acutely through to one year post-injury

abstract: The diffused nature of mild traumatic brain injury (mTBI) impacts brain white-matter pathways with potentially long-term consequences, even after initial symptoms have resolved. To understand post-mTBI recovery in adolescents, longitudinal studies are needed to determine the interplay between highly individualised recovery trajectories and ongoing development. To capture the distributed nature of mTBI and recovery, we employ connectomes to probe the brain's structural organisation. We present a diffusion MRI study on adolescent mTBI subjects scanned one day, two weeks and one year after injury with controls. Longitudinal global network changes over time suggests an altered and more 'diffuse' network topology post-injury (specifically lower transitivity and global efficiency). Stratifying the connectome by its back-bone, known as the 'rich-club', these network changes were driven by the 'peripheral' local subnetwork by way of increased network density, fractional anisotropy and decreased diffusivities. This increased structural integrity of the local subnetwork may be to compensate for an injured network, or it may be robust to mTBI and is exhibiting a normal developmental trend. The rich-club also revealed lower diffusivities over time with controls, potentially indicative of longer-term structural ramifications. Our results show evolving, diffuse alterations in adolescent mTBI connectomes beginning acutely and continuing to one year.


title: Adversarial Attacks and Defenses in Images, Graphs and Text: A Review

abstract: Deep neural networks (DNN) have achieved unprecedented success in numerous machine learning tasks in various domains. However, the existence of adversarial examples has raised concerns about applying deep learning to safety-critical applications. As a result, we have witnessed increasing interests in studying attack and defense mechanisms for DNN models on different data types, such as images, graphs and text. Thus, it is necessary to provide a systematic and comprehensive overview of the main threats of attacks and the success of corresponding countermeasures. In this survey, we review the state of the art algorithms for generating adversarial examples and the countermeasures against adversarial examples, for the three popular data types, i.e., images, graphs and text.


title: Optical communications-based platform uses Uni-Travelling-Carrier Photodiode for ultra-high resolution software-defined THz spectroscopy and reveals LiYF4:Ho intrinsic spectral line shape

abstract: High resolution (900 Hz full-width at half maximum) frequency domain spectroscopy near 0.2Terahertz is achieved using an exact frequency spacing comb-source in the optical communications band, filtering and photo-mixing in a custom Uni-Travelling-Carrier Photodiode (UTC-PD) for THz signal generation and coherent down-conversion for detection. Via time domain modulation of one of the comb lines, a fully controllable spectrometer can be defined in software, and this principle is demonstrated for magnetic field-free readout of the electronuclear spectrum for the Ho ions in \lihof, a material often used for demonstration experiments in quantum science. In particular, homogeneous and inhomogeneous contributions to the spectrum are readily separated.


title: MER-SDN: Machine Learning Framework for Traffic Aware Energy Efficient Routing in SDN

abstract: Software Defined Networking (SDN) achieves programmability of a network through separation of the control and data planes. It enables flexibility in network management and control. Energy efficiency is one of the challenging global problems which has both economic and environmental impact. A massive amount of information is generated in the controller of an SDN based network. Machine learning gives the ability to computers to progressively learn from data without having to write specific instructions. In this work, we propose MER-SDN: a machine learning framework for traffic-aware energy efficient routing in SDN. Feature extraction, training, and testing are the three main stages of the learning machine. Experiments are conducted on Mininet and POX controller using real-world network topology and dynamic traffic traces from SNDlib. Results show that our approach achieves more than 65\% feature size reduction, more than 70% accuracy in parameter prediction of an energy efficient heuristics algorithm, also our prediction refine heuristics converges the predicted value to the optimal parameters values with up to 25X speedup as compared to the brute force method.


title: Ward-like Operator in the comma theory

abstract: The construction of the Ward-like operator of the interacting string field theory presented by Witten, in terms of the half-string (comma) oscillator modes, is completed.


title: A model for plasma-neutral fluid interaction and its application to a study of CT formation in a magnetised Marshall gun

abstract: A model for plasma/neutral fluid interaction was developed and included in the DELiTE code framework implementation of non-linear MHD equations. The source rates of ion, electron and neutral fluid momentum and energy due to ionization and recombination are derived using a simple method that enables determination of the volumetric rate of thermal energy transfer from electrons to photons and neutral particles in the radiative recombination reaction. This quantity can not be evaluated with the standard formal procedure of taking moments of the relevant collision operator, and has been neglected in other studies. The plasma/neutral fluid interaction model was applied to study CT formation in the SMRT and SPECTOR magnetized Marshall guns, enabling clarification of the mechanisms behind the significant increases in CT electron density that are routinely observed well after formation on the SPECTOR experiment. Neutral gas, which remains concentrated below the gas valves after CT formation, diffuses up the gun barrel to the CT containment region where it is ionized, leading to the observed electron density increases. This understanding helps account for the exceptionally significant increase in temperature, and markedly reduced density, observed during the electrode edge biasing experiment conducted on SPECTOR. It is thought that edge fueling impediment, a consequence of a biasing-induced transport barrier, is largely responsible for the observed temperature increase and density decrease.


title: Surface alignment disorder and pseudo-Casimir forces in smectic-A liquid crystalline films

abstract: Random (disordered) components in the surface anchoring of the smectic-A liquid crystalline film in general modify the thermal pseudo-Casimir interaction. Anchoring disorder of the quenched type is in general decoupled from the thermal pseudo-Casimir force and gives rise to an additional disorder-generated interaction, in distinction to the annealed disorder, whose effect on the pseudo-Casimir force is non-additive. We consider the effects of the surface anchoring disorder by assuming that one of the substrates of the film is contaminated by a disorder source, resulting in a Gaussian-weighted distribution of the preferred molecular anchoring orientation (easy axes) on that substrate, having a finite mean and variance or, more generally, a homogeneous in-plane, two-point correlation function. We show that the presence of disorder, either of the quenched or annealed type, leads to a significant reduction in the magnitude of the net thermal fluctuation force between the confining substrates of the film. In the quenched case this is a direct consequence of an additive free energy dependent on the variance of the disorder, while in the annealed case, the suppression of the interaction force can be understood based on a disorder-renormalized, effective anchoring strength.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mes-hall cond-mat.stat-mech physics.chem-ph


title: Mad families of vector subspaces and the smallest nonmeager set of reals

abstract: We show that a parametrized $\diamondsuit$ principle, corresponding to the uniformity of the meager ideal, implies that the minimum cardinality of an infinite maximal almost disjoint family of block subspaces in a countable vector space is $\aleph_1$. Consequently, this cardinal invariant is $\aleph_1$ in the Miller model.


title: Relaxed Softmax for learning from Positive and Unlabeled data

abstract: In recent years, the softmax model and its fast approximations have become the de-facto loss functions for deep neural networks when dealing with multi-class prediction. This loss has been extended to language modeling and recommendation, two fields that fall into the framework of learning from Positive and Unlabeled data. In this paper, we stress the different drawbacks of the current family of softmax losses and sampling schemes when applied in a Positive and Unlabeled learning setup. We propose both a Relaxed Softmax loss (RS) and a new negative sampling scheme based on Boltzmann formulation. We show that the new training objective is better suited for the tasks of density estimation, item similarity and next-event prediction by driving uplifts in performance on textual and recommendation datasets against classical softmax.


title: Efficient Video Super-Resolution through Recurrent Latent Space Propagation

abstract: With the recent trend for ultra high definition displays, the demand for high quality and efficient video super-resolution (VSR) has become more important than ever. Previous methods adopt complex motion compensation strategies to exploit temporal information when estimating the missing high frequency details. However, as the motion estimation problem is a highly challenging problem, inaccurate motion compensation may affect the performance of VSR algorithms. Furthermore, the complex motion compensation module may also introduce a heavy computational burden, which limits the application of these methods in real systems. In this paper, we propose an efficient recurrent latent space propagation (RLSP) algorithm for fast VSR. RLSP introduces high-dimensional latent states to propagate temporal information between frames in an implicit manner. Our experimental results show that RLSP is a highly efficient and effective method to deal with the VSR problem. We outperform current state-of-the-art method DUF with over 70x speed-up.


title: A Distributed Fair Machine Learning Framework with Private Demographic Data Protection

abstract: Fair machine learning has become a significant research topic with broad societal impact. However, most fair learning methods require direct access to personal demographic data, which is increasingly restricted to use for protecting user privacy (e.g. by the EU General Data Protection Regulation). In this paper, we propose a distributed fair learning framework for protecting the privacy of demographic data. We assume this data is privately held by a third party, which can communicate with the data center (responsible for model development) without revealing the demographic information. We propose a principled approach to design fair learning methods under this framework, exemplify four methods and show they consistently outperform their existing counterparts in both fairness and accuracy across three real-world data sets. We theoretically analyze the framework, and prove it can learn models with high fairness or high accuracy, with their trade-offs balanced by a threshold variable.


title: On the Metropolis Algorithm for Urban Street Networks

abstract: The complexity of urban street networks is well accepted to reside in the information space where roads map to nodes and junctions to links between nodes. Assuming that information networks preserve their amount of surprisal on average leads us to adapt the single-flip Metropolis algorithm to compute information networks with minimal amounts of surprisal.


title: The Flyby Anomaly and the Gravitational-Magnetic Field Induced Frame-Dragging Effect around the Earth

abstract: The anomalous energy difference observed during the Earth flybys is modelled here as a dynamical effect resulting from the coupling of the gravitational and the magnetic fields of the Earth. The theoretical analysis shows that general relativistic frame-dragging can become modified under the Earth's magnetic field by orders of magnitude. For twelve flyby cases, including the null results reported in some recent flybys, the predicted velocities correspond to the observed velocities within the observational error. The gravito-magnetic effect is also shown to account for the linear distance relation, time-variation of the anomalous energy, and the reduction in the anomalous velocity for high altitude flybys near the Earth.


title: Sensing Optical Cavity Mismatch with a Mode-Converter and Quadrant Photodiode

abstract: We present a new technique for sensing optical cavity mode mismatch and alignment by using a cylindrical lens mode converting telescope, radio-frequency quadrant photodiodes, and a heterodyne detection scheme. The telescope allows the conversion of the Laguerre-Gauss bullseye mode (LG01) into the 45deg rotated Hermite-Gauss ("pringle") mode (HG11), which can be easily measured with quadrant photodiodes. We show that we can convert to the HG basis optically, measure mode mismatched and alignment signals using widely produced radio-frequency quadrant photodiodes, and obtain a feedback error signal with heterodyne detection.


title: Prototype operations of atmospheric calibration devices for the Cherenkov Telescope Array

abstract: The atmospheric monitoring devices for the planned calibration system of the Cherenkov Telescope Array (CTA) are undergoing intensive development, prototyping and testing. The All-Sky Cameras, the Sun/Moon Photometers and the FRAM telescopes have been gradually deployed at the future CTA sites with the primary goal of site characterization, simultaneously allowing the assessment of their operational reliability in realistic environmental conditions. All three devices have shown the ability to work smoothly in both the extreme dryness and the large temperature variations of the southern site as well as in the occasional adverse weather during winter months at the northern site. The target availability of 95\% of time has not yet been reached mostly due to minor hardware failures that have proven difficult to fix due to the remoteness of the installation in the absence of the future CTA infrastructure. The experience gathered during the prototype operations will contribute to the improved reliability of the final instruments. The Raman LIDARs, described in separate proceedings of this conference, and the infrared Ceilometer, ready for testing in Prague, will complement the set of atmospheric calibration devices in near future. The final operational procedures for the atmospheric calibration of the CTA during its operation are being finalized foreseeing the use of the All-sky Cameras and the Ceilometer for the monitoring of clouds over the whole sky and the LIDARs and FRAMs for precision measurements of the atmospheric transmission as a function of altitude and position within the field-of-view of the CTA array.


title: Torquing the Condensate: Angular Momentum Transport in Bose-Einstein Condensates by Solitonic "Corkscrew"

abstract: When rotating classical fluid drops merge together, angular momentum can be advected from one to another due to the viscous shear flow at the drop interface. It remains elusive what the corresponding mechanism is in inviscid quantum fluids such as Bose-Einstein condensates (BECs). Here we report our theoretical study of an initially static BEC merging with a rotating BEC in three-dimensional space along the rotational axis. We show that a soliton sheet resembling a "corkscrew" spontaneously emerges at the interface. Rapid angular momentum transfer at a constant rate universally proportional to the initial angular momentum density is observed. Strikingly, this transfer does not necessarily involve fluid advection or drifting of the quantized vortices. We reveal that the solitonic corkscrew can exert a torque that directly creates angular momentum in the static BEC and annihilates angular momentum in the rotating BEC. Uncovering this intriguing angular momentum transport mechanism may benefit our understanding of various coherent matter-wave systems, spanning from atomtronics on chips to dark matter BECs at cosmic scales.


title: Ricci Solitons, Conical Singularities, and Nonuniqueness

abstract: In dimension $n=3$, there is a complete theory of weak solutions of Ricci flow - the singular Ricci flows introduced by Kleiner and Lott - which are unique across singularities, as was proved by Bamler and Kleiner. We show that uniqueness should not be expected to hold for Ricci flow weak solutions in dimensions $n\geq5$. Specifically, we exhibit a discrete family of asymptotically conical gradient shrinking solitons, each of which admits non-unique forward continuations by gradient expanding solitons. (v2) We recast the Main Theorem in the language of Kleiner and Lott's Ricci Flow spacetimes and in addition show that topological nonuniqueness is possible for the solutions we construct.


title: Characterization of atmospheric properties at the future sites of the Cherenkov Telescope Array

abstract: Advanced knowledge of the detailed atmospheric properties of both the future sites of the Cherenkov Telescope Array is essential in preparation of the arrival of the first scientific data. Meteorological variables are studied using a dedicated characterization station installed at the southern site in Chile and a wealth of data from existing observatories around the northern site on the La Palma island. Campaigns using radiosondes launched on balloons are foreseen to complement these data in the near future. Cloudiness during the night has been continuously monitored at both sites for several years using All-sky Cameras which assess the presence of clouds based on detection of stars. The integrated aerosol optical depth over the southern site has been measured using a Sun/Moon Photometer since 2016 and the small robotic FRAM telescope since 2017; identical instruments have been deployed at the northern site in autumn 2018. Also in October 2018, the ARCADE Raman lidar (RL) has started to take measurements on routine basis at the northern site, providing data on the vertical profile of the aerosol optical properties (i.e., extinction and scattering) and of the water vapour mixing ratio. We present the data currently available from these instruments from both sites with emphasis on characteristics important for the (future) operation of Imaging Atmospheric Cherenkov Telescopes.


title: Extractive Summarization of Long Documents by Combining Global and Local Context

abstract: In this paper, we propose a novel neural single document extractive summarization model for long documents, incorporating both the global context of the whole document and the local context within the current topic. We evaluate the model on two datasets of scientific papers, Pubmed and arXiv, where it outperforms previous work, both extractive and abstractive models, on ROUGE-1, ROUGE-2 and METEOR scores. We also show that, consistently with our goal, the benefits of our method become stronger as we apply it to longer documents. Rather surprisingly, an ablation study indicates that the benefits of our model seem to come exclusively from modeling the local context, even for the longest documents.


title: DOVER: A Method for Combining Diarization Outputs

abstract: Speech recognition and other natural language tasks have long benefited from voting-based algorithms as a method to aggregate outputs from several systems to achieve a higher accuracy than any of the individual systems. Diarization, the task of segmenting an audio stream into speaker-homogeneous and co-indexed regions, has so far not seen the benefit of this strategy because the structure of the task does not lend itself to a simple voting approach. This paper presents DOVER (diarization output voting error reduction), an algorithm for weighted voting among diarization hypotheses, in the spirit of the ROVER algorithm for combining speech recognition hypotheses. We evaluate the algorithm for diarization of meeting recordings with multiple microphones, and find that it consistently reduces diarization error rate over the average of results from individual channels, and often improves on the single best channel chosen by an oracle.


title: Baryon -- anti-Baryon Photoproduction

abstract: Baryon - anti-baryon photoproduction off a proton target is being studied in detail at Jefferson Lab with the GlueX Experiment. We observe $p\bar{p}$ and, for the first time, $\Lambda\bar{\Lambda}$ photoproduction (with $\Lambda \rightarrow \pi^- p$, $\bar{\Lambda} \rightarrow \pi^+ \bar{p}$) from thresholds up to $E_{\gamma} = 11.4$ GeV. Preliminary spectra from data accumulated during the GlueX Phase-I period are shown. Angular distributions of the photoproduced hyperons indicate more than one production mechanism in the reaction channel $\gamma p \rightarrow \Lambda\bar{\Lambda}p$. A Monte Carlo simulation with four mechanisms, tested through comparison between simulation and experimental data, is presented.


title: Toward Proactive, Adaptive Defense: A Survey on Moving Target Defense

abstract: Reactive defense mechanisms, such as intrusion detection systems, have made significant efforts to secure a system or network for the last several decades. However, the nature of reactive security mechanisms has limitations because potential attackers cannot be prevented in advance. We are facing a reality with the proliferation of persistent, advanced, intelligent attacks while defenders are often way behind attackers in taking appropriate actions to thwart potential attackers. The concept of moving target defense (MTD) has emerged as a proactive defense mechanism aiming to prevent attacks. In this work, we conducted a comprehensive, in-depth survey to discuss the following aspects of MTD: key roles, design principles, classifications, common attacks, key methodologies, important algorithms, metrics, evaluation methods, and application domains. We discuss the pros and cons of all aspects of MTD surveyed in this work. Lastly, we highlight insights and lessons learned from this study and suggest future work directions. The aim of this paper is to provide the overall trends of MTD research in terms of critical aspects of defense systems for researchers who seek for developing proactive, adaptive MTD mechanisms.


title: Q-Learning Based Aerial Base Station Placement for Fairness Enhancement in Mobile Networks

abstract: In this paper, we use an aerial base station (aerial-BS) to enhance fairness in a dynamic environment with user mobility. The problem of optimally placing the aerial-BS is a non-deterministic polynomial-time hard (NP-hard) problem. Moreover, the network topology is subject to continuous changes due to the user mobility. These issues intensify the quest to develop an adaptive and fast algorithm for 3D placement of the aerial-BS. To this end, we propose a method based on reinforcement learning to achieve these goals. Simulation results show that our method increases fairness among users in a reasonable computing time, while the solution is comparatively close to the optimal solution obtained by exhaustive search.


title: Bluemergency: Mediating Post-disaster Communication Systems using the Internet of Things and Bluetooth Mesh

abstract: Mobile devices have shown to be very useful during and post disaster. If the communication infrastructure breaks down, however, they become almost useless as most services rely on Internet connectivity. Building post-disaster networks based purely on smartphones remains a challenging task, and, as of today, no practical solutions exist. The rapidly growing Internet of Things (IoT) offers the possibility to improve this situation. With an increase in smart spaces such as smart homes and smart offices, we move towards digital cities that are deeply penetrated by IoT technology. Many IoT devices are battery powered and can aid in mediating an emergency network. In scenarios where the electrical grid is still operational, yet communication infrastructure failed, non-battery powered IoT devices can similarly help to relief congestion or build a backup network in case of cyber attacks. With the recent release of the Bluetooth Mesh standard, a common interface between mobile devices and the IoT has become available. The key idea behind this standard is to allow existing and new devices to build large-scale multi-hop sensor networks. By enabling hundreds of devices to communicate with each other, Bluetooth Mesh (BT MESH) becomes a practical technical solution for enabling communication post disaster. In this paper, we propose a novel emergency network concept that utilises the parts of digital cities that remains operational in case of disaster, thus mediating large-scale post-disaster device-to-device communication. Since the Bluetooth Mesh standard is backwards compatible to Bluetooth 4.0, most of todays mobile devices can join such a network. No special hardware or software modifications are necessary, especially no jail-breaking of the smartphones.