title: The effects of degrees of freedom estimation in the Asymmetric GARCH model with Student-t Innovations

abstract: This work investigates the effects of using the independent Jeffreys prior for the degrees of freedom parameter of a Student-t model in the asymmetric generalised autoregressive conditional heteroskedasticity (GARCH) model. To capture asymmetry in the reaction to past shocks, smooth transition models are assumed for the variance. We adopt the fully Bayesian approach for inference, prediction and model selection We discuss problems related to the estimation of degrees of freedom in the Student-t model and propose a solution based on independent Jeffreys priors which correct problems in the likelihood function. A simulated study is presented to investigate how the estimation of model parameters in the Student-t GARCH model are affected by small sample sizes, prior distributions and misspecification regarding the sampling distribution. An application to the Dow Jones stock market data illustrates the usefulness of the asymmetric GARCH model with Student-t errors.


title: Generalized bounds for active subspaces

abstract: In this article, we consider scenarios in which traditional estimates for the active subspace method based on probabilistic Poincar\'e inequalities are not valid due to unbounded Poincar\'e constants. Consequently, we propose a framework that allows to derive generalized estimates in the sense that it enables to control the trade-off between the size of the Poincar\'e constant and a weaker order of the final error bound. In particular, we investigate independently exponentially distributed random variables in dimension two or larger and give explicit expressions for corresponding Poincar\'e constants showing their dependence on the dimension of the problem. Finally, we suggest possibilities for future work that aim for extending the class of distributions applicable to the active subspace method as we regard this as an opportunity to enlarge its usability.


title: LabelSens: Enabling Real-time Sensor Data Labelling at the point of Collection on Edge Computing

abstract: In recent years, machine learning has developed rapidly, enabling the development of applications with high levels of recognition accuracy relating to the use of speech and images. However, other types of data to which these models can be applied have not yet been explored as thoroughly. Labelling is an indispensable stage of data pre-processing that can be particularly challenging, especially when applied to single or multi-model real-time sensor data collection approaches. Currently, real-time sensor data labelling is an unwieldy process, with a limited range of tools available and poor performance characteristics, which can lead to the performance of the machine learning models being compromised. In this paper, we introduce new techniques for labelling at the point of collection coupled with a pilot study and a systematic performance comparison of two popular types of deep neural networks running on five custom built devices and a comparative mobile app (68.5-89% accuracy within-device GRU model, 92.8% highest LSTM model accuracy). These devices are designed to enable real-time labelling with various buttons, slide potentiometer and force sensors. This exploratory work illustrates several key features that inform the design of data collection tools that can help researchers select and apply appropriate labelling techniques to their work. We also identify common bottlenecks in each architecture and provide field tested guidelines to assist in building adaptive, high-performance edge solutions.


title: Horner Systems: How to efficiently evaluate non-commutative polynomials (by matrices)

abstract: By viewing non-commutative polynomials, that is, elements in free associative algebras, in terms of linear representations, we generalize Horner's rule to the non-commutative (multivariate) setting. We introduce the concept of Horner systems (which has parallels to that of companion matrices), discuss their construction and show how they enable the efficient evaluation of non-commutative polynomials by matrices.


title: Production asymmetry of $\nu_{\tau}$ neutrinos and ${\overline \nu}_{\tau}$ antineutrinos from a fixed target experiment SHiP

abstract: We discuss how to calculate cross sections as well as rapidity, transverse momentum and energy distributions of $\nu_{\tau}$ and ${\overline \nu}_{\tau}$ produced from the direct $D_s^{\pm} \to \nu_{\tau}/{\overline \nu}_{\tau}$ and chain $D_s^{\pm} \to \tau^+/\tau^- \to \nu_{\tau}/{\overline \nu}_{\tau}$ decays in $p\!+^{96}\!\mathrm{Mo}$ scattering with proton beam $E_{\mathrm{lab}}$ = 400 GeV \textit{i.e.} at $\sqrt{s}_{NN}$ = 27.4 GeV. The $\tau$ decays are simulated with the help of the \textsc{Tauola} code and include multiple decay channels of $\tau$ in amounts proportional to their branching ratios. In our calculations we include $D_s^{\pm}$ from charm fragmentation $c \to D_s^{+}$ and $\bar c \to D_s^-$ as well as those from subleading fragmentation of strange quarks/antiquarks $s \to D_s^-$ and $\bar s \to D_s^+$. The $s \ne \bar s$ asymmetry of the strange quark content of proton is included. The different contributions to $D_s^{\pm}$ and $\nu_{\tau} / {\overline \nu}_{\tau}$ are shown explicitly. We discuss and quantify a not discussed so far effect of asymmetries for production of $\nu_{\tau}$ and ${\overline \nu}_{\tau}$ caused by subleading fragmentation mechanism and discuss related uncertainties. A potential measurement of the asymmetry is discussed. Estimates of a number of observed $\nu_{\tau} / \overline{\nu}_{\tau}$ in the $\nu_{\tau} / \overline{\nu}_{\tau} +^{208}\!\mathrm{Pb}$ reaction, with 2m long target are given with the help of the NuWro program. We refer also to the production of the high-energy (anti)neutrinos in the atmosphere.


title: Face Manifold: Manifold Learning for Synthetic Face Generation

abstract: Face is one of the most important things for communication with the world around us. It also forms our identity and expressions. Estimating the face structure is a fundamental task in computer vision with applications in different areas such as face recognition and medical surgeries. Recently, deep learning techniques achieved significant results for 3D face reconstruction from flat images. The main challenge of such techniques is a vital need for large 3D face datasets. Usually, this challenge is handled by synthetic face generation. However, synthetic datasets suffer from the existence of non-possible faces. Here, we propose a face manifold learning method for synthetic diverse face dataset generation. First, the face structure is divided into the shape and expression groups. Then, a fully convolutional autoencoder network is exploited to deal with the non-possible faces, and, simultaneously, preserving the dataset diversity. Simulation results show that the proposed method is capable of denoising highly corrupted faces. The diversity of the generated dataset is evaluated qualitatively and quantitatively and compared to the existing methods. Experiments show that our manifold learning method outperforms the state of the art methods significantly.


title: Group representation for even and odd involutive commutative residuated chains

abstract: For odd and for even involutive, commutative residuated chains a representation theorem is presented in this paper by means of direct systems of abelian o-groups equipped with further structure. This generalizes the corresponding result of J. M. Dunn about finite Sugihara monoids.


title: Current driven domain wall dynamics in ferrimagnetic strips explained by means of a two interacting sublattices model

abstract: The current-driven domain wall dynamics along ferrimagnetic systems are here theoretically analyzed as a function of the temperature by means of micromagnetic simulations and a one dimensional model. Contrarily to conventional effective approaches, our model takes into account the two coupled ferromagnetic sublattices forming the ferrimagnetic system. Although the model is suitable for systems with asymmetric exchange interaction and spin-orbit coupling effects due to adjacent heavy metal layers, we here focus our attention on the case of single-layer ferrimagnetic strips where domain walls adopt achiral Bloch configurations at rest. Such domain walls can be driven by either out-of-plane fields or spin transfer torques upon bulk current injection. Our results indicate that the domain wall velocity is optimized at the angular compensation temperature for both field-driven and current-driven cases. Our advanced models allow us to infer that the precession of the internal domain wall moments is suppressed at such compensation temperature, and they will be useful to interpret state-of-the art experiments on these systems.


title: Characterizing stochastic time series with ordinal networks

abstract: Approaches for mapping time series to networks have become essential tools for dealing with the increasing challenges of characterizing data from complex systems. Among the different algorithms, the recently proposed ordinal networks stand out due to its simplicity and computational efficiency. However, applications of ordinal networks have been mainly focused on time series arising from nonlinear dynamical systems, while basic properties of ordinal networks related to simple stochastic processes remain poorly understood. Here, we investigate several properties of ordinal networks emerging from random time series, noisy periodic signals, fractional Brownian motion, and earthquake magnitude series. For ordinal networks of random series, we present an approach for building the exact form of the adjacency matrix, which in turn is useful for detecting non-random behavior in time series and the existence of missing transitions among ordinal patterns. We find that the average value of a local entropy, estimated from transition probabilities among neighboring nodes of ordinal networks, is more robust against noise addition than the standard permutation entropy. We show that ordinal networks can be used for estimating the Hurst exponent of time series with accuracy comparable with state-of-the-art methods. Finally, we argue that ordinal networks can detect sudden changes in Earth seismic activity caused by large earthquakes.


title: A tale of two sentiment scales: Disentangling short-run and long-run components in multivariate sentiment dynamics

abstract: We propose a novel approach to sentiment data filtering for a portfolio of assets. In our framework, a dynamic factor model drives the evolution of the observed sentiment and allows to identify two distinct components: a long-term component, modeled as a random walk, and a short-term component driven by a stationary VAR(1) process. Our model encompasses alternative approaches available in literature and can be readily estimated by means of Kalman filtering and expectation maximization. This feature makes it convenient when the cross-sectional dimension of the portfolio increases. By applying the model to a portfolio of Dow Jones stocks, we find that the long term component co-integrates with the market principal factor, while the short term one captures transient swings of the market associated with the idiosyncratic components and captures the correlation structure of returns. Using quantile regressions, we assess the significance of the contemporaneous and lagged explanatory power of sentiment on returns finding strong statistical evidence when extreme returns, especially negative ones, are considered. Finally, the lagged relation is exploited in a portfolio allocation exercise.


title: Roy Glauber and Asymptotic Diffraction Theory

abstract: This is a review of Glauber's asymptotic diffraction theory, in which diffractive scattering is described in terms of interference between semiclassical amplitudes, resulting from a stationary-phase approximation. Typically two such amplitudes are sufficient to accurately describe elastic scattering, but the stationary points are located at complex values of the impact parameter. Their separation controls the interference pattern, and their offsets from the real axis determine the overall fall-off with momentum transfer. Asymptotically, at large momentum transfers, the stationary points move towards singularities of the profile function. I also include some reminiscences from our collaboration.


title: A General Upper Bound for Unsupervised Domain Adaptation

abstract: In this work, we present a novel upper bound of target error to address the problem for unsupervised domain adaptation. Recent studies reveal that a deep neural network can learn transferable features which generalize well to novel tasks. Furthermore, a theory proposed by Ben-David et al. (2010) provides a upper bound for target error when transferring the knowledge, which can be summarized as minimizing the source error and distance between marginal distributions simultaneously. However, common methods based on the theory usually ignore the joint error such that samples from different classes might be mixed together when matching marginal distribution. And in such case, no matter how we minimize the marginal discrepancy, the target error is not bounded due to an increasing joint error. To address this problem, we propose a general upper bound taking joint error into account, such that the undesirable case can be properly penalized. In addition, we utilize constrained hypothesis space to further formalize a tighter bound as well as a novel cross margin discrepancy to measure the dissimilarity between hypotheses which alleviates instability during adversarial learning. Extensive empirical evidence shows that our proposal outperforms related approaches in image classification error rates on standard domain adaptation benchmarks.


title: The Left Localization Principle, completions, and cofree $G$-spectra

abstract: We show under mild hypotheses that a Quillen adjunction between stable model categories induces another Quillen adjunction between their left localizations, and we provide conditions under which the localized adjunction is a Quillen equivalence. Moreover, we show that in many cases the induced Quillen equivalence is symmetric monoidal. Using our results we construct a symmetric monoidal algebraic model for rational cofree $G$-spectra. In the process, we also show that $L$-complete modules provide an abelian model for derived complete modules.


title: Excited Electronic States in Total Isotropic Scattering From Molecules

abstract: Ultrafast x-ray scattering experiments are routinely analyzed in terms of the isotropic scattering component. Here we present an analytical method for calculating total isotropic scattering directly from ab initio two-electron densities of ground and excited electronic states. The method is generalized to compute isotropic elastic, inelastic, and coherent mixed scattering. The computational results focus on the potential for differentiating between electronic states and on the composition of the total scattering in terms of elastic and inelastic scattering. By studying the umbrella motion in the first excited state of ammonia, we show that the associated electron density redistribution leaves a comparably constant fingerprint in the total signal that is similar in magnitude to the contribution from the changes in molecular geometry.


title: A user-guide to Gridap -- grid-based approximation of partial differential equations in Julia

abstract: We present Gridap, a new scientific software library for the numerical approximation of partial differential equations (PDEs) using grid-based approximations. Gridap is an open-source software project exclusively written in the Julia programming language. The main motivation behind the development of this library is to provide an easy-to-use framework for the development of complex PDE solvers in a dynamically typed style without sacrificing the performance of statically typed languages. This work is a tutorial-driven user guide to the library. It covers some popular linear and nonlinear PDE systems for scalar and vector fields, single and multi-field problems, conforming and nonconforming finite element discretizations, on structured and unstructured meshes of simplices and hexahedra.


title: Finite size effects on the ultrafast remagnetization dynamics of FePt

abstract: We investigate the ultrafast magnetization dynamics of FePt in the L10 phase after an optical heating pulse, as used in heat assisted magnetic recording. We compare continuous and nanogranular thin films and emphasize the impact of the finite size on the remagnetization dynamics. The remagnetization speeds up significantly with increasing external magnetic field only for the continuous film, where domain wall motion governs the dynamics. The ultrafast remagnetization dynamics in the continuous film are only dominated by heat transport in the regime of high magnetic fields, whereas the timescale required for cooling is prevalent in the granular film for all magnetic field strengths. These findings highlight the necessary conditions for studying the intrinsic heat transport properties in magnetic materials.


title: Theoretical calculation of atomic properties of superheavy elements Z=110-112 and their ions

abstract: We calculate the spectra, electric dipole transition rates and isotope shifts of the super heavy elements Ds (Z=110), Rg (Z=111) and Cn (Z=112) and their ions. These calculations were performed using a recently developed, efficient version of the ab initio configuration interaction combined with perturbation theory to treat distant effects. The successive ionization potentials of the three elements are also calculated and compared to lighter elements.


title: Neutrino oscillations in gravitational waves

abstract: We study spin and flavor oscillations of neutrinos under the influence of gravitational waves (GWs). We rederive the quasiclassical equation for the evolution of the neutrino spin in various external fields in curved spacetime starting from the Dirac equation for a massive neutrino. Then, we consider neutrino spin oscillations in nonmoving and unpolarized matter, a transverse magnetic field, and a plane GW. We show that a parametric resonance can take place in this system. We also study neutrino flavor oscillations in GWs. The equation for the density matrix of flavor neutrinos is solved when we discuss the neutrino interaction with stochastic GWs emitted by coalescing supermassive black holes. We find the fluxes of cosmic neutrinos, undergoing flavor oscillations in such a gravitational background, which can be potentially measured by a terrestrial detector. Some astrophysical applications of our results are considered.


title: Initial conditions of the universe: Decaying tensor modes

abstract: Many models of the early universe predict that there should be primordial tensor perturbations. These leave an imprint into the temperature and polarisation anisotropies of the cosmic microwave background (CMB). The differential equation describing the primordial tensor perturbations is a second order differential equation and thus has two solutions. Canonically, the decaying solution of this equation in radiation domination is dropped as it diverges at early times and on superhorizon scales while it is then suppressed at late times. Furthermore, if there is an inflationary phase prior to the radiation domination phase, the amplitude of the decaying mode will also be highly suppressed as it enters the radiation phase, thus its effect will be negligible. In this study we remain agnostic to the early universe models describing pre-radiation domination physics and allow this mode to be present and see what effect it has on the CMB anisotropies. We find that the decaying mode, if normalised at the same time on subhorizon scales as the growing mode leaves an imprint on the CMB anisotropies that is identical to the growing mode. Contrary to expectation, on large scales both modes are poorly constrained for a scale invariant spectrum, and the apparent divergence of the decaying mode does not lead to a divergent physical observable. Quantitatively, the decaying mode can be more constrained both from temperature and polarisation anisotropies. We use a model independent, non-parametric, approach to constrain both of these primordial tensor perturbations using the temperature and polarisation anisotropies. We find that both modes are best constrained at the reionisation and recombination bumps and crucially, at the reionisation bump the decaying mode can be distinguished from the growing mode.


title: Exploiting multi-CNN features in CNN-RNN based Dimensional Emotion Recognition on the OMG in-the-wild Dataset

abstract: This paper presents a novel CNN-RNN based approach, which exploits multiple CNN features for dimensional emotion recognition in-the-wild, utilizing the One-Minute Gradual-Emotion (OMG-Emotion) dataset. Our approach includes first pre-training with the relevant and large in size, Aff-Wild and Aff-Wild2 emotion databases. Low-, mid- and high-level features are extracted from the trained CNN component and are exploited by RNN subnets in a multi-task framework. Their outputs constitute an intermediate level prediction; final estimates are obtained as the mean or median values of these predictions. Fusion of the networks is also examined for boosting the obtained performance, at Decision-, or at Model-level; in the latter case a RNN was used for the fusion. Our approach, although using only the visual modality, outperformed state-of-the-art methods that utilized audio and visual modalities. Some of our developments have been submitted to the OMG-Emotion Challenge, ranking second among the technologies which used only visual information for valence estimation; ranking third overall. Through extensive experimentation, we further show that arousal estimation is greatly improved when low-level features are combined with high-level ones.


title: Generic aspects of holomorphic dynamics on highly flexible complex manifolds

abstract: We prove closing lemmas for automorphisms of a Stein manifold with the density property and for endomorphisms of an Oka-Stein manifold. In the former case we need to impose a new tameness condition. It follows that hyperbolic periodic points are dense in the tame non-wandering set of a generic automorphism of a Stein manifold with the density property and in the non-wandering set of a generic endomorphism of an Oka-Stein manifold. These are the first results about holomorphic dynamics on Oka manifolds. We strengthen previous results of ours on the existence and genericity of chaotic volume-preserving automorphisms of Stein manifolds with the volume density property. We build on work of Fornaess and Sibony: our main results generalise theorems of theirs and we use their methods of proof.


title: Exploring concurrency and reachability in the presence of high temporal resolution

abstract: Network properties govern the rate and extent of spreading processes on networks, from simple contagions to complex cascades. Recent advances have extended the study of spreading processes from static networks to temporal networks, where nodes and links appear and disappear. We review previous studies on the effects of temporal connectivity for understanding the spreading rate and outbreak size of model infection processes. We focus on the effects of "accessibility", whether there is a temporally consistent path from one node to another, and "reachability", the density of the corresponding "accessibility graph" representation of the temporal network. We study reachability in terms of the overall level of temporal concurrency between edges, quantifying the overlap of edges in time. We explore the role of temporal resolution of contacts by calculating reachability with the full temporal information as well as with a simplified interval representation approximation that demands less computation. We demonstrate the extent to which the computed reachability changes due to this simplified interval representation.


title: Statistical inference of subcritical strongly stationary Galton--Watson processes with regularly varying immigration

abstract: We describe the asymptotic behavior of the conditional least squares estimator of the offspring mean for subcritical strongly stationary Galton--Watson processes with regularly varying immigration with tail index $\alpha \in (1,2)$. The limit law is the ratio of two dependent stable random variables with indices $\alpha/2$ and $2\alpha/3$, respectively, and it has a continuously differentiable density function. We use point process technique in the proofs.


title: A simple model of Keratocyte membrane dynamics

abstract: We perform an analytical investigation of the cell interface dynamics in the framework of a minimal phase field model of cell motility suggested in [1], which consists of two coupled evolution equations for the order parameter and a two-dimensional vector field describing the actin network polarization (orientation). We derive a closed evolutionary integro-differential equation governing the cell interface dynamics. The equation includes the normal velocity of the membrane, curvature, volume relaxation, and a parameter that is determined by the non-equilibrium effects in the cytoskeleton. This equation can be simplified to obtain a Burgers-like equation. A condition on the system parameters for the existence of a stationary cell shape is obtained.


title: Twisted loop transgression and higher Jandl gerbes over finite groupoids

abstract: Given a double cover $\pi: \mathcal{G} \rightarrow \hat{\mathcal{G}}$ of finite groupoids, we explicitly construct twisted loop transgression maps, $\tau_{\pi}$ and $\tau_{\pi}^{ref}$, thereby associating to a Jandl $n$-gerbe $\hat{\lambda}$ on $\hat{\mathcal{G}}$ a Jandl $(n-1)$-gerbe $\tau_{\pi}(\hat{\lambda})$ on the quotient loop groupoid of $\mathcal{G}$ and an ordinary $(n-1)$-gerbe $\tau^{ref}_{\pi}(\hat{\lambda})$ on the unoriented quotient loop groupoid of $\mathcal{G}$. For $n =1,2$, we interpret the character theory (resp. centre) of the category of Real $\hat{\lambda}$-twisted $n$-vector bundles over $\hat{\mathcal{G}}$ in terms of flat sections of the $(n-1)$-vector bundle associated to $\tau_{\pi}^{ref}(\hat{\lambda})$ (resp. the Real $(n-1)$-vector bundle associated to $\tau_{\pi}(\hat{\lambda})$). We relate our results to Real versions of twisted Drinfeld doubles and pointed fusion categories and to discrete torsion in orientifold string and M-theory.


title: A Commentary on "Breaking Row and Column Symmetries in Matrix Models"

abstract: The CP 2002 paper entitled "Breaking Row and Column Symmetries in Matrix Models" by Flener et al. (https://link.springer.com/chapter/10.1007%2F3-540-46135-3_31) describes some of the first work for identifying and analyzing row and column symmetry in matrix models and for efficiently and effectively dealing with such symmetry using static symmetry-breaking ordering constraints. This commentary provides a retrospective on that work and highlights some of the subsequent work on the topic.


title: Q-tensor model of twist-bend and splay nematic phases

abstract: The twist-bend nematic phase (NTB) is characterized by a conically twisting director and by a dramatic softening of the bend elastic constant before the transition to NTB phase. In the recently found splay nematic phase (NS) the splay elastic constant tends to zero, resulting in a splay modulation perpendicular to the director. We model both phases with a single Q-tensor free energy including a term that breaks the degeneracy between the splay and bend elastic constant, and a flexoelectric term coupling the divergence of the Q-tensor with polarization. NTB or NS phase is obtained by a change of sign of one elastic parameter. Measured elastic constants show that N-NTB transition is mainly driven by the increase of the nematic order, while the NS transition is due to flexoelectric coupling.


title: Crowded Solutions of Single-Chain Nanoparticles under Shear Flow

abstract: Single-chain nanoparticles (SCNPs) are ultrasoft objects obtained through purely intramolecular cross-linking of single polymer chains. By means of computer simulations with implemented hydrodynamic interactions, we investigate for the first time the effect of the shear flow on the structural and dynamic properties of SCNPs in semidilute solutions. We characterize the dependence of several conformational and dynamic observables on the shear rate and the concentration, obtaining a set of power-law scaling laws. The concentration has a very different effect on the shear rate dependence of the former observables in SCNPs than in simple linear chains. Whereas for the latter the scaling behavior is marginally dependent on the concentration, two clearly different scaling regimes are found for the SCNPs below and above the overlap concentration. At fixed shear rate SCNPs and linear chains also respond very differently to crowding. Whereas, at moderate and high Weissenberg numbers the linear chains swell, the SCNPs exhibit a complex non-monotonic behavior. These findings are inherently related to the topological interactions preventing concatenation of the SCNP loops, leading to less interpenetration than for linear chains.


title: High-dimensional Dense Residual Convolutional Neural Network for Light Field Reconstruction

abstract: We consider the problem of high-dimensional light field reconstruction and develop a learning-based framework for spatial and angular super-resolution. Many current approaches either require disparity clues or restore the spatial and angular details separately. Such methods have difficulties with non-Lambertian surfaces or occlusions. In contrast, we formulate light field super-resolution (LFSR) as tensor restoration and develop a learning framework based on a two-stage restoration with 4-dimensional (4D) convolution. This allows our model to learn the features capturing the geometry information encoded in multiple adjacent views. Such geometric features vary near the occlusion regions and indicate the foreground object border. To train a feasible network, we propose a novel normalization operation based on a group of views in the feature maps, design a stage-wise loss function, and develop the multi-range training strategy to further improve the performance. Evaluations are conducted on a number of light field datasets including real-world scenes, synthetic data, and microscope light fields. The proposed method achieves superior performance and less execution time comparing with other state-of-the-art schemes.


title: Real-time Dispatching and Relocation of Emergency Service Engineers

abstract: Capital goods such as complex medical equipment, trains and manufacturing machinery are essential to their users' business, and thus have stringent up-time requirements. Responsive maintenance is crucial for meeting these requirements, which in turn relies on the timely availability of both spare parts and service engineers. Spare parts management for maintenance is well-studied in the research literature, but managing the service engineers has received relatively little attention. In this paper, we consider a network of geographically distributed capital goods, maintained by a set of service engineers who can respond quickly to machine breakdowns. We are interested in the question which service engineers to dispatch to what breakdowns, and how to relocate these engineers to maintain good coverage. We propose and evaluate a range of scalable dispatching and relocation heuristics inspired by the extensive research literature in the domain of emergency medical services. We compare the proposed heuristics against each other using comprehensive simulation experiments, and benchmark the best combination of dispatching and relocation heuristics against the optimal policy. We find that this heuristic performs close to optimal, while easily scaling to realistic-sized networks, making it suitable for practical applications.


title: Approximate Dynamic Programming for Real-time Dispatching and Relocation of Emergency Service Engineers

abstract: Quick response times are paramount for minimizing downtime in spare parts networks for capital goods, such as medical and manufacturing equipment. To guarantee that the maintenance is performed in a timely fashion, strategic management of both spare parts and service engineers is essential. While there is a rich body of research literature devoted to spare parts management, the problem of real-time management of service engineers has drawn relatively little attention. Motivated by this, we consider how to dispatch service engineers to breakdowns, and how to relocate idle engineers between base stations. We develop an approximate dynamic programming (ADP) approach to produce dispatching and relocation policies, and propose two new algorithms to tune the ADP policy. We conduct extensive computational experiments to compare the ADP policy against two benchmark policies by means of simulation. These demonstrate that the ADP approach can generate high-quality solutions that outperform both benchmarks across a wide range of networks and parameters. We observe significant improvements in terms of fraction of late arrivals over the two benchmarks, without increase in average response time.


title: Stability Analysis of Perturbed Infinite-dimensional Sampled-data Systems

abstract: This paper addresses the stability analysis of infinite-dimensional sampled-data systems under unbounded perturbations. We present two classes of unbounded perturbations preserving the exponential stability of sampled-data systems. To this end, we investigate the continuity of strongly continuous semigroups with respect to their generators, considering the uniform operator topology.


title: A Method to Determine the Electric Field of Liquid Argon Time Projection Chambers Using a UV Laser System and its Application in MicroBooNE

abstract: Liquid argon time projection chambers (LArTPCs) are now a standard detector technology for making accelerator neutrino measurements, due to their high material density, precise tracking, and calorimetric capabilities. An electric field (E-field) is required in such detectors to drift ionized electrons to the anode to be collected. The E-field of a TPC is often approximated to be uniform between the anode and the cathode planes. However, significant distortions can appear from effects such as mechanical deformations, electrode failures, or the accumulation of space charge generated by cosmic rays. The latter is particularly relevant for detectors placed near the Earth's surface and with large drift distances and long drift time. To determine the E-field in situ, an ultraviolet (UV) laser system is installed in the MicroBooNE experiment at Fermi National Accelerator Laboratory. The purpose of this system is to provide precise measurements of the E-field, and to make it possible to correct for 3D spatial distortions due to E-field non-uniformities. Here we describe the methodology developed for deriving spatial distortions, the drift velocity and the E-field from UV-laser measurements.


title: Possibility of rapid neutron star cooling with the realistic equation of state

abstract: Whether fast cooling processes occur or not is crucial for the thermal evolution of neutron stars. In particular, the threshold of the direct Urca process, which is one of the fast cooling processes, is determined by the interior proton fraction $Y_p$, or the nuclear symmetry energy. Since recent observations indicate the small radius of neutron stars, a low value is preferred for the symmetry energy. In this study, simulations of neutron star cooling are performed adopting three models for equation of state (EoS): Togashi, Shen, and LS220 EoSs. The Togashi EoS has been recently constructed with realistic nuclear potentials under finite temperature, and found to account for the small radius of neutron stars. As a result, we find that, since the direct Urca process is forbidden, the neutron star cooling is slow with use of the Togashi EoS. This is because symmetry energy of Togashi EoS is lower than those of other EoSs. Hence, in order to account for observed age and surface temperature of isolated neutron stars (INS) with use of the Togashi EoS, other fast cooling processes are needed regardless of the surface composition.


title: The Bouncer Problem: Challenges to Remote Explainability

abstract: The concept of explainability is envisioned to satisfy society's demands for transparency on machine learning decisions. The concept is simple: like humans, algorithms should explain the rationale behind their decisions so that their fairness can be assessed. While this approach is promising in a local context (e.g. to explain a model during debugging at training time), we argue that this reasoning cannot simply be transposed in a remote context, where a trained model by a service provider is only accessible through its API. This is problematic as it constitutes precisely the target use-case requiring transparency from a societal perspective. Through an analogy with a club bouncer (which may provide untruthful explanations upon customer reject), we show that providing explanations cannot prevent a remote service from lying about the true reasons leading to its decisions. More precisely, we prove the impossibility of remote explainability for single explanations, by constructing an attack on explanations that hides discriminatory features to the querying user. We provide an example implementation of this attack. We then show that the probability that an observer spots the attack, using several explanations for attempting to find incoherences, is low in practical settings. This undermines the very concept of remote explainability in general.


title: Thermal dark matter abundance under non-standard macroscopic conditions in the early universe

abstract: The standard theoretical estimation of the thermal dark matter abundance may be significantly altered if properties of dark matter particles in the early universe and at the present cosmological epoch differ. This may happen if, e.g., a cosmological phase existed in the early universe during which dark matter particles were temporarily unstable and their abundance was reduced through their decays. We argue that a large class of microscopic theories which are rejected due to the dark matter overproduction, may actually be viable theories if certain macroscopic conditions were satisfied in the early universe. We explicitly demonstrate our mechanism within the minimal supersymmetric standard model with the bino-like lightest supersymmetric particle being a phenomenologically viable dark matter candidate under the condition that the early universe carried a global R-charge which induced the instability phase.


title: Distribution of the Ratio of Consecutive Level Spacings for Different Symmetries and Degrees of Chaos

abstract: Theoretical expressions for the distribution of the ratio of consecutive level spacings for quantum systems with transiting dynamics remain unknown. We propose a family of one-parameter distributions $P(r)\equiv P(r;\beta)$, where $\beta\in[0,+\infty)$ is a generalized Dyson index, that describes the eigenlevel statistics of a quantum system characterized by different symmetries and degrees of chaos. We show that this crossover strongly depends on the specific properties of each model, and thus the reduction of such a family to a universal formula, albeit desirable, is not possible. We use the information entropy as a criterion to suggest particular ansatzs for different transitions, with a negligible associated error in the limits corresponding to standard random ensembles.

categories: quant-ph cond-mat.stat-mech math-ph math.MP nlin.CD


title: The homotopy significant spectrum compared to the Krasnoselskii spectrum

abstract: How to generalize the concept of eigenvalues of quadratic forms to eigenvalues of arbitrary, even, homogeneous continuous functionals, if stability of the set of eigenvalues under small perturbations is required? We compare two possible generalizations, Gromov's homotopy significant spectrum and the Krasnoselskii spectrum. We show that in the finite dimensional case, the Krasnoselskii spectrum is contained in the homotopy significant spectrum, but provide a counterexample to the opposite inclusion. Moreover, we propose a small modification of the definition of the homotopy significant spectrum for which we can prove stability. Finally, we show that the Cheeger constant of a closed Riemannian manifold corresponds to the second Krasnoselskii eigenvalue.


title: Coarse-grained collisionless dynamics with long-range interactions

abstract: We present an effective evolution equation for a coarse-grained distribution function of a long-range-interacting system preserving the symplectic structure of the non-collisional Boltzmann, or Vlasov, equation. We first derive a general form of such an equation based on symmetry considerations only. Then, we explicitly derive the equation for one-dimensional systems, finding that it has the form predicted on general grounds. Finally, we use such an equation to predict the dependence of the damping times on the coarse-graining scale and numerically check it for some one-dimensional models, including the Hamiltonian Mean Field (HMF) model, a scalar field with quartic interaction, a 1-d self-gravitating system, and the Self-Gravitating Ring (SGR).


title: On the pair correlations of powers of real numbers

abstract: A classical theorem of Koksma states that for Lebesgue almost every $x>1$ the sequence $(x^n)_{n=1}^{\infty}$ is uniformly distributed modulo one. In the present paper we extend Koksma's theorem to the pair correlation setting. More precisely, we show that for Lebesgue almost every $x>1$ the pair correlations of the fractional parts of $(x^n)_{n=1}^{\infty}$ are asymptotically Poissonian. The proof is based on a martingale approximation method.


title: Optimal Convergence Trading with Unobservable Pricing Errors

abstract: We study a dynamic portfolio optimization problem related to convergence trading, which is an investment strategy that exploits temporary mispricing by simultaneously buying relatively underpriced assets and selling short relatively overpriced ones with the expectation that their prices converge in the future. We build on the model of Liu and Timmermann (2013) and extend it by incorporating unobservable Markov-modulated pricing errors into the price dynamics of two co-integrated assets. We characterize the optimal portfolio strategies in full and partial information settings both under the assumption of unrestricted and beta-neutral strategies. By using the innovations approach, we provide the filtering equation that is essential for solving the optimization problem under partial information. Finally, in order to illustrate the model capabilities, we provide an example with a two-state Markov chain.


title: Limit theorems for numbers of multiple returns in nonconventional arrays

abstract: For a $\psi$-mixing process $\xi_0,\xi_1,\xi_2,...$ we consider the number $\mathcal{N}_N$ of multiple returns $\{\xi_{q_{i,N}(n)}\in\Gamma_N,\, i=1,...,\ell\}$ to a set $\Gamma_N$ for $n$ until either a fixed number $N$ or until the moment $\tau_N$ when another multiple return $\{\xi_{q_{i,N}(n)}\in\Delta_N,\, i=1,...,\ell\}$ takes place for the first time where $\Gamma_N\cap\Delta_N=\emptyset$ and $q_{i,N},\, i=1,...,\ell$ are certain functions of $n$ taking on nonnegative integer values when $n$ runs from 0 to $N$. The dependence of $q_{i,N}(n)$'s on both $n$ and $N$ is the main novelty of the paper. Under some restrictions on the functions $q_{i,N}$ we obtain Poisson distributions limits of $\mathcal{N}_N$ when counting is until $N$ as $N\to\infty$ and geometric distributions limits when counting is until $\tau_N$ as $N\to\infty$. We obtain also similar results in the dynamical systems setup considering a $\psi$-mixing shift $T$ on a sequence space $\Omega$ and studying the number of multiple returns $\{ T^{q_{i,N}(n)}\omega\in A^a_n,\, i=1,...,\ell\}$ until the first occurrence of another multiple return $\{ T^{q_{i,N}(n)}\omega\in A^b_m,\, i=1,...,\ell\}$ where $A^a_n,\, A_m^b$ are cylinder sets of length $n$ and $m$ constructed by sequences $a,b\in\Omega$, respectively, and chosen so that their probabilities have the same order.


title: Dark matter scattering cross section and dynamics in dark Yang-Mills theory

abstract: We calculate for the first time the scattering cross section between lightest glueballs in $SU(2)$ pure Yang-Mills theory, which are good candidates of dark matter. In the first step, we evaluate the interglueball potential on lattice using the HAL QCD method, with several lattice spacings ($\beta = 2.1, 2.2, 2.3, 2.4$, and 2.5). The systematics associated with nonzero angular momentum effect is removed by subtracting the centrifugal force. The statistical accuracy is improved by employing the cluster-decomposition error reduction technique and by using all space-time symmetries. We then determine the low energy glueball effective Lagrangian and the scattering cross section at low energy, which is compared with the observational constraint on the dark matter self-scattering. We derive the lower bound on the scale parameter of the $SU(2)$ Yang-Mills theory, as $\Lambda > 60$ MeV.


title: Can Sentiment Analysis Reveal Structure in a Plotless Novel?

abstract: Modernist novels are thought to break with traditional plot structure. In this paper, we test this theory by applying Sentiment Analysis to one of the most famous modernist novels, To the Lighthouse by Virginia Woolf. We first assess Sentiment Analysis in light of the critique that it cannot adequately account for literary language: we use a unique statistical comparison to demonstrate that even simple lexical approaches to Sentiment Analysis are surprisingly effective. We then use the Syuzhet.R package to explore similarities and differences across modeling methods. This comparative approach, when paired with literary close reading, can offer interpretive clues. To our knowledge, we are the first to undertake a hybrid model that fully leverages the strengths of both computational analysis and close reading. This hybrid model raises new questions for the literary critic, such as how to interpret relative versus absolute emotional valence and how to take into account subjective identification. Our finding is that while To the Lighthouse does not replicate a plot centered around a traditional hero, it does reveal an underlying emotional structure distributed between characters - what we term a distributed heroine model. This finding is innovative in the field of modernist and narrative studies and demonstrates that a hybrid method can yield significant discoveries.


title: CLEVRER: CoLlision Events for Video REpresentation and Reasoning

abstract: The ability to reason about temporal and causal events from videos lies at the core of human intelligence. Most video reasoning benchmarks, however, focus on pattern recognition from complex visual and language input, instead of on causal structure. We study the complementary problem, exploring the temporal and causal structures behind videos of objects with simple visual appearance. To this end, we introduce the CoLlision Events for Video REpresentation and Reasoning (CLEVRER), a diagnostic video dataset for systematic evaluation of computational models on a wide range of reasoning tasks. Motivated by the theory of human casual judgment, CLEVRER includes four types of questions: descriptive (e.g., "what color"), explanatory ("what is responsible for"), predictive ("what will happen next"), and counterfactual ("what if"). We evaluate various state-of-the-art models for visual reasoning on our benchmark. While these models thrive on the perception-based task (descriptive), they perform poorly on the causal tasks (explanatory, predictive and counterfactual), suggesting that a principled approach for causal reasoning should incorporate the capability of both perceiving complex visual and language inputs, and understanding the underlying dynamics and causal relations. We also study an oracle model that explicitly combines these components via symbolic representations.


title: Efficient Community Detection in Boolean Composed Multiplex Networks

abstract: Networks (or graphs) are used to model the dyadic relations between entities in a complex system. In cases where there exists multiple relations between the entities, the complex system can be represented as a multilayer network, where the network in each layer represents one particular relation (or feature). The analysis of multilayer networks involves combining edges from specific layers and then computing a network property. Different subsets of the layers can be combined. For any Boolean combination operation (e.g. AND, OR), the number of possible subsets is exponential to the number of layers. Thus recomputing for each subset from scratch is an expensive process. In this paper, we propose to efficiently analyze multilayer networks using a method that we term network decomposition. Network decomposition is based on analyzing each network layer individually and then aggregating the analysis results. We demonstrate the effectiveness of using network decomposition for detecting communities on different combinations of network layers. Our results on multilayer networks obtained from real-world and synthetic datasets show that our proposed network decomposition method requires significantly lower computation time while producing results of high accuracy.


title: Asymmetric Tri-training for Debiasing Missing-Not-At-Random Explicit Feedback

abstract: In most real-world recommender systems, the observed rating data are subject to selection bias, and the data are thus missing-not-at-random. Developing a method to facilitate the learning of a recommender with biased feedback is one of the most challenging problems, as it is widely known that naive approaches under selection bias often lead to suboptimal results. A well-established solution for the problem is using propensity scoring techniques. The propensity score is the probability of each data being observed, and unbiased performance estimation is possible by weighting each data by the inverse of its propensity. However, the performance of the propensity-based unbiased estimation approach is often affected by choice of the propensity estimation model or the high variance problem. To overcome these limitations, we propose a model-agnostic meta-learning method inspired by the asymmetric tri-training framework for unsupervised domain adaptation. The proposed method utilizes two predictors to generate data with reliable pseudo-ratings and another predictor to make the final predictions. In a theoretical analysis, a propensity-independent upper bound of the true performance metric is derived, and it is demonstrated that the proposed method can minimize this bound. We conduct comprehensive experiments using public real-world datasets. The results suggest that the previous propensity-based methods are largely affected by the choice of propensity models and the variance problem caused by the inverse propensity weighting. Moreover, we show that the proposed meta-learning method is robust to these issues and can facilitate in developing effective recommendations from biased explicit feedback.


title: Analyzing the Spotify Top 200 Through a Point Process Lens

abstract: Every generation throws a hero up the pop charts. For the current generation, one of the most relevant pop charts is the Spotify Top 200. Spotify is the world's largest music streaming service and the Top 200 is a daily list of the platform's 200 most streamed songs. In this paper, we analyze a data set collected from over 20 months of these rankings. Via exploratory data analysis, we investigate the popularity, rarity, and longevity of songs on the Top 200 and we construct a stochastic process model for the daily streaming counts that draws upon ideas from stochastic intensity point processes and marked point processes. Using the parameters of this model as estimated from the Top 200 data, we apply a clustering algorithm to identify songs with similar features and performance.


title: Comments on a recently proposed Privacy Preserving Lightweight Biometric Authentication System for IoT Security

abstract: In this paper, we show that a recently published lightweight adaptation of a Fingerprint matching algorithm called the Minutia Cylinder-Code may not be secure as intruders may be able to illegitimately yet successfully authenticate themselves to the system under consideration. We also show that the lightweight adaptation has other privacy related vulnerabilities that make it unsuitable for use in Biometrics. We make it clear that we are neither investigating nor commenting on the security of the original Minutia Cylinder-Code algorithm by itself, rather we highlight the vulnerabilities of the lightweight adaptation. In the process of doing this, we provide a high-level overview of the role of one-way functions in cryptography and biometrics to provide a context to the aforementioned lightweight algorithm and its deficiencies.


title: I Know You'll Be Back: Interpretable New User Clustering and Churn Prediction on a Mobile Social Application

abstract: As online platforms are striving to get more users, a critical challenge is user churn, which is especially concerning for new users. In this paper, by taking the anonymous large-scale real-world data from Snapchat as an example, we develop \textit{ClusChurn}, a systematic two-step framework for interpretable new user clustering and churn prediction, based on the intuition that proper user clustering can help understand and predict user churn. Therefore, \textit{ClusChurn} firstly groups new users into interpretable typical clusters, based on their activities on the platform and ego-network structures. Then we design a novel deep learning pipeline based on LSTM and attention to accurately predict user churn with very limited initial behavior data, by leveraging the correlations among users' multi-dimensional activities and the underlying user types. \textit{ClusChurn} is also able to predict user types, which enables rapid reactions to different types of user churn. Extensive data analysis and experiments show that \textit{ClusChurn} provides valuable insight into user behaviors, and achieves state-of-the-art churn prediction performance. The whole framework is deployed as a data analysis pipeline, delivering real-time data analysis and prediction results to multiple relevant teams for business intelligence uses. It is also general enough to be readily adopted by any online systems with user behavior data.


title: Similarity Modeling on Heterogeneous Networks via Automatic Path Discovery

abstract: Heterogeneous networks are widely used to model real-world semi-structured data. The key challenge of learning over such networks is the modeling of node similarity under both network structures and contents. To deal with network structures, most existing works assume a given or enumerable set of meta-paths and then leverage them for the computation of meta-path-based proximities or network embeddings. However, expert knowledge for given meta-paths is not always available, and as the length of considered meta-paths increases, the number of possible paths grows exponentially, which makes the path searching process very costly. On the other hand, while there are often rich contents around network nodes, they have hardly been leveraged to further improve similarity modeling. In this work, to properly model node similarity in content-rich heterogeneous networks, we propose to automatically discover useful paths for pairs of nodes under both structural and content information. To this end, we combine continuous reinforcement learning and deep content embedding into a novel semi-supervised joint learning framework. Specifically, the supervised reinforcement learning component explores useful paths between a small set of example similar pairs of nodes, while the unsupervised deep embedding component captures node contents and enables inductive learning on the whole network. The two components are jointly trained in a closed loop to mutually enhance each other. Extensive experiments on three real-world heterogeneous networks demonstrate the supreme advantages of our algorithm.


title: A Data Science Approach for Honeypot Detection in Ethereum

abstract: Ethereum smart contracts have recently drawn a considerable amount of attention from the media, the financial industry and academia. With the increase in popularity, malicious users found new opportunities to profit by deceiving newcomers. Consequently, attackers started luring other attackers into contracts that seem to have exploitable flaws, but that actually contain a complex hidden trap that in the end benefits the contract creator. In the blockchain community, these contracts are known as honeypots. A recent study presented a tool called HONEYBADGER that uses symbolic execution to detect honeypots by analyzing contract bytecode. In this paper, we present a data science detection approach based foremost on the contract transaction behavior. We create a partition of all the possible cases of fund movements between the contract creator, the contract, the transaction sender and other participants. To this end, we add transaction aggregated features, such as the number of transactions and the corresponding mean value and other contract features, for example compilation information and source code length. We find that all aforementioned categories of features contain useful information for the detection of honeypots. Moreover, our approach allows us to detect new, previously undetected honeypots of already known techniques. We furthermore employ our method to test the detection of unknown honeypot techniques by sequentially removing one technique from the training set. We show that our method is capable of discovering the removed honeypot techniques. Finally, we discovered two new techniques that were previously not known.


title: Quantum Criticality of Excitonic Insulating Transition in Nodal Line Semimetal ZrSiS

abstract: Pezzini et al. reported an unconventional mass enhancement in topological nodal line semimetal ZrSiS (Nat. Phys. 14, 178 (2018), whose origin remains puzzling. In this material, strong short-range interactions might induce excitonic particle-hole pairs. Here we study the renormalization of fermion velocities and find that the mass enhancement in ZrSiS can be well understood if we suppose that ZrSiS is close to the quantum critical point between semimetal and excitonic insulator. Near this quantum critical point, the fermion velocities are considerably reduced by excitonic quantum fluctuation, leading to fermion mass enhancement. The quasiparticle residue is suppressed as the energy decreases but is finite at zero energy. This indicates that ZrSiS is a strongly correlated Fermi liquid, and explains why the mass enhancement is weaker than non-Fermi liquids. Our results suggest that ZrSiS is a rare example of 3D topological semimetal exhibiting unusual quantum criticality.


title: CubeNet: Multi-Facet Hierarchical Heterogeneous Network Construction, Analysis, and Mining

abstract: Due to the ever-increasing size of data, construction, analysis and mining of universal massive networks are becoming forbidden and meaningless. In this work, we outline a novel framework called CubeNet, which systematically constructs and organizes real-world networks into different but correlated semantic cells, to support various downstream network analysis and mining tasks with better flexibility, deeper insights and higher efficiency. Particular, we promote our recent research on text and network mining with novel concepts and techniques to (1) construct four real-world large-scale multi-facet hierarchical heterogeneous networks; (2) enable insightful OLAP-style network analysis; (3) facilitate localized and contextual network mining. Although some functions have been covered individually in our previous work, a systematic and efficient realization of an organic system has not been studied, while some functions are still our on-going research tasks. By integrating them, CubeNet may not only showcase the utility of our recent research, but also inspire and stimulate future research on effective, insightful and scalable knowledge discovery under this novel framework.


title: Canonical Formulation of a New Action for a Non-relativistic Particle Coupled to Gravity

abstract: A detailed canonical treatment of a new action for a nonrelativistic particle coupled to background gravity, recently given by us, is performed both in the Lagrangian and Hamiltonian formulations. The equation of motion is shown to satisfy the geodesic equation in the Newton-Cartan background, thereby clearing certain confusions. The Hamiltonian analysis is done in the gauge independent as well as gauge fixed approaches, following Dirac's analysis of constraints. The physical (canonical) variables are identified and the path to canonical quantisation is outlined by explicitly deriving the Schroedinger equation.


title: D2D-LSTM based Prediction of the D2D Diffusion Path in Mobile Social Networks

abstract: Recently, how to expand data transmission to reduce cell data and repeated cell transmission has received more and more research attention. In mobile social networks, content popularity prediction has always been an important part of traffic offloading and expanding data dissemination. However, current mainstream content popularity prediction methods only use the number of downloads and shares or the distribution of user interests, which do not consider important time and geographic location information in mobile social networks, and all of data is from OSN which is not same as MSN. In this work, we propose D2D Long Short-Term Memory (D2D-LSTM), a deep neural network based on LSTM, which is designed to predict a complete D2D diffusion path. Our work is the first attempt in the world to use real data of MSN to predict diffusion path with deep neural networks which conforms to the D2D structure. Compared to linear sequence networks, only learn users' social features without time distribution or GPS distribution and files' content features, our model can predict the propagation path more accurately (up to 85.858\%) and can reach convergence faster (less than 100 steps) because of the neural network that conforms to the D2D structure and combines user social features and files features. Moreover, we can simulate generating a D2D propagation tree. After experiment and comparison, it is found to be very similar to the ground-truth trees. Finally, we define a user prototype refinement that can more accurately describe the propagation sharing habits of a prototype user (including content preferences, time preferences, and geographic location preferences), and experimentally validate the predictions when the user prototype is added to 1000 classes, it is almost identical to the 50 categories.


title: Higher-dimensional Auslander-Reiten theory on $(d+2)$-angulated categories

abstract: Let $\mathscr{C}$ be a $(d+2)$-angulated category with $d$-suspension functor $\Sigma^d$. Our main results show that every Serre functor on $\mathscr{C}$ is a $(d+2)$-angulated functor. We also show that $\mathscr{C}$ has a Serre functor $\mathbb{S}$ if and only if $\mathscr{C}$ has Auslander--Reiten $(d+2)$-angles. Moreover, $\tau_d=\mathbb{S}\Sigma^{-d}$ where $\tau_d$ is $d$-Auslander-Reiten translation. These results generalize work by Bondal-Kapranov and Reiten-Van den Bergh. As an application, we prove that for a strongly functorially finite subcategory $\mathscr{X}$ of $\mathscr{C}$, the quotient category $\mathscr{C}/\mathscr{X}$ is a $(d+2)$-angulated category if and only if $(\mathscr{C},\mathscr{C})$ is an $\mathscr{X}$-mutation pair, and if and only if $\tau_d\mathscr{X}=\mathscr{X}$.


title: The evolution of the Line of Variations at close encounters: an analytic approach

abstract: We study the post-encounter evolution of fictitious small bodies belonging to the so-called Line of Variations (LoV) in the framework of the analytic theory of close encounters. We show the consequences of the encounter on the local minimum of the distance between the orbit of the planet and that of the small body, and get a global picture of the way in which the planetocentric velocity vector is affected by the encounter. The analytical results are compared with those of numerical integrations of the restricted 3-body problem.


title: Inertial migration of a deformable particle in pipe flow

abstract: We perform fully Eulerian numerical simulations of an initially spherical hyperelastic particle suspended in a Newtonian pressure-driven flow in a cylindrical straight pipe. We study the full particle migration and deformation for different Reynolds numbers and for various levels of particle elasticity, to disentangle the interplay of inertia and elasticity on the particle focusing. We observe that the particle deforms and undergoes a lateral displacement while traveling downstream through the pipe, finally focusing at the pipe centerline. We note that the migration dynamics and the final equilibrium position are almost independent of the Reynolds number, while they strongly depend on the particle elasticity; in particular, the migration is faster as the elasticity increases (i.e. the particle is more deformable), with the particle reaching the final equilibrium position at the centerline in shorter times. Our simulations show that the results are not affected by the particle initial conditions, position and velocity. Finally, we explain the particle migration by computing the total force acting on the particle and its different components, viscous and elastic.


title: Gluino Search with Stop and Top in Nonuniversal Gaugino Mass Models at LHC and Future Colliders

abstract: We discuss the gluino mass in the CMSSM and Nonuniversal Gaugino Mass Models (NUGM) frameworks in light of the results from the current LHC and Dark Matter experiments. We probe the gluino mass scales by considering its decay modes into stop and top quarks, $\tilde{g}\rightarrow \tilde{t}_{1}t$ and $\tilde{g}\rightarrow \bar{t}t\tilde{\chi}_{1}^{0}$, where $\tilde{t}_{1}t$ represents both $\tilde{t}_{1}\bar{t}$ and $\tilde{t}_{1}^{*}t$. The region with $m_{\tilde{g}} \lesssim 2$ TeV is excluded up to $68\%$ CL in the CMSSM if the gluino decays into a stop and top quark, while the $95\%$ CL exclusion requires $m_{\tilde{g}}\gtrsim 1.9$ TeV. Such exclusion bounds on the gluino mass more or less overlap with the current LHC results. The decay mode $\tilde{g}\rightarrow \bar{t}t\tilde{\chi}_{1}^{0}$ may take over if $\tilde{g}\rightarrow \tilde{t}_{1}t$ is not allowed. One can probe the gluino mass in this case up to about 1.5 TeV with $68\%$ CL in the CMSSM, and about 1.4 TeV with $95\%$ CL. A similar analyses in the NUGM framework yield exclusion curves for the gluino mass $m_{\tilde{g}}\gtrsim 2.1$ TeV at 14 TeV for both decay modes of the gluino under consideration. We also show that increasing the center of mass energy to 27 TeV can probe the gluino mass up to about 3 TeV through its decay mode into stop and top quark. The Dark Matter constraints are not very severe in the framework of NUGM, and they allow solutions with $m_{\tilde{g}},m_{\tilde{t}} \gtrsim 1$ TeV. In addition, with NUGM the LSP neutralino can coannihilate with gluino and/or stop for $m_{\tilde{g}},m_{\tilde{t}}\approx m_{\tilde{\chi}_{1}^{0}} \in [0.9-1.5]$ TeV. The 100 TeV FCC collider can probe the gluino masses up to about 6 TeV with $36.1~fb^{-1}$ integrated luminosity. We also find that the decay $\tilde{g}\rightarrow \tilde{t}t$ can indirectly probe the stop mass up to about 4 TeV.


title: Attention Based Neural Architecture for Rumor Detection with Author Context Awareness

abstract: The prevalence of social media has made information sharing possible across the globe. The downside, unfortunately, is the wide spread of misinformation. Methods applied in most previous rumor classifiers give an equal weight, or attention, to words in the microblog, and do not take the context beyond microblog contents into account; therefore, the accuracy becomes plateaued. In this research, we propose an ensemble neural architecture to detect rumor on Twitter. The architecture incorporates word attention and context from the author to enhance the classification performance. In particular, the word-level attention mechanism enables the architecture to put more emphasis on important words when constructing the text representation. To derive further context, microblog posts composed by individual authors are exploited since they can reflect style and characteristics in spreading information, which are significant cues to help classify whether the shared content is rumor or legitimate news. The experiment on the real-world Twitter dataset collected from two well-known rumor tracking websites demonstrates promising results.


title: Identifying Malicious Players in GWAP-based Disaster Monitoring Crowdsourcing System

abstract: Disaster monitoring is challenging due to the lake of infrastructures in monitoring areas. Based on the theory of Game-With-A-Purpose (GWAP), this paper contributes to a novel large-scale crowdsourcing disaster monitoring system. The system analyzes tagged satellite pictures from anonymous players, and then reports aggregated and evaluated monitoring results to its stakeholders. An algorithm based on directed graph centralities is presented to address the core issues of malicious user detection and disaster level calculation. Our method can be easily applied in other human computation systems. In the end, some issues with possible solutions are discussed for our future work.


title: 3D Neighborhood Convolution: Learning Depth-Aware Features for RGB-D and RGB Semantic Segmentation

abstract: A key challenge for RGB-D segmentation is how to effectively incorporate 3D geometric information from the depth channel into 2D appearance features. We propose to model the effective receptive field of 2D convolution based on the scale and locality from the 3D neighborhood. Standard convolutions are local in the image space ($u, v$), often with a fixed receptive field of 3x3 pixels. We propose to define convolutions local with respect to the corresponding point in the 3D real-world space ($x, y, z$), where the depth channel is used to adapt the receptive field of the convolution, which yields the resulting filters invariant to scale and focusing on the certain range of depth. We introduce 3D Neighborhood Convolution (3DN-Conv), a convolutional operator around 3D neighborhoods. Further, we can use estimated depth to use our RGB-D based semantic segmentation model from RGB input. Experimental results validate that our proposed 3DN-Conv operator improves semantic segmentation, using either ground-truth depth (RGB-D) or estimated depth (RGB).


title: RNGA for non-square multivariable control systems: properties and application

abstract: The Relative Gain Array (RGA) and Relative Normalized Gain Array (RNGA) have received considerable attention for square systems. In this paper RNGA with the column-major, for non-square multivariable systems is introduced. RNGA of the paper has a row-column inequality, i.e. the number of rows is less than the number of columns. Unlike the conventional RGA, the RNGA loop pairing criteria of the paper considers both steady-state as well as transient information for the assessment of control-loop interactions. The RNGA for square systems is extended for non-square multivariable systems by thoroughly deriving its supporting properties. The RNGA method is applied to a non-square multivariable radiator laboratory test setup for loop pairing. Closed-loop results arising from the RNGA-based loop pairing are depicted in the paper. The lacuna of the conventional RGA loop pairing has been overcome by the application of the developed RNGA of this paper. The results unfold the effectiveness of RNGA over RGA for non-square multivariable systems to have minimum interactions and better control.


title: Towards Understanding of Medical Randomized Controlled Trials by Conclusion Generation

abstract: Randomized controlled trials (RCTs) represent the paramount evidence of clinical medicine. Using machines to interpret the massive amount of RCTs has the potential of aiding clinical decision-making. We propose a RCT conclusion generation task from the PubMed 200k RCT sentence classification dataset to examine the effectiveness of sequence-to-sequence models on understanding RCTs. We first build a pointer-generator baseline model for conclusion generation. Then we fine-tune the state-of-the-art GPT-2 language model, which is pre-trained with general domain data, for this new medical domain task. Both automatic and human evaluation show that our GPT-2 fine-tuned models achieve improved quality and correctness in the generated conclusions compared to the baseline pointer-generator model. Further inspection points out the limitations of this current approach and future directions to explore.


title: Latent space representation for multi-target speaker detection and identification with a sparse dataset using Triplet neural networks

abstract: We present an approach to tackle the speaker recognition problem using Triplet Neural Networks. Currently, the $i$-vector representation with probabilistic linear discriminant analysis (PLDA) is the most commonly used technique to solve this problem, due to high classification accuracy with a relatively short computation time. In this paper, we explore a neural network approach, namely Triplet Neural Networks (TNNs), to built a latent space for different classifiers to solve the Multi-Target Speaker Detection and Identification Challenge Evaluation 2018 (MCE 2018) dataset. This training set contains $i$-vectors from 3,631 speakers, with only 3 samples for each speaker, thus making speaker recognition a challenging task. When using the train and development set for training both the TNN and baseline model (i.e., similarity evaluation directly on the $i$-vector representation), our proposed model outperforms the baseline by 23%. When reducing the training data to only using the train set, our method results in 309 confusions for the Multi-target speaker identification task, which is 46% better than the baseline model. These results show that the representational power of TNNs is especially evident when training on small datasets with few instances available per class.


title: Note on the construction of Picard-Vessiot rings for linear differential equations

abstract: In this note, we describe a method to construct the Picard-Vessiot ring of a given linear differential equation.


title: Reducing Overestimation Bias in Multi-Agent Domains Using Double Centralized Critics

abstract: Many real world tasks require multiple agents to work together. Multi-agent reinforcement learning (RL) methods have been proposed in recent years to solve these tasks, but current methods often fail to efficiently learn policies. We thus investigate the presence of a common weakness in single-agent RL, namely value function overestimation bias, in the multi-agent setting. Based on our findings, we propose an approach that reduces this bias by using double centralized critics. We evaluate it on six mixed cooperative-competitive tasks, showing a significant advantage over current methods. Finally, we investigate the application of multi-agent methods to high-dimensional robotic tasks and show that our approach can be used to learn decentralized policies in this domain.


title: Slanted Stixels: A way to represent steep streets

abstract: This work presents and evaluates a novel compact scene representation based on Stixels that infers geometric and semantic information. Our approach overcomes the previous rather restrictive geometric assumptions for Stixels by introducing a novel depth model to account for non-flat roads and slanted objects. Both semantic and depth cues are used jointly to infer the scene representation in a sound global energy minimization formulation. Furthermore, a novel approximation scheme is introduced in order to significantly reduce the computational complexity of the Stixel algorithm, and then achieve real-time computation capabilities. The idea is to first perform an over-segmentation of the image, discarding the unlikely Stixel cuts, and apply the algorithm only on the remaining Stixel cuts. This work presents a novel over-segmentation strategy based on a Fully Convolutional Network (FCN), which outperforms an approach based on using local extrema of the disparity map. We evaluate the proposed methods in terms of semantic and geometric accuracy as well as run-time on four publicly available benchmark datasets. Our approach maintains accuracy on flat road scene datasets while improving substantially on a novel non-flat road dataset.


title: Regularizing Neural Networks via Stochastic Branch Layers

abstract: We introduce a novel stochastic regularization technique for deep neural networks, which decomposes a layer into multiple branches with different parameters and merges stochastically sampled combinations of the outputs from the branches during training. Since the factorized branches can collapse into a single branch through a linear operation, inference requires no additional complexity compared to the ordinary layers. The proposed regularization method, referred to as StochasticBranch, is applicable to any linear layers such as fully-connected or convolution layers. The proposed regularizer allows the model to explore diverse regions of the model parameter space via multiple combinations of branches to find better local minima. An extensive set of experiments shows that our method effectively regularizes networks and further improves the generalization performance when used together with other existing regularization techniques.


title: Cloud-Assisted Contracted Simulation of Quantum Chains

abstract: The work discusses validation of properties of quantum circuits with many qubits using non-universal set of quantum gates ensuring possibility of effective simulation on classical computer. An understanding analogy between different models of quantum chains is suggested for clarification. An example with IBM Q Experience cloud platform and Qiskit framework is discussed finally.


title: Norm one tori and Hasse norm principle

abstract: Let $k$ be a field and $T$ be an algebraic $k$-torus. In 1969, over a global field $k$, Voskresenskii proved that there exists an exact sequence $0\to A(T)\to H^1(k,{\rm Pic}\,\overline{X})^\vee\to Sha(T)\to 0$ where $A(T)$ is the kernel of the weak approximation of $T$, $Sha(T)$ is the Shafarevich-Tate group of $T$, $X$ is a smooth $k$-compactification of $T$, $\overline{X}=X\times_k\overline{k}$, ${\rm Pic}\,\overline{X}$ is the Picard group of $\overline{X}$ and $\vee$ stands for the Pontryagin dual. On the other hand, in 1963, Ono proved that for the norm one torus $T=R^{(1)}_{K/k}(G_m)$ of $K/k$, $Sha(T)=0$ if and only if the Hasse norm principle holds for $K/k$. First, we determine $H^1(k,{\rm Pic}\, \overline{X})$ for algebraic $k$-tori $T$ up to dimension $5$. Second, we determine $H^1(k,{\rm Pic}\, \overline{X})$ for norm one tori $T=R^{(1)}_{K/k}(G_m)$ with $[K:k]=n\leq 15$ and $n\neq 12$. We also show that $H^1(k,{\rm Pic}\, \overline{X})=0$ for $T=R^{(1)}_{K/k}(G_m)$ when the Galois group of the Galois closure of $K/k$ is the Mathieu group $M_n\leq S_n$ with $n=11,12,22,23,24$. Third, we give a necessary and sufficient condition for the Hasse norm principle for $K/k$ with $[K:k]=n\leq 15$ and $n\neq 12$. As applications of the results, we get the group $T(k)/R$ of $R$-equivalence classes over a local field $k$ via Colliot-Th\'{e}l\`{e}ne and Sansuc's formula and the Tamagawa number $\tau(T)$ over a number field $k$ via Ono's formula $\tau(T)=|H^1(k,\widehat{T})|/|Sha(T)|$.


title: Doing more with less: the flagellar end piece enhances the propulsive effectiveness of human spermatozoa

abstract: Spermatozoa self-propel by propagating bending waves along a predominantly active elastic flagellum. The organized structure of the "9 + 2" axoneme is lost in the most-distal few microns of the flagellum, and therefore this region is unlikely to have the ability to generate active bending; as such it has been largely neglected in biophysical studies. Through elastohydrodynamic modeling of human-like sperm we show that an inactive distal region confers significant advantages, both in propulsive thrust and swimming efficiency, when compared with a fully active flagellum of the same total length. The beneficial effect of the inactive end piece on these statistics can be as small as a few percent but can be above 430%. The optimal inactive length, between 2-18% of the total length, depends on both wavenumber and viscous-elastic ratio, and therefore is likely to vary in different species. Potential implications in evolutionary biology and clinical assessment are discussed.


title: Modelling ice birefringence and oblique radio wave propagation for neutrino detection at the South Pole

abstract: The Askaryan Radio Array (ARA) experiment at the South Pole is designed to detect high-energy neutrinos which, via in-ice interactions, produce coherent radiation at frequencies up to 1000 MHz. In Dec. 2018, a custom high-amplitude radio-frequency transmitter was lowered into the 1700 m SPICE ice core to provide test sources for ARA receiver stations sensitive to vertical and horizontal polarizations. For these tests, signal geometries correspond to obliquely propagating radio waves from below. The ARA collaboration has recently measured the polarization-dependent time delay variation, and report more significant time delays for trajectories perpendicular to ice flow. Here we use fabric data from the SPICE ice core to construct a bounding model for the ice birefringence and the polarization time delays across ARA. The data-model comparison is consistent with the vertical girdle fabric at the South Pole having the prevailing horizontal crystallographic axis oriented near-perpendicular to ice flow. This study presents the possibility that ice birefringence can be used to constrain the range to a neutrino interaction, and hence aid in neutrino energy reconstruction, for in-ice experiments such as ARA.


title: Representations of $\omega$-Lie Algebras and Tailed Derivations of Lie Algebras

abstract: We study the representation theory of finite-dimensional $\omega$-Lie algebras over the complex field. We derive an $\omega$-Lie version of the classical Lie's theorem, i.e., any finite-dimensional irreducible module of a soluble $\omega$-Lie algebra is one-dimensional. We also prove that indecomposable modules of some three-dimensional $\omega$-Lie algebras could be parametrized by the complex field and nilpotent matrices. We introduce the notion of a tailed derivation of a nonassociative algebra $g$ and prove that if $g$ is a Lie algebra, then there exists a one-to-one correspondence between tailed derivations of $g$ and one-dimensional $\omega$-extensions of $g$.


title: Blood lactate concentration prediction in critical care patients: handling missing values

abstract: Blood lactate concentration is a strong indicator of mortality risk in critically ill patients. While frequent lactate measurements are necessary to assess patient's health state, the measurement is an invasive procedure that can increase risk of hospital-acquired infections. For this reason we formally define the problem of lactate prediction as a clinically relevant benchmark problem for machine learning community so as to assist clinical decision making in blood lactate testing. Accordingly, we demonstrate the relevant challenges of the problem and its data in addition to the adopted solutions. Also, we evaluate the performance of different prediction algorithms on a large dataset of ICU patients from the multi-centre eICU database. More specifically, we focus on investigating the impact of missing value imputation methods in lactate prediction for each algorithm. The experimental analysis shows promising prediction results that encourages further investigation of this problem.


title: Correlating the nanoscale structural, magnetic and magneto-transport properties in SrRuO3-based perovskite oxide ultra-thin films

abstract: We investigated the structural and magnetic properties of bare SrRuO$_3$ (SRO) ultra-thin films and SrRuO$_3$/SrIrO$_3$/SrZrO$_3$ (SRO/SIO/SZO: RIZ) trilayer heterostructures between 10 K and 80 K, by comparing macroscopic data using magneto-optical Kerr effect (MOKE) and magneto-transport (anomalous Hall effect: AHE), with nanoscale fingerprints when applying non-contact scanning force microscopy (nc-SFM) and magnetic force microscopy (MFM). SRO and RIZ ultra-thin films were epitaxially grown at 650C onto vicinal SrTiO$_3$ (100) single-crystalline substrates to a nominal thickness of 4 and 4/2/2 unit cells (uc), respectively. Our correlated analysis allows associating topographic sample features of overgrown individual layers to their residual magnetization, as is shown here to be relevant for interpreting the macroscopic AHE data. Although the hump-like features in the AHE suggest a magnetically extured skyrmion phase to exist around 55 K associated to the topological Hall effect (THE), both our MOKE and MFM data cannot support this theory. In contrast, our SFM/MFM local-scale analysis finds the local coercive field to be strongly dependent on the effective layer thickness and stoichiometry in both the SRO and RIZ samples, with huge impact on the local band-structure. In fact, it is these variations that in turn mimic a potential THE through anomalies in the AHE resistivity loops.


title: Weighted composition operators: isometries and asymptotic behaviour

abstract: This paper studies the behaviour of iterates of weighted composition operators acting on spaces of analytic functions, with particular emphasis on the Hardy space $H^2$. Questions relating to uniform, strong and weak convergence are resolved in many cases. Connected to this is the question when a weighted composition operators is an isometry, and new results are given in the case of the Hardy and Bergman spaces.


title: On p-adic actions raising dimension by 2

abstract: Raymond and Wiliams constructed an action of the p-adic integers on an n-dimensional compactum, n>1, with the orbit space of dimension n+2. The author earlier presented a simplified approach for constructing such an action. In this paper we generalize this approach to show that for every n>1, an (n+2)-dimensional compactum X can be obtained as the orbit space of an action of the p-adic integers on an n-dimensional compactum if and only if the cohomological dimension of X with coefficients in Z[1/p] is at most n.


title: Simultaneous measurement of anisotropic thermal conductivity and thermal boundary conductance of 2-dimensional materials

abstract: The rapidly increasing number of 2-dimensional (2D) materials that have been isolated or synthesized provides an enormous opportunity to realize new device functionalities. Whereas their optical and electrical characterization have been more readily reported, quantitative thermal characterization is more challenging due to the difficulties with localizing heat flow. Optical pump-probe techniques that are well-established for the study of bulk materials or thin-films have limited sensitivity to in-plane heat transport, and the characterization of the thermal anisotropy that is common in 2D materials is therefore challenging. Here we present a new approach to quantify the thermal properties based on the magneto-optical Kerr effect that yields quantitative insight into cross-plane and in-plane heat transport. The use of a very thin magnetic material as heater/thermometer increases in-plane thermal gradients without complicating the data analysis in spite of the layer being optically semi-transparent. The approach has the added benefit that it does not require the sample to be suspended, providing insight of thermal transport in supported, device-like environments. We apply this approach to measure the thermal properties of a range of 2D materials which are of interest for device applications, including single layer graphene, few-layer h-BN, single and few layer MoS2, and bulk MoSe2 crystal. The measured thermal properties will have important implications for thermal management in device applications.


title: The octonionic Bergman kernel for the half space

abstract: We obtain the octonionic Bergman kernel for half space in the octonionic analysis setting by two different methods. As a consequence, we unify the kernel forms in both complex analysis and hyper-complex analysis.


title: Joint Bit Allocation and Hybrid Beamforming Optimization for Energy Efficient Millimeter Wave MIMO Systems

abstract: In this paper, we aim to design highly energy efficient end-to-end communication for millimeter wave multiple-input multiple-output systems. This is done by jointly optimizing the digital-to-analog converter (DAC)/analog-to-digital converter (ADC) bit resolutions and hybrid beamforming matrices. The novel decomposition of the hybrid precoder and the hybrid combiner to three parts is introduced at the transmitter (TX) and the receiver (RX), respectively, representing the analog precoder/combiner matrix, the DAC/ADC bit resolution matrix and the baseband precoder/combiner matrix. The unknown matrices are computed as a solution to the matrix factorization problem where the optimal fully digital precoder or combiner is approximated by the product of these matrices. A novel and efficient solution based on the alternating direction method of multipliers is proposed to solve these problems at both the TX and the RX. The simulation results show that the proposed solution, where the DAC/ADC bit allocation is dynamic during operation, achieves higher energy efficiency when compared with existing benchmark techniques that use fixed DAC/ADC bit resolutions.


title: Robust reconstruction of fluorescence molecular tomography with an optimized illumination pattern

abstract: Fluorescence molecular tomography (FMT) is an emerging powerful tool for biomedical research. There are two factors that influence FMT reconstruction most effectively. The first one is the regularization techniques. Traditional methods such as Tikhonov regularization suffer from low resolution and poor signal to noise ratio. Therefore sparse regularization techniques have been introduced to improve the reconstruction quality. The second factor is the illumination pattern. A better illumination pattern ensures the quantity and quality of the information content of the data set thus leading to better reconstructions. In this work, we take advantage of the discrete formulation of the forward problem to give a rigorous definition of an illumination pattern as well as the admissible set of patterns. We add restrictions in the admissible set as different types of regularizers to a discrepancy functional, generating another inverse problem with the illumination pattern as unknown. Both inverse problems of reconstructing the fluorescence distribution and finding the optimal illumination pattern are solved by fast efficient iterative algorithms. Numerical experiments have shown that with a suitable choice of the regularization parameters the two-step approach converges to an optimal illumination pattern quickly and the reconstruction result is improved significantly, regardless of the initial illumination setting.


title: Detailed Analysis of Circuit-to-Hamiltonian Mappings

abstract: The circuit-to-Hamiltonian construction has found widespread use within the field of Hamiltonian complexity, particularly for proving QMA-hardness results. In this work we examine the ground state energies of the Hamiltonian for standard clock constructions and those which require dynamic initialisation. We put exponentially tight bounds on these ground state energies and also determine improved scaling bounds in the case where there is a constant probability of the computation being rejected. Furthermore, we prove a collection of results concerning the low-energy subspace of quantum walks on a line with energy penalties appearing at any point along the walk and introduce some general tools that may be useful for such analyses.


title: Chern-Simons-Schrodinger theory on a one-dimensional lattice

abstract: We propose a gauge-invariant system of the Chern-Simons-Schrodinger type on a one-dimensional lattice. By using the spatial gauge condition, we prove local and global well-posedness of the initial-value problem in the space of square summable sequences for the scalar field. We also study the existence region of the stationary bound states, which depends on the lattice spacing and the nonlinearity power. A major difficulty in the existence problem is related to the lack of variational formulation of the stationary equations. Our approach is based on the implicit function theorem in the anti-continuum limit and the solvability constraint in the continuum limit.


title: Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems

abstract: This paper describes a novel approach for the flexible development of dependable automation services applied to a case study taken from requirements of energy automation systems. It shows first how the use of a custom compositional recovery language can be exploited to achieve a flexible and dependable functionality in software. Then it is shown how modeling techniques based on Petri nets can be used to assess the properties that different configurations of the addressed service can achieve.


title: The variety of dual mock-Lie algebras

abstract: We classify all complex $7$- and $8$-dimensional dual mock-Lie algebras by algebraic and geometric way. Also we find all non-trivial complex $9$-dimensional dual mock-Lie algebras.


title: Analyzing Control Flow Integrity with LLVM-CFI

abstract: Control-flow hijacking attacks are used to perform malicious com-putations. Current solutions for assessing the attack surface afteracontrol flow integrity(CFI) policy was applied can measure onlyindirect transfer averages in the best case without providing anyinsights w.r.t. the absolute calltarget reduction per callsite, and gad-get availability. Further, tool comparison is underdeveloped or notpossible at all. CFI has proven to be one of the most promising pro-tections against control flow hijacking attacks, thus many effortshave been made to improve CFI in various ways. However, there isa lack of systematic assessment of existing CFI protections. In this paper, we presentLLVM-CFI, a static source code analy-sis framework for analyzing state-of-the-art static CFI protectionsbased on the Clang/LLVM compiler framework.LLVM-CFIworksby precisely modeling a CFI policy and then evaluating it within aunified approach.LLVM-CFIhelps determine the level of securityoffered by different CFI protections, after the CFI protections weredeployed, thus providing an important step towards exploit cre-ation/prevention and stronger defenses. We have usedLLVM-CFIto assess eight state-of-the-art static CFI defenses on real-worldprograms such as Google Chrome and Apache Httpd.LLVM-CFIprovides a precise analysis of the residual attack surfaces, andaccordingly ranks CFI policies against each other.LLVM-CFIalsosuccessfully paves the way towards construction of COOP-like codereuse attacks and elimination of the remaining attack surface bydisclosing protected calltargets under eight restrictive CFI policies.


title: On approximating minimizers of convex functionals with a convexity constraint by singular Abreu equations without uniform convexity

abstract: We revisit the problem of approximating minimizers of certain convex functionals subject to a convexity constraint by solutions of fourth order equations of Abreu type. This approximation problem was studied in previous works of Carlier-Radice (Approximation of variational problems with a convexity constraint by PDEs of Abreu type. Calc. Var. Partial Differential Equations. 58 (2019), no. 5, Art. 170) and the author (Singular Abreu equations and minimizers of convex functionals with a convexity constraint, arXiv:1811.02355v3, Comm. Pure Appl. Math., to appear), under the uniform convexity of both the Lagrangian and constraint barrier. By introducing a new approximating scheme, we completely remove the uniform convexity of both the Lagrangian and constraint barrier. Our analysis is applicable to variational problems motivated by the original 2D Rochet-Chon\'e model in the monopolist's problem in Economics, and variational problems arising in the analysis of wrinkling patterns in floating elastic shells in Elasticity.


title: Generalization Bounds for Convolutional Neural Networks

abstract: Convolutional neural networks (CNNs) have achieved breakthrough performances in a wide range of applications including image classification, semantic segmentation, and object detection. Previous research on characterizing the generalization ability of neural networks mostly focuses on fully connected neural networks (FNNs), regarding CNNs as a special case of FNNs without taking into account the special structure of convolutional layers. In this work, we propose a tighter generalization bound for CNNs by exploiting the sparse and permutation structure of its weight matrices. As the generalization bound relies on the spectral norm of weight matrices, we further study spectral norms of three commonly used convolution operations including standard convolution, depthwise convolution, and pointwise convolution. Theoretical and experimental results both demonstrate that our bounds for CNNs are tighter than existing bounds.