title: Well-posedness for the coupling of a random heat equation with a multiplicative stochastic Barenblatt equation

abstract: In this contribution, a stochastic nonlinear evolution system under Neumann boundary conditions is investigated. Precisely, we are interested in finding an existence and uniqueness result for a random heat equation coupled with a Barenblatt's type equation with a multiplicative stochastic force in the sense of It\^o. In a first step we establish well-posedness in the case of an additive noise through a semi-implicit time discretization of the system. In a second step, the derivation of continuous dependence estimates of the solution with respect to the data allows us to show the desired existence and uniqueness result for the multiplicative case.


title: Mastering Complex Control in MOBA Games with Deep Reinforcement Learning

abstract: We study the reinforcement learning problem of complex action control in the Multi-player Online Battle Arena (MOBA) 1v1 games. This problem involves far more complicated state and action spaces than those of traditional 1v1 games, such as Go and Atari series, which makes it very difficult to search any policies with human-level performance. In this paper, we present a deep reinforcement learning framework to tackle this problem from the perspectives of both system and algorithm. Our system is of low coupling and high scalability, which enables efficient explorations at large scale. Our algorithm includes several novel strategies, including control dependency decoupling, action mask, target attention, and dual-clip PPO, with which our proposed actor-critic network can be effectively trained in our system. Tested on the MOBA game Honor of Kings, our AI agent, called Tencent Solo, can defeat top professional human players in full 1v1 games.


title: Strong current response to slow modulation: a metabolic case-study

abstract: We study the current response to periodic driving of a crucial biochemical reaction network, namely, substrate inhibition. We focus on the conversion rate of substrate into product under time-varying metabolic conditions, modeled by a periodic modulation of the product concentration. We find that the system exhibits a strong nonlinear response to small driving frequencies both for the mean time-averaged current and for the fluctuations. For the first, we obtain an analytic formula by coarse-graining the original model to a solvable one. The result is nonperturbative in the modulation amplitude and frequency. We then refine the picture by studying the stochastic dynamics of the full system using a large deviations approach, that allows to show the resonant effect at the level of the time-averaged variance and signal-to-noise ratio. Finally, we discuss how this nonequilibrium effect may play a role in metabolic and synthetic networks.


title: Multiplicative constants and maximal measurable cocycles in bounded cohomology

abstract: Multiplicative constants are a fundamental tool in the study of maximal representations. In this paper we show how to extend such notion, and the associated framework, to measurable cocycles theory. As an application of this approach, we define and study the Cartan invariant for measurable $\textup{PU}(m,1)$-cocycles of complex hyperbolic lattices.


title: Can chondrules be produced by the interaction of Jupiter with the protosolar disk?

abstract: Chondrules are crystallised droplets of silicates formed by rapid heating to high temperatures (> 1800 K) of solid precursors followed by hours or days of cooling. Dating of chondrules is consistent with the formation timescale of Jupiter in the core-accretion model (1-4 Myrs). Here we investigate if the shocks generated by a massive planet could generate flash heating episodes necessary to form chondrules using high resolution 2D simulations with the multi-fluid code ROSSBI. We use different radiative cooling prescriptions, i.e. different cooling rates and models, and vary planet mass, orbit and disk models. For long disk cooling rates (> 1000 orbits) and a massive protoplanet (> 0.75 jupiter masses), we obtain hot enough temperatures for chondrule formation, while using more realistic thermodynamics is not successful in the Minimum Mass Solar Nebula (MMSN) model. However, sufficient flash heating is achieved by a Jupiter mass planet in a 5 times more massive disk, which is a conceivable scenario for the young solar nebula and exoplanetary systems. Interestingly, a gap-forming massive planet triggers vortices, which can trap dust, i.e. chondrule precursors, and generates a high pressure environment that is consistent with cosmochemical evidence from chondrules. A massive gas giant can thus, in principle, both stimulate the concentration of chondrule precursors in the vicinity of the shocking regions, and flash-heat them via the shocks.


title: An adaptive simulated annealing EM algorithm for inference on non-homogeneous hidden Markov models

abstract: Non-homogeneous hidden Markov models (NHHMM) are a subclass of dependent mixture models used for semi-supervised learning, where both transition probabilities between the latent states and mean parameter of the probability distribution of the responses (for a given state) depend on the set of $p$ covariates. A priori we do not know which (and how) covariates influence the transition probabilities and the mean parameters. This induces a complex combinatorial optimization problem for model selection with $4^p$ potential configurations. To address the problem, in this article we propose an adaptive (A) simulated annealing (SA) expectation maximization (EM) algorithm (ASA-EM) for joint optimization of models and their parameters with respect to a criterion of interest.


title: Reverse Fingerprinting

abstract: Software connected to the Internet is an attractive target for attackers: as soon as a security flaw is known, services may be taken under attack. In contrast, software developers release updates to add further features and fix flaws in order to increase its security. Consequently, a user of the software wants to have the latest secure version running. However, if the software is provided as a service, e.g., as part of the cloud, the user relies on the service provider (SP) to perform such updates. But when asking for the software version, the user has to trust the output of SP or his software. Latter may be malformed, since updating software costs time and money, i.e., in comparison to changing a (false) version string. Now the question rises how a software service's client can provably determine the real software version of the running service at the SP, also known as Remote Software Identification (RSI). While existing tools provide an answer, they can be tricked by the service to output any forged string because they rely on the information handed directly by the SP. We solve the problem of RSI by introducing Reverse Fingerprinting (RFP), a novel challenge-response scheme which employs the evaluation of inherit functions of software versions depending on certain inputs. That is, RFP does not rely on version number APIs but employs a database consisting of function inputs and according outputs and combines them with a strategy and a randomness source to provably determine the version number. We also provide a theoretical framework for RSI and RFP, and describe how to create databases and strategies. Additionally, RFP can be securely outsourced to a third party, called the auditor, to take away the burden of the user while respecting liability. We also provide an implementation and API to perform RFP in practice, showing that most of the providers have installed the latest versions.


title: Slow-wave based magnonic diode

abstract: Spin waves, the collective excitations of the magnetic order parameter, and magnons, the associated quasiparticles, are envisioned as possible data carriers in future wave-based computing architectures. On the road towards spin-wave computing, the development of a diode-like device capable of transmitting spin waves in only one direction, thus allowing controlled signal routing, is an essential step. Here, we report on the design and experimental realization of a microstructured magnonic diode in a ferromagnetic bilayer system. Effective unidirectional propagation of spin waves is achieved by taking advantage of nonreciprocities produced by dynamic dipolar interactions in transversally magnetized media, which lack symmetry about their horizontal midplane. More specifically, dipolar-induced nonreciprocities are used to engineer the spin-wave dispersion relation of the bilayer system so that the group velocity is reduced to very low values for one direction of propagation, and not for the other, thus producing unidirectional slow spin waves. Brillouin light scattering and propagating spin-wave spectroscopy are used to demonstrate the diode-like behavior of the device, the composition of which was previously optimized through micromagnetic simulations. simulations.


title: Influence of irreversible demagnetization on the polarization of thermal radiation emitted by a hot cobalt wire

abstract: thermal radiation emitted by a %hot cobalt wire in the temperature range from \(T\approx 400\,\)K up to melting. The radiation is linearly polarized perpendicular to the wire. \(P\) decreases from \(30\,\%\) just above room temperature down to \(6.5\,\%\) near melting and does not show any particular behavior neither at the martensitic {\em hcp}$-${\em fcc} transition at \(\approx 700\,\)K nor at the Curie point at \( \approx 1400\,\)K. However, \(P\) shows a rapid decrease for \(T\gtrsim 1000\,\)K and, contrary to previous measurements with tungsten wires, it hysteretically behaves if the temperature change is reversed. This behavior is rationalized by %taking into account accounting for the irreversible thermal demagnetization of the wire with magnetic domain size change.


title: kramersmoyal: Kramers--Moyal coefficients for stochastic processes

abstract: kramersmoyal is a python library to extract the Kramers--Moyal coefficients from timeseries of any dimension and to any desired order. This package employs a non-parametric Nadaraya--Watson estimator, i.e., kernel-density estimators, to retrieve the drift, diffusion, and higher-order moments of stochastic timeseries of any dimension.


title: Radiation hydrodynamical simulations of eruptive mass Loss from progenitors of Type Ibn/IIn supernovae

abstract: Observations suggest that some massive stars experience violent and eruptive mass loss associated with significant brightening that cannot be explained by hydrostatic stellar models. This event seemingly forms dense circumstellar matter (CSM). The mechanism of eruptive mass loss has not been fully explained. We focus on the fact that the timescale of nuclear burning gets shorter than the dynamical timescale of the envelope a few years before core collapse for some massive stars. To reveal the properties of the eruptive mass loss, we investigate its relation to the energy injection at the bottom of the envelope supplied by nuclear burning taking place inside the core. In this study, we do not specify the actual mechanism for transporting energy from the site of nuclear burning to the bottom of the envelope. Instead, we parameterize the amount of injected energy and the injection time and try to extract information on these parameters from comparisons with observations. We carried out 1-D radiation hydrodynamical simulations for progenitors of red, yellow, and blue supergiants, and Wolf-Rayet stars. We calculated the evolution of the progenitors with a public stellar evolution code. We obtain the light curve associated with the eruption, the amount of ejected mass, and the CSM distribution at the time of core-collapse. The energy injection at the bottom of the envelope of a massive star within a period shorter than the dynamical timescale of the envelope could reproduce some observed optical outbursts prior to the core-collapse and form the CSM, which can power an interaction supernova (SN) classified as type IIn.


title: EXPEDIS: An Exact Penalty Method over Discrete Sets

abstract: We address the problem of minimizing a quadratic function subject to linear constraints over binary variables. We introduce the exact solution method called EXPEDIS where the constrained problem is transformed into a max-cut instance, and then thewhole machinery available for max-cut can be used to solve the transformed problem. We derive the theory in order to find a transformation in the spirit of an exact penalty method; however, we are only interested in exactness over the set of binary variables. In order to compute the maximum cut we use the solver BiqMac. Numerical results show that this algorithm can be successfully applied on various classes of problems.


title: A Walking Dilaton Inflation

abstract: We propose an inflationary scenario based on a many-flavor hidden QCD with eight flavors, which realizes the almost scale-invariant (walking) gauge dynamics. The theory predicts two types of composite (pseudo) Nambu-Goldstone bosons, the pions and the lightest scalar (dilaton) associated with the spontaneous chiral symmetry breaking and its simultaneous violation of the approximate scale invariance. The dilaton acts as an inflaton, where the inflaton potential is induced by the nonperturbative-scale anomaly linked with the underlying theory. The inflaton potential parameters are highly constrained by the walking nature, which are evaluated by straightforward nonperturbative analyses including lattice simulations. Due to the pseudo Nambu-Goldstone boson's natures and the intrinsic property for the chiral symmetry breaking in the walking gauge dynamics, the inflaton coupled to the pions naturally undergoes the small field inflation consistently with all the cosmological and astrophysical constraints presently placed by Planck 2018 data. When the theory is vector-likely coupled to the standard model in part in a way to realize a dynamical electroweak symmetry breaking, the reheating temperature is determined by the pion decays to electroweak gauge bosons. The proposed inflationary scenario would provide a dynamical origin for the small field inflation as well as the light pions as a smoking-gun to be probed by future experiments.


title: Formalizing Determinacy of Concurrent Revisions

abstract: Concurrent revisions is a concurrency control model designed to guarantee determinacy, meaning that the outcomes of programs are uniquely determined. This paper describes an Isabelle/HOL formalization of the model's operational semantics and proof of determinacy. We discuss and resolve subtle ambiguities in the operational semantics and simplify the proof of determinacy. Although our findings do not appear to correspond to bugs in implementations, the formalization highlights some of the challenges involved in the design and verification of concurrency control models.


title: Matrix product state of multi-time correlations

abstract: For an interacting spatio-temporal lattice system we introduce a formal way of expressing multi-time correlation functions of local observables located at the same spatial point with a time state, i.e. a statistical distribution of configurations observed along a time lattice. Such a time state is defined with respect to a particular equilibrium state that is invariant under space and time translations. The concept is developed within the Rule 54 reversible cellular automaton, for which we explicitly construct a matrix product form of the time state, with matrices that act on the 3-dimensional auxiliary space. We use the matrix-product state to express equal-space time-dependent density-density correlation function, which, for special maximum-entropy values of equilibrium parameters, agrees with the previous results. Additionally, we obtain an explicit expression for the probabilities of observing all multi-time configurations, which enables us to study distributions of times between consecutive excitations and prove the absence of decoupling of timescales in the Rule 54 model.


title: Groups whose prime graph on class sizes has a cut vertex

abstract: Let $G$ be a finite group, and let $\Delta(G)$ be the prime graph built on the set of conjugacy class sizes of $G$: this is the simple undirected graph whose vertices are the prime numbers dividing some conjugacy class size of $G$, two vertices $p$ and $q$ being adjacent if and only if $pq$ divides some conjugacy class size of $G$. In the present paper, we classify the finite groups $G$ for which $\Delta(G)$ has a cut vertex.


title: A Three-Field based optimization formulation for flow simulations in networks of fractures on non conforming meshes

abstract: A new numerical scheme is proposed for flow computation in complex discrete fracture networks. The method is based on a three-field formulation of the Darcy law for the description of the hydraulic head on the fractures and uses a cost functional to enforce the required coupling condition at fracture intersections. The resulting method can handle non conforming meshes, independently built on each geometrical object of the computational domain, and ensures local mass conservation properties at fracture intersections. An iterative solver is devised for the method, ready for parallel implementation on parallel computing architectures.


title: Vertex Feature Encoding and Hierarchical Temporal Modeling in a Spatial-Temporal Graph Convolutional Network for Action Recognition

abstract: This paper extends the Spatial-Temporal Graph Convolutional Network (ST-GCN) for skeleton-based action recognition by introducing two novel modules, namely, the Graph Vertex Feature Encoder (GVFE) and the Dilated Hierarchical Temporal Convolutional Network (DH-TCN). On the one hand, the GVFE module learns appropriate vertex features for action recognition by encoding raw skeleton data into a new feature space. On the other hand, the DH-TCN module is capable of capturing both short-term and long-term temporal dependencies using a hierarchical dilated convolutional network. Experiments have been conducted on the challenging NTU RGB-D-60 and NTU RGB-D 120 datasets. The obtained results show that our method competes with state-of-the-art approaches while using a smaller number of layers and parameters; thus reducing the required training time and memory.


title: Uniform error estimates for nonequispaced fast Fourier transforms

abstract: In this paper, we study the error behavior of the nonequispaced fast Fourier transform (NFFT). This approximate algorithm is mainly based on the convenient choice of a compactly supported window function. So far, various window functions have been used and new window functions have recently been proposed. We present novel error estimates for NFFT with compactly supported, continuous window functions and derive rules for convenient choice from the parameters involved in NFFT. The error constant of a window function depends mainly on the oversampling factor and the truncation parameter.


title: Online Analysis of Distributed Dataflows with Timely Dataflow

abstract: We present ST2, an end-to-end solution to analyze distributed dataflows in an online setting. It is powered by Timely Dataflow, a low-latency, distributed data-parallel dataflow computational framework, and expands on its predecessor SnailTrail 1, a system to run online critical path analysis on program activity graphs derived from dataflow execution traces. ST2 connects to a running Timely computation, creates the program activity graph representation, and runs multiple analyses on top of it. Analyses include aggregate metrics, progress and temporal invariant checking, and graph pattern matching. Through a command-line interface and a real-time dashboard, users are able to interact with and visualize ST2's analysis results. For ST2's implementation, we discuss Differential Dataflow, a framework that uses differential computation to incrementalize even complex relational dataflow operators, as an alternative to Timely Dataflow, but ultimately settle on using Timely. In our performance evaluations, we are able to show that ST2 is able to comfortably keep up with common streaming computations in offline and online settings, even exceeding SnailTrail 1's performance. We also showcase and evaluate ST2 from a functional standpoint in a case study. Using the dashboard to profile a faulty source computation, we manage to successfully detect the issues' root cause. We argue that ST2 is an extendable system that paves the way for users to debug, monitor, and optimize online distributed dataflows.


title: MFPN: A Novel Mixture Feature Pyramid Network of Multiple Architectures for Object Detection

abstract: Feature pyramids are widely exploited in many detectors to solve the scale variation problem for object detection. In this paper, we first investigate the Feature Pyramid Network (FPN) architectures and briefly categorize them into three typical fashions: top-down, bottom-up and fusing-splitting, which have their own merits for detecting small objects, large objects, and medium-sized objects, respectively. Further, we design three FPNs of different architectures and propose a novel Mixture Feature Pyramid Network (MFPN) which inherits the merits of all these three kinds of FPNs, by assembling the three kinds of FPNs in a parallel multi-branch architecture and mixing the features. MFPN can significantly enhance both one-stage and two-stage FPN-based detectors with about 2 percent Average Precision(AP) increment on the MS-COCO benchmark, at little sacrifice in running time latency. By simply assembling MFPN with the one-stage and two-stage baseline detectors, we achieve competitive single-model detection results on the COCO detection benchmark without bells and whistles.


title: CVD diamond single crystals with NV centres: a review of material synthesis and technology for quantum sensing applications

abstract: Diamond is a host for a wide variety of colour centres that have demonstrated outstanding optical and spin properties. Among them, the nitrogen-vacancy (NV) centre is by far the most investigated owing to its superior characteristics, which promise the development of highly sophisticated quantum devices, in particular for sensing applications. Nevertheless, harnessing the potential of these centres mainly relies on the availability of high quality and purity diamond single crystals that need to be specially designed and engineered for this purpose. The plasma assisted Chemical Vapour Deposition (CVD) has become a key enabling technology in this field of research. Nitrogen can indeed be directly in-situ doped into a high crystalline quality diamond matrix in a controlled way allowing the production of single isolated centres or ensembles that can potentially be integrated into a device. In this paper we will provide an overview on the requirements for synthesizing quantum-grade diamond films by CVD. These include the reduction of impurities and surrounding spins that limit coherence times, the control of NV density in a wide range of concentrations as well as their spatial localization within the diamond. Enhancing the charge state and preferential orientation of the colour centres is also discussed. These improvements in material fabrication have contributed to position diamond as one of the most promising solid-state quantum system and the first industrial applications in sensing are just starting to emerge.


title: Unitarity and information in quantum gravity: a simple example

abstract: In approaches to quantum gravity, where smooth spacetime is an emergent approximation of a discrete Planckian fundamental structure, any effective smooth field theoretical description would miss part of the fundamental degrees of freedom and thus break unitarity. This is applicable also to trivial gravitational field (low energy) idealizations realized by the use of the Minkowski background geometry which, as any other spacetime geometry, corresponds, in the fundamental description, to infinitely many different and closely degenerate discrete microstates. The existence of such microstates provides a large reservoir for information to be coded at the end of black hole evaporation and thus opens the way to a natural resolution of the black hole evaporation information puzzle. In this paper we show that these expectations can be made precise in a simple quantum gravity model for cosmology motivated by loop quantum gravity. Concretely, even when the model is fundamentally unitary, when microscopic degrees of freedom irrelevant to low-energy cosmological observers are suitably ignored, pure states in the effective description evolve into mixed states due to decoherence with the Planckian microscopic structure. Moreover, in the relevant physical regime these hidden degrees freedom do not carry any `energy' and thus realize in a fully quantum gravitational context the idea (emphasized before by Unruh and Wald) that decoherence can take place without dissipation, now in a concrete gravitational model strongly motivated by quantum gravity. All this strengthen the perspective of a quite conservative and natural resolution of the black hole evaporation puzzle where information is not destroyed but simply degraded (made unavailable to low energy observers) into correlations with the microscopic structure of the quantum geometry at the Planck scale.


title: The Hyperspherical Harmonics method: a tool for testing and improving nuclear interaction models

abstract: The Hyperspherical Harmonics (HH) method is one of the most accurate techniques to solve the quantum mechanical problem for nuclear systems with $A\le 4$. In particular, by applying the Rayleigh-Ritz or Kohn variational principle, both bound and scattering states can be addressed, using either local or non-local interactions. Thanks to this versatility, the method can be used to test the two- and three-nucleon components of the nuclear interaction. In the present review we introduce the formalism of the HH method, both for bound and scattering states. In particular, we describe the implementation of the method to study the $A=3$ and $4$ scattering problem. Second, we present a selected choice of results of the last decade, most representative of the latest achievements. Finally, we conclude with a discussion of what we believe will be the most significant developments within the HH method for the next five-to-ten years.


title: Growth of CuFeO$_2$ Single Crystals by the Optical Floating-Zone Technique

abstract: CuFeO$_2$ single crystals up to 50 mm in length and up to 10 mm in diameter were grown by the optical floating-zone method. Stoichiometric polycrystalline rods with a diameter of 6-12 mm were used as feed materials to produce crystals of sufficient size to be used as substrates for the growth of thin films of delafossites. For stable growth along the $c$-axis, low growth rates of 0.4 mm/h are necessary. Due to the incongruent melting behavior of CuFeO$_2$, a stable melt zone requires adjustment of the lamp power during growth. The melting of CuFeO$_2$ is not simply incongruent because the thermodynamic equilibrium includes more than two solid phases and the melt; the gas phase is also involved. The crystals were characterized by X-ray diffraction and X-ray fluorescence measurements.


title: Regions of the type C Catalan arrangement

abstract: In this paper, we give a bijection between rooted labeled ordered forests with a selected subset of their leaves and the regions of the type $C$ Catalan arrangement in $\R^n$. We thus obtain a bijective proof of the well-known enumeration formula of these regions ${2^n}n! \binom{2n}{n}$.


title: Winding modes and the reflection symmetry in AdS$_3$

abstract: We compute the contact term of the two-point function for the SL($2,\mathbb R$)-WZNW model in the winding sector. After reviewing some generalities of the model and its Euclidean counterpart, we discuss the reflection symmetry for the spectral flowed sector. We define the corresponding intertwining operator and use it to find the explicit form of the contact term of the propagator for a vertex carrying an arbitrary amount of spectral flow. Finally, we enhance the already known integral expression of a singly flowed vertex in order to reproduce such contact term directly in the space-time picture.


title: A Review of Dispersion Control Charts for Multivariate Individual Observations

abstract: A multivariate control chart is designed to monitor process parameters of multiple correlated quality characteristics. Often data on multivariate processes are collected as individual observations, i.e. as vectors one at the time. Various control charts have been proposed in the literature to monitor the covariance matrix of a process when individual observations are collected. In this study, we review this literature; we find 30 relevant articles from the period 1987-2019. We group the articles into five categories. We observe that less research has been done on CUSUM, high-dimensional and non-parametric type control charts for monitoring the process covariance matrix. We describe each proposed method, state their advantages, and limitations. Finally, we give suggestions for future research.


title: Dynamical stability of the weakly nonharmonic propeller-shaped planar Brownian rotator

abstract: Dynamical stability is a prerequisite for control and functioning of desired nano-machines. We utilize the Caldeira-Leggett master equation to investigate dynamical stability of molecular cogwheels modeled as a rigid, propeller-shaped planar rotator. In order to match certain expected realistic physical situations, we consider a weakly nonharmonic external potential for the rotator. Two methods for investigating stability are used. First, we employ a quantum-mechanical counterpart of the so-called "First passage time" method. Second, we investigate time dependence of the standard deviation of the rotator for both the angle and angular momentum quantum observables. A perturbation-like procedure is introduced and implemented in order to provide the closed set of differential equations for the moments. Extensive analysis is performed for different combinations of the values of system parameters. The two methods are, in a sense, mutually complementary. Appropriate for the short time behavior, the First passage time exhibits a numerically-relevant dependence only on the damping factor as well as on the rotator size. On the other hand, the standard deviations for both the angle and angular momentum observables exhibit strong dependence on the parameter values for both short and long time intervals. Contrary to our expectations, the time decrease of the standard deviations is found for certain parameter regimes. In addition, for certain parameter regimes nonmonotonic dependence on the rotator size is observed for the standard deviations and for the damping of the oscillation amplitude.


title: Josephson Effect and Charge Distribution in Thin Bi$_2$Te$_3$ Topological Insulators

abstract: Thin layers of topological insulator materials are quasi-two-dimensional systems featuring a complex interplay between quantum confinement and topological band structure. To understand the role of the spatial distribution of carriers in electrical transport, we study the Josephson effect, magnetotransport, and weak anti-localization in bottom-gated thin Bi$_2$Te$_3$ topological insulator films.We compare the experimental carrier densities to a model based on the solutions of the self-consistent Schr\"odinger-Poisson equations and find excellent agreement. The modeling allows for a quantitative interpretation of the weak antilocalization correction to the conduction and of the critical current of Josephson junctions with weak links made from such films without any ad hoc assumptions.


title: Entropic measurement uncertainty relations for all the infinite components of a spin vector

abstract: The information-theoretic formulation of quantum measurement uncertainty relations (MURs), based on the notion of relative entropy between measurement probabilities, is extended to the set of all the spin components for a generic spin s. For an approximate measurement of a spin vector, which gives approximate joint measurements of the spin components, we define the device information loss as the maximum loss of information per observable occurring in approximating the ideal incompatible components with the joint measurement at hand. By optimizing on the measuring device, we define the notion of minimum information loss. By using these notions, we show how to give a significant formulation of state independent MURs in the case of infinitely many target observables. The same construction works as well for finitely many observables, and we study the related MURs for two and three orthogonal spin components. The minimum information loss plays also the role of measure of incompatibility and in this respect it allows us to compare quantitatively the incompatibility of various sets of spin observables, with different number of involved components and different values of s.


title: Data Validation Infrastructure for R

abstract: Checking data quality against domain knowledge is a common activity that pervades statistical analysis from raw data to output. The R package 'validate' facilitates this task by capturing and applying expert knowledge in the form of validation rules: logical restrictions on variables, records, or data sets that should be satisfied before they are considered valid input for further analysis. In the validate package, validation rules are objects of computation that can be manipulated, investigated, and confronted with data or versions of a data set. The results of a confrontation are then available for further investigation, summarization or visualization. Validation rules can also be endowed with metadata and documentation and they may be stored or retrieved from external sources such as text files or tabular formats. This data validation infrastructure thus allows for systematic, user-defined definition of data quality requirements that can be reused for various versions of a data set or by data correction algorithms that are parameterized by validation rules.


title: Measurement of the weak mixing angle at a Super Charm-Tau factory with data-driven monitoring of the average electron beam polarization

abstract: A method for measuring the average longitudinal polarization of the electron beam at an electron-positron collider operating near the $J/\psi$ resonance is proposed. The method utilizes the differential cross-section of $J/\psi\to [\Lambda\to p\pi^-][\bar{\Lambda}\to\bar{p}\pi^+]$ decay. It can be used to measure the average longitudinal polarization of electrons with the statistical precision better than $10^{-3}$ at a Super Charm-Tau factory operating at the luminosity of $10^{35}~\mathrm{cm}{}^{-2}\mathrm{s}{}^{-1}$. The method is discussed in the context of the weak mixing angle measurement in the same experiment.


title: Atomistic investigation of the temperature and size dependence of the energy barrier of CoFeB/MgO nanodots

abstract: The balance between low power consumption and high efficiency in memory devices is a major limiting factor in the development of new technologies. Magnetic random access memories (MRAM) based on CoFeB/MgO magnetic tunnel junctions (MTJs) have been proposed as candidates to replace the current technology due to their non-volatility, high thermal stability and efficient operational performance. Understanding the size and temperature dependence of the energy barrier and the nature of the transition mechanism across the barrier between stable configurations is a key issue in the development of MRAM. Here we use an atomistic spin model to study the energy barrier to reversal in CoFeB/MgO nanodots to determine the effects of size, temperature and external field. We find that for practical device sizes in the 10-50 nm range the energy barrier has a complex behaviour characteristic of a transition from a coherent to domain wall driven reversal process. Such a transition region is not accessible to simple analytical estimates of the energy barrier preventing a unique theoretical calculation of the thermal stability. The atomistic simulations of the energy barrier give good agreement with experimental measurements for similar systems which are at the state of the art and can provide guidance to experiments identifying suitable materials and MTJ stacks with the desired thermal stability.


title: Neural Field Models with Transmission Delays and Diffusion

abstract: A neural field models the large scale behaviour of large groups of neurons. We extend results of van Gils et al. [2013] and Dijkstra et al. [2015] by including a diffusion term into the neural field, which models direct, electrical connections. We extend known and prove new sun-star calculus results for delay equations to be able to include diffusion and explicitly characterise the essential spectrum. For a certain class of connectivity functions in the neural field model, we are able to compute its spectral properties and the first Lyapunov coefficient of a Hopf bifurcation. By examining a numerical example, we find that the addition of diffusion suppresses non-synchronised steady-states, while favouring synchronised oscillatory modes.


title: Optimizing Sparsity over Lattices and Semigroups

abstract: Motivated by problems in optimization we study the sparsity of the solutions to systems of linear Diophantine equations and linear integer programs, i.e., the number of non-zero entries of a solution, which is often referred to as the $\ell_0$-norm. Our main results are improved bounds on the $\ell_0$-norm of sparse solutions to systems $A x = b$, where $A \in \mathbb{Z}^{m \times n}$, $b \in \mathbb{Z}^m$ and $x$ is either a general integer vector (lattice case) or a non-negative integer vector (semigroup case). In the lattice case and certain scenarios of the semigroup case, we give polynomial time algorithms for computing solutions with $\ell_0$-norm satisfying the obtained bounds.


title: An Artificial Intelligence approach to Shadow Rating

abstract: We analyse the effectiveness of modern deep learning techniques in predicting credit ratings over a universe of thousands of global corporate entities obligations when compared to most popular, traditional machine-learning approaches such as linear models and tree-based classifiers. Our results show a adequate accuracy over different rating classes when applying categorical embeddings to artificial neural networks (ANN) architectures.


title: Download Time Analysis for Distributed Storage Codes with Locality and Availability

abstract: The paper presents techniques for analyzing the expected download time in distributed storage systems that employ systematic availability codes. These codes provide access to hot data through the systematic server containing the object and multiple recovery groups. When a request for an object is received, it can be replicated (forked) to the systematic server and all recovery groups. We first consider the low-traffic regime and present the close-form expression for the download time. By comparison across systems with availability, maximum distance separable (MDS), and replication codes, we demonstrate that availability codes can reduce download time in some settings but are not always optimal. In the high-traffic regime, the system consists of multiple inter-dependent Fork-Join queues, making exact analysis intractable. Accordingly, we present upper and lower bounds on the download time, and an M/G/1 queue approximation for several cases of interest. Via extensive numerical simulations, we evaluate our bounds and demonstrate that the M/G/1 queue approximation has a high degree of accuracy.


title: Elliptic curves with common torsion $x$-coordinates and hyperelliptic torsion packets

abstract: We establish a connection between torsion packets on curves of genus $2$ and pairs of elliptic curves realized as double covers of the projective line $\mathbb{P}_{x}^{1}$ that have many common torsion $x$-coordinates. This can be used to show that the set of common torsion $x$-coordinates has size at least $22$ infinitely often and has $34$ elements in some cases. We also explain how we obtained the current record example of a hyperelliptic torsion packet on a genus $2$ curve.


title: High-Dimensional Dynamic Systems Identification with Additional Constraints

abstract: This note presents a unified analysis of the identification of dynamical systems with low-rank constraints under high-dimensional scaling. This identification problem for dynamic systems are challenging due to the intrinsic dependency of the data. To alleviate this problem, we first formulate this identification problem into a multivariate linear regression problem with row-sub-Gaussian measurement matrix using the more general input designs and the independent repeated sampling schemes. We then propose a nuclear norm heuristic method that estimates the parameter matrix of dynamic system from a few input-state data samples. Based on this, we can extend the existing results. In this paper, we consider two scenarios. (i) In the noiseless scenario, nuclear-norm minimization is introduced for promoting low-rank. We define the notion of weak restricted isometry property, which is weaker than the ordinary restricted isometry property, and show it holds with high probability for the row-sub-Gaussian measurement matrix. Thereby, the rank-minimization matrix can be exactly recovered from finite number of data samples. (ii) In the noisy scenario, a regularized framework involving nuclear norm penalty is established. We give the notion of operator norm curvature condition for the loss function, and show it holds for row-sub-Gaussian measurement matrix with high probability. Consequently, when specifying the suitable choice of the regularization parameter, the operator norm error of the optimal solution of this program has a sharp bound given a finite amount of data samples. This operator norm error bound is stronger than the ordinary Frobenius norm error bound obtained in the existing work.


title: Scattering and perturbation theory for discrete-time dynamics

abstract: We present a systematic treatment of scattering processes for quantum systems whose time evolution is discrete. We define and show some general properties of the scattering operator, in particular the conservation of quasi-energy which is defined only modulo $2 \pi$. Then we develop two perturbative techniques for the power series expansion of the scattering operator, the first one analogous to the iterative solution of the Lippmann-Schwinger equation, the second one to the Dyson series of perturbative Quantum Field Theory. We use this formalism to compare the scattering amplitudes of a continuous-time model and of the corresponding discretized one. We give a rigorous assessment of the comparison for the case of bounded free Hamiltonian, as in a lattice theory with a bounded number of particles. Our framework can be applied to a wide class of quantum simulators, like quantum walks and quantum cellular automata. As a case study, we analyse the scattering properties of a one-dimensional cellular automaton with locally interacting fermions.


title: Operando XANES from first-principles and its application to iridium oxide

abstract: Efficient electro-catalytic water-splitting technologies require suitable catalysts for the oxygen evolution reaction (OER). The development of novel catalysts could benefit from the achievement of a complete understanding of the reaction mechanism on iridium oxide (IrO$_2$), an active catalyst material that is, however, too scarce for large-scale applications. Considerable insight has already been provided by \emph{operando} X-ray absorption near-edge structure (XANES) experiments, which paved the way towards an atomistic description of the catalyst's evolution in a working environment. We combine here first-principles simulations augmented with a continuum description of the solvent and electrolyte to investigate the electrochemical stability of various IrO$_2$ interfaces and to predict the XANES cross-section for selected terminations under realistic conditions of applied potential. The comparison of computed O K-edge XANES spectra to corresponding experiments supports the formation of electron-deficient surface oxygen species in the OER-relevant voltage regime. Furthermore, surface hydroxyl groups that are found to be stable up to $\sim$1 V are suggested to be progressively oxidized at larger potentials, giving rise to a shift in the Ir L$_3$-edge cross-section that qualitatively agrees with measurements.


title: CacheQuery: Learning Replacement Policies from Hardware Caches

abstract: We show how to infer deterministic cache replacement policies using off-the-shelf automata learning and program synthesis techniques. For this, we construct and chain two abstractions that expose the cache replacement policy of any set in the cache hierarchy as a membership oracle to the learning algorithm, based on timing measurements on a silicon CPU. Our experiments demonstrate an advantage in scope and scalability over prior art and uncover 2 previously undocumented cache replacement policies.


title: Evolution of black hole mass and spin in collapsars

abstract: We investigate the collapsar scenario for the long gamma ray bursts. The energetics % of explosions in the $\gamma$-ray band are consistent with the binding energy of a progenitor star. The events duration times, lightcurve profiles, variability, and connection with supernovae, are still subject of many studies. In our scenario, the evolved progenitor star is collapsing onto a spinning black hole formed from the compact core. The accretion via rotationally supported torus powers the ejection of relativistic jets. The rotational energy of the black hole is presumably transported to the remote jet and mediated by magnetic fields. The rotation of pre-supernova star is a key property of the model. In our study, we investigate different accretion scenarios and various distributions of initial angular momentum in the envelope, that affect the spinning up the black hole and its mass increment.


title: Analytic twists of $\rm GL_3\times \rm GL_2$ automorphic forms

abstract: Let $\pi$ be a Hecke--Maass cusp form for $\rm SL_3(\mathbb{Z})$ with normalized Hecke eigenvalues $\lambda_{\pi}(n,r)$. Let $f$ be a holomorphic or Maass cusp form for $\rm SL_2(\mathbb{Z})$ with normalized Hecke eigenvalues $\lambda_f(n)$. In this paper, we are concerned with obtaining nontrivial estimates for the sum \begin{equation*} \sum_{r,n\geq 1}\lambda_{\pi}(n,r)\lambda_f(n)e\left(t\,\varphi(r^2n/N)\right)V\left(r^2n/N\right), \end{equation*} where $e(x)=e^{2\pi ix}$, $V(x)\in \mathcal{C}_c^{\infty}(0,\infty)$, $t\geq 1$ is a large parameter and $\varphi(x)$ is some real-valued smooth function. As applications, we give an improved subconvexity bound for $\rm GL_3\times \rm GL_2$ $L$-functions in the $t$-aspect, and under the Ramanujan--Petersson conjecture we derive the following bound for sums of $\rm GL_3\times \rm GL_2$ Fourier coefficients \begin{equation*} \sum_{r^2n\leq x}\lambda_{\pi}(r,n)\lambda_f(n)\ll_{\pi, f, \varepsilon} x^{5/7-1/364+\varepsilon} \end{equation*} for any $\varepsilon>0$, which breaks for the first time the barrier $O(x^{5/7+\varepsilon})$ in a work by Friedlander--Iwaniec.


title: Performance and Cost Evaluation of Smart Contracts in Collaborative Health Care Environments

abstract: Blockchain emerged as a solution for data integrity, non-repudiation, and availability in different applications. Data sensitive scenarios, such as Health Care, can also benefit from these blockchain properties. Consequently, different research proposed the adoption of blockchain in Health Care applications. However, few are discussed about incentive methods to attract new users, as well as to motivate the system or application usage by existing end-users. Also, little is discussed about performance during code execution in blockchains. In order to tackle these issues, this work presents the preliminary evaluation of TokenHealth, an application for collaborative health practice monitoring with gamification and token-based incentives. The proposed solution is implemented through smart contracts using Solidity in the Ethereum blockchain. We evaluated the performance of both in Ropsten test network and in a Private instance. The preliminary results show that the execution of smart contracts takes less than a minute for a full cycle of different smart contracts. Also, we present a discussion about costs for using a Private instance and the public Ethereum main network.


title: On 3-dimensional Berry's model

abstract: This work aims to study the dislocation or nodal lines of 3D Berry's random wave model. Their expected length is computed both in the isotropic and anisotropic cases, being them compared. Afterwards, in the isotropic case the asymptotic variance and distribution of the length are obtained as the domain grows to the whole space. Under some integrability condition on the covariance function, a central limit theorem is established. The study includes the Berry's monochromatic random waves, the Bargmann-Fock model and the Black-Body radiation as well as a power law model that exhibits an unusual asymptotic behaviour and yields a non-central limit theorem.


title: MERACLE: Constructive layer-wise conversion of a Tensor Train into a MERA

abstract: In this article two new algorithms are presented that convert a given data tensor train into either a Tucker decomposition with orthogonal matrix factors or a multi-scale entanglement renormalization ansatz (MERA). The Tucker core tensor is never explicitly computed but stored as a tensor train instead, resulting in both computationally and storage efficient algorithms. Both the multilinear Tucker-ranks as well as the MERA-ranks are automatically determined by the algorithm for a given upper bound on the relative approximation error. In addition, an iterative algorithm with low computational complexity based on solving an orthogonal Procrustes problem is proposed for the first time to retrieve optimal rank-lowering disentangler tensors, which are a crucial component in the construction of a low-rank MERA. Numerical experiments demonstrate the effectiveness of the proposed algorithms together with the potential storage benefit of a low-rank MERA over a tensor train.


title: Statistical Properties of Transmissions Subject to Rayleigh Fading and Ornstein-Uhlenbeck Mobility

abstract: In this paper, we derive closed-form expressions for significant statistical properties of the link signal-to-noise ratio (SNR) and the separation distance in mobile ad hoc networks subject to Ornstein-Uhlenbeck (OU) mobility and Rayleigh fading. In these systems, the SNR is a critical parameter as it directly influences link performance. In the absence of signal fading, the distribution of the link SNR depends exclusively on the squared distance between nodes, which is governed by the mobility model. In our analysis, nodes move randomly according to an Ornstein-Uhlenbeck process, using one tuning parameter to control the temporal dependency in the mobility pattern. We derive a complete statistical description of the squared distance and show that it forms a stationary Markov process. Then, we compute closed-form expressions for the probability density function (pdf), the cumulative distribution function (cdf), the bivariate pdf, and the bivariate cdf of the link SNR. Next, we introduce small-scale fading, modelled by a Rayleigh random variable, and evaluate the pdf of the link SNR for rational path loss exponents. The validity of our theoretical analysis is verified by extensive simulation studies. The results presented in this work can be used to quantify link uncertainty and evaluate stability in mobile ad hoc wireless systems.


title: Photo-effect on ion transport in mixed cation and halide perovskites and implications for photo de-mixing

abstract: Organic-inorganic hybrid perovskites are considered to be most promising photovoltaic materials. Highest efficiencies of perovskite solar cells have been achieved by using appropriate cation and anion mixtures. Mixed perovskite solar cells also show an improved stability. For both performance as well as stability, experimental information on electronic and ionic charge carriers is key, an information that so far has only been provided for methylammonium lead iodide; there we also found that light can enhance not only electronic but also ionic conductivities by more than one order of magnitude. We also proposed a mechanism for this surprising photo-ionic effect and explained its impact on photo-decomposition. Here we quantitatively deconvolute ionic and electronic transport properties for the practically relevant substitutions and mixtures. Specifically, we investigate various cation and anion substitutions (Cs; FA; Br) with a special eye on their photo-ionic effect. The results are not only of importance for light-induced degradation but also for light-induced demixing. As far as the photo-ionic effect is concerned, we find that the choice of the halide is of crucial importance, while the cationic substitutions are less relevant. The huge ionic conductivity enhancement found for iodide perovskites, is weakened by bromide substitution and eventually becomes insignificant for the pure bromide. Based on these experimental results, we provide a rationale for the experimentally observed photo-demixing.


title: From the bulge to the outer disc: StarHorse stellar parameters, distances, and extinctions for stars in APOGEE DR16 and other spectroscopic surveys

abstract: We combine high-resolution spectroscopic data from APOGEE-2 Survey Data Release 16 (DR16) with broad-band photometric data from several sources, as well as parallaxes from {\it Gaia} Data Release 2 (DR2). Using the Bayesian isochrone-fitting code {\tt StarHorse}, we derive distances, extinctions and astrophysical parameters for around 388,815 APOGEE stars, achieving typical distance uncertainties of $\sim 6\%$ for APOGEE giants, $\sim 2\%$ for APOGEE dwarfs, as well as extinction uncertainties of $\sim 0.07$ mag when all photometric information is available, and $\sim 0.17$ mag if optical photometry is missing. {\tt StarHorse} uncertainties vary with the input spectroscopic catalogue, with the available photometry, and with the parallax uncertainties. To illustrate the impact of our results, we show that, thanks to {\it Gaia} DR2 and the now larger sky coverage of APOGEE-2 (including APOGEE-South), we obtain an extended map of the Galactic plane, providing unprecedented coverage of the disk close to the Galactic mid-plane ($|Z_{Gal}|<1$ kpc) from the Galactic Centre out to $R_{\rm Gal}\sim 20$ kpc. The improvements in statistics as well as distance and extinction uncertainties unveil the presence of the bar in stellar density, as well as the striking chemical duality in the innermost regions of the disk, now clearly extending to the inner bulge. We complement this paper with distances and extinctions for stars in other public released spectroscopic surveys: 324,999 in GALAH DR2, 4,928,715 in LAMOST DR5, 408,894 in RAVE DR6, and 6,095 in GES DR3


title: Pentest on an Internet Mobile App: A Case Study using Tramonto

abstract: Mobile applications are used to handle different types of data. Commonly, there is a set of personal identifiable information present in the data stored, shared and used by these applications. From that, attackers can try to exploit the mobile application in order to obtain or to cause private data leakage. Therefore, performing security assessments is an important practice to find vulnerabilities in the applications and systems before the application is deployed, or even during their use. Regarding security assessments, Penetration Test (Pentest) is one of the security test types that can be used to detect vulnerabilities through simulated attacks. Additionally, Pentest can be performed using different methodologies and best practices, through several frameworks to: organize the test execution, execute tools, provide estimations, provide reports and document a Pentest. One such framework is Tramonto, which aims to assist a cybersecurity expert during the Pentest execution by providing organization, standardization and flexibility to the whole Pentest process. This paper presents a Pentest case study applied to a Brazilian university Mobile App using the Tramonto framework. The main goal of this case study is to present how Tramonto can be applied during a Pentest execution, assisting cybersecurity experts in the tasks included in the Pentest process. Our results show details on how to perform a Pentest using Tramonto and the found vulnerabilities in the Mobile App. Besides that, there is a discussion about the main contributions obtained from our results, and we were able to verify that Tramonto managed, organized and optimized the whole Pentest process.


title: Independence of work and entropy for equal energetic finite quantum systems: Passive state energy as an entanglement quantifier

abstract: Although entropy is a necessary and sufficient quantity to characterize the order of work content for equal energetic (EE) states in the asymptotic limit, for the finite quantum systems, the relation is not so linear and requires detail investigation. Toward this, we have considered a resource theoretic framework taking the energy preserving operations (EPO) as free, to compare the amount of extractable work from two different quantum states. Under EPO, majorization becomes a necessary criterion for state transformation. It is also shown that the passive state energy is a concave function and for EE states it becomes proportional to the ergotropy in absolute sense. Invariance of the passive state energy under unitary action on the given state makes it an entanglement measure for the pure bipartite states. Further, due to the non additivity of passive state energy for the different system Hamiltonians, one can generate Vidal's monotones which would give the optimal probability for pure entangled state transformation. This measure also quantifies the ergotropic gap which is employed to distinguish some specific classes of three-qubit pure entangled states.


title: New Construction of Optimal Interference-Free ZCZ Sequence Sets by Zak Transform

abstract: In this paper, a new construction of interference-free zero correlation zone (IF-ZCZ) sequence sets is proposed by well designed finite Zak transform lattice tessellation. Each set is characterized by the period of sequences $KM^2$, the set size $K$ and the length of zero correlation zone $M^2-1$, which is optimal with respect to the Tang-Fan-Matsufuji bound. In particular, all sequences in these sets have sparse and highly structured Zak and Fourier spectra, which can decrease the computational complexity of the implementation of the banks of matched filters. Moreover, for the parameters proposed in this paper, the new construction is essentially different from the general construction of optimal IF-ZCZ sequence sets given by Popovic.


title: Entanglement and Excitations in Gauge/Gravity Duality

abstract: In this thesis, we study a variety of phenomena in strongly coupled quantum field theories by performing calculations in their gravitational duals. We compute entanglement entropy in a variety of holographic systems, paying particular attention to its long-distance behaviour, characterised by a term proportional to surface area. This term is known to decrease along Lorentz-invariant renormalisation group flows, suggesting that it may count massless degrees of freedom. We find that more general deformations may increase this area term, possibly indicating an enhanced number of long-distance degrees of freedom. We observe a correlation between this enhancement and the emergence of new scaling symmetry at long distances. Next, we study the spectrum of collective excitations in a holographic model of a non-Fermi liquid. At high temperatures, the spectrum of collective excitations includes hydrodynamic sound waves. As in similar models, we observe that sound-like modes also exist at low temperatures. Such modes are known as holographic zero sound. We study the changing properties of holographic zero sound and the emergence of hydrodynamic behaviour at high temperatures as we vary the parameters of the model. We find that for certain values of the parameters, the temperature-dependence of holographic zero sound qualitatively resembles that of a normal Fermi liquid. Finally, we study the entanglement entropy contribution of surface defects in a six-dimensional quantum field theory of relevance to M-theory, which is a candidate theory of quantum gravity. We find that the entanglement entropy does not montonically decrease along renormalisation group flows on these defects, ruling it out as a potential measure of degrees of freedom. On the other hand, we find that two of the contributions of the defect to the Weyl anomaly of the quantum field theory decrease along all of the flows that we study.


title: Circ-Tree: A B+-Tree Variant with Circular Design for Persistent Memory

abstract: Several B+-tree variants have been developed to exploit the performance potential of byte-addressable non-volatile memory (NVM). In this paper, we attentively investigate the properties of B+-tree and find that, a conventional B+-tree node is a linear structure in which key-value (KV) pairs are maintained from the zero offset of the node. These pairs are shifted in a unidirectional fashion for insertions and deletions. Inserting and deleting one KV pair may inflict a large amount of write amplifications due to shifting KV pairs. This badly impairs the performance of in-NVM B+-tree. In this paper, we propose a novel circular design for B+-tree. With regard to NVM's byte-addressability, our Circ-tree design embraces tree nodes in a circular structure without a fixed base address, and bidirectionally shifts KV pairs in a node for insertions and deletions to minimize write amplifications. We have implemented a prototype for Circ-Tree and conducted extensive experiments. Experimental results show that Circ-Tree significantly outperforms two state-of-the-art in-NVM B+-tree variants, i.e., NV-tree and FAST+FAIR, by up to 1.6x and 8.6x, respectively, in terms of write performance. The end-to-end comparison by running YCSB to KV store systems built on NV-tree, FAST+FAIR, and Circ-Tree reveals that Circ-Tree yields up to 29.3% and 47.4% higher write performance, respectively, than NV-tree and FAST+FAIR.


title: Triple Generative Adversarial Networks

abstract: We propose a unified game-theoretical framework to perform classification and conditional image generation given limited supervision. It is formulated as a three-player minimax game consisting of a generator, a classifier and a discriminator, and therefore is referred to as Triple Generative Adversarial Network (Triple-GAN). The generator and the classifier characterize the conditional distributions between images and labels to perform conditional generation and classification, respectively. The discriminator solely focuses on identifying fake image-label pairs. Under a nonparametric assumption, we prove the unique equilibrium of the game is that the distributions characterized by the generator and the classifier converge to the data distribution. As a byproduct of the three-player mechanism, Triple-GAN is flexible to incorporate different semi-supervised classifiers and GAN architectures. We evaluate Triple-GAN in two challenging settings, namely, semi-supervised learning and the extreme low data regime. In both settings, Triple-GAN can achieve excellent classification results and generate meaningful samples in a specific class simultaneously. In particular, using a commonly adopted 13-layer CNN classifier, Triple-GAN outperforms extensive semi-supervised learning methods substantially on more than 10 benchmarks no matter data augmentation is applied or not.


title: A simplified connection between constituent quark and parton

abstract: We propose a simple way to connect Gell-Mann constituent quark model and Feynman parton model for the nucleon. Thus, we can dynamically understand a large amount of data for high energy hadronic processes starting from the first QCD principle.


title: Hodge ideals of free divisors

abstract: We consider the Hodge filtration on the sheaf of meromorphic functions along free divisors for which the logarithmic comparison theorem holds. We describe the Hodge filtration steps as submodules of the order filtration on a cyclic presentation in terms of a special factor of the Bernstein-Sato polynomial of the divisor and we conjecture a bound for the generating level of the Hodge filtration. Finally, we develop an algorithm to compute Hodge ideals of such divisors and we apply it to some examples.


title: Discontinuous Galerkin Model Order Reduction of Geometrically Parametrized Stokes Equation

abstract: The present work focuses on the geometric parametrization and the reduced order modeling of the Stokes equation. We discuss the concept of a parametrized geometry and its application within a reduced order modeling technique. The full order model is based on the discontinuous Galerkin method with an interior penalty formulation. We introduce the broken Sobolev spaces as well as the weak formulation required for an affine parameter dependency. The operators are transformed from a fixed domain to a parameter dependent domain using the affine parameter dependency. The proper orthogonal decomposition is used to obtain the basis of functions of the reduced order model. By using the Galerkin projection the linear system is projected onto the reduced space. During this process, the offline-online decomposition is used to separate parameter dependent operations from parameter independent operations. Finally this technique is applied to an obstacle test problem.The numerical outcomes presented include experimental error analysis, eigenvalue decay and measurement of online simulation time. Keywords: Discontinuous Galerkin method, Stokes flow, Geometric parametrization, Proper orthogonal decomposition


title: $Sp(2N)$ Yang-Mills towards large $N$

abstract: Non-perturbative aspects of the physics of $Sp(2N)$ gauge theories are interesting for phenomenological and theoretical reasons, and little studied so far, particularly in the approach to the large-$N$ limit. We examine the spectrum of glueballs and the string tension of Yang-Mills theories based upon these groups. Glueball masses are calculated numerically with a variational method from Monte-Carlo generated lattice gauge configurations. After taking continuum limits for $N$ = 1, 2, 3 and 4, we extrapolate the results towards large $N$. We compare the resulting spectrum with that of $SU(N)$ gauge theories, both at finite $N$ and as $N$ approaches infinity.


title: A Survey on Distributed Machine Learning

abstract: The demand for artificial intelligence has grown significantly over the last decade and this growth has been fueled by advances in machine learning techniques and the ability to leverage hardware acceleration. However, in order to increase the quality of predictions and render machine learning solutions feasible for more complex applications, a substantial amount of training data is required. Although small machine learning models can be trained with modest amounts of data, the input for training larger models such as neural networks grows exponentially with the number of parameters. Since the demand for processing training data has outpaced the increase in computation power of computing machinery, there is a need for distributing the machine learning workload across multiple machines, and turning the centralized into a distributed system. These distributed systems present new challenges, first and foremost the efficient parallelization of the training process and the creation of a coherent model. This article provides an extensive overview of the current state-of-the-art in the field by outlining the challenges and opportunities of distributed machine learning over conventional (centralized) machine learning, discussing the techniques used for distributed machine learning, and providing an overview of the systems that are available.


title: Recruitment prediction for multi-centre clinical trials based on a hierarchical Poisson-gamma model: asymptotic analysis and improved intervals

abstract: We analyse predictions of future recruitment to a multi-centre clinical trial based on a maximum-likelihood fitting of a commonly used hierarchical Poisson-Gamma model for recruitments at individual centres. We consider the asymptotic accuracy of quantile predictions in the limit as the number of recruitment centres grows large and find that, in an important sense, the accuracy of the quantiles does not improve as the number of centres increases. When predicting the number of further recruits in an additional time period, the accuracy degrades as the ratio of the additional time to the census time increases, whereas when predicting the amount of additional time to recruit a further $n^+_\bullet$ patients, the accuracy degrades as the ratio of $n^+_\bullet$ to the number recruited up to the census period increases. Our analysis suggests an improved quantile predictor. Simulation studies verify that the predicted pattern holds for typical recruitment scenarios in clinical trials and verify the much improved coverage properties of prediction intervals obtained from our quantile predictor. In the process of extending the applicability of our methodology, we show that in terms of the accuracy of all integer moments it is always better to approximate the sum of independent gamma random variables by a single gamma random variable matched on the first two moments than by the moment-matched Gaussian available from the central limit theorem.


title: Split Courant algebroids as $L_{\infty}$-structures

abstract: We show that split Courant algebroids, i.e., those defined on a Whitney sum $A \oplus A^*$, are in a one-to-one correspondence with multiplicative curved $L_\infty$-algebras. This one-to-one correspondence extends to Nijenhuis morphisms and behaves well under the operation of twisting by a bivector.


title: Flux driven pedestal formation in tokamaks: turbulence simulations validated against the isotope effect

abstract: The spontaneous pedestal formation above a power threshold at the edge of magnetically confined plasma is modelled for the first time in flux driven three-dimensional fluid simulations of electromagnetic turbulence with the code EMEDGE3D. The role of the collisional friction between trapped and passing particles is shown to be the key ingredient for shearing the radial electric field, hence stabilizing the turbulence, rather than the Maxwell and Reynolds stresses. The isotope effect, observed in many tokamaks worldwide, is recovered in EMEDGE3D simulations: the power threshold for pedestal formation is lower for Tritium than for Deuterium. The turbulence auto-correlation time is found to increase with the ion mass easing the radial electric shear stabilization, hence the pedestal formation.


title: Efficient Ab-initio Multiplet Calculations for Magnetic Adatoms on MgO

abstract: Scanning probe microscopy and spectroscopy, and more recently in combination with electron spin resonance, have allowed the direct observation of electron dynamics on the single-atom limit. The interpretation of data is strongly depending on model Hamiltonians. However, fitting effective spin Hamiltonians to experimental data lacks the ability to explore a vast number of potential systems of interest. By using plane-wave density functional theory (DFT) as starting point, we build a multiplet Hamiltonian making use of maximally-localized Wannier functions. The Hamiltonian contains spin-orbit and electron-electron interactions needed to obtain the relevant spin dynamics. The resulting reduced Hamiltonian is solved by exact diagonalization. We compare three prototypical cases of 3d transition metals Mn (total spin $S=5/2$), Fe ($S=2$) and Co ($S=3/2$) on MgO with experimental data and find that our calculations can accurately predict the spin orientation and anisotropy of the magnetic adatom. Our method does not rely on experimental input and permits us to explore and predict the fundamental magnetic properties of adatoms on surfaces.


title: Threshold analysis for a family of $2 \times 2$ operator matrices

abstract: We consider a family of $2 \times 2$ operator matrices ${\mathcal A}_\mu(k),$ $k \in {\Bbb T}^3:=(-\pi, \pi]^3,$ $\mu>0$, acting in the direct sum of zero- and one-particle subspaces of a Fock space. It is associated with the Hamiltonian of a system consisting of at most two particles on a three-dimensional lattice ${\Bbb Z}^3,$ interacting via annihilation and creation operators. We find a set $\Lambda:=\{k^{(1)},...,k^{(8)}\} \subset {\Bbb T}^3$ and a critical value of the coupling constant $\mu$ to establish necessary and sufficient conditions for either $z=0=\min\limits_{k\in {\Bbb T}^3} \sigma_{\rm ess}({\mathcal A}_\mu(k))$ ( or $z=27/2=\max\limits_{k\in {\Bbb T}^3} \sigma_{\rm ess}({\mathcal A}_\mu(k))$ is a threshold eigenvalue or a virtual level of ${\mathcal A}_\mu(k^{(i)})$ for some $k^{(i)} \in \Lambda.$


title: Bifurcations of limit cycles in piecewise smooth Hamiltonian system with boundary perturbation

abstract: In this paper, the general planar piecewise smooth Hamiltonian system with period annulus around the center at the origin is considered. We obtain the expressions for the first order and the second order Melnikov functions of it's general second order perturbation, which can be used to find the number of limit cycles bifurcated from periodic orbits. Further, we have shown that the number of limit cycles of the system $\dot{X}=\begin{cases} (H_y^+,-H_x^+) & \mbox{if}~y>\varepsilon f(x)\\ (H_y^-,-H_x^-) & \mbox{if}~y<\varepsilon f(x) \end{cases}$ equals to the number of positive zeros of $f$ when at $\varepsilon=0$ the system has a period annulus around the origin.


title: Nonadiabatic holonomic multiqubit controlled gates

abstract: Previous schemes of nonadiabatic holonomic quantum computation were focused mainly on realizing a universal set of elementary gates. Multiqubit controlled gates could be built by decomposing them into a series of the universal gates. In this article, we propose an approach for realizing nonadiabatic holonomic multiqubit controlled gates in which a $(n+1)$-qubit controlled-$(\boldsymbol{\mathrm{n}\cdot \mathrm{\sigma}})$ gate is realized by $(2n-1)$ basic operations instead of decomposing it into the universal gates, whereas an $(n+1)$-qubit controlled arbitrary rotation gate can be obtained by combining only two such controlled-$(\boldsymbol{\mathrm{n}\cdot \mathrm{\sigma}})$ gates. Our scheme greatly reduces the operations of nonadiabatic holonomic quantum computation.


title: Axiomatizing rectangular grids with no extra non-unary relations

abstract: We construct a formula $\phi$ which axiomatizes non-narrow rectangular grids without using any binary relations other than the grid neighborship relations. As a corollary, we prove that a set $A \subseteq \mathbb{N}$ is a spectrum of a formula which has only planar models if numbers $n \in A$ can be recognized by a non-deterministic Turing machine (or a one-dimensional cellular automaton) in time $t(n)$ and space $s(n)$, where $t(n)s(n) \leq n$ and $t(n),s(n) = \Omega(\log(n))$.


title: A short proof of $\ell^2$ decoupling for the moment curve

abstract: We give a short and elementary proof of the $\ell^{2}$ decoupling inequality for the moment curve in $\mathbb{R}^k$, using a bilinear approach inspired by the nested efficient congruencing argument of Wooley (arXiv:1708.01220).


title: Two-dimensional systems of elongated particles: From diluted to dense

abstract: This chapter is devoted to the analysis of jamming and percolation behavior of two-dimensional systems of elongated particles. We consider both continuous and discrete spaces (with the special attention to the square lattice), as well the systems with isotropically deposited and aligned particles. Overviews of different analytical and computational methods and main results are presented.


title: Theory-training deep neural networks for an alloy solidification benchmark problem

abstract: Deep neural networks are machine learning tools that are transforming fields ranging from speech recognition to computational medicine. In this study, we extend their application to the field of alloy solidification modeling. To that end, and for the first time in the field, theory-trained deep neural networks (TTNs) for solidification are introduced. These networks are trained using the framework founded by Raissi et al.[1-3] and a theory that consists of a mathematical macroscale solidification model and the boundary and initial conditions of a well-known solidification benchmark problem. One of the main advantages of TTNs is that they do not need any prior knowledge of the solution of the governing equations or any external data for training. Using the built-in capabilities in TensorFlow, networks with different widths and depths are trained, and their predictions are examined in detail to verify that they satisfy both the model equations and the initial and boundary conditions of the benchmark problem. Issues that are critical in theory-training are identified, and guidelines that can be used in the future for successful and efficient training of similar networks are proposed. Through this study, theory-trained deep neural networks are shown to be a viable tool to simulate alloy solidification problems.


title: MALDI-TOF and Quantum Chemical Study of Non-stoichiometric Tantalum Oxychloride Clusters

abstract: Using the MALDI-TOF spectroscopy method, clusters of non-stoichiometric tantalum oxychlorides formed as a result of hydrolysis of nanoscale reaction products of tantalum pentachloride with acetylene and of interaction with oxygen and air moisture in the process of sample preparation were studied. The formation of oxychloride clusters containing from 2 to 15 tantalum atoms is shown. Quantum chemical calculations of the structure and relative thermodynamic stability of the possible isomers are carried out. The stability of cage Ta structures connected by oxygen bridges with significant contribution of metal-metal bond is established


title: Taxonomy and Evaluation of Structured Compression of Convolutional Neural Networks

abstract: The success of deep neural networks in many real-world applications is leading to new challenges in building more efficient architectures. One effective way of making networks more efficient is neural network compression. We provide an overview of existing neural network compression methods that can be used to make neural networks more efficient by changing the architecture of the network. First, we introduce a new way to categorize all published compression methods, based on the amount of data and compute needed to make the methods work in practice. These are three 'levels of compression solutions'. Second, we provide a taxonomy of tensor factorization based and probabilistic compression methods. Finally, we perform an extensive evaluation of different compression techniques from the literature for models trained on ImageNet. We show that SVD and probabilistic compression or pruning methods are complementary and give the best results of all the considered methods. We also provide practical ways to combine them.


title: On some K3 surfaces with order sixteen automorphism

abstract: We consider K3 surfaces of Picard rank 14 which admit a purely nonsymplectic automorphism of order 16. The automorphism acts on the second cohomology group with integer coefficients and we compute the invariant sublattice for the action. We show that all of these K3 surfaces admit an elliptic fibration and we compute the invariant lattices in a geometric way by using special curves of the elliptic fibration. The computation of these lattices plays an important role when one wants to study moduli spaces and mirror symmetry for lattice polarized K3 surfaces.


title: On the minimum number of minimal codewords

abstract: We study the minimum number of minimal codewords in linear codes from the point of view of projective geometry. We derive bounds and in some cases determine the exact values. We also present an extension to minimal subcode supports.


title: Si CMOS Platform for Quantum Information Processing

abstract: We report the first quantum bit device implemented on a foundry-compatible Si CMOS platform. The device, fabricated using SOI NanoWire MOSFET technology, is in essence a compact two-gate pFET. The qubit is encoded in the spin degree of freedom of a hole Quantum Dot defined by one of the Gates. Coherent spin manipulation is performed by means of an RF E-Field signal applied to the Gate itself.


title: All-Electrical Control of a Hybrid Electron Spin/Valley Quantum Bit in SOI CMOS Technology

abstract: We successfully demonstrated experimentally the electrical-field-mediated control of the spin of electrons confined in an SOI Quantum Dot (QD) device fabricated with a standard CMOS process flow. Furthermore, we show that the Back-Gate control in SOI devices enables switching a quantum bit (qubit) between an electrically-addressable, yet charge noise-sensitive configuration, and a protected configuration.


title: Towards scalable silicon quantum computing

abstract: We report the efforts and challenges dedicated towards building a scalable quantum computer based on Si spin qubits. We review the advantages of relying on devices fabricated in a thin film technology as their properties can be in situ tuned by the back gate voltage, which prefigures tuning capabilities in scalable qubits architectures.


title: Time constant of the cross field demagnetization of superconducting stacks of tapes

abstract: Stacks of REBCO tapes can trap large amounts of magnetic fields and can stay magnetized for long periods of times. This makes them an interesting option for major engineering applications such as motors, generators and magnetic bearings. When subjected to transverse alternating fields, superconducting tapes face a reduction in the trapped field, and thus it is the goal of this paper to understand the influence of all parameters in cross field demagnetization of stacks of tapes. Major parameter dependencies considered for the scope of this paper are ripple field amplitude, frequency, tape width, tape thickness (from 1 to 20 $\mu$m), and number of tapes (up to 20). This article also provides a systemic study of the relaxation time constant $\tau$, which can be used to estimate the cross-field demagnetization decay for high number of cycles. Modeling is based on the Minimum Electro-Magnetic Entropy Production method, and it is shown that the 2D model gives very accurate results for long samples when compared with 3D model. Analytical formulas for large number of cycles have been devised. The results show that when the ripple field amplitude is above the penetration field of one tape, the stack always fully demagnetizes, roughly in exponential decay. Increasing the number of tapes only increases the relaxation time. The formulas derived also hold when validated against numerical results, and can be used for quick approximation of decay constant. They also show that the cause of the decreases of cross-field demagnetization with number of tapes is the increase in the self-inductance of the magnetization currents. The trends and insights obtained for cross field demagnetization for stacks are thus very beneficial for engineers and scientists working with superconducting magnet design and applications.


title: Twin stars and the stiffness of the nuclear equation of state: ruling out strong phase transitions below $1.7n_0$ with the new NICER radius measurements

abstract: We explore the connection between the stiffness of an hadronic equation of state (EoS) with a sharp phase transition to quark matter to its tidal deformability. For this we employ a hadronic relativistic mean field model with a parameterized effective nucleon mass to vary the stiffness in conjunction with a constant speed of sound EoS for quark matter. We compute multiple scenarios with phase transitions according to the four possible cases of a hybrid star EoS with a stable second branch. We demonstrate at the example of GW170817 how the effective nucleon mass can be constrained by using gravitational wave data. We find, that certain values of the effective nucleon mass are incompatible with GW170817 and a phase transition simultaneously. By using the recent NICER measurements of J0030+0451 at the $1\sigma$ level we constrain our results further and find that strong phase transitions with a visible jump in the mass-radius relation are ruled out at densities below 1.7 times saturation density.


title: The Ep,i - Eiso correlation: type I gamma-ray bursts and the new classification method

abstract: We present the most extensive sample of 45 type I (short) and 275 type II (long) gamma-ray bursts (GRB) with known redshift to investigate the correlation between the rest frame peak energy, Ep,i and the total isotropic equivalent energy, Eiso of the prompt emission (Amati relation). The Ep,i - Eiso correlation for type I bursts is found to be well-distinguished from the one constructed for type II bursts and has a similar power-law index value, a = 0.4, which possibly indicates the same emission mechanism of both GRB types. We show that the initial pulse complex (IPC) of type I bursts with an extended emission and regular type I bursts follow the same correlation. We obtain similar results for type II bursts associated with Ic supernovae and for regular type II bursts. Three possible outliers from the Ep,i - Eiso correlation for type II subsample are detected. Significant evolution of the Ep,i - Eiso correlation with redshift for type II bursts is not found. We suggest the new classification method, based on the Ep,i - Eiso correlation and introduce two parameters, EH and EHD. EHD is found to be the most reliable parameter for the blind type I - type II classification, which can be used to classify GRBs with no redshift.


title: Revisiting nuclear tunnelling in the aqueous ferrous-ferric electron transfer

abstract: The aqueous ferrous-ferric system provides a classic example of an electron-transfer process in solution. There has been a long standing argument spanning more than three decades around the importance of nuclear tunnelling in this system, with estimates based on Wolynes theory suggesting a quantum correction factor of 65, while estimates based on a related spin-boson model suggest a smaller factor of 7-36. Recently, we have shown that Wolynes theory can break down for systems with multiple transition states leading to an overestimation of the rate, and we suggest that a liquid system such as the one investigated here may be particularly prone to this. We re-investigate this old yet interesting system with the first application of the recently developed golden-rule quantum transition-state theory (GR-QTST). We find that GR-QTST can be applied to this complex system without apparent difficulties and that it gives a prediction for the quantum rate 6 times smaller than that from Wolynes theory. The fact that these theories give different results suggests that although it is well known that the system can be treated using linear response and therefore resembles a spin-boson model in the classical limit, this approximation is questionable in the quantum case. It also intriguingly suggests the possibility that the previous predictions were overestimating the rate due to a break down of Wolynes theory.


title: The decay $\tau \to K^{*0}(892) K^- \nu_{\tau}$ in the extended NJL model

abstract: In the extended Nambu -- Jona-Lasinio model, the decay width of $\tau \to K^{*0}(892) K^- \nu_{\tau}$ is calculated. The contributions from the contact diagram and diagrams with intermediate axial-vector, vector and pseudoscalar mesons in the ground and first radially excited states are taken into account. It is shown that axial-vector and vector channel with a contact diagram give a dominant contribution to the decay width. The obtained results for the decay width $\tau \to K^{*0}(892) K^- \nu_{\tau}$ are in satisfactory agreement with experimental data. A prediction for differential distribution over the invariant mass of the meson pair $K^{*0}(892) K^-$ is given.


title: Parameter identification in uncertain scalar conservation laws discretized with the discontinuous stochastic Galerkin Scheme

abstract: We study an identification problem which estimates the parameters of the underlying random distribution for uncertain scalar conservation laws. The hyperbolic equations are discretized with the so-called discontinuous stochastic Galerkin method, i.e., using a spatial discontinuous Galerkin scheme and a Multielement stochastic Galerkin ansatz in the random space. We assume an uncertain flux or uncertain initial conditions and that a data set of an observed solution is given. The uncertainty is assumed to be uniformly distributed on an unknown interval and we focus on identifying the correct endpoints of this interval. The first-order optimality conditions from the discontinuous stochastic Galerkin discretization are computed on the time-continuous level. Then, we solve the resulting semi-discrete forward and backward schemes with the Runge Kutta method. To illustrate the feasibility of the approach, we apply the method to a stochastic advection and a stochastic equation of Burgers' type. The results show that the method is able to identify the distribution parameters of the random variable in the uncertain differential equation even if discontinuities are present.


title: How connected is too connected? Impact of network topology on systemic risk and collapse of complex economic systems

abstract: Economic interdependencies have become increasingly present in globalized production, financial and trade systems. While establishing interdependencies among economic agents is crucial for the production of complex products, they may also increase systemic risks due to failure propagation. It is crucial to identify how network connectivity impacts both the emergent production and risk of collapse of economic systems. In this paper we propose a model to study the effects of network structure on the behavior of economic systems by varying the density and centralization of connections among agents. The complexity of production increases with connectivity given the combinatorial explosion of parts and products. Emergent systemic risks arise when interconnections increase vulnerabilities. Our results suggest a universal description of economic collapse given in the emergence of tipping points and phase transitions in the relationship between network structure and risk of individual failure. This relationship seems to follow a sigmoidal form in the case of increasingly denser or centralized networks. The model sheds new light on the relevance of policies for the growth of economic complexity, and highlights the trade-off between increasing the potential production of the system and its robustness to collapse. We discuss the policy implications of intervening in the organization of interconnections and system features, and stress how different network structures and node characteristics suggest different directions in order to promote complex and robust economic systems.


title: Solving Equation Systems in $\omega$-categorical Algebras

abstract: We study the computational complexity of deciding whether a given set of term equalities and inequalities has a solution in an $\omega$-categorical algebra $\mathfrak{A}$. There are $\omega$-categorical groups where this problem is undecidable. We show that if $\mathfrak{A}$ is an $\omega$-categorical semilattice or an abelian group, then the problem is in P or NP-hard. The hard cases are precisely those where Pol$(\mathfrak{A},\neq)$ has a uniformly continuous minor-preserving map to the clone of projections on a two-element set. The results provide information about algebras $\mathfrak{A}$ such that Pol$(\mathfrak{A},\neq)$ does not satisfy this condition, and they are of independent interest in universal algebra. In our proofs we rely on the Barto-Pinsker theorem about the existence of pseudo-Siggers polymorphisms. To the best of our knowledge, this is the first time that the pseudo-Siggers identity has been used to prove a complexity dichotomy.


title: Community detection in node-attributed social networks: a survey

abstract: Community detection is a fundamental problem in social network analysis consisting in unsupervised dividing social actors (nodes in a social graph) with certain social connections (edges in a social graph) into densely knitted and highly related groups with each group well separated from the others. Classical approaches for community detection usually deal only with network structure and ignore features of its nodes (called node attributes), although many real-world social networks provide additional actors' information such as interests. It is believed that the attributes may clarify and enrich the knowledge about the actors and give sense to the communities. This belief has motivated the progress in developing community detection methods that use both the structure and the attributes of network (i.e. deal with a node-attributed graph) to yield more informative and qualitative results. During the last decade many such methods based on different ideas have appeared. Although there exist partial overviews of them, a recent survey is a necessity as the growing number of the methods may cause repetitions in methodology and uncertainty in practice. In this paper we aim at describing and clarifying the overall situation in the field of community detection in node-attributed social networks. Namely, we perform an exhaustive search of known methods and propose a classification of them based on when and how structure and attributes are fused. We not only give a description of each class but also provide general technical ideas behind each method in the class. Furthermore, we pay attention to available information which methods outperform others and which datasets and quality measures are used for their evaluation. Basing on the information collected, we make conclusions on the current state of the field and disclose several problems that seem important to be resolved in future.


title: SCR-Apriori for Mining `Sets of Contrasting Rules'

abstract: In this paper, we propose an efficient algorithm for mining novel `Set of Contrasting Rules'-pattern (SCR-pattern), which consists of several association rules. This pattern is of high interest due to the guaranteed quality of the rules forming it and its ability to discover useful knowledge. However, SCR-pattern has no efficient mining algorithm. We propose SCR-Apriori algorithm, which results in the same set of SCR-patterns as the state-of-the-art approache, but is less computationally expensive. We also show experimentally that by incorporating the knowledge about the pattern structure into Apriori algorithm, SCR-Apriori can significantly prune the search space of frequent itemsets to be analysed.


title: When Explanations Lie: Why Many Modified BP Attributions Fail

abstract: Attribution methods aim to explain a neural network's prediction by highlighting the most relevant image areas. A popular approach is to backpropagate (BP) a custom relevance score using modified rules, rather than the gradient. We analyze an extensive set of modified BP methods: Deep Taylor Decomposition, Layer-wise Relevance Propagation (LRP), Excitation BP, PatternAttribution, DeepLIFT, Deconv, RectGrad, and Guided BP. We find empirically that the explanations of all mentioned methods, except for DeepLIFT, are independent of the parameters of later layers. We provide theoretical insights for this surprising behavior and also analyze why DeepLIFT does not suffer from this limitation. Empirically, we measure how information of later layers is ignored by using our new metric, cosine similarity convergence (CSC). The paper provides a framework to assess the faithfulness of new and existing modified BP methods theoretically and empirically. For code see: https://github.com/berleon/when-explanations-lie


title: Additive functionals as rough paths

abstract: We consider additive functionals of stationary Markov processes and show that under Kipnis-Varadhan type conditions they converge in rough path topology to a Stratonovich Brownian motion, with a correction to the Levy area that can be described in terms of the asymmetry (non-reversibility) of the underlying Markov process. We apply this abstract result to three model problems: First we study random walks with random conductances under the annealed law. If we consider the Ito rough path, then we see a correction to the iterated integrals even though the underlying Markov process is reversible. If we consider the Stratonovich rough path, then there is no correction. The second example is a non-reversible Ornstein-Uhlenbeck process, while the last example is a diffusion in a periodic environment. As a technical step we prove an estimate for the p-variation of stochastic integrals with respect to martingales that can be viewed as an extension of the rough path Burkholder-Davis-Gundy inequalities for local martingale rough paths of Friz et al to the case where only the integrator is a local martingale.


title: The generic monodromy of Drinfeld modular varieties in special characteristic

abstract: By combining theorems of Drinfeld and Strauch, we show that the monodromy representation on the special fibre of a Drinfeld modular variety, with level not divisible by the characteristic, is surjective. We illustrate this result in the special case of Drinfeld $\mathbb{F}_q[t]$-modules in level $t$, and apply this to show that the Kronecker factors of a Drinfeld modular polynomial in rank $r$ are irreducible.