title: On the transition between the disordered and antiferroelectric phases of the 6-vertex model

abstract: The symmetric six-vertex model with parameters $a,b,c>0$ is expected to exhibit different behavior in the regimes $a+b<c$ (antiferroelectric), $|a-b|<c\leq a+b$ (disordered) and $|a-b|>c$ (ferroelectric). In this work, we study the way in which the transition between the regimes $a+b=c$ and $a+b<c$ manifests. When $a+b<c$, we show that the associated height function is localized and its extremal periodic Gibbs states can be parametrized by the integers in such a way that, in the $n$-th state, the heights $n$ and $n+1$ percolate while the connected components of their complement have diameters with exponentially decaying tails. When $a+b=c$, the height function is delocalized. The proofs rely on the Baxter-Kelland-Wu coupling between the six-vertex and the random-cluster models and on recent results for the latter. An interpolation between free and wired boundary conditions is introduced by modifying cluster weights. Using triangular lattice contours ($\mathbb{T}$-circuits), we describe another coupling for height functions that in particular leads to a novel proof of the delocalization at $a=b=c$. Finally, we highlight a spin representation of the six-vertex model and obtain a coupling of it to the Ashkin-Teller model on $\mathbb{Z}^2$ at its self-dual line $\sinh 2J = e^{-2U}$. When $J<U$, we show that each of the two Ising configurations exhibits exponential decay of correlations while their product is ferromagnetically ordered.


title: A Lanczos-like method for non-autonomous linear ordinary differential equations

abstract: The time-ordered exponential is defined as the function that solves a system of coupled first-order linear differential equations with generally non-constant coefficients. In spite of being at the heart of much system dynamics, control theory, and model reduction problems, the time-ordered exponential function remains elusively difficult to evaluate. The *-Lanczos algorithm is a (symbolic) algorithm capable of evaluating it by producing a tridiagonalization of the original differential system. In this paper, we explain how the *-Lanczos algorithm is built from a generalization of Krylov subspaces, and we prove crucial properties, such as the matching moment property. A strategy for its numerical implementation is also outlined and will be subject of future investigation.


title: Axial representation of external electromagnetic fields for particle tracking in accelerators

abstract: We derive a power series representation of an arbitrary electromagnetic field near some axis through the coaxial field components on the axis. The obtained equations are compared with Fourier-Bessel series approach and verified by several examples. It is shown that for each azimuthal mode we need only two real functions on the axis in order to describe the field in a source free region near to it. The representation of dipole mode in a superconducting radio-frequency gun is analyzed.


title: Fourier analytic techniques for lattice point discrepancy

abstract: Counting integer points in large convex bodies with smooth boundaries containing isolated flat points is oftentimes an intermediate case between balls (or convex bodies with smooth boundaries having everywhere positive curvature) and cubes (or convex polytopes). In this paper we provide a detailed description of several discrepancy problems in the particular planar case where the boundary coincides locally with the graph of the function $\mathbb{R\ni}t\mapsto\left\vert t\right\vert ^{\gamma}$, with $\gamma>2$. We consider both \textit{integer points} problems and \textit{irregularities of distribution} problems. The above \textquotedblleft restriction\textquotedblright\ to a particular family of convex bodies is compensated by the fact that many proofs are elementary. The paper is entirely self-contained.


title: When mutually subisomorphic Baer modules are isomorphic

abstract: The Schr\"{o}der-Bernstein Theorem for sets is well known. The question of whether two subisomorphic algebraic structures are isomorphic to each other, is of interest. An $R$-module $M$ is said to satisfy the Schr\"{o}der-Bernstein (or SB) property if any pair of direct summands of $M$ are isomorphic provided that each one is isomorphic to a direct summand of the other. A ring $R$ (with an involution $\star$) is called a Baer (Baer $\star$-)ring if the right annihilator of every nonempty subset of $R$ is generated by an idempotent (a projection). It is clear that every Baer $\star$-ring is a Baer ring. Kaplansky showed that Baer $\star$-rings satisfy the SB property. This motivated us to investigate whether any Baer ring satisfies the SB property. In this paper we carry out a study of this question and investigate when two subisomorphic Baer modules are isomorphic. Besides, we study extending modules which satisfy the SB property. We characterize a commutative domain $R$ over which any pair of subisomorphic extending modules are isomorphic.


title: Iterative Spectral Method for Alternative Clustering

abstract: Given a dataset and an existing clustering as input, alternative clustering aims to find an alternative partition. One of the state-of-the-art approaches is Kernel Dimension Alternative Clustering (KDAC). We propose a novel Iterative Spectral Method (ISM) that greatly improves the scalability of KDAC. Our algorithm is intuitive, relies on easily implementable spectral decompositions, and comes with theoretical guarantees. Its computation time improves upon existing implementations of KDAC by as much as 5 orders of magnitude.


title: CUDA: Contradistinguisher for Unsupervised Domain Adaptation

abstract: In this paper, we propose a simple model referred as Contradistinguisher (CTDR) for unsupervised domain adaptation whose objective is to jointly learn to contradistinguish on unlabeled target domain in a fully unsupervised manner along with prior knowledge acquired by supervised learning on an entirely different domain. Most recent works in domain adaptation rely on an indirect way of first aligning the source and target domain distributions and then learn a classifier on a labeled source domain to classify target domain. This approach of an indirect way of addressing the real task of unlabeled target domain classification has three main drawbacks. (i) The sub-task of obtaining a perfect alignment of the domain in itself might be impossible due to large domain shift (e.g., language domains). (ii) The use of multiple classifiers to align the distributions unnecessarily increases the complexity of the neural networks leading to over-fitting in many cases. (iii) Due to distribution alignment, the domain-specific information is lost as the domains get morphed. In this work, we propose a simple and direct approach that does not require domain alignment. We jointly learn CTDR on both source and target distribution for unsupervised domain adaptation task using contradistinguish loss for the unlabeled target domain in conjunction with a supervised loss for labeled source domain. Our experiments show that avoiding domain alignment by directly addressing the task of unlabeled target domain classification using CTDR achieves state-of-the-art results on eight visual and four language benchmark domain adaptation datasets.


title: Auto-completion for Data Cells in Relational Tables

abstract: We address the task of auto-completing data cells in relational tables. Such tables describe entities (in rows) with their attributes (in columns). We present the CellAutoComplete framework to tackle several novel aspects of this problem, including: (i) enabling a cell to have multiple, possibly conflicting values, (ii) supplementing the predicted values with supporting evidence, (iii) combining evidence from multiple sources, and (iv) handling the case where a cell should be left empty. Our framework makes use of a large table corpus and a knowledge base as data sources, and consists of preprocessing, candidate value finding, and value ranking components. Using a purpose-built test collection, we show that our approach is 40\% more effective than the best baseline.


title: Dynamic Context Correspondence Network for Semantic Alignment

abstract: Establishing semantic correspondence is a core problem in computer vision and remains challenging due to large intra-class variations and lack of annotated data. In this paper, we aim to incorporate global semantic context in a flexible manner to overcome the limitations of prior work that relies on local semantic representations. To this end, we first propose a context-aware semantic representation that incorporates spatial layout for robust matching against local ambiguities. We then develop a novel dynamic fusion strategy based on attention mechanism to weave the advantages of both local and context features by integrating semantic cues from multiple scales. We instantiate our strategy by designing an end-to-end learnable deep network, named as Dynamic Context Correspondence Network (DCCNet). To train the network, we adopt a multi-auxiliary task loss to improve the efficiency of our weakly-supervised learning procedure. Our approach achieves superior or competitive performance over previous methods on several challenging datasets, including PF-Pascal, PF-Willow, and TSS, demonstrating its effectiveness and generality.


title: Fully Dynamic Maximal Independent Set in Expected Poly-Log Update Time

abstract: In the fully dynamic maximal independent set (MIS) problem our goal is to maintain an MIS in a given graph $G$ while edges are inserted and deleted from the graph. The first non-trivial algorithm for this problem was presented by Assadi, Onak, Schieber, and Solomon [STOC 2018] who obtained a deterministic fully dynamic MIS with $O(m^{3/4})$ update time. Later, this was independently improved by Du and Zhang and by Gupta and Khan [arXiv 2018] to $\tilde{O}(m^{2/3})$ update time. Du and Zhang [arXiv 2018] also presented a randomized algorithm against an oblivious adversary with $\tilde{O}(\sqrt{m})$ update time. The current state of art is by Assadi, Onak, Schieber, and Solomon [SODA 2019] who obtained randomized algorithms against oblivious adversary with $\tilde{O}(\sqrt{n})$ and $\tilde{O}(m^{1/3})$ update times. In this paper, we propose a dynamic randomized algorithm against oblivious adversary with expected worst-case update time of $O(\log^4n)$. As a direct corollary, one can apply the black-box reduction from a recent work by Bernstein, Forster, and Henzinger [SODA 2019] to achieve $O(\log^6n)$ worst-case update time with high probability. This is the first dynamic MIS algorithm with very fast update time of poly-log.


title: Discussions of gas power cycle performance analysis method in the course of Engineering Thermodynamics

abstract: Engineering Thermodynamics has been the core course of many science and engineering majors at home and abroad, including energy and power, mechanical engineering, civil engineering, aerospace, cryogenic refrigeration, food engineering, chemical engineering, and environmental engineering, among which gas power cycle is one of the important contents. However, many Engineering Thermodynamics textbooks at home and abroad focus only on evaluating the thermal efficiency of gas power cycle, while the important concept of specific cycle net work is ignored. Taking an ideal Otto cycle and an ideal Brayton as examples, the optimum compression ratio (or the pressure ratio) and the maximum specific cycle net work are analyzed and determined. The ideal Otto and the ideal Brayton cycles, and also other gas power cycles, are concluded that the operation under the optimum compression/pressure ratio of the engine, instead of under the higher efficiency, is more economic and more reasonable. We concluded that the two very important concepts, i.e., the maximum specific cycle net work and the optimum compression (or pressure) ratio for the gas power cycles, should be emphasized in the Engineering Thermodynamics teaching process and the latter revised or the newly edited textbooks, in order to better guide the engineering applications. In the end, general T-s diagram is proposed for the gas power cycles.


title: Gaussian processes for data fulfilling linear differential equations

abstract: A method to reconstruct fields, source strengths and physical parameters based on Gaussian process regression is presented for the case where data are known to fulfill a given linear differential equation with localized sources. The approach is applicable to a wide range of data from physical measurements and numerical simulations. It is based on the well-known invariance of the Gaussian under linear operators, in particular differentiation. Instead of using a generic covariance function to represent data from an unknown field, the space of possible covariance functions is restricted to allow only Gaussian random fields that fulfil the homogeneous differential equation. The resulting tailored kernel functions lead to more reliable regression compared to using a generic kernel and makes some hyperparameters directly interpretable. For differential equations representing laws of physics such a choice limits realizations of random fields to physically possible solutions. Source terms are added by superposition and their strength estimated in a probabilistic fashion, together with possibly unknown hyperparameters with physical meaning in the differential operator.


title: A Generalized Configuration Model with Degree Correlations and Its Percolation Analysis

abstract: In this paper we present a generalization of the classical configuration model. Like the classical configuration model, the generalized configuration model allows users to specify an arbitrary degree distribution. In our generalized configuration model, we partition the stubs in the configuration model into b blocks of equal sizes and choose a permutation function h for these blocks. In each block, we randomly designate a number proportional to q of stubs as type 1 stubs, where q is a parameter in the range [0; 1]. Other stubs are designated as type 2 stubs. To construct a network, randomly select an unconnected stub. Suppose that this stub is in block i. If it is a type 1 stub, connect this stub to a randomly selected unconnected type 1 stub in block h(i). If it is a type 2 stub, connect it to a randomly selected unconnected type 2 stub. We repeat this process until all stubs are connected. Under an assumption, we derive a closed form for the joint degree distribution of two random neighboring vertices in the constructed graph. Based on this joint degree distribution, we show that the Pearson degree correlation function is linear in q for any fixed b. By properly choosing h, we show that our construction algorithm can create assortative networks as well as disassortative networks. We present a percolation analysis of this model. We verify our results by extensive computer simulations.


title: Imitation Learning for Human Pose Prediction

abstract: Modeling and prediction of human motion dynamics has long been a challenging problem in computer vision, and most existing methods rely on the end-to-end supervised training of various architectures of recurrent neural networks. Inspired by the recent success of deep reinforcement learning methods, in this paper we propose a new reinforcement learning formulation for the problem of human pose prediction, and develop an imitation learning algorithm for predicting future poses under this formulation through a combination of behavioral cloning and generative adversarial imitation learning. Our experiments show that our proposed method outperforms all existing state-of-the-art baseline models by large margins on the task of human pose prediction in both short-term predictions and long-term predictions, while also enjoying huge advantage in training speed.


title: The Milnor $K$-theory and the Shintani cocycle

abstract: The goal of this article is to complete the unfinished construction (due to Glenn Stevens in an old preprint) of a certain Milnor $K$-group valued group cocycle for $GL_n(\mathbb{Q})$ where $n$ is a positive integer, which we call the Stevens cocycle. Moreover, we give a precise relationship between the Stevens cocycle and the Shintani cocycle, which encodes key informations on the zeta values of totally real fields of degree $n$, using the $\operatorname{dlog}$ map of $K$-theory and the Fourier transform of locally constant functions on $\mathbb{Q}^n$ with bounded support. Roughly speaking, the Stevens cocycle is a multiplicative version of the Shintani cocyle.


title: Spatial distributions of plasma potential and density in electron cyclotron resonance ion source

abstract: The Numerical Advanced Model of Electron Cyclotron Resonance Ion Source (NAM-ECRIS) is applied for studies of the physical processes in the source. Solutions of separately operating electron and ion modules of NAM-ECRIS are matched in iterative way such as to obtain the spatial distributions of the plasma density and of the plasma potential. Results reveal the complicated profiles with the maximized plasma density close to the ECR surface and on the source axis. The ion-trapping potential dips are calculated to be on the level of ~(0.01-0.05) V being located at the plasma density maxima. The highly charged ions are also localized close to the ECR surface. The biased electrode effect is due to an electron string along the source axis formed by reflection of electrons from the biased electrode and the extraction aperture. The string makes profiles of the highly charged ions more peaked on the source axis, thus increasing the extracted ion currents.


title: Bayesian Local Sampling-based Planning

abstract: Sampling-based planning is the predominant paradigm for motion planning in robotics. Most sampling-based planners use a global random sampling scheme to guarantee probabilistic completeness. However, most schemes are often inefficient as the samples drawn from the global proposal distribution, and do not exploit relevant local structures. Local sampling-based motion planners, on the other hand, take sequential decisions of random walks to samples valid trajectories in configuration space. However, current approaches do not adapt their strategies according to the success and failures of past samples. In this work, we introduce a local sampling-based motion planner with a Bayesian learning scheme for modelling an adaptive sampling proposal distribution. The proposal distribution is sequentially updated based on previous samples, consequently shaping it according to local obstacles and constraints in the configuration space. Thus, through learning from past observed outcomes, we maximise the likelihood of sampling in regions that have a higher probability to form trajectories within narrow passages. We provide the formulation of a sample-efficient distribution, along with theoretical foundation of sequentially updating this distribution. We demonstrate experimentally that by using a Bayesian proposal distribution, a solution is found faster, requiring fewer samples, and without any noticeable performance overhead.


title: May I Check Again? -- A simple but efficient way to generate and use contextual dictionaries for Named Entity Recognition. Application to French Legal Texts

abstract: In this paper we present a new method to learn a model robust to typos for a Named Entity Recognition task. Our improvement over existing methods helps the model to take into account the context of the sentence inside a court decision in order to recognize an entity with a typo. We used state-of-the-art models and enriched the last layer of the neural network with high-level information linked with the potential of the word to be a certain type of entity. More precisely, we utilized the similarities between the word and the potential entity candidates in the tagged sentence context. The experiments on a dataset of French court decisions show a reduction of the relative F1-score error of 32%, upgrading the score obtained with the most competitive fine-tuned state-of-the-art system from 94.85% to 96.52%.


title: Quantitative analysis of numerically focused red blood cells using subdivided two-beam interference (STBI) based lateral-shearing digital holographic microscope

abstract: A lateral shear interferometer based digital holographic microscopy has been realized to study the morphology dynamics of Human red blood cells quantitatively. Here, a lateral shear interferometer is embedded with a conventional microscope with a CMOS sensor to form a lateral-shearing digital holographic microscope. It enables recording of image plane holograms of objects that can be numerically reconstructed to estimate its3-D prole. This yields the depth information of the sample in addition to its bright field image. The problem of the duplicate image is addressed by filtering object information from one of the beams, without losing the contrast in the fringes. The contrast in the fringes is maintained by increased reflectivity of the back surface of the shear plate. This improves the resolution in the proposed system.


title: On GLM curl cleaning for a first order reduction of the CCZ4 formulation of the Einstein field equations

abstract: In this paper we propose an extension of the generalized Lagrangian multiplier method (GLM) of Munz et al. (JCP 2000, JCP 2002), which was originally conceived for the numerical solution of the Maxwell and MHD equations with divergence-type involutions, to the case of hyperbolic PDE systems with curl-type involutions. The key idea here is to solve an augmented PDE system, in which curl errors propagate away via a Maxwell-type evolution system. The new approach is first presented on a simple model problem, in order to explain the basic ideas. Subsequently, we apply it to a strongly hyperbolic first order reduction of the CCZ4 formulation (FO-CCZ4) of the Einstein field equations of general relativity, which is endowed with 11 curl constraints. Several numerical examples, including the long-time evolution of a stable neutron star in anti-Cowling approximation, are presented in order to show the obtained improvements with respect to the standard formulation without special treatment of the curl involution constraints. The main advantages of the proposed GLM approach are its complete independence of the underlying numerical scheme and grid topology and its easy implementation into existing computer codes. However, this flexibility comes at the price of needing to add for each curl involution one additional 3 vector plus another scalar in the augmented system for homogeneous curl constraints, and even two additional scalars for non-homogeneous curl involutions. For the FO-CCZ4 system with 11 homogeneous curl involutions, this means that additional 44 evolution quantities need to be added.


title: $\Delta$ Contribution to $ pp \to pp\pi^0$

abstract: A model independent discussion of $\Delta-$production in $pp \to pp \pi^0$ is presented and the $\Delta-$contributions to the 16 $pp \to pp\pi^0$ partial wave amplitudes are identified taking the $Ds$ and $Sd$ channels also into consideration.


title: What is the value of experimentation & measurement?

abstract: Experimentation and Measurement (E&M) capabilities allow organizations to accurately assess the impact of new propositions and to experiment with many variants of existing products. However, until now, the question of measuring the measurer, or valuing the contribution of an E&M capability to organizational success has not been addressed. We tackle this problem by analyzing how, by decreasing estimation uncertainty, E&M platforms allow for better prioritization. We quantify this benefit in terms of expected relative improvement in the performance of all new propositions and provide guidance for how much an E&M capability is worth and when organizations should invest in one.


title: Holographic charge density wave from D2-D8

abstract: We have considered D2-D8 model and obtain a numerical solution that exhibits spatially modulated phases corresponding to a charge density wave and a spin density wave. We have analysed behavior of the free energy density for different values of the chemical potential and the magnetic field.


title: Blind Geometric Distortion Correction on Images Through Deep Learning

abstract: We propose the first general framework to automatically correct different types of geometric distortion in a single input image. Our proposed method employs convolutional neural networks (CNNs) trained by using a large synthetic distortion dataset to predict the displacement field between distorted images and corrected images. A model fitting method uses the CNN output to estimate the distortion parameters, achieving a more accurate prediction. The final corrected image is generated based on the predicted flow using an efficient, high-quality resampling method. Experimental results demonstrate that our algorithm outperforms traditional correction methods, and allows for interesting applications such as distortion transfer, distortion exaggeration, and co-occurring distortion correction.


title: Searches for physics beyond the standard model with the $M_\mathrm{T2}$ variable in hadronic final states with and without disappearing tracks in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: Two related searches for phenomena beyond the standard model (BSM) are performed using events with hadronic jets and significant transverse momentum imbalance. The results are based on a sample of proton-proton collisions at a center-of-mass energy of 13 TeV, collected by the CMS experiment at the LHC in 2016-2018 and corresponding to an integrated luminosity of 137 fb$^{-1}$. The first search is inclusive, based on signal regions defined by the hadronic energy in the event, the jet multiplicity, the number of jets identified as originating from bottom quarks, and the value of the kinematic variable $M_\mathrm{T2}$ for events with at least two jets. For events with exactly one jet, the transverse momentum of the jet is used instead. The second search looks in addition for disappearing tracks produced by BSM long-lived charged particles that decay within the volume of the tracking detector. No excess event yield is observed above the predicted standard model background. This is used to constrain a range of BSM models that predict the following: the pair production of gluinos and squarks in the context of supersymmetry models conserving $R$-parity, with or without intermediate long-lived charginos produced in the decay chain; the resonant production of a colored scalar state decaying to a massive Dirac fermion and a quark; or the pair production of scalar and vector leptoquarks each decaying to a neutrino and a top, bottom, or light-flavor quark. In most of the cases, the results obtained are the most stringent constraints to date.


title: Fine Grained Dataflow Tracking with Proximal Gradients

abstract: Dataflow tracking with Dynamic Taint Analysis (DTA) is an important method in systems security with many applications, including exploit analysis, guided fuzzing, and side-channel information leak detection. However, DTA is fundamentally limited by the Boolean nature of taint labels, which provide no information about the significance of detected dataflows and lead to false positives/negatives on complex real world programs. We introduce proximal gradient analysis (PGA), a novel, theoretically grounded approach that can track more accurate and fine-grained dataflow information. PGA uses proximal gradients, a generalization of gradients for non-differentiable functions, to precisely compose gradients over non-differentiable operations in programs. Composing gradients over programs eliminates many of the dataflow propagation errors that occur in DTA and provides richer information about how each measured dataflow effects a program. We compare our prototype PGA implementation to three state of the art DTA implementations on 7 real-world programs. Our results show that PGA can improve the F1 accuracy of data flow tracking by up to 33% over taint tracking (20% on average) without introducing any significant overhead (<5% on average). We further demonstrate the effectiveness of PGA by discovering 22 bugs (20 confirmed by developers) and 2 side-channel leaks, and identifying exploitable dataflows in 19 existing CVEs in the tested programs.


title: Deep Workpiece Region Segmentation for Bin Picking

abstract: For most industrial bin picking solutions, the pose of a workpiece is localized by matching a CAD model to point cloud obtained from 3D sensor. Distinguishing flat workpieces from bottom of the bin in point cloud imposes challenges in the localization of workpieces that lead to wrong or phantom detections. In this paper, we propose a framework that solves this problem by automatically segmenting workpiece regions from non-workpiece regions in a point cloud data. It is done in real time by applying a fully convolutional neural network trained on both simulated and real data. The real data has been labelled by our novel technique which automatically generates ground truth labels for real point clouds. Along with real time workpiece segmentation, our framework also helps in improving the number of detected workpieces and estimating the correct object poses. Moreover, it decreases the computation time by approximately 1s due to a reduction of the search space for the object pose estimation.


title: Fragile-to-Strong Crossover, growing length scales, and dynamic heterogeneity in Wigner Glasses

abstract: Colloidal particles, which are ubiquitous, have become ideal testing grounds for the structural glass transition (SGT) theories. In these systems glassy behavior is manifested as the density of the particles is increased. Thus, soft colloidal particles with varying degree of softness capture diverse glass forming properties, observed normally in molecular glasses. By performing Brownian dynamics simulations for a binary mixture of micron-sized charged colloidal suspensions, known to form Wigner glasses, we show that by tuning the softness of the potential, achievable by changing the monovalent salt concentration, there is a continuous transition between fragile to strong behavior. Remarkably, this is found in a system where the well characterized potential between the colloidal particles is isotropic. We also show that the predictions of the random first order transition (RFOT) theory quantitatively describes the universal features such as the growing correlation length, $\xi\sim (\phi_K/\phi - 1)^{-\nu}$ with $\nu = 2/3$ where $\phi_K$, the analogue of the Kauzmann temperature, depends on the salt concentration. As anticipated by the RFOT predictions, we establish a causal relationship between the growing correlation length and a steep increase in the relaxation time and dynamic heterogeneity. The broad range of fragility observed in Wigner glasses is used to draw analogies with molecular glasses. The large variations in the fragility is found only when the temperature dependence of the viscosity is examined for a large class of diverse glass forming materials. In sharp contrast, this is vividly illustrated in a single system that can be experimentally probed. Our work also shows that the RFOT predictions are accurate in describing the dynamics over the entire density range, regardless of the fragility of the glasses, implying that the physics describing the SGT is universal.


title: Back to the Future -- Sequential Alignment of Text Representations

abstract: Language evolves over time in many ways relevant to natural language processing tasks. For example, recent occurrences of tokens 'BERT' and 'ELMO' in publications refer to neural network architectures rather than persons. This type of temporal signal is typically overlooked, but is important if one aims to deploy a machine learning model over an extended period of time. In particular, language evolution causes data drift between time-steps in sequential decision-making tasks. Examples of such tasks include prediction of paper acceptance for yearly conferences (regular intervals) or author stance prediction for rumours on Twitter (irregular intervals). Inspired by successes in computer vision, we tackle data drift by sequentially aligning learned representations. We evaluate on three challenging tasks varying in terms of time-scales, linguistic units, and domains. These tasks show our method outperforming several strong baselines, including using all available data. We argue that, due to its low computational expense, sequential alignment is a practical solution to dealing with language evolution.


title: Higher Order Fibonacci Sequences from Generalized Schreier sets

abstract: A Schreier set $S$ is a subset of the natural numbers with $\min S\ge |S|$. It has been known that the sequence $(a_{1,n})$, where $$a_{1,n}\ :=\ |\{S\subseteq \mathbb{N}\,:\,\max S = n\mbox{ and } \min S \ge |S|\}|,$$ is the Fibonacci sequence. Generalizing this result, we prove that for all $p\in \mathbb{N}$, the sequence $(a_{p,n})$, where $$a_{p, n} \ :=\ |\{S\subseteq \mathbb{N}\,:\,\max S = n\mbox{ and } \min S\ge p|S|\}|,$$ has a linear recurrence relation of higher order. We investigate further by requiring that ${\rm min}_2 S\ge q |S|$, where $\min_2 S$ is the second smallest element of $S$. We prove a linear recurrence relation for the sequence $(a_{p, q, n})$, where $$a_{p, q, n} \ :=\ |\{S\subseteq \mathbb{N}\,:\,\max S = n, \min S \ge p|S|\mbox{ and } {\rm min}_2 S\ge q|S|\}|,$$ and discuss a curious relationship between $(a_{q, n})$ and $(a_{p, q, n})$.


title: Multi-Modal Three-Stream Network for Action Recognition

abstract: Human action recognition in video is an active yet challenging research topic due to high variation and complexity of data. In this paper, a novel video based action recognition framework utilizing complementary cues is proposed to handle this complex problem. Inspired by the successful two stream networks for action classification, additional pose features are studied and fused to enhance understanding of human action in a more abstract and semantic way. Towards practices, not only ground truth poses but also noisy estimated poses are incorporated in the framework with our proposed pre-processing module. The whole framework and each cue are evaluated on varied benchmarking datasets as JHMDB, sub-JHMDB and Penn Action. Our results outperform state-of-the-art performance on these datasets and show the strength of complementary cues.


title: Self-driving scale car trained by Deep reinforcement learning

abstract: The self-driving based on deep reinforcement learning, as the most important application of artificial intelligence, has become a popular topic. Most of the current self-driving methods focus on how to directly learn end-to-end self-driving control strategy from the raw sensory data. Essentially, this control strategy can be considered as a mapping between images and driving behavior, which usually faces a problem of low generalization ability. To improve the generalization ability for the driving behavior, the reinforcement learning method requires extrinsic reward from the real environment, which may damage the car. In order to obtain a good generalization ability in safety, a virtual simulation environment that can be constructed different driving scene is designed by Unity. A theoretical model is established and analyzed in the virtual simulation environment, and it is trained by double Deep Q-network. Then, the trained model is migrated to a scale car in real world. This process is also called a sim2real method. The sim2real training method efficiently handle the these two problems. The simulations and experiments are carried out to evaluate the performance and effectiveness of the proposed algorithm. Finally, it is demonstrated that the scale car in real world obtain the capability for autonomous driving.


title: Geometric intersections of loops on surfaces

abstract: Based on Nielsen fixed point theory and Gr\"{o}bner-Shirshov basis, we obtain a simple method to compute geometric intersection numbers and self-intersection geometric numbers of loops on surfaces.


title: Accurate Computation of the Log-Sum-Exp and Softmax Functions

abstract: Evaluating the log-sum-exp function or the softmax function is a key step in many modern data science algorithms, notably in inference and classification. Because of the exponentials that these functions contain, the evaluation is prone to overflow and underflow, especially in low precision arithmetic. Software implementations commonly use alternative formulas that avoid overflow and reduce the chance of harmful underflow, employing a shift or another rewriting. Although mathematically equivalent, these variants behave differently in floating-point arithmetic. We give rounding error analyses of different evaluation algorithms and interpret the error bounds using condition numbers for the functions. We conclude, based on the analysis and numerical experiments, that the shifted formulas are of similar accuracy to the unshifted ones and that the shifted softmax formula is typically more accurate than a division-free variant.


title: Disease Labeling via Machine Learning is NOT quite the same as Medical Diagnosis

abstract: A key step in medical diagnosis is giving the patient a universally recognized label (e.g. Appendicitis) which essentially assigns the patient to a class(es) of patients with similar body failures. However, two patients having the same disease label(s) with high probability may still have differences in their feature manifestation patterns implying differences in the required treatments. Additionally, in many cases, the labels of the primary diagnoses leave some findings unexplained. Medical diagnosis is only partially about probability calculations for label X or Y. Diagnosis is not complete until the patient overall situation is clinically understood to the level that enables the best therapeutic decisions. Most machine learning models are data centric models, and evidence so far suggest they can reach expert level performance in the disease labeling phase. Nonetheless, like any other mathematical technique, they have their limitations and applicability scope. Primarily, data centric algorithms are knowledge blind and lack anatomy and physiology knowledge that physicians leverage to achieve complete diagnosis. This article advocates to complement them with intelligence to overcome their inherent limitations as knowledge blind algorithms. Machines can learn many things from data, but data is not the only source that machines can learn from. Historic patient data only tells us what the possible manifestations of a certain body failure are. Anatomy and physiology knowledge tell us how the body works and fails. Both are needed for complete diagnosis. The proposed Double Deep Learning approach, along with the initiative for Medical Wikipedia for Smart Machines, leads to AI diagnostic support solutions for complete diagnosis beyond the limited data only labeling solutions we see today. AI for medicine will forever be limited until their intelligence also integrates anatomy and physiology.


title: Learning Geometrically Consistent Mesh Corrections

abstract: Building good 3D maps is a challenging and expensive task, which requires high-quality sensors and careful, time-consuming scanning. We seek to reduce the cost of building good reconstructions by correcting views of existing low-quality ones in a post-hoc fashion using learnt priors over surfaces and appearance. We train a CNN model to predict the difference in inverse-depth from varying viewpoints of two meshes -- one of low quality that we wish to correct, and one of high-quality that we use as a reference. In contrast to previous work, we pay attention to the problem of excessive smoothing in corrected meshes. We address this with a suitable network architecture, and introduce a loss-weighting mechanism that emphasises edges in the prediction. Furthermore, smooth predictions result in geometrical inconsistencies. To deal with this issue, we present a loss function which penalises re-projection differences that are not due to occlusions. Our model reduces gross errors by 45.3%--77.5%, up to five times more than previous work.


title: Autonomous Underwater Vehicle: Electronics and Software Implementation of the Proton AUV

abstract: The paper deals with the software and the electronics unit for an autonomous underwater vehicle. The implementation in the electronics unit is the connection and communication between SBC, pixhawk controller and other sensory hardware and actuators. The major implementation of the software unit is the algorithm for object detection based on Convolutional Neural Network (CNN) and its models. The Hyperparameters were tuned according to Odroid Xu4 for various models. The maneuvering algorithm uses the MAVLink protocol of the ArduSub project for movement and its simulation.


title: Adams-Hilton model and the group of self-homotopy equivalences of a simply connected cw-complex

abstract: Let $R$ be a principal ideal domain (PID). For a simply connected CW-complex $X$ of dimension $n$, let $Y$ be a space obtained by attaching cells of dimension $q$ to $X$, $q>n$, and let $A(Y)$ denote an Adams-Hilton model of $Y$. If $\mathcal E(A(Y))$ denotes the group of homotopy self-equivalences of $A(Y)$ and $\mathcal E_{*}(A(Y))$ its subgroup of the elements inducing the identity on $H_{*}( Y,R)$, then we construct two short exact sequences: $$\underset{i}{\oplus}\,H_{q}(\Omega X,R)\rightarrowtail \mathcal{E}(A(Y))\overset{}{ \twoheadrightarrow}\Gamma^{q}_{n}\,\,\,\,\,\,\,\,\,\,\,\,,\,\,\,\,\,\,\,\,\,\,\,\,\underset{i}{\oplus}\,H_{q}(\Omega X,R) \rightarrowtail \E_{*}(A(Y))\overset{}{ \twoheadrightarrow}\Pi^{q}_{n} $$ where $i=\mathrm{rank} \,H_{q}(Y,X;R)$, $\Gamma^{q}_{n}$ is a subgroup of $\aut(\mathrm{Hom}_{}(H_{q}( Y,X;R))\times \E(A(X))$ and $\Pi^{q}_{n}$ is a subgroup of $\mathcal E_{*}(A(X))$.


title: Supernova implosion-explosion in the light of catastrophe theory

abstract: The present understanding of supernova explosion of massive stars as a two-step process, with an initial gravitational collapse toward the center of the star followed by an expansion of matter after a bouncing on the core, meets several difficulties. We show that it is not the only possible one: a simple model based on fluid mechanics, catastrophe theory, and stability properties of the equilibrium state shows that one can have also a simultaneous inward/outward motion in the early stage of the instability of the supernova described by a dynamical saddle-center bifurcation. The existence of this simultaneous inward/outward motion is sensitive to the model in such systems with long-range interactions. If a constant temperature is assumed (canonical ensemble), an overall inward motion occurs, but if one imposes with the same equation of state the constraint of energy conservation (microcanonical ensemble) there is an inward velocity field near the center of the star together with an outward velocity field in the rest of the star. We discuss the expansion stage of the remnants away from the collapsed core, and propose a new explanation for the formation of shock waves in the ejecta which differs from the usual Sedov-Taylor self-similar description.


title: An Architectural Style for Self-Adaptive Multi-Agent Systems

abstract: Modern distributed software systems often operate in dynamic environments in which operation conditions change continuously and subsystems may come and go at will, e.g. intelligent traffic management and multi-robot systems. To manage these dynamics, these systems have to self-adapt their structures and behaviors dynamically. While we have witnessed significant progress over the past decade in the manner in which such systems are designed, persistent challenges remain. In particular, dealing with distribution and decentralized control remains one of the major challenges in self-adaptive systems. This report presents an architecture style that supports software architects with designing architectures for a family of decentralized self-adaptive systems. The architecture style structures the software in a number of interacting autonomous entities (agents) that cooperatively realize the system tasks. Multi-agent systems derived from the architectural style realize flexibility (agents adapt their behavior and interactions to variable operating conditions) and openness (agents cope autonomously with other agents that enter and leave the system). The architectural style consists of five related patterns that distill domain-specific architectural knowledge derived from extensive experiences with developing various multi-agent systems. The architectural patterns are specified using pi-ADL, a formal architectural description language supporting specification of dynamic architectures. This specification provides architects with a rigorous description of the architecture elements of the patterns, their interactions and behavior. We illustrate how we have applied the architectural style with excerpts of two cases from our practice: an experimental system for anticipatory traffic routing and an industrial logistic system for automated transportation in warehouse environments.


title: Period Relations for Standard $L$-functions of Symplectic Type

abstract: This article is to understand the critical values of $L$-functions $L(s,\Pi\otimes \chi)$ and to establish the relation of the relevant global periods at the critical places. Here $\Pi$ is an irreducible regular algebraic cuspidal automorphic representation of $\mathrm{GL}_{2n}(\mathbb A)$ of symplectic type and $\chi$ is a finite order automorphic character of $\mathrm{GL}_1(\mathbb A)$, with $\mathbb A$ is the ring of adeles of a number field $\mathrm k$.


title: Aspect-based Sentiment Classification with Aspect-specific Graph Convolutional Networks

abstract: Due to their inherent capability in semantic alignment of aspects and their context words, attention mechanism and Convolutional Neural Networks (CNNs) are widely applied for aspect-based sentiment classification. However, these models lack a mechanism to account for relevant syntactical constraints and long-range word dependencies, and hence may mistakenly recognize syntactically irrelevant contextual words as clues for judging aspect sentiment. To tackle this problem, we propose to build a Graph Convolutional Network (GCN) over the dependency tree of a sentence to exploit syntactical information and word dependencies. Based on it, a novel aspect-specific sentiment classification framework is raised. Experiments on three benchmarking collections illustrate that our proposed model has comparable effectiveness to a range of state-of-the-art models, and further demonstrate that both syntactical information and long-range word dependencies are properly captured by the graph convolution structure.


title: Fully Dynamic Maximal Independent Set with Polylogarithmic Update Time

abstract: We present the first algorithm for maintaining a maximal independent set (MIS) of a fully dynamic graph---which undergoes both edge insertions and deletions---in polylogarithmic time. Our algorithm is randomized and, per update, takes $O(\log^2 \Delta \cdot \log^2 n)$ expected time. Furthermore, the algorithm can be adjusted to have $O(\log^2 \Delta \cdot \log^4 n)$ worst-case update-time with high probability. Here, $n$ denotes the number of vertices and $\Delta$ is the maximum degree in the graph. The MIS problem in fully dynamic graphs has attracted significant attention after a breakthrough result of Assadi, Onak, Schieber, and Solomon [STOC'18] who presented an algorithm with $O(m^{3/4})$ update-time (and thus broke the natural $\Omega(m)$ barrier) where $m$ denotes the number of edges in the graph. This result was improved in a series of subsequent papers, though, the update-time remained polynomial. In particular, the fastest algorithm prior to our work had $\widetilde{O}(\min\{\sqrt{n}, m^{1/3}\})$ update-time [Assadi et al. SODA'19]. Our algorithm maintains the lexicographically first MIS over a random order of the vertices. As a result, the same algorithm also maintains a 3-approximation of correlation clustering. We also show that a simpler variant of our algorithm can be used to maintain a random-order lexicographically first maximal matching in the same update-time.


title: Maximum principle for stochastic recursive optimal control problem under model uncertainty

abstract: In this paper, we consider a stochastic recursive optimal control problem under model uncertainty. In this framework, the cost function is described by solutions of a family of backward stochastic differential equations. With the help of the linearization techniques and weak convergence methods, we derive the corresponding stochastic maximum principle. Moreover, a linear quadratic robust control problem is also studied.


title: Story Realization: Expanding Plot Events into Sentences

abstract: Neural network based approaches to automated story plot generation attempt to learn how to generate novel plots from a corpus of natural language plot summaries. Prior work has shown that a semantic abstraction of sentences called events improves neural plot generation and and allows one to decompose the problem into: (1) the generation of a sequence of events (event-to-event) and (2) the transformation of these events into natural language sentences (event-to-sentence). However, typical neural language generation approaches to event-to-sentence can ignore the event details and produce grammatically-correct but semantically-unrelated sentences. We present an ensemble-based model that generates natural language guided by events.We provide results---including a human subjects study---for a full end-to-end automated story generation system showing that our method generates more coherent and plausible stories than baseline approaches.


title: Nucleation and shape dynamics of model nematic tactoids around adhesive colloids

abstract: Recent experiments have shown how nematically-ordered tactoid shaped actin droplets can be reorganized and divided by the action of myosin molecular motors. In this paper, we consider how similar morphological changes can potentially be achieved under equilibrium conditions. Using simulations, both atomistic and continuum, and a phenomenological model, we explore how the nucleation dynamics, shape changes, and the final steady state of a nematic tactoid droplet can be modified by interactions with model adhesive colloids that mimic a myosin motor cluster. Our results provide a prescription for the minimal conditions required to stabilize tactoid reorganization and division in an equilibrium colloidal-nematic setting.


title: New Graph-based Features For Shape Recognition

abstract: Shape recognition is the main challenging problem in computer vision. Different approaches and tools are used to solve this problem. Most existing approaches to object recognition are based on pixels. Pixel-based methods are dependent on the geometry and nature of the pixels, so the destruction of pixels reduces their performance. In this paper, we study the ability of graphs as shape recognition. We construct a graph that captures the topological and geometrical properties of the object. Then, using the coordinate and relation of its vertices, we extract features that are robust to noise, rotation, scale variation, and articulation. To evaluate our method, we provide different comparisons with state-of-the-art results on various known benchmarks, including Kimia's, Tari56, Tetrapod, and Articulated dataset. We provide an analysis of our method against different variations. The results confirm our performance, especially against noise.


title: Anatomy-Aware Self-supervised Fetal MRI Synthesis from Unpaired Ultrasound Images

abstract: Fetal brain magnetic resonance imaging (MRI) offers exquisite images of the developing brain but is not suitable for anomaly screening. For this ultrasound (US) is employed. While expert sonographers are adept at reading US images, MR images are much easier for non-experts to interpret. Hence in this paper we seek to produce images with MRI-like appearance directly from clinical US images. Our own clinical motivation is to seek a way to communicate US findings to patients or clinical professionals unfamiliar with US, but in medical image analysis such a capability is potentially useful, for instance, for US-MRI registration or fusion. Our model is self-supervised and end-to-end trainable. Specifically, based on an assumption that the US and MRI data share a similar anatomical latent space, we first utilise an extractor to determine shared latent features, which are then used for data synthesis. Since paired data was unavailable for our study (and rare in practice), we propose to enforce the distributions to be similar instead of employing pixel-wise constraints, by adversarial learning in both the image domain and latent space. Furthermore, we propose an adversarial structural constraint to regularise the anatomical structures between the two modalities during the synthesis. A cross-modal attention scheme is proposed to leverage non-local spatial correlations. The feasibility of the approach to produce realistic looking MR images is demonstrated quantitatively and with a qualitative evaluation compared to real fetal MR images.


title: Vector polarizability of atomic state induced by a linearly polarized vortex beam: External control of magic, tune-out wavelengths, and heteronuclear spin oscillations

abstract: Experiments with vortex beams have shown a surge of interest in controlling cold atoms. Most of the controlling protocols are dominated by circularly polarized light due to its ability to induce vector polarization at atoms, which is impossible for paraxial linearly polarized light. Here we develop a theory for frequency dependent polarizability of an atomic state interacting with a focused linearly polarized vortex beam. The naturally induced spin-orbit coupling in this type of linearly polarized beam produces vector component of the valence polarizability to an atomic state, obeying the total angular momentum conservation of the beam. The theory is employed on $^{87}$Sr$^{+}$ ion to accurately calculate the magic wavelengths for the clock transitions and tune-out wavelengths for the clock states using relativistic coupled-cluster method. The induced vector component in the dynamic polarizability due to the linearly polarized focused vortex beam promotes fictitious magnetic field to the atomic state. We demonstrate that this fictitious magnetic field, depending on the focusing angle and OAM of the beam, improves the flexibility of the coherent heteronuclear spin oscillations in a spin-1 mixture of $^{87}$Rb and $^{23}$Na atoms.


title: On the Convergence Properties of Social Hegselmann-Krause Dynamics

abstract: We study the convergence properties of Social Hegselmann-Krause dynamics, a {variant} of the Hegselmann-Krause (HK) model of opinion dynamics where a physical connectivity graph that accounts for the extrinsic factors that could prevent interaction between certain pairs of agents is incorporated. As opposed to the original HK dynamics (which terminate in finite time), we show that for any underlying connected and incomplete graph, under a certain mild assumption, the expected termination time of social HK dynamics is infinity. We then investigate the rate of convergence to the steady state, and provide bounds on the maximum $\epsilon$-convergence time in terms of the properties of the physical connectivity graph. We extend this discussion and observe that for almost all $n$, there exists an $n$-vertex physical connectivity graph on which social HK dynamics may not even $\epsilon$-converge to the steady state within a bounded time frame. We then provide nearly tight necessary and sufficient conditions for arbitrarily slow merging (a phenomenon that is essential for arbitrarily slow $\epsilon$-convergence to the steady state). Using the necessary conditions, we show that complete $r$-partite graphs have bounded $\epsilon$-convergence times.


title: How Data Scientists Work Together With Domain Experts in Scientific Collaborations: To Find The Right Answer Or To Ask The Right Question?

abstract: In recent years there has been an increasing trend in which data scientists and domain experts work together to tackle complex scientific questions. However, such collaborations often face challenges. In this paper, we aim to decipher this collaboration complexity through a semi-structured interview study with 22 interviewees from teams of bio-medical scientists collaborating with data scientists. In the analysis, we adopt the Olsons' four-dimensions framework proposed in Distance Matters to code interview transcripts. Our findings suggest that besides the glitches in the collaboration readiness, technology readiness, and coupling of work dimensions, the tensions that exist in the common ground building process influence the collaboration outcomes, and then persist in the actual collaboration process. In contrast to prior works' general account of building a high level of common ground, the breakdowns of content common ground together with the strengthen of process common ground in this process is more beneficial for scientific discovery. We discuss why that is and what the design suggestions are, and conclude the paper with future directions and limitations.


title: A dichotomy of sets via typical differentiability

abstract: We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function, namely, that it cannot be covered by countably many sets, each of which is closed and purely unrectifiable (has zero length intersection with every $C^1$ curve). Surprisingly, we establish that any set failing this criterion witnesses the opposite extreme of typical behaviour: In any such coverable set a typical Lipschitz function is everywhere severely non-differentiable.


title: Probabilistic Convergence and Stability of Random Mapper Graphs

abstract: We study the probabilistic convergence between the mapper graph and the Reeb graph of a topological space $\mathbb{X}$ equipped with a continuous function $f: \mathbb{X} \rightarrow \mathbb{R}$. We first give a categorification of the mapper graph and the Reeb graph by interpreting them in terms of cosheaves and stratified covers of the real line $\mathbb{R}$. We then introduce a variant of the classic mapper graph of Singh et al.~(2007), referred to as the enhanced mapper graph, and demonstrate that such a construction approximates the Reeb graph of $(\mathbb{X}, f)$ when it is applied to points randomly sampled from a probability density function concentrated on $(\mathbb{X}, f)$. Our techniques are based on the interleaving distance of constructible cosheaves and topological estimation via kernel density estimates. Following Munch and Wang (2018), we first show that the mapper graph of $(\mathbb{X}, f)$, a constructible $\mathbb{R}$-space (with a fixed open cover), approximates the Reeb graph of the same space. We then construct an isomorphism between the mapper of $(\mathbb{X},f)$ to the mapper of a super-level set of a probability density function concentrated on $(\mathbb{X}, f)$. Finally, building on the approach of Bobrowski et al.~(2017), we show that, with high probability, we can recover the mapper of the super-level set given a sufficiently large sample. Our work is the first to consider the mapper construction using the theory of cosheaves in a probabilistic setting. It is part of an ongoing effort to combine sheaf theory, probability, and statistics, to support topological data analysis with random data.


title: Multiway Cluster Robust Double/Debiased Machine Learning

abstract: This paper investigates double/debiased machine learning (DML) under multiway clustered sampling environments. We propose a novel multiway cross fitting algorithm and a multiway DML estimator based on this algorithm. We also develop a multiway cluster robust standard error formula. Simulations indicate that the proposed procedure has favorable finite sample performance. Applying the proposed method to market share data for demand analysis, we obtain larger two-way cluster robust standard errors than non-robust ones.


title: An Economic Topology of the Brexit vote

abstract: A desire to understand the decision of the UK to leave the European Union, Brexit, in the referendum of June 2016 has continued to occupy academics, the media and politicians. Using topological data analysis ball mapper we extract information from multi-dimensional datasets gathered on Brexit voting and regional socio-economic characteristics. While we find broad patterns consistent with extant empirical work, we also evidence that support for Leave drew from a far more homogenous demographic than Remain. Obtaining votes from this concise set was more straightforward for Leave campaigners than was Remain's task of mobilising a diverse group to oppose Brexit.


title: SwarmTouch: Tactile Interaction of Human with Impedance Controlled Swarm of Nano-Quadrotors

abstract: We propose a novel interaction strategy for a human-swarm communication when a human operator guides a formation of quadrotors with impedance control and receives vibrotactile feedback. The presented approach takes into account the human hand velocity and changes the formation shape and dynamics accordingly using impedance interlinks simulated between quadrotors, which helps to achieve a life-like swarm behavior. Experimental results with Crazyflie 2.0 quadrotor platform validate the proposed control algorithm. The tactile patterns representing dynamics of the swarm (extension or contraction) are proposed. The user feels the state of the swarm at his fingertips and receives valuable information to improve the controllability of the complex life-like formation. The user study revealed the patterns with high recognition rates. Subjects stated that tactile sensation improves the ability to guide the drone formation and makes the human-swarm communication much more interactive. The proposed technology can potentially have a strong impact on the human-swarm interaction, providing a new level of intuitiveness and immersion into the swarm navigation.


title: Weak and strong convergence theorems for enriched strictly pseudocontractive operators in Hilbert spaces

abstract: In this paper, we introduce and study the class of {\it enriched strictly pseudocontractive mappings} in Hilbert spaces and extend the corresponding convergence theorem (Theorem 12) in [Browder, F. E., Petryshyn, W. V., {\it Construction of fixed points of nonlinear mappings in Hilbert space}, J. Math. Anal. Appl. {\bf 20} (1967), 197--228] and Theorem 3.1 in [Marino, G., Xu, H.-K., {\it Weak and strong convergence theorems for strict pseudo-contractions in Hilbert spaces}, J. Math. Anal. Appl. {\bf 329} (2007), no. 1, 336--346], from the class of strictly pseudocontractive mappings to that of enriched strictly pseudocontractive mappings and thus include many other important related results from literature as particular cases.


title: MULE: Multimodal Universal Language Embedding

abstract: Existing vision-language methods typically support two languages at a time at most. In this paper, we present a modular approach which can easily be incorporated into existing vision-language methods in order to support many languages. We accomplish this by learning a single shared Multimodal Universal Language Embedding (MULE) which has been visually-semantically aligned across all languages. Then we learn to relate MULE to visual data as if it were a single language. Our method is not architecture specific, unlike prior work which typically learned separate branches for each language, enabling our approach to easily be adapted to many vision-language methods and tasks. Since MULE learns a single language branch in the multimodal model, we can also scale to support many languages, and languages with fewer annotations can take advantage of the good representation learned from other (more abundant) language data. We demonstrate the effectiveness of MULE on the bidirectional image-sentence retrieval task, supporting up to four languages in a single model. In addition, we show that Machine Translation can be used for data augmentation in multilingual learning, which, combined with MULE, improves mean recall by up to 21.9% on a single-language compared to prior work, with the most significant gains seen on languages with relatively few annotations. Our code is publicly available.


title: Approximating fixed points of enriched Chatterjea contractions by Krasnoselskij iterative method in Banach spaces

abstract: Using the technique of enrichment of contractive type mappings by Krasnoselskij averaging, introduced in [Berinde, V., {\it Approximating fixed points of enriched nonexpansive mappings by Krasnoselskij iteration in Hilbert spaces}, Carpathian J. Math. {\bf 35} (2019), no. 3, 277-288.], we introduce the class of enriched Chatterjea contractions and prove general fixed point theorems for such contractions in the setting of a Banach space. Examples to illustrate the richness of the new class of contractions and the relationship between enriched Banach contractions, enriched Kannan contractions and enriched Kannan contractions are also given.


title: Shapley Values of Reconstruction Errors of PCA for Explaining Anomaly Detection

abstract: We present a method to compute the Shapley values of reconstruction errors of principal component analysis (PCA), which is particularly useful in explaining the results of anomaly detection based on PCA. Because features are usually correlated when PCA-based anomaly detection is applied, care must be taken in computing a value function for the Shapley values. We utilize the probabilistic view of PCA, particularly its conditional distribution, to exactly compute a value function for the Shapely values. We also present numerical examples, which imply that the Shapley values are advantageous for explaining detected anomalies than raw reconstruction errors of each feature.


title: Devign: Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks

abstract: Vulnerability identification is crucial to protect the software systems from attacks for cyber security. It is especially important to localize the vulnerable functions among the source code to facilitate the fix. However, it is a challenging and tedious process, and also requires specialized security expertise. Inspired by the work on manually-defined patterns of vulnerabilities from various code representation graphs and the recent advance on graph neural networks, we propose Devign, a general graph neural network based model for graph-level classification through learning on a rich set of code semantic representations. It includes a novel Conv module to efficiently extract useful features in the learned rich node representations for graph-level classification. The model is trained over manually labeled datasets built on 4 diversified large-scale open-source C projects that incorporate high complexity and variety of real source code instead of synthesis code used in previous works. The results of the extensive evaluation on the datasets demonstrate that Devign outperforms the state of the arts significantly with an average of 10.51% higher accuracy and 8.68\% F1 score, increases averagely 4.66% accuracy and 6.37% F1 by the Conv module.


title: Semi-explicit discretization schemes for weakly-coupled elliptic-parabolic problems

abstract: We prove first-order convergence of the semi-explicit Euler scheme combined with a finite element discretization in space for elliptic-parabolic problems which are weakly coupled. This setting includes poroelasticity, thermoelasticity, as well as multiple-network models used in medical applications. The semi-explicit approach decouples the system such that each time step requires the solution of two small and well-structured linear systems rather than the solution of one large system. The decoupling improves the computational efficiency without decreasing the convergence rates. The presented convergence proof is based on an interpretation of the scheme as an implicit method applied to a constrained partial differential equation with delay term. Here, the delay time equals the used step size. This connection also allows a deeper understanding of the weak coupling condition, which we accomplish to quantify explicitly.


title: Non-producibility of arbitrary non-Gaussian states using zero-mean Gaussian states and partial photon number resolving detection

abstract: Gaussian states and measurements collectively are not powerful-enough resources for quantum computing, as any Gaussian dynamics can be simulated efficiently, classically. However, it is known that any one non-Gaussian resource -- either a state, a unitary operation, or a measurement -- together with Gaussian unitaries, makes for universal quantum resources. Photon number resolving (PNR) detection, a readily-realizable non-Gaussian measurement, has been a popular tool to try and engineer non-Gaussian states for universal quantum processing. In this paper, we consider PNR detection of a subset of the modes of a zero-mean pure multi-mode Gaussian state as a means to herald a target non-Gaussian state on the undetected modes. This is motivated from the ease of scalable preparation of Gaussian states that have zero mean, using squeezed vacuum and passive linear optics. We calculate upper bounds on the fidelity between the actual heralded state and the target state. We find that this fidelity upper bound is $1/2$ when the target state is a multi-mode coherent cat-basis cluster state, a resource sufficient for universal quantum computing. This proves that there exist non-Gaussian states that are not producible by this method. Our fidelity upper bound is a simple expression that depends only on the target state represented in the photon-number basis, which could be applied to other non-Gaussian states of interest.


title: The representation theory of seam algebras

abstract: The boundary seam algebras $\mathsf{b}_{n,k}(\beta=q+q^{-1})$ were introduced by Morin-Duchesne, Ridout and Rasmussen to formulate algebraically a large class of boundary conditions for two-dimensional statistical loop models. The representation theory of these algebras $\mathsf{b}_{n,k}(\beta=q+q^{-1})$ is given: their irreducible, standard (cellular) and principal modules are constructed and their structure explicited in terms of their composition factors and of non-split short exact sequences. The dimensions of the irreducible modules and of the radicals of standard ones are also given. The methods proposed here might be applicable to a large family of algebras, for example to those introduced recently by Flores and Peltola, and Cramp\'e and Poulain d'Andecy.


title: Self-paced Ensemble for Highly Imbalanced Massive Data Classification

abstract: Many real-world applications reveal difficulties in learning classifiers from imbalanced data. The rising big data era has been witnessing more classification tasks with large-scale but extremely imbalance and low-quality datasets. Most of existing learning methods suffer from poor performance or low computation efficiency under such a scenario. To tackle this problem, we conduct deep investigations into the nature of class imbalance, which reveals that not only the disproportion between classes, but also other difficulties embedded in the nature of data, especially, noises and class overlapping, prevent us from learning effective classifiers. Taking those factors into consideration, we propose a novel framework for imbalance classification that aims to generate a strong ensemble by self-paced harmonizing data hardness via under-sampling. Extensive experiments have shown that this new framework, while being very computationally efficient, can lead to robust performance even under highly overlapping classes and extremely skewed distribution. Note that, our methods can be easily adapted to most of existing learning methods (e.g., C4.5, SVM, GBDT and Neural Network) to boost their performance on imbalanced data.


title: Semitoric systems of non-simple type

abstract: Within integrable systems, the class of so called "semitoric" integrable systems in dimension four has attracted a lot of attention in recent years, especially since fundamental examples from classical and quantum mechanics have been identified as semitoric by different groups of researchers. Several of these examples, however, show a particular trait not included in the original theory, that is, the presence of multiple (i.e. two or more) rank zero isolated singularities in the same energy-momentum level sets. Systems with this property are called non-simple. This paper extends the original theory of Pelayo and V\~u Ngoc to non-simple systems.


title: Epitaxial Growth of 2D Layered Transition Metal Dichalcogenides

abstract: Transition metal dichalcogenide (TMD) monolayers and heterostructures have emerged as a compelling class of materials with transformative new science that may be harnessed for novel device technologies. These materials are commonly fabricated by exfoliation of flakes from bulk crystals, but wafer-scale epitaxy of single crystal films is required to advance the field. This article reviews the fundamental aspects of epitaxial growth of van der Waals bonded crystals specific to TMD films. The structural and electronic properties of TMD crystals are initially described along with sources and methods used for vapor phase deposition. Issues specific to TMD epitaxy are critically reviewed including substrate properties and film-substrate orientation and bonding. The current status of TMD epitaxy on different substrate types is discussed along with characterization techniques for large area epitaxial films. Future directions are proposed including developments in substrates, in situ and full wafer characterization techniques and heterostructure growth.


title: Respiratory Rate Estimation from Face Videos

abstract: Vital signs, such as heart rate (HR), heart rate variability (HRV), respiratory rate (RR), are important indicators for a person's health. Vital signs are traditionally measured with contact sensors, and may be inconvenient and cause discomfort during continuous monitoring. Commercial cameras are promising contact-free sensors, and remote photoplethysmography (rPPG) have been studied to remotely monitor heart rate from face videos. For remote RR measurement, most prior art was based on small periodical motions of chest regions caused by breathing cycles, which are vulnerable to subjects' voluntary movements. This paper explores remote RR measurement based on rPPG obtained from face videos. The paper employs motion compensation, two-phase temporal filtering, and signal pruning to capture signals with high quality. The experimental results demonstrate that the proposed framework can obtain accurate RR results and can provide HR, HRV and RR measurement synergistically in one framework.


title: Some results on the Ryser design conjecture-II

abstract: A Ryser design $\mathcal{D}$ on $v$ points is a collection of $v$ proper subsets (called blocks) of a point-set with $v$ points satisfying (i) every two blocks intersect each other in $\lambda$ points for a fixed $\lambda < v$ (ii) there are at least two block sizes. A design $\mathcal{D}$ is called a symmetric design, if all the blocks of $\mathcal{D}$ have the same size (or equivalently, every point has the same replication number) and every two blocks intersect each other in $\lambda$ points. The only known construction of a Ryser design is via block complementation of a symmetric design also known as the Ryser-Woodall complementation method. Such a Ryser design is called a Ryser design of Type-1. The Ryser-Woodall conjecture states: "every Ryser design is of Type-1". Main results of the present article are the following. An expression for the inverse of the incidence matrix $\mathsf{A}$ of a Ryser design is obtained. A necessary condition for the design to be of Type-1 is obtained. A well known conjecture states that, for a Ryser design on \textit{v} points $\mbox{ }4\lambda-1\leq v\leq\lambda^2+\lambda+1$. A partial support for this conjecture is obtained. Finally a special case of Ryser designs with two block sizes is shown to be of Type-1.


title: Differentiation of measures on a non-separable space, and the Radon-Nikodym theorem

abstract: Given positive measures $\nu,\mu$ on an arbitrary measurable space $(\Omega, \mathcal F)$, we construct a sequence of finite partitions $(\pi_n)_n$ of $(\Omega, \mathcal F)$ s.t. $$ \sum_{A\in \pi_n: \mu(A)>0} 1_{A} \frac{\nu(A)}{\mu(A)} \longrightarrow \frac{d\nu^a}{d\mu} \quad \mu \text{ a.e. as } n\to \infty . $$ As an application, we modify the probabilistic proof of the Radon-Nikodym Theorem so that it uses convergence along a properly chosen sequence (instead of along a net), and so that it does not rely on the martingale convergence theorem (nor any probability theory), obtaining a completely elementary proof.


title: How much research output from India gets social media attention?

abstract: Scholarly articles are now increasingly being mentioned and discussed in social media platforms, sometimes even as pre- or post-print version uploads. Measures of social media mentions and coverage are now emerging as an alternative indicator of impact of scholarly articles. This article aims to explore how much scholarly research output from India is covered in different social media platforms, and how similar or different it is from the world average. It also analyses the discipline-wise variations in coverage and altmetric attention for Indian research output, including a comparison with the world average. Results obtained show interesting patterns. Only 28.5% of the total research output from India is covered in social media platforms, which is about 18% less than the world average. ResearchGate and Mendeley are the most popular social media platforms in India for scholarly article coverage. In terms of discipline-wise variation, medical sciences and biological sciences have relatively higher coverage across different platforms compared to disciplines like information science and engineering.


title: Hyperbolic polarized dynamics, pairs of inverse maps and the Dirichlet property

abstract: We explore some intersection properties of divisors associated to polarized dynamical systems on algebraic surfaces. As a consequence, we obtain necessary geometric conditions for the existence of polarizations of hyperbolic type and exhibit compactified divisors associated to automorphisms on K3 surfaces that do not have the Dirichlet property as defined by Moriwaki.


title: Transformer to CNN: Label-scarce distillation for efficient text classification

abstract: Significant advances have been made in Natural Language Processing (NLP) modelling since the beginning of 2018. The new approaches allow for accurate results, even when there is little labelled data, because these NLP models can benefit from training on both task-agnostic and task-specific unlabelled data. However, these advantages come with significant size and computational costs. This workshop paper outlines how our proposed convolutional student architecture, having been trained by a distillation process from a large-scale model, can achieve 300x inference speedup and 39x reduction in parameter count. In some cases, the student model performance surpasses its teacher on the studied tasks.


title: Lecture Notes on Quiver Representations and Moduli Problems in Algebraic Geometry

abstract: These lecture notes consist of an introduction to moduli spaces in algebraic geometry, with a strong emphasis placed on examples related to the theory of quiver representations. The goal is to provide the background necessary to understand the construction of the moduli spaces of stable and semistable quiver representations due to King, Nakajima's quiver varieties, as well as some 'quiver versions' of existing moduli spaces of algebra-geometric objects.


title: Bi-level Actor-Critic for Multi-agent Coordination

abstract: Coordination is one of the essential problems in multi-agent systems. Typically multi-agent reinforcement learning (MARL) methods treat agents equally and the goal is to solve the Markov game to an arbitrary Nash equilibrium (NE) when multiple equilibra exist, thus lacking a solution for NE selection. In this paper, we treat agents \emph{unequally} and consider Stackelberg equilibrium as a potentially better convergence point than Nash equilibrium in terms of Pareto superiority, especially in cooperative environments. Under Markov games, we formally define the bi-level reinforcement learning problem in finding Stackelberg equilibrium. We propose a novel bi-level actor-critic learning method that allows agents to have different knowledge base (thus intelligent), while their actions still can be executed simultaneously and distributedly. The convergence proof is given, while the resulting learning algorithm is tested against the state of the arts. We found that the proposed bi-level actor-critic algorithm successfully converged to the Stackelberg equilibria in matrix games and find an asymmetric solution in a highway merge environment.


title: Beyond Ternary OPV: High-Throughput Experimentation and Self-Driving Laboratories Optimize Multi-Component Systems

abstract: Fundamental advances to increase the efficiency as well as stability of organic photovoltaics (OPVs) are achieved by designing ternary blends which represents a clear trend towards multi-component active layer blends. We report the development of high-throughput and autonomous experimentation methods for the effective optimization of multi-component polymer blends for OPVs. A method for automated film formation enabling the fabrication of up to 6048 films per day is introduced. Equipping this automated experimentation platform with a Bayesian optimization, a self-driving laboratory is constructed that autonomously evaluates measurements to design and execute the next experiments. To demonstrate the potential of these methods, a four-dimensional parameter space of quaternary OPV blends is mapped and optimized for photo-stability. While with conventional approaches roughly 100 mg of material would be necessary, the robot based platform can screen 2,000 combinations with less than 10 mg and machine learning enabled autonomous experimentation identifies the stable compositions with less than 1 mg.


title: Bubble Tree Convergence of Conformally Cross Product Preserving Maps

abstract: We study a class of weakly conformal $3$-harmonic maps, called associative Smith maps, from $3$-manifolds into $7$-manifolds that parametrize associative $3$-folds in Riemannian $7$-manifolds equipped with $\mathrm{G}_2$-structures. Associative Smith maps are solutions of a conformally invariant nonlinear first order PDE system, called the Smith equation, that may be viewed as a $\mathrm{G}_2$-analogue of the Cauchy-Riemann system for $J$-holomorphic curves. In this paper, we show that associative Smith maps enjoy many of the same analytic properties as $J$-holomorphic curves in symplectic geometry. In particular, we prove: (i) an interior regularity theorem, (ii) a removable singularity result, (iii) an energy gap result, and (iv) a mean-value inequality. While our approach is informed by the holomorphic curve case, a number of nontrivial extensions are involved, primarily due to the degeneracy of the Smith equation. At the heart of above results is an $\varepsilon$-regularity theorem that gives quantitative $C^{1,\beta}$-regularity of $W^{1,3}$ associative Smith maps under a smallness assumption on the $3$-energy. The proof combines previous work on weakly $3$-harmonic maps and the observation that the associative Smith equation demonstrates a certain "compensation phenomenon" that shows up in many other geometric PDEs. Combining these analytical properties and the conformal invariance of the Smith equation, we explain how sequences of associative Smith maps with bounded $3$-energy may be conformally rescaled to yield bubble trees of such maps. When the $\mathrm{G}_2$-structure is closed, we prove that both the $3$-energy and the homotopy are preserved in the bubble tree limit. This result may be regarded as an associative analogue of Gromov's Compactness Theorem in symplectic geometry.


title: Biphoton shaping with cascaded entangled-photon sources

abstract: Quantum entanglement is an integral part of quantum optics and has been exploited in areas such as computation, cryptography and metrology. The entanglement between photons can be present in various degrees of freedom (DOFs), and even the simplest bi-partite systems can occupy a large Hilbert space. Therefore, it is desirable to exploit this multi-dimensional space for various quantum applications by fully controlling the properties of the entangled photons in multiple DOFs. While current entangled-photon sources are capable of generating entanglement in one or more DOFs, there is currently a lack of practical techniques that can shape and control the entanglement properties in multiple DOFs. Here we show that cascading two or more entangled-photon sources with tunable linear media in between allows us to generate photon-pairs whose entanglement properties can be tailored and shaped in the frequency and polarisation domains. We first develop a quantum mechanical model to study the quantum state generated from the cascade structure with special considerations paid to the effects of pump temporal coherence, linear dispersion, and in-structure polarisation transformation applied between the entangled-photon sources. We then experimentally generate photon-pairs with tunable entanglement properties by manipulating the dispersion and birefringence properties of the linear medium placed in between two entangled-photon sources. This is done in an all-fibre, phase stable, and alignment-free configuration. Our results show that the cascade structure offers a great deal of flexibility in tuning the properties of entangled photons in multiple DOFs, opening up a new avenue in engineering quantum light sources.


title: Harmonic Fingerprint of Unconventional Superconductivity in Twisted Bilayer Graphene

abstract: Microscopic details such as interactions and Fermiology determine the structure of superconducting pairing beyond the spatial symmetry classification along irreducible point group representations. From the effective pairing vertex, the pairing wave function related to superconducting order unfolds in its orbital-resolved Fourier profile which we call the harmonic fingerprint (HFP). The HFP allows to formulate a concise connection between microsopic parameter changes and their impact on superconductivity. From a random phase approximation analysis of twisted bilayer graphene (TBG) involving $d+id$, $s_{\pm}$, and $f$-wave order, we find that nonlocal interactions, which unavoidably enter the low-energy electronic description of TBG, not only increase the weight of higher lattice harmonics but also have a significant effect on the orbital structure of these pairing states. For gapped unconventional superconducting order such as $s_{\pm}$ and $d+id$, a change in HPF induces enhanced gap anisotropies. Experimental implications to distinguish the different gaps and HPFs are also discussed.


title: VLA cm-wave survey of young stellar objects in the Oph A cluster: constraining extreme UV- and X-ray-driven disk photo-evaporation -- A pathfinder for Square Kilometre Array studies

abstract: Observations of young stellar objects (YSOs) in centimeter bands can probe the continuum emission from growing dust grains, ionized winds, and magnetospheric activity, which are intimately connected to the evolution of protoplanetary disks and the formation of planets. We have carried out sensitive continuum observations toward the Ophiuchus A star-forming region using the Karl G. Jansky Very Large Array (VLA) at 10 GHz over a field-of-view of 6$'$ with a spatial resolution of $\theta_{maj}$ $\times$ $\theta_{min}$ $\sim$ 0.4$''$ $\times$ 0.2$''$. We achieved a 5 $\mu$Jy beam$^{-1}$ root-mean-square noise level at the center of our mosaic field of view. Among the eighteen sources we detected, sixteen are YSOs (three Class 0, five Class I, six Class II, and two Class III) and two are extragalactic candidates. We find that thermal dust emission generally contributes less that 30% of the emission at 10 GHz. The radio emission is dominated by other types of emission such as gyro-synchrotron radiation from active magnetospheres, free-free emission from thermal jets, free-free emission from the outflowing photo-evaporated disk material, and/or synchrotron emission from accelerated cosmic-rays in jet or protostellar surface shocks. These different types of emission could not be clearly disentangled. Our non-detections towards Class II/III disks suggest that extreme UV-driven photoevaporation is insufficient to explain the disk dispersal, assuming that the contribution of UV photoevaporating stellar winds to radio flux does not evolve with time. The sensitivity of our data cannot exclude photoevaporation due to X-ray photons as an efficient mechanism for disk dispersal. Deeper surveys with the Square Kilometre Array will be able to provide strong constraints on disk photoevaporation.


title: On Improved Statistical Accuracy of Low-Order Polynomial Chaos Approximations

abstract: Polynomial chaos expansion is a popular way to develop surrogate models for stochastic systems with arbitrary random variables. Standard techniques such as Galerkin projection, stochastic collocation, and least squares approximation, are applied to determine polynomial chaos coefficients, which define the surrogate model. Since the surrogate models are developed from a function approximation perspective, there is no reason to expect accuracy of statistics from these models. The statistical moments estimated from the surrogate model may significantly differ from the true moments, especially for lower order approximations. Often arbitrary high orders are required to recover, for example, the second moment. In this paper, we present modifications of standard techniques and determine polynomial chaos coefficients by solving a constrained optimization problem. We present this new approach for algebraic functions and differential equations with random parameters, and demonstrate that the surrogate models from the new approach are able to recover the first two moments exactly.


title: Dispersion Interaction between Two Hydrogen Atoms in a Static Electric Field

abstract: We consider the dispersion interaction between two ground-state hydrogen atoms, interacting with the quantum electromagnetic field in the vacuum state, in the presence of an external static electric field, both in the nonretarded and in the retarded Casimir-Polder regime. We show that the presence of the external field strongly modifies the dispersion interaction between the atoms, changing its space dependence. Moreover, we find that, for specific geometrical configurations of the two atoms with respect to the external field and/or the relative orientation of the fields acting on the two atoms, it is possible to change the character of the dispersion force, turning it from attractive to repulsive, or even make it vanishing. This new finding clearly shows the possibility to control and tailor interatomic dispersion interactions through external actions. By a numerical estimate of the field-modified interaction, we show that at typical interatomic distances the change of the interaction's strength can match or even outmatch the unperturbed interaction; this can be obtained for values of the external field that can be currently achieved in the laboratory, and sufficiently weak to be taken into account perturbatively.


title: The Essence of Petri Net Gluings

abstract: Many categorical frameworks have been proposed to formalize the idea of gluing Petri nets with each other. Such frameworks model net gluings in terms of sharing of resources or synchronization of transitions. Interpretations given to these gluings are more or less satisfactory when we consider Petri nets with a semantics attached to them. In this work, we define a framework to compose Petri nets together in such a way that their semantics is respected. In addition to this, we show how our framework generalizes the previously defined ones.


title: Tungsten migration energy barriers for surface diffusion: a parameterization for KMC simulations

abstract: We have calculated the migration barriers for surface diffusion on Tungsten. Our results form a self-sufficient parameterization for Kinetic Monte Carlo simulations of arbitrarily rough atomic tungsten surfaces, as well as nanostructures such as nanotips and nanoclusters. The parameterization includes first- and second-nearest neighbour atom jump processes, as well as a third-nearest neighbour exchange process. The migration energy barriers of all processes are calculated with the Nudged Elastic Band method. The same attempt frequency for all processes is found sufficient and the value is fitted to Molecular Dynamics simulations. The model is validated by correctly simulating with Kinetic Monte Carlo the energetically favourable W nanocluster shapes, in good agreement with Molecular Dynamics simulations.


title: Tunable signal velocity in the integer quantum Hall effect of tailored graphene

abstract: Topological properties in condensed matter physics are often claimed to be a fruitful resource for technical applications, but so far they only play a minor role in applications. Here we propose to put topological edge states to use in tailored graphene for Fermi velocity engineering. By tuning external control parameters such as gate voltages, the dispersions of the edge states regime are modified in a controllable way. This enables the realizations of devices such as tunable delay lines and interferometers with switchable delays.


title: Universal Taylor Series on products of planar domains

abstract: Using a recent Mergelyan type theorem for products of planar compact sets we establish generic existence of Universal Taylor Series on products of planar simply connected domains Omegai, i=1, . . . , d. The universal approximation is realized by partial sums of the Taylor development of the universal function on products of planar compact sets Ki, i=1, . . . , d such that the complement of Ki is connected and for at least one i0 the set Ki0 is disjoint from Omegai0.


title: MIDI-Sandwich2: RNN-based Hierarchical Multi-modal Fusion Generation VAE networks for multi-track symbolic music generation

abstract: Currently, almost all the multi-track music generation models use the Convolutional Neural Network (CNN) to build the generative model, while the Recurrent Neural Network (RNN) based models can not be applied in this task. In view of the above problem, this paper proposes a RNN-based Hierarchical Multi-modal Fusion Generation Variational Autoencoder (VAE) network, MIDI-Sandwich2, for multi-track symbolic music generation. Inspired by VQ-VAE2, MIDI-Sandwich2 expands the dimension of the original hierarchical model by using multiple independent Binary Variational Autoencoder (BVAE) models without sharing weights to process the information of each track. Then, with multi-modal fusion technology, the upper layer named Multi-modal Fusion Generation VAE (MFG-VAE) combines the latent space vectors generated by the respective tracks, and uses the decoder to perform the ascending dimension reconstruction to simulate the inverse operation of multi-modal fusion, multi-modal generation, so as to realize the RNN-based multi-track symbolic music generation. For the multi-track format pianoroll, we also improve the output binarization method of MuseGAN, which solves the problem that the refinement step of the original scheme is difficult to differentiate and the gradient is hard to descent, making the generated song more expressive. The model is validated on the Lakh Pianoroll Dataset (LPD) multi-track dataset. Compared to the MuseGAN, MIDI-Sandwich2 can not only generate harmonious multi-track music, the generation quality is also close to the state of the art level. At the same time, by using the VAE to restore songs, the semi-generated songs reproduced by the MIDI-Sandwich2 are more beautiful than the pure autogeneration music generated by MuseGAN. Both the code and the audition audio samples are open source on https://github.com/LiangHsia/MIDI-S2.


title: Obsidian: Typestate and Assets for Safer Blockchain Programming

abstract: Blockchain platforms are coming into broad use for processing critical transactions among participants who have not established mutual trust. Many blockchains are programmable, supporting smart contracts, which maintain persistent state and support transactions that transform the state. Unfortunately, bugs in many smart contracts have been exploited by hackers. Obsidian is a novel programming language with a type system that enables static detection of bugs that are common in smart contracts today. Obsidian is based on a core calculus, Silica, for which we proved type soundness. Obsidian uses typestate to detect improper state manipulation and uses linear types to detect abuse of assets. We describe two case studies that evaluate Obsidian's applicability to the domains of parametric insurance and supply chain management, finding that Obsidian's type system facilitates reasoning about high-level states and ownership of resources. We compared our Obsidian implementation to a Solidity implementation, observing that the Solidity implementation requires much boilerplate checking and tracking of state, whereas Obsidian does this work statically.


title: Evaluating Topic Quality with Posterior Variability

abstract: Probabilistic topic models such as latent Dirichlet allocation (LDA) are popularly used with Bayesian inference methods such as Gibbs sampling to learn posterior distributions over topic model parameters. We derive a novel measure of LDA topic quality using the variability of the posterior distributions. Compared to several existing baselines for automatic topic evaluation, the proposed metric achieves state-of-the-art correlations with human judgments of topic quality in experiments on three corpora. We additionally demonstrate that topic quality estimation can be further improved using a supervised estimator that combines multiple metrics.