title: Multi-hop Reading Comprehension via Deep Reinforcement Learning based Document Traversal

abstract: Reading Comprehension has received significant attention in recent years as high quality Question Answering (QA) datasets have become available. Despite state-of-the-art methods achieving strong overall accuracy, Multi-Hop (MH) reasoning remains particularly challenging. To address MH-QA specifically, we propose a Deep Reinforcement Learning based method capable of learning sequential reasoning across large collections of documents so as to pass a query-aware, fixed-size context subset to existing models for answer extraction. Our method is comprised of two stages: a linker, which decomposes the provided support documents into a graph of sentences, and an extractor, which learns where to look based on the current question and already-visited sentences. The result of the linker is a novel graph structure at the sentence level that preserves logical flow while still allowing rapid movement between documents. Importantly, we demonstrate that the sparsity of the resultant graph is invariant to context size. This translates to fewer decisions required from the Deep-RL trained extractor, allowing the system to scale effectively to large collections of documents. The importance of sequential decision making in the document traversal step is demonstrated by comparison to standard IE methods, and we additionally introduce a BM25-based IR baseline that retrieves documents relevant to the query only. We examine the integration of our method with existing models on the recently proposed QAngaroo benchmark and achieve consistent increases in accuracy across the board, as well as a 2-3x reduction in training time.


title: GWU NLP Lab at SemEval-2019 Task 3: EmoContext: Effective Contextual Information in Models for Emotion Detection in Sentence-level in a Multigenre Corpus

abstract: In this paper we present an emotion classifier model submitted to the SemEval-2019 Task 3: EmoContext. The task objective is to classify emotion (i.e. happy, sad, angry) in a 3-turn conversational data set. We formulate the task as a classification problem and introduce a Gated Recurrent Neural Network (GRU) model with attention layer, which is bootstrapped with contextual information and trained with a multigenre corpus. We utilize different word embeddings to empirically select the most suited one to represent our features. We train the model with a multigenre emotion corpus to leverage using all available training sets to bootstrap the results. We achieved overall %56.05 f1-score and placed 144.


title: One-bit LFMCW Radar: Spectrum Analysis and Target Detection

abstract: One-bit radar, performing signal sampling and quantization by a one-bit ADC, is a promising technology for many civilian applications due to its low-cost and low-power consumptions. In this paper, problems encountered by one-bit LFMCW radar are studied and a two-stage target detection method termed as the dimension-reduced generalized approximate message passing (DR-GAMP) approach is proposed. Firstly, the spectrum of one-bit quantized signals in a scenario with multiple targets is analyzed. It is indicated that high-order harmonics may result in false alarms (FAs) and cannot be neglected. Secondly, based on the spectrum analysis, the DR-GAMP approach is proposed to carry out target detection. Specifically, linear preprocessing methods and target predetection are firstly adopted to perform the dimension reduction, and then, the GAMP algorithm is utilized to suppress high-order harmonics and recover true targets. Finally, numerical simulations are conducted to evaluate the performance of one-bit LFMCW radar under typical parameters. It is shown that compared to the conventional radar applying linear processing methods, one-bit LFMCW radar has about $1.3$ dB performance gain when the input signal-to-noise ratios (SNRs) of targets are low. In the presence of a strong target, it has about $1.0$ dB performance loss.


title: Depth Estimation on Underwater Omni-directional Images Using a Deep Neural Network

abstract: In this work, we exploit a depth estimation Fully Convolutional Residual Neural Network (FCRN) for in-air perspective images to estimate the depth of underwater perspective and omni-directional images. We train one conventional and one spherical FCRN for underwater perspective and omni-directional images, respectively. The spherical FCRN is derived from the perspective FCRN via a spherical longitude-latitude mapping. For that, the omni-directional camera is modeled as a sphere, while images captured by it are displayed in the longitude-latitude form. Due to the lack of underwater datasets, we synthesize images in both data-driven and theoretical ways, which are used in training and testing. Finally, experiments are conducted on these synthetic images and results are displayed in both qualitative and quantitative way. The comparison between ground truth and the estimated depth map indicates the effectiveness of our method.


title: Causal Discovery with Cascade Nonlinear Additive Noise Models

abstract: Identification of causal direction between a causal-effect pair from observed data has recently attracted much attention. Various methods based on functional causal models have been proposed to solve this problem, by assuming the causal process satisfies some (structural) constraints and showing that the reverse direction violates such constraints. The nonlinear additive noise model has been demonstrated to be effective for this purpose, but the model class is not transitive--even if each direct causal relation follows this model, indirect causal influences, which result from omitted intermediate causal variables and are frequently encountered in practice, do not necessarily follow the model constraints; as a consequence, the nonlinear additive noise model may fail to correctly discover causal direction. In this work, we propose a cascade nonlinear additive noise model to represent such causal influences--each direct causal relation follows the nonlinear additive noise model but we observe only the initial cause and final effect. We further propose a method to estimate the model, including the unmeasured intermediate variables, from data, under the variational auto-encoder framework. Our theoretical results show that with our model, causal direction is identifiable under suitable technical conditions on the data generation process. Simulation results illustrate the power of the proposed method in identifying indirect causal relations across various settings, and experimental results on real data suggest that the proposed model and method greatly extend the applicability of causal discovery based on functional causal models in nonlinear cases.


title: Kochen-Specker sets in four-dimensional spaces

abstract: For the first time we construct an infinite family of Kochen-Specker sets in a space of fixed dimension, namely in R^4. While most of the previous constructions of Kochen-Specker sets have been based on computer search, our construction is analytical and it comes with a short, computer-free proof.


title: Characterization of 0.18{\mu}m CMOS Ring Oscillator at Liquid Helium Temperature

abstract: This paper presents low power dissipation, low phase noise ring oscillators (ROs) based on Semiconductor Manufacturing International Corporation (SMIC) 0.18{\mu}m CMOS technology at liquid helium temperature (LHT). First, the characterization and modelling of CMOS at LHT are presented. The temperature-dependent device parameters are revised and the model then shows good agreement with the measurement results. The ring oscillator is then designed with energy efficiency optimization by application of forward body biasing (FBB). FBB is proposed to compensate for the threshold voltage (VTH) shift to preserve the benefits of the enhancement of the carrier mobility at 4.2K. The delay per stage ({\tau}p), the static current (ISTAT), the dynamic current (IDYN), the power dissipation (P) and the phase noise (L(foff)) are analyzed at both 298 K and 4.2 K, with and without FBB. The performance of the designed RO in terms of speed ({\tau}p=179ps), static current (23.55nA/stage), power dissipation (2.13{\mu}W) and phase noise (-177.57dBc/Hz@1MHz) can be achieved at 4.2K with the supply voltage (VDD) reduced to 0.9V.


title: Strauss exponent for semilinear wave equations with scattering space dependent damping

abstract: It is believed or conjectured that the semilinear wave equations with scattering space dependent damping admit the Strauss critical exponent, see Ikehata-Todorova-Yordanov \cite{ITY}(the bottom in page 2) and Nishihara-Sobajima-Wakasugi \cite{N2}(conjecture iii in page 4). In this work, we are devoted to showing the conjecture is true at least when the decay rate of the space dependent variable coefficients before the damping is larger than 2. Also, if the nonlinear term depends only on the derivative of the solution, we may prove the upper bound of the lifespan is the same as that of the solution of the corresponding problem without damping. This shows in another way the \lq\lq hyperbolicity" of the equation.


title: Rate-Distortion-Memory Trade-offs in Heterogeneous Caching Networks

abstract: Caching at the wireless edge can be used to keep up with the increasing demand for high-definition wireless video streaming. By prefetching popular content into memory at wireless access points or end-user devices, requests can be served locally, relieving strain on expensive backhaul. In addition, using network coding allows the simultaneous serving of distinct cache misses via common coded multicast transmissions, resulting in significantly larger load reductions compared to those achieved with traditional delivery schemes. Most prior works simply treat video content as fixed-size files that users would like to fully download. This work is motivated by the fact that video can be coded in a scalable fashion and that the decoded video quality depends on the number of layers a user receives in sequence. Using a Gaussian source model, caching and coded delivery methods are designed to minimize the squared error distortion at end-user devices in a rate-limited caching network. The framework is very general and accounts for heterogeneous cache sizes, video popularities and user-file play-back qualities. As part of the solution, a new decentralized scheme for lossy cache-aided delivery subject to preset user distortion targets is proposed, which further generalizes prior literature to a setting with file heterogeneity.


title: Variational Prototype Replays for Continual Learning

abstract: Continual learning refers to the ability to acquire and transfer knowledge without catastrophically forgetting what was previously learned. In this work, we consider \emph{few-shot} continual learning in classification tasks, and we propose a novel method, Variational Prototype Replays, that efficiently consolidates and recalls previous knowledge to avoid catastrophic forgetting. In each classification task, our method learns a set of variational prototypes with their means and variances, where embedding of the samples from the same class can be represented in a prototypical distribution and class-representative prototypes are separated apart. To alleviate catastrophic forgetting, our method replays one sample per class from previous tasks, and correspondingly matches newly predicted embeddings to their nearest class-representative prototypes stored from previous tasks. Compared with recent continual learning approaches, our method can readily adapt to new tasks with more classes without requiring the addition of new units. Furthermore, our method is more memory efficient since only class-representative prototypes with their means and variances, as well as only one sample per class from previous tasks need to be stored. Without tampering with the performance on initial tasks, our method learns novel concepts given a few training examples of each class in new tasks.


title: The Berry-Esseen Theorem for Circular $\beta$-ensemble

abstract: We will prove the Berry-Esseen theorem for the number counting function of the circular $\beta$-ensemble (C$\beta$E), which will imply the central limit theorem for the number of points in arcs of the unit circle in mesoscopic and macroscopic scales. We will prove the main result by estimating the characteristic functions of the Pr\"ufer phases and the number counting function, which will imply the uniform upper and lower bounds of their variance. We also show that the similar results hold for the Sine$_\beta$ process. As a direct application of the uniform variance bound, we can prove the normality of the linear statistics when the test function $f(\theta)\in W^{1,p}(S^1)$ for some $p\in(1,+\infty)$.


title: Exploring Structural Sparsity of Deep Networks via Inverse Scale Spaces

abstract: The great success of deep neural networks is built upon their over-parameterization, which smooths the optimization landscape without degrading the generalization ability. Despite the benefits of over-parameterization, a huge amount of parameters makes deep networks cumbersome in daily life applications. Though techniques such as pruning and distillation are developed, they are expensive in fully training a dense network as backward selection methods, and there is still a void on systematically exploring forward selection methods for learning structural sparsity in deep networks. To fill in this gap, this paper proposes a new approach based on differential inclusions of inverse scale spaces, which generate a family of models from simple to complex ones along the dynamics via coupling a pair of parameters, such that over-parameterized deep models and their structural sparsity can be explored simultaneously. This kind of differential inclusion scheme has a simple discretization, dubbed Deep structure splitting Linearized Bregman Iteration (DessiLBI), whose global convergence in learning deep networks could be established under the Kurdyka-Lojasiewicz framework. Experimental evidence shows that our method achieves comparable and even better performance than the competitive optimizers in exploring the sparse structure of several widely used backbones on the benchmark datasets. Remarkably, with early stopping, our method unveils `winning tickets' in early epochs: the effective sparse network structures with comparable test accuracy to fully trained over-parameterized models, that are further transferable to similar alternative tasks. Furthermore, our method is able to grow networks efficiently with adaptive filter configurations, demonstrating a good performance with much less computational cost. Codes and models can be downloaded at {https://github.com/DessiLBI2020/DessiLBI}.


title: Lewisian Fixed Points I: Two Incomparable Constructions

abstract: Our paper is the first study of what one might call "reverse mathematics of explicit fixpoints". We study two methods of constructing such fixpoints for formulas whose principal connective is the intuitionistic Lewis arrow. Our main motivation comes from metatheory of constructive arithmetic, but the systems in question allows several natural semantics. The first of these methods, inspired by de Jongh and Visser, turns out to yield a well-understood modal system. The second one by de Jongh and Sambin, seemingly simpler, leads to a modal theory that proves harder to axiomatize in an elegant way. Apart from showing that both theories are incomparable, we axiomatize their join and investigate several subtheories, whose axioms are obtained as fixpoints of simple formulas. We also show that they are extension stable, that is, their validity in the corresponding preservativity logic of a given arithmetical theory transfer to its finite extensions.


title: Sparse Minimax Optimality of Bayes Predictive Density Estimates from Clustered Discrete Priors

abstract: We consider the problem of predictive density estimation under Kullback-Leibler loss in a high-dimensional Gaussian model with exact sparsity constraints on the location parameters. We study the first order asymptotic minimax risk of Bayes predictive density estimates based on product discrete priors where the proportion of non-zero coordinates converges to zero as dimension increases. Discrete priors that are product of clustered univariate priors provide a tractable configuration for diversification of the future risk and are used for constructing efficient predictive density estimates. We establish that the Bayes predictive density estimate from an appropriately designed clustered discrete prior is asymptotically minimax optimal. The marginals of our proposed prior have infinite clusters of identical sizes. The within cluster support points are equi-probable and the clusters are periodically spaced with geometrically decaying probabilities as they move away from the origin. The cluster periodicity depends on the decay rate of the cluster probabilities. Under different sparsity regimes, through numerical experiments, we compare the maximal risk of the Bayes predictive density estimates from the clustered prior with varied competing estimators including those based on geometrically decaying non-clustered priors of Johnstone (1994) and Mukherjee & Johnstone (2017) and obtain encouraging results.


title: Hausdorff dimension of a set in the theory of continued fractions

abstract: In this article we calculate the Hausdorff dimension of the set \begin{equation*} \mathcal{F}(\Phi )=\left\{ x\in \lbrack 0,1):\begin{aligned}a_{n+1}(x)a_n(x) \geq \Phi(n) \ {\rm for \ infinitely \ many \ } n\in \mathbb N \ {\rm and } \\ a_{n+1}(x)< \Phi(n) \ {\rm for \ all \ sufficiently \ large \ } n\in \mathbb N \end{aligned}\right\} \end{equation*} where $\Phi :\mathbb{N}\rightarrow (1,\infty)$ is any function with $\lim_{n\to \infty} \Phi(n)=\infty.$ This in turn contributes to the metrical theory of continued fractions as well as gives insights about the set of Dirichlet non-improvable numbers.


title: Ensemble Model Patching: A Parameter-Efficient Variational Bayesian Neural Network

abstract: Two main obstacles preventing the widespread adoption of variational Bayesian neural networks are the high parameter overhead that makes them infeasible on large networks, and the difficulty of implementation, which can be thought of as "programming overhead." MC dropout [Gal and Ghahramani, 2016] is popular because it sidesteps these obstacles. Nevertheless, dropout is often harmful to model performance when used in networks with batch normalization layers [Li et al., 2018], which are an indispensable part of modern neural networks. We construct a general variational family for ensemble-based Bayesian neural networks that encompasses dropout as a special case. We further present two specific members of this family that work well with batch normalization layers, while retaining the benefits of low parameter and programming overhead, comparable to non-Bayesian training. Our proposed methods improve predictive accuracy and achieve almost perfect calibration on a ResNet-18 trained with ImageNet.


title: Energy-Efficient Moderate Precision Time-Domain Mixed-signal Vector-by-Matrix Multiplier Exploiting 1T-1R Arrays

abstract: The emerging mobile devices in this era of internet-of-things (IoT) require a dedicated processor to enable computationally intensive applications such as neuromorphic computing and signal processing. Vector-by-matrix multiplication (VMM) is the most prominent operation in these applications. Therefore, there is a critical need for compact and ultralow-power VMM blocks to perform resource-intensive low-to-moderate precision computations. To this end, in this work, for the first time, we propose a time-domain mixed-signal VMM exploiting a modified configuration of 1MOSFET-1RRAM (1T-1R) array. The proposed VMM overcomes the energy inefficiency of the current-mode VMM approaches based on RRAMs. A rigorous analysis of the different non-ideal factors affecting the computational precision indicates that the non-negligible minimum cell currents, channel length modulation (CLM) and drain-induced barrier lowering (DIBL) are the dominant mechanisms degrading the precision of the proposed VMM. Our results also indicate that there exists a trade-off between the computational precision, dynamic range, and the area- and energy-efficiency of the proposed VMM approach. Therefore, we provide the necessary design guidelines for optimizing the performance. Our preliminary results show that an effective computational precision of 6-bits is achievable owing to an inherent compensation effect in the modified 1T-1R blocks. Furthermore, a 4-bit 200x200 VMM utilizing the proposed approach exhibits a significantly high energy efficiency of ~1.5 POps/J and a throughput of 2.5 TOps/s including the contribution from the input/output (I/O) circuitry.


title: Approximate String Matching for DNS Anomaly Detection

abstract: In this paper we propose a novel approach to identify anomalies in DNS traffic. The traffic time-points data is transformed to a string, which is used by new fast appproximate string matching algorithm to detect anomalies. Our approach is generic in its nature and allows fast adaptation to different types of traffic. We evaluate the approach on a large public dataset of DNS traffic based on 10 days, discovering more than order of magnitude DNS attacks in comparison to auto-regression as a baseline. Moreover, the additional comparison has been made including other common regressors such as Linear Regression, Lasso, Random Forest and KNN, all of them showing the superiority of our approach.


title: Local well-posedness of the vacuum free boundary of 3-D compressible Navier-Stokes equations

abstract: In this paper, we consider the 3-D motion of viscous gas with the vacuum free boundary. We use the conormal derivative to establish local well-posedness of this system. One of important advantages in the paper is that we do not need any strong compatibility conditions on the initial data in terms of the acceleration.


title: Probe Charm Yukawa at the future $e^{-}p$ and $e^{+}e^{-}$ colliders

abstract: Large Hadron Collider (LHC) has provided direct evidence of Yukawa couplings between the third generation charged fermions and the 125 GeV Higgs boson. Whether the first two generation charged fermions arise from exactly the same mechanism becomes the next interesting question. Therefore, direct measurements of charm or muon Yukawa couplings will be crucial to answering this puzzle. The charm Yukawa measurement at the LHC suffers from severe QCD background and it is extremely difficult to reach the sensitivity. In this paper, we compare the potential of probing charm Yukawa coupling at the two proposed future "Higgs Factory" experiments, the Large Hadron electron Collider (LHeC) and Circular electron positron collider (CEPC). At the LHeC, Higgs bosons will be produced via weak boson fusion and the energetic forward jet may suppress the background significantly. However, due to huge $\gamma-g$ scattering background, the potential of LHeC search is still limited. With $-80\%$ polarized electron beam of 60 GeV, the signal significance can only reach $2\sigma$ for $ \kappa_{c}\simeq 1$ with a 3 ab$^{-1}$ integrated luminosity. In comparison, measurement at the CEPC can then reach $8.0\sigma$ for $\kappa_{c}\simeq 1$ with a 2 ab$^{-1}$ of data.


title: Formalizing Time4sys using parametric timed automata

abstract: Critical real-time systems must be verified to avoid the risk of dramatic consequences in case of failure. Thales developed an open formalism Time4sys to model real-time systems, with expressive features such as periodic or sporadic tasks, task dependencies, distributed systems, etc. However, Time4sys does not natively allow for a formal reasoning. In this work, we present a translation from Time4sys to (parametric) timed automata, so as to allow for a formal verification.


title: A next-generation inverse-geometry spallation-driven ultracold neutron source

abstract: The physics model of a next-generation spallation-driven high-current ultracold neutron (UCN) source capable of delivering an extracted UCN rate of around an-order-of-magnitude higher than the strongest proposed sources, and around three-orders-of-magnitude higher than existing sources, is presented. This UCN-current-optimized source would dramatically improve cutting-edge UCN measurements that are currently statistically limited. A novel "Inverse Geometry" design is used with 40 L of superfluid $^4$He (He-II), which acts as a converter of cold neutrons (CNs) to UCNs, cooled with state-of-the-art sub-cooled cryogenic technology to $\sim$1.6 K. Our design is optimized for a 100 W maximum heat load constraint on the He-II and its vessel. In our geometry, the spallation target is wrapped symmetrically around the UCN converter to permit raster scanning the proton beam over a relatively large volume of tungsten spallation target to reduce the demand on the cooling requirements, which makes it reasonable to assume that water edge-cooling only is sufficient. Our design is refined in several steps to reach $P_{UCN}=2.1\times10^9\,/$s under our other restriction of 1 MW maximum available proton beam power. We then study effects of the He-II scattering kernel as well as reductions in $P_{UCN}$ due to pressurization to reach $P_{UCN}=1.8\times10^9\,/$s. Finally, we provide a design for the UCN extraction system that takes into account the required He-II heat transport properties and implementation of a He-II containment foil that allows UCN transmission. We estimate a total useful UCN current from our source of $R_{use}=5\times10^8\,/$s from a 18 cm diameter guide 5 m from the source. Under a conservative "no return" approximation, this rate can produce an extracted density of $>1\times10^4\,/$cm$^3$ in $<$1000~L external experimental volumes with a $^{58}$Ni (335 neV) cut-off potential.


title: Topological phase transition in non-Hermitian quasicrystals

abstract: The discovery of topological phases in non-Hermitian open classical and quantum systems challenges our current understanding of topological order. Non-Hermitian systems exhibit unique features with no counterparts in topological Hermitian models, such as failure of the conventional bulk-boundary correspondence and non-Hermitian skin effect. Advances in the understanding of the topological properties of non-Hermitian lattices with translational invariance have been reported in several recent studies, however little is known about non-Hermitian quasicrystals. Here we disclose topological phases in a quasicrystal with parity-time ($\mathcal{PT}$) symmetry, described by a non-Hermitian extension of the Aubry-Andr\'e-Harper model. It is shown that the metal-insulating phase transition, observed at the $\mathcal{PT}$ symmetry breaking point, is of topological nature and can be expressed in terms of a winding number. A photonic realization of a non-Hermitian quasicrystal is also suggested.


title: Strong Cosmic Censorship in Charged de Sitter spacetime with Scalar Field Non-minimally Coupled to Curvature

abstract: We examine the stability and the strong cosmic censorship in the Reissner-Nordstrom-de Sitter (RN-dS) black hole by investigating the evolution of a scalar field non-minimally coupled to the curvature. We find that when the coupling parameter is negative, the RN-dS black hole experiences instability. The instability disappears when the coupling parameter becomes non-negative. With the increase of the coupling parameter, the violation of the strong cosmic censorship occurs at a larger critical charge ratio. But such an increase of the critical charge is suppressed by the increase of the cosmological constant. Different from the minimal coupling situation, it is possible to accommodate $\beta\ge1$ in the near extremal black hole when the scalar field is non-minimally coupled to curvature. The increase of the cosmological constant can allow $\beta\ge1$ to be satisfied for even smaller value of the coupling parameter. The existence of $\beta\ge1$ implies that the resulting curvature can continuously cross the Cauchy horizon.


title: On the Critical Difference of Almost Bipartite Graphs

abstract: A set $S\subseteq V$ is \textit{independent} in a graph $G=\left( V,E\right) $ if no two vertices from $S$ are adjacent. The \textit{independence number} $\alpha(G)$ is the cardinality of a maximum independent set, while $\mu(G)$ is the size of a maximum matching in $G$. If $\alpha(G)+\mu(G)$ equals the order of $G$, then $G$ is called a \textit{K\"{o}nig-Egerv\'{a}ry graph }\cite{dem,ster}. The number $d\left( G\right) =\max\{\left\vert A\right\vert -\left\vert N\left( A\right) \right\vert :A\subseteq V\}$ is called the \textit{critical difference} of $G$ \cite{Zhang} (where $N\left( A\right) =\left\{ v:v\in V,N\left( v\right) \cap A\neq\emptyset\right\} $). It is known that $\alpha(G)-\mu(G)\leq d\left( G\right) $ holds for every graph \cite{Levman2011a,Lorentzen1966,Schrijver2003}. In \cite{LevMan5} it was shown that $d(G)=\alpha(G)-\mu(G)$ is true for every K\"{o}nig-Egerv\'{a}ry graph. A graph $G$ is \textit{(i)} \textit{unicyclic} if it has a unique cycle, \textit{(ii)} \textit{almost bipartite} if it has only one odd cycle. It was conjectured in \cite{LevMan2012a,LevMan2013a} and validated in \cite{Bhattacharya2018} that $d(G)=\alpha(G)-\mu(G)$ holds for every unicyclic non-K\"{o}nig-Egerv\'{a}ry graph $G$. In this paper we prove that if $G$ is an almost bipartite graph of order $n\left( G\right) $, then $\alpha(G)+\mu(G)\in\left\{ n\left( G\right) -1,n\left( G\right) \right\} $. Moreover, for each of these two values, we characterize the corresponding graphs. Further, using these findings, we show that the critical difference of an almost bipartite graph $G$ satisfies \[ d(G)=\alpha(G)-\mu(G)=\left\vert \mathrm{core}(G)\right\vert -\left\vert N(\mathrm{core}(G))\right\vert , \] where by \textrm{core}$\left( G\right) $ we mean the intersection of all maximum independent sets.


title: On Dark Energy and Quantum Gravity

abstract: Realizing dark energy and the observed de Sitter spacetime in quantum gravity has proven to be obstructed in most every usual approach. We argue that additional degrees of freedom of the left- and right-movers in string theory and a resulting doubled, non-commutatively generalized geometric formulation thereof can lead to an effective model of dark energy consistent with de Sitter spacetime. In this approach, the curvature of the canonically conjugate dual space provides for the dark energy inducing a positive cosmological constant in the observed spacetime, whereas the size of the above dual space is the gravitational constant in the same observed de Sitter spacetime. As a hallmark relation owing to a unique feature of string theory which relates short distances to long distances, the cosmological constant scale, the Planck scale, and the effective TeV-sized particle physics scale must satisfy a see-saw-like formula---precisely the generic prediction of certain stringy cosmic brane type models.


title: Hyperbolic vacuum decay

abstract: The properties of an hyperbolically-expanding wormhole are studied. Using a particular equation of state for the fluid on the wormhole throat, we reached an equation of motion for the throat that leads to a constant surface energy density $\sigma$. The Lagrangean leading to the above equation of motion contains the "rest mass" of the expanding particle as a potential energy. The associated Hamiltonian corresponds to a relativistic free particle of a total Planck energy $E_{P}$. When the wormhole is embedded in de Sitter space, we found that the cosmological constant is of Planck order of magnitude but hidden at very tiny scales, in accordance with Carlip's recipe.


title: A general class of gravitational theories as alternatives to dark matter where the speed of gravity always equals the speed of light

abstract: A number of theories of gravity have been proposed as proxies for dark matter in the regime of galaxies and cosmology. The recent observations of gravitational waves (GW170817) from the merger of two neutron stars, followed by an electromagnetic counterpart (GW170817a) have placed stringent constraints on the difference of the speed of gravity to the speed of light, severely restricting the phenomenological viability of such theories. We revisit the impact of these observations on the Tensor-Vector-Scalar (TeVeS) paradigm of relativistic Modified Newtonian Dynamics (MOND) and demonstrate the existence of a previously unknown class of this paradigm where the speed of gravity always equals the speed of light. We show that this holds without altering the usual (bimetric) MOND phenomenology in galaxies.


title: On the deviation from Maxwellian of the ion velocity distribution functions in the turbulent magnetosheath

abstract: The degree of deviation from the thermodynamic equilibrium in the ion velocity distribution functions (VDFs), measured by the Magnetospheric Multiscale (MMS) mission in the Earth's turbulent magnetosheath, is quantitatively investigated. Taking advantage of MMS ion data, having a resolution never reached before in space missions, and of the comparison with Vlasov-Maxwell simulations, this analysis aims at relating any deviation from Maxwellian equilibrium to typical plasma parameters. Correlations of the non-Maxwellian features with plasma quantities such as electric fields, ion temperature, current density and ion vorticity are very similar in both magnetosheath data and numerical experiments, and suggest that distortions in the ion VDFs occur close to (but not exactly at) peaks in current density and ion temperature. Similar results have also been found during a magnetopause crossing by MMS. This work could help clarifying the origin of distortion of the ion VDFs in space plasmas.


title: Constraining Lyman-alpha spatial offsets at $3<z<5.5$ from VANDELS slit spectroscopy

abstract: We constrain the distribution of spatially offset Lyman-alpha emission (Ly$\alpha$) relative to rest-frame ultraviolet emission in $\sim300$ high redshift ($3<z<5.5$) Lyman-break galaxies (LBGs) exhibiting Ly$\alpha$ emission from VANDELS, a VLT/VIMOS slit-spectroscopic survey of the CANDELS Ultra Deep Survey and Chandra Deep Field South fields (${\simeq0.2}~\mathrm{deg}^2$ total). Because slit spectroscopy compresses two-dimensional spatial information into one spatial dimension, we use Bayesian inference to recover the underlying Ly$\alpha$ spatial offset distribution. We model the distribution using a 2D circular Gaussian, defined by a single parameter $\sigma_{r,\mathrm{Ly}\alpha}$, the standard deviation expressed in polar coordinates. Over the entire redshift range of our sample ($3<z<5.5$), we find $\sigma_{r,\mathrm{Ly}\alpha}=1.70^{+0.09}_{-0.08}$ kpc ($68\%$ conf.), corresponding to $\sim0.25$ arcsec at $\langle z\rangle=4.5$. We also find that $\sigma_{r,\mathrm{Ly}\alpha}$ decreases significantly with redshift. Because Ly$\alpha$ spatial offsets can cause slit-losses, the decrease in $\sigma_{r,\mathrm{Ly}\alpha}$ with redshift can partially explain the increase in the fraction of Ly$\alpha$ emitters observed in the literature over this same interval, although uncertainties are still too large to reach a strong conclusion. If $\sigma_{r,\mathrm{Ly}\alpha}$ continues to decrease into the reionization epoch, then the decrease in Ly$\alpha$ transmission from galaxies observed during this epoch might require an even higher neutral hydrogen fraction than what is currently inferred. Conversely, if spatial offsets increase with the increasing opacity of the IGM, slit losses may explain some of the drop in Ly$\alpha$ transmission observed at $z>6$. Spatially resolved observations of Ly$\alpha$ and UV continuum at $6<z<8$ are needed to settle the issue.


title: Phase Space Analysis for Anisotropic Universe with Nonlinear Bulk Viscosity

abstract: In this paper, we discuss the phase space analysis of locally rotationally symmetric Bianchi type I universe model by taking a noninteracting mixture of dust like and viscous radiation like fluid whose viscous pressure satisfies a nonlinear version of the Israel-Stewart transport equation. An autonomous system of equations is established by defining normalized dimensionless variables. In order to investigate the stability of the system, we evaluate corresponding critical points for different values of the parameters. We also compute the power-law scale factor whose behavior indicates different phases of the universe model. It is found that our analysis does not provide a complete immune from fine-tuning because the exponentially expanding solution occurs only for a a particular range of parameters. We conclude that stable solutions exist in the presence of nonlinear model for bulk viscosity with different choices of the constant parameter $m$ for anisotropic universe.


title: Rohlin actions of finite groups on the Razak-Jacelon algebra

abstract: Let $A$ be a simple separable nuclear C$^*$-algebra with a unique tracial state and no unbounded traces, and let $\alpha$ be a strongly outer action of a finite group $G$ on $A$. In this paper, we show that $\alpha\otimes \mathrm{id}$ on $A\otimes\mathcal{W}$ has the Rohlin property, where $\mathcal{W}$ is the Razak-Jacelon algebra. Combing this result with the recent classification results and our previous result, we see that such actions are unique up to conjugacy.


title: Frobenius manifolds and a new class of extended affine Weyl groups $\widetilde{W}^{(k,k+1)}(A_l)$

abstract: We present a new class of extended affine Weyl groups $\widetilde{W}^{(k,k+1)}(A_l)$ for $1\leq k <l$ and obtain an analogue of Chevalley-type theorem for their invariants. We further show the existence of Frobenius manifold structures on the orbit spaces of $\widetilde{W}^{(k,k+1)}(A_l)$ and also construct Landau--Ginzburg superpotentials for these Frobenius manifold structures.


title: Tidal disruption events onto stellar black holes in triples

abstract: Stars passing too close to a black hole can produce tidal disruption events (TDEs), when the tidal force across the star exceeds the gravitational force that binds it. TDEs have usually been discussed in relation to massive black holes that reside in the centres of galaxies or lurk in star clusters. In this paper, we investigate the possibility that triple stars hosting a stellar black hole (SBH) may be sources of TDEs. We start from a triple system made up of three main sequence (MS) stars and model the supernova (SN) kick event that led to the production of an inner binary comprised of a SBH. We evolve these triples in isolation with a high precision $N$-body code and study their TDEs as a result of Kozai-Lidov oscillations. We explore a variety of distributions of natal kicks imparted during the SN event, various maximum initial separations for the triples, and different distributions of eccentricities. We show that the main parameter that governs the properties of the SBH-MS binaries which produce a TDE in triples is the mean velocity of the natal kick distribution. Smaller $\sigma$'s lead to larger inner and outer semi-major axes of the systems that undergo a TDE, smaller SBH masses, and longer timescales. We find that the fraction of systems that produce a TDE is roughly independent of the initial conditions, while estimate a TDE rate of $7.3\times 10^{-5}-4.1 \ \mathrm{yr}^{-1}$, depending on the prescriptions adopted for the SBH natal kicks. This rate is almost comparable to the expected TDE rate for massive black holes.


title: EEG Classification by factoring in Sensor Configuration

abstract: Electroencephalography (EEG) serves as an effective diagnostic tool for mental disorders and neurological abnormalities. Enhanced analysis and classification of EEG signals can help improve detection performance. A new approach is examined here for enhancing EEG classification performance by leveraging knowledge of spatial layout of EEG sensors. Performance of two classification models - model 1 that ignores the sensor layout and model 2 that factors it in - is investigated and found to achieve consistently higher detection accuracy. The analysis is based on the information content of these signals represented in two different ways: concatenation of the channels of the frequency bands and an image-like 2D representation of the EEG channel locations. Performance of these models is examined on two tasks, social anxiety disorder (SAD) detection, and emotion recognition using a dataset for emotion analysis using physiological signals (DEAP). We hypothesized that model 2 will significantly outperform model 1 and this was validated in our results as model 2 yielded $5$--$8\%$ higher accuracy in all machine learning algorithms investigated. Convolutional Neural Networks (CNN) provided the best performance far exceeding that of Support Vector Machine (SVM) and k-Nearest Neighbors (kNNs) algorithms.


title: A Finite Horizon Optimal Switching Problem with Memory and Application to Controlled SDDEs

abstract: We consider an optimal switching problem where the terminal reward depends on the entire control trajectory. We show existence of an optimal control by applying a probabilistic technique based on the concept of Snell envelopes. We then apply this result to solve an impulse control problem for stochastic delay differential equations driven by a Brownian motion and an independent compound Poisson process. Furthermore, we show that the studied problem arises naturally when maximizing the revenue from operation of a group of hydro-power plants with hydrological coupling.


title: Machine Learning for Pricing American Options in High-Dimensional Markovian and non-Markovian models

abstract: In this paper we propose two efficient techniques which allow one to compute the price of American basket options. In particular, we consider a basket of assets that follow a multi-dimensional Black-Scholes dynamics. The proposed techniques, called GPR Tree (GRP-Tree) and GPR Exact Integration (GPR-EI), are both based on Machine Learning, exploited together with binomial trees or with a closed formula for integration. Moreover, these two methods solve the backward dynamic programming problem considering a Bermudan approximation of the American option. On the exercise dates, the value of the option is first computed as the maximum between the exercise value and the continuation value and then approximated by means of Gaussian Process Regression. The two methods mainly differ in the approach used to compute the continuation value: a single step of binomial tree or integration according to the probability density of the process. Numerical results show that these two methods are accurate and reliable in handling American options on very large baskets of assets. Moreover we also consider the rough Bergomi model, which provides stochastic volatility with memory. Despite this model is only bidimensional, the whole history of the process impacts on the price, and handling all this information is not obvious at all. To this aim, we present how to adapt the GPR-Tree and GPR-EI methods and we focus on pricing American options in this non-Markovian framework.


title: Short-time expansion of Heisenberg operators in open collective quantum spin systems

abstract: We present a new method to compute short-time expectation values in large collective spin systems with generic Markovian decoherence. Our method is based on a Taylor expansion of a formal solution to the equations of motion for Heisenberg operators. This expansion can be truncated at finite order to obtain virtually exact results at short times that are relevant for metrological applications such as spin squeezing. In order to evaluate the expansion for Heisenberg operators, we compute the relevant structure constants of a collective spin operator algebra. We demonstrate the utility of our method by computing spin squeezing, two-time correlation functions, and out-of-time-ordered correlators for $10^4$ spins in strong-decoherence regimes that are otherwise inaccessible via existing numerical methods. Our method can be straightforwardly generalized to the case of a collective spin coupled to bosonic modes, relevant for trapped ion and cavity QED experiments, and may be used to investigate short-time signatures of quantum chaos and information scrambling.


title: Modified Gravity (MOG) fits to observed radial acceleration of SPARC galaxies

abstract: The equation of motion in the generally covariant modified gravity (MOG) theory leads, for weak gravitational fields and non-relativistic motion, to a modification of Newton's gravitational acceleration law. In addition to the metric $g_{\mu\nu}$, MOG has a vector field $\phi_\mu$ that couples with gravitational strength to all baryonic matter. The gravitational coupling strength is determined by the MOG parameter $\alpha$, while parameter $\mu$ is the small effective mass of $\phi_\mu$. The MOG acceleration law has been demonstrated to fit a wide range of galaxies, galaxy clusters and the Bullet Cluster and Train Wreck Cluster mergers. For the SPARC sample of rotationally supported spiral and irregular galaxies, McGaugh et al. [24] (MLS) have found a radial acceleration relation (RAR) that relates accelerations derived from galaxy rotation curves to Newtonian accelerations derived from galaxy mass models. Using the same SPARC galaxy data, mass models independently derived from that data, and MOG parameters $\alpha$ and $\mu$ that run with galaxy mass, we demonstrate that adjusting galaxy parameters within $\pm 1$-sigma bounds can yield MOG predictions consistent with the given rotational velocity data. Moreover, the same adjusted parameters yield a good fit to the RAR of MLS, with the RAR parameter $a_0=(5.4\pm .3)\times 10^{-11}\,{\rm m/s^2}$.


title: Bouncing cosmology in an Extended Theory of Gravity

abstract: We have investigated some bouncing models in the framework of an extended gravity theory where the usual Ricci scalar in the gravitational action is replaced by a sum of the Ricci scalar and a term proportional to the trace of the energy momentum tensor. The dynamical parameters of the model are derived in most general manner. We considered two bouncing scenarios through an exponential and a power law scale factor. The non singular bouncing models also favour a late time cosmic speed up phenomenon. The dynamical behaviour of the equation of state parameter is studied for the models. It is observed that, near the bounce, the dynamics is substantially affected by the coupling parameter of the modified gravity theory as compared to the parameters of the bouncing scale factors.


title: Private Queries on Public Certificate Transparency Data

abstract: Despite increasing advancements in today's information exchange infrastructure, the preservation of user data and privacy still remains a problem. Both insecure baselines and secure solutions leak user data. For example, Certificate Transparency (CT) promises significant security improvements to existing Public Key Infrastructure solutions that up-to-now have solely relied on the Certificate Authority hierarchy. CT provides a robust auditing layer and transparency solution to quickly detect such compromises, but introduces the requirement that client browsers interact with third-party servers when validating a site certificate. In the existing CT system, these requests leak information about each user's browsing habits to the hosting server. It is not a stretch to think that this valuable data could be collected and exploited, as corporations and governments have plenty of financial and political incentive to do so. In this project, we seek to address this problem by using an oblivious file sharing system with strong anonymity properties, to provide a more scalable, performant solution to privacy-preserving queries.


title: Constraint on the solar $\Delta m^2$ using 4,000 days of short baseline reactor neutrino data

abstract: There is a well known 2$\sigma$ tension in the measurements of the solar $\Delta m^2$ between KamLAND and SNO/Super-KamioKANDE. Precise determination of the solar $\Delta m^2$ is especially important in connection with current and future long baseline CP violation measurements. Reference \cite{Seo:2018rrb} points out that currently running short baseline reactor neutrino experiments, Daya Bay and RENO, can also constrain solar $\Delta m^2$ value as demonstrated by a GLoBES simulation with a limited systematic uncertainty consideration. In this work, the publicly available data, from Daya Bay (1,958 days) and RENO (2,200 days) are used to constrain the solar $\Delta m^2$. Verification of our method through $\Delta m^2_{ee}$ and $\sin^2 \theta_{13}$ measurements is discussed in Appendix A. Using this verified method, reasonable constraints on the solar $\Delta m^2$ are obtained using above Daya Bay and RENO data, both individually and combined. We find that the combined data of Daya Bay and RENO set an upper limit on the solar $\Delta m^2$ of 18 $\times 10^{-5}$ eV$^2$ at the 95% C.L., including both systematic and statistical uncertainties. This constraint is slightly more than twice the KamLAND value. As this combined result is still statistics limited, even though driven by Daya Bay data, the constraint will improve with the additional running of this experiment.


title: Stochastic Real-time Power Dispatch with Large-scale Wind Power Integration and its Analytical solution

abstract: Real-time power dispatch (RTD) can coordinate wind farms, automatic generation control (AGC) units and non AGC units. In RTD, the probable wind power forecast errors (WPFE) should be appropriately formulated to ensure system security with high probability and minimize operational cost. Previous studies and our onsite tests show that Cauchy distribution (CD) effectively fits the leptokurtic feature of small timescale WPFE distributions. In this paper, we propose a chance-constrained real time dispatch (CCRTD) model with the WPFE represented by CD. Since the CD is stable and has promising mathematical characteristics, the proposed CCRTD model can be analytically transformed to a convex optimization problem considering the dependence among wind farms outputs. Moreover, the proposed model incorporates an affine control strategy compatible with AGC systems. This strategy makes the CCRTD adaptively take into account both the additional power ramping requirement and power variation on transmission lines caused by WPFE in RTD stage. Numerical test results show that the proposed method is reliable and effective. Meanwhile it is very efficient and suitable for real-time application.


title: Constrained Design of Deep Iris Networks

abstract: Despite the promise of recent deep neural networks in the iris recognition setting, there are vital properties of the classic IrisCode which are almost unable to be achieved with current deep iris networks: the compactness of model and the small number of computing operations (FLOPs). This paper re-models the iris network design process as a constrained optimization problem which takes model size and computation into account as learning criteria. On one hand, this allows us to fully automate the network design process to search for the best iris network confined to the computation and model compactness constraints. On the other hand, it allows us to investigate the optimality of the classic IrisCode and recent iris networks. It also allows us to learn an optimal iris network and demonstrate state-of-the-art performance with less computation and memory requirements.


title: Spectral shaping of the biphoton state from multiplexed thermal atomic ensembles

abstract: We theoretically investigate the spectral property of a biphoton state from multiplexed thermal atomic ensembles. This biphoton state originates from the cascade emissions, which can be generated by two weak pump fields under four-wave mixing condition. Under this condition, a signal photon from the upper transition, chosen in a telecommunication bandwidth, can be generated along with a correlated idler photon from the lower infrared transition. We can spectrally shape the biphoton state by multiplexing the atomic ensembles with frequency-shifted emissions, where the entropy of entanglement can be analyzed via Schmidt decompositions. We find that this spectral entanglement increases when more vapor cells are multiplexed with correlated or anti-correlated signal and idler fields. The eigenvalues in Schmidt bases approach degenerate under this multiplexing scheme, and corresponding Schmidt numbers can be larger than the number of the multiplexed vapor cells, showing the enlarged entropy of entanglement and excess correlated modes in continuous frequency spaces. We also investigate the lowest entropy of entanglement allowed in the multiplexing scheme, which is preferential for generating a pure single photon source. This shows the potentiality to spectrally shape the biphoton source, where high-capacity spectral modes can be applied in long-distance quantum communication and multimode quantum information processing.


title: Towards Generation and Evaluation of Comprehensive Mapping Robot Datasets

abstract: This paper presents a fully hardware synchronized mapping robot with support for a hardware synchronized external tracking system, for super-precise timing and localization. We also employ a professional, static 3D scanner for ground truth map collection. Three datasets are generated to evaluate the performance of mapping algorithms within a room and between rooms. Based on these datasets we generate maps and trajectory data, which is then fed into evaluation algorithms. The mapping and evaluation procedures are made in a very easily reproducible manner for maximum comparability. In the end we can draw a couple of conclusions about the tested SLAM algorithms.


title: Collimated UV light generation by two-photon excitation to a Rydberg state in Rb vapor

abstract: We use two continuous-wave (CW) laser beams of 780 nm and 515 nm to optically drive $^{85}$Rb atoms in a heated vapor cell to a low-lying Rydberg state 10D$_{5/2}$. We observe a collimated ultraviolet (UV) beam at 311 nm, corresponding to the transition frequency from the 11P$_{3/2}$ state to the 5S$_{1/2}$ state. This indicates the presence of a coherent four-wave mixing process, built up by two input laser fields as well as a terahertz (THz) radiation of 3.28 THz that is generated by amplified spontaneous emission between the 10D$_{5/2}$ and the 11P$_{3/2}$ states. We characterize the 311 nm UV light generation and its dependence on various physical parameters. This scheme could open up a new possibility for generating narrow-band THz waves as well as deep UV radiation.


title: Gamow shell model description of $^4$He($d$,$d$) elastic scattering reactions

abstract: Structure of weakly bound/unbound light nuclei is often related to the low-energy decay channels involving composite particles like deuteron or ${\alpha}$-particle. These channels are essential to understand the appearance of light nuclei in the Big Bang nucleosynthesis or the helium fusion. We generalize the Gamow shell model (GSM) in coupled-channel (GSM-CC) representation to include reaction channels with the composite particles. In the core + valence particle formulation, this unified microscopic approach for structure and reactions involving weakly bound/unbound nuclei can be also applied to study low-energy properties of heavy nuclei. As the first application of this generalized GSM-CC approach, we describe the structure of 6Li and deuteron - ${\alpha}$-particle elastic scattering using the same effective Furutani-Horiuchi-Tamagaki (FHT) type nucleon-nucleon interaction. Asymptotically, the deuteron structure including its continuum is described using the N3LO chiral force. The bulk of the data, including low-energy spectrum of 6Li, asymptotic normalization coefficients, and angular differential cross sections are satisfactorily described.


title: Simple Bounds for the Symmetric Capacity of the Rayleigh Fading Multiple Access Channel

abstract: Communication over the i.i.d. Rayleigh slow-fading MAC is considered, where all terminals are equipped with a single antenna. Further, a communication protocol is considered where all users transmit at (just below) the symmetric capacity (per user) of the channel, a rate which is fed back (dictated) to the users by the base station. Tight bounds are established on the distribution of the rate attained by the protocol. In particular, these bounds characterize the probability that the dominant face of the MAC capacity region contains a symmetric rate point, i.e., that the considered protocol strictly attains the sum capacity of the channel. The analysis provides a non-asymptotic counterpart to the diversity-multiplexing tradeoff of the multiple access channel. Finally, a practical scheme based on integer-forcing and space-time precoding is shown to be an effective coding architecture for this communication scenario.


title: Oscillation of solutions of LDE's in domains conformally equivalent to unit disc

abstract: Oscillation of solutions of $f^{(k)} + a_{k-2} f^{(k-2)} + \dotsb + a_1 f' +a_0 f = 0$ is studied in domains conformally equivalent to the unit disc. The results are applied, for example, to Stolz angles, horodiscs, sectors and strips. The method relies on a new conformal transformation of higher order linear differential equations. Information on the existence of zero-free solution bases is also obtained.


title: Zoology of Solid & Fluid Holography : Goldstone Modes and Phase Relaxation

abstract: We provide a comprehensive classification of isotropic solid and fluid holographic models with broken translational invariance. We describe in detail the collective modes in both the transverse and longitudinal sectors. First, we discuss holographic fluid models, i.e. systems invariant under internal volume preserving diffeomorphisms. We consider the explicit (EXB) and the spontaneous (SSB) breaking of translations and we emphasize the differences with respect to their solid counterpart. Then, we present a study of the longitudinal collective modes in simple holographic solid and fluid models exhibiting the interplay between SSB and EXB. We confirm the presence of light pseudo-phonons obeying the Gell-Mann-Oakes-Renner relation and the validity of the relation proposed in the literature between the novel phase relaxation scale, the mass of the pseudo-Golstone modes and the Goldstone diffusion. Moreover, we find very good agreement between the dispersion relation of our longitudinal sound mode and the formulae derived from the Hydro$+$ framework. Finally, our results suggest that the crystal diffusion mode does not acquire a simple damping term because of the novel relaxation scale proportional to the EXB. The dynamics is more complex and it involves the interplay of three modes: the crystal diffusion and two more arising from the splitting of the original sound mode. In this sense, the novel relaxation scale, which comes from the explicit breaking of the global internal shift symmetry of the St\"uckelberg fields, is different from the one induced by elastic defects, and depending solely on the SSB scale.


title: Nanoporous Aluminum-Magnesium Alloy for UV enhanced spectroscopy

abstract: We report the first preparation of nanoporous Al-Mg alloy films by selective dissolution of Mg from a Mg-rich AlxMg1-x alloy. We show how to tune the stoichiometry, the porosity and the oxide contents in the final film by modulating the starting ratio between Al and Mg and the dealloying procedure. The obtained porous metal can be exploited for enhanced UV spectroscopy. In this respect, we experimentally demonstrate its efficacy in enhancing fluorescence and surface Raman scattering for excitation wavelengths of 360 nm and 257 nm respectively. Finally, we numerically show the superior performance of the nanoporous Al-Mg alloy in the UV range when compared to equivalent porous gold structures. The large area to surface ratio provided by this material make it a promising platform for a wide range of applications in UV/deep-UV plasmonics.


title: Simple Muscle Architecture Analysis (SMA): an ImageJ macro tool to automate measurements in B-mode ultrasound scans

abstract: In vivo measurements of muscle architecture (i.e. the spatial arrangement of muscle fascicles) are routinely included in research and clinical settings to monitor muscle structure, function and plasticity. However, in most cases such measurements are performed manually, and more reliable and time-efficient automated methods are either lacking completely, or are inaccessible to those without expertise in image analysis. In this work, we propose an ImageJ script to automate the entire analysis process of muscle architecture in ultrasound images: Simple Muscle Architecture Analysis (SMA). Images are filtered in the spatial and frequency domains with built-in commands and external plugins to highlight aponeuroses and fascicles. Fascicle dominant orientation is then computed in regions of interest using the OrientationJ plugin. Bland-Altman plots of analyses performed manually or with SMA indicates that the automated analysis does not induce any systematic bias and that both methods agree equally through the range of measurements. Our test results illustrate the suitability of SMA to analyse images from superficial muscles acquired with a broad range of ultrasound settings.


title: WALLABY Early Science - III. An HI Study of the Spiral Galaxy NGC 1566

abstract: This paper reports on the atomic hydrogen gas (HI) observations of the spiral galaxy NGC 1566 using the newly commissioned Australian Square Kilometre Array Pathfinder (ASKAP) radio telescope. We measure an integrated HI flux density of $180.2$ Jy km s$^{-1}$ emanating from this galaxy, which translates to an HI mass of $1.94\times10^{10}$M$_\circ$ at an assumed distance of $21.3$ Mpc. Our observations show that NGC 1566 has an asymmetric and mildly warped HI disc. The HI-to-stellar mass fraction of NGC 1566 is $0.29$, which is high in comparison with galaxies that have the same stellar mass ($10^{10.8}$M$_\circ$). We also derive the rotation curve of this galaxy to a radius of $50$ kpc and fit different mass models to it. The NFW, Burkert and pseudo-isothermal dark matter halo profiles fit the observed rotation curve reasonably well and recover dark matter fractions of $0.62$, $0.58$ and $0.66$, respectively. Down to the column density sensitivity of our observations ($N_{HI} = 3.7\times10^{19}$ cm$^{-2}$), we detect no HI clouds connected to, or in the nearby vicinity of, the HI disc of NGC 1566 nor nearby interacting systems. We conclude that, based on a simple analytic model, ram pressure interactions with the IGM can affect the HI disc of NGC 1566 and is possibly the reason for the asymmetries seen in the HI morphology of NGC 1566.


title: Combine PPO with NES to Improve Exploration

abstract: We introduce two approaches for combining neural evolution strategy (NES) and proximal policy optimization (PPO): parameter transfer and parameter space noise. Parameter transfer is a PPO agent with parameters transferred from a NES agent. Parameter space noise is to directly add noise to the PPO agent`s parameters. We demonstrate that PPO could benefit from both methods through experimental comparison on discrete action environments as well as continuous control tasks


title: Riesz distributions and Laplace transform in the Dunkl setting of type A

abstract: We study Riesz distributions in the framework of rational Dunkl theory associated with root systems of type A. As an important tool, we employ a Laplace transform involving the associated Dunkl kernel, which essentially goes back to Macdonald, but was so far only established at a formal level. We give a rigorous treatment of this transform based on suitable estimates of the type A Dunkl kernel. Our main result is a precise analogue in the Dunkl setting of a well-known result by Gindikin, stating that a Riesz distribution on a symmetric cone is a positive measure if and only if its exponent is contained in the Wallach set. For Riesz distributions in the Dunkl setting, we obtain an analogous characterization in terms of a generalized Wallach set which depends on the multiplicity parameter on the root system.


title: Zero divisors of support size $3$ in group algebras and trinomials divided by irreducible polynomials over $GF(2)$

abstract: A famous conjecture about group algebras of torsion-free groups states that there is no zero divisor in such group algebras. A recent approach to settle the conjecture is to show the non-existence of zero divisors with respect to the length of possible ones, where by the length we mean the size of the support of an element of the group algebra. The case length $2$ cannot be happen. The first unsettled case is the existence of zero divisors of length $3$. Here we study possible length $3$ zero divisors in rational group algebras and in the group algebras over the field with $p$ elements for some prime $p$.


title: Clustered Coloring of Graphs Excluding a Subgraph and a Minor

abstract: A graph coloring has bounded clustering if each monochromatic component has bounded size. Equivalently, it is a partition of the vertices into induced subgraphs with bounded size components. This paper studies clustered colorings of graphs, where the number of colors depends on an excluded minor and/or an excluded subgraph. We prove the following results (for fixed integers $s,t$ and a fixed graph $H$). First we show that graphs with no $K_{s,t}$ subgraph and with no $H$-minor are $(s+2)$-colorable with bounded clustering. The number of colors here is best possible. This result implies that graphs with no $K_{s+1}$-minor are $(s+2)$-colorable with bounded clustering, which is within two colors of the clustered coloring version of Hadwiger's conjecture. For graphs of bounded treewidth (or equivalently, excluding a planar minor) and with no $K_{s,t}$ subgraph, we prove $(s+1)$-choosability with bounded clustering, which is best possible. We then consider excluding an odd minor. We prove that graphs with no $K_{s,t}$ subgraph and with no odd $H$-minor are $(2s+1)$-colorable with bounded clustering, generalizing a result of the first author and Oum who proved the case $s=1$. Moreover, at least $s-1$ color classes are stable sets. Finally, we consider the clustered coloring version of a conjecture of Gerards and Seymour and prove that graphs with no odd $K_{s+1}$-minor are $(8s-4)$-colorable with bounded clustering, which improves on previous such bounds.


title: Cyclotron emission, absorption, and the two faces of X-ray pulsar A 0535+262

abstract: Deep NuSTAR observation of X-ray pulsar A 0535+262, performed at a very low luminosity of $\sim7\times10^{34}$ erg s$^{-1}$, revealed the presence of two spectral components. We argue that the high-energy component is associated with cyclotron emission from recombination of electrons collisionally excited to the upper Landau levels. The cyclotron line energy of $E_{\rm cyc}=47.7\pm0.8$ keV was measured at the luminosity of almost an order of magnitude lower than what was achieved before. The data firmly exclude a positive correlation of the cyclotron energy with the mass accretion rate in this source.


title: Machine-learning based interatomic potential for phonon transport in perfect crystalline Si and crystalline Si with vacancies

abstract: We report that single interatomic potential, developed using Gaussian regression of density functional theory calculation data, has high accuracy and flexibility to describe phonon transport with ab initio accuracy in two different atomistic configurations: perfect crystalline Si and crystalline Si with vacancies. The high accuracy of second- and third-order force constants from the Gaussian approximation potential (GAP) are demonstrated with phonon dispersion, Gr\"uneisen parameter, three-phonon scattering rate, phonon-vacancy scattering rate, and thermal conductivity, all of which are very close to the results from density functional theory calculation. We also show that the widely used empirical potentials (Stillinger-Weber and Tersoff) produce much larger errors compared to the GAP. The computational cost of GAP is higher than the two empirical potentials, but five orders of magnitude lower than the density functional theory calculation. Our work shows that GAP can provide a new opportunity for studying phonon transport in partially disordered crystalline phases with the high predictive power of ab initio calculation but at a feasible computational cost.


title: Energy management of small-scale PV-battery systems: A systematic review considering practical implementation, computational requirements, quality of input data and battery degradation

abstract: The home energy management problem has many different facets, including economic viability, data uncertainty and quality of strategy employed. The existing literature in this area focuses on individual aspects of this problem without a detailed, holistic analysis of the results with regards to practicality in implementation. In this paper, we fill this gap by performing a comprehensive comparison of seven different energy management strategies, each with different levels of practicality, sophistication and computational requirements. We analyse the results in the context of these three characteristics, and also critique the modelling assumptions made by each strategy. Our analysis finds that using a more sophisticated energy management strategy may not necessarily improve the performance and economic viability of the PV-battery system due to the effects of modeling assumptions, such as the treatment of uncertainties in the input data and battery degradation effects.


title: Teleoperator Imitation with Continuous-time Safety

abstract: Learning to effectively imitate human teleoperators, with generalization to unseen and dynamic environments, is a promising path to greater autonomy enabling robots to steadily acquire complex skills from supervision. We propose a new motion learning technique rooted in contraction theory and sum-of-squares programming for estimating a control law in the form of a polynomial vector field from a given set of demonstrations. Notably, this vector field is provably optimal for the problem of minimizing imitation loss while providing continuous-time guarantees on the induced imitation behavior. Our method generalizes to new initial and goal poses of the robot and can adapt in real-time to dynamic obstacles during execution, with convergence to teleoperator behavior within a well-defined safety tube. We present an application of our framework for pick-and-place tasks in the presence of moving obstacles on a 7-DOF KUKA IIWA arm. The method compares favorably to other learning-from-demonstration approaches on benchmark handwriting imitation tasks.


title: Pose estimator and tracker using temporal flow maps for limbs

abstract: For human pose estimation in videos, it is significant how to use temporal information between frames. In this paper, we propose temporal flow maps for limbs (TML) and a multi-stride method to estimate and track human poses. The proposed temporal flow maps are unit vectors describing the limbs' movements. We constructed a network to learn both spatial information and temporal information end-to-end. Spatial information such as joint heatmaps and part affinity fields is regressed in the spatial network part, and the TML is regressed in the temporal network part. We also propose a data augmentation method to learn various types of TML better. The proposed multi-stride method expands the data by randomly selecting two frames within a defined range. We demonstrate that the proposed method efficiently estimates and tracks human poses on the PoseTrack 2017 and 2018 datasets.


title: Bayesian Item Response Modeling in R with brms and Stan

abstract: Item Response Theory (IRT) is widely applied in the human sciences to model persons' responses on a set of items measuring one or more latent constructs. While several R packages have been developed that implement IRT models, they tend to be restricted to respective prespecified classes of models. Further, most implementations are frequentist while the availability of Bayesian methods remains comparably limited. We demonstrate how to use the R package brms together with the probabilistic programming language Stan to specify and fit a wide range of Bayesian IRT models using flexible and intuitive multilevel formula syntax. Further, item and person parameters can be related in both a linear or non-linear manner. Various distributions for categorical, ordinal, and continuous responses are supported. Users may even define their own custom response distribution for use in the presented framework. Common IRT model classes that can be specified natively in the presented framework include 1PL and 2PL logistic models optionally also containing guessing parameters, graded response and partial credit ordinal models, as well as drift diffusion models of response times coupled with binary decisions. Posterior distributions of item and person parameters can be conveniently extracted and post-processed. Model fit can be evaluated and compared using Bayes factors and efficient cross-validation procedures.


title: Effect of the spatial curvature of the Universe on the form of the gravitational potential

abstract: Within the cosmic screening approach, we obtain the exact formulas for the velocity-independent gravitational potentials produced by matter in the form of discrete sources distributed in the open and closed Universes. These formulas demonstrate that spatial curvature of the Universe considerably affect the form of the potentials and forces. While in the open Universe the gravitational force undergoes exponential suppression at cosmological distances, in the closed Universe the force induced by an individual mass is equal to zero at the antipodal point with respect to this mass. The derived formulas are applicable for investigations of the motion of astrophysical objects (e.g., galaxies) in the open and closed Universes, and for simulations of the large scale structure formation.


title: Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis

abstract: Successfully synthesizing controllers for complex dynamical systems and specifications often requires leveraging domain knowledge as well as making difficult computational or mathematical tradeoffs. This paper presents a flexible and extensible framework for constructing robust control synthesis algorithms and applies this to the traditional abstraction-based control synthesis pipeline. It is grounded in the theory of relational interfaces and provides a principled methodology to seamlessly combine different techniques (such as dynamic precision grids, refining abstractions while synthesizing, or decomposed control predecessors) or create custom procedures to exploit an application's intrinsic structural properties. A Dubins vehicle is used as a motivating example to showcase memory and runtime improvements.


title: Martin boundary of Brownian motion on Gromov hyperbolic metric graphs

abstract: Let $\widetilde{X}$ be a locally finite complete Gromov hyperbolic metric graph with the geometric boundary consisting of infinitely many points. Suppose that there is a discrete subgroup of the isometry group $Iso(\widetilde{X})$ acting geometrically on $\widetilde{X}$. The $\lambda$-Martin boundary is the boundary of the image of an embedding from $\widetilde{X}$ to the space of $\lambda$-superharmonic functions. We show that the $\lambda$-Martin boundary coincides with the geometric boundary for any $\lambda \in [0, \lambda_0],$ in particular at the bottom of the spectrum $\lambda_0$.


title: Graph Searches and Their End Vertices

abstract: Graph search, the process of visiting vertices in a graph in a specific order, has demonstrated magical powers in many important algorithms. But a systematic study was only initiated by Corneil et al.~a decade ago, and only by then we started to realize how little we understand it. Even the apparently na\"{i}ve question "which vertex can be the last visited by a graph search algorithm," known as the end vertex problem, turns out to be quite elusive. We give a full picture of all maximum cardinality searches on chordal graphs, which implies a polynomial-time algorithm for the end vertex problem of maximum cardinality search. It is complemented by a proof of NP-completeness of the same problem on weakly chordal graphs. We also show linear-time algorithms for deciding end vertices of breadth-first searches on interval graphs, and end vertices of lexicographic depth-first searches on chordal graphs. Finally, we present $2^n\cdot n^{O(1)}$-time algorithms for deciding the end vertices of breadth-first searches, depth-first searches, maximum cardinality searches, and maximum neighborhood searches on general graphs.


title: Ab initio spectroscopic characterization of the radical CH$_3$OCH$_2$ at low temperatures

abstract: Spectroscopic and structural properties of methoxymethyl radical (CH$_3$OCH$_2$, RDME) are determined using explicitly correlated ab initio methods. This radical of astrophysical and atmospheric relevance has not been fully characterized at low temperatures, which has delayed the astrophysical searches. We provide rovibrational parameters, excitations to the low energy electronic states, torsional and inversion barriers and low vibrational energy levels. In the electronic ground state (X$^2$A), which appears "clean" from non-adiabatic effects, the minimum energy structure is an asymmetric geometry which rotational constants and dipole moment have been determined to be A$_0$=46718.6745 MHz, B$_0$=10748.4182 MHz, and C$_0$=9272.5105 MHz, and 1.432 D ($\mu_A$=0.6952 D, $\mu_B$=1.215 D, $\mu_C$=0.3016 D), respectively. A variational procedure has been applied to determine torsion-inversion energy levels. Each level splits into 3 subcomponents (A$_1$/A$_2$ and E) corresponding to the three methyl torsion minima. Although the potential energy surface presents 12 minima, at low temperatures, the infrared band shapes correspond to a surface with only three minima because the top of the inversion V$^{\alpha}$ barrier at ${\alpha}=0^{\circ}$ (109 cm$^{-1}$) stands below the zero point vibrational energy and the CH$_2$ torsional barrier is relatively high ($\sim$2000 cm$^{-1}$). The methyl torsion barrier was computed to be $\sim$500 cm$^{-1}$ and produces a splitting of 0.01 cm$^{-1}$ of the ground vibrational state.


title: Stabilization under round robin scheduling of control inputs in nonlinear systems

abstract: We study stability of multivariable control-affine nonlinear systems under sparsification of feedback controllers. Sparsification in our context refers to the scheduling of the individual control inputs one at a time in rapid periodic sweeps over the set of control inputs, which corresponds to round-robin scheduling. We prove that if a locally asymptotically stabilizing feedback controller is sparsified via the round-robin scheme and each control action is scaled appropriately, then the corresponding equilibrium of the resulting system is stabilized when the scheduling is sufficiently fast; under mild additional conditions, local asymptotic stabilization of the corresponding equilibrium can also be guaranteed. Moreover, the basin of attraction for the equilibrium of scheduled system also remains same as the original system under sufficiently fast switching. Our technical tools are derived from optimal control theory, and our results also contribute to the literature on the stability of switched systems in the fast switching regime. Illustrative numerical examples depicting several subtle features of our results are included.


title: Uncertainty Principle and its rigidity on complete gradient shrinking Ricci solitons

abstract: We prove rigidity theorems for shrinking gradient Ricci solitons supporting the Heisenberg-Pauli-Weyl uncertainty principle with the sharp constant in $\mathbb{R}^n$. In addtion, we partially give analogous rigidity results of the Caffarelli-Kohn-Nirenberg inequalities on shrinking Ricci solitons.


title: Leveraging Uncertainty in Deep Learning for Selective Classification

abstract: The wide and rapid adoption of deep learning by practitioners brought unintended consequences in many situations such as in the infamous case of Google Photos' racist image recognition algorithm; thus, necessitated the utilization of the quantified uncertainty for each prediction. There have been recent efforts towards quantifying uncertainty in conventional deep learning methods (e.g., dropout as Bayesian approximation); however, their optimal use in decision making is often overlooked and understudied. In this study, we propose a mixed-integer programming framework for classification with reject option (also known as selective classification), that investigates and combines model uncertainty and predictive mean to identify optimal classification and rejection regions. Our results indicate superior performance of our framework both in non-rejected accuracy and rejection quality on several publicly available datasets. Moreover, we extend our framework to cost-sensitive settings and show that our approach outperforms industry standard methods significantly for online fraud management in real-world settings.


title: Forward Modeling of the Type III Radio Burst Exciter

abstract: In this work, we propose a forward-modeling method to study the trajectory and speed of the interplanetary (IP) Type-III radio burst exciter. The model assumes that the source of an IP Type-III radio burst moves outward from the Sun following the Parker spiral field line. Using the arrival time of the radio waves at multiple spacecraft, we are able to determine the trajectory of the radio source in the Ecliptic plane, and its outward speed, as well as the injection time and longitude of the associated electron beam near the solar surface that triggers the Type-III radio burst. For the application of this method, we design a system to gather the arrival time of the radio wave from the radio dynamic spectra observed by Solar Terrestrial Relations Observatory (STEREO)/WAVES and Wind/WAVES. Then the system forward models the trajectory and speed of the radio burst exciter iteratively according to an evaluation function. Finally, we present a survey of four Type-III radio bursts that are well discussed in the literature. The modeled trajectories of the radio source are consistent with the previous radio-triangulation results, the longitude of the associated active region, or the location of Langmuir waves excited by the electron beam.


title: Rabi-like oscillation of photonic topological valley Hall edge states

abstract: We investigate Rabi-like oscillations of topological valley Hall edge states by introducing two zigzag domain walls in an inversion-symmetry-breaking honeycomb photonic lattice. Such resonant oscillations are stimulated by weak periodic modulation of the lattice depth along the propagation direction that does not affect the overall symmetry and the band topology of the lattice. Oscillations are accompanied by periodic switching between edge states with the same Bloch momentum, but located at different domain walls. Switching period and efficiency are the nonmonotonic functions of the Bloch momentum in the Brillouin zone. We discuss how efficiency of this resonant process depends on detuning of modulation frequency from resonant value. Switching of nonlinear edge states is also briefly discussed. Our work brings about an effective approach to accomplish resonant oscillations of the valley Hall edge states in time-reversal-invariant topological insulators.


title: True scale-free networks hidden by finite size effects

abstract: We analyze about two hundred naturally occurring networks with distinct dynamical origins to formally test whether the commonly assumed hypothesis of an underlying scale-free structure is generally viable. This has recently been questioned on the basis of statistical testing of the validity of power law distributions of network degrees by contrasting real data. Specifically, we analyze by finite-size scaling analysis the datasets of real networks to check whether purported departures from the power law behavior are due to the finiteness of the sample size. In this case, power laws would be recovered in the case of progressively larger cutoffs induced by the size of the sample. We find that a large number of the networks studied follow a finite size scaling hypothesis without any self-tuning. This is the case of biological protein interaction networks, technological computer and hyperlink networks, and informational networks in general. Marked deviations appear in other cases, especially infrastructure and transportation but also social networks. We conclude that underlying scale invariance properties of many naturally occurring networks are extant features often clouded by finite-size effects due to the nature of the sample data.


title: Fourier restriction in low fractal dimensions

abstract: Let $S \subset \Bbb R^n$ be a smooth compact hypersurface with a strictly positive second fundamental form, $E$ be the Fourier extension operator on $S$, and $X$ be a Lebesgue measurable subset of $\Bbb R^n$. If $X$ contains a ball of each radius, then the problem of determining the range of exponents $(p,q)$ for which the estimate $\| Ef \|_{L^q(X)} \leq C \| f \|_{L^p(S)}$ holds is equivalent to the restriction conjecture. In this paper, we study the estimate under the following assumption on the set $X$: there is a number $0 < \alpha \leq n$ such that $|X \cap B_R| \leq c \, R^\alpha$ for all balls $B_R$ in $\Bbb R^n$ of radius $R \geq 1$. On the left-hand side of this estimate, we are integrating the function $|Ef(x)|^q$ against the measure $\chi_X dx$. Our approach consists of replacing the characteristic function $\chi_X$ of $X$ by an appropriate weight function $H$, and studying the resulting estimate in three different regimes: small values of $\alpha$, intermediate values of $\alpha$, and large values of $\alpha$. In the first regime, we establish the estimate by using already available methods. In the second regime, we prove a weighted H\"{o}lder-type inequality that holds for general non-negative Lebesgue measurable functions on $\Bbb R^n$, and combine it with the result from the first regime. In the third regime, we borrow a recent fractal Fourier restriction theorem of Du and Zhang and combine it with the result from the second regime. In the opposite direction, the results of this paper improve on the Du-Zhang theorem in the range $0 < \alpha < n/2$.


title: Downlink Non-Orthogonal Multiple Access without SIC for Block Fading Channels: An Algebraic Rotation Approach

abstract: In this paper, we investigate the problem of downlink non-orthogonal multiple access (NOMA) over block fading channels. For the single antenna case, we propose a class of NOMA schemes where all the users' signals are mapped into $n$-dimensional constellations corresponding to the same algebraic lattices from a number field, allowing every user attains full diversity gain with single-user decoding, i.e., no successive interference cancellation (SIC). The minimum product distances of the proposed scheme with arbitrary power allocation factor are analyzed and their upper bounds are derived. Within the proposed class of schemes, we also identify a special family of NOMA schemes based on lattice partitions of the underlying ideal lattices, whose minimum product distances can be easily controlled. Our analysis shows that among the proposed schemes, the lattice-partition-based schemes achieve the largest minimum product distances of the superimposed constellations, which are closely related to the symbol error rates for receivers with single-user decoding. Simulation results are presented to verify our analysis and to show the effectiveness of the proposed schemes as compared to benchmark NOMA schemes. Extensions of our design to the multi-antenna case are also considered where similar analysis and results are presented.


title: Atlantic Causal Inference Conference (ACIC) Data Analysis Challenge 2017

abstract: This brief note documents the data generating processes used in the 2017 Data Analysis Challenge associated with the Atlantic Causal Inference Conference (ACIC). The focus of the challenge was estimation and inference for conditional average treatment effects (CATEs) in the presence of targeted selection, which leads to strong confounding. The associated data files and further plots can be found on the first author's web page.


title: Finiteness of topological entropy for locally compact abelian groups

abstract: We study the locally compact abelian groups in the class $\mathfrak E_{<\infty}$, that is, having only continuous endomorphisms of finite topological entropy, and in its subclass $\mathfrak E_0$, that is, having all continuous endomorphisms with vanishing topological entropy. We discuss the reduction of the problem to the case of periodic locally compact abelian groups, and then to locally compact abelian $p$-groups. We show that locally compact abelian $p$-groups of finite rank belong to $\mathfrak E_{<\infty}$, and that those of them that belong to $\mathfrak E_0$ are precisely the ones with discrete maximal divisible subgroup. Furthermore, the topological entropy of endomorphisms of locally compact abelian $p$-groups of finite rank coincides with the logarithm of their scale. The backbone of the paper is the Addition Theorem for continuous endomorphisms of locally compact abelian groups. Various versions of the Addition Theorem are established in the paper and used in the proofs of the main results, but its validity in the general case remains an open problem.


title: IN2LAAMA: INertial Lidar Localisation Autocalibration And MApping

abstract: In this paper, we present INertial Lidar Localisation Autocalibration And MApping (IN2LAAMA): an offline probabilistic framework for localisation, mapping, and extrinsic calibration based on a 3D-lidar and a 6-DoF-IMU. Most of today's lidars collect geometric information about the surrounding environment by sweeping lasers across their field of view. Consequently, 3D-points in one lidar scan are acquired at different timestamps. If the sensor trajectory is not accurately known, the scans are affected by the phenomenon known as motion distortion. The proposed method leverages preintegration with a continuous representation of the inertial measurements to characterise the system's motion at any point in time. It enables precise correction of the motion distortion without relying on any explicit motion model. The system's pose, velocity, biases, and time-shift are estimated via a full batch optimisation that includes automatically generated loop-closure constraints. The autocalibration and the registration of lidar data rely on planar and edge features matched across pairs of scans. The performance of the framework is validated through simulated and real-data experiments.


title: Distributed quantum information processing via single atom driving

abstract: We propose an unconventional scheme for quantum entangled state distribution (QESD) and quantum state transfer~(QST) based on a fiber-cavity-atom system, in which three atoms are confined, respectively, in three bimodal cavities connected with each other by optical fibers. The key feature of the scheme is the virtual excitation of photons, which yields QESD and QST between the two atoms in the edge-cavities conditioned on one-step operation only on the atom in the middle cavity. No actual operation is performed on the two atoms in the edge cavities throughout the scheme. Robustness of the scheme over operational imperfection and dissipation is discussed and the results show that system fidelity is always at a high level. Finally, the experimental feasibility is justified using laboratory available values.


title: The African Wildlife Ontology tutorial ontologies: requirements, design, and content

abstract: Background. Most tutorial ontologies focus on illustrating one aspect of ontology development, notably language features and automated reasoners, but ignore ontology development factors, such as emergent modelling guidelines and ontological principles. Yet, novices replicate examples from the exercises they carry out. Not providing good examples holistically causes the propagation of sub-optimal ontology development, which may negatively affect the quality of a real domain ontology. Results. We identified 22 requirements that a good tutorial ontology should satisfy regarding subject domain, logics and reasoning, and engineering aspects. We developed a set of ontologies about African Wildlife to serve as tutorial ontologies. A majority of the requirements have been met with the set of African Wildlife Ontology tutorial ontologies, which are introduced in this paper. The African Wildlife Ontology is mature and has been used yearly in an ontology engineering course or tutorial since 2010 and is included in a recent ontology engineering textbook with relevant examples and exercises. Conclusion. The African Wildlife Ontology provides a wide range of options concerning examples and exercises for ontology engineering well beyond illustrating only language features and automated reasoning. It assists in demonstrating tasks about ontology quality, such as alignment to a foundational ontology and satisfying competency questions, versioning, and multilingual ontologies.


title: Towards Physical Hybrid Systems

abstract: Some hybrid systems models are unsafe for mathematically correct but physically unrealistic reasons. For example, mathematical models can classify a system as being unsafe on a set that is too small to have physical importance. In particular, differences in measure zero sets in models of cyber-physical systems (CPS) have significant mathematical impact on the mathematical safety of these models even though differences on measure zero sets have no tangible physical effect in a real system. We develop the concept of "physical hybrid systems" (PHS) to help reunite mathematical models with physical reality. We modify a hybrid systems logic (differential temporal dynamic logic) by adding a first-class operator to elide distinctions on measure zero sets of time within CPS models. This approach facilitates modeling since it admits the verification of a wider class of models, including some physically realistic models that would otherwise be classified as mathematically unsafe. We also develop a proof calculus to help with the verification of PHS.


title: Bass numbers of local cohomology of cover ideals of graphs

abstract: We develop splitting techniques to study Lyubeznik numbers of cover ideals of graphs which allow us to describe them for large families of graphs including forests, cycles, wheels and cactus graphs. More generally we are able to compute all the Bass numbers and the shape of the injective resolution of local cohomology modules by considering the connected components of the corresponding subgraphs. Indeed our method gives us a very simple criterion for the vanishing of these local cohomology modules in terms of the connected components.


title: Combination of linear classifiers using score function -- analysis of possible combination strategies

abstract: In this work, we addressed the issue of combining linear classifiers using their score functions. The value of the scoring function depends on the distance from the decision boundary. Two score functions have been tested and four different combination strategies were investigated. During the experimental study, the proposed approach was applied to the heterogeneous ensemble and it was compared to two reference methods -- majority voting and model averaging respectively. The comparison was made in terms of seven different quality criteria. The result shows that combination strategies based on simple average, and trimmed average are the best combination strategies of the geometrical combination.


title: Hierarchical Annotation of Images with Two-Alternative-Forced-Choice Metric Learning

abstract: Many tasks such as retrieval and recommendations can significantly benefit from structuring the data, commonly in a hierarchical way. To achieve this through annotations of high dimensional data such as images or natural text can be significantly labor intensive. We propose an approach for uncovering the hierarchical structure of data based on efficient discriminative testing rather than annotations of individual datapoints. Using two-alternative-forced-choice (2AFC) testing and deep metric learning we achieve embedding of the data in semantic space where we are able to successfully hierarchically cluster. We actively select triplets for the 2AFC test such that the modeling process is highly efficient with respect to the number of tests presented to the annotator. We empirically demonstrate the feasibility of the method by confirming the shape bias on synthetic data and extract hierarchical structure on the Fashion-MNIST dataset to a finer granularity than the original labels.


title: Berry-phase-based quantum gates assisted by transitionless quantum driving

abstract: We propose a novel proposal for geometric quantum gates using three- or two-level systems, in which a controllable variable, the detuning between the driving frequency and the atomic energy spacing, is introduced to realize geometric transformations. In particular, we can have two instantaneous eigenstates with opposite eigenvalues constituting a closed loop in the parameter space. The accumulated dynamical phase is then exactly cancelled when the loop is completed, which is beyond the traditional parallel-transport restriction. We apply the transitionless quantum driving, which renders revisions in both amplitudes and phases of the driving fields, to enhance the speed and the fidelity of geometric transformation in both universal single-qubit gates and nontrivial double-qubit gates. Gate fidelity under decoherence is also estimated.