title: Resilience of Electricity Distribution Networks - Part II: Leveraging Microgrids

abstract: Advances in microgrids powered by Distributed Energy Resources (DERs) make them an attractive response capability for improving the resilience of electricity distribution networks (DNs). This paper presents an approach to evaluate the value of implementing a timely response using microgrid operations and DER dispatch in the aftermath of a disruption event, involving strategic compromise of multiple DN components. Firstly, we extend the resiliency assessment framework in [1] and develop a sequential (bilevel) model of attacker-operator interactions on a radial DN with one or more microgrids. Particularly, the operator response includes microgrid operations under various islanding configurations (regimes), and single- or multi-master operation of DERs in providing grid-forming services as well as frequency and voltage regulation. Secondly, we introduce a restoration problem in which the operator gradually reconnects the disrupted components over multiple periods to restore the nominal performance of the DN. The first problem, formulated as a bilevel mixed-integer problem, is solved using a Benders decomposition method. The second problem, formulated as a multi-period mixed-integer problem, can be solved using a greedy algorithm. Our results illustrate the benefit of using microgrids in reducing the operator's losses, both immediately after the disruption event and during the restoration process.


title: Evaluating Resilience of Electricity Distribution Networks via A Modification of Generalized Benders Decomposition Method

abstract: This paper presents a computational approach to evaluate the resilience of electricity Distribution Networks (DNs) to cyber-physical failures. In our model, we consider an attacker who targets multiple DN components to maximize the loss of the DN operator. We consider two types of operator response: (i) Coordinated emergency response; (ii) Uncoordinated autonomous disconnects, which may lead to cascading failures. To evaluate resilience under response (i), we solve a Bilevel Mixed-Integer Second-Order Cone Program which is computationally challenging due to mixed-integer variables in the inner problem and non-convex constraints. Our solution approach is based on the Generalized Benders Decomposition method, which achieves a reasonable tradeoff between computational time and solution accuracy. Our approach involves modifying the Benders cut based on structural insights on power flow over radial DNs. We evaluate DN resilience under response (ii) by sequentially computing autonomous component disconnects due to operating bound violations resulting from the initial attack and the potential cascading failures. Our approach helps estimate the gain in resilience under response (i), relative to (ii).


title: Measure solutions to perturbed structured population models - differentiability with respect to perturbation parameter

abstract: This paper is devoted to study measure solutions $\mu_t^h$ to perturbed nonlinear structured population models where $t$ denotes time and $h$ controlls the size of perturbation. We address differentiability of the map $h \mapsto \mu_t^h$. After showing that this type of results cannot be expected in the space of bounded Radon measures $\mathcal{M}(\mathbb{R}^+)$ equipped with the flat metric, we move to the slightly bigger spaces $Z = \overline{\mathcal{M}(\mathbb{R}^+)}^{(C^{1+\alpha})^*}$. We prove that when $\alpha > \frac{1}{2}$, the map $h \mapsto \mu_t^h$ is differentiable in $Z$. The proof exploits approximation scheme of a nonlinear problem from previous studies and is based on the iteration of an implicit integral equations obtained from study of the linear equation. The result shows that space $Z$ is a promising setting for optimal control of phenomena governed by such type of models.


title: Complete the Look: Scene-based Complementary Product Recommendation

abstract: Modeling fashion compatibility is challenging due to its complexity and subjectivity. Existing work focuses on predicting compatibility between product images (e.g. an image containing a t-shirt and an image containing a pair of jeans). However, these approaches ignore real-world 'scene' images (e.g. selfies); such images are hard to deal with due to their complexity, clutter, variations in lighting and pose (etc.) but on the other hand could potentially provide key context (e.g. the user's body type, or the season) for making more accurate recommendations. In this work, we propose a new task called 'Complete the Look', which seeks to recommend visually compatible products based on scene images. We design an approach to extract training data for this task, and propose a novel way to learn the scene-product compatibility from fashion or interior design images. Our approach measures compatibility both globally and locally via CNNs and attention mechanisms. Extensive experiments show that our method achieves significant performance gains over alternative systems. Human evaluation and qualitative analysis are also conducted to further understand model behavior. We hope this work could lead to useful applications which link large corpora of real-world scenes with shoppable products.


title: High Purity Single Photons Entangled with an Atomic Memory

abstract: Trapped atomic ions are an ideal candidate for quantum network nodes, with long-lived identical qubit memories that can be locally entangled through their Coulomb interaction and remotely entangled through photonic channels. The integrity of this photonic interface is generally reliant on purity of single photons produced by the quantum memory. Here we demonstrate a single-photon source for quantum networking based on a trapped $^{138}\mbox{Ba}^+$ ion with a single photon purity of $ g^{2}(0)=(8.1\pm2.3)\times 10^{-5} $ without background subtraction. We further optimize the tradeoff between the photonic generation rate and the memory-photon entanglement fidelity for the case of polarization photonic qubits by tailoring the spatial mode of the collected light.


title: Operadic categories and d\'ecalage

abstract: Batanin and Markl's operadic categories are categories in which each map is endowed with a finite collection of "abstract fibres" -- also objects of the same category -- subject to suitable axioms. We give a reconstruction of the data and axioms of operadic categories in terms of the d\'ecalage comonad D on small categories. A simple case involves unary operadic categories -- ones wherein each map has exactly one abstract fibre -- which are exhibited as categories which are, first of all, coalgebras for the comonad D, and, furthermore, algebras for the monad induced on the category of D-coalgebras by the forgetful-cofree adjunction. A similar description is found for general operadic categories arising out of a corresponding analysis that starts from a "modified d\'ecalage" comonad on the arrow category of Cat.


title: Performance Analysis of Uplink Cellular IoT Using Different Deployments of Data Aggregators

abstract: Data aggregation is an effective solution to enable cellular support of Internet-of-things (IoT) communications. Indeed, it helps alleviate channel congestion, reduce the communication range, and extend battery-lifetime. In this paper, we use stochastic geometry to analyze the performance of uplink cellular IoT using different deployment strategies of aggregators, including terrestrial and aerial ones, e.g., drones or unmanned aerial vehicles. We focus on IoT-specific performance metrics, that are typically used by 3GPP. Specifically, we derive closed-form expressions of the average transmit power consumption, which is key to determine the lifetime of IoT devices, as well as the maximum coupling loss, which is essential to determine the maximum coverage the cellular system can support. Simulation results are presented to validate the derived theoretical expressions. It is shown that aerial aggregators can significantly extend the device lifetime and provide superior coverage compared to other deployment strategies. In addition, random deployment performs well when aggregators are densely deployed, whereas optimizing the location of a single terrestrial aggregator is beneficial when devices are more clustered.


title: Cerebrovascular Network Segmentation on MRA Images with Deep Learning

abstract: Deep learning has been shown to produce state of the art results in many tasks in biomedical imaging, especially in segmentation. Moreover, segmentation of the cerebrovascular structure from magnetic resonance angiography is a challenging problem because its complex geometry and topology have a large inter-patient variability. Therefore, in this work, we present a convolutional neural network approach for this problem. Particularly, a new network topology inspired by the U-net 3D and by the Inception modules, entitled Uception. In addition, a discussion about the best objective function for sparse data also guided most choices during the project. State of the art models are also implemented for a comparison purpose and final results show that the proposed architecture has the best performance in this particular context.


title: Monotonicity on homogeneous spaces

abstract: This paper presents a formulation of the notion of monotonicity on homogeneous spaces. We review the general theory of invariant cone fields on homogeneous spaces and provide a list of examples involving spaces that arise in applications in information engineering and applied mathematics. Invariant cone fields associate a cone with the tangent space at each point in a way that is invariant with respect to the group actions that define the homogeneous space. We argue that invariance of conal structures induces orders that are tractable for use in analysis and propose invariant differential positivity as a natural generalization of monotonicity on such spaces.


abstract: Conventional unsupervised domain adaptation (UDA) assumes that training data are sampled from a single domain. This neglects the more practical scenario where training data are collected from multiple sources, requiring multi-source domain adaptation. We make three major contributions towards addressing this problem. First, we collect and annotate by far the largest UDA dataset, called DomainNet, which contains six domains and about 0.6 million images distributed among 345 categories, addressing the gap in data availability for multi-source UDA research. Second, we propose a new deep learning approach, Moment Matching for Multi-Source Domain Adaptation M3SDA, which aims to transfer knowledge learned from multiple labeled source domains to an unlabeled target domain by dynamically aligning moments of their feature distributions. Third, we provide new theoretical insights specifically for moment matching approaches in both single and multiple source domain adaptation. Extensive experiments are conducted to demonstrate the power of our new dataset in benchmarking state-of-the-art multi-source domain adaptation methods, as well as the advantage of our proposed model. Dataset and Code are available at \url{http://ai.bu.edu/M3SDA/}.


title: The Robot Economy: Here It Comes

abstract: Automation is not a new phenomenon, and questions about its effects have long followed its advances. More than a half-century ago, US President Lyndon B. Johnson established a national commission to examine the impact of technology on the economy, declaring that automation "can be the ally of our prosperity if we will just look ahead". In this paper, our premise is that we are at a technological inflection point in which robots are developing the capacity to greatly increase their cognitive and physical capabilities, and thus raising questions on labor dynamics. With increasing levels of autonomy and human-robot interaction, intelligent robots could soon accomplish new human-like capabilities such as engaging into social activities. Therefore, an increase in automation and autonomy brings the question of robots directly participating in some economic activities as autonomous agents. In this paper, a technological framework describing a robot economy is outlined and the challenges it might represent in the current socio-economic scenario are pondered.


title: Multi$^{\mathbf{3}}$Net: Segmenting Flooded Buildings via Fusion of Multiresolution, Multisensor, and Multitemporal Satellite Imagery

abstract: We propose a novel approach for rapid segmentation of flooded buildings by fusing multiresolution, multisensor, and multitemporal satellite imagery in a convolutional neural network. Our model significantly expedites the generation of satellite imagery-based flood maps, crucial for first responders and local authorities in the early stages of flood events. By incorporating multitemporal satellite imagery, our model allows for rapid and accurate post-disaster damage assessment and can be used by governments to better coordinate medium- and long-term financial assistance programs for affected areas. The network consists of multiple streams of encoder-decoder architectures that extract spatiotemporal information from medium-resolution images and spatial information from high-resolution images before fusing the resulting representations into a single medium-resolution segmentation map of flooded buildings. We compare our model to state-of-the-art methods for building footprint segmentation as well as to alternative fusion approaches for the segmentation of flooded buildings and find that our model performs best on both tasks. We also demonstrate that our model produces highly accurate segmentation maps of flooded buildings using only publicly available medium-resolution data instead of significantly more detailed but sparsely available very high-resolution data. We release the first open-source dataset of fully preprocessed and labeled multiresolution, multispectral, and multitemporal satellite images of disaster sites along with our source code.


title: A Novel Approach for Computing Hilbert Functions

abstract: One standard approach to compute the Hilbert function of any graded module over a field is to come up with a free-resolution for the graded module and another is via a Hilbert power series which serves as a generating function. The proposed approaches enable generating the values of a Hilbert function when the graded module is a quotient ring over a field by using combinatorics and homological algebra. Two of these approaches named the lcm-Lattice method and the Syzygy method, are conceptually combinatorial and work for any polynomial quotient ring over a field. The third approach named Hilbert function table method, also uses syzygies but the approach is better described in terms of homological algebra.


title: On $\mathrm{H}-$trivial line bundles on toric DM stacks of dimension two

abstract: We study line bundles on toric DM stacks $\mathbb{P}_{\mathbf{\Sigma}}$ of dimension two. We give a combinatorial criterion of when infinitely many line bundles on $\mathbb{P}_{\mathbf{\Sigma}}$ have trivial cohomology. We further discuss the structure of the set of such line bundles.


title: Optimal Stopping in General Predictable Framework

abstract: In this paper, we study the optimal stopping problem in the case where the reward is given by a family $(\phi(\tau ),\;\;\tau \in \stopo)$ of non negative random variables indexed by predictable stopping times. We treat the problem by means of Snell's envelope techniques. We prove some properties of the value function family associated to this setting.


title: What is the No-Boundary Wave Function of the Universe?

abstract: We specify the semiclassical no-boundary wave function of the universe without relying on a functional integral of any kind. The wave function is given as a sum of specific saddle points of the dynamical theory that satisfy conditions of regularity on geometry and field and which together yield a time neutral state that is normalizable in an appropriate inner product. This specifies a predictive framework of semiclassical quantum cosmology that is adequate to make probabilistic predictions, which are in agreement with observations in simple models. The use of holography to go beyond the semiclassical approximation is briefly discussed.


title: The 9Li(d,p) reaction, a specific probe of 10Li, paradigm of parity--inverted nuclei around N=6 closed shell

abstract: We show, within the framework of renormalized nuclear field theory and of the induced reaction surrogate formalism, that the highly debated $^{10}$Li structure, observed in a recent $^9$Li(d,p)$^{10}$Li one--neutron transfer experiment is consistent with or better, requires the presence of a virtual $1/2^+$ state of similar single--particle strength than that of the $1/2^-$ resonance at 0.45$\pm$ 0.03 MeV. Based on continuum spectroscopy self-energy techniques, we find that the physical mechanism responsible for parity inversion in $^{10}_3$Li is the same as that at the basis of the similar phenomenon observed in $^{11}_4$Be and to that needed in $^{11}$Li to have an important $s$--wave ground state component. Furthermore, it is also consistent with the (normal) sequence of the $1p_{1/2}$ and $2s_{1/2}$ levels in the $N=7$ isotones $^{12}_5$B and $^{13}_6$C.


title: Deep Positron: A Deep Neural Network Using the Posit Number System

abstract: The recent surge of interest in Deep Neural Networks (DNNs) has led to increasingly complex networks that tax computational and memory resources. Many DNNs presently use 16-bit or 32-bit floating point operations. Significant performance and power gains can be obtained when DNN accelerators support low-precision numerical formats. Despite considerable research, there is still a knowledge gap on how low-precision operations can be realized for both DNN training and inference. In this work, we propose a DNN architecture, Deep Positron, with posit numerical format operating successfully at $\leq$8 bits for inference. We propose a precision-adaptable FPGA soft core for exact multiply-and-accumulate for uniform comparison across three numerical formats, fixed, floating-point and posit. Preliminary results demonstrate that 8-bit posit has better accuracy than 8-bit fixed or floating-point for three different low-dimensional datasets. Moreover, the accuracy is comparable to 32-bit floating-point on a Xilinx Virtex-7 FPGA device. The trade-offs between DNN performance and hardware resources, i.e. latency, power, and resource utilization, show that posit outperforms in accuracy and latency at 8-bit and below.


title: Quantum aspects of self-interacting fields around cosmic strings

abstract: The authors study the quantum effect of self-interacting fields in the classical background of conical space, i.e. around a cosmic string with infinitesimal width. The renormalized value of $\langle\phi^2\rangle$ and energy-momentum tensor in the presence of cosmic strings are calculated in the self-interacting scalar field theory. The amount of condensation is also estimated in the case of the Dirac Lagrangian with the four-fermion interaction. The physical implications of the above analyses are discussed.


title: Single spin sensing of domain wall structure and dynamics in a thin film skyrmion host

abstract: Skyrmions are nanoscale magnetic structures with features promising for future low-power memory or logic devices. In this work, we demonstrate novel scanning techniques based on nitrogen vacancy center magnetometry that simultaneously probe both the magnetic dynamics and structure of room temperature skyrmion bubbles in a thin film system Ta/CoFeB/MgO. We confirm the handedness of the Dzyaloshinskii-Moriya interaction in this material and extract the helicity angle of the skyrmion bubbles. Our measurements also show that the skyrmion bubbles in this material change size in discrete steps, dependent on the local pinning environment, with their average size determined dynamically as their domain walls hop between pinning sites. In addition, an increase in magnetic field noise is observed near all skyrmion bubble domain walls. These measurements highlight the importance of interactions between internal degrees of freedom of skyrmion bubble domain walls and pinning sites in thin film systems. Our observations have relevance for future devices based on skyrmion bubbles where pinning interactions will determine important aspects of current-driven motion.


title: Phenomenology of the Partially Aligned 2HDM with leptonic decay of mesons

abstract: In this paper we present a phenomenological analysis of the Partially Aligned Two Higgs Doublet Model (PA-2HDM) by using leptonic decays of mesons and $B^0_{d,s}$-$\bar B^0_{d,s}$ mixing. We focus our attention in a scenario where the leading contribution to FCNC is given by the tree level interaction with the light pseudoscalar $A^0$ ($M_{A^0}\sim 250$ GeV). We show how an underlying flavor symmetry controls FCNC in the quark and lepton couplings with the pseudoscalar, without alignment between Yukawa matrices. Upper bounds on the free parameters are calculated in the context of the leptonic decays $B^0_{s,d}\to\mu^+\mu^-$ and $K^0_L\to \mu^+\mu^-$ and $B^0_{s,d}$ mixing. Also, our assumptions implies that bounds on New Physics contribution in the quark sector coming from $B^0_{s,d}$ mixing impose an upper bound on the parameters for the leptonic sector. Finally we give predictions of branching ratios for leptonic decay of mesons with FCNC and LFV.


title: SolarGest: Ubiquitous and Battery-free Gesture Recognition using Solar Cells

abstract: We design a system, SolarGest, which can recognize hand gestures near a solar-powered device by analyzing the patterns of the photocurrent. SolarGest is based on the observation that each gesture interferes with incident light rays on the solar panel in a unique way, leaving its distinguishable signature in harvested photocurrent. Using solar energy harvesting laws, we develop a model to optimize design and usage of SolarGest. To further improve the robustness of SolarGest under non-deterministic operating conditions, we combine dynamic time warping with Z-score transformation in a signal processing pipeline to pre-process each gesture waveform before it is analyzed for classification. We evaluate SolarGest with both conventional opaque solar cells as well as emerging see-through transparent cells. Our experiments with 6,960 gesture samples for 6 different gestures reveal that even with transparent cells, SolarGest can detect 96% of the gestures while consuming 44% less power compared to light sensor based systems.


title: RobustSTL: A Robust Seasonal-Trend Decomposition Algorithm for Long Time Series

abstract: Decomposing complex time series into trend, seasonality, and remainder components is an important task to facilitate time series anomaly detection and forecasting. Although numerous methods have been proposed, there are still many time series characteristics exhibiting in real-world data which are not addressed properly, including 1) ability to handle seasonality fluctuation and shift, and abrupt change in trend and reminder; 2) robustness on data with anomalies; 3) applicability on time series with long seasonality period. In the paper, we propose a novel and generic time series decomposition algorithm to address these challenges. Specifically, we extract the trend component robustly by solving a regression problem using the least absolute deviations loss with sparse regularization. Based on the extracted trend, we apply the the non-local seasonal filtering to extract the seasonality component. This process is repeated until accurate decomposition is obtained. Experiments on different synthetic and real-world time series datasets demonstrate that our method outperforms existing solutions.


title: Quasi-Polynomial Algorithms for Submodular Tree Orienteering and Other Directed Network Design Problems

abstract: We consider the following general network design problem on directed graphs. The input is an asymmetric metric $(V,c)$, root $r^{*}\in V$, monotone submodular function $f:2^V\rightarrow \mathbb{R}_+$ and budget $B$. The goal is to find an $r^{*}$-rooted arborescence $T$ of cost at most $B$ that maximizes $f(T)$. Our main result is a simple quasi-polynomial time $O(\frac{\log k}{\log\log k})$-approximation algorithm for this problem, where $k\le |V|$ is the number of vertices in an optimal solution. To the best of our knowledge, this is the first non-trivial approximation ratio for this problem. As a consequence we obtain an $O(\frac{\log^2 k}{\log\log k})$-approximation algorithm for directed (polymatroid) Steiner tree in quasi-polynomial time. We also extend our main result to a setting with additional length bounds at vertices, which leads to improved $O(\frac{\log^2 k}{\log\log k})$-approximation algorithms for the single-source buy-at-bulk and priority Steiner tree problems. For the usual directed Steiner tree problem, our result matches the best previous approximation ratio [GLL19]. Our algorithm has the advantage of being deterministic and faster: the runtime is $\exp(O(\log n\, \log^{1+\epsilon} k))$. For polymatroid Steiner tree and single-source buy-at-bulk, our result improves prior approximation ratios by a logarithmic factor. For directed priority Steiner tree, our result seems to be the first non-trivial approximation ratio. All our approximation ratios are tight (up to constant factors) for quasi-polynomial algorithms.


title: On the pseudospectra of Schr\"odinger operators on Zoll manifolds

abstract: We consider non-self-adjoint Schr\"odinger operators $\Delta+V$ where $\Delta$ is the Laplace-Beltrami operator on a Zoll manifold $X$ and $V\in C^\infty(X,\mathbb C)$. We obtain asymptotic results on the pseudo-spectrum and numerical range of such operators.


title: Schneider-Siegel theorem for a family of values of a harmonic weak Maass form at Hecke orbits

abstract: Let $j(z)$ be the modular $j$-invariant function. Let $\tau$ be an algebraic number in the complex upper half plane $\mathbb{H}$. It was proved by Schneider and Siegel that if $\tau$ is not a CM point, i.e., $[\mathbb{Q}(\tau):\mathbb{Q}]\neq2$, then $j(\tau)$ is transcendental. Let $f$ be a harmonic weak Maass form of weight $0$ on $\Gamma_0(N)$. In this paper, we consider an extension of the results of Schneider and Siegel to a family of values of $f$ on Hecke orbits of $\tau$. For a positive integer $m$, let $T_m$ denote the $m$-th Hecke operator. Suppose that the coefficients of the principal part of $f$ at the cusp $i \infty$ are algebraic, and that $f$ has its poles only at cusps equivalent to $i \infty$. We prove, under a mild assumption on $f$, that for any fixed $\tau$, if $N$ is a prime such that $ N\geq 23 \text{ and } N \not \in \{23, 29, 31, 41, 47, 59, 71\},$ then $f(T_m.\tau)$ are transcendental for infinitely many positive integers $m$ prime to $N$.


title: Strong correlation between ferromagnetic superconductivity and pressure-enhanced ferromagnetic fluctuations in UGe$_2$

abstract: We have measured magnetization at high pressure in the uranium ferromagnetic superconductor UGe$_2$ and analyzed the magnetic data using Takahashi's spin fluctuation theory. There is a peak in the pressure dependence of the width of the spin fluctuation spectrum in the energy space $T_0$ at $P_x$, the phase boundary of FM1 and FM2 where the superconducting transition temperature $T_{sc}$ is highest. This suggests a clear correlation between the superconductivity and pressure-enhanced magnetic fluctuations developed at $P_x$. The pressure effect on $T_{Curie}/T_0$, where $T_{Curie}$ is the Curie temperature, suggests that the less itinerant ferromagnetic state FM2 is changed to a more itinerant one FM1 across $P_x$. Peculiar features in relations between $T_0$ and $T_{sc}$ in uranium ferromagnetic superconductors UGe$_2$, URhGe and UCoGe are discussed in comparison with those in high-$T_c$ cuprate and heavy fermion superconductors.


title: Stochastic Observability and Filter Stability under Several Criteria

abstract: Despite being a foundational concept of modern systems theory, there have been few studies on observability of non-linear stochastic systems under partial observations. In this paper, we introduce a definition of observability for stochastic non-linear dynamical systems which involves an explicit functional characterization. To justify its operational use, we establish that this definition implies filter stability under mild continuity conditions: an incorrectly initialized non-linear filter is said to be stable if the filter eventually corrects itself with the arrival of new measurement information. Numerous examples are presented and a detailed comparison with the literature is reported. We also establish implications for various criteria for filter stability under several notions of convergence such as weak convergence, total variation, and relative entropy. These findings are connected to robustness and approximations in partially observed stochastic control.


title: Photoionization calculations of the radiation force due to spectral lines in AGNs

abstract: One of the main mechanisms that could drive mass outflows in AGNs is radiation pressure due to spectral lines. Although straightforward to understand, the actual magnitude of the radiation force is challenging to compute because the force depends on the physical conditions in the gas, and the strength, spectral energy distribution (SED), and geometry of the radiation field. We present results from our photoionization and radiation transfer calculations of the force multiplier, $M(\xi,t)$, using the same radiation field to compute the gas photoionization and thermal balance. We assume low gas density ($n = 10^4~\rm{cm^{-3}}$) and column density ($N \leq 10^{17}~\rm{ cm^{-2}}$), a Boltzmann distribution for the level populations, and the Sobolev approximation. Here, we describe results for two SEDs corresponding to an unobscured and obscured AGN in NGC 5548. Our main results are the following: 1) although $M(\xi,t)$ starts to decrease with $\xi$ for $\xi \gtrsim 1$ as shown by others, this decrease in our calculations is relatively gradual and could be non-monotonic as $M(\xi,t)$ can increase by a factor of few for $\xi \approx 10-1000$; 2) at these same $\xi$ for which the multiplier is higher than in previous calculations, the gas is thermally unstable by the isobaric criterion; 3) non-LTE effects reduce $M(t,\xi)$ by over two orders of magnitude for $\xi \gtrsim 100$. The dynamical consequence of result (1) is that line driving can be important for $\xi$ as high as $1000$ when the LTE approximation holds, while result (2) provides a natural cloud formation mechanism that may account for the existence of narrow line regions. Result (3) suggests that line driving may not be important for $\xi\gtrsim100$ in tenuous plasma.


title: Joint Latent Class Trees: A Tree-Based Approach to Modeling Time-to-event and Longitudinal Data

abstract: In this paper, we propose a semiparametric, tree based joint latent class modeling approach (JLCT) to model the joint behavior of longitudinal and time-to-event data. Existing joint latent class modeling approaches are parametric and can suffer from high computational cost. The most common parametric approach, the joint latent class model (JLCM), further restricts analysis to using time-invariant covariates in modeling survival risks and latent class memberships. Instead, the proposed JLCT is fast to fit, and can use time-varying covariates in all of its modeling components. We demonstrate the prognostic value of using time-varying covariates, and therefore the advantage of JLCT over JLCM on simulated data. We further apply JLCT to the PAQUID data set and confirm its superior prediction performance and orders-of-magnitude speedup over JLCM.


title: Nanoscale angular lattice formed by light with high orbital angular

abstract: Standing waves generated by the interference of Laguerre-Gaussian (LG) beams can be used for dipole trap. We propose a scheme to create a nanometer (nm) scale ring lattice based on the interference of two high order LG beams without decrease the wavelength. Both of the two LG beams have a monocyclic intensity distribution, and they have the same orbital angular momentum (OAM) quantum number on the order of $10^6$. We are able to theoretically demonstrate a dipole potential along angular direction with the period of $\sim$1 nm , given the waist of the Gaussian beams to be $\sim$0.8 $\mu$m. The atoms in this lattice can be trapped along the radial and azimuthal direction in the potential wells of with $\sim$100 nm and $\sim$0.85 nm distance. The proposed method opens up a convenient pathway towards sub-wavelength atom traps that could directly lead to overlap of wave function of atoms in adjacent wells and the formation of molecular bonds.


title: InferLine: ML Prediction Pipeline Provisioning and Management for Tight Latency Objectives

abstract: Serving ML prediction pipelines spanning multiple models and hardware accelerators is a key challenge in production machine learning. Optimally configuring these pipelines to meet tight end-to-end latency goals is complicated by the interaction between model batch size, the choice of hardware accelerator, and variation in the query arrival process. In this paper we introduce InferLine, a system which provisions and manages the individual stages of prediction pipelines to meet end-to-end tail latency constraints while minimizing cost. InferLine consists of a low-frequency combinatorial planner and a high-frequency auto-scaling tuner. The low-frequency planner leverages stage-wise profiling, discrete event simulation, and constrained combinatorial search to automatically select hardware type, replication, and batching parameters for each stage in the pipeline. The high-frequency tuner uses network calculus to auto-scale each stage to meet tail latency goals in response to changes in the query arrival process. We demonstrate that InferLine outperforms existing approaches by up to 7.6x in cost while achieving up to 34.5x lower latency SLO miss rate on realistic workloads and generalizes across state-of-the-art model serving frameworks.


title: Wireless Access to Ultimate Virtual Reality 360-Degree Video At Home

abstract: Virtual reality 360-degree videos will become the first prosperous online VR application. VR 360 videos are data-hungry and latency-sensitive that pose unique challenges to the networking infrastructure. In this paper, we focus on the ultimate VR 360 that satisfies human eye fidelity. The ultimate VR 360 requires downlink 1.5 Gbps for viewing and uplink 6.6 Gbps for live broadcasting, with round-trip time of less than 8.3 ms. On the other hand, wireless access to VR 360 services is preferred over wire-line transmission because of the better user experience and the safety concern (e.g., tripping hazard). We explore in this paper whether the most advanced wireless technologies from both cellular communications and WiFi communications support the ultimate VR 360. Specifically, we consider 5G in cellular communications, IEEE 802.11ac (operating in 5GHz) and IEEE 802.11ad (operating in 60GHz) in WiFi communications. According to their performance specified in their standards and/or empirical measurements, we have the following findings: (1) Only 5G has the potential to support both the the ultimate VR 360 viewing and live broadcasting. However, it is difficult for 5G to support multiple users of the ultimate VR live broadcasting at home; (2) IEEE 802.11ac supports the ultimate VR 360 viewing but fails to support the ultimate VR 360 live broadcasting because it does not meet the data rate requirement of the ultimate VR 360 live broadcasting; (3) IEEE 802.11ad fails to support the ultimate VR 360, because its current implementation incurs very high latency. Our preliminary results indicate that more advanced wireless technologies are needed to fully support multiple ultimate VR 360 users at home.


title: Aeromechanics of Hovering Flight in Perturbed Flows: Insights from Computational Models and Animal Experiments

abstract: Stability of flapping flight, a natural requirement for flying insects, is one of the major challenges for designing micro aerial vehicles (MAVs). To better understand how a flying insect could stabilize itself during hover, we have employed a fully coupled computational model, which combines the Navier-Strokes equations and the equations of motion in six degrees-of-freedom (NS6DOF) to model the hovering flight of a hawkmoth. These simulations are combined with high-speed videogrammetry experiments on live, untethered hawkmoths flying in quiescent and perturbed flows. The flight videos were used to identify a potential mechanism that could be used by the moth to stabilize its hovering flight; the effectiveness of this mechanism was investigated using CFD-based simulations and semi-analytic approximations.


title: Voice Disorder Detection Using Long Short Term Memory (LSTM) Model

abstract: Automated detection of voice disorders with computational methods is a recent research area in the medical domain since it requires a rigorous endoscopy for the accurate diagnosis. Efficient screening methods are required for the diagnosis of voice disorders so as to provide timely medical facilities in minimal resources. Detecting Voice disorder using computational methods is a challenging problem since audio data is continuous due to which extracting relevant features and applying machine learning is hard and unreliable. This paper proposes a Long short term memory model (LSTM) to detect pathological voice disorders and evaluates its performance in a real 400 testing samples without any labels. Different feature extraction methods are used to provide the best set of features before applying LSTM model for classification. The paper describes the approach and experiments that show promising results with 22% sensitivity, 97% specificity and 56% unweighted average recall.


title: Feature Extraction for Temporal Signal Recognition: An Overview

abstract: Due to the huge progress of the recording devices, data from heterogeneous nature can be recorded, such as spatial, temporal and spatio-temporal. Nowadays, time-based data is of particular interest since it has the ability to capture the characteristics evolution of the data over time. The temporal data could be gait, auditory scene, piece of music, and so on. In this paper, we are particularly interested in feature extraction for two different temporal recognition applications namely, audio and human behavior analysis and recognition. Indeed, relevant and discriminative features are of critical and fundamental importance to achieve high performances in any automatic pattern recognition system. This work is intended to provide researchers with a brief overview of the different existing features through an understanding of basic taxonomies which may serve as a reference to identify the adequate features for a specific task.


title: An analysis of the turbulence in the central region of M 42 through structure functions

abstract: Here, we analyse the character of the turbulence of the Huygens Region in the Orion Nebula (M 42) using structure functions. We compute the second order structure function of a high resolution velocity map in H$\alpha$ obtained through the {\emph MUSE} instrument. Ours is one of the few works that follows a mathematically sound methodology for calculating the second order structure function of astronomical velocity fields. Because of that our results will be useful for future comparisons with other studies of M 42 or other regions. We first analyse the Probability Distribution Function (PDF) and found it consistent with those resulting from numerical simulations of solenoidal turbulence. After a further analysis of the data, we found two possible separate motions or at least regimes in the region. This is confirmed later through the calculation of several filtered structure functions. We found that the turbulence in the Huygens Region is between the Kolmogorov regime ($S_2\propto\delta r^{2/3}$) and the Burgers regime ($S_2\propto\delta r$). We found that the turbulence in the region consists on two flow regimes that reproduce a generalised Larson's Law, $S_2\sim\delta r^{0.74-0.76}$.


title: Differentially Private User-based Collaborative Filtering Recommendation Based on K-means Clustering

abstract: Collaborative filtering (CF) recommendation algorithms are well-known for their outstanding recommendation performances, but previous researches showed that they could cause privacy leakage for users due to k-nearest neighboring (KNN) attacks. Recently, the notion of differential privacy (DP) has been applied to privacy preservation for collaborative filtering recommendation algorithms. However, as far as we know, existing differentially private CF recommendation schemes degraded the recommendation performance (such as recall and precision) to an unacceptable level. In this paper, in order to address the performance degradation problem, we propose a differentially private user-based collaborative filtering recommendation scheme based on k-means clustering (KDPCF). Specifically, to improve the recommendation performance, we first cluster the dataset into categories by k-means clustering and appropriately adjust the size of the target category to which the target user belongs, so that only users in the well-sized target category can be used for recommendations. Then we efficiently select a set of neighbors from the target category at one time by employing only one exponential mechanism instead of the composition of multiple ones, and base on the neighbor set to recommend. We theoretically prove that our scheme achieves differential privacy. Empirically, we use the MovieLens dataset to evaluate our recommendation system. The experimental results demonstrate a significant performance gain compared to existing schemes.


title: Capture Dense: Markerless Motion Capture Meets Dense Pose Estimation

abstract: We present a method to combine markerless motion capture and dense pose feature estimation into a single framework. We demonstrate that dense pose information can help for multiview/single-view motion capture, and multiview motion capture can help the collection of a high-quality dataset for training the dense pose detector. Specifically, we first introduce a novel markerless motion capture method that can take advantage of dense parsing capability provided by the dense pose detector. Thanks to the introduced dense human parsing ability, our method is demonstrated much more efficient, and accurate compared with the available state-of-the-art markerless motion capture approach. Second, we improve the performance of available dense pose detector by using multiview markerless motion capture data. Such dataset is beneficial to dense pose training because they are more dense and accurate and consistent, and can compensate for the corner cases such as unusual viewpoints. We quantitatively demonstrate the improved performance of our dense pose detector over the available DensePose. Our dense pose dataset and detector will be made public.


title: Generalized Zero- and Few-Shot Learning via Aligned Variational Autoencoders

abstract: Many approaches in generalized zero-shot learning rely on cross-modal mapping between the image feature space and the class embedding space. As labeled images are expensive, one direction is to augment the dataset by generating either images or image features. However, the former misses fine-grained details and the latter requires learning a mapping associated with class embeddings. In this work, we take feature generation one step further and propose a model where a shared latent space of image features and class embeddings is learned by modality-specific aligned variational autoencoders. This leaves us with the required discriminative information about the image and classes in the latent features, on which we train a softmax classifier. The key to our approach is that we align the distributions learned from images and from side-information to construct latent features that contain the essential multi-modal information associated with unseen classes. We evaluate our learned latent features on several benchmark datasets, i.e. CUB, SUN, AWA1 and AWA2, and establish a new state of the art on generalized zero-shot as well as on few-shot learning. Moreover, our results on ImageNet with various zero-shot splits show that our latent features generalize well in large-scale settings.


title: High-resolution Navier-Stokes simulations of Richtmyer-Meshkov instability with re-shock

abstract: The interaction of a Mach 1.45 shock wave with a perturbed planar interface between sulphur hexafluoride and air is studied through high-resolution two-dimensional (2D) and three-dimensional (3D) shock-capturing adaptive mesh refinement simulations of multi-species Navier-Stokes equations. The sensitivities of time-dependent statistics on grid resolution for 2D and 3D simulations are evaluated to ensure the accuracy of the results. The numerical results are used to examine the differences between the development of 2D and 3D Richtmyer-Meshkov instability during two different stages: (1) initial growth of hydrodynamic instability from multi-mode perturbations after first shock and (2) transition to chaotic or turbulent state after re-shock. The effects of the Reynolds number on the mixing in 3D simulations are also studied through varying the transport coefficients.


title: Density Deconvolution with Additive Measurement Errors using Quadratic Programming

abstract: Distribution estimation for noisy data via density deconvolution is a notoriously difficult problem for typical noise distributions like Gaussian. We develop a density deconvolution estimator based on quadratic programming (QP) that can achieve better estimation than kernel density deconvolution methods. The QP approach appears to have a more favorable regularization tradeoff between oversmoothing vs. oscillation, especially at the tails of the distribution. An additional advantage is that it is straightforward to incorporate a number of common density constraints such as nonnegativity, integration-to-one, unimodality, tail convexity, tail monotonicity, and support constraints. We demonstrate that the QP approach has outstanding estimation performance relative to existing methods. Its performance is superior when only the universally applicable nonnegativity and integration-to-one constraints are incorporated, and incorporating additional common constraints when applicable (e.g., nonnegative support, unimodality, tail monotonicity or convexity, etc.) can further substantially improve the estimation.


title: Controlling stability of Bose-Einstein condensation of interacting magnons in an antiferromagnet by an external magnetic field

abstract: We propose a mechanism for destabilizing or stabilizing Bose-Einstein condensation (BEC) of interacting magnons in an antiferromagnet. We study how the interaction between magnons affects the magnon BEC in a two-sublattice antiferromagnet without and with an external magnetic field. We show that in the absence of the magnetic field the magnon BEC is destabilized by the attractive interband interaction, which is larger than the repulsive intraband interaction. We also show that in the presence of the magnetic field the magnon BEC is stabilized only if the magnetic field is large enough to make the intraband interaction larger than the interband interaction. Our results provide the first step for understanding the interaction effects on the magnon BEC in antiferromagnets and may open interaction physics of multicomponent BEC of magnons in magnets.


title: Effects of Transit Signal Priority on Traffic Safety: Interrupted Time Series Analysis of Portland, Oregon, Implementations

abstract: Transit signal priority (TSP) has been implemented to transit systems in many cities of the United States. In evaluating TSP systems, more attention has been given to its operational effects than to its safety effects. Existing studies assessing safety effects of TSP reported mixed results, indicating that the safety effects of TSP vary in different contexts. In this study, TSP implementations in Portland, Oregon, were assessed using interrupted time series analysis (ITSA) on month-to-month changes in number of crashes from January 1995 to December 2010. Single-group and controlled ITSA were conducted for all crashes, property-damage-only crashes, fatal and injury crashes, pedestrian-involved crashes, and bike-involved crashes. Evaluation of the post-intervention period (2003 to 2010) showed a reduction in all crashes on street sections with TSP (-4.5 percent), comparing with the counterfactual estimations based on the control group data. The reduction in property-damage-only crashes (-10.0 percent) contributed the most to the overall reduction. Fatal and injury crashes leveled out after TSP implementation but did not change significantly comparing with the control group. Pedestrian and bike-involved crashes were found to increase in the post-intervention period with TSP, comparing with the control group. Potential reasons to these TSP effects on traffic safety were discussed.


title: Hard combinatorial problems and minor embeddings on lattice graphs

abstract: Today, hardware constraints are an important limitation on quantum adiabatic optimization algorithms. Firstly, computational problems must be formulated as quadratic unconstrained binary optimization (QUBO) in the presence of noisy coupling constants. Secondly, the interaction graph of the QUBO must have an effective minor embedding into a two-dimensional nonplanar lattice graph. We describe new strategies for constructing QUBOs for NP-complete/hard combinatorial problems that address both of these challenges. Our results include asymptotically improved embeddings for number partitioning, filling knapsacks, graph coloring, and finding Hamiltonian cycles. These embeddings can be also be found with reduced computational effort. Our new embedding for number partitioning may be more effective on next-generation hardware.


title: Hybrid Microaggregation for Privacy-Preserving Data Mining

abstract: k-Anonymity by microaggregation is one of the most commonly used anonymization techniques. This success is owe to the achievement of a worth of interest tradeoff between information loss and identity disclosure risk. However, this method may have some drawbacks. On the disclosure limitation side, there is a lack of protection against attribute disclosure. On the data utility side, dealing with a real datasets is a challenging task to achieve. Indeed, the latter are characterized by their large number of attributes and the presence of noisy data, such that outliers or, even, data with missing values. Generating an anonymous individual data useful for data mining tasks, while decreasing the influence of noisy data is a compelling task to achieve. In this paper, we introduce a new microaggregation method, called HM-PFSOM, based on fuzzy possibilistic clustering. Our proposed method operates through an hybrid manner. This means that the anonymization process is applied per block of similar data. Thus, we can help to decrease the information loss during the anonymization process. The HMPFSOM approach proposes to study the distribution of confidential attributes within each sub-dataset. Then, according to the latter distribution, the privacy parameter k is determined, in such a way to preserve the diversity of confidential attributes within the anonymized microdata. This allows to decrease the disclosure risk of confidential information.


title: A Formal Method for Mapping Software Engineering Practices to Essence

abstract: Essence Framework EF aims at addressing the core problems of software engineering SE and its practices


title: Conceptual Modeling of a Procurement Process: Case study of RFP for Public Key Infrastructure

abstract: Procurement refers to a process resulting in delivery of goods or services within a set time period. The process includes aspects of purchasing, specifications to be met, and solicitation notifications as in the case of Request For Proposals (RFPs). Typically such an RFP is described in a verbal ad hoc fashion, in English, with tables and graphs, resulting in imprecise specifications of requirements. It has been proposed that BPMN diagrams be used to specify requirements to be included in RFP. This paper is a merger of three topics: (i) Procurement development with a focus on operational specification of RFP, (ii) Public key infrastructure (PKI) as an RFP subject, and (iii) Conceptual modeling that produces a diagram as a supplement to an RFP to clarify requirements more precisely than traditional tools such as natural language, tables, and ad hoc graphs.


title: Energy Stability and Convergence of SAV Block-centered Finite Difference Method for Gradient Flows

abstract: We present in this paper construction and analysis of a block-centered finite difference method for the spatial discretization of the scalar auxiliary variable Crank-Nicolson scheme (SAV/CN-BCFD) for gradient flows, and show rigorously that scheme is second-order in both time and space in various discrete norms. When equipped with an adaptive time strategy, the SAV/CN-BCFD scheme is accurate and extremely efficient. Numerical experiments on typical Allen-Cahn and Cahn-Hilliard equations are presented to verify our theoretical results and to show the robustness and accuracy of the SAV/CN-BCFD scheme.


title: Optimal (and Benchmark-Optimal) Competition Complexity for Additive Buyers over Independent Items

abstract: The Competition Complexity of an auction setting refers to the number of additional bidders necessary in order for the (deterministic, prior-independent, dominant strategy truthful) Vickrey-Clarke-Groves mechanism to achieve greater revenue than the (randomized, prior-dependent, Bayesian-truthful) optimal mechanism without the additional bidders. We prove that the competition complexity of $n$ bidders with additive valuations over $m$ independent items is at most $n(\ln(1+m/n)+2)$, and also at most $9\sqrt{nm}$. When $n \leq m$, the first bound is optimal up to constant factors, even when the items are i.i.d. and regular. When $n \geq m$, the second bound is optimal for the benchmark introduced in [EFFTW17a] up to constant factors, even when the items are i.i.d. and regular. We further show that, while the Eden et al. benchmark is not necessarily tight in the $n \geq m$ regime, the competition complexity of $n$ bidders with additive valuations over even $2$ i.i.d. regular items is indeed $\omega(1)$. Our main technical contribution is a reduction from analyzing the Eden et al. benchmark to proving stochastic dominance of certain random variables.


title: Fractionalization of long-range ordered states in a Falicov-Kimball model

abstract: A Falicov-Kimball model which thermodynamically reduces the local Coulomb interaction of particles to attraction or repulsion is studied within the dynamical mean-field theory. In the strong interaction regime a fractionalization of particles into charge and spin objects, the physical properties of which are different from the whole particles, is observed in both high- and low-temperature phases. At high temperature and strong interaction the single-particle density of states opens an excitation gap, but the charge compressibility and the spin susceptibility exhibit the features of gapless excitations. The low-temperature phase has a long-range order, and the single-particle spectra are always gapped, while the charge and spin excitations are gapless in the strong interaction regime. In the fractionalized long-range ordered phase both the charge compressibility and the spin susceptibility are universal scaling functions of temperature.


title: The (1,2)-step competition graph of a hypertournament

abstract: Competition graphs were created in connected to a biological model as a means of reflecting the competition relations among the predators in the food webs and determining the smallest dimension of ecological phase space. In 2011, Factor and Merz introduced the (1,2)-step competition graph of a digraph. Given a digraph $D=(V,A)$, the (1,2)-step competition graph of $D$, denoted $C_{1,2}(D)$, is a graph on $V(D)$ where $xy\in E(C_{1,2}(D))$ if and only if there exists a vertex $z\neq x,y$ such that either $d_{D-y}(x,z)=1$ and $d_{D-x}(y,z)\leq 2$ or $d_{D-x}(y,z)=1$ and $d_{D-y}(x,z)\leq 2$. They also characterized the (1,2)-step competition graphs of tournaments and extended some results to the $(i,j)$-step competition graphs of tournaments. In this paper, the definition of the (1,2)-step competition graph of a digraph is generalized to the one of a hypertournament and the $(1,2)$-step competition graph of a $k$-hypertournament is characterized. Also, the results are extended to the $(i,j)$-step competition graph of a $k$-hypertournament.


title: Coverage and Handoff Analysis of 5G Fractal Small Cell Networks

abstract: It is anticipated that much higher network capacity will be achieved by the fifth generation (5G) small cell networks incorporated with the millimeter wave (mmWave) technology. However, mmWave signals are more sensitive to blockages than signals in lower frequency bands, which highlights the effect of anisotropic path loss in network coverage. According to the fractal characteristics of cellular coverage, a multi-directional path loss model is proposed for 5G small cell networks, where different directions are subject to different path loss exponents. Furthermore, the coverage probability, association probability, and the handoff probability are derived for 5G fractal small cell networks based on the proposed multi-directional path loss model. Numerical results indicate that the coverage probability with the multi-directional path loss model is less than that with the isotropic path loss model, and the association probability with long link distance, e.g., 150m, increases obviously with the increase of the effect of anisotropic path loss in 5G fractal small cell networks. Moreover, it is observed that the anisotropic propagation environment is having a profound impact on the handoff performance. Meanwhile, we could conclude that the resulting heavy handoff overhead is emerging as a new challenge for 5G fractal small cell networks.


title: Quasi-normal modes of bumblebee wormhole

abstract: In this work, we calculate the quasi-normal frequencies from a bumblebee traversable wormhole. The bumblebee wormhole model is based on the bumblebee gravity, which exhibits a spontaneous Lorentz symmetry breaking. Supporting by the Lorentz violation parameter $\lambda$, this model allows the fulfillment of the flare-out and energy conditions, granted non-exotic matter to the wormhole. We analyze the parameters of bumblebee wormhole in order to obtain a Reege-Wheeler's equation with a bell-shaped potential. We obtain the quasi-normal modes (QNMs) via the WKB approximation method for both scalar and gravitational perturbations. All frequencies obtained are stable and the time domain profiles have decreasing oscillation (damping) profiles for the bumblebee wormhole.


title: A new method of energy reconstruction for large spherical liquid scintillator detectors

abstract: Liquid scintillators are commonly used to detect low energy neutrinos from the reactors, sun, and earth. It is a challenge to reconstruct deposited energies for a large liquid scintillator detector. For detectors with multiple optical mediums such as JUNO and SNO+, the prediction of the propagation of detected photons is extremely difficult due to mixed optical processes such as Rayleigh scattering, refraction and total reflection at their boundaries. Calibration based reconstruction methods consume impractical time since a large number of calibration points are required in a giant detector. In this paper, we propose a new model-independent method to reconstruct deposited energies with minimum requirements on the calibration system. This method is validated with JUNO's offline software. Monte Carlo studies show that the energy non-uniformity can be controlled below 1%, which is crucial for JUNO to achieve 3% energy resolution.


title: The second out-neighbourhood for local tournaments

abstract: Sullivan stated the conjectures: (1) every oriented graph $D$ has a vertex $x$ such that $d^{++}(x)\geq d^{-}(x)$; (2) every oriented graph $D$ has a vertex $x$ such that $d^{++}(x)+d^{+}(x)\geq 2d^{-}(x)$. In this paper, we prove that these conjectures hold for local tournaments. In particular, for a local tournament $D$, we prove that $D$ has at least two vertices satisfying $(1)$ if $D$ has no vertex of in-degree zero. And, for a local tournament $D$, we prove that either there exist two vertices satisfying $(2)$ or there exists a vertex $v$ satisfying $d^{++}(v)+d^{+}(v)\geq 2d^{-}(v)+2$ if $D$ has no vertex of in-degree zero.


title: Mapping RDF Graphs to Property Graphs

abstract: Increasing amounts of scientific and social data are published in the Resource Description Framework (RDF). Although the RDF data can be queried using the SPARQL language, even the SPARQL-based operation has a limitation in implementing traversal or analytical algorithms. Recently, a variety of graph database implementations dedicated to analyses on the property graph model have emerged. However, the RDF model and the property graph model are not interoperable. Here, we developed a framework based on the Graph to Graph Mapping Language (G2GML) for mapping RDF graphs to property graphs to make the most of accumulated RDF data. Using this framework, graph data described in the RDF model can be converted to the property graph model and can be loaded to several graph database engines for further analysis. Future works include implementing and utilizing graph algorithms to make the most of the accumulated data in various analytical engines.


title: Visual Attention for Behavioral Cloning in Autonomous Driving

abstract: The goal of our work is to use visual attention to enhance autonomous driving performance. We present two methods of predicting visual attention maps. The first method is a supervised learning approach in which we collect eye-gaze data for the task of driving and use this to train a model for predicting the attention map. The second method is a novel unsupervised approach where we train a model to learn to predict attention as it learns to drive a car. Finally, we present a comparative study of our results and show that the supervised approach for predicting attention when incorporated performs better than other approaches.


title: ECC: Platform-Independent Energy-Constrained Deep Neural Network Compression via a Bilinear Regression Model

abstract: Many DNN-enabled vision applications constantly operate under severe energy constraints such as unmanned aerial vehicles, Augmented Reality headsets, and smartphones. Designing DNNs that can meet a stringent energy budget is becoming increasingly important. This paper proposes ECC, a framework that compresses DNNs to meet a given energy constraint while minimizing accuracy loss. The key idea of ECC is to model the DNN energy consumption via a novel bilinear regression function. The energy estimate model allows us to formulate DNN compression as a constrained optimization that minimizes the DNN loss function over the energy constraint. The optimization problem, however, has nontrivial constraints. Therefore, existing deep learning solvers do not apply directly. We propose an optimization algorithm that combines the essence of the Alternating Direction Method of Multipliers (ADMM) framework with gradient-based learning algorithms. The algorithm decomposes the original constrained optimization into several subproblems that are solved iteratively and efficiently. ECC is also portable across different hardware platforms without requiring hardware knowledge. Experiments show that ECC achieves higher accuracy under the same or lower energy budget compared to state-of-the-art resource-constrained DNN compression techniques.


title: Random Spiking and Systematic Evaluation of Defenses Against Adversarial Examples

abstract: Image classifiers often suffer from adversarial examples, which are generated by strategically adding a small amount of noise to input images to trick classifiers into misclassification. Over the years, many defense mechanisms have been proposed, and different researchers have made seemingly contradictory claims on their effectiveness. We present an analysis of possible adversarial models, and propose an evaluation framework for comparing different defense mechanisms. As part of the framework, we introduce a more powerful and realistic adversary strategy. Furthermore, we propose a new defense mechanism called Random Spiking (RS), which generalizes dropout and introduces random noises in the training process in a controlled manner. Evaluations under our proposed framework suggest RS delivers better protection against adversarial examples than many existing schemes.


title: Optimizing adaptive cancer therapy: dynamic programming and evolutionary game theory

abstract: Recent clinical trials have shown that the adaptive drug therapy can be more efficient than a standard MTD-based policy in treatment of cancer patients. The adaptive therapy paradigm is not based on a preset schedule; instead, the doses are administered based on the current state of tumor. But the adaptive treatment policies examined so far have been largely ad hoc. In this paper we propose a method for systematically optimizing the rules of adaptive policies based on an Evolutionary Game Theory model of cancer dynamics. Given a set of treatment objectives, we use the framework of dynamic programming to find the optimal treatment strategies. In particular, we optimize the total drug usage and time to recovery by solving a Hamilton-Jacobi-Bellman equation based on a mathematical model of tumor evolution. We compare adaptive/optimal treatment strategy with MTD-based treatment policy. We show that optimal treatment strategies can dramatically decrease the total amount of drugs prescribed as well as increase the fraction of initial tumour states from which the recovery is possible. We also examine the optimization trade-offs between the total administered drugs and recovery time. The adaptive therapy combined with optimal control theory is a promising concept in the cancer treatment and should be integrated into clinical trial design.


title: On the competition between the Kondo effect and the exchange interaction in a parallel double quantum dot system

abstract: We study the competition between the Kondo effect and the exchange interaction in the parallel double quantum dot(DQDs) system within an effective action field theory. The strong on-site Coulomb interactions in DQDs are treated by using the Hubbard-Stratonovich transformation and the introduction of scalar potential fields. We show that a self-consistent perturbation approach, which takes into account the statistical properties of the potential fields acting on the electrons in DQDs, describes well the crossover from the Kondo regime to the spin-singlet state in this system. The linear conductance and the intradot/interdot spin excitation spectra of this system are obtain


title: Transport tuning of photonic topological edge states by optical cavities

abstract: Crystal-symmetry-protected photonic topological edge states (PTESs) based on air rods in conventional dielectric materials are designed as photonic topological waveguides (PTWs) coupled with side optical cavities. We demonstrate that the cavity coupled with the PTW can change the reflection-free transport of the PTESs, where the cavities with single mode and twofold degenerate modes are taken as examples. The single-mode cavities are able to perfectly reflect the PTESs at their resonant frequencies, forming a dip in the transmission spectra. The dip full width at half depth depends on the coupling strength between the cavity and PTW and thus on the cavity geometry and distance relative to the PTW. While the cavities with twofold degenerate modes lead to a more complex PTES transport whose transmission spectra can be in the Fano form. These effects well agree with the one-dimensional PTW-cavity transport theory we build, in which the coupling of the PTW with cavity is taken as $\delta$ or non-$\delta$ type. Such PTWs coupled with side cavities, combining topological properties and convenient tunability, have wide diversities for topological photonic devices.


title: Enriching Article Recommendation with Phrase Awareness

abstract: Recent deep learning methods for recommendation systems are highly sophisticated. For article recommendation task, a neural network encoder which generates a latent representation of the article content would prove useful. However, using raw text with embedding for models could degrade sentence meanings and deteriorate performance. In this paper, we propose PhrecSys (Phrase-based Recommendation System), which injects phrase-level features into content-based recommendation systems to enhance feature informativeness and model interpretability. Experiments conducted on six months of real-world data demonstrate that phrase features boost content-based models in predicting both user click and view behavior. Furthermore, the attention mechanism illustrates that phrase awareness benefits the learning of textual focus by putting the model's attention on meaningful text spans, which leads to interpretable article recommendation.


title: Geometric standing wave braneworld and field localization in Lyra manifold

abstract: In this work, we propose a standing wave braneworld based on Lyra geometry scenario. The Lyra displacement vector provides a modification in Einstein equations which can be interpreted as a noninteracting phantom scalar. From the Einstein's equation in Lyra manifold, a 5D standing wave braneworld is constructed in the presence of a cosmological constant. Unlike other standing wave solutions presented in the literature, no matter field is necessary to obtain these new solutions. We analyze the properties of the scalar, gauge vector and fermionic fields in this model, highlighting the relevance of geometric structure in the process of trapping matter.


title: Simple formula for leading $SU(3)$ irreducible representation for nucleons in an oscillator shell

abstract: Applications of rotational $SU(3)$ symmetry in nuclei, using Elliott's $SU(3)$ or pseudo-$SU(3)$ or proxy-$SU(3)$ model, often need just the lowest or leading $SU(3)$ irreducible representation (irrep) $(\lambda_H, \mu_H)$. For nucleons in an oscillator shell $\eta$, with ${\cal N}=(\eta +1)(\eta +2)/2$, we have the algebra $U(r{\cal N}) \supset [U({\cal N}) \supset SU(3)] \otimes SU(r)$; $r=2$ when there are only valence protons or neutrons and $r=4$ for nucleons with isospin $T$. Presented in this paper is a simple general formula for the leading $SU(3)$ irrep $(\lambda_H, \mu_H)$ in any given irrep $\{f\}$ of $U({\cal N})$. Results are provided for $(\lambda_H, \mu_H)$ irreps for $\eta$ values of interest in nuclei and for this for all allowed particle numbers. These results clearly show that prolate shape dominates over oblate shape in the shell model $SU(3)$ description.


title: Comment on "Probabilistic Integration: A Role in Statistical Computation?"

abstract: Probabilistic integration provides a criterion for stopping a simulation when a specified error tolerance is satisfied with high confidence. We comment on some of the modeling assumptions and implementation issues involved in designing an automatic Bayesian cubature.


title: Quantum amplification of mechanical oscillator motion

abstract: Detection of the weakest forces in nature and the search for new physics are aided by increasingly sensitive measurements of the motion of mechanical oscillators. However, the attainable knowledge of an oscillator's motion is limited by quantum fluctuations that exist even if the oscillator is in its lowest possible energy state. Here we demonstrate a widely applicable technique for amplifying coherent displacements of a mechanical oscillator with initial magnitudes well below these zero-point fluctuations. When applying two orthogonal "squeezing" interactions before and after a small displacement, the displacement is amplified, ideally with no added quantum noise. We implement this protocol with a trapped-ion mechanical oscillator and measure an increase of up to 17.5(3) decibels in sensitivity to small displacements.


title: Machine-learned epidemiology: real-time detection of foodborne illness at scale

abstract: Machine learning has become an increasingly powerful tool for solving complex problems, and its application in public health has been underutilized. The objective of this study is to test the efficacy of a machine-learned model of foodborne illness detection in a real-world setting. To this end, we built FINDER, a machine-learned model for real-time detection of foodborne illness using anonymous and aggregated web search and location data. We computed the fraction of people who visited a particular restaurant and later searched for terms indicative of food poisoning to identify potentially unsafe restaurants. We used this information to focus restaurant inspections in two cities and demonstrated that FINDER improves the accuracy of health inspections; restaurants identified by FINDER are 3.1 times as likely to be deemed unsafe during the inspection as restaurants identified by existing methods. Additionally, FINDER enables us to ascertain previously intractable epidemiological information, for example, in 38% of cases the restaurant potentially causing food poisoning was not the last one visited, which may explain the lower precision of complaint-based inspections. We found that FINDER is able to reliably identify restaurants that have an active lapse in food safety, allowing for implementation of corrective actions that would prevent the potential spread of foodborne illness.


title: Zero-free intervals of chromatic polynomials of mixed hypergraphs

abstract: In this paper, we prove that $(-\infty, 0)$ is a zero-free interval for chromatic polynomials of a family ${\cal L}_0$ of hypergraphs and $(0, 1)$ is a zero-free interval for chromatic polynomials of a subfamily ${\cal L}_0'$ of ${\cal L}_0$ of hypergraphs. These results extend known results on zero-free intervals of chromatic polynomials of graphs and hypergraphs.


title: Uncertainty Sampling is Preconditioned Stochastic Gradient Descent on Zero-One Loss

abstract: Uncertainty sampling, a popular active learning algorithm, is used to reduce the amount of data required to learn a classifier, but it has been observed in practice to converge to different parameters depending on the initialization and sometimes to even better parameters than standard training on all the data. In this work, we give a theoretical explanation of this phenomenon, showing that uncertainty sampling on a convex loss can be interpreted as performing a preconditioned stochastic gradient step on a smoothed version of the population zero-one loss that converges to the population zero-one loss. Furthermore, uncertainty sampling moves in a descent direction and converges to stationary points of the smoothed population zero-one loss. Experiments on synthetic and real datasets support this connection.


title: Besov spaces and random walks on a hyperbolic group: boundary traces and reflecting extensions of Dirichlet forms

abstract: We show the existence of a trace process at infinity for random walks on hyperbolic groups of conformal dimension < 2 and relate it to the existence of a reflecting random walk. To do so, we employ the theory of Dirichlet forms which connects the theory of symmetric Markov processes to functional analytic perspectives. We introduce a family of Besov spaces associated to random walks and prove that they are isomorphic to some of the Besov spaces constructed from the co-homology of the group studied in Bourdon-Pajot (2003). We also study the regularity of harmonic measures of random walks on hyperbolic groups using the potential theory associated to Dirichlet forms.


title: Rational function regression method for numerical analytic continuation

abstract: A simple method for numerical analytic continuation is developed. It is designed to analytically continue the imaginary time (Matsubara frequency) quantum Monte Carlo simulation results to the real time (real frequency) domain. Such a method is based on the Pad\'e approximation. We modify it to be a linear regression problem, and then use bootstrapping statistics to get the averaged result and estimate the error. Unlike maximum entropy method, no prior information is needed. Test-cases have shown that the spectrum is recovered for inputs with relative error as high as 1%.

categories: physics.comp-ph cond-mat.stat-mech cond-mat.str-el hep-lat


title: Photo-Realistic Blocksworld Dataset

abstract: In this report, we introduce an artificial dataset generator for Photo-realistic Blocksworld domain. Blocksworld is one of the oldest high-level task planning domain that is well defined but contains sufficient complexity, e.g., the conflicting subgoals and the decomposability into subproblems. We aim to make this dataset a benchmark for Neural-Symbolic integrated systems and accelerate the research in this area. The key advantage of such systems is the ability to obtain a symbolic model from the real-world input and perform a fast, systematic, complete algorithm for symbolic reasoning, without any supervision and the reward signal from the environment.


title: An Embarrassingly Simple Approach for Knowledge Distillation

abstract: Knowledge Distillation (KD) aims at improving the performance of a low-capacity student model by inheriting knowledge from a high-capacity teacher model. Previous KD methods typically train a student by minimizing a task-related loss and the KD loss simultaneously, using a pre-defined loss weight to balance these two terms. In this work, we propose to first transfer the backbone knowledge from a teacher to the student, and then only learn the task-head of the student network. Such a decomposition of the training process circumvents the need of choosing an appropriate loss weight, which is often difficult in practice, and thus makes it easier to apply to different datasets and tasks. Importantly, the decomposition permits the core of our method, Stage-by-Stage Knowledge Distillation (SSKD), which facilitates progressive feature mimicking from teacher to student. Extensive experiments on CIFAR-100 and ImageNet suggest that SSKD significantly narrows down the performance gap between student and teacher, outperforming state-of-the-art approaches. We also demonstrate the generalization ability of SSKD on other challenging benchmarks, including face recognition on IJB-A dataset as well as object detection on COCO dataset.


title: Formation of carbon-enhanced metal-poor stars as a consequence of inhomogeneous metal mixing

abstract: We present a novel scenario for the formation of carbon-enhanced metal-poor (CEMP) stars. Carbon enhancement at low stellar metallicities is usually considered a consequence of faint or other exotic supernovae. An analytical estimate of cooling times in low-metallicity gas demonstrates a natural bias, which favours the formation of CEMP stars as a consequence of inhomogeneous metal mixing: carbon-rich gas has a shorter cooling time and can form stars prior to a potential nearby pocket of carbon-normal gas, in which star formation is then suppressed due to energetic photons from the carbon-enhanced protostars. We demonstrate that this scenario provides a natural formation mechanism for CEMP stars from carbon-normal supernovae, if inhomogeneous metal mixing provides carbonicity differences of at least one order of magnitude separated by >10pc. In our fiducial (optimistic) model, 8% (83%) of observed CEMP-no stars ([Ba/Fe]<0) can be explained by this formation channel. This new scenario may change our understanding of the first supernovae and thereby our concept of the first stars. Future 3D simulations are required to assess the likelihood of this mechanism to occur in typical high-redshift galaxies.


title: Regularized Ensembles and Transferability in Adversarial Learning

abstract: Despite the considerable success of convolutional neural networks in a broad array of domains, recent research has shown these to be vulnerable to small adversarial perturbations, commonly known as adversarial examples. Moreover, such examples have shown to be remarkably portable, or transferable, from one model to another, enabling highly successful black-box attacks. We explore this issue of transferability and robustness from two dimensions: first, considering the impact of conventional $l_p$ regularization as well as replacing the top layer with a linear support vector machine (SVM), and second, the value of combining regularized models into an ensemble. We show that models trained with different regularizers present barriers to transferability, as does partial information about the models comprising the ensemble.


title: Triangulation of 2-loop MHV Amplituhedron from Sign Flips

abstract: In this paper, we consider the triangulation of 2-loop MHV amplituhedron from "sign flip" definition. Using the isomorphism between $m=2, k=2$ tree amplituhedron and 1-loop MHV physical amplituhedron, we found the direct triangulation of 2-loop MHV amplituhedron from sign flip. This triangulation is different from the BCFW triangulation because of the structure of the cells. And we also found a formula of the canonical form of $n$-point 2-loop MHV amplituhedron. This formula looks like a 2-loop version of the Kermit representation of 1-loop MHV amplitude. We checked that the sum of these cells of direct triangulation and BCFW or double pentagon diagram, these are consistent up to at least 22-pt amplitude numerically.


title: Approximation with Error Bounds in Spark

abstract: We introduce a sampling framework to support approximate computing with estimated error bounds in Spark. Our framework allows sampling to be performed at the beginning of a sequence of multiple transformations ending in an aggregation operation. The framework constructs a data provenance tree as the computation proceeds, then combines the tree with multi-stage sampling and population estimation theories to compute error bounds for the aggregation. When information about output keys are available early, the framework can also use adaptive stratified reservoir sampling to avoid (or reduce) key losses in the final output and to achieve more consistent error bounds across popular and rare keys. Finally, the framework includes an algorithm to dynamically choose sampling rates to meet user specified constraints on the CDF of error bounds in the outputs. We have implemented a prototype of our framework called ApproxSpark, and used it to implement five approximate applications from different domains. Evaluation results show that ApproxSpark can (a) significantly reduce execution time if users can tolerate small amounts of uncertainties and, in many cases, loss of rare keys, and (b) automatically find sampling rates to meet user specified constraints on error bounds. We also explore and discuss extensively trade-offs between sampling rates, execution time, accuracy and key loss.


title: Approximation to Wiener measure on a general noncompact Riemannian manifold

abstract: In prior work \cite{AD} of Lars Andersson and Bruce K. Driver, the path space with finite interval over a compact Riemannian manifold is approximated by finite dimensional manifolds $H_{x,\P} (M)$ consisting of piecewise geodesic paths adapted to partitions $\P$ of $[0,T]$, and the associated Wiener measure is also approximated by a sequence of probability measures on finite dimensional manifolds. In this article, we will extend their results to the general path space(possibly with infinite interval) over a non-compact Riemannian manifold by using the cutoff method of compact Riemannian manifolds. Extension to the free path space. As applications, we obtain integration by parts formulas in the path space $W^T_x(M)$ and the free path space $W^T(M)$ respectively.


title: Cooperative Multi-Agent Policy Gradients with Sub-optimal Demonstration

abstract: Many reality tasks such as robot coordination can be naturally modelled as multi-agent cooperative system where the rewards are sparse. This paper focuses on learning decentralized policies for such tasks using sub-optimal demonstration. To learn the multi-agent cooperation effectively and tackle the sub-optimality of demonstration, a self-improving learning method is proposed: On the one hand, the centralized state-action values are initialized by the demonstration and updated by the learned decentralized policy to improve the sub-optimality. On the other hand, the Nash Equilibrium are found by the current state-action value and are used as a guide to learn the policy. The proposed method is evaluated on the combat RTS games which requires a high level of multi-agent cooperation. Extensive experimental results on various combat scenarios demonstrate that the proposed method can learn multi-agent cooperation effectively. It significantly outperforms many state-of-the-art demonstration based approaches.


title: Spectral gaps for the O-U/Stochastic heat processes on path space over a Riemannian manifold with boundary

abstract: Fang-Wu\cite{FW17} presented a explicit spectral gap for the O-U process on path space over a Riemannian manifold without boundary under the bounded Ricci curvature conditions. In this paper, we will extend these results to the case of the Riemannian manifold with boundary. Moreover, we also derive the similar results for the stochastic heat process.


title: Coupling of atomic quadrupole transitions with resonant surface plasmons

abstract: We report on the coupling of an electric quadrupole transition in atom with plasmonic excitation in a nanostructured metallic metamaterial. The quadrupole transition at 685 nm in the gas of Cesium atoms is optically pumped, while the induced ground state population depletion is probed with light tuned on the strong electric dipole transition at 852 nm. We use selective reflection to resolve the Doppler-free hyperfine structure of Cesium atoms. We observed a strong modification of the reflection spectra at the presence of metamaterial and discuss the role of the spatial variation of the surface plasmon polariton on the quadrupole coupling.


title: Graph based Question Answering System

abstract: In today's digital age in the dawning era of big data analytics it is not the information but the linking of information through entities and actions which defines the discourse. Any textual data either available on the Internet off off-line (like newspaper data, Wikipedia dump, etc) is basically connect information which cannot be treated isolated for its wholesome semantics. There is a need for an automated retrieval process with proper information extraction to structure the data for relevant and fast text analytics. The first big challenge is the conversion of unstructured textual data to structured data. Unlike other databases, graph databases handle relationships and connections elegantly. Our project aims at developing a graph-based information extraction and retrieval system.


title: Multilayer ion trap technology for scalable quantum computing and quantum simulation

abstract: We present a novel ion trap fabrication method enabling the realization of multilayer ion traps scalable to an in principle arbitrary number of metal-dielectric levels. We benchmark our method by fabricating a multilayer ion trap with integrated three-dimensional microwave circuitry. We demonstrate ion trapping and microwave control of the hyperfine states of a laser cooled $\,^{9}$Be$^{+}$ ion held at a distance of 35$\,\mu$m above the trap surface. This method can be used to implement large-scale ion trap arrays for scalable quantum information processing and quantum simulation.


title: Unified Analysis of HetNets using Poisson Cluster Process under Max-Power Association

abstract: Owing to its flexibility in modeling real-world spatial configurations of users and base stations (BSs), the Poisson cluster process (PCP) has recently emerged as an appealing way to model and analyze heterogeneous cellular networks (HetNets). Despite its undisputed relevance to HetNets -- corroborated by the models used in industry -- the PCP's use in performance analysis has been limited. This is primarily because of the lack of analytical tools to characterize performance metrics such as the coverage probability of a user connected to the strongest BS. In this paper, we develop an analytical framework for the evaluation of the coverage probability, or equivalently the complementary cumulative density function (CCDF) of signal-to-interference-and-noise-ratio (SINR), of a typical user in a K-tier HetNet under a max power-based association strategy, where the BS locations of each tier follow either a Poisson point process (PPP) or a PCP. The key enabling step involves conditioning on the parent PPPs of all the PCPs which allows us to express the coverage probability as a product of sum-product and probability generating functionals (PGFLs) of the parent PPPs. In addition to several useful insights, our analysis provides a rigorous way to study the impact of the cluster size on the SINR distribution, which was not possible using existing PPP-based models.


title: Intrinsic Riemannian Functional Data Analysis

abstract: In this work we develop a novel and foundational framework for analyzing general Riemannian functional data, in particular a new development of tensor Hilbert spaces along curves on a manifold. Such spaces enable us to derive Karhunen-Loeve expansion for Riemannian random processes. This framework also features an approach to compare objects from different tensor Hilbert spaces, which paves the way for asymptotic analysis in Riemannian functional data analysis. Built upon intrinsic geometric concepts such as vector field, Levi-Civita connection and parallel transport on Riemannian manifolds, the developed framework applies to not only Euclidean submanifolds but also manifolds without a natural ambient space. As applications of this framework, we develop intrinsic Riemannian functional principal component analysis (iRFPCA) and intrinsic Riemannian functional linear regression (iRFLR) that are distinct from their traditional and ambient counterparts. We also provide estimation procedures for iRFPCA and iRFLR, and investigate their asymptotic properties within the intrinsic geometry. Numerical performance is illustrated by simulated and real examples.


title: The shifting method and generalized Tur\'{a}n number of matchings

abstract: Given two graphs $T$ and $F$, the maximum number of copies of $T$ in an $F$-free graph on $n$ vertices is called the generalized Tur\'{a}n number, denoted by $ex(n,T,F)$. When $T=K_2$, it reduces to the classical Tur\'{a}n number $ex(n,F)$. Let $M_{k}$ be a matching with $k$ edges and $K^{*}_{s,t}$ a graph obtained from $K_{s,t}$ by replacing the part of size $s$ by a clique of the same size. In this paper, we show that for any $s\geq 2$ and $n\geq 2k+1$, \[ ex(n,K_s,M_{k+1})=\max\left\{\binom{2k+1}{s}, \binom{k}{s}+(n-k)\binom{k}{s-1}\right\}. \] For any $s\geq 1$, $t\geq 2$ and $n\geq 2k+1$, \[ ex(n,K_{s,t}^*,M_{k+1})=\max\left\{\binom{2k+1}{s+t}\binom{s+t}{t}, \binom{k}{s}\binom{n-s}{t}+(n-k)\binom{k}{s+t-1}\binom{s+t-1}{t}\right\}. \] Moreover, we also study the bipartite case of the problem. Let $ex_{bip}(n,T,F)$ be the maximum possible number of copies of $T$ in an $F$-free bipartite graph with each part of size $n$. We prove that for any $s,t\geq 1$ and $n\geq k$, \[ ex_{bip}(n,K_{s,t},M_{k+1})=\left\{ \begin{aligned} &\binom{k}{s}\binom{n}{t}+\binom{k}{t}\binom{n}{s}, & \quad s\neq t, &\binom{k}{s}\binom{n}{s},&\quad s=t. \end{aligned} \right. \] Our proof is mainly based on the shifting method.


title: A Scheme for Ultrasensitive Detection of Molecules by Using Vibrational Spectroscopy in Combination with Signal Processing

abstract: We show that combining vibrational spectroscopy with signal processing can result in a scheme for ultrasensitive detection of molecules. We consider the vibrational spectrum as a signal on the energy axis and apply a matched filter on that axis. On the example of a nerve agent molecule, we show that this allows detecting a molecule by its vibrational spectrum even when the recorded spectrum is completely buried in noise, when conventional spectroscopic detection is impossible. Detection is predicted to be possible with signal-to-noise ratios in recorded spectra as low as 0.1. We study the importance of spectral range used for detection as well as of the quality of the computed spectrum used to program the filter, specifically, the role of anharmonicity, of the exchange correlation functional, and of the basis set. The use of the full spectral range rather than of a narrow spectral window with key vibrations is shown to be advantageous, as well as accounting for anharmonicity.


title: Gate tuning from exciton superfluid to quantum anomalous Hall in van der Waals heterobilayer

abstract: Van der Waals heterostructures of 2D materials provide a powerful approach towards engineering various quantum phases of matters. Examples include topological matters such as quantum spin Hall (QSH) insulator, and correlated matters such as exciton superfluid. It can be of great interest to realize these vastly different quantum matters on a common platform, however, their distinct origins tend to restrict them to material systems of incompatible characters. Here we show that heterobilayers of two-dimensional valley semiconductors can be tuned through interlayer bias between an exciton superfluid (ES), a quantum anomalous Hall (QAH) insulator, and a QSH insulator. The tunability between these distinct phases results from the competition of Coulomb interaction with the interlayer quantum tunnelling that has a chiral form in valley semiconductors. Our findings point to exciting opportunities for harnessing both protected topological edge channels and bulk superfluidity in an electrically configurable platform.


title: Torsion-bar antenna: a ground-based mid-frequency and low-frequency gravitational wave detector

abstract: Expanding the observational frequency of gravitational waves is important for the future of astronomy. Torsion-Bar Antenna (TOBA) is a mid-frequency and low-frequency gravitational wave detector using a torsion pendulum. The low resonant frequency of the rotational mode of the torsion pendulum enables ground-based observations. The overview of TOBA, including the past and present status of the prototype development is summarized in this paper.


title: Correction and notes to the paper "A classification of Artin-Schreier defect extensions and characterizations of defectless fields"

abstract: We correct a mistake in a lemma in the paper cited in the title and show that it did not affect any of the other results of the paper. To this end we prove results on linearly disjoint field extensions that do not seem to be commonly known. We give an example to show that a separability assumption in one of these results cannot be dropped (doing so had led to the mistake). Further, we discuss recent generalizations of the original classification of defect extensions.


title: ADARES: Adaptive Resource Management for Virtual Machines

abstract: Virtual execution environments allow for consolidation of multiple applications onto the same physical server, thereby enabling more efficient use of server resources. However, users often statically configure the resources of virtual machines through guesswork, resulting in either insufficient resource allocations that hinder VM performance, or excessive allocations that waste precious data center resources. In this paper, we first characterize real-world resource allocation and utilization of VMs through the analysis of an extensive dataset, consisting of more than 250k VMs from over 3.6k private enterprise clusters. Our large-scale analysis confirms that VMs are often misconfigured, either overprovisioned or underprovisioned, and that this problem is pervasive across a wide range of private clusters. We then propose ADARES, an adaptive system that dynamically adjusts VM resources using machine learning techniques. In particular, ADARES leverages the contextual bandits framework to effectively manage the adaptations. Our system exploits easily collectible data, at the cluster, node, and VM levels, to make more sensible allocation decisions, and uses transfer learning to safely explore the configurations space and speed up training. Our empirical evaluation shows that ADARES can significantly improve system utilization without sacrificing performance. For instance, when compared to threshold and prediction-based baselines, it achieves more predictable VM-level performance and also reduces the amount of virtual CPUs and memory provisioned by up to 35% and 60% respectively for synthetic workloads on real clusters.


title: Existence of infinitely many solutions for a nonlocal elliptic PDE involving singularity

abstract: In this article, we will prove the existence of infinitely many positive weak solutions to the following nonlocal elliptic PDE. \begin{align} (-\Delta)^s u&= \frac{\lambda}{u^{\gamma}}+ f(x,u)~\text{in}~\Omega,\nonumber u&=0~\text{in}~\mathbb{R}^N\setminus\Omega,\nonumber \end{align} where $\Omega$ is an open bounded domain in $\mathbb{R}^N$ with Lipschitz boundary, $N>2s$, $s\in (0,1)$, $\gamma\in (0,1)$. We will employ variational techniques to show the existence of infinitely many weak solutions of the above problem.