title: On the stability of nucleic acid feedback controllers

abstract: Recent work has shown how chemical reaction network theory may be used to design dynamical systems that can be implemented biologically in nucleic acid-based chemistry. While this has allowed the construction of advanced open-loop circuitry based on cascaded DNA strand displacement (DSD) reactions, little progress has so far been made in developing the requisite theoretical machinery to inform the systematic design of feedback controllers in this context. Here, we develop a number of foundational theoretical results on the equilibria, stability, and dynamics of nucleic acid controllers. In particular, we show that the implementation of feedback controllers using DSD reactions introduces additional nonlinear dynamics, even in the case of purely linear designs, e.g. PI controllers. By decomposing the effects of these non-observable nonlinear dynamics, we show that, in general, the stability of the linear system design does not necessarily imply the stability of the underlying chemical network, which can be lost under experimental variability when feedback interconnections are introduced. We provide an in-depth theoretical analysis of an example illustrating this phenomenon, whereby the linear design does not capture the instability of the full nonlinear system implemented as a DSD reaction network, and we further confirm these results using VisualDSD, a bespoke software tool for simulating nucleic acid-based circuits. Our analysis highlight the many interesting and unique characteristics of this important new class of feedback control systems.


title: Target Set Selection parameterized by vertex cover and more

abstract: Given a simple, undirected graph $G$ with a threshold function $\tau:V(G) \rightarrow \mathbb{N}$, the \textsc{Target Set Selection} (TSS) problem is about choosing a minimum cardinality set, say $S \subseteq V(G)$, such that starting a diffusion process with $S$ as its seed set will eventually result in activating all the nodes in $G$. For any non-negative integer $i$, we say a set $T\subseteq V(G)$ is a "degree-$i$ modulator" of $G$ if the degree of any vertex in the graph $G-T$ is at most $i$. Degree-$0$ modulators of a graph are precisely its vertex covers. Consider a graph $G$ on $n$ vertices and $m$ edges. We have the following results on the TSS problem: -> It was shown by Nichterlein et al. [Social Network Analysis and Mining, 2013] that it is possible to compute an optimal-sized target set in $O(2^{(2^{t}+1)t}\cdot m)$ time, where $t$ denotes the cardinality of a minimum degree-$0$ modulator of $G$. We improve this result by designing an algorithm running in time $2^{O(t\log t)}n^{O(1)}$. -> We design a $2^{2^{O(t)}}n^{O(1)}$ time algorithm to compute an optimal target set for $G$, where $t$ is the size of a minimum degree-$1$ modulator of $G$.


title: CompILE: Compositional Imitation Learning and Execution

abstract: We introduce Compositional Imitation Learning and Execution (CompILE): a framework for learning reusable, variable-length segments of hierarchically-structured behavior from demonstration data. CompILE uses a novel unsupervised, fully-differentiable sequence segmentation module to learn latent encodings of sequential data that can be re-composed and executed to perform new tasks. Once trained, our model generalizes to sequences of longer length and from environment instances not seen during training. We evaluate CompILE in a challenging 2D multi-task environment and a continuous control task, and show that it can find correct task boundaries and event encodings in an unsupervised manner. Latent codes and associated behavior policies discovered by CompILE can be used by a hierarchical agent, where the high-level policy selects actions in the latent code space, and the low-level, task-specific policies are simply the learned decoders. We found that our CompILE-based agent could learn given only sparse rewards, where agents without task-specific policies struggle.


title: Privacy-Preserving Distributed Deep Learning for Clinical Data

abstract: Deep learning with medical data often requires larger samples sizes than are available at single providers. While data sharing among institutions is desirable to train more accurate and sophisticated models, it can lead to severe privacy concerns due the sensitive nature of the data. This problem has motivated a number of studies on distributed training of neural networks that do not require direct sharing of the training data. However, simple distributed training does not offer provable privacy guarantees to satisfy technical safe standards and may reveal information about the underlying patients. We present a method to train neural networks for clinical data in a distributed fashion under differential privacy. We demonstrate these methods on two datasets that include information from multiple independent sites, the eICU collaborative Research Database and The Cancer Genome Atlas.


title: Intricate modulation of interlayer coupling at GO/MoSe2 interface: application in time-dependent optics and device transport

abstract: In GO/MoSe2 semiconductor heterostructure, we have demonstrated a subtle control on the doping dynamics by modulating interlayer coupling through the combination of strain-reducing relative rotation of the constituting layers and variation of ligand type and concentration. By first-principles calculations incorporating spin-orbital coupling, we have investigated the impact of variable interlayer coupling in introducing non-collinear magnetic behaviour in the heterostructure. The outcome of varying carrier type and their respective concentrations are investigated by static as well as time dependent density functional calculations, which indicates presence of optical anisotropy and time-dependent optical phenomena like exciton quenching and band-gap renormalization. Performance of such heterostructures as channel material in devices with top and edge metal contacts is analyzed. Our self-consistent quantum transport calculations have evinced that the nature of interface-induced variation in doping is extrapolated for devices only in the case of top contacts. The edge contact, although exhibits a better transmission, are inefficient for sensing the ligand-induced doping modulation introduced via vertical inter-layer charge transfer.


title: VLT/FLAMES high-resolution chemical abundances in Sculptor: a textbook dwarf spheroidal galaxy

abstract: We present detailed chemical abundances for 99 red-giant branch stars in the centre of the Sculptor dwarf spheroidal galaxy, obtained from high-resolution VLT/FLAMES spectroscopy. This includes abundances of Li (detected in 1 out of 99 stars), Na, $\alpha$-elements (O, Mg, Si, Ca Ti), iron-peak elements (Sc, Cr, Fe, Co, Ni, Zn), r- and s-process elements (Ba, La, Nd, Eu). The sample, covering -2.3< [Fe/H]<-0.9, populates the whole metallicity distribution of the galaxy with the exception of the very low metallicity tail. There is a marked decrease in [$\alpha$/Fe] over our sample, from the Galactic halo plateau value at low [Fe/H] and then, after a `knee', a decrease to sub-solar [$\alpha$/Fe] at high [Fe/H]. This is consistent with products of core-collapse supernovae dominating at early times, followed by the onset of supernova type Ia as early as 12 Gyrs ago. The products from low-mass asymptotic giant branch stars, as traced by the s-process, also participate in the chemical evolution of Sculptor with a timescale comparable to that of supernovae type Ia. The r-process is consistent with having no time delay relative to core-collapse SN at the later stages of the chemical evolution in Sculptor. We derive empirical constraints on the relative importance of supernovae type II and Ia to the nucleosynthesis of individual iron-peak and $\alpha$-elements. The most important contribution of supernovae type Ia is to the iron-peak elements: Fe, Cr and Mn; but there is also a modest but non-negligible contribution to both the heavier $\alpha$-elements: S, Ca and Ti, and some of the iron-peak elements: Sc and Co. We see only very small or no contribution to O, Mg, Ni and Zn from supernovae type Ia in Sculptor. The observed chemical abundances in Sculptor show no evidence of a significantly different initial mass function, compared to that of the Milky Way.


title: Hyperbolic Embeddings for Learning Options in Hierarchical Reinforcement Learning

abstract: Hierarchical reinforcement learning deals with the problem of breaking down large tasks into meaningful sub-tasks. Autonomous discovery of these sub-tasks has remained a challenging problem. We propose a novel method of learning sub-tasks by combining paradigms of routing in computer networks and graph based skill discovery within the options framework to define meaningful sub-goals. We apply the recent advancements of learning embeddings using Riemannian optimisation in the hyperbolic space to embed the state set into the hyperbolic space and create a model of the environment. In doing so we enforce a global topology on the states and are able to exploit this topology to learn meaningful sub-tasks. We demonstrate empirically, both in discrete and continuous domains, how these embeddings can improve the learning of meaningful sub-tasks.


title: Natural Option Critic

abstract: The recently proposed option-critic architecture Bacon et al. provide a stochastic policy gradient approach to hierarchical reinforcement learning. Specifically, they provide a way to estimate the gradient of the expected discounted return with respect to parameters that define a finite number of temporally extended actions, called \textit{options}. In this paper we show how the option-critic architecture can be extended to estimate the natural gradient of the expected discounted return. To this end, the central questions that we consider in this paper are: 1) what is the definition of the natural gradient in this context, 2) what is the Fisher information matrix associated with an option's parameterized policy, 3) what is the Fisher information matrix associated with an option's parameterized termination function, and 4) how can a compatible function approximation approach be leveraged to obtain natural gradient estimates for both the parameterized policy and parameterized termination functions of an option with per-time-step time and space complexity linear in the total number of parameters. Based on answers to these questions we introduce the natural option critic algorithm. Experimental results showcase improvement over the vanilla gradient approach.


title: Crystal Growth and Doping Control of HgBa2CuO4+{\delta}, the Model Compound for High-Tc Superconductors

abstract: A new method to grow very high quality single crystals of the superconducting HgBa2CuO4+{\delta} mercury cuprates is reported. The single crystals are platelet-shaped, with surfaces of high optical quality and good crystallographic properties. Annealing enables optimization of Tc up to Tcmax = 94 K. With adequate treatment, the doping level of the crystalline samples can be finely controlled in a wide under- and over-doped range. Complete structural characterization from single crystal X-ray diffraction data is given for the first time for different doping levels. The role of added gold on the doping is also investigated. The signature of under- and over-doping for both pure and gold-substituted crystals has been identified from micro-Raman spectroscopy measurements.


title: Comet 67P/Churyumov-Gerasimenko rotation changes derived from sublimation induced torques

abstract: (Context) The change of the rotation period and the orientation of the rotation axis of comet 67P/Churyumov-Gerasimenko (67P/C-G) is deducible from images taken by the scientific imaging instruments on-board the Rosetta mission with high precision. Non gravitational forces are a natural explanation for these data. (Aims) We describe observed changes for the orientation of the rotation axis and the rotation period of 67P/C-G. For these changes we give an explanation based on a sublimation model with a best-fit for the surface active fraction (model P). Torque effects of periodically changing gas emissions on the surface are considered. (Methods) We solve the equation of state for the angular momentum in the inertial and the body-fixed frames and provide an analytic theory of the rotation changes in terms of Fourier coefficients, generally applicable to periodically forced rigid body dynamics. (Results) The torque induced changes of the rotation state constrain the physical properties of the surface, the sublimation rate and the local active fraction of the surface. (Conclusions) We determine a distribution of the local surface active fraction in agreement with the rotation properties, period and orientation, of 67P/C-G. The torque movement confirms that the sublimation increases faster than the insolation towards perihelion. The derived relatively uniform activity pattern is discussed in terms of related surface features.


title: Kira 1.2 Release Notes

abstract: We present the Feynman integral reduction program Kira 1.2 and describe its new features and other changes w.r.t. the previous versions. The main new features include a much faster equation generator, more flexible seed specification options, several predefined integral orderings, the reduction of systems of user-provided equations and a new technique to simplify coefficients by sampling variables over integers. Furthermore, we provide a collection of recommendations on how to use the program efficiently. This version has overall improvements in runtime for all reduction tasks compared to the previous versions of Kira.


title: Data-driven physics informed deep learning of solute transport with anomalous diffusion

abstract: The fractional advection-dispersion equation (FADE) has attracted increased attention from researchers as it provides an accurate description for challenging phenomenas with long-range time memory and spatial interactions, such as the anomalous diffusion behavior in the solute transport in porous media. Practically, a full characterization of the model parameters, such as the fluid velocity, dispersion coefficient and the order of the fractional derivative, often implies a huge amount of experiments and measurements and thus are hard to be determined. In this paper, we employ the framework of feedforward deep neural networks (DNNs) to develop an efficient data-driven deep learning algorithm for inferring the aforementioned parameters of the FADE, such as the time-dependent space-fractional advection-dispersion equation (sFADE) and the variable-order fractional mobile/immobile equation (VoFMIE), in which the feedforward DNNs are trained to minimize the mean square error loss function formulated by means of the finite difference approximations of sFADE and VoFMIE, respectively. Several numerical experiments, in which we discover the model parameters by the feedforward DNNs for both the synthetic and field data, are presented to demonstrate the effectiveness and robustness of the proposed data-driven deep learning algorithm.


title: Muon-electron lepton-flavor violating transitions: shell-model calculations of transitions in 27Al

abstract: In this paper we present the results of large-scale shell-model calculations of muon-to-electron lepton-flavor violating transitions for the case of the target nucleus 27Al. We extend the previous shell-model calculations, done in the sd model space, by including also the p orbitals in order to see whether the negative-parity states produce any significant effect in the conversion rate. The analysis of the results shows the dominance of coherent transitions mediated by isovector operators and going by the ground state of the target, with practically null influence of excited positive- or negative-parity states.


title: Wringing Out Better No-signaling Monogamies

abstract: We show that simple geometric properties of probabilistic spaces, in conjunction with no-signaling principle, lead to strong monogamies for a large class of Bell type inequalities. Additionally, using the same geometric approach, we derive a new tripartite, $d$-outcome Svetlichny-Zohren-Gill type Bell inequality and show its monogamous nature.


title: Expanding search in the space of empirical ML

abstract: As researchers and practitioners of applied machine learning, we are given a set of requirements on the problem to be solved, the plausibly obtainable data, and the computational resources available. We aim to find (within those bounds) reliably useful combinations of problem, data, and algorithm. An emphasis on algorithmic or technical novelty in ML conference publications leads to exploration of one dimension of this space. Data collection and ML deployment at scale in industry settings offers an environment for exploring the others. Our conferences and reviewing criteria can better support empirical ML by soliciting and incentivizing experimentation and synthesis independent of algorithmic innovation.


title: Sturm: Sparse Tubal-Regularized Multilinear Regression for fMRI

abstract: While functional magnetic resonance imaging (fMRI) is important for healthcare/neuroscience applications, it is challenging to classify or interpret due to its multi-dimensional structure, high dimensionality, and small number of samples available. Recent sparse multilinear regression methods based on tensor are emerging as promising solutions for fMRI, yet existing works rely on unfolding/folding operations and a tensor rank relaxation with limited tightness. The newly proposed tensor singular value decomposition (t-SVD) sheds light on new directions. In this work, we study t-SVD for sparse multilinear regression and propose a Sparse tubal-regularized multilinear regression (Sturm) method for fMRI. Specifically, the Sturm model performs multilinear regression with two regularization terms: a tubal tensor nuclear norm based on t-SVD and a standard L1 norm. We further derive the algorithm under the alternating direction method of multipliers framework. We perform experiments on four classification problems, including both resting-state fMRI for disease diagnosis and task-based fMRI for neural decoding. The results show the superior performance of Sturm in classifying fMRI using just a small number of voxels.


title: Topological Map Extraction from Overhead Images

abstract: We propose a new approach, named PolyMapper, to circumvent the conventional pixel-wise segmentation of (aerial) images and predict objects in a vector representation directly. PolyMapper directly extracts the topological map of a city from overhead images as collections of building footprints and road networks. In order to unify the shape representation for different types of objects, we also propose a novel sequentialization method that reformulates a graph structure as closed polygons. Experiments are conducted on both existing and self-collected large-scale datasets of several cities. Our empirical results demonstrate that our end-to-end learnable model is capable of drawing polygons of building footprints and road networks that very closely approximate the structure of existing online map services, in a fully automated manner. Quantitative and qualitative comparison to the state-of-the-art also shows that our approach achieves good levels of performance. To the best of our knowledge, the automatic extraction of large-scale topological maps is a novel contribution in the remote sensing community that we believe will help develop models with more informed geometrical constraints.


title: A bouncing oil droplet in a stratified liquid and its sudden death

abstract: Droplets can self-propel when immersed in another liquid in which a concentration gradient is present. Here we report the experimental and numerical study of a self-propelling oil droplet in a vertically stratified ethanol/water mixture: At first, the droplet sinks slowly due to gravity, but then, before having reached its density matched position, jumps up suddenly. More remarkably, the droplet bounces repeatedly with an ever increasing jumping distance, until all of a sudden it stops after about 30 min. We identify the Marangoni stress at the droplet/liquid interface as responsible for the jumping: its strength grows exponentially because it pulls down ethanol-rich liquid, which in turn increases its strength even more. The jumping process can repeat because gravity restores the system. Finally, the sudden death of the jumping droplet is also explained. Our findings have demonstrated a type of prominent droplet bouncing inside a continuous medium with no wall or sharp interface.


title: A System for Efficient Communication between Patients and Pharmacies

abstract: When studying human-technology interaction systems, researchers thrive to achieve intuitiveness and facilitate the people's life through a thoughtful and in-depth study of several components of the application system that supports some particular business communication with customers. Particularly in the healthcare field, some requirements such as clarity, transparency, efficiency, and speed in transmitting information to patients and or healthcare professionals might mean an important increase in the well-being of the patient and productivity of the healthcare professional. In this work, the authors study the difficulties patients frequently have when communicating with pharmacists. In addition to a statistical study of a survey conducted with more than two hundred frequent pharmacy customers, we propose an IT solution for better communication between patients and pharmacists.


title: Simultaneous measurement of phase transmission and linear or circular dichroism of an object under test

abstract: This publication presents a novel interferometric method for the simultaneous spatially resolved analysis of an object under test regarding the phase transmission function and the magnitude and orientation of dichroism. Analogous to the classical phase shifting interferometry the measurement strategy is based on the variation of phase and polarization in an interferometer. This procedure allows to analyse simultaneously and spatially resolved the dichroic properties of the object and its impact on the phase of the incoming light in one measurement cycle. The theoretical description of the investigated methods and their experimental implementation are presented.


title: Domain Attentive Fusion for End-to-end Dialect Identification with Unknown Target Domain

abstract: End-to-end deep learning language or dialect identification systems operate on the spectrogram or other acoustic feature and directly generate identification scores for each class. An important issue for end-to-end systems is to have some knowledge of the application domain, because the system can be vulnerable to use cases that were not seen in the training phase; such a scenario is often referred to as a domain mismatched condition. In general, we assume that there is enough variation in the training dataset to expose the system to multiple domains. In this work, we study how to best make use a training dataset in order to have maximum effectiveness on unknown target domains. Our goal is to process the input without any knowledge of the target domain while preserving robust performance on other domains as well. To accomplish this objective, we propose a domain attentive fusion approach for end-to-end dialect/language identification systems. To help with experimentation, we collect a dataset from three different domains, and create experimental protocols for a domain mismatched condition. The results of our proposed approach, which were tested on a variety of broadcast and YouTube data, shows significant performance gain compared to traditional approaches, even without any prior target domain information.


title: Parallelising Particle Filters with Butterfly Interactions

abstract: Bootstrap particle filter (BPF) is the corner stone of many popular algorithms used for solving inference problems involving time series that are observed through noisy measurements in a non-linear and non-Gaussian context. The long term stability of BPF arises from particle interactions which in the context of modern parallel computing systems typically means that particle information needs to be communicated between processing elements, which makes parallel implementation of BPF nontrivial. In this paper we show that it is possible to constrain the interactions in a way which, under some assumptions, enables the reduction of the cost of communicating the particle information while still preserving the consistency and the long term stability of the BPF. Numerical experiments demonstrate that although the imposed constraints introduce additional error, the proposed method shows potential to be the method of choice in certain settings.


title: Continuous User Authentication by Contactless Wireless Sensing

abstract: This paper presents BodyPIN, which is a continuous user authentication system by contactless wireless sensing using commodity Wi-Fi. BodyPIN can track the current user's legal identity throughout a computer system's execution. In case the authentication fails, the consequent accesses will be denied to protect the system. The recent rich wireless-based user identification designs cannot be applied to BodyPIN directly, because they identify a user's various activities, rather than the user herself. The enforced to be performed activities can thus interrupt the user's operations on the system, highly inconvenient and not user-friendly. In this paper, we leverage the bio-electromagnetics domain human model for quantifying the impact of human body on the bypassing Wi-Fi signals and deriving the component that indicates a user's identity. Then we extract suitable Wi-Fi signal features to fully represent such an identity component, based on which we fulfill the continuous user authentication design. We implement a BodyPIN prototype by commodity Wi-Fi NICs without any extra or dedicated wireless hardware. We show that BodyPIN achieves promising authentication performances, which is also lightweight and robust under various practical settings.


title: Fighting Fire with Fire: Using Antidote Data to Improve Polarization and Fairness of Recommender Systems

abstract: The increasing role of recommender systems in many aspects of society makes it essential to consider how such systems may impact social good. Various modifications to recommendation algorithms have been proposed to improve their performance for specific socially relevant measures. However, previous proposals are often not easily adapted to different measures, and they generally require the ability to modify either existing system inputs, the system's algorithm, or the system's outputs. As an alternative, in this paper we introduce the idea of improving the social desirability of recommender system outputs by adding more data to the input, an approach we view as providing `antidote' data to the system. We formalize the antidote data problem, and develop optimization-based solutions. We take as our model system the matrix factorization approach to recommendation, and we propose a set of measures to capture the polarization or fairness of recommendations. We then show how to generate antidote data for each measure, pointing out a number of computational efficiencies, and discuss the impact on overall system accuracy. Our experiments show that a modest budget for antidote data can lead to significant improvements in the polarization or fairness of recommendations.


title: A high threshold code for modular hardware with asymmetric noise

abstract: We consider an approach to fault tolerant quantum computing based on a simple error detecting code operating as the substrate for a conventional surface code. We develop a customised decoder to process the information about the likely location of errors, obtained from the error detect stage, with an advanced variant of the minimum weight perfect matching algorithm. A threshold gate-level error rate of 1.42% is found for the concatenated code given highly asymmetric noise. This is superior to the standard surface code and remains so as we introduce a significant component of depolarising noise; specifically, until the latter is 70% the strength of the former. Moreover, given the asymmetric noise case, the threshold rises to 6.24% if we additionally assume that local operations have 20 times higher fidelity than long range gates. Thus for systems that are both modular and prone to asymmetric noise our code structure can be very advantageous.


title: Contact structures, CR Yamabe invariant, and connected sum

abstract: We propose a global invariant $\sigma_c$ for contact manifolds which admit a strictly pseudoconvex CR structure, analogous to the Yamabe invariant $\sigma$. We prove that this invariant is non-decreasing under handle attaching and under connected sum. We then give a lower bound on $\sigma_c$ in a particular case.


title: Lattice dynamics of palladium in the presence of electronic correlations

abstract: We compute the phonon dispersion, density of states, and the Gr\"uneisen parameters of bulk palladium in the combined density functional theory (DFT) and dynamical mean-field theory (DMFT). We find good agreement with experimental results for ground state properties (equilibrium lattice parameter and bulk modulus) and the experimentally measured phonon spectra. We demonstrate that at temperatures $T \lesssim 20~K$ the phonon frequency in the vicinity of the Kohn anomaly, $\omega_{T1}({\bf q}_{K})$, strongly decreases. This is in contrast to DFT where this frequency remains essentially constant in the whole temperature range. Apparently correlation effects reduce the restoring force of the ionic displacements at low temperatures, leading to a mode softening.


title: Generic Singularities of the 3D-Contact sub-Riemannian Conjugate Locus

abstract: In this paper, we extend and complete the classification of the generic singularities of the 3D-contact sub-Riemmanian conjugate locus in a neighbourhood of the origin.


title: Lectures on nonperturbative QCD ( Nonperturbative Topological Phenomena in QCD and Related Theories)

abstract: These are lecture notes, which summarize the current status of the Semiclassical theory, as well as Monopoles, Instantons, Instanton-dyons and Flux tubes. The emphasis is on QCD and QCD-like theories (deformed QCD), although relevant points derived in Supersymmetric theories are also covered. While the actual lectures on which the notes are based were delivered in the fall 2018, the text evolved over the years and summarizes about 4 decades of development. One recent point added is the so called Poisson duality between monopoles and instanton-dyon approaches. It is made in a book format, with extensive list of references. Large size of the text have lead to many imperfections, which I hope to correct in future versions.


title: Distortion and Distribution of Sets under Inner Functions

abstract: It is a classical result that Lebesgue measure on the unit circle is invariant under inner functions fixing the origin. In this setting, the distortion of Hausdorff contents has also been studied. We present here similar results focusing on inner functions with fixed points on the unit circle. In particular, our results yield information not only on the size of preimages of sets under inner functions, but also on their distribution with respect to a given boundary point. As an application, we use them to estimate the size of irregular points of inner functions omitting large sets. Finally, we also present a natural interpretation of the results in the upper half plane.


title: Polynomiality sum rules for generalized parton distributions of spin-1 targets

abstract: We present the polynomiality sum rules for all leading-twist quark and gluon generalized parton distributions (GPDs) of spin-1 targets such as the deuteron nucleus. The sum rules connect the Mellin moments of these GPDs to polynomials in skewness parameter $\xi$, which contain generalized form factors (GFFs) as their coefficients. The decompositions of local currents in terms of generalized form factors for spin-1 targets are obtained as a byproduct of this derivation.


title: Tracking picosecond strain pulses in heterostructures that exhibit giant magnetostriction

abstract: We combine ultrafast X-ray diffraction (UXRD) and time-resolved Magneto-Optical Kerr Effect (MOKE) measurements to monitor the strain pulses in laser-excited TbFe2/Nb heterostructures. Spatial separation of the Nb detection layer from the laser excitation region allows for a background free characterization of the laser-generated strain pulses. We clearly observe symmetric bipolar strain pulses when the excited TbFe2 surface terminates the sample and a decomposition of the strain wavepacket into an asymmetric bipolar and a unipolar pulse, when a SiO2 glass capping layer covers the excited TbFe2 layer. The inverse magnetostriction of the temporally separated unipolar strain pulses in this sample leads to a MOKE signal that linearly depends on the strain pulse amplitude measured through UXRD. Linear chain model simulations accurately predict the timing and shape of UXRD and MOKE signals that are caused by the strain reflections from multiple interfaces in the heterostructure.


title: Radial Variation of Bloch functions on the unit ball of $\mathbb{R}^d$

abstract: We provide variational estimates for Bloch functions on the unit ball of $\mathbb{R}^d$ extending previous work on the Anderson conjecture for conformal maps on the unit disc.


title: Missed by Filter Lists: Detecting Unknown Third-Party Trackers with Invisible Pixels

abstract: Web tracking has been extensively studied over the last decade. To detect tracking, previous studies and user tools rely on filter lists. However, it has been shown that filter lists miss trackers. In this paper, we propose an alternative method to detect trackers inspired by analyzing behavior of invisible pixels. By crawling 84,658 webpages from 8,744 domains, we detect that third-party invisible pixels are widely deployed: they are present on more than 94.51% of domains and constitute 35.66% of all third-party images. We propose a fine-grained behavioral classification of tracking based on the analysis of invisible pixels. We use this classification to detect new categories of tracking and uncover new collaborations between domains on the full dataset of 4,216,454 third-party requests. We demonstrate that two popular methods to detect tracking, based on EasyList&EasyPrivacy and on Disconnect lists respectively miss 25.22% and 30.34% of the trackers that we detect. Moreover, we find that if we combine all three lists 379,245 requests originated from 8,744 domains still track users on 68.70% of websites.


title: On the singular set in the thin obstacle problem: higher order blow-ups and the very thin obstacle problem

abstract: In this work, we consider the singular set in the thin obstacle problem with weight $|x_{n+1}|^a$ for $a\in (-1, 1)$, which arises as the local extension of the obstacle problem for the fractional Laplacian (a non-local problem). We develop a refined expansion of the solution around its singular points by building on the ideas introduced by Figalli and Serra to study the fine properties of the singular set in the classical obstacle problem. As a result, under a superharmonicity condition on the obstacle, we prove that each stratum of the singular set is locally contained in a single $C^2$ manifold, up to a lower dimensional subset, and the top stratum is locally contained in a $C^{1,\alpha}$ manifold for some $\alpha > 0$ if $a < 0$. In studying the top stratum, we discover a dichotomy, until now unseen, in this problem (or, equivalently, the fractional obstacle problem). We find that second blow-ups at singular points in the top stratum are global, homogeneous solutions to a codimension two lower dimensional obstacle problem (or fractional thin obstacle problem) when $a < 0$, whereas second blow-ups at singular points in the top stratum are global, homogeneous, and $a$-harmonic polynomials when $a \geq 0$. To do so, we establish regularity results for this codimension two problem, what we call the very thin obstacle problem. Our methods extend to the majority of the singular set even when no sign assumption on the Laplacian of the obstacle is made. In this general case, we are able to prove that the singular set can be covered by countably many $C^2$ manifolds, up to a lower dimensional subset.


title: Content Authentication for Neural Imaging Pipelines: End-to-end Optimization of Photo Provenance in Complex Distribution Channels

abstract: Forensic analysis of digital photo provenance relies on intrinsic traces left in the photograph at the time of its acquisition. Such analysis becomes unreliable after heavy post-processing, such as down-sampling and re-compression applied upon distribution in the Web. This paper explores end-to-end optimization of the entire image acquisition and distribution workflow to facilitate reliable forensic analysis at the end of the distribution channel. We demonstrate that neural imaging pipelines can be trained to replace the internals of digital cameras, and jointly optimized for high-fidelity photo development and reliable provenance analysis. In our experiments, the proposed approach increased image manipulation detection accuracy from 45% to over 90%. The findings encourage further research towards building more reliable imaging pipelines with explicit provenance-guaranteeing properties.


title: Recovering Conductances of Resistor Networks in a Punctured Disk

abstract: The response matrix of a resistor network is the linear map from the potential at the boundary vertices to the net current at the boundary vertices. For circular planar resistor networks, Curtis, Ingerman, and Morrow have given a necessary and sufficient condition for recovering the conductance of each edge in the network uniquely from the response matrix using local moves and medial graphs. We generalize their results for resistor networks on a punctured disk. First we discuss additional local moves that occur in our setting, prove several results about medial graphs of resistor networks on a punctured disk, and define the notion of $z$-sequences for such graphs. We then define certain circular planar graphs that are electrically equivalent to standard graphs and turn them into networks on a punctured disk by adding a boundary vertex in the middle. We prove such networks are recoverable and are able to generalize this result to a much broader family of networks. A necessary condition for recoverability is also introduced.


title: Numerical approximations for fractional elliptic equations via the method of semigroups

abstract: We provide a novel approach to the numerical solution of the family of nonlocal elliptic equations $(-\Delta)^su=f$ in $\Omega$, subject to some homogeneous boundary conditions $\mathcal{B}(u)=0$ on $\partial \Omega$, where $s\in(0,1)$, $\Omega\subset \mathbb{R}^n$ is a bounded domain, and $(-\Delta)^s$ is the spectral fractional Laplacian associated to $\mathcal{B}$ on $\partial \Omega$. We use the solution representation $(-\Delta)^{-s}f$ together with its singular integral expression given by the method of semigroups. By combining finite element discretizations for the heat semigroup with monotone quadratures for the singular integral we obtain accurate numerical solutions. Roughly speaking, given a datum $f$ in a suitable fractional Sobolev space of order $r\geq 0$ and the discretization parameter $h>0$, our numerical scheme converges as $O(h^{r+2s})$, providing super quadratic convergence rates up to $O(h^4)$ for sufficiently regular data, or simply $O(h^{2s})$ for merely $f\in L^2(\Omega)$. We also extend the proposed framework to the case of nonhomogeneous boundary conditions and support our results with some illustrative numerical tests.


title: SurfConv: Bridging 3D and 2D Convolution for RGBD Images

abstract: We tackle the problem of using 3D information in convolutional neural networks for down-stream recognition tasks. Using depth as an additional channel alongside the RGB input has the scale variance problem present in image convolution based approaches. On the other hand, 3D convolution wastes a large amount of memory on mostly unoccupied 3D space, which consists of only the surface visible to the sensor. Instead, we propose SurfConv, which "slides" compact 2D filters along the visible 3D surface. SurfConv is formulated as a simple depth-aware multi-scale 2D convolution, through a new Data-Driven Depth Discretization (D4) scheme. We demonstrate the effectiveness of our method on indoor and outdoor 3D semantic segmentation datasets. Our method achieves state-of-the-art performance with less than 30% parameters used by the 3D convolution-based approaches.


title: Supersymmetric sphaleron configurations as the origin of the perplexing ANITA events

abstract: The ANITA experiment has observed two air shower events with energy ~ 500 PeV emerging from the Earth with exit angles of ~ 30 degrees. We explain ANITA events as arising from neutrino-induced supersymmetric sphaleron transitions. These high-multiplicity configurations could contain a large number of long-lived supersymmetric fermions, which can traverse the Earth and decay in the atmosphere to initiate upward-pointing air showers at large angles above the horizon. We comment on the sensitivity of new generation LHC detectors, designed to searching for displaced decays of beyond standard model long-lived particles, to test our model.


title: Localization and Tracking of an Acoustic Source using a Diagonal Unloading Beamforming and a Kalman Filter

abstract: We present the signal processing framework and some results for the IEEE AASP challenge on acoustic source localization and tracking (LOCATA). The system is designed for the direction of arrival (DOA) estimation in single-source scenarios. The proposed framework consists of four main building blocks: pre-processing, voice activity detection (VAD), localization, tracking. The signal pre-processing pipeline includes the short-time Fourier transform (STFT) of the multichannel input captured by the array and the cross power spectral density (CPSD) matrices estimation. The VAD is calculated with a trace-based threshold of the CPSD matrices. The localization is then computed using our recently proposed diagonal unloading (DU) beamforming, which has low-complexity and high resolution. The DOA estimation is finally smoothed with a Kalman filer (KF). Experimental results on the LOCATA development dataset are reported in terms of the root mean square error (RMSE) for a 7-microphone linear array, the 12-microphone pseudo-spherical array integrated in a prototype head for a humanoid robot, and the 32-microphone spherical array.


title: Phase transition encoded in neural network

abstract: We discuss an aspect of neural networks for the purpose of phase transition detection. To this end, we first train the neural network by feeding Ising/Potts configurations with labels of temperature so that it can predict the temperature of input. We do not explicitly supervise whether the configurations are in ordered/disordered phase. Nevertheless, we can identify the critical temperature from the parameters (weights and biases) of trained neural network. We attempt to understand how temperature-supervised neural networks capture the information of phase transition by paying attention to what quantities they learn. Our detailed analyses reveal that they learn different physical quantities depending on how well they are trained. Main observation in this study is how the weights in the trained neural-network can have information of the phase transition in addition to temperature.


title: Composite Higgs Models: a new holographic approach

abstract: We revisit the construction of the composite Higgs models in a context of the bottom-up holographic approach. The soft wall framework is under consideration imposing the translation of the $4D$ global symmetry breaking characteristic to the new strongly interacting sector in the $5D$ bulk. The focus stays on the minimal $SO(5)\to SO(4)$ breaking pattern. The $5D$ model has a specific form inspired by the effective models of QCD, representing a generalized sigma model coupled both to the composite resonances and to the SM gauge bosons. The latter are treated as external $4D$ sources and conceptually develop no propagation into the bulk. The holographic description allows for the consideration of spin one and spin zero resonances. The resulting spectrum leads in a natural way to a variety of new composite resonances, four of which represent the massless Goldstone bosons. Existing experimental constraints on the electroweak precision parameters permit to accommodate vector and scalar resonances with masses in the $1 - 2$ TeV range without difficulties, but higher masses are possible too. Moreover, for the SM gauge fields holography provides relevant vacuum polarization amplitudes and mixing with composite resonances. Further considering higher order correlation functions we can formulate semi-quantitative predictions for the effective couplings and cross-sections. These provide additional restrictions that are currently being investigated.


title: Parsimonious evolutionary scenario for the origin of allostery and coevolution patterns in proteins

abstract: Proteins display generic properties that are challenging to explain by direct selection, notably allostery, the capacity to be regulated through long-range effects, and evolvability, the capacity to adapt to new selective pressures. An evolutionary scenario is proposed where proteins acquire these two features indirectly as a by-product of their selection for a more fundamental property, exquisite discrimination, the capacity to bind discriminatively very similar ligands. Achieving this task is shown to typically require proteins to undergo a conformational change. We argue that physical and evolutionary constraints impel this change to be controlled by a group of sites extending from the binding site. Proteins can thus acquire a latent potential for allosteric regulation and evolutionary adaptation because of long-range effects that initially arise as evolutionary spandrels. This scenario accounts for the groups of conserved and coevolving residues observed in multiple sequence alignments. However, we propose that most pairs of coevolving and contacting residues inferred from such alignments have a different origin, related to thermal stability. A physical model is presented that illustrates this evolutionary scenario and its implications. The scenario can be implemented in experiments of protein evolution to directly test its predictions.


title: A Face-to-Face Neural Conversation Model

abstract: Neural networks have recently become good at engaging in dialog. However, current approaches are based solely on verbal text, lacking the richness of a real face-to-face conversation. We propose a neural conversation model that aims to read and generate facial gestures alongside with text. This allows our model to adapt its response based on the "mood" of the conversation. In particular, we introduce an RNN encoder-decoder that exploits the movement of facial muscles, as well as the verbal conversation. The decoder consists of two layers, where the lower layer aims at generating the verbal response and coarse facial expressions, while the second layer fills in the subtle gestures, making the generated output more smooth and natural. We train our neural network by having it "watch" 250 movies. We showcase our joint face-text model in generating more natural conversations through automatic metrics and a human study. We demonstrate an example application with a face-to-face chatting avatar.


title: On the uniqueness of infinity-categorical enhancements of triangulated categories

abstract: We study the problem of when triangulated categories admit unique infinity-categorical enhancements. Our results use Lurie's theory of prestable infinity-categories to give conceptual proofs of, and in many cases strengthen, previous work on the subject by Lunts--Orlov and Canonaco--Stellari. We also give a wide range of examples involving quasi-coherent sheaves, categories of almost modules, and local cohomology to illustrate the theory of prestable infinity-categories. Finally, we propose a theory of stable $n$-categories which would interpolate between triangulated categories and stable infinity-categories.


title: Leveraging Multi-grained Sentiment Lexicon Information for Neural Sequence Models

abstract: Neural sequence models have achieved great success in sentence-level sentiment classification. However, some models are exceptionally complex or based on expensive features. Some other models recognize the value of existed linguistic resource but utilize it insufficiently. This paper proposes a novel and general method to incorporate lexicon information, including sentiment lexicons(+/-), negation words and intensifiers. Words are annotated in fine-grained and coarse-grained labels. The proposed method first encodes the fine-grained labels into sentiment embedding and concatenates it with word embedding. Second, the coarse-grained labels are utilized to enhance the attention mechanism to give large weight on sentiment-related words. Experimental results show that our method can increase classification accuracy for neural sequence models on both SST-5 and MR dataset. Specifically, the enhanced Bi-LSTM model can even compare with a Tree-LSTM which uses expensive phrase-level annotations. Further analysis shows that in most cases the lexicon resource can offer the right annotations. Besides, the proposed method is capable of overcoming the effect from inevitably wrong annotations.


title: LSCP: Locally Selective Combination in Parallel Outlier Ensembles

abstract: In unsupervised outlier ensembles, the absence of ground truth makes the combination of base outlier detectors a challenging task. Specifically, existing parallel outlier ensembles lack a reliable way of selecting competent base detectors, affecting accuracy and stability, during model combination. In this paper, we propose a framework---called Locally Selective Combination in Parallel Outlier Ensembles (LSCP)---which addresses the issue by defining a local region around a test instance using the consensus of its nearest neighbors in randomly selected feature subspaces. The top-performing base detectors in this local region are selected and combined as the model's final output. Four variants of the LSCP framework are compared with seven widely used parallel frameworks. Experimental results demonstrate that one of these variants, LSCP_AOM, consistently outperforms baselines on the majority of twenty real-world datasets.


title: The FMOS-COSMOS survey of star-forming galaxies at $z\sim1.6$ VI: Redshift and emission-line catalog and basic properties of star-forming galaxies

abstract: We present a new data release from the Fiber Multi-Object Spectrograph (FMOS)-COSMOS survey, which contains the measurements of spectroscopic redshift and flux of rest-frame optical emission lines (H$\alpha$, [NII], [SII], H$\beta$, [OIII]) for 1931 galaxies out of a total of 5484 objects observed over the 1.7 deg$^2$ COSMOS field. We obtained $H$-band and $J$-band medium-resolution ($R\sim3000$) spectra with FMOS mounted on the Subaru telescope, which offers an in-fiber line flux sensitivity limit of $\sim 1 \times 10^{-17}~\mathrm{erg~s^{-1}~cm^{-2}}$ for an on-source exposure time of five hours. The full sample contains the main population of star-forming galaxies at $z\sim1.6$ over the stellar mass range $10^{9.5}\lesssim M_\ast/M_\odot \lesssim 10^{11.5}$, as well as other subsamples of infrared-luminous galaxies detected by Spitzer and Herschel at the same and lower ($z\sim0.9$) redshifts and X-ray emitting galaxies detected by Chandra. This paper presents an overview of our spectral analyses, a description of the sample characteristics, and a summary of the basic properties of emission-line galaxies. We use the larger sample to re-define the stellar mass--star formation rate relation based on the dust-corrected H$\alpha$ luminosity, and find that the individual galaxies are better fit with a parametrization including a bending feature at $M_\ast\approx10^{10.2}~M_\odot$, and that the intrinsic scatter increases with $M_\ast$ from 0.19 to $0.37$ dex. We also confirm with higher confidence that the massive ($M_\ast\gtrsim10^{10.5}~M_\odot$) galaxies are chemically mature as much as local galaxies with the same stellar masses, and that the massive galaxies have lower [SII]/H$\alpha$ ratios for their [OIII]/H$\beta$, as compared to local galaxies, which is indicative of enhancement in ionization parameter.


title: A homotopy theorem for Oka theory

abstract: We prove a homotopy theorem for sheaves. Its application shortens and simplifies the proof of many Oka principles such as Gromov's Oka principle for elliptic submersions.


title: Two-integral distribution functions in axisymmetric galaxies: implications for dark matter searches

abstract: We address the problem of reconstructing the phase-space distribution function for an extended collisionless system, with known density profile and in equilibrium within an axisymmetric gravitational potential. Assuming that it depends on only two integrals of motion, namely the energy and the component of the angular momentum along the axis of symmetry $L_z$, there is a one-to-one correspondence between the density profile and the component of the distribution function that is even in $L_z$, as well as between the weighted azimuthal velocity profile and the odd component. This inversion procedure was originally proposed by Lynden-Bell and later refined in its numerical implementation by Hunter & Qian; after overcoming a technical difficulty, we apply it here for the first time in presence of a strongly flattened component, as a novel approach of extracting the phase-space distribution function for dark matter particles in the halo of spiral galaxies. We compare results obtained for realistic axisymmetric models to those in the spherical symmetric limit as assumed in previous analyses, showing the rather severe shortcomings in the latter. We then apply the scheme to the Milky Way and discuss the implications for the direct dark matter searches. In particular, we reinterpret the null results of the Xenon1T experiment for spin-(in)dependent interactions and make predictions for the annual modulation of the signal for a set of axisymmetric models, including a self-consistently defined co-rotating halo.


title: Control of automated guided vehicles without collision by quantum annealer and digital devices

abstract: We formulate an optimization problem to control a large number of automated guided vehicles in a plant without collision. The formulation consists of binary variables. A quadratic cost function over these variables enables us to utilize certain solvers on digital computers and recently developed purpose-specific hardware such as D-Wave 2000Q and the Fujitsu digital annealer. In the present study, we consider an actual plant in Japan, in which vehicles run, and assess efficiency of our formulation for optimizing the vehicles via several solvers. We confirm that our formulation can be a powerful approach for performing smooth control while avoiding collisions between vehicles, as compared to a conventional method. In addition, comparative experiments performed using several solvers reveal that D-Wave 2000Q can be useful as a rapid solver for generating a plan for controlling the vehicles in a short time although it deals only with a small number of vehicles, while a digital computer can rapidly solve the corresponding optimization problem even with a large number of binary variables.

categories: quant-ph cond-mat.dis-nn cs.MA cs.RO cs.SY


title: An Idea to Increase the Security of EAP-MD5 Protocol Against Dictionary Attack

abstract: IEEE 802.1X is an international standard for Port-based Network Access Control which provides authentication for devices applicant of either local network or wireless local network. This standard defines the packing of EAP protocol on IEEE 802. In this standard, authentication protocols become a complementary part of network security. There is a variety in EAP family protocols, regarding their speed and security. One of the fastest of these protocols is EAP-MD5 which is the main subject of this paper. Moreover, in order to improve EAP-MD5 security, a series of attacks against it have been investigated. In this paper at first EAP-MD5 protocol is introduced briefly and a series of the dictionary attacks against it are described. Then, based on observed weaknesses, by proposing an appropriate idea while maintaining the speed of execution, its security against dictionary attack is improved.


title: Colouring triangle-free graphs with local list sizes

abstract: We prove two distinct and natural refinements of a recent breakthrough result of Molloy (and a follow-up work of Bernshteyn) on the (list) chromatic number of triangle-free graphs. In both our results, we permit the amount of colour made available to vertices of lower degree to be accordingly lower. One result concerns list colouring and correspondence colouring, while the other concerns fractional colouring. Our proof of the second illustrates the use of the hard-core model to prove a Johansson-type result, which may be of independent interest.


title: Probing the cross-power of unresolved cosmic infrared and X-ray backgrounds with upcoming space missions

abstract: The source-subtracted cosmic infrared background (CIB) fluctuations uncovered in deep Spitzer data cannot be explained by known galaxy populations and appear strongly coherent with unresolved cosmic X-ray background (CXB). This suggests that the source-subtracted CIB contains emissions from significantly abundant accreting black holes (BHs). We show that theoretically such populations would have the angular power spectrum which is largely independent of the epochs occupied by these sources, provided they are at z>~ 4, offering an important test of the origin of the new populations. Using the current measurements we reconstruct the underlying soft X-ray CXB from the new sources and show that its fluctuations, while consistent with a high-z origin, have an amplitude that cannot be reached in direct measurements with the foreseeable X-ray space missions. This necessitates application of the methods developed by the authors to future IR and X-ray datasets, which must cover large areas of the sky in order to measure the signal with high precision. The LIBRAE project within ESA's Euclid mission will probe source-subtracted CIB over ~1/2 the sky at three near-IR bands, and its cross-power with unresolved CXB can be measured then from the concurrent eROSITA mission covering the same areas of the sky. We discuss the required methodology for this measurement and evaluate its projected S/N to show the unique potential of this experimental configuration to accurately probe the CXB from the new BH sources and help identify their epochs.


title: Transit analysis of the CoRoT-5, CoRoT-8, CoRoT-12, CoRoT-18, CoRoT-20, and CoRoT-27 systems with combined ground- and space-based photometry

abstract: We have initiated a dedicated project to follow-up with ground-based photometry the transiting planets discovered by CoRoT in order to refine the orbital elements, constrain their physical parameters and search for additional bodies in the system. From 2012 September to 2016 December we carried out 16 transit observations of six CoRoT planets (CoRoT-5b, CoRoT-8b, CoRoT-12b, CoRoT-18b, CoRoT-20b, and CoRoT-27b) at three observatories located in Germany and Spain. These observations took place between 5 and 9 yr after the planet's discovery, which has allowed us to place stringent constraints on the planetary ephemeris. In five cases we obtained light curves with a deviation of the mid-transit time of up to ~115min from the predictions. We refined the ephemeris in all these cases and reduced the uncertainties of the orbital periods by factors between 1.2 and 33. In most cases our determined physical properties for individual systems are in agreement with values reported in previous studies. In one case, CoRoT-27b, we could not detect any transit event in the predicted transit window.


title: A micro Lie theory for state estimation in robotics

abstract: A Lie group is an old mathematical abstract object dating back to the XIX century, when mathematician Sophus Lie laid the foundations of the theory of continuous transformation groups. As it often happens, its usage has spread over diverse areas of science and technology many years later. In robotics, we are recently experiencing an important trend in its usage, at least in the fields of estimation, and particularly in motion estimation for navigation. Yet for a vast majority of roboticians, Lie groups are highly abstract constructions and therefore difficult to understand and to use. This may be due to the fact that most of the literature on Lie theory is written by and for mathematicians and physicists, who might be more used than us to the deep abstractions this theory deals with. In estimation for robotics it is often not necessary to exploit the full capacity of the theory, and therefore an effort of selection of materials is required. In this paper, we will walk through the most basic principles of the Lie theory, with the aim of conveying clear and useful ideas, and leave a significant corpus of the Lie theory behind. Even with this mutilation, the material included here has proven to be extremely useful in modern estimation algorithms for robotics, especially in the fields of SLAM, visual odometry, and the like. Alongside this micro Lie theory, we provide a chapter with a few application examples, and a vast reference of formulas for the major Lie groups used in robotics, including most jacobian matrices and the way to easily manipulate them. We also present a new C++ template-only library implementing all the functionality described here.


title: Information Percolation and Cutoff for the Random-Cluster Model

abstract: We consider the Random-Cluster model on $(\mathbb{Z}/n\mathbb{Z})^d$ with parameters $p \in (0,1)$ and $q\ge 1$. This is a generalization of the standard bond percolation (with open probability $p$) which is biased by a factor $q$ raised to the number of connected components. We study the well known FK-dynamics on this model where the update at an edge depends on the global geometry of the system unlike the Glauber Heat Bath dynamics for spin systems, and prove that for all small enough $p$ (depending on the dimension) and any $q>1$, the FK-dynamics exhibits the cutoff phenomenon at $\lambda_{\infty}^{-1}\log n$ with a window size $O(\log\log n)$, where $\lambda_{\infty}$ is the large $n$ limit of the spectral gap of the process. Our proof extends the Information Percolation framework of Lubetzky and Sly [21] to the Random-Cluster model and also relies on the arguments of Blanca and Sinclair [4] who proved a sharp $O(\log n)$ mixing time bound for the planar version. A key aspect of our proof is the analysis of the effect of a sequence of dependent (across time) Bernoulli percolations extracted from the graphical construction of the dynamics, on how information propagates.


title: Ionization Profiles of Galactic HII Regions

abstract: Using Green Bank Telescope radio recombination line (RRL) data, we analyze the role of leaking radiation from HII regions in maintaining the ionization of the interstellar medium. We observed a sample of eight Galactic HII regions of various sizes, morphologies, and luminosities. For each region the hydrogen RRL intensity decreases roughly as a power-law with distance from the center of the region. This suggests that radiation leaking from the HII region is responsible for the majority of surrounding ionized gas producing RRL emission. Our results further indicate that the hydrogen RRL intensity appears to be fundamentally related to the HII region sizes traced by their photodissociation regions, such that physically smaller HII regions show a steeper decrease in intensity with increasing distance from the region centers. As a result, giant HII regions may have a much larger effect in maintaining the ionization of the interstellar medium. For six of the eight observed HII regions we find a decrease in the 4He+/H+ abundance ratio with increasing distance, indicating that He-ionizing photons are being absorbed within the ionization front of the HII region. There is enhanced carbon RRL emission toward directions with strong continuum background, suggesting that the carbon emission is amplified by stimulated emission.


title: Fast Iterative Shrinkage for Signal Declipping and Dequantization

abstract: We address the problem of recovering a sparse signal from clipped or quantized measurements. We show how these two problems can be formulated as minimizing the distance to a convex feasibility set, which provides a convex and differentiable cost function. We then propose a fast iterative shrinkage/thresholding algorithm that minimizes the proposed cost, which provides a fast and efficient algorithm to recover sparse signals from clipped and quantized measurements.


title: A small and adaptive coprocessor for information flow tracking in ARM SoCs

abstract: DIFT (Dynamic Information Flow Tracking) has been a hot topic for more than a decade. Unfortunately, existing hardware DIFT approaches have not been widely used neither by research community nor by hardware vendors. It is due to two major reasons: current hardware DIFT solutions lack support for multi-threaded applications and implementations for hardcore processors. This work addresses both issues by introducing an approach with some unique features: DIFT for multi-threaded software, virtual memory protection (rather than physical memory as in related works) and Linux kernel support using an information flow monitor called RFBlare. These goals are accomplished by taking advantage of a notable feature of ARM CoreSight components (context ID) combined with a custom DIFT coprocessor and RFBlare. The communication time overhead, major source of slowdown in total DIFT time overhead, is divided by a factor 3.8 compared to existing solutions with similar software constraints as in this work. The area overhead of this work is lower than 1% and power overhead is 16.2% on a middle-class Xilinx Zynq SoC.


title: On the possibility of experimental detection of the discreteness of time

abstract: The Bose-Marletto-Vedral experiment tests a non-relativistic quantum effect due to a gravitational interaction. It has received attention because it may soon be within observational reach in the lab. We observe here that: (i) in relativistic language the experiment tests an interference effect between proper-time intervals; (ii) the relevant difference of proper times is of the order of the Planck time if the masses of the particles in the experiment are of the order of the Planck mass (micrograms); (iii) the experiment might open a window on the structure of time at the Planck scale: if time differences are discrete at this scale ---as quantum gravity research may suggest--- the Planckian discreteness of time could show up as quantum levels of a measurable entanglement entropy.


title: Chip-scale atomic diffractive optical elements

abstract: Atomic systems have long provided a useful material platform with unique quantum properties. The efficient light-matter interaction in atomic vapors has led to numerous seminal scientific achievements including accurate and precise metrology and quantum devices. In the last few decades, the field of thin optical elements with miniscule features has been extensively studied demonstrating an unprecedented ability to control photonic degrees of freedom, both linearly and non-linearly, with applications spanning from photography and spatial light modulators to cataract surgery implants. Hybridization of atoms with such thin devices may offer a new material system allowing traditional vapor cells with enhanced functionality. Here, we fabricate and demonstrate chip-scale, quantum diffractive optical elements which map atomic states to the spatial distribution of diffracted light. Two foundational diffractive elements, lamellar gratings and Fresnel lenses, are hybridized with atomic channels containing hot atomic vapors which demonstrate exceptionally strong frequency dependent behaviors. Providing the design tools for chip-scale atomic diffractive optical elements develops a path for a variety of compact thin quantum-optical elements.


title: QED's in $2{+}1$ dimensions: complex fixed points and dualities

abstract: We consider Quantum Electrodynamics with an even number $N_f$ of bosonic or fermionic flavors, allowing for interactions respecting at least $U(N_f/2)^2$ global symmetry. Both in the bosonic and in the fermionic case, we find four interacting fixed points: two with $U(N_f/2)^2$ symmetry, two with $U(N_f)$ symmetry. Large $N_f$ arguments suggest that, lowering $N_f$, all these fixed points merge pairwise and become complex CFT's. In the bosonic QED's the merging happens around $N_f\sim 9{-}11$ and does not break the global symmetry. In the fermionic QED's the merging happens around $N_f\sim3{-}7$ and breaks $U(N_f)$ to $U(N_f/2)^2$. When $N_f=2$, we show that all four bosonic fixed points are one-to-one dual to the fermionic fixed points. The merging pattern suggested at large $N_f$ is consistent with the four $N_f=2$ boson $\lra$ fermion dualities, providing support to the validity of the scenario.


title: A- and B-Exciton Photoluminescence Intensity Ratio as a Measure of Sample Quality for Transition Metal Dichalcogenide Monolayers

abstract: The photoluminescence (PL) in monolayer transition metal dichalcogenides (TMDs) is dominated by recombination of electrons in the conduction band with holes in the spin-orbit split valence bands, and there are two distinct emission features referred to as the A-peak (ground state exciton) and B-peak (higher spin-orbit split state). The intensity ratio of these two features varies widely and several contradictory interpretations have been reported. We analyze the room temperature PL from MoS2, MoSe2, WS2, and WSe2 monolayers and show that these variations arise from differences in the non-radiative recombination associated with defect densities. Hence, the relative intensities of the A- and B-emission features can be used to qualitatively asses the non-radiative recombination, and thus the quality of the sample. A low B/A ratio is indicative of low defect density and high sample quality. Emission from TMD monolayers is governed by unique optical selection rules which make them promising materials for valleytronic operations. We observe a notably higher valley polarization in the B-exciton relative to the A-exciton. The high polarization is a consequence of the shorter B-exciton lifetime resulting from rapid relaxation of excitons from the B-exciton to the A-exciton of the valence band.


title: Circular slider graphs: de Bruijn, Kautz, Rauzy, lamplighters and spiders

abstract: We suggest a new point of view on de Bruijn graphs and their subgraphs based on using circular words rather than linear ones.


title: Towards generative adversarial networks as a new paradigm for radiology education

abstract: Medical students and radiology trainees typically view thousands of images in order to "train their eye" to detect the subtle visual patterns necessary for diagnosis. Nevertheless, infrastructural and legal constraints often make it difficult to access and quickly query an abundance of images with a user-specified feature set. In this paper, we use a conditional generative adversarial network (GAN) to synthesize $1024\times1024$ pixel pelvic radiographs that can be queried with conditioning on fracture status. We demonstrate that the conditional GAN learns features that distinguish fractures from non-fractures by training a convolutional neural network exclusively on images sampled from the GAN and achieving an AUC of $>0.95$ on a held-out set of real images. We conduct additional analysis of the images sampled from the GAN and describe ongoing work to validate educational efficacy.


title: High-Q/V two-dimensional photonic crystals cavities in 3C-SiC

abstract: Solid state quantum emitters are between the most promising candidates for single photon generation in quantum technologies. However, they suffer from decoherence effects which limit their efficiency and indistinguishability. For instance, the radiation emitted in the zero phonon line (ZPL) of most color centers is on the order of a few percent (e.g. $NV^-$ centers in Diamond, $V_{Si}V_{C}$ in SiC) limiting the emission rate of single photons as well as the efficiency. At the same time, reliable interfacing with photons in an integrated manner still remains a challenge on both diamond and SiC technology. Here we develop photonic crystal cavities with Q factors in the order of 7,100 in 3C SiC. We discuss how this high confinement cavity can significantly enhance the fraction of photons emitted in the ZPL and improve their characteristics. In particular, the increased efficiency and improved indistinguishability can open the way to quantum technologies in the solid state.


title: Searching for an analogue of ATR in the Weihrauch lattice

abstract: There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far ATR_0 has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candidates, and conclude that the situation is complicated.


title: Better Software Analytics via "DUO": Data Mining Algorithms Using/Used-by Optimizers

abstract: This paper claims that a new field of empirical software engineering research and practice is emerging: data mining using/used-by optimizers for empirical studies or DUO. For example, data miners can generate models that are explored by optimizers. Also, optimizers can advise how to best adjust the control parameters of a data miner. This combined approach acts like an agent leaning over the shoulder of an analyst that advises "ask this question next" or "ignore that problem, it is not relevant to your goals". Further, those agents can help us build "better" predictive models, where "better" can be either greater predictive accuracy or faster modeling time (which, in turn, enables the exploration of a wider range of options). We also caution that the era of papers that just use data miners is coming to an end. Results obtained from an unoptimized data miner can be quickly refuted, just by applying an optimizer to produce a different (and better performing) model. Our conclusion, hence, is that for software analytics it is possible, useful and necessary to combine data mining and optimization using DUO.


title: Particle identification in ground-based gamma-ray astronomy using convolutional neural networks

abstract: Modern detectors of cosmic gamma-rays are a special type of imaging telescopes (air Cherenkov telescopes) supplied with cameras with a relatively large number of photomultiplier-based pixels. For example, the camera of the TAIGA-IACT telescope has 560 pixels of hexagonal structure. Images in such cameras can be analysed by deep learning techniques to extract numerous physical and geometrical parameters and/or for incoming particle identification. The most powerful deep learning technique for image analysis, the so-called convolutional neural network (CNN), was implemented in this study. Two open source libraries for machine learning, PyTorch and TensorFlow, were tested as possible software platforms for particle identification in imaging air Cherenkov telescopes. Monte Carlo simulation was performed to analyse images of gamma-rays and background particles (protons) as well as estimate identification accuracy. Further steps of implementation and improvement of this technique are discussed.

categories: astro-ph.IM cs.DC physics.data-an stat.ML


title: Exploration versus exploitation in reinforcement learning: a stochastic control approach

abstract: We consider reinforcement learning (RL) in continuous time and study the problem of achieving the best trade-off between exploration of a black box environment and exploitation of current knowledge. We propose an entropy-regularized reward function involving the differential entropy of the distributions of actions, and motivate and devise an exploratory formulation for the feature dynamics that captures repetitive learning under exploration. The resulting optimization problem is a revitalization of the classical relaxed stochastic control. We carry out a complete analysis of the problem in the linear--quadratic (LQ) setting and deduce that the optimal feedback control distribution for balancing exploitation and exploration is Gaussian. This in turn interprets and justifies the widely adopted Gaussian exploration in RL, beyond its simplicity for sampling. Moreover, the exploitation and exploration are captured, respectively and mutual-exclusively, by the mean and variance of the Gaussian distribution. We also find that a more random environment contains more learning opportunities in the sense that less exploration is needed. We characterize the cost of exploration, which, for the LQ case, is shown to be proportional to the entropy regularization weight and inversely proportional to the discount rate. Finally, as the weight of exploration decays to zero, we prove the convergence of the solution of the entropy-regularized LQ problem to the one of the classical LQ problem.


title: Batch Selection for Parallelisation of Bayesian Quadrature

abstract: Integration over non-negative integrands is a central problem in machine learning (e.g. for model averaging, (hyper-)parameter marginalisation, and computing posterior predictive distributions). Bayesian Quadrature is a probabilistic numerical integration technique that performs promisingly when compared to traditional Markov Chain Monte Carlo methods. However, in contrast to easily-parallelised MCMC methods, Bayesian Quadrature methods have, thus far, been essentially serial in nature, selecting a single point to sample at each step of the algorithm. We deliver methods to select batches of points at each step, based upon those recently presented in the Batch Bayesian Optimisation literature. Such parallelisation significantly reduces computation time, especially when the integrand is expensive to sample.


title: Laboratory spectroscopic study of isotopic thioformaldehyde, H$_{2}$CS, and determination of its equilibrium structure

abstract: Thioformaldehyde is an abundant molecule in various regions of the interstellar medium. However, available laboratory data limit the accuracies of calculated transition frequencies in the submillimeter region, in particular for minor isotopic species. We aim to determine spectroscopic parameters of isotopologs of H2CS that are accurate enough for predictions well into the submillimeter region. We investigated the laboratory rotational spectra of numerous isotopic species in natural isotopic composition almost continuously between 110 and 377 GHz. Individual lines were studied for most species in two frequency regions between 566 and 930 GHz. Further data were obtained for the three most abundant species in the 1290-1390 GHz region. New or improved spectroscopic parameters were determined for seven isotopic species. Quantum-chemical calculations were carried out to evaluate the differences between ground state and equilibrium rotational parameters to derive semi-empirical equilibrium structural parameters. The spectroscopic parameters are accurate enough for predictions well above 1 THz with the exception of H2(13)C(34)S where the predictions should be reliable to around 700 GHz.


title: A novel database of Children's Spontaneous Facial Expressions (LIRIS-CSE)

abstract: Computing environment is moving towards human-centered designs instead of computer centered designs and human's tend to communicate wealth of information through affective states or expressions. Traditional Human Computer Interaction (HCI) based systems ignores bulk of information communicated through those affective states and just caters for user's intentional input. Generally, for evaluating and benchmarking different facial expression analysis algorithms, standardized databases are needed to enable a meaningful comparison. In the absence of comparative tests on such standardized databases it is difficult to find relative strengths and weaknesses of different facial expression recognition algorithms. In this article we present a novel video database for Children's Spontaneous facial Expressions (LIRIS-CSE). Proposed video database contains six basic spontaneous facial expressions shown by 12 ethnically diverse children between the ages of 6 and 12 years with mean age of 7.3 years. To the best of our knowledge, this database is first of its kind as it records and shows spontaneous facial expressions of children. Previously there were few database of children expressions and all of them show posed or exaggerated expressions which are different from spontaneous or natural expressions. Thus, this database will be a milestone for human behavior researchers. This database will be a excellent resource for vision community for benchmarking and comparing results. In this article, we have also proposed framework for automatic expression recognition based on convolutional neural network (CNN) architecture with transfer learning approach. Proposed architecture achieved average classification accuracy of 75% on our proposed database i.e. LIRIS-CSE.


title: Disk-sphere field duality theorem

abstract: This paper presents a new reformulated theorem for fields embedded on a sphere or a disk. We focus in particular on the associated sphere of a disk when closing its only one boundary. We call this the disk-sphere duality theorem for the study of fields topological properties. For that purpose, we use the Poincar{\'e}-Hopf theorem and the boundary number theorem to firmly support our developments. In this context, the state of a $n$-symmetry direction field will be analyzed to show that disk-sphere field duality is closely related to the behavior near the disk's boundary.


title: Optimal Boolean Locality-Sensitive Hashing

abstract: For $0 \leq \beta < \alpha < 1$ the distribution $\mathcal{H}$ over Boolean functions $h \colon \{-1, 1\}^d \to \{-1, 1\}$ that minimizes the expression \begin{equation*} \rho_{\alpha, \beta} = \frac{\log(1/\Pr_{\substack{h \sim \mathcal{H} \\ (x, y) \text{ $\alpha$-corr.}}}[h(x) = h(y)])}{\log(1/\Pr_{\substack{h \sim \mathcal{H} \\ (x, y) \text{ $\beta$-corr.}}}[h(x) = h(y)])} \end{equation*} assigns nonzero probability only to members of the set of dictator functions $h(x) = \pm x_i$.


title: Recursive process for constructing the refinement rules of new combined subdivision schemes and its extended form

abstract: In this article, we present a new method to construct a family of (2N+2)-point binary subdivision schemes with one tension parameter where N is a non-negative integer. The construction of the family of schemes is based on repeated local translation of points by certain displacement vectors. Therefore, the refinement rules of a (2N+2)-point scheme for N=M are recursively obtained from the refinement rules of the (2N+2)-point schemes for N=0,1,2,...,M-1. The complexity, polynomial reproduction and polynomial generation of these schemes are increased by two for the successive values of $N$. Furthermore, we modify this family of schemes to a family of (2N+3)-point schemes with two tension parameters. Moreover, a family of interproximate subdivision schemes with tension parameters is also introduced, which allows a different tension value for each edge and vertex of the initial control polygon. Interproximate schemes generate curves and surfaces such that some initial control points are interpolated and others are approximated.


title: Stochastic metric perturbations (radial) in gravitationally collapsing spherically symmetric relativistic star

abstract: Stochastic perturbations (radial) of a spherically symmetric relativistic star, modeled by a perfect fluid in comoving coordinates for the collapse scenario are worked out using the classical Einstein- Langevin equation, which has been proposed recently. The solutions are in terms of perturbed metric potentials and their two point correlation. For the case worked out here, it is interesting to note that the two perturbed metric potentials have same magnitude, while the potentials themselves are in general independent of each other. Such a treatment is useful for building up basic theory of non-equilibrium and near equilibrium statistical physics for collapsing stars, which should be of interest towards the end states of collapse. Here we discuss the first simple model, that of non-rotating spherically symmetric dynamically collapsing relativistic star. This paves way to further research on rotating collapse models of isolated as well as binary configurations on similar lines . Both the radial and non-radial perturbations with stochastic effects would be of interest to asteroseismology, which encompassed the future plan of study.


title: Error Estimates for Arnoldo-Tikhonov Regularization for Ill-Posed Operator Equations

abstract: Most of the literature on the solution of linear ill-posed operator equations, or their discretization, focuses only on the infinite-dimensional setting or only on the solution of the algebraic linear system of equations obtained by discretization. This paper discusses the influence of the discretization error on the computed solution. We consider the situation when the discretization used yields an algebraic linear system of equations with a large matrix. An approximate solution of this system is computed by first determining a reduced system of fairly small size by carrying out a few steps of the Arnoldi process. Tikhonov regularization is applied to the reduced problem and the regularization parameter is determined by the discrepancy principle. Errors incurred in each step of the solution process are discussed. Computed examples illustrate the error bounds derived.


title: Superconductivity at 250 K in lanthanum hydride under high pressures

abstract: The discovery of superconductivity at 203 K in H3S brought attention back to conventional superconductors whose properties can be described by the Bardeen-Cooper-Schrieffer (BCS) and the Migdal-Eliashberg theories. These theories predict that high, and even room temperature superconductivity (RTSC) is possible in metals possessing certain favorable parameters such as lattice vibrations at high frequencies. However, these general theories do not suffice to predict real superconductors. New superconducting materials can be predicted now with the aid of first principles calculations based on Density Functional Theory (DFT). In particular, the calculations suggested a new family of hydrides possessing a clathrate structure, where the host atom (Ca, Y, La) is at the center of the cage formed by hydrogen atoms. For LaH10 and YH10 superconductivity, with critical temperatures Tc ranging between 240 and 320 K is predicted at megabar pressures. Here, we report superconductivity with a record Tc ~ 250 K within the Fm-3m structure of LaH10 at a pressure P ~ 170 GPa. We proved the existence of superconductivity at 250 K through the observation of zero-resistance, isotope effect, and the decrease of Tc under an external magnetic field, which suggests an upper critical magnetic field of 120 T at zero-temperature. The pressure dependence of the transition temperatures Tc (P) has a maximum of 250-252 K at the pressure of about 170 GPa. This leap, by ~ 50 K, from the previous Tc record of 203 K indicates the real possibility of achieving RTSC (that is at 273 K) in the near future at high pressures and the perspective of conventional superconductivity at ambient pressure.


title: Fluid-structure interaction with NURBS-based coupling

abstract: Engineering design via CAD software relies on Non-Uniform Rational B-Splines (NURBS) as a means for representing and communicating geometry. Therefore, in general, a NURBS description of a given design can be considered the exact description. The development of isogeometric methods has made the geometry available to analysis methods Hughes et al. (2005). Isogeometric analysis has been particularly successful in structural analysis; one reason being the wide-spread use of two-dimensional finite elements in this field. For fluid dynamics, where three-dimensional analysis is usually indispensable, isogeometric methods are more complicated, yet of course not impossible, to apply in a general fashion. This paper describes a method that enables the solution of fluid-structure interaction with a matching spline description of the interface. On the structural side, the spline is used in an isogeometric setting. On the fluid side, the same spline is used in the framework of a NURBS-enhanced finite element method (extension of Sevilla et al. (2011)). The coupling of the structural and the fluid solution is greatly facilitated by the common spline interface. The use of the identical spline representation for both sides permits a direct transfer of the necessary quantities, all the while still allowing an adjusted, individual refinement level for both sides.


title: On osculating framing of real algebraic links

abstract: For a real algebraic link in $RP^3$, we prove that its encomplexed writhe (an invariant introduced by Viro) is maximal for a given degree and genus if and only if its self-linking number with respect to the framing by the osculating planes is maximal for a given degree.


title: Topologically Trivial Closed Walks in Directed Surface Graphs

abstract: Let $G$ be a directed graph with $n$ vertices and $m$ edges, embedded on a surface $S$, possibly with boundary, with first Betti number $\beta$. We consider the complexity of finding closed directed walks in $G$ that are either contractible (trivial in homotopy) or bounding (trivial in integer homology) in $S$. Specifically, we describe algorithms to determine whether $G$ contains a simple contractible cycle in $O(n+m)$ time, or a contractible closed walk in $O(n+m)$ time, or a bounding closed walk in $O(\beta (n+m))$ time. Our algorithms rely on subtle relationships between strong connectivity in $G$ and in the dual graph $G^*$; our contractible-closed-walk algorithm also relies on a seminal topological result of Hass and Scott. We also prove that detecting simple bounding cycles is NP-hard. We also describe three polynomial-time algorithms to compute shortest contractible closed walks, depending on whether the fundamental group of the surface is free, abelian, or hyperbolic. A key step in our algorithm for hyperbolic surfaces is the construction of a context-free grammar with $O(g^2L^2)$ non-terminals that generates all contractible closed walks of length at most L, and only contractible closed walks, in a system of quads of genus $g\ge2$. Finally, we show that computing shortest simple contractible cycles, shortest simple bounding cycles, and shortest bounding closed walks are all NP-hard.


title: Impact of radiation backgrounds on the formation of massive black holes

abstract: The presence of supermassive black holes (SMBHs) of a few billion solar masses at very high redshift has motivated us to study how these massive objects formed during the first billion years after the Big Bang. The most promising model that has been proposed to explain this is the direct collapse of protogalactic gas clouds. In this scenario, very high accretion rates are needed to form massive objects early on and the suppression of $\mathrm H_2$ cooling is important in regulating the fragmentation. Recent studies have shown that if we use a strong radiation background, the hydrogen molecules are destroyed, favoring the high accretion rates and therefore producing objects of very high mass. In this work we study the impact of UV radiation fields in a primordial gas cloud using the recently coupled code GRADSPH-KROME for the modeling of gravitational collapse including primordial chemistry to explore the fragmentation in AU scales and hence the formation of first SMBHs. We found that to suppress the formation of $\mathrm H_2$ a very high value of $J_{21}$ is required, because of that we conclude that the direct collapse black holes (DCBHs) are very unlikely to be an explanation for the formation of the first SMBHs.


title: Private Information Retrieval in Graph Based Replication Systems

abstract: In a Private Information Retrieval (PIR) protocol, a user can download a file from a database without revealing the identity of the file to each individual server. A PIR protocol is called $t$-private if the identity of the file remains concealed even if $t$ of the servers collude. Graph based replication is a simple technique, which is prevalent in both theory and practice, for achieving erasure robustness in storage systems. In this technique each file is replicated on two or more storage servers, giving rise to a (hyper-)graph structure. In this paper we study private information retrieval protocols in graph based replication systems. The main interest of this work is maximizing the parameter $t$, and in particular, understanding the structure of the colluding sets which emerge in a given graph. Our main contribution is a $2$-replication scheme which guarantees perfect privacy from acyclic sets in the graph, and guarantees partial-privacy in the presence of cycles. Furthermore, by providing an upper bound, it is shown that the PIR rate of this scheme is at most a factor of two from its optimal value for an important family of graphs. Lastly, we extend our results to larger replication factors and to graph-based coding, which is a similar technique with smaller storage overhead and larger PIR rate.


title: Information Extraction Framework to Build Legislation Network

abstract: This paper concerns an Information Extraction process for building a dynamic Legislation Network from legal documents. Unlike supervised learning approaches which require additional calculations, the idea here is to apply Information Extraction methodologies by identifying distinct expressions in legal text and extract quality network information. The study highlights the importance of data accuracy in network analysis and improves approximate string matching techniques for producing reliable network data-sets with more than 98 percent precision and recall. The values, applications, and the complexity of the created dynamic Legislation Network are also discussed and challenged.


title: Closing the light gluino gap with electron-proton colliders

abstract: The future electron-proton collider proposals, LHeC and FCC-he, can deliver $\mathcal{O}$(TeV) center-of-mass energy collisions, higher than most of the proposed lepton accelerators, with $\mathcal{O}$(ab$^{-1}$) luminosity, while maintaining a much cleaner experimental environment as compared to the hadron machines. This unique capability of $e^- p$ colliders can be harnessed in probing BSM scenarios giving final states that look like hadronic noise at $pp$ machines. In the present study, we explore the prospects of detecting such a prompt signal having multiple soft jets at the LHeC. Such a signal can come from the decay of gluino in RPV or Stealth SUSY, where there exists a gap in the current experimental search with $m_{\tilde{g}} \approx 50 - 70$ GeV. We perform a simple analysis to demonstrate that, with simple signal selection cuts, we can close this gap at the LHeC at 95 % confidence level, even in the presence of a reasonable systematic error. More sophisticated signal selection strategies and detailed knowledge of the detector can be used to improve the prospects of signal detection.


title: Nested Reasoning About Autonomous Agents Using Probabilistic Programs

abstract: As autonomous agents become more ubiquitous, they will eventually have to reason about the plans of other agents, which is known as theory of mind reasoning. We develop a planning-as-inference framework in which agents perform nested simulation to reason about the behavior of other agents in an online manner. As a concrete application of this framework, we use probabilistic programs to model a high-uncertainty variant of pursuit-evasion games in which an agent must make inferences about the other agents' plans to craft counter-plans. Our probabilistic programs incorporate a variety of complex primitives such as field-of-view calculations and path planners, which enable us to model quasi-realistic scenarios in a computationally tractable manner. We perform extensive experimental evaluations which establish a variety of rational behaviors and quantify how allocating computation across levels of nesting affects the variance of our estimators.


title: Intensity Particle Flow SMC-PHD Filter For Audio Speaker Tracking

abstract: Non-zero diffusion particle flow Sequential Monte Carlo probability hypothesis density (NPF-SMC-PHD) filtering has been recently introduced for multi-speaker tracking. However, the NPF does not consider the missing detection which plays a key role in estimation of the number of speakers with their states. To address this limitation, we propose to use intensity particle flow (IPF) in NPFSMC-PHD filter. The proposed method, IPF-SMC-PHD, considers the clutter intensity and detection probability while no data association algorithms are used for the calculation of particle flow. Experiments on the LOCATA (acoustic source Localization and Tracking) dataset with the sequences of task 4 show that our proposed IPF-SMC-PHD filter improves the tracking performance in terms of estimation accuracy as compared to its baseline counterparts.


title: Multilevel MIMO Detection with Deep Learning

abstract: A quasi-static flat multiple-antenna channel is considered. We show how real multilevel modulation symbols can be detected via deep neural networks. A multi-plateau sigmoid function is introduced. Then, after showing the DNN architecture for detection, we propose a twin-network neural structure. Batch size and training statistics for efficient learning are investigated. Near-Maximum-Likelihood performance with a relatively reasonable number of parameters is achieved.