title: On total regularity of mixed graphs with order close to the Moore bound

abstract: The undirected degree/diameter and degree/girth problems and their directed analogues have been studied for many decades in the search for efficient network topologies. Recently such questions have received much attention in the setting of mixed graphs, i.e. networks that admit both undirected \emph{edges} and directed \emph{arcs}. The degree/diameter problem for mixed graphs asks for the largest possible order of a network with diameter $k$, maximum undirected degree $\leq r$ and maximum directed out-degree $\leq z$. It is also of interest to find smallest possible $k$-geodetic mixed graphs with minimum undirected degree $\geq r$ and minimum directed out-degree $\geq z$. A simple counting argument reveals the existence of a natural bound, the \emph{Moore bound}, on the order of such graphs; a graph that meets this limit is a \emph{mixed Moore graph}. Mixed Moore graphs can exist only for $k = 2$ and even in this case it is known that they are extremely rare. It is therefore of interest to search for graphs with order one away from the Moore bound. Such graphs must be out-regular; a much more difficult question is whether they must be totally regular. For $k = 2$, we answer this question in the affirmative, thereby resolving an open problem stated in a recent paper of L\'opez and Miret. We also present partial results for larger $k$. We finally put these results to practical use by proving the uniqueness of a 2-geodetic mixed graph with order exceeding the Moore bound by one.


title: Adaptive MTD Security using Markov Game Modeling

abstract: Large scale cloud networks consist of distributed networking and computing elements that process critical information and thus security is a key requirement for any environment. Unfortunately, assessing the security state of such networks is a challenging task and the tools used in the past by security experts such as packet filtering, firewall, Intrusion Detection Systems (IDS) etc., provide a reactive security mechanism. In this paper, we introduce a Moving Target Defense (MTD) based proactive security framework for monitoring attacks which lets us identify and reason about multi-stage attacks that target software vulnerabilities present in a cloud network. We formulate the multi-stage attack scenario as a two-player zero-sum Markov Game (between the attacker and the network administrator) on attack graphs. The rewards and transition probabilities are obtained by leveraging the expert knowledge present in the Common Vulnerability Scoring System (CVSS). Our framework identifies an attacker's optimal policy and places countermeasures to ensure that this attack policy is always detected, thus forcing the attacker to use a sub-optimal policy with higher cost.


title: Modeling IoT-aware Business Processes - A State of the Art Report

abstract: This research report presents an analysis of the state of the art of modeling Internet of Things (IoT)-aware business processes. IOT links the physical world to the digital world. Traditionally, we would find information about events and processes in the physical world in the digital world entered by humans and humans using this information to control the physical world. In the IoT paradigm, the physical world is equipped with sensors and actuators to create a direct link with the digital world. Business processes are used to coordinate a complex environment including multiple actors for a common goal, typically in the context of administrative work. In the past few years, we have seen research efforts on the possibilities to model IoT- aware business processes, extending process coordination to real world entities directly. This set of research efforts is relatively small when compared to the overall research effort into the IoT and much of the work is still in the early research stage. To create a basis for a bridge between IoT and BPM, the goal of this report is to collect and analyze the state of the art of existing frameworks for modeling IoT-aware business processes.


title: SDN based Network Function Parallelism in Cloud

abstract: Network function virtualization (NFV) based service function chaining (SFC) allows the provisioning of various security and traffic engineering applications in a cloud network. Inefficient deployment of network functions can lead to security violations and performance overhead. In an OpenFlow enabled cloud, the key problem with current mechanisms is that several packet field match and flow rule action sets associated with the network functions are non-overlapping and can be parallelized for performance enhancement. We introduce Network Function Parallelism (NFP) SFC-NFP for OpenFlow network. Our solution utilizes network function parallelism over the OpenFlow rules to improve SFC performance in the cloud network. We have utilized the DPDK platform with an OpenFlow switch (OVS) for experimental analysis. Our solution achieves a 1.40-1.90x reduction in latency for SFC in an OpenStack cloud network managed by the SDN framework.


title: An application of Baker's method to the Je\'smanowicz' conjecture on primitive Pythagorean triples

abstract: Let $m$, $n$ be positive integers such that $m>n$, $\gcd(m,n)=1$ and $m \not\equiv n \bmod 2$. In 1956, L. Je\'smanowicz \cite{Jes} conjectured that the equation $(m^2 - n^2)^x + (2mn)^y = (m^2+n^2)^z$ has only the positive integer solution $(x,y,z) = (2,2,2)$. This problem is not yet solved. In this paper, combining a lower bound for linear forms in two logarithms due to M. Laurent \cite{Lau} with some elementary methods, we prove that if $mn \equiv 2 \bmod 4$ and $m > 30.8 n$, then Je\'smanowicz' conjecture is true.


title: Galactic Calibration of the Tip of the Red Giant Branch

abstract: Indications from Gaia data release 2 (DR2) are that the tip of the red giant branch (TRGB, a population II standard candle related to the helium flash in low mass stars) is close to -4 in absolute I magnitude in the Cousins photometric system. Our sample is high latitude southern stars from the thick disk and inner halo, and our result is consistent with longstanding findings from globular clusters, whose distances were calibrated with RR Lyrae stars. As the Gaia mission proceeds, there is every reason to think an accurate Galactic geometric calibration of TRGB will be a significant outcome.


title: Exposing DeepFake Videos By Detecting Face Warping Artifacts

abstract: In this work, we describe a new deep learning based method that can effectively distinguish AI-generated fake videos (referred to as {\em DeepFake} videos hereafter) from real videos. Our method is based on the observations that current DeepFake algorithm can only generate images of limited resolutions, which need to be further warped to match the original faces in the source video. Such transforms leave distinctive artifacts in the resulting DeepFake videos, and we show that they can be effectively captured by convolutional neural networks (CNNs). Compared to previous methods which use a large amount of real and DeepFake generated images to train CNN classifier, our method does not need DeepFake generated images as negative training examples since we target the artifacts in affine face warping as the distinctive feature to distinguish real and fake images. The advantages of our method are two-fold: (1) Such artifacts can be simulated directly using simple image processing operations on a image to make it as negative example. Since training a DeepFake model to generate negative examples is time-consuming and resource-demanding, our method saves a plenty of time and resources in training data collection; (2) Since such artifacts are general existed in DeepFake videos from different sources, our method is more robust compared to others. Our method is evaluated on two sets of DeepFake video datasets for its effectiveness in practice.


title: SUPC: SDN enabled Universal Policy Checking in Cloud Network

abstract: Multi-tenant cloud networks have various security and monitoring service functions (SFs) that constitute a service function chain (SFC) between two endpoints. SF rule ordering overlaps and policy conflicts can cause increased latency, service disruption and security breaches in cloud networks. Software Defined Network (SDN) based Network Function Virtualization (NFV) has emerged as a solution that allows dynamic SFC composition and traffic steering in a cloud network. We propose an SDN enabled Universal Policy Checking (SUPC) framework, to provide 1) Flow Composition and Ordering by translating various SF rules into the OpenFlow format. This ensures elimination of redundant rules and policy compliance in SFC. 2) Flow conflict analysis to identify conflicts in header space and actions between various SF rules. Our results show a significant reduction in SF rules on composition. Additionally, our conflict checking mechanism was able to identify several rule conflicts that pose security, efficiency, and service availability issues in the cloud network.


title: Non-monotone Behavior of the Heavy Ball Method

abstract: We focus on the solutions of second-order stable linear difference equations and demonstrate that their behavior can be non-monotone and exhibit peak effects depending on initial conditions. The results are applied to the analysis of the accelerated unconstrained optimization method -- the Heavy Ball method. We explain non-standard behavior of the method discovered in practical applications. In addition, such non-monotonicity complicates the correct choice of the parameters in optimization methods. We propose to overcome this difficulty by introducing new Lyapunov function which should decrease monotonically. By use of this function convergence of the method is established under less restrictive assumptions (for instance, with the lack of convexity). We also suggest some restart techniques to speed up the methods' convergence.


title: Implicit Regularization of Stochastic Gradient Descent in Natural Language Processing: Observations and Implications

abstract: Deep neural networks with remarkably strong generalization performances are usually over-parameterized. Despite explicit regularization strategies are used for practitioners to avoid over-fitting, the impacts are often small. Some theoretical studies have analyzed the implicit regularization effect of stochastic gradient descent (SGD) on simple machine learning models with certain assumptions. However, how it behaves practically in state-of-the-art models and real-world datasets is still unknown. To bridge this gap, we study the role of SGD implicit regularization in deep learning systems. We show pure SGD tends to converge to minimas that have better generalization performances in multiple natural language processing (NLP) tasks. This phenomenon coexists with dropout, an explicit regularizer. In addition, neural network's finite learning capability does not impact the intrinsic nature of SGD's implicit regularization effect. Specifically, under limited training samples or with certain corrupted labels, the implicit regularization effect remains strong. We further analyze the stability by varying the weight initialization range. We corroborate these experimental findings with a decision boundary visualization using a 3-layer neural network for interpretation. Altogether, our work enables a deepened understanding on how implicit regularization affects the deep learning model and sheds light on the future study of the over-parameterized model's generalization ability.


title: Cardinal invariants of cellular-Lindelof spaces

abstract: A space $X$ is said to be "cellular-Lindel\"of" if for every cellular family $\mathcal{U}$ there is a Lindel\"of subspace $L$ of $X$ which meets every element of $\mathcal{U}$. Cellular-Lindel\"of spaces generalize both Lindel\"of spaces and spaces with the countable chain condition. Solving questions of Xuan and Song, we prove that every cellular-Lindel\"of monotonically normal space is Lindel\"of and that every cellular-Lindel\"of space with a regular $G_\delta$-diagonal has cardinality at most $2^\mathfrak{c}$. We also prove that every normal cellular-Lindel\"of first-countable space has cardinality at most continuum under $2^{<\mathfrak{c}}=\mathfrak{c}$ and that every normal cellular Lindel\"of space with a $G_\delta$-diagonal of rank $2$ has cardinality at most continuum.


title: Exposing Deep Fakes Using Inconsistent Head Poses

abstract: In this paper, we propose a new method to expose AI-generated fake face images or videos (commonly known as the Deep Fakes). Our method is based on the observations that Deep Fakes are created by splicing synthesized face region into the original image, and in doing so, introducing errors that can be revealed when 3D head poses are estimated from the face images. We perform experiments to demonstrate this phenomenon and further develop a classification method based on this cue. Using features based on this cue, an SVM classifier is evaluated using a set of real face images and Deep Fakes.


title: Introduction to the 1st Place Winning Model of OpenImages Relationship Detection Challenge

abstract: This article describes the model we built that achieved 1st place in the OpenImage Visual Relationship Detection Challenge on Kaggle. Three key factors contribute the most to our success: 1) language bias is a powerful baseline for this task. We build the empirical distribution $P(predicate|subject,object)$ in the training set and directly use that in testing. This baseline achieved the 2nd place when submitted; 2) spatial features are as important as visual features, especially for spatial relationships such as "under" and "inside of"; 3) It is a very effective way to fuse different features by first building separate modules for each of them, then adding their output logits before the final softmax layer. We show in ablation study that each factor can improve the performance to a non-trivial extent, and the model reaches optimal when all of them are combined.


title: Behavior and Breakdown of Higher-Order Fermi-Pasta-Ulam-Tsingou Recurrences

abstract: We investigate numerically the existence and stability of higher-order recurrences (HoRs), including super-recurrences, super-super-recurrences, etc., in the alpha and beta Fermi-Pasta-Ulam-Tsingou (FPUT) lattices for initial conditions in the fundamental normal mode. Our results represent a considerable extension of the pioneering work of Tuck and Menzel on super-recurrences. For fixed lattice sizes, we observe and study apparent singularities in the periods of these HoRs, speculated to be caused by nonlinear resonances. Interestingly, these singularities depend very sensitively on the initial energy and the respective nonlinear parameters. Furthermore, we compare the mechanisms by which the super-recurrences in the two model's breakdown as the initial energy and respective nonlinear parameters are increased. The breakdown of super-recurrences in the beta-FPUT lattice is associated with the destruction of the so-called metastable state and hence is associated with relaxation towards equilibrium. For the alpha-FPUT lattice, we find this is not the case and show that the super-recurrences break down while the lattice is still metastable. We close with comments on the generality of our results for different lattice sizes.


title: Statistical study of time intervals between murders for serial killers

abstract: We study the distribution of 2,837 inter-murder intervals (cooling off periods) for 1,012 American serial killers. The distribution is smooth, following a power law in the region of 10-10,000 days. The power law cuts off where inter-murder intervals become comparable with the length of human life. Otherwise there is no other characteristic scale in the distribution. In particular, we do not see any characteristic spree-killer interval or serial-killer interval, but only a monotonous smooth distribution lacking any features. This suggests that there is only a quantitative difference between serial killers and spree-killers, representing different samples generated by the same underlying phenomenon. The over decade long inter-murder intervals are not anomalies, but rare events described by the same power-law distribution and therefore should not necessarily be looked upon with suspicion, as has been done in a recent case involving a serial killer dubbed as the "Grim Sleeper." This large-scale study supports the conclusions of a previous study, involving three prolific serial killers, and the associated neural net model, which can explain the observed power law distribution.


title: Exploring the Influence of Density Contrast on Solar Near-Surface Shear

abstract: The advent of helioseismology has determined in detail the average rotation rate of the Sun as a function of radius and latitude. These data immediately reveal two striking boundary layers of shear in the solar convection zone (CZ): a tachocline at the base, where the differential rotation of the CZ transitions to solid-body rotation in the radiative zone, and a 35-Mm-thick near-surface shear layer (NSSL) at the top, where the rotation rate slows by about 5% with increasing radius. Though asteroseismology cannot probe the differential rotation of distant stars to the same level of detail that helioseismology can achieve for the Sun, it is possible that many cool stars with outer convective envelopes possess similar differential rotation characteristics, including both a tachocline and a NSSL. Here we present the results of 3D global hydrodynamic simulations of spherical-shell convection for a Sun-like star at different levels of density contrast across the shell. The simulations with high stratification possess characteristics of near-surface shear, especially at low latitudes. We discuss in detail the dynamical balance of torques giving rise to the NSSL in our models and interpret what these balances imply for the real Sun. We further discuss the dynamical causes that may serve to wipe out near-surface shear at high latitudes, and conclude by offering some theories as to how this problem might be tackled in future work.


title: Polarized GPDs and structure functions of $\rho$ meson

abstract: The $\rho$ meson polarized generalized parton distribution functions, its structure functions $g_1$ and $g_2$ and its axial form factors ${\tilde G}_{1,2}$ are studied based on a light-front quark model for the first time. Comparing our obtained moments of $g_1$ to lattice QCD calculation, we find that our results are reasonably consistent to the Lattice predictions.


title: Treatment Effect Estimation with Noisy Conditioning Variables

abstract: I develop a new identification strategy for treatment effects when noisy measurements of unobserved confounding factors are available. I use proxy variables to construct a random variable conditional on which treatment variables become exogenous. The key idea is that, under appropriate conditions, there exists a one-to-one mapping between the distribution of unobserved confounding factors and the distribution of proxies. To ensure sufficient variation in the constructed control variable, I use an additional variable, termed excluded variable, which satisfies certain exclusion restrictions and relevance conditions. I establish asymptotic distributional results for semiparametric and flexible parametric estimators of causal parameters. I illustrate empirical relevance and usefulness of my results by estimating causal effects of attending selective college on earnings.


title: Coherently displaced oscillator quantum states of a single trapped atom

abstract: Coherently displaced harmonic oscillator number states of a harmonically bound ion can be coupled to two internal states of the ion by a laser-induced motional sideband interaction. The internal states can subsequently be read out in a projective measurement via state-dependent fluorescence, with near-unit fidelity. This leads to a rich set of line shapes when recording the internal-state excitation probability after a sideband excitation, as a function of the frequency detuning of the displacement drive with respect to the ion's motional frequency. We precisely characterize the coherent displacement based on the resulting line shapes, which exhibit sharp features that are useful for oscillator frequency determination from the single quantum regime up to very large coherent states with average occupation numbers of several hundred. We also introduce a technique based on multiple coherent displacements and free precession for characterizing noise on the trapping potential in the frequency range of 500 Hz to 400 kHz. Signals from the ion are directly used to find and eliminate sources of technical noise in this typically unaccessed part of the spectrum.


title: A Method For Dynamic Ensemble Selection Based on a Filter and an Adaptive Distance to Improve the Quality of the Regions of Competence

abstract: Dynamic classifier selection systems aim to select a group of classifiers that is most adequate for a specific query pattern. This is done by defining a region around the query pattern and analyzing the competence of the classifiers in this region. However, the regions are often surrounded by noise which can difficult the classifier selection. This fact makes the performance of most dynamic selection systems no better than static selections. In this paper, we demonstrate that the performance dynamic selection systems end up limited by the quality of the regions extracted. Thereafter, we propose a new dynamic classifier selection that improves the regions of competence in order to achieve higher recognition rates. obtained from several classification databases show the proposed method not only increase the recognition performance but also decreases the computational cost.


title: Saving supersymmetry and dark matter WIMPs -- a new kind of dark matter candidate with well-defined mass and couplings

abstract: Since neither supersymmetry nor dark matter WIMPs have yet been observed, pessimism about their reality has been growing. Here we discuss a new supersymmetric theory and a new dark matter candidate which are naturally consistent with current experimental results, but which imply a plethora of new phenomena awaiting discovery within the foreseeable future.


title: Dialogue Natural Language Inference

abstract: Consistency is a long standing issue faced by dialogue models. In this paper, we frame the consistency of dialogue agents as natural language inference (NLI) and create a new natural language inference dataset called Dialogue NLI. We propose a method which demonstrates that a model trained on Dialogue NLI can be used to improve the consistency of a dialogue model, and evaluate the method with human evaluation and with automatic metrics on a suite of evaluation sets designed to measure a dialogue model's consistency.


title: Parallaxes of southern extremely cool objects III: 118 L \& T dwarfs

abstract: We present new results from the Parallaxes of Southern Extremely Cool dwarfs program to measure parallaxes, proper motions and multi-epoch photometry of L and early T dwarfs. The observations were made on 108 nights over the course of 8 years using the Wide Field Imager on the ESO 2.2m telescope. We present 118 new parallaxes of L \& T dwarfs of which 52 have no published values and 24 of the 66 published values are preliminary estimates from this program. The parallax precision varies from 1.0 to 15.5 mas with a median of 3.8 mas. We find evidence for 2 objects with long term photometric variation and 24 new moving group candidates. We cross-match our sample to published photometric catalogues and find standard magnitudes in up to 16 pass-bands from which we build spectral energy distributions and H-R diagrams. This allows us to confirm the theoretically anticipated minimum in radius between stars and brown dwarfs across the hydrogen burning minimum mass. We find the minimum occurs between L2 and L6 and verify the predicted steep dependence of radius in the hydrogen burning regime and the gentle rise into the degenerate brown dwarf regime. We find a relatively young age of 2 Gyr from the kinematics of our sample.


title: Ludometrics: Luck, and How to Measure It

abstract: Game theory is the study of tractable games which may be used to model more complex systems. Board games, video games and sports, however, are intractable by design, so "ludological" theories about these games as complex phenomena should be grounded in empiricism. A first "ludometric" concern is the empirical measurement of the amount of luck in various games. We argue against a narrow view of luck which includes only factors outside any player's control, and advocate for a holistic definition of luck as complementary to the variation in effective skill within a population of players. We introduce two metrics for luck in a game for a given population - one information theoretical, and one Bayesian, and discuss the estimation of these metrics using sparse, high-dimensional regression techniques. Finally, we apply these techniques to compare the amount of luck between various professional sports, between Chess and Go, and between two hobby board games: Race for the Galaxy and Seasons.


title: Peak Quasar Correlation Across the Sky, and in an Earth-Wide Bell Test

abstract: Viewing two astronomical sources at large enough distance and angular separation can assure, by light-travel-time arguments, the acausality of their emitted photons. Using such photons to set apparatus parameters in a laboratory-based quantum-mechanical experiment could ensure those switch settings are independent and fair, allowing a loophole-free test of Bell's inequality. Quasars are a natural choice for this task, yet at ultimate extent it involves their simultaneous photometry towards opposite directions on the sky, which is untried. Cosmic isotropy can be invoked to set limits there, leaving fairness intact for causal pairs, but with a testable consequence of asymmetric bias: mean brightness correlations found less flat in sky angle than random, more acutely so inside a horizon of 90 degrees. Analysis of one dataset from the Gemini twin telescopes is presented, using over 14 years of archival broadband-optical images, serendipitously sampling thousands of quasars up to 180 degrees apart. These data reject a null result of no correlation with 97.7% confidence, instead consistent with a 3-sigma residual signal of 0.21 mag peaked at 65+/-3 degrees separation. Possible confirmatory observations are pointed to along with the improved experimental protocol of an Earth-wide test.


title: Homological Description of the Quantum Adiabatic Evolution With a View Toward Quantum Computations

abstract: We import the tools of Morse theory to study quantum adiabatic evolution, the core mechanism in adiabatic quantum computations (AQC). AQC is computationally equivalent to the (pre-eminent paradigm) of the Gate model but less error-prone, so it is ideally suitable to practically tackle a large number of important applications. AQC remains, however, poorly understood theoretically and its mathematical underpinnings are yet to be satisfactorily identified. Through Morse theory, we bring a novel perspective that we expect will open the door for using such mathematics in the realm of quantum computations, providing a secure foundation for AQC. Here we show that the singular homology of a certain cobordism, which we construct from the given Hamiltonian, defines the adiabatic evolution. Our result is based on E. Witten's construction for Morse homology that was derived in the very different context of supersymmetric quantum mechanics. We investigate how such topological description, in conjunction with Gau\ss-Bonnet theorem and curvature based reformulation of Morse lemma, can be an obstruction to any computational advantage in AQC. We also explore Conley theory, for the sake of completeness, in advance of any known practical Hamiltonian of interest. We conclude with the instructive case of the ferromagnetic $p-$spin where we show that changing its first order quantum transition (QPT) into a second order QPT, by adding non-stoquastic couplings, amounts to homotopically deform the initial surface accompanied with birth of pairs of critical points. Their number reaches its maximum when the system is fully non-stoquastic. In parallel, the total Gaussian curvature gets redistributed (by the Gau\ss--Bonnet theorem) around the new neighbouring critical points, which weakens the severity of the QPT.


title: A Fast, Spectrally Accurate Homotopy Based Numerical Method For Solving Nonlinear Differential Equations

abstract: We present an algorithm for constructing numerical solutions to one--dimensional nonlinear, variable coefficient boundary value problems. This scheme is based upon applying the Homotopy Analysis Method (HAM) to decompose a nonlinear differential equation into a series of linear differential equations that can be solved using a sparse, spectrally accurate Gegenbauer discretisation. Uniquely for nonlinear methods, our scheme involves constructing a single, sparse matrix operator that is repeatedly solved in order to solve the full nonlinear problem. As such, the resulting scheme scales quasi-linearly with respect to the grid resolution. We demonstrate the accuracy, and computational scaling of this method by examining a fourth-order nonlinear variable coefficient boundary value problem by comparing the scheme to Newton-Iteration and the Spectral Homotopy Analysis Method, which is the most commonly used implementation of the HAM.


title: Analyzing different prototype selection techniques for dynamic classifier and ensemble selection

abstract: In dynamic selection (DS) techniques, only the most competent classifiers, for the classification of a specific test sample are selected to predict the sample's class labels. The more important step in DES techniques is estimating the competence of the base classifiers for the classification of each specific test sample. The classifiers' competence is usually estimated using the neighborhood of the test sample defined on the validation samples, called the region of competence. Thus, the performance of DS techniques is sensitive to the distribution of the validation set. In this paper, we evaluate six prototype selection techniques that work by editing the validation data in order to remove noise and redundant instances. Experiments conducted using several state-of-the-art DS techniques over 30 classification problems demonstrate that by using prototype selection techniques we can improve the classification accuracy of DS techniques and also significantly reduce the computational cost involved.


title: Recent Developments in $x$-dependent Structure Calculations

abstract: First principles calculations of the Bjorken-$x$ dependence of hadron structure have been a long-standing challenge for lattice QCD. This year marks a significant milestone: the first determinations of parton distribution functions, which capture the longitudinal momentum structure of fast-moving hadrons, at physical pion masses. Moreover, there has been significant progress in our understanding of the theoretical frameworks underpinning these calculations, although not all sources of systematic uncertainty have been fully explored. I review the various approaches to extracting $x$-dependent hadron structure from lattice QCD and highlight recent results in both the meson and baryon sectors.


title: Arithmeticity and Hidden Symmetries of Fully Augmented Pretzel Link Complements

abstract: This paper examines number theoretic and topological properties of fully augmented pretzel link complements. In particular, we determine exactly when these link complements are arithmetic and exactly which are commensurable with one another. We show these link complements realize infinitely many CM-fields as invariant trace fields, which we explicitly compute. Further, we construct two infinite families of non-arithmetic fully augmented link complements: one that has no hidden symmetries and the other where the number of hidden symmetries grows linearly with volume. This second family realizes the maximal growth rate for the number of hidden symmetries relative to volume for non-arithmetic hyperbolic 3-manifolds. Our work requires a careful analysis of the geometry of these link complements, including their cusp shapes and totally geodesic surfaces inside of these manifolds.


title: Numerical Stability on Local Integral Methods using RBF-QR

abstract: Many local integral methods are based on an integral formulation over small and heavilly overlapping stencils with local RBF interpolations. These functions have become an extremely effective tool for interpolation on scattered node sets, however the ill-conditioning of the interpolation matrix -- when the RBF shape parameter tends to zero corresponding to best accuracy -- is a serious task. Several stabilizing methods have been developed to deal with this near flat RBFs. The inclusion of the RBF-QR technique in the process of approximating in local integral methods makes possible to avoid this problem and stabilize the numerical error. In this paper we combine this technique in a local integral method and present accuracy results for Poisson, convection-difussion and thermal boundary layer PDEs.


title: On the Generation of Medical Question-Answer Pairs

abstract: Question answering (QA) has achieved promising progress recently. However, answering a question in real-world scenarios like the medical domain is still challenging, due to the requirement of external knowledge and the insufficient quantity of high-quality training data. In the light of these challenges, we study the task of generating medical QA pairs in this paper. With the insight that each medical question can be considered as a sample from the latent distribution of questions given answers, we propose an automated medical QA pair generation framework, consisting of an unsupervised key phrase detector that explores unstructured material for validity, and a generator that involves a multi-pass decoder to integrate structural knowledge for diversity. A series of experiments have been conducted on a real-world dataset collected from the National Medical Licensing Examination of China. Both automatic evaluation and human annotation demonstrate the effectiveness of the proposed method. Further investigation shows that, by incorporating the generated QA pairs for training, significant improvement in terms of accuracy can be achieved for the examination QA system.


title: Hydrodynamic Simulations of Asymmetric Propeller Structures in Saturn's Rings

abstract: The observation of the non-Keplerian behavior of propeller structures in Saturn's outer A ring (Tiscareno et al. 2010, Seiler et al. 2017, Spahn et al. 2018) raises the question, how the propeller responds to the wandering of the central embedded moonlet. Here, we study numerically how the induced propeller is changing for a librating moonlet. It turns out, that the libration of the moonlet induces an asymmetry in the structural imprint of the propeller, where the asymmetry is depending on the moonlet's libration period and amplitude. Further, we study the dependence of the asymmetry on the libration period and amplitude for a moonlet with 400 m Hill radius, which is located in the outer A ring. In this way, we are able to apply our findings to the largest found propeller structures -- such as Bl\'eriot -- which are expected to be of similar size. For Bl\'eriot, we can conclude that, supposed the moonlet is librating with the largest observed period of 11.1 years and an azimuthal amplitude of about 1845 km (Seiler et al. 2017, Spahn et al. 2018), a small assymmetry should be measurable but depends on the moonlet's libration phase at the observation time. The excess motions of the other giant propellers -- such as Santos Dumont and Earhart -- have similar amplitudes as Bl\'eriot and thus might allow the observation of larger asymmetries due to their smaller azimuthal extent. This would permit to scan the whole gap structure for asymmetries. Although the librational model of the moonlet is a simplification, our results are a first step towards the development of a consistent model for the description of the formation of asymmetric propellers caused by a freely moving moonlet.


title: Quasi-random sampling for multivariate distributions via generative neural networks

abstract: Generative moment matching networks (GMMNs) are introduced for generating quasi-random samples from multivariate models with any underlying copula in order to compute estimates under variance reduction. So far, quasi-random sampling for multivariate distributions required a careful design, exploiting specific properties (such as conditional distributions) of the implied parametric copula or the underlying quasi-Monte Carlo (QMC) point set, and was only tractable for a small number of models. Utilizing GMMNs allows one to construct quasi-random samples for a much larger variety of multivariate distributions without such restrictions, including empirical ones from real data with dependence structures not well captured by parametric copulas. Once trained on pseudo-random samples from a parametric model or on real data, these neural networks only require a multivariate standard uniform randomized QMC point set as input and are thus fast in estimating expectations of interest under dependence with variance reduction. Numerical examples are considered to demonstrate the approach, including applications inspired by risk management practice. All results are reproducible with the demos GMMN_QMC_paper, GMMN_QMC_data and GMMN_QMC_timings as part of the R package gnn.


title: SDCNet: Video Prediction Using Spatially-Displaced Convolution

abstract: We present an approach for high-resolution video frame prediction by conditioning on both past frames and past optical flows. Previous approaches rely on resampling past frames, guided by a learned future optical flow, or on direct generation of pixels. Resampling based on flow is insufficient because it cannot deal with disocclusions. Generative models currently lead to blurry results. Recent approaches synthesis a pixel by convolving input patches with a predicted kernel. However, their memory requirement increases with kernel size. Here, we spatially-displaced convolution (SDC) module for video frame prediction. We learn a motion vector and a kernel for each pixel and synthesize a pixel by applying the kernel at a displaced location in the source image, defined by the predicted motion vector. Our approach inherits the merits of both vector-based and kernel-based approaches, while ameliorating their respective disadvantages. We train our model on 428K unlabelled 1080p video game frames. Our approach produces state-of-the-art results, achieving an SSIM score of 0.904 on high-definition YouTube-8M videos, 0.918 on Caltech Pedestrian videos. Our model handles large motion effectively and synthesizes crisp frames with consistent motion.


title: Presentations on standard generators for classical groups

abstract: For each family of finite classical groups, and their associated simple quotients, we provide an explicit presentation on a specific generating set of size at most 8. Since there exist efficient algorithms to construct this generating set in any copy of the group, our presentations can be used to verify claimed isomorphisms between representations of the classical group. The presentations are available in Magma.


title: Closed Form Variational Objectives For Bayesian Neural Networks with a Single Hidden Layer

abstract: In this note we consider setups in which variational objectives for Bayesian neural networks can be computed in closed form. In particular we focus on single-layer networks in which the activation function is piecewise polynomial (e.g. ReLU). In this case we show that for a Normal likelihood and structured Normal variational distributions one can compute a variational lower bound in closed form. In addition we compute the predictive mean and variance in closed form. Finally, we also show how to compute approximate lower bounds for other likelihoods (e.g. softmax classification). In experiments we show how the resulting variational objectives can help improve training and provide fast test time predictions.


title: Asynchronous Neighbor Discovery Using Coupled Compressive Sensing

abstract: The neighbor discovery paradigm finds wide application in Internet of Things networks, where the number of active devices is orders of magnitude smaller than the total device population. Designing low-complexity schemes for asynchronous neighbor discovery has recently gained significant attention from the research community. Concurrently, a divide-and-conquer framework, referred to as coupled compressive sensing, has been introduced for the synchronous massive random access channel. This work adapts this novel algorithm to the problem of asynchronous neighbor discovery with unknown transmission delays. Simulation results suggest that the proposed scheme requires much fewer transmissions to achieve a performance level akin to that of state-of-the-art techniques.


title: Data-driven Perception of Neuron Point Process with Unknown Unknowns

abstract: Identification of patterns from discrete data time-series for statistical inference, threat detection, social opinion dynamics, brain activity prediction has received recent momentum. In addition to the huge data size, the associated challenges are, for example, (i) missing data to construct a closed time-varying complex network, and (ii) contribution of unknown sources which are not probed. Towards this end, the current work focuses on statistical neuron system model with multi-covariates and unknown inputs. Previous research of neuron activity analysis is mainly limited with effects from the spiking history of target neuron and the interaction with other neurons in the system while ignoring the influence of unknown stimuli. We propose to use unknown unknowns, which describes the effect of unknown stimuli, undetected neuron activities and all other hidden sources of error. The maximum likelihood estimation with the fixed-point iteration method is implemented. The fixed-point iterations converge fast, and the proposed methods can be efficiently parallelized and offer computational advantage especially when the input spiking trains are over long time-horizon. The developed framework provides an intuition into the meaning of having extra degrees-of-freedom in the data to support the need for unknowns. The proposed algorithm is applied to simulated spike trains and on real-world experimental data of mouse somatosensory, mouse retina and cat retina. The model shows a successful increasing of system likelihood with respect to the conditional intensity function, and it also reveals the convergence with iterations. Results suggest that the neural connection model with unknown unknowns can efficiently estimate the statistical properties of the process by increasing the network likelihood.


title: Evidence for exchange Dirac gap in magneto-transport of topological insulator-magnetic insulator heterostructures

abstract: Transport signatures of exchange gap opening because of magnetic proximity effect (MPE) are reported for bilayer structures of Bi2Se3 thin films on yttrium iron garnet (YIG) and thulium iron garnet (TmIG) of perpendicular magnetic anisotropy (PMA). Pronounced negative magnetoresistance (MR) was detected, and attributed to an emergent weak localization (WL) effect superimposing on a weak antilocalization (WAL). Thickness-dependent study shows that the WL originates from the time-reversal-symmetry breaking of topological surface states by interfacial exchange coupling. The weight of WL declined when the interfacial magnetization was aligned toward the in-plane direction, which is understood as the effect of tuning the exchange gap size by varying the perpendicular magnetization component. Importantly, magnetotransport study revealed anomalous Hall effect (AHE) of square loops and anisotropic magnetoresistance (AMR) characteristic, typifying a ferromagnetic conductor in Bi2Se3/TmIG, and the presence of an interfacial ferromagnetism driven by MPE. Coexistence of MPE-induced ferromagnetism and the finite exchange gap provides an opportunity of realizing zero magnetic-field dissipation-less transport in topological insulator/ferromagnetic insulator heterostructures.


title: A Multi-Robotic System for Environmental Cleaning

abstract: There is a lot of waste in an industrial environment that could cause harmful effects to both the products and the workers resulting in product defects, itchy eyes or chronic obstructive pulmonary disease, etc. While automative cleaning robots could be used, the environment is often too big for one robot to clean alone in addition to the fact that it does not have adequate stored dirt capacity. We present a multi-robotic dirt cleaning system algorithm for multiple automatic iRobot Creates teaming to efficiently clean an environment. Moreover, since some spaces in the environment are clean while others are dirty, our multi-robotic system possesses a path planning algorithm to allow the robot team to clean efficiently by spending more time on the area with higher dirt level. Overall, our multi-robotic system outperforms the single robot system in time efficiency while having almost the same total battery usage and cleaning efficiency result.


title: Resilient Consensus Through Event-based Communication

abstract: We consider resilient versions of discrete-time multi-agent consensus in the presence of faulty or even malicious agents in the network. In particular, we develop event-triggered update rules which can mitigate the influence of the malicious agents and at the same time reduce the necessary communication. Each regular agent updates its state based on a given rule using its neighbors' information. Only when the triggering condition is satisfied, the regular agents send their current states to their neighbors. Otherwise, the neighbors will continue to use the state received the last time. Assuming that a bound on the number of malicious nodes is known, we propose two update rules with event-triggered communication. They follow the so-called mean subsequence reduced (MSR) type algorithms and ignore values received from potentially malicious neighbors. We provide full characterizations for the necessary connectivity in the network for the algorithms to perform correctly, which are stated in terms of the notion of graph robustness. A numerical example is provided to demonstrate the effectiveness of the proposed approach.


title: Zero-Shot Transfer VQA Dataset

abstract: Acquiring a large vocabulary is an important aspect of human intelligence. Onecommon approach for human to populating vocabulary is to learn words duringreading or listening, and then use them in writing or speaking. This ability totransfer from input to output is natural for human, but it is difficult for machines.Human spontaneously performs this knowledge transfer in complicated multimodaltasks, such as Visual Question Answering (VQA). In order to approach human-levelArtificial Intelligence, we hope to equip machines with such ability. Therefore, toaccelerate this research, we propose a newzero-shot transfer VQA(ZST-VQA)dataset by reorganizing the existing VQA v1.0 dataset in the way that duringtraining, some words appear only in one module (i.e. questions) but not in theother (i.e. answers). In this setting, an intelligent model should understand andlearn the concepts from one module (i.e. questions), and at test time, transfer themto the other (i.e. predict the concepts as answers). We conduct evaluation on thisnew dataset using three existing state-of-the-art VQA neural models. Experimentalresults show a significant drop in performance on this dataset, indicating existingmethods do not address the zero-shot transfer problem. Besides, our analysis findsthat this may be caused by the implicit bias learned during training.


title: Meta-path Augmented Response Generation

abstract: We propose a chatbot, namely Mocha to make good use of relevant entities when generating responses. Augmented with meta-path information, Mocha is able to mention proper entities following the conversation flow.


title: Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)

abstract: Improving patient care safety is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate can be significantly reduced by computerizing medical best practice guidelines. To facilitate the development of computerized medical best practice guidelines, statecharts are often used as a modeling tool because of their high resemblances to disease and treatment models and their capabilities to provide rapid prototyping and simulation for clinical validations. However, some implementations of statecharts, such as Yakindu statecharts, are priority-based and have synchronous execution semantics which makes it difficult to model certain functionalities that are essential in modeling medical guidelines, such as two-way communications and configurable execution orders. Rather than introducing new statechart elements or changing the statechart implementation's underline semantics, we use existing basic statechart elements to design model patterns for the commonly occurring issues. In particular, we show the design of model patterns for two-way communications and configurable execution orders and formally prove the correctness of these model patterns. We further use a simplified airway laser surgery scenario as a case study to demonstrate how the developed model patterns address the two-way communication and configurable execution order issues and their impact on validation and verification of medical safety properties.


title: Non linear optimal stopping problem and Reflected BSDEs in the predictable setting

abstract: In the first part of this paper, we study RBSDEs in the case where the filtration is not quasi-left continuous and the lower obstacle is given by a predictable process. We prove the existence and uniqueness by using some results of optimal stopping theory in the predictable setting, some tools from the general theory of processes as the Merten's decomposition of predictable strong supermartingale. In the second part we introduce an optimal stopping problem indexed by predictable stopping times with the non linear predictable $g$ expectation induced by an appropriate BSDE. We establish some useful properties of ${\cal{E}}^{p,g}$-supremartingales. Moreover, we show the existence of an optimal predictable stopping time, and we characterize the predictable value function in terms of the first component of RBSDEs studied in the first part.


title: Sequence Generation with Guider Network

abstract: Sequence generation with reinforcement learning (RL) has received significant attention recently. However, a challenge with such methods is the sparse-reward problem in the RL training process, in which a scalar guiding signal is often only available after an entire sequence has been generated. This type of sparse reward tends to ignore the global structural information of a sequence, causing generation of sequences that are semantically inconsistent. In this paper, we present a model-based RL approach to overcome this issue. Specifically, we propose a novel guider network to model the sequence-generation environment, which can assist next-word prediction and provide intermediate rewards for generator optimization. Extensive experiments show that the proposed method leads to improved performance for both unconditional and conditional sequence-generation tasks.


title: Noise Contrastive Estimation for Scalable Linear Models for One-Class Collaborative Filtering

abstract: Previous highly scalable one-class collaborative filtering methods such as Projected Linear Recommendation (PLRec) have advocated using fast randomized SVD to embed items into a latent space, followed by linear regression methods to learn personalized recommendation models per user. Unfortunately, naive SVD embedding methods often exhibit a popularity bias that skews the ability to accurately embed niche items. To address this, we leverage insights from Noise Contrastive Estimation (NCE) to derive a closed-form, efficiently computable "depopularized" embedding. While this method is not ideal for direct recommendation using methods like PureSVD since popularity still plays an important role in recommendation, we find that embedding followed by linear regression to learn personalized user models in a novel method we call NCE-PLRec leverages the improved item embedding of NCE while correcting for its popularity unbiasing in final recommendations. An analysis of the recommendation popularity distribution demonstrates that NCE-PLRec uniformly distributes its recommendations over the popularity spectrum while other methods exhibit distinct biases towards specific popularity subranges, thus artificially restricting their recommendations. Empirically, NCE-PLRec outperforms state-of-the-art methods as well as various ablations of itself on a variety of large-scale recommendation datasets.


title: Coupled elastic membranes model for quantum heat transport in semiconductor nanowires

abstract: Presented here is a nanowire model, consisting of coupled elastic membranes with the purpose of investigating thermal transport in quasi-one-dimensional quantum systems. The vibrations of each elastic membrane are quantized and the flow of the vibrational energy between adjacent membranes is allowed. The ends of the nanowire are attached to thermal baths held at different temperatures. We derived quantum master equation for energy flow across the nanowire and obtained thermal currents and other key observables. We study the effects of a disordered boundary on the thermal current by randomizing the membrane radii. We evaluate the model as a nanowire analogue as well as study the effects of a disordered boundary on thermal conductivity. The calculations show that the membrane lattice model demonstrates diameter phonon confinement and a severe reduction in thermal conductivity due to surface roughness which is characteristic of semiconductor nanowires. The surface roughness also produces a length dependence of the thermal conductivity of the form $\kappa=\alpha L^{\beta}$, with $\beta$ dependent on disorder characteristics, in the otherwise ballistic regime. Finally, the parameters of the model are fitted to available experimental data for silicon nanowires and the results of the calculations are assessed against the experimental data.


title: Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints

abstract: We identify difference-bound set constraints (DBS), an analogy of difference-bound arithmetic constraints for sets. DBS can express not only set constraints but also arithmetic constraints over set elements. We integrate DBS into separation logic with linearly compositional inductive predicates, obtaining a logic thereof where set data constraints of linear data structures can be specified. We show that the satisfiability of this logic is decidable. A crucial step of the decision procedure is to compute the transitive closure of DBS-definable set relations, to capture which we propose an extension of quantified set constraints with Presburger Arithmetic (RQSPA). The satisfiability of RQSPA is then shown to be decidable by harnessing advanced automata-theoretic techniques.


title: Learning from Large-scale Noisy Web Data with Ubiquitous Reweighting for Image Classification

abstract: Many advances of deep learning techniques originate from the efforts of addressing the image classification task on large-scale datasets. However, the construction of such clean datasets is costly and time-consuming since the Internet is overwhelmed by noisy images with inadequate and inaccurate tags. In this paper, we propose a Ubiquitous Reweighting Network (URNet) that learns an image classification model from large-scale noisy data. By observing the web data, we find that there are five key challenges, i.e., imbalanced class sizes, high intra-classes diversity and inter-class similarity, imprecise instances, insufficient representative instances, and ambiguous class labels. To alleviate these challenges, we assume that every training instance has the potential to contribute positively by alleviating the data bias and noise via reweighting the influence of each instance according to different class sizes, large instance clusters, its confidence, small instance bags and the labels. In this manner, the influence of bias and noise in the web data can be gradually alleviated, leading to the steadily improving performance of URNet. Experimental results in the WebVision 2018 challenge with 16 million noisy training images from 5000 classes show that our approach outperforms state-of-the-art models and ranks the first place in the image classification task.


title: Towards the Development of Realistic Botnet Dataset in the Internet of Things for Network Forensic Analytics: Bot-IoT Dataset

abstract: The proliferation of IoT systems, has seen them targeted by malicious third parties. To address this, realistic protection and investigation countermeasures need to be developed. Such countermeasures include network intrusion detection and network forensic systems. For that purpose, a well-structured and representative dataset is paramount for training and validating the credibility of the systems. Although there are several network, in most cases, not much information is given about the Botnet scenarios that were used. This paper, proposes a new dataset, Bot-IoT, which incorporates legitimate and simulated IoT network traffic, along with various types of attacks. We also present a realistic testbed environment for addressing the existing dataset drawbacks of capturing complete network information, accurate labeling, as well as recent and complex attack diversity. Finally, we evaluate the reliability of the BoT-IoT dataset using different statistical and machine learning methods for forensics purposes compared with the existing datasets. This work provides the baseline for allowing botnet identificaiton across IoT-specifc networks. The Bot-IoT dataset can be accessed at [1].


title: Advances in Modelling and Simulation of Halide Perovskites for Solar Cell Applications

abstract: Perovskite solar cells (PSCs) are attracting great attention as the most promising candidate for the next generation solar cells. This is due to their low cost and high power conversion efficiency in spite of their relatively short period of development. Key components of PSCs are a variety of halide perovskites with ABX3 stoichiometry used as a photoabsorber, which brought the factual breakthrough in the field of photovoltaic (PV) technology with their outstanding optoelectronic properties. To commercialize PSCs in the near future, however, these materials need to be further improved for a better performance, represented by high efficiency and high stability. As in other materials development, atomistic modelling and simulation can play a significant role in finding new functional halide perovskites as well as revealing the underlying mechanisms of their material processes and properties. In this sense, computational works for the halide perovskites, mostly focusing on first-principles works, are reviewed with an eye looking for an answer how to improve the performance of PSCs. Specific modelling and simulation techniques to quantify material properties of the halide perovskites are also presented. Finally, the outlook for the challenges and future research directions in this field is provided.


title: Learning Latent Fractional dynamics with Unknown Unknowns

abstract: Despite significant effort in understanding complex systems (CS), we lack a theory for modeling, inference, analysis and efficient control of time-varying complex networks (TVCNs) in uncertain environments. From brain activity dynamics to microbiome, and even chromatin interactions within the genome architecture, many such TVCNs exhibits a pronounced spatio-temporal fractality. Moreover, for many TVCNs only limited information (e.g., few variables) is accessible for modeling, which hampers the capabilities of analytical tools to uncover the true degrees of freedom and infer the CS model, the hidden states and their parameters. Another fundamental limitation is that of understanding and unveiling of unknown drivers of the dynamics that could sporadically excite the network in ways that straightforward modeling does not work due to our inability to model non-stationary processes. Towards addressing these challenges, in this paper, we consider the problem of learning the fractional dynamical complex networks under unknown unknowns (i.e., hidden drivers) and partial observability (i.e., only partial data is available). More precisely, we consider a generalized modeling approach of TVCNs consisting of discrete-time fractional dynamical equations and propose an iterative framework to determine the network parameterization and predict the state of the system. We showcase the performance of the proposed framework in the context of task classification using real electroencephalogram data.


title: Communicating Two States in Perovskite Revealed by Time-Resolved Photoluminescence Spectroscopy

abstract: Organic-inorganic perovskite as a promising candidate for solar energy harvesting has attracted immense interest for its low-cost preparation and extremely high quantum efficiency. However, the fundamental understanding of the photophysics in perovskite remains elusive. In this work, we have revealed two distinct states in MAPbI3 thin films at low temperature through time-resolved photoluminescence spectroscopy (TRPL). In particular, we observe a photo-induced carrier injection from the high energy (HE) state to the low energy (LE) state which has a longer lifetime. The strong interaction between the two states, evidenced by the injection kinetics, can be sensitively controlled through the excitation power. Understanding the interacting two-states not only sheds light on the long PL lifetime in perovskite but also helps to understand the different behavior of perovskite in response to different excitation power. Further efforts in modifying the low energy state could significantly improve the quantum efficiency and lead to novel application in optoelectronics based on perovskite.


title: Unexpectedly high salt accumulation inside carbon nanotubes soaked in very dilute salt solutions

abstract: We experimentally demonstrate the formation of salt aggregations with unexpectedly high concentration inside multi-walled carbon nanotubes (CNTs) soaked only in dilute salt solutions and even in solutions containing only traces of salts. This finding suggests the blocking of fluid across CNTs by the salt aggregations when CNTs are soaked in a dilute salt solution with the concentration of seawater or even lower, which may open new avenues for the development of novel CNT-based desalination techniques. The high salt accumulation of CNTs also provides a new CNT-based strategy for the collection/extraction of noble metal salts in solutions containing traces of noble metal salts. Theoretical analyses reveal that this high salt accumulation inside CNTs can be mainly attributed to the strong hydrated cation-pi interactions of hydrated cations and pi electrons in the aromatic rings of CNTs.


title: Combining Similarity Features and Deep Representation Learning for Stance Detection in the Context of Checking Fake News

abstract: Fake news are nowadays an issue of pressing concern, given their recent rise as a potential threat to high-quality journalism and well-informed public discourse. The Fake News Challenge (FNC-1) was organized in 2017 to encourage the development of machine learning-based classification systems for stance detection (i.e., for identifying whether a particular news article agrees, disagrees, discusses, or is unrelated to a particular news headline), thus helping in the detection and analysis of possible instances of fake news. This article presents a new approach to tackle this stance detection problem, based on the combination of string similarity features with a deep neural architecture that leverages ideas previously advanced in the context of learning efficient text representations, document classification, and natural language inference. Specifically, we use bi-directional Recurrent Neural Networks, together with max-pooling over the temporal/sequential dimension and neural attention, for representing (i) the headline, (ii) the first two sentences of the news article, and (iii) the entire news article. These representations are then combined/compared, complemented with similarity features inspired on other FNC-1 approaches, and passed to a final layer that predicts the stance of the article towards the headline. We also explore the use of external sources of information, specifically large datasets of sentence pairs originally proposed for training and evaluating natural language inference methods, in order to pre-train specific components of the neural network architecture (e.g., the RNNs used for encoding sentences). The obtained results attest to the effectiveness of the proposed ideas and show that our model, particularly when considering pre-training and the combination of neural representations together with similarity features, slightly outperforms the previous state-of-the-art.


title: Training Neural Speech Recognition Systems with Synthetic Speech Augmentation

abstract: Building an accurate automatic speech recognition (ASR) system requires a large dataset that contains many hours of labeled speech samples produced by a diverse set of speakers. The lack of such open free datasets is one of the main issues preventing advancements in ASR research. To address this problem, we propose to augment a natural speech dataset with synthetic speech. We train very large end-to-end neural speech recognition models using the LibriSpeech dataset augmented with synthetic speech. These new models achieve state of the art Word Error Rate (WER) for character-level based models without an external language model.


title: Scaling Flow on Covariance Forms of CCR Algebras

abstract: In connection with parametric rescaling of free dynamics of CCR, we introduce a flow on the set of covariance forms and investigate its thermodynamic behavior at low temperature with the conclusion that every free state approaches to a selected Fock state as a limit.


title: R\'enyi entropy yields artificial biases not in the data and incorrect updating due to the finite-size data

abstract: We show that the R\'enyi entropy implies artificial biases not warranted by the data and incorrect updating information due to the finite-size of the data despite being additive. It is demonstrated that this is so because it does not conform to the system and subset independence axioms of Shore and Johnson. We finally show that the escort averaged constraints do not remedy the situation.


title: On subexponential running times for approximating directed Steiner tree and related problems

abstract: This paper concerns proving almost tight (super-polynomial) running times, for achieving desired approximation ratios for various problems. To illustrate, the question we study, let us consider the Set-Cover problem with n elements and m sets. Now we specify our goal to approximate Set-Cover to a factor of (1-d)ln n, for a given parameter 0<d<1. What is the best possible running time for achieving such approximation? This question was answered implicitly in the work of Moshkovitz [Theory of Computing, 2015]: Assuming both the Projection Games Conjecture (PGC) and the Exponential-Time Hypothesis (ETH), any ((1-d) ln n)-approximation algorithm for Set-Cover must run in time >= 2^{n^{c d}}, for some constant 0<d<1. We study the questions along this line. First, we show that under ETH and PGC any ((1-d) \ln n)-approximation for Set-Cover requires 2^{n^{d}}-time. This (almost) matches the running time of 2^{O(n^d)} for approximating Set-Cover to a factor (1-d) ln n by Cygan et al. [IPL, 2009]. Our result is tight up to the constant multiplying the n^{d} terms in the exponent. This lower bound applies to all of its generalizations, e.g., Group Steiner Tree (GST), Directed Steiner (DST), Covering Steiner Tree (CST), Connected Polymatroid (CP). We also show that in almost exponential time, these problems reduce to Set-Cover: We show (1-d)ln n approximation algorithms for all these problems that run in time 2^{n^{d \log n } poly(m). We also study log^{2-d}n approximation for GST. Chekuri-Pal [FOCS, 2005] showed that GST admits (log^{2-d}n)-approximation in time exp(2^{log^{d+o(1)}n}), for any 0 < d < 1. We show the lower bound of GST: any (log^{2-d}n)-approximation for GST must run in time >= exp((1+o(1)){log^{d-c}n}), for any c>0, unless the ETH is false. Our result follows by analyzing the work of Halperin and Krauthgamer [STOC, 2003]. The same lower and upper bounds hold for CST.


title: Universal Kinetics of the Sol-to-Gel Transition

abstract: A comprehensive theory encompassing the kinetics of sol-to-gel transition is yet to be formulated due to break-down of the mean-field Smoluchowski Equation. Using high temporal-resolution Monte Carlo simulation of irreversible aggregation systems, we show that this transition has three distinct regimes with kinetic exponent z ranging between 1 and 2, corresponding to aggregation of sol clusters proceeding to the ideal gel point (IGP); z ranging between 2 and 5.7 for gelation of sol clusters beyond IGP; and z ranging between 2 and 3.5 for a hitherto unidentified regime involving aggregation of gels when monomer-dense. We further establish universal power-law scaling relationships that connect the kinetics of these three regimes.


title: Understanding electron correlation energy through density functional theory

abstract: A curious behavior of electron correlation energy is explored. Namely, the correlation energy is the energy that tends to drive the system toward that of the uniform electron gas. As such, the energy assumes its maximum value when a gradient of density is zero. As the gradient increases, the energy is diminished by a gradient suppressing factor, designed to attenuate the energy from its maximum value similar to the shape of a bell curve. Based on this behavior, we constructed a very simple mathematical formula that predicted the correlation energy of atoms and molecules. Combined with our proposed exchange energy functional, we calculated the correlation energies, the total energies, and the ionization energies of test atoms and molecules; and despite the unique simplicities, the functionals' accuracies are in the top tier performance, competitive to the B3LYP, BLYP, PBE, TPSS, and M11. Therefore, we propose that, as guided by the simplicities and supported by the accuracies, the correlation energy is the energy that locally tends to drive the system toward the uniform electron gas.


title: Coarse-grained lattice protein folding on a quantum annealer

abstract: Lattice models have been used extensively over the past thirty years to examine the principles of protein folding and design. These models can be used to determine the conformation of the lowest energy fold out of a large number of possible conformations. However, due to the size of the conformational space, new algorithms are required for folding longer proteins sequences. Preliminary work was performed by Babbush et al. (2012) to fold a small peptide on a planar lattice using a quantum annealing device. We extend this work by providing improved Ising-type Hamiltonian encodings for the problem of finding the lowest energy conformation of a lattice protein. We demonstrate a decrease in quantum circuit complexity from quadratic to quasilinear in certain cases. Additionally, we generalize to three spatial dimensions in order to obtain results with higher correlation to the actual atomistic 3D structure of the protein and outline our heuristic approach for splitting large problem instances into smaller subproblems that can be directly solved with the current D-Wave 2000Q architecture. To the best of our knowledge, this work sets a new record for lattice protein folding on a quantum annealer by folding Chignolin (10 residues) on a planar lattice and Trp-Cage (8 residues) on a cubic lattice.


title: Theoretical analyses of the sub-grid quantities' effect on filtered Eulerian drag force

abstract: An expression of the filtered Eulerian drag force is proposed based on the second order Taylor polynomial approximation of the microscopic Eulerian drag coefficient. Theoretical computations of the expression are performed at low Reynolds numbers based on an available microscopic drag model. It shows that four sub-grid quantities, i.e., the gas drift velocity, the solid drift velocity, the scalar variance of solid volume fraction and a third-order moment, defined as the covariance of squared solid volume fraction and the slip velocity, are significant for an accurate estimation of the filtered drag force at low Reynolds numbers. The gas drift velocity is nothing but the drift velocity defined by Parmentier et al. (AIChE Journal, 2012, 58 (4): 1084-1098), and in analogy to the gas drift velocity, we defines the solid drift velocity in the present work. The great relevance of the gas drift velocity and the scalar variance of solid volume fraction to the filtered drag force have been demonstrated through numerous correlative analyses of fully resolved simulations. Present theoretical analysis shows that the gas drift velocity term is primarily responsible for the drag reduction, whereas the solid drift velocity term is prone to attenuate this reduction, especially at moderate and high solid volume fractions. The scalar variance of solid volume fraction term is found to increase the filtered drag force in the full range of solid volume fractions. The third-order term has exactly the same coefficient with that of the variance term, and it mostly attains negative values with the trend to decrease the filtered drag force.


title: A setup for extreme-ultraviolet ultrafast angle-resolved photoelectron spectroscopy at 50-kHz repetition rate

abstract: Time- and angle-resolved photoelectron spectroscopy (trARPES) is a powerful method to track the ultrafast dynamics of quasiparticles and electronic bands in energy and momentum space. We present a setup for trARPES with 22.3 eV extreme-ultraviolet (XUV) femtosecond pulses at 50-kHz repetition rate, which enables fast data acquisition and access to dynamics across momentum space with high sensitivity. The design and operation of the XUV beamline, pump-probe setup, and UHV endstation are described in detail. By characterizing the effect of space-charge broadening, we determine an ultimate source-limited energy resolution of 60 meV, with typically 80-100 meV obtained at 1-2e10 photons/s probe flux on the sample. The instrument capabilities are demonstrated via both equilibrium and time-resolved ARPES studies of transition-metal dichalcogenides. The 50-kHz repetition rate enables sensitive measurements of quasiparticles at low excitation fluences in semiconducting MoSe$_2$, with an instrumental time resolution of 65 fs. Moreover, photo-induced phase transitions can be driven with the available pump fluence, as shown by charge density wave melting in 1T-TiSe$_2$. The high repetition-rate setup thus provides a versatile platform for sensitive XUV trARPES, from quenching of electronic phases down to the perturbative limit.


title: Degenerate Dark Matter at Galactic Scales: A BCS Theory

abstract: We show that if dark matter in a typical galaxy is a degenerate Fermi gas, particles should have a mass of $\sim$ 1eV for the galaxy to be stable. While this is the mass range of the active neutrinos, they are not a dark matter candidate in SM-GR-$\Lambda$-CDM. To show that the bounds on active neutrino dark matter are model dependent, we explore the predictions of SM-LGT cosmological model. First, primordial neutrinos are predicted to freeze-out non-relativistically at early universe without affecting the expansion rate. Second, they make a degenerate gas in galaxies at the present time. Third, SM-LGT Hamiltonian at low temperatures is identical with that of the BCS theory of superconductivity. Consequently, there exists a narrow band of compressible condensed bosonic bound states on top of the Fermi surface which forms some denser structures.


title: Dirichlet belief networks for topic structure learning

abstract: Recently, considerable research effort has been devoted to developing deep architectures for topic models to learn topic structures. Although several deep models have been proposed to learn better topic proportions of documents, how to leverage the benefits of deep structures for learning word distributions of topics has not yet been rigorously studied. Here we propose a new multi-layer generative process on word distributions of topics, where each layer consists of a set of topics and each topic is drawn from a mixture of the topics of the layer above. As the topics in all layers can be directly interpreted by words, the proposed model is able to discover interpretable topic hierarchies. As a self-contained module, our model can be flexibly adapted to different kinds of topic models to improve their modelling accuracy and interpretability. Extensive experiments on text corpora demonstrate the advantages of the proposed model.


title: Quantitative bounds in the inverse theorem for the Gowers $U^{s+1}$-norms over cyclic groups

abstract: We provide a new proof of the inverse theorem for the Gowers $U^{s+1}$-norm over groups $H=\mathbb Z/N\mathbb Z$ for $N$ prime. This proof gives reasonable quantitative bounds (the worst parameters are double-exponential), and in particular does not make use of regularity or non-standard analysis, both of which are new for $s \ge 3$ in this setting.


title: Min-max theory for cell complexes

abstract: In the study of smooth functions on manifolds, min-max theory provides a mechanism for identifying critical values of a function. In this paper we introduce a discretized version of this theory associated to a discrete Morse function on a (regular) cell complex. As applications we prove a discrete version of the Mountain Pass Lemma and give an alternate proof of a discrete Lusternik-Schnirelmann Theorem.


title: Semantically-Aligned Equation Generation for Solving and Reasoning Math Word Problems

abstract: Solving math word problems is a challenging task that requires accurate natural language understanding to bridge natural language texts and math expressions. Motivated by the intuition about how human generates the equations given the problem texts, this paper presents a neural approach to automatically solve math word problems by operating symbols according to their semantic meanings in texts. This paper views the process of generating equation as a bridge between the semantic world and the symbolic world, where the proposed neural math solver is based on an encoder-decoder framework. In the proposed model, the encoder is designed to understand the semantics of problems, and the decoder focuses on tracking semantic meanings of the generated symbols and then deciding which symbol to generate next. The preliminary experiments are conducted in a dataset Math23K, and our model significantly outperforms both the state-of-the-art single model and the best non-retrieval-based model over about 10% accuracy, demonstrating the effectiveness of bridging the symbolic and semantic worlds from math word problems.


title: A resonance interaction of seismogravitational modes on tectonic plates

abstract: This paper discusses resonance effects to advance a classical earthquake model, namely the celebrated M8 global test algorithm. This algorithmgives high confidence levels for prediction of Time Intervals of Increased Probability (TIP) of an earthquake. It is based on observation that almost 80\% of earthquakes occur due to the stress accumulated from previous earthquakes at the location and stored in form of displacements against gravity and static elastic deformations of the plates. Nevertheless the M8 global test algorithm fails to predict some powerful earthquakes. In this paper we suggest the additional possibility of considering the dynamical storage of the elastic energy on the tectonic plates due to resonance beats of seismo-gravitational oscillations (SGO) modes of the plates. We make sure that the tangential compression in the middle plane of an "active zone" of a tectonic plate may tune its SGO modes to the resonance condition of coincidence the frequencies of the corresponding localized modes with the delocalized SGO modes of the complement. We also consider the beats arising between the modes under a small perturbations of the plates, and, assuming that the discord between the perturbed and unperturbed resonance modes is strongly dominated by the discord between the non-resonance modes estimate the energy transfer coefficient.


title: Adaptive MCMC for Generalized Method of Moments with Many Moment Conditions

abstract: A generalized method of moments (GMM) estimator is unreliable for a large number of moment conditions, that is, it is comparable, or larger than the sample size. While classical GMM literature proposes several provisions to this problem, its Bayesian counterpart (i.e., Bayesian inference using a GMM criterion as a quasi-likelihood) almost totally ignores it. This study bridges this gap by proposing an adaptive Markov Chain Monte Carlo (MCMC) approach to a GMM inference with many moment conditions. Particularly, this study focuses on the adaptive tuning of a weighting matrix on the fly. Our proposal consists of two elements. The first is the use of the nonparametric eigenvalue-regularized precision matrix estimator, which contributes to numerical stability. The second is the random update of a weighting matrix, which substantially reduces computational cost, while maintaining the accuracy of the estimation. We then present a simulation study and real data application to compare the performance of the proposed approach with existing approaches.


title: Geometric Methods for Stochastic Dynamical Systems

abstract: Noisy fluctuations are ubiquitous in complex systems. They play a crucial or delicate role in the dynamical evolution of gene regulation, signal transduction, biochemical reactions, among other systems. Therefore, it is essential to consider the effects of noise on dynamical systems. It has been a challenging topic to have better understanding of the impact of the noise on the dynamical behaviors of complex systems.


title: Bayesian Hierarchical Modeling on Covariance Valued Data

abstract: Analysis of structural and functional connectivity (FC) of human brains is of pivotal importance for diagnosis of cognitive ability. The Human Connectome Project (HCP) provides an excellent source of neural data across different regions of interest (ROIs) of the living human brain. Individual specific data were available from an existing analysis (Dai et al., 2017) in the form of time varying covariance matrices representing the brain activity as the subjects perform a specific task. As a preliminary objective of studying the heterogeneity of brain connectomics across the population, we develop a probabilistic model for a sample of covariance matrices using a scaled Wishart distribution. We stress here that our data units are available in the form of covariance matrices, and we use the Wishart distribution to create our likelihood function rather than its more common usage as a prior on covariance matrices. Based on empirical explorations suggesting the data matrices to have low effective rank, we further model the center of the Wishart distribution using an orthogonal factor model type decomposition. We encourage shrinkage towards a low rank structure through a novel shrinkage prior and discuss strategies to sample from the posterior distribution using a combination of Gibbs and slice sampling. We extend our modeling framework to a dynamic setting to detect change points. The efficacy of the approach is explored in various simulation settings and exemplified on several case studies including our motivating HCP data. We extend our modeling framework to a dynamic setting to detect change points.


title: Quillen--Suslin Theory; Revisited over Graded Rings

abstract: In this paper we deduce a graded version of Quillen--Suslin's Local-Global Principle for the traditional classical groups, viz. general linear, symplectic and orthogonal groups and establish its equivalence of the normality property of the respective elementary subgroups. This generalizes previous result of Basu--Rao--Khanna. Then, as an application, we establish an analogue Local-Global Principle for the commutator subgroups of the special linear and symplectic groups. Finally, by using Swan-Weibel's homotopy trick, we establish graded analogue of the Local-Global Principle for the transvection subgroups of the full automorphism groups of the linear, symplectic and orthogonal modules. This generalizes the previous result of Bak--Basu--Rao.


title: Inverse optimization for the recovery of constraint parameters

abstract: Most inverse optimization models impute unspecified parameters of an objective function to make an observed solution optimal for a given optimization problem with a fixed feasible set. We propose two approaches to impute unspecified left-hand-side constraint coefficients in addition to a cost vector for a given linear optimization problem. The first approach identifies parameters minimizing the duality gap, while the second minimally perturbs prior estimates of the unspecified parameters to satisfy strong duality, if it is possible to satisfy the optimality conditions exactly. We apply these two approaches to the general linear optimization problem. We also use them to impute unspecified parameters of the uncertainty set for robust linear optimization problems under interval and cardinality constrained uncertainty. Each inverse optimization model we propose is nonconvex, but we show that a globally optimal solution can be obtained either in closed form or by solving a linear number of linear or convex optimization problems.


title: Sampling theorem based Fourier-Legendre transform

abstract: The product of any number of Legendre functions, under a restricted domain, can be expanded by the corresponding Legendre polynomials, with the coefficient being the sinc function. While an analogous expansion can be made for any number of Gengenbauer functions, it is not allowed for more than two Jacobi functions. To obtain such an expansion, the sampling theorem is of great availability.


title: Improving the Robustness of Speech Translation

abstract: Although neural machine translation (NMT) has achieved impressive progress recently, it is usually trained on the clean parallel data set and hence cannot work well when the input sentence is the production of the automatic speech recognition (ASR) system due to the enormous errors in the source. To solve this problem, we propose a simple but effective method to improve the robustness of NMT in the case of speech translation. We simulate the noise existing in the realistic output of the ASR system and inject them into the clean parallel data so that NMT can work under similar word distributions during training and testing. Besides, we also incorporate the Chinese Pinyin feature which is easy to get in speech translation to further improve the translation performance. Experiment results show that our method has a more stable performance and outperforms the baseline by an average of 3.12 BLEU on multiple noisy test sets, even while achieves a generalization improvement on the WMT'17 Chinese-English test set.


title: Learning Based Control Policy and Regret Analysis for Online Quadratic Optimization with Asymmetric Information Structure

abstract: In this paper, we propose a learning approach to analyze dynamic systems with asymmetric information structure. Instead of adopting a game theoretic setting, we investigate an online quadratic optimization problem driven by system noises with unknown statistics. Due to information asymmetry, it is infeasible to use classic Kalman filter nor optimal control strategies for such systems. It is necessary and beneficial to develop a robust approach that learns the probability statistics as time goes forward. Motivated by online convex optimization (OCO) theory, we introduce the notion of regret, which is defined as the cumulative performance loss difference between the optimal offline known statistics cost and the optimal online unknown statistics cost. By utilizing dynamic programming and linear minimum mean square biased estimate (LMMSUE), we propose a new type of online state feedback control policies and characterize the behavior of regret in finite time regime. The regret is shown to be sub-linear and bounded by O(ln T). Moreover, we address an online optimization problem with output feedback control policies.


title: Quantum Statistical Mechanics in Classical Phase Space. Expressions for the Multi-Particle Density, the Average Energy, and the Virial Pressure

abstract: Quantum statistical mechanics is formulated as an integral over classical phase space. Some details of the commutation function for averages are discussed, as is the factorization of the symmetrization function used for the grand potential and for the multi-particle density. Three binary choices (eight routes) for the average energy are shown to be mutually consistent. An expression for the phase space function that gives the average virial pressure is derived.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech physics.chem-ph


title: The age of secrecy and unfairness in recidivism prediction

abstract: In our current society, secret algorithms make important decisions about individuals. There has been substantial discussion about whether these algorithms are unfair to groups of individuals. While noble, this pursuit is complex and ultimately stagnating because there is no clear definition of fairness and competing definitions are largely incompatible. We argue that the focus on the question of fairness is misplaced, as these algorithms fail to meet a more important and yet readily obtainable goal: transparency. As a result, creators of secret algorithms can provide incomplete or misleading descriptions about how their models work, and various other kinds of errors can easily go unnoticed. By partially reverse engineering the COMPAS algorithm -- a recidivism-risk scoring algorithm used throughout the criminal justice system -- we show that it does not seem to depend linearly on the defendant's age, despite statements to the contrary by the algorithm's creator. Furthermore, by subtracting from COMPAS its (hypothesized) nonlinear age component, we show that COMPAS does not necessarily depend on race, contradicting ProPublica's analysis, which assumed linearity in age. In other words, faulty assumptions about a proprietary algorithm lead to faulty conclusions that go unchecked without careful reverse engineering. Were the algorithm transparent in the first place, this would likely not have occurred. The most important result in this work is that we find that there are many defendants with low risk score but long criminal histories, suggesting that data inconsistencies occur frequently in criminal justice databases. We argue that transparency satisfies a different notion of procedural fairness by providing both the defendants and the public with the opportunity to scrutinize the methodology and calculations behind risk scores for recidivism.


title: Cooperative Spectrum Sharing Between D2D Users and Edge-Users: A Matching Theory Perspective

abstract: The device-to-device (D2D) communication theoretically provides both the cellular traffic offloading and convenient content delivery directly among proximity users. However, in practice, no matter in underlay or overlay mode, the employment of D2D may impair the performance of the cellular links. Therefore, it is important to design a spectrum sharing scheme, under which the performance of both links can be improved simultaneously. In this paper, we consider the cell-edge user (CEU) scenario, where both sides have the demand to improve the quality of experience or service. Therefore, CEUs and D2D users both have intentions to form pairs, namely, CEU-D2D pairs, to cooperate mutually. Different from the conventional equilibrium point evaluation, the stable matching between D2D users and CEUs are formulated under matching theory framework instead. For each CEU-D2D pair, a two-stage pricing-based Stackelberg game is modeled to describe the willingness to cooperate, where the win-win goal is reached finally.


title: Entanglement and Measurement-induced quantum correlation in Heisenberg spin models

abstract: Correlation beyond entanglement is a subject of interest in quantum information. Here we have shown the existence of quantum correlation without entanglement in Heisenberg $XYZ$ spin model with external magnetic field, using different versions of measurement-induced nonlocality. However maximally entangled states are shown to possess maximum correlation.


title: Symplectic Banach-Mazur distances between subsets of C^n

abstract: Following proposals of Ostrover and Polterovich, we introduce and study "coarse" and "fine" versions of a symplectic Banach-Mazur distance on certain open subsets of $\mathbb{C}^n$ and other open Liouville domains. The coarse version declares two such domains to be close to each other if each domain admits a Liouville embedding into a slight dilate of the other; the fine version, which is similar to the distance on subsets of cotangent bundles of surfaces recently studied by Stojisavljevi\'c and Zhang, imposes an additional requirement on the images of these embeddings that is motivated by the definition of the classical Banach-Mazur distance on convex bodies. Our first main result is that the coarse and fine distances are quite different from each other, in that there are sequences that converge coarsely to an ellipsoid but diverge to infinity with respect to the fine distance. Our other main result is that, with respect to the fine distance, the space of star-shaped domains in $\mathbb{C}^n$ admits quasi-isometric embeddings of $\mathbb{R}^D$ for every finite dimension $D$. Our constructions are obtained from a general method of constructing $(2n+2)$-dimensional Liouville domains whose boundaries have Reeb dynamics determined by certain autonomous Hamiltonian flows on a given $2n$-dimensional Liouville domain. The bounds underlying our main results are proven using filtered equivariant symplectic homology via methods from prior joint work with Gutt.


title: A conjecture on Kepler's third law of n-body periodic orbits

abstract: Three-body and n-body problems in celestial mechanics are age-old and challenging puzzles. In recent years, several breakthroughs are made in finding periodic orbits for three-body problem. And Bohua Sun proposed a conjecture on Kepler's third law of three-body and n-body problems by using the dimensional analysis method and the mass product symmetry of Newtonian gravitational field. In this paper, the background as well as the research progress on the Kepler's third law, three-body and n-body problems is introduced briefly, and then Bohua Sun's conjecture on Kepler's third law of three-body and n-body problems is reviewed from the perspective of both theory and application.


title: Thawing vs. Tracker Solutions: A Dynamical Systems Approach

abstract: A comparative study of thawing and tracking models of dark energy is carried out with the help of a dynamical systems analysis. It is found that both of them have stable solutions which are consistent with the requirement of a dark energy. So none of them is actually favored from the consideration of stability. The trackers have the interesting possibility that the present acceleration is a transient phenomenon.


title: A flux-based HDG method

abstract: In this paper, we present a flux-based formulation of the hybridizable discontinuous Galerkin (HDG) method for steady-state diffusion problems and propose a new method derived by letting a stabilization parameter tend to infinity. Assuming an inf-sup condition, we prove its well-posedness and error estimates of optimal order. We show that the inf-sup condition is satisfied by some triangular elements. Numerical results are also provided to support our theoretical results.


title: WheelCon: A wheel control-based gaming platform for studying human sensorimotor control

abstract: Feedback control theory has been extensively implemented to theoretically model human sensorimotor control. However, experimental platforms capable of manipulating important components of multiple feedback loops lack development. This paper describes the WheelCon, which is an open source platform aimed at resolving such insufficiencies. WheelCon enables safely simulation of the canonical sensorimotor task such as riding a mountain bike down a steep, twisting, bumpy trail etc., with provided only a computer, standard display, and an inexpensive gaming steering wheel with a force feedback motor. The platform provides flexibility, as will be demonstrated in the demos provided, so that researchers may manipulate the disturbances, delay, and quantization (data rate) in the layered feedback loops, including a high-level advanced plan layer and a low-level delayed reflex layer. In this paper, we illustrate WheelCon's graphical user interface (GUI), the input and output of existing demos, and how to design new games. In addition, we present the basic feedback model, and we show the testing results from our demo games which align well with prediction from the model. In short, the platform is featured as cheap, simple to use, and flexible to program for effective sensorimotor neuroscience research and control engineering education.