title: Conformal invariance in the nonperturbative renormalization group: a rationale for choosing the regulator

abstract: Field-theoretical calculations performed in an approximation scheme often present a spurious dependence of physical quantities on some unphysical parameters associated with the details of the calculation setup (such as, the renormalization scheme or, in perturbation theory, the resummation procedure). In the present article, we propose to reduce this dependence by invoking conformal invariance. Using as a benchmark the three-dimensional Ising model, we show that, within the derivative expansion at order 4, performed in the nonperturbative renormalization group formalism, the identity associated with this symmetry is not exactly satisfied. The calculations which best satisfy this identity are shown to yield critical exponents which coincide to a high accuracy with those obtained by the conformal bootstrap.


title: Helicity form factors for $D_{(s)} \to A \ell \nu$ process in the light-cone QCD sum rules approach

abstract: The helicity form factors of the $D_{(s)}\to A \ell^+ \nu$ with $A=a_{1}^{-}, a_{1}^{0}, b_{1}^{-}, b_{1}^{0}, K_{1}(1270)$ and $K_{1}(1400)$ are calculated in the light-cone sum rules approach, up to twist-3 distribution amplitudes of the axial vector meson $A$. In the helicity form factors parametrization the unitarity constraints are applied to the fitting parameters. In addition, the effects of the low-lying resonances are included in series expansions of aforementioned form factors. The properties of the $D_{(s)}\to A \ell^+ \nu$ semileptonic decays are studied by extending the form factors to the whole physical region of $q^2$. For a better analysis, a comparison is also made between our results and the predictions obtained using transition form factors via LCSR, 3PSR and CLFQM methods.


title: Non-invariant deformations of left-invariant complex structures on compact Lie groups

abstract: We consider deformations of left-invariant complex structures on simply connected semisimple compact Lie groups which are a priori non-invariant. Computing their cohomologies, we show that they are not actually biholomorphic to left-invariant (right-invariant) complex structures.


title: Impact of non-normal error distributions on the benchmarking and ranking of Quantum Machine Learning models

abstract: Quantum machine learning models have been gaining significant traction within atomistic simulation communities. Conventionally, relative model performances are being assessed and compared using learning curves (prediction error vs. training set size). This article illustrates the limitations of using the Mean Absolute Error (MAE) for benchmarking, which is particularly relevant in the case of non-normal error distributions. We analyze more specifically the prediction error distribution of the kernel ridge regression with SLATM representation and L 2 distance metric (KRR-SLATM-L2) for effective atomization energies of QM7b molecules calculated at the level of theory CCSD(T)/cc-pVDZ. Error distributions of HF and MP2 at the same basis set referenced to CCSD(T) values were also assessed and compared to the KRR model. We show that the true performance of the KRR-SLATM-L2 method over the QM7b dataset is poorly assessed by the Mean Absolute Error, and can be notably improved after adaptation of the learning set.


title: Bounds for the weight of external data in shrinkage estimation

abstract: Shrinkage estimation in a meta-analysis framework may be used to facilitate dynamical borrowing of information. This framework might be used to analyze a new study in the light of previous data, which might differ in their design (e.g., a randomized controlled trial (RCT) and a clinical registry). We show how the common study weights arise in effect and shrinkage estimation, and how these may be generalized to the case of Bayesian meta-analysis. Next we develop simple ways to compute bounds on the weights, so that the contribution of the external evidence may be assessed a priori. These considerations are illustrated and discussed using numerical examples, including applications in the treatment of Creutzfeldt-Jakob disease and in fetal monitoring to prevent the occurrence of metabolic acidosis. The target study's contribution to the resulting estimate is shown to be bounded below. Therefore, concerns of evidence being easily overwhelmed by external data are largely unwarranted.


title: Excitons, trions and Rydberg states in monolayer MoS2 revealed by low temperature photocurrent spectroscopy

abstract: We investigate excitonic transitions in a h-BN encapsulated monolayer $\textrm{MoS}_2$ phototransistor by photocurrent spectroscopy at cryogenic temperature (T = 5 K). The spectra presents excitonic peaks with linewidths as low as 8 meV, one order of magnitude lower than in earlier photocurrent spectroscopy measurements. We observe four spectral features corresponding to the ground states of neutral excitons ($\textrm{X}_{\textrm{1s}}^\textrm{A}$ and $\textrm{X}_{\textrm{1s}}^\textrm{B}$) and charged trions ($\textrm{T}^\textrm{A}$ and $\textrm{T}^\textrm{B}$) as well as up to eight additional spectral lines at energies above the $\textrm{X}_{\textrm{1s}}^\textrm{B}$ transition, which we attribute to the Rydberg series of excited states of $\textrm{X}^\textrm{A}$ and $\textrm{X}^\textrm{B}$. The relative intensities of the different spectral features can be tuned by the applied gate and drain-source voltages, with trions and Rydberg excited states becoming more prominent at large gate voltages. Using an effective-mass theory for excitons in two-dimensional transition-metal dichalcogenides we are able to accurately fit the measured spectral lines and unambiguously associate them with their corresponding Rydberg states. The fit also allows us to determine the quasiparticle bandgap and spin-orbit splitting of monolayer $\textrm{MoS}_2$, as well as the exciton binding energies of $\textrm{X}^\textrm{A}$ and $\textrm{X}^\textrm{B}$.


title: Interpreting Binary Neutron Star Mergers: Describing the Binary Neutron Star Dynamics, Modelling Gravitational Waveforms, and Analyzing Detections

abstract: Gravitational waves emitted from the coalescence of neutron star binaries open a new window to probe matter and fundamental physics in unexplored, extreme regimes. To extract information about the supranuclear matter inside neutron stars and the properties of the compact binary systems, robust theoretical prescriptions are required. We give an overview about general features of the dynamics and the gravitational wave signal during the binary neutron star coalescence. We briefly describe existing analytical and numerical approaches to investigate the highly dynamical, strong-field region during the merger. We review existing waveform approximants and discuss properties and possible advantages and shortcomings of individual waveform models, and their application for real gravitational-wave data analysis.


title: Heinz-type mean curvature estimates in Lorentz-Minkowski space

abstract: We provide a unified description of Heinz-type mean curvature estimates under an assumption on the gradient bound for space-like graphs and time-like graphs in the Lorentz-Minkowski space. As a corollary, we give a unified vanishing theorem of mean curvature for these entire graphs of constant mean curvature.


title: Coherent systems on curves of compact type

abstract: Let $C$ be a polarized nodal curve of compact type. In this paper we study coherent systems $(E,V)$ on $C$ given by a depth one sheaf $E$ having rank $r$ on each irreducible component of $C$ and a subspace $V \subset H^0(E)$ of dimension $k$. Moduli spaces of stable coherent systems have been introduced by King and Newstead and depend on a real parameter $\alpha$. We show that when $k \geq r$, these moduli spaces coincide for $\alpha$ big enough. Then we deal with the case $k=r+1$: when the degrees of the restrictions of $E$ are big enough we are able to describe an irreducible component of this moduli space by using the dual span construction.


title: A Fast Algorithm for the Product Structure of Planar Graphs

abstract: Dujmovi\'c et al (FOCS2019) recently proved that every planar graph $G$ is a subgraph of $H\boxtimes P$, where $\boxtimes$ denotes the strong graph product, $H$ is a graph of treewidth 8 and $P$ is a path. This result has found numerous applications to linear graph layouts, graph colouring, and graph labelling. The proof given by Dujmovi\'c et al is based on a similar decomposition of Pilipczuk and Siebertz (SODA2019) which is constructive and leads to an $O(n^2)$ time algorithm for finding $H$ and the mapping from $V(G)$ onto $V(H\boxtimes P)$. In this note, we show that this algorithm can be made to run in $O(n\log n)$ time.


title: Boost generator in AdS_3 integrable superstrings for general braiding

abstract: In this paper we find a host of boost operators for a very general choice of coproducts in AdS_3-inspired scattering theories, focusing on the massless sector, with and without an added trigonometric deformation. We find that the boost coproducts are exact symmetries of the R-matrices we construct, besides fulfilling the relations of modified Poincare' - type superalgebras. In the process, we discover an ambiguity in determining the boost coproduct which allows us to derive differential constraints on our R-matrices. In one particular case of the trigonometric deformation, we find a non-coassociative structure which satisfies the axioms of a quasi-Hopf algebra.


title: Decay tunnel instrumentation for the ENUBET neutrino beam

abstract: The uncertainty in the initial neutrino flux is the main limitation for a precise determination of the absolute neutrino cross section. The ERC funded ENUBET project (2016-2021) is studying a facility based on a narrow band beam to produce an intense source of electron neutrinos with a ten-fold improvement in accuracy. Since March 2019 ENUBET is also a Neutrino Platform experiment at CERN: NP06/ENUBET. A key element of the project is the instrumentation of the decay tunnel to monitor large angle positrons produced together with $\nu_e$ in the three body decays of kaons ($K_{e3}$) and to discriminate them from neutral and charged pions. The need for an efficient and high purity e/$\pi$ separation over a length of several meters, and the requirements for fast response and radiation hardness imposed by the harsh beam environment, suggested the implementation of a longitudinally segmented Fe/scintillator calorimeter with a readout based on WLS fibers and SiPM detectors. An extensive experimental program through several test beam campaigns at the CERN-PS T9 beam line has been pursued on calorimeter prototypes, both with a shashlik and a lateral readout configuration. The latter, in which fibers collect the light from the side of the scintillator tiles, allows to place the light sensors away from the core of the calorimeter, thus reducing possible irradiation damages with respect to the shashlik design. This contribution will present the achievements of the prototyping activities carried out, together with irradiation tests made on the Silicon Photo-Multipliers. The results achieved so far pin down the technology of choice for the construction of the 3 m long demonstrator that will take data in 2021.


title: On the contribution of the $^{40}$K geo-antineutrino to single Borexino events

abstract: We propose to include in the analysis of Borexino single event energy spectrum the scattering of $^{40}$K geo-antineutrinos by scintillator electrons. The Hydridic Earth model predicts the concentration of potassium in modern Earth from 1\% to 4\% of the Earth mass. We calculated contribution of $^{40}$K geo-antineutrino interactions in single Borexino events for these concentrations. This contribution is comparable to the contribution from the interaction of CNO neutrinos. We discuss the reasons for using the Hydridic Earth model.


title: Weakly and Strongly Aperiodic Subshifts of Finite Type on Baumslag-Solitar Groups

abstract: We study the periodicity of subshifts of finite type (SFT) on Baumslag-Solitar groups. We show that for residually finite Baumslag-Solitar groups there exist both strongly and weakly-but-not-strongly aperiodic SFTs. In particular, this shows that unlike $\mathbb{Z}^2$, but like $\mathbb{Z}^3$, strong and weak aperiodic SFTs are different classes of SFTs in residually finite BS groups. More precisely, we prove that a weakly aperiodic SFT on BS(m,n) due to Aubrun and Kari is, in fact, strongly aperiodic on BS(1,n); and weakly but not strongly aperiodic on any other BS(m,n). In addition, we exhibit an SFT which is weakly but not strongly aperiodic on BS(1,n); and we show that there exists a strongly aperiodic SFT on BS(n,n).


title: Bayesian optimisation of large-scale photonic reservoir computers

abstract: Introduction. Reservoir computing is a growing paradigm for simplified training of recurrent neural networks, with a high potential for hardware implementations. Numerous experiments in optics and electronics yield comparable performance to digital state-of-the-art algorithms. Many of the most recent works in the field focus on large-scale photonic systems, with tens of thousands of physical nodes and arbitrary interconnections. While this trend significantly expands the potential applications of photonic reservoir computing, it also complicates the optimisation of the high number of hyper-parameters of the system. Methods. In this work, we propose the use of Bayesian optimisation for efficient exploration of the hyper-parameter space in a minimum number of iteration. Results. We test this approach on a previously reported large-scale experimental system, compare it to the commonly used grid search, and report notable improvements in performance and the number of experimental iterations required to optimise the hyper-parameters. Conclusion. Bayesian optimisation thus has the potential to become the standard method for tuning the hyper-parameters in photonic reservoir computing.


title: $ N(\kappa)- $contact Metric Manifolds with Generalized Tanaka-Webster Connection

abstract: In this paper we work on $N(\kappa)$-contact metric manifolds with a generalized Tanaka-Webster connection . We obtain some curvature properties. It is proven that if a $N(\kappa)$-contact metric manifold with generalized Tanaka-Webster connection is K-contact then it is an example of generalized Sasakian space form. Also we examine some flatness and symmetric conditions of concircular curvature tensor on a $N(\kappa)$-contact metric manifolds with a generalized Tanaka-Webster connection.


title: CLICTD: A monolithic HR-CMOS sensor chip for the CLIC silicon tracker

abstract: The CLIC Tracker Detector (CLICTD) is a monolithic pixelated sensor chip produced in a $180$ nm imaging CMOS process built on a high-resistivity epitaxial layer. The chip, designed in the context of the CLIC tracking detector study, comprises a matrix of ${16\times128}$ elongated pixels, each measuring ${300\times30}$ $\mu$m$^2$. To ensure prompt charge collection, every elongated pixel is segmented in eight sub-pixels, each containing a collection diode and a separate analog front-end. A simultaneous $8$-bit time measurement with $10$ ns time bins and $5$-bit energy measurement with programmable range is performed in the on-pixel digital logic. The main design aspects as well as the first results from laboratory measurements with the CLICTD chip are presented.


title: Joint numerical radius of spherical Aluthge transforms of tuples of Hilbert space operators

abstract: Let $\mathbf{T}=(T_1,\ldots,T_d)$ be a $d$-tuple of operators on a complex Hilbert space $\mathcal{H}$. The spherical Aluthge transform of $\mathbf{T}$ is the $d$-tuple given by $\widehat{\mathbf{T}}:=(\sqrt{P}V_1\sqrt{P},\ldots,\sqrt{P}V_d\sqrt{P})$ where $P:=\sqrt{T_1^*T_1+\ldots+T_d^*T_d}$ and $(V_1,\ldots,V_d)$ is a joint partial isometry such that $T_k=V_k P$ for all $1 \le k \le d$. In this paper, we prove several inequalities involving the joint numerical radius and the joint operator norm of $\widehat{\mathbf{T}}$. Moreover, a characterization of the joint spectral radius of an operator tuple $\mathbf{T}$ via $n$-th iterated of spherical Aluthge transform is established.


title: Metric theory of lower bounds on Weyl sums

abstract: We prove that the Hausdorff dimension of the set $\mathbf{x}\in [0,1)^d$, such that $$ \left|\sum_{n=1}^N \exp\left(2 \pi i\left(x_1n+\ldots+x_d n^d\right)\right) \right|\ge c N^{1/2} $$ holds for infinitely many natural numbers $N$, is at least $d-1/2d$ for $d \ge 3$ and at least $3/2$ for $d=2$, where $c$ is a constant depending only on $d$. This improves the previous lower bound of the first and third authors for $d\ge 3$. We also obtain similar bounds for the Hausdorff dimension of the set of large sums with monomials $xn^d$.


title: Exploration of Input Patterns for Enhancing the Performance of Liquid State Machines

abstract: Spiking Neural Networks (SNN) have gained increasing attention for its low power consumption. But training SNN is challenging. Liquid State Machine (LSM), as a major type of Reservoir computing, has been widely recognized for its low training cost among SNNs. The exploration of LSM topology for enhancing performance often requires hyper-parameter search, which is both resource-expensive and time-consuming. We explore the influence of input scale reduction on LSM instead. There are two main reasons for studying input reduction of LSM. One is that the input dimension of large images requires efficient processing. Another one is that input exploration is generally more economic than architecture search. To mitigate the difficulty in effectively dealing with huge input spaces of LSM, and to find that whether input reduction can enhance LSM performance, we explore several input patterns, namely fullscale, scanline, chessboard, and patch. Several datasets have been used to evaluate the performance of the proposed input patterns, including two spatio image datasets and one spatio-temporal image database. The experimental results show that the reduced input under chessboard pattern improves the accuracy by up to 5%, and reduces execution time by up to 50% with up to 75\% less input storage than the fullscale input pattern for LSM.


title: Vocoder-Based Speech Synthesis from Silent Videos

abstract: Both acoustic and visual information influence human perception of speech. For this reason, the lack of audio in a video sequence determines an extremely low speech intelligibility for untrained lip readers. In this paper, we present a way to synthesise speech from the silent video of a talker using deep learning. The system learns a mapping function from raw video frames to acoustic features and reconstructs the speech with a vocoder synthesis algorithm. To improve speech reconstruction performance, our model is also trained to predict text information in a multi-task learning fashion and it is able to simultaneously reconstruct and recognise speech in real time. The results in terms of estimated speech quality and intelligibility show the effectiveness of our method, which exhibits an improvement over existing video-to-speech approaches.


title: Large-scale spatiotemporal photonic reservoir computer for image classification

abstract: We propose a scalable photonic architecture for implementation of feedforward and recurrent neural networks to perform the classification of handwritten digits from the MNIST database. Our experiment exploits off-the-shelf optical and electronic components to currently achieve a network size of 16,384 nodes. Both network types are designed within the the reservoir computing paradigm with randomly weighted input and hidden layers. Using various feature extraction techniques (e.g. histograms of oriented gradients, zoning, Gabor filters) and a simple training procedure consisting of linear regression and winner-takes-all decision strategy, we demonstrate numerically and experimentally that a feedforward network allows for classification error rate of 1%, which is at the state-of-the-art for experimental implementations and remains competitive with more advanced algorithmic approaches. We also investigate recurrent networks in numerical simulations by explicitly activating the temporal dynamics, and predict a performance improvement over the feedforward configuration.


title: SmartCoAuth: Smart-Contract privacy preservation mechanism on querying sensitive records in the cloud

abstract: Sensitive records stored in the cloud such as healthcare records, private conversation and credit card information are targets of hackers and privacy abuse. Current information and record management systems have difficulties achieving privacy protection of such sensitive records in a secure, transparent, decentralized and trustless environment. The Blockchain technology is a nascent and a promising technology that facilitates data sharing and access in a secure, decentralized and trustless environment. The technology enables the use of smart contracts that can be leveraged to complement existing traditional systems to achieve security objectives that were never possible before. In this paper, we propose a framework based on Blockchain technology to enable privacy-preservation in a secured, decentralized, transparent and trustless environment. We name our framework SmartCoAuth. It is based on Ethereum Smart Contract functions as the secure, decentralized, transparent authentication and authorization mechanism in the framework. It also enables tamper-proof auditing of access to the protected records. We analysed how SmartCoAuth could be integrated into a cloud application to provide reliable privacy-preservation among stakeholders of healthcare records stored in the cloud. The proposed framework provides a satisfactory level of data utility and privacy preservation.


title: Relativistic hydrodynamics for spin-polarized media

abstract: We summarize the key ingredients of the recently proposed formalism of relativistic perfect-fluid hydrodynamics with spin. Based on the underlying kinetic theory definitions for the equilibrium distribution functions we obtain the evolution equations governing the system's expansion. Employing Bjorken symmetry we study the spin polarization dynamics of the system.


title: Human action recognition with a large-scale brain-inspired photonic computer

abstract: The recognition of human actions in video streams is a challenging task in computer vision, with cardinal applications in e.g. brain-computer interface and surveillance. Deep learning has shown remarkable results recently, but can be found hard to use in practice, as its training requires large datasets and special purpose, energy-consuming hardware. In this work, we propose a scalable photonic neuro-inspired architecture based on the reservoir computing paradigm, capable of recognising video-based human actions with state-of-the-art accuracy. Our experimental optical setup comprises off-the-shelf components, and implements a large parallel recurrent neural network that is easy to train and can be scaled up to hundreds of thousands of nodes. This work paves the way towards simply reconfigurable and energy-efficient photonic information processing systems for real-time video processing.


title: GANSpace: Discovering Interpretable GAN Controls

abstract: This paper describes a simple technique to analyze Generative Adversarial Networks (GANs) and create interpretable controls for image synthesis, such as change of viewpoint, aging, lighting, and time of day. We identify important latent directions based on Principal Components Analysis (PCA) applied either in latent space or feature space. Then, we show that a large number of interpretable controls can be defined by layer-wise perturbation along the principal directions. Moreover, we show that BigGAN can be controlled with layer-wise inputs in a StyleGAN-like manner. We show results on different GANs trained on various datasets, and demonstrate good qualitative matches to edit directions found through earlier supervised approaches.


title: Magnetic order and disorder in a quasi-two-dimensional quantum Heisenberg antiferromagnet with randomized exchange

abstract: We present an investigation of the effect of randomizing exchange strengths in the $S=1/2$ square lattice quasi-two-dimensional quantum Heisenberg antiferromagnet (QuinH)$_2$Cu(Cl$_{x}$Br$_{1-x}$)$_{4}\cdot$2H$_2$O (QuinH$=$Quinolinium, C$_9$H$_8$N$^+$), with $0\leq x \leq 1$. Pulsed-field magnetization measurements allow us to estimate an effective in-plane exchange strength $J$ in a regime where exchange fosters short-range order, while the temperature $T_{\mathrm{N}}$ at which long range order (LRO) occurs is found using muon-spin relaxation, allowing us to construct a phase diagram for the series. We evaluate the effectiveness of disorder in suppressing $T_{\mathrm{N}}$ and the ordered moment size and find an extended disordered phase in the region $0.4 \lesssim x \lesssim 0.8$ where no magnetic order occurs, driven by quantum effects of the exchange randomness.


title: Finite transitive permutation groups with only small normaliser orbits

abstract: We study finite transitive permutation groups $G\leqslant\operatorname{Sym}(\Omega)$ such that all orbits of the conjugation action on $G$ of the normaliser of $G$ in $\operatorname{Sym}(\Omega)$ have size bounded by some constant. Our results extend recent results, due to the first author, on finite abstract groups $G$ such that all orbits of the natural action of the automorphism group $\operatorname{Aut}(G)$ on $G$ have size bounded by some constant.


title: The normalized Laplacians and random walks of the parallel subdivision graphs

abstract: The $k$-parallel subdivision graph $S_k(G)$ is generated from $G$ which each edge of $G$ is replaced by $k$ parallel paths of length 2. The $2k$-parallel subdivision graph $S_{2k}(G)$ is constructed from $G$ which each edge of $G$ is replaced by $k$ parallel paths of length 3. In this paper, the normalized Laplacian spectra of $S_k(G)$ and $S_{2k}(G)$ are given. They turn out that the multiplicities of the corresponding eigenvalues are only determined by $k$. As applications, the expected hitting time, the expected commute time and any two-points resistance distance between vertices $i$ and $j$ of $S_k(G)$, the normalized Laplacian spectra of $S_k(G)$ and $S_{2k}(G)$ with $r$ iterations are given. Moreover, the multiplicative degree Kirchhoff index, Kemeny's constant and the number of spanning tress of $S_k(G)$, $S_k^r(G)$, $S_{2k}(G)$ and $S_{2k}^r(G)$ are respectively obtained. Our results have generalized the previous works in Xie et al. and Guo et al. respectively.


title: Mode conversion of two-fluid shocks in a partially-ionised, isothermal, stratified atmosphere

abstract: The plasma of the lower solar atmosphere consists of mostly neutral particles, whereas the upper solar atmosphere is mostly ionised particles and electrons. A shock that propagates upwards in the solar atmosphere therefore undergoes a transition where the dominant fluid is either neutral or ionised. An upwards propagating shock also passes a point where the sound and Alfv\'en speed are equal. At this point the energy of the acoustic shock can separated into fast and slow components. How the energy is distributed between the two modes depends on the angle of magnetic field. The separation of neutral and ionised species in a gravitationally stratified atmosphere is investigated. The role of two-fluid effects on the structure of the shocks post-mode-conversion and the frictional heating is quantified for different levels of collisional coupling. Two-fluid numerical simulations are performed using the (P\underline{I}P) code of a wave steepening into a shock in an isothermal, partially-ionised atmosphere. The collisional coefficient is varied to investigate the regimes where the plasma and neutral species are weakly, strongly and finitely coupled. The propagation speeds of the compressional waves hosted by neutral and ionised species vary, therefore velocity drift between the two species is produced as the plasma attempts to propagate faster than the neutrals. This is most extreme for a fast-mode shock. We find that the collisional coefficient drastically changes the features present in the system, specifically the mode conversion height, type of shocks present, and the finite shock widths created by the two-fluid effects. In the finitely-coupled regime fast-mode shock widths can exceed the pressure scale height leading to a new potential observable of two-fluid effects in the lower solar atmosphere.


title: giotto-tda: A Topological Data Analysis Toolkit for Machine Learning and Data Exploration

abstract: We introduce giotto-tda, a Python library that integrates high-performance topological data analysis with machine learning via a scikit-learn-compatible API and state-of-the-art C++ implementations. The library's ability to handle various types of data is rooted in a wide range of preprocessing techniques, and its strong focus on data exploration and interpretability is aided by an intuitive plotting API. Source code, binaries, examples, and documentation can be found at https://github.com/giotto-ai/giotto-tda.


title: Interpreting models of infectious diseases in terms of integral input-to-state stability

abstract: The notions of integral input-to-state stability (iISS) and input-to-state stability (ISS) have been effective in addressing nonlinearities globally without domain restrictions in analysis and design of control systems. In particular, they provide useful tools of module-based methods integrating characteristics of components. This paper applies the framework of module-based analysis to ordinary differential equations which deterministically describe dynamics of prevalence and the duration of epidemics. The objective is to express fundamental properties of models of infectious diseases and vaccination through the language of iISS and ISS. The systematic treatment is expected to facilitate development of effective schemes of controlling the spread of diseases via non-conventional Lyapunov functions.


title: Model to study interplay between Beamstrahlung and coupling impedance in future lepton colliders

abstract: A semi-analytical model has been developed to study a combined effect of Beamstrahlung due to beam-beam interaction and beam coupling impedance in the future lepton colliders CEPC and FCCee. This model allows evaluating an impact of the coupling impedance on the bunch length and energy spread in collision. The model is benchmarked against numerical simulations. Analytical estimates for the supercolliders are presented.


title: Simultaneously Achieving Ex-ante and Ex-post Fairness

abstract: We present a polynomial-time algorithm that computes an ex-ante envy-free lottery over envy-free up to one item (EF1) deterministic allocations. It has the following advantages over a recently proposed algorithm: it does not rely on the linear programming machinery including separation oracles; it is SD-efficient (both ex-ante and ex-post); and the ex-ante outcome is equivalent to the outcome returned by the well-known probabilistic serial rule. As a result, we answer a question raised by Freeman, Shah, and Vaish (2020) whether the outcome of the probabilistic serial rule can be implemented by ex-post EF1 allocations. In the light of a couple of impossibility results that we prove, our algorithm can be viewed as satisfying a maximal set of properties. Under binary utilities, our algorithm is also ex-ante group-strategyproof and ex-ante Pareto optimal. Finally, we also show that checking whether a given random allocation can be implemented by a lottery over EF1 and Pareto optimal allocations is NP-hard.


title: Joint Embedding of Words and Category Labels for Hierarchical Multi-label Text Classification

abstract: Text classification has become increasingly challenging due to the continuous refinement of classification label granularity and the expansion of classification label scale. To address that, some research has been applied onto strategies that exploit the hierarchical structure in problems with a large number of categories. At present, hierarchical text classification (HTC) has received extensive attention and has broad application prospects. Making full use of the relationship between parent category and child category in text classification task can greatly improve the performance of classification. In this paper, We propose a joint embedding of text and parent category based on hierarchical fine-tuning ordered neurons LSTM (HFT-ONLSTM) for HTC. Our method makes full use of the connection between the upper-level and lower-level labels. Experiments show that our model outperforms the state-of-the-art hierarchical model at a lower computation cost.


title: A method to quantify molecular diffusion within thin solvated polymer films: A case study on films of natively unfolded nucleoporins

abstract: We present a method to probe molecular and nanoparticle diffusion within thin, solvated polymer coatings. The device exploits the confinement with well-defined geometry that forms at the interface between a planar and a hemi-spherical surface (of which at least one is coated with polymers) in close contact, and uses this confinement to analyse diffusion processes without interference of exchange with and diffusion in the bulk solution. With this method, which we call plane-sphere confinement microscopy (PSCM), information regarding the partitioning of molecules between the polymer coating and the bulk liquid is also obtained. Thanks to the shape of the confined geometry, diffusion and partitioning can be mapped as a function of compression and concentration of the coating in a single experiment. The method is versatile and can be integrated with conventional optical microscopes, and thus should find widespread use in the many application areas exploiting functional polymer coatings. We demonstrate the use of PSCM using brushes of natively unfolded nucleoporin domains rich in phenylalanine-glycine repeats (FG domains). A meshwork of FG domains is known to be responsible for the selective transport of nuclear transport receptors (NTR) and their macromolecular cargos across the nuclear envelope that separates the cytosol and the nucleus of living cells. We find that the selectivity of NTR uptake by FG domain films depends sensitively on FG domain concentration, and that the interaction of NTRs with FG domains obstructs NTR movement only moderately. These observations contribute important information to better understand the mechanisms of selective NTR transport.

categories: cond-mat.mtrl-sci cond-mat.soft physics.bio-ph q-bio.BM q-bio.QM


title: Distinguish Confusing Law Articles for Legal Judgment Prediction

abstract: Legal Judgment Prediction (LJP) is the task of automatically predicting a law case's judgment results given a text describing its facts, which has excellent prospects in judicial assistance systems and convenient services for the public. In practice, confusing charges are frequent, because law cases applicable to similar law articles are easily misjudged. For addressing this issue, the existing method relies heavily on domain experts, which hinders its application in different law systems. In this paper, we present an end-to-end model, LADAN, to solve the task of LJP. To distinguish confusing charges, we propose a novel graph neural network to automatically learn subtle differences between confusing law articles and design a novel attention mechanism that fully exploits the learned differences to extract compelling discriminative features from fact descriptions attentively. Experiments conducted on real-world datasets demonstrate the superiority of our LADAN.


title: Analytical and numerical treatment of perturbed black holes in horizon-penetrating coordinates

abstract: The deviations of non-linear perturbations of black holes from the linear case are important in the context of ringdown signals with large signal-to-noise ratio. To facilitate a comparison between the two we derive several results of linear perturbation theory in coordinates which may be adopted in numerical work. Specifically, our results are derived in Kerr-Schild coordinates adjusted by a general height function. In the first part of the paper we address the questions: for an initial configuration of a massless scalar field, what is the amplitude of the excited quasinormal mode (QNM) for any observer outside outside the event horizon, and furthermore what is the resulting tail contribution? This is done by constructing the full Green's function for the problem with exact solutions of the confluent Heun equation satisfying appropriate boundary conditions. In the second part of the paper, we detail new developments to our pseudospectral numerical relativity code bamps to handle scalar fields. In the linear regime we employ precisely the Kerr-Schild coordinates treated by our previous analysis. In particular, we evolve pure QNM type initial data along with several other types of initial data and report on the presence of overtone modes in the signal.


title: Branching ratio of the super-allowed beta decay of 10C

abstract: In an experiment performed at the ISOLDE facility of CERN, the super-allowed beta-decay branching ratio of 10C was determined with a high-precision single-crystal germanium detector. In order to evaluate the contribution of the pile-up of two 511 keV gamma quanta to one of the gamma-ray peaks of interest at 1021.7 keV, data were not only taken with 10C, but also with a 19Ne beam. The final result for the super-allowed decay branch is 1.4638(50)%, in agreement with the average from literature.


title: Noncommutative Poisson bialgebras

abstract: In this paper, we introduce the notion of a noncommutative Poisson bialgebra, and establish the equivalence between matched pairs, Manin triples and noncommutative Poisson bialgebras. Using quasi-representations and the corresponding cohomology theory of noncommutative Poisson algebras, we study coboundary noncommutative Poisson bialgebras which leads to the introduction of the Poisson Yang-Baxter equation. A skew-symmetric solution of the Poisson Yang-Baxter equation naturally gives a (coboundary) noncommutative Poisson bialgebra. Rota-Baxter operators, more generally O-operators on noncommutative Poisson algebras, and noncommutative pre-Poisson algebras are introduced, by which we construct skew-symmetric solutions of the Poisson Yang-Baxter equation in some special noncommutative Poisson algebras obtained from these structures.


title: A High-Performance Implementation of Bayesian Matrix Factorization with Limited Communication

abstract: Matrix factorization is a very common machine learning technique in recommender systems. Bayesian Matrix Factorization (BMF) algorithms would be attractive because of their ability to quantify uncertainty in their predictions and avoid over-fitting, combined with high prediction accuracy. However, they have not been widely used on large-scale data because of their prohibitive computational cost. In recent work, efforts have been made to reduce the cost, both by improving the scalability of the BMF algorithm as well as its implementation, but so far mainly separately. In this paper we show that the state-of-the-art of both approaches to scalability can be combined. We combine the recent highly-scalable Posterior Propagation algorithm for BMF, which parallelizes computation of blocks of the matrix, with a distributed BMF implementation that users asynchronous communication within each block. We show that the combination of the two methods gives substantial improvements in the scalability of BMF on web-scale datasets, when the goal is to reduce the wall-clock time.


title: Twofold quadruple Weyl nodes in chiral cubic crystals

abstract: Conventional Weyl nodes are twofold band crossings that carry a unit monopole charge, which can exist in condensed matter systems with the protection of translation symmetry. Unconventional Weyl nodes are twofold/multifold band crossings carrying a quantized monopole charge larger than one, and their existence needs the protection of additional crystalline symmetries. Studies on unconventional Weyl nodes are already very comprehensive, such as twofold Weyl nodes with Chern number of C=2/C=3 and fourfold/sixfoldWeyl nodes with C=4. Yet in this paper, we propose a newfound twofold unconventional Weyl node with C=4, which can exist in any chiral cubic systems with integer spin. Such kind of twofold quadruple Weyl node has a cubic band dispersion along [111] direction and will evolve into a fourfold quadruple Weyl node after considering spin-orbit coupling. In this paper, we exhaust all the possible chiral cubic space groups and corresponding k-points, which can have twofold quadruple Weyl nodes. We also propose a series of LaIrSi-type materials that both have twofold quadruple Weyl nodes in electronic systems and the phonon spectra.


title: Formation of nano-size Cr layers on LiNbO$_3$ crystal surfaces by dissimilar electric charges

abstract: Morphology of metal thin layers deposited on polished surfaces of LiNbO$_3$ crystal with dissimilar electric charges has been studied using various methods of vacuum evaporation. The principal goal of the work is to optimizemethods of thin metal coating deposition applied to polar surfaces of LiNbO$_3$ crystal. The conducted research has demonstrated that Cr deposition on LiNbO$_3$ crystal faces is characterized by dissimilar polarity results in growth difference conditions of Cr films. The principal role here is played by the sign of the electric charge on the crystal surface along with the type (thermal or magnetron) and conditions observed during sputtering (deposition rate, substrate temperature etc).


title: DySky: Dynamic Skyline Queries on Uncertain Graphs

abstract: Given a graph, and a set of query vertices (subset of the vertices), the dynamic skyline query problem returns a subset of data vertices (other than query vertices) which are not dominated by other data vertices based on certain distance measure. In this paper, we study the dynamic skyline query problem on uncertain graphs (DySky). The input to this problem is an uncertain graph, a subset of its nodes as query vertices, and the goal here is to return all the data vertices which are not dominated by others. We employ two distance measures in uncertain graphs, namely, \emph{Majority Distance}, and \emph{Expected Distance}. Our approach is broadly divided into three steps: \emph{Pruning}, \emph{Distance Computation}, and \emph{Skyline Vertex Set Generation}. We implement the proposed methodology with three publicly available datasets and observe that it can find out skyline vertex set without taking much time even for million sized graphs if expected distance is concerned. Particularly, the pruning strategy reduces the computational time significantly.


title: On modifications of fundamental radiative processes in near-zero-index media of various dimensions

abstract: Spontaneous emission, stimulated emission and absorption are the three fundamental radiative processes describing light-matter interactions. Here, we theoretically study the behaviour of these fundamental processes inside an unbounded medium exhibiting a vanishingly small refractive index, i.e., a near-zero-index (NZI) host medium. We present a generalized framework to study these processes and find that the spatial dimension of the NZI medium has profound effects on the nature of the fundamental radiative processes. Our formalism highlights the role of the number of available optical modes as well as the ability of an emitter to couple to these modes as a function of the dimension and the class of NZI media. We demonstrate that the fundamental radiative processes are inhibited in 3D homogeneous lossless zero index materials but may be strongly enhanced in a zero index medium of reduced dimensionality. Our findings have implications in thermal, nonlinear and quantum optics as well as in designing quantum metamaterials at optical or microwave frequencies.


title: Pandemic Populism: Facebook Pages of Alternative News Media and the Corona Crisis -- A Computational Content Analysis

abstract: The COVID-19 pandemic has not only had severe political, economic, and societal effects, it has also affected media and communication systems in unprecedented ways. While traditional journalistic media has tried to adapt to the rapidly evolving situation, alternative news media on the Internet have given the events their own ideological spin. Such voices have been criticized for furthering societal confusion and spreading potentially dangerous "fake news" or conspiracy theories via social media and other online channels. The current study analyzes the factual basis of such fears in an initial computational content analysis of alternative news media's output on Facebook during the early Corona crisis, based on a large German data set from January to the second half of March 2020. Using computational content analysis, methods, reach, interactions, actors, and topics of the messages were examined, as well as the use of fabricated news and conspiracy theories. The analysis revealed that the alternative news media stay true to message patterns and ideological foundations identified in prior research. While they do not spread obvious lies, they are predominantly sharing overly critical, even anti-systemic messages, opposing the view of the mainstream news media and the political establishment. With this pandemic populism, they contribute to a contradictory, menacing, and distrusting worldview, as portrayed in detail in this analysis.


title: On the existence of fixed points for typical nonexpansive mappings on spaces with positive curvature

abstract: We show that the typical nonexpansive mapping on a small enough subset of a CAT($\kappa$)-space is a contraction in the sense of Rakotch. By typical we mean that the set of nonexpansive mapppings without this property is a $\sigma$-porous set and therefore also of the first Baire category. Moreover, we exhibit metric spaces where strict contractions are not dense in the space of nonexpansive mappings. In some of these cases we show that all continuous self-mappings have a fixed point nevertheless.


title: Stationary states, dynamical stability, and vorticity of Bose-Einstein condensates in tilted rotating harmonic traps

abstract: We theoretically investigate a Bose-Einstein condensate confined by a rotating harmonic trap whose rotation axis is not aligned with any of its principal axes. The principal axes of the Thomas-Fermi density profiles of the resulting stationary solutions are found to be tilted with respect to those of the rotating trap, representing an extra degree of freedom that is associated with the existence of additional branches of stationary solutions for any given rotation axis alignment. By linearizing the time-dependent theory about the stationary states, we obtain a semi-analytical prediction of their dynamical instability at high rotation frequencies against collective modes arising from environmental perturbations. Comparing the stationary states to direct simulations of the Gross-Pitaevskii equation, we predict the nucleation of quantum vortices in the dynamically unstable rotational regime. These vortex lines are aligned along the rotation axis despite the tilting of the rotating trap although the background density profile is tilted with respect to the trapping and rotation axes.


title: Gradient-Based Training and Pruning of Radial Basis Function Networks with an Application in Materials Physics

abstract: Many applications, especially in physics and other sciences, call for easily interpretable and robust machine learning techniques. We propose a fully gradient-based technique for training radial basis function networks with an efficient and scalable open-source implementation. We derive novel closed-form optimization criteria for pruning the models for continuous as well as binary data which arise in a challenging real-world material physics problem. The pruned models are optimized to provide compact and interpretable versions of larger models based on informed assumptions about the data distribution. Visualizations of the pruned models provide insight into the atomic configurations that determine atom-level migration processes in solid matter; these results may inform future research on designing more suitable descriptors for use with machine learning algorithms.

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


title: Dynamic Ridesharing in Peak Travel Periods

abstract: In this paper, we study a variant of the dynamic ridesharing problem with a specific focus on peak hours: Given a set of drivers and rider requests, we aim to match drivers to each rider request by achieving two objectives: maximizing the served rate and minimizing the total additional distance, subject to a series of spatio-temporal constraints. Our problem can be distinguished from existing work in three aspects: (1) Previous work did not fully explore the impact of peak travel periods where the number of rider requests is much greater than the number of available drivers. (2) Existing solutions usually rely on single objective optimization techniques, such as minimizing the total travel cost. (3) When evaluating the overall system performance, the runtime spent on updating drivers' trip schedules as per incoming rider requests should be incorporated, while it is excluded by most existing solutions. We propose an index structure together with a set of pruning rules and an efficient algorithm to include new riders into drivers' existing trip schedule. To answer new rider requests effectively, we propose two algorithms that match drivers with rider requests. Finally, we perform extensive experiments on a large-scale test collection to validate the proposed methods.


title: Alpha spectrometric characterization of thin $^{233}$U sources for $^{229\text{(m)}}$Th production

abstract: Four different techniques were applied for the production of $^{233}$U alpha recoil ion sources, providing $^{229}$Th ions. They were compared with respect to a minimum energy spread of the $^{229}$Th recoil ions, using the emitted alpha particles as an indicator. The techniques of Molecular Plating, Drop-on-Demand inkjet printing, chelation from dilute nitric acid solution on chemically functionalized silicon surfaces, and self-adsorption on passivated titanium surfaces were used. All fabricated sources were characterized by using alpha spectrometry, radiographic imaging, and scanning electron microscopy. A direct validation for the estimated recoil ion rate was obtained by collecting $^{228}$Th recoil ions from $^{232}$U recoil ion sources prepared by self-adsorption and Molecular Plating. The chelation and the self-adsorption based approaches appear most promising for the preparation of recoil ion sources delivering monochromatic recoil ions.


title: Effect of Nd and Rh substitution on the spin dynamics of Kondo insulator CeFe2Al10

abstract: The dynamic magnetic properties of the Kondo-insulator state in CeFe2Al10 (spin gap, resonance mode) have been investigated using polarized neutrons on a single crystal of pure CeFe2Al10. The results indicate that the magnetic excitations are polarized mainly along the orthorhombic a axis and their dispersion along the orthorhombic c direction could be determined. Polycrystalline samples of Nd- and Rh-doped CeFe2Al0 were also studied by the time-of-flight technique, with the aim of finding out how the low-energy magnetic excitation spectra change upon isoelectronic substitution of the rare-earth (Nd) on the magnetic Ce site or electron doping (Rh) on the transition-element Fe sublattice. The introduction of magnetic Nd impurities strongly modifies the spin gap in the Ce dynamic magnetic response and causes the appearance of a quasielastic signal. The crystal-field excitations of Nd, studied in both LaFe2Al10 and CeFe2Al10, also reveal a significant influence of f-electron hybridization (largest in the case of Ce) on the crystal-field potential. As a function of the Rh concentration, a gradual change is observed from a Kondo-insulator to a metallic Kondo-lattice response, likely reflecting the decrease in the hybridization energy.


title: Micellization Thermodynamic Behavior of Gemini Cationic Surfactants. Modeling its Adsorption at Air/Water Interface

abstract: Self-assembly structures of gemini surfactants are characterized, among others, for their low CMC. This characteristic could be due to great hydrophobic parts in their molecular structures. That availability could imply great stability of self-assembly structures or monolayers absorbed in an interface. The micellization behavior of two cationic gemini surfactants, {\alpha},{\omega}-bis(S-alkyl dimethylammonium) alkane bromides, were studied by a modelization of dynamic surface tension (DST) experimental data and isothermal titration calorimetry (ITC) measurements. The adsorption data at the air/water interface was taken through the analysis of the profile changes of a pendant drop. The thermodynamic characterization of the micellization process of the gemini surfactants was carried out using ITC. A model based on the Frumkin adsorption isotherm and the Ward-Tordai diffusion equation was developed to obtain the characteristic parameters of the adsorption without the need of using the Gibbs adsorption equation. Positive values of lateral interaction show good stability of the adsorbed monolayer. The ITC data were analyzed following a novel protocol based on the identification of the different energetic contributions and regimens observed in the titration enthalpograms from demicellization processes. The presence of exothermic peaks would explain the low values of CMC.


title: Real-Time Segmentation Networks should be Latency Aware

abstract: As scene segmentation systems reach visually accurate results, many recent papers focus on making these network architectures faster, smaller and more efficient. In particular, studies often aim at designingreal-time'systems. Achieving this goal is particularly relevant in the context of real-time video understanding for autonomous vehicles, and robots. In this paper, we argue that the commonly used performance metric of mean Intersection over Union (mIoU) does not fully capture the information required to estimate the true performance of these networks when they operate inreal-time'. We propose a change of objective in the segmentation task, and its associated metric that encapsulates this missing information in the following way: We propose to predict the future output segmentation map that will match the future input frame at the time when the network finishes the processing. We introduce the associated latency-aware metric, from which we can determine a ranking. We perform latency timing experiments of some recent networks on different hardware and assess the performances of these networks on our proposed task. We propose improvements to scene segmentation networks to better perform on our task by using multi-frames input and increasing capacity in the initial convolutional layers.


title: A Norm Emergence Framework for Normative MAS -- Position Paper

abstract: Norm emergence is typically studied in the context of multiagent systems (MAS) where norms are implicit, and participating agents use simplistic decision-making mechanisms. These implicit norms are usually unconsciously shared and adopted through agent interaction. A norm is deemed to have emerged when a threshold or predetermined percentage of agents follow the "norm". Conversely, in normative MAS, norms are typically explicit and agents deliberately share norms through communication or are informed about norms by an authority, following which an agent decides whether to adopt the norm or not. The decision to adopt a norm by the agent can happen immediately after recognition or when an applicable situation arises. In this paper, we make the case that, similarly, a norm has emerged in a normative MAS when a percentage of agents adopt the norm. Furthermore, we posit that agents themselves can and should be involved in norm synthesis, and hence influence the norms governing the MAS, in line with Ostrom's eight principles. Consequently, we put forward a framework for the emergence of norms within a normative MAS, that allows participating agents to propose/request changes to the normative system, while special-purpose synthesizer agents formulate new norms or revisions in response to these requests. Synthesizers must collectively agree that the new norm or norm revision should proceed, and then finally be approved by an "Oracle". The normative system is then modified to incorporate the norm.


title: Critical concave convex Ambrosetti-Prodi type problem for fractional $p$-Laplacian

abstract: In this paper we consider a class of critical concave convex Ambrosetti-Prodi type problems for the fractional $p$-Laplacian operator. By applying the Linking Theorem and the Mountain Pass Theorem as well, the interaction of the nonlinearities with the first eigenvalue of fractional $p$-Laplacian will be used to prove existence and multiplicity of solutions.


title: Dictionary-based Data Augmentation for Cross-Domain Neural Machine Translation

abstract: Existing data augmentation approaches for neural machine translation (NMT) have predominantly relied on back-translating in-domain (IND) monolingual corpora. These methods suffer from issues associated with a domain information gap, which leads to translation errors for low frequency and out-of-vocabulary terminology. This paper proposes a dictionary-based data augmentation (DDA) method for cross-domain NMT. DDA synthesizes a domain-specific dictionary with general domain corpora to automatically generate a large-scale pseudo-IND parallel corpus. The generated pseudo-IND data can be used to enhance a general domain trained baseline. The experiments show that the DDA-enhanced NMT models demonstrate consistent significant improvements, outperforming the baseline models by 3.75-11.53 BLEU. The proposed method is also able to further improve the performance of the back-translation based and IND-finetuned NMT models. The improvement is associated with the enhanced domain coverage produced by DDA.


title: Critical fractional elliptic equations with exponential growth without Ambrosetti-Rabinowitz type condition

abstract: In this paper we establish, using variational methods combined with the Moser-Trudinger inequality, existence and multiplicity of weak solutions for a class of critical fractional elliptic equations with exponential growth without a Ambrosetti-Rabinowitz-type condition. The interaction of the nonlinearities with the spectrum of the fractional operator will used to study the existence and multiplicity of solutions. The main technical result proves that a local minimum in $C_{s}^0(\overline{\Omega})$ is also a local minimum in $W^{s,p}_0$ for nonlinearities with exponential growth.


title: Best Linear Approximation of Nonlinear Continuous-Time Systems Subject to Process Noise and Operating in Feedback

abstract: In many engineering applications the level of nonlinear distortions in frequency response function (FRF) measurements is quantified using specially designed periodic excitation signals called random phase multisines and periodic noise. The technique is based on the concept of the best linear approximation (BLA) and it allows one to check the validity of the linear framework with a simple experiment. Although the classical BLA theory can handle measurement noise only, in most applications the noise generated by the system -- called process noise -- is the dominant noise source. Therefore, there is a need to extend the existing BLA theory to the process noise case. In this paper we study in detail the impact of the process noise on the BLA of nonlinear continuous-time systems operating in a closed loop. It is shown that the existing nonparametric estimation methods for detecting and quantifying the level of nonlinear distortions in FRF measurements are still applicable in the presence of process noise. All results are also valid for discrete-time systems and systems operating in open loop.


title: Distributed Processing of k Shortest Path Queries over Dynamic Road Networks

abstract: The problem of identifying the k-shortest paths (KSPs for short) in a dynamic road network is essential to many location-based services. Road networks are dynamic in the sense that the weights of the edges in the corresponding graph constantly change over time, representing evolving traffic conditions. Very often such services have to process numerous KSP queries over large road networks at the same time, thus there is a pressing need to identify distributed solutions for this problem. However, most existing approaches are designed to identify KSPs on a static graph in a sequential manner (i.e., the (i+1)-th shortest path is generated based on the i-th shortest path), restricting their scalability and applicability in a distributed setting. We therefore propose KSP-DG, a distributed algorithm for identifying k-shortest paths in a dynamic graph. It is based on partitioning the entire graph into smaller subgraphs, and reduces the problem of determining KSPs into the computation of partial KSPs in relevant subgraphs, which can execute in parallel on a cluster of servers. A distributed two-level index called DTLP is developed to facilitate the efficient identification of relevant subgraphs. A salient feature of DTLP is that it indexes a set of virtual paths that are insensitive to varying traffic conditions, leading to very low maintenance cost in dynamic road networks. This is the first treatment of the problem of processing KSP queries over dynamic road networks. Extensive experiments conducted on real road networks confirm the superiority of our proposal over baseline methods.


title: Variational auto-encoders with Student's t-prior

abstract: We propose a new structure for the variational auto-encoders (VAEs) prior, with the weakly informative multivariate Student's t-distribution. In the proposed model all distribution parameters are trained, thereby allowing for a more robust approximation of the underlying data distribution. We used Fashion-MNIST data in two experiments to compare the proposed VAEs with the standard Gaussian priors. Both experiments showed a better reconstruction of the images with VAEs using Student's t-prior distribution.


title: Optimal energy management for hybrid electric aircraft

abstract: A convex formulation is proposed for optimal energy management in aircraft with hybrid propulsion systems consisting of gas turbine and electric motor components. By combining a point-mass aircraft dynamical model with models of electrical and mechanical powertrain losses, the fuel consumed over a planned future flight path is minimised subject to constraints on the battery, electric motor and gas turbine. The resulting optimisation problem is used to define a predictive energy management control law that takes into account the variation in aircraft mass during flight. A simulation study based on a representative 100-seat aircraft with a prototype parallel hybrid electric propulsion system is used to investigate the properties of the controller. We show that an optimisation-based control strategy can provide significant fuel savings over heuristic energy management strategies in this context.


title: Efficient Alternating Least Squares Algorithms for Low Multilinear Rank Approximation of Tensors

abstract: The low multilinear rank approximation, also known as the truncated Tucker decomposition, has been extensively utilized in many applications that involve higher-order tensors. Popular methods for low multilinear rank approximation usually rely directly on matrix SVD, therefore often suffer from the notorious intermediate data explosion issue and are not easy to parallelize, especially when the input tensor is large. In this paper, we propose a new class of truncated HOSVD algorithms based on alternating least squares (ALS) for efficiently computing the low multilinear rank approximation of tensors. The proposed ALS-based approaches are able to eliminate the redundant computations of the singular vectors of intermediate matrices and are therefore free of data explosion. Also, the new methods are more flexible with adjustable convergence tolerance and are intrinsically parallelizable on high-performance computers. Theoretical analysis reveals that the ALS iteration in the proposed algorithms is q-linear convergent with a relatively wide convergence region. Numerical experiments with large-scale tensors from both synthetic and real-world applications demonstrate that ALS-based methods can substantially reduce the total cost of the original ones and are highly scalable for parallel computing.


title: Establishing strong imputation performance of a denoising autoencoder in a wide range of missing data problems

abstract: Dealing with missing data in data analysis is inevitable. Although powerful imputation methods that address this problem exist, there is still much room for improvement. In this study, we examined single imputation based on deep autoencoders, motivated by the apparent success of deep learning to efficiently extract useful dataset features. We have developed a consistent framework for both training and imputation. Moreover, we benchmarked the results against state-of-the-art imputation methods on different data sizes and characteristics. The work was not limited to the one-type variable dataset; we also imputed missing data with multi-type variables, e.g., a combination of binary, categorical, and continuous attributes. To evaluate the imputation methods, we randomly corrupted the complete data, with varying degrees of corruption, and then compared the imputed and original values. In all experiments, the developed autoencoder obtained the smallest error for all ranges of initial data corruption.


title: Bootstrapping a Crosslingual Semantic Parser

abstract: Recent progress in semantic parsing scarcely considers languages other than English but professional translation can be prohibitively expensive. We adapt a semantic parser trained on a single language, such as English, to new languages and multiple domains with minimal annotation. We query if machine translation is an adequate substitute for training data, and extend this to investigate bootstrapping using joint training with English, paraphrasing, and multilingual pre-trained models. We develop a Transformer-based parser combining paraphrases by ensembling attention over multiple encoders and present new versions of ATIS and Overnight in German and Chinese for evaluation. Experimental results indicate that MT can approximate training data in a new language for accurate parsing when augmented with paraphrasing through multiple MT engines. Considering when MT is inadequate, we also find that using our approach achieves parsing accuracy within 2% of complete translation using only 50% of training data.


title: Model order reduction of thermo-mechanical models with parametric convective boundary conditions: focus on machine tool

abstract: This paper presents a parametric Model Order Reduction (MOR) method for weakly coupled thermo-mechanical Finite Element (FE) models of machine tools and other similar mechatronic systems. This work proposes a reduction method, Krylov Modal Subspace (KMS), and a theoretical bound of the reduction error. The developed method addresses the parametric dependency of the convective boundary conditions using the concept of system bilinearization. Additionally, this paper investigates the coupling between the reduced-order thermal system and the mechanical response. A numerical example shows that the reduced-order model captures the response of the original system in the frequency range of interest.


title: A Two-Stage Reconstruction of Microstructures with Arbitrarily Shaped Inclusions

abstract: The main goal of our research is to develop an effective method with a wide range of applications for the statistical reconstruction of heterogeneous microstructures with compact inclusions of any shape, such as highly irregular grains. The devised approach uses multi-scale extended entropic descriptors (ED) that quantify the degree of spatial non-uniformity of configurations of finite-sized objects. This technique is an innovative development of previously elaborated entropy methods for statistical reconstruction. Here, we discuss the two-dimensional case, but this method can be generalized into three dimensions. At the first stage, the developed procedure creates a set of black synthetic clusters that serve as surrogate inclusions. The clusters have the same individual areas and interfaces as their target counterparts, but random shapes. Then, from a given number of easy-to-generate synthetic cluster configurations, we choose the one with the lowest value of the cost function defined by us using extended ED. At the second stage, we make a significant change in the standard technique of simulated annealing (SA). Instead of swapping pixels of different phases, we randomly move each of the selected synthetic clusters. To demonstrate the accuracy of the method, we reconstruct and analyze two-phase microstructures with irregular inclusions of silica in rubber matrix as well as stones in cement paste. The results show that the two-stage reconstruction (TSR) method provides convincing realizations for these complex microstructures. The advantages of TSR include the ease of obtaining synthetic microstructures, very low computational costs, and satisfactory mapping in the statistical context of inclusion shapes. Finally, its simplicity should greatly facilitate independent applications.


title: On the use of the Riesz transforms to determine the pressure term in the incompressible Navier-Stokes equations on the whole space

abstract: We give some conditions under which the pressure term in the incompressible Navier-Stokes equations on the entire $d$-dimensional Euclidean space is determined by the formula $\displaystyle \nabla p = \nabla \left(\sum_{i,j=1}^d \mathcal{R}_i \mathcal{R}_j (u_i u_j - F_{i,j}) \right)$, where $d \in \{2, 3\}$, ${\textbf{u}} := (u_1, \ldots, u_d)$ is the fluid velocity, $\mathbb{F}:= (F_{i,j})_{1\le i,j\le d}$ is the forcing tensor, and for all $k \in \{1, \ldots, d\}$, $\mathcal{R}_k$ is the $k$-th Riesz transform.


title: Software Defect Prediction Based On Deep Learning Models: Performance Study

abstract: In recent years, defect prediction, one of the major software engineering problems, has been in the focus of researchers since it has a pivotal role in estimating software errors and faulty modules. Researchers with the goal of improving prediction accuracy have developed many models for software defect prediction. However, there are a number of critical conditions and theoretical problems in order to achieve better results. In this paper, two deep learning models, Stack Sparse Auto-Encoder (SSAE) and Deep Belief Network (DBN), are deployed to classify NASA datasets, which are unbalanced and have insufficient samples. According to the conducted experiment, the accuracy for the datasets with sufficient samples is enhanced and beside this SSAE model gains better results in comparison to DBN model in the majority of evaluation metrics.


title: Hall viscosity and conductivity of two-dimensional chiral superconductors

abstract: We compute the Hall viscosity and conductivity of non-relativistic two-dimensional chiral superconductors, where fermions pair due to a short-range attractive potential, e.g. $p+\mathrm{i}p$ pairing, and interact via a long-range repulsive Coulomb force. For a logarithmic Coulomb potential, the Hall viscosity tensor contains a contribution that is singular at low momentum, which encodes corrections to pressure induced by an external shear strain. Due to this contribution, the Hall viscosity cannot be extracted from the Hall conductivity in spite of Galilean symmetry. For mixed-dimensional chiral superconductors, where the Coulomb potential decays as inverse distance, we find an intermediate behavior between intrinsic two-dimensional superconductors and superfluids. These results are obtained by means of both effective and microscopic field theory.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.str-el hep-th


title: Output feedback stochastic MPC with packet losses

abstract: The paper considers constrained linear systems with stochastic additive disturbances and noisy measurements transmitted over a lossy communication channel. We propose a model predictive control (MPC) law that minimizes a discounted cost subject to a discounted expectation constraint. Sensor data is assumed to be lost with known probability, and data losses are accounted for by expressing the predicted control policy as an affine function of future observations, which results in a convex optimal control problem. An online constraint-tightening technique ensures recursive feasibility of the online optimization and satisfaction of the expectation constraint without bounds on the distributions of the noise and disturbance inputs. The cost evaluated along trajectories of the closed loop system is shown to be bounded by the optimal predicted cost. A numerical example is given to illustrate these results.


title: Learning to Summarize Passages: Mining Passage-Summary Pairs from Wikipedia Revision Histories

abstract: In this paper, we propose a method for automatically constructing a passage-to-summary dataset by mining the Wikipedia page revision histories. In particular, the method mines the main body passages and the introduction sentences which are added to the pages simultaneously. The constructed dataset contains more than one hundred thousand passage-summary pairs. The quality analysis shows that it is promising that the dataset can be used as a training and validation set for passage summarization. We validate and analyze the performance of various summarization systems on the proposed dataset. The dataset will be available online at https://res.qyzhou.me.


title: Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework

abstract: In this paper we cast neural networks defined on graphs as message-passing neural networks (MPNNs) in order to study the distinguishing power of different classes of such models. We are interested in whether certain architectures are able to tell vertices apart based on the feature labels given as input with the graph. We consider two variants of MPNNS: anonymous MPNNs whose message functions depend only on the labels of vertices involved; and degree-aware MPNNs in which message functions can additionally use information regarding the degree of vertices. The former class covers a popular formalisms for computing functions on graphs: graph neural networks (GNN). The latter covers the so-called graph convolutional networks (GCNs), a recently introduced variant of GNNs by Kipf and Welling. We obtain lower and upper bounds on the distinguishing power of MPNNs in terms of the distinguishing power of the Weisfeiler-Lehman (WL) algorithm. Our results imply that (i) the distinguishing power of GCNs is bounded by the WL algorithm, but that they are one step ahead; (ii) the WL algorithm cannot be simulated by "plain vanilla" GCNs but the addition of a trade-off parameter between features of the vertex and those of its neighbours (as proposed by Kipf and Welling themselves) resolves this problem.


title: Data Manipulation: Towards Effective Instance Learning for Neural Dialogue Generation via Learning to Augment and Reweight

abstract: Current state-of-the-art neural dialogue models learn from human conversations following the data-driven paradigm. As such, a reliable training corpus is the crux of building a robust and well-behaved dialogue model. However, due to the open-ended nature of human conversations, the quality of user-generated training data varies greatly, and effective training samples are typically insufficient while noisy samples frequently appear. This impedes the learning of those data-driven neural dialogue models. Therefore, effective dialogue learning requires not only more reliable learning samples, but also fewer noisy samples. In this paper, we propose a data manipulation framework to proactively reshape the data distribution towards reliable samples by augmenting and highlighting effective learning samples as well as reducing the effect of inefficient samples simultaneously. In particular, the data manipulation model selectively augments the training samples and assigns an importance weight to each instance to reform the training data. Note that, the proposed data manipulation framework is fully data-driven and learnable. It not only manipulates training samples to optimize the dialogue generation model, but also learns to increase its manipulation skills through gradient descent with validation samples. Extensive experiments show that our framework can improve the dialogue generation performance with respect to various automatic evaluation metrics and human judgments.


title: Strong and weak convergence rates for slow-fast stochastic differential equations driven by $\alpha$-stable process

abstract: In this paper, we study the averaging principle for a class of stochastic differential equations driven by $\alpha$-stable processes with slow and fast time-scales, where $\alpha\in(1,2)$. We prove that the strong and weak convergence order are $1-1/\alpha$ and $1$ respectively. We show, by a simple example, that $1-1/\alpha$ is the optimal strong convergence rate.


title: Answering Complex Queries in Knowledge Graphs with Bidirectional Sequence Encoders

abstract: Representation learning for knowledge graphs (KGs) has focused on the problem of answering simple link prediction queries. In this work we address the more ambitious challenge of predicting the answers of conjunctive queries with multiple missing entities. We propose Bi-Directional Query Embedding (BIQE), a method that embeds conjunctive queries with models based on bi-directional attention mechanisms. Contrary to prior work, bidirectional self-attention can capture interactions among all the elements of a query graph. We introduce a new dataset for predicting the answer of conjunctive query and conduct experiments that show BIQE significantly outperforming state of the art baselines.


title: Hybrid subconfiguration-average and level-to-level distorted-wave treatment of electron-impact single ionisation of W$^{15+}$ and W$^{16+}$

abstract: Recently, we have demonstrated (Jin et al. 2020, J. Phys. B: At. Mol. Opt. Phys. 53, 075201) that a hybrid subconfiguration-average and level-to-level distorted wave treatment of electron-impact single ionisation (EISI) of W$^{14+}$ ions represents an accurate and manageable approach for the calculation of EISI cross sections of a complex ion. Here we demonstrate the more general validity of this approach by comparing hybrid cross sections for EISI of W$^{15+}$ and W$^{16+}$ with the recent experimental results of Schury et al. 2020, J. Phys. B: At. Mol. Opt. Phys. 53, 015201). Our calculations also account for the resonant-excitation double autoionisation (REDA) process which is important in the electron energy range 370-600 eV and for the possible presence of initially metastable ions in the experiment.


title: $L^p$-regularity of the Bergman projection on quotient domains

abstract: We obtain sharp ranges of $L^p$-boundedness for domains in a wide class of Reinhardt domains representable as sub-level sets of monomials, by expressing them as quotients of simpler domains. We prove a general transformation law relating $L^p$-boundedness on a domain and its quotient by a finite group. The range of $p$ for which the Bergman projection is $L^p$-bounded on our class of Reinhardt domains is found to shrink as the complexity of the domain increases.


title: Dimer Models and Conformal Structures

abstract: In this work we study the variational problem associated to dimer models, a class of models from integrable probability and statistical mechanics in dimension two which have been the focus of intense research efforts over the last decades. These models give rise to an infinite family of non-differentiable functionals on Lipschitz functions with gradient constraint, determined by solutions of the Dirichlet problem on compact convex polygons for a class of Monge-Amp\`ere equations. We settle a number or outstanding open questions for this infinite class functionals. In particular we prove a complete classification of the regularity of minimizers, also known as height functions, for all dimer models for a natural class of polygonal (simply or multiply connected) domains much studied in numerical simulations and elsewhere. Our classification in particular implies that the Pokrovsky-Talapov law holds for all dimer models at a generic point on the frozen boundary and in addition shows a very strong local rigidity of dimer models which can be interpreted as a geometric universality result. Furthermore, we give a complete classification of the regularity of the associated free boundary, also known in the literature as frozen boundary or arctic curves and prove that they are all algebraic curves. The lack of differentiability of the functionals is intimately connected to the boundary behaviour of the solutions to the Monge-Amp\`ere equations and we prove a complete classification for these, of independent interest.


title: Non-invasive modelling methodology for the diagnosis of Coronary Artery Disease using Fuzzy Cognitive Maps

abstract: Cardiovascular Diseases (CVD) and strokes produce immense health and economic burdens globally. Coronary Artery Disease (CAD) is the most common type of cardiovascular disease. Coronary Angiography, which is an invasive treatment, is also the standard procedure for diagnosing CAD. In this work, we illustrate a Medical Decision Support System for the prediction of Coronary Artery Disease (CAD) utilizing Fuzzy Cognitive Maps (FCMs). FCMs are a promising modeling methodology, based on human knowledge, capable of dealing with ambiguity and uncertainty, and learning how to adapt to the unknown or changing environment. The newly proposed MDSS is developed using the basic notions of Fuzzy Logic and Fuzzy Cognitive Maps, with some adjustments to improve the results. The proposed model, tested on a labelled CAD dataset of 303 patients, obtains an accuracy of 78.2% outmatching several state-of-the-art classification algorithms.


title: SEIAR model with asymptomatic cohort and consequences to efficiency of quarantine government measures in COVID-19 epidemic

abstract: We present a compartmental SEIAR model of epidemic spread as a generalization of the SEIR model. We believe that the asymptomatic infectious cohort is an omitted part of the understanding of the epidemic dynamics of disease COVID-19. We introduce and derive the basic reproduction number as the weighted arithmetic mean of the basic reproduction numbers of the symptomatic and asymptomatic cohorts. Since the asymptomatic subjects people are not detected, they can spread the disease much longer, and this increases the COVID-19 $R_0$ up to around 9. We show that European epidemic outbreaks in various European countries correspond to the simulations with commonly used parameters based on clinical characteristics of the disease COVID-19, but $R_0$ is around three times bigger if the asymptomatic cohort is taken into account. Many voices in the academic world are drawing attention to the asymptomatic group of infectious subjects at present. We are convinced that the asymptomatic cohort plays a crucial role in the spread of the COVID-19 disease, and it has to be understood during government measures.


title: Orbital mechanics and quasiperiodic oscillation resonances of black holes in Einstein-{\AE}ther theory

abstract: In this paper, we study the motion of test particles around two exact charged black-hole solutions in Einstein-{\AE}ther theory. Specifically, we first consider the quasi-periodic oscillations (QPOs) and their resonances generated by the particle moving in the Einstein-{\AE}ther black hole and then turn to study the periodic orbits of the massive particles. For QPOs, we drop the usually adopted assumptions $\nu_U=\nu_\theta$, $\nu_L=\nu_r$, and $\nu_U/\nu_L=3/2$ with $\nu_U$ ($\nu_L$) and $\nu_r$ ($\nu_\theta$) being the upper (lower) frequency of QPOs and radial (vertical) epicyclic frequency of the orbiting particles, respectively. Instead, we put-forward a new working ansatz for which the Keplerian radius is much closer to that of the innermost stable circular orbit and explore in detail the effects of the {\ae}ther field on the frequencies of QPOs. We then realize good curves for the frequencies of QPOs, which fit to data of three microquasars very well by ignoring any effects of rotation and magnetic fields. The innermost stable circular orbits (isco) of timelike particles are also analyzed and we find the isco radius increases with increasing $c_{13}$ for the first type black hole while decreases with increasing $c_{14}$ for the second one. We also obtain several periodic orbits and find that they share similar taxonomy schemes as the periodic equatorial orbits in the Schwarzschild/Kerr metrics, in addition to exact solutions for certain choices of the Einstein-\AE ther parameters. The equations for null geodesics are also briefly considered, where we study circular photon orbits and bending angles for gravitational lensing.


title: An anytime tree search algorithm for two-dimensional two- and three-staged guillotine packing problems

abstract: [libralesso_anytime_2020] proposed an anytime tree search algorithm for the 2018 ROADEF/EURO challenge glass cutting problem (https://www.roadef.org/challenge/2018/en/index.php). The resulting program was ranked first among 64 participants. In this article, we generalize it and show that it is not only effective for the specific problem it was originally designed for, but is also very competitive and even returns state-of-the-art solutions on a large variety of Cutting and Packing problems from the literature. We adapted the algorithm for two-dimensional Bin Packing, Multiple Knapsack, and Strip Packing Problems, with two- or three-staged exact or non-exact guillotine cuts, the orientation of the first cut being imposed or not, and with or without item rotation. The combination of efficiency, ability to provide good solutions fast, simplicity and versatility makes it particularly suited for industrial applications, which require quickly developing algorithms implementing several business-specific constraints. The algorithm is implemented in a new software package called PackingSolver.


title: Automated solving of constant-coefficients second-order linear PDEs using Fourier analysis

abstract: After discussing the limitations of current commercial software, we provide the details of an implementation of Fourier techniques for solving second-order linear partial differential equations (with constant coefficients) using a computer algebra system. The general Sturm-Liouville problem for the heat, wave and Laplace operators on the most common bounded domains is covered, as well as the general second-order linear parabolic equation with constant coefficients, which includes cases such as the convection-diffusion equation by reduction to the heat equation.


title: Estimating the number of SARS-CoV-2 infections and the impact of social distancing in the United States

abstract: Understanding the number of individuals who have been infected with the novel coronavirus SARS-CoV-2, and the extent to which social distancing policies have been effective at limiting its spread, are critical for effective policy going forward. Here we present estimates of the extent to which confirmed cases in the United States undercount the true number of infections, and analyze how effective social distancing measures have been at mitigating or suppressing the virus. Our analysis uses a Bayesian model of COVID-19 fatalities with a likelihood based on an underlying differential equation model of the epidemic. We provide analysis for four states with significant epidemics: California, Florida, New York, and Washington. Our short-term forecasts suggest that these states may be following somewhat different trajectories for growth of the number of cases and fatalities.


title: Wetting Fronts in Porous Media

abstract: The dynamics of the wetting front are considered during the imbibition of a fluid into a porous substrate through a circular drawing area. A mathematical model of this process, assuming incompressible Darcy flow, is presented, before the full finite element scheme for solving this set of equations is given allowing the reader to reproduce all presented results. Asymptotic analysis is performed revealing contradictions between the assumptions of Darcy's equation and the solutions it produces, along with qualitative results for the behaviour of the wetting front and macroscopic contact angles. Velocity and pressure distributions across the wetted region are presented, as well as plots of the evolution of the wetting front and parameters with discussion.


title: Semantic Image Search for Robotic Applications

abstract: Generalization in robotics is one of the most important problems. New generalization approaches use internet databases in order to solve new tasks. Modern search engines can return a large amount of information according to a query within milliseconds. However, not all of the returned information is task relevant, partly due to the problem of polysemes. Here we specifically address the problem of object generalization by using image search. We suggest a bi-modal solution, combining visual and textual information, based on the observation that humans use additional linguistic cues to demarcate intended word meaning. We evaluate the quality of our approach by comparing it to human labelled data and find that, on average, our approach leads to improved results in comparison to Google searches, and that it can treat the problem of polysemes.


title: Quantum-Assisted Graph Clustering and Quadratic Unconstrained D-ary Optimisation

abstract: Of late, we are witnessing spectacular developments in Quantum Information Processing with the availability of Noisy Intermediate-Scale Quantum devices of different architectures and various software development kits to work on quantum algorithms. Different problems, which are hard to solve by classical computation, but can be sped up (significantly in some cases) are also being populated. Leveraging these aspects, this paper examines unsupervised graph clustering by quantum algorithms or, more precisely, quantum-assisted algorithms. By carefully examining the two cluster Max-Cut problem within the framework of quantum Ising model, an extension has been worked out for max 3-cut with the identification of an appropriate Hamiltonian. Representative results, after carrying out extensive numerical evaluations, have been provided including a suggestion for possible futuristic implementation with qutrit devices. Further, extrapolation to more than 3 classes, which can be handled by qudits, of both annealer and gate-circuit varieties, has also been touched upon with some preliminary observations; quantum-assisted solving of Quadratic Unconstrained D-ary Optimisation is arrived at within this context. As an additional novelty, a qudit circuit to solve max-d cut through Quantum Approximate Optimization algorithm is systematically constructed.


title: VoxCap: FFT-Accelerated and Tucker-Enhanced Capacitance Extraction Simulator for Voxelized Structures

abstract: VoxCap, a fast Fourier transform (FFT)-accelerated and Tucker-enhanced integral equation simulator for capacitance extraction of voxelized structures, is proposed. The VoxCap solves the surface integral equations (SIEs) for conductor and dielectric surfaces with three key attributes that make the VoxCap highly CPU and memory efficient for the capacitance extraction of the voxelized structures: (i) VoxCap exploits the FFTs for accelerating the matrix-vector multiplications during the iterative solution of linear system of equations arising due to the discretization of SIEs. (ii) During the iterative solution, VoxCap uses a highly effective and memory-efficient preconditioner that reduces the number of iterations significantly. (iii) VoxCap employs Tucker decompositions to compress the block Toeplitz and circulant tensors, requiring the largest memory in the simulator. By doing so, it reduces the memory requirement of these tensors from hundreds of gigabytes to a few megabytes and the CPU time required to obtain Toeplitz tensors from tens of minutes (even hours) to a few seconds for very large scale problems. VoxCap is capable of accurately computing capacitance of arbitrarily shaped and large-scale voxelized structures on a desktop computer.


title: Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks

abstract: In this paper, we propose a model-free reinforcement learning method to synthesize control policies for motion planning problems with continuous states and actions. The robot is modelled as a labeled discrete-time Markov decision process (MDP) with continuous state and action spaces. Linear temporal logics (LTL) are used to specify high-level tasks. We then train deep neural networks to approximate the value function and policy using an actor-critic reinforcement learning method. The LTL specification is converted into an annotated limit-deterministic B\"uchi automaton (LDBA) for continuously shaping the reward so that dense rewards are available during training. A na\"ive way of solving a motion planning problem with LTL specifications using reinforcement learning is to sample a trajectory and then assign a high reward for training if the trajectory satisfies the entire LTL formula. However, the sampling complexity needed to find such a trajectory is too high when we have a complex LTL formula for continuous state and action spaces. As a result, it is very unlikely that we get enough reward for training if all sample trajectories start from the initial state in the automata. In this paper, we propose a method that samples not only an initial state from the state space, but also an arbitrary state in the automata at the beginning of each training episode. We test our algorithm in simulation using a car-like robot and find out that our method can learn policies for different working configurations and LTL specifications successfully.


title: A note on the moments of sequences of complex numbers

abstract: We give a short proof that the limsup of the p-th root of the modulus of the p-th moment of a sequence of complex numbers is equal to the modulus of the maximum of the sequence.This strengthens known results, and provides an analog to a recent result concerning moments of complex polynomials.


title: The fractal dimension of music: Melodic contours and time series of pitch

abstract: We analyze the fractal dimension of melodic contours and pitch time series of classical music and folk music tunes. The fractal dimensions obtained from box counting and detrended fluctuation analysis show significant differences. They are ascribed to the low accuracy of box counting for dimensions close to two as well as to a possible bias because the pitches in the time series are connected by lines to obtain the melodic contour used in the box counting analysis. We observe a tendency that folk music exhibits lower fractal dimensions than classical music, but further studies are needed in order to assess cutoff effects in the comparatively short folk music tunes. We conclude that detrended fluctuation analysis is the preferable method for fractal analysis of music, and this verifies previous studies of analysis of short time series.


title: On Completion of Metric Mappings

abstract: An internal characterization of complete metric mappings (by means of Cauchy nets tied at a point) is given and a construction of the completion of a metric mapping is presented.


title: The current state of automated negotiation theory: a literature review

abstract: Automated negotiation can be an efficient method for resolving conflict and redistributing resources in a coalition setting. Automated negotiation has already seen increased usage in fields such as e-commerce and power distribution in smart girds, and recent advancements in opponent modelling have proven to deliver better outcomes. However, significant barriers to more widespread adoption remain, such as lack of predictable outcome over time and user trust. Additionally, there have been many recent advancements in the field of reasoning about uncertainty, which could help alleviate both those problems. As there is no recent survey on these two fields, and specifically not on their possible intersection we aim to provide such a survey here.