title: Performance Analysis of Molecular Spatial Modulation (MSM) in Diffusion based Molecular MIMO Communication Systems

abstract: In diffusion-based molecular communication, information is transferred from a transmitter to a receiver using molecular carriers. The low achievable data rate is the main disadvantage of diffusion-based molecular over radio-based communication. One solution to overcome this disadvantage is molecular MIMO communication. In this paper, we introduce molecular spatial modulation (MSM) in molecular MIMO communication to increase the data rate of the system. Also, special detection methods are used, all of which are based on the threshold level detection method. They use diversity techniques in molecular communication systems if the channel matrix that we introduce is full rank. Also, for a 2$\times$1 system, we define an optimization problem to obtain the suitable number of molecules for transmitting to reduce BER of this systems. Then the proposed modulation is generalized to $2\times2$ and $4\times4$ systems. In each of these systems, special detection methods based on the threshold level detection are used. Finally, based on BER, systems using MSM are fairly compared to the systems that have similar data rates. The simulation results show that the proposed modulation and detection methods reduce BER. Whereas the proposed methods are very simple and practical for molecular systems.


title: 3D Path Planning from a Single 2D Fluoroscopic Image for Robot Assisted Fenestrated Endovascular Aortic Repair

abstract: The current standard of intra-operative navigation during Fenestrated Endovascular Aortic Repair (FEVAR) calls for need of 3D alignments between inserted devices and aortic branches. The navigation commonly via 2D fluoroscopic images, lacks anatomical information, resulting in longer operation hours and radiation exposure. In this paper, a framework for real-time 3D robotic path planning from a single 2D fluoroscopic image of Abdominal Aortic Aneurysm (AAA) is introduced. A graph matching method is proposed to establish the correspondence between the 3D preoperative and 2D intra-operative AAA skeletons, and then the two skeletons are registered by skeleton deformation and regularization in respect to skeleton length and smoothness. Furthermore, deep learning was used to segment 3D pre-operative AAA from Computed Tomography (CT) scans to facilitate the framework automation. Simulation, phantom and patient AAA data sets have been used to validate the proposed framework. 3D distance error of 2mm was achieved in the phantom setup. Performance advantages were also achieved in terms of accuracy, robustness and time-efficiency. All the code will be open source.


title: A Distributed Learning Architecture for Scientific Imaging Problems

abstract: Current trends in scientific imaging are challenged by the emerging need of integrating sophisticated machine learning with Big Data analytics platforms. This work proposes an in-memory distributed learning architecture for enabling sophisticated learning and optimization techniques on scientific imaging problems, which are characterized by the combination of variant information from different origins. We apply the resulting, Spark-compliant, architecture on two emerging use cases from the scientific imaging domain, namely: (a) the space variant deconvolution of galaxy imaging surveys (astrophysics), (b) the super-resolution based on coupled dictionary training (remote sensing). We conduct evaluation studies considering relevant datasets, and the results report at least 60\% improvement in time response against the conventional computing solutions. Ultimately, the offered discussion provides useful practical insights on the impact of key Spark tuning parameters on the speedup achieved, and the memory/disk footprint.


title: A Deep Generative Model for Semi-Supervised Classification with Noisy Labels

abstract: Class labels are often imperfectly observed, due to mistakes and to genuine ambiguity among classes. We propose a new semi-supervised deep generative model that explicitly models noisy labels, called the Mislabeled VAE (M-VAE). The M-VAE can perform better than existing deep generative models which do not account for label noise. Additionally, the derivation of M-VAE gives new theoretical insights into the popular M1+M2 semi-supervised model.


title: Autonomous drone race: A computationally efficient vision-based navigation and control strategy

abstract: Drone racing is becoming a popular sport where human pilots have to control their drones to fly at high speed through complex environments and pass a number of gates in a pre-defined sequence. In this paper, we develop an autonomous system for drones to race fully autonomously using only onboard resources. Instead of commonly used visual navigation methods, such as simultaneous localization and mapping and visual inertial odometry, which are computationally expensive for micro aerial vehicles (MAVs), we developed the highly efficient snake gate detection algorithm for visual navigation, which can detect the gate at 20HZ on a Parrot Bebop drone. Then, with the gate detection result, we developed a robust pose estimation algorithm which has better tolerance to detection noise than a state-of-the-art perspective-n-point method. During the race, sometimes the gates are not in the drone's field of view. For this case, a state prediction-based feed-forward control strategy is developed to steer the drone to fly to the next gate. Experiments show that the drone can fly a half-circle with 1.5m radius within 2 seconds with only 30cm error at the end of the circle without any position feedback. Finally, the whole system is tested in a complex environment (a showroom in the faculty of Aerospace Engineering, TU Delft). The result shows that the drone can complete the track of 15 gates with a speed of 1.5m/s which is faster than the speeds exhibited at the 2016 and 2017 IROS autonomous drone races.


title: Lazy Modeling of Variants of Token Swapping Problem and Multi-agent Path Finding through Combination of Satisfiability Modulo Theories and Conflict-based Search

abstract: We address item relocation problems in graphs in this paper. We assume items placed in vertices of an undirected graph with at most one item per vertex. Items can be moved across edges while various constraints depending on the type of relocation problem must be satisfied. We introduce a general problem formulation that encompasses known types of item relocation problems such as multi-agent path finding (MAPF) and token swapping (TSWAP). In this formulation we express two new types of relocation problems derived from token swapping that we call token rotation (TROT) and token permutation (TPERM). Our solving approach for item relocation combines satisfiability modulo theory (SMT) with conflict-based search (CBS). We interpret CBS in the SMT framework where we start with the basic model and refine the model with a collision resolution constraint whenever a collision between items occurs in the current solution. The key difference between the standard CBS and our SMT-based modification of CBS (SMT-CBS) is that the standard CBS branches the search to resolve the collision while in SMT-CBS we iteratively add a single disjunctive collision resolution constraint. Experimental evaluation on several benchmarks shows that the SMT-CBS algorithm significantly outperforms the standard CBS. We also compared SMT-CBS with a modification of the SAT-based MDD-SAT solver that uses an eager modeling of item relocation in which all potential collisions are eliminated by constrains in advance. Experiments show that lazy approach in SMT-CBS produce fewer constraint than MDD-SAT and also achieves faster solving run-times.


title: A Single Differential Equation Description of Membrane Properties Underlying the Action Potential and the Axon Electric Field

abstract: In a succession of articles published over 65 years ago, Sir Alan Lloyd Hodgkin and Sir Andrew Fielding Huxley established what now forms our physical understanding of excitation in nerve, and how the axon conducts the action potential. They uniquely quantified the movement of ions in the nerve cell during the action potential, and demonstrated that the action potential is the result of a depolarizing event across the cell membrane. They confirmed that a complete depolarization event is followed by an abrupt increase in voltage that propagates longitudinally along the axon, accompanied by considerable increases in membrane conductance. In an elegant theoretical framework, they rigorously described fundamental properties of the Na+ and K+ conductances intrinsic to the action potential. Notwithstanding the elegance of Hodgkin and Huxley's incisive and explicative series of discoveries, their model is mathematically complex, relies on no small number of stochastic factors, and has no analytical solution. Solving for the membrane action potential and the ionic currents requires integrations approximated using numerical methods. In this article I present an analytical formalism of the nerve action potential, Vm and that of the accompanying cell membrane electric field, Em. To conclude, I present a novel description of Vm in terms of a single, nonlinear differential equation. This is an original stand-alone article: the major contribution is the latter, and how this description coincides with the cell membrane electric field. This work has necessitated unifying information from two preceding papers, each being concerned with the development of closed-form descriptions of the nerve action potential.


title: Optimal Dynamic Basis Trading

abstract: We study the problem of dynamically trading a futures contract and its underlying asset under a stochastic basis model. The basis evolution is modeled by a stopped scaled Brownian bridge to account for non-convergence of the basis at maturity. The optimal trading strategies are determined from a utility maximization problem under hyperbolic absolute risk aversion (HARA) risk preferences. By analyzing the associated Hamilton-Jacobi-Bellman equation, we derive the exact conditions under which the equation admits a solution and solve the utility maximization explicitly. A series of numerical examples are provided to illustrate the optimal strategies and examine the effects of model parameters.


title: Robust Adversarial Perturbation on Deep Proposal-based Models

abstract: Adversarial noises are useful tools to probe the weakness of deep learning based computer vision algorithms. In this paper, we describe a robust adversarial perturbation (R-AP) method to attack deep proposal-based object detectors and instance segmentation algorithms. Our method focuses on attacking the common component in these algorithms, namely Region Proposal Network (RPN), to universally degrade their performance in a black-box fashion. To do so, we design a loss function that combines a label loss and a novel shape loss, and optimize it with respect to image using a gradient based iterative algorithm. Evaluations are performed on the MS COCO 2014 dataset for the adversarial attacking of 6 state-of-the-art object detectors and 2 instance segmentation algorithms. Experimental results demonstrate the efficacy of the proposed method.


title: Natural vs. blocked ventilation in naturally ventilated buildings - the effect of finite and decoupled sources

abstract: Naturally ventilated buildings harness freely-available resources such as internal buoyancy gains and wind forcing in achieving comfortable interior conditions. Although these resources are free, they are time-variable and can be difficult to control. As a result of this the nonlinear interplay between sometimes competing resources may lead to sub-optimal ventilation states. This problem has been explored by a number of previous researches e.g. Flynn & Caufield (Building and Environment, 44, 216-226, 2009) who, in studying these ventilations states, demonstrated complicated transitions characterized by hysteresis even for the simple case of a one-zone building. The objectives of this research are to extend the previous (theoretical) analysis by conducting complementary numerical experiments using sophisticated algorithms capable of describing turbulent, buoyancy driven flow. A further objective of this study is to specifically decouple the source, which was previously assumed to supply both heat and mass to the interior space. Rather, the flow dynamics in a case where heat and mass are supplied independently are examined.


title: Latent Space Optimal Transport for Generative Models

abstract: Variational Auto-Encoders enforce their learned intermediate latent-space data distribution to be a simple distribution, such as an isotropic Gaussian. However, this causes the posterior collapse problem and loses manifold structure which can be important for datasets such as facial images. A GAN can transform a simple distribution to a latent-space data distribution and thus preserve the manifold structure, but optimizing a GAN involves solving a Min-Max optimization problem, which is difficult and not well understood so far. Therefore, we propose a GAN-like method to transform a simple distribution to a data distribution in the latent space by solving only a minimization problem. This minimization problem comes from training a discriminator between a simple distribution and a latent-space data distribution. Then, we can explicitly formulate an Optimal Transport (OT) problem that computes the desired mapping between the two distributions. This means that we can transform a distribution without solving the difficult Min-Max optimization problem. Experimental results on an eight-Gaussian dataset show that the proposed OT can handle multi-cluster distributions. Results on the MNIST and the CelebA datasets validate the effectiveness of the proposed method.


title: Support theorem for an SPDE with multiplicative noise driven by a cylindrical Wiener process on the real line

abstract: We prove a Stroock-Varadhan's type support theorem for a stochastic partial differential equation (SPDE) on the real line with a noise term driven by a cylindrical Wiener process on $L_2 (\mathbb{R})$. The main ingredients of the proof are V. Mackevicius's approach to support theorem for diffusion processes and N.V. Krylov's $L_p$-theory of SPDEs.


title: Exploring the Vulnerability of Single Shot Module in Object Detectors via Imperceptible Background Patches

abstract: Recent works succeeded to generate adversarial perturbations on the entire image or the object of interests to corrupt CNN based object detectors. In this paper, we focus on exploring the vulnerability of the Single Shot Module (SSM) commonly used in recent object detectors, by adding small perturbations to patches in the background outside the object. The SSM is referred to the Region Proposal Network used in a two-stage object detector or the single-stage object detector itself. The SSM is typically a fully convolutional neural network which generates output in a single forward pass. Due to the excessive convolutions used in SSM, the actual receptive field is larger than the object itself. As such, we propose a novel method to corrupt object detectors by generating imperceptible patches only in the background. Our method can find a few background patches for perturbation, which can effectively decrease true positives and dramatically increase false positives. Efficacy is demonstrated on 5 two-stage object detectors and 8 single-stage object detectors on the MS COCO 2014 dataset. Results indicate that perturbations with small distortions outside the bounding box of object region can still severely damage the detection performance.


title: TESS Discovery of a Transiting Super-Earth in the $\pi$ Mensae System

abstract: We report the detection of a transiting planet around $\pi$ Mensae (HD 39091), using data from the Transiting Exoplanet Survey Satellite (TESS). The solar-type host star is unusually bright (V=5.7) and was already known to host a Jovian planet on a highly eccentric, 5.7-year orbit. The newly discovered planet has a size of $2.04\pm 0.05$ $R_\oplus$ and an orbital period of 6.27 days. Radial-velocity data from the HARPS and AAT/UCLES archives also displays a 6.27-day periodicity, confirming the existence of the planet and leading to a mass determination of $4.82\pm 0.85$ $M_\oplus$. The star's proximity and brightness will facilitate further investigations, such as atmospheric spectroscopy, asteroseismology, the Rossiter--McLaughlin effect, astrometry, and direct imaging.


title: The Structure of the Realizations of the Causal Information Rate-Distortion Function for Markovian Sources: Realizations with Densities

abstract: The main purpose of this note is to show that in a realization $(x_{1}^{n}, y_{1}^{n})$ of the causal \textit{information rate-distortion function} (IRDF) for a $\kappa$-th order Markovian source $x_{1}^{n}$, under a single letter sum distortion constraint, the smallest integer $\ell$ for which $y_{k} \leftrightarrow y_{1}^{k-1},x_{k-\ell+1}^{k} \leftrightarrow x_{1}^{k-\ell}$ holds is $\ell=\kappa$. This result is derived under the assumption that the sequences $(x_{1}^{n},y_{1}^{n})$ have a joint probability density function.


title: Missing Value Estimation Algorithms on Cluster and Representativeness Preservation of Gene Expression Microarray Data

abstract: Missing values are largely inevitable in gene expression microarray studies. Data sets often have significant omissions due to individuals dropping out of experiments, errors in data collection, image corruptions, and so on. Missing data could potentially undermine the validity of research results - leading to inaccurate predictive models and misleading conclusions. Imputation - a relatively flexible, general purpose approach towards dealing with missing data - is now available in massive numbers, making it possible to handle missing data. While these estimation methods are becoming increasingly more effective in resolving the discrepancies between true and estimated values, its effect on clustering outcomes is largely disregarded. This study seeks to reveal the vast differences in agglomerative hierarchal clustering outcomes estimation methods can construct in comparison to the precision exhibited (presented through the cophenetic correlation coefficient) in comparison to their high efficiency and effectivity in value preservation of true and imputed values (presented through the root-mean-squared error). We argue against the traditional approach towards the development of imputation methods and instead, advocate towards methods that reproduce a data set's original, natural cluster. By using a number of advanced imputation methods, we reveal extensive differences between original and reconstructed clusters that could significantly transform the interpretations of the data as a whole.


title: Quantifying and attenuating pathologic tremor in virtual reality

abstract: We present a virtual reality (VR) experience that creates a research-grade benchmark in assessing patients with active upper-limb tremor, while simultaneously offering the opportunity for patients to engage with VR experiences without their pathologic tremor. Accurate and precise use of handheld motion controllers in VR gaming applications may be limited for patients with upper limb tremor. In parallel, objective tools measuring tremor are not in widespread, routine clinical use. We used a commercially available VR system and designed a challenging virtual-balloon-popping test mimicking a common nose-to-target pointing task used by medical practitioners to subjectively evaluate tremor in the exam room. Within our VR experience, we offer a software mode which uses a low-pass filter to adjust hand position and pointing orientation over a series of past data points. This digital filter creates a smoothing function for hand movement which effectively removes the patient's tremor in the VR representation. While the patient completes trials of the reaching task, quantitative data on the pathologic tremor is digitally recorded. With speed, accuracy, and the tremor components computed across three axes of movement, patients can be evaluated for their tremor amplitudes in a quantitative, replicable, and enjoyable manner. Removal of tremor in digital space may allow patients having significant upper limb tremor to have both an objective clinical measurement of symptoms while providing patients positive feedback and interaction.


title: Analytical nonlinear collisional dynamics of near-threshold eigenmodes

abstract: A closed-form analytical solution is found for the nonlinear dynamics of isolated, near-threshold waves in the presence of strong scattering. The proposed solution can be useful in verifying codes across several disciplines, including Alfv\'enic instabilities and thermal plasma turbulence in fusion plasmas and studies of viscous shear flows in fluid dynamics, as well as a rapid means for predicting and analyzing experimental outcome.


title: Generating Informative and Diverse Conversational Responses via Adversarial Information Maximization

abstract: Responses generated by neural conversational models tend to lack informativeness and diversity. We present Adversarial Information Maximization (AIM), an adversarial learning strategy that addresses these two related but distinct problems. To foster response diversity, we leverage adversarial training that allows distributional matching of synthetic and real responses. To improve informativeness, our framework explicitly optimizes a variational lower bound on pairwise mutual information between query and response. Empirical results from automatic and human evaluations demonstrate that our methods significantly boost informativeness and diversity.


title: Finitely forcible graphons with an almost arbitrary structure

abstract: Graphons are analytic objects representing convergent sequences of large graphs. A graphon is said to be finitely forcible if it is determined by finitely many subgraph densities, i.e., if the asymptotic structure of graphs represented by such a graphon depends only on finitely many density constraints. Such graphons appear in various scenarios, particularly in extremal combinatorics. Lovasz and Szegedy conjectured that all finitely forcible graphons possess a simple structure. This was disproved in a strong sense by Cooper, Kral and Martins, who showed that any graphon is a subgraphon of a finitely forcible graphon. We strenghten this result by showing for every $\varepsilon>0$ that any graphon spans a $1-\varepsilon$ proportion of a finitely forcible graphon.


title: The extremal function for $K_9^=$ minors

abstract: We prove the extremal function for $K_9^=$ minors, where $K_9^=$ denotes the complete graph $K_9$ with two edges removed. In particular, we show that any graph with $n$ vertices and at least $6n - 20$ edges either contains a $K_9^=$ minor or is isomorphic to a graph obtained from disjoint copies of $K_8$ and $K_{2, 2, 2, 2, 2}$ by identifying cliques of size 5. We utilize computer assistance to prove one of our lemmas.


title: Graphs with no $K_9^=$ minor are 10-colorable

abstract: Hadwiger's conjecture claims that any graph with no $K_t$ minor is $(t - 1)$-colorable. This has been proved for $t \le 6$, but remains open for $t \ge 7$. As a variant of this conjecture, graphs with no $K_t^=$ minor have been considered, where $K_t^=$ denotes the complete graph with two edges removed. It has been shown that graphs with no $K_t^=$ minor are $(2t - 8)$-colorable for $t \in \{7, 8\}$. In this paper, we extend this result to the case $t = 9$ and show that graphs with no $K_9^=$ minor are $10$-colorable.


title: Semiparametric fractional imputation using Gaussian mixture models for handling multivariate missing data

abstract: Item nonresponse is frequently encountered in practice. Ignoring missing data can lose efficiency and lead to misleading inference. Fractional imputation is a frequentist approach of imputation for handling missing data. However, the parametric fractional imputation of \cite{kim2011parametric} may be subject to bias under model misspecification. In this paper, we propose a novel semiparametric fractional imputation method using Gaussian mixture models. The proposed method is computationally efficient and leads to robust estimation. The proposed method is further extended to incorporate the categorical auxiliary information. The asymptotic model consistency and $\sqrt{n}$- consistency of the semiparametric fractional imputation estimator are also established. Some simulation studies are presented to check the finite sample performance of the proposed method.


title: Nanosecond laser ablation of Si(111) under an aqueous medium

abstract: Nanosecond laser ablation of p-type Si(111) wafer is presented under an ambient, a water and a glycerin conditions. Effects of pulse energy, number of pulses and type of environment are systematically analyzed with an Optical Profilometer, a Scanning Electron Microscope and an Atomic Force Microscope. Obtained results are compared with Zemax-EE simulations. Self-assembly nano-ripple formation has been observed in an ambient condition. However, these ripples and heat affected zone (HAZ) area disappeared in aqueous medium which enhances the quality of ablation. Moreover, no remarkable oxidation was obtained in ablation zone even in an ambient condition based on the SEM-EDX analysis. Ablation profiles and their depths for different environments are compared with false color technique. Although ablation diameters are comparable each other, their depths are small enough in aqueous medium to control depth profile of damaged area. According to our results, best ablation profiles (precise edges without HAZ) are achieved under an aqueous medium especially in glycerin conditions both in low and high pulse energy regime.


title: Observation and Distinction. Representing Information in Infinite Games

abstract: We compare two approaches for modelling imperfect information in infinite games by using finite-state automata. The first, more standard approach views information as the result of an observation process driven by a sequential Mealy machine. In contrast, the second approach features indistinguishability relations described by synchronous two-tape automata. The indistinguishability-relation model turns out to be strictly more expressive than the one based on observations. We present a characterisation of the indistinguishability relations that admit a representation as a finite-state observation function. We show that the characterisation is decidable, and give a procedure to construct a corresponding Mealy machine whenever one exists.


title: UAV Pose Estimation using Cross-view Geolocalization with Satellite Imagery

abstract: We propose an image-based cross-view geolocalization method that estimates the global pose of a UAV with the aid of georeferenced satellite imagery. Our method consists of two Siamese neural networks that extract relevant features despite large differences in viewpoints. The input to our method is an aerial UAV image and nearby satellite images, and the output is the weighted global pose estimate of the UAV camera. We also present a framework to integrate our cross-view geolocalization output with visual odometry through a Kalman filter. We build a dataset of simulated UAV images and satellite imagery to train and test our networks. We show that our method performs better than previous camera pose estimation methods, and we demonstrate our networks ability to generalize well to test datasets with unseen images. Finally, we show that integrating our method with visual odometry significantly reduces trajectory estimation errors.


title: Degenerations of Curves in Projective Space and the Maximal Rank Conjecture

abstract: In this note, we give an overview of a new technique for studying Brill--Noether curves in projective space via degeneration. In particular, we give a roadmap to the proof of the Maximal Rank Conjecture.


title: Disentangling Blended K2 Photometry: Determining the Planetary Host Star

abstract: The presence of companion stars, whether bound or unbound, make correct identification of the planetary hosting star difficult when a planet has been detected through a photometrically blended transiting event. We present an approach that uses a combination of light curve analysis and stellar modeling to disentangle 8 K2 photometrically blended binary systems that have either a confirmed or suspected planet to identify the probable host star. The key to our approach is the use of the mean stellar density, calculated using the transit geometry, as a discriminator. The approach is strongly dependent on the difference in magnitude between the stars and the observed transit depth, which is corrected by the flux ratio between the two stars. While our approach does not lead to a definitive result for all systems, we were able to determine for the 8 systems in this case study: two systems where the primary was highly likely to be the planet hosting star ($>$ 90\% likelihood); three systems where the primary was likely to be the hosting star ($>$ 55\% likelihood); one system where the secondary was likely to be the planet hosting star ($>$ 55\% likelihood); and two systems where we were uncertain which star was the planet hosting star ($\approx$ 50\% likelihood to be either the primary or the secondary). Two systems, denoted by their EPIC number, EPIC 201546283 and EPIC 201862715, had confirmed planets, K2-27b and K2-94b respectively, with radii of $\mathrm{4.0 \pm 0.1}$ and $\mathrm{16.4 \pm 2.9}$ $\mathrm{R_\oplus}$ respectively.


title: A refined study of Mazur's Eisenstein theory

abstract: We apply the methods of Fukaya, Kato and Sharifi to refine Mazur's study of the Eisenstein ideal. Given prime numbers $N$ and $p\geq 5$ such that $p\mid \varphi(N)$, we study the quotient of the cohomology group of modular curve $X_{0}(N)$ by the square of the Eisenstein ideal. We study two invariants $b,c$ attached to this quotient and compute $c$. We propose a conjecture about the invariant $b$ which relates the structure of the ray class group of conductor $N$ to the modular symbols of $X_{0}(N)$. Assuming this conjecture, We compute the invariant $b$.


title: Electronic transport and dynamical polarization in bilayer silicene-like system

abstract: We investigate the semiclassical electronic transport properties of the bilayer silicene-like system in the presence of charged impurity. The trigonal warping due to the interlayer hopping, and its effect to the band structure of bilayer silicene is discussed. Besides the trigonal warping, the external field also gives rise to the anisotropic effect of the mobility (at finite temperature) which can be explored by the Boltzmann theory. The dynamical polarization as well as the scattering wave vector-dependent screening within random phase approximation are very important in determining the scattering behavior and the self-consistent transport. We detailly discuss the transport behavior under the short- or long-range potential. The phonon scattering with the acoustic phonon mode which dominant at high temperature is also studied within the density functional theory (DFT). Our results are also valid for the bilayer graphene or bilayer MoS$_{2}$, and other bilayer systems with strong interlayer coupling.


title: Determining complementary properties using weak-measurement: uncertainty, predictability, and disturbance

abstract: It is often said that measuring a system's position must disturb the complementary property, momentum, by some minimum amount due to the Heisenberg uncertainty principle. Using a "weak-measurement", this disturbance can be reduced. One might expect this comes at the cost of also reducing the measurement's precision. However, it was recently demonstrated that a sequence consisting of a weak position measurement followed by a regular momentum measurement can probe a quantum system at a single point, with zero width, in position-momentum space. Here, we study this "joint weak-measurement" and reconcile its compatibility with the uncertainty principle. While a single trial probes the system with a resolution that can saturate Heisenberg's limit, we show that averaging over many trials can be used to surpass this limit. The weak-measurement does not trade-away precision, but rather another type of uncertainty called "predictability" which quantifies the certainty of retrodicting the measurement's outcome.


title: Unified theory of the direct or indirect bandgap nature of conventional semiconductors

abstract: Although the direct or indirect nature of the bandgap transition is an essential parameter of semiconductors for optoelectronic applications, the understanding why some of the conventional semiconductors have direct or indirect bandgaps remains ambiguous. In this Letter, we revealed that the existence of the occupied cation d bands is a prime element in determining the directness of the bandgap of semiconductors through the s-d and p-d couplings, which push the conduction band energy levels at the X- and L-valley up, but leaves the {\Gamma}-valley conduction state unchanged. This unified theory unambiguously explains why Diamond, Si, Ge, and Al-containing group III-V semiconductors, which do not have active occupied d bands, have indirect bandgaps and remaining common semiconductors, except GaP, have direct bandgaps. Besides s-d and p-d couplings, bond length and electronegativity of anions are two remaining factors regulating the energy ordering of the {\Gamma}-, X-, and L-valley of the conduction band, and are responsible for the anomalous bandgap behaviors in GaN, GaP, and GaAs that have direct, indirect, and direct bandgaps, respectively, despite the fact that N, P, and As are in ascending order of the atomic number. This understanding will shed light on the design of new direct bandgap light-emitting materials.


title: Search for neutrinoless double-beta decay with SNO+

abstract: The SNO+ experiment, located in SNOLAB, 2 kilometers underground in the Creighton mine, near Sudbury, Canada, is a large scale neutrino detector whose main purpose is to search for neutrinoless double-beta decay and thus probe the Majorana nature of the neutrino. With 780 tons of liquid scintillator loaded with tellurium, SNO+ aims at exploring the Majorana neutrino mass parameter space down to the inverted mass hierarchy region. The versatility of the SNO+ detector also allows it to detect solar and reactor neutrinos, provide a measurement of the geoneutrino flux, detect galactic core-collapse supernovae and perform nucleon decay searches. The SNO+ experiment is currently taking data with a detector fully filled with ultrapure water. The detector will be completely filled with liquid scintillator in the coming months and subsequently loaded with tellurium.


title: Theia: A multi-purpose water-based liquid scintillator detector

abstract: Recent developments in the field of liquid scintillator chemistry and fast-timing photosensors paved the way for a new generation of large-scale detectors capable of tackling a broad range of physics issues. Water-based Liquid Scintillator is a novel detection medium that combines the advantages of pure water, including low attenuation, accurate direction reconstruction, and low cost, and those of liquid scintillator, including high light yield and low-threshold detection. When coupled with high efficiency, fast-timing photosensors, such as Large Area Picosecond PhotoDetectors, Water-based Liquid Scintillator exhibits an immense potential for neutrino physics and BSM searches. Theia is a 50-kiloton multi-purpose neutrino detector that aims to jointly deploy these two technologies in order to fulfill its physics program objectives, including the determination of the neutrino mass hierarchy and the CP violation phase in the leptonic sector, the detection of solar, reactor, and supernova neutrinos, and the search for neutrinoless double beta decay and proton decay.


title: A measurement of the scintillation decay time constant of nuclear recoils in liquid xenon with the XMASS-I detector

abstract: We report an in-situ measurement of the nuclear recoil (NR) scintillation decay time constant in liquid xenon (LXe) using the XMASS-I detector at the Kamioka underground laboratory in Japan. XMASS-I is a large single-phase LXe scintillation detector whose purpose is the direct detection of dark matter via NR which can be induced by collisions between Weakly Interacting Massive Particles (WIMPs) and a xenon nucleus. The inner detector volume contains 832 kg of LXe. $^{252}$Cf was used as an external neutron source for irradiating the detector. The scintillation decay time constant of the resulting neutron induced NR was evaluated by comparing the observed photon detection times with Monte Carlo simulations. Fits to the decay time prefer two decay time components, one for each of the Xe$_{2}^{*}$ singlet and triplet states, with $\tau_{S}$ = 4.3$\pm$0.6 ns taken from prior research, $\tau_{T}$ was measured to be 26.9$^{+0.7}_{-1.1}$ ns with a singlet state fraction F$_{S}$ of 0.252$^{+0.027}_{-0.019}$.We also evaluated the performance of pulse shape discrimination between NR and electron recoil (ER) with the aim of reducing the electromagnetic background in WIMP searches. For a 50\% NR acceptance, the ER acceptance was 13.7${\pm}$1.0\% and 4.1${\pm}$0.7\% in the energy ranges of 5--10 keV$_{\rm ee}$ and 10--15 keV$_{\rm ee}$, respectively.


title: FermiNets: Learning generative machines to generate efficient neural networks via generative synthesis

abstract: The tremendous potential exhibited by deep learning is often offset by architectural and computational complexity, making widespread deployment a challenge for edge scenarios such as mobile and other consumer devices. To tackle this challenge, we explore the following idea: Can we learn generative machines to automatically generate deep neural networks with efficient network architectures? In this study, we introduce the idea of generative synthesis, which is premised on the intricate interplay between a generator-inquisitor pair that work in tandem to garner insights and learn to generate highly efficient deep neural networks that best satisfies operational requirements. What is most interesting is that, once a generator has been learned through generative synthesis, it can be used to generate not just one but a large variety of different, unique highly efficient deep neural networks that satisfy operational requirements. Experimental results for image classification, semantic segmentation, and object detection tasks illustrate the efficacy of generative synthesis in producing generators that automatically generate highly efficient deep neural networks (which we nickname FermiNets) with higher model efficiency and lower computational costs (reaching >10x more efficient and fewer multiply-accumulate operations than several tested state-of-the-art networks), as well as higher energy efficiency (reaching >4x improvements in image inferences per joule consumed on a Nvidia Tegra X2 mobile processor). As such, generative synthesis can be a powerful, generalized approach for accelerating and improving the building of deep neural networks for on-device edge scenarios.


title: An inexact PAM method for computing Wasserstein barycenter with unknown supports

abstract: Wasserstein barycenter is the centroid of a collection of discrete probability distributions which minimizes the average of the $\ell_2$-Wasserstein distance. This paper focuses on the computation of Wasserstein barycenters under the case where the support points are free, which is known to be a severe bottleneck in the D2-clustering due to the large-scale and nonconvexity. We develop an inexact proximal alternating minimization (iPAM) method for computing an approximate Wasserstein barycenter, and provide its global convergence analysis. This method can achieve a good accuracy with a reduced computational cost when the unknown support points of the barycenter have low cardinality. Numerical comparisons with the 3-block B-ADMM in \cite{YeWWL17} and an alternating minimization method involving the LP subproblems on synthetic and real data show that the proposed iPAM can yield comparable even a little better objective values in less CPU time, and hence the computed barycenter will render a better role in the D2-clustering.


title: Asymmetric electrolytes near structured dielectric interfaces

abstract: The ion distribution of electrolytes near interfaces with dielectric contrast has important consequences for electrochemical processes and many other applications. To date, most studies of such systems have focused on geometrically simple interfaces, for which dielectric effects are analytically solvable or computationally tractable. However, all real surfaces display nontrivial structure at the nanoscale and have, in particular, nonuniform local curvature. Using a recently developed, highly efficient computational method, we investigate the effect of surface geometry on ion distribution and interface polarization. We consider an asymmetric 2:1 electrolyte bounded by a sinusoidally deformed solid surface. We demonstrate that even when the surface is neutral, the electrolyte acquires a nonuniform ion density profile near the surface. This profile is asymmetric and leads to an effective charging of the surface. We furthermore show that the induced charge is modulated by the local curvature. The effective charge is opposite in sign to the multivalent ions and is larger in concave regions of the surface.


title: Highly-Economized Multi-View Binary Compression for Scalable Image Clustering

abstract: How to economically cluster large-scale multi-view images is a long-standing problem in computer vision. To tackle this challenge, we introduce a novel approach named Highly-economized Scalable Image Clustering (HSIC) that radically surpasses conventional image clustering methods via binary compression. We intuitively unify the binary representation learning and efficient binary cluster structure learning into a joint framework. In particular, common binary representations are learned by exploiting both sharable and individual information across multiple views to capture their underlying correlations. Meanwhile, cluster assignment with robust binary centroids is also performed via effective discrete optimization under L21-norm constraint. By this means, heavy continuous-valued Euclidean distance computations can be successfully reduced by efficient binary XOR operations during the clustering procedure. To our best knowledge, HSIC is the first binary clustering work specifically designed for scalable multi-view image clustering. Extensive experimental results on four large-scale image datasets show that HSIC consistently outperforms the state-of-the-art approaches, whilst significantly reducing computational time and memory footprint.


title: A note on convergence and stability of the truncated Milstein method for stochastic differential equations

abstract: Some new techniques are employed to release significantly the requirements on the step size of the truncated Milstein method, which was originally developed in Guo, Liu, Mao and Yue (2018). The almost sure stability of the method is also investigated. Numerical simulations are presented to demonstrate the theoretical results.


title: Approximate super-resolution of positive measures in all dimensions

abstract: We study the problem of reconstructing a positive discrete measure on a compact set $K \subseteq \mathbb{R}^n$ from a finite set of moments (possibly known only approximately) via convex optimization. We give new uniqueness results, new quantitative estimates for approximate recovery and a new sum-of-squares based hierarchy for approximate super-resolution on compact semi-algebraic sets.


title: On simplicity of intermediate C*-algebras

abstract: We prove simplicity of all intermediate $C^*$-algebras $C^*_{r}(\Gamma)\subseteq \mathcal{B} \subseteq \Gamma\ltimes_r C(X)$ in the case of minimal actions of $C^*$-simple groups $\Gamma$ on compact spaces $X$. For this, we use the notion of stationary states, recently introduced by Hartman and Kalantar (arXiv:1712.10133v2). We show that the Powers' averaging property holds for the reduced crossed product $\Gamma\ltimes_r \mathcal{A}$ for any action $\Gamma\curvearrowright \mathcal{A}$ of a $C^*$-simple group $\Gamma$ on a unital $C^*$-algebra $\mathcal{A}$, and use it to prove a one-to-one correspondence between stationary states on $\mathcal{A}$ and those on $\Gamma\ltimes_r \mathcal{A}$.


title: Devil in the Details: Towards Accurate Single and Multiple Human Parsing

abstract: Human parsing has received considerable interest due to its wide application potentials. Nevertheless, it is still unclear how to develop an accurate human parsing system in an efficient and elegant way. In this paper, we identify several useful properties, including feature resolution, global context information and edge details, and perform rigorous analyses to reveal how to leverage them to benefit the human parsing task. The advantages of these useful properties finally result in a simple yet effective Context Embedding with Edge Perceiving (CE2P) framework for single human parsing. Our CE2P is end-to-end trainable and can be easily adopted for conducting multiple human parsing. Benefiting the superiority of CE2P, we achieved the 1st places on all three human parsing benchmarks. Without any bells and whistles, we achieved 56.50\% (mIoU), 45.31\% (mean $AP^r$) and 33.34\% ($AP^p_{0.5}$) in LIP, CIHP and MHP v2.0, which outperform the state-of-the-arts more than 2.06\%, 3.81\% and 1.87\%, respectively. We hope our CE2P will serve as a solid baseline and help ease future research in single/multiple human parsing. Code has been made available at \url{https://github.com/liutinglt/CE2P}.


title: Atomistic Field Theory for contact electrification of dielectrics

abstract: The triboelectrification of conducting materials can be explained by electron transfer between different Fermi levels. However, triboelectrification in dielectrics is poorly understood. The surface dipole formations are shown to be caused by the contact-induced surface lattice deformations. An Atomistic Field Theory (AFT) based formulation is utilized to calculate the distribution of the polarization, electric and potential fields. The induced fields are considered as the driving force for charge transfer. The simulation results show that a MgO/BaTiO3 tribopair can generate up to 104 V/cm^2, which is comprable with the data in the published literature.


title: Incomplete Multi-view Clustering via Graph Regularized Matrix Factorization

abstract: Clustering with incomplete views is a challenge in multi-view clustering. In this paper, we provide a novel and simple method to address this issue. Specifically, the proposed method simultaneously exploits the local information of each view and the complementary information among views to learn the common latent representation for all samples, which can greatly improve the compactness and discriminability of the obtained representation. Compared with the conventional graph embedding methods, the proposed method does not introduce any extra regularization term and corresponding penalty parameter to preserve the local structure of data, and thus does not increase the burden of extra parameter selection. By imposing the orthogonal constraint on the basis matrix of each view, the proposed method is able to handle the out-of-sample. Moreover, the proposed method can be viewed as a unified framework for multi-view learning since it can handle both incomplete and complete multi-view clustering and classification tasks. Extensive experiments conducted on several multi-view datasets prove that the proposed method can significantly improve the clustering performance.


title: An explicit model for the homotopy theory of finite type Lie $n$-algebras

abstract: Lie $n$-algebras are the $L_\infty$ analogs of chain Lie algebras from rational homotopy theory. Henriques showed that finite type Lie $n$-algebras can be integrated to produce certain simplicial Banach manifolds, known as Lie $\infty$-groups, via a smooth analog of Sullivan's realization functor. In this paper, we provide an explicit proof that the category of finite type Lie $n$-algebras and (weak) $L_\infty$-morphisms admits the structure of a category of fibrant objects (CFO) for a homotopy theory. Roughly speaking, this CFO structure can be thought of as the transfer of the classical projective CFO structure on non-negatively graded chain complexes via the tangent functor. In particular, the weak equivalences are precisely the $L_\infty$ quasi-isomorphisms. Along the way, we give explicit constructions for pullbacks and factorizations of $L_\infty$-morphisms between finite type Lie $n$-algebras. We also analyze Postnikov towers and Maurer-Cartan/deformation functors associated to such Lie $n$-algebras. The main application of this work is our joint paper arXiv:1609.01394 with C. Zhu which characterizes the compatibility of Henriques' integration functor with the homotopy theory of Lie $n$-algebras and that of Lie $\infty$-groups.


title: A Hybrid and Universal Blind Quantum Computation

abstract: In blind quantum computation (BQC), a client delegates her quantum computation to a server with universal quantum computers who learns nothing about the client's private information. In measurement-based BQC model, entangled states are generally used to realize quantum computing. However, to generate a large-scale entangled state in experiment becomes a challenge issue. In circuit-based BQC model, single-qubit gates can be realized precisely, but entangled gates are probabilistically successful. This remains a challenge to realize entangled gates with a deterministic method in some systems. To solve above two problems, we propose the first hybrid universal BQC protocol based on measurements and circuits, where the client prepares single-qubit states and the server performs universal quantum computing. We analyze and prove the correctness, blindness and verifiability of the proposed protocol.


title: Monodromy of monomially admissible Fukaya-Seidel categories mirror to toric varieties

abstract: Mirror symmetry for a toric variety involves Laurent polynomials whose symplectic topology is related to the algebraic geometry of the toric variety. We show that there is a monodromy action on the monomially admissible Fukaya-Seidel categories of these Laurent polynomials as the arguments of their coefficients vary that corresponds under homological mirror symmetry to tensoring by a line bundle naturally associated to the monomials whose coefficients are rotated. In the process, we introduce the monomially admissible Fukaya-Seidel category as a new interpretation of the Fukaya-Seidel category of a Laurent polynomial on $(\mathbb{C}^*)^n$, which has other potential applications, and give evidence of homological mirror symmetry for non-compact toric varieties.


title: General formation control for multi-agent systems with double-integrator dynamics

abstract: We study the general formation problem for a group of mobile agents in a plane, in which the agents are required to maintain a distribution pattern, as well as to rotate around or remain static relative to a static/moving target. The prescribed distribution pattern is a class of general formations that the distances between neighboring agents or the distances from each agent to the target do not need to be equal. Each agent is modeled as a double integrator and can merely perceive the relative information of the target and its neighbors. A distributed control law is designed using the limit-cycle based idea to solve the problem. One merit of the controller is that it can be implemented by each agent in its Frenet-Serret frame so that only local information is utilized without knowing global information. Theoretical analysis is provided of the equilibrium of the N-agent system and of the convergence of its converging part. Numerical simulations are given to show the effectiveness and performance of the proposed controller.


title: Dibaryons cannot be the dark matter

abstract: The hypothetical $SU(3)$ flavor-singlet dibaryon state $S$ with strangeness $-2$ has been discussed as a dark-matter candidate capable of explaining the curious 5-to-1 ratio of the mass density of dark matter to that of baryons. We study the early-universe production of dibaryons and find that irrespective of the hadron abundances produced by the QCD quark/hadron transition, rapid particle reactions thermalized the $S$ abundance, and it tracked equilibrium until it "froze out" at a tiny value. For the plausible range of dibaryon masses (1860 - 1890 MeV) and generous assumptions about its interaction cross sections, $S$'s account for at most $10^{-11}$ of the baryon number, and thus cannot be the dark matter. Although it is not the dark matter, if the $S$ exists it might be an interesting relic.


title: Open-world Learning and Application to Product Classification

abstract: Classic supervised learning makes the closed-world assumption, meaning that classes seen in testing must have been seen in training. However, in the dynamic world, new or unseen class examples may appear constantly. A model working in such an environment must be able to reject unseen classes (not seen or used in training). If enough data is collected for the unseen classes, the system should incrementally learn to accept/classify them. This learning paradigm is called open-world learning (OWL). Existing OWL methods all need some form of re-training to accept or include the new classes in the overall model. In this paper, we propose a meta-learning approach to the problem. Its key novelty is that it only needs to train a meta-classifier, which can then continually accept new classes when they have enough labeled data for the meta-classifier to use, and also detect/reject future unseen classes. No re-training of the meta-classifier or a new overall classifier covering all old and new classes is needed. In testing, the method only uses the examples of the seen classes (including the newly added classes) on-the-fly for classification and rejection. Experimental results demonstrate the effectiveness of the new approach.


title: Fast Maximum Power Point Tracking for PV Arrays under Partial shaded Conditions

abstract: P-V characteristic of photovoltaic (PV) arrays under partially shaded conditions (PSC) has multiple peaks, and conventional maximum power point tracking (MPPT) algorithms may fail to track the global maximum power point (GMPP) because of their insufficient intelligence in discriminating the local and global peaks. This paper proposes a novel fast MPPT method to achieve GMPP of PV array under all PSCs. The proposed method reduces the number of required samples and increases the speed of GMPP tracking based on comprehensive study of I-V and P-V characteristics of PV array. Performance of the proposed method has been evaluated in simulations of different PSCs. Also, its performance has been compared with two selected methods in the literature through simulations. Comparisons highlight the superiority of the proposed method.


title: Evaluating Merging Strategies for Sampling-based Uncertainty Techniques in Object Detection

abstract: There has been a recent emergence of sampling-based techniques for estimating epistemic uncertainty in deep neural networks. While these methods can be applied to classification or semantic segmentation tasks by simply averaging samples, this is not the case for object detection, where detection sample bounding boxes must be accurately associated and merged. A weak merging strategy can significantly degrade the performance of the detector and yield an unreliable uncertainty measure. This paper provides the first in-depth investigation of the effect of different association and merging strategies. We compare different combinations of three spatial and two semantic affinity measures with four clustering methods for MC Dropout with a Single Shot Multi-Box Detector. Our results show that the correct choice of affinity-clustering combination can greatly improve the effectiveness of the classification and spatial uncertainty estimation and the resulting object detection performance. We base our evaluation on a new mix of datasets that emulate near open-set conditions (semantically similar unknown classes), distant open-set conditions (semantically dissimilar unknown classes) and the common closed-set conditions (only known classes).


title: Scaling Laws of Ion Acceleration in Ultrathin Foils Driven by Laser Radiation Pressure

abstract: Scaling laws of ion acceleration in ultrathin foils driven by radiation pressure of intense laser pulses are investigated by theoretical analysis and two-dimensional particle-in-cell simulations. Considering the instabilities are inevitable during laser plasma interaction, the maximum energy of ions should have two contributions: the bulk acceleration driven by radiation pressure and the sheath acceleration in the moving foil reference induced by hot electrons. A theoretical model is proposed to quantitatively explain the results that the cutoff energy and energy spread are larger than the predictions of "light sail" model, observed in simulations and experiments for a large range of laser and target parameters. Scaling laws derived from this model and supported by the simulation results are verified by the previous experiments.


title: A unitary distributed subgradient method for multi-agent optimization with different coupling sources

abstract: In this work, we first consider distributed convex constrained optimization problems where the objective function is encoded by multiple local and possibly nonsmooth objectives privately held by a group of agents, and propose a distributed subgradient method with double averaging (abbreviated as ${\rm DSA_2}$) that only requires peer-to-peer communication and local computation to solve the global problem. The algorithmic framework builds on dual methods and dynamic average consensus; the sequence of test points is formed by iteratively minimizing a local dual model of the overall objective where the coefficients, i.e., approximated subgradients of the objective, are supplied by the dynamic average consensus scheme. We theoretically show that ${\rm DSA_2}$ enjoys non-ergodic convergence properties, i.e., the local minimizing sequence itself is convergent, a distinct feature that cannot be found in existing results. Specifically, we establish a convergence rate of $O(\frac{1}{\sqrt{t}})$ in terms of objective function error. Then, extensions are made to tackle distributed optimization problems with coupled functional constraints by combining ${\rm DSA_2}$ and dual decomposition. This is made possible by Lagrangian relaxation that transforms the coupling in constraints of the primal problem into that in cost functions of the dual, thus allowing us to solve the dual problem via ${\rm DSA_2}$. Both the dual objective error and the quadratic penalty for the coupled constraint are proved to converge at a rate of $O(\frac{1}{\sqrt{t}})$, and the primal objective error asymptotically vanishes. Numerical experiments and comparisons are conducted to illustrate the advantage of the proposed algorithms and validate our theoretical findings.


title: Uncertainty Propagation in Deep Neural Networks Using Extended Kalman Filtering

abstract: Extended Kalman Filtering (EKF) can be used to propagate and quantify input uncertainty through a Deep Neural Network (DNN) assuming mild hypotheses on the input distribution. This methodology yields results comparable to existing methods of uncertainty propagation for DNNs while lowering the computational overhead considerably. Additionally, EKF allows model error to be naturally incorporated into the output uncertainty.


title: Towards an analytic solution of rapid roll inflation with a quartic potential

abstract: In this paper, I present an analytic solution to the equation of motion of the inflaton field in a model of rapid roll inflation with a quartic potential by assuming that the Hubble parameter is a constant during inflation. The result is obtained by using Jacobi elliptic functions. The spectral index $n_s$ and the running spectral index $n_s^\prime$ is obtained without using rapid roll or extended slow roll approximations. The cosmological consequences of the model is discussed.


title: Electric-Field Control of Magnetic Order: From FeRh to Topological Antiferromagnetic Spintronics

abstract: Using an electric field instead of an electric current (or a magnetic field) to tailor the electronic properties of magnetic materials is promising for realizing ultralow energy-consuming memory devices because of the suppression of Joule heating, especially when the devices are scaled to the nanoscale. In the review, we summarize recent results on the giant magnetization and resistivity modulation in a metamagnetic intermetallic alloy - FeRh, which is achieved by electric-field-controlled magnetic phase transitions in multiferroic heterostructures. Furthermore, the approach is extended to topological antiferromagnetic spintronics, which is currently receiving attention in the magnetic society, and the antiferromagnetic order parameter has been able to switch back and forth by a small electric field. In the end, we envision the possibility of manipulating exotic physical phenomena in the emerging topological antiferromagnetic spintronics field via the electric-field approach.


title: PDE-based numerical method for a limited angle X-ray tomography

abstract: A new numerical method for X-ray tomography for a specific case of incomplete Radon data is proposed. Potential applications are in checking out bulky luggage in airports. This method is based on the analysis of the transport PDE governing the X-ray tomography rather than on the conventional integral formulation. The quasi-reversibility method is applied. Convergence analysis is performed using a new Carleman estimate. Numerical results are presented and compared with the inversion of the Radon transform using the well-known filtered back projection algorithm. In addition, it is shown how to use our method to study the inversion of the attenuated X-ray transform for the same case of incomplete data.


title: DASNet: Reducing Pixel-level Annotations for Instance and Semantic Segmentation

abstract: Pixel-level annotation demands expensive human efforts and limits the performance of deep networks that usually benefits from more such training data. In this work we aim to achieve high quality instance and semantic segmentation results over a small set of pixel-level mask annotations and a large set of box annotations. The basic idea is exploring detection models to simplify the pixel-level supervised learning task and thus reduce the required amount of mask annotations. Our architecture, named DASNet, consists of three modules: detection, attention, and segmentation. The detection module detects all classes of objects, the attention module generates multi-scale class-specific features, and the segmentation module recovers the binary masks. Our method demonstrates substantially improved performance compared to existing semi-supervised approaches on PASCAL VOC 2012 dataset.


title: Doppler Spectrum Analysis of a Roadside Scatterer Model for Vehicle-to-Vehicle Channels: An Indirect Method

abstract: In vehicle-to-vehicle (V2V) channels, such roadside scatterers (RSSs) as houses, buildings, trees, and many more, play a crucial role in the determination of the Doppler power spectral density (DPSD) characteristics. However, the relevant research results are scarce due to the lack of computationally tractable analytic DPSD solutions. To fill this gap, we investigate an indirect method for the DPSD analysis of a generic two-dimensional (2D) RSS model for V2V channels. The indirect method, based on the Hoeher's theorem, employs successive transformations of random variables to obtain the DPSD. Compared to the conventional methods, leading to impractical multiple integral solutions, our method yields a single integral-form, more useful for analytic studies, model validation/parameter estimation, and fading simulator design. Using the new DPSD solution, the impact of different RSS layouts on the DPSD characteristics is further investigated, and several new insights are provided. The joint probability density function (PDF) of angle-of-departure and angle-of-arrival (AoA) and the joint Doppler-AoA PDF are newly presented in closed-forms and analyzed with respect to the DPSD shape. Comparisons with the DPSDs measured in highway and \FB{urban canyon} environments demonstrate not only the validity of the generic 2D RSS model, but also the significant contribution of RSSs to V2V channels.


title: Ciphertext Outdate Attacks on the Revocable Attribute-Based Encryption Scheme with Time Encodings

abstract: Cloud storage is a new computing paradigm that allows users to store their data in the cloud and access them anytime anywhere through the Internet. To address the various security issues that may arise in the cloud storage accessed by a large number of users, cryptographic encryption should be considered. Currently, researches on revocable attribute-based encryption (RABE) systems, which provide user revocation function and ciphertext update function by extending attribute-based encryption (ABE) systems that provide access control to ciphertexts, are actively being studied. Recently, Xu et al. proposed a new RABE scheme that combines ABE and identity-based encryption (IBE) schemes to efficiently handle ciphertext update and user revocation functionality. In this paper, we show that there is a serious security problem in Xu et al.'s RABE scheme such that a cloud server can obtain the plaintext information of stored ciphertexts by gathering invalidated credentials of revoked users. Additionally, we also show that the RABE scheme of Xu et al. can be secure in a weaker security model where the cloud server cannot obtain any invalidated credentials of revoked users.


title: The Impact of On-chip Communication on Memory Technologies for Neuromorphic Systems

abstract: Emergent nanoscale non-volatile memory technologies with high integration density offer a promising solution to overcome the scalability limitations of CMOS-based neural networks architectures, by efficiently exhibiting the key principle of neural computation. Despite the potential improvements in computational costs, designing high-performance on-chip communication networks that support flexible, large-fanout connectivity remains as daunting task. In this paper, we elaborate on the communication requirements of large-scale neuromorphic designs, and point out the differences with the conventional network-on-chip architectures. We present existing approaches for on-chip neuromorphic routing networks, and discuss how new memory and integration technologies may help to alleviate the communication issues in constructing next-generation intelligent computing machines.


title: Saturating the quantum Cram\'er-Rao bound using LOCC

abstract: The quantum Cram\'er-Rao bound (QCRB) provides an ultimate precision limit allowed by quantum mechanics in parameter estimation. Given any quantum state dependent on a single parameter, there is always a positive-operator valued measurement (POVM) saturating the QCRB. However, the QCRB-saturating POVM cannot always be implemented efficiently, especially in multipartite systems. In this paper, we show that the POVM based on local operations and classical communication (LOCC) is QCRB-saturating for arbitrary pure states or rank-two mixed states with varying probability distributions over fixed eigenbasis. Local measurements without classical communication, however, is not QCRB-saturating in general.


title: Integrative Analysis of Patient Health Records and Neuroimages via Memory-based Graph Convolutional Network

abstract: With the arrival of the big data era, more and more data are becoming readily available in various real-world applications and those data are usually highly heterogeneous. Taking computational medicine as an example, we have both Electronic Health Records (EHR) and medical images for each patient. For complicated diseases such as Parkinson's and Alzheimer's, both EHR and neuroimaging information are very important for disease understanding because they contain complementary aspects of the disease. However, EHR and neuroimage are completely different. So far the existing research has been mainly focusing on one of them. In this paper, we proposed a framework, Memory-Based Graph Convolution Network (MemGCN), to perform integrative analysis with such multi-modal data. Specifically, GCN is used to extract useful information from the patients' neuroimages. The information contained in the patient EHRs before the acquisition of each brain image is captured by a memory network because of its sequential nature. The information contained in each brain image is combined with the information read out from the memory network to infer the disease state at the image acquisition timestamp. To further enhance the analytical power of MemGCN, we also designed a multi-hop strategy that allows multiple reading and updating on the memory can be performed at each iteration. We conduct experiments using the patient data from the Parkinson's Progression Markers Initiative (PPMI) with the task of classification of Parkinson's Disease (PD) cases versus controls. We demonstrate that superior classification performance can be achieved with our proposed framework, comparing with existing approaches involving a single type of data.


title: Statistically and Computationally Efficient Variance Estimator for Kernel Ridge Regression

abstract: In this paper, we propose a random projection approach to estimate variance in kernel ridge regression. Our approach leads to a consistent estimator of the true variance, while being computationally more efficient. Our variance estimator is optimal for a large family of kernels, including cubic splines and Gaussian kernels. Simulation analysis is conducted to support our theory.


title: From yielding to shear jamming in a cohesive frictional suspension

abstract: Simulations are used to study the steady shear rheology of dense suspensions of frictional particles exhibiting discontinuous shear thickening and shear jamming, in which finite-range cohesive interactions result in a yield stress. We develop a constitutive model that combines yielding behavior and shear thinning at low stress with the frictional shear thickening at high stresses, in good agreement with the simulation results. This work shows that there is a distinct difference between solids below the yield stress and in the shear-jammed state, as the two occur at widely separated stress levels, separated by a region of stress in which the material is flowable.


title: On Higgs Bundles on Nodal Curves

abstract: This is a review article on some applications of generalised parabolic structures to the study of torsion free sheaves and $L$-twisted Hitchin pairs on nodal curves. In particular, we survey on the relation between representations of the fundamental group of a nodal curve and the moduli spaces of generalised parabolic bundles and generalised parabolic $L$-twisted Hitchin pairs on its normalisation as well as on an analogue of the Hitchin map for generalised parabolic $L$-twisted Hitchin pairs.


title: Smooth phase transition of energy equilibration in a springy Sinai billiard

abstract: Statistical equilibration of energies in a slow-fast system is a fundamental open problem in physics. In a recent paper, it was shown that the equilibration rate in a springy billiard can remain strictly positive in the limit of vanishing mass ratio (of the particle and billiard wall) when the frozen billiard has more than one ergodic components [Proc. Natl. Acad. Sci. USA 114, E10514 (2017)]. In this paper, using the model of a springy Sinai billiard, it is shown that this can happen even in the case where the frozen billiard has a single ergodic component, but when the time of ergodization in the frozen system is much longer than the time of equilibration. It is also shown that as the size of the disc in the Sinai billiard is increased from zero, thereby leading to a decrease in the time required for ergodization in the frozen system, the system undergoes a smooth phase transition in the equilibration rate dependence on mass ratio.


title: Learning-based attacks in cyber-physical systems

abstract: We introduce the problem of learning-based attacks in a simple abstraction of cyber-physical systems---the case of a discrete-time, linear, time-invariant plant that may be subject to an attack that overrides the sensor readings and the controller actions. The attacker attempts to learn the dynamics of the plant and subsequently override the controller's actuation signal, to destroy the plant without being detected. The attacker can feed fictitious sensor readings to the controller using its estimate of the plant dynamics and mimic the legitimate plant operation. The controller, on the other hand, is constantly on the lookout for an attack; once the controller detects an attack, it immediately shuts the plant off. In the case of scalar plants, we derive an upper bound on the attacker's deception probability for any measurable control policy when the attacker uses an arbitrary learning algorithm to estimate the system dynamics. We then derive lower bounds for the attacker's deception probability for both scalar and vector plants by assuming a specific authentication test that inspects the empirical variance of the system disturbance. We also show how the controller can improve the security of the system by superimposing a carefully crafted privacy-enhancing signal on top of the "nominal control policy." Finally, for nonlinear scalar dynamics that belong to the Reproducing Kernel Hilbert Space (RKHS), we investigate the performance of attacks based on nonlinear Gaussian-processes (GP) learning algorithms.

categories: eess.SY cs.CR cs.IT cs.LG cs.SY math.IT stat.AP


title: A convex formulation for high-dimensional sparse sliced inverse regression

abstract: Sliced inverse regression is a popular tool for sufficient dimension reduction, which replaces covariates with a minimal set of their linear combinations without loss of information on the conditional distribution of the response given the covariates. The estimated linear combinations include all covariates, making results difficult to interpret and perhaps unnecessarily variable, particularly when the number of covariates is large. In this paper, we propose a convex formulation for fitting sparse sliced inverse regression in high dimensions. Our proposal estimates the subspace of the linear combinations of the covariates directly and performs variable selection simultaneously. We solve the resulting convex optimization problem via the linearized alternating direction methods of multiplier algorithm, and establish an upper bound on the subspace distance between the estimated and the true subspaces. Through numerical studies, we show that our proposal is able to identify the correct covariates in the high-dimensional setting.


title: Greedy Algorithms for Sparse Sensor Placement via Deep Learning

abstract: We consider the exploration problem: an agent equipped with a depth sensor must map out a previously unknown environment using as few sensor measurements as possible. We propose an approach based on supervised learning of a greedy algorithm. We provide a bound on the optimality of the greedy algorithm using submodularity theory. Using a level set representation, we train a convolutional neural network to determine vantage points that maximize visibility. We show that this method drastically reduces the on-line computational cost and determines a small set of vantage points that solve the problem. This enables us to efficiently produce highly-resolved and topologically accurate maps of complex 3D environments. Unlike traditional next-best-view and frontier-based strategies, the proposed method accounts for geometric priors while evaluating potential vantage points. While existing deep learning approaches focus on obstacle avoidance and local navigation, our method aims at finding near-optimal solutions to the more global exploration problem. We present realistic simulations on 2D and 3D urban environments.


title: Starburst galaxies in semi-analytic models of galaxy formation and evolution

abstract: We study the shape and evolution of the star formation main sequence in three independently developed semi-analytic models of galaxy formation. We focus, in particular, on the characterization of the model galaxies that are significantly above the main sequence, and that can be identified with galaxies classified as `starburst' in recent observational work. We find that, in all three models considered, star formation triggered by merger events (both minor and major) contribute to only a very small fraction of the cosmic density of star formation. While mergers are associated to bursts of star formation in all models, galaxies that experienced recent merger events are not necessarily significantly above the main sequence. On the other hand, `starburst galaxies' are not necessarily associated with merger episodes, especially at the low-mass end. Galaxies that experienced recent mergers can have relatively low levels of star formation when/if the merger is gas-poor, and galaxies with no recent merger can experience episodes of starbursts due to a combination of large amount of cold gas available from cooling/accretion events and/or small disk radii which increases the cold gas surface density.


title: BSE: A Minimal Simulation of a Limit-Order-Book Stock Exchange

abstract: This paper describes the design, implementation, and successful use of the Bristol Stock Exchange (BSE), a novel minimal simulation of a centralised financial market, based on a Limit Order Book (LOB) such as is common in major stock exchanges. Construction of BSE was motivated by the fact that most of the world's major financial markets have automated, with trading activity that previously was the responsibility of human traders now being performed by high-speed autonomous automated trading systems. Research aimed at understanding the dynamics of this new style of financial market is hampered by the fact that no operational real-world exchange is ever likely to allow experimental probing of that market while it is open and running live, forcing researchers to work primarily from time-series of past trading data. Similarly, university-level education of the engineers who can create next-generation automated trading systems requires that they have hands-on learning experience in a sufficiently realistic teaching environment. BSE as described here addresses both those needs: it has been successfully used for teaching and research in a leading UK university since 2012, and the BSE program code is freely available as open-source on GitHuB.


title: Validation of a track repeating algorithm for intensity modulated Carbon therapy with GEANT4

abstract: The Fast Dose Calculator (FDC), a track repeating algorithm Monte Carlo method was initially developed for proton therapy. The validation for proton therapy has been demonstrated in a previous work. This method can be expanded to ion applications. Our purpose of this paper is to validate the FDC for carbon therapy. We compare the 3D dose distributions and dose-volume-histograms (DVH) for carbon calculated by FDC with a full Monte Carlo method, GEANT 4. 19 patients in total will be discussed, including 3 patients of prostate, 5 of brain, 3 of head and neck, 4 of lung and 4 of spine. We use gamma-index technique to analyse dose distributions and we do dosimetric analysis for DVH, a more direct and informative quantity for planning system assessment. The FDC calculations of both quantities agree with GEANT4. The gamma-index passing rates of all patients discussed in this paper are above 90% with the criterion 1%/1 mm, above 98% with the criterion 2%/2 mm and over 99.9% with the criterion 3%/3 mm. The Root Mean Square (RMS) of percent difference of dosimetric indices D02, D05, D50, D95 and D98 are 0.75%, 0.70%, 0.79%, 0.83% and 0.76%. And all the difference are allowed for clinical use.


title: A Lower Lower-Critical Spin-Glass Dimension from Quenched Mixed-Spatial-Dimensional Spin Glasses

abstract: By quenched-randomly mixing local units of different spatial dimensionalities, we have studied Ising spin-glass systems on hierarchical lattices continuously in dimensionalities 1 =< d =< 3. The global phase diagram in temperature, antiferromagnetic bond concentration, and spatial dimensionality is calculated. We find that, as dimension is lowered, the spin-glass phase disappears to zero temperature at the lower-critical dimension d_c=2.431. Our system being a physically realizable system, this sets an upper limit to the lower-critical dimension in general for the Ising spin-glass phase. As dimension is lowered towards d_c, the spin-glass critical temperature continuously goes to zero, but the spin-glass chaos fully sustains to the brink of the disappearance of the spin-glass phase. The Lyapunov exponent, measuring the strength of chaos, is thus largely unaffected by the approach to d_c and shows a discontinuity to zero at d_c.


title: New Reflections on Gravitational Duality

abstract: In general terms duality consists of two descriptions of one physical system by using degrees of freedom of different nature. There are different kinds of dualities and they have been extremely useful to uncover the underlying strong coupling dynamics of gauge theories in various dimensions and those of the diverse string theories. Perhaps the oldest example exhibiting this property is Maxwell theory, which interchanges electric and magnetic fields. An extension of this duality involving the sources is also possible if the magnetic monopole is incorporated. At the present time a lot has been understood about duality in non-Abelian gauge theories as in the case of N=4 supersymmetric gauge theories in four dimensions or in the Seiberg-Witten duality for N=2 theories. Moreover, a duality that relates a gravitational theory (or a string theory) and a conformal gauge theory, as in the case of gauge/gravity correspondence, have been also studied with considerable detail. The case of duality between two gravitational theories is the so called gravitational duality. At the present time, this duality has not been exhaustively studied, however some advances have been reported in the literature. In the present paper we give a general overview of this subject. In particular we will focus on non-Abelian dualities, applied to various theories of gravity as developed by the authors, based in the Rocek-Verlinde duality procedure. Finally, as a new development in this direction, we study the gravitational duality in Hitchin's gravity in seven and six dimensions and their relation is also discussed.


title: Subregion Action and Complexity

abstract: We evaluate finite part of the on-shell action for black brane solutions of Einstein gravity on different subregions of spacetime enclosed by null boundaries. These subregions include the intersection of WDW patch with past/future interior and left/right exterior for a two sided black brane. Identifying the on-shell action on the exterior regions with subregion complexity one finds that it obeys subadditivity condition. This gives an insight to define a new quantity named mutual complexity. We will also consider certain subregion that is a part of spacetime which could be causally connected to an operator localized behind/outside the horizon. Taking into account all terms needed to have a diffeomorphism invariant action with a well-defined variational principle, one observes that the main contribution that results to a nontrivial behavior of the on-shell action comes from joint points where two lightlike boundaries (including horizon) intersect. A spacelike boundary gives rise to a linear time growth, while we have a classical contribution due to a timelike boundary that is given by the free energy.


title: Hybrid Block Diagonalization for Massive MIMO Two-Way Half-Duplex AF Hybrid Relay

abstract: We consider a multi-pair two-way amplify-and-forward massive multi-input multi-output (MIMO) hybrid relay with MIMO user-pairs. A hybrid relay has lesser number of radio frequency (RF) chains than the antennas, which significantly reduces the implementation cost. We employ block-diagonalization-based baseband processing at the hybrid relay to cancel the inter user-pair interference and equal-gain-combining-based RF processing to maximize the beamforming gain. We also use an algebraic norm maximizing relay transmit strategy to maximize the spectral efficiency (SE) of each user-pair. We numerically show that the proposed hybrid relay has only marginally inferior SE than a full RF-chain relay.


title: New Reconfigurable L-Band Digital Aeronautical Communication System

abstract: To meet an ever-increasing demand of the spectrum for communication between aircraft and ground terminals, orthogonal frequency division multiplexing (OFDM) based L-band (960-1164MHz) Digital Aeronautical Communication System (LDACS) has been recently proposed as an alternative to existing narrowband systems. However, OFDM based LDACS needs additional control signaling for time and frequency alignment and the use of cyclic prefix and high out-of-band emission limits the spectrum utilization efficiency to less than 50%. In this paper, a new waveform has been proposed which offers better spectrum utilization than OFDM without compromising on computational complexity and interference to legacy users in L-band. It also allows transceivers to dynamically adapt the transmission bandwidth to meet the desired quality of service. Since the proposed waveform employs a reconfigurable multiband linear phase filter, it is referred to as reconfigurable filtered OFDM (Ref-OFDM). Simulation results and extensive analysis show that the proposed Ref-OFDM offers around 40 dB better out-of-band emission than OFDM which in turn leads to significant increase in the transmission bandwidth for a given BER and interference constraints. The computational complexity of Ref-OFDM is slightly higher than that of OFDM but it is significantly less than other waveforms making Ref-OFDM an attractive waveform for next generation air-to-ground communications. An end to end hardware prototyping of LDACS-DME coexistence is also presented in this report.


title: Dirac series for some real exceptional Lie groups

abstract: Up to equivalence, this paper classifies all the irreducible unitary representations with non-zero Dirac cohomology for the following simple real exceptional Lie groups: ${\rm EI}=E_{6(6)}, {\rm EIV}=E_{6(-26)}, {\rm FI}=F_{4(4)}, {\rm FII}=F_{4(-20)}$. Along the way, we find an irreducible unitary representation of $F_{4(4)}$ whose Dirac index vanishes, while its Dirac cohomology is non-zero. This disproves a conjecture raised in 2015 asserting that there should be no cancellation between the even part and the odd part of the Dirac cohomology.


title: Extracting representations of cognition across neuroimaging studies improves brain decoding

abstract: Cognitive brain imaging is accumulating datasets about the neural substrate of many different mental processes. Yet, most studies are based on few subjects and have low statistical power. Analyzing data across studies could bring more statistical power; yet the current brain-imaging analytic framework cannot be used at scale as it requires casting all cognitive tasks in a unified theoretical framework. We introduce a new methodology to analyze brain responses across tasks without a joint model of the psychological processes. The method boosts statistical power in small studies with specific cognitive focus by analyzing them jointly with large studies that probe less focal mental processes. Our approach improves decoding performance for 80% of 35 widely-different functional-imaging studies. It finds commonalities across tasks in a data-driven way, via common brain representations that predict mental processes. These are brain networks tuned to psychological manipulations. They outline interpretable and plausible brain structures. The extracted networks have been made available; they can be readily reused in new neuro-imaging studies. We provide a multi-study decoding tool to adapt to new data.


title: Binocular Tone Mapping with Improved Overall Contrast and Local Details

abstract: Tone mapping is a commonly used technique that maps the set of colors in high-dynamic-range (HDR) images to another set of colors in low-dynamic-range (LDR) images, to fit the need for print-outs, LCD monitors and projectors. Unfortunately, during the compression of dynamic range, the overall contrast and local details generally cannot be preserved simultaneously. Recently, with the increased use of stereoscopic devices, the notion of binocular tone mapping has been proposed in the existing research study. However, the existing research lacks the binocular perception study and is unable to generate the optimal binocular pair that presents the most visual content. In this paper, we propose a novel perception-based binocular tone mapping method, that can generate an optimal binocular image pair (generating left and right images simultaneously) from an HDR image that presents the most visual content by designing a binocular perception metric. Our method outperforms the existing method in terms of both visual and time performance.


title: On tails of exit times of multidimensional L\'evy processes

abstract: Using a very simple argument based on the indepenence of increments and the fact that in a finite dimensional space $R^{d}$ there are not too many directions, we derive a theorem stating that exit time of any (non-constant) L\'{e}vy process on $R^{d}$ from a ball has exponentially light tails.


title: Nonparametric estimation of the size and waiting time distributions of pulsar glitches

abstract: Glitch size and waiting time probability density functions (PDFs) are estimated for the five pulsars that have glitched most using the nonparametric kernel density estimator. Two objects exhibit decreasing size and waiting time PDFs. Their activity is Poisson-like, and their size statistics are approximately scale-invariant. Three objects exhibit a statistically significant local maximum in the PDFs, including one (PSR J1341$-$6220) which was classified as Poisson-like in previous analyses. Their activity is quasiperiodic, although the dispersion in waiting times is relatively broad. The classification is robust: it is preserved across a wide range of bandwidth choices. There is no compelling evidence for multimodality, but this issue should be revisited when more data become available. The implications for superfluid vortex avalanche models of pulsar glitches are explored briefly.


title: Inverse seesaw model with large $SU(2)_L$ multiplets and natural mass hierarchy

abstract: We propose an inverse seesaw model with large $SU(2)_L$ multiplet fields which realizes natural mass hierarchies among neutral fermions. Here, lighter neutral fermion mass matrices are induced via two suppression mechanisms; one is small vacuum expectation value of $SU(2)_L$ triplet required by rho parameter constraint and the other is generation of Majorana mass term of extra singlet fermions at one-loop level. To realize the loop masses, we impose $Z_2$ symmetry which also guarantees stability of a dark matter candidate. Furthermore, we discuss anomalous magnetic moment and collider physics from interactions of large multiplet fields.


title: Multi-Player Bandits: A Trekking Approach

abstract: We study stochastic multi-armed bandits with many players. The players do not know the number of players, cannot communicate with each other and if multiple players select a common arm they collide and none of them receive any reward. We consider the static scenario, where the number of players remains fixed, and the dynamic scenario, where the players enter and leave at any time. We provide algorithms based on a novel `trekking approach' that guarantees constant regret for the static case and sub-linear regret for the dynamic case with high probability. The trekking approach eliminates the need to estimate the number of players resulting in fewer collisions and improved regret performance compared to the state-of-the-art algorithms. We also develop an epoch-less algorithm that eliminates any requirement of time synchronization across the players provided each player can detect the presence of other players on an arm. We validate our theoretical guarantees using simulation based and real test-bed based experiments.


title: Equivalence between pathbreadth and strong pathbreadth

abstract: We say that a given graph $G = (V, E)$ has \emph{pathbreadth} at most $\rho$, denoted $\pb(G) \leq \rho$, if there exists a Roberston and Seymour's path decomposition where every bag is contained in the $\rho$-neighbourhood of some vertex. Similarly, we say that $G$ has \emph{strong pathbreadth} at most $\rho$, denoted $\spb(G) \leq \rho$, if there exists a Roberston and Seymour's path decomposition where every bag is the complete $\rho$-neighbourhood of some vertex. It is straightforward that $\pb(G) \leq \spb(G)$ for any graph $G$. Inspired from a close conjecture in [Leitert and Dragan, COCOA'16], we prove in this note that $\spb(G) \leq 4 \cdot \pb(G)$.


title: Path Integral Approach to Random Neural Networks

abstract: In this work we study of the dynamics of large size random neural networks. Different methods have been developed to analyse their behavior, most of them rely on heuristic methods based on Gaussian assumptions regarding the fluctuations in the limit of infinite sizes. These approaches, however, do not justify the underlying assumptions systematically. Furthermore, they are incapable of deriving in general the stability of the derived mean field equations, and they are not amenable to analysis of finite size corrections. Here we present a systematic method based on Path Integrals which overcomes these limitations. We apply the method to a large non-linear rate based neural network with random asymmetric connectivity matrix. We derive the Dynamic Mean Field (DMF) equations for the system, and derive the Lyapunov exponent of the system. Although the main results are well known, here for the first time, we calculate the spectrum of fluctuations around the mean field equations from which we derive the general stability conditions for the DMF states. The methods presented here, can be applied to neural networks with more complex dynamics and architectures. In addition, the theory can be used to compute systematic finite size corrections to the mean field equations.


title: Observing Merger Trees in a New Light

abstract: Merger trees harvested from cosmological $N$-body simulations encode the assembly histories of dark matter halos over cosmic time, and are a fundamental component of semi-analytical models (SAMs) of galaxy formation. The ability to compare the tools used to construct merger trees, namely halo finders and tree building algorithms, in an unbiased and systematic manner is critical to assess the quality of merger trees. In this paper, we present the dendogram, a novel method to visualise merger trees, which provides a comprehensive characterisation of a halo's assembly history - tracking subhalo orbits, halo merger events, and the general evolution of halo properties. We show the usefulness of the dendogram as a diagnostic tool of merger trees by comparing halo assembly histories from a single $N$-Body simulation analysed with three different halo-finders -\textsc{VELOCIraptor}, \textsc{AHF} and \textsc{Rockstar} - and their associated tree-builders. Based on our analysis of the resulting dendograms, we highlight how they have been used to motivate improvements to \textsc{VELOCIraptor}. The dendogram software is publicly available online, at: https://github.com/rhyspoulton/MergerTree-Dendograms .


title: BlockTag: Design and applications of a tagging system for blockchain analysis

abstract: Annotating blockchains with auxiliary data is useful for many applications. For example, e-crime investigations of illegal Tor hidden services, such as Silk Road, often involve linking Bitcoin addresses, from which money is sent or received, to user accounts and related online activities. We present BlockTag, an open-source tagging system for blockchains that facilitates such tasks. We describe BlockTag's design and present three analyses that illustrate its capabilities in the context of privacy research and law enforcement.


title: Building Prior Knowledge: A Markov Based Pedestrian Prediction Model Using Urban Environmental Data

abstract: Autonomous Vehicles navigating in urban areas have a need to understand and predict future pedestrian behavior for safer navigation. This high level of situational awareness requires observing pedestrian behavior and extrapolating their positions to know future positions. While some work has been done in this field using Hidden Markov Models (HMMs), one of the few observed drawbacks of the method is the need for informed priors for learning behavior. In this work, an extension to the Growing Hidden Markov Model (GHMM) method is proposed to solve some of these drawbacks. This is achieved by building on existing work using potential cost maps and the principle of Natural Vision. As a consequence, the proposed model is able to predict pedestrian positions more precisely over a longer horizon compared to the state of the art. The method is tested over "legal" and "illegal" behavior of pedestrians, having trained the model with sparse observations and partial trajectories. The method, with no training data, is compared against a trained state of the art model. It is observed that the proposed method is robust even in new, previously unseen areas.