title: Time-periodic flows of electrons and holes in semiconductor devices

abstract: The main purpose of this paper is mathematical analysis on time-periodic flows of electrons and holes in semiconductors. The flows appear in a situation that alternating-current voltages are applied to devices. In this paper, we study the drift-diffusion model for semiconductors in a three-dimensional bounded domain and investigate the existence and stability of time-periodic solutions. We first derive the uniform-in-time estimate of time-global solutions, and then prove by the relative entropy method that the difference of any two solutions decays exponentially fast as time tends to infinity. These facts enable us to show the unique existence and global stability of time-periodic solution.


title: $\pi$VAE: a stochastic process prior for Bayesian deep learning with MCMC

abstract: Stochastic processes provide a mathematically elegant way model complex data. In theory, they provide flexible priors over function classes that can encode a wide range of interesting assumptions. In practice, however, efficient inference by optimisation or marginalisation is difficult, a problem further exacerbated with big data and high dimensional input spaces. We propose a novel variational autoencoder (VAE) called the prior encoding variational autoencoder ($\pi$VAE). The $\pi$VAE is finitely exchangeable and Kolmogorov consistent, and thus is a continuous stochastic process. We use $\pi$VAE to learn low dimensional embeddings of function classes. We show that our framework can accurately learn expressive function classes such as Gaussian processes, but also properties of functions to enable statistical inference (such as the integral of a log Gaussian process). For popular tasks, such as spatial interpolation, $\pi$VAE achieves state-of-the-art performance both in terms of accuracy and computational efficiency. Perhaps most usefully, we demonstrate that the low dimensional independently distributed latent space representation learnt provides an elegant and scalable means of performing Bayesian inference for stochastic processes within probabilistic programming languages such as Stan.


title: On sensing-aware model predictive path-following control for a reversing general 2-trailer with a car-like tractor

abstract: The design of reliable path-following controllers is a key ingredient for successful deployment of self-driving vehicles. This controller-design problem is especially challenging for a general 2-trailer with a car-like tractor due to the vehicle's structurally unstable joint-angle kinematics in backward motion and the car-like tractor's curvature limitations which can cause the vehicle segments to fold and enter a jackknife state. Furthermore, advanced sensors with a limited field of view have been proposed to solve the joint-angle estimation problem online, which introduce additional restrictions on which vehicle states that can be reliably estimated. To incorporate these restrictions at the level of control, a model predictive path-following controller is proposed. By taking the vehicle's physical and sensing limitations into account, it is shown in real-world experiments that the performance of the proposed path-following controller in terms of suppressing disturbances and recovering from non-trivial initial states is significantly improved compared to a previously proposed solution where the constraints have been neglected.


title: Deep caller for ocean acoustic releases

abstract: We relate about the custom-made modification of a Benthos deep-ocean acoustic release into a deep caller, a hydrophone for calling ocean acoustic releases that cannot be reached from a standard deck-unit. The self-contained deep caller can be lowered down to 12 km on any non-conducting winch cable. It may prove useful to retrieve sub-surface instrumentation like a seafloor-lander hidden behind large rocks or in a narrow canyon, or moorings in very deep topographic depressions. We used it to retrieve a 7 km long mooring from 10,910 m depth in the Challenger Deep, Mariana Trench.


title: Isomorphism of trees and isometry of ultrametric spaces

abstract: We study the conditions under which the isometry of spaces with metrics generated by weights given on the edges of finite trees is equivalent to the isomorphism of these trees. Similar questions are studied for ultrametric spaces generated by labelings given on the vertices of trees. The obtained results generalized some facts previously known for phylogenetic trees and for Gurvich-Vyalyi monotone trees.


title: McKean-Vlasov SDEs with Drifts Discontinuous under Wasserstein Distance

abstract: Existence and uniqueness are proved for Mckean-Vlasov type distribution dependent SDEs with singular drifts satisfying an integrability condition in space variable and the Lipschitz condition in distribution variable with respect to $W_0$ or $W_0+W_\theta$ for some $\theta\ge 1$, where $W_0$ is the total variation distance and $W_\theta$ is the $L^\theta$-Wasserstein distance. This improves some existing results where the drift is either locally bounded in the space variable or continuous in the distribution variable with respect to the Wasserstein distance.


title: Trimming the Sail: A Second-order Learning Paradigm for Stock Prediction

abstract: Nowadays, machine learning methods have been widely used in stock prediction. Traditional approaches assume an identical data distribution, under which a learned model on the training data is fixed and applied directly in the test data. Although such assumption has made traditional machine learning techniques succeed in many real-world tasks, the highly dynamic nature of the stock market invalidates the strict assumption in stock prediction. To address this challenge, we propose the second-order identical distribution assumption, where the data distribution is assumed to be fluctuating over time with certain patterns. Based on such assumption, we develop a second-order learning paradigm with multi-scale patterns. Extensive experiments on real-world Chinese stock data demonstrate the effectiveness of our second-order learning paradigm in stock prediction.


title: Tight Quantum Lower Bound for Approximate Counting with Quantum States

abstract: We prove tight lower bounds for the following variant of the counting problem considered by Aaronson, Kothari, Kretschmer, and Thaler (2020). The task is to distinguish whether an input set $x\subseteq [n]$ has size either $k$ or $k'=(1+\varepsilon)k$. We assume the algorithm has access to * the membership oracle, which, for each $i\in [n]$, can answer whether $i\in x$, or not; and \item the uniform superposition $|\psi_x\rangle = \sum_{i\in x} |i\rangle/\sqrt{|x|}$ over the elements of $x$. Moreover, we consider three different ways how the algorithm can access this state: - the algorithm can have copies of the state $|\psi_x\rangle$; - the algorithm can execute the reflecting oracle which reflects about the state $|\psi_x\rangle$; - the algorithm can execute the state-generating oracle (or its inverse) which performs the transformation $|0\rangle\mapsto|\psi_x\rangle$. Without the second type of resources (the ones related to $|\psi_x\rangle$), the problem is well-understood. The study of the problem with the second type of resources was recently initiated by Aaronson et al. We completely resolve the problem for all values of $1/k \le \varepsilon\le 1$, giving tight trade-offs between all types of resources available to the algorithm. We also demonstrate that our lower bounds are tight. Thus, we close the main open problems from Aaronson et al. The lower bounds are proven using variants of the adversary bound from Belovs (2015) and employing representation theory of the symmetric group applied to the $S_n$-modules $\mathbb{C}^{\binom{[n]}k}$ and $\mathbb{C}^{\binom{[n]}k}\otimes \mathbb{C}$.


title: Harmonic maps with torsion

abstract: In this article we introduce a natural extension of the well-studied equation for harmonic maps between Riemannian manifolds by assuming that the target manifold is equipped with a connection that is metric but has non-vanishing torsion. Such connections have already been classified in the work of Cartan. The maps under consideration do not arise as critical points of an energy functional leading to interesting mathematical challenges. We will perform a first mathematical analysis of these maps which we will call harmonic maps with torsion.


title: Galaxy kinematics across different environments in the RXJ1347-1145 cluster complex

abstract: In order to understand the role of the different processes that drive galaxy evolution in clusters, we need comprehensive studies that simultaneously examine several of the most important characteristics of galaxies. In this work we examine the physical properties of cluster galaxies at z=0.45 attending to the degree of distortion of their rotation curves. Regular rotating galaxies were included in our Tully-Fisher analysis while the distorted ones were used to study the role of cluster-specific interactions with respect to star formation and AGN activity. We report a higher fraction of galaxies with irregular gas kinematics in the cluster environment than in the field. Cluster galaxies with regular rotation display a moderate brightening in the B-band Tully-Fisher relation compatible with the gradual evolution of the stellar populations with lookback time, and no significant evolution in the stellar-mass Tully-Fisher relation, in line with previous studies at similar redshift. Average specific star formation rate (sSFR) values are slightly lower in our cluster sample (-0.15 dex) with respect to the main sequence of star-forming galaxies, confirming the role of the environment in the early quenching of star formation in clusters. Finally, we carried out an exploratory observational study on the stellar-to-halo mass relation finding that cluster galaxies tend to have slightly lower stellar mass values for a fixed halo mass compared to their field counterparts.


title: MacPherson's Conjecture via H\"ormander Estimate

abstract: In this notes we reprove MacPherson's conjecture on $L^2-(n,q)$-cohomology through Demailly's formulation of H\"ormander's Estimate. This approach allows us to weaken the condition of locally semipositivity in Ruppenthal's $L^2$-representation of adjoint bundle. Moreover we prove the MacPherson's conjecture of twisted coefficient bundle under an arbitrary singular hermitian metric. As applications, we study the MacPherson type problem for pluri-canonical bundle.


title: Towards an Unified Structure for Reinforcement Learning: an Optimization Approach

abstract: Both the optimal value function and the optimal policy can be used to model an optimal controller based on the duality established by the Bellman equation. Even with this duality, no parametric model has been able to output both policy and value function with a common parameter set. In this paper, a unified structure is proposed with a parametric optimization problem. The policy and the value function modelled by this structure share all parameters, which enables seamless switching among reinforcement learning algorithms while continuing to learn. The Q-learning and policy gradient based on the proposed structure is detailed. An actor-critic algorithm based on this structure, whose actor and critic are both modelled by the same parameters, is validated by both linear and nonlinear control.


title: Transport mechanism in amorphous molybdenum silicide thin films

abstract: Amorphous molybdenum silicide compounds have attracted significant interest for potential device applications, particularly in single-photon detector. In this work, the temperature-dependent resistance and magneto-resistance behaviors were measured to reveal the charge transport mechanism, which is of great importance for applications but is still insufficient. It is found that Mott variable hopping conductivity dominates the transport of sputtered amorphous molybdenum silicide thin films. Additionally, the observed magneto-resistance crossover from negative to positive is ascribed to the interference enhancement and the shrinkage of electron wave function, both of which vary the probability of hopping between localized sites.


title: What is Trending on Wikipedia? Capturing Trends and Language Biases Across Wikipedia Editions

abstract: In this work, we propose an automatic evaluation and comparison of the browsing behavior of Wikipedia readers that can be applied to any language editions of Wikipedia. As an example, we focus on English, French, and Russian languages during the last four months of 2018. The proposed method has three steps. Firstly, it extracts the most trending articles over a chosen period of time. Secondly, it performs a semi-supervised topic extraction and thirdly, it compares topics across languages. The automated processing works with the data that combines Wikipedia's graph of hyperlinks, pageview statistics and summaries of the pages. The results show that people share a common interest and curiosity for entertainment, e.g. movies, music, sports independently of their language. Differences appear in topics related to local events or about cultural particularities. Interactive visualizations showing clusters of trending pages in each language edition are available online https://wiki-insights.epfl.ch/wikitrends


title: Non-homogeneous density functions to strengthen rectangular partially hinged plates

abstract: We consider a non-homogeneous partially hinged rectangular plate having structural engineering applications. In order to study possible remedies for torsional instability phenomena we consider the gap function as a measure of the torsional performances of the plate. We treat different configurations of load and we study which density function is optimal for our aims. The analysis is in accordance with some results obtained studying the corresponding eigenvalue problem in terms of maximization of the ratio of specific eigenvalues. Some numerical experiments complete the analysis.


title: Approximating Multistage Matching Problems

abstract: In multistage perfect matching problems we are given a sequence of graphs on the same vertex set and asked to find a sequence of perfect matchings, corresponding to the sequence of graphs, such that consecutive matchings are as similar as possible. More precisely, we aim to maximize the intersections, or minimize the unions between consecutive matchings. We show that these problems are NP-hard even in very restricted scenarios. We propose new approximation algorithms and present methods to transfer results between different problem variants without loosing approximation guarantees.


title: A Modular Framework to Generate Robust Biped Locomotion: From Planning to Control

abstract: Biped robots are inherently unstable because of their complex kinematics as well as dynamics. Despite the many research efforts in developing biped locomotion, the performance of biped locomotion is still far from the expectations. This paper proposes a model-based framework to generate stable biped locomotion. The core of this framework is an abstract dynamics model which is composed of three masses to consider the dynamics of stance leg, torso and swing leg for minimizing the tracking problems. According to this dynamics model, we propose a modular walking reference trajectories planner which takes into account obstacles to plan all the references. Moreover, this dynamics model is used to formulate the controller as a Model Predictive Control (MPC) scheme which can consider some constraints in the states of the system, inputs, outputs and also mixed input-output. The performance and the robustness of the proposed framework are validated by performing several numerical simulations using MATLAB. Moreover, the framework is deployed on a simulated torque-controlled humanoid to verify its performance and robustness. The simulation results show that the proposed framework is capable of generating biped locomotion robustly.


title: Monte Carlo study of the magnetic properties of the spinel ZnFe$_2$O$_4$ compound

abstract: In this work, a study of the magnetic behavior of the spinel ZnFe2O4 is presented by using the Monte Carlo simulations (MCS). The iron atoms provide the magnetism in this material. In fact, the magnetic spin of moment of the Fe3+ ions is S=5/2. In this context, we propose a Hamiltonian describing and modeling this compound. Firstly, at zero temperature we have studied the ground state phase diagrams of the system in order to find the more stable configurations. On the other hand, for a non-null temperature values, we obtained the results of the Monte Carlo simulations, namely: the magnetizations and the susceptibilities as a function of temperature. The behavior of those physical parameters shows an anti-ferromagnetic behavior with a Neel-temperature of about TN=12 K. This value is found to be in good agreement with the literature. Moreover, the effect of varying the crystal field, the exchange coupling interactions and the external magnetic field is studied and discussed on the behavior of the magnetizations. To complete this study, we presented the magnetic hysteresis loops deducing the antiferromagnetic behavior of the ZnFe2O4 compound.


title: Amplifying The Uncanny

abstract: Deep neural networks have become remarkably good at producing realistic deepfakes, images of people that (to the untrained eye) are indistinguishable from real images. Deepfakes are produced by algorithms that learn to distinguish between real and fake images and are optimised to generate samples that the system deems realistic. This paper, and the resulting series of artworks Being Foiled explore the aesthetic outcome of inverting this process, instead optimising the system to generate images that it predicts as being fake. This maximises the unlikelihood of the data and in turn, amplifies the uncanny nature of these machine hallucinations.


title: Emergence of $d \pm ip$-wave superconducting state at the edge of $d$-wave superconductors mediated by Andreev-bound-state-driven ferromagnetic fluctuations

abstract: We propose a mechanism of spin-triplet superconductivity at the edge of $d$-wave superconductors. Recent theoretical research in $d$-wave superconductors predicted that strong ferromagnetic (FM) fluctuations are induced by large density of states due to edge Andreev bound states (ABS). Here, we construct the linearized gap equation for the edge-induced superconductivity, and perform a numerical study based on a large cluster Hubbard model with bulk $d$-wave superconducting (SC) gap. We find that ABS-induced strong FM fluctuations mediate the $d \pm ip$-wave SC state, in which the time-reversal symmetry is broken. The edge-induced $p$-wave transition temperature $T_{cp}$ is slightly lower than the bulk $d$-wave one $T_{cd}$, and the Majorana bound state may be created at the endpoint of the edge.


title: The evidence for a spatially flat Universe

abstract: We revisit the observational constraints on spatial curvature following recent claims that the Planck data favour a closed Universe. We use a new and statistically powerful Planck likelihood to show that the Planck temperature and polarization spectra are consistent with a spatially flat Universe, though because of a geometrical degeneracy cosmic microwave background spectra on their own do not lead to tight constraints on the curvature density parameter Omega_K. When combined with other astrophysical data, particularly geometrical measurements of baryon acoustic oscillations, the Universe is constrained to be spatially flat to extremely high precision, with Omega_ K = 0.0004 +/-0.0018 in agreement with the 2018 results of the Planck team. In the context of inflationary cosmology, the observations offer strong support for models of inflation with a large number of e-foldings and disfavour models of incomplete inflation.


title: Rapid Prediction of Earthquake Ground Shaking Intensity Using Raw Waveform Data and a Convolutional Neural Network

abstract: This study describes a deep convolutional neural network (CNN) based technique for the prediction of intensity measurements (IMs) of ground shaking. The input data to the CNN model consists of multistation 3C broadband and accelerometric waveforms recorded during the 2016 Central Italy earthquake sequence for M $\ge$ 3.0. We find that the CNN is capable of predicting accurately the IMs at stations far from the epicenter and that have not yet recorded the maximum ground shaking when using a 10 s window starting at the earthquake origin time. The CNN IM predictions do not require previous knowledge of the earthquake source (location and magnitude). Comparison between the CNN model predictions and the predictions obtained with Bindi et al. (2011) GMPE (which require location and magnitude) has shown that the CNN model features similar error variance but smaller bias. Although the technique is not strictly designed for earthquake early warning, we found that it can provide useful estimates of ground motions within 15-20 sec after earthquake origin time depending on various setup elements (e.g., times for data transmission, computation, latencies). The technique has been tested on raw data without any initial data pre-selection in order to closely replicate real-time data streaming. When noise examples were included with the earthquake data, the CNN was found to be stable predicting accurately the ground shaking intensity corresponding to the noise amplitude.


title: Charge ordering in the three-dimensional Coulomb glass at finite temperatures and low disorders

abstract: In this paper, we have studied the three dimensional Coulomb glass lattice model at half-filling using Monte Carlo Simulations. Annealing of the system shows a second-order transition from paramagnetic to charge-ordered phase for zero as well as small disorders. We have also calculated the critical exponents and transition temperature using a finite sizing scaling approach. The Monte Carlo simulation is done using the Metropolis algorithm, which allowed us to study larger lattice sizes. The transition temperature and the critical exponents at zero disorder matched the previous studies within numerical error. We found that the transition temperature of the system decreased as the disorder is increased. The values of critical exponents $\alpha$ and $\gamma$ were less and value of $\nu$ more than the corresponding zero disorder values. The use of large system sizes led to the correct variation of critical exponents with the disorder.


title: Helly groups

abstract: Helly graphs are graphs in which every family of pairwise intersecting balls has a non-empty intersection. This is a classical and widely studied class of graphs. In this article we focus on groups acting geometrically on Helly graphs -- Helly groups. We provide numerous examples of such groups: all (Gromov) hyperbolic, CAT(0) cubical, finitely presented graphical C(4)$-$T(4) small cancellation groups, and type-preserving uniform lattices in Euclidean buildings of type $C_n$ are Helly; free products of Helly groups with amalgamation over finite subgroups, graph products of Helly groups, some diagram products of Helly groups, some right-angled graphs of Helly groups, and quotients of Helly groups by finite normal subgroups are Helly. We show many properties of Helly groups: biautomaticity, existence of finite dimensional models for classifying spaces for proper actions, contractibility of asymptotic cones, existence of EZ-boundaries, satisfiability of the Farrell-Jones conjecture and of the coarse Baum-Connes conjecture. This leads to new results for some classical families of groups (e.g. for FC-type Artin groups) and to a unified approach to results obtained earlier.


title: The binormal flow with initial data being polygonal lines and non-uniqueness

abstract: The compatibility conditions for the equation (2.2) was not considered, the equation $u$ should satisfy (1.3). Thank Prof. Valeria Banica for pointing out the mistake.


title: Non-perturbative definition of the QCD energy-momentum tensor on the lattice

abstract: We present a strategy to define non-perturbatively the energy-momentum tensor in Quantum Chromodynamics (QCD) which satisfies the appropriate Ward identities and has the right trace anomaly. The tensor is defined by regularizing the theory on a lattice, and by fixing its renormalization constants non-perturbatively by suitable Ward identities associated to the Poincare' invariance of the continuum theory. The latter are derived in thermal QCD with a non-zero imaginary chemical potential formulated in a moving reference frame. A renormalization group analysis leads to simple renormalization-group-invariant definitions of the gluonic and fermionic contributions to either the singlet or the non-singlet components of the tensor, and therefore of their form factors among physical states. The lattice discussion focuses on the Wilson discretization of quark fields but the strategy is general. Specific to that case, we also carry out the analysis for the on-shell O(a)-improvement of the energy-momentum tensor. The renormalization and improvement programs profit from the fact that, as shown here, the thermal theory enjoys de-facto automatic O(a)-improvement at finite temperature. The validity of the proposal is scrutinized analytically by a study to 1-loop order in lattice perturbation theory with shifted and twisted (for quarks only) boundary conditions. The latter provides also additional useful insight for a precise non-perturbative calculation of the renormalization constants. The strategy proposed here is accessible to Monte Carlo computations, and in this sense it provides a practical way to define non-perturbatively the energy-momentum tensor in QCD.


title: Transmission and navigation on disordered lattice networks, directed spanning forests and Brownian web

abstract: Stochastic networks based on random point sets as nodes have attracted considerable interest in many applications, particularly in communication networks, including wireless sensor networks, peer-to-peer networks and so on. The study of such networks generally requires the nodes to be independently and uniformly distributed as a Poisson point process. In this work, we venture beyond this standard paradigm and investigate the stochastic geometry of networks obtained from \textit{directed spanning forests} (DSF) based on randomly perturbed lattices, which have desirable statistical properties as a models of spatially dependent point fields. In the regime of low disorder, we show in 2D and 3D that the DSF almost surely consists of a single tree. In 2D, we further establish that the DSF, as a collection of paths, converges under diffusive scaling to the Brownian web.


title: One-dimensional polymers in random environments: stretching vs. folding

abstract: In this article we study a \emph{non-directed polymer model} on $\mathbb Z$, that is a one-dimensional simple random walk placed in a random environment. More precisely, the law of the random walk is modified by the exponential of the sum of "rewards" (or penalities) $\beta \omega_x -h$ sitting on the range of the random walk, where $(\omega_x)_{x\in \mathbb Z}$ are i.i.d.\ random variables (the disorder), and where $\beta\geq 0$ (disorder strength) and $h\in \mathbb{R}$ (external field) are two parameters. When $\beta=0,h>0$, this corresponds to a random walk penalized by its range; when $\beta>0, h=0$, this corresponds to the "standard" polymer model in random environment, except that it is non-directed. In this work, we allow the parameters $\beta,h$ to vary according to the length of the random walk, and we study in detail the competition between the \emph{stretching effect} of the disorder, the \emph{folding effect} of the external field (if $h\ge 0$), and the \emph{entropy cost} of atypical trajectories. We prove a complete description of the (rich) phase diagram. For instance, in the case $\beta>0, h=0$ of the non-directed polymer, if $\omega_x$ ha a finite second moment, we find a transversal fluctuation exponent $\xi=2/3$, and we identify the limiting distribution of the rescaled log-partition function.


title: The fundamental gap for a one-dimensional Schr\"odinger operator with Robin boundary conditions

abstract: For Schr\"odinger operators on an interval with either convex or symmetric single-well potentials, and Robin or Neumann boundary conditions, the gap between the two lowest eigenvalues is minimised when the potential is constant. We also have results for the $p$-Laplacian.


title: Topological classification of complex vector bundles over $8$-dimensional spin$^{c}$ manifolds

abstract: In this paper, complex vector bundles of rank $r$ over $8$-dimensional spin$^{c}$ manifolds are classified in terms of the Chern classes of the complex vector bundles and the cohomology ring of the manifolds, where $r = 3$ or $4$. As an application, we got that two rank $3$ complex vector bundles over $4$-dimensional complex projective spaces $\C P^{4}$ are isomorphic if and only if they have the same Chern classes. Moreover, the Chern classes of rank $3$ complex vector bundles over $\C P^{4}$ are determined. Combing Thomas's and Switzer's results with our work, we can assert that complex vector bundles over $\C P^{4}$ are all classified.


title: TICs 167692429 and 220397947: The first compact hierarchical triple stars discovered with TESS

abstract: We report the discovery and complex analyses of the first two compact hierarchical triple star systems discovered with TESS in or near its southern continuous viewing zone during Year 1. Both TICs 167692429 and 220397947 were previously unknown eclipsing binaries, and the presence of a third companion star was inferred from eclipse timing variations exhibiting signatures of strong 3rd-body perturbations and, in the first system, also from eclipse depth variations. We carried out comprehensive analyses, including the simultaneous photodynamical modelling of TESS and archival ground-based WASP lightcurves, as well as eclipse timing variation curves. Also, for the first time, we included in the simultaneous fits multiple star spectral energy distribution data and theoretical PARSEC stellar isochrones, taking into account Gaia DR2 parallaxes and cataloged metallicities. We find that both systems have twin F-star binaries and a lower mass tertiary star. In the TIC 167692429 system the inner binary is moderately inclined ($i_{mut}=27^o$) with respect to the outer orbit, and the binary vs. outer (triple) orbital periods are 10.3 vs. 331 days, respectively. The mutually inclined orbits cause a driven precession of the binary orbital plane which leads to the disappearance of binary eclipses for long intervals. In the case of TIC 220397947 the two orbital planes are more nearly aligned and the inner vs. outer orbital periods are 3.5 and 77 days, respectively. In the absence of radial velocity observations, we were unable to calculate highly accurate masses and ages for the two systems. According to stellar isochrones TIC 167692429 might be either a pre-main sequence or an older post-MS system. In the case of TIC 220397947 our solution prefers a young, pre-MS scenario.


title: Solution branches of nonlinear eigenvalue problems on restricted domains

abstract: We extend bifurcation results of nonlinear eigenvalue problems from real Banach spaces to any neighbourhood of a given point. For points of odd multiplicity on these restricted domains, we establish that the component of solutions through the bifurcation point either is unbounded, admits an accumulation point on the boundary, or contains an even number of odd multiplicity points. In the simple multiplicity case, we show that branches of solutions in the directions of corresponding eigenvectors satisfy similar conditions on our domains.


title: The "96 GeV excess'' at the ILC

abstract: The CMS collaboration reported an intriguing \sim 3 sigma (local) excess at 96 GeV in the light Higgs-boson search in the diphoton decay mode. This mass coincides with a \sim 2 sigma (local) excess in the bb final state at LEP. We present the interpretation of this possible signal as the lightest Higgs boson in the 2 Higgs Doublet Model with an additional real Higgs singlet (N2HDM). It is shown that the type II and type IV (flipped) of the N2HDM can perfectly accommodate both excesses simultaneously, while being in agreement with all experimental and theoretical constraints. The excesses are most easily accommodated in the type II N2HDM, which resembles the Yukawa structure of supersymmetric models. We discuss the experimental prospects for constraining our explanation at future $e^+e^-$ colliders, with concrete analyses based on the ILC prospects.


title: Higgs-Photon Production at Future $e^+e^-$ Colliders

abstract: For the search for additional Higgs bosons in the Minimal Supersymmetric Standard Model (MSSM) as well as for future precision analyses in the Higgs sector a precise knowledge of their production properties is mandatory. We review the evaluation of the cross sections for the neutral Higgs boson production in association with a photon at future $e^+e^-$ colliders in the MSSM with complex parameters (cMSSM). The evaluation is based on a full one-loop calculation of the production mechanism $e^+e^- \to h_i \gamma$ ($i = 1,2,3$). The dependence of the lightest Higgs-boson production cross sections on the relevant cMSSM parameters is analyzed numerically. We find relatively small numerical depedences of the production cross sections on the underlying parameters.


title: Performance Analysis of Load Balancing Policies with Memory

abstract: Joining the shortest or least loaded queue among $d$ randomly selected queues are two fundamental load balancing policies. Under both policies the dispatcher does not maintain any information on the queue length or load of the servers. In this paper we analyze the performance of these policies when the dispatcher has some memory available to store the ids of some of the idle servers. We consider methods where the dispatcher discovers idle servers as well as methods where idle servers inform the dispatcher about their state. We focus on large-scale systems and our analysis uses the cavity method. The main insight provided is that the performance measures obtained via the cavity method for a load balancing policy {\it with} memory reduce to the performance measures for the same policy {\it without} memory provided that the arrival rate is properly scaled. Thus, we can study the performance of load balancers with memory in the same manner as load balancers without memory. In particular this entails closed form solutions for joining the shortest or least loaded queue among $d$ randomly selected queues with memory in case of exponential job sizes. Moreover, we obtain a simple closed form expression for the (scaled) expected waiting time as the system tends towards instability. We present simulation results that support our belief that the approximation obtained by the cavity method becomes exact as the number of servers tends to infinity.


title: Spin-1/2 $XXZ$ Heisenberg cupolae: magnetization process and related enhanced magnetocaloric effect

abstract: The magnetization curves and magnetocaloric effect during the adiabatic demagnetization of antiferromagnetic spin-1/2 $XXZ$ Heisenberg clusters with the shape of Johnson's solids (triangular cupola, square cupola and pentagonal cupola) are investigated using the exact numerical diagonalization for different values of the exchange anisotropy ranging in between the Ising and fully isotropic limit. It is demonstrated that spin-1/2 $XXZ$ Heisenberg cupolae display, in comparison with their Ising counterparts, at least one more magnetization plateau. The novel magnetization plateaux extends over a wider range of the magnetic fields with increasing of a quantum part of the $XXZ$ exchange coupling at the expense of the original plateaux present in the limiting Ising case. It is shown that the spin-1/2 $XXZ$ Heisenberg triangular and pentagonal cupolae exhibit an enhanced magnetocaloric effect in the vicinity of zero magnetic field, which makes these magnetic systems promising refrigerants for cooling down to ultra-low zero temperatures.


title: Calibration of MPD Electromagnetic Calorimeter with Muons

abstract: Shashlyk-type electromagnetic calorimeter (ECal) of the Multi-Purpose Detector at heavy-ion NICA collider is optimized to provide precise spatial and energy measurements for photons and electrons in the energy range from about 40 MeV to 2-3 GeV. To deal with high multiplicity of secondary particles from Au-Au reactions, ECal has a fine segmentation and consists of 38,400 cells ("towers"). Given the big number of "towers" and the time constraint, it is not possible to calibrate every ECal "tower" with beam. In this paper, we describe the strategy of the first-order calibration of ECal with cosmic muons.


title: Raydrop : a universal droplet generator based on a non-embedded co-flow-focusing

abstract: Most commercial microfluidic droplet generators rely on the planar flow-focusing configuration implemented in polymer or glass chips. The planar geometry, however, suffers from many limitations and drawbacks, such as the need of specific coatings or the use of dedicated surfactants, depending on the fluids in play. On the contrary, and thanks to their axisymmetric geometry, glass capillary-based droplet generators are a priori not fluid-dependent. Nevertheless, they have never reached the market because their assembly requires art-dependent and not scalable fabrication techniques. Here we present a new device, called Raydrop, based on the alignment of two capillaries immersed in a pressurized chamber containing the continuous phase. The dispersed phase exits one of the capillaries through a 3D-printed nozzle, placed in front of the extraction capillary for collecting the droplets. This non-embedded implementation of an axisymmetric flow-focusing is referred to {\it co-flow-focusing}. Experimental results demonstrate the universality of the device in terms of the variety of fluids that can be emulsified, as well as the range of droplet radii that can be obtained, without neither the need of surfactant nor coating. Additionally, numerical computations of the Navier-Stokes equations based on the quasi-steadiness assumption are shown to correctly predict the droplet radius in the dripping regime and the dripping-jetting transition when varying the geometrical and fluid parameters. The monodispersity ensured by the dripping regime, the robustness of the fabrication technique, the optimization capabilities from the numerical modeling and the universality of the configuration confer to the Raydrop technology a very high potential in the race towards high-throughput droplet generation processes.


title: t-viSNE: Interactive Assessment and Interpretation of t-SNE Projections

abstract: t-Distributed Stochastic Neighbor Embedding (t-SNE) for the visualization of multidimensional data has proven to be a popular approach, with successful applications in a wide range of domains. Despite their usefulness, t-SNE projections can be hard to interpret or even misleading, which hurts the trustworthiness of the results. Understanding the details of t-SNE itself and the reasons behind specific patterns in its output may be a daunting task, especially for non-experts in dimensionality reduction. In this work, we present t-viSNE, an interactive tool for the visual exploration of t-SNE projections that enables analysts to inspect different aspects of their accuracy and meaning, such as the effects of hyper-parameters, distance and neighborhood preservation, densities and costs of specific neighborhoods, and the correlations between dimensions and visual patterns. We propose a coherent, accessible, and well-integrated collection of different views for the visualization of t-SNE projections. The applicability and usability of t-viSNE are demonstrated through hypothetical usage scenarios with real data sets. Finally, we present the results of a user study where the tool's effectiveness was evaluated. By bringing to light information that would normally be lost after running t-SNE, we hope to support analysts in using t-SNE and making its results better understandable.


title: An ASP semantics for Constraints involving Conditional Aggregates

abstract: We elaborate upon the formal foundations of hybrid Answer Set Programming (ASP) and extend its underlying logical framework with aggregate functions over constraint values and variables. This is achieved by introducing the construct of conditional expressions, which allow for considering two alternatives while evaluating constraints. Which alternative is considered is interpretation-dependent and chosen according to an associated condition. We put some emphasis on logic programs with linear constraints and show how common ASP aggregates can be regarded as particular cases of so-called conditional linear constraints. Finally, we introduce a polynomial-size, modular and faithful translation from our framework into regular (condition-free) Constraint ASP, outlining an implementation of conditional aggregates on top of existing hybrid ASP solvers.


title: A Note on Arc-Disjoint Cycles in Bipartite Tournaments

abstract: We show that for each non-negative integer k, every bipartite tournament either contains k arc-disjoint cycles or has a feedback arc set of size at most 7(k - 1).


title: R-process enrichment in ultrafaint dwarf galaxies

abstract: We study the enrichment and mixing of r-process elements in ultrafaint dwarf galaxies (UFDs). We assume that r-process elements are produced by neutron-star mergers (NSMs), and examine multiple models with different natal kick velocities and explosion energies. To this end, we perform cosmological simulations of galaxy formation to follow mixing of the dispersed r-process elements driven by star formation and the associated stellar feedback in progenitors of UFDs. We show that the observed europium abundance in Reticulum II is reproduced by our inner explosion model where a NSM is triggered at the centre of the galaxy, whereas the relatively low abundance in Tucana III is reproduced if a NSM occurs near the virial radius of the progenitor galaxy. The latter case is realised only if the neutron-star binary has a large natal kick velocity and travels over a long distance of a kilo-parsec before merger. In both the inner and outer explosion cases, it is necessary for the progenitor galaxy to sustain prolonged star formation over a few hundred million years after the NSM, so that the dispersed r-process elements are well mixed within the inter-stellar medium. Short-duration star formation results in inefficient mixing, and then a large variation is imprinted in the stellar europium abundances, which is inconsistent with the observations of Reticulum II and Tucana III.


title: On the Ambiguity of Rank-Based Evaluation of Entity Alignment or Link Prediction Methods

abstract: In this work, we take a closer look at the evaluation of two families of methods for enriching information from knowledge graphs: Link Prediction and Entity Alignment. In the current experimental setting, multiple different scores are employed to assess different aspects of model performance. We analyze the informativeness of these evaluation measures and identify several shortcomings. In particular, we demonstrate that all existing scores can hardly be used to compare results across different datasets. Moreover, we demonstrate that varying size of the test size automatically has impact on the performance of the same model based on commonly used metrics for the Entity Alignment task. We show that this leads to various problems in the interpretation of results, which may support misleading conclusions. Therefore, we propose adjustments to the evaluation and demonstrate empirically how this supports a fair, comparable, and interpretable assessment of model performance. Our code is available at https://github.com/mberr/rank-based-evaluation.


title: Adaptive local minimax Galerkin methods for variational problems

abstract: In many applications of practical interest, solutions of partial differential equation models arise as critical points of an underlying (energy) functional. If such solutions are saddle points, rather than being maxima or minima, then the theoretical framework is non-standard, and the development of suitable numerical approximation procedures turns out to be highly challenging. In this paper, our aim is to present an iterative discretization methodology for the numerical solution of nonlinear variational problems with multiple (saddle point) solutions. In contrast to traditional numerical approximation schemes, which typically fail in such situations, the key idea of the current work is to employ a simultaneous interplay of a previously developed local minimax approach and adaptive Galerkin discretizations. We thereby derive an adaptive local minimax Galerkin (LMMG) method, which combines the search for saddle point solutions and their approximation in finite-dimensional spaces in a highly effective way. Under certain assumptions, we will prove that the generated sequence of approximate solutions converges to the solution set of the variational problem. This general framework will be applied to the specific context of finite element discretizations of (singularly perturbed) semilinear elliptic boundary value problems, and a series of numerical experiments will be presented.


title: Implementing Dynamic Answer Set Programming

abstract: We introduce an implementation of an extension of Answer Set Programming (ASP) with language constructs from dynamic (and temporal) logic that provides an expressive computational framework for modeling dynamic applications. Starting from logical foundations, provided by dynamic and temporal equilibrium logics over finite linear traces, we develop a translation of dynamic formulas into temporal logic programs. This provides us with a normal form result establishing the strong equivalence of formulas in different logics. Our translation relies on the introduction of auxiliary atoms to guarantee polynomial space complexity and to provide an embedding that is doomed to be impossible over the same language. Finally, the reduction of dynamic formulas to temporal logic programs allows us to extend ASP with both approaches in a uniform way and to implement both extensions via temporal ASP solvers such as telingo


title: Modelling and simulations of supernova remnants: a short review focused on recent progress in morphological studies

abstract: Supernova remnants (SNRs) are the outcome of supernovae (SNe, either core-collapse or thermonuclear). The remnant results from the interaction between the stellar ejecta and the ambient medium around the progenitor star. Young SNRs are characterized by strong shocks that heat and ionize the gas, generate magneto-hydrodynamic turbulence, and accelerate particles to relativistic energies. They radiate at all wavelengths, especially in the X-ray domain, where spectro-imaging observations can provide a wealth of information. This paper presents recent progress in the modelling of SNRs, particularly by the means of numerical simulations, and with a focus on three-dimensional aspects. In the first part we will consider SNRs as producers of cosmic rays (CRs). If SNRs are accelerators efficient enough to power the Galactic component of CRs, this must have a visible impact on their dynamics, and therefore on the thermal emission from the plasma, as well as on their non-thermal emission. In the second part we will consider SNRs as probes of the explosion mechanism. The time has come to connect multi-dimensional simulations of SNe and simulations of SNRs, opening the possibility to study the explosion mechanism via the dynamics and morphology of SNRs.


title: Can we constrain the extragalactic magnetic field from very high energy observations of GRB 190114C?

abstract: Primary very high energy $\gamma$-rays from $\gamma$-ray bursts (GRBs) are partially absorbed on extragalactic background light (EBL) photons with subsequent formation of intergalactic electromagnetic cascades. Characteristics of the observable cascade $\gamma$-ray signal are sensitive to the strength and structure of the extragalactic magnetic field (EGMF). GRB 190114C was recently detected with the MAGIC imaging atmospheric Cherenkov telescopes, for the first time allowing to estimate the observable cascade intensity. We inquire whether any constraints on the EGMF strength and structure could be obtained from publicly-available $\gamma$-ray data on GRB 190114C. We present detailed calculations of the observable cascade signal for various EGMF configurations. We show that the sensitivity of the Fermi-LAT space $\gamma$-ray telescope is not sufficient to obtain such constraints on the EGMF parameters. However, next-generation space $\gamma$-ray observatories such as MAST would be able to detect pair echoes from GRBs similar to GRB 190114C for the EGMF strength below 10^{-17}--10^{-18} G.


title: Influence of electron cooling on the polarization lifetime of a horizontally polarized storage ring beam

abstract: A previous publication has shown that the in-plane polarization (IPP) component of a polarized 0.97-GeV/c deuteron beam in the COSY storage ring may acquire a polarization half-life in excess of 1000 s through a combination of beam bunching, electron cooling (prior to any spin manipulation), sextupole field adjustment, and a limitation of the beam intensity. This paper documents further tests pointing to additional gains in the IPP lifetime if cooling is active throughout the beam store.


title: Semantics of negative sequential patterns

abstract: In the field of pattern mining, a negative sequential pattern is specified by means of a sequence consisting of events to occur and of other events, called negative events, to be absent. For instance, containment of the pattern $\langle a\ \neg b\ c\rangle$ arises with an occurrence of a and a subsequent occurrence of c but no occurrence of b in between. This article is to shed light on the ambiguity of such a seemingly intuitive notation and we identify eight possible semantics for the containment relation between a pattern and a sequence. These semantics are illustrated and formally studied, in particular we propose dominance and equivalence relations between them. Also we prove that support is anti-monotonic for some of these semantics. Some of the results are discussed with the aim of developing algorithms to extract efficiently frequent negative patterns.


title: Secure BB84-type quantum key distribution with simple phase error formula

abstract: BB84-based quantum key distribution system is limited in high speed and chip integration due to the requirement of four states preparation and measurement. Recently, the simplified BB84 protocol with only three states preparation and measurement has showed the approximate secret key rate with standard BB84. However, the security proof is only valid under the collective attack and requires the basis-independent detection efficiency condition. Here, we provide a security proof against the coherent attack, which simultaneously removes the basis-independent detection efficiency condition. Importantly, the phase error rate formula is quite simple through a subtle observation. We expect that the simplified BB84 protocol with decoy-state method can be widely implemented in reality.


title: Versatile video coding and super-resolution for efficient delivery of 8K video with 4K backward-compatibility

abstract: In this paper, we propose, through an objective study, to compare and evaluate the performance of different coding approaches allowing the delivery of an 8K video signal with 4K backward-compatibility on broadcast networks. Presented approaches include simulcast of 8K and 4K single-layer signals encoded using High-Efficiency Video Coding (HEVC) and Versatile Video Coding (VVC) standards, spatial scalability using SHVC with 4K base layer (BL) and 8K enhancement-layer (EL), and super-resolution applied on 4K VVC signal after decoding to reach 8K resolution. For up-scaling, we selected the deep-learning-based super-resolution method called Super-Resolution with Feedback Network (SRFBN) and the Lanczos interpolation filter. We show that the deep-learning-based approach achieves visual quality gain over simulcast, especially on bit-rates lower than 30Mb/s with average gain of 0.77dB, 0.015, and 7.97 for PSNR, SSIM, and VMAF, respectively and out-performs the Lanczos filter in average by 29% of BD-rate savings.


title: Serial Speakers: a Dataset of TV Series

abstract: For over a decade, TV series have been drawing increasing interest, both from the audience and from various academic fields. But while most viewers are hooked on the continuous plots of TV serials, the few annotated datasets available to researchers focus on standalone episodes of classical TV series. We aim at filling this gap by providing the multimedia/speech processing communities with Serial Speakers, an annotated dataset of 161 episodes from three popular American TV serials: Breaking Bad, Game of Thrones and House of Cards. Serial Speakers is suitable both for investigating multimedia retrieval in realistic use case scenarios, and for addressing lower level speech related tasks in especially challenging conditions. We publicly release annotations for every speech turn (boundaries, speaker) and scene boundary, along with annotations for shot boundaries, recurring shots, and interacting speakers in a subset of episodes. Because of copyright restrictions, the textual content of the speech turns is encrypted in the public version of the dataset, but we provide the users with a simple online tool to recover the plain text from their own subtitle files.


title: New constraints on the magnetization of the cosmic web using LOFAR Faraday rotation observations

abstract: Measuring the properties of extragalactic magnetic fields through the effect of Faraday rotation provides a means to understand the origin and evolution of cosmic magnetism. Here we use data from the LOFAR Two-Metre Sky Survey (LoTSS) to calculate the Faraday rotation measure (RM) of close pairs of extragalactic radio sources. By considering the RM difference ($\Delta$RM) between physical pairs (e.g. double-lobed radio galaxies) and non-physical pairs (i.e. close projected sources on the sky), we statistically isolate the contribution of extragalactic magnetic fields to $\Delta$RM along the line of sight between non-physical pairs. From our analysis, we find no significant difference between the $\Delta$RM distributions of the physical and non-physical pairs, limiting the excess Faraday rotation contribution to $< 1.9$ rad/m$^2$ ($\sim$$95\%$ confidence). We use this limit with a simple model of an inhomogeneous universe to place an upper limit of 4 nG on the cosmological co-moving magnetic field strength on Mpc scales. We also compare the RM data with a more realistic suite of cosmological MHD simulations, that explore different magnetogenesis scenarios. Both magnetization of the large scale structure by astrophysical processes such as galactic and AGN outflows, and simple primordial scenarios with seed magnetic field strengths $< 0.5$ nG cannot be rejected by the current data; while stronger primordial fields or models with dynamo amplification in filaments are disfavoured.


title: SMM J04135+10277: A distant QSO-starburst system caught by ALMA

abstract: The gas content of galaxies is a key factor for their growth, starting from star formation and black hole accretion to galaxy mergers. Thus, characterising its properties via observations of tracers like the CO emission line is of big importance in order to understand the bigger picture of galaxy evolution. We present Atacama Large Millimeter/submillimeter Array (ALMA) observations of dust continuum, CO(5-4) and CO(8-7) line emission in the quasar--star-forming companion system SMM J04135+10277 (z=2.84). Earlier low-$J$ CO studies of this system found a huge molecular gas reservoir associated to the companion galaxy, while the quasar appeared gas-poor. Our CO observations revealed that the host galaxy of the quasar is also gas-rich, with an estimated molecular gas mass of $\sim(0.7-2.3)\times10^{10}$ M$_{\odot}$. The CO line profiles of the companion galaxy are broad ($\sim1000$ km s$^{-1}$), and show signs of rotation of a compact, massive system. In contrast to previous far-infrared observations, we resolve the continuum emission and detect both sources, with the companion galaxy dominating the dust continuum and the quasar having a $\sim25\%$ contribution to the total dust emission. By fitting the infrared spectral energy distribution of the sources with \textsc{MR-MOOSE} and empirical templates, the infrared luminosities of the quasar and the companion are in the range of $L_{\rm IR, QSO}\sim(2.1-9.6)\times10^{12}$ L$_{\odot}$ and $L_{\rm IR, Comp.}\sim(2.4-24)\times10^{12}$ L$_{\odot}$, while the estimated star formation rates are $\sim210-960$ M$_{\odot}$ yr$^{-1}$ and $\sim240-2400$ M$_{\odot}$ yr$^{-1}$, respectively. Our results demonstrate that non-detection of low-$J$ CO transition lines in similar sources does not necessarily imply the absence of massive molecular gas reservoir but that the excitation conditions favour the excitation of high-$J$ transitions.


title: Virus spread and voter model on random graphs with multiple type nodes

abstract: When modelling epidemics or spread of information on online social networks, it is crucial to include not just the density of the connections through which infections can be transmitted, but also the variability of susceptibility. Different people have different chance to be infected by a disease (due to age or general health conditions), or, in case of opinions, ones are easier to be convinced by others, or stronger at sharing their opinions. The goal of this work is to examine the effect of multiple types of nodes on various random graphs such as Erd\H{o}s--R\'enyi random graphs, preferential attachment random graphs and geometric random graphs. We used two models for the dynamics: SEIR model with vaccination and a version of voter model for exchanging opinions. In the first case, among others, various vaccination strategies are compared to each other, while in the second case we studied sevaral initial configurations to find the key positions where the most effective nodes should be placed to disseminate opinions.


title: Patient-Specific Finetuning of Deep Learning Models for Adaptive Radiotherapy in Prostate CT

abstract: Contouring of the target volume and Organs-At-Risk (OARs) is a crucial step in radiotherapy treatment planning. In an adaptive radiotherapy setting, updated contours need to be generated based on daily imaging. In this work, we leverage personalized anatomical knowledge accumulated over the treatment sessions, to improve the segmentation accuracy of a pre-trained Convolution Neural Network (CNN), for a specific patient. We investigate a transfer learning approach, fine-tuning the baseline CNN model to a specific patient, based on imaging acquired in earlier treatment fractions. The baseline CNN model is trained on a prostate CT dataset from one hospital of 379 patients. This model is then fine-tuned and tested on an independent dataset of another hospital of 18 patients, each having 7 to 10 daily CT scans. For the prostate, seminal vesicles, bladder and rectum, the model fine-tuned on each specific patient achieved a Mean Surface Distance (MSD) of $1.64 \pm 0.43$ mm, $2.38 \pm 2.76$ mm, $2.30 \pm 0.96$ mm, and $1.24 \pm 0.89$ mm, respectively, which was significantly better than the baseline model. The proposed personalized model adaptation is therefore very promising for clinical implementation in the context of adaptive radiotherapy of prostate cancer.


title: Enhancing Video Streaming in Vehicular Networks via Resource Slicing

abstract: Vehicle-to-everything (V2X) communication is a key enabler that connects vehicles to neighboring vehicles, infrastructure and pedestrians. In the past few years, multimedia services have seen an enormous growth and it is expected to increase as more devices will utilize infotainment services in the future i.e. vehicular devices. Therefore, it is important to focus on user centric measures i.e. quality-of-experience (QoE) such as video quality (resolution) and fluctuations therein. In this paper, a novel joint video quality selection and resource allocation technique is proposed for increasing the QoE of vehicular devices. The proposed approach exploits the queuing dynamics and channel states of vehicular devices, to maximize the QoE while ensuring seamless video playback at the end users with high probability. The network wide QoE maximization problem is decoupled into two subparts. First, a network slicing based clustering algorithm is applied to partition the vehicles into multiple logical networks. Secondly, vehicle scheduling and quality selection is formulated as a stochastic optimization problem which is solved using the Lyapunov drift plus penalty method. Numerical results show that the proposed algorithm ensures high video quality experience compared to the baseline. Simulation results also show that the proposed technique achieves low latency and high-reliability communication.


title: Learning the energy curvature versus particle number in approximate density functionals

abstract: The average energy curvature as a function of the particle number is a molecule-specific quantity, which measures the deviation of a given functional from the exact conditions of density functional theory (DFT). Related to the lack of derivative discontinuity in approximate exchange-correlation potentials, the information about the curvature has been successfully used to restore the physical meaning of Kohn-Sham orbital eigenvalues and to develop non-empirical tuning and correction schemes for density functional approximations. In this work, we propose the construction of a machine-learning framework targeting the average energy curvature between the neutral and the radical cation state of thousands of small organic molecules (QM7 database). The applicability of the model is demonstrated in the context of system-specific gamma-tuning of the LC-$\omega$PBE functional and validated against the molecular first ionization potentials at equation-of-motion (EOM) coupled-cluster references. In addition, we propose a local version of the non-linear regression model and demonstrate its transferability and predictive power by determining the optimal range-separation parameter for two large molecules relevant to the field of hole-transporting materials. Finally, we explore the underlying structure of the QM7 database with the t-SNE dimensionality-reduction algorithm and identify structural and compositional patterns that promote the deviation from the piecewise linearity condition.


title: The gamma-positivity of Eulerian polynomials and succession statistics

abstract: This paper is concerned with multivariate refinements of the gamma-positivity of Eulerian polynomials by using the succession and fixed point statistics. Properties of the enumerative polynomials for permutations, signed permutations and derangements, including generating functions and gamma-positivity are studied, which generalize and unify earlier results of Athanasiadis, Brenti, Chow, Petersen, Roselle, Stembridge, Shin and Zeng. In particular, we derive a formula expressing the joint distribution of excedance number and negative number statistics over the type B derangements in terms of the derangement polynomials.


title: Common origin of the strong CP and CKM phases in string compactifications

abstract: We explore the scenario where both the strong CP and Cabbibo-Kobayashi-Maskawa (CKM) phases are determined by the same axion field. Such a scenario is naturally realized in string compactifications. We find that there exists parameter region to realize the tiny strong CP phase and observed CKM phase in magnetized D-brane models.


title: Charge Transfer Through Redox Molecular Junctions in Non-Equilibrated Solvents

abstract: Molecular conduction operating in dielectric solvent environments are often described using kinetic rates based on Marcus theory of electron transfer at a molecule-metal electrode interface. However, the successive nature of charge transfer in such system implies that the solvent does not necessarily reach equilibrium in such process. Here we generalize the theory to account for solvent nonequilibrium and consider a molecular junction consisting of an electronic donor-acceptor system coupled to two metallic electrodes and placed in a polarizable solvent. We determine the nonequilbrium distribution of the solvent by solving diffusion equations in the strong- and weak-friction limits and calculate the charge current and its fluctuating behavior. In extreme limits: the absence of the solvent or fast solvent relaxation, the charge transfer statistics is Poissonian, while it becomes correlated by the dynamic solvent in between these limits. A Kramers-like turnover of the nonequilibrium current as a function of the solvent damping is found. Finally, we propose a way to tune the solvent-induced damping using geometrical control of the solvent dielectric response in nanostructured solvent channels.


title: Fundamental Theorems of Morse Theory on posets

abstract: We prove a version of the fundamental theorems of Morse Theory in the setting of finite spaces or partially ordered sets. By using these results we extend Forman's discrete Morse theory to more general cell complexes and derive the Morse-Pitcher inequalities in the context of finite spaces.


title: Resolvent conditions and growth of powers of operators on $L^p$ spaces

abstract: Let $T$ be a bounded linear operator on $L^p$. We study the rate of growth of the norms of the powers of $T$ under resolvent conditions or Ces\`aro boundedness assumptions. Actually the relevant properties of $L^p$ spaces in our study are their type and cotype, and for $1<p<\infty$, the fact that they are UMD. Some of the proofs make use of Fourier multipliers on Banach spaces, which explains why UMD spaces come into play.


title: Relativistic short-range exchange energy functionals beyond the local-density approximation

abstract: We develop relativistic short-range exchange energy functionals for four-component relativistic range-separated density-functional theory using a Dirac-Coulomb Hamiltonian in the no-pair approximation. We show how to improve the short-range local-density approximation exchange functional for large range-separation parameters by using the on-top exchange pair density as a new variable. We also develop a relativistic short-range generalized-gradient approximation exchange functional which further increases the accuracy for small range-separation parameters. Tests on the helium, beryllium, neon, and argon isoelectronic series up to high nuclear charges show that this latter functional gives exchange energies with a maximal relative percentage error of 3 %. The development of this exchange functional represents a step forward for the application of four-component relativistic range-separated density-functional theory to chemical compounds with heavy elements.


title: Entropy controlled fully reversible nanostructure formation of Ge on miscut vicinal Si (001) surfaces

abstract: Entropy effects substantially modify the growth of self-assembled Ge nanostructures on vicinal Si (001) surfaces. As shown by variable temperature scanning tunneling microscopy, this leads to new types of one dimensional nanostructures that are not only tunable in size and shape but can be fully reversible erased and reformed without changes in final sizes and shapes. This unique behavior is caused by the free surface energy renormalization caused by the large step entropy of vicinal surfaces. In thermodynamic equilibrium, this favors the formation of a planar 2D surface at higher temperatures, where-as the nanostructured surface is the preferred low-temperature configuration. Taking the step entropy into account, the critical phase transition temperature is derived by free energy calculations and is shown to scale nearly linearly with the Ge coverage, in excellent agreement with the experiments. Due to self-limitation, the nanowire size is solely controlled by the Ge coverage and vicinal angle, completely independent of the growth or an-nealing conditions. Thus, highly reproducible nanostructures with tunable geometries are obtained. This opens new avenues for controlled nanostructure formation for practical de-vice applications.


title: A Dark Matter Interpretation of Excesses in Multiple Direct Detection Experiments

abstract: We present a novel unifying interpretation of excess event rates observed in several dark matter direct-detection experiments that utilize single-electron threshold semiconductor detectors. Despite their different locations, exposures, readout techniques, detector composition, and operating depths, these experiments all observe statistically significant excess event rates of $\sim$ 10 Hz/kg. However, none of these persistent excesses has yet been reported as a dark matter signal because individually, each can be attributed to different well-motivated but unmodeled backgrounds, and taken together, they cannot be explained by dark matter particles scattering elastically off detector nuclei or electrons. We show that these results can be reconciled if the semiconductor detectors are seeing a collective inelastic process, consistent with exciting a plasmon. We further show that plasmon excitation could arise in two compelling dark matter scenarios, both of which can explain rates of existing signal excesses in germanium and, at least at the order of magnitude level, across several single-electron threshold detectors. At least one of these scenarios also yields the correct relic density from thermal freeze-out. Both dark matter scenarios motivate a radical rethinking of the standard interpretations of dark matter-electron scattering from recent experiments.

categories: hep-ph astro-ph.CO cond-mat.mtrl-sci hep-ex physics.ins-det


title: A New Methodology for Information Security Risk Assessment for Medical Devices and Its Evaluation

abstract: As technology advances towards more connected and digital environments, medical devices are becoming increasingly connected to hospital networks and to the Internet, which exposes them, and thus the patients using them, to new cybersecurity threats. Currently, there is a lack of a methodology dedicated to information security risk assessment for medical devices. In this study, we present the Threat identification, ontology-based Likelihood, severity Decomposition, and Risk integration (TLDR) methodology for information security risk assessment for medical devices. The TLDR methodology uses the following steps: (1) identifying the potentially vulnerable components of medical devices, in this case, four different medical imaging devices (MIDs); (2) identifying the potential attacks, in this case, 23 potential attacks on MIDs; (3) mapping the discovered attacks into a known attack ontology - in this case, the Common Attack Pattern Enumeration and Classifications (CAPECs); (4) estimating the likelihood of the mapped CAPECs in the medical domain with the assistance of a panel of senior healthcare Information Security Experts (ISEs); (5) computing the CAPEC-based likelihood estimates of each attack; (6) decomposing each attack into several severity aspects and assigning them weights; (7) assessing the magnitude of the impact of each of the severity aspects for each attack with the assistance of a panel of senior Medical Experts (MEs); (8) computing the composite severity assessments for each attack; and finally, (9) integrating the likelihood and severity of each attack into its risk, and thus prioritizing it. The details of steps six to eight are beyond the scope of the current study; in the current study, we had replaced them by a single step that included asking the panel of MEs [in this case, radiologists], to assess the overall severity for each attack and use it as its severity...


title: Empirical Line Lists in the ExoMol Database

abstract: The ExoMol database aims to provide comprehensive molecular line lists for exoplanetary and other hot atmospheres. The data are expanded by inclusion of empirically derived line lists taken from the literature for a series of diatomic molecules, namely CH, NH, OH, AlCl, AlF, OH$^+$, CaF, MgF, KF, NaF, LiCl, LiF, MgH, TiH, CrH, FeH, C$_2$, CP, CN, CaH, and triplet N$_2$. Generally, these line lists are constructed from measured spectra using a combination of effective rotational Hamiltonian models for the line positions and ab initio (transition) dipole moments to provide intensities. This work results in the inclusion of 22 new molecules (36 new isotopologues) in the ExoMol database.


title: Very special algebraic groups

abstract: We say that a smooth algebraic group $G$ over a field $k$ is very special if for any field extension $K/k$, every $G_K$-homogeneous $K$-variety has a $K$-rational point. It is known that every split solvable linear algebraic group is very special. In this note, we show that the converse holds, and discuss its relationship with the birational classification of algebraic group actions.


title: Operation of a double-sided CMOS pixelated detector at a high intensity $e^+e^-$ particle collider

abstract: This article reports the first operation of a double-sided CMOS pixelated ladder in a collider experiment, namely in the inner tracker volume of the Belle II experiment during the Phase 2 run of the SuperKEKB collider. Design and integration of the detector system in the experiment interaction region is first described. The two modules operated almost continuously during slightly more than four months, recording data for the monitoring of the hit rate close to beams. Details of the off-line data analysis are provided and a method to estimate particle momentum from the 2 hits measured per crossing particle is proposed.


title: Pseudo-critical behavior of spin-1/2 Ising diamond and tetrahedral chains

abstract: A few paradigmatic one-dimensional lattice-statistical spin models have recently attracted a vigorous scientific interest owing to their peculiar thermodynamic behavior, which is highly reminiscent of a temperature-driven phase transition. The pseudotransitions of one-dimensional lattice-statistical spin models differ from actual phase transitions in several important aspects: the first-order derivatives of the Gibbs free energy such as entropy or magnetization exhibit near a pseudo-transition an abrupt continuous change instead of a true discontinuity, whereas the second-order derivatives of the Gibbs free energy such as specific heat or susceptibility display near a pseudo-transition a vigorous finite peak instead of an actual power-law divergence. In the present chapter we will comprehensively examine a pseudo-critical behavior of the spin-1/2 Ising diamond and tetrahedral chains by a detailed examination of basic magnetothermodynamic quantities such as the entropy, specific heat and susceptibility. It will be demonstrated that density plots of these magnetothermodynamic quantities provide a useful tool for establishing a finite-temperature diagram, which clearly delimits boundaries between individual quasi-phases in spite of a lack of true spontaneous long-range order at any nonzero temperature. It is suggested that a substantial difference between the degeneracies of two ground states of the spin-1/2 Ising diamond and tetrahedral chains is an essential prerequisite for observation of a relevant pseudo-critical behavior in a close vicinity of their ground-state phase boundary.


title: Reduced Density Matrix Functional Theory for Bosons

abstract: Based on a generalization of Hohenberg-Kohn's theorem, we propose a ground state theory for bosonic quantum systems. Since it involves the one-particle reduced density matrix $\gamma$ as a natural variable but still recovers quantum correlations in an exact way it is particularly well-suited for the accurate description of Bose-Einstein condensates. As a proof of principle we study the building block of optical lattices. The solution of the underlying $v$-representability problem is found and its peculiar form identifies the constrained search formalism as the ideal starting point for constructing accurate functional approximations: The exact functionals for this $N$-boson Hubbard dimer and general Bogoliubov-approximated systems are determined. The respective gradient forces are found to diverge in the regime of Bose-Einstein condensation, $\nabla_{\gamma} \mathcal{F} \propto 1/\sqrt{1-N_{\mathrm{BEC}}/N}$, providing a natural explanation for the absence of complete BEC in nature.


title: Stably Calabi-Yau properties of derivation quotient algebras

abstract: The aim of this paper is to study bimodule stably Calabi-Yau properties of derivation quotient algebras. We give the definition of a twisted stably Calabi-Yau algebra and show that every twisted derivation quotient algebra $A$ for which the associated bimodule complex gives the beginning of a bimodule resolution for $A$ is bimodule stably twisted Calabi-Yau. In this setting we give a new interpretation of some results by Yu [Yu12], implying that $A$ is almost Koszul of periodic type. Using the characterization of higher preprojective algebras given by Amiot and Oppermann in [AO14], we prove that finite dimensional bigraded derivation quotient algebras with homogeneous potential and exact associated complex are higher preprojective algebras of their degree-zero subalgebra, which is Koszul and $(d-1)$-representation finite.


title: Deep Learning for Massive MIMO Channel State Acquisition and Feedback

abstract: Massive multiple-input multiple-output (MIMO) systems are a main enabler of the excessive throughput requirements in 5G and future generation wireless networks as they can serve many users simultaneously with high spectral and energy efficiency. To achieve this, massive MIMO systems require accurate and timely channel state information (CSI), which is acquired by a training process that involves pilot transmission, CSI estimation and feedback. This training process incurs a training overhead, which scales with the number of antennas, users and subcarriers. Reducing this training overhead in massive MIMO systems has been a major topic of research since the emergence of the concept. Recently, deep learning (DL)-based approaches for massive MIMO training have been proposed and showed significant improvements compared to traditional techniques. This paper provides an overview of how neural networks (NNs) can be used in the training process of massive MIMO systems to improve the performance by reducing the CSI acquisition overhead and to reduce complexity.


title: Adaptive Experience Selection for Policy Gradient

abstract: Policy gradient reinforcement learning (RL) algorithms have achieved impressive performance in challenging learning tasks such as continuous control, but suffer from high sample complexity. Experience replay is a commonly used approach to improve sample efficiency, but gradient estimators using past trajectories typically have high variance. Existing sampling strategies for experience replay like uniform sampling or prioritised experience replay do not explicitly try to control the variance of the gradient estimates. In this paper, we propose an online learning algorithm, adaptive experience selection (AES), to adaptively learn an experience sampling distribution that explicitly minimises this variance. Using a regret minimisation approach, AES iteratively updates the experience sampling distribution to match the performance of a competitor distribution assumed to have optimal variance. Sample non-stationarity is addressed by proposing a dynamic (i.e. time changing) competitor distribution for which a closed-form solution is proposed. We demonstrate that AES is a low-regret algorithm with reasonable sample complexity. Empirically, AES has been implemented for deep deterministic policy gradient and soft actor critic algorithms, and tested on 8 continuous control tasks from the OpenAI Gym library. Ours results show that AES leads to significantly improved performance compared to currently available experience sampling strategies for policy gradient.


title: Efficiently stabbing convex polygons and variants of the Hadwiger-Debrunner $(p, q)$-theorem

abstract: Hadwiger and Debrunner showed that for families of convex sets in $\mathbb{R}^d$ with the property that among any $p$ of them some $q$ have a common point, the whole family can be stabbed with $p-q+1$ points if $p \geq q \geq d+1$ and $(d-1)p < d(q-1)$. This generalizes a classical result by Helly. We show how such a stabbing set can be computed for a family of convex polygons in the plane with a total of $n$ vertices in $O((p-q+1)n^{4/3}\log^{8} n(\log\log n)^{1/3} + np^2)$ expected time. For polyhedra in $\mathbb{R}^3$, we get an algorithm running in $O((p-q+1)n^{5/2}\log^{10} n(\log\log n)^{1/6} + np^3)$ expected time. We also investigate other conditions on convex polygons for which our algorithm can find a fixed number of points stabbing them. Finally, we show that analogous results of the Hadwiger and Debrunner $(p,q)$-theorem hold in other settings, such as convex sets in $\mathbb{R}^d\times\mathbb{Z}^k$ or abstract convex geometries.


title: Finding All Global Minimum Cuts In Practice

abstract: We present a practically efficient algorithm that finds all global minimum cuts in huge undirected graphs. Our algorithm uses a multitude of kernelization rules to reduce the graph to a small equivalent instance and then finds all minimum cuts using an optimized version of the algorithm of Nagamochi, Nakao and Ibaraki. In shared memory we are able to find all minimum cuts of graphs with up to billions of edges and millions of minimum cuts in a few minutes. We also give a new linear time algorithm to find the most balanced minimum cuts given as input the representation of all minimum cuts.


title: Bar codes of persistent cohomology and Arrhenius law for p-forms

abstract: This article shows that counting or computing the small eigenvalues of the Witten Laplacian in the semi-classical limit can be done without assuming that the potential is a Morse function as the authors did in [LNV]. In connection with persistent cohomology, we prove that the rescaled logarithms of these small eigenvalues are asymptotically determined by the lengths of the bar code of the function f. In particular, this proves that these quantities are stable in the C 0 topology on the space of functions. Additionally, our analysis provides a general method for computing the subexponential corrections in a large number of cases.

categories: math.AP math-ph math.AT math.DG math.MP math.PR


title: Motile dissenters disrupt the flocking of active granular matter

abstract: We report flocking in the dry active granular matter of millimeter-sized two-step-tapered rods without an intervening medium. The system undergoes the flocking phase transition at a threshold area fraction ~ 0.12 having high orientational correlations between the particles. However, the one-step-tapered rods do not flock and are used as the motile dissenters in the flock-forming granular matter. At the critical fraction of dissenters ~ 0.3, the flocking order of the system gets completely destroyed. The variance of the system's order parameter shows a maximum near the dissenter fraction f ~ 0.05, suggesting a finite-size crossover between the ordered and disordered phases.


title: Elliptical Instability and Multi-Roll Flow Modes of the Large-scale Circulation in Confined Turbulent Rayleigh-B\'enard Convection

abstract: Turbulent Rayleigh-B\'enard convection in slender cylindrical cells exhibits rich dynamics of the large-scale circulation (LSC), with several rolls stacked on top of each other. We propose that the elliptical instability is the mechanism which causes the twisting and breaking of the LSC into multiple rolls and that the volume-averaged heat and momentum transport, represented by the Nusselt number and Reynolds number, is generally weaker for larger number $n$ of the LSC rolls. This is supported by direct numerical simulations for $Ra=5\times10^5$, $Pr=0.1$, $H=5D$ and $1\leq~n\leq4$.


title: Closed-loop Equilibrium for Time-Inconsistent McKean-Vlasov Controlled Problem

abstract: The paper deals with a class of time-inconsistent control problems for McKean-Vlasov dynamics. By solving a backward time-inconsistent Hamilton-Jacobi-Bellman (HJB for short) equation coupled with a forward distribution-dependent stochastic differential equation, we investigate the existence and uniqueness of a closed-loop equilibrium for such time-inconsistent distribution-dependent control problem. Moreover, a special case of semi-linear McKean-Vlasov dynamics with a quadratic-type cost functional is considered due to its special structure.


title: Isomorphism for Random $k$-Uniform Hypergraphs

abstract: We study the isomorphism problem for random hypergraphs. We show that it is solvable in polynomial time for the binomial random $k$-uniform hypergraph $H_{n,p;k}$, for a wide range of $p$. We also show that it is solvable w.h.p. for random $r$-regular, $k$-uniform hypergraphs $H_{n,r;k},r=O(1)$.


title: Derivation of Gauge Symmetries in Supergravity with a Cosmological Constant in 2 + 1 Dimensions

abstract: The canonical structure of supergravity with a cosmological constant is analyzed in 2 + 1 dimensions using the Dirac constraint formalism. The first class constraints are used to find two Bosonic and one Fermionic gauge symmetries that satisfy a superalgebra. Provided the cosmological constant is negative, this novel algebra closes, without having to invoke the equations of motion or introducing auxiliary fields.


title: Microfluidics platform for polymorph screening directly from powder

abstract: We describe a microfluidic platform for solid phase screening using extremely small quantities of raw materials. Based on our previous setup for solubility measurement that generates saturated solutions directly from powder, the platform requires no solution in excess of that used for the droplet-crystallization experiment. The setup is compatible with most solvents and molecules without using surfactant. Using this microfluidic platform, we first measured the solubility of Sulfathiazole in water, isopropanol, and acetonitrile. Second, we performed a polymorph screening of Sulfathiazole using as little as 30 mg of raw material, for numerous identical cooling crystallization experiments from 80 to 10{\textdegree}C. In the experiments presented, we obtained the 3 usual polymorphs of Sulfathiazole. We show that this economical approach yields reliable information on the probability of nucleation of a given polymorph, useful in pharmaceutical development.


title: Asymptotic properties of Dirichlet kernel density estimators

abstract: We study theoretically, for the first time, the Dirichlet kernel estimator introduced by Aitchison and Lauder (1985) for the estimation of multivariate densities supported on the $d$-dimensional simplex. The simplex is an important case as it is the natural domain of compositional data and has been neglected in the literature on asymmetric kernels. The Dirichlet kernel estimator, which generalizes the (non-modified) unidimensional Beta kernel estimator from Chen (1999), is free of boundary bias and non-negative everywhere on the simplex. We show that it achieves the optimal convergence rate $O(n^{-4/(d+4)})$ for the mean squared error and the mean integrated squared error, we prove its asymptotic normality and uniform strong consistency, and we also find an asymptotic expression for the mean integrated absolute error. To illustrate the Dirichlet kernel method and its favorable boundary properties, we present a case study on minerals processing.


title: A Fast Counting Method for 6-motifs with Low Connectivity

abstract: A $k$-motif (or graphlet) is a subgraph on $k$ nodes in a graph or network. Counting of motifs in complex networks has been a well-studied problem in network analysis of various real-word graphs arising from the study of social networks and bioinformatics. In particular, the triangle counting problem has received much attention due to its significance in understanding the behavior of social networks. Similarly, subgraphs with more than 3 nodes have received much attention recently. While there have been successful methods developed on this problem, most of the existing algorithms are not scalable to large networks with millions of nodes and edges. The main contribution of this paper is a preliminary study that genaralizes the exact counting algorithm provided by Pinar, Seshadhri and Vishal to a collection of 6-motifs. This method uses the counts of motifs with smaller size to obtain the counts of 6-motifs with low connecivity, that is, containing a cut-vertex or a cut-edge. Therefore, it circumvents the combinatorial explosion that naturally arises when counting subgraphs in large networks.


title: The Transient Case of The Quenched Trap Model

abstract: In this work the diffusion in the quenched trap model with diverging mean waiting times is examined. The approach of randomly stopped time is extensively applied in order to obtain asymptotically exact representation of the disorder averaged positional probability density function. We establish that the dimensionality and the geometric properties of the lattice, on top of which the disorder is imposed, dictate the plausibility of a mean-filed approximation that will only include annealed disorder. Specifically, for any case when the probability to return to the origin ($Q_0$) is less than $1$, i.e. the transient case, the quenched trap model can be mapped on to the continuous time random walk. The explicit form of the mapping is provided. In the case when an external force is applied on a tracer particle in a media described by the quenched trap model, the response to such force is calculated and a non-linear response for sufficiently low dimensionality is observed.


title: Recent CMS and CMS-TOTEM results on diffraction and exclusive production

abstract: Exclusive and diffractive physics measurements are important for the better understanding of the non-perturbative regime of QCD. Two recent results of the CMS experiment is presented in this paper. The total and differential cross sections of central exclusive $\pi^+\pi^-$ production are measured at 5.02 and 13 TeV in the $p_{\mathrm{T}}(\pi) > 0.2~$GeV/$c$ and $|\eta(\pi)| < 2.4$ kinematic region. The invariant mass distribution is fitted by the sum of a continuum and four interfering relativistic Breit-Wigner functions. In the second part of the paper the measurement of the single diffractive dijets is presented, which are studied by using proton tagging capabilities of the TOTEM analysis. A joint CMS-TOTEM study is carried out and the total and differential cross sections are measured in the $0.03 < |t| < 1.0~$GeV$^2$ and $0 < \xi < 0.1$ kinematic region.


title: Computing rank-revealing factorizations of matrices stored out-of-core

abstract: This paper describes efficient algorithms for computing rank-revealing factorizations of matrices that are too large to fit in RAM, and must instead be stored on slow external memory devices such as solid-state or spinning disk hard drives (out-of-core or out-of-memory). Traditional algorithms for computing rank revealing factorizations, such as the column pivoted QR factorization, or techniques for computing a full singular value decomposition of a matrix, are very communication intensive. They are naturally expressed as a sequence of matrix-vector operations, which become prohibitively expensive when data is not available in main memory. Randomization allows these methods to be reformulated so that large contiguous blocks of the matrix can be processed in bulk. The paper describes two distinct methods. The first is a blocked version of column pivoted Householder QR, organized as a "left-looking" method to minimize the number of write operations (which are more expensive than read operations on a spinning disk drive). The second method results in a so called UTV factorization which expresses a matrix $A$ as $A = U T V^*$ where $U$ and $V$ are unitary, and $T$ is triangular. This method is organized as an algorithm-by-blocks, in which floating point operations overlap read and write operations. The second method incorporates power iterations, and is exceptionally good at revealing the numerical rank; it can often be used as a substitute for a full singular value decomposition. Numerical experiments demonstrate that the new algorithms are almost as fast when processing data stored on a hard drive as traditional algorithms are for data stored in main memory. To be precise, the computational time for fully factorizing an $n\times n$ matrix scales as $cn^{3}$, with a scaling constant $c$ that is only marginally larger when the matrix is stored out of core.


title: Citation Recommendation: Approaches and Datasets

abstract: Citation recommendation describes the task of recommending citations for a given text. Due to the overload of published scientific works in recent years on the one hand, and the need to cite the most appropriate publications when writing scientific texts on the other hand, citation recommendation has emerged as an important research topic. In recent years, several approaches and evaluation data sets have been presented. However, to the best of our knowledge, no literature survey has been conducted explicitly on citation recommendation. In this article, we give a thorough introduction into automatic citation recommendation research. We then present an overview of the approaches and data sets for citation recommendation and identify differences and commonalities using various dimensions. Last but not least, we shed light on the evaluation methods, and outline general challenges in the evaluation and how to meet them. We restrict ourselves to citation recommendation for scientific publications, as this document type has been studied the most in this area. However, many of the observations and discussions included in this survey are also applicable to other types of text, such as news articles and encyclopedic articles.


title: Finite-emittance Wigner crystals in the bubble regime

abstract: We study the influence of finite emittance electron bunches in the bubble regime of laser-driven wakefield acceleration onto the microscopic structure of the bunch itself. Using resilient backpropagation (Rprop) to find the equilibrium structure, we observe that for realistic and already observed emittances the previously found crystalline structures remain intact and are only widened marginally. Higher emittances lead to larger electron displacements within the crystal and finally its breaking.


title: Learning Architectures for Binary Networks

abstract: Backbone architectures of most binary networks are well-known floating point architectures such as the ResNet family. Questioning that the architectures designed for floating point networks would not be the best for binary networks, we propose to search architectures for binary networks (BNAS) by defining a new search space for binary architectures and a novel search objective. Specifically, based on the cell based search method, we define the new search space of binary layer types, design a new cell template, and rediscover the utility of and propose to use the Zeroise layer instead of using it as a placeholder. The novel search objective diversifies early search to learn better performing binary architectures. We show that our proposed method searches architectures with stable training curves despite the quantization error inherent in binary networks. Quantitative analyses demonstrate that our searched architectures outperform the architectures used in state-of-the-art binary networks and outperform or perform on par with state-of-the-art binary networks that employ various techniques other than architectural changes.


title: Unique key Horn functions

abstract: Given a relational database, a key is a set of attributes such that a value assignment to this set uniquely determines the values of all other attributes. The database uniquely defines a pure Horn function $h$, representing the functional dependencies. If the knowledge of the attribute values in set $A$ determines the value for attribute $v$, then $A\rightarrow v$ is an implicate of $h$. If $K$ is a key of the database, then $K\rightarrow v$ is an implicate of $h$ for all attributes $v$. Keys of small sizes play a crucial role in various problems. We present structural and complexity results on the set of minimal keys of pure Horn functions. We characterize Sperner hypergraphs for which there is a unique pure Horn function with the given hypergraph as the set of minimal keys. Furthermore, we show that recognizing such hypergraphs is co-NP-complete already when every hyperedge has size two. On the positive side, we identify several classes of graphs for which the recognition problem can be decided in polynomial time. We also present an algorithm that generates the minimal keys of a pure Horn function with polynomial delay. By establishing a connection between keys and target sets, our approach can be used to generate all minimal target sets with polynomial delay when the thresholds are bounded by a constant. As a byproduct, our proof shows that the Minimum Key problem is at least as hard as the Minimum Target Set Selection problem with bounded thresholds.


title: Strongly graded Leavitt path algebras

abstract: Let $R$ be a unital ring, let $E$ be a directed graph and recall that the Leavitt path algebra $L_R(E)$ carries a natural $\mathbb{Z}$-gradation. We show that $L_R(E)$ is strongly $\mathbb{Z}$-graded if and only if $E$ is row-finite, has no sink, and satisfies Condition (Y). Our result generalizes a recent result by Clark, Hazrat and Rigby, and the proof is short and self-contained.