title: Dynamics of the Shapovalov mid-size firm model

abstract: One of the main tasks in the study of financial and economic processes is forecasting and analysis of the dynamics of these processes. Within this task lie important research questions including how to determine the qualitative properties of the dynamics and how best to estimate quantitative indicators. These questions can be studied both empirically and theoretically. In the empirical approach, one considers the real data represented by time series, identifies patterns of their dynamics, and then forecasts short- and long-term behavior of the process. The second approach is based on postulating the laws of dynamics for the process, deriving mathematical dynamic models based on these laws, and conducting subsequent analytical investigation of the dynamics generated by the models. To implement these approaches, both numerical and analytical methods can be used. It should be noted that while numerical methods make it possible to study complex models, the possibility of obtaining reliable results using them is significantly limited due to calculations being performed only over finite-time intervals, numerical errors, and the unbounded space of initial data sets. In turn, analytical methods allow researchers to overcome these problems and to obtain exact qualitative and quantitative characteristics of the process dynamics. However, their effective applications are often limited to low-dimensional models. In this paper, we develop analytical methods for the study of deterministic dynamic systems. These methods make it possible not only to obtain analytical stability criteria and to estimate limiting behavior, but also to overcome the difficulties related to implementing reliable numerical analysis of quantitative indicators. We demonstrate the effectiveness of the proposed methods using the mid-size firm model suggested recently by V.I. Shapovalov.


title: Sharp error term in local limit theorems and mixing for Lorentz gases with infinite horizon

abstract: We obtain sharp error rates in the local limit theorem for the Sinai billiard map (one and two dimensional) with infinite horizon. This result allows us to further obtain higher order terms and thus, sharp mixing rates in the speed of mixing of dynamically H\"older observables for the planar and tubular infinite horizon Lorentz gases in the map (discrete time) case. We also obtain an asymptotic estimate for the tail probability of the first return time to the initial cell. In the process, we study families of transfer operators for infinite horizon Sinai billiards perturbed with the free flight function and obtain higher order expansions for the associated families of eigenvalues and eigenprojectors.


title: Revealing Neural Network Bias to Non-Experts Through Interactive Counterfactual Examples

abstract: AI algorithms are not immune to biases. Traditionally, non-experts have little control in uncovering potential social bias (e.g., gender bias) in the algorithms that may impact their lives. We present a preliminary design for an interactive visualization tool CEB to reveal biases in a commonly used AI method, Neural Networks (NN). CEB combines counterfactual examples and abstraction of an NN decision process to empower non-experts to detect bias. This paper presents the design of CEB and initial findings of an expert panel (n=6) with AI, HCI, and Social science experts.


title: On cogrowth function of uniformly recurrent sequences

abstract: For a sequence $W$ we count the number $O_W(n)$ of minimal forbidden words no longer then $n$ and prove that $$\overline{\lim_{n \to \infty}} \frac{O_W(n)}{\log_3n} \geq 1.$$


title: Theoretical Analysis of Sequential Importance Sampling Algorithms for a Class of Perfect Matching Problems

abstract: This paper analyzes the performance of sequential importance sampling algorithms for estimating the number of perfect matchings in bipartite graphs. Precise bounds on the number of samples required to yield an accurate estimate are derived. In doing so, moments of permutation statistics are computed using generating functions and nonstandard limit theorems are derived by expressing perfect matchings as a time-inhomogeneous Markov chain.


title: Efficient network navigation with partial information

abstract: We propose a information theoretical framework to capture transition and information costs of network navigation models. Based on the minimum description length principle and the Markov decision process, we demonstrate that efficient global navigation can be achieved with only partial information. Additionally, we derived a scalable algorithm for optimal solutions under certain conditions. The proposed algorithm can be interpreted as a dynamical process on network, making it a useful tool for analysing and understanding navigation strategies on real world networks.


title: Estimates for the norm of the derivative of Lie exponetial map for connected Lie groups

abstract: Let $G$ be a real connected Lie group with a left invariant metric $d$, $\mathfrak{g}$ its Lie algebra. In this paper we present a set of interesting upper and lower bounds for $|d\exp_{x}(y)|,\ x,y \in \mathfrak{g}$. If $\textrm{ad}_x$ is diagonalizable, these bounds only depend on eigenvalues of $\textrm{ad}_x$, but in general they are functions of the singular values $\textrm{ad}_x$.


title: Tailoring the Energy Gap of Hybrid Hexagonal Boron Nitride Sheets Embedded with Carbon Domains of Different Shapes and Sizes

abstract: We present in this work the size-dependent and shape-dependent properties of carbon domains in hybrid h-BN/C sheets with the goal of tailoring their energy gaps. We have considered triangular, hexagonal, circular, and rectangular carbon domains embedded in h-BN sheets and optimized the structure of these h-BN/C sheets using the recently developed semi-empirical method, referred as SCED-LCAO. Calculated energy gaps of hybrid h-BN/C sheets exhibit interesting size- and shape-dependent properties. The energy gap of h-BN/C sheets embedded with rectangular domains shows a semi-metal behavior, while the size-dependence of the energy gap of hexagonal carbon domains exhibit a power-law decrease, and that of the energy gap of h-BN/C sheets with circular carbon domains show an oscillatory behavior. It is evident from the density of states calculations that the reduction in the energy gap of hybrid h-BN/C sheets compared to pristine h-BN sheets mainly arises from carbon domains. The bond distortions due to competing bond lengths (C-C, C-B, C-N, B-N, etc.) at the domain boundary also introduce states in the gap and this is particularly evident in sheets with smaller carbon domains.


title: Coherent multi-spin exchange coupling in a quantum-dot spin chain

abstract: Heisenberg exchange coupling between neighboring electron spins in semiconductor quantum dots provides a powerful tool for quantum information processing and simulation. Although so far unrealized, extended Heisenberg spin chains can enable long-distance quantum information transfer and the generation of non-equilibrium quantum states. In this work, we implement simultaneous, coherent exchange coupling between all nearest-neighbor pairs of spins in a quadruple quantum dot. The main challenge in implementing simultaneous exchange couplings is the nonlinear and nonlocal dependence of the exchange couplings on gate voltages. Through a combination of electrostatic simulation and theoretical modeling, we show that this challenge arises primarily due to lateral shifts of the quantum dots during gate pulses. Building on this insight, we develop two models, which can be used to predict the confinement gate voltages for a desired set of exchange couplings. Although the model parameters depend on the number of exchange couplings desired (suggesting that effects in addition to lateral wavefunction shifts are important), the models are sufficient to enable simultaneous and independent control of all three exchange couplings in a quadruple quantum dot. We demonstrate two-, three-, and four-spin exchange oscillations, and our data agree with simulations.


title: Constraints on neutrino millicharge and charge radius from neutrino-atom scattering

abstract: We consider possible effects of neutrino electric charge (millicharge) and charge radius on the neutrino-atom interaction processes such as (i) atomic ionization by neutrino impact and (ii) coherent elastic neutrino-nucleus scattering. The bounds on the neutrino millicharge and charge radius that follow from, respectively, the GEMMA and COHERENT experiments are presented and discussed.


title: Quasi-Lie bialgebras of loops in quasi-surfaces

abstract: We discuss natural operations on loops in a quasi-surface and show that these operations define a structure of a quasi-Lie bialgebra in the module generated by the set of free homotopy classes of non-contractible loops.


title: Deformation of Dirac operators along orbits and quantization of non-compact Hamiltonian torus manifolds

abstract: We give a formulation of a deformation of Dirac operator along orbits of a group action on a possibly non-compact manifold to get an equivariant index and a K-homology cycle representing the index. We apply this framework to non-compact Hamiltonian torus manifolds to define geometric quantization from the view point of index theory. We give two applications. The first one is a proof of a [Q,R]=0 type theorem, which can be regarded as a proof of the Vergne conjecture for Abelian case. The other is a Danilov-type formula for toric case in the non-compact setting, which shows that this geometric quantization is independent of the choice of polarization. The proofs are based on the localization of index to lattice points.


title: On resolvent approximations of elliptic differential operators with locally periodic coefficients

abstract: We study the asymptotic behaviour, as the small parameter $\varepsilon$ tends to zero, of the resolvents of uniformly elliptic second-order differential operators with locally periodic coefficients depending on the slow variable $x$ and the fast variable $x/\varepsilon$, with periodicity only in the fast variable. We provide a construction for the leading terms in the operator asymptotics of these resolvents in the sense of $L^2$-operator-norm convergence with order $\varepsilon^2$ remainder estimates. We apply the modified method of the first approximation with the usage of the shift.


title: A Prevention and a Traction System for Ransomware Attacks

abstract: Over the past three years, especially following WannaCry malware, ransomware has become one of the biggest concerns for private businesses, state, and local government agencies. According to Homeland Security statistics, 1.5 million ransomware attacks have occurred per year since 2016. Cybercriminals often use creative methods to inject their malware into the target machines and use sophisticated cryptographic techniques to hold hostage victims' files and programs unless a certain amount of equivalent Bitcoin is paid. The return to the cybercriminals is so high (estimated \$1 billion in 2019) without any cost because of the advanced anonymity provided by cryptocurrencies, especially Bitcoin \cite{Paquet-Clouston2019}. Given this context, this study first discusses the current state of ransomware, detection, and prevention systems. Second, we propose a global ransomware center to better manage our concerted efforts against cybercriminals. The policy implications of the proposed study are discussed in the conclusion section.


title: Stellar Property Statistics of Massive Halos from Cosmological Hydrodynamics Simulations: Common Kernel Shapes

abstract: We study stellar property statistics, including satellite galaxy occupation, of massive halo populations realized by three cosmological hydrodynamics simulations: BAHAMAS + MACSIS, TNG300 of the IllustrisTNG suite, and Magneticum Pathfinder. The simulations incorporate independent sub-grid methods for astrophysical processes with spatial resolutions ranging from $1.5$ to $6$ kpc, and each generates samples of $1000$ or more halos with $M_{\rm halo}> 10^{13.5} M_{\odot}$ at redshift $z=0$. Applying localized, linear regression (LLR), we extract halo mass-conditioned statistics (normalizations, slopes, and intrinsic covariance) for a three-element stellar property vector consisting of: i) $N_{sat}$, the number of satellite galaxies with stellar mass, $M_{\star, \rm sat} > 10^{10} M_{\odot}$ within radius $R_{200c}$ of the halo; ii) $M_{\star,\rm tot}$, the total stellar mass within that radius, and; iii) $M_{\star,\rm BCG}$, the gravitationally-bound stellar mass of the central galaxy within a $100 \, \rm kpc$ radius. Scaling parameters for the three properties with halo mass show mild differences among the simulations, in part due to numerical resolution, but there is qualitative agreement on property correlations, with halos having smaller than average central galaxies tending to also have smaller total stellar mass and a larger number of satellite galaxies. Marginalizing over total halo mass, we find the satellite galaxy kernel, $p(\ln N_{sat}\,|\,M_{\rm halo},z)$ to be consistently skewed left, with skewness parameter $\gamma = -0.91 \pm 0.02$, while that of $\ln M_{\star,\rm tot}$ is closer to log-normal, in all three simulations. The highest resolution simulations find $\gamma \simeq -0.8$ for the $z=0$ shape of $p(\ln M_{\star,\rm BCG}\,|\,M_{\rm halo},z)$ and also that the fractional scatter in total stellar mass is below $10\%$ in halos more massive than $10^{14.3} M_{\odot}$.


title: Multipurpose Intelligent Process Automation via Conversational Assistant

abstract: Intelligent Process Automation (IPA) is an emerging technology with a primary goal to assist the knowledge worker by taking care of repetitive, routine and low-cognitive tasks. Conversational agents that can interact with users in a natural language are potential application for IPA systems. Such intelligent agents can assist the user by answering specific questions and executing routine tasks that are ordinarily performed in a natural language (i.e., customer support). In this work, we tackle a challenge of implementing an IPA conversational assistant in a real-world industrial setting with a lack of structured training data. Our proposed system brings two significant benefits: First, it reduces repetitive and time-consuming activities and, therefore, allows workers to focus on more intelligent processes. Second, by interacting with users, it augments the resources with structured and to some extent labeled training data. We showcase the usage of the latter by re-implementing several components of our system with Transfer Learning (TL) methods.


title: Differentially Private Confidence Intervals

abstract: Confidence intervals for the population mean of normally distributed data are some of the most standard statistical outputs one might want from a database. In this work we give practical differentially private algorithms for this task. We provide five algorithms and then compare them to each other and to prior work. We give concrete, experimental analysis of their accuracy and find that our algorithms provide much more accurate confidence intervals than prior work. For example, in one setting (with {\epsilon} = 0.1 and n = 2782) our algorithm yields an interval that is only 1/15th the size of the standard set by prior work.


title: A Science Gateway for Atomic and Molecular Physics

abstract: We describe the creation of a new Atomic and Molecular Physics science gateway (AMPGateway). The gateway is designed to bring together a subset of the AMP community to work collectively to make their codes available and easier to use by the partners as well as others. By necessity, a project such as this requires the developers to work on issues of portability, documentation, ease of input, as well as making sure the codes can run on a variety of architectures. Here we outline our efforts to build this AMP gateway and future directions.


title: A unified energy optimality criterion predicts human navigation paths and speeds

abstract: Navigating our physical environment requires changing directions and turning. Despite its ecological importance, we do not have a unified theoretical account of non-straight-line human movement. Here, we present a unified optimality criterion that predicts disparate non-straight-line walking phenomena, with straight-line walking as a special case. We first characterized the metabolic cost of turning, deriving the cost landscape as a function of turning radius and rate. We then generalized this cost landscape to arbitrarily complex trajectories, allowing the velocity direction to deviate from body orientation (holonomic walking). We used this generalized optimality criterion to mathematically predict movement patterns in multiple contexts of varying complexity: walking on prescribed paths, turning in place, navigating an angled corridor, navigating freely with end-point constraints, walking through doors, and navigating around obstacles. In these tasks, humans moved at speeds and paths predicted by our optimality criterion, slowing down to turn and never using sharp turns. We show that the shortest path between two points is, counterintuitively, often not energy optimal, and indeed, humans do not use the shortest path in such cases. Thus, we have obtained a unified theoretical account that predicts human walking paths and speeds in diverse contexts. Our model focuses on walking in healthy adults; future work could generalize this model to other human populations, other animals, and other locomotor tasks.


title: Semisimple 4-dimensional topological field theories cannot detect exotic smooth structure

abstract: We prove that semisimple 4-dimensional oriented topological field theories lead to stable diffeomorphism invariants and can therefore not distinguish homeomorphic closed oriented smooth 4-manifolds and homotopy equivalent simply connected closed oriented smooth 4-manifolds. We show that all currently known 4-dimensional field theories are semisimple, including unitary field theories, and once-extended field theories which assign algebras or linear categories to 2-manifolds. As an application, we compute the value of a semisimple field theory on a simply connected closed oriented 4-manifold in terms of its Euler characteristic and signature. Moreover, we show that a semisimple 4-dimensional field theory is invariant under $\mathbb{C}P^2$-stable diffeomorphisms if and only if the Gluck twist acts trivially. This may be interpreted as the absence of fermions amongst the `point particles' of the field theory. Such fermion-free field theories cannot distinguish homotopy equivalent 4-manifolds. Throughout, we illustrate our results with the Crane-Yetter-Kauffman field theory associated to a ribbon fusion category. As an algebraic corollary of our results applied to this field theory, we show that a ribbon fusion category contains a fermionic object if and only if its Gauss sums vanish.


title: Enabling Cyberattack-Resilient Load Forecasting through Adversarial Machine Learning

abstract: In the face of an increasingly broad cyberattack surface, cyberattack-resilient load forecasting for electric utilities is both more necessary and more challenging than ever. In this paper, we propose an adversarial machine learning (AML) approach, which can respond to a wide range of attack behaviors without detecting outliers. It strikes a balance between enhancing a system's robustness against cyberattacks and maintaining a reasonable degree of forecasting accuracy when there is no attack. Attack models and configurations for the adversarial training were selected and evaluated to achieve the desired level of performance in a simulation study. The results validate the effectiveness and excellent performance of the proposed method.


title: Tuning the shear-thickening of suspensions through surface roughness and physico-chemical interactions

abstract: Shear thickening denotes the reversible increase in viscosity of a suspension of rigid particles under external shear. This ubiquitous phenomenon has been documented in a broad variety of multiphase particulate systems, while its microscopic origin has been successively attributed to hydrodynamic interactions and frictional contact between particles. The relative contribution of these two phenomena to the magnitude of shear thickening is still highly debated and we report here a discriminating experimental study using a model shear-thickening suspension that allows us to tune independently both the surface chemistry and the surface roughness of the particles. We show here that both properties matter when it comes to continuous shear thickening (CST) and that the presence of hydrogen bonds between the particles is essential to achieve discontinuous shear thickening (DST) by enhancing solid friction between closely contacting particles. Moreover, a simple argument allows us to predict the onset of CST, which for these very rough particles occurs at a critical volume fraction much lower than that previously reported in the literature. Finally, we demonstrate how mixtures of particles with opposing surface chemistry make it possible to finely tune the shear-thickening response of the suspension at a fixed volume fraction, paving the way for a fine control of the shear-thickening transition in engineering applications.


title: A coupled neutronics shock physics solver: implementation of an SN neutron transport module

abstract: A multiphysics finite volume method (FVM) solver, coupling neutronics and shock physics, is under development at Politecnico di Milano for the analysis of shock imploding fissile materials [1]. The proposed solver can be a useful tool to make preliminary safety assessment of subcritical plutonium experiments [2] and, more in general, to perform criticality safety evaluations in case of strongly energetic events (such as chemical explosions) involving fissile materials [3]. To this aim, a multi-group SP3 neutron transport model is coupled with a hydrodynamic shock physics model [4], suitable to describe the propagation of strong shockwaves in solid materials. The shock physics module implements a dynamic mesh to reproduce material deformations and its governing equations are written in an Arbitrary Lagrangian Eulerian (ALE) formulation to preserve the mesh quality in case of large distortions.


title: Dragonfly Algorithm and its Applications in Applied Science -- Survey

abstract: One of the most recently developed heuristic optimization algorithms is dragonfly by Mirjalili. Dragonfly algorithm has shown its ability to optimizing different real world problems. It has three variants. In this work, an overview of the algorithm and its variants is presented. Moreover, the hybridization versions of the algorithm are discussed. Furthermore, the results of the applications that utilized dragonfly algorithm in applied science are offered in the following area: Machine Learning, Image Processing, Wireless, and Networking. It is then compared with some other metaheuristic algorithms. In addition, the algorithm is tested on the CEC-C06 2019 benchmark functions. The results prove that the algorithm has great exploration ability and its convergence rate is better than other algorithms in the literature, such as PSO and GA. In general, in this survey the strong and weak points of the algorithm are discussed. Furthermore, some future works that will help in improving the algorithm's weak points are recommended. This study is conducted with the hope of offering beneficial information about dragonfly algorithm to the researchers who want to study the algorithm.


title: A Network-Level View of Author Influence

abstract: I compare several network-level measures of centrality to common measures of author reputation and influence (e.g. hindex, i10index), all taken over the data set of papers published in 2017 at major computer systems conferences and some controls. I hypothesize that centrality measures will correlate strongly with the reputation and influence measures. My results confirm several expected correlations and exhibit a few surprising absences of correlation. In particular, there was an absence of statistically significant correlation between degree centrality and hindex,


title: Numerical computations of geometric ergodicity for stochastic dynamics

abstract: A probabilistic approach of computing geometric rate of convergence of stochastic processes is introduced in this paper. The goal is to quantitatively compute both upper and lower bounds of the exponential rate of convergence to the invariant probability measure of a stochastic process. By applying the coupling method, we derive an algorithm which does not need to discretize the state space. In this way, our approach works well for many high-dimensional examples. We apply this algorithm to both random perturbed iterative mappings and stochastic differential equations. We show that the rate of geometric ergodicity of the random perturbed system can, to some extent, reveal the chaotic properties of the unperturbed deterministic one. Various SDE models including those with degenerate noise or high-dimensional state space are also explored.


title: Connected Components of Affine Primitive Permutation Groups

abstract: For a finite group $G$, the Hurwitz space $\mathcal{H}^{in}_{r,g}(G)$ is the space of genus $g$ covers of the Riemann sphere with $r$ branch points and the monodromy group $G$. In this paper, we give a complete list of primitive genus one systems of affine type. That is, we assume that $G$ is a primitive group of affine type. Under this assumption we determine the braid orbits on the suitable Nielsen classes, which is equivalent to finding connected components in $\mathcal{H}^{in}_{r,1}(G)$. Furthermore, we give a new algorithm for computing large braid orbits on Nielsen classes. This algorithm utilizes a correspondence between the components of $\mathcal{H}^{in}_{r,1}(G)$ and $\mathcal{H}^{in}_{r,1}(M)$, where $M$ is the point stabilizer in $G$.


title: Incremental Monoidal Grammars

abstract: In this work we define formal grammars in terms of free monoidal categories, along with a functor from the category of formal grammars to the category of automata. Generalising from the Booleans to arbitrary semirings, we extend our construction to weighted formal grammars and weighted automata. This allows us to link the categorical viewpoint on natural language to the standard machine learning notion of probabilistic language model.


title: Generating Semantic Adversarial Examples via Feature Manipulation

abstract: The vulnerability of deep neural networks to adversarial attacks has been widely demonstrated (e.g., adversarial example attacks). Traditional attacks perform unstructured pixel-wise perturbation to fool the classifier. An alternative approach is to have perturbations in the latent space. However, such perturbations are hard to control due to the lack of interpretability and disentanglement. In this paper, we propose a more practical adversarial attack by designing structured perturbation with semantic meanings. Our proposed technique manipulates the semantic attributes of images via the disentangled latent codes. The intuition behind our technique is that images in similar domains have some commonly shared but theme-independent semantic attributes, e.g. thickness of lines in handwritten digits, that can be bidirectionally mapped to disentangled latent codes. We generate adversarial perturbation by manipulating a single or a combination of these latent codes and propose two unsupervised semantic manipulation approaches: vector-based disentangled representation and feature map-based disentangled representation, in terms of the complexity of the latent codes and smoothness of the reconstructed images. We conduct extensive experimental evaluations on real-world image data to demonstrate the power of our attacks for black-box classifiers. We further demonstrate the existence of a universal, image-agnostic semantic adversarial example.


title: On a new type Bertrand curve

abstract: In this paper, we define a new type Bertrand curve and this curves are said V-Bertrand curve, f-Bertrand curve and a-Bertrand curve. In addition, we give charectarization of the V-Bertrand curve and we define a Bertrand surface.


title: The LDBC Social Network Benchmark

abstract: The Linked Data Benchmark Council's Social Network Benchmark (LDBC SNB) is an effort intended to test various functionalities of systems used for graph-like data management. For this, LDBC SNB uses the recognizable scenario of operating a social network, characterized by its graph-shaped data. LDBC SNB consists of two workloads that focus on different functionalities: the Interactive workload (interactive transactional queries) and the Business Intelligence workload (analytical queries). This document contains the definition of both workloads. This includes a detailed explanation of the data used in the LDBC SNB, a detailed description for all queries, and instructions on how to generate the data and run the benchmark with the provided software.


title: Plunge into the Underworld: A Survey on Emergence of Darknet

abstract: The availability of sophisticated technologies and methods of perpetrating criminogenic activities in the cyberspace is a pertinent societal problem. Darknet is an encrypted network technology that uses the internet infrastructure and can only be accessed using special network configuration and software tools to access its contents which are not indexed by search engines. Over the years darknets traditionally are used for criminogenic activities and famously acclaimed to promote cybercrime, procurements of illegal drugs, arms deals, and cryptocurrency markets. In countries with oppressive regimes, censorship of digital communications, and strict policies prompted journalists and freedom fighters to seek freedom using darknet technologies anonymously while others simply exploit it for illegal activities. Recently, MIT's Lincoln Laboratory of Artificial Intelligence augmented a tool that can be used to expose illegal activities behind the darknet. We studied relevant literature reviews to help researchers to better understand the darknet technologies, identify future areas of research on the darknet and ultimately to optimize how data-driven insights can be utilized to support governmental agencies in unraveling the depths of darknet technologies. This paper focuses on the use of the internet for crimes, deanonymization of TOR-services, darknet a new digital street for illicit drugs, research questions and hypothesis to guide researchers in further studies. Finally, in this study, we propose a model to examine and investigate anonymous online illicit markets.


title: Quantum-Secure Microgrid

abstract: Existing microgrid communication relies on classical public key systems, which are vulnerable to attacks from quantum computers. This paper uses quantum key distribution (QKD) to solve these quantum-era microgrid challenges. Specifically, this paper makes the following novel contributions: 1) it offers a QKD-based microgrid communication architecture for microgrids; 2) it shows how to build a quantum-secure microgrid testbed in an RTDS environment; 3) it develops a key pool sharing (KPS) strategy to improve the cyberattack resilience of the QKD-based microgrid; and 4) it analyzes the impacts of critical QKD parameters with the testbed. Test results provide insightful resources for building a quantum-secure microgrid.


title: Visual-Semantic Graph Attention Networks for Human-Object Interaction Detection

abstract: In scene understanding, robotics benefit from not only detecting individual scene instances but also from learning their possible interactions. Human-Object Interaction (HOI) Detection infers the action predicate on a <human, predicate, object> triplet. Contextual information has been found critical in inferring interactions. However, most works only use local features from single human-object pair for inference. Few works have studied the disambiguating contribution of subsidiary relations made available via graph networks. Similarly, few have learned to effectively leverage visual cues along with the intrinsic semantic regularities contained in HOIs. We contribute a dual-graph attention network that effectively aggregates contextual visual, spatial, and semantic information dynamically from primary human-object relations as well as subsidiary relations through attention mechanisms for strong disambiguating power. We achieve comparable results on two benchmarks: V-COCO and HICO-DET. Code is available at \url{https://github.com/birlrobotics/vs-gats}.


title: N\'{e}ron models of intermediate Jacobians associated to moduli spaces

abstract: Let $\pi_1:\mathcal{X} \to \Delta$ be a flat family of smooth, projective curves of genus $g \ge 2$, degenerating to an irreducible nodal curve $X_0$ with exactly one node. Fix an invertible sheaf $\mathcal{L}$ on $\mathcal{X}$ of relative odd degree. Let $\pi_2:\mathcal{G}(2,\mathcal{L}) \to \Delta$ be the relative Gieseker moduli space of rank $2$ semi-stable vector bundles with determinant $\mathcal{L}$ over $\mathcal{X}$. Since $\pi_2$ is smooth over $\Delta^*$, there exists a canonical family $\widetilde{\rho}_i:\mathbf{J}^i_{\mathcal{G}(2, \mathcal{L})_{\Delta^*}} \to \Delta^{*}$ of $i$-th intermediate Jacobians i.e., for all $t \in \Delta^*$, $(\widetilde{\rho}_i)^{-1}(t)$ is the $i$-th intermediate Jacobian of $\pi_2^{-1}(t)$. There exist different N\'{e}ron models $\overline{\rho}_i:\overline{\mathbf{J}}_{\mathcal{G}(2, \mathcal{L})}^i \to \Delta$ extending $\widetilde{\rho}_i$ to the entire disc $\Delta$, constructed by Clemens, Saito, Schnell, Zucker and Green-Griffiths-Kerr. In this article, we prove that in our setup, the N\'{e}ron model $\overline{\rho}_i$ is canonical in the sense that the different N\'{e}ron models coincide and is an analytic fiber space which graphs admissible normal functions. We also show that for $1 \le i \le \max\{2,g-1\}$, the central fiber of $\overline{\rho}_i$ is a fibration over product of copies of $J^k(\mathrm{Jac}(\widetilde{X}_0))$ for certain values of $k$, where $\widetilde{X}_0$ is the normalization of $X_0$. In particular, for $g \ge 5$ and $i=2, 3, 4$, the central fiber of $\overline{\rho}_i$ is a semi-abelian variety. Furthermore, we prove that the $i$-th generalized intermediate Jacobian of the (singular) central fibre of $\pi_2$ is a fibration over the central fibre of the N\'{e}ron model $\overline{\mathbf{J}}^i_{\mathcal{G}(2, \mathcal{L})}$. In fact, for $i=2$ the fibration is an isomorphism.


title: Spherical and cylindrical solutions in f (T) gravity by Noether Symmetry Approach

abstract: We find exact solutions for f (T) teleparallel gravity for the cases of spherically and cylindrically symmetric tetrads. The adopted method is based on the search for Noether symmetries of point-like Lagrangians defined in Jordan and Einstein frames. Constants of motion are used to reduce the dynamical system.We first consider the Lagrangian defined in the Jordan frame for a spherically symmetric tetrad and, by the help of two constants of motion, we eliminate a tetrad potential and integrate the other. The more complicated structure in the Einstein frame is also overcome by the same method. After that we obtain the Jordan frame Lagrangian for a general cylindrically symmetric tetrad. Following the same procedure adopted in the spherically symmetric case, we again obtain the tetrad potentials and then the exact solutions.


title: Well-posedness and convergence of a numerical scheme for the corrected Derrida-Lebowitz-Speer-Spohn equation using the Hellinger distance

abstract: In this paper we construct a unique global in time weak nonnegative solution to the corrected Derrida-Lebowitz-Speer-Spohn equation, which statistically describes the interface fluctuations between two phases in a certain spin system. The construction of the weak solution is based on the dissipation of a Lyapunov functional which equals to the square of the Hellinger distance between the solution and the constant steady state. Furthermore, it is shown that the weak solution converges at an exponential rate to the constant steady state in the Hellinger distance and thus also in the $L^1$-norm. Numerical scheme which preserves the variational structure of the equation is devised and its convergence in terms of a discrete Hellinger distance is demonstrated.


title: Examining Potential Usability and Health Beliefs Among Young Adults Using a Conversational Agent for HPV Vaccine Counseling

abstract: The human papillomavirus (HPV) vaccine is the most effective way to prevent HPV-related cancers. Integrating provider vaccine counseling is crucial to improving HPV vaccine completion rates. Automating the counseling experience through a conversational agent could help improve HPV vaccine coverage and reduce the burden of vaccine counseling for providers. In a previous study, we tested a simulated conversational agent that provided HPV vaccine counseling for parents using the Wizard of OZ protocol. In the current study, we assessed the conversational agent among young college adults (n=24), a population that may have missed the HPV vaccine during their adolescence when vaccination is recommended. We also administered surveys for system and voice usability, and for health beliefs concerning the HPV vaccine. Participants perceived the agent to have high usability that is slightly better or equivalent to other voice interactive interfaces, and there is some evidence that the agent impacted their beliefs concerning the harms, uncertainty, and risk denials for the HPV vaccine. Overall, this study demonstrates the potential for conversational agents to be an impactful tool for health promotion endeavors.


title: Aggressive Perception-Aware Navigation using Deep Optical Flow Dynamics and PixelMPC

abstract: Recently, vision-based control has gained traction by leveraging the power of machine learning. In this work, we couple a model predictive control (MPC) framework to a visual pipeline. We introduce deep optical flow (DOF) dynamics, which is a combination of optical flow and robot dynamics. Using the DOF dynamics, MPC explicitly incorporates the predicted movement of relevant pixels into the planned trajectory of a robot. Our implementation of DOF is memory-efficient, data-efficient, and computationally cheap so that it can be computed in real-time for use in an MPC framework. The suggested Pixel Model Predictive Control (PixelMPC) algorithm controls the robot to accomplish a high-speed racing task while maintaining visibility of the important features (gates). This improves the reliability of vision-based estimators for localization and can eventually lead to safe autonomous flight. The proposed algorithm is tested in a photorealistic simulation with a high-speed drone racing task.


title: Constructions and representation theory of BiHom-post-Lie algebras

abstract: The main goal of this paper is to give some construction results of BiHom-post-Lie algebras which are a generalization of both post-Lie-algebras and Hom-post-Lie algebras. They are the algebraic structures behind the $\mathcal{O}$-operator of BiHom-Lie algebras. They can be also regarded as the splitting into three parts of the structure of a BiHom-Lie-algebra. Moreover we develop the representation theory of BiHom-post-Lie algebras on a vector space $V$. We show that there is naturally an induced representation of its sub-adjacent Lie algebra.


title: VC-dimensions of nondeterministic finite automata for words of equal length

abstract: Let $NFA_b(q)$ denote the set of languages accepted by nondeterministic finite automata with $q$ states over an alphabet with $b$ letters. Let $B_n$ denote the set of words of length $n$. We give a quadratic lower bound on the VC dimension of \[ NFA_2(q)\cap B_n = \{L\cap B_n \mid L \in NFA_2(q)\} \] as a function of $q$. Next, the work of Gruber and Holzer (2007) gives an upper bound for the nondeterministic state complexity of finite languages contained in $B_n$, which we strengthen using our methods. Finally, we give some theoretical and experimental results on the dependence on $n$ of the VC dimension and testing dimension of $NFA_2(q)\cap B_n$.


title: Inter/extrapolation-based multirate schemes -- a dynamic-iteration perspective

abstract: Multirate behavior of ordinary differential equations (ODEs) and differential-algebraic equations (DAEs) is characterized by widely separated time constants in different components of the solution or different additive terms of the right-hand side. Here, classical multirate schemes are dedicated solvers, which apply (e.g.) micro and macro steps to resolve fast and slow changes in a transient simulation accordingly. The use of extrapolation and interpolation procedures is a genuine way for coupling the different parts, which are defined on different time grids. This paper contains for the first time, to the best knowledge of the authors, a complete convergence theory for inter/extrapolation-based multirate schemes for both ODEs and DAEs of index one, which are based on the fully-decoupled approach, the slowest-first and the fastest-first approach. The convergence theory is based on linking these schemes to multirate dynamic iteration schemes, i.e., dynamic iteration schemes without further iterations. This link defines naturally stability conditions for the DAE case.


title: Dwork-type supercongruences through a creative $q$-microscope

abstract: We develop an analytical method to prove congruences of the type $$ \sum_{k=0}^{(p^r-1)/d}A_kz^k \equiv \omega(z)\sum_{k=0}^{(p^{r-1}-1)/d}A_kz^{pk} \pmod{p^{mr}\mathbb Z_p[[z]]} \quad \text{for}\; r=1,2,\dots, $$ for primes $p>2$ and fixed integers $m,d\ge1$, where $f(z)=\sum_{k=0}^\infty A_kz^k$ is an "arithmetic" hypergeometric series. Such congruences for $m=d=1$ were introduced by Dwork in 1969 as a tool for $p$-adic analytical continuation of $f(z)$. Our proofs of several Dwork-type congruences corresponding to $m\ge2$ (in other words, supercongruences) are based on constructing and proving their suitable $q$-analogues, which in turn have their own right for existence and potential for a $q$-deformation of modular forms and of cohomology groups of algebraic varieties. Our method follows the principles of creative microscoping introduced by us to tackle $r=1$ instances of such congruences; it is the first method capable of establishing the supercongruences of this type for general $r$.


title: Stochastic Weight Averaging in Parallel: Large-Batch Training that Generalizes Well

abstract: We propose Stochastic Weight Averaging in Parallel (SWAP), an algorithm to accelerate DNN training. Our algorithm uses large mini-batches to compute an approximate solution quickly and then refines it by averaging the weights of multiple models computed independently and in parallel. The resulting models generalize equally well as those trained with small mini-batches but are produced in a substantially shorter time. We demonstrate the reduction in training time and the good generalization performance of the resulting models on the computer vision datasets CIFAR10, CIFAR100, and ImageNet.


title: Higher-Page Hodge Theory of Compact Complex Manifolds

abstract: On a compact $\partial\bar\partial$-manifold $X$, one has the Hodge decomposition: the de Rham cohomology groups split into subspaces of pure-type classes as $H_{dR}^k (X)=\oplus_{p+q=k}H^{p,\,q}(X)$, where the $H^{p,\,q}(X)$ are canonically isomorphic to the Dolbeault cohomology groups $H_{\bar\partial}^{p,\,q}(X)$. For an arbitrary nonnegative integer $r$, we introduce the class of page-$r$-$\partial\bar\partial$-manifolds by requiring the analogue of the Hodge decomposition to hold on a compact complex manifold $X$ when the usual Dolbeault cohomology groups $H^{p,\,q}_{\bar\partial}(X)$ are replaced by the spaces $E_{r+1}^{p,\,q}(X)$ featuring on the $(r+1)$-st page of the Fr\"olicher spectral sequence of $X$. The class of page-$r$-$\partial\bar\partial$-manifolds coincides with the usual class of $\partial\bar\partial$-manifolds when $r=0$ but may increase as $r$ increases. We give two kinds of applications. On the one hand, we give a purely numerical characterisation of the page-$r$-$\partial\bar\partial$-property in terms of dimensions of various cohomology vector spaces. On the other hand, we obtain several classes of examples, including all complex parallelisable nilmanifolds and certain families of solvmanifolds and abelian nilmanifolds. Further, there are general results about the behaviour of this new class under standard constructions like blow-ups and deformations.


title: Bridging Knowledge Graphs to Generate Scene Graphs

abstract: Scene graphs are powerful representations that parse images into their abstract semantic elements, i.e., objects and their interactions, which facilitates visual comprehension and explainable reasoning. On the other hand, commonsense knowledge graphs are rich repositories that encode how the world is structured, and how general concepts interact. In this paper, we present a unified formulation of these two constructs, where a scene graph is seen as an image-conditioned instantiation of a commonsense knowledge graph. Based on this new perspective, we re-formulate scene graph generation as the inference of a bridge between the scene and commonsense graphs, where each entity or predicate instance in the scene graph has to be linked to its corresponding entity or predicate class in the commonsense graph. To this end, we propose a novel graph-based neural network that iteratively propagates information between the two graphs, as well as within each of them, while gradually refining their bridge in each iteration. Our Graph Bridging Network, GB-Net, successively infers edges and nodes, allowing to simultaneously exploit and refine the rich, heterogeneous structure of the interconnected scene and commonsense graphs. Through extensive experimentation, we showcase the superior accuracy of GB-Net compared to the most recent methods, resulting in a new state of the art. We publicly release the source code of our method.


title: Driving Quantum Correlated Atom-Pairs from a Bose-Einstein Condensate

abstract: The ability to cool quantum gases into the quantum degenerate realm has opened up possibilities for an extreme level of quantum-state control. In this paper, we investigate one such control protocol that demonstrates the resonant amplification of quasimomentum pairs from a Bose-Einstein condensate by the periodic modulation of the two-body s-wave scattering length. This shows a capability to selectively amplify quantum fluctuations with a predetermined momentum, where the momentum value can be spectroscopically tuned. A classical external field that excites pairs of particles with the same energy but opposite momenta is reminiscent of the coherently-driven nonlinearity in a parametric amplifier crystal in nonlinear optics. For this reason, it may be anticipated that the evolution will generate a squeezed matter-wave state in the quasiparticle mode on resonance with the modulation frequency. Our model and analysis is motivated by a recent experiment by Clark et al. that observed a time-of-flight pattern similar to an exploding firework. Since the drive is a highly coherent process, we interpret the observed firework patterns as arising from a monotonic growth in the two-body correlation amplitude, so that the jets should contain correlated atom pairs with nearly equal and opposite momenta. We propose a potential future experiment based on applying Ramsey interferometry to experimentally probe these pair correlations.


title: Surfacing Visualization Mirages

abstract: Dirty data and deceptive design practices can undermine, invert, or invalidate the purported messages of charts and graphs. These failures can arise silently: a conclusion derived from a particular visualization may look plausible unless the analyst looks closer and discovers an issue with the backing data, visual specification, or their own assumptions. We term such silent but significant failures "visualization mirages". We describe a conceptual model of mirages and show how they can be generated at every stage of the visual analytics process. We adapt a methodology from software testing, "metamorphic testing", as a way of automatically surfacing potential mirages at the visual encoding stage of analysis through modifications to the underlying data and chart specification. We show that metamorphic testing can reliably identify mirages across a variety of chart types with relatively little prior knowledge of the data or the domain.


title: Collisions Between Ultracold Atoms and Cold Molecules in a Dual Electrostatic-Magnetic Trap

abstract: Measurements of interactions between cold molecules and ultracold atoms can allow for a detailed understanding of fundamental collision processes. These measurements can be done using various experimental geometries including where both species are in a beam, where one species is trapped, or when both species are trapped. Simultaneous trapping offers significantly longer interaction times and an associated increased sensitivity to rare collision events. However, there are significant practical challenges associated with combining atom and molecule systems, which often have competing experimental requirements. Here, we describe in detail an experimental system that allows for studies of cold collisions between ultracold atoms and cold molecules in a dual trap, where the atoms and molecules are trapped using static magnetic and electric fields, respectively. As a demonstration of the system's capabilities, we study cold collisions between ammonia ($^{14}$ND$_{3}$ and $^{15}$ND$_{3}$) molecules and rubidium ($^{87}$Rb and $^{85}$Rb) atoms.


title: Meromorphic open-string vertex algebras and modules over two-dimensional orientable space forms

abstract: We study the meromorphic open-string vertex algebras and their modules over the two-dimensional Riemannian manifolds that are complete, connected, orientable, and of constant sectional curvature $K\neq 0$. Using the parallel tensors, we explicitly determine a basis for the meromorphic open-string vertex algebra, its modules generated by eigenfunctions of the Laplace-Beltrami operator, and their irreducible quotients. We also study the modules generated by lowest weight subspace satisfying a geometrically interesting condition. It is showed that every irreducible module of this type is generated by some (local) eigenfunction on the manifold. A classification is given for modules of this type admitting a composition series of finite length. In particular and remarkably, if every composition factor is generated by eigenfunctions of eigenvalue $p(p-1)K$ for some $p\in \mathbb{Z}_+$, then the module is completely reducible.


title: Perception and Navigation in Autonomous Systems in the Era of Learning: A Survey

abstract: Autonomous systems possess the features of inferring their own state, understanding their surroundings, and performing autonomous navigation. With the applications of learning systems, like deep learning and reinforcement learning, the visual-based self-state estimation, environment perception and navigation capabilities of autonomous systems have been efficiently addressed, and many new learning-based algorithms have surfaced with respect to autonomous visual perception and navigation. In this review, we focus on the applications of learning-based monocular approaches in ego-motion perception, environment perception and navigation in autonomous systems, which is different from previous reviews that discussed traditional methods. First, we delineate the shortcomings of existing classical visual simultaneous localization and mapping (vSLAM) solutions, which demonstrate the necessity to integrate deep learning techniques. Second, we review the visual-based environmental perception and understanding methods based on deep learning, including deep learning-based monocular depth estimation, monocular ego-motion prediction, image enhancement, object detection, semantic segmentation, and their combinations with traditional vSLAM frameworks. Then, we focus on the visual navigation based on learning systems, mainly including reinforcement learning and deep reinforcement learning. Finally, we examine several challenges and promising directions discussed and concluded in related research of learning systems in the era of computer science and robotics.


title: RoboFly: An insect-sized robot with simplified fabrication that is capable of flight, ground, and water surface locomotion

abstract: Aerial robots the size of a honeybee (~100 mg) have advantages over larger robots because of their small size, low mass and low materials cost. Previous iterations have demonstrated controlled flight but were difficult to fabricate because they consisted of many separate parts assembled together. They also were unable to perform locomotion modes besides flight. This paper presents a new design of a 74 mg flapping-wing robot that dramatically reduces the number of parts and simplifies fabrication. It also has a lower center of mass, which allows the robot to additionally land without the need for long legs, even in case of unstable flight. Furthermore, we show that the new design allows for wing-driven ground and air-water interfacial locomotion, improving the versatility of the robot. Forward thrust is generated by increasing the speed of downstroke relative to the upstroke of the flapping wings. This also allows for steering. The ability to land and subsequently move along the ground allows the robot to negotiate extremely confined spaces, underneath obstacles, and to precise locations. We describe the new design in detail and present results demonstrating these capabilities, as well as hovering flight and controlled landing.


title: Effect of gluon condensate on holographic Schwinger effect

abstract: We perform the potential analysis in holographic Schwinger effect in a deformed anti-de Sitter (AdS) background with backreaction due to the gluon condensate. We determine the potential by analyzing the classical string action attaching on a probe D3-brane sitting at an intermediate position in the bulk AdS space. It is found that the inclusion of the gluon condensate reduces the production rate, reverse to the effect of the temperature. Also, we evaluate the critical electric field by Dirac-Born-Infeld (DBI) action.


title: External Threats, Political Turnover and Fiscal Capacity

abstract: In most of the recent literature on state capacity, the significance of wars in state-building assumes that threats from foreign countries generate common interests among domestic groups, leading to larger investments in state capacity. However, many countries that have suffered external conflicts don't experience increased unity. Instead, they face factional politics that often lead to destructive civil wars. This paper develops a theory of the impact of interstate conflicts on fiscal capacity in which fighting an external threat is not always a common-interest public good, and in which interstate conflicts can lead to civil wars. The theory identifies conditions under which an increased risk of external conflict decreases the chance of civil war, which in turn results in a government with a longer political life and with more incentives to invest in fiscal capacity. These conditions depend on the cohesiveness of institutions, but in a non-trivial and novel way: a higher risk of an external conflict that results in lower political turnover, but that also makes a foreign invasion more likely, contributes to state-building only if institutions are sufficiently incohesive.


title: On Thompson Sampling for Smoother-than-Lipschitz Bandits

abstract: Thompson Sampling is a well established approach to bandit and reinforcement learning problems. However its use in continuum armed bandit problems has received relatively little attention. We provide the first bounds on the regret of Thompson Sampling for continuum armed bandits under weak conditions on the function class containing the true function and sub-exponential observation noise. Our bounds are realised by analysis of the eluder dimension, a recently proposed measure of the complexity of a function class, which has been demonstrated to be useful in bounding the Bayesian regret of Thompson Sampling for simpler bandit problems under sub-Gaussian observation noise. We derive a new bound on the eluder dimension for classes of functions with Lipschitz derivatives, and generalise previous analyses in multiple regards.


title: Egoistic Incentives Based on Zero-Determinant Alliances for Large-Scale Systems

abstract: Social dilemmas exist in various fields and give rise to the so-called free-riding problem, leading to collective fiascos. The difficulty of tracking individual behaviors makes egoistic incentives in large-scale systems a challenging task. However, the state-of-the-art mechanisms are either individual-based or state-dependent, resulting in low efficiency in large-scale networks. In this paper, we propose an egoistic incentive mechanism from a connected (network) perspective rather than an isolated (individual) perspective by taking advantage of the social nature of people. We make use of a zero-determinant (ZD) strategy for rewarding cooperation and sanctioning defection. After proving cooperation is the dominant strategy for ZD players, we optimize their deployment to facilitate cooperation over the whole system. To further speed up cooperation, we derive a ZD alliance strategy for sequential multiple-player repeated games to empower ZD players with higher controllable leverage, which undoubtedly enriches the theoretical system of ZD strategies and broadens their application domain. Our approach is stateless and stable, which contributes to its scalability. Extensive simulations based on a real world trace data as well as synthetic data demonstrate the effectiveness of our proposed egoistic incentive approach under different networking scenarios.


title: Managing Device Lifecycle: Reconfigurable Constrained Codes for M/T/Q/P-LC Flash Memories

abstract: Flash memory devices are winning the competition for storage density against magnetic recording devices. This outcome results from advances in physics that allow storage of more than one bit per cell, coupled with advances in signal processing that reduce the effect of physical instabilities. Constrained codes are used in storage to avoid problematic patterns. Recently, we introduced binary symmetric lexicographically-ordered constrained codes (LOCO codes) for data storage and data transmission. This paper introduces simple constrained codes that support non-binary physical substrates; multi, triple, quad, and the currently-in-development penta-level cell (M/T/Q/P-LC) Flash memories. The new codes can be easily modified if problematic patterns change with time. These codes are designed to mitigate inter-cell interference, which is a critical source of error in Flash devices. The occurrence of errors is a consequence of parasitic capacitances in and across floating gate transistors, resulting in charge propagation from cells being programmed to the highest charge level to neighboring cells being programmed to lower levels. The new codes are called $q$-ary asymmetric LOCO codes (QA-LOCO codes), and the construction subsumes codes previously designed for single-level cell (SLC) Flash devices (A-LOCO codes). QA-LOCO codes work for a Flash device with any number, $q$, of levels per cell. For $q \geq 4$, we show that QA-LOCO codes can achieve rates greater than $0.95 \log_2 q$ information bits per coded symbol. The complexity of encoding and decoding is modest, and reconfiguring a code is as easy as reprogramming an adder. Capacity-achieving rates, affordable encoding-decoding complexity, and ease of reconfigurability support the growing development of M/T/Q/P-LC Flash memory devices, as well as lifecycle management as the characteristics of these devices change with time.


title: Extensions of Autocorrelation Inequalities with Applications to Additive Combinatorics

abstract: In a 2019 paper, Barnard and Steinerberger show that for $f\in L^1(\mathbf{R})$, the following autocorrelation inequality holds: \begin{equation*} \min_{0 \leq t \leq 1} \int_\mathbf{R} f(x) f(x+t)\ \mathrm{d}x \ \leq\ 0.411 ||f||_{L^1}^2, \end{equation*} where the constant $0.411$ cannot be replaced by $0.37$. In addition to being interesting and important in their own right, inequalities such as these have applications in additive combinatorics where some problems, such as those of minimal difference basis, can be encapsulated by a convolution inequality similar to the above integral. Barnard and Steinerberger suggest that future research may focus on the existence of functions extremizing the above inequality (which is itself related to Brascamp-Lieb type inequalities). We show that for $f$ to be extremal under the above, we must have \begin{equation*} \max_{x_1 \in \mathbf{R} }\min_{0 \leq t \leq 1} \left[ f(x_1-t)+f(x_1+t) \right] \ \leq\ \min_{x_2 \in \mathbf{R} } \max_{0 \leq t \leq 1} \left[ f(x_2-t)+f(x_2+t) \right] . \end{equation*} Our central technique for deriving this result is local perturbation of $f$ to increase the value of the autocorrelation, while leaving $||f||_{L^1}$ unchanged. These perturbation methods can be extended to examine a more general notion of autocorrelation. Let $d,n \in \mathbb{Z}^+$, $f \in L^1$, $A$ be a $d \times n$ matrix with real entries and columns $a_i$ for $1 \leq i \leq n$, and $C$ be a constant. For a broad class of matrices $A$, we prove necessary conditions for $f$ to extremize autocorrelation inequalities of the form \begin{equation*} \min_{ \mathbf{t} \in [0,1]^d } \int_{\mathbf{R}} \prod_{i=1}^n\ f(x+ \mathbf{t} \cdot a_i)\ \mathrm{d}x\ \leq\ C ||f||_{L^1}^n. \end{equation*}


title: Self-gravitational Force Calculation of Second Order Accuracy Using Multigrid Method on Nested Grids

abstract: We present a simple and effective multigrid-based Poisson solver of second-order accuracy in both gravitational potential and forces in terms of the one, two and infinity norms. The method is especially suitable for numerical simulations using nested mesh refinement. The Poisson equation is solved from coarse to fine levels using a one-way interface scheme. We introduce anti-symmetrically linear interpolation for evaluating the boundary conditions across the multigrid hierarchy. The spurious forces commonly observed at the interfaces between refinement levels are effectively suppressed. We validate the method using two- and three-dimensional density-force pairs that are sufficiently smooth for probing the order of accuracy.


title: The Past and Present of Imitation Learning: A Citation Chain Study

abstract: Imitation Learning is a promising area of active research. Over the last 30 years, Imitation Learning has advanced significantly and been used to solve difficult tasks ranging from Autonomous Driving to playing Atari games. In the course of this development, different methods for performing Imitation Learning have fallen into and out of favor. In this paper, I explore the development of these different methods and attempt to examine how the field has progressed. I focus my analysis on surveying 4 landmark papers that sequentially build upon each other to develop increasingly impressive Imitation Learning methods.


title: Emo-CNN for Perceiving Stress from Audio Signals: A Brain Chemistry Approach

abstract: Emotion plays a key role in many applications like healthcare, to gather patients emotional behavior. There are certain emotions which are given more importance due to their effectiveness in understanding human feelings. In this paper, we propose an approach that models human stress from audio signals. The research challenge in speech emotion detection is defining the very meaning of stress and being able to categorize it in a precise manner. Supervised Machine Learning models, including state of the art Deep Learning classification methods, rely on the availability of clean and labelled data. One of the problems in affective computation and emotion detection is the limited amount of annotated data of stress. The existing labelled stress emotion datasets are highly subjective to the perception of the annotator. We address the first issue of feature selection by exploiting the use of traditional MFCC features in Convolutional Neural Network. Our experiments show that Emo-CNN consistently and significantly outperforms the popular existing methods over multiple datasets. It achieves 90.2% categorical accuracy on the Emo-DB dataset. To tackle the second and the more significant problem of subjectivity in stress labels, we use Lovheim's cube, which is a 3-dimensional projection of emotions. The cube aims at explaining the relationship between these neurotransmitters and the positions of emotions in 3D space. The learnt emotion representations from the Emo-CNN are mapped to the cube using three component PCA (Principal Component Analysis) which is then used to model human stress. This proposed approach not only circumvents the need for labelled stress data but also complies with the psychological theory of emotions given by Lovheim's cube. We believe that this work is the first step towards creating a connection between Artificial Intelligence and the chemistry of human emotions.


title: High-Level Plan for Behavioral Robot Navigation with Natural Language Directions and R-NET

abstract: When the navigational environment is known, it can be represented as a graph where landmarks are nodes, the robot behaviors that move from node to node are edges, and the route is a set of behavioral instructions. The route path from source to destination can be viewed as a class of combinatorial optimization problems where the path is a sequential subset from a set of discrete items. The pointer network is an attention-based recurrent network that is suitable for such a task. In this paper, we utilize a modified R-NET with gated attention and self-matching attention translating natural language instructions to a high-level plan for behavioral robot navigation by developing an understanding of the behavioral navigational graph to enable the pointer network to produce a sequence of behaviors representing the path. Tests on the navigation graph dataset show that our model outperforms the state-of-the-art approach for both known and unknown environments.


title: Active matter in a viscoelastic environment

abstract: Active matter systems such as eukaryotic cells and bacteria continuously transform chemical energy to motion. Hence living systems exert active stresses on the complex environments in which they reside. One recurring aspect of this complexity is the viscoelasticity of the medium surrounding living systems: bacteria secrete their own viscoelastic extracellular matrix, and cells constantly deform, proliferate, and self-propel within viscoelastic networks of collagen. It is therefore imperative to understand how active matter modifies, and gets modified by, viscoelastic fluids. Here, we present a two-phase model of active nematic matter that dynamically interacts with a passive viscoelastic polymeric phase and perform numerical simulations in two dimensions to illustrate its applicability. Motivated by recent experiments we first study the suppression of cell division by a viscoelastic medium surrounding the cell. We further show that the self-propulsion of a model keratocyte cell is modified by the polymer relaxation of the surrounding viscoelastic fluid in a non-uniform manner and find that increasing polymer viscosity effectively suppresses the cell motility. Lastly, we explore the hampering impact of the viscoelastic medium on the generic hydrodynamic instabilities of active nematics by simulating the dynamics of an active stripe within a polymeric fluid. The model presented here can provide a framework for investigating more complex dynamics such as the interaction of multicellular growing systems with viscoelastic environments.


title: Generative Adversarial Zero-Shot Relational Learning for Knowledge Graphs

abstract: Large-scale knowledge graphs (KGs) are shown to become more important in current information systems. To expand the coverage of KGs, previous studies on knowledge graph completion need to collect adequate training instances for newly-added relations. In this paper, we consider a novel formulation, zero-shot learning, to free this cumbersome curation. For newly-added relations, we attempt to learn their semantic features from their text descriptions and hence recognize the facts of unseen relations with no examples being seen. For this purpose, we leverage Generative Adversarial Networks (GANs) to establish the connection between text and knowledge graph domain: The generator learns to generate the reasonable relation embeddings merely with noisy text descriptions. Under this setting, zero-shot learning is naturally converted to a traditional supervised classification task. Empirically, our method is model-agnostic that could be potentially applied to any version of KG embeddings, and consistently yields performance improvements on NELL and Wiki dataset.


title: Vortex stretching and anomalous dissipation for the incompressible 3D Navier-Stokes equations

abstract: We consider the 3D incompressible Navier-Stokes equations under the following $2+\frac{1}{2}$-dimensional situation: small-scale horizontal vortex blob being stretched by large-scale, anti-parallel pairs of vertical vortex tubes. We prove anomalous dissipation induced by such vortex-stretching.


title: $\mu$VulDeePecker: A Deep Learning-Based System for Multiclass Vulnerability Detection

abstract: Fine-grained software vulnerability detection is an important and challenging problem. Ideally, a detection system (or detector) not only should be able to detect whether or not a program contains vulnerabilities, but also should be able to pinpoint the type of a vulnerability in question. Existing vulnerability detection methods based on deep learning can detect the presence of vulnerabilities (i.e., addressing the binary classification or detection problem), but cannot pinpoint types of vulnerabilities (i.e., incapable of addressing multiclass classification). In this paper, we propose the first deep learning-based system for multiclass vulnerability detection, dubbed $\mu$VulDeePecker. The key insight underlying $\mu$VulDeePecker is the concept of code attention, which can capture information that can help pinpoint types of vulnerabilities, even when the samples are small. For this purpose, we create a dataset from scratch and use it to evaluate the effectiveness of $\mu$VulDeePecker. Experimental results show that $\mu$VulDeePecker is effective for multiclass vulnerability detection and that accommodating control-dependence (other than data-dependence) can lead to higher detection capabilities.


title: On the acceleration of the Barzilai-Borwein method

abstract: The Barzilai-Borwein (BB) gradient method is efficient for solving large-scale unconstrained problems to the modest accuracy and has a great advantage of being easily extended to solve a wide class of constrained optimization problems. In this paper, we propose a new stepsize to accelerate the BB method by requiring finite termination for minimizing two-dimensional strongly convex quadratic function. Combing with this new stepsize, we develop gradient methods which adaptively take the nonmonotone BB stepsizes and certain monotone stepsizes for minimizing general strongly convex quadratic function. Furthermore, by incorporating nonmonotone line searches and gradient projection techniques, we extend these new gradient methods to solve general smooth unconstrained and bound constrained optimization. Extensive numerical experiments show that our strategies of properly inserting monotone gradient steps into the nonmonotone BB method could significantly improve its performance and the new resulted methods can outperform the most successful gradient decent methods developed in the recent literature.


title: Permittivity and permeability of epoxy-magnetite powder composites at microwave frequencies

abstract: Radio, millimetre and sub-millimetre astronomy experiments as well as remote sensing applications often require castable absorbers with well known electromagnetic properties to design and realize calibration targets. In this context, we fabricated and characterized two samples using different ratios of two easily commercially available materials: epoxy (Stycast 2850FT) and magnetite ($\mathrm{Fe_{3}O_{4}}$) powder. We performed transmission and reflection measurements from 7 GHz up to 170 GHz with a VNA equipped with a series of standard horn antennas. Using an empirical model we analysed the data to extract complex permittivity and permeability from transmission data; then we used reflection data to validate the results. In this paper we present the sample fabrication procedure, analysis method, parameter extraction pipeline, and results for two samples with different epoxy-powder mass ratios.


title: Multi-Agent Deep Reinforcement Learning for Cooperative Connected Vehicles

abstract: Millimeter-wave (mmWave) base station can offer abundant high capacity channel resources toward connected vehicles so that quality-of-service (QoS) of them in terms of downlink throughput can be highly improved. The mmWave base station can operate among existing base stations (e.g., macro-cell base station) on non-overlapped channels among them and the vehicles can make decision what base station to associate, and what channel to utilize on heterogeneous networks. Furthermore, because of the non-omni property of mmWave communication, the vehicles decide how to align the beam direction toward mmWave base station to associate with it. However, such joint problem requires high computational cost, which is NP-hard and has combinatorial features. In this paper, we solve the problem in 3-tier heterogeneous vehicular network (HetVNet) with multi-agent deep reinforcement learning (DRL) in a way that maximizes expected total reward (i.e., downlink throughput) of vehicles. The multi-agent deep deterministic policy gradient (MADDPG) approach is introduced to achieve optimal policy in continuous action domain.


title: HyperSched: Dynamic Resource Reallocation for Model Development on a Deadline

abstract: Prior research in resource scheduling for machine learning training workloads has largely focused on minimizing job completion times. Commonly, these model training workloads collectively search over a large number of parameter values that control the learning process in a hyperparameter search. It is preferable to identify and maximally provision the best-performing hyperparameter configuration (trial) to achieve the highest accuracy result as soon as possible. To optimally trade-off evaluating multiple configurations and training the most promising ones by a fixed deadline, we design and build HyperSched -- a dynamic application-level resource scheduler to track, identify, and preferentially allocate resources to the best performing trials to maximize accuracy by the deadline. HyperSched leverages three properties of a hyperparameter search workload over-looked in prior work - trial disposability, progressively identifiable rankings among different configurations, and space-time constraints - to outperform standard hyperparameter search algorithms across a variety of benchmarks.


title: Anomalous thermal broadening from an infrared catastrophe in two-dimensional quantum antiferromagnets

abstract: The nature of quasiparticles in 2D quantum antiferromagnets at finite temperature remains an open question despite decades of theoretical work. In particular, it is not fully understood how long wavelength excitations contribute to significant broadening of the experimentally observable spectrum. Motivated by this problem, we consider the $XY$ model of easy-plane antiferromagnets, and compute the dynamic structure factor by direct summation of diagrams. In doing so, we find that non-interacting quasiparticles with infinite lifetimes can still lead to a broad response. This forms the basis for a new paradigm describing the interaction of experimental probes with a physical system, where broadening is due neither to the lifetime, nor to the emergence of fractional quasiparticles. Instead, strong fluctuations drive the probe to absorb and radiate an infinite number of arbitrarily low energy quasiparticles, leading us to draw parallels with the infrared catastrophe in quantum electrodynamics.


title: Short-time approximate solutions of an equation modeling a camphor motion

abstract: As a profound example of spontaneous motion, we analyze the motion of a camphor particle on a water surface. The motion is modeled as an initial-boundary value problem for a coupled nonlinear system of a diffusion equation and an ordinary differential equation in a two-dimensional domain. Since it seems that the well-posedness of this initial boundary value problem is missing, we provided its proof. Then, by constructing an approximate solution to this initial boundary value problem, we gave a mathematically rigorous interpretation of a camphor motion. That is we showed that the motion of camphor locally in time has a self-avoiding orbit. We also gave the numerical performance of the approximate solution.


title: Nucleosynthesis in early rotating massive stars and chemical composition of CEMP stars

abstract: The first massive stars triggered the onset of chemical evolution by releasing the first metals (elements heavier than helium) in the Universe. The nature of these stars and how the early chemical enrichment took place is still largely unknown. Rotational-induced mixing in the stellar interior can impact the nucleosynthesis during the stellar life of massive stars and lead to stellar ejecta having various chemical compositions. We present low and zero-metallicity 20, 25 and 40 $M_{\odot}$ stellar models with various initial rotation rates and assumptions for the nuclear reactions rates. With increasing initial rotation, the yields of light (from $\sim$ C to Al) and trans-iron elements are boosted. The trans-iron elements (especially elements heavier than Ba) are significantly affected by the nuclear reaction uncertainties. The chemical composition of the observed CEMP (carbon-enhanced metal-poor) stars CS29528-028 and HE0336+0113 are consistent with the chemical composition of the material ejected by a fast rotating 40~$M_{\odot}$ model.


title: Functional linear models for interval-valued data

abstract: Aggregation of large databases in a specific format is a frequently used process to make the data easily manageable. Interval-valued data is one of the data types that is generated by such an aggregation process. Using traditional methods to analyze interval-valued data results in loss of information, and thus, several interval-valued data models have been proposed to gather reliable information from such data types. On the other hand, recent technological developments have led to high dimensional and complex data in many application areas, which may not be analyzed by traditional techniques. Functional data analysis is one of the most commonly used techniques to analyze such complex datasets. While the functional extensions of much traditional statistical techniques are available, the functional form of the interval-valued data has not been studied well. This paper introduces the functional forms of some well-known regression models that take interval-valued data. The proposed methods are based on the function-on-function regression model, where both the response and predictor/s are functional. Through several Monte Carlo simulations and empirical data analysis, the finite sample performance of the proposed methods is evaluated and compared with the state-of-the-art.


title: Some applications of two completely copositive maps

abstract: A linear map $\Phi :\mathbb{M}_n \to \mathbb{M}_k$ is called completely copositive if the resulting matrix $[\Phi (A_{j,i})]_{i,j=1}^m$ is positive semidefinite for any integer $m$ and positive semidefinite matrix $[A_{i,j}]_{i,j=1}^m$. In this paper, we present some applications of the completely copositive maps $\Phi (X)=(\mathrm{tr} X)I+X$ and $\Psi (X)= (\mathrm{tr} X)I-X$. Some new extensions about traces inequalities of positive semidefinite $3\times 3$ block matrices are included.


title: Citation Recommendations Considering Content and Structural Context Embedding

abstract: The number of academic papers being published is increasing exponentially in recent years, and recommending adequate citations to assist researchers in writing papers is a non-trivial task. Conventional approaches may not be optimal, as the recommended papers may already be known to the users, or be solely relevant to the surrounding context but not other ideas discussed in the manuscript. In this work, we propose a novel embedding algorithm DocCit2Vec, along with the new concept of ``structural context'', to tackle the aforementioned issues. The proposed approach demonstrates superior performances to baseline models in extensive experiments designed to simulate practical usage scenarios.


title: Inequalities regarding partial trace and partial determinant

abstract: In this paper, we first present simple proofs of Choi's results [4], then we give a short alternative proof for Fiedler and Markham's inequality [6]. We also obtain additional matrix inequalities related to partial determinants.


title: Scaffolds: a graph-based system for computations in Bose-Mesner algebras

abstract: Let $X$ be a finite set and let $\mathsf{Mat}_X(\mathbb{C})$ denote the algebra of matrices with rows and columns indexed by $X$ and entries from the complex numbers acting on $\mathbb{C}^X$ with standard basis $\{ \hat{x} \mid x\in X\}$. For a digraph $G=(V(G),E(G))$, function $R:[m] \rightarrow V(G)$ with $r_j := R(j)$, and a function $w$ from the arcs of $G$ to $\mathsf{Mat}_X(\mathbb{C})$, we define the "scaffold" $\mathsf{S}(G,R;w)$ as the sum over all functions $\varphi$ from $V(G)$ to $X$ of the $m$-fold tensors $\widehat{\varphi(r_1)} \otimes \widehat{\varphi(r_2)} \otimes \cdots \otimes \widehat{\varphi(r_m)}$ scaled by the product of the entries $w(e)_{\varphi(a),\varphi(b)}$ over all arcs $e=(a,b)$ of $G$. Scaffolds can be used to count, among other things, digraph homomorphisms and association scheme parameters such as generalized intersection numbers. They also arise in the the theory of link invariants and spin models. These diagrams were introduced in the late 1980s by Arnold Neumaier and have been used implicitly by various authors working with association schemes. We revisit results of several authors, rephrasing their proofs in terms of these diagrams and certain rules of manipulation (or "moves") on diagrams. Our goal is to collect and present, in a uniform fashion, Neumaier's original idea extended to tensors and its used by various authors. Sometimes the term "star-triangle diagram" appears for what we, in this paper, call "scaffolds". Restricting to the case where edge weights are chosen from a coherent algebra, we explore the vector space $\mathsf{W}((G,R); \mathbb{A})$ spanned by all scaffolds defined on rooted diagram $(G,R)$ and establish a connection to graph minors. We end with a conjecture about planar scaffolds that draws a connection between association scheme duality and the duality of plane graphs.


title: The Scalar Mode of Gravity

abstract: We consider the scalar mode of gravity as expressed by a conformal factor of the metric and present a model motivated by the Jordan-Brans-Dicke action. The reduced action provides a Lagrangian density in Minkowski space which exhibits a massive particle and an expanding space-time through a mechanism which is similar to the Higgs mechanism.


title: Unsupervised Learning for Passive Beamforming

abstract: Reconfigurable intelligent surface (RIS) has recently emerged as a promising candidate to improve the energy and spectral efficiency of wireless communication systems. However, the unit modulus constraint on the phase shift of reflecting elements makes the design of optimal passive beamforming solution a challenging issue. The conventional approach is to find a suboptimal solution using the semi-definite relaxation (SDR) technique, yet the resultant suboptimal iterative algorithm usually incurs high complexity, hence is not amenable for real-time implementation. Motivated by this, we propose a deep learning approach for passive beamforming design in RIS-assisted systems. In particular, a customized deep neural network is trained offline using the unsupervised learning mechanism, which is able to make real-time prediction when deployed online. Simulation results show that the proposed approach maintains most of the performance while significantly reduces computation complexity when compared with SDR-based approach.


title: Online Joint Placement and Allocation of Virtual Network Functions with Heterogeneous Servers

abstract: Network Function Virtualization (NFV) is a promising virtualization technology that has the potential to significantly reduce the expenses and improve the service agility. NFV makes it possible for Internet Service Providers (ISPs) to employ various Virtual Network Functions (VNFs) without installing new equipments. One of the most attractive approaches in NFV technology is a so-called Joint Placement and Allocation of Virtual Network Functions (JPA-VNF) which considers the balance between VNF investment with Quality of Services (QoS). We introduce a novel capability function to measure the potential of locating VNF instances for each server in the proposed OJPA-HS model. This model allows the servers in the network to be heterogeneous, at the same time combines and generalizes many classical JPA-VNF models. Despite its NP-hardness, we present a provable best-possible deterministic online algorithm based on dynamic programming (DP). To conquer the high complexity of DP, we propose two additional randomized heuristics, the Las Vegas (LV) and Monte Carlo (MC) randomized algorithms, which performs even as good as DP with much smaller complexity. Besides, MC is a promising heuristic in practice as it has the advantage to deal with big data environment. Extensive numerical experiments are constructed for the proposed algorithms in the paper.


title: VulDeeLocator: A Deep Learning-based Fine-grained Vulnerability Detector

abstract: Automatically detecting software vulnerabilities is an important problem that has attracted much attention from the academic research community. However, existing vulnerability detectors still cannot achieve the vulnerability detection capability and the locating precision that would warrant their adoption for real-world use. In this paper, we present a vulnerability detector that can simultaneously achieve a high detection capability and a high locating precision, dubbed Vulnerability Deep learning-based Locator (VulDeeLocator). In the course of designing VulDeeLocator, we encounter difficulties including how to accommodate semantic relations between the definitions of types as well as macros and their uses across files, how to accommodate accurate control flows and variable define-use relations, and how to achieve high locating precision. We solve these difficulties by using two innovative ideas: (i) leveraging intermediate code to accommodate extra semantic information, and (ii) using the notion of granularity refinement to pin down locations of vulnerabilities. When applied to 200 files randomly selected from three real-world software products, VulDeeLocator detects 18 confirmed vulnerabilities (i.e., true-positives). Among them, 16 vulnerabilities correspond to known vulnerabilities; the other two are not reported in the National Vulnerability Database (NVD) but have been "silently" patched by the vendor of Libav when releasing newer versions.


title: RESPACK: An ab initio tool for derivation of effective low-energy model of material

abstract: RESPACK is a first-principles calculation software for evaluating the interaction parameters of materials and is able to calculate maximally localized Wannier functions, response functions based on the random phase approximation and related optical properties, and frequency-dependent electronic interaction parameters. RESPACK receives its input data from a band-calculation code using norm-conserving pseudopotentials with plane-wave basis sets. Automatic generation scripts that convert the band-structure results to the RESPACK inputs are prepared for xTAPP and Quantum ESPRESSO. An input file for specifying the RESPACK calculation conditions is designed pursuing simplicity and is given in the Fortran namelist format. RESPACK supports hybrid parallelization using OpenMP and MPI and can treat large systems including a few hundred atoms in the calculation cell.


title: Analytic bundle structure on the idempotent manifold

abstract: Let $X$ be a (real or complex) Banach space, and $\mathcal{I}(X)$ be the set of all (non-zero and non-identity) idempotents; i.e., bounded linear operators on $X$ whose squares equal themselves. We show that the Banach submanifold $\mathcal{I}(X)$ of $\mathcal{L}(X)$ is a locally trivial analytic affine-Banach bundle over the Grassmann manifold $\mathscr{G}(X)$, via the map $\kappa$ that sends $Q\in \mathcal{I}(X)$ to $Q(X)$, such that the affine-Banach space structure on each fiber is the one induced from $\mathcal{L}(X)$ (in particular, every fiber is an affine-Banach subspace of $\mathcal{L}(X)$). Using this, we show that if $K$ is a real Hilbert space, then the assignment $$(E,T)\mapsto T^*\circ P_{E^\bot} + P_{E}, \quad \text{ where } E\in \mathscr{G}(K)\text{ and } T\in \mathcal{L}(E,E^\bot),$$ induces a bi-analytic bijection from the total space of the tangent bundle, $\mathbf{T}(\mathscr{G}(K))$, of $\mathscr{G}(K)$ onto $\mathcal{I}(K)$ (here, $E^\bot$ is the orthogonal complement of $E$, $P_E\in \mathcal{L}(K)$ is the orthogonal projection onto $E$, and $T^*$ is the adjoint of $T$). Notice that this bi-analytic bijection is an affine map on each tangent plane.


title: The down/up crossing properties of weighted Markov branching processes

abstract: We consider the down/up crossing property of weighted Markov branching processes. The joint probability distribution of multi crossing numbers of such processes are obtained. In particular, for Markov branching processes, the probability distribution of death number is given and for bulk-arrival queueing model, the joint probability distributions of service number and arrival number is also given.


title: VisionNet: A Drivable-space-based Interactive Motion Prediction Network for Autonomous Driving

abstract: The comprehension of environmental traffic situation largely ensures the driving safety of autonomous vehicles. Recently, the mission has been investigated by plenty of researches, while it is hard to be well addressed due to the limitation of collective influence in complex scenarios. These approaches model the interactions through the spatial relations between the target obstacle and its neighbors. However, they oversimplify the challenge since the training stage of the interactions lacks effective supervision. As a result, these models are far from promising. More intuitively, we transform the problem into calculating the interaction-aware drivable spaces and propose the CNN-based VisionNet for trajectory prediction. The VisionNet accepts a sequence of motion states, i.e., location, velocity, and acceleration, to estimate the future drivable spaces. The reified interactions significantly increase the interpretation ability of the VisionNet and refine the prediction. To further advance the performance, we propose an interactive loss to guide the generation of the drivable spaces. Experiments on multiple public datasets demonstrate the effectiveness of the proposed VisionNet.


title: Valley polarization and valleyresistance in monolayer transition metal dichalcogenides superlattice

abstract: Manipulating the valley degree of freedom to encode information for potential valleytronic devices has ignited a new direction in solid-state physics. A significant, fundamental challenge in the field of valleytronics is how to generate and regulate valley-polarized currents by practical ways. Here, we discover a new mechanism of producing valley polarization in a monolayer transition metal dichalcogenides superlattice, in which valley-resolved gaps are formed at the supercell Brillouin zone boundaries and centers due to the intervalley scattering. When the energy of the incident electron is in the gaps, the available states are valley polarized, thus providing a valley-polarized current from the superlattice. We show that the direction and strength of the valley polarization may further be tuned by varying the potential applied the superlattice. The transmission can have a net valley polarization of 55% for a 4-period heterojunction. Moreover, such two valley filters in series may function as an electrostatically controlled giant valleyresistance device, representing a zero magnetic field counterpart to the familiar giant magnetoresistance device.


title: Integrated micro-comb sources for quantum optical applications

abstract: A key challenge for quantum science and technology is to realise large-scale, precisely controllable, practical systems for non-classical secured communications, metrology and ultimately meaningful quantum simulation and computation. Optical frequency combs represent a powerful approach towards this, since they provide a very high number of temporal and frequency modes which can result in large-scale quantum systems. The generation and control of quantum optical frequency combs will enable a unique, practical and scalable framework for quantum signal and information processing. Here, we review recent progress on the realization of energy-time entangled optical frequency combs and discuss how photonic integration and the use of fiber-optic telecommunications components can enable quantum state control with new functionalities, yielding unprecedented capability.


title: Heat equation and Brownian motion of an overdamped rotating sphere

abstract: The governing equations of Brownian rigid bodies that both translate and rotate are of interest in fields such as self-assembly of proteins, anisotropic colloids, dielectric theory, and liquid crystals. In this paper, the partial differential equation that describes the evolution of concentration is derived from the stochastic differential equation of a sphere experiencing Brownian motion in a viscous medium where a potential field may be present. The potential field may be either interactions between particles or applied externally. The derivation is performed once for particles whose orientation can be specified by a vector ($S^2$), and again for particles which require a rotation matrix ($SO(3)$). The derivation shows the important difference between probability density and concentration, the Ito and Stratonovich calculus, and a Piola-type identity is obtained to complete the derivation.


title: Characterization of unresolved and unclassified sources detected in radio continuum surveys of the Galactic plane

abstract: The continuum emission from 1 to 2 GHz of The HI/OH/Recombination line survey of the inner Milky Way (THOR) at $\lesssim$18" resolution covers $\sim 132$ square degrees of the Galactic plane and detects 10387 sources. Similarly, the first data release of the Global View of Star Formation in the Milky Way (GLOSTAR) surveys covers $\sim 16$ square degrees of the Galactic plane from 4-8 GHz at 18" resolution and detects 1575 sources. However, a large fraction of the unresolved discrete sources detected in these radio continuum surveys of the Galactic plane remain unclassified. Here, we study the Euclidean-normalized differential source counts of unclassified and unresolved sources detected in these surveys and compare them with simulated extragalactic radio source populations as well as previously established source counts. We find that the differential source counts for THOR and GLOSTAR surveys are in excellent agreement with both simulation and previous observations. We also estimate the angular two-point correlation function of unclassified and unresolved sources detected in THOR survey. We find a higher clustering amplitude in comparison with the Faint Images of the Radio Sky at Twenty-cm (FIRST) survey up to the angular separation of $5^{\circ}$. The decrease in angular correlation with increasing flux cut and the excellent agreement of clustering pattern of sources above 1 mJy with high $z$ samples ($z >0.5$) of the FIRST survey indicates that these sources might be high $z$ extragalactic compact objects. The similar pattern of one-point and two-point statistics of unclassified and compact sources with extragalactic surveys and simulations confirms the extragalactic origin of these sources.


title: Weakly Supervised Visual Semantic Parsing

abstract: Scene Graph Generation (SGG) aims to extract entities, predicates and their semantic structure from images, enabling deep understanding of visual content, with many applications such as visual reasoning and image retrieval. Nevertheless, existing SGG methods require millions of manually annotated bounding boxes for training, and are computationally inefficient, as they exhaustively process all pairs of object proposals to detect predicates. In this paper, we address those two limitations by first proposing a generalized formulation of SGG, namely Visual Semantic Parsing, which disentangles entity and predicate recognition, and enables sub-quadratic performance. Then we propose the Visual Semantic Parsing Network, VSPNet, based on a dynamic, attention-based, bipartite message passing framework that jointly infers graph nodes and edges through an iterative process. Additionally, we propose the first graph-based weakly supervised learning framework, based on a novel graph alignment algorithm, which enables training without bounding box annotations. Through extensive experiments, we show that VSPNet outperforms weakly supervised baselines significantly and approaches fully supervised performance, while being several times faster. We publicly release the source code of our method.