title: Filtering solar-like oscillations for exoplanet detection in radial velocity observations

abstract: Cool main-sequence, sub-giant and red-giant stars all show solar-like oscillations, pulsations that are excited and intrinsically damped by near-surface convection. Many overtones are typically excited to observable amplitudes, giving a rich spectrum of detectable modes. These modes provide a wealth of information on fundamental stellar properties. However, the radial velocity shifts induced by these oscillations can also be problematic when searching for low-mass, long-period planets; this is because their amplitudes are large enough to completely mask such minute planetary signals. Here we show how fine-tuning exposure times to the stellar parameters can help efficiently average out the solar-like-oscillation-induced shifts. To reduce the oscillation signal to the radial velocity precision commensurate with an Earth-analogue, we find that for cool, low-mass stars (near spectral type K) the necessary exposure times may be as short as 4 minutes, while for hotter, higher-mass stars (near spectral type F, or slightly evolved) the required exposure times can be longer than 100 minutes. We provide guideline exposure durations required to suppress the total observed amplitude due to oscillations to a level of $0.1\,\rm m\,s^{-1}$, and a level corresponding to the Earth-analogue reflex amplitude for the star. Owing to the intrinsic stochastic variability of the oscillations, we recommend in practice choosing short exposure durations at the telescope and then averaging over those exposures later, as guided by our predictions. To summarize, as we enter an era of $0.1\,\rm m\,s^{-1}$ instrumental precision, it is critical to tailor our observing strategies to the stellar properties.


title: Quaternion Convolutional Neural Networks

abstract: Neural networks in the real domain have been studied for a long time and achieved promising results in many vision tasks for recent years. However, the extensions of the neural network models in other number fields and their potential applications are not fully-investigated yet. Focusing on color images, which can be naturally represented as quaternion matrices, we propose a quaternion convolutional neural network (QCNN) model to obtain more representative features. In particular, we redesign the basic modules like convolution layer and fully-connected layer in the quaternion domain, which can be used to establish fully-quaternion convolutional neural networks. Moreover, these modules are compatible with almost all deep learning techniques and can be plugged into traditional CNNs easily. We test our QCNN models in both color image classification and denoising tasks. Experimental results show that they outperform the real-valued CNNs with same structures.


title: Refined invariants of finite-dimensional Jacobi algebras

abstract: We define and study refined Gopakumar-Vafa invariants of contractible curves in complex algebraic 3-folds, alongside the cohomological Donaldson--Thomas theory of finite-dimensional Jacobi algebras. These Gopakumar-Vafa invariants can be constructed one of two ways: as cohomological BPS invariants of contraction algebras controlling the deformation theory of these curves, as defined by Donovan and Wemyss, or by feeding the moduli spaces that Katz used to define genus zero Gopakumar-Vafa invariants into the machinery developed by Joyce et al. The conjecture that the two definitions give isomorphic results is a special case of a kind of categorified version of the strong rationality conjecture due to Pandharipande and Thomas, that we discuss and propose a means of proving. We prove the positivity of the cohomological/refined BPS invariants of all finite-dimensional Jacobi algebras. This result supports this strengthening of the strong rationality conjecture, as well as the conjecture of Brown and Wemyss stating that all finite-dimensional Jacobi algebras for appropriate symmetric quivers are isomorphic to contraction algebras.


title: Controlling Robots using Artificial Intelligence and a Consortium Blockchain

abstract: Blockchain is a disruptive technology that is normally used within financial applications, however it can be very beneficial also in certain robotic contexts, such as when an immutable register of events is required. Among the several properties of Blockchain that can be useful within robotic environments, we find not just immutability but also decentralization of the data, irreversibility, accessibility and non-repudiation. In this paper, we propose an architecture that uses blockchain as a ledger and smart-contract technology for robotic control by using external parties, Oracles, to process data. We show how to register events in a secure way, how it is possible to use smart-contracts to control robots and how to interface with external Artificial Intelligence algorithms for image analysis. The proposed architecture is modular and can be used in multiple contexts such as in manufacturing, network control, robot control, and others, since it is easy to integrate, adapt, maintain and extend to new domains.


title: DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks

abstract: Deep neural networks (DNN) have been deployed in many software systems to assist in various classification tasks. In company with the fantastic effectiveness in classification, DNNs could also exhibit incorrect behaviors and result in accidents and losses. Therefore, testing techniques that can detect incorrect DNN behaviors and improve DNN quality are extremely necessary and critical. However, the testing oracle, which defines the correct output for a given input, is often not available in the automated testing. To obtain the oracle information, the testing tasks of DNN-based systems usually require expensive human efforts to label the testing data, which significantly slows down the process of quality assurance. To mitigate this problem, we propose DeepGini, a test prioritization technique designed based on a statistical perspective of DNN. Such a statistical perspective allows us to reduce the problem of measuring misclassification probability to the problem of measuring set impurity, which allows us to quickly identify possibly-misclassified tests. To evaluate, we conduct an extensive empirical study on popular datasets and prevalent DNN models. The experimental results demonstrate that DeepGini outperforms existing coverage-based techniques in prioritizing tests regarding both effectiveness and efficiency. Meanwhile, we observe that the tests prioritized at the front by DeepGini are more effective in improving the DNN quality in comparison with the coverage-based techniques.


title: New exact solution of the Navier-Stokes equations for turbulence in a compressible medium

abstract: A new exact solution of the Navier-Stokes equation is derived for the compressible flows which are far from equilibrium in the limit of extremely low shear viscosity and relatively large volume viscosity. The closed description of the evolution of statistical moments of velocity is obtained, thereby bypassing the closure problem in the theory of turbulence.


title: Synthetic Knowing: The Politics of the Internet of Things

abstract: All knowing is material. The challenge for Information Systems (IS) research is to specify how knowing is material by drawing on theoretical characterizations of the digital. Synthetic knowing is knowing informed by theorizing digital materiality. We focus on two defining qualities: liquefaction (unhinging digital representations from physical objects, qualities, or processes) and open-endedness (extendable and generative). The Internet of Things (IoT) is crucial because sensors are vehicles of liquefaction. Their expanding scope for real-time seeing, hearing, tasting, smelling, and touching increasingly mimics phenomenologically perceived reality. Empirically, we present a longitudinal case study of IoT-rendered marine environmental monitoring by an oil and gas company operating in the politically contested Arctic. We characterize synthetic knowing into four concepts, the former three tied to liquefaction and the latter to open-endedness: (i) the objects of knowing are algorithmic phenomena; (ii) the sensors increasingly conjure up phenomenological reality; (iii) knowing is scoped (configurable); and (iv) open knowing/data is politically charged.


title: Sub-cycle Electron Dynamics in the Generation of Below Threshold Harmonics

abstract: The generation of the below threshold harmonics (BTHs) under different driving laser intensities is investigated. The linearly shifting of photon energy and resonantly enhancement of photon yield of the harmonics from 23rd (H23) to 27th (H27) are found by changing the laser intensity around 18.6 TW/cm2. It is identified that this driving laser intensity dependence is due to the transient ac Stark-shifted resonance between the first excited state and the ground state. With this transient ac Stark, the linearly shifting of the photon energy can be interpreted very well by considering the sub-cycle electron dynamics for BTH generation, which shows that the generation of the BTHs is surprisingly similar to the plateau harmonics.


title: Towards NLP with Deep Learning: Convolutional Neural Networks and Recurrent Neural Networks for Offensive Language Identification in Social Media

abstract: This short paper presents the design decisions taken and challenges encountered in completing SemEval Task 6, which poses the problem of identifying and categorizing offensive language in tweets. Our proposed solutions explore Deep Learning techniques, Linear Support Vector classification and Random Forests to identify offensive tweets, to classify offenses as targeted or untargeted and eventually to identify the target subject type.


title: Many Body Localization in a Two Dimensional Itinerant SYK Model

abstract: We consider a two dimensional itinerant SYK model of spin-less fermions, with a linear dispersion, interacting via random long range all-to-all interactions. In the large-N limit, we find an asymptotic power series solution of the saddle-point equations, which demonstrate that the SYK interactions drive the formation of localized states in the strong coupling regime. By calculating the current-current correlation function, the ground state is shown to be insulating. Finally, we calculate the out-of-time-correlator (OTOC), which has a $t$-linear growth in time and an associated logarithmic growth of entanglement; thereby proving that the system forms a many body localized phase.


title: Leveraging Low-Rank Relations Between Surrogate Tasks in Structured Prediction

abstract: We study the interplay between surrogate methods for structured prediction and techniques from multitask learning designed to leverage relationships between surrogate outputs. We propose an efficient algorithm based on trace norm regularization which, differently from previous methods, does not require explicit knowledge of the coding/decoding functions of the surrogate framework. As a result, our algorithm can be applied to the broad class of problems in which the surrogate space is large or even infinite dimensional. We study excess risk bounds for trace norm regularized structured prediction, implying the consistency and learning rates for our estimator. We also identify relevant regimes in which our approach can enjoy better generalization performance than previous methods. Numerical experiments on ranking problems indicate that enforcing low-rank relations among surrogate outputs may indeed provide a significant advantage in practice.


title: Irreducible representation-types of Leavitt path algebras

abstract: Irreducible representations of both Leavitt and Cohn path algebras of an arbitrary digraph with coefficients in a commutative field is classified. They are constructed in several ways using both infinite paths on the right as well as direct limits or factors of one-sided projective ideals of the ordinary quiver algebra, respectively. Furthermore, their defining relations are described, too, whence criterions are easily given when they are finitely presented or finite dimensional. Moreover, their endomorphism rings, annihilator primitive ideals are also computed directly. In particular, the cardinality of the set of sinks or infinite emitters, respectively, is an invariant of Leavitt path algebras.


title: Kullback-Leibler Divergence for Bayesian Nonparametric Model Checking

abstract: Bayesian nonparametric statistics is an area of considerable research interest. While recently there has been an extensive concentration in developing Bayesian nonparametric procedures for model checking, the use of the Dirichlet process, in its simplest form, along with the Kullback-Leibler divergence is still an open problem. This is mainly attributed to the discreteness property of the Dirichlet process and that the Kullback-Leibler divergence between any discrete distribution and any continuous distribution is infinity. The approach proposed in this paper, which is based on incorporating the Dirichlet process, the Kullback-Leibler divergence and the relative belief ratio, is considered the first concrete solution to this issue. Applying the approach is simple and does not require obtaining a closed form of the relative belief ratio. A Monte Carlo study and real data examples show that the developed approach exhibits excellent performance.


title: Pair correlation and equidistribution on manifolds

abstract: This study is motivated by a series of recent papers that show that, if a given deterministic sequence in the unit interval has a Poisson pair correlation function, then the sequence is uniformly distributed. Analogous results have been proved for point sequences on higher-dimensional tori. The purpose of this paper is to describe a simple statistical argument that explains this observation and furthermore permits a generalisation to bounded Euclidean domains as well as compact Riemannian manifolds.


title: Fluxon interaction with the finite-size dipole impurity

abstract: Interaction of the fluxon with the finite size dipole impurity in the long Josephson junction is investigated. The impurity has polarity and will be referred to as a {\it dipole} impurity because it also has a direction and, consequently, changes its sign under the space inversion transform $x \to -x$. Such a model is used to describe the inductively coupled to the Josephson transmission line qubit and the misaligned Abrikosov vortex that penetrates into the long Josephson junction. We derive the approximate equations of motion for the fluxon center of mass and its velocity. With the help of these equations we demonstrate that pinning and scattering of the fluxon on the impurity differs significantly from the case of the point impurity which is modelled by the derivative of the Dirac's $\delta$-function


title: Distributions of several infinite families of mesh patterns

abstract: Br\"and\'en and Claesson introduced mesh patterns to provide explicit expansions for certain permutation statistics as linear combinations of (classical) permutation patterns. The first systematic study of avoidance of mesh patterns was conducted by Hilmarsson et al., while the first systematic study of the distribution of mesh patterns was conducted by the first two authors. In this paper, we provide far-reaching generalizations for 8 known distribution results and 5 known avoidance results related to mesh patterns by giving distribution or avoidance formulas for certain infinite families of mesh patterns in terms of distribution or avoidance formulas for smaller patterns. Moreover, as a corollary to a general result, we find the distribution of one more mesh pattern of length 2.


title: Nonparametric adaptive inference of birth and death models in a large population limit

abstract: Motivated by improving mortality tables from human demography databases, we investigate statistical inference of a stochastic age-evolving density of a population alimented by time inhomogeneous mortality and fertility. Asymptotics are taken as the size of the population grows within a limited time horizon: the observation gets closer to the solution of the Von Foerster Mc Kendrick equation, and the difficulty lies in controlling simultaneously the stochastic approximation to the limiting PDE in a suitable sense together with an appropriate parametrisation of the anisotropic solution. In this setting, we prove new concentration inequalities that enable us to implement the Goldenshluger-Lepski algorithm and derive oracle inequalities. We obtain minimax optimality and adaptation over a wide range of anisotropic H\"older smoothness classes.


title: Eclipse timing variation analysis of OGLE-IV eclipsing binaries toward the Galactic Bulge. I. Hierarchical triple system candidates

abstract: We report a study of the eclipse timing variation (ETV) of short period ($P_1\le 6^d$) eclipsing binaries (EB) monitored during the photometric survey OGLE-IV. From the 425\,193 EBs we selected approximately 80\,000 binaries that we found suitable for further examination. Among them we identified 992 potential hierarchical triple (or multiple ) system candidates exhibiting light-travel-time effect (LTTE). Besides, we obtained the orbital parameters of these systems and carried out statistical analyses on the properties of these candidates. We found that (i) there is a significant lack of triple systems where the outer period is less than 500 days; (ii) the distribution of the outer eccentricities has a maximum around $e_2\approx0.3$; (iii) the outer mass ratio calculated from an estimated minimum mass of the third component is lower than $q_2\sim 0.5$ for the majority of the sample. We also present some systems that deserve special attention. (i) There are four candidates that show double periodic ETV, which we explain by the presence of a fourth companion. (ii) For two systems the perturbations of the third component are also found to be significant therefore we give a combined dynamical and LTTE ETV solution. (iii) For one system the third component is found to be probably in the substellar mass domain.


title: A Hybrid SLAM and Object Recognition System for Pepper Robot

abstract: Humanoid robots are playing increasingly important roles in real-life tasks especially when it comes to indoor applications. Providing robust solutions for the tasks such as indoor environment mapping, self-localisation and object recognition are essential to make the robots to be more autonomous, hence, more human-like. The well-known Aldebaran service robot Pepper is a suitable candidate for achieving these goals. In this paper, a hybrid system combining Simultaneous Localisation and Mapping (SLAM) algorithm with object recognition is developed and tested with Pepper robot in real-world conditions for the first time. The ORB SLAM 2 algorithm was taken as a seminal work in our research. Then, an object recognition technique based on Scale-Invariant Feature Transform (SIFT) and Random Sample Consensus (RANSAC) was combined with SLAM to recognise and localise objects in the mapped indoor environment. The results of our experiments showed the system's applicability for the Pepper robot in real-world scenarios. Moreover, we made our source code available for the community at https://github.com/PaolaArdon/Salt-Pepper.


title: OmniDRL: Robust Pedestrian Detection using Deep Reinforcement Learning on Omnidirectional Cameras

abstract: Pedestrian detection is one of the most explored topics in computer vision and robotics. The use of deep learning methods allowed the development of new and highly competitive algorithms. Deep Reinforcement Learning has proved to be within the state-of-the-art in terms of both detection in perspective cameras and robotics applications. However, for detection in omnidirectional cameras, the literature is still scarce, mostly because of their high levels of distortion. This paper presents a novel and efficient technique for robust pedestrian detection in omnidirectional images. The proposed method uses deep Reinforcement Learning that takes advantage of the distortion in the image. By considering the 3D bounding boxes and their distorted projections into the image, our method is able to provide the pedestrian's position in the world, in contrast to the image positions provided by most state-of-the-art methods for perspective cameras. Our method avoids the need of pre-processing steps to remove the distortion, which is computationally expensive. Beyond the novel solution, our method compares favorably with the state-of-the-art methodologies that do not consider the underlying distortion for the detection task.


title: Tree series and pattern avoidance in syntax trees

abstract: A syntax tree is a planar rooted tree where internal nodes are labeled on a graded set of generators. There is a natural notion of occurrence of contiguous pattern in such trees. We describe a way, given a set of generators $\mathfrak{G}$ and a set of patterns $\mathcal{P}$, to enumerate the trees constructed on $\mathfrak{G}$ and avoiding $\mathcal{P}$. The method is built around inclusion-exclusion formulas forming a system of equations on formal power series of trees, and composition operations of trees. This does not require particular conditions on the set of patterns to avoid. We connect this result to the theory of nonsymmetric operads. Syntax trees are the elements of such free structures, so that any operad can be seen as a quotient of a free operad. Moreover, in some cases, the elements of an operad can be seen as trees avoiding some patterns. Relying on this, we use operads as devices for enumeration: given a set of combinatorial objects we want enumerate, we endow it with the structure of an operad, understand it in term of trees and pattern avoidance, and use our method to count them. Several examples are provided.


title: Representation formula for symmetric symplectic capacity and applications

abstract: This is the second installment in a series of papers aimed at generalizing symplectic capacities and homologies. We study symmetric versions of symplectic capacities for real symplectic manifolds, and obtain corresponding results for them to those of the first [19] of this series (such as representation formula, a theorem by Evgeni Neduv, Brunn-Minkowski type inequality and Minkowski billiard trajectories proposed by Artstein-Avidan-Ostrover).


title: Classification of del Pezzo surfaces with $\frac{1}{3}(1,1)$- and $\frac{1}{4}(1,1)$-singularities

abstract: We classify all the del Pezzo surfaces with $\frac{1}{3}(1,1)$- and $\frac{1}{4}(1,1)$-singularities having no floating $(-1)$-curves into 39 types.


title: Instant MPC for linear systems and dissipativity-based stability analysis

abstract: This letter is devoted to the concept of ``instant'' model predictive control (iMPC) for linear systems. An optimization problem is formulated to express the finite-time constrained optimal regulation control, like conventional MPC. Then, iMPC determines the control action based on the optimization process rather than the optimizer, unlike MPC. The iMPC concept is realized by a continuous-time dynamic algorithm of solving the optimization; the primal-dual gradient algorithm is directly implemented as a dynamic controller. On the basis of the dissipativity evaluation of the algorithm, the stability of the control system is analyzed. Finally, a numerical experiment is performed in order to demonstrate that iMPC emulates MPC and to show its less computational burden.


title: On the power of random information

abstract: We study approximation and integration problems and compare the quality of optimal information with the quality of random information. For some problems random information is almost optimal and for some other problems random information is much worse than optimal information. We prove new results and give a short survey of known results.


title: Bayesian Mendelian Randomization identifies disease causing proteins via pedigree data, partially observed exposures and correlated instruments

abstract: Background In a study performed on multiplex Multiple Sclerosis (MS) Sardinian families to identify disease causing plasma proteins, application of Mendelian Randomization (MR) methods encounters difficulties due to relatedness of individuals, correlation between finely mapped genotype instrumental variables (IVs) and presence of missing exposures. Method We specialize the method of Berzuini et al (2018) to deal with these difficulties. The proposed method allows pedigree structure to enter the specification of the outcome distribution via kinship matrix, and treating missing exposures as additional parameters to be estimated from the data. It also acknowledges possible correlation between instruments by replacing the originally proposed independence prior for IV-specific pleiotropic effect with a g-prior. Based on correlated (r2< 0.2) IVs, we analysed the data of four candidate MS-causing proteins by using both the independence and the g-prior. Results 95% credible intervals for causal effect for proteins IL12A and STAT4 lay within the strictly negative real semiaxis, in both analyses, suggesting potential causality. Those instruments whose estimated pleiotropic effect exceeded 85% of total effect on outcome were found to act in trans. Analysis via frequentist MR gave inconsistent results. Replacing the independence with a g-prior led to smaller credible intervals for causal effect. Conclusions Bayesian MR may be a good way to study disease causation at a protein level based on family data and moderately correlated instruments.


title: Fully Convolutional One-Shot Object Segmentation for Industrial Robotics

abstract: The ability to identify and localize new objects robustly and effectively is vital for robotic grasping and manipulation in warehouses or smart factories. Deep convolutional neural networks (DCNNs) have achieved the state-of-the-art performance on established image datasets for object detection and segmentation. However, applying DCNNs in dynamic industrial scenarios, e.g., warehouses and autonomous production, remains a challenging problem. DCNNs quickly become ineffective when tasked with detecting objects that they have not been trained on. Given that re-training using the latest data is time consuming, DCNNs cannot meet the requirement of the Factory of the Future (FoF) regarding rapid development and production cycles. To address this problem, we propose a novel one-shot object segmentation framework, using a fully convolutional Siamese network architecture, to detect previously unknown objects based on a single prototype image. We turn to multi-task learning to reduce training time and improve classification accuracy. Furthermore, we introduce a novel approach to automatically cluster the learnt feature space representation in a weakly supervised manner. We test the proposed framework on the RoboCup@Work dataset, simulating requirements for the FoF. Results show that the trained network on average identifies 73% of previously unseen objects correctly from a single example image. Correctly identified objects are estimated to have a 87.53% successful pick-up rate. Finally, multi-task learning lowers the convergence time by up to 33%, and increases accuracy by 2.99%.


title: Sound-driven single-electron transfer in a circuit of coupled quantum rails

abstract: Surface acoustic waves (SAWs) strongly modulate the shallow electric potential in piezoelectric materials. In semiconductor heterostructures such as GaAs/AlGaAs, SAWs can thus be employed to transfer individual electrons between distant quantum dots. This transfer mechanism makes SAW technologies a promising candidate to convey quantum information through a circuit of quantum logic gates. Here we present two essential building blocks of such a SAW-driven quantum circuit. First, we implement a directional coupler allowing to partition a flying electron arbitrarily into two paths of transportation. Second, we demonstrate a triggered single-electron source enabling synchronisation of the SAW-driven sending process. Exceeding a single-shot transfer efficiency of 99 %, we show that a SAW-driven integrated circuit is feasible with single electrons on a large scale. Our results pave the way to perform quantum logic operations with flying electron qubits.


title: Left invariant lifted $(\alpha,\beta)$-metrics of Douglas type on tangent Lie groups

abstract: In this paper we study lifted left invariant $(\alpha,\beta)$-metrics of Douglas type on tangent Lie groups. Let $G$ be a Lie group equipped with a left invariant $(\alpha,\beta)$-metric of Douglas type $F$, induced by a left invariant Riemannian metric $g$. Using vertical and complete lifts, we construct the vertical and complete lifted $(\alpha,\beta)$-metrics $F^v$ and $F^c$ on the tangent Lie group $TG$ and give necessary and sufficient conditions for them to be of Douglas type. Then, the flag curvature of these metrics are studied. Finally, as some special cases, the flag curvatures of $F^v$ and $F^c$ in the cases of Randers metrics of Douglas type, and Kropina and Matsumoto metrics of Berwald type are given.


title: DimDraw -- A novel tool for drawing concept lattices

abstract: Concept lattice drawings are an important tool to visualize complex relations in data in a simple manner to human readers. Many attempts were made to transfer classical graph drawing approaches to order diagrams. Although those methods are satisfying for some lattices they unfortunately perform poorly in general. In this work we present a novel tool to draw concept lattices that is purely motivated by the order structure.


title: A unifying representer theorem for inverse problems and machine learning

abstract: The standard approach for dealing with the ill-posedness of the training problem in machine learning and/or the reconstruction of a signal from a limited number of measurements is regularization. The method is applicable whenever the problem is formulated as an optimization task. The standard strategy consists in augmenting the original cost functional by an energy that penalizes solutions with undesirable behavior. The effect of regularization is very well understood when the penalty involves a Hilbertian norm. Another popular configuration is the use of an $\ell_1$-norm (or some variant thereof) that favors sparse solutions. In this paper, we propose a higher-level formulation of regularization within the context of Banach spaces. We present a general representer theorem that characterizes the solutions of a remarkably broad class of optimization problems. We then use our theorem to retrieve a number of known results in the literature---e.g., the celebrated representer theorem of machine leaning for RKHS, Tikhonov regularization, representer theorems for sparsity promoting functionals, the recovery of spikes---as well as a few new ones.


title: Computability Aspects of Differential Games in Euclidian Spaces

abstract: We study computability-theoretic aspects of differential games. Our focus is on pursuit and evasion games played in Euclidean spaces in the tradition of Rado's "Lion versus Man" game. In some ways, these games can be viewed as continuous versions of reachability games. We prove basic undecidability of differential games, and study natural classes of pursuit-evasion games in Euclidean spaces where the winners can win via computable strategies. The winning strategy for Man found by Besicovitch for the traditional "Lion versus Man" is not computable. We show how to modify it to yield a computable non-deterministic winning strategy, and raise the question whether Man can win in a computable and deterministic way.


title: Competitive percolation strategies for network recovery

abstract: Restoring operation of critical infrastructure systems after catastrophic events is an important issue, inspiring work in multiple fields, including network science, civil engineering, and operations research. We consider the problem of finding the optimal order of repairing elements in power grids and similar infrastructure. Most existing methods either only consider system network structure, potentially ignoring important features, or incorporate component level details leading to complex optimization problems with limited scalability. We aim to narrow the gap between the two approaches. Analyzing realistic recovery strategies, we identify over- and undersupply penalties of commodities as primary contributions to reconstruction cost, and we demonstrate traditional network science methods, which maximize the largest connected component, are cost inefficient. We propose a novel competitive percolation recovery model accounting for node demand and supply, and network structure. Our model well approximates realistic recovery strategies, suppressing growth of the largest connected component through a process analogous to explosive percolation. Using synthetic power grids, we investigate the effect of network characteristics on recovery process efficiency. We learn that high structural redundancy enables reduced total cost and faster recovery, however, requires more information at each recovery step. We also confirm that decentralized supply in networks generally benefits recovery efforts.


title: Using Artificial Intelligence to Recapture Norms: Did #metoo change gender norms in Sweden?

abstract: Norms are challenging to define and measure, but this paper takes advantage of text data and the recent development in machine learning to create an encompassing measure of norms. An LSTM neural network is trained to detect gendered language. The network functions as a tool to create a measure on how gender norms changes in relation to the Metoo movement on Swedish Twitter. This paper shows that gender norms on average are less salient half a year after the date of the first appearance of the hashtag #Metoo. Previous literature suggests that gender norms change over generations, but the current result suggests that norms can change in the short run.


title: Simultaneous use of Individual and Joint Regularization Terms in Compressive Sensing: Joint Reconstruction of Multi-Channel Multi-Contrast MRI Acquisitions

abstract: Multi-contrast images are commonly acquired together to maximize complementary diagnostic information, albeit at the expense of longer scan times. A time-efficient strategy to acquire high-quality multi-contrast images is to accelerate individual sequences and then reconstruct undersampled data with joint regularization terms that leverage common information across contrasts. However, these terms can cause features that are unique to a subset of contrasts to leak into the other contrasts. Such leakage-of-features may appear as artificial tissues, thereby misleading diagnosis. The goal of this study is to develop a compressive sensing method for multi-channel multi-contrast magnetic resonance imaging (MRI) that optimally utilizes shared information while preventing feature leakage. Joint regularization terms group sparsity and colour total variation are used to exploit common features across images while individual sparsity and total variation are also used to prevent leakage of distinct features across contrasts. The multi-channel multi-contrast reconstruction problem is solved via a fast algorithm based on Alternating Direction Method of Multipliers. The proposed method is compared against using only individual and only joint regularization terms in reconstruction. Comparisons were performed on single-channel simulated and multi-channel in-vivo datasets in terms of reconstruction quality and neuroradiologist reader scores. The proposed method demonstrates rapid convergence and improved image quality for both simulated and in-vivo datasets. Furthermore, while reconstructions that solely use joint regularization terms are prone to leakage-of-features, the proposed method reliably avoids leakage via simultaneous use of joint and individual terms, thereby holding great promise for clinical use.


title: Random bases for coprime linear groups

abstract: The minimal base size $b(G)$ for a permutation group $G$, is a widely studied topic in the permutation group theory. Z. Halasi and K. Podoski proved that $b(G)\leq 2$ for coprime linear groups. Motivated by this result and the probabilistic method used by T. C. Burness, M. W. Liebeck and A. Shalev, it was asked by L. Pyber that for coprime linear groups $G\leq GL(V)$, whether there exists a constant $c$ such that the probability of that a random $c$-tuple is a base for $G$ tends to 1 as $|V|\to\infty$. While the answer to this question is negative in general, it is positive under the additional assumption that $G$ is even primitive as a linear group. In this paper, we show that almost all $11$-tuples are bases for coprime primitive linear groups.


title: A functional representation of the capacity multiplication monad

abstract: Functional representations of the capacity monad based on the max and min operations were considered in \cite{Ra1} and \cite{Ny1}. Nykyforchyn considered in \cite{Ny2} some alternative monad structure for the possibility capacity functor based on the max and usual multiplication operations. We show that such capacity monad (which we call the capacity multiplication monad) has a functional representation, i.e. the space of capacities on a compactum $X$ can be naturally embedded (with preserving of the monad structure) in some space of functionals on $C(X,I)$. We also describe this space of functionals in terms of properties of functionals.


title: The Charge 2 Monopole via the ADHMN construction

abstract: Recently we have shown how one may use use integrable systems techniques to implement the ADHMN construction and obtain general analytic formulae for the charge n su(2) Euclidean monopole. Here we do this for the case of charge 2: so answering an open problem of some 30 years standing. A comparison with known results and other approaches is made and new results presented.


title: Fine-Grained Semantic Segmentation of Motion Capture Data using Dilated Temporal Fully-Convolutional Networks

abstract: Human motion capture data has been widely used in data-driven character animation. In order to generate realistic, natural-looking motions, most data-driven approaches require considerable efforts of pre-processing, including motion segmentation and annotation. Existing (semi-) automatic solutions either require hand-crafted features for motion segmentation or do not produce the semantic annotations required for motion synthesis and building large-scale motion databases. In addition, human labeled annotation data suffers from inter- and intra-labeler inconsistencies by design. We propose a semi-automatic framework for semantic segmentation of motion capture data based on supervised machine learning techniques. It first transforms a motion capture sequence into a ``motion image'' and applies a convolutional neural network for image segmentation. Dilated temporal convolutions enable the extraction of temporal information from a large receptive field. Our model outperforms two state-of-the-art models for action segmentation, as well as a popular network for sequence modeling. Most of all, our method is very robust under noisy and inaccurate training labels and thus can handle human errors during the labeling process.


title: All-fiber self-compensating polarization encoder for Quantum Key Distribution

abstract: Quantum Key Distribution (QKD) allows distant parties to exchange cryptographic keys with unconditional security by encoding information on the degrees of freedom of photons. Polarization encoding has been extensively used in QKD implementations along free-space, optical fiber and satellite-based links. However, the polarization encoders used in such implementations are unstable, expensive, complex and can even exhibit side-channels that undermine the security of the implemented protocol. Here we propose a self-compensating polarization encoder based on a Lithium Niobate phase modulator inside a Sagnac interferometer and implement it using only standard telecommunication commercial off-the-shelves components (COTS). Our polarization encoder combines a simple design and high stability reaching an intrinsic quantum bit error rate as low as 0.2%. Since realization is possible from the 800 nm to the 1550 nm band by using COTS, our polarization modulator is a promising solution for free-space, fiber and satellite-based QKD.


title: Approximation of integration over finite groups, difference sets and association schemes

abstract: Let $G$ be a finite group and $f:G \to {\mathbb C}$ be a function. For a non-empty finite subset $Y\subset G$, let $I_Y(f)$ denote the average of $f$ over $Y$. Then, $I_G(f)$ is the average of $f$ over $G$. Using the decomposition of $f$ into irreducible components of ${\mathbb C}^G$ as a representation of $G\times G$, we define non-negative real numbers $V(f)$ and $D(Y)$, each depending only on $f$, $Y$, respectively, such that an inequality of the form $|I_G(f)-I_Y(f)|\leq V(f)\cdot D(Y)$ holds. We give a lower bound of $D(Y)$ depending only on $\#Y$ and $\#G$. We show that the lower bound is achieved if and only if $\#\{(x,y)\in Y^2 \mid x^{-1}y \in [a]\}/\#[a]$ is independent of the choice of the conjugacy class $[a]\subset G$ for $a \neq 1$. We call such a $Y\subset G$ as a pre-difference set in $G$, since the condition is satisfied if $Y$ is a difference set. If $G$ is abelian, the condition is equivalent to that $Y$ is a difference set. We found a non-trivial pre-difference set in the dihedral group of order 16, where no non-trivial difference set exists. The pre-difference sets in non-abelian groups of order 16 are classified. A generalization to commutative association schemes is also given.


title: The tetraquark $K_{1}(1400)$ in the decays $\tau \to [\omega(782), \phi(1020)] K^{-} \nu_{\tau}$

abstract: In the extended Nambu--Jona-Lasinio model, the decay widths of the processes $\tau \to [\omega(782), \phi(1020)] K^{-} \nu_{\tau}$ were calculated. The intermediate strange quark-antiquark mesons in both the ground and the first radially excited states were taken into account. The meson $K_{1}(1400)$, being a possible candidate for the role of the tetraquark meson, was also taken into account as an intermediate state. The result for the process $\tau \to \omega(782) K^{-} \nu_{\tau}$ is in satisfactory agreement with the experimental data. Simultaneously, the result for the decay $\tau \to \phi(1020) K^{-} \nu_{\tau}$ is in agreement with the experimental data with precision $1.3 \sigma$.


title: Selective Exposure shapes the Facebook News Diet

abstract: The social brain hypothesis fixes to 150 the number of social relationships we are able to maintain. Similar cognitive constraints emerge in several aspects of our daily life, from our mobility up to the way we communicate, and might even affect the way we consume information online. Indeed, despite the unprecedented amount of information we can access online, our attention span still remains limited. Furthermore, recent studies showed the tendency of users to ignore dissenting information but to interact with information adhering to their point of view. In this paper, we quantitatively analyze users' attention economy in news consumption on social media by analyzing 14M users interacting with 583 news outlets (pages) on Facebook over a time span of 6 years. In particular, we explore how users distribute their activity across news pages and topics. We find that, independently of their activity, users show the tendency to follow a very limited number of pages. On the other hand, users tend to interact with almost all the topics presented by their favored pages. Finally, we introduce a taxonomy accounting for users behavior to distinguish between patterns of selective exposure and interest. Our findings suggest that segregation of users in echo chambers might be an emerging effect of users' activity on social media and that selective exposure -- i.e. the tendency of users to consume information interest coherent with their preferences -- could be a major driver in their consumption patterns.


title: A note on 3-manifolds and complex surface singularities

abstract: This article is motivated by the original Casson invariant regarded as an integral lifting of the Rochlin invariant. We aim to defining an integral lifting of the Adams e-invariant of stably framed 3-manifolds, perhaps endowed with some additional structure. We succeed in doing so for manifolds which are links of normal complex Gorenstein smoothable singularities. These manifolds are naturally equipped with a canonical $\SU$-frame. To start we notice that the set of homotopy classes of $\SU$-frames on the stable tangent bundle of every closed oriented 3-manifold is canonically a $\mathbb Z$-torsor. Then we define the $\widehat E$-invariant for the manifolds in question, an integer that modulo 24 is the Adams e-invariant. The $\widehat E$-invariant for the canonical frame equals the Milnor number plus 1, so this brings a new viewpoint on the Milnor number of the smoothable Gorenstein surface singularities.


title: MeV Dark Matter in light of the Small Scale Crisis

abstract: The small-scale crisis is one of the most outstanding puzzles in modern cosmology and astrophysics. It may imply a suppression of matter perturbation at small scale. In this work, by taking into account of the gravitational effects from the non-equilibrium production of DM, we propose a new mechanism, which can realize such desired suppression and alleviate the crisis within the framework of cold dark matter (DM) and simple inflation. Moreover, in this new mechanism, we establish a novel relation between the particle mass of DM, $m_\chi$, and the critical scale of suppression, $k_\star^{-1}$. As $k_\star^{-1}$ will be further constrained in future astrophysical observations, $m_\chi$ can be constrained accordingly with this relation. It thus provides a new method in complementary to other existing strategies of determining $m_\chi$. Furthermore, to illustrate our theoretical prediction, we consider a suppression at $k_\star^{-1}=1~\text{kpc}$ that can partially alleviate the small-scale crisis, and obtain $m_\chi=2.2~\text{MeV}$ for realizing such suppression. Then we plot the power spectrum of linear matter perturbation for this case, and illustrate a salient feature of the suppression that can serves a smoking-gun signature of this new mechanism in future observations.


title: Matrix Completion via Nonconvex Regularization: Convergence of the Proximal Gradient Algorithm

abstract: Matrix completion has attracted much interest in the past decade in machine learning and computer vision. For low-rank promotion in matrix completion, the nuclear norm penalty is convenient due to its convexity but has a bias problem. Recently, various algorithms using nonconvex penalties have been proposed, among which the proximal gradient descent (PGD) algorithm is one of the most efficient and effective. For the nonconvex PGD algorithm, whether it converges to a local minimizer and its convergence rate are still unclear. This work provides a nontrivial analysis on the PGD algorithm in the nonconvex case. Besides the convergence to a stationary point for a generalized nonconvex penalty, we provide more deep analysis on a popular and important class of nonconvex penalties which have discontinuous thresholding functions. For such penalties, we establish the finite rank convergence, convergence to restricted strictly local minimizer and eventually linear convergence rate of the PGD algorithm. Meanwhile, convergence to a local minimizer has been proved for the hard-thresholding penalty. Our result is the first shows that, nonconvex regularized matrix completion only has restricted strictly local minimizers, and the PGD algorithm can converge to such minimizers with eventually linear rate under certain conditions. Illustration of the PGD algorithm via experiments has also been provided. Code is available at https://github.com/FWen/nmc.


title: Hecke Algebra-valued Poincar\'e Series and Geometric Factorization of Affine Weyl Groups

abstract: This paper explores affine Weyl groups and their associated Hecke algebras, concentrating on the Poincar\'e series with coefficients in Hecke algebra. We investigate its relationship with zeta functions on complexes and extend existing research on geodesic tubes to encompass higher dimensions. Our main findings confirm a conjecture that elucidates the connection between the Poincar\'e series and geodesic tubes. Additionally, we provide partial evidence for another conjecture related to the zeta identity for simply connected groups. These contributions deepen our understanding of the interactions among algebraic groups, Hecke algebras, and the geometry of related complexes.


title: Complex Stiffness Model of Physical Human-Robot Interaction: Implications for Control of Performance Augmentation Exoskeletons

abstract: Human joint dynamic stiffness plays an important role in the stability of performance augmentation exoskeletons. In this paper, we consider a new frequency domain model of the human joint dynamics which features a complex value stiffness. This complex stiffness consists of a real stiffness and a hysteretic damping. We use it to explain the dynamic behaviors of the human connected to the exoskeleton, in particular the observed non-zero low frequency phase shift and the near constant damping ratio of the resonant as stiffness and inertia vary. We validate this concept by experimenting with an elbow-joint exoskeleton testbed on a subject while modifying joint stiffness behavior, exoskeleton inertia, and strength augmentation gains. We compare three different models of elbow-joint dynamic stiffness: a model with real stiffness, viscous damping and inertia, a model with complex stiffness and inertia, and a model combining the previous two models. Our results show that the hysteretic damping term improves modeling accuracy, using a statistical F-test. Moreover this improvement is statistically more significant than using classical viscous damping term. In addition, we experimentally observe a linear relationship between the hysteretic damping and the real part of the stiffness which allows us to simplify the complex stiffness model as a 1-parameter system. Ultimately, we design a fractional order controller to demonstrate how human hysteretic damping behavior can be exploited to improve strength amplification performance while maintaining stability.


title: Deep Optimization model for Screen Content Image Quality Assessment using Neural Networks

abstract: In this paper, we propose a novel quadratic optimized model based on the deep convolutional neural network (QODCNN) for full-reference and no-reference screen content image (SCI) quality assessment. Unlike traditional CNN methods taking all image patches as training data and using average quality pooling, our model is optimized to obtain a more effective model including three steps. In the first step, an end-to-end deep CNN is trained to preliminarily predict the image visual quality, and batch normalized (BN) layers and l2 regularization are employed to improve the speed and performance of network fitting. For second step, the pretrained model is fine-tuned to achieve better performance under analysis of the raw training data. An adaptive weighting method is proposed in the third step to fuse local quality inspired by the perceptual property of the human visual system (HVS) that the HVS is sensitive to image patches containing texture and edge information. The novelty of our algorithm can be concluded as follows: 1) with the consideration of correlation between local quality and subjective differential mean opinion score (DMOS), the Euclidean distance is utilized to measure effectiveness of image patches, and the pretrained model is fine-tuned with more effective training data; 2) an adaptive pooling approach is employed to fuse patch quality of textual and pictorial regions, whose feature only extracted from distorted images owns strong noise robust and effects on both FR and NR IQA; 3) Considering the characteristics of SCIs, a deep and valid network architecture is designed for both NR and FR visual quality evaluation of SCIs. Experimental results verify that our model outperforms both current no-reference and full-reference image quality assessment methods on the benchmark screen content image quality assessment database (SIQAD).


title: Strong homotopy of digitally continuous functions

abstract: We introduce a new type of homotopy relation for digitally continuous functions which we call ``strong homotopy.'' Both digital homotopy and strong homotopy are natural digitizations of classical topological homotopy: the difference between them is analogous to the difference between digital 4-adjacency and 8-adjacency in the plane. We explore basic properties of strong homotopy, and give some equivalent characterizations. In particular we show that strong homotopy is related to ``punctuated homotopy,'' in which the function changes by only one point in each homotopy time step. We also show that strongly homotopic maps always have the same induced homomorphisms in the digital homology theory. This is not generally true for digitally homotopic maps, though we do show that it is true for any homotopic selfmaps on the digital cycle $C_n$ with $n\ge 4$. We also define and consider strong homotopy equivalence of digital images. Using some computer assistance, we produce a catalog of all small digital images up to strong homotopy equivalence. We also briefly consider pointed strong homotopy equivalence, and give an example of a pointed contractible image which is not pointed strongly contractible.


title: A Computational Phase Field Study of Conducting Channel Formation in Dielectric Thin Films: A View Towards the Physical Origins of Resistive Switching

abstract: A phase field method is used to computationally study conducting channel morphology of resistive switching thin film structures. Our approach successfully predicts the formation of conducting channels in typical dielectric thin film structures, comparable to a range of resistive switches, offering an alternative computational formulation based on metastable states treated at the atomic scale. In contrast to previous resistive switching thin film models, our formulation makes no a priori assumptions on conducting channel morphology and its fundamental transport mechanisms.


title: Goodness-of-Fit Testing for Time Series Models via Distance Covariance

abstract: In many statistical modeling frameworks, goodness-of-fit tests are typically administered to the estimated residuals. In the time series setting, whiteness of the residuals is assessed using the sample autocorrelation function. For many time series models, especially those used for financial time series, the key assumption on the residuals is that they are in fact independent and not just uncorrelated. In this paper, we apply the auto-distance covariance function (ADCV) to evaluate the serial dependence of the estimated residuals. Distance covariance can discriminate between dependence and independence of two random vectors. The limit behavior of the test statistic based on the ADCV is derived for a general class of time series models. One of the key aspects in this theory is adjusting for the dependence that arises due to parameter estimation. This adjustment has essentially the same form regardless of the model specification. We illustrate the results in simulated examples.


title: PartNet: A Recursive Part Decomposition Network for Fine-grained and Hierarchical Shape Segmentation

abstract: Deep learning approaches to 3D shape segmentation are typically formulated as a multi-class labeling problem. Existing models are trained for a fixed set of labels, which greatly limits their flexibility and adaptivity. We opt for top-down recursive decomposition and develop the first deep learning model for hierarchical segmentation of 3D shapes, based on recursive neural networks. Starting from a full shape represented as a point cloud, our model performs recursive binary decomposition, where the decomposition network at all nodes in the hierarchy share weights. At each node, a node classifier is trained to determine the type (adjacency or symmetry) and stopping criteria of its decomposition. The features extracted in higher level nodes are recursively propagated to lower level ones. Thus, the meaningful decompositions in higher levels provide strong contextual cues constraining the segmentations in lower levels. Meanwhile, to increase the segmentation accuracy at each node, we enhance the recursive contextual feature with the shape feature extracted for the corresponding part. Our method segments a 3D shape in point cloud into an unfixed number of parts, depending on the shape complexity, showing strong generality and flexibility. It achieves the state-of-the-art performance, both for fine-grained and semantic segmentation, on the public benchmark and a new benchmark of fine-grained segmentation proposed in this work. We also demonstrate its application for fine-grained part refinements in image-to-shape reconstruction.


title: Lie-algebraic connections between two classes of risk-sensitive performance criteria for linear quantum stochastic systems

abstract: This paper is concerned with the original risk-sensitive performance criterion for quantum stochastic systems and its recent quadratic-exponential counterpart. These functionals are of different structure because of the noncommutativity of quantum variables and have their own useful features such as tractability of evolution equations and robustness properties. We discuss a Lie algebraic connection between these two classes of cost functionals for open quantum harmonic oscillators using an apparatus of complex Hamiltonian kernels and symplectic factorizations. These results are aimed to extend useful properties from one of the classes of risk-sensitive costs to the other and develop state-space equations for computation and optimization of these criteria in quantum robust control and filtering problems.


title: neuralRank: Searching and ranking ANN-based model repositories

abstract: Widespread applications of deep learning have led to a plethora of pre-trained neural network models for common tasks. Such models are often adapted from other models via transfer learning. The models may have varying training sets, training algorithms, network architectures, and hyper-parameters. For a given application, what isthe most suitable model in a model repository? This is a critical question for practical deployments but it has not received much attention. This paper introduces the novel problem of searching and ranking models based on suitability relative to a target dataset and proposes a ranking algorithm called \textit{neuralRank}. The key idea behind this algorithm is to base model suitability on the discriminating power of a model, using a novel metric to measure it. With experimental results on the MNIST, Fashion, and CIFAR10 datasets, we demonstrate that (1) neuralRank is independent of the domain, the training set, or the network architecture and (2) that the models ranked highly by neuralRank ranking tend to have higher model accuracy in practice.


title: 2LS: Heap Analysis and Memory Safety (Competition Contribution)

abstract: 2LS is a framework for analysis of sequential C programs that can verify and refute program assertions and termination. The 2LS framework is built upon the CPROVER infrastructure and implements template-based synthesis techniques, e.g. to find invariants and ranking functions, and incremental loop unwinding techniques to find counterexamples and k-induction proofs. The main improvements in this year's version are the ability of 2LS to analyse programs requiring combined reasoning about shape and content of dynamic data structures, and an instrumentation for memory safety properties.


title: Design and Validation of a Bluetooth 5 Fog Computing Based Industrial CPS Architecture for Intelligent Industry 4.0 Shipyard Workshops

abstract: Navantia, one of Europe's largest shipbuilders, is creating a fog computing-based Industrial Cyber-Physical System (ICPS) for remote monitoring in real-time of their pipe workshops. Such a monitoring process, which involves pipe traceability and tracking, is a unique industrial challenge, given their metallic content, massive quantity and heterogeneous typology, as well as to the number of complex processes involved. Pipe improved location, from production and through their lifetime, can provide significant productivity and safety benefits to shipyards and foster innovative applications in process planning. Bluetooth 5 represents a cost-effective opportunity to cope with this harsh environment, since it has been significantly enhanced in terms of low power consumption, range, speed and broadcasting capacity. Thus, this article proposes a Bluetooth 5 fog computing-based ICPS architecture that is designed to support physically-distributed and low-latency Industry 4.0 applications that off-load network traffic and computational resource consumption from the cloud. In order to validate the proposed ICPS design, one of Navantia's pipe workshops has been modeled through an in-house-developed 3D ray launching radio planning simulator that considers three main intrinsic characteristics: the number of pipes, the main working areas with their corresponding machines, and the daily workforce. The radio propagation results obtained by the simulation tool are validated through empirical measurements. These results aim to provide guidelines for ICPS developers, network operators and planners to investigate further complex industrial deployments based on Bluetooth 5.


title: A Cooperative Multi-Agent Reinforcement Learning Framework for Resource Balancing in Complex Logistics Network

abstract: Resource balancing within complex transportation networks is one of the most important problems in real logistics domain. Traditional solutions on these problems leverage combinatorial optimization with demand and supply forecasting. However, the high complexity of transportation routes, severe uncertainty of future demand and supply, together with non-convex business constraints make it extremely challenging in the traditional resource management field. In this paper, we propose a novel sophisticated multi-agent reinforcement learning approach to address these challenges. In particular, inspired by the externalities especially the interactions among resource agents, we introduce an innovative cooperative mechanism for state and reward design resulting in more effective and efficient transportation. Extensive experiments on a simulated ocean transportation service demonstrate that our new approach can stimulate cooperation among agents and lead to much better performance. Compared with traditional solutions based on combinatorial optimization, our approach can give rise to a significant improvement in terms of both performance and stability.


title: Efficient Reinforcement Learning for StarCraft by Abstract Forward Models and Transfer Learning

abstract: Injecting human knowledge is an effective way to accelerate reinforcement learning (RL). However, these methods are underexplored. This paper presents our discovery that an abstract forward model (thought-game (TG)) combined with transfer learning (TL) is an effective way. We take StarCraft II as our study environment. With the help of a designed TG, the agent can learn a 99% win-rate on a 64x64 map against the Level-7 built-in AI, using only 1.08 hours in a single commercial machine. We also show that the TG method is not as restrictive as it was thought to be. It can work with roughly designed TGs, and can also be useful when the environment changes. Comparing with previous model-based RL, we show TG is more effective. We also present a TG hypothesis that gives the influence of different fidelity levels of TG. For real games that have unequal state and action spaces, we proposed a novel XfrNet of which usefulness is validated while achieving a 90% win-rate against the cheating Level-10 AI. We argue that the TG method might shed light on further studies of efficient RL with human knowledge.


title: Model Selection in Utility-Maximizing Binary Prediction

abstract: The maximum utility estimation proposed by Elliott and Lieli (2013) can be viewed as cost-sensitive binary classification; thus, its in-sample overfitting issue is similar to that of perceptron learning. A utility-maximizing prediction rule (UMPR) is constructed to alleviate the in-sample overfitting of the maximum utility estimation. We establish non-asymptotic upper bounds on the difference between the maximal expected utility and the generalized expected utility of the UMPR. Simulation results show that the UMPR with an appropriate data-dependent penalty achieves larger generalized expected utility than common estimators in the binary classification if the conditional probability of the binary outcome is misspecified.


title: Exact rainbow numbers for matchings in plane triangulations

abstract: Given two graphs $G$ and $H$, the {\it rainbow number} $rb(G,H)$ for $H$ with respect to $G$ is defined as the minimum number $k$ such that any $k$-edge-coloring of $G$ contains a rainbow $H$, i.e., a copy of $H$, all of its edges have different colors. Denote by $M_t$ a matching of size $t$ and $\mathcal {T}_n$ the class of all plane triangulations of order $n$, respectively. Jendrol', Schiermeyer and Tu initiated to investigate the rainbow numbers for matchings in plane triangulations, and proved some bounds for the value of $rb({\mathcal {T}_n},M_t)$. Chen, Lan and Song proved that $2n+3t-14 \le rb(\mathcal {T}_n, M_t)\le 2n+4t-13$ for all $n\ge 3t-6$ and $t \ge 6$. In this paper, we determine the exact values of $rb({\mathcal {T}_n},M_t)$ for large $n$, namely, $rb({\mathcal {T}_n},M_t)=2n+3t-14$ for all $n \ge 9t+3$ and $t\ge 7$.


title: Virtual Representations for Iterative IoT Deployment

abstract: A central vision of the Internet of Things is the representation of the physical world in a consistent virtual environment. Especially in the context of smart factories the connection of the different, heterogeneous production modules through a digital shop floor promises faster conversion rates, data-driven maintenance or automated machine configurations for use cases, which have not been known at design time. Nevertheless, these scenarios demand IoT representations of all participating machines and components, which requires high installation efforts and hardware adjustments. We propose an incremental process for bringing the shop floor closer to the IoT vision. Currently the majority of systems, components or parts are not yet connected with the internet and might not even provide the possibility to be technically equipped with sensors. However, those could be essential parts for a realistic digital shop floor representation. We, therefore, propose Virtual Representations, which are capable of independently calculating a physical object's condition by dynamically collecting and interpreting already available data through RESTful Web APIs. The internal logic of such Virtual Representations are further adjustable at runtime, since changes to its respective physical object, its environment or updates to the resource itself should not cause any downtime.


title: FRI -- Feature Relevance Intervals for Interpretable and Interactive Data Exploration

abstract: Most existing feature selection methods are insufficient for analytic purposes as soon as high dimensional data or redundant sensor signals are dealt with since features can be selected due to spurious effects or correlations rather than causal effects. To support the finding of causal features in biomedical experiments, we hereby present FRI, an open source Python library that can be used to identify all-relevant variables in linear classification and (ordinal) regression problems. Using the recently proposed feature relevance method, FRI is able to provide the base for further general experimentation or in specific can facilitate the search for alternative biomarkers. It can be used in an interactive context, by providing model manipulation and visualization methods, or in a batch process as a filter method.


title: Agile Network Access Control in the Container Age

abstract: Linux Containers, such as those managed by Docker, are an increasingly popular way to package and deploy complex applications. However, the fundamental security primitive of network access control for a distributed microservice deployment is often ignored or left to the network operations team. High-level application-specific security requirements are not appropriately enforced by low-level network access control lists. Apart from coarse-grained separation of virtual networks, Docker neither supports the application developer to specify nor the network operators to enforce fine-grained network access control between containers. In a fictional story, we follow DevOp engineer Alice through the lifecycle of a web application. From the initial design and software engineering through network operations and automation, we show the task expected of Alice and propose tool-support to help. As a full-stack DevOp, Alice is involved in high-level design decisions as well as low-level network troubleshooting. Focusing on network access control, we demonstrate shortcomings in today's policy management and sketch a tool-supported solution. We survey related academic work and show that many existing tools fail to bridge between the different levels of abstractions a full-stack engineer is operating on. Our toolset is formally verified using Isabell/HOL and is available as Open Source.


title: A kaleidoscope of phases in the dipolar Hubbard model

abstract: We investigate the emergence of a myriad of phases in the strong coupling regime of the dipolar Hubbard model in two dimensions. By using a combination of numerically unbiased methods in finite systems with analytical perturbative arguments, we show the versatility that trapped dipolar atoms possess in displaying a wide variety of many-body phases, which can be tuned simply by changing the collective orientation of the atomic dipoles. We further investigate the stability of these phases to thermal fluctuations in the strong coupling regime, highlighting that they can be accessed with current techniques employed in cold atoms experiments on optical lattices. Interestingly, both quantum and thermal phase transitions are signalled by peaks or discontinuities in local moment-local moment correlations, which have been recently measured in some of these experiments, so that they can be used as probes for the onset of different phases.


title: Impacts of the intrinsic charm content of the proton on the $\Xi_{cc}$ hadroproduction at a fixed target experiment at the LHC

abstract: In the present paper, we present detailed discussions on the hadronic production of $\Xi_{cc}$ at a fixed target experiment at the LHC (After@LHC). The charm quarks in hadron could be either extrinsic or intrinsic. By using the BHPS model as the intrinsic charm distribution function in proton, we observe that even if by setting the proportion of finding the intrinsic charm in a proton as $A_{\rm in}=1\%$, total cross sections for the $g+c$ and $c+c$ production mechanisms shall be enhanced by nearly two times. Thus the number of $\Xi_{cc}$ events to be generated at the After@LHC can be greatly enhanced. Since the total cross sections and differential distributions for the $\Xi_{cc}$ production at the After@LHC are sensitive to the value of $A_{\rm in}$, the After@LHC could be a good platform for testing the idea of intrinsic charm.


title: The future of stellar occultations by distant solar system bodies: perspectives from the Gaia astrometry and the deep sky surveys

abstract: Distant objects in the solar system are crucial to better understand the history and evolution of its outskirts. The stellar occultation technique allows the determination of their sizes and shapes with kilometric accuracy, a detailed investigation of their immediate vicinities, as well as the detection of tenuous atmospheres. The prediction of such events is a key point in this study, and yet accurate enough predictions are available to a handful of objects only. In this work, we briefly discuss the dramatic impact that both the astrometry from the Gaia space mission and the deep sky surveys -- the Large Synoptic Survey Telescope in particular -- will have on the prediction of stellar occultations and how they may influence the future of the study of distant small solar system bodies through this technique.


title: Predicting and interpreting embeddings for out of vocabulary words in downstream tasks

abstract: We propose a novel way to handle out of vocabulary (OOV) words in downstream natural language processing (NLP) tasks. We implement a network that predicts useful embeddings for OOV words based on their morphology and on the context in which they appear. Our model also incorporates an attention mechanism indicating the focus allocated to the left context words, the right context words or the word's characters, hence making the prediction more interpretable. The model is a ``drop-in'' module that is jointly trained with the downstream task's neural network, thus producing embeddings specialized for the task at hand. When the task is mostly syntactical, we observe that our model aims most of its attention on surface form characters. On the other hand, for tasks more semantical, the network allocates more attention to the surrounding words. In all our tests, the module helps the network to achieve better performances in comparison to the use of simple random embeddings.


title: A Regularized Approach to Sparse Optimal Policy in Reinforcement Learning

abstract: We propose and study a general framework for regularized Markov decision processes (MDPs) where the goal is to find an optimal policy that maximizes the expected discounted total reward plus a policy regularization term. The extant entropy-regularized MDPs can be cast into our framework. Moreover, under our framework, many regularization terms can bring multi-modality and sparsity, which are potentially useful in reinforcement learning. In particular, we present sufficient and necessary conditions that induce a sparse optimal policy. We also conduct a full mathematical analysis of the proposed regularized MDPs, including the optimality condition, performance error, and sparseness control. We provide a generic method to devise regularization forms and propose off-policy actor critic algorithms in complex environment settings. We empirically analyze the numerical properties of optimal policies and compare the performance of different sparse regularization forms in discrete and continuous environments.


title: An embedding problem for finite local torsors over twisted curves

abstract: In his previous paper, the author proposed as a problem a purely inseparable analogue of the Abhyankar conjecture for affine curves in positive characteristic and gave a partial answer to it, which includes a complete answer for finite local nilpotent group schemes. In the present paper, motivated by the Abhyankar conjectures with restricted ramifications due to Harbater and Pop, we study a refined version of the analogous problem, based on a recent work on tamely ramified torsors due to Biswas-Borne, which is formulated in terms of root stacks. We study an embedding problem to conclude that the refined analogue is true in the solvable case.


title: Quaternionic stochastic areas

abstract: We study quaternionic stochastic areas processes associated with Brownian motions on the quaternionic rank-one symmetric spaces $\mathbb{H}H^n$ and $\mathbb{H}P^n$. The characteristic functions of fixed-time marginals of these processes are computed and allows for the explicit description of their corresponding large-time limits. We also obtain exact formulas for the semigroup densities of the stochastic area processes using a Doob transform in the former case and the semigroup density of the circular Jacobi process in the latter. For $\mathbb{H}H^n$, the geometry of the quaternionic anti-de Sitter fibration plays a central role , whereas for $\mathbb{H}P^n$, this role is played by the quaternionic Hopf fibration.


title: Monadic Decomposability of Regular Relations

abstract: Monadic decomposibility --- the ability to determine whether a formula in a given logical theory can be decomposed into a boolean combination of monadic formulas --- is a powerful tool for devising a decision procedure for a given logical theory. In this paper, we revisit a classical decision problem in automata theory: given a regular (a.k.a. synchronized rational) relation, determine whether it is recognizable, i.e., it has a monadic decomposition (that is, a representation as a boolean combination of cartesian products of regular languages). Regular relations are expressive formalisms which, using an appropriate string encoding, can capture relations definable in Presburger Arithmetic. In fact, their expressive power coincide with relations definable in a universal automatic structure; equivalently, those definable by finite set interpretations in WS1S (Weak Second Order Theory of One Successor). Determining whether a regular relation admits a recognizable relation was known to be decidable (and in exponential time for binary relations), but its precise complexity still hitherto remains open. Our main contribution is to fully settle the complexity of this decision problem by developing new techniques employing infinite Ramsey theory. The complexity for DFA (resp. NFA) representations of regular relations is shown to be NLOGSPACE-complete (resp. \PSPACE-complete).


title: One Table to Count Them All: Parallel Frequency Estimation on Single-Board Computers

abstract: Sketches are probabilistic data structures that can provide approximate results within mathematically proven error bounds while using orders of magnitude less memory than traditional approaches. They are tailored for streaming data analysis on architectures even with limited memory such as single-board computers that are widely exploited for IoT and edge computing. Since these devices offer multiple cores, with efficient parallel sketching schemes, they are able to manage high volumes of data streams. However, since their caches are relatively small, a careful parallelization is required. In this work, we focus on the frequency estimation problem and evaluate the performance of a high-end server, a 4-core Raspberry Pi and an 8-core Odroid. As a sketch, we employed the widely used Count-Min Sketch. To hash the stream in parallel and in a cache-friendly way, we applied a novel tabulation approach and rearranged the auxiliary tables into a single one. To parallelize the process with performance, we modified the workflow and applied a form of buffering between hash computations and sketch updates. Today, many single-board computers have heterogeneous processors in which slow and fast cores are equipped together. To utilize all these cores to their full potential, we proposed a dynamic load-balancing mechanism which significantly increased the performance of frequency estimation.


title: Feedback Control Principles for Biological Control of Dengue Vectors

abstract: Controlling diseases such as dengue fever, chikungunya and zika fever by introduction of the intracellular parasitic bacterium Wolbachia in mosquito populations which are their vectors, is presently quite a promising tool to reduce their spread. While description of the conditions of such experiments has received ample attention from biologists, entomologists and applied mathematicians, the issue of effective scheduling of the releases remains an interesting problem for Control theory. Having in mind the important uncertainties present in the dynamics of the two populations in interaction, we attempt here to identify general ideas for building release strategies, which should apply to several models and situations. These principles are exemplified by two interval observer-based feedback control laws whose stabilizing properties are demonstrated when applied to a model retrieved from [Bliman et al., 2018]. Crucial use is made of the theory of monotone dynamical systems.


title: HISTEX (HISTory EXerciser) : A tool for testing the implementation of Isolation Levels of Relational Database Management Systems

abstract: We present a multi-process application called HISTEX (HISTory EXerciser), which executes input histories in a generic transactional notation on commercial DBMS platforms. HISTEX could be used to discover potential errors in the implementation of Isolation Levels by Relational Database Management Systems or cases where a system behaves over restrictively. It can also be used for performance measurements related to database workloads executing on real database systems instead of simulated environments. HISTEX has been implemented in C by utilizing Embedded SQL. However, many of its ideas could be reincarnated in new implementations that could rely on other database connectivity paradigms such as JDBC, JPA etc. We expect that by presenting some of the ideas behind its development we could re-invigorate some fresh interest and involvement in the research community regarding such tools.


title: Research Software Development & Management in Universities: Case Studies from Manchester's RSDS Group, Illinois' NCSA, and Notre Dame's CRC

abstract: Modern research in the sciences, engineering, humanities, and other fields depends on software, and specifically, research software. Much of this research software is developed in universities, by faculty, postdocs, students, and staff. In this paper, we focus on the role of university staff. We examine three different, independently-developed models under which these staff are organized and perform their work, and comparatively analyze these models and their consequences on the staff and on the software, considering how the different models support software engineering practices and processes. This information can be used by software engineering researchers to understand the practices of such organizations and by universities who want to set up similar organizations and to better produce and maintain research software.


title: Clicktok: Click Fraud Detection using Traffic Analysis

abstract: Advertising is a primary means for revenue generation for millions of websites and smartphone apps (publishers). Naturally, a fraction of publishers abuse the ad-network to systematically defraud advertisers of their money. Defenses have matured to overcome some forms of click fraud but are inadequate against the threat of organic click fraud attacks. Malware detection systems including honeypots fail to stop click fraud apps; ad-network filters are better but measurement studies have reported that a third of the clicks supplied by ad-networks are fake; collaborations between ad-networks and app stores that bad-lists malicious apps works better still, but fails to prevent criminals from writing fraudulent apps which they monetise until they get banned and start over again. This work develops novel inference techniques that can isolate click fraud attacks using their fundamental properties. In the {\em mimicry defence}, we leverage the observation that organic click fraud involves the re-use of legitimate clicks. Thus we can isolate fake-clicks by detecting patterns of click-reuse within ad-network clickstreams with historical behaviour serving as a baseline. Second, in {\em bait-click defence}. we leverage the vantage point of an ad-network to inject a pattern of bait clicks into the user's device, to trigger click fraud-apps that are gated on user-behaviour. Our experiments show that the mimicry defence detects around 81\% of fake-clicks in stealthy (low rate) attacks with a false-positive rate of 110110 per hundred thousand clicks. Bait-click defence enables further improvements in detection rates of 95\% and reduction in false-positive rates of between 0 and 30 clicks per million, a substantial improvement over current approaches.


title: Model completeness and relative decidability

abstract: We study the implications of model completeness of a theory for the effectiveness of presentations of models of that theory. It is immediate that for a computable model $\mathcal A$ of a computably enumerable, model complete theory, the entire elementary diagram $E(\mathcal A)$ must be decidable. We prove that indeed a c.e. theory $T$ is model complete if and only if there is a uniform procedure that succeeds in deciding $E(\mathcal A)$ from the atomic diagram $\Delta(\mathcal A)$ for all countable models $\mathcal A$ of $T$. Moreover, if every presentation of a single isomorphism type $\mathcal A$ has this property of relative decidability, then there must be a procedure with succeeds uniformly for all presentations of an expansion $(\mathcal A,\vec{a})$ by finitely many new constants. We end with a conjecture about the situation when all models of a theory are relatively decidable.


title: Deep ReLU networks overcome the curse of dimensionality for bandlimited functions

abstract: We prove a theorem concerning the approximation of bandlimited multivariate functions by deep ReLU networks for which the curse of the dimensionality is overcome. Our theorem is based on a result by Maurey and on the ability of deep ReLU networks to approximate Chebyshev polynomials and analytic functions efficiently.


title: Coarse dimension and definable sets in expansions of the ordered real vector space

abstract: Suppose $E \subseteq \mathbb{R}$ is nowhere dense. If $(\mathbb{R},<,+,(x \mapsto \lambda x)_{\lambda \in \mathbb{R} }, E)$ does not define every bounded Borel subset of every $\mathbb{R}^n$ then for every $s > 0$ we have $$ | \{ k \in \mathbb{Z}, -m \leq k \leq m - 1 : [k,k+1] \cap E \neq \emptyset \} | < m^s $$ for sufficiently large $m \in \mathbb{N}$. Then there is an $n \in \mathbb{N}$ and a linear $T : \mathbb{R}^n \to \mathbb{R}$ such that $T(E^n)$ is dense. It follows that if $E$ is in addition nowhere dense then $(\mathbb{R},<,+,0,(x \mapsto \lambda x)_{\lambda \in \mathbb{R}}, E)$ defines every bounded Borel subset of every $\mathbb{R}^n$.


title: A construction of lower-bounded generalized twisted modules for a grading-restricted vertex (super)algebra

abstract: We give a general, direct and explicit construction of lower-bounded generalized twisted modules satisfying a universal property for a grading-restricted vertex (super)algebra $V$ associated to an automorphism $g$ of $V$. In particular, when $g$ is the identity, we obtain lower-bounded generalized $V$-modules satisfying a universal property. Let $W$ be a lower-bounded graded vector space equipped with a set of "generating twisted fields" and a set of "generator twist fields" satisfying a weak commutativity for generating twisted fields, a generalized weak commutativity for one generating twisted field and one generator twist field and some other properties that are relatively easy to verify. We first prove the convergence and commutativity of products of an arbitrary number of generating twisted fields, one twist generator field and an arbitrary number of generating fields for $V$. Then using the convergence and commutativity, we define a twisted vertex operator map for $W$ and prove that $W$ equipped with this twisted vertex operator map is a lower-bounded generalized $g$-twisted $V$-module. Using this result, we give an explicit construction of lower-bounded generalized $g$-twisted $V$-modules satisfying a universal property starting from vector spaces graded by weights, $\mathbb{Z}_{2}$-fermion numbers and $g$-weights (eigenvalues of $g$) and real numbers corresponding to the lower bounds of the weights of the modules to be constructed. In particular, every lower-bounded generalized $g$-twisted $V$-module (every lower-bounded generalized $V$-module when $g$ is the identity) is a quotient of such a universal lower-bounded generalized $g$-twisted $V$-module (a universal lower-bounded generalized $V$-module).


title: A Proximal Jacobian ADMM Approach for Fast Massive MIMO Signal Detection in Low-Latency Communications

abstract: One of the 5G promises is to provide Ultra Reliable Low Latency Communications (URLLC) which targets an end to end communication latency that is less than 1ms . The very low latency requirement of URLLC entails a lot of work in all networking layers. In this paper, we focus on the physical layer, and in particular, we propose a novel formulation of the massive MIMO uplink detection problem. We introduce an objective function that is a sum of strictly convex and separable functions based on decomposing the received vector into multiple vectors. Each vector represents the contribution of one of the transmitted symbols in the received vector. Proximal Jacobian Alternating Direction Method of Multipliers (PJADMM) is used to solve the new formulated problem in an iterative manner where at every iteration all variables are updated in parallel and in a closed form expression. The proposed algorithm provides a lower complexity and much faster processing time compared to the conventional MMSE detection technique and other iterative-based techniques, especially when the number of single antenna users is close to the number of base station (BS) antennas. This improvement is obtained without any matrix inversion. Simulation results demonstrate the efficacy of the proposed algorithm in reducing detection processing time in the multi-user uplink massive MIMO setting.


title: Speech Recognition with no speech or with noisy speech

abstract: The performance of automatic speech recognition systems(ASR) degrades in the presence of noisy speech. This paper demonstrates that using electroencephalography (EEG) can help automatic speech recognition systems overcome performance loss in the presence of noise. The paper also shows that distillation training of automatic speech recognition systems using EEG features will increase their performance. Finally, we demonstrate the ability to recognize words from EEG with no speech signal on a limited English vocabulary with high accuracy.


title: Mixed Dynamical Decoupling

abstract: We propose a scheme for mixed dynamical decoupling (MDD), where we combine continuous dynamical decoupling with robust sequences of phased pulses. Specifically, we use two fields for decoupling, where the first continuous driving field creates dressed states that are robust to environmental noise. Then, a second field implements a robust sequence of phased pulses to perform inversions of the dressed qubits, thus achieving robustness to amplitude fluctuations of both fields. We show that MDD outperforms standard concatenated continuous dynamical decoupling in realistic numerical simulations for dynamical decoupling in NV centers in diamond. Finally, we also demonstrate how our technique can be utilized for improved sensing.


title: Refitting solutions promoted by $\ell_{12}$ sparse analysis regularization with block penalties

abstract: In inverse problems, the use of an $\ell_{12}$ analysis regularizer induces a bias in the estimated solution. We propose a general refitting framework for removing this artifact while keeping information of interest contained in the biased solution. This is done through the use of refitting block penalties that only act on the co-support of the estimation. Based on an analysis of related works in the literature, we propose a new penalty that is well suited for refitting purposes. We also present an efficient algorithmic method to obtain the refitted solution along with the original (biased) solution for any convex refitting block penalty. Experiments illustrate the good behavior of the proposed block penalty for refitting.


title: Autocurricula and the Emergence of Innovation from Social Interaction: A Manifesto for Multi-Agent Intelligence Research

abstract: Evolution has produced a multi-scale mosaic of interacting adaptive units. Innovations arise when perturbations push parts of the system away from stable equilibria into new regimes where previously well-adapted solutions no longer work. Here we explore the hypothesis that multi-agent systems sometimes display intrinsic dynamics arising from competition and cooperation that provide a naturally emergent curriculum, which we term an autocurriculum. The solution of one social task often begets new social tasks, continually generating novel challenges, and thereby promoting innovation. Under certain conditions these challenges may become increasingly complex over time, demanding that agents accumulate ever more innovations.


title: Automating Predictive Modeling Process using Reinforcement Learning

abstract: Building a good predictive model requires an array of activities such as data imputation, feature transformations, estimator selection, hyper-parameter search and ensemble construction. Given the large, complex and heterogenous space of options, off-the-shelf optimization methods are infeasible for realistic response times. In practice, much of the predictive modeling process is conducted by experienced data scientists, who selectively make use of available tools. Over time, they develop an understanding of the behavior of operators, and perform serial decision making under uncertainty, colloquially referred to as educated guesswork. With an unprecedented demand for application of supervised machine learning, there is a call for solutions that automatically search for a good combination of parameters across these tasks to minimize the modeling error. We introduce a novel system called APRL (Autonomous Predictive modeler via Reinforcement Learning), that uses past experience through reinforcement learning to optimize such sequential decision making from within a set of diverse actions under a time constraint on a previously unseen predictive learning problem. APRL actions are taken to optimize the performance of a final ensemble. This is in contrast to other systems, which maximize individual model accuracy first and create ensembles as a disconnected post-processing step. As a result, APRL is able to reduce up to 71\% of classification error on average over a wide variety of problems.


title: Ultrafast relaxation of symmetry-breaking photo-induced atomic forces

abstract: We present a first-principles method for the calculation of the temperature-dependent relaxation of symmetry-breaking atomic driving forces in photoexcited systems. We calculate the phonon-assisted decay of the photoexcited force on the low-symmetry $E_g$ mode following absorption of an ultrafast pulse in the prototypical group-V semimetals, Bi, Sb and As. The force decay lifetimes for Bi and Sb are of the order of $10$ fs and in good agreement with recent experiments, demonstrating that electron-phonon scattering is the dominant mechanism relaxing the symmetry-breaking forces. Calculations for a range of absorbed photon energies suggest that larger amplitude, symmetry-breaking atomic motion may be induced by choosing a pump photon energy which maximises the product of the initial $E_g$ force and its lifetime. We also find that the high-symmetry $A_{1g}$ force undergoes a partial decay to a non-zero constant on similar timescales, which has not yet been measured in experiments. We observe that the imaginary part of the electron self-energy, averaged over the photoexcited carrier distribution, provides a reasonable estimate for the decay rate of symmetry-breaking forces.


title: A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach

abstract: We study robot construction problems where multiple autonomous robots rearrange stacks of prefabricated blocks to build stable structures. These problems are challenging due to ramifications of actions, true concurrency, and requirements of supportedness of blocks by other blocks and stability of the structure at all times. We propose a formal hybrid planning framework to solve a wide range of robot construction problems, based on Answer Set Programming. This framework not only decides for a stable final configuration of the structure, but also computes the order of manipulation tasks for multiple autonomous robots to build the structure from an initial configuration, while simultaneously ensuring the stability, supportedness and other desired properties of the partial construction at each step of the plan. We prove the soundness and completeness of our formal method with respect to these properties. We introduce a set of challenging robot construction benchmark instances, including bridge building and stack overhanging scenarios, discuss the usefulness of our framework over these instances, and demonstrate the applicability of our method using a bimanual Baxter robot.


title: Yang-Mills ghost propagator in linear covariant gauges

abstract: From first principles, using a screened expansion, a simple one-loop analytical expression is provided for the ghost propagator of pure SU(3) Yang-Mills theory in a generic linear covariant gauge. At variance with the Landau gauge, the ghost dressing function is suppressed in the infrared and vanishes at $p=0$, as predicted by other approaches in the continuum. However, in the very limited range where lattice data are available no detectable deviation is found from the Landau gauge, thus reconciling some recent lattice data and previous continuum predictions.


title: Tolling for Constraint Satisfaction in Markov Decision Process Congestion Games

abstract: Markov decision process (MDP) congestion game is an extension of classic congestion games, where a continuous population of selfish agents solves Markov decision processes with congestion: the payoff of a strategy decreases as more population uses it. We draw parallels between key concepts from capacitated congestion games and MDP. In particular, we show that population mass constraints in MDP congestion games are equivalent to imposing tolls/incentives on the reward function, which can be utilized by social planners to achieve auxiliary objectives. We demonstrate such methods in a simulated Seattle ride-share model, where tolls and incentives are enforced for two separate objectives: to guarantee minimum driver density in downtown Seattle, and to shift the game equilibrium towards a maximum social output.