title: Analysis of the Risk-Sharing Principal-Agent problem through the Reverse-H{\"o}lder inequality

abstract: In this paper we provide an alternative framework to tackle the first-best Principal-Agent problem under CARA utilities. This framework leads to both a proof of existence and uniqueness of the solution to the Risk-Sharing problem under very general assumptions on the underlying contract space. Our analysis relies on an optimal decomposition of the expected utility of the Principal in terms of the reservation utility of the Agent and works both in a discrete time and continuous time setting. As a by-product this approach provides a novel way of characterizing the optimal contract in the CARA setting, which is as an alternative to the widely used Lagrangian method, and some analysis of the optimum.


title: Exploring Visual Relationship for Image Captioning

abstract: It is always well believed that modeling relationships between objects would be helpful for representing and eventually describing an image. Nevertheless, there has not been evidence in support of the idea on image description generation. In this paper, we introduce a new design to explore the connections between objects for image captioning under the umbrella of attention-based encoder-decoder framework. Specifically, we present Graph Convolutional Networks plus Long Short-Term Memory (dubbed as GCN-LSTM) architecture that novelly integrates both semantic and spatial object relationships into image encoder. Technically, we build graphs over the detected objects in an image based on their spatial and semantic connections. The representations of each region proposed on objects are then refined by leveraging graph structure through GCN. With the learnt region-level features, our GCN-LSTM capitalizes on LSTM-based captioning framework with attention mechanism for sentence generation. Extensive experiments are conducted on COCO image captioning dataset, and superior results are reported when comparing to state-of-the-art approaches. More remarkably, GCN-LSTM increases CIDEr-D performance from 120.1% to 128.7% on COCO testing set.


title: Up- and down-quark masses from QCD sum rules

abstract: The QCD up- and down-quark masses are determined from an optimized QCD Finite Energy Sum Rule (FESR) involving the correlator of axial-vector current divergences. In the QCD sector this correlator is known to five loop order in perturbative QCD (PQCD), together with non-perturbative corrections from the quark and gluon condensates. This FESR is designed to reduce considerably the systematic uncertainties arising from the hadronic spectral function. The determination is done in the framework of both fixed order and contour improved perturbation theory. Results from the latter, involving far less systematic uncertainties, are: $\bar{m}_u (2\, \mbox{GeV}) = (2.6 \, \pm \, 0.4) \, {\mbox{MeV}}$, $\bar{m}_d (2\, \mbox{GeV}) = (5.3 \, \pm \, 0.4) \, {\mbox{MeV}}$, and the sum $\bar{m}_{ud} \equiv (\bar{m}_u \, + \, \bar{m}_d)/2$, is $\bar{m}_{ud}({ 2 \,\mbox{GeV}}) =( 3.9 \, \pm \, 0.3 \,) {\mbox{MeV}}$.


title: NICT's Corpus Filtering Systems for the WMT18 Parallel Corpus Filtering Task

abstract: This paper presents the NICT's participation in the WMT18 shared parallel corpus filtering task. The organizers provided 1 billion words German-English corpus crawled from the web as part of the Paracrawl project. This corpus is too noisy to build an acceptable neural machine translation (NMT) system. Using the clean data of the WMT18 shared news translation task, we designed several features and trained a classifier to score each sentence pairs in the noisy data. Finally, we sampled 100 million and 10 million words and built corresponding NMT systems. Empirical results show that our NMT systems trained on sampled data achieve promising performance.


title: Asymptotic exponential law for the transition time to equilibrium of the metastable kinetic Ising model with vanishing magnetic field

abstract: We consider a Glauber dynamics associated with the Ising model on a large two-dimensional box with with minus boundary conditions and in the limit of a vanishing positive external magnetic field. The volume of this box increases quadratically in the inverse of the magnetic field. We show that at subcritical temperature and for a large class of starting measures, including measures that are supported by configurations with macroscopic plus-spin droplets, the system rapidly relaxes to some metastable equilibrium ---with typical configurations made of microscopic plus-phase droplets in a sea of minus spins--- before making a transition at an asymptotically exponential random time towards equilibrium ---with typical configurations made of microscopic minus-phase droplets in a sea of plus spins inside a large contour that separates this plus phase from the boundary. We get this result by bounding from above the local relaxation times towards metastable and stable equilibria. This makes possible to give a pathwise description of such a transition, to control the asymptotic behaviour of the mixing time in terms of soft capacities and to give estimates of these capacities.


title: A Methodology for Search Space Reduction in QoS Aware Semantic Web Service Composition

abstract: The semantic information regulates the expressiveness of a web service. State-of-the-art approaches in web services research have used the semantics of a web service for different purposes, mainly for service discovery, composition, execution etc. In this paper, our main focus is on semantic driven Quality of Service (QoS) aware service composition. Most of the contemporary approaches on service composition have used the semantic information to combine the services appropriately to generate the composition solution. However, in this paper, our intention is to use the semantic information to expedite the service composition algorithm. Here, we present a service composition framework that uses semantic information of a web service to generate different clusters, where the services are semantically related within a cluster. Our final aim is to construct a composition solution using these clusters that can efficiently scale to large service spaces, while ensuring solution quality. Experimental results show the efficiency of our proposed method.


title: Privacy-Preserving DDoS Attack Detection Using Cross-Domain Traffic in Software Defined Networks

abstract: Existing distributed denial-of-service attack detection in software defined networks (SDNs) typically perform detection in a single domain. In reality, abnormal traffic usually affects multiple network domains. Thus, a cross-domain attack detection has been proposed to improve detection performance. However, when participating in detection, the domain of each SDN needs to provide a large amount of real traffic data, from which private information may be leaked. Existing multiparty privacy protection schemes often achieve privacy guarantees by sacrificing accuracy or increasing the time cost. Achieving both high accuracy and reasonable time consumption is a challenging task. In this paper, we propose Predis, which is a privacypreserving cross-domain attack detection scheme for SDNs. Predis combines perturbation encryption and data encryption to protect privacy and employs a computationally simple and efficient algorithm k-Nearest Neighbors (kNN) as its detection algorithm. We also improve kNN to achieve better efficiency. Via theoretical analysis and extensive simulations, we demonstrate that Predis is capable of achieving efficient and accurate attack detection while securing sensitive information of each domain.


title: Lambert W function and hanging chain revisited

abstract: In classical physics, calculating the slack of a hanging chain is a problem that has attracted interest. This study aims to solve this problem through experiment and theory. When the length and distance of both the ends of a hanging chain are given, the length of slack can be expressed by a Lambert W function or an irrational function within a certain distance. Herein, a simple observation of the slack is presented. The result obtained is one of the applications of the Lambert W function in the field of physics. Though the shape of a hanging chain is well-known to be a catenary, the calculation of slack possesses richer aspects of mathematical physics.


title: New approach for solar tracking systems based on computer vision, low cost hardware and deep learning

abstract: In this work, a new approach for Sun tracking systems is presented. Due to the current system limitations regarding costs and operational problems, a new approach based on low cost, computer vision open hardware and deep learning has been developed. The preliminary tests carried out successfully in Plataforma solar de Almeria (PSA), reveal the great potential and show the new approach as a good alternative to traditional systems. The proposed approach can provide key variables for the Sun tracking system control like cloud movements prediction, block and shadow detection, atmospheric attenuation or measures of concentrated solar radiation, which can improve the control strategies of the system and therefore the system performance.


title: Dilepton Radiation in Heavy-Ion Collisions at Small Transverse Momentum

abstract: We study the invariant-mass distributions of dileptons produced in ultrarelativistic heavy-ion collisions at very low pair transverse momenta, $P_T\leq 0.15$ GeV. Specifically, we investigate the interplay of thermal radiation with initial photon annihilation processes, $\gamma \gamma \to l^+ l^-$, triggered by the coherent electromagnetic fields of the incoming nuclei. For the thermal radiation, we employ the emission from the QGP and hadronic phases with in-medium vector spectral functions which describes the inclusive excess radiation observed over a wide range of collision energies. For the coherent photon fusion processes, whose spectrum is much softer than for thermal radiation, we employ initial fluxes from the Fourier transform of charge distributions of the colliding nuclei in the equivalent-photon approximation. We first verify that the combination of photon fusion, thermal radiation and final-state hadron decays gives a fair description of the low-$P_T$ dilepton mass spectra as recently measured by the STAR collaboration in $\sqrt{s_{NN}}$=200 GeV Au+Au collisions for different centrality classes, including experimental acceptance cuts. The coherent contribution dominates in peripheral collisions, while thermal radiation shows a markedly stronger increase with centrality. We perform similar calculations at lower collision energies ($\sqrt{s_{NN}}$=17.3 GeV) and compare to the acceptance-corrected dimuon excess spectra measured by the NA60 experiment at the CERN SPS; here, the contribution from photoproduction is subleading. We also provide predictions for the ALICE experiment at the LHC; the pertinent excitation function from SPS to LHC energies reveals a nontrivial interplay of photoproduction and thermal radiation.


title: Twist-bend coupling and the statistical mechanics of the twistable worm-like chain model of DNA: perturbation theory and beyond

abstract: The simplest model of DNA mechanics describes the double helix as a continuous rod with twist and bend elasticity. Recent work has discussed the relevance of a little-studied coupling $G$ between twisting and bending, known to arise from the groove asymmetry of the DNA double helix. Here, the effect of $G$ on the statistical mechanics of long DNA molecules subject to applied forces and torques is investigated. We present a perturbative calculation of the effective torsional stiffness $C_\text{eff}$ for small twist-bend coupling. We find that the "bare" $G$ is "screened" by thermal fluctuations, in the sense that the low-force, long-molecule effective free energy is that of a model with $G=0$, but with long-wavelength bending and twisting rigidities that are shifted by $G$-dependent amounts. Using results for torsional and bending rigidities for freely-fluctuating DNA, we show how our perturbative results can be extended to a non-perturbative regime. These results are in excellent agreement with numerical calculations for Monte Carlo "triad" and molecular dynamics "oxDNA" models, characterized by different degrees of coarse-graining, validating the perturbative and non-perturbative analyses. While our theory is in generally-good quantitative agreement with experiment, the predicted torsional stiffness does systematically deviate from experimental data, suggesting that there are as-yet-uncharacterized aspects of DNA twisting-stretching mechanics relevant to low-force, long-molecule mechanical response, which are not captured by widely-used coarse-grained models.


title: Probabilistic completeness of RRT for geometric and kinodynamic planning with forward propagation

abstract: The Rapidly-exploring Random Tree (RRT) algorithm has been one of the most prevalent and popular motion-planning techniques for two decades now. Surprisingly, in spite of its centrality, there has been an active debate under which conditions RRT is probabilistically complete. We provide two new proofs of probabilistic completeness (PC) of RRT with a reduced set of assumptions. The first one for the purely geometric setting, where we only require that the solution path has a certain clearance from the obstacles. For the kinodynamic case with forward propagation of random controls and duration, we only consider in addition mild Lipschitz-continuity conditions. These proofs fill a gap in the study of RRT itself. They also lay sound foundations for a variety of more recent and alternative sampling-based methods, whose PC property relies on that of RRT. Our original publication contains an error in the analysis of the case of the kinodynamic RRT. Here, we rectify the problem by modifying the proof of Theorem 2, which, in particular, necessitated a revision of Lemma 3. Briefly, the original (and erroneous) proof of Theorem 2 used a sequence of equal-size balls. The correction uses a sequence of balls of increasing radii. We emphasize that the correction is in Lemma 3 and the proof of Theorem 2 only. The main results remain unchanged.


title: PlanetPack3: a radial-velocity and transit analysis tool for exoplanets

abstract: PlanetPack, initially released in 2013, is a command-line software aimed to facilitate exoplanets detection, characterization, and basic dynamical $N$-body simulations. This paper presents the third major release of PlanetPack that incorporates multiple improvements in comparison to the legacy versions. The major ones include: (i) modelling noise by Gaussian processes that in addition to the classic white noise may optionally include multiple components of the red noise, modulated noise, quasiperiodic noise (to be added soon in minor subversions of the 3.x series); (ii) an improved pipeline for TTV analysis of photometric data that includes quadratic limb-darkening model and automatic red-noise detection; (iii) self-consistent joint fitting of photometric + radial velocity data with full access to all the functionality inherited from the legacy PlanetPack; (iv) modelling of the Rossiter-McLaughlin effect for arbitrary eclipser/star radii ratio, and optionally including corrections that take into account average characteristics of a multiline stellar spectrum; (v) speed improvements through multithreading and CPU-optimized BLAS libraries. PlanetPack was written in pure C++ (standard of 2011), and is expected to be run on a wide range of platforms.


title: NAIS: Neural Attentive Item Similarity Model for Recommendation

abstract: Item-to-item collaborative filtering (aka. item-based CF) has been long used for building recommender systems in industrial settings, owing to its interpretability and efficiency in real-time personalization. It builds a user's profile as her historically interacted items, recommending new items that are similar to the user's profile. As such, the key to an item-based CF method is in the estimation of item similarities. Early approaches use statistical measures such as cosine similarity and Pearson coefficient to estimate item similarities, which are less accurate since they lack tailored optimization for the recommendation task. In recent years, several works attempt to learn item similarities from data, by expressing the similarity as an underlying model and estimating model parameters by optimizing a recommendation-aware objective function. While extensive efforts have been made to use shallow linear models for learning item similarities, there has been relatively less work exploring nonlinear neural network models for item-based CF. In this work, we propose a neural network model named Neural Attentive Item Similarity model (NAIS) for item-based CF. The key to our design of NAIS is an attention network, which is capable of distinguishing which historical items in a user profile are more important for a prediction. Compared to the state-of-the-art item-based CF method Factored Item Similarity Model (FISM), our NAIS has stronger representation power with only a few additional parameters brought by the attention network. Extensive experiments on two public benchmarks demonstrate the effectiveness of NAIS. This work is the first attempt that designs neural network models for item-based CF, opening up new research possibilities for future developments of neural recommender systems.


title: Josefson-Nissenzweig property for $C_p$-spaces

abstract: The famous Rosenthal-Lacey theorem asserts that for each infinite compact space $K$ the Banach space $C(K)$ admits a quotient which is either a copy of $c_{0}$ or $\ell_{2}$. The aim of the paper is to study a natural variant of this result for the space $C_{p}(K)$ of continuous real-valued maps on $K$ with the pointwise topology. Following famous Josefson-Nissenzweig theorem for infinite-dimensional Banach spaces we introduce a corresponding property (called Josefson-Nissenzweig property, briefly, the JNP) for $C_{p}$-spaces. We prove: For a Tychonoff space $X$ the space $C_p(X)$ satisfies the JNP if and only if $C_p(X)$ has a quotient isomorphic to $c_{0}$ (with the product topology of $\mathbb R^\mathbb{N}$) if and only if $C_{p}(X)$ contains a complemented subspace, isomorphic to $c_0$. For a pseudocompact space $X$ the space $C_p(X)$ has the JNP if and only if $C_p(X)$ has a complemented metrizable infinite-dimensional subspace. This applies to show that for a Tychonoff space $X$ the space $C_p(X)$ has a complemented subspace isomorphic to $\mathbb R^{\mathbb N}$ or $c_0$ if and only if $X$ is not pseudocompact or $C_p(X)$ has the JNP. The space $C_{p}(\beta\mathbb{N})$ contains a subspace isomorphic to $c_0$ and admits a quotient isomorphic to $\ell_{\infty}$ but fails to have a quotient isomorphic to $c_{0}$. An example of a compact space $K$ without infinite convergent sequences with $C_{p}(K)$ containing a complemented subspace isomorphic to $c_{0}$ is constructed.


title: Privacy-Preserving SVM Computing by Using Random Unitary Transformation

abstract: A privacy-preserving Support Vector Machine (SVM) computing scheme is proposed in this paper. Cloud computing has been spreading in many fields. However, the cloud computing has some serious issues for end users, such as unauthorized use and leak of data, and privacy compromise. We focus on templates protected by using a random unitary transformation, and consider some properties of the protected templates for secure SVM computing, where templates mean features extracted from data. The proposed scheme enables us not only to protect templates, but also to have the same performance as that of unprotected templates under some useful kernel functions. Moreover, it can be directly carried out by using well-known SVM algorithms, without preparing any algorithms specialized for secure SVM computing. In the experiments, the proposed scheme is applied to a face-based authentication algorithm with SVM classifiers to confirm the effectiveness.


title: Efficient methods for one-shot quantum communication

abstract: We address the question of efficient implementation of quantum protocols, with small communication and entanglement, and short depth circuit for encoding or decoding. We introduce two new methods to achieve this, the first method involving two new versions of convex-split lemma that use small amount of additional resource (in comparison to prior version) and the second method being inspired by the technique of classical correlated sampling in computer science. These lead to a series of new consequences, as follows. First, we consider the task of quantum decoupling, where the aim is to apply an operation on a n-qubit register so as to make it independent of an inaccessible quantum system. Many previous works achieve decoupling with the aid of a random unitary. It is known that random unitaries can be replaced by random circuits of size O(n\log n) and depth poly(\log n), or unitary 2-designs based on Clifford circuits of similar size and depth. We show that given any choice of basis such as the computational basis, decoupling can be achieved by a unitary that takes basis vectors to basis vectors. Thus, the circuit acts in a `classical' manner and additionally uses O(n) catalytic qubits in maximally mixed quantum state. Our unitary performs addition and multiplication modulo a prime and hence achieves a circuit size of O(n\log n) and logarithmic depth. This shows that the circuit complexity of integer multiplication (modulo a prime) is lower bounded by the optimal circuit complexity of decoupling. Next, we construct a new one-shot entanglement-assisted protocol for quantum channel coding that achieves near-optimal communication through a given channel. The number of qubits of pre-shared entanglement is exponentially smaller than that in the previous protocol near-optimal in communication. We also achieve similar results for one-shot quantum state redistribution.


title: A hypercritical accretion scenario in Central Compact Objects accompanied with an expected neutrino burst

abstract: The measurement of the period and period derivative, and the canonical model of dipole radiation have provided a method to estimate the low superficial magnetic fields in the so-called Central Compact Objects (CCOs). In the present work, a scenario is introduced in order to explain the magnetic behavior of such CCOs. Based on magnetohydrodynamic simulations of the post core-collapse supernova phase during the hypercritical accretion episode, we argue that the magnetic field of a newborn neutron star could have been early buried. During this phase, thermal neutrinos are created mainly by the pair annihilation, plasmon decay, photo-neutrino emission and other processes. We study the dynamics of these neutrinos in this environment and also estimate the number expected of the neutrino events with their flavor ratios on Earth. The neutrino burst is the only viable observable that could provide compelling evidence of the hypercritical phase and therefore, the hidden magnetic field mechanism as the most favorable scenario to explain the anomalous low magnetic fields estimated for CCOs.


title: Planning Hybrid Driving-Stepping Locomotion on Multiple Levels of Abstraction

abstract: Navigating in search and rescue environments is challenging, since a variety of terrains has to be considered. Hybrid driving-stepping locomotion, as provided by our robot Momaro, is a promising approach. Similar to other locomotion methods, it incorporates many degrees of freedom---offering high flexibility but making planning computationally expensive for larger environments. We propose a navigation planning method, which unifies different levels of representation in a single planner. In the vicinity of the robot, it provides plans with a fine resolution and a high robot state dimensionality. With increasing distance from the robot, plans become coarser and the robot state dimensionality decreases. We compensate this loss of information by enriching coarser representations with additional semantics. Experiments show that the proposed planner provides plans for large, challenging scenarios in feasible time.


title: Differential KO-theory: constructions, computations, and applications

abstract: We provide several constructions in differential KO-theory. First, we construct a differential refinement of the $\hat{A}$-genus and a pushforward leading to a Riemann-Roch theorem. We set up a differential refinement of the Atiyah-Hirzebruch spectral sequence (AHSS) for differential KO-theory and explicitly identify the differentials, including ones which mix geometric and topological data. We highlight the power of these explicit identifications by providing a characterization of forms in the image of the Pontrjagin character. Along the way, we fill gaps in the literature where K-theory is usually worked out leaving KO-theory essentially untouched. We also illustrate with examples and applications, including higher tangential structures, Adams operations, and a differential Wu formula.


title: How locating sensors in thermo-acoustic tomography?

abstract: Thermo-acoustic tomography is a non-invasive medical imaging technique, constituting a precise and cheap alternative to X-imaging. The principle is to excite a body to reconstruct with a pulse inducing an inhomogeneous heating and therefore expansion of tissues. This creates an acoustic wave pressure which is measured with sensors. The reconstruction of heterogeneities inside the body can be then performed by solving an inverse problem, knowing measurements of the acoustic waves outside the body. As the intensity of the measured pressure is expected to be small, a challenging problem consists in locating the sensors in a adequate way. This paper is devoted to the determination of an optimal sensors location to achieve this reconstruction. We first introduce a model involving a least square functional standing for an observation of the pressure for a first series of measures by sensors, and an observability-like constant functional describing for the quality of reconstruction. Then, we determine an appropriate location of sensors for two series of measures, in two steps: first, we reconstruct possible initial data by solving a worst-case design like problem. Second, we determine from the knowledge of these initial conditions the optimal location of sensors for observing in the best way the corresponding solution of the wave equation. Far from providing an intrinsic solution to the general issue of locating sensors, solving this problem allows to determine a new sensors location improving the quality of reconstruction before getting a new series of measures. We perform a mathematical analysis of this model: in particular we investigate existence issues and introduce a numerical algorithm to solve it. Eventually, several numerical 2D simulations illustrate our approach.


title: Almost Sure Existence of Global Solutions for Supercritical Semilinear Wave Equations

abstract: We prove that for almost every initial data $(u_0,u_1) \in H^s \times H^{s-1}$ with $s > \frac{p-3}{p-1}$ there exists a global weak solution to the supercritical semilinear wave equation $\partial _t^2u - \Delta u +|u|^{p-1}u=0$ where $p>5$, in both $\mathbb{R}^3$ and $\mathbb{T}^3$. This improves in a probabilistic framework the classical result of Strauss who proved global existence of weak solutions associated to $H^1 \times L^2$ initial data. The proof relies on techniques introduced by T. Oh and O. Pocovnicu based on the pioneer work of N. Burq and N. Tzvetkov. We also improve the global well-posedness result of C. Sun and B. Xia for the subcritical regime $p<5$ to the endpoint $s=\frac{p-3}{p-1}$.


title: Adversarial Training Towards Robust Multimedia Recommender System

abstract: With the prevalence of multimedia content on the Web, developing recommender solutions that can effectively leverage the rich signal in multimedia data is in urgent need. Owing to the success of deep neural networks in representation learning, recent advance on multimedia recommendation has largely focused on exploring deep learning methods to improve the recommendation accuracy. To date, however, there has been little effort to investigate the robustness of multimedia representation and its impact on the performance of multimedia recommendation. In this paper, we shed light on the robustness of multimedia recommender system. Using the state-of-the-art recommendation framework and deep image features, we demonstrate that the overall system is not robust, such that a small (but purposeful) perturbation on the input image will severely decrease the recommendation accuracy. This implies the possible weakness of multimedia recommender system in predicting user preference, and more importantly, the potential of improvement by enhancing its robustness. To this end, we propose a novel solution named Adversarial Multimedia Recommendation (AMR), which can lead to a more robust multimedia recommender model by using adversarial learning. The idea is to train the model to defend an adversary, which adds perturbations to the target image with the purpose of decreasing the model's accuracy. We conduct experiments on two representative multimedia recommendation tasks, namely, image recommendation and visually-aware product recommendation. Extensive results verify the positive effect of adversarial learning and demonstrate the effectiveness of our AMR method. Source codes are available in https://github.com/duxy-me/AMR.


title: Incorporation of magnetic nanoparticles into lamellar polystyrene-b-poly(n-butyl methacrylate) diblock copolymer films: influence of the chain end-groups on nanostructuration

abstract: In this article, we present new samples of lamellar magnetic nanocomposites based on the self-assembly of a polystyrene-b-poly(n-butyl methacrylate) diblock copolymer synthesized by atom transfer radical polymerization. The polymer films were loaded with magnetic iron oxide nanoparticles covered with polystyrene chains grown by surface initiated-ATRP. The nanostructuration of the pure and magnetically loaded copolymer films on silicon was studied by atomic force microscopy, ellipsometry, neutron reflectivity and contact angle measurement. The present study highlights the strong influence of the copolymer extremity - driven itself by the choice of the ATRP chemical route - on the order of the repetition sequences of the blocks in the multi-lamellar films. In addition, a narrower distribution of the nanoparticles' sizes was examined as a control parameter of the SI-ATRP reaction.


title: Anytime Hybrid Driving-Stepping Locomotion Planning

abstract: Hybrid driving-stepping locomotion is an effective approach for navigating in a variety of environments. Long, sufficiently even distances can be quickly covered by driving while obstacles can be overcome by stepping. Our quadruped robot Momaro, with steerable pairs of wheels located at the end of each of its compliant legs, allows such locomotion. Planning respective paths attracted only little attention so far. We propose a navigation planning method which generates hybrid locomotion paths. The planner chooses driving mode whenever possible and takes into account the detailed robot footprint. If steps are required, the planner includes those. To accelerate planning, steps are planned first as abstract manoeuvres and are expanded afterwards into detailed motion sequences. Our method ensures at all times that the robot stays stable. Experiments show that the proposed planner is capable of providing paths in feasible time, even for challenging terrain.


title: Bases for local Weyl modules in type $C$

abstract: We give a Poincare-Birkhoff-Witt type basis for local Weyl modules of the current algebra of type $C$. As a consequence, we get a fermionic character formula for these modules.


title: Prosocial or Selfish? Agents with different behaviors for Contract Negotiation using Reinforcement Learning

abstract: We present an effective technique for training deep learning agents capable of negotiating on a set of clauses in a contract agreement using a simple communication protocol. We use Multi Agent Reinforcement Learning to train both agents simultaneously as they negotiate with each other in the training environment. We also model selfish and prosocial behavior to varying degrees in these agents. Empirical evidence is provided showing consistency in agent behaviors. We further train a meta agent with a mixture of behaviors by learning an ensemble of different models using reinforcement learning. Finally, to ascertain the deployability of the negotiating agents, we conducted experiments pitting the trained agents against human players. Results demonstrate that the agents are able to hold their own against human players, often emerging as winners in the negotiation. Our experiments demonstrate that the meta agent is able to reasonably emulate human behavior.


title: Encoding two-dimensional range top-k queries

abstract: We consider the problem of encoding two-dimensional arrays, whose elements come from a total order, for answering \topk{} queries. The aim is to obtain encodings that use space close to the information-theoretic lower bound, which can be constructed efficiently. For an $m \times n$ array, with $m \le n$, we first propose an encoding for answering 1-sided \topk{} queries, whose query range is restricted to $[1 \dots m][1 \dots a]$, for $1 \le a \le n$. Next, we propose an encoding for answering for the general (4-sided) \topk{} queries that takes $(m\lg{{(k+1)n \choose n}}+2nm(m-1)+o(n))$ bits, which generalizes the \textit{joint Cartesian tree} of Golin et al. [TCS 2016]. Compared with trivial $O(nm\lg{n})$-bit encoding, our encoding takes less space when $m = o(\lg{n})$. In addition to the upper bound results for the encodings, we also give lower bounds on encodings for answering $1$ and $4$-sided \topk{} queries, which show that our upper bound results are almost optimal.


title: Measurement error in continuous endpoints in randomised trials: problems and solutions

abstract: In randomised trials, continuous endpoints are often measured with some degree of error. This study explores the impact of ignoring measurement error, and proposes methods to improve statistical inference in the presence of measurement error. Three main types of measurement error in continuous endpoints are considered: classical, systematic and differential. For each measurement error type, a corrected effect estimator is proposed. The corrected estimators and several methods for confidence interval estimation are tested in a simulation study. These methods combine information about error-prone and error-free measurements of the endpoint in individuals not included in the trial (external calibration sample). We show that if measurement error in continuous endpoints is ignored, the treatment effect estimator is unbiased when measurement error is classical, while Type-II error is increased at a given sample size. Conversely, the estimator can be substantially biased when measurement error is systematic or differential. In those cases, bias can largely be prevented and inferences improved upon using information from an external calibration sample, of which the required sample size increases as the strength of the association between the error-prone and error-free endpoint decreases. Measurement error correction using already a small (external) calibration sample is shown to improve inferences and should be considered in trials with error-prone endpoints. Implementation of the proposed correction methods is accommodated by a new software package for R.


title: Faster Training of Mask R-CNN by Focusing on Instance Boundaries

abstract: We present an auxiliary task to Mask R-CNN, an instance segmentation network, which leads to faster training of the mask head. Our addition to Mask R-CNN is a new prediction head, the Edge Agreement Head, which is inspired by the way human annotators perform instance segmentation. Human annotators copy the contour of an object instance and only indirectly the occupied instance area. Hence, the edges of instance masks are particularly useful as they characterize the instance well. The Edge Agreement Head therefore encourages predicted masks to have similar image gradients to the ground-truth mask using edge detection filters. We provide a detailed survey of loss combinations and show improvements on the MS COCO Mask metrics compared to using no additional loss. Our approach marginally increases the model size and adds no additional trainable model variables. While the computational costs are increased slightly, the increment is negligible considering the high computational cost of the Mask R-CNN architecture. As the additional network head is only relevant during training, inference speed remains unchanged compared to Mask R-CNN. In a default Mask R-CNN setup, we achieve a training speed-up and a relative overall improvement of 8.1% on the MS COCO metrics compared to the baseline.


title: Latent Topic Conversational Models

abstract: Latent variable models have been a preferred choice in conversational modeling compared to sequence-to-sequence (seq2seq) models which tend to generate generic and repetitive responses. Despite so, training latent variable models remains to be difficult. In this paper, we propose Latent Topic Conversational Model (LTCM) which augments seq2seq with a neural latent topic component to better guide response generation and make training easier. The neural topic component encodes information from the source sentence to build a global "topic" distribution over words, which is then consulted by the seq2seq model at each generation step. We study in details how the latent representation is learnt in both the vanilla model and LTCM. Our extensive experiments contribute to better understanding and training of conditional latent models for languages. Our results show that by sampling from the learnt latent representations, LTCM can generate diverse and interesting responses. In a subjective human evaluation, the judges also confirm that LTCM is the overall preferred option.


title: Product of extension domains is still an extension domain

abstract: We prove the product of the Sobolev-extension domains is still a Sobolev-extension domain.


title: What Role Can NOMA Play in Massive MIMO?

abstract: This paper seeks to answer a simple but fundamental question: What role can NOMA play in massive MIMO? It is well-established that power-domain non-orthogonal multiple access (NOMA) schemes can outperform conventional orthogonal multiple access (OMA) schemes in cellular networks. However, this fact does not imply that NOMA is the most efficient way to communicate in massive MIMO setups, where the base stations have many more antennas than there are users in the cell. These setups are becoming the norm in future networks and are usually studied by assuming spatial multiplexing of the users using linear multi-user beamforming. To answer the above question, we analyze and compare the performance achieved by NOMA and multi-user beamforming in both NLOS and LOS scenarios. We reveal that the latter scheme gives the highest average sum rate in massive MIMO setups. We also identify specific cases where NOMA is the better choice in massive MIMO and explain how NOMA plays an essential role in creating a hybrid of NOMA and multi-user beamforming that is shown to perform better than two standalone schemes do.


title: Stair Climbing Stabilization of the HRP-4 Humanoid Robot using Whole-body Admittance Control

abstract: We consider dynamic stair climbing with the HRP-4 humanoid robot as part of an Airbus manufacturing use-case demonstrator. We share experimental knowledge gathered so as to achieve this task, which HRP-4 had never been challenged to before. In particular, we extend walkingstabilization based on linear inverted pendulum tracking by quadratic programming-based wrench distribution and a whole-body admittance controller that applies both end-effector and CoM strategies. While existing stabilizers tend to use either one or the other, our experience suggests that the combination of these two approaches improves tracking performance. We demonstrate this solution in an on-site experiment where HRP-4 climbs an industrial staircase with 18.5 cm high steps, and release our walking controller as open source software.


title: Gaussian unitary ensembles with pole singularities near the soft edge and a system of coupled Painlev\'{e} XXXIV equations

abstract: In this paper, we study the singularly perturbed Gaussian unitary ensembles defined by the measure \begin{equation*} \frac{1}{C_n} e^{- n\textrm{tr}\, V(M;\lambda,\vec{t}\;)}dM, \end{equation*} over the space of $n \times n$ Hermitian matrices $M$, where $V(x;\lambda,\vec{t}\;):= 2x^2 + \sum_{k=1}^{2m}t_k(x-\lambda)^{-k}$ with $\vec{t}= (t_1, t_2, \ldots, t_{2m})\in \mathbb{R}^{2m-1} \times (0,\infty)$, in the multiple scaling limit where $\lambda\to 1$ together with $\vec{t} \to \vec{0}$ as $n\to \infty$ at appropriate related rates. We obtain the asymptotics of the partition function, which is described explicitly in terms of an integral involving a smooth solution to a new coupled Painlev\'e system generalizing the Painlev\'e XXXIV equation. The large $n$ limit of the correlation kernel is also derived, which leads to a new universal class built out of the $\Psi$-function associated with the coupled Painlev\'e system.


title: Detect, anticipate and generate: Semi-supervised recurrent latent variable models for human activity modeling

abstract: Successful Human-Robot collaboration requires a predictive model of human behavior. The robot needs to be able to recognize current goals and actions and to predict future activities in a given context. However, the spatio-temporal sequence of human actions is difficult to model since latent factors such as intention, task, knowledge, intuition and preference determine the action choices of each individual. In this work we introduce semi-supervised variational recurrent neural networks which are able to a) model temporal distributions over latent factors and the observable feature space, b) incorporate discrete labels such as activity type when available, and c) generate possible future action sequences on both feature and label level. We evaluate our model on the Cornell Activity Dataset CAD-120 dataset. Our model outperforms state-of-the-art approaches in both activity and affordance detection and anticipation. Additionally, we show how samples of possible future action sequences are in line with past observations.


title: The Aqualoc Dataset: Towards Real-Time Underwater Localization from a Visual-Inertial-Pressure Acquisition System

abstract: This paper presents a new underwater dataset acquired from a visual-inertial-pressure acquisition system and meant to be used to benchmark visual odometry, visual SLAM and multi-sensors SLAM solutions. The dataset is publicly available and contains ground-truth trajectories for evaluation.


title: Nonlinear transmission matrices of random optical media

abstract: Random media with tailored optical properties are attracting burgeoning interest for applications in imaging, biophysics, energy, nanomedicine, spectroscopy, cryptography and telecommunications. A key paradigm for devices based on this class of materials is the transmission matrix, the tensorial link between the input and the output signals, that describes in full their optical behavior. The transmission matrix has specific statistical properties, as the existence of lossless channels, that can be used to transmit information, and are determined by the disorder distribution. In nonlinear materials, these channels may be modulated and the transmission matrix tuned accordingly. Here we report the direct measurement of the nonlinear transmission matrix of complex materials, exploiting the strong optothermal nonlinearity of scattering Silica Aerogel (SA). We show that the dephasing effects due to nonlinearity are both controllable and reversible, opening the road to applications based on the nonlinear response of random media.


title: $L^p$ norms and support of eigenfunctions on graphs

abstract: This article is concerned with properties of delocalization for eigenfunctions of Schr\"odinger operators on large finite graphs. More specifically, we show that the eigenfunctions have a large support and we assess their lp-norms. Our estimates hold for any fixed, possibly irregular graph, in prescribed energy regions, and also for certain sequences of graphs such as N-lifts.


title: Anomalies in Time Delays of Lensed Gravitational Waves and Dark Matter Substructures

abstract: The cold dark matter scenario of hierarchical large-scale structure formation predicts the existence of abundant subhalos around large galaxies. However, the number of observed dwarf galaxies is far from this theoretical prediction, suggesting that most of the subhalos could be dark or quite faint. Gravitational lensing is a powerful tool to probe the mass distribution directly irrespective of whether it is visible or dark. Time delay anomalies in strongly lensed quasar systems are complementary to flux ratio anomalies in probing dark matter substructure in galaxies. Here we propose that lensed gravitational waves detected by the third-generation ground detectors with quite accurate time delay measurements could be a much better tool for this study than conventional techniques. Combined with good quality images of lensed host galaxies identified by the electromagnetic counterpart measurements, lensed GW signals could make the systematic errors caused by dark matter substructures detectable at several percent levels, depending on their mass functions, internal distribution of subhalos and lensing system configuration.


title: On the Maintenance of Classic Modula-2 Compilers

abstract: The classic Modula-2 language was specified in [Wir78] by N.Wirth at ETH Z\"urich in 1978. The last revision [Wir88] was published in 1988. Many computer science books of that era used Modula-2 in programming examples. Many of these are still valuable resources in computer science education today. To compile and run the examples therein, it is essential to have compilers available that follow the classic Modula-2 language definition and run on modern computer hardware and operating systems. Although most Modula-2 compilers of that era have disappeared, a few have since been re-released under open source licenses. Whilst the original authors have long ceased work on these compilers, new maintainers have stepped in. This paper gives recommendations for maintenance on classic Modula-2 compilers while balancing the aim to modernise with the need to maintain the capability to compile programming examples in the literature with minimal effort. Nevertheless, the principles, methods and conclusions presented are adaptable to maintenance on other languages.


title: A Multi-task Convolutional Neural Network for Autonomous Robotic Grasping in Object Stacking Scenes

abstract: Autonomous robotic grasping plays an important role in intelligent robotics. However, how to help the robot grasp specific objects in object stacking scenes is still an open problem, because there are two main challenges for autonomous robots: (1)it is a comprehensive task to know what and how to grasp; (2)it is hard to deal with the situations in which the target is hidden or covered by other objects. In this paper, we propose a multi-task convolutional neural network for autonomous robotic grasping, which can help the robot find the target, make the plan for grasping and finally grasp the target step by step in object stacking scenes. We integrate vision-based robotic grasping detection and visual manipulation relationship reasoning in one single deep network and build the autonomous robotic grasping system. Experimental results demonstrate that with our model, Baxter robot can autonomously grasp the target with a success rate of 90.6%, 71.9% and 59.4% in object cluttered scenes, familiar stacking scenes and complex stacking scenes respectively.


abstract: Automated extraction and labeling of rib centerlines is a typically needed prerequisite for more advanced assisted reading tools that help the radiologist to efficiently inspect all 24 ribs in a CT volume. In this paper, we combine a deep learning-based rib detection with a dedicated centerline extraction algorithm applied to the detection result for the purpose of fast, robust and accurate rib centerline extraction and labeling from CT volumes. More specifically, we first apply a fully convolutional neural network (FCNN) to generate a probability map for detecting the first rib pair, the twelfth rib pair, and the collection of all intermediate ribs. In a second stage, a newly designed centerline extraction algorithm is applied to this multi-label probability map. Finally, the distinct detection of first and twelfth rib separately, allows to derive individual rib labels by simple sorting and counting the detected centerlines. We applied our method to CT volumes from 116 patients which included a variety of different challenges and achieved a centerline accuracy of 0.787 mm with respect to manual centerline annotations. This article is a preprint version of: Lenga M., Klinder T., B\"urger C., von Berg J., Franz A., Lorenz C. (2019) Deep Learning Based Rib Centerline Extraction and Labeling. In: Vrtovec T., Yao J., Zheng G., Pozo J. (eds) Computational Methods and Clinical Applications in Musculoskeletal Imaging. MSKI 2018. Lecture Notes in Computer Science, vol 11404. Springer, Cham


title: Dynamical Optimal Transport on Discrete Surfaces

abstract: We propose a technique for interpolating between probability distributions on discrete surfaces, based on the theory of optimal transport. Unlike previous attempts that use linear programming, our method is based on a dynamical formulation of quadratic optimal transport proposed for flat domains by Benamou and Brenier [2000], adapted to discrete surfaces. Our structure-preserving construction yields a Riemannian metric on the (finite-dimensional) space of probability distributions on a discrete surface, which translates the so-called Otto calculus to discrete language. From a practical perspective, our technique provides a smooth interpolation between distributions on discrete surfaces with less diffusion than state-of-the-art algorithms involving entropic regularization. Beyond interpolation, we show how our discrete notion of optimal transport extends to other tasks, such as distribution-valued Dirichlet problems and time integration of gradient flows.


title: Numerical Implementation of Harmonic Polylogarithms to Weight w = 8

abstract: We present the FORTRAN-code HPOLY.f for the numerical calculation of harmonic polylogarithms up to w = 8 at an absolute accuracy of $\sim 4.9 \cdot 10^{-15}$ or better. Using algebraic and argument relations the numerical representation can be limited to the range $x \in [0, \sqrt{2}-1]$. We provide replacement files to map all harmonic polylogarithms to a basis and the usual range of arguments $x \in ]-\infty,+\infty[$ to the above interval analytically. We also briefly comment on a numerical implementation of real valued cyclotomic harmonic polylogarithms.


title: On the stability of 2D dipolar Bose-Einstein condensates

abstract: We study the existence of energy minimizers for a Bose-Einstein condensate with dipole-dipole interactions, tightly confined to a plane. The problem is critical in that the kinetic energy and the (partially attractive) interaction energy behave the same under mass-preserving scalings of the wave-function. We obtain a sharp criterion for the existence of ground states, involving the optimal constant of a certain generalized Gagliardo-Nirenberg inequality.

categories: math-ph cond-mat.quant-gas math.AP math.MP


title: Risk evaluation and behaviour: defining appropriate frames of reference

abstract: Many biological, psychological and economic experiments have been designed where an organism or individual must choose between two options that have the same expected reward but differ in the variance of reward received. In this way, designed empirical approaches have been developed for evaluating risk preferences. Here, however, we show that if the experimental subject is inferring the reward distribution (to optimize some process), they will never agree in finite time that the expected rewards are equal. In turn, we argue that this makes discussions of risk preferences, and indeed the motivations of behaviour, not so simple or straightforward to interpret. We use this particular experiment to highlight the serious need to consider the frame of reference of the experimental subject in studies of behaviour.


title: Analyzing behavioral trends in community driven discussion platforms like Reddit

abstract: The aim of this paper is to present methods to systematically analyze individual and group behavioral patterns observed in community driven discussion platforms like Reddit where users exchange information and views on various topics of current interest. We conduct this study by analyzing the statistical behavior of posts and modeling user interactions around them. We have chosen Reddit as an example, since it has grown exponentially from a small community to one of the biggest social network platforms in the recent times. Due to its large user base and popularity, a variety of behavior is present among users in terms of their activity. Our study provides interesting insights about a large number of inactive posts which fail to gather attention despite their authors exhibiting Cyborg-like behavior to draw attention. We also present interesting insights about short-lived but extremely active posts emulating a phenomenon like Mayfly Buzz. Further, we present methods to find the nature of activity around highly active posts to determine the presence of Limelight hogging activity, if any. We analyzed over $2$ million posts and more than $7$ million user responses to them during entire 2008 and over $63$ million posts and over $608$ million user responses to them from August 2014 to July 2015 amounting to two one-year periods, in order to understand how social media space has evolved over the years.


title: Ultrafast Calculation of Diffuse Scattering from Atomistic Models

abstract: Diffuse scattering is a rich source of information about disorder in crystalline materials, which can be modelled using atomistic techniques such as Monte Carlo and molecular dynamics simulations. Modern X-ray and neutron scattering instruments can rapidly measure large volumes of diffuse-scattering data. Unfortunately, current algorithms for atomistic diffuse-scattering calculations are too slow to model large data sets completely, because the fast Fourier transform (FFT) algorithm has long been considered unsuitable for such calculations [Butler & Welberry, J. Appl. Cryst. 25, 391 (1992)]. Here, a new approach is presented for ultrafast calculation of atomistic diffuse-scattering patterns. It is shown that the FFT can actually be used to perform such calculations rapidly, and that a fast method based on sampling theory can be used to reduce high-frequency noise in the calculations. These algorithms are benchmarked using realistic examples of compositional, magnetic and displacive disorder. They accelerate the calculations by a factor of at least 100, making refinement of atomistic models to large diffuse-scattering volumes practical.


title: Monochromatic trees in random tournaments

abstract: We prove that, with high probability, in every $2$-edge-colouring of the random tournament on $n$ vertices there is a monochromatic copy of every oriented tree of order $O (n / \sqrt{\log n})$. This generalises a result of the first, third and forth authors who proved the same statement for paths, and is tight up to a constant factor.


title: Characteristic vector and weight distribution of a linear code

abstract: We develop an algorithm for computing the weight distribution of a linear $[n,k]$ code over a finite field $\mathbb{F}_q$. We represent the codes by their characteristic vector with respect to a given generator matrix and a special type of a generator matrix of the k-dimensional simplex code. This characteristic vector is the input data of our algorithms. The complexity of the presented algorithms is O(kq^k).


title: Counting the uncountable: deep semantic density estimation from Space

abstract: We propose a new method to count objects of specific categories that are significantly smaller than the ground sampling distance of a satellite image. This task is hard due to the cluttered nature of scenes where different object categories occur. Target objects can be partially occluded, vary in appearance within the same class and look alike to different categories. Since traditional object detection is infeasible due to the small size of objects with respect to the pixel size, we cast object counting as a density estimation problem. To distinguish objects of different classes, our approach combines density estimation with semantic segmentation in an end-to-end learnable convolutional neural network (CNN). Experiments show that deep semantic density estimation can robustly count objects of various classes in cluttered scenes. Experiments also suggest that we need specific CNN architectures in remote sensing instead of blindly applying existing ones from computer vision.


title: Key polynomials, separate and immediate valuations, and simple extensions of valued fields

abstract: We give a first-order definition of key polynomials, we show the links with previous definitions, that it is relevant to study key degrees, and to use a kind of valuations that we call partially multiplicative. We also prove or reprove several properties.


title: Timing analysis and pulse profile of the Vela pulsar in the optical band from Iqueye observations

abstract: The Vela pulsar is among a number of pulsars which show detectable optical pulsations. We performed optical observations of this pulsar in January and December 2009 with the Iqueye instrument mounted at the ESO 3.5 m New Technology Telescope. Our aim was to perform phase fitting of the Iqueye data, and to measure the optical pulse profile of the Vela pulsar at high time resolution, its absolute phase and rotational period. We calculated for the first time an independent optical timing solution and obtained the most detailed optical pulse profile available to date. Iqueye detected a distinct narrow component on the top of one of the two main optical peaks, which was not resolved in previous observations, and a third statistically significant optical peak not aligned with the radio one. The quality of the Iqueye data allowed us to determine the relative time of arrival of the radio-optical-gamma-ray peaks with an accuracy of a fraction of a millisecond. We compare the shape of the Iqueye pulse profile with that observed in other energy bands and discuss its complex multi-wavelength structure.


title: Points of infinite multiplicity of planar Brownian motion: measures and local times

abstract: It is well-known (see Dvoretzky, Erd{\H o}s and Kakutani [8] and Le Gall [12]) that a planar Brownian motion $(B_t)_{t\ge 0}$ has points of infinite multiplicity, and these points form a dense set on the range. Our main result is the construction of a family of random measures, denoted by $\{{\mathcal M}_{\infty}^\alpha\}_{0< \alpha<2}$, that are supported by the set of the points of infinite multiplicity. We prove that for any $\alpha \in (0, 2)$, almost surely the Hausdorff dimension of ${\mathcal M}_{\infty}^\alpha$ equals $2-\alpha$, and ${\mathcal M}_{\infty}^\alpha$ is supported by the set of thick points defined in Bass, Burdzy and Khoshnevisan [1] as well as by that defined in Dembo, Peres, Rosen and Zeitouni [5]. Our construction also reveals that with probability one, ${\mathcal M}_\infty^\alpha({\rm d} x)$-almost everywhere, there exists a continuous nondecreasing additive functional $({\mathfrak L}_t^x)_{t\ge 0}$, called local times at $x$, such that the support of $ {\rm d} {\mathfrak L}_t^x$ coincides with the level set $\{t: B_t=x\}$.


title: Some properties of Neumann quasigroups

abstract: Any Neumann quasigroup $(Q, \cdot)$ (quasigroup with Neumann identity $ x \cdot(yz \cdot yx) = z$ is called Neumann quasigroup) can be presented in the form $x\cdot y = x-y$, where $(Q, +)$ is an abelian group. Automorphism group of Neumann quasigroup coincides with the group $Aut(Q, +)$. Any Schweizer quasigroup (quasigroup with Schweizer identity $xy \cdot xz = zy$ is called Schweizer quasigroup) is a Neumann quasigroup and vice versa. Any Neumann quasigroup is a GA-quasigroup.


title: Comparison of time profiles for the magnetic transport of cold atoms

abstract: We have compared different time profiles for the trajectory of the centre of a quadrupole magnetic trap designed for the transport of cold sodium atoms. Our experimental observations show that a smooth profile characterized by an analytical expression involving the error function minimizes the transport duration while limiting atom losses and heating of the trapped gas. Using numerical calculations of single atom classical trajectories within the trap, we show that this observation can be qualitatively interpreted as a trade-off between two types of losses: finite depth of the confinement and Majorana spin flips.


title: Structure-property relationship of Co$_2$MnSi thin films in response to He$^+$ -irradiation

abstract: We investigated the structure-property relationship of Co$_2$MnSi Heusler thin films upon the irradiation with He$^+$ ions. The variation of the crystal structure with increasing ion fluence has been probed using nuclear magnetic resonance (NMR) and transmission electron microscopy (TEM), and associated with the corresponding changes of the magnetic behavior. A decrease of both the structural order and the moment in saturation is observed. Specifically, we detect a direct transition from a highly $L2_1$-ordered to a fully $A2$-disordered structure type and quantify the evolution of the $A2$ structural contribution as a function of ion fluence. Complementary TEM analysis reveals a spatially-resolved distribution of the $L2_1$ and $A2$ phases showing that the $A2$ disorder starts at the upper part of the films. The structural degradation in turn leads to a decreasing magnetic moment in saturation in response to the increasing fluence.


title: Novelty-organizing team of classifiers in noisy and dynamic environments

abstract: In the real world, the environment is constantly changing with the input variables under the effect of noise. However, few algorithms were shown to be able to work under those circumstances. Here, Novelty-Organizing Team of Classifiers (NOTC) is applied to the continuous action mountain car as well as two variations of it: a noisy mountain car and an unstable weather mountain car. These problems take respectively noise and change of problem dynamics into account. Moreover, NOTC is compared with NeuroEvolution of Augmenting Topologies (NEAT) in these problems, revealing a trade-off between the approaches. While NOTC achieves the best performance in all of the problems, NEAT needs less trials to converge. It is demonstrated that NOTC achieves better performance because of its division of the input space (creating easier problems). Unfortunately, this division of input space also requires a bit of time to bootstrap.


title: Dual Reconstruction Nets for Image Super-Resolution with Gradient Sensitive Loss

abstract: Deep neural networks have exhibited promising performance in image super-resolution (SR) due to the power in learning the non-linear mapping from low-resolution (LR) images to high-resolution (HR) images. However, most deep learning methods employ feed-forward architectures, and thus the dependencies between LR and HR images are not fully exploited, leading to limited learning performance. Moreover, most deep learning based SR methods apply the pixel-wise reconstruction error as the loss, which, however, may fail to capture high-frequency information and produce perceptually unsatisfying results, whilst the recent perceptual loss relies on some pre-trained deep model and they may not generalize well. In this paper, we introduce a mask to separate the image into low- and high-frequency parts based on image gradient magnitude, and then devise a gradient sensitive loss to well capture the structures in the image without sacrificing the recovery of low-frequency content. Moreover, by investigating the duality in SR, we develop a dual reconstruction network (DRN) to improve the SR performance. We provide theoretical analysis on the generalization performance of our method and demonstrate its effectiveness and superiority with thorough experiments.


title: Complex market dynamics in the light of random matrix theory

abstract: We present a brief overview of random matrix theory (RMT) with the objectives of highlighting the computational results and applications in financial markets as complex systems. An oft-encountered problem in computational finance is the choice of an appropriate epoch over which the empirical cross-correlation return matrix is computed. A long epoch would smoothen the fluctuations in the return time series and suffers from non-stationarity, whereas a short epoch results in noisy fluctuations in the return time series and the correlation matrices turn out to be highly singular. An effective method to tackle this issue is the use of the power mapping, where a non-linear distortion is applied to a short epoch correlation matrix. The value of distortion parameter controls the noise-suppression. The distortion also removes the degeneracy of zero eigenvalues. Depending on the correlation structures, interesting properties of the eigenvalue spectra are found. We simulate different correlated Wishart matrices to compare the results with empirical return matrices computed using the S&P 500 (USA) market data for the period 1985-2016. We also briefly review two recent applications of RMT in financial stock markets: (i) Identification of "market states" and long-term precursor to a critical state; (ii) Characterization of catastrophic instabilities (market crashes).


title: Quasiparticle properties of nonequilibrium gluon plasma

abstract: We apply classical gluodynamics to early stages of ultrarelativistic heavy-ion collisions. We start by going through the space-time evolution of ultrarelativistic heavy-ion collisions in the color glass condensate framework and the basics of real-time gluodynamics on the lattice in the temporal gauge. We study the plasmon mass scale in three- and two-dimensional systems by comparing three different methods to measure the mass scale. The methods are a formula which can be derived from Hard Thermal Loop effective theory at leading order (HTL), the effective dispersion relation (DR) and measurement of the plasma oscillation frequency triggered by the introduction of a uniform electric field (UE) into the system. We observe that in both systems the plasmon mass scale decreases like a power law after an occupation number dependent initial transient time. In both cases the UE and HTL methods are in rough agreement, and in the three-dimensional case the two agree in the continuum limit. As a second way to study the quasiparticle properties, we derive, implement and test an algorithm which can be used to simulate linearized fluctuations on top of the classical background. The algorithm is derived by requiring conservation of Gauss' law and gauge invariance. We then apply the algorithm to spectral properties of overoccupied gluodynamics using linear response theory. We establish the existence of transverse and longitudinal quasiparticles by extracting their spectral functions. We also extract the dispersion relation, effective mass, plasmon mass and damping rate of the quasiparticles. Our results are consistent with the HTL effective theory, but we also observe effects beyond leading order HTL.


title: A unifying Bayesian approach for preterm brain-age prediction that models EEG sleep transitions over age

abstract: Preterm newborns undergo various stresses that may materialize as learning problems at school-age. Sleep staging of the Electroencephalogram (EEG), followed by prediction of their brain-age from these sleep states can quantify deviations from normal brain development early (when compared to the known age). Current automation of this approach relies on explicit sleep state classification, optimizing algorithms using clinician visually labelled sleep stages, which remains a subjective gold-standard. Such models fail to perform consistently over a wide age range and impacts the subsequent brain-age estimates that could prevent identification of subtler developmental deviations. We introduce a Bayesian Network utilizing multiple Gaussian Mixture Models, as a novel, unified approach for directly estimating brain-age, simultaneously modelling for both age and sleep dependencies on the EEG, to improve the accuracy of prediction over a wider age range.


title: Embeddings for Infinite-Dimensional Integration and $L_2$-Approximation with Increasing Smoothness

abstract: We study integration and $L_2$-approximation on countable tensor products of function spaces of increasing smoothness. We obtain upper and lower bounds for the minimal errors, which are sharp in many cases including, e.g., Korobov, Walsh, Haar, and Sobolev spaces. For the proofs we derive embedding theorems between spaces of increasing smoothness and appropriate weighted function spaces of fixed smoothness.


title: One-shot Capacity bounds on the Simultaneous Transmission of Classical and Quantum Information

abstract: We study the communication capabilities of a quantum channel under the most general channel model known as the one-shot model. Unlike classical channels that can only be used to transmit classical information (bits), a quantum channel can be used for transmission of classical information, quantum information (qubits) and simultaneous transmission of classical and quantum information. In this work, we investigate the one-shot capabilities of a quantum channel for simultaneously transmitting of bits and qubits. This problem was studied in the asymptotic regime for a memoryless channel and a regularized characterization of the capacity region was reported. It is known that the transmission of private classical information is closely related to the problem of quantum information transmission. We resort to this idea and find achievable and converse bounds on the simultaneous transmission of the public and private classical information. then by shifting the classical private rate to the quantum information rate, the obtained rate regions will be translated into rate regions of thThis in turn, leads to a rate region for simulttaneous transmission of classical and quantum information. In the case of asymptotic i.i.d. setting, our one-shot result is evaluated to the known results in the literature. Our main tools used in the achievability proofs are position-based decoding and convex-split lemma.


title: Partial integrals of ordinary differential systems

abstract: Properties of partial integrals such as real and complex-valued polynomial, multiple polynomial, exponential, and conditional for ordinary differential systems are studied. The possibilities of constructing first integrals and last multipliers by known partial integrals are considered. Applications of partial integrals to solve the Darboux problem and to the extended Darboux problem are given. Integral basis of the Jacobi system is built. And the inverse problem of constructing differential systems on the base of their partial integrals is solved.


title: Approximate normal forms via Floquet-Bloch theory: Nehorosev stability for linear waves in quasiperiodic media

abstract: We study the long-time behavior of the Schr{\"o}dinger flow in a heterogeneous potential $\lambda$V with small intensity 0<$\lambda$$\ll$1 (or alternatively at high frequencies). The main new ingredient, which we introduce in the general setting of a stationary ergodic potential, is an approximate stationary Floquet--Bloch theory that is used to put the perturbed Schr{\"o}dinger operator into approximate normal form. We apply this approach to quasiperiodic potentials and establish a Nehoro{\v s}ev-type stability result. In particular, this ensures asymptotic ballistic transport up to a stretched exponential timescale exp($\lambda$--1/s) for some s>0. More precisely, the approximate normal form leads to an accurate long-time description of the Schr{\"o}dinger flow as an effective unitary correction of the free flow. The approach is robust and generically applies to linear waves. For classical waves, for instance, this allows to extend diffractive geometric optics to quasiperiodically perturbed media.


title: A topological obstruction to the controllability of nonlinear wave equations with bilinear control term

abstract: In this paper we prove that the Ball-Marsden-Slemrod controllability obstruction also holds for nonlinear equations, with integrable bilinear controls. We first show an abstract result and then we apply it to nonlinear wave equations. The first application to the Sine-Gordon equation directly follows from the abstract result, and the second application concerns the cubic wave/Klein-Gordon equation and needs some additional work.


title: Constraining the relativistic mean-field model equations of state with gravitational wave observations

abstract: The first detection of gravitational waves from the binary neutron star merger event GW170817 has started to provide important new constraints on the nuclear equation of state at high density. The tidal deformability bound of GW170817 combined with the observed two solar mass neutron star poses a serious challenge to theoretical formulations of realistic equations of state. We analyze a fully comprehensive set of relativistic nuclear mean-field theories by confronting them with the observational bounds and the measured neutron-skin thickness. We find that only a few models can withstand these bounds which predict a stiff overall equation of state but with a soft neutron-proton symmetry energy. Two possible indications are proposed: Circumstantial evidence of hadron-quark phase transition inside the star and new parametrizations that are consistent with ground state properties of finite nuclei and observational bounds. Based on extensive analysis of these sets, an upper limit on the radius of a $1.4M_\odot$ neutron star of $R_{1.4}\lesssim 12.9$ km is deduced.


title: InfoSSM: Interpretable Unsupervised Learning of Nonparametric State-Space Model for Multi-modal Dynamics

abstract: The goal of system identification is to learn about underlying physics dynamics behind the time-series data. To model the probabilistic and nonparametric dynamics model, Gaussian process (GP) have been widely used; GP can estimate the uncertainty of prediction and avoid over-fitting. Traditional GPSSMs, however, are based on Gaussian transition model, thus often have difficulty in describing a more complex transition model, e.g. aircraft motions. To resolve the challenge, this paper proposes a framework using multiple GP transition models which is capable of describing multi-modal dynamics. Furthermore, we extend the model to the information-theoretic framework, the so-called InfoSSM, by introducing a mutual information regularizer helping the model to learn interpretable and distinguishable multiple dynamics models. Two illustrative numerical experiments in simple Dubins vehicle and high-fidelity flight simulator are presented to demonstrate the performance and interpretability of the proposed model. Finally, this paper introduces a framework using InfoSSM with Bayesian filtering for air traffic control tracking.


title: Direct statistical inference for finite Markov jump processes via the matrix exponential

abstract: Given noisy, partial observations of a time-homogeneous, finite-statespace Markov chain, conceptually simple, direct statistical inference is available, in theory, via its rate matrix, or infinitesimal generator, $\mathsf{Q}$, since $\exp (\mathsf{Q}t)$ is the transition matrix over time $t$. However, perhaps because of inadequate tools for matrix exponentiation in programming languages commonly used amongst statisticians or a belief that the necessary calculations are prohibitively expensive, statistical inference for continuous-time Markov chains with a large but finite state space is typically conducted via particle MCMC or other relatively complex inference schemes. When, as in many applications $\mathsf{Q}$ arises from a reaction network, it is usually sparse. We describe variations on known algorithms which allow fast, robust and accurate evaluation of the product of a non-negative vector with the exponential of a large, sparse rate matrix. Our implementation uses relatively recently developed, efficient, linear algebra tools that take advantage of such sparsity. We demonstrate the straightforward statistical application of the key algorithm on a model for the mixing of two alleles in a population and on the Susceptible-Infectious-Removed epidemic model.


title: Educational Note: Paradoxical Collider Effect in the Analysis of Non-Communicable Disease Epidemiological Data: a reproducible illustration and web application

abstract: Classical epidemiology has focused on the control of confounding but it is only recently that epidemiologists have started to focus on the bias produced by colliders. A collider for a certain pair of variables (e.g., an outcome Y and an exposure A) is a third variable (C) that is caused by both. In a directed acyclic graph (DAG), a collider is the variable in the middle of an inverted fork (i.e., the variable C in A -> C <- Y). Controlling for, or conditioning an analysis on a collider (i.e., through stratification or regression) can introduce a spurious association between its causes. This potentially explains many paradoxical findings in the medical literature, where established risk factors for a particular outcome appear protective. We use an example from non-communicable disease epidemiology to contextualize and explain the effect of conditioning on a collider. We generate a dataset with 1,000 observations and run Monte-Carlo simulations to estimate the effect of 24-hour dietary sodium intake on systolic blood pressure, controlling for age, which acts as a confounder, and 24-hour urinary protein excretion, which acts as a collider. We illustrate how adding a collider to a regression model introduces bias. Thus, to prevent paradoxical associations, epidemiologists estimating causal effects should be wary of conditioning on colliders. We provide R-code in easy-to-read boxes throughout the manuscript and a GitHub repository (https://github.com/migariane/ColliderApp) for the reader to reproduce our example. We also provide an educational web application allowing real-time interaction to visualize the paradoxical effect of conditioning on a collider http://watzilei.com/shiny/collider/.


title: Subcritical instabilities in plane Poiseuille flow of an Oldroyd-B fluid

abstract: Recently, detailed experiments on visco-elastic channel flow have provided convincing evidence for a nonlinear instability scenario which we had argued for based on calculations for visco-elastic Couette flow. Motivated by these experiments we extend the previous calculations to the case of visco-elastic Poiseuille flow, using the Oldroyd-B constitutive model. Our results confirm that the subcritical instability scenario is similar for both types of flow, and that the nonlinear transition occurs for Weissenberg numbers somewhat larger than one. We provide detailed results for the convergence of our expansion and for the spatial structure of the mode that drives the instability. This also gives insight into possible similarities with the mechanism of the transition to turbulence in Newtonian pipe flow.


title: Measuring the Energy Scale of Inflation with Large Scale Structures

abstract: The determination of the inflationary energy scale represents one of the first step towards the understanding of the early Universe physics. The (very mild) non-Gaussian signals that arise from any inflation model carry information about the energy scale of inflation and may leave an imprint in some cosmological observables, for instance on the clustering of high-redshift, rare and massive collapsed structures. In particular, the graviton exchange contribution due to interactions between scalar and tensor fluctuations leaves a specific signature in the four-point function of curvature perturbations, thus on clustering properties of collapsed structures. We compute the contribution of graviton exchange on two- and three-point function of halos, showing that at large scales $k\sim 10^{-3}\ \mathrm{Mpc}^{-1}$ its magnitude is comparable or larger to that of other primordial non-Gaussian signals discussed in the literature. This provides a potential route to probe the existence of tensor fluctuations which is alternative and highly complementary to B-mode polarisation measurements of the cosmic microwave background radiation.


title: A Test for detecting Structural Breakdowns in Markets using Eigenvalue Decompositions

abstract: Correlations among stock returns during volatile markets differ substantially compared to those from quieter markets. During times of financial crisis, it has been observed that traditional dependency in global markets breaks down. However, such an upheaval in dependency structure happens over a span of several months, with the breakdown coinciding with a major bankruptcy or sovereign default. Even though risk managers generally agree that identifying these periods of breakdown is important, there are few statistical methods to test for significant breakdowns. The purpose of this paper is to propose a simple test to detect such structural changes in global markets. This test relies on the assumption that asset price follows a Geometric Brownian Motion. We test for a breakdown in correlation structure using eigenvalue decomposition. We derive the asymptotic distribution under the null hypothesis and apply the test to stock returns. We compute the power of our test and compare it with the power of other known tests. Our test is able to accurately identify the times of structural breakdown in real-world stock returns. Overall we argue, despite the parsimony and simplicity in the assumption of Geometric Brownian Motion, our test can perform well to identify the breakdown in dependency of global markets.


title: The Reachability Problem for Petri Nets is Not Elementary

abstract: Petri nets, also known as vector addition systems, are a long established model of concurrency with extensive applications in modelling and analysis of hardware, software and database systems, as well as chemical, biological and business processes. The central algorithmic problem for Petri nets is reachability: whether from the given initial configuration there exists a sequence of valid execution steps that reaches the given final configuration. The complexity of the problem has remained unsettled since the 1960s, and it is one of the most prominent open questions in the theory of verification. Decidability was proved by Mayr in his seminal STOC 1981 work, and the currently best published upper bound is non-primitive recursive Ackermannian of Leroux and Schmitz from LICS 2019. We establish a non-elementary lower bound, i.e. that the reachability problem needs a tower of exponentials of time and space. Until this work, the best lower bound has been exponential space, due to Lipton in 1976. The new lower bound is a major breakthrough for several reasons. Firstly, it shows that the reachability problem is much harder than the coverability (i.e., state reachability) problem, which is also ubiquitous but has been known to be complete for exponential space since the late 1970s. Secondly, it implies that a plethora of problems from formal languages, logic, concurrent systems, process calculi and other areas, that are known to admit reductions from the Petri nets reachability problem, are also not elementary. Thirdly, it makes obsolete the currently best lower bounds for the reachability problems for two key extensions of Petri nets: with branching and with a pushdown stack.


title: A cross-validation check in the covariance analysis of isospin sensitive observables from heavy ion collision

abstract: This paper focuses on two problems. The first is related to the consistency checks of the complete correlation coefficients between two groups of variables obtained in Phys. Lett. B 749, 262 (2015). The first group collects parameters that describe properties of nuclear matter referring to the transport model involved. The second one is a group of observables adopted in the heavy ion collision experiments. The second problem concerns the method of determining the values of pure correlations between some variables in heavy ion collision. The application of this method for the analysis of the correlations of the isospin sensitive variables is pointed out.


title: Singlet $s^\pm$-wave pairing in quasi-one-dimensional ACr$_3$As$_3$ (A=K, Rb, Cs) superconductors

abstract: The recent discovery of quasi-one-dimensional Chromium-based superconductivity has generated much excitement. We study in this work the superconducting instabilities of a representative compound, the newly synthesized KCr$_3$As$_3$ superconductor. Based on inputs from density functional theory calculations, we first construct an effective multi-orbital tight-binding Hamiltonian to model its low-energy band structure. We then employ standard random-phase approximation calculations to investigate the superconducting instabilities of the resultant multi-orbital Hubbard model. We find various pairing symmetries in the phase diagram in different interaction parameter regimes, including the triplet $f$-wave, $p_z$-wave and singlet $s^\pm$-wave pairings. We argue that the singlet $s^\pm$-wave pairing, which emerges at intermediate interaction strength, is realized in this material. This singlet pairing is driven by spin-density wave fluctuations enhanced by Fermi-surface nesting. We point out that phase-sensitive measurement can distinguish the $s$-wave pairing in KCr$_3$As$_3$ from the $p_z$-wave previously proposed for a related compound K$_2$Cr$_3$As$_3$. The $s^{\pm}$-wave pairing in KCr$_3$As$_3$ shall also exhibit a subgap spin resonance mode near the nesting vector, which can be tested by inelastic neutron scattering measurements. Another intriguing property of the $s^\pm$-pairing is that it can induce time-reversal invariant topological superconductivity in a semiconductor wire with large Rashba spin-orbit coupling via proximity effect. Our study shall be of general relevance to all superconductors in the family of ACr$_3$As$_3$ (A=K, Rb, Cs).


title: Non-commutative localisation and finite domination over strongly Z-graded rings

abstract: Let R be a strongly Z-graded ring with degree-0 subring S, and let C be a chain complex of modules over the subring P of elements of non-negative degree. We show that there are non-commutative localisations of P which detect whether the complex C is S-finitely dominated or S-contractible, respectively, and that these localisations are universal among P-rings making S-finitely dominated and S-contractible complexes contractible. This generalises known results for polynomial rings to a much wider class of rings. We show by example that in general C need not be P-homotopy finite even if C is S-finitely dominated; this differs from the case of polynomial rings.


title: Estimates for Green functions of Stokes systems in two dimensional domains

abstract: We prove the existence and pointwise bounds of the Green functions for stationary Stokes systems with measurable coefficients in two dimensional domains. We also establish pointwise bounds of the derivatives of the Green functions under a regularity assumption on the $L_1$-mean oscillations of the coefficients.


title: From "Weak" to "Strong" Hole Confinement in a Mott Insulator

abstract: We study the problem of a single hole in an Ising antiferromagnet and, using the magnon expansion and analytical methods, determine the expansion coefficients of its wave function in the magnon basis. In the 1D case, the hole is "weakly" confined in a potential well and the magnon coefficients decay exponentially in the absence of a string potential. This behavior is in sharp contrast to the 2D square plane where the hole is "strongly" confined by a string potential and the magnon coefficients decay superexponentially. The latter is identified here to be a fingerprint of the strings in doped antiferromagnets that can be recognized in the numerical or cold atom simulations of the 2D doped Hubbard model. Finally, we attribute the differences between the 1D and 2D cases to the magnon-magnon interactions being crucially important in a 1D spin system.


title: On the width of the $\Delta(1232)$ in $N\Delta$ and $\Delta\Delta$ states

abstract: Due to the finite kinetic energy in the intermediate $N\Delta$ state the (internal) energy available for mesonic decay is decreased and consequently the effective $N\Delta$ width is suppressed in $NN$ scattering. The same can happen also in $\Delta$$\Delta$ case. Also the $N\Delta$ angular momentum suppresses the width as well, while the effect of the initial $NN$ angular momentum is more subtle. The state dependence affects e.g. pion production observables and can also be seen as the origin of T=1 "dibaryons".


title: Capacity Control of ReLU Neural Networks by Basis-path Norm

abstract: Recently, path norm was proposed as a new capacity measure for neural networks with Rectified Linear Unit (ReLU) activation function, which takes the rescaling-invariant property of ReLU into account. It has been shown that the generalization error bound in terms of the path norm explains the empirical generalization behaviors of the ReLU neural networks better than that of other capacity measures. Moreover, optimization algorithms which take path norm as the regularization term to the loss function, like Path-SGD, have been shown to achieve better generalization performance. However, the path norm counts the values of all paths, and hence the capacity measure based on path norm could be improperly influenced by the dependency among different paths. It is also known that each path of a ReLU network can be represented by a small group of linearly independent basis paths with multiplication and division operation, which indicates that the generalization behavior of the network only depends on only a few basis paths. Motivated by this, we propose a new norm \emph{Basis-path Norm} based on a group of linearly independent paths to measure the capacity of neural networks more accurately. We establish a generalization error bound based on this basis path norm, and show it explains the generalization behaviors of ReLU networks more accurately than previous capacity measures via extensive experiments. In addition, we develop optimization algorithms which minimize the empirical risk regularized by the basis-path norm. Our experiments on benchmark datasets demonstrate that the proposed regularization method achieves clearly better performance on the test set than the previous regularization approaches.


title: Stop, Think, and Roll: Online Gain Optimization for Resilient Multi-robot Topologies

abstract: Efficient networking of many-robot systems is considered one of the grand challenges of robotics. In this article, we address the problem of achieving resilient, dynamic interconnection topologies in multi-robot systems. In scenarios in which the overall network topology is constantly changing, we aim at avoiding the onset of single points of failure, particularly situations in which the failure of a single robot causes the loss of connectivity for the overall network. We propose a method based on the combination of multiple control objectives and we introduce an online distributed optimization strategy that computes the optimal choice of control parameters for each robot. This ensures that the connectivity of the multi-robot system is not only preserved but also made more resilient to failures, as the network topology evolves. We provide simulation results, as well as experiments with real robots to validate theoretical findings and demonstrate the portability to robotic hardware.


title: Pommerman: A Multi-Agent Playground

abstract: We present Pommerman, a multi-agent environment based on the classic console game Bomberman. Pommerman consists of a set of scenarios, each having at least four players and containing both cooperative and competitive aspects. We believe that success in Pommerman will require a diverse set of tools and methods, including planning, opponent/teammate modeling, game theory, and communication, and consequently can serve well as a multi-agent benchmark. To date, we have already hosted one competition, and our next one will be featured in the NIPS 2018 competition track.


title: The topological support of the z-measures on the Thoma simplex

abstract: The Thoma simplex $\Omega$ is an infinite-dimensional space, a kind of dual object to the infinite symmetric group. The z-measures are a family of probability measures on $\Omega$ depending on three continuous parameters. One of them is the parameter of the Jack symmetric functions, and in the limit when it goes to $0$, the z-measures turn into the Poisson-Dirichlet distributions. The definition of the z-measures is somewhat implicit. We show that the topological support of any nondegenerate z-measure is the whole space $\Omega$. The proof is based on results of arXiv:0902.3395 and arXiv:1806.07454.


title: Complete Differentiable Semiclassical Spectral Asymptotics

abstract: For an operator $A:= A_h= A^0(hD) + V(x,hD)$ with a "potential" $V$ decaying as $|x|\to \infty$ we establish under certain assumptions the complete and differentiable with respect to $\tau$ asymptotics of $e_h(x,x,\tau)$ where $e_h(x,y,\tau)$ is the Schwartz kernel of the spectral projector.


title: Enhancing $CP$ Measurement of the Yukawa Interactions of Top-Quark at $e^{-}e^{+}$ Collider

abstract: It is well known that $CP$-violating coupling of the Yukawa interaction of top-quark is a promising candidate of a new source of $CP$ violation effect. Precisely measurement of its $CP$ properties is crucial for understanding new physics above the electroweak scale. In this paper, we introduce a complete analysis method for probing $CP$ violation effects in the associated production of top-quark pair and Higgs boson at $e^{-}e^{+}$ collider. Reconstructions of the top-quarks are not needed in our strategy. The observables are defined based on spin correlation effects of the leptons emerging from decays of top-quarks, and their formal expressions are universal at any reference frames. Two reference frames, the rest frame of the top-quark pair and the rest frame of Higgs boson, are examined. Importantly, large enhancement effects for both $CP$-odd and $CP$-even observables are observed in the rest frame of Higgs boson. This can be essential for probing $CP$ violation effects at future $e^{-}e^{+}$ collider.


title: Derivation of a heteroepitaxial thin-film model

abstract: A variational model for epitaxially-strained thin films on rigid substrates is derived both by {\Gamma}-convergence from a transition-layer setting, and by relaxation from a sharp-interface description available in the literature for regular configurations. The model is characterized by a configurational energy that accounts for both the competing mechanisms responsible for the film shape. On the one hand, the lattice mismatch between the film and the substrate generate large stresses, and corrugations may be present because film atoms move to release the elastic energy. On the other hand, flatter profiles may be preferable to minimize the surface energy. Some first regularity results are presented for energetically-optimal film profiles.


title: Effects of UV radiation on the charge trapping capability of PET

abstract: Poly(ethylene terephthalate) (PET), as most dielectric materials, is able to retain space charge in traps. This allows the material to attain an almost-permanent polarization when space charge is displaced by an external electric field or it is injected from an electrode. We have studied the influence of UV irradiation on the charge trapping capability of PET in samples exposed for different periods of time, up to 10 weeks. The pulsed electro-acoustic technique (PEA) has been used to determine the charge profile. The injected charge that the material is able to retain on the irradiated surface increases with irradiation time. This indicates the formation of new traps. An extensive characterization of these localized states has been performed by thermally stimulated depolarization currents (TSDC) technique. Parameters of charge relaxation kinetics have been obtained fitting spectra of the $\rho_c$ peak, related to injected charge, to the general order kinetics model. A relaxation map analysis shows that relaxation times become more distributed and the activation energy decreases as irradiation time is increased. The activation energy decreases approximately by 10% after 10 weeks of exposition. These results show that UV irradiation creates additional traps on the treated surface, which agrees with PEA results, and that these traps are shallower and their energy depth distribution is wider than in the case of pre-existing traps.