title: A comparative study of stochastic resonance for a model with two pathways by escape times, linear response, invariant measures and the conditional Kolmogorov-Smirnov Test

abstract: We consider stochastic resonance for a diffusion with drift given by a potential, which has two metastable states and two pathways between them. Depending on the direction of the forcing, the height of the two barriers, one for each path, will either oscillate alternating or in synchronisation. We consider a simplified model given by a continuous time Markov Chains with two states. This was done for alternating and synchronised wells. The invariant measures are derived for both cases and shown to be constant for the synchronised case. A PDF for the escape time from an oscillatory potential is studied. Methods of detecting stochastic resonance are presented, which are linear response, signal-noise ratio, energy, out-of-phase measures, relative entropy and entropy. A new statistical test called the conditional Kolmogorov-Smirnov test is developed, which can be used to analyse stochastic resonance. An explicit two dimensional potential is introduced, the critical point structure derived and the dynamics, the invariant state and escape time studied numerically. The six measures are unable to detect the stochastic resonance in the case of synchronised saddles. The distribution of escape times however not only shows a clear sign of stochastic resonance, but changing the direction of the forcing from alternating to synchronised saddles an additional resonance at double the forcing frequency starts to appear. The conditional KS test reliably detects the stochastic resonance. This paper is mainly based on the thesis "Stochastic Resonance for a Model with Two Pathways"

categories: math.PR math-ph math.MP physics.data-an physics.geo-ph


title: Identifying Driver Behaviors using Trajectory Features for Vehicle Navigation

abstract: We present a novel approach to automatically identify driver behaviors from vehicle trajectories and use them for safe navigation of autonomous vehicles. We propose a novel set of features that can be easily extracted from car trajectories. We derive a data-driven mapping between these features and six driver behaviors using an elaborate web-based user study. We also compute a summarized score indicating a level of awareness that is needed while driving next to other vehicles. We also incorporate our algorithm into a vehicle navigation simulation system and demonstrate its benefits in terms of safer real-time navigation, while driving next to aggressive or dangerous drivers.


title: Temporal Graph Classes: A View Through Temporal Separators

abstract: We investigate the computational complexity of separating two distinct vertices s and z by vertex deletion in a temporal graph. In a temporal graph, the vertex set is fixed but the edges have (discrete) time labels. Since the corresponding Temporal (s, z)-Separation problem is NP-hard, it is natural to investigate whether relevant special cases exist that are computationally tractable. To this end, we study restrictions of the underlying (static) graph---there we observe polynomial-time solvability in the case of bounded treewidth---as well as restrictions concerning the "temporal evolution" along the time steps. Systematically studying partially novel concepts in this direction, we identify sharp borders between tractable and intractable cases.


title: The Shape of Alerts: Detecting Malware Using Distributed Detectors by Robustly Amplifying Transient Correlations

abstract: We introduce a new malware detector - Shape-GD - that aggregates per-machine detectors into a robust global detector. Shape-GD is based on two insights: 1. Structural: actions such as visiting a website (waterhole attack) by nodes correlate well with malware spread, and create dynamic neighborhoods of nodes that were exposed to the same attack vector. However, neighborhood sizes vary unpredictably and require aggregating an unpredictable number of local detectors' outputs into a global alert. 2. Statistical: feature vectors corresponding to true and false positives of local detectors have markedly different conditional distributions - i.e. their shapes differ. The shape of neighborhoods can identify infected neighborhoods without having to estimate neighborhood sizes - on 5 years of Symantec detectors' logs, Shape-GD reduces false positives from ~1M down to ~110K and raises alerts 345 days (on average) before commercial anti-virus products; in a waterhole attack simulated using Yahoo web-service logs, Shape-GD detects infected machines when only ~100 of ~550K are compromised.


title: Physical Layer Security for RF Satellite Channels in the Finite-length Regime

abstract: Secure communications is becoming increasingly relevant in the development of space technology. Well established cryptographic technology is already in place and is expected to continue to be so. On the other hand, information theoretical security emerges as a post-quantum versatile candidate to complement overall security strength. In order to prove such potential, performance analysis methods are needed that consider realistic legitimate and eavesdropper system assumptions and non-asymptotic coding lengths. In this paper we propose the design of secure radio frequency (RF) satellite links with realistic system assumptions. Our contribution is three-fold. First, we propose a wiretap channel model for the finite-length regime. The model includes an stochastic wiretap encoding method using existing practical linear error correcting codes and hash codes. Secrecy is provided with privacy amplification, for which the finite-length secrecy metric is given that upper bounds semantic secrecy. Second, we derive a novel RF (broadcast) satellite wiretap channel model that parameterizes the stochastic degraded channel around the legitimate channel, a necessary condition to enable secure communication. Finally, we show the design of a secure satellite physical layer and finite-length performance evaluation. In doing so, we define as sacrifice rate the fixed fraction of the overall coding rate budget for reliability that needs to be allocated to secrecy. Our methodology does not make use of channel side information of the eavesdropper, only assumes worst case system assumptions. We illustrate our proposed design method with numerical results using practical error correcting codes in current standards of satellite communication.


title: Essentially No Barriers in Neural Network Energy Landscape

abstract: Training neural networks involves finding minima of a high-dimensional non-convex loss function. Knowledge of the structure of this energy landscape is sparse. Relaxing from linear interpolations, we construct continuous paths between minima of recent neural network architectures on CIFAR10 and CIFAR100. Surprisingly, the paths are essentially flat in both the training and test landscapes. This implies that neural networks have enough capacity for structural changes, or that these changes are small between minima. Also, each minimum has at least one vanishing Hessian eigenvalue in addition to those resulting from trivial invariance.


title: Deep factorization for speech signal

abstract: Various informative factors mixed in speech signals, leading to great difficulty when decoding any of the factors. An intuitive idea is to factorize each speech frame into individual informative factors, though it turns out to be highly difficult. Recently, we found that speaker traits, which were assumed to be long-term distributional properties, are actually short-time patterns, and can be learned by a carefully designed deep neural network (DNN). This discovery motivated a cascade deep factorization (CDF) framework that will be presented in this paper. The proposed framework infers speech factors in a sequential way, where factors previously inferred are used as conditional variables when inferring other factors. We will show that this approach can effectively factorize speech signals, and using these factors, the original speech spectrum can be recovered with a high accuracy. This factorization and reconstruction approach provides potential values for many speech processing tasks, e.g., speaker recognition and emotion recognition, as will be demonstrated in the paper.


title: Power series solution of the inhomogeneous exclusion process

abstract: We develop a power series method for the nonequilibrium steady state of the inhomogeneous one-dimensional totally asymmetric simple exclusion process (TASEP) in contact with two particle reservoirs and with site-dependent hopping rates in the bulk. The power series is performed in the entrance or exit rates governing particle exchange with the reservoirs, and the corresponding particle current is computed analytically up to the cubic term in the entry or exit rate, respectively. We also show how to compute higher-order terms using combinatorial objects known as Young tableaux. Our results address the long outstanding problem of finding the exact nonequilibrium steady state of the inhomogeneous TASEP. The findings are particularly relevant to the modelling of mRNA translation in which the rate of translation initiation, corresponding to the entrance rate in the TASEP, is typically small.


title: Tetragonal-orthorhombic phase coexistence under magnetic fields in BaFe$_2$As$_2$ and Sr(Fe$_{1-x}$Co$_{x}$)$_2$As$_2$: evidence of magnetically driven structural transition

abstract: Synchrotron x-ray diffraction experiments were performed on BaFe$_2$As$_2$ and Sr(Fe$_{1-x}$Co$_{x}$)$_2$As$_2$ single crystals as a function of temperature and applied magnetic field along the tetragonal $[1 \bar{1} 0]$ direction, complemented by electrical resistivity and specific heat experiments. For a BaFe$_2$As$_2$ crystal with spin-density-wave antiferromagnetic ordering temperature $T_{AF}=132.5$ K and onset of the orthorhombic phase at $T_{o}=137$ K, the magnetic field favors the growth of tetragonal domains that compete with orthorhombic ones for $T \gtrsim T_{AF}$. For a Sr(Fe$_{1-x}$Co$_{x}$)$_2$As$_2$ crystal with more separated transitions ($T_{AF} = 132$ K and $T_{o} = 152$ K), the crystal structure also shows significant field-dependence in a narrow temperature interval close to $T_{AF}$. These results favor magnetism as the driver of the structural and nematic transitions in 122 Fe pnictides.


title: Scalable Bayesian uncertainty quantification in imaging inverse problems via convex optimization

abstract: We propose a Bayesian uncertainty quantification method for large-scale imaging inverse problems. Our method applies to all Bayesian models that are log-concave, where maximum-a-posteriori (MAP) estimation is a convex optimization problem. The method is a framework to analyse the confidence in specific structures observed in MAP estimates (e.g., lesions in medical imaging, celestial sources in astronomical imaging), to enable using them as evidence to inform decisions and conclusions. Precisely, following Bayesian decision theory, we seek to assert the structures under scrutiny by performing a Bayesian hypothesis test that proceeds as follows: firstly, it postulates that the structures are not present in the true image, and then seeks to use the data and prior knowledge to reject this null hypothesis with high probability. Computing such tests for imaging problems is generally very difficult because of the high dimensionality involved. A main feature of this work is to leverage probability concentration phenomena and the underlying convex geometry to formulate the Bayesian hypothesis test as a convex problem, that we then efficiently solve by using scalable optimization algorithms. This allows scaling to high-resolution and high-sensitivity imaging problems that are computationally unaffordable for other Bayesian computation approaches. We illustrate our methodology, dubbed BUQO (Bayesian Uncertainty Quantification by Optimization), on a range of challenging Fourier imaging problems arising in astronomy and medicine.


title: The no information at a distance principle and local mathematics: some effects on physics and geometry

abstract: Local mathematics assumes the existence of number structures of different types, vector spaces, etc. localized at each space time point. Relations between number structures at different locations are based on two aspects: distinction between two so far conflated concepts, number and number value and the "No information at a distance" principle. This principle forbids the choice of the value of a number at one location to determine the value of the same number at another location. Value changing connections, related to a real valued field, $g,$ move numbers between structures at different locations. The effect of the $g$ field, or its exponential equivalent, $g(y)=e^{\alpha(y)},$ on numbers extends to other mathematical structures, vector spaces, etc. The presence of $\alpha$ affects theoretical descriptions of quantities in physics and geometry. Two examples are described, the effect on the Dirac Lagrangian in gauge theory, and the effect on path lengths and distances in geometry. The gradient field of $\alpha$, $\vec{A},$ appears in the Lagrangian as a spin $0$, real scalar field that couples to the fermion field. Any value for the mass of $\vec{A}$ is possible. The lack of direct experimental evidence for the presence of the $g$ or $\alpha$ field means that the field must be essentially constant within a local region of the cosmological universe. Outside the local region there are no restrictions on the field. Possible physical candidates, (inflaton, dark matter, dark energy) for $\alpha$ are noted.


title: Monocular Depth Estimation using Multi-Scale Continuous CRFs as Sequential Deep Networks

abstract: Depth cues have been proved very useful in various computer vision and robotic tasks. This paper addresses the problem of monocular depth estimation from a single still image. Inspired by the effectiveness of recent works on multi-scale convolutional neural networks (CNN), we propose a deep model which fuses complementary information derived from multiple CNN side outputs. Different from previous methods using concatenation or weighted average schemes, the integration is obtained by means of continuous Conditional Random Fields (CRFs). In particular, we propose two different variations, one based on a cascade of multiple CRFs, the other on a unified graphical model. By designing a novel CNN implementation of mean-field updates for continuous CRFs, we show that both proposed models can be regarded as sequential deep networks and that training can be performed end-to-end. Through an extensive experimental evaluation, we demonstrate the effectiveness of the proposed approach and establish new state of the art results for the monocular depth estimation task on three publicly available datasets, i.e. NYUD-V2, Make3D and KITTI.


title: A Framework for Blockchain-Based Applications

abstract: Blockchains have recently generated explosive interest from both academia and industry, with many proposed applications. But descriptions of many these proposals are more visionary projections than realizable proposals, and even basic definitions are often missing. We define "blockchain" and "blockchain network", and then discuss two very different, well known classes of blockchain networks: cryptocurrencies and Git repositories. We identify common primitive elements of both and use them to construct a framework for explicitly articulating what characterizes blockchain networks. The framework consists of a set of questions that every blockchain initiative should address at the very outset. It is intended to help one decide whether or not blockchain is an appropriate approach to a particular application, and if it is, to assist in its initial design stage.


title: Dose Delivery Concept and Instrumentation

abstract: Radiation therapy aims to deliver the prescribed amount of dose to a tumour at the same time as sparing the surrounding tissues as much as possible. In charged particle therapy, delivering the prescribed dose is equivalent to delivering the prescribed number of ions of a given energy at each position of the irradiation field. The accurate delivery is committed to a dose delivery (DD) system that shapes, guides and controls the beam before the patient entrance. Most of the early DD systems provided uniform lateral dose profiles by using different devices, mainly patient-specific, placed in the beam line to shape the three-dimensional final target dose. More recently, systems that provide highly conformal dose distributions using thousands of narrow beams at well-defined energy were developed which feature advanced scanning magnets and real-time beam monitors, without patient-specific hardware. This lecture will cover the general dose delivery concept as well as the different DD instrumentations depending mainly on the beam delivery technique and on the particle and accelerator types. Some characteristic worldwide DD and beam monitor systems will be mentioned.


title: Sparse Identification of Nonlinear Dynamics for Rapid Model Recovery

abstract: Big data has become a critically enabling component of emerging mathematical methods aimed at the automated discovery of dynamical systems, where first principles modeling may be intractable. However, in many engineering systems, abrupt changes must be rapidly characterized based on limited, incomplete, and noisy data. Many leading automated learning techniques rely on unrealistically large data sets and it is unclear how to leverage prior knowledge effectively to re-identify a model after an abrupt change. In this work, we propose a conceptual framework to recover parsimonious models of a system in response to abrupt changes in the low-data limit. First, the abrupt change is detected by comparing the estimated Lyapunov time of the data with the model prediction. Next, we apply the sparse identification of nonlinear dynamics (SINDy) regression to update a previously identified model with the fewest changes, either by addition, deletion, or modification of existing model terms. We demonstrate this sparse model recovery on several examples for abrupt system change detection in periodic and chaotic dynamical systems. Our examples show that sparse updates to a previously identified model perform better with less data, have lower runtime complexity, and are less sensitive to noise than identifying an entirely new model. The proposed abrupt-SINDy architecture provides a new paradigm for the rapid and efficient recovery of a system model after abrupt changes.


title: Observational constraints on Gauss-Bonnet cosmology

abstract: We analyze a fully geometric approach to dark energy in the framework of $F(R,{\cal G})$ theories of gravity, where $R$ is the Ricci curvature scalar and ${\cal G}$ is the Gauss-Bonnet topological invariant. The latter invariant naturally exhausts, together with $R$, the whole curvature content related to curvature invariants coming from the Riemann tensor. In particular, we study a class of $F(R, {\cal G})$ models with power law solutions and find that, depending on the value of the geometrical parameter, a shift in the anisotropy peaks position of the temperature power spectrum is produced, as well as an increasing in the matter power spectrum amplitude. This fact could be extremely relevant to fix the form of the $F(R, {\cal G})$ model. We also perform a MCMC analysis using both Cosmic Microwave Background data by the Planck (2015) release and the Joint Light-Curve Analysis of the SNLS-SDSS collaborative effort, combined with the current local measurements of the Hubble value, $H_0$, and galaxy data from the Sloan Digital Sky Survey (BOSS CMASS DR11). We show that such a model can describe the CMB data with slightly high $H_0$ values, and the prediction on the amplitude matter spectrum value is proved to be in accordance with the observed matter distribution of the universe. At the same time, the value constrained for the geometric parameter implies a density evolution of such a components that is growing with time.


title: Hausdorff Morita Equivalence of singular foliations

abstract: We introduce a notion of equivalence for singular foliations - understood as suitable families of vector fields - that preserves their transverse geometry. Associated to every singular foliation there is a holonomy groupoid, by the work of Androulidakis-Skandalis. We show that our notion of equivalence is compatible with this assignment, and as a consequence we obtain several invariants. Further, we show that it unifies some of the notions of transverse equivalence for regular foliations that appeared in the 1980's.


title: Impact of Biases in Big Data

abstract: The underlying paradigm of big data-driven machine learning reflects the desire of deriving better conclusions from simply analyzing more data, without the necessity of looking at theory and models. Is having simply more data always helpful? In 1936, The Literary Digest collected 2.3M filled in questionnaires to predict the outcome of that year's US presidential election. The outcome of this big data prediction proved to be entirely wrong, whereas George Gallup only needed 3K handpicked people to make an accurate prediction. Generally, biases occur in machine learning whenever the distributions of training set and test set are different. In this work, we provide a review of different sorts of biases in (big) data sets in machine learning. We provide definitions and discussions of the most commonly appearing biases in machine learning: class imbalance and covariate shift. We also show how these biases can be quantified and corrected. This work is an introductory text for both researchers and practitioners to become more aware of this topic and thus to derive more reliable models for their learning problems.


title: The split in the ancient cold front in the Perseus cluster

abstract: Sloshing cold fronts in clusters, produced as the dense cluster core moves around in the cluster potential in response to in-falling subgroups, provide a powerful probe of the physics of the intracluster medium (ICM), and the magnetic fields permeating it. These sharp discontinuities in density and temperature rise gradually outwards with age in a characteristic spiral pattern, embedding into the intracluster medium a record of the minor merging activity of clusters: the further from the cluster centre a cold front is, the older it is. Recently it has been discovered that these cold fronts can survive out to extremely large radii in the Perseus cluster. Here we report on high spatial resolution Chandra observations of the large scale cold front in Perseus. We find that rather than broadening through diffusion, the cold front remains extremely sharp (consistent with abrupt jumps in density) but instead is split into two sharp edges. These results show that magnetic draping can suppress diffusion for vast periods of time, around ~5 Gyr, even as the cold front expands out to nearly half the cluster virial radius.


title: Service-based Fog architecture without DNS redirection

abstract: The heterogeneous and distributed nature of the Internet of Things (IoT) is driving the need for extremely fast and fine-grained service provisioning in 5/5+G architectures and beyond. To meet these needs, it is critical to enable efficient and flexible computation and networking fabrics, that can be rapidly reconfigured to meet the computation and communication tasks at hand. In this article, we propose a novel Fog Computing architecture that translates IoT communications into service transactions, provisioned over a fast and efficient networking fabric. Service matching is provided by a network function designed using principles from Information-Centric Networks (ICN) research, routing edge requests directly to the nearest service points without expensive and slow DNS redirects. The proposed Fog substrate reduces the networking complexity and overhead while being architecturally simple. We evaluate the architecture through a comparison with how Fog might be established over existing networking fabrics and quantify the performance benefits. Evaluation results illustrate the superiority of the proposed architecture in reducing the required backhaul capacity and the path length.


title: Slotted CSMA/CA Based Energy Efficient MAC Protocol Design in Nanonetworks

abstract: Devices in a beacon-enabled network use slotted CSMA/CA to contend for channel usage. Each node in the network competes for the channels when ready to transmit data. The slotted CSMA/CA mechanism based on the super-frame structure fairly provides communication chance for each node and makes a reasonable usage of the available energy in beacon-enabled Zigbee networks. When wireless nano-sensor nodes are implanted into the target human body area for detecting disease symptoms or virus existence, each node also requires a similar characteristic in channel sharing and in the transmission of event-driven data with a short length. In this paper, we suggest a wireless network model with nano-sensor nodes for the in-body application. We propose a novel MAC protocol derived from an existing Zigbee MAC protocol scheme and analyze the performance of energy usage with variable super-frame durations and packet sizes.


title: The fundamental group of an algebra with strongly simply connected Galois covering

abstract: In this work, we prove that if a triangular algebra $A$ admits a strongly simply connected universal Galois covering for a given presentation then the fundamental group associated to this presentation is free.


title: DEMorphy, German Language Morphological Analyzer

abstract: DEMorphy is a morphological analyzer for German. It is built onto large, compactified lexicons from German Morphological Dictionary. A guesser based on German declension suffixed is also provided. For German, we provided a state-of-art morphological analyzer. DEMorphy is implemented in Python with ease of usability and accompanying documentation. The package is suitable for both academic and commercial purposes wit a permissive licence.


title: Characterization of nuclear pseudo-multipliers associated to the harmonic oscillator

abstract: In this paper we study pseudo-multipliers associated to the harmonic oscillator (also called Hermite multipliers) belonging to the ideal of $r$-nuclear operators on Lebesgue spaces.


title: Hardness of Approximate Nearest Neighbor Search

abstract: We prove conditional near-quadratic running time lower bounds for approximate Bichromatic Closest Pair with Euclidean, Manhattan, Hamming, or edit distance. Specifically, unless the Strong Exponential Time Hypothesis (SETH) is false, for every $\delta>0$ there exists a constant $\epsilon>0$ such that computing a $(1+\epsilon)$-approximation to the Bichromatic Closest Pair requires $n^{2-\delta}$ time. In particular, this implies a near-linear query time for Approximate Nearest Neighbor search with polynomial preprocessing time. Our reduction uses the Distributed PCP framework of [ARW'17], but obtains improved efficiency using Algebraic Geometry (AG) codes. Efficient PCPs from AG codes have been constructed in other settings before [BKKMS'16, BCGRS'17], but our construction is the first to yield new hardness results.


title: Inferring correlations associated to causal interactions in brain signals using autoregressive models

abstract: The specific connectivity of a neuronal network is reflected in the dynamics of the signals recorded on its nodes. The analysis of how the activity in one node predicts the behaviour of another gives the directionality in their relationship. However, each node is composed of many different elements which define the properties of the links. For instance, excitatory and inhibitory neuronal subtypes determine the functionality of the connection. Classic indexes such as the Granger causality (GC) quantifies these interactions, but they do not infer into the mechanism behind them. Here, we introduce an extension of the well-known GC that analyses the correlation associated to the specific influence that a transmitter node has over the receiver. This way, the G-causal link has a positive or negative effect if the predicted activity follows directly or inversely, respectively, the dynamics of the sender. The method is validated in a neuronal population model, testing the paradigm that excitatory and inhibitory neurons have a differential effect in the connectivity. Our approach correctly infers the positive or negative coupling produced by different types of neurons. Our results suggest that the proposed approach provides additional information on the characterization of G-causal connections, which is potentially relevant when it comes to understanding interactions in the brain circuits.


title: Enhancing Cooperative Coevolution for Large Scale Optimization by Adaptively Constructing Surrogate Models

abstract: It has been shown that cooperative coevolution (CC) can effectively deal with large scale optimization problems (LSOPs) through a divide-and-conquer strategy. However, its performance is severely restricted by the current context-vector-based sub-solution evaluation method since this method needs to access the original high dimensional simulation model when evaluating each sub-solution and thus requires many computation resources. To alleviate this issue, this study proposes an adaptive surrogate model assisted CC framework. This framework adaptively constructs surrogate models for different sub-problems by fully considering their characteristics. For the single dimensional sub-problems obtained through decomposition, accurate enough surrogate models can be obtained and used to find out the optimal solutions of the corresponding sub-problems directly. As for the nonseparable sub-problems, the surrogate models are employed to evaluate the corresponding sub-solutions, and the original simulation model is only adopted to reevaluate some good sub-solutions selected by surrogate models. By these means, the computation cost could be greatly reduced without significantly sacrificing evaluation quality. Empirical studies on IEEE CEC 2010 benchmark functions show that the concrete algorithm based on this framework is able to find much better solutions than the conventional CC algorithms and a non-CC algorithm even with much fewer computation resources.


title: Multi-Instance Dynamic Ordinal Random Fields for Weakly-supervised Facial Behavior Analysis

abstract: We propose a Multi-Instance-Learning (MIL) approach for weakly-supervised learning problems, where a training set is formed by bags (sets of feature vectors or instances) and only labels at bag-level are provided. Specifically, we consider the Multi-Instance Dynamic-Ordinal-Regression (MI-DOR) setting, where the instance labels are naturally represented as ordinal variables and bags are structured as temporal sequences. To this end, we propose Multi-Instance Dynamic Ordinal Random Fields (MI-DORF). In this framework, we treat instance-labels as temporally-dependent latent variables in an Undirected Graphical Model. Different MIL assumptions are modelled via newly introduced high-order potentials relating bag and instance-labels within the energy function of the model. We also extend our framework to address the Partially-Observed MI-DOR problems, where a subset of instance labels are available during training. We show on the tasks of weakly-supervised facial behavior analysis, Facial Action Unit (DISFA dataset) and Pain (UNBC dataset) Intensity estimation, that the proposed framework outperforms alternative learning approaches. Furthermore, we show that MIDORF can be employed to reduce the data annotation efforts in this context by large-scale.


title: Goldberg's Conjecture is true for random multigraphs

abstract: In the 70s, Goldberg, and independently Seymour, conjectured that for any multigraph $G$, the chromatic index $\chi'(G)$ satisfies $\chi'(G)\leq \max \{\Delta(G)+1, \lceil\rho(G)\rceil\}$, where $\rho(G)=\max \{\frac {e(G[S])}{\lfloor |S|/2\rfloor} \mid S\subseteq V \}$. We show that their conjecture (in a stronger form) is true for random multigraphs. Let $M(n,m)$ be the probability space consisting of all loopless multigraphs with $n$ vertices and $m$ edges, in which $m$ pairs from $[n]$ are chosen independently at random with repetitions. Our result states that, for a given $m:=m(n)$, $M\sim M(n,m)$ typically satisfies $\chi'(G)=\max\{\Delta(G),\lceil\rho(G)\rceil\}$. In particular, we show that if $n$ is even and $m:=m(n)$, then $\chi'(M)=\Delta(M)$ for a typical $M\sim M(n,m)$. Furthermore, for a fixed $\varepsilon>0$, if $n$ is odd, then a typical $M\sim M(n,m)$ has $\chi'(M)=\Delta(M)$ for $m\leq (1-\varepsilon)n^3\log n$, and $\chi'(M)=\lceil\rho(M)\rceil$ for $m\geq (1+\varepsilon)n^3\log n$.


title: Understanding the Loss Surface of Neural Networks for Binary Classification

abstract: It is widely conjectured that the reason that training algorithms for neural networks are successful because all local minima lead to similar performance, for example, see (LeCun et al., 2015, Choromanska et al., 2015, Dauphin et al., 2014). Performance is typically measured in terms of two metrics: training performance and generalization performance. Here we focus on the training performance of single-layered neural networks for binary classification, and provide conditions under which the training error is zero at all local minima of a smooth hinge loss function. Our conditions are roughly in the following form: the neurons have to be strictly convex and the surrogate loss function should be a smooth version of hinge loss. We also provide counterexamples to show that when the loss function is replaced with quadratic loss or logistic loss, the result may not hold.


title: A survey of non-uniqueness results for the anisotropic Calder{\'o}n problem with disjoint data

abstract: After giving a general introduction to the main known results on the anisotropic Calder{\'o}n problem on n-dimensional compact Riemannian manifolds with boundary, we give a motivated review of some recent non-uniqueness results obtained in [5, 6] for the anisotropic Calder{\'o}n problem at fixed frequency, in dimension n $\ge$ 3, when the Dirichlet and Neumann data are measured on disjoint subsets of the boundary. These non-uniqueness results are of the following nature: given a smooth compact connected Riemannian manifold with boundary (M, g) of dimension n $\ge$ 3, we first show that there exist in the conformal class of g an infinite number of Riemannian metrics gmetrics metrics g such that their corresponding Dirichlet-to-Neumann maps at a fixed frequency coincide when the Dirichlet data $\Gamma$D and Neumann data $\Gamma$N are measured on disjoint sets and satisfy $\Gamma$D $\cup$ $\Gamma$N = $\partial$M. The corresponding conformal factors satisfy a nonlinear elliptic PDE of Yamabe type on (M, g) and arise from a natural but subtle gauge invariance of the Calder{\'o}n when the data are given on disjoint sets. We then present counterexamples to uniqueness in dimension n $\ge$ 3 to the anisotropic Calder{\'o}n problem at fixed frequency with data on disjoint sets, which do not arise from this gauge invariance. They are given by cylindrical Riemannian manifolds with boundary having two ends, equipped with a suitably chosen warped product metric. This survey concludes with some remarks on the case of manifolds with corners.


title: Dual spaces of cadlag processes

abstract: This article characterizes topological duals of spaces of cadlag processes. We obtain extensions of functional analytic results of Dellacherie and Meyer that underlie many fundamental results in stochastic analysis. In particular, we obtain a characterization of the dual of cadlag processes of class $(D)$ in terms of optional measures of essentially bounded variation. When specialized to regular processes, we find extensions of the main result of Bismut \cite{bis78} on projections of continuous processes. The dual characterizations yield existence results and optimality conditions for many fundamental problems from optimal stopping to singular stochastic control well beyond classical formulations.


title: Cleaning Interfaces in Layered Materials Heterostructures

abstract: Heterostructures formed by stacking layered materials require atomically clean interfaces. However, contaminants are usually trapped between the layers, aggregating into blisters. We report a process to remove such blisters, resulting in clean interfaces. We fabricate blister-free regions of graphene encapsulated in hexagonal boron nitride of$\sim$5000$\mu $m$^{2}$, limited only by the size of the exfoliated flakes. These have mobilities up to$\sim$180000cm$^2$V$^{-1}$s$^{-1}$ at room temperature, and$\sim$1.8$\times$10$^6$cm$^2$V$^{-1}$s$^{-1}$ at 9K. We further demonstrate the effectiveness of our approach by cleaning heterostructures assembled using graphene intentionally exposed to polymers and solvents. After cleaning, these samples reach similar high mobilities. We also showcase the general applicability of our approach to layered materials by cleaning blisters in other heterostructures based on MoS$_{2}$. This demonstrates that exposure of graphene to processing-related contaminants is compatible with the realization of high mobility samples, paving the way to the development of fab-based processes for the integration of layered materials in (opto)-electronic devices.


title: Fixed points for $G$-cyclic $(\phi -\psi)$-Kannan and $G$-cyclic $(\phi -\psi)$-Chatterjea contractions in $G$-metric spaces

abstract: Definitions of what are called $G$-cyclic $\left( \phi -\psi \right)$-Kannan contraction and $G$-cyclic $\left( \phi -\psi\right)$-Chatterjea contraction are introduced in this paper. We use these new concepts to establish new fixed point results in the context of complete generalized metric spaces. These results are new generalizations and extensions of the Kannan and Chatterjea fixed point theorems and are generalized versions of some fixed point results proved in the literature. The analysis and theory are illustrated by some examples.


title: Realizability Interpretation and Normalization of Typed Call-by-Need $$\lambda$$-calculus With Control

abstract: We define a variant of realizability where realizers are pairs of a term and a substitution. This variant allows us to prove the normalization of a simply-typed call-by-need $$\lambda$-$calculus with control due to Ariola et al. Indeed, in such call-by-need calculus, substitutions have to be delayed until knowing if an argument is really needed. In a second step, we extend the proof to a call-by-need $$\lambda$$-calculus equipped with a type system equivalent to classical second-order predicate logic, representing one step towards proving the normalization of the call-by-need classical second-order arithmetic introduced by the second author to provide a proof-as-program interpretation of the axiom of dependent choice.


title: Radial basis function methods for optimal control of the convection-diffusion equation

abstract: PDE-constrained optimization problems have been barely solved by radial basis functions (RBFs) methods [Pearson, 2013]. It is well known that RBF methods can attain an exponential rate of convergence when $C^{\infty}$ kernels are used, also, these techniques, which are truly scattered, are known to be flexible to discretize complex boundaries in several dimensions. On the other hand, exponential convergence implies an exponential growth of the condition number of the Gram matrix associated with these meshfree methods and global collocation techniques are known to be computationally expensive. In this paper, and in the context of optimal constrained optimization problems, we aim to explore a possible answer to both problems. Specifically, we introduce two local RBF methods: LAM-DQ based in the combination of an asymmetric local method (LAM), inspired in local Hermite interpolation (LHI), with the differential quadrature method (DQ), and LAM-LAM which use two times the local asymmetric method. The efficiency of these local methods against global collocation by solving several synthetic convection-diffusion control problems is analyzed. In this article, we also propose a preconditioning technique and treat the ill-conditioning problem by using extended arithmetic precision. We think that these local methods, which are highly parallelizable, shows a possible way to solve massive optimization control problems in an efficient way.


title: Deep Learning for Signal Authentication and Security in Massive Internet of Things Systems

abstract: Secure signal authentication is arguably one of the most challenging problems in the Internet of Things (IoT) environment, due to the large-scale nature of the system and its susceptibility to man-in-the-middle and eavesdropping attacks. In this paper, a novel deep learning method is proposed for dynamic authentication of IoT signals to detect cyber attacks. The proposed learning framework, based on a long short-term memory (LSTM) structure, enables the IoT devices (IoTDs) to extract a set of stochastic features from their generated signal and dynamically watermark these features into the signal. This method enables the cloud, which collects signals from the IoT devices, to effectively authenticate the reliability of the signals. Moreover, in massive IoT scenarios, since the cloud cannot authenticate all the IoTDs simultaneously due to computational limitations, a game-theoretic framework is proposed to improve the cloud's decision making process by predicting vulnerable IoTDs. The mixed-strategy Nash equilibrium (MSNE) for this game is derived and the uniqueness of the expected utility at the equilibrium is proven. In the massive IoT system, due to a large set of available actions for the cloud, it is shown that analytically deriving the MSNE is challenging and, thus, a learning algorithm proposed that converges to the MSNE. Moreover, in order to cope with the incomplete information case in which the cloud cannot access the state of the unauthenticated IoTDs, a deep reinforcement learning algorithm is proposed to dynamically predict the state of unauthenticated IoTDs and allow the cloud to decide on which IoTDs to authenticate. Simulation results show that, with an attack detection delay of under 1 second the messages can be transmitted from IoT devices with an almost 100% reliability.


title: On the geometry of period doubling invariant sets for area-preserving maps

abstract: The geometry of the period doubling Cantor sets of strongly dissipative infinitely renormalizable H\'enon-like maps has been shown to be unbounded by M. Lyubich, M. Martens and A. de Carvalho, although the measure of unbounded "spots" in the Cantor set has been demonstrated to be zero. We show that an even more extreme situation takes places for infinitely renormalizable area-preserving H\'enon-like maps: both bounded and unbounded geometries exist on subsets of positive measure.


title: An analogue of a result of Tits for linear and symplectic transvection groups

abstract: In [9] Bogdan Nica presented an elementary proof of a result which says that the relative elementary linear group with respect to a square of an ideal of the ring is a subset of the true relative elementary linear group. The original result was proved by J. Tits in [16] in the much general context of Chevalley groups. In this paper we prove analogues of the result of Tits for linear transvection group and symplectic transvection group. We also obtain an elementary proof of a special case of the result by Tits, namely the case of elementary symplectic group, using commutator identities for generators of this group.


title: House Price Modeling over Heterogeneous Regions with Hierarchical Spatial Functional Analysis

abstract: Online real-estate information systems such as Zillow and Trulia have gained increasing popularity in recent years. One important feature offered by these systems is the online home price estimate through automated data-intensive computation based on housing information and comparative market value analysis. State-of-the-art approaches model house prices as a combination of a latent land desirability surface and a regression from house features. However, by using uniformly damping kernels, they are unable to handle irregularly shaped regions or capture land value discontinuities within the same region due to the existence of implicit sub-communities, which are common in real-world scenarios. In this paper, we explore the novel application of recent advances in spatial functional analysis to house price modeling and propose the Hierarchical Spatial Functional Model (HSFM), which decomposes house values into land desirability at both the global scale and hidden local scales as well as the feature regression component. We propose statistical learning algorithms based on finite-element spatial functional analysis and spatial constrained clustering to train our model. Extensive evaluations based on housing data in a major Canadian city show that our proposed approach can reduce the mean relative house price estimation error down to 6.60%.


title: Distributed Robust Output Regulation of Heterogeneous Uncertain Linear Agents by Adaptive Internal Model Principle

abstract: We study a multi-agent output regulation problem, where not all agents have access to the exosystem's dynamics. We propose a fully distributed controller that solves the problem for linear, heterogeneous, and uncertain agent dynamics as well as time-varying directed networks. The distributed controller consists of two parts: (1) an exosystem generator that locally estimates the exosystem dynamics, and (2) a dynamic compensator that, by locally approaching the internal model of the exosystem, achieves perfect output regulation. Moreover, we extend this distributed controller to solve an output synchronization problem where not all agents initially have the same internal model dynamics. Our approach leverages methods from internal model based controller synthesis and multi-agent consensus over time-varying directed networks; the derived result is a generalization of the (centralized) internal model principle to the distributed, networked setting.


title: Evaluation of weighted Fibonacci sums of a certain type

abstract: We derive a formula for the evaluation of weighted generalized Fibonacci sums of the type $S_k^n (w,r) = \sum_{j = 0}^k {w^j j^r G_j{}^n }$. Several explicit evaluations are presented as examples.


title: Online Scheduling of Spark Workloads with Mesos using Different Fair Allocation Algorithms

abstract: In the following, we present example illustrative and experimental results comparing fair schedulers allocating resources from multiple servers to distributed application frameworks. Resources are allocated so that at least one resource is exhausted in every server. Schedulers considered include DRF (DRFH) and Best-Fit DRF (BF-DRF), TSF, and PS-DSF. We also consider server selection under Randomized Round Robin (RRR) and based on their residual (unreserved) resources. In the following, we consider cases with frameworks of equal priority and without server-preference constraints. We first give typical results of a illustrative numerical study and then give typical results of a study involving Spark workloads on Mesos which we have modified and open-sourced to prototype different schedulers.


title: Fokker-Planck equation driven by asymmetric L\'evy motion

abstract: Non-Gaussian L\'evy noises are present in many models for understanding underlining principles of physics, finance, biology and more. In this work, we consider the Fokker-Planck equation(FPE) due to one-dimensional asymmetric L\'evy motion, which is a nonlocal partial differential equation. We present an accurate numerical quadrature for the singular integrals in the nonlocal FPE and develop a fast summation method to reduce the order of the complexity from $O(J^2)$ to $O(J\log J)$ in one time-step, where $J$ is the number of unknowns. We also provide conditions under which the numerical schemes satisfy maximum principle. Our numerical method is validated by comparing with exact solutions for special cases. We also discuss the properties of the probability density functions and the effects of various factors on the solutions, including the stability index, the skewness parameter, the drift term, the Gaussian and non-Gaussian noises and the domain size.


title: All-Electron, Real-Space Perturbation Theory for Homogeneous Electric Fields: Theory, Implementation, and Application within DFT

abstract: Within density-functional theory, perturbation theory~(PT) is the state-of-the-art formalism for assessing the response to homogeneous electric fields and the associated material properties, e.g., polarizabilities, dielectric constants, and Raman intensities. Here we derive a real-space formulation of PT and present an implementation within the all-electron, numeric atom-centered orbitals electronic structure code FHI-aims that allows for massively-parallel calculations. As demonstrated by extensive validation, this allows the rapid computation of accurate response properties of molecules and solids. As an application showcase, we present harmonic and anharmonic Raman spectra, the latter obtained by combining hundreds of thousands of PT calculations with \textit{ab initio} molecular dynamics. By using the PBE exchange-correlation functional with many-body van der Waals corrections, we obtain spectra in good agreement with experiment especially with respect to lineshapes for the isolated paracetamol molecule and two polymorphs of the paracetamol crystal.


title: Experimental Evaluation of Parameterized Algorithms for Feedback Vertex Set

abstract: Feedback Vertex Set is a classic combinatorial optimization problem that asks for a minimum set of vertices in a given graph whose deletion makes the graph acyclic. From the point of view of parameterized algorithms and fixed-parameter tractability, Feedback Vertex Set is one of the landmark problems: a long line of study resulted in multiple algorithmic approaches and deep understanding of the combinatorics of the problem. Because of its central role in parameterized complexity, the first edition of the Parameterized Algorithms and Computational Experiments Challenge (PACE) in 2016 featured Feedback Vertex Set as the problem of choice in one of its tracks. The results of PACE 2016 on one hand showed large discrepancy between performance of different classic approaches to the problem, and on the other hand indicated a new approach based on half-integral relaxations of the problem as probably the most efficient approach to the problem. In this paper we provide an exhaustive experimental evaluation of fixed-parameter and branching algorithms for Feedback Vertex Set.


title: Semi-Supervised Algorithms for Approximately Optimal and Accurate Clustering

abstract: We study $k$-means clustering in a semi-supervised setting. Given an oracle that returns whether two given points belong to the same cluster in a fixed optimal clustering, we investigate the following question: how many oracle queries are sufficient to efficiently recover a clustering that, with probability at least $(1 - \delta)$, simultaneously has a cost of at most $(1 + \epsilon)$ times the optimal cost and an accuracy of at least $(1 - \epsilon)$? We show how to achieve such a clustering on $n$ points with $O{((k^2 \log n) \cdot m{(Q, \epsilon^4, \delta / (k\log n))})}$ oracle queries, when the $k$ clusters can be learned with an $\epsilon'$ error and a failure probability $\delta'$ using $m(Q, \epsilon',\delta')$ labeled samples in the supervised setting, where $Q$ is the set of candidate cluster centers. We show that $m(Q, \epsilon', \delta')$ is small both for $k$-means instances in Euclidean space and for those in finite metric spaces. We further show that, for the Euclidean $k$-means instances, we can avoid the dependency on $n$ in the query complexity at the expense of an increased dependency on $k$: specifically, we give a slightly more involved algorithm that uses $O(k^4/(\epsilon^2 \delta) + (k^{9}/\epsilon^4) \log(1/\delta) + k \cdot m(\mathbb{R}^r, \epsilon^4/k, \delta))$ oracle queries. We also show that the number of queries needed for $(1 - \epsilon)$-accuracy in Euclidean $k$-means must linearly depend on the dimension of the underlying Euclidean space, and for finite metric space $k$-means, we show that it must at least be logarithmic in the number of candidate centers. This shows that our query complexities capture the right dependencies on the respective parameters.


title: Finding Hamiltonian Cycle in Graphs of Bounded Treewidth: Experimental Evaluation

abstract: The notion of treewidth, introduced by Robertson and Seymour in their seminal Graph Minors series, turned out to have tremendous impact on graph algorithmics. Many hard computational problems on graphs turn out to be efficiently solvable in graphs of bounded treewidth: graphs that can be sweeped with separators of bounded size. These efficient algorithms usually follow the dynamic programming paradigm. In the recent years, we have seen a rapid and quite unexpected development of involved techniques for solving various computational problems in graphs of bounded treewidth. One of the most surprising directions is the development of algorithms for connectivity problems that have only single-exponential dependency (i.e., $2^{O(t)}$) on the treewidth in the running time bound, as opposed to slightly superexponential (i.e., $2^{O(t \log t)}$) stemming from more naive approaches. In this work, we perform a thorough experimental evaluation of these approaches in the context of one of the most classic connectivity problem, namely Hamiltonian Cycle.


title: Estimating model bias over the complete nuclide chart with sparse Gaussian processes at the example of INCL/ABLA and double-differential neutron spectra

abstract: Predictions of nuclear models guide the design of nuclear facilities to ensure their safe and efficient operation. Because nuclear models often do not perfectly reproduce available experimental data, decisions based on their predictions may not be optimal. Awareness about systematic deviations between models and experimental data helps to alleviate this problem. This paper shows how a sparse approximation to Gaussian processes can be used to estimate the model bias over the complete nuclide chart at the example of inclusive double-differential neutron spectra for incident protons above 100\,MeV. A powerful feature of the presented approach is the ability to predict the model bias for energies, angles, and isotopes where data are missing. The number of experimental data points that can be taken into account is at least in the order of magnitude of~$10^4$ thanks to the sparse approximation. The approach is applied to the Li\`ege Intranuclear Cascade Model (INCL) coupled to the evaporation code ABLA. The results suggest that sparse Gaussian process regression is a viable candidate to perform global and quantitative assessments of models. Limitations of a philosophical nature of this (and any other) approach are also discussed.


title: God plays coins or superposition principle for classical probabilities in quantum suprematism representation of qubit states

abstract: For three given probability distributions describing positions of three classical coins the quantum density matrix of spin-$1/2$ state is constructed and its matrix elements are associated with triada of Malevich's squares. The superposition principle of spin-$1/2$ states is presented in the form of nonlinear addition rule for these classical coin probabilities. We illustrate the formulas by the statement"God does not play dice - God plays coins".


title: Beyond black-boxes in Bayesian inverse problems and model validation: applications in solid mechanics of elastography

abstract: The present paper is motivated by one of the most fundamental challenges in inverse problems, that of quantifying model discrepancies and errors. While significant strides have been made in calibrating model parameters, the overwhelming majority of pertinent methods is based on the assumption of a perfect model. Motivated by problems in solid mechanics which, as all problems in continuum thermodynamics, are described by conservation laws and phenomenological constitutive closures, we argue that in order to quantify model uncertainty in a physically meaningful manner, one should break open the black-box forward model. In particular we propose formulating an undirected probabilistic model that explicitly accounts for the governing equations and their validity. This recasts the solution of both forward and inverse problems as probabilistic inference tasks where the problem's state variables should not only be compatible with the data but also with the governing equations as well. Even though the probability densities involved do not contain any black-box terms, they live in much higher-dimensional spaces. In combination with the intractability of the normalization constant of the undirected model employed, this poses significant challenges which we propose to address with a linearly-scaling, double-layer of Stochastic Variational Inference. We demonstrate the capabilities and efficacy of the proposed model in synthetic forward and inverse problems (with and without model error) in elastography.


title: Magnetoresistance of semi-metals: the case of antimony

abstract: Large unsaturated magnetoresistance has been recently reported in numerous semi-metals. Many of them have a topologically non-trivial band dispersion, such as Weyl nodes or lines. Here, we show that elemental antimony displays the largest high-field magnetoresistance among all known semi-metals. We present a detailed study of the angle-dependent magnetoresistance and use a semi-classical framework invoking an anisotropic mobility tensor to fit the data. A slight deviation from perfect compensation and a modest variation with magnetic field of the components of the mobility tensor are required to attain perfect fits at arbitrary strength and orientation of magnetic field in the entire temperature window of study. Our results demonstrate that large orbital magnetoresistance is an unavoidable consequence of low carrier concentration and the sub-quadratic magnetoresistance seen in many semi-metals can be attributed to field-dependent mobility, expected whenever the disorder length-scale exceeds the Fermi wavelength.


title: An Experimental Study of Factor Analysis over Cellular Network Data

abstract: Mobile Network Operators (MNOs) are evolving towards becoming data-driven, while delivering capacity to collect and analyze data. This can help in enhancing user experiences while empowering the operation workforce and building new business models. Mobile traffic demands of users can give insights to MNOs to plan, decide and act depending on network conditions. In this paper, we investigate the behaviour of Istanbul residents using the cellular network traffic activity over spatial and temporal dimensions via exploratory factor analysis (EFA) using a major MNO's cellular network traffic data in Turkey. Our results reveal various time and spatial patterns for Istanbul residents such as morning and evening commuting factors, business and residential factors as well as nightlife and weekend afternoon factors as the most prominent cultural behaviour. The analysis results also demonstrate interesting findings such as tunnels and transportation paths selected by Istanbul residents may differ during morning rush work hour compared to evening rush after-work hour.


title: Distributed Prioritized Experience Replay

abstract: We propose a distributed architecture for deep reinforcement learning at scale, that enables agents to learn effectively from orders of magnitude more data than previously possible. The algorithm decouples acting from learning: the actors interact with their own instances of the environment by selecting actions according to a shared neural network, and accumulate the resulting experience in a shared experience replay memory; the learner replays samples of experience and updates the neural network. The architecture relies on prioritized experience replay to focus only on the most significant data generated by the actors. Our architecture substantially improves the state of the art on the Arcade Learning Environment, achieving better final performance in a fraction of the wall-clock training time.


title: Quadratic 2-step Lie algebras: Computational algorithms and classification

abstract: Taking into account the theoretical results and guidelines given inthis work, we introduce a computational method to construct any 2 step nilpotent quadratic algebra of d generators. Along the work we show that the key of the classification of this class of metric algebras relies on certain families of skewsymmetric matrices. Computational examples for d<=8 will be given.


title: Breakdown of the Wiedemann-Franz law in a unitary Fermi gas

abstract: We report on coupled heat and particle transport measurements through a quantum point contact (QPC) connecting two reservoirs of resonantly interacting, finite temperature Fermi gases. After heating one of them, we observe a particle current flowing from cold to hot. We monitor the temperature evolution of the reservoirs and find that the system evolves after an initial response into a non-equilibrium steady state with finite temperature and chemical potential differences across the QPC. In this state any relaxation in the form of heat and particle currents vanishes. From our measurements we extract the transport coefficients of the QPC and deduce a Lorenz number violating the Wiedemann-Franz law by one order of magnitude, a characteristic persisting even for a wide contact. In contrast, the Seebeck coefficient takes a value close to that expected for a non-interacting Fermi gas and shows a smooth decrease as the atom density close to the QPC is increased beyond the superfluid transition. Our work represents a fermionic analog of the fountain effect observed with superfluid helium and poses new challenges for microscopic modeling of the finite temperature dynamics of the unitary Fermi gas.


title: Universal Central Extensions and Non-abelian tensor product of Hom-Lie-Rinehart Algebras

abstract: In this paper we study universal central extensions and non-abelian tensor product of hom-Lie-Rinehart algebras. We discuss about universal $\alpha$- central extensions, and, lifting of automorphisms and $\alpha$-derivations to central extensions for hom-Lie-Rinehart algebras. This is in turn provide such lifting of automorphisms and $\alpha^k$-derivations to the central extensions for hom-Lie algebras.


title: An improved FPT algorithm for Independent Feedback Vertex Set

abstract: We study the Independent Feedback Vertex Set problem - a variant of the classic Feedback Vertex Set problem where, given a graph $G$ and an integer $k$, the problem is to decide whether there exists a vertex set $S\subseteq V(G)$ such that $G\setminus S$ is a forest and $S$ is an independent set of size at most $k$. We present an $O^\ast((1+\varphi^{2})^{k})$-time FPT algorithm for this problem, where $\varphi<1.619$ is the golden ratio, improving the previous fastest $O^\ast(4.1481^{k})$-time algorithm given by Agrawal et al [IPEC 2016]. The exponential factor in our time complexity bound matches the fastest deterministic FPT algorithm for the classic Feedback Vertex Set problem. On the technical side, the main novelty is a refined measure of an input instance in a branching process, that allows for a simpler and more concise description and analysis of the algorithm.


title: Multivariate Fine-Grained Complexity of Longest Common Subsequence

abstract: We revisit the classic combinatorial pattern matching problem of finding a longest common subsequence (LCS). For strings $x$ and $y$ of length $n$, a textbook algorithm solves LCS in time $O(n^2)$, but although much effort has been spent, no $O(n^{2-\varepsilon})$-time algorithm is known. Recent work indeed shows that such an algorithm would refute the Strong Exponential Time Hypothesis (SETH) [Abboud, Backurs, Vassilevska Williams + Bringmann, K\"unnemann FOCS'15]. Despite the quadratic-time barrier, for over 40 years an enduring scientific interest continued to produce fast algorithms for LCS and its variations. Particular attention was put into identifying and exploiting input parameters that yield strongly subquadratic time algorithms for special cases of interest, e.g., differential file comparison. This line of research was successfully pursued until 1990, at which time significant improvements came to a halt. In this paper, using the lens of fine-grained complexity, our goal is to (1) justify the lack of further improvements and (2) determine whether some special cases of LCS admit faster algorithms than currently known. To this end, we provide a systematic study of the multivariate complexity of LCS, taking into account all parameters previously discussed in the literature: the input size $n:=\max\{|x|,|y|\}$, the length of the shorter string $m:=\min\{|x|,|y|\}$, the length $L$ of an LCS of $x$ and $y$, the numbers of deletions $\delta := m-L$ and $\Delta := n-L$, the alphabet size, as well as the numbers of matching pairs $M$ and dominant pairs $d$. For any class of instances defined by fixing each parameter individually to a polynomial in terms of the input size, we prove a SETH-based lower bound matching one of three known algorithms. Specifically, we determine the optimal running time for LCS under SETH as $(n+\min\{d, \delta \Delta, \delta m\})^{1\pm o(1)}$. [...]


title: Current and future constraints on Higgs couplings in the nonlinear Effective Theory

abstract: We perform a Bayesian statistical analysis of the constraints on the nonlinear Effective Theory given by the Higgs electroweak chiral Lagrangian. We obtain bounds on the effective coefficients entering in Higgs observables at the leading order, using all available Higgs-boson signal strengths from the LHC runs 1 and 2. Using a prior dependence study of the solutions, we discuss the results within the context of natural-sized Wilson coefficients. We further study the expected sensitivities to the different Wilson coefficients at various possible future colliders. Finally, we interpret our results in terms of some minimal composite Higgs models.


title: Protecting JPEG Images Against Adversarial Attacks

abstract: As deep neural networks (DNNs) have been integrated into critical systems, several methods to attack these systems have been developed. These adversarial attacks make imperceptible modifications to an image that fool DNN classifiers. We present an adaptive JPEG encoder which defends against many of these attacks. Experimentally, we show that our method produces images with high visual quality while greatly reducing the potency of state-of-the-art attacks. Our algorithm requires only a modest increase in encoding time, produces a compressed image which can be decompressed by an off-the-shelf JPEG decoder, and classified by an unmodified classifier


title: Ignition of detonation in accreted helium

abstract: Sub-Chandrasekhar CO white dwarfs accreting helium have been considered as candidates for Type Ia supernova(SNIa) progenitors since the early 1980s (helium shell mass $> 0.1 M_\odot $). These models, once detonated did not fit the observed spectra and light curve of typical SNIa observations. New theoretical work examined detonations on much less massive ($< 0.05 M_\odot $) envelopes. They find stable detonations that lead to light curves, spectra and abundances that compare relatively well with the observational data. The exact mechanism leading to the ignition of helium detonation is a key issue, since it is a mandatory first step for the whole scenario. As the flow of the accreted envelope is unstable to convection long before any hydrodynamic phenomena develops, a multidimensional approach is needed in order to study the ignition process. The complex convective reactive flow is challenging to any hydrodynamical solver. To the best of our knowledge, all previous 2D studies ignited the detonation artificially. We present here, for the first time, fully consistent results from two hydrodynamical 2D solvers that adopt two independent accurate schemes. For both solvers an effort was made to overcome the problematics raised by the finite resolution and numerical diffusion by the advective terms. Our best models lead to the ignition of a detonation in a convective cell. Our results are robust and the agreement between the two different numerical approaches is very good.


title: Not All Samples Are Created Equal: Deep Learning with Importance Sampling

abstract: Deep neural network training spends most of the computation on examples that are properly handled, and could be ignored. We propose to mitigate this phenomenon with a principled importance sampling scheme that focuses computation on "informative" examples, and reduces the variance of the stochastic gradients during training. Our contribution is twofold: first, we derive a tractable upper bound to the per-sample gradient norm, and second we derive an estimator of the variance reduction achieved with importance sampling, which enables us to switch it on when it will result in an actual speedup. The resulting scheme can be used by changing a few lines of code in a standard SGD procedure, and we demonstrate experimentally, on image classification, CNN fine-tuning, and RNN training, that for a fixed wall-clock time budget, it provides a reduction of the train losses of up to an order of magnitude and a relative improvement of test errors between 5% and 17%.


title: Widespread HCN maser emission in carbon-rich evolved stars

abstract: Context. HCN is a major constituent of the circumstellar envelopes of carbon-rich evolved stars, and rotational lines from within its vibrationally excited states probe parts of these regions closest to the stellar surface. A number of such lines are known to show maser action. Historically, in one of them, the 177 GHz $J=2\rightarrow1$ line in the $l$-doubled bending mode has been found to show relatively strong maser action, with results only published for a single object, the archetypical high-mass loss asymptotic giant branch (AGB) star IRC+10216. Aims. To examine how common 177 GHz HCN maser emission is, we conducted an exploratory survey for this line toward a select sample of carbon-rich asymptotic giant branch stars that are observable from the southern hemisphere. Methods. We used the Atacama Pathfinder Experiment 12 meter submillimeter Telescope (APEX) equipped with a new receiver to simultaneously observe three $J=2\rightarrow1$ HCN rotational transitions, the $(0,1^{{1}_{\rm c}},0)$ and $(0,1^{{1}_{\rm d}},0)$ $l$-doublet components, and the line from the (0,0,0) ground state. Results. The $(0,1^{{1}_{\rm c}},0)$ maser line is detected toward 11 of 13 observed sources, which all show emission in the (0,0,0) transition. In most of the sources, the peak intensity of the $(0,1^{{1}_{\rm c}},0)$ line rivals that of the (0,0,0) line; in two sources, it is even stronger. Except for the object with the highest mass-loss rate, IRC+10216, the $(0,1^{{1}_{\rm c}},0)$ line covers a smaller velocity range than the (0,0,0) line. Conclusions. Maser emission in the 177 GHz $J=2\rightarrow1$ $(0,1^{{1}_{\rm c}},0)$ line of HCN appears to be common in carbon-rich AGB stars. (Abbreviated)


title: Dolphin: a task orchestration language for autonomous vehicle networks

abstract: We present Dolphin, an extensible programming language for autonomous vehicle networks. A Dolphin program expresses an orchestrated execution of tasks defined compositionally for multiple vehicles. Building upon the base case of elementary one-vehicle tasks, the built-in operators include support for composing tasks in several forms, for instance according to concurrent, sequential, or event-based task flow. The language is implemented as a Groovy DSL, facilitating extension and integration with external software packages, in particular robotic toolkits. The paper describes the Dolphin language, its integration with an open-source toolchain for autonomous vehicles, and results from field tests using unmanned underwater vehicles (UUVs) and unmanned aerial vehicles (UAVs).


title: Low-energy Effects of Lepton Flavour Universality Violation

abstract: The persisting anomalous data in semileptonic B-decays point towards New Physics models exhibiting large sources of Lepton Flavour Universality Violation. In this work we generalise previous studies by considering frameworks which include an enlarged set of semileptonic four-fermion operators invariant under the SM gauge group, with New Physics affecting mainly the third generation. We derive the low-energy effective Lagrangian including the leading electroweak corrections, mandatory to obtain reliable predictions. As a particularly interesting case, we analyse the scenario where the dominant New Physics effects are encoded in the Wilson coefficient C_9, as favoured by global fit analyses of b -> s data. We find that also in this case the stringent experimental bounds on Z-pole observables and tau decays challenge a simultaneous explanation of charged and neutral-current non-standard data.


title: LINER galaxy properties and the local environment

abstract: We analyse the properties of a sample of 5560 LINER galaxies selected from SDSS-DR12 at low redshift, for a complete range of local density environments. The host LINER galaxies were studied and compared with a well-defined control sample of 5553 non-LINER galaxies matched in red shift, luminosity, morphology and local density. By studying the distributions of galaxy colours and the stellar age population, we find that LINERs are redder and older than the control sample over a wide range of densities.In addition, LINERs are older than the control sample, at a given galaxy colour, indicating that some external process could have accelerated the evolution of the stellar population. The analysis of the host properties shows that the control sample exhibits a strong relation between colours, ages and the local density, while more than 90 per cent of the LINERs are redder and older than the mean values, independently of the neighbourhood density. Furthermore, a detailed study in three local density ranges shows that, while control sample galaxies are redder and older as a function of stellar mass and density, LINER galaxies mismatch the known morphology-density relation of galaxies without low-ionization features. The results support the contribution of hot and old stars to the low-ionization emission although the contribution of nuclear activity is not discarded.


title: A nonlinear Stokes-Biot model for the interaction of a non-Newtonian fluid with poroelastic media

abstract: We develop and analyze a model for the interaction of a quasi-Newtonian free fluid with a poroelastic medium. The flow in the fluid region is described by the nonlinear Stokes equations and in the poroelastic medium by the nonlinear quasi-static Biot model. Equilibrium and kinematic conditions are imposed on the interface. We establish existence and uniqueness of a solution to the weak formulation and its semidiscrete continuous-in-time finite element approximation. We present error analysis, complemented by numerical experiments.


title: Alternatives for Generating a Reduced Basis to Solve the Hyperspectral Diffuse Optical Tomography Model

abstract: The Reduced Basis Method (RBM) is a model reduction technique used to solve parametric PDEs that relies upon a basis set of solutions to the PDE at specific parameter values. To generate this reduced basis, the set of a small number of parameter values must be strategically chosen. We apply a Metropolis algorithm and a gradient algorithm to find the set of parameters and compare them to the standard greedy algorithm most commonly used in the RBM. We test our methods by using the RBM to solve a simplified version of the governing partial differential equation for hyperspectral diffuse optical tomography (hyDOT). The governing equation for hyDOT is an elliptic PDE parameterized by the wavelength of the laser source. For this one-dimensional problem, we find that both the Metropolis and gradient algorithms are potentially superior alternatives to the greedy algorithm in that they generate a reduced basis which produces solutions with a smaller relative error with respect to solutions found using the finite element method and in less time.


title: Tree Species Identification from Bark Images Using Convolutional Neural Networks

abstract: Tree species identification using bark images is a challenging problem that could prove useful for many forestry related tasks. However, while the recent progress in deep learning showed impressive results on standard vision problems, a lack of datasets prevented its use on tree bark species classification. In this work, we present, and make publicly available, a novel dataset called BarkNet 1.0 containing more than 23,000 high-resolution bark images from 23 different tree species over a wide range of tree diameters. With it, we demonstrate the feasibility of species recognition through bark images, using deep learning. More specifically, we obtain an accuracy of 93.88% on single crop, and an accuracy of 97.81% using a majority voting approach on all of the images of a tree. We also empirically demonstrate that, for a fixed number of images, it is better to maximize the number of tree individuals in the training database, thus directing future data collection efforts.


title: Multi-jet merged top-pair production including electroweak corrections

abstract: We present theoretical predictions for the production of top-quark pairs in association with jets at the LHC including electroweak (EW) corrections. First, we present and compare differential predictions at the fixed-order level for $t \bar t$ and $t \bar t+$jet production at the LHC considering the dominant NLO EW corrections of order $\mathcal{O}(\alpha_S^2 \alpha)$ and $\mathcal{O}(\alpha_S^3 \alpha)$ respectively together with all additional subleading Born and one-loop contributions. The NLO EW corrections are enhanced at large energies and in particular alter the shape of the top transverse momentum distribution, whose reliable modelling is crucial for many searches for new physics at the energy frontier. Based on the fixed-order results we motivate an approximation of the EW corrections valid at the percent level, that allows us to readily incorporate the EW corrections in the MEPS@NLO framework of Sherpa combined with OpenLoops. Subsequently, we present multi-jet merged parton-level predictions for inclusive top-pair production incorporating NLO QCD+EW corrections to $t \bar t$ and $t \bar t+$jet. Finally, we compare at the particle-level against a recent 8 TeV measurement of the top transverse momentum distribution performed by ATLAS in the lepton+jet channel. We find very good agreement between the Monte Carlo prediction and the data when the EW corrections are included.


title: Multimodal Registration of Retinal Images Using Domain-Specific Landmarks and Vessel Enhancement

abstract: The analysis of different image modalities is frequently performed in ophthalmology as it provides complementary information for the diagnosis and follow-up of relevant diseases, like hypertension or diabetes. This work presents a hybrid method for the multimodal registration of color fundus retinography and fluorescein angiography. The proposed method combines a feature-based approach, using domain-specific landmarks, with an intensity-based approach that employs a domain-adapted similarity metric. The methodology is tested on a dataset of 59 image pairs containing both healthy and pathological cases. The results show a satisfactory performance of the proposed combined approach in this multimodal scenario, improving the registration accuracy achieved by the feature-based and the intensity-based approaches.


title: Mixed-Integer Convex Nonlinear Optimization with Gradient-Boosted Trees Embedded

abstract: Decision trees usefully represent sparse, high dimensional and noisy data. Having learned a function from this data, we may want to thereafter integrate the function into a larger decision-making problem, e.g., for picking the best chemical process catalyst. We study a large-scale, industrially-relevant mixed-integer nonlinear nonconvex optimization problem involving both gradient-boosted trees and penalty functions mitigating risk. This mixed-integer optimization problem with convex penalty terms broadly applies to optimizing pre-trained regression tree models. Decision makers may wish to optimize discrete models to repurpose legacy predictive models, or they may wish to optimize a discrete model that particularly well-represents a data set. We develop several heuristic methods to find feasible solutions, and an exact, branch-and-bound algorithm leveraging structural properties of the gradient-boosted trees and penalty functions. We computationally test our methods on concrete mixture design instance and a chemical catalysis industrial instance.


title: A measure theoretic approach to traffic flow optimization on networks

abstract: We consider a class of optimal control problems for measure-valued nonlinear transport equations describing traffic flow problems on networks. The objective isto minimise/maximise macroscopic quantities, such as traffic volume or average speed,controlling few agents, for example smart traffic lights and automated cars. The measuretheoretic approach allows to study in a same setting local and nonlocal drivers interactionsand to consider the control variables as additional measures interacting with the driversdistribution. We also propose a gradient descent adjoint-based optimization method, ob-tained by deriving first-order optimality conditions for the control problem, and we providesome numerical experiments in the case of smart traffic lights for a 2-1 junction.


title: An Effective Multi-Cue Positioning System for Agricultural Robotics

abstract: The self-localization capability is a crucial component for Unmanned Ground Vehicles (UGV) in farming applications. Approaches based solely on visual cues or on low-cost GPS are easily prone to fail in such scenarios. In this paper, we present a robust and accurate 3D global pose estimation framework, designed to take full advantage of heterogeneous sensory data. By modeling the pose estimation problem as a pose graph optimization, our approach simultaneously mitigates the cumulative drift introduced by motion estimation systems (wheel odometry, visual odometry, ...), and the noise introduced by raw GPS readings. Along with a suitable motion model, our system also integrates two additional types of constraints: (i) a Digital Elevation Model and (ii) a Markov Random Field assumption. We demonstrate how using these additional cues substantially reduces the error along the altitude axis and, moreover, how this benefit spreads to the other components of the state. We report exhaustive experiments combining several sensor setups, showing accuracy improvements ranging from 37% to 76% with respect to the exclusive use of a GPS sensor. We show that our approach provides accurate results even if the GPS unexpectedly changes positioning mode. The code of our system along with the acquired datasets are released with this paper.


title: Global solution of the initial value problem for the focusing Davey-Stewartson II system

abstract: We consider the two dimensional focusing Davey-Stewartson II system and construct the global solution of the Cauchy problem for a dense in $L^2(\mathbb C)$ set of initial data. We do not assume that the initial data is small. So, the solutions may have singularities. We show that the blow-up may occur only on a real analytic variety and the variety is bounded in each strip $t \leq T$.


title: Diagnostics upgrades for investigations of HOM effects in Tesla-type SCRF cavities

abstract: We describe the upgrades to diagnostic capabilities on the Fermilab Accelerator Science and Technology (FAST) electron linear accelerator that will allow investigations of the effects of high-order modes (HOMs) in SCRF cavities on macropulse-average beam quality. We examine the dipole modes in the first pass-band generally observed in the 1.6-1.9 GHz regime for TESLA-type SCRF cavities due to uniform transverse beam offsets of the electron beam. Such cavities are the basis of the accelerators such as the European XFEL and the proposed MaRIE XFEL facility. Preliminary HOM detector data, prototype BPM test data, and first framing camera OTR data with ~20 micron spatial resolution at 250 pC per bunch will be presented.


title: New copulas based on general partitions-of-unity (part III) - the continuous case (extended version)

abstract: In this paper we discuss a natural extension of infinite discrete partition-of-unity copulas which were recently introduced in the literature to continuous partition of copulas with possible applications in risk management and other fields. We present a general simple algorithm to generate such copulas on the basis of the empirical copula from high-dimensional data sets. In particular, our constructions also allow for an implementation of positive tail dependence which sometimes is a desirable property of copula modelling, in particular for internal models under Solvency II.


title: A study in $\mathbb{G}_{\mathbb{R}, \geq 0}$: from the geometric case book of Wilson loop diagrams and SYM $N=4$

abstract: We study the geometry underlying the Wilson loop diagram approach to calculating scattering amplitudes in the gauge theory of Supersymmetric Yang Mills (SYM) $N=4$. By applying the tools developed to study total positivity in the real Grassmannian, we are able to systematically compute with all Wilson loop diagrams of a given size and find unexpected patterns and relationships between them. We focus on the smallest nontrivial multi-propagator case, consisting of 2 propagators on 6 vertices, and compute the positroid cells associated to each diagram and the homology of the subcomplex they generate in $\mathbb{G}_{\mathbb{R}, \geq 0}$. We also verify in this case the conjecture that the spurious singularities of the volume functional {\em do} all cancel on the codimension 1 boundaries of these cells.


title: Robustness of the Insulating Bulk in the Topological Kondo Insulator SmB$_{6}$

abstract: We used the inverted resistance method to extend the bulk resistivity of SmB$_{6}$ to a regime where the surface conduction overwhelms the bulk. Remarkably, the bulk resistivity shows an intrinsic thermally activated behavior that changes ten orders of magnitude, suggesting that it is an ideal insulator that is immune to disorder. Non-stoichiometrically-grown SmB$_{6}$ samples also show an almost identical thermally activated behavior. At low temperatures, however, these samples show a mysterious high bulk resistivity plateau, which may arise from extended defect conduction in a 3D TI.


title: Fitting and Analysis Technique for Inconsistent Nuclear Data

abstract: Consistent experiment data are crucial to adjust parameters of physics models and to determine best estimates of observables. However, often experiment data are not consistent due to unrecognized systematic errors. Standard methods of statistics such as $\chi^2$-fitting cannot deal with this case. Their predictions become doubtful and associated uncertainties too small. A human has then to figure out the problem, apply corrections to the data, and repeat the fitting procedure. This takes time and potentially costs money. Therefore, a Bayesian method is introduced to fit and analyze inconsistent experiment data. It automatically detects and resolves inconsistencies. Furthermore, it allows to extract consistent subsets from the data. Finally, it provides an overall prediction with associated uncertainties and correlations less prone to the common problem of too small uncertainties. The method is foreseen to function with a large corpus of data and hence may be used in nuclear databases to deal with inconsistencies in an automated fashion.


title: Full and unbiased solution of the Dyson-Schwinger equation in the functional integro-differential representation

abstract: We provide a full and unbiased solution to the Dyson-Schwinger equation illustrated for $\phi^4$ theory in 2D. It is based on an exact treatment of the functional derivative $\partial \Gamma / \partial G$ of the 4-point vertex function $\Gamma$ with respect to the 2-point correlation function $G$ within the framework of the homotopy analysis method (HAM) and the Monte Carlo sampling of rooted tree diagrams. The resulting series solution in deformations can be considered as an asymptotic series around $G=0$ in a HAM control parameter $c_0G$, or even a convergent one up to the phase transition point if shifts in $G$ can be performed (such as by summing up all ladder diagrams). These considerations are equally applicable to fermionic quantum field theories and offer a fresh approach to solving integro-differential equations.


title: Broadband spectroscopy of thermodynamic magnetization fluctuations through a ferromagnetic spin-reorientation transition

abstract: We use scanning optical magnetometry to study the broadband frequency spectra of spontaneous magnetization fluctuations, or "magnetization noise", in an archetypal ferromagnetic film that can be smoothly tuned through a spin reorientation transition (SRT). The SRT is achieved by laterally varying the magnetic anisotropy across an ultrathin Pt/Co/Pt trilayer, from the perpendicular to in-plane direction, via graded Ar$^+$ irradiation. In regions exhibiting perpendicular anisotropy, the power spectrum of the magnetization noise, $S(\nu)$, exhibits a remarkably robust $\nu^{-3/2}$ power law over frequencies $\nu$ from 1~kHz to 1~MHz. As the SRT region is traversed, however, $S(\nu)$ spectra develop a steadily-increasing critical frequency, $\nu_0$, below which the noise power is spectrally flat, indicating an evolving low-frequency cutoff for magnetization fluctuations. The magnetization noise depends strongly on applied in- and out-of-plane magnetic fields, revealing local anisotropies and also a field-induced emergence of fluctuations in otherwise stable ferromagnetic films. Finally, we demonstrate that higher-order correlators can be computed from the noise. These results highlight broadband spectroscopy of thermodynamic fluctuations as a powerful tool to characterize the interplay between thermal and magnetic energy scales, and as a means of characterizing phase transitions in ferromagnets.


title: Entire functions arising from trees

abstract: Given any infinite tree in the plane satisfying certain topological conditions, we construct an entire function $f$ with only two critical values $\pm 1$ and no asymptotic values such that $f^{-1}([-1,1])$ is ambiently homeomorphic to the given tree. This can be viewed as a generalization of a result of Grothendieck to the case of infinite trees. Moreover, a similar idea leads to a new proof of a result of Nevanlinna and Elfving.


title: An influence of the spectator-nuclear motion on nonresonant formation of the muonic hydrogen molecules

abstract: A model for description of nonresonant formation of the muonic molecules in collisions of the muonic hydrogen atoms with the hydrogenic molecules has been developed with taking into account the internal motion of all nuclei. It has been shown that such a motion leads to a significant smearing of the calculated energy-dependent formation rates at low collision energies. In particular, this effect is strong in the $dd\mu$ and $dt\mu$ formation. An appreciable isotopic effect in the case of nonresonant $dd\mu$ formation in $d\mu$ collisions with the molecules D$_2$ and HD has been found. All these effects are of importance for many experimental researches in low-energy muon physics.


title: Type-Preserving Matrices and Security of Block Ciphers

abstract: We provide a new property, called Non-Type-Preserving, for a mixing layer which guarantees protection against algebraic attacks based on the imprimitivity of the group generated by the round functions. Our main result is to present necessary and sufficient conditions on the structure of the binary matrix associated to the mixing layer, so that it has this property. Then we show how several families of linear maps are Non-Type-Preserving, including the mixing layers of AES, GOST and PRESENT. Finally we prove that the group generated by the round functions of an SPN cipher with addition modulo a power of 2 as key mixing function is primitive if its mixing layer satisfies this property. Moreover we generalise the definition of a GOST-like cipher using a Non-Type-Preserving matrix as mixing layer and we show, under the only assumption of invertibility of the S-Boxes, that the corresponding group is primitive.


title: Stability and error analysis for the Helmholtz equation with variable coefficients

abstract: We discuss the stability theory and numerical analysis of the Helmholtz equation with variable and possibly non-smooth or oscillatory coefficients. Using the unique continuation principle and the Fredholm alternative, we first give an existence-uniqueness result for this problem, which holds under rather general conditions on the coefficients and on the domain. Under additional assumptions, we derive estimates for the stability constant (i.e., the norm of the solution operator) in terms of the data (i.e. PDE coefficients and frequency), and we apply these estimates to obtain a new finite element error analysis for the Helmholtz equation which is valid at high frequency and with variable wave speed. The central role played by the stability constant in this theory leads us to investigate its behaviour with respect to coefficient variation in detail. We give, via a 1D analysis, an a priori bound with stability constant growing exponentially in the variance of the coefficients (wave speed and/or diffusion coefficient). Then, by means a family of analytic examples (supplemented by numerical experiments), we show that this estimate is sharp


title: Active model learning and diverse action sampling for task and motion planning

abstract: The objective of this work is to augment the basic abilities of a robot by learning to use new sensorimotor primitives to enable the solution of complex long-horizon problems. Solving long-horizon problems in complex domains requires flexible generative planning that can combine primitive abilities in novel combinations to solve problems as they arise in the world. In order to plan to combine primitive actions, we must have models of the preconditions and effects of those actions: under what circumstances will executing this primitive achieve some particular effect in the world? We use, and develop novel improvements on, state-of-the-art methods for active learning and sampling. We use Gaussian process methods for learning the conditions of operator effectiveness from small numbers of expensive training examples collected by experimentation on a robot. We develop adaptive sampling methods for generating diverse elements of continuous sets (such as robot configurations and object poses) during planning for solving a new task, so that planning is as efficient as possible. We demonstrate these methods in an integrated system, combining newly learned models with an efficient continuous-space robot task and motion planner to learn to solve long horizon problems more efficiently than was previously possible.


title: QCD analysis of the ATLAS and CMS $W^{\pm}$ and $Z$ cross-section measurements and implications for the strange sea density

abstract: In the present paper, the ATLAS inclusive $W^{\pm}$ and $Z$ boson production data are analysed together with the CMS inclusive $W^{\pm}$ and $Z$ boson production data to investigate any possible tensions between the data sets and to determine the strange sea fraction, within the framework of a parton distribution function fit at next-to-next-to leading order in perturbative QCD.


title: Energy Efficiency of Opportunistic Device-to-Device Relaying Under Lognormal Shadowing

abstract: Energy consumption is a major limitation of low power and mobile devices. Efficient transmission protocols are required to minimize an energy consumption of the mobile devices for ubiquitous connectivity in the next generation wireless networks. Opportunistic schemes select a single relay using the criteria of the best channel and achieve a near-optimal diversity performance in a cooperative wireless system. In this paper, we study the energy efficiency of the opportunistic schemes for device-to-device communication. In the opportunistic approach, an energy consumed by devices is minimized by selecting a single neighboring device as a relay using the criteria of minimum consumed energy in each transmission in the uplink of a wireless network. We derive analytical bounds and scaling laws on the expected energy consumption when the devices experience log-normal shadowing with respect to a base station considering both the transmission as well as circuit energy consumptions. We show that the protocol improves the energy efficiency of the network comparing to the direct transmission even if only a few devices are considered for relaying. We also demonstrate the effectiveness of the protocol by means of simulations in realistic scenarios of the wireless network.


title: Intertwined Superfluid and Density Wave Order in a $p$-Orbital Bose Condensate

abstract: We study a continuum model of the weakly interacting Bose gas in the presence of an external field with minima forming a triangular lattice. The second lowest band of the single-particle spectrum ($p$-band) has three minima at non-zero momenta. We consider a metastable Bose condensate at these momenta and find that, in the presence of interactions that vary slowly over the lattice spacing, the order parameter space is isomorphic to $S^{5}$. We show that the enlarged symmetry leads to the loss of topologically stable vortices, as well as two extra gapless modes with quadratic dispersion. The former feature implies that this non-Abelian condensate is a "failed superfluid" that does not undergo a Berezinskii-Kosterlitz-Thouless (BKT) transition. Order-by-disorder splitting appears suppressed, implying that signatures of the $S^5$ manifold ought to be observable at low temperatures.