title: Towards Weyltronics: Realization of epitaxial NbP and TaP Weyl Semimetal thin films

abstract: Weyl Semimetals (WSMs), a recently discovered topological state of matter, exhibit an electronic structure governed by linear band dispersions and degeneracy (Weyl) points leading to rich physical phenomena, which are yet to be exploited in thin film devices. While WSMs were established in the monopnictide compound family several years ago, the growth of thin films has remained a challenge. Here, we report the growth of epitaxial thin films of NbP and TaP by means of molecular beam epitaxy. Single crystalline films are grown on MgO (001) substrates using thin Nb (Ta) buffer layers, and are found to be tensile strained (1%) and with slightly P-rich stoichiometry with respect to the bulk crystals. The resulting electronic structure exhibits topological surface states characteristic of a P-terminated surface and linear dispersion bands in agreement with the calculated band structure, and a Fermi-level shift of -0.2 eV with respect to the Weyl points. Consequently, the electronic transport is dominated by both holes and electrons with carrier mobilities close to 10^3 cm2/Vs at room-temperature. The growth of epitaxial thin films opens up the use of strain and controlled doping to access and tune the electronic structure of Weyl Semimetals on demand, paving the way for the rational design and fabrication of electronic devices ruled by topology.


title: Analytic integral solutions for induced gravitational waves

abstract: We present analytic integral solutions for the second-order induced gravitational waves (GWs). After presenting all the possible second-order source terms, we calculate explicitly the solutions for the GWs induced by the linear scalar and tensor perturbations during matter- and radiation-dominated epochs.


title: Complete biconservative surfaces in the hyperbolic space $\mathbb{H}^3$

abstract: We construct simply connected, complete, non-$CMC$ biconservative surfaces in the $3$-dimensional hyperbolic space $\mathbb{H}^3$ in an intrinsic and extrinsic way. We obtain three families of such surfaces, and, for each surface, the set of points where the gradient of the mean curvature function does not vanish is dense and has two connected components. In the intrinsic approach, we first construct a simply connected, complete abstract surface and then prove that it admits a unique biconservative immersion in $\mathbb{H}^3$. Working extrinsically, we use the images of the explicit parametric equations and a gluing process to obtain our surfaces. They are made up of circles (or hyperbolas, or parabolas, respectively) which lie in $2$-affine parallel planes and touch a certain curve in a totally geodesic hyperbolic surface $\mathbb{H}^2$ in $\mathbb{H}^3$.


title: Adaptive posterior contraction rates for empirical Bayesian drift estimation of a diffusion

abstract: Due to their conjugate posteriors, Gaussian process priors are attractive for estimating the drift of stochastic differential equations with continuous time observations. However, their performance strongly depends on the choice of the hyper-parameters. We employ the marginal maximum likelihood estimator to estimate the scaling and/or smoothness parameter(s) of the prior and show that the corresponding posterior has optimal rates of convergence. General theorems do not apply directly to this model as the usual test functions are with respect to a random Hellinger-type metric. We allow for continuous and discrete, one- and two-dimensional sets of hyper-parameters, where optimising over the two-dimensional set of smoothness and scaling hyper-parameters is shown to be beneficial in terms of the adaptive range.


title: Extension formulas and deformation invariance of Hodge numbers

abstract: We introduce a canonical isomorphism from the space of pure-type complex differential forms on a compact complex manifold to the one on its infinitesimal deformations. By use of this map, we generalize an extension formula in a recent work of K. Liu, X. Yang and the second author. As a direct corollary of the extension formulas, we prove several deformation invariance theorems for Hodge numbers on some certain classes of complex manifolds, without use of Fr\"{o}licher inequality or the topological invariance of Betti numbers.


title: On the semiprimitivity of free skew extensions of rings

abstract: Let $X$ be a set of noncommuting variables of cardinality $card(X)\geqslant 2$, and ${\mathscr G}=\{\sigma_x\}_{x\in X}$, ${\mathscr D}=\{\delta_x\}_{x\in X}$ be families of automorphisms and skew derivations of the ring $R$. It is proved that if the ring $R$ is semiprime Goldie, then the free skew extension $R[X;{\mathscr G},{\mathscr D}]$ is semiprimitive.


title: Haydi: Rapid Prototyping and Combinatorial Objects

abstract: Haydi (http://haydi.readthedocs.io) is a framework for generating discrete structures. It provides a way to define a structure from basic building blocks and then enumerate all elements, all non-isomorphic elements, or generate random elements in the structure. Haydi is designed as a tool for rapid prototyping. It is implemented as a pure Python package and supports execution in distributed environments. The goal of this paper is to give the overall picture of Haydi together with a formal definition for the case of generating canonical forms.


title: A 6-DOF haptic manipulation system to verify assembly procedures on CAD models

abstract: During the design phase of products and before going into production, it is necessary to verify the presence of mechanical plays, tolerances, and encumbrances on production mockups. This work introduces a multi-modal system that allows verifying assembly procedures of products in Virtual Reality starting directly from CAD models. Thus leveraging the costs and speeding up the assessment phase in product design. For this purpose, the design of a novel 6-DOF Haptic device is presented. The achieved performance of the system has been validated in a demonstration scenario employing state-of-the-art volumetric rendering of interaction forces together with a stereoscopic visualization setup.


title: Do bulges stop stars forming?

abstract: In this paper, we use the Herschel Reference Survey to make a direct test of the hypothesis that the growth of a stellar bulge leads to a reduction in the star-formation efficiency of a galaxy (or conversely a growth in the gas-depletion timescale) as a result of the stabilisation of the gaseous disk by the gravitational field of the bulge. We find a strong correlation between star-formation efficiency and specific star-formation rate in galaxies without prominent bulges and in galaxies of the same morphological type, showing that there must be some other process besides the growth of a bulge that reduces the star-formation efficiency in galaxies. However, we also find that galaxies with more prominent bulges (Hubble types E to Sab) do have significantly lower star-formation efficiencies than galaxies with later morphological types, which is at least consistent with the hypothesis that the growth of a bulge leads to the reduction in the star-formation efficiency. The answer to the question in the title is therefore, yes and no: bulges may reduce the star-formation efficiency in galaxies but there must also be some other process at work. We also find that there is a significant but small difference in the star-formation efficiencies of galaxies with and without bars, in the sense that galaxies with bars have slightly higher star-formation efficiencies.


title: Technical Debt and Waste in Non-Functional Requirements Documentation: An Exploratory Study

abstract: Background: To adequately attend to non-functional requirements (NFRs), they must be documented; otherwise, developers would not know about their existence. However, the documentation of NFRs may be subject to Technical Debt and Waste, as any other software artefact. Aims: The goal is to explore indicators of potential Technical Debt and Waste in NFRs documentation. Method: Based on a subset of data acquired from the most recent NaPiRE (Naming the Pain in Requirements Engineering) survey, we calculate, for a standard set of NFR types, how often respondents state they document a specific type of NFR when they also state that it is important. This allows us to quantify the occurrence of potential Technical Debt and Waste. Results: Based on 398 survey responses, four NFR types (Maintainability, Reliability, Usability, and Performance) are labelled as important but they are not documented by more than 22% of the respondents. We interpret that these NFR types have a higher risk of Technical Debt than other NFR types. Regarding Waste, 15% of the respondents state they document NFRs related to Security and they do not consider it important. Conclusions: There is a clear indication that there is a risk of Technical Debt for a fixed set of NFRs since there is a lack of documentation of important NFRs. The potential risk of incurring Waste is also present but to a lesser extent.


title: The Snowball Stratosphere

abstract: According to the Snowball Earth hypothesis, Earth has experienced periods of low-latitude glaciation in its deep past. Prior studies have used general circulation models (GCMs) to examine the effects such an extreme climate state might have on the structure and dynamics of Earth's troposphere, but the behavior of the stratosphere has not been studied in detail. Understanding the snowball stratosphere is important for developing an accurate account of the Earth's radiative and chemical properties during these episodes. Here we conduct the first analysis of the stratospheric circulation of the Snowball Earth using ECHAM6 general circulation model simulations. In order to understand the factors contributing to the stratospheric circulation, we extend the Statistical Transformed Eulerian Mean framework. We find that the stratosphere during a snowball with prescribed modern ozone levels exhibits a weaker meridional overturning circulation, reduced wave activity, stronger zonal jets, and is extremely cold relative to modern conditions. Notably, the snowball stratosphere displays no sudden stratospheric warmings. Without ozone, the stratosphere displays slightly weaker circulation, a complete lack of polar vortex, and even colder temperatures. We also explicitly quantify for the first time the cross-tropopause mass exchange rate and stratospheric mixing efficiency during the snowball and show that our values do not change the constraints on CO$_2$ inferred from geochemical proxies during the Marinoan glaciation ($\sim$635 Ma), unless the O$_2$ concentration during the snowball was orders of magnitude less than the CO$_2$ concentration.


title: Finite tidal effects in GW170817: Observational evidence or model assumptions?

abstract: After the detection of gravitational waves caused by the coalescence of compact objects in the mass range of neutron stars, GW170817, several studies have searched for an imprint of tidal effects in the signal, employing different model assumptions. One important distinction is whether or not to assume that both objects are neutron stars and obey the same equation of state. Some studies assumed independent properties. Others assume a universal equation of state, and in addition that the tidal deformability follows certain phenomenological relations. An important question is whether the gravitational-wave data alone constitute observational evidence for finite tidal effects. All studies provide Bayesian credible intervals, often without sufficiently discussing the impact of prior assumptions, especially in the case of lower limits on the neutron-star tidal deformability or radius. In this article, we scrutinize the implicit and explicit prior assumptions made in those studies. Our findings strongly indicate that existing lower credible bounds are mainly a consequence of prior assumptions combined with information gained about the system's masses. Importantly, those lower bounds are typically not informed by the observation of tidal effects in the gravitational-wave signal. Thus, regarding them as observational evidence might be misleading without a more detailed discussion. Further, we point out technical problems and conceptual inconsistencies in existing studies. We also assess the limitations due to systematic waveform model uncertainties in a novel way, demonstrating that differences between existing models are not guaranteed to be small enough for an unbiased estimation of lower bounds on the tidal deformability. Finally, we propose strategies for gravitational-wave data analysis designed to avoid some of the problems we uncovered.


title: Pre-inflation and Trans-Planckian Censorship

abstract: We investigate the implication of Trans-Planckian Censorship Conjecture (TCC) for the initial state of primordial perturbations. It is possible to set the state of perturbation modes in the infinite past as the Minkowski vacuum, only if the pre-inflationary era is past-complete. We calculate the evolution of the perturbation modes in such a pre-inflationary era and show that at the beginning of inflation the perturbation modes with wavelengths much shorter than the Hubble scale (but still larger than the Planck length scale) will behave as they are in the Bunch-Davis state. Therefore, a past-complete pre-inflationary evolution may automatically prepare the initial state required for the inflationary perturbations at the CMB window while obeying the TCC.


title: A systolic inequality for 2-complexes of maximal cup-length and systolic area of groups

abstract: We extend a systolic inequality of Guth for Riemannian manifolds of maximal $\mathbb{Z}_2$ cup-length to piecewise Riemannian complexes of dimension 2. As a consequence we improve the previous best universal lower bound for the systolic area of groups for a large class of groups, including free abelian and surface groups, most of irreducible 3-manifold groups, non-free Artin groups and Coxeter groups (or more generally), groups containing an element of order 2.


title: Field-Effect Control of Metallic Superconducting Systems

abstract: Despite metals are believed to be insensitive to field-effect and conventional Bardeen-Cooper-Schrieffer (BCS) theories predict the electric field to be ineffective on conventional superconductors, a number of gating experiments showed the possibility of modulating the conductivity of metallic thin films and the critical temperature of conventional superconductors. All these experimental features have been explained by simple charge accumulation/depletion. In 2018, electric field control of supercurrent in conventional metallic superconductors has been demonstrated in a range of electric fields where the induced variation of charge carrier concentration in metals is negligibly small. In fact, no changes of normal state resistance and superconducting critical temperature were reported. Here, we review the experimental results obtained in the realization of field-effect metallic superconducting devices exploiting this unexplained phenomenon. We will start by presenting the seminal results on superconducting BCS wires and nano-constriction Josephson junctions (Dayem bridges) made of different materials, such as titanium, aluminum and vanadium. Then, we show the mastering of the Josephson supercurrent in superconductor-normal metal-superconductor proximity transistors suggesting that the presence of induced superconducting correlations are enough to see this unconventional field-effect. Later, we present the control of the interference pattern in a superconducting quantum interference device indicating the coupling of the electric field with thesuperconducting phase. Among the possible applications of the presented phenomenology, we conclude this review by proposing some devices that may represent a breakthrough in superconducting quantum and classical computation.


title: Self-testing quantum systems of arbitrary local dimension with minimal number of measurements

abstract: Bell nonlocality as a resource for device independent certification schemes has been studied extensively in recent years. The strongest form of device independent certification is referred to as self-testing, which given a device certifies the promised quantum state as well as quantum measurements performed on it without any knowledge of the internal workings of the device. In spite of various results on self-testing protocols, it remains a highly nontrivial problem to propose a certification scheme of qudit-qudit entangled states based on violation of a single $d$-outcome Bell inequality. Here we address this problem and propose a self-testing protocol for the maximally entangled state of any local dimension using the minimum number of measurements possible, i.e., two per subsystem. Our self-testing result can be used to establish unbounded randomness expansion, $\log_2d$ perfect random bits, while it requires only one random bit to encode the measurement choice.


title: Information Design in Spatial Resource Competition

abstract: We consider the information design problem in spatial resource competition settings. Agents gather at a location deciding whether to move to another location for possibly higher level of resources, and the utility each agent gets by moving to the other location decreases as more agents move there. The agents do not observe the resource level at the other location while a principal does and the principal would like to carefully release this information to attract a proper number of agents to move. We adopt the Bayesian persuasion framework and analyze the principal's optimal signaling mechanism design problem. We study both private and public signaling mechanisms. For private signaling, we show the optimal mechanism can be computed in polynomial time with respect to the number of agents. Obtaining the optimal private mechanism involves two steps: first, solve a linear program to get the marginal probability each agent should be recommended to move; second, sample the moving agents satisfying the marginal probabilities with a sequential sampling procedure. For public signaling, we show the sender preferred equilibrium has a simple threshold structure and the optimal public mechanism with respect to the sender preferred equilibrium can be computed in polynomial time. We support our analytical results with numerical computations that show the optimal private and public signaling mechanisms achieve substantially higher social welfare compared with no information or full information benchmarks in many settings.


title: Optical second harmonic generation in a ferromagnetic liquid crystal

abstract: A comparative experimental investigation of the dependence of second harmonic generation (SHG) on applied external voltage between the standard nematic liquid crystalline material and an analogue ferromagnetic nematic liquid crystalline material was performed by using a fundamental optical beam at 800 nm wavelength. For a ferromagnetic material, the dependence of SHG on an applied magnetic field was also examined. Three different polarization combinations of the fundamental and the second harmonic radiation were analysed. The SHG signal observed in the former material is attributed to a combination of electric field-induced SHG (EFISHG) and flexoelectric deformation-induced SHG, while SHG signal observed in the latter material is attributed solely to flexoelectric deformation-induced SHG. The obtained dependences of the SHG signal on the associated optical retardation show that in the most favourable polarization combination the two contributions generate about the same effective nonlinear optical susceptibility.


title: Optimized Quantization in Distributed Graph Signal Filtering

abstract: Distributed graph signal processing algorithms require the network nodes to communicate by exchanging messages in order to achieve a common objective. These messages have a finite precision in realistic networks, which may necessitate to implement message quantization. Quantization, in turn, may generate distortion and performance penalty in the distributed processing tasks. This paper proposes a novel method for distributed graph filtering that minimizes the error due to message quantization without compromising the communication costs. It first bounds the exchanged messages and then allocates a limited bit budget in an optimized way to the different messages and network nodes. In particular, our novel quantization algorithm adapts to both the network topology and the message importance in a distributed processing task. Our results show that the proposed method is effective in minimizing the error due to quantization and that it permits to outperform baseline distributed algorithms when the bit budget is limited. They further show that errors produced in nodes with high eccentricity or in the first steps of the distributed algorithm contribute more to the global error. Also, sparse and irregular graphs require more irregular bit distribution. Our method provides one of the first quantization solutions for distributed graph processing, which is able to adapt to the target task, the graph properties and the communication constraints.


title: Efficient Optical Quantification of Heterogeneous Emitter Ensembles

abstract: Defect-based quantum emitters in solid state materials offer a promising platform for quantum communication and sensing. Confocal fluorescence microscopy techniques have revealed quantum emitters in a multitude of host materials. In some materials, however, optical properties vary widely between emitters, even within the same sample. In these cases, traditional ensemble fluorescence measurements are confounded by heterogeneity, whereas individual defect-by-defect studies are impractical. Here, we develop a method to quantitatively and systematically analyze the properties of heterogeneous emitter ensembles using large-area photoluminescence maps. We apply this method to study the effects of sample treatments on emitters in hexagonal boron nitride, and we find that low-energy (3 keV) electron irradiation creates emitters, whereas high-temperature (850 $^\circ$C) annealing in an inert gas environment brightens emitters.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.optics quant-ph


title: Exploring the Tan contact term in Yang-Mills theory

abstract: Reliably computing the free energy in a gauge theory like QCD is a challenging and resource-demanding endeavor. As an alternative, we explore here the possibility to obtain the associated thermodynamic anomaly by exploiting its relation to the Tan contact. Optimally, this would reduce the determination of the free energy to a high-precision calculation of two-point correlators. We study this possibility using the lattice and functional methods and compare them to the expected behavior for the SU(2) Yang-Mills case.


title: A DELPHES card for the CLIC detector

abstract: The Compact Linear Collider, CLIC, is a multi-TeV electron-positron collider proposed for construction at CERN. A detector model, CLICdet, that is suited for the experimental conditions at CLIC and is based on realistic performance, has been developed. This paper describes the implementation of CLICdet in a fast simulation tool for particle physics collider experiments, DELPHES. The geometry of the detector concept as well as performance parameters extracted from full simulation studies are implemented in DELPHES parameter cards for CLICdet. Jet reconstruction for electron-positron colliders is added to the DELPHES analysis chain. Parameters for using DELPHES to simulate the detector effects of CLICdet are provided in three parameter cards, one for each energy stage of CLIC. The effects of beam-induced background at the higher-energy stages of CLIC are also incorporated. The results from the fast simulation with DELPHES are validated with respect to full detector simulation in a number of relevant processes.


title: Global regularity estimates for the Boltzmann equation without cut-off

abstract: We derive $C^\infty$ a priori estimates for solutions of the inhomogeneous Boltzmann equation without cut-off, conditional to point-wise bounds on their mass, energy and entropy densities. We also establish decay estimates for large velocities, for all derivatives of the solution.


title: Collectivised Post-Retirement Investment

abstract: We quantify the benefit of collectivised investment funds, in which the assets of members who die are shared among the survivors. For our model, with realistic parameter choices, an annuity or individual fund requires approximately 20\% more initial capital to provide as good an outcome as a collectivised investment fund. We demonstrate the importance of the new concept of pension adequacy in defining investor preferences and determining optimal fund management. We show how to manage heterogeneous funds of investors with diverse needs. Our framework can be applied to existing pension products, such as Collective Defined Contribution schemes.


title: Impact of temporal scales and recurrent mobility patterns on the unfolding of epidemics

abstract: Human mobility plays a key role on the transformation of local disease outbreaks into global pandemics. Thus, the inclusion of human movements into epidemic models has become mandatory for understanding current epidemic episodes and to design efficient prevention policies. Following this challenge, here we develop a Markovian framework which enables to address the impact of recurrent mobility patterns on the epidemic onset at different temporal scales. This formalism is validated by comparing their predictions with results from mechanistic simulations. The fair agreement between both theory and simulations enables to get an analytical expression for the epidemic threshold which captures the critical conditions triggering epidemic outbreaks. Finally, by performing an exhaustive analysis of this epidemic threshold, we reveal that the impact of tuning human mobility on the emergence of diseases is strongly affected by the temporal scales associated to both epidemiological and mobility processes.


title: Alleviating Privacy Attacks via Causal Learning

abstract: Machine learning models, especially deep neural networks have been shown to be susceptible to privacy attacks such as membership inference where an adversary can detect whether a data point was used for training a black-box model. Such privacy risks are exacerbated when a model's predictions are used on an unseen data distribution. To alleviate privacy attacks, we demonstrate the benefit of predictive models that are based on the causal relationships between input features and the outcome. We first show that models learnt using causal structure generalize better to unseen data, especially on data from different distributions than the train distribution. Based on this generalization property, we establish a theoretical link between causality and privacy: compared to associational models, causal models provide stronger differential privacy guarantees and are more robust to membership inference attacks. Experiments on simulated Bayesian networks and the colored-MNIST dataset show that associational models exhibit upto 80% attack accuracy under different test distributions and sample sizes whereas causal models exhibit attack accuracy close to a random guess.


title: Long-Term Robot Navigation in Indoor Environments Estimating Patterns in Traversability Changes

abstract: Nowadays, mobile robots are deployed in many indoor environments, such as offices or hospitals. These environments are subject to changes in the traversability that often happen by following repeating patterns. In this paper, we investigate the problem of navigating in such environments over extended periods of time by capturing these patterns and exploiting this knowledge to make informed decisions. Our approach incrementally estimates a model of the traversability changes from robot's observations and uses a probabilistic graphical model to make predictions at currently unobserved locations. In the belief space defined by the predictions, we plan paths that trade off the risk to encounter obstacles and the information gain of visiting unknown locations. We implemented our approach and tested it in different indoor environments. The experiments suggest that in the long run, our approach leads to navigation along shorter paths compared to following a greedy shortest path policy.


title: Maximal adversarial perturbations for obfuscation: Hiding certain attributes while preserving rest

abstract: In this paper we investigate the usage of adversarial perturbations for the purpose of privacy from human perception and model (machine) based detection. We employ adversarial perturbations for obfuscating certain variables in raw data while preserving the rest. Current adversarial perturbation methods are used for data poisoning with minimal perturbations of the raw data such that the machine learning model's performance is adversely impacted while the human vision cannot perceive the difference in the poisoned dataset due to minimal nature of perturbations. We instead apply relatively maximal perturbations of raw data to conditionally damage model's classification of one attribute while preserving the model performance over another attribute. In addition, the maximal nature of perturbation helps adversely impact human perception in classifying hidden attribute apart from impacting model performance. We validate our result qualitatively by showing the obfuscated dataset and quantitatively by showing the inability of models trained on clean data to predict the hidden attribute from the perturbed dataset while being able to predict the rest of attributes.


title: The extended D-Toda hierarchy

abstract: In a companion paper to this one, we proved that the Gromov--Witten theory of a Fano orbifold line of type $D$ is governed by a system of Hirota Bilinear Equations. The goal of this paper is to prove that every solution to the Hirota Bilinear Equations determines a solution to a new integrable hierarchy of Lax equations. We suggest the name extended D-Toda hierarchy for this new system of Lax equations, because it should be viewed as the analogue of Carlet's extended bi-graded Toda hierarchy, which is known to govern the Gromov--Witten theory of Fano orbifold lines of type $A$


title: Fermions on the kink revisited

abstract: We study fermion modes localized on the kink in the 1+1 dimensional $\phi^4$ model, coupled to the Dirac fermions with backreaction. Using numerical methods we construct self-consistent solutions of the corresponding system of coupled integral-differential equations and study dependencies of the scalar field of the kink and the normalizable fermion bound states on the values of the values of the parameters of the model. We show that the backreaction of the localized fermions significantly modifies the solutions, in particular it results in spatial oscillations of the profile of the kink and violations of the reflection symmetry of the configuration.


title: Learning to compute inner consensus: A novel approach to modeling agreement between Capsules

abstract: This project considers Capsule Networks, a recently introduced machine learning model that has shown promising results regarding generalization and preservation of spatial information with few parameters. The Capsule Network's inner routing procedures thus far proposed, a priori, establish how the routing relations are modeled, which limits the expressiveness of the underlying model. In this project, we propose two distinct ways in which the routing procedure can be learned like any other network parameter.


title: Solving reachability problems on data-aware workflows

abstract: Recent advances in the field of Business Process Management have brought about several suites able to model complex data objects along with the traditional control flow perspective. Nonetheless, when it comes to formal verification there is still the lack of effective verification tools on imperative data-aware process models and executions: the data perspective is often abstracted away and verification tools are often missing. In this paper we provide a concrete framework for formal verification of reachability properties on imperative data-aware business processes. We start with an expressive, yet empirically tractable class of data-aware process models, an extension of Workflow Nets, and we provide a rigorous mapping between the semantics of such models and that of three important paradigms for reasoning about dynamic systems: Action Languages, Classical Planning, and Model Checking. Then we perform a comprehensive assessment of the performance of three popular tools supporting the above paradigms in solving reachability problems for imperative data-aware business processes, which paves the way for a theoretically well founded and practically viable exploitation of formal verification techniques on data-aware business processes.


title: Toy Models of Top Down Causation

abstract: Models in which causation arises from higher level structures as well as from microdynamics may be relevant to unifying quantum theory with classical physics or general relativity. They also give a way of defining a form of panprotopsychist property dualism, in which consciousness and material physics causally affect one another. I describe toy models based on probabilistic cellular automata that illustrate possibilities and difficulties with these ideas.


title: ElasticMatrix: A MATLAB Toolbox for Anisotropic Elastic Wave Propagation in Layered Media

abstract: Simulating the propagation of elastic waves in multi-layered media has many applications. A common approach is to use matrix methods where the elastic wave-field within each material layer is represented by a sum of partial-waves along with boundary conditions imposed at each interface. While these methods are well-known, coding the required matrix formation, inversion, and analysis for general multi-layered systems is non-trivial and time-consuming. Here, a new open-source toolbox called ElasticMatrix is described which solves the problem of acoustic and elastic wave propagation in multi-layered media for isotropic and transverse-isotropic materials where the wave propagation occurs in a material plane of symmetry. The toolbox is implemented in MATLAB using an object oriented programming framework and is designed to be easy to use and extend. Methods are provided for calculating and plotting dispersion curves, displacement and stress fields, reflection and transmission coefficients, and slowness profiles.


title: Impact of Low-bitwidth Quantization on the Adversarial Robustness for Embedded Neural Networks

abstract: As the will to deploy neural networks models on embedded systems grows, and considering the related memory footprint and energy consumption issues, finding lighter solutions to store neural networks such as weight quantization and more efficient inference methods become major research topics. Parallel to that, adversarial machine learning has risen recently with an impressive and significant attention, unveiling some critical flaws of machine learning models, especially neural networks. In particular, perturbed inputs called adversarial examples have been shown to fool a model into making incorrect predictions. In this article, we investigate the adversarial robustness of quantized neural networks under different threat models for a classical supervised image classification task. We show that quantization does not offer any robust protection, results in severe form of gradient masking and advance some hypotheses to explain it. However, we experimentally observe poor transferability capacities which we explain by quantization value shift phenomenon and gradient misalignment and explore how these results can be exploited with an ensemble-based defense.


title: Manipulating Topological Valley Modes in Plasmonic Metasurfaces

abstract: The coupled light-matter modes supported by plasmonic metasurfaces can be combined with topological principles to yield subwavelength topological valley states of light. We give a systematic presentation of the topological valley states available for lattices of metallic nanoparticles: All possible lattices with hexagonal symmetry are considered, as well as valley states emerging on a square lattice. Several unique effects which have yet to be explored in plasmonics are identified, such as robust guiding, filtering and splitting of modes, as well as dual-band effects. We demonstrate these by means of scattering computations based on the coupled dipole method that encompass the full electromagnetic interactions between nanoparticles.


title: MRCNet: Crowd Counting and Density Map Estimation in Aerial and Ground Imagery

abstract: In spite of the many advantages of aerial imagery for crowd monitoring and management at mass events, datasets of aerial images of crowds are still lacking in the field. As a remedy, in this work we introduce a novel crowd dataset, the DLR Aerial Crowd Dataset (DLR-ACD), which is composed of 33 large aerial images acquired from 16 flight campaigns over mass events with 226,291 persons annotated. To the best of our knowledge, DLR-ACD is the first aerial crowd dataset and will be released publicly. To tackle the problem of accurate crowd counting and density map estimation in aerial images of crowds, this work also proposes a new encoder-decoder convolutional neural network, the so-called Multi-Resolution Crowd Network MRCNet. The encoder is based on the VGG-16 network and the decoder is composed of a set of bilinear upsampling and convolutional layers. Using two losses, one at an earlier level and another at the last level of the decoder, MRCNet estimates crowd counts and high-resolution crowd density maps as two different but interrelated tasks. In addition, MRCNet utilizes contextual and detailed local information by combining high- and low-level features through a number of lateral connections inspired by the Feature Pyramid Network (FPN) technique. We evaluated MRCNet on the proposed DLR-ACD dataset as well as on the ShanghaiTech dataset, a CCTV-based crowd counting benchmark. The results demonstrate that MRCNet outperforms the state-of-the-art crowd counting methods in estimating the crowd counts and density maps for both aerial and CCTV-based images.


title: On the use of BERT for Neural Machine Translation

abstract: Exploiting large pretrained models for various NMT tasks have gained a lot of visibility recently. In this work we study how BERT pretrained models could be exploited for supervised Neural Machine Translation. We compare various ways to integrate pretrained BERT model with NMT model and study the impact of the monolingual data used for BERT training on the final translation quality. We use WMT-14 English-German, IWSLT15 English-German and IWSLT14 English-Russian datasets for these experiments. In addition to standard task test set evaluation, we perform evaluation on out-of-domain test sets and noise injected test sets, in order to assess how BERT pretrained representations affect model robustness.


title: On the transition from gas-like to liquid-like behaviour in supercritical N2

abstract: We have studied in detail the transition from gas-like to rigid liquid-like behaviour in supercritical $N_2$ at 300 K (2.4 $T_C$). Our study combines neutron diffraction and Raman spectroscopy with empirical potential structure refinement and ab-initio molecular dynamics simulations. We observe a narrow transition from gas-like to rigid liquid-like behaviour at ca. 150 MPa, which we associate with the Frenkel line. Our findings allow us to reliably characterize the Frenkel line using both diffraction and spectroscopy methods, backed up by simulation, for the same substance. We clearly lay out what parameters change, and what parameters do not change, when the Frenkel line is crossed.


title: Cross-domain recommender system using Generalized Canonical Correlation Analysis

abstract: Recommender systems provide personalized recommendations to the users from a large number of possible options in online stores. Matrix factorization is a well-known and accurate collaborative filtering approach for recommender system, which suffers from cold-start problem for new users and items. Whenever a new user participate with the system there is not enough interactions with the system, therefore there are not enough ratings in the user-item matrix to learn the matrix factorization model. Using auxiliary data such as users demographic, ratings and reviews in relevant domains, is an effective solution to reduce the new user problem. In this paper, we used data of users from other domains and build a common space to represent the latent factors of users from different domains. In this representation we proposed an iterative method which applied MAX-VAR generalized canonical correlation analysis (GCCA) on users latent factors learned from matrix factorization on each domain. Also, to improve the capability of GCCA to learn latent factors for new users, we propose generalized canonical correlation analysis by inverse sum of selection matrices (GCCA-ISSM) approach, which provides better recommendations in cold-start scenarios. The proposed approach is extended using content-based features from topic modeling extracted from users reviews. We demonstrate the accuracy and effectiveness of the proposed approaches on cross-domain ratings predictions using comprehensive experiments on Amazon and MovieLens datasets.


title: Generalisations of Ramanujan sums for Polynomial rings over finite fields

abstract: In this paper, we consider a general form of the analogue of Ramanujan's sum in the ring of polynomials over a finite field. We first prove some multiplicative properties of such functions before considering their finite Fourier series and some specific examples. In the end, we also prove a result about the Dirichlet series of such functions.


title: Device-to-Device Private Caching with Trusted Server

abstract: In order to preserve the privacy of the users demands from other users, in this paper we formulate a novel information theoretic Device-to-Device (D2D) private caching model by adding a trusted server. In the delivery phase, the trusted server collects the users demands and sends a query to each user, who then broadcasts packets according to this query. Two D2D private caching schemes (uncoded and coded) are proposed in this paper, which are shown to be order optimal.


title: Movie Recommender Systems: Implementation and Performance Evaluation

abstract: Over the years, explosive growth in the number of items in the catalog of e-commerce businesses, such as Amazon, Netflix, Pandora, etc., have warranted the development of recommender systems to guide consumers towards their desired products based on their preferences and tastes. Some of the popular approaches for building recommender systems, for mining user, derived input datasets, are: content-based systems, collaborative filtering, latent-factor systems using Singular Value Decomposition (SVD), and Restricted Boltzmann Machines (RBM). In this project, user-user collaborative filtering, item-item collaborative filtering, content-based recommendation, SVD, and neural networks were chosen for implementation in Python to predict the user ratings of unwatched movies for each user, and their performances were evaluated and compared.


title: Spin current as a probe of the $\mathbb{Z}_2$-vortex topological transition in the classical Heisenberg antiferromagnet on the triangular lattice

abstract: We have theoretically investigated transport properties of the classical Heisenberg antiferromagnet on the triangular lattice in which a binding-unbinding topological transition of $\mathbb{Z}_2$ vortices is predicted to occur at a finite temperature $T_v$. It is shown by means of the hybrid Monte-Carlo and spin-dynamics simulations that the longitudinal spin-current conductivity exhibits a divergence at $T_v$, while the thermal conductivity only shows a monotonic temperature dependence with no clear anomaly at $T_v$. The significant enhancement of the spin-current conductivity is found to be due to the rapid growth of the spin-current-relaxation time toward $T_v$, which can be understood as a manifestation of the topological nature of the free $\mathbb{Z}_2$ vortex whose lifetime gets longer toward $T_v$. The result suggests that the spin-current measurement is a promising probe to detect the $\mathbb{Z}_2$-vortex topological transition which has remained elusive in experiments.


title: Extension and tangential CRF conditions in quaternionic analysis

abstract: We prove some extension theorems for quaternionic holomorphic functions in the sense of Fueter. Starting from the existence theorem for the nonhomogeneous Cauchy-Riemann-Fueter Problem, we prove that an $\mathbb{H}$-valued function $f$ on a smooth hypersurface, satisfying suitable tangential conditions, is locally a jump of two $\mathbb{H}$-holomorphic functions. From this, we obtain, in particular, the existence of the solution for the Dirichlet Problem with smooth data. We extend these results to the continous case. In the final part, we discuss the octonian case.


title: Hiding Communications in AWGN Channels and THz Band with Interference Uncertainty

abstract: Covert communication can prevent an adversary from knowing that a wireless transmission has occurred. In additive white Gaussian noise (AWGN) channels, a square root law is found that Alice can reliably and covertly transmit $\mathcal{O}(\sqrt{n})$ bits to Bob in $n$ channel uses. In this paper, we consider covert communications in noisy wireless networks, where the receivers not only experience the background noise, but also the aggregate interference from other transmitters. Our results show that uncertainty in interference experienced by the adversary Willie is beneficial to Alice. In AWGN channels, when the distance between Alice and Willie $d_{a,w}=\omega(n^{1/(2\alpha)})$ ($\alpha$ is the path loss exponent), Alice can reliably and covertly transmit $\mathcal{O}(\log_2\sqrt{n})$ bits to Bob in $n$ channel uses. Although the covert throughput is lower than the square root law, the spatial throughput is higher. In THz (Terahertz) Band networks,covert communication is more difficult because Willie can simply place a receiver in the narrow beam between Alice and Bob to detect or block their LOS (Line-of-Sight) communications. We then present a covert communication scheme that utilizes the reflection or diffuse scattering from a rough surface to prevent being detected by Willie. From the network perspective, the communications are hidden in the interference of noisy wireless networks, and what Willie sees is merely a "shadow" wireless network.


title: New Mathematical Models of GPS Intersatellite Communications in the Gravitational Field of the Near-Earth Space

abstract: Several space missions such as GRACE, GRAIL, ACES and others rely on intersatellite communications (ISC) between two satellites at a large distance one from another. The main goal of the theory is to formulate all the navigation observables within the General Relativity Theory (GRT). The same approach should be applied also to the intersatellite GPS-communications (in perspective also between the GPS, GLONASS and Galileo satellite constellations). In this paper a theoretical approach has been developed for ISC between two satellites moving on (one-plane) elliptical orbits based on the introduction of two gravity null cones with origins at the emitting-signal and receiving-signal satellites. The two null cones account for the variable distance between the satellites during their uncorrelated motion. This intersection of the two null cones gives the space-time interval in GRT. Applying some theorems from higher algebra, it was proved that this space-time distance can become zero, consequently it can be also negative and positive. But in order to represent the geodesic distance travelled by the signal, the space-time interval has to be "compatible" with the Euclidean distance. So this "compatibility condition", conditionally called "condition for ISC", is the most important consequence of the theory. The other important consequence is that the geodesic distance turns out to be the space-time interval, but with account also of the "condition for ISC". The geodesic distance is proved to be greater than the Euclidean distance - a result, entirely based on the "two null cones approach" and moreover, without any use of the Shapiro delay formulae. Application of the same higher algebra theorems shows that the geodesic distance cannot have any zeroes, in accord with being greater than the Euclidean distance.


title: Visual Servoing-based Navigation for Monitoring Row-Crop Fields

abstract: Autonomous navigation is a pre-requisite for field robots to carry out precision agriculture tasks. Typically, a robot has to navigate through a whole crop field several times during a season for monitoring the plants, for applying agrochemicals, or for performing targeted intervention actions. In this paper, we propose a framework tailored for navigation in row-crop fields by exploiting the regular crop-row structure present in the fields. Our approach uses only the images from on-board cameras without the need for performing explicit localization or maintaining a map of the field and thus can operate without expensive RTK-GPS solutions often used in agriculture automation systems. Our navigation approach allows the robot to follow the crop-rows accurately and handles the switch to the next row seamlessly within the same framework. We implemented our approach using C++ and ROS and thoroughly tested it in several simulated environments with different shapes and sizes of field. We also demonstrated the system running at frame-rate on an actual robot operating on a test row-crop field. The code and data have been published.


title: On the Approximation Ratio of the $k$-Opt and Lin-Kernighan Algorithm

abstract: The $k$-Opt and Lin-Kernighan algorithm are two of the most important local search approaches for the Metric TSP. Both start with an arbitrary tour and make local improvements in each step to get a shorter tour. We show that for any fixed $k\geq 3$ the approximation ratio of the $k$-Opt algorithm for Metric TSP is $O(\sqrt[k]{n})$. Assuming the Erd\H{o}s girth conjecture, we prove a matching lower bound of $\Omega(\sqrt[k]{n})$. Unconditionally, we obtain matching bounds for $k=3,4,6$ and a lower bound of $\Omega(n^{\frac{2}{3k-3}})$. Our most general bounds depend on the values of a function from extremal graph theory and are tight up to a factor logarithmic in the number of vertices unconditionally. Moreover, all the upper bounds also apply to a parameterized version of the Lin-Kernighan algorithm with appropriate parameters. We also show that the approximation ratio of $k$-Opt for Graph TSP is $\Omega\left(\frac{\log(n)}{\log\log(n)}\right)$ and $O\left(\left(\frac{\log(n)}{\log\log(n)}\right)^{\log_2(9)+\epsilon}\right)$ for all $\epsilon>0$. For the (1,2)-TSP we give a lower bound of $\frac{11}{10}$ on the approximation ratio of the $k$-improv and $k$-Opt algorithm for arbitrary fixed $k$.


title: On-Device User Intent Prediction for Context and Sequence Aware Recommendation

abstract: The pursuit of improved accuracy in recommender systems has led to the incorporation of user context. Context-aware recommender systems typically handle large amounts of data which must be uploaded and stored on the cloud, putting the user's personal information at risk. While there have been previous studies on privacy-sensitive and context-aware recommender systems, there has not been a full-fledged system deployed in an isolated mobile environment. We propose a secure and efficient on-device mechanism to predict a user's next intention. The knowledge of the user's real-time intention can help recommender systems to provide more relevant recommendations at the right moment. Our proposed algorithm is both context and sequence aware. We embed user intentions as weighted nodes in an n-dimensional vector space where each dimension represents a specific user context factor. Through a neighborhood searching method followed by a sequence matching algorithm, we search for the most relevant node to make the prediction. An evaluation of our methodology was done on a diverse real-world dataset where it was able to address practical scenarios like behavior drifts and sequential patterns efficiently and robustly. Our system also outperformed most of the state-of-the-art methods when evaluated for a similar problem domain on standard datasets.


title: Level {\epsilon}

abstract: Lawvere has observed that certain 'gros' toposes in algebraic geometry suggest the existence of an 'infinitesimal level', closely related to finite-dimensional local algebras. Motivated by this observation we propose an elementary definition of level {\epsilon} associated to a local geometric morphism, establish some relevant basic properties suggested by geometric intuition, and give concrete descriptions of the level {\epsilon} determined by several pre-cohesive geometric morphisms.


title: Quorum-sensing active particles with discontinuous motility

abstract: We develop a dynamic mean-field theory for polar active particles that interact through a self-generated field, in particular one generated through emitting a chemical signal. While being a form of chemotactic response, it is different from conventional chemotaxis in that particles discontinuously change their motility when the local concentration surpasses a threshold. The resulting coupled equations for density and polarization are linear and can be solved analytically for simple geometries, yielding inhomogeneous density profiles. Specifically, here we consider a planar and circular interface. Our theory thus explains the observed coexistence of dense aggregates with an active gas. There are, however, differences to the more conventional picture of liquid-gas coexistence based on a free energy, most notably the absence of a critical point. We corroborate our analytical predictions by numerical simulations of active particles under confinement and interacting through volume exclusion. Excellent quantitative agreement is reached through an effective translational diffusion coefficient. We finally show that an additional response to the chemical gradient direction is sufficient to induce vortex clusters. Our results pave the way to engineer motility responses in order to achieve aggregation and collective behavior even at unfavorable conditions.


title: Device-independent certification of tensor products of quantum states using single-copy self-testing protocols

abstract: Self-testing protocols are methods to determine the presence of shared entangled states in a device independent scenario, where no assumptions on the measurements involved in the protocol are made. A particular type of self-testing protocol, called parallel self-testing, can certify the presence of copies of a state, however such protocols typically suffer from the problem of requiring a number of measurements that increases with respect to the number of copies one aims to certify. Here we propose a procedure to transform single-copy self-testing protocols into a procedure that certifies the tensor product of an arbitrary number of (not necessarily equal) quantum states, without increasing the number of parties or measurement choices. Moreover, we prove that self-testing protocols that certify a state and rank-one measurements can always be parallelized to certify many copies of the state. Our results suggest a method to achieve device-independent unbounded randomness expansion with high-dimensional quantum states.


title: Beating Greedy for Stochastic Bipartite Matching

abstract: We consider the maximum bipartite matching problem in stochastic settings, namely the query-commit and price-of-information models. In the query-commit model, an edge e independently exists with probability $p_e$. We can query whether an edge exists or not, but if it does exist, then we have to take it into our solution. In the unweighted case, one can query edges in the order given by the classical online algorithm of Karp, Vazirani, and Vazirani to get a $(1-1/e)$-approximation. In contrast, the previously best known algorithm in the weighted case is the $(1/2)$-approximation achieved by the greedy algorithm that sorts the edges according to their weights and queries in that order. Improving upon the basic greedy, we give a $(1-1/e)$-approximation algorithm in the weighted query-commit model. We use a linear program (LP) to upper bound the optimum achieved by any strategy. The proposed LP admits several structural properties that play a crucial role in the design and analysis of our algorithm. We also extend these techniques to get a $(1-1/e)$-approximation algorithm for maximum bipartite matching in the price-of-information model introduced by Singla, who also used the basic greedy algorithm to give a $(1/2)$-approximation.


title: Exploring Pose Priors for Human Pose Estimation with Joint Angle Representations

abstract: Pose Priors are critical in human pose estimation, since they are able to enforce constraints that prevent estimated poses from tending to physically impossible positions. Human pose generally consists of up to 22 Joint Angles of various segments, and their respective bone lengths, but the way these various segments interact can affect the validity of a pose. Looking at the Knee-Ankle segment alone, we can observe that clearly, the Knee cannot bend forward beyond it's roughly 90 degree point, amongst various other impossible poses below.


title: L2-Hypocoercivity and large time asymptotics of the linearized Vlasov-Poisson-Fokker-Planck system

abstract: This paper is devoted to the linearized Vlasov-Poisson-Fokker-Planck system in presence of an external potential of confinement. We investigate the large time behaviour of the solutions using hypocoercivity methods and a notion of scalar product adapted to the presence of a Poisson coupling. Our framework provides estimates which are uniform in the diffusion limit. As an application in a simple case, we study the one-dimensional case and prove the exponential convergence of the nonlinear Vlasov-Poisson-Fokker-Planck system without any small mass assumption.


title: Solving Optimal Power Flow for Distribution Networks with State Estimation Feedback

abstract: Conventional optimal power flow (OPF) solvers assume full observability of the involved system states. However, in practice, there is a lack of reliable system monitoring devices in the distribution networks. To close the gap between the theoretic algorithm design and practical implementation, this work proposes to solve the OPF problems based on the state estimation (SE) feedback for the distribution networks where only a part of the involved system states are physically measured. The SE feedback increases the observability of the under-measured system and provides more accurate system states monitoring when the measurements are noisy. We analytically investigate the convergence of the proposed algorithm. The numerical results demonstrate that the proposed approach is more robust to large pseudo measurement variability and inherent sensor noise in comparison to the other frameworks without SE feedback.


title: Improving Semantic Parsing with Neural Generator-Reranker Architecture

abstract: Semantic parsing is the problem of deriving machine interpretable meaning representations from natural language utterances. Neural models with encoder-decoder architectures have recently achieved substantial improvements over traditional methods. Although neural semantic parsers appear to have relatively high recall using large beam sizes, there is room for improvement with respect to one-best precision. In this work, we propose a generator-reranker architecture for semantic parsing. The generator produces a list of potential candidates and the reranker, which consists of a pre-processing step for the candidates followed by a novel critic network, reranks these candidates based on the similarity between each candidate and the input sentence. We show the advantages of this approach along with how it improves the parsing performance through extensive analysis. We experiment our model on three semantic parsing datasets (GEO, ATIS, and OVERNIGHT). The overall architecture achieves the state-of-the-art results in all three datasets.


title: A nonlinear model predictive control framework using reference generic terminal ingredients -- extended version

abstract: In this paper, we present a quasi infinite horizon nonlinear model predictive control (MPC) scheme for tracking of generic reference trajectories. This scheme is applicable to nonlinear systems, which are locally incrementally stabilizable. For such systems, we provide a reference generic offline procedure to compute an incrementally stabilizing feedback with a continuously parameterized quadratic quasi infinite horizon terminal cost. As a result we get a nonlinear reference tracking MPC scheme with a valid terminal cost for general reachable reference trajectories without increasing the online computational complexity. As a corollary, the terminal cost can also be used to design nonlinear MPC schemes that reliably operate under online changing conditions, including unreachable reference signals. The practicality of this approach is demonstrated with a benchmark example. This paper is an extended version of the accepted paper [1], and contains additional details regarding \textit{robust} trajectory tracking (App.~B), continuous-time dynamics (App.~C), output tracking stage costs (App.~D) and the connection to incremental system properties (App.~A).


title: Enhancement of spin mixing conductance in La$_{0.7}$Sr$_{0.3}$MnO$_{3}$/LaNiO$_{3}$/SrRuO$_{3}$ heterostructures

abstract: We investigate spin pumping and the effective spin mixing conductance in heterostructures based on magnetic oxide trilayers composed of La$_{0.7}$Sr$_{0.3}$MnO$_3$ (LSMO), LaNiO$_3$ (LNO), and SrRuO$_3$ (SRO). The heterostructures serve as a model system for an estimation of the effective spin mixing conductance at the different interfaces. Our results show that by introducing a LNO interlayer between LSMO and SRO, the total effective spin mixing conductance increases due to the much more favourable interface of LSMO/LNO with respect to the LSMO/SRO interface. Neverheless, the spin current into the SRO does not decrease because of the spin diffusion length of $\lambda_\text{LNO}\approx$3.3 nm in the LNO. This value is two times higher than that of SRO. Our results show the potential of using oxide interfaces to tune the effective spin mixing conductance in heterostructures and to bring novel functionalities into spintronics by implementing complex oxides.


title: A note on the independence number, domination number and related parameters of random binary search trees and random recursive trees

abstract: We identify the mean growth of the independence number of random binary search trees and random recursive trees and show normal fluctuations around their means. Similarly we also show normal limit laws for the domination number and variations of it for these two cases of random tree models. Our results are an application of a recent general theorem of Holmgren and Janson on fringe trees in these two random tree models.


title: A Novel Adaptive Controller for Robot Manipulators based on Active Inference

abstract: More adaptive controllers for robot manipulators are needed, which can deal with large model uncertainties. This paper presents a novel active inference controller (AIC) as an adaptive control scheme for industrial robots. This scheme is easily scalable to high degrees-of-freedom, and it maintains high performance even in the presence of large unmodeled dynamics. The proposed method is based on active inference, a promising neuroscientific theory of the brain, which describes a biologically plausible algorithm for perception and action. In this work, we formulate active inference from a control perspective, deriving a model-free control law which is less sensitive to unmodeled dynamics. The performance and the adaptive properties of the algorithm are compared to a state-of-the-art model reference adaptive controller (MRAC) in an experimental setup with a real 7-DOF robot arm. The results showed that the AIC outperformed the MRAC in terms of adaptability, providing a more general control law. This confirmed the relevance of active inference for robot control.


title: Glass engineering to enhance Si solar cells: a case study of Pr$^{3+}$-Yb$^{3+}$ codoped tellurite-tungstate as spectral converter

abstract: Spectral converters are known to increase photovoltaic energy conversion by minimizing losses due to fundamental non-absorption and thermalization processes, and have been suggested to surpass the Shockley-Queisser efficiency limit in single junction solar cells. Here we present a detailed spectroscopic study of photoluminescence in tellurite-tungstate glasses doped and codoped with $Pr^{3+}-Yb^{3+}$ and $Ag$ nanoparticles. The energy transfer mechanisms between $Pr^{3+}$ and $Yb^{3+}$ are discussed based on the near infrared emission under excitation at $442$ nm and on the upconversion emission under excitation at $980$ nm. Fluorescence quenching of $^2 F_{5/2}$ level of $Yb^{3+}$ is observed by increasing the concentration of $Pr^{3+}$, as well as by the addition of $Ag$ nanoparticles. In addition, a discussion on the potential of this glass to increase energy production in spectral converters is presented. The results suggest that the few undesirable energy transfer processes occurring in this material are difficult to be controlled or eliminated properly, resulting in intrinsic losses. This discussion is extended to the potential of glass science to enhance energy production in solar cells, showing that newer designs such as bifacial cells may facilitate the exploration of glasses other than soda-lime for mass production of solar cells. The focus on extending the lifespan by reducing UV induced degradation seems to be a more effective approach than the development of spectral converters for Si solar cells.


title: $D$-wave effects in diffractive electroproduction of heavy quarkonia from the photon-like $V\rightarrow Q\bar Q$ transition

abstract: We analyze the validity of a commonly used identification between structures of the virtual photon $\gamma^*\to Q\bar Q$ and vector meson $V\to Q\bar Q$ transitions. In the existing studies of $S$-wave vector-meson photoproduction in the literature, such an identification is typically performed in the light-front (LF) frame while the radial component of the meson wave function is rather postulated than computed from the first principles. The massive photon-like $V\to Q\bar Q$ vertex, besides the $S$-wave component, also contains an extra $D$-wave admixture in the $Q\bar Q$ rest frame. However, the relative weight of these contributions cannot be justified by any reasonable nonrelativistic $Q\bar Q$ potential model. In this work, we investigate the relative role of the $D$-wave contribution starting from the photon-like quarkonium $V\to Q\bar Q$ transition in both frames: in the $Q\bar Q$ rest frame (with subsequent Melosh spin transform to the LF frame) and in the LF frame (without Melosh transform). We show that the photon-like transition imposed in the $Q\bar Q$ rest frame leads to significant discrepancies with the experimental data. In the second case we find that the corresponding total $J/\psi(1S)$ photoproduction cross sections are very close to those obtained with the "$S$-wave only" $V\to Q\bar Q$ transition, both leading to a good description of the data. However, we find that the "$S$-wave only" transition leads to a better description of photoproduction data for excited heavy quarkonium states, which represent a more effective tool for study of $D$-wave effects. Consequently, the predictions for production of excited states based on the photon-like structure of $V\to Q\bar Q$ transition should be treated with a great care due to a much stronger sensitivity of the $D$-wave contribution to the nodal structure of quarkonium wave functions.


title: Baryon modes in string breaking from gauge/string duality

abstract: We consider the string breaking phenomenon within effective string models which purport to mimic QCD with two light flavors, with a special attention to baryon modes. We make some estimates of the string breaking distances at zero and non-zero baryon chemical potentials. Our estimates point towards the enhancement of baryon production in strong decays of heavy mesons in dense baryonic matter. We also suggest that the enhanced production of $\Lambda_c^+$ baryons in PbPb collisions is mainly due to larger values of chemical potential.


title: Top polarisation as a probe of CP-mixing top-Higgs coupling in $tjh$ signals

abstract: In this letter we explore beyond the Standard Model top-Higgs Yukawa couplings as a function of a CP-mixing parameter $\xi_t$ at the 14 TeV HL-LHC in the process $pp\to thj$. We observe that angular variables of the decay products of the top are non-trivially sensitive to $\xi_t$. This fact is exploited in a full detector level analysis that employs machine learning techniques to optimize signal sensitivity on a suite of variables, including lepton azimuthal angle. The key result of this study is an improved projected exclusion limit on $\xi_t$ even when including the realistic effects of detector smearing and a conservative estimate of systematic error.


title: Stochastic Effects in Anisotropic Inflation

abstract: We revisit the stochastic effects in the model of anisotropic inflation containing a $U(1)$ gauge field. We obtain the Langevin equations for the inflaton and gauge fields perturbations and solve them analytically. We show that if the initial value of the electric field is larger than its classical attractor value, then the random stochastic forces associated with the gauge field is balanced by the frictional damping (classical) force and the electric field falls into an equilibrium (stationary) regime. As a result, the classical attractor value of the electric field is replaced by its stationary value. We show that the probability of generating quadrupolar statistical anisotropy consistent with CMB constraints can be significant.


title: Magnetic Field tuning of low energy spin dynamics in the single-atomic magnet Li$_2$(Li$_{1-x}$Fe$_x$)N

abstract: We present a systematic 57Fe-Moessbauer study on highly diluted Fe centers in Li2(Li1-xFex)N single-crystals as a function of temperature and magnetic field applied transverse and longitudinal with respect to the single-ion anisotropy axis. Below 30 K the Fe centers exhibit a giant magnetic hyperfine field of E_A = 70.25(2)T parallel to the axis of strongest electric field gradient Vzz = -154.0(1) V/A2. Fluctuations of the magnetic hyperfine field are observed between 50K and 300K and described by the Blume two-level relaxation model. From the temperature dependence of the uctuation rate an Orbach spin-lattice relaxation process is deduced. An Arrhenius analysis yields a single thermal activation barrier of E_A = 570(6)K and an attempt frequency nu_0 = 309(10) GHz. Moessbauer spectroscopy studies with applied transverse magnetic fields up to 5T reveal a large increase of the uctuation rate by more than one order of magnitude. In longitudinal magnetic fields a splitting of the uctuation rate into two branches is observed consistent with a Zeeman induced modifcation of the energy levels. The experimental observations are qualitatively reproduced by a single-ion effective spin Hamiltonian analysis assuming a Fe1+ d7 charge state with unquenched orbital moment and a J = 7=2 ground state. It is demonstrated that a weak axial single-ion anisotropy D of the order of a few Kelvin can cause a two orders of magnitude larger energy barrier for longitudinal spin fluctuations.


title: Revealing Stable and Unstable Modes of Generic Denoisers through Nonlinear Eigenvalue Analysis

abstract: In this paper, we propose to analyze stable and unstable modes of generic image denoisers through nonlinear eigenvalue analysis. We attempt to find input images for which the output of a black-box denoiser is proportional to the input. We treat this as a nonlinear eigenvalue problem. This has potentially wide implications, since most image processing algorithms can be viewed as generic nonlinear operators. We introduce a generalized nonlinear power-method to solve eigenproblems for such black-box operators. Using this method we reveal stable modes of nonlinear denoisers. These modes are optimal inputs for the denoiser, achieving superior PSNR in noise removal. Analogously to the linear case (low-pass-filter), such stable modes are eigenfunctions corresponding to large eigenvalues, characterized by large piece-wise-smooth structures. We also provide a method to generate the complementary, most unstable modes, which the denoiser suppresses strongly. These modes are textures with small eigenvalues. We validate the method using total-variation (TV) and demonstrate it on the EPLL denoiser (Zoran-Weiss). Finally, we suggest an encryption-decryption application.


title: Stephen Hawking and the quantum black holes / Stephen Hawking y los agujeros negros cuanticos

abstract: Until 1974, the study of black holes was under the hegemony of Einstein's general relativity. However, that same year, Stephen Hawking incorporated quantum theory and discovered that black holes have temperature, entropy, and evaporate. These three great discoveries marked the birth of what we can now call quantum black holes, as opposed to classic black holes, whose description is based only on general relativity. The present work seeks to provide an introduction to the three great discoveries of Hawking, accessible to undergraduate students of science and engineering.


title: Dynamic Interference Management for UAV-Assisted Wireless Networks

abstract: The deployment of unmanned aerial vehicles (UAVs) is proliferating as they are effective, flexible and cost-efficient devices for a variety of applications ranging from natural disaster recovery to delivery of goods. We investigate a transmission mechanism aiming to improve the data rate between a base station (BS) and a user equipment through deploying multiple relaying UAVs. We consider the effect of interference, which is incurred by the nodes of another established communication network. Our primary goal is to design the 3D trajectories and power allocation for the UAVs to maximize the data flow while the interference constraint is met. The UAVs can reconfigure their locations to evade the unintended/intended interference caused by reckless/smart interferers. We also consider the scenario in which smart jammers chase the UAVs to degrade the communication quality. In this case, we investigate the problem from the perspective of both UAV network and smart jammers. An alternating-maximization approach is proposed to address the joint 3D trajectory design and power allocation problem. We handle the 3D trajectory design by resorting to spectral graph theory and subsequently address the power allocation through convex optimization techniques. Finally, we demonstrate the efficacy of our proposed method through simulations.


title: Global Sparse Momentum SGD for Pruning Very Deep Neural Networks

abstract: Deep Neural Network (DNN) is powerful but computationally expensive and memory intensive, thus impeding its practical usage on resource-constrained front-end devices. DNN pruning is an approach for deep model compression, which aims at eliminating some parameters with tolerable performance degradation. In this paper, we propose a novel momentum-SGD-based optimization method to reduce the network complexity by on-the-fly pruning. Concretely, given a global compression ratio, we categorize all the parameters into two parts at each training iteration which are updated using different rules. In this way, we gradually zero out the redundant parameters, as we update them using only the ordinary weight decay but no gradients derived from the objective function. As a departure from prior methods that require heavy human works to tune the layer-wise sparsity ratios, prune by solving complicated non-differentiable problems or finetune the model after pruning, our method is characterized by 1) global compression that automatically finds the appropriate per-layer sparsity ratios; 2) end-to-end training; 3) no need for a time-consuming re-training process after pruning; and 4) superior capability to find better winning tickets which have won the initialization lottery.


title: Plasma Profiling Time-of-Flight Mass Spectrometry for Fast Elemental Analysis of Semiconductor Structures with Depth Resolution in the Nanometer Range

abstract: Plasma profiling time of flight mass spectrometry (PP-TOFMS) has recently gained interest, as it enables the elemental profiling of semiconductor structures with high depth resolution in short acquisition times. As recently shown by Tempez et al., PP-TOFMS can be used to obtain the composition in the structures for modern field effect transistors [1]. There, the results were compared to conventional SIMS measurements. In the present study, we compare PP-TOFMS measurements of an Al-/In-/GaN quantum well multi stack to established micro- and nano-analysis techniques like cathodoluminescence (CL), scanning transmission electron microscopy (STEM), energy dispersive X-ray spectroscopy (EDX) and X-ray diffraction (XRD). We show that PP-TOFMS is able to resolve the layer structure of the sample even more than 500 nm deep into the sample and allows the determination of a relative elemental composition with an accuracy of about 10 rel. %. Therefore, it is an extremely rapid alternative method to obtain semiconductor elemental depth profiles without expensive and time consuming sample preparation as it is needed for TEM. Besides, PP-TOFMS offers better depth resolution and more elemental information than for example electrochemical capacitance-voltage (ECV), as the acquisition of all elements occurs in parallel and not only electrically (ECV) or optically (CL) active elements are observed.


title: Learning to Have an Ear for Face Super-Resolution

abstract: We propose a novel method to use both audio and a low-resolution image to perform extreme face super-resolution (a 16x increase of the input size). When the resolution of the input image is very low (e.g., 8x8 pixels), the loss of information is so dire that important details of the original identity have been lost and audio can aid the recovery of a plausible high-resolution image. In fact, audio carries information about facial attributes, such as gender and age. To combine the aural and visual modalities, we propose a method to first build the latent representations of a face from the lone audio track and then from the lone low-resolution image. We then train a network to fuse these two representations. We show experimentally that audio can assist in recovering attributes such as the gender, the age and the identity, and thus improve the correctness of the high-resolution image reconstruction process. Our procedure does not make use of human annotation and thus can be easily trained with existing video datasets. Moreover, we show that our model builds a factorized representation of images and audio as it allows one to mix low-resolution images and audio from different videos and to generate realistic faces with semantically meaningful combinations.


title: Simulation of fusion and quasi-fission in nuclear reactions leading to production of superheavy elements using the Constrained Molecular Dynamics model

abstract: Fusion dynamics and the onset of quasi-fission in reactions, leading to production of superheavy nuclei are investigated using the constrained molecular dynamics model. Constraints on the parameters of the nuclear equation of state are derived from experimental fusion probabilities. The obtained constraint on the modulus of incompressibility of nuclear matter K0 = 240 - 260 MeV is consistent with the results of previous study using the Boltzmann-Uehling-Uhlenbeck equation and also with constraints derived using the recent neutron star binary collision event GW170817. Unlike the modulus of incompressibility of symmetric nuclear matter, the stiffness of the density-dependence of symmetry energy influences the fusion probability only weakly.


title: A Novel Data-driven Algorithm for the Automated Detection of Unexpectedly High Traffic Flow in Uncongested Traffic States

abstract: We present an algorithm to identify days that exhibit the seemingly paradoxical behaviour of high traffic flow and, simultaneously, a striking absence of traffic jams. We introduce the notion of high-performance days to refer to these days. The developed algorithm consists of three steps: step 1, based on the fundamental diagram (i.e. an empirical relation between the traffic flow and traffic density), we estimate the critical speed by using robust regression as a tool for labelling congested and uncongested data points; step 2, based on this labelling of the data, the breakdown probability can be estimated (i.e. the probability that the average speed drops below the critical speed); step 3, we identify unperturbed moments (i.e. moments when a breakdown is expected, but does not occur) and subsequently identify the high-performance days based on the number of unperturbed moments. Identifying high-performance days could be a building block in the quest for traffic jam reduction; using more detailed data one might be able to identify specific characteristics of high-performance days. The algorithm is applied to a case study featuring the highly congested A15 motorway in the Netherlands.


title: Burnside Rings of Fusions Systems and their Unit Groups

abstract: For a saturated fusion system $\mathcal F$ on a $p$-group $S$, we study the Burnside ring of the fusion system $B(\mathcal F)$, as defined by Matthew Gelvin and Sune Reeh, which is a subring of the Burnside ring $B(S)$. We give criteria for an element of $B(S)$ to be in $B(\mathcal F)$ determined by the $\mathcal F$-automorphism groups of essential subgroups of $S$. When $\mathcal F$ is the fusion system induced by a finite group $G$ with $S$ as a Sylow $p$-group, we show that the restriction of $B(G)$ to $B(S)$ has image equal to $B(\mathcal F)$. We also show that for $p=2,$ we can gain information about the fusion system by studying the unit group $B(\mathcal F)^\times.$ When $S$ is abelian, we completely determine this unit group.


title: The Ion and Charged Aerosol Growth Enhancement (ION-CAGE) code: A numerical model for the growth of charged and neutral aerosols

abstract: The presence of small ions influences the growth dynamics of a size distribution of aerosols. Specifically the often neglected mass of small ions influences the aerosol growth rate, which may be important for terrestrial cloud formation. To this end, we develop a numerical model to calculate the growth of a species of aerosols in the presence of charge, which explicitly includes terms for ion-condensation. It is shown that a positive contribution to aerosol growth rate is obtained by increasing the ion-pair concentration through this effect, consistent with recent experimental findings. The ion-condensation effect is then compared to aerosol growth from charged aerosol coagulation, which is seen to be independent of ion-pair concentration. The model source code is made available through a public repository.


title: Imaging Polarimetry of the 2017 Solar Eclipse with the RIT Polarization Imaging Camera

abstract: In the last decade, imaging polarimeters based on micropolarizer arrays have been developed for use in terrestrial remote sensing and metrology applications. Micropolarizer-based sensors are dramatically smaller and more mechanically robust than other polarimeters with similar spectral response and snapshot capability. To determine the suitability of these new polarimeters for astronomical applications, we developed the RIT Polarization Imaging Camera to investigate the performance of these devices, with a special attention to the low signal-to-noise regime. We characterized the device performance in the lab, by determining the relative throughput, efficiency, and orientation of every pixel, as a function of wavelength. Using the resulting pixel response model, we developed demodulation procedures for aperture photometry and imaging polarimetry observing modes. We found that, using the current calibration, RITPIC is capable of detecting polarization signals as small as <0.3%. To demonstrate the stability of RITPIC's calibration and its extreme portability, we performed imaging polarimetry of the Solar corona in Madras, Oregon during the total Solar eclipse of 2017. The maximum polarization we measured was ~46%, which agrees well with the maximum value predicted for a Thomson scattering corona. Similarly, we found no strong deviations in the angle of linear polarization from the tangential direction. The relative ease of data collection, calibration, and analysis provided by these sensors suggest than they may become an important tool for a number of astronomical targets.


title: Inconsistency of the conventional theory of superconductivity

abstract: In a process where the temperature of a type I superconductor in a magnetic field changes, the conventional theory of superconductivity predicts that Joule heat is generated and that the final state is independent of the speed of the process. I show that these two predictions cannot be simultaneously reconciled with the laws of thermodynamics. I propose a resolution of this paradox.


title: Edwards' condition for quasitraces on C*-algebras

abstract: We prove that Cuntz semigroups of C*-algebras satisfy Edwards' condition with respect to every quasitrace. This condition is a key ingredient in the study of the realization problem of functions on the cone of quasitraces as ranks of positive elements. In the course of our investigation, we identify additional structure of the Cuntz semigroup of an arbitrary C*-algebra and of the cone of quasitraces.


title: Comment on "Gapless spin liquid ground state of the spin-$\frac{1}{2}$ $J_1$-$J_2$ Heisenberg model on square lattices"

abstract: Liu et al. [Phys.Rev.B 98, 241109 (2018)] used Monte Carlo sampling of the physical degrees of freedom of a Projected Entangled Pair State (PEPS) type wave function for the $S=1/2$ frustrated $J_1$-$J_2$ Heisenberg model on the square lattice and found a non-magnetic state argued to be a gapless spin liquid when the coupling ratio $g=J_2/J_1$ is in the range $g \in [0.42,0.6]$. Here we show that their definition of the order parameter for another candidate ground state within this coupling window---a spontaneously dimerized state---is problematic. The order parameter as defined will not detect dimer order when lattice symmeties are broken due to open boundaries or asymmetries originating from the calculation itself. Thus, a dimerized phase for some range of $g$ cannot be excluded (and is likely based on several other recent works).


title: Stock Market Forecasting Based on Text Mining Technology: A Support Vector Machine Method

abstract: News items have a significant impact on stock markets but the ways are obscure. Many previous works have aimed at finding accurate stock market forecasting models. In this paper, we use text mining and sentiment analysis on Chinese online financial news, to predict Chinese stock tendency and stock prices based on support vector machine (SVM). Firstly, we collect 2,302,692 news items, which date from 1/1/2008 to 1/1/2015. Secondly, based on this dataset, a specific domain stop-word dictionary and a precise sentiment dictionary are formed. Thirdly, we propose a forecasting model using SVM. On the algorithm of SVM implementation, we also propose two-parameter optimization algorithms to search for the best initial parameter setting. The result shows that parameter G has the main effect, while parameter C's effect is not obvious. Furthermore, support vector regression (SVR) models for different Chinese stocks are similar whereas in support vector classification (SVC) models best parameters are quite differential. Series of contrast experiments show that: a) News has significant influence on stock market; b) Expansion input vector for additional situations when that day has no news data is better than normal input in SVR, yet is worse in SVC; c) SVR shows a fantastic degree of fitting in predicting stock fluctuation while such result has some time lag; d) News effect time lag for stock market is less than two days; e) In SVC, historic stock data has a most efficient time lag which is about 10 days, whereas in SVR this effect is not obvious. Besides, based on the special structure of the input vector, we also design a method to calculate the financial source impact factor. Result suggests that the news quality and audience number both have a significant effect on the source impact factor. Besides, for Chinese investors, traditional media has more influence than digital media.


title: Hamiltonian Graph Networks with ODE Integrators

abstract: We introduce an approach for imposing physically informed inductive biases in learned simulation models. We combine graph networks with a differentiable ordinary differential equation integrator as a mechanism for predicting future states, and a Hamiltonian as an internal representation. We find that our approach outperforms baselines without these biases in terms of predictive accuracy, energy accuracy, and zero-shot generalization to time-step sizes and integrator orders not experienced during training. This advances the state-of-the-art of learned simulation, and in principle is applicable beyond physical domains.


title: H-Kernels by Walks

abstract: We prove that, if every cycle of $D$ is an $H$-cycle, then $D$ has an $H$-kernel by walks.


title: Maximal Relevance and Optimal Learning Machines

abstract: We show that the mutual information between the representation of a learning machine and the hidden features that it extracts from data is bounded from below by the relevance, which is the entropy of the model's energy distribution. Models with maximal relevance -- that we call Optimal Learning Machines (OLM) -- are hence expected to extract maximally informative representations. We explore this principle in a range of models. For fully connected Ising models and we show that {\em i)} OLM are characterised by inhomogeneous distributions of couplings, and that {\em ii)} their learning performance is affected by sub-extensive features that are elusive to a thermodynamic treatment. On specific learning tasks, we find that likelihood maximisation is achieved by models with maximal relevance. Training of Restricted Boltzmann Machines on the MNIST benchmark shows that learning is associated with a broadening of the spectrum of energy levels and that the internal representation of the hidden layer approaches the maximal relevance that can be achieved in a finite dataset. Finally, we discuss a Gaussian learning machine that clarifies that learning hidden features is conceptually different from parameter estimation.

categories: physics.data-an cond-mat.stat-mech cs.IT cs.LG math.IT


title: Quiver Theories and Hilbert Series of Classical Slodowy Intersections

abstract: We build on previous studies of the Higgs and Coulomb branches of SUSY quiver theories having 8 supercharges, including $3d~{\cal N}=4$, and Classical gauge groups. The vacuum moduli spaces of many such theories can be parameterised by pairs of nilpotent orbits of Classical Lie algebras; they are transverse to one orbit and intersect the closure of the second. We refer to these transverse spaces as Slodowy intersections. They embrace reduced single instanton moduli spaces, nilpotent orbits, Kraft-Procesi transitions and Slodowy slices, as well as other types. We show how quiver subtractions, between multi-flavoured unitary or ortho-symplectic quivers, can be used to find a complete set of Higgs branch constructions for the Slodowy intersections of any Classical group. We discuss the relationships between the Higgs and Coulomb branches of these quivers and $T_{\sigma}^{\rho}$ theories in the context of $3d$ mirror symmetry, including problematic aspects of Coulomb branch constructions from ortho-symplectic quivers. We review Coulomb and Higgs branch constructions for a subset of Slodowy intersections from multi-flavoured Dynkin diagram quivers. We tabulate Hilbert series and Highest Weight Generating functions for Slodowy intersections of Classical algebras up to rank 4. The results are confirmed by direct calculation of Hilbert series from a localisation formula for normal Slodowy intersections that is related to the Hall Littlewood polynomials.


title: Experimental study of concrete activation compared to MCNP simulations for safety of neutron sources

abstract: The neutron activation of shielding materials and the generated decay gamma radiation are well-known issues in terms of occupational exposure. Though the trace elements of shielding concretes can be dominant sources of the produced activity in such cases, their concentrations are often missing from the input data of shielding-related Monte Carlo simulations. For this reason, three concrete types were studied, that were considered in the European Spallation Source (ESS) ERIC. Their composition - including the trace elements - were determined via XRF, PGAA and NAA techniques. Realistic input data were developed for these materials, containing the parent elements of all the dominant radioisotopes, and were validated against measured data of neutron irradiation experiments.


title: Automatically Tracing Imprecision Causes in JavaScript Static Analysis

abstract: Researchers have developed various techniques for static analysis of JavaScript to improve analysis precision. To develop such techniques, they first identify causes of the precision losses for unproven properties. While most of the existing work has diagnosed main causes of imprecision in static analysis by manual investigation, manually tracing the imprecision causes is challenging because it requires detailed knowledge of analyzer internals. Recently, several studies proposed to localize the analysis imprecision causes automatically, but these localization techniques work for only specific analysis techniques. In this paper, we present an automatic technique that can trace analysis imprecision causes of JavaScript applications starting from user-selected variables. Given a set of program variables, our technique stops an analysis when any of the variables gets imprecise analysis values. It then traces the imprecise analysis values using intermediate analysis results back to program points where the imprecision first started. Our technique shows the trace information with a new representation called tracing graphs, whose nodes and edges together represent traces from imprecise points to precise points. In order to detect major causes of analysis imprecision automatically, we present four node/edge patterns in tracing graphs for common imprecision causes. We formalized the technique of generating tracing graphs and identifying patterns, and implemented them on SAFE, a state-of-the-art JavaScript static analyzer with various analysis configurations, such as context-sensitivity, loop-sensitivity, and heap cloning. Our evaluation demonstrates that the technique can easily find 96 % of the major causes of the imprecision problems in 17 applications by only automatic detection in tracing graphs using the patterns, and selectively adopting various advanced techniques can eliminate the found causes of imprecision.


title: Dense two-color QCD from Dyson-Schwinger equations

abstract: We investigate quantum chromodynamics with two colors at nonvanishing density using Dyson-Schwinger equations. Lattice methods do not have a complex action problem in this theory. Thus, we can benchmark our results and the effect of truncations directly by comparing with the corresponding lattice results. We do so for the gluon propagator, the chiral condensate, and the quark number density and test variations of the employed truncation to improve the agreement. Finally, we compare the effect of a truncation on the chiral and confinement/deconfinement transitions in the phase diagrams of QCD and QCD with the gauge groups $SU(2)$ and $G_2$.


title: Future prospects

abstract: This chapter addresses limitations to current 21-cm signal detection instruments, being related to the instrument, environment, signal processing or science, and what lies beyond the current horizon for 21-cm science, especially in the 2030s and beyond. We address how to overcome current challenges and drive the field forward, not only approaching a detection of the 21-cm signal but to a full characterisation of its parameterspace, in particular, probing an increasingly larger volume of k-modes (spatially and in redshifts). We also will shortly touch upon the kinds of questions that could drive such future endeavours.


title: Quantitative analysis of Matthew effect and sparsity problem of recommender systems

abstract: Recommender systems have received great commercial success. Recommendation has been used widely in areas such as e-commerce, online music FM, online news portal, etc. However, several problems related to input data structure pose serious challenge to recommender system performance. Two of these problems are Matthew effect and sparsity problem. Matthew effect heavily skews recommender system output towards popular items. Data sparsity problem directly affects the coverage of recommendation result. Collaborative filtering is a simple benchmark ubiquitously adopted in the industry as the baseline for recommender system design. Understanding the underlying mechanism of collaborative filtering is crucial for further optimization. In this paper, we do a thorough quantitative analysis on Matthew effect and sparsity problem in the particular context setting of collaborative filtering. We compare the underlying mechanism of user-based and item-based collaborative filtering and give insight to industrial recommender system builders.