title: Multi-Agent Persistent Monitoring of Targets with Uncertain States

abstract: We address the problem of persistent monitoring, where a finite set of mobile agents has to persistently visit a finite set of targets. Each of these targets has an internal state that evolves with linear stochastic dynamics. The agents can observe these states, and the observation quality is a function of the distance between the agent and a given target. The goal is then to minimize the mean squared estimation error of these target states. We approach the problem from an infinite horizon perspective, where we prove that, under some natural assumptions, the covariance matrix of each target converges to a limit cycle. The goal, therefore, becomes to minimize the steady state uncertainty. Assuming that the trajectory is parameterized, we provide tools for computing the steady state cost gradient. We show that, in one-dimensional (1D) environments with bounded control and non-overlapping targets, when an optimal control exists it can be represented using a finite number of parameters. We also propose an efficient parameterization of the agent trajectories for multidimensional settings using Fourier curves. Simulation results show the efficacy of the proposed technique in 1D, 2D and 3D scenarios.


title: Gemini Near-Infrared Field Spectrograph Observations of the Seyfert 2 Galaxy Mrk 3: Feeding and Feedback on Galactic and Nuclear Scales

abstract: We explore the kinematics of the stars, ionized gas, and warm molecular gas in the Seyfert 2 galaxy Mrk~3 (UGC~3426) on nuclear and galactic scales with {\it Gemini} Near-Infrared Field Spectrograph (NIFS) observations, previous {\it Hubble Space Telescope} data, and new long-slit spectra from the {\it Apache Point Observatory} ({\it APO}) 3.5 m telescope. The {\it APO} spectra are consistent with our previous suggestion that a galactic-scale gas/dust disk at PA $=$ 129\arcdeg, offset from the major axis of the host S0 galaxy at PA $=$ 28\arcdeg, is responsible for the orientation of the extended narrow-line region (ENLR). The disk is fed by an H~I tidal stream from a gas-rich spiral galaxy (UGC~3422) $\sim$100 kpc to the NW of Mrk 3, and is ionized by the AGN to a distance of at least $\sim$20\arcsec\ ($\sim$5.4 kpc) from the central supermassive black hole (SMBH). The kinematics within at least 320 pc of the SMBH are dominated by outflows with radial (line of sight) velocities up to 1500 km s$^{-1}$ in the ionized gas and 500 km s$^{-1}$ in the warm molecular gas, consistent with in situ heating, ionization, and acceleration of ambient gas to produce the narrow-line region (NLR) outflows. There is a disk of ionized and warm molecular gas within $\sim$400 pc of the SMBH that has re-oriented close to the stellar major axis but is counter-rotating, consistent with claims of external fueling of AGN in S0 galaxies.


title: Topological susceptibility in QCD with two flavors and 3-5 colors -- a pilot study

abstract: I present a calculation of the topological susceptibility $\chi_T$ in $SU(N_c)$ gauge theory with $N_c=3-5$ colors and $N_f=2$ degenerate flavors of fermions. The results lie on a common curve when expressed in terms of the combination $N_c m_{PS}^2 t_0$ where $m_{PS}$ is the pseudoscalar meson mass and $t_0$ is the flow parameter. $\chi_T$ approaches its quenched value as the pseudoscalar mass becomes large. The lattice simulations use clover fermions. They are done at a single lattice spacing, roughly matched across $N_c$, and over a restricted range of fermion masses.


title: Regularization ambiguity and van der Waals black hole in 2+1 dimensions

abstract: Charged black holes in a ($2+1$)-dimensional anti-de Sitter space-time suffer from some limitations such as the ambiguity in the definition of the mass and the bad short distance behavior. In this paper we present a way to resolve such issues. By extending the parameter space of the BTZ geometry, we properly identify the integration constants in order to remove the conical singularity sitting at the origin. In such a way we obtain a well defined Minkowski limit and horizons also in the case of de Sitter background space. On the thermodynamic side, we obtain a proper internal energy, by invoking the consistency with the Area Law, even if the mass parameter does not appear in the metric coefficients. As a further improvement, we show that it is sufficient to assume a finite size of the electric charge to obtain a short scale regular geometry. The resulting solution, generalizing the charged BTZ metric, is dual to a van der Waals gas.


title: Explicit Triangular Decoupling of the Separated Lichnerowicz Tensor Wave Equation on Schwarzschild into Scalar Regge-Wheeler Equations

abstract: We consider the vector and the Lichnerowicz wave equations on the Schwarzschild spacetime, which correspond to the Maxwell and linearized Einstein equations in harmonic gauges (or, respectively, in Lorenz and de Donder gauges). After a complete separation of variables, the radial mode equations form complicated systems of coupled linear ODEs. We outline a precise abstract strategy to decouple these systems into sparse triangular form, where the diagonal blocks consist of spin-$s$ scalar Regge-Wheeler equations (for spins $s=0,1,2$). Building on the example of the vector wave equation, which we have treated previously, we complete a successful implementation of our strategy for the Lichnerowicz wave equation. Our results go a step further than previous more ad-hoc attempts in the literature by presenting a full and maximally simplified final triangular form. These results have important applications to the quantum field theory of and the classical stability analysis of electromagnetic and gravitational perturbations of the Schwarzschild black hole in harmonic gauges.


title: Ground state properties of one-dimensional and two-dimensional Hubbard model from Gutzwiller conjugate gradient minimization theory

abstract: We introduce Gutzwiller conjugate gradient minimization (GCGM) theory, an ab initio quantum many-body theory for computing the ground-state properties of infinite systems. GCGM uses the Gutzwiller wave function but does not use the commonly adopted Gutzwiller approximation (GA), which is a major source of inaccuracy. Instead, the theory uses an approximation that is based on the occupation probability of the on-site configurations, rather than approximations that decouple the site-site correlations as used in the GA. We test the theory in the one-dimensional and two-dimensional Hubbard models at various electron densities and find that GCGM reproduces energies and double occupancies in reasonable agreement with benchmark data at a very small computational cost.


title: The Poynting effect

abstract: An elastic cylinder subjected to torsion will always elongate.


title: A higher Grothendieck construction

abstract: The main objective of this paper is to construct a homotopy colimit functor on a category of functors taking values in the model category of quasi-categories.


title: Network Anomaly Detection based on Tensor Decomposition

abstract: The problem of detecting anomalies in time series from network measurements has been widely studied and is a topic of fundamental importance. Many anomaly detection methods are based on packet inspection collected at the network core routers, with consequent disadvantages in terms of computational cost and privacy. We propose an alternative method in which packet header inspection is not needed. The method is based on the extraction of a normal subspace obtained by the tensor decomposition technique considering the correlation between different metrics. We propose a new approach for online tensor decomposition where changes in the normal subspace can be tracked efficiently. Another advantage of our proposal is the interpretability of the obtained models. The flexibility of the method is illustrated by applying it to two distinct examples, both using actual data collected on residential routers.


title: Tightening Exploration in Upper Confidence Reinforcement Learning

abstract: The upper confidence reinforcement learning (UCRL2) algorithm introduced in (Jaksch et al., 2010) is a popular method to perform regret minimization in unknown discrete Markov Decision Processes under the average-reward criterion. Despite its nice and generic theoretical regret guarantees, this algorithm and its variants have remained until now mostly theoretical as numerical experiments in simple environments exhibit long burn-in phases before the learning takes place. In pursuit of practical efficiency, we present UCRL3, following the lines of UCRL2, but with two key modifications: First, it uses state-of-the-art time-uniform concentration inequalities to compute confidence sets on the reward and (component-wise) transition distributions for each state-action pair. Furthermore, to tighten exploration, it uses an adaptive computation of the support of each transition distribution, which in turn enables us to revisit the extended value iteration procedure of UCRL2 to optimize over distributions with reduced support by disregarding low probability transitions, while still ensuring near-optimism. We demonstrate, through numerical experiments in standard environments, that reducing exploration this way yields a substantial numerical improvement compared to UCRL2 and its variants. On the theoretical side, these key modifications enable us to derive a regret bound for UCRL3 improving on UCRL2, that for the first time makes appear notions of local diameter and local effective support, thanks to variance-aware concentration bounds.


title: On the wave equation with multiplicities and space-dependent irregular coefficients

abstract: In this paper we study the well-posedness of the Cauchy problem for a wave equation with multiplicities and space-dependent irregular coefficients. As in \cite{GR:14} in order to give a meaningful notion of solution, we employ the notion of very weak solution, which construction is based on a parameter dependent regularisation of the coefficients via mollifiers. We prove that, even with distributional coefficients, a very weak solution exists for our Cauchy problem and it converges to the classical one when the coefficients are smooth. The dependence on the mollifiers of very weak solutions is investigated at the end of the paper in some instructive examples.


title: A new facility for airborne solar astronomy: NASA's WB-57 at the 2017 total solar eclipse

abstract: NASA's WB-57 High Altitude Research Program provides a deployable, mobile, stratospheric platform for scientific research. Airborne platforms are of particular value for making coronal observations during total solar eclipses because of their ability both to follow the Moon's shadow and to get above most of the atmospheric airmass that can interfere with astronomical observations. We used the 2017 Aug 21 eclipse as a pathfinding mission for high-altitude airborne solar astronomy, using the existing high-speed visible-light and near-/mid-wave infrared imaging suite mounted in the WB-57 nose cone. In this paper, we describe the aircraft, the instrument, and the 2017 mission; operations and data acquisition; and preliminary analysis of data quality from the existing instrument suite. We describe benefits and technical limitations of this platform for solar and other astronomical observations. We present a preliminary analysis of the visible-light data quality and discuss the limiting factors that must be overcome with future instrumentation. We conclude with a discussion of lessons learned from this pathfinding mission and prospects for future research at upcoming eclipses, as well as an evaluation of the capabilities of the WB-57 platform for future solar astronomy and general astronomical observation.

categories: astro-ph.IM astro-ph.SR physics.plasm-ph physics.space-ph


title: Quantum-chemistry-aided identification, synthesis and experimental validation of model systems for conformationally controlled reaction studies: Separation of the conformers of 2,3-dibromobuta-1,3-diene in the gas phase

abstract: The Diels-Alder cycloaddition, in which a diene reacts with a dienophile to form a cyclic compound, counts among the most important tools in organic synthesis. Achieving a precise understanding of its mechanistic details on the quantum level requires new experimental and theoretical methods. Here, we present an experimental approach that separates different diene conformers in a molecular beam as a prerequisite for the investigation of their individual cycloaddition reaction kinetics and dynamics under single-collision conditions in the gas phase. A low- and high-level quantum-chemistry-based screening of more than one hundred dienes identified 2,3-dibromobutadiene (DBB) as an optimal candidate for efficient separation of its gauche and s-trans conformers by electrostatic deflection. A preparation method for DBB was developed which enabled the generation of dense molecular beams of this compound. The theoretical predictions of the molecular properties of DBB were validated by the successful separation of the conformers in the molecular beam. A marked difference in photofragment ion yields of the two conformers upon femtosecond-laser pulse ionization was observed, pointing at a pronounced conformer-specific fragmentation dynamics of ionized DBB. Our work sets the stage for a rigorous examination of mechanistic models of cycloaddition reactions under controlled conditions in the gas phase.


title: Data-Driven Optimization for Police Beat Design in South Fulton, Georgia

abstract: We redesign the police patrol beat in South Fulton, Georgia, in collaboration with the South Fulton Police Department (SFPD), using a predictive data-driven optimization approach. Due to rapid urban development and population growth, the existing police beat design done in the 1970s was far from efficient, which leads to low policing efficiency and long 911 call response time. We balance the police workload among different city regions, improve operational efficiency, and reduce 911 call response time by redesigning beat boundaries for the SFPD. We discretize the city into small geographical atoms, which correspond to our decision variables; the decision is to map the atoms into "beats", the basic unit of the police operation. We first analyze workload and trend in each atom using the rich dataset, including police incidents reports and U.S. census data; We then predict future police workload for each atom using spatial statistical regression models; Lastly, we formulate the optimal beat design as a mixed-integer programming (MIP) program with continuity and compactness constraints on the beats' shape. The optimization problem is solved using simulated annealing due to its large-scale and non-convex nature. The simulation results suggest that our proposed beat design can reduce workload variance among beats significantly by over 90\%.


title: The $\mathbf{AdS_5 \times S^5}$ Superstring

abstract: The duality between the type IIB superstring theory in an $AdS_5 \times S^5$ background with $N$ units of five-form flux and ${\cal N} =4$ super Yang--Mills theory with a $U(N)$ gauge group has been studied extensively. My version of the construction of the superstring world-sheet action is reviewed here. This paper is dedicated to Michael Duff on the occasion of his 70th birthday.


title: The Panacea Threat Intelligence and Active Defense Platform

abstract: We describe Panacea, a system that supports natural language processing (NLP) components for active defenses against social engineering attacks. We deploy a pipeline of human language technology, including Ask and Framing Detection, Named Entity Recognition, Dialogue Engineering, and Stylometry. Panacea processes modern message formats through a plug-in architecture to accommodate innovative approaches for message analysis, knowledge representation and dialogue generation. The novelty of the Panacea system is that uses NLP for cyber defense and engages the attacker using bots to elicit evidence to attribute to the attacker and to waste the attacker's time and resources.


title: Sharp operator mean inequalities of the numerical radii

abstract: We present several sharp upper bounds and some extension for product operators. Among other inequalities, it is shown that if , , are non-negative continuous functions on such that , , then for all non-negative operator monotone decreasing function on , we obtain that As an application of the above inequality, it is shown that where, and .


title: Anomalous Magnetoresistance in Centrosymmetric Skyrmion-Lattice Magnet Gd2PdSi3

abstract: We performed a systematic study of the temperature- and field-dependence of magnetization and resistivity of Gd2PdSi3, which is a centrosymmetric skyrmion crystal. While the magnetization behavior is consistent with the reported phase diagram based on susceptibility, we show that a phase diagram can also be constructed based on the anomalous magnetoresistance with one-to-one correspondence among all the features. In addition, the crossover boundary into the field-induced ferromagnetic state is also identified. Our results suggest that the ferromagnetic spin fluctuations above the N\'eel temperature play a key role in the high sensitivity of the resistivity anomalies to magnetic field, pointing to the rich interplay of different magnetic correlations at zero and finite wave vectors underlying the skyrmion lattice in this frustrated itinerant magnet.


title: Local Clustering with Mean Teacher for Semi-supervised Learning

abstract: The Mean Teacher (MT) model of Tarvainen and Valpola has shown favorable performance on several semi-supervised benchmark datasets. MT maintains a teacher model's weights as the exponential moving average of a student model's weights and minimizes the divergence between their probability predictions under diverse perturbations of the inputs. However, MT is known to suffer from confirmation bias, that is, reinforcing incorrect teacher model predictions. In this work, we propose a simple yet effective method called Local Clustering (LC) to mitigate the effect of confirmation bias. In MT, each data point is considered independent of other points during training; however, data points are likely to be close to each other in feature space if they share similar features. Motivated by this, we cluster data points locally by minimizing the pairwise distance between neighboring data points in feature space. Combined with a standard classification cross-entropy objective on labeled data points, the misclassified unlabeled data points are pulled towards high-density regions of their correct class with the help of their neighbors, thus improving model performance. We demonstrate on semi-supervised benchmark datasets SVHN and CIFAR-10 that adding our LC loss to MT yields significant improvements compared to MT and performance comparable to the state of the art in semi-supervised learning.


title: Data Efficient and Weakly Supervised Computational Pathology on Whole Slide Images

abstract: The rapidly emerging field of computational pathology has the potential to enable objective diagnosis, therapeutic response prediction and identification of new morphological features of clinical relevance. However, deep learning-based computational pathology approaches either require manual annotation of gigapixel whole slide images (WSIs) in fully-supervised settings or thousands of WSIs with slide-level labels in a weakly-supervised setting. Moreover, whole slide level computational pathology methods also suffer from domain adaptation and interpretability issues. These challenges have prevented the broad adaptation of computational pathology for clinical and research purposes. Here we present CLAM - Clustering-constrained attention multiple instance learning, an easy-to-use, high-throughput, and interpretable WSI-level processing and learning method that only requires slide-level labels while being data efficient, adaptable and capable of handling multi-class subtyping problems. CLAM is a deep-learning-based weakly-supervised method that uses attention-based learning to automatically identify sub-regions of high diagnostic value in order to accurately classify the whole slide, while also utilizing instance-level clustering over the representative regions identified to constrain and refine the feature space. In three separate analyses, we demonstrate the data efficiency and adaptability of CLAM and its superior performance over standard weakly-supervised classification. We demonstrate that CLAM models are interpretable and can be used to identify well-known and new morphological features. We further show that models trained using CLAM are adaptable to independent test cohorts, cell phone microscopy images, and biopsies. CLAM is a general-purpose and adaptable method that can be used for a variety of different computational pathology tasks in both clinical and research settings.


title: Impossibility of masking a set of quantum states of nonzero measure

abstract: We study the quantum information masking based on isometric linear operators that distribute the information encoded in pure states to the correlations in bipartite states. It is shown that a isometric linear operator can not mask any nonzero measure set of pure states. We present a geometric characterization of the maskable sets, and show that any maskable set must be on a spherical circle in certain Euclidean spaces. Detailed examples and potential applications in such as secret sharing and quantum cryptography are analyzed.


title: Global Sensitivity Methods for Design of Experiments in Lithium-ion Battery Context

abstract: Battery management systems may rely on mathematical models to provide higher performance than standard charging protocols. Electrochemical models allow us to capture the phenomena occurring inside a lithium-ion cell and therefore, could be the best model choice. However, to be of practical value, they require reliable model parameters. Uncertainty quantification and optimal experimental design concepts are essential tools for identifying systems and estimating parameters precisely. Approximation errors in uncertainty quantification result in sub-optimal experimental designs and consequently, less-informative data, and higher parameter unreliability. In this work, we propose a highly efficient design of experiment method based on global parameter sensitivities. This novel concept is applied to the single-particle model with electrolyte and thermal dynamics (SPMeT), a well-known electrochemical model for lithium-ion cells. The proposed method avoids the simplifying assumption of output-parameter linearization (i.e., local parameter sensitivities) used in conventional Fisher information matrix-based experimental design strategies. Thus, the optimized current input profile results in experimental data of higher information content and in turn, in more precise parameter estimates.


title: Sobolev homeomorphic extensions onto John domains

abstract: Given the planar unit disk as the source and a Jordan domain as the target, we study the problem of extending a given boundary homeomorphism as a Sobolev homeomorphism. For general targets, this Sobolev variant of the classical Jordan-Schoenflies theorem may admit no solution - it is possible to have a boundary homeomorphism which admits a continuous $W^{1,2}$-extension but not even a homeomorphic $W^{1,1}$-extension. We prove that if the target is assumed to be a John disk, then any boundary homeomorphism from the unit circle admits a Sobolev homeomorphic extension for all exponents $p<2$. John disks, being one sided quasidisks, are of fundamental importance in Geometric Function Theory.


title: A Hybrid method of accurate classification for Blazars Of Uncertain Type in Fermi LAT Catalogs

abstract: Significant progress in the classification of Fermi unassociated sources , has led to an increasing number of blazars are being found. The optical spectrum is effectively used to classify the blazars into two groups such as BL Lacs and flat spectrum radio quasars (FSRQs). However, the accurate classification of the blazars without optical spectrum information, i.e., blazars of uncertain type (BCUs), remains a significant challenge. In this paper, we present a principal component analysis (PCA) and machine learning hybrid blazars classification method. The method, based on the data from Fermi LAT 3FGL Catalog, first used the PCA to extract the primary features of the BCUs and then used a machine learning algorithm to further classify the BCUs. Experimental results indicate that the that the use of PCA algorithms significantly improved the classification. More importantly, comparison with the Fermi LAT 4FGL Catalog, which contains the spectral classification of those BCUs in the Fermi-LAT 3FGL Catalog, reveals that the proposed classification method in the study exhibits higher accuracy than currently established methods; specifically, 151 out of 171 BL Lacs and 19 out of 24 FSRQs are correctly classified.


title: Tame twistings and $\Theta$-data

abstract: The goal of this paper is to assign an intrinsic meaning to the space of quantum parameters $\operatorname{Par}_G$ appearing in the geometric Langlands program of Beilinson-Drinfeld. We introduce tame twistings, a variant of twisted differential operators (TDOs) for which regularity of twisted $\mathscr D$-modules is well-defined. Our main result is that for a proper curve $X$, $\operatorname{Par}_G$ is precisely the moduli space of factorization tame twistings on the affine Grassmannian.


title: LRCN-RetailNet: A recurrent neural network architecture for accurate people counting

abstract: Measuring and analyzing the flow of customers in retail stores is essential for a retailer to better comprehend customers' behavior and support decision-making. Nevertheless, not much attention has been given to the development of novel technologies for automatic people counting. We introduce LRCN-RetailNet: a recurrent neural network architecture capable of learning a non-linear regression model and accurately predicting the people count from videos captured by low-cost surveillance cameras. The input video format follows the recently proposed RGBP image format, which is comprised of color and people (foreground) information. Our architecture is capable of considering two relevant aspects: spatial features extracted through convolutional layers from the RGBP images; and the temporal coherence of the problem, which is exploited by recurrent layers. We show that, through a supervised learning approach, the trained models are capable of predicting the people count with high accuracy. Additionally, we present and demonstrate that a straightforward modification of the methodology is effective to exclude salespeople from the people count. Comprehensive experiments were conducted to validate, evaluate and compare the proposed architecture. Results corroborated that LRCN-RetailNet remarkably outperforms both the previous RetailNet architecture, which was limited to evaluating a single image per iteration; and a state-of-the-art neural network for object detection. Finally, computational performance experiments confirmed that the entire methodology is effective to estimate people count in real-time.


title: Neural Network Segmentation of Cell Ultrastructure Using Incomplete Annotation

abstract: The Pancreatic beta cell is an important target in diabetes research. For scalable modeling of beta cell ultrastructure, we investigate automatic segmentation of whole cell imaging data acquired through soft X-ray tomography. During the course of the study, both complete and partial ultrastructure annotations were produced manually for different subsets of the data. To more effectively use existing annotations, we propose a method that enables the application of partially labeled data for full label segmentation. For experimental validation, we apply our method to train a convolutional neural network with a set of 12 fully annotated data and 12 partially annotated data and show promising improvement over standard training that uses fully annotated data alone.


title: New Approaches for Quantum Copy-Protection

abstract: Quantum copy protection uses the unclonability of quantum states to construct quantum software that provably cannot be pirated. Copy protection would be immensely useful, but unfortunately little is known about how to achieve it in general. In this work, we make progress on this goal, by giving the following results: - We show how to copy protect any program that cannot be learned from its input/output behavior, relative to a classical oracle. This improves on Aaronson [CCC'09], which achieves the same relative to a quantum oracle. By instantiating the oracle with post-quantum candidate obfuscation schemes, we obtain a heuristic construction of copy protection. -We show, roughly, that any program which can be watermarked can be copy detected, a weaker version of copy protection that does not prevent copying, but guarantees that any copying can be detected. Our scheme relies on the security of the assumed watermarking, plus the assumed existence of public key quantum money. Our construction is general, applicable to many recent watermarking schemes.


title: Data-Driven Learning and Load Ensemble Control

abstract: Demand response (DR) programs aim to engage distributed small-scale flexible loads, such as thermostatically controllable loads (TCLs), to provide various grid support services. Linearly Solvable Markov Decision Process (LS-MDP), a variant of the traditional MDP, is used to model aggregated TCLs. Then, a model-free reinforcement learning technique called Z-learning is applied to learn the value function and derive the optimal policy for the DR aggregator to control TCLs. The learning process is robust against uncertainty that arises from estimating the passive dynamics of the aggregated TCLs. The efficiency of this data-driven learning is demonstrated through simulations on Heating, Cooling & Ventilation (HVAC) units in a testbed neighborhood of residential houses.


title: LOCATER: Cleaning WiFi Connectivity Datasets for Semantic Localization

abstract: This paper explores the data cleaning challenges that arise in using WiFi connectivity data to locate users to semantic indoor locations such as buildings, regions, rooms. WiFi connectivity data consists of sporadic connections between devices and nearby WiFi access points (APs), each of which may cover a relatively large area within a building. Our system, entitled semantic LOCATion cleanER (LOCATER), postulates semantic localization as a series of data cleaning tasks - first, it treats the problem of determining the AP to which a device is connected between any two of its connection events as a missing value detection and repair problem. It then associates the device with the semantic subregion (e.g., a conference room in the region) by postulating it as a location disambiguation problem. LOCATER uses a bootstrapping semi-supervised learning method for coarse localization and a probabilistic method to achieve finer localization. The paper shows that LOCATER can achieve significantly high accuracy at both the coarse and fine levels.


title: Approximate exploitability: Learning a best response in large games

abstract: Researchers have demonstrated that neural networks are vulnerable to adversarial examples and subtle environment changes, both of which one can view as a form of distribution shift. To humans, the resulting errors can look like blunders, eroding trust in these agents. In prior games research, agent evaluation often focused on the in-practice game outcomes. While valuable, such evaluation typically fails to evaluate robustness to worst-case outcomes. Prior research in computer poker has examined how to assess such worst-case performance, both exactly and approximately. Unfortunately, exact computation is infeasible with larger domains, and existing approximations rely on poker-specific knowledge. We introduce ISMCTS-BR, a scalable search-based deep reinforcement learning algorithm for learning a best response to an agent, thereby approximating worst-case performance. We demonstrate the technique in several two-player zero-sum games against a variety of agents, including several AlphaZero-based agents.


title: On the Prym map of Galois covering

abstract: In this paper we consider the Prym variety $P(\widetilde{C}/C)$ associated to a Galois coverings of curves $f:\widetilde{C}\to C$ branched at $r$ points. We discuss some properties and equivalent definitions and then consider the Prym map $\mathcal{P}=\mathcal{P}(G,g,r):R(G,g,r)\to A_{p,\delta}$ with $\delta$ the type of the polarization. For Galois coverings whose Galois group is abelian and metabelian (non-abelian) we show that the differential of this map at certain points is injective. We also consider the Abel-Prym map $u:\widetilde{C}\to P(\widetilde{C}/C)$ and prove some results for its injectivity. In particular we show that in contrast to the classical and cyclic case, the behavior of this map here is more complicated. The theories of abelian and metabelian Galois coverings play a substantial role in our analysis and have been used extensively throughout the paper.


title: MGX: Near-Zero Overhead Memory Protection for Data-Intensive Accelerators

abstract: This paper introduces MGX, a near-zero overhead memory protection scheme for hardware accelerators. MGX minimizes the performance overhead of off-chip memory encryption and integrity verification by exploiting the application-specific properties of the accelerator execution. In particular, accelerators tend to explicitly manage data movement between on-chip and off-chip memories. Therefore, the general memory access pattern of an accelerator can largely be determined for a given application. Exploiting these characteristics, MGX generates version numbers used in memory encryption and integrity verification using on-chip accelerator state rather than storing them in the off-chip memory; it also customizes the granularity of the memory protection to match the granularity used by the accelerator. To demonstrate the efficacy of MGX, we present an in-depth study of MGX for DNN and graph algorithms. Experimental results show that on average, MGX lowers the performance overhead of memory protection from 28% and 33% to 4% and 5% for DNN and graph processing accelerators in a wide range of benchmarks, respectively.


title: Voronoi Shaping with Efficient Encoding

abstract: In this letter, we propose a Voronoi shaping method with reduced encoding complexity. The method works for integer shaping and coding lattices satisfying the chain $\Lambda_s \subseteq \textbf{K}\mathbb{Z}^n \subseteq \Lambda_c$, with $\textbf{K}$ an integer diagonal matrix. This assumption is easily satisfied for lattices obtained from error-correcting codes. For those lattices, using this strategy, an explicit set of coset representatives is obtained and lattice encoding complexity is reduced to the linear code encoding complexity. Our proposal is illustrated in construction-D lattices with Gosset ($E_8$) and Leech ($\Lambda_{24}$) lattices as shaping lattices.


title: Facial Action Unit Intensity Estimation via Semantic Correspondence Learning with Dynamic Graph Convolution

abstract: The intensity estimation of facial action units (AUs) is challenging due to subtle changes in the person's facial appearance. Previous approaches mainly rely on probabilistic models or predefined rules for modeling co-occurrence relationships among AUs, leading to limited generalization. In contrast, we present a new learning framework that automatically learns the latent relationships of AUs via establishing semantic correspondences between feature maps. In the heatmap regression-based network, feature maps preserve rich semantic information associated with AU intensities and locations. Moreover, the AU co-occurring pattern can be reflected by activating a set of feature channels, where each channel encodes a specific visual pattern of AU. This motivates us to model the correlation among feature channels, which implicitly represents the co-occurrence relationship of AU intensity levels. Specifically, we introduce a semantic correspondence convolution (SCC) module to dynamically compute the correspondences from deep and low resolution feature maps, and thus enhancing the discriminability of features. The experimental results demonstrate the effectiveness and the superior performance of our method on two benchmark datasets.


title: Scheduling with Communication Delays via LP Hierarchies and Clustering

abstract: We consider the classic problem of scheduling jobs with precedence constraints on identical machines to minimize makespan, in the presence of communication delays. In this setting, denoted by $\mathsf{P} \mid \mathsf{prec}, c \mid C_{\mathsf{max}}$, if two dependent jobs are scheduled on different machines, then at least $c$ units of time must pass between their executions. Despite its relevance to many applications, this model remains one of the most poorly understood in scheduling theory. Even for a special case where an unlimited number of machines is available, the best known approximation ratio is $2/3 \cdot (c+1)$, whereas Graham's greedy list scheduling algorithm already gives a $(c+1)$-approximation in that setting. An outstanding open problem in the top-10 list by Schuurman and Woeginger and its recent update by Bansal asks whether there exists a constant-factor approximation algorithm. In this work we give a polynomial-time $O(\log c \cdot \log m)$-approximation algorithm for this problem, where $m$ is the number of machines and $c$ is the communication delay. Our approach is based on a Sherali-Adams lift of a linear programming relaxation and a randomized clustering of the semimetric space induced by this lift.


title: Diamagnetic Levitation Using High-Temperature Superconducting Wires for Microgravity Research and Mitigation in Human Spaceflight Applications

abstract: A novel use of high temperature superconducting (HTS) electromagnets for human sized microgravity research and mitigation is outlined. Recent advances in HTS technology have resulted in electromagnets that potentially could levitate large diamagnetic targets, such as human organs, for additive manufacturing or entire humans for microgravity training. These applications are then used as a springboard to discuss the possibility of active microgravity compensation and inertial dampeners for future space travel applications. Finite element simulations are used to check the validity of the designs and motivate future research.


title: Students taught by a first-time instructor using active learning teaching strategies outperform students taught by a highly-regarded traditional instructor

abstract: In this paper we put forth a model for physics course reform that uniquely uses proven, research-based active learning strategies to help students improve their physics knowledge and problem-solving skills. In this study, we compared the exam performance of students in two sections of the same introductory physics course. One section (the traditional section, N = 258) was taught by an instructor who is highly regarded for his lectures, but did not use any active learning teaching strategies. The other section (the reformed section, N = 217) was taught by an instructor who had never before taught a physics class but who was trained in physics and astronomy education research and who did use active learning teaching strategies. Students in the reformed section significantly outperformed students in the traditional section on common exam questions over the course of the semester, regardless of whether the question was conceptual or quantitative. This reform effort has been successful at improving students' learning and significantly increasing the department's use of active learning strategies at the introductory level and beyond.


title: Mirror Ritual: An Affective Interface for Emotional Self-Reflection

abstract: This paper introduces a new form of real-time affective interface that engages the user in a process of conceptualisation of their emotional state. Inspired by Barrett's Theory of Constructed Emotion, `Mirror Ritual' aims to expand upon the user's accessible emotion concepts, and to ultimately provoke emotional reflection and regulation. The interface uses classified emotions -- obtained through facial expression recognition -- as a basis for dynamically generating poetry. The perceived emotion is used to seed a poetry generation system based on OpenAI's GPT-2 model, fine-tuned on a specially curated corpus. We evaluate the device's ability to foster a personalised, meaningful experience for individual users over a sustained period. A qualitative analysis revealed that participants were able to affectively engage with the mirror, with each participant developing a unique interpretation of its poetry in the context of their own emotional landscape.


title: Blazar -- IceCube neutrino association revisited

abstract: The reported association of high-energy neutrino event IceCube-170922A and blazar TXS 0506+056 has sparkled discussion about blazars as sources of cosmic neutrinos. In this paper, we use publicly released IceCube data and blazar locations from Roma-BzCat to test spacial correlation between neutrino events and blazar locations. We also scrutinize the correlation between $\gamma$-ray flux and neutrino flux of blazars by applying a temporal filter onto the data based on Fermi monitored source list. We find no compelling evidence to prove blazars as the main source of cosmic neutrinos, as known before the detected IceCube-170922A / TXS 0506+056 association. While we do not rule out the association between IceCube-170922A and TXS 0506+056, the significance level we obtained is not high enough to claim a strong association. If such an association is real, a special physical condition is desired to allow a small fraction of blazars to become bright neutrino sources.


title: Regularity property of some operators on Lipschitz spaces and homogeneous Lipschitz spaces related to biharmonic operator

abstract: In this paper, we consider the characterizations of the Lipschitz spaces and homogeneous Lipschitz spaces associated to the biharmonic operator $\Delta^2.$ With this characterizations, we prove the boundedness of the Bessel potentials, fractional integrals, fractional powers, Riesz transforms and multipliers of Laplace transforms type associated to $\Delta^2$ on Lipschitz spaces and homogeneous Lipschitz spaces. The proofs of these results need the language of semigroups in an essential way.


title: An Isolated Water Droplet in the Aqueous Solution of a Supramolecular Tetrahedral Cage

abstract: Water under nanoconfinement at ambient conditions has exhibited low-dimensional ice formation and liquid-solid phase transitions, but with structural and dynamical signatures which map onto known regions of waters phase diagram. Using THz absorption spectroscopy and ab initio molecular dynamics, we have investigated the ambient water confined in a supramolecular tetrahedral assembly, and determined that a distinct network of 9-10 water molecules is present within the nanocavity of the host. The low-frequency absorption spectrum and theoretical analysis of the water in the $Ga_4$$L_6$$^{-12}$ host demonstrate that the structure and dynamics of the encapsulated droplet is distinct from any known phase of water. A further inference is that the release of the highly unusual encapsulated water droplet creates a strong thermodynamic driver for the high affinity binding of guests in aqueous solution for the $Ga_4$$L_6$$^{-12}$ supramolecular construct.


title: On self-correspondences on curves

abstract: We study the algebraic dynamics of self-correspondences on a curve. A self-correspondence on a (proper and smooth) curve $C$ over an algebraically closed field is the data of another curve $D$ and two non-constant separable morphisms $\pi_1$ and $\pi_2$ from $D$ to $C$. A subset $S$ of $C$ is complete if $\pi_1^{-1}(S)=\pi_2^{-1}(S)$. We show that self-correspondences are divided into two classes: those that have only finitely many finite complete sets, and those for which $C$ is a union of finite complete sets. The latter ones are called finitary and have a trivial dynamics. For a non-finitary self-correspondence in characteristic zero, we give a sharp bound for the number of \'etale finite complete sets.


title: Softly broken conformal symmetry with higher curvature terms

abstract: In a scalar-coupled-gravity model, the quadratically divergent counter term appearing in the mass renormalization of the scalar fields must inherit corrections arising out of gravitational interactions. In this work we have explicitly demonstrated that there are no such corrections of gravitational origin to the quadratic divergences in the mass counter terms. This statement holds true irrespective of the nature of the gravitational interaction, i.e., whether gravity is described by general relativity or f(R) theory. Interestingly, it also turns out that the one loop effective action of scalar-coupled-gravity system will be well-behaved \emph{if and only if} the $f(R)$ theory is free from ghosts. In particular, the results derived in the context of f(R) theory are shown to be in exact agreement with the corresponding results derived from the equivalent scalar-tensor representation. Our analysis suggests the tantalizing possibility that the masses of the scalar fields can be consistently kept smaller than some Ultra Violet (UV) cutoff scale and is independent of the nature of the gravity theory, which may involve higher curvature corrections. All these will be true provided the matter fields and the gravity theory can be embedded consistently into a UV complete theory at the Planck scale.


title: A Data and Compute Efficient Design for Limited-Resources Deep Learning

abstract: Thanks to their improved data efficiency, equivariant neural networks have gained increased interest in the deep learning community. They have been successfully applied in the medical domain where symmetries in the data can be effectively exploited to build more accurate and robust models. To be able to reach a much larger body of patients, mobile, on-device implementations of deep learning solutions have been developed for medical applications. However, equivariant models are commonly implemented using large and computationally expensive architectures, not suitable to run on mobile devices. In this work, we design and test an equivariant version of MobileNetV2 and further optimize it with model quantization to enable more efficient inference. We achieve close-to state of the art performance on the Patch Camelyon (PCam) medical dataset while being more computationally efficient.


title: Modular Terwilliger algebras of association schemes

abstract: We define modular Terwilliger algebras of association schemes, Terwilliger algebras over a positive characteristic field, and consider basic properties. We give a condition for the modular Terwilliger algebra to be non-semisimple. We show that the dimension of a Terwilliger algebra of a Johnson scheme depends on the characteristic of the coefficient field. We also give some other examples.


title: Superconductivity in Cu-doped Bi$_2$Se$_3$ with potential disorder

abstract: We study the effects of random nonmagnetic impurities on superconducting transition temperature $T_c$ in a Cu-doped Bi$_2$Se$_3$, for which four types of pair potentials have been proposed. Although all the candidates belong to $s$-wave symmetry, two orbital degree of freedom in electronic structures enriches the symmetry variety of a Cooper pair such as even-orbital-parity and odd-orbital-parity. We consider realistic electronic structures of Cu-doped Bi$_2$Se$_3$ by using tight-binding Hamiltonian on a hexagonal lattice and consider effects of impurity scatterings through the self-energy of the Green's function within the Born approximation. We find that even-orbital-parity spin-singlet superconductivity is basically robust even in the presence of impurities. The degree of the robustness depends on the electronic structures in the normal state and on the pairing symmetry in orbital space. On the other hand, two odd-orbital-parity spin-triplet order parameters are always fragile in the presence of potential disorder.


title: Alleviating the Incompatibility between Cross Entropy Loss and Episode Training for Few-shot Skin Disease Classification

abstract: Skin disease classification from images is crucial to dermatological diagnosis. However, identifying skin lesions involves a variety of aspects in terms of size, color, shape, and texture. To make matters worse, many categories only contain very few samples, posing great challenges to conventional machine learning algorithms and even human experts. Inspired by the recent success of Few-Shot Learning (FSL) in natural image classification, we propose to apply FSL to skin disease identification to address the extreme scarcity of training sample problem. However, directly applying FSL to this task does not work well in practice, and we find that the problem can be largely attributed to the incompatibility between Cross Entropy (CE) and episode training, which are both commonly used in FSL. Based on a detailed analysis, we propose the Query-Relative (QR) loss, which proves superior to CE under episode training and is closely related to recently proposed mutual information estimation. Moreover, we further strengthen the proposed QR loss with a novel adaptive hard margin strategy. Comprehensive experiments validate the effectiveness of the proposed FSL scheme and the possibility to diagnosis rare skin disease with a few labeled samples.


title: Image Retrieval using Multi-scale CNN Features Pooling

abstract: In this paper, we address the problem of image retrieval by learning images representation based on the activations of a Convolutional Neural Network. We present an end-to-end trainable network architecture that exploits a novel multi-scale local pooling based on NetVLAD and a triplet mining procedure based on samples difficulty to obtain an effective image representation. Extensive experiments show that our approach is able to reach state-of-the-art results on three standard datasets.


title: Every bounded pseudoconvex domain with H\"older boundary is hyperconvex

abstract: We show that every bounded pseudoconvex domain with H\"older boundary in $\mathbb C^n$ is hyperconvex.


title: Freely adjoining monoidal duals

abstract: Given a monoidal category $\mathscr{C}$ with an object $J$, we construct a monoidal category $\mathscr{C}[J^{\vee}]$ by freely adjoining a right dual $J^{\vee}$ to $J$. We show that the canonical strong monoidal functor $\Omega : \mathscr{C}\to \mathscr{C}[J^{\vee}]$ provides the unit for a biadjunction with the forgetful 2-functor from the 2-category of monoidal categories with a distinguished dual pair to the 2-category of monoidal categories with a distinguished object. We show that $\Omega : \mathscr{C}\to \mathscr{C}[J^{\vee}]$ is fully faithful and provide coend formulas for homs of the form $\mathscr{C}[J^{\vee}](U,\Omega A)$ and $\mathscr{C}[J^{\vee}](\Omega A,U)$ for $A\in \mathscr{C}$ and $U\in \mathscr{C}[J^{\vee}]$. If $\mathbb{N}$ denotes the free strict monoidal category on a single generating object $1$ then $\mathbb{N}[1^{\vee}]$ is the free monoidal category $\mathrm{Dpr}$ containing a dual pair $- \dashv +$ of objects. As we have the monoidal pseudopushout $\mathscr{C}[J^{\vee}] \simeq \mathrm{Dpr} +_{\mathbb{N}} \mathscr{C}$, it is of interest to have an explicit model of $\mathrm{Dpr}$: we provide both geometric and combinatorial models. We show that the (algebraist's) simplicial category $\Delta$ is a monoidal full subcategory of $\mathrm{Dpr}$ and explain the relationship with the free 2-category $\mathrm{Adj}$ containing an adjunction. We describe a generalization of $\mathrm{Dpr}$ which includes, for example, a combinatorial model $\mathrm{Dseq}$ for the free monoidal category containing a duality sequence $X_0\dashv X_1\dashv X_2 \dashv \dots$ of objects. Actually, $\mathrm{Dpr}$ is a monoidal full subcategory of $\mathrm{Dseq}$.


title: MOBSTER -- IV. Detection of a new magnetic B-type star from follow-up spectropolarimetric observations of photometrically selected candidates

abstract: In this paper, we present results from the spectropolarimetric follow-up of photometrically selected candidate magnetic B stars from the MOBSTER project. Out of four observed targets, one (HD 38170) is found to host a detectable surface magnetic field, with a maximum longitudinal field measurement of 105$\pm$14 G. This star is chemically peculiar and classified as an $\alpha^2$ CVn variable. Its detection validates the use of TESS to perform a photometric selection of magnetic candidates. Furthermore, upper limits on the strength of a putative dipolar magnetic field are derived for the remaining three stars, and we report the discovery of a previously unknown spectroscopic binary system, HD 25709. Finally, we use our non-detections as case studies to further inform the criteria to be used for the selection of a larger sample of stars to be followed up using high-resolution spectropolarimetry.


title: Generalising the \'etale groupoid--complete pseudogroup correspondence

abstract: We prove a generalisation of the correspondence, due to Resende and Lawson--Lenz, between \'etale groupoids---which are topological groupoids whose source map is a local homeomorphisms---and complete pseudogroups---which are inverse monoids equipped with a particularly nice representation on a topological space. Our generalisation improves on the existing functorial correspondence in four ways. Firstly, we enlarge the classes of maps appearing to each side. Secondly, we generalise on one side from inverse monoids to inverse categories, and on the other side, from \'etale groupoids to what we call partite \'etale groupoids. Thirdly, we generalise from \'etale groupoids to source-\'etale categories, and on the other side, from inverse monoids to restriction monoids. Fourthly, and most far-reachingly, we generalise from topological \'etale groupoids to \'etale groupoids internal to any join restriction category C with local glueings; and on the other side, from complete pseudogroups to ``complete C-pseudogroups'', i.e., inverse monoids with a nice representation on an object of C. Taken together, our results yield an equivalence, for a join restriction category C with local glueings, between join restriction categories with a well-behaved functor to C, and partite source-\'etale internal categories in C. In fact, we obtain this by cutting down a larger adjunction between arbitrary restriction categories over C, and partite internal categories in C. Beyond proving this main result, numerous applications are given, which reconstruct and extend existing correspondences in the literature, and provide general formulations of completion processes.


title: Inferring the population properties of binary black holes from unresolved gravitational waves

abstract: The vast majority of compact binary mergers in the Universe produce gravitational waves that are too weak to yield unambiguous detections; they are unresolved. We present a method to infer the population properties of compact binaries -- such as their merger rates, mass spectrum, and spin distribution -- using both resolved and unresolved gravitational waves. By eliminating entirely the distinction between resolved and unresolved signals, we eliminate bias from selection effects. To demonstrate this method, we carry out a Monte Carlo study using an astrophysically motivated population of binary black holes. We show that some population properties of compact binaries are well constrained by unresolved signals after about one week of observation with Advanced LIGO at design sensitivity.


title: Reconciling the X(2240) with the Y(2175)

abstract: In the present work, we reanalyzed the cross sections for $e^+ e^- \to K^+K^-$, where a new structure $X(2240)$ was reported by BES III Collaboration. By including the interference between the direct coupling and vector meson intermediate processes, we find the mass and width of $X(2240)$ are $2197.4\pm 4.4$ MeV and $75.6\pm 7.2 $ MeV, respectively, which are well consistent with the PDG average values of the resonance parameters for $Y(2175)$, thus, we conclude that the $X(2240)$ should be the same state as the $Y(2175)$.


title: Heterogeneous Causal Learning for Effectiveness Optimization in User Marketing

abstract: User marketing is a key focus of consumer-based internet companies. Learning algorithms are effective to optimize marketing campaigns which increase user engagement, and facilitates cross-marketing to related products. By attracting users with rewards, marketing methods are effective to boost user activity in the desired products. Rewards incur significant cost that can be off-set by increase in future revenue. Most methodologies rely on churn predictions to prevent losing users to make marketing decisions, which cannot capture up-lift across counterfactual outcomes with business metrics. Other predictive models are capable of estimating heterogeneous treatment effects, but fail to capture the balance of cost versus benefit. We propose a treatment effect optimization methodology for user marketing. This algorithm learns from past experiments and utilizes novel optimization methods to optimize cost efficiency with respect to user selection. The method optimizes decisions using deep learning optimization models to treat and reward users, which is effective in producing cost-effective, impactful marketing campaigns. Our methodology demonstrates superior algorithmic flexibility with integration with deep learning methods and dealing with business constraints. The effectiveness of our model surpasses the quasi-oracle estimation (R-learner) model and causal forests. We also established evaluation metrics that reflect the cost-efficiency and real-world business value. Our proposed constrained and direct optimization algorithms outperform by 24.6% compared with the best performing method in prior art and baseline methods. The methodology is useful in many product scenarios such as optimal treatment allocation and it has been deployed in production world-wide.


title: Learning Continuous Treatment Policy and Bipartite Embeddings for Matching with Heterogeneous Causal Effects

abstract: Causal inference methods are widely applied in the fields of medicine, policy, and economics. Central to these applications is the estimation of treatment effects to make decisions. Current methods make binary yes-or-no decisions based on the treatment effect of a single outcome dimension. These methods are unable to capture continuous space treatment policies with a measure of intensity. They also lack the capacity to consider the complexity of treatment such as matching candidate treatments with the subject. We propose to formulate the effectiveness of treatment as a parametrizable model, expanding to a multitude of treatment intensities and complexities through the continuous policy treatment function, and the likelihood of matching. Our proposal to decompose treatment effect functions into effectiveness factors presents a framework to model a rich space of actions using causal inference. We utilize deep learning to optimize the desired holistic metric space instead of predicting single-dimensional treatment counterfactual. This approach employs a population-wide effectiveness measure and significantly improves the overall effectiveness of the model. The performance of our algorithms is. demonstrated with experiments. When using generic continuous space treatments and matching architecture, we observe a 41% improvement upon prior art with cost-effectiveness and 68% improvement upon a similar method in the average treatment effect. The algorithms capture subtle variations in treatment space, structures the efficient optimizations techniques, and opens up the arena for many applications.


title: Exponential integrability for log-concave measures

abstract: Talagrand observed that finiteness of $\mathbb{E}\, e^{\frac{1}{2}|\nabla f(X)|^{2}}$ implies finiteness of $\mathbb{E}\, e^{\, f(X)}$ where $X$ is the standard Gaussian vector in $\mathbb{R}^{n}$ and $f$ is a smooth function with zero average. However, in this paper we show that finiteness of $ \mathbb{E}\, e^{\frac{1}{2}|\nabla f|^{2}} (1+|\nabla f|)^{-1}$ implies finiteness of $\mathbb{E}\, e^{\, f(X)}$, and we also obtain quantitative bounds \begin{align*} \log\, \mathbb{E}\, e^{\, f} \leq 10\, \mathbb{E}\, e^{\frac{1}{2}|\nabla f|^{2}} (1+|\nabla f|)^{-1}. \end{align*} Moreover, the extra factor $(1+|\nabla f|)^{-1}$ is the best possible in the sense that there is smooth $f$ with $\mathbb{E}\, e^{\,f} =\infty$ but $\mathbb{E}\, e^{\frac{1}{2}|\nabla f|^{2}} (1+|\nabla f|)^{-c}<\infty$ for all $c>1$. As an application we show corresponding dual inequalities for the discrete time dyadic martingales and its quadratic variations.


title: Explainable Goal-Driven Agents and Robots -- A Comprehensive Review

abstract: Recent applications of autonomous agents and robots, such as self-driving cars, scenario-based trainers, exploration robots, and service robots have brought attention to crucial trust-related challenges associated with the current generation of artificial intelligence (AI) systems. AI systems based on the connectionist deep learning neural network approach lack capabilities of explaining their decisions and actions to others, despite their great successes. Without symbolic interpretation capabilities, they are black boxes, which renders their decisions or actions opaque, making it difficult to trust them in safety-critical applications. The recent stance on the explainability of AI systems has witnessed several approaches on eXplainable Artificial Intelligence (XAI); however, most of the studies have focused on data-driven XAI systems applied in computational sciences. Studies addressing the increasingly pervasive goal-driven agents and robots are still missing. This paper reviews approaches on explainable goal-driven intelligent agents and robots, focusing on techniques for explaining and communicating agents perceptual functions (example, senses, and vision) and cognitive reasoning (example, beliefs, desires, intention, plans, and goals) with humans in the loop. The review highlights key strategies that emphasize transparency, understandability, and continual learning for explainability. Finally, the paper presents requirements for explainability and suggests a roadmap for the possible realization of effective goal-driven explainable agents and robots.


title: Development of a Negative Ion Micro TPC Detector with SF$_{6}$ Gas for the Directional Dark Matter Search

abstract: A negative ion micro time projection chamber (NI$\mu$TPC) was developed and its performance studied. An NI$\mu$TPC is a novel technology that enables the measurement of absolute $z$ coordinates for self-triggering TPCs. This technology provides full-fiducialization analysis, which is not possible with conventional gaseous TPCs, and is useful for directional dark matter searches in terms of background rejection and the improvement of the angular resolution. The developed NI$\mu$TPC prototype had a detection volume of 12.8 $\times$ 25.6 $\times$ 144 mm$^{3}$. The absolute $z$ coordinate was determined with a location accuracy of 16 mm using minority carrieres of SF$_{5}^{-}$. Simultaneously, there was a successful reconstruction of the three-dimensional (3D) tracks with a spatial resolution of 130 $\mu\rm{m}$. This is the first demonstration of 3D tracking with the detection of absolute $z$ coordinates, and it is an important step in improving the sensitivity of directional dark matter searches.


title: Variable Anisotropic Singular Integral Operators

abstract: We introduce the class of variable anisotropic singular integral operators associated to a continuous multi-level ellipsoid cover $\Theta$ of $\mathbb{R}^n$ introduced by Dahmen, Dekel, and Petrushev \cite{ddp}. This is an extension of the classical isotropic singular integral operators on $\mathbb{R}^n$ of arbitrary smoothness and their anisotropic analogues for general expansive matrices introduced by the first author \cite{b}. We establish the boundedness of variable anisotropic singular integral operators $T$ on the Hardy spaces with pointwise variable anisotropy $H^p(\Theta)$, which were developed by Dekel, Petrushev, and Weissblat \cite{dpw}. In contrast with the general theory of Hardy spaces on spaces of homogenous type, our results work in the full range $0<p\leq 1$.


title: Parisi-Sourlas-like dimensional reduction of quantum gravity in the presence of observers

abstract: One of the sources of incompatibility between general relativity and quantum mechanics is perturbative non-renormalizability of quantum gravity in $3+1$ spacetime dimensions. Here, we show that in the presence of disorder induced by random networks of observers measuring covariant quantities (such as scalar curvature) $(3+1)$-dimensional quantum gravity exhibits an effective dimensional reduction at large spatio-temporal scales, which is analogous to the Parisi-Sourlas phenomenon observed for quantum field theories in random external fields. After averaging over associated disorder and focusing on the infrared dynamics of the theory we find that the upper critical dimension of quantum gravity is lifted from $D_{{\rm cr}}=1+1$ to $D_{{\rm cr}}=3+1$ dimensions.


title: Identifiability and consistency of network inference using the hub model and variants

abstract: Statistical network analysis primarily focuses on inferring the parameters of an observed network. In many applications, especially in the social sciences, the observed data is the groups formed by individual subjects. In these applications, the network is itself a parameter of a statistical model. Zhao and Weko (2019) propose a model-based approach, called the hub model, to infer implicit networks from grouping behavior. The hub model assumes that each member of the group is brought together by a member of the group called the hub. The hub model belongs to the family of Bernoulli mixture models. Identifiability of parameters is a notoriously difficult problem for Bernoulli mixture models. This paper proves identifiability of the hub model parameters and estimation consistency under mild conditions. Furthermore, this paper generalizes the hub model by introducing a model component that allows hubless groups in which individual nodes spontaneously appear independent of any other individual. We refer to this additional component as the null component. The new model bridges the gap between the hub model and the degenerate case of the mixture model -- the Bernoulli product. Identifiability and consistency are also proved for the new model. Numerical studies are provided to demonstrate the theoretical results.


title: Automatic Tag Recommendation for Painting Artworks Using Diachronic Descriptions

abstract: In this paper, we deal with the problem of automatic tag recommendation for painting artworks. Diachronic descriptions containing deviations on the vocabulary used to describe each painting usually occur when the work is done by many experts over time. The objective of this work is to provide a framework that produces a more accurate and homogeneous set of tags for each painting in a large collection. To validate our method we build a model based on a weakly-supervised neural network for over $5{,}300$ paintings with hand-labeled descriptions made by experts for the paintings of the Brazilian painter Candido Portinari. This work takes place with the Portinari Project which started in 1979 intending to recover and catalog the paintings of the Brazilian painter. The Portinari paintings at that time were in private collections and museums spread around the world and thus inaccessible to the public. The descriptions of each painting were made by a large number of collaborators over 40 years as the paintings were recovered and these diachronic descriptions caused deviations on the vocabulary used to describe each painting. Our proposed framework consists of (i) a neural network that receives as input the image of each painting and uses frequent itemsets as possible tags, and (ii) a clustering step in which we group related tags based on the output of the pre-trained classifiers.


title: Vertices of Intersection Polytopes and Rays of Generalized Kostka Cones

abstract: Let $\mathscr{K}(G)$ be the rational cone generated by pairs $(\lambda, \mu)$ where $\lambda$ and $\mu$ are dominant integral weights and $\mu$ is a nontrivial weight space in the representation $V_{\lambda}$ of $G$. We produce all extremal rays of $\mathscr{K}(G)$ by considering the vertices of corresponding intersection polytopes $IP_{\lambda}$, the set of points in $\mathscr{K}(G)$ with first coordinate $\lambda$. We show that vertices of $IP_{\varpi_i}$ arise as lifts of vertices coming from cones $\mathscr{K}(L)$ associated to simple Levi subgroups possessing the simple root $\alpha_i$. As corollaries we obtain a complete description of all extremal rays, as well as polynomial formulas describing the numbers of extremal rays depending on type and rank.


title: Universal Quantization of Magnetic Susceptibility Jump at Topological Phase Transition

abstract: We examine the magnetic susceptibility of topological insulators microscopically and find that the orbital-Zeeman (OZ) cross term, the cross term between the orbital effect and the spin Zeeman effect, is directly related to the Berry curvature when the $z$-component of spin is conserved. In particular, the OZ cross term reflects the spin Chern number, which results in the quantization of the magnetic susceptibility jump at the topological phase transition. The magnitude of the jump is in units of the universal value $4|e|\mu_{\rm B}/h$. The physical origin of this quantization is clarified. We also apply the obtained formula to an explicit model and demonstrate the quantization.


title: Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version

abstract: Implementation flaws in cryptographic libraries, design flaws in underlying cryptographic primitives, and weaknesses in protocols using both, can all lead to exploitable vulnerabilities in software. Manually fixing such issues is challenging and resource consuming, especially when maintaining legacy software that contains broken or outdated cryptography, and for which source code may not be available. While there is existing work on identifying cryptographic primitives (often in the context of malware analysis), none of this prior work has focused on replacing such primitives with stronger (or more secure ones) after they have been identified. This paper explores feasibility of designing and implementing a toolchain for Augmentation and Legacy-software Instrumentation of Cryptographic Executables (ALICE). The key features of ALICE are: (i) automatically detecting and extracting implementations of weak or broken cryptographic primitives from binaries without requiring source code or debugging symbols, (ii) identifying the context and scope in which such primitives are used, and performing program analysis to determine the effects of replacing such implementations with more secure ones, and (iii) replacing implementations of weak primitives with those of stronger or more secure ones. We demonstrate practical feasibility of our approach on cryptographic hash functions with several popular cryptographic libraries and real-world programs of various levels of complexity. Our experimental results show that ALICE can locate and replace insecure hash functions, even in large binaries (we tested ones of size up to 1.5MB), while preserving existing functionality of the original binaries, and while incurring minimal execution-time overhead in the rewritten binaries. We also open source ALICE's code at https://github.com/SRI-CSL/ALICE.


title: A Covariance-based User Activity Detection and Channel Estimation Approach with Novel Pilot Design

abstract: This paper studies the massive machine-type communications (mMTC) for the future Internet of Things (IoT) applications, where a large number of IoT devices exist in the network and a random subset of them become active at each time instant. Building upon the fact that the covariance matrix of the received signal can be accurately estimated in the spatial domain if the base station (BS) is equipped with a massive number of antennas, we propose a covariance-based device activity detection and channel estimation strategy in a massive MIMO (multiple-input multiple-output) aided mMTC system. For this strategy, a novel approach for the pilot sequence design is first provided, where the pilot of each device is merely determined by a unique phase parameter. Then, by estimating the phase parameters of the active pilot sequences that contribute to the received covariance matrix, an efficient algorithm is proposed to detect the active devices without the prior information about the total number of active devices. At last, given the estimation of active devices, channel estimation is conducted based on the conventional minimum mean-squared error (MMSE) approach. It is worth noting that our proposed strategy is able to obtain all the results in closed-forms, and is thus of much lower complexity compared to the existing strategies that are based on iterative algorithms for device detection and channel estimation.


title: Innovation and Revenue: Deep Diving into the Temporal Rank-shifts of Fortune 500 Companies

abstract: Research and innovation is important agenda for any company to remain competitive in the market. The relationship between innovation and revenue is a key metric for companies to decide on the amount to be invested for future research. Two important parameters to evaluate innovation are the quantity and quality of scientific papers and patents. Our work studies the relationship between innovation and patenting activities for several Fortune 500 companies over a period of time. We perform a comprehensive study of the patent citation dataset available in the Reed Technology Index collected from the US Patent Office. We observe several interesting relations between parameters like the number of (i) patent applications, (ii) patent grants, (iii) patent citations and Fortune 500 ranks of companies. We also study the trends of these parameters varying over the years and derive causal explanations for these with qualitative and intuitive reasoning. To facilitate reproducible research, we make all the processed patent dataset publicly available at https://github.com/mayank4490/Innovation-and-revenue.


title: One star, two stars, or both? Investigating metallicity-dependant models for Gamma-Ray Burst progenitors with the IllustrisTNG simulation

abstract: The rate of long-duration gamma ray bursts (GRBs) has been identified as a potential proxy for the star formation rate (SFR) across redshift, but the exact relationship depends on GRB progenitor models (single versus binary). The single-progenitor collapsar model accounts for the preference towards low-metallicity GRB progenitors, but is in apparent tension with some high-metallicity GRB host galaxy measurements. As a possible solution, we consider the scenario where high-metallicity GRB hosts harbour low metallicity regions in which GRB progenitors form. For this, we use the IllustrisTNG cosmological hydrodynamical simulation to investigate the internal metallicity distribution of GRB hosts, implementing in post-processing different GRB formation models. Predictions (GRB rate, host metallicities and stellar masses) are compared to the high-completeness GRB legacy surveys BAT6 and SHOALS and a sample of high-redshift GRB-DLA metallicities, allowing us to compute their relative likelihoods. When the internal metallicity distribution of galaxies is ignored, the best-fitting model requires a metallicity-independent channel, as previously proposed by Trenti, Perna & Jimenez. However, when the internal metallicity distribution is considered, a basic metallicity bias model with a cutoff at $Z_{max}=0.35Z_\odot$ is the best fitting one. Current data are insufficient to discriminate among more detailed metallicity bias models, such as weak metallicity dependence of massive binaries vs stronger metallicity bias of collapsars. An increased sample of objects, and direct measurements of host stellar masses at redshift $z>2$ would allow to further constrain the origin of long GRBs.


title: Privacy in Crisis: A study of self-disclosure during the Coronavirus pandemic

abstract: We study observed incidence of self-disclosure in a large dataset of Tweets representing user-led English-language conversation about the Coronavirus pandemic. Using an unsupervised approach to detect voluntary disclosure of personal information, we provide early evidence that situational factors surrounding the Coronavirus pandemic may impact individuals' privacy calculus. Text analyses reveal topical shift toward supportiveness and support-seeking in self-disclosing conversation on Twitter. We run a comparable analysis of Tweets from Hurricane Harvey to provide context for observed effects and suggest opportunities for further study.


title: That Message Went Viral?! Exploratory Analytics and Sentiment Analysis into the Propagation of Tweets

abstract: Information exchange and message diffusion have moved from traditional media to social media platforms. Messages on platforms such as Twitter have become the default mode of company communications replacing lengthier public announcements and updates. Businesses and organizations have increased their use of Twitter to connect with stakeholders. As a result, it is important to understand the key drivers of successful information exchange and message diffusion via Twitter. We conducted an exploratory analysis on a dataset of over a million Tweets, comprising of over 40,000 lead Tweets, further filtered to over 18,000 Tweets. We identified the most popular messages, and analyzed the tweets on multiple endogenous dimensions including content, sentiment, motive and richness, and exogenous dimensions such as fundamental events, social learning, and activism. We found some interesting patterns and uncovered new insights to help researchers and practitioners better understand the behavior of popular viral tweets. We also performed sentiment analysis and present an early stage model to explain tweet performance.


title: Word Embedding-based Text Processing for Comprehensive Summarization and Distinct Information Extraction

abstract: In this paper, we propose two automated text processing frameworks specifically designed to analyze online reviews. The objective of the first framework is to summarize the reviews dataset by extracting essential sentence. This is performed by converting sentences into numerical vectors and clustering them using a community detection algorithm based on their similarity levels. Afterwards, a correlation score is measured for each sentence to determine its importance level in each cluster and assign it as a tag for that community. The second framework is based on a question-answering neural network model trained to extract answers to multiple different questions. The collected answers are effectively clustered to find multiple distinct answers to a single question that might be asked by a customer. The proposed frameworks are shown to be more comprehensive than existing reviews processing solutions.


title: Discovering Urban Functional Zones from Biased and Sparse Points of Interests and Sparse Human Activities

abstract: With rapid development of socio-economics, the task of discovering functional zones becomes critical to better understand the interactions between social activities and spatial locations. In this paper, we propose a framework to discover the real functional zones from the biased and extremely sparse Point of Interests (POIs). To cope with the bias and sparsity of POIs, the unbiased inner influences between spatial locations and human activities are introduced to learn a balanced and dense latent region representation. In addition, a spatial location based clustering method is also included to enrich the spatial information for latent region representation and enhance the region functionality consistency for the fine-grained region segmentation. Moreover, to properly annotate the various and fine-grained region functionalities, we estimate the functionality of the regions and rank them by the differences between the normalized POI distributions to reduce the inconsistency caused by the fine-grained segmentation. Thus, our whole framework is able to properly address the biased categories in sparse POI data and explore the true functional zones with a fine-grained level. To validate the proposed framework, a case study is evaluated by using very large real-world users GPS and POIs data from city of Raleigh. The results demonstrate that the proposed framework can better identify functional zones than the benchmarks, and, therefore, enhance understanding of urban structures with a finer granularity under practical conditions.


title: Quarantine Deceiving Yelp's Users by Detecting Unreliable Rating Reviews

abstract: Online reviews have become a valuable and significant resource, for not only consumers but companies, in decision making. In the absence of a trusted system, highly popular and trustworthy internet users will be assumed as members of the trusted circle. In this paper, we describe our focus on quarantining deceiving Yelp's users that employ both review spike detection (RSD) algorithm and spam detection technique in bridging review networks (BRN), on extracted key features. We found that more than 80% of Yelp's accounts are unreliable, and more than 80% of highly-rated businesses are subject to spamming.


title: M^3VSNet: Unsupervised Multi-metric Multi-view Stereo Network

abstract: The present Multi-view stereo (MVS) methods with supervised learning-based networks have an impressive performance comparing with traditional MVS methods. However, the ground-truth depth maps for training are hard to be obtained and are within limited kinds of scenarios. In this paper, we propose a novel unsupervised multi-metric MVS network, named M^3VSNet, for dense point cloud reconstruction without any supervision. To improve the robustness and completeness of point cloud reconstruction, we propose a novel multi-metric loss function that combines pixel-wise and feature-wise loss function to learn the inherent constraints from different perspectives of matching correspondences. Besides, we also incorporate the normal-depth consistency in the 3D point cloud format to improve the accuracy and continuity of the estimated depth maps. Experimental results show that M3VSNet establishes the state-of-the-arts unsupervised method and achieves comparable performance with previous supervised MVSNet on the DTU dataset and demonstrates the powerful generalization ability on the Tanks and Temples benchmark with effective improvement. Our code is available at https://github.com/whubaichuan/M3VSNet.


title: Classical perspectives on the Newton--Wigner position observable

abstract: This paper deals with the Newton--Wigner position observable for Poincar\'e-invariant classical systems. We prove an existence and uniqueness theorem for elementary systems that parallels the well-known Newton--Wigner theorem in the quantum context. We also discuss and justify the geometric interpretation of the Newton--Wigner position as `centre of spin', already proposed by Fleming in 1965 again in the quantum context.


title: An Early Warning Sign of Critical Transition in The Antarctic Ice Sheet -- A Data Driven Tool for Spatiotemporal Tipping Point

abstract: Our recently developed tool, called Directed Affinity Segmentation was originally designed for data-driven discovery of coherent sets in fluidic systems. Here we interpret that it can also be used to indicate early warning signs of critical transitions in ice shelves as seen from remote sensing data. We apply a directed spectral clustering methodology, including an asymmetric affinity matrix and the associated directed graph Laplacian, to reprocess the ice velocity data and remote sensing satellite images of the Larsen C ice shelf. Our tool has enabled the simulated prediction of historical events from historical data, fault lines responsible for the critical transitions leading to the break up of the Larsen C ice shelf crack, which resulted in the A68 iceberg. Such benchmarking of methods using data from the past to forecast events that are now also in the past is sometimes called post-casting, analogous to forecasting into the future. Our method indicated the coming crisis months before the actual occurrence.


title: TrueBranch: Metric Learning-based Verification of Forest Conservation Projects

abstract: International stakeholders increasingly invest in offsetting carbon emissions, for example, via issuing Payments for Ecosystem Services (PES) to forest conservation projects. Issuing trusted payments requires a transparent monitoring, reporting, and verification (MRV) process of the ecosystem services (e.g., carbon stored in forests). The current MRV process, however, is either too expensive (on-ground inspection of forest) or inaccurate (satellite). Recent works propose low-cost and accurate MRV via automatically determining forest carbon from drone imagery, collected by the landowners. The automation of MRV, however, opens up the possibility that landowners report untruthful drone imagery. To be robust against untruthful reporting, we propose TrueBranch, a metric learning-based algorithm that verifies the truthfulness of drone imagery from forest conservation projects. TrueBranch aims to detect untruthfully reported drone imagery by matching it with public satellite imagery. Preliminary results suggest that nominal distance metrics are not sufficient to reliably detect untruthfully reported imagery. TrueBranch leverages metric learning to create a feature embedding in which truthfully and untruthfully collected imagery is easily distinguishable by distance thresholding.


title: Collision-induced breakage of agglomerates in homogenous isotropic turbulence laden with adhesive particles

abstract: We carry out direct numerical simulation combined with adhesive discrete element calculations to investigate collision-induced breakage of agglomerates in homogeneous isotropic turbulence. Based on extensive simulation runs, an adhesion parameter Adn is constructed to quantify the possibility of occurrence of sticking, rebound, and breakage events. The collision-induced breakage rate is then formulated based on the Smoluchowski equation and a breakage fraction. The breakage fraction, defined as the fraction of collisions that result in breakage, is then analytically estimated by a convolution of the probability distribution of collision velocity and a universal transfer function. It is shown that the breakage rate decreases exponentially as the adhesion parameter Adn increases for doublets and scales as linear functions of the agglomerate size, with the slope controlled by Adn. These results allow one to estimate the breakage rate for early-stage agglomerates of arbitrary size. Moreover, the role of the flow structure on the collision-induced breakage is also examined. Violent collisions and breakages are more likely caused by particles ejected rapidly from strong vortices and happen in straining sheets. Our results extend the findings of shear-induced fragmentation, forming a more complete picture of breakage of agglomerates in turbulent flows.


title: Investigation of neutron density distribution of $^{208}$Pb nucleus when the proton density is constrained to its experimental distribution

abstract: In this study, two novel improvements for the theoretical calculation of the neutron distributions are presented. First, the available experimental proton distributions are used as a constraint rather than inferred from the calculation. Second, the recently proposed distribution formula, d3pF, is used for the neutron density, which is more detailed than the usual shapes, for the first time in nuclear structure calculation. A semi-microscopic approach for binding energy calculation is considered in this study, however, the proposed improvements can be introduced to any other approach. The ground state binding energy and neutron density distribution of $^{208}$Pb nucleus are calculated by optimizing the binding energy considering three different distribution formulae. The implementation of the proposed improvements leads to a qualitative and quantitative improvement in the calculation of the binding energy and neutron density distribution. The calculated binding energy agrees with the experimental value, and the calculated neutron density shows fluctuations within the nuclear interior, which agrees with the predictions of self-consistent approaches.


title: Coupling-decoupling of conducting topological surface states in thick Bi$_2$Se$_3$ single crystals

abstract: Sensitive ac susceptibility measurements of a topological insulator, Bi$_2$Se$_3$ single crystal, using mutual two coil inductance technique (Ref. 32) shows coupling and decoupling of high conducting surface states. The coupling of the surface states exists upto thickness of 70 microns, which is much larger than the direct coupling limit of thickness approximately 5 to 10 nanometers found in thin films. The high conducting topological surface states are coupled through the crystal via high electrically conducting channels, generated by Selenium vacancies. These conducting channels through the bulk disintegrate beyond 70 micron thickness and at high temperatures, thereby leading to decoupling of the topological surface states. We show the decoupled surface states persist upto room temperature in the topological insulator. Analysis of Nyquist plot of ac-susceptibility response of the TI using a resistor (R) Inductor (L) model shows an inductive nature of the coupling between surface states found in these Bi$_2$Se$_3$ crystals.


title: Identification of Compliant Contact Parameters and Admittance Force Modulation on a Non-stationary Compliant Surface

abstract: Although autonomous control of robotic manipulators has been studied for several decades, they are not commonly used in safety-critical applications due to lack of safety and performance guarantees - many of them concerning the modulation of interaction forces. This paper presents a mechanical probing strategy for estimating the environmental impedance parameters of compliant environments, independent a manipulator's controller design, and configuration. The parameter estimates are used in a position-based adaptive force controller to enable control of interaction forces in compliant, stationary, and non-stationary environments. This approach is targeted for applications where the workspace is constrained and non-stationary, and where force control is critical to task success. These applications include surgical tasks involving manipulation of compliant, delicate, moving tissues. Results show fast parameter estimation and successful force modulation that compensates for motion.


title: Optimality Conditions for Constrained Minimax Optimization

abstract: Minimax optimization problems arises from both modern machine learning including generative adversarial networks, adversarial training and multi-agent reinforcement learning, as well as from tradition research areas such as saddle point problems, numerical partial differential equations and optimality conditions of equality constrained optimization. For the unconstrained continuous nonconvex-nonconcave situation, Jin, Netrapalli and Jordan (2019) carefully considered the very basic question: what is a proper definition of local optima of a minimax optimization problem, and proposed a proper definition of local optimality called local minimax. We shall extend the definition of local minimax point to constrained nonconvex-nonconcave minimax optimization problems. By analyzing Jacobian uniqueness conditions for the lower-level maximization problem and the strong regularity of Karush-Kuhn-Tucker conditions of the maximization problem, we provide both necessary optimality conditions and sufficient optimality conditions for the local minimax points of constrained minimax optimization problems.


title: Learning Goal-oriented Dialogue Policy with Opposite Agent Awareness

abstract: Most existing approaches for goal-oriented dialogue policy learning used reinforcement learning, which focuses on the target agent policy and simply treat the opposite agent policy as part of the environment. While in real-world scenarios, the behavior of an opposite agent often exhibits certain patterns or underlies hidden policies, which can be inferred and utilized by the target agent to facilitate its own decision making. This strategy is common in human mental simulation by first imaging a specific action and the probable results before really acting it. We therefore propose an opposite behavior aware framework for policy learning in goal-oriented dialogues. We estimate the opposite agent's policy from its behavior and use this estimation to improve the target agent by regarding it as part of the target policy. We evaluate our model on both cooperative and competitive dialogue tasks, showing superior performance over state-of-the-art baselines.


title: Bilayer graphene in strong ultrafast laser fields

abstract: We theoretically investigate the interaction of an ultrastrong femtosecond-long linearly polarized optical pulse with AB-stacked bilayer graphene. The pulse excite electrons from the valence into the conduction band, resulting in finite conduction band population. Such a redistribution of electrons results in the generation of current which can be manipulated by the angle of incidence of the pulse. For the normal incidence, the current along a direction transverse to the polarization of the optical pulse is zero. However, the interlayer symmetry is broken up by a finite angle of incidence which causes induction of electric current in the direction perpendicular to the $x$-$z$ plane of polarization of the pulse. We show that the magnitude and the direction of such a current as well as charge transfer along this direction can be manipulated by tuning the angle of incidence of the laser pulse. Further, the symmetry of the system prohibits the generation of transverse current if the pulse is polarized along $y$-direction.


title: Train No Evil: Selective Masking for Task-Guided Pre-Training

abstract: Recently, pre-trained language models mostly follow the pre-train-then-fine-tuning paradigm and have achieved great performance on various downstream tasks. However, since the pre-training stage is typically task-agnostic and the fine-tuning stage usually suffers from insufficient supervised data, the models cannot always well capture the domain-specific and task-specific patterns. In this paper, we propose a three-stage framework by adding a task-guided pre-training stage with selective masking between general pre-training and fine-tuning. In this stage, the model is trained by masked language modeling on in-domain unsupervised data to learn domain-specific patterns and we propose a novel selective masking strategy to learn task-specific patterns. Specifically, we design a method to measure the importance of each token in sequences and selectively mask the important tokens. Experimental results on two sentiment analysis tasks show that our method can achieve comparable or even better performance with less than 50% of computation cost, which indicates our method is both effective and efficient. The source code of this paper can be obtained from https://github.com/thunlp/SelectiveMasking.


title: Simultaneous Trajectory Optimization and Force Control with Soft Contact Mechanics

abstract: Force modulation of robotic manipulators has been extensively studied for several decades but is not yet commonly used in safety-critical applications due to a lack of accurate interaction contact modeling and weak performance guarantees - a large proportion of them concerning the modulation of interaction forces. This study presents a high-level framework for simultaneous trajectory optimization and force control of the interaction between manipulator and soft environments. Sliding friction and normal contact force are taken into account. The dynamics of the soft contact model and the manipulator dynamics are simultaneously incorporated in the trajectory optimizer to generate desired motion and force profiles. A constraint optimization framework based on Differential Dynamic Programming and Alternative Direction Method of Multipliers has been employed to generate optimal control input and high-dimensional state trajectories. Experimental validation of the model performance is conducted on a soft substrate with known material properties using Cartesian space force control mode. Results show a comparison of ground truth and predicted model based contact force states for a few cartesian motions and the validity range of the friction model. Potential applications include high-level task planning of medical tasks involving manipulation of compliant, delicate, and deformable tissues.


title: On the Compressive Power of Boolean Threshold Autoencoders

abstract: An autoencoder is a layered neural network whose structure can be viewed as consisting of an encoder, which compresses an input vector of dimension $D$ to a vector of low dimension $d$, and a decoder which transforms the low-dimensional vector back to the original input vector (or one that is very similar). In this paper we explore the compressive power of autoencoders that are Boolean threshold networks by studying the numbers of nodes and layers that are required to ensure that the numbers of nodes and layers that are required to ensure that each vector in a given set of distinct input binary vectors is transformed back to its original. We show that for any set of $n$ distinct vectors there exists a seven-layer autoencoder with the smallest possible middle layer, (i.e., its size is logarithmic in $n$), but that there is a set of $n$ vectors for which there is no three-layer autoencoder with a middle layer of the same size. In addition we present a kind of trade-off: if a considerably larger middle layer is permissible then a five-layer autoencoder does exist. We also study encoding by itself. The results we obtain suggest that it is the decoding that constitutes the bottleneck of autoencoding. For example, there always is a three-layer Boolean threshold encoder that compresses $n$ vectors into a dimension that is reduced to twice the logarithm of $n$.