title: Double-Layer Game Based Wireless Charging Scheduling for Electric Vehicles

abstract: Wireless charging technology provides a solution to the insufficient battery life of electric vehicles (EVs). However, the conflict of interests between wireless charging lanes (WCLs) and EVs is difficult to resolve. In the day-ahead electricity market, considering the revenue of WCLs caused by the deviation between actual electricity sales and pre-purchased electricity, as well as endurance and traveling experience of EVs, this paper proposes a charging scheduling algorithm based on a double-layer game model. In lower layer, the potential game is used to model the multi-vehicle game of vehicle charging planning. A shortest path algorithm based on the three-way greedy strategy is designed to solve in dynamic charging sequence problem, and the improved particle swarm optimization algorithm are used to solve the variable ordered potential game. In the upper layer, the reverse Stackelberg game is adopted to harmonize the cost of wireless charging lanes and electric vehicles. As the leader, WCLs stimulate EVs to carry out reasonable charing action by electricity price regulation. As the follower, EVs make the best charging decisions for a given electricity price. An iteration algorithm is designed to ensure the Nash equilibrium convergence of this game. The simulation results show that the double-layer game model proposed in this paper can effectively suppress the deviation between the actual electricity sales and the pre-sale of the charging lane caused by the disorderly charging behavior of the vehicle, and ensure the high endurance and traveling experience of EVs.


title: Multi-Regge Limit of the Two-Loop Five-Point Amplitudes in $\mathcal{N} = 4$ Super Yang-Mills and $\mathcal{N} = 8$ Supergravity

abstract: In previous work, the two-loop five-point amplitudes in $\mathcal{N}=4$ super Yang-Mills theory and $\mathcal{N}=8$ supergravity were computed at symbol level. In this paper, we compute the full functional form. The amplitudes are assembled and simplified using the analytic expressions of the two-loop pentagon integrals in the physical scattering region. We provide the explicit functional expressions, and a numerical reference point in the scattering region. We then calculate the multi-Regge limit of both amplitudes. The result is written in terms of an explicit transcendental function basis. For certain non-planar colour structures of the $\mathcal{N}=4$ super Yang-Mills amplitude, we perform an independent calculation based on the BFKL effective theory. We find perfect agreement. We comment on the analytic properties of the amplitudes.


title: Completing the quantum formalism in a contextually objective framework

abstract: In standard quantum mechanics (QM), a state vector $| \psi \rangle$ may belong to infinitely many different orthogonal bases, as soon as the dimension $N$ of the Hilbert space is at least three. On the other hand, a complete physical observable $A$ (with no degeneracy left) is associated with a $N$-dimensional orthogonal basis of eigenvectors. In an idealized case, measuring $A$ again and again will give repeatedly the same result, with the same eigenvalue. Let us call this repeatable result a modality $\mu$, and the corresponding eigenstate $| \psi \rangle$. A question is then: does $| \psi \rangle$ give a complete description of $\mu$ ? The answer is obviously no, since $| \psi \rangle$ does not specify the full observable $A$ that allowed us to obtain $\mu$; hence the physical description given by $| \psi \rangle$ is incomplete, as claimed by Einstein, Podolsky and Rosen in their famous article in 1935. Here we want to spell out this provocative statement, and in particular to answer the questions: if $| \psi \rangle$ is an incomplete description of $\mu$, what does it describe ? is it possible to obtain a complete description, maybe algebraic ? Our conclusion is that the incompleteness of standard QM is due to its attempt to describe systems without contexts, whereas both are always required, even if they can be separated outside the measurement periods.


title: On the robustness of sub-shell closures: A high angular momentum analysis of the titanium isotopes

abstract: The potential sub-shell closures N = 32 and N = 34 are analyzed at high spins in the titanium isotopes within the generalized beyond mean field theory considering triaxial deformations and the angular frequency as generator coordinates together with the particle number and the angular momentum conservation. A good description of bulk properties, high angular momenta spectra and transition probabilities is obtained. The outcome at high spin in these nuclei is consistent with the magic number character of N = 32 but not of N = 34.


title: Directional Message Passing for Molecular Graphs

abstract: Graph neural networks have recently achieved great successes in predicting quantum mechanical properties of molecules. These models represent a molecule as a graph using only the distance between atoms (nodes). They do not, however, consider the spatial direction from one atom to another, despite directional information playing a central role in empirical potentials for molecules, e.g. in angular potentials. To alleviate this limitation we propose directional message passing, in which we embed the messages passed between atoms instead of the atoms themselves. Each message is associated with a direction in coordinate space. These directional message embeddings are rotationally equivariant since the associated directions rotate with the molecule. We propose a message passing scheme analogous to belief propagation, which uses the directional information by transforming messages based on the angle between them. Additionally, we use spherical Bessel functions and spherical harmonics to construct theoretically well-founded, orthogonal representations that achieve better performance than the currently prevalent Gaussian radial basis representations while using fewer than 1/4 of the parameters. We leverage these innovations to construct the directional message passing neural network (DimeNet). DimeNet outperforms previous GNNs on average by 76% on MD17 and by 31% on QM9. Our implementation is available online.


title: Finding online neural update rules by learning to remember

abstract: We investigate learning of the online local update rules for neural activations (bodies) and weights (synapses) from scratch. We represent the states of each weight and activation by small vectors, and parameterize their updates using (meta-) neural networks. Different neuron types are represented by different embedding vectors which allows the same two functions to be used for all neurons. Instead of training directly for the objective using evolution or long term back-propagation, as is commonly done in similar systems, we motivate and study a different objective: That of remembering past snippets of experience. We explain how this objective relates to standard back-propagation training and other forms of learning. We train for this objective using short term back-propagation and analyze the performance as a function of both the different network types and the difficulty of the problem. We find that this analysis gives interesting insights onto what constitutes a learning rule. We also discuss how such system could form a natural substrate for addressing topics such as episodic memories, meta-learning and auxiliary objectives.


title: Weight Priors for Learning Identity Relations

abstract: Learning abstract and systematic relations has been an open issue in neural network learning for over 30 years. It has been shown recently that neural networks do not learn relations based on identity and are unable to generalize well to unseen data. The Relation Based Pattern (RBP) approach has been proposed as a solution for this problem. In this work, we extend RBP by realizing it as a Bayesian prior on network weights to model the identity relations. This weight prior leads to a modified regularization term in otherwise standard network learning. In our experiments, we show that the Bayesian weight priors lead to perfect generalization when learning identity based relations and do not impede general neural network learning. We believe that the approach of creating an inductive bias with weight priors can be extended easily to other forms of relations and will be beneficial for many other learning tasks.


title: Metastability in the Potts model: exact results in the large q limit

abstract: We study the metastable equilibrium properties of the Potts model with heat-bath transition rates using a novel expansion. The method is especially powerful for large number of state spin variables and it is notably accurate in a rather wide range of temperatures around the phase transition.


title: Structure preserving discretisations of gradient flows for axisymmetric two-phase biomembranes

abstract: The form and evolution of multi-phase biomembranes is of fundamental importance in order to understand living systems. In order to describe these membranes, we consider a mathematical model based on a Canham--Helfrich--Evans two-phase elastic energy, which will lead to fourth order geometric evolution problems involving highly nonlinear boundary conditions. We develop a parametric finite element method in an axisymmetric setting. Using a variational approach, it is possible to derive weak formulations for the highly nonlinear boundary value problems such that energy decay laws, as well as conservation properties, hold for spatially discretised problems. We will prove these properties and show that the fully discretised schemes are well-posed. Finally, several numerical computations demonstrate that the numerical method can be used to compute complex, experimentally observed two-phase biomembranes.

categories: math.NA cs.NA physics.bio-ph physics.comp-ph


abstract: This article studies Gauss-Newton-type methods for over-determined systems to find solutions to bilevel programming problems. To proceed, we use the lower-level value function reformulation of bilevel programs and consider necessary optimality conditions under appropriate assumptions. First under strict complementarity for upper- and lower-level feasibility constraints, we prove the convergence of a Gauss-Newton-type method in computing points satisfying these optimality conditions under additional tractable qualification conditions. Potential approaches to address the shortcomings of the method are then proposed, leading to alternatives such as the pseudo or smoothing Gauss-Newton-type methods for bilevel optimization. Our numerical experiments conducted on 124 examples from the recently released Bilevel Optimization LIBrary (BOLIB) compare the performance of our method under different scenarios and show that it is a tractable approach to solve bilevel optimization problems with continuous variables.


title: Wasserstein sensitivity of Risk and Uncertainty Propagation

abstract: When propagating uncertainty in the data of differential equations, the probability laws describing the uncertainty are typically themselves subject to uncertainty. We present a sensitivity analysis of uncertainty propagation for differential equations with random inputs to perturbations of the input measures. We focus on the elliptic diffusion equation with random coefficient and source term, for which the probability measure of the solution random field is shown to be Lipschitz-continuous in both total variation and Wasserstein distance. The result generalizes to the solution map of any differential equation with locally H\"older dependence on input parameters. In addition, these results extend to Lipschitz continuous quantities of interest of the solution as well as to coherent risk functionals of these applied to evaluate the impact of their uncertainty. Our analysis is based on the sensitivity of risk functionals and pushforward measures for locally H\"older mappings with respect to the Wasserstein distance of perturbed input distributions. The established results are applied, in particular, to the case of lognormal diffusion and the truncation of series representations of input random fields.


title: A hyperelastic model for simulating cells in flow

abstract: In the emerging field of 3D bioprinting, cell damage due to large deformations is considered a main cause for cell death and loss of functionality inside the printed construct. Those deformations, in turn, strongly depend on the mechano-elastic response of the cell to the hydrodynamic stresses experienced during printing. In this work, we present a numerical model to simulate the deformation of biological cells in arbitrary three-dimensional flows. We consider cells as an elastic continuum according to the hyperelastic Mooney-Rivlin model. We then employ force calculations on a tetrahedralized volume mesh. To calibrate our model, we perform a series of FluidFM(R) compression experiments with REF52 cells demonstrating that all three parameters of the Mooney-Rivlin model are required for a good description of the experimental data at very large deformations up to 80%. In addition, we validate the model by comparing to previous AFM experiments on bovine endothelial cells and artificial hydrogel particles. To investigate cell deformation in flow, we incorporate our model into Lattice Boltzmann simulations via an Immersed-Boundary algorithm. In linear shear flows, our model shows excellent agreement with analytical calculations and previous simulation data.


title: Morfessor EM+Prune: Improved Subword Segmentation with Expectation Maximization and Pruning

abstract: Data-driven segmentation of words into subword units has been used in various natural language processing applications such as automatic speech recognition and statistical machine translation for almost 20 years. Recently it has became more widely adopted, as models based on deep neural networks often benefit from subword units even for morphologically simpler languages. In this paper, we discuss and compare training algorithms for a unigram subword model, based on the Expectation Maximization algorithm and lexicon pruning. Using English, Finnish, North Sami, and Turkish data sets, we show that this approach is able to find better solutions to the optimization problem defined by the Morfessor Baseline model than its original recursive training algorithm. The improved optimization also leads to higher morphological segmentation accuracy when compared to a linguistic gold standard. We publish implementations of the new algorithms in the widely-used Morfessor software package.


title: A least squares radial basis function finite difference method with improved stability properties

abstract: Localized collocation methods based on radial basis functions (RBFs) for elliptic problems appear to be non-robust in the presence of Neumann boundary conditions. In this paper we overcome this issue by formulating the RBF-generated finite difference method in a discrete least-squares setting instead. This allows us to prove high-order convergence under node refinement and to numerically verify that the least-squares formulation is more accurate and robust than the collocation formulation. The implementation effort for the modified algorithm is comparable to that for the collocation method.


title: DeFINE: Delayed Feedback based Immersive Navigation Environment for Studying Goal-Directed Human Navigation

abstract: With the advent of consumer-grade products for presenting an immersive virtual environment (VE), there is a growing interest in utilizing VEs for testing human navigation behavior. However, preparing a VE still requires a high level of technical expertise in computer graphics and virtual reality, posing a significant hurdle to embracing the emerging technology. To address this issue, this paper presents Delayed Feedback based Immersive Navigation Environment (DeFINE), a framework that allows for easy creation and administration of navigation tasks within customizable VEs via intuitive graphical user interfaces and simple settings files. Importantly, DeFINE has a built-in capability to provide performance feedback to participants during an experiment, a feature that is critically missing in other similar frameworks. To show the usability of DeFINE from both experimentalists' and participants' perspectives, a demonstration was made in which participants navigated to a hidden goal location with feedback that differentially weighted speed and accuracy of their responses. In addition, the participants evaluated DeFINE in terms of its ease of use, required workload, and proneness to induce cybersickness. The demonstration exemplified typical experimental manipulations DeFINE accommodates and what types of data it can collect for characterizing participants' task performance. With its out-of-the-box functionality and potential customizability due to open-source licensing, DeFINE makes VEs more accessible to many researchers.


title: Bundle Adjustment on a Graph Processor

abstract: Graph processors such as Graphcore's Intelligence Processing Unit (IPU) are part of the major new wave of novel computer architecture for AI, and have a general design with massively parallel computation, distributed on-chip memory and very high inter-core communication bandwidth which allows breakthrough performance for message passing algorithms on arbitrary graphs. We show for the first time that the classical computer vision problem of bundle adjustment (BA) can be solved extremely fast on a graph processor using Gaussian Belief Propagation. Our simple but fully parallel implementation uses the 1216 cores on a single IPU chip to, for instance, solve a real BA problem with 125 keyframes and 1919 points in under 40ms, compared to 1450ms for the Ceres CPU library. Further code optimisation will surely increase this difference on static problems, but we argue that the real promise of graph processing is for flexible in-place optimisation of general, dynamically changing factor graphs representing Spatial AI problems. We give indications of this with experiments showing the ability of GBP to efficiently solve incremental SLAM problems, and deal with robust cost functions and different types of factors.


title: Semi-supervised Development of ASR Systems for Multilingual Code-switched Speech in Under-resourced Languages

abstract: This paper reports on the semi-supervised development of acoustic and language models for under-resourced, code-switched speech in five South African languages. Two approaches are considered. The first constructs four separate bilingual automatic speech recognisers (ASRs) corresponding to four different language pairs between which speakers switch frequently. The second uses a single, unified, five-lingual ASR system that represents all the languages (English, isiZulu, isiXhosa, Setswana and Sesotho). We evaluate the effectiveness of these two approaches when used to add additional data to our extremely sparse training sets. Results indicate that batch-wise semi-supervised training yields better results than a non-batch-wise approach. Furthermore, while the separate bilingual systems achieved better recognition performance than the unified system, they benefited more from pseudo-labels generated by the five-lingual system than from those generated by the bilingual systems.


title: Knowledge graph based methods for record linkage

abstract: Nowadays, it is common in Historical Demography the use of individual-level data as a consequence of a predominant life-course approach for the understanding of the demographic behaviour, family transition, mobility, etc. Record linkage advance is key in these disciplines since it allows to increase the volume and the data complexity to be analyzed. However, current methods are constrained to link data coming from the same kind of sources. Knowledge graph are flexible semantic representations, which allow to encode data variability and semantic relations in a structured manner. In this paper we propose the knowledge graph use to tackle record linkage task. The proposed method, named {\bf WERL}, takes advantage of the main knowledge graph properties and learns embedding vectors to encode census information. These embeddings are properly weighted to maximize the record linkage performance. We have evaluated this method on benchmark data sets and we have compared it to related methods with stimulating and satisfactory results.


title: A contact geometry approach to symmetries in systems with dissipation

abstract: Systems with dissipation can be described using contact geometry. We introduce the concepts of symmetries and dissipation laws for contact Hamiltonian systems and study the relation between them. This is an ongoing collaboration with Xavier Gr\`acia, Miguel C. Mu\~noz-Lecanda, Xavier Rivas and Narciso Rom\'an-Roy.


title: Plasma Lenses: Possible alternative OMD at the ILC

abstract: In the baseline design of the International Linear Collider (ILC) an undulator-based source is foreseen for the positron source in order to match the physics requirements. The recently chosen first energy stage with sqrt(s)=250 GeV requires high luminosity and imposes an effort for all positron source designs at high-energy colliders. In this paper we perform a simulation study and adopt the new technology of plasma lenses to capture the positrons generated by the undulator photons and to create the required high luminosity positron beam.


title: Sharp Interface Limit of a Stokes/Cahn-Hilliard System, Part I: Convergence Result

abstract: We consider the sharp interface limit of a coupled Stokes/Cahn\textendash Hilliard system in a two dimensional, bounded and smooth domain, i.e., we consider the limiting behavior of solutions when a parameter $\epsilon>0$ corresponding to the thickness of the diffuse interface tends to zero. We show that for sufficiently short times the solutions to the Stokes/Cahn\textendash Hilliard system converge to solutions of a sharp interface model, where the evolution of the interface is governed by a Mullins\textendash Sekerka system with an additional convection term coupled to a two\textendash phase stationary Stokes system with the Young-Laplace law for the jump of an extra contribution to the stress tensor, representing capillary stresses. We prove the convergence result by estimating the difference between the exact and an approximate solutions. To this end we make use of modifications of spectral estimates shown by X.\ Chen for the linearized Cahn-Hilliard operator. The treatment of the coupling terms requires careful estimates, the use of the refinements of the latter spectral estimate and a suitable structure of the approximate solutions, which will be constructed in the second part of this contribution.


title: Multiuser Precoding for Sum-Rate Maximization in Relay-Aided mmWave Communications

abstract: Relay-aided transmission is envisioned as a key strategy to combat severe path loss and link blockages emerging as unique challenges in millimeter-wave (mmWave) communications. This work considers a relay-aided multiuser mmWave communications scenario aiming at maximizing the sum rate through optimal transmit and relay precoder design. We propose a novel joint precoder design strategy, which exploits weighted minimum mean-square error (WMMSE) using its equivalency to sum-rate maximization. We obtain closed form expressions of transmit and relay precoders, and propose to compute them through alternating-optimization iterations without having to resort to complicated numerical optimization techniques. Numerical results verify the superiority of the proposed precoding strategy as compared to conventional precoding schemes.


title: Strong-field ionization of atoms with $p^3$ valence shell: Two versus three active electrons

abstract: For a model atom with the $p^3$ valence shell we construct consistent three- and two-active electrons models enabling their direct comparison. Within these models, we study the influence of the third active electron on the double ionization yield in strong femtosecond laser fields. We reveal proportionality between double ionization signals obtained with both models in the field intensity region where non-sequential ionization dominates. We derive analytically a correspondence rule connecting the double ionization yields obtained within the three- and two-active electrons models.


title: A countably compact topological group with the non-countably pracompact square

abstract: Under Martin's Axiom we construct a Boolean countably compact topological group whose square is not countably pracompact.


title: Triple Memory Networks: a Brain-Inspired Method for Continual Learning

abstract: Continual acquisition of novel experience without interfering previously learned knowledge, i.e. continual learning, is critical for artificial neural networks, but limited by catastrophic forgetting. A neural network adjusts its parameters when learning a new task, but then fails to conduct the old tasks well. By contrast, the brain has a powerful ability to continually learn new experience without catastrophic interference. The underlying neural mechanisms possibly attribute to the interplay of hippocampus-dependent memory system and neocortex-dependent memory system, mediated by prefrontal cortex. Specifically, the two memory systems develop specialized mechanisms to consolidate information as more specific forms and more generalized forms, respectively, and complement the two forms of information in the interplay. Inspired by such brain strategy, we propose a novel approach named triple memory networks (TMNs) for continual learning. TMNs model the interplay of hippocampus, prefrontal cortex and sensory cortex (a neocortex region) as a triple-network architecture of generative adversarial networks (GAN). The input information is encoded as specific representation of the data distributions in a generator, or generalized knowledge of solving tasks in a discriminator and a classifier, with implementing appropriate brain-inspired algorithms to alleviate catastrophic forgetting in each module. Particularly, the generator replays generated data of the learned tasks to the discriminator and the classifier, both of which are implemented with a weight consolidation regularizer to complement the lost information in generation process. TMNs achieve new state-of-the-art performance on a variety of class-incremental learning benchmarks on MNIST, SVHN, CIFAR-10 and ImageNet-50, comparing with strong baseline methods.


title: M-separable spaces of functions are productive in the Miller model

abstract: We prove that in the Miller model, every $M$-separable space of the form $C_p(X)$, where $X$ is metrizable and separable, is productively $M$-separable, i.e., $C_p(X)\times Y$ is $M$-separable for every countable $M$-separable $Y$.


title: On the equivalence of the Hermitian eigenvalue problem and hypergraph edge elimination

abstract: It is customary to identify sparse matrices with the corresponding adjacency or incidence graph. For the solution of linear systems of equations using Gaussian elimination, the representation by its adjacency graph allows a symbolic computation that can be used to predict memory footprints and enables the determination of near-optimal elimination orderings based on heuristics. The Hermitian eigenvalue problem on the other hand seems to evade such treatment at first glance due to its inherent iterative nature. In this paper we prove this assertion wrong by showing the equivalence of the Hermitian eigenvalue problem with a symbolic edge elimination procedure. A symbolic calculation based on the incidence graph of the matrix can be used in analogy to the symbolic phase of Gaussian elimination to develop heuristics which reduce memory footprint and computations. Yet, we also show that the question of an optimal elimination strategy remains NP-hard, in analogy to the linear systems case.


title: Momentum-Dependent Mass and AC Hall Conductivity of Quantum Anomalous Hall Insulators and Their Relation to the Parity Anomaly

abstract: The Dirac mass of a two-dimensional QAH insulator is directly related to the parity anomaly of planar quantum electrodynamics, as shown initially in Phys. Rev. Lett. 52, 18 (1984). In this work, we connect the additional momentum-dependent Newtonian mass term of a QAH insulator to the parity anomaly. By calculating the effective action, we reveal that the Newtonian mass term acts like a parity-breaking element of a high-energy regularization scheme. As such, it is directly related to the parity anomaly. In addition, the calculation of the effective action allows us to determine the finite frequency correction to the DC Hall conductivity of a QAH insulator. We derive that the leading order AC correction contains a term proportional to the torsional Hall viscosity. This paves the way to measure this non-dissipative transport coefficient via electrical or magneto-optical experiments. Moreover, we prove that the Newtonian mass significantly changes the resonance structure of the AC Hall conductivity in comparison to pure Dirac systems like graphene.


title: A P2P Context Lookup Service for Multiple Smart Spaces

abstract: Context information has emerged as an important resource to enable autonomy and flexibility of pervasive applications. The widespread use of context information necessitates efficient wide-area lookup services. In this paper, we present the design and implementation of a peer-to-peer context lookup system to support contextaware applications over multiple smart spaces. Our system provides a distributed repository for context storage, and a semantic peer-to-peer network for context lookup. Collaborative context-aware applications that utilize different context information in multiple smart spaces can be easily built by invoking a pull or push service provided by our system. We outline the design and implementation of our system, and validate our system through the development of cross-domain applications


title: Exact and non-exact Fermi-Pasta-Ulam-Tsingou recurrences in a Heisenberg ferromagnet

abstract: We visualize the Fermi-Pasta-Ulam-Tsingou (FPUT) recurrence in a classical Heisenberg ferromagnetic (HF) spin chain by exploiting its gauge eq uivalence to the nonlinear Schr\"{o}dinger equation (NLSE). We discuss two types of spatially periodic breather excitations in the spin chain, that are associated with: (I) Akhmediev breather, and (II) Galilean transformed Akhmediev breather. The recurrence in the former is exact in the sense that the initial and final states are identical. In the later, the spin chain undergoes an additional global rotation during the rec urrence process, which makes the initial and final states distinguishable. Both the complex solutions (I) and (II) nevertheless show a definit e phase shift during the recurrence process. A one-to-one correspondence between HF spin chain and the NLSE seems missing by virtue of the clo seness of the FPUT recurrence.


title: Space-time dependence of corona virus (COVID-19) outbreak

abstract: We analyse the data for the global corona virus (COVID-19) outbreak using the results of a previously studied Susceptible-Infected-Removed (SIR) model of epidemic spreading on Euclidean networks. We also directly study the correlation of the distance from the epicenter and the number of cases. An inverse square law is seen to exist approximately. The studies are made for China and the rest of the world separately.


title: Updating structured matrix pencils with no spillover effect on unmeasured spectral data and deflating pair

abstract: This paper is devoted to the study of perturbations of a matrix pencil, structured or unstructured, such that a perturbed pencil will reproduce a given deflating pair while maintaining the invariance of the complementary deflating pair. If the latter is unknown, it is referred to as no spillover updating. The specific structures considered in this paper include symmetric, Hermitian, $\star$-even, $\star$-odd and $\star$-skew-Hamiltonian/Hamiltonian pencils. This study is motivated by the well-known Finite Element Model Updating Problem in structural dynamics, where the given deflating pair represents a set of given eigenpairs and the complementary deflating pair represents the remaining larger set of eigenpairs. Analytical expressions of structure preserving no spillover updating are determined for deflating pairs of structured matrix pencils. Besides, parametric representations of all possible unstructured perturbations are obtained when the complementary deflating pair of a given unstructured pencil is known. In addition, parametric expressions are obtained for structured updating with certain desirable structures which relate to existing results on structure preservation of a symmetric positive definite or semi definite matrix pencil.


title: Demographic Bias in Presentation Attack Detection of Iris Recognition Systems

abstract: With the widespread use of biometric systems, the demographic bias problem raises more attention. Although many studies addressed bias issues in biometric verification, there are no works that analyze the bias in presentation attack detection (PAD) decisions. Hence, we investigate and analyze the demographic bias in iris PAD algorithms in this paper. To enable a clear discussion, we adapt the notions of differential performance and differential outcome to the PAD problem. We study the bias in iris PAD using three baselines (hand-crafted, transfer-learning, and training from scratch) using the NDCLD-2013 database. The experimental results point out that female users will be significantly less protected by the PAD, in comparison to males.


title: How and Why Did Probability Theory Come About?

abstract: This paper is a top down historical perspective on the several phases in the development of probability from its prehistoric origins to its modern day evolution, as one of the key methodologies in artificial intelligence, data science, and machine learning. It is written in honor of Barry Arnold's birthday for his many contributions to statistical theory and methodology. Despite the fact that much of Barry's work is technical, a descriptive document to mark his achievements should not be viewed as being out of line. Barry's dissertation adviser at Stanford (he received a Ph.D. in Statistics there) was a philosopher of Science who dug deep in the foundations and roots of probability, and it is this breadth of perspective is what Barry has inherent. The paper is based on lecture materials compiled by the first author from various published sources, and over a long period of time. The material below gives a limited list of references, because the cast of characters is many, and their contributions are a part of the historical heritage of those of us who are interested in probability, statistics, and the many topics they have spawned.


title: On the quantitative solution stability of parameterized set-valued inclusions

abstract: The subject of the present paper are stability properties of the solution set to set-valued inclusions. The latter are problems emerging in robust optimization and mathematical economics, which can not be cast in traditional generalized equations. The analysis here reported focuses on several quantitative forms of semicontinuity for set-valued mappings, widely investigated in variational analysis, which include, among others, calmness. Sufficient conditions for the occurrence of these properties in the case of the solution mapping to a parameterized set-valued inclusion are established. Consequences on the calmness of the optimal value function, in the context of parametric optimization, are explored. Some specific tools for the analysis of the sufficient conditions, in the case of set-valued inclusion with concave data, are provided in a Banach space setting.


title: Instabilities and order reduction phenomenon of an interpolation based multirate Runge-Kutta-Chebyshev method

abstract: An explicit stabilized additive Runge-Kutta scheme is proposed. The method is based on a splitting of the problem in severely stiff and mildly stiff subproblems, which are then independently solved using a Runge-Kutta-Chebyshev scheme. The number of stages is adapted according to the subproblem's stiffness and leads to asynchronous integration needing ghost values. Whenever ghost values are needed, linear interpolation in time between stages is employed. One important application of the scheme is for parabolic partial differential equations discretized on a nonuniform grid. The goal of this paper is to introduce the scheme and prove on a model problem that linear interpolations trigger instabilities into the method. Furthermore, we show that it suffers from an order reduction phenomenon. The theoretical results are confirmed numerically.


title: Uncovering Hidden Semantics of Set Information in Knowledge Bases

abstract: Knowledge Bases (KBs) contain a wealth of structured information about entities and predicates. This paper focuses on set-valued predicates, i.e., the relationship between an entity and a set of entities. In KBs, this information is often represented in two formats: (i) via counting predicates such as numberOfChildren and staffSize, that store aggregated integers, and (ii) via enumerating predicates such as parentOf and worksFor, that store individual set memberships. Both formats are typically complementary: unlike enumerating predicates, counting predicates do not give away individuals, but are more likely informative towards the true set size, thus this coexistence could enable interesting applications in question answering and KB curation. In this paper we aim at uncovering this hidden knowledge. We proceed in two steps. (i) We identify set-valued predicates from a given KB predicates via statistical and embedding-based features. (ii) We link counting predicates and enumerating predicates by a combination of co-occurrence, correlation and textual relatedness metrics. We analyze the prevalence of count information in four prominent knowledge bases, and show that our linking method achieves up to 0.55 F1 score in set predicate identification versus 0.40 F1 score of a random selection, and normalized discounted gains of up to 0.84 at position 1 and 0.75 at position 3 in relevant predicate alignments. Our predicate alignments are showcased in a demonstration system available at https://counqer.mpi-inf.mpg.de/spo.


title: Solvent-induced morphological transitions in methacrylate-based block-copolymer aggregates

abstract: Poly(ethylene oxide)-$\textit{b}$-poly(butylmethacrylate) (PEO-$\textit{b}$-PBMA) copolymers have recently been identified as excellent building blocks for the synthesis of hierarchical nanoporous materials. Nevertheless, while experiments have unveiled their potential to form bicontinuous phases and vesicles, a general picture of their phase and aggregation behavior is still missing. By performing Molecular Dynamics simulations, we here apply our recent coarse-grained model of PEO-$\textit{b}$-PBMA to investigate its self-assembly in water and tetrahydrofuran (THF) and unveil the occurrence of a wide spectrum of mesophases. In particular, we find that the morphological phase diagram of this ternary system incorporates bicontinuous and lamellar phases at high copolymer concentrations, and finite-size aggregates, such as dispersed sheets or disk-like aggregates, spherical vesicles and rod-like vesicles, at low copolymer concentrations. The morphology of these mesophases can be controlled by tuning the THF/water relative content, which has a striking effect on the kinetics of self-assembly as well as on the resulting equilibrium structures. Our results disclose the fascinating potential of PEO-$\textit{b}$-PBMA copolymers for the templated synthesis of nanostructured materials and offer a guideline to fine-tune their properties by accurately selecting the THF/water ratio.


title: Comparing the Properties of ICME-Induced Forbush Decreases at Earth and Mars

abstract: Forbush decreases (FDs), which are short-term drops in the flux of galactic cosmic rays, are caused by the shielding from strong and/or turbulent magnetic structures in the solar wind, especially interplanetary coronal mass ejections (ICMEs) and their associated shocks, as well as corotating interaction regions. Such events can be observed at Earth, for example, using neutron monitors, and also at many other locations in the solar system, such as on the surface of Mars with the Radiation Assessment Detector instrument onboard Mars Science Laboratory. They are often used as a proxy for detecting the arrival of ICMEs or corotating interaction regions, especially when sufficient in situ solar wind measurements are not available. We compare the properties of FDs observed at Earth and Mars, focusing on events produced by ICMEs. We find that FDs at both locations show a correlation between their total amplitude and the maximum hourly decrease, but with different proportionality factors. We explain this difference using theoretical modeling approaches and suggest that it is related to the size increase of ICMEs, and in particular their sheath regions, en route from Earth to Mars. From the FD data, we can derive the sheath broadening factor to be between about 1.5 and 1.9, agreeing with our theoretical considerations. This factor is also in line with previous measurements of the sheath evolution closer to the Sun.


title: What is "Intelligent" in Intelligent User Interfaces? A Meta-Analysis of 25 Years of IUI

abstract: This reflection paper takes the 25th IUI conference milestone as an opportunity to analyse in detail the understanding of intelligence in the community: Despite the focus on intelligent UIs, it has remained elusive what exactly renders an interactive system or user interface "intelligent", also in the fields of HCI and AI at large. We follow a bottom-up approach to analyse the emergent meaning of intelligence in the IUI community: In particular, we apply text analysis to extract all occurrences of "intelligent" in all IUI proceedings. We manually review these with regard to three main questions: 1) What is deemed intelligent? 2) How (else) is it characterised? and 3) What capabilities are attributed to an intelligent entity? We discuss the community's emerging implicit perspective on characteristics of intelligence in intelligent user interfaces and conclude with ideas for stating one's own understanding of intelligence more explicitly.


title: Radial Fulde-Ferrell-Larkin-Ovchinnikov state in a population-imbalanced Fermi gas

abstract: The possibility of a Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) state in a population imbalanced Fermi gas with a vortex is proposed. Employing the Bogoliubov-de-Gennes formalism we self-consistently determine the superfluid order parameter and the particle number density in the presence of a vortex. We find that as increasing population imbalance, the superfluid order parameter spatially oscillates around the vortex core in the radial direction, indicating that the FFLO state becomes stable. We find that the radial FFLO states cover a wide region of the phase diagram in the weak-coupling regime at $T=0$ in contrast to the conventional case without a vortex. We show that this inhomogeneous superfluidity can be detected as peak structures of the local polarization rate associated with the node structure of the superfluid order parameter. Since the vortex in the 3D Fermi gas with population imbalance has been already realized in experiments, our proposal is a promising candidate of the FFLO state in cold atom physics.


title: A Neural Network Based Framework for Archetypical Sound Synthesis

abstract: This paper describes a preliminary approach to algorithmically reproduce the archetypical structure adopted by humans to classify sounds. In particular, we propose an approach to predict the human perceived chaos/order level in a sound and synthesize new timbres that present the desired amount of this feature. We adopted a Neural Network based method, in order to exploit its inner predisposition to model perceptive and abstract features. We finally discuss the obtained accuracy and possible implications in creative contexts.


title: Indium tin oxide films meet circular Rydberg atoms: prospects for novel quantum simulation schemes

abstract: Long-lived circular Rydberg atoms are picking up increasing interest for boosting coherence times in Rydberg-based quantum simulation. We elaborate a novel approach to stabilize circular Rydberg states against spontaneous and blackbody-induced decay using a suppression capacitor made from indium tin oxide (ITO) thin films, which combine reflection of microwaves with transparency in the visible spectral range. To this end, we perform detailed characterization of such films using complementary spectroscopic methods at GHz and THz frequencies and identify conditions that allow for reaching circular-state lifetimes up to tens of milliseconds in a room-temperature environment. We discuss prospects of our findings in view of the quest for quantum simulations with high-$n$ circular Rydberg states at room temperature.


title: Mathematical Analysis of the Photo-acoustic imaging modality using resonating dielectric nanoparticles: The 2D TM-model

abstract: We deal with the photoacoustic imaging modality using dielectric nanoparticles as contrast agents. Exciting the heterogeneous tissue, localized in a bounded domain $\Omega$, with an electromagnetic wave, at a given incident frequency, creates heat in its surrounding which in turn generates an acoustic pressure wave (or fluctuations). The acoustic pressure can be measured in the accessible region $\partial \Omega$ surrounding the tissue of interest. The goal is then to extract information about the optical properties (i.e. the permittivity and conductivity) of this tissue from these measurements. We describe two scenarios. In the first one, we inject single nanoparticles while in the second one we inject couples of closely spaced nanoparticles (i.e. dimers). This can be done using dielectric nanoparticles enjoying high contrasts of both its electric permittivity and conductivity. These results are possible using frequencies of incidence close to the resonances of the used dielectric nanoparticles. This allows us to solve the photoacoustic inverse problem with direct approximation formulas linking the measured pressure to the optical properties of the tissue. The results are justified in the 2D TM-model.


title: Dynamical Transitions of Supercooled Water in Graphene oxide Nanopores: Influence of Surface Hydrophobicity

abstract: Molecular dynamics simulations are carried out to explore the dynamical crossover phenomenon in strongly confined and mildly supercooled water in graphene oxide nanopores. In contrast to studies where confinement is used to study the properties of bulk water, we are interested in the dynamical transitions for strongly confined water in the absence of any bulk-like water. The influence of the physicochemical nature of the graphene oxide surface on the dynamical transitions is investigated by varying the extent of hydrophobicity on the confining surfaces placed at an inter-surface separation of 10 \AA\,. All dynamical quantities show a typical slowing down as the temperature is lowered from 298 to 200 K; however, the nature of the transition is a distinct function of the surface type. Water confined between surfaces consisting of alternating hydrophilic and hydrophobic regions exhibit a strong-to-strong dynamical transition in the diffusion coefficients and rotational relaxation times at a crossover temperature of 237 K and show a fragile-to-strong transition in the $\alpha$-relaxation time at 238 K. The observed crossover temperature is much higher than the freezing point of the SPC/E water model used in this study, indicating that these dynamical transitions can occur with mild supercooling under strong confinement in the absence of bulk-like water. In contrast, water confined in hydrophilic pore shows a single Arrhenius energy barrier over the entire temperature range. Our results indicate that in addition to confinement, the nature of the surface can play a critical role in determining the dynamical transitions for water upon supercooling.


title: D3Feat: Joint Learning of Dense Detection and Description of 3D Local Features

abstract: A successful point cloud registration often lies on robust establishment of sparse matches through discriminative 3D local features. Despite the fast evolution of learning-based 3D feature descriptors, little attention has been drawn to the learning of 3D feature detectors, even less for a joint learning of the two tasks. In this paper, we leverage a 3D fully convolutional network for 3D point clouds, and propose a novel and practical learning mechanism that densely predicts both a detection score and a description feature for each 3D point. In particular, we propose a keypoint selection strategy that overcomes the inherent density variations of 3D point clouds, and further propose a self-supervised detector loss guided by the on-the-fly feature matching results during training. Finally, our method achieves state-of-the-art results in both indoor and outdoor scenarios, evaluated on 3DMatch and KITTI datasets, and shows its strong generalization ability on the ETH dataset. Towards practical use, we show that by adopting a reliable feature detector, sampling a smaller number of features is sufficient to achieve accurate and fast point cloud alignment.[code release](https://github.com/XuyangBai/D3Feat)


title: An enhanced uncertainty principle for the Vaserstein distance

abstract: We improve some recent results of Sagiv and Steinerberger that quantify the following uncertainty principle: for a function $f$ with mean zero, either the size of the zero set of the function or the cost of transporting the mass of the positive part of $f$ to its negative part must be big. We also provide a sharp upper estimate of the transport cost of the positive part of an eigenfunction of the Laplacian. This proves a conjecture of Steinerberger and provides a lower bound of the size of the nodal set of the eigenfunction.


title: Unexpected band gap increase in the Fe2VAl Heusler compound

abstract: Knowing the electronic structure of a material is essential in energy applications to rationalize its performance and propose alternatives. Materials for thermoelectric applications are generally small-gap semiconductors and should have a high figure of merit ZT. Even if the Fe2VAl Heusler compound has a decent ZT, its conductive nature (semi-metal or semiconductor) is not yet clarified especially at low temperature. In this paper, we focus our DFT calculations on the effect of temperature on the bandgap of Fe2VAl. In contrast to what is usually observed, we show that both the temperature increase and the formation of thermally-activated Al/V inversion defects (observed experimentally), open the bandgap. Such an unusual behavior is the key for reconciling all bandgap measurements performed on the Fe2VAl compound using a standard GGA functional and could be an efficient way for improving the thermoelectric properties of this family of materials.


title: When Deep Learning Meets Data Alignment: A Review on Deep Registration Networks (DRNs)

abstract: Registration is the process that computes the transformation that aligns sets of data. Commonly, a registration process can be divided into four main steps: target selection, feature extraction, feature matching, and transform computation for the alignment. The accuracy of the result depends on multiple factors, the most significant are the quantity of input data, the presence of noise, outliers and occlusions, the quality of the extracted features, real-time requirements and the type of transformation, especially those ones defined by multiple parameters, like non-rigid deformations. Recent advancements in machine learning could be a turning point in these issues, particularly with the development of deep learning (DL) techniques, which are helping to improve multiple computer vision problems through an abstract understanding of the input data. In this paper, a review of deep learning-based registration methods is presented. We classify the different papers proposing a framework extracted from the traditional registration pipeline to analyse the new learning-based proposal strengths. Deep Registration Networks (DRNs) try to solve the alignment task either replacing part of the traditional pipeline with a network or fully solving the registration problem. The main conclusions extracted are, on the one hand, 1) learning-based registration techniques cannot always be clearly classified in the traditional pipeline. 2) These approaches allow more complex inputs like conceptual models as well as the traditional 3D datasets. 3) In spite of the generality of learning, the current proposals are still ad hoc solutions. Finally, 4) this is a young topic that still requires a large effort to reach general solutions able to cope with the problems that affect traditional approaches.


title: Lane-Merging Using Policy-based Reinforcement Learning and Post-Optimization

abstract: Many current behavior generation methods struggle to handle real-world traffic situations as they do not scale well with complexity. However, behaviors can be learned off-line using data-driven approaches. Especially, reinforcement learning is promising as it implicitly learns how to behave utilizing collected experiences. In this work, we combine policy-based reinforcement learning with local optimization to foster and synthesize the best of the two methodologies. The policy-based reinforcement learning algorithm provides an initial solution and guiding reference for the post-optimization. Therefore, the optimizer only has to compute a single homotopy class, e.g.\ drive behind or in front of the other vehicle. By storing the state-history during reinforcement learning, it can be used for constraint checking and the optimizer can account for interactions. The post-optimization additionally acts as a safety-layer and the novel method, thus, can be applied in safety-critical applications. We evaluate the proposed method using lane-change scenarios with a varying number of vehicles.


title: Geodesic convexity and closed nilpotent similarity manifolds

abstract: Some nilpotent Lie groups possess a transformation group analogous to the similarity group acting on the Euclidean space. We call such a pair a nilpotent similarity structure. It is notably the case for all Carnot groups and their dilatations. We generalize a theorem of Fried: closed manifolds with a nilpotent similarity structure are either complete or radiant and, in the latter case, complete for the structure of the space deprived of a point. The proof relies on a generalization of convexity arguments in a setting where, in the coordinates given by the Lie algebra, we study geodesic segments instead of linear segments. We show classic consequences for closed manifolds with a geometry modeled on the boundary of a rank one symmetric space.


title: Diamonds are not forever: Liveness in reactive programming with guarded recursion

abstract: When designing languages for functional reactive programming (FRP) the main challenge is to provide the user with a simple, flexible interface for writing programs on a high level of abstraction while ensuring that all programs can be implemented efficiently in a low-level language. To meet this challenge, a new family of modal FRP languages has been proposed, in which variants of Nakano's guarded fixed point operator are used for writing recursive programs guaranteeing properties such as causality and productivity. As an apparent extension to this it has also been suggested to use Linear Temporal Logic (LTL) as a language for reactive programming through the Curry-Howard isomorphism, allowing properties such as termination, liveness and fairness to be encoded in types. However, these two ideas are in conflict with each other, since the fixed point operator introduces non-termination into the inductive types that are supposed to provide termination guarantees. In this paper we show that by regarding the modal time step operator of LTL a submodality of the one used for guarded recursion (rather than equating them), one can obtain a modal type system capable of expressing liveness properties while retaining the power of the guarded fixed point operator. We introduce the language Lively RaTT, a modal FRP language with a guarded fixed point operator and an `until' type constructor as in LTL, and show how to program with events and fair streams. Using a step-indexed Kripke logical relation we prove operational properties of Lively RaTT including productivity and causality as well as the termination and liveness properties expected of types from LTL. Finally, we prove that the type system of Lively RaTT guarantees the absence of implicit space leaks.


title: A Generalization of King's Equation via Noncommutative Geometry

abstract: We introduce a framework in noncommutative geometry consisting of a $*$-algebra $\mathcal A$, a bimodule $\Omega^1$ endowed with a derivation $\mathcal A\to \Omega^1$ and with a Hermitian structure $\Omega^1\otimes \bar{\Omega}^1\to \mathcal A$ (a "noncommutative K\"ahler form"), and a cyclic 1-cochain $\mathcal A\to \mathbb C$ whose coboundary is determined by the previous structures. These data give moment map equations on the space of connections on an arbitrary finitely-generated projective $\mathcal A$-module. As particular cases, we obtain a large class of equations in algebra (King's equations for representations of quivers, including ADHM equations), in classical gauge theory (Hermitian Yang-Mills equations, Hitchin equations, Bogomolny and Nahm equations, etc.), as well as in noncommutative gauge theory by Connes, Douglas and Schwarz. We also discuss Nekrasov's beautiful proposal for re-interpreting noncommutative instantons on $\mathbb{C}^n\simeq \mathbb{R}^{2n}$ as infinite-dimensional solutions of King's equation $$\sum_{i=1}^n [T_i^\dagger, T_i]=\hbar\cdot n\cdot\mathrm{Id}_{\mathcal H}$$ where $\mathcal H$ is a Hilbert space completion of a finitely-generated $\mathbb C[T_1,\dots,T_n]$-module (e.g. an ideal of finite codimension).


title: Detecting and Characterizing Bots that Commit Code

abstract: Background: Some developer activity traditionally performed manually, such as making code commits, opening, managing, or closing issues is increasingly subject to automation in many OSS projects. Specifically, such activity is often performed by tools that react to events or run at specific times. We refer to such automation tools as bots and, in many software mining scenarios related to developer productivity or code quality it is desirable to identify bots in order to separate their actions from actions of individuals. Aim: Find an automated way of identifying bots and code committed by these bots, and to characterize the types of bots based on their activity patterns. Method and Result: We propose BIMAN, a systematic approach to detect bots using author names, commit messages, files modified by the commit, and projects associated with the ommits. For our test data, the value for AUC-ROC was 0.9. We also characterized these bots based on the time patterns of their code commits and the types of files modified, and found that they primarily work with documentation files and web pages, and these files are most prevalent in HTML and JavaScript ecosystems. We have compiled a shareable dataset containing detailed information about 461 bots we found (all of whom have more than 1000 commits) and 13,762,430 commits they created.


title: Implementability of Honest Multi-Agent Sequential Decision-Making with Dynamic Population

abstract: We study the design of decision-making mechanism for resource allocations over a multi-agent system in a dynamic environment. Agents' privately observed preference over resources evolves over time and the population is dynamic due to the adoption of stopping rules. The proposed model designs the rules of encounter for agents participating in the dynamic mechanism by specifying an allocation rule and three payment rules to elicit agents' coupled decision makings of honest preference reporting and optimal stopping over multiple periods. The mechanism provides a special posted-price payment rule that depends only on each agent's realized stopping time to directly influence the population dynamics. This letter focuses on the theoretical implementability of the rules in perfect Bayesian Nash equilibrium and characterizes necessary and sufficient conditions to guarantee agents' honest equilibrium behaviors over periods. We provide the design principles to construct the payments in terms of the allocation rules and identify the restrictions of the designer's ability to influence the population dynamics. The established conditions make the designer's problem of finding multiple rules to determine an optimal allocation rule.


title: Space-point calibration of the ALICE TPC with track residuals

abstract: In the upcoming LHC Run 3, starting in 2021, the upgraded Time Projection Chamber (TPC) of the ALICE experiment will record minimum bias Pb-Pb collisions in a continuous readout mode at an interaction rate up to 50 kHz. This corresponds to typically 4-5 overlapping collisions during the electron drift time in the detector. Despite careful tuning of the new quadruple GEM-based readout chambers, which fulfill the design requirement of an ion backflow below 1%, these conditions will lead to space-charge distortions of several centimeters that fluctuate in time. They will be corrected via a calibration procedure that uses the information of the Inner Tracking System (ITS), which is located inside, and the Transition Radiation Detector (TRD) and Time-Of-Flight system (TOF), located around the TPC, respectively. By using such a procedure the intrinsic track resolution of the TPC of a few hundred micrometers can be restored. The required online tracking algorithm for the TRD, which is based on a Kalman filter, is presented. The procedure matches extrapolated ITS-TPC tracks to TRD space-points utilizing GPUs. Subsequently these global tracks are refitted neglecting the TPC information. The residuals of the TPC clusters to the interpolation of the refitted tracks are used to create a map of space-charge distortions. Regular updates of the map compensate for changes in the TPC conditions. The map is applied in the final reconstruction of the data. First performance results of the tracking algorithm will be shown.


title: Central leaves on Shimura varieties with parahoric reduction

abstract: We investigate the geometry of the special fiber of the integral model of a Shimura variety with parahoric level at a given prime place. To be more precise, we deal with the definition of central leaves in this situation, their local closedness, and the relationship between the folations for varying parahoric level. This is connected to the verification of axioms for integral models formulated by He and Rapoport.


title: Beyond linear coupling in microwave optomechanics

abstract: We explore the nonlinear dynamics of a cavity optomechanical system. Our realization consisting of a drumhead nano-electro-mechanical resonator (NEMS) coupled to a microwave cavity, allows for a nearly ideal platform to study the nonlinearities arising purely due to radiation-pressure physics. Experiments are performed under a strong microwave Stokes pumping which triggers mechanical self-sustained oscillations. We analyze the results in the framework of an extended nonlinear optomechanical theory, and demonstrate that quadratic and cubic coupling terms in the opto-mechanical Hamiltonian have to be considered. Quantitative agreement with the measurements is obtained considering only genuine geometrical nonlinearities: no thermo-optical instabilities are observed, in contrast with laser-driven systems. Based on these results, we describe a method to quantify nonlinear properties of microwave optomechanical devices. Such a technique, available now in the quantum electro-mechanics toolbox, but completely generic, is mandatory for the development of new schemes where higher-order coupling terms are proposed as a new resource, like Quantum Non-Demolition measurements, or in the search for new fundamental quantum signatures, like Quantum Gravity. We also find that the motion imprints a wide comb of extremely narrow peaks in the microwave output field, which could also be exploited in specific microwave-based measurements, potentially limited only by the quantum noise of the optical and the mechanical fields for a ground-state cooled NEMS device.


title: Effects of finite nucleon size, vacuum polarization, and electromagnetic spin-orbit interaction on nuclear binding energies and radii in spherical nuclei

abstract: The electromagnetic effects of the finite size of the nucleon are implemented self-consistently on top of the Skyrme Hartree-Fock calculation, where the electric form factors of both protons and neutrons are considered. Furthermore, the vacuum polarization and the electromagnetic spin-orbit interaction are taken into account. The self-consistent finite-size effects give a different Coulomb potential from the conventional one and affect the neutrons as well. The contribution of the finite-size effects to the total energy reaches $ 7 \, \mathrm{MeV} $ in $ {}^{208} \mathrm{Pb} $. The vacuum polarization and the electromagnetic spin-orbit interaction are also non-negligible, especially in the heavy nuclei. These effects provide a comparable contribution of the total energy to that of the isospin symmetry-breaking terms of the nuclear interaction. The mirror nuclei mass difference in $ {}^{48} \mathrm{Ca} $--$ {}^{48} \mathrm{Ni} $ is also studied, and its value is improved by approximately one order of magnitude.


title: Reducing network size and improving prediction stability of reservoir computing

abstract: Reservoir computing is a very promising approach for the prediction of complex nonlinear dynamical systems. Besides capturing the exact short-term trajectories of nonlinear systems, it has also proved to reproduce its characteristic long-term properties very accurately. However, predictions do not always work equivalently well. It has been shown that both short- and long-term predictions vary significantly among different random realizations of the reservoir. In order to gain an understanding on when reservoir computing works best, we investigate some differential properties of the respective realization of the reservoir in a systematic way. We find that removing nodes that correspond to the largest weights in the output regression matrix reduces outliers and improves overall prediction quality. Moreover, this allows to effectively reduce the network size and, therefore, increase computational efficiency. In addition, we use a nonlinear scaling factor in the hyperbolic tangent of the activation function. This adjusts the response of the activation function to the range of values of the input variables of the nodes. As a consequence, this reduces the number of outliers significantly and increases both the short- and long-term prediction quality for the nonlinear systems investigated in this study. Our results demonstrate that a large optimization potential lies in the systematical refinement of the differential reservoir properties for a given dataset.


title: No Regret Sample Selection with Noisy Labels

abstract: Deep neural networks (DNNs) suffer from noisy-labeled data because of the risk of overfitting. To avoid the risk, in this paper, we propose a novel DNN training method with sample selection based on adaptive k-set selection, which selects k (< n) clean sample candidates from the whole n noisy training samples at each epoch. It has a strong advantage of guaranteeing the performance of the selection theoretically. Roughly speaking, a regret, which is defined by the difference between the actual selection and the best selection, of the proposed method is theoretically bounded, even though the best selection is unknown until the end of all epochs. The experimental results on multiple noisy-labeled datasets demonstrate that our sample selection strategy works effectively in the DNN training; in fact, the proposed method achieved the best or the second-best performance among state-of-the-art methods, while requiring a significantly lower computational cost. The code is available at https://github.com/songheony/TAkS.


title: An analysis of noise folding for low-rank matrix recovery

abstract: Previous work regarding low-rank matrix recovery has concentrated on the scenarios in which the matrix is noise-free and the measurements are corrupted by noise. However, in practical application, the matrix itself is usually perturbed by random noise preceding to measurement. This paper concisely investigates this scenario and evidences that, for most measurement schemes utilized in compressed sensing, the two models are equivalent with the central distinctness that the noise associated with (\ref{eq.3}) is larger by a factor to $mn/M$, where $m,~n$ are the dimension of the matrix and $M$ is the number of measurements. Additionally, this paper discusses the reconstruction of low-rank matrices in the setting, presents sufficient conditions based on the associating null space property to guarantee the robust recovery and obtains the number of measurements. Furthermore, for the non-Gaussian noise scenario, we further explore it and give the corresponding result. The simulation experiments conducted, on the one hand show effect of noise variance on recovery performance, on the other hand demonstrate the verifiability of the proposed model.


title: Can ML predict the solution value for a difficult combinatorial problem?

abstract: We look at whether machine learning can predict the final objective function value of a difficult combinatorial optimisation problem from the input. Our context is the pattern reduction problem, one industrially important but difficult aspect of the cutting stock problem. Machine learning appears to have higher prediction accuracy than a na\"ive model, reducing mean absolute percentage error (MAPE) from 12.0% to 8.7%.


title: SimLoss: Class Similarities in Cross Entropy

abstract: One common loss function in neural network classification tasks is Categorical Cross Entropy (CCE), which punishes all misclassifications equally. However, classes often have an inherent structure. For instance, classifying an image of a rose as "violet" is better than as "truck". We introduce SimLoss, a drop-in replacement for CCE that incorporates class similarities along with two techniques to construct such matrices from task-specific knowledge. We test SimLoss on Age Estimation and Image Classification and find that it brings significant improvements over CCE on several metrics. SimLoss therefore allows for explicit modeling of background knowledge by simply exchanging the loss function, while keeping the neural network architecture the same. Code and additional resources can be found at https://github.com/konstantinkobs/SimLoss.


title: Excess deaths and Hurricane Mar\'ia

abstract: We clarify the distinction between direct and indirect effects of disasters such as Hurricane Mar\'ia and use data from the Puerto Rico Vital Statistics System to estimate monthly excess deaths in the immediate aftermath of the hurricane which struck the island in September of 2017. We use a Bayesian linear regression model fitted to monthly data for 2010--16 to predict monthly death tallies for all months in 2017, finding large deviations of actual numbers above predicted ones in September and October of 2017 but much weaker evidence of excess mortality in November and December of 2017. These deviations translate into 910 excess deaths with a 95 percent uncertainty interval of 440 to 1,390. We also find little evidence of big pre-hurricane mortality spikes in 2017, suggesting that such large spikes do not just happen randomly and, therefore, the post-hurricane mortality spike can reasonably be attributed to the hurricane.


title: (Anti-)Deuteron production in pp collisions at $\sqrt{s}=13$ TeV

abstract: The study of (anti-)deuteron production in pp collisions has proven to be a powerful tool to investigate the formation mechanism of loosely bound states in high energy hadronic collisions. In this paper the production of (anti-)deuterons is studied as a function of the charged particle multiplicity in inelastic pp collisions at $\sqrt{s}=13$ TeV using the ALICE experiment. Thanks to the large number of accumulated minimum bias events, it has been possible to measure (anti-)deuteron production in pp collisions up to the same charged particle multiplicity ($\rm{d} N_{ch}/\rm{d}\eta\sim26$) as measured in p-Pb collisions at similar centre-of-mass energies. Within the uncertainties, the deuteron yield in pp collisions resembles the one in p-Pb interactions, suggesting a common formation mechanism behind the production of light nuclei in hadronic interactions. In this context the measurements are compared with the expectations of coalescence and Statistical Hadronisation Models (SHM).


title: Impact of Spatial Correlation in MIMO Radar

abstract: The impact of spatial correlation on mutual information (MI) is analyzed for MIMO radar. Unlike the work done in literature for statistical MIMO radar, we consider the spatial correlation of the target matrix elements to study the correlated MIMO radar performance. There is a trade-off between coherent processing gain in correlated MIMO radar and spatial diversity gain of target scatterers in uncorrelated MIMO radar. We address how the MI between the received signal and target channel matrix is affected by spatial correlation. Using majorization theory and the notion of Schur-convexity, we prove that MI has a changing behavior with respect to spatial correlation, where at low SNR, the MI is Schur-convex, i.e. showing increasing performance as correlation increases. However, this behavior changes at high SNR, since MI is Schur-concave at high SNR, hence it decreases as the spatial correlation increases. Moreover, we investigate the conditions for spatially uncorrelated MIMO radar. According to these conditions, as the operating frequency increases with respect to the target location and dimensions, the received paths become more uncorrelated. Hence, the setup with lower operating frequency (more correlated) performs better compared to the higher frequency setup at low SNR. However at high SNR, this behavior is reversed.


title: Noise Estimation Using Density Estimation for Self-Supervised Multimodal Learning

abstract: One of the key factors of enabling machine learning models to comprehend and solve real-world tasks is to leverage multimodal data. Unfortunately, annotation of multimodal data is challenging and expensive. Recently, self-supervised multimodal methods that combine vision and language were proposed to learn multimodal representations without annotation. However, these methods often choose to ignore the presence of high levels of noise and thus yield sub-optimal results. In this work, we show that the problem of noise estimation for multimodal data can be reduced to a multimodal density estimation task. Using multimodal density estimation, we propose a noise estimation building block for multimodal representation learning that is based strictly on the inherent correlation between different modalities. We demonstrate how our noise estimation can be broadly integrated and achieves comparable results to state-of-the-art performance on five different benchmark datasets for two challenging multimodal tasks: Video Question Answering and Text-To-Video Retrieval. Furthermore, we provide a theoretical probabilistic error bound substantiating our empirical results and analyze failure cases. Code: https://github.com/elad-amrani/ssml.


title: Estimation of causal effects with small data in the presence of trapdoor variables

abstract: We consider the problem of estimating causal effects of interventions from observational data when well-known back-door and front-door adjustments are not applicable. We show that when an identifiable causal effect is subject to an implicit functional constraint that is not deducible from conditional independence relations, the estimator of the causal effect can exhibit bias in small samples. This bias is related to variables that we call trapdoor variables. We use simulated data to study different strategies to account for trapdoor variables and suggest how the related trapdoor bias might be minimized. The importance of trapdoor variables in causal effect estimation is illustrated with real data from the Life Course 1971-2002 study. Using this dataset, we estimate the causal effect of education on income in the Finnish context. Bayesian modelling allows us to take the parameter uncertainty into account and to present the estimated causal effects as posterior distributions.


title: Electromagnetic fields in a time-varying medium: Exceptional points and operator symmetries

abstract: In this paper, we study the interactions of electromagnetic waves with a non-dispersive dynamic medium that is temporally dependent. Electromagnetic fields under material time-modulation conserve their momentum but not their energy. We assume a time-variation of the permittivity, permeability and conductivity and derive the appropriate time-domain solutions based on the causality state at a past observation time. We formulate a time-transitioning state matrix and connect the unusual energy transitions of electromagnetic fields in time-varying media with the exceptional point theory. This state-matrix approach allows us to analyze further the electromagnetic waves in terms of parity and time-reversal symmetries and signify parity-time symmetric wave-states without the presence of a spatially symmetric distribution of gain and loss, or any inhomogeneities and material periodicity. This paper provides a useful arsenal to study electromagnetic wave phenomena under time-varying media and points out novel physical insights connecting the resulting energy transitions and electromagnetic modes with exceptional point physics and operator symmetries.


title: Ab initio theory of graphene-iron(II) phthalocyanine hybrid systems as scalable molecular spintronics

abstract: Graphene - transition metal phthalocyanine (G-MPc) hybrid systems constitute promising platforms for densely-packed single-molecule magnets (SMMs). Here, we selected iron(II) phthalocyanine (FePc) and investigated its interaction with pristine and defective graphene layers employing density functional theory. Our calculations indicate that thorough proper dehydrogenation of the benzol rings in the FePc molecule its adsorption to graphene is thermodynamically favorable. In general, the presence of anchoring sites on the graphene layer, i.e. point defects, additionally facilitates the adsorption of FePc, allowing one to achieve high density of SMMs per unit area. Using the combination of group theory, ligand field splitting, and the calculated PBE0 Kohn-Sham eigenvalue spectrum, we resolved the electronic structure and predicted the spin states of both, the isolated FePc and G-FePc hybrid systems. Regardless of adsorption site and the number of removed hydrogen atoms from the benzol rings of FePc, the magnetic moment of the SMM remains unchanged with respect to free FePc. These results should mediate a successful synthesis of densely-packed G-MPc systems and may open up new avenue in designing scalable graphene - SMMs systems for spintronics applications.


title: A Bayesian algorithm for retrosynthesis

abstract: The identification of synthetic routes that end with a desired product has been an inherently time-consuming process that is largely dependent on expert knowledge regarding a limited fraction of the entire reaction space. At present, emerging machine-learning technologies are overturning the process of retrosynthetic planning. The objective of this study is to discover synthetic routes backwardly from a given desired molecule to commercially available compounds. The problem is reduced to a combinatorial optimization task with the solution space subject to the combinatorial complexity of all possible pairs of purchasable reactants. We address this issue within the framework of Bayesian inference and computation. The workflow consists of two steps: a deep neural network is trained that forwardly predicts a product of the given reactants with a high level of accuracy, following which this forward model is inverted into the backward one via Bayes' law of conditional probability. Using the backward model, a diverse set of highly probable reaction sequences ending with a given synthetic target is exhaustively explored using a Monte Carlo search algorithm. The Bayesian retrosynthesis algorithm could successfully rediscover 80.3% and 50.0% of known synthetic routes of single-step and two-step reactions within top-10 accuracy, respectively, thereby outperforming state-of-the-art algorithms in terms of the overall accuracy. Remarkably, the Monte Carlo method, which was specifically designed for the presence of diverse multiple routes, often revealed a ranked list of hundreds of reaction routes to the same synthetic target. We investigated the potential applicability of such diverse candidates based on expert knowledge from synthetic organic chemistry.


title: Double Machine Learning based Program Evaluation under Unconfoundedness

abstract: This paper reviews, applies and extends recently proposed methods based on Double Machine Learning (DML) with a focus on program evaluation under unconfoundedness. DML based methods leverage flexible prediction models to adjust for confounding variables in the estimation of (i) standard average effects, (ii) different forms of heterogeneous effects, and (iii) optimal treatment assignment rules. An evaluation of multiple programs of the Swiss Active Labour Market Policy illustrates how DML based methods enable a comprehensive program evaluation. Motivated by extreme individualised treatment effect estimates of the DR-learner, we propose the normalised DR-learner (NDR-learner) to address this issue. The NDR-learner acknowledges that individualised effect estimates can be stabilised by an individualised normalisation of inverse probability weights.


title: Generalizable semi-supervised learning method to estimate mass from sparsely annotated images

abstract: Mass flow estimation is of great importance to several industries, and it can be quite challenging to obtain accurate estimates due to limitation in expense or general infeasibility. In the context of agricultural applications, yield monitoring is a key component to precision agriculture and mass flow is the critical factor to measure. Measuring mass flow allows for field productivity analysis, cost minimization, and adjustments to machine efficiency. Methods such as volume or force-impact have been used to measure mass flow; however, these methods are limited in application and accuracy. In this work, we use deep learning to develop and test a vision system that can accurately estimate the mass of sugarcane while running in real-time on a sugarcane harvester during operation. The deep learning algorithm that is used to estimate mass flow is trained using very sparsely annotated images (semi-supervised) using only final load weights (aggregated weights over a certain period of time). The deep neural network (DNN) succeeds in capturing the mass of sugarcane accurately and surpasses older volumetric-based methods, despite highly varying lighting and material colors in the images. The deep neural network is initially trained to predict mass on laboratory data (bamboo) and then transfer learning is utilized to apply the same methods to estimate mass of sugarcane. Using a vision system with a relatively lightweight deep neural network we are able to estimate mass of bamboo with an average error of 4.5% and 5.9% for a select season of sugarcane.


title: A Neuro-AI Interface for Evaluating Generative Adversarial Networks

abstract: Generative adversarial networks (GANs) are increasingly attracting attention in the computer vision, natural language processing, speech synthesis and similar domains. However, evaluating the performance of GANs is still an open and challenging problem. Existing evaluation metrics primarily measure the dissimilarity between real and generated images using automated statistical methods. They often require large sample sizes for evaluation and do not directly reflect human perception of image quality. In this work, we introduce an evaluation metric called Neuroscore, for evaluating the performance of GANs, that more directly reflects psychoperceptual image quality through the utilization of brain signals. Our results show that Neuroscore has superior performance to the current evaluation metrics in that: (1) It is more consistent with human judgment; (2) The evaluation process needs much smaller numbers of samples; and (3) It is able to rank the quality of images on a per GAN basis. A convolutional neural network (CNN) based neuro-AI interface is proposed to predict Neuroscore from GAN-generated images directly without the need for neural responses. Importantly, we show that including neural responses during the training phase of the network can significantly improve the prediction capability of the proposed model. Codes and data can be referred at this link: https://github.com/villawang/Neuro-AI-Interface.


title: Gravastars in $f(\mathbb{T},\mathcal{T})$ gravity

abstract: We propose a stellar model under the $f(\mathbb{T},\mathcal{T})$ gravity following Mazur-Mottola's conjecture [Mazur (2001), Mazur (2004)] known as gravastar which is generally believed as a viable alternative to black hole. The gravastar consists of three regions, viz., (I) Interior region, (II) Intermediate shell region, and (III) Exterior region. The pressure within the interior core region is assumed to be equal to the constant negative matter-energy density which provides a constant repulsive force over the thin shell region. The shell is assumed to be made up of fluid of ultrarelativistic plasma and following the Zel'dovich's conjecture of stiff fluid [Zeldovich (1972)] it is also assumed that the pressure which is directly proportional to the matter-energy density according to Zel'dovich's conjecture, does cancel the repulsive force exerted by the interior region. The exterior region is completely vacuum and it can be described by the Schwarzschild solution. Under all these specifications we find out a set of exact and singularity-free solutions of the gravastar presenting several physically valid features within the framework of alternative gravity, namely $f(\mathbb{T},\mathcal{T})$ gravity [Harko (2014)], where the part of the gravitational Lagrangian in the corresponding action is taken as an arbitrary function of torsion scalar $\mathbb{T}$ and the trace of the energy-momentum tensor $\mathcal{T}$.


title: Low regularity ill-posedness for elastic waves driven by shock formation

abstract: In this paper, we construct counterexamples to the local existence of low-regularity solutions to elastic wave equations in three spatial dimensions (3D). Inspired by the recent works of Christodoulou, we generalize Lindblad's classic results on the scalar wave equation by showing that the Cauchy problem for 3D elastic waves, a physical system with multiple wave-speeds, is ill-posed in $H^3(\mathbb{R}^3)$. We further prove that the ill-posedness is caused by instantaneous shock formation, which is characterized by the vanishing of the inverse foliation density. The main difficulties of the 3D case come from the multiple wave-speeds and its associated non-strict hyperbolicity. We obtain the desired results by designing and combining a geometric approach and an algebraic approach, equipped with detailed studies and calculations of the structures and coefficients of the corresponding non-strictly hyperbolic system. Moreover, the ill-posedness we depict also applies to 2D elastic waves, which corresponds to a strictly hyperbolic case.


title: Federated Continual Learning with Weighted Inter-client Transfer

abstract: There has been a surge of interest in continual learning and federated learning, both of which are important in deep neural networks in real-world scenarios. Yet little research has been done regarding the scenario where each client learns on a sequence of tasks from a private local data stream. This problem of federated continual learning poses new challenges to continual learning, such as utilizing knowledge from other clients, while preventing interference from irrelevant knowledge. To resolve these issues, we propose a novel federated continual learning framework, Federated Weighted Inter-client Transfer (FedWeIT), which decomposes the network weights into global federated parameters and sparse task-specific parameters, and each client receives selective knowledge from other clients by taking a weighted combination of their task-specific parameters. FedWeIT minimizes interference between incompatible tasks, and also allows positive knowledge transfer across clients during learning. We validate our FedWeIT against existing federated learning and continual learning methods under varying degrees of task similarity across clients, and our model significantly outperforms them with a large reduction in the communication cost. Code is available at https://github.com/wyjeong/FedWeIT


title: Bounding probability of small deviation on sum of independent random variables: Combination of moment approach and Berry-Esseen theorem

abstract: In the context of bounding probability of small deviation, there are limited general tools. However, such bounds have been widely applied in graph theory and inventory management. We introduce a common approach to substantially sharpen such inequality bounds by combining the semidefinite optimization approach of moments problem and the Berry-Esseen theorem. As an application, we improve the lower bound of Feige's conjecture from 0.14 to 0.1798.


title: Comment on "Inconsistencies in Verlinde's emergent gravity"

abstract: In 2016, Erik Verlinde proposed a new theory of gravity called "emergent gravity" by using mathematical formulas used in the theory of elasticity. In 2017, De-Chang Dai and Dejan Stojkovic claimed to point out inconsistencies in Verlinde's emergent gravity. We point out that their claim was based on misunderstanding of the dictionary between emergent gravity and theory of elasticity. In addition, we propose a slightly different formula for Verlinde's emergent gravity.


title: The analysis of the results of the Neutrino-4 experiment on search for sterile neutrino and comparison with results of other experiments

abstract: We present new results of measurements of reactor antineutrino flux and spectrum dependence on the distance in the range 6-12 meters from the center of the reactor core at SM-3 reactor (Dimitrovgrad, Russia). Additional measurements were carried out and set of data to perform statistical analysis was almost doubled since the previous report. Using all collected data we performed the model independent analysis on the oscillation parameters $\Delta m^2_{14}$ and $\sin^2(2\theta_{14})$. The method of coherent summation of results of measurements allows us to directly observe the effect of oscillations. We observed an oscillation effect in vicinity of $\Delta m^2_{14} = (7.25\pm0.13_{st}\pm1.08_{sys}) \text{eV}^2$ and $\sin^2(2\theta_{14}) =0.26\pm0.08_{st}\pm 0.05_{sys}$. We provide a comparison of our results with results of other experiments on search for sterile neutrino. Combining the result of the Neutrino-4 and the results of measurements of the gallium anomaly and reactor anomaly we obtained value $\sin^2(2\theta_{14})\approx 0.19\pm0.04(4.6\sigma)$. Also was performed comparison of Neutrino-4 experimental results with results of other reactor experiments NEOS, DANSS, STEREO, PROSPECT and accelerator experiments MiniBooNE, LSND and the IceCube experiment also. Sterile neutrino mass which can be calculated using the Neutrino-4 data in assumption that $m^2_4 \approx \Delta m^2_{14}$ is $m_4 = (2.68 \pm 0.13)\text{eV}$. Considering estimations of mixing angles obtained in other experiments we can calculate masses of electron neutrino, muon neutrino and tau neutrino: $m^{\text{eff}}_{\nu_e} = (0.58 \pm 0.09)\text{eV}, m^{\text{eff}}_{\nu_{\mu}} = (0.42 \pm 0.24)\text{eV}, m^{\text{eff}}_{\nu_{\tau}} \leq 0.65\text{eV}$. Extended PMNS matrix for (3 + 1) model with one sterile neutrino is provided, neutrino flavor mixing scheme with sterile neutrino and global fit of reactor experiments.


title: Practical Reinforcement Learning For MPC: Learning from sparse objectives in under an hour on a real robot

abstract: Model Predictive Control (MPC) is a powerful control technique that handles constraints, takes the system's dynamics into account, and optimizes for a given cost function. In practice, however, it often requires an expert to craft and tune this cost function and find trade-offs between different state penalties to satisfy simple high level objectives. In this paper, we use Reinforcement Learning and in particular value learning to approximate the value function given only high level objectives, which can be sparse and binary. Building upon previous works, we present improvements that allowed us to successfully deploy the method on a real world unmanned ground vehicle. Our experiments show that our method can learn the cost function from scratch and without human intervention, while reaching a performance level similar to that of an expert-tuned MPC. We perform a quantitative comparison of these methods with standard MPC approaches both in simulation and on the real robot.


title: Automated Repair of Resource Leaks in Android Applications

abstract: Resource leaks -- a program does not release resources it previously acquired -- are a common kind of bug in Android applications. Even with the help of existing techniques to automatically detect leaks, writing a leak-free program remains tricky. One of the reasons is Android's event-driven programming model, which complicates the understanding of an application's overall control flow. In this paper, we present PlumbDroid: a technique to automatically detect and fix resource leaks in Android applications. PlumbDroid uses static analysis to find execution traces that may leak a resource. The information built for detection also undergirds automatically building a fix -- consisting of release operations performed at appropriate locations -- that removes the leak and does not otherwise affect the application's usage of the resource. An empirical evaluation on resource leaks from the DroidLeaks curated collection demonstrates that PlumbDroid's approach is scalable, precise, and produces correct fixes for a variety of resource leak bugs: PlumbDroid automatically found and repaired 50 leaks that affect 9 widely used resources of the Android system, including all those collected by DroidLeaks for those resources; on average, it took just 2 minutes to detect and repair a leak. PlumbDroid also compares favorably to Relda2/RelFix -- the only other fully automated approach to repair Android resource leaks -- since it usually detects more leaks with higher precision and producing smaller fixes. These results indicate that PlumbDroid can provide valuable support to enhance the quality of Android applications in practice.


title: A dynamical theory for singular stochastic delay differential equations II: Nonlinear equations and invariant manifolds

abstract: Building on results obtained in [GVRS], we prove Local Stable and Unstable Manifold Theorems for nonlinear, singular stochastic delay differential equations. The main tools are rough paths theory and a semi-invertible Multiplicative Ergodic Theorem for cocycles acting on measurable fields of Banach spaces obtained in [GVR].


title: Disconnected Character graphs and odd Dominating sets

abstract: Suppose $\Gamma$ is a finite simple graph. If $D$ is a dominating set of $\Gamma$ such that each $x\in D$ is contained in the set of vertices of an odd cycle of $\Gamma$, then we say that $D$ is an odd dominating set for $\Gamma$. For a finite group $G$, let $\Delta(G)$ denote the character graph built on the set of degrees of the irreducible complex characters of $G$. In this paper, we show that the complement of $\Delta(G)$ contains an odd dominating set, if and only if $\Delta(G)$ is a disconnected graph with non-bipartite complement.


title: Is POS Tagging Necessary or Even Helpful for Neural Dependency Parsing?

abstract: In the pre deep learning era, part-of-speech tags have been considered as indispensable ingredients for feature engineering in dependency parsing. But quite a few works focus on joint tagging and parsing models to avoid error propagation. In contrast, recent studies suggest that POS tagging becomes much less important or even useless for neural parsing, especially when using character-based word representations. Yet there are not enough investigations focusing on this issue, both empirically and linguistically. To answer this, we design and compare three typical multi-task learning framework, i.e., Share-Loose, Share-Tight, and Stack, for joint tagging and parsing based on the state-of-the-art biaffine parser. Considering that it is much cheaper to annotate POS tags than parse trees, we also investigate the utilization of large-scale heterogeneous POS tag data. We conduct experiments on both English and Chinese datasets, and the results clearly show that POS tagging (both homogeneous and heterogeneous) can still significantly improve parsing performance when using the Stack joint framework. We conduct detailed analysis and gain more insights from the linguistic aspect.


title: Dark Exciton Preparation in a Quantum Dot by a Longitudinal Light Field Tuned to Higher Exciton States

abstract: Several important proposals to use semiconductor quantum dots in quantum information technology rely on the control of the dark exciton ground states, such as dark exciton based qubits with a $\mu$s life time. In this paper, we present an efficient way to occupy the dark exciton ground state by a single short laser pulse. The scheme is based on an optical excitation with a longitudinal field component featured by, e.g., radially polarized beams or certain Laguerre-Gauss or Bessel beams. Utilizing this component, we show within a configuration interaction approach that high-energy exciton states composed of light-hole excitons and higher dark heavy-hole excitons can be addressed. When the higher exciton relaxes, a dark exciton in its ground state is created.