title: Sharp bounds of Jensen type for the generalized Sugeno integral

abstract: In this paper we provide two-sided attainable bounds of Jensen type for the generalized Sugeno integral of {\it any} measurable function. The results extend the previous results of Rom\'an-Flores et al. for increasing functions and Abbaszadeh et al. for convex and concave functions. We also give corrections of some results of Abbaszadeh et al. As a by-product, we obtain sharp inequalities for symmetric integral of Grabisch. To the best of our knowledge, the results in the real-valued functions context are presented for the first time here.


title: onlineSPARC: a Programming Environment for Answer Set Programming

abstract: Recent progress in logic programming (e.g., the development of the Answer Set Programming paradigm) has made it possible to teach it to general undergraduate and even middle/high school students. Given the limited exposure of these students to computer science, the complexity of downloading, installing and using tools for writing logic programs could be a major barrier for logic programming to reach a much wider audience. We developed onlineSPARC, an online answer set programming environment with a self contained file system and a simple interface. It allows users to type/edit logic programs and perform several tasks over programs, including asking a query to a program, getting the answer sets of a program, and producing a drawing/animation based on the answer sets of a program.


title: Hot bubbles of planetary nebulae with hydrogen-deficient winds - II. Analytical approximations with application to BD+30$^\circ$3639

abstract: The first high-resolution X-ray spectroscopy of the planetary nebula BD+30$^\circ$3639 allowed to study X-ray emitting "hot bubbles" (HBs) of planetary nebulae in unprecedented detail. We investigate (i) how diagnostic line ratios are affected by the HB thermal structure and chemical profile, (ii) if the HB chemical composition of BD+30$^\circ$3639 is consistent with the H-poor (H for hydrogen) composition of the stellar photosphere, and (iii) if H-rich nebular matter has been added to this HB by evaporation. We apply an analytical, 1D model for wind-blown HBs with temperature and density profiles based on self-similar solutions including thermal conduction. We construct heat-conduction HBs with chemical stratification. The X-ray emission is computed using the CHIANTI code. Our HB models are used to re-analyse the high-resolution X-ray spectrum of BD+30$^\circ$3639. Our models reproduce the observed line ratios much better than plasmas with single electron temperatures. All the temperature- and abundance-sensitive line ratios are consistent with BD+30$^\circ$3639 X-ray observations for (i) an intervening column density of neutral H, $N_{\rm H} = 0.20_{-0.10}^{+0.05}\times\!10^{22}\rm\ cm^{-2}$, (ii) a characteristic HB X-ray temperature of ${T_{\rm X} = 1.8\pm 0.1~ }$MK together with (iii) a very high neon mass fraction of about 0.05, virtually as high as that of oxygen. For lower values of $N_{\rm H}$, we cannot exclude that the HB of BD+30$^\circ$3639 contains a small amount of evaporated (or mixed) H-rich nebular matter. Given the possible range of $N_{\rm H}$, the fraction of evaporated H-rich matter cannot exceed 3% of the HB mass. The diffuse X-ray emission from BD+30$^\circ$3639 can well be explained by models of wind-blown HBs with thermal conduction and a chemical composition equal to that of the H-poor and carbon-, oxygen-, and neon-rich stellar surface.


title: Ultrafast generation and dynamics of isolated skyrmions in antiferromagnetic insulators

abstract: Based on atomistic spin dynamics simulations, we report the ultrafast generation of single antiferromagnetic (AFM) skyrmions in a confined geometry. This process is achieved through an effective magnetic field induced by the athermal inverse Faraday effect from a short laser pulse. The resulting field can nucleate an isolated skyrmion as a topologically protected metastable state in a collinear antiferromagnet with small Dzyaloshinskii-Moriya interaction. The radius of a single skyrmion is shown to increase by applying a uniform dc magnetic field and at increasing temperature. To investigate possible AFM spin-caloritronics phenomena, we investigate the skyrmion dynamics under an applied temperature gradient both analytically and numerically. The antiferromagnetic skyrmions move longitudinally toward the hotter region, but in contrast, small skyrmions in the very low damping regime move toward the colder side, irrespective of the staggered topological charge number, with a speed that is much faster than that of their ferromagnetic counterparts.


title: Stochastic density functional theory

abstract: Linear-scaling implementations of density functional theory (DFT) reach their intended efficiency regime only when applied to systems having a physical size larger than the range of their Kohn-Sham density matrix (DM). This causes a problem since many types of large systems of interest have a rather broad DM range and are therefore not amenable to analysis using DFT methods. For this reason, the recently proposed stochastic DFT (sDFT), avoiding exhaustive DM evaluations, is emerging as an attractive alternative linear-scaling approach. This review develops a general formulation of sDFT in terms of a (non)orthogonal basis representation and offers an analysis of the statistical errors (SEs) involved in the calculation. Using a new Gaussian-type basis-set implementation of sDFT, applied to water clusters and silicon nanocrystals, it demonstrates and explains how the standard deviation and the bias depend on the sampling rate and the system size in various types of calculations. We also develop basis-set embedded-fragments theory, demonstrating its utility for reducing the SEs for energy, density of states and nuclear force calculations. Finally, we discuss the algorithmic complexity of sDFT, showing it has CPU wall-time linear-scaling. The method parallelizes well over distributed processors with good scalability and therefore may find use in the upcoming exascale computing architectures.


title: Comparison of Sinogram-based Iterative Reconstruction with Compressed Sensing Techniques in X-ray CT

abstract: Performing X-ray computed tomography (CT) examinations with less radiation has recently received increasing interest: in medical imaging this means less (potentially harmful) radiation for the patient; in non-destructive testing of materials/objects such as testing jet engines, the redution of the number of projection angles (which for large objects is in general high) leads to a substantial decreasing of the experiment time. In the experiment, less radiation is usually achieved by either (1) reducing the radiation dose used at each projection angle or (2) using sparse view X-ray CT, which means significantly less projection angles are used during the examination. In this work, we study the performance of the recently proposed sinogram-based iterative reconstruction algorithm in sparse view X-ray CT and show that it provides, in some cases, reconstruction accuracy better than that obtained by some of the Total Variation regularization techniques. The provided accuracy is obtained with computation times comparable to other techniques. An important feature of the sinogram-based iterative reconstruction algorithm is that it has no parameters to be set.


title: Smart grid modeling and simulation - Comparing GridLAB-D and RAPSim via two Case studies

abstract: One of the most important tools for the development of the smart grid is simulation. Therefore, analyzing, designing, modeling, and simulating the smart grid will allow to explore future scenarios and support decision making for the grid's development. In this paper, we compare two open source simulation tools for the smart grid, GridLAB-Distribution (GridLAB-D) and Renewable Alternative Power systems Simulation (RAPSim). The comparison is based on the implementation of two case studies related to a power flow problem and the integration of renewable energy resources to the grid. Results show that even for very simple case studies, specific properties such as weather simulation or load modeling are influencing the results in a way that they are not reproducible with a different simulator.


title: Highly accreting quasars: The SDSS low-redshift catalog

abstract: The most highly accreting quasars (xA) are of special interest in studies of the physics of AGNs and host galaxy evolution. Quasars accreting at high rates (L/LEdd $\sim$ 1) hold promise for use as 'standard candles': distance indicators detectable at very high redshift. However, their observational properties are largely unknown. A large sample of xA can clarify the main properties of quasars radiating near L/LEdd $\sim$ 1 in the Hb spectral range for redshift $\lt$ 0.8. We use selection criteria derived from 4DE1 studies to identify and analyze spectra for a sample of 334 candidate sources identified from the SDSS DR7 database. The source spectra were chosen to show a ratio RFeII between the FeII emission blend at 4570 \AA\ and Hb, RFeII $\gt$ 1. Composite spectra were analyzed for systematic trends as a function of FeII strength, line width, and [OIII] strength. We introduced tighter constraints on the signal-to-noise ratio (S/N) and RFeII values that allowed us to isolate sources most likely to be extreme accretors. We provide a database of detailed measurements. Analysis of the data allows us to confirm that Hb shows a Lorentzian function with a FWHM of Hb $\lt$ 4000 km s-1. Systematic [OIII] blue shifts, as well as a blueshifted component in Hb are revealed. We interpret the blueshifts as related to the signature of outflowing gas from the quasar central engine. The FWHM of Hb is still affected by the blueshifted emission, however, the effect is non-negligible if the FWHM Hb is used as a 'virial broadening estimator'. A effect of the viewing angle on Hb broadening, deriving a correction for those sources that shows disagreement between virial and concordance cosmology luminosity values. The scatter between concordance cosmology and virial luminosity estimates can be reduced if a correction for orientation effects is included in the FWHM Hb value.


title: SCOPE: C3SR Systems Characterization and Benchmarking Framework

abstract: This report presents the design of the Scope infrastructure for extensible and portable benchmarking. Improvements in high- performance computing systems rely on coordination across different levels of system abstraction. Developing and defining accurate performance measurements is necessary at all levels of the system hierarchy, and should be as accessible as possible to developers with different backgrounds. The Scope project aims to lower the barrier to entry for developing performance benchmarks by providing a software architecture that allows benchmarks to be developed independently, by providing useful C/C++ abstractions and utilities, and by providing a Python package for generating publication-quality plots of resulting measurements.


title: Magnetic field-dependence of the neutral pion mass in the linear sigma model coupled to quarks: The weak field case

abstract: We compute the neutral pion mass dependence on a magnetic field in the weak field approximation at one-loop order. The calculation is carried out within the linear sigma model coupled to quarks and using Schwinger's proper-time representation for the charged particle propagators. We find that the neutral pion mass decreases with the field strength provided the boson self-coupling magnetic field corrections are also included. The calculation should be regarded as the setting of the trend for the neutral pion mass as the magnetic field is turned on.


title: Analysis of a model of elastic dislocations in geophysics

abstract: We analyze a mathematical model of elastic dislocations with applications to geophysics, where by an elastic dislocation we mean an open, oriented Lipschitz surface in the interior of an elastic solid, across which there is a discontinuity of the displacement. We model the Earth as an infinite, isotropic, inhomogeneous, elastic medium occupying a half space, and assume only Lipschitz continuity of the Lam\'e parameters. We study the well posedness of very weak solutions to the forward problem of determining the displacement by imposing traction-free boundary conditions at the surface, continuity of the traction and a given jump on the displacement across the fault. We employ suitable weighted Sobolev spaces for the analysis. We utilize the well posedness of the forward problem and unique-continuation arguments to establish uniqueness in the inverse problem of determining the dislocation surface and the displacement jump from measuring the displacement at the surface of the Earth. Uniqueness holds for tangential or normal jumps and under some geometric conditions on the surface.


title: Studies of MCP-PMTs in the miniTimeCube neutrino detector

abstract: This report highlights two different types of cross-talk in the photodetectors of the miniTimeCube neutrino experiment. The miniTimeCube detector has 24 $8 \times 8$-anode Photonis MCP-PMTs Planacon XP85012, totalling 1536 individual pixels viewing the 2-liter cube of plastic scintillator.


title: O(N) Hierarchical algorithm for computing the expectations of truncated multi-variate normal distributions in N dimensions

abstract: In this paper, we study the $N$-dimensional integral $\phi(a,b; A) = \int_{a}^{b} H(x) f(x | A) \text{d} x$ representing the expectation of a function $H(X)$ where $f(x | A)$ is the truncated multi-variate normal (TMVN) distribution with zero mean, $x$ is the vector of integration variables for the $N$-dimensional random vector $X$, $A$ is the inverse of the covariance matrix $\Sigma$, and $a$ and $b$ are constant vectors. We present a new hierarchical algorithm which can evaluate $\phi(a,b; A)$ using asymptotically optimal $O(N)$ operations when $A$ has "low-rank" blocks with "low-dimensional" features and $H(x)$ is "low-rank". We demonstrate the divide-and-conquer idea when $A$ is a symmetric positive definite tridiagonal matrix, and present the necessary building blocks and rigorous potential theory based algorithm analysis when $A$ is given by the exponential covariance model. Numerical results are presented to demonstrate the algorithm accuracy and efficiency for these two cases. We also briefly discuss how the algorithm can be generalized to a wider class of covariance models and its limitations.


title: Adversarial Binaries for Authorship Identification

abstract: Binary code authorship identification determines authors of a binary program. Existing techniques have used supervised machine learning for this task. In this paper, we look this problem from an attacker's perspective. We aim to modify a test binary, such that it not only causes misprediction but also maintains the functionality of the original input binary. Attacks against binary code are intrinsically more difficult than attacks against domains such as computer vision, where attackers can change each pixel of the input image independently and still maintain a valid image. For binary code, even flipping one bit of a binary may cause the binary to be invalid, to crash at the run-time, or to lose the original functionality. We investigate two types of attacks: untargeted attacks, causing misprediction to any of the incorrect authors, and targeted attacks, causing misprediction to a specific one among the incorrect authors. We develop two key attack capabilities: feature vector modification, generating an adversarial feature vector that both corresponds to a real binary and causes the required misprediction, and input binary modification, modifying the input binary to match the adversarial feature vector while maintaining the functionality of the input binary. We evaluated our attack against classifiers trained with a state-of-the-art method for authorship attribution. The classifiers for authorship identification have 91% accuracy on average. Our untargeted attack has a 96% success rate on average, showing that we can effectively suppress authorship signal. Our targeted attack has a 46% success rate on average, showing that it is possible, but significantly more difficult to impersonate a specific programmer's style. Our attack reveals that existing binary code authorship identification techniques rely on code features that are easy to modify, and thus are vulnerable to attacks.


title: Temporal Interpolation as an Unsupervised Pretraining Task for Optical Flow Estimation

abstract: The difficulty of annotating training data is a major obstacle to using CNNs for low-level tasks in video. Synthetic data often does not generalize to real videos, while unsupervised methods require heuristic losses. Proxy tasks can overcome these issues, and start by training a network for a task for which annotation is easier or which can be trained unsupervised. The trained network is then fine-tuned for the original task using small amounts of ground truth data. Here, we investigate frame interpolation as a proxy task for optical flow. Using real movies, we train a CNN unsupervised for temporal interpolation. Such a network implicitly estimates motion, but cannot handle untextured regions. By fine-tuning on small amounts of ground truth flow, the network can learn to fill in homogeneous regions and compute full optical flow fields. Using this unsupervised pre-training, our network outperforms similar architectures that were trained supervised using synthetic optical flow.


title: Recurrent Flow-Guided Semantic Forecasting

abstract: Understanding the world around us and making decisions about the future is a critical component to human intelligence. As autonomous systems continue to develop, their ability to reason about the future will be the key to their success. Semantic anticipation is a relatively under-explored area for which autonomous vehicles could take advantage of (e.g., forecasting pedestrian trajectories). Motivated by the need for real-time prediction in autonomous systems, we propose to decompose the challenging semantic forecasting task into two subtasks: current frame segmentation and future optical flow prediction. Through this decomposition, we built an efficient, effective, low overhead model with three main components: flow prediction network, feature-flow aggregation LSTM, and end-to-end learnable warp layer. Our proposed method achieves state-of-the-art accuracy on short-term and moving objects semantic forecasting while simultaneously reducing model parameters by up to 95% and increasing efficiency by greater than 40x.


title: Generating GraphQL-Wrappers for REST(-like) APIs

abstract: GraphQL is a query language and thereupon-based paradigm for implementing web Application Programming Interfaces (APIs) for client-server interactions. Using GraphQL, clients define precise, nested data-requirements in typed queries, which are resolved by servers against (possibly multiple) backend systems, like databases, object storages, or other APIs. Clients receive only the data they care about, in a single request. However, providers of existing REST(-like) APIs need to implement additional GraphQL interfaces to enable these advantages. We here assess the feasibility of automatically generating GraphQL wrappers for existing REST(-like) APIs. A wrapper, upon receiving GraphQL queries, translates them to requests against the target API. We discuss the challenges for creating such wrappers, including dealing with data sanitation, authentication, or handling nested queries. We furthermore present a prototypical implementation of OASGraph. OASGraph takes as input an OpenAPI Specification (OAS) describing an existing REST(-like) web API and generates a GraphQL wrapper for it. We evaluate OASGraph by running it, as well as an existing open source alternative, against 959 publicly available OAS. This experiment shows that OASGraph outperforms the existing alternative and is able to create a GraphQL wrapper for 89.5% of the APIs -- however, with limitations in many cases. A subsequent analysis of errors and warnings produced by OASGraph shows that missing or ambiguous information in the assessed OAS hinders creating complete wrappers. Finally, we present a use case of the IBM Watson Language Translator API that shows that small changes to an OAS allow OASGraph to generate more idiomatic and more expressive GraphQL wrappers.


title: Spin-Blockade Spectroscopy of Si/SiGe Quantum Dots

abstract: We implement a technique for measuring the singlet-triplet energy splitting responsible for spin-to-charge conversion in semiconductor quantum dots. This method, which requires fast, single-shot charge measurement, reliably extracts an energy in the limits of both large and small splittings. We perform this technique on an undoped, accumulation-mode Si/SiGe triple-quantum dot and find that the measured splitting varies smoothly as a function of confinement gate biases. Not only does this demonstration prove the value of having an $in~situ$ excited-state measurement technique as part of a standard tune-up procedure, it also suggests that in typical Si/SiGe quantum dot devices, spin-blockade can be limited by lateral orbital excitation energy rather than valley splitting.


title: A Step-by-Step Guide to Using BioNetFit

abstract: BioNetFit is a software tool designed for solving parameter identification problems that arise in the development of rule-based models. It solves these problems through curve fitting (i.e., nonlinear regression). BioNetFit is compatible with deterministic and stochastic simulators that accept BioNetGen language (BNGL)-formatted files as inputs, such those available within the BioNetGen framework. BioNetFit can be used on a laptop or standalone multicore workstation as well as on many Linux clusters, such as those that use the Slurm Workload Manager to schedule jobs. BioNetFit implements a metaheuristic population-based global optimization procedure, an evolutionary algorithm (EA), to minimize a user-defined objective function, such as a residual sum of squares (RSS) function. BioNetFit also implements a bootstrapping procedure for determining confidence intervals for parameter estimates. Here, we provide step-by-step instructions for using BioNetFit to estimate the values of parameters of a BNGL-encoded model and to define bootstrap confidence intervals. The process entails the use of several plain-text files, which are processed by BioNetFit and BioNetGen. In general, these files include 1) one or more EXP files, which each contains (experimental) data to be used in parameter identification/bootstrapping; 2) a BNGL file containing a model section, which defines a (rule-based) model, and an actions section, which defines simulation protocols that generate GDAT and/or SCAN files with model predictions corresponding to the data in the EXP file(s); and 3) a CONF file that configures the fitting/bootstrapping job and that defines algorithmic parameter settings.


title: Explicit determinantal formulas for solutions to the generalized Sylvester quaternion matrix equation and its special cases

abstract: Within the framework of the theory of quaternion column-row determinants and using determinantal representations of the Moore-Penrose inverse previously obtained by the author, we get explicit determinantal representation formulas of solutions (analogs of Cramer's rule) to the quaternion two-sided generalized Sylvester matrix equation $ {\bf A}_{1}{\bf X}_{1}{\bf B}_{1}+ {\bf A}_{2}{\bf X}_{2}{\bf B}_{2}={\bf C}$ and its all special cases when its first term or both terms are one-sided. Finally, we derive determinantal representations of two like-Lyapunov equations.


title: Crystal Structures and Properties of Iron Hydrides at High Pressure

abstract: Evolutionary algorithms and the particle swarm optimization method have been used to predict stable and metastable high hydrides of iron between 150-300 GPa that have not been discussed in previous studies. Cmca FeH5, Pmma FeH6 and P2/c FeH6 contain hydrogenic lattices that result from slight distortions of the previously predicted I4/mmm FeH5 and Cmmm FeH6 structures. Density functional theory calculations show that neither the I4/mmm nor the Cmca symmetry FeH5 phases are superconducting. A P1 symmetry FeH7 phase, which is found to be dynamically stable at 200 and 300 GPa, adds another member to the set of predicted nonmetallic transition metal hydrides under pressure. Two metastable phases of FeH$_8$ are found, and the preferred structure at 300 GPa contains a unique 1-dimensional hydrogenic lattice.


title: Short directed cycles in bipartite digraphs

abstract: The Caccetta-H\"aggkvist conjecture implies that for every integer $k\ge 1$, if $G$ is a bipartite digraph, with $n$ vertices in each part, and every vertex has out-degree more than $n/(k+1)$, then $G$ has a directed cycle of length at most $2k$. If true this is best possible, and we prove this for $k = 1,2,3,4,6$ and all $k\ge 224,539$. More generally, we conjecture that for every integer $k\ge 1$, and every pair of reals $\alpha, \beta> 0$ with $k\alpha +\beta>1$, if $G$ is a bipartite digraph with bipartition $(A,B)$, where every vertex in $A$ has out-degree at least $\beta|B|$, and every vertex in $B$ has out-degree at least $\alpha|A|$, then $G$ has a directed cycle of length at most $2k$. This implies the Caccetta-H\"aggkvist conjecture (set $\beta>0$ and very small), and again is best possible for infinitely many pairs $(\alpha,\beta)$. We prove this for $k = 1,2$, and prove a weaker statement (that $\alpha+\beta>2/(k+1)$ suffices) for $k=3,4$.


title: The Rise of Certificate Transparency and Its Implications on the Internet Ecosystem

abstract: In this paper, we analyze the evolution of Certificate Transparency (CT) over time and explore the implications of exposing certificate DNS names from the perspective of security and privacy. We find that certificates in CT logs have seen exponential growth. Website support for CT has also constantly increased, with now 33% of established connections supporting CT. With the increasing deployment of CT, there are also concerns of information leakage due to all certificates being visible in CT logs. To understand this threat, we introduce a CT honeypot and show that data from CT logs is being used to identify targets for scanning campaigns only minutes after certificate issuance. We present and evaluate a methodology to learn and validate new subdomains from the vast number of domains extracted from CT logged certificates.


title: How the inter-electronic potential Ans\"atze affect the bound state solutions of a planar two-electron quantum dot model

abstract: The model of a two-electron quantum dot, confined to move in a two dimensional flat space, in the presence of an external harmonic oscillator potential, is revisited for a specific purpose. Indeed, eigenvalues and eigenstates of the bound state solutions are obtained for any oscillation frequency considering both the $1/r$ and $\ln r$ Ans\"atze for inter-electronic Coulombic-like potentials in 2$D$. Then, it is pointed out that the significative difference between measurable quantities predicted from these two potentials can shed some light on the problem of space dimensionality as well as on the physical nature of the potential itself.


title: Quantifying total uncertainty in physics-informed neural networks for solving forward and inverse stochastic problems

abstract: Physics-informed neural networks (PINNs) have recently emerged as an alternative way of solving partial differential equations (PDEs) without the need of building elaborate grids, instead, using a straightforward implementation. In particular, in addition to the deep neural network (DNN) for the solution, a second DNN is considered that represents the residual of the PDE. The residual is then combined with the mismatch in the given data of the solution in order to formulate the loss function. This framework is effective but is lacking uncertainty quantification of the solution due to the inherent randomness in the data or due to the approximation limitations of the DNN architecture. Here, we propose a new method with the objective of endowing the DNN with uncertainty quantification for both sources of uncertainty, i.e., the parametric uncertainty and the approximation uncertainty. We first account for the parametric uncertainty when the parameter in the differential equation is represented as a stochastic process. Multiple DNNs are designed to learn the modal functions of the arbitrary polynomial chaos (aPC) expansion of its solution by using stochastic data from sparse sensors. We can then make predictions from new sensor measurements very efficiently with the trained DNNs. Moreover, we employ dropout to correct the over-fitting and also to quantify the uncertainty of DNNs in approximating the modal functions. We then design an active learning strategy based on the dropout uncertainty to place new sensors in the domain to improve the predictions of DNNs. Several numerical tests are conducted for both the forward and the inverse problems to quantify the effectiveness of PINNs combined with uncertainty quantification. This NN-aPC new paradigm of physics-informed deep learning with uncertainty quantification can be readily applied to other types of stochastic PDEs in multi-dimensions.


title: On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals

abstract: Recent developments in AI, Machine Learning and Robotics have raised concerns about the ethical consequences of both academic and industrial AI research. Leading academics, businessmen and politicians have voiced an increasing number of questions about the consequences of AI not only over people, but also on the large-scale consequences on the the future of work and employment, its social consequences and the sustainability of the planet. In this work, we analyse the use and the occurrence of ethics-related research in leading AI, machine learning and robotics venues. In order to do so we perform long term, historical corpus-based analyses on a large number of flagship conferences and journals. Our experiments identify the prominence of ethics-related terms in published papers and presents several statistics on related topics. Finally, this research provides quantitative evidence on the pressing ethical concerns of the AI community.


title: Mirror Descent and Constrained Online Optimization Problems

abstract: We consider the following class of online optimization problems with functional constraints. Assume, that a finite set of convex Lipschitz-continuous non-smooth functionals are given on a closed set of $n$-dimensional vector space. The problem is to minimize the arithmetic mean of functionals with a convex Lipschitz-continuous non-smooth constraint. In addition, it is allowed to calculate the (sub)gradient of each functional only once. Using some recently proposed adaptive methods of Mirror Descent the method is suggested to solve the mentioned constrained online optimization problem with optimal estimate of accuracy. For the corresponding non-Euclidean prox-structure the case of a set of $n$-dimensional vectors lying on the standard $n$-dimensional simplex is considered.


title: Estimating minimum effect with outlier selection

abstract: We introduce one-sided versions of Huber's contamination model, in which corrupted samples tend to take larger values than uncorrupted ones. Two intertwined problems are addressed: estimation of the mean of uncorrupted samples (minimum effect) and selection of corrupted samples (outliers). Regarding the minimum effect estimation, we derive the minimax risks and introduce adaptive estimators to the unknown number of contaminations. Interestingly, the optimal convergence rate highly differs from that in classical Huber's contamination model. Also, our analysis uncovers the effect of particular structural assumptions on the distribution of the contaminated samples. As for the problem of selecting the outliers, we formulate the problem in a multiple testing framework for which the location/scaling of the null hypotheses are unknown. We rigorously prove how estimating the null hypothesis is possible while maintaining a theoretical guarantee on the amount of the falsely selected outliers, both through false discovery rate (FDR) or post hoc bounds. As a by-product, we address a long-standing open issue on FDR control under equi-correlation, which reinforces the interest of removing dependency when making multiple testing.


title: A Game-theoretic Framework for Security-aware Sensor Placement Problem in Networked Control Systems

abstract: This paper studies the sensor placement problem in a networked control system for improving its security against cyber-physical attacks. The problem is formulated as a zero-sum game between an attacker and a detector. The attacker's decision is to select $f$ nodes of the network to attack whereas the detector's decision is to place $f$ sensors to detect the presence of the attack signals. In our formulation, the attacker minimizes its visibility, defined as the system $L_2$ gain from the attack signals to the deployed sensors' outputs, and the detector maximizes the visibility of the attack signals. The equilibrium strategy of the game determines the optimal locations of the sensors. The existence of Nash equilibrium for the attacker-detector game is studied when the underlying connectivity graph is a directed or an undirected tree. When the game does not admit a Nash equilibrium, it is shown that the Stackelberg equilibrium of the game, with the detector as the game leader, can be computed efficiently. Finally, the attacker-detector game is studied in a cooperative adaptive cruise control algorithm for vehicle platooning problem. The existence of Nash equilibrium is investigated for both directed and undirected platoons and the effect of the position of the reference vehicle on the game value is studied. Our results show that, under the optimal sensor placement strategy, an undirected topology provides a higher security level for a networked control system compared with its corresponding directed topology.


title: The Voter Basis and the Admissibility of Tree Characters

abstract: When making simultaneous decisions, our preference for the outcomes on one subset can depend on the outcomes on a disjoint subset. In referendum elections, this gives rise to the separability problem, where a voter must predict the outcome of one proposal when casting their vote on another. A set $S \subset [n]$ is separable for preference order $\succeq$ when our ranking of outcomes on $S$ is independent of outcomes on its complement $[n]-S$. The admissibility problem asks which characters $\mathcal{C} \subset \mathcal{P}([n])$ can arise as the collection of separable subsets for some preference order. We introduce a linear algebraic technique to construct preference orders with desired characters. Each vector in our $2^n$-dimensional voter basis induces a simple preference ordering with nice separability properties. Given any collection $\mathcal{C} \subset \mathcal{P}([n])$ whose subset lattice has a tree structure, we use the voter basis to construct a preference order with character $\mathcal{C}$.


title: Evolving Shelah-Spencer Graphs

abstract: An \emph{evolving Shelah-Spencer process} is one by which a random graph grows, with at each time $\tau \in {\bf N}$ a new node incorporated and attached to each previous node with probability $\tau^{-\alpha}$, where $\alpha \in (0,1) \setminus {\bf Q}$ is fixed. We analyse the graphs that result from this process, including the infinite limit, in comparison to Shelah-Spencer sparse random graphs discussed in [Spencer, J., 2013. The strange logic of random graphs (Vol. 22). Springer Science & Business Media.] and throughout the model-theoretic literature. The first order axiomatisation for classical Shelah-Spencer graphs comprises a 'Generic Extension' axiom and a 'No Dense Subgraphs' axiom. We show that in our context 'Generic Extension' continues to hold. While 'No Dense Subgraphs' fails, a weaker 'Few Rigid Subgraphs' property holds.


title: Inverse Potential Problems for Divergence of Measures with Total Variation Regularization

abstract: We study inverse problems for the Poisson equation with source term the divergence of an $\mathbf{R}^3$-valued measure, that is, the potential $\Phi$ satisfies $$ \Delta \Phi= \text{div} \boldsymbol{\mu}, $$ and $\boldsymbol{\mu}$ is to be reconstructed knowing (a component of) the field grad $\Phi$ on a set disjoint from the support of $\boldsymbol{\mu}$. Such problems arise in several electro-magnetic contexts in the quasi-static regime, for instance when recovering a remanent magnetization from measurements of its magnetic field. We develop methods for recovering $\boldsymbol{\mu}$ based on total variation regularization. We provide sufficient conditions for the unique recovery of $\boldsymbol{\mu}$, asymptotically when the regularization parameter and the noise tend to zero in a combined fashion, when it is uni-directional or when the magnetization has a support which is sparse in the sense that it is purely 1-unrectifiable. Numerical examples are provided to illustrate the main theoretical results.


title: Commutators of Cauchy--Szeg\H{o} type integrals for domains in $\mathbb C^n$ with minimal smoothness

abstract: In this paper we study the commutator of Cauchy type integrals $\EuScript C$ on a bounded strongly pseudoconvex domain $D$ in $\mathbb C^n$ with boundary $bD$ satisfying the minimum regularity condition $C^{2}$ as in the recent result of Lanzani--Stein. We point out that in this setting the Cauchy type integrals $\EuScript C$ is the sum of the essential part $\EuScript C^\sharp$ which is a Calder\'on--Zygmund operator and a remainder $\EuScript R$ which is no longer a Calder\'on--Zygmund operator. We show that the commutator $[b, \EuScript C]$ is bounded on $L^p(bD)$ ($1<p<\infty$) if {\color{black}and only if}\ $b$ is in the BMO space on $bD$. Moreover, the commutator $[b, \EuScript C]$ is compact on $L^p(bD)$ ($1<p<\infty$) if {\color{black}and only if}\ $b$ is in the VMO space on $bD$. Our method can also be applied to the commutator of Cauchy--Leray integral in a bounded, strongly $\mathbb C$-linearly convex domain $D$ in $\mathbb C^n$ with the boundary $bD$ satisfying the minimum regularity $C^{1,1}$. Such a Cauchy--Leray integral is a Calder\'on--Zygmund operator as proved in the recent result of Lanzani--Stein. We also point out that our method provides another proof of the boundedness and compactness of commutator of Cauchy--Szeg\H o operator on a bounded strongly pseudoconvex domain $D$ in $\mathbb C^n$ with smooth boundary (first established by Krantz--Li).


title: Adversarial Recommendation: Attack of the Learned Fake Users

abstract: Can machine learning models for recommendation be easily fooled? While the question has been answered for hand-engineered fake user profiles, it has not been explored for machine learned adversarial attacks. This paper attempts to close this gap. We propose a framework for generating fake user profiles which, when incorporated in the training of a recommendation system, can achieve an adversarial intent, while remaining indistinguishable from real user profiles. We formulate this procedure as a repeated general-sum game between two players: an oblivious recommendation system $R$ and an adversarial fake user generator $A$ with two goals: (G1) the rating distribution of the fake users needs to be close to the real users, and (G2) some objective $f_A$ encoding the attack intent, such as targeting the top-K recommendation quality of $R$ for a subset of users, needs to be optimized. We propose a learning framework to achieve both goals, and offer extensive experiments considering multiple types of attacks highlighting the vulnerability of recommendation systems.


title: A Comparison of Various Approaches to Reinforcement Learning Algorithms for Multi-robot Box Pushing

abstract: In this paper, a comparison of reinforcement learning algorithms and their performance on a robot box pushing task is provided. The robot box pushing problem is structured as both a single-agent problem and also a multi-agent problem. A Q-learning algorithm is applied to the single-agent box pushing problem, and three different Q-learning algorithms are applied to the multi-agent box pushing problem. Both sets of algorithms are applied on a dynamic environment that is comprised of static objects, a static goal location, a dynamic box location, and dynamic agent positions. A simulation environment is developed to test the four algorithms, and their performance is compared through graphical explanations of test results. The comparison shows that the newly applied reinforcement algorithm out-performs the previously applied algorithms on the robot box pushing problem in a dynamic environment.


title: Histogram of oriented gradients: a technique for the study of molecular cloud formation

abstract: We introduce the histogram of oriented gradients (HOG), a tool developed for machine vision that we propose as a new metric for the systematic characterization of observations of atomic and molecular gas and the study of molecular cloud formation models. In essence, the HOG technique takes as input extended spectral-line observations from two tracers and provides an estimate of their spatial correlation across velocity channels. We characterize HOG using synthetic observations of HI and $^{13}$CO(J=1-0) emission from numerical simulations of MHD turbulence leading to the formation of molecular gas after the collision of two atomic clouds. We find a significant spatial correlation between the two tracers in velocity channels where $v_{HI}\approx v_{^{13}CO}$, independent of the orientation of the collision with respect to the line of sight. We use HOG to investigate the spatial correlation of the HI, from the THOR survey, and the $^{13}$CO(J=1-0) emission, from the GRS, toward the portion of the Galactic plane 33.75$\lt l\lt$35.25$^{o}$ and $|b|\lt$1.25$^{o}$. We find a significant spatial correlation between the tracers in extended portions of the studied region. Although some of the regions with high spatial correlation are associated with HI self-absorption features, suggesting that it is produced by the cold atomic gas, the correlation is not exclusive to this kind of region. The HOG results also indicate significant differences between individual regions: some show spatial correlation in channels around $v_{HI}\approx v_{^{13}CO}$ while others present this correlation in velocity channels separated by a few km/s. We associate these velocity offsets to the effect of feedback and to the presence of physical conditions that are not included in the atomic-cloud-collision simulations, such as more general magnetic field configurations, shear, and global gas infall.


title: Potential for Quantum-Mechanical Tests Using Quasars, as Illuminated by Gemini Archival Data

abstract: There has been recent interest in quantum-mechanical tests aided by distant quasars. For two quasars of sufficient redshift at opposite directions on the sky, light-travel-time arguments can assure the acausality of their photons. And if those photons are used to set parameters in an Earth-based apparatus, coincidence cannot be due to their communication, closing the so-called "freedom of choice" loophole in the experiment. But this assumes no other interference right up to detection, including correlated instrumental errors, which must be carefully constrained. The Gemini North and South Multi-Object Spectrograph (GMOS) twins can simultaneously view pairs of quasars up to 180 degrees apart on the sky, and already provide a significant baseline record to investigate this. All GMOS broadband imaging frames were searched to find those that happen to contain a known quasar together with a suitable comparison star. Although individual photometry can be noisy among these 0.1 < z < 6 sources, in the aggregate, average site conditions and their relative photometric zeropoints are well characterized. The resulting dataset constitutes about 2 million correlated quasar-observation pairs over 14 years. A preliminary analysis of that is presented, with the intriguing result that paired-flux differences across the whole sky weakly deviate from flatness, to the limit consistent with Bell's Theorem. Can Gemini be used to prove the "spooky action at a distance" expected of quantum mechanics? Some prospects for future work and a more definitive test are considered.


title: Unsupervised Image to Sequence Translation with Canvas-Drawer Networks

abstract: Encoding images as a series of high-level constructs, such as brush strokes or discrete shapes, can often be key to both human and machine understanding. In many cases, however, data is only available in pixel form. We present a method for generating images directly in a high-level domain (e.g. brush strokes), without the need for real pairwise data. Specifically, we train a "canvas" network to imitate the mapping of high-level constructs to pixels, followed by a high-level "drawing" network which is optimized through this mapping towards solving a desired image recreation or translation task. We successfully discover sequential vector representations of symbols, large sketches, and 3D objects, utilizing only pixel data. We display applications of our method in image segmentation, and present several ablation studies comparing various configurations.


title: Analysis techniques for complex-field radiation pattern measurements

abstract: Complex field measurements are increasingly becoming the standard for state-of-the-art astronomical instrumentation. Complex field measurements have been used to characterize a suite of ground, airborne, and space-based heterodyne receiver missions [1], [2], [3], [4], [5], [6], and a description of how to acquire coherent field maps for direct detector arrays was demonstrated in Davis et. al. 2017. This technique has the ability to determine both amplitude and phase radiation patterns from individual pixels on an array. Phase information helps to better characterize the optical performance of the array (as compared to total power radiation patterns) by constraining the fit in an additional plane [4]. Here we discuss the mathematical framework used in an analysis pipeline developed to process complex field radiation pattern measurements. This routine determines and compensates misalignments of the instrument and scanning system. We begin with an overview of Gaussian beam formalism and how it relates to complex field pattern measurements. Next we discuss a scan strategy using an offset in z along the optical axis that allows first-order optical standing waves between the scanned source and optical system to be removed in post-processing. Also discussed is a method by which the co- and cross-polarization fields can be extracted individually for each pixel by rotating the two orthogonal measurement planes until the signal is the co-polarization map is maximized (and the signal in the cross-polarization field is minimized). We detail a minimization function that can fit measurement data to an arbitrary beam shape model. We conclude by discussing the angular plane wave spectral (APWS) method for beam propagation, including the near-field to far-field transformation.


title: Significant Phonon Drag Enables High Power Factor in the AlGaN/GaN Two-Dimensional Electron Gas

abstract: In typical thermoelectric energy harvesters and sensors, the Seebeck effect is caused by diffusion of electrons or holes in a temperature gradient. However, the Seebeck effect can also have a phonon drag component, due to momentum exchange between charge carriers and lattice phonons, which is more difficult to quantify. Here, we present the first study of phonon drag in the AlGaN/GaN two-dimensional electron gas (2DEG). We find that phonon drag does not contribute significantly to the thermoelectric behavior of devices with ~100 nm GaN thickness, which suppress the phonon mean free path. However, when the thickness is increased to ~1.2 $\mu$m, up to 32% (88%) of the Seebeck coefficient at 300 K (50 K) can be attributed to the drag component. In turn, the phonon drag enables state-of-the-art thermoelectric power factor in the thicker GaN film, up to ~40 mW m$^{-1}$ K$^{-2}$ at 50 K. By measuring the thermal conductivity of these AlGaN/GaN films, we show that the magnitude of the phonon drag can increase even when the thermal conductivity decreases. Decoupling of thermal conductivity and Seebeck coefficient could enable important advancements in thermoelectric power conversion with devices based on 2DEGs.


title: Interpretable Multi-Objective Reinforcement Learning through Policy Orchestration

abstract: Autonomous cyber-physical agents and systems play an increasingly large role in our lives. To ensure that agents behave in ways aligned with the values of the societies in which they operate, we must develop techniques that allow these agents to not only maximize their reward in an environment, but also to learn and follow the implicit constraints of society. These constraints and norms can come from any number of sources including regulations, business process guidelines, laws, ethical principles, social norms, and moral values. We detail a novel approach that uses inverse reinforcement learning to learn a set of unspecified constraints from demonstrations of the task, and reinforcement learning to learn to maximize the environment rewards. More precisely, we assume that an agent can observe traces of behavior of members of the society but has no access to the explicit set of constraints that give rise to the observed behavior. Inverse reinforcement learning is used to learn such constraints, that are then combined with a possibly orthogonal value function through the use of a contextual bandit-based orchestrator that picks a contextually-appropriate choice between the two policies (constraint-based and environment reward-based) when taking actions. The contextual bandit orchestrator allows the agent to mix policies in novel ways, taking the best actions from either a reward maximizing or constrained policy. In addition, the orchestrator is transparent on which policy is being employed at each time step. We test our algorithms using a Pac-Man domain and show that the agent is able to learn to act optimally, act within the demonstrated constraints, and mix these two functions in complex ways.


title: The Elephant in the Room: The Importance of Where and When Massive Stars Form in Molecular Clouds

abstract: Most simulations of galaxies and massive giant molecular clouds (GMCs) cannot explicitly resolve the formation (or predict the main-sequence masses) of individual stars. So they must use some prescription for the amount of feedback from an assumed population of massive stars (e.g. sampling the initial mass function [IMF]). We perform a methods study of simulations of a star-forming GMC with stellar feedback from UV radiation, varying only the prescription for determining the luminosity of each stellar mass element formed (according to different IMF sampling schemes). We show that different prescriptions can lead to widely varying (factor of ~3) star formation efficiencies (on GMC scales) even though the average mass-to-light ratios agree. Discreteness of sources is important: radiative feedback from fewer, more-luminous sources has a greater effect for a given total luminosity. These differences can dominate over other, more widely-recognized differences between similar literature GMC-scale studies (e.g. numerical methods, cloud initial conditions, presence of magnetic fields). Moreover the differences in these methods are not purely numerical: some make different implicit assumptions about where and how massive stars form, and this remains deeply uncertain in star formation theory.


title: STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems

abstract: This paper proposes a new highly scalable and asymptotically optimal control synthesis algorithm from linear temporal logic specifications, called $\text{STyLuS}^{*}$ for large-Scale optimal Temporal Logic Synthesis, that is designed to solve complex temporal planning problems in large-scale multi-robot systems. Existing planning approaches with temporal logic specifications rely on graph search techniques applied to a product automaton constructed among the robots. In our previous work, we have proposed a more tractable sampling-based algorithm that builds incrementally trees that approximate the state-space and transitions of the synchronous product automaton and does not require sophisticated graph search techniques. Here, we extend our previous work by introducing bias in the sampling process which is guided by transitions in the B$\ddot{\text{u}}$chi automaton that belong to the shortest path to the accepting states. This allows us to synthesize optimal motion plans from product automata with hundreds of orders of magnitude more states than those that existing optimal control synthesis methods or off-the-shelf model checkers can manipulate. We show that $\text{STyLuS}^{*}$ is probabilistically complete and asymptotically optimal and has exponential convergence rate. This is the first time that convergence rate results are provided for sampling-based optimal control synthesis methods. We provide simulation results that show that $\text{STyLuS}^{*}$ can synthesize optimal motion plans for very large multi-robot systems which is impossible using state-of-the-art methods.


title: A Meta-Learning Approach for Custom Model Training

abstract: Transfer-learning and meta-learning are two effective methods to apply knowledge learned from large data sources to new tasks. In few-class, few-shot target task settings (i.e. when there are only a few classes and training examples available in the target task), meta-learning approaches that optimize for future task learning have outperformed the typical transfer approach of initializing model weights from a pre-trained starting point. But as we experimentally show, meta-learning algorithms that work well in the few-class setting do not generalize well in many-shot and many-class cases. In this paper, we propose a joint training approach that combines both transfer-learning and meta-learning. Benefiting from the advantages of each, our method obtains improved generalization performance on unseen target tasks in both few- and many-class and few- and many-shot scenarios.


title: Interaction-driven giant orbital magnetic moments in carbon nanotubes

abstract: Carbon nanotubes continue to be model systems for studies of confinement and interactions. This is particularly true in the case of so-called "ultra-clean" carbon nanotube devices offering the study of quantum dots with extremely low disorder. The quality of such systems, however, has increasingly revealed glaring discrepancies between experiment and theory. Here we address the outstanding anomaly of exceptionally large orbital magnetic moments in carbon nanotube quantum dots. We perform low temperature magneto-transport measurements of the orbital magnetic moment and find it is up to seven times larger than expected from the conventional semiclassical model. Moreover, the magnitude of the magnetic moment monotonically drops with the addition of each electron to the quantum dot directly contradicting the widely accepted shell filling picture of single-particle levels. We carry out quasiparticle calculations, both from first principles and within the effective-mass approximation, and find the giant magnetic moments can only be captured by considering a self-energy correction to the electronic band structure due to electron-electron interactions.


title: On The Nature of Variations in the Measured Star Formation Efficiency of Molecular Clouds

abstract: Measurements of the star formation efficiency (SFE) of giant molecular clouds (GMCs) in the Milky Way generally show a large scatter, which could be intrinsic or observational. We use magnetohydrodynamic simulations of GMCs (including feedback) to forward-model the relationship between the true GMC SFE and observational proxies. We show that individual GMCs trace broad ranges of observed SFE throughout collapse, star formation, and disruption. Low measured SFEs (<<1%) are "real" but correspond to early stages, the true "per-freefall" SFE where most stars actually form can be much larger. Very high (>>10%) values are often artificially enhanced by rapid gas dispersal. Simulations including stellar feedback reproduce observed GMC-scale SFEs, but simulations without feedback produce 20x larger SFEs. Radiative feedback dominates among mechanisms simulated. An anticorrelation of SFE with cloud mass is shown to be an observational artifact. We also explore individual dense "clumps" within GMCs and show that (with feedback) their bulk properties agree well with observations. Predicted SFEs within the dense clumps are ~2x larger than observed, possibly indicating physics other than feedback from massive (main sequence) stars is needed to regulate their collapse.


title: Augmenting Input Method Language Model with user Location Type Information

abstract: Geo-tags from micro-blog posts have been shown to be useful in many data mining applications. This work seeks to find out if the location type derived from these geo-tags can benefit input methods, which attempts to predict the next word a user will input during typing. If a correlation between different location types and a change in word distribution can be found, the location type information can be used to make the input method more accurate. This work queried micro-blog posts from Twitter API and location type of these posts from Google Place API, forming a dataset of around 500k samples. A statistical study on the word distribution found weak support for the assumption. An LSTM based prediction experiment found a 2% edge in the accuracy from language models leveraging location type information when compared to a baseline without that information.


title: CPMetric: Deep Siamese Networks for Learning Distances Between Structured Preferences

abstract: Preference are central to decision making by both machines and humans. Representing, learning, and reasoning with preferences is an important area of study both within computer science and across the sciences. When working with preferences it is necessary to understand and compute the distance between sets of objects, e.g., the preferences of a user and a the descriptions of objects to be recommended. We present CPDist, a novel neural network to address the problem of learning to measure the distance between structured preference representations. We use the popular CP-net formalism to represent preferences and then leverage deep neural networks to learn a recently proposed metric function that is computationally hard to compute directly. CPDist is a novel metric learning approach based on the use of deep siamese networks which learn the Kendal Tau distance between partial orders that are induced by compact preference representations. We find that CPDist is able to learn the distance function with high accuracy and outperform existing approximation algorithms on both the regression and classification task using less computation time. Performance remains good even when CPDist is trained with only a small number of samples compared to the dimension of the solution space, indicating the network generalizes well.


title: Regularity and multiplicity of toric rings of three-dimensional Ferrers diagrams

abstract: We investigate the Castelnuovo-Mumford regularity and the multiplicity of the toric ring associated with a three-dimensional Ferrers diagram. In particular, in the rectangular case, we provide direct formulas for these two important invariants. Then, we compare these invariants for an accompanying pair of Ferrers diagrams under some mild conditions and bound the Castelnuovo-Mumford regularity for more general cases.


title: Unrestricted Adversarial Examples

abstract: We introduce a two-player contest for evaluating the safety and robustness of machine learning systems, with a large prize pool. Unlike most prior work in ML robustness, which studies norm-constrained adversaries, we shift our focus to unconstrained adversaries. Defenders submit machine learning models, and try to achieve high accuracy and coverage on non-adversarial data while making no confident mistakes on adversarial inputs. Attackers try to subvert defenses by finding arbitrary unambiguous inputs where the model assigns an incorrect label with high confidence. We propose a simple unambiguous dataset ("bird-or- bicycle") to use as part of this contest. We hope this contest will help to more comprehensively evaluate the worst-case adversarial risk of machine learning models.


title: Coupled Graphs and Tensor Factorization for Recommender Systems and Community Detection

abstract: Joint analysis of data from multiple information repositories facilitates uncovering the underlying structure in heterogeneous datasets. Single and coupled matrix-tensor factorization (CMTF) has been widely used in this context for imputation-based recommendation from ratings, social network, and other user-item data. When this side information is in the form of item-item correlation matrices or graphs, existing CMTF algorithms may fall short. Alleviating current limitations, we introduce a novel model coined coupled graph-tensor factorization (CGTF) that judiciously accounts for graph-related side information. The CGTF model has the potential to overcome practical challenges, such as missing slabs from the tensor and/or missing rows/columns from the correlation matrices. A novel alternating direction method of multipliers (ADMM) is also developed that recovers the nonnegative factors of CGTF. Our algorithm enjoys closed-form updates that result in reduced computational complexity and allow for convergence claims. A novel direction is further explored by employing the interpretable factors to detect graph communities having the tensor as side information. The resulting community detection approach is successful even when some links in the graphs are missing. Results with real data sets corroborate the merits of the proposed methods relative to state-of-the-art competing factorization techniques in providing recommendations and detecting communities.


title: Post conjunction detection of $\beta$ Pictoris b with VLT/SPHERE

abstract: With an orbital distance comparable to that of Saturn in the solar system, \bpic b is the closest (semi-major axis $\simeq$\,9\,au) exoplanet that has been imaged to orbit a star. Thus it offers unique opportunities for detailed studies of its orbital, physical, and atmospheric properties, and of disk-planet interactions. With the exception of the discovery observations in 2003 with NaCo at the Very Large Telescope (VLT), all following astrometric measurements relative to \bpic have been obtained in the southwestern part of the orbit, which severely limits the determination of the planet's orbital parameters. We aimed at further constraining \bpic b orbital properties using more data, and, in particular, data taken in the northeastern part of the orbit. We used SPHERE at the VLT to precisely monitor the orbital motion of beta \bpic b since first light of the instrument in 2014. We were able to monitor the planet until November 2016, when its angular separation became too small (125 mas, i.e., 1.6\,au) and prevented further detection. We redetected \bpic b on the northeast side of the disk at a separation of 139\,mas and a PA of 30$^{\circ}$ in September 2018. The planetary orbit is now well constrained. With a semi-major axis (sma) of $a = 9.0 \pm 0.5$ au (1 $\sigma $), it definitely excludes previously reported possible long orbital periods, and excludes \bpic b as the origin of photometric variations that took place in 1981. We also refine the eccentricity and inclination of the planet. From an instrumental point of view, these data demonstrate that it is possible to detect, if they exist, young massive Jupiters that orbit at less than 2 au from a star that is 20 pc away.


title: Primitive and geometric-progression-free sets without large gaps

abstract: We prove the existence of primitive sets (sets of integers in which no element divides another) in which the gap between any two consecutive terms is substantially smaller than the best known upper bound for the gaps in the sequence of prime numbers. The proof uses the probabilistic method. Using the same techniques we improve the bounds obtained by He for gaps in geometric-progression-free sets.


title: Constraints on Lorentz Invariance and CPT Violation using Optical Photometry and Polarimetry of Active Galaxies BL Lacertae and S5 B0716+714

abstract: Various quantum gravity approaches that extend beyond the standard model predict Lorentz Invariance and Charge-Parity-Time Violation at energies approaching the Planck scale. These models frequently predict a wavelength dependent speed of light, which would result in time delays between promptly emitted photons at different energies, as well as a wavelength-dependent rotation of the plane of linear polarization for photons resulting from vacuum birefringence. Here, we describe a pilot program with an automated system of small telescopes that can simultaneously conduct high cadence optical photometry and polarimetry of Active Galactic Nuclei (AGN) in multiple passbands. We use these observations as a proof-of-principle to demonstrate how such data can be used to test various Lorentz Violation models, including special cases of the Standard Model Extension (SME). In our initial campaign with this system, the Array Photo Polarimeter, we observed two AGN sources, including BL Lacertae at redshift z = 0.069, and S5 B0716+714 at z = 0.31. We demonstrate that optical polarimetry with a broadband Luminance filter combined with simultaneous $I_c$-band observations yields SME parameter constraints that are up to ~10 and ~30 times more sensitive than with a standard $I_c$-band filter, for SME models with mass dimension d = 5 and d = 6, respectively. Using only a small system of telescopes with an effective 0.45-m aperture, we further demonstrate d = 5 constraints for individual lines of sight that are within a factor of ~1-10 in sensitivity to comparable constraints from optical polarimetry with a 3.6-m telescope. Such an approach could significantly improve existing SME constraints via a polarimetric all-sky survey of AGN with multiple 1-meter class telescopes.


title: Plasma Energization in Colliding Magnetic Flux Ropes

abstract: Magnetic flux ropes are commonly observed throughout the heliosphere, and recent studies suggest that interacting flux ropes are associated with some energetic particle events. In this work, we carry out 2D particle-in-cell (PIC) simulations to study the coalescence of two magnetic flux ropes (or magnetic islands), and the subsequent plasma energization processes. The simulations are initialized with two magnetic islands embedded in a reconnecting current sheet. The two islands collide and eventually merge into a single island. Particles are accelerated during this process as the magnetic energy is released and converted to the plasma energy, including bulk kinetic energy increase by the ideal electric field, and thermal energy increase by the fluid compression and the non-ideal electric field. We find that contributions from these different energization mechanisms are all important and comparable with each other. Fluid shear and a non-gyrotropic pressure tensor also contribute to the energy conversion process. For simulations with different box sizes ranging from $L_x \sim 25$--$100 d_i$ and ion-to-electron mass ratios $m_i / m_e = 25$, 100 and 400, we find that the general evolution is qualitatively the same for all runs, and the energization depends only weakly on either the system size or the mass ratio. The results may help us understand plasma energization in solar and heliospheric environments.


title: In-memory multiplication engine with SOT-MRAM based stochastic computing

abstract: Processing-in-memory (PIM) turns out to be a promising solution to breakthrough the memory wall and the power wall. While prior PIM designs yield successful implementation of bitwise Boolean logic operations locally in memory, it is difficult to accomplish the multiplication (MUL) instruction in a fast and efficient manner. In this paper, we propose a new stochastic computing (SC) design to perform MUL with in-memory operations. Instead of using the stochastic number generators (SNGs), we harness the inherent stochasticity in the memory write behavior of the magnetic random access memory (MRAM). Each memory bit serves as an SC engine, performs MUL on operands in the form of write voltage pulses, and stores the MUL outcome in-situ. The proposed design provides up to 4x improvement in performance compared with conversational SC approaches, and achieves 18x speedup over implementing MUL with only in-memory bitwise Boolean logic operations.


title: A convex program for bilinear inversion of sparse vectors

abstract: We consider the bilinear inverse problem of recovering two vectors, $\boldsymbol{x}\in\mathbb{R}^L$ and $\boldsymbol{w}\in\mathbb{R}^L$, from their entrywise product. We consider the case where $\boldsymbol{x}$ and $\boldsymbol{w}$ have known signs and are sparse with respect to known dictionaries of size $K$ and $N$, respectively. Here, $K$ and $N$ may be larger than, smaller than, or equal to $L$. We introduce $\ell_1$-BranchHull, which is a convex program posed in the natural parameter space and does not require an approximate solution or initialization in order to be stated or solved. We study the case where $\boldsymbol{x}$ and $\boldsymbol{w}$ are $S_1$- and $S_2$-sparse with respect to a random dictionary and present a recovery guarantee that only depends on the number of measurements as $L\geq\Omega(S_1+S_2)\log^{2}(K+N)$. Numerical experiments verify that the scaling constant in the theorem is not too large. One application of this problem is the sweep distortion removal task in dielectric imaging, where one of the signals is a nonnegative reflectivity, and the other signal lives in a known subspace, for example that given by dominant wavelet coefficients. We also introduce a variants of $\ell_1$-BranchHull for the purposes of tolerating noise and outliers, and for the purpose of recovering piecewise constant signals. We provide an ADMM implementation of these variants and show they can extract piecewise constant behavior from real images.


title: Comment on "All-optical machine learning using diffractive deep neural networks"

abstract: Lin et al. (Reports, 7 September 2018, p. 1004) reported a remarkable proposal that employs a passive, strictly linear optical setup to perform pattern classifications. But interpreting the multilayer diffractive setup as a deep neural network and advocating it as an all-optical deep learning framework are not well justified and represent a mischaracterization of the system by overlooking its defining characteristics of perfect linearity and strict passivity.


title: Mechanism of Laser Induced Filamentation in dielectrics

abstract: Laser filamentation in transparent material has a wide range of applications, from three dimensional manufacturing to biological technologies. Various experimental results showed that femtosecond laser pulse filamentation in fused silica strongly depends on laser focusing conditions. However, the physical mechanism governing each regime has not been fully understood. For the first time, single and multiple re-focusing of the laser pulse in interaction of femtosecond laser pulse with fused silica, and consequent single and multiple damage zones (filaments) have been observed in our extensive three-dimensional, high resolution FDTD (finite-difference time-domain) simulations. We show that Kerr nonlinearity plays a crucial role loose laser focusing regime, while it is not an important factor in tight laser focusing regime, where geometrical focusing becomes important. Our simulation results agree well with existing experimental findings. In addition, the improved analytical model prediction gives a reasonable estimate of the shift from Kerr nonlinearity regime to linear geometrical focusing regime.


title: A privacy-preserving, decentralized and functional Bitcoin e-voting protocol

abstract: Bitcoin, as a decentralized digital currency, has caused extensive research interest. There are many studies based on related protocols on Bitcoin, Bitcoin-based voting protocols also received attention in related literature. In this paper, we propose a Bitcoin-based decentralized privacy-preserving voting mechanism. It is assumed that there are n voters and m candidates. The candidate who obtains t ballots can get x Bitcoins from each voter, namely nx Bitcoins in total. We use a shuffling mechanism to protect voter's voting privacy, at the same time, decentralized threshold signatures were used to guarantee security and assign voting rights. The protocol can achieve correctness, decentralization and privacy-preservings. By contrast with other schemes, our protocol has a smaller number of transactions and can achieve a more functional voting method.


title: Scalar field propagation in braneworld black hole scenario obtained from Nash theorem

abstract: We determine the scalar field evolution of a braneworld localized black hole with both dark matter and dark energy components, obtained within a dynamical and continuous embedding formalism by use of Nash's theorem. We further extract the associated quasinormal modes for both de Sitter-Schwarzschild-Dark matter and anti-de Sitter-Schwarzschild-Dark matter solutions, for the different causal structures (one, two or three horizon spacetimes) given by the space of parameters. By comparison with standard General Relativity solutions, we infer possible observable astrophysical differences, and remark on modifications to previous AdS/CFT correspondence scenarios.


title: Uniform distributions on curves and quantization

abstract: The basic goal of quantization for probability distribution is to reduce the number of values, which is typically uncountable, describing a probability distribution to some finite set and thus to make an approximation of a continuous probability distribution by a discrete distribution. It has broad application in signal processing and data compression. In this paper, first we define the uniform distributions on different curves such as a line segment, a circle, and the boundary of an equilateral triangle. Then, we give the exact formulas to determine the optimal sets of $n$-means and the $n$th quantization errors for different values of $n$ with respect to the uniform distributions defined on the curves. In each case, we further calculate the quantization dimension and show that it is equal to the dimension of the object; and the quantization coefficient exists as a finite positive number. This supports the well-known result of Bucklew and Wise (1982), which says that for a Borel probability measure $P$ with non-vanishing absolutely continuous part the quantization coefficient exists as a finite positive number


title: A Unified Framework for the Tractable Analysis of Multi-Antenna Wireless Networks

abstract: Densifying networks and deploying more antennas at each access point are two principal ways to boost the capacity of wireless networks. However, the complicated distributions of the signal power and the accumulated interference power, largely induced by various space-time processing techniques, make it highly challenging to quantitatively characterize the performance of multi-antenna networks. In this paper, using tools from stochastic geometry, a unified framework is developed for the analysis of such networks. The major results are two innovative representations of the coverage probability, which make the analysis of multi-antenna networks almost as tractable as the single-antenna case. One is expressed as an $\ell_1$-induced norm of a Toeplitz matrix, and the other is given in a finite sum form. With a compact representation, the former incorporates many existing analytical results on single- and multi-antenna networks as special cases, and leads to tractable expressions for evaluating the coverage probability in both ad hoc and cellular networks. While the latter is more complicated for numerical evaluation, it helps analytically gain key design insights. In particular, it helps prove that the coverage probability of ad hoc networks is a monotonically decreasing convex function of the transmitter density and that there exists a peak value of the coverage improvement when increasing the number of transmit antennas. On the other hand, in multi-antenna cellular networks, it is shown that the coverage probability is independent of the transmitter density and that the outage probability decreases exponentially as the number of transmit antennas increases.


title: Dynamic critical properties of non-equilibrium Potts models with absorbing states

abstract: We present extensive numerical simulations of a family of non-equilibrium Potts models with absorbing states that allows for a variety of scenarios, depending on the number of spin states and the range of the spin-spin interactions. These scenarios encompass a voter critical point, a discontinuous transition as well as the presence of both a symmetry-breaking phase transition and an absorbing phase transition. While we also investigate standard steady-state quantities, our emphasis is on time-dependent quantities that provide insights into the transient properties of the models.


title: Gaussian fluctuations for linear eigenvalue statistics of products of independent iid random matrices

abstract: Consider the product $X = X_{1}\cdots X_{m}$ of $m$ independent $n\times n$ iid random matrices. When $m$ is fixed and the dimension $n$ tends to infinity, we prove Gaussian limits for the centered linear spectral statistics of $X$ for analytic test functions. We show that the limiting variance is universal in the sense that it does not depend on $m$ (the number of factor matrices) or on the distribution of the entries of the matrices. The main result generalizes and improves upon previous limit statements for the linear spectral statistics of a single iid matrix by Rider and Silverstein as well as Renfrew and the second author.


title: Attacking Similarity-Based Link Prediction in Social Networks

abstract: Link prediction is one of the fundamental problems in computational social science. A particularly common means to predict existence of unobserved links is via structural similarity metrics, such as the number of common neighbors; node pairs with higher similarity are thus deemed more likely to be linked. However, a number of applications of link prediction, such as predicting links in gang or terrorist networks, are adversarial, with another party incentivized to minimize its effectiveness by manipulating observed information about the network. We offer a comprehensive algorithmic investigation of the problem of attacking similarity-based link prediction through link deletion, focusing on two broad classes of such approaches, one which uses only local information about target links, and another which uses global network information. While we show several variations of the general problem to be NP-Hard for both local and global metrics, we exhibit a number of well-motivated special cases which are tractable. Additionally, we provide principled and empirically effective algorithms for the intractable cases, in some cases proving worst-case approximation guarantees.


title: Toric degenerations of cluster varieties and cluster duality

abstract: We introduce the notion of a $Y$-pattern with coefficients and its geometric counterpart: a cluster $\mathcal{X}$-variety with coefficients. We use these constructions to build a flat degeneration of every skew-symmetrizable specially completed cluster $\mathcal{X}$-variety $\widehat{\mathcal{X}}$ to the toric variety associated to its $\mathbf{g}$-fan. Moreover, we show that the fibers of this family are stratified in a natural way, with strata the specially completed $\mathcal{X}$-varieties encoded by $\mathrm{Star}(\tau)$ for each cone $\tau$ of the $\mathbf{g}$-fan. These strata degenerate to the associated toric strata of the central fiber. We further show that the family is cluster dual to $\mathcal{A}_{\mathrm{prin}}$ of Gross-Hacking-Keel-Kontsevich, and the fibers cluster dual to $\mathcal{A}_t$. Finally, we give two applications. First, we use our construction to identify the Rietsch-Williams toric degeneration of Grassmannians with the Gross-Hacking-Keel-Kontsevich degeneration in the case of $\mathrm{Gr}_2(\mathbb{C}^5)$. Next, we use it to link cluster duality to Batyrev-Borisov duality of Gorenstein toric Fanos in the context of mirror symmetry.


title: Semi-Supervised Sequence Modeling with Cross-View Training

abstract: Unsupervised representation learning algorithms such as word2vec and ELMo improve the accuracy of many supervised NLP models, mainly because they can take advantage of large amounts of unlabeled text. However, the supervised models only learn from task-specific labeled data during the main training phase. We therefore propose Cross-View Training (CVT), a semi-supervised learning algorithm that improves the representations of a Bi-LSTM sentence encoder using a mix of labeled and unlabeled data. On labeled examples, standard supervised learning is used. On unlabeled examples, CVT teaches auxiliary prediction modules that see restricted views of the input (e.g., only part of a sentence) to match the predictions of the full model seeing the whole input. Since the auxiliary modules and the full model share intermediate representations, this in turn improves the full model. Moreover, we show that CVT is particularly effective when combined with multi-task learning. We evaluate CVT on five sequence tagging tasks, machine translation, and dependency parsing, achieving state-of-the-art results.


title: Focus On What's Important: Self-Attention Model for Human Pose Estimation

abstract: Human pose estimation is an essential yet challenging task in computer vision. One of the reasons for this difficulty is that there are many redundant regions in the images. In this work, we proposed a convolutional network architecture combined with the novel attention model. We named it attention convolutional neural network (ACNN). ACNN learns to focus on specific regions of different input features. It's a multi-stage architecture. Early stages filtrate the "nothing-regions", such as background and redundant body parts. And then, they submit the important regions which contain the joints of the human body to the following stages to get a more accurate result. What's more, it does not require extra manual annotations and self-learning is one of our intentions. We separately trained the network because the attention learning task and the pose estimation task are not independent. State-of-the-art performance is obtained on the MPII benchmarks.


title: The Impact of Correlated Blocking on Millimeter-Wave Personal Networks

abstract: Due to its potential to support high data rates at low latency with reasonable interference isolation, millimeter-wave (mmWave) communications has emerged as a promising solution for wireless personal-area networks (WPAN) and an enabler for emerging applications such as high-resolution untethered virtual reality. At mmWave, signals are prone to blockage by objects in the environment, including human bodies. Most mmWave systems utilize directional antennas in order to overcome the significant path loss. In this paper, we consider the effects of blockage and antenna directivity on the performance of a mmWave WPAN. Similar to related work, we assume that the interferers are in arbitrary locations and the blockages are drawn from a random point process. However, unlike related work that assumes independent blocking, we carefully account for the possibility of correlated blocking, which arises when two interferers are close to each other and therefore an obstruction that blocks the first interferer may likely block the second interferer. Closed form expressions for the blockage correlation coefficient and the distribution of the SINR are provided for the case of two dominant interferers and a fixed number of blockages drawn from a binomial point process. Finally, the effects of antenna directivity and the spatial randomness of the interferers are taken into account, resulting in SINR curves that fully account for correlated blocking, which are compared against curves that neglect correlation. The results provide insight into the validity of the commonly held assumption of independent blocking and the improved accuracy that can be obtained when the blocking correlation is taken into account.


title: Production of new neutron-rich heavy nuclei with $Z=56-80$ in the multinucleon transfer reactions of $^{136}$Xe+$^{198}$Pt

abstract: The multinucleon transfer reactions in collisions of $^{136}$Xe+$^{198}$Pt at incident energies $E_{\textrm{lab}}=$5.25, 6.20, 7.98, 10.0, and 15.0 MeV/nucleon are investigated by using the improved quantum molecular dynamics model. It is found that 6.20 MeV/nucleon is the optimal incident energy for producing the neutron-rich heavy nuclei. About 80 unknown neutron-rich nuclei might be produced in this reaction with cross sections from 10$^{-6}$ to 10$^{-2}$ mb. The angular distributions of the neutron-rich isotopes are predicted.


title: Security Constrained AC Transmission Network Expansion Planning

abstract: Modern transmission network expansion planning (TNEP) is carried out with AC network model, which is able to handle voltage and voltage stability constraints. However, such a model requires optimization with iterative AC power flow model, which is computationally so demanding that most of the researchers have ignored the vital (N-1) security constraints. Therefore, the objective of this research work is to develop an efficient, two stage optimization strategy for solving this problem. In the first stage, a DC expansion planning problem is solved which provides an initial guess as well as some very good heuristics to reduce the number of power flow solutions for the second stage of AC transmission and reactive expansion planning. A modified artificial bee colony (MABC) algorithm is used to solve the resulting optimization problem. Static AC TNEP results for Garver 6 bus, IEEE 24 bus and IEEE 118 bus test systems have been obtained with the proposed and rigorous approaches and wherever possible, compared with similar results reported in literature to demonstrate the benefits of the proposed method. Also, multi-stage dynamic AC TNEP for the Garver 6 bus system is solved to show the applicability of the methodology to such problems.


title: Classification of propagation-invariant space-time wave packets in free space: Theory and experiments

abstract: Introducing correlations between the spatial and temporal degrees of freedom of a pulsed optical beam (or wave packet) can profoundly alter its propagation in free space. Indeed, appropriate spatio-temporal spectral correlations can render the wave packet propagation-invariant: the spatial and temporal profiles remain unchanged along the propagation axis. The spatio-temporal spectral locus of any such wave packet lies at the intersection of the light-cone with tilted spectral hyperplanes. We investigate (2+1)D 'space-time' propagation-invariant light sheets, and identify 10 classes categorized according to the magnitude and sign of their group velocity and the nature of their spatial spectrum - whether the low spatial frequencies are physically allowed or forbidden according to their compatibility with causal excitation and propagation. We experimentally synthesize and characterize all 10 classes using an experimental strategy capable of synthesizing space-time wave packets that incorporate arbitrary spatio-temporal spectral correlations.


title: Theory of atomic scale quantum dots in silicon: dangling bond quantum dots on silicon surface

abstract: We present here a theory and a computational tool, Silicon-{\sc Qnano}, to describe atomic scale quantum dots in Silicon. The methodology is applied to model dangling bond quantum dots (DBQDs) created on a passivated H:Si-(100)-(2$\times$1) surface by removal of a Hydrogen atom. The electronic properties of DBQD are computed by embedding it in a computational box of Silicon atoms. The surfaces of the computational box were constructed by using DFT as implemented in {\sc Abinit} program. The top layer was reconstructed by the formation of Si dimers passivated with H atoms while the bottom layer remained unreconstructed and fully saturated with H atoms. The computational box Hamiltonian was approximated by a tight-binding (TB) Hamiltonian by expanding the electron wave functions as a Linear Combination of Atomic Orbitals and fitting the bandstructure to {\it ab-initio} results. The parametrized TB Hamiltonian was used to model large finite Si(100) boxes (slabs) with number of atoms exceeding present capabilities of {\it ab-initio} calculations. The removal of one hydrogen atom from the reconstructed surface resulted in a DBQD state with wave function strongly localized around the Si atom and energy in the silicon bandgap. The DBQD could be charged with zero, one and two electrons. The Coulomb matrix elements were calculated and the charging energy of a two electron complex in a DBQD obtained.


title: Galaxy morphology prediction using capsule networks

abstract: Understanding morphological types of galaxies is a key parameter for studying their formation and evolution. Neural networks that have been used previously for galaxy morphology classification have some disadvantages, such as not being invariant under rotation. In this work, we studied the performance of Capsule Network, a recently introduced neural network architecture that is rotationally invariant and spatially aware, on the task of galaxy morphology classification. We designed two evaluation scenarios based on the answers from the question tree in the Galaxy Zoo project. In the first scenario, we used Capsule Network for regression and predicted probabilities for all of the questions. In the second scenario, we chose the answer to the first morphology question that had the highest user agreement as the class of the object and trained a Capsule Network classifier, where we also reconstructed galaxy images. We achieved promising results in both of these scenarios. Automated approaches such as the one introduced here will greatly decrease the workload of astronomers and will play a critical role in the upcoming large sky surveys.

categories: astro-ph.IM astro-ph.GA cs.CV cs.LG cs.NE


title: ISiCLE: A molecular collision cross section calculation pipeline for establishing large in silico reference libraries for compound identification

abstract: Comprehensive and confident identifications of metabolites and other chemicals in complex samples will revolutionize our understanding of the role these chemically diverse molecules play in biological systems. Despite recent advances, metabolomics studies still result in the detection of a disproportionate number of features than cannot be confidently assigned to a chemical structure. This inadequacy is driven by the single most significant limitation in metabolomics: the reliance on reference libraries constructed by analysis of authentic reference chemicals. To this end, we have developed the in silico chemical library engine (ISiCLE), a high-performance computing-friendly cheminformatics workflow for generating libraries of chemical properties. In the instantiation described here, we predict probable three-dimensional molecular conformers using chemical identifiers as input, from which collision cross sections (CCS) are derived. The approach employs state-of-the-art first-principles simulation, distinguished by use of molecular dynamics, quantum chemistry, and ion mobility calculations to generate structures and libraries, all without training data. Importantly, optimization of ISiCLE included a refactoring of the popular MOBCAL code for trajectory-based mobility calculations, improving its computational efficiency by over two orders of magnitude. Calculated CCS values were validated against 1,983 experimentally-measured CCS values and compared to previously reported CCS calculation approaches. An online database is introduced for sharing both calculated and experimental CCS values (metabolomics.pnnl.gov), initially including a CCS library with over 1 million entries. Finally, three successful applications of molecule characterization using calculated CCS are described. This work represents a promising method to address the limitations of small molecule identification.


title: DS-SLAM: A Semantic Visual SLAM towards Dynamic Environments

abstract: Simultaneous Localization and Mapping (SLAM) is considered to be a fundamental capability for intelligent mobile robots. Over the past decades, many impressed SLAM systems have been developed and achieved good performance under certain circumstances. However, some problems are still not well solved, for example, how to tackle the moving objects in the dynamic environments, how to make the robots truly understand the surroundings and accomplish advanced tasks. In this paper, a robust semantic visual SLAM towards dynamic environments named DS-SLAM is proposed. Five threads run in parallel in DS-SLAM: tracking, semantic segmentation, local mapping, loop closing, and dense semantic map creation. DS-SLAM combines semantic segmentation network with moving consistency check method to reduce the impact of dynamic objects, and thus the localization accuracy is highly improved in dynamic environments. Meanwhile, a dense semantic octo-tree map is produced, which could be employed for high-level tasks. We conduct experiments both on TUM RGB-D dataset and in the real-world environment. The results demonstrate the absolute trajectory accuracy in DS-SLAM can be improved by one order of magnitude compared with ORB-SLAM2. It is one of the state-of-the-art SLAM systems in high-dynamic environments. Now the code is available at our github: https://github.com/ivipsourcecode/DS-SLAM


title: $L^p$-boundedness and $L^p$-nuclearity of multilinear pseudo-differential operators on $\mathbb{Z}^n$ and the torus $\mathbb{T}^n$

abstract: In this article, we begin a systematic study of the boundedness and the nuclearity properties of multilinear periodic pseudo-differential operators and multilinear discrete pseudo-differential operators on $L^p$-spaces. First, we prove analogues of known multilinear Fourier multipliers theorems (proved by Coifman and Meyer, Grafakos, Tomita, Torres, Kenig, Stein, Fujita, Tao, etc.) in the context of periodic and discrete multilinear pseudo-differential operators. For this, we use the periodic analysis of pseudo-differential operators developed by Ruzhansky and Turunen. Later, we investigate the $s$-nuclearity, $0<s \leq 1,$ of periodic and discrete pseudo-differential operators. To accomplish this, we classify those $s$-nuclear multilinear integral operators on arbitrary Lebesgue spaces defined on $\sigma$-finite measures spaces. We also study similar properties for periodic Fourier integral operators. Finally, we present some applications of our study to deduce the periodic Kato-Ponce inequality and to examine the $s$-nuclearity of multilinear Bessel potentials as well as the $s$-nuclearity of periodic Fourier integral operators admitting suitable types of singularities.


title: Learning to Localize and Align Fine-Grained Actions to Sparse Instructions

abstract: Automatic generation of textual video descriptions that are time-aligned with video content is a long-standing goal in computer vision. The task is challenging due to the difficulty of bridging the semantic gap between the visual and natural language domains. This paper addresses the task of automatically generating an alignment between a set of instructions and a first person video demonstrating an activity. The sparse descriptions and ambiguity of written instructions create significant alignment challenges. The key to our approach is the use of egocentric cues to generate a concise set of action proposals, which are then matched to recipe steps using object recognition and computational linguistic techniques. We obtain promising results on both the Extended GTEA Gaze+ dataset and the Bristol Egocentric Object Interactions Dataset.


title: STEAM-Makerspace

abstract: Implementation of a STEAM Makerspace to dynamize the teaching and learning processes of mathematics (with emphasis on geometry) of second-year students in the upper secondary level.


title: Secure and Energy-Efficient Transmissions in Cache-Enabled Heterogeneous Cellular Networks: Performance Analysis and Optimization

abstract: This paper studies physical-layer security for a cache-enabled heterogeneous cellular network comprised of a macro base station and multiple small base stations (SBSs). We investigate a joint design on caching placement and file delivery for realizing secure and energy-efficient transmissions against randomly distributed eavesdroppers. We propose a novel hybrid "most popular content" and "largest content diversity" caching placement policy to distribute files of different popularities. Depending on the availability and placement of the requested file, we employ three cooperative transmission schemes, namely, distributed beamforming, frequency-domain orthogonal transmission, and best SBS relaying, respectively. We derive analytical expressions for the connection outage probability and secrecy outage probability for each transmission scheme. Afterwards, we design the optimal transmission rates and caching allocation successively to achieve a maximal overall secrecy throughput and secrecy energy efficiency, respectively. Numerical results verify the theoretical analyses and demonstrate the superiority of the proposed hybrid caching policy.


title: Milnor-Hamm sphere fibrations and the equivalence problem

abstract: We introduce the sphere fibration for real map germs with radial discriminant and we address the problem of its equivalence with the Milnor-Hamm tube fibration. Under natural conditions, we prove the existence of open book structures with singularities and solve the equivalence problem.