title: Low-Rank Approximability and Entropy Area Laws for Ground States of Unbounded Hamiltonians

abstract: We show how local bounded interactions in an unbounded Hamiltonian lead to eigenfunctions with favorable low-rank properties. To this end, we utilize ideas from quantum entanglement of multi-particle spin systems. We begin by analyzing the connection between entropy area laws and low-rank approximability. The characterization for 1D chains such as Matrix Product States (MPS) / Tensor Trains (TT) is rather extensive though incomplete. We then show that a Nearest Neighbor Interaction (NNI) Hamiltonian has eigenfunctions that are approximately separable in a certain sense. Under a further assumption on the approximand, we show that this implies a constant entropy bound. To the best of our knowledge, this work is the first analysis of low-rank approximability for unbounded Hamiltonians. Moreover, it extends previous results on entanglement entropy area laws to unbounded operators. The assumptions include a variety of self-adjoint operators and have a physical interpretation. The weak points are the aforementioned assumption on the approximand and that the validity is limited to MPS/TT formats.

categories: math.FA cs.NA math-ph math.AP math.MP math.NA


title: C2S2: Cost-aware Channel Sparse Selection for Progressive Network Pruning

abstract: This paper describes a channel-selection approach for simplifying deep neural networks. Specifically, we propose a new type of generic network layer, called pruning layer, to seamlessly augment a given pre-trained model for compression. Each pruning layer, comprising $1 \times 1$ depth-wise kernels, is represented with a dual format: one is real-valued and the other is binary. The former enables a two-phase optimization process of network pruning to operate with an end-to-end differentiable network, and the latter yields the mask information for channel selection. Our method progressively performs the pruning task layer-wise, and achieves channel selection according to a sparsity criterion to favor pruning more channels. We also develop a cost-aware mechanism to prevent the compression from sacrificing the expected network performance. Our results for compressing several benchmark deep networks on image classification and semantic segmentation are comparable to those by state-of-the-art.


title: Spinning Radiation from Topological Insulator

abstract: We show that thermal radiation from a topological insulator carries a nonzero average spin angular momentum.


title: Well-Rounded Lattices via Polynomials

abstract: Well-rounded lattices have been a topic of recent studies with applications in wiretap channels and in cryptography. A lattice of full rank in Euclidean space is called well-rounded if its set of minimal vectors spans the whole space. In this paper, we investigate when lattices coming from polynomials with integer coefficients are well-rounded.


title: Stellar Variability with Photometric and Spectroscopic Analysis of five Am Field Stars

abstract: The spectroscopic and photometric analysis of sample Am stars are carried out to determine the stellar characteristics of each studied star. The CCD photometric analysis of HD 98851 and HD 207561 show clear evidence of pulsation variability of 1.55 hr and 5.8 min respectively. Similarly, a clear evidence of the photometric variability is also found for an Am star HD 73045 which is likely to be pulsating in nature with a period of about 36-min. We are also found dissimilar behaviour of elemental abundances of various ions for HD 113878 and HD 118660. The basic stellar parameters (mass, luminosity, radius, life time, distance, proper-motion etc.) are determined for each sample stars. The tidal radius and boundaries of habitable zone of each star are also computed to search the extra-terrestrial life. Asteroseismic mass scale test shows greater stellar masses compare to the solar mass.


title: Multi-user Communication in Difficult Interference

abstract: The co-channel interference (CCI) is one of the major impairments in wireless communication. CCI typically reduces the reliability of wireless communication links, but the difficult CCI which is no more or less strong to the desired signals destroys wireless links despite having myriad of CCI mitigation methods. It is shown in this paper that M-QAM (Quadrature Amplitude Modulation) or similar modulation schemes which modulate information both in in-phase and quadrature-phase are particularly vulnerable to difficult CCI. Despite well-known shortcomings, it is shown in this paper that M-PAM or similar schemes that use a single dimension for modulation provides an important mean for difficult CCI mitigation.


title: Team QCRI-MIT at SemEval-2019 Task 4: Propaganda Analysis Meets Hyperpartisan News Detection

abstract: In this paper, we describe our submission to SemEval-2019 Task 4 on Hyperpartisan News Detection. Our system relies on a variety of engineered features originally used to detect propaganda. This is based on the assumption that biased messages are propagandistic in the sense that they promote a particular political cause or viewpoint. We trained a logistic regression model with features ranging from simple bag-of-words to vocabulary richness and text readability features. Our system achieved 72.9% accuracy on the test data that is annotated manually and 60.8% on the test data that is annotated with distant supervision. Additional experiments showed that significant performance improvements can be achieved with better feature pre-processing.


title: Continuous stochastic processes with non-local memory

abstract: We study the non-Markovian random continuous processes described by the Mori-Zwanzig equation. As a starting point, we use the Markovian Gaussian Ornstein-Uhlenbeck process and introduce an integral memory term depending on the past of the process into expression for the higher-order transition probability function and stochastic differential equation. We show that the proposed processes can be considered as continuous-time interpolations of discrete-time higher-order autoregressive sequences. An equation connecting the memory function (the kernel of integral term) and the two-point correlation function is obtained. A condition for stationarity of the process is established. We suggest a method to generate stationary continuous stochastic processes with prescribed pair correlation function. As illustration, some examples of numerical simulation of the processes with non-local memory are presented.


title: Split Batch Normalization: Improving Semi-Supervised Learning under Domain Shift

abstract: Recent work has shown that using unlabeled data in semi-supervised learning is not always beneficial and can even hurt generalization, especially when there is a class mismatch between the unlabeled and labeled examples. We investigate this phenomenon for image classification on the CIFAR-10 and the ImageNet datasets, and with many other forms of domain shifts applied (e.g. salt-and-pepper noise). Our main contribution is Split Batch Normalization (Split-BN), a technique to improve SSL when the additional unlabeled data comes from a shifted distribution. We achieve it by using separate batch normalization statistics for unlabeled examples. Due to its simplicity, we recommend it as a standard practice. Finally, we analyse how domain shift affects the SSL training process. In particular, we find that during training the statistics of hidden activations in late layers become markedly different between the unlabeled and the labeled examples.


title: Instance-Level Meta Normalization

abstract: This paper presents a normalization mechanism called Instance-Level Meta Normalization (ILM~Norm) to address a learning-to-normalize problem. ILM~Norm learns to predict the normalization parameters via both the feature feed-forward and the gradient back-propagation paths. ILM~Norm provides a meta normalization mechanism and has several good properties. It can be easily plugged into existing instance-level normalization schemes such as Instance Normalization, Layer Normalization, or Group Normalization. ILM~Norm normalizes each instance individually and therefore maintains high performance even when small mini-batch is used. The experimental results show that ILM~Norm well adapts to different network architectures and tasks, and it consistently improves the performance of the original models. The code is available at url{https://github.com/Gasoonjia/ILM-Norm.


title: Nonparametric tests for transition probabilities in nonhomogeneous Markov processes

abstract: This paper proposes nonparametric two-sample tests for the direct comparison of the probabilities of a particular transition between states of a continuous time nonhomogeneous Markov process with a finite state space. The proposed tests are a linear nonparametric test, an L2-norm-based test and a Kolmogorov-Smirnov-type test. Significance level assessment is based on rigorous procedures, which are justified through the use of modern empirical process theory. Moreover, the L2-norm and the Kolmogorov-Smirnov-type tests are shown to be consistent for every fixed alternative hypothesis. The proposed tests are also extended to more complex situations such as cases with incompletely observed absorbing states and non-Markov processes. Simulation studies show that the test statistics perform well even with small sample sizes. Finally, the proposed tests are applied to data on the treatment of early breast cancer from the European Organization for Research and Treatment of Cancer (EORTC) trial 10854, under an illness-death model.


title: Tracking Discrete and Continuous Entity State for Process Understanding

abstract: Procedural text, which describes entities and their interactions as they undergo some process, depicts entities in a uniquely nuanced way. First, each entity may have some observable discrete attributes, such as its state or location; modeling these involves imposing global structure and enforcing consistency. Second, an entity may have properties which are not made explicit but can be effectively induced and tracked by neural networks. In this paper, we propose a structured neural architecture that reflects this dual nature of entity evolution. The model tracks each entity recurrently, updating its hidden continuous representation at each step to contain relevant state information. The global discrete state structure is explicitly modeled with a neural CRF over the changing hidden representation of the entity. This CRF can explicitly capture constraints on entity states over time, enforcing that, for example, an entity cannot move to a location after it is destroyed. We evaluate the performance of our proposed model on QA tasks over process paragraphs in the ProPara dataset and find that our model achieves state-of-the-art results.


title: Protection numbers in simply generated trees and P\'olya trees

abstract: We determine the limit of the expected value and the variance of the protection number of the root in simply generated trees, in P\'olya trees, and in unlabelled non-plane binary trees, when the number of vertices tends to infinity. Moreover, we compute expectation and variance of the protection number of a randomly chosen vertex in all those tree classes. We obtain exact formulas as sum representations, where the obtained sums are rapidly converging and therefore allowing an efficient numerical computation of high accuracy. Most proofs are based on a singularity analysis of generating functions.


title: Fast and slow decaying solutions for $H^{1}$-supercritical quasilinear Schr\"{o}dinger equations

abstract: We consider the following quasilinear Schr\"{o}dinger equations of the form \begin{equation*} \triangle u-\varepsilon V(x)u+u\triangle u^2+u^{p}=0,\ u>0\ \mbox{in}\ \mathbb{R}^N\ \mbox{and}\ \underset{|x|\rightarrow \infty}{\lim} u(x)=0, \end{equation*} where $N\geq 3,$ $p>\frac{N+2}{N-2},$ $\varepsilon>0$ and $V(x)$ is a positive function. By imposing appropriate conditions on $V(x),$ we prove that, for $\varepsilon=1,$ the existence of infinity many positive solutions with slow decaying $O(|x|^{-\frac{2}{p-1}})$ at infinity if $p>\frac{N+2}{N-2}$ and, for $\varepsilon$ sufficiently small, a positive solution with fast decaying $O(|x|^{2-N})$ if $\frac{N+2}{N-2}<p<\frac{3N+2}{N-2}.$ The proofs are based on perturbative approach. To this aim, we also analyze the structure of positive solutions for the zero mass problem.


title: Type-Level Computations for Ruby Libraries

abstract: Many researchers have explored ways to bring static typing to dynamic languages. However, to date, such systems are not precise enough when types depend on values, which often arises when using certain Ruby libraries. For example, the type safety of a database query in Ruby on Rails depends on the table and column names used in the query. To address this issue, we introduce CompRDL, a type system for Ruby that allows library method type signatures to include type-level computations (or comp types for short). Combined with singleton types for table and column names, comp types let us give database query methods type signatures that compute a table's schema to yield very precise type information. Comp types for hash, array, and string libraries can also increase precision and thereby reduce the need for type casts. We formalize CompRDL and prove its type system sound. Rather than type check the bodies of library methods with comp types---those methods may include native code or be complex---CompRDL inserts run-time checks to ensure library methods abide by their computed types. We evaluated CompRDL by writing annotations with type-level computations for several Ruby core libraries and database query APIs. We then used those annotations to type check two popular Ruby libraries and four Ruby on Rails web apps. We found the annotations were relatively compact and could successfully type check 132 methods across our subject programs. Moreover, the use of type-level computations allowed us to check more expressive properties, with fewer manually inserted casts, than was possible without type-level computations. In the process, we found two type errors and a documentation error that were confirmed by the developers. Thus, we believe CompRDL is an important step forward in bringing precise static type checking to dynamic languages.


title: Taco-VC: A Single Speaker Tacotron based Voice Conversion with Limited Data

abstract: This paper introduces Taco-VC, a novel architecture for voice conversion based on Tacotron synthesizer, which is a sequence-to-sequence with attention model. The training of multi-speaker voice conversion systems requires a large number of resources, both in training and corpus size. Taco-VC is implemented using a single speaker Tacotron synthesizer based on Phonetic PosteriorGrams (PPGs) and a single speaker WaveNet vocoder conditioned on mel spectrograms. To enhance the converted speech quality, and to overcome over-smoothing, the outputs of Tacotron are passed through a novel speechenhancement network, which is composed of a combination of the phoneme recognition and Tacotron networks. Our system is trained just with a single speaker corpus and adapts to new speakers using only a few minutes of training data. Using mid-size public datasets, our method outperforms the baseline in the VCC 2018 SPOKE non-parallel voice conversion task and achieves competitive results compared to multi-speaker networks trained on large private datasets.


title: Observation of Weyl nodes in robust type-II Weyl semimetal WP2

abstract: Distinct to type-I Weyl semimetals (WSMs) that host quasiparticles described by the Weyl equation, the energy dispersion of quasiparticles in type-II WSMs violates Lorentz invariance and the Weyl cones in the momentum space are tilted. Since it was proposed that type-II Weyl fermions could emerge from (W,Mo)Te2 and (W,Mo)P2 families of materials, a large numbers of experiments have been dedicated to unveil the possible manifestation of type-II WSM, e.g. the surface-state Fermi arcs. However, the interpretations of the experimental results are very controversial. Here, using angle-resolved photoemission spectroscopy supported by the first-principles calculations, we probe the tilted Weyl cone bands in the bulk electronic structure of WP2 directly, which are at the origin of Fermi arcs at the surfaces and transport properties related to the chiral anomaly in type-II WSMs. Our results ascertain that due to the spin-orbit coupling the Weyl nodes originate from the splitting of 4-fold degenerate band-crossing points with Chern numbers C = $\pm$2 induced by the crystal symmetries of WP2, which is unique among all the discovered WSMs. Our finding also provides a guiding line to observe the chiral anomaly which could manifest in novel transport properties.


title: A Big Data Analytics Framework to Predict the Risk of Opioid Use Disorder

abstract: Overdose related to prescription opioids have reached an epidemic level in the US, creating an unprecedented national crisis. This has been exacerbated partly due to the lack of tools for physicians to help predict the risk of whether a patient will develop opioid use disorder. Little is known about how machine learning can be applied to a big-data platform to ensure an informed, sustained and judicious prescribing of opioids, in particular for commercially insured population. This study explores Massachusetts All Payer Claims Data, a de-identified healthcare dataset, and proposes a machine learning framework to examine how na\"ive users develop opioid use disorder. We perform several feature selections techniques to identify influential demographic and clinical features associated with opioid use disorder from a class imbalanced analytic sample. We then compare the predictive power of four well-known machine learning algorithms: Logistic Regression, Random Forest, Decision Tree, and Gradient Boosting to predict the risk of opioid use disorder. The study results show that the Random Forest model outperforms the other three algorithms while determining the features, some of which are consistent with prior clinical findings. Moreover, alongside the higher predictive accuracy, the proposed framework is capable of extracting some risk factors that will add significant knowledge to what is already known in the extant literature. We anticipate that this study will help healthcare practitioners improve the current prescribing practice of opioids and contribute to curb the increasing rate of opioid addiction and overdose.


title: Dense 3D Face Decoding over 2500FPS: Joint Texture & Shape Convolutional Mesh Decoders

abstract: 3D Morphable Models (3DMMs) are statistical models that represent facial texture and shape variations using a set of linear bases and more particular Principal Component Analysis (PCA). 3DMMs were used as statistical priors for reconstructing 3D faces from images by solving non-linear least square optimization problems. Recently, 3DMMs were used as generative models for training non-linear mappings (\ie, regressors) from image to the parameters of the models via Deep Convolutional Neural Networks (DCNNs). Nevertheless, all of the above methods use either fully connected layers or 2D convolutions on parametric unwrapped UV spaces leading to large networks with many parameters. In this paper, we present the first, to the best of our knowledge, non-linear 3DMMs by learning joint texture and shape auto-encoders using direct mesh convolutions. We demonstrate how these auto-encoders can be used to train very light-weight models that perform Coloured Mesh Decoding (CMD) in-the-wild at a speed of over 2500 FPS.


title: Gibbs States and Gibbsian Specifications on the space $\mathbb{R}^{\mathbb{N}}$

abstract: We are interested in the study of Gibbs and equilbrium probabilities on the lattice $\mathbb{R}^{\mathbb{N}}$. Consider the unilateral full-shift defined on the non-compact set $\mathbb{R}^{\mathbb{N}}$ and an $\alpha$-H\"older continuous potential $A$ from $\mathbb{R}^{\mathbb{N}}$ into $\mathbb{R}$. From a suitable class of a priori probability measures $\nu$ (over the Borelian sets of $\mathbb{R}$) we define the Ruelle operator associated to $A$ (using an adequate extension of this operator to the compact set $\overline{\mathbb{R}}^\mathbb{N}=(S^1)^\mathbb{N}$) and we show the existence of eigenfunctions, conformal probability measures and equilibrium states associated to $A$. We are also able to show several of the well known classical properties of Thermodynamic Formalism for both of these probability measures. The above, can be seen as a generalization of the results obtained in the compact case for the XY-model. We also introduce an extension of the definition of entropy and show the existence of $A$-maximizing measures (via ground states for $A$); we show the existence of the zero temperature limit under some mild assumptions. Moreover, we prove the existence of an involution kernel for $A$ (this requires to consider the bilateral full-shift on $\mathbb{R}^{\mathbb{Z}}$). Finally, we build a Gibbsian specification for the Borelian sets on the set $\mathbb{R}^{\mathbb{N}}$ and we show that this family of probability measures satisfies a \emph{FKG}-inequality.

categories: math.DS cond-mat.stat-mech math-ph math.MP math.PR


title: The Zak transform and representations induced from characters of an abelian subgroup

abstract: We consider a variant of the Zak transform for a finite group $G$ with respect to a fixed abelian subgroup $H$, and demonstrate a relationship with representations of $G$ induced from characters of $H$. We also show how the Zak transform can be used to study right translations by $H$ in $L^2(G)$, and give some examples of applications for equiangular tight frames.


title: Harmonic Models and Bernoullicity

abstract: We give many examples of algebraic actions which are factors of Bernoulli shifts. These include certain harmonic models over left orderable groups of large enough growth, as well as algebraic actions associated to certain lopsided elements in any left orderable group. For many of our examples, the acting group is amenable so these actions are Bernoulli (and not just a factor of a Bernoulli), but there is no obvious Bernoulli partition.


title: Phenomenological description of the dynamics of bipartite antiferromagnets in the limit of strong exchange

abstract: The equation of motion of the staggered order parameter is derived in a step-by-step manner from the coupled Landau-Lifshitz-Gilbert dynamics of bipartite spin moments in the limit of strong antiferromagnetic exchange coupling.


title: A Bayesian Theory of Change Detection in Statistically Periodic Random Processes

abstract: A new class of stochastic processes called independent and periodically identically distributed (i.p.i.d.) processes is defined to capture periodically varying statistical behavior. A novel Bayesian theory is developed for detecting a change in the distribution of an i.p.i.d. process. It is shown that the Bayesian change point problem can be expressed as a problem of optimal control of a Markov decision process (MDP) with periodic transition and cost structures. Optimal control theory is developed for periodic MDPs for discounted and undiscounted total cost criteria. A fixed-point equation is obtained that is satisfied by the optimal cost function. It is shown that the optimal policy for the MDP is nonstationary but periodic in nature. A value iteration algorithm is obtained to compute the optimal cost function. The results from the MDP theory are then applied to detect changes in i.p.i.d. processes. It is shown that while the optimal change point algorithm is a stopping rule based on a periodic sequence of thresholds, a single-threshold policy is asymptotically optimal, as the probability of false alarm goes to zero. Numerical results are provided to demonstrate that the asymptotically optimal policy is not strictly optimal.


title: Decoding hand kinematics from population responses in sensorimotor cortex during grasping

abstract: The hand, a complex effector comprising dozens of degrees of freedom of movement, endows us with the ability to flexibly, precisely, and effortlessly interact with objects. The neural signals associated with dexterous hand movements in primary motor cortex (M1) and somatosensory cortex (SC) have received comparatively less attention than have those that are associated with proximal limb control. To fill this gap, we trained three monkeys to grasp objects varying in size, shape and orientation while tracking their hand postures and recording single-unit activity from M1 and SC. We then decoded their hand kinematics across 30 joints from population activity in these areas. We found that we could accurately decode kinematics with a small number of neural signals and that performance was higher for decoding joint angles than joint angular velocities, in contrast to what has been found with proximal limb decoders. We conclude that cortical signals can be used for dexterous hand control in brain machine interface applications and that postural representations in SC may be exploited via intracortical stimulation to close the sensorimotor loop.


title: Phase transitions and geothermodynamics of black holes in dRGT massive gravity

abstract: In this paper, we study the thermodynamics and geothermodynamics of spherical black hole solutions in dRGT massive gravity in a new extended phase space. Inspired by the work of Kastor et al. [1], by interpreting the graviton mass as a thermodynamical variable, we propose a first law of thermodynamics which include a mass term and establish a new Smarr Formula. Then, we perform a thermodynamical analysis to reveal the existence of a critical behavior for black holes in dRGT massive gravity with two different critical points through canonical and grand canonical ensembles. To consolidate these results, we make use of the thermodynamical geometry formalism, with the HPEM and the Gibbs free energy metrics, to derive the singularities of Ricci scalar curvatures and show that they coincide with those of the capacities. The effect of different values of the spacetime parameters on the stability conditions is also discussed.


title: From Ramanujan Graphs to Ramanujan Complexes

abstract: Ramanujan graphs are graphs whose spectrum is bounded optimally. Such graphs have found numerous applications in combinatorics and computer science. In recent years, a high dimensional theory has emerged. In this paper these developments are surveyed. After explaining their connection to the Ramanujan conjecture we will present some old and new results with an emphasis on random walks on these discrete objects and on the Euclidean spheres. The latter lead to "golden gates" which are of importance in quantum computation.


title: Automatic Target Recognition Using Discrimination Based on Optimal Transport

abstract: The use of distances based on optimal transportation has recently shown promise for discrimination of power spectra. In particular, spectral estimation methods based on l1 regularization as well as covariance based methods can be shown to be robust with respect to such distances. These transportation distances provide a geometric framework where geodesics corresponds to smooth transition of spectral mass, and have been useful for tracking. In this paper, we investigate the use of these distances for automatic target recognition. We study the use of the Monge-Kantorovich distance compared to the standard l2 distance for classifying civilian vehicles based on SAR images. We use a version of the Monge-Kantorovich distance that applies also for the case where the spectra may have different total mass, and we formulate the optimization problem as a minimum flow problem that can be computed using efficient algorithms.


title: Randomised Bayesian Least-Squares Policy Iteration

abstract: We introduce Bayesian least-squares policy iteration (BLSPI), an off-policy, model-free, policy iteration algorithm that uses the Bayesian least-squares temporal-difference (BLSTD) learning algorithm to evaluate policies. An online variant of BLSPI has been also proposed, called randomised BLSPI (RBLSPI), that improves its policy based on an incomplete policy evaluation step. In online setting, the exploration-exploitation dilemma should be addressed as we try to discover the optimal policy by using samples collected by ourselves. RBLSPI exploits the advantage of BLSTD to quantify our uncertainty about the value function. Inspired by Thompson sampling, RBLSPI first samples a value function from a posterior distribution over value functions, and then selects actions based on the sampled value function. The effectiveness and the exploration abilities of RBLSPI are demonstrated experimentally in several environments.


title: Observation of light-by-light scattering in ultraperipheral Pb+Pb collisions with the ATLAS detector

abstract: This letter describes the observation of the light-by-light scattering process, $\gamma\gamma\rightarrow\gamma\gamma$, in Pb+Pb collisions at $\sqrt{s_\mathrm{NN}}$ = 5.02 TeV. The analysis is conducted using a data sample corresponding to an integrated luminosity of 1.73 nb$^{-1}$, collected in November 2018 by the ATLAS experiment at the LHC. Light-by-light scattering candidates are selected in events with two photons produced exclusively, each with transverse energy $E_{\textrm{T}}^{\gamma} > 3$ GeV and pseudorapidity $|\eta_{\gamma}| < 2.37$, diphoton invariant mass above 6 GeV, and small diphoton transverse momentum and acoplanarity. After applying all selection criteria, 59 candidate events are observed for a background expectation of 12 $\pm$ 3 events. The observed excess of events over the expected background has a significance of 8.2 standard deviations. The measured fiducial cross section is 78 $\pm$ 13 (stat.) $\pm$ 7 (syst.) $\pm$ 3 (lumi.) nb.


title: Convex-Concave Backtracking for Inertial Bregman Proximal Gradient Algorithms in Non-Convex Optimization

abstract: Backtracking line-search is an old yet powerful strategy for finding a better step sizes to be used in proximal gradient algorithms. The main principle is to locally find a simple convex upper bound of the objective function, which in turn controls the step size that is used. In case of inertial proximal gradient algorithms, the situation becomes much more difficult and usually leads to very restrictive rules on the extrapolation parameter. In this paper, we show that the extrapolation parameter can be controlled by locally finding also a simple concave lower bound of the objective function. This gives rise to a double convex-concave backtracking procedure which allows for an adaptive choice of both the step size and extrapolation parameters. We apply this procedure to the class of inertial Bregman proximal gradient methods, and prove that any sequence generated by these algorithms converges globally to a critical point of the function at hand. Numerical experiments on a number of challenging non-convex problems in image processing and machine learning were conducted and show the power of combining inertial step and double backtracking strategy in achieving improved performances.


title: IDENT: Identifying Differential Equations with Numerical Time evolution

abstract: Identifying unknown differential equations from a given set of discrete time dependent data is a challenging problem. A small amount of noise can make the recovery unstable, and nonlinearity and differential equations with varying coefficients add complexity to the problem. We assume that the governing partial differential equation (PDE) is a linear combination of a subset of a prescribed dictionary containing different differential terms, and the objective of this paper is to find the correct coefficients. We propose a new direction based on the fundamental idea of convergence analysis of numerical PDE schemes. We utilize Lasso for efficiency, and a performance guarantee is established based on an incoherence property. The main contribution is to validate and correct the results by Time Evolution Error (TEE). The new algorithm, called Identifying Differential Equations with Numerical Time evolution (IDENT), is explored for data with non-periodic boundary conditions, noisy data and PDEs with varying coefficients. From the recovery analysis of Lasso, we propose a new definition of Noise-to-Signal ratio, which better represents the level of noise in the case of PDE identification. We systematically analyze the effects of data generations and downsampling, and propose an order preserving denoising method called Least-Squares Moving Average (LSMA), to preprocess the given data. For the identification of PDEs with varying coefficients, we propose to add Base Element Expansion (BEE) to aide the computation. Various numerical experiments from basic tests to noisy data, downsampling effects and varying coefficients are presented.


title: Semidefinite Programming in Timetabling and Mutual-Exclusion Scheduling

abstract: In scheduling and timetabling applications, the mutual-exclusion constraint stipulates that certain pairs of tasks that cannot be executed at the same time. This corresponds to the vertex colouring problem in graph theory, for which there are well-known semidefinite programming (SDP) relaxations. In practice, however, the mutual-exclusion constraint is typically combined with many other constraints, whose SDP representability has not been studied. We present SDP relaxations for a variety of mutual-exclusion scheduling and timetabling problems, starting from a bound on the number of tasks executed within each period, which corresponds to graph colouring bounded in the number of uses of each colour. In theory, this provides the strongest known bounds for these problems that are computable to any precision in time polynomial in the dimensions. In practice, we report encouraging computational results on random graphs, Knesser graphs, ``forbidden intersection'' graphs, the Toronto benchmark, and the International Timetabling Competition.


title: Mek: Mechanics Prototyping Tool for 2D Tile-Based Turn-Based Deterministic Games

abstract: There are few digital tools to help designers create game mechanics. A general language to express game mechanics is necessary for rapid game design iteration. The first iteration of a mechanics-focused language, together with its interfacing tool, are introduced in this paper. The language is restricted to two-dimensional, turn-based, tile-based, deterministic, complete-information games. The tool is compared to the existing alternatives for game mechanics prototyping and shown to be capable of succinctly implementing a range of well-known game mechanics.


title: Anomalous Hall effect in antiferromagnetic/non-magnetic interfaces

abstract: We report a combined theoretical and experimental investigation of magnetic proximity and Hall transport in Pt/Cr bilayers. Density functional theory indicates that an interfacial magnetization can be induced in the Pt layer and a strong magnetocrystalline anisotropy with an easy axis out of plane arises in the antiferromagnet. A signal ascribed to the anomalous Hall effect is detected and associated to the interface between Pt and Cr layers. We show that this effect originates from the combination of proximity-induced magnetization and a nontrivial topology of the band structure at the interface.


title: On Training Robust PDF Malware Classifiers

abstract: Although state-of-the-art PDF malware classifiers can be trained with almost perfect test accuracy (99%) and extremely low false positive rate (under 0.1%), it has been shown that even a simple adversary can evade them. A practically useful malware classifier must be robust against evasion attacks. However, achieving such robustness is an extremely challenging task. In this paper, we take the first steps towards training robust PDF malware classifiers with verifiable robustness properties. For instance, a robustness property can enforce that no matter how many pages from benign documents are inserted into a PDF malware, the classifier must still classify it as malicious. We demonstrate how the worst-case behavior of a malware classifier with respect to specific robustness properties can be formally verified. Furthermore, we find that training classifiers that satisfy formally verified robustness properties can increase the evasion cost of unbounded (i.e., not bounded by the robustness properties) attackers by eliminating simple evasion attacks. Specifically, we propose a new distance metric that operates on the PDF tree structure and specify two classes of robustness properties including subtree insertions and deletions. We utilize state-of-the-art verifiably robust training method to build robust PDF malware classifiers. Our results show that, we can achieve 92.27% average verified robust accuracy over three properties, while maintaining 99.74% accuracy and 0.56% false positive rate. With simple robustness properties, our robust model maintains 7% higher robust accuracy than all the baseline models against unrestricted whitebox attacks. Moreover, the state-of-the-art and new adaptive evolutionary attackers need up to 10 times larger $L_0$ feature distance and 21 times more PDF basic mutations (e.g., inserting and deleting objects) to evade our robust model than the baselines.


title: Spatio-Temporal Attention Pooling for Audio Scene Classification

abstract: Acoustic scenes are rich and redundant in their content. In this work, we present a spatio-temporal attention pooling layer coupled with a convolutional recurrent neural network to learn from patterns that are discriminative while suppressing those that are irrelevant for acoustic scene classification. The convolutional layers in this network learn invariant features from time-frequency input. The bidirectional recurrent layers are then able to encode the temporal dynamics of the resulting convolutional features. Afterwards, a two-dimensional attention mask is formed via the outer product of the spatial and temporal attention vectors learned from two designated attention layers to weigh and pool the recurrent output into a final feature vector for classification. The network is trained with between-class examples generated from between-class data augmentation. Experiments demonstrate that the proposed method not only outperforms a strong convolutional neural network baseline but also sets new state-of-the-art performance on the LITIS Rouen dataset.


title: Charge asymmetry dependence of the elliptic flow splitting in relativistic heavy-ion collisions

abstract: The elliptic flow splitting $\Delta v_2$ between $\bar{u}$ and $u$ quarks as well as between $\pi^-$ and $\pi^+$ in midcentral Au+Au collisions at $\sqrt{s_{NN}}=200$ GeV has been studied, based on the framework of an extended multiphase transport model with the partonic evolution described by the chiral kinetic equations of motion. Within the available statistics, the slope of $\Delta v_2$ between $\bar{u}$ and $u$ quarks with respect to the electric charge asymmetry $A_{ch}$ from the linear fit is found to be negative, due to the correlation between the velocity and the coordinate in the initial parton phase-space distribution. Simulations with the magnetic field in QGP overestimate the splitting of the spin polarization between $\Lambda$ and $\bar{\Lambda}$ observed experimentally, with the latter more consistent with results under the magnetic field in vacuum. Considering the uncertainties from the magnetic field, the quark-antiquark vector interaction, and the hadronization, as well as the hadronic evolution, our study shows that the experimentally observed positive slope of $\Delta v_2$ with respect to $A_{ch}$ is not likely due to the chiral magnetic wave.


title: Late-time acceleration and inflation in a Poincar\'e gauge cosmological model

abstract: A self-consistent model which can unify Starobinsky inflation and the $\Lambda$CDM model in the framework of Poincar\'e gauge cosmology (PGC) is studied in this work, without extra inflaton and ``dark energy''. We start from the general nine-parameter PGC Lagrangian and get two Friedmann-like analytical solutions with the certain ghost- and tachyon-free conditions on the Lagrangian parameters. The scalar torsion $h$-determined solution is consistent with Starobinsky cosmology in the early-time and the pseudo-scalar torsion $f$-determined solution contains naturally a constant ``dark energy'' density, $3(\alpha-1)^2/8B_0$, which covers the $\Lambda$CDM model in the late-time. According to the latest observations, we estimate the magnitudes of parameters: $\alpha-1\simeq 8.07\times10^{-56}$, $B_0\simeq5.76\times10^{-28}GeV^{-2}$ in the natural units.


title: Robustness of urban road networks based on spatial topological patterns

abstract: During the last decade, road network vulnerability assessment has received an increasing attention. On one hand, it is due to the significant advances in Network Science and the potentialities that its tools offer. On the other hand, it is due to its utility for urban planning and emergency response. Despite these facts and the increasingly available data, related work is still sparse in Latin America, even more so in Ecuador. Due to its geographical, historical, and social characteristics, the city of Quito is considered as a case study. At first, the spatial distributions of several topological centrality measures are analyzed. As expected, there are hotspots where high values of these measures concentrate. These results serve to further simulate several strategies for disconnecting the urban road network. Finally, we observe that centrality-based strategies are more effective than randomly-based strategies in disconnecting the network.


title: Stellar rotation and the extended main sequence turnoff in the open cluster NGC 5822

abstract: The origin of extended main sequence turnoffs (eMSTOs) in intermediate-age (1-3 Gyr) clusters is one of the most intriguing questions in current star cluster research. Unlike the split main sequences found in some globular clusters. which are caused by bimodal populations in age and/or chemical abundances, eMSTOs are believed to be owing to stellar rotation. We present a spectroscopic survey of MSTO stars in a nearby, intermediate-age (\unit[0.9]{Gyr}), low mass ($\sim 1.7\times10^3 M_\odot$) Galactic open cluster, NGC 5822. We derive a clean sample of member stars based on \textit{Gaia} proper motions and parallaxes and confirm the existence of an eMSTO. Using medium-resolution ($R\sim 4000$) Southern African Large Telescope (SALT) spectra, we derive the rotational velocities of 24 member stars (representing 20\% completeness around the eMSTO region) and find that the loci of the main sequence stars in the eMSTO region show a clear correlation with the projected rotational velocities in the sense that fast rotators are located on the red side of the eMSTO and slow rotators are found on the blue side. By comparison with a synthetic cluster model, we show that the stellar rotational velocities and the eMSTO of NGC 5822 can be well reproduced and we conclude that stellar rotation is the main cause of the eMSTO in NGC 5822.


title: Precision Matrix Estimation with Noisy and Missing Data

abstract: Estimating conditional dependence graphs and precision matrices are some of the most common problems in modern statistics and machine learning. When data are fully observed, penalized maximum likelihood-type estimators have become standard tools for estimating graphical models under sparsity conditions. Extensions of these methods to more complex settings where data are contaminated with additive or multiplicative noise have been developed in recent years. In these settings, however, the relative performance of different methods is not well understood and algorithmic gaps still exist. In particular, in high-dimensional settings these methods require using non-positive semidefinite matrices as inputs, presenting novel optimization challenges. We develop an alternating direction method of multipliers (ADMM) algorithm for these problems, providing a feasible algorithm to estimate precision matrices with indefinite input and potentially nonconvex penalties. We compare this method with existing alternative solutions and empirically characterize the tradeoffs between them. Finally, we use this method to explore the networks among US senators estimated from voting records data.


abstract: Data-dependent hashing has recently attracted attention due to being able to support efficient retrieval and storage of high-dimensional data such as documents, images, and videos. In this paper, we propose a novel learning-based hashing method called "Supervised Discrete Hashing with Relaxation" (SDHR) based on "Supervised Discrete Hashing" (SDH). SDH uses ordinary least squares regression and traditional zero-one matrix encoding of class label information as the regression target (code words), thus fixing the regression target. In SDHR, the regression target is instead optimized. The optimized regression target matrix satisfies a large margin constraint for correct classification of each example. Compared with SDH, which uses the traditional zero-one matrix, SDHR utilizes the learned regression target matrix and, therefore, more accurately measures the classification error of the regression model and is more flexible. As expected, SDHR generally outperforms SDH. Experimental results on two large-scale image datasets (CIFAR-10 and MNIST) and a large-scale and challenging face dataset (FRGC) demonstrate the effectiveness and efficiency of SDHR.


title: Network Models from Petri Nets with Catalysts

abstract: Petri networks and network models are two frameworks for the compositional design of systems of interacting entities. Here we show how to combine them using the concept of a "catalyst": an entity that is neither destroyed nor created by any process it engages in. In a Petri net, a place is a catalyst if its in-degree equals its out-degree for every transition. We show how a Petri net with a chosen set of catalysts gives a network model. This network model maps any list of catalysts from the chosen set to the category whose morphisms are all the processes enabled by this list of catalysts. Applying the Grothendieck construction, we obtain a category fibered over the category whose objects are lists of catalysts. This category has as morphisms all processes enabled by some list of catalysts. While this category has a symmetric monoidal structure that describes doing processes in parallel, its fibers also have premonoidal structures that describe doing one process and then another while reusing the catalysts.


title: Long-Term Vehicle Localization by Recursive Knowledge Distillation

abstract: Most of the current state-of-the-art frameworks for cross-season visual place recognition (CS-VPR) focus on domain adaptation (DA) to a single specific season. From the viewpoint of long-term CS-VPR, such frameworks do not scale well to sequential multiple domains (e.g., spring - summer - autumn - winter - ... ). The goal of this study is to develop a novel long-term ensemble learning (LEL) framework that allows for a constant cost retraining in long-term sequential-multi-domain CS-VPR (SMD-VPR), which only requires the memorization of a small constant number of deep convolutional neural networks (CNNs) and can retrain the CNN ensemble of every season at a small constant time/space cost. We frame our task as the multi-teacher multi-student knowledge distillation (MTMS-KD), which recursively compresses all the previous season's knowledge into a current CNN ensemble. We further address the issue of teacher-student-assignment (TSA) to achieve a good generalization/specialization tradeoff. Experimental results on SMD-VPR tasks validate the efficacy of the proposed approach.


title: Scalable Change Retrieval Using Deep 3D Neural Codes

abstract: We present a novel scalable framework for image change detection (ICD) from an on-board 3D imagery system. We argue that existing ICD systems are constrained by the time required to align a given query image with individual reference image coordinates. We utilize an invariant coordinate system (ICS) to replace the time-consuming image alignment with an offline pre-processing procedure. Our key contribution is an extension of the traditional image comparison-based ICD tasks to setups of the image retrieval (IR) task. We replace each component of the 3D ICD system, i.e., (1) image modeling, (2) image alignment, and (3) image differencing, with significantly efficient variants from the bag-of-words (BoW) IR paradigm. Further, we train a deep 3D feature extractor in an unsupervised manner using an unsupervised Siamese network and automatically collected training data. We conducted experiments on a challenging cross-season ICD task using a publicly available dataset and thereby validate the efficacy of the proposed approach.


title: Germain and Her Fearless Attempt to Prove Fermat's Last Theorem

abstract: Two centuries ago, Sophie Germain began to work on her grand plan to prove the theorem of Fermat, the famous conjecture that $x^n + y^n = z^n$ is impossible for nonzero integral values of $x$, $y$, and $z$, when $n > 2$. At that time, this was an open question since nobody knew whether Fermat's assertion was true. Euler had proved it for $n = 3$ and $n = 4$. However, no one else had demonstrated the general case. Then Sophie Germain valiantly entered the world of mathematics in 1804, reaching out to Gauss (writing under the assumed name Monsieur Le Blanc) boldly stating that she could do it. Eventually, Germain conceived a formidable plan for proving Fermat's Last Theorem in its entirety, and in the process she obtained proofs of Case 1 for particular families of exponents. Her efforts resulted in Sophie Germain's Theorem that proves Case 1 of FLT for an odd prime exponent $p$ whenever $2p + 1$ is prime. Today, a prime $p$ is called a Sophie Germain prime if $2p + 1$ is also prime. It remains an unanswered question whether there are an infinite number of Sophie Germain primes. But there is more that Germain did in number theory, much of which was veiled by the mathematicians with whom she shared her work. This article provides historical details of Sophie Germain's efforts, written with the sole intention of paying homage to the only woman mathematician who contributed to proving the most famous assertion of Fermat.


title: Linear stability analysis of hairy black holes in quadratic degenerate higher-order scalar-tensor theories: Odd-parity perturbations

abstract: We study static spherically symmetric black hole solutions with a linearly time-dependent scalar field and discuss their linear stability in the shift- and reflection-symmetric subclass of quadratic degenerate higher-order scalar-tensor (DHOST) theories. We present the explicit forms of the reduced system of background field equations for a generic theory within this subclass. Using the reduced equations of motion, we show that in several cases the solution is forced to be of the Schwarzschild or Schwarzschild-(anti-)de Sitter form. We consider odd-parity perturbations around general static spherically symmetric black hole solutions, and derive the concise criteria for the black holes to be stable. Our analysis also covers the case with a static or constant profile of the scalar field.


title: Place-specific Background Modeling Using Recursive Autoencoders

abstract: Image change detection (ICD) to detect changed objects in front of a vehicle with respect to a place-specific background model using an on-board monocular vision system is a fundamental problem in intelligent vehicle (IV). From the perspective of recent large-scale IV applications, it can be impractical in terms of space/time efficiency to train place-specific background models for every possible place. To address these issues, we introduce a new autoencoder (AE) based efficient ICD framework that combines the advantages of AE-based anomaly detection (AD) and AE-based image compression (IC). We propose a method that uses AE reconstruction errors as a single unified measure for training a minimal set of place-specific AEs and maintains detection accuracy. We introduce an efficient incremental recursive AE (rAE) training framework that recursively summarizes a large collection of background images into the AE set. The results of experiments on challenging cross-season ICD tasks validate the efficacy of the proposed approach.


title: Fast Supervised Discrete Hashing

abstract: Learning-based hashing algorithms are ``hot topics" because they can greatly increase the scale at which existing methods operate. In this paper, we propose a new learning-based hashing method called ``fast supervised discrete hashing" (FSDH) based on ``supervised discrete hashing" (SDH). Regressing the training examples (or hash code) to the corresponding class labels is widely used in ordinary least squares regression. Rather than adopting this method, FSDH uses a very simple yet effective regression of the class labels of training examples to the corresponding hash code to accelerate the algorithm. To the best of our knowledge, this strategy has not previously been used for hashing. Traditional SDH decomposes the optimization into three sub-problems, with the most critical sub-problem - discrete optimization for binary hash codes - solved using iterative discrete cyclic coordinate descent (DCC), which is time-consuming. However, FSDH has a closed-form solution and only requires a single rather than iterative hash code-solving step, which is highly efficient. Furthermore, FSDH is usually faster than SDH for solving the projection matrix for least squares regression, making FSDH generally faster than SDH. For example, our results show that FSDH is about 12-times faster than SDH when the number of hashing bits is 128 on the CIFAR-10 data base, and FSDH is about 151-times faster than FastHash when the number of hashing bits is 64 on the MNIST data-base. Our experimental results show that FSDH is not only fast, but also outperforms other comparative methods.


title: Precise radial velocities of giant stars. XI. Two brown dwarfs in 6:1 mean motion resonance around the K giant star $\nu$ Ophiuchi

abstract: We present radial-velocity (RV) measurements for the K giant $\nu$ Oph (= HIP88048, HD163917, HR6698), which reveal two brown dwarf companions with a period ratio close to 6:1. For our orbital analysis we use 150 precise RV measurements taken at Lick Observatory between 2000 and 2011, and we combine them with RV data for this star available in the literature. Using a stellar mass of $M = 2.7\,M_\odot$ for $\nu$ Oph and applying a self-consistent N-body model we estimate the minimum dynamical companion masses to be $m_1\sin i \approx 22.2\,M_{\mathrm{Jup}}$ and $m_2\sin i \approx 24.7\,M_{\mathrm{Jup}}$, with orbital periods $P_1 \approx 530$ d and $P_2 \approx 3185$ d. We study a large set of potential orbital configurations for this system, employing a bootstrap analysis and a systematic $\chi_{\nu}^2$ grid-search coupled with our dynamical fitting model, and we examine their long-term stability. We find that the system is indeed locked in a 6:1 mean motion resonance (MMR), with $\Delta \omega$ and all six resonance angles $\theta_{1}, \ldots, \theta_{6}$ librating around 0$^\circ$. We also test a large set of coplanar inclined configurations, and we find that the system will remain in a stable resonance for most of these configurations. The $\nu$ Oph system is important for probing planetary formation and evolution scenarios. It seems very likely that the two brown dwarf companions of $\nu$ Oph formed like planets in a circumstellar disk around the star and have been trapped in a MMR by smooth migration capture.


title: A characterization of maximal 2-dimensional subgraphs of transitive graphs

abstract: A transitive graph is 2-dimensional if it can be represented as the intersection of two linear orders. Such representations make answering of reachability queries trivial, and allow many problems that are NP-hard on arbitrary graphs to be solved in polynomial time. One may therefore be interested in finding 2-dimensional graphs that closely approximate a given graph of arbitrary order dimension. In this paper we show that the maximal 2-dimensional subgraphs of a transitive graph G are induced by the optimal near-transitive orientations of the complement of G. The same characterization holds for the maximal permutation subgraphs of a transitively orientable graph. We provide an algorithm that enables this problem reduction in near-linear time, and an approach for enlarging non-maximal 2-dimensional subgraphs, such as trees.


title: Statistical Meaning of Mean Functions

abstract: The basic properties of the Fisher information allow to reveal the statistical meaning of classical inequalities between mean functions. The properties applied to scale mixtures of Gaussian distributions lead to a new mean function of purely statistical origin, unrelated to the classical arithmetic, geometric, and harmonic means. We call it the informational mean and show that when the arguments of the mean functions are Hermitian positive definite matrices, not necessarily commuting, the informational mean lies between the arithmetic and harmonic means, playing, in a sense, the role of the geometric mean that cannot be correctly defined in case of non-commuting matrices.\\ Surprisingly the monotonicity and additivity properties of the Fisher information lead to a new generalization of the classical inequality between the arithmetic and harmonic means.


title: An Asynchronous, Decentralized Solution Framework for the Large Scale Unit Commitment Problem

abstract: With increased reliance on cyber infrastructure, large scale power networks face new challenges owing to computational scalability. In this paper we focus on developing an asynchronous decentralized solution framework for the Unit Commitment(UC) problem for large scale power networks. We exploit the inherent asynchrony in a region based decomposition arising out of imbalance in regional subproblems to boost computational efficiency. A two phase algorithm is proposed that relies on the convex relaxation and privacy preserving valid inequalities in order to deliver algorithmic improvements. Our algorithm employs a novel interleaved binary mechanism that locally switches from the convex subproblem to its binary counterpart based on consistent local convergent behavior. We develop a high performance computing (HPC) oriented software framework that uses Message Passing Interface (MPI) to drive our benchmark studies. Our simulations performed on the IEEE 3012 bus case are benchmarked against the centralized and a state of the art synchronous decentralized method. The results demonstrate that the asynchronous method improves computational efficiency by a significant amount and provides a competitive solution quality rivaling the benchmark methods.


title: Grain boundary characteristics of oxypnictide NdFeAs(O,F) superconductors

abstract: We have systematically investigated the grain boundary (GB) angle dependence of transport properties for NdFeAs(O,F) fabricated on [001]-tilt symmetric MgO bicrystal substrates. In our previous study, NdFeAs(O,F) bicrystal films showed a weak-link behaviour even at a GB angle of 6{\deg}. However, this was caused by an extrinsic effect originating from the damage to both NdFeAs(O,F) and MgO substrate by excess F-diffusion along the grain boundary. To investigate the intrinsic nature of grain boundaries, we minimized the damage to NdFeAs(O,F) and MgO by reducing the deposition temperature of NdOF over-layer needed for F-doping. The resultant NdFeAs(O,F) bicrystal films have a critical angle of 8.5{\deg}, above which Jc starts to decrease exponentially. This critical angle is almost the same as those of other Fe-based superconductors.


title: Extension-lifting Bijections for Oriented Matroids

abstract: Extending the notion of geometric bijections for regular matroids, introduced by the first and third author with Matthew Baker, we describe a family of bijections between bases of an oriented matroid and special orientations. These bijections are specified by a pair of circuit and cocircuit signatures coming respectively from a generic single-element lifting and extension. We then characterize generic single-element liftings and extensions using these bijections. We also explain the relation of our work with the works of Gioan--Las Vergnas and Ding. Some implications in oriented matroid programming and oriented matroid triangulations are also discussed.


title: A Log-Barrier Newton-CG Method for Bound Constrained Optimization with Complexity Guarantees

abstract: We describe an algorithm based on a logarithmic barrier function, Newton's method, and linear conjugate gradients that obtains an approximate minimizer of a smooth function over the nonnegative orthant. We develop a bound on the complexity of the approach, stated in terms of the required accuracy and the cost of a single gradient evaluation of the objective function and/or a matrix-vector multiplication involving the Hessian of the objective. The approach can be implemented without explicit calculation or storage of the Hessian.


title: The Role of Interactivity in Local Differential Privacy

abstract: We study the power of interactivity in local differential privacy. First, we focus on the difference between fully interactive and sequentially interactive protocols. Sequentially interactive protocols may query users adaptively in sequence, but they cannot return to previously queried users. The vast majority of existing lower bounds for local differential privacy apply only to sequentially interactive protocols, and before this paper it was not known whether fully interactive protocols were more powerful. We resolve this question. First, we classify locally private protocols by their compositionality, the multiplicative factor $k \geq 1$ by which the sum of a protocol's single-round privacy parameters exceeds its overall privacy guarantee. We then show how to efficiently transform any fully interactive $k$-compositional protocol into an equivalent sequentially interactive protocol with an $O(k)$ blowup in sample complexity. Next, we show that our reduction is tight by exhibiting a family of problems such that for any $k$, there is a fully interactive $k$-compositional protocol which solves the problem, while no sequentially interactive protocol can solve the problem without at least an $\tilde \Omega(k)$ factor more examples. We then turn our attention to hypothesis testing problems. We show that for a large class of compound hypothesis testing problems --- which include all simple hypothesis testing problems as a special case --- a simple noninteractive test is optimal among the class of all (possibly fully interactive) tests.


title: The first Hochschild (co)homology when adding arrows to a bound quiver algebra

abstract: We provide a formula for the change of the dimension of the first Hoch\-schild cohomology vector space of bound quiver algebras when adding new arrows. For this purpose we show that there exists a short exact sequence which relates the first cohomology vector spaces of the algebras to the first relative cohomology. Moreover, we show that the first Hochschild homologies are isomorphic when adding new arrows.


title: Global Synchronization of Clocks in Directed Rooted Acyclic Graphs: A Hybrid Systems Approach

abstract: In this paper, we study the problem of robust global synchronization of resetting clocks in multi-agent networked systems, where by robust global synchronization we mean synchronization that is insensitive to arbitrarily small disturbances, and which is achieved from all initial conditions. In particular, we aim to address the following question: Given a set of homogeneous agents with periodic clocks sharing the same parameters, what kind of information flow topologies will guarantee that the resulting networked systems can achieve robust global synchronization? To address this question, we rely on the framework of robust hybrid dynamical systems and a class of distributed hybrid resetting algorithms. Using the hybrid-system approach, we provide a partial solution to the question: Specifically, we show that one can achieve robust global synchronization with no purely discrete-time solutions in any networked system whose underlying information flow topology is a rooted acyclic digraph. Such a result is complementary to the existing result [1] in which strongly connected digraphs are considered as the underlying information flow topologies of the networked systems. We have further computed in the paper the convergence time for a networked system to reach global synchronization. In particular, the computation reveals the relationship between convergence time and the structure of the underlying digraph. We illustrate our theoretical findings via numerical simulations towards the end of the paper.


title: Image and Video Compression with Neural Networks: A Review

abstract: In recent years, the image and video coding technologies have advanced by leaps and bounds. However, due to the popularization of image and video acquisition devices, the growth rate of image and video data is far beyond the improvement of the compression ratio. In particular, it has been widely recognized that there are increasing challenges of pursuing further coding performance improvement within the traditional hybrid coding framework. Deep convolution neural network (CNN) which makes the neural network resurge in recent years and has achieved great success in both artificial intelligent and signal processing fields, also provides a novel and promising solution for image and video compression. In this paper, we provide a systematic, comprehensive and up-to-date review of neural network based image and video compression techniques. The evolution and development of neural network based compression methodologies are introduced for images and video respectively. More specifically, the cutting-edge video coding techniques by leveraging deep learning and HEVC framework are presented and discussed, which promote the state-of-the-art video coding performance substantially. Moreover, the end-to-end image and video coding frameworks based on neural networks are also reviewed, revealing interesting explorations on next generation image and video coding frameworks/standards. The most significant research works on the image and video coding related topics using neural networks are highlighted, and future trends are also envisioned. In particular, the joint compression on semantic and visual information is tentatively explored to formulate high efficiency signal representation structure for both human vision and machine vision, which are the two dominant signal receptor in the age of artificial intelligence.


title: Active Robot-Assisted Feeding with a General-Purpose Mobile Manipulator: Design, Evaluation, and Lessons Learned

abstract: Eating is an essential activity of daily living (ADL) for staying healthy and living at home independently. Although numerous assistive devices have been introduced, many people with disabilities are still restricted from independent eating due to the devices' physical or perceptual limitations. In this work, we present a new meal-assistance system and evaluations of this system with people with motor impairments. We also discuss learned lessons and design insights based on the evaluations. The meal-assistance system uses a general-purpose mobile manipulator, a Willow Garage PR2, which has the potential to serve as a versatile form of assistive technology. Our active feeding framework enables the robot to autonomously deliver food to the user's mouth, reducing the need for head movement by the user. The user interface, visually-guided behaviors, and safety tools allow people with severe motor impairments to successfully use the system. We evaluated our system with a total of 10 able-bodied participants and 9 participants with motor impairments. Both groups of participants successfully ate various foods using the system and reported high rates of success for the system's autonomous behaviors. In general, participants who operated the system reported that it was comfortable, safe, and easy-to-use.


title: Optimal Power Allocation for Secure Directional Modulation Networks with a Full-duplex UAV User

abstract: This paper make an investigation of a secure unmanned aerial vehicle (UAV)-aided communication network based on directional modulation(DM), in which one ground base station (Alice), one legitimate full-duplex (FD) user (Bob) and one illegal receiver (Eve) are involved. In this network, Alice acts as a control center to transmit confidential message and artificial noise (AN). The UAV user, moving along a linear flight trajectory, is intended to receive the useful information from Alice. At the same time, it also sends AN signals to further interference Eve's channel. Aiming at maximizing secrecy rate during the UAV flight process, a joint optimization problem is formulated corresponding to power allocation (PA) factors, beamforming vector, AN projection matrices. For simplicity, maximum ratio transmission, null-space projection and the leakage-based method are applied to form the transmit beamforming vector, AN projection matrix at Alice, and AN projection vector at Bob, respectively. Following this, the optimization problem reduces into a bivariate optimization programme with two PA factors. We put forward an alternating iterative algorithm to optimize the two PA factors. Simulation results demonstrate that the proposed strategy for FD mode achieves a higher SR than the half-duplex (HD) mode, and outperforms the FD mode with fixed PA strategy.


title: Integration of Nonlinear Disturbance Observer within Proxy-based Sliding Mode Control for Pneumatic Muscle Actuators

abstract: This paper presents an integration of nonlinear disturbance observer within proxy-based sliding mode control (IDO-PSMC) approach for Pneumatic Muscle Actuators (PMAs). Due to the nonlinearities, uncertainties, hysteresis, and time-varying characteristics of the PMA, the model parameters are difficult to be identified accurately, which results in unmeasurable uncertainties and disturbances of the system. To solve this problem, a novel design of proxy-based sliding mode controller (PSMC) combined with a nonlinear disturbance observer (DO) is used for the tracking control of the PMA. Our approach combines both the merits of the PSMC and the DO so that it is effective in both reducing the ``chattering" phenomenon and improving the system robustness. A constrained Firefly Algorithm is used to search for the optimal control parameters. Based on the Lyapunov theorem, the states of the PMA are shown to be globally uniformly ultimately bounded. Extensive experiments were conducted to verify the superior performance of our approach, in multiple tracking scenarios.


title: A Dilated Inception Network for Visual Saliency Prediction

abstract: Recently, with the advent of deep convolutional neural networks (DCNN), the improvements in visual saliency prediction research are impressive. One possible direction to approach the next improvement is to fully characterize the multi-scale saliency-influential factors with a computationally-friendly module in DCNN architectures. In this work, we proposed an end-to-end dilated inception network (DINet) for visual saliency prediction. It captures multi-scale contextual features effectively with very limited extra parameters. Instead of utilizing parallel standard convolutions with different kernel sizes as the existing inception module, our proposed dilated inception module (DIM) uses parallel dilated convolutions with different dilation rates which can significantly reduce the computation load while enriching the diversity of receptive fields in feature maps. Moreover, the performance of our saliency model is further improved by using a set of linear normalization-based probability distribution distance metrics as loss functions. As such, we can formulate saliency prediction as a probability distribution prediction task for global saliency inference instead of a typical pixel-wise regression problem. Experimental results on several challenging saliency benchmark datasets demonstrate that our DINet with proposed loss functions can achieve state-of-the-art performance with shorter inference time.


title: Cartan-Thullen theorem for a $\mathbb C^n$-holomorphic function and a related problem

abstract: Cartan-Thullen theorem is a basic one in the theory of analytic functions of several complex variables. It states that for any open set $U$ of ${\mathbb C}^k$, the following conditions are equivalent: (a) $U$ is a domain of existence, (b) $U$ is a domain of holomorphy and (c) $U$ is holomorphically convex. On the other hand, when $f \, (\, =(f_1,f_2,\cdots,f_n)\, )$ is a $\mathbb C^n$-valued function on an open set $U$ of $\mathbb C^{k_1}\times\mathbb C^{k_2}\times\cdots\times\mathbb C^{k_n}$, $f$ is said to be $\mathbb C^n$-analytic, if $f$ is complex analytic and for any $i$ and $j$, $i\not=j$ implies $\frac{\partial f_i}{\partial z_j}=0$. Here, $(z_1,z_2,\cdots,z_n) \in \mathbb C^{k_1}\times\mathbb C^{k_2}\times\cdots\times\mathbb C^{k_n}$ holds. We note that a $\mathbb C^n$-analytic mapping and a $\mathbb C^n$-analytic manifold can be easily defined. In this paper, we show an analogue of Cartan-Thullen theorem for a $\mathbb C^n$-analytic function. For $n=1$, it gives Cartan-Thullen theorem itself. Our proof is almost the same as Cartan-Thullen theorem. Thus, our generalization seems to be natural. On the other hand, our result is partial, because we do not answer the following question. That is, does a connected open $\mathbb C^n$-holomorphically convex set $U$ exist such that $U$ is not the direct product of any holomorphically convex sets $U_1, U_2, \cdots, U_{n-1}$ and $U_n$ ? As a corollary of our generalization, we give the following partial result. If $U$ is convex, then $U$ is the direct product of some holomorphically convex sets. Also, $f$ is said to be $\mathbb C^n$-triangular, if $f$ is complex analytic and for any $i$ and $j$, $i<j$ implies $\frac{\partial f_i}{\partial z_j}=0$. Kasuya suggested that a $\mathbb C^n$-analytic manifold and a $\mathbb C^n$-triangular manifold might, for example, be related to a holomorphic web and a holomorphic foliation.


title: SanD primes and numbers

abstract: We define S(um)anD(ifference) numbers as ordered pairs $(m,\, m+\Delta)$ such that the digital-sum $DS(m(m+\Delta))=\Delta.$ We consider both the decimal and the binary case. If both $m$ and $m+\Delta$ are prime numbers, we refer to SanD {\em primes}. We show that the number of (decimal-based) SanD numbers less than $x$ grows as $c1\cdot x,$ where $c1 = 2/3,$ while the number of SanD primes less than $x$ grows as $c2\cdot x/\log^2{x},$ where $c2 = 3/4.$ Due to the quasi-fractal nature of the digital-sum function, convergence is both slow and erratic compared to twin primes, which, apart from the constant, have the same leading asymptotics.


title: The average character degree and an improvement of the Ito-Michler theorem

abstract: The classical It\^{o}-Michler theorem states that the degree of every ordinary irreducible character of a finite group $G$ is coprime to a prime $p$ if and only if the Sylow $p$-subgroups of $G$ are abelian and normal. In an earlier paper, we used the notion of average character degree to prove an improvement of this theorem for the prime $p=2$. In this follow-up paper, we obtain a full improvement for all primes.


title: Two Dimension Intensity Distribution of Ultraviolet Scattering Communication

abstract: Consider a ultraviolet (UV) scattering communication system where the position of the transmitter is fixed and the receiver can move around on the ground. To obtain the link gain effectively and economically, we propose an algorithm based on one-dimensional (1D) numerical integration and an off-line data library. Moreover, we analyze the 2D scattering intensity distributions for both LED and laser, and observe that the contours can be well fitted by elliptic models. The relationships between the characteristics of fitting ellipses and the source parameters are provided by numerical results.


title: Spoken Language Intent Detection using Confusion2Vec

abstract: Decoding speaker's intent is a crucial part of spoken language understanding (SLU). The presence of noise or errors in the text transcriptions, in real life scenarios make the task more challenging. In this paper, we address the spoken language intent detection under noisy conditions imposed by automatic speech recognition (ASR) systems. We propose to employ confusion2vec word feature representation to compensate for the errors made by ASR and to increase the robustness of the SLU system. The confusion2vec, motivated from human speech production and perception, models acoustic relationships between words in addition to the semantic and syntactic relations of words in human language. We hypothesize that ASR often makes errors relating to acoustically similar words, and the confusion2vec with inherent model of acoustic relationships between words is able to compensate for the errors. We demonstrate through experiments on the ATIS benchmark dataset, the robustness of the proposed model to achieve state-of-the-art results under noisy ASR conditions. Our system reduces classification error rate (CER) by 20.84% and improves robustness by 37.48% (lower CER degradation) relative to the previous state-of-the-art going from clean to noisy transcripts. Improvements are also demonstrated when training the intent detection models on noisy transcripts.


title: Giant and nonreciprocal second harmonic generation from layered antiferromagnetism in bilayer CrI3

abstract: Layered antiferromagnetism is the spatial arrangement of ferromagnetic layers with antiferromagnetic interlayer coupling. Recently, the van der Waals magnet, chromium triiodide (CrI3), emerged as the first layered antiferromagnetic insulator in its few-layer form, opening up ample opportunities for novel device functionalities. Here, we discovered an emergent nonreciprocal second order nonlinear optical effect in bilayer CrI3. The observed second harmonic generation (SHG) is giant: several orders of magnitude larger than known magnetization induced SHG and comparable to SHG in the best 2D nonlinear optical materials studied so far (e.g. MoS2). We showed that while the parent lattice of bilayer CrI3 is centrosymmetric and thus does not contribute to the SHG signal, the observed nonreciprocal SHG originates purely from the layered antiferromagnetic order, which breaks both spatial inversion and time reversal symmetries. Furthermore, polarization-resolved measurements revealed the underlying C2h symmetry, and thus monoclinic stacking order in CrI3 bilayers, providing crucial structural information for the microscopic origin of layered antiferromagnetism. Our results highlight SHG as a highly sensitive probe that can reveal subtle magnetic order and open novel nonlinear and nonreciprocal optical device possibilities based on 2D magnets.


title: Dressed Rabi oscillation in a crystalline organic radical

abstract: Free electron laser-powered pulsed electron paramagnetic resonance (EPR) experiments performed at 240 GHz / 8.56 T on the crystalline organic radical BDPA reveal a tip-angle dependent resonant frequency. Frequency shifts as large as 11 MHz (45 ppm) are observed during a single Rabi oscillation. We attribute the frequency shifts to a "dressing" of the nutation by spin-spin interactions. A nonlinear semi-classical model which includes a temperature- and sample-geometry-dependent demagnetizing field reproduces experimental results. Because experiments are performed without a cavity, radiation damping -- the most common nonlinear interaction in magnetic resonance -- is negligible in our experiments.


title: Adaptively Connected Neural Networks

abstract: This paper presents a novel adaptively connected neural network (ACNet) to improve the traditional convolutional neural networks (CNNs) {in} two aspects. First, ACNet employs a flexible way to switch global and local inference in processing the internal feature representations by adaptively determining the connection status among the feature nodes (e.g., pixels of the feature maps) \footnote{In a computer vision domain, a node refers to a pixel of a feature map{, while} in {the} graph domain, a node denotes a graph node.}. We can show that existing CNNs, the classical multilayer perceptron (MLP), and the recently proposed non-local network (NLN) \cite{nonlocalnn17} are all special cases of ACNet. Second, ACNet is also capable of handling non-Euclidean data. Extensive experimental analyses on {a variety of benchmarks (i.e.,} ImageNet-1k classification, COCO 2017 detection and segmentation, CUHK03 person re-identification, CIFAR analysis, and Cora document categorization) demonstrate that {ACNet} cannot only achieve state-of-the-art performance but also overcome the limitation of the conventional MLP and CNN \footnote{Corresponding author: Liang Lin (linliang@ieee.org)}. The code is available at \url{https://github.com/wanggrun/Adaptively-Connected-Neural-Networks}.


title: Compare More Nuanced:Pairwise Alignment Bilinear Network For Few-shot Fine-grained Learning

abstract: The recognition ability of human beings is developed in a progressive way. Usually, children learn to discriminate various objects from coarse to fine-grained with limited supervision. Inspired by this learning process, we propose a simple yet effective model for the Few-Shot Fine-Grained (FSFG) recognition, which tries to tackle the challenging fine-grained recognition task using meta-learning. The proposed method, named Pairwise Alignment Bilinear Network (PABN), is an end-to-end deep neural network. Unlike traditional deep bilinear networks for fine-grained classification, which adopt the self-bilinear pooling to capture the subtle features of images, the proposed model uses a novel pairwise bilinear pooling to compare the nuanced differences between base images and query images for learning a deep distance metric. In order to match base image features with query image features, we design feature alignment losses before the proposed pairwise bilinear pooling. Experiment results on four fine-grained classification datasets and one generic few-shot dataset demonstrate that the proposed model outperforms both the state-ofthe-art few-shot fine-grained and general few-shot methods.


title: Quantum Speedup for the Minimum Steiner Tree Problem

abstract: A recent breakthrough by Ambainis, Balodis, Iraids, Kokainis, Pr\=usis and Vihrovs (SODA'19) showed how to construct faster quantum algorithms for the Traveling Salesman Problem and a few other NP-hard problems by combining in a novel way quantum search with classical dynamic programming. In this paper, we show how to apply this approach to the minimum Steiner tree problem, a well-known NP-hard problem, and construct the first quantum algorithm that solves this problem faster than the best known classical algorithms. More precisely, the complexity of our quantum algorithm is $\mathcal{O}(1.812^k\poly(n))$, where $n$ denotes the number of vertices in the graph and $k$ denotes the number of terminals. In comparison, the best known classical algorithm has complexity $\mathcal{O}(2^k\poly(n))$.


title: Multi-Label Image Recognition with Graph Convolutional Networks

abstract: The task of multi-label image recognition is to predict a set of object labels that present in an image. As objects normally co-occur in an image, it is desirable to model the label dependencies to improve the recognition performance. To capture and explore such important dependencies, we propose a multi-label classification model based on Graph Convolutional Network (GCN). The model builds a directed graph over the object labels, where each node (label) is represented by word embeddings of a label, and GCN is learned to map this label graph into a set of inter-dependent object classifiers. These classifiers are applied to the image descriptors extracted by another sub-net, enabling the whole network to be end-to-end trainable. Furthermore, we propose a novel re-weighted scheme to create an effective label correlation matrix to guide information propagation among the nodes in GCN. Experiments on two multi-label image recognition datasets show that our approach obviously outperforms other existing state-of-the-art methods. In addition, visualization analyses reveal that the classifiers learned by our model maintain meaningful semantic topology.


title: A Tour of T-duality: Geometric and Topological Aspects of T-dualities

abstract: The primary focus of this thesis is to investigate the mathematical and physical properties of spaces that are related by T-duality and its generalisations. In string theory, T-duality is a relationship between two a priori different string backgrounds which nevertheless behave identically from a physical point of view. These backgrounds can have different geometries, different fluxes, and even be topologically distinct manifolds. T-duality is a uniquely `stringy' phenomenon, since it does not occur in a theory of point particles, and together with other dualities has been incredibly useful in elucidating the nature of string theory and M-theory. There exist various generalisations of the usual T-duality, some of which are still putative, and none of which are fully understood. Some of these dualities are inspired by mathematics and some are inspired by physics. These generalisations include non-abelian T-duality, Poisson-Lie T-duality, non-isometric T-duality, and spherical T-duality. In this thesis we review T-duality and its various generalisations, studying the geometric, topological, and physical properties of spaces related by these dualities.


title: Reframing Threat Detection: Inside esINSIDER

abstract: We describe the motivation and design for esINSIDER, an automated tool that detects potential persistent and insider threats in a network. esINSIDER aggregates clues from log data, over extended time periods, and proposes a small number of cases for human experts to review. The proposed cases package together related information so the analyst can see a bigger picture of what is happening, and their evidence includes internal network activity resembling reconnaissance and data collection. The core ideas are to 1) detect fundamental campaign behaviors by following data movements over extended time periods, 2) link together behaviors associated with different meta-goals, and 3) use machine learning to understand what activities are expected and consistent for each individual network. We call this approach campaign analytics because it focuses on the threat actor's campaign goals and the intrinsic steps to achieve them. Linking different campaign behaviors (internal reconnaissance, collection, exfiltration) reduces false positives from business-as-usual activities and creates opportunities to detect threats before a large exfiltration occurs. Machine learning makes it practical to deploy this approach by reducing the amount of tuning needed.


title: Lie, associative and commutative quasi-isomorphism

abstract: Over a field of characteristic zero, we show that two commutative differential graded (dg) algebras are quasi-isomorphic if and only if they are quasi-isomorphic as associative dg algebras. This answers a folklore problem in rational homotopy theory, showing that the rational homotopy type of a space is determined by its associative dg algebra of rational cochains. We also show a Koszul dual statement, under an additional completeness hypothesis: two homotopy complete dg Lie algebras whose universal enveloping algebras are quasi-isomorphic as associative dg algebras must themselves be quasi-isomorphic. The latter result applies in particular to nilpotent Lie algebras (not differential graded), in which case it says that two nilpotent Lie algebras whose universal enveloping algebras are isomorphic as associative algebras must be isomorphic.


title: Cohen-Macaulay homological dimensions

abstract: We introduce new homological dimensions, namely the Cohen-Macaulay projective, injective and flat dimensions for homologically bounded complexes. Among other things we show that (a) these invariants characterize the Cohen-Macaulay property for local rings, (b) Cohen-Macaulay flat dimension fits between the Gorenstein flat dimension and the large restricted flat dimension, and (c) Cohen-Macaulay injective dimension fits between the Gorenstein injective dimension and the Chouinard invariant.


title: Fast Grid Splitting Detection for N-1 Contingency Analysis by Graph Computing

abstract: In this study, a graph-computing based grid splitting detection algorithm is proposed for contingency analysis in a graph-based EMS (Energy Management System). The graph model of a power system is established by storing its bus-branch information into the corresponding vertex objects and edge objects of the graph database. Numerical comparison to an up-to-date serial computing algorithm is also investigated. Online tests on a real power system of China State Grid with 2752 buses and 3290 branches show that a 6 times speedup can be achieved, which lays a good foundation for advanced contingency analysis.


title: Skewness of nuclear matter and three-particle correlations

abstract: We present a study of the skewness of nuclear matter, which is proportional to the third derivative of the energy per nucleon with respect to the baryon density at the saturation point, in the framework of the Landau-Migdal theory. We derive an exact relation between the skewness, the nucleon effective mass, and two-particle and three-particle interaction parameters. We also present qualitative estimates, which indicate that three-particle correlations play an important role for the skewness.


title: Modularized Textual Grounding for Counterfactual Resilience

abstract: Computer Vision applications often require a textual grounding module with precision, interpretability, and resilience to counterfactual inputs/queries. To achieve high grounding precision, current textual grounding methods heavily rely on large-scale training data with manual annotations at the pixel level. Such annotations are expensive to obtain and thus severely narrow the model's scope of real-world applications. Moreover, most of these methods sacrifice interpretability, generalizability, and they neglect the importance of being resilient to counterfactual inputs. To address these issues, we propose a visual grounding system which is 1) end-to-end trainable in a weakly supervised fashion with only image-level annotations, and 2) counterfactually resilient owing to the modular design. Specifically, we decompose textual descriptions into three levels: entity, semantic attribute, color information, and perform compositional grounding progressively. We validate our model through a series of experiments and demonstrate its improvement over the state-of-the-art methods. In particular, our model's performance not only surpasses other weakly/un-supervised methods and even approaches the strongly supervised ones, but also is interpretable for decision making and performs much better in face of counterfactual classes than all the others.


title: On the Convergence Proof of AMSGrad and a New Version

abstract: The adaptive moment estimation algorithm Adam (Kingma and Ba) is a popular optimizer in the training of deep neural networks. However, Reddi et al. have recently shown that the convergence proof of Adam is problematic and proposed a variant of Adam called AMSGrad as a fix. In this paper, we show that the convergence proof of AMSGrad is also problematic. Concretely, the problem in the convergence proof of AMSGrad is in handling the hyper-parameters, treating them as equal while they are not. This is also the neglected issue in the convergence proof of Adam. We provide an explicit counter-example of a simple convex optimization setting to show this neglected issue. Depending on manipulating the hyper-parameters, we present various fixes for this issue. We provide a new convergence proof for AMSGrad as the first fix. We also propose a new version of AMSGrad called AdamX as another fix. Our experiments on the benchmark dataset also support our theoretical results.


title: MOCCA Survey Database I. BHs in star clusters

abstract: We briefly describe and discuss the set-up of the project MOCCA Survey Database I. The database contains more than 2000 Monte Carlo models of evolution of real star cluster performed with the MOCCA code. Then, we very briefly discuss results of analysis of the database regarding the following projects: formation of intermediate mass black holes, abrupt cluster dissolution harboring black hole subsystems, retention fraction of black hole - black hole mergers, and tidal disruption events with intermediate mass black holes.


title: Tracial moment problems on hypercubes

abstract: In this paper we introduce the "tracial $K$-moment problem" and the "sequential matrix-valued $K$-moment problem" and show the equivalence of the solvability of these problems. Using a Haviland's theorem for matrix polynomials, we solve these $K$-moment problems for the case where $K$ is the hypercube $[-1,1]^n$.


title: Thermal and optical properties of two molecular potentials

abstract: We solve the Schr\"odinger wave equation for the generalized Morse and Cusp molecular potential models. In the limit of high temperature, at first, we need to calculate the canonical partition function which is basically used to study the behavior of the thermodynamic functions. Based on this, we further calculate the thermodynamic quantities such as the free energy, the entropy, the mean energy and the specific heat. Their behavior with the temperature has been investigated. In addition, the susceptibility for two level systems is also found by applying the incident time dependent field.


title: Anomalous ground state properties of SmB6 -- a density functional theoretical study

abstract: We studied the electronic structure of SmB6 employing density functional theory (DFT) using different exchange potentials, spin-orbit coupling (SOC) and electron correlation (U = correlation strength). All the calculations carried out in this study converge to metallic ground state indicating bulk metallicity in SmB6, which is in line with the low temperature anomalies observed in this system. We show that while spin-orbit coupling and electron correlation is important to capture the ground state properties, generalized gradient approximation provides the best description of the Sm 4f multiplets observed in angle-resolved photoemission spectroscopy (ARPES) data. The Fermi surface plots exhibit electron and hole pockets having dominant Sm 4f character; the observation of these Fermi surfaces is consistent with the recent quantum oscillation measurements. In addition to primarily Sm 4f contributions observed at the Fermi level, we discover significantly large contribution from B 2p states compared to weak Sm 5d contributions. This suggests important role of B 2p - Sm 4f hybridization in the exotic physics of this system.


title: Joint Learning of Pre-Trained and Random Units for Domain Adaptation in Part-of-Speech Tagging

abstract: Fine-tuning neural networks is widely used to transfer valuable knowledge from high-resource to low-resource domains. In a standard fine-tuning scheme, source and target problems are trained using the same architecture. Although capable of adapting to new domains, pre-trained units struggle with learning uncommon target-specific patterns. In this paper, we propose to augment the target-network with normalised, weighted and randomly initialised units that beget a better adaptation while maintaining the valuable source knowledge. Our experiments on POS tagging of social media texts (Tweets domain) demonstrate that our method achieves state-of-the-art performances on 3 commonly used datasets.


title: Hybrid Approaches to Detect Comments Violating Macro Norms on Reddit

abstract: In this dataset paper, we present a three-stage process to collect Reddit comments that are removed comments by moderators of several subreddits, for violating subreddit rules and guidelines. Other than the fact that these comments were flagged by moderators for violating community norms, we do not have any other information regarding the nature of the violations. Through this procedure, we collect over 2M comments removed by moderators of 100 different Reddit communities, and publicly release the data. Working with this dataset of removed comments, we identify 8 macro norms---norms that are widely enforced on most parts of Reddit. We extract these macro norms by employing a hybrid approach---classification, topic modeling, and open-coding---on comments identified to be norm violations within at least 85 out of the 100 study subreddits. Finally, we label over 40K Reddit comments removed by moderators according to the specific type of macro norm being violated, and make this dataset publicly available. By breaking down a collection of removed comments into more granular types of macro norm violation, our dataset can be used to train more nuanced machine learning classifiers for online moderation.


title: Self-supervised Spatio-temporal Representation Learning for Videos by Predicting Motion and Appearance Statistics

abstract: We address the problem of video representation learning without human-annotated labels. While previous efforts address the problem by designing novel self-supervised tasks using video data, the learned features are merely on a frame-by-frame basis, which are not applicable to many video analytic tasks where spatio-temporal features are prevailing. In this paper we propose a novel self-supervised approach to learn spatio-temporal features for video representation. Inspired by the success of two-stream approaches in video classification, we propose to learn visual features by regressing both motion and appearance statistics along spatial and temporal dimensions, given only the input video data. Specifically, we extract statistical concepts (fast-motion region and the corresponding dominant direction, spatio-temporal color diversity, dominant color, etc.) from simple patterns in both spatial and temporal domains. Unlike prior puzzles that are even hard for humans to solve, the proposed approach is consistent with human inherent visual habits and therefore easy to answer. We conduct extensive experiments with C3D to validate the effectiveness of our proposed approach. The experiments show that our approach can significantly improve the performance of C3D when applied to video classification tasks. Code is available at https://github.com/laura-wang/video_repres_mas.