title: Towards a Theory of Emergence for the Physical Sciences

abstract: I begin to develop a framework for emergence in the physical sciences. Namely, I propose to explicate ontological emergence in terms of the notion of 'novel reference', and of an account of interpretation as a map from theory to world. I then construe ontological emergence as the "failure of the interpretation to mesh" with an appropriate linkage map between theories. Ontological emergence can obtain between theories that have the same extension but different intensions, and between theories that have both different extensions and intensions. I illustrate the framework in three examples: the emergence of spontaneous magnetisation in a ferromagnet, the emergence of masslessness, and the emergence of space, in specific models of physics. The account explains why ontological emergence is independent of reduction: namely, because emergence is primarily concerned with adequate interpretation, while the sense of reduction that is relevant here is concerned with inter-theoretic relations between uninterpreted theories.


title: Memory Based Trajectory-conditioned Policies for Learning from Sparse Rewards

abstract: Reinforcement learning with sparse rewards is challenging because an agent can rarely obtain non-zero rewards and hence, gradient-based optimization of parameterized policies can be incremental and slow. Recent work demonstrated that using a memory buffer of previous successful trajectories can result in more effective policies. However, existing methods may overly exploit past successful experiences, which can encourage the agent to adopt sub-optimal and myopic behaviors. In this work, instead of focusing on good experiences with limited diversity, we propose to learn a trajectory-conditioned policy to follow and expand diverse past trajectories from a memory buffer. Our method allows the agent to reach diverse regions in the state space and improve upon the past trajectories to reach new states. We empirically show that our approach significantly outperforms count-based exploration methods (parametric approach) and self-imitation learning (parametric approach with non-parametric memory) on various complex tasks with local optima. In particular, without using expert demonstrations or resetting to arbitrary states, we achieve the state-of-the-art scores under five billion number of frames, on challenging Atari games such as Montezuma's Revenge and Pitfall.


title: Electron doping induced magnetic glassy state in phase separated YBaCo$_2$O$_{5.5-\delta}$

abstract: The structural, magnetic and transport properties of the layered RBaCo$_2$O$_{5.5}$ cobaltites are sensitive to the oxygen stoichiometry. In this present study, we report the presence of a low-temperature magnetic glassy state in electron-doped polycrystalline YBaCo$_2$O$_{5.5}$ cobaltite. The ac magnetization studies show the absence of conventional spin glass features, while the various dc magnetization studies demonstrate the presence of non-equilibrium magnetic glassy state at low temperature. The magnetic glassy state of this sample results from the kinetic arrest of the first order ferro (or ferri) to antiferromagnetic transition. The role of electron doping in the occurrence of magnetic glassy phenomena is discussed in terms of magnetic phase separation involving the Co3+/Co2+ clusters of the ferrimagnetic phase in the Co3+/Co3+ antiferromagnetic matrix.


title: Spatial Variation of the Chemical Properties of Massive Star-forming Clumps

abstract: We selected 90 massive star-forming clumps with strong N2H+, HCO+, HCN, and HNC emission from the Millimetre Astronomy Legacy Team 90 GHz survey. We obtained Herschel data for all 90 sources and NRAO VLA Sky Survey data for 51 of them. We convolved and regridded all images to the same resolution and pixel size and derived the temperature, H2 column density, molecules' abundances and abundance, and ratios of each pixel. Our analysis yields three main conclusions. First, the abundances of N2H+, HCO+, HCN, and HNC increase when the column density decreases and the temperature increases, with spatial variations in their abundances dominated by changes in the H2 column density. Second, the abundance ratios between N2H+, HCO+, HCN, and HNC also display systemic variations as a function of the column density due to the chemical properties of these molecules. Third, the sources associated with the 20 cm continuum emission can be classified into four types based on the behavior of the abundances of the four molecules considered here as a function of this emission. The variations of the first three types could also be attributed to the variation of the H2 column density.


title: Learning Embedding of 3D models with Quadric Loss

abstract: Sharp features such as edges and corners play an important role in the perception of 3D models. In order to capture them better, we propose quadric loss, a point-surface loss function, which minimizes the quadric error between the reconstructed points and the input surface. Computation of Quadric loss is easy, efficient since the quadric matrices can be computed apriori, and is fully differentiable, making quadric loss suitable for training point and mesh based architectures. Through extensive experiments we show the merits and demerits of quadric loss. When combined with Chamfer loss, quadric loss achieves better reconstruction results as compared to any one of them or other point-surface loss functions.


title: Vulnerability of the Synchronization Process in the Quantum Key Distribution System

abstract: A typical structure of an auto-compensation system for quantum key distribution is given. The principle of operation of a fiber-optic system for the distribution of quantum keys with phase coding of photon states is described. The operation of the system in the synchronization mode and the formation of quantum keys was investigated. The process of detecting a time interval with an optical synchronization pulse is analyzed. The structural scheme of the experimental stand of the quantum-cryptographic network is given. Data are obtained that attest to the presence of a multiphoton signal during the transmission of sync pulses from the transceiver station to the coding and backward direction. The results of experimental studies are presented, which prove the existence of a vulnerability in the process of synchronization of the quantum key distribution system. It is shown that the use of a multiphoton optical pulse as a sync signal makes it possible for an attacker to unauthorized access to a quantum communication channel. The experimental results show that tapping a portion of the optical power from the quantum communication channel during the synchronization process allows an attacker to remain unnoticed while the quantum protocol is operating. Experimentally proved the possibility of introducing malfunctions into the operation of the quantum communication system at the stage of key formation, while remaining invisible for control means.


title: Sequence design-based control of DNA droplets formed from phase separation of DNA nanostructures

abstract: DNA has the potential to realize a controllable liquid-liquid phase separation (LLPS) system, because the design of its base sequences results in programmable interactions. Here, we have developed a novel DNA-based LLPS system which enables us to create 'DNA droplets' and to control their dynamic behaviour by designing sequences of the DNA nanostructure. We were able to change the phase separation temperature required for the formation of DNA droplets by designing the sequences. In addition, the fusion, fission, and formation of Janus-shaped droplets were controlled by sequence design and enzymatic reactions. Furthermore, modifications of proteins with sequence-designed DNAs allowed for their capture into specific droplets. Overall, our results provide a new platform for designing the phase behaviour of macromolecular structures, and paves the way for new applications of sequence-designed DNA in the creation of cell-mimicries, synthetic membraneless organelles, and artificial molecular systems.


title: Effective simultaneous rational approximation to pairs of real quadratic numbers

abstract: Let $\xi, \zeta$ be quadratic real numbers in distinct quadratic fields. We establish the existence of effectively computable, positive real numbers $\tau$ and $c$, such that, for every integer $q$ with $q > c$ we have $$ \max\{\|q \xi \|, \|q \zeta\| \} > q^{-1 + \tau}, $$ where $\| \cdot \|$ denotes the distance to the nearest integer.


title: Hole-Doped M4SiTe4 (M = Ta, Nb) as an Efficient p-Type Thermoelectric Material for Low-Temperature Applications

abstract: Solid-state thermoelectric cooling is expected to be widely used in various cryogenic applications such as local cooling of superconducting devices. At present, however, thermoelectric cooling using p- and n-type Bi2Te3-based materials has been put to practical use only at room temperature. Recently, M4SiTe4 (M = Ta, Nb) has been found to show excellent n-type thermoelectric properties down to 50 K. This paper reports on the synthesis of high-performance p-type M4SiTe4 by Ti doping, which can be combined with n-type M4SiTe4 in a cooling device at low temperatures. The thermoelectric power factor of p-type M4SiTe4 reaches a maximum value of approximately 60 uW cm-1 K-2 at 210 K and exceeds the practical level in a wide temperature range of 130-270 K. A finite temperature drop by Peltier cooling was also achieved in a cooling device made of p- and n-type Ta4SiTe4 whisker crystals. These results clearly indicate that M4SiTe4 is promising to realize a practical thermoelectric cooler for use at low temperatures, which are not covered by Bi2Te3-based materials.


title: HA-CCN: Hierarchical Attention-based Crowd Counting Network

abstract: Single image-based crowd counting has recently witnessed increased focus, but many leading methods are far from optimal, especially in highly congested scenes. In this paper, we present Hierarchical Attention-based Crowd Counting Network (HA-CCN) that employs attention mechanisms at various levels to selectively enhance the features of the network. The proposed method, which is based on the VGG16 network, consists of a spatial attention module (SAM) and a set of global attention modules (GAM). SAM enhances low-level features in the network by infusing spatial segmentation information, whereas the GAM focuses on enhancing channel-wise information in the higher level layers. The proposed method is a single-step training framework, simple to implement and achieves state-of-the-art results on different datasets. Furthermore, we extend the proposed counting network by introducing a novel set-up to adapt the network to different scenes and datasets via weak supervision using image-level labels. This new set up reduces the burden of acquiring labour intensive point-wise annotations for new datasets while improving the cross-dataset performance.


title: Nonpositive Curvature of the quantomorphism group and quasigeostrophic motion

abstract: In this paper, we compute the sectional curvature of the quantomorphism group $\mathcal{D}_q(M)$ whose geodesic equation is the quasi-geostrophic (QG) equation in geophysics and oceanography, for flows with a stream function depending on only one variable. Using this explicit formula, we will also derive a criterion for the curvature operator to be nonpositive and discuss the role of the Froude number and the Rossby number on curvature. The main technique to obtain a usable formula is a simplification of Arnold's general formula in the case where a vector field is close to a Killing field, and then use the Green's function explicitly. We show that nonzero Froude number and Rossby numbers both tend to stabilize flows in the Lagrangian sense.


title: Adaptive and Compressive Beamforming Using Deep Learning for Medical Ultrasound

abstract: In ultrasound (US) imaging, various types of adaptive beamforming techniques have been investigated to improve the resolution and contrast-to-noise ratio of the delay and sum (DAS) beamformers. Unfortunately, the performance of these adaptive beamforming approaches degrade when the underlying model is not sufficiently accurate and the number of channels decreases. To address this problem, here we propose a deep learning-based beamformer to generate significantly improved images over widely varying measurement conditions and channel subsampling patterns. In particular, our deep neural network is designed to directly process full or sub-sampled radio-frequency (RF) data acquired at various subsampling rates and detector configurations so that it can generate high quality ultrasound images using a single beamformer. The origin of such input-dependent adaptivity is also theoretically analyzed. Experimental results using B-mode focused ultrasound confirm the efficacy of the proposed methods.


title: AdaNN: Adaptive Neural Network-based Equalizer via Online Semi-supervised Learning

abstract: The demand for high speed data transmission has increased rapidly, leading to advanced optical communication techniques. In the past few years, multiple equalizers based on neural network (NN) have been proposed to recover signal from nonlinear distortions. However, previous experiments mainly focused on achieving low bit error rate (BER) on certain dataset with an offline-trained NN, neglecting the generalization ability of NN-based equalizer when the properties of optical link change. The development of efficient online training scheme is urgently needed. In this paper, we've proposed an adaptive online training scheme, which can fine-tune parameters of NN-based equalizer without the help of an online training sequence. By introducing data augmentation and virtual adversarial training, the convergence speed has been accelerated by 4.5 times, compared with decision-directed self-training. The proposed adaptive NN-based equalizer is called "AdaNN". Its BER has been evaluated under two scenarios: a 56 Gb/s PAM4-modulated VCSEL-MMF optical link (100-m), and a 32 Gbaud 16QAM-modulated Nyquist-WDM system (960-km SSMF). In our experiments, with the help of AdaNN, BER values can be quickly stabilized below 1e-3 after trained with 10^5 unlabeled symbols. AdaNN shows great performance improvement compared with non-adaptive NN and conventional MLSE.


title: From biquandle structures to Hom-biquandles

abstract: We investigate the relationship between the quandle and biquandle coloring invariant and obtain an enhancement of the quandle and biquandle coloring invariants using biquandle structures. We also continue the study of biquandle homomorphisms into a medial biquandle begun by the second author et al., finding biquandle analogs of results about Hom-quandles. We describe the biquandle structure of the Hom-biquandle, and consider the relationship between the Hom-quandle and Hom-biquandle.


title: Non-surjective pullbacks of graph C*-algebras from non-injective pushouts of graphs

abstract: We find a substantial class of pairs of $*$-homomorphisms between graph C*-algebras of the form $C^*(E)\hookrightarrow C^*(G)\twoheadleftarrow C^*(F)$ whose pullback C*-algebra is an AF graph C*-algebra. Our result can be interpreted as a recipe for determining the quantum space obtained by shrinking a quantum subspace. There is a variety of examples from noncommutative topology, such as quantum complex projective spaces (including the standard Podle\'s quantum sphere) or quantum teardrops, that instantiate the result. Furthermore, to go beyond AF graph C*-algebras, we consider extensions of graphs over sinks and prove an analogous theorem for the thus obtained graph C*-algebras.


title: Spatially modulated two- and three-component Rabi-coupled Gross-Pitaevskii systems

abstract: Vector rogue wave (RW) formation and their dynamics in Rabi coupled two- and three-species Bose-Einstein condensates with spatially varying dispersion and nonlinearity are studied. For this purpose, we obtain the RW solution of the two- and three-component inhomogeneous Gross-Pitaevskii (GP) systems with Rabi coupling by introducing suitable rotational and similarity transformations. Then, we investigate the effect of inhomogeneity (spatially varying dispersion, trapping potential and nonlinearity) on vector RWs for two different forms of potential strengths, namely periodic (optical lattice) with specific reference to hyperbolic type potentials and parabolic cylinder potentials. First, we show an interesting oscillating boomeronic behaviour of dark-bright solitons due to Rabi coupling in two component-condensate with constant nonlinearities. Then in the presence of inhomogeneity but in the absence of Rabi coupling we demonstrate creation of new daughter RWs co-existing with dark (bright) soliton part in first (second) component of the two-component GP system. Further, the hyperbolic modulation (sech type) of parameter along with Rabi effect leads to the formation of dromion (two-dimensional localized structure) trains even in the (1+1) dimensional two-component GP system, which is a striking feature of Rabi coupling with spatial modulation. Next, our study on three-component condensate, reveals the fact that the three RWs can be converted into broad based zero background RW appearing on top of a bright soliton by introducing spatial modulation only. Further, by including Rabi coupling we observe beating behaviour of solitons with internal oscillations mostly at the wings. Also, we show that by employing parabolic cylinder modulation with model parameter $n$, one can produce $(n+1)$ RWs.


title: Mesonic dynamics and QCD phase transition

abstract: We study the nontrivial dispersion relation of mesons resulting from the splitting of the transversal and longitudinal mesonic wave function renormalizations, and its influences on the QCD phase transition, equation of state, and the fluctuations of baryon number. The calculations are performed in a two-flavor low energy effective model within the functional renormalization group approach. We find that influences of the splitting mesonic wave function renormalizations on the equilibrium thermodynamical bulk properties are mild. Furthermore, we have compare the fixed and running expansion for the effective potential in detail, through which the role of the field-dependent meson and quark wave function renormalizations could be inferred.


title: Seismic performance of an infilled moment-resisting steel frame during the 2016 Central Italy Earthquake

abstract: A sequence of earthquakes occurred between the end of August 2016 and the end of October 2016 in Central Italy causing significant damage and major disruption in a wide area. The sequence of events is composed of five events with magnitude between Mw 5.5 to 6.5. As a consequence, numerous residential buildings in the affected area was not particularly resistant to the shaking, resulting in the collapse and heavy damage. With a particular focus on masonry infilled steel frames, this paper evaluates the seismic performance of an infilled moment-resisting steel frame located in Amatrice, Central Italy, which suffered significant damage during the August 2016 Central Italy earthquake. The aim is to investigate the effect of the masonry infill to the seismic performance of the building. The three-dimensional (3D) frame building is modeled using the Opensees software, where the beam and column elements are modeled by using a nonlinear hinge model and the infill is idealized as diagonal struts with nonlinear hysteretic behavior. Nonlinear static and dynamic analyses are performed for both bare and infill frames in order to assess the effect of the masonry infill on the overall seismic response and confirm the actual damage pattern surveyed in the aftermath of the 2016 Central Italy earthquake of the case study.


title: Excitable solitons: Annihilation, crossover, and nucleation of pulses in mass-conserving activator-inhibitor media

abstract: Excitable pulses are among the most widespread dynamical patterns that occur in many different systems, ranging from biological cells to chemical reactions and ecological populations. Traditionally, the mutual annihilation of two colliding pulses is regarded as their prototypical signature. Here we show that colliding excitable pulses may exhibit soliton-like crossover and pulse nucleation if the system obeys a mass conservation constraint. In contrast to previous observations in systems without mass conservation, these alternative collision scenarios are robustly observed over a wide range of parameters. We demonstrate our findings using a model of intracellular actin waves since, on time scales of wave propagations over the cell scale, cells obey the conservation of actin monomers. The results provide a key concept to understand the ubiquitous occurrence of actin waves in cells, suggesting why they are so common, and why their dynamics is robust and long-lived.


title: Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques

abstract: Cyber-physical system applications such as autonomous vehicles, wearable devices, and avionic systems generate a large volume of time-series data. Designers often look for tools to help classify and categorize the data. Traditional machine learning techniques for time-series data offer several solutions to solve these problems; however, the artifacts trained by these algorithms often lack interpretability. On the other hand, temporal logics, such as Signal Temporal Logic (STL) have been successfully used in the formal methods community as specifications of time-series behaviors. In this work, we propose a new technique to automatically learn temporal logic formulae that are able to cluster and classify real-valued time-series data. Previous work on learning STL formulas from data either assumes a formula-template to be given by the user, or assumes some special fragment of STL that enables exploring the formula structure in a systematic fashion. In our technique, we relax these assumptions, and provide a way to systematically explore the space of all STL formulas. As the space of all STL formulas is very large, and contains many semantically equivalent formulas, we suggest a technique to heuristically prune the space of formulas considered. Finally, we illustrate our technique on various case studies from the automotive, transportation and healthcare domain.


title: Bidirectional numerical conformal mapping based on the dipole simulation method

abstract: Many authors have studied the numerical computation of conformal mappings (numerical conformal mapping), and there are nowadays several efficient numerical schemes. Among them, Amano's method offers a straightforward numerical procedure for computing conformal mappings based on the method of fundamental solutions, and it has been applied to several regions with great success. However, there are some difficulties in constructing a suitable conjugate harmonic function; therefore, it is required a little of craftmanship. In this paper, we construct another numerical scheme for computing conformal mappings based on the dipole simulation method and give mathematical theorems on the approximation error and the arrangements of the singular points. Several numerical results are also presented in order to ensure the effectiveness of our proposed method.


title: Discriminative Consistent Domain Generation for Semi-supervised Learning

abstract: Deep learning based task systems normally rely on a large amount of manually labeled training data, which is expensive to obtain and subject to operator variations. Moreover, it does not always hold that the manually labeled data and the unlabeled data are sitting in the same distribution. In this paper, we alleviate these problems by proposing a discriminative consistent domain generation (DCDG) approach to achieve a semi-supervised learning. The discriminative consistent domain is achieved by a double-sided domain adaptation. The double-sided domain adaptation aims to make a fusion of the feature spaces of labeled data and unlabeled data. In this way, we can fit the differences of various distributions between labeled data and unlabeled data. In order to keep the discriminativeness of generated consistent domain for the task learning, we apply an indirect learning for the double-sided domain adaptation. Based on the generated discriminative consistent domain, we can use the unlabeled data to learn the task model along with the labeled data via a consistent image generation. We demonstrate the performance of our proposed DCDG on the late gadolinium enhancement cardiac MRI (LGE-CMRI) images acquired from patients with atrial fibrillation in two clinical centers for the segmentation of the left atrium anatomy (LA) and proximal pulmonary veins (PVs). The experiments show that our semi-supervised approach achieves compelling segmentation results, which can prove the robustness of DCDG for the semi-supervised learning using the unlabeled data along with labeled data acquired from a single center or multicenter studies.


title: The norm of the saturation of a binomial ideal, and applications to Markov bases

abstract: Given a pure binomial ideal I in variables x_i, we define a new measure of the complexity of the saturation of I with respect to the product of the variables x_i, which we call the norm. We give a bound on the norm in terms of easily-computed invariants of the ideal. We discuss statistical applications both practical and theoretical.


title: Oscillation criteria for second order two dimensional linear systems of ordinary differential equations

abstract: Some properties of global solution of scalar Riccati equation are studied. On the basis of these properties using the Whiburn's and Leighton - Nehary's theorems some oscillatory and criteria are proved for second order linear systems of ordinary differential equations.


title: Hyperspectral City V1.0 Dataset and Benchmark

abstract: This document introduces the background and the usage of the Hyperspectral City Dataset and the benchmark. The documentation first starts with the background and motivation of the dataset. Follow it, we briefly describe the method of collecting the dataset and the processing method from raw dataset to the final release dataset, specifically, the version 1.0. We also provide the detailed usage of the dataset and the evaluation metric for submitted the result for the 2019 Hyperspectral City Challenge.


title: Multilevel Monte Carlo Simulations of Composite Structures with Uncertain Manufacturing Defects

abstract: By adopting a Multilevel Monte Carlo (MLMC) framework, we show that only a handful of costly fine scale computations are needed to accurately estimate statistics of the failure of a composite structure, as opposed to the thousands typically needed in classical Monte Carlo analyses. We introduce the MLMC method, compare its theoretical complexity with classical Monte Carlo, and give a simple-to-implement algorithm which includes a simple extension called MLMC with selective refinement to efficiently calculated structural failure probabilities. To demonstrate the huge computational gains we present two benchmark problems in composites: (1) the effects of fibre waviness on the compressive strength of a composite material, (2) uncertain buckling performance of a composite panel with uncertain ply orientations. For our most challenging test case, estimating a rare ($\sim 1/150$) probability of buckling failure of a composite panel, we see a speed-up factor $> 1000$. Our approach distributed over $1024$ processors reduces the computation time from $218$ days to just $4.5$ hours. This level of speed up makes stochastic simulations that would otherwise be unthinkable now possible.?


title: Predicting Malicious Insider Threat Scenarios Using Organizational Data and a Heterogeneous Stack-Classifier

abstract: Insider threats continue to present a major challenge for the information security community. Despite constant research taking place in this area; a substantial gap still exists between the requirements of this community and the solutions that are currently available. This paper uses the CERT dataset r4.2 along with a series of machine learning classifiers to predict the occurrence of a particular malicious insider threat scenario - the uploading sensitive information to wiki leaks before leaving the organization. These algorithms are aggregated into a meta-classifier which has a stronger predictive performance than its constituent models. It also defines a methodology for performing pre-processing on organizational log data into daily user summaries for classification, and is used to train multiple classifiers. Boosting is also applied to optimise classifier accuracy. Overall the models are evaluated through analysis of their associated confusion matrix and Receiver Operating Characteristic (ROC) curve, and the best performing classifiers are aggregated into an ensemble classifier. This meta-classifier has an accuracy of \textbf{96.2\%} with an area under the ROC curve of \textbf{0.988}.


title: Real-time frequency based reduced order modeling of large power grid

abstract: Large power systems are complex and real-time modeling of the grid for electromagnetic simulation (EMT) studies is impractical. In general, there are methods that reduce large power system into an equivalent network that requires less computational resource, while preserving electromechanical (low frequency) and high frequency behavior of the original system. This can be achieved by modeling the area not of interest (external area) as a combination of Transient Stability Analysis (TSA) type phasor model equivalent and Frequency Dependent Network Equivalent (FDNE). TSA retains electromechanical behavior, whereas FDNE retains high frequency behavior of the original power system. To this effect, this paper introduces a method of developing FDNE based on an online recursive least squares (RLS) identification algorithm in z-domain, and modeling of reduced power systems as FDNE and as a combination of TSA and FDNE using real-time digital simulators.


title: Non-Local Representation based Mutual Affine-Transfer Network for Photorealistic Stylization

abstract: Photorealistic stylization aims to transfer the style of a reference photo onto a content photo in a natural fashion, such that the stylized image looks like a real photo taken by a camera. State-of-the-art methods stylize the image locally within each matched semantic region and are prone to global color inconsistency across semantic objects/parts, making the stylized image less photorealistic. To tackle the challenging issues, we propose a non-local representation scheme, constrained with a mutual affine-transfer network (NL-MAT). Through a dictionary-based decomposition, NL-MAT is able to successfully decouple matched non-local representations and color information of the image pair, such that the context correspondence between the image pair is incorporated naturally, which largely facilitates local style transfer in a global-consistent fashion. To the best of our knowledge, this is the first attempt to address the photorealistic stylization problem with a non-local representation scheme, such that no additional models or steps for semantic matching are required during stylization. Experimental results demonstrate that the proposed method is able to generate photorealistic results with local style transfer while preserving both the spatial structure and global color consistency of the content image.


title: All-Analog Adaptive Equalizer for Coherent Data Center Interconnects

abstract: In a high-speed coherent optical transmission system, typically the signals obtained at the receiver front-end are digitized using very high-speed ADCs and then processed in the digital domain to remove optical channel impairments. In this work, we show that these signals can instead be processed in the analog domain itself, which can significantly reduce the power consumption as well as the complexity of the receiver. The first all-analog adaptive equalizer for receivers of coherent dual-polarization optical links has been presented with its detailed architecture and measurement results. The proof-of-concept equalizer uses the constant modulus algorithm for blind adaptation of its weight coefficients to implement a 4x4 2-tap FIR filter in 130 nm SiGe BiCMOS technology. Its functionality is evaluated experimentally for 40 Gb /s data rate and 10 km standard single-mode fiber channel. This demonstration shows that the use of all-analog processing for short-reach data-center interconnects is feasible and is a much simpler solution than the use of the high-speed ADC+DSP based approach. Moreover, when implemented in advanced CMOS or FinFET technologies, the power consumption of the equalizer is expected to be significantly lower than the DSP based implementations in similar process technologies.


title: Optimizing the $U_{eff}$ value for DFT+U calculation of paramagnetic solid-state NMR shifts by double Fermi-contact-shift verification

abstract: The isotropic chemical shifts can be calculated either by full-electron configuration, or by hybrid functionals, which costs a large amount of computational resources. To save the time, DFT+U could be employed to calculate the isotropic chemical shifts. However, the calculated properties are very sensitive to the Hubbard correction value $U_{eff}$. Here the double Fermi-contact-shift verification approach with DFT+U method is proposed with much higher computational efficiency, that is, simultaneously calculate the Fermi-contact shifts on two nuclei ($^{6}Li$ and $^{17}O$) to predict the optimal $U_{eff}$. The optimal $U_{eff}$ is also helpful to the calculations of quadrupolar coupling constant $C_{Q}$, $g$-factor, band structure and density of states.


title: The theta-dependent Yang-Mills theory at finite temperature in a holographic description

abstract: The theta-dependent gauge theories can be studied by using holographic duality through string theory on certain spacetimes. Via this correspondence we consider a stack of $N_{0}$ dynamical D0-branes as D-instantons in the background sourced by $N_{c}$ coincident non-extreme black D4-branes. According to the gauge-gravity duality this D0-D4 brane system corresponds to Yang-Mills theory with a theta angle at finite temperature. We solve the IIA supergravity action by taking account into a sufficiently small backreaction of the D-instantons and obtain an analytical solution for our D0-D4-brane configuration. Then the dual theory in the large $N_{c}$ limit can be holographically investigated with the gravity solution. In the dual field theory, we find the coupling constant exhibits the property of asymptotic freedom as it is expected in QCD. The contribution of the theta-dependence to the free energy gets suppressed at high temperature which is basically consistent with the calculation by using the Yang-Mills instanton. The topological susceptibility in the large $N_{c}$ limit vanishes and this behavior remarkably agrees with the implications from the simulation results at finite temperature. Besides we finally find a geometrical interpretation of the theta-dependence in this holographic system.


title: A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation

abstract: A large class of traditional graph and data mining algorithms can be concisely expressed in Datalog, and other Logic-based languages, once aggregates are allowed in recursion. In fact, for most BigData algorithms, the difficult semantic issues raised by the use of non-monotonic aggregates in recursion are solved by Pre-Mappability (PreM), a property that assures that for a program with aggregates in recursion there is an equivalent aggregate-stratified program. In this paper we show that, by bringing together the formal abstract semantics of stratified programs with the efficient operational one of unstratified programs, PreM can also facilitate and improve their parallel execution. We prove that PreM-optimized lock-free and decomposable parallel semi-naive evaluations produce the same results as the single executor programs. Therefore, PreM can be assimilated into the data-parallel computation plans of different distributed systems, irrespective of whether these follow bulk synchronous parallel (BSP) or asynchronous computing models. In addition, we show that non-linear recursive queries can be evaluated using a hybrid stale synchronous parallel (SSP) model on distributed environments. After providing a formal correctness proof for the recursive query evaluation with PreM under this relaxed synchronization model, we present experimental evidence of its benefits. This paper is under consideration for acceptance in Theory and Practice of Logic Programming (TPLP).


title: A Forensic Audit of the Tor Browser Bundle

abstract: The increasing use of encrypted data within file storage and in network communications leaves investigators with many challenges. One of the most challenging is the Tor protocol, as its main focus is to protect the privacy of the user, in both its local footprint within a host and over a network connection. The Tor browser, though, can leave behind digital artefacts which can be used by an investigator. This paper outlines an experimental methodology and provides results for evidence trails which can be used within real-life investigations.


title: Effect of two temperature electrons in a collisional magnetized plasma sheath

abstract: A collisional magnetized plasma consisting of two temperature electrons has been investigated numerically to study the sheath structure and the ion energy flux to the wall. The low-temperature electrons are described by Maxwellian distribution, and the high-temperature electrons are described by truncated Maxwellian distribution. It has been observed that high-temperature electrons play a major role in the sheath potential as well as the ion energy flux to the wall. The presence of collision in the sheath has a significant effect on the properties of the sheath. The study of such a system can help in understanding of plasma surface interaction.


title: Free-Electron Qubits

abstract: Free-electron interactions with laser-driven nanophotonic nearfields can quantize the electrons' energy spectrum and provide control over this quantized degree of freedom. We propose to use such interactions to promote free electrons as carriers of quantum information and find how to create a qubit on a free electron. We find how to implement the qubit's non-commutative spin-algebra, then control and measure the qubit state with a universal set of 1-qubit gates. These gates are within the current capabilities of femtosecond-pulsed laser-driven transmission electron microscopy. Pulsed laser driving promise configurability by the laser intensity, polarizability, pulse duration, and arrival times.


title: Backward-Forward Algorithm: An Improvement towards Extreme Learning Machine

abstract: The extreme learning machine needs a large number of hidden nodes to generalize a single hidden layer neural network for a given training data-set. The need for more number of hidden nodes suggests that the neural-network is memorizing rather than generalizing the model. Hence, a supervised learning method is described here that uses Moore-Penrose approximation to determine both input-weight and output-weight in two epochs, namely, backward-pass and forward-pass. The proposed technique has an advantage over the back-propagation method in terms of iterations required and is superior to the extreme learning machine in terms of the number of hidden units necessary for generalization.


title: StableNet: Semi-Online, Multi-Scale Deep Video Stabilization

abstract: Video stabilization algorithms are of greater importance nowadays with the prevalence of hand-held devices which unavoidably produce videos with undesirable shaky motions. In this paper we propose a data-driven online video stabilization method along with a paired dataset for deep learning. The network processes each unsteady frame progressively in a multi-scale manner, from low resolution to high resolution, and then outputs an affine transformation to stabilize the frame. Different from conventional methods which require explicit feature tracking or optical flow estimation, the underlying stabilization process is learned implicitly from the training data, and the stabilization process can be done online. Since there are limited public video stabilization datasets available, we synthesized unstable videos with different extent of shake that simulate real-life camera movement. Experiments show that our method is able to outperform other stabilization methods in several unstable samples while remaining comparable in general. Also, our method is tested on complex contents and found robust enough to dampen these samples to some extent even it was not explicitly trained in the contents.


title: Inferring long-range interactions between immune and tumor cells -- pitfalls and (partial) solutions

abstract: Upcoming immunotherapies for cancer treatment rely on the ability of the immune system to detect and eliminate tumors in the body. A highly simplified version of this process can be studied in a Petri dish: starting with a random distribution of immune and tumor cells, it can be observed in detail how individual immune cells migrate towards nearby tumor cells, establish contact, and attack. Nevertheless, it remains unclear whether the immune cells find their targets by chance, or if they approach them 'on purpose', using remote sensing mechanisms such as chemotaxis. In this work, we present methods to infer the strength and range of long-range cell-cell interactions from time-lapse recorded cell trajectories, using a maximum likelihood method to fit the model parameters. First, we model the interactions as a distance-dependent 'force' that attracts immune cells towards their nearest tumor cell. While this approach correctly recovers the interaction parameters of simulated cells with constant migration properties, it detects spurious interactions in the case of independent cells that spontaneously change their migration behavior over time. We therefore use an alternative approach that models the interactions by distance-dependent probabilities for positive and negative turning angles of the migrating immune cell. We demonstrate that the latter approach finds the correct interaction parameters even with temporally switching cell migration.


title: Modulating quantum fluctuations of scattered lights in disordered media via wavefront shaping

abstract: After multiple scattering of quadrature-squeezed lights in a disordered medium, the quadrature amplitudes of the scattered modes present an excess noise above the shot-noise level [Opt. Expr. 14, 6919 (2006)]. A natural question is raised whether there exists a method of suppressing the quadrature fluctuation of the output mode. The answer is affirmative. In this work, we prove that wavefront shaping is a promising method to reduce the quantum noise of quadrature amplitudes of the scattered modes. This reduction is owing to the destructive interference of quantum noise. Specifically, when the single-mode squeezed states are considered as inputs, the quantum fluctuation can always be reduced, even below the shot-noise level. These results may have potential applications in quantum information processing, for instance, sub-wavelength imaging using the scattering superlens with squeezed-state sources.


title: Additive jointly separating maps and ring homomorphisms

abstract: Let $X$ and $Y$ be compact Hausdorff spaces, $E$ and $F$ be real or complex normed spaces and $A(X,E)$ be a subspace of $C(X,E)$. For a function $f\in C(X,E)$, let $\coz(f)$ be the cozero set of $f$. A pair of additive maps $S,T: A(X,E) \lo C(Y,F)$ is said to be jointly separating if $\coz(Tf)\cap \coz(Sg)=\emptyset$ whenever $\coz(f)\cap \coz(g)= \emptyset$. In this paper, first we give a partial description of additive jointly separating maps between certain spaces of vector-valued continuous functions (including spaces of vector-valued Lipschitz functions, absolutely continuous functions and continuously differentiable functions). Then we apply the results to characterize continuous ring homomorphisms between certain Banach algebras of vector-valued continuous functions. In particular, the results provide some generalizations of the recent results on unital homomorphisms between vector-valued Lipschitz algebras, with a different approach.


title: Sharp bounds on the relative treatment effect for ordinal outcomes

abstract: For ordinal outcomes, the average treatment effect is often ill-defined and hard to interpret. Echoing Agresti and Kateri (2017), we argue that the relative treatment effect can be a useful measure especially for ordinal outcomes, which is defined as $\gamma = \mathrm{pr}\{ Y_i(1) > Y_i(0) \} - \mathrm{pr}\{ Y_i(1) < Y_i(0) \}$, with $Y_i(1)$ and $Y_i(0)$ being the potential outcomes of unit $i$ under treatment and control, respectively. Given the marginal distributions of the potential outcomes, we derive the sharp bounds on $\gamma,$ which are identifiable parameters based on the observed data. Agresti and Kateri (2017) focused on modeling strategies under the assumption of independent potential outcomes, but we allow for arbitrary dependence.


title: Conference key agreement with single-photon interference

abstract: The intense research activity on Twin-Field (TF) quantum key distribution (QKD) is motivated by the fact that two users can establish a secret key by relying on single-photon interference in an untrusted node. Thanks to this feature, variants of the protocol have been proven to beat the point-to-point private capacity of a lossy quantum channel. Here we generalize the main idea of the TF-QKD protocol introduced by Curty et al. to the multipartite scenario, by devising a conference key agreement (CKA) where the users simultaneously distill a secret conference key through single-photon interference. The new CKA is better suited to high-loss scenarios than previous multipartite QKD schemes and it employs for the first time a W-class state as its entanglement resource. We prove the protocol's security in the finite-key regime and under general attacks. We also compare its performance with the iterative use of bipartite QKD protocols and show that our truly multipartite scheme can be advantageous, depending on the loss and on the state preparation.


title: Observation of Two Sound Modes in a Binary Superfluid Gas

abstract: We study the propagation of sound waves in a binary superfluid gas with two symmetric components. The binary superfluid is constituted using a Bose-Einstein condensate of $^{23}$Na in an equal mixture of two hyperfine ground states. Sound waves are excited in the condensate by applying a local spin-dependent perturbation with a focused laser beam. We identify two distinct sound modes, referred to as density sound and spin sound, where the densities of the two spin components oscillate in phase and out of phase, respectively. The observed sound propagation is explained well by the two-fluid hydrodynamics of the binary superfluid. The ratio of the two sound velocities is precisely measured with no need for absolute density calibration, and we find it in quantitatively good agreement with known interaction properties of the binary system.


title: Quantum Compressed Sensing with Unsupervised Tensor-Network Machine Learning

abstract: We propose tensor-network compressed sensing (TNCS) by combining the ideas of compressed sensing, tensor network (TN), and machine learning, which permits novel and efficient quantum communications of realistic data. The strategy is to use the unsupervised TN machine learning algorithm to obtain the entangled state $|\Psi \rangle$ that describes the probability distribution of a huge amount of classical information considered to be communicated. To transfer a specific piece of information with $|\Psi \rangle$, our proposal is to encode such information in the separable state with the minimal distance to the measured state $|\Phi \rangle$ that is obtained by partially measuring on $|\Psi \rangle$ in a designed way. To this end, a measuring protocol analogous to the compressed sensing with neural-network machine learning is suggested, where the measurements are designed to minimize uncertainty of information from the probability distribution given by $|\Phi \rangle$. In this way, those who have $|\Phi \rangle$ can reliably access the information by simply measuring on $|\Phi \rangle$. We propose q-sparsity to characterize the sparsity of quantum states and the efficiency of the quantum communications by TNCS. The high q-sparsity is essentially due to the fact that the TN states describing nicely the probability distribution obey the area law of entanglement entropy. Testing on realistic datasets (hand-written digits and fashion images), TNCS is shown to possess high efficiency and accuracy, where the security of communications is guaranteed by the fundamental quantum principles.


title: Coupled mechano-electrokinetic Burridge-Knopoff model of fault sliding events and transient geoelectric signals

abstract: We introduce the first fully self-consistent model combining the seismic micro-ruptures occurring within a generalized Burridge-Knopoff spring-block model with the nucleation and propagation of electric charge pulses within a coupled mechano-electrokinetic system. This model provides a general theoretical framework for modeling and analyzing geoelectric precursors to earthquakes. In particular, it can reproduce the unipolar pulses that have often been reported before large seismic events, as well as various observed anomalies in the statistical moments of the ambient electric fields and the power-law exponent transition of the power spectra of electric fields.


title: Zero-Shot Sign Language Recognition: Can Textual Data Uncover Sign Languages?

abstract: We introduce the problem of zero-shot sign language recognition (ZSSLR), where the goal is to leverage models learned over the seen sign class examples to recognize the instances of unseen signs. To this end, we propose to utilize the readily available descriptions in sign language dictionaries as an intermediate-level semantic representation for knowledge transfer. We introduce a new benchmark dataset called ASL-Text that consists of 250 sign language classes and their accompanying textual descriptions. Compared to the ZSL datasets in other domains (such as object recognition), our dataset consists of limited number of training examples for a large number of classes, which imposes a significant challenge. We propose a framework that operates over the body and hand regions by means of 3D-CNNs, and models longer temporal relationships via bidirectional LSTMs. By leveraging the descriptive text embeddings along with these spatio-temporal representations within a zero-shot learning framework, we show that textual data can indeed be useful in uncovering sign languages. We anticipate that the introduced approach and the accompanying dataset will provide a basis for further exploration of this new zero-shot learning problem.


title: Stochastic Optimal Power Flow in Distribution Grids under Uncertainty from State Estimation

abstract: The increasing amount of controllable generation and consumption in distribution grids poses a severe challenge in keeping voltage values within admissible ranges. Existing approaches have considered different optimal power flow formulations to regulate distributed generation and other controllable elements. Nevertheless, distribution grids are characterized by an insufficient number of sensors, and state estimation algorithms are required to monitor the grid status. We consider in this paper the combined problem of optimal power flow under state estimation, where the estimation uncertainty results into stochastic constraints for the voltage magnitude levels instead of deterministic ones. To solve the given problem efficiently and to bypass the lack of load measurements, we use a linear approximation of the power flow equations. Moreover, we derive a transformation of the stochastic constraints to make them tractable without being too conservative. A case study shows the success of our approach at keeping voltage within limits, and also shows how ignoring the uncertainty in the estimation can lead to voltage level violations.


title: Physics of relativistic collisionless shocks: III The suprathermal particles

abstract: In this third paper of a series, we discuss the physics of the population of accelerated particles in the precursor of an unmagnetized, relativistic collisionless pair shock. In particular, we provide a theoretical estimate of their scattering length $l_{scatt}(p)$ in the self-generated electromagnetic turbulence, as well as an estimate of their distribution function. We obtain $l_{scatt}(p) \simeq (\gamma_p /\epsilon_B)(p/\gamma_{\infty} mc)^2 (c/\omega_p)$, with p the particle momentum in the rest frame of the shock front, $\epsilon_B$ the strength parameter of the microturbulence, $\gamma_p$ the Lorentz factor of the background plasma relative to the shock front and $\gamma_{\infty}$ its asymptotic value outside the precursor. We compare this scattering length to large-scale PIC simulations and find good agreement for the various dependencies.


title: Einstein or Jordan: seeking answers from the reheating constraints

abstract: Distinguishing conformally coupled frames from the tree-level perturbative observables (scalar spectral index $n_{\rm s}$ and tensor-to-scalar ratio $r$) is challenging in cosmology as they are nearly identical. However, since the background evolution in these two frames differs significantly, we can look for potential signatures in the reheating constraints to discriminate these frames. In this work, we study the reheating phase in these frames and find that the difference in the inflationary energy scales in these frames contributes to a significant difference in the reheating e-folding number and hence, different reheating temperature. This difference will eventually lead to a contrasting thermal history in the two frames, which may have a potential observational signature in future observations. This study will open up an avenue for distinguishing various conformally connected otherwise indistinguishable frames and may finally lead us to the correct theory of gravity for our Universe.


title: Approximate dynamical eigenmodes of the Ising model with local spin-exchange moves

abstract: We establish that the Fourier modes of the magnetization serve as the dynamical eigenmodes for the two-dimensional Ising model at the critical temperature with local spin-exchange moves, i.e., Kawasaki dynamics. We obtain the dynamical scaling properties for these modes, and use them to calculate the time evolution of two dynamical quantities for the system, namely the autocorrelation function and the mean-square deviation of the line magnetizations. At intermediate times $1 \lesssim t \lesssim L^{z_c}$, where $z_c=4-\eta=15/4$ is the dynamical critical exponent of the model, we find that the line magnetization undergoes anomalous diffusion. Following our recent work on anomalous diffusion in spin models, we demonstrate that the Generalized Langevin Equation (GLE) with a memory kernel consistently describes the anomalous diffusion, verifying the corresponding fluctuation-dissipation theorem with the calculation of the force autocorrelation function.


title: Lectures on Differential Topology

abstract: This text arises from teaching advanced undergraduate courses in differential topology for the master curriculum in Mathematics at the University of Pisa. So it is mainly addressed to motivated and collaborative master undergraduate students, having nevertheless a limited mathematical background. Overall this text is a collection of themes, in some cases advanced and of historical importance, with the common feature that they can be treated with "bare hands". This means by just combining certain cut-and-paste procedures and applications of transversality, mainly through the multiplicative structure of the cobordism rings of every smooth compact manifold; topics developed from scratch along with the text.


title: Dielectron production in pion-nucleon reactions and form factor of baryon transition within the time-like region

abstract: Dielectron production in reactions $\pi^- p \rightarrow n e^+e^-$ and $\pi^- p \rightarrow n e^+e^- \gamma$ at energies less than 1 GeV is studied assuming electron-positron pair production to occur in the virtual time-like photon splitting process. Theoretical predictions of the effective mass distribution of dielectrons and their angular dependence are presented. Extraction of the electromagnetic form factor of baryon transition in the time-like region from future experiments of the HADES Collaboration is discussed.


title: Vacuum Rabi splitting of a dark plasmonic cavity mode revealed by fast electrons

abstract: Recent years have seen a growing interest in strong coupling between plasmons and excitons, as a way to generate new quantum optical testbeds and influence chemical dynamics and reactivity. Strong coupling to bright plasmonic modes has been achieved even with single quantum emitters. Dark plasmonic modes fare better in some applications due to longer lifetimes, but are difficult to probe as they are subradiant. Here, we apply electron energy loss (EEL) spectroscopy to demonstrate that a dark mode of an individual plasmonic bowtie can interact with a small number of quantum emitters, as evidenced by Rabi-split spectra. Coupling strengths of up to 85 meV place the bowtie-emitter devices at the onset of the strong coupling regime. Remarkably, the coupling occurs at the bowtie gap periphery, even while the electron beam probes their center. Our findings pave the way for using EEL spectroscopy to study exciton-plasmon interactions involving non-emissive photonic modes.


title: Sparse Optimization on Measures with Over-parameterized Gradient Descent

abstract: Minimizing a convex function of a measure with a sparsity-inducing penalty is a typical problem arising, e.g., in sparse spikes deconvolution or two-layer neural networks training. We show that this problem can be solved by discretizing the measure and running non-convex gradient descent on the positions and weights of the particles. For measures on a $d$-dimensional manifold and under some non-degeneracy assumptions, this leads to a global optimization algorithm with a complexity scaling as $\log(1/\epsilon)$ in the desired accuracy $\epsilon$, instead of $\epsilon^{-d}$ for convex methods. The key theoretical tools are a local convergence analysis in Wasserstein space and an analysis of a perturbed mirror descent in the space of measures. Our bounds involve quantities that are exponential in $d$ which is unavoidable under our assumptions.


title: Towards a viable effective field theory of mimetic gravity

abstract: We discuss mimetic gravity theories with direct couplings between the curvature and higher derivatives of the scalar field, up to the quintic order, which were proposed to solve the instability problem for linear perturbations around the FLRW background for this kind of models. Restricting to homogeneous scalar field configurations in the action, we derive degeneracy conditions to obtain an effective field theory with three degrees of freedom. However, performing the Hamiltonian analysis for a generic scalar field we show that there are in general four or more degrees of freedom. The discrepancy is resolved because, for a homogeneous scalar field profile, $\partial_i\varphi\approx 0$, the Dirac matrix becomes singular, resulting in further constraints, which reduces the number of degrees of freedom to three. Similarly, in linear perturbation theory the additional scalar degree of freedom can only be seen by considering a non-homogeneous background profile of the scalar field. Therefore, restricting to homogeneous scalar fields these kinds of models provide viable explicitly Lorentz violating effective field theories of mimetic gravity.


title: Fine-Grained Sentence Functions for Short-Text Conversation

abstract: Sentence function is an important linguistic feature referring to a user's purpose in uttering a specific sentence. The use of sentence function has shown promising results to improve the performance of conversation models. However, there is no large conversation dataset annotated with sentence functions. In this work, we collect a new Short-Text Conversation dataset with manually annotated SEntence FUNctions (STC-Sefun). Classification models are trained on this dataset to (i) recognize the sentence function of new data in a large corpus of short-text conversations; (ii) estimate a proper sentence function of the response given a test query. We later train conversation models conditioned on the sentence functions, including information retrieval-based and neural generative models. Experimental results demonstrate that the use of sentence functions can help improve the quality of the returned responses.


title: Segmenting Objects in Day and Night:Edge-Conditioned CNN for Thermal Image Semantic Segmentation

abstract: Despite much research progress in image semantic segmentation, it remains challenging under adverse environmental conditions caused by imaging limitations of visible spectrum. While thermal infrared cameras have several advantages over cameras for the visible spectrum, such as operating in total darkness, insensitive to illumination variations, robust to shadow effects and strong ability to penetrate haze and smog. These advantages of thermal infrared cameras make the segmentation of semantic objects in day and night. In this paper, we propose a novel network architecture, called edge-conditioned convolutional neural network (EC-CNN), for thermal image semantic segmentation. Particularly, we elaborately design a gated feature-wise transform layer in EC-CNN to adaptively incorporate edge prior knowledge. The whole EC-CNN is end-to-end trained, and can generate high-quality segmentation results with the edge guidance. Meanwhile, we also introduce a new benchmark dataset named "Segment Objects in Day And night"(SODA) for comprehensive evaluations in thermal image semantic segmentation. SODA contains over 7,168 manually annotated and synthetically generated thermal images with 20 semantic region labels and from a broad range of viewpoints and scene complexities. Extensive experiments on SODA demonstrate the effectiveness of the proposed EC-CNN against the state-of-the-art methods.


title: LOFAR discovery of a radio halo in the high-redshift galaxy cluster PSZ2 G099.86+58.45

abstract: In this Letter, we report the discovery of a radio halo in the high-redshift galaxy cluster PSZ2 G099.86+58.45 ($z=0.616$) with the LOw Frequency ARray (LOFAR) at 120-168 MHz. This is one of the most distant radio halos discovered so far. The diffuse emission extends over $\sim$ 1 Mpc and has a morphology similar to that of the X-ray emission as revealed by XMM-Newton data. The halo is very faint at higher frequencies and is barely detected by follow-up 1-2 GHz Karl G.~Jansky Very Large Array (JVLA) observations, which enable us to constrain the radio spectral index to be $\alpha\leq 1.5-1.6$, i.e.; with properties between canonical and ultra-steep spectrum radio halos. Radio halos are currently explained as synchrotron radiation from relativistic electrons that are re-accelerated in the intra-cluster medium (ICM) by turbulence driven by energetic mergers. We show that in such a framework radio halos are expected to be relatively common at $\sim150$ MHz ($\sim30-60\%$) in clusters with mass and redshift similar to PSZ2 G099.86+58.45; however, at least 2/3 of these radio halos should have steep spectrum and thus be very faint above $\sim 1$ GHz frequencies. Furthermore, since the luminosity of radio halos at high redshift depends strongly on the magnetic field strength in the hosting clusters, future LOFAR observations will also provide vital information on the origin and amplification of magnetic fields in galaxy clusters.


title: The galaxy power spectrum from TGSS ADR1 and the effect of flux calibration systematics

abstract: We explore the large to moderate scale anisotropy in distant radio sources using the TGSS ADR1 catalog. We use different measures, i.e. number counts, sky brightness and flux per source, for this study. In agreement with earlier results, we report a significant excess of clustering signal above the angular scale of roughly $10$ degrees (i.e. $l\lessapprox 20-30$). We find that some survey areas have a systematically low/high flux and argue this may be the cause of the observed signal of excess power at low multipoles. With mocks we demonstrate the effect of such large scale flux systematics and recover TGSS like excess clustering signal by assuming $20\%$ flux uncertainties over $\sim 10^\circ \times 10^\circ$ size patches. We argue that that TGSS at this stage, i.e. TGSS ADR1, is not suitable for large scale clustering measurements. We find that the measure, flux per source, shows evidence of isotropy for all multipoles $l > 2$ despite the presence of systematics in the data.


title: Testing new property of elliptical model for stock returns distribution

abstract: Wide class of elliptically contoured distributions is a popular model of stock returns distribution. However the important question of adequacy of the model is open. There are some results which reject and approve such model. Such results are obtained by testing some properties of elliptical model for each pair of stocks from some markets. New property of equality of $\tau$ Kendall correlation coefficient and probability of sign coincidence for any pair of random variables with elliptically contoured distribution is proved in the paper. Distribution free statistical tests for testing this property for any pair of stocks are constructed. Holm multiple hypotheses testing procedure based on the individual tests is constructed and applied for stock markets data for the concrete year. New procedure of testing the elliptical model for stock returns distribution for all years of observation for some period is proposed. The procedure is applied for the stock markets data of China, USA, Great Britain and Germany for the period from 2003 to 2014. It is shown that for USA, Great Britain and Germany stock markets the hypothesis of elliptical model of stock returns distribution could be accepted but for Chinese stock market is rejected for some cases.


title: Magnetic Levitation and Compression of Compact Tori

abstract: The magnetic compression experiment at General Fusion was a repetitive non-destructive test to study plasma physics to Magnetic Target Fusion compression. A compact torus (CT) is formed with a co-axial gun into a containment region with an hour-glass shaped inner flux conserver, and an insulating outer wall. External coil currents keep the CT off the outer wall (radial levitation) and then rapidly compress it inwards. The optimal external coil configuration greatly improved both the levitated CT lifetime and the rate of shots with good flux conservation during compression. As confirmed by spectrometer data, the improved levitation field profile reduced plasma impurity levels by suppressing the interaction between plasma and the insulating outer wall during the formation process. Significant increases in magnetic field, density, and ion temperature were routinely observed at magnetic compression despite the prevalence of an instability, thought be an external kink, at compression. Matching the decay rate of the levitation coil currents to that of the internal CT currents resulted in a reduced level of MHD activity associated with unintentional compression by the levitation field, and a higher probability of long-lived CTs. An axisymmetric finite element MHD code that conserves system energy, particle count, angular momentum, and toroidal flux, was developed to study CT formation into a levitation field and magnetic compression. An overview of the principal experimental observations, and comparisons between simulated and experimental diagnostics are presented.


title: Scalable and Secure Computation Among Strangers: Resource-Competitive Byzantine Protocols

abstract: Motivated, in part, by the rise of permissionless systems such as Bitcoin where arbitrary nodes (whose identities are not known apriori) can join and leave at will, we extend established research in scalable Byzantine agreement to a more practical model where each node (initially) does not know the identity of other nodes. A node can send to new destinations only by sending to random (or arbitrary) nodes, or responding (if it chooses) to messages received from those destinations. We assume a synchronous and fully-connected network, with a full-information, but static Byzantine adversary. A general drawback of existing Byzantine protocols is that the communication cost incurred by the honest nodes may not be proportional to those incurred by the Byzantine nodes; in fact, they can be significantly higher. Our goal is to design Byzantine protocols for fundamental problems which are {\em resource competitive}, i.e., the number of bits sent by honest nodes is not much more than those sent by Byzantine nodes. We describe a randomized scalable algorithm to solve Byzantine agreement, leader election, and committee election in this model. Our algorithm sends an expected $O((T+n)\log n)$ bits and has latency $O(polylog(n))$, where $n$ is the number of nodes, and $T$ is the minimum of $n^2$ and the number of bits sent by adversarially controlled nodes. The algorithm is resilient to $(1/4-\epsilon)n$ Byzantine nodes for any fixed $\epsilon > 0$, and succeeds with high probability. Our work can be considered as a first application of resource-competitive analysis to fundamental Byzantine problems. To complement our algorithm we also show lower bounds for resource-competitive Byzantine agreement. We prove that, in general, one cannot hope to design Byzantine protocols that have communication cost that is significantly smaller than the cost of the Byzantine adversary.


title: Constraining warm dark matter power spectrum using the cross-correlation of HI 21 cm signal and the Lyman-$\alpha$ forest

abstract: We have considered the prospects for measuring the cross Warm Dark Matter (WDM) power spectrum of the redshifted HI 21-cm signal and the Lyman-$\alpha$ forest and thereby constraining WDM mass using observations with upcoming radio-interferometers - the Ooty Wide Field Array (OWFA) and SKA1-mid, and a spectroscopic survey of the quasars. We have considered a quasar survey with a mean observed quasar number density of $\bar{{\rm n}}_{\rm Q} = 48$ deg$^{-2}$ over a collecting area of 14455 deg$^{2}$, and a mean spectroscopic SNR = 5. Our analysis with OWFA shows that it is possible to measure the WDM power spectrum in several $k$-bins at $k < 0.4$ Mpc$^{-1}$ with ${\rm SNR} > 5$ using an observation of 200 hours each in 100 different fields-of-view for $m_{\rm WDM} = 0.25$ keV. Considering the possibility of the joint measurement of the parameters, the warm dark matter density parameter $\Omega_{{\rm WDM}}$, and the dark energy density parameter $\Omega_{\Lambda0}$, we find that the relative error on the $1-\sigma$ measurement of the parameter $\Omega_{{\rm WDM}}$ is $\sim 0.8$ for a fiducial $m_{\rm WDM} = 0.25$ keV. We further find that it is possible to have a measurement of the suppression of power from the Cold Dark Matter (CDM) power spectrum at a confidence level of $\sim 7.2-\sigma$ and $\sim 2.7-\sigma$ in two different $k$-bins over the $k$-range $0.1 \leq k \leq 3.13$ Mpc$^{-1}$ for $m_{\rm WDM} = 0.15$ keV. Considering the analysis with SKA1-mid, we find that for a fiducial $m_{\rm WDM}= 0.25$ keV, the suppression in the cross power spectrum can be measured at $\sim 10 - \sigma$ around $k \sim 0.2 \rm{Mpc}^{-1}$ for a total observing time of $20000$ hrs distributed uniformly over $50$ independent pointings where the available $k$-range is binned as $\Delta k = k/5$.


title: Towards Adversarially Robust Object Detection

abstract: Object detection is an important vision task and has emerged as an indispensable component in many vision system, rendering its robustness as an increasingly important performance factor for practical applications. While object detection models have been demonstrated to be vulnerable against adversarial attacks by many recent works, very few efforts have been devoted to improving their robustness. In this work, we take an initial attempt towards this direction. We first revisit and systematically analyze object detectors and many recently developed attacks from the perspective of model robustness. We then present a multi-task learning perspective of object detection and identify an asymmetric role of task losses. We further develop an adversarial training approach which can leverage the multiple sources of attacks for improving the robustness of detection models. Extensive experiments on PASCAL-VOC and MS-COCO verified the effectiveness of the proposed approach.


title: Next-generation telescopes with curved focal surface for ultra-low surface brightness surveys

abstract: In spite of major advances in both ground- and space-based instrumentation, the ultra-low-surface brightness universe (ULSB) still remains a largely unexplored volume in observational parameter space. ULSB observations provide unique constraints on a wide variety of objects, from the Zodiacal light all the way to the optical cosmological background radiation, through dust cirri, mass loss shells in giant stars, LSB galaxies and the intracluster light. These surface brightness levels (>28-29 mag arcsec^-2) are observed by maximising the efficiency of the surveys and minimising or removing the systematics arising in the measurement of surface brightness. Based on full-system photon Monte Carlo simulations, we present here the performance of a ground-based telescope aimed at carrying out ULSB observations, with a curved focal surface design. Its off-axis optical design maximises the field of view while minimising the focal ratio. No lenses are used, as their multiple internal scatterings increase the wings of the point spread function (PSF), and the usual requirement of a flat focal plane is relaxed through the use of curved CCD detectors. The telescope has only one unavoidable single refractive surface, the cryostat window, and yet it delivers a PSF with ultra-compact wings, which allows the detection, for a given exposure time, of surface brightness levels nearly three orders of magnitude fainter than any other current telescope.


title: Agile Transformation: A Summary and Research Agenda from the First International Workshop

abstract: Organisations are upscaling their use of agile. Agile ways of working are used in larger projects and also in organisational units outside IT. This paper reports on the results of the first international workshop on agile transformation, which aimed to focus research on practice in a field which currently receives great attention. We report on participants definitions of agile transformation, summaries of experiences from such transformations, and the challenges that require research attention


title: Genus zero modular operad and absolute Galois group

abstract: In this article, we develop the geometry of canonical stratifications of the spaces $\mathcal{M}_{0,n}$ and prepare ground for studying the action of the Galois group $Gal (\overline{\mathbb{Q}} /\mathbb{Q})$ upon strata. We define and introduce a version of a gravity operad constructed for a class of moduli spaces $\mathcal{M}_{0,n}$, equipped with a hidden holomorphic involution. This additional symmetry is associated to a split quaternionic structure. We introduce a categorical framework to present this object. Interaction between the geometry, physics and the arithmetics are discussed. An important feature is that 0-divisors of the split quaternion algebra imply additional singular points, and lead to investigations concerning the geometry and mixed Hodge structures.


title: Precise Clock Synchronization in the Readout Electronics of WCDA in LHAASO

abstract: The Water Cherenkov Detector Array (WCDA) is one of the key parts in the Large High Altitude Air Shower Observatory (LHAASO). In the WCDA, 3600 Photomultiplier Tubes (PMTs) and the Front End Electronics (FEEs) are scattered within a 90000 m2 area, while a time measurement resolution better than 0.5 ns is required in the readout electronics. To achieve such time measurement precision, high quality clock distribution and synchronization among the 400 FEEs (each FEE for 9 PMTs readout) is required. To simplify the electronics system architecture, data, commands, and clock are transmitted simultaneously through fibers over a 400-meter distance between FEEs and the Clock and Data Transfer Modules (CDTMs). In this article, we propose a new method based on the White Rabbit (WR) to achieve completely automatic clock phase alignment between different FEEs. The original WR is enhanced to overcome the clock delay fluctuations due to ambient temperature variations. This paper presents the general scheme, the design of prototype electronics, and initial test results. These indicate that a clock synchronization precision better than 50 ps is achieved over 1 km fibers, which is well beyond the application requirement.


title: Revisiting Kepler-444 Part I. Seismic modelling and inversions of stellar structure

abstract: Context. The CoRoT and Kepler missions have paved the way for synergies between exoplanetology and asteroseismology. The use of seismic data helps providing stringent constraints on the stellar properties which directly impact the results of planetary studies. Amongst the most interesting planetary systems discovered by Kepler, Kepler-444 is unique by the quality of its seismic and classical stellar constraints. Its magnitude, age and the presence of 5 small-sized planets orbiting this target makes it an exceptional testbed for exoplanetology. Aims. We aim at providing a detailed characterization of Kepler-444, focusing on the dependency of the results on variations of key ingredients of the theoretical stellar models. This thorough study will serve as a basis for future investigations of the planetary evolution of the system orbiting Kepler-444. Methods. We use local and global minimization techniques to study the internal structure of the exoplanet-host star Kepler-444. We combine seismic observations from the Kepler mission, Gaia DR2 data and revised spectroscopic parameters to precisely constrain its internal structure and evolution. Results. We provide updated robust and precise determinations of the fundamental parameters of Kepler-444 and demonstrate that this low-mass star bore a convective core during a significant portion of its life on the main-sequence. Using seismic data, we are able to estimate the lifetime of the convective core to approximately 8 Gyr out of the 11 Gyr of the evolution of Kepler-444. The revised stellar parameters found by our thorough study are M = 0.754 +- 0.03M_Sun , R = 0.753 +- 0.01R_Sun , Age = 11 +- 1 Gy.


title: Observability of dynamical networks from graphic and symbolic approaches

abstract: A dynamical network, a graph whose nodes are dynamical systems, is usually characterized by a large dimensional space which is not always accesible due to the impossibility of measuring all the variables spanning the state space. Therefore, it is of the utmost importance to determine a reduced set of variables providing all the required information for non-ambiguously distinguish its different states. Inherited from control theory, one possible approach is based on the use of the observability matrix defined as the Jacobian matrix of the change of coordinates between the original state space and the space reconstructed from the measured variables. The observability of a given system can be accurately assessed by symbolically computing the complexity of the determinant of the observability matrix and quantified by symbolic observability coefficients. In this work, we extend the symbolic observability, previously developed for dynamical systems, to networks made of coupled $d$-dimensional node dynamics ($d>1$). From the observability of the node dynamics, the coupling function between the nodes, and the adjacency matrix, it is indeed possible to construct the observability of a large network with an arbitrary topology.


title: Symmetries of genus zero modular operad

abstract: In this article combining survey and certain research results, we introduce a categorical framework for description of symmetries of genus zero modular operad. This description merges the techniques of recent "persistence homology" studies and the classical formalism of groupoids. We show that the contravariant "poset in groupoids" embodying these symmetries, provides a new avatar of profinite Grothendieck-Teichm\"uller group acting upon this operad but seemingly not related with representations of the Galois group of all algebraic numbers.


title: Universality of the Langevin diffusion as scaling limit of a family of Metropolis-Hastings processes I: fixed dimension

abstract: Given a target distribution $\mu$ on a general state space $\mathcal{X}$ and a proposal Markov jump process with generator $Q$, the purpose of this paper is to investigate two universal properties enjoyed by two types of Metropolis-Hastings (MH) processes with generators $M_1(Q,\mu)$ and $M_2(Q,\mu)$ respectively. First, we motivate our study of $M_2$ by offering a geometric interpretation of $M_1$, $M_2$ and their convex combinations as $L^1$ minimizers between $Q$ and the set of $\mu$-reversible generators of Markov jump processes. Second, specializing into the case of $\mathcal{X} = \mathbb{R}^d$ along with a Gaussian proposal with vanishing variance and Gibbs target distribution, we prove that, upon appropriate scaling in time, the family of Markov jump processes corresponding to $M_1$, $M_2$ or their convex combinations all converge weakly to an universal Langevin diffusion. While $M_1$ and $M_2$ are seemingly different stochastic dynamics, it is perhaps surprising that they share these two universal properties. These two results are known for $M_1$ in Billera and Diaconis (2001) and Gelfand and Mitter (1991), and the counterpart results for $M_2$ and their convex combinations are new.


title: Stay hydrated: Basolateral fluids shaping tissues

abstract: During development, embryos perform a mesmerizing choreography, which is crucial for the correct shaping, positioning and function of all organs. The cellular properties powering animal morphogenesis have been the focus of much attention. On the other hand, much less consideration has been given to the invisible engine constituted by the intercellular fluid. Cells are immersed in fluid, of which the composition and physical properties have a considerable impact on development. In this review, we revisit recent studies from the perspective of the fluid, focusing on basolateral fluid compartments and taking the early mouse and zebrafish embryos as models. These examples illustrate how the hydration levels of tissues are spatio-temporally controlled and influence embryonic development.


title: Bunch-by-bunch Beam Transverse Feedback Electronics Designed for SSRF

abstract: Shanghai Synchrotron Radiation Facility (SSRF), is one of the third-generation high-beam current (3.5 GeV) synchrotron light sources. In the storage ring of SSRF, multi-bunch instabilities would increase beam emittance and energy spread, which degrade beam quality and even cause beam loss. To address the above issues, a Transverse Feedback System is indispensable for SSRF, in which the key component is the bunch-by-bunch transverse feedback electronics. The whole feedback system consists of five main parts: Beam Position Monitor (BPM), RF front-end, signal processor, RF amplifier, and vertical/horizontal transverse kickers. The dissertation focuses on the signal processor we design, which is the main part of the feedback electronics. We conducted initial testing on the signal processor to evaluate its performance and function. Test results indicate that ENOB of the Analog-to-Digital Conversion circuit is better than 10 bit with 100 MHz input signal, and remains better than 9.5 bit up to 300 MHz, which is good enough for the required 7.9 bit; the frequency response of the whole system also concords well with the simulation results, and the suppression in amplitude response at the critical frequency points is better 35 dB while the uncertainty of phase response is better than 2 degree, all meeting the application requirement.


title: Circles of equal radii randomly placed on a plane: some rigorous results, asymptotic behavior, and application to transparent electrodes

abstract: We consider $N$ circles of equal radii, $r$, having their centers randomly placed within a square domain $\mathcal{D}$ of size $L \times L$ with periodic boundary conditions ($\mathcal{D} \in \mathbb{R}^2$). When two or more circles intersect each other, each circle is divided by the intersection points into several arcs. We found the exact length distribution of the arcs. In the limiting case of dense systems and large size of the domain $\mathcal{D}$ ($L \to \infty$ in such a way that the number of circle per unit area, $n=N/L^2$, is constant), the arc distribution approaches the probability density function (PDF) $f(\psi) = 4 n r^2\exp(-4 n r^2 \psi)$, where $\psi$ is the central angle subtended by the arc. This PDF is then used to estimate the sheet resistance of transparent electrodes based on conductive rings randomly placed onto a transparent insulating film.


title: Electronic health record in the era of industry 4.0: the French example

abstract: The recent implementation of the Electronic Health Record (EHR) in France is part of a more general process of digitizing information flows, as the world enters the fourth industrial revolution in a phenomenon known as Industry 4.0. Behind this concept lies the concern to allow Man to remain permanently in control of his destiny, despite an increasingly interconnected world (Internet of Things, cooperative robots, augmented reality, etc.). Accordingly, the implementation of EHR must guarantee the respect for the private life of each citizen. From this perspective, healthcare professionals will therefore have to constantly ensure the protection of medical confidentiality during Electronic Data Interchange (EDI). This paper summarises the current state of the use of EHR in France. Based on a survey conducted by the European Commission to assess the deployment of digitalisation in the health sector in EU countries, this article aims to highlight the opportunities and perspectives that Industry 4.0 could bring to the health sector in France. However, this study also identifies a number of limits related to the application of such a system, the first of which is cyber threat or transhumanism. To this end, a SWOT matrix identifies the strengths and weaknesses related to the implementation of the French EHR.


title: Fairness in Reinforcement Learning

abstract: Decision support systems (e.g., for ecological conservation) and autonomous systems (e.g., adaptive controllers in smart cities) start to be deployed in real applications. Although their operations often impact many users or stakeholders, no fairness consideration is generally taken into account in their design, which could lead to completely unfair outcomes for some users or stakeholders. To tackle this issue, we advocate for the use of social welfare functions that encode fairness and present this general novel problem in the context of (deep) reinforcement learning, although it could possibly be extended to other machine learning tasks.


title: Neutrino Physics in Historical Context

abstract: This contribution aims to give an overview of the historical context of neutrino physics. I will present the strong social trends that shaped physics and the way physicists worked, along the 20th century. First, we will see the background of the birth of nuclear physics in the interwar period. Then, we will examine the deep implications the Second World War had, to conclude with the specificities of postwar years for nuclear and particle physics.


title: $s$-wave quasiparticle resonance in neutron-rich drip-line nuclei

abstract: We investigate unbound single-particle states in pair-correlated drip-line nuclei by describing a low-energy elastic scattering of a neutron in the $s$-wave within the framework of the coordinate space Hartree-Fock-Bogolibov (Bogoliubov-de Genne) equation. Numerical study is performed for a neutron drip-line carbon isotope where the neutron $2s_{1/2}$ orbit is located close to zero energy. Analyzing the S-matrix poles of the elastic scattering, we discuss properties of the $s$-wave quasiparticle resonance and, in particular, behaviors characteristic to drip-line nuclei. It is found that the S-matrix has two pairs of poles; one pair appears as either a weakly bound state, a virtual state or a resonance while the other pair gives contribution analogous to a bound single-particle state. The $s$-wave quasiparticle resonance emerges with a large variation depending on the pairing gap and the single-particle energy of the $s$-orbit.


title: From Big to Small: Multi-Scale Local Planar Guidance for Monocular Depth Estimation

abstract: Estimating accurate depth from a single image is challenging because it is an ill-posed problem as infinitely many 3D scenes can be projected to the same 2D scene. However, recent works based on deep convolutional neural networks show great progress with plausible results. The convolutional neural networks are generally composed of two parts: an encoder for dense feature extraction and a decoder for predicting the desired depth. In the encoder-decoder schemes, repeated strided convolution and spatial pooling layers lower the spatial resolution of transitional outputs, and several techniques such as skip connections or multi-layer deconvolutional networks are adopted to recover the original resolution for effective dense prediction. In this paper, for more effective guidance of densely encoded features to the desired depth prediction, we propose a network architecture that utilizes novel local planar guidance layers located at multiple stages in the decoding phase. We show that the proposed method outperforms the state-of-the-art works with significant margin evaluating on challenging benchmarks. We also provide results from an ablation study to validate the effectiveness of the proposed method.


title: Towards Logical Specification of Statistical Machine Learning

abstract: We introduce a logical approach to formalizing statistical properties of machine learning. Specifically, we propose a formal model for statistical classification based on a Kripke model, and formalize various notions of classification performance, robustness, and fairness of classifiers by using epistemic logic. Then we show some relationships among properties of classifiers and those between classification performance and robustness, which suggests robustness-related properties that have not been formalized in the literature as far as we know. To formalize fairness properties, we define a notion of counterfactual knowledge and show techniques to formalize conditional indistinguishability by using counterfactual epistemic operators. As far as we know, this is the first work that uses logical formulas to express statistical properties of machine learning, and that provides epistemic (resp. counterfactually epistemic) views on robustness (resp. fairness) of classifiers.


title: Beyond second-order convergence in simulations of magnetised binary neutron stars with realistic microphysics

abstract: We investigate the impact of using high-order numerical methods to study the merger of magnetised neutron stars with finite-temperature microphysics and neutrino cooling in full general relativity. By implementing a fourth-order accurate conservative finite-difference scheme we model the inspiral together with the early post-merger and highlight the differences to traditional second-order approaches at the various stages of the simulation. We find that even for finite-temperature equations of state, convergence orders higher than second order can be achieved in the inspiral and post-merger for the gravitational-wave phase. We further demonstrate that the second-order scheme overestimates the amount of proton-rich shock-heated ejecta, which can have an impact on the modelling of the dynamical part of the kilonova emission. Finally, we show that already at low resolution the growth rate of the magnetic energy is consistently resolved by using a fourth-order scheme.


title: Improved limits on a stochastic gravitational-wave background and its anisotropies from Advanced LIGO O1 and O2 runs

abstract: We integrate the entire, publicly available, Advanced LIGO (ALIGO) data set to obtain maximum-likelihood constraint maps of the Stochastic Gravitational-Wave Background (SGWB). From these we derive limits on the energy density of the stochastic background $\Omega_{\rm GW}$, and its anisotropy. We find 95% confident limits $\Omega_{\rm GW} < 5.2\times 10^{-8}$ at $50$ Hz for a spectral index $\alpha=2/3$ consistent with a stochastic background due to inspiral events and $\Omega_{\rm GW} < 3.2\times 10^{-7}$ for a scale (frequency) invariant spectrum. We also report upper limits on the angular power spectra $C_\ell$ for three broadband integrations of the data. Finally we present an estimate where we integrate the data into ten separate spectral bins as a first attempt to carry out a model-independent estimate the SGWB and its anisotropies.


title: Flexible perovskite/Cu(In,Ga)Se2 monolithic tandem solar cells

abstract: We report a proof-of-concept two-terminal perovskite/Cu(In, Ga)Se2 (CIGS) monolithic thin-film tandem solar cell grown on ultra-thin (30-microns thick), light-weight, and flexible polyimide foil with a steady-state power conversion efficiency of 13.2% and a high open-circuit voltage over 1.75 V under standard test condition.


title: YourAdvalue: Measuring Advertising Price Dynamics without Bankrupting User Privacy

abstract: The Real Time Bidding (RTB) protocol is by now more than a decade old. During this time, a handful of measurement papers have looked at bidding strategies, personal information flow, and cost of display advertising through RTB. In this paper, we present YourAdvalue, a privacy-preserving tool for displaying to end-users in a simple and intuitive manner their advertising value as seen through RTB. Using YourAdvalue, we measure desktop RTB prices in the wild, and compare them with desktop and mobile RTB prices reported by past work. We present how it estimates ad prices that are encrypted, and how it preserves user privacy while reporting results back to a data-server for analysis. We deployed our system, disseminated its browser extension, and collected data from 200 users, including 12000 ad impressions over 11 months. By analyzing this dataset, we show that desktop RTB prices have grown 4.6X over desktop RTB prices measured in 2013, and 3.8X over mobile RTB prices measured in 2015. We also study how user demographics associate with the intensity of RTB ecosystem tracking, leading to higher ad prices. We find that exchanging data between advertisers and/or data brokers through cookie-synchronization increases the median value of displayed ads by 19%. We also find that female and younger users are more targeted, suffering more tracking (via cookie synchronization) than male or elder users. As a result of this targeting in our dataset, the advertising value (i) of women is 2.4X higher than that of men, (ii) of 25-34 year-olds is 2.5X higher than that of 35-44 year-olds, (iii) is most expensive on weekends and early mornings.


title: Symmetries of Stochastic Differential Equations using Girsanov transformations

abstract: Aiming at enlarging the class of symmetries of an SDE, we introduce a family of stochastic transformations able to change also the underlying probability measure exploiting Girsanov Theorem and we provide new determining equations for the infinitesimal symmetries of the SDE. The well-defined subset of the previous class of measure transformations given by Doob transformations allows us to recover all the Lie point symmetries of the Kolmogorov equation associated with the SDE. This gives the first stochastic interpretation of all the deterministic symmetries of the Kolmogorov equation. The general theory is applied to some relevant stochastic models.


title: Anti-unification in Constraint Logic Programming

abstract: Anti-unification refers to the process of generalizing two (or more) goals into a single, more general, goal that captures some of the structure that is common to all initial goals. In general one is typically interested in computing what is often called a most specific generalization, that is a generalization that captures a maximal amount of shared structure. In this work we address the problem of anti-unification in CLP, where goals can be seen as unordered sets of atoms and/or constraints. We show that while the concept of a most specific generalization can easily be defined in this context, computing it becomes an NP-complete problem. We subsequently introduce a generalization algorithm that computes a well-defined abstraction whose computation can be bound to a polynomial execution time. Initial experiments show that even a naive implementation of our algorithm produces acceptable generalizations in an efficient way. Under consideration for acceptance in TPLP.


title: Measuring the Weizsaecker-Williams distribution of linearly polarized gluons at an electron-ion collider through dijet azimuthal asymmetries

abstract: The Weizsaecker-Williams transverse momentum dependent (TMD) gluon distributions can be probed in the production of a hard dijet in semi-inclusive DIS. This process is sensitive not only to the conventional but also to the linearly polarized gluon distribution. The latter gives rise to an azimuthal dependence of the dijet cross section and therefore can be distinguished from the former. Feasibility study of a measurement of these TMDs through dijet production at a future electron-ion collider shows that the extraction of the distribution of linearly polarized gluons with a statistical accuracy of 5% will require estimated luminosity of 20 fb^{-1} /A.