title: An Introduction to Pursuit-evasion Differential Games

abstract: Pursuit and evasion conflicts represent challenging problems with important applications in aerospace and robotics. In pursuit-evasion problems, synthesis of intelligent actions must consider the adversary's potential strategies. Differential game theory provides an adequate framework to analyze possible outcomes of the conflict without assuming particular behaviors by the opponent. This article presents an organized introduction of pursuit-evasion differential games with an overview of recent advances in the area. First, a summary of the seminal work is outlined, highlighting important contributions. Next, more recent results are described by employing a classification based on the number of players: one-pursuer-one-evader, N-pursuers-one-evader, one-pursuer-M-evaders, and N-pursuer-M-evader games. In each scenario, a brief summary of the literature is presented. Finally, two representative pursuit-evasion differential games are studied in detail: the two-cutters and fugitive ship differential game and the active target defense differential game. These problems provide two important applications and, more importantly, they give great insight into the realization of cooperation between friendly agents in order to form a team and defeat the adversary.


title: Decoherence as Detector of the Unruh Effect

abstract: We propose a new type of the Unruh-DeWitt detector which measures the decoherence of the reduced density matrix of the detector interacting with the massless quantum scalar field. We find that the decoherence decay rates are different in the inertial and accelerated reference frames. We show that the exponential phase decay can be observed for relatively low accelerations, that can significantly improve the conditions for measuring the Unruh effect.


title: PL${}_{1}$P -- Point-line Minimal Problems under Partial Visibility in Three Views

abstract: We present a complete classification of minimal problems for generic arrangements of points and lines in space observed partially by three calibrated perspective cameras when each line is incident to at most one point. This is a large class of interesting minimal problems that allows missing observations in images due to occlusions and missed detections. There is an infinite number of such minimal problems; however, we show that they can be reduced to 140616 equivalence classes by removing superfluous features and relabeling the cameras. We also introduce camera-minimal problems, which are practical for designing minimal solvers, and show how to pick a simplest camera-minimal problem for each minimal problem. This simplification results in 74575 equivalence classes. Only 76 of these were known; the rest are new. In order to identify problems that have potential for practical solving of image matching and 3D reconstruction, we present several smaller natural subfamilies of camera-minimal problems as well as compute solution counts for all camera-minimal problems which have less than 300 solutions for generic data.


title: Active Reward Learning for Co-Robotic Vision Based Exploration in Bandwidth Limited Environments

abstract: We present a novel POMDP problem formulation for a robot that must autonomously decide where to go to collect new and scientifically relevant images given a limited ability to communicate with its human operator. From this formulation we derive constraints and design principles for the observation model, reward model, and communication strategy of such a robot, exploring techniques to deal with the very high-dimensional observation space and scarcity of relevant training data. We introduce a novel active reward learning strategy based on making queries to help the robot minimize path "regret" online, and evaluate it for suitability in autonomous visual exploration through simulations. We demonstrate that, in some bandwidth-limited environments, this novel regret-based criterion enables the robotic explorer to collect up to 17% more reward per mission than the next-best criterion.


title: Groups of automorphisms of Riemann surfaces and maps of genus $p+1$ where $p$ is prime

abstract: We classify compact Riemann surfaces of genus $g$, where $g-1$ is a prime $p$, which have a group of automorphisms of order $\rho(g-1)$ for some integer $\rho\ge 1$, and determine isogeny decompositions of the corresponding Jacobian varieties. This extends results of Belolipetzky and the second author for $\rho>6$, and of the first and third authors for $\rho=3, 4, 5$ and $6$. As a corollary we classify the orientably regular hypermaps (including maps) of genus $p+1$, together with the non-orientable regular hypermaps of characteristic $-p$, with automorphism group of order divisible by the prime $p$; this extends results of Conder, \v Sir\'a\v n and Tucker for maps.


title: The 3.5 keV line from non-perturbative Standard Model dark matter balls

abstract: Our earlier put forward model of dark matter, consisting of cm-size pearls with ordinary matter inside under high pressure and with a mass of order $1.4 *10^8$ kg, is used to explain the mysterious 3.5 keV X-ray line from the galactic center and various galaxies and galaxy clusters. The pearls are bubbles of a new type of vacuum and thus surrounded by a surface tension providing the high pressure. We have two rather successful order of magnitude numerical results: 1) the X-ray energy of 3.5 keV comes out as the homolumo-gap or rather as the energy due to screening of electrons in the high pressure ordinary matter inside the pearls, and is well fitted. %predicted correctly to within a factor %{\bf tbc 2} %3; %$40 \%$; 2) Using the fitting of Cline and Frey for dark matter radiation arising from collisions or annihilations of dark matter particles we fit the overall intensity of the radiation in our pearl model. We find that a pearl of the minimal size required just by stability, as used in our previous work \cite{Tunguska}, is inconsistent with the observed frequency and intensity of the 3.5 keV line. However the predictions of our model are very sensitive to the radius of the pearls and an excellent fit to both experimental quantities is obtained for a pearl of radius of 2.8 cm.


title: Text classification with word embedding regularization and soft similarity measure

abstract: Since the seminal work of Mikolov et al., word embeddings have become the preferred word representations for many natural language processing tasks. Document similarity measures extracted from word embeddings, such as the soft cosine measure (SCM) and the Word Mover's Distance (WMD), were reported to achieve state-of-the-art performance on semantic text similarity and text classification. Despite the strong performance of the WMD on text classification and semantic text similarity, its super-cubic average time complexity is impractical. The SCM has quadratic worst-case time complexity, but its performance on text classification has never been compared with the WMD. Recently, two word embedding regularization techniques were shown to reduce storage and memory costs, and to improve training speed, document processing speed, and task performance on word analogy, word similarity, and semantic text similarity. However, the effect of these techniques on text classification has not yet been studied. In our work, we investigate the individual and joint effect of the two word embedding regularization techniques on the document processing speed and the task performance of the SCM and the WMD on text classification. For evaluation, we use the $k$NN classifier and six standard datasets: BBCSPORT, TWITTER, OHSUMED, REUTERS-21578, AMAZON, and 20NEWS. We show 39% average $k$NN test error reduction with regularized word embeddings compared to non-regularized word embeddings. We describe a practical procedure for deriving such regularized embeddings through Cholesky factorization. We also show that the SCM with regularized word embeddings significantly outperforms the WMD on text classification and is over 10,000 times faster.


title: Learning Video Object Segmentation from Unlabeled Videos

abstract: We propose a new method for video object segmentation (VOS) that addresses object pattern learning from unlabeled videos, unlike most existing methods which rely heavily on extensive annotated data. We introduce a unified unsupervised/weakly supervised learning framework, called MuG, that comprehensively captures intrinsic properties of VOS at multiple granularities. Our approach can help advance understanding of visual patterns in VOS and significantly reduce annotation burden. With a carefully-designed architecture and strong representation learning ability, our learned model can be applied to diverse VOS settings, including object-level zero-shot VOS, instance-level zero-shot VOS, and one-shot VOS. Experiments demonstrate promising performance in these settings, as well as the potential of MuG in leveraging unlabeled data to further improve the segmentation accuracy.


title: Perturbative path-integral of string field and the $A_{\infty }$ structure of the BV master equation

abstract: The perturbative path-integral gives a morphism of the (quantum) $A_{\infty }$ structure intrinsic to each quantum field theory, which we show explicitly on the basis of the homological perturbation. As is known, in the BV formalism, any effective action also solves the BV master equation, which implies that the path-integral can be understood as a morphism of the BV differential. Since each solution of the BV master equation is in one-to-one correspondence with a (quantum) $A_{\infty }$ structure, the path-integral preserves this intrinsic $A_{\infty }$ structure of quantum field theory, where $A_{\infty }$ reduces to $L_{\infty }$ whenever multiplications of space-time fields are graded commutative. We apply these ideas to string field theory and (re-)derive some quantities based on the perturbative path-integral, such as effective theories with finite $\alpha ^{\prime }$, reduction of gauge and unphysical degrees, $S$-matrix and gauge invariant observables.


title: Split cuts in the plane

abstract: We provide a polynomial time cutting plane algorithm based on split cuts to solve integer programs in the plane. We also prove that the split closure of a polyhedron in the plane has polynomial size.


title: Complexity of branch-and-bound and cutting planes in mixed-integer optimization

abstract: We investigate the theoretical complexity of branch-and-bound (BB) and cutting plane (CP) algorithms for mixed-integer optimization. In particular, we study the relative efficiency of BB and CP, when both are based on the same family of disjunctions. We extend a result of Dash to the nonlinear setting which shows that for convex 0/1 problems, CP does at least as well as BB, with variable disjunctions. We sharpen this by giving instances of the stable set problem where we can provably establish that CP does exponentially better than BB. We further show that if one moves away from 0/1 sets, this advantage of CP over BB disappears; there are examples where BB finishes in O(1) time, but CP takes infinitely long to prove optimality, and exponentially long to get to arbitrarily close to the optimal value (for variable disjunctions). We next show that if the dimension is considered a fixed constant, then the situation reverses and BB does at least as well as CP (up to a polynomial blow up), no matter which family of disjunctions is used. This is also complemented by examples where this gap is exponential (in the size of the input data).


title: Prediction of Bayesian Intervals for Tropical Storms

abstract: Building on recent research for prediction of hurricane trajectories using recurrent neural networks (RNNs), we have developed improved methods and generalized the approach to predict Bayesian intervals in addition to simple point estimates. Tropical storms are capable of causing severe damage, so accurately predicting their trajectories can bring significant benefits to cities and lives, especially as they grow more intense due to climate change effects. By implementing the Bayesian interval using dropout in an RNN, we improve the actionability of the predictions, for example by estimating the areas to evacuate in the landfall region. We used an RNN to predict the trajectory of the storms at 6-hour intervals. We used latitude, longitude, windspeed, and pressure features from a Statistical Hurricane Intensity Prediction Scheme (SHIPS) dataset of about 500 tropical storms in the Atlantic Ocean. Our results show how neural network dropout values affect predictions and intervals.


title: Fissile Locks

abstract: Classic test-and-test (TS) mutual exclusion locks are simple, and enjoy high performance and low latency of ownership transfer under light or no contention. However, they do not scale gracefully under high contention and do not provide any admission order guarantees. Such concerns led to the development of scalable queue-based locks, such as a recent Compact NUMA-aware (CNA) lock, a variant of another popular queue-based MCS lock. CNA scales well under load and provides certain admission guarantees, but has more complicated lock handover operations than TS and incurs higher latencies at low contention. We propose Fissile locks, which capture the most desirable properties of both TS and CNA. A Fissile lock consists of two underlying locks: a TS lock, which serves as a fast path, and a CNA lock, which serves as a slow path. The key feature of Fissile locks is the ability of threads on the fast path to bypass threads enqueued on the slow path, and acquire the lock with less overhead than CNA. Bypass is bounded (by a tunable parameter) to avoid starvation and ensure long-term fairness. The result is a highly scalable NUMA-aware lock with progress guarantees that performs like TS at low contention and like CNA at high contention.


title: Super-reflective Data: Speculative Imaginings of a World Where Data Works for People

abstract: It's the year 2020, and every space and place on- and off-line has been augmented with digital things that observe, record, transmit, and compute, for the purposes of recording endless data traces of what is happening in the world. Individually, these things (and the invisible services the power them) have reached considerable sophistication in their ability to analyse and dissect such observations, turning streams of audio and video into informative data fragments. Yet somehow, individuals as end-users of platforms and services have not seen the full potential of such data. In this speculative paper, we propose two hypothetical mini scenarios different from our current digital world. In the former, instead of hoarding it, data controllers turn captured data over to those who need it as quickly as possible, working together to combine, validate, and refine it for maximum usefulness. This simultaneously addresses the data fragmentation and privacy problem, by handing over long-term data governance to those that value it the most In the latter, we discuss ethical dilemmas using the long-term use of such rich data and its tendency to cause people to relentlessly optimise.


title: Chemo-mechanical characterization of hydrated Calcium-Hydrosilicates with coupled Raman and nanoindentation measurements

abstract: Celitement is a new type of cement that is based on hydraulic calcium-hydrosilicate (hCHS) that possesses a potential for minimizing the ratio C/S from above 3 in OPC down to 1, which significantly reduces the amount of CO$_2$ released during processing. The reaction kinetics of hCHS differs from that of classical clinker phases due to the presence of highly reactive silicate species, which involve silanol groups instead of pure calcium silicates and aluminates and aluminoferrites. In contrast to Portland cement, no calcium hydroxide is formed during hydration, which otherwise regulates the Ca concentration. Without the buffering role of Ca(OH)$_2$ the concentration of the dissolved species c(Ca$^{2+}$) and c(SiO$_4^{4-}$) and the corresponding pH must be controlled to ensure a reproducible reaction. Pure hCHS reacts isochemically with water, resulting in a C-S-H phase with the same chemical composition as a single hydration product, with a homogeneous distribution of the main elements Ca and Si throughout the sample. Here we study via nanoindentation the mechanical properties of two different types of hardened pastes made out of Celitement (C/S=1.28), with varying amounts of hCHS and variable water to cement ratio. We couple nanoindentation grids with Raman mappings to link the nanoscale mechanical properties to individual microstructural components, yielding in-depth insight into the mechanics of the mineralogical phases constituting the hardened cement paste. We show that we can identify in hardened Celitement paste both fresh C-S-H with varying density, and C-S-H from the raw material using their specific Raman spectra, while simultaneously measuring their mechanical properties. Albeit not suitable for phase identification, EDX measurements provide valuable information about the distribution of alkalis, thus further helping to understand the reaction pattern of hCHS.


title: Effect of magnons on the temperature dependence and anisotropy of spin-orbit torque

abstract: We investigate the influence of magnons on the temperature-dependence and the anisotropy of the spin-orbit torque (SOT). For this purpose we use 3rd order perturbation theory in the framework of the Keldysh formalism in order to derive suitable equations to compute the magnonic SOT. We find several contributions to the magnonic SOT, which depend differently on the spin-wave stiffness $\mathcal{A}$ and on the temperature $T$, with the dominating contribution scaling like $T^{2}/\mathcal{A}^{2}$. Based on this formalism we compute the magnonic SOT in the ferromagnetic Rashba model. For large Rashba parameters the magnonic SOT is strongly anisotropic and for small quasiparticle broadening it may become larger than the non-magnonic SOT.


title: Phase-based Variant Maximum Likelihood Positioning for Passive UHF-RFID Tags

abstract: Radio frequency identification (RFID) technology brings tremendous advancement in Internet-of-Things, especially in supply chain and smart inventory management. Phase-based passive ultra high frequency RFID tag localization has attracted great interest, due to its insensitivity to the propagation environment and tagged object properties compared with the signal strength based method. In this paper, a phase-based maximum-likelihood tag positioning estimation is proposed. To mitigate the phase uncertainty, the likelihood function is reconstructed through trigonometric transformation. Weights are constructed to reduce the impact of unexpected interference and to augment the positioning performance. The experiment results show that the proposed algorithms realize fine-grained tag localization, which achieve centimeter-level lateral accuracy, and less than 15-centimeters vertical accuracy along the altitude of the racks.


title: Graphon Signal Processing

abstract: Graphons are infinite-dimensional objects that represent the limit of convergent sequences of graphs as their number of nodes goes to infinity. This paper derives a theory of graphon signal processing centered on the notions of graphon Fourier transform and linear shift invariant graphon filters, the graphon counterparts of the graph Fourier transform and graph filters. It is shown that for convergent sequences of graphs and associated graph signals: (i) the graph Fourier transform converges to the graphon Fourier transform when the graphon signal is bandlimited; (ii) the spectral and vertex responses of graph filters converge to the spectral and vertex responses of graphon filters with the same coefficients. These theorems imply that for graphs that belong to certain families, i.e., that are part of sequences that converge to a certain graphon, graph Fourier analysis and graph filter design have well defined limits. In turn, these facts extend applicability of graph signal processing to graphs with large number of nodes -- since signal processing pipelines designed for limit graphons can be applied to finite graphs -- and to dynamic graphs -- since we can relate the result of SP pipelines designed for different graphs from the same convergent graph sequence.


title: Transformations of Hypergeometric Motives

abstract: We consider algebraic transformations of hypergeometric functions from a geometric point of view. Hypergeometric functions are shown to arise from the deRham realization of a hypergeometric motive. The $\ell$-adic realization of the motive gives rise to hypergeometric characters sums over finite fields. This helps to unify and explain some recent results about transformations of hypergeometric character sums.


title: Two-Symmetry Penning-Ioffe Trap for Antihydrogen Cooling and Spectroscopy

abstract: High-accuracy spectroscopic comparisons of trapped antihydrogen atoms ($\overline{\text{H}}$) and hydrogen atoms ($\text{H}$) promise to stringently test the fundamental CPT symmetry invariance of the standard model of particle physics. ATRAP's nested Penning-Ioffe trap was developed for such studies. The first of its unique features is that its magnetic Ioffe trap for $\overline{\text{H}}$ atoms can be switched between quadrupole and octupole symmetries. The second is that it allows laser and microwave access perpendicular to the central axis of the traps.


title: Generalized Energy Based Models

abstract: We introduce the Generalized Energy Based Model (GEBM) for generative modelling. These models combine two trained components: a base distribution (generally an implicit model), which can learn the support of data with low intrinsic dimension in a high dimensional space; and an energy function, to refine the probability mass on the learned support. Both the energy function and base jointly constitute the final model, unlike GANs, which retain only the base distribution (the "generator"). GEBMs are trained by alternating between learning the energy and the base. We show that both training stages are well-defined: the energy is learned by maximising a generalized likelihood, and the resulting energy-based loss provides informative gradients for learning the base. Samples from the posterior on the latent space of the trained model can be obtained via MCMC, thus finding regions in this space that produce better quality samples. Empirically, the GEBM samples on image-generation tasks are of much better quality than those from the learned generator alone, indicating that all else being equal, the GEBM will outperform a GAN of the same complexity. When using normalizing flows as base measures, GEBMs succeed on density modelling tasks, returning comparable performance to direct maximum likelihood of the same networks.


title: SuperMix: Supervising the Mixing Data Augmentation

abstract: This paper presents a supervised mixing augmentation method termed SuperMix, which exploits the salient regions within input images to construct mixed training samples. SuperMix is designed to obtain mixed images rich in visual features and complying with realistic image priors. To enhance the efficiency of the algorithm, we develop a variant of the Newton iterative method, $65\times$ faster than gradient descent on this problem. We validate the effectiveness of SuperMix through extensive evaluations and ablation studies on two tasks of object classification and knowledge distillation. On the classification task, SuperMix provides comparable performance to the advanced augmentation methods, such as AutoAugment and RandAugment. In particular, combining SuperMix with RandAugment achieves 78.2\% top-1 accuracy on ImageNet with ResNet50. On the distillation task, solely classifying images mixed using the teacher's knowledge achieves comparable performance to the state-of-the-art distillation methods. Furthermore, on average, incorporating mixed images into the distillation objective improves the performance by 3.4\% and 3.1\% on CIFAR-100 and ImageNet, respectively. {\it The code is available at https://github.com/alldbi/SuperMix}.


title: A Remark on Lazarsfeld's Approach to Castelnuovo-Mumford Regularity

abstract: We derive new bounds for the Castelnuovo-Mumford regularity of the ideal sheaf of a complex projective manifold of any dimension. They depend linearly on the coefficients of the Hilbert polynomial, and are optimal for rational scrolls, but most likely not for other varieties. Our proof is based on an observation of Lazarsfeld in his approach for surfaces and does not require the (full) projection step. We obtain a bound for each partial linear projection of the given variety, as long as a certain vanishing condition on the fibers of a general projection holds.


title: A Computational Model for the Capillary Flow between Parallel Plates

abstract: A computational fluid dynamics (CFD) model is developed to simulate the dynamics of meniscus formation and capillary flow between vertical parallel plates. The arbitrary Lagrangian-Eulerian (ALE) approach was employed to predict and reconstruct the exact shape of the meniscus. The model was used to simulate the rise of water and the evolution of the meniscus in vertical channels with various spacing values of 0.5 mm, 0.7 mm, and 1 mm. The validity of the model was established by comparing the steady-state capillary height and the meniscus profile with analytical solutions. The developed model presents a novel approach for simulation of capillary flow accounting for the detailed hydrodynamic phenomena that cannot be captured by analytical models.


title: Rapid AI Development Cycle for the Coronavirus (COVID-19) Pandemic: Initial Results for Automated Detection & Patient Monitoring using Deep Learning CT Image Analysis

abstract: Purpose: Develop AI-based automated CT image analysis tools for detection, quantification, and tracking of Coronavirus; demonstrate they can differentiate coronavirus patients from non-patients. Materials and Methods: Multiple international datasets, including from Chinese disease-infected areas were included. We present a system that utilizes robust 2D and 3D deep learning models, modifying and adapting existing AI models and combining them with clinical understanding. We conducted multiple retrospective experiments to analyze the performance of the system in the detection of suspected COVID-19 thoracic CT features and to evaluate evolution of the disease in each patient over time using a 3D volume review, generating a Corona score. The study includes a testing set of 157 international patients (China and U.S). Results: Classification results for Coronavirus vs Non-coronavirus cases per thoracic CT studies were 0.996 AUC (95%CI: 0.989-1.00) ; on datasets of Chinese control and infected patients. Possible working point: 98.2% sensitivity, 92.2% specificity. For time analysis of Coronavirus patients, the system output enables quantitative measurements for smaller opacities (volume, diameter) and visualization of the larger opacities in a slice-based heat map or a 3D volume display. Our suggested Corona score measures the progression of disease over time. Conclusion: This initial study, which is currently being expanded to a larger population, demonstrated that rapidly developed AI-based image analysis can achieve high accuracy in detection of Coronavirus as well as quantification and tracking of disease burden.


title: Extremal clustering under moderate long range dependence and moderately heavy tails

abstract: We study clustering of the extremes in a stationary sequence with subexponential tails in the maximum domain of attraction of the Gumbel We obtain functional limit theorems in the space of random sup-measures and in the space $D(0,\infty)$. The limits have the Gumbel distribution if the memory is only moderately long. However, as our results demonstrate rather strikingly, the "heuristic of a single big jump" could fail even in a moderately long range dependence setting. As the tails become lighter, the extremal behavior of a stationary process may depend on multiple large values of the driving noise.


title: Devil is Virtual: Reversing Virtual Inheritance in C++ Binaries

abstract: Complexities that arise from implementation of object-oriented concepts in C++ such as virtual dispatch and dynamic type casting have attracted the attention of attackers and defenders alike. Binary-level defenses are dependent on full and precise recovery of class inheritance tree of a given program. While current solutions focus on recovering single and multiple inheritances from the binary, they are oblivious to virtual inheritance. Conventional wisdom among binary-level defenses is that virtual inheritance is uncommon and/or support for single and multiple inheritances provides implicit support for virtual inheritance. In this paper, we show neither to be true. Specifically, (1) we present an efficient technique to detect virtual inheritance in C++ binaries and show through a study that virtual inheritance can be found in non-negligible number (more than 10\% on Linux and 12.5\% on Windows) of real-world C++ programs including Mysql and libstdc++. (2) we show that failure to handle virtual inheritance introduces both false positives and false negatives in the hierarchy tree. These false positves and negatives either introduce attack surface when the hierarchy recovered is used to enforce CFI policies, or make the hierarchy difficult to understand when it is needed for program understanding (e.g., during decompilation). (3) We present a solution to recover virtual inheritance from COTS binaries. We recover a maximum of 95\% and 95.5\% (GCC -O0) and a minimum of 77.5\% and 73.8\% (Clang -O2) of virtual and intermediate bases respectively in the virtual inheritance tree.


title: Dynamical instabilities in systems of multiple short-period planets are likely driven by secular chaos: a case study of Kepler-102

abstract: We investigated the dynamical stability of high-multiplicity Kepler and K2 planetary systems. Our numerical simulations find instabilities in $\sim20\%$ of the cases on a wide range of timescales (up to $5\times10^9$ orbits) and over an unexpectedly wide range of initial dynamical spacings. To identify the triggers of long-term instability in multi-planet systems, we investigated in detail the five-planet Kepler-102 system. Despite having several near-resonant period ratios, we find that mean motion resonances are unlikely to directly cause instability for plausible planet masses in this system. Instead, we find strong evidence that slow inward transfer of angular momentum deficit (AMD) via secular chaos excites the eccentricity of the innermost planet, Kepler-102 b, eventually leading to planet-planet collisions in $\sim80\%$ of Kepler-102 simulations. Kepler-102 b likely has a mass $>\sim0.1M_{\oplus}$, hence a bulk density exceeding about half Earth's, in order to avoid dynamical instability. To investigate the role of secular chaos in our wider set of simulations, we characterize each planetary system's AMD evolution with a "spectral fraction" calculated from the power spectrum of short integrations ($\sim5\times10^6$ orbits). We find that small spectral fractions ($\lesssim0.01$) are strongly associated with dynamical stability on long timescales ($5\times10^9$ orbits) and that the median time to instability decreases with increasing spectral fraction. Our results support the hypothesis that secular chaos is the driver of instabilities in many non-resonant multi-planet systems, and also demonstrate that the spectral analysis method is an efficient numerical tool to diagnose long term (in)stability of multi-planet systems from short simulations.


title: Semi-scalar equivalence of polynomial matrices

abstract: Polynomial $n\times n$ matrices $A(\lambda)$ and $B(\lambda)$ over a field $\mathbb F $ are called semi-scalar equivalent if there exist a nonsingular $n\times n$ matrix $P$ over the field $\mathbb F $ and an invertible $n\times n$ matrix $Q(\lambda)$ over the ring ${\mathbb F}[\lambda]$ such that $A(\lambda)=P B(\lambda)Q(\lambda).$ The semi-scalar equivalence of matrices over a field $ {\mathbb F} $ contain the problem of similarity between two families of matrices. Therefore, these equivalences of matrices can be considered a difficult problem in linear algebra. The aim of the present paper is to present the necessary and sufficient conditions of semi-scalar equivalence of nonsingular matrices $A(\lambda)$ and $ B(\lambda) $ over a field ${\mathbb F }$ of characteristic zero in terms of solutions of a homogenous system of linear equations. We also establish similarity of monic polynomial matrices $A(\lambda)$ and $B(\lambda)$ over a field.


title: Di-chromatic Interpolation of Magnetic Resonance Metabolic Imagery

abstract: Magnetic resonance imaging with hyperpolarized contrast agents can provide unprecedented \textit{in-vivo} measurements of metabolism, but yields images that are lower resolution than that achieved with proton anatomical imaging. In order to spatially localize the metabolic activity, the metabolic image must be interpolated to the size of the proton image. The most common methods for choosing the unknown values rely exclusively on values of the original un-interpolated image. In this work, we present an alternative method that uses the higher-resolution proton image to provide additional spatial structure. The interpolated image is the result of a convex optimization algorithm which is solved with the Fast Iterative Shrinkage Threshold Algorithm (FISTA). Results are shown with images of hyperpolarized pyruvate, lactate, and bicarbonate using data of the heart and brain from healthy human volunteers, a healthy porcine heart, and a human with prostate cancer.


title: Crop Knowledge Discovery Based on Agricultural Big Data Integration

abstract: Nowadays, the agricultural data can be generated through various sources, such as: Internet of Thing (IoT), sensors, satellites, weather stations, robots, farm equipment, agricultural laboratories, farmers, government agencies and agribusinesses. The analysis of this big data enables farmers, companies and agronomists to extract high business and scientific knowledge, improving their operational processes and product quality. However, before analysing this data, different data sources need to be normalised, homogenised and integrated into a unified data representation. In this paper, we propose an agricultural data integration method using a constellation schema which is designed to be flexible enough to incorporate other datasets and big data models. We also apply some methods to extract knowledge with the view to improve crop yield; these include finding suitable quantities of soil properties, herbicides and insecticides for both increasing crop yield and protecting the environment.


title: Controlling the dynamics of cloud cavitation bubbles through acoustic feedback

abstract: Cloud cavitation causes nontrivial energy concentration and acoustic shielding in liquid, and its control is a long-standing challenge due to complex dynamics of bubble clouds. We present a new framework to study closed-loop control of cavitation through acoustic feedback. While previous approaches used empirical thresholding, we employ model-based state estimation of coherent bubble dynamics based on theory and high-performance computing. Using a pulsed ultrasound setup, we demonstrate set-point control of the pulse repetition frequency (PRF) to modulate acoustic cavitation near a solid target over $O(100)$ s. We identify a quasi-equilibrium correlation between PRF and the bubble dynamics, and an optimal PRF to minimize acoustic shielding of the target. This framework can be readily scaled up by enhanced acoustic sensing and computational power.


title: Absence of equilibrium edge currents in theoretical models of topological insulators

abstract: The low energy sector of 2D and 3D topological insulators (TIs) exhibits propagating edge states, which has speculated the existence of equilibrium edge currents or edge spin currents. We demonstrate that if the low energy sector of TIs is regularized in a straightforward manner into a square or cubic lattice, then the current from the edge states is in fact canceled out exactly by that from the valence bands, rendering no edge current. This result serves as a warning that for any equilibrium property of topological insulators, the contribution from the valence bands should not be overlooked. In these regularized lattice model, there is a finite edge current only if the Dirac point of the edge states is shifted away from the chemical potential, for instance by doping, impurities, edge confining potential, surface band bending, or gate voltage. The edge current in small quantum dots as a function of the gate voltage is quantized, and the edge current can flow out of the gated region up to the decay length of the edge state.


title: Corner accuracy in direct ink writing with support material

abstract: 3D printing methods which enable control over the position and orientation of embedded particles have promising applications in cell patterning and composite scaffolds. Extrusion-based additive manufacturing techniques such as fused deposition modeling and direct ink writing can experience particle patterning defects at corners which could hinder cell survival at corners and create unintended property gradients. Here, we propose models which predict the behavior of deposited lines at corners for moderate viscosity inks which are impacted by both capillarity and viscous dissipation. Using direct ink writing with acoustophoresis and a Carbopol-based support gel, we write polygons out of dental resin-based composite inks containing a narrow distribution of microparticles at the center of the filament. A Laplace pressure differential between the inner and outer surfaces of the corner drives corner smoothing, wherein the inner radius of the corner increases. Double deposition, or printing on the same area twice, drives corner swelling, wherein excess ink is diverted to the outer edge of the corner. Fast turns at corners produce ringing, wherein vibrations in the stage manifest in oscillations in the print path. Swelling and ringing effects are apparent in the particle distributions at corners immediately after deposition, while smoothing effects are apparent after the printed structure has had time to relax. When the nozzle returns to write a neighboring line, it imposes shear stresses which mitigate inconsistencies in microstructure at corners by erasing defects which appeared during relaxation. Using a support bath instead of layer-by-layer support suppresses microstructural corner defects.


title: Commutator Method for Averaging Lemmas

abstract: We introduce a commutator method with multipliers to prove averaging lemmas, the regularizing effect for the velocity average of solutions for kinetic equations. This method requires only elementary techniques in Fourier analysis and shows a new range of assumptions that are sufficient for the velocity average to be in $L^2([0,T],H^{1/2}_x).$ This result not only shows an interesting connection between averaging lemmas and local smoothing property of dispersive equations, but also provide a direct proof for the regularizing effect for the measure-valued solutions of scalar conservation laws in space dimension one.


title: Auditing ML Models for Individual Bias and Unfairness

abstract: We consider the task of auditing ML models for individual bias/unfairness. We formalize the task in an optimization problem and develop a suite of inferential tools for the optimal value. Our tools permit us to obtain asymptotic confidence intervals and hypothesis tests that cover the target/control the Type I error rate exactly. To demonstrate the utility of our tools, we use them to reveal the gender and racial biases in Northpointe's COMPAS recidivism prediction instrument.


title: Stochastically perturbed bred vectors

abstract: The breeding method is a computationally cheap procedure to generate initial conditions for ensemble forecasting which project onto relevant synoptic growing modes. Ensembles of bred vectors, however, often lack diversity and align with the leading Lyapunov vector, which severely impacts their statistical reliability. In previous work we developed stochastically perturbed bred vectors (SPBVs) and random draw bred vectors (RDBVs) in the context of multi-scale systems. Here we explore when this method can be extended to systems without scale separation, and examine the performance of the stochastically modified bred vectors in the single scale Lorenz 96 model. In particular, we show that the performance of SPBVs crucially depends on the degree of localisation of the bred vectors. It is found that, contrary to the case of multi-scale systems, localisation is detrimental for applications of SPBVs in systems without scale-separation when initialised from assimilated data. In the case of weakly localised bred vectors, however, ensembles of SPBVs constitute a reliable ensemble with improved ensemble forecasting skills compared to classical bred vectors, while still preserving the low computational cost of the breeding method. RDBVs are shown to have superior forecast skill and form a reliable ensemble in weakly localised situations, but in situations when they are strongly localised they do not constitute a reliable ensemble and are over-dispersive.


title: Narrow bands, electrostatic interactions and band topology in graphene stacks

abstract: The occurrence of superconducting and insulating phases is well-established in twisted graphene bilayers, and they have also been reported in other arrangements of graphene layers. We investigate three such arrangements: untwisted AB bilayer graphene on an hBN substrate, two graphene bilayers twisted with respect to each other, and a single ABC stacked graphene trilayer on an hBN substrate. Narrow bands with different topology occur in all cases, producing a high density of states which enhances the role of interactions. We investigate the effect of the long range Coulomb interaction, treated within the self consistent Hartree-Fock approximation. We find that the on-site part of the Fock potential strongly modifies the band structure at charge neutrality. The Hartree part does not significantly modify the shape and width of the bands in the three cases considered here, in contrast to the effect that such a potential has in twisted bilayer graphene.


title: Extended virtual detector theory including quantum interferences

abstract: We extend our earlier "virtual detector" method [X. Wang, J. Tian, and J. H. Eberly, Phys. Rev. Lett. 110, 243001 (2013)], a hybrid quantum mechanical and classical trajectory method, to include phases in the classical trajectories. Effects of quantum interferences, lost in the earlier method, are restored. The obtained photoelectron momentum distributions agree well with the corresponding numerical solutions of the time-dependent Schr\"odinger equation.


title: Formation of single-moon systems around gas giants

abstract: Several mechanisms have been proposed to explain the formation process of satellite systems, and relatively large moons are thought to be born in circumplanetary disks. Making a single-moon system is known to be more difficult than multiple-moon or moonless systems. We aim to find a way to form a system with a single large moon, such as Titan around Saturn. We examine the orbital migration of moons, which change their direction and speed depending on the properties of circumplanetary disks. We modeled dissipating circumplanetary disks with taking the effect of temperature structures into account and calculated the orbital evolution of Titan-mass satellites in the final evolution stage of various circumplanetary disks. We also performed N-body simulations of systems that initially had multiple satellites to see whether single-moon systems remained at the end. The radial slope of the disk-temperature structure characterized by the dust opacity produces a patch of orbits in which the Titan-mass moons cease inward migration and even migrate outward in a certain range of the disk viscosity. The patch assists moons initially located in the outer orbits to remain in the disk, while those in the inner orbits fall onto the planet. We demonstrate for the first time that systems can form that have only one large moon around giant planet. Our N-body simulations suggest satellite formation was not efficient in the outer radii of circumplanetary disks.


title: Beam Designs for Millimeter-Wave Backhaul with Dual-Polarized Uniform Planar Arrays

abstract: This paper proposes hybrid beamforming designs for millimeter-wave (mmWave) multiple-input multiple-output (MIMO) backhaul systems equipped with uniform planar arrays (UPAs) of dual-polarization antennas at both the transmit and receive base stations. The proposed beamforming designs are to near-optimally solve optimization problems taking the dual-polarization UPA structure into account. Based on the solutions of optimization problems, this paper shows it is possible to generate the optimal dual-polarization beamformer from the optimal single-polarization beamformer sharing the same optimality. As specific examples, squared error and magnitude of inner product are considered respectively for optimization criteria. To optimize proposed beamformers, partial channel information is needed, and the use of low overhead pilot sequences is also proposed to figure out the required information. Simulation results verify that the resulting beamformers have the most uniform gain (with the squared error criterion) or the highest average gain (with the magnitude of inner product criterion) in the covering region with the UPA of dual-polarization antennas.


title: Probing chirality with inelastic electron-light scattering

abstract: Circular dichroism spectroscopy is an essential technique for understanding molecular structure and magnetic materials, but spatial resolution is limited by the wavelength of light, and sensitivity sufficient for single-molecule spectroscopy is challenging. We demonstrate that electrons can efficiently measure the interaction between circularly polarized light and chiral materials with deeply sub-wavelength resolution. By scanning a nanometer-sized focused electron beam across an optically-excited chiral nanostructure and measuring the electron energy spectrum at each probe position, we produce a high-spatial-resolution map of near-field dichroism. This technique offers a nanoscale view of a fundamental symmetry and could be employed as "photon staining" to increase biomolecular material contrast in electron microscopy.


title: An Ontology-based Context Model in Intelligent Environments

abstract: Computing becomes increasingly mobile and pervasive today; these changes imply that applications and services must be aware of and adapt to their changing contexts in highly dynamic environments. Today, building context-aware systems is a complex task due to lack of an appropriate infrastructure support in intelligent environments. A context-aware infrastructure requires an appropriate context model to represent, manipulate and access context information. In this paper, we propose a formal context model based on ontology using OWL to address issues including semantic context representation, context reasoning and knowledge sharing, context classification, context dependency and quality of context. The main benefit of this model is the ability to reason about various contexts. Based on our context model, we also present a Service-Oriented Context-Aware Middleware (SOCAM) architecture for building of context-aware services.


title: Multi-level Context Gating of Embedded Collective Knowledge for Medical Image Segmentation

abstract: Medical image segmentation has been very challenging due to the large variation of anatomy across different cases. Recent advances in deep learning frameworks have exhibited faster and more accurate performance in image segmentation. Among the existing networks, U-Net has been successfully applied on medical image segmentation. In this paper, we propose an extension of U-Net for medical image segmentation, in which we take full advantages of U-Net, Squeeze and Excitation (SE) block, bi-directional ConvLSTM (BConvLSTM), and the mechanism of dense convolutions. (I) We improve the segmentation performance by utilizing SE modules within the U-Net, with a minor effect on model complexity. These blocks adaptively recalibrate the channel-wise feature responses by utilizing a self-gating mechanism of the global information embedding of the feature maps. (II) To strengthen feature propagation and encourage feature reuse, we use densely connected convolutions in the last convolutional layer of the encoding path. (III) Instead of a simple concatenation in the skip connection of U-Net, we employ BConvLSTM in all levels of the network to combine the feature maps extracted from the corresponding encoding path and the previous decoding up-convolutional layer in a non-linear way. The proposed model is evaluated on six datasets DRIVE, ISIC 2017 and 2018, lung segmentation, $PH^2$, and cell nuclei segmentation, achieving state-of-the-art performance.


title: A mixed clustering coefficient centrality for identifying essential proteins

abstract: Essential protein plays a crucial role in the process of cell life. The identification of essential proteins can not only promote the development of drug target technology, but also contribute to the mechanism of biological evolution. There are plenty of scholars who pay attention to discovering essential proteins according to the topological structure of protein network and biological information. The accuracy of protein recognition still demands to be improved. In this paper, we propose a method which integrate the clustering coefficient in protein complexes and topological properties to determine the essentiality of proteins. First, we give the definition of In-clustering coefficient (IC) to describe the properties of protein complexes. Then we propose a new method, complex edge and node clustering coefficient (CENC) to identify essential proteins. Different Protein-Protein Interaction (PPI) networks of Saccharomyces cerevisiae, MIPS and DIP are used as experimental materials. Through some experiments of logistic regression model, the results show that the method of CENC can promote the ability of recognizing essential proteins, by comparing with the existing methods DC, BC, EC, SC, LAC, NC and the recent method UC.


title: Coded Caching in Multi-server System with Random Topology

abstract: Cache-aided content delivery is studied in a multi-server system with $P$ servers and $K$ users, each equipped with a local cache memory. In the delivery phase, each user connects randomly to any $\rho$ out of $P$ servers. Thanks to the availability of multiple servers, which model small-cell base stations (SBSs), demands can be satisfied with reduced storage capacity at each server and reduced delivery rate per server; however, this also leads to reduced multicasting opportunities compared to the single-server scenario. A joint storage and proactive caching scheme is proposed, which exploits coded storage across the servers, uncoded cache placement at the users, and coded delivery. The delivery \textit{latency} is studied for both \textit{successive} and \textit{parallel} transmissions from the servers. It is shown that, with successive transmissions the achievable average delivery latency is comparable to the one achieved in the single-server scenario, while the gap between the two depends on $\rho$, the available redundancy across the servers, and can be reduced by increasing the storage capacity at the SBSs. The optimality of the proposed scheme with uncoded cache placement and MDS-coded server storage is also proved for successive transmissions.


title: Decentralized Optimal Coordination of Connected and Automated Vehicles for Multiple Traffic Scenarios

abstract: Connected and automated vehicles (CAVs) provide the most intriguing opportunity to optimize energy consumption and travel time. Several approaches have been proposed in the literature that allow CAVs to coordinate in situations where there is a potential conflict, for example, in signalized intersections, merging at roadways and roundabouts, to reduce energy consumption and optimize traffic flow. In this paper, we consider the problem of coordinating CAVs in a corridor consisting of multiple traffic scenarios. We formulate a two-level optimization problem in which we maximize traffic throughput in the upper-level problem, and derive a closed-form analytical solution that yields the optimal control input for each CAV, in terms of fuel consumption, in the low-level problem. We validate the effectiveness of the solution through simulation under 100% CAVpenetration rate. Fuel consumption and travel time for the vehicles are significantly reduced compared to a baseline scenario consisting of human-driven vehicles.


title: Role of individual components of two-nucleon interaction in nuclear matrix elements of $2\nu\beta\beta$ and $0\nu\beta\beta$ of $^\textbf{48}$Ca: Beyond the closure approximation

abstract: In the present work, we examine the role of central (C), spin-orbit (SO) and tensor (T) components of two-nucleon interaction in the nuclear matrix elements (NMEs) of the two-neutrino double beta decay ($2\nu\beta\beta$) and the light neutrino-exchange mechanism of neutrinoless double beta decay ($0\nu\beta\beta$) of $^{48}$Ca in closure approximation and nonclosure approach. The NMEs are calculated in the nuclear shell-model framework using two-nucleon effective interaction GXPF1A used for $pf$ shell. The decomposition of the shell model two-nucleon interaction into its individual components is performed using the spin-tensor decomposition (STD). The NMEs for $2\nu\beta\beta$ are calculated in running nonclosure method. The NMEs for $0\nu\beta\beta$ are calculated with four different methods, namely, closure, running closure, running nonclosure, and mixed method. Results show that the magnitude of NMEs for $2\nu\beta\beta$ decreases about 7\% with the C+SO component of the interaction as compared to the C component. The magnitude of NMEs is further decreased about 9\% by adding T component to the C+SO component. The NMEs of $0\nu\beta\beta$ calculated in running nonclosure method are enhanced by about 8-10\%, 8-10\%, and 9-12\%, respectively, as compared to corresponding NMEs calculated in running closure method with C, C+SO components and total (C+SO+T) GXPF1A interaction for different SRC parametrization. For both $2\nu\beta\beta$ and $0\nu\beta\beta$, the NMEs calculated with C+SO component is in opposite phase with the NMEs calculated with C component and the total GXPF1A interaction.


title: Continuous solutions to Monge-Amp\`ere equations on Hermitian manifolds for measures dominated by capacity

abstract: We prove the existence of a continuous quasi-plurisubharmonic solution to the Monge-Amp\`ere equation on a compact Hermitian manifold for a very general measre on the right hand side. We admit measures dominated by capacity in a certain manner, in particular, moderate measures studied by Dinh-Nguyen-Sibony. As a consequence, we give a characterization of measures admitting H\"older continuous quasi-plurisubharmonic potential, inspired by the work of Dinh-Nguyen.


title: On the divergence representation of the Gauss curvature of Riemannian surfaces and its applications

abstract: In the paper we consider Riemannian surfaces admitting a global expression of the Gauss curvature as the divergence of a vector field. It is equivalent to the existence of a metric linear connection of zero curvature. Such a linear connection $\nabla$ plays an important role in the differential geometry of non-Riemannian surfaces in the sense that the Riemannian quadratic forms can be changed into Minkowski functionals in the tangent planes such that the Minkowskian length of the tangent vectors is invariant under the parallel translation with respect to $\nabla$ (compatibility condition). A smoothly varying family of Minkowski functionals in the tangent planes is called a Finslerian metric function under some regularity conditions. Especially, the existence of a compatible linear connection provides the Finsler surface to be a so-called generalized Berwald surface. It is an alternative of the Riemannian geometry for $\nabla$. Using some general observations and topological obstructions we concentrate on explicit examples. In some representative cases (Euclidean plane, hyperbolic plane etc.) we solve the differential equation of the parallel vector fields to construct a smoothly varying family of Minkowski functionals in the tangent planes such that the Minkowskian length of the tangent vectors is invariant under the parallel translation.


title: Context-aware Non-linear and Neural Attentive Knowledge-based Models for Grade Prediction

abstract: Grade prediction for future courses not yet taken by students is important as it can help them and their advisers during the process of course selection as well as for designing personalized degree plans and modifying them based on their performance. One of the successful approaches for accurately predicting a student's grades in future courses is Cumulative Knowledge-based Regression Models (CKRM). CKRM learns shallow linear models that predict a student's grades as the similarity between his/her knowledge state and the target course. However, prior courses taken by a student can have \black{different contributions when estimating a student's knowledge state and towards each target course, which} cannot be captured by linear models. Moreover, CKRM and other grade prediction methods ignore the effect of concurrently-taken courses on a student's performance in a target course. In this paper, we propose context-aware non-linear and neural attentive models that can potentially better estimate a student's knowledge state from his/her prior course information, as well as model the interactions between a target course and concurrent courses. Compared to the competing methods, our experiments on a large real-world dataset consisting of more than $1.5$M grades show the effectiveness of the proposed models in accurately predicting students' grades. Moreover, the attention weights learned by the neural attentive model can be helpful in better designing their degree plans.


title: New Self-Dual Codes of length 68 from a 2 by 2 block matrix Construction and Group Rings

abstract: Many generator matrices for constructing extremal binary self-dual codes of different lengths have the form G=(I|A), where I is the n by n identity matrix and A is the n by n matrix fully determined by the first row. In this work, we define a generator matrix in which A is a block matrix, where the blocks come from group rings and also, A is not fully determined by the elements appearing in the first row. By applying our construction over F_2+uF_2 and by employing the extension method for codes, we were able to construct new extremal binary self-dual codes of length 68. Additionally, by employing a generalised neighbour method to the codes obtained, we were able to construct many new binary self-dual [68,34,12]-codes with the rare parameters gamma=7,8 and 9 in W_{68,2}. In particular, we find 92 new binary self-dual [68,34,12]-codes.


title: Cloth in the Wind: A Case Study of Physical Measurement through Simulation

abstract: For many of the physical phenomena around us, we have developed sophisticated models explaining their behavior. Nevertheless, measuring physical properties from visual observations is challenging due to the high number of causally underlying physical parameters -- including material properties and external forces. In this paper, we propose to measure latent physical properties for cloth in the wind without ever having seen a real example before. Our solution is an iterative refinement procedure with simulation at its core. The algorithm gradually updates the physical model parameters by running a simulation of the observed phenomenon and comparing the current simulation to a real-world observation. The correspondence is measured using an embedding function that maps physically similar examples to nearby points. We consider a case study of cloth in the wind, with curling flags as our leading example -- a seemingly simple phenomena but physically highly involved. Based on the physics of cloth and its visual manifestation, we propose an instantiation of the embedding function. For this mapping, modeled as a deep network, we introduce a spectral layer that decomposes a video volume into its temporal spectral power and corresponding frequencies. Our experiments demonstrate that the proposed method compares favorably to prior work on the task of measuring cloth material properties and external wind force from a real-world video.


title: A Boundary Estimate for Singular Sub-Critical Parabolic Equations

abstract: We prove an estimate on the modulus of continuity at a boundary point of a cylindrical domain for local weak solutions to singular parabolic equations of $p$-laplacian type, with $p$ in the sub-critical range $(1,\frac{2N}{N+1}]$. The estimate is given in terms of a Wiener-type integral, defined by a proper elliptic $p$-capacity.


title: The Framework of Consensus Equilibria for Mining-Pool Games in Blockchain Ecosystems

abstract: The goal of this paper is to establish the general framework of consensus equilibria for Mining-Pool Games in Blockchain Ecosystems, and with the explanation for the stability of in terms of the existence of consensus equilibria related to mining gap game's behaviors by using one new concept called consensus games in Blockchain Ecosystems, here, the Blockchain ecosystem mainly means the economic activities by taking into the account of three types of different factors which are expenses, reward mechanism and mining power for the work on blockschain by applying the key consensus called Proof of Work due to Nakamoto in 2008. In order to do so, we first give an outline how the general existence of consensus equilibria for Mining Pool Games is formulated, and then used to explain the stable for Gap Games for Bitcoin in the sense by the existence of consensus equilibria under the framework of Blockchain consensus, we then establish a general existence result for consensus equilibria of general mining gap games by using the profit functions for miners as the payoffs in game theory. As applications, the general existence results for consensus equilibria of Gap games are established, which not only help us to claim the existence for the general stability for Gap games under the general framework of Blockchain ecosystems, but also allow us to illustrate a number of different phenomenon on the study of mining-pool games with possible impacts due to miners's gap behaviors with scenarios embedded n Bitcoin economics. Our study on the explanation for the stability of mining gap game for Blockchain ecosystems shows that the concept of consensus equilibria may play a important role for the development of fundamental theory for consensus economics.


title: Data Driven Online Learning of Power System Dynamics

abstract: With the advancement of sensing and communication in power networks, high-frequency real-time data from a power network can be used as a resource to develop better monitoring capabilities. In this work, a systematic approach based on data-driven operator theoretic methods involving Koopman operator is proposed for the online identification of power system dynamics. In particular, a new algorithm is provided, which unlike any previously existing algorithms, updates the Koopman operator iteratively as new data points are acquired. The proposed algorithm has three advantages: a) allows for real-time monitoring of the power system dynamics b) linear power system dynamics (this linear system is usually in a higher dimensional feature space and is not same as linearization of the underlying nonlinear dynamics) and c) computationally fast and less intensive when compared to the popular Extended Dynamic Mode Decomposition (EDMD) algorithm. The efficiency of the proposed algorithm is illustrated on an IEEE 9 bus system using synthetic data from the nonlinear model and on IEEE 39 bus system using synthetic data from the linearized model.


title: Timing of the accreting millisecond pulsar IGR J17591-2342: evidence of spin-down during accretion

abstract: We report on the phase-coherent timing analysis of the accreting millisecond X-ray pulsar IGR J17591-2342, using Neutron Star Interior Composition Explorer (NICER) data taken during the outburst of the source between 2018 August 15 and 2018 October 17. We obtain an updated orbital solution of the binary system. We investigate the evolution of the neutron star spin frequency during the outburst, reporting a refined estimate of the spin frequency and the first estimate of the spin frequency derivative ($\dot{\nu} \sim -7\times 10^{-14}$ Hz s$^{-1}$), confirmed independently from the modelling of the fundamental frequency and its first harmonic. We further investigate the evolution of the X-ray pulse phases adopting a physical model that accounts for the accretion material torque as well as the magnetic threading of the accretion disc in regions where the Keplerian velocity is slower than the magnetosphere velocity. From this analysis we estimate the neutron star magnetic field $B_{eq} = 2.8(3)\times10^{8}$ G. Finally, we investigate the pulse profile dependence on energy finding that the observed behaviour of the pulse fractional amplitude and lags as a function of energy are compatible with a thermal Comptonisation of the soft photons emitted from the neutron star caps.


title: Multi-Objective Variational Autoencoder: an Application for Smart Infrastructure Maintenance

abstract: Multi-way data analysis has become an essential tool for capturing underlying structures in higher-order data sets where standard two-way analysis techniques often fail to discover the hidden correlations between variables in multi-way data. We propose a multi-objective variational autoencoder (MVA) method for smart infrastructure damage detection and diagnosis in multi-way sensing data based on the reconstruction probability of autoencoder deep neural network (ADNN). Our method fuses data from multiple sensors in one ADNN at which informative features are being extracted and utilized for damage identification. It generates probabilistic anomaly scores to detect damage, asses its severity and further localize it via a new localization layer introduced in the ADNN. We evaluated our method on multi-way datasets in the area of structural health monitoring for damage diagnosis purposes. The data was collected from our deployed data acquisition system on a cable-stayed bridge in Western Sydney and from a laboratory based building structure obtained from Los Alamos National Laboratory (LANL). Experimental results show that the proposed method can accurately detect structural damage. It was also able to estimate the different levels of damage severity, and capture damage locations in an unsupervised aspect. Compared to the state-of-the-art approaches, our proposed method shows better performance in terms of damage detection and localization.


title: Designing False Data Injection attacks penetrating AC-based Bad Data Detection System and FDI Dataset generation

abstract: The evolution of the traditional power system towards the modern smart grid has posed many new cybersecurity challenges to this critical infrastructure. One of the most dangerous cybersecurity threats is the False Data Injection (FDI) attack, especially when it is capable of completely bypassing the widely deployed Bad Data Detector of State Estimation and interrupting the normal operation of the power system. Most of the simulated FDI attacks are designed using simplified linearized DC model while most industry standard State Estimation systems are based on the nonlinear AC model. In this paper, a comprehensive FDI attack scheme is presented based on the nonlinear AC model. A case study of the nine-bus Western System Coordinated Council (WSCC)'s power system is provided, using an industry standard package to assess the outcomes of the proposed design scheme. A public FDI dataset is generated as a test set for the community to develop and evaluate new detection algorithms, which are lacking in the field. The FDI's stealthy quality of the dataset is assessed and proven through a preliminary analysis based on both physical power law and statistical analysis.


title: Mitigation of Resonances in Sinuous Antennas

abstract: Sinuous antennas are capable of producing ultra-wideband radiation with polarization diversity. Such a capability makes the sinuous antenna an attractive candidate for wideband polarimetric radar applications. Additionally, the ability of the sinuous antenna to be implemented as a planar structure makes it a good fit for close in sensing applications such as ground penetrating radar. However, recent literature has shown the sinuous antenna to suffer from resonances which degrade performance. Such resonances produce late time ringing which is particularly troubling for pulsed close in sensing applications. The resonances occur in two forms: log-periodic resonances on the arms, and a resonance due to the outer truncation of the sinuous antenna geometry. A detailed investigation as to the correlation between the log-periodic resonances and the sinuous antenna design parameters indicates the resonances may be mitigated by selecting appropriate parameters. In addition, the resonance due to truncation may be mitigated by moving the circular truncation to the tip of the outermost cell which has advantages over the clipping method proposed in the literature.


title: Combinatorial statistics on restricted growth functions containing a pattern exactly $k$ times

abstract: In this undergraduate thesis, we expand on the study of statistics on restricted growth functions avoiding patterns initiated by Campbell, et. al. Restricted growth functions are of interest because they are in bijection with set partitions. We examine the case when a restricted growth function contains a pattern exactly $k$ times, where $k=0$ corresponds to pattern avoidance. We prove results for several statistic and pattern combinations in the case when $k=1$ and define a new type of Wilf equivalence for these patterns. We also examine a poset related to $M(n)$, the poset of integer partitions into distinct parts, and give a conjecture on the new poset's unimodality. We begin with a brief history of the field and end with a list of conjectures.


title: Extremal Khovanov homology and the girth of a knot

abstract: We utilize relations between Khovanov and chromatic graph homology to determine extreme Khovanov groups and corresponding coefficients of the Jones polynomial. The extent to which chromatic homology and chromatic polynomial can be used to compute integral Khovanov homology of a link depends on the maximal girth of its all-positive graphs. In this paper we also define the girth of a link, discuss relations to other knot invariants, and the possible values for girth. Analyzing girth leads to a description of possible all-A state graphs of any given link; e.g., if a link has a diagram such that the girth of the corresponding all-A graph is equal to $\ell>2$, than the girth of the link is equal to $\ell.$


title: Optically Addressed Spatial Light Modulator based on Nonlinear Metasurface

abstract: Spatial light modulators (SLMs) are devices for modulating amplitude, phase or polarization of a light beam on demand. Such devices have been playing an indispensable inuence in many areas from our daily entertainments to scientific researches. In the past decades, the SLMs have been mainly operated in electrical addressing (EASLM) manner, wherein the writing images are created and loaded via conventional electronic interfaces. However, adoption of pixelated electrodes puts limits on both resolution and efficiency of the EASLMs. Here, we present an optically addressed SLM based on a nonlinear metasurface (MS-OASLM), by which signal light is directly modulated by another writing beam requiring no electrode. The MS-OASLM shows unprecedented compactness and is 400 nm in total thickness benefitting from the outstanding nonlinearity of the metasurface. And their subwavelength feature size enables a high resolution up to 250 line pairs per millimeter, which is more than one order of magnitude better than any currently commercial SLMs. Such MS-OASLMs could provide opportunities to develop the next generation of high resolution displays and all-optical information processing technologies.


title: Enhanced light emission by magnetic and electric resonances in dielectric metasurfaces

abstract: We demonstrate an enhanced emission of high quantum yield molecules coupled to dielectric metasurfaces formed by periodic arrays of polycrystalline silicon nanoparticles. Radiative coupling of the nanoparticles, mediated by in-plane diffraction, leads to the formation of collective Mie scattering resonances or Mie surface lattice resonances (M-SLRs), with remarkable narrow line widths. These narrow line widths and the intrinsic electric and magnetic dipole moments of the individual Si nanoparticles allow to resolve electric and magnetic M-SLRs. Incidence angle- and polarization-dependent extinction measurements and high-accuracy surface integral simulations show unambiguously that magnetic M-SLRs arise from in- and out-of-plane magnetic dipoles, while electric M-SLRs are due to in-plane electric dipoles. Pronounced changes in the emission spectrum of the molecules are observed, with almost a 20-fold enhancement of the emission in defined directions of molecules coupled to electric M-SLRs, and a 5-fold enhancement of the emission of molecules coupled to magnetic M-SLRs. These measurements demonstrate the potential of dielectric metasurfaces for emission control and enhancement, and open new opportunities to induce asymmetric scattering and emission using collective electric and magnetic resonances.


title: Anisotropic three-dimensional weak localization in ultrananocrystalline diamond films with nitrogen inclusions

abstract: We present a study of the structural and electronic properties of ultra-nanocrystalline diamond films that were modified by adding nitrogen to the gas mixture during chemical vapour deposition growth. Hall bar devices were fabricated from the resulting films to investigate their electrical conduction as a function of both temperature and magnetic field. Through low-temperature magnetoresistance measurements, we present strong evidence that the dominant conduction mechanism in these films can be explained by a combination of 3D weak localization (3DWL) and thermally activated hopping at higher temperatures. An anisotropic 3DWL model is then applied to extract the phase-coherence time as function of temperature, which shows evidence of a power law dependence in good agreement with theory.


title: Visual Grounding in Video for Unsupervised Word Translation

abstract: There are thousands of actively spoken languages on Earth, but a single visual world. Grounding in this visual world has the potential to bridge the gap between all these languages. Our goal is to use visual grounding to improve unsupervised word mapping between languages. The key idea is to establish a common visual representation between two languages by learning embeddings from unpaired instructional videos narrated in the native language. Given this shared embedding we demonstrate that (i) we can map words between the languages, particularly the 'visual' words; (ii) that the shared embedding provides a good initialization for existing unsupervised text-based word translation techniques, forming the basis for our proposed hybrid visual-text mapping algorithm, MUVE; and (iii) our approach achieves superior performance by addressing the shortcomings of text-based methods -- it is more robust, handles datasets with less commonality, and is applicable to low-resource languages. We apply these methods to translate words from English to French, Korean, and Japanese -- all without any parallel corpora and simply by watching many videos of people speaking while doing things.


title: Coking-Resistant Sub-Nano Dehydrogenation Catalysts: Pt$_n$Sn$_x$/SiO$_2$ (n = 4, 7)

abstract: We present a combined experimental/theoretical study of Pt$_n$/SiO$_2$ and Pt$_n$Sn$_x$/SiO$_2$ (n = 4, 7) model catalysts for the endothermic dehydrogenation of hydrocarbons, using the ethylene intermediate as a model reactant. Supported pure Ptn clusters are found to be highly active toward dehydrogenation of C2D4, quickly deactivating due to a combination of carbon deposition and sintering, resulting in loss of accessible Pt sites. Addition of Sn to Ptn clusters results in the complete suppression of C2D4 dehydrogenation and carbon deposition, and also stabilizes the clusters against thermal sintering. Theory shows that both systems have thermal access to a multitude of cluster structures and adsorbate configurations that form a statistical ensemble. While Pt4/SiO2 clusters bind ethylene in both di-sigma and pi-bonded configurations, Pt$_4$Sn$_3$/SiO$_2$ binds C2H4 only in the pi-mode, with di-sigma bonding suppressed by a combination of electronic and geometric features of the PtSn clusters. Dehydrogenation reaction profiles on the accessible cluster isomers were calculated using the climbing image nudged elastic band (CI-NEB) method.


title: SOS: Selective Objective Switch for Rapid Immunofluorescence Whole Slide Image Classification

abstract: The difficulty of processing gigapixel whole slide images (WSIs) in clinical microscopy has been a long-standing barrier to implementing computer aided diagnostic systems. Since modern computing resources are unable to perform computations at this extremely large scale, current state of the art methods utilize patch-based processing to preserve the resolution of WSIs. However, these methods are often resource intensive and make significant compromises on processing time. In this paper, we demonstrate that conventional patch-based processing is redundant for certain WSI classification tasks where high resolution is only required in a minority of cases. This reflects what is observed in clinical practice; where a pathologist may screen slides using a low power objective and only switch to a high power in cases where they are uncertain about their findings. To eliminate these redundancies, we propose a method for the selective use of high resolution processing based on the confidence of predictions on downscaled WSIs --- we call this the Selective Objective Switch (SOS). Our method is validated on a novel dataset of 684 Liver-Kidney-Stomach immunofluorescence WSIs routinely used in the investigation of autoimmune liver disease. By limiting high resolution processing to cases which cannot be classified confidently at low resolution, we maintain the accuracy of patch-level analysis whilst reducing the inference time by a factor of 7.74.


title: Animated Logic: Correct Functional Conversion to Conjunctive Normal Form

abstract: We present an approach to obtain formally verified implementations of classical Computational Logic algorithms. We choose the Why3 platform because it allows to implement functions in a style very close to the mathematical definitions, as well as it allows a high degree of automation in the verification process. As proof of concept, we present a mathematical definition of the algorithm to convert propositional formulae to conjunctive normal form, implementations in WhyML (the Why3 language, very similar to OCaml), and proofs of correctness of the implementations. We apply our proposal on two variants of this algorithm: one in direct-style and another with an explicit stack structure. Being both first-order versions, Why3 processes the proofs naturally.


title: Degenerate states, emergent dynamics and fluid mixing by magnetic rotors

abstract: We investigate the collective motion of magnetic rotors suspended in a viscous fluid under an uniform rotating magnetic field. The rotors are positioned on a square lattice, and low Reynolds hydrodynamics is assumed. For a $3 \times 3$ array of magnets, we observe three characteristic dynamical patterns as the external field strength is varied: a synchronized pattern, an oscillating pattern, and a chessboard pattern. The relative stability of these depends on the competition between the energy due to the external magnetic field and the energy of the magnetic dipole-dipole interactions among the rotors. We argue that the chessboard pattern can be understood as an alternation in the stability of two degenerate states, characterized by striped and spin-ice configurations, as the applied magnetic field rotates. For larger arrays, we observe propagation of slip waves that are similar to metachronal waves. The rotor arrays have potential as microfluidic devices that can mix fluids and create vortices of different sizes.


title: Hamiltonian analysis of unimodular gravity and its quantization in the connection representation

abstract: We perform the Hamiltonian analysis of unimodular gravity in terms of the connection representation. The unimodular condition is imposed straightforwardly into the action with a Lagrange multiplier. After classifying constraints into first class and second class, the canonical quantization is carried out. We consider the difference of the corresponding physical states between unimodular gravity and general relativity.


title: A spatiotemporal recommendation engine for malaria control

abstract: Malaria is an infectious disease affecting a large population across the world, and interventions need to be efficiently applied to reduce the burden of malaria. We develop a framework to help policy-makers decide how to allocate limited resources in realtime for malaria control. We formalize a policy for the resource allocation as a sequence of decisions, one per intervention decision, that map up-to-date disease related information to a resource allocation. An optimal policy must control the spread of the disease while being interpretable and viewed as equitable to stakeholders. We construct an interpretable class of resource allocation policies that can accommodate allocation of resources residing in a continuous domain, and combine a hierarchical Bayesian spatiotemporal model for disease transmission with a policy-search algorithm to estimate an optimal policy for resource allocation within the pre-specified class. The estimated optimal policy under the proposed framework improves the cumulative long-term outcome compared with naive approaches in both simulation experiments and application to malaria interventions in the Democratic Republic of the Congo.


title: Short branch cut approximation in $2$D Hydrodynamics with Free Surface

abstract: A potential motion of ideal incompressible fluid with a free surface and infinite depth is considered in two-dimensional geometry. A time-dependent conformal mapping of the lower complex half-plane of the auxiliary complex variable $w$ into the area filled with fluid is performed with the real line of $w$ mapped into the free fluid's surface. The fluid dynamics can be fully characterized by the motion of the complex singularities in the analytical continuation of both the conformal mapping and the complex velocity. We consider the short branch cut approximation of the dynamics with the small parameter being the ratio of the length of the branch cut to the distance between its center and the real line of $w$. We found that the fluid dynamics in that approximation is reduced to the complex Hopf equation for the complex velocity coupled with the complex transport equation for the conformal mapping. These equations are fully integrable by characteristics producing the infinite family of solutions, including the pairs of moving square root branch points. The solutions are compared with the simulations of the fully nonlinear Eulerian dynamics giving excellent agreement even when the small parameter approaches about one.


title: Convergence and error estimates for time-discrete consensus-based optimization algorithms

abstract: We present convergence and error estimates of the time-discrete consensus-based optimization(CBO) algorithms proposed in [arXiv:1909.09249] for general nonconvex functions. In authors' recent work [arxiv: 1910.08239], rigorous error analysis of the first-order consensus-based optimization algorithm proposed in [arXiv:1909.09249] was studied at the particle level without resorting to the kinetic equation via a mean-field limit. However, the error analysis for the corresponding time-discrete algorithm was not done mainly due to lack of discrete analogue of It\^o's stochastic calculus. In this paper, we provide a simple and elementary convergence and error analysis for a general time-discrete consensus-based optimization algorithm, which includes the three discrete algorithms in [arXiv:1909.09249]. Our analysis provides numerical stability and convergence conditions for the three algorithms, as well as error estimates to the global minimum.


title: Machine learning in physics: The pitfalls of poisoned training sets

abstract: Known for their ability to identify hidden patterns in data, artificial neural networks are among the most powerful machine learning tools. Most notably, neural networks have played a central role in identifying states of matter and phase transitions across condensed matter physics. To date, most studies have focused on systems where different phases of matter and their phase transitions are known, and thus the performance of neural networks is well controlled. While neural networks present an exciting new tool to detect new phases of matter, here we demonstrate that when the training sets are poisoned (i.e., poor training data or mislabeled data) it is easy for neural networks to make misleading predictions.


title: Designing constraint-based false data injection attacks against the unbalanced distribution smart grids

abstract: The advent of smart power grid which plays a vital role in the upcoming smart city era is accompanied with the implementation of a monitoring tool, called state estimation. For the case of the unbalanced residential distribution grid, the state estimating operation which is conducted at a regional scale is considered as an application of the edge computing-based Internet of Things (IoT). While the outcome of the state estimation is important to the subsequent control activities, its accuracy heavily depends on the data integrity of the information collected from the scattered measurement devices. This fact exposes the vulnerability of the state estimation module under the effect of data-driven attacks. Among these, false data injection attack (FDI) is attracting much attention due to its capability to interfere with the normal operation of the network without being detected. This paper presents an attack design scheme based on a nonlinear physical-constraint model that is able to produce an FDI attack with theoretically stealthy characteristic. To demonstrate the effectiveness of the proposed design scheme, simulations with the IEEE 13-node test feeder and the WSCC 9-bus system are conducted. The experimental results indicate that not only the false positive rate of the bad data detection mechanism is 100 per cent but the physical consequence of the attack is severe. These results pose a serious challenge for operators in maintaining the integrity of measurement data.


title: A general formulation based on algebraic spinors for the quantum computation

abstract: In this work we explore the structure of Clifford algebras and the representations of the algebraic spinors in quantum information theory. Initially we present an general formulation through elements of left minimal ideals in tensor products of the Clifford algebra $Cl^{+}_{1,3}$. Posteriorly we perform some applications in quantum computation: qubits, entangled states, quantum gates, representations of the braid group, quantum teleportation, Majorana operators and supersymmetry. Finally, we discuss advantages related to standard Hilbert space formulation.


title: Laser Intensity Noise Suppression for Preparing Audio-Frequency 795 nm Squeezed Vacuum State of Light at Rubidium D1 Line

abstract: Laser intensity noise suppression has essential effects on preparation and characterization of the audio-frequency squeezed vacuum state of light based on a sub-threshold optical parametric oscillator (OPO).We have implemented two feedback loops by using relevant acousto-optical modulators (AOM) to stabilize the intensity of 795-nm near infrared (NIR) fundamental laser and 397.5-nm ultraviolet (UV) laser generated by cavity-enhanced frequency doubling.Typical peak-to-peak laser intensity fluctuation with a bandwidth of $\sim10$ kHz in a half hour has been improved from $\pm7.45$$\%$ to $\pm0.06$$\%$ for 795-nm NIR laser beam, and from $\pm9.04$$\%$ to $\pm0.05$$\%$ for 397.5-nm UV laser beam, respectively. The squeezing level of the squeezed vacuum state at 795 nm prepared by the sub-threshold OPO with a PPKTP crystal has been improved from -3.3 to -4.0 dB around 3$\sim$9 kHz of audio analysis frequency range.


title: A framework to construct a longitudinal DW-MRI infant atlas based on mixed effects modeling of dODF coefficients

abstract: Building of atlases plays a crucial role in the analysis of brain images. In scenarios where early growth, aging or disease trajectories are of key importance, longitudinal atlases become necessary as references, most often created from cross-sectional data. New opportunities will be offered by creating longitudinal brain atlases from longitudinal subject-specific image data, where explicit modeling of subject's variability in slope and intercept leads to a more robust estimation of average trajectories but also to estimates of confidence bounds. This work focuses on a framework to build a continuous 4D atlas from longitudinal high angular resolution diffusion images (HARDI) where, unlike atlases of derived scalar diffusion indices such as FA, statistics on dODFs is preserved. Multi-scalar images obtained from DW images are used for geometric alignment, and linear mixed-effects modeling from longitudinal diffusion orientation distribution functions (dODF) leads to estimation of continuous dODF changes. The proposed method is applied to a longitudinal dataset of HARDI images from healthy developing infants in the age range of 3 to 36 months. Verification of mixed-effects modeling is obtained by voxel-wise goodness of fit calculations. To demonstrate the potential of our method, we display changes of longitudinal atlas using dODF and derived generalized fractional anisotropy (GFA) of dODF. We also investigate white matter maturation patterns in genu, body, and splenium of the corpus callosum. The framework can be used to build an average dODF atlas from HARDI data and to derive subject-specific and population-based longitudinal change trajectories.


title: Estimation of within-study covariances in multivariate meta-analysis

abstract: Multivariate meta-analysis can be adapted to a wide range of situations for multiple outcomes and multiple treatment groups when combining studies together. The within-study correlation between effect sizes is often assumed known in multivariate meta-analysis while it is not always known practically. In this paper, we propose a generic method to approximate the within-study covariance for effect sizes in multivariate meta-analysis and apply this method to the scenarios with multiple outcomes and one outcome with multiple treatment groups respectively.


title: Learning-Based Human Segmentation and Velocity Estimation Using Automatic Labeled LiDAR Sequence for Training

abstract: In this paper, we propose an automatic labeled sequential data generation pipeline for human segmentation and velocity estimation with point clouds. Considering the impact of deep neural networks, state-of-the-art network architectures have been proposed for human recognition using point clouds captured by Light Detection and Ranging (LiDAR). However, one disadvantage is that legacy datasets may only cover the image domain without providing important label information and this limitation has disturbed the progress of research to date. Therefore, we develop an automatic labeled sequential data generation pipeline, in which we can control any parameter or data generation environment with pixel-wise and per-frame ground truth segmentation and pixel-wise velocity information for human recognition. Our approach uses a precise human model and reproduces a precise motion to generate realistic artificial data. We present more than 7K video sequences which consist of 32 frames generated by the proposed pipeline. With the proposed sequence generator, we confirm that human segmentation performance is improved when using the video domain compared to when using the image domain. We also evaluate our data by comparing with data generated under different conditions. In addition, we estimate pedestrian velocity with LiDAR by only utilizing data generated by the proposed pipeline.


title: A Simulation Study of Bandit Algorithms to Address External Validity of Software Fault Prediction

abstract: Various software fault prediction models and techniques for building algorithms have been proposed. Many studies have compared and evaluated them to identify the most effective ones. However, in most cases, such models and techniques do not have the best performance on every dataset. This is because there is diversity of software development datasets, and therefore, there is a risk that the selected model or technique shows bad performance on a certain dataset. To avoid selecting a low accuracy model, we apply bandit algorithms to predict faults. Consider a case where player has 100 coins to bet on several slot machines. Ordinary usage of software fault prediction is analogous to the player betting all 100 coins in one slot machine. In contrast, bandit algorithms bet one coin on each machine (i.e., use prediction models) step-by-step to seek the best machine. In the experiment, we developed an artificial dataset that includes 100 modules, 15 of which include faults. Then, we developed various artificial fault prediction models and selected them dynamically using bandit algorithms. The Thomson sampling algorithm showed the best or second-best prediction performance compared with using only one prediction model.


title: Machine Learning Treasury Yields

abstract: We give explicit algorithms and source code for extracting factors underlying Treasury yields using (unsupervised) machine learning (ML) techniques, such as nonnegative matrix factorization (NMF) and (statistically deterministic) clustering. NMF is a popular ML algorithm (used in computer vision, bioinformatics/computational biology, document classification, etc.), but is often misconstrued and misused. We discuss how to properly apply NMF to Treasury yields. We analyze the factors based on NMF and clustering and their interpretation. We discuss their implications for forecasting Treasury yields in the context of out-of-sample ML stability issues.


title: Exploring the Role of Visual Content in Fake News Detection

abstract: The increasing popularity of social media promotes the proliferation of fake news, which has caused significant negative societal effects. Therefore, fake news detection on social media has recently become an emerging research area of great concern. With the development of multimedia technology, fake news attempts to utilize multimedia content with images or videos to attract and mislead consumers for rapid dissemination, which makes visual content an important part of fake news. Despite the importance of visual content, our understanding of the role of visual content in fake news detection is still limited. This chapter presents a comprehensive review of the visual content in fake news, including the basic concepts, effective visual features, representative detection methods and challenging issues of multimedia fake news detection. This chapter can help readers to understand the role of visual content in fake news detection, and effectively utilize visual content to assist in detecting multimedia fake news.


title: A General Arbitration Model for Robust Human-Robot Shared Control with Multi-Source Uncertainty Modeling

abstract: Shared control in teleoperation leverages both human and robot's strengths and has demonstrated great advantages of reducing the difficulties in teleoperating a robot and increasing the task performance. One fundamental question in shared control is how to effectively allocate the control power to the human and robot. Researchers have been subjectively defining the arbitrate policies following conflicting principles, which resulted in great inconsistency in the policies. We attribute this inconsistency to the inconsiderateness of the multi-resource uncertainty in the human-robot system. To fill the gap, we developed a multi-source uncertainty model that was applicable to various types of uncertainty in real world, and then a general arbitration model was developed to comprehensively fuse the uncertainty and regulate the arbitration weight assigned to the robotic agent. Beside traditional macro performance metrics, we introduced objective and quantitative metrics of robotic helpfulness and friendliness that evaluated the assistive robot's cooperation at micro and macro levels. Results from simulations and experiments showed the new arbitration model was more effective and friendly over the existing policies and was robust to coping with multi-source uncertainty. With this new arbitration model, we expect the increased adoption of human-robot shared control in practical and complex teleoperation tasks.