title: Cloud-based Privacy-Preserving Collaborative Consumption for Sharing Economy

abstract: Cloud computing has been a dominant paradigm for a variety of information processing platforms, particularly for enabling various popular applications of sharing economy. However, there is a major concern regarding data privacy on these cloud-based platforms. This work presents novel cloud-based privacy-preserving solutions to support collaborative consumption applications for sharing economy. In typical collaborative consumption, information processing platforms need to enable fair cost-sharing among multiple users for utilizing certain shared facilities and communal services. Our cloud-based privacy-preserving protocols, based on homomorphic Paillier cryptosystems, can ensure that the cloud-based operator can only obtain an aggregate schedule of all users in facility sharing, or a service schedule conforming to service provision rule in communal service sharing, but is unable to track the personal schedules or demands of individual users. More importantly, the participating users are still able to settle cost-sharing among themselves in a fair manner for the incurred costs, without knowing each other's private schedules or demands. Our privacy-preserving protocols involve no other third party who may compromise privacy. We also provide an extensive evaluation study and a proof-of-concept system prototype of our protocols.


title: Inferring network properties from time series using transfer entropy and mutual information: validation of multivariate versus bivariate approaches

abstract: Functional and effective networks inferred from time series are at the core of network neuroscience. Interpreting their properties requires inferred network models to reflect key underlying structural features; however, even a few spurious links can distort network measures, challenging functional connectomes. We study the extent to which micro- and macroscopic properties of underlying networks can be inferred by algorithms based on mutual information and bivariate/multivariate transfer entropy. The validation is performed on two macaque connectomes and on synthetic networks with various topologies (regular lattice, small-world, random, scale-free, modular). Simulations are based on a neural mass model and on autoregressive dynamics (employing Gaussian estimators for direct comparison to functional connectivity and Granger causality). We find that multivariate transfer entropy captures key properties of all networks for longer time series. Bivariate methods can achieve higher recall (sensitivity) for shorter time series but are unable to control false positives (lower specificity) as available data increases. This leads to overestimated clustering, small-world, and rich-club coefficients, underestimated shortest path lengths and hub centrality, and fattened degree distribution tails. Caution should therefore be used when interpreting network properties of functional connectomes obtained via correlation or pairwise statistical dependence measures, rather than more holistic (yet data-hungry) multivariate models.

categories: q-bio.NC cs.IT cs.SI math.IT physics.data-an


title: Static analysis of executable files by machine learning methods

abstract: The paper describes how to detect malicious executable files based on static analysis of their binary content. The stages of pre-processing and cleaning data extracted from different areas of executable files are analyzed. Methods of encoding categorical attributes of executable files are considered, as are ways to reduce the feature field dimension and select characteristic features in order to effectively represent samples of binary executable files for further training classifiers. An ensemble training approach was applied in order to aggregate forecasts from each classifier, and an ensemble of classifiers of various feature groups of executable file attributes was created in order to subsequently develop a system for detecting malicious files in an uninsulated environment.


title: Monocular Retinal Depth Estimation and Joint Optic Disc and Cup Segmentation using Adversarial Networks

abstract: One of the important parameters for the assessment of glaucoma is optic nerve head (ONH) evaluation, which usually involves depth estimation and subsequent optic disc and cup boundary extraction. Depth is usually obtained explicitly from imaging modalities like optical coherence tomography (OCT) and is very challenging to estimate depth from a single RGB image. To this end, we propose a novel method using adversarial network to predict depth map from a single image. The proposed depth estimation technique is trained and evaluated using individual retinal images from INSPIRE-stereo dataset. We obtain a very high average correlation coefficient of 0.92 upon five fold cross validation outperforming the state of the art. We then use the depth estimation process as a proxy task for joint optic disc and cup segmentation.


title: Analysis of Magnetoacoustic Quadrupole Resonance and Application to Probe Quadrupole Degrees of Freedom in Quantum Magnets

abstract: Motivated by the recent progress of high-frequency ultrasonic measurements, we propose a theory of magnetoacoustic resonance as a microscopic probe for quadrupole degrees of freedom hidden in magnetic materials. A local strain driven by an acoustic wave couples to electronic states of a magnetic ion through various quadrupole-strain couplings, and this provides a periodically time-dependent oscillating field. As a typical two-level system with the quadrupole, we consider a non-Kramers doublet and investigate single- and multiphonon-mediated transition processes on the basis of the Floquet theory. An analytic form of the transition probability is derived within the weak coupling theory, which helps us analyze the magnetoacoustic quadrupole resonance. We apply the theory to realistic non-Kramers doublet systems for the f2 configuration in Oh and D4h symmetries, and discuss how to identify the relevant quadrupole by controlling the quadrupole-strain coupling with an applied magnetic field in ultrasonic measurements.


title: First detection of NHD and ND$_2$ in the interstellar medium

abstract: Deuterium fractionation processes in the interstellar medium (ISM) have been shown to be highly efficient in the family of nitrogen hydrides. To date, observations were limited to ammonia (NH$_2$D, NHD$_2$, ND$_3$) and imidogen radical (ND) isotopologues. We want to explore the high frequency windows offered by the \emph{Herschel Space Observatory} to search for deuterated forms of amidogen radical NH$_2$ and to compare the observations against the predictions of our comprehensive gas-grain chemical model. Making use of the new molecular spectroscopy data recently obtained at high frequencies for NHD and ND$_2$, both isotopologues have been searched for in the spectral survey towards the class 0 IRAS 16293-2422, a source in which NH$_3$, NH and their deuterated variants have been previously detected. We used the observations carried out with HIFI (Heterodyne Instrument for the Far Infrared) in the framework of the key program "Chemical Herschel surveys of star forming regions" (CHESS). We report the first detection of interstellar NHD and ND$_2$. Both species are observed in absorption against the continuum of the protostar. From the analysis of their hyperfine structure, accurate excitation temperature and column density values have been determined. The latter were combined with the column density of the parent species NH$_2$ to derive the deuterium fractionation in amidogen. The amidogen D/H ratio measured in the low-mass protostar IRAS 16293-2422 is comparable to the one derived for the related species imidogen and much higher than that observed for ammonia. Additional observations of these species will give more insights into the mechanism of ammonia formation and deuteration in the ISM. We finally indicate the current possibilities to further explore these species at submillimeter wavelengths.


title: Atomic origin for hydrogenation promoted bulk oxygen vacancies removal in vanadium dioxide

abstract: Oxygen vacancies (VO), a common type of point defects in metal oxides materials, play important roles on the physical and chemical properties. To obtain stoichiometric oxide crystal, the pre-existing VO is always removed via careful post-annealing treatment at high temperature in air or oxygen atmosphere. However, the annealing conditions is difficult to control and the removal of VO in bulk phase is restrained due to high energy barrier of VO migration. Here, we selected VO2 crystal film as the model system and developed an alternative annealing treatment aided by controllable hydrogen doping, which can realizes effective removal of VO defects in VO2-{\delta} crystal at lower temperature. This finding is attributed to the hydrogenation accelerated oxygen vacancies recovery in VO2-{\delta} crystal. Theoretical calculations revealed that the H-doping induced electrons are prone to accumulate around the oxygen defects in VO2-{\delta} film, which facilitates the diffusion of VO and thus makes it easier to be removed. The methodology is expected to be applied to other metal oxides for oxygen-related point defects control.


title: Learning Visual Context by Comparison

abstract: Finding diseases from an X-ray image is an important yet highly challenging task. Current methods for solving this task exploit various characteristics of the chest X-ray image, but one of the most important characteristics is still missing: the necessity of comparison between related regions in an image. In this paper, we present Attend-and-Compare Module (ACM) for capturing the difference between an object of interest and its corresponding context. We show that explicit difference modeling can be very helpful in tasks that require direct comparison between locations from afar. This module can be plugged into existing deep learning models. For evaluation, we apply our module to three chest X-ray recognition tasks and COCO object detection & segmentation tasks and observe consistent improvements across tasks. The code is available at https://github.com/mk-minchul/attend-and-compare.


title: Coding Theorems for Noisy Permutation Channels

abstract: In this paper, we formally define and analyze the class of noisy permutation channels. The noisy permutation channel model constitutes a standard discrete memoryless channel (DMC) followed by an independent random permutation that reorders the output codeword of the DMC. While coding theoretic aspects of this model have been studied extensively, particularly in the context of reliable communication in network settings where packets undergo transpositions, and closely related models of DNA based storage systems have also been analyzed recently, we initiate an information theoretic study of this model by defining an appropriate notion of noisy permutation channel capacity. Specifically, on the achievability front, we prove a lower bound on the noisy permutation channel capacity of any DMC in terms of the rank of the stochastic matrix of the DMC. On the converse front, we establish two upper bounds on the noisy permutation channel capacity of any DMC whose stochastic matrix is strictly positive (entry-wise). Together, these bounds yield coding theorems that characterize the noisy permutation channel capacities of every strictly positive and "full rank" DMC, and our achievability proof yields a conceptually simple, computationally efficient, and capacity achieving coding scheme for such DMCs. Furthermore, we also demonstrate the relation between the output degradation preorder over channels and noisy permutation channel capacity. In fact, the proof of one of our converse bounds exploits a degradation result that constructs a symmetric channel for any DMC such that the DMC is a degraded version of the symmetric channel. Finally, we illustrate some examples such as the special cases of binary symmetric channels and (general) erasure channels. Somewhat surprisingly, our results suggest that noisy permutation channel capacities are generally quite agnostic to the parameters that define the DMCs.


title: Canonical Decompositions of Abelian Groups

abstract: Every torsion--free abelian group of finite rank has two essentially unique complete direct decompositions whose summands come from specific classes of groups.


title: Spin wave theory of one-dimensional generalized Kitaev model

abstract: In this work, we perform a combination of classical and spin wave analysis on the one-dimensional spin-$S$ Kitaev-Heisenberg-Gamma model in the region of an antiferromagnetic Kitaev coupling. Four phases are found, including a N\'eel ordered phase, a phase with $O_h\rightarrow D_3$ symmetry breaking, and "$D_3$-breaking I, II" phases which both break $D_3$ symmetries albeit in different ways, where $O_h$ is the full octahedral group and $D_3$ is the dihedral group of order six. The lowest-lying spin wave mass is calculated perturbatively in the vicinity of the hidden SU(2) symmetric ferromagnetic point.


title: The mechanics and thermodynamics of tubule formation in biological membranes

abstract: Membrane tubulation is a ubiquitous process that occurs both at the plasma membrane and on the membranes of intracellular organelles. These tubulation events are known to be mediated by forces applied on the membrane either due to motor proteins, by polymerization of the cytoskeleton, or due to the interactions between membrane proteins binding onto the membrane. The numerous experimental observations of tube formation have been amply supported by mathematical modeling of the associated membrane mechanics and have provided insights into the force-displacement relationships of membrane tubes. Recent advances in quantitative biophysical measurements of membrane-protein interactions and tubule formation have necessitated the need for advances in modeling that will account for the interplay of multiple aspects of physics that occur simultaneously. Here, we present a comprehensive review of experimental observations of tubule formation and provide context from the framework of continuum modeling. Finally, we explore the scope for future research in this area with an emphasis on iterative modeling and experimental measurements that will enable us to expand our mechanistic understanding of tubulation processes in cells.


title: A Novel Posture Positioning Method for Multi-Joint Manipulators

abstract: Safety and automatic control are extremely important when operating manipulators. For large engineering manipulators, the main challenge is to accurately recognize the posture of all arm segments. In classical sensing methods, the accuracy of an inclinometer is easily affected by the elastic deformation in the manipulator's arms. This results in big error accumulations when sensing the angle of joints between arms one by one. In addition, the sensing method based on machine vision is not suitable for such kind of outdoor working situation yet. In this paper, we propose a novel posture positioning method for multi-joint manipulators based on wireless sensor network localization. The posture sensing problem is formulated as a Nearest-Euclidean-Distance-Matrix (NEDM) model. The resulting approach is referred to as EDM-based posture positioning approach (EPP) and it satisfies the following guiding principles: (i) The posture of each arm segment on a multi-joint manipulator must be estimated as accurately as possible; (ii) The approach must be computationally fast; (iii) The designed approach should not be susceptible to obstructions. To further improve accuracy, we explore the inherent structure of manipulators, i.e., fixed-arm length. This is naturally presented as linear constraints in the NEDM model. For concrete pumps, a typical multi-joint manipulator, the mechanical property that all arm segments always lie in a 2D plane is used for dimension-reduction operation. Simulation and experimental results show that the proposed method provides efficient solutions for posture sensing problem and can obtain preferable localization performance with faster speed than applying the existing localization methods.


title: Machine learning on the electron-boson mechanism in superconductors

abstract: To unravel pairing mechanism of a superconductor from limited, indirect experimental data is always a difficult task. It is common but sometimes dubious to explain by a theoretical model with some tuning parameters. In this work, we propose that the machine learning might infer pairing mechanism from observables like superconducting gap functions. For superconductivity within the Migdal-Eliashberg theory, we perform supervised learning between superconducting gap functions and electron-boson spectral functions. For simple spectral functions, the neural network can easily capture the correspondence and predict perfectly. For complex spectral functions, an autoencoder is utilized to reduce the complexity of the spectral functions to be compatible to that of the gap functions. After this complexity-reduction process, relevant information of the spectral function is extracted and good performance restores. Our proposed method can extract relevant information from data and can be applied to general function-to-function mappings with asymmetric complexities either in physics or other fields.


title: Continuous hydraulic jumps in laminar channel flow

abstract: On the basis of the viscous Saint-Venant equations, hydraulic jumps in laminar open channel flow are obtained as continuous shock structures. Thanks to the inclusion of viscosity, the jumps are not abrupt, rendering the classic patchwork via the Rankine-Hugoniot shock relations unnecessary. The jumps arise as stable stationary solutions of the governing equations and lend themselves excellently to a Dynamical Systems analysis, manifesting themselves as near-parabolic trajectories in phase space. Based on this, we derive an analytic expression for the jump length as a function of the Froude and Reynolds numbers, reflecting the fact that both gravity and viscosity contribute to the balance of forces that shape the jump. The paper concludes with a numerical experiment confirming the stability of the jumps.


title: The Moral-IT Deck: A Tool for Ethics by Design

abstract: This paper presents the design process and empirical evaluation of a new tool for enabling ethics by design: The Moral-IT Cards. Better tools are needed to support the role of technologists in addressing ethical issues during system design. These physical cards support reflection by technologists on normative aspects of technology development, specifically on emerging risks, appropriate safeguards and challenges of implementing these in the system. We discuss how the cards were developed and tested within 5 workshops with 20 participants from both research and commercial settings. We consider the role of technologists in ethics from different EU/UK policymaking initiatives and disciplinary perspectives (i.e. Science and Technology Studies (STS), IT Law, Human Computer Interaction (HCI), Computer/Engineering Ethics). We then examine existing ethics by design tools, and other cards based tools before arguing why cards can be a useful medium for addressing complex ethical issues. We present the development process for the Moral-IT cards, document key features of our card design, background on the content, the impact assessment board process for using them and how this was formulated. We discuss our study design and methodology before examining key findings which are clustered around three overarching themes. These are: the value of our cards as a tool, their impact on the technology design process and how they structure ethical reflection practices. We conclude with key lessons and concepts such as how they level the playing field for debate; enable ethical clustering, sorting and comparison; provide appropriate anchors for discussion and highlighted the intertwined nature of ethics.


title: Improved algorithms for online load balancing

abstract: We consider an online load balancing problem and its extensions in the framework of repeated games. On each round, the player chooses a distribution (task allocation) over $K$ servers, and then the environment reveals the load of each server, which determines the computation time of each server for processing the task assigned. After all rounds, the cost of the player is measured by some norm of the cumulative computation-time vector. The cost is the makespan if the norm is $L_\infty$-norm. The goal is to minimize the regret, i.e., minimizing the player's cost relative to the cost of the best fixed distribution in hindsight. We propose algorithms for general norms and prove their regret bounds. In particular, for $L_\infty$-norm, our regret bound matches the best known bound and the proposed algorithm runs in polynomial time per trial involving linear programming and second order programming, whereas no polynomial time algorithm was previously known to achieve the bound.


title: Helicity-conservative finite element discretization for incompressible MHD systems

abstract: We construct finite element methods for the incompressible magnetohydrodynamics (MHD) system that precisely preserve magnetic and cross helicity, the energy law and the magnetic Gauss law at the discrete level. The variables are discretized as discrete differential forms in a de Rham complex. We present numerical tests to show the performance of the algorithm.

categories: math.NA cs.NA physics.comp-ph physics.plasm-ph


title: The Case of Significant Variations in Gold-Green and Black Open Access: Evidence from Indian Research Output

abstract: Open Access has emerged as an important movement worldwide during the last decade. There are several initiatives now that persuade researchers to publish in open access journals and to archive their pre- or post-print versions of papers in repositories. Institutions and funding agencies are also promoting ways to make research outputs available as open access. This paper looks at open access levels and patterns in research output from India by computationally analyzing research publication data obtained from Web of Science for India for the last five years (2014-2018). The corresponding data from other connected platforms -- Unpaywall and Sci-Hub -- are also obtained and analyzed. The results obtained show that about 24% of research output from India, during last five years, is available in legal forms of open access as compared to world average of about 30%. More articles are available in gold open access as compared to green and bronze. On the contrary, more than 90% of the research output from India is available for free download in Sci-Hub. We also found disciplinary differentiation in open access, but surprisingly these patterns are different for gold-green and black open access forms. Sci-Hub appears to be complementing the legal gold-green open access for less covered disciplines in them. The central institutional repositories in India are found to have low volume of research papers deposited.


title: MTS-CycleGAN: An Adversarial-based Deep Mapping Learning Network for Multivariate Time Series Domain Adaptation Applied to the Ironmaking Industry

abstract: In the current era, an increasing number of machine learning models is generated for the automation of industrial processes. To that end, machine learning models are trained using historical data of each single asset leading to the development of asset-based models. To elevate machine learning models to a higher level of learning capability, domain adaptation has opened the door for extracting relevant patterns from several assets combined together. In this research we are focusing on translating the specific asset-based historical data (source domain) into data corresponding to one reference asset (target domain), leading to the creation of a multi-assets global dataset required for training domain invariant generic machine learning models. This research is conducted to apply domain adaptation to the ironmaking industry, and particularly for the creation of a domain invariant dataset by gathering data from different blast furnaces. The blast furnace data is characterized by multivariate time series. Domain adaptation for multivariate time series data hasn't been covered extensively in the literature. We propose MTS-CycleGAN, an algorithm for Multivariate Time Series data based on CycleGAN. To the best of our knowledge, this is the first time CycleGAN is applied on multivariate time series data. Our contribution is the integration in the CycleGAN architecture of a Long Short-Term Memory (LSTM)-based AutoEncoder (AE) for the generator and a stacked LSTM-based discriminator, together with dedicated extended features extraction mechanisms. MTS-CycleGAN is validated using two artificial datasets embedding the complex temporal relations between variables reflecting the blast furnace process. MTS-CycleGAN is successfully learning the mapping between both artificial multivariate time series datasets, allowing an efficient translation from a source to a target artificial blast furnace dataset.


title: Space-Time Coverage in the VO Registry

abstract: With VODataService 1.2, service providers in the Virtual Observatory (VO) have a reasonably straightforward way to declare where in space, time, and spectrum the data within a resource (i.e., service or data collection) lie. Here, we discuss the the mechanism and design choices, current limitations (e.g., regarding non-electromagnetic or solar system resources) as well as ways to overcome them. We also show how users and clients can already run queries against resource coverage using a scheme that is expected to become part of RegTAP 1.2 (or a separate standard). We conclude with an ardent plea to all resource creators to provide STC metadata -- only wide adoption will make this facility useful.


title: Neumaier graphs with few eigenvalues

abstract: A Neumaier graph is a non-complete edge-regular graph containing a regular clique. In this paper we give some sufficient and necessary conditions for a Neumaier graph to be strongly regular. Further we show that there does not exist Neumaier graphs with exactly four distinct eigenvalues. We also determine the Neumaier graphs with smallest eigenvalue -2.


title: Definable completeness of $P$-minimal fields and applications

abstract: We show that every definable nested family of closed and bounded subsets of a $P$-minimal field $K$ has non-empty intersection. As an application we answer a question of Darni\`ere and Halupczok showing that $P$-minimal fields satisfy the "extreme value property": for every closed and bounded subset $U\subseteq K$ and every interpretable continuous function $f\colon U \to \Gamma_K$ (where $\Gamma_K$ denotes the value group), $f(U)$ admits a maximal value. Two further corollaries are obtained as a consequence of their work. The first one shows that every interpretable subset of $K\times\Gamma_K^n$ is already interpretable in the language of rings, answering a question of Cluckers and Halupczok. This implies in particular that every $P$-minimal field is polynomially bounded. The second one characterizes those $P$-minimal fields satisfying a classical cell preparation theorem as those having definable Skolem functions, generalizing a result of Mourgues.


title: Single Photon Randomness based on a Defect Center in Diamond

abstract: The prototype of a quantum random number generator is a single photon which impinges onto a beam splitter and is then detected by single photon detectors at one of the two output paths. Prior to detection, the photon is in a quantum mechanical superposition state of the two possible outcomes with - ideally - equal amplitudes until its position is determined by measurement. When the two output modes are observed by a single photon detector, the generated clicks can be interpreted as ones and zeros - and a raw random bit stream is obtained. Here we implement such a random bit generator based on single photons from a defect center in diamond. We investigate the single photon emission of the defect center by an anti-bunching measurement. This certifies the "quantumness" of the supplied photonic input state, while the random "decision" is still based on the vacuum fluctuations at the open port of the beam-splitter. Technical limitations, such as intensity fluctuations, mechanical drift, and bias are discussed. A number of ways to suppress such unwanted effects, and an a priori entropy estimation are presented. The single photon nature allows for a characterization of the non-classicality of the source, and allows to determine a background fraction. Due to the NV-center's superior stability and optical properties, we can operate the generator under ambient conditions around the clock. We present a true 24/7 operation of the implemented random bit generator.


title: Atomistic Structure Learning Algorithm with surrogate energy model relaxation

abstract: The recently proposed Atomistic Structure Learning Algorithm (ASLA) builds on neural network enabled image recognition and reinforcement learning. It enables fully autonomous structure determination when used in combination with a first-principles total energy calculator, e.g. a density functional theory (DFT) program. To save on the computational requirements, ASLA utilizes the DFT program in a single-point mode, i.e. without allowing for relaxation of the structural candidates according to the force information at the DFT level. In this work, we augment ASLA to establish a surrogate energy model concurrently with its structure search. This enables approximative but computationally cheap relaxation of the structural candidates before the single-point energy evaluation with the computationally expensive DFT program. We demonstrate a significantly increased performance of ASLA for building benzene while utilizing a surrogate energy landscape. Further we apply this model-enhanced ASLA in a thorough investigation of the c(4x8) phase of the Ag(111) surface oxide. ASLA successfully identifies a surface reconstruction which has previously only been guessed on the basis of scanning tunnelling microscopy images.

categories: cond-mat.mtrl-sci cs.LG physics.chem-ph physics.comp-ph


title: Learning with Privileged Information for Efficient Image Super-Resolution

abstract: Convolutional neural networks (CNNs) have allowed remarkable advances in single image super-resolution (SISR) over the last decade. Most SR methods based on CNNs have focused on achieving performance gains in terms of quality metrics, such as PSNR and SSIM, over classical approaches. They typically require a large amount of memory and computational units. FSRCNN, consisting of few numbers of convolutional layers, has shown promising results, while using an extremely small number of network parameters. We introduce in this paper a novel distillation framework, consisting of teacher and student networks, that allows to boost the performance of FSRCNN drastically. To this end, we propose to use ground-truth high-resolution (HR) images as privileged information. The encoder in the teacher learns the degradation process, subsampling of HR images, using an imitation loss. The student and the decoder in the teacher, having the same network architecture as FSRCNN, try to reconstruct HR images. Intermediate features in the decoder, affordable for the student to learn, are transferred to the student through feature distillation. Experimental results on standard benchmarks demonstrate the effectiveness and the generalization ability of our framework, which significantly boosts the performance of FSRCNN as well as other SR methods. Our code and model are available online: https://cvlab.yonsei.ac.kr/projects/PISR.


title: Rotational symmetry breaking and partial Majorana corner states in a high-Tc superconductor based heterostructure

abstract: Applying a microscopic model, we study theoretically the quasiparticle excitation of a twodimensional topological insulator (TI) being in proximity to a high-Tc superconductor. In the momentum space, the proximity induced pairing term in the TI layer includes both the singlet channel and triplet channel, leading to the C4 rotational symmetry breaking of the energy bands and the quasiparticle spectra. For a cylinder geometry, the zero energy edge states may appear but they are localized at the upper boundary. For the finite-size system with open boundaries, the zero energy states at the upper boundary disappear and the Majorana bound states emerge at the two lower corners. All of the results can be understood well through exploring the pairing order parameter and the anomalous Green's function.


title: Group graded Morita equivalences for wreath products

abstract: Starting with group graded Morita equivalences, we obtain Morita equivalences for tensor products and wreath products.


title: Learning to Parse Wireframes in Images of Man-Made Environments

abstract: In this paper, we propose a learning-based approach to the task of automatically extracting a "wireframe" representation for images of cluttered man-made environments. The wireframe (see Fig. 1) contains all salient straight lines and their junctions of the scene that encode efficiently and accurately large-scale geometry and object shapes. To this end, we have built a very large new dataset of over 5,000 images with wireframes thoroughly labelled by humans. We have proposed two convolutional neural networks that are suitable for extracting junctions and lines with large spatial support, respectively. The networks trained on our dataset have achieved significantly better performance than state-of-the-art methods for junction detection and line segment detection, respectively. We have conducted extensive experiments to evaluate quantitatively and qualitatively the wireframes obtained by our method, and have convincingly shown that effectively and efficiently parsing wireframes for images of man-made environments is a feasible goal within reach. Such wireframes could benefit many important visual tasks such as feature correspondence, 3D reconstruction, vision-based mapping, localization, and navigation. The data and source code are available at https://github.com/huangkuns/wireframe.


title: Bitcoin Trace-Net: Formal Contract Verification at Signing Time

abstract: Smart contracting protocols promise to regulate the transfer of cryptocurrency amongst participants in a trustless manner. A safe smart contract implementation should ensure that each participant can always append a contract transaction to the blockchain in order move the contract towards secure completion. To this goal, we propose Bitcoin Trace-Net, a contract verification framework which generates an executable symbolic model from the underlying contract implementation. A Trace-Net model consists of a Petri Net formalism enriched with a Dolev-Yao-like actor knowledge model. The explicit symbolic actor knowledge model supports the verification of contracts featuring cryptographic sub-protocols, which may not be observable on the blockchain. Trace-Net is sufficiently expressive to accurately model blockchain semantics such as the delay between a transaction broadcast and its subsequent confirmation, as well as adversarial blockchain reorganizations of finite depths, both of which can break smart contract safety. As an implementation level framework, Trace-Net can be instantiated at run-time to monitor and verify smart contract protocol executions.


title: The maximum modulus set of a polynomial

abstract: We study the maximum modulus set, $\mathcal{M}(p)$, of a polynomial $p$. We are interested in constructing $p$ so that $\mathcal{M}(p)$ has certain exceptional features. Jassim and London gave a cubic polynomial $p$ such that $\mathcal{M}(p)$ has one discontinuity, and Tyler found a quintic polynomial $\tilde{p}$ such that $\mathcal{M}(\tilde{p})$ has one singleton component. These are the only results of this type, and we strengthen them considerably. In particular, given a finite sequence $a_1, a_2, \ldots, a_n$ of distinct positive real numbers, we construct polynomials $p$ and $\tilde{p}$ such that $\mathcal{M}(p)$ has discontinuities of modulus $a_1, a_2, \ldots, a_n$, and $\mathcal{M}(\tilde{p})$ has singleton components at the points $a_1, a_2, \ldots, a_n$. Finally we show that these results are strong, in the sense that it is not possible for a polynomial to have infinitely many discontinuities in its maximum modulus set.


title: Sub-ion scale Compressive Turbulence in the Solar wind: MMS spacecraft potential observations

abstract: Compressive plasma turbulence is investigated at sub-ion scales in the solar wind using both the Fast Plasma Investigation (FPI) instrument on the Magnetospheric MultiScale mission (MMS), as well as using calibrated spacecraft potential data from the Spin Plane Double Probe (SDP) instrument. The data from FPI allow a measurement down to the sub-ion scale region ($f_{sc}\gtrsim 1$ Hz) to be investigated before the instrumental noise becomes significant at a spacecraft frame frequency of $f_{sc}\approx 3$Hz, whereas calibrated spacecraft potential allows a measurement up to $f_{sc}\approx 40$Hz. In this work, we give a detailed description of density estimation in the solar wind using the spacecraft potential measurement from the SDP instrument on MMS. Several intervals of solar wind plasma have been processed using the methodology described which are made available. One of the intervals is investigated in more detail and the power spectral density of the compressive fluctuations is measured from the inertial range to the sub-ion range. The morphology of the density spectra can be explained by either a cascade of Alfv\'en waves and slow waves at large scales and kinetic Alfv\'en waves at sub-ion scales, or more generally by the Hall effect. Using electric field measurements the two hypotheses are discussed.


title: Accelerating inverse crystal structure prediction by machine learning: a case study of carbon allotropes

abstract: Based on structure prediction method, the machine learning method is used instead of the density function theory (DFT) method to predict the material properties, thereby accelerating the material search process. In this paper, we established a data set of carbon materials by high-throughput calculation with available carbon structures obtained from the Samara Carbon Allotrope Database. We then trained an ML model that specifically predicts the elastic modulus (bulk modulus, shear modulus, and the Young's modulus) and confirmed that the accuracy is better than that of AFLOW-ML in predicting the elastic modulus of a carbon allotrope. We further combined our ML model with the CALYPSO code to search for new carbon structures with a high Young's modulus. A new carbon allotrope not included in the Samara Carbon Allotrope Database, named Cmcm-C24, which exhibits a hardness greater than 80 GPa, was firstly revealed. The Cmcm-C24 phase was identified as a semiconductor with a direct bandgap. The structural stability, elastic modulus, and electronic properties of the new carbon allotrope were systematically studied, and the obtained results demonstrate the feasibility of ML methods accelerating the material search process.


title: The spectral picture of Bergman Toeplitz operators with harmonic polynomial symbols

abstract: In this paper, it is shown that some new phenomenon related to the spectra of Toeplitz operators with bounded harmonic symbols on the Bergman space. On the one hand, we prove that the spectrum of the Toeplitz operator with symbol ${\bar{z}+p}$ is always connected for every polynomial $p$ with degree less than $3$. On the other hand, we show that for each integer $k$ greater than $2$, there exists a polynomial $p$ of degree $k$ such that the spectrum of the Toeplitz operator with symbol ${\bar{z}+p}$ has at least one isolated point but has at most finitely many isolated points. Then these results are applied to obtain a new class of non-hyponormal Toeplitz operators with bounded harmonic symbols on the Bergman space for which Weyl's theorem holds.


title: Unifying frequency combs in active and passive cavities: Temporal solitons in externally-driven ring lasers

abstract: Frequency combs have become a prominent research area in optics. Of particular interest as integrated comb technology are chip-scale sources, such as semiconductor lasers and microresonators, which consist of resonators embedding a nonlinear medium either with or without population inversion. Such active and passive cavities were so far treated distinctly. Here we propose a formal unification by introducing a general equation that describes both types of cavities. The equation also captures the physics of a hybrid device - a semiconductor ring laser with an external optical drive - in which we show the existence of temporal solitons, previously identified only in microresonators, thanks to symmetry breaking and self-localization phenomena typical of spatially-extended dissipative systems.


title: Influence of Stimulated Raman Scattering on Kerr domain walls and localized structures

abstract: We investigate the influence of the stimulated Raman scattering on the formation of bright and dark localized states in all-fiber resonators subject to a coherent optical injection, when operating in the normal dispersion regime. In the absence of the Raman effect, and far from any modulational instability, localized structures form due to the locking of domain walls connecting two coexisting continuous wave states, and undergo a particular bifurcation structure known as collapsed snaking. The stimulated Raman scattering breaks the reflection symmetry of the system, and modifies the dynamics, stability, and locking of domain walls. This modification leads to the formation of, not only dark, but also bright moving localized states, which otherwise are absent. We perform a detailed bifurcation analysis of these localized states, and classify their dynamics and stability as a function of the main parameters of the system.


title: Zealots in multi-state noisy voter models

abstract: The noisy voter model is a stylised representation of opinion dynamics. Individuals copy opinions from other individuals, and are subject to spontaneous state changes. In the case of two opinion states this model is known to have a noise-driven transition between a unimodal phase, in which both opinions are present, and a bimodal phase in which one of the opinions dominates. The presence of zealots can remove the unimodal and bimodal phases in the model with two opinion states. Here, we study the effects of zealots in noisy voter models with M>2 opinion states on complete interaction graphs. We find that the phase behaviour diversifies, with up to six possible qualitatively different types of stationary states. The presence of zealots removes some of these phases, but not all. We analyse situations in which zealots affect the entire population, or only a fraction of agents, and show that this situation corresponds to a single-community model with a fractional number of zealots, further enriching the phase diagram. Our study is conducted analytically based on effective birth-death dynamics for the number of individuals holding a given opinion. Results are confirmed in numerical simulations.


title: Fermionic model of unitary transport of qubits from a black hole

abstract: Inspired by a recent model of Osuga and Page, we propose an explicitly unitary fermionic toy model for transferring information from a black hole to the outgoing radiation. The model treats the unitary evolution as a composition of the Hawking pair creation outside the black hole and of pair annihilation inside the black hole.


title: Direct Observation of One-Dimensional Peierls-Type Charge Density Wave in Twin Boundaries of Monolayer MoTe$_2$

abstract: One-dimensional (1D) metallic mirror-twin boundaries (MTBs) in monolayer transition metal dichalcogenides (TMDCs) exhibit a periodic charge modulation and provide an ideal platform for exploring collective electron behavior in the confined system. The underlying mechanism of the charge modulation and how the electrons travel in 1D structures remain controversial. Here, for the first time, we observed atomic-scale structures of the charge distribution within one period in MTB of monolayer MoTe2 by using scanning tunneling microscopy/spectroscopy (STM/STS). The coexisting apparent periodic lattice distortions and U-shaped energy gap clearly demonstrate a Peierls-type charge density wave (CDW). Equidistant quantized energy levels with varied periodicity are further discovered outside the CDW gap along the metallic MTB. Density functional theory (DFT) calculations are in good agreement with the gapped electronic structures and reveal they originate mainly from Mo 4d orbital. Our work presents hallmark evidence of the 1D Peierls-type CDW on the metallic MTBs and offers opportunities to study the underlying physics of 1D charge modulation.


title: Sticky or not sticky? Measurements of the tensile strength of micro-granular organic materials

abstract: Knowledge of the mechanical properties of protoplanetary and cometary matter is of key importance to better understand the activity of comets and the early stages of planet formation. The tensile strength determines the required pressure to lift off grains, pebbles and agglomerates from the cometary surface and also describes how much strain a macroscopic body can withstand before material failure occurs. As organic materials are ubiquitous in space, they could have played an important role during the planet formation process. This work provides new data on the tensile strength of five different micro-granular organic materials, namely, humic acid, paraffin, brown coal, charcoal and graphite. These materials are investigated by the so-called Brazilian Disc Test and the resulting tensile strength values are normalised to a standard grain size and volume filling factor. We find that the tensile strength of these materials ranges over four orders of magnitude. Graphite and paraffin possess tensile strengths much higher than silica, whereas coals have very low tensile strength values. This work demonstrates that organic materials are not generally stickier than silicates, or water ice, as often believed.


title: Accelerating Geometric Multigrid Preconditioning with Half-Precision Arithmetic on GPUs

abstract: With the hardware support for half-precision arithmetic on NVIDIA V100 GPUs, high-performance computing applications can benefit from lower precision at appropriate spots to speed up the overall execution time. In this paper, we investigate a mixed-precision geometric multigrid method to solve large sparse systems of equations stemming from discretization of elliptic PDEs. While the final solution is always computed with high-precision accuracy, an iterative refinement approach with multigrid preconditioning in lower precision and residuum scaling is employed. We compare the FP64 baseline for Poisson's equation to purely FP16 multigrid preconditioning and to the employment of FP16-FP32-FP64 combinations within a mesh hierarchy. While the iteration count is almost not affected by using lower accuracy, the solver runtime is considerably decreased due to the reduced memory transfer and a speedup of up to 2.5x is gained for the overall solver. We investigate the performance of selected kernels with the hierarchical Roofline model.


title: Instanton theory of tunnelling in molecules with asymmetric isotopic substitutions

abstract: We consider quantum tunnelling in asymmetric double-well systems for which the local minima in the two wells have the same energy, but the frequencies differ slightly. We derive a generalization of instanton theory for these asymmetric systems, leading to a semiclassical expression for the tunnelling matrix element and hence the energy level splitting. We benchmark the method using a set of one- and two-dimensional models, for which the results compare favourably with numerically exact quantum calculations. Using the ring-polymer instanton approach, we apply the method to compute the level splittings in various isotopic-substituted versions of malonaldehyde in full dimensionality and analyse the relative contributions from the zero-point energy difference and tunnelling effects.


title: Prototypical Description and Controller Design for a Set of Systems Using v-gap Based Clustering

abstract: We present an approach to design stabilizing controllers for a set of linear systems without restrictions regarding their modeling order. To this end, the systems are treated as abstract objects in the space of the $\nu$-gap metric. Via a cluster analysis the set of systems is split into v-gap similar clusters which are treated separately. For this purpose we provide an algorithm that constructs an explicit prototype system by generalizing the information of a given set of systems. Applying this algorithm to each cluster a set of prototype systems is obtained. Given these prototypes we design controllers in such a way that all systems assigned to a cluster will be stabilized by a corresponding controller. The approach is demonstrated for a set of 80 linear systems.


title: RobustScanner: Dynamically Enhancing Positional Clues for Robust Text Recognition

abstract: The attention-based encoder-decoder framework has recently achieved impressive results for scene text recognition, and many variants have emerged with improvements in recognition quality. However, it performs poorly on contextless texts (e.g., random character sequences) which is unacceptable in most of real application scenarios. In this paper, we first deeply investigate the decoding process of the decoder. We empirically find that a representative character-level sequence decoder utilizes not only context information but also positional information. Contextual information, which the existing approaches heavily rely on, causes the problem of attention drift. To suppress such side-effect, we propose a novel position enhancement branch, and dynamically fuse its outputs with those of the decoder attention module for scene text recognition. Specifically, it contains a position aware module to enable the encoder to output feature vectors encoding their own spatial positions, and an attention module to estimate glimpses using the positional clue (i.e., the current decoding time step) only. The dynamic fusion is conducted for more robust feature via an element-wise gate mechanism. Theoretically, our proposed method, dubbed \emph{RobustScanner}, decodes individual characters with dynamic ratio between context and positional clues, and utilizes more positional ones when the decoding sequences with scarce context, and thus is robust and practical. Empirically, it has achieved new state-of-the-art results on popular regular and irregular text recognition benchmarks while without much performance drop on contextless benchmarks, validating its robustness in both contextual and contextless application scenarios.


title: Electrical Control of Coherent Spin Rotation of a Single-Spin Qubit

abstract: Nitrogen vacancy (NV) centers, optically-active atomic defects in diamond, have attracted tremendous interest for quantum sensing, network, and computing applications due to their excellent quantum coherence and remarkable versatility in a real, ambient environment. One of the critical challenges to develop NV-based quantum operation platforms results from the difficulty to locally address the quantum spin states of individual NV spins in a scalable, energy-efficient manner. Here, we report electrical control of the coherent spin rotation rate of a single-spin qubit in NV-magnet based hybrid quantum systems. By utilizing electrically generated spin currents, we are able to achieve efficient tuning of magnetic damping and the amplitude of the dipole fields generated by a micrometer-sized resonant magnet, enabling electrical control of the Rabi oscillation frequency of NV spins. Our results highlight the potential of NV centers in designing functional hybrid solid-state systems for next-generation quantum-information technologies. The demonstrated coupling between the NV centers and the propagating spin waves harbored by a magnetic insulator further points to the possibility to establish macroscale entanglement between distant spin qubits.


title: Model predictive control of resistive wall mode for ITER

abstract: Active feedback stabilization of the dominant resistive wall mode (RWM) for an ITER H-mode scenario at high plasma pressure using infinite-horizon model predictive control (MPC) is presented. The MPC approach is closely-related to linear-quadratic-Gaussian (LQG) control, improving the performance in the vicinity of constraints. The control-oriented model for MPC is obtained with model reduction from a high-dimensional model produced by CarMa code. Due to the limited time for on-line optimization, a suitable MPC formulation considering only input (coil voltage) constraints is chosen, and the primal fast gradient method is used for solving the associated quadratic programming problem. The performance is evaluated in simulation in comparison to LQG control. Sensitivity to noise, robustness to changes of unstable RWM dynamics, and size of the domain of attraction of the initial conditions of the unstable modes are examined.


title: Absence of torsion in orbit space

abstract: In this paper, we prove that if $R$ is a local ring of dimension $d,$ $d\geq 2$ and $\frac{1}{d!}\in R$ then the group $\frac{Um_{d+1}(R[X])}{E_{d+1}(R[X])}$ has no $k$-torsion, provided $k\in GL_{1}(R).$ We also prove that if $R$ is a regular ring of dimension $d,$ $d\geq 2$ and $\frac{1}{d!}\in R$ such that $E_{d+1}(R)$ acts transitively on $Um_{d+1}(R)$ then $E_{d+1}(R[X])$ acts transitively on $Um_{d+1}(R[X]).$


title: Harmonic synchronization under all three types of coupling: position, velocity, and acceleration

abstract: Synchronization of identical harmonic oscillators interconnected via position, velocity, and acceleration couplings is studied. How to construct a complex Laplacian matrix representing the overall coupling is presented. It is shown that the oscillators asymptotically synchronize if and only if this matrix has a single eigenvalue on the imaginary axis. This result generalizes some of the known spectral tests for synchronization. Some simpler Laplacian constructions are also proved to work provided that certain structural conditions are satisfied by the coupling graphs.


title: Evaluation of Neural Network Classification Systems on Document Stream

abstract: One major drawback of state of the art Neural Networks (NN)-based approaches for document classification purposes is the large number of training samples required to obtain an efficient classification. The minimum required number is around one thousand annotated documents for each class. In many cases it is very difficult, if not impossible, to gather this number of samples in real industrial processes. In this paper, we analyse the efficiency of NN-based document classification systems in a sub-optimal training case, based on the situation of a company document stream. We evaluated three different approaches, one based on image content and two on textual content. The evaluation was divided into four parts: a reference case, to assess the performance of the system in the lab; two cases that each simulate a specific difficulty linked to document stream processing; and a realistic case that combined all of these difficulties. The realistic case highlighted the fact that there is a significant drop in the efficiency of NN-Based document classification systems. Although they remain efficient for well represented classes (with an over-fitting of the system for those classes), it is impossible for them to handle appropriately less well represented classes. NN-Based document classification systems need to be adapted to resolve these two problems before they can be considered for use in a company document stream.


title: Generalized Ces\`aro operators on Dirichlet-type spaces

abstract: In this note, we introduce and study a new kind of generalized Ces\`aro operators $\mathcal{C}_{\mu}$, induced by a positive Borel measure $\mu$ on $[0, 1)$, between the Dirichlet-type spaces. We characterize the measures $\mu$ for which $\mathcal{C}_{\mu}$ is bounded (compact) from one Dirichlet-type space $\mathcal{D}_{\alpha}$ into another one $\mathcal{D}_{\beta}$.


title: Cause vs. Effect in Context-Sensitive Prediction of Business Process Instances

abstract: Predicting undesirable events during the execution of a business process instance provides the process participants with an opportunity to intervene and keep the process aligned with its goals. Few approaches for tackling this challenge consider a multi-perspective view, where the flow perspective of the process is combined with its surrounding context. Given the many sources of data in today's world, context can vary widely and have various meanings. This paper addresses the issue of context being cause or effect of the next event and its impact on next event prediction. We leverage previous work on probabilistic models to develop a Dynamic Bayesian Network technique. Probabilistic models are considered comprehensible and they allow the end-user and his or her understanding of the domain to be involved in the prediction. Our technique models context attributes that have either a cause or effect relationship towards the event. We evaluate our technique with two real-life data sets and benchmark it with other techniques from the field of predictive process monitoring. The results show that our solution achieves superior prediction results if context information is correctly introduced into the model.


title: Group Invariant Dictionary Learning

abstract: The dictionary learning problem concerns the task of representing data as sparse linear sums drawn from a smaller collection of basic building blocks. In application domains where such techniques are deployed, we frequently encounter datasets where some form of symmetry or invariance is present. Motivated by this observation, we develop a framework for learning dictionaries for data under the constraint that the collection of basic building blocks remains invariant under such symmetries. Our procedure for learning such dictionaries relies on representing the symmetry as the action of a matrix group acting on the data, and subsequently introducing a convex penalty function so as to induce sparsity with respect to the collection of matrix group elements. Our framework specializes to the convolutional dictionary learning problem when we consider integer shifts. Using properties of positive semidefinite Hermitian Toeplitz matrices, we develop an extension that learns dictionaries that are invariant under continuous shifts. Our numerical experiments on synthetic data and ECG data show that the incorporation of such symmetries as priors are most valuable when the dataset has few data-points, or when the full range of symmetries is inadequately expressed in the dataset.


title: Photoprotecting uracil by coupling with lossy nanocavities

abstract: We analyze how the photorelaxation dynamics of a molecule can be controlled by modifying its electromagnetic environment using a nanocavity mode. In particular, we consider the photorelaxation of the RNA nucleobase uracil, which is the natural mechanism to prevent photodamage. In our theoretical work, we identify the operative conditions in which strong coupling with the cavity mode can open an efficient photoprotective channel, resulting in a relaxation dynamics twice as fast than the natural one. We rely on a state-of-the-art chemically-detailed molecular model and a non-Hermitian Hamiltonian propagation approach to perform full-quantum simulations of the system dissipative dynamics. By focusing on the photon decay, our analysis unveils the active role played by cavity-induced dissipative processes in modifying chemical reaction rates, in the context of molecular polaritonics. Remarkably, we find that the photorelaxation efficiency is maximized when an optimal trade-off between light-matter coupling strength and photon decay rate is satisfied. This result is in contrast with the common intuition that increasing the quality factor of nanocavities and plasmonic devices improves their performance. Finally, we use a detailed model of a metal nanoparticle to show that the speedup of the uracil relaxation could be observed via coupling with a nanosphere pseudomode, without requiring the implementation of complex nanophotonic structures.

categories: cond-mat.mes-hall physics.chem-ph physics.comp-ph physics.optics quant-ph


title: Intrinsic radiation background of LaBr$_3$(Ce) detector via coincidence measurements and simulations

abstract: The LaBr$_3$(Ce) detector has attracted much attention in recent years for its superior characteristics to other scintillating materials in terms of resolution and efficiency. However, it has relatively high intrinsic radiation background due to the naturally occurring radioisotope in lanthanum, actinium and their daughter nuclei. This limits its applications in low counting rate experiments. In this paper, we identified the radioactive isotopes in the $\phi3''\times 3''$ Saint-Gobain B380 detector by a coincidence measurement using a Clover detector in a low-background shielding system. Moreover, we carried out a Geant4 simulation to the experimental spectra to evaluate the activities of the main internal radiation components. % by means of the $\alpha$, $\gamma$ and $\beta$ decays from the $^{138}$La and $^{227}$Ac. The activity of radiation background of B380 is determined to be 1.480 (69) Bq/cm$^3$, the main sources of which include $^{138}$La of 1.425 (59) Bq/cm$^3$, $^{211}$Bi of 0.0136 (15) Bq/cm$^3$, $^{219}$Rn of 0.0125 (17) Bq/cm$^3$, $^{223}$Ra of 0.0127 (14) Bq/cm$^3$, and $^{227}$Th of 0.0158 (22) Bq/cm$^3$.


title: A Faster Exact Algorithm to Count X3SAT Solutions

abstract: The Exact Satisfiability problem, XSAT, is defined as the problem of finding a satisfying assignment to a formula in CNF such that there is exactly one literal in each clause assigned to be 1 and the other literals in the same clause are set to 0. If we restrict the length of each clause to be at most 3 literals, then it is known as the X3SAT problem. In this paper, we consider the problem of counting the number of satisfying assignments to the X3SAT problem, which is also known as #X3SAT. The current state of the art exact algorithm to solve #X3SAT is given by Dahll\"of, Jonsson and Beigel and runs in $O(1.1487^n)$, where $n$ is the number of variables in the formula. In this paper, we propose an exact algorithm for the #X3SAT problem that runs in $O(1.1120^n)$ with very few branching cases to consider, by using a result from Monien and Preis to give us a bisection width for graphs with at most degree 3.


abstract: In this paper, we study the Minimum Weight Pairwise Distance Preservers (MWPDP) problem. Consider a positively weighted undirected/directed connected graph $G = (V, E, c)$ and a subset $P$ of pairs of vertices, also called demand pairs. A subgraph $G'$ is a distance preserver with respect to $P$ if and only if every pair $(u, w) \in P$ satisfies $dist_{G'} (u, w) = dist_{G}(u, w)$. In MWPDP problem, we aim to find the minimum-weight subgraph $G^*$ that is a distance preserver with respect to $P$. Taking a shortest path between each pair in $P$ gives us a trivial solution with the weight of at most $U=\sum_{(u,v) \in P} dist_{G} (u, w)$. Subsequently, we ask how much improvement we can make upon $U$. In other words, we opt to find a distance preserver $G^*$ that maximizes $U-c(G^*)$. Denote this problem as Cost Sharing Pairwise Distance Preservers (CSPDP), which has several applications in the planning and operations of transportation systems. The only known work that can provide a nontrivial solution for CSPDP is that of Chlamt\'a\v{c} et al. (SODA, 2017). This algorithm works for unweighted graphs and guarantees a non-zero objective only if the optimal solution is extremely sparse with respect to the trivial solution. We address this issue by proposing an $O(|E|^{1/2+\epsilon})$-approximation algorithm for CSPDP in weighted graphs that runs in $O((|P||E|)^{2.38} (1/\epsilon))$ time. Moreover, we prove CSPDP is at least as hard as $\text{LABEL-COVER}_{\max}$. This implies that CSPDP cannot be approximated within $O(|E|^{1/6-\epsilon})$ factor in polynomial time, unless there is an improvement in the notoriously difficult $\text{LABEL-COVER}_{\max}$.


title: Stochastic modelling of a noise driven global instability in a turbulent swirling jet

abstract: A method is developed to estimate the properties of a global hydrodynamic instability in turbulent flows from measurement data of the limit-cycle oscillations. For this purpose, the flow dynamics are separated in deterministic contributions representing the global mode and a stochastic contribution representing the intrinsic turbulent forcing. Stochastic models are developed that account for the interaction between the two and that allow determining the dynamic properties of the flow from stationary data. The deterministic contributions are modelled by an amplitude equation, which describes the oscillatory dynamics of the instability, and in a second approach by a mean-field model, which additionally captures the interaction between the instability and the mean-flow corrections. The stochastic contributions are considered as coloured noise forcing, representing the spectral characteristics of the stochastic turbulent perturbations. The methodology is applied to a turbulent swirling jet with a dominant global mode. PIV measurements are conducted to ensure that the mode is the most dominant coherent structure and further pressure measurements provide long time series for the model calibration. The supercritical Hopf bifurcation is identified from the linear growthrate of the global mode and the excellent agreement between measured and estimated statistics suggest that the model captures the relevant dynamics. This work demonstrates that the sole observation of limit-cycle oscillations is not sufficient to determine the stability of turbulent flows since the stochastic perturbations obscure the actual bifurcation point. However, the proposed separation of deterministic and stochastic contributions in the dynamical model allows identifying the flow sate from stationary measurements.


title: Accurately simulating nine-dimensional phase space of relativistic particles in strong fields

abstract: Next-generation high-power lasers that can be focused to intensities exceeding 10^23 W/cm^2 are enabling new physics and applications. The physics of how these lasers interact with matter is highly nonlinear, relativistic, and can involve lowest-order quantum effects. The current tool of choice for modeling these interactions is the particle-in-cell (PIC) method. In strong fields, the motion of charged particles and their spin is affected by radiation reaction. Standard PIC codes usually use Boris or its variants to advance the particles, which requires very small time steps in the strong-field regime to obtain accurate results. In addition, some problems require tracking the spin of particles, which creates a 9D particle phase space (x, u, s). Therefore, numerical algorithms that enable high-fidelity modeling of the 9D phase space in the strong-field regime are desired. We present a new 9D phase space particle pusher based on analytical solutions to the position, momentum and spin advance from the Lorentz force, together with the semi-classical form of RR in the Landau-Lifshitz equation and spin evolution given by the Bargmann-Michel-Telegdi equation. These analytical solutions are obtained by assuming a locally uniform and constant electromagnetic field during a time step. The solutions provide the 9D phase space advance in terms of a particle's proper time, and a mapping is used to determine the proper time step for each particle from the simulation time step. Due to the analytical integration, the constraint on the time step needed to resolve trajectories in ultra-high fields can be greatly reduced. We present single-particle simulations and full PIC simulations to show that the proposed particle pusher can greatly improve the accuracy of particle trajectories in 9D phase space for given laser fields. A discussion on the numerical efficiency of the proposed pusher is also provided.


title: Incremental Without Replacement Sampling in Nonconvex Optimization

abstract: Minibatch decomposition methods for empirical risk minimization are commonly analysed in a stochastic approximation setting, also known as sampling with replacement. On the other hands modern implementations of such techniques are incremental: they rely on sampling without replacement, for which available analysis are much scarcer. We provide convergence guaranties for the latter variant by analysing a versatile incremental gradient scheme. For this scheme, we consider constant, decreasing or adaptive step sizes. In the smooth setting we obtain explicit complexity estimates in terms of epoch counter. In the nonsmooth setting we prove that the sequence is attracted by solutions of optimality conditions of the problem.


title: Perfectly matched layer method for optical modes in dielectric cavities

abstract: The optical resonance problem is similar to but different from time-steady Schr\"{o}dinger equation. One big challenge is that the eigenfunctions in resonance problem is exponentially growing. We give physical explanation to this boundary condition and introduce perfectly matched layer (PML) method to transform eigenfunctions from exponential-growth to exponential-decay. Based on the complex stretching technique, we construct a non-Hermitian Hamiltonian for the optical resonance problem. We successfully validate the effectiveness of the Hamiltonian by calculate its eigenvalues in the circular cavity and compare with the analytical results. We also use the proposed Hamiltonian to investigate the mode evolution around exceptional points in the quad-cosine cavity.


title: On the Inclusion of Spatial Information for Spatio-Temporal Neural Networks

abstract: When confronting a spatio-temporal regression, it is sensible to feed the model with any available prior information about the spatial dimension. For example, it is common to define the architecture of neural networks based on spatial closeness, adjacency, or correlation. A common alternative, if spatial information is not available or is too costly to introduce it in the model, is to learn it as an extra step of the model. While the use of prior spatial knowledge, given or learnt, might be beneficial, in this work we question this principle by comparing spatial agnostic neural networks with state of the art models. Our results show that the typical inclusion of prior spatial information is not really needed in most cases. In order to validate this counterintuitive result, we perform thorough experiments over ten different datasets related to sustainable mobility and air quality, substantiating our conclusions on real world problems with direct implications for public health and economy.


title: On the uncountability of $\mathbb{R}$

abstract: Cantor's first set theory paper (1874) establishes the uncountability of $\mathbb{R}$. We study this most basic mathematical fact formulated in the language of higher-order arithmetic. In particular, we investigate the logical and computational properties of NIN (resp. NBI), i.e. the third-order statement: there is no injection (resp. bijection) from $[0,1]$ to $\mathbb{N}$. Working in Kohlenbach's higher-order Reverse Mathematics, we show that NIN and NBI are hard to prove in terms of (conventional) comprehension axioms, while many basic theorems, like Arzela's convergence theorem for the Riemann integral (1885), are shown to imply NIN and/or NBI. Working in Kleene's higher-order computability theory based on S1-S9, we show that the following fourth-order process based on NIN is similarly hard to compute: for a given $[0,1]\rightarrow \mathbb{N}$-function, find reals in the unit interval that map to the same natural number.


title: Understanding fluctuations through Multivariate Circulant Singular Spectrum Analysis

abstract: We introduce Multivariate Circulant Singular Spectrum Analysis (M-CiSSA) to provide a comprehensive framework to analyze fluctuations, extracting the underlying components of a set of time series, disentangling their sources of variation and assessing their relative phase or cyclical position at each frequency. Our novel method is non-parametric and can be applied to series out of phase, highly nonlinear and modulated both in frequency and amplitude. We prove a uniqueness theorem that in the case of common information and without the need of fitting a factor model, allows us to identify common sources of variation. This technique can be quite useful in several fields such as climatology, biometrics, engineering or economics among others. We show the performance of M-CiSSA through a synthetic example of latent signals modulated both in amplitude and frequency and through the real data analysis of energy prices to understand the main drivers and co-movements of primary energy commodity prices at various frequencies that are key to assess energy policy at different time horizons.


title: Predicting Clinical Diagnosis from Patients Electronic Health Records Using BERT-based Neural Networks

abstract: In this paper we study the problem of predicting clinical diagnoses from textual Electronic Health Records (EHR) data. We show the importance of this problem in medical community and present comprehensive historical review of the problem and proposed methods. As the main scientific contributions we present a modification of Bidirectional Encoder Representations from Transformers (BERT) model for sequence classification that implements a novel way of Fully-Connected (FC) layer composition and a BERT model pretrained only on domain data. To empirically validate our model, we use a large-scale Russian EHR dataset consisting of about 4 million unique patient visits. This is the largest such study for the Russian language and one of the largest globally. We performed a number of comparative experiments with other text representation models on the task of multiclass classification for 265 disease subset of ICD-10. The experiments demonstrate improved performance of our models compared to other baselines, including a fine-tuned Russian BERT (RuBERT) variant. We also show comparable performance of our model with a panel of experienced medical experts. This allows us to hope that implementation of this system will reduce misdiagnosis.


title: Learning Part Boundaries from 3D Point Clouds

abstract: We present a method that detects boundaries of parts in 3D shapes represented as point clouds. Our method is based on a graph convolutional network architecture that outputs a probability for a point to lie in an area that separates two or more parts in a 3D shape. Our boundary detector is quite generic: it can be trained to localize boundaries of semantic parts or geometric primitives commonly used in 3D modeling. Our experiments demonstrate that our method can extract more accurate boundaries that are closer to ground-truth ones compared to alternatives. We also demonstrate an application of our network to fine-grained semantic shape segmentation, where we also show improvements in terms of part labeling performance.


title: The Gauss-Bonnet-Chern Center of Mass for Asymptotically Flat Manifolds

abstract: In this paper we introduce a family of center of masses that complement the definition of the family of Gauss-Bonnet-Chern masses by Ge-Wang-Wu and Li-Nguyen. In order to prove the existence and the well-definedness of the center of mass, we use the formalism of double forms of Kulkarni and Labbi. This allows for transparent conceptual proofs, which apply to all known cases of asymptotic invariants of asymptotically flat manifolds.


title: Precise mass measurements for the double neutron star system J1829+2456

abstract: PSR J1829+2456 is a radio pulsar in a relativistic binary system with another neutron star. It has a rotational period of 41 ms and a mildly eccentric ($e = 0.14$) 28-hr orbit. We have continued its observations with the Arecibo radio telescope and have now measured the individual neutron star masses of this system. The pulsar and companion masses are $1.306\,\pm\,0.007\,M_{\odot}$ and $1.299\,\pm\,0.007\,M_{\odot}$ (2$\sigma$ - 95% confidence, unless stated otherwise), respectively. We have also measured the proper motion for this system and used it to estimate a space velocity of 49$^{+77}_{-30}$ km s$^{-1}$ with respect to the local standard of rest. The relatively low values for companion mass, space velocity and orbital eccentricity in this system make it similar to other double neutron star systems in which the second-formed neutron star is thought to have formed in a low-kick, low mass-loss, symmetric supernova.


title: Soft chemistry assisted On-chip Integration of Nanostructured quartz-based Piezoelectric Microelectromechanical System

abstract: The development of advanced piezoelectric quartz MEMS for sensing and precise frequency control applications requires the nanostructuration and on chip integration on silicon of this material. However, the current quartz manufacturing methods are based on bonding bulk micromachined crystals on silicon, which limits the size, the performance, the integration cost and the scalability of quartz micro devices. Here, we combine chemical solution deposition, soft nanoimprint lithography and top down microfabrication processes to develop the first nanostructured epitaxial 100 quartz 100 Si piezoelectric cantilevers. The coherent Si quartz interface and film thinness combined with a controlled nanostructuration on silicon insulator silicon technology substrates provides high force and mass sensitivity while preserving the mechanical quality factor of the microelectromechanical systems. This work proves that biocompatible nanostructured epitaxial piezoelectric quartz based MEMS on silicon can be engineered at low cost by combining soft chemistry and top down lithographic techniques.


title: P2D: a self-supervised method for depth estimation from polarimetry

abstract: Monocular depth estimation is a recurring subject in the field of computer vision. Its ability to describe scenes via a depth map while reducing the constraints related to the formulation of perspective geometry tends to favor its use. However, despite the constant improvement of algorithms, most methods exploit only colorimetric information. Consequently, robustness to events to which the modality is not sensitive to, like specularity or transparency, is neglected. In response to this phenomenon, we propose using polarimetry as an input for a self-supervised monodepth network. Therefore, we propose exploiting polarization cues to encourage accurate reconstruction of scenes. Furthermore, we include a term of polarimetric regularization to state-of-the-art method to take specific advantage of the data. Our method is evaluated both qualitatively and quantitatively demonstrating that the contribution of this new information as well as an enhanced loss function improves depth estimation results, especially for specular areas.


title: Dynamics of collision of a spherical ice crystal particle with a perfectly rigid substrate

abstract: Impact of single particle onto a rigid substrate leads to its deformation and fragmentation. The flow associated with the particle spreading on a solid substrate after impact is extremely complicated. In this theoretical study a simplified model for the plastic flow with the rate-dependent yield strength is developed. The flow in the particle is approximated by an incompressible inviscid flow past a thin rigid disk. The expression for the pressure field distribution is obtained in the vicinity of the impact axis. The total momentum balance of the particle is used to derive the equations of the particle deformation by impact. The theoretical predictions of the typical geometrical parameters of the particle, the peak force and the evolution of the force in time are compared with the existing experimental data. The agreement is rather good.


title: Spin-orbit coupling in single layer ferrimagnets: direct observation of spin-orbit torques and chiral spin textures

abstract: We demonstrate that effects of spin-orbit coupling and inversion asymmetry exist in a single GdFeCo ferrimagnetic layer, even without a heavy metal interface. We use electric transport measurements to quantify the spin-orbit torques. We measure the Dzyaloshinskii-Moriya interaction using Brillouin light scattering measurement technique, and we observe the resulting chiral magnetic textures using x-ray PEEM microscopy. We attribute these effects to a composition variation along the thickness, that we observed by scanning transmission electron microscopy. We show that these effects can be optimized by varying the GdFeCo thickness or by combining them with interfacial effects.


title: On the uniruled Voisin divisor on the LLSvS variety

abstract: Let $Y$ be a smooth cubic fourfold, $F$ be its Fano variety of lines and $Z$ be its associated LLSvS variety, parametrizing families of twisted cubics and some of their degenerations. In this short note, we show that the divisor of singular cubic surfaces on $Z$ has two irreducible components, one of which coincides with the uniruled branch divisor of a resolution of the Voisin map $F\times F \dashrightarrow Z$.


title: Computational Logic for Biomedicine and Neurosciences

abstract: We advocate here the use of computational logic for systems biology, as a \emph{unified and safe} framework well suited for both modeling the dynamic behaviour of biological systems, expressing properties of them, and verifying these properties. The potential candidate logics should have a traditional proof theoretic pedigree (including either induction, or a sequent calculus presentation enjoying cut-elimination and focusing), and should come with certified proof tools. Beyond providing a reliable framework, this allows the correct encodings of our biological systems. % For systems biology in general and biomedicine in particular, we have so far, for the modeling part, three candidate logics: all based on linear logic. The studied properties and their proofs are formalized in a very expressive (non linear) inductive logic: the Calculus of Inductive Constructions (CIC). The examples we have considered so far are relatively simple ones; however, all coming with formal semi-automatic proofs in the Coq system, which implements CIC. In neuroscience, we are directly using CIC and Coq, to model neurons and some simple neuronal circuits and prove some of their dynamic properties. % In biomedicine, the study of multi omic pathway interactions, together with clinical and electronic health record data should help in drug discovery and disease diagnosis. Future work includes using more automatic provers. This should enable us to specify and study more realistic examples, and in the long term to provide a system for disease diagnosis and therapy prognosis.


title: Hyperbolicity and Specialness of Symmetric Powers

abstract: Inspired by the computation of the Kodaira dimension of symmetric powers Xm of a complex projective variety X of dimension n $\ge$ 2 by Arapura and Archava, we study their analytic and algebraic hyperbolic properties. First we show that Xm is special if and only if X is special (except when the core of X is a curve). Then we construct dense entire curves in (suf-ficiently hig) symmetric powers of K3 surfaces and product of curves. We also give a criterion based on the positivity of jet differentials bundles that implies pseudo-hyperbolicity of symmetric powers. As an application, we obtain the Kobayashi hyperbolicity of symmetric powers of generic projective hypersur-faces of sufficiently high degree. On the algebraic side, we give a criterion implying that subvarieties of codimension $\le$ n -- 2 of symmetric powers are of general type. This applies in particular to varieties with ample cotangent bundles. Finally, based on a metric approach we study symmetric powers of ball quotients.


title: Defeasible RDFS via Rational Closure

abstract: In the field of non-monotonic logics, the notion of Rational Closure (RC) is acknowledged as a prominent approach. In recent years, RC has gained even more popularity in the context of Description Logics (DLs), the logic underpinning the semantic web standard ontology language OWL 2, whose main ingredients are classes and roles. In this work, we show how to integrate RC within the triple language RDFS, which together with OWL2 are the two major standard semantic web ontology languages. To do so, we start from $\rho df$, which is the logic behind RDFS, and then extend it to $\rho df_\bot$, allowing to state that two entities are incompatible. Eventually, we propose defeasible $\rho df_\bot$ via a typical RC construction. The main features of our approach are: (i) unlike most other approaches that add an extra non-monotone rule layer on top of monotone RDFS, defeasible $\rho df_\bot$ remains syntactically a triple language and is a simple extension of $\rho df_\bot$ by introducing some new predicate symbols with specific semantics. In particular, any RDFS reasoner/store may handle them as ordinary terms if it does not want to take account for the extra semantics of the new predicate symbols; (ii) the defeasible $\rho df_\bot$ entailment decision procedure is build on top of the $\rho df_\bot$ entailment decision procedure, which in turn is an extension of the one for $\rho df$ via some additional inference rules favouring an potential implementation; and (iii) defeasible $\rho df_\bot$ entailment can be decided in polynomial time.


title: Ultrafast nano-imaging of the order parameter in a structural phase transition

abstract: Understanding microscopic processes in materials and devices that can be switched by light requires experimental access to dynamics on nanometer length and femtosecond time scales. Here, we introduce ultrafast dark-field electron microscopy, tailored to map the order parameter across a structural phase transition. We track the evolution of charge-density wave domains in 1T-TaS2 after ultrashort laser excitation, elucidating relaxation pathways and domain wall dynamics. The unique benefits of selective contrast enhancement will inspire future beam shaping technology in ultrafast transmission electron microscopy.


title: A linear-time parameterized algorithm for computing the width of a DAG

abstract: The width $k$ of a directed acyclic graph (DAG) $G = (V, E)$ equals the largest number of pairwise non-reachable vertices. Computing the width dates back to Dilworth's and Fulkerson's results in the 1950s, and is doable in quadratic time in the worst case. Since $k$ can be small in practical applications, research has also studied algorithms whose complexity is parameterized on $k$. Despite these efforts, it is still open whether there exists a linear-time $O(f(k)(|V| + |E|))$ parameterized algorithm computing the width. We answer this question affirmatively by presenting an $O(k^24^k|V| + k2^k|E|)$ time algorithm, based on a new notion of frontier antichains. As we process the vertices in a topological order, all frontier antichains can be maintained with the help of several combinatorial properties, paying only $f(k)$ along the way. The fact that the width can be computed by a single $f(k)$-sweep of the DAG is a new surprising insight into this classical problem. Our algorithm also allows deciding whether the DAG has width at most $w$ in time $O(f(\min(w,k))(|V|+|E|))$.


title: Composing Dinatural Transformations: Towards a Calculus of Substitution

abstract: Dinatural transformations, which generalise the ubiquitous natural transformations to the case where the domain and codomain functors are of mixed variance, fail to compose in general; this has been known since they were discovered by Dubuc and Street in 1970. Many ad hoc solutions to this remarkable shortcoming have been found, but a general theory of compositionality was missing until Petric, in 2003, introduced the concept of g-dinatural transformations, that is, dinatural transformations together with an appropriate graph: he showed how acyclicity of the composite graph of two arbitrary dinatural transformations is a sufficient and essentially necessary condition for the composite transformation to be in turn dinatural. Here we propose an alternative, semantic rather than syntactic, proof of Petric's theorem, which the authors independently rediscovered with no knowledge of its prior existence; we then use it to define a generalised functor category, whose objects are functors of mixed variance in many variables, and whose morphisms are transformations that happen to be dinatural only in some of their variables. We also define a notion of horizontal composition for dinatural transformations, extending the well known version for natural transformations, and prove it is associative and unitary. Horizontal composition embodies substitution of functors into transformations and vice-versa, and is intuitively reflected from the string-diagram point of view by substitution of graphs into graphs.


title: CycAs: Self-supervised Cycle Association for Learning Re-identifiable Descriptions

abstract: This paper proposes a self-supervised learning method for the person re-identification (re-ID) problem, where existing unsupervised methods usually rely on pseudo labels, such as those from video tracklets or clustering. A potential drawback of using pseudo labels is that errors may accumulate and it is challenging to estimate the number of pseudo IDs. We introduce a different unsupervised method that allows us to learn pedestrian embeddings from raw videos, without resorting to pseudo labels. The goal is to construct a self-supervised pretext task that matches the person re-ID objective. Inspired by the \emph{data association} concept in multi-object tracking, we propose the \textbf{Cyc}le \textbf{As}sociation (\textbf{CycAs}) task: after performing data association between a pair of video frames forward and then backward, a pedestrian instance is supposed to be associated to itself. To fulfill this goal, the model must learn a meaningful representation that can well describe correspondences between instances in frame pairs. We adapt the discrete association process to a differentiable form, such that end-to-end training becomes feasible. Experiments are conducted in two aspects: We first compare our method with existing unsupervised re-ID methods on seven benchmarks and demonstrate CycAs' superiority. Then, to further validate the practical value of CycAs in real-world applications, we perform training on self-collected videos and report promising performance on standard test sets.


title: Simplicity of fusion systems of finite simple groups

abstract: We determine for which known finite simple groups $G$ and which primes $p$ the $p$-fusion system of $G$ is simple. This means first collecting together the results that were already known (and correcting two errors made in an earlier study of this question), and then handling the remaining cases. At the same time, we develop some new tools to use when determining $O^{p'}(\mathcal{F})$ for arbitrary saturated fusion systems.


title: Janus Monolayers of Magnetic Transition Metal Dichalcogenides as an All-in-One Platform for Spin-Orbit Torque

abstract: We theoretically predict that vanadium-based Janus dichalcogenide monolayers constitute an ideal platform for spin-orbit-torque memories. Using first principles calculations, we demonstrate that magnetic exchange and magnetic anisotropy energies are higher for heavier chalcogen atoms, while the broken inversion symmetry in the Janus form leads to the emergence of Rashba-like spin-orbit coupling. The spin-orbit torque efficiency is evaluated using optimized quantum transport methodology and found to be comparable to heavy nonmagnetic metals. The coexistence of magnetism and spin-orbit coupling in such materials with tunable Fermi-level opens new possibilities for monitoring magnetization dynamics in the perspective of non-volatile magnetic random access memories.


title: Prophylaxis of Epidemic Spreading with Transient Dynamics

abstract: We investigate the containment of epidemic spreading in networks from a normative point of view. We consider a susceptible/infected model in which agents can invest in order to reduce the contagiousness of network links. In this setting, we study the relationships between social efficiency, individual behaviours and network structure. First, we exhibit an upper bound on the Price of Anarchy and prove that the level of inefficiency can scale up to linearly with the number of agents. Second, we prove that policies of uniform reduction of interactions satisfy some optimality conditions in a vast range of networks. In setting where no central authority can enforce such stringent policies, we consider as a type of second-best policy the shift from a local to a global game by allowing agents to subsidise investments in contagiousness reduction in the global rather than in the local network. We then characterise the scope for Pareto improvement opened by such policies through a notion of Price of Autarky, measuring the ratio between social welfare at a global and a local equilibrium. Overall, our results show that individual behaviours can be extremely inefficient in the face of epidemic propagation but that policy can take advantage of the network structure to design efficient containment policies.


title: Hypoelliptic estimates for linear transport operators

abstract: We aim at understanding how the non-commutation phenomena between a linear transport operator and a fractional diffusion allow the transport operator to satisfy hypoelliptic estimates on the whole space. Such hypoelliptic estimates are obtained for a large class of linear transport operators by using the classical multiplier method. The main motivation of this work arises from the study of the hypoelliptic regularity of the solutions of kinetic equations associated with a free transport operator.


title: Qgraph-bounded Q-learning: Stabilizing Model-Free Off-Policy Deep Reinforcement Learning

abstract: In state of the art model-free off-policy deep reinforcement learning, a replay memory is used to store past experience and derive all network updates. Even if both state and action spaces are continuous, the replay memory only holds a finite number of transitions. We represent these transitions in a data graph and link its structure to soft divergence. By selecting a subgraph with a favorable structure, we construct a simplified Markov Decision Process for which exact Q-values can be computed efficiently as more data comes in. The subgraph and its associated Q-values can be represented as a QGraph. We show that the Q-value for each transition in the simplified MDP is a lower bound of the Q-value for the same transition in the original continuous Q-learning problem. By using these lower bounds in temporal difference learning, our method QG-DDPG is less prone to soft divergence and exhibits increased sample efficiency while being more robust to hyperparameters. QGraphs also retain information from transitions that have already been overwritten in the replay memory, which can decrease the algorithm's sensitivity to the replay memory capacity.


title: Stochastic and deterministic SIS patch model

abstract: Here, we consider an SIS epidemic model where the individuals are distributed on several distinct patches. We construct a stochastic model and then prove that it converges to a deterministic model as the total population size tends to infinity. Furthermore, we show the existence and the global stability of a unique endemic equilibrium provided that the migration rates of susceptible and infectious individuals are equal. Finally, we compare the equilibra with those of the homogeneous model, and with those of isolated patches.


title: On quantitative aspects of model interpretability

abstract: Despite the growing body of work in interpretable machine learning, it remains unclear how to evaluate different explainability methods without resorting to qualitative assessment and user-studies. While interpretability is an inherently subjective matter, previous works in cognitive science and epistemology have shown that good explanations do possess aspects that can be objectively judged apart from fidelity), such assimplicity and broadness. In this paper we propose a set of metrics to programmatically evaluate interpretability methods along these dimensions. In particular, we argue that the performance of methods along these dimensions can be orthogonally imputed to two conceptual parts, namely the feature extractor and the actual explainability method. We experimentally validate our metrics on different benchmark tasks and show how they can be used to guide a practitioner in the selection of the most appropriate method for the task at hand.


title: Numerical Accuracy of Ladder Schemes for Parallel Transport on Manifolds

abstract: Parallel transport is a fundamental tool to perform statistics on Rie-mannian manifolds. Since closed formulae don't exist in general, practitioners often have to resort to numerical schemes. Ladder methods are a popular class of algorithms that rely on iterative constructions of geodesic parallelograms. And yet, the literature lacks a clear analysis of their convergence performance. In this work, we give Taylor approximations of the elementary constructions of Schild's ladder and the pole ladder with respect to the Riemann curvature of the underlying space. We then prove that these methods can be iterated to converge with quadratic speed, even when geodesics are approximated by numerical schemes. We also contribute a new link between Schild's ladder and the Fanning Scheme which explains why the latter naturally converges only linearly. The extra computational cost of ladder methods is thus easily compensated by a drastic reduction of the number of steps needed to achieve the requested accuracy. Illustrations on the 2-sphere, the space of symmetric positive definite matrices and the special Euclidean group show that the theoretical errors we have established are measured with a high accuracy in practice. The special Euclidean group with an anisotropic left-invariant metric is of particular interest as it is a tractable example of a non-symmetric space in general , which reduces to a Riemannian symmetric space in a particular case. As a secondary contribution, we compute the covariant derivative of the curvature in this space.