title: Conjugate Gradients and Accelerated Methods Unified: The Approximate Duality Gap View

abstract: This note provides a novel, simple analysis of the method of conjugate gradients for the minimization of convex quadratic functions. In contrast with standard arguments, our proof is entirely self-contained and does not rely on the existence of Chebyshev polynomials. Another advantage of our development is that it clarifies the relation between the method of conjugate gradients and general accelerated methods for smooth minimization by unifying their analyses within the framework of the Approximate Duality Gap Technique that was introduced by the authors.


title: Contact Process under heavy-tailed renewals on finite graphs

abstract: We investigate a non-Markovian analogue of the Harris contact process in a finite connected graph G=(V,E): an individual is attached to each site x in V, and it can be infected or healthy; the infection propagates to healthy neighbors just as in the usual contact process, according to independent exponential times with a fixed rate lambda>0; however, the recovery times for an individual are given by the points of a renewal process attached to its timeline, whose waiting times have distribution mu such that mu(t,infty) = t^{-alpha}L(t), where 1/2 < alpha < 1 and L is a slowly varying function; the renewal processes are assumed to be independent for different sites. We show that, starting with a single infected individual, if |V| < 2 + (2 alpha -1)/[(1-alpha)(2-alpha)], then the infection does not survive for any lambda; and if |V| > 1/(1-alpha), then, for every lambda, the infection has positive probability to survive


title: Logarithmic growth of local entropy and total correlations in many-body localized dynamics

abstract: The characterizing feature of a many-body localized phase is the existence of an extensive set of quasi-local conserved quantities with an exponentially localized support. This structure endows the system with the signature logarithmic in time entanglement growth between spatial partitions. This feature differentiates the phase from Anderson localization, in a non-interacting model. Experimentally measuring the entanglement between large partitions of an interacting many-body system requires highly non-local measurements which are currently beyond the reach of experimental technology. In this work we demonstrate that the defining structure of many-body localization can be detected by the dynamics of a simple quantity from quantum information known as the total correlations which is connected to the local entropies. Central to our finding is the necessity to propagate specific initial states, drawn from the Hamiltonian unbiased basis (HUB). The dynamics of the local entropies and total correlations requires only local measurements in space and therefore is potentially experimentally accessible in a range of platforms.


title: Equivariant differential characters and Chern-Simons bundles

abstract: We construct Chern-Simons bundles as $\mathrm{Aut}^{+}P$-equivariant $U(1)$ -bundles with connection over the space of connections $\mathcal{A}_{P}$ on a principal $G$-bundle $P\rightarrow M$. We show that the Chern-Simons bundles are determined up to an isomorphisms by means of its equivariant holonomy. The space of equivariant holonomies is shown to coincide with the space of equivariant differential characteres of second order. Furthermore, we prove that the Chern-Simons theory provides, in a natural way, an equivariant differential character that determines the Chern-Simons bundles. Our construction can be applied in the case in which $M$ is a compact manifold of even dimension and for arbitrary bundle $P$ and group $G$. The results are also generalized to the case of the action of diffeomorphisms on the space of Riemannian metrics. In particular, in dimension $2$ a Chern-Simons bundle over the Teichm\"{u}ller space is obtained.


title: Tracking VIX with VIX Futures: Portfolio Construction and Performance

abstract: We study a series of static and dynamic portfolios of VIX futures and their effectiveness to track the VIX index. We derive each portfolio using optimization methods, and evaluate its tracking performance from both empirical and theoretical perspectives. Among our results, we show that static portfolios of different VIX futures fail to track VIX closely. VIX futures simply do not react quickly enough to movements in the spot VIX. In a discrete-time model, we design and implement a dynamic trading strategy that adjusts daily to optimally track VIX. The model is calibrated to historical data and a simulation study is performed to understand the properties exhibited by the strategy. In addition, comparing to the volatility ETN, VXX, we find that our dynamic strategy has a superior tracking performance.


title: Generative Mask Pyramid Network for CT/CBCT Metal Artifact Reduction with Joint Projection-Sinogram Correction

abstract: A conventional approach to computed tomography (CT) or cone beam CT (CBCT) metal artifact reduction is to replace the X-ray projection data within the metal trace with synthesized data. However, existing projection or sinogram completion methods cannot always produce anatomically consistent information to fill the metal trace, and thus, when the metallic implant is large, significant secondary artifacts are often introduced. In this work, we propose to replace metal artifact affected regions with anatomically consistent content through joint projection-sinogram correction as well as adversarial learning. To handle the metallic implants of diverse shapes and large sizes, we also propose a novel mask pyramid network that enforces the mask information across the network's encoding layers and a mask fusion loss that reduces early saturation of adversarial training. Our experimental results show that the proposed projection-sinogram correction designs are effective and our method recovers information from the metal traces better than the state-of-the-art methods.


title: Causal geodesic incompleteness of spacetimes arising from IMP gluing

abstract: In 2002, Isenberg-Mazzeo-Pollack (IMP) constructed a series of vacuum initial data sets via a gluing construction. In this paper, we investigate some local geometry of these initial data sets as well as implications regarding their spacetime developments. In particular, we state conditions for the existence of outer trapped surfaces near the center of the IMP gluing neck and thence use a generalization of the Penrose incompleteness theorem to deduce null incompleteness of the resulting spacetimes.


title: Geodesic Distance Estimation with Spherelets

abstract: Many statistical and machine learning approaches rely on pairwise distances between data points. The choice of distance metric has a fundamental impact on performance of these procedures, raising questions about how to appropriately calculate distances. When data points are real-valued vectors, by far the most common choice is the Euclidean distance. This article is focused on the problem of how to better calculate distances taking into account the intrinsic geometry of the data, assuming data are concentrated near an unknown subspace or manifold. The appropriate geometric distance corresponds to the length of the shortest path along the manifold, which is the geodesic distance. When the manifold is unknown, it is challenging to accurately approximate the geodesic distance. Current algorithms are either highly complex, and hence often impractical to implement, or based on simple local linear approximations and shortest path algorithms that may have inadequate accuracy. We propose a simple and general alternative, which uses pieces of spheres, or spherelets, to locally approximate the unknown subspace and thereby estimate the geodesic distance through paths over spheres. Theory is developed showing lower error for many manifolds, with applications in clustering, conditional density estimation and mean regression. The conclusion is supported through multiple simulation examples and real data sets.


title: A weighted finite difference method for subdiffusive Black Scholes Model

abstract: In this paper we focus on the subdiffusive Black Scholes model. The main part of our work consists of the finite difference method as a numerical approach to the option pricing in the considered model. We derive the governing fractional differential equation and the related weighted numerical scheme being a generalization of the classical Crank-Nicolson scheme. The proposed method has $2-\alpha$ order of accuracy with respect to time where $\alpha\in(0,1)$ is the subdiffusion parameter, and $2$ with respect to space. Further, we provide the stability and convergence analysis. Finally, we present some numerical results.


title: Deciding Memory Safety for Single-Pass Heap-Manipulating Programs

abstract: We investigate the decidability of automatic program verification for programs that manipulate heaps, and in particular, decision procedures for proving memory safety for them. We extend recent work that identified a decidable subclass of uninterpreted programs to a class of alias-aware programs that can update maps. We apply this theory to develop verification algorithms for memory safety--- determining if a heap-manipulating program that allocates and frees memory locations and manipulates heap pointers does not dereference an unallocated memory location. We show that this problem is decidable when the initial allocated heap forms a forest data-structure and when programs are streaming-coherent, which intuitively restricts programs to make a single pass over a data-structure. Our experimental evaluation on a set of library routines that manipulate forest data-structures shows that common single-pass algorithms on data-structures often fall in the decidable class, and that our decision procedure is efficient in verifying them.


title: ALMA Band 3 polarimetric follow-up of a complete sample of faint PACO sources

abstract: We present Atacama Large Millimeter/submillimiter Array (ALMA) high sensitivity ($\sigma_P \simeq 0.4\,$mJy) polarimetric observations at $97.5\,$GHz (Band 3) of a complete sample of $32$ extragalactic radio sources drawn from the faint Planck-ATCA Co-eval Observations (PACO) sample ($b<-75^\circ$, compact sources brighter than $200\,$mJy at $20\,$GHz). We achieved a detection rate of $~97\%$ at $3\,\sigma$ (only $1$ non-detection). We complement these observations with new Australia Telescope Compact Array (ATCA) data between $2.1$ and $35\,$GHz obtained within a few months and with data published in earlier papers from our collaboration. Adding the co-eval GaLactic and Extragalactic All-sky Murchison widefield array (GLEAM) survey detections between $70\,$ and $230\,$MHz for our sources, we present spectra over more than $3$ decades in frequency in total intensity and over about $1.7$ decades in polarization. The spectra of our sources are smooth over the whole frequency range, with no sign of dust emission from the host galaxy at mm wavelengths nor of a sharp high frequency decline due, for example, to electron ageing. We do however find indications of multiple emitting components and present a classification based on the number of detected components. We analyze the polarization fraction behaviour and distributions up to $97\,$GHz for different source classes. Source counts in polarization are presented at $95\,$GHz.


title: Signed Laplacian Deep Learning with Adversarial Augmentation for Improved Mammography Diagnosis

abstract: Computer-aided breast cancer diagnosis in mammography is limited by inadequate data and the similarity between benign and cancerous masses. To address this, we propose a signed graph regularized deep neural network with adversarial augmentation, named \textsc{DiagNet}. Firstly, we use adversarial learning to generate positive and negative mass-contained mammograms for each mass class. After that, a signed similarity graph is built upon the expanded data to further highlight the discrimination. Finally, a deep convolutional neural network is trained by jointly optimizing the signed graph regularization and classification loss. Experiments show that the \textsc{DiagNet} framework outperforms the state-of-the-art in breast mass diagnosis in mammography.


title: Strategic Learning Approach for Deploying UAV-provided Wireless Services

abstract: Unmanned Aerial Vehicle (UAV) have emerged as a promising technique to rapidly provide wireless services to a group of mobile users simultaneously. The paper aims to address a challenging issue that each user is selfish and may misreport his location or preference for changing the optimal UAV location to be close to himself. Using algorithmic game theory, we study how to determine the final location of a UAV in the 3D space, by ensuring all selfish users' truthfulness in reporting their locations for learning purpose. To minimize the social service cost in this UAV placement game, we design strategyproof mechanisms with the approximation ratios, when comparing to the social optimum. We also study the obnoxious UAV placement game to maximally keep their social utility, where each incumbent user may misreport his location to keep the UAV away from him. Moreover, we present the dual-preference UAV placement game by considering the coexistence of the two groups of users above, where users can misreport both their locations and preference types (favorable or obnoxious) towards the UAV. Finally, we extend the three games above to include multiple UAVs and design strategyproof mechanisms with provable approximation ratios.


title: Bonded Mining: Difficulty Adjustment by Miner Commitment

abstract: Proof-of-work blockchains must implement a difficulty adjustment algorithm (DAA) in order to maintain a consistent inter-arrival time between blocks. Conventional DAAs are essentially feedback controllers, and as such, they are inherently reactive. This approach leaves them susceptible to manipulation and often causes them to either under- or over-correct. We present Bonded Mining, a proactive DAA that works by collecting hash rate commitments secured by bond from miners. The difficulty is set directly from the commitments and the bond is used to penalize miners who deviate from their commitment. We devise a statistical test that is capable of detecting hash rate deviations by utilizing only on-blockchain data. The test is sensitive enough to detect a variety of deviations from commitments, while almost never misclassifying honest miners. We demonstrate in simulation that, under reasonable assumptions, Bonded Mining is more effective at maintaining a target block time than the Bitcoin Cash DAA, one of the newest and most dynamic DAAs currently deployed. In this preliminary work, the lowest hash rate miner our approach supports is 1% of the total and we directly consider only two types of fundamental attacks. Future work will address these limitations.


title: A nodal integration scheme for meshfree Galerkin methods using the virtual element decomposition

abstract: In this paper, we present a novel nodal integration scheme for meshfree Galerkin methods that draws on the mathematical framework of the virtual element method. We adopt linear maximum-entropy basis functions for the discretization of field variables, although the proposed scheme is applicable to any linear meshfree approximant. In our approach, the weak form integrals are nodally integrated using nodal representative cells that carry the nodal displacements and state variables such as strains and stresses. The nodal integration is performed using the virtual element decomposition, wherein the bilinear form is decomposed into a consistency part and a stability part that ensure consistency and stability of the method. The performance of the proposed nodal integration scheme is assessed through benchmark problems in linear and nonlinear analyses of solids for small displacements and small-strain kinematics. Numerical results are presented for linear elastostatics and linear elastodynamics, and viscoelasticity. We demonstrate that the proposed nodally integrated meshfree method is accurate, converges optimally, and is more reliable and robust than a standard cell-based Gauss integrated meshfree method.


title: Nonstationary Gauss-Markov Processes: Parameter Estimation and Dispersion

abstract: This paper provides a precise error analysis for the maximum likelihood estimate $\hat{a}_{\text{ML}}(u_1^n)$ of the parameter $a$ given samples $u_1^n = (u_1, \ldots, u_n)'$ drawn from a nonstationary Gauss-Markov process $U_i = a U_{i-1} + Z_i,~i\geq 1$, where $U_0 = 0$, $a> 1$, and $Z_i$'s are independent Gaussian random variables with zero mean and variance $\sigma^2$. We show a tight nonasymptotic exponentially decaying bound on the tail probability of the estimation error. Unlike previous works, our bound is tight already for a sample size of the order of hundreds. We apply the new estimation bound to find the dispersion for lossy compression of nonstationary Gauss-Markov sources. We show that the dispersion is given by the same integral formula that we derived previously for the asymptotically stationary Gauss-Markov sources, i.e., $|a| < 1$. New ideas in the nonstationary case include separately bounding the maximum eigenvalue (which scales exponentially) and the other eigenvalues (which are bounded by constants that depend only on $a$) of the covariance matrix of the source sequence, and new techniques in the derivation of our estimation error bound.


title: Minimal bricks

abstract: A brick is a 3-connected graph such that the graph obtained from it by deleting any two distinct vertices has a perfect matching. A brick is minimal if for every edge e the deletion of e results in a graph that is not a brick. We prove a generation theorem for minimal bricks and two corollaries: (1) for n>4, every minimal brick on 2n vertices has at most 5n-7 edges, and (2) every minimal brick has at least three vertices of degree three.


title: Fixed-point properties for predicate modal logics

abstract: It is well known that the propositional modal logic $\mathbf{GL}$ of provability satisfies the de Jongh-Sambin fixed-point property. On the other hand, Montagna showed that the predicate modal system $\mathbf{QGL}$, which is the natural variant of $\mathbf{GL}$, loses the fixed-point property. In this paper, we discuss some versions of the fixed-point property for predicate modal logics. First, we prove that several extensions of $\mathbf{QGL}$ including $\mathbf{NQGL}$ do not have the fixed-point property. Secondly, we prove the fixed-point theorem for the logic $\mathbf{QK} + \Box^{n+1} \bot$. As a consequence, we obtain that the class $\mathsf{FH}$ of Kripke frames which are transitive and finite height satisfies the fixed-point property locally. We also show the failure of the Craig interpolation property for $\mathbf{NQGL}$. Finally, we give a sufficient condition for formulas to have a fixed-point in $\mathbf{QGL}$.


title: Outlier-robust Kalman filters with mixture correntropy

abstract: We consider the robust filtering problem for a nonlinear state-space model with outliers in measurements. To improve the robustness of the traditional Kalman filtering algorithm, we propose in this work two robust filters based on mixture correntropy, especially the double-Gaussian mixture correntropy and Laplace-Gaussian mixture correntropy. We have formulated the robust filtering problem by adopting the mixture correntropy induced cost to replace the quadratic one in the conventional Kalman filter for measurement fitting errors. In addition, a tradeoff weight coefficient is introduced to make sure the proposed approaches can provide reasonable state estimates in scenarios where measurement fitting errors are small. The formulated robust filtering problems are iteratively solved by utilizing the cubature Kalman filtering framework with a reweighted measurement covariance. Numerical results show that the proposed methods can achieve a performance improvement over existing robust solutions.


title: Nonintegrability and thermalization of one-dimensional diatomic lattices

abstract: Nonintegrability is a necessary condition for the thermalization of a generic Hamiltonian system. In practice, the integrability can be broken in various ways. As illustrating examples, we numerically studied the thermalization behaviors of two types of one-dimensional (1D) diatomic chains in the thermodynamic limit. One chain was the diatomic Toda chain whose nonintegrability was introduced by unequal masses. The other chain was the diatomic Fermi-Pasta-Ulam-Tsingou-$\beta$ chain whose nonintegrability was introduced by quartic nonlinear interaction. We found that these two different methods of destroying the integrability led to qualitatively different routes to thermalization, but the thermalization time, $T_{eq}$, followed the same law; $T_{eq}$ was inversely proportional to the square of the perturbation strength. This law also agreed with the existing results of 1D monatomic lattices. All these results imply that there is a universal law of thermalization that is independent of the method of breaking integrability.


title: Isomorphism problems for tensors, groups, and cubic forms: completeness and reductions

abstract: In this paper we consider the problems of testing isomorphism of tensors, $p$-groups, cubic forms, algebras, and more, which arise from a variety of areas, including machine learning, group theory, and cryptography. These problems can all be cast as orbit problems on multi-way arrays under different group actions. Our first two main results are: 1. All the aforementioned isomorphism problems are equivalent under polynomial-time reductions, in conjunction with the recent results of Futorny-Grochow-Sergeichuk (Lin. Alg. Appl., 2019). 2. Isomorphism of $d$-tensors reduces to isomorphism of 3-tensors, for any $d \geq 3$. Our results suggest that these isomorphism problems form a rich and robust equivalence class, which we call Tensor Isomorphism-complete, or TI-complete. We then leverage the techniques used in the above results to prove two first-of-their-kind results for Group Isomorphism (GpI): 3. We give a reduction from GpI for $p$-groups of exponent $p$ and small class ($c < p$) to GpI for $p$-groups of exponent $p$ and class 2. The latter are widely believed to be the hardest cases of GpI, but as far as we know, this is the first reduction from any more general class of groups to this class. 4. We give a search-to-decision reduction for isomorphism of $p$-groups of exponent $p$ and class 2 in time $|G|^{O(\log \log |G|)}$. While search-to-decision reductions for Graph Isomorphism (GI) have been known for more than 40 years, as far as we know this is the first non-trivial search-to-decision reduction in the context of GpI. Our main technique for (1), (3), and (4) is a linear-algebraic analogue of the classical graph coloring gadget, which was used to obtain the search-to-decision reduction for GI. This gadget construction may be of independent interest and utility. The technique for (2) gives a method for encoding an arbitrary tensor into an algebra.


title: Logical Clifford Synthesis for Stabilizer Codes

abstract: Quantum error-correcting codes are used to protect qubits involved in quantum computation. This process requires logical operators, acting on protected qubits, to be translated into physical operators (circuits) acting on physical quantum states. We propose a mathematical framework for synthesizing physical circuits that implement logical Clifford operators for stabilizer codes. Circuit synthesis is enabled by representing the desired physical Clifford operator in $\mathbb{C}^{N \times N}$ as a partial $2m \times 2m$ binary symplectic matrix, where $N = 2^m$. We state and prove two theorems that use symplectic transvections to efficiently enumerate all binary symplectic matrices that satisfy a system of linear equations. As a corollary of these results, we prove that for an $[\![ m,k ]\!]$ stabilizer code every logical Clifford operator has $2^{r(r+1)/2}$ symplectic solutions, where $r = m-k$, up to stabilizer degeneracy. The desired physical circuits are then obtained by decomposing each solution into a product of elementary symplectic matrices, that correspond to elementary circuits. This enumeration of all physical realizations enables optimization over the ensemble with respect to a suitable metric. Furthermore, we show that any circuit that normalizes the stabilizer of the code can be transformed into a circuit that centralizes the stabilizer, while realizing the same logical operation. Our method of circuit synthesis can be applied to any stabilizer code, and this paper discusses a proof of concept synthesis for the $[\![ 6,4,2 ]\!]$ CSS code. Programs implementing the algorithms in this paper, which includes routines to solve for binary symplectic solutions of general linear systems and our overall LCS (logical circuit synthesis) algorithm, can be found at: https://github.com/nrenga/symplectic-arxiv18a


title: Wide-angle spectrally selective absorbers and thermal emitters based on inverse opals

abstract: Engineered optical absorbers are of substantial interest for applications ranging from stray light reduction to energy conversion. We demonstrate a large-area (centimeter-scale) metamaterial that features near-unity frequency-selective absorption in the mid-infrared wavelength range. The metamaterial comprises a self-assembled porous structure known as an inverse opal, here made of silica. The structure's large volume fraction of voids, together with the vibrational resonances of silica in the mid-infrared spectral range, reduce the metamaterial's refractive index to close to that of air and introduce considerable optical absorption. As a result, the frequency-selective structure efficiently absorbs incident light of both polarizations even at very oblique incidence angles. The absorber remains stable at high temperatures (measured up to ~900 degrees C), enabling its operation as a frequency-selective thermal emitter. The excellent performance of this absorber/emitter and ease of fabrication make it a promising surface coating for passive radiative cooling, laser safety, and other large-area applications.


title: Competitive Algorithms for Online Budget-Constrained Continuous DR-Submodular Problems

abstract: In this paper, we study a certain class of online optimization problems, where the goal is to maximize a function that is not necessarily concave and satisfies the Diminishing Returns (DR) property under budget constraints. We analyze a primal-dual algorithm, called the Generalized Sequential algorithm, and we obtain the first bound on the competitive ratio of online monotone DR-submodular function maximization subject to linear packing constraints which matches the known tight bound in the special case of linear objective function.


title: Multi-Armed Bandits with Fairness Constraints for Distributing Resources to Human Teammates

abstract: How should a robot that collaborates with multiple people decide upon the distribution of resources (e.g. social attention, or parts needed for an assembly)? People are uniquely attuned to how resources are distributed. A decision to distribute more resources to one team member than another might be perceived as unfair with potentially detrimental effects for trust. We introduce a multi-armed bandit algorithm with fairness constraints, where a robot distributes resources to human teammates of different skill levels. In this problem, the robot does not know the skill level of each human teammate, but learns it by observing their performance over time. We define fairness as a constraint on the minimum rate that each human teammate is selected throughout the task. We provide theoretical guarantees on performance and perform a large-scale user study, where we adjust the level of fairness in our algorithm. Results show that fairness in resource distribution has a significant effect on users' trust in the system.


title: Quantitative Study on Current-Induced Effect in an Antiferromagnet Insulator/Pt Bilayer Film

abstract: Quantitative investigation on the current-induced torque in antiferromagnets represents a great challenge, due to the lack of an independent method for controlling N\'eel vectors. Here by utilizing an antiferromagnetic insulator with Dzyaloshinskii-Moriya interaction, {\alpha}-Fe2O3, we show that the N\'eel vector can be controlled with a moderate external field, which is further utilized to calibrate the current-induced magnetic dynamics. We find that the current-induced magnetoresistance change in antiferromagnets can be complicated by resistive switching that does not have a magnetic origin. By excluding non-magnetic switching and comparing the current-induced dynamics with the field-induced one, we determine the nature and magnitude of current-induced effects in Pt/{\alpha}-Fe2O3 bilayer films.


title: Calibration of the virial factor $f$ in supermassive black hole masses of reverberation-mapped AGNs

abstract: Using a compiled sample of 34 broad-line active galactic nuclei (AGNs) with measured H$\beta$ time lags from the reverberation mapping (RM) method and measured bulge stellar velocity dispersions $\sigma_*$, we calculate the virial factor $f$ by assuming that the RM AGNs intrinsically obey the same $M_{\rm BH}-\sigma_*$ relation as quiescent galaxies, where $M_{\rm BH}$ is the mass of the supermassive black hole (SMBH). Considering four tracers of the velocity of the broad-line regions (BLRs), i.e., the H$\beta$ line width or line dispersion from the mean or rms spectrum, there are four kinds of the factor $f$. Using the \hb Full-width at half-maximum (FWHM) to trace the BLRs velocity, we find significant correlations between the factor $f$ and some observational parameters, e.g., FWHM, the line dispersion. Using the line dispersion to trace the BLRs velocity, these relations disappear or become weaker. It implies the effect of inclination in BLRs geometry. It also suggests that the variable $f$ in $M_{\rm BH}$ estimated from luminosity and FWHM in a single-epoch spectrum is not negligible. Using a simple model of thick-disk BLRs, we also find that, as the tracer of the BLRs velocity, H$\beta$ FWHM has some dependence on the inclination, while the line dispersion $\sigma_{\rm H\beta }$ is insensitive to the inclination. Considering the calibrated FWHM-based factor $f$ from the mean spectrum, the scatter of the SMBH mass is 0.39 dex for our sample of 34 low redshift RM AGNs. For a high redshift sample of 30 SDSS RM AGNs with measured stellar velocity dispersions, we find that the SMBH mass scatter is larger than that for our sample of 34 low redshift RM AGNs. It implies the possibility of evolution of the $M_{\rm BH}-\sigma_*$ relation from high-redshift to low-redshift AGNs.


title: Online Continuous DR-Submodular Maximization with Long-Term Budget Constraints

abstract: In this paper, we study a class of online optimization problems with long-term budget constraints where the objective functions are not necessarily concave (nor convex) but they instead satisfy the Diminishing Returns (DR) property. Specifically, a sequence of monotone DR-submodular objective functions $\{f_t(x)\}_{t=1}^T$ and monotone linear budget functions $\{\langle p_t,x \rangle \}_{t=1}^T$ arrive over time and assuming a total targeted budget $B_T$, the goal is to choose points $x_t$ at each time $t\in\{1,\dots,T\}$, without knowing $f_t$ and $p_t$ on that step, to achieve sub-linear regret bound while the total budget violation $\sum_{t=1}^T \langle p_t,x_t \rangle -B_T$ is sub-linear as well. Prior work has shown that achieving sub-linear regret is impossible if the budget functions are chosen adversarially. Therefore, we modify the notion of regret by comparing the agent against a $(1-\frac{1}{e})$-approximation to the best fixed decision in hindsight which satisfies the budget constraint proportionally over any window of length $W$. We propose the Online Saddle Point Hybrid Gradient (OSPHG) algorithm to solve this class of online problems. For $W=T$, we recover the aforementioned impossibility result. However, when $W=o(T)$, we show that it is possible to obtain sub-linear bounds for both the $(1-\frac{1}{e})$-regret and the total budget violation.


title: Waiting is not easy but worth it: the online TSP on the line revisited

abstract: We consider the online traveling salesman problem on the real line (OLTSPL) in which a salesman begins at the origin, traveling at no faster than unit speed along the real line, and wants to serve a sequence of requests, arriving online over time on the real line and return to the origin as quickly as possible. The problem has been widely investigated for more than two decades, but was just optimally solved by a deterministic algorithm with a competitive ratio of $(9+\sqrt{17})/8$, reported in~[Bjelde A. et al., in Proc. SODA 2017, pp.994--1005]. In this study we present lower bounds and upper bounds for randomized algorithms in the OLTSPL. Precisely, we show, for the first time, that a simple randomized \emph{zealous} algorithm can improve the optimal deterministic algorithm. Here an algorithm is called zealous if waiting strategies are not allowed to use for the salesman as long as there are unserved requests. Moreover, we incorporate a natural waiting scheme into the randomized algorithm, which can even achieve the lower bound we propose for any randomized algorithms, and thus it is optimal. We also consider randomized algorithms against a \emph{fair} adversary, i.e. an adversary with restricted power that requires the salesman to move within the convex hull of the origin and the requests released so far. The randomized non-zealous algorithm can outperform the optimal deterministic algorithm against the fair adversary as well.


title: Multiple Landmark Detection using Multi-Agent Reinforcement Learning

abstract: The detection of anatomical landmarks is a vital step for medical image analysis and applications for diagnosis, interpretation and guidance. Manual annotation of landmarks is a tedious process that requires domain-specific expertise and introduces inter-observer variability. This paper proposes a new detection approach for multiple landmarks based on multi-agent reinforcement learning. Our hypothesis is that the position of all anatomical landmarks is interdependent and non-random within the human anatomy, thus finding one landmark can help to deduce the location of others. Using a Deep Q-Network (DQN) architecture we construct an environment and agent with implicit inter-communication such that we can accommodate K agents acting and learning simultaneously, while they attempt to detect K different landmarks. During training the agents collaborate by sharing their accumulated knowledge for a collective gain. We compare our approach with state-of-the-art architectures and achieve significantly better accuracy by reducing the detection error by 50%, while requiring fewer computational resources and time to train compared to the naive approach of training K agents separately.


title: Intrinsic Spin Hall Effect with Spin-Tensor-Momentum Coupling

abstract: We derive the spin continuity equation by using the Noether's theorem. A new type of spin-tensor Hall current is found in the continuity equation. The spin-tensor Hall current is originating from the coupling of the spin-tensor and the momentum. The intrinsic spin Hall effect in the two-dimensional fermion model with the spin-orbit coupling and spin-tensor-momentum coupling is studied. The total spin Hall conductivity with the presence of the spin-tensor Hall current is calculated. The numerical results indicate that the total spin Hall conductivity is enhanced by the contribution of the spin-tensor-momentum coupling. The spin-tensor-momentum coupling may increase the spin transport in the intrinsic spin Hall effect.


title: Superconducting phase diagram and nontrivial band topology of structurally modulated Sn$_{1-x}$Sb$_{x}$

abstract: We report the discovery of superconductivity in binary alloy Sn$_{1-x}$Sb$_{x}$ with $x$ in the range of 0.43 to 0.6, which possesses a modulated rhombohedral structure due to the incommensurate ordering of Sn and Sb layers along the $c$-axis. The specific heat measurements indicate a weakly coupled, fully gapped superconducting state in this homogeneity range with a maximum bulk $T_{\rm c}$ of 1.58 K at $x$ = 0.46, though the electronic specific heat and Hall coefficients remain nearly $x$-independent. The nonmonotonic dependence of the bulk $T_{\rm c}$ is discussed in relation to the effects of Sb-layer intercalation between the [Sn$_{4}$Sb$_{3}$] seven-layer lamellae that are the essential building block for superconductivity. On the other hand, a zero-resistivity transition is found to take place well above the bulk superconducting transition, and the corresponding $T_{\rm c}$ increases monotonically with $x$ from 2.06 K to 3.29 K. This contrast, together with the uniform elements distribution revealed by energy dispersive x-ray mapping, implies that the resistive transition is due to the strain effect at the grain boundary rather than the compositional inhomogeneity. The first-principles calculations on the representative composition Sn$_{4}$Sb$_{3}$ ($x$ = 0.43) indicate that it is topologically nontrivial similar to Sb, but with different Z$_{2}$ invariants (0;111). Our results not only identify a new superconducting region in the Sn-Sb phase diagram, but also provide a viable platform to study the interplay between structural modulation, nontrivial band topology and superconductivity.


title: Mechanisms of Artistic Creativity in Deep Learning Neural Networks

abstract: The generative capabilities of deep learning neural networks (DNNs) have been attracting increasing attention for both the remarkable artifacts they produce, but also because of the vast conceptual difference between how they are programmed and what they do. DNNs are 'black boxes' where high-level behavior is not explicitly programmed, but emerges from the complex interactions of thousands or millions of simple computational elements. Their behavior is often described in anthropomorphic terms that can be misleading, seem magical, or stoke fears of an imminent singularity in which machines become 'more' than human. In this paper, we examine 5 distinct behavioral characteristics associated with creativity, and provide an example of a mechanisms from generative deep learning architectures that give rise to each these characteristics. All 5 emerge from machinery built for purposes other than the creative characteristics they exhibit, mostly classification. These mechanisms of creative generative capabilities thus demonstrate a deep kinship to computational perceptual processes. By understanding how these different behaviors arise, we hope to on one hand take the magic out of anthropomorphic descriptions, but on the other, to build a deeper appreciation of machinic forms of creativity on their own terms that will allow us to nurture their further development.


title: Analog Signal Compression and Multiplexing Techniques for Healthcare Internet of Things

abstract: Scalability is a major issue for Internet of Things (IoT) as the total amount of traffic data collected and/or the number of sensors deployed grow. In some IoT applications such as healthcare, power consumption is also a key design factor for the IoT devices. In this paper, a multi-signal compression and encoding method based on Analog Joint Source Channel Coding (AJSCC) is proposed that works fully in the analog domain without the need for power-hungry Analog-to-Digital Converters (ADCs). Compression is achieved by quantizing all the input signals but one. While saving power, this method can also reduce the number of devices by combining one or more sensing functionalities into a single device (called 'AJSCC device'). Apart from analog encoding, AJSCC devices communicate to an aggregator node (FPMM receiver) using a novel Frequency Position Modulation and Multiplexing (FPMM) technique. Such joint modulation and multiplexing technique presents three mayor advantages---it is robust to interference at particular frequency bands, it protects against eavesdropping, and it consumes low power due to a very low Signal-to-Noise Ratio (SNR) operating region at the receiver. Performance of the proposed multi-signal compression method and FPMM technique is evaluated via simulations in terms of Mean Square Error (MSE) and Miss Detection Rate (MDR), respectively.


title: Random Matrices from Linear Codes and Wigner's Semicircle Law II

abstract: Recently we considered a class of random matrices obtained by choosing distinct codewords at random from linear codes over finite fields and proved that under some natural algebraic conditions their empirical spectral distribution converges to Wigner's semicircle law as the length of the codes goes to infinity. One of the conditions is that the dual distance of the codes is at least 5. In this paper, employing more advanced techniques related to Stieltjes transform, we show that the dual distance being at least 5 is sufficient to ensure the convergence, and the convergence rate is of the form $n^{-\beta}$ for some $0 < \beta < 1$, where $n$ is the length of the code.


title: Registration of pre-surgical MRI and whole-mount histopathology images in prostate cancer patients with radical prostatectomy via RAPSODI

abstract: Magnetic resonance imaging (MRI) has great potential to improve prostate cancer diagnosis. It can spare men with a normal exam from undergoing invasive biopsy while making biopsies more accurate in men with lesions suspicious for cancer. Yet, the subtle differences between cancer and confounding conditions, render the interpretation of MRI challenging. The tissue collected from patients that undergo pre-surgical MRI and radical prostatectomy provides a unique opportunity to correlate histopathology images of the entire prostate with MRI in order to accurately map the extent of prostate cancer onto MRI. Here, we introduce the RAPSODI (framework for the registration of radiology and pathology images. RAPSODI relies on a three-step procedure that first reconstructs in 3D the resected tissue using the serial whole-mount histopathology slices, then registers corresponding histopathology and MRI slices, and finally maps the cancer outlines from the histopathology slices onto MRI. We tested RAPSODI in a phantom study where we simulated various conditions, e.g., tissue specimen rotation upon mounting on glass slides, tissue shrinkage during fixation, or imperfect slice-to-slice correspondences between histology and MRI. Our experiments showed that RAPSODI can reliably correct for rotations within $\pm15^{\circ}$ and shrinkage up to 10%. We also evaluated RAPSODI in 89 patients from two institutions that underwent radical prostatectomy, yielding 543 histopathology slices that were registered to corresponding T2 weighted MRI slices. We found a Dice coefficient of 0.98$ \pm $0.01 for the prostate, prostate boundary Hausdorff distance of 1.71$ \pm $0.48 mm, a urethra deviation of 2.91$ \pm $1.25 mm, and a landmark deviation of 2.88$ \pm $0.70 mm between registered histopathology images and MRI. Our robust framework successfully mapped the extent of disease from histopathology slices onto MRI.


title: Random Forests for Adaptive Nearest Neighbor Estimation of Information-Theoretic Quantities

abstract: Information-theoretic quantities, such as conditional entropy and mutual information, are critical data summaries for quantifying uncertainty. Current widely used approaches for computing such quantities rely on nearest neighbor methods and exhibit both strong performance and theoretical guarantees in certain simple scenarios. However, existing approaches fail in high-dimensional settings and when different features are measured on different scales.We propose decision forest-based adaptive nearest neighbor estimators and show that they are able to effectively estimate posterior probabilities, conditional entropies, and mutual information even in the aforementioned settings.We provide an extensive study of efficacy for classification and posterior probability estimation, and prove certain forest-based approaches to be consistent estimators of the true posteriors and derived information-theoretic quantities under certain assumptions. In a real-world connectome application, we quantify the uncertainty about neuron type given various cellular features in the Drosophila larva mushroom body, a key challenge for modern neuroscience.


title: Observing Dialogue in Therapy: Categorizing and Forecasting Behavioral Codes

abstract: Automatically analyzing dialogue can help understand and guide behavior in domains such as counseling, where interactions are largely mediated by conversation. In this paper, we study modeling behavioral codes used to asses a psychotherapy treatment style called Motivational Interviewing (MI), which is effective for addressing substance abuse and related problems. Specifically, we address the problem of providing real-time guidance to therapists with a dialogue observer that (1) categorizes therapist and client MI behavioral codes and, (2) forecasts codes for upcoming utterances to help guide the conversation and potentially alert the therapist. For both tasks, we define neural network models that build upon recent successes in dialogue modeling. Our experiments demonstrate that our models can outperform several baselines for both tasks. We also report the results of a careful analysis that reveals the impact of the various network design tradeoffs for modeling therapy dialogue.


title: Collaboration of AI Agents via Cooperative Multi-Agent Deep Reinforcement Learning

abstract: There are many AI tasks involving multiple interacting agents where agents should learn to cooperate and collaborate to effectively perform the task. Here we develop and evaluate various multi-agent protocols to train agents to collaborate with teammates in grid soccer. We train and evaluate our multi-agent methods against a team operating with a smart hand-coded policy. As a baseline, we train agents concurrently and independently, with no communication. Our collaborative protocols were parameter sharing, coordinated learning with communication, and counterfactual policy gradients. Against the hand-coded team, the team trained with parameter sharing and the team trained with coordinated learning performed the best, scoring on 89.5% and 94.5% of episodes respectively when playing against the hand-coded team. Against the parameter sharing team, with adversarial training the coordinated learning team scored on 75% of the episodes, indicating it is the most adaptable of our methods. The insights gained from our work can be applied to other domains where multi-agent collaboration could be beneficial.


title: Towards Wireless Health Monitoring via Analog Signal Compression based Biosensing Platform

abstract: Wireless all-analog biosensor design for concurrent microfluidic and physiological signal monitoring is presented in this work. The key component is an all-analog circuit capable of compressing two analog sources into one analog signal by Analog Joint Source-Channel Coding (AJSCC). Two circuit designs are discussed, including the stacked-Voltage Controlled Voltage Source (VCVS) design with the fixed number of levels, and an improved design, which supports a flexible number of AJSCC levels. Experimental results are presented on the wireless biosensor prototype, composed of Printed Circuit Board (PCB) realizations of the stacked-VCVS design. Furthermore, circuit simulation and wireless link simulation results are presented on the improved design. Results indicate that the proposed wireless biosensor is well suited for sensing two biological signals simultaneously with high accuracy, and can be applied to a wide variety of low-power and low-cost wireless continuous health monitoring applications.


title: Prediction of Small Molecule Kinase Inhibitors for Chemotherapy Using Deep Learning

abstract: The current state of cancer therapeutics has been moving away from one-size-fits-all cytotoxic chemotherapy, and towards a more individualized and specific approach involving the targeting of each tumor's genetic vulnerabilities. Different tumors, even of the same type, may be more reliant on certain cellular pathways more than others. With modern advancements in our understanding of cancer genome sequencing, these pathways can be discovered. Investigating each of the millions of possible small molecule inhibitors for each kinase in vitro, however, would be extremely expensive and time consuming. This project focuses on predicting the inhibition activity of small molecules targeting 8 different kinases using multiple deep learning models. We trained fingerprint-based MLPs and simplified molecular-input line-entry specification (SMILES)-based recurrent neural networks (RNNs) and molecular graph convolutional networks (GCNs) to accurately predict inhibitory activity targeting these 8 kinases.


title: Visual Space Optimization for Zero-shot Learning

abstract: Zero-shot learning, which aims to recognize new categories that are not included in the training set, has gained popularity owing to its potential ability in the real-word applications. Zero-shot learning models rely on learning an embedding space, where both semantic descriptions of classes and visual features of instances can be embedded for nearest neighbor search. Recently, most of the existing works consider the visual space formulated by deep visual features as an ideal choice of the embedding space. However, the discrete distribution of instances in the visual space makes the data structure unremarkable. We argue that optimizing the visual space is crucial as it allows semantic vectors to be embedded into the visual space more effectively. In this work, we propose two strategies to accomplish this purpose. One is the visual prototype based method, which learns a visual prototype for each visual class, so that, in the visual space, a class can be represented by a prototype feature instead of a series of discrete visual features. The other is to optimize the visual feature structure in an intermediate embedding space, and in this method we successfully devise a multilayer perceptron framework based algorithm that is able to learn the common intermediate embedding space and meanwhile to make the visual data structure more distinctive. Through extensive experimental evaluation on four benchmark datasets, we demonstrate that optimizing visual space is beneficial for zero-shot learning. Besides, the proposed prototype based method achieves the new state-of-the-art performance.


title: Can we constrain the dark energy equation of state parameters using configuration entropy?

abstract: We propose a new scheme for constraining the dark energy equation of state parameter/parameters based on the study of the evolution of the configuration entropy. We analyze a set of one parameter and two parameter dynamical dark energy models and find that the derivative of the configuration entropy in all the dynamical dark energy models exhibit a minimum. The magnitude of the minimum of the entropy rate is decided by both the parametrization of the equation of state as well as the associated parameters. The location of the minimum of the entropy rate is less sensitive to the form of the parametrization but depends on the associated parameters. We determine the best fit equations for the location and magnitude of the minimum of the entropy rate in terms of the parameter/parameters of the dark energy equation of state. These relations would allow us to constrain the dark energy equation of state parameter/parameters for any given parametrization provided the evolution of the configuration entropy in the Universe is known from observations.


title: Secure Mobile Technologies for Proactive Critical Infrastructure Situational Awareness

abstract: Trustworthy operation of our national critical infrastructures, such as the electricity grid, against adversarial parties and accidental failures requires constant and secure monitoring capabilities. In this paper, Eyephone is presented to leverage secure smartphone sensing and data acquisition capabilities and enable pervasive sensing of the national critical infrastructures. The reported information by the smartphone users will notify the control center operators about particular accidental or malicious remote critical infrastructure incidents. The reporting will be proactive regarding potentially upcoming failures given the system's current risky situation, e.g., a tree close to fall on a power grid transmission line. The information will include various modalities such as images, video, audio, time and location. Eyephone will use system-wide information flow analysis and policy enforcement to prevent user privacy violations during the incident reportings. A working proof-of-concept prototype of Eyephone is implemented. Our results show that Eyephone allows secure and effective use of smartphones for real-time situational awareness of our national critical infrastructures.


title: Highly degenerate photonic flat bands arising from complete graph configurations

abstract: Inspired by complete graph theory, we demonstrate that a metallic claw "meta-atom" structure can carry a high number of nearly degenerate resonant modes. A photonic meta-crystal composing of a lattice of such meta-atoms exhibits a large number of flat bands that are squeezed into a narrow frequency window, and these flat bands can be designed to locate in a wide complete 3D bandgap. The degeneracy dimension (Nf) of the flat bands is determined by the number of branches (Nb) of the metallic claw with Nf=Nb-3, which is geometrically related to the complete graph theory. Different from those flat bands emerging from special lattice arrangements (e.g., Kagome lattice), the isolated flat bands here are insensitive to lattice perturbations. The proposed mechanism offers a new platform for realizing various dispersion-less phenomena and a new paradigm to realize high density of states and spectra compressing.


title: New identities for some symmetric polynomials, and a higher order analogue of the Fibonacci and Lucas numbers

abstract: We give new identities for some symmetric polynomials. As applications of these identities, we obtain some formulas for a higher order analogue of Fibonacci and Lucas numbers.


title: Existence of affine realizations for stochastic partial differential equations driven by L\'evy processes

abstract: The goal of this paper is to clarify when a semilinear stochastic partial differential equation driven by L\'evy processes admits an affine realization. Our results are accompanied by several examples arising in natural sciences and economics.


title: Affine realizations with affine state processes for stochastic partial differential equations

abstract: The goal of this paper is to clarify when a stochastic partial differential equation with an affine realization admits affine state processes. This includes a characterization of the set of initial points of the realization. Several examples, as the HJMM equation from mathematical finance, illustrate our results.


title: Flatness of invariant manifolds for stochastic partial differential equations driven by L\'{e}vy processes

abstract: The purpose of this note is to prove that the flatness of an invariant manifold for a semilinear stochastic partial differential equation driven by L\'{e}vy processes is at least equal to the number of driving sources with small jumps. We illustrate our findings by means of an example.


title: Large-scale, real-time visual-inertial localization revisited

abstract: The overarching goals in image-based localization are scale, robustness and speed. In recent years, approaches based on local features and sparse 3D point-cloud models have both dominated the benchmarks and seen successful realworld deployment. They enable applications ranging from robot navigation, autonomous driving, virtual and augmented reality to device geo-localization. Recently end-to-end learned localization approaches have been proposed which show promising results on small scale datasets. However the positioning accuracy, scalability, latency and compute & storage requirements of these approaches remain open challenges. We aim to deploy localization at global-scale where one thus relies on methods using local features and sparse 3D models. Our approach spans from offline model building to real-time client-side pose fusion. The system compresses appearance and geometry of the scene for efficient model storage and lookup leading to scalability beyond what what has been previously demonstrated. It allows for low-latency localization queries and efficient fusion run in real-time on mobile platforms by combining server-side localization with real-time visual-inertial-based camera pose tracking. In order to further improve efficiency we leverage a combination of priors, nearest neighbor search, geometric match culling and a cascaded pose candidate refinement step. This combination outperforms previous approaches when working with large scale models and allows deployment at unprecedented scale. We demonstrate the effectiveness of our approach on a proof-of-concept system localizing 2.5 million images against models from four cities in different regions on the world achieving query latencies in the 200ms range.


title: Design and Implementation of an Automatic Synchronizing and Protection Relay through Power-Hardware-in-the-Loop (PHIL) Simulation

abstract: This paper focuses on the design and implementation of an automatic synchronizing and protection relay to automate the synchronization process of a Distributed Energy Resource (DER) to the Main Grid. The proposed design utilize a cost-effective data acquisition using arduino in combination with LabVIEW software to implement the multi-purpose synchronizing relay. The proposed synchronizing relay is capable of synchronizing a Distributed Generator (DG) to the power grid from black-start and fulfills the requirements imposed by the utility. The synchronizing relay is implemented through voltage and frequency control of an actual lab-scale synchronous generator. In the synchronization process, frequency synchronization is done using speed control of the stepper motor as prime mover and voltage synchronization is accomplished using Excitation Control module through Power-Hardware-in-the-Loop (PHIL) simulation. In grid-connected mode, active and reactive power controls and protection schemes for the synchronous generator have also been implemented. The proposed multi-function relay has been deployed and tested on a lab-scale test bed to validate the proposed design and functionality.


title: Computing resonant modes of circular cylindrical resonators by vertical mode expansions

abstract: Open subwavelength cylindrical resonators of finite height are widely used in various photonics applications. Circular cylindrical resonators are particularly important in nanophotonics, since they are relatively easy to fabricate and can be designed to exhibit different resonance effects. In this paper, an efficient and robust numerical method is developed for computing resonant modes of circular cylinders which may have a few layers and may be embedded in a layered background. The resonant modes are complex-frequency outgoing solutions of the Maxwell's equations with no sources or incident waves. The method uses field expansions in one-dimensional (1D) ``vertical'' modes to reduce the original three-dimensional eigenvalue problem to 1D problems, and uses Chebyshev pseudospectral method to compute the 1D modes and set up the discretized eigenvalue problem. In addition, a new iterative scheme is developed so that the 1D nonlinear eigenvalue problems can be reliably solved. For metallic cylinders, the resonant modes are calculated based on analytic models for the dielectric functions of metals. The method is validated by comparisons with existing numerical results, and it is also used to explore subwavelength dielectric cylinders with high-$Q$ resonances and analyze gold nanocylinders.


title: Analysis of the $X(3842)$ as a D-wave charmonium meson

abstract: In this article, we assign the newly reported state $X(3842)$ to be a D-wave $\overline{c}c$ meson, and study its mass and decay constant with the QCD sum rules by considering the contributions of the vacuum condensates up to dimension-6 in the operator product expansion. The predicted mass $M_{X(3842)}=(3.844^{+0.0675}_{-0.0823}\pm0.020)GeV$ is in agreement well with the experimental data $M_{X(3842)}=(3842.71\pm0.16\pm0.12)MeV$ from the LHCb collaboration. This result supports assigning $X(3842)$ to be a $1^{3}D_{3}$ charmonium meson. As the $1^{3}D_{3}$ $\overline{c}c$ meson, its predicted strong decay width with the $^{3}P_{0}$ decay model is compatible with the experimental data.


title: The X-ray photoemission and Co K -Edge X-ray absorption of Ba2CoWO6

abstract: The structural, electronic and optical properties of cubic double perovskite BaCoWO6 have been studied. Neutron powder diffraction data is collected on this sample from 6K to 300K. The crystal structure is face centered cubic, space group being Fm3m (No. 225). We did not find evidence for long range magnetic ordering in this system in this temperature range. The band-gap is estimated using Uv-vis spectroscopy. The Co-K edge X-ray absorption (XAFS) spectra of Ba2CoWO6 was analysed together with those Co-foil, which was used as reference compounds. X-ray photoemission spectroscopy (XPS), X-ray absorption near edge structure (XANES) and extended X-ray absorption fine structure (EXAFS) studies give the insight of the electronic and structural information on the Co local environment for Ba2CoWO6.


title: Secondary cameras onboard the Mini-EUSO experiment: Control Software and Calibration

abstract: Mini-EUSO is a space experiment selected to be installed inside the International Space Station. It has a compact telescope with a large field of view ($44 $\times$ 44$ sq. deg.) focusing light on an array of photo-multipliers tubes in order to observe UV emission coming from Earth's atmosphere. Observations will be complemented with data recorded by some ancillary detectors. In particular, the Mini-EUSO Additional Data Acquisition System (ADS) is composed by two cameras, which will allow us to obtain data in the near infrared, and in the visible range. These will be used to monitor the observation conditions, and to acquire useful information on several scientific topics to be studied with the main instrument, such as the physics of atmosphere, meteors, and strange quark matter. Here we present the ADS control software developed to stream cameras together with the UV main instrument, in order to grab images in an automated and independent way, and we also describe the calibration activities performed on these two ancillary cameras before flight.


title: Development of a novel matrix-based methodology for system engineering: A case study

abstract: Developing a structured method for analyzing various aspects of a system requires a novel methodology. This study is aimed at developing such as methodology through combining two major matrix methods, namely, Design Structure Matrix (DSM) and Interface Structure Matrix (ISM). Through this paper, a business process modeling method is applied to turn a real work project to a process model. Then that process model is written in two various matrix forms of DSM and ISM. These two matrices are analyzed by two types of algorithm for extracting activity levels and sub-processes. In the end, a Mixed Matrix Model (MMM) is built upon these activity levels and sub-processes, which can be used as a framework for the engineering of real-world systems.


title: Frequentist performances of Bayesian prediction intervals for random-effects meta-analysis

abstract: The prediction interval has been increasingly used in meta-analyses as a useful measure for assessing the magnitude of treatment effect and between-studies heterogeneity. In calculations of the prediction interval, although the Higgins-Thompson-Spiegelhalter method is used most often in practice, it might not have adequate coverage probability for the true treatment effect of a future study under realistic situations. An effective alternative candidate is the Bayesian prediction interval, which has also been widely used in general prediction problems. However, these prediction intervals are constructed based on the Bayesian philosophy, and their frequentist validities are only justified by large-sample approximations even if non-informative priors are adopted. There has been no certain evidence that evaluated their frequentist performances under realistic situations of meta-analyses. In this study, we conducted extensive simulation studies to assess the frequentist coverage performances of Bayesian prediction intervals with 11 non-informative prior distributions under general meta-analysis settings. Through these simulation studies, we found that frequentist coverage performances strongly depended on what prior distributions were adopted. In addition, when the number of studies was smaller than 10, there were no prior distributions that retained accurate frequentist coverage properties. We also illustrated these methods via applications to eight real meta-analysis datasets. The resultant prediction intervals also differed according to the adopted prior distributions. Inaccurate prediction intervals may provide invalid evidence and misleading conclusions. Thus, if frequentist accuracy is required, Bayesian prediction intervals should be used cautiously in practice.


title: Picosecond pulses from a mid-infrared interband cascade laser

abstract: The generation of mid-infrared pulses in monolithic and electrically pumped devices is of great interest for mobile spectroscopic instruments. The gain dynamics of interband cascade lasers (ICL) are promising for mode-locked operation at low threshold currents. Here, we present conclusive evidence for the generation of picosecond pulses in ICLs via active mode-locking. At small modulation power, the ICL operates in a linearly chirped frequency comb regime characterized by strong frequency modulation. Upon increasing the modulation amplitude, the chirp decreases until broad pulses are formed. Careful tuning of the modulation frequency minimizes the remaining chirp and leads to the generation of 3.2 ps pulses.


title: Universal constraints on semigroups of hyperbolic isometries

abstract: A semigroup generated by a finite collection of isometries of the hyperbolic plane is called semidiscrete if its elements do not accumulate at the identity transformation in the topology of uniform convergence on compact sets. In this paper we obtain geometric constraints on the generators of a finitely-generated semigroup which imply that the semigroup is semidiscrete.


title: Learning to Find Correlated Features by Maximizing Information Flow in Convolutional Neural Networks

abstract: Training convolutional neural networks for image classification tasks usually causes information loss. Although most of the time the information lost is redundant with respect to the target task, there are still cases where discriminative information is also discarded. For example, if the samples that belong to the same category have multiple correlated features, the model may only learn a subset of the features and ignore the rest. This may not be a problem unless the classification in the test set highly depends on the ignored features. We argue that the discard of the correlated discriminative information is partially caused by the fact that the minimization of the classification loss doesn't ensure to learn the overall discriminative information but only the most discriminative information. To address this problem, we propose an information flow maximization (IFM) loss as a regularization term to find the discriminative correlated features. With less information loss the classifier can make predictions based on more informative features. We validate our method on the shiftedMNIST dataset and show the effectiveness of IFM loss in learning representative and discriminative features.


title: A multiscale reduced basis method for Schr\"{o}dinger equation with multiscale and random potentials

abstract: The semiclassical Schr\"{o}dinger equation with multiscale and random potentials often appears when studying electron dynamics in heterogeneous quantum systems. As time evolves, the wavefunction develops high-frequency oscillations in both the physical space and the random space, which poses severe challenges for numerical methods. In this paper, we propose a multiscale reduced basis method, where we construct multiscale reduced basis functions using an optimization method and the proper orthogonal decomposition method in the physical space and employ the quasi-Monte Carlo method in the random space. Our method is verified to be efficient: the spatial gridsize is only proportional to the semiclassical parameter and the number of samples in the random space is inversely proportional to the same parameter. Several theoretical aspects of the proposed method, including how to determine the number of samples in the construction of multiscale reduced basis and convergence analysis, are studied with numerical justification. In addition, we investigate the Anderson localization phenomena for Schr\"{o}dinger equation with correlated random potentials in both 1D and 2D.


title: Random Vector Functional Link Neural Network based Ensemble Deep Learning

abstract: In this paper, we propose a deep learning framework based on randomized neural network. In particular, inspired by the principles of Random Vector Functional Link (RVFL) network, we present a deep RVFL network (dRVFL) with stacked layers. The parameters of the hidden layers of the dRVFL are randomly generated within a suitable range and kept fixed while the output weights are computed using the closed form solution as in a standard RVFL network. We also propose an ensemble deep network (edRVFL) that can be regarded as a marriage of ensemble learning with deep learning. Unlike traditional ensembling approaches that require training several models independently from scratch, edRVFL is obtained by training a single dRVFL network once. Both dRVFL and edRVFL frameworks are generic and can be used with any RVFL variant. To illustrate this, we integrate the deep learning networks with a recently proposed sparse-pretrained RVFL (SP-RVFL). Extensive experiments on benchmark datasets from diverse domains show the superior performance of our proposed deep RVFL networks.


title: A Note on Graphs of Dichromatic Number 2

abstract: Neumann-Lara and \v{S}krekovski conjectured that every planar digraph is $2$-colourable. We show that this conjecture is equivalent to the more general statement that all oriented $K_5$-minor-free graphs are $2$-colourable.


title: Instability of social network dynamics with stubborn links

abstract: This paper studies the signed networks in the presence of stubborn links, based on the structural balance theory. Each agent in the network has a mixture of positive and negative links represent friendly and antagonistic interactions and his stubbornness about interactions. Structural balance theory affirms that in signed social networks with simultaneous friendly/hostile interactions, there is a general tendency of evolving over time to reduce the tensions. From this perspective, individuals iteratively invert their own sentiments to reduce the felt tensions induced by imbalance. In this paper, we investigate the consequences of the agents' stubbornness on their interactions. We define stubbornness as an extreme antagonistic interaction which is resistant to change. In the current paper, we investigated if the presence of stubborn links renders an impact on the balance state of the network and whether or not the degree of balance in a signed network depends on the location of stubborn links. Our results show that a poorly balanced configuration consists of multiple antagonistic groups. Both analytical and simulation results demonstrate that the global level of balance of the network is more influenced by the locations of stubborn links in the resulting network topology than by the fraction of stubborn links. This means that even with a large fraction of stubborn links the network would evolve towards a balanced state. On the other hand, if a small fraction of stubborn links are clustered in five stubborn communities, the network evolves to an unbalanced state.


title: Global weighted gradient estimates for nonlinear p-Laplacian type elliptic equations and its application

abstract: We obtain the global weighted $W^{1,p}$ estimates for weak solutions of nonlinear elliptic equations over Reifenberg flat domains. Where nonlinearity $A(x,z,\xi)$ is assumed to be local uniform continuous in $z$ and have small BMO semi-norm in $x$. Moreover, we derive Besov regularity for solutions of a class of special harmonic equations by making use of $W^{1,p}$ estimate. Keywords: global weighted $W^{1,p}$ estimates; quasilinear equations; Besov regularity


title: Difficulty-aware Meta-learning for Rare Disease Diagnosis

abstract: Rare diseases have extremely low-data regimes, unlike common diseases with large amount of available labeled data. Hence, to train a neural network to classify rare diseases with a few per-class data samples is very challenging, and so far, catches very little attention. In this paper, we present a difficulty-aware meta-learning method to address rare disease classifications and demonstrate its capability to classify dermoscopy images. Our key approach is to first train and construct a meta-learning model from data of common diseases, then adapt the model to perform rare disease classification.To achieve this, we develop the difficulty-aware meta-learning method that dynamically monitors the importance of learning tasks during the meta-optimization stage. To evaluate our method, we use the recent ISIC 2018 skin lesion classification dataset, and show that with only five samples per class, our model can quickly adapt to classify unseen classes by a high AUC of 83.3%. Also, we evaluated several rare disease classification results in the public Dermofit Image Library to demonstrate the potential of our method for real clinical practice.


title: Analysis of the duration$-$hardness ratio plane of gamma-ray bursts with skewed distributions

abstract: It was recently shown that the $T_{90}-H_{32}$ distributions of gamma-ray bursts from CGRO/BATSE and Fermi/GBM are well described by a mixture of only two skewed components, making the presumed third, intermediate class unnecesary. The Swift/BAT, Konus-Wind, RHESSI and Suzaku/WAM data sets are found to be consistent with a two-class description as well.


title: Countably generated flat modules are quite flat

abstract: We prove that if $R$ is a commutative Noetherian ring, then every countably generated flat $R$-module is quite flat, i.e., a direct summand of a transfinite extension of localizations of $R$ in countable multiplicative subsets. We also show that if the spectrum of $R$ is of cardinality less than $\kappa$, where $\kappa$ is an uncountable regular cardinal, then every flat $R$-module is a transfinite extension of flat modules with less than $\kappa$ generators. This provides an alternative proof of the fact that over a commutative Noetherian ring with countable spectrum, all flat modules are quite flat. More generally, we say that a commutative ring is CFQ if every countably presented flat $R$-module is quite flat. We show that all von Neumann regular rings and all $S$-almost perfect rings are CFQ. A zero-dimensional local ring is CFQ if and only if it is perfect. A domain is CFQ if and only if all its proper quotient rings are CFQ. A valuation domain is CFQ if and only if it is strongly discrete.


title: Grothendieck's Dessins d'Enfants in a Web of Dualities. II

abstract: We show that the spectral curve for Eynard-Orantin topological recursions satisfied by counting Grothendieck's dessins d'enfants are related to Narayana numbers. This suggests a connection of dessins to combinatorics of Coxeter groups, noncrossing partitions, free probability theory, and cluster algebras.


title: Selfgravitating disks in binary systems: an SPH approach -- I. Implementation of the code and reliability tests

abstract: The study of the stability of massive gaseous disks around a star in a non-isolated context is not a trivial issue and becomes a more complicated task for disks hosted by binary systems. The role of self-gravity is thought to be significant, whenever the ratio of the disk to the star mass is non-negligible. To tackle these issues we implemented, tested and applied our own Smoothed Particle Hydrodynamics (SPH) algorithm. The code (named GaSPH) passed various quality tests and shows good performances, so to be reliably applied to the study of disks around stars accounting for self-gravity. This work aims to introduce and describe the algorithm, making some performance and stability tests. It constitutes the first part of a series of studies in which self-gravitating disks in binary systems will be let evolve in larger environments such as Open Clusters.


title: Rough concepts

abstract: The present paper proposes a novel way to unify Rough Set Theory and Formal Concept Analysis. Our method stems from results and insights developed in the algebraic theory of modal logic, and is based on the idea that Pawlak's original approximation spaces can be seen as special instances of enriched formal contexts, i.e. relational structures based on formal contexts from Formal Concept Analysis.


title: Self-Propelled Rods: Insights and Perspectives for Active Matter

abstract: A wide range of experimental systems including gliding, swarming and swimming bacteria, in-vitro motility assays as well as shaken granular media are commonly described as self-propelled rods. Large ensembles of those entities display a large variety of self-organized, collective phenomena, including formation of moving polar clusters, polar and nematic dynamic bands, mobility-induced phase separation, topological defects and mesoscale turbulence, among others. Here, we give a brief survey of experimental observations and review the theoretical description of self-propelled rods. Our focus is on the emergent pattern formation of ensembles of dry self-propelled rods governed by short-ranged, contact mediated interactions and their wet counterparts that are also subject to long-ranged hydrodynamic flows. Altogether, self-propelled rods provide an overarching theme covering many aspects of active matter containing well-explored limiting cases. Their collective behavior not only bridges the well-studied regimes of polar self-propelled particles and active nematics, and includes active phase separation, but also reveals a rich variety of new patterns.


title: Quantum Trajectories in Entropic Dynamics

abstract: Entropic Dynamics is a framework for deriving the laws of physics from entropic inference. In an (ED) of particles, the central assumption is that particles have definite yet unknown positions. By appealing to certain symmetries, one can derive a quantum mechanics of scalar particles and particles with spin, in which the trajectories of the particles are given by a stochastic equation. This is much like Nelson's stochastic mechanics which also assumes a fluctuating particle as the basis of the microstates. The uniqueness of ED as an entropic inference of particles allows one to continuously transition between fluctuating particles and the smooth trajectories assumed in Bohmian mechanics. In this work we explore the consequences of the ED framework by studying the trajectories of particles in the continuum between stochastic and Bohmian limits in the context of a few physical examples, which include the double slit and Stern-Gerlach experiments.


title: Computational Chemistry on Quantum Computers: Ground state estimation

abstract: We present computational chemistry data for small molecules ($CO$, $HCl$, $F_2$, $NH_4^+$, $CH_4$, $NH_{3}$, $H_3O^+$, $H{_2}O$, $BeH_{2}$, $LiH$, $OH^-$, $HF$, $HeH^+$, $H_2$), obtained by implementing the Unitary Coupled Cluster method with Single and Double excitations (UCCSD) on a quantum computer simulator. We have used the Variational Quantum Eigensolver (VQE) algorithm to extract the ground state energies of these molecules. This energy data represents the expected ground state energy that a quantum computer will produce for the given molecules, on the STO-3G basis. Since there is a lot of interest in the implementation of UCCSD on quantum computers, we hope that our work will serve as a benchmark for future experimental implementations.


title: On $\mathcal I(<q)$- and $\mathcal I(\leq q)$-convergence of arithmetic functions

abstract: Let $\mathbb N$ be the set of positive integers, and denote by $\lambda(A)=\inf\{t>0:\sum_{a\in A} a^{-t}<\infty\}$ the convergence exponent of $A\subset\mathbb N$. For $0<q\le 1$, $0\le q\le 1$, respectively, the admissible ideals $\mathcal I(<q)$, $\mathcal I(\leq q)$ of all subsets $A\subset \mathbb N$ with $\lambda(A)<q$, $\lambda(A)\le q$, respectively, satisfy $\mathcal I(<q)\subsetneq\mathcal I_c^{(q)}\subsetneq \mathcal I(\leq q)$, where $\mathcal I_c^{(q)}=\{A\subset\mathbb N: \sum_{a\in A}a^{-q}<\infty\}$. In this note we sharpen the results of Bal\'az, Gogola and Visnyai from [2], and of others papers, concerning characterizations of $\mathcal I_c^{(q)}$-convergence of various arithmetic functions in terms of $q$. This is achieved by utilizing $\mathcal I(<q)$- and $\mathcal I(\leq q)$-convergence, for which new methods and criteria are developed.


title: Splitting Algorithms of Common Solutions Between Equilibrium and Inclusion Problems on Hadamard Manifolds

abstract: The aim of this article is to introduce an iterative algorithm for finding a common solution from the set of an equilibrium point for a bifunction and the set of a singularity of an inclusion problem on an Hadamard manifold. We also discuss some particular cases of the problem by the proposed algorithm. The convergence of a sequence generated by the proposed algorithm is proved under mild assumptions. Moreover, we apply our results to solving minimization problems and minimax problems.


title: Spatial Coded Modulation

abstract: In this paper, we propose a spatial coded modulation (SCM) scheme, which improves the accuracy of the active antenna detection by coding over the transmit antennas. Specifically, the antenna activation pattern in the SCM corresponds to a codeword in a properly designed codebook with a larger minimum Hamming distance than its counterpart conventional spatial modulation. As the minimum Hamming distance increases, the reliability of the active antenna detection is directly enhanced, which in turn improves the demodulation of the modulated symbols and yields a better system reliability. In addition to the reliability, the proposed SCM scheme also achieves a higher capacity with the identical antenna configuration compared to the conventional spatial modulation technique. Moreover, the proposed SCM scheme strikes a balance between spectral efficiency and reliability by trading off the minimum Hamming distance with the number of available codewords. The optimal maximum likelihood detector is first formulated. Then, a low-complexity suboptimal detector is proposed to reduce the computational complexity, which has a two-step detection. Theoretical derivations of the channel capacity and the bit error rate are presented in various channel scenarios, i.e., Rayleigh, Rician, Nakagami-m, imperfect channel state information, and spatial correlation. Further derivation on performance bounding is also provided to reveal the insight of the benefit of increasing the minimum Hamming distance. Numerical results validate the analysis and demonstrate that the proposed SCM outperforms the conventional spatial modulation techniques in both channel capacity and system reliability.


title: An Enhanced Electrocardiogram Biometric Authentication System Using Machine Learning

abstract: Traditional authentication systems use alphanumeric or graphical passwords, or token-based techniques that require "something you know and something you have". The disadvantages of these systems include the risks of forgetfulness, loss, and theft. To address these shortcomings, biometric authentication is rapidly replacing traditional authentication methods and is becoming a part of everyday life. The electrocardiogram (ECG) is one of the most recent traits considered for biometric purposes. In this work we describe an ECG-based authentication system suitable for security checks and hospital environments. The proposed system will help investigators studying ECG-based biometric authentication techniques to define dataset boundaries and to acquire high-quality training data. We evaluated the performance of the proposed system and found that it could achieve up to the 92 percent identification accuracy. In addition, by applying the Amang ECG (amgecg) toolbox within MATLAB, we investigated the two parameters that directly affect the accuracy of authentication: the ECG slicing time (sliding window) and the sampling time period, and found their optimal values.


title: Probing the effect of cadence on the estimates of photospheric energy and helicity injections in eruptive active region NOAA AR 11158

abstract: In this work we study how the input data cadence affects the photospheric energy and helicity injection estimates in eruptive NOAA active region 11158. We sample the novel 2.25-minute vector magnetogram and Dopplergram data from the \emph{Helioseismic and Magnetic Imager} (HMI) instrument onboard the \emph{Solar Dynamics Observatory} (SDO) spacecraft to create input datasets of variable cadences ranging from 2.25 minutes to 24 hours. We employ state-of-the-art data processing, velocity and electric field inversion methods for deriving estimates of the energy and helicity injections from these datasets. We find that the electric field inversion methods that reproduce the observed magnetic field evolution through the use of Faraday's law are more stable against variable cadence: the PDFI (PTD-Doppler-FLCT-Ideal) electric field inversion method produces consistent injection estimates for cadences from 2.25 minutes up to 2 hours, implying that the photospheric processes acting on time scales below 2 hours contribute little to the injections, or that they are below the sensitivity of the input data and the PDFI method. On other hand, the electric field estimate derived from the output of DAVE4VM (Differential Affine Velocity Estimator for Vector Magnetograms), which does not fulfil Faraday's law exactly, produces significant variations in the energy and helicity injection estimates in the 2.25-minute to 2-hour cadence range. We present also a third, novel DAVE4VM-based electric field estimate, which corrects the poor inductivity of the raw DAVE4VM estimate. This method is less sensitive to the changes of cadence, but still faces significant issues for the lowest of considered cadences ($\geq$2 hours). We find several potential problems in both PDFI- and DAVE4VM-based injection estimates and conclude that the quality of both should be surveyed further in controlled environments.


title: Some remarks on the midrange crossing constant

abstract: We verify an upper bound of Pach and T\'oth [Combinatorica 17(1997), 427-439, Discrete and Computational Geometry 36(2006), 527-552] on the midrange crossing constant. Details of their $\frac{8}{9\pi^2}$ upper bound have not been available. Our verification is different from their method and hinges on a result of Moon [J. Soc. Indust. Appl. Math. 13(1965), 506-510]. As Moon's result is optimal, we raise the question whether the midrange crossing constant is $\frac{8}{9\pi^2}$.


title: Operator versions of H\"older inequality and Hilbert $C^*$-modules

abstract: Recently proved weighted Cauchy Scwarz inequality for Hilbert $C^*$-modules leads to many H\"older type inequalities for unitarily invariant norms on Hilbert space operators.


title: A proof of Sondow's conjecture on the Smarandache function

abstract: The Smarandache function of a positive integer $n$, denoted by $S(n)$, is defined to be the smallest positive integer $j$ such that $n$ divides the factorial $j!$. In this note, we prove that for any fixed number $k > 1$, the inequality $n^k < S(n)!$ holds for almost all positive integers $n$. This confirms Sondow's conjecture which asserts that the inequality $n^2 < S(n)!$ holds for almost all positive integers $n$.


title: Regularities in stock markets

abstract: From the stock markets of six countries with high GDP, we study the stock indices, S&P 500 (NYSE, USA), SSE Composite (SSE, China), Nikkei (TSE, Japan), DAX (FSE, Germany), FTSE 100 (LSE, Britain) and NIFTY (NSE, India). The daily mean growth of the stock values is exponential. The daily price fluctuations about the mean growth are Gaussian, but with a non-zero asymptotic convergence. The growth of the monthly average of stock values is statistically self-similar to their daily growth. The monthly fluctuations of the price follow a Wiener process, with a decline of the volatility. The mean growth of the daily volume of trade is exponential. These observations are globally applicable and underline regularities across global stock markets.


title: Erratum and Addendum: The factorization of the Giry monad

abstract: The category of super convex spaces, a proper subcategory of convex spaces, possesses the property that it has a codense subcategory. This codense subcategory allows for an elementary proof that the Giry monad factorizes through the category of super convex spaces, not the category of convex spaces as erroneously claimed in an earlier article [arXiv:1707.00488]


title: Dirac structures and port-Lagrangian systems in thermodynamics

abstract: In this paper, we introduce the notion of port-Lagrangian systems in nonequilibrium thermodynamics, which is constructed by generalizing the notion of port-Lagrangian systems for nonholonomic mechanics proposed in Yoshimura and Marsden [2006c], where the notion of interconnections is described in terms of Dirac structures. The notion of port-Lagrangian systems in nonequilibrium thermodynamics is deduced from the variational formulation of nonequilibrium thermodynamics developed in Gay-Balmaz and Yoshimura [2017a,2017b]. It is a type of Lagrange-d'Alembert principle associated to a specific class of nonlinear nonholonomic constraints, called phenomenological constraints, which are associated to the entropy production equation of the system. To these phenomenological constraints are systematically associated variational constraints, which need to be imposed on the variations considered in the principle. In this paper, by specifically focusing on the cases of simple thermodynamic systems with constraints, we show how the interconnections in thermodynamics can be also described by Dirac structures on the Pontryagin bundle as well as on the cotangent bundle of the thermodynamic configuration space. Each of these Dirac structures is induced from the variational constraint. Furthermore, the variational structure associated to this Dirac formulation is presented in the context of the Lagrange-d'Alembert-Pontryagin principle. We illustrate our theory with some examples such as a cylinder-piston with ideal gas as well as an LCR circuit with entropy production due to a resistor.


title: Fooling a Real Car with Adversarial Traffic Signs

abstract: The attacks on the neural-network-based classifiers using adversarial images have gained a lot of attention recently. An adversary can purposely generate an image that is indistinguishable from a innocent image for a human being but is incorrectly classified by the neural networks. The adversarial images do not need to be tuned to a particular architecture of the classifier - an image that fools one network can fool another one with a certain success rate.The published works mostly concentrate on the use of modified image files for attacks against the classifiers trained on the model databases. Although there exists a general understanding that such attacks can be carried in the real world as well, the works considering the real-world attacks are scarce. Moreover, to the best of our knowledge, there have been no reports on the attacks against real production-grade image classification systems.In our work we present a robust pipeline for reproducible production of adversarial traffic signs that can fool a wide range of classifiers, both open-source and production-grade in the real world. The efficiency of the attacks was checked both with the neural-network-based classifiers and legacy computer vision systems. Most of the attacks have been performed in the black-box mode, e.g. the adversarial signs produced for a particular classifier were used to attack a variety of other classifiers. The efficiency was confirmed in drive-by experiments with a production-grade traffic sign recognition systems of a real car.


title: On two notions of a Gerbe over a stack

abstract: Let $\mathcal{G}$ be a Lie groupoid. The category $B\mathcal{G}$ of principal $\mathcal{G}$-bundles defines a differentiable stack. On the other hand, given a differentiable stack $\mathcal{D}$, there exists a Lie groupoid $\mathcal{H}$ such that $B\mathcal{H}$ is isomorphic to $\mathcal{D}$. Define a gerbe over a stack as a morphism of stacks $F\colon \mathcal{D}\rightarrow \mathcal{C}$, such that $F$ and the diagonal map $\Delta_F\colon \mathcal{D}\rightarrow \mathcal{D}\times_{\mathcal{C}}\mathcal{D}$ are epimorphisms. This paper explores the relationship between a gerbe defined above and a Morita equivalence class of a Lie groupoid extension.


title: Are SonarQube Rules Inducing Bugs?

abstract: Background. The popularity of tools for analyzing Technical Debt, and particularly the popularity of SonarQube, is increasing rapidly. SonarQube proposes a set of coding rules, which represent something wrong in the code that will soon be reflected in a fault or will increase maintenance effort. However, our local companies were not confident in the usefulness of the rules proposed by SonarQube and contracted us to investigate the fault-proneness of these rules. Objective. In this work we aim at understanding which SonarQube rules are actually fault-prone and to understand which machine learning models can be adopted to accurately identify fault-prone rules. Method. We designed and conducted an empirical study on 21 well-known mature open-source projects. We applied the SZZ algorithm to label the fault-inducing commits. We analyzed the fault-proneness by comparing the classification power of seven machine learning models. Result. Among the 202 rules defined for Java by SonarQube, only 25 can be considered to have relatively low fault-proneness. Moreover, violations considered as "bugs" by SonarQube were generally not fault-prone and, consequently, the fault-prediction power of the model proposed by SonarQube is extremely low. Conclusion. The rules applied by SonarQube for calculating technical debt should be thoroughly investigated and their harmfulness needs to be further confirmed. Therefore, companies should carefully consider which rules they really need to apply, especially if their goal is to reduce fault-proneness.


title: FVA: Modeling Perceived Friendliness of Virtual Agents Using Movement Characteristics

abstract: We present a new approach for improving the friendliness and warmth of a virtual agent in an AR environment by generating appropriate movement characteristics. Our algorithm is based on a novel data-driven friendliness model that is computed using a user-study and psychological characteristics. We use our model to control the movements corresponding to the gaits, gestures, and gazing of friendly virtual agents (FVAs) as they interact with the user's avatar and other agents in the environment. We have integrated FVA agents with an AR environment using with a Microsoft HoloLens. Our algorithm can generate plausible movements at interactive rates to increase the social presence. We also investigate the perception of a user in an AR setting and observe that an FVA has a statistically significant improvement in terms of the perceived friendliness and social presence of a user compared to an agent without the friendliness modeling. We observe an increment of 5.71% in the mean responses to a friendliness measure and an improvement of 4.03% in the mean responses to a social presence measure.


title: Nearest-Neighbour-Induced Isolation Similarity and its Impact on Density-Based Clustering

abstract: A recent proposal of data dependent similarity called Isolation Kernel/Similarity has enabled SVM to produce better classification accuracy. We identify shortcomings of using a tree method to implement Isolation Similarity; and propose a nearest neighbour method instead. We formally prove the characteristic of Isolation Similarity with the use of the proposed method. The impact of Isolation Similarity on density-based clustering is studied here. We show for the first time that the clustering performance of the classic density-based clustering algorithm DBSCAN can be significantly uplifted to surpass that of the recent density-peak clustering algorithm DP. This is achieved by simply replacing the distance measure with the proposed nearest-neighbour-induced Isolation Similarity in DBSCAN, leaving the rest of the procedure unchanged. A new type of clusters called mass-connected clusters is formally defined. We show that DBSCAN, which detects density-connected clusters, becomes one which detects mass-connected clusters, when the distance measure is replaced with the proposed similarity. We also provide the condition under which mass-connected clusters can be detected, while density-connected clusters cannot.