title: Area-wide traffic signal control based on a deep graph Q-Network (DGQN) trained in an asynchronous manner

abstract: Reinforcement learning (RL) algorithms have been widely applied in traffic signal studies. There are, however, several problems in jointly controlling traffic lights for a large transportation network. First, the action space exponentially explodes as the number of intersections to be jointly controlled increases. Although a multi-agent RL algorithm has been used to solve the curse of dimensionality, this neither guaranteed a global optimum, nor could it break the ties between joint actions. The problem was circumvented by revising the output structure of a deep Q-network (DQN) within the framework of a single-agent RL algorithm. Second, when mapping traffic states into an action value, it is difficult to consider spatio-temporal correlations over a large transportation network. A deep graph Q-network (DGQN) was devised to efficiently accommodate spatio-temporal dependencies on a large scale. Finally, training a RL model to jointly control traffic lights in a large transportation network requires much time to converge. An asynchronous update methodology was devised for a DGQN to quickly reach an optimal policy. Using these three remedies, a DGQN succeeded in jointly controlling the traffic lights in a large transportation network in Seoul. This approach outperformed other state-of-the-art RL algorithms as well as an actual fixed-signal operation.


title: MusPy: A Toolkit for Symbolic Music Generation

abstract: In this paper, we present MusPy, an open source Python library for symbolic music generation. MusPy provides easy-to-use tools for essential components in a music generation system, including dataset management, data I/O, data preprocessing and model evaluation. In order to showcase its potential, we present statistical analysis of the eleven datasets currently supported by MusPy. Moreover, we conduct a cross-dataset generalizability experiment by training an autoregressive model on each dataset and measuring held-out likelihood on the others---a process which is made easier by MusPy's dataset management system. The results provide a map of domain overlap between various commonly used datasets and show that some datasets contain more representative cross-genre samples than others. Along with the dataset analysis, these results might serve as a guide for choosing datasets in future research. Source code and documentation are available at https://github.com/salu133445/muspy .


title: Spin filtering in germanium/silicon core/shell nanowires with pseudo-helical gap

abstract: Semiconductors with strong spin-orbit interactions can exhibit a helical gap with spin-momentum locking opened by a magnetic field. Such a gap is highly spin selective as a result of a topologically protected spin-momentum locking, which can be used for spin filtering. We experimentally demonstrate such a spin filtering effect in a quasi-ballistic p-type germanium/silicon core/shell nanowire (NW), which possesses a pseudo-helical gap without the application of magnetic field. Polarized hole spin injection to the NW is achieved using cobalt ferromagnetic contacts with controlled natural surface oxide on the NW as a tunnel barrier. Local and nonlocal spin valve effects are measured as the verification of polarized spin transport in the NW outside the helical gap. We electrically tune the NW into the helical gap by scanning its chemical potential with a gate. A hysteresis loop with three resistance states is observed in the local spin valve geometry, as an evidence of spin filtering in the helical gap.


title: Theory for the negative longitudinal magnetoresistance in the quantum limit of Kramers Weyl semimetals

abstract: Negative magnetoresistance is rare in non-magnetic materials. Recently, a negative magnetoresistance has been observed in the quantum limit of $\beta$-Ag$_2$Se, where only one band of Landau levels is occupied in a strong magnetic field parallel to the applied current. $\beta$-Ag$_2$Se is a material that host a Kramers Weyl cone with band degeneracy near the Fermi energy. Kramers Weyl cones exist at time-reversal invariant momenta in all symmorphic chiral crystals, and at a subset of these momenta, including the $\Gamma$ point, in non-symmorphic chiral crystals. Here, we present a theory for the negative magnetoresistance in the quantum limit of Kramers Weyl semimetals. We show that, although there is a band touching similar to those in Weyl semimetals, negative magnetoresistance can exist without a chiral anomaly. We find that it requires screened Coulomb scattering potentials between electrons and impurities, which is naturally the case in $\beta$-Ag$_2$Se.


title: A non-local cryogenic thermometer based on Coulomb-coupled systems

abstract: We investigate a quadruple quantum dot setup that can be employed to sense the temperature of an electrically isolated remote target reservoir. Such a setup was conceived earlier by S\'anchez et. al. (New Journal of Physics, 19, 113040) as non-local thermodynamic engine and relies on the electrostatic interaction between Coulomb-coupled quantum dots. The conjugation of Coulomb-coupling and energy-filtering results in an overall change in conductance with remote reservoir temperature. The performance of the thermometer is then theoretically investigated using density matrix formulation, and it is demonstrated that the quadruple quantum dot design ensures a superior temperature sensitivity and noise robustness compared to a simple thermometer consisting of two Coulomb-coupled quantum dots. In the end, we investigate the regime of operation and comment on the ground state configuration for optimal performance of the thermometer. The setup investigated in this paper can be employed to construct highly efficient non-local cryogenic thermometers.


title: A Theorem on Ellipses, an Integrable System and a Theorem of Boltzmann

abstract: We study a mechanical system that was considered by Boltzmann in 1868 in the context of the derivation of the canonical and microcanonical ensembles. This system was introduced as an example of ergodic dynamics, which was central to Boltzmann's derivation. It consists of a single particle in two dimensions, which is subjected to a gravitational attraction to a fixed center. In addition, an infinite plane is fixed at some finite distance from the center, which acts as a hard wall on which the particle collides elastically. Finally, an extra centrifugal force is added. We will show that, in the absence of this extra centrifugal force, there are two independent integrals of motion. Therefore the extra centrifugal force is necessary for Boltzmann's claim of ergodicity to hold.

categories: math.DS cond-mat.stat-mech math-ph math.MP


title: Eliminating the Electric Field Response in a Perovskite Heterojunction Solar Cell to Improve Operational Stability

abstract: Intrinsic and extrinsic ion migration is a very large threat to the operational stability of perovskite solar cells and is difficult to completely eliminate due to the low activation energy of ion migration and the existence of internal electric field. We propose a heterojunction route to help suppress ion migration, thus improving the operational stability of the cell from the perspective of eliminating the electric field response in the perovskite absorber. A heavily doped p-type (p+) thin layer semiconductor is introduced between the electron transporting layer (ETL) and perovskite absorber. The heterojunction charge depletion and electric field are limited to the ETL and p+ layers, while the perovskite absorber and hole transporting layer remain neutral. The p+ layer has a variety of candidate materials and is tolerant of defect density and carrier mobility, which makes this heterojunction route highly feasible and promising for use in practical applications.


title: Randomized Last-Level Caches Are Still Vulnerable to Cache Side-Channel Attacks! But We Can Fix It

abstract: Cache randomization has recently been revived as a promising defense against conflict-based cache side-channel attacks. As two of the latest implementations, CEASER-S and ScatterCache both claim to thwart conflict-based cache side-channel attacks using randomized skewed caches. Unfortunately, our experiments show that an attacker can easily find a usable eviction set within the chosen remap period of CEASER-S and increasing the number of partitions without dynamic remapping, such as ScatterCache, cannot eliminate the threat. By quantitatively analyzing the access patterns left by various attacks in the LLC, we have newly discovered several problems with the hypotheses and implementations of randomized caches, which are also overlooked by the research on conflict-based cache side-channel attack. However, cache randomization is not a false hope and it is an effective defense that should be widely adopted in future processors. The newly discovered problems are corresponding to flaws associated with the existing implementation of cache randomization and are fixable. Several new defense techniques are proposed in this paper. our experiments show that all the newly discovered vulnerabilities of existing randomized caches are fixed within the current performance budget. We also argue that randomized set-associative caches can be sufficiently strengthened and possess a better chance to be actually adopted in commercial processors than their skewed counterparts as they introduce less overhaul to the existing cache structure.


title: Rising obstacle in a one-layer granular bed induced by continuous vibrations: two dynamical regimes governed by vibration velocity

abstract: Rising motion of an obstacle in a vibrated granular medium is a classic problem of granular segregation, and called the Brazil nut (BN) effect. The controlling vibration parameters of the effect has been a long-standing problem. A simple possibility that the BN effect can be characterized solely by vibration velocity has recently been pointed out. The issue has become controversial before a long history of research, with only a few systems have provided for the simple possibility. Here, we investigate the rising motion of an obstacle in a vertically positioned one-layer granular bed under continuous vibrations. We find the rising motion is composed of two distinct regimes, and the first and second regimes are both governed, in terms of vibration parameters, solely by the vibration velocity. We further demonstrate simple scaling laws well describe the two regimes. Our results support the emergent possibility on the controlling parameters of the BN effect and suggests that this feature would be universal. We propose two possible mechanisms of convection and arch effect for the two distinct regimes and demonstrate these mechanism explain the scaling laws followed by our experimental data.


title: On mod $\mathfrak{p}$ congruences for Drinfeld modular forms of level $\mathfrak{p}\mathfrak{m}$

abstract: In~\cite{CS04}, Calegari and Stein studied the congruences between classical cusp forms $S_k(\Gamma_0(p))$ of prime level and made several conjectures about them. In~\cite{AB07} (resp., ~\cite{BP11}) the authors proved one of those conjectures (resp., their generalizations). In this article, we study the analogous conjecture and its generalizations for Drinfeld modular forms.


title: A Novel Approach for the Process Planning and Scheduling Problem Using the Concept of Maximum Weighted Independent Set

abstract: Process Planning and Scheduling (PPS) is an essential and practical topic but a very intractable problem in manufacturing systems. Many research use iterative methods to solve such problems; however, they cannot achieve satisfactory results in both quality and computational speed. Other studies formulate scheduling problems as a graph coloring problem (GCP) or its extensions, but these formulations are limited to certain types of scheduling problems. In this paper, we propose a novel approach to formulate a general type of the PPS problem with resource allocation and process planning integrated towards a typical objective, minimizing the makespan. The PPS problem is formulated into an undirected weighted conflicting graph, where nodes represent operations and their resources; edges represent constraints, and weight factors are guidelines for the node selection at each time slot. Then, the Maximum Weighted Independent Set (MWIS) problem can be solved to find the best set of operations with their desired resources for each discrete time slot. This proposed approach solves the PPS problem directly with minimum iterations. We establish that the proposed approach always returns a feasible optimum or near-optimum solution to the PPS problem. The different weight configurations of the proposed approach for solving the PPS problem are tested on a real-world PPS example and further designated test instances to evaluate the scalability, accuracy, and robustness.


title: An Algorithm Framework for the Exact Solution and Improved Approximation of the Maximum Weighted Independent Set Problem

abstract: The Maximum Weighted Independent Set (MWIS) problem, which considers a graph with weights assigned to nodes and seeks to discover the "heaviest" independent set, that is, a set of nodes with maximum total weight so that no two nodes in the set are connected by an edge. The MWIS problem arises in many application domains, including the resource-constrained scheduling, error-correcting coding, complex system analysis and optimization, and communication networks. Since solving the MWIS problem is the core function for finding the optimum solution of our novel graph-based formulation of the resource-constrained Process Planning and Scheduling (PPS) problem, it is essential to have "good-performance" algorithms to solve the MWIS problem. In this paper, we propose a Novel Hybrid Heuristic Algorithm (NHHA) framework in a divide-and-conquer structure that yields optimum feasible solutions to the MWIS problem. The NHHA framework is optimized to minimize the recurrence. Using the NHHA framework, we also solve the All Maximal Independent Sets Listing (AMISL) problem, which can be seen as the subproblem of the MWIS problem. Moreover, building composed MWIS algorithms that utilizing fast approximation algorithms with the NHHA framework is an effective way to improve the accuracy of approximation MWIS algorithms (e.g., GWMIN and GWMIN2 (Sakai et al., 2003)). Eight algorithms for the MWIS problem, the exact MWIS algorithm, the AMISL algorithm, two approximation algorithms from the literature, and four composed algorithms, are applied and tested for solving the graph-based formulation of the resource-constrained PPS problem to evaluate the scalability, accuracy, and robustness.


title: About the $J\!/\!\psi\,J\!/\!\psi$ peak of LHCb: fully-charmed tetraquark?

abstract: We discuss the interpretation of the $J\!/\!\psi\,J\!/\!\psi$ peak recently seen by the LHCb collaboration at CERN, and take the opportunity to review the experimental and theoretical state of the art for exotic hadrons. It is stressed that in constituent models, the states in the continuum require a dedicated treatment to single out resonances atop the continuum.


title: Structure-SLAM: Low-Drift Monocular SLAM in Indoor Environments

abstract: In this paper a low-drift monocular SLAM method is proposed targeting indoor scenarios, where monocular SLAM often fails due to the lack of textured surfaces. Our approach decouples rotation and translation estimation of the tracking process to reduce the long-term drift in indoor environments. In order to take full advantage of the available geometric information in the scene, surface normals are predicted by a convolutional neural network from each input RGB image in real-time. First, a drift-free rotation is estimated based on lines and surface normals using spherical mean-shift clustering, leveraging the weak Manhattan World assumption. Then translation is computed from point and line features. Finally, the estimated poses are refined with a map-to-frame optimization strategy. The proposed method outperforms the state of the art on common SLAM benchmarks such as ICL-NUIM and TUM RGB-D.


title: On the dynamics of charged particles in an incompressible flow: from kinetic-fluid to fluid-fluid models

abstract: In this paper, we are interested in the dynamics of charged particles interacting with the incompressible viscous flow. More precisely, we consider the Vlasov-Poisson or Vlasov-Poisson-Fokker-Planck equation coupled with the incompressible Navier-Stokes system through the drag force. For the proposed kinetic-fluid model, we study the asymptotic regime corresponding to strong local alignment and diffusion forces. Under suitable assumptions on the initial data, we rigorously derive a coupled isothermal/pressureless Euler-Poisson system and incompressible Navier-Stokes system(in short, EPNS system). For this hydrodynamic limit, we employ the modulated kinetic energy estimate together with the relative entropy method and the bounded Lipschitz distance. We also construct a global-in-time strong solvability for the isothermal/pressureless EPNS system. In particular, this global-in-time solvability gives the estimates of hydrodynamic limit hold for all time.


title: No-hair theorems for non-canonical self-gravitating static multiple scalar fields

abstract: We prove under certain assumptions no-hair theorems for non-canonical self-gravitating static multiple scalar fields in spherically symmetric spacetimes. It is shown that the only static, spherically symmetric and asymptotically flat black hole solutions consist of the Schwarzschild metric and a constant multi-scalar map. We also prove that there are no static, horizonless, asymptotically flat, spherically symmetric solutions with static scalar fields and a regular center. The last theorem shows that the static, asymptotically flat, spherically symmetric reflecting compact objects with Neumann boundary conditions can not support a non-trivial self-gravitating non-canonical (and canonical) multi-scalar map in their exterior spacetime regions. In order to prove the no-hair theorems we derive a new divergence identity.


title: A fast algorithm for the electromagnetic scattering from a large rectangular cavity in three dimensions

abstract: The paper is concerned with the three-dimensional electromagnetic scattering from a large open rectangular cavity that is embedded in a perfectly electrically conducting infinite ground plane. By introducing a transparent boundary condition, the scattering problem is formulated into a boundary value problem in the bounded cavity. Based on the Fourier expansions of the electric field, the Maxwell equation is reduced to one-dimensional ordinary differential equations for the Fourier coefficients. A fast algorithm, employing the fast Fourier transform and the Gaussian elimination, is developed to solve the resulting linear system for the cavity which is filled with either a homogeneous or a layered medium. In addition, a novel scheme is designed to evaluate rapidly and accurately the Fourier transform of singular integrals. Numerical experiments are presented for large cavities to demonstrate the superior performance of the proposed method.


title: Annealing Genetic GAN for Minority Oversampling

abstract: The key to overcome class imbalance problems is to capture the distribution of minority class accurately. Generative Adversarial Networks (GANs) have shown some potentials to tackle class imbalance problems due to their capability of reproducing data distributions given ample training data samples. However, the scarce samples of one or more classes still pose a great challenge for GANs to learn accurate distributions for the minority classes. In this work, we propose an Annealing Genetic GAN (AGGAN) method, which aims to reproduce the distributions closest to the ones of the minority classes using only limited data samples. Our AGGAN renovates the training of GANs as an evolutionary process that incorporates the mechanism of simulated annealing. In particular, the generator uses different training strategies to generate multiple offspring and retain the best. Then, we use the Metropolis criterion in the simulated annealing to decide whether we should update the best offspring for the generator. As the Metropolis criterion allows a certain chance to accept the worse solutions, it enables our AGGAN steering away from the local optimum. According to both theoretical analysis and experimental studies on multiple imbalanced image datasets, we prove that the proposed training strategy can enable our AGGAN to reproduce the distributions of minority classes from scarce samples and provide an effective and robust solution for the class imbalance problem.


title: Dust particle size, shape, and optical depth during the 2018/MY34 Martian Global Dust Storm retrieved by MSL Curiosity rover navigation cameras

abstract: Martian planet-encircling dust storms or global dust storms (GDS), resulting from the combined influence of local and regional storms, are uncommon aperiodic phenomena: with an average frequency of approximately one every 3-4 MY, they produce a substantial rise in the atmospheric dust loading that lasts from weeks to months and have a significant impact on the atmospheric properties, energy budget, and global circulation. During the 2018/MY34 global dust storm, initiated at L_S = 185$^\circ$ (30-31 May 2018), an intensive atmospheric science campaign was carried out by the Mars Science Laboratory (MSL) rover to monitor the environmental parameters at Gale Crater. We contribute to previous studies with independent retrievals to constrain the dust opacity and characterise the aerosol particle properties, including: size, shape and single scattering phase function. An iterative radiative transfer retrieval procedure was implemented to determine the aerosol parameters that best fit the angular distribution of sky radiance at forward and backward scattering regions observed by MSL Navigation Cameras (Navcams) during the 2018/MY34 GDS.


title: Retrieve Synonymous keywords for Frequent Queries in Sponsored Search in a Data Augmentation Way

abstract: In sponsored search, retrieving synonymous keywords is of great importance for accurately targeted advertising. The semantic gap between queries and keywords and the extremely high precision requirements (>= 95\%) are two major challenges to this task. To the best of our knowledge, the problem has not been openly discussed. In an industrial sponsored search system, the retrieved keywords for frequent queries are usually done ahead of time and stored in a lookup table. Considering these results as a seed dataset, we propose a data-augmentation-like framework to improve the synonymous retrieval performance for these frequent queries. This framework comprises two steps: translation-based retrieval and discriminant-based filtering. Firstly, we devise a Trie-based translation model to make a data increment. In this phase, a Bag-of-Core-Words trick is conducted, which increased the data increment's volume 4.2 times while keeping the original precision. Then we use a BERT-based discriminant model to filter out nonsynonymous pairs, which exceeds the traditional feature-driven GBDT model with 11\% absolute AUC improvement. This method has been successfully applied to Baidu's sponsored search system, which has yielded a significant improvement in revenue. In addition, a commercial Chinese dataset containing 500K synonymous pairs with a precision of 95\% is released to the public for paraphrase study (http://ai.baidu.com/broad/subordinate?dataset=paraphrasing).


title: Super-resolution Localization of Nitrogen Vacancy Centers in Diamond with Quantum Controlled Photoswitching

abstract: We demonstrate the super-resolution localization of the nitrogen vacancy centers in diamond by a novel fluorescence photoswitching technique based on coherent quantum control. The photoswitching is realized by the quantum phase encoding based on pulsed magnetic field gradient. Then we perform super-resolution imaging and achieve a localizing accuracy better than 1.4 nm under a scanning confocal microscope. Finally, we show that the quantum phase encoding plays a dominant role on the resolution, and a resolution of 0.15 nm is achievable under our current experimental condition. This method can be applied in subnanometer scale addressing and control of qubits based on multiple coupled defect spins.


title: Game-theoretic modeling of collective decision-making during epidemics

abstract: The spreading dynamics of an epidemic and the collective behavioral pattern of the population over which it spreads are deeply intertwined and the latter can critically shape the outcome of the former. Motivated by this, we design a parsimonious game-theoretic behavioral--epidemic model, in which an interplay of realistic factors shapes the co-evolution of individual decision-making and epidemics on a network. Although such a co-evolution is deeply intertwined in the real-world, existing models schematize population behavior as instantaneously reactive, thus being unable to capture human behavior in the long term. Our model offers a unified framework to model and predict complex emergent phenomena, including successful collective responses, periodic oscillations, and resurgent epidemic outbreaks. The framework also allows to assess the effectiveness of different policy interventions on ensuring a collective response that successfully eradicates the outbreak. Two case studies, inspired by real-world diseases, are presented to illustrate the potentialities of the proposed model.

categories: q-bio.PE cs.GT cs.SY eess.SY math.DS physics.soc-ph


title: Ontology-driven weak supervision for clinical entity classification in electronic health records

abstract: In the electronic health record, using clinical notes to identify entities such as disorders and their temporality (e.g. the order of an event relative to a time index) can inform many important analyses. However, creating training data for clinical entity tasks is time consuming and sharing labeled data is challenging due to privacy concerns. The information needs of the COVID-19 pandemic highlight the need for agile methods of training machine learning models for clinical notes. We present Trove, a framework for weakly supervised entity classification using medical ontologies and expert-generated rules. Our approach, unlike hand-labeled notes, is easy to share and modify, while offering performance comparable to learning from manually labeled training data. In this work, we validate our framework on six benchmark tasks and demonstrate Trove's ability to analyze the records of patients visiting the emergency department at Stanford Health Care for COVID-19 presenting symptoms and risk factors.


title: MultiCheXNet: A Multi-Task Learning Deep Network For Pneumonia-like Diseases Diagnosis From X-ray Scans

abstract: We present MultiCheXNet, an end-to-end Multi-task learning model, that is able to take advantage of different X-rays data sets of Pneumonia-like diseases in one neural architecture, performing three tasks at the same time; diagnosis, segmentation and localization. The common encoder in our architecture can capture useful common features present in the different tasks. The common encoder has another advantage of efficient computations, which speeds up the inference time compared to separate models. The specialized decoders heads can then capture the task-specific features. We employ teacher forcing to address the issue of negative samples that hurt the segmentation and localization performance. Finally,we employ transfer learning to fine tune the classifier on unseen pneumonia-like diseases. The MTL architecture can be trained on joint or dis-joint labeled data sets. The training of the architecture follows a carefully designed protocol, that pre trains different sub-models on specialized datasets, before being integrated in the joint MTL model. Our experimental setup involves variety of data sets, where the baseline performance of the 3 tasks is compared to the MTL architecture performance. Moreover, we evaluate the transfer learning mode to COVID-19 data set,both from individual classifier model, and from MTL architecture classification head.


title: Integral formulas for a Riemannian manifold with several orthogonal complementary distributions

abstract: In the paper we prove integral formulae for a Riemannian manifold endowed with $k>2$ orthogonal complementary distributions, which generalize well-known formula for $k=2$ and give applications to splitting and isometric immersions of Riemannian manifolds, in particular, multiply warped products, and to hypersurfaces with $k>2$ distinct principal curvatures of constant multiplicities.


title: Symmetry conserving Coupled Cluster Doubles wave function and the Self-Consistent odd particle number RPA

abstract: Mixing single and triple fermions an exact killing operator of the Coupled Cluster Doubles (CCD) wave function with good symmetry was found in \cite{Tohy13}. Using these operators with the equation of motion (EOM) method the so-called self-consistent odd particle number random phase approximation (odd-RPA) was set up. Together with the stationarity condition of the two body density matrix it is shown that the killing conditions allow to reduce the order of correlation functions contained in the matrix elements of the odd-RPA equations to a fully self consistent equation for the single particle occupation numbers. Excellent results for the latter and the ground state energies are obtained in an exactly solvable model from weak to strong couplings.


title: Robust Deep Reinforcement Learning through Adversarial Loss

abstract: Recent studies have shown that deep reinforcement learning agents are vulnerable to small adversarial perturbations on the agent's inputs, which raises concerns about deploying such agents in the real world. To address this issue, we propose RADIAL-RL, a principled framework to train reinforcement learning agents with improved robustness against $l_p$-norm bounded adversarial attacks. Our framework is compatible with popular deep reinforcement learning algorithms and we demonstrate its performance with deep Q-learning, A3C and PPO. We experiment on three deep RL benchmarks (Atari, MuJoCo and ProcGen) to show the effectiveness of our robust training algorithm. Our RADIAL-RL agents consistently outperform prior methods when tested against attacks of varying strength and are more computationally efficient to train. In addition, we propose a new evaluation method called Greedy Worst-Case Reward (GWC) to measure attack agnostic robustness of deep RL agents. We show that GWC can be evaluated efficiently and is a good estimate of the reward under the worst possible sequence of adversarial attacks. All code used for our experiments is available at https://github.com/tuomaso/radial_rl_v2.


title: GIARPS High-resolution Observations of T Tauri stars (GHOsT). II. Connecting atomic and molecular winds in protoplanetary disks

abstract: In the framework of the GIARPS High-resolution Observations of T Tauri stars (GHOsT) project, we aim to characterize the atomic and molecular winds in a sample of classical T Tauri stars (CTTs) of the Taurus-Auriga region. We analyzed the flux calibrated [OI] 630 nm and $\rm H_2$ 2.12 $\rm \mu m$ lines in a sample of 36 CTTs observed at the Telescopio Nazionale Galileo with the HARPS and GIANO spectrographs. We decomposed the line profiles into different kinematic Gaussian components and focused on the most frequently detected component, the narrow low-velocity (v$\rm_p < 20$ $\rm km$ $\rm s^{-1}$) component (NLVC). We found that the $\rm H_2$ line is detected in 17 sources ($\sim 50 \%$ detection rate), and [OI] is detected in all sources but one. The NLV components of the $\rm H_2$ and [OI] emission are kinematically linked, with a strong correlation between the peak velocities and the full widths at half maximum of the two lines. Assuming Keplerian broadening, we found that the [OI] NVLC originates from a disk region between 0.05 and 20 au and that of $\rm H_2$ in a region from 2 and 20 au. We did not find any clear correlation between v$\rm_p$ of the $\rm H_2$ and [OI] NVLC and the outer disk inclination. This result is in line with previous studies. Our results suggest that molecular and neutral atomic emission in disk winds originate from regions that might overlap, and that the survival of molecular winds in disks strongly depends on the gas exposure to the radiation from the central star. Our results demonstrate the potential of wide-band high-resolution spectroscopy in linking tracers of different manifestations of the same phenomenon.


title: The $\boldsymbol{^{29}}$F nucleus as a lighthouse on the coast of the island of inversion

abstract: The exotic, neutron-rich and weakly-bound isotope $^{29}$F stands out as a waymarker on the southern shore of the island of inversion, a portion of the nuclear chart where the effects of nuclear forces lead to a reshuffling of the single particle levels and to a reorganization of the nuclear structure far from stability. This nucleus has become very popular, as new measurements allow to refine theoretical models. We review the latest developments and suggest how to further assess the structure by proposing predictions on electromagnetic transitions that new experiments of Relativistic Coulomb Excitation should soon become able to measure.


title: TCSA and the finite volume boundary state

abstract: We develop a new way to calculate the overlap of a boundary state with a finite volume bulk state in the truncated conformal space approach. We check this method in the thermally perturbed Ising model analytically, while in the scaling Lee-Yang model numerically by comparing our results to excited state g-functions, which we obtained by the analytical continuation method. We also give a simple argument for the structure of the asymptotic overlap between the finite volume boundary state and a periodic multiparticle state, which includes the ratio of Gaudin type determinants.


title: More Than Accuracy: Towards Trustworthy Machine Learning Interfaces for Object Recognition

abstract: This paper investigates the user experience of visualizations of a machine learning (ML) system that recognizes objects in images. This is important since even good systems can fail in unexpected ways as misclassifications on photo-sharing websites showed. In our study, we exposed users with a background in ML to three visualizations of three systems with different levels of accuracy. In interviews, we explored how the visualization helped users assess the accuracy of systems in use and how the visualization and the accuracy of the system affected trust and reliance. We found that participants do not only focus on accuracy when assessing ML systems. They also take the perceived plausibility and severity of misclassification into account and prefer seeing the probability of predictions. Semantically plausible errors are judged as less severe than errors that are implausible, which means that system accuracy could be communicated through the types of errors.


title: Inversion in a four-terminal superconducting device on the quartet line: I. Two-dimensional metal and the quartet beam splitter

abstract: In connection with the recent Harvard group experiment on graphene-based four-terminal Josephson junctions containing a grounded loop, we consider biasing at opposite voltages on the quartet line and establish lowest-order perturbation theory in the tunnel amplitudes between a two-dimensional (2D) metal and four superconducting leads in the dirty limit. We present in addition general nonperturbative and nonadiabatic results. The critical current on the quartet line $I_c(\Phi/\Phi_0)$ depends on the reduced flux $\Phi/\Phi_0$ via interference between the three-terminal quartets (3TQ) and the nonstandard four-terminal split quartets (4TSQ). The 4TSQ result from synchronizing two Josephson junctions by exchange of two quasiparticles "surfing" on the 2D quantum wake, and this mechanism is already operational at equilibrium. Perturbation theory in the tunnel amplitudes shows that the 3TQ are $\pi$-shifted but the 4TSQ are $0$-shifted if the contacts have linear dimension which is large compared to the elastic mean free path. We establish the gate voltage dependence of the quartet critical current oscillations $I_c(\Phi/\Phi_0)$. It is argued that "Observation of $I_c(0)\ne I_c(1/2)$" implies "Evidence for the four-terminal 4TSQ" for finite bias voltage on the quartet line and arbitrary interface transparencies. This statement relies on physically-motivated approximations leading to the Ambegaokar-Baratoff-type formula for the quartet critical current-flux relation. It is concluded that the recent experiment mentioned above finds evidence for the four-terminal 4TSQ.


title: Multigap superconductivity in the Mo$_5$PB$_2$ boron-phosphorus compound

abstract: The tetragonal Mo$_5$PB$_2$ compound was recently reported to show superconductivity with a critical temperature up to 9.2 K. In search of evidence for multiple superconducting gaps in Mo$_5$PB$_2$, comprehensive measurements, including magnetic susceptibility, electrical resistivity, heat capacity, and muon-spin rotation and relaxation ($\mu$SR) measurements were carried out. Data from both low-temperature superfluid density and electronic specific heat suggest a nodeless superconducting ground state in Mo$_5$PB$_2$. Two superconducting energy gaps $\Delta_0$ = 1.02 meV (25%) and 1.49 meV (75%) are required to describe the low-$T$ electronic specific-heat data. The multigap features are clearly evidenced by the field dependence of the electronic specific-heat coefficient and the Gaussian relaxation rate in the superconducting state (i.e., superfluid density), as well as by the temperature dependence of the upper critical field. By combining our extensive experimental results with numerical band-structure calculations, we provide compelling evidence of multigap superconductivity in Mo$_5$PB$_2$.


title: Inversion in a four terminal superconducting device on the quartet line: II. Quantum dot and Floquet theory

abstract: In this paper, we consider a quantum dot connected to four superconducting terminals biased at opposite voltages on the quartet line. The grounded superconductor contains a loop threaded by the magnetic flux $\Phi$. We provide Keldysh microscopic calculations and physical pictures for the voltage-$V$ dependence of the quartet current. Superconductivity is expected to be stronger at $\Phi/\Phi_0=0$ than at $\Phi/\Phi_0=1/2$. However, inversion $I_{q,c}(V,0)<I_{q,c}(V,1/2)$ is obtained in the critical current $I_{q,c}(V,\Phi/\Phi_0)$ on the quartet line in the voltage-$V$ ranges which match avoided crossings in the Floquet spectrum at $(V,\Phi/\Phi_0=0)$ but not at $(V,1/2)$. A reduction in $I_{q,c}$ appears in the vicinity of those avoided crossings, where Landau-Zener tunneling produces dynamical quantum mechanical superpositions of the Andreev bound states. In addition, $\pi$-$0$ and $0$-$\pi$ cross-overs emerge in the current-phase relations as $V$ is further increased. The voltage-induced $\pi$-shift is interpreted as originating from the nonequilibrium Floquet populations produced by voltage biasing. The numerical calculations reveal that the inversion is robust against strong Landau-Zener tunneling and many levels in the quantum dot. Our theory provides a simple ``Floquet level and population'' mechanism for inversion tuned by the bias voltage $V$, which paves the way towards more realistic models for the recent Harvard group experiment where the inversion is observed.


title: Estimate of the Detectability of the Circular Polarisation Signature of Supernova Gravitational Waves Using the Stokes Parameters

abstract: The circular polarisation of gravitational waves from core collapse supernovae has been proposed as a probe to investigate the rotation and physical features inside the core of the supernovae. However, it is still unclear as to how detectable the circular polarisation of gravitational waves will be. We developed an algorithm referred to as the Stokes Circular Polarisation algorithm for the computation of the Stokes parameters that works with the burst search pipeline coherent WaveBurst. Employing the waveform SFHx and the algorithm, we estimate the detectability of the circular polarisation signatures (V mode of the Stokes parameters) for sources across the sky at three different distances 2, 5, and 10 kpc, for a network of gravitational wave detectors consisted of advanced LIGO, advanced VIRGO and KAGRA. Using the Bayes factor, we found that for 2 kpc and 5 kpc, the majority of the sources (99.9% and 58.2% respectively) will have their V mode detectable, while for 10 kpc, no significant V mode is detectable. In addition, the significance of the V mode signature are consistent with the recoverability of the two polarisations of gravitational waves with respect to the network.


title: Hawking--Page phase transitions in four-dimensional Einstein--Gauss--Bonnet gravity

abstract: The Hawking-Page (HP) phase transitions of the anti-de Sitter black holes in the extended phase space are studied in a novel four-dimensional Einstein-Gauss-Bonnet (4EGB) gravity, which is proposed by rescaling the Gauss--Bonnet (GB) coupling constant $\alpha\to\alpha/(d-4)$ in $d$ dimensions and redefining the four-dimensional gravity in the limit $d \to 4$. The GB term shows nontrivial contributions to both black hole mass and entropy simultaneously, and decreases the HP phase transition temperature $T_{\rm HP}$. Moreover, the HP phase transitions can happen only within a range of pressure in the 4EGB gravity. For the charged black holes, $T_{\rm HP}$ also decreases with the electric potential in the grand canonical ensemble. A general discussion of the HP phase transitions in the Einstein, GB, and 4EGB gravities is also presented.


title: Local equilibrium in planar non interacting particle systems

abstract: Particles are injected to a large planar rectangle through the boundary. Assuming that the particles move independently from one another and the boundary is also absorbing, we identify a set of abstract conditions which imply the local equilibrium of the particle density in diffusive scaling limit. We verify that our abstract conditions hold in two examples: iid random walks and the periodic Lorentz process.


title: On superintegrability of 3D axially-symmetric non-subgroup-type systems with magnetic fields

abstract: We extend the investigation of three-dimensional (3D) Hamiltonian systems of non-subgroup type admitting non-zero magnetic fields and an axial symmetry, namely the circular parabolic case, the oblate spheroidal case and the prolate spheroidal case. More precisely, we focus on linear and some special cases of quadratic superintegrability. In the linear case, no new superintegrable system arises. In the quadratic case, we found one new minimally superintegrable system that lies at the intersection of the circular parabolic and cylindrical cases and another one at the intersection of the cylindrical, spherical, oblate spheroidal and prolate spheroidal cases. By imposing additional conditions on these systems, we found for each quadratically minimally superintegrable system a new infinite family of higher-order maximally superintegrable systems. These two systems are linked respectively with the caged and harmonic oscillators without magnetic fields through a time-dependent canonical transformation.


title: How Fake News Affect Trust in the Output of a Machine Learning System for News Curation

abstract: People are increasingly consuming news curated by machine learning (ML) systems. Motivated by studies on algorithmic bias, this paper explores which recommendations of an algorithmic news curation system users trust and how this trust is affected by untrustworthy news stories like fake news. In a study with 82 vocational school students with a background in IT, we found that users are able to provide trust ratings that distinguish trustworthy recommendations of quality news stories from untrustworthy recommendations. However, a single untrustworthy news story combined with four trustworthy news stories is rated similarly as five trustworthy news stories. The results could be a first indication that untrustworthy news stories benefit from appearing in a trustworthy context. The results also show the limitations of users' abilities to rate the recommendations of a news curation system. We discuss the implications of this for the user experience of interactive machine learning systems.


title: Differentially Private Accelerated Optimization Algorithms

abstract: We present two classes of differentially private optimization algorithms derived from the well-known accelerated first-order methods. The first algorithm is inspired by Polyak's heavy ball method and employs a smoothing approach to decrease the accumulated noise on the gradient steps required for differential privacy. The second class of algorithms are based on Nesterov's accelerated gradient method and its recent multi-stage variant. We propose a noise dividing mechanism for the iterations of Nesterov's method in order to improve the error behavior of the algorithm. The convergence rate analyses are provided for both the heavy ball and the Nesterov's accelerated gradient method with the help of the dynamical system analysis techniques. Finally, we conclude with our numerical experiments showing that the presented algorithms have advantages over the well-known differentially private algorithms.


title: A parallel structured divide-and-conquer algorithm for symmetric tridiagonal eigenvalue problems

abstract: In this paper, a parallel structured divide-and-conquer (PSDC) eigensolver is proposed for symmetric tridiagonal matrices based on ScaLAPACK and a parallel structured matrix multiplication algorithm, called PSMMA. Computing the eigenvectors via matrix-matrix multiplications is the most computationally expensive part of the divide-and-conquer algorithm, and one of the matrices involved in such multiplications is a rank-structured Cauchy-like matrix. By exploiting this particular property, PSMMA constructs the local matrices by using generators of Cauchy-like matrices without any communication, and further reduces the computation costs by using a structured low-rank approximation algorithm. Thus, both the communication and computation costs are reduced. Experimental results show that both PSMMA and PSDC are highly scalable and scale to 4096 processes at least. PSDC has better scalability than PHDC that was proposed in [J. Comput. Appl. Math. 344 (2018) 512--520] and only scaled to 300 processes for the same matrices. Comparing with \texttt{PDSTEDC} in ScaLAPACK, PSDC is always faster and achieves $1.4$x--$1.6$x speedup for some matrices with few deflations. PSDC is also comparable with ELPA, with PSDC being faster than ELPA when using few processes and a little slower when using many processes.


title: A certain K\"ahler potential of the Poincar\'e metric and its characterization

abstract: We will show a rigidity of a K\"ahler potential of the Poincar\'e metric with a constant length differential.


title: Jointly Sparse Signal Recovery and Support Recovery via Deep Learning with Applications in MIMO-based Grant-Free Random Access

abstract: In this paper, we investigate jointly sparse signal recovery and jointly sparse support recovery in Multiple Measurement Vector (MMV) models for complex signals, which arise in many applications in communications and signal processing. Recent key applications include channel estimation and device activity detection in MIMO-based grant-free random access which is proposed to support massive machine-type communications (mMTC) for Internet of Things (IoT). Utilizing techniques in compressive sensing, optimization and deep learning, we propose two model-driven approaches, based on the standard auto-encoder structure for real numbers. One is to jointly design the common measurement matrix and jointly sparse signal recovery method, and the other aims to jointly design the common measurement matrix and jointly sparse support recovery method. The proposed model-driven approaches can effectively utilize features of sparsity patterns in designing common measurement matrices and adjusting model-driven decoders, and can greatly benefit from the underlying state-of-the-art recovery methods with theoretical guarantee. Hence, the obtained common measurement matrices and recovery methods can significantly outperform the underlying advanced recovery methods. We conduct extensive numerical results on channel estimation and device activity detection in MIMO-based grant-free random access. The numerical results show that the proposed approaches provide pilot sequences and channel estimation or device activity detection methods which can achieve higher estimation or detection accuracy with shorter computation time than existing ones. Furthermore, the numerical results explain how such gains are achieved via the proposed approaches.


title: Subclass Contrastive Loss for Injured Face Recognition

abstract: Deaths and injuries are common in road accidents, violence, and natural disaster. In such cases, one of the main tasks of responders is to retrieve the identity of the victims to reunite families and ensure proper identification of deceased/ injured individuals. Apart from this, identification of unidentified dead bodies due to violence and accidents is crucial for the police investigation. In the absence of identification cards, current practices for this task include DNA profiling and dental profiling. Face is one of the most commonly used and widely accepted biometric modalities for recognition. However, face recognition is challenging in the presence of facial injuries such as swelling, bruises, blood clots, laceration, and avulsion which affect the features used in recognition. In this paper, for the first time, we address the problem of injured face recognition and propose a novel Subclass Contrastive Loss (SCL) for this task. A novel database, termed as Injured Face (IF) database, is also created to instigate research in this direction. Experimental analysis shows that the proposed loss function surpasses existing algorithm for injured face recognition.


title: Improving End-to-End Speech-to-Intent Classification with Reptile

abstract: End-to-end spoken language understanding (SLU) systems have many advantages over conventional pipeline systems, but collecting in-domain speech data to train an end-to-end system is costly and time consuming. One question arises from this: how to train an end-to-end SLU with limited amounts of data? Many researchers have explored approaches that make use of other related data resources, typically by pre-training parts of the model on high-resource speech recognition. In this paper, we suggest improving the generalization performance of SLU models with a non-standard learning algorithm, Reptile. Though Reptile was originally proposed for model-agnostic meta learning, we argue that it can also be used to directly learn a target task and result in better generalization than conventional gradient descent. In this work, we employ Reptile to the task of end-to-end spoken intent classification. Experiments on four datasets of different languages and domains show improvement of intent prediction accuracy, both when Reptile is used alone and used in addition to pre-training.


title: Unsupervised seismic facies classification using deep convolutional autoencoder

abstract: With the increased size and complexity of seismic surveys, manual labeling of seismic facies has become a significant challenge. Application of automatic methods for seismic facies interpretation could significantly reduce the manual labor and subjectivity of a particular interpreter present in conventional methods. A recently emerged group of methods is based on deep neural networks. These approaches are data-driven and require large labeled datasets for network training. We apply a deep convolutional autoencoder for unsupervised seismic facies classification, which does not require manually labeled examples. The facies maps are generated by clustering the deep-feature vectors obtained from the input data. Our method yields accurate results on real data and provides them instantaneously. The proposed approach opens up possibilities to analyze geological patterns in real time without human intervention.


title: Efficient Direct Space-Time Finite Element Solvers for Parabolic Initial-Boundary Value Problems in Anisotropic Sobolev Spaces

abstract: We consider a space-time variational formulation of parabolic initial-boundary value problems in anisotropic Sobolev spaces in combination with a Hilbert-type transformation. This variational setting is the starting point for the space-time Galerkin finite element discretization that leads to a large global linear system of algebraic equations. We propose and investigate new efficient direct solvers for this system. In particular, we use a tensor-product approach with piecewise polynomial, globally continuous ansatz and test functions. The developed solvers are based on the Bartels-Stewart method and on the Fast Diagonalization method, which result in solving a sequence of spatial subproblems. The solver based on the Fast Diagonalization method allows to solve these spatial subproblems in parallel leading to a full parallelization in time. We analyze the complexity of the proposed algorithms, and give numerical examples for a two-dimensional spatial domain, where sparse direct solvers for the spatial subproblems are used.


title: A new proof of Benedicks' Theorem for the Weyl Transform

abstract: Benedicks theorem for the Weyl Transform states: If the set of points where a function is nonzero is of finite measure, and its Weyl transform is a finite rank operator, then the function is identically zero. A new, more transparent proof of this theorem is given.


title: Optimal Variance Control of the Score Function Gradient Estimator for Importance Weighted Bounds

abstract: This paper introduces novel results for the score function gradient estimator of the importance weighted variational bound (IWAE). We prove that in the limit of large $K$ (number of importance samples) one can choose the control variate such that the Signal-to-Noise ratio (SNR) of the estimator grows as $\sqrt{K}$. This is in contrast to the standard pathwise gradient estimator where the SNR decreases as $1/\sqrt{K}$. Based on our theoretical findings we develop a novel control variate that extends on VIMCO. Empirically, for the training of both continuous and discrete generative models, the proposed method yields superior variance reduction, resulting in an SNR for IWAE that increases with $K$ without relying on the reparameterization trick. The novel estimator is competitive with state-of-the-art reparameterization-free gradient estimators such as Reweighted Wake-Sleep (RWS) and the thermodynamic variational objective (TVO) when training generative models.


title: F2GAN: Fusing-and-Filling GAN for Few-shot Image Generation

abstract: In order to generate images for a given category, existing deep generative models generally rely on abundant training images. However, extensive data acquisition is expensive and fast learning ability from limited data is necessarily required in real-world applications. Also, these existing methods are not well-suited for fast adaptation to a new category. Few-shot image generation, aiming to generate images from only a few images for a new category, has attracted some research interest. In this paper, we propose a Fusing-and-Filling Generative Adversarial Network (F2GAN) to generate realistic and diverse images for a new category with only a few images. In our F2GAN, a fusion generator is designed to fuse the high-level features of conditional images with random interpolation coefficients, and then fills in attended low-level details with non-local attention module to produce a new image. Moreover, our discriminator can ensure the diversity of generated images by a mode seeking loss and an interpolation regression loss. Extensive experiments on five datasets demonstrate the effectiveness of our proposed method for few-shot image generation.


title: Learning the constitutive relation of polymeric flows with memory

abstract: We develop a learning strategy to infer the constitutive relation for the stress of polymeric flows with memory. We make no assumptions regarding the functional form of the constitutive relations, except that they should be expressible in differential form as a function of the local stress- and strain-rate tensors. In particular, we use a Gaussian Process regression to infer the constitutive relations from stress trajectories generated from small-scale (fixed strain-rate) microscopic polymer simulations. For simplicity, a Hookean dumbbell representation is used as a microscopic model, but the method itself can be generalized to incorporate more realistic descriptions. The learned constitutive relation is then used to perform macroscopic flow simulations, allowing us to update the stress distribution in the fluid in a manner that accounts for the microscopic polymer dynamics. The results using the learned constitutive relation are in excellent agreement with full Multi-Scale Simulations, which directly couple micro/macro degrees of freedom, as well as the exact analytical solution given by the Maxwell constitutive relation. We are able to fully capture the history dependence of the flow, as well as the elastic effects in the fluid. We expect the proposed learning/simulation approach to be used not only to study the dynamics of entangled polymer flows, but also for the complex dynamics of other Soft Matter systems, which possess a similar hierarchy of length- and time-scales.


title: Multiple Sclerosis Lesion Activity Segmentation with Attention-Guided Two-Path CNNs

abstract: Multiple sclerosis is an inflammatory autoimmune demyelinating disease that is characterized by lesions in the central nervous system. Typically, magnetic resonance imaging (MRI) is used for tracking disease progression. Automatic image processing methods can be used to segment lesions and derive quantitative lesion parameters. So far, methods have focused on lesion segmentation for individual MRI scans. However, for monitoring disease progression, \textit{lesion activity} in terms of new and enlarging lesions between two time points is a crucial biomarker. For this problem, several classic methods have been proposed, e.g., using difference volumes. Despite their success for single-volume lesion segmentation, deep learning approaches are still rare for lesion activity segmentation. In this work, convolutional neural networks (CNNs) are studied for lesion activity segmentation from two time points. For this task, CNNs are designed and evaluated that combine the information from two points in different ways. In particular, two-path architectures with attention-guided interactions are proposed that enable effective information exchange between the two time point's processing paths. It is demonstrated that deep learning-based methods outperform classic approaches and it is shown that attention-guided interactions significantly improve performance. Furthermore, the attention modules produce plausible attention maps that have a masking effect that suppresses old, irrelevant lesions. A lesion-wise false positive rate of 26.4% is achieved at a true positive rate of 74.2%, which is not significantly different from the interrater performance.


title: Fast top-K Cosine Similarity Search through XOR-Friendly Binary Quantization on GPUs

abstract: We explore the use of GPU for accelerating large scale nearest neighbor search and we propose a fast vector-quantization-based exhaustive nearest neighbor search algorithm that can achieve high accuracy without any indexing construction specifically designed for cosine similarity. This algorithm uses a novel XOR-friendly binary quantization method to encode floating-point numbers such that high-complexity multiplications can be optimized as low-complexity bitwise operations. Experiments show that, our quantization method takes short preprocessing time, and helps make the search speed of our exhaustive search method much more faster than that of popular approximate nearest neighbor algorithms when high accuracy is needed.


title: MORTON: Detection of Malicious Routines in Large-Scale DNS Traffic

abstract: In this paper, we present MORTON, a method that identifies compromised devices in enterprise networks based on the existence of routine DNS communication between devices and disreputable host names. With its compact representation of the input data and use of efficient signal processing and a neural network for classification, MORTON is designed to be accurate, robust, and scalable. We evaluate MORTON using a large dataset of corporate DNS logs and compare it with two recently proposed beaconing detection methods aimed at detecting malware communication. The results demonstrate that while MORTON's accuracy in a synthetic experiment is comparable to that of the other methods, it outperforms those methods in terms of its ability to detect sophisticated bot communication techniques, such as multistage channels, as well as in its robustness and efficiency. In a real-world evaluation, which includes previously unreported threats, MORTON and the two compared methods were deployed to monitor the (unlabeled) DNS traffic of two global enterprises for a week-long period; this evaluation demonstrates the effectiveness of MORTON in real-world scenarios and showcases its superiority in terms of true and false positive rates.


title: Beyond Controlled Environments: 3D Camera Re-Localization in Changing Indoor Scenes

abstract: Long-term camera re-localization is an important task with numerous computer vision and robotics applications. Whilst various outdoor benchmarks exist that target lighting, weather and seasonal changes, far less attention has been paid to appearance changes that occur indoors. This has led to a mismatch between popular indoor benchmarks, which focus on static scenes, and indoor environments that are of interest for many real-world applications. In this paper, we adapt 3RScan - a recently introduced indoor RGB-D dataset designed for object instance re-localization - to create RIO10, a new long-term camera re-localization benchmark focused on indoor scenes. We propose new metrics for evaluating camera re-localization and explore how state-of-the-art camera re-localizers perform according to these metrics. We also examine in detail how different types of scene change affect the performance of different methods, based on novel ways of detecting such changes in a given RGB-D frame. Our results clearly show that long-term indoor re-localization is an unsolved problem. Our benchmark and tools are publicly available at waldjohannau.github.io/RIO10


title: Analytical Study of Incremental Approach for Information Dissemination in Wireless Networks

abstract: In many scenarios, control information dissemination becomes a bottleneck, which limits the scalability and the performance of wireless networks. Such a problem is especially crucial in mobile ad hoc networks, dense networks, networks of vehicles and drones, sensor networks. In other words, this problem occurs in any scenario with frequent changes in topology or interference level on one side and with strong requirements on delay, reliability, power consumption, or capacity on the other side. If the control information changes partially, it may be worth sending only differential updates instead of messages containing full information to reduce overhead. However, such an approach needs accurate tuning of dissemination parameters, since it is necessary to guarantee information relevance in error-prone wireless networks. In the paper, we provide a deep study of two approaches for generating differential updates - namely, incremental and cumulative - and compare their efficiency. We show that the incremental approach allows significantly reducing the amount of generated control information compared to the cumulative one, while providing the same level of information relevance. We develop an analytical model for the incremental approach and propose an algorithm which allows tuning its parameters, depending on the number of nodes in the network, their mobility, and wireless channel quality. Using the developed analytical model, we show that the incremental approach is very useful for static dense network deployments and networks with low and medium mobility, since it allows us to significantly reduce the amount of control information compared to the classical full dump approach.


title: On the Activities and Partitions of the Vertex Subsets of Graphs

abstract: Crapo introduced a construction of interval partitions of the Boolean lattice for sets equipped with matroid structure. This construction, in the context of graphic matroids, is related to the notion of edge activities introduced by Tutte. This implies that each spanning subgraph of a connected graph can be constructed from edges of exactly one spanning tree by deleting a unique subset of internally active edges and adding a unique subset of externally active edges. Since the family of vertex independent sets does not give rise to a matroid structure we can not apply Crapo's construction on the vertex set when using the family of independent sets as generating sets. In this paper, we introduce the concept of vertex activities to tackle the problem of generating interval partitions of the Boolean lattice of the vertex set. We show how to generate a cover, present some properties related to vertex activities of some special maximal independent sets and consider some special graphs. Finally, we will show that level labellings in pruned graphs always generate a partition.


title: Young stellar cluster dilution near supermassive black holes: the impact of Vector Resonant Relaxation on neighbour separation

abstract: We investigate the rate of orbital orientation dilution of young stellar clusters in the vicinity of supermassive black holes. Within the framework of vector resonant relaxation, we predict the time evolution of the two-point correlation function of the stellar orbital plane orientations as a function of their initial angular separation and diversity in orbital parameters (semi-major axis, eccentricity). As expected, the larger the spread in initial orientations and orbital parameters, the more efficient the dilution of a given set of co-eval stars, with a characteristic timescale set up by the coherence time of the background potential fluctuations. A Markovian prescription which matches numerical simulations allows us to efficiently probe the underlying kinematic properties of the unresolved nucleus when requesting consistency with a given dilution efficiency, imposed by the observed stellar disc within the one arcsecond of Sgr A*. As a proof of concept, we compute maps of constant dilution times as a function of the semi major axis cusp index and fraction of intermediate mass black holes in the old background stellar cluster. This computation suggests that vector resonant relaxation should prove useful in this context since it impacts orientations on timescales comparable to the stars' age.


title: All finite sets are Ramsey in the maximum norm

abstract: For two metric spaces $\mathbb X$ and $\mathcal Y$, the chromatic number $\chi(\mathbb X;\mathcal Y)$ of $\mathbb X$ with forbidden $\mathcal Y$ is the smallest $k$ such that there is a coloring of the points of $\mathbb X$ with $k$ colors and no monochromatic copy of $\mathcal Y$. In this paper, we show that for each finite metric space $\mathcal{M}$ that contains at least two points the value $\chi\left(\mathbb R^n_\infty; \mathcal M \right)$ grows exponentially with $n$. We also provide explicit lower and upper bounds for some special $\mathcal M$.


title: Connecting spatial moments and momentum densities

abstract: The precision of experimental data and analysis techniques is a key feature of any discovery attempt. A striking example is the proton radius puzzle where the accuracy of the spectroscopy of muonic atoms challenges traditional electron scattering measurements. The present work proposes a novel method for the determination of spatial moments from densities expressed in the momentum space. This method provides a direct access to even, odd, and more generally any real, negative and positive moment with order larger than $-3$. As an illustration, the application of this method to the electric form factor of the proton is discussed in detail.


title: The origin of quasi-periodicities during circular ribbon flares

abstract: Solar flares with a fan-spine magnetic topology can form circular ribbons. The previous study based on H\alpha line observations of the solar flares during March 05, 2014 by Xu et al. (2017) revealed uniform and continuous rotation of the magnetic fan-spine. Preliminary analysis of the flare time profiles revealed quasi-periodic pulsations (QPPs) with similar properties in hard X-rays, H\alpha, and microwaves. In this work, we address which process the observed periodicities are related to: periodic acceleration of electrons or plasma heating? QPPs are analysed in the H\alpha emission from the centre of the fan (inner ribbon R1), a circular ribbon (R2), a remote source (R3), and an elongated ribbon (R4) located between R2 and R3. The methods of correlation, Fourier, wavelet, and empirical mode decomposition are used. QPPs in H\alpha emission are compared with those in microwave and X-ray emission. We found multi-wavelength QPPs with periods around 150 s, 125 s, and 190 s. The 150-s period is seen to co-exist in H\alpha, hard X-rays, and microwave emissions, that allowed us to connect it with flare kernels R1 and R2. These kernels spatially coincide with the site of the primary flare energy release. The 125-s period is found in the H\alpha emission of the elongated ribbon R4 and the microwave emission at 5.7 GHz during the decay phase. The 190-s period is present in the emission during all flare phases in the H\alpha emission of both the remote source R3 and the elongated ribbon R4, in soft X-rays, and microwaves at 4--8 GHz. We connected the dominant 150-s QPPs with the slipping reconnection mechanism occurring in the fan. We suggested that the period of 125 s in the elongated ribbon can be caused by a kink oscillation of the outer spine connecting the primary reconnection site with the remote footpoint. The period of 190 s is associated with the 3-min sunspot oscillations.


title: Neural Loop Combiner: Neural Network Models for Assessing the Compatibility of Loops

abstract: Music producers who use loops may have access to thousands in loop libraries, but finding ones that are compatible is a time-consuming process; we hope to reduce this burden with automation. State-of-the-art systems for estimating compatibility, such as AutoMashUpper, are mostly rule-based and could be improved on with machine learn-ing. To train a model, we need a large set of loops with ground truth compatibility values. No such dataset exists, so we extract loops from existing music to obtain positive examples of compatible loops, and propose and compare various strategies for choosing negative examples. For re-producibility, we curate data from the Free Music Archive.Using this data, we investigate two types of model architectures for estimating the compatibility of loops: one based on a Siamese network, and the other a pure convolutional neural network (CNN). We conducted a user study in which participants rated the quality of the combinations suggested by each model, and found the CNN to outperform the Siamese network. Both model-based approaches outperformed the rule-based one. We have opened source the code for building the models and the dataset.


title: The surface of Gauss double points

abstract: We study the surface of Gauss double points associated to a very general quartic surface and the natural morphisms associated to it.


title: Ab-initio based models for temperature-dependent magneto-chemical interplay in bcc Fe-Mn alloys

abstract: Body-centered cubic (bcc) Fe-Mn systems are known to exhibit a complex and atypical magnetic behaviour from both experiments and 0 K electronic-structure calculations, which is due to the half-filled 3d-band of Mn. We propose effective interaction models for these alloys, which contain both atomic spin and chemical variables. They were parameterized on a set of key density functional theory (DFT) data, with the inclusion of non-collinear magnetic configurations being indispensable. Two distinct approaches, namely a knowledge-driven and a machine-learning approach have been employed for the fitting. Employing these models in atomic Monte Carlo simulations enables the prediction of magnetic and thermodynamic properties of the Fe-Mn alloys, and their coupling, as functions of temperature. This includes the decrease of Curie temperature with increasing Mn concentration, the temperature evolution of the mixing enthalpy and its correlation with the alloy magnetization. Also, going beyond the defect-free systems, we determined the binding free energy between a vacancy and a Mn atom, which is a key parameter controlling the atomic transport in Fe-Mn alloys.


title: Optimizing AD Pruning of Sponsored Search with Reinforcement Learning

abstract: Industrial sponsored search system (SSS) can be logically divided into three modules: keywords matching, ad retrieving, and ranking. During ad retrieving, the ad candidates grow exponentially. A query with high commercial value might retrieve a great deal of ad candidates such that the ranking module could not afford. Due to limited latency and computing resources, the candidates have to be pruned earlier. Suppose we set a pruning line to cut SSS into two parts: upstream and downstream. The problem we are going to address is: how to pick out the best $K$ items from $N$ candidates provided by the upstream to maximize the total system's revenue. Since the industrial downstream is very complicated and updated quickly, a crucial restriction in this problem is that the selection scheme should get adapted to the downstream. In this paper, we propose a novel model-free reinforcement learning approach to fixing this problem. Our approach considers downstream as a black-box environment, and the agent sequentially selects items and finally feeds into the downstream, where revenue would be estimated and used as a reward to improve the selection policy. To the best of our knowledge, this is first time to consider the system optimization from a downstream adaption view. It is also the first time to use reinforcement learning techniques to tackle this problem. The idea has been successfully realized in Baidu's sponsored search system, and online long time A/B test shows remarkable improvements on revenue.


title: Modular Answer Set Programming as a Formal Specification Language

abstract: In this paper, we study the problem of formal verification for Answer Set Programming (ASP), namely, obtaining a formal proof showing that the answer sets of a given (non-ground) logic program P correctly correspond to the solutions to the problem encoded by P, regardless of the problem instance. To this aim, we use a formal specification language based on ASP modules, so that each module can be proved to capture some informal aspect of the problem in an isolated way. This specification language relies on a novel definition of (possibly nested, first order) program modules that may incorporate local hidden atoms at different levels. Then, verifying the logic program P amounts to prove some kind of equivalence between P and its modular specification. Under consideration for acceptance in TPLP.


title: Activity and mood-based routing for autonomous vehicles

abstract: A significant amount of our daily lives is dedicated to driving, leading to an unavoidable exposure to driving-related stress. The rise of autonomous vehicles will likely lessen the extent of this stress and enhance the routine traveling experience. Yet, no matter how diverse they may be, current routing criteria are limited to considering only the passive preferences of a vehicle's users. Thus, to enhance the overall driving experience in autonomous vehicles, we advocate here for the diversification of routing criteria, by additionally emphasizing activity- and mood-based requirements.


title: The Role of Word-Eye-Fixations for Query Term Prediction

abstract: Throughout the search process, the user's gaze on inspected SERPs and websites can reveal his or her search interests. Gaze behavior can be captured with eye tracking and described with word-eye-fixations. Word-eye-fixations contain the user's accumulated gaze fixation duration on each individual word of a web page. In this work, we analyze the role of word-eye-fixations for predicting query terms. We investigate the relationship between a range of in-session features, in particular, gaze data, with the query terms and train models for predicting query terms. We use a dataset of 50 search sessions obtained through a lab study in the social sciences domain. Using established machine learning models, we can predict query terms with comparably high accuracy, even with only little training data. Feature analysis shows that the categories Fixation, Query Relevance and Session Topic contain the most effective features for our task.


title: eclingo: A solver for Epistemic Logic Programs

abstract: We describe eclingo, a solver for epistemic logic programs under Gelfond 1991 semantics built upon the Answer Set Programming system clingo. The input language of eclingo uses the syntax extension capabilities of clingo to define subjective literals that, as usual in epistemic logic programs, allow for checking the truth of a regular literal in all or in some of the answer sets of a program. The eclingo solving process follows a guess and check strategy. It first generates potential truth values for subjective literals and, in a second step, it checks the obtained result with respect to the cautious and brave consequences of the program. This process is implemented using the multi-shot functionalities of clingo. We have also implemented some optimisations, aiming at reducing the search space and, therefore, increasing eclingo's efficiency in some scenarios. Finally, we compare the efficiency of eclingo with two state-of-the-art solvers for epistemic logic programs on a pair of benchmark scenarios and show that eclingo generally outperforms their obtained results. Under consideration for acceptance in TPLP.


title: The Steiner Wiener index of trees with a given segment sequence

abstract: The Steiner distance of vertices in a set $S$ is the minimum size of a connected subgraph that contain these vertices. The sum of the Steiner distances over all sets $S$ of cardinality $k$ is called the Steiner $k$-Wiener index and studied as the natural generalization of the famous Wiener index in chemical graph theory. In this paper we study the extremal structures, among trees with a given segment sequence, that maximize or minimize the Steiner $k$-Wiener index. The same extremal problems are also considered for trees with a given number of segments.


title: A variable rest length impedance grasping strategy in the port-Hamiltonian framework

abstract: This work is devoted to an impedance grasping strategy for a class of standard mechanical systems in the port-Hamiltonian framework. We embed a variable rest-length of the springs of the existing impedance grasping strategy in order to achieve a stable non-contact to contact transition, and a desired grasping force. We utilize the port-Hamiltonian structure of standard mechanical systems. First, we utilize a change of variables that transforms the port-Hamiltonian system into one with a constant mass-inertia matrix. We then achieve impedance grasping control via a \emph{virtual spring} with a variable rest-length. The force that is exerted by the virtual spring leads to a dissipation term in the impedance grasping controller, which is needed to obtain a smoother non-contact to contact transition. Simulations and experimental results are given in order to motivate our results.


title: seNorge observational gridded datasets. seNorge_2018, version 20.05

abstract: seNorge_2018 is an observational gridded dataset for daily aggregated temperatures and precipitation data over the Norwegian mainland. The time interval covered spans more than 60 years, from the 1st of January 1957 to the present day. Version 20.05 of the historical archive (1957-2019) is described in this document, with special emphasis on the variations in the methods with respect to the previous version of the archive, which is version 18.12.


title: Low-frequency source imaging in an acoustic waveguide

abstract: Time-harmonic far-field source array imaging in a two-dimensional waveguide is analyzed. A low-frequency situation is considered in which the diameter of the waveguide is slightly larger than the wavelength, so that the waveguide supports a limited number of guided modes, and the diameter of the antenna array is smaller than the wavelength, so that the standard resolution formulas in open media predict very poor imaging resolution. A general framework to analyze the resolution and stability performances of such antenna arrays is introduced. It is shown that planar antenna arrays perform better (in terms of resolution and stability with respect to measurement noise) than linear (horizontal or vertical) arrays and that vertical linear arrays perform better than horizontal arrays, for a given diameter. However a fundamental limitation to imaging in waveguides is identified that is due to the form of the dispersion relation. It is intrinsic to scalar waves, whatever the complexity of the medium and the array geometry.


title: Strangeness photoproduction at the BGO-OD experiment

abstract: The BGO-OD experiment at the University of Bonn's ELSA accelerator facility in Germany is ideally suited to investigate photoproduction at extreme forward angles. It combines a highly segmented BGO electromagnetic calorimeter at central angles and an open dipole magnetic spectrometer in the forward direction. This allows the detection of forward going kaons, and complex final states of mixed charge from hyperon decays. Current projects at the BGO-OD experiment include strangeness production of $\gamma p \rightarrow K^+ \Lambda/\Sigma^0$ at forward angles, $K^0\Sigma^0$ with a deuteron target and $K^+\Lambda(1405)$ line shape and cross section measurements.


title: Renormalisation of the tensor current in lattice QCD and the $J/\psi$ tensor decay constant

abstract: Lattice QCD calculations of form factors for rare Standard Model processes such as $B \to K \ell^+ \ell^-$ use tensor currents that require renormalisation. These renormalisation factors, $Z_T$, have typically been calculated within perturbation theory and the estimated uncertainties from missing higher order terms are significant. Here we study tensor current renormalisation using lattice implementations of momentum-subtraction schemes. Such schemes are potentially more accurate but have systematic errors from nonperturbative artefacts. To determine and remove these condensate contributions we calculate the ground-state charmonium tensor decay constant, $f_{J/\psi}^T$, which is also of interest in beyond the Standard Model studies. We obtain $f_{J/\psi}^T(\bar{\text{MS}}, 2\ \mathrm{GeV})=0.3927(27)$ GeV, with ratio to the vector decay constant of 0.9569(52), significantly below 1. We also give $Z_T$ factors, converted to the $\bar{\mathrm{MS}}$ scheme, corrected for condensate contamination. This contamination reaches 1.5\% at a renormalisation scale of 2 GeV (in the preferred RI-SMOM scheme) and so must be removed for accurate results.


title: Verifying Tight Logic Programs with anthem and Vampire

abstract: This paper continues the line of research aimed at investigating the relationship between logic programs and first-order theories. We extend the definition of program completion to programs with input and output in a subset of the input language of the ASP grounder gringo, study the relationship between stable models and completion in this context, and describe preliminary experiments with the use of two software tools, anthem and vampire, for verifying the correctness of programs with input and output. Proofs of theorems are based on a lemma that relates the semantics of programs studied in this paper to stable models of first-order formulas. Under consideration for acceptance in TPLP.


title: Matsushima-Lichnerowicz type theorems of Lie algebra of automorphisms of generalized K\"ahler manifolds of symplectic type

abstract: In K\"ahler geometry, Fujiki--Donaldson show that the scalar curvature arises as the moment map for Hamiltonian diffeomorphisms. In generalized K\"ahler geometry, one does not have suitable notions of Levi-Civita connection and curvature, however there still exists a precise framework for a moment map and the scalar curvature is defined as the moment map. Then a fundamental question is to understand the existence or non-existence of generalized K\"ahler structures with constant scalar curvature. In the paper, we study the Lie algebra of automorphisms of a generalized complex manifold. We assume that $H^{1}(M)=0$. Then we show that the Lie algebra of the automorphisms is a reductive Lie algebra if a generalized complex manifold admits a generalized K\"ahler structure of symplectic type with constant scalar curvature. This is a generalization of Matsushima and Lichnerowicz theorem in K\"ahler geometry. We explicitly calculate the Lie algebra of the automorphisms of a generalized complex structure given by a cubic curve on $\Bbb C P^2$. Cubic curves are classified into nine cases (see Figure.$1 -- 9$). In the three cases as in Figures. 7, 8 and 9, the Lie algebra of the automorphisms is not reductive and there is an obstruction to the existence of generalized K\"ahler structures of symplectic type with constant scalar curvature in the three cases. We also discuss deformations starting from an ordinary K\"ahler manifold $(X,\omega)$ with constant scalar curvature and show that nontrivial generalized K\"ahler structures of symplectic type with constant scalar curvature arise as deformations if the Lie algebra of automorphisms of $X$ is trivial.


title: Learning to Denoise Historical Music

abstract: We propose an audio-to-audio neural network model that learns to denoise old music recordings. Our model internally converts its input into a time-frequency representation by means of a short-time Fourier transform (STFT), and processes the resulting complex spectrogram using a convolutional neural network. The network is trained with both reconstruction and adversarial objectives on a synthetic noisy music dataset, which is created by mixing clean music with real noise samples extracted from quiet segments of old recordings. We evaluate our method quantitatively on held-out test examples of the synthetic dataset, and qualitatively by human rating on samples of actual historical recordings. Our results show that the proposed method is effective in removing noise, while preserving the quality and details of the original music.


title: Valley-selective energy transfer between quantum dots in atomically thin semiconductors

abstract: In monolayers of transition metal dichalcogenides the nonlocal nature of the effective dielectric screening leads to large binding energies of excitons. Additional lateral confinement gives rise to exciton localization in quantum dots. By assuming parabolic confinement for both the electron and the hole, we derive model wave functions for the relative and the center-of-mass motions of electron-hole pairs, and investigate theoretically resonant energy transfer among excitons localized in two neighboring quantum dots. We quantify the probability of energy transfer for a direct-gap transition by assuming that the interaction between two quantum dots is described by a Coulomb potential, which allows us to include all relevant multipole terms of the interaction. We demonstrate the structural control of the valley-selective energy transfer between quantum dots.


title: The Truncated Metallo-dielectric Omnidirectional Reflector: Collecting Single Photons in the Fundamental Gaussian Mode with 95% Efficiency

abstract: We propose a novel antenna structure which funnels single photons from a single emitter with unprecedented efficiency into a low-divergence fundamental Gaussian mode. Our device relies on the concept of creating an omnidirectional photonic bandgap to inhibit unwanted large-angle emission and to enhance small-angle defect-guided-mode emission. The new photon collection strategy is intuitively illustrated, rigorously verified and optimized by implementing an efficient body-of-revolution finite-difference time-domain method for in-plane dipole emitters. We investigate a few antenna designs to cover various boundary conditions posed by fabrication processes or material restrictions and theoretically demonstrate that collection efficiencies into the fundamental Gaussian mode exceeding 95% are achievable. Our antennas are broadband, insensitive to fabrication imperfections and compatible with a variety of solid-state emitters such as organic molecules, quantum dots and defect centers in diamond. Unidirectional and low-divergence Gaussian-mode emission from a single emitter may enable the realization of a variety of photonic quantum computer architectures as well as highly efficient light-matter interfaces.


title: Extracting and Leveraging Nodule Features with Lung Inpainting for Local Feature Augmentation

abstract: Chest X-ray (CXR) is the most common examination for fast detection of pulmonary abnormalities. Recently, automated algorithms have been developed to classify multiple diseases and abnormalities in CXR scans. However, because of the limited availability of scans containing nodules and the subtle properties of nodules in CXRs, state-of-the-art methods do not perform well on nodule classification. To create additional data for the training process, standard augmentation techniques are applied. However, the variance introduced by these methods are limited as the images are typically modified globally. In this paper, we propose a method for local feature augmentation by extracting local nodule features using a generative inpainting network. The network is applied to generate realistic, healthy tissue and structures in patches containing nodules. The nodules are entirely removed in the inpainted representation. The extraction of the nodule features is processed by subtraction of the inpainted patch from the nodule patch. With arbitrary displacement of the extracted nodules in the lung area across different CXR scans and further local modifications during training, we significantly increase the nodule classification performance and outperform state-of-the-art augmentation methods.


title: Repulsive Casimir-Lifshitz pressure in closed cavities

abstract: We consider the interaction pressure acting on the surface of a dielectric sphere enclosed within a magnetodielectric cavity. We determine the sign of this quantity regardless of the geometry of the cavity for systems at thermal equilibrium, extending the Dzyaloshinskii-Lifshitz-Pitaevskii result for homogeneous slabs. As in previous theorems regarding Casimir-Lifshitz forces, the result is based on the scattering formalism. In this case the proof follows from the variable phase approach of electromagnetic scattering. With this, we present configurations in which both the interaction and the self-energy contribution to the pressure tend to expand the sphere.


title: Study on interstitial microwave hyperthermia with multi-slot coaxial antenna

abstract: This study focuses attention on interstitial microwave hyperthermia, which is a popular medical procedure for treatment of pathological human tissues containing tumors. In the paper, the 2D finite element analysis is used to compare the models of the coaxial antenna with one, two and three air slots. The implemented models are based on the wave equation in the TM mode coupled with the Pennes equation under a transient state condition. Moreover, the model takes into account the thermo-electrical properties of human tissue for the antenna operating frequency of 2.45 GHz. Simulation results for different tissues and various multi-slot antenna configurations have been presented. The comparative analysis for single-, double-and triple-slot coaxial antennas shown in this article does not have equivalents in the current literature in the field of hyperthermia.


title: Fast Adaptive Task Offloading in Edge Computing based on Meta Reinforcement Learning

abstract: Multi-access edge computing (MEC) aims to extend cloud service to the network edge to reduce network traffic and service latency. A fundamental problem in MEC is how to efficiently offload heterogeneous tasks of mobile applications from user equipment (UE) to MEC hosts. Recently, many deep reinforcement learning (DRL) based methods have been proposed to learn offloading policies through interacting with the MEC environment that consists of UE, wireless channels, and MEC hosts. However, these methods have weak adaptability to new environments because they have low sample efficiency and need full retraining to learn updated policies for new environments. To overcome this weakness, we propose a task offloading method based on meta reinforcement learning, which can adapt fast to new environments with a small number of gradient updates and samples. We model mobile applications as Directed Acyclic Graphs (DAGs) and the offloading policy by a custom sequence-to-sequence (seq2seq) neural network. To efficiently train the seq2seq network, we propose a method that synergizes the first order approximation and clipped surrogate objective. The experimental results demonstrate that this new offloading method can reduce the latency by up to 25% compared to three baselines while being able to adapt fast to new environments.


title: Dynamical C*-algebras and kinetic perturbations

abstract: The framework of dynamical C*-algebras for scalar fields in Minkowski space, based on local scattering operators, is extended to theories with locally perturbed kinetic terms. These terms encode information about the underlying spacetime metric, so the causality relations between the scattering operators have to be adjusted accordingly. It is shown that the extended algebra describes scalar quantum fields, propagating in locally deformed Minkowski spaces. Concrete representations of the abstract scattering operators, inducing this motion, are known to exist on Fock space. The proof that these representers also satisfy the generalized causality relations requires, however, novel arguments of a cohomological nature. They imply that Fock space representations of the extended dynamical C*-algebra exist, involving linear as well as kinetic and pointlike quadratic perturbations of the field.


title: Robust Minimum Cost Flow Problem Under Consistent Flow Constraints

abstract: The robust minimum cost flow problem under consistent flow constraints (RobMCF$\equiv$) is a new extension of the minimum cost flow (MCF) problem. In the RobMCF$\equiv$ problem, we consider demand and supply that are subject to uncertainty. For all demand realizations, however, we require that the flow value on an arc needs to be equal if it is included in the predetermined arc set given. The objective is to find feasible flows that satisfy the equal flow requirements while minimizing the maximum occurring cost among all demand realizations. In the case of a discrete set of scenarios, we derive structural results which point out the differences with the polynomial time solvable MCF problem on networks with integral capacities. In particular, the Integral Flow Theorem of Dantzig and Fulkerson does not hold. For this reason, we require integral flows in the entire paper. We show that the RobMCF$\equiv$ problem is strongly $\mathcal{NP}$-hard on acyclic digraphs by a reduction from the $(3,B2)$-Sat problem. Further, we demonstrate that the RobMCF$\equiv$ problem is weakly $\mathcal{NP}$-hard on series-parallel digraphs by providing a reduction from Partition and a pseudo-polynomial algorithm based on dynamic programming. Finally, we propose a special case on series-parallel digraphs for which we can solve the RobMCF$\equiv$ problem in polynomial time.


title: Light neutral meson production in heavy ion collisions with ALICE in the era of precision physics at the LHC

abstract: The production of light neutral mesons in AA collisions probes the physics of the Quark-Gluon Plasma (QGP), which is formed in heavy-ion collisions at the LHC. More specifically, the centrality dependent neutral meson spectra in AA collisions compared to its spectra in minimum-bias pp collisions, scaled with the number of hard collisions, provides information on the energy loss of partons traversing the QGP. The measurement allows to test with high precision the predictions of theoretical model calculations. In addition, the decay of the $\pi^{0}$ and $\eta$ mesons are the dominant backgrounds for all direct photon measurements. Therefore, pushing the limits of the precision of neutral meson production is key to learning about the temperature and space-time evolution of the QGP. In the ALICE experiment neutral mesons can be detected via their decay into two photons. The latter can be reconstructed using the two calorimeters EMCal and PHOS or via conversions in the detector material. The excellent momentum resolution of the conversion photons down to very low $p_{\mathrm{T}}$ and the high reconstruction efficiency and triggering capability of calorimeters at high $p_{\mathrm{T}}$, allow us to measure the $p_{\mathrm{T}}$ dependent invariant yield of light neutral mesons over a wide kinematic range. Combining state-of-the-art reconstruction techniques with the high statistics delivered by the LHC in Run 2 gives us the opportunity to enhance the precision of our measurements. In these proceedings, new ALICE run 2 preliminary results for neutral meson production in pp and Pb--Pb collisions at LHC energies are presented.