title: Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)

abstract: We introduce a new form of logical relation which, in the spirit of metric relations, allows us to assign each pair of programs a quantity measuring their distance, rather than a boolean value standing for their being equivalent. The novelty of differential logical relations consists in measuring the distance between terms not (necessarily) by a numerical value, but by a mathematical object which somehow reflects the interactive complexity, i.e. the type, of the compared terms. We exemplify this concept in the simply-typed lambda-calculus, and show a form of soundness theorem. We also see how ordinary logical relations and metric relations can be seen as instances of differential logical relations. Finally, we show that differential logical relations can be organised in a cartesian closed category, contrarily to metric relations, which are well-known not to have such a structure, but only that of a monoidal closed category.


title: Exploring Information Centrality for Intrusion Detection in Large Networks

abstract: Modern networked systems are constantly under threat from systemic attacks. There has been a massive upsurge in the number of devices connected to a network as well as the associated traffic volume. This has intensified the need to better understand all possible attack vectors during system design and implementation. Further, it has increased the need to mine large data sets, analyzing which has become a daunting task. It is critical to scale monitoring infrastructures to match this need, but a difficult goal for the small and medium organization. Hence, there is a need to propose novel approaches that address the big data problem in security. Information Centrality (IC) labels network nodes with better vantage points for detecting network-based anomalies as central nodes and uses them for detecting a category of attacks called systemic attacks. The main idea is that since these central nodes already see a lot of information flowing through the network, they are in a good position to detect anomalies before other nodes. This research first dives into the importance of using graphs in understanding the topology and information flow. We then introduce the usage of information centrality, a centrality-based index, to reduce data collection in existing communication networks. Using IC-identified central nodes can accelerate outlier detection when armed with a suitable anomaly detection technique. We also come up with a more efficient way to compute Information centrality for large networks. Finally, we demonstrate that central nodes detect anomalous behavior much faster than other non-central nodes, given the anomalous behavior is systemic in nature.


title: Application of Quantum Annealing to Nurse Scheduling Problem

abstract: Quantum annealing is a promising heuristic method to solve combinatorial optimization problems, and efforts to quantify performance on real-world problems provide insights into how this approach may be best used in practice. We investigate the empirical performance of quantum annealing to solve the Nurse Scheduling Problem (NSP) with hard constraints using the D-Wave 2000Q quantum annealing device. NSP seeks the optimal assignment for a set of nurses to shifts under an accompanying set of constraints on schedule and personnel. After reducing NSP to a novel Ising-type Hamiltonian, we evaluate the solution quality obtained from the D-Wave 2000Q against the constraint requirements as well as the diversity of solutions. For the test problems explored here, our results indicate that quantum annealing recovers satisfying solutions for NSP and suggests the heuristic method is sufficient for practical use. Moreover, we observe that solution quality can be greatly improved through the use of reverse annealing, in which it is possible to refine a returned results by using the annealing process a second time. We compare the performance NSP using both forward and reverse annealing methods and describe how these approach might be used in practice.


title: Local rigidity of certain actions of solvable groups on the boundaries of rank one symmetric spaces

abstract: Let $G$ be the group of orientation-preserving isometries of a rank-one symmetric space $X$ of non-compact type. We study local rigidity of certain actions of a solvable subgroup $\Gamma \subset G$ on the boundary of $X$, which is diffeomorphic to a sphere. When $X$ is a quaternionic hyperbolic space or the Cayley hyperplane, the action we constructed is locally rigid.


title: The annihilation number does not bound the 2-domination number from the above

abstract: The $2$-domination number $\gamma_2(G)$ of a graph $G$ is the minimum cardinality of a set $S\subseteq V(G)$ such that every vertex from $V(G)\setminus S$ is adjacent to at least two vertices in $S$. The annihilation number $a(G)$ is the largest integer $k$ such that the sum of the first $k$ terms of the non-decreasing degree sequence of $G$ is at most the number of its edges. It was conjectured that $\gamma_2(G) \leq a(G) +1$ holds for every connected graph $G$. The conjecture was earlier confirmed, in particular, for graphs of minimum degree $3$, for trees, and for block graphs. In this paper, we disprove the conjecture by proving that the $2$-domination number can be arbitrarily larger than the annihilation number. On the positive side we prove the conjectured bound for a large subclass of bipartite, connected cacti, thus generalizing a result of Jakovac from [Discrete Appl.\ Math.\ 260 (2019) 178--187].


title: Guarantees on Nearest-Neighbor Condensation heuristics

abstract: The problem of nearest-neighbor (NN) condensation aims to reduce the size of a training set of a nearest-neighbor classifier while maintaining its classification accuracy. Although many condensation techniques have been proposed, few bounds have been proved on the amount of reduction achieved. In this paper, we present one of the first theoretical results for practical NN condensation algorithms. We propose two condensation algorithms, called RSS and VSS, along with provable upper-bounds on the size of their selected subsets. Additionally, we shed light on the selection size of two other state-of-the-art algorithms, called MSS and FCNN, and compare them to the new algorithms.


title: Normal numbers with given limits of multiple ergodic averages

abstract: We are interested in the set of normal sequences in the space $\{0,1\}^\mathbb{N}$ with a given frequency of the pattern $11$ in the positions $k, 2k$. The topological entropy of such sets is determined.


title: IsMo-GAN: Adversarial Learning for Monocular Non-Rigid 3D Reconstruction

abstract: The majority of the existing methods for non-rigid 3D surface regression from monocular 2D images require an object template or point tracks over multiple frames as an input, and are still far from real-time processing rates. In this work, we present the Isometry-Aware Monocular Generative Adversarial Network (IsMo-GAN) - an approach for direct 3D reconstruction from a single image, trained for the deformation model in an adversarial manner on a light-weight synthetic dataset. IsMo-GAN reconstructs surfaces from real images under varying illumination, camera poses, textures and shading at over 250 Hz. In multiple experiments, it consistently outperforms several approaches in the reconstruction accuracy, runtime, generalisation to unknown surfaces and robustness to occlusions. In comparison to the state-of-the-art, we reduce the reconstruction error by 10-30% including the textureless case and our surfaces evince fewer artefacts qualitatively.


title: A development of Lagrange interpolation, Part I: Theory

abstract: In this work, we introduce the new class of functions which can use to solve the nonlinear/linear multi-dimensional differential equations. Based on these functions, a numerical method is provided which is called the Developed Lagrange Interpolation (DLI). For this, firstly, we define the new class of the functions, called the Developed Lagrange Functions (DLFs), which satisfy in the Kronecker Delta at the collocation points. Then, for the DLFs, the first-order derivative operational matrix of $\textbf{D}^{(1)}$ is obtained, and a recurrence relation is provided to compute the high-order derivative operational matrices of $\textbf{D}^{(m)}$, $m\in \mathbb{N}$; that is, we develop the theorem of the derivative operational matrices of the classical Lagrange polynomials for the DLFs and show that the relation of $\textbf{D}^{(m)}=(\textbf{D}^{(1)})^{m}$ for the DLFs is not established and is developable. Finally, we develop the error analysis of the classical Lagrange interpolation for the developed Lagrange interpolation. Finally, for demonstrating the convergence and efficiency of the DLI, some well-known differential equations, which are applicable in applied sciences, have been investigated based upon the various choices of the points of interpolation/collocation.


title: Joint Analysis of Acoustic Events and Scenes Based on Multitask Learning

abstract: Acoustic event detection and scene classification are major research tasks in environmental sound analysis, and many methods based on neural networks have been proposed. Conventional methods have addressed these tasks separately; however, acoustic events and scenes are closely related to each other. For example, in the acoustic scene `office', the acoustic events `mouse clicking' and `keyboard typing' are likely to occur. In this paper, we propose multitask learning for joint analysis of acoustic events and scenes, which shares the parts of the networks holding information on acoustic events and scenes in common. By integrating the two networks, we expect that information on acoustic scenes will improve the performance of acoustic event detection. Experimental results obtained using TUT Sound Events 2016/2017 and TUT Acoustic Scenes 2016 datasets indicate that the proposed method improves the performance of acoustic event detection by 10.66 percentage points in terms of the F-score, compared with a conventional method based on a convolutional recurrent neural network.


title: Thermal diffusivity and specific heat capacity of linear alkylbenzene

abstract: We report the measurements of the thermal diffusivity and the isobaric specific heat capacity of linear alkylbenzene at about 23$\,^{\circ}\mathrm{C}$ with the standard atmosphere, which are measured for the first time. The conductivity, heat capacity ratio, and speed of sound were derived from our measurements based on thermodynamic relations. The temperature dependence of heat capacity ratio and isobaric specific heat capacity were calculated and relevant results were discussed.


title: Searches for strong production of supersymmetry in CMS

abstract: Searches for production of supersymmetric partners of gluons and quarks with the CMS experiment at CERN's LHC have excluded these particles for masses up to about 2 TeV. The paper will present results and show the analysis techniques in these searches, with an emphasis on the use of razor variables for the discrimination between standard model backgrounds and signal.


title: A Socio-Informatic Approach to Automated Account Classification on Social Media

abstract: Automated accounts on social media have become increasingly problematic. We propose a key feature in combination with existing methods to improve machine learning algorithms for bot detection. We successfully improve classification performance through including the proposed feature.


title: Relation between the number of leaves of a tree and its diameter

abstract: Let $L(n,d)$ denote the minimum possible number of leaves in a tree of order $n$ and diameter $d.$ In 1975 Lesniak gave the lower bound $B(n,d)=\lceil 2(n-1)/d\rceil$ for $L(n,d).$ When $d$ is even, $B(n,d)=L(n,d).$ But when $d$ is odd, $B(n,d)$ is smaller than $L(n,d)$ in general. For example, $B(21,3)=14$ while $L(21,3)=19.$ We prove that for $d\ge 2,$ $ L(n,d)=\left\lceil \frac{2(n-1)}{d}\right\rceil$ if $d$ is even and $L(n,d)=\left\lceil \frac{2(n-2)}{d-1}\right\rceil$ if $d$ is odd. The converse problem is also considered. Let $D(n,f)$ be the minimum possible diameter of a tree of order $n$ with exactly $f$ leaves. We prove that $D(n,f)=2$ if $n=f+1,$ $D(n,f)=2k+1$ if $n=kf+2,$ and $D(n,f)=2k+2$ if $kf+3\le n\le (k+1)f+1.$


title: Right Angled Artin Groups and partial commutation, old and new

abstract: We compute the $p$-central and exponent-$p$ series of all right angled Artin groups, and compute the dimensions of their subquotients. We also describe their associated Lie algebras, and relate them to the cohomology ring of the group as well as to a partially commuting polynomial ring and power series ring. We finally show how the growth series of these various objects are related to each other.


title: PeyeDF: an Eye-Tracking Application for Reading and Self-Indexing Research

abstract: PeyeDF is a Portable Document Format (PDF) reader with eye tracking support, available as free and open source software. It is especially useful to researchers investigating reading and learning phenomena, as it integrates PDF reading-related behavioural data with gaze-related data. It is suitable for short and long-term research and supports multiple eye tracking systems. We utilised it to conduct an experiment which demonstrated that features obtained from both gaze and reading data collected in the past can predict reading comprehension which takes place in the future. PeyeDF also provides an integrated means for data collection and indexing using the DiMe personal data storage system. It is designed to collect data in the background without interfering with the reading experience, behaving like a modern lightweight PDF reader. Moreover, it supports annotations, tagging and collaborative work. A modular design allows the application to be easily modified in order to support additional eye tracking protocols and run controlled experiments. We discuss the implementation of the software and report on the results of the experiment which we conducted with it.


title: Geometric Description of Schr\"{o}dinger Equation in Finsler and Funk Geometry

abstract: For a system of $n$ non-relativistic spinless bosons, we show by using a set of suitable matching conditions that the quantum equations in the pilot-wave limit can be translated into a geometric language for a Finslerian manifold. We further link these equations to Euclidean timelike relative Funk geometry and show that the two different metrics in both of these geometric frameworks lead to the same coupling.


title: Ready-to-Use Unbiased Estimators for Multivariate Cumulants Including One That Outperforms $\overline{x^3}$

abstract: We present multivariate unbiased estimators for second, third, and fourth order cumulants $C_2(x,y)$, $C_3(x,y,z)$, and $C_4(x,y,z,w)$. Many relevant new estimators are derived for cases where some variables are average-free or pairs of variables have a vanishing second order cumulant. The well-know Fisher k-statistics is recovered for the single variable case. The variances of several estimators are explicitly given in terms of higher order cumulants and discussed with respect to random processes that are predominately Gaussian. We surprisingly find that the frequently used third order estimator $\overline{x^3}$ for $C_3(x,x,x)$ of a process $x$ with zero average is outperformed by alternative estimators. The new (Gauss-optimal) estimator $\overline{x^3} - 3 \overline{x^2}\overline{x}(m-1)/(m+1)$ improves the variance by a factor of up to $5/2$. Similarly, the estimator $\overline{x^2 z}$ for $C_3(x,x,z)$ can be replaced by another Gauss-optimal estimator. The known estimator $\overline{xyz}$ for $C_3(x,y,z)$ as well as previously known estimators for $C_2$ and $C_4$ of one average-free variable are shown to be Gauss-optimal. As a side result of our work we present two simple recursive formulas for finding multivariate cumulants from moments and vice versa.


title: ExoMol line lists - XXXII. The rovibronic spectrum of MgO

abstract: Line lists for magnesium oxide are computed and extensive comparisons are made with existing experimental spectra. The LiTY line lists cover all ro-vibration transitions within the five lowest-lying electronic states ($X\,{}^1\Sigma^+$, $a\,{}^3\Pi$, $A\,{}^1\Pi$, $B\,{}^1\Sigma^+$ and $b\,{}^3\Sigma^{+}$) and five isotopologues: $^{24}$Mg$^{16}$O, $^{25}$Mg$^{16}$O, $^{26}$Mg$^{16}$O, $^{24}$Mg$^{17}$O, $^{24}$Mg$^{18}$O, $^{24}$Mg$^{17}$O and $^{24}$Mg$^{18}$O. The calculation use potential energy cures, spin-orbit and electronic angular momentum couplings curves determined by fitting to empirical energy levels; these levels are reproduced to within 0.01 \cm\ in most cases. Computed nuclear-motion wavefunctions are combined with {\it ab initio} dipole moment curves to give transition intensities and excited state radiative lifetimes which are compared with laboraroty measurements. The $^{24}$Mg$^{16}$O line list comprises 186 842 ($J\le 320$) ro-vibronic states and 72 833 173 transitions with angular momenta, $J$, up to 300 and covering wavenumbers up to 33 000 cm$^{-1}$ ($\lambda > 0.3$ $\mu$m). The line lists are suitable for temperatures up to about 5000 K. They are relevant to astrophysical studies of exoplanet atmospheres, cool stars and brown dwarfs, and are made available in electronic form at the CDS and ExoMol databases.


title: Parameterised Counting in Logspace

abstract: In this paper, we introduce a new framework for parameterised counting in logspace, inspired by the parameterised space bounded models developed by Elberfeld, Stockhusen and Tantau (IPEC 2013, Algorithmica 2015). They defined the operators paraW and paraBeta for parameterised space complexity classes by allowing bounded nondeterminism with multiple-read and read-once access, respectively. Using these operators, they characterised the parameterised complexity of natural problems on graphs. In the spirit of the operators paraW and paraBeta by Stockhusen and Tantau, we introduce variants based on tail-nondeterminism, paraW[1] and paraBeta-Tail. Then, we consider counting versions of all four operators applied to logspace and obtain several natural complete problems for the resulting classes: counting of paths in digraphs, counting first-order models for formulas, and counting graph homomorphisms. Furthermore, we show that the complexity of a parameterised variant of the determinant function for (0,1)-matrices is #paraBeta-Tail-L-hard and can be written as the difference of two functions in #paraBetaTail-L. For example, we show that the closure of #paraBetaTail-L under parameterised logspace parsimonious reductions coincides with #paraBeta-L, that is, modulo parameterised reductions, tail-nondeterminism with read-once access is the same as read-once nondeterminism. We show that all introduced classes are closed under addition and multiplication, and those without tail-nondeterminism are closed under parameterised logspace parsimonious reductions. Finally, we underline the significance of this topic by providing a promising outlook showing several open problems and options for further directions of research.


title: Optimal Scaling of Random-Walk Metropolis Algorithms on General Target Distributions

abstract: One main limitation of the existing optimal scaling results for Metropolis--Hastings algorithms is that the assumptions on the target distribution are unrealistic. In this paper, we consider optimal scaling of random-walk Metropolis algorithms on general target distributions in high dimensions arising from practical MCMC models from Bayesian statistics. For optimal scaling by maximizing expected squared jumping distance (ESJD), we show the asymptotically optimal acceptance rate $0.234$ can be obtained under general realistic sufficient conditions on the target distribution. The new sufficient conditions are easy to be verified and may hold for some general classes of MCMC models arising from Bayesian statistics applications, which substantially generalize the product i.i.d. condition required in most existing literature of optimal scaling. Furthermore, we show one-dimensional diffusion limits can be obtained under slightly stronger conditions, which still allow dependent coordinates of the target distribution. We also connect the new diffusion limit results to complexity bounds of Metropolis algorithms in high dimensions.


title: Natural domain decomposition algorithms for the solution of time-harmonic elastic waves

abstract: We study for the first time Schwarz domain decomposition methods for the solution of the Navier equations modeling the propagation of elastic waves. These equations in the time harmonic regime are difficult to solve by iterative methods, even more so than the Helmholtz equation. We first prove that the classical Schwarz method is not convergent when applied to the Navier equations, and can thus not be used as an iterative solver, only as a preconditioner for a Krylov method. We then introduce more natural transmission conditions between the subdomains, and show that if the overlap is not too small, this new Schwarz method is convergent. We illustrate our results with numerical experiments, both for situations covered by our technical two subdomain analysis, and situations that go far beyond, including many subdomains, cross points, heterogeneous materials in a transmission problem, and Krylov acceleration. Our numerical results show that the Schwarz method with adapted transmission conditions leads systematically to a better solver for the Navier equations than the classical Schwarz method.


title: Estimation of distributional effects of treatment and control under selection on observables: consistency, weak convergence, and applications

abstract: In this paper the estimation of the distribution function for potential outcomes to receiving or not receiving a treatment is studied. The approach is based on weighting observed data on the basis on estimated propensity score. A weighted version of empirical process is constructed and its weak convergence to bivariate Gaussian process is established. Results for the estimation of the Average Treatment Effect (ATE) and Quantile Treatment Effect (QTE) are obtained as by-products. Applications to the construction of nonparametric tests for the treatment effect and for the stochastic dominance of the treatment over control are considered, and their finite sample properties and merits are studied via simulation.


title: On the Feynman-Kac Formula

abstract: In this article, given $y :[0,\eta)\rightarrow H$ a continuous map into a Hilbert space $H$ we study the equation \[\hat y(t) = e^{\int_0^tc(s,\hat y)}y(t)\] where $c(s,\cdot)$ is a given `potential' on $C([0,\eta),H)$. Applying the transformation $y \rightarrow \hat y$ to the solutions of the SPDE and PDE underlying a diffusion, we study the Feynman-Kac formula.


title: The geometry of rest-spike bistability

abstract: Morris-Lecar model is arguably the simplest dynamical model that retains both the slow-fast geometry of excitable phase portraits and the physiological interpretation of a conductance-based model. We augment this model with one slow inward current to capture the additional property of bistability between a resting state and a spiking limit cycle for a range of input current. The resulting dynamical system is a core structure for many dynamical phenomena such as slow spiking and bursting. We show how the proposed model combines physiological interpretation and mathematical tractability and we discuss the benefits of the proposed approach with respect to alternative models in the literature.


title: Sentiment Classification using N-gram IDF and Automated Machine Learning

abstract: We propose a sentiment classification method with a general machine learning framework. For feature representation, n-gram IDF is used to extract software-engineering-related, dataset-specific, positive, neutral, and negative n-gram expressions. For classifiers, an automated machine learning tool is used. In the comparison using publicly available datasets, our method achieved the highest F1 values in positive and negative sentences on all datasets.


title: Dual-Color Laser Induced Terahertz Generation in Strong Field Approximation

abstract: The mechanism of the terahertz (THz) wave generation (TWG) in dual-color fields is elucidated within the theoretical framework of single-atom based strong field approximation (SFA). Evaluating the transition dipole moment, the continuum-continuum (CC) transition, rather than the continuum-bound recombination for the high-order harmonic generation, is confirmed to be the core mechanism of the TWG. The analytic form of the SFA-based CC description is consistent with the classical photoelectric current model, establishing the quantum-classical correspondence for the TWG. The theory is supported by parametric dependence of experimental THz yields calibrated by the joint measurement of the third-order harmonics. Present studies leave open the possibility of probing the ultrafast dynamics of continuum electron.


title: High Quality Degree Based Heuristics for the Influence Maximization Problem

abstract: The problem of influence maximization is to select the most influential individuals in a social network. With the popularity of social network sites, and the development of viral marketing, the importance of the problem has been increased. The influence maximization problem is NP-hard, and therefore, there will not exist a polynomial-time algorithm to solve the problem unless P=NP. Many heuristics are proposed to find a nearly good solution in a shorter time. In this paper, we propose two heuristic algorithms to find good solutions. The heuristics are based on two ideas: (1) vertices of high degree have more influence in the network, and (2) nearby vertices influence on almost analogous sets of vertices. We evaluate our algorithms on several well-known data sets and show that our heuristics achieve better results (up to $15\%$ in influence spread) for this problem in a shorter time (up to $85\%$ improvement in the running time).


title: Improved Conditional VRNNs for Video Prediction

abstract: Predicting future frames for a video sequence is a challenging generative modeling task. Promising approaches include probabilistic latent variable models such as the Variational Auto-Encoder. While VAEs can handle uncertainty and model multiple possible future outcomes, they have a tendency to produce blurry predictions. In this work we argue that this is a sign of underfitting. To address this issue, we propose to increase the expressiveness of the latent distributions and to use higher capacity likelihood models. Our approach relies on a hierarchy of latent variables, which defines a family of flexible prior and posterior distributions in order to better model the probability of future sequences. We validate our proposal through a series of ablation experiments and compare our approach to current state-of-the-art latent variable models. Our method performs favorably under several metrics in three different datasets.


title: HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning

abstract: Large crowdsourced datasets are widely used for training and evaluating neural models on natural language inference (NLI). Despite these efforts, neural models have a hard time capturing logical inferences, including those licensed by phrase replacements, so-called monotonicity reasoning. Since no large dataset has been developed for monotonicity reasoning, it is still unclear whether the main obstacle is the size of datasets or the model architectures themselves. To investigate this issue, we introduce a new dataset, called HELP, for handling entailments with lexical and logical phenomena. We add it to training data for the state-of-the-art neural models and evaluate them on test sets for monotonicity phenomena. The results showed that our data augmentation improved the overall accuracy. We also find that the improvement is better on monotonicity inferences with lexical replacements than on downward inferences with disjunction and modification. This suggests that some types of inferences can be improved by our data augmentation while others are immune to it.


title: A complete classification of S1-symmetric static vacuum black holes

abstract: In a seminal paper of 1917, H. Weyl presented a remarkable reduction of the static axisymmetric vacuum Einstein equations, serving as a relatively straightforward technique to generate and explore new solutions. Weyl's reduction was used by Myers in 1987, and independently by Korotkin-Nicolai in 1994, to construct a new family of static and axisymmetric solutions with compact non-empty horizon, however with non-trivial topology and asymptotically Kasner. This family, together with the Schwarzschild and the Boost families, remained until now as the only known S1-symmetric static black hole solutions, namely, (metrically complete) S1-symmetric static vacuum solutions with compact and non-empty horizon. In this article we prove that, indeed, these three families exhaust all the examples of S1-symmetric static vacuum black holes.


title: Learning-based Rate Adaptation for Uplink Massive MIMO Networks with Cooperative Data-Assisted Detection

abstract: In this paper, the uplink adaptation for massive multiple-input-multiple-output (MIMO) networks without the knowledge of user density is considered. Specifically, a novel cooperative uplink transmission and detection scheme is first proposed for massive MIMO networks, where each uplink frame is divided into a number of data blocks with independent coding schemes and the following blocks are decoded based on previously detected data blocks in both service and neighboring cells. The asymptotic signal-to-interference-plus-noise ratio (SINR) of the proposed scheme is then derived, and the distribution of interference power considering the randomness of the users' locations is proved to be Gaussian. By tracking the mean and variance of interference power, an online robust rate adaptation algorithm ensuring a target packet outage probability is proposed for the scenario where the interfering channel and the user density are unknown.


title: Contraction for large perturbations of traveling waves in a hyperbolic-parabolic system arising from a chemotaxis model

abstract: We consider a hyperbolic-parabolic system arising from a chemotaxis model in angiogenesis, which is described by a Keller-Segel equation with singular sensitivity. It is known to allow viscous shocks (so-called traveling waves). We introduce a relative entropy of the system, which can capture how close a solution at a given time is to a given shock wave in almost $L^2$-sense. When the shock strength is small enough, we show the functional is non-increasing in time for any large initial perturbation. The contraction property holds independently of the strength of the diffusion.


title: Dry release transfer of graphene and few-layer h-BN by utilizing thermoplasticity of polypropylene carbonate for fabricating edge-contact-free van der Waals heterostructures

abstract: The dry release transfer of two-dimensional (2D) materials such as graphene, h-BN, and TMDs is a versatile method for fabricating high-quality van der Waals heterostructures. Up until now, polydimethylpolysiloxane (PDMS) sheets have been widely used for the dry release transfer of TMD materials. However, this method has been known to have limitations that make it difficult to transfer few-layer-thick graphene and h-BN because of the difficulty to fabricate these materials on PDMS. As an alternative method, we demonstrate the dry release transfer of single- and bi-layer graphene and few-layer h-BN in this study by utilizing poly(propylene) carbonate (PPC) films. Because of the strong adhesion between PPC and 2D materials around room temperature, we demonstrate that single- to few-layer graphene, as well as few-layer h-BN, can be fabricated on a spin-coated PPC film/290-nm-thick SiO2/Si substrate via the mechanical exfoliation method. In addition, we show that these few-layer crystals are clearly distinguishable using an optical microscope with the help of optical interference. Because of the thermoplastic properties of PPC film, the adhesion force between the 2D materials and PPC significantly decreases at about 70 {\deg}C. Therefore, we demonstrate that single- to few-layer graphene, as well as few-layer h-BN flakes, on PPC can be easily dry-transferred onto another h-BN substrate. This method enables a multilayer van der Waals heterostructure to be constructed with a minimum amount of polymer contamination. We demonstrate the fabrication of encapsulated h-BN/graphene/h-BN devices and graphene/few-layer h-BN/graphene vertical-tunnel-junction devices using this method. Since devices fabricated by this method do not require an edge-contact scheme, our finding provide a simples method for constructing high-quality graphene and h-BN-based van der Waals heterostructures.


abstract: Learning with feature evolution studies the scenario where the features of the data streams can evolve, i.e., old features vanish and new features emerge. Its goal is to keep the model always performing well even when the features happen to evolve. To tackle this problem, canonical methods assume that the old features will vanish simultaneously and the new features themselves will emerge simultaneously as well. They also assume there is an overlapping period where old and new features both exist when the feature space starts to change. However, in reality, the feature evolution could be unpredictable, which means the features can vanish or emerge arbitrarily, causing the overlapping period incomplete. In this paper, we propose a novel paradigm: Prediction with Unpredictable Feature Evolution (PUFE) where the feature evolution is unpredictable. To address this problem, we fill the incomplete overlapping period and formulate it as a new matrix completion problem. We give a theoretical bound on the least number of observed entries to make the overlapping period intact. With this intact overlapping period, we leverage an ensemble method to take the advantage of both the old and new feature spaces without manually deciding which base models should be incorporated. Theoretical and experimental results validate that our method can always follow the best base models and thus realize the goal of learning with feature evolution.


title: Uniform Boundary Controllability and Homogenization of Wave Equations

abstract: We obtain sharp convergence rates, using Dirichlet correctors, for solutions of wave equations in a bounded domain with rapidly oscillating periodic coefficients. The results are used to prove the exact boundary controllability that is uniform in $\epsilon$ - the scale of the microstructure, for the projection of solutions to the subspace generated by the eigenfunctions with eigenvalues less that $C\epsilon^{-1/2}$.


title: Proportion of ordinarity in some families of curves over finite fields

abstract: A curve over a field of characteristic $p$ is called ordinary if the $p$-torsion of its Jacobian as large as possible, that is, an $\mathbb{F}_p$ vector space of dimension equal to its genus. In this paper we consider the following question: fix a finite field $\mathbb{F}_q$ and a family $\mathscr{F}$ of curves over $\mathbb{F}_q$. Then, what is the probability that a curve in this family is ordinary? We answer this question when $\mathscr{F}$ is either the Artin-Schreier family in any characteristic or a superelliptic family in characteristic 2.


title: Network desynchronization by non-Gaussian fluctuations

abstract: Many networks must maintain synchrony despite the fact that they operate in noisy environments. Important examples are stochastic inertial oscillators, which are known to exhibit fluctuations with broad tails in many applications, including electric power networks with renewable energy sources. Such non-Gaussian fluctuations can result in rare network desynchronization. Here we build a general theory for inertial oscillator network desynchronization by non-Gaussian noise. We compute the rate of desynchronization and show that higher-moments of noise enter at specific powers of coupling: either speeding up or slowing down the rate exponentially depending on how noise statistics match the statistics of a network's slowest mode. Finally, we use our theory to introduce a technique that drastically reduces the effective description of network desynchronization. Most interestingly, when instability is associated with a single edge, the reduction is to one stochastic oscillator.


title: Unsupervised and Unregistered Hyperspectral Image Super-Resolution with Mutual Dirichlet-Net

abstract: Hyperspectral images (HSI) provide rich spectral information that contributed to the successful performance improvement of numerous computer vision tasks. However, it can only be achieved at the expense of images' spatial resolution. Hyperspectral image super-resolution (HSI-SR) addresses this problem by fusing low resolution (LR) HSI with multispectral image (MSI) carrying much higher spatial resolution (HR). All existing HSI-SR approaches require the LR HSI and HR MSI to be well registered and the reconstruction accuracy of the HR HSI relies heavily on the registration accuracy of different modalities. This paper exploits the uncharted problem domain of HSI-SR without the requirement of multi-modality registration. Given the unregistered LR HSI and HR MSI with overlapped regions, we design a unique unsupervised learning structure linking the two unregistered modalities by projecting them into the same statistical space through the same encoder. The mutual information (MI) is further adopted to capture the non-linear statistical dependencies between the representations from two modalities (carrying spatial information) and their raw inputs. By maximizing the MI, spatial correlations between different modalities can be well characterized to further reduce the spectral distortion. A collaborative $l_{2,1}$ norm is employed as the reconstruction error instead of the more common $l_2$ norm, so that individual pixels can be recovered as accurately as possible. With this design, the network allows to extract correlated spectral and spatial information from unregistered images that better preserves the spectral information. The proposed method is referred to as unregistered and unsupervised mutual Dirichlet Net ($u^2$-MDN). Extensive experimental results using benchmark HSI datasets demonstrate the superior performance of $u^2$-MDN as compared to the state-of-the-art.


title: Complex magnetism of B20-MnGe: from spin-spirals, hedgehogs to monopoles

abstract: B20 compounds are the playground for various non-trivial magnetic textures such as skyrmions, which are topologically protected states. Recent measurements on B20-MnGe indicate no clear consensus on its magnetic behavior, which is characterized by the presence of either spin-spirals or 3-dimensional objects interpreted to be a cubic lattice of hedgehogs and anti-hedgehogs. Utilizing a massively parallel linear scaling all-electron density functional algorithm, we find from full first-principles simulations on cells containing thousands of atoms that upon increase of the compound volume, the state with lowest energy switches across different magnetic phases: ferromagnetic, spin-spiral, hedgehog and monopole.


title: Graph of even points on an arithmetic curve

abstract: We show that the points of a global function field, whose classes are 2-divisible in the Picard group, form a connected graph, with the incidence relation generalizing the well known quadratic reciprocity law. We prove that for every global function field the dimension of this graph is precisely 2. In addition we develop an analog of global square theorem that concerns points 2-divisible in the Picard group.


title: Fuzzy Rule Interpolation Methods and Fri Toolbox

abstract: FRI methods are less popular in the practical application domain. One possible reason is the missing common framework. There are many FRI methods developed independently, having different interpolation concepts and features. One trial for setting up a common FRI framework was the MATLAB FRI Toolbox, developed by Johany\'ak et. al. in 2006. The goals of this paper are divided as follows: firstly, to present a brief introduction of the FRI methods. Secondly, to introduce a brief description of the refreshed and extended version of the original FRI Toolbox. And thirdly, to use different unified numerical benchmark examples to evaluate and analyze the Fuzzy Rule Interpolation Techniques (FRI) (KH, KH Stabilized, MACI, IMUL, CRF, VKK, GM, FRIPOC, LESFRI, and SCALEMOVE), that will be classified and compared based on different features by following the abnormality and linearity conditions [15].


title: Nanowire photodetectors based on wurtzite semiconductor heterostructures

abstract: Using nanowires for photodetection constitutes an opportunity to enhance the absorption efficiency while reducing the electrical cross-section of the device. They present interesting features like compatibility with silicon substrates, which offers the possibility of integrating detector and readout circuitry, and facilitates their transfer to flexible substrates. Within a nanowire, it is possible to implement axial and radial (core-shell) heterostructures. These two types can be combined to obtain three-dimensional carrier confinement (dot-in-a-wire). The incorporation of heterostructures in nanowire photodetectors opens interesting opportunities of application and performance improvement. Heterojunctions or type-II heterostructures favor the separation of the photogenerated electrons and holes, and the implementation of quantum dots in a nanowire can be applied to the development of quantum photodetectors. This paper provides a general review of latest progresses in nanowire photodetectors, including single nanowires and heterostructured nanowires.


title: Random generation with cycle type restrictions

abstract: We study random generation in the symmetric group when cycle type restrictions are imposed. Given $\pi, \pi' \in S_n$, we prove that $\pi$ and a random conjugate of $\pi'$ are likely to generate at least $A_n$ provided only that $\pi$ and $\pi'$ have not too many fixed points and not too many $2$-cycles. As an application, we investigate the following question: For which positive integers $m$ should we expect two random elements of order $m$ to generate $A_n$? Among other things, we give a positive answer for any $m$ having any divisor $d$ in the range $3 \leq d \leq o(n^{1/2})$.


title: Non-Local Context Encoder: Robust Biomedical Image Segmentation against Adversarial Attacks

abstract: Recent progress in biomedical image segmentation based on deep convolutional neural networks (CNNs) has drawn much attention. However, its vulnerability towards adversarial samples cannot be overlooked. This paper is the first one that discovers that all the CNN-based state-of-the-art biomedical image segmentation models are sensitive to adversarial perturbations. This limits the deployment of these methods in safety-critical biomedical fields. In this paper, we discover that global spatial dependencies and global contextual information in a biomedical image can be exploited to defend against adversarial attacks. To this end, non-local context encoder (NLCE) is proposed to model short- and long range spatial dependencies and encode global contexts for strengthening feature activations by channel-wise attention. The NLCE modules enhance the robustness and accuracy of the non-local context encoding network (NLCEN), which learns robust enhanced pyramid feature representations with NLCE modules, and then integrates the information across different levels. Experiments on both lung and skin lesion segmentation datasets have demonstrated that NLCEN outperforms any other state-of-the-art biomedical image segmentation methods against adversarial attacks. In addition, NLCE modules can be applied to improve the robustness of other CNN-based biomedical image segmentation methods.


title: The Yoneda Ext and arbitrary coproducts in abelian categories

abstract: There are well known identities that involve the Ext bifunctor, coproducts, and products in Ab4 and Ab4* abelian categories with enough projectives and enough injectives. Namely, for every such category $\mathcal{A}$, the isomorphisms $\operatorname{Ext}^n (\bigoplus_{i\in I}A_{i},X) \cong \prod_{i\in I} \operatorname{Ext}^n(A_{i},X)$ and $\operatorname{Ext}^n (X,\prod_{i\in I}A_{i}) \cong \prod_{i\in I}\operatorname{Ext}^n (X,A_{i})$ always exist. The goal of this paper is to show similar isomorphisms for the Yoneda Ext in Ab4 and Ab4* abelian categories with not necessarily enough projectives nor injectives. The desired isomorphisms are constructed explicitely by using limits and colimits.


title: On the topology of bi-cyclopermutohedra

abstract: Motivated by the work of Panina and her coauthors on cyclopermutohedron we study a poset whose elements correspond to equivalence classes of partitions of the set $\{1,\cdots, n+1\}$ up to cyclic permutations and orientation reversion. This poset is the face poset of a regular CW complex which we call bi-cyclopermutohedron and denote it by $\mathrm{QP}_{n+1}$. The complex $\mathrm{QP}_{n+1}$ contains subcomplexes homeomorphic to moduli space of certain planar polygons with $n+1$ sides up to isometries. In this article we find an optimal discrete Morse function on $\mathrm{QP}_{n+1}$ and use it to compute its homology with $\mathbb{Z}$ as well as $\mathbb{Z}_2$ coefficients.


title: Traveling Electromagnetic Waves in Annular Josephson Tunnel Junctions

abstract: It is well known that long Josephson tunnel junctions (JTJs) act as active transmission lines for the slow-mode propagation of magnetic flux-quanta (in the form of solitary waves) that is at the base of many superconducting circuits. At the same time, they support the propagation of quasi-TEM dispersive waves with which the magnetic flux non-linearly interact. In this work, we study the properties of the electromagnetic resonances, under different conditions of practical interest, in annular JTJs (AJTJs), in which the wavelengths are limited to the length of the circumference divided by an integer. Our analysis is based on perturbed sine-Gordon equations the (1+1)-dimensional space with periodic boundary conditions. We discuss the discrete modes of the travelling EM waves in circular annular JTJs in the presence of an in-plane magnetic field, as well as in the recently introduced confocal annular JTJs (in the absence of magnetic field). In both cases, a variable-separation method leads to quantitatively different Mathieu equations characterized by even and odd spatially periodic solutions with different eigen-frequencies. It implicates that a single mode circulating wave is given by the superposition of two standing waves with the same wavelengths but different frequencies, and so has a periodically inverting direction of propagation. The control parameters of this frequency splitting are the in-plane magnetic field amplitude for the circular AJTJ and the aspect ratio for the confocal AJTJs. In the appropriate limits, the previously known solutions are recovered.


title: Meteor Shower Modeling: Past and Future Draconid Outbursts

abstract: This work presents numerical simulations of meteoroid streams released by comet 21P/Giacobini-Zinner over the period 1850-2030. The initial methodology, based on Vaubaillon et al. (2005), has been updated and modified to account for the evolution of the comet's dust production along its orbit. The peak time, intensity, and duration of the shower were assessed using simulated activity profiles that are calibrated to match observations of historic Draconid outbursts. The characteristics of all the main apparitions of the shower are reproduced, with a peak time accuracy of half an hour and an intensity estimate correct to within a factor of 2 (visual showers) or 3 (radio outbursts). Our model also revealed the existence of a previously unreported strong radio outburst on October 9 1999, that has since been confirmed by archival radar measurements. The first results of the model, presented in Egal et al. (2018), provided one of the best predictions of the recent 2018 outburst. Three future radio outbursts are predicted in the next decade, in 2019, 2025 and 2029. The strongest activity is expected in 2025 when the Earth encounters the young 2012 trail. Because of the dynamical uncertainties associated with comet 21P's orbital evolution between the 1959 and 1965 apparitions, observations of the 2019 radio outburst would be particularly helpful to improve the confidence of subsequent forecasts.


title: Three years of Sun-as-a-star radial-velocity observations on the approach to solar minimum

abstract: The time-variable velocity fields of solar-type stars limit the precision of radial-velocity determinations of their planets' masses, obstructing detection of Earth twins. Since 2015 July we have been monitoring disc-integrated sunlight in daytime using a purpose-built solar telescope and fibre feed to the HARPS-N stellar radial-velocity spectrometer. We present and analyse the solar radial-velocity measurements and cross-correlation function (CCF) parameters obtained in the first 3 years of observation, interpreting them in the context of spatially-resolved solar observations. We describe a Bayesian mixture-model approach to automated data-quality monitoring. We provide dynamical and daily differential-extinction corrections to place the radial velocities in the heliocentric reference frame, and the CCF shape parameters in the sidereal frame. We achieve a photon-noise limited radial-velocity precision better than 0.43 m s$^{-1}$ per 5-minute observation. The day-to-day precision is limited by zero-point calibration uncertainty with an RMS scatter of about 0.4 m s$^{-1}$. We find significant signals from granulation and solar activity. Within a day, granulation noise dominates, with an amplitude of about 0.4 m s$^{-1}$ and an autocorrelation half-life of 15 minutes. On longer timescales, activity dominates. Sunspot groups broaden the CCF as they cross the solar disc. Facular regions temporarily reduce the intrinsic asymmetry of the CCF. The radial-velocity increase that accompanies an active-region passage has a typical amplitude of 5 m s$^{-1}$ and is correlated with the line asymmetry, but leads it by 3 days. Spectral line-shape variability thus shows promise as a proxy for recovering the true radial velocity.


title: Investigation of quantum pigeonhole effect in IBM quantum computer

abstract: Quantum pigeonhole principle states that if there are three pigeons and two boxes then there are instances where no two pigeons are in the same box which seems to defy classical pigeonhole counting principle. Here, we investigate the quantum pigeonhole effect on the ibmqx2 superconducting chip with five physical qubits. We also observe the same effect in a proposed non-local circuit which avoid any direct physical interactions between the qubits which may lead to some unknown local effects. We use the standard quantum gate operations and measurement to construct the required quantum circuits on IBM quantum experience platform. We perform the experiment and simulation which illustrates the fact that no two qubits (pigeons) are in the same quantum state (boxes). The experimental results obtained using IBM quantum computer are in good agreement with theoretical predictions.


title: Quantum capacitance mediated carbon nanotube optomechanics

abstract: Cavity optomechanics allows the characterization of a vibration mode, its cooling and quantum manipulation using electromagnetic fields. Regarding nanomechanical as well as electronic properties, single wall carbon nanotubes are a prototypical experimental system. At cryogenic temperatures, as high quality factor vibrational resonators, they display strong interaction between motion and single-electron tunneling. Here, we demonstrate large optomechanical coupling of a suspended carbon nanotube quantum dot and a microwave cavity, amplified by several orders of magnitude via the nonlinearity of Coulomb blockade. From an optomechanically induced transparency (OMIT) experiment, we obtain a single photon coupling of up to $g_0=2\pi\cdot 95\,\textrm{Hz}$. This indicates that normal mode splitting and full optomechanical control of the carbon nanotube vibration in the quantum limit is reachable in the near future. Mechanical manipulation and characterization via the microwave field can be complemented by the manifold physics of quantum-confined single electron devices.


title: Learning metrics for persistence-based summaries and applications for graph classification

abstract: Recently a new feature representation and data analysis methodology based on a topological tool called persistent homology (and its corresponding persistence diagram summary) has started to attract momentum. A series of methods have been developed to map a persistence diagram to a vector representation so as to facilitate the downstream use of machine learning tools, and in these approaches, the importance (weight) of different persistence features are often preset. However often in practice, the choice of the weight function should depend on the nature of the specific type of data one considers, and it is thus highly desirable to learn a best weight function (and thus metric for persistence diagrams) from labelled data. We study this problem and develop a new weighted kernel, called WKPI, for persistence summaries, as well as an optimization framework to learn a good metric for persistence summaries. Both our kernel and optimization problem have nice properties. We further apply the learned kernel to the challenging task of graph classification, and show that our WKPI-based classification framework obtains similar or (sometimes significantly) better results than the best results from a range of previous graph classification frameworks on a collection of benchmark datasets.


title: Geological modeling using a recursive convolutional neural networks approach

abstract: Resource models are constrained by the extent of geological units that often depend on the lithology, alteration and mineralization. A three dimensional model of these geological units must be built from scarce information coming from drillholes and limited understanding about the geological setting in which the ore deposit is places. In this work, we present a new technique for multiple-point geostatistical simulation based on a recursive convolutional neural network approach (RCNN). The method requires conditioning data and a training image that depicts the type of geological structures expected to be found in the deposit. This training image is used to learn the patterns of categories found and these are imposed in the final simulated model conditioned by the categories found during logging at the actual drill-hole samples. A lithological modeling process is carried out in a copper deposit in Chile to demonstrate the method. Comparison with current techniques and spatial metrics are used to clarify concepts and RCNN properties. Also, strengths and weaknesses of the methodology are discussed by briefly reviewing the theoretical perspective and looking into some of its practical aspects.


title: Linearized two-layers neural networks in high dimension

abstract: We consider the problem of learning an unknown function $f_{\star}$ on the $d$-dimensional sphere with respect to the square loss, given i.i.d. samples $\{(y_i,{\boldsymbol x}_i)\}_{i\le n}$ where ${\boldsymbol x}_i$ is a feature vector uniformly distributed on the sphere and $y_i=f_{\star}({\boldsymbol x}_i)+\varepsilon_i$. We study two popular classes of models that can be regarded as linearizations of two-layers neural networks around a random initialization: the random features model of Rahimi-Recht (RF); the neural tangent kernel model of Jacot-Gabriel-Hongler (NT). Both these approaches can also be regarded as randomized approximations of kernel ridge regression (with respect to different kernels), and enjoy universal approximation properties when the number of neurons $N$ diverges, for a fixed dimension $d$. We consider two specific regimes: the approximation-limited regime, in which $n=\infty$ while $d$ and $N$ are large but finite; and the sample size-limited regime in which $N=\infty$ while $d$ and $n$ are large but finite. In the first regime we prove that if $d^{\ell + \delta} \le N\le d^{\ell+1-\delta}$ for small $\delta > 0$, then \RF\, effectively fits a degree-$\ell$ polynomial in the raw features, and \NT\, fits a degree-$(\ell+1)$ polynomial. In the second regime, both RF and NT reduce to kernel methods with rotationally invariant kernels. We prove that, if the number of samples is $d^{\ell + \delta} \le n \le d^{\ell +1-\delta}$, then kernel methods can fit at most a a degree-$\ell$ polynomial in the raw features. This lower bound is achieved by kernel ridge regression. Optimal prediction error is achieved for vanishing ridge regularization.


title: Identifying MgII Narrow Absorption Lines with Deep Learning

abstract: Metal absorption line systems in distant quasar spectra probe of the history of gas content in the universe. The MgII $\lambda \lambda$ 2796, 2803 doublet is one of the most important absorption lines since it is a proxy of the star formation rate and a tracer of the cold gas associated with high redshift galaxies. Machine learning algorithms have been used to detect absorption lines systems in large sky surveys, such as Principle Component Analysis (PCA), Gaussian Process (GP) and decision trees. A very powerful algorithm in the field of machine learning called deep neural networks, or '' deep learning'' is a new structure of neural network that automatically extracts semantic features from raw data and represents them at a high level. In this paper, we apply a deep convolutional neural network for absorption line detection. We use the previously published DR7 MgII catalog (Zhu et al. 2013) as the training and validation sample and the DR12 MgII catalog as the test set. Our deep learning algorithm is capable of detecting MgII absorption lines with an accuracy of $\sim$94% . It takes only $\sim 9$ seconds to analyze $\sim$ 50000 quasar spectra with our deep neural network, which is ten thousand times faster than traditional methods, while preserving high accuracy with little human interference. Our study shows that Mg II absorption line detection accuracy of a deep neutral network model strongly depends on the filter size in the filter layer of the neural network, and the best results are obtained when the filter size closely matches the absorption feature size.


title: Critical Behavior and Anisotropy in Single Crystal SrRuO$_3$

abstract: The magnetization of single crystal SrRuO3 is studied as a function of temperature along different crystallographic directions. The magnetocrystalline anisotropy and behavior near the critical transition temperature are analyzed in detail. The magnetization vs temperature is found to vary more like $T^2$ rather than $T^{3/2}$ expected for spin waves.


title: Towards Automation of Creativity: A Machine Intelligence Approach

abstract: This paper demonstrates emergence of computational creativity in the field of music. Different aspects of creativity such as producer, process, product and press are studied and formulated. Different notions of computational creativity such as novelty, quality and typicality of compositions as products are studied and evaluated. We formulate an algorithmic perception on human creativity and propose a prototype that is capable of demonstrating human-level creativity. We then validate the proposed prototype by applying various creativity benchmarks with the results obtained and compare the proposed prototype with the other existing computational creative systems.


title: Kernels for Grassmann Flops

abstract: We develop a generalization of the $Q$-construction of the first author, Diemer, and the third author for Grassmann flips. This generalization provides a canonical idempotent kernel on the derived category of the associated global quotient stack. The idempotent kernel, after restriction, induces a semi-orthogonal decomposition which compares the flipped varieties. Furthermore its image, after restriction to the geometric invariant theory semistable locus, "opens" a canonical "window" in the derived category of the quotient stack. We check this window coincides with the set of representations used by Kapranov to form a full exceptional collection on Grassmannians.


title: The Cherenkov Telescope Array: Science Goals and Current Status

abstract: The Cherenkov Telescope Array (CTA) is the major ground-based gamma-ray observatory planned for the next decade and beyond. Consisting of two large atmospheric Cherenkov telescope arrays (one in the southern hemisphere and one in the northern hemisphere), CTA will have superior angular resolution, a much wider energy range, and approximately an order of magnitude improvement in sensitivity, as compared to existing instruments. The CTA science programme will be rich and diverse, covering cosmic particle acceleration, the astrophysics of extreme environments, and physics frontiers beyond the Standard Model. This paper outlines the science goals for CTA and covers the current status of the project.


title: Asymptotic Analysis of RZF over Double Scattering Channels with MMSE Estimation

abstract: This paper studies the ergodic rate performance of regularized zero-forcing (RZF) precoding in the downlink of a multi-user multiple-input single-output (MISO) system, where the channel between the base station (BS) and each user is modeled by the double scattering model. This non-Gaussian channel model is a function of both the antenna correlation and the structure of scattering in the propagation environment. This paper makes the preliminary contribution of deriving the minimum-mean-square-error (MMSE) channel estimate for this model. Then under the assumption that the users are divided into groups of common correlation matrices, this paper derives deterministic approximations of the signal-to-interference-plus-noise ratio (SINR) and the ergodic rate, which are almost surely tight in the limit that the number of BS antennas, the number of users and the number of scatterers in each group grow infinitely large. The derived results are expressed in a closed-form for the special case of multi-keyhole channels. Simulation results confirm the close match provided by the asymptotic analysis for moderate system dimensions. We show that the maximum number of users that can be supported simultaneously, while realizing large-scale MIMO gains, is equal to the number of scatterers.


title: First observation of an attractive interaction between a proton and a multi-strange baryon

abstract: This work presents the first experimental observation of the attractive strong interaction between a proton and a multi-strange baryon (hyperon) $\Xi^-$. The result is extracted from two-particle correlations of combined $\rm{p}-\Xi^{-}$$\oplus$$\rm{\bar{p}}-\bar{\Xi}^{+}$ pairs measured in p-Pb collisions at $\sqrt{s_{\rm{NN}}}=5.02$ TeV at the LHC with ALICE. The measured correlation function is compared with the prediction obtained assuming only an attractive Coulomb interaction and a standard deviation in the range $[3.6,5.3]$ is found. Since the measured $\rm{p}-\Xi^{-}$$\oplus$$\rm{\bar{p}}-\bar{\Xi}^{+}$ correlation is significantly enhanced with respect to the Coulomb prediction, the presence of an additional, strong, attractive interaction is evident. The data are compatible with recent lattice calculations by the HAL-QCD Collaboration, with a standard deviation in the range $ [1.8,3.7]$. The lattice potential predicts a shallow repulsive $\Xi^-$ interaction within pure neutron matter at saturation densities and this implies stiffer equations of state for neutron-rich matter including hyperons. Implications of the strong interaction for the modeling of neutron stars are discussed.


title: MISO Wireless Communication Systems via Intelligent Reflecting Surfaces

abstract: Intelligent reflecting surfaces (IRSs) have received considerable attention from the wireless communications research community recently. In particular, as low-cost passive devices, IRSs enable the control of the wireless propagation environment, which is not possible in conventional wireless networks. To take full advantage of such IRS-assisted communication systems, both the beamformer at the access point (AP) and the phase shifts at the IRS need to be optimally designed. However, thus far, the optimal design is not well understood. In this paper, a point-to-point IRS-assisted multiple-input single-output (MISO) communication system is investigated. The beamformer at the AP and the IRS phase shifts are jointly optimized to maximize the spectral efficiency. Two efficient algorithms exploiting fixed point iteration and manifold optimization techniques, respectively, are developed for solving the resulting non-convex optimization problem. The proposed algorithms not only achieve a higher spectral efficiency but also lead to a lower computational complexity than the state-of-the-art approach. Simulation results reveal that deploying large-scale IRSs in wireless systems is more efficient than increasing the antenna array size at the AP for enhancing both the spectral and the energy efficiency.


title: Missing MRI Pulse Sequence Synthesis using Multi-Modal Generative Adversarial Network

abstract: Magnetic resonance imaging (MRI) is being increasingly utilized to assess, diagnose, and plan treatment for a variety of diseases. The ability to visualize tissue in varied contrasts in the form of MR pulse sequences in a single scan provides valuable insights to physicians, as well as enabling automated systems performing downstream analysis. However many issues like prohibitive scan time, image corruption, different acquisition protocols, or allergies to certain contrast materials may hinder the process of acquiring multiple sequences for a patient. This poses challenges to both physicians and automated systems since complementary information provided by the missing sequences is lost. In this paper, we propose a variant of generative adversarial network (GAN) capable of leveraging redundant information contained within multiple available sequences in order to generate one or more missing sequences for a patient scan. The proposed network is designed as a multi-input, multi-output network which combines information from all the available pulse sequences, implicitly infers which sequences are missing, and synthesizes the missing ones in a single forward pass. We demonstrate and validate our method on two brain MRI datasets each with four sequences, and show the applicability of the proposed method in simultaneously synthesizing all missing sequences in any possible scenario where either one, two, or three of the four sequences may be missing. We compare our approach with competing unimodal and multi-modal methods, and show that we outperform both quantitatively and qualitatively.


title: Human-Centered Emotion Recognition in Animated GIFs

abstract: As an intuitive way of expression emotion, the animated Graphical Interchange Format (GIF) images have been widely used on social media. Most previous studies on automated GIF emotion recognition fail to effectively utilize GIF's unique properties, and this potentially limits the recognition performance. In this study, we demonstrate the importance of human related information in GIFs and conduct human-centered GIF emotion recognition with a proposed Keypoint Attended Visual Attention Network (KAVAN). The framework consists of a facial attention module and a hierarchical segment temporal module. The facial attention module exploits the strong relationship between GIF contents and human characters, and extracts frame-level visual feature with a focus on human faces. The Hierarchical Segment LSTM (HS-LSTM) module is then proposed to better learn global GIF representations. Our proposed framework outperforms the state-of-the-art on the MIT GIFGIF dataset. Furthermore, the facial attention module provides reliable facial region mask predictions, which improves the model's interpretability.


title: Combinatorics and structure of Hecke-Kiselman algebras

abstract: Hecke-Kiselman monoids $\textrm{HK}_{\Theta}$ and their algebras $K[\textrm{HK}_{\Theta}]$, over a field $K$, associated to finite oriented graphs $\Theta$ are studied. In the case $\Theta $ is a cycle of length $n\geqslant 3$, a hierarchy of certain unexpected structures of matrix type is discovered within the monoid $C_n=\textrm{HK}_{\Theta}$ and it is used to describe the structure and the properties of the algebra $K[C_n]$. In particular, it is shown that $K[C_n]$ is a right and left Noetherian algebra, while it has been known that it is a PI-algebra of Gelfand-Kirillov dimension one. This is used to characterize all Noetherian algebras $K[\textrm{HK}_{\Theta}]$ in terms of the graphs $\Theta$. The strategy of our approach is based on the crucial role played by submonoids of the form $C_n$ in combinatorics and structure of arbitrary Hecke-Kiselman monoids $\textrm{HK}_{\Theta}$.


title: On equicontinuous factors of flows on locally path-connected compact spaces

abstract: We consider a locally path-connected compact metric space $K$ with finite first Betti number $b_1(K)$ and a flow $(K, G)$ on $K$ such that $G$ is abelian and all $G$-invariant functions $f\in\mathrm{C}(K)$ are constant. We prove that every equicontinuous factor of the flow $(K, G)$ is isomorphic to a flow on a compact abelian Lie group of dimension less than $b_1(K)$. For this purpose, we use and provide a new proof for [HJop, Theorem 2.12] which states that for a flow on a locally connected compact space the quotient map onto the maximal equicontinuous factor is monotone, i.e., has connected fibers. Our alternative proof is a simple consequence of a new characterization of the monotonicity of a quotient map $p\colon K\to L$ between locally connected compact spaces $K$ and $L$ that we obtain by characterizing the local connectedness of $K$ in terms of the Banach lattice $\mathrm{C}(K)$.


title: Multilevel adaptive sparse Leja approximations for Bayesian inverse problems

abstract: Deterministic interpolation and quadrature methods are often unsuitable to address Bayesian inverse problems depending on computationally expensive forward mathematical models. While interpolation may give precise posterior approximations, deterministic quadrature is usually unable to efficiently investigate an informative and thus concentrated likelihood. This leads to a large number of required expensive evaluations of the mathematical model. To overcome these challenges, we formulate and test a multilevel adaptive sparse Leja algorithm. At each level, adaptive sparse grid interpolation and quadrature are used to approximate the posterior and perform all quadrature operations, respectively. Specifically, our algorithm uses coarse discretizations of the underlying mathematical model to investigate the parameter space and to identify areas of high posterior probability. Adaptive sparse grid algorithms are then used to place points in these areas, and ignore other areas of small posterior probability. The points are weighted Leja points. As the model discretization is coarse, the construction of the sparse grid is computationally efficient. On this sparse grid, the posterior measure can be approximated accurately with few expensive, fine model discretizations. The efficiency of the algorithm can be enhanced further by exploiting more than two discretization levels. We apply the proposed multilevel adaptive sparse Leja algorithm in numerical experiments involving elliptic inverse problems in 2D and 3D space, in which we compare it with Markov chain Monte Carlo sampling and a standard multilevel approximation.


title: Stationary Bipartite Entanglement in Hybrid Optomechanical cavities

abstract: We investigate the stationary bipartite entanglement is a useful hybrid optomechanical system, which is constituted of two coupled-cavity optomechanics through a photon hopping process and both are driven by squeezed light. The transfer of correlations from an entangled light source to optomechanical cavities is explored. It is found that the generation of bipartite entanglement and entanglement transfer depend strongly on photon hopping strength and the matching of the input squeezed modes to the cavity modes. It is revealed that the generated stationary bipartite entanglement due to squeezed light that drives the cavities is robust against the thermal fluctuations. The fidelity of a coherent state of the optical modes is explored and it is shown that it offered interesting conditions on the stability of the system, which is the same for entanglement generation.


title: Temporal-Clustering Invariance in Irregular Healthcare Time Series

abstract: Electronic records contain sequences of events, some of which take place all at once in a single visit, and others that are dispersed over multiple visits, each with a different timestamp. We postulate that fine temporal detail, e.g., whether a series of blood tests are completed at once or in rapid succession should not alter predictions based on this data. Motivated by this intuition, we propose models for analyzing sequences of multivariate clinical time series data that are invariant to this temporal clustering. We propose an efficient data augmentation technique that exploits the postulated temporal-clustering invariance to regularize deep neural networks optimized for several clinical prediction tasks. We introduce two techniques to temporally coarsen (downsample) irregular time series: (i) grouping the data points based on regularly-spaced timestamps; and (ii) clustering them, yielding irregularly-paced timestamps. Moreover, we propose a MultiResolution Ensemble (MRE) model, improving predictive accuracy by ensembling predictions based on inputs sequences transformed by different coarsening operators. Our experiments show that MRE improves the mAP on the benchmark mortality prediction task from 51.53% to 53.92%.


title: Certified Quantum Measurement of Majorana Fermions

abstract: We present a quantum self-testing protocol to certify measurements of fermion parity involving Majorana fermion modes. We show that observing a set of ideal measurement statistics implies anti-commutativity of the implemented Majorana fermion parity operators, a necessary prerequisite for Majorana detection. Our protocol is robust to experimental errors. We obtain lower bounds on the fidelities of the state and measurement operators that are linear in the errors. We propose to analyze experimental outcomes in terms of a contextuality witness $W$, which satisfies $\langle W \rangle \le 3$ for any classical probabilistic model of the data. A violation of the inequality witnesses quantum contextuality, and the closeness to the maximum ideal value $\langle W \rangle=5$ indicates the degree of confidence in the detection of Majorana fermions.

categories: quant-ph cond-mat.mes-hall cond-mat.other math-ph math.MP


title: Open projections and Murray-von Neumann equivalence

abstract: We characterize the $C^\star$-algebras for which openness of projections in their second duals is preserved under Murray-von Neumann equivalence. They are precisely the extensions of the annihilator $C^\star$-algebras by the commutative $C^\star$-algebras. We also show that the annihilator $C^\star$-algebras are precisely the $C^\star$-algebras for which all projections in their second duals are open.


title: Sandpile monomorphisms and limits

abstract: We introduce a tiling problem between bounded open convex polyforms $\hat{P}\subset\mathbb{R}^2$ with directed and uniquely colored edges. If there exists a tiling of the polyform $\hat{P}_2$ by $\hat{P}_1$, we show that one can construct a monomorphism from the sandpile group $G_{\Gamma_1}=\mathbb{Z}^{\Gamma_1}/\Delta(\mathbb{Z}^{\Gamma_1})$ on the domain (graph) $\Gamma_1=\hat{P}_1\cap\mathbb{Z}^2$ to the respective group on $\Gamma_2=\hat{P}_2\cap\mathbb{Z}^2$. We provide several examples of infinite series of such tilings with polyforms converging to $\mathbb{R}^2$, and thus the first definition of scaling-limits for the sandpile group on the plane. Additional results include an exact sequence relating sandpile configurations to harmonic functions, an alternative formula for the order of the sandpile group based on a basis for the module of integer-valued harmonic functions, and three examples of how to prove the existence of (cyclic) subgroups for infinite families of sandpile groups by constructing appropriate integer-valued harmonic functions. The main open question concerns if the scaling-limits of the sandpile group for different sequences of polyforms converging to $\mathbb{R}^2$ are isomorphic.


title: A Practical Analysis of Rust's Concurrency Story

abstract: Correct concurrent programs are difficult to write; when multiple threads mutate shared data, they may lose writes, corrupt data, or produce erratic program behavior. While many of the data-race issues with concurrency can be avoided by the placing of locks throughout the code, these often serialize program execution, and can significantly slow down performance-critical applications. Programmers also make mistakes, and often forget locks in less-executed code paths, which leads to programs that misbehave only in rare situations. Rust is a recent programming language from Mozilla that attempts to solve these intertwined issues by detecting data-races at compile time. Rust's type system encodes a data-structure's ability to be shared between threads in the type system, which in turn allows the compiler to reject programs where threads directly mutate shared state without locks or other protection mechanisms. In this work, we examine how this aspect of Rust's type system impacts the development and refinement of a concurrent data structure, as well as its ability to adapt to situations where correctness is guaranteed by lower-level invariants (e.g., in lock-free algorithms) that are not directly expressible in the type system itself. We detail the implementation of a concurrent lock-free hashmap in order to describe these traits of the Rust language. Our code is publicly available at https://github.com/saligrama/concache and is one of the fastest concurrent hashmaps for the Rust language, which leads to mitigating bottlenecks in concurrent programs.


title: Soft Marginal TransE for Scholarly Knowledge Graph Completion

abstract: Knowledge graphs (KGs), i.e. representation of information as a semantic graph, provide a significant test bed for many tasks including question answering, recommendation, and link prediction. Various amount of scholarly metadata have been made vailable as knowledge graphs from the diversity of data providers and agents. However, these high-quantities of data remain far from quality criteria in terms of completeness while growing at a rapid pace. Most of the attempts in completing such KGs are following traditional data digitization, harvesting and collaborative curation approaches. Whereas, advanced AI-related approaches such as embedding models - specifically designed for such tasks - are usually evaluated for standard benchmarks such as Freebase and Wordnet. The tailored nature of such datasets prevents those approaches to shed the lights on more accurate discoveries. Application of such models on domain-specific KGs takes advantage of enriched meta-data and provides accurate results where the underlying domain can enormously benefit. In this work, the TransE embedding model is reconciled for a specific link prediction task on scholarly metadata. The results show a significant shift in the accuracy and performance evaluation of the model on a dataset with scholarly metadata. The newly proposed version of TransE obtains 99.9% for link prediction task while original TransE gets 95%. In terms of accuracy and Hit@10, TransE outperforms other embedding models such as ComplEx, TransH and TransR experimented over scholarly knowledge graphs


title: First-principles study of the impact of grain boundary formation in the cathode material LiFePO4

abstract: Motivated by the need to understand the role of internal interfaces in Li migration occurring in Li-ion batteries, a first principles study of a coincident site lattice grain boundary in LiFePO4 cathode material and in its delithiated counterpart FPO4 is performed. The structure of the investigated grain boundary is obtained and the corresponding interface energy is calculated. Other properties, such as ionic charges and magnetic moments, excess free volume and the lifetime of positrons trapped at the interfaces, are determined and discussed. The results show that while the grain boundary in LiFePO4 has desired structural and bonding characteristics, the analogous boundary in FePO4 needs to be yet optimized to allow for an efficient Li diffusion study.


title: Towards Recognizing Phrase Translation Processes: Experiments on English-French

abstract: When translating phrases (words or group of words), human translators, consciously or not, resort to different translation processes apart from the literal translation, such as Idiom Equivalence, Generalization, Particularization, Semantic Modulation, etc. Translators and linguists (such as Vinay and Darbelnet, Newmark, etc.) have proposed several typologies to characterize the different translation processes. However, to the best of our knowledge, there has not been effort to automatically classify these fine-grained translation processes. Recently, an English-French parallel corpus of TED Talks has been manually annotated with translation process categories, along with established annotation guidelines. Based on these annotated examples, we propose an automatic classification of translation processes at subsentential level. Experimental results show that we can distinguish non-literal translation from literal translation with an accuracy of 87.09%, and 55.20% for classifying among five non-literal translation processes. This work demonstrates that it is possible to automatically classify translation processes. Even with a small amount of annotated examples, our experiments show the directions that we can follow in future work. One of our long term objectives is leveraging this automatic classification to better control paraphrase extraction from bilingual parallel corpora.


title: Model comparison using supernovae and Hubble parameter data

abstract: We compare several well-known cosmological dark energy models using observational data coming both from type Ia supernovae and from Hubble parameter measurements. First we use supernovae data to determine the free parameters of each model except for the Hubble constant $H_0$. Then, we use the Hubble parameter measurements to determine $H_0$, and finally the age of the Universe for each model is computed. Our main numerical results are summarized in tables, and they are briefly discussed. The prediction for the decelerating parameter as a function of red-shift for each model is shown in the same figure for comparison. Our numerical results seem to indicate a correlation between the deceleration parameter and the value of the Hubble constant.


title: Analysis of reaction and timing attacks against cryptosystems based on sparse parity-check codes

abstract: In this paper we study reaction and timing attacks against cryptosystems based on sparse parity-check codes, which encompass low-density parity-check (LDPC) codes and moderate-density parity-check (MDPC) codes. We show that the feasibility of these attacks is not strictly associated to the quasi-cyclic (QC) structure of the code but is related to the intrinsically probabilistic decoding of any sparse parity-check code. So, these attacks not only work against QC codes, but can be generalized to broader classes of codes. We provide a novel algorithm that, in the case of a QC code, allows recovering a larger amount of information than that retrievable through existing attacks and we use this algorithm to characterize new side-channel information leakages. We devise a theoretical model for the decoder that describes and justifies our results. Numerical simulations are provided that confirm the effectiveness of our approach.


title: A motivation for some local cohomologies

abstract: We explain how some results of M. Nori (on motives) and F. Ivorra (on perverse motives) can be used to define "motivic" versions of Lyubeznik numbers, a set of numerical invariants for local rings. We also discuss on additional structures that might be put on some local cohomology modules (besides those of D- or F-module). This note is mainly expository, it is an expanded version of my talk at the FACARD workshop in Barcelona, on January 2019.


title: A computational model for analytic column stores

abstract: This work presents an abstract model for the computations performed by analytic column stores or columnar query processors. The model is based on circuits whose wires carry columns rather than scalar values, and whose nodes apply operators with column inputs and outputs. This model allows expression of most of the architectural features of existing column-store DBMSes through columnar execution plans, rather than such features being implemented sui-generis, and without the column store maintaining significant out-of-plan data. A strict adherence to columnarity allows for a relatively simple and robust model; enabling extensive and intensive optimization of almost all aspects of query processing; and also enabling massive uniform parallelization of query process on modern hardware. Moreover, the computational model's expressivity makes it useful also as an \emph{analytical} tool for considering design aspects and features of existing column stores, individually and comparatively. To achieve the model's wide expressiveness, much of this work develops representation schemes of relevant data structures as combinations of plain columns, with columnar circuits used as scheme encoders and decoders. A particular focus is given to schemes which also compress the data, and their use in query execution --- as an integral part of the computation: Subcircuits of larger columnar circuits, not black boxes. Decoder and encoder circuits are thus also composed to form more elaborate schemes. Such formulation allows both for an alternative view of well-known compression schemes, and for the development of new columnar compression schemes with useful features; these should be of independent interest irrespective of column store systems.


title: Graph Kernels: A Survey

abstract: Graph kernels have attracted a lot of attention during the last decade, and have evolved into a rapidly developing branch of learning on structured data. During the past 20 years, the considerable research activity that occurred in the field resulted in the development of dozens of graph kernels, each focusing on specific structural properties of graphs. Graph kernels have proven successful in a wide range of domains, ranging from social networks to bioinformatics. The goal of this survey is to provide a unifying view of the literature on graph kernels. In particular, we present a comprehensive overview of a wide range of graph kernels. Furthermore, we perform an experimental evaluation of several of those kernels on publicly available datasets, and provide a comparative study. Finally, we discuss key applications of graph kernels, and outline some challenges that remain to be addressed.


title: A process algebraic form to represent extensive games

abstract: In this paper, we introduce an agent-based representation of games, in order to propose a compact representation for multi-party games in game theory. Our method is inspired by concepts in process theory and process algebra. In addition, we introduce an algorithm whose input is a game in the form of process algebra (proposed in this paper) and as an output, finds the Nash equilibrium of the game in linear space complexity.


title: Analysis of Confident-Classifiers for Out-of-distribution Detection

abstract: Discriminatively trained neural classifiers can be trusted, only when the input data comes from the training distribution (in-distribution). Therefore, detecting out-of-distribution (OOD) samples is very important to avoid classification errors. In the context of OOD detection for image classification, one of the recent approaches proposes training a classifier called "confident-classifier" by minimizing the standard cross-entropy loss on in-distribution samples and minimizing the KL divergence between the predictive distribution of OOD samples in the low-density regions of in-distribution and the uniform distribution (maximizing the entropy of the outputs). Thus, the samples could be detected as OOD if they have low confidence or high entropy. In this paper, we analyze this setting both theoretically and experimentally. We conclude that the resulting confident-classifier still yields arbitrarily high confidence for OOD samples far away from the in-distribution. We instead suggest training a classifier by adding an explicit "reject" class for OOD samples.


title: An elementary proof of a matrix tree theorem for directed graphs

abstract: We present an elementary proof of a generalization of Kirchoff's matrix tree theorem to directed, weighted graphs. The proof is based on a specific factorization of the Laplacian matrices associated to the graphs, which only involves the two incidence matrices that capture the graph's topology. We also point out how this result can be used to calculate principal eigenvectors of the Laplacian matrices.


title: Collage Inference: Using Coded Redundancy for Low Variance Distributed Image Classification

abstract: MLaaS (ML-as-a-Service) offerings by cloud computing platforms are becoming increasingly popular. Hosting pre-trained machine learning models in the cloud enables elastic scalability as the demand grows. But providing low latency and reducing the latency variance is a key requirement. Variance is harder to control in a cloud deployment due to uncertainties in resource allocations across many virtual instances. We propose the collage inference technique which uses a novel convolutional neural network model, collage-cnn, to provide low-cost redundancy. A collage-cnn model takes a collage image formed by combining multiple images and performs multi-image classification in one shot, albeit at slightly lower accuracy. We augment a collection of traditional single image classifier models with a single collage-cnn classifier which acts as their low-cost redundant backup. Collage-cnn provides backup classification results if any single image classification requests experience slowdown. Deploying the collage-cnn models in the cloud, we demonstrate that the 99th percentile tail latency of inference can be reduced by 1.2x to 2x compared to replication based approaches while providing high accuracy. Variation in inference latency can be reduced by 1.8x to 15x.


title: On sets in ${\mathbb R}^d$ with DC distance function

abstract: We study closed sets $F \subset {\mathbb R}^d$ whose distance function $d_F:= {\rm dist}\,(\cdot,F)$ is DC (i.e., is the difference of two convex functions on ${\mathbb R}^d$). Our main result asserts that if $F \subset {\mathbb R}^2$ is a graph of a DC function $g:{\mathbb R}\to {\mathbb R}$, then $F$ has the above property. If $d>1$, the same holds if $g:{\mathbb R}^{d-1}\to {\mathbb R}$ is semiconcave, however the case of a general DC function $g$ remains open.


title: Electron acceleration and small scale coherent structures formation by an Alfv\'en wave propagating in coronal interplume region

abstract: We use 2.5-D electromagnetic particle-in-cell simulation code to investigate the acceleration of electrons in solar coronal holes through the interaction of Alfv\'en waves with an interplume region. The interplume is modeled by a cavity density gradients that are perpendicular to the background magnetic field. The aim is to contribute to explain the observation of suprathermal electrons under relatively quiet sun. Simulations show that Alfv\'en waves in interaction with the interplume region gives rise to a strong local electric field that accelerates electrons in the direction parallel to the background magnetic field. Suprathermal electron beams and small-scale coherent structures are observed within interplume of strong density gradients. These features result from non linear evolution of the electron beam plasma instability.


title: A Deep Generative Model for Graph Layout

abstract: Different layouts can characterize different aspects of the same graph. Finding a "good" layout of a graph is thus an important task for graph visualization. In practice, users often visualize a graph in multiple layouts by using different methods and varying parameter settings until they find a layout that best suits the purpose of the visualization. However, this trial-and-error process is often haphazard and time-consuming. To provide users with an intuitive way to navigate the layout design space, we present a technique to systematically visualize a graph in diverse layouts using deep generative models. We design an encoder-decoder architecture to learn a model from a collection of example layouts, where the encoder represents training examples in a latent space and the decoder produces layouts from the latent space. In particular, we train the model to construct a two-dimensional latent space for users to easily explore and generate various layouts. We demonstrate our approach through quantitative and qualitative evaluations of the generated layouts. The results of our evaluations show that our model is capable of learning and generalizing abstract concepts of graph layouts, not just memorizing the training examples. In summary, this paper presents a fundamentally new approach to graph visualization where a machine learning model learns to visualize a graph from examples without manually-defined heuristics.


title: The Ideal Versus the Real: Revisiting the History of Virtual Machines and Containers

abstract: The common perception in both academic literature and the industry today is that virtual machines offer better security, while containers offer better performance. However, a detailed review of the history of these technologies and the current threats they face reveals a different story. This survey covers key developments in the evolution of virtual machines and containers from the 1950s to today, with an emphasis on countering modern misperceptions with accurate historical details and providing a solid foundation for ongoing research into the future of secure isolation for multitenant infrastructures, such as cloud and container deployments.


title: Quantum stress tensor of massive vector field in the space-time of a pointlike global monopole

abstract: The components of the renormalized quantum stress tensor for a massive vector field in the spacetime of a pointlike global monopole are determined analytically in the Schwinger-DeWitt approximation. The general results are employed to investigate the pointwise energy conditions for the quantized matter field, and it is shown that they are all violated by the massive vector field.


title: Differentiable Visual Computing

abstract: Derivatives of computer graphics, image processing, and deep learning algorithms have tremendous use in guiding parameter space searches, or solving inverse problems. As the algorithms become more sophisticated, we no longer only need to differentiate simple mathematical functions, but have to deal with general programs which encode complex transformations of data. This dissertation introduces three tools for addressing the challenges that arise when obtaining and applying the derivatives for complex graphics algorithms. Traditionally, practitioners have been constrained to composing programs with a limited set of operators, or hand-deriving derivatives. We extend the image processing language Halide with reverse-mode automatic differentiation, and the ability to automatically optimize the gradient computations. This enables automatic generation of the gradients of arbitrary Halide programs, at high performance, with little programmer effort. In 3D rendering, the gradient is required with respect to variables such as camera parameters, geometry, and appearance. However, computing the gradient is challenging because the rendering integral includes visibility terms that are not differentiable. We introduce, to our knowledge, the first general-purpose differentiable ray tracer that solves the full rendering equation, while correctly taking the geometric discontinuities into account. Finally, we demonstrate that the derivatives of light path throughput can also be useful for guiding sampling in forward rendering. Simulating light transport in the presence of multi-bounce glossy effects and motion in 3D rendering is challenging due to the hard-to-sample high-contribution areas. We present a Markov Chain Monte Carlo rendering algorithm that extends Metropolis Light Transport by automatically and explicitly adapting to the local integrand, thereby increasing sampling efficiency.


title: On the Poincar\'e problem for foliations on compact toric orbifolds

abstract: We give an optimal upper bound of the degree of quasi-smooth hypersurfaces which are invariant by a one-dimensional holomorphic foliation on a compact toric orbifold, i.e. on a complete simplicial toric variety. This bound depends only on the degree of the foliation and of the degrees of the toric homogeneous coordinates.


title: UAV Detection: A STDP trained Deep Convolutional Spiking Neural Network Retina-Neuromorphic Approach

abstract: The Dynamic Vision Sensor (DVS) has many attributes that allow it to be well suited to the task for UAV Detection. This paper is the first to look at exploiting the features of an Event Camera solely for Drone Detection while combining it with a Spiking Neural Network (SNN) trained using the unsupervised approach of Spike-Time-Dependent Plasticity (STDP) for feature and pattern recognition for detection. Highlighting the key features and current drawbacks with the technology while comparing real and simulated data to show how future devices could overcome these drawbacks to help tackle this current problem.