title: Being correct is not enough: efficient verification using robust linear temporal logic

abstract: While most approaches in formal methods address system correctness, ensuring robustness has remained a challenge. In this paper we present and study the logic rLTL which provides a means to formally reason about both correctness and robustness in system design. Furthermore, we identify a large fragment of rLTL for which the verification problem can be efficiently solved, i.e., verification can be done by using an automaton, recognizing the behaviors described by the rLTL formula $\varphi$, of size at most $\mathcal{O} \left( 3^{ |\varphi|} \right)$, where $|\varphi|$ is the length of $\varphi$. This result improves upon the previously known bound of $\mathcal{O}\left(5^{|\varphi|} \right)$ for rLTL verification and is closer to the LTL bound of $\mathcal{O}\left( 2^{|\varphi|} \right)$. The usefulness of this fragment is demonstrated by a number of case studies showing its practical significance in terms of expressiveness, the ability to describe robustness, and the fine-grained information that rLTL brings to the process of system verification. Moreover, these advantages come at a low computational overhead with respect to LTL verification.


title: Kronecker Products, Low-Depth Circuits, and Matrix Rigidity

abstract: For a matrix $M$ and a positive integer $r$, the rank $r$ rigidity of $M$ is the smallest number of entries of $M$ which one must change to make its rank at most $r$. There are many known applications of rigidity lower bounds to a variety of areas in complexity theory, but fewer known applications of rigidity upper bounds. In this paper, we use rigidity upper bounds to prove new upper bounds in a few different models of computation. Our results include: $\bullet$ For any $d> 1$, and over any field $\mathbb{F}$, the $N \times N$ Walsh-Hadamard transform has a depth-$d$ linear circuit of size $O(d \cdot N^{1 + 0.96/d})$. This circumvents a known lower bound of $\Omega(d \cdot N^{1 + 1/d})$ for circuits with bounded coefficients over $\mathbb{C}$ by Pudl\'ak (2000), by using coefficients of magnitude polynomial in $N$. Our construction also generalizes to linear transformations given by a Kronecker power of any fixed $2 \times 2$ matrix. $\bullet$ The $N \times N$ Walsh-Hadamard transform has a linear circuit of size $\leq (1.81 + o(1)) N \log_2 N$, improving on the bound of $\approx 1.88 N \log_2 N$ which one obtains from the standard fast Walsh-Hadamard transform. $\bullet$ A new rigidity upper bound, showing that the following classes of matrices are not rigid enough to prove circuit lower bounds using Valiant's approach: $-$ for any field $\mathbb{F}$ and any function $f : \{0,1\}^n \to \mathbb{F}$, the matrix $V_f \in \mathbb{F}^{2^n \times 2^n}$ given by, for any $x,y \in \{0,1\}^n$, $V_f[x,y] = f(x \wedge y)$, and $-$ for any field $\mathbb{F}$ and any fixed-size matrices $M_1, \ldots, M_n \in \mathbb{F}^{q \times q}$, the Kronecker product $M_1 \otimes M_2 \otimes \cdots \otimes M_n$. This generalizes recent results on non-rigidity, using a simpler approach which avoids needing the polynomial method.


title: Extensions of Bundles of C*-algebras

abstract: Bundles of C*-algebras can be used to represent limits of physical theories whose algebraic structure depends on the value of a parameter. The primary example is the $\hbar\to 0$ limit of the C*-algebras of physical quantities in quantum theories, represented in the framework of strict deformation quantization. In this paper, we understand such limiting procedures in terms of the extension of a bundle of C*-algebras to some limiting value of a parameter. We prove existence and uniqueness results for such extensions. Moreover, we show that such extensions are functorial for the C*-product, dynamical automorphisms, and the Lie bracket (in the $\hbar\to 0$ case) on the fiber C*-algebras.


title: Characterization and recognition of handwritten digits using Julia

abstract: Automatic image and digit recognition is a computationally challenging task for image processing and pattern recognition, requiring an adequate appreciation of the syntactic and semantic importance of the image for the identification ofthe handwritten digits. Image and Pattern Recognition has been identified as one of the driving forces in the research areas because of its shifting of different types of applications, such as safety frameworks, clinical frameworks, diversion, and so on.In this study, for recognition, we implemented a hybrid neural network model that is capable of recognizing the digit of MNISTdataset and achieved a remarkable result. The proposed neural model network can extract features from the image and recognize the features in the layer by layer. To expand, it is so important for the neural network to recognize how the proposed modelcan work in each layer, how it can generate output, and so on. Besides, it also can recognize the auto-encoding system and the variational auto-encoding system of the MNIST dataset. This study will explore those issues that are discussed above, and the explanation for them, and how this phenomenon can be overcome.


title: A Genetic Algorithm with Tree-structured Mutation for Hyperparameter Optimisation of Graph Neural Networks

abstract: In recent years, graph neural networks (GNNs) have gained increasing attention, as they possess the excellent capability of processing graph-related problems. In practice, hyperparameter optimisation (HPO) is critical for GNNs to achieve satisfactory results, but this process is costly because the evaluations of different hyperparameter settings require excessively training many GNNs. Many approaches have been proposed for HPO, which aims to identify promising hyperparameters efficiently. In particular, the genetic algorithm (GA) for HPO has been explored, which treats GNNs as a black-box model, of which only the outputs can be observed given a set of hyperparameters. However, because GNN models are sophisticated and the evaluations of hyperparameters on GNNs are expensive, GA requires advanced techniques to balance the exploration and exploitation of the search and make the optimisation more effective given limited computational resources. Therefore, we proposed a tree-structured mutation strategy for GA to alleviate this issue. Meanwhile, we reviewed the recent HPO works, which gives room for the idea of tree-structure to develop, and we hope our approach can further improve these HPO methods in the future.


title: On Relative Pose Recovery for Multi-Camera Systems

abstract: The point correspondence (PC) and affine correspondence (AC) are widely used for relative pose estimation. An AC consists of a PC across two views and an affine transformation between the small patches around this PC. Previous work demonstrates that one AC generally provides three independent constraints for relative pose estimation. For multi-camera systems, there is still not any AC-based minimal solver for general relative pose estimation. To deal with this problem, we propose a complete solution to relative pose estimation from two ACs for multi-camera systems, consisting of a series of minimal solvers. The solver generation in our solution is based on Cayley or quaternion parameterization for rotation and hidden variable technique to eliminate translation. This solver generation method is also naturally applied to relative pose estimation from PCs, resulting in a new six-point method for multi-camera systems. A few extensions are made, including relative pose estimation with known rotation angle and/or with unknown focal lengths. Extensive experiments demonstrate that the proposed AC-based solvers and PC-based solvers are effective and efficient on synthetic and real-world datasets.


title: Positive Pressure Testing Booths Development and Deployment In Response To The COVID-19 Outbreak

abstract: The COVID-19 pandemic left an unprecedented impact on the general public health, resulting in thousands of deaths in the US alone. Nationwide testing plans were initiated to control the spread, with drive-through being the currently dominant testing approach, which, however, exhausts personal protective equipment supplies, and is unfriendly to individuals not owning a vehicle. Walk-up testing booths are a safe alternative, but are too prohibitively priced on the market to allow for nationwide deployment. In this paper, we present an accessible, mobile, affordable, and safe version of a positive-pressure COVID-19 testing booth. The booths are manufactured using primarily off-the-shelf components from US vendors with minimized customization. The booths' mobility allows them to be easily transported within local communities to test a larger subset of the population with fewer transportation options. Moreover, the final bill of materials does not surpass USD 3,900, which is about half of the market price. The booths are air conditioned and HEPA filtered to offer healthcare providers a safe and comfortable working environment. The prototype passed required pressure and air exchange tests, and was positively reviewed by two healthcare professionals. Currently, five booths are deployed and used at the Johns Hopkins University School of Nursing, Baltimore City Health Department, and two community health centers in Baltimore. Our design facilitates walk-up testing in the US, as it decreases PPE consumption; reduces the risk of infection; and is accessible to lower-income communities and non-drivers.


title: Cohesion and excitations of diamond-structure silicon by quantum Monte Carlo: Benchmarks and control of systematic biases

abstract: We have carried out quantum Monte Carlo (QMC) calculations of silicon crystal focusing on the accuracy and systematic biases that affect the electronic structure characteristics. The results show that 64 and 216 atom supercells provide an excellent consistency for extrapolated energies per atom in the thermodynamic limit for ground, excited, and ionized states. We have calculated the ground state cohesion energy with both $\textit{systematic and statistical errors}$ below $\approx$0.05 eV. The ground state exhibits a fixed-node error of only $1.3(2)\%$ of the correlation energy, suggesting an unusually high accuracy of the corresponding single-reference trial wave function. We obtain a very good agreement between optical and quasiparticle gaps that affirms the marginal impact of excitonic effects. Our most accurate results for band gaps differ from the experiments by about 0.2 eV. This difference is assigned to a combination of residual finite-size and fixed-node errors. We have estimated the crystal Fermi level referenced to vacuum that enabled us to calculate the edges of valence and conduction bands in agreement with experiments.


title: Cryogenic GaAs high-electron-mobility-transistor amplifier for current noise measurements

abstract: We show that a cryogenic amplifier composed of a homemade GaAs high-electron-mobility transistor (HEMT) is suitable for current-noise measurements in a mesoscopic device at dilution-refrigerator temperatures. The lower noise characteristics of our homemade HEMT leads to a lower noise floor in the experimental setup and enables more efficient current-noise measurement than is available with a commercial HEMT. We present the dc transport properties of the HEMT and the gain and noise characteristics of the amplifier. With the amplifier employed for current-noise measurements in a quantum point contact, we demonstrate the high resolution of the measurement setup by comparing it with that of the conventional one using a commercial HEMT.


title: Dissecting Sub-Cycle Interference in Photoelectron Holography

abstract: Multipath holographic interference in strong-field quantum tunnel ionization is key to revealing sub-Angstrom attosecond dynamics for molecular movies. This critical sub-cycle motion is often obscured by longer time-scale effects such as ring-shaped patterns that appear in above-threshold ionization (ATI). In the present work, we overcome this problem by combining two novel techniques in theory and experimental analysis: unit-cell averaging and time-filtering data and simulations. Together these suppress ATI rings and enable an unprecedented highly-detailed quantitative match between strong-field ionization experiments in argon and the Coulomb-quantum orbit strong-field approximation (CQSFA) theory. Velocity map images reveal fine modulations on the holographic spider-like interference fringes that form near the polarization axis. CQSFA theory traces this to the interference of three types of electron pathways. The level of agreement between experiment and theory allows sensitive determination of quantum phase differences and symmetries, providing an important tool for quantitative dynamical imaging in quantum systems.


title: Instability of ground states for the NLS equation with potential on the star graph

abstract: We study the nonlinear Schr\"odinger equation with an arbitrary real potential $V(x)\in (L^1+L^\infty)(\Gamma)$ on a star graph $\Gamma$. At the vertex an interaction occurs described by the generalized Kirchhoff condition with strength $-\gamma<0$. We show the existence of ground states $\varphi_{\omega}(x)$ as minimizers of the action functional on the Nehari manifold under additional negativity and decay conditions on $V(x)$. Moreover, for $V(x)=-\dfrac{\beta}{x^\alpha}$, in the supercritical case, we prove that the standing waves $e^{i\omega t}\varphi_{\omega}(x)$ are orbitally unstable in $H^{1}(\Gamma)$ when $\omega$ is large enough. Analogous result holds for an arbitrary $\gamma\in\mathbb{R}$ when the standing waves have symmetric profile.


title: Adversarial Robustness with Non-uniform Perturbations

abstract: Robustness of machine learning models is critical for security related applications, where real-world adversaries are uniquely focused on evading neural network based detectors. Prior work mainly focus on crafting adversarial examples (AEs) with small uniform norm-bounded perturbations across features to maintain the requirement of imperceptibility. However, uniform perturbations do not result in realistic AEs in domains such as malware, finance, and social networks. For these types of applications, features typically have some semantically meaningful dependencies. The key idea of our proposed approach is to enable non-uniform perturbations that can adequately represent these feature dependencies during adversarial training. We propose using characteristics of the empirical data distribution, both on correlations between the features and the importance of the features themselves. Using experimental datasets for malware classification, credit risk prediction, and spam detection, we show that our approach is more robust to real-world attacks. Finally, we present robustness certification utilizing non-uniform perturbation bounds, and show that non-uniform bounds achieve better certification.


title: Universal properties of the high- and low-{\alpha} disk: small intrinsic abundance scatter and migrating stars

abstract: The detailed age-chemical abundance relations of stars measures time-dependent chemical evolution.These trends offer strong empirical constraints on nucleosynthetic processes, as well as the homogeneityof star-forming gas. Characterizing chemical abundances of stars across the Milky Way over time has been made possible very recently, thanks to surveys like Gaia, APOGEE and Kepler. Studies of the low-${\alpha}$ disk have shown that individual elements have unique age-abundance trends and the intrinsic dispersion around these relations is small. In this study, we examine and compare the age distribution of stars across both the high and low-${\alpha}$ disk and quantify the intrinsic dispersion of 16 elements around their age-abundance relations at [Fe/H] = 0 using APOGEE DR16. We find the high-${\alpha}$ disk has shallower age-abundance relations compared to the low-${\alpha}$ disk, but similar median intrinsic dispersions of ~ 0.04 dex, suggesting universal element production mechanisms for the high and low-${\alpha}$ disks, despite differences in formation history. We visualize the temporal and spatial distribution of disk stars in small chemical cells, revealing signatures of upside-down and inside-out formation. Further,the metallicity skew and the [Fe/H]-age relations - across radius indicates different initial metallicity gradients and evidence for radial migration. Our study is accompanied by an age catalogue for 64,317 stars in APOGEE derived usingThe Cannon with ~ 1.9 Gyr uncertainty across all ages (APO-CAN stars) as well as a red clump catalogue of 22,031 stars with a contamination rate of 2.7%.


title: First Principles Calculation of Ballistic Current from Electron-Hole Interaction

abstract: The bulk photovoltaic effect (BPVE) has attracted an increasing interest due to its potential to overcome the efficiency limit of traditional photovoltaics, and much effort has been devoted to understanding its underlying physics. However, previous work has shown that theoretical models of the shift current and the phonon-assisted ballistic current in real materials do not fully account for the experimental BPVE photocurrent, and so other mechanisms should be investigated in order to obtain a complete picture of BPVE. In this Letter, we demonstrate two approaches that enable the ab initio calculation of the ballistic current originating from the electron-hole interaction in semiconductors. Using BaTiO$_3$ and MoS$_2$ as two examples, we show clearly that for them the asymmetric scattering from electron-hole interaction is less appreciable than that from electron-phonon interaction, indicating more scattering processes need to be included to further improve the BPVE theory. Moreover, our approaches build up a venue for predicting and designing materials with larger ballistic current due to electron-hole interactions.


title: Spontaneous double alpha decay: First experimental limit and prospects of investigation

abstract: Nuclear decays with simultaneous emission of two alpha particles are energetically possible for a number of nuclides. Prospects of searching for such kind of decay for nuclides present in the natural isotopic composition of elements are discussed here. The first experimental limit on half-life for 2alpha decay is set for 209Bi as T1/2 > 2.9e20 y at 90% C.L., using the data of work [P. de Marcillac et al., Nature 422 (2003) 876]. Theoretical T1/2 estimations for the process are also given. Using these values, which are on the level of 1e33 y or more, one can conclude that the prospects of experimental observation of 2alpha decay are very pessimistic.


title: Robust learning from noisy, incomplete, high-dimensional experimental data via physically constrained symbolic regression

abstract: Machine learning offers an intriguing alternative to first-principles analysis for discovering new physics from experimental data. However, to date, purely data-driven methods have only proven successful in uncovering physical laws describing simple, low-dimensional systems with low levels of noise. Here we demonstrate that combining a data-driven methodology with some general physical principles enables discovery of a quantitatively accurate model of a non-equilibrium spatially-extended system from high-dimensional data that is both noisy and incomplete. We illustrate this using an experimental weakly turbulent fluid flow where only the velocity field is accessible. We also show that this hybrid approach allows reconstruction of the inaccessible variables -- the pressure and forcing field driving the flow.


title: Practitioners' Perceptions of the Goals and Visual Explanations of Defect Prediction Models

abstract: Software defect prediction models are classifiers that are constructed from historical software data. Such software defect prediction models have been proposed to help developers optimize the limited Software Quality Assurance (SQA) resources and help managers develop SQA plans. Prior studies have different goals for their defect prediction models and use different techniques for generating visual explanations of their models. Yet, it is unclear what are the practitioners' perceptions of (1) these defect prediction model goals, and (2) the model-agnostic techniques used to visualize these models. We conducted a qualitative survey to investigate practitioners' perceptions of the goals of defect prediction models and the model-agnostic techniques used to generate visual explanations of defect prediction models. We found that (1) 82%-84% of the respondents perceived that the three goals of defect prediction models are useful; (2) LIME is the most preferred technique for understanding the most important characteristics that contributed to a prediction of a file, while ANOVA/VarImp is the second most preferred technique for understanding the characteristics that are associated with software defects in the past. Our findings highlight the significance of investigating how to improve the understanding of defect prediction models and their predictions. Hence, model-agnostic techniques from explainable AI domain may help practitioners to understand defect prediction models and their predictions.


title: Asymptotic Dynamics of Hamiltonian Polymatrix Replicators

abstract: In a previous paper [3] we have studied flows defined on polytopes, presenting a new method to encapsulate its asymptotic dynamics along the edge-vertex heteroclinic network. These results apply to the class of polymatrix replicator systems, which contains several important models in Evolutionary Game Theory. Here we establish the Hamiltonian character of the asymptotic dynamics of Hamiltonian polymatrix replicators.


title: Deep Learning Order Parameter for Polymer Phase Transition

abstract: We report a deep learning (DL) framework viz. deep autoencoder that autonomously discovers an appropriate order parameter from molecular dynamics (MD) simulation data to characterize the coil to globule phase transition of a polymer. The deep autoencoder encodes the 3N dimensional MD trajectory of a polymer in a one-dimensional feature space and, subsequently, decodes the one-dimensional feature to its original 3N dimensional polymer trajectory. The feature space representation of a polymer provides a new order parameter that accurately describes the coil to globule phase transition as a function of temperature. This method is very generic and extensible to identify flexible order parameters to characterize wide range of phase transitions that take place in polymers and other soft materials. Moreover, this MD-DL approach is computational very efficient than a pure MD based characterization of phase transition, and has potential implications in accelerating phase prediction.


title: PixSet : An Opportunity for 3D Computer Vision to Go Beyond Point Clouds With a Full-Waveform LiDAR Dataset

abstract: Leddar PixSet is a new publicly available dataset (dataset.leddartech.com) for autonomous driving research and development. One key novelty of this dataset is the presence of full-waveform data from the Leddar Pixell sensor, a solid-state flash LiDAR. Full-waveform data has been shown to improve the performance of perception algorithms in airborne applications but is yet to be demonstrated for terrestrial applications such as autonomous driving. The PixSet dataset contains approximately 29k frames from 97 sequences recorded in high-density urban areas, using a set of various sensors (cameras, LiDARs, radar, IMU, etc.) Each frame has been manually annotated with 3D bounding boxes.


title: Finding Signs of Life in Transit: High-resolution Transmission Spectra of Earth-like Planets around FGKM Host Stars

abstract: Thousands of transiting exoplanets have already been detected orbiting a wide range of host stars, including the first planets that could potentially be similar to Earth. The upcoming Extremely Large Telescopes and the James Webb Space Telescope will enable the first searches for signatures of life in transiting exoplanet atmospheres. Here, we quantify the strength of spectral features in transit that could indicate a biosphere similar to the modern Earth on exoplanets orbiting a wide grid of host stars (F0 to M8) with effective temperatures between 2,500 and 7,000K: transit depths vary between about 6,000ppm (M8 host) to 30 ppm (F0 host) due to the different sizes of the host stars. CO2 possesses the strongest spectral features in transit between 0.4 and 20microns. The atmospheric biosignature pairs O2+CH4 and O3+CH4 - which identify Earth as a living planet - are most prominent for Sun-like and cooler host stars in transit spectra of modern Earth analogs. Assessing biosignatures and water on such planets orbiting hotter stars than the Sun will be extremely challenging even for high-resolution observations. All high-resolution transit spectra and model profiles are available online: they provide a tool for observers to prioritize exoplanets for transmission spectroscopy, test atmospheric retrieval algorithms, and optimize observing strategies to find life in the cosmos. In the search for life in the cosmos, transiting planets provide the first opportunity to discover whether or not we are alone, with this database as one of the keys to optimize the search strategies.


title: Rainbow spanning trees in random subgraphs of dense regular graphs

abstract: We consider the following random model for edge-colored graphs. A graph $G$ on $n$ vertices is fixed, and a random subgraph $G_p$ is chosen by letting each edge of $G$ remain independently with probability $p$. Then, each edge of $G_p$ is colored uniformly at random from the set $[n-1]$. A result of Frieze and McKay (Random Structures and Algorithms, 1994) implies that when $G = K_n$ and $p = (2 + \epsilon) \frac{\log n}{n}$ for some constant $\epsilon > 0$, then $G_p$ almost surely contains a rainbow spanning tree. In this paper, we show that if $G$ is a $d$-regular $\Omega(n)$-edge-connected graph, then when $p = (2 + \epsilon) \frac {\log n}{d}$ for some constant $\epsilon > 0$, $G_p$ almost surely contains a rainbow spanning tree. Our main tool is a new edge-replacement method for rainbow forests.


title: Understanding and Mitigating Accuracy Disparity in Regression

abstract: With the widespread deployment of large-scale prediction systems in high-stakes domains, e.g., face recognition, criminal justice, etc., disparity in prediction accuracy between different demographic subgroups has called for fundamental understanding on the source of such disparity and algorithmic intervention to mitigate it. In this paper, we study the accuracy disparity problem in regression. To begin with, we first propose an error decomposition theorem, which decomposes the accuracy disparity into the distance between marginal label distributions and the distance between conditional representations, to help explain why such accuracy disparity appears in practice. Motivated by this error decomposition and the general idea of distribution alignment with statistical distances, we then propose an algorithm to reduce this disparity, and analyze its game-theoretic optima of the proposed objective functions. To corroborate our theoretical findings, we also conduct experiments on five benchmark datasets. The experimental results suggest that our proposed algorithms can effectively mitigate accuracy disparity while maintaining the predictive power of the regression models.


title: Complexity of non-trivial sound speed in inflation

abstract: In this paper, we study the impact of non-trivial sound on the evolution of cosmological complexity in inflationary period. The vacuum state of curvature perturbation could be treated as squeezed states with two modes, characterized by the two most essential parameters: angle parameter $\phi_k$ and squeezing parameter $r_k$. Through $Schr\ddot{o}dinger$ equation, one can obtain the corresponding evolution equation of $\phi_k$ and $r_k$. Subsequently, the quantum circuit complexity between a squeezed vacuum state and squeezed states are evaluated in scalar curvature perturbation with a type of non-trivial sound speed. Our results reveal that the evolution of complexity at early times shows the rapid solution comparing with $c_S=1$, in which we implement the resonant sound speed with various values of $\xi$. In these cases, it shows that the scrambling time will be lagged with non-vanishing $\xi$. Further, our methodology sheds a new way of distinguishing various cosmological models.


title: Spin texture in a bilayer high-temperature cuprate superconductor

abstract: We investigate the possibility of spin texture in the bilayer cuprate superconductor $\rm Bi_2Sr_2CaCu_2O_{8+\delta}$ using cluster dynamical mean field theory (CDMFT). The one-band Hubbard model with a small interlayer hopping and a Rashba spin-orbit coupling is used to describe the material. The $d$-wave order parameter is not much affected by the presence of the Rashba coupling, but a small triplet component appears. We find a spin texture circulating in the same direction around $\mathbf{k}=(0,0)$ and $\mathbf{k}=(\pi,\pi)$ and stable against the superconducting phase. The amplitude of the spin structure, however, is strongly affected by the pseudogap phenomenon, more so than the spectral function itself.


title: Scalable Subspace Methods for Derivative-Free Nonlinear Least-Squares Optimization

abstract: We introduce a general framework for large-scale model-based derivative-free optimization based on iterative minimization within random subspaces. We present a probabilistic worst-case complexity analysis for our method, where in particular we prove high-probability bounds on the number of iterations before a given optimality is achieved. This framework is specialized to nonlinear least-squares problems, with a model-based framework based on the Gauss-Newton method. This method achieves scalability by constructing local linear interpolation models to approximate the Jacobian, and computes new steps at each iteration in a subspace with user-determined dimension. We then describe a practical implementation of this framework, which we call DFBGN. We outline efficient techniques for selecting the interpolation points and search subspace, yielding an implementation that has a low per-iteration linear algebra cost (linear in the problem dimension) while also achieving fast objective decrease as measured by evaluations. Extensive numerical results demonstrate that DFBGN has improved scalability, yielding strong performance on large-scale nonlinear least-squares problems.


title: Annotating Motion Primitives for Simplifying Action Search in Reinforcement Learning

abstract: Reinforcement learning in large-scale environments is challenging due to the many possible actions that can be taken in specific situations. We have previously developed a means of constraining, and hence speeding up, the search process through the use of motion primitives; motion primitives are sequences of pre-specified actions taken across a state series. As a byproduct of this work, we have found that if the motion primitives' motions and actions are labeled, then the search can be sped up further. Since motion primitives may initially lack such details, we propose a theoretically viewpoint-insensitive and speed-insensitive means of automatically annotating the underlying motions and actions. We do this through a differential-geometric, spatio-temporal kinematics descriptor, which analyzes how the poses of entities in two motion sequences change over time. We use this descriptor in conjunction with a weighted-nearest-neighbor classifier to label the primitives using a limited set of training examples. In our experiments, we achieve high motion and action annotation rates for human-action-derived primitives with as few as one training sample. We also demonstrate that reinforcement learning using accurately labeled trajectories leads to high-performing policies more quickly than standard reinforcement learning techniques. This is partly because motion primitives encode prior domain knowledge and preempt the need to re-discover that knowledge during training. It is also because agents can leverage the labels to systematically ignore action classes that do not facilitate task objectives, thereby reducing the action space.


title: Enhancement of wave transmissions in multiple radiative and convective zones

abstract: In this paper, we study wave transmission in a rotating fluid with multiple alternating convectively stable and unstable layers. We have discussed wave transmissions in two different circumstances: cases where the wave is propagative in each layer and cases where wave tunneling occurs. We find that efficient wave transmission can be achieved by `resonant propagation' or `resonant tunneling', even when stable layers are strongly stratified, and we call this phenomenon `enhanced wave transmission'. Enhanced wave transmission only occurs when the total number of layers is odd (embedding stable layers are alternatingly embedded within clamping convective layers, or vise versa). For wave propagation, the occurrence of enhanced wave transmission requires that clamping layers have similar properties, the thickness of each clamping layer is close to a multiple of the half wavelength of the corresponding propagative wave, and the total thickness of embedded layers is close to a multiple of the half wavelength of the corresponding propagating wave (resonant propagation). For wave tunneling, we have considered two cases: tunneling of gravity waves and tunneling of inertial waves. In both cases, efficient tunneling requires that clamping layers have similar properties, the thickness of each embedded layer is much smaller than the corresponding e-folding decay distance, and the thickness of each clamping layer is close to a multiple-and-a-half of half wavelength (resonant tunneling).


title: Mean-field caging in a random Lorentz gas

abstract: The random Lorentz gas (RLG) is a minimal model of both percolation and glassiness, which leads to a paradox in the infinite-dimensional, $d\rightarrow\infty$ limit: the localization transition is then expected to be continuous for the former and discontinuous for the latter. As a putative resolution, we have recently suggested that as $d$ increases the behavior of the RLG converges to the glassy description, and that percolation physics is recovered thanks to finite-$d$ perturbative and non-perturbative (instantonic) corrections [Biroli et al. arXiv:2003.11179]. Here, we expand on the $d\rightarrow\infty$ physics by considering a simpler static solution as well as the dynamical solution of the RLG. Comparing the $1/d$ correction of this solution with numerical results reveals that even perturbative corrections fall out of reach of existing theoretical descriptions. Comparing the dynamical solution with the mode-coupling theory (MCT) results further reveals that although key quantitative features of MCT are far off the mark, it does properly capture the discontinuous nature of the $d\rightarrow\infty$ RLG. These insights help chart a path toward a complete description of finite-dimensional glasses.


title: Integrating out heavy fields in the path integral using the background-field method: general formalism

abstract: Building on an older method used to derive non-decoupling effects of a heavy Higgs boson in the Standard Model, we describe a general procedure to integrate out heavy fields in the path integral. The derivation of the corresponding effective Lagrangian including the one-loop contributions of the heavy particle(s) is particularly transparent, flexible, and algorithmic. The background-field formalism allows for a clear separation of tree-level and one-loop effects involving the heavy fields. Using expansion by regions the one-loop effects are further split into contributions from large and small momentum modes. The former are contained in Wilson coefficients of effective operators, the latter are reproduced by one-loop diagrams involving effective tree-level couplings. The method is illustrated by calculating potential non-decoupling effects of a heavy Higgs boson in a singlet Higgs extension of the Standard Model. In particular, we work in a field basis corresponding to mass eigenstates and properly take into account non-vanishing mixing between the two Higgs fields of the model. We also show that a proper choice of renormalization scheme for the non-standard sector of the underlying full theory is crucial for the construction of a consistent effective field theory.


title: Cwikel Estimates and Negative Eigenvalues of Schroedinger Operators on Noncommutative Tori

abstract: In this paper, we establish Cwikel-type estimates for noncommutative tori for any dimension~$n\geq 2$. We use them to derive Cwikel-Lieb-Rozenblum inequalities and and Lieb-Thirring inequalities for the number of negative eigenvalues of fractional Schroedinger operators on noncommutative tori in any dimension~$n\geq 2$. The latter leads to a Sobolev inequality for noncommutative tori. On the way we establish a "borderline version" of the abstract Birman-Schwinger principle for the number of negative eigenvalues of relatively compact form perturbations of a non-negative semi-bounded operator with isolated 0-eigenvalue.


title: Emergent Einstein Equation in p-adic CFT Tensor Networks

abstract: We take the tensor network describing explicit p-adic CFT partition functions proposed in [1], and considered boundary conditions of the network describing a deformed Bruhat-Tits (BT) tree geometry. We demonstrate that this geometry satisfies an emergent graph Einstein equation in a unique way that is consistent with the bulk effective matter action encoding the same correlation function as the tensor network, at least in the perturbative limit order by order away from the pure BT tree. Moreover, the (perturbative) definition of the graph curvature in the Mathematics literature naturally emerges from the consistency requirements of the emergent Einstein equation. This could provide new insights into the understanding of gravitational dynamics potentially encoded in more general tensor networks.

categories: hep-th cond-mat.str-el gr-qc math-ph math.MP quant-ph


title: Bending the Bruhat-Tits Tree I:Tensor Network and Emergent Einstein Equations

abstract: As an extended companion paper to [1], we elaborate in detail how the tensor network construction of a p-adic CFT encodes geometric information of a dual geometry even as we deform the CFT away from the fixed point by finding a way to assign distances to the tensor network. In fact we demonstrate that a unique (up to normalizations) emergent graph Einstein equation is satisfied by the geometric data encoded in the tensor network, and the graph Einstein tensor automatically recovers the known proposal in the mathematics literature, at least perturbatively order by order in the deformation away from the pure Bruhat-Tits Tree geometry dual to pure CFTs. Once the dust settles, it becomes apparent that the assigned distance indeed corresponds to some Fisher metric between quantum states encoding expectation values of bulk fields in one higher dimension. This is perhaps a first quantitative demonstration that a concrete Einstein equation can be extracted directly from the tensor network, albeit in the simplified setting of the p-adic AdS/CFT.


title: Bending the Bruhat-Tits Tree II: the p-adic BTZ Black hole and Local Diffeomorphism on the Bruhat-Tits Tree

abstract: In this sequel to [1], we take up a second approach in bending the Bruhat-Tits tree. Inspired by the BTZ black hole connection, we demonstrate that one can transplant it to the Bruhat-Tits tree, at the cost of defining a novel "exponential function" on the p-adic numbers that is hinted by the BT tree. We demonstrate that the PGL$(2,Q_p)$ Wilson lines [2] evaluated on this analogue BTZ connection is indeed consistent with correlation functions of a CFT at finite temperatures. We demonstrate that these results match up with the tensor network reconstruction of the p-adic AdS/CFT with a different cutoff surface at the asymptotic boundary, and give explicit coordinate transformations that relate the analogue p-adic BTZ background and the "pure" Bruhat-Tits tree background. This is an interesting demonstration that despite the purported lack of descendents in p-adic CFTs, there exists non-trivial local Weyl transformations in the CFT corresponding to diffeomorphism in the Bruhat-Tits tree.


title: Attractors for locally damped Bresse systems and a unique continuation property

abstract: This paper is devoted to Bresse systems, a robust model for circular beams, given by a set of three coupled wave equations. The main objective is to establish the existence of global attractors for dynamics of semilinear problems with localized damping. In order to deal with localized damping a unique continuation property (UCP) is needed. Therefore we also provide a suitable UCP for Bresse systems. Our strategy is to set the problem in a Riemannian geometry framework and see the system as a single equation with different Riemann metrics. Then we perform Carleman-type estimates to get our result.


title: Towards Optimized Distributed Multi-Robot Printing: An Algorithmic Approach

abstract: This paper presents a distributed multi-robot printing method which utilizes an optimization approach to decompose and allocate a printing task to a group of mobile robots. The motivation for this problem is to minimize the printing time of the robots by using an appropriate task decomposition algorithm. We present one such algorithm which decomposes an image into rasterized geodesic cells before allocating them to the robots for printing. In addition to this, we also present the design of a numerically controlled holonomic robot capable of spraying ink on smooth surfaces. Further, we use this robot to experimentally verify the results of this paper.


title: The prelimit generator comparison approach of Stein's method

abstract: This paper uses the generator comparison approach of Stein's method to analyze the gap between steady-state distributions of Markov chains and diffusion processes. The "standard" generator comparison approach starts with the Poisson equation for the diffusion, and the main technical difficulty is to obtain bounds on the derivatives of the solution to the Poisson equation, also known as Stein factor bounds. In this paper we propose starting with the Poisson equation of the Markov chain; we term this the prelimit approach. Although one still needs Stein factor bounds, they now correspond to finite differences of the Markov chain Poisson equation solution rather than the derivatives of the solution to the diffusion Poisson equation. In certain cases, the former are easier to obtain. We use the $M/M/1$ model as a simple working example to illustrate our approach.


title: Cylindrical spikes

abstract: The Geroch/Stephani transformation is a solution-generating transformation, and may generate spiky solutions. The spikes in solutions generated so far are either early-time permanent spikes or transient spikes. We want to generate a solution with a late-time permanent spike. We achieve this by applying Stephani's transformation with the rotational Killing vector field of the locally rotationally symmetric Jacobs solution. The late-time permanent spike occurs along the cylindrical axis. Using a mixed Killing vector field, the generated solution also features a rich variety of transient structures. We introduce a new technique to analyse these structures. Our findings lead us to discover a transient behaviour, which we call the overshoot transition. These discoveries compel us to revise the description of transient spikes.


title: Theoretical Understandings of Product Embedding for E-commerce Machine Learning

abstract: Product embeddings have been heavily investigated in the past few years, serving as the cornerstone for a broad range of machine learning applications in e-commerce. Despite the empirical success of product embeddings, little is known on how and why they work from the theoretical standpoint. Analogous results from the natural language processing (NLP) often rely on domain-specific properties that are not transferable to the e-commerce setting, and the downstream tasks often focus on different aspects of the embeddings. We take an e-commerce-oriented view of the product embeddings and reveal a complete theoretical view from both the representation learning and the learning theory perspective. We prove that product embeddings trained by the widely-adopted skip-gram negative sampling algorithm and its variants are sufficient dimension reduction regarding a critical product relatedness measure. The generalization performance in the downstream machine learning task is controlled by the alignment between the embeddings and the product relatedness measure. Following the theoretical discoveries, we conduct exploratory experiments that supports our theoretical insights for the product embeddings.


title: 3D Virtual Reality vs. 2D Desktop Registration User Interface Comparison

abstract: Working with organs and extracted tissue blocks is an essential task in surgery and anatomy environments. To prepare specimens from human donors for analysis, wet-bench workers must dissect human tissue and collect metadata for downstream analysis, including information about the spatial origin of tissue. The Registration User Interface (RUI) was developed to allow stakeholders in the Human Biomolecular Atlas Program (HuBMAP) to register tissue blocks, i.e., to record the size, position, and orientation of human tissue data with regard to reference organs. In this paper, we compare three setups for registering one 3D tissue block object to another 3D reference organ (target) object. The first setup is a 2D Desktop implementation featuring a traditional screen, mouse, and keyboard interface. The remaining setups are both virtual reality (VR) versions of the RUI: VR Tabletop, where users sit at a physical desk which is replicated in virtual space; VR Standup, where users stand upright while performing their tasks. We then ran a user study for these three setups involving 42 human subjects completing 14 increasingly difficult and then 30 identical tasks in sequence and reporting position accuracy, rotation accuracy, completion time, and satisfaction. While VR Tabletop and VR Standup users are about three times as fast and about a third more accurate in terms of rotation than 2D Desktop users (for the sequence of 30 identical tasks), there are no significant differences between the three setups for position accuracy when normalized by the height of the virtual kidney across setups.


title: Polymer Glass Formation: Role of Activation Free Energy, Configurational Entropy, and Collective Motion

abstract: We provide a perspective on polymer glass formation, with an emphasis on models in which the fluid entropy and collective particle motion dominate the theoretical description and data analysis. We first discuss the dynamics of liquids in the high temperature Arrhenius regime, where transition state theory is formally applicable. We then summarize the evolution of the entropy theory from a qualitative framework for organizing and interpreting temperature-dependent viscosity data by Kauzmann to the formulation of a hypothetical `ideal thermodynamic glass transition' by Gibbs and DiMarzio, followed by seminal measurements linking entropy and relaxation by Bestul and Chang and the Adam-Gibbs (AG) model of glass formation rationalizing the observations of Bestul and Chang. These developments laid the groundwork for the generalized entropy theory (GET), which merges an improved lattice model of polymer thermodynamics accounting for molecular structural details and enabling the analytic calculation of the configurational entropy with the AG model, giving rise to a highly predictive model of the segmental structural relaxation time of polymeric glass-forming liquids. The development of the GET has occurred in parallel with the string model of glass formation in which concrete realizations of the cooperatively rearranging regions are identified and quantified for a wide range of polymeric and other glass-forming materials. The string model has shown that many of the assumptions of AG are well supported by simulations, while others are certainly not, giving rise to an entropy theory of glass formation that is largely in accord with the GET. As the GET and string models continue to be refined, these models progressively grow into a more unified framework, and this Perspective reviews the present status of development of this promising approach to the dynamics of polymeric glass-forming liquids.


title: New effect in wave-packet scattering of quantum fields

abstract: We report calculations of a wave-packet amplitude of the two-body scattering $\phi \phi \to \Phi \to \phi \phi$, which leads to the measured probability in realistic experiments. We elucidate the decay amplitude of $ \Phi \rightarrow \phi \phi$ from this. In such an amplitude of wave packets, there are in and out time boundaries for the initial $\Phi$ and final $\phi\phi$ configurations, respectively. In this paper, we prove that the effect of the in time boundary of $\Phi\to\phi\phi$ emerges from $\phi\phi\to\Phi\to\phi\phi$ without assuming any time boundary \emph{a priori}. This effect has been overlooked in the standard plane-wave formulation and can exhibit distinct phenomena in wide areas of science. We confirm the result in different integration orders. The result is also interpreted as a Stokes phenomenon in the Lefschetz-thimble decomposition.


title: Self-Diagnosing GAN: Diagnosing Underrepresented Samples in Generative Adversarial Networks

abstract: Despite remarkable performance in producing realistic samples, Generative Adversarial Networks (GANs) often produce low-quality samples near low-density regions of the data manifold, e.g., samples of minor groups. Many techniques have been developed to improve the quality of generated samples, either by post-processing generated samples or by pre-processing the empirical data distribution, but at the cost of reduced diversity. To promote diversity in sample generation without degrading the overall quality, we propose a simple yet effective method to diagnose and emphasize underrepresented samples during training of a GAN. The main idea is to use the statistics of the discrepancy between the data distribution and the model distribution at each data instance. Based on the observation that the underrepresented samples have a high average discrepancy or high variability in discrepancy, we propose a method to emphasize those samples during training of a GAN. Our experimental results demonstrate that the proposed method improves GAN performance on various datasets, and it is especially effective in improving the quality and diversity of sample generation for minor groups.


title: Semiparametric counterfactual density estimation

abstract: Causal effects are often characterized with averages, which can give an incomplete picture of the underlying counterfactual distributions. Here we consider estimating the entire counterfactual density and generic functionals thereof. We focus on two kinds of target parameters. The first is a density approximation, defined by a projection onto a finite-dimensional model using a generalized distance metric, which includes f-divergences as well as $L_p$ norms. The second is the distance between counterfactual densities, which can be used as a more nuanced effect measure than the mean difference, and as a tool for model selection. We study nonparametric efficiency bounds for these targets, giving results for smooth but otherwise generic models and distances. Importantly, we show how these bounds connect to means of particular non-trivial functions of counterfactuals, linking the problems of density and mean estimation. We go on to propose doubly robust-style estimators for the density approximations and distances, and study their rates of convergence, showing they can be optimally efficient in large nonparametric models. We also give analogous methods for model selection and aggregation, when many models may be available and of interest. Our results all hold for generic models and distances, but throughout we highlight what happens for particular choices, such as $L_2$ projections on linear models, and KL projections on exponential families. Finally we illustrate by estimating the density of CD4 count among patients with HIV, had all been treated with combination therapy versus zidovudine alone, as well as a density effect. Our results suggest combination therapy may have increased CD4 count most for high-risk patients. Our methods are implemented in the freely available R package npcausal on GitHub.


title: Multiple Access Channel Simulation

abstract: We study the problem of simulating a two-user multiple-access channel (MAC) over a multiple access network of noiseless links. Two encoders observe independent and identically distributed (i.i.d.) copies of a source random variable each, while a decoder observes i.i.d. copies of a side-information random variable. There are rate-limited noiseless communication links between each encoder and the decoder, and there is independent pairwise shared randomness between all the three possible pairs of nodes. The decoder has to output approximately i.i.d. copies of another random variable jointly distributed with the two sources and the side information. We are interested in the rate tuples which permit this simulation. This setting can be thought of as a multi-terminal generalization of the point-to-point channel simulation problem studied by Bennett et al. (2002) and Cuff (2013). When the pairwise shared randomness between the encoders is absent, the setting reduces to a special case of MAC simulation using another MAC studied by Haddadpour et al.~(2013). We establish that the presence of encoder shared randomness can strictly improve the communication rate requirements. We first show that the inner bound derived from Haddadpour et al.~(2013) is tight when the sources at the encoders are conditionally independent given the side-information at the decoder. This result recovers the existing results on point-to-point channel simulation and function computation over such multi-terminal networks. We then explicitly compute the communication rate regions for an example both with and without the encoder shared randomness and demonstrate that its presence strictly reduces the communication rates. Inner and outer bounds for the general case are also obtained.


title: DNN2LR: Automatic Feature Crossing for Credit Scoring

abstract: Credit scoring is a major application of machine learning for financial institutions to decide whether to approve or reject a credit loan. For sake of reliability, it is necessary for credit scoring models to be both accurate and globally interpretable. Simple classifiers, e.g., Logistic Regression (LR), are white-box models, but not powerful enough to model complex nonlinear interactions among features. Fortunately, automatic feature crossing is a promising way to find cross features to make simple classifiers to be more accurate without heavy handcrafted feature engineering. However, credit scoring is usually based on different aspects of users, and the data usually contains hundreds of feature fields. This makes existing automatic feature crossing methods not efficient for credit scoring. In this work, we find local piece-wise interpretations in Deep Neural Networks (DNNs) of a specific feature are usually inconsistent in different samples, which is caused by feature interactions in the hidden layers. Accordingly, we can design an automatic feature crossing method to find feature interactions in DNN, and use them as cross features in LR. We give definition of the interpretation inconsistency in DNN, based on which a novel feature crossing method for credit scoring prediction called DNN2LR is proposed. Apparently, the final model, i.e., a LR model empowered with cross features, generated by DNN2LR is a white-box model. Extensive experiments have been conducted on both public and business datasets from real-world credit scoring applications. Experimental shows that, DNN2LR can outperform the DNN model, as well as several feature crossing methods. Moreover, comparing with the state-of-the-art feature crossing methods, i.e., AutoCross, DNN2LR can accelerate the speed for feature crossing by about 10 to 40 times on datasets with large numbers of feature fields.


title: Conditional Image Generation by Conditioning Variational Auto-Encoders

abstract: We present a conditional variational auto-encoder (VAE) which, to avoid the substantial cost of training from scratch, uses an architecture and training objective capable of leveraging a foundation model in the form of a pretrained unconditional VAE. To train the conditional VAE, we only need to train an artifact to perform amortized inference over the unconditional VAE's latent variables given a conditioning input. We demonstrate our approach on tasks including image inpainting, for which it outperforms state-of-the-art GAN-based approaches at faithfully representing the inherent uncertainty. We conclude by describing a possible application of our inpainting model, in which it is used to perform Bayesian experimental design for the purpose of guiding a sensor.


title: Long time existence of smooth solutions to 2D compressible Euler equations of Chaplygin gases with non-zero vorticity

abstract: For the 2D compressible isentropic Euler equations of polytropic gases with an initial perturbation of size $\ve$ of a rest state, it has been known that if the initial data are rotationnally invariant or irrotational, then the lifespan $T_{\ve}$ of the classical solutions is of order $O(\f{1}{\ve^2})$; if the initial vorticity is of size $\ve^{1+\al}$ ($0\le\al\le 1$), then $T_{\ve}$ is of $O(\f{1}{\ve^{1+\al}})$. In the present paper, for the 2D compressible isentropic Euler equations of Chaplygin gases, if the initial data are a perturbation of size $\ve$, and the initial vorticity is of any size $\dl$ with $0<\dl\le \ve$, we will establish the lifespan $T_{\dl}=O(\f{1}{\dl})$. For examples, if $\dl=e^{-\f{1}{\ve^2}}$ or $\dl=e^{-e^{\f{1}{\ve^2}}}$ are chosen, then $T_{\dl}=O(e^{\f{1}{\ve^2}})$ or $T_{\dl}=O(e^{e^{\f{1}{\ve^2}}})$ although the perturbations of the initial density and the divergence of the initial velocity are only of order $O(\ve)$. Our main ingredients are: finding the null condition structures in 2D compressible Euler equations of Chaplygin gases and looking for the good unknown; establishing a new class of weighted space-time $L^\infty$-$L^\infty$ estimates for the solution itself and its gradients of 2D linear wave equations; introducing some suitably weighted energies and taking the $L^p$ $(1<p<\infty)$ estimates on the vorticity.


title: Population-level Task-evoked Functional Connectivity via Fourier Analysis

abstract: Functional magnetic resonance imaging (fMRI) is a non-invasive and in-vivo imaging technique essential for measuring brain activity. Functional connectivity is used to study associations between brain regions, either while study subjects perform tasks or during periods of rest. In this paper, we propose a rigorous definition of task-evoked functional connectivity at the population level (ptFC). Importantly, our proposed ptFC is interpretable in the context of task-fMRI studies. An algorithm for estimating the ptFC is provided. We present the performance of the proposed algorithm compared to existing functional connectivity frameworks using simulations. Lastly, we apply the proposed algorithm to estimate the ptFC in a motor-task study from the Human Connectome Project.


title: Active Learning to Classify Macromolecular Structures in situ for Less Supervision in Cryo-Electron Tomography

abstract: Motivation: Cryo-Electron Tomography (cryo-ET) is a 3D bioimaging tool that visualizes the structural and spatial organization of macromolecules at a near-native state in single cells, which has broad applications in life science. However, the systematic structural recognition and recovery of macromolecules captured by cryo-ET are difficult due to high structural complexity and imaging limits. Deep learning based subtomogram classification have played critical roles for such tasks. As supervised approaches, however, their performance relies on sufficient and laborious annotation on a large training dataset. Results: To alleviate this major labeling burden, we proposed a Hybrid Active Learning (HAL) framework for querying subtomograms for labelling from a large unlabeled subtomogram pool. Firstly, HAL adopts uncertainty sampling to select the subtomograms that have the most uncertain predictions. Moreover, to mitigate the sampling bias caused by such strategy, a discriminator is introduced to judge if a certain subtomogram is labeled or unlabeled and subsequently the model queries the subtomogram that have higher probabilities to be unlabeled. Additionally, HAL introduces a subset sampling strategy to improve the diversity of the query set, so that the information overlap is decreased between the queried batches and the algorithmic efficiency is improved. Our experiments on subtomogram classification tasks using both simulated and real data demonstrate that we can achieve comparable testing performance (on average only 3% accuracy drop) by using less than 30% of the labeled subtomograms, which shows a very promising result for subtomogram classification task with limited labeling resources.


title: False Relay Operation Attacks in Power Systems with High Renewables

abstract: Load-generation balance and system inertia are essential for maintaining frequency in power systems. Power grids are equipped with Rate-of-Change-of Frequency (ROCOF) and Load Shedding (LS) relays in order to keep load-generation balance. With the increasing penetration of renewables, the inertia of the power grids is declining, which results in a faster drop in system frequency in case of load-generation imbalance. In this context, we analyze the feasibility of launching False Data Injection (FDI) in order to create False Relay Operations (FRO), which we refer to as FRO attack, in the power systems with high renewables. We model the frequency dynamics of the power systems and corresponding FDI attacks, including the impact of parameters, such as synchronous generators inertia, and governors time constant and droop, on the success of FRO attacks. We formalize the FRO attack as a Constraint Satisfaction Problem (CSP) and solve using Satisfiability Modulo Theories (SMT). Our case studies show that power grids with renewables are more susceptible to FRO attacks and the inertia of synchronous generators plays a critical role in reducing the success of FRO attacks in the power grids.


title: Hot and dense quark-gluon plasma thermodynamics from holographic black holes

abstract: We present new results on the equation of state and transition line of hot and dense strongly interacting QCD matter, obtained from a bottom-up Einstein-Maxwell-Dilaton holographic model. We considerably expand the previous coverage in baryon densities in this model by implementing new numerical methods to map the holographic black hole solutions onto the QCD phase diagram. We are also able to obtain, for the first time, the first-order phase transition line in a wide region of the phase diagram. Comparisons with the most recent lattice results for the QCD thermodynamics are also presented.


title: Instance Independence of Single Layer Quantum Approximate Optimization Algorithm on Mixed-Spin Models at Infinite Size

abstract: This paper studies the application of the Quantum Approximate Optimization Algorithm (QAOA) to spin-glass models with random multi-body couplings in the limit of a large number of spins. We show that for such mixed-spin models the performance of depth $1$ QAOA is independent of the specific instance in the limit of infinite sized systems and we give an explicit formula for the expected performance. We also give explicit expressions for the higher moments of the expected energy, thereby proving that the expected performance of QAOA concentrates.


title: Charmonium and Charmoniumlike States at the BESIII Experiment

abstract: Charmonium is a bound state of a charmed quark and a charmed antiquark, and a charmoniumlike state is a resonant structure that contains a charmed quark and antiquark pair but has properties that are incompatible with a conventional charmonium state. While operating at center-of-mass energies from 2 to 4.9 GeV, the BESIII experiment can access a wide mass range of charmonium and charmoniumlike states, and has contributed significantly in this field. We review BESIII results involving conventional charmonium states, including the first observation of M1 transition $\psi(3686) \to \gamma \eta_c(2S)$ and the discovery of the $\psi_2(3823)$; and report on studies of charmoniumlike states, including the discoveries of the $Z_c(3900)$ and $Z_c(4020)$ tetraquark candidates, the resolution of the fine structure of the $Y(4260)$, the discovery of the new production process $e^+e^-\to \gamma X(3872)$, and the uncovering of strong evidence for the commonality among the $X(3872)$, $Y(4260)$, and $Z_c(3900)$ states. The prospects for further research at BESIII and proposed future facilities are also presented.


title: Contingency Model Predictive Control for Linear Time-Varying Systems

abstract: We present Contingency Model Predictive Control (CMPC), a motion planning and control framework that optimizes performance objectives while simultaneously maintaining a contingency plan -- an alternate trajectory that avoids a potential hazard. By preserving the existence of a feasible avoidance trajectory, CMPC anticipates emergency and keeps the controlled system in a safe state that is selectively robust to the identified hazard. We accomplish this by adding an additional prediction horizon in parallel to the typical Model Predictive Control (MPC) horizon. This extra horizon is constrained to guarantee safety from the contingent threat and is coupled to the nominal horizon at its first command. Thus, the two horizons negotiate to compute commands that are both optimized for performance and robust to the contingent event. This article presents a linear formulation for CMPC, illustrates its key features on a toy problem, and then demonstrates its efficacy experimentally on a full-size automated road vehicle that encounters a realistic pop-out obstacle. Contingency MPC approaches potential emergencies with safe, intuitive, and interpretable behavior that balances conservatism with incentive for high performance operation.


title: An Adaptive Video Acquisition Scheme for Object Tracking and its Performance Optimization

abstract: We present a novel adaptive host-chip modular architecture for video acquisition to optimize an overall objective task constrained under a given bit rate. The chip is a high resolution imaging sensor such as gigapixel focal plane array (FPA) with low computational power deployed on the field remotely, while the host is a server with high computational power. The communication channel data bandwidth between the chip and host is constrained to accommodate transfer of all captured data from the chip. The host performs objective task specific computations and also intelligently guides the chip to optimize (compress) the data sent to host. This proposed system is modular and highly versatile in terms of flexibility in re-orienting the objective task. In this work, object tracking is the objective task. While our architecture supports any form of compression/distortion, in this paper we use quadtree (QT)-segmented video frames. We use Viterbi (Dynamic Programming) algorithm to minimize the area normalized weighted rate-distortion allocation of resources. The host receives only these degraded frames for analysis. An object detector is used to detect objects, and a Kalman Filter based tracker is used to track those objects. Evaluation of system performance is done in terms of Multiple Object Tracking Accuracy (MOTA) metric. In this proposed novel architecture, performance gains in MOTA is obtained by twice training the object detector with different system generated distortions as a novel 2-step process. Additionally, object detector is assisted by tracker to upscore the region proposals in the detector to further improve the performance.


title: Characterization of turbulent supersonic flow over a backward facing step through POD

abstract: The present work reports on the flow physics of turbulent supersonic flow over backward facing step (BFS) at Mach 2 using LES methodology where the dynamic Smagorinsky model is used for SGS modeling, while POD is invoked to identify the coherent structures present in the flow. The mean data obtained through the computations is in good agreement with the experimental measurements, while the iso-surfaces of Q-criterion at different time instants show the complex flow structures. The presence of counter rotating vortex pair in the shear layer along with the complex shock wave/boundary layer interaction leading to the separation of boundary layer is also evident from the contours of both Q and the modulus of vorticity. Further, the POD analysis reveals the presence of coherent structures, where the first and second modes confirm the vortical structures near the step as well as along the shear layer in the downstream region; while the second, third and fourth modes confirm the presence of vortices along the shear layer due to Kelvin-Helmholtz (K-H) instability. Moreover, POD as well as frequency analysis is extended at different planes to extract the detailed flow features.


title: Lattice QCD calculation of the electroweak box diagrams for the kaon semileptonic decays

abstract: We present a lattice QCD calculation of the axial $\gamma W$-box diagrams relevant for the kaon semileptonic decays. We utilize a recently proposed method, which connects the electroweak radiative corrections in Sirlin's representation to that in chiral perturbation theory. It allows us to use the axial $\gamma W$-box correction in the SU(3) limit to obtain the low energy constants for chiral perturbation theory. From first principles our results confirm the previously used low energy constants provided by the minimal resonance model with a significant reduction in uncertainties.


title: The relation between the symplectic group $Sp(4, \mathbb{R})$ and its Lie algebra: its application in polymer quantum mechanics

abstract: In this paper, we show the relation between $sp(4,\mathbb{R})$, the Lie algebra of the symplectic group, and the elements of $Sp(4,\mathbb{R})$. We use this result to obtain some special cases of symplectic matrices relevant to the study of squeezed states. In this regard, we provide some applications in quantum mechanics and analyze the squeezed polymer states obtained from the polymer representation of the symplectic group. Remarkably, the polymer's dispersions are the same as those obtained for the squeezed states in the usual representation.


title: The Bulk-Hinge Correspondence and Three-Dimensional Quantum Anomalous Hall Effect in Second Order Topological Insulators

abstract: The chiral hinge modes are the key feature of a second order topological insulator in three dimensions. Here we propose a quadrupole index in combination of a slab Chern number in the bulk to characterize the flowing pattern of chiral hinge modes along the hinges at the intersection of the surfaces of a sample. We further utilize the topological field theory to demonstrate the correspondent connection of the chiral hinge modes to the quadrupole index and the slab Chern number, and present a picture of three-dimensional quantum anomalous Hall effect as a consequence of chiral hinge modes. The two bulk topological invariants can be measured in electric transport and magneto-optical experiments. In this way we establish the bulk-hinge correspondence in a three-dimensional second order topological insulator.


title: A learning scheme by sparse grids and Picard approximations for semilinear parabolic PDEs

abstract: Relying on the classical connection between Backward Stochastic Differential Equations (BSDEs) and non-linear parabolic partial differential equations (PDEs), we propose a new probabilistic learning scheme for solving high-dimensional semi-linear parabolic PDEs. This scheme is inspired by the approach coming from machine learning and developed using deep neural networks in Han and al. [32]. Our algorithm is based on a Picard iteration scheme in which a sequence of linear-quadratic optimisation problem is solved by means of stochastic gradient descent (SGD) algorithm. In the framework of a linear specification of the approximation space, we manage to prove a convergence result for our scheme, under some smallness condition. In practice, in order to be able to treat high-dimensional examples, we employ sparse grid approximation spaces. In the case of periodic coefficients and using pre-wavelet basis functions, we obtain an upper bound on the global complexity of our method. It shows in particular that the curse of dimensionality is tamed in the sense that in order to achieve a root mean squared error of order ${\epsilon}$, for a prescribed precision ${\epsilon}$, the complexity of the Picard algorithm grows polynomially in ${\epsilon}^{-1}$ up to some logarithmic factor $ |log({\epsilon})| $ which grows linearly with respect to the PDE dimension. Various numerical results are presented to validate the performance of our method and to compare them with some recent machine learning schemes proposed in Han and al. [20] and Hur\'e and al. [37].


title: CFD-CAA simulation of flow acoustic coupling in a half-dump combustor

abstract: This paper reports on the investigation of combustion instabilities in a Methane air nonpremixed half dump combustor for different flow Reynolds number using Computational aero acoustic simulation. In order to simulate the flow physics under turbulent flow conditions, Detached Eddy Simulation in conjunction with generalized eddy dissipation model is adopted, while a CAA formulation based on Lighthills acoustic analogy is used for computing the acoustic field. It is observed that the unsteady pressure signals either predominantly arise from the natural acoustic modes of the duct or the local flow fluctuations in the vortex shedding process downstream of the dump plane, giving rise to different dominant frequencies at different spatial locations at lower Re and a single dominant lockedon frequency at higher Re. The nondimensional numbers (Helmholtz and Strouhal numbers) are used to characterize the duct acoustic modes from the vortex shedding modes. Under reacting flow conditions, unsteady heat release and pressure oscillations are monitored to compute Rayleigh index in order to verify if the instability is driving or damping at different frequency levels. Moreover, the predicted Helmholtz and Strouhal numbers are found to be in excellent agreement with the experimental data available in open literature for wide range of Re.


title: Polynomial time recognition of vertices contained in all (or no) maximum dissociation sets of a tree

abstract: In a graph G, a dissociation set is a subset of vertices which induces a subgraph with vertex degree at most 1. Finding a dissociation set of maximum cardinality in a graph is NP-hard even for bipartite graphs and is called the maximum dissociation set problem. The complexity of maximum dissociation set problem in various subclasses of graphs has been extensively studied in the literature. In this paper, we study the maximum dissociation problem from different perspectives and characterize the vertices belonging to all maximum dissociation sets, and to no maximum dissociation set of a tree. We present a linear time recognition algorithm which can determine whether a given vertex in a tree is contained in all (or no) maximum dissociation sets of the tree. Thus for a tree with n vertices, we can find all vertices belonging to all (or no) maximum dissociation sets of the tree in O(n^2) time.


title: A preliminary study about gravitational wave radiation and cosmic heat death

abstract: We study the role of gravitational waves (GW) in the heat death of the universe. Due to the GW emission, in a very long period, dynamical systems in the universe suffer from persistent mechanical energy dissipation, evolving to a state of universal rest and death. With N-body simulations, we adopt a simple yet representative scheme to calculate the energy loss due to the GW emission. For current dark matter systems with mass $\sim10^{12}-10^{15} M_\odot$, we estimate their GW emission timescale as $\sim10^{19}-10^{25}$ years. This timescale is significantly larger than any baryon processes in the universe, but still $\sim10^{80}$ times shorter than that of the Hawking radiation. We stress that our analysis could be invalid due to many unknowns such as the dynamical chaos, the quadrupole momentum of halos, the angular momentum loss, the dynamic friction, the central black hole accretion, the dark matter decays or annihilations, the property of dark energy and the future evolution of the universe.


title: Gauge-Independent Emission Spectra and Quantum Correlations in the Ultrastrong Coupling Regime of Open System Cavity-QED

abstract: A quantum dipole interacting with an optical cavity is one of the key models in cavity quantum electrodynamics (cavity-QED). To treat this system theoretically, the typical approach is to truncate the dipole to two levels. However, it has been shown that in the ultrastrong-coupling regime, this truncation naively destroys gauge invariance. By truncating in a manner consistent with the gauge principle, we introduce master equations {for open systems} to compute gauge-invariant emission spectra, photon flux rates, and quantum correlation functions which show significant disagreement with previous results obtained using the standard quantum Rabi model. Explicit examples are shown using both the dipole gauge and the Coulomb gauge.


title: Multi-Slice Low-Rank Tensor Decomposition Based Multi-Atlas Segmentation: Application to Automatic Pathological Liver CT Segmentation

abstract: Liver segmentation from abdominal CT images is an essential step for liver cancer computer-aided diagnosis and surgical planning. However, both the accuracy and robustness of existing liver segmentation methods cannot meet the requirements of clinical applications. In particular, for the common clinical cases where the liver tissue contains major pathology, current segmentation methods show poor performance. In this paper, we propose a novel low-rank tensor decomposition (LRTD) based multi-atlas segmentation (MAS) framework that achieves accurate and robust pathological liver segmentation of CT images. Firstly, we propose a multi-slice LRTD scheme to recover the underlying low-rank structure embedded in 3D medical images. It performs the LRTD on small image segments consisting of multiple consecutive image slices. Then, we present an LRTD-based atlas construction method to generate tumor-free liver atlases that mitigates the performance degradation of liver segmentation due to the presence of tumors. Finally, we introduce an LRTD-based MAS algorithm to derive patient-specific liver atlases for each test image, and to achieve accurate pairwise image registration and label propagation. Extensive experiments on three public databases of pathological liver cases validate the effectiveness of the proposed method. Both qualitative and quantitative results demonstrate that, in the presence of major pathology, the proposed method is more accurate and robust than state-of-the-art methods.


title: Revisit Recommender System in the Permutation Prospective

abstract: Recommender systems (RS) work effective at alleviating information overload and matching user interests in various web-scale applications. Most RS retrieve the user's favorite candidates and then rank them by the rating scores in the greedy manner. In the permutation prospective, however, current RS come to reveal the following two limitations: 1) They neglect addressing the permutation-variant influence within the recommended results; 2) Permutation consideration extends the latent solution space exponentially, and current RS lack the ability to evaluate the permutations. Both drive RS away from the permutation-optimal recommended results and better user experience. To approximate the permutation-optimal recommended results effectively and efficiently, we propose a novel permutation-wise framework PRS in the re-ranking stage of RS, which consists of Permutation-Matching (PMatch) and Permutation-Ranking (PRank) stages successively. Specifically, the PMatch stage is designed to obtain the candidate list set, where we propose the FPSA algorithm to generate multiple candidate lists via the permutation-wise and goal-oriented beam search algorithm. Afterwards, for the candidate list set, the PRank stage provides a unified permutation-wise ranking criterion named LR metric, which is calculated by the rating scores of elaborately designed permutation-wise model DPWN. Finally, the list with the highest LR score is recommended to the user. Empirical results show that PRS consistently and significantly outperforms state-of-the-art methods. Moreover, PRS has achieved a performance improvement of 11.0% on PV metric and 8.7% on IPV metric after the successful deployment in one popular recommendation scenario of Taobao application.


title: SoK: A Taxonomy for Critical Analysis of Consensus Mechanisms in Consortium Blockchain

abstract: Consensus algorithms are central to blockchain technology and an emerging research area. In this paper, we begin with an overview of the different types and architectures of blockchain networks. Then, with a focus on consortium blockchains, we survey, classify, and assess their principal consensus mechanisms. Furthermore, as consensus mechanisms determine network reliability, enhance performance efficiency, and ensure system security, we conduct a critical analysis of the strengths and weaknesses of consensus algorithms using a taxonomy of three different criteria: reliability, performance, and security. We conclude with insights into current and future research challenges and opportunities in this domain.


title: Convergence of Bayesian Nash Equilibrium in Infinite Bayesian Games under Discretization

abstract: We prove the existence of Bayesian Nash Equilibrium (BNE) of general-sum Bayesian games with continuous types and finite actions under the conditions that the utility functions and the prior type distributions are continuous concerning the players' types. Moreover, there exists a sequence of discretized Bayesian games whose BNE strategies converge weakly to a BNE strategy of the infinite Bayesian game. Our proof establishes a connection between the equilibria of the infinite Bayesian game and those of finite approximations, which leads to an algorithm to construct $\varepsilon$-BNE of infinite Bayesian games by discretizing players' type spaces.


title: Teach Me to Explain: A Review of Datasets for Explainable Natural Language Processing

abstract: Explainable NLP (ExNLP) has increasingly focused on collecting human-annotated textual explanations. These explanations are used downstream in three ways: as data augmentation to improve performance on a predictive task, as supervision to train models to produce explanations for their predictions, and as a ground-truth to evaluate model-generated explanations. In this review, we identify 65 datasets with three predominant classes of textual explanations (highlights, free-text, and structured), organize the literature on annotating each type, identify strengths and shortcomings of existing collection methodologies, and give recommendations for collecting ExNLP datasets in the future.


title: Deep Video Prediction for Time Series Forecasting

abstract: Time series forecasting is essential for decision making in many domains. In this work, we address the challenge of predicting prices evolution among multiple potentially interacting financial assets. A solution to this problem has obvious importance for governments, banks, and investors. Statistical methods such as Auto Regressive Integrated Moving Average (ARIMA) are widely applied to these problems. In this paper, we propose to approach economic time series forecasting of multiple financial assets in a novel way via video prediction. Given past prices of multiple potentially interacting financial assets, we aim to predict the prices evolution in the future. Instead of treating the snapshot of prices at each time point as a vector, we spatially layout these prices in 2D as an image, such that we can harness the power of CNNs in learning a latent representation for these financial assets. Thus, the history of these prices becomes a sequence of images, and our goal becomes predicting future images. We build on a state-of-the-art video prediction method for forecasting future images. Our experiments involve the prediction task of the price evolution of nine financial assets traded in U.S. stock markets. The proposed method outperforms baselines including ARIMA, Prophet, and variations of the proposed method, demonstrating the benefits of harnessing the power of CNNs in the problem of economic time series forecasting.


title: Integrability of auto-B\"acklund transformations,and solutions of a torqued ABS equation

abstract: An auto-B\"acklund transformation for the quad equation $\mathrm{Q1}_1$ is considered as a discrete equation, called $\mathrm{H2}^a$, which is a so called torqued version of $\mathrm{H2}$. The equations $\mathrm{H2}^a$ and $\mathrm{Q1}_1$ compose a consistent cube, from which a auto-B\"acklund transformation and a Lax pair for $\mathrm{H2}^a$ are obtained. More generally it is shown that auto-B\"acklund transformations admit auto-B\"acklund transformations. Using the auto-B\"acklund transformation for $\mathrm{H2}^a$ we derive a seed solution and a one-soliton solution. From this solution it is seen that $\mathrm{H2}^a$ is a semi-autonomous lattice equation, as the spacing parameter $q$ depends on $m$ but it disappears from the plain wave factor.


title: The Hamilton-Waterloo problem on wreath product graph $C_m \wr K_{16}$

abstract: The Hamilton-Waterloo problem is a problem of graph factorization. The Hamilton-Waterloo problem HWP$(H;m,n;\alpha,\beta)$ asks for a $2$-factorization of $H$ containing $\alpha$ $C_m$-factors and $\beta$ $C_n$-factors. In this paper, we almost completely solve the Hamilton-Waterloo problem on wreath product graph $C_m \wr K_{16}$ with $C_{16}$-factors and $C_m$-factors for an odd integer $m$.


title: The rich still get richer: Empirical comparison of preferential attachment via linking statistics in Bitcoin and Ethereum

abstract: Bitcoin and Ethereum transactions present one of the largest real-world complex networks that are publicly available for study, including a detailed picture of their time evolution. As such, they have received a considerable amount of attention from the network science community, beside analysis from an economic or cryptography perspective. Among these studies, in an analysis on the early instance of the Bitcoin network, we have shown the clear presence of the preferential attachment, or "rich-get-richer" phenomenon. Now, we revisit this question, using a recent version of the Bitcoin network that has grown almost 100-fold since our original analysis. Furthermore, we additionally carry out a comparison with Ethereum, the second most important cryptocurrency. Our results show that preferential attachment continues to be a key factor in the evolution of both the Bitcoin and Ethereum transactoin networks. To facilitate further analysis, we publish a recent version of both transaction networks, and an efficient software implementation that is able to evaluate linking statistics necessary for learn about preferential attachment on networks with several hundred million edges.


title: Algebraic topological techniques for elliptic problems involving fractional Laplacian

abstract: We prove the existence of infinitely many solutions to an elliptic problem by borrowing the techniques from algebraic topology. The solution(s) thus obtained will also be proved to be bounded.


title: On the Minimal Error of Empirical Risk Minimization

abstract: We study the minimal error of the Empirical Risk Minimization (ERM) procedure in the task of regression, both in the random and the fixed design settings. Our sharp lower bounds shed light on the possibility (or impossibility) of adapting to simplicity of the model generating the data. In the fixed design setting, we show that the error is governed by the global complexity of the entire class. In contrast, in random design, ERM may only adapt to simpler models if the local neighborhoods around the regression function are nearly as complex as the class itself, a somewhat counter-intuitive conclusion. We provide sharp lower bounds for performance of ERM for both Donsker and non-Donsker classes. We also discuss our results through the lens of recent studies on interpolation in overparameterized models.


title: The intersection polynomials of a virtual knot I: Definitions and calculations

abstract: We introduce three kinds of invariants of a virtual knot called the first, second, and third intersection polynomials. The definition is based on the intersection number of a pair of curves on a closed surface. The calculations of intersection polynomials are given up to crossing number four. We also study several properties of intersection polynomials.


title: A silicon singlet-triplet qubit driven by spin-valley coupling

abstract: Spin-orbit effects, inherent to electrons confined in quantum dots at a silicon heterointerface, provide a means to control electron spin qubits without the added complexity of on-chip, nanofabricated micromagnets or nearby coplanar striplines. Here, we demonstrate a novel singlet-triplet qubit operating mode that can drive qubit evolution at frequencies in excess of 200 MHz. This approach offers a means to electrically turn on and off fast control, while providing high logic gate orthogonality and long qubit dephasing times. We utilize this operational mode for dynamical decoupling experiments to probe the charge noise power spectrum in a silicon metal-oxide-semiconductor double quantum dot. In addition, we assess qubit frequency drift over longer timescales to capture low-frequency noise. We present the charge noise power spectral density up to 3 MHz, which exhibits a $1/f^{\alpha}$ dependence consistent with $\alpha \sim 0.7$, over 9 orders of magnitude in noise frequency.


title: Wrinkle force microscopy: a new machine learning based approach to predict cell mechanics from images

abstract: Combining experiments with artificial intelligence algorithms, we propose a new machine learning based approach to extract the cellular force distributions from the microscope images. The full process can be divided into three steps. First, we culture the cells on a special substrate allowing to measure both the cellular traction force on the substrate and the corresponding substrate wrinkles simultaneously. The cellular forces are obtained using the traction force microscopy (TFM), at the same time that cell-generated contractile forces wrinkle their underlying substrate. Second, the wrinkle positions are extracted from the microscope images. Third, we train the machine learning system with GAN (generative adversarial network) by using sets of corresponding two images, the traction field and the input images (raw microscope images or extracted wrinkle images), as the training data. The network understands the way to convert the input images of the substrate wrinkles to the traction distribution from the training. After sufficient training, the network is utilized to predict the cellular forces just from the input images. Our system provides a powerful tool to evaluate the cellular forces efficiently because the forces can be predicted just by observing the cells under the microscope, which is a way simpler method compared to the TFM experiment. Additionally, the machine learning based approach presented here has the profound potential for being applied to diverse cellular assays for studying mechanobiology of cells.


title: Spatio-Temporal Look-Ahead Trajectory Prediction using Memory Neural Network

abstract: Prognostication of vehicle trajectories in unknown environments is intrinsically a challenging and difficult problem to solve. The behavior of such vehicles is highly influenced by surrounding traffic, road conditions, and rogue participants present in the environment. Moreover, the presence of pedestrians, traffic lights, stop signs, etc., makes it much harder to infer the behavior of various traffic agents. This paper attempts to solve the problem of Spatio-temporal look-ahead trajectory prediction using a novel recurrent neural network called the Memory Neuron Network. The Memory Neuron Network (MNN) attempts to capture the input-output relationship between the past positions and the future positions of the traffic agents. The proposed model is computationally less intensive and has a simple architecture as compared to other deep learning models that utilize LSTMs and GRUs. It is then evaluated on the publicly available NGSIM dataset and its performance is compared with several state-of-art algorithms. Additionally, the performance is also evaluated on a custom synthetic dataset generated from the CARLA simulator. It is seen that the proposed model outperforms the existing state-of-art algorithms. Finally, the model is integrated with the CARLA simulator to test its robustness in real-time traffic scenarios.


title: Learning optimal multigrid smoothers via neural networks

abstract: Multigrid methods are one of the most efficient techniques for solving linear systems arising from Partial Differential Equations (PDEs) and graph Laplacians from machine learning applications. One of the key components of multigrid is smoothing, which aims at reducing high-frequency errors on each grid level. However, finding optimal smoothing algorithms is problem-dependent and can impose challenges for many problems. In this paper, we propose an efficient adaptive framework for learning optimized smoothers from operator stencils in the form of convolutional neural networks (CNNs). The CNNs are trained on small-scale problems from a given type of PDEs based on a supervised loss function derived from multigrid convergence theories, and can be applied to large-scale problems of the same class of PDEs. Numerical results on anisotropic rotated Laplacian problems demonstrate improved convergence rates and solution time compared with classical hand-crafted relaxation methods.


title: Durable Top-K Instant-Stamped Temporal Records with User-Specified Scoring Functions

abstract: A way of finding interesting or exceptional records from instant-stamped temporal data is to consider their "durability," or, intuitively speaking, how well they compare with other records that arrived earlier or later, and how long they retain their supremacy. For example, people are naturally fascinated by claims with long durability, such as: "On January 22, 2006, Kobe Bryant dropped 81 points against Toronto Raptors. Since then, this scoring record has yet to be broken." In general, given a sequence of instant-stamped records, suppose that we can rank them by a user-specified scoring function $f$, which may consider multiple attributes of a record to compute a single score for ranking. This paper studies "durable top-$k$ queries", which find records whose scores were within top-$k$ among those records within a "durability window" of given length, e.g., a 10-year window starting/ending at the timestamp of the record. The parameter $k$, the length of the durability window, and parameters of the scoring function (which capture user preference) can all be given at the query time. We illustrate why this problem formulation yields more meaningful answers in some practical situations than other similar types of queries considered previously. We propose new algorithms for solving this problem, and provide a comprehensive theoretical analysis on the complexities of the problem itself and of our algorithms. Our algorithms vastly outperform various baselines (by up to two orders of magnitude on real and synthetic datasets).


title: SocialNLP EmotionGIF 2020 Challenge Overview: Predicting Reaction GIF Categories on Social Media

abstract: We present an overview of the EmotionGIF2020 Challenge, held at the 8th International Workshop on Natural Language Processing for Social Media (SocialNLP), in conjunction with ACL 2020. The challenge required predicting affective reactions to online texts, and included the EmotionGIF dataset, with tweets labeled for the reaction categories. The novel dataset included 40K tweets with their reaction GIFs. Due to the special circumstances of year 2020, two rounds of the competition were conducted. A total of 84 teams registered for the task. Of these, 25 teams success-fully submitted entries to the evaluation phase in the first round, while 13 teams participated successfully in the second round. Of the top participants, five teams presented a technical report and shared their code. The top score of the winning team using the Recall@K metric was 62.47%.


title: Position Location for Futuristic Cellular Communications -- 5G and Beyond

abstract: With vast mmWave spectrum and narrow beam antenna technology, precise position location is now possible in 5G and future mobile communication systems. In this article, we describe how centimeterlevel localization accuracy can be achieved, particularly through the use of map-based techniques. We show how data fusion of parallel information streams, machine learning, and cooperative localization techniques further improve positioning accuracy.