title: ROOT I/O compression algorithms and their performance impact within Run 3

abstract: The LHCs Run3 will push the envelope on data-intensive workflows and, since at the lowest level this data is managed using the ROOT software framework, preparations for managing this data are starting already. At the beginning of LHC Run 1, all ROOT data was compressed with the ZLIB algorithm; since then, ROOT has added support for additional algorithms such as LZMA and LZ4, each with unique strengths. This work must continue as industry introduces new techniques - ROOT can benefit saving disk space or reducing the I/O and bandwidth for online and offline needs of experiments by introducing better compression algorithms. In addition to alternate algorithms, we have been exploring alternate techniques to improve parallelism and apply pre-conditioners to the serialized data. We have performed a survey of the performance of the new compression techniques. Our survey includes various use cases of data compression of ROOT files provided by different LHC experiments. We also provide insight into solutions applied to resolve bottlenecks in compression algorithms, resulting in improved ROOT performance.


title: Constraints on 3- and 4-loop $\beta$-functions in a general four-dimensional Quantum Field Theory

abstract: The $ \beta $-functions of marginal couplings are known to be closely related to the $ A $-function through Osborn's equation, derived using the local renormalization group. It is possible to derive strong constraints on the $\beta$-functions by parametrizing the terms in Osborn's equation as polynomials in the couplings, then eliminating unknown $\tilde{A}$ and $T_{IJ}$ coefficients. In this paper we extend this program to completely general gauge theories with arbitrarily many Abelian and non-Abelian factors. We detail the computational strategy used to extract consistency conditions on $ \beta $-functions, and discuss our automation of the procedure. Finally, we implement the procedure up to 4-, 3-, and 2-loops for the gauge, Yukawa and quartic couplings respectively, corresponding to the present forefront of general $ \beta $-function computations. We find an extensive collection of highly non-trivial constraints, and argue that they constitute an useful supplement to traditional perturbative computations; as a corollary, we present the complete 3-loop gauge $\beta$-function of a general QFT in the $\bar{\text{MS}}$ scheme, including kinetic mixing.


title: On the equivalence of the scalar and vector equilibrium problems for a pair of functions forming a Nikishin system

abstract: We prove the equivalence of the vector and scalar equilibrium problems which arise naturally in the study of the limit zeros distribution of type I Hermite--Pad\'e polynomials for a pair of functions forming a Nikishin system.


title: Circular maximal functions on the Heisenberg group

abstract: We prove the $L^p$ boundedness of the circular maximal function on the Heisenberg group $\mathbb{H}^1$ for $2<p\le \infty$. The proof is based on the square sum estimate associated with the $2\times 2$ cone $|(\xi_1',\xi_2')|= |(\xi_3',\xi_4')| $ of the phase space arising from the vector fields $X_1,X_2,tX_3,\partial/\partial t$ on the Heisenberg group, rather than the $2\times 1$ cone $ |(\xi_1,\xi_2)|= |\xi_3|$ of the frequency space arising from $\partial/\partial x_1, \partial/\partial x_2, \partial/\partial t$ on the Euclidean space.


title: Existence Theory for the EED Inpainting Problem

abstract: We establish an existence theory for an elliptic boundary value problem in image analysis known as edge-enhancing diffusion (EED) inpainting. The EED inpainting problem aims at restoring missing data in an image as steady state of a nonlinear anisotropic diffusion process where the known data provide Dirichlet boundary conditions. We prove existence of a weak solution by applying the Leray-Schauder Fixed point theorem and show that the set of all possible weak solutions is bounded. Moreover, we demonstrate that under certain conditions, the sequences resulting from iterative application of the operator from the existence theory contain convergent subsequences.


title: Minimum main sequence mass in quadratic Palatini $f(\mathcal{R})$ gravity

abstract: General Relativity yields an analytical prediction of a minimum required mass of roughly $\sim 0.08-0.09 M_{\odot}$ for a star to stably burn sufficient hydrogen to fully compensate photospheric losses and, therefore, to belong to the main sequence. Those objects below this threshold (brown dwarfs) eventually cool down without any chance to stabilize their internal temperature. In this work we consider quadratic Palatini $f(\mathcal{R})$ gravity and show that the corresponding newtonian hydrostatic equilibrium equation contains a new term whose effect is to introduce a weakening/strenghtening of the gravitational interaction inside astrophysical bodies. This fact modifies the General Relativity prediction for this minimum main sequence mass. Through a crude analytical modelling we use this result in order to constraint a combination of the quadratic $f(\mathcal{R})$ gravity parameter and the central density according to astrophysical observations.


title: Biomimetic Polymer Film with Brilliant Brightness Using a One-Step Water Vapor-Induced Phase Separation Method

abstract: The scales of the white Cyphochilus beetles are endowed with unusual whiteness arising from the exceptional scattering efficiency of their disordered ultrastructure optimized through millions of years of evolution. Here, a simple, one-step method based on water vapor-induced phase separation (VIPS) is developed to prepare ultra-thin polystyrene (PS) films with similar microstructure and comparable optical performance. A typical biomimetic 3.5 um PS film exhibits a diffuse reflectance of 61% at 500 nm, which translates into a transport mean free path below 1 um. A complete optical characterization through Monte Carlo simulations reveals how such scattering performance arises from the scattering coefficient and scattering anisotropy, whose interplay provides insight into the morphological properties of the material. The potential of bright-white coatings as smart sensors or wearable devices is highlighted using a treated ultra-thin film as a real-time sensor for human exhalation.


title: Bias-Aware Inference in Fuzzy Regression Discontinuity Designs

abstract: We propose new confidence sets (CSs) for the regression discontinuity parameter in fuzzy designs. Our CSs are based on local linear regression, and are bias-aware, in the sense that they take possible bias explicitly into account. Their construction shares similarities with that of Anderson-Rubin CSs in exactly identified instrumental variable models, and thereby avoids issues with "delta method" approximations that underlie most commonly used existing inference methods for fuzzy regression discontinuity analysis. Our CSs are asymptotically equivalent to existing procedures in canonical settings with strong identification and a continuous running variable. However, due to their particular construction they are also valid under a wide range of empirically relevant conditions in which existing methods can fail, such as setups with discrete running variables, donut designs, and weak identification.


title: SCGDet: Malware Detection using Semantic Features Based on Reachability Relation

abstract: Recently, with the booming development of software industry, more and more malware variants are designed to perform malicious behaviors. The evolution of malware makes it difficult to detect using traditional signature-based methods. Moreover, malware detection has important effect on system security. In this paper, we present SCGDet, which is a novel malware detection method based on system call graph model (SCGM). We first develop a system call pruning method, which can exclude system calls that have little impact on malware detection. Then we propose the SCGM, which can capture the semantic features of run-time program by grouping the system calls based on the reachability relation. We aim to obtain the generic representation of malicious behaviors with similar system call patterns. We evaluate the performance of SCGDet using different machine learning algorithms on the dataset including 854 malware samples and 740 benign samples. Compared with the traditional n-gram method, the SCGDet has the smaller feature space, the higher detection accuracy and the lower false positives. Experimental results show that SCGDet can reduce the average FPR of 14.75% and improve the average Accuracy of 8.887%, and can obtain a TPR of 97.44%, an FPR of 1.96% and an Accuracy of 97.78% in the best case.


title: The low-energy Goldstone mode in a trapped dipolar supersolid

abstract: A supersolid is a counter-intuitive state of matter that combines the frictionless flow of a superfluid with the crystal-like periodic density modulation of a solid. Since the first prediction in the 1950s, experimental efforts to realize this state have focussed mainly on Helium, where supersolidity remains elusive. Recently, supersolidity has also been studied intensively in ultracold quantum gases, and some of its defining properties have been induced in spin-orbit coupled Bose-Einstein condensates (BECs) and BECs coupled to two crossed optical cavities. However, the periodicity of the crystals in both systems is fixed to the wavelength of the applied periodic optical potentials. Recently, hallmark properties of a supersolid -- the periodic density modulation and simultaneous global phase coherence -- have been observed in arrays of dipolar quantum droplets, where the crystallization happens in a self-organized manner due to intrinsic interactions. In this letter, we prove the genuine supersolid nature of these droplet arrays by directly observing the low-energy Goldstone mode. The dynamics of this mode is reminiscent of the effect of second sound in other superfluid systems and features an out-ofphase oscillation of the crystal array and the superfluid density. This mode exists only due to the phase rigidity of the experimentally realized state, and therefore confirms the genuine superfluidity of the supersolid.


title: Scale Invariant Fully Convolutional Network: Detecting Hands Efficiently

abstract: Existing hand detection methods usually follow the pipeline of multiple stages with high computation cost, i.e., feature extraction, region proposal, bounding box regression, and additional layers for rotated region detection. In this paper, we propose a new Scale Invariant Fully Convolutional Network (SIFCN) trained in an end-to-end fashion to detect hands efficiently. Specifically, we merge the feature maps from high to low layers in an iterative way, which handles different scales of hands better with less time overhead comparing to concatenating them simply. Moreover, we develop the Complementary Weighted Fusion (CWF) block to make full use of the distinctive features among multiple layers to achieve scale invariance. To deal with rotated hand detection, we present the rotation map to get rid of complex rotation and derotation layers. Besides, we design the multi-scale loss scheme to accelerate the training process significantly by adding supervision to the intermediate layers of the network. Compared with the state-of-the-art methods, our algorithm shows comparable accuracy and runs a 4.23 times faster speed on the VIVA dataset and achieves better average precision on Oxford hand detection dataset at a speed of 62.5 fps.


title: Hierarchical multiscale finite element method for multi-continuum media

abstract: Simulation in media with multiple continua where each continuum interacts with every other is often challenging due to multiple scales and high contrast. One needs some types of model reduction. One of the approaches is multi-continuum technique, where every process in each continuum is modeled separately and an interaction term is added. Direct numerical simulation in multi scale media is usually not practicable. For this reason, one constructs the corresponding homogenized equations. The paper develops a hierarchical approach for solving cell problems at a dense network of macroscopic points with an essentially optimal computation cost. The method employs the fact that neighboring representative volume elements (RVEs) share similar features; and effective properties of the neighboring RVEs are close to each other. The hierarchical approach reduces computation cost by using different levels of resolution for cell problems at different macroscopic points. The method requires a hierarchy of macroscopic grid points and a corresponding nested approximation spaces with different levels of resolution. Each level of macroscopic points is assigned to an approximation finite element (FE) space which is used to solve the cell problems at the macroscopic points in that level. We prove rigorously that this hierarchical method achieves the same level of accuracy as that of the full solve where cell problems at every macroscopic point are solved using the FE spaces with the highest level of resolution, but at the essentially optimal computation cost. Numerical implementation that computes effective permeabilities of a two scale multicontinuum system via the numerical solutions of the cell problems supports the analytical results. Finally, we prove the homogenization convergence for our multiscale multi-continuum system.


title: Distance Matrix of a Class of Completely Positive Graphs: Determinant and Inverse

abstract: A real symmetric matrix $A$ is said to be completely positive if it can be written as $BB^t$ for some (not necessarily square) nonnegative matrix $B$. A simple graph $G$ is called a completely positive graph if every doubly nonnegative matrix realization of $G$ is a completely positive matrix. Our aim in this manuscript is to compute the determinant and inverse (when it exists) of the distance matrix of a class of completely positive graphs. Similar to trees, we obtain a relation for the inverse of the distance matrix of a class of completely positive graphs involving the Laplacian matrix, a rank one matrix and a matrix $\mathcal{R}$. We also determine the eigenvalues of some principal submatrices of matrix $\mathcal{R}$.


title: Nanoscale Sensing and Quantum Coherence

abstract: Small solid state qubits, most prominently single spins in solids, can be remarkable sensors for various physical quantities ranging from magnetic fields to temperature. They package the performance of their bulk semiconductor counterparts into a nanoscale device, sometimes as small as a single atom. This review is a minimalist introduction into this concept. It gives a brief summary of quantum coherence, Ramsey spectroscopy and a derivation of the "standard quantum limit" of the sensitivity that a single-qubit sensor can reach. It goes on to discuss the surprising improvement that dynamical decoupling has brought about and concludes with an outlook to the major frontiers of the field.


title: Geometric localization in supported elastic struts

abstract: Localized deformation patterns are a common motif in morphogenesis and are increasingly finding widespread applications in materials science, for instance as memory devices. Here we describe the emergence of spatially localized deformations in a minimal mechanical system by exploring the impact of growth and shear on the conformation of a semi-flexible filament connected to a pliable shearable substrate. We combine numerical simulations of a discrete rod model with theoretical analysis of the differential equations recovered in the continuum limit to quantify (in the form of scaling laws) how geometry, mechanics, and growth act together to give rise to such localized structures in this system. We find that spatially localized deformations along the filament emerge for intermediate shear modulus and increasing growth. Finally, we use experiments on a 3D printed multi-material model system to demonstrate that external control of the amount of shear and growth regulates the spatial extent of the localized strain texture.


title: New Examples on Lavrentiev Gap Using Fractals

abstract: Zhikov showed 1986 with his famous checkerboard example that functionals with variable exponents can have a Lavrentiev gap. For this example it was crucial that the exponent had a saddle point whose value was exactly the dimension. In 1997 he extended this example to the setting of the double phase potential. Again it was important that the exponents crosses the dimensional threshold. Therefore, it was conjectured that the dimensional threshold plays an important role for the Lavrentiev gap. We show that this is not the case. Using fractals we present new examples for the Lavrentiev gap and non-density of smooth functions. We apply our method to the setting of variable exponents, the double phase potential and weighted p-energy.


title: Prime Ends Dynamics in Parametrised Families of Rotational Attractors

abstract: We provide several new examples in dynamics on the $2$-sphere, with the emphasis on better understanding the induced boundary dynamics of invariant domains in parametrized families. First, motivated by a topological version of the Poincar\'e-Bendixson Theorem obtained recently by Koropecki and Passeggi, we show the existence of homeomorphisms of $\mathbb{S}^2$ with Lakes of Wada rotational attractors, with an arbitrarily large number of complementary domains, and with or without fixed points, that are arbitrarily close to the identity. This answers a question of Le Roux. Second, from reduced Arnold's family we construct a parametrised family of Birkhoff-like cofrontier attractors, where at least for uncountably many choices of the parameters, two distinct irrational prime ends rotation numbers are induced from the two complementary domains. This example complements the resolution of Walker's Conjecture by Koropecki, Le Calvez and Nassiri from 2015. Third, answering a question of Boyland, we show that there exists a non-transitive Birkhoff-like attracting cofrontier which is obtained from a BBM embedding of inverse limit of circles, such that the interior prime ends rotation number belongs to the interior of the rotation interval of the cofrontier dynamics. There exists another BBM embedding of the same attractor so that the two induced prime ends rotation numbers are exactly the two endpoints of the rotation interval.


title: Double-sided Taylor's approximations and their applications in theory of trigonometric inequalities

abstract: In this paper the double-sided Talor's approximations are used to obtain generalisations and improvements of some trigonometric inequalities.


title: Stability problems in non autonomous linear differential equations in infinite dimensions

abstract: One goal of this paper is to study robustness of stability of nonautonomous linear ordinary differential equations under integrally small perturbations in an infinite dimensional Banach space. Some applications are obtained to the case of rapid oscillatory perturbations, with arbitrary small periods, showing that even in this case the stability is robust. These results extend to infinite dimensions some results given in Coppel (1970). Based in Rodrigues (1970) and in Kloeden and Rodrigues (2011) we introduce a class of functions that we call Generalized Almost Periodic Functions that extend the usual almost periodic functions and are suitable to deal with oscillatory perturbations. We also present an infinite dimensional example of the previous results. We show in another example that it is possible to stabilize an unstable system using a perturbation with large period and small mean value. Finally, we give an example where we stabilize an unstable linear ODE with small perturbation in infinite dimensions using some ideas developed in Rodrigues andSol\`a-Morales (2019)} and in an example of Kakutani, see Rickard (1960).


title: Creation of User Friendly Datasets: Insights from a Case Study concerning Explanations of Loan Denials

abstract: Most explainable AI (XAI) techniques are concerned with the design of algorithms to explain the AI's decision. However, the data that is used to train these algorithms may contain features that are often incomprehensible to an end-user even with the best XAI algorithms. Thus, the problem of explainability has to be addressed starting right from the data creation step. In this paper, we studied this problem considering the use-case of explaining loan denials to end-users as opposed to AI engineers or domain experts. Motivated by the lack of datasets that are representative of user-friendly explanations, we build the first-of-its-kind dataset that is representative of user-friendly explanations for loan denials. The paper shares some of the insights gained in curating the dataset. First, existing datasets seldom contain features that end users consider as acceptable in understanding a model's decision. Second, understanding of the explanation's context such as the human-in-the-loop seeking the explanation, and the purpose for which an explanation is sought, aids in the creation of user-friendly datasets. Thus, our dataset, which we call Xnet, also contains explanations that serve different purposes: those that educate the loan applicants, and help them take appropriate action towards a future approval. We hope this work will trigger the creation of new user friendly datasets, and serve as a guide for the curation of such datasets.


title: Frequency of planets orbiting M dwarfs in the Solar neighbourhood

abstract: The most abundant stars in the Galaxy, M dwarfs, are very commonly hosts to diverse systems of low-mass planets. Their abundancy implies that the general occurrence rate of planets is dominated by their occurrence rate around such M dwarfs. In this article, we combine the M dwarf surveys conducted with the HIRES/Keck, PFS/Magellan, HARPS/ESO, and UVES/VLT instruments supported with data from several other instruments. We analyse the radial velocities of an approximately volume- and brightness-limited sample of 426 nearby M dwarfs in order to search for Doppler signals of cadidate planets. In addition, we analyse spectroscopic activity indicators and ASAS photometry to rule out radial velocity signals corresponding to stellar activity as Doppler signals of planets. We calculate estimates for the occurrence rate of planets around the sample stars and study the properties of this occurrence rate as a function of stellar properties. Our analyses reveal a total of 118 candidate planets orbiting nearby M dwarfs. Based on our results accounting for selection effects and sample detection threshold, we estimate that M dwarfs have on average at least 2.39$^{+4.58}_{-1.36}$ planets per star orbiting them. Accounting for the different sensitivities of radial velocity surveys and Kepler transit photometry implies that there are at least 3.0 planets per star orbiting M dwarfs. We also present evidence for a population of cool mini-Neptunes and Neptunes with indications that they are found an order of magnitude more frequently orbiting the least massive M dwarfs in our sample.


title: Learning Symmetries of Classical Integrable Systems

abstract: The solution of problems in physics is often facilitated by a change of variables. In this work we present neural transformations to learn symmetries of Hamiltonian mechanical systems. Maintaining the Hamiltonian structure requires novel network architectures that parametrize symplectic transformations. We demonstrate the utility of these architectures by learning the structure of integrable models. Our work exemplifies the adaptation of neural transformations to a family constrained by more than the condition of invertibility, which we expect to be a common feature of applications of these methods.


title: On triangulable tensor products of B-pairs and trianguline representations

abstract: We show that if V and V' are two p-adic representations of Gal(Qp^alg/Qp) whose tensor product is trianguline, then V and V' are both potentially trianguline.


title: A Proximal Point Dual Newton Algorithm for Solving Group Graphical Lasso Problems

abstract: Undirected graphical models have been especially popular for learning the conditional independence structure among a large number of variables where the observations are drawn independently and identically from the same distribution. However, many modern statistical problems would involve categorical data or time-varying data, which might follow different but related underlying distributions. In order to learn a collection of related graphical models simultaneously, various joint graphical models inducing sparsity in graphs and similarity across graphs have been proposed. In this paper, we aim to propose an implementable proximal point dual Newton algorithm (PPDNA) for solving the group graphical Lasso model, which encourages a shared pattern of sparsity across graphs. Though the group graphical Lasso regularizer is non-polyhedral, the asymptotic superlinear convergence of our proposed method PPDNA can be obtained by leveraging on the local Lipschitz continuity of the Karush-Kuhn-Tucker solution mapping associated with the group graphical Lasso model. A variety of numerical experiments on real data sets illustrates that the PPDNA for solving the group graphical Lasso model can be highly efficient and robust.


title: Analysis of Optimization Algorithms via Sum-of-Squares

abstract: We introduce a new framework for unifying and systematizing the performance analysis of first-order black-box optimization algorithms for unconstrained convex minimization. The low-cost iteration complexity enjoyed by first-order algorithms renders them particularly relevant for applications in machine learning and large-scale data analysis. Relying on sum-of-squares (SOS) optimization, we introduce a hierarchy of semidefinite programs that give increasingly better convergence bounds for higher levels of the hierarchy. Alluding to the power of the SOS hierarchy, we show that the (dual of the) first level corresponds to the Performance Estimation Problem (PEP) introduced by Drori and Teboulle [Math. Program., 145(1):451--482, 2014], a powerful framework for determining convergence rates of first-order optimization algorithms. Consequently, many results obtained within the PEP framework can be reinterpreted as degree-1 SOS proofs, and thus, the SOS framework provides a promising new approach for certifying improved rates of convergence by means of higher-order SOS certificates. To determine analytical rate bounds, in this work we use the first level of the SOS hierarchy and derive new result{s} for noisy gradient descent with inexact line search methods (Armijo, Wolfe, and Goldstein).


title: `Project & Excite' Modules for Segmentation of Volumetric Medical Scans

abstract: Fully Convolutional Neural Networks (F-CNNs) achieve state-of-the-art performance for image segmentation in medical imaging. Recently, squeeze and excitation (SE) modules and variations thereof have been introduced to recalibrate feature maps channel- and spatial-wise, which can boost performance while only minimally increasing model complexity. So far, the development of SE has focused on 2D images. In this paper, we propose `Project & Excite' (PE) modules that base upon the ideas of SE and extend them to operating on 3D volumetric images. `Project & Excite' does not perform global average pooling, but squeezes feature maps along different slices of a tensor separately to retain more spatial information that is subsequently used in the excitation step. We demonstrate that PE modules can be easily integrated in 3D U-Net, boosting performance by 5% Dice points, while only increasing the model complexity by 2%. We evaluate the PE module on two challenging tasks, whole-brain segmentation of MRI scans and whole-body segmentation of CT scans. Code: https://github.com/ai-med/squeeze_and_excitation


title: Comment (2) on "Quantum Transfiguration of Kruskal Black Holes"

abstract: An explicit calculation shows that the model constructed in arXiv:1806.00648 violates general covariance. It is therefore unphysical and does not determine properties of space-time or black holes.


title: Gated CRF Loss for Weakly Supervised Semantic Image Segmentation

abstract: State-of-the-art approaches for semantic segmentation rely on deep convolutional neural networks trained on fully annotated datasets, that have been shown to be notoriously expensive to collect, both in terms of time and money. To remedy this situation, weakly supervised methods leverage other forms of supervision that require substantially less annotation effort, but they typically present an inability to predict precise object boundaries due to approximate nature of the supervisory signals in those regions. While great progress has been made in improving the performance, many of these weakly supervised methods are highly tailored to their own specific settings. This raises challenges in reusing algorithms and making steady progress. In this paper, we intentionally avoid such practices when tackling weakly supervised semantic segmentation. In particular, we train standard neural networks with partial cross-entropy loss function for the labeled pixels and our proposed Gated CRF loss for the unlabeled pixels. The Gated CRF loss is designed to deliver several important assets: 1) it enables flexibility in the kernel construction to mask out influence from undesired pixel positions; 2) it offloads learning contextual relations to CNN and concentrates on semantic boundaries; 3) it does not rely on high-dimensional filtering and thus has a simple implementation. Throughout the paper we present the advantages of the loss function, analyze several aspects of weakly supervised training, and show that our `purist' approach achieves state-of-the-art performance for both click-based and scribble-based annotations.


title: Ergodicity-breaking reveals time optimal decision making in humans

abstract: Ergodicity describes an equivalence between the expectation value and the time average of observables. Applied to human behaviour, ergodic theories of decision-making reveal how individuals should tolerate risk in different environments. To optimise wealth over time, agents should adapt their utility function according to the dynamical setting they face. Linear utility is optimal for additive dynamics, whereas logarithmic utility is optimal for multiplicative dynamics. Whether humans approximate time optimal behavior across different dynamics is unknown. Here we compare the effects of additive versus multiplicative gamble dynamics on risky choice. We show that utility functions are modulated by gamble dynamics in ways not explained by prevailing decision theory. Instead, as predicted by time optimality, risk aversion increases under multiplicative dynamics, distributing close to the values that maximise the time average growth of wealth. We suggest that our findings motivate a need for explicitly grounding theories of decision-making on ergodic considerations.


title: Set-up for multi coincidence experiments of EUV to VIS photons and charged particles -- the solid angle maximization approach

abstract: The coincident detection of particles is a powerful method in experimental physics, enabling the investigation of a variety of projectile-target interactions. The vast majority of coincidence experiments is performed with charged particles, as they can be guided by electric or magnetic fields to yield large detection probabilities. When a neutral species or a photon is one of the particles recorded in coincidence, its detection probability typically suffers from small solid angles. Here, we present two optical assemblies considerably enhancing the solid angle for EUV to VIS photon detection. The efficiency and versatility of these assemblies is demonstrated for electron-photon coincidence detection, where electrons and photons emerge from fundamental processes after photoexcitation of gaseous samples by synchrotron radiation.


title: Wavefunction positivization via automatic differentiation

abstract: We introduce a procedure to systematically search for a local unitary transformation that maps a wavefunction with a non-trivial sign structure into a positive-real form. The transformation is parametrized as a quantum circuit compiled into a set of one and two qubit gates. We design a cost function that maximizes the average sign of the output state and removes its complex phases. The optimization of the gates is performed through automatic differentiation algorithms, widely used in the machine learning community. We provide numerical evidence for significant improvements in the average sign for a two-leg triangular Heisenberg ladder with next-to-nearest neighbour and ring-exchange interactions. This model exhibits phases where the sign structure can be removed by simple local one-qubit unitaries, but also an exotic Bose-metal phase whose sign structure induces "Bose surfaces" with a fermionic character and a higher entanglement that requires deeper circuits.


title: Journal Name Extraction from Japanese Scientific News Articles

abstract: In Japanese scientific news articles, although the research results are described clearly, the article's sources tend to be uncited. This makes it difficult for readers to know the details of the research. In this paper, we address the task of extracting journal names from Japanese scientific news articles. We hypothesize that a journal name is likely to occur in a specific context. To support the hypothesis, we construct a character-based method and extract journal names using this method. This method only uses the left and right context features of journal names. The results of the journal name extractions suggest that the distribution hypothesis plays an important role in identifying the journal names.


title: Deep learning control of artificial avatars in group coordination tasks

abstract: In many joint-action scenarios, humans and robots have to coordinate their movements to accomplish a given shared task. Lifting an object together, sawing a wood log, transferring objects from a point to another are all examples where motor coordination between humans and machines is a crucial requirement. While the dyadic coordination between a human and a robot has been studied in previous investigations, the multi-agent scenario in which a robot has to be integrated into a human group still remains a less explored field of research. In this paper we discuss how to synthesise an artificial agent able to coordinate its motion in human ensembles. Driven by a control architecture based on deep reinforcement learning, such an artificial agent will be able to autonomously move itself in order to synchronise its motion with that of the group while exhibiting human-like kinematic features. As a paradigmatic coordination task we take a group version of the so-called mirror-game which is highlighted as a good benchmark in the human movement literature.


title: Mesh adaptivity for quasi-static phase-field fractures based on a residual-type a posteriori error estimator

abstract: In this work, we consider adaptive mesh refinement for a monolithic phase-field description for fractures in brittle materials. Our approach is based on an a posteriori error estimator for the phase-field variational inequality realizing the fracture irreversibility constraint. The key goal is the development of a reliable and efficient residual-type error estimator for the phase-field fracture model in each time-step. Based on this error estimator, error indicators for local mesh adaptivity are extracted. The proposed estimator is based on a technique known for singularly perturbed equations in combination with estimators for variational inequalities. These theoretical developments are used to formulate an adaptive mesh refinement algorithm. For the numerical solution, the fracture irreversibility is imposed using a Lagrange multiplier. The resulting saddle-point system has three unknowns: displacements, phase-field, and a Lagrange multiplier for the crack irreversibility. Several numerical experiments demonstrate our theoretical findings with the newly developed estimators and the corresponding refinement strategy.


title: Residual estimates for post-processors in elliptic problems

abstract: In this work we examine a posteriori error control for post-processed approximations to elliptic boundary value problems. We introduce a class of post-processing operator that `tweaks' a wide variety of existing post-processing techniques to enable efficient and reliable a posteriori bounds to be proven. This ultimately results in optimal error control for all manner of reconstruction operators, including those that superconverge. We showcase our results by applying them to two classes of very popular reconstruction operators, the Smoothness-Increasing Accuracy-Enhancing filter and Superconvergent Patch Recovery. Extensive numerical tests are conducted that confirm our analytic findings.


title: Stable Rank Normalization for Improved Generalization in Neural Networks and GANs

abstract: Exciting new work on the generalization bounds for neural networks (NN) given by Neyshabur et al. , Bartlett et al. closely depend on two parameter-depenedent quantities: the Lipschitz constant upper-bound and the stable rank (a softer version of the rank operator). This leads to an interesting question of whether controlling these quantities might improve the generalization behaviour of NNs. To this end, we propose stable rank normalization (SRN), a novel, optimal, and computationally efficient weight-normalization scheme which minimizes the stable rank of a linear operator. Surprisingly we find that SRN, inspite of being non-convex problem, can be shown to have a unique optimal solution. Moreover, we show that SRN allows control of the data-dependent empirical Lipschitz constant, which in contrast to the Lipschitz upper-bound, reflects the true behaviour of a model on a given dataset. We provide thorough analyses to show that SRN, when applied to the linear layers of a NN for classification, provides striking improvements-11.3% on the generalization gap compared to the standard NN along with significant reduction in memorization. When applied to the discriminator of GANs (called SRN-GAN) it improves Inception, FID, and Neural divergence scores on the CIFAR 10/100 and CelebA datasets, while learning mappings with low empirical Lipschitz constants.


title: Two-step Constructive Approaches for Dungeon Generation

abstract: This paper presents a two-step generative approach for creating dungeons in the rogue-like puzzle game MiniDungeons 2. Generation is split into two steps, initially producing the architectural layout of the level as its walls and floor tiles, and then furnishing it with game objects representing the player's start and goal position, challenges and rewards. Three layout creators and three furnishers are introduced in this paper, which can be combined in different ways in the two-step generative process for producing diverse dungeons levels. Layout creators generate the floors and walls of a level, while furnishers populate it with monsters, traps, and treasures. We test the generated levels on several expressivity measures, and in simulations with procedural persona agents.


title: Faster Algorithms for High-Dimensional Robust Covariance Estimation

abstract: We study the problem of estimating the covariance matrix of a high-dimensional distribution when a small constant fraction of the samples can be arbitrarily corrupted. Recent work gave the first polynomial time algorithms for this problem with near-optimal error guarantees for several natural structured distributions. Our main contribution is to develop faster algorithms for this problem whose running time nearly matches that of computing the empirical covariance. Given $N = \tilde{\Omega}(d^2/\epsilon^2)$ samples from a $d$-dimensional Gaussian distribution, an $\epsilon$-fraction of which may be arbitrarily corrupted, our algorithm runs in time $\tilde{O}(d^{3.26})/\mathrm{poly}(\epsilon)$ and approximates the unknown covariance matrix to optimal error up to a logarithmic factor. Previous robust algorithms with comparable error guarantees all have runtimes $\tilde{\Omega}(d^{2 \omega})$ when $\epsilon = \Omega(1)$, where $\omega$ is the exponent of matrix multiplication. We also provide evidence that improving the running time of our algorithm may require new algorithmic techniques.


title: Study of spin-spin correlations between quark and a spin-$\frac{1}{2}$ particle

abstract: We study the correlation between the fermion composite system and quark spins by using the light-cone quark-diquark model. We do the calculations for $u$-quark and $d$-quark in the fermion system by considering the different polarization configrations of both. The contribution from scalar and axial-vector diquarks is taken into account. The overlap represenation of light-front wavefunctions is used for the calculations. The spin-spin correlations for $u$ and $d$ quarks are presented in transverse impact-parameter plane and transverse momentum plane as well.


title: Control contribution identifies top driver nodes in complex networks

abstract: We propose a new measure to quantify the impact of a node $i$ in controlling a directed network. This measure, called `control contribution' $\mathcal{C}_{i}$, combines the probability for node $i$ to appear in a set of driver nodes and the probability for other nodes to be controlled by $i$. To calculate $\mathcal{C}_{i}$, we propose an optimization method based on random samples of minimum sets of drivers. Using real-world and synthetic networks, we find very broad distributions of $C_{i}$. Ranking nodes according to their $C_{i}$ values allows us to identify the top driver nodes that control most of the network. We show that this ranking is superior to rankings based on control capacity or control range. We find that control contribution indeed contains new information that cannot be traced back to degree, control capacity or control range of a node.


title: Extracting Interpretable Concept-Based Decision Trees from CNNs

abstract: In an attempt to gather a deeper understanding of how convolutional neural networks (CNNs) reason about human-understandable concepts, we present a method to infer labeled concept data from hidden layer activations and interpret the concepts through a shallow decision tree. The decision tree can provide information about which concepts a model deems important, as well as provide an understanding of how the concepts interact with each other. Experiments demonstrate that the extracted decision tree is capable of accurately representing the original CNN's classifications at low tree depths, thus encouraging human-in-the-loop understanding of discriminative concepts.


title: Wild Singularities of Kummer Varieties

abstract: In characteristic $p=2$, we compute the singularities of Kummer varieties arising from products of elliptic curves. This result is generalized to Kummer varieties associated to ordinary abelian varieties.


title: Quantum, Nonlocal Aberration Cancellation

abstract: Phase distortions, or aberrations, can negatively influence the performance of an optical imaging system. Through the use of position-momentum entangled photons, we nonlocally correct for aberrations in one photon's optical path by intentionally introducing the complementary aberrations in the optical path of the other photon. In particular, we demonstrate the simultaneous nonlocal cancellation of aberrations that are of both even and odd order in the photons' transverse degrees of freedom. We also demonstrate a potential application of this technique by nonlocally cancelling the effect of defocus in a quantum imaging experiment and thereby recover the original spatial resolution.


title: Atomically-thin micas as proton conducting membranes

abstract: Monolayers of graphene and hexagonal boron nitride (hBN) are highly permeable to thermal protons. For thicker two-dimensional (2D) materials, proton conductivity diminishes exponentially so that, for example, monolayer MoS2 that is just three atoms thick is completely impermeable to protons. This seemed to suggest that only one-atom-thick crystals could be used as proton conducting membranes. Here we show that few-layer micas that are rather thick on the atomic scale become excellent proton conductors if native cations are ion-exchanged for protons. Their areal conductivity exceeds that of graphene and hBN by one-two orders of magnitude. Importantly, ion-exchanged 2D micas exhibit this high conductivity inside the infamous gap for proton-conducting materials, which extends from 100 C to 500 C. Areal conductivity of proton-exchanged monolayer micas can reach above 100 S cm-2 at 500 C, well above the current requirements for the industry roadmap. We attribute the fast proton permeation to 5 A-wide tubular channels that perforate micas' crystal structure which, after ion exchange, contain only hydroxyl groups inside. Our work indicates that there could be other 2D crystals with similar nm-scale channels, which could help close the materials gap in proton-conducting applications.


title: Characterization and valuation of uncertainty of calibrated parameters in stochastic decision models

abstract: We evaluated the implications of different approaches to characterize uncertainty of calibrated parameters of stochastic decision models (DMs) in the quantified value of such uncertainty in decision making. We used a microsimulation DM of colorectal cancer (CRC) screening to conduct a cost-effectiveness analysis (CEA) of a 10-year colonoscopy screening. We calibrated the natural history model of CRC to epidemiological data with different degrees of uncertainty and obtained the joint posterior distribution of the parameters using a Bayesian approach. We conducted a probabilistic sensitivity analysis (PSA) on all the model parameters with different characterizations of uncertainty of the calibrated parameters and estimated the value of uncertainty of the different characterizations with a value of information analysis. All analyses were conducted using high performance computing resources running the Extreme-scale Model Exploration with Swift (EMEWS) framework. The posterior distribution had high correlation among some parameters. The parameters of the Weibull hazard function for the age of onset of adenomas had the highest posterior correlation of -0.958. Considering full posterior distributions and the maximum-a-posteriori estimate of the calibrated parameters, there is little difference on the spread of the distribution of the CEA outcomes with a similar expected value of perfect information (EVPI) of \$653 and \$685, respectively, at a WTP of \$66,000/QALY. Ignoring correlation on the posterior distribution of the calibrated parameters, produced the widest distribution of CEA outcomes and the highest EVPI of \$809 at the same WTP. Different characterizations of uncertainty of calibrated parameters have implications on the expect value of reducing uncertainty on the CEA. Ignoring inherent correlation among calibrated parameters on a PSA overestimates the value of uncertainty.


title: A Monte-Carlo Simulation of Double Parton Scattering

abstract: In this work, a new Monte-Carlo simulation of double parton scattering (DPS) at parton level is presented. The simulation is based on the QCD framework developed recently by M. Diehl, J. R. Gaunt and K. Sch\"{o}nwald. With this framework, the dynamics of the $1\to2$ perturbative splittings is consistently included inside the simulation, with the impact-parameter dependence taken into account. The simulation evolves simultaneously two hard systems from a common hard scale down to the hadronic scale. The evolution is performed using an angular-ordered parton shower which is combined with a set of double parton distributions that depend explicitly on the inter-parton distance. An illustrative study is performed in the context of same-sign WW production at the LHC, with the quark content of the proton being limited to three flavours. In several distributions we see differences compared to DPS models in Herwig, Pythia, and the DPS "pocket formula".


title: Automatic Multi-Sensor Extrinsic Calibration for Mobile Robots

abstract: In order to fuse measurements from multiple sensors mounted on a mobile robot, it is needed to express them in a common reference system through their relative spatial transformations. In this paper, we present a method to estimate the full 6DoF extrinsic calibration parameters of multiple heterogeneous sensors (Lidars, Depth and RGB cameras) suitable for automatic execution on a mobile robot. Our method computes the 2D calibration parameters (x, y, yaw) through a motion-based approach, while for the remaining 3 parameters (z, pitch, roll) it requires the observation of the ground plane for a short period of time. What set this proposal apart from others is that: i) all calibration parameters are initialized in closed form, and ii) the scale ambiguity inherent to motion estimation from a monocular camera is explicitly handled, enabling the combination of these sensors and metric ones (Lidars, stereo rigs, etc.) within the same optimization framework. %Additionally, outlier observations arising from local sensor drift are automatically detected and removed from the calibration process. We provide a formal definition of the problem, as well as of the contributed method, for which a C++ implementation has been made publicly available. The suitability of the method has been assessed in simulation an with real data from indoor and outdoor scenarios. Finally, improvements over state-of-the-art motion-based calibration proposals are shown through experimental evaluation.


title: Fibrations in sextic del Pezzo surfaces with mild singularities

abstract: We study sextic del Pezzo surface fibrations via root stacks.


title: Matricial characterization of tournaments with maximum number of diamonds

abstract: A diamond is a $4$-tournament which consists of a vertex dominating or dominated by a $3$-cycle. Assuming the existence of skew-conference matrices, we give a complete characterization of $n$-tournaments with the maximum number of diamonds when $n\equiv0\pmod{4}$ and $n\equiv3\pmod{4}$. For $n\equiv2\pmod{4}$, we obtain an upper bound on the number of diamonds in an $n$-tournament and we give a matricial characterization of tournaments achieving this bound.


title: Input Selection for Bandwidth-Limited Neural Network Inference

abstract: Data are often accommodated on centralized storage servers. This is the case, for instance, in remote sensing and astronomy, where projects produce several petabytes of data every year. While machine learning models are often trained on relatively small subsets of the data, the inference phase typically requires transferring significant amounts of data between the servers and the clients. In many cases, the bandwidth available per user is limited, which then renders the data transfer to be one of the major bottlenecks. In this work, we propose a framework that automatically selects the relevant parts of the input data for a given neural network. The model as well as the associated selection masks are trained simultaneously such that a good model performance is achieved while only a minimal amount of data is selected. During the inference phase, only those parts of the data have to be transferred between the server and the client. We propose both instance-independent and instance-dependent selection masks. The former ones are the same for all instances to be transferred, whereas the latter ones allow for variable transfer sizes per instance. Our experiments show that it is often possible to significantly reduce the amount of data needed to be transferred without affecting the model quality much.


title: Areas of triangles and SL_2 actions in finite rings

abstract: In Euclidean space, one can use the dot product to give a formula for the area of a triangle in terms of the coordinates of each vertex. Since this formula involves only addition, subtraction, and multiplication, it can be used as a definition of area in $R^2$, where $R$ is an arbitrary ring. The result is a quantity associated with triples of points which is still invariant under the action of $\text{SL}_2(R)$. One can then look at a configuration of points in $R^2$ in terms of the triangles determined by pairs of points and the origin, considering two such configurations to be of the same type if corresponding pairs of points determine the same areas. In this paper we consider the cases $R=\mathbb{F}_q$ and $R=\mathbb{Z}/p^\ell \mathbb{Z}$, and prove that sufficiently large subsets of $R^2$ must produce a positive proportion of all such types of configurations.


title: Taxonomy of Saliency Metrics for Channel Pruning

abstract: Pruning unimportant parameters can allow deep neural networks (DNNs) to reduce their heavy computation and memory requirements. A saliency metric estimates which parameters can be safely pruned with little impact on the classification performance of the DNN. Many saliency metrics have been proposed, each within the context of a wider pruning algorithm. The result is that it is difficult to separate the effectiveness of the saliency metric from the wider pruning algorithm that surrounds it. Similar-looking saliency metrics can yield very different results because of apparently minor design choices. We propose a taxonomy of saliency metrics based on four mostly-orthogonal principal components. We show that a broad range of metrics from the pruning literature can be grouped according to these components. Our taxonomy not only serves as a guide to prior work, but allows us to construct new saliency metrics by exploring novel combinations of our taxonomic components. We perform an in-depth experimental investigation of more than 300 saliency metrics. Our results provide decisive answers to open research questions, and demonstrate the importance of reduction and scaling when pruning groups of weights. We find that some of our constructed metrics can outperform the best existing state-of-the-art metrics for convolutional neural network channel pruning.


title: High bandwidth waveguide-integrated plasmonic germanium photodetector

abstract: Here we propose a waveguide-integrated germanium plasmonic photodetector that is based on a long-range dielectric-loaded surface plasmon polariton waveguide configuration. As this configuration ensures a long propagation distance, i.e., small absorption into metal, and a good mode field confinement, i.e., high interaction of the electric field with a germanium material, it is perfect for a realization of plasmonic germanium photodetectors. Such a photodetector even without optimization provides a responsivity exceeding 1 A/W for both wavelengths of 1310 nm and 1550 nm. To achieve such a responsivity, only a 5 {\mu}m-long waveguide is required for 1310 nm and 30 {\mu}m-long for 1550 nm. With optimization this value can be highly improved. In the proposed arrangement a metal stripe simultaneously supports a propagating mode and serves as one of the electrodes, while the second electrode is located a short distance from the waveguide. As a propagating mode is tightly confined to the germanium ridge, the external electrode can be placed very close to the waveguide without disturbing it. As such, the distance between electrodes can be smaller than 350 nm which allows one to achieve a bandwidth exceeding 100 GHz. However, as most of the carriers are generated inside a distance of 100 nm from a stripe, a bandwidth exceeding 150 GHz can be achieved for a bias voltage of -4 V.


title: Probing weakly hybridized magnetic molecules by spin-polarized tunneling

abstract: Advances in molecular spintronics rely on the in-depth characterization of the molecular building blocks in terms of their electronic and, more importantly, magnetic properties. For this purpose, inert substrates that interact only weakly with adsorbed molecules are required in order to preserve their electronic states. Here, we investigate the magnetic-field response of a single paramagnetic 5,5-dibromosalophenatocobalt(II) (CoSal) molecule adsorbed on a weakly interacting magnetic substrate, namely Fe-intercalated graphene (GR/Fe) grown on Ir(111), by using spin-polarized scanning tunneling microscopy and spectroscopy (SP-STM/STS). We have obtained local magnetization curves, spin-dependent tunneling spectra, and spatial maps of magnetic asymmetry for a single CoSal molecule, revealing its magnetic properties and coupling to the local environment. The distinct magnetic behavior of the Co-metal center is found to rely strictly on its position relative to the GR/Fe moire structure, which determines the level of hybridization between the GR/Fe surface pi-system, the molecular ligand pi-orbitals and the molecular Co-ion d-orbital.


title: StRE: Self Attentive Edit Quality Prediction in Wikipedia

abstract: Wikipedia can easily be justified as a behemoth, considering the sheer volume of content that is added or removed every minute to its several projects. This creates an immense scope, in the field of natural language processing towards developing automated tools for content moderation and review. In this paper we propose Self Attentive Revision Encoder (StRE) which leverages orthographic similarity of lexical units toward predicting the quality of new edits. In contrast to existing propositions which primarily employ features like page reputation, editor activity or rule based heuristics, we utilize the textual content of the edits which, we believe contains superior signatures of their quality. More specifically, we deploy deep encoders to generate representations of the edits from its text content, which we then leverage to infer quality. We further contribute a novel dataset containing 21M revisions across 32K Wikipedia pages and demonstrate that StRE outperforms existing methods by a significant margin at least 17% and at most 103%. Our pretrained model achieves such result after retraining on a set as small as 20% of the edits in a wikipage. This, to the best of our knowledge, is also the first attempt towards employing deep language models to the enormous domain of automated content moderation and review in Wikipedia.


title: Data-Driven Model Predictive Control with Stability and Robustness Guarantees

abstract: We propose a robust data-driven model predictive control (MPC) scheme to control linear time-invariant (LTI) systems. The scheme uses an implicit model description based on behavioral systems theory and past measured trajectories. In particular, it does not require any prior identification step, but only an initially measured input-output trajectory as well as an upper bound on the order of the unknown system. First, we prove exponential stability of a nominal data-driven MPC scheme with terminal equality constraints in the case of no measurement noise. For bounded additive output measurement noise, we propose a robust modification of the scheme, including a slack variable with regularization in the cost. We prove that the application of this robust MPC scheme in a multi-step fashion leads to practical exponential stability of the closed loop w.r.t. the noise level. The presented results provide the first (theoretical) analysis of closed-loop properties, resulting from a simple, purely data-driven MPC scheme.


title: Efficient Kernel-based Subsequence Search for User Identification from Walking Activity

abstract: This paper presents an efficient approach for subsequence search in data streams. The problem consists in identifying coherent repetitions of a given reference time-series, eventually multi-variate, within a longer data stream. Dynamic Time Warping (DTW) is the metric most widely used to implement pattern query, but its computational complexity is a well-known issue. In this paper we present an approach aimed at learning a kernel able to approximate DTW to be used for efficiently analyse streaming data collected from wearable sensors, reducing the burden of computation. Contrary to kernel, DTW allows for comparing time series with different length. Thus, to use a kernel, a feature embedding is used to represent a time-series as a fixed length vector. Each vector component is the DTW between the given time-series and a set of 'basis' series, usually randomly chosen. The vector size is the number of basis series used for the feature embedding. Searching for the portion of the data stream minimizing the DTW with the reference subsequence leads to a global optimization problem. The proposed approach has been validated on a benchmark dataset related to the identification of users depending on their walking activity. A comparison with a traditional DTW implementation is also provided.


title: A Hybrid Approach Between Adversarial Generative Networks and Actor-Critic Policy Gradient for Low Rate High-Resolution Image Compression

abstract: Image compression is an essential approach for decreasing the size in bytes of the image without deteriorating the quality of it. Typically, classic algorithms are used but recently deep-learning has been successfully applied. In this work, is presented a deep super-resolution work-flow for image compression that maps low-resolution JPEG image to the high-resolution. The pipeline consists of two components: first, an encoder-decoder neural network learns how to transform the downsampling JPEG images to high resolution. Second, a combination between Generative Adversarial Networks (GANs) and reinforcement learning Actor-Critic (A3C) loss pushes the encoder-decoder to indirectly maximize High Peak Signal-to-Noise Ratio (PSNR). Although PSNR is a fully differentiable metric, this work opens the doors to new solutions for maximizing non-differential metrics through an end-to-end approach between encoder-decoder networks and reinforcement learning policy gradient methods.


title: Regularity and projective dimension of powers of edge ideal of the disjoint union of some weighted oriented gap-free bipartite graphs

abstract: In this paper we provide some precise formulas for regularity of powers of edge ideal of the disjoint union of some weighted oriented gap-free bipartite graphs. For the projective dimension of such an edge ideal, we give its exact formula. Meanwhile, we also give the upper and lower bounds of projective dimension of higher power of such edge ideals. Some examples show that these formulas are related to direction selection.


title: Stability and Metastability of Traffic Dynamics in Uplink Random Access Networks

abstract: We characterize the stability, metastability, and the stationary regime of traffic dynamics in a single-cell uplink wireless system. The traffic is represented in terms of spatial birth-death processes, in which users arrive as a Poisson point process in time and space, each with a file to transmit to the base station. The service rate of each user is based on its signal to interference plus noise ratio, where the interference is from other active users in the cell. Once the file is fully transmitted, the user leaves the cell. We derive the necessary and sufficient condition for network stability, which is independent of the specific bounded path loss function. A novel observation is that for a certain range of arrival rates, the network appears stable for a possibly long time, and then suddenly exhibits instability. This property, which is known in statistical physics but rarely observed in wireless communication, is called metastability. Finally, we propose two heuristic characterizations based on mean-field interpretation, of the network steady-state regime when it exists. The first-order approximation is very simple to compute, but loose in some regimes, whereas the second-order approximation is more sophisticated but tight for the whole range of arrival rates.


title: Inter-sentence Relation Extraction with Document-level Graph Convolutional Neural Network

abstract: Inter-sentence relation extraction deals with a number of complex semantic relationships in documents, which require local, non-local, syntactic and semantic dependencies. Existing methods do not fully exploit such dependencies. We present a novel inter-sentence relation extraction model that builds a labelled edge graph convolutional neural network model on a document-level graph. The graph is constructed using various inter- and intra-sentence dependencies to capture local and non-local dependency information. In order to predict the relation of an entity pair, we utilise multi-instance learning with bi-affine pairwise scoring. Experimental results show that our model achieves comparable performance to the state-of-the-art neural models on two biochemistry datasets. Our analysis shows that all the types in the graph are effective for inter-sentence relation extraction.


title: Stokes theory of thin-film rupture

abstract: The structure of the flow induced by the van der Waals destabilization of a non-wetting liquid film placed on a solid substrate is unraveled by means of theory and numerical simulations of the Stokes equations. Our analysis reveals that lubrication theory, which yields $h_{\text{min}} \propto \tau^{1/5}$ where $h_{\text{min}}$ is the minimum film thickness and $\tau$ is the time until breakup, cannot be used to describe the local flow close to rupture. Instead, the slender lubrication solution is shown to experience a crossover to a universal self-similar solution of the Stokes equations that yields $h_{\text{min}} \propto \tau^{1/3}$, with an opening angle of $37^{\circ}$ off the solid.


title: An alternative construction of equivariant Tamagawa numbers

abstract: We propose a new formulation of the equivariant Tamagawa number conjecture (ETNC) for non-commutative coefficients. We remove Picard groupoids, determinant functors, virtual objects and relative K-groups. Our Tamagawa numbers lie in an idele group instead of any kind of K-group. Our formulation is proven equivalent to the one of Burns-Flach.


title: Generating Summaries with Topic Templates and Structured Convolutional Decoders

abstract: Existing neural generation approaches create multi-sentence text as a single sequence. In this paper we propose a structured convolutional decoder that is guided by the content structure of target summaries. We compare our model with existing sequential decoders on three data sets representing different domains. Automatic and human evaluation demonstrate that our summaries have better content coverage.


title: An Improved Analysis of Training Over-parameterized Deep Neural Networks

abstract: A recent line of research has shown that gradient-based algorithms with random initialization can converge to the global minima of the training loss for over-parameterized (i.e., sufficiently wide) deep neural networks. However, the condition on the width of the neural network to ensure the global convergence is very stringent, which is often a high-degree polynomial in the training sample size $n$ (e.g., $O(n^{24})$). In this paper, we provide an improved analysis of the global convergence of (stochastic) gradient descent for training deep neural networks, which only requires a milder over-parameterization condition than previous work in terms of the training sample size and other problem-dependent parameters. The main technical contributions of our analysis include (a) a tighter gradient lower bound that leads to a faster convergence of the algorithm, and (b) a sharper characterization of the trajectory length of the algorithm. By specializing our result to two-layer (i.e., one-hidden-layer) neural networks, it also provides a milder over-parameterization condition than the best-known result in prior work.


title: Hybrid Nonlinear Observers for Inertial Navigation Using Landmark Measurements

abstract: This paper considers the problem of attitude, position and linear velocity estimation for rigid body systems relying on landmark measurements. We propose two hybrid nonlinear observers on the matrix Lie group $SE_2(3)$, leading to global exponential stability. The first observer relies on fixed gains, while the second one uses variable gains depending on the solution of a continuous Riccati equation (CRE). These observers are then extended to handle biased angular velocity measurements. Both simulation and experimental results are presented to illustrate the performance of the proposed observers.


title: A project of advanced solid-state neutron polarizer for PF1B instrument at ILL

abstract: Among Super-Mirror (SM) polarizers, solid-state devices have many advantages. The most relevant is 5-10 times smaller length compared to air-gap polarizers allowing to apply stronger magnetic fields. An important condition for a good SM polarizer is the matching of the substrate SLD (Scattering Length Density) with the SM coating SLD for spin-down neutrons. For traditional Fe/Si SM on Si substrate, this SLD step is positive when a neutron goes from the substrate to the SM, which leads to a significant loss of the polarizer performance at small Q. Instead, we use single-crystal Sapphire/Quartz substrates. The latter show a negative SLD step for spin-down neutrons at the interface with Fe and, therefore, avoid the total reflection regime at small Q. To optimize the polarizer performance, we formulate the concept of Sapphire V-bender, perform ray-tracing simulations of Sapphire V-bender, compare results with those for traditional C-bender on Si, and study experimentally V-bender prototypes with different substrates. Our results show that the choice of substrate material, polarizer geometry and the strength and quality of magnetizing field have dramatic effect. In particular, we compare the performance of polarizer for the applied magnetic field strength of $50 mT$ and $300 mT$. Only the large field strength provides an excellent agreement between the simulated and measured polarization values. For the double-collision configuration, a record polarization $>0.999$ was obtained in the neutron wavelength band of $0.3-1.2 nm$ with only $1\%$ decrease at $2 nm$. Without any collimation, the polarization averaged over the full outgoing capture spectrum, $0.997$, was found to be equal to the value obtained previously only using a double polarizer in the "crossed" (X-SM) geometry. These results are applied in a full-scale polarizer for the PF1B instrument.


title: On Single Source Robustness in Deep Fusion Models

abstract: Algorithms that fuse multiple input sources benefit from both complementary and shared information. Shared information may provide robustness against faulty or noisy inputs, which is indispensable for safety-critical applications like self-driving cars. We investigate learning fusion algorithms that are robust against noise added to a single source. We first demonstrate that robustness against single source noise is not guaranteed in a linear fusion model. Motivated by this discovery, two possible approaches are proposed to increase robustness: a carefully designed loss with corresponding training algorithms for deep fusion models, and a simple convolutional fusion layer that has a structural advantage in dealing with noise. Experimental results show that both training algorithms and our fusion layer make a deep fusion-based 3D object detector robust against noise applied to a single source, while preserving the original performance on clean data.


title: Deep Visual Re-Identification with Confidence

abstract: Transportation systems often rely on understanding the flow of vehicles or pedestrian. From traffic monitoring at the city scale, to commuters in train terminals, recent progress in sensing technology make it possible to use cameras to better understand the demand, i.e., better track moving agents (e.g., vehicles and pedestrians). Whether the cameras are mounted on drones, vehicles, or fixed in the built environments, they inevitably remain scatter. We need to develop the technology to re-identify the same agents across images captured from non-overlapping field-of-views, referred to as the visual re-identification task. State-of-the-art methods learn a neural network based representation trained with the cross-entropy loss function. We argue that such loss function is not suited for the visual re-identification task hence propose to model confidence in the representation learning framework. We show the impact of our confidence-based learning framework with three methods: label smoothing, confidence penalty, and deep variational information bottleneck. They all show a boost in performance validating our claim. Our contribution is generic to any agent of interest, i.e., vehicles or pedestrians, and outperform highly specialized state-of-the-art methods across 5 datasets. The source code and models are shared towards an open science mission.


title: Necessary conditions for steerability of two qubits, from consideration of local operations

abstract: EPR-steering refers to the ability of one observer to convince a distant observer that they share entanglement by making local measurements. Determining which states allow a demonstration of EPR-steering remains an open problem in general. Here, we outline and demonstrate a method of analytically constructing new classes of two-qubit states which are non-steerable by arbitrary projective measurements, from consideration of local operations performed by the steering party on states known to be non-steerable.


title: Electrical Switching of Tristate Antiferromagnetic N\'eel Order in $\alpha$-Fe$_{2}$O$_{3}$ Epitaxial Films

abstract: The ability to manipulate antiferromagnetic (AF) moments is a key requirement for the emerging field of antiferromagnetic spintronics. Electrical switching of bi-state AF moments has been demonstrated in metallic AFs, CuMnAs and Mn$_2$Au. Recently, current-induced "saw-tooth" shaped Hall resistance was reported in Pt/NiO bilayers, while its mechanism is under debate. Here, we report the first demonstration of convincing, non-decaying, step-like electrical switching of tri-state N\'eel order in Pt/$\alpha$-Fe$_2$O$_3$ bilayers. Our experimental data, together with Monte-Carlo simulations, reveal the clear mechanism of the switching behavior of $\alpha$-Fe$_2$O$_3$ N\'eel order among three stable states. We also show that the observed "saw-tooth" Hall resistance is due to an artifact of Pt, not AF switching, while the signature of AF switching is step-like Hall signals. This demonstration of electrical control of magnetic moments in AF insulator (AFI) films will greatly expand the scope of AF spintronics by leveraging the large family of AFIs.


title: The complex chemistry of hot cores in Sagittarius B2(N): Influence of cosmic-ray ionization and thermal history

abstract: As the number of complex organic molecules (COMs) detected in the interstellar medium increases, it becomes important to place meaningful constraints on the formation pathways of these species. The molecular cloud SgrB2(N) is host to several hot molecular cores in the early stage of star formation, where a great variety of COMs are detected in the gas phase. Because of its exposure to the extreme conditions of the the Galactic center region, SgrB2(N) is one of the best targets to study the impact of environmental conditions on the production of COMs. Our main goal is to characterize the physico-chemical evolution of SgrB2(N)'s sources in order to explain their chemical differences and constrain their environmental conditions. The chemical composition of SgrB2(N)'s hot cores, N2, N3, N4, and N5 is derived by modeling their 3mm emission spectra extracted from the EMoCA imaging spectral line survey performed with ALMA. We derive the density distribution in the envelope of the sources based on the masses computed from the ALMA dust continuum emission maps. We use the radiative transfer code RADMC-3D to compute temperature profiles based on the COM rotational temperatures derived from population diagrams. We use published results of 3D RMHD simulations of high-mass star formation to estimate the time evolution of the sources properties. We employ the chemical code MAGICKAL to compute time-dependent chemical abundances in the sources and investigate how physical properties and environmental conditions influence the production of COMs. We find that chemical models with a cosmic-ray ionization rate of 7e-16s-1 best reproduce the abundances with respect to methanol of ten COMs observed toward SgrB2(N2-N5). We also show that COMs still form efficiently on dust grains with minimum dust temperatures in the prestellar phase as high as 15K, but that minimum temperatures higher than 25K are excluded.


title: Thermal conductivity and thermal rectification of nanoporous graphene: A molecular dynamics simulation

abstract: Using non-equilibrium molecular dynamics (NEMD) simulation, we study thermal properties of the so-called nanoporous graphene (NPG) sheet which contains a series of nanoporous in an ordered way and was synthesized recently (Science 360 (2018), 199). The dependence of thermal conductivity on sample size, edge chirality, and porosity concentration are investigated. Our results indicate that the thermal conductivity of NPG is about two orders smaller compared with of pristine graphene. Therefore this sheet can be used as a thermoelectric material. Also, the porosity concentration helps us to tune the thermal conductivity. Moreover, the results show that the thermal conductivity increases with growing sample length due to ballistic transport. On the other hand, along the armchair direction, the thermal conductivity is larger than zigzag direction. We also examined the thermal properties of the interface of NPG and graphene. The temperature drops significantly through the interface leading to the thermal resistance. The thermal resistance changes with imposed heat flux direction, and this difference cause significantly large thermal rectification factor, and heat current prefers one direction to another. Besides, to investigate those quantities fundamentally, we study the phonon density of states and scattering of them.


title: Variance-reduced $Q$-learning is minimax optimal

abstract: We introduce and analyze a form of variance-reduced $Q$-learning. For $\gamma$-discounted MDPs with finite state space $\mathcal{X}$ and action space $\mathcal{U}$, we prove that it yields an $\epsilon$-accurate estimate of the optimal $Q$-function in the $\ell_\infty$-norm using $\mathcal{O} \left(\left(\frac{D}{ \epsilon^2 (1-\gamma)^3} \right) \; \log \left( \frac{D}{(1-\gamma)} \right) \right)$ samples, where $D = |\mathcal{X}| \times |\mathcal{U}|$. This guarantee matches known minimax lower bounds up to a logarithmic factor in the discount complexity. In contrast, our past work shows that ordinary $Q$-learning has worst-case quartic scaling in the discount complexity.


title: Causal Inference in Higher Education: Building Better Curriculums

abstract: Higher educational institutions constantly look for ways to meet students' needs and support them through graduation. Recent work in the field of learning analytics have developed methods for grade prediction and course recommendations. Although these methods work well, they often fail to discover causal relationships between courses, which may not be evident through correlation-based methods. In this work, we aim at understanding the causal relationships between courses to aid universities in designing better academic pathways for students and to help them make better choices. Our methodology employs methods of causal inference to study these relationships using historical student performance data. We make use of a doubly-robust method of matching and regression in order to obtain the casual relationship between a pair of courses. The results were validated by the existing prerequisite structure and by cross-validation of the regression model. Further, our approach was also tested for robustness and sensitivity to certain hyperparameters. This methodology shows promising results and is a step forward towards building better academic pathways for students.


title: Study of multi-neutron emission in the $\beta$-decay of $^{11}$Li

abstract: The kinematics of two-neutron emission following the $\beta$-decay of $^{11}$Li was investigated for the first time by detecting the two neutrons in coincidence and by measuring their angle and energy. An array of liquid-scintillator neutron detectors was used to reject cosmic-ray and $\gamma$-ray backgrounds by pulse-shape discrimination. Cross-talk events in which two detectors are fired by a single neutron were rejected using a filter tested on the $\beta$-1n emitter $^9$Li. A large cross-talk rejection rate is obtained ($> 95 \%$) over most of the energy range of interest. Application to $^{11}$Li data leads to a significant number of events interpreted as $\beta$-2n decay. A discrete neutron line at $\approx$ 2 MeV indicates sequential two-neutron emission, possibly from the unbound state at 10.6 MeV excitation energy in $^{11}$Be.


title: Topological invariants, zero mode edge states and finite size effect for a generalized non-reciprocal Su-Schrieffer-Heeger model

abstract: Intriguing issues in one-dimensional non-reciprocal topological systems include the breakdown of usual bulk-edge correspondence and the occurrence of half-integer topological invariants. In order to understand these unusual topological properties, we investigate the topological phase diagrams and the zero-mode edge states of a generalized non-reciprocal Su-Schrieffer-Heeger model, based on some analytical results. Meanwhile, we provide a concise geometrical interpretation of the bulk topological invariants in terms of two independent winding numbers and also give an alternative interpretation related to the linking properties of curves in three-dimensional space. For the system under the open boundary condition, we construct analytically the wavefunctions of zero-mode edge states by properly considering a hidden symmetry of the system and the normalization condition with the use of biorthogonal eigenvectors. Our analytical results directly give the phase boundary for the existence of zero-mode edge states and unveil clearly the evolution behavior of edge states. In comparison with results via exact diagonalization of finite-size systems, we find our analytical results agree with the numerical results very well.


title: HEAD-QA: A Healthcare Dataset for Complex Reasoning

abstract: We present HEAD-QA, a multi-choice question answering testbed to encourage research on complex reasoning. The questions come from exams to access a specialized position in the Spanish healthcare system, and are challenging even for highly specialized humans. We then consider monolingual (Spanish) and cross-lingual (to English) experiments with information retrieval and neural techniques. We show that: (i) HEAD-QA challenges current methods, and (ii) the results lag well behind human performance, demonstrating its usefulness as a benchmark for future work.


title: Microservices Migration in Industry: Intentions, Strategies, and Challenges

abstract: To remain competitive in a fast changing environment, many companies started to migrate their legacy applications towards a Microservices architecture. Such extensive migration processes require careful planning and consideration of implications and challenges likewise. In this regard, hands-on experiences from industry practice are still rare. To fill this gap in scientific literature, we contribute a qualitative study on intentions, strategies, and challenges in the context of migrations to Microservices. We investigated the migration process of 14 systems across different domains and sizes by conducting 16 in-depth interviews with software professionals from 10 companies. We present a separate description of each case and summarize the most important findings. As primary migration drivers, maintainability and scalability were identified. Due to the high complexity of their legacy systems, most companies preferred a rewrite using current technologies over splitting up existing code bases. This was often caused by the absence of a suitable decomposition approach. As such, finding the right service cut was a major technical challenge, next to building the necessary expertise with new technologies. Organizational challenges were especially related to large, traditional companies that simultaneously established agile processes. Initiating a mindset change and ensuring smooth collaboration between teams were crucial for them. Future research on the evolution of software systems will in particular profit from the individual cases presented.


title: Membership-based Manoeuvre Negotiation in Autonomous and Safety-critical Vehicular Systems

abstract: A fault-tolerant negotiation-based intersection crossing protocol is presented. Rigorous analytic proofs are used for demonstrating the correctness and fault-tolerance properties. Experimental results validate the correctness proof via detailed computer simulations and provide a preliminary evaluation of the system performances. The results are compared to the ones that can be achieved via a risk estimator with and without combining the proposed protocol. Our fault model considers packet-loss, noisy sensory information and malicious driving. Our preliminary results show a reduction in the number of dangerous situations and vehicle collisions.


title: Generative adversarial network for segmentation of motion affected neonatal brain MRI

abstract: Automatic neonatal brain tissue segmentation in preterm born infants is a prerequisite for evaluation of brain development. However, automatic segmentation is often hampered by motion artifacts caused by infant head movements during image acquisition. Methods have been developed to remove or minimize these artifacts during image reconstruction using frequency domain data. However, frequency domain data might not always be available. Hence, in this study we propose a method for removing motion artifacts from the already reconstructed MR scans. The method employs a generative adversarial network trained with a cycle consistency loss to transform slices affected by motion into slices without motion artifacts, and vice versa. In the experiments 40 T2-weighted coronal MR scans of preterm born infants imaged at 30 weeks postmenstrual age were used. All images contained slices affected by motion artifacts hampering automatic tissue segmentation. To evaluate whether correction allows more accurate image segmentation, the images were segmented into 8 tissue classes: cerebellum, myelinated white matter, basal ganglia and thalami, ventricular cerebrospinal fluid, white matter, brain stem, cortical gray matter, and extracerebral cerebrospinal fluid. Images corrected for motion and corresponding segmentations were qualitatively evaluated using 5-point Likert scale. Before the correction of motion artifacts, median image quality and quality of corresponding automatic segmentations were assigned grade 2 (poor) and 3 (moderate), respectively. After correction of motion artifacts, both improved to grades 3 and 4, respectively. The results indicate that correction of motion artifacts in the image space using the proposed approach allows accurate segmentation of brain tissue classes in slices affected by motion artifacts.


title: Fast and Accurate Least-Mean-Squares Solvers

abstract: Least-mean squares (LMS) solvers such as Linear / Ridge / Lasso-Regression, SVD and Elastic-Net not only solve fundamental machine learning problems, but are also the building blocks in a variety of other methods, such as decision trees and matrix factorizations. We suggest an algorithm that gets a finite set of $n$ $d$-dimensional real vectors and returns a weighted subset of $d+1$ vectors whose sum is \emph{exactly} the same. The proof in Caratheodory's Theorem (1907) computes such a subset in $O(n^2d^2)$ time and thus not used in practice. Our algorithm computes this subset in $O(nd+d^4\log{n})$ time, using $O(\log n)$ calls to Caratheodory's construction on small but "smart" subsets. This is based on a novel paradigm of fusion between different data summarization techniques, known as sketches and coresets. For large values of $d$, we suggest a faster construction that takes $O(nd)$ time (linear in the input's size) and returns a weighted subset of $O(d)$ sparsified input points. Here, sparsified point means that some of its entries were replaced by zeroes. As an example application, we show how it can be used to boost the performance of existing LMS solvers, such as those in scikit-learn library, up to x100. Generalization for streaming and distributed (big) data is trivial. Extensive experimental results and complete open source code are also provided.


title: Using Structured Representation and Data: A Hybrid Model for Negation and Sentiment in Customer Service Conversations

abstract: Twitter customer service interactions have recently emerged as an effective platform to respond and engage with customers. In this work, we explore the role of negation in customer service interactions, particularly applied to sentiment analysis. We define rules to identify true negation cues and scope more suited to conversational data than existing general review data. Using semantic knowledge and syntactic structure from constituency parse trees, we propose an algorithm for scope detection that performs comparable to state of the art BiLSTM. We further investigate the results of negation scope detection for the sentiment prediction task on customer service conversation data using both a traditional SVM and a Neural Network. We propose an antonym dictionary based method for negation applied to a CNN-LSTM combination model for sentiment analysis. Experimental results show that the antonym-based method outperforms the previous lexicon-based and neural network methods.


title: Euclid preparation III. Galaxy cluster detection in the wide photometric survey, performance and algorithm selection

abstract: Galaxy cluster counts in bins of mass and redshift have been shown to be a competitive probe to test cosmological models. This method requires an efficient blind detection of clusters from surveys with a well-known selection function and robust mass estimates. The Euclid wide survey will cover 15000 deg$^2$ of the sky in the optical and near-infrared bands, down to magnitude 24 in the $H$-band. The resulting data will make it possible to detect a large number of galaxy clusters spanning a wide-range of masses up to redshift $\sim 2$. This paper presents the final results of the Euclid Cluster Finder Challenge (CFC). The objective of these challenges was to select the cluster detection algorithms that best meet the requirements of the Euclid mission. The final CFC included six independent detection algorithms, based on different techniques, such as photometric redshift tomography, optimal filtering, hierarchical approach, wavelet and friend-of-friends algorithms. These algorithms were blindly applied to a mock galaxy catalog with representative Euclid-like properties. The relative performance of the algorithms was assessed by matching the resulting detections to known clusters in the simulations. Several matching procedures were tested, thus making it possible to estimate the associated systematic effects on completeness to $<3$%. All the tested algorithms are very competitive in terms of performance, with three of them reaching $>80$% completeness for a mean purity of 80% down to masses of $10^{14}$ M$_{\odot}$ and up to redshift $z=2$. Based on these results, two algorithms were selected to be implemented in the Euclid pipeline, the AMICO code, based on matched filtering, and the PZWav code, based on an adaptive wavelet approach. [abridged]


title: Asymmetric nonsingular bounce from a dynamic scalar field

abstract: We present a dynamical model for a time-asymmetric nonsingular bounce with a post-bounce change of the effective equation-of-state parameter. Specifically, we consider a scalar-field model with a time-reversal-noninvariant effective potential.


title: Communication and Memory Efficient Testing of Discrete Distributions

abstract: We study distribution testing with communication and memory constraints in the following computational models: (1) The {\em one-pass streaming model} where the goal is to minimize the sample complexity of the protocol subject to a memory constraint, and (2) A {\em distributed model} where the data samples reside at multiple machines and the goal is to minimize the communication cost of the protocol. In both these models, we provide efficient algorithms for uniformity/identity testing (goodness of fit) and closeness testing (two sample testing). Moreover, we show nearly-tight lower bounds on (1) the sample complexity of any one-pass streaming tester for uniformity, subject to the memory constraint, and (2) the communication cost of any uniformity testing protocol, in a restricted `one-pass' model of communication.


title: Steiner triangular drop dynamics

abstract: Steiner's circumellipse is the unique geometric regularization of any triangle to a circumscribed ellipse with the same centroid, a regularization that motivates our introduction of the Steiner triangle as a minimal model for liquid droplet dynamics. The Steiner drop is a deforming triangle with one side making sliding contact against a planar basal support. The center of mass of the triangle is governed by Newton's law. The resulting dynamical system lives in a four dimensional phase space and exhibits a rich one-parameter family of dynamics. Two invariant manifolds are identified with "bouncing" and "rocking" periodic motions; these intersect at the stable equilibrium and are surrounded by nested quasiperiodic motions. We study the inherently interesting dynamics and also find that this model, however minimal, can capture space-time symmetries of more realistic continuum drop models.


title: ProPublica's COMPAS Data Revisited

abstract: I examine the COMPAS recidivism risk score and criminal history data collected by ProPublica in 2016 that fueled intense debate and research in the nascent field of 'algorithmic fairness'. ProPublica's COMPAS data is used in an increasing number of studies to test various definitions of algorithmic fairness. This paper takes a closer look at the actual datasets put together by ProPublica. In particular, the sub-datasets built to study the likelihood of recidivism within two years of a defendant's original COMPAS survey screening date. I take a new yet simple approach to visualize these data, by analyzing the distribution of defendants across COMPAS screening dates. I find that ProPublica made an important data processing error when it created these datasets, failing to implement a two-year sample cutoff rule for recidivists in such datasets (whereas it implemented a two-year sample cutoff rule for non-recidivists). When I implement a simple two-year COMPAS screen date cutoff rule for recidivists, I estimate that in the two-year general recidivism dataset ProPublica kept over 40% more recidivists than it should have. This fundamental problem in dataset construction affects some statistics more than others. It obviously has a substantial impact on the recidivism rate; artificially inflating it. For the two-year general recidivism dataset created by ProPublica, the two-year recidivism rate is 45.1%, whereas, with the simple COMPAS screen date cutoff correction I implement, it is 36.2%. Thus, the two-year recidivism rate in ProPublica's dataset is inflated by over 24%. This also affects the positive and negative predictive values. On the other hand, this data processing error has little impact on some of the other key statistical measures, which are less susceptible to changes in the relative share of recidivists, such as the false positive and false negative rates, and the overall accuracy.


title: Modeling emission of acoustic energy during bubble expansion in PICO bubble chambers

abstract: The PICO experiment uses bubble chambers filled with superheated C$_3$F$_8$ for spin-dependent WIMP dark matter searches. One of the main sources of background in these detectors is alpha particles from decays of environmental $^{222}\mathrm{Rn}$, which nucleate bubbles that are visually indistinguishable from WIMP candidate events. Alpha-induced bubbles can be discriminated acoustically, because the signal from alpha events is consistently larger in magnitude than that from nuclear recoil/WIMP-like events. By studying the dynamics of bubbles nucleated by these two types of ionizing radiation from the first stages of their growth, we present a physical model for the acoustic discrimination for the first time. The distribution of acoustic energies that we generate for a simulated sample of bubble nucleations by alpha particles and nuclear recoils is compared directly to the experimental data.


title: Automatic brain tissue segmentation in fetal MRI using convolutional neural networks

abstract: MR images of fetuses allow clinicians to detect brain abnormalities in an early stage of development. The cornerstone of volumetric and morphologic analysis in fetal MRI is segmentation of the fetal brain into different tissue classes. Manual segmentation is cumbersome and time consuming, hence automatic segmentation could substantially simplify the procedure. However, automatic brain tissue segmentation in these scans is challenging owing to artifacts including intensity inhomogeneity, caused in particular by spontaneous fetal movements during the scan. Unlike methods that estimate the bias field to remove intensity inhomogeneity as a preprocessing step to segmentation, we propose to perform segmentation using a convolutional neural network that exploits images with synthetically introduced intensity inhomogeneity as data augmentation. The method first uses a CNN to extract the intracranial volume. Thereafter, another CNN with the same architecture is employed to segment the extracted volume into seven brain tissue classes: cerebellum, basal ganglia and thalami, ventricular cerebrospinal fluid, white matter, brain stem, cortical gray matter and extracerebral cerebrospinal fluid. To make the method applicable to slices showing intensity inhomogeneity artifacts, the training data was augmented by applying a combination of linear gradients with random offsets and orientations to image slices without artifacts.