title: Performance analysis of an optically pumped magnetometer in Earth's magnetic field

abstract: We experimentally investigate the influence of the orientation of optically pumped magnetometers in Earth's magnetic field. We focus our analysis to an operational mode that promises femtotesla field resolu-tions at such field strengths. For this so-called light-shift dispersed Mz(LSD-Mz) regime, we focus on the key parameters defining its performance. That are the reconstructed Larmor frequency, the transfer function between output signal and magnetic field amplitude as well as the shot noise limited field resolution. We demonstrate that due to the use of two well balanced laser beams for optical pumping with different helicities the heading error as well as the field sensitivity of a detector both are only weakly influenced by the heading in a large orientation angle range.


title: Complexes of marked graphs in gauge theory

abstract: We review the gauge and ghost cyle graph complexes as defined by Kreimer, Sars and van Suijlekom in "Quantization of gauge fields, graph polynomials and graph homology" and compute their cohomology. These complexes are generated by labelings on the edges or cycles of graphs and the differentials act by exchanging these labels. We show that both cases are instances of a more general construction of double complexes associated to graphs. Furthermore, we describe a universal model for these kind of complexes which allows to treat all of them in a unified way.


title: The arithmetic geometry of AdS$_2$ and its continuum limit

abstract: According to the 't Hooft-Susskind holography, the black hole entropy,$S_\mathrm{BH}$, is carried by the chaotic microscopic degrees of freedom, which live in the near horizon region and have a Hilbert space of states of finite dimension $d=\exp(S_\mathrm{BH})$. In previous work we have proposed that the near horizon geometry, when the microscopic degrees of freedom can be resolved, can be described by the AdS$_2[\mathbb{Z}_N]$ discrete, finite and random geometry, where $N\propto S_\mathrm{BH}$. It has been constructed by purely arithmetic and group theoretical methods in order to explain, in a direct way, the finiteness of the entropy, $S_\mathrm{BH}$. What has been left as an open problem is how the smooth AdS$_2$ geometry can be recovered, in the limit when $N\to\infty$. In the present article we solve this problem, by showing that the discrete and finite AdS$_2[\mathbb{Z}_N]$ geometry can be embedded in a family of finite geometries, AdS$_2^M[\mathbb{Z}_N]$, where $M$ is another integer. This family can be constructed by an appropriate toroidal compactification and discretization of the ambient $(2+1)$-dimensional Minkowski space-time. In this construction $N$ and $M$ can be understood as "infrared" and "ultraviolet" cutoffs respectively. The above construction enables us to obtain the continuum limit of the AdS$_2^M[\mathbb{Z}_N]$ discrete and finite geometry, by taking both $N$ and $M$ to infinity in a specific correlated way, following a reverse process: Firstly, by recovering the continuous, toroidally compactified, AdS$_2[\mathbb{Z}_N]$ geometry by removing the ultraviolet cutoff; secondly, by removing the infrared cutoff in a specific decompactification limit, while keeping the radius of AdS$_2$ finite. It is in this way that we recover the standard non-compact AdS$_2$ continuum space-time. This method can be applied directly to higher-dimensional AdS spacetimes.


title: Some congruences for $(s,t)$-regular bipartitions modulo $t$

abstract: In this work, we study the function $B_{s,t}(n)$, which counts the number of $(s,t)$-regular bipartitions of $n$. Recently, many authors proved infinite families of congruences modulo $11$ for $B_{3,11}(n)$, modulo $3$ for $B_{3,s}(n)$ and modulo $5$ for $B_{5,s}(n)$. Very recently, Kathiravan proved several infinite families of congruences modulo $11$, $13$ and $17$ for $B_{5,11}(n)$, $B_{5,13}(n)$ and $B_{81,17}(n)$. In this paper, we will prove infinite families of congruences modulo $5$ for $B_{2,15}(n)$, modulo $11$ for $B_{7,11}(n)$, modulo $11$ for $B_{27,11}(n)$ and modulo $17$ for $B_{243,17}(n)$.


title: Taming two interacting particles with disorder

abstract: We compute the scaling properties of the localization length $\xi_2$ of two interacting particles in a one-dimensional chain with diagonal disorder, and the connectivity properties of the Fock states. We analyze record large system sizes (up to $N=20000$) and disorder strengths (down to $W=0.5$). We vary the energy $E$ and the on-site interaction strength $u$. At a given disorder strength the largest enhancement of $\xi_2$ occurs for $u$ of the order of the single particle band width, and for two-particle states with energies at the center of the spectrum, $E=0$. We observe a crossover in the scaling of $\xi_2$ with the single particle localization length $\xi_1$ into the asymptotic regime for $\xi_1 > 100$ ($W < 1.0$). This happens due to the recovery of translational invariance and momentum conservation rules in the matrix elements of interconnected Fock eigenstates for $u=0$. The entrance into the asymptotic scaling is manifested through a nonlinear scaling function $\xi_2/\xi_1=F(u\xi_1)$.


title: The beamed jet and quasar core of the distant blazar 4C 71.07

abstract: The object 4C 71.07 is a high-redshift blazar whose spectral energy distribution shows a prominent big blue bump and a strong Compton dominance. We present the results of a two-year multiwavelength campaign led by the Whole Earth Blazar Telescope (WEBT) to study both the quasar core and the beamed jet of this source. The WEBT data are complemented by ultraviolet and X-ray data from Swift, and by gamma-ray data by Fermi. The big blue bump is modelled by using optical and near-infrared mean spectra obtained during the campaign, together with optical and ultraviolet quasar templates. We give prescriptions to correct the source photometry in the various bands for the thermal contribution, in order to derive the non-thermal jet flux. The role of the intergalactic medium absorption is analysed in both the ultraviolet and X-ray bands. We provide opacity values to deabsorb ultraviolet data, and derive a best-guess value for the hydrogen column density through the analysis of X-ray spectra. We estimate the disc and jet bolometric luminosities, accretion rate, and black hole mass. Light curves do not show persistent correlations among flux changes at different frequencies. We study the polarimetric behaviour and find no correlation between polarisation degree and flux, even when correcting for the dilution effect of the big blue bump. Similarly, wide rotations of the electric vector polarisation angle do not seem to be connected with the source activity.


title: The trans-Neptunian object (84922) 2003 VS2 through stellar occultations

abstract: We present results from three world-wide campaigns that resulted in the detections of two single-chord and one multi-chord stellar occultations by the Plutino object (84922) 2003~VS$_2$. From the single-chord occultations in 2013 and 2014 we obtained accurate astrometric positions for the object, while from the multi-chord occultation on November 7th, 2014, we obtained the parameters of the best-fitting ellipse to the limb of the body at the time of occultation. We also obtained short-term photometry data for the body in order to derive its rotational phase during the occultation. The rotational light curve present a peak-to-peak amplitude of 0.141 $\pm$ 0.009 mag. This allows us to reconstruct the three-dimensional shape of the body, with principal semi-axes $a = 313.8 \pm 7.1$ km, $b = 265.5^{+8.8}_{-9.8}$ km, and $c = 247.3^{+26.6}_{-43.6}$ km, which is not consistent with a Jacobi triaxial equilibrium figure. The derived spherical volume equivalent diameter of $548.3 ^{+29.5}_{-44.6}$ km is about 5\% larger than the radiometric diameter of 2003~VS$_2$ derived from Herschel data of $523 \pm 35$ km, but still compatible with it within error bars. From those results we can also derive the geometric albedo ($0.123 ^{+0.015}_{-0.014}$) and, under the assumption that the object is a Maclaurin spheroid, the density $\rho = 1400^{+1000}_{-300}$ for the plutino. The disappearances and reappearances of the star during the occultations do not show any compelling evidence for a global atmosphere considering a pressure upper limit of about 1 microbar for a pure nitrogen atmosphere, nor secondary features (e.g. rings or satellite) around the main body.


title: Multi Target Tracking by Learning from Generalized Graph Differences

abstract: Formulating the multi object tracking problem as a network flow optimization problem is a popular choice. In this paper an efficient way of learning the weights of such a network is presented. It separates the problem into one embedding of feasible solutions into a one dimensional feature space and one optimization problem. The embedding can be learned using standard SGD type optimization without relying on an additional optimizations within each step. Training data is produced by performing small perturbations of ground truth tracks and representing them using generalized graph differences, which is an efficient way introduced to represent the difference between two graphs. The proposed method is evaluated on DukeMTMCT with competitive results.


title: RANet: Ranking Attention Network for Fast Video Object Segmentation

abstract: Despite online learning (OL) techniques have boosted the performance of semi-supervised video object segmentation (VOS) methods, the huge time costs of OL greatly restrict their practicality. Matching based and propagation based methods run at a faster speed by avoiding OL techniques. However, they are limited by sub-optimal accuracy, due to mismatching and drifting problems. In this paper, we develop a real-time yet very accurate Ranking Attention Network (RANet) for VOS. Specifically, to integrate the insights of matching based and propagation based methods, we employ an encoder-decoder framework to learn pixel-level similarity and segmentation in an end-to-end manner. To better utilize the similarity maps, we propose a novel ranking attention module, which automatically ranks and selects these maps for fine-grained VOS performance. Experiments on DAVIS-16 and DAVIS-17 datasets show that our RANet achieves the best speed-accuracy trade-off, e.g., with 33 milliseconds per frame and J&F=85.5% on DAVIS-16. With OL, our RANet reaches J&F=87.1% on DAVIS-16, exceeding state-of-the-art VOS methods. The code can be found at https://github.com/Storife/RANet.


title: Graph-Based Object Classification for Neuromorphic Vision Sensing

abstract: Neuromorphic vision sensing (NVS)\ devices represent visual information as sequences of asynchronous discrete events (a.k.a., ``spikes'') in response to changes in scene reflectance. Unlike conventional active pixel sensing (APS), NVS allows for significantly higher event sampling rates at substantially increased energy efficiency and robustness to illumination changes. However, object classification with NVS streams cannot leverage on state-of-the-art convolutional neural networks (CNNs), since NVS does not produce frame representations. To circumvent this mismatch between sensing and processing with CNNs, we propose a compact graph representation for NVS. We couple this with novel residual graph CNN architectures and show that, when trained on spatio-temporal NVS data for object classification, such residual graph CNNs preserve the spatial and temporal coherence of spike events, while requiring less computation and memory. Finally, to address the absence of large real-world NVS datasets for complex recognition tasks, we present and make available a 100k dataset of NVS recordings of the American sign language letters, acquired with an iniLabs DAVIS240c device under real-world conditions.


title: A Computational Model for Tensor Core Units

abstract: To respond to the need of efficient training and inference of deep neural networks, a plethora of domain-specific hardware architectures have been introduced, such as Google Tensor Processing Units and NVIDIA Tensor Cores. A common feature of these architectures is a hardware circuit for efficiently computing a dense matrix multiplication of a given small size. In order to broaden the class of algorithms that exploit these systems, we propose a computational model, named the TCU model, that captures the ability to natively multiply small matrices. We then use the TCU model for designing fast algorithms for several problems, including matrix operations (dense and sparse multiplication, Gaussian Elimination), graph algorithms (transitive closure, all pairs shortest distances), Discrete Fourier Transform, stencil computations, integer multiplication, and polynomial evaluation. We finally highlight a relation between the TCU model and the external memory model.


title: Air shower reconstruction using HAWC and the Outrigger array

abstract: The High Altitude Water Cherenkov (HAWC) gamma-ray observatory detects cosmic- and gamma-ray initiated air showers in the TeV energy range using 300 water Cherenkov detectors (WCDs). To improve its sensitivity at the highest energies, HAWC has been upgraded with a sparse array of 345 small WCDs (outrigger array) around the HAWC main array. The outrigger array increases the instrumented area of HAWC by a factor of 4 and has started taking data since August 2018. A new gamma-ray reconstruction method has been developed to improve the reconstruction of the air showers which combines the data of mixed type particle detector arrays. In this contribution, we will show the first results of the combined air shower reconstruction of HAWC and its outrigger array using Monte Carlo simulations and the first combined experimental data set.


title: NAOMI: the adaptive optics system of the Auxiliary Telescopes of the VLTI

abstract: The tip-tilt stabilisation system of the 1.8 m Auxiliary Telescopes of the Very Large Telescope Interferometer was never dimensioned for robust fringe tracking, except when atmospheric seeing conditions are excellent. Increasing the level of wavefront correction at the telescopes is expected to improve the coupling into the single-mode fibres of the instruments, and enable robust fringe tracking even in degraded conditions. We deployed a new adaptive optics module for interferometry (NAOMI) on the Auxiliary Telescopes. We present its design, performance, and effect on the observations that are carried out with the interferometric instruments.


title: Weight Distributions for Successive Cancellation Decoding of Polar Codes

abstract: In this paper, we derive the exact weight distributions that emerge during each stage of successive cancellation decoding of polar codes. Though we do not compute the distance spectrum of polar codes, the results allow us to get an estimate of the decoding error probability and to show a link between the first nonzero components of the weight distribution and the partial order between the synthetic channels. Also, we establish the minimal distance between two cosets associated with two paths that differ in two positions. This can be regarded as a first step toward analyzing the weight distributions for the successive cancellation list decoding.


title: IceCube search for high-energy neutrinos produced in the precursor stages of gamma-ray bursts

abstract: While gamma-ray bursts (GRBs) were once believed to be a dominant source of astrophysical neutrinos, the lack of any significant correlation between high-energy photons and neutrinos has resulted in stringent limits on their neutrino fluxes. Previous IceCube searches for neutrinos from GRBs have generally focused on the prompt phase of GRBs. However, the higher density during the GRB precursor stage could lead to more hadronic interactions, and therefore be the predominant time of neutrino emission. We present results from an analysis of Fermi-GBM data to identify and characterize individual precursor flashes. Together with an up-to-date catalog of GRBs, we have made our results available via an online tool. An IceCube analysis method to search for neutrinos arriving coincident with GRB precursors has been developed. In this presentation, we compare the sensitivity of this analysis to previous IceCube analyses and discuss the implications in case a significant signal is found.


title: Emergent metric and geodesic analysis in cosmological solutions of (torsion-free) Polynomial Affine Gravity

abstract: Starting from an affinely connected space, we consider a model of gravity whose fundamental field is the connection. We build up the action using as sole premise the invariance under diffeomorphisms, and study the consequences of a cosmological ansatz for the affine connection in the torsion-free sector. Although the model is built without requiring a metric, we show that the nondegenerated Ricci curvature of the affine connection can be interpreted as an \emph{emergent} metric on the manifold. We show that there exists a parametrization in which the \((r,\varphi)\)-restriction of the geodesics coincides with that of the Friedman--Robertson--Walker model. Additionally, for connections with nondegenerated Ricci we are able to distinguish between space-, time- and null-like self-parallel curves, providing a way to differentiate \emph{trajectories} of massive and massless particles.


title: Quantum Expectation-Maximization Algorithm

abstract: Clustering algorithms are a cornerstone of machine learning applications. Recently, a quantum algorithm for clustering based on the k-means algorithm has been proposed by Kerenidis, Landman, Luongo and Prakash. Based on their work, we propose a quantum expectation-maximization (EM) algorithm for Gaussian mixture models (GMMs). The robustness and quantum speedup of the algorithm is demonstrated. We also show numerically the advantage of GMM over k-means for non-trivial cluster data.


title: On the edge-biclique graph and the iterated edge-biclique operator

abstract: A biclique of a graph $G$ is a maximal induced complete bipartite subgraph of $G$. The edge-biclique graph of $G$, $KB_e(G)$, is the edge-intersection graph of the bicliques of $G$. A graph $G$ diverges (resp. converges or is periodic) under an operator $H$ whenever $\lim_{k \rightarrow \infty}|V(H^k(G))|=\infty$ (resp. $\lim_{k \rightarrow \infty}H^k(G)=H^m(G)$ for some $m$ or $H^k(G)=H^{k+s}(G)$ for some $k$ and $s \geq 2$). The iterated edge-biclique graph of $G$, $KB_e^k(G)$, is the graph obtained by applying the edge-biclique operator $k$ successive times to $G$. In this paper, we first study the connectivity relation between $G$ and $KB_e(G)$. Next, we study the iterated edge-biclique operator $KB_e$. In particular, we give sufficient conditions for a graph to be convergent or divergent under the operator $KB_e$, we characterize the behavior of \textit{burgeon graphs} and we propose some general conjectures on the subject.


title: Quantum Expectation-Maximization for Gaussian Mixture Models

abstract: The Expectation-Maximization (EM) algorithm is a fundamental tool in unsupervised machine learning. It is often used as an efficient way to solve Maximum Likelihood (ML) estimation problems, especially for models with latent variables. It is also the algorithm of choice to fit mixture models: generative models that represent unlabelled points originating from $k$ different processes, as samples from $k$ multivariate distributions. In this work we define and use a quantum version of EM to fit a Gaussian Mixture Model. Given quantum access to a dataset of $n$ vectors of dimension $d$, our algorithm has convergence and precision guarantees similar to the classical algorithm, but the runtime is only polylogarithmic in the number of elements in the training set, and is polynomial in other parameters - as the dimension of the feature space, and the number of components in the mixture. We generalize further the algorithm in two directions. First, we show how to fit any mixture model of probability distributions in the exponential family. Then, we show how to use this algorithm to compute the Maximum a Posteriori (MAP) estimate of a mixture model: the Bayesian approach to likelihood estimation problems. We discuss the performance of the algorithm on a dataset that is expected to be classified successfully by this algorithm, arguing that on those cases we can give strong guarantees on the runtime.


title: A complementary view of the Galactic plane in TeV gamma rays by HAWC and H.E.S.S

abstract: The H.E.S.S. collaboration recently published its Galactic Plane Survey, which is a deep survey of half of the Milky Way in TeV gamma-rays, using almost 10 years of observations. It contains 78 sources, including 16 new sources. On the other hand, the HAWC collaboration also published its 2HWC catalogue based on 507 days of data. It is the result of the first source search performed with the complete HAWC detector, covering two thirds of the sky. In this search, 39 sources have been reported, amongst them 16 detected for the first time at TeV energies. The HAWC data set doubled since then, revealing 10 more sources. Both instruments are very different in terms of conception, observation and regarding event analysis and reconstruction, but they operate at a similar energy range. In a sense, they are very complementary. I will present a comparison of the Galactic plane seen by both instruments in the overlapping region, highlight the similarities and differences which arise from intrinsic properties of the instruments and from their dedicated data analysis, and show that background estimation is a major ingredient.


title: Cache Subsidies for an Optimal Memory for Bandwidth Tradeoff in the Access Network

abstract: While the cost of the access network could be considerably reduced by the use of caching, this is not currently happening because content providers (CPs), who alone have the detailed demand data required for optimal content placement, have no natural incentive to use them to minimize access network operator (ANO) expenditure. We argue that ANOs should therefore provide such an incentive in the form of direct subsidies paid to the CPs in proportion to the realized savings. We apply coalition game theory to design the required subsidy framework and propose a distributed algorithm, based on Lagrangian decomposition, allowing ANOs and CPs to collectively realize the optimal memory for bandwidth tradeoff. The considered access network is a cache hierarchy with per-CP central office caches, accessed by all ANOs, at the apex, and per-ANO dedicated bandwidth and storage resources at the lower levels, including wireless base stations, that must be shared by multiple CPs.


title: Learning to play the Chess Variant Crazyhouse above World Champion Level with Deep Neural Networks and Human Data

abstract: Deep neural networks have been successfully applied in learning the board games Go, chess and shogi without prior knowledge by making use of reinforcement learning. Although starting from zero knowledge has been shown to yield impressive results, it is associated with high computationally costs especially for complex games. With this paper, we present CrazyAra which is a neural network based engine solely trained in supervised manner for the chess variant crazyhouse. Crazyhouse is a game with a higher branching factor than chess and there is only limited data of lower quality available compared to AlphaGo. Therefore, we focus on improving efficiency in multiple aspects while relying on low computational resources. These improvements include modifications in the neural network design and training configuration, the introduction of a data normalization step and a more sample efficient Monte-Carlo tree search which has a lower chance to blunder. After training on 569,537 human games for 1.5 days we achieve a move prediction accuracy of 60.4%. During development, versions of CrazyAra played professional human players. Most notably, CrazyAra achieved a four to one win over 2017 crazyhouse world champion Justin Tan (aka LM Jann Lee) who is more than 400 Elo higher rated compared to the average player in our training set. Furthermore, we test the playing strength of CrazyAra on CPU against all participants of the second Crazyhouse Computer Championships 2017, winning against twelve of the thirteen participants. Finally, for CrazyAraFish we continue training our model on generated engine games. In ten long-time control matches playing Stockfish 10, CrazyAraFish wins three games and draws one out of ten matches.


title: Deep Weisfeiler-Lehman Assignment Kernels via Multiple Kernel Learning

abstract: Kernels for structured data are commonly obtained by decomposing objects into their parts and adding up the similarities between all pairs of parts measured by a base kernel. Assignment kernels are based on an optimal bijection between the parts and have proven to be an effective alternative to the established convolution kernels. We explore how the base kernel can be learned as part of the classification problem. We build on the theory of valid assignment kernels derived from hierarchies defined on the parts. We show that the weights of this hierarchy can be optimized via multiple kernel learning. We apply this result to learn vertex similarities for the Weisfeiler-Lehman optimal assignment kernel for graph classification. We present first experimental results which demonstrate the feasibility and effectiveness of the approach.


title: Multifunctional Composites for Elastic and Electromagnetic Wave Propagation

abstract: Composites are ideally suited to achieve desirable multifunctional effective properties since the best properties of different materials can be judiciously combined with designed microstructures. Here we establish cross-property relations for two-phase composite media that link effective elastic and electromagnetic wave characteristics to one another, including the respective effective wave speeds and attenuation coefficients, which facilitate multifunctional material design. This is achieved by deriving accurate formulas for the effective electromagnetic and elastodynamic properties that depend on the wavelengths of the incident waves and the microstructure via the spectral density. Our formulas enable us to explore the wave characteristics of a broad class of disordered microstructures because they apply, unlike conventional formulas, for a wide range of incident wavelengths, i.e., well beyond the long-wavelength regime. This capability enables us to study the dynamic properties of exotic disordered ``hyperuniform'' composites that can have advantages over crystalline ones, such as nearly optimal, direction-independent properties and robustness against defects. We specifically show that disordered ``stealthy'' hyperuniform microstructures exhibit novel wave characteristics, e.g., low-pass filters that transmit waves ``isotropically'' up to a finite wavenumber. Our cross-property relations for the effective wave characteristics can be applied to design multifunctional composites via inverse techniques. Design examples include structural components that require high stiffness and electromagnetic absorption, heat-sinks for CPUs, and sound-absorbing housings for motors that have to efficiently emit thermal radiation and suppress mechanical vibrations, and nondestructive evaluation of the elastic moduli of materials from the effective dielectric response.


title: Intrinsically Motivated Discovery of Diverse Patterns in Self-Organizing Systems

abstract: In many complex dynamical systems, artificial or natural, one can observe self-organization of patterns emerging from local rules. Cellular automata, like the Game of Life (GOL), have been widely used as abstract models enabling the study of various aspects of self-organization and morphogenesis, such as the emergence of spatially localized patterns. However, findings of self-organized patterns in such models have so far relied on manual tuning of parameters and initial states, and on the human eye to identify interesting patterns. In this paper, we formulate the problem of automated discovery of diverse self-organized patterns in such high-dimensional complex dynamical systems, as well as a framework for experimentation and evaluation. Using a continuous GOL as a testbed, we show that recent intrinsically-motivated machine learning algorithms (POP-IMGEPs), initially developed for learning of inverse models in robotics, can be transposed and used in this novel application area. These algorithms combine intrinsically-motivated goal exploration and unsupervised learning of goal space representations. Goal space representations describe the interesting features of patterns for which diverse variations should be discovered. In particular, we compare various approaches to define and learn goal space representations from the perspective of discovering diverse spatially localized patterns. Moreover, we introduce an extension of a state-of-the-art POP-IMGEP algorithm which incrementally learns a goal representation using a deep auto-encoder, and the use of CPPN primitives for generating initialization parameters. We show that it is more efficient than several baselines and equally efficient as a system pre-trained on a hand-made database of patterns identified by human experts.


title: Safe sets in digraphs

abstract: A non-empty subset $S$ of the vertices of a digraph $D$ is called a {\it safe set} if \begin{itemize} \item[(i)] for every strongly connected component $M$ of $D-S$, there exists a strongly connected component $N$ of $D[S]$ such that there exists an arc from $M$ to $N$; and \item[(ii)] for every strongly connected component $M$ of $D-S$ and every strongly connected component $N$ of $D[S]$, we have $|M|\leq |N|$ whenever there exists an arc from $M$ to $N$. \end{itemize} In the case of acyclic digraphs a set $X$ of vertices is a safe set precisely when $X$ is an {\it in-dominating set}, that is, every vertex not in $X$ has at least one arc to $X$. We prove that, even for acyclic digraphs which are traceable (have a hamiltonian path) it is NP-hard to find a minimum cardinality in-dominating set. Then we show that the problem is also NP-hard for tournaments and give, for every positive constant $c$, a polynomial algorithm for finding a minimum cardinality safe set in a tournament on $n$ vertices in which no strong component has size more than $c\log{}(n)$. Under the so called Exponential Time Hypothesis (ETH) this is close to best possible in the following sense: If ETH holds, then, for every $\epsilon>0$ there is no polynomial time algorithm for finding a minimum cardinality safe set for the class of tournaments in which the largest strong component has size at most $\log^{1+\epsilon}(n)$. We also discuss bounds on the cardinality of safe sets in tournaments.


title: C-RPNs: Promoting Object Detection in real world via a Cascade Structure of Region Proposal Networks

abstract: Recently, significant progresses have been made in object detection on common benchmarks (i.e., Pascal VOC). However, object detection in real world is still challenging due to the serious data imbalance. Images in real world are dominated by easy samples like the wide range of background and some easily recognizable objects, for example. Although two-stage detectors like Faster R-CNN achieved big successes in object detection due to the strategy of extracting region proposals by region proposal network, they show their poor adaption in real-world object detection as a result of without considering mining hard samples during extracting region proposals. To address this issue, we propose a Cascade framework of Region Proposal Networks, referred to as C-RPNs. The essence of C-RPNs is adopting multiple stages to mine hard samples while extracting region proposals and learn stronger classifiers. Meanwhile, a feature chain and a score chain are proposed to help learning more discriminative representations for proposals. Moreover, a loss function of cascade stages is designed to train cascade classifiers through backpropagation. Our proposed method has been evaluated on Pascal VOC and several challenging datasets like BSBDV 2017, CityPersons, etc. Our method achieves competitive results compared with the current state-of-the-arts and all-sided improvements in error analysis, validating its efficacy for detection in real world.


title: Particle-in-cell simulations of the whistler heat-flux instability in the solar wind conditions

abstract: In collision-poor plasmas from space, e.g., solar wind or stellar outflows, the heat-flux carried by the strahl or beaming electrons is expected to be regulated by the self-generated instabilities. Recently, simultaneous field and particle observations have indeed revealed enhanced whistler-like fluctuations in the presence of counter-beaming populations of electrons, connecting these fluctuations to the whistler heat-flux instability (WHFI). This instability is predicted only for limited conditions of electron beam-plasmas, and was not captured in numerical simulations yet. In this letter we report the first simulations of WHFI in particle-in-cell (PIC) setups, realistic for the solar wind conditions, and without temperature gradients or anisotropies to trigger the instability in the initiation phase. The velocity distributions have a complex reaction to the enhanced whistler fluctuations conditioning the instability saturation by a decrease of the relative drifts combined with induced (effective) temperature anisotropies (heating the core electrons and pitch-angle and energy scattering the strahl). These results are in good agreement with a recent quasilinear approach, and support therefore a largely accepted belief that WHFI saturates at moderate amplitudes. In anti-sunward direction the strahl becomes skewed with a pitch-angle distribution decreasing in width as electron energy increases, that seems to be characteristic to self-generated whistlers and not to small-scale turbulence.


title: Irrationality and monodromy for cubic threefolds

abstract: We show the cohomological monodromy for the universal family of smooth cubic threefolds does not factor through the genus five mapping class group. This gives a geometric group theory perspective on the well-known irrationality of cubic threefolds.


title: Vortices with massive cores in a binary mixture of Bose-Einstein condensates

abstract: We analyze a notable class of states relevant to an immiscible bosonic binary mixture loaded in a rotating box-like circular trap, i.e. states where vortices in one species host the atoms of the other species, which thus play the role of massive cores. Within a fully-analytical framework, we calculate the equilibrium distance distinguishing the motion of precession of two corotating massive vortices, the angular momentum of each component, the vortices healing length and the characteristic size of the cores. We then compare these previsions with the measures extracted from the numerical solutions of the associated coupled Gross-Pitaevskii equations. Interestingly, making use of a suitable change of reference frame, we show that vortices drag the massive cores which they host thus conveying them their same motion of precession, but that there is no evidence of tangential entrainment between the two fluids, since the cores keep their orientation constant while orbiting.


title: All tight correlation Bell inequalities have quantum violations

abstract: It is by now well-established that there exist non-local games for which the best entanglement-assisted performance is not better than the best classical performance. Here we show in contrast that any two-player XOR game, for which the corresponding Bell inequality is tight, has a quantum advantage. In geometric terms, this means that any correlation Bell inequality for which the classical and quantum maximum values coincide, does not define a facet, i.e. a face of maximum dimension, of the local Bell polytope. Indeed, using semidefinite programming duality, we prove upper bounds on the dimension of these faces, bounding it far away from the maximum. In the special case of non-local computation games, it had been shown before that they are not facet-defining; our result generalises and improves this. As a by-product of our analysis, we find a similar upper bound on the dimension of the faces of the convex body of quantum correlation matrices, showing that (except for the trivial ones expressing the non-negativity of probability) it does not have facets.


title: Multiple Stellar Populations of Globular Clusters from Homogeneous Ca--CN--CH Photometry. V. $cn^\prime_{\rm JWL}$ as a Surrogate $cn_{\rm JWL}$ Index and NGC 6723

abstract: We introduce new color indices $cn^\prime_{\rm JWL}$ (= $Ca_{\rm CTIO} - Ca_{\rm JWL}$) and $ch_{\rm JWL}$ [=$(JWL43 - b) - (b-y)$], accurate photometric measures of the CN band at $\lambda$3883 and the CH G band, respectively, in the study of the multiple populations (MPs) in globular clusters (GCs). Our photometric CN--CH relation for a large number of red-giant branch (RGB) in M5 shows that the evolutions of the CN and CH between the CN-w and CN-s populations are not continuous. Armed with our new color indices, we investigate the MPs of NGC 6723, finding the RGB populational number ratio of $n$(CN-w):$n$(CN-s) $\approx$ 35.5:64.5 ($\pm$2.8) with no radial gradient. Similar to other normal GCs with MPs, the helium abundance of the CN-s population inferred from the RGB bump magnitude is slightly enhanced by $\Delta Y$ = 0.012 $\pm$ 0.012. Our $cn_{\rm JWL}$ and $cn^\prime_{\rm JWL}$ color-magnitude diagrams clearly show the discrete double AGB populations in NGC 6723, whose bright AGB populational number ratio is in marginally agreement with that of the RGB stars within the statistical errors. Finally, our synthetic $cn_{\rm JWL}$ index is in good agreement with observations, except for the CN-w asymptotic giant branch (AGB). To mitigate the discrepancy in the CN-w AGB may require a mild nitrogen enhancement and/or a large decrement in the $^{12}$C/$^{13}$C ratio with respect to the bright RGB.


title: A nonequilibrium strategy for fast target search on the genome

abstract: Vital biological processes such as genome repair require fast and efficient binding of selected proteins to specific target sites on DNA. Here we propose an active target search mechanism based on "chromophoresis", the dynamics of DNA-binding proteins up or down gradients in the density of epigenetic marks, or colours (biochemical tags on the genome). We focus on a set of proteins that deposit marks from which they are repelled---a case which is only encountered away from thermodynamic equilibrium. For suitable ranges of kinetic parameter values, chromophoretic proteins can perform unidirectional motion and are optimally redistributed along the genome. Importantly, they can also locally unravel a region of the genome which is collapsed due to self-interactions and "dive" deep into its core, for a striking enhancement of the efficiency of target search on such an inaccessible substrate. We discuss the potential relevance of chromophoresis for the location of DNA lesions.


title: Graph Fourier Transform Based on $\ell_1$ Norm Variation Minimization

abstract: The definition of the graph Fourier transform is a fundamental issue in graph signal processing. Conventional graph Fourier transform is defined through the eigenvectors of the graph Laplacian matrix, which minimize the $\ell_2$ norm signal variation. However, the computation of Laplacian eigenvectors is expensive when the graph is large. In this paper, we propose an alternative definition of graph Fourier transform based on the $\ell_1$ norm variation minimization. We obtain a necessary condition satisfied by the $\ell_1$ Fourier basis, and provide a fast greedy algorithm to approximate the $\ell_1$ Fourier basis. Numerical experiments show the effectiveness of the greedy algorithm. Moreover, the Fourier transform under the greedy basis demonstrates a similar rate of decay to that of Laplacian basis for simulated or real signals.


title: Directionally Constrained Fully Convolutional Neural Network For Airborne Lidar Point Cloud Classification

abstract: Point cloud classification plays an important role in a wide range of airborne light detection and ranging (LiDAR) applications, such as topographic mapping, forest monitoring, power line detection, and road detection. However, due to the sensor noise, high redundancy, incompleteness, and complexity of airborne LiDAR systems, point cloud classification is challenging. In this paper, we proposed a directionally constrained fully convolutional neural network (D-FCN) that can take the original 3D coordinates and LiDAR intensity as input; thus, it can directly apply to unstructured 3D point clouds for semantic labeling. Specifically, we first introduce a novel directionally constrained point convolution (D-Conv) module to extract locally representative features of 3D point sets from the projected 2D receptive fields. To make full use of the orientation information of neighborhood points, the proposed D-Conv module performs convolution in an orientation-aware manner by using a directionally constrained nearest neighborhood search. Then, we designed a multiscale fully convolutional neural network with downsampling and upsampling blocks to enable multiscale point feature learning. The proposed D-FCN model can therefore process input point cloud with arbitrary sizes and directly predict the semantic labels for all the input points in an end-to-end manner. Without involving additional geometry features as input, the proposed method has demonstrated superior performance on the International Society for Photogrammetry and Remote Sensing (ISPRS) 3D labeling benchmark dataset. The results show that our model has achieved a new state-of-the-art level of performance with an average F1 score of 70.7%, and it has improved the performance by a large margin on categories with a small number of points (such as powerline, car, and facade).


title: Towards Assessing the Impact of Bayesian Optimization's Own Hyperparameters

abstract: Bayesian Optimization (BO) is a common approach for hyperparameter optimization (HPO) in automated machine learning. Although it is well-accepted that HPO is crucial to obtain well-performing machine learning models, tuning BO's own hyperparameters is often neglected. In this paper, we empirically study the impact of optimizing BO's own hyperparameters and the transferability of the found settings using a wide range of benchmarks, including artificial functions, HPO and HPO combined with neural architecture search. In particular, we show (i) that tuning can improve the any-time performance of different BO approaches, that optimized BO settings also perform well (ii) on similar problems and (iii) partially even on problems from other problem families, and (iv) which BO hyperparameters are most important.


title: A short proof of Greenberg's Theorem

abstract: Greenberg proved that every countable group $A$ is isomorphic to the automorphism group of a Riemann surface, which can be taken to be compact if $A$ is finite. We give a short and explicit algebraic proof of this for finitely generated groups $A$.


title: Reducing the Effort for Systematic Reviews in Software Engineering

abstract: Context. Systematic Reviews (SRs) are means for collecting and synthesizing evidence from the identification and analysis of relevant studies from multiple sources. To this aim, they use a well-defined methodology meant to mitigate the risks of biases and ensure repeatability for later updates. SRs, however, involve significant effort. Goal. The goal of this paper is to introduce a novel methodology that reduces the amount of manual tedious tasks involved in SRs while taking advantage of the value provided by human expertise. Method. Starting from current methodologies for SRs, we replaced the steps of keywording and data extraction with an automatic methodology for generating a domain ontology and classifying the primary studies. This methodology has been applied in the Software Engineering sub-area of Software Architecture and evaluated by human annotators. Results. The result is a novel Expert-Driven Automatic Methodology, EDAM, for assisting researchers in performing SRs. EDAM combines ontology-learning techniques and semantic technologies with the human-in-the-loop. The first (thanks to automation) fosters scalability, objectivity, reproducibility and granularity of the studies; the second allows tailoring to the specific focus of the study at hand and knowledge reuse from domain experts. We evaluated EDAM on the field of Software Architecture against six senior researchers. As a result, we found that the performance of the senior researchers in classifying papers was not statistically significantly different from EDAM. Conclusions. Thanks to automation of the less-creative steps in SRs, our methodology allows researchers to skip the tedious tasks of keywording and manually classifying primary studies, thus freeing effort for the analysis and the discussion.


title: Intertwined quantum phase transitions in the Zr chain

abstract: We introduce the notion of intertwined quantum phase transitions (IQPTs), for which a crossing of two configurations coexists with a pronounced shape-evolution of each configuration. A detailed analysis in the framework of the interacting boson model with configuration mixing, provides evidence for this scenario in the Zr isotopes. The latter exhibit a normal configuration which remains spherical along the chain, but exchanges roles with an intruder configuration, which undergoes first a spherical to prolate-deformed [U(5)$\to$SU(3)] QPT and then a crossover to $\gamma$-unstable [SU(3)$\to$SO(6)].


title: Network constraints in scale free dynamical systems

abstract: Scale free dynamics are observed in a variety of physical and biological systems. These include neural activity in which evidence for scale freeness has been reported using a range of imaging modalities. Here, we derive the ways in which connections within a network must transform - relative to system size - in order to maintain scale freeness and test these theoretical transformations via simulations. First, we explore the known invariance of planetary motion for orbits varying in size. Using parametric empirical Bayesian modelling and a generic dynamical systems model, we show that we recover Kepler's third law from orbital timeseries, using our proposed transformations; thereby providing construct validation. We then demonstrate that the dynamical critical exponent is inversely proportional to the time rescaling exponent, in the context of coarse graining operations. Using murine calcium imaging data, we then show that the dynamical critical exponent can be estimated in an empirical biological setting. Specifically, we compare dynamical critical exponents - associated with spontaneous and task states in two regions of imaged cortex - that are classified as task-relevant and task-irrelevant. We find, consistently across animals, that the task-irrelevant region exhibits higher dynamical critical exponents during spontaneous activity than during task performance. Conversely, the task-relevant region is associated with higher dynamical critical exponents in task vs. spontaneous states. These data support the idea that higher dynamical critical exponents, within relevant cortical structures, underwrite neuronal processing due to the implicit increase in cross-scale information transmission.


title: The 3-way flower intersection problem for Steiner triple systems

abstract: The flower at a point x in a Steiner triple system (X; B) is the set of all triples containing x. Denote by J3F(r) the set of all integers k such that there exists a collection of three STS(2r+1) mutually intersecting in the same set of k + r triples, r of them being the triples of a common flower. In this article we determine the set J3F(r) for any positive integer r = 0, 1 (mod 3) (only some cases are left undecided for r = 6, 7, 9, 24), and establish that J3F(r) = I3F(r) for r = 0, 1 (mod 3) where I3F(r) = {0, 1,..., 2r(r-1)/3-8, 2r(r-1)/3-6, 2r(r-1)/3}.


title: Arbitrarily large $\mathcal{O}$-Morita Frobenius numbers

abstract: We construct blocks of finite groups with arbitrarily large $\mathcal{O}$-Morita Frobenius numbers. There are no known examples of two blocks defined over $\mathcal{O}$ that are not Morita equivalent but the corresponding blocks defined over $k$ are. Therefore, the above strongly suggests that Morita Frobenius numbers are also unbounded, which would answer a question of Benson and Kessar.


title: Scalar field effects on the orbit of S2 star

abstract: Precise measurements of the S-stars orbiting SgrA* have set strong constraints on the nature of the compact object at the centre of the Milky Way. The presence of a black hole in that region is well established, but its neighboring environment is still an open debate. In that respect, the existence of dark matter in that central region may be detectable due to its strong signatures on the orbits of stars: the main effect is a Newtonian precession which will affect the overall pericentre shift of S2, the latter being a target measurement of the GRAVITY instrument. The exact nature of this dark matter (e.g., stellar dark remnants or diffuse dark matter) is unknown. This article assumes it to be an scalar field of toroidal distribution, associated with ultra-light dark matter particles, surrounding the Kerr black hole. Such a field is a form of "hair" expected in the context of superradiance, a mechanism that extracts rotational energy from the black hole. Orbital signatures for the S2 star are computed and shown to be detectable by GRAVITY. The scalar field can be constrained because the variation of orbital elements depends both on the relative mass of the scalar field to the black hole and on the field mass coupling parameter.


title: Optimal Lifting for the Projective Action of $SL_3(Z)$

abstract: Let $\epsilon>0$ and let $q$ be a prime going to infinity. We prove that with high probability given $x,y$ in the projective plane over the finite field $F_q$ there exists $\gamma$ in $SL_3(Z)$, with coordinates bounded by $q^{1/3+\epsilon}$, whose projection to $SL_{3}(F_q)$ sends $x$ to $y$. The exponent $1/3$ is optimal and the result is a high rank generalization of Sarnak's optimal strong approximation theorem for $SL_2(Z)$.


title: A unified representation network for segmentation with missing modalities

abstract: Over the last few years machine learning has demonstrated groundbreaking results in many areas of medical image analysis, including segmentation. A key assumption, however, is that the train- and test distributions match. We study a realistic scenario where this assumption is clearly violated, namely segmentation with missing input modalities. We describe two neural network approaches that can handle a variable number of input modalities. The first is modality dropout: a simple but surprisingly effective modification of the training. The second is the unified representation network: a network architecture that maps a variable number of input modalities into a unified representation that can be used for downstream tasks such as segmentation. We demonstrate that modality dropout makes a standard segmentation network reasonably robust to missing modalities, but that the same network works even better if trained on the unified representation.


title: Directed Homotopy in Non-Positively Curved Spaces

abstract: A semantics of concurrent programs can be given using precubical sets, in order to study (higher) commutations between the actions, thus encoding the "geometry" of the space of possible executions of the program. Here, we study the particular case of programs using only mutexes, which are the most widely used synchronization primitive. We show that in this case, the resulting programs have non-positive curvature, a notion that we introduce and study here for precubical sets, and can be thought of as an algebraic analogue of the well-known one for metric spaces. Using this it, as well as categorical rewriting techniques, we are then able to show that directed and non-directed homotopy coincide for directed paths in these precubical sets. Finally, we study the geometric realization of precubical sets in metric spaces, to show that our conditions on precubical sets actually coincide with those for metric spaces. Since the category of metric spaces is not cocomplete, we are lead to work with generalized metric spaces and study some of their properties.


title: Real Lagrangians in Calabi-Yau Threefolds

abstract: We compute the mod $2$ cohomology groups of real Lagrangians in Calabi-Yau threefolds using well-behaved torus fibrations constructed by Gross. To do this we study a long exact sequence introduced by Casta\~{n}o-Bernard and Matessi, which relates the cohomology of the Lagrangians to the cohomology of the Calabi-Yau. We show that the connecting homomorphism in this sequence is given by the map squaring divisor classes in the mirror Calabi-Yau.


title: On the rate of convergence for Takagi class functions

abstract: We consider a generalized version of the Takagi function, which is one of the most famous example of nowhere differentiable continuous functions. We investigate a set of conditions to describe the rate of convergence of Takagi class functions from the probabilistic point of view: The law of large numbers, the central limit theorem, and the law of iterated logarithm. On the other hand, we show that the Takagi function itself does not satisfy the law of large numbers in the usual sense.


title: Bayesian models for survival data of clinical trials: Comparison of implementations using R software

abstract: Objective: To provide guidance for the use of the main functions available in R for performing post hoc Bayesian analysis of a randomized clinical trial with a survival endpoint using proportional hazard models. Study Design and Setting: Data derived from the ALLOZITHRO trial, conducted with 465 patients after allograft to prevent pulmonary complications and allocated between azithromycin and placebo; airflow decline-free survival at 2 years after randomization was the main endpoint. Results: Despite heterogeneity in modeling assumptions, in particular for the baseline hazard (parametric or nonparametric), and in estimation methods, Bayesian posterior mean hazard ratio (HR) estimates of azithromycin effect were close to those obtained by the maximum likelihood approach. Conclusion: Bayesian models can be implemented using various R packages, providing results in close agreement with the maximum likelihood estimates. These models provide probabilistic statements that could not be obtained otherwise.


title: Balanced Schnyder woods for planar triangulations: an experimental study with applications to graph drawing and graph separators

abstract: In this work we consider balanced Schnyder woods for planar graphs, which are Schnyder woods where the number of incoming edges of each color at each vertex is balanced as much as possible. We provide a simple linear-time heuristic leading to obtain well balanced Schnyder woods in practice. As test applications we consider two important algorithmic problems: the computation of Schnyder drawings and of small cycle separators. While not being able to provide theoretical guarantees, our experimental results (on a wide collection of planar graphs) suggest that the use of balanced Schnyder woods leads to an improvement of the quality of the layout of Schnyder drawings, and provides an efficient tool for computing short and balanced cycle separators.


title: Tunable Giant Rashba-type Spin Splitting in PtSe$_2$/MoSe$_2$ Heterostructure

abstract: We report a giant Rashba-type spin splitting in two-dimensional heterostructure PtSe$_2$/MoSe$_2$ with first-principles calculations. We obtain a large value of spin splitting energy 110 meV at the momentum offset $k_0$=0.23 \AA$^{-1}$ around $\mathrm{\Gamma}$ point, arising from the emerging strong interfacial spin-orbital coupling induced by the hybridization between PtSe$_2$ and MoSe$_2$. Moreover, we find that the band dispersion close to valence band maximum around $\Gamma$ point can be well approximated by the generalized Rashba Hamiltonian $H(k_{||})=-\frac{\hbar^2 k_{||}^2}{2m}+c k_{||}+\alpha_R \vec{\sigma}\cdot(\vec{k}_{||} \times \vec{z})$. It is found that the generalized Rashba constant $\eta_R=c+\alpha_R$ in PtSe$_2$/MoSe$_2$ is as large as 1.3 eV$\cdot\text{\AA}$, and importantly $\eta_R$ can be effectively tuned by biaxial strain and external out-of-plane electrical field, presenting a potential application for the spin field-effect transistor. In addition, with the spin-valley physics at $\mathrm{K}/\mathrm{K}'$ points in monolayer MoSe$_2$, we propose a promising model for spin field-effect transistor with opto-valleytronic spin injection based on PtSe$_2$/MoSe$_2$ heterostructure.


title: Stable wrinkling in voltage and charge controlled dielectric membranes

abstract: Thin dielectric elastomers with compliant electrodes exhibit various types of instability under the action of electromechanical loading. Guided by the thermodynamically-based formulation of Fosdick and Tang (J. Elasticity 88, 255-297, 2007), here we provide an energetic perspective on the stability of dielectric elastomers and we highlight the fundamental energetic divide between voltage control and charge control. By using the concept of energy relaxation, we describe wrinkling for neo-Hookean ideal elastomers, and we show that in voltage control wrinkling is stable as long as the tension-extension inequality holds, whereas wrinkling is always stable in charge control. We finally illustrate some examples involving both homogeneous and inhomogeneous deformations, showing that the type and hierarchy of instabilities taking place in dielectric membranes can be tuned by suitable choices of the boundary conditions.


title: Wavefront manipulation based of the excitation of bound states in dielectric photonic crystals and bilayer metasurfaces

abstract: We present the study of bound surface modes sustained at the termination of truncated bulk dielectric photonic crystals and isolated metasurfaces of dielectric meta-atoms. We discuss the origins of bound modes in the two systems and their relation. For both systems, we theoretically study and experimentally demonstrate wavefront manipulation, in particular directional emission, frequency splitting and beam collimation achieved by coupling of the bound states to radiation modes through leaky wave radiation mechanism using properly designed scattering gratings.


title: In defense of OSVOS

abstract: As a milestone for video object segmentation, one-shot video object segmentation (OSVOS) has achieved a large margin compared to the conventional optical-flow based methods regarding to the segmentation accuracy. Its excellent performance mainly benefit from the three-step training mechanism, that are: (1) acquiring object features on the base dataset (i.e. ImageNet), (2) training the parent network on the training set of the target dataset (i.e. DAVIS-2016) to be capable of differentiating the object of interest from the background. (3) online fine-tuning the interested object on the first frame of the target test set to overfit its appearance, then the model can be utilized to segment the same object in the rest frames of that video. In this paper, we argue that for the step (2), OSVOS has the limitation to 'overemphasize' the generic semantic object information while 'dilute' the instance cues of the object(s), which largely block the whole training process. Through adding a common module, video loss, which we formulate with various forms of constraints (including weighted BCE loss, high-dimensional triplet loss, as well as a novel mixed instance-aware video loss), to train the parent network in the step (2), the network is then better prepared for the step (3), i.e. online fine-tuning on the target instance. Through extensive experiments using different network structures as the backbone, we show that the proposed video loss module can improve the segmentation performance significantly, compared to that of OSVOS. Meanwhile, since video loss is a common module, it can be generalized to other fine-tuning based methods and similar vision tasks such as depth estimation and saliency detection.


title: Distributed Stochastic Gradient Method for Non-Convex Problems with Applications in Supervised Learning

abstract: We develop a distributed stochastic gradient descent algorithm for solving non-convex optimization problems under the assumption that the local objective functions are twice continuously differentiable with Lipschitz continuous gradients and Hessians. We provide sufficient conditions on step-sizes that guarantee the asymptotic mean-square convergence of the proposed algorithm. We apply the developed algorithm to a distributed supervised-learning problem, in which a set of networked agents collaboratively train their individual neural nets to recognize handwritten digits in images. Results indicate that all agents report similar performance that is also comparable to the performance of a centrally trained neural net. Numerical results also show that the proposed distributed algorithm allows the individual agents to recognize the digits even though the training data corresponding to all the digits is not locally available to each agent.


title: Adaptative Inference Cost With Convolutional Neural Mixture Models

abstract: Despite the outstanding performance of convolutional neural networks (CNNs) for many vision tasks, the required computational cost during inference is problematic when resources are limited. In this context, we propose Convolutional Neural Mixture Models (CNMMs), a probabilistic model embedding a large number of CNNs that can be jointly trained and evaluated in an efficient manner. Within the proposed framework, we present different mechanisms to prune subsets of CNNs from the mixture, allowing to easily adapt the computational cost required for inference. Image classification and semantic segmentation experiments show that our method achieve excellent accuracy-compute trade-offs. Moreover, unlike most of previous approaches, a single CNMM provides a large range of operating points along this trade-off, without any re-training.


title: Erosion of an exoplanetary atmosphere caused by stellar winds

abstract: We present a formalism for a first-order estimation of the magnetosphere radius of exoplanets orbiting stars in the range from 0.08 to 1.3 Mo. With this radius, we estimate the atmospheric surface that is not protected from stellar winds. We have analyzed this unprotected surface for the most extreme environment for exoplanets: GKM-type and very low-mass stars at the two limits of the habitable zone. The estimated unprotected surface makes it possible to define a likelihood for an exoplanet to retain its atmosphere. This function can be incorporated into the new habitability index SEPHI. Using different formulations in the literature in addition to stellar and exoplanet physical characteristics, we estimated the stellar magnetic induction, the main characteristics of the stellar wind, and the different star-planet interaction regions (sub- and super-Alfv\'enic, sub- and supersonic). With this information, we can estimate the radius of the exoplanet magnetopause and thus the exoplanet unprotected surface. We have conducted a study of the auroral aperture angles for Earth-like exoplanets orbiting the habitable zone of its star, and found different behaviors depending on whether the star is in rotational saturated or unsaturated regimes, with angles of aperture of the auroral ring above or below 36^\circ, respectively, and with different slopes for the linear relation between the auroral aperture angle at the inner edge of the habitable zone versus the difference between auroral aperture angles at the two boundaries of the habitable zone. When the planet is tidally locked, the unprotected angle increases dramatically to values higher than 40^\circ with a low likelihood of keeping its atmosphere. When the impact of stellar wind is produced in the sub-Alfv\'enic regime, the likelihood of keeping the atmosphere is almost zero for exoplanets orbiting very close to their star.


title: Ultrafast modulation in a THz graphene-based flat absorber through negative photoconductivity

abstract: We present the experimental and theoretical study of an ultrafast graphene based thin film absorption modulator for operation in the THz regime. The flat modulator is composed of a graphene sheet placed on a dielectric layer backed by a metallic back reflector. A near IR pulse induces the generation of hot carriers in the graphene sheet reducing effectively its conductivity. The system provides a platform with ultrafast modulation capability for flat optics and graphene based metasurfaces applications.


title: Counterexamples to Thomassen's conjecture on decomposition of cubic graphs

abstract: We construct an infinite family of counterexamples to Thomassen's conjecture that the vertices of every 3-connected, cubic graph on at least 8 vertices can be colored blue and red such that the blue subgraph has maximum degree at most 1 and the red subgraph minimum degree at least 1 and contains no path on 4 vertices.


title: Learning to Advertise for Organic Traffic Maximization in E-Commerce Product Feeds

abstract: Most e-commerce product feeds provide blended results of advertised products and recommended products to consumers. The underlying advertising and recommendation platforms share similar if not exactly the same set of candidate products. Consumers' behaviors on the advertised results constitute part of the recommendation model's training data and therefore can influence the recommended results. We refer to this process as Leverage. Considering this mechanism, we propose a novel perspective that advertisers can strategically bid through the advertising platform to optimize their recommended organic traffic. By analyzing the real-world data, we first explain the principles of Leverage mechanism, i.e., the dynamic models of Leverage. Then we introduce a novel Leverage optimization problem and formulate it with a Markov Decision Process. To deal with the sample complexity challenge in model-free reinforcement learning, we propose a novel Hybrid Training Leverage Bidding (HTLB) algorithm which combines the real-world samples and the emulator-generated samples to boost the learning speed and stability. Our offline experiments as well as the results from the online deployment demonstrate the superior performance of our approach.


title: Robust and Efficient Fuzzy C-Means Clustering Constrained on Flexible Sparsity

abstract: Clustering is an effective technique in data mining to group a set of objects in terms of some attributes. Among various clustering approaches, the family of K-Means algorithms gains popularity due to simplicity and efficiency. However, most of existing K-Means based clustering algorithms cannot deal with outliers well and are difficult to efficiently solve the problem embedded the $L_0$-norm constraint. To address the above issues and improve the performance of clustering significantly, we propose a novel clustering algorithm, named REFCMFS, which develops a $L_{2,1}$-norm robust loss as the data-driven item and imposes a $L_0$-norm constraint on the membership matrix to make the model more robust and sparse flexibly. In particular, REFCMFS designs a new way to simplify and solve the $L_0$-norm constraint without any approximate transformation by absorbing $\|\cdot\|_0$ into the objective function through a ranking function. These improvements not only make REFCMFS efficiently obtain more promising performance but also provide a new tractable and skillful optimization method to solve the problem embedded the $L_0$-norm constraint. Theoretical analyses and extensive experiments on several public datasets demonstrate the effectiveness and rationality of our proposed REFCMFS method.


title: Connection between the winding number and the Chern number

abstract: Bulk-edge correspondence is one of the most distinct properties of topological insulators. In particular, the 1D winding number $\n$ has a one-to-one correspondence to the number of edge states in a chain of topological insulators with boundaries. By properly choosing the unit cells, we carry out numerical calculation to show explicitly in the extended SSH model that the winding numbers corresponding to the left and right unit cells may be used to predict the numbers of edge states on the two boundaries in a finite chain. Moreover, by drawing analogy between the SSH model and QWZ model, we show that the extended SSH model may be generalized to the extended QWZ model. By integrating the ``magnetic field'' over the momentum strip $0\le p_2 \le \pi, 0\le p_1 2\pi$ in the Brillouin zone, we show a identity relating the 2D Chern number and the difference between the 1D winding numbers at $p_2=0 $ and $p_2 =\pi$.


title: Stabilization distance between surfaces

abstract: Define the 1-handle stabilization distance between two surfaces properly embedded in a fixed 4-dimensional manifold to be the minimal number of 1-handle stabilizations necessary for the surfaces to become ambiently isotopic. For every nonnegative integer $m$ we find a pair of 2-knots in the 4-sphere whose stabilization distance equals $m$. Next, using a generalized stabilization distance that counts connected sum with arbitrary 2-knots as distance zero, for every nonnegative integer $m$ we exhibit a knot $J_m$ in the 3-sphere with two slice discs in the 4-ball whose generalized stabilization distance equals $m$. We show this using homology of cyclic covers. Finally, we use metabelian twisted homology to show that for each $m$ there exists a knot and pair of slice discs with generalized stabilization distance at least $m$, with the additional property that abelian invariants associated to cyclic covering spaces coincide. This detects different choices of slicing discs corresponding to a fixed metabolising link on a Seifert surface.


title: Floor-SP: Inverse CAD for Floorplans by Sequential Room-wise Shortest Path

abstract: This paper proposes a new approach for automated floorplan reconstruction from RGBD scans, a major milestone in indoor mapping research. The approach, dubbed Floor-SP, formulates a novel optimization problem, where room-wise coordinate descent sequentially solves dynamic programming to optimize the floorplan graph structure. The objective function consists of data terms guided by deep neural networks, consistency terms encouraging adjacent rooms to share corners and walls, and the model complexity term. The approach does not require corner/edge detection with thresholds, unlike most other methods. We have evaluated our system on production-quality RGBD scans of 527 apartments or houses, including many units with non-Manhattan structures. Qualitative and quantitative evaluations demonstrate a significant performance boost over the current state-of-the-art. Please refer to our project website http://jcchen.me/floor-sp/ for code and data.


title: Functional Limit Theorems for Marked Hawkes Point Measures

abstract: This paper establishes a functional law of large numbers and a functional central limit theorem for marked Hawkes point measures and their corresponding shot noise processes. We prove that the normalized random measure can be approximated in distribution by the sum of a Gaussian white noise process plus an appropriate lifting map of a correlated one-dimensional Brownian motion. The Brownian results from the self-exiting arrivals of events. We apply our limit theorems for Hawkes point measures to analyze the population dynamics of budding microbes in a host.


title: A CLT for the total energy of the two-dimensional critical Ising model

abstract: Consider the Ising model on $([1,2N]\times[1,2M])\cap\mathbb{Z}^2$ at critical temperature with periodic boundary condition in the horizontal direction and free boundary condition in the vertical direction. Let $E_{M,N}$ be its total energy (or Hamiltonian). Suppose $M$ is a function of $N$ satisfying $M\geq N/(\ln N)^{\alpha}$ for some $\alpha\in[0,1)$. In particular, one may take $M=N$. We prove that \begin{equation*} \frac{E_{M,N}+4\sqrt{2}M N-(4/\pi)N\ln N}{\sqrt{(32/\pi)MN\ln N}} \end{equation*} converges weakly to a standard Gaussian distribution as $N\rightarrow\infty$.


title: Searches for counterparts of gravitational waves at very high energies with H.E.S.S

abstract: The recent milestones in multi-messenger astronomy have opened new ways to study the Unverse. The unprecedented gravitational wave (GW) follow-up campaigns established the power that the combination of different messengers has to identify and study the nature and evolution of astrophysical phenomena. Here we focus on the search for high-energy gamma ray emission as electromagnetic counterpart of compact binary coalescences with the H.E.S.S. Imaging Air Cherenkov Telescopes (IACTs). In this contribution, the optimized strategies developed specifically for the prompt follow-up of gravitational wave events with H.E.S.S are presented. As illustration, the successful observation campaigns up to this time will be described, including the ones during Observation Run O2 on the binary black hole (BH-BH) merger GW170814 and the binary neutron star (NS-NS) merger GW170817, and an update on recent events occurring during O3. Results of these searches are presented and the constraints that prompt observations can put on very-high-energy, non-thermal emission, are briefly discussed. Finally, an outlook on further improvements for the gravitational waves follow-up program with H.E.S.S. will be provided.


title: Towards a theory of baryon resonances

abstract: In this talk, I discuss methods that allow for a systematic and model-independent calculation of the hadron spectrum. These are lattice QCD and/or its corresponding Effective Field Theories. Assorted results are shown and I take the opportunity to discuss some misconceptions often found in the literature.


title: Virasoro Constraints for Drinfeld-Sokolov hierarchies and equations of Painlev\'{e} type

abstract: We construct a tau cover of the generalized Drinfeld-Sokolov hierarchy associated to an arbitrary affine Kac-Moody algebra with gradations $\mathrm{s}\le\mathds{1}$ and derive its Virasoro symmetries. By imposing the Virasoro constraints we obtain solutions of the Drinfeld-Sokolov hierarchy of Witten-Kontsevich and of Brezin-Gross-Witten types, and of those characterized by certain ordinary differential equations of Painlev\'{e} type. We also show the existence of affine Weyl group actions on solutions of such Painlev\'e type equations, which generalizes the theory of Noumi and Yamada on affine Weyl group symmetries of the Painlev\'{e} type equations.


title: Recommender Systems Fairness Evaluation via Generalized Cross Entropy

abstract: Fairness in recommender systems has been considered with respect to sensitive attributes of users (e.g., gender, race) or items (e.g., revenue in a multistakeholder setting). Regardless, the concept has been commonly interpreted as some form of equality -- i.e., the degree to which the system is meeting the information needs of all its users in an equal sense. In this paper, we argue that fairness in recommender systems does not necessarily imply equality, but instead it should consider a distribution of resources based on merits and needs. We present a probabilistic framework based on generalized cross entropy to evaluate fairness of recommender systems under this perspective, where we show that the proposed framework is flexible and explanatory by allowing to incorporate domain knowledge (through an ideal fair distribution) that can help to understand which item or user aspects a recommendation algorithm is over- or under-representing. Results on two real-world datasets show the merits of the proposed evaluation framework both in terms of user and item fairness.


title: Two-Staged Acoustic Modeling Adaption for Robust Speech Recognition by the Example of German Oral History Interviews

abstract: In automatic speech recognition, often little training data is available for specific challenging tasks, but training of state-of-the-art automatic speech recognition systems requires large amounts of annotated speech. To address this issue, we propose a two-staged approach to acoustic modeling that combines noise and reverberation data augmentation with transfer learning to robustly address challenges such as difficult acoustic recording conditions, spontaneous speech, and speech of elderly people. We evaluate our approach using the example of German oral history interviews, where a relative average reduction of the word error rate by 19.3% is achieved.


title: Manifestly Finite Derivation of the Quantum Kink Mass

abstract: In 1974 Dashen, Hasslacher and Neveu calculated the leading quantum correction to the mass of the kink in the scalar $\phi^4$ theory in 1+1 dimensions. The derivation relies on the identification of the perturbations about the kink as solutions of the Poschl-Teller (PT) theory. They regularize the theory by placing it in a periodic box, although the kink is not itself periodic. They also require an ad hoc identification of plane wave and PT states which is difficult to interpret in the decompactified limit. We rederive the mass using the kink operator to recast this problem in terms of the PT Hamiltonian which we explicitly diagonalize using its exact eigenstates. We normal order from the beginning, rendering our theory finite so that no compactification is necessary. In our final expression for the kink mass, the form of the PT potential disappears, suggesting that our mass formula applies to other quantum solitons.


title: Gauss-Bonnet holographic superconductors in exponential nonlinear electrodynamics

abstract: The low-energy limits of the string theory lead to the higher-order curvature corrections for Einstein gravity. Also, they give the higher-order derivative corrections for the Maxwell or linear electrodynamics, which suggests the nonlinear electrodynamics. Inspired by this, in this paper we investigate $d$-dimensional holographic superconductors in the probe limit in the framework of Einstein-Gauss-Bonnet gravity and exponential nonlinear electrodynamics. Based on the Sturm-Liouville eigenvalue method, we compute the critical temperature, the condensation value, and the critical exponent. It is observed that the critical temperature decreases when the Gauss-Bonnet (GB) parameter or the nonlinear parameter increases, but it increases with the higher dimension of the spacetime at the efficiently low charge density. In addition, we found that the condensation value becomes larger as increasing the GB parameter, the nonlinear parameter as well as the spacetime dimension. Finally, we calculate the optical conductivity and study the effects of the GB term and exponential nonlinear electrodynamics on superconducting energy gap.


title: On the Hypercyclicity Criterion for operators of Read's type

abstract: Let $T$ be a so-called operator of Read's type on a (real or complex) separable Banach space, having no non-trivial invariant subset. We prove in this note that $T\oplus T$ is then hypercyclic, i.e. that $T$ satisfies the Hypercyclicity Criterion.


title: On eigenvector statistics in the spherical and truncated unitary ensembles

abstract: We study the overlaps between right and left eigenvectors for random matrices of the spherical and truncated unitary ensembles. Conditionally on all eigenvalues, diagonal overlaps are shown to be distributed as a product of independent random variables. This enables us to prove that the scaled diagonal overlaps, conditionally on one eigenvalue, converge in distribution to a heavy-tail limit, namely, the inverse of a $\gamma_2$ distribution. These results are analogous to what is known for the complex Ginibre ensemble. We also provide formulae for the conditional expectation of diagonal and off-diagonal overlaps, with respect to all eigenvalues.


title: Machine learning the computational cost of quantum chemistry

abstract: Computational quantum mechanics based molecular and materials design campaigns consume increasingly more high-performance compute resources, making improved job scheduling efficiency desirable in order to reduce carbon footprint or wasteful spending. We introduce quantum machine learning (QML) models of the computational cost of common quantum chemistry tasks. For 2D non-linear toy systems, single point, geometry optimization, and transition state calculations the out of sample prediction error of QML models of wall times decays systematically with training set size. We present numerical evidence for a toy system containing two functions and three commonly used optimizer and for thousands of organic molecular systems including closed and open shell equilibrium structures, as well as transition states. Levels of electronic structure theory considered include B3LYP/def2-TZVP, MP2/6-311G(d), local CCSD(T)/VTZ-F12, CASSCF/VDZ-F12, and MRCISD+Q-F12/VDZ-F12. In comparison to conventional indiscriminate job treatment, QML based wall time predictions significantly improve job scheduling efficiency for all tasks after training on just thousands of molecules. Resulting reductions in CPU time overhead range from 10% to 90%.


title: Heterogeneous Coded Distributed Computing: Joint Design of File Allocation and Function Assignment

abstract: This paper studies the computation-communication tradeoff in a heterogeneous MapReduce computing system where each distributed node is equipped with different computation capability. We first obtain an achievable communication load for any given computation load and any given function assignment at each node. The proposed file allocation strategy has two steps: first, the input files are partitioned into disjoint batches, each with possibly different size and computed by a distinct node; then, each node computes additional files from its non-computed files according to its redundant computation capability. In the Shuffle phase, coded multicasting opportunities are exploited thanks to the repetitive file allocation among different nodes. Based on this scheme, we further propose the computation-aware and the shuffle-aware function assignments. We prove that, by using proper function assignments, our achievable communication load for any given computation load is within a constant multiplicative gap to the optimum in an equivalent homogeneous system with the same average computation load. Numerical results show that our scheme with shuffle-aware function assignment achieves better computation-communication tradeoff than existing works in some cases.


title: Improving multilevel regression and poststratification with structured priors

abstract: A central theme in the field of survey statistics is estimating population-level quantities through data coming from potentially non-representative samples of the population. Multilevel Regression and Poststratification (MRP), a model-based approach, is gaining traction against the traditional weighted approach for survey estimates. MRP estimates are susceptible to bias if there is an underlying structure that the methodology does not capture. This work aims to provide a new framework for specifying structured prior distributions that lead to bias reduction in MRP estimates. We use simulation studies to explore the benefit of these prior distributions and demonstrate their efficacy on non-representative US survey data. We show that structured prior distributions offer absolute bias reduction and variance reduction for posterior MRP estimates in a large variety of data regimes.


title: Local description of S-matrix in quantum field theory in curved spacetime using Riemann-normal coordinate

abstract: The success of the S-matrix in quantum field theory in Minkowski spacetime naturally demands the extension of the construction of the S-matrix in a general curved spacetime in a covariant manner. However, it is well-known that a global description of the S-matrix may not exist in an arbitrary curved spacetime. Here, we give a local construction of S-matrix in quantum field theory in curved spacetime using Riemann-normal coordinates which mimics the methods, generally used in Minkowski spacetime. Using this construction, the scattering amplitudes and cross-sections of some scattering processes are computed in a generic curved spacetime. Further, it is also shown that these observables can be used to probe features of curved spacetime as these local observables carry curvature-dependent corrections. Moreover, the compatibility of the local construction of the S-matrix with the spacetime symmetries is also discussed in detail.


title: Steady states of non-axial dipolar rods driven by rotating fields

abstract: We investigate a two-dimensional system of magnetic colloids with anisotropic geometry (rods) subjected to an oscillating external magnetic field. The structural and dynamical properties of the steady states are analyzed, by means of Langevin Dynamics simulations, as a function of the misalignment of the intrinsic magnetic dipole moment of the rods with respect to their axial direction, and also in terms of the strength and rotation frequency of an external magnetic field. The misalignment of the dipole relative to their axial direction is inspired by recent studies, and this is extremely relevant in the microscopic aggregation states of the system. The dynamical response of the magnetic rods to the external magnetic field is strongly affected by such a misalignment. Concerning the synchronization between the magnetic rods and the direction of the external magnetic field, we define three distinct regimes of synchronization. A set of steady states diagrams are presented, showing the magnitude and rotation frequency intervals in which the distinct self-organized structures are observed.


title: AFrame: Extending DataFrames for Large-Scale Modern Data Analysis (Extended Version)

abstract: Analyzing the increasingly large volumes of data that are available today, possibly including the application of custom machine learning models, requires the utilization of distributed frameworks. This can result in serious productivity issues for "normal" data scientists. This paper introduces AFrame, a new scalable data analysis package powered by a Big Data management system that extends the data scientists' familiar DataFrame operations to efficiently operate on managed data at scale. AFrame is implemented as a layer on top of Apache AsterixDB, transparently scaling out the execution of DataFrame operations and machine learning model invocation through a parallel, shared-nothing big data management system. AFrame incrementally constructs SQL++ queries and leverages AsterixDB's semistructured data management facilities, user-defined function support, and live data ingestion support. In order to evaluate the proposed approach, this paper also introduces an extensible micro-benchmark for use in evaluating DataFrame performance in both single-node and distributed settings via a collection of representative analytic operations. This paper presents the architecture of AFrame, describes the underlying capabilities of AsterixDB that efficiently support modern data analytic operations, and utilizes the proposed benchmark to evaluate and compare the performance and support for large-scale data analyses provided by alternative DataFrame libraries.


title: Quantum algorithms for Second-Order Cone Programming and Support Vector Machines

abstract: We present a quantum interior-point method (IPM) for second-order cone programming (SOCP) that runs in time $\widetilde{O} \left( n\sqrt{r} \frac{\zeta \kappa}{\delta^2} \log \left(1/\epsilon\right) \right)$ where $r$ is the rank and $n$ the dimension of the SOCP, $\delta$ bounds the distance of intermediate solutions from the cone boundary, $\zeta$ is a parameter upper bounded by $\sqrt{n}$, and $\kappa$ is an upper bound on the condition number of matrices arising in the classical IPM for SOCP. The algorithm takes as its input a suitable quantum description of an arbitrary SOCP and outputs a classical description of a $\delta$-approximate $\epsilon$-optimal solution of the given problem. Furthermore, we perform numerical simulations to determine the values of the aforementioned parameters when solving the SOCP up to a fixed precision $\epsilon$. We present experimental evidence that in this case our quantum algorithm exhibits a polynomial speedup over the best classical algorithms for solving general SOCPs that run in time $O(n^{\omega+0.5})$ (here, $\omega$ is the matrix multiplication exponent, with a value of roughly $2.37$ in theory, and up to $3$ in practice). For the case of random SVM (support vector machine) instances of size $O(n)$, the quantum algorithm scales as $O(n^k)$, where the exponent $k$ is estimated to be $2.59$ using a least-squares power law. On the same family random instances, the estimated scaling exponent for an external SOCP solver is $3.31$ while that for a state-of-the-art SVM solver is $3.11$.


title: Computing Spectral Measures and Spectral Types

abstract: Spectral measures arise in numerous applications such as quantum mechanics, signal processing, resonances, and fluid stability. Similarly, spectral decompositions (pure point, absolutely continuous and singular continuous) often characterise relevant physical properties such as long-time dynamics of quantum systems. Despite new results on computing spectra, there remains no general method able to compute spectral measures or spectral decompositions of infinite-dimensional normal operators. Previous efforts focus on specific examples where analytical formulae are available (or perturbations thereof) or on classes of operators with a lot of structure. Hence the general computational problem is predominantly open. We solve this problem by providing the first set of general algorithms that compute spectral measures and decompositions of a wide class of operators. Given a matrix representation of a self-adjoint or unitary operator, such that each column decays at infinity at a known asymptotic rate, we show how to compute spectral measures and decompositions. We discuss how these methods allow the computation of objects such as the functional calculus, and how they generalise to a large class of partial differential operators, allowing, for example, solutions to evolution PDEs such as Schr\"odinger equations on $L^2(\mathbb{R}^d)$. Computational spectral problems in infinite dimensions have led to the SCI hierarchy, which classifies the difficulty of computational problems. We classify computation of measures, measure decompositions, types of spectra, functional calculus, and Radon--Nikodym derivatives in the SCI hierarchy. The new algorithms are demonstrated to be efficient on examples taken from OPs on the real line and the unit circle (e.g. giving computational realisations of Favard's theorem and Verblunsky's theorem), and are applied to evolution equations on a 2D quasicrystal.

categories: math.SP cs.NA math-ph math.FA math.MP math.NA


title: Isomorph invariance of dynamics of sheared glassy systems

abstract: We study hidden scale invariance in the glassy phase of the Kob-Andersen binary Lennard-Jones system. After cooling below the glass transition, we generate a so-called isomorph from the fluctuations of potential energy and virial in the NVT ensemble -- a set of density, temperature pairs for which structure and dynamics are identical when expressed in appropriate reduced units. To access dynamical features we shear the system using the SLLOD algorithm coupled with Lees-Edwards boundary conditions, and study the statistics of stress fluctuations and the particle displacements transverse to the shearing direction. We find good collapse of the statistical data showing that isomorph theory works well in this regime. The analysis of stress fluctuations, in particular the distribution of stress changes over a given strain interval, allows us to identify a clear signature of avalanche behavior in the form of an exponential tail on the negative side. This feature is also isomorph invariant. The implications of isomorphs for theories of plasticity are discussed briefly.


title: Proceedings Seventh International Workshop on Verification and Program Transformation

abstract: This volume contains a final and revised selection of papers presented at the Seventh International Workshop on Verification and Program Transformation (VPT 2019), which took place in Genova, Italy, on April 2nd, 2019, affiliated with Programming 2019.


title: Automatic Compiler Based FPGA Accelerator for CNN Training

abstract: Training of convolutional neural networks (CNNs)on embedded platforms to support on-device learning is earning vital importance in recent days. Designing flexible training hard-ware is much more challenging than inference hardware, due to design complexity and large computation/memory requirement. In this work, we present an automatic compiler-based FPGA accelerator with 16-bit fixed-point precision for complete CNNtraining, including Forward Pass (FP), Backward Pass (BP) and Weight Update (WU). We implemented an optimized RTL library to perform training-specific tasks and developed an RTL compiler to automatically generate FPGA-synthesizable RTL based on user-defined constraints. We present a new cyclic weight storage/access scheme for on-chip BRAM and off-chip DRAMto efficiently implement non-transpose and transpose operations during FP and BP phases, respectively. Representative CNNs for CIFAR-10 dataset are implemented and trained on Intel Stratix 10-GX FPGA using proposed hardware architecture, demonstrating up to 479 GOPS performance.


title: Align, Mask and Select: A Simple Method for Incorporating Commonsense Knowledge into Language Representation Models

abstract: The state-of-the-art pre-trained language representation models, such as Bidirectional Encoder Representations from Transformers (BERT), rarely incorporate commonsense knowledge or other knowledge explicitly. We propose a pre-training approach for incorporating commonsense knowledge into language representation models. We construct a commonsense-related multi-choice question answering dataset for pre-training a neural language representation model. The dataset is created automatically by our proposed "align, mask, and select" (AMS) method. We also investigate different pre-training tasks. Experimental results demonstrate that pre-training models using the proposed approach followed by fine-tuning achieve significant improvements over previous state-of-the-art models on two commonsense-related benchmarks, including CommonsenseQA and Winograd Schema Challenge. We also observe that fine-tuned models after the proposed pre-training approach maintain comparable performance on other NLP tasks, such as sentence classification and natural language inference tasks, compared to the original BERT models. These results verify that the proposed approach, while significantly improving commonsense-related NLP tasks, does not degrade the general language representation capabilities.


title: Some Aspects of Geometric Computer Vision for Analysing Dynamical Scenes focusing Automotive Applications

abstract: This draft summarizes some basics about geometric computer vision needed to implement efficient computer vision algorithms for applications that use measurements from at least one digital camera mounted on a moving platform with a special focus on automotive applications processing image streams taken from cameras mounted on a car. Our intention is twofold: On the one hand, we would like to introduce well-known basic geometric relations in a compact way that can also be found in lecture books about geometric computer vision like [1, 2]. On the other hand, we would like to share some experience about subtleties that should be taken into account in order to set up quite simple but robust and fast vision algorithms that are able to run in real time. We added a conglomeration of literature, we found to be relevant when implementing basic algorithms like optical flow, visual odometry and structure from motion. The reader should get some feeling about how the estimates of these algorithms are interrelated, which parts of the algorithms are critical in terms of robustness and what kind of additional assumptions can be useful to constrain the solution space of the underlying usually non-convex optimization problems.


title: On bin packing with clustering and bin packing with delays

abstract: We continue the study of two recently introduced bin packing type problems, called bin packing with clustering, and online bin packing with delays. A bin packing input consists of items of sizes not larger than 1, and the goal is to partition or pack them into bins, where the total size of items of every valid bin cannot exceed 1. In bin packing with clustering, items also have colors associated with them. A globally optimal solution can combine items of different colors in bins, while a clustered solution can only pack monochromatic bins. The goal is to compare a globally optimal solution to an optimal clustered solution, under certain constraints on the coloring provided with the input. We show close bounds on the worst-case ratio between these two costs, called "the price of clustering", improving and simplifying previous results. Specifically, we show that the price of clustering does not exceed 1.93667, improving over the previous upper bound of 1.951, and that it is at least 1.93558, improving over the previous lower bound of 1.93344. In online bin packing with delays, items are presented over time. Items may wait to be packed, and an algorithm can create a new bin at any time, packing a subset of already existing unpacked items into it, under the condition that the bin is valid. A created bin cannot be used again in the future, and all items have to be packed into bins eventually. The objective is to minimize the number of used bins plus the sum of waiting costs of all items, called delays. We build on previous work and modify a simple phase-based algorithm. We combine the modification with a careful analysis to improve the previously known competitive ratio from 3.951 to below 3.1551.