title: Generation and acceleration of high brightness electrons beams bunched at X-ray wavelengths using plasma-based acceleration

abstract: We show using particle-in-cell (PIC) simulations and theoretical analysis that a high-quality electron beam whose density is modulated at angstrom scales can be generated directly using density downramp injection in a periodically modulated density in nonlinear plasma wave wakefields. The density modulation turns on and off the injection of electrons at the period of the modulation. Due to the unique longitudinal mapping between the electrons' initial positions and their final trapped positions inside the wake, this results in an electron beam with density modulation at a wavelength orders of magnitude shorter than the plasma density modulation. The ponderomotive force of two counter propagating lasers of the same frequency can generate a density modulation at half the laser wavelength. Assuming a laser wavelength of $0.8\micro\meter$, fully self-consistent OSIRIS PIC simulations show that this scheme can generate high quality beams modulated at wavelengths between 10s and 100 angstroms. Such beams could produce fully coherent, stable, hundreds of GW X-rays by going through a resonant undulator.


title: Deep Learning of Accurate Force Field of Ferroelectric HfO$_2$

abstract: The discovery of ferroelectricity in HfO$_2$-based thin films opens up new opportunities for using this silicon-compatible ferroelectric to realize low-power logic circuits and high-density non-volatile memories. The functional performances of ferroelectrics are intimately related to their dynamic responses to external stimuli such as electric fields at finite temperatures. Molecular dynamics is an ideal technique for investigating dynamical processes on large length and time scales, though its applications to new materials is often hindered by the limited availability and accuracy of classical force fields. Here we present a deep neural network-based interatomic force field of HfO$_2$ learned from {\em ab initio} data using a concurrent learning procedure. The model potential is able to predict structural properties such as elastic constants, equation of states, phonon dispersion relationships, and phase transition barriers of various hafnia polymorphs with accuracy comparable with density functional theory calculations. The validity of this model potential is further confirmed by the reproduction of experimental sequences of temperature-driven ferroelectric-paraelectric phase transitions of HfO$_2$ with isobaric-isothermal ensemble molecular dynamics simulations. We suggest a general approach to extend the model potential of HfO$_2$ to related material systems including dopants and defects.


title: Local laws for multiplication of random matrices

abstract: Consider the random matrix model $A^{1/2} UBU^* A^{1/2},$ where $A$ and $B$ are two $N \times N$ deterministic matrices and $U$ is either an $N \times N$ Haar unitary or orthogonal random matrix. It is well-known that on the macroscopic scale, the limiting empirical spectral distribution (ESD) of the above model is given by the free multiplicative convolution of the limiting ESDs of $A$ and $B,$ denoted as $\mu_\alpha \boxtimes \mu_\beta,$ where $\mu_\alpha$ and $\mu_\beta$ are the limiting ESDs of $A$ and $B,$ respectively. In this paper, we study the asymptotic microscopic behavior of the edge eigenvalues and eigenvectors statistics. We prove that both the density of $\mu_A \boxtimes \mu_B,$ where $\mu_A$ and $\mu_B$ are the ESDs of $A$ and $B,$ respectively and the associated subordination functions have a regular behavior near the edges. Moreover, we establish the local laws near the edges on the optimal scale. In particular, we prove that the entries of the resolvent are close to some functionals depending only on the eigenvalues of $A, B$ and the subordination functions with optimal convergence rates. Our proofs and calculations are based on the techniques developed for the additive model $A+UBU^*$ in [3,5,6,8], and our results can be regarded as the counterparts of [8] for the multiplicative model.


title: Discrimination in the Venture Capital Industry: Evidence from Field Experiments

abstract: This paper examines discrimination by early-stage investors based on startup founders' gender and race using two complementary field experiments with real U.S. venture capitalists. Results show the following. (i) Discrimination varies depending on the context. Investors implicitly discriminate against female and Asian founders when evaluating attractive startups, but they favor female and Asian founders when evaluating struggling startups. This helps to reconcile the contradictory results in the extant literature and confirms the theoretical predictions of "discrimination reversion" and "pro-cyclical discrimination" phenomena. (ii) Among multiple coexisting sources of discrimination identified, statistical discrimination and implicit discrimination are important reasons for investors' "anti-minority" behaviors. A consistent estimator is developed to measure the polarization of investors' discrimination behaviors and their separate driving forces. (iii) Homophily exists when investors provide anonymous encouragement to startups in a non-investment setting. (iv) There was temporary, stronger discrimination against Asian founders during the COVID-19 outbreak.


title: Correspondence Matrices are Underrated

abstract: Point-cloud registration (PCR) is an important task in various applications such as robotic manipulation, augmented and virtual reality, SLAM, etc. PCR is an optimization problem involving minimization over two different types of interdependent variables: transformation parameters and point-to-point correspondences. Recent developments in deep-learning have produced computationally fast approaches for PCR. The loss functions that are optimized in these networks are based on the error in the transformation parameters. We hypothesize that these methods would perform significantly better if they calculated their loss function using correspondence error instead of only using error in transformation parameters. We define correspondence error as a metric based on incorrectly matched point pairs. We provide a fundamental explanation for why this is the case and test our hypothesis by modifying existing methods to use correspondence-based loss instead of transformation-based loss. These experiments show that the modified networks converge faster and register more accurately even at larger misalignment when compared to the original networks.


title: Displacement memory effect near the horizon of black holes

abstract: We study the displacement memory effect and its connection with the extended-BMS symmetries near the horizon of black holes. We show there is a permanent shift in the geodesic deviation vector relating two nearby timelike geodesics placed close to the horizon of black holes, upon the passage of gravitational waves. We also relate this memory effect with the asymptotic symmetries near the horizon of asymptotic black hole spacetimes. The shift of the relative position of the detectors is shown to be induced by a combination of BMS generators near the horizon. The displacement memory effect near the horizon possesses similarities to the same obtained in the far region.


title: Health improvement framework for planning actionable treatment process using surrogate Bayesian model

abstract: Clinical decision making regarding treatments based on personal characteristics leads to effective health improvements. Machine learning (ML) has been the primary concern of diagnosis support according to comprehensive patient information. However, the remaining prominent issue is the development of objective treatment processes in clinical situations. This study proposes a novel framework to plan treatment processes in a data-driven manner. A key point of the framework is the evaluation of the "actionability" for personal health improvements by using a surrogate Bayesian model in addition to a high-performance nonlinear ML model. We first evaluated the framework from the viewpoint of its methodology using a synthetic dataset. Subsequently, the framework was applied to an actual health checkup dataset comprising data from 3,132 participants, to improve systolic blood pressure values at the individual level. We confirmed that the computed treatment processes are actionable and consistent with clinical knowledge for lowering blood pressure. These results demonstrate that our framework could contribute toward decision making in the medical field, providing clinicians with deeper insights.


title: Cross-Domain Sentiment Classification with Contrastive Learning and Mutual Information Maximization

abstract: Contrastive learning (CL) has been successful as a powerful representation learning method. In this work we propose CLIM: Contrastive Learning with mutual Information Maximization, to explore the potential of CL on cross-domain sentiment classification. To the best of our knowledge, CLIM is the first to adopt contrastive learning for natural language processing (NLP) tasks across domains. Due to scarcity of labels on the target domain, we introduce mutual information maximization (MIM) apart from CL to exploit the features that best support the final prediction. Furthermore, MIM is able to maintain a relatively balanced distribution of the model's prediction, and enlarges the margin between classes on the target domain. The larger margin increases our model's robustness and enables the same classifier to be optimal across domains. Consequently, we achieve new state-of-the-art results on the Amazon-review dataset as well as the airlines dataset, showing the efficacy of our proposed method CLIM.


title: On the notion of metaplectic Barbasch-Vogan duality

abstract: In analogy with the Barbasch-Vogan duality for real reductive linear groups, we introduce a duality notion useful for the representation theory of the real metaplectic groups. This is a map on the set of nilpotent orbits in a complex symplectic Lie algebra, whose range consists of the so-called metaplectic special nilpotent orbits. We relate this duality notion with the theory of primitive ideals and extend the notion of special unipotent representations to the real metaplectic groups. We also interpret the duality map in terms of double cells of Weyl group representations.


title: Well-posedness of the Riemann problem with two shocks for the isentropic Euler system in a class of vanishing physical viscosity limits

abstract: We consider the Riemann problem composed of two shocks for the 1D Euler system. We show that the Riemann solution with two shocks is stable and unique in the class of weak inviscid limits of solutions to the Navier-Stokes equations with initial data with bounded energy. This work extends to the case of two shocks a previous result of the authors in the case of a single shock. It is based on the method of weighted relative entropy with shifts known as $a$-contraction theory. A major difficulty due to the method is that very little control is available on the shifts. A modification of the construction of the shifts is needed to ensure that the two shock waves are well separated, at the level of the Navier-Stokes system, even when subjected to large perturbations. This work put the foundations needed to consider a large family of interacting waves. It is a key result in the program to solve the Bianchini-Bressan conjecture, that is the inviscid limit of solutions to the Navier-Stokes equation to the unique BV solution of the Euler equation, in the case of small BV initial values.


title: When Contrastive Learning Meets Active Learning: A Novel Graph Active Learning Paradigm with Self-Supervision

abstract: This paper studies active learning (AL) on graphs, whose purpose is to discover the most informative nodes to maximize the performance of graph neural networks (GNNs). Previously, most graph AL methods focus on learning node representations from a carefully selected labeled dataset with large amount of unlabeled data neglected. Motivated by the success of contrastive learning (CL), we propose a novel paradigm that seamlessly integrates graph AL with CL. While being able to leverage the power of abundant unlabeled data in a self-supervised manner, nodes selected by AL further provide semantic information that can better guide representation learning. Besides, previous work measures the informativeness of nodes without considering the neighborhood propagation scheme of GNNs, so that noisy nodes may be selected. We argue that due to the smoothing nature of GNNs, the central nodes from homophilous subgraphs should benefit the model training most. To this end, we present a minimax selection scheme that explicitly harnesses neighborhood information and discover homophilous subgraphs to facilitate active selection. Comprehensive, confounding-free experiments on five public datasets demonstrate the superiority of our method over state-of-the-arts.


title: An Unsupervised Approach towards Varying Human Skin Tone Using Generative Adversarial Networks

abstract: With the increasing popularity of augmented and virtual reality, retailers are now focusing more towards customer satisfaction to increase the amount of sales. Although augmented reality is not a new concept but it has gained much needed attention over the past few years. Our present work is targeted towards this direction which may be used to enhance user experience in various virtual and augmented reality based applications. We propose a model to change skin tone of a person. Given any input image of a person or a group of persons with some value indicating the desired change of skin color towards fairness or darkness, this method can change the skin tone of the persons in the image. This is an unsupervised method and also unconstrained in terms of pose, illumination, number of persons in the image etc. The goal of this work is to reduce the time and effort which is generally required for changing the skin tone using existing applications (e.g., Photoshop) by professionals or novice. To establish the efficacy of this method we have compared our result with that of some popular photo editor and also with the result of some existing benchmark method related to human attribute manipulation. Rigorous experiments on different datasets show the effectiveness of this method in terms of synthesizing perceptually convincing outputs.


title: Bailey-type factorizations for Horn functions

abstract: In this paper we are interested in extending Bailey's identity to other classical hypergeometric functions. Bailey's identity states that under a suitable choice of parameters, Appell's $F_4$ decomposes into a product of two ${}_2F_1$'s. We will show how Bailey-type factorizations can be found for Horn's hypergeometric functions $H_1, H_4$ and $H_5$.


title: Fermionic partial tomography via classical shadows

abstract: We propose a tomographic protocol for estimating any $ k $-body reduced density matrix ($ k $-RDM) of an $ n $-mode fermionic state, a ubiquitous step in near-term quantum algorithms for simulating many-body physics, chemistry, and materials. Our approach extends the framework of classical shadows, a randomized approach to learning a collection of quantum-state properties, to the fermionic setting. Our sampling protocol uses randomized measurement settings generated by a discrete group of fermionic Gaussian unitaries, implementable with linear-depth circuits. We prove that estimating all $ k $-RDM elements to additive precision $ \varepsilon $ requires on the order of $ \binom{n}{k} k^{3/2} \log(n) / \varepsilon^2 $ repeated state preparations, which is optimal up to the logarithmic factor. Furthermore, numerical calculations show that our protocol offers a substantial improvement in constant overheads for $ k \geq 2 $, as compared to prior deterministic strategies. We also adapt our method to particle-number symmetry, wherein the additional circuit depth may be halved at the cost of roughly 2-5 times more repetitions.


title: Centralized active tracking of a Markov chain with unknown dynamics

abstract: In this paper, selection of an active sensor subset for tracking a discrete time, finite state Markov chain having an unknown transition probability matrix (TPM) is considered. A total of N sensors are available for making observations of the Markov chain, out of which a subset of sensors are activated each time in order to perform reliable estimation of the process. The trade-off is between activating more sensors to gather more observations for the remote estimation, and restricting sensor usage in order to save energy and bandwidth consumption. The problem is formulated as a constrained minimization problem, where the objective is the long-run averaged mean-squared error (MSE) in estimation, and the constraint is on sensor activation rate. A Lagrangian relaxation of the problem is solved by an artful blending of two tools: Gibbs sampling for MSE minimization and an on-line version of expectation maximization (EM) to estimate the unknown TPM. Finally, the Lagrange multiplier is updated using slower timescale stochastic approximation in order to satisfy the sensor activation rate constraint. The on-line EM algorithm, though adapted from literature, can estimate vector-valued parameters even under time-varying dimension of the sensor observations. Numerical results demonstrate approximately 1 dB better error performance than uniform sensor sampling and comparable error performance (within 2 dB bound) against complete sensor observation. This makes the proposed algorithm amenable to practical implementation.


title: On the origin and the structure of the first sharp diffraction peak of amorphous silicon

abstract: The structure of the first sharp diffraction peak (FSDP) of amorphous silicon (${\it a}$-Si) near 2 Angstrom$^{-1}$ is addressed with particular emphasis on the position, intensity, and width of the diffraction curve. By studying a number of continuous random network (CRN) models of ${\it a}$-Si, it is shown that the position and the intensity of the FSDP are primarily determined by radial atomic correlations in the amorphous network on the length scale of 15 Angstroms. A shell-by-shell analysis of the contribution from different radial shells reveals that the key contributions to the FSDP originate from the second and fourth radial shells in the network, which are accompanied by a background contribution from the first shell and small residual corrections from the distant radial shells. The results from numerical calculations are complemented by a phenomenological discussion of the relationship between the peaks in the structure factor in the wavevector space and the reduced pair-correlation function in the real space. An approximate functional relation between the position of the FSDP and the average second-neighbor distance of Si atoms in the amorphous network is derived, which is corroborated by numerical calculations.


title: Target Word Masking for Location Metonymy Resolution

abstract: Existing metonymy resolution approaches rely on features extracted from external resources like dictionaries and hand-crafted lexical resources. In this paper, we propose an end-to-end word-level classification approach based only on BERT, without dependencies on taggers, parsers, curated dictionaries of place names, or other external resources. We show that our approach achieves the state-of-the-art on 5 datasets, surpassing conventional BERT models and benchmarks by a large margin. We also show that our approach generalises well to unseen data.


title: Search for proton decay via $p\to e^+\pi^0$ and $p\to \mu^+\pi^0$ with an enlarged fiducial volume in Super-Kamiokande I-IV

abstract: We have searched for proton decay via $p\to e^+\pi^0$ and $p\to \mu^+\pi^0$ modes with the enlarged fiducial volume data of Super-Kamiokande from April 1996 to May 2018, which corresponds to 450 kton$\cdot$years exposure. We have accumulated about 25% more livetime and enlarged the fiducial volume of the Super-Kamiokande detector from 22.5 kton to 27.2 kton for this analysis, so that 144 kton$\cdot$years of data, including 78 kton$\cdot$years of additional fiducial volume data, has been newly analyzed. No candidates have been found for $p\to e^+\pi^0$ and one candidate remains for $p\to \mu^+\pi^0$ in the conventional 22.5 kton fiducial volume and it is consistent with the atmospheric neutrino background prediction. We set lower limits on the partial lifetime for each of these modes: $\tau/B(p\to e^+\pi^0) > 2.4 \times 10^{34}$ years and $\tau/B(p\to \mu^+\pi^0) > 1.6 \times 10^{34}$ years at 90% confidence level.


title: MLatticeABC: Generic Lattice Constant Prediction of Crystal Materials using Machine Learning

abstract: Lattice constants such as unit cell edge lengths and plane angles are important parameters of the periodic structures of crystal materials. Predicting crystal lattice constants has wide applications in crystal structure prediction and materials property prediction. Previous work has used machine learning models such as neural networks and support vector machines combined with composition features for lattice constant prediction and has achieved a maximum performance for cubic structures with an average $R^2$ of 0.82. Other models tailored for special materials family of a fixed form such as ABX3 perovskites can achieve much higher performance due to the homogeneity of the structures. However, these models trained with small datasets are usually not applicable to generic lattice parameter prediction of materials with diverse compositions. Herein, we report MLatticeABC, a random forest machine learning model with a new descriptor set for lattice unit cell edge length ($a,b,c$) prediction which achieves an R2 score of 0.979 for lattice parameter $a$ of cubic crystals and significant performance improvement for other crystal systems as well. Source code and trained models can be freely accessed at https://github.com/usccolumbia/MLatticeABC


title: Interference Reduction in Virtual Cell Optimization

abstract: Virtual cell optimization clusters cells into neighborhoods and performs optimized resource allocation over each neighborhood. In prior works we proposed resource allocation schemes to mitigate the interference caused by transmissions in the same virtual cell. This work aims at mitigating both the interference caused by the transmissions of users in the same virtual cell and the interference between transmissions in different virtual cells. We propose a resource allocation technique that reduces the number of users that cannot achieve their constant guaranteed bit rate, i.e., the "unsatisfied users", in an uplink virtual cell system with cooperative decoding. The proposed scheme requires only the knowledge of the number of users each base station serves and relies on creating the interference graph between base stations at the edges of virtual cells. Allocation of frequency bands to users is based on the number of users each base station would serve in a non cooperative setup. We evaluate the performance of our scheme for a mmWave system. Our numerical results show that our scheme decreases the number of users in the system whose rate falls below the guaranteed rate, set to $128$kbps, $256$kbps or $512$kbps, when compared with our previously proposed optimization methods.


title: Phase Diagram of Infinite Layer Praseodymium Nickelate Pr$_{1-x}$Sr$_{x}$NiO$_2$ Thin Films

abstract: We report the phase diagram of infinite layer Pr$_{1-x}$Sr$_{x}$NiO$_2$ thin films synthesized via topotactic reduction from the perovskite precursor phase using CaH$_2$. Based on the electrical transport properties, we find a doping-dependent superconducting dome extending between $x$ = 0.12 and 0.28, with a maximum superconducting transition temperature $T_{\rm{c}}$ of 14 K at $x$ = 0.18, bounded by weakly insulating behavior on both sides. In contrast to the narrower dome observed in Nd$_{1-x}$Sr$_{x}$NiO$_2$, a local $T_{\rm{c}}$ suppression near $x$ = 0.2 was not observed for the Pr$_{1-x}$Sr$_{x}$NiO$_2$ system. Normal state Hall effect measurements indicate mixed carrier contributions of both electrons and holes, and show a sign change in the Hall coefficient as functions of temperature and $x$, quite similar to that in Nd$_{1-x}$Sr$_{x}$NiO$_2$. Also similar is the observation of a minimum in the normal state resistivity associated with the superconducting compositions. These findings indicate an infinite layer nickelate phase diagram that is relatively insensitive to the rare-earth element, but suggest that disorder arising from the variations of the ionic radii on the rare-earth site affects the superconducting dome.


title: Optimal control of multiple Markov switching stochastic system with application to portfolio decision

abstract: In this paper we set up an optimal control framework for a hybrid stochastic system with dual or multiple Markov switching diffusion processes, while Markov chains governing these switching diffusions are not identical as assumed by the existing literature. As an application and illustration of this model, we solve a portfolio choice problem for an investor facing financial and labor markets that are both regime switching. In continuous time context we combine two separate Markov chains into one synthetic Markov chain and derive its corresponding generator matrix, then state the HJB equations for the optimal control problem with the newly synthesized Markov switching diffusion. Furthermore, we derive explicit solutions and value functions under some reasonable specifications.


title: Labeling Trick: A Theory of Using Graph Neural Networks for Multi-Node Representation Learning

abstract: In this paper, we provide a theory of using graph neural networks (GNNs) for multi-node representation learning (where we are interested in learning a representation for a set of more than one node, such as link). We know that GNN is designed to learn single-node representations. When we want to learn a node set representation involving multiple nodes, a common practice in previous works is to directly aggregate the single-node representations obtained by a GNN into a joint node set representation. In this paper, we show a fundamental constraint of such an approach, namely the inability to capture the dependence between nodes in the node set, and argue that directly aggregating individual node representations does not lead to an effective joint representation for multiple nodes. Then, we notice that a few previous successful works for multi-node representation learning, including SEAL, Distance Encoding, and ID-GNN, all used node labeling. These methods first label nodes in the graph according to their relationships with the target node set before applying a GNN. Then, the node representations obtained in the labeled graph are aggregated into a node set representation. By investigating their inner mechanisms, we unify these node labeling techniques into a single and most general form -- labeling trick. We prove that with labeling trick a sufficiently expressive GNN learns the most expressive node set representations, thus in principle solves any joint learning tasks over node sets. Experiments on one important two-node representation learning task, link prediction, verified our theory. Our work explains the superior performance of previous node-labeling-based methods, and establishes a theoretical foundation of using GNNs for multi-node representation learning.


title: Space-time shape uncertainties in the forward and inverse problem of electrocardiography

abstract: In electrocardiography, the "classic" inverse problem is the reconstruction of electric potentials at a surface enclosing the heart from remote recordings at the body surface and an accurate description of the anatomy. The latter being affected by noise and obtained with limited resolution due to clinical constraints, a possibly large uncertainty may be perpetuated in the inverse reconstruction. The purpose of this work is to study the effect of shape uncertainty on the forward and the inverse problem of electrocardiography. To this aim, the problem is first recast into a boundary integral formulation and then discretised with a collocation method to achieve high convergence rates and a fast time to solution. The shape uncertainty of the domain is represented by a random deformation field defined on a reference configuration. We propose a periodic-in-time covariance kernel for the random field and approximate the Karhunen-Lo\`eve expansion using low-rank techniques for fast sampling. The space-time uncertainty in the expected potential and its variance is evaluated with an anisotropic sparse quadrature approach and validated by a quasi-Monte Carlo method. We present several numerical experiments on a simplified but physiologically grounded 2-dimensional geometry to illustrate the validity of the approach. The tested parametric dimension ranged from 100 up to 600. For the forward problem the sparse quadrature is very effective. In the inverse problem, the sparse quadrature and the quasi-Monte Carlo method perform as expected, except for the total variation regularisation, where convergence is limited by lack of regularity. We finally investigate an $H^{1/2}$ regularisation, which naturally stems from the boundary integral formulation, and compare it to more classical approaches.


title: Mixed platoon control of automated and human-driven vehicles at a signalized intersection: dynamical analysis and optimal control

abstract: The emergence of Connected and Automated Vehicles (CAVs) promises better traffic mobility for future transportation systems. Existing research mostly focused on fully-autonomous scenarios, while the potential of CAV control at a mixed traffic intersection where human-driven vehicles (HDVs) also exist has been less explored. This paper proposes a notion of "1+n" mixed platoon, consisting of one leading CAV and n following HDVs, and formulates a platoon-based optimal control framework for CAV control at a signalized intersection. Based on the linearized dynamics model of the "1+n" mixed platoon, fundamental properties including stability and controllability are under rigorous theoretical analysis. Then, a constrained optimal control framework is established, aiming at improving the global traffic efficiency and fuel consumption at the intersection via direct control of the CAV. A hierarchical event-triggered algorithm is also designed for practical implementation of the optimal control method between adjacent mixed platoons when approaching the intersection. Extensive numerical simulations at multiple traffic volumes and market penetration rates validate the greater benefits of the mixed platoon based method, compared with traditional trajectory optimization methods for one single CAV.


title: MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation

abstract: Traditional multi-robot motion planning (MMP) focuses on computing trajectories for multiple robots acting in an environment, such that the robots do not collide when the trajectories are taken simultaneously. In safety-critical applications, a human supervisor may want to verify that the plan is indeed collision-free. In this work, we propose a notion of explanation for a plan of MMP, based on visualization of the plan as a short sequence of images representing time segments, where in each time segment the trajectories of the agents are disjoint, clearly illustrating the safety of the plan. We show that standard notions of optimality (e.g., makespan) may create conflict with short explanations. Thus, we propose meta-algorithms, namely multi-agent plan segmenting-X (MAPS-X) and its lazy variant, that can be plugged on existing centralized sampling-based tree planners X to produce plans with good explanations using a desirable number of images. We demonstrate the efficacy of this explanation-planning scheme and extensively evaluate the performance of MAPS-X.


title: Using Phase Dynamics to Study Partial Synchrony: Three Examples

abstract: Partial synchronous states appear between full synchrony and asynchrony and exhibit many interesting properties. Most frequently, these states are studied within the framework of phase approximation. The latter is used ubiquitously to analyze coupled oscillatory systems. Typically, the phase dynamics description is obtained in the weak coupling limit, i.e., in the first-order in the coupling strength. The extension beyond the first-order represents an unsolved problem and is an active area of research. In this paper, three partially synchronous states are investigated and presented in order of increasing complexity. First, the usage of the phase response curve for the description of macroscopic oscillators is analyzed. To achieve this, the response of the mean-field oscillations in a model of all-to-all coupled limit-cycle oscillators to pulse stimulation is measured. The next part treats a two-group Kuramoto model, where the interaction of one attractive and one repulsive group results in an interesting solitary state, situated between full synchrony and self-consistent partial synchrony. In the last part, the phase dynamics of a relatively simple system of three Stuart-Landau oscillators are extended beyond the weak coupling limit. The resulting model contains triplet terms in the high-order phase approximation, though the structural connections are only pairwise. Finally, the scaling of the new terms with the coupling is analyzed.


title: Classifying Malware Images with Convolutional Neural Network Models

abstract: Due to increasing threats from malicious software (malware) in both number and complexity, researchers have developed approaches to automatic detection and classification of malware, instead of analyzing methods for malware files manually in a time-consuming effort. At the same time, malware authors have developed techniques to evade signature-based detection techniques used by antivirus companies. Most recently, deep learning is being used in malware classification to solve this issue. In this paper, we use several convolutional neural network (CNN) models for static malware classification. In particular, we use six deep learning models, three of which are past winners of the ImageNet Large-Scale Visual Recognition Challenge. The other three models are CNN-SVM, GRU-SVM and MLP-SVM, which enhance neural models with support vector machines (SVM). We perform experiments using the Malimg dataset, which has malware images that were converted from Portable Executable malware binaries. The dataset is divided into 25 malware families. Comparisons show that the Inception V3 model achieves a test accuracy of 99.24%, which is better than the accuracy of 98.52% achieved by the current state-of-the-art system called the M-CNN model.


title: Emergence of Charge Loop Current in Geometrically Frustrated Hubbard Model: Functional Renormalization Group Study

abstract: Spontaneous current orders due to odd-parity order parameters attract increasing attention in various strongly correlated metals. Here, we discover a novel spin-fluctuation-driven charge loop current (cLC) mechanism based on the functional renormalization group (fRG) theory. The present mechanism leads to the ferro-cLC order in a simple frustrated chain Hubbard model. The cLC appears between the antiferromagnetic and $d$-wave superconducting ($d$SC) phases. While the microscopic origin of the cLC has a close similarity to that of the $d$SC, the cLC transition temperature $T_{\rm cLC}$ can be higher than the $d$SC one for wide parameter range. Furthermore, we reveal that the ferro cLC order is driven by the strong enhancement of the forward scatterings $g_2$ and $g_4$ owing to the two dimensionality based on the $g$-ology language. The present study indicates that the cLC can emerge in metals near the magnetic criticality with geometrical frustration


title: Effect of fast electrons on the gain of a direct-drive laser fusion target

abstract: The results of numerical and theoretical studies of the gain of direct-drive inertial confinement fusion (ICF) target, which includes a kinetic description of energy transfer by laser-accelerated fast electrons, are presented. The range of initial temperature of fast electrons and fraction of laser energy contained in these particles were chosen based on the results of recent experiments at the National Ignition Facility (NIF).The effect of 'wandering' of fast electrons is taken into account. It is due to a remoteness of the region of fast electron generation from the ablation surface of imploded target. As a result a significant fraction of particles do not fall into the compressed part of target. The `wandering' effect leads to decreasing the negative effect of fast electron generation on the target's gain.


title: Type safety of rewrite rules in dependent types

abstract: The expressiveness of dependent type theory can be extended by identifying types modulo some additional computation rules. But, for preserving the decidability of type-checking or the logical consistency of the system, one must make sure that those user-defined rewriting rules preserve typing. In this paper, we give a new method to check that property using Knuth-Bendix completion.


title: Multiplicity one theorems over positive characteristic

abstract: In [AGRS] a multiplicity one theorem is proven for general linear groups, orthogonal groups and unitary groups ($GL, O,$ and $U$) over $p$-adic local fields. That is to say that when we have a pair of such groups $G_n\subseteq G_{n+1}$, any restriction of an irreducible smooth representation of $G_{n+1}$ to $G_n$ is multiplicity free. This property is already known for $GL$ over a local field of positive characteristic, and in this paper we also give a proof for $O,U$, and $SO$ over local fields of positive odd characteristic. These theorems are shown in [GGP] to imply the uniqueness of Bessel models, and in [CS] to imply the uniqueness of Rankin-Selberg models. We also prove simultaniously the uniqeuness of Fourier-Jacobi models, following the outlines of the proof in [Sun]. By the Gelfand-Kazhdan criterion, the multiplicity one property for a pair $H\leq G$ follows from the statement that any distribution on $G$ invariant to conjugations by $H$ is also invariant to some anti-involution of $G$ preserving $H$.


title: Filtering germs: Groupoids associated to inverse semigroups

abstract: We investigate various groupoids associated to an arbitrary inverse semigroup with zero. We show that the groupoid of filters with respect to the natural partial order is isomorphic to the groupoid of germs arising from the standard action of the inverse semigroup on the space of idempotent filters. We also investigate the restriction of this isomorphism to the groupoid of tight filters and to the groupoid of ultrafilters.


title: DistStat.jl: Towards Unified Programming for High-Performance Statistical Computing Environments in Julia

abstract: The demand for high-performance computing (HPC) is ever-increasing for everyday statistical computing purposes. The downside is that we need to write specialized code for each HPC environment. CPU-level parallelization needs to be explicitly coded for effective use of multiple nodes in cluster supercomputing environments. Acceleration via graphics processing units (GPUs) requires to write kernel code. The Julia software package DistStat.jl implements a data structure for distributed arrays that work on both multi-node CPU clusters and multi-GPU environments transparently. This package paves a way to developing high-performance statistical software in various HPC environments simultaneously. As a demonstration of the transparency and scalability of the package, we provide applications to large-scale nonnegative matrix factorization, multidimensional scaling, and $\ell_1$-regularized Cox proportional hazards model on an 8-GPU workstation and a 720-CPU-core virtual cluster in Amazon Web Services (AWS) cloud. As a case in point, we analyze the on-set of type-2 diabetes from the UK Biobank with 400,000 subjects and 500,000 single nucleotide polymorphisms using the $\ell_1$-regularized Cox proportional hazards model. Fitting a half-million-variate regression model took less than 50 minutes on AWS.


title: The New Rewriting Engine of Dedukti

abstract: Dedukti is a type-checker for the $\lambda$$\Pi$-calculus modulo rewriting, an extension of Edinburgh's logicalframework LF where functions and type symbols can be defined by rewrite rules. It thereforecontains an engine for rewriting LF terms and types according to the rewrite rules given by the user.A key component of this engine is the matching algorithm to find which rules can be fired. In thispaper, we describe the class of rewrite rules supported by Dedukti and the new implementation ofthe matching algorithm. Dedukti supports non-linear rewrite rules on terms with binders usinghigher-order pattern-matching as in Combinatory Reduction Systems (CRS). The new matchingalgorithm extends the technique of decision trees introduced by Luc Maranget in the OCamlcompiler to this more general context.


title: On Point Processes Defined by Angular Conditions on Delaunay Neighbors in the Poisson-Voronoi Tessellation

abstract: Consider a homogeneous Poisson point process of the Euclidean plane and its Voronoi tessellation. The present note discusses the properties of two stationary point processes associated with the latter and depending on a parameter $\theta$. The first one is the set of points that belong to some one-dimensional facet of the Voronoi tessellation and are such that the angle with which they see the two nuclei defining the facet is $\theta$. The main question of interest on this first point process is its intensity. The second point process is that of the intersections of the said tessellation with a straight line having a random orientation. Its intensity is well known. The intersection points almost surely belong to one-dimensional facets. The main question here is about the Palm distribution of the angle with which the points of this second point process see the two nuclei associated with the facet. The note gives answers to these two questions and briefly discusses their practical motivations. It also discusses natural extensions to dimension three.


title: PyraPose: Feature Pyramids for Fast and Accurate Object Pose Estimation under Domain Shift

abstract: Object pose estimation enables robots to understand and interact with their environments. Training with synthetic data is necessary in order to adapt to novel situations. Unfortunately, pose estimation under domain shift, i.e., training on synthetic data and testing in the real world, is challenging. Deep learning-based approaches currently perform best when using encoder-decoder networks but typically do not generalize to new scenarios with different scene characteristics. We argue that patch-based approaches, instead of encoder-decoder networks, are more suited for synthetic-to-real transfer because local to global object information is better represented. To that end, we present a novel approach based on a specialized feature pyramid network to compute multi-scale features for creating pose hypotheses on different feature map resolutions in parallel. Our single-shot pose estimation approach is evaluated on multiple standard datasets and outperforms the state of the art by up to 35%. We also perform grasping experiments in the real world to demonstrate the advantage of using synthetic data to generalize to novel environments.


title: Studies of the distinct regions due to CO selective dissociation in the Aquila molecular cloud

abstract: Aims. We investigate the role of selective dissociation in the process of star formation by comparing the physical parameters of protostellar-prestellar cores and the distinct regions with the CO isotope distributions in photodissociation regions. We seek to understand whether there is a better connection between the evolutionary age of star forming regions and the effect of selective dissociation Methods. Wide-field observations of the $\rm ^{12}CO$, $\rm ^{13}CO$, and $\rm C^{18}O$ ( J = 1 - 0) emission lines are used to study the ongoing star formation activity in the Aquila molecular region, and the 70 $\mu$m and 250 $\mu$m data are used to describe the heating of the surrounding material and as an indicator of the evolutionary age of the core. Results. The protostellar-prestellar cores are found at locations with the highest $\rm C^{18}O$ column densities and their increasing evolutionary age would relate to an increasing 70$\mu$m/250$\mu$m emission ratio at their location. An evolutionary age of the cores may also follow from the $\rm ^{13}CO$ versus $\rm C^{18}O$ abundance ratio, which decreases with increasing $\rm C^{18}O$ column densities. The original mass has been estimated for nine representative star formation regions and the original mass of the region correlated well with the integrated 70 $\mu$m flux density. Similarly, the $ X_{\rm ^{13}CO}$/$X_{\rm C^{18}O}$ implying the dissociation rate for these regions correlates with the 70$\mu$m/250$\mu$m flux density ratio and reflects the evolutionary age of the star formation activity.


title: Auto-Panoptic: Cooperative Multi-Component Architecture Search for Panoptic Segmentation

abstract: Panoptic segmentation is posed as a new popular test-bed for the state-of-the-art holistic scene understanding methods with the requirement of simultaneously segmenting both foreground things and background stuff. The state-of-the-art panoptic segmentation network exhibits high structural complexity in different network components, i.e. backbone, proposal-based foreground branch, segmentation-based background branch, and feature fusion module across branches, which heavily relies on expert knowledge and tedious trials. In this work, we propose an efficient, cooperative and highly automated framework to simultaneously search for all main components including backbone, segmentation branches, and feature fusion module in a unified panoptic segmentation pipeline based on the prevailing one-shot Network Architecture Search (NAS) paradigm. Notably, we extend the common single-task NAS into the multi-component scenario by taking the advantage of the newly proposed intra-modular search space and problem-oriented inter-modular search space, which helps us to obtain an optimal network architecture that not only performs well in both instance segmentation and semantic segmentation tasks but also be aware of the reciprocal relations between foreground things and background stuff classes. To relieve the vast computation burden incurred by applying NAS to complicated network architectures, we present a novel path-priority greedy search policy to find a robust, transferrable architecture with significantly reduced searching overhead. Our searched architecture, namely Auto-Panoptic, achieves the new state-of-the-art on the challenging COCO and ADE20K benchmarks. Moreover, extensive experiments are conducted to demonstrate the effectiveness of path-priority policy and transferability of Auto-Panoptic across different datasets. Codes and models are available at: https://github.com/Jacobew/AutoPanoptic.


title: Plasmon recombination in narrowgap HgTe quantum wells

abstract: The dispersion laws of two-dimensional plasmons in narrow-gap HgTe/CdHgTe quantum wells are calculated taking into account the spatial dispersion of the electron susceptibility. At the energy scale of the band gap the dependence of plasmon frequencies on the wave vector is shown to be close to linear that changes significantly the critical concentration of noneqilibrium electron-hole gas corresponding to "switching-on" the carrier recombination with plasmon emission. The recombination rates with the plasmon emission have been calculated.


title: Direct measurements of cosmic rays (TeV and beyond) in space using an ultra-thin homogeneous calorimeter

abstract: An approach for measuring energy of cosmic-ray particles with energies E > 10^12 eV using an ultrathin calorimeter is presented. The method is based on the analysis of the correlation dependence of the cascade size on the rate of development of the cascade process. In order to determine the primary energy, measurements are made based on the number of secondary particles in the cascade, Ne, at two observation levels Z1 and Z2, separated by an absorber layer. Based on the obtained measurements, a correlation analysis of the dependence of logNe(Z1) on the difference dN = log Ne(Z1) - log Ne(Z2) is carried out. The correlation curves (log Ne from dN) in the negative part of the dN axis are almost parallel to each other and practically do not depend on the depth of the cascade development. It makes it possible to determine the primary energy using an ultrathin calorimeter. The best option for applying the method is a calorimeter, which has a unit with a heavy target, leading to the rapid development of the cascade, and a homogeneous measuring and absorption block.


title: A Recharge Oscillator Model for Interannual Variability in Venus' Clouds

abstract: Sulfur dioxide is a radiatively and chemically important trace gas in the atmosphere of Venus and its abundance at the cloud-tops has been observed to vary on interannual to decadal timescales. This variability is thought to come from changes in the strength of convection which transports sulfur dioxide to the cloud-tops, {although} the dynamics behind such convective variability are unknown. Here we propose a new conceptual model for convective variability that links the radiative effects of water abundance at the cloud-base to convective strength within the clouds, which in turn affects water transport within the cloud. The model consists of two coupled equations which are identified as a recharge-discharge oscillator. The solutions of the coupled equations are finite amplitude sustained oscillations in convective strength and cloud-base water abundance on 3-9 year timescales. The characteristic oscillation timescale is given by the geometric mean of the radiative cooling time and the eddy mixing time near the base of the convective clouds.


title: The pentagonal theorem of sixty-three and generalizations of Cauchy's lemma

abstract: In this article, we study the representability of integers as sums of pentagonal numbers, where a pentagonal number is an integer of the form $P_5(x)=\frac{3x^2-x}{2}$ for some non-negative integer $x$. In particular, we prove the "pentagonal theorem of $63$", which states that a sum of pentagonal numbers represents every non-negative integer if and only if it represents the integers $1$, $2$, $3$, $4$, $6$, $7$, $8$, $9$, $11$, $13$, $14$, $17$, $18$, $19$, $23$, $28$, $31$, $33$, $34$, $39$, $42$, and $63$. We also introduce a method to obtain a generalized version of Cauchy's lemma using representations of binary integral quadratic forms by quaternary quadratic forms, which plays a crucial role in proving the results.


title: Stochastic quorum percolation and noise focusing in neuronal networks

abstract: Recent experiments have shown that the spontaneous activity of young dissociated neuronal cultures can be described as a process of highly inhomogeneous nucleation and front propagation due to the localization of noise activity, i.e., noise focusing. However, the basic understanding of the mechanisms of noise build-up leading to the nucleation remain an open fundamental problem. Here we present a minimal dynamical model called stochastic quorum percolation that can account for the observed phenomena, while providing a robust theoretical framework. The model reproduces the first and second order phase--transitions of bursting dynamics and neuronal avalanches respectively, and captures the profound effect metric correlations in the network topology can have on the dynamics. The application of our results to other systems such as in the propagation of infectious diseases and of rumors is discussed.


title: Microscopic Theory of Ultrafast Skyrmion Excitation by Light

abstract: We propose a microscopic mechanism for ultrafast skyrmion photo-excitation via a two-orbital electronic model. In the strong correlation limit the $d$-electrons are described by an effective spin Hamiltonian, coupled to itinerant $s$-electrons via $s-d$ exchange. Laser-exciting the system by a direct coupling to the electric charge leads to skyrmion nucleation on a 100 fs timescale. The coupling between photo-induced electronic currents and magnetic moments, mediated via Rashba spin-orbit interactions, is identified as the microscopic mechanism behind the ultrafast optical skyrmion excitation.


title: Weak topological insulating phases of hard-core-bosons on the honeycomb lattice

abstract: We study the phases of hard-core-bosons on a two-dimensional periodic honeycomb lattice in the presence of an on-site potential with alternating sign along the different y-layers of the lattice. Using quantum Monte Carlo simulations supported by analytical calculations, we identify a weak topological insulator, characterized by a zero Chern number but non-zero Berry phase, which is manifested at either density 1/4 or 3/4, as determined by the potential pattern. Additionally, a charge-density-wave insulator is observed at 1/2-filling, whereas the phase diagram at intermediate densities is occupied by a superfluid phase. The weak topological insulator is further shown to be robust against any amount of nearest-neighbor repulsion, as well as weak next-nearest-neighbor repulsion. The experimental realization of our model is feasible in an optical lattice setup.


title: Fixed-State Log-MAP Detection for Intensity-Modulation and Direct-Detection Optical Systems over Dispersion-Uncompensated Links

abstract: In this paper, an optimized detection based on log-maximum a posteriori estimation with the fixed number of surviving states (fixed-state Log-MAP) is proposed to cooperate with equalizers to deal with the spectral distortions caused by limited bandwidth and chromatic dispersion for intensity-modulation and direct-detection (IM/DD) optical systems. The equalizers compensates the spectral distortions and optimized detection decodes the useful bits from the noise. For accurately extracting the bits from more serious noise, the optimized detection with larger memory length is required. However, the classical optimized detection such as maximum likelihood-sequence estimation (MLSE) requires exponential-growing computational complexity and storage with the increasing memory length. The fixed-state Log-MAP detection can decrease the computational complexity and storage from the exponential order to linear order. Therefore, the fixed-state Log-MAP detection can compensate more distortions compared to MLSE under the same hardware condition. We experimentally verify the fixed-state Log-MAP detection in a C-band 64 Gbit/s IM/DD on-off keying optical system over a 100 km dispersion-uncompensated link. Under the same hardware condition, the fixed-state Log-MAP detection has a 2 dB improvement of receiver sensitivity compared to MLSE. In conclusion, the fixed-state Log-MAP detection shows the potential for practical IM/DD optical systems.


title: Symmetries of Kolmogorov backward equation

abstract: The note provides the relation between symmetries and first integrals of It\^{o} stochastic differential equations and symmetries of the associated Kolmogorov backward equation. Relation between the symmetries of the Kolmogorov backward equation and the symmetries of the Kolmogorov forward equation is also given.


title: A Bias-Corrected Estimator for the Crosswise Model with Inattentive Respondents

abstract: The crosswise model is an increasingly popular survey technique to elicit candid answers from respondents on sensitive questions. Recent studies, however, point out that in the presence of inattentive respondents, the conventional estimator of the prevalence of a sensitive attribute is biased toward 0.5. To remedy this problem, we propose a simple design-based bias correction using an anchor question that has a sensitive item with known prevalence. We demonstrate that we can easily estimate and correct for the bias arising from inattentive respondents without measuring individual-level attentiveness. We also offer several useful extensions of our estimator, including a sensitivity analysis for the conventional estimator, a strategy for weighting, a framework for multivariate regressions in which a latent sensitive trait is used as an outcome or a predictor, and tools for power analysis and parameter selection. Our method can be easily implemented through our open-source software, cWise.


title: Analysis of a greedy reconstruction algorithm

abstract: A novel and detailed convergence analysis is presented for a greedy algorithm that was previously introduced for operator reconstruction problems in the field of quantum mechanics. This algorithm is based on an offline/online decomposition of the reconstruction process and on an ansatz for the unknown operator obtained by an a priori chosen set of linearly independent matrices. The presented convergence analysis focuses on linear-quadratic (optimization) problems governed by linear differential systems and reveals the strong dependence of the performance of the greedy algorithm on the observability properties of the system and on the ansatz of the basis elements. Moreover, the analysis allows us to use a precise (and in some sense optimal) choice of basis elements for the linear case and led to the introduction of a new and more robust optimized greedy reconstruction algorithm. This optimized approach also applies to nonlinear Hamiltonian reconstruction problems, and its efficiency is demonstrated by numerical experiments.


title: Comparison of Speaker Role Recognition and Speaker Enrollment Protocol for conversational Clinical Interviews

abstract: Conversations between a clinician and a patient, in natural conditions, are valuable sources of information for medical follow-up. The automatic analysis of these dialogues could help extract new language markers and speed-up the clinicians' reports. Yet, it is not clear which speech processing pipeline is the most performing to detect and identify the speaker turns, especially for individuals with speech and language disorders. Here, we proposed a split of the data that allows conducting a comparative evaluation of speaker role recognition and speaker enrollment methods to solve this task. We trained end-to-end neural network architectures to adapt to each task and evaluate each approach under the same metric. Experimental results are reported on naturalistic clinical conversations between Neuropsychologist and Interviewees, at different stages of Huntington's disease. We found that our Speaker Role Recognition model gave the best performances. In addition, our study underlined the importance of retraining models with in-domain data. Finally, we observed that results do not depend on the demographics of the Interviewee, highlighting the clinical relevance of our methods.


title: Multiview Variational Graph Autoencoders for Canonical Correlation Analysis

abstract: We present a novel multiview canonical correlation analysis model based on a variational approach. This is the first nonlinear model that takes into account the available graph-based geometric constraints while being scalable for processing large scale datasets with multiple views. It is based on an autoencoder architecture with graph convolutional neural network layers. We experiment with our approach on classification, clustering, and recommendation tasks on real datasets. The algorithm is competitive with state-of-the-art multiview representation learning techniques.


title: Yaglom-type limit theorems for branching Brownian motion with absorption

abstract: We consider one-dimensional branching Brownian motion in which particles are absorbed at the origin. We assume that when a particle branches, the offspring distribution is supercritical, but the particles are given a critical drift towards the origin so that the process eventually goes extinct with probability one. We establish precise asymptotics for the probability that the process survives for a large time t, building on previous results by Kesten (1978) and Berestycki, Berestycki, and Schweinsberg (2014). We also prove a Yaglom-type limit theorem for the behavior of the process conditioned to survive for an unusually long time, providing an essentially complete answer to a question first addressed by Kesten (1978). An important tool in the proofs of these results is the convergence of a certain observable to a continuous state branching process. Our proofs incorporate new ideas which might be of use in other branching models.


title: Numerical equivalence of $\mathbb R$-divisors and Shioda-Tate formula for arithmetic varieties

abstract: Let $X$ be an arithmetic variety over the ring of integers of a number field $K$, with smooth generic fiber $X_K$. We give a formula that relates the dimension of the first Arakelov-Chow vector space of $X$ with the Mordell-Weil rank of the Albanese variety of $X_K$ and the rank of the N\'eron-Severi group of $X_K$. This is a higher dimensional and arithmetic version of the classical Shioda-Tate formula for elliptic surfaces. Such analogy is strengthened by the fact that we show that the numerically trivial arithmetic $\mathbb{R}$-divisors on $X$ are exactly the linear combinations of principal ones. This result is equivalent to the non-degeneracy of the arithmetic intersection pairing in the argument of divisors, partially confirming [GS94, Conjecture 1].


title: Geometric integration by parts and Lepage equivalents

abstract: We compare the integration by parts of contact forms - leading to the definition of the interior Euler operator - with the so-called canonical splittings of variational morphisms. In particular, we discuss the possibility of a generalization of the first method to contact forms of lower degree. We define a suitable Residual operator for this case and, working out an original conjecture by Olga Rossi, we recover the Krupka-Betounes equivalent for first order field theories. A generalization to the second order case is discussed.


title: Visible and near-infrared reflectance of hyperfine and hyperporous particulate surfaces

abstract: The composition of Solar System surfaces can be inferred through reflectance and emission spectroscopy, by comparing these observations to laboratory measurements and radiative transfer models. While several populations of objects appear to be covered by sub-micrometre sized particles (referred to as hyperfine), there are limited studies on reflectance and emission of particulate surfaces composed of particles smaller than the visible and infrared wavelengths. We have undertaken an effort to determine the reflectance of hyperfine particulate surfaces in conjunction with high-porosity, in order to simulate the physical state of cometary surfaces and their related asteroids (P- and D-types). In this work, we present a technique developed to produce hyperfine particles of astrophysical relevant materials. Hyperfine powders were prepared and measured in reflectance in the 0.4-2.6 micrometer range. These powders were then included in water ice particles, sublimated under vacuum, in order to produce a hyperporous sample of hyperfine material. When grinded below one micrometre, the four materials studied (olivine, smectite, pyroxene and amorphous silica), show strong decrease of their absorption features together with a blueing of the spectra. This small grain degeneracy implies that surfaces covered by hyperfine grains should show only shallow absorption features if any. These two effects, decrease of band depth and spectral blueing, appear magnified when the grains are incorporated in the hyperporous residue. We interpret the distinct behaviour between hyperporous and more compact surfaces by the distancing of individual grains and a decrease in the size of the elemental scatterers. This work implies that hyperfine grains are unabundant at the surfaces of S- or V-type asteroids, and that the blue nature of B-type may be related to a physical effect rather than a compositional effect.


title: Stability of pair graphs

abstract: We start up the study of the stability of general graph pairs. This notion is a generalization of the concept of the stability of graphs. We say that a pair of graphs $(\Gamma,\Sigma)$ is stable if $Aut(\Gamma\times\Sigma) \cong Aut(\Gamma)\times Aut(\Sigma)$ and unstable otherwise, where $\Gamma\times\Sigma$ is the direct product of $\Gamma$ and $\Sigma$. An unstable graph pair $(\Gamma,\Sigma)$ is said to be a nontrivially unstable graph pair if $\Gamma$ and $\Sigma$ are connected coprime graphs, at least one of them is non-bipartite, and each of them has the property that different vertices have distinct neighbourhoods. We obtain necessary conditions for a pair of graphs to be stable. We also give a characterization of a pair of graphs $(\Gamma, \Sigma)$ to be nontrivially unstable in the case when both graphs are connected and regular with coprime valencies and $\Sigma$ is vertex-transitive. This characterization is given in terms of the $\Sigma$-automorphisms of $\Gamma$, which are a new concept introduced in this paper as a generalization of both automorphisms and two-fold automorphisms of a graph.


title: Deep generative LDA

abstract: Linear discriminant analysis (LDA) is a popular tool for classification and dimension reduction. Limited by its linear form and the underlying Gaussian assumption, however, LDA is not applicable in situations where the data distribution is complex. Recently, we proposed a discriminative normalization flow (DNF) model. In this study, we reinterpret DNF as a deep generative LDA model, and study its properties in representing complex data. We conducted a simulation experiment and a speaker recognition experiment. The results show that DNF and its subspace version are much more powerful than the conventional LDA in modeling complex data and retrieving low-dimensional representations.


title: Singular minimal translation surfaces in Euclidean spaces endowed with semi-symmetric connections

abstract: In this paper, we study and classify singular minimal translation surfaces in a Euclidean space of dimension 3 endowed with a certain semi-symmetric (non-)metric connection.


title: Beamforming for measurements under disturbed propagation conditions using numerically calculated Green's functions

abstract: Beamforming methods for sound source localization are usually based on free-field Green's functions to model the sound propagation between source and microphone. This assumption is known to be incorrect for many industrial applications and the beamforming results can suffer from this inconsistency regarding both, accuracy of source power estimation, and accuracy of source localisation. The aim of this paper is to investigate whether the use of numerically calculated Green's functions can improve the results of beamforming measurements. The current test cases of numerical and experimental investigations consists of sources placed in a short rectangular duct. The measurement is performed outside the duct in a semi-anechoic chamber. A typical example for this kind of installation is a fan with a heat exchanger. The Green's functions for this test case are calculated numerically using the boundary element method. These tailored Green's functions are used to calculate the corresponding beamforming steering vectors. The weighting of the Green's functions in the steering vectors has a decisive influence on the beamforming results. A generalization of the common steering vector formulations is given based on two scalars. It is shown that arbitrary differentiable Green's functions can be used to find the correct source position or source power level by using the appropriate steering vector formulations. Beamforming measurements are performed using a loudspeaker as a reference source at different positions in the heat exchanger duct. The measurements are evaluated in the frequency domain and by means of different validation criteria it can be shown that the results with the numerical calculated Green's function are improved compared to free field beamforming especially at low frequencies.


title: Bayesian Optimization Meets Laplace Approximation for Robotic Introspection

abstract: In robotics, deep learning (DL) methods are used more and more widely, but their general inability to provide reliable confidence estimates will ultimately lead to fragile and unreliable systems. This impedes the potential deployments of DL methods for long-term autonomy. Therefore, in this paper we introduce a scalable Laplace Approximation (LA) technique to make Deep Neural Networks (DNNs) more introspective, i.e. to enable them to provide accurate assessments of their failure probability for unseen test data. In particular, we propose a novel Bayesian Optimization (BO) algorithm to mitigate their tendency of under-fitting the true weight posterior, so that both the calibration and the accuracy of the predictions can be simultaneously optimized. We demonstrate empirically that the proposed BO approach requires fewer iterations for this when compared to random search, and we show that the proposed framework can be scaled up to large datasets and architectures.


title: Which model features matter? An experimental approach to evaluate power market modeling choices

abstract: A novel experimental approach of inter- and intramodel comparisons is conducted with five power market models to give recommendations for modelers working on decarbonization pathways of Europe until 2050. The experiments investigate the impact of model type (optimization vs. simulation), planning horizon (intertemporal vs. myopic), temporal resolution (8760 vs. 384 hours), and spatial resolution (28 countries vs. 12 mega-regions). The model type fundamentally determines the evolution of capacity expansion. Planning horizon (assumed foresight of firms) plays a minor role for scenarios with high carbon prices. For low carbon prices in turn, results from myopic models deviate considerably from those of intertemporal models. Lower temporal and spatial resolutions foster wind power via storage and via neglected transmission boundaries, respectively. Using simulation instead of optimization frameworks, a shorter planning horizon of firms, or lower temporal and spatial resolutions might be necessary to reduce the computational complexity. This paper delivers recommendations on how to limit the discrepancies in such cases.


title: HyperText: Endowing FastText with Hyperbolic Geometry

abstract: Natural language data exhibit tree-like hierarchical structures such as the hypernym-hyponym relations in WordNet. FastText, as the state-of-the-art text classifier based on shallow neural network in Euclidean space, may not model such hierarchies precisely with limited representation capacity. Considering that hyperbolic space is naturally suitable for modeling tree-like hierarchical data, we propose a new model named HyperText for efficient text classification by endowing FastText with hyperbolic geometry. Empirically, we show that HyperText outperforms FastText on a range of text classification tasks with much reduced parameters.


title: Polar Coded Repetition for Low-Capacity Channels

abstract: Constructing efficient low-rate error-correcting codes with low-complexity encoding and decoding have become increasingly important for applications involving ultra-low-power devices such as Internet-of-Things (IoT) networks. To this end, schemes based on concatenating the state-of-the-art codes at moderate rates with repetition codes have emerged as practical solutions deployed in various standards. In this paper, we propose a novel mechanism for concatenating outer polar codes with inner repetition codes which we refer to as polar coded repetition. More specifically, we propose to transmit a slightly modified polar codeword by deviating from Arikan's standard 2 x 2 Kernel in a certain number of polarization recursions at each repetition block. We show how this modification can improve the asymptotic achievable rate of the polar-repetition scheme, while ensuring that the overall encoding and decoding complexity is kept almost the same. The achievable rate is analyzed for the binary erasure channels (BEC).


title: Integrated real-time supervisory management for off-normal-event handling and feedback control of tokamak plasmas

abstract: For long-pulse tokamaks, one of the main challenges in control strategy is to simultaneously reach multiple control objectives and to robustly handle in real-time (RT) unexpected events (off-normal-events -- ONEs) with a limited set of actuators. We have developed in our previous work a generic architecture of the plasma control system (PCS) including a supervisor and an actuator manager to deal with these issues. We present in this paper recent developments of real-time decision-making by the supervisor to switch between different control scenarios (normal, backup, shutdown, disruption mitigation, etc.) during the discharge, based on off-normal-event states. We first standardize the evaluation of ONEs and thereby simplify significantly the supervisor decision logic, as well as facilitate the modifications and extensions of ONE states in the future. The whole PCS has been implemented on the TCV tokamak, applied to disruption avoidance with density limit experiments, demonstrating the excellent capabilities of the new RT integrated strategy.


title: Microlensing Predictions: Impact of Galactic Disc Dynamical Models

abstract: Galactic model plays an important role in the microlensing field, not only for analyses of individual events but also for statistics of the ensemble of events. However, the Galactic models used in the field varies, and some are unrealistically simplified. Here we tested three Galactic disc dynamic models, the first is a simple standard model that was widely used in this field, whereas the other two consider the radial dependence of the velocity dispersion, and in the last model, the asymmetric drift. We found that for a typical lens mass $M_{\rm L}=0.5M_{\odot}$, the two new dynamical models predict $\sim16\%$ or $\sim5\%$ less long-timescale events (e.g., microlensing timescale $t_{\rm E}>300$ days) and $\sim 5\%$ and $\sim 3.5\%$ more short-timescale events ($t_{\rm E}<3$ days) than the standard model. Moreover, the microlensing event rate as a function of Einstein radius $\theta_{\rm E}$ or microlensing parallax $\pi_{\rm E}$ also shows some model dependence (a few percent). The two new models also have an impact on the total microlensing event rate. This result will also to some degree affect the Bayesian analysis of individual events, but overall, the impact is small. However, we still recommend that modelers should be more careful when choosing the Galactic model, especially in statistical works involving Bayesian analyses of a large number of events. Additionally, we find the asymptotic power-law behaviors in both $\theta_{\rm E}$ and $\pi_{\rm E}$ distributions, and we provide a simple model to understand them.


title: On the enhancement of non-functional requirements for cloud-assisted middleware-based IoT and other applications

abstract: The Internet of objects (IoT) will have to meet the non-functional needs (QoS, security, etc.) of new business applications supported by the cloud. To do this, the interactions between the underlying application software and the communicating objects will rely on networks and communication middleware with configurable, programmable and dynamically deployable capabilities. These capabilities will be available both on pre-existing entities but also on virtual entities, i.e. that will be dynamically created in the Cloud according to the need. In this new ecosystem, meeting the end-to-end QoS needs of these future applications is a major challenge. This challenge has particularly to be tackled both at the level of the Middleware intermediary entities and at the level of the networks interconnecting these entities. In this context, this paper presents our approach for a self-adaptive QoS management at the middleware level for IoT applications. This approach is aimed at: 1) taking advantage of the technological opportunities offered by the Cloud, the dynamic deployment of processing functions and the autonomic computing paradigm, 2) taking into account the hetero-geneity of the solutions that will coexist in this landscape, and 3) ensuring the consistency of the (re) configuration choices thanks to appropriate theoretical tools.


title: Deep Speaker Vector Normalization with Maximum Gaussianality Training

abstract: Deep speaker embedding represents the state-of-the-art technique for speaker recognition. A key problem with this approach is that the resulting deep speaker vectors tend to be irregularly distributed. In previous research, we proposed a deep normalization approach based on a new discriminative normalization flow (DNF) model, by which the distributions of individual speakers are arguably transformed to homogeneous Gaussians. This normalization was demonstrated to be effective, but despite this remarkable success, we empirically found that the latent codes produced by the DNF model are generally neither homogeneous nor Gaussian, although the model has assumed so. In this paper, we argue that this problem is largely attributed to the maximum-likelihood (ML) training criterion of the DNF model, which aims to maximize the likelihood of the observations but not necessarily improve the Gaussianality of the latent codes. We therefore propose a new Maximum Gaussianality (MG) training approach that directly maximizes the Gaussianality of the latent codes. Our experiments on two data sets, SITW and CNCeleb, demonstrate that our new MG training approach can deliver much better performance than the previous ML training, and exhibits improved domain generalizability, particularly with regard to cosine scoring.


title: Integrated Gallium Nitride Nonlinear Photonics

abstract: Gallium nitride (GaN) as a wide-band gap material has been widely used in solid-state lighting. Thanks to its high nonlinearity and high refractive index contrast, GaN-on-insulator (GaNOI) is also a promising platform for nonlinear optical applications. Despite its intriguing optical proprieties, nonlinear applications of GaN have rarely been studied due to the relatively high optical loss of GaN waveguides (2 dB/cm). In this letter, we report GaNOI microresonator with intrinsic quality factor over 2 million, corresponding to an optical loss of 0.26 dB/cm. Parametric oscillation threshold power as low as 8.8 mW is demonstrated, and the experimentally extracted nonlinear index of GaN at telecom wavelengths is estimated to be n2 = 1.2*10 -18 m2W-1, which is comparable with silicon. Single soliton generation in GaN is implemented by an auxiliary laser pumping scheme, so as to mitigate the high thermorefractive effect in GaN. The large intrinsic nonlinear refractive index, together with its broadband transparency window and high refractive index contrast, make GaNOI a most balanced platform for chip-scale nonlinear applications.


title: Dissipation engineered directional filter for quantum ratchets

abstract: We demonstrate transport rectification in a hermitian Hamiltonian quantum ratchet by a dissipative, dynamic impurity. While the bulk of the ratchet supports transport in both directions, the properly designed loss function of the local impurity acts as a direction-dependent filter for the moving states. We analyse this scheme theoretically by making use of Floquet-S-Matrix theory. In addition, we provide the direct experimental observation of one-way transmittance in periodically modulated plasmonic waveguide arrays containing a local impurity with engineered losses.


title: Measurement of ultrashort laser ablation of four metals (Al, Cu, Ni, W) in single pulse regime

abstract: We provide measurements of ablation of four post-transition and transition metals (aluminum, copper, nickel and tungsten) irradiated by single 800 nm laser pulses, in ultrashort regime from 100 fs pulse duration down to 15 fs covering a temporal range little explored yet. For each metal and pulse duration tested, we measure its ablation characteristics (depth and diameter) as a function of incident energy allowing us to determine its laser-induced ablation threshold and ablation rate in single-shot regime. For all metals studied, we observe constant ablation threshold fluence as a function of pulse duration extending this scaling law to pulse duration of few-optical-cycles. We also provide evidence of the interest of adjusting the incident fluence to maximize the energy specific ablation depth but also of the absence of any peculiar advantage related to the use of extremely short pulse duration for ablation purposes. Those informative and detailed ablation data have been obtained in single pulse regime and in air ambiance. They can serve as rewarding feedback for further establishing smart strategy for femtosecond laser micromachining and laser damage handling of metallic and metal-based components as well as for enhancing accuracy of modeling of femtosecond laser interaction with metals in ultrashort regime.


title: Experimental observation of Dirac cones in artificial graphene lattices

abstract: Artificial lattices provide a tunable platform to realize exotic quantum devices. A well-known example is artificial graphene (AG), in which electrons are confined in honeycomb lattices and behave as massless Dirac fermions. Recently, AG systems have been constructed by manipulating molecules using scanning tunnelling microscope tips, but the nanoscale size typical for these constructed systems are impossible for practical device applications and insufficient for direct investigation of the electronic structures using angle-resolved photoemission spectroscopy (ARPES). Here, we demonstrate the synthesis of macroscopic AG by self-assembly of C$_{60}$ molecules on metal surfaces. Our theoretical calculations and ARPES measurements directly confirm the existence of Dirac cones at the $K$ ($K^\prime$) points of the Brillouin zone (BZ), in analogy to natural graphene. These results will stimulate ongoing efforts to explore the exotic properties in artificial lattices and provide an important step forward in the realization of novel molecular quantum devices.


title: Time-position characterization of conflicts: a case study of collaborative editing

abstract: Collaborative editing (CE) became increasingly common, often compulsory in academia and industry where people work in teams and are distributed across space and time. We aim to study collabora-tive editing behavior in terms of collaboration patterns users adopt and in terms of a characterisation of conflicts, i.e. edits from different users that occur close in time and position in the document. The process of a CE can be split into several editing 'sessions' which are performed by a single author ('single-authored session') or several authors ('co-authored session'). This fragmentation process requires a pre-defined 'maximum time gap' between sessions which is not yet well defined in previous studies. In this study, we analysed CE logs of 108 collaboratively edited documents. We show how to establish a suitable 'maximum time gap' to split CE activities into sessions by evaluating the distribution of the time distance between two adjacent sessions. We studied editing activities inside each 'co-author session' in order to define potential conflicts in terms of time and position dimensions before they occur in the document. We also analysed how many of these potential conflicts become real conflicts. Findings show that potential conflicting cases are few. However, they are more likely to become real conflicts.


title: The Human Cell Atlas & Equity: Lessons Learned

abstract: The Human Cell Atlas has been undergoing a massive effort to support global scientific equity. The co-leaders of its Equity Working Group share some lessons learned in the process.


title: Gapped magnetic ground state in quantum-spin-liquid candidate $\kappa$-(BEDT-TTF)$_2$-Cu$_2$(CN)$_3$

abstract: Geometrical frustration, quantum entanglement and disorder may prevent long-range order of localized spins with strong exchange interactions, resulting in a novel state of matter. $\kappa$-(BEDT-TTF)$_2$-Cu$_2$(CN)$_3$ is considered the best approximation of this elusive quantum-spin-liquid state, but its ground-state properties remain puzzling. Here we present a multi-frequency electron-spin resonance study down to millikelvin temperatures, revealing a rapid drop of the spin susceptibility at $T^*=6\,\mathrm{K}$. This opening of a spin gap, accompanied by structural modifications, suggests the enigmatic `$6\,\mathrm{K}$-anomaly' as the transition to a valence-bond-solid ground state. We identify an impurity contribution that becomes dominant when the intrinsic spins form singlets. Only probing the electrons directly manifests the pivotal role of defects for the low-energy properties of quantum-spin systems without magnetic order.


title: Quantum Distance to Uncontrollability and Quantum Speed Limits

abstract: Distance to Uncontrollability is a crucial concept in classical control theory. Here, we introduce Quantum Distance to Uncontrollability as a measure how close a universal quantum system is to a non-universal one. This allows us to provide a quantitative version of the Quantum Speed Limit, decomposing the bound into a geometric and dynamical component. We consider several physical examples including globally controlled solid state qubits and a cross-Kerr system, showing that the Quantum Distance to Uncontrollability provides a precise meaning to spectral crowding, weak interactions and other bottlenecks to universality. We suggest that this measure should be taken into consideration in the design of quantum technology.


title: Investigation of ultrashort laser excitation of aluminum and tungsten by reflectivity measurements

abstract: We determine the laser-induced ablation threshold fluence in air of aluminum and tungsten excited by single near-infrared laser pulses with duration ranging from 15 fs to 100 fs. The ablation threshold fluence is shown constant for both metals, extending the corresponding scaling metrics to few-optical-cycle laser pulses. Meanwhile, the reflectivity is measured providing access to the deposited energy in the studied materials on a wide range of pulse durations and incident fluences below and above the ablation threshold. A simulation approach, based on the two-temperature model and the Drude-Lorentz model, is developed to describe the evolution of the transient thermodynamic and optical characteristics of the solids (lattice and electronic temperatures, reflectivity) following laser excitation. The confrontation between experimental results and simulations highlights the importance of considering a detailed description and evolution of the density of states in transition metals like tungsten.


title: Glauber dynamics for colourings of chordal graphs and graphs of bounded treewidth

abstract: The Glauber dynamics on the colourings of a graph is a random process which consists in recolouring at each step a random vertex of a graph with a new colour chosen uniformly at random among the colours not already present in its neighbourhood. It is known that when the total number of colours available is at least $\Delta +2$, where $\Delta$ is the maximum degree of the graph, this process converges to a uniform distribution on the set of all the colourings. Moreover, a well known conjecture is that the time it takes for the convergence to happen, called the mixing time, is polynomial in the size of the graph. Many weaker variants of this conjecture have been studied in the literature by allowing either more colours, or restricting the graphs to particular classes, or both. This paper follows this line of research by studying the mixing time of the Glauber dynamics on chordal graphs, as well as graphs of bounded treewidth. We show that the mixing time is polynomial in the size of the graph in the two following cases: - on graphs with bounded treewidth, and at least $\Delta +2$ colours, - on chordal graphs if the number of colours is at least $(1+\varepsilon) (\Delta +1)$, for any fixed constant $\varepsilon$.


title: Evolutionary graph theory derived from eco-evolutionary dynamics

abstract: A biologically motivated individual-based framework for evolution in network-structured populations is developed that can accommodate eco-evolutionary dynamics. This framework is used to construct a network birth and death model. The evolutionary graph theory model, which considers evolutionary dynamics only, is derived as a special case, highlighting additional assumptions that diverge from real biological processes. This is achieved by introducing a negative ecological feedback loop that suppresses ecological dynamics by forcing births and deaths to be coupled. We also investigate how fitness, a measure of reproductive success used in evolutionary graph theory, is related to the life-history of individuals in terms of their birth and death rates. In simple networks, these ecologically motivated dynamics are used to provide new insight into the spread of adaptive mutations, both with and without clonal interference. For example, the star network, which is known to be an amplifier of selection in evolutionary graph theory, can inhibit the spread of adaptive mutations when individuals can die naturally.


title: Analysis of the Cost of Varying Levels of User Perceived Quality for Internet Access

abstract: Quality of Service (QoS) metrics deal with network quantities, e.g. latency and loss, whereas Quality of Experience (QoE) provides a proxy metric for end-user experience. Many papers in the literature have proposed mappings between various QoS metrics and QoE. This paper goes further in providing analysis for QoE versus bandwidth cost. We measure QoE using the widely accepted Mean Opinion Score (MOS) rating. Our results naturally show that increasing bandwidth increases MOS. However, we extend this understanding by providing analysis for internet access scenarios, using TCP, and varying the number of TCP sources multiplexed together. For these target scenarios our analysis indicates what MOS increase you get by further expenditure on bandwidth. We anticipate that this will be of considerable value to commercial organizations responsible for bandwidth purchase and allocation.


title: A note on the uniqueness from sets of positive measure for time dependent parabolic operators

abstract: The purpose of this short note is to show how it is possible to combine existing results in the literature to get the unique continuation from sets of positive measure for time dependent parabolic equations with Lipschitz principal part and bounded lower order terms, result which was known in the case of analytic coefficients in [3].


title: Unsatisfied Today, Satisfied Tomorrow: a simulation framework for performance evaluation of crowdsourcing-based network monitoring

abstract: Network operators need to continuosly upgrade their infrastructures in order to keep their customer satisfaction levels high. Crowdsourcing-based approaches are generally adopted, where customers are directly asked to answer surveys about their user experience. Since the number of collaborative users is generally low, network operators rely on Machine Learning models to predict the satisfaction levels/QoE of the users rather than directly measuring it through surveys. Finally, combining the true/predicted user satisfaction levels with information on each user mobility (e.g, which network sites each user has visited and for how long), an operator may reveal critical areas in the networks and drive/prioritize investments properly. In this work, we propose an empirical framework tailored to assess the quality of the detection of under-performing cells starting from subjective user experience grades. The framework allows to simulate diverse networking scenarios, where a network characterized by a small set of under-performing cells is visited by heterogeneous users moving through it according to realistic mobility models. The framework simulates both the processes of satisfaction surveys delivery and users satisfaction prediction, considering different delivery strategies and evaluating prediction algorithms characterized by different prediction performance. We use the simulation framework to test empirically the performance of under-performing sites detection in general scenarios characterized by different users density and mobility models to obtain insights which are generalizable and that provide interesting guidelines for network operators.


title: Entropy production for quasi-adiabatic parameter changes dominated by hydrodynamics

abstract: A typical strategy of realizing an adiabatic change of a many-particle system is to vary parameters very slowly on a time scale $t_\text{r}$ much larger than intrinsic equilibration time scales. In the ideal case of adiabatic state preparation, $t_\text{r} \to \infty$, the entropy production vanishes. In systems with conservation laws, the approach to the adiabatic limit is hampered by hydrodynamic long-time tails, arising from the algebraically slow relaxation of hydrodynamic fluctuations. We argue that the entropy production $\Delta S$ of a diffusive system at finite temperature in one or two dimensions is governed by hydrodynamic modes resulting in $\Delta S \sim 1/\sqrt{t_\text{r}}$ in $d=1$ and $\Delta S \sim \ln(t_\text{r})/t_\text{r}$ in $d=2$. In higher dimensions, entropy production is instead dominated by other high-energy modes with $\Delta S \sim 1/t_\text{r}$. In order to verify the analytic prediction, we simulate the non-equilibrium dynamics of a classical two-component gas with point-like particles in one spatial dimension and examine the total entropy production as a function of $t_\text{r}$.


title: Small Noisy and Perspective Face Detection using Deformable Symmetric Gabor Wavelet Network

abstract: Face detection and tracking in low resolution image is not a trivial task due to the limitation in the appearance features for face characterization. Moreover, facial expression gives additional distortion on this small and noisy face. In this paper, we propose deformable symmetric Gabor wavelet network face model for face detection in low resolution image. Our model optimizes the rotation, translation, dilation, perspective and partial deformation amount of the face model with symmetry constraints. Symmetry constraints help our model to be more robust to noise and distortion. Experimental results on our low resolution face image dataset and videos show promising face detection and tracking results under various challenging conditions.


title: Fusion-Catalyzed Pruning for Optimizing Deep Learning on Intelligent Edge Devices

abstract: The increasing computational cost of deep neural network models limits the applicability of intelligent applications on resource-constrained edge devices. While a number of neural network pruning methods have been proposed to compress the models, prevailing approaches focus only on parametric operators (e.g., convolution), which may miss optimization opportunities. In this paper, we present a novel fusion-catalyzed pruning approach, called FuPruner, which simultaneously optimizes the parametric and non-parametric operators for accelerating neural networks. We introduce an aggressive fusion method to equivalently transform a model, which extends the optimization space of pruning and enables non-parametric operators to be pruned in a similar manner as parametric operators, and a dynamic filter pruning method is applied to decrease the computational cost of models while retaining the accuracy requirement. Moreover, FuPruner provides configurable optimization options for controlling fusion and pruning, allowing much more flexible performance-accuracy trade-offs to be made. Evaluation with state-of-the-art residual neural networks on five representative intelligent edge platforms, Jetson TX2, Jetson Nano, Edge TPU, NCS, and NCS2, demonstrates the effectiveness of our approach, which can accelerate the inference of models on CIFAR-10 and ImageNet datasets.


title: Classifying pole-skipping points

abstract: We clarify general mathematical and physical properties of pole-skipping points. For this purpose, we analyse scalar and vector fields in hyperbolic space. This setup is chosen because it is simple enough to allow us to obtain analytical expressions for the Green's function and check everything explicitly, while it contains all the essential features of pole-skipping points. We classify pole-skipping points in three types (type-I, II, III). Type-I and Type-II are distinguished by the (limiting) behavior of the Green's function near the pole-skipping points. Type-III can arise at non-integer $i\omega$ values, which is due to a specific UV condition, contrary to the types I and II, which are related to a non-unique near-horizon boundary condition. We also clarify the relation between the pole-skipping structure of the Green's function and the near-horizon analysis. We point out that there are subtle cases where the near-horizon analysis alone may not be able to capture the existence and properties of the pole-skipping points.