title: Graph Convolutional Gaussian Processes For Link Prediction

abstract: Link prediction aims to reveal missing edges in a graph. We address this task with a Gaussian process that is transformed using simplified graph convolutions to better leverage the inductive bias of the domain. To scale the Gaussian process model to large graphs, we introduce a variational inducing point method that places pseudo inputs on a graph-structured domain. We evaluate our model on eight large graphs with up to thousands of nodes and report consistent improvements over existing Gaussian process models as well as competitive performance when compared to state-of-the-art graph neural network approaches.


title: Optimizing Item and Subgroup Configurations for Social-Aware VR Shopping

abstract: Shopping in VR malls has been regarded as a paradigm shift for E-commerce, but most of the conventional VR shopping platforms are designed for a single user. In this paper, we envisage a scenario of VR group shopping, which brings major advantages over conventional group shopping in brick-and-mortar stores and Web shopping: 1) configure flexible display of items and partitioning of subgroups to address individual interests in the group, and 2) support social interactions in the subgroups to boost sales. Accordingly, we formulate the Social-aware VR Group-Item Configuration (SVGIC) problem to configure a set of displayed items for flexibly partitioned subgroups of users in VR group shopping. We prove SVGIC is NP-hard to approximate within $\frac{32}{31} - \epsilon$. We design an approximation algorithm based on the idea of Co-display Subgroup Formation (CSF) to configure proper items for display to different subgroups of friends. Experimental results on real VR datasets and a user study with hTC VIVE manifest that our algorithms outperform baseline approaches by at least 30.1% of solution quality.


title: On the unique continuation of solutions to non-local non-linear dispersive equations

abstract: We prove unique continuation properties of solutions to a large class of nonlinear, non-local dispersive equations. The goal is to show that if $u_1,\,u_2$ are two suitable solutions of the equation defined in $\mathbb R^n\times[0,T]$ such that for some non-empty open set $\Omega\subset \mathbb R^n\times[0,T]$, $u_1(x,t)=u_2(x,t)$ for $(x,t) \in \Omega$, then $u_1(x,t)=u_2(x,t)$ for any $(x,t)\in\mathbb R^n\times[0,T]$. The proof is based on static arguments. More precisely, the main ingredient in the proofs will be the unique continuation properties for fractional powers of the Laplacian established by Ghosh, Salo and Ulhmann in \cite{GhSaUh}, and some extensions obtained here.


title: Streams, substructures and the early history of the Milky Way

abstract: The advent of Gaia's 2nd data release in combination with large spectroscopic surveys are revolutionizing our understanding of the Galaxy. Thanks to these and the knowledge accumulated thus far, a more mature picture of the evolution of the early Milky Way is emerging: * Two of the traditional Galactic components, i.e. the stellar halo and the thick disk, appear to be intimately linked: stars with halo-like kinematics originate in similar proportions, from a "heated" (thick) disk and from debris from a system named Gaia-Enceladus. Gaia-Enceladus was the last big merger event experienced by the Milky Way and probably completed around 10 Gyr ago. The puffed-up stars now present in the halo as a consequence of the merger have thus exposed the existence of a disk component at z ~ 1.8. * The Helmi streams, Sequoia, and Thamnos are amongst the newly uncovered or better characterized merger events. Knowledge of their progenitor's properties, star formation and chemical histories is still incomplete. * Debris' from different objects often overlap in phase-space. A task for the next years will be to use spectroscopic surveys for chemical labelling and to disentangle events from one another using dimensions other than only phase-space, metallicity or [alpha/Fe]. * These surveys will also provide line-of-sight velocities missing for faint stars and more accurate distance determinations for distant objects. The resulting samples of stars will cover a much wider volume of the Galaxy allowing, for example, linking kinematic substructures in the inner halo to spatial overdensities in the outer halo. * All the results obtained so far are in-line with expectations of current cosmological models. Yet, tailored hydrodynamical simulations as well as "constrained" cosmological simulations are needed to push our knowledge of the assembly of the Milky Way back to the earliest times. [abridged]


title: Hidden symmetry and (super)conformal mechanics in a monopole background

abstract: We study classical and quantum hidden symmetries of a particle with electric charge $e$ in the background of a Dirac monopole of magnetic charge $g$ subjected to an additional central potential $V(r)=U(r) +(eg)^2/2mr^{2}$ with $U(r)=\tfrac{1}{2}m\omega^2r^2$, similar to that in the one-dimensional conformal mechanics model of de Alfaro, Fubini and Furlan (AFF). By means of a non-unitary conformal bridge transformation, we establish a relation of the quantum states and of all symmetries of the system with those of the system without harmonic trap, $U(r)=0$. Introducing spin degrees of freedom via a very special spin-orbit coupling, we construct the $\mathfrak{osp}(2,2)$ superconformal extension of the system with unbroken $\mathcal{N}=2$ Poincar\'e supersymmetry and show that two different superconformal extensions of the one-dimensional AFF model with unbroken and spontaneously broken supersymmetry have a common origin. We also show a universal relationship between the dynamics of a Euclidean particle in an arbitrary central potential $U(r)$ and the dynamics of a charged particle in a monopole background subjected to the potential $V(r)$.


title: Envelope-to-disk mass transport in the FUor-type young eruptive star V346 Normae

abstract: Having disk-to-star accretion rates on the order of 10$^{-4}\,M_{\odot}$/yr, FU Orionis-type stars (FUors) are thought to be the visible examples for episodic accretion. FUors are often surrounded by massive envelopes, which replenish the disk material and enable the disk to produce accretion outbursts. We observed the FUor-type star V346 Nor with ALMA at 1.3~mm continuum and in different CO rotational lines. We mapped the density and velocity structure of its envelope and analyzed the results using channel maps, position-velocity diagrams, and spectro-astrometric methods. We discovered a pseudo-disk and a Keplerian disk around a 0.1 $M_{\odot}$ central star. We determined an infall rate from the envelope onto the disk of 6$\times$10$^{-6}\,M_{\odot}$/yr, a factor of few higher than the quiescent accretion rate from the disk onto the star. This hints for a mismatch between the infall and accretion rates as the cause of the eruption.


title: Electron-electron and electron-phonon relaxation in metals excited by optical pulse

abstract: A short overview of theoretical models for the description of the relaxation processes in metals excited by a short laser pulse is presented. The main effort is given to description of different processes which are taking place after absorption of the laser pulse. Widely used two temperature model is discussed and the conditions of applicability of this model are identified. Various approaches for solving the Boltzmann kinetic equations are discussed. It is identified that in the case of low excitation limit the relaxation is determined by the emission of phonons by photoexcited electrons. The possibility to obtain the value of the electron phonon coupling constant from experiments is discussed.


title: Privacy-preserving collaborative machine learning on genomic data using TensorFlow

abstract: Machine learning (ML) methods have been widely used in genomic studies. However, genomic data are often held by different stakeholders (e.g. hospitals, universities, and healthcare companies) who consider the data as sensitive information, even though they desire to collaborate. To address this issue, recent works have proposed solutions using Secure Multi-party Computation (MPC), which train on the decentralized data in a way that the participants could learn nothing from each other beyond the final trained model. We design and implement several MPC-friendly ML primitives, including class weight adjustment and parallelizable approximation of activation function. In addition, we develop the solution as an extension to TF Encrypted~\citep{dahl2018private}, enabling us to quickly experiment with enhancements of both machine learning techniques and cryptographic protocols while leveraging the advantages of TensorFlow's optimizations. Our implementation compares favorably with state-of-the-art methods, winning first place in Track IV of the iDASH2019 secure genome analysis competition.


title: Single scattering of polarized light by correlated surface and volume disorder

abstract: We study light scattering by systems combining randomly rough surface and volume dielectric fluctuations. We introduce a general model including correlations between surface and volume disorders, and we study the scattering properties within a single scattering approach. We identify different regimes of surface and volume dominated scattering depending on length scales characterizing the surface and volume disorders. For uncorrelated disorders, we discuss the polarization response of each source of disorder, and show how polarimetric measurements can be used to separate the surface and volume contributions in the total measured diffusely scattered intensity. For correlated systems, we identify two configurations of volume disorder which, respectively, couple weakly or strongly to surface scattering via surface-volume cross-correlations. We illustrate these effects on different configurations exhibiting interference patterns in the diffusely scattered intensity, which may be of interest for the characterization of complex systems or for the design of optical components by engineering the degree of surface-volume correlations.


title: Identifiability and Estimation of Possibly Non-Invertible SVARMA Models: A New Parametrisation

abstract: This article deals with parameterisation, identifiability, and maximum likelihood (ML) estimation of possibly non-invertible structural vector autoregressive moving average (SVARMA) models driven by independent and non-Gaussian shocks. In contrast to previous literature, the novel representation of the MA polynomial matrix using the Wiener-Hopf factorisation (WHF) focuses on the multivariate nature of the model, generates insights into its structure, and uses this structure for devising optimisation algorithms. In particular, it allows to parameterise the location of determinantal zeros inside and outside the unit circle, and it allows for MA zeros at zero, which can be interpreted as informational delays. This is highly relevant for data-driven evaluation of Dynamic Stochastic General Equilibrium (DSGE) models. Typically imposed identifying restrictions on the shock transmission matrix as well as on the determinantal root location are made testable. Furthermore, we provide low level conditions for asymptotic normality of the ML estimator and analytic expressions for the score and the information matrix. As application, we estimate the Blanchard and Quah model and show that our method provides further insights regarding non-invertibility using a standard macroeconometric model. These and further analyses are implemented in a well documented R-package.


title: Science through Wikipedia: A novel representation of open knowledge through co-citation networks

abstract: This study provides an overview of science from the Wikipedia perspective. A methodology has been established for the analysis of how Wikipedia editors regard science through their references to scientific papers. The method of co-citation has been adapted to this context in order to generate Pathfinder networks (PFNET) that highlight the most relevant scientific journals and categories, and their interactions in order to find out how scientific literature is consumed through this open encyclopaedia. In addition to this, their obsolescence has been studied through Price index. A total of 1 433 457 references available at Altmetric.com have been initially taken into account. After pre-processing and linking them to the data from Elsevier's CiteScore Metrics the sample was reduced to 847 512 references made by 193 802 Wikipedia articles to 598 746 scientific articles belonging to 14 149 journals indexed in Scopus. As highlighted results we found a significative presence of "Medicine" and "Biochemistry, Genetics and Molecular Biology" papers and that the most important journals are multidisciplinary in nature, suggesting also that high-impact factor journals were more likely to be cited. Furthermore, only 13.44% of Wikipedia citations are to Open Access journals.


title: Incremental Fast Subclass Discriminant Analysis

abstract: This paper proposes an incremental solution to Fast Subclass Discriminant Analysis (fastSDA). We present an exact and an approximate linear solution, along with an approximate kernelized variant. Extensive experiments on eight image datasets with different incremental batch sizes show the superiority of the proposed approach in terms of training time and accuracy being equal or close to fastSDA solution and outperforming other methods.


title: Robot Navigation with Map-Based Deep Reinforcement Learning

abstract: This paper proposes an end-to-end deep reinforcement learning approach for mobile robot navigation with dynamic obstacles avoidance. Using experience collected in a simulation environment, a convolutional neural network (CNN) is trained to predict proper steering actions of a robot from its egocentric local occupancy maps, which accommodate various sensors and fusion algorithms. The trained neural network is then transferred and executed on a real-world mobile robot to guide its local path planning. The new approach is evaluated both qualitatively and quantitatively in simulation and real-world robot experiments. The results show that the map-based end-to-end navigation model is easy to be deployed to a robotic platform, robust to sensor noise and outperforms other existing DRL-based models in many indicators.


title: A goal oriented error estimator and mesh adaptivity for sea ice simulations

abstract: For the first time we introduce an error estimator for the numerical approximation of the equations describing the dynamics of sea ice. The idea of the estimator is to identify different error contributions coming from spatial and temporal discretization as well as from the splitting in time of the ice momentum equations from further parts of the coupled system. The novelty of the error estimator lies in the consideration of the splitting error, which turns out to be dominant with increasing mesh resolution. Errors are measured in user specified functional outputs like the total sea ice extent. The error estimator is based on the dual weighted residual method that asks for the solution of an additional dual problem for obtaining sensitivity information. Estimated errors can be used to validate the accuracy of the solution and, more relevant, to reduce the discretization error by guiding an adaptive algorithm that optimally balances the mesh size and the time step size to increase the efficiency of the simulation.


title: Long-range connections and mixed diffusion in fractional networks

abstract: Networks with long-range connections obeying a distance-dependent power law of sufficiently small exponent display superdiffusion, L\'evy flights and robustness properties very different from the scale-free networks. It has been proposed that these networks, found both in society and biology, be classified as a new structure, the fractional networks. Particular important examples are the social networks and the modular hierarchical brain networks where both short- and long-range connections are present. The anomalous superdiffusive and the mixed diffusion behavior of these networks is studied here as well as its relation to the nature and density of the long-range connections.


title: Quantum sensor networks as exotic field telescopes for multi-messenger astronomy

abstract: Multi-messenger astronomy, the coordinated observation of different classes of signals originating from the same astrophysical event, provides a wealth of information about astrophysical processes with far-reaching implications. So far, the focus of multi-messenger astronomy has been the search for conventional signals from known fundamental forces and standard model particles, like gravitational waves (GW). In addition to these known effects, quantum sensor networks could be used to search for astrophysical signals predicted by beyond-standard-model (BSM) theories. Exotic bosonic fields are ubiquitous features of BSM theories and appear while seeking to understand the nature of dark matter and dark energy and solve the hierarchy and strong CP problems. We consider the case where high-energy astrophysical events could produce intense bursts of exotic low-mass fields (ELFs). We propose to expand the toolbox of multi-messenger astronomy to include networks of precision quantum sensors that by design are shielded from or insensitive to conventional standard-model physics signals. We estimate ELF signal amplitudes, delays, rates, and distances of GW sources to which global networks of atomic magnetometers and atomic clocks could be sensitive. We find that, indeed, such precision quantum sensor networks can function as ELF telescopes to detect signals from sources generating ELF bursts of sufficient intensity. Thus ELFs, if they exist, could act as additional messengers for astrophysical events.

categories: astro-ph.IM astro-ph.CO gr-qc hep-ex quant-ph


title: Arbitrary Lagrangian-Eulerian formulation of lattice Boltzmann model for compressible flows on unstructured moving meshes

abstract: We propose the application of the arbitrary Lagrangian-Eulerian (ALE) technique to a compressible lattice Boltzmann model for the simulation of moving boundary problems on unstructured meshes. To that end, the kinetic equations are mapped from a moving physical domain into a fixed computational domain. The resulting equations in the computational domain are then numerically solved using the second-order accurate finite element reconstruction on an unstructured mesh. It is shown that the problem regarding the geometric conservation law (GCL), which needs a special treatment in the ALE Navier-Stokes solvers, does not appear here and the model satisfies the GCL exactly. The model is validated with sets of simulations including uniform flow preservation and compressible flow past airfoil with plunging and pitching motions at different Mach numbers. It is demonstrated that the results are in good agreement with the experimental and other available numerical results in the literature. Finally, in order to show the capability of the proposed solver in simulating high-speed flows, transonic flow over pitching airfoil is investigated. It is shown that the proposed model is able to capture the complex characteristics of this flow which involves multiple weak shock waves interacting with the boundary and shear layers.


title: Inference-Based Strategy Alignment for General-Sum Differential Games

abstract: In many settings where multiple agents interact, the optimal choices for each agent depend heavily on the choices of the others. These coupled interactions are well-described by a general-sum differential game, in which players have differing objectives, the state evolves in continuous time, and optimal play may be characterized by one of many equilibrium concepts, e.g., a Nash equilibrium. Often, problems admit multiple equilibria. From the perspective of a single agent in such a game, this multiplicity of solutions can introduce uncertainty about how other agents will behave. This paper proposes a general framework for resolving ambiguity between equilibria by reasoning about the equilibrium other agents are aiming for. We demonstrate this framework in simulations of a multi-player human-robot navigation problem that yields two main conclusions: First, by inferring which equilibrium humans are operating at, the robot is able to predict trajectories more accurately, and second, by discovering and aligning itself to this equilibrium the robot is able to reduce the cost for all players.


title: Vision-based Fight Detection from Surveillance Cameras

abstract: Vision-based action recognition is one of the most challenging research topics of computer vision and pattern recognition. A specific application of it, namely, detecting fights from surveillance cameras in public areas, prisons, etc., is desired to quickly get under control these violent incidents. This paper addresses this research problem and explores LSTM-based approaches to solve it. Moreover, the attention layer is also utilized. Besides, a new dataset is collected, which consists of fight scenes from surveillance camera videos available at YouTube. This dataset is made publicly available. From the extensive experiments conducted on Hockey Fight, Peliculas, and the newly collected fight datasets, it is observed that the proposed approach, which integrates Xception model, Bi-LSTM, and attention, improves the state-of-the-art accuracy for fight scene classification.


title: Efficient extraction of high pulse energy from partly quenched highly Er3+-doped fiber amplifiers

abstract: We demonstrate efficient pulse-energy extraction from a partly-quenched erbium-doped aluminosilicate fiber amplifier. This has a high erbium-concentration, which allows for short devices with reduced nonlinear distortions, but which also results in partial quenching and thus significant unsaturable absorption, even though the fiber is still able to amplify. Although the quenching degrades the average-power efficiency, the pulse energy remains high, and our results point to an increasingly promising outcome for short pulses. Furthermore, unlike unquenched fibers, the conversion efficiency improves at low repetition rates, which we attribute to smaller relative energy loss to quenched ions at higher pulse energy. A short (2.6 m) cladding-pumped partly-quenched Er-doped-fiber with 95-dB/m 1530-nm peak absorption and saturation energy estimated to 85 {\mu}J, reached 0.8 mJ of output energy when seeded by 0.2-{\mu}s, 23-{\mu}J pulses. Thus, according to our results, pulses can be amplified to high energy in short highly-Er-doped fibers designed to reduce nonlinear distortions, at the expense of average-power efficiency


title: Concentration inequality using unconfirmed knowledge

abstract: We give a concentration inequality based on the premise that random variables take values within a particular region. The concentration inequality guarantees that, for any sequence of correlated random variables, the difference between the sum of conditional expectations and that of the observed values takes a small value with high probability when the expected values are evaluated under the condition that the past values are known. Our inequality outperforms other well-known inequalities, e.g. the Azuma-Hoeffding inequality, especially in terms of the convergence speed when the random variables are highly biased. This high performance of our inequality is provided by the key idea in which we predict some parameters and adopt the predicted values in the inequality.


title: Dynamical persistence in resource-consumer models

abstract: We show how highly-diverse ecological communities may display persistent abundance fluctuations, when interacting through resource competition and subjected to migration from a species pool. This turns out to be closely related to the ratio of realized species diversity to the number of resources. This ratio is set by competition, through the balance between species being pushed out and invading. When this ratio is smaller than one, dynamics will reach stable equilibria. When this ratio is larger than one, fixed-points are either unstable or marginally stable, as expected by the competitive exclusion principle. If they are unstable, the system is repelled from fixed points, and abundances forever fluctuate. While marginally-stable fixed points are in principle allowed and predicted by some models, they become structurally unstable at high diversity. This means that even small changes to the model, such as non-linearities in how resources combine to generate species' growth, will result in persistent abundance fluctuations.


title: Robustness of Bayesian Neural Networks to Gradient-Based Attacks

abstract: Vulnerability to adversarial attacks is one of the principal hurdles to the adoption of deep learning in safety-critical applications. Despite significant efforts, both practical and theoretical, the problem remains open. In this paper, we analyse the geometry of adversarial attacks in the large-data, overparametrized limit for Bayesian Neural Networks (BNNs). We show that, in the limit, vulnerability to gradient-based attacks arises as a result of degeneracy in the data distribution, i.e., when the data lies on a lower-dimensional submanifold of the ambient space. As a direct consequence, we demonstrate that in the limit BNN posteriors are robust to gradient-based adversarial attacks. Experimental results on the MNIST and Fashion MNIST datasets with BNNs trained with Hamiltonian Monte Carlo and Variational Inference support this line of argument, showing that BNNs can display both high accuracy and robustness to gradient based adversarial attacks.


title: Multiplicities of irreducible theta divisors

abstract: Let $(A,\Theta)$ be a complex principally polarized abelian variety of dimension $g\geq 4$. Based on vanishing theorems, differentiation techniques and intersection theory, we show that whenever the theta divisor $\Theta$ is irreducible, its multiplicity at any point is at most $g-2$. This improves work of Koll\'ar, Smith-Varley, and Ein-Lazarsfeld. We also introduce some new ideas to study the same type of questions for pluri-theta divisors.


title: Can preferential concentration of finite-size particles in plane Couette turbulence be reproduced with the aid of equilibrium solutions?

abstract: This work employs for the first time invariant solutions of the Navier-Stokes equations to study the interaction between finite-size particles and near-wall coherent structures. We consider horizontal plane Couette flow and focus on Nagata's upper-branch equilibrium solution (Nagata, 1990) at low Reynolds numbers where this solution is linearly stable. When adding a single heavy particle with a diameter equivalent to 2.5 wall units, we observe that the solution remains stable and is essentially unchanged away from the particle. This result demonstrates that it is technically feasible to utilize exact coherent structures in conjunction with particle-resolved DNS. While translating in the streamwise direction, the particle migrates laterally under the action of the quasi-streamwise vortices until it reaches the region occupied by the low-speed streak, where it attains a periodic state of motion. As a result of the ensuing preferential particle location, the time-average streamwise particle velocity differs from the plane-average fluid-phase velocity at the same wall-distance as the particle center, as previously observed in experiments and in numerical data for fully turbulent wall-bounded flows. Additional constrained simulations where the particle is maintained at a fixed spanwise position while freely translating in the other two directions reveal the existence of two equilibria located in the low-speed and in the high-speed streak, respectively, the former being an unstable point. A parametric study with different particle to fluid density ratios is conducted which shows how inertia affects the spanwise fluctuations of the periodic particle motion. Finally, we discuss a number of potential future investigations of solid particle dynamics which can be conducted with the aid of invariant solutions (exact coherent structures) of the Navier-Stokes equations.


title: Conditional Modelling of Spatio-Temporal Extremes for Red Sea Surface Temperatures

abstract: Recent extreme value theory literature has seen significant emphasis on the modelling of spatial extremes, with comparatively little consideration of spatio-temporal extensions. This neglects an important feature of extreme events: their evolution over time. Many existing models for the spatial case are limited by the number of locations they can handle; this impedes extension to space-time settings, where models for higher dimensions are required. Moreover, the spatio-temporal models that do exist are restrictive in terms of the range of extremal dependence types they can capture. Recently, conditional approaches for studying multivariate and spatial extremes have been proposed, which enjoy benefits in terms of computational efficiency and an ability to capture both asymptotic dependence and asymptotic independence. We extend this class of models to a spatio-temporal setting, conditioning on the occurrence of an extreme value at a single space-time location. We adopt a composite likelihood approach for inference, which combines information from full likelihoods across multiple space-time conditioning locations. We apply our model to Red Sea surface temperatures, show that it fits well using a range of diagnostic plots, and demonstrate how it can be used to assess the risk of coral bleaching attributed to high water temperatures over consecutive days.


title: Wasserstein Control of Mirror Langevin Monte Carlo

abstract: Discretized Langevin diffusions are efficient Monte Carlo methods for sampling from high dimensional target densities that are log-Lipschitz-smooth and (strongly) log-concave. In particular, the Euclidean Langevin Monte Carlo sampling algorithm has received much attention lately, leading to a detailed understanding of its non-asymptotic convergence properties and of the role that smoothness and log-concavity play in the convergence rate. Distributions that do not possess these regularity properties can be addressed by considering a Riemannian Langevin diffusion with a metric capturing the local geometry of the log-density. However, the Monte Carlo algorithms derived from discretizations of such Riemannian Langevin diffusions are notoriously difficult to analyze. In this paper, we consider Langevin diffusions on a Hessian-type manifold and study a discretization that is closely related to the mirror-descent scheme. We establish for the first time a non-asymptotic upper-bound on the sampling error of the resulting Hessian Riemannian Langevin Monte Carlo algorithm. This bound is measured according to a Wasserstein distance induced by a Riemannian metric ground cost capturing the Hessian structure and closely related to a self-concordance-like condition. The upper-bound implies, for instance, that the iterates contract toward a Wasserstein ball around the target density whose radius is made explicit. Our theory recovers existing Euclidean results and can cope with a wide variety of Hessian metrics related to highly non-flat geometries.


title: Nonlinear flag manifolds as coadjoint orbits

abstract: A nonlinear flag is a finite sequence of nested closed submanifolds. We study the geometry of Frechet manifolds of nonlinear flags, in this way generalizing the nonlinear Grassmannians. As an application we describe a class of coadjoint orbits of the group of Hamiltonian diffeomorphisms that consist of nested symplectic submanifolds, i.e., symplectic nonlinear flags.


title: FORTRESS: FORTRAN programs for solving coupled Gross-Pitaevskii equations for spin-orbit coupled spin-1 Bose-Einstein condensate

abstract: Here, we present simple and efficient numerical scheme to study static and dynamic properties of spin-1 Bose-Einstein condensates (BECs) with spin-orbit (SO) coupling by solving three coupled Gross-Pitaevskii equations (CGPEs) in three-, quasi-two and quasi-one dimensional systems. We provide a set of three codes developed in FORTRAN 90/95 programming language with user defined '{\em option}' of imaginary and real-time propagation. We present the numerical results for energy, chemical potentials, and component densities for the ground state and compare with the available results from the literature. The results are presented for both the ferromagnetic and antiferromagnetic spin-1 BECs with and without SO coupling. To improve the computational speed, all the codes have the option of OpenMP parallelization. We have also presented the results for speedup and efficiency of OpenMP parallelization for the three codes with both imaginary and real-time propagation.


title: HgCdTe-based quantum cascade lasers operating in the GaAs phonon Reststrahlen band predicted by the balance equations method

abstract: HgCdTe-based quantum cascade lasers operating in the GaAs phonon Reststrahlen band with a target wavelength of 36 mkm are theoretically investigated using the balance equations method. The optimized active region designs, which are based on three and two quantum wells, exhibit a peak gain exceeding 100 cm(-1) at 150 K. We analyze the temperature dependences of the peak gain and predict the maximum operation temperatures of 170 K and 225 K for three- and two-well designs, respectively. At high temperatures (T > 120 K), the better temperature performance of the two-well design is associated with a larger spatial overlap of the weakly localized lasing wavefunctions as well as a higher population inversion.


title: Full counting statistics in the gapped XXZ spin chain

abstract: We exploit the knowledge of the entanglement spectrum in the ground state of the gapped XXZ spin chain to derive asymptotic exact results for the full counting statistics of the transverse magnetisation in a spin block of length. We found that for a subsystem of even length the full counting statistics is Gaussian, while for odd subsystems it is the sum of two Gaussian distributions. We test our analytic predictions with accurate tensor networks simulations. As a byproduct, we also obtain the symmetry (magnetisation) resolved entanglement entropies.


title: Hamiltonian Cycle Parameterized by Treedepth in Single Exponential Time and Polynomial Space

abstract: For many algorithmic problems on graphs of treewidth $t$, a standard dynamic programming approach gives an algorithm with time and space complexity $2^{\mathcal{O}(t)}\cdot n^{\mathcal{O}(1)}$. It turns out that when one considers the more restrictive parameter treedepth, it is often the case that a variation of this technique can be used to reduce the space complexity to polynomial, while retaining time complexity of the form $2^{\mathcal{O}(d)}\cdot n^{\mathcal{O}(1)}$, where $d$ is the treedepth. This transfer of methodology is, however, far from automatic. For instance, for problems with connectivity constraints, standard dynamic programming techniques give algorithms with time and space complexity $2^{\mathcal{O}(t\log t)}\cdot n^{\mathcal{O}(1)}$ on graphs of treewidth $t$, but it is not clear how to convert them into time-efficient polynomial space algorithms for graphs of low treedepth. Cygan et al. (FOCS'11) introduced the Cut&Count technique and showed that a certain class of problems with connectivity constraints can be solved in time and space complexity $2^{\mathcal{O}(t)}\cdot n^{\mathcal{O}(1)}$. Recently, Hegerfeld and Kratsch (STACS'20) showed that, for some of those problems, the Cut&Count technique can be also applied in the setting of treedepth, and it gives algorithms with running time $2^{\mathcal{O}(d)}\cdot n^{\mathcal{O}(1)}$ and polynomial space usage. However, a number of important problems eluded such a treatment, with the most prominent examples being Hamiltonian Cycle and Longest Path. In this paper we clarify the situation by showing that Hamiltonian Cycle, Hamiltonian Path, Long Cycle, Long Path, and Min Cycle Cover all admit $5^d\cdot n^{\mathcal{O}(1)}$-time and polynomial space algorithms on graphs of treedepth $d$. The algorithms are randomized Monte Carlo with only false negatives.


title: The Dimension of the Set of Causal Solutions of Linear Multivariate Rational Expectations Models

abstract: This paper analyses the number of free parameters and solutions of the structural difference equation obtained from a linear multivariate rational expectations model. First, it is shown that the number of free parameters depends on the structure of the zeros at zero of a certain matrix polynomial of the structural difference equation and the number of inputs of the rational expectations model. Second, the implications of requiring that some components of the endogenous variables be predetermined are analysed. Third, a condition for existence and uniqueness of a causal stationary solution is given.


title: Higgs boson decay $h\rightarrow Z\gamma$ and muon magnetic dipole moment in the $\mu\nu$SSM

abstract: To solve the $\mu$ problem and generate three tiny neutrino masses in the MSSM, the $\mu$ from $\nu$ Supersymmetric Standard Model ($\mu\nu$SSM) introduces three singlet right-handed neutrino superfields, which lead to the mixing of the Higgs doublets with the sneutrinos. The mixing affects the lightest Higgs boson mass and the Higgs couplings. The present observed 95\% CL upper limit on signal strength of the 125 GeV Higgs boson decay $h\rightarrow Z\gamma$ is 6.6, which still is plenty of space to prove the existence of new physics. In this work, we investigate the signal strength of the 125 GeV Higgs boson decay channel $h\rightarrow Z\gamma$ in the $\mu\nu$SSM. Besides, we consider the two-loop electroweak corrections of muon anomalous magnetic dipole moment (MDM) in the model, which also make important contributions compared with one-loop electroweak corrections.


title: Bound hole states associated to individual vanadium atoms incorporated into monolayer WSe$_2$

abstract: Doping a two-dimensional semiconductor with magnetic atoms is a possible route to induce magnetism in the material. We report on the atomic structure and electronic properties of monolayer WSe$_2$ intentionally doped with vanadium atoms by means of scanning transmission electron microscopy and scanning tunneling microscopy and spectroscopy. Most of the V atoms incorporate at W sites. These V$_W$ dopants are negatively charged, which induces a localized bound state located 140 meV above the valence band maximum. The overlap of the electronic potential of two charged V$_W$ dopants generates additional in-gap states. Eventually, the negative charge may suppress the magnetic moment on the V$_W$ dopants.


title: Asymptotic errors for convex penalized linear regression beyond Gaussian matrices

abstract: We consider the problem of learning a coefficient vector $x_{0}$ in $R^{N}$ from noisy linear observations $y=Fx_{0}+w$ in $R^{M}$ in the high dimensional limit $M,N$ to infinity with $\alpha=M/N$ fixed. We provide a rigorous derivation of an explicit formula -- first conjectured using heuristic methods from statistical physics -- for the asymptotic mean squared error obtained by penalized convex regression estimators such as the LASSO or the elastic net, for a class of very generic random matrices corresponding to rotationally invariant data matrices with arbitrary spectrum. The proof is based on a convergence analysis of an oracle version of vector approximate message-passing (oracle-VAMP) and on the properties of its state evolution equations. Our method leverages on and highlights the link between vector approximate message-passing, Douglas-Rachford splitting and proximal descent algorithms, extending previous results obtained with i.i.d. matrices for a large class of problems. We illustrate our results on some concrete examples and show that even though they are asymptotic, our predictions agree remarkably well with numerics even for very moderate sizes.


title: Cycle maps on cohomology theories for dg-categories and their applications

abstract: In this article, we propose noncommutative versions of Tate conjecture and Hodge conjecture. If we consider these conjectures for a dg-category of perfect complexes over a certain schemes $X$, then they are equivalent to the classical Tate and Hodge conjectures for $X$ respectively. We also propose a strategy of how to prove these conjectures by utilizing a version of motivic Bass conjecture.


title: Convolutional Neural Networks and a Transfer Learning Strategy to Classify Parkinson's Disease from Speech in Three Different Languages

abstract: Parkinson's disease patients develop different speech impairments that affect their communication capabilities. The automatic assessment of the speech of the patients allows the development of computer aided tools to support the diagnosis and the evaluation of the disease severity. This paper introduces a methodology to classify Parkinson's disease from speech in three different languages: Spanish, German, and Czech. The proposed approach considers convolutional neural networks trained with time frequency representations and a transfer learning strategy among the three languages. The transfer learning scheme aims to improve the accuracy of the models when the weights of the neural network are initialized with utterances from a different language than the used for the test set. The results suggest that the proposed strategy improves the accuracy of the models in up to 8\% when the base model used to initialize the weights of the classifier is robust enough. In addition, the results obtained after the transfer learning are in most cases more balanced in terms of specificity-sensitivity than those trained without the transfer learning strategy.


title: Generalized Kernel-Based Dynamic Mode Decomposition

abstract: Reduced modeling in high-dimensional reproducing kernel Hilbert spaces offers the opportunity to approximate efficiently non-linear dynamics. In this work, we devise an algorithm based on low rank constraint optimization and kernel-based computation that generalizes a recent approach called "kernel-based dynamic mode decomposition". This new algorithm is characterized by a gain in approximation accuracy, as evidenced by numerical simulations, and in computational complexity.


title: Density of Composite Places in Function Fields and Applications to Real Holomorphy Rings

abstract: Given an algebraic function field $F|K$ and a place $\wp$ on $K$, we prove that the places that are composite with extensions of $\wp$ to finite extensions of $K$ lie dense in the space of all places of $F$, in a strong sense. We apply the result to the case of $K=R$ any real closed field and the fixed place on $R$ being its natural (finest) real place. This leads to a new description of the real holomorphy ring of $F$ which can be seen as an analogue to a certain refinement of Artin's solution of Hilbert's 17th problem. We also determine the relation between the topological space $M(F)$ of all $\R$-places of $F$ (places with residue field contained in $\R$), its subspace of all $\R$-places of $F$ that are composite with the natural $\R$-place of $R$, and the topological space of all $R$-rational places. Further results about these spaces as well as various classes of relative real holomorphy rings are proven. At the conclusion of the paper the theory of real spectra of rings will be applied to interpret basic concepts from that angle and to show that the space $M(F)$ has only finitely many topological components.


title: The Sixth Data Release of the Radial Velocity Experiment (RAVE) -- I: Survey Description, Spectra and Radial Velocities

abstract: The Radial Velocity Experiment (RAVE) is a magnitude-limited (9<I<12) spectroscopic survey of Galactic stars randomly selected in the southern hemisphere. The RAVE medium-resolution spectra (R~7500) cover the Ca-triplet region (8410-8795A). The 6th and final data release (DR6 or FDR) is based on 518387 observations of 451783 unique stars. RAVE observations were taken between 12 April 2003 and 4 April 2013. Here we present the genesis, setup and data reduction of RAVE as well as wavelength-calibrated and flux-normalized spectra and error spectra for all observations in RAVE DR6. Furthermore, we present derived spectral classification and radial velocities for the RAVE targets, complemented by cross matches with Gaia DR2 and other relevant catalogs. A comparison between internal error estimates, variances derived from stars with more than one observing epoch and a comparison with radial velocities of Gaia DR2 reveals consistently that 68% of the objects have a velocity accuracy better than 1.4 km/s, while 95% of the objects have radial velocities better than 4.0 km/s. Stellar atmospheric parameters, abundances and distances are presented in subsequent publication. The data can be accessed via the RAVE Web (http://rave-survey.org) or the Vizier database.


title: Local behaviour of sequences of three-dimensional generalised monopoles

abstract: The purpose of this paper is to study the behaviour of sequences of generalised monopoles with a uniform bound on a certain L2-norm. We focus on the case that the target hyperKahler manifolds are Swann bundles. In 3-dimensional case, suppose that there exists an open submanifold Y' such that the hyperKahler potential along the monopoles has a uniform lower bound over Y'. Then we show that there exist convergent subsequences of generalised monopoles over any compact subset of Y'. Under similar assumptions, the same conclusion holds for the generalised harmonic spinors in dimension four.


title: Determination of the Fermi surface and field-induced quasi-particle tunneling around the Dirac nodal-loop in ZrSiS

abstract: Unambiguous and complete determination of the Fermi surface is a primary step in understanding the electronic properties of topical metals and semi-metals, but only in a relatively few cases has this goal been realized. In this work, we present a systematic high-field quantum oscillation study up to 35 T on ZrSiS, a textbook example of a nodal-line semimetal with only linearly dispersive bands crossing the Fermi energy. The topology of the Fermi surface is determined with unprecedented precision and all pockets are identified by comparing the measured angle dependence of the quantum oscillations to density functional theory calculations. Comparison of the Shubnikov-de Haas and de Haas-van Alphen oscillations at low temperatures and analysis of the respective Dingle plots reveal the presence of significantly enhanced scattering on the electron pocket. Above a threshold field that is aligned along the c-axis of the crystal, the specific cage-like Fermi surface of ZrSiS allows for electron-hole tunneling to occur across finite gaps in momentum space leading to quantum oscillations with a complex frequency spectrum. Additional high-frequency quantum oscillations signify magnetic breakdown orbits that encircle the entire Dirac nodal loop. We suggest that the persistence of quantum oscillations in the resistivity to high temperatures is caused by Stark interference between orbits of nearly equal masses.


title: Saliency Enhancement using Gradient Domain Edges Merging

abstract: In recent years, there has been a rapid progress in solving the binary problems in computer vision, such as edge detection which finds the boundaries of an image and salient object detection which finds the important object in an image. This progress happened thanks to the rise of deep-learning and convolutional neural networks (CNN) which allow to extract complex and abstract features. However, edge detection and saliency are still two different fields and do not interact together, although it is intuitive for a human to detect salient objects based on its boundaries. Those features are not well merged in a CNN because edges and surfaces do not intersect since one feature represents a region while the other represents boundaries between different regions. In the current work, the main objective is to develop a method to merge the edges with the saliency maps to improve the performance of the saliency. Hence, we developed the gradient-domain merging (GDM) which can be used to quickly combine the image-domain information of salient object detection with the gradient-domain information of the edge detection. This leads to our proposed saliency enhancement using edges (SEE) with an average improvement of the F-measure of at least 3.4 times higher on the DUT-OMRON dataset and 6.6 times higher on the ECSSD dataset, when compared to competing algorithm such as denseCRF and BGOF. The SEE algorithm is split into 2 parts, SEE-Pre for preprocessing and SEE-Post pour postprocessing.


title: Second order fully semi-Lagrangian discretizations of advection-diffusion-reaction systems

abstract: We propose a second order, fully semi-Lagrangian method for the numerical solution of systems of advection-diffusion-reaction equations, which employs a semi-Lagrangian approach to approximate in time both the advective and the diffusive terms. Standard interpolation procedures are used for the space discretization on structured and unstructured meshes. The proposed method allows for large time steps, while avoiding the solution of large linear systems, which would be required by an implicit time discretization technique. Numerical experiments demonstrate the effectiveness of the proposed approach and its superior efficiency with respect to more conventional explicit and implicit time discretizations


title: Using smartphones as hydrophones: two experiments in underwater acoustics

abstract: During the last years, it has become increasingly clear that smartphones are valuable tools to be used almost everywhere. Until recently, a place that still resisted smartphone onslaught was the aquatic media. However, nowadays, many modern smartphones are waterproof and the performance of their microphones results sufficiently adequate to employ them as hydrophones. This capability gives rise to several interesting applications. Here, we describe two experiments in underwater acoustics which require two smartphones -- at least one should be waterproof. The first experiment consists in a simple time-of-flight measurement of the sound speed in water and the comparison with the corresponding value in air. The second experiment deals with the acoustic location -- or ranging -- of a distant object by comparing the time it takes for the sound to reach the object travelling in two different media (air and water in this case) with known sound speed.


title: Interpolation problem for periodically correlated stochastic sequences with missing observations

abstract: The problem of mean square optimal estimation of linear functionals which depend on the unobserved values of a periodically correlated stochastic sequence is considered. The estimates are based on observations of the sequence with a noise. Formulas for calculation the mean square errors and the spectral characteristics of the optimal estimates of functionals are derived in the case of spectral certainty, where the spectral densities of the sequences are exactly known. Formulas that determine the least favorable spectral densities and the minimax spectral characteristics are proposed in the case of spectral uncertainty, where the spectral densities of the sequences are not exactly known while some classes of admissible spectral densities are specified.


title: A Case Study of Promoting Informal Inferential Reasoning in Learning Sampling Distribution for High School Students

abstract: Drawing inference from data is an important skill for students to understand their everyday life, so that the sampling distribution as a central topic in statistical inference is necessary to be learned by the students. However, little is known about how to teach the topic for high school students, especially in Indonesian context. Therefore, the present study provides a teaching experiment to support the students' informal inferential reasoning in understanding the sampling distribution, as well as the students' perceptions toward the teaching experiment. The subjects in the present study were three 11th-grader of one private school in Yogyakarta majoring in mathematics and natural science. The method of data collection was direct observation of sampling distribution learning process, interviews, and documentation. The present study found that that informal inferential reasoning with problem-based learning using contextual problems and real data could support the students to understand the sampling distribution, and they also gave positive responses about their learning experience.


title: Visualizing Local Minima in Multi-Robot Motion Planning using Multilevel Morse Theory

abstract: Multi-robot motion planning problems often have many local minima. It is essential to visualize those local minima such that we can better understand, debug and interact with multi-robot systems. Towards this goal, we present the multi-robot motion explorer, an algorithm which extends previous results on multilevel Morse theory by introducing a component-based framework, where we reduce multi-robot configuration spaces by reducing each robots component space using fiber bundles. Our algorithm exploits this component structure to search for and visualize local minima. A user of the algorithm can specify a multilevel abstraction and an optimization algorithm. We use this information to incrementally build a local minima tree for a given problem. We demonstrate this algorithm on several multi-robot systems of up to 20 degrees of freedom.


title: Limited memory predictors based on polynomial approximation of periodic exponents

abstract: The paper presents transfer functions for limited memory time-invariant linear integral predictors for continuous time processes such that the corresponding predicting kernels have bounded support. It is shown that processes with exponentially decaying Fourier transforms are predictable with these predictors in some weak sense, meaning that convolution integrals over the future times can be approximated by causal convolutions over past times. For a given predicting horizon, the predictors are based on polynomial approximation of a periodic exponent (complex sinusoid) in a weighted $L_2$-space.


title: Bimeron Clusters in Chiral Antiferromagnets

abstract: A mgnetic bimeron is an in-plane topological counterpart of a magnetic skyrmion. Despite the topological equivalence, their statics and dynamics could be distinct, making them attractive from the perspectives of both physics and spintronic applications. In this work, we investigate an antiferromagnetic (AFM) thin film with interfacial Dzyaloshinskii-Moriya interaction (DMI), and introduce the AFM bimeron cluster as a new form of topological quasi-particle. Bimerons demonstrate high current-driven mobility as generic AFM solitons, while featuring anisotropic and relativistic dynamics excited by currents with in-plane and out-of-plane polarizations, respectively. Moreover, these spin textures can absorb other bimeron solitons or clusters along the translational direction to acquire a wide range of N\'eel topological numbers. The clustering involves the rearrangement of topological structures, and gives rise to remarkable changes in static and dynamical properties. The merits of AFM bimeron clusters reveal a potential path to unify multi-bit data creation, transmission, storage and even topology-based computation within the same material system, and may stimulate innovative spintronic devices enabling new paradigms of data manipulations.


title: A Dissipativity Characterization of Velocity Turnpikes in Optimal Control Problems for Mechanical Systems

abstract: Turnpikes have recently gained significant research interest in optimal control, since they allow for pivotal insights into the structure of solutions to optimal control problems. So far, mainly steady state solutions which serve as optimal operation points, are studied. This is in contrast to time-varying turnpikes, which are in the focus of this paper. More concretely, we analyze symmetry-induced velocity turnpikes, i.e. controlled relative equilibria, called trim primitives, which are optimal operation points regarding the given cost criterion. We characterize velocity turnpikes by means of dissipativity inequalities. Moreover, we study the equivalence between optimal control problems and steady-state problems via the corresponding necessary optimality conditions. An academic example is given for illustration.


title: CP Violating Phase Originated from Right-handed Neutrino Mixing

abstract: We propose an idea that the observed CP violation in neutrino oscillation is originated from the phase in right-handed neutrino mixing by seesaw mechanism. We add small breaking terms $M_{ij}N_{R_i}N_{R_j} $ in model based on $A_4$ symmetry to generate non-diagonal right-handed neutrino mixing, which will give a small correction to TBM mixing via seesaw mechanism with nonzero reactor angle and CP violating phase. We estimate the CP violating phase by investigating the process of leptogenesis due to the decay of right-handed neutrino.


title: On geodesics of gradient-index optical metrics and the optical-mechanical analogy

abstract: The geodesic equations for optical media whose refractive indices have a non-vanishing gradient are developed. It is shown that when those media are optically isotropic, the light paths will be mull geodesics of a spatial metric that is conformally related to the metric of the ambient space. Various aspects of the optical-mechanical analogy are discussed as they relate to the geodesics of conformally related metrics. Some applications of the concepts of gradient-index optics to general relativity are examined, such as effective indices of refraction for gravitational lensing and Gordon's optical metrics for optical media that are in a state of relative motion with respect to an observer. The latter topic is approached from the standpoint of pre-metric electromagnetism.


title: Growth, charge and thermal transport of flowered graphene

abstract: We report on the structural and transport properties of the smallest dislocation loop in graphene, known as a flower defect. First, by means of advanced experimental imaging techniques, we deduce how flower defects are formed during recrystallization of chemical vapor deposited graphene. We propose that the flower defects arise from a bulge type mechanism in which the flower domains are the grains left over by dynamic recrystallisation. Next, in order to evaluate the use of such defects as possible building blocks for all-graphene electronics, we combine multiscale modeling tools to investigate the structure and the electron and phonon transport properties of large monolayer graphene samples with a random distribution of flower defects. For large enough flower densities, we find that electron transport is strongly suppressed while, surprisingly, hole transport remains almost unaffected. These results suggest possible applications of flowered graphene for electron energy filtering. For the same defect densities, phonon transport is reduced by orders of magnitude as elastic scattering by defects becomes dominant. Heat transport by flexural phonons, key in graphene, is largely suppressed even for very low concentrations.


title: How well do U-Net-based segmentation trained on adult cardiac magnetic resonance imaging data generalise to rare congenital heart diseases for surgical planning?

abstract: Planning the optimal time of intervention for pulmonary valve replacement surgery in patients with the congenital heart disease Tetralogy of Fallot (TOF) is mainly based on ventricular volume and function according to current guidelines. Both of these two biomarkers are most reliably assessed by segmentation of 3D cardiac magnetic resonance (CMR) images. In several grand challenges in the last years, U-Net architectures have shown impressive results on the provided data. However, in clinical practice, data sets are more diverse considering individual pathologies and image properties derived from different scanner properties. Additionally, specific training data for complex rare diseases like TOF is scarce. For this work, 1) we assessed the accuracy gap when using a publicly available labelled data set (the Automatic Cardiac Diagnosis Challenge (ACDC) data set) for training and subsequent applying it to CMR data of TOF patients and vice versa and 2) whether we can achieve similar results when applying the model to a more heterogeneous data base. Multiple deep learning models were trained with four-fold cross validation. Afterwards they were evaluated on the respective unseen CMR images from the other collection. Our results confirm that current deep learning models can achieve excellent results (left ventricle dice of $0.951\pm{0.003}$/$0.941\pm{0.007}$ train/validation) within a single data collection. But once they are applied to other pathologies, it becomes apparent how much they overfit to the training pathologies (dice score drops between $0.072\pm{0.001}$ for the left and $0.165\pm{0.001}$ for the right ventricle).


title: A Simple and Efficient Asynchronous Randomized Binary Byzantine Consensus Algorithm

abstract: This paper describes a simple and efficient asynchronous Binary Byzantine faulty tolerant consensus algorithm. In the algorithm, non-faulty nodes perform an initial broadcast followed by a executing a series of rounds each consisting of a single message broadcast plus the computation of a global random coin using threshold signatures. Each message is accompanied by a cryptographic proof of its validity. Up to one third of the nodes can be faulty and termination is expected in a constant number of rounds. An optimization is described allowing the round message plus the coin message to be combined, reducing rounds to a single message delay. Geodistributed experiments are run on replicates in ten data center regions showing average latencies as low as 400 milliseconds.


title: Quantum Image Processing: the truth, the whole truth, and nothing but the truth about its problems on internal image representation and outcomes recovering

abstract: In this paper, three techniques of internal image-representation in a quantum computer are compared: Flexible Representation of Quantum Images (FRQI), Novel Enhanced Quantum Representation of digital images (NEQR), and Quantum Boolean Image Processing (QBIP). All conspicuous technical items are considered in this comparison for complete analysis: i) performance as Classical-to-Quantum (Cl2Qu) interface, ii) characteristics of the employed qubits, iii) sparsity of the used internal registers, iv) number and size of the required registers, v) quality in the outcomes recovering, vi) number of required gates and its consequent accumulated noise, vi) decoherence, and vii) fidelity. These analyses and demonstrations are automatically extended to all variants of FRQI and NEQR. This study demonstrated the practical infeasibility in the implementation of FRQI and NEQR on a physical quantum computer (QPU), while QBIP has proven to be extremely successful on a) the four main quantum simulators on the cloud, b) two QPUs, and c) optical circuits from three labs. Moreover, QBIP also demonstrated its economy regarding the required resources needed for its proper function and its great robustness (immunity to noise), among other advantages, in fact, without any exceptions.


title: A lower bound for the modulus of the Dirichlet eta function on a partition $\mathcal{P}$ from 2-D principal component analysis and transitive composition

abstract: The present manuscript aims to derive an expression for the lower bound of the modulus of the Dirichlet eta function on vertical lines $\Re(s)=\alpha$. The approach employs concepts of two-dimensional principal component analysis built on a parametric ellipse, to match the dimensionality of the complex plane. The one-sided lower bound $\forall s \in \mathbb{C}$ s.t. $\Re(s) \in \mathcal{P}$, $| \eta(s) | \geq \left| 1 - \frac{\sqrt{2}}{2^\alpha} \right|$, where $\eta$ is the Dirichlet eta function, is related with the Riemann hypothesis as $|\eta(s)| > 0$ for any $s \in \mathbb{C}$ s.t. $\Re(s) \in \mathcal{P}$, where $\mathcal{P}$ is a partition spanning one half of the critical strip depending upon a variable. We propose the composite lower bound $\forall s \in \, \mathbb{C}$ s.t. $\Re(s) \in \,]1/2,1[$, $|\eta(s)| \geq \text{Min}\left(1- \frac{\sqrt{2}}{2^{\alpha}},\frac{\sqrt{2}}{2^\alpha}-\frac{\sqrt{2}}{2}\right)$, resulting from transitive composition in $\eta(s) = \left(1-\frac{2}{2^s} \right) \zeta(s)$. As a founding principle, the solution space of the set of solutions referring to such $\mathcal{L}^2$-problem is a representation of the space spanned by explanatory variables satisfying its algebraic form.


title: Collaboration vs. choreography conformance in BPMN

abstract: The BPMN 2.0 standard is a widely used semi-formal notation to model distributed information systems from different perspectives. The standard makes available a set of diagrams to represent such perspectives. Choreography diagrams represent global constraints concerning the interactions among system components without exposing their internal structure. Collaboration diagrams instead permit to depict the internal behaviour of a component, also referred as process, when integrated with others so to represent a possible implementation of the distributed system. This paper proposes a design methodology and a formal framework for checking conformance of choreographies against collaborations. In particular, the paper presents a direct formal operational semantics for both BPMN choreography and collaboration diagrams. Conformance aspects are proposed through two relations defined on top of the defined semantics. The approach benefits from the availability of a tool we have developed, named C4, that permits to experiment the theoretical framework in practical contexts. The objective here is to make the exploited formal methods transparent to system designers, thus fostering a wider adoption by practitioners.


title: Fake News Detection on News-Oriented Heterogeneous Information Networks through Hierarchical Graph Attention

abstract: The viral spread of fake news has caused great social harm, making fake news detection an urgent task. Current fake news detection methods rely heavily on text information by learning the extracted news content or writing style of internal knowledge. However, deliberate rumors can mask writing style, bypassing language models and invalidating simple text-based models. In fact, news articles and other related components (such as news creators and news topics) can be modeled as a heterogeneous information network (HIN for short). In this paper, we propose a novel fake news detection framework, namely Hierarchical Graph Attention Network(HGAT), which uses a novel hierarchical attention mechanism to perform node representation learning in HIN, and then detects fake news by classifying news article nodes. Experiments on two real-world fake news datasets show that HGAT can outperform text-based models and other network-based models. In addition, the experiment proved the expandability and generalizability of our for graph representation learning and other node classification related applications in heterogeneous graphs.


title: PT-symmetric potentials having continuous spectra

abstract: One-dimensional PT-symmetric quantum-mechanical Hamiltonians having continuous spectra are studied. The Hamiltonians considered have the form $H=p^2+V(x)$, where $V(x)$ is odd in $x$, pure imaginary, and vanishes as $|x|\to\infty$. Five PT-symmetric potentials are studied: the Scarf-II potential $V_1(x)=iA_1\,{\rm sech}(x)\tanh(x)$, which decays exponentially for large $|x|$; the rational potentials $V_2(x)=iA_2\,x/(1+x^4)$ and $V_3(x)=iA_3\,x/(1+|x|^3)$, which decay algebraically for large $|x|$; the step-function potential $V_4(x)=iA_4\,{\rm sgn}(x)\theta(2.5-|x|)$, which has compact support; the regulated Coulomb potential $V_5(x)=iA_5\,x/(1+x^2)$, which decays slowly as $|x|\to\infty$ and may be viewed as a long-range potential. The real parameters $A_n$ measure the strengths of these potentials. Numerical techniques for solving the time-independent Schr\"odinger eigenvalue problems associated with these potentials reveal that the spectra of the corresponding Hamiltonians exhibit universal properties. In general, the eigenvalues are partly real and partly complex. The real eigenvalues form the continuous part of the spectrum and the complex eigenvalues form the discrete part of the spectrum. The real eigenvalues range continuously in value from $0$ to $+\infty$. The complex eigenvalues occur in discrete complex-conjugate pairs and for $V_n(x)$ ($1\leq n\leq4$) the number of these pairs is finite and increases as the value of the strength parameter $A_n$ increases. However, for $V_5(x)$ there is an {\it infinite} sequence of discrete eigenvalues with a limit point at the origin. This sequence is complex, but it is similar to the Balmer series for the hydrogen atom because it has inverse-square convergence.


title: Signatures of the Majorana spin in electrical transport through a Majorana nanowire

abstract: In this paper, we investigate the transport properties of spinful electrons tunnel-coupled to a finite-length Majorana nanowire on one end which is further tunnel-coupled to a quantum dot (QD) at the other end. Using a full counting statistics approach, we show that Andreev reflection can happen in two separate channels that can be associated with the two spin states of the tunneling electrons. In a low-energy model for the nanowire that is represented by two overlapping Majorana bound states (MBSs) localized at the ends of the wire, analytical formulas for conductance and noise reveal their crucial dependence on the spin-canting angle difference of the two MBSs in the absence of the QD if the spinful lead couples to both MBSs. We further investigate the influence of a finite temperature on the observation of the coupling to both MBSs. In the presence of the QD, the interference of different tunneling paths gives rise to Fano resonances and the symmetry of those provide decisive information about the coupling to both MBSs. We contrast the low-energy model with a tight-binding model of the Majorana nanowire and treat the Coulomb interaction on the QD with a self-consistent mean field approach. Using the scattering matrix approach, we thereby extend the transport results obtained in the low-energy model including also higher excited states in the nanowire.


title: A numerical damped oscillator approach to constrained Schr\"{o}dinger equations

abstract: This article explains and illustrates the use of a set of coupled dynamical equations, second order in a fictitious time, which converges to solutions of stationary Schr\"{o}dinger equations with additional constraints. We include three qualitative different numerical examples: the radial Schr\"{o}dinger equation for the hydrogen atom; the two-dimensional harmonic oscillator with degenerate excited states; and finally a non-linear Schr\"{o}dinger equation for rotating states. The presented method is intuitive, with analogies in classical mechanics for damped oscillators, and easy to implement, either in own coding, or with software for dynamical systems. Hence, we find it suitable to introduce it in a continuation course in quantum mechanics or generally in applied mathematics courses which contain computational parts.

categories: physics.comp-ph cs.NA math.DS math.NA physics.ed-ph


title: Understanding Crowd Behaviors in a Social Event by Passive WiFi Sensing and Data Mining

abstract: Understanding crowd behaviors in a large social event is crucial for event management. Passive WiFi sensing, by collecting WiFi probe requests sent from mobile devices, provides a better way to monitor crowds compared with people counters and cameras in terms of free interference, larger coverage, lower cost, and more information on people's movement. In existing studies, however, not enough attention has been paid to the thorough analysis and mining of collected data. Especially, the power of machine learning has not been fully exploited. In this paper, therefore, we propose a comprehensive data analysis framework to fully analyze the collected probe requests to extract three types of patterns related to crowd behaviors in a large social event, with the help of statistics, visualization, and unsupervised machine learning. First, trajectories of the mobile devices are extracted from probe requests and analyzed to reveal the spatial patterns of the crowds' movement. Hierarchical agglomerative clustering is adopted to find the interconnections between different locations. Next, k-means and k-shape clustering algorithms are applied to extract temporal visiting patterns of the crowds by days and locations, respectively. Finally, by combining with time, trajectories are transformed into spatiotemporal patterns, which reveal how trajectory duration changes over the length and how the overall trends of crowd movement change over time. The proposed data analysis framework is fully demonstrated using real-world data collected in a large social event. Results show that one can extract comprehensive patterns from data collected by a network of passive WiFi sensors.


title: Defining mass transfer in a capillary wave micro-bioreactor

abstract: For high-throughput cell culture and associated analytics, droplet-based cultivation systems open up the opportunities for parallelization and rapid data generation. In contrast to microfluidics with continuous flow, sessile droplet approaches enhance the flexibility for fluid manipulation with usually less operational effort. Generating biologically favorable conditions and promoting cell growth in a droplet, however, is particularly challenging due to mass transfer limitations, which has to be solved by implementing an effective mixing technique. Here, capillary waves induced by vertical oscillation are used to mix inside a sessile droplet micro-bioreactor (MBR) system avoiding additional moving parts inside the fluid. Depending on the excitation frequency, different patterns are formed on the oscillating liquid surface, which are described by a model of a vibrated sessile droplet. Analyzing mixing times and oxygen transport into the liquid, a strong dependency of mass transfer on the oscillation parameters, especially the excitation frequency, is demonstrated. Oscillations at distinct capillary wave resonant frequencies lead to rapid homogenization with mixing times of 2 s and volumetric liquid-phase mass transfer coefficients of more than 340 h-1. This shows that the mass transfer in a droplet MBR can be specifically controlled via capillary waves, what is subsequently demonstrated for cultivations of Escherichia coli BL21 cells. Therefore, the presented MBR in combination with vertical oscillation mixing for intensified mass transfer is a promising tool for highly parallel cultivation and data generation.


title: On the boundedness of subsequences of Vilenkin-Fej\'er means on the martingale Hardy spaces

abstract: In this paper we characterize subsequences of Fej\'er means with respect to Vilenkin systems, which are bounded from the Hardy space $H_{p}$ to the Lebesgue space $L_{p},$ for all $0<p<1/2.$ The result is in a sense sharp.


title: Formal $P$-Gevrey series solutions of first order holomorphic PDEs

abstract: We provide a complete and self-contained proof of the Gevrey character, in an analytic function $P$, of formal power series solutions of some families of first order holomorphic PDEs. Our approach is based on a majorant series technique by applying Nagumo norms joint with a division algorithm.


title: SafeNet: An Assistive Solution to Assess Incoming Threats for Premises

abstract: An assistive solution to assess incoming threats (e.g., robbery, burglary, gun violence) for homes will enhance the safety of the people with or without disabilities. This paper presents "SafeNet"- an integrated assistive system to generate context-oriented image descriptions to assess incoming threats. The key functionality of the system includes the detection and identification of human and generating image descriptions from the real-time video streams obtained from the cameras placed in strategic locations around the house. In this paper, we focus on developing a robust model called "SafeNet" to generate image descriptions. To interact with the system, we implemented a dialog enabled interface for creating a personalized profile from face images or videos of friends/families. To improve computational efficiency, we apply change detection to filter out frames that do not have any activity and use Faster-RCNN to detect the human presence and extract faces using Multitask Cascaded Convolutional Networks (MTCNN). Subsequently, we apply LBP/FaceNet to identify a person. SafeNet sends image descriptions to the users with an MMS containing a person's name if any match found or as "Unknown", scene image, facial description, and contextual information. SafeNet identifies friends/families/caregiver versus intruders/unknown with an average F-score 0.97 and generates image descriptions from 10 classes with an average F-measure 0.97.


title: Traffic Data Imputation using Deep Convolutional Neural Networks

abstract: We propose a statistical learning-based traffic speed estimation method that uses sparse vehicle trajectory information. Using a convolutional encoder-decoder based architecture, we show that a well trained neural network can learn spatio-temporal traffic speed dynamics from time-space diagrams. We demonstrate this for a homogeneous road section using simulated vehicle trajectories and then validate it using real-world data from NGSIM. Our results show that with probe vehicle penetration levels as low as 5\%, the proposed estimation method can provide a sound reconstruction of macroscopic traffic speeds and reproduce realistic shockwave patterns, implying applicability in a variety of traffic conditions. We further discuss the model's reconstruction mechanisms and confirm its ability to differentiate various traffic behaviors such as congested and free-flow traffic states, transition dynamics, and shockwave propagation.


title: Toward Improving the Evaluation of Visual Attention Models: a Crowdsourcing Approach

abstract: Human visual attention is a complex phenomenon. A computational modeling of this phenomenon must take into account where people look in order to evaluate which are the salient locations (spatial distribution of the fixations), when they look in those locations to understand the temporal development of the exploration (temporal order of the fixations), and how they move from one location to another with respect to the dynamics of the scene and the mechanics of the eyes (dynamics). State-of-the-art models focus on learning saliency maps from human data, a process that only takes into account the spatial component of the phenomenon and ignore its temporal and dynamical counterparts. In this work we focus on the evaluation methodology of models of human visual attention. We underline the limits of the current metrics for saliency prediction and scanpath similarity, and we introduce a statistical measure for the evaluation of the dynamics of the simulated eye movements. While deep learning models achieve astonishing performance in saliency prediction, our analysis shows their limitations in capturing the dynamics of the process. We find that unsupervised gravitational models, despite of their simplicity, outperform all competitors. Finally, exploiting a crowd-sourcing platform, we present a study aimed at evaluating how strongly the scanpaths generated with the unsupervised gravitational models appear plausible to naive and expert human observers.


title: Distinguishing between Topological and Quasi Majorana Zero Modes with a Dissipative Resonant Level

abstract: Distinguishing between topological Majorana zero modes and quasi Majorana modes -- trivial low energy Andreev bound states -- is an important step towards realizing topological hybrid nanowire devices. We propose that this distinction can be made by connecting a hybrid nanowire to a dissipative resonant level realized by a quantum dot weakly coupled to high resistance leads. We show that the qualitative temperature scaling of the width of the resonant level zero bias conductance peak provides a signature unique to true Majorana zero modes. The degeneracy induced by a true Majorana zero mode is further shown to stabilize this conductance peak against particle-hole asymmetry.


title: Changed paradigm of fast magnetic reconnection

abstract: Although magnetic reconnection takes place in three-dimensional space, reconnection theory has focused on two-dimensional models for more than sixty years. Well-posed three-dimensional mathematics associated with the theory of fluid mixing provides a predictive and compelling explanation for why fast magnetic reconnection is prevalent---exponentially large variations in the separations between magnetic field lines. The proofs have been simplified to remove any rational reason to maintain a focus on two dimensional models, which fail to represent the mathematical properties of three-dimensional space.


title: Regular Black Holes in Rainbow Gravity

abstract: In this work, we consider that in energy scales greater than the Planck energy, the geometry, fundamental physical constants, as charge, mass, speed of light and Newtonian constant of gravitation, and matter fields will depend on the scale. This type of theory is known as Rainbow Gravity. We coupled the nonlinear electrodynamics to the Rainbow Gravity, defining a new mass function $M(r,\epsilon)$, such that we may formulate new classes of spherically symmetric regular black hole solutions, where the curvature invariants are well-behaved in all spacetime. The main differences between the General Relativity and our results in the the Rainbow gravity are: a) The intensity of the electric field is inversely proportional to the energy scale. The higher the energy scale, the lower the electric field intensity; b) the region where the strong energy condition (SEC) is violated decrease as the energy scale increase. The higher the energy scale, closer to the radial coordinate origin SEC is violated.


title: Cut vertex and unicyclic graphs with the maximum number of connected induced subgraphs

abstract: Cut vertices are often used as a measure of nodes' importance within a network. They are those nodes whose failure disconnects a graph. Let N(G) be the number of connected induced subgraphs of a graph $G$. In this work, we investigate the maximum of N(G) where $G$ is a unicyclic graph with $n$ nodes of which $c$ are cut vertices. For all valid $n,c$, we give a full description of those maximal (that maximise N(.)) unicyclic graphs. It is found that there are generally two maximal unicyclic graphs. For infinitely many values of $n,c$, however, there is a unique maximal unicyclic graph with $n$ nodes and $c$ cut vertices. In particular, the well-known negative correlation between the number of connected induced subgraphs of trees and the Wiener index (sum of distances) fails for unicyclic graphs with $n$ nodes and $c$ cut vertices: for instance, the maximal unicyclic graph with $n=3,4\mod 5$ nodes and $c=n-5>3$ cut vertices is different from the unique graph that was shown by Tan et al.~[{\em The Wiener index of unicyclic graphs given number of pendant vertices or cut vertices}. J. Appl. Math. Comput., 55:1--24, 2017] to minimise the Wiener index. Our main characterisation of maximal unicyclic graphs with respect to the number of connected induced subgraphs also applies to unicyclic graphs with $n$ nodes, $c$ cut vertices and girth at most $g>3$, since it is shown that the girth of every maximal graph with $n$ nodes and $c$ cut vertices cannot exceed $4$.


title: Causal Variational Principles in the $\sigma$-Locally Compact Setting: Existence of Minimizers

abstract: We prove the existence of minimizers of causal variational principles on second countable, locally compact Hausdorff spaces. Moreover, the corresponding Euler-Lagrange equations are derived. The method is to first prove the existence of minimizers of the causal variational principle restricted to compact subsets for a lower semi-continuous Lagrangian. Exhausting the underlying topological space by compact subsets and rescaling the corresponding minimizers, we obtain a sequence which converges vaguely to a regular Borel measure of possibly infinite total volume. It is shown that, for continuous Lagrangians of compact range, this measure solves the Euler-Lagrange equations. Furthermore, we prove that the constructed measure is a minimizer under variations of compact support. Under additional assumptions, it is proven that this measure is a minimizer under variations of finite volume. We finally extend our results to continuous Lagrangians decaying in entropy.


title: The non-commutative Hardy-Littlewood maximal function on symmetric spaces of $\tau-$measurable operators

abstract: In this paper, we investigate the Hardy-Littlewood maximal function on non-commutative symmetric spaces. We complete the results of T. Bekjan and J. Shao. Moreover, we refine the main results of the papers \cite{Bek} and \cite{Sh}.


title: Diversity-Achieving Slow-DropBlock Network for Person Re-Identification

abstract: A big challenge of person re-identification (Re-ID) using a multi-branch network architecture is to learn diverse features from the ID-labeled dataset. The 2-branch Batch DropBlock (BDB) network was recently proposed for achieving diversity between the global branch and the feature-dropping branch. In this paper, we propose to move the dropping operation from the intermediate feature layer towards the input (image dropping). Since it may drop a large portion of input images, this makes the training hard to converge. Hence, we propose a novel double-batch-split co-training approach for remedying this problem. In particular, we show that the feature diversity can be well achieved with the use of multiple dropping branches by setting individual dropping ratio for each branch. Empirical evidence demonstrates that the proposed method performs superior to BDB on popular person Re-ID datasets, including Market-1501, DukeMTMC-reID and CUHK03 and the use of more dropping branches can further boost the performance.


title: The linear unicyclic hypergraph with the second or third largest spectral radius

abstract: The spectral radius of a uniform hypergraph is defined to be that of the adjacency tensor the hypergraph. It is known that the unique unicyclic hypergraph with the largest spectral radius is a nonlinear hypergraph, and the unique linear unicyclic hypergraph with the largest spectral radius is a power hypergraph. In this paper we determine the the unique linear unicyclic hypergraph with the second or third largest spectral radius, where the former hypergraph is a power hypergraph and the latter hypergraph is a non-power hypergraph.


title: Reproducibility Report for the Paper: Modeling of Request Cloning in Cloud Server Systems using Processor Sharing

abstract: The authors have uploaded their artifact on Zenodo, which ensures a long-term retention of the artifact. The code is suitably documented, and some examples are given. A minimalistic overall description of the engine is provided. The artifact allows to setup the environment quite quickly, and the dependencies are well documented. The process to regenerate data for the figures in the paper completes, and all results are reproducible. This paper can thus receive the Artifacts Available badge and the Artifacts Evaluated-Functional. Given the high quality of the artifact, also the Artifacts Evaluated-Reusable badge can be assigned.


title: Material decomposition from a single x-ray projection via single-grid phase contrast imaging

abstract: This study describes a new approach for material decomposition in x-ray imaging, utilising phase contrast to both increase sensitivity to weakly-attenuating samples and to act as a complementary measurement to attenuation, therefore allowing two overlaid materials to be separated. The measurements are captured using the single-exposure, single-grid x-ray phase contrast imaging technique, with a novel correction that aims to remove propagation-based phase effects seen at sharp edges in the attenuation image. The use of a single-exposure technique means that images could be collected in a high-speed sequence. Results are shown for both a known two-material sample and for a biological specimen.


title: A Visualizable, Constructive Proof of the Fundamental Theorem of Algebra, and a Parallel Polynomial Root Estimation Algorithm

abstract: This paper presents an alternative proof of the Fundamental Theorem of Algebra that has several distinct advantages. The proof is based on simple ideas involving continuity and differentiation. Visual software demonstrations can be used to convey the gist of the proof. A rigorous version of the proof can be developed using only single-variable calculus and basic properties of complex numbers, but the technical details are somewhat involved. In order to facilitate the reader's intuitive grasp of the proof, we first present the main points of the argument, which can be illustrated by computer experiments. Next we fill in some of the details, using single-variable calculus. Finally, we give a numerical procedure for finding all roots of an n'th degree polynomial by solving 2n differential equations in parallel.


title: Topological lattice rings with $AM$-property

abstract: Motivated by the recent definition of $AM$-property in locally solid vector lattices [O. Zabeti, arXiv: 1912.00141v2 [math.FA]], in this note, we try to investigate those results in the category of all locally solid lattice rings. In fact, we characterize locally solid lattice rings in which order bounded sets and bounded sets agree. Furthermore, with the aid of $AM$-property, we find conditions under that, order bounded group homomorphisms and different types of bounded group homomorphisms coincide. Moreover, we show that each class of bounded order bounded group homomorphisms on a locally solid lattice ring $X$ has the Lebegsue or the Levi property if and only if so is $X$.


title: On the lower bound of the number of abelian varieties over $\mathbb{F}_p$

abstract: In this paper, we prove that the number $B(p,g)$ of isomorphism classes of abelian varieties over a prime field $\mathbb{F}_p$ of dimension $g$ has a lower bound $p^{\frac{1}{2} g^2 (1+o(1))}$ as $g \rightarrow \infty$. This is the first nontrivial result on the lower bound of $B(p,g)$. We also improve the upper bound $2^{34g^2} p^{\frac{69}{4} g^2 (1+o(1))}$ of $B(p,g)$ given by Lipnowski and Tsimerman (Duke Math. J. 167:3403-3453, 2018) to $p^{\frac{45}{4} g^2(1+o(1))}$.


title: Collision of particles near a three-dimensional rotating Ho\v{r}ava AdS black hole

abstract: We consider a three-dimensional rotating Ho\v{r}ava AdS black hole, that corresponds to a Lorentz-violating version of the BTZ black hole and we analyze the effect of the breaking of Lorentz invariance on the possibility that the black hole can acts as a particle accelerator by analyzing the energy in the center of mass (CM) frame of two colliding particles in the vicinity of its horizons. We find that the critical angular momentum of particles increases when the Ho\v{r}ava parameter $\xi$ increases and when the aether parameter $b$ increases. Also, the particles can collide on the inner horizon with arbitrarily high CM energy if one of the particles has a critical angular momentum being possible the BSW process, for the non-extremal rotating Ho\v{r}ava AdS black hole. Mainly, while that for the extremal BTZ black hole the particles with critical angular momentum only can exist on the degenerate horizon, for the Lorentz-violating version of the BTZ black hole the particle with critical angular momentum can exist in a region from the degenerate horizon.


title: Quasi-split symmetric pairs of $U(\mathfrak{sl}_n)$ and Steinberg varieties of classical type

abstract: We provide a Lagrangian construction for the fixed-point subalgebra, together with its idempotent form, in a quasi-split symmetric pair of type $A_{n-1}$. This is obtained inside the limit of a projective system of Borel-Moore homologies of the Steinberg varieties of $n$-step isotropic flag varieties. Arising from the construction are a basis of homological origin for the idempotent form and a geometric realization of rational modules.


title: Beyond Purity and Mixtures in Categorical Quantum Mechanics

abstract: In a recent paper [12], we discussed the serious inconsistency present within the operational and mathematical definition(s) of the notion of pure state. Continuing this analysis, in this work we attempt to address the role of 'purity' and 'mixtures' within two different categorical approaches to QM, namely, the topos approach originally presented by Chris Isham and Jeremy Butterfield [27, 28, 29] and the more recent logos categorical approach presented by the authors of this article [10, 11, 13]. While the first approach exposes the difficulties to produce a consistent understanding of pure states and mixtures, the latter approach presents a new scheme in which their reference is erased right from the start in favor of an intensive understanding of projection operators and quantum superpositions. This new account of the theory, grounded on an intensive interpretation of the Born rule, allows us not only to avoid the orthodox interpretation of projection operators --either as referring to definite valued properties or measurement outcomes-- but also to consider all matrices (of any rank) on equal footing. It is from this latter standpoint that we conclude that instead of distinguishing between pure and mixed states it would be recommendable --for a proper understanding of the theory of quanta-- to return to the original matrix formulation of quantum mechanics presented by Werner Heisenberg in 1925.


title: On Distributions of One Class of Random Sums and their Applications

abstract: We propose results of the investigation of properties of the random sums of random variables. We consider the case, where the number of summands is the first moment of an event occurrence. An integral equation is presented that determines distributions of random sums. With the help of the obtained results we analyse the distribution function of the time during which the Geiger-Muller counter will not lose any particles, the distribution function of the busy period of a redundant system with renewal, and the distribution function of the sojourn times of a single-server queueing system.


title: A Hierarchical Transitive-Aligned Graph Kernel for Un-attributed Graphs

abstract: In this paper, we develop a new graph kernel, namely the Hierarchical Transitive-Aligned kernel, by transitively aligning the vertices between graphs through a family of hierarchical prototype graphs. Comparing to most existing state-of-the-art graph kernels, the proposed kernel has three theoretical advantages. First, it incorporates the locational correspondence information between graphs into the kernel computation, and thus overcomes the shortcoming of ignoring structural correspondences arising in most R-convolution kernels. Second, it guarantees the transitivity between the correspondence information that is not available for most existing matching kernels. Third, it incorporates the information of all graphs under comparisons into the kernel computation process, and thus encapsulates richer characteristics. By transductively training the C-SVM classifier, experimental evaluations demonstrate the effectiveness of the new transitive-aligned kernel. The proposed kernel can outperform state-of-the-art graph kernels on standard graph-based datasets in terms of the classification accuracy.


title: A new generalization of edge overlap to weighted networks

abstract: Finding the strength of an edge in a network has always been a big demand. In the context of social networks, it allows to estimate the relationship strength between users. The best-known method to compute edge strength is the Neighbourhood Overlap. It computes the ratio of common neighbours to all neighbours of an edge terminal nodes. This method has been initially proposed for unweighted networks and later extended for weighted ones. These two versions of the method are not mathematically equivalent: In fact, an unweighted network is commonly considered as weighted with all edge weights equal to one. Using both existent versions of Neighbourhood Overlap on such network produce completely different values. In this paper, we tackle this problem and propose a new generalization for Neighbourhood Overlap that works equally for unweighted and weighted networks. Experiment performed on networks with various parameters showed similar performance of our measure to the existing measures.


title: Data User-Based Attribute-Based Encryption

abstract: Attribute-Based Encryption (ABE) has emerged as an information-centric public-key cryptographic system which allows a data owner to share data, according to access policy, with multiple data users based on the attributes they possess, without knowing their identities. In the original ABE schemes, a central authority administrates the system and issues secret keys to data users based on their attributes and both the owner and users need to trust a specific CA. However, in certain real-world applications, the data users would not trust anyone but themselves. For such situations, we introduce a new decentralization model of ABE, termed Data User-based ABE (DU-ABE), which is managed jointly by the data users. DU-ABE is the first decentralized ABE scheme that replaces the authorities with the data users without employing any other extra entities.


title: Refinements of Young's integral inequality via fundamental inequalities and mean value theorems for derivatives

abstract: In the paper, the authors review several refinements of Young's integral inequality via several mean value theorems, such as Lagrange's and Taylor's mean value theorems of Lagrange's and Cauchy's type remainders, and via several fundamental inequalities, such as \v{C}eby\v{s}ev's integral inequality, Hermite--Hadamard's type integral inequalities, H\"older's integral inequality, and Jensen's discrete and integral inequalities, in terms of higher order derivatives and their norms, survey several applications of several refinements of Young's integral inequality, and further refine Young's integral inequality via P\'olya's type integral inequalities.