title: Multi-modal Probabilistic Prediction of Interactive Behavior via an Interpretable Model

abstract: For autonomous agents to successfully operate in real world, the ability to anticipate future motions of surrounding entities in the scene can greatly enhance their safety levels since potentially dangerous situations could be avoided in advance. While impressive results have been shown on predicting each agent's behavior independently, we argue that it is not valid to consider road entities individually since transitions of vehicle states are highly coupled. Moreover, as the predicted horizon becomes longer, modeling prediction uncertainties and multi-modal distributions over future sequences will turn into a more challenging task. In this paper, we address this challenge by presenting a multi-modal probabilistic prediction approach. The proposed method is based on a generative model and is capable of jointly predicting sequential motions of each pair of interacting agents. Most importantly, our model is interpretable, which can explain the underneath logic as well as obtain more reliability to use in real applications. A complicate real-world roundabout scenario is utilized to implement and examine the proposed method.


title: Uniqueness in the Calder\'on problem and bilinear restriction estimates

abstract: Uniqueness in the Calder\'on problem in dimension bigger than two was usually studied under the assumption that conductivity has bounded gradient. For conductivities with unbounded gradients uniqueness results have not been known until recent years. The latest result due to Haberman basically relies on the optimal $L^2$ restriction estimate for hypersurface which is known as the Tomas-Stein restriction theorem. In the course of developments of the Fourier restriction problem bilinear and multilinear generalizations of the (adjoint) restriction estimates under suitable transversality condition between surfaces have played important roles. Since such advanced machineries usually provide strengthened estimates, it seems natural to attempt to utilize these estimates to improve the known results. In this paper, we make use of the sharp bilinear restriction estimates, which is due to Tao, and relax the regularity assumption on conductivity. We also consider the inverse problem for the Schr\"odinger operator with potentials contained in the Sobolev spaces of negative orders.


title: Gradient-only line searches: An Alternative to Probabilistic Line Searches

abstract: Step sizes in neural network training are largely determined using predetermined rules such as fixed learning rates and learning rate schedules. These require user input or expensive global optimization strategies to determine their functional form and associated hyperparameters. Line searches are capable of adaptively resolving learning rate schedules. However, due to discontinuities induced by mini-batch sub-sampling, they have largely fallen out of favour. Notwithstanding, probabilistic line searches, which use statistical surrogates over a limited spatial domain, have recently demonstrated viability in resolving learning rates for stochastic loss functions. This paper introduces an alternative paradigm, Gradient-Only Line Searches that are Inexact (GOLS-I), as an alternative strategy to automatically determine learning rates in stochastic loss functions over a range of 15 orders of magnitude without the use of surrogates. We show that GOLS-I is a competitive strategy to reliably determine step sizes, adding high value in terms of performance, while being easy to implement.


title: On the varied origins of up-bending breaks in galaxy disks

abstract: Aims: Using a sample of 175 low-inclination galaxies from the S$^{4}$G, we investigate the origins of up-bending (Type III) breaks in the 3.6 $\mu$m surface brightness profiles of disk galaxies. Methods: We re-analyze a sample of previously identified Type III disk break-hosting galaxies using a new, unbiased break-finding algorithm, which uncovered many new, sometimes subtle disk breaks across the whole sample. We classify each break by its likely origin through close examination of the galaxy images across wavelengths, and compare samples of galaxies separated by their outermost identified break types in terms of their stellar populations and local environments. Results: We find that more than half of the confirmed Type III breaks in our sample can be attributed to morphological asymmetry in the host galaxies. As these breaks are mostly an artifact of the azimuthal averaging process, their status as physical "breaks" is questionable. Such galaxies occupy some of the highest density environments in our sample, implying that much of this asymmetry is the result of tidal disturbance. Additionally, we find that Type III breaks related to extended spiral arms or star formation often host down-bending (Type II) breaks at larger radius which were previously unidentified. Such galaxies reside in the lowest density environments in our sample, in line with previous studies that found a lack of Type II breaks in clusters. Galaxies occupying the highest density environments most often show Type III breaks associated with outer spheroidal components. Conclusions: We find that Type III breaks in the outer disks of galaxies arise most often through environmental influence: either tidal disturbance (resulting in disk asymmetry) or heating through, e.g., galaxy harrassment (leading to spheroidal components). Galaxies hosting the latter break types also show... (abstract continues)


title: Bayesian optimization of chemical composition: a comprehensive framework and its application to $R$Fe$_{12}$-type magnet compounds

abstract: We propose a framework for optimization of the chemical composition of multinary compounds with the aid of machine learning. The scheme is based on first-principles calculation using the Korringa-Kohn-Rostoker method and the coherent potential approximation (KKR-CPA). We introduce a method for integrating datasets to reduce systematic errors in a dataset, where the data are corrected using a smaller and more accurate dataset. We apply this method to values of the formation energy calculated by KKR-CPA for nonstoichiometric systems to improve them using a small dataset for stoichiometric systems obtained by the projector-augmented-wave (PAW) method. We apply our framework to optimization of $R$Fe$_{12}$-type magnet compounds (R$_{1-\alpha}$Z$_{\alpha}$)(Fe$_{1-\beta}$Co$_{\beta}$)$_{12-\gamma}$Ti$_{\gamma}$, and benchmark the efficiency in determination of the optimal choice of elements (R and Z) and ratio ($\alpha$, $\beta$ and $\gamma$) with respect to magnetization, Curie temperature and formation energy. We find that the optimization efficiency depends on descriptors significantly. The variable $\beta$, $\gamma$ and the number of electrons from the R and Z elements per cell are important in improving the efficiency. When the descriptor is appropriately chosen, the Bayesian optimization becomes much more efficient than random sampling.


title: Forest structure in epigenetic landscapes

abstract: Morphogenesis is the biological process that causes the emergence and changes of patterns (tissues and organs) in living organisms. It is a robust, self-organising mechanism, governed by Genetic Regulatory Networks (GRN), that hasn't been thoroughly understood. In this work we propose Epigenetic Forests as a tool to study morphogenesis and to extract valuable information from GRN. Our method unfolds the richness and structure within the GRN. As a case study, we analyze the GRN during cell fate determination during the early stages of development of the flower Arabidopsis thaliana and its spatial dynamics. By using a genetic algorithm we optimize cell differentiation in our model and correctly recover the architecture of the flower.


title: On total claim amount for marked Poisson cluster models

abstract: We study the asymptotic distribution of the total claim amount for marked Poisson cluster models. The marks determine the size and other characteristics of the individual claims and potentially influence arrival rate of the future claims. We find sufficient conditions under which the total claim amount satisfies the central limit theorem or alternatively tends in distribution to an infinite variance stable random variable. We discuss several Poisson cluster models in detail, paying special attention to the marked Hawkes processes as our key example.


title: Flavour-alignment in an $S_3$-symmetric Higgs sector and its RG-behaviour

abstract: A three Higgs-doublet model admitting an $S_3$-symmetry can predict the observed pattern of the quark masses and their mixings. However the same symmetry also introduces potential flavour-changing neutral currents at the tree level. We assume in this work that the scalar potential contains appropriate \emph{soft} $S_3$-breaking terms in order to keep the choices of the scalar masses flexible. We identify the parameters in the Yukawa Lagrangian in the quark sector responsible for such FCNCs and constrain them using data from some of the flavour physics observables like meson-decays and meson-mixings. We also validate the corresponding model parameter space with renormalisation group (RG) evaluation.


title: Role of remote interfacial phonons in the resistivity of graphene

abstract: The temperature ($\it T$) dependence of electrical resistivity in graphene has been experimentally investigated between 10 and 400 K for samples prepared on various substrates; HfO$_2$, SiO$_2$ and h-BN. The resistivity of graphene shows a linear $\it T$-dependence at low $\it T$ and becomes superlinear above a substrate-dependent transition temperature. The results are explained by remote interfacial phonon scattering by surface optical phonons at the substrates. The use of an appropriate substrate can lead to a significant improvement in the charge transport of graphene.


title: Advanced Non-Destructive in Situ Characterization of Metals with the French Collaborating Research Group D2AM/BM02 Beamline at the European Synchrotron Radiation Facility

abstract: The ability to non-destructively measure the structural properties of devices, either in situ or operando, are now possible using an intense X-ray synchrotron source combined with specialized equipment. This tool attracted researchers, in particular metallurgists, to attempt more complex and ambitious experiments aimed at answering unresolved questions in formation mechanisms, phase transitions, and magnetism complex alloys for industrial applications. In this paper, we introduce the diffraction diffusion anomale multi-longueur d'onde (D2AM) beamline, a French collaborating research group (CRG) beamline at the European Synchrotron Radiation Facility (ESRF), partially dedicated to in situ X-ray scattering experiments. The design of the beamline combined with the available equipment (two-dimensional fast photon counting detectors, sophisticated high precision kappa diffractometer, a variety of sample environments, continuous scanning for X-ray imaging, and specific software for data analysis) has made the D2AM beamline a highly efficient tool for advanced, in situ synchrotron characterization in materials science, e.g., single crystal or polycrystalline materials, powders, liquids, thin films, or epitaxial nanostructures. This paper gathers the main elements and equipment available at the beamline and shows its potential and flexibility in performing a wide variety of temporally, spatially, and energetically resolved X-ray synchrotron scattering measurements in situ.


title: Structure and mechanical behavior of ultrafine-grained aluminum-iron alloy stabilized by nanoscaled intermetallic particles

abstract: Ultrafine-grained aluminum alloys offer interesting multifunctional properties with a combination of high strength, low electrical resistivity, and low density. However, due to thermally induced grain coarsening, they typically suffer from an intrinsic poor thermal stability. To overcome this drawback, an Al-2%Fe alloy has been selected because of the low solubility of Fe in Al and their highly positive enthalpy of mixing leading to the formation of stable intermetallic particles. The two-phase alloy has been processed by severe plastic deformation to achieve simultaneously submicrometer Al grains and a uniform distribution of nanoscaled intermetallic particles. The influence of the level of deformation on the microstructure has been investigated thanks to transmission electron microscopy and atom probe tomography and it is shown that for the highest strain a partial dissolution of the metastable Al6Fe particle occurred leading to the formation of a Fe super saturated solid solution. The thermal stability, and especially the precipitation of particles from the ultrafine-grained solid solution and the way they pin grain boundaries has been investigated both from static annealing and in-situ transmission electron microscopy experiments. The correlation between microstructural features and microhardness has been established to identify the various strengthening contributions. Finally, it is 2 shown that ultrafine grained high purity Al with less than 0.01 at. % Fe in solid solution could preserve a grain size only 300nm after 1h at 250$^\circ$C.


title: Three-Dimensional Simulations of Massive Stars: I. Wave Generation and Propagation

abstract: We present the first three-dimensional (3D), hydrodynamic simulations of the core convection zone (CZ) and extended radiative zone spanning from 1% to 90% of the stellar radius of an intermediate mass (3 $\mathrm{M}_\odot$) star. This allows us to self-consistently follow the generation of internal gravity waves (IGWs) at the convective boundary and their propagation to the surface. We find that convection in the core is dominated by plumes. The frequency spectrum in the CZ and that of IGW generation is a double power law as seen in previous two-dimensional (2D) simulations. The spectrum is significantly flatter than theoretical predictions using excitation through Reynolds stresses induced by convective eddies alone. It is compatible with excitation through plume penetration. An empirically determined distribution of plume frequencies generally matches the one necessary to explain a large part of the observed spectrum. We observe waves propagating in the radiation zone and excited standing modes, which can be identified as gravity and fundamental modes. They show similar frequencies and node patterns to those predicted by the stellar oscillation code GYRE. The continuous part of the spectrum fulfills the IGW dispersion relation. A spectrum of tangential velocity and temperature fluctuations close to the surface is extracted, which are directly related to observable brightness variations in stars. Unlike 2D simulations we do not see the high frequencies associated with wave breaking, likely because these 3D simulations are more heavily damped.


title: Learning with Delayed Synaptic Plasticity

abstract: The plasticity property of biological neural networks allows them to perform learning and optimize their behavior by changing their configuration. Inspired by biology, plasticity can be modeled in artificial neural networks by using Hebbian learning rules, i.e. rules that update synapses based on the neuron activations and reinforcement signals. However, the distal reward problem arises when the reinforcement signals are not available immediately after each network output to associate the neuron activations that contributed to receiving the reinforcement signal. In this work, we extend Hebbian plasticity rules to allow learning in distal reward cases. We propose the use of neuron activation traces (NATs) to provide additional data storage in each synapse to keep track of the activation of the neurons. Delayed reinforcement signals are provided after each episode relative to the networks' performance during the previous episode. We employ genetic algorithms to evolve delayed synaptic plasticity (DSP) rules and perform synaptic updates based on NATs and delayed reinforcement signals. We compare DSP with an analogous hill climbing algorithm that does not incorporate domain knowledge introduced with the NATs, and show that the synaptic updates performed by the DSP rules demonstrate more effective training performance relative to the HC algorithm.


title: Digital Predistortion for Multiuser Hybrid MIMO at mmWaves

abstract: Efficient mitigation of power amplifier (PA) nonlinear distortion in multi-user hybrid precoding based broadband mmWave systems is an open research problem. In this article, we first carry out detailed signal and distortion modeling in broadband multi-user hybrid MIMO systems, with a bank of nonlinear PAs in each subarray, while also take the inevitable crosstalk between the antenna/PA branches into account. Building on the derived models, we then propose an efficient closed-loop (CL) digital predistortion (DPD) solution that requires only a single-input DPD unit per transmit chain or subarray, despite crosstalk, providing substantial complexity-benefit compared to the state-of-the art multi-dimensional DPD solutions. We show that under spatially correlated multipath propagation, each DPD unit can provide linearization towards every intended user, or more generally, towards all spatial directions where coherent propagation is taking place, and that the proposed CL DPD system is robust against crosstalk}. Extensive numerical results building on practical measurement-based mmWave PA models are provided, demonstrating and verifying the excellent linearization performance of the proposed DPD system in different evaluation scenarios.


title: Forecasting, Causality, and Impulse Response with Neural Vector Autoregressions

abstract: Incorporating nonlinearity is paramount to predicting the future states of a dynamical system, its response to shocks, and its underlying causal network. However, most existing methods for causality detection and impulse response, such as Vector Autoregression (VAR), assume linearity and are thus unable to capture the complexity. Here, we introduce a vector autoencoder nonlinear autoregression neural network (VANAR) capable of both automatic time series feature extraction for its inputs and functional form estimation. We evaluate VANAR in three ways: first in terms of pure forecast accuracy, second in terms of detecting the correct causality between variables, and lastly in terms of impulse response where we model trajectories given external shocks. These tests were performed on a simulated nonlinear chaotic system and an empirical system using Philippine macroeconomic data. Results show that VANAR significantly outperforms VAR in the forecast and causality tests. VANAR has consistently superior accuracy even over state of the art models such as SARIMA and TBATS. For the impulse response test, both models fail to predict the shocked trajectories of the nonlinear chaotic system. VANAR was robust in its ability to model a wide variety of dynamics, from chaotic, high noise, and low data environments to macroeconomic systems.


title: Compressible Navier-Stokes equations with ripped density

abstract: Here we prove the all-time propagation of the Sobolev regularity for the velocity field solution of the two-dimensional compressible Navier-Stokes equations, provided the volume (bulk) viscosity coefficient is large enough. The initial velocity can be arbitrarily large and the initial density is just required to be bounded. In particular, one can consider a characteristic function of a set as an initial density. Uniqueness of the solutions to the equations is shown, in the case of a perfect gas. As a by-product of our results, we give a rigorous justification of the convergence to the inhomogeneous incompressible Navier-Stokes equations when the volume viscosity tends to infinity. Similar results are proved in the three-dimensional case, under some scaling invariant smallness condition on the velocity field.


title: Anticanonical codes from del Pezzo surfaces with Picard rank one

abstract: We construct algebraic geometric codes from del Pezzo surfaces and focus on the ones having Picard rank one and the codes associated to the anticanonical class. We give explicit constructions of del Pezzo surfaces of degree 4, 5 and 6, compute the parameters of the associated anticanonical codes and study their isomorphisms arising from the automorphisms of the surface. We obtain codes with excellent parameters and some of them turn out to beat the best known codes listed on the database codetable.


title: Effect of inter-layer spin diffusion on skyrmion motion in magnetic multilayers

abstract: It is well known that skyrmions can be driven using spin-orbit torques due to the spin-Hall effect. Here we show an additional contribution in multilayered stacks arises from vertical spin currents due to inter-layer diffusion of a spin accumulation generated at a skyrmion. This additional interfacial spin torque is similar in form to the in-plane spin transfer torque, but is significantly enhanced in ultra-thin films and acts in the opposite direction to the electron flow. The combination of this diffusive spin torque and the spin-orbit torque results in skyrmion motion which helps to explain the observation of small skyrmion Hall angles even with moderate magnetisation damping values. Further, the effect of material imperfections on threshold currents and skyrmion Hall angle is also investigated. Topographical surface roughness, as small as a single monolayer variation, is shown to be an important contributing factor in ultra-thin films, resulting in good agreement with experimental observations.


title: Some remarks on scaling transition in limit theorems for random fields

abstract: In the paper we present simple examples of linear random fields defined on $\ZZ^2$ and $\ZZ^3$ which exhibit the scaling transition phenomenon. These examples lead to more general definition of the scaling transition and allow to understand the mechanism of appearance of this phenomenon better. In previous papers devoted to the scaling transition it was proved mainly for random fields with finite variance and long-range dependence. We consider random fields with finite and infinite variance. Our examples show that the scaling transition phenomenon can be observed for linear random fields with the so-called negative dependence, which is part of short-range dependence. Relation of the scaling transition with Lamperti type theorems for random fields is discussed.


title: Al$_{5+\alpha}$Si$_{5+\delta}$N$_{12}$, a new Nitride compound

abstract: We report on the synthesis of new nitride-based compound by using annealing of AlN heteroepitaxial layers under a Si-atmosphere at temperatures between 1350$^\circ$C and 1550$^\circ$C. The structure and stoichiometry of this compound are investigated by high-resolution scanning transmission electron microscopy (HRSTEM), energy dispersive X-Ray (EDX) spectroscopy, and density functional theory (DFT) calculations. The identified structure is a derivative of the parent wurtzite AlN crystal where anion sublattice is fully occupied by N atoms and the cation sublattice is the stacking of 2 different planes along <0001>. The first one exhibits a $\times$3 periodicity along <10-10> with 1/3 of the sites being vacant. The rest of the sites in the cation sublattice are occupied by equal number of Si and Al atoms. Assuming a semiconducting alloy, which is expected to have a wide band gap, a range of stoichiometries is proposed, Al$_{5+\alpha}$Si$_{5+\delta}$N$_{12}$, with $\alpha$ being between 0 and 1/3 and $\delta$ between 0 and 1/4.


title: Ultra-sensitive SQUID instrumentation for MEG and NCI by ULF MRI

abstract: The requirements for the construction of ultra-sensitive SQUID instrumentation as used in biomagnetism are presented. Typically, SQUIDs are inductively coupled to pick-up coils and for this arrangement one can improve the noise performance by increasing the sensing coil area. To achieve optimum sensitivity one has to consider the signal-to-noise ratio (SNR), which is an intricate interplay between source characteristics and noise origin. It turns out that separate pick-up coil designs are needed for various noise characteristics even for an identical source. Hence, a hybrid system with differently sized pick-up coils presents the best option for multipurpose applications. A single channel system with close to SQUID intrinsic noise level is also described. This is possible by utilizing a special dewar design and thereby enabling a further increase in SNR. Such a system might be used for current density imaging and neuronal current imaging by ultra-low-field magnetic resonance where it also must be able to be field-tolerant to up to 100-200 mT.


title: Concurrent Transmission Scheduling for Perceptual Data Sharing in mmWave Vehicular Networks

abstract: Sharing perceptual data with other vehicles enhances the traffic safety of autonomous vehicles because it helps vehicles locate other vehicles and pedestrians in their blind spots. Such safety applications require high throughput and short delay, which cannot be achieved by conventional microwave vehicular communication systems. Therefore, millimeter-wave (mmWave) communications are considered to be a key technology for sharing perceptual data because of their wide bandwidth. One of the challenges of data sharing in mmWave communications is broadcasting because narrow-beam directional antennas are used to obtain high gain. Because many vehicles should share their perceptual data to others within a short time frame in order to enlarge the areas that can be perceived based on shared perceptual data, an efficient scheduling for concurrent transmission that improves spatial reuse is required for perceptual data sharing. This paper proposes a data sharing algorithm that employs a graph-based concurrent transmission scheduling. The proposed algorithm realizes concurrent transmission to improve spatial reuse by designing a rule that is utilized to determine if the two pairs of transmitters and receivers interfere with each other by considering the radio propagation characteristics of narrow-beam antennas. A prioritization method that considers the geographical information in perceptual data is also designed to enlarge perceivable areas in situations where data sharing time is limited and not all data can be shared. Simulation results demonstrate that the proposed algorithm doubles the area of the cooperatively perceivable region compared with a conventional algorithm that does not consider mmWave communications because the proposed algorithm achieves high-throughput transmission by improving spatial reuse. The prioritization also enlarges the perceivable region by a maximum of 20%.


title: On forbidden induced subgraphs for K_{1,3}-free perfect graphs

abstract: Considering connected $K_{1,3}$-free graphs with independence number at least $3$, Chudnovsky and Seymour (2010) showed that every such graph, say $G$, is $2\omega$-colourable where $\omega$ denotes the clique number of $G$. We study $(K_{1,3}, Y)$-free graphs, and show that the following three statements are equivalent. (1) Every connected $(K_{1,3}, Y)$-free graph which is distinct from an odd cycle and which has independence number at least $3$ is perfect. (2) Every connected $(K_{1,3}, Y)$-free graph which is distinct from an odd cycle and which has independence number at least $3$ is $\omega$-colourable. (3) $Y$ is isomorphic to an induced subgraph of $P_5$ or $Z_2$ (where $Z_2$ is also known as hammer). Furthermore, for connected $(K_{1,3}, Y)$-free graphs (without an assumption on the independence number), we show a similar characterisation featuring the graphs $P_4$ and $Z_1$ (where $Z_1$ is also known as paw).


title: Measurements of neutrino-nucleus scattering

abstract: Current and planned neutrino oscillation experiments operate in the 0.1-10 GeV energy regime. At these energies, the neutrino cross section is not well understood: a variety of interaction processes are possible and nuclear effects play a significant role. Here, the conceptual problems that affect measuring and understanding neutrino cross sections are introduced, and the status of neutrino cross section measurements for CC0$\pi$ and CC1$\pi$ channels are discussed.


title: A 15-MW Proton Driver for Neutrino Oscillation Experiments

abstract: To maximize the physics potential of future neutrino oscillation experiments, it is proposed to build a 15-MW `proton driver' consisitng solely of a 3-GeV proton injector linac (PI) and a 17-GeV superconducting ILC-type linac (SCL). The proposed facility would provide proton beams with intensities more than an order of magnitude higher than those at the existing proton synchrotron complexes. Multi-MW proton beams could also be used to produce high-intensity antiproton, `cold' neutron, kaon, pion and muon beams for a diverse program of experiments in particle and nuclear physics.


title: The talented monoid of a Leavitt path algebra

abstract: There is a tight relation between the geometry of a directed graph and the algebraic structure of a Leavitt path algebra associated to it. In this note, we show a similar connection between the geometry of the graph and the structure of a certain monoid associated to it. This monoid is isomorphic to the positive cone of the graded K0-group of the Leavitt path algebra which is naturally equipped with a Z-action. As an example, we show that a graph has a cycle without an exit if and only if the monoid has a periodic element. Consequently a graph has Condition (L) if and only if the group Z acts freely on the monoid. We go on to show that the algebraic structure of Leavitt path algebras (such as simplicity, purely infinite simplicity, or the lattice of ideals) can be described completely via this monoid. Therefore an isomorphism between the monoids (or graded K0's) of two Leavitt path algebras implies that the algebras have similar algebraic structures. These all confirm that the graded Grothendieck group could be a sought-after complete invariant for the classification of Leavitt path algebras.


title: Giant Effective charges and Piezoelectricity in Gapped Graphene

abstract: Since the first realization of reversible charge doping in graphene via field-effect devices, it has become evident how the induction a gap could further enhance its potential for technological applications. Here we show that the gap opening due to a sublattice symmetry breaking has also a profound impact on the polar response of graphene. By combining ab-initio calculations and analytical modelling we show that for realistic band-gap values ($\Delta\lesssim 0.5$ eV) the piezoelectric coefficient and the Born effective charge of graphene attain a giant value, independent on the gap. In particular the piezoelectric coefficient per layer of gapped mono- and bilayer graphene is three times larger than that of a large-gap full polar insulator as hexagonal Boron Nitride (h-BN) monolayer, and 30\% larger than that of a polar semiconductor as MoS$_2$. This surprising result indicates that piezoelectric acoustic-phonons scattering can be relevant to model charge transport and charge-carrier relaxation in gated bilayer graphene. The independence of the piezoelectric coefficient and of the Born effective charge on the gap value follows from the connection between the polar response and the valley Chern number of gapped Dirac electrons, made possible by the effective gauge-field description of the electron-lattice/strain coupling in these systems. In the small gap limit, where the adiabatic ab-initio approximation fails, we implement analytically the calculation of the dynamical effective charge, and we establish a universal relation between the complex effective charge and the so-called Fano profile of the phonon optical peak. Our results provide a general theoretical framework to understand and compute the polar response in narrow-gap semiconductors, but may also be relevant for the contribution of piezoelectric scattering to the transport properties in Dirac-like systems.


title: Rule-Based Translation of Application-Level QoS Constraints into SDN Configurations for the IoT

abstract: In this paper, we propose an approach for the automated translation of application-level requirements regarding the logical workflow and its QoS into a configuration of the underlying network substrate. Our goal is to facilitate the integration of QoS constraints in the development of industrial IoT applications to make them more reliable. We follow an approach based on two semantic models: The first model allows to design the workflow of an IoT application and to express application-level QoS requirements on its interactions. The second model captures the configuration of a network and can be used as input to a north-bound interface of an SDN controller. Finally, we make use of rule-based semantic reasoning to automatically translate from the application requirements into SDN parameters.


title: Fast and automated oscillation frequency extraction using Bayesian multi-modality

abstract: Since the advent of CoRoT, and NASA Kepler and K2, the number of low- and intermediate-mass stars classified as pulsators has increased very rapidly with time, now accounting for several $10^4$ targets. With the recent launch of NASA TESS space mission, we have confirmed our entrance to the era of all-sky observations of oscillating stars. TESS is currently releasing good quality datasets that already allow for the characterization and identification of individual oscillation modes even from single 27-days shots on some stars. When ESA PLATO will become operative by the next decade, we will face the observation of several more hundred thousands stars where identifying individual oscillation modes will be possible. However, estimating the individual frequency, amplitude, and lifetime of the oscillation modes is not an easy task. This is because solar-like oscillations and especially their evolved version, the red giant branch (RGB) oscillations, can vary significantly from one star to another depending on its specific stage of the evolution, mass, effective temperature, metallicity, as well as on its level of rotation and magnetism. In this perspective I will present a novel, fast, and powerful way to derive individual oscillation mode frequencies by building on previous results obtained with \diamonds. I will show that the oscillation frequencies obtained with this new approach can reach precisions of about 0.1 % and accuracies of about 0.01 % when compared to published literature values for the RGB star KIC~12008916.


title: Fast Bayesian Uncertainty Estimation and Reduction of Batch Normalized Single Image Super-Resolution Network

abstract: Convolutional neural network (CNN) has achieved unprecedented success in image super-resolution tasks in recent years. However, the network's performance depends on the distribution of the training sets and degrades on out-of-distribution samples. This paper adopts a Bayesian approach for estimating uncertainty associated with output and applies it in a deep image super-resolution model to address the concern mentioned above. We use the uncertainty estimation technique using the batch-normalization layer, where stochasticity of the batch mean and variance generate Monte-Carlo (MC) samples. The MC samples, which are nothing but different super-resolved images using different stochastic parameters, reconstruct the image, and provide a confidence or uncertainty map of the reconstruction. We propose a faster approach for MC sample generation, and it allows the variable image size during testing. Therefore, it will be useful for image reconstruction domain. Our experimental findings show that this uncertainty map strongly relates to the quality of reconstruction generated by the deep CNN model and explains its limitation. Furthermore, this paper proposes an approach to reduce the model's uncertainty for an input image, and it helps to defend the adversarial attacks on the image super-resolution model. The proposed uncertainty reduction technique also improves the performance of the model for out-of-distribution test images. To the best of our knowledge, we are the first to propose an adversarial defense mechanism in any image reconstruction domain.


title: Orbifolds and Orientifolds as O-folds

abstract: We consider quotients of string and M-theory by discrete subgroups of the U-duality group. This results in what we call O-folds, which are generalisations of orbifolds and orientifolds, and generically involve non-geometric identifications between physical coordinates and dual winding coordinates. A simple $\mathbb{Z}_2$ quotient encodes the half-maximal duality web, describing on the same footing the Ho\v{r}ava-Witten description of M-theory on an interval, the heterotic theories, and type II in the presence of orientifold planes. This can be analysed using exceptional field theory, including the introduction of extra vector multiplets at the fixed points. This is an overview of the paper [1], based on a talk given at the Corfu Summer Institute 2018.


title: A constrained ICA-EMD Model for Group Level fMRI Analysis

abstract: Independent component analysis (ICA), as a data driven method, has shown to be a powerful tool for functional magnetic resonance imaging (fMRI) data analysis. One drawback of this multivariate approach is, that it is not compatible to the analysis of group data in general. Therefore various techniques have been proposed in order to overcome this limitation of ICA. In this paper a novel ICA-based work-flow for extracting resting state networks from fMRI group studies is proposed. An empirical mode decomposition (EMD) is used to generate reference signals in a data driven manner, which can be incorporated into a constrained version of ICA (cICA), what helps to eliminate the inherent ambiguities of ICA. The results of the proposed workflow are then compared to those obtained by a widely used group ICA approach for fMRI analysis. In this paper it is demonstrated that intrinsic modes, extracted by EMD, are suitable to serve as references for cICA to obtain typical resting state patterns, which are consistent over subjects. By introducing these reference signals into the ICA, our processing pipeline makes it transparent for the user, how comparable activity patterns across subjects emerge. This additionally allows adapting the trade-off between enforcing similarity across subjects and preserving individual subject features.


title: On Testing Data-Intensive Software Systems

abstract: Today's software systems like cyber-physical production systems or big data systems have to process large volumes and diverse types of data which heavily influences the quality of these so-called data-intensive systems. However, traditional software testing approaches rather focus on functional behavior than on data aspects. Therefore, the role of data in testing has to be rethought and specific testing approaches for data-intensive software systems are required. Thus, the aim of this chapter is to contribute to this area by (1) providing basic terminology and background on data-intensive software systems and their testing, and (2) presenting the state of the research and the hot topics in the area. Finally, the directions of research and the new frontiers on testing data-intensive software systems are discussed.


title: Ratiometric control for differentiation of cell populations endowed with synthetic toggle switches

abstract: We consider the problem of regulating by means of external control inputs the ratio of two cell populations. Specifically, we assume that these two cellular populations are composed of cells belonging to the same strain which embeds some bistable memory mechanism, e.g. a genetic toggle switch, allowing them to switch role from one population to another in response to some inputs. We present three control strategies to regulate the populations' ratio to arbitrary desired values which take also into account realistic physical and technological constraints occurring in experimental microfluidic platforms. The designed controllers are then validated in-silico using stochastic agent-based simulations.


title: Artificial intelligence-based process for metal scrap sorting

abstract: Machine learning offers remarkable benefits for improving workplaces and working conditions amongst others in the recycling industry. Here e.g. hand-sorting of medium value scrap is labor intensive and requires experienced and skilled workers. On the one hand, they have to be highly concentrated for making proper readings and analyses of the material, but on the other hand, this work is monotonous. Therefore, a machine learning approach is proposed for a quick and reliable automated identification of alloys in the recycling industry, while the mere scrap handling is regarded to be left in the hands of the workers. To this end, a set of twelve tool and high-speed steels from the field were selected to be identified by their spectrum induced by electric arcs. For data acquisition, the optical emission spectrometer Thorlabs CCS 100 was used. Spectra have been post-processed to be fed into the supervised machine learning algorithm. The development of the machine learning software is conducted according to the steps of the VDI 2221 standard method. For programming Python 3 as well as the python-library sklearn were used. By systematic parameter variation, the appropriate machine learning algorithm was selected and validated. Subsequent validation steps showed that the automated identification process using a machine learning approach and the optical emission spectrometry is applicable, reaching a maximum F1 score of 96.9 %. This performance is as good as the performance of a highly trained worker using visual grinding spark identification. The tests were based on a self-generated set of 600 spectra per single alloy (7,200 spectra in total) which were produced using an industry workshop device.


title: Rods and Rings: Soft Subdivision Planner for R^3 x S^2

abstract: We consider path planning for a rigid spatial robot moving amidst polyhedral obstacles. Our robot is either a rod or a ring. Being axially-symmetric, their configuration space is R^3 x S^2 with 5 degrees of freedom (DOF). Correct, complete and practical path planning for such robots is a long standing challenge in robotics. While the rod is one of the most widely studied spatial robots in path planning, the ring seems to be new, and a rare example of a non-simply-connected robot. This work provides rigorous and complete algorithms for these robots with theoretical guarantees. We implemented the algorithms in our open-source Core Library. Experiments show that they are practical, achieving near real-time performance. We compared our planner to state-of-the-art sampling planners in OMPL. Our subdivision path planner is based on the twin foundations of \epsilon-exactness and soft predicates. Correct implementation is relatively easy. The technical innovations include subdivision atlases for S^2, introduction of \Sigma_2 representations for footprints, and extensions of our feature-based technique for "opening up the blackbox of collision detection".


title: WKB Approximation for the Polymer Quantization of the Taub Model

abstract: We develop a suitable technical algorithm to implement a separation of the Minisuperspace configurational variables into quasi-classical and purely quantum degrees of freedom, in the framework of a Polymer quantum Mechanics reformulation of the canonical dynamics. We then implement the obtained general scheme to the specific case of a Taub Universe, in the presence of a free massless scalar field. In particular, we identify the quasi-classical variables in the Universe volume and a suitable function of the scalar field, while the purely quantum degree of freedom corresponds to the Universe anisotropy. We demonstrate that the Taub cosmology is associated to a cyclical Universe, oscillating between a minimum and maximum volume turning points, respectively. The pure quantum Universe anisotropy has always a finite value.


title: Gyrotactic phytoplankton in laminar and turbulent flows: a dynamical systems approach

abstract: Gyrotactic algae are bottom heavy, motile cells whose swimming direction is determined by a balance between a buoyancy torque directing them upwards and fluid velocity gradients. Gyrotaxis has, in recent years, become a paradigmatic model for phytoplankton motility in flows. The essential attractiveness of this peculiar form of motility is the availability of a mechanistic description which, despite its simplicity, revealed predictive, rich in phenomenology, easily complemented to include the effects of shape, feed-back on the fluid and stochasticity (e.g. in cell orientation). In this review we consider recent theoretical, numerical and experimental results to discuss how, depending on flow properties, gyrotaxis can produce inhomogeneous phytoplankton distributions on a wide range of scales, from millimeters to kilometers, in both laminar and turbulent flows. In particular, we focus on the phenomenon of gyrotactic trapping in nonlinear shear flows and in fractal clustering in turbulent flows. We shall demonstrate the usefulness of ideas and tools borrowed from dynamical systems theory in explaining and interpreting these phenomena.


title: Auto-generation of a centerline graph from a geometrically complex roadmap of real-world traffic systems using a hierarchical quadtree for cellular automata simulations

abstract: This paper proposes a method of auto-generation of a centerline graph from a geometrically complex roadmap of real-world traffic systems by using a hierarchical quadtree for cellular automata simulations. Our method is summarized as follows. First, we store the binary values of the monochrome image of target roadmap (one and zero represent the road and the other areas, respectively) in the two-dimensional square map. Second, we recursively divide the square map into sub-leafs by a quadtree until the summed-up value of pixels included inside the leaf becomes equal to or less than one. Third, we gradually remove the distal leaves that are adjacent to the leaves whose depths are shallower than the distal leaf. After that, we trace the remaining distal leaves of the tree using Morton's space-filling curve, while selecting the leaves that keep a certain distance among the previously selected leaves as the nodes of the graph. Finally, each selected node searches the neighboring nodes and stores them as the edges of the graph. We demonstrate our method by generating a centerline graph from a complex roadmap of a real-world airport and by carrying out a typical network analysis using Dijkstra's method.


title: S-band Polarization All Sky Survey (S-PASS): survey description and maps

abstract: We present the S-Band Polarization All Sky Survey (S-PASS), a survey of polarized radio emission over the southern sky at Dec~$< -1^\circ$ taken with the Parkes radio telescope at 2.3~GHz. The main aim was to observe at a frequency high enough to avoid strong depolarization at intermediate Galactic latitudes (still present at 1.4 GHz) to study Galactic magnetism, but low enough to retain ample Signal-to-Noise ratio (S/N) at high latitudes for extragalactic and cosmological science. We developed a new scanning strategy based on long azimuth scans, and a corresponding map-making procedure to make recovery of the overall mean signal of Stokes $Q$ and $U$ possible, a long-standing problem with polarization observations. We describe the scanning strategy, map-making procedure, and validation tests. The overall mean signal is recovered with a precision better than 0.5\%. The maps have a mean sensitivity of 0.81 mK on beam--size scales and show clear polarized signals, typically to within a few degrees of the Galactic plane, with ample S/N everywhere (the typical signal in low emission regions is 13 mK, and 98.6\% of the pixels have S/N $> 3$). The largest depolarization areas are in the inner Galaxy, associated with the Sagittarius Arm. We have also computed a Rotation Measure map combining S-PASS with archival data from the WMAP and Planck experiments. A Stokes $I$ map has been generated, with a sensitivity limited to the confusion level of 9 mK.


title: Complete measurement of $\Lambda$ electromagnetic form factors

abstract: The exclusive process $e^+e^-\rightarrow\Lambda\bar{\Lambda}$, with $\Lambda \to p\pi^-$ and $\bar{\Lambda} \to \bar{p}\pi^+$, has been studied at $\sqrt{s} =$ 2.396 GeV for measurement of the $\Lambda$ electric and magnetic form factors, $G_E$ and $G_M$. A data sample, corresponding to an integrated luminosity of 66.9 pb$^{-1}$, was collected with the BESIII detector for this purpose. A multi-dimensional analysis with a complete decomposition of the spin structure of the reaction enables a determination of the modulus of the ratio $R=|G_E/G_M|$ and, for the first time for any baryon, the relative phase $\Delta\Phi=\Phi_E-\Phi_M$. The resulting values are obtained using the recent and most precise measured value of the asymmetry parameter $\alpha_{\Lambda}$ = $0.750~\pm~0.010$ to be $R~=~0.96\pm0.14~(\rm stat.)\pm~0.02~(\rm sys.)$ and $\Delta\Phi=37^{\mathrm{o}}\pm~12^{\mathrm{o}}~(\rm stat.)\pm~6^{\mathrm{o}}~(\rm sys.)$, respectively. In addition, the cross section is measured with unprecedented precision to be $\sigma = 118.7~\pm~5.3~(\rm stat.)\pm~5.1~(\rm sys.)$ pb, which corresponds to an effective form factor of $|G|=0.123~\pm~0.003~(\rm stat.)\pm~0.003~(\rm sys.)$. The contribution from two-photon exchange is found to be negligible. Our result enables the first complete determination of baryon time-like electromagnetic form factors.


title: Parallel Adaptive Sampling with almost no Synchronization

abstract: Approximation via sampling is a widespread technique whenever exact solutions are too expensive. In this paper, we present techniques for an efficient parallelization of adaptive (a. k. a. progressive) sampling algorithms on multi-threaded shared-memory machines. Our basic algorithmic technique requires no synchronization except for atomic load-acquire and store-release operations. It does, however, require O(n) memory per thread, where n is the size of the sampling state. We present variants of the algorithm that either reduce this memory consumption to O(1) or ensure that deterministic results are obtained. Using the KADABRA algorithm for betweenness centrality (a popular measure in network analysis) approximation as a case study, we demonstrate the empirical performance of our techniques. In particular, on a 32-core machine, our best algorithm is 2.9x faster than what we could achieve using a straightforward OpenMP-based parallelization and 65.3x faster than the existing implementation of KADABRA.


title: A fast point-pattern matching algorithm based on statistical method

abstract: We propose a new pattern-matching algorithm for matching CCD images to a stellar catalogue based statistical method in this paper. The method of constructing star pairs can greatly reduce the computational complexity compared with the triangle method. We use a subsample of the brightest objects from the image and reference catalogue, and then find a coordinate transformation between the image and reference catalogue based on the statistical information of star pairs. Then all the objects are matched based on the initial plate solution. The matching process can be accomplished in several milliseconds for the observed images taken by Yunnan observatory 1-m telescope.


title: An end-to-end Neural Network Framework for Text Clustering

abstract: The unsupervised text clustering is one of the major tasks in natural language processing (NLP) and remains a difficult and complex problem. Conventional \mbox{methods} generally treat this task using separated steps, including text representation learning and clustering the representations. As an improvement, neural methods have also been introduced for continuous representation learning to address the sparsity problem. However, the multi-step process still deviates from the unified optimization target. Especially the second step of cluster is generally performed with conventional methods such as k-Means. We propose a pure neural framework for text clustering in an end-to-end manner. It jointly learns the text representation and the clustering model. Our model works well when the context can be obtained, which is nearly always the case in the field of NLP. We have our method \mbox{evaluated} on two widely used benchmarks: IMDB movie reviews for sentiment classification and $20$-Newsgroup for topic categorization. Despite its simplicity, experiments show the model outperforms previous clustering methods by a large margin. Furthermore, the model is also verified on English wiki dataset as a large corpus.


title: $L^\infty$-estimation of generalized Thue-Morse trigonometric polynomials and ergodic maximization

abstract: Given an integer $q\ge 2$ and a real number $c\in [0,1)$, consider the generalized Thue-Morse sequence $(t_n^{(q;c)})_{n\ge 0}$ defined by $t_n^{(q;c)} = e^{2\pi i c S_q(n)}$, where $S_q(n)$ is the sum of digits of the $q$-expansion of $n$. We prove that the $L^\infty$-norm of the trigonometric polynomials $\sigma_{N}^{(q;c)} (x) := \sum_{n=0}^{N-1} t_n^{(q;c)} e^{2\pi i n x}$, behaves like $N^{\gamma(q;c)}$, where $\gamma(q;c)$ is equal to the dynamical maximal value of $\log_q \left|\frac{\sin q\pi (x+c)}{\sin \pi (x+c)}\right|$ relative to the dynamics $x \mapsto qx \mod 1$ and that the maximum value is attained by a $q$-Sturmian measure. Numerical values of $\gamma(q;c)$ can be computed.


title: Modelling adhesion-independent cell migration

abstract: A two-dimensional mathematical model for cells migrating without adhesion capabilities is presented and analyzed. Cells are represented by their cortex, which is modelled as an elastic curve, subject to an internal pressure force. Net polymerization or depolymerization in the cortex is modelled via local addition or removal of material, driving a cortical flow. The model takes the form of a fully nonlinear degenerate parabolic system. An existence analysis is carried out by adapting ideas from the theory of gradient flows. Numerical simulations show that these simple rules can account for the behavior observed in experiments, suggesting a possible mechanical mechanism for adhesion-independent motility.


title: Commitment Nets in Software Process Improvement

abstract: Several studies have revealed the fact that nearly two-thirds of all software process improvement (SPI) efforts have failed or have at least fallen short of expectations. Literature and practice have shown that commitment to SPI at all organizational levels is essential for the success of any SPI endeavor. A research model for studying the existence, development and interplay of SPI-related commitment is introduced in this paper. This study suggests that software organizations operate through strategic, operational and personal commitment nets. These nets consist of actors, drivers, concerns, actions, commitment, and outcomes. The commitment nets model is applied in a study of four industrial SPI initiatives. The results from two of these cases are reported here. The results show that SPI is driven through the formation and reformation of commitment nets. The contents of strategic, operational and personal commitment nets are laid out and implications are discussed.


title: The Dirichlet-to-Neumann map in a disk with a one-step radial potential. An analytical and numerical study

abstract: We consider the Schr\"odinger operator with a potential q on a disk and the map that associates to q the corresponding Dirichlet to Neumann (DtN) map. We give some numerical and analytical results on the range of this map and its stability, for the particular class of one-step radial potentials.


title: ZERODUR based optical systems for quantum gas experiments in space

abstract: Numerous quantum technologies make use of a microgravity environment e.g. in space. Operating in this extreme environment makes high demands on the experiment and especially the laser system regarding miniaturization and power consumption as well as mechanical and thermal stability. In our systems, optical modules consisting of ZERODUR based optical benches with free-space optics are combined with fiber components. Suitability of the technology has been demonstrated in the successful sounding rocket missions FOKUS, KALEXUS and MAIUS-1. Here, we report on our toolkit for stable optical benches including mounts, fixed and adjustable mirrors as well as polarization maintaining fiber collimators and couplers made from ZERODUR. As an example, we present the optical modules for the scientific rocket payload of MAIUS-2, a quantum gas experiment performing dual-species atom interferometry with Bose-Einstein condensates. The modules are used on the one hand to stabilize the laser frequencies and on the other hand to distribute, overlap and switch the laser beams. This includes the overlap and joint fiber coupling of beams at 767nm and 780nm in the same polarization state to cool and manipulate atoms of both species simultaneously. Future projects include the development of a platform for experiments with cold atoms onboard the International Space Station. The laser system again involves ZERODUR based optical benches in conjunction with fiber optical components. The experiment is planned as multi-user facility and currently in the design phase. The next step is to build the training, test and flight hardware.


title: Mapping Gas Phase Abundances and Enrichment Patterns Across Galaxy Disks

abstract: The distribution of gas-phase abundances in galaxy disks encodes the history of nucleosynthesis and transport through the interstellar medium (ISM) over cosmic time. Multi-object and high resolution integral-field spectroscopy have started to measure these distributions across hundreds of HII regions individually resolved at $\lesssim 100$ pc scales in a handful of objects, but in the coming decade these studies will expand to larger samples of galaxies. This will allow us to understand the role of feedback and turbulence in driving the mixing and diffusion of metals in the ISM, and statistically assess the role of galaxy environment and disk dynamics in modifying how mixing proceeds. Detailed searches for over- and under-enriched regions can address to what extent star formation is triggered by previous generations of star formation and by pristine and recycled gas flows. Local galaxies, for which these detailed measurements will be possible within the next decade, will inform the interpretation of integrated measurements at high-z, where very different dynamical gas-rich environments are found in early disk galaxies. Currently, progress in the field is severely hampered by the 0.2-0.3 dex level systematic uncertainties plaguing nebular abundance diagnostics. Improving our detailed understanding of ionized nebulae at $<$20 pc scales will help us find a solution to this problem, which will prove key to the study of metal enrichment and mixing across the galaxy population in the next decade.


title: Simple $\mathfrak{sl}(V)$-modules which are free over an abelian subalgebra

abstract: Let $\mathfrak{p}$ be a parabolic subalgebra of $\mathfrak{sl}(V)$ of maximal dimension and let $\mathfrak{n} \subset \mathfrak{p}$ be the corresponding nilradical. In this paper we classify the set of $\mathfrak{sl}(V)$-modules whose restriction to $U(\mathfrak{n})$ is free of rank $1$. It turns out that isomorphism classes of such modules are parametrized by polynomials in $\dim V-1$ variables. We determine the submodule structure for these modules and we show that they generically are simple.


title: Observation of exotic water in hydrophilic nanospace of porous coordination polymers

abstract: The fundamental understanding of water confined in porous coordination polymers (PCPs) is significantly important not only for their applications such as gas storage and separation, but also for exploring the confinement effects in the nanoscale spaces. Here, we report the observation of an exotic water in the well-designed hydrophilic nanopores of PCPs. Single-crystal X-ray diffraction found that nanoconfined water has an ordered structure that is characteristic in ices, but infrared spectroscopy revealed a significant number of broken hydrogen bonds that is characteristic in liquids. We found that their structural properties are quite similar to those of solid-liquid supercritical water predicted in hydrophobic nanospace at extremely high pressure. Our results will open up not only new potential applications of exotic water in PCPs to control chemical reactions but also experimental systems to clarify the existence of solid-liquid critical points.


title: Speed and Energy Optimised Quasi-Delay-Insensitive Block Carry Lookahead Adder

abstract: We present a new asynchronous quasi-delay-insensitive (QDI) block carry lookahead adder with redundancy carry (BCLARC) realized using delay-insensitive dual-rail data encoding and 4-phase return-to-zero (RTZ) and 4-phase return-to-one (RTO) handshaking. The proposed QDI BCLARC is found to be faster and energy-efficient than the existing asynchronous adders which are QDI and non-QDI (i.e., relative-timed). Compared to existing asynchronous adders corresponding to various architectures such as ripple carry adder (RCA), conventional carry lookahead adder (CCLA), carry select adder (CSLA), BCLARC, and hybrid BCLARC-RCA, the proposed BCLARC is found to be faster and more energy-optimised. The cycle time (CT), which is the sum of forward and reverse latencies, governs the speed; and the product of average power dissipation and cycle time viz. the power-cycle time product (PCTP) defines the low power/energy efficiency. For a 32-bit addition, the proposed QDI BCLARC achieves the following average reductions in design metrics over its counterparts when considering RTZ and RTO handshaking: i) 20.5% and 19.6% reductions in CT and PCTP respectively compared to an optimum QDI early output RCA, ii) 16.5% and 15.8% reductions in CT and PCTP respectively compared to an optimum relative-timed RCA, iii) 32.9% and 35.9% reductions in CT and PCTP respectively compared to an optimum uniform input-partitioned QDI early output CSLA, iv) 47.5% and 47.2% reductions in CT and PCTP respectively compared to an optimum QDI early output CCLA, v) 14.2% and 27.3% reductions in CT and PCTP respectively compared to an optimum QDI early output BCLARC, and vi) 12.2% and 11.6% reductions in CT and PCTP respectively compared to an optimum QDI early output hybrid BCLARC-RCA. The adders were implemented using a 32/28nm CMOS technology.


title: Sampling Acquisition Functions for Batch Bayesian Optimization

abstract: We present Acquisition Thompson Sampling (ATS), a novel technique for batch Bayesian Optimization (BO) based on the idea of sampling multiple acquisition functions from a stochastic process. We define this process through the dependency of the acquisition functions on a set of model hyper-parameters. ATS is conceptually simple, straightforward to implement and, unlike other batch BO methods, it can be employed to parallelize any sequential acquisition function or to make existing parallel methods scale further. We present experiments on a variety of benchmark functions and on the hyper-parameter optimization of a popular gradient boosting tree algorithm. These demonstrate the advantages of ATS with respect to classical parallel Thompson Sampling for BO, its competitiveness with two state-of-the-art batch BO methods, and its effectiveness if applied to existing parallel BO algorithms.


title: Elastic Compliance and Stiffness Matrix of the FCC Lennard-Jones Thin Films: Influence of Thickness and Temperature

abstract: The fcc Lennard-Jones crystal is used as a generic model of solid to study the elastic properties of thin films as a function of thickness and temperature. The Monte Carlo algorithm is used to calculate the average deformations along the axes in the isostress-isothermal ensemble that mimics a real uniaxial loading experiment. The four independent parameters (tetragonal symmetry The fcc Lennard-Jones crystal is used as a generic model of solid to study the elastic properties of thin films as a function of thickness and temperature. The Monte Carlo algorithm is used to calculate the average deformations along the axes in the isostress-isothermal ensemble that mimics a real uniaxial loading experiment. The four independent parameters (tetragonal symmetry without shear) have been calculated for film thicknesses ranging from 4 to 12 atomic layers, and for five reduced temperatures between 0 and 0.5 sigma/kB, where sigma is the energetic parameter of the Lennard Jones potential and kB is Boltzmann's constant. These parameters (Poisson's ratio and moduli) give the compliance matrix, which is inverted to get the stiffness coefficients. It is shown that the three Poisson's ratios exhibit a good linearity with the inverse of the film thickness, while this is not the case for the moduli and the compliance coefficients. Remarkably, the stiffness coefficients do exhibit a good linearity with the inverse of the film thickness, including the limiting value of infinite thickness (bulk solid) obtained by applying periodic boundary conditions in all directions. This linearity suggests to interpret the results in terms of a bulk+surface decomposition. However, the surface stiffness matrix deduced from the slopes has nonzero components along the out-of-plane direction, an unexpected observation in the framework of the surface stress theory.


title: Nonarchimedean components of non-endoscopic automorphic representations for quasisplit $Sp(N)$ and $O(N)$

abstract: Arthur classified the discrete automorphic representations of symplectic and orthogonal groups over a number field by that of the general linear groups. In this classification, those that are not from endoscopic lifting correspond to pairs $(\phi, b)$, where $\phi$ is an irreducible unitary cuspidal automorphic representation of some general linear group and $b$ is an integer. In this paper, we study the local components of these automorphic representations at a nonarchimedean place, and we give a complete description of them in terms of their Langlands parameters.


title: Remarks on the well-posedness of the Euler equations in the Triebel-Lizorkin spaces

abstract: We prove the continuous dependence of the solution maps for the Euler equations in the (critical) Triebel-Lizorkin spaces, which was not shown in the previous works(\cite{Ch02, Ch03, ChMiZh10}). The proof relies on the classical Bona-Smith method as \cite{GuLiYi18}, where similar result was obtained in critical Besov spaces $B^1_{\infty,1}$.


title: Electromagnetic Burst Generation during Annihilation of Magnetic Field in Relativistic Laser-Plasma Interaction

abstract: We present the results of 3-dimensional kinetic simulations and theoretical studies on the formation and evolution of the current sheet in a collisionless plasma during magnetic field annihilation in the ultra-relativistic limit. Annihilation of oppositively directed magnetic fields driven by two laser pulses interacting with underdense plasma target is accompanied by an electromagnetic burst generation. The induced strong non-stationary longitudinal electric field accelerates charged particles within the current sheet. Properties of the laser-plasma target configuration are discussed in the context of the laboratory modeling for charged particle acceleration and gamma flash generation in astrophysics.


title: Mathematical open problems in Projected Entangled Pair States

abstract: Projected Entangled Pair States (PEPS) are used in practice as an efficient parametrization of the set of ground states of quantum many body systems. The aim of this paper is to present, for a broad mathematical audience, some mathematical questions about PEPS.

categories: math-ph cond-mat.str-el math.MP quant-ph


title: A new condition for stability of switched linear systems under restricted minimum dwell time switching

abstract: We propose matrix commutator based stability characterization for discrete-time switched linear systems under restricted switching. Given an admissible minimum dwell time, we identify sufficient conditions on subsystems such that a switched system is stable under all switching signals that obey the given restriction. The primary tool for our analysis is commutation relations between the subsystem matrices. Our stability conditions are robust with respect to small perturbations in the elements of these matrices. In case of arbitrary switching (i.e., given minimum dwell time = 1), we recover the prior result [1,Proposition 1] as a special case of our result.


title: Channel Estimation for Orthogonal Time Frequency Space (OTFS) Massive MIMO

abstract: Orthogonal time frequency space (OTFS) modulation outperforms orthogonal frequency division multiplexing (OFDM) in high-mobility scenarios. One challenge for OTFS massive MIMO is downlink channel estimation due to the large number of base station antennas. In this paper, we propose a 3D structured orthogonal matching pursuit algorithm based channel estimation technique to solve this problem. First, we show that the OTFS MIMO channel exhibits 3D structured sparsity: normal sparsity along the delay dimension, block sparsity along the Doppler dimension, and burst sparsity along the angle dimension. Based on the 3D structured channel sparsity, we then formulate the downlink channel estimation problem as a sparse signal recovery problem. Simulation results show that the proposed algorithm can achieve accurate channel state information with low pilot overhead.


title: LINSPECTOR: Multilingual Probing Tasks for Word Representations

abstract: Despite an ever growing number of word representation models introduced for a large number of languages, there is a lack of a standardized technique to provide insights into what is captured by these models. Such insights would help the community to get an estimate of the downstream task performance, as well as to design more informed neural architectures, while avoiding extensive experimentation which requires substantial computational resources not all researchers have access to. A recent development in NLP is to use simple classification tasks, also called probing tasks, that test for a single linguistic feature such as part-of-speech. Existing studies mostly focus on exploring the linguistic information encoded by the continuous representations of English text. However, from a typological perspective the morphologically poor English is rather an outlier: the information encoded by the word order and function words in English is often stored on a morphological level in other languages. To address this, we introduce 15 type-level probing tasks such as case marking, possession, word length, morphological tag count and pseudoword identification for 24 languages. We present a reusable methodology for creation and evaluation of such tests in a multilingual setting. We then present experiments on several diverse multilingual word embedding models, in which we relate the probing task performance for a diverse set of languages to a range of five classic NLP tasks: POS-tagging, dependency parsing, semantic role labeling, named entity recognition and natural language inference. We find that a number of probing tests have significantly high positive correlation to the downstream tasks, especially for morphologically rich languages. We show that our tests can be used to explore word embeddings or black-box neural models for linguistic cues in a multilingual setting.


title: An explicit univariate and radical parametrization of the sextic proper Zolotarev polynomials

abstract: The problem to determine an explicit one-parameter power form representation of the proper Zolotarev polynomials of degree $n$ and with uniform norm $1$ on $[-1,1]$ can be traced back to P. L. Chebyshev. It turned out to be complicated, even for small values of $n$. Such a representation was known to A. A. Markov (1889) for $n=2$ and $n=3$. But already for $n=4$ it seems that nobody really believed that an explicit form can be found. As a matter of fact it was, by V. A. Markov in 1892, as A. Shadrin put it in 2004. About 125 years passed before an explicit form for the next higher degree, $n=5$, was found, by G. Grasegger and N. Th. Vo (2017). In this paper we settle the case $n=6$.


title: The perfect 2-colorings of infinite circulant graphs with a continuous set of odd distances

abstract: A vertex coloring of a given simple graph $G=(V,E)$ with $k$ colors ($k$-coloring) is a map from its vertex set to the set of integers $\{1,2,3,\dots, k\}$. A coloring is called perfect if the multiset of colors appearing on the neighbours of any vertex depends only on the color of the vertex. We consider perfect colorings of Cayley graphs of the additive group of integers with generating set $\{1,-1,3,-3,5,-5,\dots, 2n-1,1-2n\}$ for a positive integer $n$. We enumerate perfect $2$-colorings of the graphs under consideration and state the conjecture generalizing the main result to an arbitrary number of colors.


title: Principal nested shape space analysis of molecular dynamics data

abstract: Molecular dynamics simulations produce huge datasets of temporal sequences of molecules. It is of interest to summarize the shape evolution of the molecules in a succinct, low-dimensional representation. However, Euclidean techniques such as principal components analysis (PCA) can be problematic as the data may lie far from in a flat manifold. Principal nested spheres gives a fundamentally different decomposition of data from the usual Euclidean sub-space based PCA (Jung, Dryden and Marron, 2012, Biometrika). Sub-spaces of successively lower dimension are fitted to the data in a backwards manner, with the aim of retaining signal and dispensing with noise at each stage. We adapt the methodology to 3D sub-shape spaces and provide some practical fitting algorithms. The methodology is applied to cluster analysis of peptides, where different states of the molecules can be identified. Also, the temporal transitions between cluster states are explored.


title: A doubly associated reference perturbation theory for water

abstract: In this work we develop a new classical perturbation theory for water which incorporates the transition to tetrahedral symmetry in both the dispersion and hydrogen bonding contributions to the free energy. This transition is calculated self-consistently using Wertheim's thermodynamic perturbation theory. However, since the reference fluid structure to the hydrogen bonding theory itself depends on hydrogen bonding, the theory represents an approach which goes beyond perturbation theory. The theory is shown to accurately represent the thermodynamics of pure water. It is demonstrated that the new theory can reproduce the anomalous density maximum as well as minima in the isothermal compressibility and isobaric heat capacity.


title: Low temperature specific heat of 12442-type KCa_2Fe_4As_4F_2 single crystals

abstract: Low-temperature specific heat (SH) is measured for the 12442-type KCa$_2$Fe$_4$As$_4$F$_2$ single crystal under different magnetic fields. A clear SH jump with the height of $\Delta C/T|_{T_c}$ = 130 mJ/mol K$^2$ is observed at the superconducting transition temperature $T_c$. It is found that the electronic SH coefficient $\Delta\gamma (H)$ quickly increases when the field is in the low-field region below 3 T and then considerably slows down the increase with a further increase in the field, which indicates a rather strong anisotropy or multi-gap feature with a small minimum in the superconducting gap(s). The temperature-dependent SH data indicates the presence of the $T^2$ term, which supplies further information and supports the picture with a line-nodal gap structure. Moreover, the onset point of the SH transition remains almost unchanged under the field as high as 9 T, which is similar to that observed in cuprates, and placed this system in the middle between the BCS limit and the Bose-Einstein condensation.


title: Structure and Morphology of Crystalline Nuclei arising in a Crystallizing Liquid Metallic Film

abstract: Control of the crystallization process at the microscopic level makes it possible to generate the nanocrystalline samples with the desired structural and morphological properties, that is of great importance for modern industry. In the present work, we study the influence of supercooling on the structure and morphology of the crystalline nuclei arising and growing within a liquid metallic film. The cluster analysis allows us to compute the diffraction patterns and to evaluate the morphological characteristics (the linear sizes of the homogeneous part and the thickness of the surface layer) of the crystalline nuclei emergent in the system at different levels of supercooling. We find that the liquid metallic film at the temperatures corresponded to low supercooling levels crystallizes into a monocrystal, whereas a polycrystalline structure forms at deep supercooling levels. We find that the temperature dependence of critical size of the crystalline nuclei contains two distinguishable regimes with the crossover temperature $T/T_{g}\approx1.15$ ($T_{g}$ is the glass transition temperature), which appears due to the specific geometry of the system.

categories: cond-mat.mtrl-sci cond-mat.dis-nn cond-mat.mes-hall physics.chem-ph physics.comp-ph


title: On the spectrum of the Schr\"odinger operator on $\mathbb{T}^d$: a normal form approach

abstract: In this paper we study the spectrum of the operator \begin{equation} \label{ope} H:=(-\Delta)^{M/2}+\mathcal{V}\ , \quad M>0\ , \end{equation} on $L^2(\mathbb{R}^d/\Gamma)$, with $\Gamma$ a maximal dimension lattice in $\mathbb{R}^d$ and $\mathcal{V}$ a pseudodifferential operator of order strictly smaller than $M$. We prove that most of its eigenvalues admit the asymptotic expansion \begin{equation} \label{sim} \lambda_\xi=|\xi|^M+Z(\xi)+O(\left|\xi\right|^{-\infty})\ , \end{equation} where $Z$ is a $C^\infty(\mathbb{R}^d)$ function (symbol) and $\xi\in\Gamma^*$ (the dual lattice of $\Gamma$).


title: Insights from Molecular Dynamics Simulations on Structural Organization and Diffusive Dynamics of an Ionic Liquid at Solid and Vacuum Interfaces

abstract: Hypothesis A prototypical modelling approach is required for a full characterisation of the static and equilibrium dynamical properties of confined ionic liquids (ILs), in order to gain predictive power of properties that are difficult to extract from experiments. Such a protocol needs to be constructed by benchmarking molecular dynamics simulations against available experiments. Simulations We perform an in-depth study of [C2Mim][NTf2] in bulk, at the vacuum and at hydroxylated alumina surface. Using the charge methods CHelpG, RESP-HF and RESP-B3LYP with charge scaling factors 1.0, 0.9 and 0.85, we search for an optimum non-polarizable force field by benchmarking against self-diffusion coefficients, surface tension, X-ray reflectivity data, and structural data. Findings Benchmarking, which relies on establishing the significance of an appropriate size of the model systems and the length of the simulations, yields RESP-HF/0.9 as the best suited force field for this IL overall. A complete and accurate characterisation of the spatially-dependent internal configurational space and orientation of IL molecules relative to the solid and vacuum interfaces is obtained. Furthermore, the density and mobility of IL ions in the plane parallel and normal to the interfaces is evaluated and the correlation between the stratification and dynamics in the interfacial layers is detectable deep into the films.


title: Mitigation of Through-Wall Distortions of Frontal Radar Images using Denoising Autoencoders

abstract: Radar images of humans and other concealed objects are considerably distorted by attenuation, refraction and multipath clutter in indoor through-wall environments. While several methods have been proposed for removing target independent static and dynamic clutter, there still remain considerable challenges in mitigating target dependent clutter especially when the knowledge of the exact propagation characteristics or analytical framework is unavailable. In this work we focus on mitigating wall effects using a machine learning based solution -- denoising autoencoders -- that does not require prior information of the wall parameters or room geometry. Instead, the method relies on the availability of a large volume of training radar images gathered in through-wall conditions and the corresponding clean images captured in line-of-sight conditions. During the training phase, the autoencoder learns how to denoise the corrupted through-wall images in order to resemble the free space images. We have validated the performance of the proposed solution for both static and dynamic human subjects. The frontal radar images of static targets are obtained by processing wideband planar array measurement data with two-dimensional array and range processing. The frontal radar images of dynamic targets are simulated using narrowband planar array data processed with two-dimensional array and Doppler processing. In both simulation and measurement processes, we incorporate considerable diversity in the target and propagation conditions. Our experimental results, from both simulation and measurement data, show that the denoised images are considerably more similar to the free-space images when compared to the original through-wall images.


title: Robust controllability of two-qubit Hamiltonian dynamics

abstract: Quantum gates (unitary gates) on physical systems are usually implemented by controlling the Hamiltonian dynamics. When full descriptions of the Hamiltonians parameters is available, the set of implementable quantum gates is easily characterised by quantum control theory. In many real systems, however, the Hamiltonians may include unknown parameters due to the difficulty of precise measurements or instability of the system. In this paper, we consider the situation that some parameters of the Hamiltonian are unknown, but we still want to perform a robust control of a quantum gate irrespectively to the unknown parameters. The existence of such control was previously shown in single-qubit systems, and a constructive method was developed for two-qubit systems provided full single-qubit controls are available. We analytically investigate the robust controllability of two-qubit systems, and apply Lie algebraic approaches to handle the cases where only controlling one of the two qubits is allowed. We also use numerical approaches for these problems since our analytical approaches does not work in some systems.


title: L1 Adaptive Controller -- Performance Analysis of the Inverse DC Gain Method

abstract: This paper presents an analysis of the modified L1 adaptive control law. The performance of this control law is compared to the original control law. The modified L1 control law uses the DC gain of the transfer function of the closed loop plant dynamics. There is slight worsening of the controller performance. Furthermore, this analysis shows that provided that there is room for slight performance reduction, L1 adaptive control law can be used to control non-minimum phase systems without the use of a pole-zero cancellation technique. L1 adaptive control requires five assumptions before it can be applied. The stability of matched transmission zeros is no longer a condition that a system needs to meet as a result of this modification to the adaptive control law.


title: Symbolic method and directed graph enumeration

abstract: We introduce the arrow product, a systematic generating function technique for directed graph enumeration. It provides short proofs for previous results of Gessel on the number of directed acyclic graphs and of Liskovets, Robinson and Wright on the number of strongly connected directed graphs. We also recover Robinson's enumerative results on directed graphs where all strongly connected components belong to a given family.


title: Bright mini-outburst ends the 12-year long activity of the black hole candidate Swift J1753.5-0127

abstract: We present optical, UV and X-ray monitoring of the short orbital period black hole X-ray binary candidate Swift J1753.5-0127, focusing on the final stages of its 12$-$year long outburst that started in 2005. From September 2016 onward, the source started to fade and within three months, the optical flux almost reached the quiescent level. Soon after that, using a new proposed rebrightening classification method we recorded a mini-outburst and a reflare in the optical light curves, peaking in February (V$\rm\sim$17.0) and May (V$\rm\sim$17.9) 2017, respectively. Remarkably, the mini-outburst has a peak flux consistent with the extrapolation of the slow decay before the fading phase preceding it. The following reflare was fainter and shorter. We found from optical colors that the temperature of the outer disk was $\sim 11$,000 K when the source started to fade rapidly. According to the disk instability model, this is close to the critical temperature when a cooling wave is expected to form in the disk, shutting down the outburst. The optical color could be a useful tool to predict decay rates in some X-ray transients. We notice that all X-ray binaries that show mini-outbursts following a main outburst are short orbital period systems ($<$ 7 h). In analogy with another class of short period binaries showing similar mini-outbursts, the cataclysmic variables of the RZ LMi type, we suggest mini-outbursts could occur if there is a hot inner disk at the end of the outburst decay.


title: Origin of the excess of high-energy retrograde stars in the Galactic halo

abstract: We report on the very low $\alpha$-element abundances of a group of metal-poor stars with high orbital energy and with large retrograde motion in the Milky Way halo, whose excess has been reported recently from metallicity and kinematics. We constructed a sample of halo stars with measured abundances and precise kinematics, including $\sim 880$ stars with [{{Fe}/{H}}]$<-0.7$, by crossmatching the Stellar Abundances for Galactic Archaeology database to the second data release of Gaia. Three regions in the energy-angular momentum space have been selected: innermost halo, Gaia Enceladus/Sausage, and high-energy retrograde halo. While the innermost halo and Gaia Enceladus regions have chemical abundances consistent with high- and low-$\alpha$ populations in the halo, respectively, chemical abundances of stars in the high-energy retrograde halo are different from the two populations; their [{X}/{Fe}], where X represents Na, Mg, and Ca, are even lower than those in Gaia Enceladus. These abundances, as well as their low mean metallicity, provide a new support for the idea that the retrograde component is dominated by an accreted dwarf galaxy which has a longer star formation timescale and is less massive than Gaia Enceladus/Sausage.


title: Effects of post-deposition annealing on the structure and magnetization of PLD grown Yttrium Iron Garnet films

abstract: We report on the recrystallization of 200 nm thick as-grown Yttrium Iron Garnet (Y_3.4 Fe_4.6 O_12) films on (111) face of Gadolinium Gallium Garnet (GGG) single crystals by post-deposition annealing. Epitaxial conversion of the as-grown microcrystalline YIG films was seen after annealing at 800oC for more than 30 minutes both in ambient oxygen as well as in air. The as-grown oxygen annealed samples at 800oC for 60 minutes crystallize epitaxially and show excellent figure-of-merit for saturation magnetization (MS = 3.3 {\mu}B/f.u., comparable to bulk value) and coercivity (HC ~ 1.1 Oe). The ambient air annealing at 800oC with a very slow rate of cooling (2oC/min) results in a double layer structure with a thicker unstrained epitaxial top layer having the MS and HC of 2.9 {\mu}B/f.u. and 0.12 Oe respectively. The symmetric and asymmetric Reciprocal space maps of both the samples reveal a locking of the in-plane lattice of the film to the in-plane lattice of substrate, indicating a pseudomorphic growth. The residual stress calculated by sin^2 {\psi} technique is compressive in nature. The lower layer in air annealed sample is highly strained, whereas, the top layer has negligible compressive stress.


title: An extension of Delsarte, Goethals and Mac Williams theorem on minimal weight codewords to a class of Reed-Muller type codes

abstract: In 1970 Delsarte, Goethals and Mac Williams published a seminal paper on generalized Reed-Muller codes where, among many important results, they proved that the minimal weight codewords of these codes are obtained through the evaluation of certain polynomials which are a specific product of linear factors, which they describe. In the present paper we extend this result to a class of Reed-Muller type codes defined on a product of (possibly distinct) finite fields of the same characteristic. The paper also brings an expository section on the study of the structure of low weight codewords, not only for affine Reed-Muller type codes, but also for the projective ones.


title: On possible types of magnetospheres of hot Jupiters

abstract: We show that the orbits of exoplanets of the "hot Jupiter" type, as a rule, are located close to the Alf\'{v}en point of the stellar wind of the parent star. At this, many hot Jupiters can be located in the sub-Alf\'{v}en zone in which the magnetic pressure of the stellar wind exceeds its dynamic pressure. Therefore, magnetic field of the wind must play an extremely important role for the flow of the stellar wind around the atmospheres of the hot Jupiters. This factor must be considered both in theoretical models and in the interpretation of observational data. The analysis shows that many typical hot Jupiters should have shock-less intrinsic magnetospheres, which, apparently, do not have counterparts in the Solar System. Such magnetospheres are characterized, primarily, by the absence of the bow shock, while the magnetic barrier (ionopause) is formed by the induced currents in the upper layers of the ionosphere. We confirmed this inference by the three-dimensional numerical simulation of the flow of the parent star stellar wind around the hot Jupiter HD 209458b in which we took into account both proper magnetic field of the planet and magnetic field of the wind.


title: Data Augmentation via Dependency Tree Morphing for Low-Resource Languages

abstract: Neural NLP systems achieve high scores in the presence of sizable training dataset. Lack of such datasets leads to poor system performances in the case low-resource languages. We present two simple text augmentation techniques using dependency trees, inspired from image processing. We crop sentences by removing dependency links, and we rotate sentences by moving the tree fragments around the root. We apply these techniques to augment the training sets of low-resource languages in Universal Dependencies project. We implement a character-level sequence tagging model and evaluate the augmented datasets on part-of-speech tagging task. We show that crop and rotate provides improvements over the models trained with non-augmented data for majority of the languages, especially for languages with rich case marking systems.


title: Wigner function of noisy accelerated two-qubit system

abstract: In this manuscript, the behavior of the Wigner function of accelerated and non-accelerated two qubit system passing through different noisy channels is discussed. The decoherence of the initial quantum correlation due to the noisy channels and the acceleration process is investigated by means of Wigner function. The negative (positive) behavior of the Wigner function predicts the gain of the quantum (classical) correlations. Based on the upper and lower bounds of the Wigner function, the entangled initial state loses its quantum correlation due the acceleration process and the strengths of the noisy channels. However, by controlling the distribution angles, the decoherence of these quantum correlation may be suppressed. For accelerated state, the robustness of the quantum correlations contained in the initial state appears in different ranges of the distribution angles depending on the noisy type. For the bit phase flip and the phase flip channels, the robustness of the quantum correlations is shown at any acceleration and large range of distribution angles. However, the fragility of the quantum correlation is depicted for large values for strength of the bit flip channel. Different profiles of the Wigner function are exhibited for the quantum and classical correlations, cup, lune, hemisphere.


title: Parametric finite element approximations of curvature driven interface evolutions

abstract: Parametric finite elements lead to very efficient numerical methods for surface evolution equations. We introduce several computational techniques for curvature driven evolution equations based on a weak formulation for the mean curvature. The approaches discussed, in contrast to many other methods, have good mesh properties that avoid mesh coalescence and very non-uniform meshes. Mean curvature flow, surface diffusion, anisotropic geometric flows, solidification, two-phase flow, Willmore and Helfrich flow as well as biomembranes are treated. We show stability results as well as results explaining the good mesh properties.


title: Probabilistic logics based on Riesz spaces

abstract: We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of this logic is directly inspired by the theory of Riesz spaces, a mature field of mathematics at the intersection of universal algebra and functional analysis. By using powerful results from this theory, we develop the duality theory of the Riesz modal logic in the form of an algebra-to-coalgebra correspondence. This has a number of consequences including: a sound and complete axiomatization, the proof that the logic characterizes probabilistic bisimulation and other convenient results such as completion theorems. This work is intended to be the basis for subsequent research on extensions of Riesz modal logic with fixed-point operators.


title: Localized computation of eigenstates of random Schr\"odinger operators

abstract: This paper concerns the numerical approximation of low-energy eigenstates of the linear random Schr\"odinger operator. Under oscillatory high-amplitude potentials with a sufficient degree of disorder it is known that these eigenstates localize in the sense of an exponential decay of their moduli. We propose a reliable numerical scheme which provides localized approximations of such localized states. The method is based on a preconditioned inverse iteration including an optimal multigrid solver which spreads information only locally. The practical performance of the approach is illustrated in various numerical experiments in two and three space dimensions and also for a non-linear random Schr\"odinger operator.


title: Managing Recurrent Virtual Network Updates in Multi-Tenant Datacenters: A System Perspective

abstract: With the advent of software-defined networking, network configuration through programmable interfaces becomes practical, leading to various on-demand opportunities for network routing update in multi-tenant datacenters, where tenants have diverse requirements on network routings such as short latency, low path inflation, large bandwidth, high reliability, etc. Conventional solutions that rely on topology search coupled with an objective function https:// www.overleaf.com/project/5beb742041ab9c0e3caec84f to find desired routings have at least two shortcomings: (i) they run into scalability issues when handling consistent and frequent routing updates and (ii) they restrict the flexibility and capability to satisfy various routing requirements. To address these issues, this paper proposes a novel search and optimization decoupled design, which not only saves considerable topology search costs via search result reuse, but also avoids possible sub-optimality in greedy routing search algorithms by making decisions based on the global view of all possible routings. We implement a prototype of our proposed system, OpReduce, and perform extensive evaluations to validate its design goals.


title: Surfing the Web quicker than QUIC via a shared Address Validation

abstract: QUIC is a performance-optimized secure transport protocol and a building block of the upcoming HTTP/3 standard. To protect against denial-of-service attacks, QUIC servers need to validate the IP addresses claimed by their clients. So far, the QUIC protocol conducts address validation for each hostname separately using validation tokens. In this work, we review this practice and introduce a new QUIC transport parameter to allow a shared address validation across hostnames. This parameter indicates to the client, that an issued validation token can be used to abbreviate the address validation when connecting to specific other hostnames. Based on trust-relations between real-world hostnames we evaluate the performance benefits of our proposal. Our results suggest that a shared address validation saves a round-trip time on almost 60% of the required handshakes to different hosts during the first loading of an average website. Assuming a typical transatlantic connection with a round-trip time of 90ms. We find that deploying our proposal reduces the delay overhead to establish all required connections for an average website by 142.2ms.