title: Integrating Algorithmic Planning and Deep Learning for Partially Observable Navigation

abstract: We propose to take a novel approach to robot system design where each building block of a larger system is represented as a differentiable program, i.e. a deep neural network. This representation allows for integrating algorithmic planning and deep learning in a principled manner, and thus combine the benefits of model-free and model-based methods. We apply the proposed approach to a challenging partially observable robot navigation task. The robot must navigate to a goal in a previously unseen 3-D environment without knowing its initial location, and instead relying on a 2-D floor map and visual observations from an onboard camera. We introduce the Navigation Networks (NavNets) that encode state estimation, planning and acting in a single, end-to-end trainable recurrent neural network. In preliminary simulation experiments we successfully trained navigation networks to solve the challenging partially observable navigation task.


title: Impact of the 125 GeV Higgs boson on the singlet fermion dark matter searches at the LHC

abstract: The search for singlet fermion dark matter at high-energy colliders is commonly analyzed with a singlet scalar mediator, which however violates the standard model (SM) gauge invariance, renormalizability and unitarity. These problems can be cured by introducing a mixing between the singlet scalar $s$ and the SM Higgs boson $h$. Thus one has to consider two scalar mediators $h_1$ and $h_2$, where $h_1$ is identified as the discovered 125 GeV Higgs boson. As a specific example, we consider the dark matter (DM) search in the $t \bar{t} + E_{T}^{\text{miss}}$ channel. According to the masses of dark matter and two scalar mediators, we classify the process into four cases. By investigating the total cross sections and differential distributions, we find that the contribution of the 125~GeV Higgs boson $h_1$ cannot be neglected in all cases and can even dominate once $h_1$ is on-shell in dark matter production. Further, we study the impact of $h_1$ on the LHC bounds of dark matter searches in the hadronic and semileptonic channels with the integrated luminosity of $36~\text{fb}^{-1}$. Finally we make a brief comment that $h_1$ should be also considered in the vector DM search at high-energy colliders.


title: Pink Work: Same-Sex Marriage, Employment and Discrimination

abstract: This paper analyzes how the legalization of same-sex marriage in the U.S. affected gay and lesbian couples in the labor market. Results from a difference-in-difference model show that both partners in same-sex couples were more likely to be employed, to have a full-time contract, and to work longer hours in states that legalized same-sex marriage. In line with a theoretical search model of discrimination, suggestive empirical evidence supports the hypothesis that marriage equality led to an improvement in employment outcomes among gays and lesbians and lower occupational segregation thanks to a decrease in discrimination towards sexual minorities.


title: Adaptive Neural Trees

abstract: Deep neural networks and decision trees operate on largely separate paradigms; typically, the former performs representation learning with pre-specified architectures, while the latter is characterised by learning hierarchies over pre-specified features with data-driven architectures. We unite the two via adaptive neural trees (ANTs) that incorporates representation learning into edges, routing functions and leaf nodes of a decision tree, along with a backpropagation-based training algorithm that adaptively grows the architecture from primitive modules (e.g., convolutional layers). We demonstrate that, whilst achieving competitive performance on classification and regression datasets, ANTs benefit from (i) lightweight inference via conditional computation, (ii) hierarchical separation of features useful to the task e.g. learning meaningful class associations, such as separating natural vs. man-made objects, and (iii) a mechanism to adapt the architecture to the size and complexity of the training dataset.


title: Psychological constraints on string-based methods for pattern discovery in polyphonic corpora

abstract: Researchers often divide symbolic music corpora into contiguous sequences of n events (called n-grams) for the purposes of pattern discovery, key finding, classification, and prediction. What is more, several studies have reported improved task performance when using psychologically motivated weighting functions, which adjust the count to privilege n-grams featuring more salient or memorable events (e.g., Krumhansl, 1990). However, these functions have yet to appear in harmonic pattern discovery algorithms, which attempt to discover the most recurrent chord progressions in complex polyphonic corpora. This study examines whether psychologically-motivated weighting functions can improve harmonic pattern discovery algorithms. Models using various n-gram selection methods, weighting functions, and ranking algorithms attempt to discover the most conventional closing harmonic progression in the common-practice period, ii6-"I64"-V7-I, with the progression's mean reciprocal rank serving as an evaluation metric for model comparison.


title: Massively Parallel Symmetry Breaking on Sparse Graphs: MIS and Maximal Matching

abstract: The success of modern parallel paradigms such as MapReduce, Hadoop, or Spark, has attracted a significant attention to the Massively Parallel Computation (MPC) model over the past few years, especially on graph problems. In this work, we consider symmetry breaking problems of maximal independent set (MIS) and maximal matching (MM), which are among the most intensively studied problems in distributed/parallel computing, in MPC. These problems are known to admit efficient MPC algorithms if the space per machine is near-linear in $n$, the number of vertices in the graph. This space requirement however, as observed in the literature, is often significantly larger than we can afford; especially when the input graph is sparse. In a sharp contrast, in the truly sublinear regime of $n^{1-\Omega(1)}$ space per machine, all the known algorithms take $\log^{\Omega(1)} n$ rounds which is considered inefficient. Motivated by this shortcoming, we parametrize our algorithms by the arboricity $\alpha$ of the input graph, which is a well-received measure of its sparsity. We show that both MIS and MM admit $O(\sqrt{\log \alpha}\cdot\log\log \alpha + \log^2\log n)$ round algorithms using $O(n^\epsilon)$ space per machine for any constant $\epsilon \in (0, 1)$ and using $\widetilde{O}(m)$ total space. Therefore, for the wide range of sparse graphs with small arboricity---such as minor-free graphs, bounded-genus graphs or bounded treewidth graphs---we get an $O(\log^2 \log n)$ round algorithm which exponentially improves prior algorithms. By known reductions, our results also imply a $(1+\epsilon)$-approximation of maximum cardinality matching, a $(2+\epsilon)$-approximation of maximum weighted matching, and a 2-approximation of minimum vertex cover with essentially the same round complexity and memory requirements.


title: Merlin: A Language Server for OCaml (Experience Report)

abstract: We report on the experience of developing Merlin, a language server for the OCaml programming language in development since 2013. Merlin is a daemon that connects to your favourite text editor and provides services that require a fine-grained understanding of the programming language syntax and static semantics: instant feedback on warnings and errors, autocompletion, `type of the code under the cursor', `go to definition', etc. Language servers need to handle incomplete and partially-incorrect programs, and try to be incremental to minimize recomputation after small editing actions. Merlin was built by carefully adapting the existing tools (the OCamllex lexer and Menhir parser generators) to better support incrementality, incompleteness and error handling. These extensions are elegant and general, as demonstrated by the interesting, unplanned uses that the OCaml community found for them. They could be adapted to other frontends -- in any language. Besides incrementality, we discuss the way Merlin communicates with editors, describe the design decisions that went into some demanding features and report on some of the non-apparent difficulties in building good editor support, emerging from expressive programming languages or frustrating tooling ecosystems. We expect this experience report to be of interest to authors of interactive language tooling for any programming language; many design choices may be reused, and some hard-won lessons can serve as warnings.


title: Nonlinear optical properties of two and three-dimensional hybrid perovskite using single beam F-scan technique at 1064 nm

abstract: In this paper two-photon absorption coefficient $\beta$ and nonlinear refractive index ${n}_{2}$ have been measured at 1064 nm for a new two-dimensional (CH3(CH2)2NH3)2(CH3NH3)2Pb3Br10 hybrid perovskite. The nonlinear optical properties were measured using transmission and reflection F-scan techniques. As a reference, a three-dimensional CH3NH3PbBr3 has been used. As expected, the values obtained for ${n}_{2}$ and $\beta$ show a difference between these two materials. The figure of merit for both, three dimensional and two-dimensional perovskites are F=0.31 and F=0.04, respectively, implying that these materials can be used in photonics applications such as optical limiting devices and all-optical switching.


title: Duality Constraints on Counterterms in $\mathcal N=5,\ 6$ Supergravities

abstract: The UV finiteness found in calculations of the 4-point amplitude in $\mathcal N=5$ supergravity at loop order $L=3, 4$ has not been explained, which motivates our study of the relevant superspace invariants and on-shell superamplitudes for both $\mathcal N=5$ and $\mathcal N=6$. The local 4-point superinvariants for $L = 3,4$ are expected to have nonlinear completions whose 6-point amplitudes have non-vanishing SSL's (soft scalar limits), violating the behavior required of Goldstone bosons. For $\mathcal N=5$, we find at $L=3$ that local 6-point superinvariant and superamplitudes, which might cancel these SSL's, do not exist. This rules out the candidate 4-point counterterm and thus gives a plausible explanation of the observed $L=3$ finiteness. However, at $L= 4$ we construct a local 6-point superinvariant with non-vanishing SSL's, so the SSL argument does not explain the observed $L=4$ $\mathcal N=5$ UV finiteness. For $\mathcal N=6$ supergravity there are no 6-point invariants at either $L= 3$ or 4, so the SSL argument predicts UV finiteness.


title: A Luneburg lens for spin waves

abstract: We report on the theory of a Luneburg lens for forward-volume magnetostatic spin waves, and verify its operation via micromagnetic modelling. The lens converts a plane wave to a point source (and vice versa) by a designed graded index, realised here by either modulating the thickness or the saturation magnetization in a circular region. We find that the lens enhances the wave amplitude by 5 times at the lens focus, and 47% of the incident energy arrives in the focus region. Furthermore, small deviations in the profile can still result in good focusing, if the lens index is graded smoothly.


title: Sonification in security operations centres: what do security practitioners think?

abstract: In Security Operations Centres (SOCs) security practitioners work using a range of tools to detect and mitigate malicious computer-network activity. Sonification, in which data is represented as sound, is said to have potential as an approach to addressing some of the unique challenges faced by SOCs. For example, sonification has been shown to enable peripheral monitoring of processes, which could aid practitioners multitasking in busy SOCs. The perspectives of security practitioners on incorporating sonification into their actual working environments have not yet been examined, however. The aim of this paper therefore is to address this gap by exploring attitudes to using sonification in SOCs. We report on the results of a study consisting of an online survey (N=20) and interviews (N=21) with security practitioners working in a range of different SOCs. Our contribution is a refined appreciation of the contexts in which sonification could aid in SOC working practice, and an understanding of the areas in which sonification may not be beneficial or may even be problematic.We also analyse the critical requirements for the design of sonification systems and their integration into the SOC setting. Our findings clarify insights into the potential benefits and challenges of introducing sonification to support work in this vital security-monitoring environment.


title: Stochastic defense against complex grid attacks

abstract: We describe defense mechanisms designed to detect sophisticated grid attacks involving both physical actions (including load modification) and sensor output alteration, with the latter performed in a sparse manner and also so as to take into account grid response mechanisms (secondary response). The attacks aim to be both undetectable even under a full AC power flow model, and to hide equipment overload. We demonstrate that such attacks, while perhaps difficult to implement, nevertheless are easily computed even on systems with a large number of installed sensors, and can, in a static setting, successfuly hide large line overloads. Furthermore an attacker that understands the ongoing stochastic nature of sensor signals can extend the attack so as to remain effective for a nontrivial time period. To counteract such "ideal" or "perfect" attacks, we demonstrate a set of data-driven stochastic techniques to thwart the attacker and detect that an attack has taken place.


title: A Modulation Module for Multi-task Learning with Applications in Image Retrieval

abstract: Multi-task learning has been widely adopted in many computer vision tasks to improve overall computation efficiency or boost the performance of individual tasks, under the assumption that those tasks are correlated and complementary to each other. However, the relationships between the tasks are complicated in practice, especially when the number of involved tasks scales up. When two tasks are of weak relevance, they may compete or even distract each other during joint training of shared parameters, and as a consequence undermine the learning of all the tasks. This will raise destructive interference which decreases learning efficiency of shared parameters and lead to low quality loss local optimum w.r.t. shared parameters. To address the this problem, we propose a general modulation module, which can be inserted into any convolutional neural network architecture, to encourage the coupling and feature sharing of relevant tasks while disentangling the learning of irrelevant tasks with minor parameters addition. Equipped with this module, gradient directions from different tasks can be enforced to be consistent for those shared parameters, which benefits multi-task joint training. The module is end-to-end learnable without ad-hoc design for specific tasks, and can naturally handle many tasks at the same time. We apply our approach on two retrieval tasks, face retrieval on the CelebA dataset [1] and product retrieval on the UT-Zappos50K dataset [2, 3], and demonstrate its advantage over other multi-task learning methods in both accuracy and storage efficiency.


title: On the Dundas-Goodwillie-McCarthy theorem

abstract: We give a modern presentation of the Dundas-Goodwillie-McCarthy theorem identifying relative K-theory and topological cyclic homology for nilpotent ring extensions.


title: Digit sums and generating functions

abstract: We connect a primitive operation from arithmetic -- summing the digits of a base-$B$ integer -- to $q$-series and product generating functions analogous to those in partition theory. We find digit sum generating functions to be intertwined with distinctive classes of "$B$-ary" Lambert series, which themselves enjoy nice transformations. We also consider digit sum Dirichlet series.


title: Receiver Operating Characteristic Curves and Confidence Bands for Support Vector Machines

abstract: Many problems that appear in biomedical decision making, such as diagnosing disease and predicting response to treatment, can be expressed as binary classification problems. The costs of false positives and false negatives vary across application domains and receiver operating characteristic (ROC) curves provide a visual representation of this trade-off. Nonparametric estimators for the ROC curve, such as a weighted support vector machine (SVM), are desirable because they are robust to model misspecification. While weighted SVMs have great potential for estimating ROC curves, their theoretical properties were heretofore underdeveloped. We propose a method for constructing confidence bands for the SVM ROC curve and provide the theoretical justification for the SVM ROC curve by showing that the risk function of the estimated decision rule is uniformly consistent across the weight parameter. We demonstrate the proposed confidence band method and the superior sensitivity and specificity of the weighted SVM compared to commonly used methods in diagnostic medicine using simulation studies. We present two illustrative examples: diagnosis of hepatitis C and a predictive model for treatment response in breast cancer.


title: Evaluating Gaussian Process Metamodels and Sequential Designs for Noisy Level Set Estimation

abstract: We consider the problem of learning the level set for which a noisy black-box function exceeds a given threshold. To efficiently reconstruct the level set, we investigate Gaussian process (GP) metamodels. Our focus is on strongly stochastic samplers, in particular with heavy-tailed simulation noise and low signal-to-noise ratio. To guard against noise misspecification, we assess the performance of three variants: (i) GPs with Student-$t$ observations; (ii) Student-$t$ processes (TPs); and (iii) classification GPs modeling the sign of the response. In conjunction with these metamodels, we analyze several acquisition functions for guiding the sequential experimental designs, extending existing stepwise uncertainty reduction criteria to the stochastic contour-finding context. This also motivates our development of (approximate) updating formulas to efficiently compute such acquisition functions. Our schemes are benchmarked by using a variety of synthetic experiments in 1--6 dimensions. We also consider an application of level set estimation for determining the optimal exercise policy of Bermudan options in finance.


title: On the Interaction Effects Between Prediction and Clustering

abstract: Machine learning systems increasingly depend on pipelines of multiple algorithms to provide high quality and well structured predictions. This paper argues interaction effects between clustering and prediction (e.g. classification, regression) algorithms can cause subtle adverse behaviors during cross-validation that may not be initially apparent. In particular, we focus on the problem of estimating the out-of-cluster (OOC) prediction loss given an approximate clustering with probabilistic error rate $p_0$. Traditional cross-validation techniques exhibit significant empirical bias in this setting, and the few attempts to estimate and correct for these effects are intractable on larger datasets. Further, no previous work has been able to characterize the conditions under which these empirical effects occur, and if they do, what properties they have. We precisely answer these questions by providing theoretical properties which hold in various settings, and prove that expected out-of-cluster loss behavior rapidly decays with even minor clustering errors. Fortunately, we are able to leverage these same properties to construct hypothesis tests and scalable estimators necessary for correcting the problem. Empirical results on benchmark datasets validate our theoretical results and demonstrate how scaling techniques provide solutions to new classes of problems.


title: Defend Deep Neural Networks Against Adversarial Examples via Fixed and Dynamic Quantized Activation Functions

abstract: Recent studies have shown that deep neural networks (DNNs) are vulnerable to adversarial attacks. To this end, many defense approaches that attempt to improve the robustness of DNNs have been proposed. In a separate and yet related area, recent works have explored to quantize neural network weights and activation functions into low bit-width to compress model size and reduce computational complexity. In this work, we find that these two different tracks, namely the pursuit of network compactness and robustness, can be merged into one and give rise to networks of both advantages. To the best of our knowledge, this is the first work that uses quantization of activation functions to defend against adversarial examples. We also propose to train robust neural networks by using adaptive quantization techniques for the activation functions. Our proposed Dynamic Quantized Activation (DQA) is verified through a wide range of experiments with the MNIST and CIFAR-10 datasets under different white-box attack methods, including FGSM, PGD, and C & W attacks. Furthermore, Zeroth Order Optimization and substitute model-based black-box attacks are also considered in this work. The experimental results clearly show that the robustness of DNNs could be greatly improved using the proposed DQA.


title: Multivariate approximation in total variation using local dependence

abstract: We establish two theorems for assessing the accuracy in total variation of multivariate discrete normal approximation to the distribution of an integer valued random vector $W$. The first is for sums of random vectors whose dependence structure is local. The second applies to random vectors~$W$ resulting from integrating the $\mathbb{Z}^d$-valued marks of a marked point process with respect to its ground process. The error bounds are of magnitude comparable to those given in Rinott and Rotar (1996), but now with respect to the stronger total variation distance. Instead of requiring the summands to be bounded, we make third moment assumptions. We demonstrate the use of the theorems in four applications: monochrome edges in vertex coloured graphs, induced triangles and $2$-stars in random geometric graphs, the times spent in different states by an irreducible and aperiodic finite Markov chain, and the maximal points in different regions of a homogeneous Poisson point process.


title: Pattern Synthesis via Complex-Coefficient Weight Vector Orthogonal Decomposition

abstract: This paper presents a new array response control scheme named complex-coefficient weight vector orthogonal decomposition ($ \textrm{C}^2\textrm{-WORD} $) and its application to pattern synthesis. The proposed $ \textrm{C}^2\textrm{-WORD} $ algorithm is a modified version of the existing WORD approach. We extend WORD by allowing a complex-valued combining coefficient in $ \textrm{C}^2\textrm{-WORD} $, and find the optimal combining coefficient by maximizing white noise gain (WNG). Our algorithm offers a closed-from expression to precisely control the array response level of a given point starting from an arbitrarily-specified weight vector. In addition, it results less pattern variations on the uncontrolled angles. Elaborate analysis shows that the proposed $ \textrm{C}^2\textrm{-WORD} $ scheme performs at least as good as the state-of-the-art $\textrm{A}^\textrm{2}\textrm{RC} $ or WORD approach. By applying $ \textrm{C}^2\textrm{-WORD} $ successively, we present a flexible and effective approach to pattern synthesis. Numerical examples are provided to demonstrate the flexibility and effectiveness of $ \textrm{C}^2\textrm{-WORD} $ in array response control as well as pattern synthesis.


title: Encrypted Control System with Quantizer

abstract: This paper considers the design of encrypted control systems to secure data privacy when the control systems operate over a network. In particular, we propose to combine Paillier cryptosystem with a quantizer whose sensitivity changes with the evolution of the system. This allows the encrypted control system to balance between the cipher strength and processing time. Such an ability is essential for control systems that are expected to run real-time. It also allows the closed-loop system to achieve the asymptotic stability for linear systems. Extensions to event-triggered control and nonlinear control systems are also discussed.


title: Automatic Severity Classification of Coronary Artery Disease via Recurrent Capsule Network

abstract: Coronary artery disease (CAD) is one of the leading causes of cardiovascular disease deaths. CAD condition progresses rapidly, if not diagnosed and treated at an early stage may eventually lead to an irreversible state of the heart muscle death. Invasive coronary arteriography is the gold standard technique for CAD diagnosis. Coronary arteriography texts describe which part has stenosis and how much stenosis is in details. It is crucial to conduct the severity classification of CAD. In this paper, we employ a recurrent capsule network (RCN) to extract semantic relations between clinical named entities in Chinese coronary arteriography texts, through which we can automatically find out the maximal stenosis for each lumen to inference how severe CAD is according to the improved method of Gensini. Experimental results on the corpus collected from Shanghai Shuguang Hospital show that our proposed method achieves an accuracy of 97.0\% in the severity classification of CAD.


title: Deterministic oblivious distribution (and tight compaction) in linear time

abstract: In an array of N elements, M positions and M elements are "marked". We show how to permute the elements in the array so that all marked elements end in marked positions, in time O(N) (in the standard word-RAM model), deterministically, and obliviously - i.e. with a sequence of memory accesses that depends only on N and not on which elements or positions are marked. As a corollary, we answer affirmatively to an open question about the existence of a deterministic oblivious algorithm with O(N) running time for tight compaction (move the M marked elements to the first M positions of the array), a building block for several cryptographic constructions. Our O(N) result improves the running-time upper bounds for deterministic tight compaction, for randomized tight compaction, and for the simpler problem of randomized loose compaction (move the M marked elements to the first O(M) positions) - until now respectively O(N lg N), O(N lg lg N), and O(N lg*N).


title: Synthesis of Successful Actuator Attackers on Supervisors

abstract: In this work, we propose and develop a new discrete-event based actuator attack model on the closed-loop system formed by the plant and the supervisor. We assume the actuator attacker partially observes the execution of the closed-loop system and eavesdrops the control commands issued by the supervisor. The attacker can modify each control command on a specified subset of attackable events. The attack principle of the actuator attacker is to remain covert until it can establish a successful attack and lead the attacked closed-loop system into generating certain damaging strings. We present a characterization for the existence of a successful attacker, via a new notion of attackability, and prove the existence of the supremal successful actuator attacker, when both the supervisor and the attacker are normal (that is, unobservable events to the supervisor cannot be disabled by the supervisor and unobservable events to the attacker cannot be attacked by the attacker). Finally, we present an algorithm to synthesize the supremal successful attackers that are represented by Moore automata.


title: Pattern Synthesis via Complex-Coefficient Weight Vector Orthogonal Decomposition--Part II: Robust Sidelobe Synthesis

abstract: In this paper, the complex-coefficient weight vector orthogonal decomposition ($ \textrm{C}^2\textrm{-WORD} $) algorithm proposed in Part I of this two paper series is extended to robust sidelobe control and synthesis with steering vector mismatch. Assuming that the steering vector uncertainty is norm-bounded, we obtain the worst-case upper and lower boundaries of array response. Then, we devise a robust $ \textrm{C}^2\textrm{-WORD} $ algorithm to control the response of a sidelobe point by precisely adjusting its upper-boundary response level as desired. To enhance the practicality of the proposed robust $ \textrm{C}^2\textrm{-WORD} $ algorithm, we also present detailed analyses on how to determine the upper norm boundary of steering vector uncertainty under various mismatch circumstances. By applying the robust $ \textrm{C}^2\textrm{-WORD} $ algorithm iteratively, a robust sidelobe synthesis approach is developed. In this approach, the upper-boundary response is adjusted in a point-by-point manner by successively updating the weight vector. Contrary to the existing approaches, the devised robust $ \textrm{C}^2\textrm{-WORD} $ algorithm has an analytical expression and can work starting from an arbitrarily-specified weight vector. Simulation results are presented to validate the effectiveness and good performance of the robust $ \textrm{C}^2\textrm{-WORD} $ algorithm.


title: Machine Learning Interpretability: A Science rather than a tool

abstract: The term "interpretability" is oftenly used by machine learning researchers each with their own intuitive understanding of it. There is no universal well agreed upon definition of interpretability in machine learning. As any type of science discipline is mainly driven by the set of formulated questions rather than by different tools in that discipline, e.g. astrophysics is the discipline that learns the composition of stars, not as the discipline that use the spectroscopes. Similarly, we propose that machine learning interpretability should be a discipline that answers specific questions related to interpretability. These questions can be of statistical, causal and counterfactual nature. Therefore, there is a need to look into the interpretability problem of machine learning in the context of questions that need to be addressed rather than different tools. We discuss about a hypothetical interpretability framework driven by a question based scientific approach rather than some specific machine learning model. Using a question based notion of interpretability, we can step towards understanding the science of machine learning rather than its engineering. This notion will also help us understanding any specific problem more in depth rather than relying solely on machine learning methods.


title: On the Whitham system for the radial nonlinear Schr\"odinger equation

abstract: Dispersive shock waves (DSWs) of the defocusing radial nonlinear Schr\"odinger (rNLS) equation in two spatial dimensions are studied. This equation arises naturally in Bose-Einstein condensates, water waves and nonlinear optics. A unified nonlinear WKB approach, equally applicable to integrable or nonintegrable partial differential equations, is used to find the rNLS Whitham modulation equation system in both physical and hydrodynamic type variables. The description of DSWs obtained via Whitham theory is compared with direct rNLS numerics; the results demonstrate very good quantitative agreement. On the other hand, as expected, comparison with the corresponding DSW solutions of the one-dimensional NLS equation exhibits significant qualitative and quantitative differences.

categories: nlin.PS math-ph math.MP physics.flu-dyn physics.optics


title: Addressing Security and Privacy Challenges in Internet of Things

abstract: Internet of Things (IoT), also referred to as the Internet of Objects, is envisioned as a holistic and transformative approach for providing numerous services. The rapid development of various communication protocols and miniaturization of transceivers along with recent advances in sensing technologies offer the opportunity to transform isolated devices into communicating smart things. Smart things, that can sense, store, and even process electrical, thermal, optical, chemical, and other signals to extract user-/environment-related information, have enabled services only limited by human imagination. Despite picturesque promises of IoT-enabled systems, the integration of smart things into the standard Internet introduces several security challenges because the majority of Internet technologies, communication protocols, and sensors were not designed to support IoT. Several recent research studies have demonstrated that launching security/privacy attacks against IoT-enabled systems, in particular wearable medical sensor (WMS)-based systems, may lead to catastrophic situations and life-threatening conditions. Therefore, security threats and privacy concerns in the IoT domain need to be proactively studied and aggressively addressed. In this thesis, we tackle several domain-specific security/privacy challenges associated with IoT-enabled systems.


title: Timed Discrete-Event Systems are Synchronous Product Structures

abstract: In this work, we show that the model of timed discrete-event systems (TDES) proposed by Brandin and Wonham is essentially a synchronous product structure. This resolves an open problem that has remained unaddressed for the past 25 years and has its application in developing a more efficient timed state-tree structures (TSTS) framework. The proof is constructive in the sense that an explicit synchronous production rule is provided to generate a TDES from the activity automaton and the timer automata after a suitable transformation of the model.


title: Hierarchical Bayesian method for detecting continuous gravitational waves from an ensemble of pulsars

abstract: When looking for gravitational wave signals from known pulsars, targets have been treated using independent searches. Here we use a hierarchical Bayesian framework to combine observations from individual sources for two purposes: to produce a detection statistic for the whole ensemble of sources within a search, and to estimate the hyperparameters of the underlying distribution of pulsar ellipticities. Both purposes require us to assume some functional form of the ellipticity distribution, and as a proof of principle we take two toy distributions. One is an exponential distribution, defined by its mean, and the other is a half-Gaussian distribution defined by its width. We show that by incorporating a common parameterized prior ellipticity distribution we can be more efficient at detecting gravitational waves from the whole ensemble of sources than trying to combine observations with a simpler non-hierarchical method. This may allow us to detect gravitational waves from the ensemble before there is confident detection of any single source. We also apply this method using data for 92 pulsars from LIGO's sixth science run. No evidence for a signal was seen, but 90\% upper limits of $3.9\ee{-8}$ and $4.7\ee{-8}$ were set on the mean of an assumed exponential ellipticity distribution and the width of an assumed half-Gaussian ellipticity distribution, respectively.


title: Effects of the initialization of nucleon momentum in heavy-ion collisions at medium energies

abstract: Based on the Isospin-dependent transport model Boltzmann-Uehling-Uhlenbeck (IBUU), effects of the difference of the high momentum tails (HMTs) of nucleon momentum distribution in colliding nuclei on some isospin-sensitive observables are studied in the $^{197}\rm {Au}+^{197}\rm {Au}$ reactions at incident beam energy of 400 MeV/nucleon. It is found that the nucleon transverse and elliptic flows, the free neutron to proton ratio at low momenta are all less sensitive to the specific form of the HMT, while the free neutron to proton ratio at high momenta and the yields of $\pi^{-}$ and $\pi^{+}$ as well as the $\pi^{-}/\pi^{+}$ ratio around the Coulomb peak are sensitive to the specific form of the HMT. Combining the present studies with the experimental measurements at rare-isotope reaction facilities worldwide, one may get more insights into the nuclear short-range correlations in heavy nuclei or nuclear matter.


title: Shape coexistence and isospin symmetry in $A=70$ nuclei: Spectroscopy of the $T_z = -1$ nucleus $^{70}$Kr

abstract: Excited states in the $T_z=-1$ nucleus $^{70}$Kr have been populated using inelastic scattering of a radioactive $^{70}$Kr beam as well as one- and two-neutron removal reactions from $^{71,72}$Kr at intermediate beam energies. The level scheme of $^{70}$Kr was constructed from the observed $\gamma$-ray transitions and coincidences. Tentative spin and parity assignments were made based on comparison with the mirror nucleus $^{70}$Se. A second $2^+$ state and a candidate for the corresponding $4^+_2$ state suggest shape coexistence in $^{70}$Kr.


title: Security Mental Model: Cognitive map approach

abstract: Security models have been designed to ensure data is accessed and used in proper manner according to the security policies. Unfortunately, human role in designing security models has been ignored. Human behavior relates to many security breaches and plays a significant part in many security situations.In this paper, we study users' security decision making toward security and usability through the mental model approach. To elicit and depict users' security and usability mental models, crowd sourcing techniques and cognitive map method are applied and we have performed an experiment to evaluate our findings using Amazon MTurk.


title: Visualization of the convex integration solutions to the Monge-Amp\`ere equation

abstract: In this article, we implement the algorithm based on the convex integration result proved in [Lewicka-Pakzad Analysis and PDE (2017)] and obtain visualizations of the first iterations of the Nash-Kuiper scheme, approx- imating the anomalous solutions to the Monge-Amp\`ere equation in two dimensions.


title: The MOEADr Package - A Component-Based Framework for Multiobjective Evolutionary Algorithms Based on Decomposition

abstract: Multiobjective Evolutionary Algorithms based on Decomposition (MOEA/D) represent a widely used class of population-based metaheuristics for the solution of multicriteria optimization problems. We introduce the MOEADr package, which offers many of these variants as instantiations of a component-oriented framework. This approach contributes for easier reproducibility of existing MOEA/D variants from the literature, as well as for faster development and testing of new composite algorithms. The package offers an standardized, modular implementation of MOEA/D based on this framework, which was designed aiming at providing researchers and practitioners with a standard way to discuss and express MOEA/D variants. In this paper we introduce the design principles behind the MOEADr package, as well as its current components. Three case studies are provided to illustrate the main aspects of the package.


title: Motivating the Rules of the Game for Adversarial Example Research

abstract: Advances in machine learning have led to broad deployment of systems with impressive performance on important problems. Nonetheless, these systems can be induced to make errors on data that are surprisingly similar to examples the learned system handles correctly. The existence of these errors raises a variety of questions about out-of-sample generalization and whether bad actors might use such examples to abuse deployed systems. As a result of these security concerns, there has been a flurry of recent papers proposing algorithms to defend against such malicious perturbations of correctly handled examples. It is unclear how such misclassifications represent a different kind of security problem than other errors, or even other attacker-produced examples that have no specific relationship to an uncorrupted input. In this paper, we argue that adversarial example defense papers have, to date, mostly considered abstract, toy games that do not relate to any specific security concern. Furthermore, defense papers have not yet precisely described all the abilities and limitations of attackers that would be relevant in practical security. Towards this end, we establish a taxonomy of motivations, constraints, and abilities for more plausible adversaries. Finally, we provide a series of recommendations outlining a path forward for future work to more clearly articulate the threat model and perform more meaningful evaluation.


title: $n$-abelian quotient categories

abstract: Let $\C$ be an $(n+2)$-angulated category with shift functor $\Sigma$ and $\X$ be a cluster-tilting subcategory of $\C$. Then we show that the quotient category $\C/\X$ is an $n$-abelian category. If $\C$ has a Serre functor, then $\C/\X$ is equivalent to an $n$-cluster tilting subcategory of an abelian category $\textrm{mod}(\Sigma^{-1}\X)$. Moreover, we also prove that $\textrm{mod}(\Sigma^{-1}\X)$ is Gorenstein of Gorenstein dimension at most $n$. As an application, we generalize recent results of Jacobsen-J{\o}rgensen and Koenig-Zhu.


title: Generating Levels That Teach Mechanics

abstract: The automatic generation of game tutorials is a challenging AI problem. While it is possible to generate annotations and instructions that explain to the player how the game is played, this paper focuses on generating a gameplay experience that introduces the player to a game mechanic. It evolves small levels for the Mario AI Framework that can only be beaten by an agent that knows how to perform specific actions in the game. It uses variations of a perfect A* agent that are limited in various ways, such as not being able to jump high or see enemies, to test how failing to do certain actions can stop the player from beating the level.


title: BOLT: A Practical Binary Optimizer for Data Centers and Beyond

abstract: Performance optimization for large-scale applications has recently become more important as computation continues to move towards data centers. Data-center applications are generally very large and complex, which makes code layout an important optimization to improve their performance. This has motivated recent investigation of practical techniques to improve code layout at both compile time and link time. Although post-link optimizers had some success in the past, no recent work has explored their benefits in the context of modern data-center applications. In this paper, we present BOLT, a post-link optimizer built on top of the LLVM framework. Utilizing sample-based profiling, BOLT boosts the performance of real-world applications even for highly optimized binaries built with both feedback-driven optimizations (FDO) and link-time optimizations (LTO). We demonstrate that post-link performance improvements are complementary to conventional compiler optimizations, even when the latter are done at a whole-program level and in the presence of profile information. We evaluated BOLT on both Facebook data-center workloads and open-source compilers. For data-center applications, BOLT achieves up to 8.0% performance speedups on top of profile-guided function reordering and LTO. For the GCC and Clang compilers, our evaluation shows that BOLT speeds up their binaries by up to 20.4% on top of FDO and LTO, and up to 52.1% if the binaries are built without FDO and LTO.


title: Forward Attention in Sequence-to-sequence Acoustic Modelling for Speech Synthesis

abstract: This paper proposes a forward attention method for the sequenceto- sequence acoustic modeling of speech synthesis. This method is motivated by the nature of the monotonic alignment from phone sequences to acoustic sequences. Only the alignment paths that satisfy the monotonic condition are taken into consideration at each decoder timestep. The modified attention probabilities at each timestep are computed recursively using a forward algorithm. A transition agent for forward attention is further proposed, which helps the attention mechanism to make decisions whether to move forward or stay at each decoder timestep. Experimental results show that the proposed forward attention method achieves faster convergence speed and higher stability than the baseline attention method. Besides, the method of forward attention with transition agent can also help improve the naturalness of synthetic speech and control the speed of synthetic speech effectively.


title: Single-phase flow through a porous media revisited

abstract: The problem of the flow trough a porous media is formulated in terms of a pressure equation, based on arguments of volume conservation which state the mechanical equilibrium between the solid and the fluid phases. In the resulting governing equations, the conservation of mass is replaced by a transport-diffusion equation for the pressure field. When the deformation of the solid matrix is negligible, the pressure equation can be approximated by a non-linear diffusion equation. The behavior of the system of equations is tested under an oscillatory pressure gradient.


title: Recent results for STAR $\sqrt{s_{NN}}=4.9$ GeV Al+Au and $\sqrt{s_{NN}}=4.5$ GeV Au+Au Fixed-Target Collisions

abstract: We present recent results from Al(beam)+Au(target) collisions at $\sqrt{s_{NN}}=4.9$ GeV and Au+Au collisions at $\sqrt{s_{NN}}=4.5$\kern 0.16667em GeV from the STAR fixed-target (FXT) program. We report transverse mass spectra of protons, $K^0_S$ and $\Lambda$, rapidity density distributions of $\pi^\pm$, $K^0_S$ and $\Lambda$, directed flow of protons, $\pi^\pm$, $K^0_S$ and $\Lambda$, and elliptic flow of protons and $\pi^{\pm}$. These are the first measurements of pion directed and elliptic flow in this energy range at RHIC. Pion and proton elliptic flow show mass ordering. Measurements are compared with the published results from AGS and RHIC. These results demonstrate that STAR has good performance in the FXT configuration. The implications of these results for future STAR FXT runs are discussed.


title: From in-Medium Color Forces to Transport Properties of QGP

abstract: A thermodynamic quantum many-body $T$-matrix approach is employed to study the spectral and transport properties of the quark-gluon plasma at moderate temperatures where nonperturbative effects are essential. For the partonic two-body interaction we utilize a QCD-inspired Hamiltonian whose color forces are motivated by the heavy-quark (HQ) limit including remnants of the confining force, and augmented by relativistic corrections. We solve the in-medium parton propagators and $T$-matrices selfconsistently and resum the skeleton diagrams for the equation of state (EoS) to all orders thereby accounting for the dynamical formation of two-body bound states. Two types solutions for the in-medium potential are found in when fitting to lattice-QCD data for the EoS, HQ free energy and quarkonium correlators: a weakly-coupled scenario (WCS) with a (real part of the) potential close to the free energy, resulting in moderately broadened spectral functions and weak bound states near $T_c$, and a strongly-coupled scenario (SCS), with a much stronger potential which produces large imaginary parts ("melting" the parton spectral functions) and generates strong bound states near $T_c$. We calculate pertinent transport coefficients (specific shear viscosity and HQ diffusion coefficient) and argue that their constraints from heavy-ion phenomenology unambiguously favor the strongly-coupled scenario.


title: Optimizing a jump-diffusion model of a starving forager

abstract: We analyze the movement of a starving forager on a one-dimensional periodic lattice, where each location contains one unit of food. As the forager lands on sites with food, it consumes the food, leaving the sites empty. If the forager lands consecutively on $s$ empty sites, then it will starve. The forager has two modes of movement: it can either diffuse, by moving with equal probability to adjacent sites on the lattice, or it can jump to a uniformly randomly chosen site on the lattice. We show that the lifetime $T$ of the forager in either paradigm can be approximated by the sum of the cover time $\tau_{\rm cover}$ and the starvation time $s$, when $s$ far exceeds the number $n$ of lattice sites. Our main findings focus on the hybrid model, where the forager has a probability of either jumping or diffusing. The lifetime of the forager varies non-monotonically according to $p_j$, the probability of jumping. By examining a small system, analyzing a heuristic model, and using direct numerical simulation, we explore the tradeoff between jumps and diffusion, and show that the strategy that maximizes the forager lifetime is a mixture of both modes of movement.


title: $L^2$ harmonic forms and the Seiberg-Witten map on non compact four manifolds

abstract: We explain a new phenomenon on non compact complete Riemannian four manifolds, where d^+ image of one forms can not exhaust densely on L^2 self dual forms on each compact subset, if a certain L^2 self dual harmonic form exists. This leads to construct a new functional analytic framework on the Seiberg-Witten map.


title: 3D Global Convolutional Adversarial Network\\ for Prostate MR Volume Segmentation

abstract: Advanced deep learning methods have been developed to conduct prostate MR volume segmentation in either a 2D or 3D fully convolutional manner. However, 2D methods tend to have limited segmentation performance, since large amounts of spatial information of prostate volumes are discarded during the slice-by-slice segmentation process; and 3D methods also have room for improvement, since they use isotropic kernels to perform 3D convolutions whereas most prostate MR volumes have anisotropic spatial resolution. Besides, the fully convolutional structural methods achieve good performance for localization issues but neglect the per-voxel classification for segmentation tasks. In this paper, we propose a 3D Global Convolutional Adversarial Network (3D GCA-Net) to address efficient prostate MR volume segmentation. We first design a 3D ResNet encoder to extract 3D features from prostate scans, and then develop the decoder, which is composed of a multi-scale 3D global convolutional block and a 3D boundary refinement block, to address the classification and localization issues simultaneously for volumetric segmentation. Additionally, we combine the encoder-decoder segmentation network with an adversarial network in the training phrase to enforce the contiguity of long-range spatial predictions. Throughout the proposed model, we use anisotropic convolutional processing for better feature learning on prostate MR scans. We evaluated our 3D GCA-Net model on two public prostate MR datasets and achieved state-of-the-art performances.


title: A generalisation of the relation between zeros of the complex Kac polynomial and eigenvalues of truncated unitary matrices

abstract: The zeros of the random Laurent series $1/\mu - \sum_{j=1}^\infty c_j/z^j$, where each $c_j$ is an independent standard complex Gaussian, is known to correspond to the scaled eigenvalues of a particular additive rank 1 perturbation of a standard complex Gaussian matrix. For the corresponding random Maclaurin series obtained by the replacement $z \mapsto 1/z$, we show that these same zeros correspond to the scaled eigenvalues of a particular multiplicative rank 1 perturbation of a random unitary matrix. Since the correlation functions of the latter are known, by taking an appropriate limit the correlation functions for the random Maclaurin series can be determined. Only for $|\mu| \to \infty$ is a determinantal point process obtained. For the one and two point correlations, by regarding the Maclaurin series as the limit of a random polynomial, a direct calculation can also be given.


title: A split-Langevin bath: steady states from loss and a statistically balanced gain

abstract: Open classical systems with balanced, spatially separated gain and loss, also called $\mathcal{PT}$ symmetric systems, are a subject of intense, ongoing research. We investigate the properties of a classical chain with spatially separated viscous loss and stochastic gain that are balanced only in a statistical sense. For a purely harmonic chain, we show that a split Langevin bath leads to either the absence of thermalization or non-equilibrium steady states with inhomogeneous temperature profile. Both phenomena are understood in terms of normal modes of the chain, where dissipation in one normal mode is correlated with the velocities of all other modes. We obtain closed-form expressions for the mode temperatures and show that nonlinearities lead to steady states due to mode mixing even in the presence of a split Langevin bath.


title: Observation of Transient Overcritical Currents in YBCO Thin Films using High-Speed Magneto-Optical Imaging and Dynamic Current Mapping

abstract: The dynamics of transient current distributions in superconducting YBCO thin films were investigated during and immediately following an external field ramp, using high-speed (real-time) Magneto-Optical Imaging and calculation of dynamic current profiles. A number of qualitatively unique and previously unobserved features are seen in this novel analysis of the evolution of supercurrent during penetration. As magnetic field ramps up from zero, the dynamic current profile is characterized by strong peaks, the magnitude of which exceed the conventional critical current density (as determined from static current profiles). These peaks develop close to the sample edges, initially resembling screening currents but quickly growing in intensity as the external field increases. A discontinuity in field and current behaviour is newly observed, indicating a novel transition from increasing peak current toward relaxation behaviour. After this transition, the current peaks move toward the centre of the sample while reducing in intensity as magnetic vortices penetrate inward. This motion slows exponentially with time, with the current distribution in the long-time limit reducing to the expected Kim-model profile.


title: Analysis of low-field isotropic vortex glass containing vortex groups in YBCO thin films visualized by scanning SQUID microscopy

abstract: The glass-like vortex distribution in pulsed laser deposited YBCO thin films is observed by scanning superconducting quantum interference device microscopy and analysed for ordering after cooling in magnetic fields significantly smaller than the Earth's field. Autocorrelation calculations on this distribution show a weak short-range positional order, while Delaunay triangulation shows a near-complete lack of orientational order. The distribution of these vortices is finally characterised as an isotropic vortex glass. Abnormally closely spaced groups of vortices, which are statistically unlikely to occur, are observed above a threshold magnetic field. The origin of these groups is discussed, but will require further investigation.


title: Collective excitations in Bose-Fermi mixtures

abstract: We investigate collective excitations of density fluctuations and a dynamic density structure factor in a mixture of Bose and Fermi gases in a normal phase. With decreasing temperature, we find that the frequency of the collective excitation deviates from that of the hydrodynamic sound mode. Even at temperature much lower than the Fermi temperature, the collective mode frequency does not reach the collisionless limit analogous to zero sound in a Fermi gas, because of collisions between bosons and fermions.


title: Landau Level to Efimov-like Bound State Crossover in Two-dimensional Dirac Semimetals

abstract: In two-dimensional Dirac semimetals, massless Dirac fermions can form a series of Efimov-like quasibound states in an attractive Coulomb potential. In an applied magnetic field, these quasibound states can become bound states around the Dirac point, due to the energy gap between two successive Landau levels. Through the calculation of the energy spectrum directly, we show that there exists a crossover from the Landau level to the bound state as the magnetic field increases. Because of the decreasing magnetic length, the deep quasibound states are pushed up to the Dirac point relatively and transformed into bound states gradually. Furthermore, the magnetic positions of the emerging bound states in the crossovers obey a geometric scaling law, which can be regarded as an analogy of the radial law in the Efimov effect. We extend our analysis to massless three-component fermions, which also demonstrate this phenomenon. Our results show the universality of fermions with linear dispersion in two dimension and pave a way for the future experimental exploration.


title: Experimental Force-Torque Dataset for Robot Learning of Multi-Shape Insertion

abstract: The accurate modeling of real-world systems and physical interactions is a common challenge towards the resolution of robotics tasks. Machine learning approaches have demonstrated significant results in the modeling of complex systems (e.g., articulated robot structures, cable stretch, fluid dynamics), or to learn robotics tasks (e.g., grasping, reaching) from raw sensor measurements without explicit programming, using reinforcement learning. However, a common bottleneck in machine learning techniques resides in the availability of suitable data. While many vision-based datasets have been released in the recent years, ones involving physical interactions, of particular interest for the robotic community, have been scarcer. In this paper, we present a public dataset on peg-in-hole insertion tasks containing force-torque and pose information for multiple variations of convex-shaped pegs. We demonstrate how this dataset can be used to train a robot to insert polyhedral pegs into holes using only 6-axis force/torque sensor measurements as inputs, as well as other tasks involving contact such as shape recognition.


title: A new approach to the inverse problem for current mapping in thin-film superconductors

abstract: A novel mathematical approach has been developed to complete the inversion of the Biot-Savart law in one- and two-dimensional cases from measurements of the perpendicular component of the magnetic field using the well-developed Magneto-Optical Imaging technique. Our approach, especially in the 2D case, is provided in great detail to allow a straightforward implementation as opposed to those found in the literature. Our new approach also refines our previous results for the 1D case [Johansen et al., Phys. Rev. B 54, 16264 (1996)], and streamlines the method developed by Jooss et al. [Physica C 299, 215 (1998)] deemed as the most accurate if compared to that of Roth et al. [J. Appl. Phys. 65, 361 (1989)]. We also verify and streamline the iterative technique, which was developed following Laviano et al. [Supercond. Sci. Technol. 16, 71 (2002)] to account for in-plane magnetic fields caused by the bending of the applied magnetic field due to the demagnetising effect. After testing on magneto-optical images of a high quality YBa2Cu3O7 superconducting thin film, we show that the procedure employed is effective.


title: On the Lane-Emden conjecture

abstract: We consider the Lane-Emden conjecture which states that there is no non-trivial non-negative solution for the Lane-Emden system whenever the pair of exponents is subcritical. By Sobolev embeddings on $S^{N-1}$ and scale invariance of the solutions, we show this conjecture holds in a new region. Our methods can also be used to prove the Lane-Emden conjecture in space dimension $N\leq 4$, that is to give a different proof of the main result of Souplet in Adv. Math. 2009.


title: Gradient Band-based Adversarial Training for Generalized Attack Immunity of A3C Path Finding

abstract: As adversarial attacks pose a serious threat to the security of AI system in practice, such attacks have been extensively studied in the context of computer vision applications. However, few attentions have been paid to the adversarial research on automatic path finding. In this paper, we show dominant adversarial examples are effective when targeting A3C path finding, and design a Common Dominant Adversarial Examples Generation Method (CDG) to generate dominant adversarial examples against any given map. In addition, we propose Gradient Band-based Adversarial Training, which trained with a single randomly choose dominant adversarial example without taking any modification, to realize the "1:N" attack immunity for generalized dominant adversarial examples. Extensive experimental results show that, the lowest generation precision for CDG algorithm is 91.91%, and the lowest immune precision for Gradient Band-based Adversarial Training is 93.89%, which can prove that our method can realize the generalized attack immunity of A3C path finding with a high confidence.


title: Do black holes store negative entropy?

abstract: Bekenstein argued that black holes should have entropy proportional to their areas to make black hole physics compatible with the second law of thermodynamics. However, the heuristic picture for Hawking radiation, creation of pairs of positive- and negative-energy particles, leads to an inconsistency among the first law of black hole mechanics, Bekenstein's argument and quantum mechanics. In this paper we propose an equation alternative to Bekenstein's from the viewpoint of quantum information, rather than thermodynamics, to resolve this inconsistency without changing Hawking's original proposal for the radiation. This argues that the area of a black hole is proportional to the coherent information, which is minus the conditional entropy, defined only in the quantum regime, from the outside, to positive-energy particles inside it. This hints that negative-energy particles inside a black hole behave as if they have negative entropy. Our result suggests that the black holes store pure quantum information, rather than classical information.


title: A Learning-Based Coexistence Mechanism for LAA-LTE Based HetNets

abstract: License-assisted access LTE (LAA-LTE) has been proposed to deal with the intense contradiction between tremendous mobile traffic demands and crowded licensed spectrums. In this paper, we investigate the coexistence mechanism for LAA-LTE based heterogenous networks (HetNets). A joint resource allocation and network access problem is considered to maximize the normalized throughput of the unlicensed band while guaranteeing the quality-of-service requirements of incumbent WiFi users. A two-level learning-based framework is proposed to solve the problem by decomposing it into two subproblems. In the master level, a Q-learning based method is developed for the LAA-LTE system to determine the proper transmission time. In the slave one, a game-theory based learning method is adopted by each user to autonomously perform network access. Simulation results demonstrate the effectiveness of the proposed solution.


title: A Magnus approximation approach to harmonic systems with time-dependent frequencies

abstract: We use a Magnus approximation at the level of the equations of motion for a harmonic system with a time-dependent frequency, to find an expansion for its in-out effective action, and a unitary expansion for the Bogoliubov transformation between in and out states. The dissipative effects derived therefrom are compared with the ones obtained from perturbation theory in powers of the time-dependent piece in the frequency, and with those derived using multiple scale analysis in systems with parametric resonance. We also apply the Magnus expansion to the in-in effective action, to construct reality and causal equations of motion for the external system. We show that the nonlocal equations of motion can be written in terms of a "retarded Fourier transform" evaluated at the resonant frequency.


title: SySeVR: A Framework for Using Deep Learning to Detect Software Vulnerabilities

abstract: The detection of software vulnerabilities (or vulnerabilities for short) is an important problem that has yet to be tackled, as manifested by the many vulnerabilities reported on a daily basis. This calls for machine learning methods for vulnerability detection. Deep learning is attractive for this purpose because it alleviates the requirement to manually define features. Despite the tremendous success of deep learning in other application domains, its applicability to vulnerability detection is not systematically understood. In order to fill this void, we propose the first systematic framework for using deep learning to detect vulnerabilities in C/C++ programs with source code. The framework, dubbed Syntax-based, Semantics-based, and Vector Representations (SySeVR), focuses on obtaining program representations that can accommodate syntax and semantic information pertinent to vulnerabilities. Our experiments with 4 software products demonstrate the usefulness of the framework: we detect 15 vulnerabilities that are not reported in the National Vulnerability Database. Among these 15 vulnerabilities, 7 are unknown and have been reported to the vendors, and the other 8 have been "silently" patched by the vendors when releasing newer versions of the pertinent software products.


title: On Evaluation of Embodied Navigation Agents

abstract: Skillful mobile operation in three-dimensional environments is a primary topic of study in Artificial Intelligence. The past two years have seen a surge of creative work on navigation. This creative output has produced a plethora of sometimes incompatible task definitions and evaluation protocols. To coordinate ongoing and future research in this area, we have convened a working group to study empirical methodology in navigation research. The present document summarizes the consensus recommendations of this working group. We discuss different problem statements and the role of generalization, present evaluation measures, and provide standard scenarios that can be used for benchmarking.


title: Fast Linearized Coronagraph Optimizer (FALCO) IV. Coronagraph design survey for obstructed and segmented apertures

abstract: Coronagraph instruments on future space telescopes will enable the direct detection and characterization of Earth-like exoplanets around Sun-like stars for the first time. The quest for the optimal optical coronagraph designs has made rapid progress in recent years thanks to the Segmented Coronagraph Design and Analysis (SCDA) initiative led by the Exoplanet Exploration Program at NASA's Jet Propulsion Laboratory. As a result, several types of high-performance designs have emerged that make use of dual deformable mirrors to (1) correct for optical aberrations and (2) suppress diffracted starlight from obstructions and discontinuities in the telescope pupil. However, the algorithms used to compute the optimal deformable mirror surface tend to be computationally intensive, prohibiting large scale design surveys. Here, we utilize the Fast Linearized Coronagraph Optimizer (FALCO), a tool that allows for rapid optimization of deformable mirror shapes, to explore trade-offs in coronagraph designs for obstructed and segmented space telescopes. We compare designs for representative shaped pupil Lyot and vortex coronagraphs, two of the most promising concepts for the LUVOIR space mission concept. We analyze the optical performance of each design, including their throughput and ability to passively suppress light from partially resolved stars in the presence of low-order aberrations. Our main result is that deformable mirror based apodization can sufficiently suppress diffraction from support struts and inter-segment gaps whose widths are on the order of $\sim$0.1% of the primary mirror diameter to detect Earth-sized planets within a few tens of milliarcseconds from the star.


title: Simulate anyons by cold atoms with induced electric dipole momentum

abstract: We show that it is possible to simulate an anyon by a trapped atom which possesses an induced electric dipole moment in the background of electromagnetic fields with a specific configuration. The electromagnetic fields we applied contain a magnetic and two electric fields. We find that when the atom is cooled down to the limit of the negligibly small kinetic energy, the atom behaves like an anyon because its angular momentum takes fractional values. The fractional part of the angular momentum is determined by both the magnetic and one of the electric fields. Roles two electromagnetic fields played are analyzed.


title: Complete $\lambda$-surfaces in $\mathbb R^3$

abstract: The purpose of this paper is to study complete $\lambda$-surfaces in Euclidean space $\mathbb R^3$. A complete classification for 2-dimensional complete $\lambda$-surfaces in Euclidean space $\mathbb R^3$ with constant squared norm of the second fundamental form is given.


title: Characterization of microdot apodizers for imaging exoplanets with next-generation space telescopes

abstract: A major science goal of future, large-aperture, optical space telescopes is to directly image and spectroscopically analyze reflected light from potentially habitable exoplanets. To accomplish this, the optical system must suppress diffracted light from the star to reveal point sources approximately ten orders of magnitude fainter than the host star at small angular separation. Coronagraphs with microdot apodizers achieve the theoretical performance needed to image Earth-like planets with a range of possible telescope designs, including those with obscured and segmented pupils. A test microdot apodizer with various bulk patterns (step functions, gradients, and sinusoids) and 4 different dot sizes (3, 5, 7, and 10 $\mu$m) made of small chrome squares on anti-reflective glass was characterized with microscopy, optical laser interferometry, as well as transmission and reflectance measurements at wavelengths of 600 and 800 nm. Microscopy revealed the microdots were fabricated to high precision. Results from laser interferometry showed that the phase shifts observed in reflection vary with the local microdot fill factor. Transmission measurements showed that microdot fill factor and transmission were linearly related for dot sizes >5 $\mu$m. However, anomalously high transmittance was measured when the dot size is <5x the wavelength and the fill factor is approximately 50%, where the microdot pattern becomes periodic. The transmission excess is not as prominent in the case of larger dot sizes suggesting that it is likely to be caused by the interaction between the incident field and electronic resonances in the surface of the metallic microdots. We used our empirical models of the microdot apodizers to optimize a second generation of reflective apodizer designs and confirmed that the amplitude and phase of the reflected beam closely matches the ideal wavefront.


title: 2D Tunnel Field Effect Transistors (FETs) with a Stable Charge-Transfer-Type p$^+$-WSe$_2$ Source

abstract: Two-dimensional (2D) materials are highly promising for tunnel field effect transistors (TFETs) with low subthreshold swing and high drive current because the shorter tunnel distance and strong gate controllability can be expected from the van der Waals gap distance and the atomically sharp heterointerface formed independently of lattice matching. However, the common problem for 2D-2D TFETs is the lack of highly doped 2D materials with the high process stability as the sources. In this study, we have found that p+-WSe2 doped by charge transfer from a WOx surface oxide layer can be stabilized by transferring it onto a h-BN substrate. Using this p$^+$-WSe$_2$ as a source, we fabricate all-solid-state 2D-2D heterostructure TFETs with an Al2O3 top gate insulator, i.e., type-II p$^+$-WSe$_2$ /MoS$_2$ and type-III p$^+$-WSe$_2$ /WSe$_2$. The band-to-band tunneling and negative differential resistance trends are clearly demonstrated at low temperatures. This work suggests that high doped 2D crystal of the charge transfer type is an excellent choice as sources for TFETs.


title: General Value Function Networks

abstract: State construction is important for learning in partially observable environments. A general purpose strategy for state construction is to learn the state update using a Recurrent Neural Network (RNN), which updates the internal state using the current internal state and the most recent observation. This internal state provides a summary of the observed sequence, to facilitate accurate predictions and decision-making. At the same time, specifying and training RNNs is notoriously tricky, particularly as the common strategy to approximate gradients back in time, called truncated Back-prop Through Time (BPTT), can be sensitive to the truncation window. Further, domain-expertise--which can usually help constrain the function class and so improve trainability--can be difficult to incorporate into complex recurrent units used within RNNs. In this work, we explore how to use multi-step predictions to constrain the RNN and incorporate prior knowledge. In particular, we revisit the idea of using predictions to construct state and ask: does constraining (parts of) the state to consist of predictions about the future improve RNN trainability? We formulate a novel RNN architecture, called a General Value Function Network (GVFN), where each internal state component corresponds to a prediction about the future represented as a value function. We first provide an objective for optimizing GVFNs, and derive several algorithms to optimize this objective. We then show that GVFNs are more robust to the truncation level, in many cases only requiring one-step gradient updates.


title: A simplified threshold dynamics algorithm for isotropic surface energies

abstract: We present a simplified version of the threshold dynamics algorithm given in the work of Esedoglu and Otto (2015). The new version still allows specifying N-choose-2 possibly distinct surface tensions and N-choose-2 possibly distinct mobilities for a network with N phases, but achieves this level of generality without the use of retardation functions. Instead, it employs linear combinations of Gaussians in the convolution step of the algorithm. Convolutions with only two distinct Gaussians is enough for the entire network, maintaining the efficiency of the original thresholding scheme. We discuss stability and convergence of the new algorithm, including some counterexamples in which convergence fails. The apparently convergent cases include unequal surface tensions given by the Read \& Shockley model and its three dimensional extensions, along with equal mobilities, that are a very common choice in computational materials science.


title: Microfluidic pumping using artificial magnetic cilia

abstract: One of the vital functions of naturally occurring cilia is fluid transport. Biological cilia use spatially asymmetric strokes to generate a net fluid flow that can be utilized for feeding, swimming, and other functions. Biomimetic synthetic cilia with similar asymmetric beating can be useful for fluid manipulations in lab-on-chip devices. In this paper, we demonstrate the microfluidic pumping by magnetically actuated synthetic cilia arranged in multi-row arrays. We use a microchannel loop to visualize flow created by the ciliary array and to examine pumping for a range of cilia and microchannel parameters. We show that magnetic cilia can achieve flow rates of up to 11 {\mu}l/min with the pressure drop of~ 1 Pa. Such magnetic ciliary array can be useful in microfluidic applications requiring rapid and controlled fluid transport.


title: Convergence guarantees for RMSProp and ADAM in non-convex optimization and an empirical comparison to Nesterov acceleration

abstract: RMSProp and ADAM continue to be extremely popular algorithms for training neural nets but their theoretical convergence properties have remained unclear. Further, recent work has seemed to suggest that these algorithms have worse generalization properties when compared to carefully tuned stochastic gradient descent or its momentum variants. In this work, we make progress towards a deeper understanding of ADAM and RMSProp in two ways. First, we provide proofs that these adaptive gradient algorithms are guaranteed to reach criticality for smooth non-convex objectives, and we give bounds on the running time. Next we design experiments to empirically study the convergence and generalization properties of RMSProp and ADAM against Nesterov's Accelerated Gradient method on a variety of common autoencoder setups and on VGG-9 with CIFAR-10. Through these experiments we demonstrate the interesting sensitivity that ADAM has to its momentum parameter $\beta_1$. We show that at very high values of the momentum parameter ($\beta_1 = 0.99$) ADAM outperforms a carefully tuned NAG on most of our experiments, in terms of getting lower training and test losses. On the other hand, NAG can sometimes do better when ADAM's $\beta_1$ is set to the most commonly used value: $\beta_1 = 0.9$, indicating the importance of tuning the hyperparameters of ADAM to get better generalization performance. We also report experiments on different autoencoders to demonstrate that NAG has better abilities in terms of reducing the gradient norms, and it also produces iterates which exhibit an increasing trend for the minimum eigenvalue of the Hessian of the loss function at the iterates.


title: Comparing Respiratory Monitoring Performance of Commercial Wireless Devices

abstract: This paper addresses the performance of systems which use commercial wireless devices to make bistatic RF channel measurements for non-contact respiration sensing. Published research has typically presented results from short controlled experiments on one system. In this paper, we deploy an extensive real-world comparative human subject study. We observe twenty patients during their overnight sleep (a total of 160 hours), during which contact sensors record ground-truth breathing data, patient position is recorded, and four different RF breathing monitoring systems simultaneously record measurements. We evaluate published methods and algorithms. We find that WiFi channel state information measurements provide the most robust respiratory rate estimates of the four RF systems tested. However, all four RF systems have periods during which RF-based breathing estimates are not reliable.


title: Maximally $\cal{N}$-extended super-BMS$_3$ algebras and Generalized 3D Gravity Solutions

abstract: We consider the maximal $\cal{N}-$extended supergravity theory in 3 dimensions with fermionic generators transforming under real but non necessarily irreducible representations of the internal algebra. We obtain the symmetry algebra at null infinity preserving boundary conditions of asymptotically flat solutions, i.e. the maximal $\cal{N}-$extended super-BMS$_3$ algebra, which possesses non-linear correction in the anti-commutators of supercharges. We present the supersymmetric energy bound and derive the explicit form of the asymptotic Killing spinors. We also find the most generic circular symmetric ground state of the theory, which corresponds to a non-supersymmetric cosmological solutions and derive their entropy.


title: Electronic structure of cerium: A comprehensive first-principles study

abstract: Cerium, in which the 4$f$ valence electrons live at the brink between localized and itinerant characters, exhibits varying crystal structures and therefore anomalous physical properties with respect to temperature and pressure. Understanding its electronic structure and related lattice properties is one of the central topics in condensed matter theory. In the present work, we employed the state-of-the-art first-principles many-body approach (i.e., the density functional theory in combination with the single-site dynamical mean-field theory) to study its electronic structure thoroughly. The momentum-resolved spectral functions, total and $4f$ partial density of states, optical conductivities, self-energy functions, and atomic eigenstate histograms for cerium's four allotropes under ambient pressure were calculated and analyzed carefully. The calculated results demonstrate that the 4$f$ electrons in the $\alpha$, $\beta$, $\gamma$, and $\delta$ phases are all correlated with heavily remormalized electron masses. In the $\alpha$ phase, the 4$f$ electrons tend to be itinerant, which cause strong hybridization between the 4$f$ and $spd$ bands and remarkable 4$f$ valence state fluctuation. While for the other phases, the 4$f$ electrons are close to be localized. Our calculated results support the Kondo volume collapse scenario for the cerium $\alpha-\gamma$ transition. Finally, we examined the site dependence of $4f$ electronic structure in the $\beta$ phase. The calculated results suggest that it doesn't exhibit a site selective 4$f$ localized state, contrary to previous prediction.


title: A pliable lasso for the Cox model

abstract: We introduce a pliable lasso method for estimation of interaction effects in the Cox proportional hazards model framework. The pliable lasso is a linear model that includes interactions between covariates X and a set of modifying variables Z and assumes sparsity of the main effects and interaction effects. The hierarchical penalty excludes interaction effects when the corresponding main effects are zero: this avoids overfitting and an explosion of model complexity. We extend this method to the Cox model for survival data, incorporating modifiers that are either fixed or varying in time into the partial likelihood. For example, this allows modeling of survival times that differ based on interactions of genes with age, gender, or other demographic information. The optimization is done by blockwise coordinate descent on a second order approximation of the objective.


title: Determination of Carrier Polarity in Fowler-Nordheim Tunneling and Evidence of Fermi Level Pinning at the Hexagonal Boron Nitride / Metal Interface

abstract: Hexagonal boron nitride (h-BN) is an important insulating substrate for two-dimensional (2D) heterostructure devices and possesses high dielectric strength comparable to SiO2. Here, we report two clear differences in their physical properties. The first one is the occurrence of Fermi level pinning at the metal/h-BN interface, unlike that at the metal/SiO2 interface. The second one is that the carrier of Fowler-Nordheim (F-N) tunneling through h-BN is a hole, which is opposite to an electron in the case of SiO2. These unique characteristics are verified by I-V measurements in the graphene/h-BN/metal heterostructure device with the aid of a numerical simulation, where the barrier height of graphene can be modulated by a back gate voltage owing to its low density of states. Furthermore, from a systematic investigation using a variety of metals, it is confirmed that the hole F-N tunneling current is a general characteristic because the Fermi levels of metals are pinned in the small energy range around ~3.5 eV from the top of the conduction band of h-BN, with a pinning factor of 0.30. The accurate energy band alignment at the h-BN/metal interface provides practical knowledge for 2D heterostructure devices.


title: Bag-of-Visual-Words for Signature-Based Multi-Script Document Retrieval

abstract: An end-to-end architecture for multi-script document retrieval using handwritten signatures is proposed in this paper. The user supplies a query signature sample and the system exclusively returns a set of documents that contain the query signature. In the first stage, a component-wise classification technique separates the potential signature components from all other components. A bag-of-visual-words powered by SIFT descriptors in a patch-based framework is proposed to compute the features and a Support Vector Machine (SVM)-based classifier was used to separate signatures from the documents. In the second stage, features from the foreground (i.e. signature strokes) and the background spatial information (i.e. background loops, reservoirs etc.) were combined to characterize the signature object to match with the query signature. Finally, three distance measures were used to match a query signature with the signature present in target documents for retrieval. The `Tobacco' document database and an Indian script database containing 560 documents of Devanagari (Hindi) and Bangla scripts were used for the performance evaluation. The proposed system was also tested on noisy documents and promising results were obtained. A comparative study shows that the proposed method outperforms the state-of-the-art approaches.


title: Coupled-Ring Resonance and Unitary Groups

abstract: The group-theoretic content of photonic coupled microrings resonance phenomena is shown, in particular, an interesting emergence of pseudo-unitary group. The application to the resonance condition in a tri-microring configuration is solved exactly. A practical application of this work will be in the resonance frequency tuning based on the coupling coefficient, in particular, the Mach-Zehnder interferometer approach was analyzed for the coupling modulation.


title: Knapsack in hyperbolic groups

abstract: Recently knapsack problems have been generalized from the integers to arbitrary finitely generated groups. The knapsack problem for a finitely generated group $G$ is the following decision problem: given a tuple $(g, g_1, \ldots, g_k)$ of elements of $G$, are there natural numbers $n_1, \ldots, n_k \in \mathbb{N}$ such that $g = g_1^{n_1} \cdots g_k^{n_k}$ holds in $G$? Myasnikov, Nikolaev, and Ushakov proved that for every (Gromov-)hyperbolic group, the knapsack problem can be solved in polynomial time. In this paper, the precise complexity of the knapsack problem for hyperbolic group is determined: for every hyperbolic group $G$, the knapsack problem belongs to the complexity class $\mathsf{LogCFL}$, and it is $\mathsf{LogCFL}$-complete if $G$ contains a free group of rank two. Moreover, it is shown that for every hyperbolic group $G$ and every tuple $(g, g_1, \ldots, g_k)$ of elements of $G$ the set of all $(n_1, \ldots, n_k) \in \mathbb{N}^k$ such that $g = g_1^{n_1} \cdots g_k^{n_k}$ in $G$ is semilinear and a semilinear representation where all integers are of size polynomial in the total geodesic length of the $g, g_1, \ldots, g_k$ can be computed. Groups with this property are also called knapsack-tame. This enables us to show that knapsack can be solved in $\mathsf{LogCFL}$ for every group that belongs to the closure of hyperbolic groups under free products and direct products with $\mathbb{Z}$.


title: Visual Affordance and Function Understanding: A Survey

abstract: Nowadays, robots are dominating the manufacturing, entertainment and healthcare industries. Robot vision aims to equip robots with the ability to discover information, understand it and interact with the environment. These capabilities require an agent to effectively understand object affordances and functionalities in complex visual domains. In this literature survey, we first focus on Visual affordances and summarize the state of the art as well as open problems and research gaps. Specifically, we discuss sub-problems such as affordance detection, categorization, segmentation and high-level reasoning. Furthermore, we cover functional scene understanding and the prevalent functional descriptors used in the literature. The survey also provides necessary background to the problem, sheds light on its significance and highlights the existing challenges for affordance and functionality learning.


title: Detecting strong signals in gene perturbation experiments: An adaptive approach with power guarantee and FDR control

abstract: The perturbation of a transcription factor should affect the expression levels of its direct targets. However, not all genes showing changes in expression are direct targets. To increase the chance of detecting direct targets, we propose a modified two-group model where the null group corresponds to genes which are not direct targets, but can have small non-zero effects. We model the behaviour of genes from the null set by a Gaussian distribution with unknown variance $\tau^2$, and we discuss and compare three methods which adaptively estimate $\tau^2$ from the data: the iterated empirical Bayes estimator, the truncated MLE and the central moment matching estimator. We conduct a detailed analysis of the properties of the iterated EB estimate which has the best performance in the simulations. In particular, we provide theoretical guarantee of its good performance under mild conditions. We provide simulations comparing the new modeling approach with existing methods, and the new approach shows more stable and better performance under different situations. We also apply it to a real data set from gene knock-down experiments and obtained better results compared with the original two-group model testing for non-zero effects.


title: Planning and Synthesis Under Assumptions

abstract: In Reasoning about Action and Planning, one synthesizes the agent plan by taking advantage of the assumption on how the environment works (that is, one exploits the environment's effects, its fairness, its trajectory constraints). In this paper we study this form of synthesis in detail. We consider assumptions as constraints on the possible strategies that the environment can have in order to respond to the agent's actions. Such constraints may be given in the form of a planning domain (or action theory), as linear-time formulas over infinite or finite runs, or as a combination of the two. We argue though that not all assumption specifications are meaningful: they need to be consistent, which means that there must exist an environment strategy fulfilling the assumption in spite of the agent actions. For such assumptions, we study how to do synthesis/planning for agent goals, ranging from a classical reachability to goal on traces specified in \LTL and \LTLf/\LDLf, characterizing the problem both mathematically and algorithmically.


title: Resilient Feedback Controller Design For Linear Model of Power Grids

abstract: In this paper, a resilient controller is designed for the linear time-invariant (LTI) systems subject to attacks on the sensors and the actuators. A novel probabilistic attack model is proposed to capture vulnerabilities of the communication links from sensors to the controller and from the controller to actuators. The observer and the controller formulation under the attack are derived. Thereafter, By leveraging Lyapunov functional methods, it is shown that exponential mean-square stability of the system under the output feedback controller is guaranteed if a certain LMI is feasible. The simulation results show the effectiveness and applicability of the proposed controller design approach.


title: An Attention-Based Approach for Single Image Super Resolution

abstract: The main challenge of single image super resolution (SISR) is the recovery of high frequency details such as tiny textures. However, most of the state-of-the-art methods lack specific modules to identify high frequency areas, causing the output image to be blurred. We propose an attention-based approach to give a discrimination between texture areas and smooth areas. After the positions of high frequency details are located, high frequency compensation is carried out. This approach can incorporate with previously proposed SISR networks. By providing high frequency enhancement, better performance and visual effect are achieved. We also propose our own SISR network composed of DenseRes blocks. The block provides an effective way to combine the low level features and high level features. Extensive benchmark evaluation shows that our proposed method achieves significant improvement over the state-of-the-art works in SISR.


title: Higher moment fluctuations of identified particle distributions from ALICE

abstract: Cumulants of conserved charges fluctuations are regarded as a potential tool to study the criticality in the QCD phase diagram and to determine the freeze-out parameters in a model-independent way. At LHC energies, the measurements of the ratio of the net-baryon (net-proton) cumulants can be used to test the lattice QCD predictions. In this work, we present the first measurements of cumulants of the net-proton number distributions up to $4^{th}$ order in Pb--Pb collisions at $\sqrt{s_{\mathrm{NN}}}$ = 2.76 and 5.02 TeV as a function of collision centrality. We compare our cumulant ratios results with the STAR experiment net-proton results measured in the first phase of the Beam Energy Scan program at RHIC. The results can be used to obtain the chemical freeze-out parameters at LHC.


title: Mean-field Dynamics for the Nelson Model with Fermions

abstract: We consider the Nelson model with ultraviolet cutoff, which describes the interaction between non-relativistic particles and a positive or zero mass quantized scalar field. We take the non-relativistic particles to obey Fermi statistics and discuss the time evolution in a mean-field limit of many fermions. In this case, the limit is known to be also a semiclassical limit. We prove convergence in terms of reduced density matrices of the many-body state to a tensor product of a Slater determinant with semiclassical structure and a coherent state, which evolve according to a fermionic version of the Schroedinger-Klein-Gordon equations.


title: Measurements of branching fraction and $CP$ asymmetry of the $\bar{B}^{0}(B^{0})\to K^{0}_{S}K^{\mp}\pi^{\pm}$ decay at Belle

abstract: We report the measurement of the branching fraction and $CP$ asymmetry for the $\bar{B}^{0}(B^{0})\to K^{0}_{S}K^{\mp}\pi^{\pm}$ decay. The analysis is performed on a data sample of 711 $\rm{fb}^{-1}$ collected at the $\Upsilon(4S)$ resonance with the Belle detector at the KEKB asymmetric-energy $e^{+}e^{-}$ collider. We obtain a branching fraction of $(3.60\pm0.33\pm0.15)\times10^{-6}$ and an $\mathcal{A}_{CP}$ of $(-8.5\pm8.9\pm0.2)\%$, where the first uncertainties are statistical and the second are systematic. Hints of peaking structures are also observed in the differential branching fraction as functions of Dalitz variables.


title: The Contribution of Dwarf Planets to the Origin of Low Inclination Comets by the Replenishment of Mean Motion Resonances in Debris Disks

abstract: In this work we explore a new dynamical path for the delivery of low-inclination comets. In a configuration formed by an interior giant planet and an exterior massive debris disk, where the mass is accounted for by the 50 largest objects in the disk, the strongest mean motion resonances of the giant, located along the belt, are replenished with new material (test particles) due to the influence of the 50 massive objects. Once in resonance, slow chaotic diffusion stirs the orbital elements of the cometary nuclei enough to encounter the giant and to be scattered by it. When the disk is massive enough, both resonant and non-resonant particles are stirred quickly to encounter the giant and form an scattered disk component, greatly increasing the rate for the delivery of cometary material to the inner part of the system. This mechanism is applicable both to the solar system and extrasolar systems in general. Preliminary results, using a disk as massive as the classical Kuiper belt, indicate that the mechanism here proposed can account for about a tenth of the required injection rate to maintain the population of ecliptic comets in steady state. In a more massive belt of 0.25 M$_\oplus$, an estimated rate of around 0.6 new comets per year is found. Such a high rate would pose a serious risk for the habitability of rocky interior planets, yet would resemble the late heavy bombardment that was present in the early solar system.


title: Plasma Generation by Household Microwave Oven for Surface Modification and Other Emerging Applications

abstract: In this paper we describe a simple and inexpensive method to generate plasma using a kitchen microwave. The microwave-generated plasma is characterized by spectroscopic analysis and compared with the absorption spectra of a gas discharge tube. A Paschen-like curve is observed leading to a hypothesis of the microwave plasma generation mechanism in air. We have also demonstrated that this microwave generated air plasma can be used in a multitude of applications such as: a) surface modification of a substrate to change its wettability; b) surface modification to change electrical/optical properties of a substrate; and c) enhancement of adhesive forces for improved bonding of polymeric microfluidic molds, such as bonding polydimethylsiloxane (PDMS) chips to glass covers. These simple techniques of plasma generation and subsequent surface treatment and modification may lead to new opportunities to conduct research not only in advanced labs, but also in undergraduate and even high school research labs.


title: Effect of Sensor Error on the Assessment of Seismic Building Damage

abstract: Natural disasters affect structural health of buildings, thus directly impacting public safety. Continuous structural monitoring can be achieved by deploying an internet of things (IoT) network of distributed sensors in buildings to capture floor movement. These sensors can be used to compute the displacements of each floor, which can then be employed to assess building damage after a seismic event. The peak relative floor displacement is computed, which is directly related to damage level according to government standards. With this information, the building inventory can be classified into immediate occupancy (IO), life safety (LS) or collapse prevention (CP) categories. In this work, we propose a zero velocity update (ZUPT) technique to minimize displacement estimation error. Theoretical derivation and experimental validation are presented. In addition, we investigate modeling sensor error and interstory drift ratio (IDR) distribution. Moreover, we discuss the impact of sensor error on the achieved building classification accuracy.


title: Deep Content-User Embedding Model for Music Recommendation

abstract: Recently deep learning based recommendation systems have been actively explored to solve the cold-start problem using a hybrid approach. However, the majority of previous studies proposed a hybrid model where collaborative filtering and content-based filtering modules are independently trained. The end-to-end approach that takes different modality data as input and jointly trains the model can provide better optimization but it has not been fully explored yet. In this work, we propose deep content-user embedding model, a simple and intuitive architecture that combines the user-item interaction and music audio content. We evaluate the model on music recommendation and music auto-tagging tasks. The results show that the proposed model significantly outperforms the previous work. We also discuss various directions to improve the proposed model further.