title: Temporal dissipative solitons in time-delay feedback systems

abstract: Localized states are a universal phenomenon observed in spatially distributed dissipative nonlinear systems. Known as dissipative solitons, auto-solitons, spot or pulse solutions, these states play an important role in data transmission using optical pulses, neural signal propagation, and other processes. While this phenomenon was thoroughly studied in spatially extended systems, temporally localized states are gaining attention only recently, driven primarily by applications from fiber or semiconductor lasers. Here we present a theory for temporal dissipative solitons (TDS) in systems with time-delayed feedback. In particular, we derive a system with an advanced argument, which determines the profile of the TDS. We also provide a complete classification of the spectrum of TDS into interface and pseudo-continuous spectrum. We illustrate our theory with two examples: a generic delayed phase oscillator, which is a reduced model for an injected laser with feedback, and the FitzHugh-Nagumo neuron with delayed feedback. Finally, we discuss possible destabilization mechanisms of TDS and show an example where the TDS delocalizes and its pseudo-continuous spectrum develops a modulational instability.


title: Geodesic ray transform with matrix weights for piecewise constant functions

abstract: We show injectivity of the geodesic X-ray transform on piecewise constant functions when the transform is weighted by a continuous matrix weight. The manifold is assumed to be compact and nontrapping of any dimension, and in dimension three and higher we assume a foliation condition. We make no assumption regarding conjugate points or differentiability of the weight. This extends recent results for unweighted transforms.


title: On Event Causality Detection in Tweets

abstract: Nowadays, Twitter has become a great source of user-generated information about events. Very often people report causal relationships between events in their tweets. Automatic detection of causality information in these events might play an important role in predictive event analytics. Existing approaches include both rule-based and data-driven supervised methods. However, it is challenging to correctly identify event causality using only linguistic rules due to the highly unstructured nature and grammatical incorrectness of social media short text such as tweets. Also, it is difficult to develop a data-driven supervised method for event causality detection in tweets due to insufficient contextual information. This paper proposes a novel event context word extension technique based on background knowledge. To demonstrate the effectiveness of our proposed event context word extension technique, we develop a feed-forward neural network based approach to detect event causality from tweets. Extensive experiments demonstrate the superiority of our approach.


title: Compact 200 kHz HHG source driven by a few-cycle OPCPA

abstract: We present efficient high-order harmonic generation (HHG) based on a high-repetition rate, few-cycle, near infrared (NIR), carrier-envelope phase stable, optical parametric chirped pulse amplifier (OPCPA), emitting 6fs pulses with 9{\mu}J pulse energy at 200kHz repetition rate. In krypton, we reach conversion efficiencies from the NIR to the extreme ultraviolet (XUV) radiation pulse energy on the order of ~10^{-6} with less than 3{\mu}J driving pulse energy. This is achieved by optimizing the OPCPA for a spatially and temporally clean pulse and by a specially designed high-pressure gas target. In the future, the high efficiency of the HHG source will be beneficial for high-repetition rate two-colour (NIR-XUV) pumpprobe experiments, where the available pulse energy from the laser has to be distributed economically between pump and probe pulses.


title: Homotopy properties of smooth functions on the M\"obius band

abstract: Let $B$ be a M\"obius band and $f:B \to \mathbb{R}$ be a Morse map taking a constant value on $\partial B$, and $\mathcal{S}(f,\partial B)$ be the group of diffeomorphisms $h$ of $B$ fixed on $\partial B$ and preserving $f$ in the sense that $f\circ h = f$. Under certain assumptions on $f$ we compute the group $\pi_0\mathcal{S}(f,\partial B)$ of isotopy classes of such diffeomorphisms. In fact, those computations hold for functions $f:B\to\mathbb{R}$ whose germs at critical points are smoothly equivalent to homogeneous polynomials $\mathbb{R}^2\to\mathbb{R}$ without multiple factors. Together with previous results of the second author this allows to compute similar groups for certain classes of smooth functions $f:N\to\mathbb{R}$ on non-orientable surfaces $N$.


title: On Adjoint Additive Processes

abstract: Starting with an additive process $(Y_t)_{t\geq0}$, it is in certain cases possible to construct an adjoint process $(X_t)_{t\geq0}$ which is itself additive. Moreover, assuming that the transition densities of $(Y_t)_{t\geq0}$ are controlled by a natural pair of metrics $\mathrm{d}_{\psi,t}$ and $\delta_{\psi,t}$, we can prove that the transition densities of $(X_t)_{t\geq0}$ are controlled by the metrics $\delta_{\psi,1/t}$ replacing $\mathrm{d}_{\psi,t}$ and $\mathrm{d}_{\psi,1/t}$ replacing $\delta_{\psi,t}$.


title: An estimation of the Local growth rate from Cosmicflows-3 peculiar velocities

abstract: This article explores three usual estimators, noted as $v_{12}$ of the pairwise velocity, $\psi_1$ and $\psi_2$ of the observed two-point galaxy peculiar velocity correlation functions. These estimators are tested on mock samples of {\it Cosmicflows-3} dataset \citep{Tully:2016aa} , derived from a numerical cosmological simulation, and also on a number of constrained realizations of this dataset. Observational measurements errors and cosmic variance are taken into consideration in the study. The result is a local measurement of $f \sigma_8 = 0.43 \left( \pm 0.03 \right)_\mathrm{obs} \left( \pm 0.11 \right)_\mathrm{cosmic}$ out to $z=0.05$, in support of a $\Lambda$CDM cosmology.


title: Supervised variable selection in randomised controlled trials prior to exploration of treatment effect heterogeneity: an example from severe malaria

abstract: Exploration of treatment effect heterogeneity (TEH) is an increasingly important aspect of modern statistical analysis for stratified medicine in randomised controlled trials (RCTs) as we start to gather more information on trial participants and wish to maximise the opportunities for learning from data. However, the analyst should refrain from including a large number of variables in a treatment interaction discovery stage. Because doing so can significantly dilute the power to detect any true outcome-predictive interactions between treatments and covariates. Current guidance is limited and mainly relies on the use of unsupervised learning methods, such as hierarchical clustering or principal components analysis, to reduce the dimension of the variable space prior to interaction tests. In this article we show that outcome-driven dimension reduction, i.e. supervised variable selection, can maintain power without inflating the type-I error or false-positive rate. We provide theoretical and applied results to support our approach. The applied results are obtained from illustrating our framework on the dataset from an RCT in severe malaria. We also pay particular attention to the internal risk model approach for TEH discovery, which we show is a particular case of our method and we point to improvements over current implementation.


title: OMG-VR: Open-source Mudra Gloves for Manipulating Molecular Simulations in VR

abstract: As VR finds increasing application in scientific research domains like nanotechnology and biochemistry, we are beginning to better understand the domains in which it brings the most benefit, as well as the gestures and form factors that are most useful for specific applications. Here we describe Open-source Mudra Gloves for Virtual Reality (OMG-VR): etextile gloves designed to facilitate research scientists and students carrying out detailed and complex manipulation of simulated 3d molecular objects in VR. The OMG-VR is designed to sense when a user pinches together their thumb and index finger, or thumb and middle finger, forming a "mudra" position. Tests show that they provide good positional tracking of the point at which a pinch takes place, require no calibration, and are sufficiently accurate and robust to enable scientists to accomplish a range of tasks that involve complex spatial manipulation of molecules. The open source design offers a promising alternative to existing controllers and more costly commercial VR data gloves.


title: Globally maximal timelike geodesics in static spherically symmetric spacetimes: radial geodesics in static spacetimes and arbitrary geodesic curves in ultrastatic spacetimes

abstract: This work deals with intersection points: conjugate points and cut points, of timelike geodesics emanating from a common initial point in special spacetimes. The paper contains three results. First, it is shown that radial timelike geodesics in static spherically symmetric spacetimes are globally maximal (have no cut points) in adequate domains. Second, in one of ultrastatic spherically symmetric spacetimes, Morris--Thorne wormhole, it is found which geodesics have cut points (and these must coincide with conjugate points) and which ones are globally maximal on their entire segments. This result, concerning all timelike geodesics of the wormhole, is the core of the work. The third outcome deals with the astonishing feature of all ultrastatic spacetimes: they provide a coordinate system which faithfully imitates the dynamical properties of the inertial reference frame. We precisely formulate these similarities.


title: On the bifurcation diagram of the capillary-gravity Whitham equation

abstract: We study the bifurcation of periodic travelling waves of the capillary-gravity Whitham equation. This is a nonlinear pseudo-differential equation that combines the canonical shallow water nonlinearity with the exact (unidirectional) dispersion for finite-depth capillary-gravity waves. Starting from the line of zero solutions, we give a complete description of all small periodic solutions, unimodal as well bimodal, using simple and double bifurcation via Lyapunov--Schmidt reductions. Included in this study is the resonant case when one wavenumber divides another. Some bifurcation formulas are studied, enabling us, in almost all cases, to continue the unimodal bifurcation curves into global curves. By characterizing the range of the surface tension parameter for which the integral kernel corresponding to the linear dispersion operator is completely monotone (and therefore positive and convex; the threshold value for this to happen turns out to be \(T = \frac{4}{\pi^2}\), not the critical Bond number \(\frac{1}{3}\)), we are able to say something about the nodal properties of solutions, even in the presence of surface tension. Finally, we present a few general results for the equation and discuss, in detail, the complete bifurcation diagram as far as it is known from analytical and numerical evidence. Interestingly, we find, analytically, secondary bifurcation curves connecting different branches of solutions; and, numerically, that all supercritical waves preserve their basic nodal structure, converging asymptotically in \(L^2(\SM)\) (but not in \(L^\infty\)) towards one of the two constant solution curves.


title: PiNcH: an Effective, Efficient, and Robust Solution to Drone Detection via Network Traffic Analysis

abstract: We propose PiNcH, a methodology to detect the presence of a drone, its current status, and its movements by leveraging just the communication traffic exchanged between the drone and its Remote Controller (RC). PiNcH is built applying standard classification algorithms to the eavesdropped traffic, analyzing features such as packets inter-arrival time and size. PiNcH is fully passive and it requires just cheap and general-purpose hardware. To evaluate the effectiveness of our solution, we collected real communication traces originated by a drone running the widespread ArduCopter open-source firmware, currently mounted on-board of a wide range (30+) of commercial amateur drones. We tested our solution against different publicly available wireless traces. The results prove that PiNcH can efficiently and effectively: (i) identify the presence of the drone in several heterogeneous scenarios; (ii) identify the current state of a powered-on drone, i.e., flying or lying on the ground; (iii) discriminate the movements of the drone; and, finally, (iv) enjoy a reduced upper bound on the time required to identify a drone with the requested level of assurance. The effectiveness of PiNcH has been also evaluated in the presence of both heavy packet loss and evasion attacks. In this latter case, the adversary modifies on purpose the profile of the traffic of the drone-RC link to avoid the detection. In both the cited cases, PiNcH continues enjoying a remarkable performance. Further, the comparison against state of the art solution confirms the superior performance of PiNcH in several scenarios. Note that all the drone-controller generated data traces have been released as open-source, to allow replicability and foster follow-up. Finally, the quality and viability of our solution, do prove that network traffic analysis can be successfully adopted for drone identification and status discrimination.


title: Somatic Practices for Understanding Real, Imagined, and Virtual Realities

abstract: In most VR experiences, the visual sense dominates other modes of sensory input, encouraging non-visual senses to respond as if the visual were real. The simulated visual world thus becomes a sort of felt actuality, where the 'actual' physical body and environment can 'drop away', opening up possibilities for designing entirely new kinds of experience. Most VR experiences place visual sensory input (of the simulated environment) in the perceptual foreground, and the physical body in the background. In what follows, we discuss methods for resolving the apparent tension which arises from VR's prioritization of visual perception. We specifically aim to understand how somatic techniques encouraging participants to 'attend to their attention' enable them to access more subtle aspects of sensory phenomena in a VR experience, bound neither by rigid definitions of vision-based virtuality nor body-based corporeality. During a series of workshops, we implemented experimental somatic-dance practices to better understand perceptual and imaginative subtleties that arise for participants whilst they are embedded in a multi-person VR framework. Our preliminary observations suggest that somatic methods can be used to design VR experiences which enable (i) a tactile quality or felt sense of phenomena in the virtual environment (VE), (ii) lingering impacts on participant imagination even after the VR headset is taken off, and (iii) an expansion of imaginative potential.


title: Travelling wave behaviour arising in nonlinear diffusion problems posed in tubular domains

abstract: For a fixed bounded domain $D \subset \mathbb{R}^N$ we investigate the asymptotic behaviour for large times of solutions to the $p$-Laplacian diffusion equation posed in a tubular domain \begin{equation*} \partial_t u = \Delta_p u \quad \text{ in } D \times \mathbb{R}, \quad t > 0 \end{equation*} with $p>2$, i.e., the slow diffusion case, and homogeneous Dirichlet boundary conditions on the tube boundary. Passing to suitable re-scaled variables, we show the existence of a travelling wave solution in logarithmic time that connects the level $u = 0$ and the unique nonnegative steady state associated to the re-scaled problem posed in a lower dimension, i.e. in $D\subset \mathbb{R}^N$. We then employ this special wave to show that a wide class of solutions converge to the universal stationary profile in the middle of the tube and at the same time they spread in both axial tube directions, miming the behaviour of the travelling wave (and its reflection) for large times. The first main feature of our analysis is that wave fronts are constructed through a (nonstandard) combination of diffusion and absorbing boundary conditions, which gives rise to a sort of Fisher-KPP long-time behaviour. The second one is that the nonlinear diffusion term plays a crucial role in our analysis. Actually, in the linear diffusion framework $p=2$ solutions behave quite differently.


title: Understanding Rowhammer Attacks through the Lens of a Unified Reference Framework

abstract: Rowhammer is a hardware-based bug that allows the attacker to modify the data in the memory without accessing it, just repeatedly and frequently accessing (or hammering) physically adjacent memory rows. So that it can break the memory isolation between processes, which is seen as the cornerstone of modern system security, exposing the sensitive data to unauthorized and imperceptible corruption. A number of previous works have leveraged the rowhammer bug to achieve various critical attacks. In this work, we propose a unified reference framework for analyzing the rowhammer attacks, indicating three necessary factors in a practical rowhammer attack: the attack origin, the intended implication and the methodology. Each factor includes multiple primitives, the attacker can select primitives from three factors to constitute an effective attack. In particular, the methodology further summarizes all existing attack techniques, that are used to achieve its three primitives: Location Preparation (LP), Rapid Hammering (RH), and Exploit Verification (EV). Based on the reference framework, we analyze all previous rowhammer attacks and corresponding countermeasures. Our analysis shows that how primitives in different factors are combined and used in previous attacks, and thus points out new possibility of rowhammer attacks, enabling proactive prevention before it causes harm. Under the framework, we propose a novel expressive rowhammer attack that is capable of accumulating injected memory changes and achieving rich attack semantics. We conclude by outlining future research directions.


title: Spin pumping as a generic probe for linear spin fluctuations: demonstration with ferromagnetic and antiferromagnetic orders, metallic and insulating electrical states

abstract: We investigated spin injection by spin pumping from a spin-injector(NiFe) into a spin-sink to detect spin fluctuations in the spin-sink. By scanning the ordering-temperature of several magnetic transitions, we found that enhanced spin pumping due to spin fluctuations applies with several ordering states: ferromagnetic(Tb) and antiferromagnetic(NiO, NiFeOx, BiFeO3, exchange-biased and unbiased IrMn). Results also represent systematic experimental investigation supporting that the effect is independent of the metallic and insulating nature of the spin-sink, and is observed whether the spin current probe involves electronic or magnonic transport, facilitating advances in material characterization and engineering for spintronic applications.


title: Renormalization and BRST symmetry in Donaldson-Witten theory

abstract: The presence of a BRST symmetry in topologically twisted gauge theories makes a precise analysis of these theories feasible. While the global BRST symmetry suggests that correlation functions of BRST exact observables vanish, this decoupling might be obstructed due to a contribution from the boundary of field space. Motivated by divergent BRST exact observables on the Coulomb branch of Donaldson-Witten theory, we put forward a new prescription for the renormalization of correlation functions on the Coulomb branch. This renormalization is based on the relation between Coulomb branch integrals and integrals over a modular fundamental domain, and establishes that BRST exact observables indeed decouple in Donaldson-Witten theory.


title: Design of effective bulk potentials for nematic liquid crystals via colloidal homogenisation

abstract: We consider a Landau-de Gennes model for a suspension of small colloidal inclusions in a nematic host. We impose suitable anchoring conditions at the boundary of the inclusions, and we work in the dilute regime - i.e., the size of the inclusions is much smaller than the typical separation distance between them, so that the total volume occupied by the inclusions is small. By studying the homogenised limit, and proving rigorous convergence results for local minimisers, we compute the effective free energy for the doped material. In particular, we show that not only the phase transition temperature, but any coefficient of the quartic Landau-de Gennes bulk potential can be tuned, by suitably choosing the surface anchoring energy density.


title: Few-boson system with a single impurity: Universal bound states tied to Efimov trimers

abstract: Small weakly-bound droplets determine a number of properties of ultracold Bose and Fermi gases. For example, Efimov trimers near the atom-atom-atom and atom-dimer thresholds lead to enhanced losses from bosonic clouds. Generalizations to four- and higher-body systems have also been considered. Moreover, Efimov trimers have been predicted to play a role in the Bose polaron with large boson-impurity scattering length. Motivated by these considerations, the present work provides a detailed theoretical analysis of weakly-bound $N$-body clusters consisting of $N-1$ identical bosons (denoted by "B") of mass $m$ that interact with a single distinguishable impurity particle (denoted by "X") of mass $M$. The system properties are analyzed as a function of the mass ratio $\kappa$ (values from $\kappa=1$ to $50$ are considered), where $\kappa$ is equal to $m/M$, and the two-body $s$-wave scattering length $a_{\text{BX}}$ between the bosons and the impurity. To reach the universal Efimov regime in which the size of the BBX trimer as well as those of larger clusters is much larger than the length scales of the underlying interaction model, three different approaches are considered: resonance states are determined in the absence of BB and BBX interactions, bound states are determined in the presence of repulsive three-body boson-boson-impurity interactions, and bound states are determined in the presence of repulsive two-body boson-boson interactions. The universal regime, in which the details of the underlying interaction model become irrelevant, is identified.


title: Mitigating Jamming Attacks Using Energy Harvesting

abstract: The use of energy harvesting as a counter-jamming measure is investigated on the premise that part of the harmful interference can be harvested to increase the transmit power. We formulate the strategic interaction between a pair of legitimate nodes and a malicious jammer as a zero-sum game. Our analysis demonstrates that the legitimate nodes are able to neutralize the jammer. However, this policy is not necessarily a Nash equilibrium and hence is sub-optimal. Instead, harvesting the jamming interference can lead to relative gains of up to 95%, on average, in terms of Shannon capacity, when the jamming interference is high.


title: Community Matters: Heterogeneous Impacts of a Sanitation Intervention

abstract: We study the effectiveness of a community-level information intervention aimed at improving sanitation using a cluster-randomized controlled trial (RCT) in Nigerian communities. The intervention, Community-Led Total Sanitation (CLTS), is currently part of national sanitation policy in more than 25 countries. While average impacts are exiguous almost three years after implementation at scale, the results hide important heterogeneity: the intervention has strong and lasting effects on sanitation practices in poorer communities. These are realized through increased sanitation investments. We show that community wealth, widely available in secondary data, is a key statistic for effective intervention targeting. Using data from five other similar randomized interventions in various contexts, we find that community-level wealth heterogeneity can rationalize the wide range of impact estimates in the literature. This exercise provides plausible external validity to our findings, with implications for intervention scale-up. JEL Codes: O12, I12, I15, I18.


title: Relationships between dilemma strength and fixation properties in coevolutionary games

abstract: Whether or not cooperation is favored over defection in evolutionary games can be assigned by structure coefficients for any arrangement of cooperators and defectors on any network modeled as a regular graph. We study how these structure coefficients relate to a scaling of dilemma strength in social dilemma games. It is shown that some graphs permit certain arrangements of cooperators and defectors to possess particularly large structure coefficients. Moreover, these large coefficients imply particularly large sections of a bounded parameter plane spanned by scaling gamble-intending and risk-averting dilemma strength.


title: Retrieving Similar E-Commerce Images Using Deep Learning

abstract: In this paper, we propose a deep convolutional neural network for learning the embeddings of images in order to capture the notion of visual similarity. We present a deep siamese architecture that when trained on positive and negative pairs of images learn an embedding that accurately approximates the ranking of images in order of visual similarity notion. We also implement a novel loss calculation method using an angular loss metrics based on the problems requirement. The final embedding of the image is combined representation of the lower and top-level embeddings. We used fractional distance matrix to calculate the distance between the learned embeddings in n-dimensional space. In the end, we compare our architecture with other existing deep architecture and go on to demonstrate the superiority of our solution in terms of image retrieval by testing the architecture on four datasets. We also show how our suggested network is better than the other traditional deep CNNs used for capturing fine-grained image similarities by learning an optimum embedding.


title: Feature Fusion for Robust Patch Matching With Compact Binary Descriptors

abstract: This work addresses the problem of learning compact yet discriminative patch descriptors within a deep learning framework. We observe that features extracted by convolutional layers in the pixel domain are largely complementary to features extracted in a transformed domain. We propose a convolutional network framework for learning binary patch descriptors where pixel domain features are fused with features extracted from the transformed domain. In our framework, while convolutional and transformed features are distinctly extracted, they are fused and provided to a single classifier which thus jointly operates on convolutional and transformed features. We experiment at matching patches from three different datasets, showing that our feature fusion approach outperforms multiple state-of-the-art approaches in terms of accuracy, rate, and complexity.


title: Directional spreading of a viscous droplet on a conical fibre

abstract: If a droplet is placed on a substrate with a conical shape it spontaneously starts to spread in the direction of a growing fibre radius. We describe this capillary spreading dynamics by developing a lubrication approximation on a cone and by the perturbation method of matched asymptotic expansions. Our results show that the droplet appears to adopt a quasi-static shape and the predictions of the droplet shape and spreading velocity from the two mathematical models are in excellent agreement for a wide range of slip lengths, cone angles and equilibrium contact angles. At the contact line regions, a large pressure gradient is generated by the mismatch between the equilibrium contact angle and the apparent contact angle that maintains the viscous flow. It is the conical shape of the substrate that breaks the front/rear droplet symmetry in terms of the apparent contact angle, which is larger at the thicker part of the cone than that at its thinner part. Consequently, the droplet is predicted to move from the cone tip to its base, consistent with experimental observations.


title: Three-wave interactions among surface gravity waves in a cylindrical container [DOI]

abstract: The motion of a container filled with fluid perturbs the free surface and may result in spilling. In practice, most of the energy is localized in the modes of lowest frequencies (the gravest modes), and sloshing can be predicted once the dynamics of these modes is known. In this Rapid Communication, we investigate the nonlinear interactions between such grave modes in a cylindrical container. We first show that energy can be transferred from modes to modes with three-wave interactions: we derive the resonance conditions and characterize the early stage of this interaction. This result strongly contrasts with resonant interactions between surface gravity waves in extended domains such as the ocean, which involve at least four waves and are thus less efficient. An experiment is then performed to provide evidence of these nonlinear interactions.


title: Merging cold front and AGN feedback in the peculiar galaxy cluster Abell 2626

abstract: This paper presents the analysis of a combined 134 ks {\it Chandra} data of a peculiar galaxy cluster Abell 2626. This study confirms the earlier detection of the east cavity at $\sim$13 kpc and reports detection of a new cavity at $\sim$39 kpc on the west of the X-ray peak. The average mechanical power injected by the AGN outburst ${\rm P_{cav} \sim 6.6 \times 10^{44}\, erg\, s^{-1}}$ is $\sim$29 times more than required to compensate the cooling luminosity ${\rm L_{cool} = 2.30 \pm 0.02 \times 10^{43} {\rm~erg\ s}^{-1}}$. The edges in the SB on the west and south-west at $\sim$36 kpc and 33 kpc, respectively, have the gas compressions of 1.57$\pm$0.08 and 2.06$\pm$0.44 and are spatially associated with the arcs in the temperature and metallicity maps due to the merging cold fronts. The systematic study of the nuclear sources exhibited dramatic changes over the span of ten years. The NE source that emitted mostly in the soft band in the past disappeared in the recent observations. Instead, an excess emission was seen at $2.2"$ on its west and required an unrealistic line of sight velocity of $\sim$ $675\times{}c$ if is due to its movement. The count rate analysis and spectral analysis exhibited a change in the state of the SW source from a soft state to the hard due to the change in the mass accretion rate. No such spectral change was noticed for the NE source.


title: A Piezoelectric, Strain-Controlled Antiferromagnetic Memory Insensitive to Magnetic Fields

abstract: Spintronic devices based on antiferromagnetic (AFM) materials hold the promise of fast switching speeds and robustness against magnetic fields. Different device concepts have been predicted and experimentally demonstrated, such as low-temperature AFM tunnel junctions that operate as spin-valves, or room-temperature AFM memory, for which either thermal heating in combination with magnetic fields, or N\'eel spin-orbit torque is used for the information writing process. On the other hand, piezoelectric materials were employed to control magnetism by electric fields in multiferroic heterostructures, which suppresses Joule heating caused by switching currents and may enable low energy-consuming electronic devices. Here, we combine the two material classes to explore changes of the resistance of the high-N\'eel-temperature antiferromagnet MnPt induced by piezoelectric strain. We find two non-volatile resistance states at room temperature and zero electric field, which are stable in magnetic fields up to 60 T. Furthermore, the strain-induced resistance switching process is insensitive to magnetic fields. Integration in a tunnel junction can further amplify the electroresistance. The tunneling anisotropic magnetoresistance reaches ~11.2% at room temperature. Overall, we demonstrate a piezoelectric, strain-controlled AFM memory which is fully operational in strong magnetic fields and has potential for low-energy and high-density memory applications.


title: Epitaxial single layer NbS$_{2}$ on Au(111): synthesis, structure, and electronic properties

abstract: We report on the epitaxial growth of single layer NbS$_2$ on Au(111) and determine both its crystalline and electronic structure by a combination of low-energy electron diffraction, scanning tunnelling microscopy and angle-resolved photoemission spectroscopy. The layer is found to grow in the 1H structural phase with a lattice constant of (3.29$\pm$0.03)~\AA, a value comparable to the bulk 2H NbS$_2$ lattice constant. The photoemission data reveals a metallic band structure down to a temperature of 30~K. The observed bands are rather broad and consistent with either a strong NbS$_2$-substrate interaction or with the recently reported interplay of strong many-body effects in single layer NbS$_2$ \cite{Loon:2018aa}. No indications of a charge density wave are observed.


title: DIVE: A spatiotemporal progression model of brain pathology in neurodegenerative disorders

abstract: Here we present DIVE: Data-driven Inference of Vertexwise Evolution. DIVE is an image-based disease progression model with single-vertex resolution, designed to reconstruct long-term patterns of brain pathology from short-term longitudinal data sets. DIVE clusters vertex-wise biomarker measurements on the cortical surface that have similar temporal dynamics across a patient population, and concurrently estimates an average trajectory of vertex measurements in each cluster. DIVE uniquely outputs a parcellation of the cortex into areas with common progression patterns, leading to a new signature for individual diseases. DIVE further estimates the disease stage and progression speed for every visit of every subject, potentially enhancing stratification for clinical trials or management. On simulated data, DIVE can recover ground truth clusters and their underlying trajectory, provided the average trajectories are sufficiently different between clusters. We demonstrate DIVE on data from two cohorts: the Alzheimer's Disease Neuroimaging Initiative (ADNI) and the Dementia Research Centre (DRC), UK, containing patients with Posterior Cortical Atrophy (PCA) as well as typical Alzheimer's disease (tAD). DIVE finds similar spatial patterns of atrophy for tAD subjects in the two independent datasets (ADNI and DRC), and further reveals distinct patterns of pathology in different diseases (tAD vs PCA) and for distinct types of biomarker data: cortical thickness from Magnetic Resonance Imaging (MRI) vs amyloid load from Positron Emission Tomography (PET). Finally, DIVE can be used to estimate a fine-grained spatial distribution of pathology in the brain using any kind of voxelwise or vertexwise measures including Jacobian compression maps, fractional anisotropy (FA) maps from diffusion imaging or other PET measures. DIVE source code is available online: https://github.com/mrazvan22/dive


title: CSGAN: Cyclic-Synthesized Generative Adversarial Networks for Image-to-Image Transformation

abstract: The primary motivation of Image-to-Image Transformation is to convert an image of one domain to another domain. Most of the research has been focused on the task of image transformation for a set of pre-defined domains. Very few works are reported that actually developed a common framework for image-to-image transformation for different domains. With the introduction of Generative Adversarial Networks (GANs) as a general framework for the image generation problem, there is a tremendous growth in the area of image-to-image transformation. Most of the research focuses over the suitable objective function for image-to-image transformation. In this paper, we propose a new Cyclic-Synthesized Generative Adversarial Networks (CSGAN) for image-to-image transformation. The proposed CSGAN uses a new objective function (loss) called Cyclic-Synthesized Loss (CS) between the synthesized image of one domain and cycled image of another domain. The performance of the proposed CSGAN is evaluated on two benchmark image-to-image transformation datasets, including CUHK Face dataset and CMP Facades dataset. The results are computed using the widely used evaluation metrics such as MSE, SSIM, PSNR, and LPIPS. The experimental results of the proposed CSGAN approach are compared with the latest state-of-the-art approaches such as GAN, Pix2Pix, DualGAN, CycleGAN and PS2GAN. The proposed CSGAN technique outperforms all the methods over CUHK dataset and exhibits the promising and comparable performance over Facades dataset in terms of both qualitative and quantitative measures. The code is available at https://github.com/KishanKancharagunta/CSGAN.


title: Direct finiteness of representable regular rings with involution

abstract: We show that a von Neumann regular ring with involution is directly finite provided that it admits a representation as a ring of endomorphisms (the involution given by taking adjoints) of a vector space endowed with a non-degenerate orthosymmetric sesquilinear form.


title: Identifiability and estimation of recursive max-linear models

abstract: We address the identifiablity and estimation of recursive max-linear structural equation models represented by an edge weighted directed acyclic graph (DAG). Such models are generally unidentifiable and we identify the whole class of DAGs and edge weights corresponding to a given observational distribution. For estimation, standard likelihood theory cannot be applied because the corresponding families of distributions are not dominated. Given the underlying DAG, we present an estimator for the class of edge weights and show that it can be considered a generalized maximum likelihood estimator. In addition, we develop a simple method for identifying the structures of the DAGs. With probability tending to one at an exponential rate with the number of observations, this method correctly identifies the class of DAGs and, similarly, exactly identifies the possible edge weights.


title: Learning Manipulation States and Actions for Efficient Non-prehensile Rearrangement Planning

abstract: This paper addresses non-prehensile rearrangement planning problems where a robot is tasked to rearrange objects among obstacles on a planar surface. We present an efficient planning algorithm that is designed to impose few assumptions on the robot's non-prehensile manipulation abilities and is simple to adapt to different robot embodiments. For this, we combine sampling-based motion planning with reinforcement learning and generative modeling. Our algorithm explores the composite configuration space of objects and robot as a search over robot actions, forward simulated in a physics model. This search is guided by a generative model that provides robot states from which an object can be transported towards a desired state, and a learned policy that provides corresponding robot actions. As an efficient generative model, we apply Generative Adversarial Networks. We implement and evaluate our approach for robots endowed with configuration spaces in SE(2). We demonstrate empirically the efficacy of our algorithm design choices and observe more than 2x speedup in planning time on various test scenarios compared to a state-of-the-art approach.


title: Bi-Hamiltonian structure of a dynamical system introduced by Braden and Hone

abstract: We investigate the finite dimensional dynamical system derived by Braden and Hone in 1996 from the solitons of $A_{n-1}$ affine Toda field theory. This system of evolution equations for an $n\times n$ Hermitian matrix $L$ and a real diagonal matrix $q$ with distinct eigenvalues was interpreted as a special case of the spin Ruijsenaars--Schneider models due to Krichever and Zabrodin. A decade later, L.-C. Li re-derived the model from a general framework built on coboundary dynamical Poisson groupoids. This led to a Hamiltonian description of the gauge invariant content of the model, where the gauge transformations act as conjugations of $L$ by diagonal unitary matrices. Here, we point out that the same dynamics can be interpreted also as a special case of the spin Sutherland systems obtained by reducing the free geodesic motion on symmetric spaces, studied by Pusztai and the author in 2006; the relevant symmetric space being $\mathrm{GL}(n,\mathbb{C})/ \mathrm{U}(n)$. This construction provides an alternative Hamiltonian interpretation of the Braden--Hone dynamics. We prove that the two Poisson brackets are compatible and yield a bi-Hamiltonian description of the standard commuting flows of the model.


title: An investigation of model-free planning

abstract: The field of reinforcement learning (RL) is facing increasingly challenging domains with combinatorial complexity. For an RL agent to address these challenges, it is essential that it can plan effectively. Prior work has typically utilized an explicit model of the environment, combined with a specific planning algorithm (such as tree search). More recently, a new family of methods have been proposed that learn how to plan, by providing the structure for planning via an inductive bias in the function approximator (such as a tree structured neural network), trained end-to-end by a model-free RL algorithm. In this paper, we go even further, and demonstrate empirically that an entirely model-free approach, without special structure beyond standard neural network components such as convolutional networks and LSTMs, can learn to exhibit many of the characteristics typically associated with a model-based planner. We measure our agent's effectiveness at planning in terms of its ability to generalize across a combinatorial and irreversible state space, its data efficiency, and its ability to utilize additional thinking time. We find that our agent has many of the characteristics that one might expect to find in a planning algorithm. Furthermore, it exceeds the state-of-the-art in challenging combinatorial domains such as Sokoban and outperforms other model-free approaches that utilize strong inductive biases toward planning.


title: A survey on the Non-inner Automorphism Conjecture

abstract: In this survey article, we try to summarize the known results towards the long-standing non-inner automorphism conjecture, which states that every finite non-abelian $p$-group has a non-inner automorphism of order $p$.


title: Dissipative and Hall viscosity of a disordered 2D electron gas

abstract: We study the dissipative and Hall viscosity of a disordered noninteracting 2D electrons, both analytically and numerically. Analytically, we employ the self-consistent Born approximation, explicitly taking into account the modification of the single-particle density of states and the elastic transport time due to the Landau quantization. The reported results interpolate smoothly between the limiting cases of weak (strong) magnetic field and strong (weak) disorder. In the regime of weak magnetic field, our results describes the quantum (de Haas-van Alphen type) oscillations of the dissipative and Hall viscosity. For strong magnetic field, we computed the dependence of the dissipative and Hall viscosity on disorder broadening of a Landau level. In particular, for the Hall viscosity the effect of the disorder broadening is weak. This theoretical conclusion is in agreement with our numerical results for a few lowest Landau levels, which show that Hall viscosity is robust to disorder.


title: Open quantum system in external magnetic field within non-Markovian quantum Langevin approach

abstract: The non-Markovian dynamics of a charged particle linearly coupled to a neutral bosonic heat bath is investigated in an external uniform magnetic field. The analytical expressions for the time-dependent and asymptotic friction and diffusion coefficients, cyclotron frequencies, variances of the coordinate and momentum, and orbital magnetic moments are derived. The role of magnetic field in the dissipation and diffusion processes is illustrated by several examples in the low- and high-temperature regimes. The localization phenomenon for a charged particle is observed. The orbital diamagnetism of quantum system in a dissipative environment is studied. The quantization conditions are found for the angular momentum.


title: Emergent dynamics in delayed attractive-repulsively coupled networks

abstract: We investigate different emergent dynamics namely oscillation quenching and revival of oscillation in a global network of identical oscillators coupled with diffusive (positive) delay coupling as it is perturbed by symmetry breaking localized repulsive delayed interaction. Starting from the oscillatory states (OS) we systematically identify three types of transition phenomena in the parameter space: (1) The system may reach inhomogeneous steady states (IHSS) from the homogeneous steady state (HSS) sometimes called as the transition from amplitude death (AD) to oscillation death (OD) state i.e. OS-AD-OD scenario, (2) Revival of oscillation (OS) from the AD state (OS-AD-OS) and (3) Emergence of OD state from oscillatory state (OS) without passing through AD i.e. OS-OD. The dynamics of each node in the network is assumed to be governed either by identical limit cycle Stuart-Landau system or by chaotic Rossler system. Based on clustering behavior observed in oscillatory network we derive a reduced low-dimensional model of the large network. Using the reduced model, we investigate the effect of time delay on these transitions and demarcate OS, AD and OD regimes in the parameter space. We also explore and characterize the bifurcation transitions present in both systems. The generic behavior of the low dimensional model and full network are found to match satisfactorily.


title: Korevaar-Schoen's directional energy and Ambrosio's regular Lagrangian flows

abstract: We develop Korevaar-Schoen's theory of directional energies for metric-valued Sobolev maps in the case of ${\sf RCD}$ source spaces; to do so we crucially rely on Ambrosio's concept of Regular Lagrangian Flow. Our review of Korevaar-Schoen's spaces brings new (even in the smooth category) insights on some aspects of the theory, in particular concerning the notion of `differential of a map along a vector field' and about the parallelogram identity for ${\sf CAT}(0)$ targets. To achieve these, one of the ingredients we use is a new (even in the Euclidean setting) stability result for Regular Lagrangian Flows.


title: Biomedical Image Reconstruction: From the Foundations to Deep Neural Networks

abstract: This tutorial covers biomedical image reconstruction, from the foundational concepts of system modeling and direct reconstruction to modern sparsity and learning-based approaches. Imaging is a critical tool in biological research and medicine, and most imaging systems necessarily use an image-reconstruction algorithm to create an image; the design of these algorithms has been a topic of research since at least the 1960's. In the last few years, machine learning-based approaches have shown impressive performance on image reconstruction problems, triggering a wave of enthusiasm and creativity around the paradigm of learning. Our goal is to unify this body of research, identifying common principles and reusable building blocks across decades and among diverse imaging modalities. We first describe system modeling, emphasizing how a few building blocks can be used to describe a broad range of imaging modalities. We then discuss reconstruction algorithms, grouping them into three broad generations. The first are the classical direct methods, including Tikhonov regularization; the second are the variational methods based on sparsity and the theory of compressive sensing; and the third are the learning-based (also called data-driven) methods, especially those using deep convolutional neural networks. There are strong links between these generations: classical (first-generation) methods appear as modules inside the latter two, and the former two are used to inspire new designs for learning-based (third-generation) methods. As a result, a solid understanding of all of three generations is necessary for the design of state-of-the-art algorithms.


title: Virtual sources and receivers in the real Earth -- considerations for practical applications

abstract: To enhance monitoring of the subsurface, virtual sources and receivers inside the subsurface can be created from seismic reflection data at the surface of the Earth using the Marchenko method. The response between these virtual sources and receivers can be obtained through the use of homogeneous Green's function retrieval. A homogeneous Green's function is a superposition of a Green's function and its time-reversal. The main aim of this paper is to obtain accurate homogeneous Green's functions from field data. Classical homogeneous Green's function retrieval requires an unrealistic enclosing recording surface, however, by using a recently proposed single-sided retrieval scheme, this requirement can be avoided. We first demonstrate the principles of using the single-sided representation on synthetic data and show that different source signatures can be taken into account. Because the Marchenko method is sensitive to recording limitations of the reflection data, we study five cases of recording limitations with synthetic data and demonstrate their effects on the final result. Finally, the method is demonstrated on a pre-processed field dataset which fulfills the requirements for applying the single-sided Green's function retrieval scheme. The scheme has the potential to be used in future applications, such as source localization.


title: Identity types and weak factorization systems in Cauchy complete categories

abstract: It has been known that categorical interpretations of dependent type theory with Sigma- and Id-types induce weak factorization systems. When one has a weak factorization system (L, R) on a category C in hand, it is then natural to ask whether or not (L, R) harbors an interpretation of dependent type theory with Sigma- and Id- (and possibly Pi-) types. Using the framework of display map categories to phrase this question more precisely, one would ask whether or not there exists a class D of morphisms of C such that the retract closure of D is the class R and the pair (C, D) forms a display map category modeling Sigma- and Id- (and possibly Pi-) types. In this paper, we show, with the hypothesis that C is Cauchy complete, that there exists such a class D if and only if (C,R) itself forms a display map category modeling Sigma- and Id- (and possibly Pi-) types. Thus, we reduce the search space of our original question from a potentially proper class to a singleton.


title: Distributed Access Control with Blockchain

abstract: The specification and enforcement of network-wide policies in a single administrative domain is common in today's networks and considered as already resolved. However, this is not the case for multi-administrative domains, e.g. among different enterprises. In such situation, new problems arise that challenge classical solutions such as PKIs, which suffer from scalability and granularity concerns. In this paper, we present an extension to Group-Based Policy -- a widely used network policy language -- for the aforementioned scenario. To do so, we take advantage of a permissioned blockchain implementation (Hyperledger Fabric) to distribute access control policies in a secure and auditable manner, preserving at the same time the independence of each organization. Network administrators specify polices that are rendered into blockchain transactions. A LISP control plane (RFC 6830) allows routers performing the access control to query the blockchain for authorizations. We have implemented an end-to-end experimental prototype and evaluated it in terms of scalability and network latency.


title: First cryogenic test operation of underground km-scale gravitational-wave observatory KAGRA

abstract: KAGRA is a second-generation interferometric gravitational-wave detector with 3-km arms constructed at Kamioka, Gifu in Japan. It is now in its final installation phase, which we call bKAGRA (baseline KAGRA), with scientific observations expected to begin in late 2019. One of the advantages of KAGRA is its underground location of at least 200 m below the ground surface, which brings small seismic motion at low frequencies and high stability of the detector. Another advantage is that it cools down the sapphire test mass mirrors to cryogenic temperatures to reduce thermal noise. In April-May 2018, we have operated a 3-km Michelson interferometer with a cryogenic test mass for 10 days, which was the first time that km-scale interferometer was operated at cryogenic temperatures. In this article, we report the results of this "bKAGRA Phase 1" operation. We have demonstrated the feasibility of 3-km interferometer alignment and control with cryogenic mirrors.


title: Leptoquark searches in CMS

abstract: Leptoquarks (LQs) are hypothetical bosons, each coupling to a lepton and a quark of a given generation. They recently got particular attention, as the "TeV-scale LQ" might explain observed anomalies reported by dedicated B physics experiments. In these proceedings, the recent progress of the direct searches on LQs at CMS experiment is presented. The results are based on a data sample of proton-proton collisions at a center-of-mass energy of 13 TeV, recorded with the CMS detector corresponding to an integrated luminosity of 35.9 fb-1.


title: Life is Random, Time is Not: Markov Decision Processes with Window Objectives

abstract: The window mechanism was introduced by Chatterjee et al. to strengthen classical game objectives with time bounds. It permits to synthesize system controllers that exhibit acceptable behaviors within a configurable time frame, all along their infinite execution, in contrast to the traditional objectives that only require correctness of behaviors in the limit. The window concept has proved its interest in a variety of two-player zero-sum games because it enables reasoning about such time bounds in system specifications, but also thanks to the increased tractability that it usually yields. In this work, we extend the window framework to stochastic environments by considering Markov decision processes. A fundamental problem in this context is the threshold probability problem: given an objective it aims to synthesize strategies that guarantee satisfying runs with a given probability. We solve it for the usual variants of window objectives, where either the time frame is set as a parameter, or we ask if such a time frame exists. We develop a generic approach for window-based objectives and instantiate it for the classical mean-payoff and parity objectives, already considered in games. Our work paves the way to a wide use of the window mechanism in stochastic models.


title: Superconductivity in an organometallic compound

abstract: Organometallic compounds constitute a very large group of substances that contain at least one metal-to-carbon bond in which the carbon is part of an organic group. They have played a major role in the development of the science of chemistry. These compounds are used to a large extent as catalysts (substances that increase the rate of reactions without themselves being consumed) and as intermediates in the laboratory and in industry. Recently, novel quantum phenormena such as topological insulators and superconductors were also suggested in these materials. However, there has been no report on the experimental exploration for the topological state. Evidence for superconductivity from the zero-resistivity state in any organometallic compound has not been achieved yet, though much efforts have been devoted. Here we report the experimental realization of superconductivity with the critical temperature of 3.6 K in a potassium-doped organometallic compound, $ i.e.$ tri-$o$-tolylbismuthine with the evidence of both the Meissner effect and the zero-resistivity state through the $dc$ and $ac$ magnetic susceptibility and resistivity measurements. The obtained superconducting parameters classify this compound as a type-II superconductor. The benzene ring is identified to be the essential superconducting unit in such a phenyl organometallic compound. The superconducting phase and its composition are determined by the combined studies of the X-ray diffraction and theoretical calculations as well as the Raman spectroscopy measurements. These findings enrich the applications of organometallic compounds in superconductivity and add a new electron-acceptor family for organic superconductors. This work also points to a large pool for finding superconductors from organometallic compounds.


title: Linearly implicit structure-preserving schemes for Hamiltonian systems

abstract: Kahan's method and a two-step generalization of the discrete gradient method are both linearly implicit methods that can preserve a modified energy for Hamiltonian systems with a cubic Hamiltonian. These methods are here investigated and compared. The schemes are applied to the Korteweg-de Vries equation and the Camassa-Holm equation, and the numerical results are presented and analysed.


title: Halo intruders in the Galactic bulge revealed by HST and Gaia: the globular clusters Terzan 10 and Djorgovski 1

abstract: The low-latitude globular clusters Terzan 10 and Djorgovski 1 are vprojected in the Galactic bulge, in a Galactic region highly affected by extinction. A discrepancy of a factor of ~2 exists in the literature in regards to the distance determination of these clusters. We revisit the colour-magnitude diagrams (CMDs) of these two globular clusters with the purpose of disentangling their distance determination ambiguity and, for the first time, of determining their orbits to identify whether or not they are part of the bulge/bar region. We use Hubble Space Telescope CMDs, with the filters F606W from ACS and F160W from WFC3 for Terzan 10, and F606W and F814W from ACS for Djorgosvski~1, and combine them with the proper motions from Gaia Date Release 2. For the orbit integrations, we employed a steady Galactic model with bar. For the first time the blue horizontal branch of these clusters is clearly resolved. We obtain reliable distances of dSun = 10.3+-1.0 kpc and 9.3+-0.5 kpc for Terzan 10, and Djorgovski 1 respectively, indicating that they are both currently located in the bulge volume. From Gaia DR 2 proper motions, together with our new distance determination and recent literature radial velocities, we are able to show that the two sample clusters have typical halo orbits that are passing by the bulge/bar region, but that they are not part of this component. For the first time, halo intruders are identified in the bulge.


title: Static Analysis for Asynchronous JavaScript Programs

abstract: Asynchrony has become an inherent element of JavaScript, as an effort to improve the scalability and performance of modern web applications. To this end, JavaScript provides programmers with a wide range of constructs and features for developing code that performs asynchronous computations, including but not limited to timers, promises, and non-blocking I/O. However, the data flow imposed by asynchrony is implicit, and not always well-understood by the developers who introduce many asynchrony-related bugs to their programs. Worse, there are few tools and techniques available for analyzing and reasoning about such asynchronous applications. In this work, we address this issue by designing and implementing one of the first static analysis schemes capable of dealing with almost all the asynchronous primitives of JavaScript up to the 7th edition of the ECMAScript specification. Specifically, we introduce the callback graph, a representation for capturing data flow between asynchronous code. We exploit the callback graph for designing a more precise analysis that respects the execution order between different asynchronous functions. We parameterize our analysis with one novel context-sensitivity flavor, and we end up with multiple analysis variations for building callback graph. We performed a number of experiments on a set of hand-written and real-world JavaScript programs. Our results show that our analysis can be applied to medium-sized programs achieving 79% precision on average. The findings further suggest that analysis sensitivity is beneficial for the vast majority of the benchmarks. Specifically, it is able to improve precision by up to 28.5%, while it achieves an 88% precision on average without highly sacrificing performance.


title: An extended Agassi model: algebraic structure, phase diagram, and large size limit

abstract: The Agassi model is a schematic two-level model that involves pairing and monopole-monopole interactions. It is, therefore, an extension of the well known Lipkin-Meshkov-Glick (LMG) model. In this paper we review the algebraic formulation of an extension of the Agassi model as well as its bosonic realization through the Schwinger representation. Moreover, a mean-field approximation for the model is presented and its phase diagram discussed. Finally, a $1/j$ analysis, with $j$ proportional to the degeneracy of each level, is worked out to obtain the thermodynamic limit of the ground state energy and some order parameters from the exact Hamiltonian diagonalization for finite$-j$.


title: Background Subtraction in Real Applications: Challenges, Current Models and Future Directions

abstract: Computer vision applications based on videos often require the detection of moving objects in their first step. Background subtraction is then applied in order to separate the background and the foreground. In literature, background subtraction is surely among the most investigated field in computer vision providing a big amount of publications. Most of them concern the application of mathematical and machine learning models to be more robust to the challenges met in videos. However, the ultimate goal is that the background subtraction methods developed in research could be employed in real applications like traffic surveillance. But looking at the literature, we can remark that there is often a gap between the current methods used in real applications and the current methods in fundamental research. In addition, the videos evaluated in large-scale datasets are not exhaustive in the way that they only covered a part of the complete spectrum of the challenges met in real applications. In this context, we attempt to provide the most exhaustive survey as possible on real applications that used background subtraction in order to identify the real challenges met in practice, the current used background models and to provide future directions. Thus, challenges are investigated in terms of camera, foreground objects and environments. In addition, we identify the background models that are effectively used in these applications in order to find potential usable recent background models in terms of robustness, time and memory requirements.


title: Pentaquarks with anticharm or beauty revisited

abstract: We use a constituent model to analyze the stability of pentaquark $\bar Q qqqq$ configurations with a heavy antiquark $\bar c$ or $\bar b$, and four light quarks $uuds$, $ddsu$ or $ssud$. The interplay between chromoelectric and chromomagnetic effects is not favorable, and, as a consequence, no bound state is found below the lowest dissociation threshold.


title: Use of polyethylene naphthalate as a self-vetoing structural material

abstract: The discovery of scintillation in the blue regime from polyethylene naphthalate (PEN), a commonly used high-performance industrial polyester plastic, has sparked considerable interest from the physics community as a new type of plastic scintillator material. This observation in addition to its good mechanical and radiopurity properties makes PEN an attractive candidate as an active structure scintillator for low-background physics experiments. This paper reports on investigations of its potential in terms of production tests of custom made tiles and various scintillation light output measurements. These investigations substantiate the high potential of usage of PEN in low-background experiments.


title: Leaps of modules of integrable derivations in the sense of Hasse-Schmidt

abstract: Let k be a commutative ring of characteristic p > 0. We prove that leaps of chain formed by modules of integrable derivations in the sense of Hasse-Schmidt of a k-algebra only occur at powers of p.


title: Symmetry results for the solutions of a partial differential equation arising in water waves

abstract: This paper recalls some classical motivations in fluid dynamics leading to a partial differential equation which is prescribed on a domain whose boundary possesses two connected components, one endowed with a Dirichlet datum, and the other endowed with a Neumann datum. The problem can also be reformulated as a nonlocal problem on the component endowed with the Dirichlet datum. A series of recent symmetry results are presented and compared with the existing literature.


title: On Kernelization for Edge Dominating Set under Structural Parameters

abstract: In the NP-hard Edge Dominating Set problem (EDS) we are given a graph $G=(V,E)$ and an integer $k$, and need to determine whether there is a set $F\subseteq E$ of at most $k$ edges that are incident with all (other) edges of $G$. It is known that this problem is fixed-parameter tractable and admits a polynomial kernel when parameterized by $k$. A caveat for this parameter is that it needs to be large, i.e., at least equal to half the size of a maximum matching of $G$, for instances not to be trivially negative. Motivated by this, we study the existence of polynomial kernels for EDS when parameterized by structural parameters that may be much smaller than $k$. Unfortunately, at first glance this looks rather hopeless: Even when parameterized by the deletion distance to a disjoint union of paths $P_3$ of length two there is no polynomial kernelization (under standard assumptions), ruling out polynomial kernels for many smaller parameters like the feedback vertex set size. In contrast, somewhat surprisingly, there is a polynomial kernelization for deletion distance to a disjoint union of paths $P_5$ of length four. As our main result, we fully classify for all finite sets $\mathcal{H}$ of graphs, whether a kernel size polynomial in $|X|$ is possible when given $X$ such that each connected component of $G-X$ is isomorphic to a graph in $\mathcal{H}$.


title: Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries

abstract: Recent work has shown that deep-learning algorithms for malware detection are also susceptible to adversarial examples, i.e., carefully-crafted perturbations to input malware that enable misleading classification. Although this has questioned their suitability for this task, it is not yet clear why such algorithms are easily fooled also in this particular application domain. In this work, we take a first step to tackle this issue by leveraging explainable machine-learning algorithms developed to interpret the black-box decisions of deep neural networks. In particular, we use an explainable technique known as feature attribution to identify the most influential input features contributing to each decision, and adapt it to provide meaningful explanations to the classification of malware binaries. In this case, we find that a recently-proposed convolutional neural network does not learn any meaningful characteristic for malware detection from the data and text sections of executable files, but rather tends to learn to discriminate between benign and malware samples based on the characteristics found in the file header. Based on this finding, we propose a novel attack algorithm that generates adversarial malware binaries by only changing few tens of bytes in the file header. With respect to the other state-of-the-art attack algorithms, our attack does not require injecting any padding bytes at the end of the file, and it is much more efficient, as it requires manipulating much fewer bytes.


title: Measurement of the $t\bar{t}Z$ and $t\bar{t}W$ cross sections in proton-proton collisions at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: A measurement of the associated production of a top-quark pair ($t\bar{t}$) with a vector boson ($W$, $Z$) in proton-proton collisions at a center-of-mass energy of 13 TeV is presented, using $36.1$ fb$^{-1}$ of integrated luminosity collected by the ATLAS detector at the Large Hadron Collider. Events are selected in channels with two same- or opposite-sign leptons (electrons or muons), three leptons or four leptons, and each channel is further divided into multiple regions to maximize the sensitivity of the measurement. The $t\bar{t}Z$ and $t\bar{t}W$ production cross sections are simultaneously measured using a combined fit to all regions. The best-fit values of the production cross sections are $\sigma_{t\bar{t}Z} = 0.95 \pm 0.08_{\mathrm{stat.}} \pm 0.10_{\mathrm{syst.}}$ pb and $\sigma_{t\bar{t}W} = 0.87 \pm 0.13_{\mathrm{stat.}} \pm 0.14_{\mathrm{syst.}}$ pb in agreement with the Standard Model predictions. The measurement of the $t\bar{t}Z$ cross section is used to set constraints on effective field theory operators which modify the $t\bar{t}Z$ vertex.


title: OFDMA-based DF Secure Cooperative Communication with Untrusted Users

abstract: In this letter we consider resource allocation for OFDMA-based secure cooperative communication by employing a trusted Decode and Forward (DF) relay among the untrusted users. We formulate two optimization problems, namely, (i) sum rate maximization subject to individual power constraints on source and relay, and (ii) sum power minimization subject to a fairness constraint in terms of per-user minimum support secure rate requirement. The optimization problems are solved utilizing the optimality of KKT conditions for pseudolinear functions.


title: A Comparison of Models for Uncertain Network Design

abstract: To solve a real-world problem, the modeler usually needs to make a trade-off between model complexity and usefulness. This is also true for robust optimization, where a wide range of models for uncertainty, so-called uncertainty sets, have been proposed. However, while these sets have been mainly studied from a theoretical perspective, there is little research comparing different sets regarding their usefulness for a real-world problem. In this paper we consider a network design problem in a telecommunications context. We need to invest into the infrastructure, such that there is sufficient capacity for future demand which is not known with certainty. There is a penalty for an unsatisfied realized demand, which needs to be outsourced. We consider three approaches to model demand: using a discrete uncertainty set, using a polyhedral uncertainty set, and using the mean of a per-commodity fitted zero-inflated uniform distribution. While the first two models are used as part of a robust optimization setting, the last model represents a simple stochastic optimization setting. We compare these approaches on an efficiency frontier real-world data taken from the online library SNDlib and observe that, contrary to current research trends, robust optimization using the polyhedral uncertainty set may result in less efficient solutions.


title: Self-Stabilizing Distributed Cooperative Reset

abstract: Self-stabilization is a versatile fault-tolerance approach that characterizes the ability of a system to eventually resume a correct behavior after any finite number of transient faults. In this paper, we propose a self-stabilizing reset algorithm working in anonymous networks. This algorithm resets the network in a distributed non-centralized manner, i.e., it is multi-initiator, as each process detecting an inconsistency may initiate a reset. It is also cooperative in the sense that it coordinates concurrent reset executions in order to gain efficiency. Our approach is general since our reset algorithm allows to build self-stabilizing solutions for various problems and settings. As a matter of facts, we show that it applies to both static and dynamic specifications since we propose efficient self-stabilizing reset-based algorithms for the (1-minimal) $f,g)-alliance (a generalization of the dominating set problem) in identified networks and the unison problem in anonymous networks. Notice that these two latter instantiations enhance the state of the art. Indeed, in the former case, our solution is more general than the previous ones; while in the latter case, the complexity of the proposed unison algorithm is better than that of previous solutions of the literature.


title: Searching for low-mass dark matter particles with a massive Ge bolometer operated above-ground

abstract: The EDELWEISS collaboration has performed a search for dark matter particles with masses below the GeV-scale with a 33.4-g germanium cryogenic detector operated in a surface lab. The energy deposits were measured using a neutron-transmutation-doped Ge thermal sensor with a 17.7~eV (RMS) baseline heat energy resolution leading to a 60~eV analysis energy threshold. Despite a moderate lead shielding and the high-background environment, the first sub-GeV spin-independent dark matter limit based on a germanium target has been achieved. The experiment provides the most stringent, nuclear recoil based, above-ground limit on spin-independent interactions above 600~MeV/c$^{2}$. The experiment also provides the most stringent limits on spin-dependent interactions with protons and neutrons below 1.3~GeV/c$^{2}$. Furthermore, the dark matter search results were studied in the context of Strongly Interacting Massive Particles, taking into account Earth-shielding effects, for which new regions of the available parameter space have been excluded. Finally, the dark matter search has also been extended to interactions via the Migdal effect, resulting for the first time in the exclusion of particles with masses between 45 and 150~MeV/c$^{2}$ with spin-independent cross sections ranging from $10^{-29}$ to $10^{-26}$~cm$^2$.


title: Spatial concentration and temporal regularities in crime

abstract: Though crime is linked to different socio-economic factors, it exhibits remarkable regularities regardless of cities' particularities. In this chapter, we consider two fundamental regularities in crime regarding two essential aspects of criminal activity: time and space. For more than one century, we know that (1) crime occurs unevenly within a city and (2) crime peaks during specific times of the year. Here we describe the tendency of crime to concentrate spatially and to exhibit temporal regularities. We examine these phenomena from the complex-system perspective of cities, accounting for the possibility of both spatial heterogeneity and non-stationarity in urban phenomena.


title: On the Importance of Asymmetry and Monotonicity Constraints in Maximal Correlation Analysis

abstract: The maximal correlation coefficient is a well-established generalization of the Pearson correlation coefficient for measuring non-linear dependence between random variables. It is appealing from a theoretical standpoint, satisfying R\'enyi's axioms for a measure of dependence. It is also attractive from a computational point of view due to the celebrated alternating conditional expectation algorithm, allowing to compute its empirical version directly from observed data. Nevertheless, from the outset, it was recognized that the maximal correlation coefficient suffers from some fundamental deficiencies, limiting its usefulness as an indicator of estimation quality. Another well-known measure of dependence is the correlation ratio which also suffers from some drawbacks. Specifically, the maximal correlation coefficient equals one too easily whereas the correlation ratio equals zero too easily. The present work recounts some attempts that have been made in the past to alter the definition of the maximal correlation coefficient in order to overcome its weaknesses and then proceeds to suggest a natural variant of the maximal correlation coefficient as well as a modified conditional expectation algorithm to compute it. The proposed dependence measure at the same time resolves the major weakness of the correlation ratio measure and may be viewed as a bridge between these two classical measures.


title: On a comparison principle for Trudinger's equation

abstract: We study the comparison principle for non-negative solutions of the equation $$ \frac{\partial\,(|v|^{p-2}v)}{\partial t}\,=\, \textrm{div} (|\nabla v|^{p-2}\nabla v), \quad 1<p<\infty.$$ This equation is related to extremals of Poincar\'e inequalities in Sobolev spaces. We apply our result to obtain pointwise control of the large time behavior of solutions.


title: Carbon and oxygen in metal-poor halo stars

abstract: Carbon and oxygen are key tracers of the Galactic chemical evolution; in particular, a reported upturn in [C/O] towards decreasing [O/H] in metal-poor halo stars could be a signature of nucleosynthesis by massive Population III stars. We reanalyse carbon, oxygen, and iron abundances in thirty-nine metal-poor turn-off stars. For the first time, we take into account three-dimensional (3D) hydrodynamic effects together with departures from local thermodynamic equilibrium (LTE) when determining both the stellar parameters and the elemental abundances, by deriving effective temperatures from 3D non-LTE H$\beta$ profiles, surface gravities from Gaia parallaxes, iron abundances from 3D LTE Feii equivalent widths, and carbon and oxygen abundances from 3D non-LTE Ci and Oi equivalent widths. We find that [C/Fe] stays flat with [Fe/H], whereas [O/Fe] increases linearly up to $0.75$ dex with decreasing [Fe/H] down to $-3.0$ dex. As such [C/O] monotonically decreases towards decreasing [O/H], in contrast to previous findings, mainly by virtue of less severe non-LTE effects for Oi at low [Fe/H] with our improved calculations.


title: The dark side of supergiant High-Mass X-ray Binaries

abstract: High Mass X-ray Binaries (HMXB) have been revealed by a wealth of multi-wavelength observations, from X-ray to optical and infrared domain. After describing the 3 different kinds of HMXB, we focus on 3 HMXB hosting supergiant stars: IGR J16320-4751, IGR J16465-4507 and IGR J16318-4848, respectively called "The Good", "The Bad" and "The Ugly". We review in these proceedings what the observations of these sources have brought to light concerning our knowledge of HMXB, and what part still remains in the dark side. Many questions are still pending, related to accretion processes, stellar wind properties in these massive and active stars, and the overall evolution due to transfer of mass and angular momentum between the companion star and the compact object. Future observations should be able to answer these questions, which constitute the dark side of HMXB.


title: On the Structure of Small Strength-$2$ Covering Arrays

abstract: A covering array $\rm{CA}(N;t,k,v)$ of strength $t$ is an $N \times k$ array of symbols from an alphabet of size $v$ such that in every $N \times t$ subarray, every $t$-tuple occurs in at least one row. A covering array is \emph{optimal} if it has the smallest possible $N$ for given $t$, $k$, and $v$, and \emph{uniform} if every symbol occurs $\lfloor N/v \rfloor$ or $\lceil N/v \rceil$ times in every column. Prior to this paper the only known optimal covering arrays for $t=2$ were orthogonal arrays, covering arrays with $v=2$ constructed from Sperner's Theorem and the Erd\H{o}s-Ko-Rado Theorem, and eleven other parameter sets with $v>2$ and $N > v^2$. In all these cases, there is a uniform covering array with the optimal size. It has been conjectured that there exists a uniform covering array of optimal size for all parameters. In this paper a new lower bound as well as structural constraints for small uniform strength-$2$ covering arrays are given. Moreover, covering arrays with small parameters are studied computationally. The size of an optimal strength-$2$ covering array with $v > 2$ and $N > v^2$ is now known for $21$ parameter sets. Our constructive results continue to support the conjecture.


title: Bosonic Fractional Quantum Hall States on a Finite Cylinder

abstract: We investigate the ground state properties of a bosonic Harper-Hofstadter model with local interactions on a finite cylindrical lattice with filling fraction $\nu=1/2$. We find that our system supports topologically ordered states by calculating the topological entanglement entropy, and its value is in good agreement with the theoretical value for the $\nu=1/2$ Laughlin state. By exploring the behaviour of the density profiles, edge currents and single-particle correlation functions, we find that the ground state on the cylinder shows all signatures of a fractional quantum Hall state even for large values of the magnetic flux density. Furthermore, we determine the dependence of the correlation functions and edge currents on the interaction strength. We find that depending on the magnetic flux density, the transition towards Laughlin-like behaviour can be either smooth or happens abruptly for some critical interaction strength.


title: Motion, fixation probability and the choice of an evolutionary process

abstract: Different evolutionary models are known to make disparate predictions for the success of an invading mutant in some situations. For example, some evolutionary mechanics lead to amplification of selection in structured populations, while others suppress it. Here, we use computer simulations to study evolutionary populations moved by flows, and show how the speed of this motion impacts the fixation probability of an invading mutant. Flows of different speeds interpolate between evolutionary dynamics on fixed heterogeneous graphs and in well-stirred populations. We find that the motion has an active role in amplifying or suppressing selection, accomplished by fragmenting and reconnecting the interaction graph. While increasing flow speeds suppress selection for most evolutionary models, we identify characteristic responses to flow for the different update rules we test. We suggest these responses as a potential aid for choosing the most suitable update rule for a given biological system.


title: CT-GAN: Malicious Tampering of 3D Medical Imagery using Deep Learning

abstract: In 2018, clinics and hospitals were hit with numerous attacks leading to significant data breaches and interruptions in medical services. An attacker with access to medical records can do much more than hold the data for ransom or sell it on the black market. In this paper, we show how an attacker can use deep-learning to add or remove evidence of medical conditions from volumetric (3D) medical scans. An attacker may perform this act in order to stop a political candidate, sabotage research, commit insurance fraud, perform an act of terrorism, or even commit murder. We implement the attack using a 3D conditional GAN and show how the framework (CT-GAN) can be automated. Although the body is complex and 3D medical scans are very large, CT-GAN achieves realistic results which can be executed in milliseconds. To evaluate the attack, we focused on injecting and removing lung cancer from CT scans. We show how three expert radiologists and a state-of-the-art deep learning AI are highly susceptible to the attack. We also explore the attack surface of a modern radiology network and demonstrate one attack vector: we intercepted and manipulated CT scans in an active hospital network with a covert penetration test. Demo video: https://youtu.be/_mkRAArj-x0 Source code: https://github.com/ymirsky/CT-GAN


title: Triply mixed coverings of arbitrary base curves: Quasimodularity, quantum curves and a mysterious topological recursions

abstract: Simple Hurwitz numbers enumerate branched morphisms between Riemann surfaces with fixed ramification data. In recent years, several variants of this notion for genus $0$ base curves have appeared in the literature. Among them are so-called monotone Hurwitz numbers, which are related to the HCIZ integral in random matrix theory and strictly monotone Hurwitz numbers which count certain Grothendieck dessins d'enfants. We generalise the notion of Hurwitz numbers to interpolations between simple, monotone and strictly monotone Hurwitz numbers to any genus and any number of arbitrary but fixed ramification profiles. This yields generalisations of several results known for Hurwitz numbers. When the target surface is of genus one, we show that the generating series of these interpolated Hurwitz numbers are quasimodular forms. In the case that all ramification is simple, we refine this result by writing this series as a sum of quasimodular forms corresonding to tropical covers weighted by Gromov-Witten invariants. Moreover, we derive a quantum curve for monotone and Grothendieck dessins d'enfants Hurwitz numbers for arbitrary genera and one arbitrary but fixed ramification profile. Thus, we obtain spectral curves via the semiclassical limit as input data for the CEO topological recursion. Astonishingly, we find that the CEO topological recursion for the genus $1$ spectral curve of the strictly monotone Hurwitz numbers compute the monotone Hurwitz numbers in genus $0$. Thus, we give a new proof that monotone Hurwitz numbers satisfy CEO topological recursion. This points to an unknown relation between those enumerants. Finally, specializing to target surface $\mathbb{P}^1$, we find recursions for monotone and Grothendieck dessins d'enfants double Hurwitz numbers, which enables the computation of the respective Hurwitz numbers for any genera with one arbitrary but fixed ramification profile.


title: Polarization in Low Frequency Radio Astronomy

abstract: This chapter introduces the concepts of polarimetry in the case of low frequency radio astronomy. In this regime radio waves are usually not the signature of atomic or molecular transitions lines, but rather that of unstable particle distribution functions releasing their free energy through electromagnetic radiation. As the radio source region is usually magnetized, the propagation medium (at least close to the source) is anisotropic, and the polarization depends on the local magnetic field direction, the propagation mode and the direction of propagation.


title: Classification of Legendrian knots of topological type $7_6$ with maximal Thurston--Bennequin number

abstract: We classify Legendrian knots of topological type $7_6$ having maximal Thurston--Bennequin number confirming the corresponding conjectures of Chongchitmate--Ng.


title: Advanced Rich Transcription System for Estonian Speech

abstract: This paper describes the current TT\"U speech transcription system for Estonian speech. The system is designed to handle semi-spontaneous speech, such as broadcast conversations, lecture recordings and interviews recorded in diverse acoustic conditions. The system is based on the Kaldi toolkit. Multi-condition training using background noise profiles extracted automatically from untranscribed data is used to improve the robustness of the system. Out-of-vocabulary words are recovered using a phoneme n-gram based decoding subgraph and a FST-based phoneme-to-grapheme model. The system achieves a word error rate of 8.1% on a test set of broadcast conversations. The system also performs punctuation recovery and speaker identification. Speaker identification models are trained using a recently proposed weakly supervised training method.


title: Velocities of distant objects in General Relativity revisited

abstract: We consider two most popular definitions of velocities of remote objects in General Relativity. Our work has two motivations. From a research point of view, we generalize the formula connecting these two velocities in FRW metrics found by Chodorowski to arbitrary synchronous spherically symmetric metrics. From a methodological point of view, our goal is to outline certain counter-intuitive properties of the definitions in question, which would allow to use them when it is reasonable and to avoid incorrect statements, based on inappropriate use of intuition.


title: ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware

abstract: Billions of users rely on the security of the Android platform to protect phones, tablets, and many different types of consumer electronics. While Android's permission model is well studied, the enforcement of the protection policy has received relatively little attention. Much of this enforcement is spread across system services, taking the form of hard-coded checks within their implementations. In this paper, we propose Authorization Check Miner (ACMiner), a framework for evaluating the correctness of Android's access control enforcement through consistency analysis of authorization checks. ACMiner combines program and text analysis techniques to generate a rich set of authorization checks, mines the corresponding protection policy for each service entry point, and uses association rule mining at a service granularity to identify inconsistencies that may correspond to vulnerabilities. We used ACMiner to study the AOSP version of Android 7.1.1 to identify 28 vulnerabilities relating to missing authorization checks. In doing so, we demonstrate ACMiner's ability to help domain experts process thousands of authorization checks scattered across millions of lines of code.


title: Progress and challenges in the study of direct CP violation and $\gamma$ determinations: summary of CKM 2018 working group V

abstract: In the study of CP violation within and beyond the Standard Model of particle physics, pure hadronic B decays are the key players. Improving the determination of the CKM angle $\gamma$ is one of the important tasks in this endeavour. Besides, the full description of pure hadronic decays due to their strong interaction dynamics remains one of the challenges. In this summary, we discuss the recent results and progress on $\gamma$ determinations and direct CP violation in pure hadronic B decays as presented at CKM 2018.


title: Semi-discrete finite element approximation applied to Maxwell's equations in nonlinear media

abstract: In this paper the semi-discrete finite element approximation of initial boundary value problems for Maxwell's equations in nonliear media of Kerr-type is investigated. For the case of N\'ed\'elec elements from the first family, a priori error estimates are established for the approximation.


title: Comparison of Waldhausen constructions

abstract: In previous work, we develop a generalized Waldhausen $S_{\bullet}$-construction whose input is an augmented stable double Segal space and whose output is a unital 2-Segal space. Here, we prove that this construction recovers the previously known $S_{\bullet}$-constructions for exact categories and for stable and exact $(\infty,1)$-categories, as well as the relative $S_{\bullet}$-construction for exact functors.


title: Exploring the Role of Interdisciplinarity in Physics: Success, Talent and Luck

abstract: Although interdisciplinarity is often touted as a necessity for modern research, the evidence on the relative impact of sectorial versus to interdisciplinary science is qualitative at best. In this paper we leverage the bibliographic data set of the American Physical Society to quantify the role of interdisciplinarity in physics, and that of talent and luck in achieving success in scientific careers. We analyze a period of 30 years (1980-2009) tagging papers and their authors by means of the Physics and Astronomy Classification Scheme (PACS), to show that some degree of interdisciplinarity is quite helpful to reach success, measured as a proxy of either the number of articles or the citations score. We also propose an agent-based model of the publication-reputation-citation dynamics reproduces the trends observed in the APS data set. On the one hand, the results highlight the crucial role of randomness and serendipity in real scientific research; on the other, they shed light on a counter-intuitive effect indicating that the most talented authors are not necessarily the most successful ones.


title: Fabrication and characterization of super-polished wedged borosilicate nano-cells

abstract: We report on the fabrication of an all-glass vapor cell with a thickness varying linearly between (exactly) 0 and ~ 1 {\mu}m. The cell is made in Borofloat glass that allows super polish roughness, a full optical bonding assembling and easy filling with alkali vapors. We detail the challenging manufacture steps and present experimental spectra resulting from off-axis fluorescence and transmission spectroscopy of the Cesium D1 line. The very small surface roughness of 1 Angstr\"om rms is promising to investigate the atom-surface interaction or to minimize parasite stray light.


title: Escape of cosmic rays from the Galaxy and effects on the circumgalactic medium

abstract: The escape of cosmic rays from the Galaxy is expected to shape their spectrum inside the Galaxy. Yet, this phenomenon is very poorly understood and, in the absence of a physical description, it is usually modelled as free escape from a given boundary, typically located at a few kpc distance from the Galactic disc. We show that the assumption of free escape leads to the conclusion that the cosmic ray current propagating in the circumgalactic medium is responsible for a non resonant cosmic ray induced instability that in turn leads to the generation of a magnetic field of strength $\sim 2\times 10^{-8}$ Gauss on a scale $\sim 10$ kpc around our Galaxy. The self-generated diffusion produces large gradients in the particle pressure that induce a displacement of the intergalactic medium with velocity $\sim 10-100$ km/s. Cosmic rays are then carried away by advection. If the overdensity of the intergalactic gas in a region of size $\sim 10$ kpc around our Galaxy is $\gtrsim 100$ with respect to the cosmological baryon density $\Omega_{b}\rho_{cr}$, then the flux of high energy neutrinos as due to pion production becomes comparable with the flux of astrophysical neutrinos recently measured by IceCube.


title: Coded Distributed Computing over Packet Erasure Channels

abstract: Coded computation is a framework which provides redundancy in distributed computing systems to speed up largescale tasks. Although most existing works assume an error-free scenarios in a master-worker setup, the link failures are common in current wired/wireless networks. In this paper, we consider the straggler problem in coded distributed computing with link failures, by modeling the links between the master node and worker nodes as packet erasure channels. When the master fails to detect the received signal, retransmission is required for each worker which increases the overall run-time to finish the task. We first investigate the expected overall run-time in this setting using an (n; k) maximum distance separable (MDS) code. We obtain the lower and upper bounds on the latency in closed-forms and give guidelines to design MDS code depending on the packet erasure probability. Finally, we consider a setup where the number of retransmissions is limited due to the bandwidth constraint. By formulating practical optimization problems related to latency, transmission bandwidth and probability of successful computation, we obtain achievable performance curves as a function of packet erasure probability.


title: The Benefits of Over-parameterization at Initialization in Deep ReLU Networks

abstract: It has been noted in existing literature that over-parameterization in ReLU networks generally improves performance. While there could be several factors involved behind this, we prove some desirable theoretical properties at initialization which may be enjoyed by ReLU networks. Specifically, it is known that He initialization in deep ReLU networks asymptotically preserves variance of activations in the forward pass and variance of gradients in the backward pass for infinitely wide networks, thus preserving the flow of information in both directions. Our paper goes beyond these results and shows novel properties that hold under He initialization: i) the norm of hidden activation of each layer is equal to the norm of the input, and, ii) the norm of weight gradient of each layer is equal to the product of norm of the input vector and the error at output layer. These results are derived using the PAC analysis framework, and hold true for finitely sized datasets such that the width of the ReLU network only needs to be larger than a certain finite lower bound. As we show, this lower bound depends on the depth of the network and the number of samples, and by the virtue of being a lower bound, over-parameterized ReLU networks are endowed with these desirable properties. For the aforementioned hidden activation norm property under He initialization, we further extend our theory and show that this property holds for a finite width network even when the number of data samples is infinite. Thus we overcome several limitations of existing papers, and show new properties of deep ReLU networks at initialization.


title: Error estimates for the finite element approximation of bilinear boundary control problems

abstract: In this article a special class of nonlinear optimal control problems involving a bilinear term in the boundary condition is studied. These kind of problems arise for instance in the identification of an unknown space-dependent Robin coefficient from a given measurement of the state, or when the Robin coefficient can be controlled in order to reach a desired state. To this end, necessary and sufficient optimality conditions are derived and several discretization approaches for the numerical solution the optimal control problem are investigated. Considered are both a full discretization and the postprocessing approach meaning that we compute an improved control by a pointwise evaluation of the first-order optimality condition. For both approaches finite element error estimates are shown and the validity of these results is confirmed by numerical experiments.