title: Electromagnetic & Weak Probes: Experimental Overview

abstract: Electromagnetic and electroweak probes are the most versatile probes in the study of heavy-ion collisions. Produced at every stage in the evolution of QCD matter, its messengers are practically inert to the strongly interacting medium they travel through. In this contribution, I will discuss a selection of new results from experiments at the LHC, RHIC, and SIS facilities, spanning almost four orders of magnitude in beam energy. I will conclude with a brief overview of the experimental landscape in the near future.


title: Real-time ab initio simulation of inelastic electron scattering using the exact, density functional, and alternative approaches

abstract: To investigate inelastic electron scattering, which is ubiquitous in various fields of study, we carry out ab initio study of the real-time dynamics of a one-dimensional electron wave packet scattered by a hydrogen atom using different methods: the exact solution, the solution provided by time-dependent density functional theory (TDDFT), and the solutions given by alternative approaches. This research not only sheds light on inelastic scattering processes but also verifies the capability of TDDFT in describing inelastic electron scattering. We revisit the adiabatic local-density approximation (ALDA) in describing the excitation of the target during the scattering process along with a self-interaction correction and spin-polarized calculations. Our results reveal that the ALDA severely underestimates the energy transferred in the regime of low incident energy particularly for a spin-singlet system. After demonstrating alternative approaches, we propose a hybrid ab initio method to deal with the kinetic correlation alongside TDDFT. This hybrid method would facilitate first-principles studies of systems in which the correlation of a few electrons among many others is of interest.


title: SqueezeSegV3: Spatially-Adaptive Convolution for Efficient Point-Cloud Segmentation

abstract: LiDAR point-cloud segmentation is an important problem for many applications. For large-scale point cloud segmentation, the \textit{de facto} method is to project a 3D point cloud to get a 2D LiDAR image and use convolutions to process it. Despite the similarity between regular RGB and LiDAR images, we discover that the feature distribution of LiDAR images changes drastically at different image locations. Using standard convolutions to process such LiDAR images is problematic, as convolution filters pick up local features that are only active in specific regions in the image. As a result, the capacity of the network is under-utilized and the segmentation performance decreases. To fix this, we propose Spatially-Adaptive Convolution (SAC) to adopt different filters for different locations according to the input image. SAC can be computed efficiently since it can be implemented as a series of element-wise multiplications, im2col, and standard convolution. It is a general framework such that several previous methods can be seen as special cases of SAC. Using SAC, we build SqueezeSegV3 for LiDAR point-cloud segmentation and outperform all previous published methods by at least 3.7% mIoU on the SemanticKITTI benchmark with comparable inference speed.


title: Google Landmarks Dataset v2 -- A Large-Scale Benchmark for Instance-Level Recognition and Retrieval

abstract: While image retrieval and instance recognition techniques are progressing rapidly, there is a need for challenging datasets to accurately measure their performance -- while posing novel challenges that are relevant for practical applications. We introduce the Google Landmarks Dataset v2 (GLDv2), a new benchmark for large-scale, fine-grained instance recognition and image retrieval in the domain of human-made and natural landmarks. GLDv2 is the largest such dataset to date by a large margin, including over 5M images and 200k distinct instance labels. Its test set consists of 118k images with ground truth annotations for both the retrieval and recognition tasks. The ground truth construction involved over 800 hours of human annotator work. Our new dataset has several challenging properties inspired by real world applications that previous datasets did not consider: An extremely long-tailed class distribution, a large fraction of out-of-domain test photos and large intra-class variability. The dataset is sourced from Wikimedia Commons, the world's largest crowdsourced collection of landmark photos. We provide baseline results for both recognition and retrieval tasks based on state-of-the-art methods as well as competitive results from a public challenge. We further demonstrate the suitability of the dataset for transfer learning by showing that image embeddings trained on it achieve competitive retrieval performance on independent datasets. The dataset images, ground-truth and metric scoring code are available at https://github.com/cvdfoundation/google-landmark.


title: Accounting for Symptomatic and Asymptomatic in a SEIR-type model of COVID-19

abstract: A mathematical model was developed describing the dynamic of the COVID-19 virus over a population considering that the infected can either be symptomatic or not. The model was calibrated using data on the confirmed cases and death from several countries like France, Philippines, Italy, Spain, United Kingdom, China, and the USA. First, we derived the basic reproduction number, $\mathcal{R}_0$, and estimated the effective reproduction $\mathcal{R}_{\rm eff}$ for each country. Second, we were interested in the merits of interventions, either by distancing or by treatment. Results revealed that total and partial containment is effective in reducing the transmission. However, its duration may be long to eradicate the disease (104 days for France). By setting the end of intervention as the day when hospital capacity is reached, numerical simulations showed that the duration can be reduced (up to only 39 days for France if the capacity is 1000 patients). Further, results pointed out that the effective reproduction number remains large after containment. Therefore, testing and isolation are necessary to stop the disease.


title: On the convergence of physics informed neural networks for linear second-order elliptic and parabolic type PDEs

abstract: Physics informed neural networks (PINNs) are deep learning based techniques for solving partial differential equations (PDEs) encounted in computational science and engineering. Guided by data and physical laws, PINNs find a neural network that approximates the solution to a system of PDEs. Such a neural network is obtained by minimizing a loss function in which any prior knowledge of PDEs and data are encoded. Despite its remarkable empirical success in one, two or three dimensional problems, there is little theoretical justification for PINNs. As the number of data grows, PINNs generate a sequence of minimizers which correspond to a sequence of neural networks. We want to answer the question: Does the sequence of minimizers converge to the solution to the PDE? We consider two classes of PDEs: linear second-order elliptic and parabolic. By adapting the Schauder approach and the maximum principle, we show that the sequence of minimizers strongly converges to the PDE solution in $C^0$. Furthermore, we show that if each minimizer satisfies the initial/boundary conditions, the convergence mode becomes $H^1$. Computational examples are provided to illustrate our theoretical findings. To the best of our knowledge, this is the first theoretical work that shows the consistency of PINNs.


title: TRRespass: Exploiting the Many Sides of Target Row Refresh

abstract: After a plethora of high-profile RowHammer attacks, CPU and DRAM vendors scrambled to deliver what was meant to be the definitive hardware solution against the RowHammer problem: Target Row Refresh (TRR). A common belief among practitioners is that, for the latest generation of DDR4 systems that are protected by TRR, RowHammer is no longer an issue in practice. However, in reality, very little is known about TRR. In this paper, we demystify the inner workings of TRR and debunk its security guarantees. We show that what is advertised as a single mitigation mechanism is actually a series of different solutions coalesced under the umbrella term TRR. We inspect and disclose, via a deep analysis, different existing TRR solutions and demonstrate that modern implementations operate entirely inside DRAM chips. Despite the difficulties of analyzing in-DRAM mitigations, we describe novel techniques for gaining insights into the operation of these mitigation mechanisms. These insights allow us to build TRRespass, a scalable black-box RowHammer fuzzer. TRRespass shows that even the latest generation DDR4 chips with in-DRAM TRR, immune to all known RowHammer attacks, are often still vulnerable to new TRR-aware variants of RowHammer that we develop. In particular, TRRespass finds that, on modern DDR4 modules, RowHammer is still possible when many aggressor rows are used (as many as 19 in some cases), with a method we generally refer to as Many-sided RowHammer. Overall, our analysis shows that 13 out of the 42 modules from all three major DRAM vendors are vulnerable to our TRR-aware RowHammer access patterns, and thus one can still mount existing state-of-the-art RowHammer attacks. In addition to DDR4, we also experiment with LPDDR4 chips and show that they are susceptible to RowHammer bit flips too. Our results provide concrete evidence that the pursuit of better RowHammer mitigations must continue.


title: TimeGate: Conditional Gating of Segments in Long-range Activities

abstract: When recognizing a long-range activity, exploring the entire video is exhaustive and computationally expensive, as it can span up to a few minutes. Thus, it is of great importance to sample only the salient parts of the video. We propose TimeGate, along with a novel conditional gating module, for sampling the most representative segments from the long-range activity. TimeGate has two novelties that address the shortcomings of previous sampling methods, as SCSampler. First, it enables a differentiable sampling of segments. Thus, TimeGate can be fitted with modern CNNs and trained end-to-end as a single and unified model.Second, the sampling is conditioned on both the segments and their context. Consequently, TimeGate is better suited for long-range activities, where the importance of a segment heavily depends on the video context.TimeGate reduces the computation of existing CNNs on three benchmarks for long-range activities: Charades, Breakfast and MultiThumos. In particular, TimeGate reduces the computation of I3D by 50% while maintaining the classification accuracy.


title: Unexpected Near-Infrared to Visible Non-linear Optical Properties from Two-Dimensional Polar Metals

abstract: Near-infrared-to-visible second harmonic generation from air-stable two-dimensional polar gallium and indium metals is described. The photonic properties of 2D metals - including the largest second-order susceptibilities reported for metals (approaching 10nm$^2$/V) - are determined by the atomic-level structure and bonding of two-to-three-atom-thick crystalline films. The bond character evolved from covalent to metallic over a few atomic layers, changing the out-of-plane metal-metal bond distances by approximately ten percent (0.2 $\unicode{x212B}$), resulting in symmetry breaking and an axial electrostatic dipole that mediated the large nonlinear response. Two different orientations of the crystalline metal atoms, corresponding to lateral displacements < 2 $\unicode{x212B}$, persisted in separate micron-scale terraces to generate distinct harmonic polarizations. This strong atomic-level structure-property interplay suggests metal photonic properties can be controlled with atomic precision.


title: A Diffusion-Based Embedding of the Stochastic Simulation Algorithm in Continuous Space

abstract: A variety of simulation methodologies have been used for modeling reaction-diffusion dynamics -- including approaches based on Differential Equations (DE), the Stochastic Simulation Algorithm (SSA), Brownian Dynamics (BD), Green's Function Reaction Dynamics (GFRD), and variations thereon -- each offering trade-offs with respect to the ranges of phenomena they can model, their computational tractability, and the difficulty of fitting them to experimental measurements. Here, we develop a multiscale approach combining efficient SSA-like sampling suitable for well-mixed systems with aspects of the slower but space-aware GFRD model, assuming as with GFRD that reactions occur in a spatially heterogeneous environment that must be explicitly modeled. Our method extends the SSA approach in two major ways. First, we sample bimolecular association reactions following diffusive motion with a time-dependent reaction propensity. Second, reaction locations are sampled from within overlapping diffusion spheres describing the spatial probability densities of individual reactants. We show the approach to provide efficient simulation of spatially heterogeneous biochemistry in comparison to alternative methods via application to a Michaelis-Menten model.


title: Panchromatic Properties of the Extreme FeII Emitter PHL 1092

abstract: We present near-infrared spectroscopy of the NLS1 galaxy PHL1092 (z=0.394), the strongest FeII emitter ever reported, combined with optical and UV data. We modeled the continuum and the broad emission lines using a power-law plus a black body function and Lorentzian functions, respectively. The strength of the FeII emission was estimated using the latest FeII templates in the literature. We re-estimate the ratio between the FeII complex centered at 4570Ang and the broad component of H-Beta, R_FeII, obtaining a value of 2.58, nearly half of that previously reported (R_FeII=6.2), but still placing PHL1092 among extreme FeII emitters. The FWHM found for low ionization lines are very similar (FWHM~1200km/s), but significantly narrower than those of the Hydrogen lines (FWHM(H-Beta)~1900km/s). Our results suggest that the FeII emission in PHL1092 follows the same trend as in normal FeII emitters, with FeII being formed in the outer portion of the BLR and co-spatial with CaII, and OI, while H-Beta is formed closer to the central source. The flux ratio between the UV lines suggest high densities, log(n_H)~13.0 cm^{-3}, and a low ionization parameter, log(U)~-3.5. The flux excess found in the FeII bump at 9200Ang after the subtraction of the NIR FeII template and its comparison with optical FeII emission suggests that the above physical conditions optimize the efficiency of the ly-Alpha fluorescence process, which was found to be the main excitation mechanism in the FeII production. We discuss the role of PHL1092 in the Eigenvector 1 context.


title: Catalan and Schr\"oder permutations sortable by two restricted stacks

abstract: Pattern avoiding machines were introduced recently by Claesson, Cerbai and Ferrari as a particular case of the two-stacks in series sorting device. They consist of two restricted stacks in series, ruled by a right-greedy procedure and the stacks avoid some specified patterns. Some of the obtained results have been further generalized to Cayley permutations by Cerbai, specialized to particular patterns by Defant and Zheng, or considered in the context of functions over the symmetric group by Berlow. In this work we study pattern avoiding machines where the first stack avoids a pair of patterns of length 3 and investigate those pairs for which sortable permutations are counted by the (binomial transform of the) Catalan numbers and the Schr\"oder numbers.


title: Flexibility of entropies for piecewise expanding unimodal maps

abstract: We investigate the flexibility of the entropy (topological and metric) for the class of piecewise expanding unimodal maps. We show that the only restrictions for the values of the topological and metric entropies in this class are that both are positive, the topological entropy is at most $\log 2$, and by the Variational Principle, the metric entropy is not larger than the topological entropy. In order to have a better control on the metric entropy, we work mainly with topologically mixing piecewise expanding skew tent maps, for which there are only 2 different slopes. For those maps, there is an additional restriction that the topological entropy is larger than $\frac{1}{2}\log2$. We also make the interesting observation that for skew tent maps the sum of reciprocals of derivatives of all iterates of the map at the critical value is zero. It is a generalization and a different interpretation of the Milnor-Thurston formula connecting the topological entropy and the kneading determinant for unimodal maps.


title: Angle-resolved non-resonant two-photon single ionization of argon using 9.3 eV photons produced via high harmonic generation

abstract: We present an experimental study on the photoionization dynamics of non-resonant one-color two-photon single valence ionization of neutral argon atoms. Using 9.3 eV photons produced via high harmonic generation and a 3-D momentum imaging spectrometer, we detect the photoelectrons and ions produced from non-resonant two-photon ionization in coincidence. Photoionization from the $3p$ orbital produces a photoelectron scattering wave function with $p$ and $f$ partial wave components, which interfere and result in a photoelectron angular distribution with peak amplitude perpendicular to the VUV polarization. The comparison between the present results and two previous sets of theoretical calculations [Pan, C. & Starace, A. F. (1991). $\textit{Physical Review A}$, 44(1), 324., and Moccia, R., Rahman, N. K., & Rizzo, A. (1983). $\textit{Journal of Physics B: Atomic and Molecular Physics}$, 16(15), 2737.] indicates that electron-electron correlation contributes appreciably to the two-photon ionization dynamics.


title: Near optimal tracking control of a class of nonlinear systems and an experimental comparison

abstract: In this paper, near optimal tracking of a class of nonlinear systems is addressed. Adaptive (approximate) dynamic programming approach is used to calculate the optimal control in closed form. ADP (Adaptive (approximate) dynamic programming) has been widely used to resolve optimal regulation and tracking problems of nonlinear control systems. Despite advances in the so called supervised and unsupervised ADP techniques for optimal tracking, they have a main draw back. That is, the optimal controller needs to be recalculated for every particular reference trajectory. The main goal of this work is to address this issue for a class of nonlinear systems. Finally, this approach is applied on a Delta robot and the performance of the method is analyzed experimentally.


title: Recursive SPARQL for Graph Analytics

abstract: Work on knowledge graphs and graph-based data management often focus either on declarative graph query languages or on frameworks for graph analytics, where there has been little work in trying to combine both approaches. However, many real-world tasks conceptually involve combinations of these approaches: a graph query can be used to select the appropriate data, which is then enriched with analytics, and then possibly filtered or combined again with other data by means of a query language. In this paper we propose a declarative language that is well suited to perform graph querying and analytical tasks. We do this by proposing a minimalistic extension of SPARQL to allow for expressing analytical tasks; in particular, we propose to extend SPARQL with recursive features, and provide a formal syntax and semantics for our language. We show that this language can express key analytical tasks on graphs (in fact, it is Turing complete), offering a more declarative alternative to existing frameworks and languages. We show how procedures in our language can be implemented over an off-the-shelf SPARQL engine with a specialised client that allows parallelisation and batch-based processing when memory is limited. Results show that with such an implementation, procedures for popular analytics currently run in seconds or minutes for selective sub-graphs (our target use-case) but struggle at larger scales.


title: Group Based Deep Shared Feature Learning for Fine-grained Image Classification

abstract: Fine-grained image classification has emerged as a significant challenge because objects in such images have small inter-class visual differences but with large variations in pose, lighting, and viewpoints, etc. Most existing work focuses on highly customized feature extraction via deep network architectures which have been shown to deliver state of the art performance. Given that images from distinct classes in fine-grained classification share significant features of interest, we present a new deep network architecture that explicitly models shared features and removes their effect to achieve enhanced classification results. Our modeling of shared features is based on a new group based learning wherein existing classes are divided into groups and multiple shared feature patterns are discovered (learned). We call this framework Group based deep Shared Feature Learning (GSFL) and the resulting learned network as GSFL-Net. Specifically, the proposed GSFL-Net develops a specially designed autoencoder which is constrained by a newly proposed Feature Expression Loss to decompose a set of features into their constituent shared and discriminative components. During inference, only the discriminative feature component is used to accomplish the classification task. A key benefit of our specialized autoencoder is that it is versatile and can be combined with state-of-the-art fine-grained feature extraction models and trained together with them to improve their performance directly. Experiments on benchmark datasets show that GSFL-Net can enhance classification accuracy over the state of the art with a more interpretable architecture.


title: Low-loss Zero-Index Materials

abstract: Materials with a zero refractive index support electromagnetic modes that exhibit stationary phase profiles. While such materials have been realized across the visible and near-infrared spectral range, radiative and dissipative optical losses have hindered their development. We reduce losses in zero-index, on-chip photonic crystals by introducing high-Q resonances via resonance-trapped and symmetry-protected states. Using these approaches, we experimentally obtain quality factors of 2.6*10^3 and 7.8*10^3 at near-infrared wavelengths, corresponding to an order-of-magnitude reduction in propagation loss over previous designs. Our work presents a viable approach to fabricate zero-index on-chip nanophotonic devices with low-loss.


title: DNA Methylation Data to Predict Suicidal and Non-Suicidal Deaths: A Machine Learning Approach

abstract: The objective of this study is to predict suicidal and non-suicidal deaths from DNA methylation data using a modern machine learning algorithm. We used support vector machines to classify existing secondary data consisting of normalized values of methylated DNA probe intensities from tissues of two cortical brain regions to distinguish suicide cases from control cases. Before classification, we employed Principal component analysis (PCA) and t-distributed Stochastic Neighbor Embedding (t-SNE) to reduce the dimension of the data. In comparison to PCA, the modern data visualization method t-SNE performs better in dimensionality reduction. t-SNE accounts for the possible non-linear patterns in low-dimensional data. We applied four-fold cross-validation in which the resulting output from t-SNE was used as training data for the Support Vector Machine (SVM). Despite the use of cross-validation, the nominally perfect prediction of suicidal deaths for BA11 data suggests possible over-fitting of the model. The study also may have suffered from 'spectrum bias' since the individuals were only studied from two extreme scenarios. This research constitutes a baseline study for classifying suicidal and non-suicidal deaths from DNA methylation data. Future studies with larger sample size, while possibly incorporating methylation data from living individuals, may reduce the bias and improve the accuracy of the results.


title: Aggressive, Repetitive, Intentional, Visible, and Imbalanced: Refining Representations for Cyberbullying Classification

abstract: Cyberbullying is a pervasive problem in online communities. To identify cyberbullying cases in large-scale social networks, content moderators depend on machine learning classifiers for automatic cyberbullying detection. However, existing models remain unfit for real-world applications, largely due to a shortage of publicly available training data and a lack of standard criteria for assigning ground truth labels. In this study, we address the need for reliable data using an original annotation framework. Inspired by social sciences research into bullying behavior, we characterize the nuanced problem of cyberbullying using five explicit factors to represent its social and linguistic aspects. We model this behavior using social network and language-based features, which improve classifier performance. These results demonstrate the importance of representing and modeling cyberbullying as a social phenomenon.


title: Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression

abstract: The deployment of autonomous systems that operate in unstructured environments necessitates algorithms to verify their safety. This can be challenging due to, e.g., black-box components in the control software, or undermodelled dynamics that prevent model-based verification. We present a novel verification framework for an unknown dynamical system from a given set of noisy observations of the dynamics. Using Gaussian processes trained on this data set, the framework abstracts the system as an uncertain Markov process with discrete states defined over the safe set. The transition bounds of the abstraction are derived from the probabilistic error bounds between the regression and underlying system. An existing approach for verifying safety properties over uncertain Markov processes then generates safety guarantees. We demonstrate the versatility of the framework on several examples, including switched and nonlinear systems.


title: The equivalence between Stein variational gradient descent and black-box variational inference

abstract: We formalize an equivalence between two popular methods for Bayesian inference: Stein variational gradient descent (SVGD) and black-box variational inference (BBVI). In particular, we show that BBVI corresponds precisely to SVGD when the kernel is the neural tangent kernel. Furthermore, we interpret SVGD and BBVI as kernel gradient flows; we do this by leveraging the recent perspective that views SVGD as a gradient flow in the space of probability distributions and showing that BBVI naturally motivates a Riemannian structure on that space. We observe that kernel gradient flow also describes dynamics found in the training of generative adversarial networks (GANs). This work thereby unifies several existing techniques in variational inference and generative modeling and identifies the kernel as a fundamental object governing the behavior of these algorithms, motivating deeper analysis of its properties.


title: Temporal Shift GAN for Large Scale Video Generation

abstract: Video generation models have become increasingly popular in the last few years, however the standard 2D architectures used today lack natural spatio-temporal modelling capabilities. In this paper, we present a network architecture for video generation that models spatio-temporal consistency without resorting to costly 3D architectures. The architecture facilitates information exchange between neighboring time points, which improves the temporal consistency of both the high level structure as well as the low-level details of the generated frames. The approach achieves state-of-the-art quantitative performance, as measured by the inception score on the UCF-101 dataset as well as better qualitative results. We also introduce a new quantitative measure (S3) that uses downstream tasks for evaluation. Moreover, we present a new multi-label dataset MaisToy, which enables us to evaluate the generalization of the model.


title: Massively Parallel Transport Sweeps on Meshes with Cyclic Dependencies

abstract: When solving the first-order form of the linear Boltzmann equation, a common misconception is that the matrix-free computational method of ``sweeping the mesh", used in conjunction with the Discrete Ordinates method, is too complex or does not scale well enough to be implemented in modern high performance computing codes. This has led to considerable efforts in the development of matrix-based methods that are computationally expensive and is partly driven by the requirements placed on modern spatial discretizations. In particular, modern transport codes are required to support higher order elements, a concept that invariably adds a lot of complexity to sweeps because of the introduction of cyclic dependencies with curved mesh cells. In this article we will present a comprehensive implementation of sweeping, to a piecewise-linear DFEM spatial discretization with particular focus on handling cyclic dependencies and possible extensions to higher order spatial discretizations. These methods are implemented in a new C++ simulation framework called Chi-Tech ($\chi{-}Tech$). We present some typical simulation results with some performance aspects that one can expect during real world simulations, we also present a scaling study to $>$100k processes where Chi-Tech maintains greater than 80\% efficiency solving a total of 87.7 trillion angular flux unknowns for a 116 group simulation.


title: Contact singularities in nonstandard slow-fast dynamical systems

abstract: We develop the contact singularity theory for singularly-perturbed (or `slow-fast') vector fields of the general form $z' = H(z,\varepsilon)$, $z\in\mathbb{R}^n$ and $\varepsilon\ll 1$. Our main result is the derivation of computable, coordinate-independent defining equations for contact singularities under an assumption that the leading-order term of the vector field admits a suitable factorization. This factorization can in turn be computed explicitly in a wide variety of applications. We demonstrate these computable criteria by locating contact folds and, for the first time, contact cusps in some nonstandard models of biochemical oscillators.


title: T-count and Qubit Optimized Quantum Circuit Designs of Carry Lookahead Adder

abstract: Quantum circuits of arithmetic operations such as addition are needed to implement quantum algorithms in hardware. Quantum circuits based on Clifford+T gates are used as they can be made tolerant to noise. The tradeoff of gaining fault tolerance from using Clifford+T gates and error correcting codes is the high implementation overhead of the T gate. As a result, the T-count performance measure has become important in quantum circuit design. Due to noise, the risk for errors in a quantum circuit computation increases as the number of gate layers (or depth) in the circuit increases. As a result, low depth circuits such as quantum carry lookahead adders (QCLA)s have caught the attention of researchers. This work presents two QCLA designs each optimized with emphasis on T-count or qubit cost respectively. In-place and out-of-place versions of each design are shown. The proposed QCLAs are compared against the existing works in terms of T-count. The proposed QCLAs for out-of-place addition achieve average T gate savings of $54.34 \%$ and $37.21 \%$, respectively. The proposed QCLAs for in-place addition achieve average T gate savings of $72.11 \%$ and $35.87 \%$


title: Toward a Full MHD Jet Model of Spinning Black Holes--II: Kinematics and Application to the M87 Jet

abstract: In this paper, we investigate the magnetohydrodynamical structure of a jet powered by a spinning black hole, where electromagnetic fields and fluid motion are governed by the Grad-Shafranov equation and the Bernoulli equation, respectively. Assuming steady and axisymmetric jet structure, the global solution is uniquely determined with prescribed plasma loading into the jet and the poloidal shape of the outmost magnetic field line. We apply this model to the jet in the center of nearby radio galaxy M87, and we find it can naturally explain the slow flow acceleration and the flow velocity stratification within $10^5$ gravitational radii from the central black hole. In particular, we find the extremal black hole spin is disfavored by the flow velocity measurements, if the plasma loading to the jet is dominated by the electron/positron pair production at the jet base.


title: Federated Learning Meets Contract Theory: Energy-Efficient Framework for Electric Vehicle Networks

abstract: In this paper, we propose a novel energy-efficient framework for an electric vehicle (EV) network using a contract theoretic-based economic model to maximize the profits of charging stations (CSs) and improve the social welfare of the network. Specifically, we first introduce CS-based and CS clustering-based decentralized federated energy learning (DFEL) approaches which enable the CSs to train their own energy transactions locally to predict energy demands. In this way, each CS can exchange its learned model with other CSs to improve prediction accuracy without revealing actual datasets and reduce communication overhead among the CSs. Based on the energy demand prediction, we then design a multi-principal one-agent (MPOA) contract-based method. In particular, we formulate the CSs' utility maximization as a non-collaborative energy contract problem in which each CS maximizes its utility under common constraints from the smart grid provider (SGP) and other CSs' contracts. Then, we prove the existence of an equilibrium contract solution for all the CSs and develop an iterative algorithm at the SGP to find the equilibrium. Through simulation results using the dataset of CSs' transactions in Dundee city, the United Kingdom between 2017 and 2018, we demonstrate that our proposed method can achieve the energy demand prediction accuracy improvement up to 24.63% and lessen communication overhead by 96.3% compared with other machine learning algorithms. Furthermore, our proposed method can outperform non-contract-based economic models by 35% and 36% in terms of the CSs' utilities and social welfare of the network, respectively.


title: Extremely long convergence times in a 3D GCM simulation of the sub-Neptune Gliese 1214b

abstract: We present gray gas general circulation model (GCM) simulations of the tidally locked mini-Neptune GJ 1214b. On timescales of 1,000-10,000 Earth days, our results are comparable to previous studies of the same planet, in the sense that they all exhibit two off-equatorial eastward jets. Over much longer integration times (50,000-250,000 Earth days) we find a significantly different circulation and observational features. The zonal-mean flow transitions from two off-equatorial jets to a single wide equatorial jet that has higher velocity and extends deeper. The hot spot location also shifts eastward over the integration time. Our results imply a convergence time far longer than the typical integration time used in previous studies. We demonstrate that this long convergence time is related to the long radiative timescale of the deep atmosphere and can be understood through a series of simple arguments. Our results indicate that particular attention must be paid to model convergence time in exoplanet GCM simulations, and that other results on the circulation of tidally locked exoplanets with thick atmospheres may need to be revisited.


title: Quantum-feedback-controlled macroscopic quantum nonlocality in cavity optomechanics

abstract: In this paper, we propose a continuous measurement and feedback scheme to achieve strong Einstein-Podolsky-Rosen (EPR) steering and Bell nonlocality of two macroscopic mechanical oscillators in cavity optomechanics. Our system consists of two optomechanical cavities in which two cavity fields are coupled to each other via a nondegenerate parametric downconversion. The two cavity output fields are subject to continuous Bell-like homodyne detection and the detection currents are fed back to drive the cavity fields. It is found that when the feedback is absent, the two mechanical oscillators can only be prepared in steady weakly entangled states which however do not display EPR steering and Bell nonlocality, due to the so-called 3 dB limit. But when the feedback is present, it is found that the mechanical entanglement is considerably enhanced such that strong mechanical steering and Bell nonlocality can be obtained in the steady-state regime. We analytically reveal that this is because the feedback drives the mechanical oscillators into a steady approximate two-mode squeezed vacuum state, with arbitrary squeezing in principle. It is shown that the feedback can also obviously improve the purity of the nonclassical mechanical states. The dependences of the mechanical quantum nonlocality on the feedback strength and thermal fluctuations are studied, and it is found that Bell nonlocality is much more vulnerable to thermal noise than EPR steerable nonlocality.


title: Inside the Mind of a Stock Market Crash

abstract: We analyze how investor expectations about economic growth and stock returns changed during the February-March 2020 stock market crash induced by the COVID-19 pandemic, as well as during the subsequent partial stock market recovery. We surveyed retail investors who are clients of Vanguard at three points in time: (i) on February 11-12, around the all-time stock market high, (ii) on March 11-12, after the stock market had collapsed by over 20\%, and (iii) on April 16-17, after the market had rallied 25\% from its lowest point. Following the crash, the average investor turned more pessimistic about the short-run performance of both the stock market and the real economy. Investors also perceived higher probabilities of both further extreme stock market declines and large declines in short-run real economic activity. In contrast, investor expectations about long-run (10-year) economic and stock market outcomes remained largely unchanged, and, if anything, improved. Disagreement among investors about economic and stock market outcomes also increased substantially following the stock market crash, with the disagreement persisting through the partial market recovery. Those respondents who were the most optimistic in February saw the largest decline in expectations, and sold the most equity. Those respondents who were the most pessimistic in February largely left their portfolios unchanged during and after the crash.


title: SOAR: Second-Order Adversarial Regularization

abstract: Adversarial training is a common approach to improving the robustness of deep neural networks against adversarial examples. In this work, we propose a novel regularization approach as an alternative. To derive the regularizer, we formulate the adversarial robustness problem under the robust optimization framework and approximate the loss function using a second-order Taylor series expansion. Our proposed second-order adversarial regularizer (SOAR) is an upper bound based on the Taylor approximation of the inner-max in the robust optimization objective. We empirically show that the proposed method significantly improves the robustness of networks against the $\ell_\infty$ and $\ell_2$ bounded perturbations generated using cross-entropy-based PGD on CIFAR-10 and SVHN.


title: On the Efficient Design of LSM Stores

abstract: In the last decade, key-value data storage systems have gained significantly more interest from academia and industry. These systems face numerous challenges concerning storage space- and read optimization. There exists a large potential for improving current solutions by introducing new management techniques and algorithms. In this paper we give an overview of the basic concept of key-value data storage systems and provide an explanation for bottlenecks. Further we introduce two new memory management algorithms and a improved index structure. Finally, these solutions are compared to each other and discussed.


title: Neurosciences and 6G: Lessons from and Needs of Communicative Brains

abstract: This paper presents the first comprehensive tutorial on a promising research field located at the frontier of two well-established domains: Neurosciences and wireless communications, motivated by the ongoing efforts to define how the sixth generation of mobile networks (6G) will be. In particular, this tutorial first provides a novel integrative approach that bridges the gap between these two, seemingly disparate fields. Then, we present the state-of-the-art and key challenges of these two topics. In particular, we propose a novel systematization that divides the contributions into two groups, one focused on what neurosciences will offer to 6G in terms of new applications and systems architecture (Neurosciences for Wireless), and the other focused on how wireless communication theory and 6G systems can provide new ways to study the brain (Wireless for Neurosciences). For the first group, we concretely explain how current scientific understanding of the brain would enable new application for 6G within the context of a new type of service that we dub braintype communications and that has more stringent requirements than human- and machine-type communication. In this regard, we expose the key requirements of brain-type communication services and we discuss how future wireless networks can be equipped to deal with such services. Meanwhile, for the second group, we thoroughly explore modern communication system paradigms, including Internet of Bio-nano Things and chaosbased communications, in addition to highlighting how complex systems tools can help bridging 6G and neuroscience applications. Brain-controlled vehicles are then presented as our case study. All in all, this tutorial is expected to provide a largely missing articulation between these two emerging fields while delineating concrete ways to move forward in such an interdisciplinary endeavor.


title: Evaluating characterizations of homomorphisms on truncated vector lattices of functions

abstract: Let $L$ be a (non necessarily unital) truncated vector lattice of real-valued functions on a nonempty set $X$. A nonzero linear functional $\psi$ on $L$ is called a truncation homomorphism if it preserves truncation, i.e.,% \[ \psi\left( f\wedge\mathbf{1}_{X}\right) =\min\left\{ \psi\left( f\right) ,1\right\} \text{ for all }f\in L. \] We prove that a linear functional $\psi$ on $L$ is a truncation homomorphism if and only if $\psi$ is a lattice homomorphism and% \[ \sup\left\{ \psi\left( f\right) :f\leq\mathbf{1}_{X}\right\} =1. \] This allows us to prove different evaluating characterizations of truncation homomorphisms. In this regard, a special attention is paid to the continuous case and various results from the existing literature are generalized.


title: Numerical Analysis of History-dependent Variational-hemivariational Inequalities

abstract: In this paper, numerical analysis is carried out for a class of history-dependent variational-hemivariational inequalities arising in contact problems. Three different numerical treatments for temporal discretization are proposed to approximate the continuous model. Fixed-point iteration algorithms are employed to implement the implicit scheme and the convergence is proved with a convergence rate independent of the time step-size and mesh grid-size. A special temporal discretization is introduced for the history-dependent operator, leading to numerical schemes for which the unique solvability and error bounds for the temporally discrete systems can be proved without any restriction on the time step-size. As for spatial approximation, the finite element method is applied and an optimal order error estimate for the linear element solutions is provided under appropriate regularity assumptions. Numerical examples are presented to illustrate the theoretical results.


title: Nonequilibrium Energy Transduction in Stochastic Strongly Coupled Rotary Motors

abstract: Living systems at the molecular scale are composed of many constituents with strong and heterogeneous interactions, operating far from equilibrium, and subject to strong fluctuations. These conditions pose significant challenges to efficient, precise, and rapid free energy transduction, yet nature has evolved numerous molecular machines that do just this. Using a simple model of the ingenious rotary machine FoF1-ATP synthase, we investigate the interplay between nonequilibrium driving forces, thermal fluctuations, and interactions between strongly coupled subsystems. This model reveals design principles for effective free energy transduction. Most notably, while tight coupling is intuitively appealing, we find that output power is maximized at intermediate-strength coupling, which permits lubrication by stochastic fluctuations with only minimal slippage.


title: Optimal periodic dividend strategies for spectrally negative L\'evy processes with fixed transaction costs

abstract: Maximising dividends is one classical stability criterion in actuarial risk theory. Motivated by the fact that dividends are paid periodically in real life, $\textit{periodic}$ dividend strategies were recently introduced (Albrecher, Gerber and Shiu, 2011). In this paper, we incorporate fixed transaction costs into the model and study the optimal periodic dividend strategy with fixed transaction costs for spectrally negative L\'evy processes. The value function of a periodic $(b_u,b_l)$ strategy is calculated by means of exiting identities and It\^o's excusion when the surplus process is of unbounded variation. We show that a sufficient condition for optimality is that the L\'evy measure admits a density which is completely monotonic. Under such assumptions, a periodic $(b_u,b_l)$ strategy is confirmed to be optimal. Results are illustrated.


title: Charge density wave instability and pressure-induced superconductivity in bulk 1T-NbS2

abstract: Charge-density-wave (CDW) instability and pressure-induced superconductivity in bulk 1T-NbS2 are predicted theoretically by first-principles calculations. We reveal a CDW instability towards the formation of a stable commensurate CDW order, resulting in a sqart(13)*sqart(13) structural reconstruction featured with star-of-David clusters. The CDW phase exhibits one-dimensional metallic behavior with in-plane flat-band characteristics, and coexists with an orbital-density-wave order predominantly contributed by 4d_(z^2-r^2 ) orbital from the inner Nb atoms of the star-of-David cluster. By doubling the cell of the CCDW phase along the layer stacking direction, a metal-insulator transition may be realized in the CDW phase in case the interlayer antiferromagnetic ordering and Coulomb correlation effect have been considered simultaneously. Bare electron susceptibility, phonon linewidth and electron-phonon coupling calculations suggest that the CDW instability is driven by softened phonon modes due to the strong electron-phonon coupling interactions. CDW order can be suppressed by pressure, concomitant with appearance of superconductivity. Our theoretical predictions call for experimental investigations to further clarify the transport and magnetic properties of 1T-NbS2. Furthermore, it would also be very interesting to explore the possibility to realize the CDW order coexisting with the superconductivity in bulk 1T-NbS2.


title: Abstracting Fairness: Oracles, Metrics, and Interpretability

abstract: It is well understood that classification algorithms, for example, for deciding on loan applications, cannot be evaluated for fairness without taking context into account. We examine what can be learned from a fairness oracle equipped with an underlying understanding of ``true'' fairness. The oracle takes as input a (context, classifier) pair satisfying an arbitrary fairness definition, and accepts or rejects the pair according to whether the classifier satisfies the underlying fairness truth. Our principal conceptual result is an extraction procedure that learns the underlying truth; moreover, the procedure can learn an approximation to this truth given access to a weak form of the oracle. Since every ``truly fair'' classifier induces a coarse metric, in which those receiving the same decision are at distance zero from one another and those receiving different decisions are at distance one, this extraction process provides the basis for ensuring a rough form of metric fairness, also known as individual fairness. Our principal technical result is a higher fidelity extractor under a mild technical constraint on the weak oracle's conception of fairness. Our framework permits the scenario in which many classifiers, with differing outcomes, may all be considered fair. Our results have implications for interpretablity -- a highly desired but poorly defined property of classification systems that endeavors to permit a human arbiter to reject classifiers deemed to be ``unfair'' or illegitimately derived.


title: On the Human Control of a Multiple Quadcopters with a Cable-suspended Payload System

abstract: A quadcopter is an under-actuated system with only four control inputs for six degrees of freedom, and yet the human control of a quadcopter is simple enough to be learned with some practice. In this work, we consider the problem of human control of a multiple quadcopters system to transport a cable-suspended payload. The coupled dynamics of the system, due to the inherent physical constraints, is used to develop a leader-follower architecture where the leader quadcopter is controlled directly by a human operator and the followers are controlled with the proposed Payload Attitude Controller and Cable Attitude Controller. Experiments, where a human operator flew a two quadcopters system to transport a cable-suspended payload, were conducted to study the performance of proposed controller. The results demonstrated successful implementation of human control in these systems. This work presents the possibility of enabling manual control for on-the-go maneuvering of the quadcopter-payload system which motivates aerial transportation in the unknown environments.


title: Compensated Compactness Method on Non-isentropic Polytropic Gas Flow

abstract: In this paper, we are concerned with a model of polytropic gas flow, which consists the mass equation, the momentum equation and a varying entropy equation. First, a new technique, to set up a relation between the Riemann invariants of the isentropic system and the entropy variable $s$, coupled with the maximum principle, is introduced to obtain the a-priori $L^{\infty}$ estimates for the viscosity-flux approximation solutions. Second, the convergence framework from the compensated compactness theory on the system of isentropic gas dynamics is applied to prove the pointwise convergence of the approximation solutions and the global existence of bounded entropy solutions for the Cauchy problem of the system with bounded initial data. Finally, as a by-product, we obtain a non-classical bounded generalized solution $(\rho,u,s),$ of the original non-isentropic polytropic gas flow, which satisfies the mass equation and the momentum equation, the entropy equation with an extra nonnegative measure in the sense of distributions.


title: Global well-posedness and blow-up for the damped perturbation of Camassa-Holm type equations

abstract: In this paper, we prove global well-posedness of strong solutions to a class of perturbed Camassa-Holm type equations in Besov spaces. It is shown that the existence of global solutions depends only on the $L^1$-integrability of the time-dependent parameters, but not on the shape or smoothness conditions on initial data. As a by-product, we obtain a new global-in-time result for the weakly dissipative Camassa-Holm type equations in Besov spaces, which considerably improves the results in \cite{wu2009global,wuyin2008blow,guo2009some}. Moreover, we derive two kinds of precise blow-up criteria for a certain perturbed Camassa-Holm type equations in Sobolev space, which in some sense tell us how the time-dependent parameters affect the singularity formation of strong solutions.


title: Notes on the module of Euler systems

abstract: In this paper, we study the module of Euler systems. We determine the ideal of an Iwasawa algebra associated with Euler systems of rank $0$. We also show that the module of higher rank Euler systems for $\mathbb{G}_{m}$ over a totally real field is free of rank $1$ under the assumptions that Greenberg conjecture holds true and that the $\mu$-invariant of a certain Iwasawa module vanishes.


title: Glueing spaces without identifying points

abstract: In this paper we develop the theory of Artin-Wraith glueings for topological spaces. As an application, we show that some categories of compactifications of coarse spaces that agree with the coarse structures are invariant under coarse equivalences. As a consequence, if X and Y are some well behaved metric spaces that are coarse equivalent, then they have the same space of ends (generalizing the well known fact that works on quasi-isometric proper geodesic metric spaces). As another application, we show that for every compact metrizable space $Y$, there exists only one, up to homeomorphisms, compactification of the Cantor set minus one point such that the remainder is homeomorphic to $Y$.


title: Cooperative Double-IRS Aided Communication: Beamforming Design and Power Scaling

abstract: Intelligent reflecting surface (IRS) is a promising technology to support high performance wireless communication. By adaptively configuring the reflection amplitude and/or phase of each passive reflecting element on it, the IRS can reshape the electromagnetic environment in favour of signal transmission. This letter advances the existing research by proposing and analyzing a double-IRS aided wireless communication system. Under the reasonable assumption that the reflection channel from IRS 1 to IRS 2 is of rank 1 (e.g., line-of-sight channel), we propose a joint passive beamforming design for the two IRSs. Based on this, we show that deploying two cooperative IRSs with in total K elements can yield a power gain of order O(K^4), which greatly outperforms the case of deploying one traditional IRS with a power gain of order O(K^2). Our simulation results validate that the performance of deploying two cooperative IRSs is significantly better than that of deploying one IRS given a sufficient total number of IRS elements. We also extend our line-of-sight channel model to show how different channel models affect the performance of the double-IRS aided wireless communication system.


title: Non-local Chemical Potential Modulation in Topological Insulators Via Electric Field Driven Trapped Charge Migration

abstract: Topological insulators (TIs) host unusual surface states with Dirac dispersion and helical spin texture and hold high potentials for novel applications in spintronics and quantum computing. Control of the chemical potential in these materials is challenging but crucial to realizing the hotly pursued exotic physics, including efficient spin generation1,2, Majorana Fermions3-5, and exciton condensation6,7. Here we report a simple and effective method that can in-situ tune the chemical potential of single-crystal Bi2-xSbxSe3 nanoribbons, with a magnitude significantly larger than traditional electrostatic gating. An electric field parallel to a device channel can shift the chemical potential across the Dirac point, both inside and outside the channel. We attribute this non-local reversible modulation of chemical potential to electric-field-induced charge hopping among defect states, further supported by photocurrent mapping. Our approach enables engineering chemical potential distributions in TIs and opens up tremendous opportunities for investigating fundamental transport mechanisms of charge and composite particles in these materials.


title: Bounds Related to The Edge-List Chromatic and Total Chromatic Numbers of a Simple Graph

abstract: We show that for a simple graph $G$, $c'(G)\leq\Delta(G)+2$ where $c'(G)$ is the choice index (or edge-list chromatic number) of $G$, and $\Delta(G)$ is the maximum degree of $G$. As a simple corollary of this result, we show that the total chromatic number $\chi_T(G)$ of a simple graph satisfies the inequality $\chi_T(G)\leq\ \Delta(G)+4$ and the total choice number $c_T(G)$ also satisfies this inequality. We also relate these bounds to the Hall index and the Hall condition index of a simple graph, and to the total Hall number and the total Hall condition number of a simple graph.


title: Pixel Consensus Voting for Panoptic Segmentation

abstract: The core of our approach, Pixel Consensus Voting, is a framework for instance segmentation based on the Generalized Hough transform. Pixels cast discretized, probabilistic votes for the likely regions that contain instance centroids. At the detected peaks that emerge in the voting heatmap, backprojection is applied to collect pixels and produce instance masks. Unlike a sliding window detector that densely enumerates object proposals, our method detects instances as a result of the consensus among pixel-wise votes. We implement vote aggregation and backprojection using native operators of a convolutional neural network. The discretization of centroid voting reduces the training of instance segmentation to pixel labeling, analogous and complementary to FCN-style semantic segmentation, leading to an efficient and unified architecture that jointly models things and stuff. We demonstrate the effectiveness of our pipeline on COCO and Cityscapes Panoptic Segmentation and obtain competitive results. Code will be open-sourced.


title: Stochastic fixed point equation and local dependence measure

abstract: We study solutions to the stochastic fixed point equation $X\stackrel{d}{=}AX+B$ where the coefficients $A$ and $B$ are nonnegative random variables. We introduce the ``local dependence measure'' (LDM) and its Legendre-type transform to analyze the left tail behavior of the distribution of $X$. We discuss the relationship of LDM with earlier results on the stochastic fixed point equation and we apply LDM to prove a theorem on a Fleming-Viot-type process.


title: Nanosized Monoatomic Palladium Metallic Glass

abstract: Physically vitrifying single-element metallic glass requires ultrahigh cooling rates, which are still unachievable for most of the closest-packed metals. Here, we report a facile synthetic strategy for creating mono-atomic palladium metallic glass nanoparticles with a purity of 99.35 +/- 0.23 at% from palladium-silicon liquid droplets using a cooling rate below 1000 K/s. In-situ environmental transmission electron microscopy directly detected the leaching of silicon. Further hydrogen absorption experiment showed that this palladium metallic glass expanded little upon hydrogen uptake, exhibiting a great potential application for hydrogen separation. Our results provide insight into the formation of mono-atomic metallic glass at nanoscale.


title: Degenerate behavior in nonlinear vacuum electrodynamics

abstract: We study nonlinear vacuum electrodynamics in the first-order formulation proposed by Pleba\'nski. We analyze in detail the equations of motion, and identify conditions for which a singularity can occur for the time derivative of one of the field components. The resulting degenerate behavior can give rise to a shock wave with a reduction of the local number of degrees of freedom. We use an example model to illustrate the occurrence of superluminal propagation for field values approaching the singularity.


title: Pre-training for Abstractive Document Summarization by Reinstating Source Text

abstract: Abstractive document summarization is usually modeled as a sequence-to-sequence (Seq2Seq) learning problem. Unfortunately, training large Seq2Seq based summarization models on limited supervised summarization data is challenging. This paper presents three pre-training objectives which allow us to pre-train a Seq2Seq based abstractive summarization model on unlabeled text. The main idea is that, given an input text artificially constructed from a document, a model is pre-trained to reinstate the original document. These objectives include sentence reordering, next sentence generation, and masked document generation, which have close relations with the abstractive document summarization task. Experiments on two benchmark summarization datasets (i.e., CNN/DailyMail and New York Times) show that all three objectives can improve performance upon baselines. Compared to models pre-trained on large-scale data (more than 160GB), our method, with only 19GB text for pre-training, achieves comparable results, which demonstrates its effectiveness.


title: Improved crystallographic compatibility and magnetocaloric reversibility in Pt substituted Ni2Mn1.4In0.6 magnetic shape memory Heusler alloy

abstract: We present here the improved crystallographic/geometric compatibility and magnetocaloric reversibility by measurement of magnetic entropy change using different protocols in 10% Pt substituted Ni2Mn1.4In0.6 magnetic shape memory alloy. The substitution of Pt reduces the thermal hysteresis about 50% to the Ni2Mn1.4In0.6. The origin of the reduced thermal hysteresis is investigated by the crystallographic compatibility of the austenite and martensite phases. The calculated middle eigenvalue of the transformation matrix turned out to be 0.9982, which is very close to 1 (deviation is only 0.18%) suggests for the crystallographic compatibility between the austenite and martensite phases in Ni1.9Pt0.1Mn1.4In0.6. A very small thermal hysteresis and crystallographic compatibility between two phases in this alloy system indicate a stress-free transition layer (i.e. perfect habit plane) between the austenite and martensite phase, which is expected to give reversible martensite phase transition and therefore reversible magnetocaloric effect (MCE) as well. The calculated value of the isothermal entropy change ({\Delta}Siso) using the magnetization curve under three different measurement protocols (i.e. isothermal, loop, and isofield measurement protocol) is found to be nearly same indicating a reversible MCE in the present alloy system. Our work provides a path to design new magnetic shape memory Heusler alloys for magnetic refrigeration and also suggest that any of the above measurement protocol can be used for the calculation of {\Delta}Siso for materials satisfying geometrical compatibility condition.


title: Attacking with bitcoin: Using Bitcoin to Build Resilient Botnet Armies

abstract: We focus on the problem of botnet orchestration and discuss how attackers can leverage decentralised technologies to dynamically control botnets with the goal of having botnets that are resilient against hostile takeovers. We cover critical elements of the Bitcoin blockchain and its usage for `floating command and control servers'. We further discuss how blockchain-based botnets can be built and include a detailed discussion of our implementation. We also showcase how specific Bitcoin APIs can be used in order to write extraneous data to the blockchain. Finally, while in this paper, we use Bitcoin to build our resilient botnet proof of concept, the threat is not limited to Bitcoin blockchain and can be generalized.


title: Beyond the Limits of Conventional Stark Deceleration

abstract: Stark deceleration enables the production of cold and dense molecular beams with applications in trapping, collisional studies, and precision measurement. Improving the efficiency of Stark deceleration, and hence the achievable molecular densities, is central to unlock the full potential of such studies. One of the chief limitations arises from the transverse focusing properties of Stark decelerators. We introduce a new operation strategy that circumvents this limit without any hardware modifications, and experimentally verify our results for hydroxyl radicals. Notably, improved focusing results in significant gains in molecule yield with increased operating voltage, formerly limited by transverse-longitudinal coupling. At final velocities sufficiently small for trapping, molecule flux improves by a factor of four, and potentially more with increased voltage. The improvement is more significant for less readily polarized species, thereby expanding the class of candidate molecules for Stark deceleration.


title: Weighted Fisher Discriminant Analysis in the Input and Feature Spaces

abstract: Fisher Discriminant Analysis (FDA) is a subspace learning method which minimizes and maximizes the intra- and inter-class scatters of data, respectively. Although, in FDA, all the pairs of classes are treated the same way, some classes are closer than the others. Weighted FDA assigns weights to the pairs of classes to address this shortcoming of FDA. In this paper, we propose a cosine-weighted FDA as well as an automatically weighted FDA in which weights are found automatically. We also propose a weighted FDA in the feature space to establish a weighted kernel FDA for both existing and newly proposed weights. Our experiments on the ORL face recognition dataset show the effectiveness of the proposed weighting schemes.


title: Tractable Compositions of Discrete-Time Control Barrier Functions with Application to Lane Keeping and Obstacle Avoidance

abstract: This paper introduces control barrier functions for discrete-time systems, which can be shown to be necessary and sufficient for controlled invariance of a given set. Moreover, we propose nonlinear discrete-time control barrier functions for partially control affine systems that lead to controlled invariance conditions that are affine in the control input, leading to a tractable formulation that enables us to handle the safety optimal control problem for a broader range of applications with more complicated safety conditions than existing approaches. In addition, we develop mixed-integer formulations for basic and secondary Boolean compositions of multiple control barrier functions and further provide mixed-integer constraints for piecewise control barrier functions. Finally, we apply these discrete-time control barrier function tools to automotive safety problems of lane keeping and obstacle avoidance, which are shown to be effective in simulation.


title: Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

abstract: Runtime monitoring is one of the central tasks in the area of operational decision support for business process management. In particular, it helps process executors to check on-the-fly whether a running process instance satisfies business constraints of interest, providing an immediate feedback when deviations occur. We study runtime monitoring of properties expressed in LTL on finite traces (LTLf), and in its extension LDLf. LDLf is a powerful logic that captures all monadic second order logic on finite traces, and that is obtained by combining regular expressions with LTLf, adopting the syntax of propositional dynamic logic (PDL). Interestingly, in spite of its greater expressivity, \LDLf has exactly the same computational complexity of LTLf. We show that LDLf is able to declaratively express, in the logic itself, not only the constraints to be monitored, but also the de-facto standard RV-LTL monitors. On the one hand, this enables us to directly employ the standard characterization of LDLf based on finite-state automata to monitor constraints in a fine-grained way. On the other hand, it provides the basis for declaratively expressing sophisticated metaconstraints that predicate on the monitoring state of other constraints, and to check them by relying on standard logical services instead of ad-hoc algorithms. In addition, we devise a direct translation of LDLf formulae into nondeterministic finite-state automata, avoiding to detour to Buchi automata or alternating automata. We then report on how this approach has been effectively implemented using Java to manipulate LDLf formulae and their corresponding monitors, and the well-known ProM process mining suite as underlying operational decision support infrastructure.


title: Deblurring by Realistic Blurring

abstract: Existing deep learning methods for image deblurring typically train models using pairs of sharp images and their blurred counterparts. However, synthetically blurring images do not necessarily model the genuine blurring process in real-world scenarios with sufficient accuracy. To address this problem, we propose a new method which combines two GAN models, i.e., a learning-to-Blur GAN (BGAN) and learning-to-DeBlur GAN (DBGAN), in order to learn a better model for image deblurring by primarily learning how to blur images. The first model, BGAN, learns how to blur sharp images with unpaired sharp and blurry image sets, and then guides the second model, DBGAN, to learn how to correctly deblur such images. In order to reduce the discrepancy between real blur and synthesized blur, a relativistic blur loss is leveraged. As an additional contribution, this paper also introduces a Real-World Blurred Image (RWBI) dataset including diverse blurry images. Our experiments show that the proposed method achieves consistently superior quantitative performance as well as higher perceptual quality on both the newly proposed dataset and the public GOPRO dataset.


title: Simultaneous Input and State Interval Observers for Nonlinear Systems with Rank-Deficient Direct Feedthrough

abstract: We address the problem of designing simultaneous input and state interval observers for Lipschitz continuous nonlinear systems with rank-deficient feedthrough, unknown inputs and bounded noise signals. Benefiting from the existence of nonlinear decomposition functions and affine abstractions, our proposed observer recursively computes the maximal and minimal elements of the estimate intervals that are proven to contain the true states and unknown inputs. Moreover, we provide necessary and sufficient conditions for the existence and sufficient conditions for the stability (i.e., uniform boundedness of the sequence of estimate interval widths) of the designed observer, and show that the input interval estimates are tight, given the state intervals and decomposition functions.


title: Identifying Radiological Findings Related to COVID-19 from Medical Literature

abstract: Coronavirus disease 2019 (COVID-19) has infected more than one million individuals all over the world and caused more than 55,000 deaths, as of April 3 in 2020. Radiological findings are important sources of information in guiding the diagnosis and treatment of COVID-19. However, the existing studies on how radiological findings are correlated with COVID-19 are conducted separately by different hospitals, which may be inconsistent or even conflicting due to population bias. To address this problem, we develop natural language processing methods to analyze a large collection of COVID-19 literature containing study reports from hospitals all over the world, reconcile these results, and draw unbiased and universally-sensible conclusions about the correlation between radiological findings and COVID-19. We apply our method to the CORD-19 dataset and successfully extract a set of radiological findings that are closely tied to COVID-19.


title: Sub-Riemannian Ricci curvature via generalized Gamma $z$ calculus

abstract: We derive sub-Riemannian Ricci curvature tensor for sub-Riemannian manifolds. We provide examples including the Heisenberg group, displacement group, and Martinet sub-Riemannian structure with arbitrary weighted volumes, in which we establish analytical bounds for sub-Riemannian curvature dimension bounds and log-Sobolev inequalities. {These bounds can be used to establish the entropy dissipation results for sub-Riemannian drift diffusion processes on a compact spatial domain, in term of $L_1$ distance.} Our derivation of Ricci curvature is based on generalized Gamma $z$ calculus and $z$--Bochner's formula, where $z$ stands for extra directions introduced into the sub-Riemannian degenerate structure.


title: Theoretical Insights into the Use of Structural Similarity Index In Generative Models and Inferential Autoencoders

abstract: Generative models and inferential autoencoders mostly make use of $\ell_2$ norm in their optimization objectives. In order to generate perceptually better images, this short paper theoretically discusses how to use Structural Similarity Index (SSIM) in generative models and inferential autoencoders. We first review SSIM, SSIM distance metrics, and SSIM kernel. We show that the SSIM kernel is a universal kernel and thus can be used in unconditional and conditional generated moment matching networks. Then, we explain how to use SSIM distance in variational and adversarial autoencoders and unconditional and conditional Generative Adversarial Networks (GANs). Finally, we propose to use SSIM distance rather than $\ell_2$ norm in least squares GAN.


title: Kernel Estimation of Spot Volatility with Microstructure Noise Using Pre-Averaging

abstract: We first revisit the problem of estimating the spot volatility of an It\^o semimartingale using a kernel estimator. We prove a Central Limit Theorem with optimal convergence rate for a general two-sided kernel. Next, we introduce a new pre-averaging/kernel estimator for spot volatility to handle the microstructure noise of ultra high-frequency observations. We prove a Central Limit Theorem for the estimation error with an optimal rate and study the optimal selection of the bandwidth and kernel functions. We show that the pre-averaging/kernel estimator's asymptotic variance is minimal for exponential kernels, hence, justifying the need of working with kernels of unbounded support as proposed in this work. We also develop a feasible implementation of the proposed estimators with optimal bandwidth. Monte Carlo experiments confirm the superior performance of the devised method.


title: FeCAM: A Universal Compact Digital and Analog Content Addressable Memory Using Ferroelectric

abstract: Ferroelectric field effect transistors (FeFETs) are being actively investigated with the potential for in-memory computing (IMC) over other non-volatile memories (NVMs). Content Addressable Memories (CAMs) are a form of IMC that performs parallel searches for matched entries over a memory array for a given input query. CAMs are widely used for data-centric applications that involve pattern matching and search functionality. To accommodate the ever expanding data, it is attractive to resort to analog CAM for memory density improvement. However, the digital CAM design nowadays based on standard CMOS or emerging nonvolatile memories (e.g., resistive storage devices) is already challenging due to area, power, and cost penalties. Thus, it can be extremely expensive to achieve analog CAM with those technologies due to added cell components. As such, we propose, for the first time, a universal compact FeFET based CAM design, FeCAM, with search and storage functionality enabled in digital and analog domain simultaneously. By exploiting the multi-level-cell (MLC) states of FeFET, FeCAM can store and search inputs in either digital or analog domain. We perform a device-circuit co-design of the proposed FeCAM and validate its functionality and performance using an experimentally calibrated FeFET model. Circuit level simulation results demonstrate that FeCAM can either store continuous matching ranges or encode 3-bit data in a single CAM cell. When compared with the existing digital CMOS based CAM approaches, FeCAM is found to improve both memory density by 22.4X and energy saving by 8.6/3.2X for analog/digital modes, respectively. In the CAM-related application, our evaluations show that FeCAM can achieve 60.5X/23.1X saving in area/search energy compared with conventional CMOS based CAMs.


title: Sub/super-stochastic matrix with applications to bipartite tracking control over signed networks

abstract: In this contribution, the properties of sub-stochastic matrix and super-stochastic matrix are applied to analyze the bipartite tracking issues of multi-agent systems (MASs) over signed networks, in which the edges with positive weight and negative weight are used to describe the cooperation and competition among the agents, respectively. For the sake of integrity of the study, the overall content is divided into two parts. In the first part, we examine the dynamics of bipartite tracking for first-order MASs, second-order MASs and general linear MASs in the presence of asynchronous interactions, respectively. Asynchronous interactions mean that each agent only interacts with its neighbors at the instants when it wants to update the state rather than keeping compulsory consistent with other agents. In the second part, we investigate the problems of bipartite tracing in different practical scenarios, such as time delays, switching topologies, random networks, lossy links, matrix disturbance, external noise disturbance, and a leader of unmeasurable velocity and acceleration. The bipartite tracking problems of MASs under these different scenario settings can be equivalently converted into the product convergence problems of infinite sub-stochastic matrices (ISubSM) or infinite super-stochastic matrices (ISupSM). With the help of nonnegative matrix theory together with some key results related to the compositions of directed edge sets, we establish systematic algebraic-graphical methods of dealing with the product convergence of ISubSM and ISupSM. Finally, the efficiency of the proposed methods is verified by computer simulations.


title: Necessity and Insufficiency of Scale Invariance for solving Cosmological Constant Problem

abstract: A scenario based on the scale invariance for explaining the vanishing cosmological constant (CC) is discussed. I begin with a notice on the miraculous fact of the CC problem that the vacuum energies totally vanish at each step of hierarchical and successive spontaneous symmetry breakings. I then argue that the classical scale invariance is a necessary condition for the calculability of the vacuum energy. Next, I discuss how sufficient the scale invariance is for solving the CC problem. First in the framework of classical field theory, the scale invariance is shown to give a natural mechanism for realizing the miracle of vanishing vacuum energies at every step of spontaneous symmetry breakings. Then adopting Englert-Truffin-Gastmans' prescription to maintain the scale invariance in quantum field theory, I point out that the quantum scale invariance alone is not yet sufficient to avoid the superfine tuning of coupling constants for realizing vanishingly small cosmological constant, whereas the hierarchy problem may be solved. Another symmetry or a mechanism is still necessary which protects the flat direction of the potential against the radiative corrections.


title: Learning with Semi-Definite Programming: new statistical bounds based on fixed point analysis and excess risk curvature

abstract: Many statistical learning problems have recently been shown to be amenable to Semi-Definite Programming (SDP), with community detection and clustering in Gaussian mixture models as the most striking instances [javanmard et al., 2016]. Given the growing range of applications of SDP-based techniques to machine learning problems, and the rapid progress in the design of efficient algorithms for solving SDPs, an intriguing question is to understand how the recent advances from empirical process theory can be put to work in order to provide a precise statistical analysis of SDP estimators. In the present paper, we borrow cutting edge techniques and concepts from the learning theory literature, such as fixed point equations and excess risk curvature arguments, which yield general estimation and prediction results for a wide class of SDP estimators. From this perspective, we revisit some classical results in community detection from [gu\'edon et al.,2016] and [chen et al., 2016], and we obtain statistical guarantees for SDP estimators used in signed clustering, group synchronization and MAXCUT.


title: The hazard from fragmenting comets

abstract: Comet disintegration proceeds both through sublimation and discrete splitting events. The cross-sectional area of material ejected by a comet may, within days, become many times greater than that of the Earth, making encounters with such debris much more likely than collisions with the nucleus itself. The hierarchic fragmentation and sublimation of a large comet in a short period orbit may yield many hundreds of such short-lived clusters. We model this evolution with a view to assessing the probability of an encounter which might have significant terrestrial effects, through atmospheric dusting or multiple impacts. Such an encounter may have contributed to the large animal extinctions and sudden climatic cooling of 12,900 years ago, and the near-simultaneous collapse of civilisations around 2350 BC.


title: Good Basic Invariants and Frobenius Structures

abstract: In this paper, we define a set of good basic invariants for a finite complex reflection group under certain conditions. We show that a set of good basic invariants for a finite real reflection group gives a set of the flat invariants obtained by Saito and the Taylor coefficients of these good basic invariants give the structure constants of the multiplication of the Frobenius structure obtained by Dubrovin.


title: Low-complexity and Reliable Transforms for Physical Unclonable Functions

abstract: Noisy measurements of a physical unclonable function (PUF) are used to store secret keys with reliability, security, privacy, and complexity constraints. A new set of low-complexity and orthogonal transforms with no multiplication is proposed to obtain bit-error probability results significantly better than all methods previously proposed for key binding with PUFs. The uniqueness and security performance of a transform selected from the proposed set is shown to be close to optimal. An error-correction code with a low-complexity decoder and a high code rate is shown to provide a block-error probability significantly smaller than provided by previously proposed codes with the same or smaller code rates.


title: Unified Performance Analysis of Hybrid FSO/RF System with Diversity Combining

abstract: Hybrid free space optical (FSO)/radio frequency (RF) systems have been proved to be reliable links for high-data-rate wireless backhauls. In this paper, we present a unified performance analysis of the hybrid FSO/RF transmission system which transmits the identical data in both links and implements two popular diversity combining schemes, namely, selection combining (SC) and maximal ratio combining (MRC), in the receiver. Specially, for the FSO link, the Gamma-Gamma turbulence with pointing errors under heterodyne detection (HD) and intensity modulation/direction detection (IM/DD) is considered in our analysis while the general \k{appa}-{\mu} shadowed fading which unifies popular RF fading models is employed for the analysis of the RF link. As a result, unified closed-form expressions of outage probabilities and average bit error rates for different modulation schemes are derived. Analytical and Monte Carlo simulation results are provided to characterize the performance of the hybrid FSO/RF link which is compared to the single FSO link and the single RF link. The agreement between the analytical and simulation results confirms the unification of various FSO channels and RF fading scenarios into a single closed-form expression.


title: Analysis of Diffusion Based Molecular Communication with Multiple Transmitters having Individual Random Information Bits

abstract: In this paper, we present an analytical framework to derive the performance of a molecular communication system where a transmitter bio-nano-machine (TBN) is communicating with a fully-absorbing spherical receiver bio-nano-machine (RBN) in a diffusive propagation medium in the presence of other TBNs. We assume that transmit bits at each TBN is random and different than transmit bits at other TBNs. We model the TBNs using a marked Poisson point process (PPP) with their locations as points of PPP and transmit symbols as marks. We consider both inter-symbol interference (ISI) and co-channel interference (CCI). ISI is caused by molecules transmitted in the previous slots while CCI is due to the molecules emitted from other TBNs. We derive the bit error probability of this system by averaging over the distribution of the transmit bits as opposed to the past approaches consisting of conditioning on previous transmit bits and/or assuming the transmit bits of every TBN are the same. Using numerical results, we validate our analysis and provide various design insights about the system, for example, the impact of detection threshold on the system performance. We also show the importance of accurately incorporating the randomness of transmit bits in the analysis.


title: A Bayesian approach for initialization of weights in backpropagation neural net with application to character recognition

abstract: Convergence rate of training algorithms for neural networks is heavily affected by initialization of weights. In this paper, an original algorithm for initialization of weights in backpropagation neural net is presented with application to character recognition. The initialization method is mainly based on a customization of the Kalman filter, translating it into Bayesian statistics terms. A metrological approach is used in this context considering weights as measurements modeled by mutually dependent normal random variables. The algorithm performance is demonstrated by reporting and discussing results of simulation trials. Results are compared with random weights initialization and other methods. The proposed method shows an improved convergence rate for the backpropagation training algorithm.


title: Modeling and Analysis of Networked Discrete Event Systems with Multiple Control Channels

abstract: In this paper, we propose a novel framework for modeling and analysis of networked discrete-event systems (DES). We assume that the plant is controlled by a feedback supervisor whose control decisions are subject to communication delays and losses. Furthermore, we consider a general setting where the supervisor sends control decisions to different actuators via different communication channels whose dynamics are independent. We provide a system theoretic approach by identifying the state-space of overall networked system and investigating the dynamic of the entire state-space. Our approach precisely specifies the roles of the supervisor, the communication channels and the actuators. Also, we compare the proposed networked DES model with the existing one and show that the proposed networked model captures physical situations of networked systems more precisely.


title: Homogeneous three-dimensional Riemannian spaces

abstract: The necessary and sufficient conditions for a three-dimensional Riemannian metric to admit a transitive group of isometries are obtained. These conditions are Intrinsic, Deductive, Explicit and ALgorithmic, and they offer an IDEAL labeling of these geometries. It is shown that the transitive action of the group naturally falls into an unfolding of some of the ten types in the Bianchi-Behr classification. Explicit conditions, depending on the Ricci tensor, are obtained that characterize all these types.


title: News-Driven Stock Prediction With Attention-Based Noisy Recurrent State Transition

abstract: We consider direct modeling of underlying stock value movement sequences over time in the news-driven stock movement prediction. A recurrent state transition model is constructed, which better captures a gradual process of stock movement continuously by modeling the correlation between past and future price movements. By separating the effects of news and noise, a noisy random factor is also explicitly fitted based on the recurrent states. Results show that the proposed model outperforms strong baselines. Thanks to the use of attention over news events, our model is also more explainable. To our knowledge, we are the first to explicitly model both events and noise over a fundamental stock value state for news-driven stock movement prediction.


title: Learning-based Symbolic Abstractions for Nonlinear Control Systems

abstract: Symbolic models or abstractions are known to be powerful tools for the control design of cyber-physical systems (CPSs) with logic specifications. In this paper, we investigate a novel learning-based approach to the construction of symbolic models for nonlinear control systems. In particular, the symbolic model is constructed based on learning the un-modeled part of the dynamics from training data based on state-space exploration, and the concept of an alternating simulation relation that represents behavioral relationships with respect to the original control system. Moreover, we aim at achieving safe exploration, meaning that the trajectory of the system is guaranteed to be in a safe region for all times while collecting the training data. In addition, we provide some techniques to reduce the computational load, in terms of memory and computation time, of constructing the symbolic models and the safety controller synthesis, so as to make our approach practical. Finally, a numerical simulation illustrates the effectiveness of the proposed approach.


title: Ratcheting in Nanofluids : Role of confining surface fluctuations

abstract: We consider the effect of surface undulations of nanochannels on the motion of particles in it. We report the mechanism of surface induced ratcheting transport of particles against fluid flow in nano channels. We show that, the typical number for the velocity of ratcheting particles could be of the order of 50 nm/sec. This is a considerably large effect which could be used for application in efficient filtration of particles smaller than the width of nanopores.


title: CG-BERT: Conditional Text Generation with BERT for Generalized Few-shot Intent Detection

abstract: In this paper, we formulate a more realistic and difficult problem setup for the intent detection task in natural language understanding, namely Generalized Few-Shot Intent Detection (GFSID). GFSID aims to discriminate a joint label space consisting of both existing intents which have enough labeled data and novel intents which only have a few examples for each class. To approach this problem, we propose a novel model, Conditional Text Generation with BERT (CG-BERT). CG-BERT effectively leverages a large pre-trained language model to generate text conditioned on the intent label. By modeling the utterance distribution with variational inference, CG-BERT can generate diverse utterances for the novel intents even with only a few utterances available. Experimental results show that CG-BERT achieves state-of-the-art performance on the GFSID task with 1-shot and 5-shot settings on two real-world datasets.


title: On a notion of stochastic zeroing barrier function

abstract: This note examines the safety verification of the solution of Ito stochastic differential equations using the notion of stochastic zeroing barrier function. The main tools in the proposed method include Ito calculus and the concept of stochastic invariant set.


title: Some considerations on crowd Congestion Level

abstract: The concept of (crowd) Congestion Level ($CL$) was introduced in Feliciani et al (Transportation Research, 2018) and presented at the PED 2018 conference by C. Feliciani. Following the PED presentation, along with appreciation for the novel contribution, a few interesting questions were raised, concerning the integral/differential nature of the definition of $CL$, and the possibility of defining a related pure number. In these short notes we are going, although with no attempt at rigour or formality, to present some considerations suggesting that the two problems are related, and providing a possible solution. Furthermore, using both theoretical arguments and analysis of simulated data in complex scenarios, we will try to shed further light on the meaning and applications of this concept. Finally, we analyse some results of an experiment performed with human participants in a ``crossing-flows'' scenario.


title: $L$--functions and sum--free sets

abstract: For set $A\subset {\mathbb {F}_p}^*$ define by ${\mathsf{sf}}(A)$ the size of the largest sum--free subset of $A.$ Alon and Kleitman showed that ${\mathsf{sf}} (A) \ge |A|/3+O(|A|/p).$ We prove that if ${\mathsf{sf}} (A)-|A|/3$ is small then the set $A$ must be uniformly distributed on cosets of each large multiplicative subgroup. Our argument relies on irregularity of distribution of multiplicative subgroups on certain intervals in ${\mathbb {F}_p}$.


title: Character sums estimates and an application to a problem of Balog

abstract: We prove new bounds for sums of multiplicative characters over sums of set with small doubling and applying this result we break the square--root barrier in a problem of Balog concerning products of differences in a field of prime order.


title: Real spectra in non-Hermitian topological insulators

abstract: Spectra of bulk or edges in topological insulators are often made complex by non-Hermiticity. Here, we show that symmetry protection enables entirely real spectra for both bulk and edges even in non-Hermitian topological insulators. In particular, we demonstrate entirely real spectra without non-Hermitian skin effects due to a combination of pseudo-Hermiticity and Kramers degeneracy. This protection relies on nonspatial fundamental symmetry and has stability against disorder. As an illustrative example, we investigate a non-Hermitian extension of the Bernevig-Hughes-Zhang model. The helical edge states exhibit oscillatory dynamics due to their nonorthogonality as a unique non-Hermitian feature.


title: Stability for Hawkes processes with inhibition

abstract: We consider a multivariate non-linear Hawkes process in a multi-class setup where particles are organised within two populations of possibly different sizes, such that one of the populations acts excitatory on the system while the other population acts inhibitory on the system. The goal of this note is to present a class of Hawkes Processes with stable dynamics without assumptions on the spectral radius of the associated weight function matrix. This illustrates how inhibition in a Hawkes system significantly affects the stability properties of the system.


title: FairMOT: On the Fairness of Detection and Re-Identification in Multiple Object Tracking

abstract: Multi-object tracking (MOT) is an important problem in computer vision which has a wide range of applications. Formulating MOT as multi-task learning of object detection and re-ID in a single network is appealing since it allows joint optimization of the two tasks and enjoys high computation efficiency. However, we find that the two tasks tend to compete with each other which need to be carefully addressed. In particular, previous works usually treat re-ID as a secondary task whose accuracy is heavily affected by the primary detection task. As a result, the network is biased to the primary detection task which is not fair to the re-ID task. To solve the problem, we present a simple yet effective approach termed as FairMOT based on the anchor-free object detection architecture CenterNet. Note that it is not a naive combination of CenterNet and re-ID. Instead, we present a bunch of detailed designs which are critical to achieve good tracking results by thorough empirical studies. The resulting approach achieves high accuracy for both detection and tracking. The approach outperforms the state-of-the-art methods by a large margin on several public datasets. The source code and pre-trained models are released at https://github.com/ifzhang/FairMOT.


title: Graded decompositions of fusion products in rank two

abstract: We determine the graded decompositions of fusion products of finite-dimensional irreducible representations for simple Lie algebras of rank two. Moreover, we give generators and relations for these representations and obtain as a consequence that the Schur positivity conjecture holds in this case. The graded Littlewood-Richardson coefficients in the decomposition are parametrized by lattice points in convex polytopes and an explicit hyperplane description is given in the various types.


title: The uniform Roe algebra of an inverse semigroup

abstract: Given a discrete and countable inverse semigroup $S$ one can study, in analogy to the group case, its geometric aspects. In particular, we can equip $S$ with a natural metric, given by the path metric in the disjoint union of its Sch\"{u}tzenberger graphs. This graph, which we denote by $\Lambda_S$, inherits much of the structure of $S$. In this article we compare the C*-algebra $\mathcal{R}_S$, generated by the left regular representation of $S$ on $\ell^2(S)$ and $\ell^\infty(S)$, with the uniform Roe algebra over the metric space, namely $C^*_u(\Lambda_S)$. This yields a chacterization of when $\mathcal{R}_S = C^*_u(\Lambda_S)$, which generalizes finite generation of $S$. We have termed this by finite labeability (FL), since it holds when the $\Lambda_S$ can be labeled in a finitary manner. The graph $\Lambda_S$, and the FL condition above, also allow to analyze large scale properties of $\Lambda_S$ and relate them with C*-properties of the uniform Roe algebra. In particular, we show that domain measurability of $S$ (a notion generalizing Day's definition of amenability of a semigroup, cf., [5]) is a quasi-isometric invariant of $\Lambda_S$. Moreover, we characterize property A of $\Lambda_S$ (or of its components) in terms of the nuclearity and exactness of the corresponding C*-algebras. We also treat the special classes of F-inverse and E-unitary inverse semigroups from this large scale point of view.