title: On self-similar solutions of the vortex filament equation

abstract: We study self-similar solutions of the binormal curvature flow which governs the evolution of vortex filaments and is equivalent to the Landau-Lifshitz equation. The corresponding dynamics is described by the real solutions of $\sigma$-Painlev\'{e} IV equation with two real parameters. Connection formulae for Painlev\'{e} IV transcendents allow for a complete characterization of the asymptotic properties of the curvature and torsion of the filament. We also provide compact hypergeometric expressions for self-similar solutions corresponding to corner initial conditions.


title: Low discrepancy sequences failing Poissonian pair correlations

abstract: M. Levin defined a real number $x$ that satisfies that the sequence of the fractional parts of $(2^n x)_{n\geq 1}$ are such that the first $N$ terms have discrepancy $O((\log N)^2/ N)$, which is the smallest discrepancy known for this kind of parametric sequences. In this work we show that the fractional parts of the sequence $(2^n x)_{n\geq 1}$ fail to have Poissonian pair correlations. Moreover, we show that all the real numbers $x$ that are variants of Levin's number using Pascal triangle matrices are such that the fractional parts of the sequence $(2^n x)_{n\geq 1}$ fail to have Poissonian pair correlations.


title: The Bogomolov-Tian-Todorov Theorem Of Cyclic $A_\infty$-Algebras

abstract: Let $A$ be a finite-dimensional smooth unital cyclic $A_\infty$-algebra. Assume furthermore that $A$ satisfies the Hodge-to-de-Rham degeneration property. In this short note, we prove the non-commutative analogue of the Bogomolov-Tian-Todorov theorem: the deformation functor associated with the differential graded Lie algebra of Hochschild cochains of $A$ is smooth. Furthermore, the deformation functor associated with the DGLA of cyclic Hochschild cochains of $A$ is also smooth.


title: SleepEEGNet: Automated Sleep Stage Scoring with Sequence to Sequence Deep Learning Approach

abstract: Electroencephalogram (EEG) is a common base signal used to monitor brain activity and diagnose sleep disorders. Manual sleep stage scoring is a time-consuming task for sleep experts and is limited by inter-rater reliability. In this paper, we propose an automatic sleep stage annotation method called SleepEEGNet using a single-channel EEG signal. The SleepEEGNet is composed of deep convolutional neural networks (CNNs) to extract time-invariant features, frequency information, and a sequence to sequence model to capture the complex and long short-term context dependencies between sleep epochs and scores. In addition, to reduce the effect of the class imbalance problem presented in the available sleep datasets, we applied novel loss functions to have an equal misclassified error for each sleep stage while training the network. We evaluated the proposed method on different single-EEG channels (i.e., Fpz-Cz and Pz-Oz EEG channels) from the Physionet Sleep-EDF datasets published in 2013 and 2018. The evaluation results demonstrate that the proposed method achieved the best annotation performance compared to current literature, with an overall accuracy of 84.26%, a macro F1-score of 79.66% and Cohen's Kappa coefficient = 0.79. Our developed model is ready to test with more sleep EEG signals and aid the sleep specialists to arrive at an accurate diagnosis. The source code is available at https://github.com/SajadMo/SleepEEGNet.


title: Two-dimensional non-LTE \ion{O}{I} 777\,nm line formation in radiation hydrodynamics simulations of Cepheid atmospheres

abstract: Oxygen abundance measurements are important for understanding stellar structure and evolution. Measured in Cepheids, they further provide clues on the metallicity gradient and chemo-dynamical evolution in the Galaxy. However, most of the abundance analyses of Cepheids to date have been based on one-dimensional (1D) hydrostatic model atmospheres. Here, we test the validity of this approach for the key oxygen abundance diagnostic, the \ion{O}{I} $777\,\mathrm{nm}$~triplet lines. We carry out 2D non-LTE radiative transfer clculations across two different 2D radiation hydrodynamics simulations of Cepheid atmospheres, having stellar parameters of $T_\mathrm{eff}= 5600$ K, solar chemical compositions, and $\log\,g= 1.5$ and $2.0$, corresponding to pulsation periods of 9 and 3 days, respectively. We find that the 2D non-LTE versus 1D LTE abundance differences range from $-1.0$~dex to $-0.25$~dex depending on pulsational phase. The 2D non-LTE versus 1D non-LTE abundance differences range from $-0.2$~dex to $0.8$~dex. The abundance differences are smallest when the Cepheid atmospheres are closest to hydrostatic equilibrium, corresponding to phases of around $0.3$ to $0.8$, and we recommend these phases for observers deriving the oxygen abundance from \ion{O}{I} $777\,\mathrm{nm}$ triplet with 1D hydrostatic models.


title: Bounded Residual Gradient Networks (BReG-Net) for Facial Affect Computing

abstract: Residual-based neural networks have shown remarkable results in various visual recognition tasks including Facial Expression Recognition (FER). Despite the tremendous efforts have been made to improve the performance of FER systems using DNNs, existing methods are not generalizable enough for practical applications. This paper introduces Bounded Residual Gradient Networks (BReG-Net) for facial expression recognition, in which the shortcut connection between the input and the output of the ResNet module is replaced with a differentiable function with a bounded gradient. This configuration prevents the network from facing the vanishing or exploding gradient problem. We show that utilizing such non-linear units will result in shallower networks with better performance. Further, by using a weighted loss function which gives a higher priority to less represented categories, we can achieve an overall better recognition rate. The results of our experiments show that BReG-Nets outperform state-of-the-art methods on three publicly available facial databases in the wild, on both the categorical and dimensional models of affect.


title: Variation of Stable Birational Types of Hypersurfaces

abstract: We introduce and study the question how can stable birational types vary in a smooth proper family. Our starting point is the specialization for stable birational types of Nicaise and the author and our emphasis is on stable birational types of hypersurfaces. Building up on the work of Totaro and Schreieder on stable irrationality of hypersurfaces of high degree, we show that smooth Fano hypersurfaces of large degree over a field of characteristic zero are in general not stably birational to each other. In the appendix Claire Voisin proves a similar result in a different setting using the Chow decomposition of diagonal and unramified cohomology.


title: Planar Polynomials arising from Linearized polynomials

abstract: In this paper we construct planar polynomials of the type $f_{A,B}(x)=x(x^{q^2}+Ax^{q}+Bx)\in \mathbb{F}_{q^3}[x]$, with $A,B \in \mathbb{F}_{q}$. In particular we completely classify the pairs $(A,B)\in \mathbb{F}_{q}^2$ such that $f_{A,B}(x)$ is planar using connections with algebraic curves over finite fields.


title: Controlling magnetoresistance by oxygen impurities in Mq3-based molecular spin valves

abstract: The understanding of magnetoresistance (MR) in organic spin valves (OSVs) based on molecular semiconductors is still incomplete after its demonstration more than a decade ago. While carrier concentration may play an essential role in spin transport in these devices, direct experimental evidence of its importance is lacking. We probed the role of charge carrier concentration by studying the interplay between MR and multilevel resistive switching in OSVs. The present work demonstrates that all salient features of these devices, particularly the intimate correlation between MR and resistance, can be accounted for by the impurity band model, based on oxygen migration. Finally, we highlight the critical importance of carrier concentration in determining spin transport and MR in OSVs and the role of interface-mediated oxygen migration in controlling the OSVs response.


title: Uncertainty-Aware Imitation Learning using Kernelized Movement Primitives

abstract: During the past few years, probabilistic approaches to imitation learning have earned a relevant place in the literature. One of their most prominent features, in addition to extracting a mean trajectory from task demonstrations, is that they provide a variance estimation. The intuitive meaning of this variance, however, changes across different techniques, indicating either variability or uncertainty. In this paper we leverage kernelized movement primitives (KMP) to provide a new perspective on imitation learning by predicting variability, correlations and uncertainty about robot actions. This rich set of information is used in combination with optimal controller fusion to learn actions from data, with two main advantages: i) robots become safe when uncertain about their actions and ii) they are able to leverage partial demonstrations, given as elementary sub-tasks, to optimally perform a higher level, more complex task. We showcase our approach in a painting task, where a human user and a KUKA robot collaborate to paint a wooden board. The task is divided into two sub-tasks and we show that using our approach the robot becomes compliant (hence safe) outside the training regions and executes the two sub-tasks with optimal gains.


title: Arbitrary high order A-stable and B-convergent numerical methods for ODEs via deferred correction

abstract: This paper presents a sequence of deferred correction (DC) schemes built recursively from the implicit midpoint scheme for the numerical solution of general first order ordinary differential equations (ODEs). It is proven that each scheme is A-stable, satisfies a B-convergence property, and that the correction on a scheme DC(2j) of order 2j of accuracy leads to a scheme DC2j+2 of order 2j+2. The order of accuracy is guaranteed by a deferred correction condition. Numerical experiments with standard stiff and non-stiff ODEs are performed with the DC2, ..., DC10 schemes. The results show a high accuracy of the method. The theoretical orders of accuracy are achieved together with a satisfactory stability.


title: The Bell inequalities: identifying what is testable and what is not

abstract: The Bell inequalities in three and four correlations are re-derived in general forms showing that three and four data sets, respectively, identically satisfy them regardless of whether they are random, deterministic, measured, predicted, or some combination of these. The Bell inequality applicable to data is thus a purely mathematical result independent of experimental test. Correlations of simultaneously cross-correlated variable pairs do not in general all have the same form, and vary with the physical system considered and its experimental configuration. It is the form of correlations of associated data sets that may be tested, and not whether they satisfy the Bell inequality. In the case of pairs of spins or photons, a third measured or predicted value requires a different experimental setup or predictive computation than is used to obtain data from pairs alone. This is due to the quantum non-commutation of spin and photon measurements when there is more than one per particle of a pair. The Wigner inequality for probabilities, with different probabilities for different variable pairs, may be obtained from the four variable Bell inequality under a simple symmetry condition. Neither the probability or correlation inequality is violated by correlations computed from quantum probabilities based on non-commutation.


title: Random minibatch subgradient algorithms for convex problems with functional constraints

abstract: In this paper we consider non-smooth convex optimization problems with (possibly) infinite intersection of constraints. In contrast to the classical approach, where the constraints are usually represented as intersection of simple sets, which are easy to project onto, in this paper we consider that each constraint set is given as the level set of a convex but not necessarily differentiable function. For these settings we propose subgradient iterative algorithms with random minibatch feasibility updates. At each iteration, our algorithms take a step aimed at only minimizing the objective function and then a subsequent step minimizing the feasibility violation of the observed minibatch of constraints. The feasibility updates are performed based on either parallel or sequential random observations of several constraint components. We analyze the convergence behavior of the proposed algorithms for the case when the objective function is strongly convex and with bounded subgradients, while the functional constraints are endowed with a bounded first-order black-box oracle. For a diminishing stepsize, we prove sublinear convergence rates for the expected distances of the weighted averages of the iterates from the constraint set, as well as for the expected suboptimality of the function values along the weighted averages. Our convergence rates are known to be optimal for subgradient methods on this class of problems. Moreover, the rates depend explicitly on the minibatch size and show when minibatching helps a subgradient scheme with random feasibility updates.


title: Quasilinear Algorithm for Elastodynamic Boundary Integral Equation Method

abstract: We present a fast algorithm with small memory storage to compute the spatiotemporal boundary integral equation method (ST-BIEM) particularly for the elastodynamic problem. The time complexity of the spatiotemporal convolution and memory consumption to store the integral kernel and convolved variables are originally of $\mathcal O(N^2M)$ in ST-BIEM for a given number of discretized fault elements $N$ and time steps $M$. Such huge costs of ST-BIEM are reduced to be of $\mathcal O(N \log N)$ by our methods, called the fast domain partitioning hierarchical matrices (FDP=H-matrices). FDP=H-matrices are natural extensions of the fast domain partitioning method (FDPM) and the hierarchical matrices (H-matrices), combined with newly developed two algorithms. After developing new methods, we test the cost and accuracy of FDP=H-matrices both analytically and numerically.


title: Efficient self-resonance instability from axions

abstract: It was recently shown that a coherent oscillation of an axion can cause an efficient parametric resonance, leading to a prominent emission of the gravitational waves (GWs). In this paper, conducting the Floquet analysis, we investigate the parametric resonance instability, which potentially triggers the emission of the GWs from axions. Such a resonance instability takes place, when the time evolution of the background field significantly deviates from the harmonic oscillation. Therefore, the resonance instability cannot be described by the Mathieu equation, whose stability/instability chart is well known. In this paper, introducing an explicitly calculable parameter $\tilde{q}$, which can be used to classify different types of the parametric resonance described by the general Hill's equation, we investigate the stability/instability chart for the general Hill's equation. This can also apply to the case where the background oscillation is anharmonic. We show that the flapping resonance instability, which takes place for $\tilde{q}=O(1)$, typically leads to the most significant growth of the inhomogeneous modes among the self-resonance instability. We also investigate whether the flapping resonance takes place for the cosine potential or not.


title: Decoders Matter for Semantic Segmentation: Data-Dependent Decoding Enables Flexible Feature Aggregation

abstract: Recent semantic segmentation methods exploit encoder-decoder architectures to produce the desired pixel-wise segmentation prediction. The last layer of the decoders is typically a bilinear upsampling procedure to recover the final pixel-wise prediction. We empirically show that this oversimple and data-independent bilinear upsampling may lead to sub-optimal results. In this work, we propose a data-dependent upsampling (DUpsampling) to replace bilinear, which takes advantages of the redundancy in the label space of semantic segmentation and is able to recover the pixel-wise prediction from low-resolution outputs of CNNs. The main advantage of the new upsampling layer lies in that with a relatively lower-resolution feature map such as $\frac{1}{16}$ or $\frac{1}{32}$ of the input size, we can achieve even better segmentation accuracy, significantly reducing computation complexity. This is made possible by 1) the new upsampling layer's much improved reconstruction capability; and more importantly 2) the DUpsampling based decoder's flexibility in leveraging almost arbitrary combinations of the CNN encoders' features. Experiments demonstrate that our proposed decoder outperforms the state-of-the-art decoder, with only $\sim$20\% of computation. Finally, without any post-processing, the framework equipped with our proposed decoder achieves new state-of-the-art performance on two datasets: 88.1\% mIOU on PASCAL VOC with 30\% computation of the previously best model; and 52.5\% mIOU on PASCAL Context.


title: The Generalized Boltzmann Distribution is the Only Distribution in Which the Gibbs-Shannon Entropy Equals the Thermodynamic Entropy

abstract: We show that the generalized Boltzmann distribution is the only distribution for which the Gibbs-Shannon entropy equals the thermodynamic entropy. This result means that the thermodynamic entropy and the Gibbs-Shannon entropy are not generally equal, but rather than the equality holds only in the special case where a system is in equilibrium with a reservoir.


title: An Interactive LiDAR to Camera Calibration

abstract: Recent progress in the automated driving system (ADS) and advanced driver assistant system (ADAS) has shown that the combined use of 3D light detection and ranging (LiDAR) and the camera is essential for an intelligent vehicle to perceive and understand its surroundings. LiDAR-camera fusion requires precise intrinsic and extrinsic calibrations between the sensors. However, due to the limitation of the calibration equipment and susceptibility to noise, algorithms in existing methods tend to fail in finding LiDAR-camera correspondences in long-range. In this paper, we introduced an interactive LiDAR to camera calibration toolbox to estimate the intrinsic and extrinsic transforms. This toolbox automatically detects the corner of a planer board from a sequence of LiDAR frames and provides a convenient user interface for annotating the corresponding pixels on camera frames. Since the toolbox only detects the top corner of the board, there is no need to prepare a precise polygon planar board or a checkerboard with different reflectivity areas as in the existing methods. Furthermore, the toolbox uses genetic algorithms to estimate the transforms and supports multiple camera models such as the pinhole camera model and the fisheye camera model. Experiments using Velodyne VLP-16 LiDAR and Point Grey Chameleon 3 camera show robust results.


title: Phase Transition in the One-bit Johnson-Lindenstrauss Lemma

abstract: The Johnson-Lindenstrauss Lemma (J-L Lemma) is a cornerstone of dimension reduction techniques. We study it in the one-bit context, namely we consider the unit sphere $ \mathbb S ^{N-1}$, with normalized geodesic metric, and map a finite set $ \mathbf{X} \subset \mathbb{S}^{N-1}$ into the Hamming cube $\mathbb{H}_m = \{0,1\}^m$, with normalized Hamming metric. We find that for $ 0< \delta <1$, and $m>\frac{\ln n}{2\delta^2}$ there is a $\delta$-RIP from $\mathbf{X}$ into $\mathbb{H}_m$. This is surprising as the value of $ m$ is virtually identical to best known bound linear J-L Lemma. In both the linear and one-bit case, the maps are randomly constructed. We show that the probability of $B_m$ being a $\delta$-RIP satisfies a phase transition. It passes from probability of nearly zero to nearly one with a very small change in $m$. Our proof relies on delicate properties of Bernoulli random variables.


title: Experimenting in Equilibrium

abstract: Classical approaches to experimental design assume that intervening on one unit does not affect other units. There are many important settings, however, where this non-interference assumption does not hold, as when running experiments on supply-side incentives on a ride-sharing platform or subsidies in an energy marketplace. In this paper, we introduce a new approach to experimental design in large-scale stochastic systems with considerable cross-unit interference, under an assumption that the interference is structured enough that it can be captured via mean-field modeling. Our approach enables us to accurately estimate the effect of small changes to system parameters by combining unobstrusive randomization with lightweight modeling, all while remaining in equilibrium. We can then use these estimates to optimize the system by gradient descent. Concretely, we focus on the problem of a platform that seeks to optimize supply-side payments p in a centralized marketplace where different suppliers interact via their effects on the overall supply-demand equilibrium, and show that our approach enables the platform to optimize p in large systems using vanishingly small perturbations.


title: Signed Link Prediction with Sparse Data: The Role of Personality Information

abstract: Predicting signed links in social networks often faces the problem of signed link data sparsity, i.e., only a small percentage of signed links are given. The problem is exacerbated when the number of negative links is much smaller than that of positive links. Boosting signed link prediction necessitates additional information to compensate for data sparsity. According to psychology theories, one rich source of such information is user's personality such as optimism and pessimism that can help determine her propensity in establishing positive and negative links. In this study, we investigate how personality information can be obtained, and if personality information can help alleviate the data sparsity problem for signed link prediction. We propose a novel signed link prediction model that enables empirical exploration of user personality via social media data. We evaluate our proposed model on two datasets of real-world signed link networks. The results demonstrate the complementary role of personality information in the signed link prediction problem. Experimental results also indicate the effectiveness of different levels of personality information for signed link data sparsity problem.


title: Optimal Controlled Transports with Free End Times Subject to Import/Export Tariffs

abstract: We analyze controlled mass transportation plans with free end-time that minimize the transport cost induced by the generating function of a Lagrangian within a bounded domain, in addition to costs incurred as export and import tariffs at entry and exit points on the boundary. We exhibit a dual variational principle \`a la Kantorovich, that takes into consideration the additional tariffs. We then show that the primal optimal transport problem has an equivalent Eulerian formulation whose dual involves the resolution of a Hamilton-Jacobi-Bellman quasi-variational inequality with non-homogeneous boundary conditions. This allows us to prove existence and to describe the solutions for both the primal optimization problem and its Eulerian counterpart.


title: Compressed CSI Feedback With Learned Measurement Matrix for mmWave Massive MIMO

abstract: A major challenge to implement the compressed sensing method for channel state information (CSI) acquisition lies in the design of a well-performed measurement matrix to reduce the dimension of sparse channel vectors. The widely adopted randomized measurement matrices drawn from Gaussian or Bernoulli distribution are not optimal. To tackle this problem, we propose a fully data-driven approach to optimize the measurement matrix for beamspace channel compression, and this method trains a mathematically interpretable autoencoder constructed according to the iterative solution of sparse recovery. The obtained measurement matrix can achieve near perfect CSI recovery with fewer measurements, thus the feedback overhead can be substantially reduced.


title: Sequential motion planning in connected sums of real projective spaces

abstract: In this short note we observe that the higher topological complexity of an iterated connected sum of real projective spaces is maximal possible. Unlike the case of regular TC, the result is accessible through easy mod 2 zero-divisor cup-length considerations.


title: Graph-aware Modeling of Brain Connectivity Networks

abstract: Functional connections in the brain are frequently represented by weighted networks, with nodes representing locations in the brain, and edges representing the strength of connectivity between these locations. One challenge in analyzing such data is that inference at the individual edge level is not particularly biologically meaningful; interpretation is more useful at the level of so-called functional regions, or groups of nodes and connections between them; this is often called "graph-aware" inference in the neuroimaging literature. However, pooling over functional regions leads to significant loss of information and lower accuracy. Another challenge is correlation among edge weights within a subject, which makes inference based on independence assumptions unreliable. We address both these challenges with a linear mixed effects model, which accounts for functional regions and for edge dependence, while still modeling individual edge weights to avoid loss of information. The model allows for comparing two populations, such as patients and healthy controls, both at the functional regions level and at individual edge level, leading to biologically meaningful interpretations. We fit this model to a resting state fMRI data on schizophrenics and healthy controls, obtaining interpretable results consistent with the schizophrenia literature.


title: Evolutionary Cell Aided Design for Neural Network Architectures

abstract: Mathematical theory shows us that multilayer feedforward Artificial Neural Networks(ANNs) are universal function approximators, capable of approximating any measurable function to any desired degree of accuracy. In practice designing practical and efficient neural network architectures require significant effort and expertise. We present a novel software framework called Evolutionary Cell Aided Design(ECAD) meant to aid in the exploration and design of efficient Neural Network Architectures(NNAs) for reconfigurable hardware. Given a general neural network structure and a set of constraints and fitness functions, the framework will explore both the space of possible NNA and the space of possible hardware designs, using evolutionary algorithms, and attempt to find the fittest co-design solutions according to a predefined set of goals. We test the framework on an image classification task and use the MNIST data set of hand written digits with an Intel Arria 10 GX 1150 device as our target platform. We design and implement a modular and scalable 2D systolic array with enhancements for machine learning that can be used by the framework for the hardware search space. Our results demonstrate the ability to pair neural network design and hardware development together using an evolutionary algorithm and removing traditional human-in-the-loop development tasks. By running various experiments of the fittest solutions for neural network and hardware searches, we demonstrate the full end-to-end capabilities of the ECAD framework.


title: A Prediction Tournament Paradox

abstract: In a prediction tournament, contestants "forecast" by asserting a numerical probability for each of (say) 100 future real-world events. The scoring system is designed so that (regardless of the unknown true probabilities) more accurate forecasters will likely score better. This is true for one-on-one comparisons between contestants. But consider a realistic-size tournament with many contestants, with a range of accuracies. It may seem self-evident that the winner will likely be one of the most accurate forecasters. But, in the setting where the range extends to very accurate forecasters, simulations show this is mathematically false, within a somewhat plausible model. Even outside that setting the winner is less likely than intuition suggests to be one of the handful of best forecasters. Though implicit in recent technical papers, this paradox has apparently not been explicitly pointed out before, though is easily explained. It perhaps has implications for the ongoing IARPA-sponsored research programs involving forecasting.


title: Holographic superconductor from a non-commutative inspired anti-de Sitter-Einstein-Born-Infeld black hole

abstract: Using a noncommutative inspired anti-de Sitter-Einstein-Born-Infeld black hole with both non-commutative mass and charge distributions, we analyse a holographic superconductor in the context of the AdS/CFT correspondence. We show that the coupling of the Born-Infeld parameter and the noncommutative perturbations provides an enhancing mechanism for higher values of the expectation value of the condensate and that noncommutativity counter-balances nonlinearity of the electrodynamics to keep the ratio $\omega_g/T_c \approx 8$.


title: Age Progression and Regression with Spatial Attention Modules

abstract: Age progression and regression refers to aesthetically render-ing a given face image to present effects of face aging and rejuvenation, respectively. Although numerous studies have been conducted in this topic, there are two major problems: 1) multiple models are usually trained to simulate different age mappings, and 2) the photo-realism of generated face images is heavily influenced by the variation of training images in terms of pose, illumination, and background. To address these issues, in this paper, we propose a framework based on conditional Generative Adversarial Networks (cGANs) to achieve age progression and regression simultaneously. Particularly, since face aging and rejuvenation are largely different in terms of image translation patterns, we model these two processes using two separate generators, each dedicated to one age changing process. In addition, we exploit spatial attention mechanisms to limit image modifications to regions closely related to age changes, so that images with high visual fidelity could be synthesized for in-the-wild cases. Experiments on multiple datasets demonstrate the ability of our model in synthesizing lifelike face images at desired ages with personalized features well preserved, and keeping age-irrelevant regions unchanged.


title: Negative Training for Neural Dialogue Response Generation

abstract: Although deep learning models have brought tremendous advancements to the field of open-domain dialogue response generation, recent research results have revealed that the trained models have undesirable generation behaviors, such as malicious responses and generic (boring) responses. In this work, we propose a framework named "Negative Training" to minimize such behaviors. Given a trained model, the framework will first find generated samples that exhibit the undesirable behavior, and then use them to feed negative training signals for fine-tuning the model. Our experiments show that negative training can significantly reduce the hit rate of malicious responses, or discourage frequent responses and improve response diversity.


title: Massive Stellar Mergers as Precursors of Hydrogen-rich Pulsational Pair Instability Supernovae

abstract: Interactions between massive stars in binaries are thought to be responsible for much of the observed diversity of supernovae. As surveys probe rarer populations of events, we should expect to see supernovae arising from increasingly uncommon progenitor channels. Here we examine a scenario in which massive stars merge after they have both formed a hydrogen-exhausted core. We suggest this could produce stars which explode as pair-instability supernovae (PISNe) with significantly more hydrogen, at a given metallicity, than in single-star models with the same pre-explosion oxygen-rich core mass. We investigate the subset of those stellar mergers which later produce pulsational PISNe, and estimate that the rate of such post-merger, hydrogen-rich pulsational PISNe could approach a few in a thousand of all core-collapse supernovae. The nature and predicted rate of such hydrogen-rich pulsational PISNe are reminiscent of the very unusual supernova iPTF14hls. For plausible assumptions, PISNe from similar mergers might dominate the rate of PISNe in the local Universe.


title: Economic variable selection

abstract: Regression plays a key role in many research areas and its variable selection is a classic and major problem. This study emphasizes cost of predictors to be purchased for future use, when we select a subset of them. Its economic aspect is naturally formalized by the decision-theoretic approach. In addition, two Bayesian approaches are proposed to address uncertainty about model parameters and models: the restricted and extended approaches, which lead us to rethink about model averaging. From objective, rule-based, or robust Bayes point of view, the former is preferred. Proposed method is applied to three popular datasets for illustration.


abstract: The Large-Scale Pedestrian Retrieval Competition (LSPRC) mainly focuses on person retrieval which is an important end application in intelligent vision system of surveillance. Person retrieval aims at searching the interested target with specific visual attributes or images. The low image quality, various camera viewpoints, large pose variations and occlusions in real scenes make it a challenge problem. By providing large-scale surveillance data in real scene and standard evaluation methods that are closer to real application, the competition aims to improve the robust of related algorithms and further meet the complicated situations in real application. LSPRC includes two kinds of tasks, i.e., Attribute based Pedestrian Retrieval (PR-A) and Re-IDentification (ReID) based Pedestrian Retrieval (PR-ID). The normal evaluation index, i.e., mean Average Precision (mAP), is used to measure the performances of the two tasks under various scale, pose and occlusion. While the method of system evaluation is introduced to evaluate the person retrieval system in which the related algorithms of the two tasks are integrated into a large-scale video parsing platform (named ISEE) combing with algorithm of pedestrian detection.


title: Fluorescence temperature sensing based on thermally activated singlet-triplet intersystem crossing in crystalline anthracene

abstract: The temperature dependence of the steady-state fluorescence spectrum of anthracene crystals range from 300K to 500K had been investigated, which was in the temperature range of most tabletop laser-driven shock wave experiments. The interesting finding is that the fluorescence intensity of the 2-0 transition increases more rapidly than other transitions with the rising temperature. In particular, the transition intensity ratios {\gamma}n all shows a perfect exponential increasing curve, which can be used for fluorescence temperature sensing. The analysis of sensitivity {\eta} and random uncertainty {\Delta}T has demonstrated that the intensity ratio {\gamma}2 is the best comprehensive performance physical quantity for temperature sensing. The theoretical analysis and experimental results demonstrated that unusual intensity increasing of 2-0 transition was originated from the second excited triplet state T2, which was thermally coupled with the first excited singlet sate S1. In a word, we established a new fluorescence temperature sensing method based on the intensity ratio and clarified the mechanism of this method was the thermally activated singlet-triplet intersystem crossing.


title: Exploring Mixed Integer Programming Reformulations for Virtual Machine Placement with Disk Anti-Colocation Constraints

abstract: One of the important problems for datacenter resource management is to place virtual machines (VMs) to physical machines (PMs) such that certain cost, profit or performance objective is optimized, subject to various constraints. In this paper, we consider an interesting and difficult VM placement problem with disk anti-colocation constraints: a VM's virtual disks should be spread out across the physical disks of its assigned PM. For solutions, we use the mixed integer programming (MIP) formulations and algorithms. However, a challenge is the potentially long computation time of the MIP algorithms. In this paper, we explore how reformulation of the problem can help to reduce the computation time. We develop two reformulations, by redefining the variables, for our VM placement problem and evaluate the computation time of all three formulations. We show that they have vastly different computation time. All three formulations can be useful, but for different problem instances. They all should be kept in the toolbox for tackling the problem. Out of the three, formulation COMB is especially flexible and versatile, and it can solve large problem instances.


title: Why Learning of Large-Scale Neural Networks Behaves Like Convex Optimization

abstract: In this paper, we present some theoretical work to explain why simple gradient descent methods are so successful in solving non-convex optimization problems in learning large-scale neural networks (NN). After introducing a mathematical tool called canonical space, we have proved that the objective functions in learning NNs are convex in the canonical model space. We further elucidate that the gradients between the original NN model space and the canonical space are related by a pointwise linear transformation, which is represented by the so-called disparity matrix. Furthermore, we have proved that gradient descent methods surely converge to a global minimum of zero loss provided that the disparity matrices maintain full rank. If this full-rank condition holds, the learning of NNs behaves in the same way as normal convex optimization. At last, we have shown that the chance to have singular disparity matrices is extremely slim in large NNs. In particular, when over-parameterized NNs are randomly initialized, the gradient decent algorithms converge to a global minimum of zero loss in probability.


title: Cohomologies of a Lie algebra with a derivation and applications

abstract: The main object of study of this paper is the notion of a LieDer pair, i.e. a Lie algebra with a derivation. We introduce the concept of a representation of a LieDer pair and study the corresponding cohomologies. We show that a LieDer pair is rigid if the second cohomology group is trivial, and a deformation of order n is extensible if its obstruction class, which is defined to be an element is the third cohomology group, is trivial. We classify central extensions of LieDer pairs using the second cohomology group with the coefficient in the trivial representation. For a pair of derivations, we define its obstruction class and show that it is extensible if and only if the obstruction class is trivial. Finally, we classify Lie2Der pairs using the third cohomology group of a LieDer pair.


title: ARIS: Authentication for Real-Time IoT Systems

abstract: Efficient authentication is vital for IoT applications with stringent minimum-delay requirements (e.g., energy delivery systems). This requirement becomes even more crucial when the IoT devices are battery-powered, like small aerial drones, and the efficiency of authentication directly translates to more operation time. Although some fast authentication techniques have been proposed, some of them might not fully meet the needs of the emerging delay-aware IoT. In this paper, we propose a new signature scheme called ARIS that pushes the limits of the existing digital signatures, wherein commodity hardware can verify 83,333 signatures per second. ARIS also enables the fastest signature generation along with the lowest energy consumption and end-to-end delay among its counterparts. These significant computational advantages come with a larger storage requirement, which is a highly favorable trade-off for some critical delay-aware applications. These desirable features are achieved by harnessing message encoding with cover-free families and special elliptic curve based one-way function. We prove the security of ARIS under the hardness of the elliptic curve discrete logarithm problem in the random oracle model. We provide an open-sourced implementation of ARIS on commodity hardware and 8-bit AVR microcontroller for public testing and verification.


title: The global properties of the finiteness and continuity of the Lorentzian distance

abstract: It is well-known that global hyperbolicity implies that the Lorentzian distance is finite and continuous. By carefully analysing the causes of discontinuity of the Lorentzian distance, we show that in most other respects the finiteness and continuity of the Lorentzian distance is independent of the causal structure. The proof of these results relies on the properties of a class of generalised time functions introduced by the authors in \cite{RennieWhale2016}.


title: FIESTA: Fast Incremental Euclidean Distance Fields for Online Motion Planning of Aerial Robots

abstract: Euclidean Signed Distance Field (ESDF) is useful for online motion planning of aerial robots since it can easily query the distance and gradient information against obstacles. Fast incrementally built ESDF map is the bottleneck for conducting real-time motion planning. In this paper, we investigate this problem and propose a mapping system called FIESTA to build global ESDF map incrementally. By introducing two independent updating queues for inserting and deleting obstacles separately, and using Indexing Data Structures and Doubly Linked Lists for map maintenance, our algorithm updates as few as possible nodes using a BFS framework. Our ESDF map has high computational performance and produces near-optimal results. We show our method outperforms other up-to-date methods in term of performance and accuracy by both theory and experiments. We integrate FIESTA into a completed quadrotor system and validate it by both simulation and onboard experiments. We release our method as open-source software for the community.


title: Experimentally testing quantum critical dynamics beyond the Kibble-Zurek mechanism

abstract: We experimentally probe the distribution of kink pairs resulting from driving a one-dimensional quantum Ising chain through the paramagnet-ferromagnet quantum phase transition, using a single trapped ion as a quantum simulator in momentum space. The number of kink pairs after the transition follows a Poisson binomial distribution, in which all cumulants scale with a universal power-law as a function of the quench time in which the transition is crossed. We experimentally verified this scaling for the first cumulants and report deviations due to noise-induced dephasing of the trapped ion. Our results establish that the universal character of the critical dynamics can be extended beyond the paradigmatic Kibble-Zurek mechanism, which accounts for the mean kink number, to characterize the full probability distribution of topological defects.


title: Steerability detection of arbitrary 2-qubit state via machine learning

abstract: Quantum steering is an important nonclassical resource for quantum information processing. However, even lots of steering criteria exist, it is still very difficult to efficiently determine whether an arbitrary two-qubit state shared by Alice and Bob is steerable or not, because the optimal measurement directions of Alice are unknown. In this work, we provide an efficient quantum steering detection scheme for arbitrary 2-qubit states with the help of machine learning, where Alice and Bob only need to measure in a few fixed measurement directions. In order to prove the validity of this method, we firstly realize a high performance quantum steering classifier with the whole information. Furthermore, a high performance quantum steering classifier with partial information is realized, where Alice and Bob only need to measure in three fixed measurement directions. Our method outperforms the existing methods in generic cases in terms of both speed and accuracy, opening up the avenues to explore quantum steering via the machine learning approach.


title: NeuroPath2Path: Classification and elastic morphing between neuronal arbors using path-wise similarity

abstract: The shape and connectivity of a neuron determine its function. Modern imaging methods have proven successful at extracting such information. However, in order to analyze this type of data, neuronal morphology needs to be encoded in a graph-theoretic method. This encoding enables the use of high throughput informatic methods to extract and infer brain function. The application of graph-theoretic methods to neuronal morphological representation comes with certain difficulties. Here we report a novel, effective method to accomplish this task. The morphology of a neuron, which consists of its overall size, global shape, local branch patterns, and cell-specific biophysical properties, can vary significantly with the cell's identity, location, as well as developmental and physiological state. Various algorithms have been developed to customize shape based statistical and graph related features for quantitative analysis of neuromorphology, followed by the classification of neuron cell types using the features. Unlike the classical feature extraction based methods from imaged or 3D reconstructed neurons, we propose a model based on the rooted path decomposition from the soma to the dendrites of a neuron and extract morphological features on each path. We hypothesize that measuring the distance between two neurons can be realized by minimizing the cost of continuously morphing the set of all rooted paths of one neuron to another. To validate this claim, we first establish the correspondence of paths between two neurons using a modified Munkres algorithm. Next, an elastic deformation framework that employs the square root velocity function is established to perform the continuous morphing, which, in addition, provides an effective visualization tool. We experimentally show the efficacy of NeuroPath2Path, NeuroP2P, over the state of the art.


title: Image Dependent Conditional McKean-Vlasov SDEs for Measure-Valued Diffusion Processes

abstract: We consider a special class of mean field SDEs with common noise which depend on the image of the solution (i.e. the conditional distribution given noise). The strong well-posedness is derived under a monotone condition which is weaker than those used in the literature of mean field games, the Feynman-Kac formula is established to solve Schr\"ordinegr type PDEs on $\scr P_2$, and the ergodicity is proved for a class of measure-valued diffusion processes.


title: Coupled CycleGAN: Unsupervised Hashing Network for Cross-Modal Retrieval

abstract: In recent years, hashing has attracted more and more attention owing to its superior capacity of low storage cost and high query efficiency in large-scale cross-modal retrieval. Benefiting from deep leaning, continuously compelling results in cross-modal retrieval community have been achieved. However, existing deep cross-modal hashing methods either rely on amounts of labeled information or have no ability to learn an accuracy correlation between different modalities. In this paper, we proposed Unsupervised coupled Cycle generative adversarial Hashing networks (UCH), for cross-modal retrieval, where outer-cycle network is used to learn powerful common representation, and inner-cycle network is explained to generate reliable hash codes. Specifically, our proposed UCH seamlessly couples these two networks with generative adversarial mechanism, which can be optimized simultaneously to learn representation and hash codes. Extensive experiments on three popular benchmark datasets show that the proposed UCH outperforms the state-of-the-art unsupervised cross-modal hashing methods.


title: Dimension Engineering of Single-Layer PtN$_2$ with the Cairo Tessellation

abstract: Single-layer PtN$_2$ exhibits an intriguing structure consisting of a tessellation pattern called the Cairo tessellation of type 2 pentagons, which belong to one of the existing 15 types of convex pentagons discovered so far that can monohedrally tile a plane. Single-layer PtN$_2$ has also been predicted to show semiconducting behavior with direct band gaps. Full exploration of the structure-property relationship awaits the successful exfoliation or synthesis of this novel single-layer material, which depends on the structure of its bulk counterpart with the same stoichiometry to some extent. Bulk PtN$_2$ with the pyrite structure is commonly regarded as the most stable structure in the literature. But comparing the energies of single-layer PtN$_2$ and bulk PtN$_2$ leads to a dilemma that a single-layer material is more stable than its bulk counterpart. To solve this dilemma, we propose stacking single-layer PtN$_2$ sheets infinitely to form a new bulk structure of PtN$_2$. The resulting tetrahedral layered structure is energetically more stable than the pyrite structure and single-layer PtN$_2$. We also find that the predicted bulk structure is metallic, in contrast to the semiconducting pyrite structure. In addition to predicting the 3D structure, we explore the possibility of rolling single-layer PtN$_2$ sheets into nanotubes. The required energies are comparable to those needed to form carbon or boron nitride nanotubes from their single-layer sheets, implying the feasibility of obtaining PtN$_2$ nanotubes. We finally study the electronic structures of PtN$_2$ nanotubes and find that the band gaps of PtN$_2$ nanotubes are tunable by changing the number of unit cells $N$ of single-layer PtN$_2$ used to construct the nanotubes. Our work shows that dimension engineering of PtN$_2$ not only leads to a more stable 3D structure but also 1D materials with novel properties.


title: Measurement of motion beyond the quantum limit by transient amplification

abstract: Through simultaneous but unequal electromechanical amplification and cooling processes, we create a method for nearly noiseless pulsed measurement of mechanical motion. We use transient electromechanical amplification (TEA) to monitor a single motional quadrature with a total added noise $-8.5\pm2.0$ dB relative to the zero-point motion of the oscillator, or equivalently the quantum limit for simultaneous measurement of both mechanical quadratures. We demonstrate that TEA can be used to resolve fine structure in the phase-space of a mechanical oscillator by tomographically reconstructing the density matrix of a squeezed state of motion. Without any inference or subtraction of noise, we directly observe a squeezed variance $2.8\pm 0.3$ dB below the oscillator's zero-point motion.


title: Safeguarded Dynamic Label Regression for Generalized Noisy Supervision

abstract: Learning with noisy labels, which aims to reduce expensive labors on accurate annotations, has become imperative in the Big Data era. Previous noise transition based method has achieved promising results and presented a theoretical guarantee on performance in the case of class-conditional noise. However, this type of approaches critically depend on an accurate pre-estimation of the noise transition, which is usually impractical. Subsequent improvement adapts the pre-estimation along with the training progress via a Softmax layer. However, the parameters in the Softmax layer are highly tweaked for the fragile performance due to the ill-posed stochastic approximation. To address these issues, we propose a Latent Class-Conditional Noise model (LCCN) that naturally embeds the noise transition under a Bayesian framework. By projecting the noise transition into a Dirichlet-distributed space, the learning is constrained on a simplex based on the whole dataset, instead of some ad-hoc parametric space. We then deduce a dynamic label regression method for LCCN to iteratively infer the latent labels, to stochastically train the classifier and to model the noise. Our approach safeguards the bounded update of the noise transition, which avoids previous arbitrarily tuning via a batch of samples. We further generalize LCCN for open-set noisy labels and the semi-supervised setting. We perform extensive experiments with the controllable noise data sets, CIFAR-10 and CIFAR-100, and the agnostic noise data sets, Clothing1M and WebVision17. The experimental results have demonstrated that the proposed model outperforms several state-of-the-art methods.


title: PBBFMM3D: a parallel black-box algorithm for kernel matrix-vector multiplication

abstract: Kernel matrix-vector product is ubiquitous in many science and engineering applications. However, a naive method requires $O(N^2)$ operations, which becomes prohibitive for large-scale problems. We introduce a parallel method that provably requires $O(N)$ operations to reduce the computation cost. The distinct feature of our method is that it requires only the ability to evaluate the kernel function, offering a black-box interface to users. Our parallel approach targets multi-core shared-memory machines and is implemented using OpenMP. Numerical results demonstrate up to $19\times$ speedup on 32 cores. We also present a real-world application in geostatistics, where our parallel method was used to deliver fast principle component analysis of covariance matrices.


title: A Priori Estimates of the Population Risk for Residual Networks

abstract: Optimal a priori estimates are derived for the population risk, also known as the generalization error, of a regularized residual network model. An important part of the regularized model is the usage of a new path norm, called the weighted path norm, as the regularization term. The weighted path norm treats the skip connections and the nonlinearities differently so that paths with more nonlinearities are regularized by larger weights. The error estimates are a priori in the sense that the estimates depend only on the target function, not on the parameters obtained in the training process. The estimates are optimal, in a high dimensional setting, in the sense that both the bound for the approximation and estimation errors are comparable to the Monte Carlo error rates. A crucial step in the proof is to establish an optimal bound for the Rademacher complexity of the residual networks. Comparisons are made with existing norm-based generalization error bounds.


title: Semantic Adversarial Network with Multi-scale Pyramid Attention for Video Classification

abstract: Two-stream architecture have shown strong performance in video classification task. The key idea is to learn spatio-temporal features by fusing convolutional networks spatially and temporally. However, there are some problems within such architecture. First, it relies on optical flow to model temporal information, which are often expensive to compute and store. Second, it has limited ability to capture details and local context information for video data. Third, it lacks explicit semantic guidance that greatly decrease the classification performance. In this paper, we proposed a new two-stream based deep framework for video classification to discover spatial and temporal information only from RGB frames, moreover, the multi-scale pyramid attention (MPA) layer and the semantic adversarial learning (SAL) module is introduced and integrated in our framework. The MPA enables the network capturing global and local feature to generate a comprehensive representation for video, and the SAL can make this representation gradually approximate to the real video semantics in an adversarial manner. Experimental results on two public benchmarks demonstrate our proposed methods achieves state-of-the-art results on standard video datasets.


title: Persona-Aware Tips Generation

abstract: Tips, as a compacted and concise form of reviews, were paid less attention by researchers. In this paper, we investigate the task of tips generation by considering the `persona' information which captures the intrinsic language style of the users or the different characteristics of the product items. In order to exploit the persona information, we propose a framework based on adversarial variational auto-encoders (aVAE) for persona modeling from the historical tips and reviews of users and items. The latent variables from aVAE are regarded as persona embeddings. Besides representing persona using the latent embeddings, we design a persona memory for storing the persona related words for users and items. Pointer Network is used to retrieve persona wordings from the memory when generating tips. Moreover, the persona embeddings are used as latent factors by a rating prediction component to predict the sentiment of a user over an item. Finally, the persona embeddings and the sentiment information are incorporated into a recurrent neural networks based tips generation component. Extensive experimental results are reported and discussed to elaborate the peculiarities of our framework.


title: Tailoring excitonic states of van der Waals bilayers through stacking configuration, band alignment and valley-spin

abstract: Excitons in monolayer semiconductors have large optical transition dipole for strong coupling with light field. Interlayer excitons in heterobilayers, with layer separation of electron and hole components, feature large electric dipole that enables strong coupling with electric field and exciton-exciton interaction, at the cost that the optical dipole is substantially quenched (by several orders of magnitude). In this letter, we demonstrate the ability to create a new class of excitons in transition metal dichalcogenide (TMD) hetero- and homo-bilayers that combines the advantages of monolayer- and interlayer-excitons, i.e. featuring both large optical dipole and large electric dipole. These excitons consist of an electron that is well confined in an individual layer, and a hole that is well extended in both layers, realized here through the carrier-species specific layer-hybridization controlled through the interplay of rotational, translational, band offset, and valley-spin degrees of freedom. We observe different species of such layer-hybridized valley excitons in different heterobilayer and homobilayer systems, which can be utilized for realizing strongly interacting excitonic/polaritonic gases, as well as optical quantum coherent controls of bidirectional interlayer carrier transfer either with upper conversion or down conversion in energy.


title: A Bayesian Approach to Triaxial Strain Tomography from High-energy X-ray Diffraction

abstract: Diffraction of high-energy X-rays produced at synchrotron sources can provide rapid strain measurements, with high spatial resolution, and good penetrating power. With an uncollimated diffracted beam, through thickness averages of strain can be measured using this technique, which poses an associated rich tomography problem. This paper proposes a Gaussian process (GP) model for three-dimensional strain fields satisfying static equilibrium and an accompanying algorithm for tomographic reconstruction of strain fields from high-energy X-ray diffraction. We present numerical evidence that this method can achieve triaxial strain tomography in three-dimensions using only a single axis of rotation. The method builds upon recent work where the GP approach was used to reconstruct two-dimensional strain fields from neutron based measurements. A demonstration is provided from simulated data, showing the method is capable of rejecting realistic levels of Gaussian noise.


title: Track length measurement of $^{19}$F$^+$ ions with the MIMAC Dark Matter directional detector prototype

abstract: Weakly Interacting Massive Particles (WIMPs) are one of the most preferred candidate for Dark Matter. WIMPs should interact with the nuclei of detectors. If a robust signal is eventually observed in direct detection experiments, the best signature to confirm its Galactic origin would be the nuclear recoil track direction. The MIMAC collaboration has developed a low pressure gas detector providing both the kinetic energy and three-dimensional track reconstruction of nuclear recoils. In this paper we report the first ever observations of $^{19}$F nuclei tracks in a $5$ cm drift prototype MIMAC detector, in the low kinetic energy range ($6$-$26$ keV), using specially developed ion beam facilities. We have measured the recoil track lengths and found significant differences between our measurements and standard simulations. In order to understand these differences, we have performed a series of complementary experiments and simulations to study the impact of the diffusion and eventual systematics. We show an unexpected dependence of the number of read-out corresponding to the track on the electric field applied to the $512\ \mathrm{\mu m}$ gap of the Micromegas detector. We have introduced, based on the flash-ADC observable, corrections in order to reconstruct the physical 3D track length of the primary electron clouds proposing the physics behind these corrections. We show that diffusion and space charge effects need to be taken into account to explain the differences between measurements and standard simulations. These measurements and simulations may shed a new light on the high-gain TPC ionization signals in general and particularly at low energy.


title: Regularization of the restricted $(n+1)$-body problem on curved spaces

abstract: We consider $(n+1)$ bodies moving under their mutual gravitational attraction in spaces with constant Gaussian curvature $\kappa$. In this system, $n$ primary bodies with equal masses form a relative equilibrium solution with a regular polygon configuration, and the remaining body of negligible mass does not affect the motion of the others. We show that the singularity due to binary collision between the negligible mass and the primaries can be regularized local and globally through suitable changes of coordinates (Levi-Civita and Birkhoff type transformations).


title: An Efficient Algorithm for Enumerating Chordal Bipartite Induced Subgraphs in Sparse Graphs

abstract: In this paper, we propose a characterization of chordal bipartite graphs and an efficient enumeration algorithm for chordal bipartite induced subgraphs. A chordal bipartite graph is a bipartite graph without induced cycles with length six or more. It is known that the incident graph of a hypergraph is chordal bipartite graph if and only if the hypergraph is $\beta$-acyclic. As the main result of our paper, we show that a graph $G$ is chordal bipartite if and only if there is a special vertex elimination ordering for $G$, called CBEO. Moreover, we propose an algorithm ECB which enumerates all chordal bipartite induced subgraphs in $O(kt\Delta^2)$ time per solution on average, where $k$ is the degeneracy, $t$ is the maximum size of $K_{t,t}$ as an induced subgraph, and $\Delta$ is the degree. ECB achieves constant amortized time enumeration for bounded degree graphs.


title: Robust fault tolerance for continuous-variable cluster states with excess anti-squeezing

abstract: The immense scalability of continuous-variable cluster states motivates their study as a platform for quantum computing, with fault tolerance possible given sufficient squeezing and appropriately encoded qubits [Menicucci, PRL 112, 120504 (2014)]. Here, we expand the scope of that result by showing that additional anti-squeezing has no effect on the fault-tolerance threshold, removing the purity requirement for experimental continuous-variable cluster-state quantum computing. We emphasize that the appropriate experimental target for fault-tolerant applications is to directly measure 15-17 dB of squeezing in the cluster state rather than the more conservative upper bound of 20.5 dB.


title: SNU_IDS at SemEval-2019 Task 3: Addressing Training-Test Class Distribution Mismatch in Conversational Classification

abstract: We present several techniques to tackle the mismatch in class distributions between training and test data in the Contextual Emotion Detection task of SemEval 2019, by extending the existing methods for class imbalance problem. Reducing the distance between the distribution of prediction and ground truth, they consistently show positive effects on the performance. Also we propose a novel neural architecture which utilizes representation of overall context as well as of each utterance. The combination of the methods and the models achieved micro F1 score of about 0.766 on the final evaluation.


title: Semi-Supervised Few-Shot Learning with Prototypical Random Walks

abstract: Recent progress has shown that few-shot learning can be improved with access to unlabelled data, known as semi-supervised few-shot learning(SS-FSL). We introduce an SS-FSL approach, dubbed as Prototypical Random Walk Networks(PRWN), built on top of Prototypical Networks (PN). We develop a random walk semi-supervised loss that enables the network to learn representations that are compact and well-separated. Our work is related to the very recent development of graph-based approaches for few-shot learning. However, we show that compact and well-separated class representations can be achieved by modeling our prototypical random walk notion without needing additional graph-NN parameters or requiring a transductive setting where a collective test set is provided. Our model outperforms baselines in most benchmarks with significant improvements in some cases. Our model, trained with 40$\%$ of the data as labeled, compares competitively against fully supervised prototypical networks, trained on 100$\%$ of the labels, even outperforming it in the 1-shot mini-Imagenet case with 50.89$\%$ to 49.4$\%$ accuracy. We also show that our loss is resistant to distractors, unlabeled data that does not belong to any of the training classes, and hence reflecting robustness to labeled/unlabeled class distribution mismatch. Associated GitHub page can be found at https://prototypical-random-walk.github.io.


title: Camera Obscurer: Generative Art for Design Inspiration

abstract: We investigate using generated decorative art as a source of inspiration for design tasks. Using a visual similarity search for image retrieval, the \emph{Camera Obscurer} app enables rapid searching of tens of thousands of generated abstract images of various types. The seed for a visual similarity search is a given image, and the retrieved generated images share some visual similarity with the seed. Implemented in a hand-held device, the app empowers users to use photos of their surroundings to search through the archive of generated images and other image archives. Being abstract in nature, the retrieved images supplement the seed image rather than replace it, providing different visual stimuli including shapes, colours, textures and juxtapositions, in addition to affording their own interpretations. This approach can therefore be used to provide inspiration for a design task, with the abstract images suggesting new ideas that might give direction to a graphic design project. We describe a crowdsourcing experiment with the app to estimate user confidence in retrieved images, and we describe a pilot study where Camera Obscurer provided inspiration for a design task. These experiments have enabled us to describe future improvements, and to begin to understand sources of visual inspiration for design tasks.


title: Autonomy, Authenticity, Authorship and Intention in computer generated art

abstract: This paper examines five key questions surrounding computer generated art. Driven by the recent public auction of a work of `AI Art' we selectively summarise many decades of research and commentary around topics of autonomy, authenticity, authorship and intention in computer generated art, and use this research to answer contemporary questions often asked about art made by computers that concern these topics. We additionally reflect on whether current techniques in deep learning and Generative Adversarial Networks significantly change the answers provided by many decades of prior research.


title: Efficient Multi-Objective Optimization through Population-based Parallel Surrogate Search

abstract: Multi-Objective Optimization (MOO) is very difficult for expensive functions because most current MOO methods rely on a large number of function evaluations to get an accurate solution. We address this problem with surrogate approximation and parallel computation. We develop an MOO algorithm MOPLS-N for expensive functions that combines iteratively updated surrogate approximations of the objective functions with a structure for efficiently selecting a population of $N$ points so that the expensive objectives for all points are simultaneously evaluated on $N$ processors in each iteration. MOPLS incorporates Radial Basis Function (RBF) approximation, Tabu Search and local candidate search around multiple points to strike a balance between exploration, exploitation and diversification during each algorithm iteration. Eleven test problems (with 8 to 24 decision variables and two real-world watershed problems are used to compare performance of MOPLS to ParEGO, GOMORS, Borg, MOEA/D, and NSGA-III on a limited budget of evaluations with between 1 (serial) and 64 processors. MOPLS in serial is better than all non-RBF serial methods tested. Parallel speedup of MOPLS is higher than all other parallel algorithms with 16 and 64 processors. With both algorithms on 64 processors MOPLS is at least 2 times faster than NSGA-III on the watershed problems.


title: Unbounded convergence in Banach lattices and applications

abstract: Several recent papers investigated unbounded convergences in Banach lattices. Combine all unbounded convergences, including unbounded order (norm, absolute weak, absolute weak*) convergence, we characterize L-weakly compact sets, L-weakly compact operators and M-weakly compact operators on Banach lattices. Some related results are obtained as well.


title: Factorial Flagged Grothendieck Polynomials

abstract: We show that the factorial flagged Grothendieck polynomials defined by flagged set-valued tableaux of Knutson-Miller-Yong can be expressed by a Jacobi-Trudi type determinant formula, generalizing the work of Hudson-Matsumura. In particular, we obtain an alternative proof of the tableau and determinant formulas of vexillary double Grothendieck polynomials, that have been obtained by Knutson-Miller-Yong and Hudson-Matsumura respectively. Moreover, we show that each factorial flagged Grothendieck polynomial can be obtained from a product of linear polynomials by applying K-theoretic divided difference operators.


title: Chemical Potential of Integer Electron Systems

abstract: A truly isolated atom always has an integer number of electrons. If placed in contact with a far-away metallic reservoir, a {\em range} of metallic chemical potentials $\mu$ will lead to an identical number of electrons, $N$, on the atom. We formulate a density embedding method in which the range of $\mu$ leading to integer $N$ decreases due to finite-distance interactions between the metal and the atom. The typical $N(\mu)$ staircase function is smoothed out due to these finite-distance interactions, resembling finite-temperature effects. Fractional occupations on the atom occur only for sharply-defined $\mu$'s. We illustrate the new method with the simplest model system designed to mimic an atom near a metal surface. Because calculating fractional charges is important in various fields, from electrolysis to catalysis, solar cells and organic electronics, we anticipate several potential uses of the proposed approach.


title: Exploring Bell inequalities for the device-independent certification of multipartite entanglement depth

abstract: Techniques developed for device-independent characterizations allow one to certify certain physical properties of quantum systems without assuming any knowledge of their internal workings. Such a certification, however, often relies on the employment of device-independent witnesses catered for the particular property of interest. In this work, we consider a one-parameter family of multipartite, two-setting, two-outcome Bell inequalities and demonstrate the extent to which they are suited for the device-independent certification of genuine many-body entanglement (and hence the entanglement depth) present in certain well-known multipartite quantum states, including the generalized Greenberger-Horne-Zeilinger (GHZ) states with unbalanced weights, the higher-dimensional generalizations of balanced GHZ states, and the $W$ states. As a by-product of our investigations, we have found that, in contrast with well-established results, provided trivial qubit measurements are allowed, full-correlation Bell inequalities can also be used to demonstrate the nonlocality of weakly entangled unbalanced-weight GHZ states. Besides, we also demonstrate how two-setting, two-outcome Bell inequalities can be constructed, based on the so-called GHZ paradox, to witness the entanglement depth of various graph states, including the ring graph states, the fully connected graph states, and some linear graph states, etc.


abstract: This volume represents the accepted submissions from the AAAI-2019 Workshop on Games and Simulations for Artificial Intelligence held on January 29, 2019 in Honolulu, Hawaii, USA. https://www.gamesim.ai


title: Representative Task Self-selection for Flexible Clustered Lifelong Learning

abstract: Consider the lifelong machine learning paradigm whose objective is to learn a sequence of tasks depending on previous experiences, e.g., knowledge library or deep network weights. However, the knowledge libraries or deep networks for most recent lifelong learning models are with prescribed size, and can degenerate the performance for both learned tasks and coming ones when facing with a new task environment (cluster). To address this challenge, we propose a novel incremental clustered lifelong learning framework with two knowledge libraries: feature learning library and model knowledge library, called Flexible Clustered Lifelong Learning (FCL3). Specifically, the feature learning library modeled by an autoencoder architecture maintains a set of representation common across all the observed tasks, and the model knowledge library can be self-selected by identifying and adding new representative models (clusters). When a new task arrives, our proposed FCL3model firstly transfers knowledge from these libraries to encode the new task, i.e.,effectively and selectively soft-assigning this new task to multiple representative models over feature learning library. Then, 1) the new task with a higher outlier probability will be judged as a new representative, and used to redefine both feature learning library and representative models over time; or 2) the new task with lower outlier probability will only refine the feature learning library. For model optimization, we cast this lifelong learning problem as an alternating direction minimization problem as a new task comes. Finally, we evaluate the proposed framework by analyzing several multi-task datasets, and the experimental results demonstrate that our FCL3 model can achieve better performance than most lifelong learning frameworks, even batch clustered multi-task learning models.


title: Graph Neural Networks for User Identity Linkage

abstract: The increasing popularity and diversity of social media sites has encouraged more and more people to participate in multiple online social networks to enjoy their services. Each user may create a user identity to represent his or her unique public figure in every social network. User identity linkage across online social networks is an emerging task and has attracted increasing attention, which could potentially impact various domains such as recommendations and link predictions. The majority of existing work focuses on mining network proximity or user profile data for discovering user identity linkages. With the recent advancements in graph neural networks (GNNs), it provides great potential to advance user identity linkage since users are connected in social graphs, and learning latent factors of users and items is the key. However, predicting user identity linkages based on GNNs faces challenges. For example, the user social graphs encode both \textit{local} structure such as users' neighborhood signals, and \textit{global} structure with community properties. To address these challenges simultaneously, in this paper, we present a novel graph neural network framework ({\m}) for user identity linkage. In particular, we provide a principled approach to jointly capture local and global information in the user-user social graph and propose the framework {\m}, which jointly learning user representations for user identity linkage. Extensive experiments on real-world datasets demonstrate the effectiveness of the proposed framework.


title: Materials development by interpretable machine learning

abstract: Machine learning technologies are expected to be great tools for scientific discoveries. In particular, materials development (which has brought a lot of innovation by finding new and better functional materials) is one of the most attractive scientific fields. To apply machine learning to actual materials development, collaboration between scientists and machine learning is becoming inevitable. However, such collaboration has been restricted so far due to black box machine learning, in which it is difficult for scientists to interpret the data-driven model from the viewpoint of material science and physics. Here, we show a material development success story that was achieved by good collaboration between scientists and one type of interpretable (explainable) machine learning called factorized asymptotic Bayesian inference hierarchical mixture of experts (FAB/HMEs). Based on material science and physics, we interpreted the data-driven model constructed by the FAB/HMEs, so that we discovered surprising correlation and knowledge about thermoelectric material. Guided by this, we carried out actual material synthesis that led to identification of a novel spin-driven thermoelectric material with the largest thermopower to date.


title: Satellite quantum communications when man-in-the-middle attacks are excluded

abstract: An application of quantum communications is the transmission of qubits to create shared symmetric encryption keys in a process called Quantum Key Distribution (QKD). Contrary to public-private key encryption, symmetric encryption is safe from (quantum) computing attacks, i.e. it provides forward security and is thus attractive for secure communications. In this paper we argue that for free-space quantum communications, especially with satellites, if one assumes that man-in-the-middle attacks can be detected by classical channel monitoring techniques, simplified quantum communications protocols and hardware systems can be implemented that offer improved key rates. We term these protocols photon key distribution (PKD) to differentiate them from the standard QKD protocols. We identify three types of photon sources and calculate asymptotic secret key rates for PKD protocols and compare them to their QKD counterparts. Results show that PKD protocols have roughly a factor of two higher rates as only one measurement basis is used and due to the relaxed security assumptions can establish keys at very high losses whereas in QKD the privacy amplification process becomes prohibitive.


title: Canonical Relativized Cylindric Set Algebras and Weak Associativity

abstract: Canonical relativized cylindric set algebras are used to sharpen the relative representation theorem for weakly associative relation algebras, that every complete atomic weakly associative relation algebra is isomorphic with the relativization of a set relation algebra to a symmetric and reflexive binary relation, by insuring that the atoms of the set relation algebra and its relativization are orbits of single sequences under a group of permutations of the underlying set. This sharpening of the relative representation theorem was first proved for the Resek-Thompson Theorem in 1989.


title: Anomalous Drag in Double Bilayer Graphene Quantum-Hall Superfluids

abstract: Semiconductor double-layers in the quantum Hall regime tend to have superfluid exciton condensate ground states when the total filling factor is an odd integer, provided that the Landau orbitals at the Fermi level in the two layers have the same orbital character. Since the $N=0$ Landau level of bilayer graphene contains states with both $n=0$ and $n=1$ orbital character, the physics of double bilayers falls outside previously studied cases. We show that the superfluid phase stiffness vanishes in double bilayer graphene when $n=0$ and $n=1$ orbitals states are degenerate in one of the layers, even though the gap for charged excitations remain large, and speculate that this property is behind the recent discovery of strong anomalous drag near a $n=0/1$ degeneracy point.


title: Local law and Tracy--Widom limit for sparse stochastic block models

abstract: We consider the spectral properties of sparse stochastic block models, where $N$ vertices are partitioned into $K$ balanced communities. Under an assumption that the intra-community probability and inter-community probability are of similar order, we prove a local semicircle law up to the spectral edges, with an explicit formula on the deterministic shift of the spectral edge. We also prove that the fluctuation of the extremal eigenvalues is given by the GOE Tracy--Widom law after rescaling and centering the entries of sparse stochastic block models. Applying the result to sparse stochastic block models, we rigorously prove that there is a large gap between the outliers and the spectral edge without centering.


title: Introduction of the MapDE algorithm for determination of mappings relating differential equations

abstract: This paper is the first of a series in which we develop exact and approximate algorithms for mappings of systems of differential equations. Here we introduce the MapDE algorithm and its implementation in Maple, for mappings relating differential equations. We consider the problem of how to algorithmically characterize, and then to compute mappings of less tractable (Source) systems R to more tractable (Target) systems ^R by exploiting the Lie algebra of vector fields leaving R invariant. For systems of exact differential polynomials R, ^R our algorithm MapDE can decide, under certain assumptions, if there exists a local invertible mapping Psi(x; u) = (^x; ^u) that maps the Source system R to the Target ^R. We use a result of Bluman and Kumei who have shown that the mapping satisfies infinitesimal (linearized) mapping equations that map the infinitesimals of the Lie invariance algebra for R to those for ^R. MapDE involves applying the differential-elimination algorithm to the defining systems for infinitesimal symmetries of R, ^R, and also to the nonlinear mapping equations (including the Bluman-Kumei mapping subsystem); returning them in a form which includes its integrability conditions and for which an existence-uniqueness theorem is available. Once existence is established, a second stage can determine features of the map, and some times by integration, explicit forms of the mapping. Examples are given to illustrate the algorithm. Algorithm MapDE also allows users to enter broad target classes instead of a specific system ^R. For example, we give an algorithmic approach that avoids the integrations of the Bluman-Kumei approach where MapDE can determine if a linear differential equation R can be mapped to a linear constant coefficient differential equation.


title: Multi-grid Multi-Level Monte Carlo Method for Stokes-Darcy interface Model with Random Hydraulic Conductivity

abstract: In this article we develop a multi-grid multi-level Monte Carlo (MGMLMC) method for the stochastic Stokes-Darcy interface model with random hydraulic conductivity both in the porous media domain and on the interface. Because the randomness through the interface affects the flow in the Stokes domain, we investigate the coupled stochastic Stokes-Darcy model to improve the fidelity as this model also considers the second and third porosity of the free flow. Then we prove the existence and uniqueness of the weak solution of the variational form. For the numerical solution, we adopt the Monte Carlo (MC) method and finite element method (FEM), for the discrete form in the probability space and physical space, respectively. In the traditional single-level Monte Carlo (SLMC) method, more accurate numerical approximate requires both larger number of samples in probability space and smaller mesh size in the physical space. Then the computational cost increase significantly as the mesh size becomes smaller for the more accurate numerical approximate. Therefore we adopt the multi-level Monte Carlo (MLMC) method to dramatically reduce the computational cost in the probability space, because the number of samples decays fast while the mesh size decreases. We also develop a strategy to calculate the number of samples needed in MLMC method for the stochastic Stokes-Darcy model. Furthermore MLMC naturally provides the hierarchial grids and sufficient information on these grids for multi-grid (MG) method, which can in turn improve the efficiency of MLMC. In order to fully make use of the dynamical interaction between this two methods, we propose the multi-grid multi-level Monte Carlo method for more efficiently solving the stochastic model. Numerical examples are provided to verify and illustrate the proposed method and the theoretical conclusions.


title: Schematizing the Observer and the Epistemic Content of Theories

abstract: I argue that, contrary to the standard view, one cannot understand the structure and nature of our knowledge in physics without an analysis of the way that observers (and, more generally, measuring instruments and experimental arrangements) are modeled in theory. One upshot is that standard pictures of what a scientific theory can be are grossly inadequate. In particular, standard formulations assume, with no argument ever given, that it is possible to make a clean separation between, on the one hand, one part of the scientific knowledge a physical theory embodies, viz., that encoded in the pure mathematical formalism and, on the other, the remainder of that knowledge. The remainder includes at a minimum what is encoded in the practice of modeling particular systems, of performing experiments, of bringing the results of theory and experiment into mutually fruitful contact---in sum, real application of the theory in actual scientific practice. This assumption comes out most clearly in the picture of semantics that naturally accompanies the standard view of theories: semantics is fixed by ontology's shining City on the Hill, and all epistemology and methodology and other practical issues and considerations are segregated to the ghetto of the theory's pragmatics. We should not assume such a clean separation is possible without an argument, and, indeed, I offer many arguments that such a separation is not feasible. An adequate semantics for theories cannot be founded on ontology, but rather on epistemology and methodology.


title: Synthesizing Chemical Plant Operation Procedures using Knowledge, Dynamic Simulation and Deep Reinforcement Learning

abstract: Chemical plants are complex and dynamical systems consisting of many components for manipulation and sensing, whose state transitions depend on various factors such as time, disturbance, and operation procedures. For the purpose of supporting human operators of chemical plants, we are developing an AI system that can semi-automatically synthesize operation procedures for efficient and stable operation. Our system can provide not only appropriate operation procedures but also reasons why the procedures are considered to be valid. This is achieved by integrating automated reasoning and deep reinforcement learning technologies with a chemical plant simulator and external knowledge. Our preliminary experimental results demonstrate that it can synthesize a procedure that achieves a much faster recovery from a malfunction compared to standard PID control.


title: Learning How to Demodulate from Few Pilots via Meta-Learning

abstract: Consider an Internet-of-Things (IoT) scenario in which devices transmit sporadically using short packets with few pilot symbols. Each device transmits over a fading channel and is characterized by an amplifier with a unique non-linear transfer function. The number of pilots is generally insufficient to obtain an accurate estimate of the end-to-end channel, which includes the effects of fading and of the amplifier's distortion. This paper proposes to tackle this problem using meta-learning. Accordingly, pilots from previous IoT transmissions are used as meta-training in order to learn a demodulator that is able to quickly adapt to new end-to-end channel conditions from few pilots. Numerical results validate the advantages of the approach as compared to training schemes that either do not leverage prior transmissions or apply a standard learning algorithm on previously received data.


title: Stable Noncrossing Matchings

abstract: Given a set of $n$ men represented by $n$ points lying on a line, and $n$ women represented by $n$ points lying on another parallel line, with each person having a list that ranks some people of opposite gender as his/her acceptable partners in strict order of preference. In this problem, we want to match people of opposite genders to satisfy people's preferences as well as making the edges not crossing one another geometrically. A noncrossing blocking pair w.r.t. a matching $M$ is a pair $(m,w)$ of a man and a woman such that they are not matched with each other but prefer each other to their own partners in $M$, and the segment $(m,w)$ does not cross any edge in $M$. A weakly stable noncrossing matching (WSNM) is a noncrossing matching that does not admit any noncrossing blocking pair. In this paper, we prove the existence of a WSNM in any instance by developing an $O(n^2)$ algorithm to find one in a given instance.


title: Performance of prototype GE1/1 chambers for the CMS muon spectrometer upgrade

abstract: The high-luminosity phase of the Large Hadron Collider (HL-LHC) will result in ten times higher particle background than measured during the first phase of LHC operation. In order to fully exploit the highly-demanding operating conditions during HL-LHC, the Compact Muon Solenoid (CMS) Collaboration will use Gas Electron Multiplier (GEM) detector technology. The technology will be integrated into the innermost region of the forward muon spectrometer of CMS as an additional muon station called GE11. The primary purpose of this auxiliary station is to help in muon reconstruction and to control level-1 muon trigger rates in the pseudo-rapidity region $1.6 <|\eta|<2.2$. The new station will contain trapezoidal-shaped GEM detectors called GE11 chambers. The design of these chambers is finalized, and the installation is in progress during the Long Shutdown phase two (LS-2) that started in 2019. Several full-size prototypes were built and operated successfully in various test beams at CERN. We describe performance measurements such as gain, efficiency, and time resolution of these prototype chambers, developed after years of R&D, and summarize their behavior in different gas compositions as a function of the applied voltage.


title: A three-dimensional constitutive model for the martensitic transformation in polycrystalline shape memory alloys under large deformation

abstract: This work presents a three-dimensional constitutive model for the martensitic transformation in polycrystalline Shape Memory Alloys (SMAs) under large deformation. By utilizing the logarithmic strain and rate, the model is able to account for large strains and rotations that SMA-based components may undertake, but also resolves the artificial stress errors caused by the non-integrable objective rates that are widely used in current commercial finite element software. The model is developed through classical thermodynamic laws combined with the standard Coleman-Noll procedure. The scalar martensitic volume fraction and the second-order transformation strain tensor are chosen as the internal state variables to capture the material response exhibited by polycrystalline SMAs. A detailed implementation procedure of the proposed model is described through a user-defined material subroutine. Numerical experiments considering SMA components including a bar, a beam, a torque tube and a solid flexible structure under stress/thermally-induced phase transformations are investigated via the proposed model, and the results under cyclic loading are compared against the predictions provided by the Abaqus nonlinear solver. The development framework of the proposed model and its implementation procedure can be extended to incorporate other nonlinear phenomena exhibited by SMAs, such as transformation-induced plasticity, viscoplasticity, and damage under large deformation.


title: Bidirectional Attentive Memory Networks for Question Answering over Knowledge Bases

abstract: When answering natural language questions over knowledge bases (KBs), different question components and KB aspects play different roles. However, most existing embedding-based methods for knowledge base question answering (KBQA) ignore the subtle inter-relationships between the question and the KB (e.g., entity types, relation paths and context). In this work, we propose to directly model the two-way flow of interactions between the questions and the KB via a novel Bidirectional Attentive Memory Network, called BAMnet. Requiring no external resources and only very few hand-crafted features, on the WebQuestions benchmark, our method significantly outperforms existing information-retrieval based methods, and remains competitive with (hand-crafted) semantic parsing based methods. Also, since we use attention mechanisms, our method offers better interpretability compared to other baselines.


title: Grid-Connected Emergency Back-Up Power Supply

abstract: This paper documents a design and modelling of a grid-connected emergency back-up power supply for medium power applications. There are a rectifier-link boost derived battery charging circuit and a 4-switch push-pull power inverter circuit which are controlled by pulse width modulation (PWM) signals. This paper presents a state averaging model and Laplace domain transfer function of the charging circuit and a switching converter model of the power inverter circuit. A changeover relay based transfer switch controls the power flow towards the utility loads. During off-grid situations, loads are fed power by the proposed inverter circuit and during on-grid situations, battery is charged by an ac-link rectifier-fed boost converter. There is a relay switching circuit to control the charging phenomenon of the battery. The proposed design has been simulated in PLECS and the simulation results corroborate the reliability of the presented framework.


title: High coupling efficiency grating couplers on lithium niobate on insulator

abstract: We demonstrate monolithically defined grating couplers in $Z$-cut lithium niobate on insulator for efficient vertical coupling between an optical fiber and a single mode waveguide. The grating couplers exhibit $\sim 44.6\%$/coupler and $\sim 19.4\%$/coupler coupling efficiency for TE and TM polarized light respectively. Taperless grating couplers are investigated to realize a more compact design.


title: Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems

abstract: This paper addresses the problem of verifying discrete-time stochastic systems against omega-regular specifications using finite-state abstractions. Omega-regular properties allow specifying complex behavior and encompass, for example, linear temporal logic. We focus on a class of systems with mixed monotone dynamics. This class has recently been show to be amenable to efficient reachable set computation and models a wide-range of physically relevant systems. In general, finite-state abstractions of continuous state stochastic systems give rise to augmented Markov Chains wherein the probabilities of transition between states are restricted to an interval. We present a procedure to compute a finite-state Interval-valued Markov Chain abstraction of discrete-time, mixed monotone stochastic systems subject to affine disturbances given a rectangular partition of the state-space. Then, we suggest an algorithm for performing verification against omega-regular properties in IMCs. Specifically, we aim to compute bounds on the probability of satisfying the specification of interest from any initial state in the IMC. This is achieved by solving a reachability problem on sets of so-called winning and losing components in the Cartesian product between the IMC and a Rabin automaton representing the specification. Next, the verification of IMCs may yield a set of states whose acceptance status is undecided with respect to the specification, requiring a refinement of the abstraction. We describe a specification-guided approach that compares the best-case and worst-case behaviors of accepting paths in the IMC and targets the appropriate states accordingly. Finally, we show a case study.