title: Robust Adaptive Model Predictive Control with Worst-Case Cost

abstract: A robust adaptive model predictive control (MPC) algorithm is presented for linear, time invariant systems with unknown dynamics and subject to bounded measurement noise. The system is characterized by an impulse response model, which is assumed to lie within a bounded set called the feasible system set. Online set-membership identification is used to reduce uncertainty in the impulse response. In the MPC scheme, robust constraints are enforced to ensure constraint satisfaction for all the models in the feasible set. The performance objective is formulated as a worst-case cost with respect to the modeling uncertainties. That is, at each time step an optimization problem is solved in which the control input is optimized for the worst-case plant in the uncertainty set. The performance of the proposed algorithm is compared to an adaptive MPC algorithm from the literature using Monte-Carlo simulations.


title: Seq2Seq RNN based Gait Anomaly Detection from Smartphone Acquired Multimodal Motion Data

abstract: Smartphones and wearable devices are fast growing technologies that, in conjunction with advances in wireless sensor hardware, are enabling ubiquitous sensing applications. Wearables are suitable for indoor and outdoor scenarios, can be placed on many parts of the human body and can integrate a large number of sensors capable of gathering physiological and behavioral biometric information. Here, we are concerned with gait analysis systems that extract meaningful information from a user's movements to identify anomalies and changes in their walking style. The solution that is put forward is subject-specific, as the designed feature extraction and classification tools are trained on the subject under observation. A smartphone mounted on an ad-hoc made chest support is utilized to gather inertial data and video signals from its built-in sensors and rear-facing camera. The collected video and inertial data are preprocessed, combined and then classified by means of a Recurrent Neural Network (RNN) based Sequence-to-Sequence (Seq2Seq) model, which is used as a feature extractor, and a following Convolutional Neural Network (CNN) classifier. This architecture provides excellent results, being able to correctly assess anomalies in 100% of the cases, for the considered tests, surpassing the performance of support vector machine classifiers.


title: Hybrid Composition with IdleBlock: More Efficient Networks for Image Recognition

abstract: We propose a new building block, IdleBlock, which naturally prunes connections within the block. To fully utilize the IdleBlock we break the tradition of monotonic design in state-of-the-art networks, and introducing hybrid composition with IdleBlock. We study hybrid composition on MobileNet v3 and EfficientNet-B0, two of the most efficient networks. Without any neural architecture search, the deeper "MobileNet v3" with hybrid composition design surpasses possibly all state-of-the-art image recognition network designed by human experts or neural architecture search algorithms. Similarly, the hybridized EfficientNet-B0 networks are more efficient than previous state-of-the-art networks with similar computation budgets. These results suggest a new simpler and more efficient direction for network design and neural architecture search.


title: Efficient decorrelation of features using Gramian in Reinforcement Learning

abstract: Learning good representations is a long standing problem in reinforcement learning (RL). One of the conventional ways to achieve this goal in the supervised setting is through regularization of the parameters. Extending some of these ideas to the RL setting has not yielded similar improvements in learning. In this paper, we develop an online regularization framework for decorrelating features in RL and demonstrate its utility in several test environments. We prove that the proposed algorithm converges in the linear function approximation setting and does not change the main objective of maximizing cumulative reward. We demonstrate how to scale the approach to deep RL using the Gramian of the features achieving linear computational complexity in the number of features and squared complexity in size of the batch. We conduct an extensive empirical study of the new approach on Atari 2600 games and show a significant improvement in sample efficiency in 40 out of 49 games.


title: Effect of sodium pyrophosphate and understanding microstructure of aqueous LAPONITE(R) dispersion using dissolution study

abstract: We investigate physical origin of ergodicity breaking in an aqueous colloidal dispersion of synthetic hectorite clay, LAPONITE(R), by performing dissolution and rheological experiments with monovalent salt and tetrasodium pyrophosphate solution. We also study the effect of interface, nitrogen and paraffin oil on the same. Dissolution experiments carried out for dispersions with both the interfaces show similar results. However, for samples with nitrogen interface, all the effects are observed to get expedited in time compared to paraffin oil interface. When kept in contact with water, 1.5 wt. % and 2.8 wt. % colloidal dispersion at pH 10 swell at small ages, while do not swell at large ages. The solution of tetrasodium pyrophosphate, interestingly, dissolves the entire colloidal dispersion samples with pH 10 irrespective of the clay concentration. Experiments carried out on colloidal dispersions prepared in water having pH 13 demonstrate no effect of water as well as sodium pyrophosphate solution on the same suggesting a possibility of the presence of negative charge on edge at that pH. We believe that all the behaviors observed for samples at pH 10 can be explained by an attractive gel microstructure formed by edge-to-face contact. Furthermore, the absence of swelling in old colloidal dispersion at pH 10 and dissolution of the same by sodium pyrophosphate solution cannot be explained by merely repulsive interactions. This behavior suggests that attractive interactions play an important role in causing ergodicity breaking in the colloidal dispersions at pH 10 at all the ages irrespective of the clay concentration. We substantiate the presence of fractal network structure formed by interparticle edge-face association using rheological tools and cryo-TEM imaging. We also conduct a comprehensive study of the effect of sodium pyrophosphate in the sol-gel transition of LAPONITE(R) dispersion.


title: Improvements of the REDCRAFT Software Package

abstract: Traditional approaches to elucidation of protein structures by NMR spectroscopy rely on distance restraints also known as nuclear Overhauser effects (NOEs). The use of NOEs as the primary source of structure determination by NMR spectroscopy is time consuming and expensive. Residual Dipolar Couplings (RDCs) have become an alternate approach for structure calculation by NMR spectroscopy. In previous works, the software package REDCRAFT has been presented as a means of harnessing the information containing in RDCs for structure calculation of proteins. In this work, we present significant improvements to the REDCRAFT package including: refinement of the decimation procedure, the inclusion of graphical user interface, adoption of NEF standards, and addition of scripts for enhanced protein modeling options. The improvements to REDCRAFT have resulted in the ability to fold proteins that the previous versions were unable to fold. For instance, we report the results of folding of the protein 1A1Z in the presence of highly erroneous data.


title: Majority dynamics and the median process: connections, convergence and some new conjectures

abstract: We consider the median dynamics process in general graphs. In this model, each vertex has an independent initial opinion uniformly distributed in the interval [0,1] and, with rate one, updates its opinion to coincide with the median of its neighbors. This process provides a continuous analog of binary majority dynamics. We deduce properties of median dynamics through this connection and raise new conjectures regarding the behavior of majority dynamics on general graphs. We also prove these conjectures on some graphs where majority dynamics has a simple description.


title: PDBMine: A Reformulation of the Protein Data Bank to Facilitate Structural Data Mining

abstract: Large scale initiatives such as the Human Genome Project, Structural Genomics, and individual research teams have provided large deposits of genomic and proteomic data. The transfer of data to knowledge has become one of the existing challenges, which is a consequence of capturing data in databases that are optimally designed for archiving and not mining. In this research, we have targeted the Protein Databank (PDB) and demonstrated a transformation of its content, named PDBMine, that reduces storage space by an order of magnitude, and allows for powerful mining in relation to the topic of protein structure determination. We have demonstrated the utility of PDBMine in exploring the prevalence of dimeric and trimeric amino acid sequences and provided a mechanism of predicting protein structure.


title: A Global Crystalline Period Map

abstract: The crystalline period map is a tool for linearizing $p$-divisible groups. It has been applied to study the Langlands correspondences, and has possible applications to the homotopy groups of spheres. The original construction of the period map is inherently local. We present an alternative construction, giving a map on the entire moduli stack of $p$-divisbile groups, up to isogeny, which specializes to the original local construction.


title: Attention Guided Anomaly Localization in Images

abstract: Anomaly localization is an important problem in computer vision which involves localizing anomalous regions within images with applications in industrial inspection, surveillance, and medical imaging. This task is challenging due to the small sample size and pixel coverage of the anomaly in real-world scenarios. Most prior works need to use anomalous training images to compute a class-specific threshold to localize anomalies. Without the need of anomalous training images, we propose Convolutional Adversarial Variational autoencoder with Guided Attention (CAVGA), which localizes the anomaly with a convolutional latent variable to preserve the spatial information. In the unsupervised setting, we propose an attention expansion loss where we encourage CAVGA to focus on all normal regions in the image. Furthermore, in the weakly-supervised setting we propose a complementary guided attention loss, where we encourage the attention map to focus on all normal regions while minimizing the attention map corresponding to anomalous regions in the image. CAVGA outperforms the state-of-the-art (SOTA) anomaly localization methods on MVTec Anomaly Detection (MVTAD), modified ShanghaiTech Campus (mSTC) and Large-scale Attention based Glaucoma (LAG) datasets in the unsupervised setting and when using only 2% anomalous images in the weakly-supervised setting. CAVGA also outperforms SOTA anomaly detection methods on the MNIST, CIFAR-10, Fashion-MNIST, MVTAD, mSTC and LAG datasets.


title: Free Bosons with a Localized Source

abstract: We analyze the time evolution of an open quantum system driven by a localized source of bosons. We consider non-interacting identical bosons that are injected into a single lattice site and and perform a continuous time quantum walks on a lattice. We show that the average number of bosons grows exponentially with time when the input rate exceeds a certain lattice-dependent critical value. Below the threshold, the growth is quadratic in time, which is still much faster than the naive linear in time growth. We compute the critical input rate for hyper-cubic lattices and find that it is positive in all dimensions $d$ except for $d=2$ where the critical input rate vanishes---the growth is always exponential in two dimensions. To understand the exponential growth, we construct an explicit microscopic Hamiltonian model which gives rise to the open system dynamics once the bath is traced out. Exponential growth is identified with a region of dynamic instability of the Hamiltonian system.


title: Explanation vs Attention: A Two-Player Game to Obtain Attention for VQA

abstract: In this paper, we aim to obtain improved attention for a visual question answering (VQA) task. It is challenging to provide supervision for attention. An observation we make is that visual explanations as obtained through class activation mappings (specifically Grad-CAM) that are meant to explain the performance of various networks could form a means of supervision. However, as the distributions of attention maps and that of Grad-CAMs differ, it would not be suitable to directly use these as a form of supervision. Rather, we propose the use of a discriminator that aims to distinguish samples of visual explanation and attention maps. The use of adversarial training of the attention regions as a two-player game between attention and explanation serves to bring the distributions of attention maps and visual explanations closer. Significantly, we observe that providing such a means of supervision also results in attention maps that are more closely related to human attention resulting in a substantial improvement over baseline stacked attention network (SAN) models. It also results in a good improvement in rank correlation metric on the VQA task. This method can also be combined with recent MCB based methods and results in consistent improvement. We also provide comparisons with other means for learning distributions such as based on Correlation Alignment (Coral), Maximum Mean Discrepancy (MMD) and Mean Square Error (MSE) losses and observe that the adversarial loss outperforms the other forms of learning the attention maps. Visualization of the results also confirms our hypothesis that attention maps improve using this form of supervision.


title: A Benchmark Suite for Evaluating Caches' Vulnerability to Timing Attacks

abstract: Timing-based side or covert channels in processor caches continue to present a threat to computer systems, and they are the key to many of the recent Spectre and Meltdown attacks. Based on improvements to an existing three-step model for cache timing-based attacks, this work presents 88 Strong types of theoretical timing-based vulnerabilities in processor caches. To understand and evaluate all possible types of vulnerabilities in processor caches, this work further presents and implements a new benchmark suite which can be used to test to which types of cache timing-based attacks a given processor or cache design is vulnerable. In total, there are 1094 automatically-generated test programs which cover the 88 theoretical vulnerabilities. The benchmark suite generates the Cache Timing Vulnerability Score which can be used to evaluate how vulnerable a specific cache implementation is to different attacks. A smaller Cache Timing Vulnerability Score means the design is more secure, and the scores among different machines can be easily compared. Evaluation is conducted on commodity Intel and AMD processors and shows the differences in processor implementations can result in different types of attacks that they are vulnerable to. Beyond testing commodity processors, the benchmarks and the Cache Timing Vulnerability Score can be used to help designers of new secure processor caches evaluate their design's susceptibility to cache timing-based attacks.


title: Ballistic-diffusive model for heat transport in superlattices and the minimum effective heat conductivity

abstract: There has been much interest in semiconductor superlattices because of showing very low thermal conductivities. This makes them especially suitable for applications in a variety of devices for thermoelectric generation of energy, heat control at the nanometric length scale, etc. Recent experiments have confirmed that the effective thermal conductivity of superlattices at room temperature have a minimum for very short periods (in the order of nanometers) as some kinetic calculations had anticipated previously. This work will show advances on a thermodynamic theory of heat transport in nanometric 1D multilayer systems by considering the separation of ballistic and diffusive heat fluxes, which are both described by Guyer-Krumhansl constitutive equations. The dispersion relations, as derived from the ballistic and diffusive heat transport equations, are used to derive an effective heat conductivity of the superlattice and to explain the minimum of the effective thermal conductivity.


title: Open Cross-Domain Visual Search

abstract: This paper addresses cross-domain visual search, where visual queries retrieve category samples from a different domain. For example, we may want to sketch an airplane and retrieve photographs of airplanes. Despite considerable progress, the search occurs in a closed setting between two pre-defined domains. In this paper, we make the step towards an open setting where multiple visual domains are available. This notably translates into a search between any pair of domains, from a combination of domains or within multiple domains. We introduce a simple -- yet effective -- approach. We formulate the search as a mapping from every visual domain to a common semantic space, where categories are represented by hyperspherical prototypes. Open cross-domain visual search is then performed by searching in the common semantic space, regardless of which domains are used as source or target. Domains are combined in the common space to search from or within multiple domains simultaneously. A separate training of every domain-specific mapping function enables an efficient scaling to any number of domains without affecting the search performance. We empirically illustrate our capability to perform open cross-domain visual search in three different scenarios. Our approach is competitive with respect to existing closed settings, where we obtain state-of-the-art results on several benchmarks for three sketch-based search tasks.


title: Regularity of solutions of quasi-linear elliptic equations with $L\log^m L$ coefficients

abstract: Let $D$ be an bounded region in ${\bf R}^n$. The regularity of solutions of a family of quasilinear elliptic partial differential equations is studied, one example being $\Delta_nu=Vu^{n-1}$. The coefficients are assumed to be in the space $L\log^{m}L(D)$ for $m>n-1$. Using a Moser iteration argument coupled with the Moser-Trudinger inequality, a local $L^{\infty}$ bound on the solution $u$ is proven. A Harnack-type inequality is then proven. These results are shown to be sharp with respect to $m$. Then essential continuity of $u$ is proven, and away from the boundary a bound on the modulus of continuity.


title: Deep Anomaly Detection with Deviation Networks

abstract: Although deep learning has been applied to successfully address many data mining problems, relatively limited work has been done on deep learning for anomaly detection. Existing deep anomaly detection methods, which focus on learning new feature representations to enable downstream anomaly detection methods, perform indirect optimization of anomaly scores, leading to data-inefficient learning and suboptimal anomaly scoring. Also, they are typically designed as unsupervised learning due to the lack of large-scale labeled anomaly data. As a result, they are difficult to leverage prior knowledge (e.g., a few labeled anomalies) when such information is available as in many real-world anomaly detection applications. This paper introduces a novel anomaly detection framework and its instantiation to address these problems. Instead of representation learning, our method fulfills an end-to-end learning of anomaly scores by a neural deviation learning, in which we leverage a few (e.g., multiple to dozens) labeled anomalies and a prior probability to enforce statistically significant deviations of the anomaly scores of anomalies from that of normal data objects in the upper tail. Extensive results show that our method can be trained substantially more data-efficiently and achieves significantly better anomaly scoring than state-of-the-art competing methods.


title: Effects of Planck-scale-modified dispersion relations on the thermodynamics of charged black holes

abstract: Considering corrections produced by modified dispersion relations on the equation of state parameter of radiation, we study the induced black hole metric inspired by Kiselev's ansatz, thus defining a deformed Reissner-Nordstr\"{o}m metric. In particular, we consider thermodynamic properties of such a black hole from the combined viewpoints of the modified equation of state parameter and the phenomenological approach to the quantum gravity problem called rainbow gravity.


title: Magnetic Switching in Weyl Semimetal-Superconductor Heterostructures

abstract: We present a new switching mechanism that utilizes the proximity coupling between the surface spin texture of a Weyl semimetal and a superconductor, in a Weyl semimetal/superconductor/Weyl semimetal trilayer heterostructure. We show that the superconductivity in the middle layer can be fully suppressed by the surface spin texture of the Weyl semimetals in the presence of an external magnetic field, but it can be recovered again by only changing the field direction. The restoration of the middle-layer superconductivity indicates a sharp transition to a low-resistance state. This sharp switching effect, realizable using a Weyl semimetal because of its strong spin-momentum locking and surface spin polarization, is a promising avenue for novel superconducting spin-valve applications.


title: Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems

abstract: Motivated by exploration of communication-constrained underground environments using robot teams, we study the problem of planning for intermittent connectivity in multi-agent systems. We propose a novel concept of information-consistency to handle situations where the plan is not initially known by all agents, and suggest an integer linear program for synthesizing information-consistent plans that also achieve auxiliary goals. Furthermore, inspired by network flow problems we propose a novel way to pose connectivity constraints that scales much better than previous methods. In the second part of the paper we apply these results in an exploration setting, and propose a clustering method that separates a large exploration problem into smaller problems that can be solved independently. We demonstrate how the resulting exploration algorithm is able to coordinate a team of ten agents to explore a large environment.


title: The chemical evolution of the dwarf Spheroidal galaxy Sextans

abstract: We present the analysis of the FLAMES dataset targeting the central 25 arcmin region of the Sextans dSph. This dataset is the third major part of the high resolution spectroscopic section of the ESO large program 171.B-0588(A) obtained by the Dwarf galaxy Abundances and Radial-velocities Team (DART). Our sample is composed of red giant branch stars down to the level of the horizontal branch in Sextans. It allows to address questions related to both stellar nucleosynthesis and galaxy evolution. We provide metallicities for 81 stars, which cover the wide [Fe/H]=$-$3.2 to $-$1.5 dex range. The abundances of 10 other elements are derived: Mg, Ca, Ti, Sc, Cr, Mn, Co, Ni, Ba, and Eu. Despite its small mass, Sextans is a chemically evolved system, with evidence for the contribution of core-collapse and Type Ia supernovae as well as low metallicity AGBs. This new FLAMES sample offers a sufficiently large number of stars with chemical abundances derived at high accuracy to firmly establish the existence of a plateau in [$\alpha$/Fe] at $\sim 0.4$ dex, followed by a decrease above [Fe/H]$\sim-2$ dex. This is in stark similarity with the Fornax and Sculptor dSphs despite their very different masses and star formation histories. This suggests that these three galaxies had very similar star formation efficiencies in their early formation phases, probably driven by the early accretion of smaller galactic fragments, until the UV-background heating impacted them in different ways. The parallel between the Sculptor and Sextans dSph is also striking when considering Ba and Eu. Finally, as to the iron-peak elements, the decline of [Co/Fe] and [Ni/Fe] above [Fe/H]$\sim -2$ implies that the production yields of Ni and Co in SNeIa is lower than that of Fe. The decrease in [Ni/Fe] favours models of SNeIa based on the explosion of double degenerate sub-Chandrasekhar mass white dwarfs.


title: Symbolic Formulae for Linear Mixed Models

abstract: A statistical model is a mathematical representation of an often simplified or idealised data-generating process. In this paper, we focus on a particular type of statistical model, called linear mixed models (LMMs), that is widely used in many disciplines e.g.~agriculture, ecology, econometrics, psychology. Mixed models, also commonly known as multi-level, nested, hierarchical or panel data models, incorporate a combination of fixed and random effects, with LMMs being a special case. The inclusion of random effects in particular gives LMMs considerable flexibility in accounting for many types of complex correlated structures often found in data. This flexibility, however, has given rise to a number of ways by which an end-user can specify the precise form of the LMM that they wish to fit in statistical software. In this paper, we review the software design for specification of the LMM (and its special case, the linear model), focusing in particular on the use of high-level symbolic model formulae and two popular but contrasting R-packages in lme4 and asreml.


title: A note on type of weak-$L^1$ and weak-$\ell^1$ spaces

abstract: We present a direct proof of the fact that the weak-$L^1$ and weak-$\ell^1$ spaces do not have type $1$.


title: CUP: Cluster Pruning for Compressing Deep Neural Networks

abstract: We propose Cluster Pruning (CUP) for compressing and accelerating deep neural networks. Our approach prunes similar filters by clustering them based on features derived from both the incoming and outgoing weight connections. With CUP, we overcome two limitations of prior work-(1) non-uniform pruning: CUP can efficiently determine the ideal number of filters to prune in each layer of a neural network. This is in contrast to prior methods that either prune all layers uniformly or otherwise use resource-intensive methods such as manual sensitivity analysis or reinforcement learning to determine the ideal number. (2) Single-shot operation: We extend CUP to CUP-SS (for CUP single shot) whereby pruning is integrated into the initial training phase itself. This leads to large savings in training time compared to traditional pruning pipelines. Through extensive evaluation on multiple datasets (MNIST, CIFAR-10, and Imagenet) and models(VGG-16, Resnets-18/34/56) we show that CUP outperforms recent state of the art. Specifically, CUP-SS achieves 2.2x flops reduction for a Resnet-50 model trained on Imagenet while staying within 0.9% top-5 accuracy. It saves over 14 hours in training time with respect to the original Resnet-50. The code to reproduce results is available.


title: Weyl-like points from band inversions of spin-polarised surface states in NbGeSb

abstract: Band inversions are key to stabilising a variety of novel electronic states in solids, from topological surface states in inverted bulk band gaps of topological insulators to the formation of symmetry-protected three-dimensional Dirac and Weyl points and nodal-line semimetals. Here, we create a band inversion not of bulk states, but rather between manifolds of surface states. We realise this by aliovalent substitution of Nb for Zr and Sb for S in the ZrSiS family of nonsymmorphic semimetals. Using angle-resolved photoemission and density-functional theory, we show how two pairs of surface states, known from ZrSiS, are driven to intersect each other in the vicinity of the Fermi level in NbGeSb, as well as to develop pronounced spin-orbit mediated spin splittings. We demonstrate how mirror symmetry leads to protected crossing points in the resulting spin-orbital entangled surface band structure, thereby stabilising surface state analogues of three-dimensional Weyl points. More generally, our observations suggest new opportunities for engineering topologically and symmetry-protected states via band inversions of surface states.


title: Local Reasoning for Global Graph Properties

abstract: Separation logics are widely used for verifying programs that manipulate complex heap-based data structures. These logics build on so-called separation algebras, which allow expressing properties of heap regions such that modifications to a region do not invalidate properties stated about the remainder of the heap. This concept is key to enabling modular reasoning and also extends to concurrency. While heaps are naturally related to mathematical graphs, many ubiquitous graph properties are non-local in character, such as reachability between nodes, path lengths, acyclicity and other structural invariants, as well as data invariants which combine with these notions. Reasoning modularly about such graph properties remains notoriously difficult, since a local modification can have side-effects on a global property that cannot be easily confined to a small region. In this paper, we address the question: What separation algebra can be used to avoid proof arguments reverting back to tedious global reasoning in such cases? To this end, we consider a general class of global graph properties expressed as fixpoints of algebraic equations over graphs. We present mathematical foundations for reasoning about this class of properties, imposing minimal requirements on the underlying theory that allow us to define a suitable separation algebra. Building on this theory we develop a general proof technique for modular reasoning about global graph properties over program heaps, in a way which can be integrated with existing separation logics. To demonstrate our approach, we present local proofs for two challenging examples: a priority inheritance protocol and the non-blocking concurrent Harris list.


title: Adaptive Non-Uniform Compressive Sensing using SOT-MRAM Multibit Crossbar Arrays

abstract: A Compressive Sensing (CS) approach is applied to utilize intrinsic computation capabilities of Spin-Orbit Torque Magnetic Random Access Memory (SOT-MRAM) devices for IoT applications wherein lifetime energy, device area, and manufacturing costs are highly-constrained while the sensing environment varies rapidly. In this manuscript, we propose the Adaptive Compressed-sampling via Multibit Crossbar Array (ACMCA) approach to intelligently generate the CS measurement matrix using a multibit SOT-MRAM crossbar array. SPICE circuit and MATLAB algorithm simulation results indicate that ACMCA reduces reconstruction Time-Averaged Normalized Mean Squared Error (TNMSE) by 5dB on average while providing up to 160$\mu$m$^2$ area reduction compared to a similar previous design presented in the literature while incurring a negligible increase in the energy consumption of generating the CS measurement matrix.


title: High-Resolution Simulations of Catastrophic Disruptions: Resultant Shape Distributions

abstract: The members of asteroid families have various shapes. We investigate the origin of their shapes by high-resolution impact simulations for catastrophic disruptions using a Smoothed Particle Hydrodynamics code. Collisional remnants produced through our simulations of the catastrophic disruptions mainly have spherical or bilobed shapes. However, no flat remnants with the ratio of minor to major axis lengths c/a < 0.5 are formed. The results of the simulations provide various shapes of asteroids and explain most of the shapes in asteroid families that are supposed to be produced through catastrophic disruptions. However, the present simulations do not explain significantly flat asteroids. We suggest that these flat asteroids may be interlopers or formed through low-velocity collisions between member asteroids.


title: Robust Deep Neural Networks Inspired by Fuzzy Logic

abstract: Deep neural networks have achieved impressive performance and become the de-facto standard in many tasks. However, troubling phenomena such as adversarial and fooling examples suggest that the generalization they make is flawed. I argue that among the roots of the phenomena are two geometric properties of common deep learning architectures: their distributed nature and the connectedness of their decision regions. As a remedy, I propose new architectures inspired by fuzzy logic that combine several alternative design elements. Through experiments on MNIST and CIFAR-10, the new models are shown to be more local, better at rejecting noise samples, and more robust against adversarial examples. Ablation analyses reveal behaviors on adversarial examples that cannot be explained by the linearity hypothesis but are consistent with the hypothesis that logic-inspired traits create more robust models.


title: An implementation of steepest-descent augmentation for linear programs

abstract: Generalizing the simplex method, circuit augmentation schemes for linear programs follow circuit directions through the interior of the underlying polyhedron. Steepest-descent augmentation is especially promising, but an implementation of the iterative scheme is a significant challenge. We work towards a viable implementation through a model in which a single linear program is updated dynamically to remain in memory throughout. Computational experiments exhibit dramatic improvements over a naive approach and reveal insight into the next steps required for large-scale computations.


title: Robust Inference on Infinite and Growing Dimensional Time Series Regression

abstract: We develop a class of tests for time series models such as multiple regression with growing dimension, infinite-order autoregression and nonparametric sieve regression. Examples include the Chow test and general linear restriction tests of growing rank $p$. Employing such increasing $p$ asymptotics, we introduce a new scale correction to conventional test statistics which accounts for a high-order long-run variance (HLV) that emerges as $ p $ grows with sample size. We also propose a bias correction via a null-imposed bootstrap to alleviate finite sample bias without sacrificing power unduly. A simulation study shows the importance of robustifying testing procedures against the HLV even when $ p $ is moderate. The tests are illustrated with an application to the oil regressions in Hamilton (2003).


title: Gridspec: A standard for the description of grids used in Earth System models

abstract: The comparative analysis of output from multiple models, and against observational data analysis archives, has become a key methodology in reducing uncertainty in climate projections, and in improving forecast skill of medium- and long-term forecasts. There is considerable momentum toward simplifying such analyses by applying comprehensive community-standard metadata to observational and model output data archives. The representation of gridded data is a critical element in describing the contents of model output. We seek here to propose a standard for describing the grids on which such data are discretized. The standard is drafted specifically for inclusion within the Climate and Forecasting (CF) metadata conventions. The contents of this paper have been in the "grey literature" since 2007: it has been posted to arXiv to be citable. To preserve its integrity, the contents have not been updated.


title: Thickness-dependent in-plane polarization and structural phase transition in van der Waals Ferroelectric CuInP2S6

abstract: Van der Waals (vdW) layered materials have rather weaker interlayer bonding than the intra-layer bonding, therefore the exfoliation along the stacking direction enables the achievement of monolayer or few layers vdW materials with emerging novel physical properties and functionalities. The ferroelectricity in vdW materials recently attracts renewed interest for the potential use in high-density storage devices. As the thickness going thinner, the competition between the surface energy, depolarization field and interfacial chemical bonds may give rise to the modification of ferroelectricity and crystalline structure, which has limited investigations. In this work, combining the piezoresponse force microscope scanning, contact resonance imaging, we report the existence of the intrinsic in-plane polarization in vdW ferroelectrics CuInP2S6 (CIPS) single crystals, whereas below a critical thickness between 90-100 nm, the in-plane polarization disappears. The Young's modulus also shows an abrupt stiffness at the critical thickness. Based on the density functional theory calculations, we ascribe these behaviors to a structural phase transition from monoclinic to trigonal structure, which is further verified by transmission electron microscope technique. Taken together, these findings demonstrate the foundational importance of structural phase transition for enhancing the rich functionality and broad utility of vdW ferroelectrics.


title: Differences in radio emission from similar M dwarfs in the binary system Ross 867-8

abstract: Serendipitously, we have rediscovered radio emission from the binary system Ross 867 (M4.5V) and Ross 868 (M3.5V) while inspecting archival Giant Metrewave Radio Telescope (GMRT) observations. The binary system consists of two M-dwarf stars that share common characteristics such as spectral type, astrometric parameters, age and emission at infrared, optical and X-rays frequencies. The GMRT data at 610 MHz taken on July 2011 shows that the radio emission from Ross 867 is polarized and highly variable on hour time scales with a peak flux of 10.4 $\pm$ 0.7 mJy/beam. Additionally, after reviewing archival data from several observatories (VLA, GMRT, JVLA and LOFAR), we confirm that although both stars are likely coeval, only Ross 867 has been detected, while Ross 868 remains undetected at radio wavelengths. As they have a a large orbital separation, this binary stellar system provides a coeval laboratory to examine and constrain the stellar properties linked to radio activity in M dwarfs. We speculate that the observed difference in radio activity between the dwarfs could be due to vastly different magnetic field topologies or that Ross 867 has an intrinsically different dynamo.


title: Performance Monitoring for Live Systems with Soft FEC and Multilevel Modulation

abstract: Performance monitoring is an essential function for margin measurements in live systems. Historically, system budgets have been described by the Q-factor converted from the bit error rate (BER) under binary modulation and direct detection. The introduction of hard-decision forward error correction (FEC) did not change this. In recent years technologies have changed significantly to comprise coherent detection, multilevel modulation and soft FEC. In such advanced systems, different metrics such as (nomalized) generalized mutual information (GMI/NGMI) and asymmetric information (ASI) are regarded as being more reliable. On the other hand, Q budgets are still useful because pre-FEC BER monitoring is established in industry for live system monitoring. The pre-FEC BER is easily estimated from available information of the number of flipped bits in the FEC decoding, which does not require knowledge of the transmitted bits that are unknown in live systems. Therefore, the use of metrics like GMI/NGMI/ASI for performance monitoring has not been possible in live systems. However, in this work we propose a blind soft-performance estimation method. Based on a histogram of log-likelihood-values without the knowledge of the transmitted bits, we show how the ASI can be estimated. We examined the proposed method experimentally for 16 and 64-ary quadrature amplitude modulation (QAM) and probabilistically shaped 16, 64, and 256-QAM in recirculating loop experiments. We see a relative error of 3.6%, which corresponds to around 0.5 dB signal-to-noise ratio difference for binary modulation, in the regime where the ASI is larger than the assumed FEC threshold. For this proposed method, the digital signal processing circuitry requires only a minimal additional function of storing the L-value histograms before the soft-decision FEC decoder.


title: Scalable Decision-Theoretic Planning in Open and Typed Multiagent Systems

abstract: In open agent systems, the set of agents that are cooperating or competing changes over time and in ways that are nontrivial to predict. For example, if collaborative robots were tasked with fighting wildfires, they may run out of suppressants and be temporarily unavailable to assist their peers. We consider the problem of planning in these contexts with the additional challenges that the agents are unable to communicate with each other and that there are many of them. Because an agent's optimal action depends on the actions of others, each agent must not only predict the actions of its peers, but, before that, reason whether they are even present to perform an action. Addressing openness thus requires agents to model each other's presence, which becomes computationally intractable with high numbers of agents. We present a novel, principled, and scalable method in this context that enables an agent to reason about others' presence in its shared environment and their actions. Our method extrapolates models of a few peers to the overall behavior of the many-agent system, and combines it with a generalization of Monte Carlo tree search to perform individual agent reasoning in many-agent open environments. Theoretical analyses establish the number of agents to model in order to achieve acceptable worst case bounds on extrapolation error, as well as regret bounds on the agent's utility from modeling only some neighbors. Simulations of multiagent wildfire suppression problems demonstrate our approach's efficacy compared with alternative baselines.


title: On the dimension of divergence sets of Schr\"odinger equation with complex time

abstract: This article studies the pointwise convergence for the fractional Schr\"odinger operator $P^{t}_{a,\gamma}$ with complex time in one spatial dimension. Through establishing $L^2$-maximal estimates for initial datum in $H^{s}(\mathbb{R})$, we see that the solution converges to the initial data almost everywhere with $s>\frac14 a(1-\frac1\gamma)_+$ when $0<a<1$ and $s>\frac{1}{2}(1-\frac{1}{\gamma})_{+}$ when $a=1$. By constructing counterexamples, we show that this result is almost sharp up to the endpoint. These results extends the results of P. Sj\"olin, F. Soria and A. Baily. Second, we study the Hausdorff dimension of the set of the divergent points, by showing some $L^1$-maximal estimates with respect to general Borel measure. Our results reflect the interaction between dispersion effect and dissipation effect, arising from the fractional Schr\"{o}dinger type operator $P^{t}_{a,\gamma}$ with the complex time.


title: Generate (non-software) Bugs to Fool Classifiers

abstract: In adversarial attacks intended to confound deep learning models, most studies have focused on limiting the magnitude of the modification so that humans do not notice the attack. On the other hand, during an attack against autonomous cars, for example, most drivers would not find it strange if a small insect image were placed on a stop sign, or they may overlook it. In this paper, we present a systematic approach to generate natural adversarial examples against classification models by employing such natural-appearing perturbations that imitate a certain object or signal. We first show the feasibility of this approach in an attack against an image classifier by employing generative adversarial networks that produce image patches that have the appearance of a natural object to fool the target model. We also introduce an algorithm to optimize placement of the perturbation in accordance with the input image, which makes the generation of adversarial examples fast and likely to succeed. Moreover, we experimentally show that the proposed approach can be extended to the audio domain, for example, to generate perturbations that sound like the chirping of birds to fool a speech classifier.


title: Classical $\mathcal{W}$-algebras for centralizers

abstract: We introduce a new family of Poisson vertex algebras $\mathcal{W}(\mathfrak{a})$ analogous to the classical $\mathcal{W}$-algebras. The algebra $\mathcal{W}(\mathfrak{a})$ is associated with the centralizer $\mathfrak{a}$ of an arbitrary nilpotent element in $\mathfrak{gl}_N$. We show that $\mathcal{W}(\mathfrak{a})$ is an algebra of polynomials in infinitely many variables and produce its free generators in an explicit form. This implies that $\mathcal{W}(\mathfrak{a})$ is isomorphic to the center at the critical level of the affine vertex algebra associated with $\mathfrak{a}$.


title: A genomic dominion with regulatory dependencies on human-specific single-nucleotide changes in Modern Humans

abstract: Gene set enrichment analyses of 8,405 genes linked with 35,074 human-specific (hs) regulatory single-nucleotide changes (SNCs) revealed the staggering breadth of significant associations with morphological structures, physiological processes, and pathological conditions of Modern Humans. Significant enrichment traits include more than 1,000 anatomically-distinct regions of the adult human brain, many different types of human cells and tissues, more than 200 common human disorders and more than 1,000 records of rare diseases. Thousands of genes connected with regulatory hsSNCs have been identified in this contribution, which represent essential genetic elements of the autosomal inheritance and survival of species phenotypes: a total of 1,494 genes linked with either autosomal dominant or recessive inheritance as well as 2,273 genes associated with premature death, embryonic lethality, as well as pre-, peri-, neo-, and post-natal lethality of both complete and incomplete penetrance. Therefore, thousands of heritable traits and critical genes impacting the offspring survival appear under the human-specific regulatory control in genomes of Modern Humans. These observations highlight the remarkable translational opportunities afforded by the discovery of genetic regulatory loci harboring hsSNCs that are fixed in humans, distinct from other primates, and located in differentially-accessible (DA) chromatin regions during human brain development.


title: Deep Reinforcement Learning in Cryptocurrency Market Making

abstract: This paper sets forth a framework for deep reinforcement learning as applied to market making (DRLMM) for cryptocurrencies. Two advanced policy gradient-based algorithms were selected as agents to interact with an environment that represents the observation space through limit order book data, and order flow arrival statistics. Within the experiment, a forward-feed neural network is used as the function approximator and two reward functions are compared. The performance of each combination of agent and reward function is evaluated by daily and average trade returns. Using this DRLMM framework, this paper demonstrates the effectiveness of deep reinforcement learning in solving stochastic inventory control challenges market makers face.


title: Co-Attention Hierarchical Network: Generating Coherent Long Distractors for Reading Comprehension

abstract: In reading comprehension, generating sentence-level distractors is a significant task, which requires a deep understanding of the article and question. The traditional entity-centered methods can only generate word-level or phrase-level distractors. Although recently proposed neural-based methods like sequence-to-sequence (Seq2Seq) model show great potential in generating creative text, the previous neural methods for distractor generation ignore two important aspects. First, they didn't model the interactions between the article and question, making the generated distractors tend to be too general or not relevant to question context. Second, they didn't emphasize the relationship between the distractor and article, making the generated distractors not semantically relevant to the article and thus fail to form a set of meaningful options. To solve the first problem, we propose a co-attention enhanced hierarchical architecture to better capture the interactions between the article and question, thus guide the decoder to generate more coherent distractors. To alleviate the second problem, we add an additional semantic similarity loss to push the generated distractors more relevant to the article. Experimental results show that our model outperforms several strong baselines on automatic metrics, achieving state-of-the-art performance. Further human evaluation indicates that our generated distractors are more coherent and more educative compared with those distractors generated by baselines.


title: NASA Probe Study Report: Farside Array for Radio Science Investigations of the Dark ages and Exoplanets (FARSIDE)

abstract: This is the final report submitted to NASA for a Probe-class concept study of the "Farside Array for Radio Science Investigations of the Dark ages and Exoplanets" (FARSIDE), a low radio frequency interferometric array on the farside of the Moon. The design study focused on the instrument, a deployment rover, the lander and base station, and delivered an architecture broadly consistent with the requirements for a Probe mission. This notional architecture consists of 128 dipole antennas deployed across a 10 km area by a rover, and tethered to a base station for central processing, power and data transmission to the Lunar Gateway, or an alternative relay satellite. FARSIDE would provide the capability to image the entire sky each minute in 1400 channels spanning frequencies from 150 kHz to 40 MHz, extending down two orders of magnitude below bands accessible to ground-based radio astronomy. The lunar farside can simultaneously provide isolation from terrestrial radio frequency interference, auroral kilometric radiation, and plasma noise from the solar wind. This would enable near-continuous monitoring of the nearest stellar systems in the search for the radio signatures of coronal mass ejections and energetic particle events, and would also detect the magnetospheres for the nearest candidate habitable exoplanets. Simultaneously, FARSIDE would be used to characterize similar activity in our own solar system, from the Sun to the outer planets. Through precision calibration via an orbiting beacon, and exquisite foreground characterization, FARSIDE would also measure the Dark Ages global 21-cm signal at redshifts from 50-100. It will also be a pathfinder for a larger 21-cm power spectrum instrument by carefully measuring the foreground with high dynamic range.


title: Genetic Programming Hyper-Heuristics with Vehicle Collaboration for Uncertain Capacitated Arc Routing Problems

abstract: Due to its direct relevance to post-disaster operations, meter reading and civil refuse collection, the Uncertain Capacitated Arc Routing Problem (UCARP) is an important optimisation problem. Stochastic models are critical to study as they more accurately represent the real-world than their deterministic counterparts. Although there have been extensive studies in solving routing problems under uncertainty, very few have considered UCARP, and none consider collaboration between vehicles to handle the negative effects of uncertainty. This paper proposes a novel Solution Construction Procedure (SCP) that generates solutions to UCARP within a collaborative, multi-vehicle framework. It consists of two types of collaborative activities: one when a vehicle unexpectedly expends capacity (\emph{route failure}), and the other during the refill process. Then, we propose a Genetic Programming Hyper-Heuristic (GPHH) algorithm to evolve the routing policy used within the collaborative framework. The experimental studies show that the new heuristic with vehicle collaboration and GP-evolved routing policy significantly outperforms the compared state-of-the-art algorithms on commonly studied test problems. This is shown to be especially true on instances with larger numbers of tasks and vehicles. This clearly shows the advantage of vehicle collaboration in handling the uncertain environment, and the effectiveness of the newly proposed algorithm.


title: Unified Multifaceted Feature Learning for Person Re-Identification

abstract: Person re-identification (ReID) aims at re-identifying persons from different viewpoints across multiple cameras, of which it is of great importance to learn multifaceted features expressed in different parts of a person, e.g., clothes, bags, and other accessories in the main body, appearance in the head, and shoes in the foot. To learn such features, existing methods are focused on the striping-based approach that builds multi-branch neural networks to learn local features in each part of the identities, with one-branch network dedicated to one part. This results in complex models with a large number of parameters. To address this issue, this paper proposes to learn the multifaceted features in a simple unified single-branch neural network. The Unified Multifaceted Feature Learning (UMFL) framework is introduced to fulfill this goal, which consists of two key collaborative modules: compound batch image erasing (including batch constant erasing and random erasing) and hierarchical structured loss. The loss structures the augmented images resulted by the two types of image erasing in a two-level hierarchy and enforces multifaceted attention to different parts. As we show in the extensive experimental results on four benchmark person ReID datasets, despite the use of significantly simplified network structure, our method performs substantially better than state-of-the-art competing methods. Our method can also effectively generalize to vehicle ReID, achieving similar improvement on two vehicle ReID datasets.


title: Gauge symmetry and dimensionality reduction of the anisotropic pressure Hessian

abstract: Analyzing the fluid velocity gradients in a Lagrangian reference frame provides an insightful way to study the small-scale dynamics of turbulent flows, and further insight is provided by considering the equations in the eigenframe of the strain-rate tensor. The dynamics of the velocity gradient tensor is governed in part by the anisotropic pressure Hessian, which is a non-local functional of the velocity gradient field. This anisotropic pressure Hessian plays a key role in the velocity gradient dynamics, for example in preventing finite-time singularities, but it is difficult to understand and model due to its non-locality and complexity. In this work a gauge symmetry for the pressure Hessian is introduced to the eigenframe equations of the velocity gradient, such that when the gauge is added to the original pressure Hessian, the dynamics of the eigenframe variables remain unchanged. We then exploit this gauge symmetry to perform a rank reduction on the three-dimensional anisotropic pressure Hessian, which, remarkably, is possible everywhere in the flow. The dynamical activity of the newly introduced rank-reduced anisotropic pressure Hessian is confined to two dimensional manifolds in the three dimensional flow, and exhibits striking alignment properties with respect to the strain-rate eigenframe and the vorticity vector. The dimensionality reduction, together with the strong preferential alignment properties, leads to new dynamical insights for understanding and modelling the role of the anisotropic pressure Hessian in three-dimensional flows.


title: The score sequences with unique tournament that has minimum number of upsets

abstract: Let $T$ be a tournament with nondecreasing score sequence $R$ and $A$ be its tournament matrix. An upset of $T$ corresponds to an entry above the main diagonal of $A$. Given a feasible score sequence $R$, Fulkerson~(1965) gave a simple recursive construction for a tournament with score sequence $R$ and the minimum number of upsets, and Hacioglu et al. (2019) provided a construction for all of such tournament matrices. Let $U_{\min}(R)$ denote the set of tournament matrices with score sequence $R$ that have minimum number of upsets. Brauldi and Li~(1983) characterized the strong score sequences $R$ ($R$ is strong if a tournament $T$ with score sequence $R$ is strongly connected) with $|U_{\min}(R)|=1$. In this article, we characterize all feasible score sequences $R$ with $|U_{\min}(R)|=1$ and give an explicit formula for the number of the feasible score sequences $R$ with $|U_{\min}(R)|=1$.


title: Adversarial Robustness of Flow-Based Generative Models

abstract: Flow-based generative models leverage invertible generator functions to fit a distribution to the training data using maximum likelihood. Despite their use in several application domains, robustness of these models to adversarial attacks has hardly been explored. In this paper, we study adversarial robustness of flow-based generative models both theoretically (for some simple models) and empirically (for more complex ones). First, we consider a linear flow-based generative model and compute optimal sample-specific and universal adversarial perturbations that maximally decrease the likelihood scores. Using this result, we study the robustness of the well-known adversarial training procedure, where we characterize the fundamental trade-off between model robustness and accuracy. Next, we empirically study the robustness of two prominent deep, non-linear, flow-based generative models, namely GLOW and RealNVP. We design two types of adversarial attacks; one that minimizes the likelihood scores of in-distribution samples, while the other that maximizes the likelihood scores of out-of-distribution ones. We find that GLOW and RealNVP are extremely sensitive to both types of attacks. Finally, using a hybrid adversarial training procedure, we significantly boost the robustness of these generative models.


title: Towards Physics-informed Deep Learning for Turbulent Flow Prediction

abstract: While deep learning has shown tremendous success in a wide range of domains, it remains a grand challenge to incorporate physical principles in a systematic manner to the design, training, and inference of such models. In this paper, we aim to predict turbulent flow by learning its highly nonlinear dynamics from spatiotemporal velocity fields of large-scale fluid flow simulations of relevance to turbulence modeling and climate modeling. We adopt a hybrid approach by marrying two well-established turbulent flow simulation techniques with deep learning. Specifically, we introduce trainable spectral filters in a coupled model of Reynolds-averaged Navier-Stokes (RANS) and Large Eddy Simulation (LES), followed by a specialized U-net for prediction. Our approach, which we call turbulent-Flow Net (TF-Net), is grounded in a principled physics model, yet offers the flexibility of learned representations. We compare our model, TF-Net, with state-of-the-art baselines and observe significant reductions in error for predictions 60 frames ahead. Most importantly, our method predicts physical fields that obey desirable physical characteristics, such as conservation of mass, whilst faithfully emulating the turbulent kinetic energy field and spectrum, which are critical for accurate prediction of turbulent flows.


title: W-Net: Two-stage U-Net with misaligned data for raw-to-RGB mapping

abstract: Recent research on learning a mapping between raw Bayer images and RGB images has progressed with the development of deep convolutional neural networks. A challenging data set namely the Zurich Raw-to-RGB data set (ZRR) has been released in the AIM 2019 raw-to-RGB mapping challenge. In ZRR, input raw and target RGB images are captured by two different cameras and thus not perfectly aligned. Moreover, camera metadata such as white balance gains and color correction matrix are not provided, which makes the challenge more difficult. In this paper, we explore an effective network structure and a loss function to address these issues. We exploit a two-stage U-Net architecture and also introduce a loss function that is less variant to alignment and more sensitive to color differences. In addition, we show an ensemble of networks trained with different loss functions can bring a significant performance gain. We demonstrate the superiority of our method by achieving the highest score in terms of both the peak signal-to-noise ratio and the structural similarity and obtaining the second-best mean-opinion-score in the challenge.


title: On the Side Effects of Automation in IoT: Complacency and Comfort vs. Relapse and Distrust

abstract: Automation through IoT brings with it a whole new set of philosophical and ethical implications that we barely began to address. However, it is widely considered by many scholars as the panacea to overcoming the majority of societal issues. The case of energy efficiency as an action for tackling climate change is not different: demand-response proposals or occupancy-driven energy management systems crowd the current research agenda on energy efficiency. However, there are still very few studies that have reported the effects of automation in the mid or long term beyond energy reduction (e.g. emotional feelings derived to interact with automation, complacency to the devices or perceived value of the automation throughout the time). In this workshop article, we report scientific evidence of a study conducted in ten workplaces during more than one year where we found that automating some electronic devices of common use (i.e. moving away or preventing subjects from the control of these devices) in favour of comfort and energy efficiency, is associated with a reduction of the users' confidence in science and technology as a mean to solve all environmental current problems and reduce the willingness of people to act in favor of the environment.


title: Spinors of real type as polyforms and the generalized Killing equation

abstract: We develop a new framework for the study of generalized Killing spinors, where generalized Killing spinor equations, possibly with constraints, can be formulated equivalently as systems of partial differential equations for a polyform satisfying algebraic relations in the K\"ahler-Atiyah bundle constructed by quantizing the exterior algebra bundle of the underlying manifold. At the core of this framework lies the characterization, which we develop in detail, of the image of the spinor squaring map of an irreducible Clifford module $\Sigma$ of real type as a real algebraic variety in the K\"ahler-Atiyah algebra, which gives necessary and sufficient conditions for a polyform to be the square of a real spinor. We apply these results to Lorentzian four-manifolds, obtaining a new description of a real spinor on such a manifold through a certain distribution of parabolic 2-planes in its cotangent bundle. We use this result to give global characterizations of real Killing spinors on Lorentzian four-manifolds and of four-dimensional supersymmetric configurations of heterotic supergravity. In particular, we find new families of Einstein and non-Einstein four-dimensional Lorentzian metrics admitting real Killing spinors, some of which are deformations of the metric of AdS$_4$ space-time.


title: A step in the direction of resolving the paradox of Perdew-Zunger self-interaction correction

abstract: Self-interaction (SI) error, which results when exchange-correlation contributions to the total energy are approximated, limits the reliability of many density functional approximations. The Perdew-Zunger SI correction (PZSIC), when applied in conjunction with the local spin density approximation (LSDA), improves the description of many properties, but overall, this improvement is limited. Here we propose a modification to PZSIC that uses an iso-orbital indicator to identify regions where local SI corrections should be applied. Using this local-scaling SIC (LSIC) approach with LSDA, we analyze predictions for a wide range of properties including, for atoms, total energies, ionization potentials, and electron affinities, and for molecules, atomization energies, dissociation energy curves, reaction energies, and reaction barrier heights. LSIC preserves the results of PZSIC-LSDA for properties where it is successful and provides dramatic improvements for many of the other properties studied. Atomization energies calculated using LSIC are better than those of the Perdew, Burke, and Ernzerhof (PBE) generalized gradient approximation (GGA) and close to those obtained with the Strongly Constrained and Appropriately Normed (SCAN) meta-GGA. LSIC also restores the uniform gas limit for the exchange energy that is lost in PZSIC-LSDA. Further performance improvements may be obtained by an appropriate combination or modification of the local scaling factor and the particular density functional approximation.


title: Coupled MHD -- Hybrid Simulations of Space Plasmas

abstract: Heliospheric plasmas require multi-scale and multi-physics considerations. On one hand, MHD codes are widely used for global simulations of the solar-terrestrial environments, but do not provide the most elaborate physical description of space plasmas. Hybrid codes, on the other hand, capture important physical processes, such as electric currents and effects of finite Larmor radius, but they can be used locally only, since the limitations in available computational resources do not allow for their use throughout a global computational domain. In the present work, we present a new coupled scheme which allows to switch blocks in the block-adaptive grids from fluid MHD to hybrid simulations, without modifying the self-consistent computation of the electromagnetic fields acting on fluids (in MHD simulation) or charged ion macroparticles (in hybrid simulation). In this way, the hybrid scheme can refine the description in specified regions of interest without compromising the efficiency of the global MHD code.

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


title: Stellar Magnetic Activity and "Butterfly Diagram" of Kepler-63

abstract: Context. The study of young solar type stars is fundamental for a better understanding of the magnetic activity of the Sun. As a planet in transit crosses in front of its host star, a darkspot on the stellar surface may be occulted, causing a detectable variation in the light curve. Kepler-63 is a young solar-like star withan age of only 210 Myr that exhibit photometric variations compatible with spot signatures. Since its orbiting planet is in an almostpolar orbit, different latitudes of the star can be probed by the method of spot transit mapping. Methods. A total of 150 transits of Kepler-63b were observed in the short cadence light curve, corresponding to a total duration of about 4 years. Each transit light curve was fit by a model that simulates planetary transits and allows the inclusion of starspots on the surface of the host star. This enables the physical characterisation of the spots size, intensity, and location. We determine the spot position in a reference frame that rotates with the star, and thus obtain the latitudinal distribution of the spots. Results. A total of 297 spots were fit and their sizes, intensities, and positions determined. The latitude distribution of spots exhibits a bimodality with a lack of spots around 34{\deg}. The high latitude spots dominate the magnetic cycle of Kepler-63. For a mean stellar rotation period of 5.400d, 59 spots were found at approximately the same longitude and latitude on a later transit. Conclusions. Due to the geometry of the Kepler-63 system, we were able to build a starspot "butterfly diagram". It was also possible to infer Kepler-63 differential rotation from the presence of spots at different latitudes. This star was found to rotate almost rigidly with a period of 5.400d and relative shear close to 0.01% for latitudes less than 34{\deg}, whereas the high latitudes do not follow a well behaved pattern.


title: Equivariant online predictions of non-stationary time series

abstract: We discuss the finite sample theoretical properties of online predictions in non-stationary time series under model misspecification. To analyze the theoretical predictive properties of statistical methods under this setting, we first define the Kullback-Leibler risk, in order to place the problem within a decision theoretic framework. Under this framework, we show that a specific class of dynamic models -- random walk dynamic linear models -- produce exact minimax predictive densities. We first show this result under Gaussian assumptions, then relax this assumption using semi-martingale processes. This result provides a theoretical baseline, under both non-stationary and stationary time series data, for which other models can be compared against. We extend the result to the synthesis of multiple predictive densities. Three topical applications in epidemiology, climatology, and economics, confirm and highlight our theoretical results.


title: Anti-crossing properties of strong coupling system of silver nanoparticle dimers coated with thin dye molecular films analyzed by classical electromagnetism

abstract: The evidence of strong coupling between plasmons and molecular excitons for plasmonic nanoparticle (NP) dimers exhibiting ultra-sensitive surface enhanced resonant Raman scattering is the observation of anti-crossing in the coupled resonance. However, it is not easy to experimentally tune plasmon resonance of such dimers for the observation. In this work, we theoretically investigate the anti-crossing properties of the dimers coated by the thin dye films with thicknesses greater than 0.1 nm and gap distances larger than 1.2 nm according to the principles of classical electromagnetism. The plasmon resonance spectra of these dimers are strongly affected by their coupling with the exciton resonance of dye molecules. A comparison of the film thickness dependences of dimer spectral changes with those of silver ellipsoidal NPs indicates that the dipole plasmons localized in the dimer gap are coupled with molecular excitons of the film much stronger than the dipole plasmons of ellipsoidal NPs. Furthermore, the anti-crossing of coupled resonances is investigated while tuning plasmon resonance by changing the morphology and refractive index of the surrounding medium. The spectral changes observed for ellipsoidal NPs clearly exhibit anti-crossing properties; however, the anti-crossing behavior of dimers is more complex due to the strong coupling of dipoles and higher order plasmons with multiple molecular excitons. We find that the anti-crossing for dimers is clearly confirmed by the refractive index dependence of coupled resonance.


title: Globular Cluster Systems and X-Ray Atmospheres in Galaxies

abstract: We compare the empirical relationships between the mass of a galaxy's globular system M_GCS, the gas mass in the hot X-ray atmosphere M_X within a fiducial radius of 5 r_e, the total gravitational mass M_grav within 5 r_e, and lastly the total halo mass M_h calibrated from weak lensing. We use a sample of 45 early-type galaxies (ETGs) for which both GCS and X-ray data are available; all the galaxies in our sample are relatively high-mass ones with M_h > 10^12 M_sun. We find that M_X ~ M_h^1.0, similar to the previously known scaling relation M_GCS ~ M_h^1.0. Both components scale much more steeply than the more well known dependence of total stellar mass M_star ~ M_h^0.3 for luminous galaxies. These results strengthen previous suggestions that feedback had little effect on formation of the globular cluster system. The current data are also used to measure the relative mass fractions of baryonic matter and dark matter (DM) within 5 r_e. We find a strikingly uniform mean of <f_DM> = 0.83 with few outliers and an rms scatter of +-0.07. This result is in good agreement with two recent suites of hydrodynamic galaxy formation models.


title: Flexural Fatigue Life of Woven Carbon/Vinyl Ester Composites under Sea Water Saturation

abstract: The adverse effects of sea water environment on the fatigue life of woven carbon fiber/vinyl ester composites are established at room temperature in view of long-term survivability of offshore structures. It is observed that the influence of sea water saturation on the fatigue life is more pronounced when the maximum cyclic displacement approaches maximum quasi-static deflection, that is, the reduction in the number of cycles to failure are comparable between dry and sea water saturated samples at lower strain ranges (~37% at 0.46% strain), but are drastically different at higher strain ranges (~90% at 0.62% strain). Key damage modes that manifest during the fatigue loading is also identified, and a non-linear model is established for predicting low cycle fatigue life of these composites in dry and sea water saturated conditions.


title: Evaluating task-agnostic exploration for fixed-batch learning of arbitrary future tasks

abstract: Deep reinforcement learning has been shown to solve challenging tasks where large amounts of training experience is available, usually obtained online while learning the task. Robotics is a significant potential application domain for many of these algorithms, but generating robot experience in the real world is expensive, especially when each task requires a lengthy online training procedure. Off-policy algorithms can in principle learn arbitrary tasks from a diverse enough fixed dataset. In this work, we evaluate popular exploration methods by generating robotics datasets for the purpose of learning to solve tasks completely offline without any further interaction in the real world. We present results on three popular continuous control tasks in simulation, as well as continuous control of a high-dimensional real robot arm. Code documenting all algorithms, experiments, and hyper-parameters is available at https://github.com/qutrobotlearning/batchlearning.


title: Quasi-simultaneous Spectroscopic and Multi-band Photometric Observations of Blazar S5 0716+714 during 2018-2019

abstract: In order to study short timescale optical variability of $\gamma$-ray blazar S5 0716+714, quasi-simultaneous spectroscopic and multi-band photometric observations were performed from 2018 November to 2019 March with the 2.4 m optical telescope located at Lijiang Observatory of Yunnan Observatories. The observed spectra are well fitted with a power-law $F_{\lambda}=A\lambda ^{-\alpha}$ (spectral index $\alpha >0$). Correlations found between $\dot{\alpha}$, $\dot{A}$, $\dot{A}/A$, $\dot{F_{\rm{\lambda}}}$, and $\dot{F_{\rm{\lambda}}}/F_{\rm{\lambda}}$ are consistent with the trend of bluer-when-brighter (BWB). \textbf{The same case is for colors, magnitudes, color variation rates, and magnitude variation rates of photometric observations.} The variations of $\alpha$ lead those of $F_{\rm{\lambda}}$. Also, the color variations lead the magnitude variations. The observational data are mostly distributed in the I(+,+) and III(-,-) quadrants of coordinate system. Both of spectroscopic and photometric observations show BWB behaviors in S5 0716+714. The observed BWB may be explained by the shock-jet model, and its appearance may depend on the relative position of the observational frequency ranges with respect to the synchrotron peak frequencies, e.g., at the left of the peak frequencies. \textbf{Fractional variability amplitudes are $F_{\rm{var}}\sim 40\%$ for both of spectroscopic and photometric observations. Variations of $\alpha$ indicate variations of relativistic electron distribution producing the optical spectra. }


title: Ruling invariants for Legendrian graphs

abstract: We define ruling invariants for even-valence Legendrian graphs in standard contact three-space. We prove that rulings exist if and only if the DGA of the graph, introduced by the first two authors, has an augmentation. We set up the usual ruling polynomials for various notions of gradedness and prove that if the graph is four-valent, then the ungraded ruling polynomial appears in Kauffman-Vogel's graph version of the Kauffman polynomial. Our ruling invariants are compatible with certain vertex-identifying operations as well as vertical cuts and gluings of front diagrams. We also show that Leverson's definition of a ruling of a Legendrian link in a connected sum of $S^1 \times S^2$'s can be seen as a special case of ours.


title: Individual-Based Stability in Hedonic Diversity Games

abstract: In hedonic diversity games (HDGs), recently introduced by Bredereck, Elkind and Igarashi (2019), each agent belongs to one of two classes (men and women, vegetarians and meat-eaters, junior and senior researchers), and agents' preferences over coalitions are determined by the fraction of agents from their class in each coalition. Bredereck et al. show that while an HDG may fail to have a Nash stable (NS) or a core stable (CS) outcome, every HDG in which all agents have single-peaked preferences admits an individually stable (IS) outcome, which can be computed in polynomial time. In this work, we extend and strengthen these results in several ways. First, we establish that the problem of deciding if an HDG has an NS outcome is NP-complete, but admits an XP algorithm with respect to the size of the smaller class. Second, we show that, in fact, all HDGs admit IS outcomes that can be computed in polynomial time; our algorithm for finding such outcomes is considerably simpler than that of Bredereck et al. We also consider two ways of generalizing the model of Bredereck et al. to k > 2 classes. We complement our theoretical results by empirical analysis, comparing the IS outcomes found by our algorithm, the algorithm of Bredereck et al. and a natural better-response dynamics.


title: MMTM: Multimodal Transfer Module for CNN Fusion

abstract: In late fusion, each modality is processed in a separate unimodal Convolutional Neural Network (CNN) stream and the scores of each modality are fused at the end. Due to its simplicity late fusion is still the predominant approach in many state-of-the-art multimodal applications. In this paper, we present a simple neural network module for leveraging the knowledge from multiple modalities in convolutional neural networks. The propose unit, named Multimodal Transfer Module (MMTM), can be added at different levels of the feature hierarchy, enabling slow modality fusion. Using squeeze and excitation operations, MMTM utilizes the knowledge of multiple modalities to recalibrate the channel-wise features in each CNN stream. Despite other intermediate fusion methods, the proposed module could be used for feature modality fusion in convolution layers with different spatial dimensions. Another advantage of the proposed method is that it could be added among unimodal branches with minimum changes in the their network architectures, allowing each branch to be initialized with existing pretrained weights. Experimental results show that our framework improves the recognition accuracy of well-known multimodal networks. We demonstrate state-of-the-art or competitive performance on four datasets that span the task domains of dynamic hand gesture recognition, speech enhancement, and action recognition with RGB and body joints.


title: Topological pressure, mistake functions and average metric

abstract: In this paper, we showed that the Pesin pressure of any subset under a mistake function is equal to the classical Pesin pressure of the subset in dynamical systems. Our result extended the result of [1] in additive case, which proved the topological pressure of the whole system is self adaptable under a mistake function. As an application, we showed that the Pesin pressure defined by average metric is equal to the classical Pesin pressure.


title: Active spatial control of terahertz graphene plasmons by tailoring carrier density profile

abstract: Graphene offers a possibility for actively controlling plasmon confinement and propagation by tailoring its spatial conductivity pattern. However, implementation of this concept has been hampered because uncontrollable plasmon reflection is easily induced by inhomogeneous dielectric environment. In this work, we demonstrate full electrical control of plasmon reflection/transmission at electronic boundaries induced by a zinc-oxide-based dual gate, which is designed to minimize the dielectric modulation. Using Fourier-transform infrared spectroscopy, we show that the plasmon reflection can be varied continuously with the carrier density difference between the adjacent regions. By utilizing this functionality, we show the ability to control size, position, and frequency of plasmon cavities. Our approach can be applied to various types of plasmonic devices, paving the way for implementing a programmable plasmonic circuit.


title: Global Greedy Dependency Parsing

abstract: Most syntactic dependency parsing models may fall into one of two categories: transition- and graph-based models. The former models enjoy high inference efficiency with linear time complexity, but they rely on the stacking or re-ranking of partially-built parse trees to build a complete parse tree and are stuck with slower training for the necessity of dynamic oracle training. The latter, graph-based models, may boast better performance but are unfortunately marred by polynomial time inference. In this paper, we propose a novel parsing order objective, resulting in a novel dependency parsing model capable of both global (in sentence scope) feature extraction as in graph models and linear time inference as in transitional models. The proposed global greedy parser only uses two arc-building actions, left and right arcs, for projective parsing. When equipped with two extra non-projective arc-building actions, the proposed parser may also smoothly support non-projective parsing. Using multiple benchmark treebanks, including the Penn Treebank (PTB), the CoNLL-X treebanks, and the Universal Dependency Treebanks, we evaluate our parser and demonstrate that the proposed novel parser achieves good performance with faster training and decoding.


title: Toward a Wired Ad Hoc Nanonetwork

abstract: Nanomachines promise to enable new medical applications, including drug delivery and real time chemical reactions' detection inside the human body. Such complex tasks need cooperation between nanomachines using a communication network. Wireless Ad hoc networks, using molecular or electromagnetic-based communication have been proposed in the literature to create flexible nanonetworks between nanomachines. In this paper, we propose a Wired Ad hoc NanoNETwork (WANNET) model design using actin-based nano-communication. In the proposed model, actin filaments self-assembly and disassembly is used to create flexible nanowires between nanomachines, and electrons are used as carriers of information. We give a general overview of the application layer, Medium Access Control (MAC) layer and a physical layer of the model. We also detail the analytical model of the physical layer using actin nanowire equivalent circuits, and we present an estimation of the circuit component's values. Numerical results of the derived model are provided in terms of attenuation, phase and delay as a function of the frequency and distances between nanomachines. The maximum throughput of the actin-based nanowire is also provided, and a comparison between the maximum throughput of the proposed WANNET, vs other proposed approaches is presented. The obtained results prove that the proposed wired ad hoc nanonetwork can give a very high achievable throughput with a smaller delay compared to other proposed wireless molecular communication networks.


title: Exploring the origin of moving groups and diagonal ridges by simulations of stellar orbits and birthplaces

abstract: The present paper is the culminating one of a series aimed to contribute to the understanding of the kinematic structures of the solar neighbourhood (SN), explaining the origin of the Local Arm and relating the moving groups with the spiral-arms resonances in the disk. With a model for the Galactic potential, with the Sun inside the spiral corotation resonance (CR), we integrate the 2D orbits of test particles distributed in birthplaces along the main spiral arms, the Local Arm, and in the axisymmetric disk. A comparison of the resulting U-V plane of the SN with that provided by Gaia DR2 confirms our previous conclusion that the moving groups of Coma Berenices, Pleiades, and Hyades are associated with the CR, and that the Hercules stream is formed by the bulk of high-order inner Lindblad resonances. The kinematic structures result from stellar orbits trapped by the spiral resonances in a timespan of ~ 1 Gyr, indicating the long-living nature of the spiral structure and challenging recent arguments in favor of short-lived structures originated from incomplete phase mixing in the Galactic disk. As a byproduct, our simulations give some insight into the birthplaces of the stars presently located in the SN; the majority of stars of the main moving groups and the Hercules stream were likely born in the Local Arm, while stars of the Sirius group possibly originated from the outer segment of the Sagittarius-Carina arm. We also propose the spiral resonances as the dynamical origin for the diagonal ridges in the Galactic distribution of rotation velocities.


title: DomainScope: A disease network based on protein domain connections

abstract: Protein domains are highly conserved functional units of proteins. Because they carry functionally significant information, the majority of the coding disease variants are located on domains. Additionally, domains are specific units of the proteins that can be targeted for drug delivery purposes. Here, using information about variants sites associated with diseases, a disease network was built, based on their sharing the same domain and domain variation site. The result was 49,990 disease pairs linked by domain variant site and 533,687 disease pairs that share the same mutated domain. These pairs were compared to disease pairs made using previous methods such as gene identity and gene variant site identity, which revealed that over 8,000 of these pairs were not only missing from the gene pairings but also not found commonly together in literature. The disease network was analyzed from their disease subject categories, which when compared to the gene-based disease network revealed that the domain method results in higher number of connections across disease categories versus within a disease category. Further, a study into the drug repurposing possibilities of the disease network created using domain revealed that 16,902 of the disease pairs had a drug reported for one disease but not the other, highlighting the drug repurposing potential of this new methodology.


title: Visualizing molecular orientational ordering and electronic structure in CsnC60 fulleride films

abstract: Alkali-doped fullerides exhibit a wealth of unusual phases that remain controversial by nature. Here we report a cryogenic scanning tunneling microscopy study of the sub-molecular structural and electronic properties of expanded fullerene C60 films with various cesium (Cs) doping. By varying the discrete charge states and film thicknesses, we reveal a large tunability of orientational ordering of C60 anions, yet the tunneling conductance spectra are all robustly characteristic of energy gaps, hallmarks of Jahn-Teller instability and electronic correlations. The Fermi level lies halfway within the insulating gap for stoichiometric Cs doping level of n = 1, 2, 3 and 4, apart from which it moves toward band edges with concomitant electronic states within the energy gap. Our findings establish the universality of Jahn-Teller instability, and clarify the relationship among the doping, structural and electronic structures in CsnC60 fullerides.


title: Robust Triple-Matrix-Recovery-Based Auto-Weighted Label Propagation for Classification

abstract: The graph-based semi-supervised label propagation algorithm has delivered impressive classification results. However, the estimated soft labels typically contain mixed signs and noise, which cause inaccurate predictions due to the lack of suitable constraints. Moreover, available methods typically calculate the weights and estimate the labels in the original input space, which typically contains noise and corruption. Thus, the en-coded similarities and manifold smoothness may be inaccurate for label estimation. In this paper, we present effective schemes for resolving these issues and propose a novel and robust semi-supervised classification algorithm, namely, the tri-ple-matrix-recovery-based robust auto-weighted label propa-gation framework (ALP-TMR). Our ALP-TMR introduces a triple matrix recovery mechanism to remove noise or mixed signs from the estimated soft labels and improve the robustness to noise and outliers in the steps of assigning weights and pre-dicting the labels simultaneously. Our method can jointly re-cover the underlying clean data, clean labels and clean weighting spaces by decomposing the original data, predicted soft labels or weights into a clean part plus an error part by fitting noise. In addition, ALP-TMR integrates the au-to-weighting process by minimizing reconstruction errors over the recovered clean data and clean soft labels, which can en-code the weights more accurately to improve both data rep-resentation and classification. By classifying samples in the recovered clean label and weight spaces, one can potentially improve the label prediction results. The results of extensive experiments demonstrated the satisfactory performance of our ALP-TMR.


title: Differential subalgebras and norm-controlled inversion

abstract: In this paper, we consider the norm-controlled inversion for differential $*$-subalgebras of a symmetric $*$-algebra with common identity and involution.


title: Discriminative Local Sparse Representation by Robust Adaptive Dictionary Pair Learning

abstract: In this paper, we propose a structured Robust Adaptive Dic-tionary Pair Learning (RA-DPL) framework for the discrim-inative sparse representation learning. To achieve powerful representation ability of the available samples, the setting of RA-DPL seamlessly integrates the robust projective dictionary pair learning, locality-adaptive sparse representations and discriminative coding coefficients learning into a unified learning framework. Specifically, RA-DPL improves existing projective dictionary pair learning in four perspectives. First, it applies a sparse l2,1-norm based metric to encode the recon-struction error to deliver the robust projective dictionary pairs, and the l2,1-norm has the potential to minimize the error. Sec-ond, it imposes the robust l2,1-norm clearly on the analysis dictionary to ensure the sparse property of the coding coeffi-cients rather than using the costly l0/l1-norm. As such, the robustness of the data representation and the efficiency of the learning process are jointly considered to guarantee the effi-cacy of our RA-DPL. Third, RA-DPL conceives a structured reconstruction weight learning paradigm to preserve the local structures of the coding coefficients within each class clearly in an adaptive manner, which encourages to produce the locality preserving representations. Fourth, it also considers improving the discriminating ability of coding coefficients and dictionary by incorporating a discriminating function, which can ensure high intra-class compactness and inter-class separation in the code space. Extensive experiments show that our RA-DPL can obtain superior performance over other state-of-the-arts.


title: Color-wise Attention Network for Low-light Image Enhancement

abstract: Absence of nearby light sources while capturing an image will degrade the visibility and quality of the captured image, making computer vision tasks difficult. In this paper, a color-wise attention network (CWAN) is proposed for low-light image enhancement based on convolutional neural networks. Motivated by the human visual system when looking at dark images, CWAN learns an end-to-end mapping between low-light and enhanced images while searching for any useful color cues in the low-light image to aid in the color enhancement process. Once these regions are identified, CWAN attention will be mainly focused to synthesize these local regions, as well as the global image. Both quantitative and qualitative experiments on challenging datasets demonstrate the advantages of our method in comparison with state-of-the-art methods.


title: Ensuring Reliable Monte Carlo Estimates of Network Properties

abstract: The literature in social network analysis has largely focused on methods and models which require complete network data; however there exist many networks which can only be studied via sampling methods due to the scale or complexity of the network, access limitations, or the population of interest is hard to reach. In such cases, the application of random walk-based Markov chain Monte Carlo (MCMC) methods to estimate multiple network features is common. However, the reliability of these estimates has been largely ignored. We consider and further develop multivariate MCMC output analysis methods in the context of network sampling to directly address the reliability of the multivariate estimation. This approach yields principled, computationally efficient, and broadly applicable methods for assessing the Monte Carlo estimation procedure. In particular, with respect to two random-walk algorithms, a simple random walk and a Metropolis-Hastings random walk, we construct and compare network parameter estimates, effective sample sizes, coverage probabilities, and stopping rules, all of which speaks to the estimation reliability.


title: Angular-Domain Selective Channel Tracking and Doppler Compensation for High-Mobility mmWave Massive MIMO

abstract: In this paper, we consider a mmWave massive multiple-input multiple-output (MIMO) communication system with one static base station (BS) serving a fast-moving user, both equipped with a very large array. The transmitted signal arrives at the user through multiple paths, each with a different angle of-arrival and hence Doppler frequency offset, thus resulting in a fast time-varying multipath fading MIMO channel. In order to mitigate the Doppler-induced channel aging for reduced pilot overhead, we propose a new angular-domain selective channel tracking and Doppler compensation scheme at the user side. We formulate the joint estimation of partial angular-domain channel and DFO parameters as a dynamic compressive sensing problem. Then we propose a Doppler-aware-dynamic variational Bayesian inference (DD-VBI) algorithm to solve this problem efficiently. Finally, we propose a practical DFO compensation scheme which selects the dominant paths of the fast time-varying channel for DFO compensation and thereby converts it into a slow time-varying effective channel. Compared with the existing methods, the proposed scheme can enjoy the huge array gain provided by the massive MIMO and also balance the tradeoff between the CSI signaling overhead and spatial multiplexing gain. Simulation results verify the advantages of the proposed scheme over various baseline schemes.


title: TITAN: A Spatiotemporal Feature Learning Framework for Traffic Incident Duration Prediction

abstract: Critical incident stages identification and reasonable prediction of traffic incident duration are essential in traffic incident management. In this paper, we propose a traffic incident duration prediction model that simultaneously predicts the impact of the traffic incidents and identifies the critical groups of temporal features via a multi-task learning framework. First, we formulate a sparsity optimization problem that extracts low-level temporal features based on traffic speed readings and then generalizes higher level features as phases of traffic incidents. Second, we propose novel constraints on feature similarity exploiting prior knowledge about the spatial connectivity of the road network to predict the incident duration. The proposed problem is challenging to solve due to the orthogonality constraints, non-convexity objective, and non-smoothness penalties. We develop an algorithm based on the alternating direction method of multipliers (ADMM) framework to solve the proposed formulation. Extensive experiments and comparisons to other models on real-world traffic data and traffic incident records justify the efficacy of our model.


title: Star Formation in Accretion Disks and SMBH Growth

abstract: Accretion disks around active galactic nuclei are potentially unstable to star formation at large radii. We note that when the compact objects formed from some of these stars spiral into the central supermassive black hole, there is no radiative feedback and therefore the accretion rate is not limited by radiation forces. Using a set of accretion disk models, we calculate the accretion rate onto the central supermassive black hole in both gas and compact objects. We find that the timescale for a supermassive black hole to double in mass can decrease by factors ranging from $\sim0.7$ to as low as $\sim0.1$ in extreme cases, compared to gas accretion alone. Our results suggest that the formation of extremely massive black holes at high redshift may occur without prolonged super-Eddington gas accretion or very massive seed black holes. We comment on potential observational signatures as well as implications for other observations of active galactic nuclei.


title: On Degree Sum Conditions and Vertex-Disjoint Chorded Cycles

abstract: In this paper, we consider a general degree sum condition sufficient to imply the existence of $k$ vertex-disjoint chorded cycles in a graph $G$. Let $\sigma_t(G)$ be the minimum degree sum of $t$ independent vertices of $G$. We prove that if $G$ is a graph of sufficiently large order and $\sigma_t(G)\geq 3kt-t+1$ with $k\geq 1$, then $G$ contains $k$ vertex-disjoint chorded cycles. We also show that the degree sum condition on $\sigma_t(G)$ is sharp. To do this, we also investigate graphs without chorded cycles.