title: Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion

abstract: The notion of an anonymous shared memory (recently introduced in PODC 2017) considers that processes use different names for the same memory location. Hence, there is permanent disagreement on the location names among processes. In this context, the PODC paper presented -among other results- a symmetric deadlock-free mutual exclusion (mutex) algorithm for two processes and a necessary condition on the size $m$ of the anonymous memory for the existence of a symmetric deadlock-free mutex algorithm in an $n$-process system. This condition states that $m$ must be greater than $1$ and belong to the set $M(n)=\{m:\forall~\ell:1<\ell\leq n:~\gcd(\ell,m)=1\}$ (symmetric means that, while each process has its own identity, process identities can only be compared with equality). The present paper answers several open problems related to symmetric deadlock-free mutual exclusion in an $n$-process system ($n\geq 2$) where the processes communicate through $m$ registers. It first presents two algorithms. The first considers that the registers are anonymous read/write atomic registers and works for any $m$ greater than $1$ and belonging to the set $M(n)$. It thus shows that this condition on $m$ is both necessary and sufficient. The second algorithm considers anonymous read/modify/write atomic registers. It assumes that $m\in M(n)$. These algorithms differ in their design principles and their costs (measured as the number of registers which must contain the identity of a process to allow it to enter the critical section). The paper also shows that the condition $m\in M(n)$ is necessary for deadlock-free mutex on top of anonymous read/modify/write atomic registers. It follows that, when $m>1$, $m\in M(n)$ is a tight characterization of the size of the anonymous shared memory needed to solve deadlock-free mutex, be the anonymous registers read/write or read/modify/write.


title: Optimal Steady-State Control for Linear Time-Invariant Systems

abstract: We consider the problem of designing a feedback controller that guides the input and output of a linear time-invariant system to a minimizer of a convex optimization problem. The system is subject to an unknown disturbance that determines the feasible set defined by the system equilibrium constraints. Our proposed design enforces the Karush-Kuhn-Tucker optimality conditions in steady-state without incorporating dual variables into the controller. We prove that the input and output variables achieve optimality in equilibrium and outline two procedures for designing controllers that stabilize the closed-loop system. We explore key ideas through simple examples and simulations.


title: Creation of a Dirac monopole-antimonopole pair in a spin-1 Bose-Einstein condensate

abstract: We theoretically demonstrate that a pair of Dirac monopoles with opposite synthetic charges can be created within a single spin-1 Bose-Einstein condensate by steering the spin degrees of freedom by external magnetic fields. Although the net synthetic magnetic charge of this configuration vanishes, both the monopole and the antimonopole are accompanied by vortex filaments carrying opposite angular momenta. Such a Dirac dipole can be realized experimentally by imprinting a spin texture with a nonlinear magnetic field generated by a pair of coils in a modified Helmholtz configuration. We also investigate the case where the initial state for the dipole-creation procedure is pierced by a quantized vortex line with a winding number k. It is shown that if k = -1, the resulting monopole and antimonopole lie along the core of a singly quantized vortex whose sign is reversed at the locations of the monopoles. For k = -2, the monopole and antimonopole are connected by a vortex line segment carrying two quanta of angular momentum, and hence the dipole as a whole is an isolated configuration. In addition, we simulate the long-time evolution of the dipoles in the magnetic field used to create them. For k = 0, each of the semi-infinite doubly quantized vortices splits into two singly quantized vortices, as in the case of a single Dirac monopole. For k = -1 and k = -2, the initial vortices deform into a vortex with a kink and a vortex ring, respectively.


title: 3D Dirac semimetal Cd3As2: A review of material properties

abstract: Cadmium arsenide (Cd3As2) - a time-honored and widely explored material in solid-state physics - has recently attracted considerable attention. This was triggered by a theoretical prediction concerning the presence of 3D symmetry-protected massless Dirac electrons, which could turn Cd3As2 into a 3D analogue of graphene. Subsequent extended experimental studies have provided us with compelling experimental evidence of conical bands in this system, and revealed a number of interesting properties and phenomena. At the same time, some of the material properties remain the subject of vast discussions despite recent intensive experimental and theoretical efforts, which may hinder the progress in understanding and applications of this appealing material. In this review, we focus on the basic material parameters and properties of Cd3As2, in particular those which are directly related to the conical features in the electronic band structure of this material. The outcome of experimental investigations, performed on Cd3As2 using various spectroscopic and transport techniques within the past sixty years, is compared with theoretical studies. These theoretical works gave us not only simplified effective models, but more recently, also the electronic band structure calculated numerically using ab initio methods.


title: Data-Driven Load Modeling and Forecasting of Residential Appliances

abstract: The expansion of residential demand response programs and increased deployment of controllable loads will require accurate appliance-level load modeling and forecasting. This paper proposes a conditional hidden semi-Markov model to describe the probabilistic nature of residential appliance demand, and an algorithm for short-term load forecasting. Model parameters are estimated directly from power consumption data using scalable statistical learning methods. Case studies performed using sub-metered 1-minute power consumption data from several types of appliances demonstrate the effectiveness of the model for load forecasting and anomaly detection.


title: Probabilistic Semantic Inpainting with Pixel Constrained CNNs

abstract: Semantic inpainting is the task of inferring missing pixels in an image given surrounding pixels and high level image semantics. Most semantic inpainting algorithms are deterministic: given an image with missing regions, a single inpainted image is generated. However, there are often several plausible inpaintings for a given missing region. In this paper, we propose a method to perform probabilistic semantic inpainting by building a model, based on PixelCNNs, that learns a distribution of images conditioned on a subset of visible pixels. Experiments on the MNIST and CelebA datasets show that our method produces diverse and realistic inpaintings.


title: Experiences from the Commissioning and First Physics Run of the Fermilab Muon g-2 Experiment

abstract: The Muon g-2 Experiment (E989) at Fermilab is seeking to measure the anomalous magnetic moment of muon ($a_{\mu}$) with a precision of 140 parts-per-billion (ppb) and aiming to resolve the discrepancy between the E821 measurement and the Standard Model calculation of $a_{\mu}$. In E989, the muon beam is stored in a ring magnet. The anomalous spin precession frequency $\omega_{a}$ is measured by counting decay positrons in 24 calorimeters, and the magnetic field is measured by nuclear magnetic resonance (NMR) probes. Improvements in this experiment with respect to its predecessor and the progress achieved in the commissioning run and the first physics run, Run-1, are presented.


title: Efficient Non-parametric Bayesian Hawkes Processes

abstract: In this paper, we develop an efficient nonparametric Bayesian estimation of the kernel function of Hawkes processes. The non-parametric Bayesian approach is important because it provides flexible Hawkes kernels and quantifies their uncertainty. Our method is based on the cluster representation of Hawkes processes. Utilizing the finite support assumption of the Hawkes process, we efficiently sample random branching structures and thus, we split the Hawkes process into clusters of Poisson processes. We derive two algorithms -- a block Gibbs sampler and a maximum a posteriori estimator based on expectation maximization -- and we show that our methods have a linear time complexity, both theoretically and empirically. On synthetic data, we show our methods to be able to infer flexible Hawkes triggering kernels. On two large-scale Twitter diffusion datasets, we show that our methods outperform the current state-of-the-art in goodness-of-fit and that the time complexity is linear in the size of the dataset. We also observe that on diffusions related to online videos, the learned kernels reflect the perceived longevity for different content types such as music or pets videos.


title: Exotic Springer fibers for orbits corresponding to one-row bipartitions

abstract: We study the geometry and topology of exotic Springer fibers for orbits corresponding to one-row bipartitions from an explicit, combinatorial point of view. This includes a detailed analysis of the structure of the irreducible components and their intersections as well as the construction of an explicit affine paving. Moreover, we compute the ring structure of cohomology by constructing a CW-complex homotopy equivalent to the exotic Springer fiber. This homotopy equivalent space admits an action of the type C Weyl group inducing Kato's original exotic Springer representation on cohomology. Our results are described in terms of the diagrammatics of the one-boundary Temperley-Lieb algebra (also known as the blob algebra). This provides a first step in generalizing the geometric versions of Khovanov's arc algebra to the exotic setting.


title: Basis-Independent Spectral Methods for Non-linear Optical Response in Arbitrary Tight-binding Models

abstract: In this paper, we developed a basis-independent perturbative method for calculating the non-linear optical response of arbitrary non-interacting tight-binding models. Our method is based on the non-equilibrium Keldysh formalism and allows an efficient numerical implementation within the framework of the Kernel Polynomial Method for systems which are not required to be translation-invariant. Some proof-of-concept results of the second-order optical conductivity are presented for the special case of gapped graphene with vacancies and an on-site Anderson disordered potential.


title: Find the dimension that counts: Fast dimension estimation and Krylov PCA

abstract: High dimensional data and systems with many degrees of freedom are often characterized by covariance matrices. In this paper, we consider the problem of simultaneously estimating the dimension of the principal (dominant) subspace of these covariance matrices and obtaining an approximation to the subspace. This problem arises in the popular principal component analysis (PCA), and in many applications of machine learning, data analysis, signal and image processing, and others. We first present a novel method for estimating the dimension of the principal subspace. We then show how this method can be coupled with a Krylov subspace method to simultaneously estimate the dimension and obtain an approximation to the subspace. The dimension estimation is achieved at no additional cost. The proposed method operates on a model selection framework, where the novel selection criterion is derived based on random matrix perturbation theory ideas. We present theoretical analyses which (a) show that the proposed method achieves strong consistency (i.e., yields optimal solution as the number of data-points $n\rightarrow \infty$), and (b) analyze conditions for exact dimension estimation in the finite $n$ case. Using recent results, we show that our algorithm also yields near optimal PCA. The proposed method avoids forming the sample covariance matrix (associated with the data) explicitly and computing the complete eigen-decomposition. Therefore, the method is inexpensive, which is particularly advantageous in modern data applications where the covariance matrices can be very large. Numerical experiments illustrate the performance of the proposed method in various applications.


title: Random polymers via orthogonal Whittaker and symplectic Schur functions

abstract: This thesis deals with some $(1+1)$-dimensional lattice path models from the KPZ universality class: the directed random polymer with inverse-gamma weights (known as log-gamma polymer) and its zero temperature degeneration, i.e. the last passage percolation model, with geometric or exponential waiting times. We consider three path geometries: point-to-line, point-to-half-line, and point-to-line with paths restricted to stay in a half-plane. Through exact formulas, we establish new connections between integrable probabilistic models and the ubiquitous Whittaker and Schur functions. More in detail, via the use of A. N. Kirillov's geometric Robinson-Schensted-Knuth (RSK) correspondence, we compute the Laplace transform of the polymer partition functions in the above geometries in terms of orthogonal Whittaker functions. In the case of the first two geometries we also provide multiple contour integral formulas. For the corresponding last passage percolation problems, we obtain new formulas in terms of symplectic Schur functions, both directly via RSK on polygonal arrays and via zero temperature limit from the log-gamma polymer formulas. As scaling limits of the point-to-line and point-to-half-line models with exponential waiting times, we derive Sasamoto's Fredholm determinant formula for the GOE Tracy-Widom distribution, as well as the one-point marginal distribution of the ${\rm Airy}_{2\to1}$ process.


title: Null screen quasi-conformal hypersurfaces in semi-Riemannian manifolds and applications

abstract: We introduce a class of null hypersurfaces of a semi-Riemannian manifold, namely, screen quasi-conformal hypersurfaces, whose geometry may be studied through the geometry of its screen distribution. In particular, this notion allows us to extend some results of previous works to the case in which the sectional curvature of the ambient space is different from zero. As applications, we study umbilical, isoparametric and Einstein null hypersurfaces in Lorentzian space forms and provide several classification results.


title: Learning Tractable Probabilistic Models for Moral Responsibility and Blame

abstract: Moral responsibility is a major concern in autonomous systems, with applications ranging from self-driving cars to kidney exchanges. Although there have been recent attempts to formalise responsibility and blame, among similar notions, the problem of learning within these formalisms has been unaddressed. From the viewpoint of such systems, the urgent questions are: (a) How can models of moral scenarios and blameworthiness be extracted and learnt automatically from data? (b) How can judgements be computed effectively and efficiently, given the split-second decision points faced by some systems? By building on constrained tractable probabilistic learning, we propose and implement a hybrid (between data-driven and rule-based methods) learning framework for inducing models of such scenarios automatically from data and reasoning tractably from them. We report on experiments that compare our system with human judgement in three illustrative domains: lung cancer staging, teamwork management, and trolley problems.


title: Novel Single View Constraints for Manhattan 3D Line Reconstruction

abstract: This paper proposes a novel and exact method to reconstruct line-based 3D structure from a single image using Manhattan world assumption. This problem is a distinctly unsolved problem because there can be multiple 3D reconstructions from a single image. Thus, we are often forced to look for priors like Manhattan world assumption and common scene structures. In addition to the standard orthogonality, perspective projection, and parallelism constraints, we investigate a few novel constraints based on the physical realizability of the 3D scene structure. We treat the line segments in the image to be part of a graph similar to straws and connectors game, where the goal is to back-project the line segments in 3D space and while ensuring that some of these 3D line segments connect with each other (i.e., truly intersect in 3D space) to form the 3D structure. We consider three sets of novel constraints while solving the reconstruction: (1) constraints on a series of Manhattan line intersections that form cycles, but are not all physically realizable, (2) constraints on true and false intersections in the case of nearby lines lying on the same Manhattan plane, and (3) constraints from the intersections on boundary and non-boundary line segments. The reconstruction is achieved using mixed integer linear programming (MILP), and we show compelling results on real images. Along with this paper, we will release a challenging Single View Line Reconstruction dataset with ground truth 3D line models for research purposes.


title: The Lockman Hole Project: new constraints on the sub-mJy source counts from a wide-area 1.4 GHz mosaic

abstract: This paper is part of a series discussing the results obtained in the framework of a wide international collaboration - the Lockman Hole Project - aimed at improving the extensive multiband coverage available in the Lockman Hole region, through novel deep, wide-area, multifrequency (60, 150, 350 MHz, and 1.4 GHz) radio surveys. This multifrequency, multi-band information will be exploited to get a comprehensive view of star formation and active galactic nucleus activities in the high-redshift Universe from a radio perspective. In this paper, we present novel 1.4 GHz mosaic observations obtained with the Westerbork Synthesis Radio Telescope. With an area coverage of 6.6 deg2, this is the largest survey reaching an rms noise of 11 uJy/beam. In this paper, we present the source catalogue (~6000 sources with flux densities S>55 uJy (5sigma), and we discuss the 1.4 GHz source counts derived from it. Our source counts provide very robust statistics in the flux range 0.1<S<1 mJy, and are in excellent agreement with other robust determinations obtained at lower and higher flux densities. A clear excess is found with respect to the counts predicted by the semi-empirical radio sky simulations developed in the framework of the Square Kilometre Array Simulated Skies project. A preliminary analysis of the identified (and classified) sources suggests this excess is to be ascribed to star-forming galaxies, which seem to show a steeper evolution than predicted.


title: Efficient Two-Step Adversarial Defense for Deep Neural Networks

abstract: In recent years, deep neural networks have demonstrated outstanding performance in many machine learning tasks. However, researchers have discovered that these state-of-the-art models are vulnerable to adversarial examples: legitimate examples added by small perturbations which are unnoticeable to human eyes. Adversarial training, which augments the training data with adversarial examples during the training process, is a well known defense to improve the robustness of the model against adversarial attacks. However, this robustness is only effective to the same attack method used for adversarial training. Madry et al.(2017) suggest that effectiveness of iterative multi-step adversarial attacks and particularly that projected gradient descent (PGD) may be considered the universal first order adversary and applying the adversarial training with PGD implies resistance against many other first order attacks. However, the computational cost of the adversarial training with PGD and other multi-step adversarial examples is much higher than that of the adversarial training with other simpler attack techniques. In this paper, we show how strong adversarial examples can be generated only at a cost similar to that of two runs of the fast gradient sign method (FGSM), allowing defense against adversarial attacks with a robustness level comparable to that of the adversarial training with multi-step adversarial examples. We empirically demonstrate the effectiveness of the proposed two-step defense approach against different attack methods and its improvements over existing defense strategies.


title: PHENIX study of the initial state with forward hadron measurements in 200 GeV p(d)+A and $^{3}$He$+$Au collisions

abstract: Forward hadron measurements in p(d)+A provide a signal to study nuclear shadowing, initial state energy loss and/or gluon saturation effects as a function of rapidity, centrality and energy. High $p_T$ identified $\pi^{0}$ measurements are an essential first step toward measuring prompt photon production. The $\pi^{0}$ measurements are enabled by the PHENIX MPC-EX detector, a Si-W preshower detector located in front of the Muon Piston Calorimeter (MPC), expanding the neutral pion reconstruction capabilities in the rapidity range $3.1< \eta <3.8$ out to high energies, $E < 80$ GeV. Previous PHENIX measurements of punch-through charged hadrons in the muon arms in the rapidity range $1.4< \vert \eta \vert <2.2$ were significantly improved through the capability of the forward silicon vertex detector (FVTX) to determine the transverse momentum and rapidity with high precision and reject background from secondary hadrons. PHENIX collected d+Au data with the MPC-EX in the 2016 run at $\sqrt{s_{NN}} =$ 200, 62, 39 and 19.6 GeV; and p+p and p+Au(Al) data with the FVTX in 2015 at 200 GeV. In this talk, we will present first results for high $p_T$ $\pi^{0}$ production from the $\sqrt{s_{NN}}$ = 200 GeV dataset, the status of the prompt photon measurement, as well as charged hadron nuclear modification factors in p+Au(Al) and $^{3}$He$+$Au.


title: Sunflowers of Convex Open Sets

abstract: A sunflower is a collection of sets $\{U_1,\ldots, U_n\}$ such that the pairwise intersection $U_i\cap U_j$ is the same for all choices of distinct $i$ and $j$. We study sunflowers of convex open sets in $\mathbb R^d$, and provide a Helly-type theorem describing a certain "rigidity" that they possess. In particular we show that if $\{U_1,\ldots, U_{d+1}\}$ is a sunflower in $\mathbb R^d$, then any hyperplane that intersects all $U_i$ must also intersect $\bigcap_{i=1}^{d+1} U_i$. We use our results to describe a combinatorial code $\mathcal C_n$ for all $n\ge 2$ which is on the one hand minimally non-convex, and on the other hand has no local obstructions. Along the way we further develop the theory of morphisms of codes, and establish results on the covering relation in the poset $\mathbf P_{\mathbf{Code}}$.


title: Problem Solving at the Edge of Chaos: Entropy, Puzzles and the Sudoku Freezing Transition

abstract: Sudoku is a widely popular $\mathcal{NP}$-Complete combinatorial puzzle whose prospects for studying human computation have recently received attention, but the algorithmic hardness of Sudoku solving is yet largely unexplored. In this paper, we study the statistical mechanical properties of random Sudoku grids, showing that puzzles of varying sizes attain a hardness peak associated with a critical behavior in the constrainedness of random instances. In doing so, we provide the first description of a Sudoku \emph{freezing} transition, showing that the fraction of backbone variables undergoes a phase transition as the density of pre-filled cells is calibrated. We also uncover a variety of critical phenomena in the applicability of Sudoku elimination strategies, providing explanations as to why puzzles become boring outside the typical range of clue densities adopted by Sudoku publishers. We further show that the constrainedness of Sudoku puzzles can be understood in terms of the informational (Shannon) entropy of their solutions, which only increases up to the critical point where variables become frozen. Our findings shed light on the nature of the $k$-coloring transition when the graph topology is fixed, and are an invitation to the study of phase transition phenomena in problems defined over \emph{alldifferent} constraints. They also suggest advantages to studying the statistical mechanics of popular $\mathcal{NP}$-Hard puzzles, which can both aid the design of hard instances and help understand the difficulty of human problem solving.


title: JOBS: Joint-Sparse Optimization from Bootstrap Samples

abstract: Classical signal recovery based on $\ell_1$ minimization solves the least squares problem with all available measurements via sparsity-promoting regularization. In practice, it is often the case that not all measurements are available or required for recovery. Measurements might be corrupted/missing or they arrive sequentially in streaming fashion. In this paper, we propose a global sparse recovery strategy based on subsets of measurements, named JOBS, in which multiple measurements vectors are generated from the original pool of measurements via bootstrapping, and then a joint-sparse constraint is enforced to ensure support consistency among multiple predictors. The final estimate is obtained by averaging over the $K$ predictors. The performance limits associated with different choices of number of bootstrap samples $L$ and number of estimates $K$ is analyzed theoretically. Simulation results validate some of the theoretical analysis, and show that the proposed method yields state-of-the-art recovery performance, outperforming $\ell_1$ minimization and a few other existing bootstrap-based techniques in the challenging case of low levels of measurements and is preferable over other bagging-based methods in the streaming setting since it performs better with small $K$ and $L$ for data-sets with large sizes.


title: Neural Networks Models for Analyzing Magic: the Gathering Cards

abstract: Historically, games of all kinds have often been the subject of study in scientific works of Computer Science, including the field of machine learning. By using machine learning techniques and applying them to a game with defined rules or a structured dataset, it's possible to learn and improve on the already existing techniques and methods to tackle new challenges and solve problems that are out of the ordinary. The already existing work on card games tends to focus on gameplay and card mechanics. This work aims to apply neural networks models, including Convolutional Neural Networks and Recurrent Neural Networks, in order to analyze Magic: the Gathering cards, both in terms of card text and illustrations; the card images and texts are used to train the networks in order to be able to classify them into multiple categories. The ultimate goal was to develop a methodology that could generate card text matching it to an input image, which was attained by relating the prediction values of the images and generated text across the different categories.


title: Deep residual networks for automatic sleep stage classification of raw polysomnographic waveforms

abstract: We have developed an automatic sleep stage classification algorithm based on deep residual neural networks and raw polysomnogram signals. Briefly, the raw data is passed through 50 convolutional layers before subsequent classification into one of five sleep stages. Three model configurations were trained on 1850 polysomnogram recordings and subsequently tested on 230 independent recordings. Our best performing model yielded an accuracy of 84.1% and a Cohen's kappa of 0.746, improving on previous reported results by other groups also using only raw polysomnogram data. Most errors were made on non-REM stage 1 and 3 decisions, errors likely resulting from the definition of these stages. Further testing on independent cohorts is needed to verify performance for clinical use.


title: Logarithmic Chow theory

abstract: We describe a refined Chow theory for log schemes extending the theory of b-Chow suggested Holmes Pixton and Schmidt based off of a definition of Shokurov. This produces a dimension graded family of Abelian groups supporting a push-forward and pull-back along proper and log flat morphisms respectively, together with a bivariant theory satisfying Poincare Duality. In the final section we relate this construction to the construction of the log normal cone by Leo Herr.


title: Direct numerical simulation of supersonic pipe flow at moderate Reynolds number

abstract: We study compressible turbulent flow in a circular pipe, at computationally high Reynolds number. Classical related issues are addressed and discussed in light of the DNS data, including validity of compressibility transformations, velocity/temperature relations, passive scalar statistics, and size of turbulent eddies.Regarding velocity statistics, we find that Huang's transformation yields excellent universality of the scaled Reynolds stresses distributions, whereas the transformation proposed by Trettel and Larsson (2016) yields better representation of the effects of strong variation of density and viscosity occurring in the buffer layer on the mean velocity distribution. A clear logarithmic layer is recovered in terms of transformed velocity and wall distance coordinates at the higher Reynolds number under scrutiny ($\Rey_{\tau} \approx 1000$), whereas the core part of the flow is found to be characterized by a universal parabolic velocity profile. Based on formal similarity between the streamwise velocity and the passive scalar transport equations, we further propose an extension of the above compressibility transformations to also achieve universality of passive scalar statistics. Analysis of the velocity/temperature relationship provides evidence for quadratic dependence which is very well approximated by the thermal analogy proposed by Zhang et Al.(2014). The azimuthal velocity and scalar spectra show an organization very similar to canonical incompressible flow, with a bump-shaped distribution across the flow scales, whose peak increases with the wall distance. We find that the size growth effect is well accounted for through an effective length scale accounting for the local friction velocity and for the local mean shear.


title: Open charm hadron spectroscopy at B-factories

abstract: Open charm hadrons are excellent probe to study the dynamics of quarks and gluons inside hadrons. Because the mass of a charm quark is heavier than $\Lambda_{QCD}$, the so called heavy quark symmetry emerges in the hadron containing a charm quark and plays a central role in the classification and constraining the interactions. Belle and BaBar, which are B-factory experiments, have made significant advances in the field of open charm hadron spectroscopy in these 15 years. In this article, experimental advances on both open charm mesons and baryons by B-factory experiments are reviewed. Finally, the prospect of the open charm hadrons with the next generation B-factory experiment, Belle II is described.


title: Balancing Global Exploration and Local-connectivity Exploitation with Rapidly-exploring Random disjointed-Trees

abstract: Sampling efficiency in a highly constrained environment has long been a major challenge for sampling-based planners. In this work, we propose Rapidly-exploring Random disjointed-Trees* (RRdT*), an incremental optimal multi-query planner. RRdT* uses multiple disjointed-trees to exploit local-connectivity of spaces via Markov Chain random sampling, which utilises neighbourhood information derived from previous successful and failed samples. To balance local exploitation, RRdT* actively explore unseen global spaces when local-connectivity exploitation is unsuccessful. The active trade-off between local exploitation and global exploration is formulated as a multi-armed bandit problem. We argue that the active balancing of global exploration and local exploitation is the key to improving sample efficient in sampling-based motion planners. We provide rigorous proofs of completeness and optimal convergence for this novel approach. Furthermore, we demonstrate experimentally the effectiveness of RRdT*'s locally exploring trees in granting improved visibility for planning. Consequently, RRdT* outperforms existing state-of-the-art incremental planners, especially in highly constrained environments.


title: Restricted percolation critical exponents in high dimensions

abstract: Despite great progress in the study of critical percolation on $\mathbb{Z}^d$ for $d$ large, properties of critical clusters in high-dimensional fractional spaces and boxes remain poorly understood, unlike the situation in two dimensions. Closely related models such as critical branching random walk give natural conjectures for the value of the relevant high-dimensional critical exponents; see in particular the conjecture by Kozma-Nachmias that the probability that $0$ and $(n, n, n, \ldots)$ are connected within $[-n,n]^d$ scales as $n^{-2-2d}$. In this paper, we study the properties of critical clusters in high-dimensional half-spaces and boxes. In half-spaces, we show that the probability of an open connection ("arm") from $0$ to the boundary of a sidelength $n$ box scales as $n^{-3}$. We also find the scaling of the half-space two-point function (the probability of an open connection between two vertices) and the tail of the cluster size distribution. In boxes, we obtain the scaling of the two-point function between vertices which are any macroscopic distance away from the boundary.


title: Social Network Mediation Analysis: a Latent Space Approach

abstract: Social networks contain data on both actor attributes and social connections among them. Such connections reflect the dependence among social actors, which is important for individual's mental health and social development. To investigate the potential mediation role of a social network, we propose a mediation model with a social network as a mediator. In the model, dependence among actors is accounted by a few mutually orthogonal latent dimensions. The scores on these dimensions are directly involved in the intervention process between an independent variable and a dependent variable. Because all the latent dimensions are equivalent in terms of their relationship to social networks, it is hardly to name them. The intervening effect through an individual dimension is thus of little practical interest. Therefore, we would rather focus on the mediation effect of a network. Although the scores are not unique, we rigorously articulate that the proposed network mediation effect is still well-defined. To estimate the model, we adopt a Bayesian estimation method. This modeling framework and the Bayesian estimation method is evaluated through a simulation study under representative conditions. Its usefulness is demonstrated through an empirical application to a college friendship network.


title: The Brunn-Minkowski inequality and a Minkowski problem for $\mathcal{A}$-harmonic Green's function

abstract: In this article we study two classical problems in convex geometry associated to $\mathcal{A}$-harmonic PDEs, quasi-linear elliptic PDEs whose structure is modeled on the $p$-Laplace equation. Let $p$ be fixed with $2\leq n\leq p<\infty$. For a convex compact set $E$ in $\mathbb{R}^{n}$, we define and then prove the existence and uniqueness of the so called $\mathcal{A}$-harmonic Green's function for the complement of $E$ with pole at infinity. We then define a quantity $\mbox{C}_{\mathcal{A}}(E)$ which can be seen as the behavior of this function near infinity. In the first part of this article, we prove that $\mbox{C}_{\mathcal{A}}(\cdot)$ satisfies the following Brunn-Minkowski type inequality \[ \left[\mbox{C}_\mathcal{A} ( \lambda E_1 + (1-\lambda) E_2 )\right]^{\frac{1}{p-n}} \geq \lambda \, \left[\mbox{C}_\mathcal{A} ( E_1 )\right]^{\frac{1}{p-n}} + (1-\lambda) \left[\mbox{C}_\mathcal{A} (E_2 )\right]^{\frac{1}{p-n}} \] when $n<p<\infty$, $0 \leq \lambda \leq 1$, and $E_1, E_2$ are nonempty convex compact sets in $\mathbb{R}^{n}$. We also show that $\mbox{C}_\mathcal{A}(\cdot)$ satisfies a similar inequality when $p=n$. Moreover, if equality holds in the either of these inequalities for some $E_1$ and $E_2$ then under certain regularity and structural assumptions on $\mathcal{A}$ we show that these two sets are homothetic. In the second part of this article we study a Minkowski type problem for a measure associated to the $\mathcal{A}$-harmonic Green's function for the complement of a convex compact set $E$ when $n\leq p<\infty$. If $\mu_E$ denotes this measure, then we show that necessary and sufficient conditions for existence under this setting are exactly the same conditions as in the classical Minkowski problem. We also show that this problem has a unique solution up to translation.


title: Vertical Displacement Events in Shaped Tokamaks

abstract: Computational studies of vertical displacement events (VDE's) in shaped tokamaks are presented. The calculations are performed with our nonlinear, 3D resistive MHD code, CTD, which can efficiently treat resistive walls and free boundary displacements in moderately-shaped geometries. This work has a number of related goals: First, the mechanisms for generation of halo currents, the paths taken by them in the plasma and surrounding conductors, and their relative magnitude are elucidated. Second, the coupling between an n=0 vertical instability and an n=1 external kink mode is examined to offer a possible explanation for the nonuniformities observed in the poloidal halo currents during VDE's, and the forces generated by them on the plasma-facing components. Finally, effects of a rotating liquid metal wall on the equilibrium and n=0 stability of elongated plasmas are briefly discussed.


title: Building traps for skyrmions by the incorporation of magnetic defects into nanomagnets: pinning and scattering traps by magnetic properties engineering

abstract: In this work we have used micromagnetic simulations to report four ways to build traps for magnetic skyrmions. Magnetic defects have been modeled as local variations in the material parameters, such as the exchange stiffness, saturation magnetization, magnetocrystalline anisotropy and Dzyaloshinskii-Moriya constant. We observe both pinning (potential well) and scattering (potential barrier) traps when tuning either a local increase or a local reduction for each one of these magnetic properties. It is found that the skyrmion-defect aspect ratio is a crucial parameter to build traps for skyrmions. In particular, the efficiency of the trap is compromised if the defect size is smaller than the skyrmion size, because they interact weakly. On the other hand, if the defect size is larger than the skyrmion diameter, the skyrmion-defect interaction becomes evident. Thus, the strength of the skyrmion-defect interaction can be tuned by the modification of the magnetic properties within a region with suitable size. Furthermore, the basic physics behind the mechanisms for pinning and for scattering is discussed. In particular, we discover that skyrmions move towards the magnetic region which tends to maximize its diameter; it enables the magnetic system to minimize its energy. Thus, we are able to explain why skyrmions are either attracted or repelled by a region with modified magnetic properties. Results here presented are of utmost significance for the development and realization of future spintronic devices, in which skyrmions will work as information carriers.


title: Coded Energy-Efficient Beam-Alignment for Millimeter-Wave Networks

abstract: Millimeter-wave communications rely on narrow-beam transmissions to cope with the strong signal attenuation at these frequencies, thus demanding precise alignment between transmitter and receiver. However, the beam-alignment procedure may entail a huge overhead and its performance may be degraded by detection errors. This paper proposes a coded energy-efficient beam-alignment scheme, robust against detection errors. Specifically, the beam-alignment sequence is designed such that the error-free feedback sequences are generated from a codebook with the desired error correction capabilities. Therefore, in the presence of detection errors, the error-free feedback sequences can be recovered with high probability. The assignment of beams to codewords is designed to optimize energy efficiency, and a water-filling solution is proved. The numerical results with analog beams depict up to 4dB and 8dB gains over exhaustive and uncoded beam-alignment schemes, respectively.


title: SPIGAN: Privileged Adversarial Learning from Simulation

abstract: Deep Learning for Computer Vision depends mainly on the source of supervision.Photo-realistic simulators can generate large-scale automatically labeled syntheticdata, but introduce a domain gap negatively impacting performance. We propose anew unsupervised domain adaptation algorithm, called SPIGAN, relying on Sim-ulator Privileged Information (PI) and Generative Adversarial Networks (GAN).We use internal data from the simulator as PI during the training of a target tasknetwork. We experimentally evaluate our approach on semantic segmentation. Wetrain the networks on real-world Cityscapes and Vistas datasets, using only unla-beled real-world images and synthetic labeled data with z-buffer (depth) PI fromthe SYNTHIA dataset. Our method improves over no adaptation and state-of-the-art unsupervised domain adaptation techniques.


title: Thermodynamic Formalism for Topological Markov Chains on Borel Standard Spaces

abstract: We develop a Thermodynamic Formalism for bounded continuous potentials defined on the sequence space $X\equiv E^{\mathbb{N}}$, where $E$ is a general Borel standard space. In particular, we introduce meaningful concepts of entropy and pressure for shifts acting on $X$ and obtain the existence of equilibrium states as additive probability measures for any bounded continuous potential. Furthermore, we establish convexity and other structural properties of the set of equilibrium states, prove a version of the Perron-Frobenius-Ruelle theorem under additional assumptions on the regularity of the potential and show that the Yosida-Hewitt decomposition of these equilibrium states do not have a purely additive part. We then apply our results to the construction of invariant measures of time-homogeneous Markov chains taking values on a general Borel standard space and obtain exponential asymptotic stability for a class of Markov operators. We also construct conformal measures for an infinite collection of interacting random paths which are associated to a potential depending on infinitely many coordinates. Under an additional differentiability hypothesis, we show how this process is related after a proper scaling limit to a certain infinite dimensional diffusion.


title: A Summary of the 4th International Workshop on Recovering 6D Object Pose

abstract: This document summarizes the 4th International Workshop on Recovering 6D Object Pose which was organized in conjunction with ECCV 2018 in Munich. The workshop featured four invited talks, oral and poster presentations of accepted workshop papers, and an introduction of the BOP benchmark for 6D object pose estimation. The workshop was attended by 100+ people working on relevant topics in both academia and industry who shared up-to-date advances and discussed open problems.


title: Extended $\Lambda$CDM model and viscous dark energy: A Bayesian analysis

abstract: We propose an approach considering the nonextensive effects in the context of the Verlinde theory in order to address an extended cosmological model in the context of viscous dark energy. Specifically, this model leads to a tiny perturbation in the dynamics of the expansion of the universe through the generalized Friedmann equations so-called the extended $\Lambda$CDM model. From the observational test standpoint, we make a Bayesian analysis of the models of bulk viscosity for dark energy which follows the Eckart theory of bulk viscosity. These models are investigated through the context of both models $\Lambda$CDM and extended $\Lambda$CDM. The Bayesian analysis is performed using the data of CMB Distance priors, Baryon Acoustic Oscillations Measurements, Cosmic Chronometers, and SNe Ia distance measurements.


title: Gain lifetime characterization through time-resolved stimulated emission in a whispering-gallery mode microresonator

abstract: The precise measurement of the gain lifetime at a specific wavelength holds significant importance for understanding the properties of photonic devices and further improving their performances. Here, we show that the evolution of gains can be well characterized by measuring linewidth changes of an optical mode in a microresonator; this method cannot be achieved using time-resolved photoluminescence (PL) spectroscopy. We use an erbium-doped high-Q whispering-gallery microresonator to show the feasibility of this method. With the increase of time after the pump laser is turned off, the transmission spectrum of a probe signal exhibits transitions from a Lorentz peak to a dip; this indicates a decay of optical gains, and the corresponding lifetime is estimated to be 5.1 ms. Moreover, taper fiber coupling is used to increase the pump and collection efficiency. This method can be extended to other materials and nanostructures.


title: Continuum mechanics with torsion

abstract: This paper is an attempt to introduce methods and concepts of the Riemann-Cartan geometry largely used in such physical theories as general relativity, gauge theories, solid dynamics, etc. to fluid dynamics in general and to studying and modeling turbulence in particular. Thus, in order to account for the rotational degrees of freedom of the irregular dynamics of small scale vortexes, we further generalize our unified first-order hyperbolic formulation of continuum fluid and solid mechanics which treats the flowing medium as a Riemann-Cartan manifold with zero curvature but non-vanishing torsion. We associate the rotational degrees of freedom of the main field of our theory, the distortion field, to the dynamics of microscopic (unresolved) vortexes. The distortion field characterizes the deformation and rotation of the material elements and can be viewed as anholonomic basis triad with non-vanishing torsion. The torsion tensor is then used to characterize distortion's spin and is treated as an independent field with its own time evolution equation. This new governing equation has essentially the structure of the non-linear electrodynamics in a moving medium and can be viewed as a Yang-Mills-type gauge theory. The system is closed by providing an example of the total energy potential. The extended system describes not only irreversible dynamics (which raises the entropy) due to the viscosity or plasticity effect but it also has dispersive features which are due to the reversible energy exchange (which conserves the entropy) between micro and macro scales. Both the irreversible and dispersive processes are represented by relaxation-type algebraic source terms so that the overall system remains first-order hyperbolic. The turbulent state is then treated as an excitation of the equilibrium laminar state due to the non-linear interplay between dissipation and dispersion.


title: Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications

abstract: This volume contains the proceedings of the Fifteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2018), a two-day workshop held in Austin, Texas, USA, on November 5-6, 2018, immediately after FMCAD'18. The proceedings of ACL2-2018 include eleven long papers and two extended abstracts.


title: Cubic Regularization with Momentum for Nonconvex Optimization

abstract: Momentum is a popular technique to accelerate the convergence in practical training, and its impact on convergence guarantee has been well-studied for first-order algorithms. However, such a successful acceleration technique has not yet been proposed for second-order algorithms in nonconvex optimization.In this paper, we apply the momentum scheme to cubic regularized (CR) Newton's method and explore the potential for acceleration. Our numerical experiments on various nonconvex optimization problems demonstrate that the momentum scheme can substantially facilitate the convergence of cubic regularization, and perform even better than the Nesterov's acceleration scheme for CR. Theoretically, we prove that CR under momentum achieves the best possible convergence rate to a second-order stationary point for nonconvex optimization. Moreover, we study the proposed algorithm for solving problems satisfying an error bound condition and establish a local quadratic convergence rate. Then, particularly for finite-sum problems, we show that the proposed algorithm can allow computational inexactness that reduces the overall sample complexity without degrading the convergence rate.


title: Generalized Latent Variable Recovery for Generative Adversarial Networks

abstract: The Generator of a Generative Adversarial Network (GAN) is trained to transform latent vectors drawn from a prior distribution into realistic looking photos. These latent vectors have been shown to encode information about the content of their corresponding images. Projecting input images onto the latent space of a GAN is non-trivial, but previous work has successfully performed this task for latent spaces with a uniform prior. We extend these techniques to latent spaces with a Gaussian prior, and demonstrate our technique's effectiveness.


title: The Impact of White Dwarf Luminosity Profiles on Oscillation Frequencies

abstract: KIC 08626021 is a pulsating DB white dwarf of considerable recent interest, and first of its class to be extensively monitored by Kepler for its pulsation properties. Fitting the observed oscillation frequencies of KIC 08626021 to a model can yield insights into its otherwise-hidden internal structure. Template-based white dwarf models choose a luminosity profile where the luminosity is proportional to the enclosed mass, $L_r \propto M_r$, independent of the effective temperature $T_{\rm eff}$. Evolutionary models of young white dwarfs with $T_{\rm eff} \gtrsim$ 25,000 K suggest neutrino emission gives rise to luminosity profiles with $L_r$ $\not\propto$ $M_r$. We explore this contrast by comparing the oscillation frequencies between two nearly identical white dwarf models: one with an enforced $L_r \propto M_r$ luminosity profile and the other with a luminosity profile determined by the star's previous evolution history. We find the low order g-mode frequencies differ by up to $\simeq$ 70 $\mu$Hz over the range of Kepler observations for KIC 08626021. This suggests that by neglecting the proper thermal structure of the star (e.g., accounting for the effect of plasmon neutrino losses), the model frequencies calculated by using an $L_r \propto M_r$ profile may have uncorrected, effectively-random errors at the level of tens of $\mu$Hz. A mean frequency difference of 30 $\mu$Hz, based on linearly extrapolating published results, suggests a template model uncertainty in the fit precision of $\simeq$ 12% in white dwarf mass, $\simeq$ 9% in the radius, and $\simeq$ 3% in the central oxygen mass fraction.


title: Reference environments: A universal tool for reproducibility in computational biology

abstract: The drive for reproducibility in the computational sciences has provoked discussion and effort across a broad range of perspectives: technological, legislative/policy, education, and publishing. Discussion on these topics is not new, but the need to adopt standards for reproducibility of claims made based on computational results is now clear to researchers, publishers and policymakers alike. Many technologies exist to support and promote reproduction of computational results: containerisation tools like Docker, literate programming approaches such as Sweave, knitr, iPython or cloud environments like Amazon Web Services. But these technologies are tied to specific programming languages (e.g. Sweave/knitr to R; iPython to Python) or to platforms (e.g. Docker for 64-bit Linux environments only). To date, no single approach is able to span the broad range of technologies and platforms represented in computational biology and biotechnology. To enable reproducibility across computational biology, we demonstrate an approach and provide a set of tools that is suitable for all computational work and is not tied to a particular programming language or platform. We present published examples from a series of papers in different areas of computational biology, spanning the major languages and technologies in the field (Python/R/MATLAB/Fortran/C/Java). Our approach produces a transparent and flexible process for replication and recomputation of results. Ultimately, its most valuable aspect is the decoupling of methods in computational biology from their implementation. Separating the 'how' (method) of a publication from the 'where' (implementation) promotes genuinely open science and benefits the scientific community as a whole.


title: Context-Aware Text-Based Binary Image Stylization and Synthesis

abstract: In this work, we present a new framework for the stylization of text-based binary images. First, our method stylizes the stroke-based geometric shape like text, symbols and icons in the target binary image based on an input style image. Second, the composition of the stylized geometric shape and a background image is explored. To accomplish the task, we propose legibility-preserving structure and texture transfer algorithms, which progressively narrow the visual differences between the binary image and the style image. The stylization is then followed by a context-aware layout design algorithm, where cues for both seamlessness and aesthetics are employed to determine the optimal layout of the shape in the background. Given the layout, the binary image is seamlessly embedded into the background by texture synthesis under a context-aware boundary constraint. According to the contents of binary images, our method can be applied to many fields. We show that the proposed method is capable of addressing the unsupervised text stylization problem and is superior to state-of-the-art style transfer methods in automatic artistic typography creation. Besides, extensive experiments on various tasks, such as visual-textual presentation synthesis, icon/symbol rendering and structure-guided image inpainting, demonstrate the effectiveness of the proposed method.


title: Bion non-perturbative contributions versus infrared renormalons in two-dimensional $\mathbb C P^{N-1}$ models

abstract: We derive the semiclassical contributions from the real and complex bions in the two-dimensional $\mathbb C P^{N-1}$ sigma model on ${\mathbb R} \times S^{1}$ with a twisted boundary condition. The bion configurations are saddle points of the complexified Euclidean action, which can be viewed as bound states of a pair of fractional instantons with opposite topological charges. We first derive the bion solutions by solving the equation of motion in the model with a potential which simulates an interaction induced by fermions in the $\mathbb C P^{N-1}$ quantum mechanics. The bion solutions have quasi-moduli parameters corresponding to the relative distance and phase between the constituent fractional instantons. By summing over the Kaluza-Klein modes of the quantum fluctuations around the bion backgrounds, we find that the effective action for the quasi-moduli parameters is renormalized and becomes a function of the dynamical scale (or the renormalized coupling constant). Based on the renormalized effective action, we obtain the semiclassical bion contribution in a weak coupling limit by making use of the Lefschetz thimble method. We find that the non-perturbative contribution vanishes in the supersymmetric case and it has an imaginary ambiguity which is consistent with the expected infrared renormalon ambiguity in non-supersymmetric cases. This is the first explicit result indicating the relation between the complex bion and the infrared renormalon.


title: Predictions for the flux of high-energy cosmogenic neutrinos and the influence of the extragalactic magnetic field

abstract: Cosmogenic neutrinos originate from interactions of cosmic rays propagating through the universe with cosmic background photons. Since both high-energy cosmic rays and cosmic background photons exist, the existence of high-energy cosmogenic neutrinos is almost certain. However, their flux has not been measured so far. Therefore, we calculated the flux of high-energy cosmogenic neutrinos arriving at the Earth on the basis of elaborate four-dimensional simulations that take into account three spatial degrees of freedom and the cosmological time-evolution of the universe. Our predictions for this neutrino flux are consistent with the recent upper limits obtained from large-scale cosmic-ray experiments. We also show that the extragalactic magnetic field has a strong influence on the neutrino flux. The results of this work are important for the design of future neutrino observatories, since they allow to assess the detector volume that is necessary to detect high-energy cosmogenic neutrinos in the near future. An observation of such neutrinos would push multimessenger astronomy to hitherto unachieved energy scales.


title: Unsupervised Object Matching for Relational Data

abstract: We propose an unsupervised object matching method for relational data, which finds matchings between objects in different relational datasets without correspondence information. For example, the proposed method matches documents in different languages in multi-lingual document-word networks without dictionaries nor alignment information. The proposed method assumes that each object has latent vectors, and the probability of neighbor objects is modeled by the inner-product of the latent vectors, where the neighbors are generated by short random walks over the relations. The latent vectors are estimated by maximizing the likelihood of the neighbors for each dataset. The estimated latent vectors contain hidden structural information of each object in the given relational dataset. Then, the proposed method linearly projects the latent vectors for all the datasets onto a common latent space shared across all datasets by matching the distributions while preserving the structural information. The projection matrix is estimated by minimizing the distance between the latent vector distributions with an orthogonality regularizer. To represent the distributions effectively, we use the kernel embedding of distributions that hold high-order moment information about a distribution as an element in a reproducing kernel Hilbert space, which enables us to calculate the distance between the distributions without density estimation. The structural information encoded in the latent vectors are preserved by using the orthogonality regularizer. We demonstrate the effectiveness of the proposed method with experiments using real-world multi-lingual document-word relational datasets and multiple user-item relational datasets.


title: Longitudinal Eigenvibration of Multilayer Colloidal Crystals and the Effect of Nanoscale Contact Bridges

abstract: Longitudinal contact-based vibrations of colloidal crystals with a controlled layer thickness are studied. These crystals consist of 390 nm diameter polystyrene spheres arranged into close packed, ordered lattices with a thickness of one to twelve layers. Using laser ultrasonics, eigenmodes of the crystals that have out-of-plane motion are excited. The particle-substrate and effective interlayer contact stiffnesses in the colloidal crystals are extracted using a discrete, coupled oscillator model. Extracted stiffnesses are correlated with scanning electron microscope images of the contacts and atomic force microscope characterization of the substrate surface topography after removal of the spheres. Solid bridges of nanometric thickness are found to drastically alter the stiffness of the contacts, and their presence is found to be dependent on the self-assembly process. Measurements of the eigenmode quality factors suggest that energy leakage into the substrate plays a role for low frequency modes but is overcome by disorder- or material-induced losses at higher frequencies. These findings help further the understanding of the contact mechanics, and the effects of disorder in three-dimensional micro- and nano-particulate systems, and open new avenues to engineer new types of micro- and nanostructured materials with wave tailoring functionalities via control of the adhesive contact properties.


title: The existence of perfect codes in Doob graphs

abstract: We solve the problem of existence of perfect codes in the Doob graph. It is shown that 1-perfect codes in the Doob graph D(m,n) exist if and only if 6m+3n+1 is a power of 2; that is, if the size of a 1-ball divides the number of vertices. Keywords: perfect codes, distance-regular graphs, Doob graphs, Eisenstein-Jacobi integers.


title: Average Margin Regularization for Classifiers

abstract: Adversarial robustness has become an important research topic given empirical demonstrations on the lack of robustness of deep neural networks. Unfortunately, recent theoretical results suggest that adversarial training induces a strict tradeoff between classification accuracy and adversarial robustness. In this paper, we propose and then study a new regularization for any margin classifier or deep neural network. We motivate this regularization by a novel generalization bound that shows a tradeoff in classifier accuracy between maximizing its margin and average margin. We thus call our approach an average margin (AM) regularization, and it consists of a linear term added to the objective. We theoretically show that for certain distributions AM regularization can both improve classifier accuracy and robustness to adversarial attacks. We conclude by using both synthetic and real data to empirically show that AM regularization can strictly improve both accuracy and robustness for support vector machine's (SVM's), relative to unregularized classifiers and adversarially trained classifiers.


title: Skeleton Driven Non-rigid Motion Tracking and 3D Reconstruction

abstract: This paper presents a method which can track and 3D reconstruct the non-rigid surface motion of human performance using a moving RGB-D camera. 3D reconstruction of marker-less human performance is a challenging problem due to the large range of articulated motions and considerable non-rigid deformations. Current approaches use local optimization for tracking. These methods need many iterations to converge and may get stuck in local minima during sudden articulated movements. We propose a puppet model-based tracking approach using skeleton prior, which provides a better initialization for tracking articulated movements. The proposed approach uses an aligned puppet model to estimate correct correspondences for human performance capture. We also contribute a synthetic dataset which provides ground truth locations for frame-by-frame geometry and skeleton joints of human subjects. Experimental results show that our approach is more robust when faced with sudden articulated motions, and provides better 3D reconstruction compared to the existing state-of-the-art approaches.


title: Rumor propagation meets skepticism: a parallel with zombies

abstract: We propose a model of rumor spreading in which susceptible, but skeptically oriented individuals may oppose the rumor. Resistance may be implemented either by skeptical activists trying to convince spreaders to stop their activity, becoming stiflers or, passively (non-reactive) as a consequence, for example, of fact-checking. Interestingly, these two mechanisms, when combined, are similar to the (assumed) spreading of a fictitious zombie outbreak, where survivors actively target infected people. We analyse the well-mixed (mean-field) description and obtain the conditions for rumors (zombies) to spread through the whole population. The results show that when the skepticism is strong enough, the model predicts the coexistence of two fixed points (such bistability may be related to polarized situations), with the fate of rumors depending on the initial exposure to it.

categories: physics.soc-ph cond-mat.stat-mech physics.bio-ph q-bio.PE


title: An intrinsic link between long-term UV/optical variations and X-ray loudness in quasars

abstract: Observations have shown that UV/optical variation amplitude of quasars depend on several physi- cal parameters including luminosity, Eddington ratio, and likely also black hole mass. Identifying new factors which correlate with the variation is essential to probe the underlying physical processes. Combining ~ten years long quasar light curves from SDSS stripe 82 and X-ray data from Stripe 82X, we build a sample of X-ray detected quasars to investigate the relation between UV/optical variation amplitude ($\sigma_{rms}$) and X-ray loudness. We find that quasars with more intense X-ray radiation (com- pared to bolometric luminosity) are more variable in UV/optical. Such correlation remains highly significant after excluding the effect of other parameters including luminosity, black hole mass, Ed- dington ratio, redshift, rest-frame wavelength (i.e., through partial correlation analyses). We further find the intrinsic link between X-ray loudness and UV/optical variation is gradually more prominent on longer timescales (up to 10 years in the observed frame), but tends to disappear at timescales < 100 days. This suggests a slow and long-term underlying physical process. The X-ray reprocessing paradigm, in which UV/optical variation is produced by a variable central X-ray emission illuminating the accretion disk, is thus disfavored. The discovery points to an interesting scheme that both the X-ray corona heating and UV/optical variation is quasars are closely associated with magnetic disc turbulence, and the innermost disc turbulence (where corona heating occurs) correlates with the slow turbulence at larger radii (where UV/optical emission is produced).


title: How does the stellar wind influence the radio morphology of a supernova remnant?

abstract: We simulate the evolutions of the stellar wind and the supernova remnant (SNR) originating from a runaway massive star in an uniform Galactic environment based on the three-dimensional magnetohydrodynamics models. Taking the stellar wind into consideration, we can explain the radio morphologies of many supernova remnants. The directions of the kinematic velocity of the progenitor, the magnetic field and the line of sight are the most important factors influencing the morphologies. If the velocity is perpendicular to the magnetic field, the simulation will give us two different unilateral SNRs and a bilateral symmetric SNR. If the velocity is parallel to the magnetic field, we can obtain a bilateral asymmetric SNR and a quasi-circular SNR. Our simulations show the stellar wind plays a key role in the radio evolution of a SNR, which implies the Galactic global density and magnetic field distribution play a secondary role in shaping a SNR.


title: Age-independent process in aging hard-sphere suspensions; The beta-process and its ramifications

abstract: We consider the dynamics of a suspension of hard sphere-like particles in the proximity of its glass transition, the region where the intermediate scattering functions show significant aging. The time correlation function of the longitudinal particle current shows no dependence on age and reveals behaviour of ideal super-packed fluid and glass. The power laws of the beta process of the idealised mode coupling theory are exposed directly without reliance on fitting parameters. We proffer a mechanism linking the reversible/ageless dynamics, which constitutes the beta-process, and the irreversible aging dynamics. The latter verifies predictions of spin-glass theories.


title: Reinforcement Learning for Improving Agent Design

abstract: In many reinforcement learning tasks, the goal is to learn a policy to manipulate an agent, whose design is fixed, to maximize some notion of cumulative reward. The design of the agent's physical structure is rarely optimized for the task at hand. In this work, we explore the possibility of learning a version of the agent's design that is better suited for its task, jointly with the policy. We propose an alteration to the popular OpenAI Gym framework, where we parameterize parts of an environment, and allow an agent to jointly learn to modify these environment parameters along with its policy. We demonstrate that an agent can learn a better structure of its body that is not only better suited for the task, but also facilitates policy learning. Joint learning of policy and structure may even uncover design principles that are useful for assisted-design applications. Videos of results at https://designrl.github.io/


title: The lifespan of solutions of semilinear wave equations with the scale-invariant damping in one space dimension

abstract: The critical constant of time-decaying damping in the scale-invariant case is recently conjectured. It also has been expected that the lifespan estimate is the same as for the associated semilinear heat equations if the constant is in the \heat-like" domain. In this paper, we point out that this is not true if the total integral of the sum of initial position and speed vanishes. In such a case, we have a new type of the lifespan estimates which is closely related to the non-damped case in shifted space dimensions.


title: Evaluating the Effectiveness of Health Awareness Events by Google Search Frequency

abstract: Over two hundreds health awareness events take place in the United States in order to raise attention and educate the public about diseases. It would be informative and instructive for the organization to know the impact of these events, although such information could be difficult to measure. Here 46 events are selected and their data from 2004 to 2017 are downloaded from Google Trend(GT). We investigate whether the events effectively attract the public attention by increasing the search frequencies of certain keywords which we call queries. Three statistical methods including Transfer Function Noise modeling, Wilcoxon Rank Sum test, and Binomial inference are conducted on 46 GT data sets. Our study show that 10 health awareness events are effective with evidence of a significant increase in search frequencies in the event months, and 28 events are ineffective, with the rest being classified as unclear.


title: Low dimensional nilpotent n-Lie algebras

abstract: In this paper, nilpotent n-Lie algebras of dimension n + 3 as well as nilpotent n-Lie algebras of class 2 and dimension n + 4 are classified.


title: Unsupervised Online Video Object Segmentation with Motion Property Understanding

abstract: Unsupervised video object segmentation aims to automatically segment moving objects over an unconstrained video without any user annotation. So far, only few unsupervised online methods have been reported in literature and their performance is still far from satisfactory, because the complementary information from future frames cannot be processed under online setting. To solve this challenging problem, in this paper, we propose a novel Unsupervised Online Video Object Segmentation (UOVOS) framework by construing the motion property to mean moving in concurrence with a generic object for segmented regions. By incorporating salient motion detection and object proposal, a pixel-wise fusion strategy is developed to effectively remove detection noise such as dynamic background and stationary objects. Furthermore, by leveraging the obtained segmentation from immediately preceding frames, a forward propagation algorithm is employed to deal with unreliable motion detection and object proposals. Experimental results on several benchmark datasets demonstrate the efficacy of the proposed method. Compared to the state-of-the-art unsupervised online segmentation algorithms, the proposed method achieves an absolute gain of 6.2%. Moreover, our method achieves better performance than the best unsupervised offline algorithm on the DAVIS-2016 benchmark dataset. Our code is available on the project website: https://github.com/visiontao/uovos.


title: Local Uniqueness of The Density From Partial Boundary Data for Isotropic Elastodynamics

abstract: We consider an inverse problem in elastodynamics arising in seismic imaging. We prove locally uniqueness of the density of a non-homogeneous, isotropic elastic body from measurements taken on a part of the boundary. We measure the Dirichlet to Neumann map, only on a part of the boundary, corresponding to the isotropic elasticity equation of a 3-dimensional object. In earlier works it has been shown that one can determine the sheer and compressional speeds on a neighborhood of the part of the boundary (accessible part) where the measurements have been taken. In this article we show that one can determine the density of the medium as well, on a neighborhood of the accessible part of the boundary.


title: Information Geometry of Orthogonal Initializations and Training

abstract: Recently mean field theory has been successfully used to analyze properties of wide, random neural networks. It gave rise to a prescriptive theory for initializing feed-forward neural networks with orthogonal weights, which ensures that both the forward propagated activations and the backpropagated gradients are near $\ell_2$ isometries and as a consequence training is orders of magnitude faster. Despite strong empirical performance, the mechanisms by which critical initializations confer an advantage in the optimization of deep neural networks are poorly understood. Here we show a novel connection between the maximum curvature of the optimization landscape (gradient smoothness) as measured by the Fisher information matrix (FIM) and the spectral radius of the input-output Jacobian, which partially explains why more isometric networks can train much faster. Furthermore, given that orthogonal weights are necessary to ensure that gradient norms are approximately preserved at initialization, we experimentally investigate the benefits of maintaining orthogonality throughout training, from which we conclude that manifold optimization of weights performs well regardless of the smoothness of the gradients. Moreover, motivated by experimental results we show that a low condition number of the FIM is not predictive of faster learning.


title: A counterexample for the conjecture of finite simple groups

abstract: In this note we provide some counterexamples for the conjectures of finite simple groups, one of the conjectures said "all finite simple groups $G$ can be determined using their orders $|G|$ and the number of elements of order $p$, where $p$ the largest prime divisor of $|G|$".


title: Quantum Convolutional Neural Networks

abstract: We introduce and analyze a novel quantum machine learning model motivated by convolutional neural networks. Our quantum convolutional neural network (QCNN) makes use of only $O(\log(N))$ variational parameters for input sizes of $N$ qubits, allowing for its efficient training and implementation on realistic, near-term quantum devices. The QCNN architecture combines the multi-scale entanglement renormalization ansatz and quantum error correction. We explicitly illustrate its potential with two examples. First, QCNN is used to accurately recognize quantum states associated with 1D symmetry-protected topological phases. We numerically demonstrate that a QCNN trained on a small set of exactly solvable points can reproduce the phase diagram over the entire parameter regime and also provide an exact, analytical QCNN solution. As a second application, we utilize QCNNs to devise a quantum error correction scheme optimized for a given error model. We provide a generic framework to simultaneously optimize both encoding and decoding procedures and find that the resultant scheme significantly outperforms known quantum codes of comparable complexity. Finally, potential experimental realization and generalizations of QCNNs are discussed.


title: Atomic decomposition of product Hardy spaces via wavelet bases on spaces of homogeneous type

abstract: We provide an atomic decomposition of the product Hardy spaces $H^p(\widetilde{X})$ which were recently developed by Han, Li, and Ward in the setting of product spaces of homogeneous type $\widetilde{X} = X_1 \times X_2$. Here each factor $(X_i,d_i,\mu_i)$, for $i = 1$, $2$, is a space of homogeneous type in the sense of Coifman and Weiss. These Hardy spaces make use of the orthogonal wavelet bases of Auscher and Hyt\"onen and their underlying reference dyadic grids. However, no additional assumptions on the quasi-metric or on the doubling measure for each factor space are made. To carry out this program, we introduce product $(p,q)$-atoms on $\widetilde{X}$ and product atomic Hardy spaces $H^{p,q}_{{\rm at}}(\widetilde{X})$. As consequences of the atomic decomposition of $H^p(\widetilde{X})$, we show that for all $q > 1$ the product atomic Hardy spaces coincide with the product Hardy spaces, and we show that the product Hardy spaces are independent of the particular choices of both the wavelet bases and the reference dyadic grids. Likewise, the product Carleson measure spaces ${\rm CMO}^p(\widetilde{X})$, the bounded mean oscillation space ${\rm BMO}(\widetilde{X})$, and the vanishing mean oscillation space ${\rm VMO}(\widetilde{X})$, as defined by Han, Li, and Ward, are also independent of the particular choices of both wavelets and reference dyadic grids.


title: Extreme Digitisation For Ground-Based Cosmic Microwave Background Experiments

abstract: The large size of the time ordered data of cosmic microwave background experiments presents challenges for mission planning and data analysis. These issues are particularly significant for Antarctica- and space-based experiments, which depend on satellite links to transmit data. We explore the viability of reducing the time ordered data to few bit numbers to address these challenges. Unlike lossless compression, few bit digitisation introduces additional noise into the data. We present a set of one, two, and three bit digitisation schemes and measure the increase in noise in the cosmic microwave background temperature and polarisation power spectra. The digitisation noise is independent of angular scale and is well-described as a constant percentage of the original detector noise. Three bit digitisation increases the map noise level by < 2%, while reducing the data volume by a factor of ten relative to 32-bit floats. Extreme digitisation is a promising strategy for upcoming experiments.


title: Visual Localization of Key Positions for Visually Impaired People

abstract: On the off-the-shelf navigational assistance devices, the localization precision is limited to the signal error of global navigation satellite system (GNSS). During travelling outdoors, the inaccurately localization perplexes visually impaired people, especially at key positions, such as gates, bus stations or intersections. The visual localization is a feasible approach to improving the positioning precision of assistive devices. Using multiple image descriptors, the paper proposes a robust and efficient visual localization algorithm, which takes advantage of priori GNSS signals and multi-modal images to achieve the accurate localization of key positions. In the experiments, we implement the approach on the wearable system and test the performance of visual localization under practical scenarios.


title: Investigating the nonequilibrium aspects of long-range Potts model: refinement of critical temperatures and raw exponents

abstract: In this work, we analyse the $q-$state Potts model with long-range interactions through nonequilibrium scaling relations commonly used when studying short-range systems. We determine the critical temperature via an optimization method for short-time Monte Carlo simulations. The study takes into consideration two different boundary conditions and three different values of range parameters of the couplings. We also present estimates of some critical exponents, named as raw exponents for systems with long-range interactions, which confirm the non-universal character of the model. Finally, we provide some preliminary results addressing the relations between the raw exponents and the exponents obtained for systems with short-range interactions. The results assert that the methods employed in this work are suitable to study the considered model and can easily be adapted to other systems with long-range interactions.


title: A Note on Max $k$-Vertex Cover: Faster FPT-AS, Smaller Approximate Kernel and Improved Approximation

abstract: In Maximum $k$-Vertex Cover (Max $k$-VC), the input is an edge-weighted graph $G$ and an integer $k$, and the goal is to find a subset $S$ of $k$ vertices that maximizes the total weight of edges covered by $S$. Here we say that an edge is covered by $S$ iff at least one of its endpoints lies in $S$. We present an FPT approximation scheme (FPT-AS) that runs in $(1/\epsilon)^{O(k)} poly(n)$ time for the problem, which improves upon Gupta et al.'s $(k/\epsilon)^{O(k)} poly(n)$-time FPT-AS [SODA'18, FOCS'18]. Our algorithm is simple: just use brute force to find the best $k$-vertex subset among the $O(k/\epsilon)$ vertices with maximum weighted degrees. Our algorithm naturally yields an efficient approximate kernelization scheme of $O(k/\epsilon)$ vertices; previously, an $O(k^5/\epsilon^2)$-vertex approximate kernel is only known for the unweighted version of Max $k$-VC [Lokshtanov et al., STOC'17]. Interestingly, this has an application outside of parameterized complexity: using our approximate kernelization as a preprocessing step, we can directly apply Raghavendra and Tan's SDP-based algorithm for 2SAT with cardinality constraint [SODA'12] to give an $0.92$-approximation for Max $k$-VC in polynomial time. This improves upon Feige and Langberg's algorithm [J. Algorithms'01] which yields $(0.75 + \delta)$-approximation for some (unspecified) constant $\delta > 0$. We also consider the minimization version (Min $k$-VC), where the goal is to minimize the total weight of edges covered by $S$. We provide an FPT-AS for Min $k$-VC with similar running time of $(1/\epsilon)^{O(k)} poly(n)$, which again improves on a $(k/\epsilon)^{O(k)} poly(n)$-time FPT-AS of Gupta et al. On the other hand, we show that there is unlikely a polynomial size approximate kernelization for Min $k$-VC for any factor less than two.


title: Collective Strategies with a Master-slave Mechanism Dominate in Spatial Iterated Prisoner's Dilemma

abstract: How cooperation emerges and persists in a population of selfish agents is a fundamental question in evolutionary game theory. Our research shows that Collective Strategies with Master-Slave Mechanism (CSMSM) defeat Tit-for-Tat and other well-known strategies in spatial iterated prisoner's dilemma. A CSMSM identifies kin members by means of a handshaking mechanism. If the opponent is identified as non-kin, a CSMSM will always defect. Once two CSMSMs meet, they play master and slave roles. A mater defects and a slave cooperates in order to maximize the master's payoff. CSMSM outperforms non-collective strategies in spatial IPD even if there is only a small cluster of CSMSMs in the population. The existence and performance of CSMSM in spatial iterated prisoner's dilemma suggests that cooperation first appears and persists in a group of collective agents.


title: Deep exploration of $\epsilon$ Eridani with Keck Ms-band vortex coronagraphy and radial velocities: mass and orbital parameters of the giant exoplanet

abstract: We present the most sensitive direct imaging and radial velocity (RV) exploration of $\epsilon$ Eridani to date. $\epsilon$ Eridani is an adolescent planetary system, reminiscent of the early Solar system. It is surrounded by a prominent and complex debris disk which is likely stirred by one or several gas giant exoplanets. The discovery of the RV signature of a giant exoplanet was announced 15 years ago, but has met with scrutiny due to possible confusion with stellar noise. We confirm the planet with a new compilation and analysis of precise RV data spanning 30 years, and combine it with upper limits from our direct imaging search, the most sensitive ever performed. The deep images were taken in the Ms band (4.7$\mu$m) with the vortex coronagraph recently installed in W.M. Keck Observatory's infrared camera NIRC2, which opens a sensitive window for planet searches around nearby adolescent systems. The RV data and direct imaging upper limit maps were combined in an innovative joint Bayesian analysis, providing new constraints on the mass and orbital parameters of the elusive planet. $\epsilon$ Eridani b has a mass of $0.78^{+0.38}_{-0.12}$ $M_{Jup}$ and is orbiting $\epsilon$ Eridani at about $3.48\pm 0.02$ AU with a period of $7.37 \pm 0.07$ years. The eccentricity of $\epsilon$ Eridani b's orbit is $0.07^{+0.06}_{-0.05}$, an order of magnitude smaller than early estimates and consistent with a circular orbit. We discuss our findings from the standpoint of planet-disk interactions and prospects for future detection and characterization with the James Webb Space Telescope.


title: Magnetic Field Modeling of hot channels in Four Flare/CME Events

abstract: We investigate the formation and magnetic topology of four flare/CME events with filament-sigmoid systems, in which the sigmoidal hot channels are located above the filaments, and they appear in pairs prior to eruption.} The formation of hot channels usually takes several to dozens of hours during which two J-shape sheared arcades gradually evolve into sigmoidal hot channels, then they keep stable for tens of minutes or hours and erupt. While the low-lying filaments show no significant change. \textbf{We construct a series of magnetic field models and find that the best-fit preflare models contain magnetic flux ropes with hyperbolic flux tubes (HFTs). The field lines above the HFT correspond to the high-lying hot channel, while those below the HFT surround the underlying filaments. In particular, the continuous and long field lines representing the flux rope located above the HFT match the observed hot channels well in three events. While for SOL2014-04-18 event, the flux bundle that mimics the observed hot channel is located above the flux rope. The flux rope axis lies in a height range of 19.8 Mm and 46 Mm above the photosphere for the four events, among which the flux rope axis in SOL2012-07-12 event has a maximum height, which probably explains why it is often considered as a double-decker structure. Our modeling suggests that the high-lying hot channel may be formed by magnetic reconnections between sheared field lines occurring above the filament prior to eruption.


title: Orlicz-Besov imbedding and globally $n$-regular domains

abstract: Denote by $ {\bf\dot B}^{\alpha,\phi}(\Omega)$ the Orlicz-Besov space, where $\alpha\in\mathbb{R}$, $\phi$ is a Young function and $\Omega\subset\mathbb{R}^n$ is a domain. For $\alpha\in(-n,0)$ and optimal $\phi$, in this paper we characterize domains supporting the imbedding ${\bf\dot B}^{\alpha,\phi}(\Omega)$ into $ L^{n/|\alpha|}(\Omega)$ via globally $n$-regular domains. This extends the known characterizations for domains supporting the Besov imbedding ${\bf\dot B} ^s_{pp}(\Omega)$ into $ L^{np/(n-sp)}(\Omega)$ with $s\in(0,1)$ and $1\le p<n/s$. The proof of the imbedding ${\bf\dot B}^{\alpha,\phi}(\Omega)\to L^{n/|\alpha|}(\Omega)$ in globally $n$-regular domains $\Omega$ relies on a geometric inequality involving $\phi$ and $\Omega$ , which extends a known geometric inequality of Caffarelli et al.


title: An inverse problem for the magnetic Schr\"{o}dinger operator on Riemannian manifolds from partial boundary data

abstract: We consider the inverse problem of recovering the magnetic and potential term of a magnetic Schr\"{o}dinger operator on certain compact Riemannian manifolds with boundary from partial Dirichlet and Neumann data on suitable subsets of the boundary. The uniqueness proof relies on proving a suitable Carleman estimate for functions which vanish only on a part of boundary and constructing complex geometric optics solutions which vanish on a part of the boundary.


title: The Outer Product Structure of Neural Network Derivatives

abstract: In this paper, we show that feedforward and recurrent neural networks exhibit an outer product derivative structure but that convolutional neural networks do not. This structure makes it possible to use higher-order information without needing approximations or infeasibly large amounts of memory, and it may also provide insights into the geometry of neural network optima. The ability to easily access these derivatives also suggests a new, geometric approach to regularization. We then discuss how this structure could be used to improve training methods, increase network robustness and generalizability, and inform network compression methods.


title: The characteristic classes and Weyl invariants of Spinor groups

abstract: Based on a pair of cohomology operations on so called $\delta-2$-formal spaces, we construct the integral cohomology rings of the classifying spaces of the Lie groups $Spin(n)$ and $Spin^{c}(n)$. As applications, we introduce characteristic classes for the reduced topological $K_{Spin}$ theory, determine the ring of integral Weyl invariants of the group $Spin(n)$, and demonstrate their usages in spin geometry.


title: Decoupling of Self Diffusion from Viscosity of Supercooled Water: Role of Translational Jump-diffusion

abstract: Some experiments have witnessed increasing decoupling of viscosity from the translational self-diffusion of supercooled water with decreasing temperature. While theory and computer simulation studies indicated the jump translation of the molecules as a probable origin of the above decoupling, a precise quantitative estimation is still lacking. Through a molecular dynamics (MD) simulation study, along with careful consideration of translational jump motion, we have found the most definite proof of increasing relevance of translational jump diffusion in the above decoupling phenomena. By separating out the jump-only diffusion contribution from the overall diffusion of the water, we obtain the residual diffusion coefficient, which remains strongly coupled with the viscosity of the medium at the whole temperature range, including supercooled regime. These new findings can help to elucidate many experimental studies featuring molecular transport properties, where strong diffusion-viscosity decoupling comes into the picture.


title: Multiloop Amplitudes of Light-cone Gauge String Field Theory for Type II Superstrings

abstract: Feynman amplitudes of light-cone gauge string field theory for Type II superstrings are shown to be equivalent to those of the covariant first quantized formulation. In order to regularize the contact term divergences, we consider the theory in a linear dilaton background $\Phi_{\mathrm{dilaton}}=-iQX^{1}$. We show that the scattering amplitudes are correctly reproduced in the limit $Q\to0$, even with Ramond sector external lines.


title: Geometry of the minimal spanning tree of a random $3$-regular graph

abstract: The global structure of the minimal spanning tree (MST) is expected to be universal for a large class of underlying random discrete structures. However, very little is known about the intrinsic geometry of MSTs of most standard models, and so far the scaling limit of the MST viewed as a metric measure space has only been identified in the case of the complete graph [5]. In this work, we show that the MST constructed by assigning i.i.d. continuous edge-weights to either the random (simple) $3$-regular graph or the $3$-regular configuration model on $n$ vertices, endowed with the tree distance scaled by $n^{-1/3}$ and the uniform probability measure on the vertices, converges in distribution with respect to Gromov-Hausdorff-Prokhorov topology to a random compact metric measure space. Further, this limiting space has the same law as the scaling limit of the MST of the complete graph identified in [5] up to a scaling factor of $6^{1/3}$. Our proof relies on a novel argument that proceeds via a comparison between a $3$-regular configuration model and the largest component in the critical Erd\H{o}s-R\'enyi random graph. The techniques of this paper can be used to establish the scaling limit of the MST in the setting of general random graphs with given degree sequences provided two additional technical conditions are verified.


title: A simple scheme of low phase noise microwave synthesizers based on the sub-sampling phase lock loop

abstract: In this paper, we demonstrate a simple scheme of 6.835 GHz microwave frequency synthesizer based on the sub-sampling phase lock loop (PLL) technique. The application of the sub-sampling PLL is the key to simplify the architecture of the synthesizer in this scheme. A 100 MHz oven controlled crystal oscillator (OCXO) with ultra-low phase noise is used as the initial signal source. Then a dielectric resonant oscillator (DRO) of 6.8 GHz is directly phase locked to the 100 MHz OCXO utilizing the sub-sampling PLL. Benefiting from the sub-sampling PLL, the processes of microwave frequency multiplication and phase lock which are necessary in the development of microwave synthesizer are greatly simplified. Therefore, the architecture of the synthesizer is very simple. Correspondingly, the power consumption and cost of the synthesizer are low. The absolute phase noises of the 6.835 GHz output signal are measured to be -47 dBc/Hz, -77 dBc/Hz, -104 dBc/Hz and -121 dBc/Hz at 1 Hz, 10 Hz, 100 Hz and 1 kHz offset frequencies, respectively. he synthesizer can be used as the local oscillator of the Rb atomic clocks. For the Rb atomic clocks operated in the continuous or pulsed optically pumped (POP) mode, Tthe short-term frequency stability limited by the absolute phase noises of the synthesizer through the intermodulation or the Dick effect is theoretically calculated to be better than 5.0E10^-14/t^1/2. This low phase noise microwave frequency synthesizer can be used in other experiments of fundamental physics measurement.


title: Resummation of High Order Corrections in $Z$ Boson Plus Jet Production at the LHC

abstract: We study the multiple soft gluon radiation effects in $Z$ boson plus jet production at the LHC. By applying the transverse momentum dependent factorization formalism, the large logarithms introduced by the small total transverse momentum of the $Z$ boson plus jet final state system, are resummed to all orders in the expansion of the strong interaction coupling at the accuracy of Next-to-Leading Logarithm(NLL). We also compare the prediction of our resummation calculation to the CMS data by employing a reweighting procedure to estimate the effect from imposing kinematic cuts on the leptons from $Z$ boson decay, and find good agreement for both the imbalance transverse momentum and the azimuthal angle correlation of the final state $Z$ boson and jet system, for $pp\to Z+jet$ production at the LHC.


title: What made you do this? Understanding black-box decisions with sufficient input subsets

abstract: Local explanation frameworks aim to rationalize particular decisions made by a black-box prediction model. Existing techniques are often restricted to a specific type of predictor or based on input saliency, which may be undesirably sensitive to factors unrelated to the model's decision making process. We instead propose sufficient input subsets that identify minimal subsets of features whose observed values alone suffice for the same decision to be reached, even if all other input feature values are missing. General principles that globally govern a model's decision-making can also be revealed by searching for clusters of such input patterns across many data points. Our approach is conceptually straightforward, entirely model-agnostic, simply implemented using instance-wise backward selection, and able to produce more concise rationales than existing techniques. We demonstrate the utility of our interpretation method on various neural network models trained on text, image, and genomic data.


title: The Adversarial Attack and Detection under the Fisher Information Metric

abstract: Many deep learning models are vulnerable to the adversarial attack, i.e., imperceptible but intentionally-designed perturbations to the input can cause incorrect output of the networks. In this paper, using information geometry, we provide a reasonable explanation for the vulnerability of deep learning models. By considering the data space as a non-linear space with the Fisher information metric induced from a neural network, we first propose an adversarial attack algorithm termed one-step spectral attack (OSSA). The method is described by a constrained quadratic form of the Fisher information matrix, where the optimal adversarial perturbation is given by the first eigenvector, and the model vulnerability is reflected by the eigenvalues. The larger an eigenvalue is, the more vulnerable the model is to be attacked by the corresponding eigenvector. Taking advantage of the property, we also propose an adversarial detection method with the eigenvalues serving as characteristics. Both our attack and detection algorithms are numerically optimized to work efficiently on large datasets. Our evaluations show superior performance compared with other methods, implying that the Fisher information is a promising approach to investigate the adversarial attacks and defenses.


title: A Dichotomy Theorem for First-Fit Chain Partitions

abstract: First-Fit is a greedy algorithm for partitioning the elements of a poset into chains. Let $\textrm{FF}(w,Q)$ be the maximum number of chains that First-Fit uses on a $Q$-free poset of width $w$. A result due to Bosek, Krawczyk, and Matecki states that $\textrm{FF}(w,Q)$ is finite when $Q$ has width at most $2$. We describe a family of posets $\mathcal{Q}$ and show that the following dichotomy holds: if $Q\in\mathcal{Q}$, then $\textrm{FF}(w,Q) \le 2^{c(\log w)^2}$ for some constant $c$ depending only on $Q$, and if $Q\not\in\mathcal{Q}$, then $\textrm{FF}(w,Q) \ge 2^w - 1$.