title: Neural Variational Inference For Estimating Uncertainty in Knowledge Graph Embeddings

abstract: Recent advances in Neural Variational Inference allowed for a renaissance in latent variable models in a variety of domains involving high-dimensional data. While traditional variational methods derive an analytical approximation for the intractable distribution over the latent variables, here we construct an inference network conditioned on the symbolic representation of entities and relation types in the Knowledge Graph, to provide the variational distributions. The new framework results in a highly-scalable method. Under a Bernoulli sampling framework, we provide an alternative justification for commonly used techniques in large-scale stochastic variational inference, which drastically reduce training time at a cost of an additional approximation to the variational lower bound. We introduce two models from this highly scalable probabilistic framework, namely the Latent Information and Latent Fact models, for reasoning over knowledge graph-based representations. Our Latent Information and Latent Fact models improve upon baseline performance under certain conditions. We use the learnt embedding variance to estimate predictive uncertainty during link prediction, and discuss the quality of these learnt uncertainty estimates. Our source code and datasets are publicly available online at https://github.com/alexanderimanicowenrivers/Neural-Variational-Knowledge-Graphs.


title: Spectral decomposition and extremes of atmospheric meridional energy transport in Northern Hemisphere midlatitudes

abstract: The atmospheric meridional energy transport in the Northern Hemisphere midlatitudes is mainly accomplished by planetary and synoptic waves. A decomposition into wave components highlights the strong seasonal dependence of the transport, with both the total transport and the contributions from planetary and synoptic waves peaking in winter. In both winter and summer months, poleward transport extremes primarily result from a constructive interference between planetary and synoptic motions. The contribution of the mean meridional circulation is close to climatology. Equatorward transport extremes feature a mean meridional equatorward transport in winter, while the planetary and synoptic modes mostly transport energy poleward. In summer, a systematic destructive interference occurs, with planetary modes mostly transporting energy equatorward and synoptic modes again poleward. This underscores that baroclinic conversion dominates regardless of season in the synoptic wave modes, whereas the planetary waves can be either free or forced, depending on the season.


title: Indoor image representation by high-level semantic features

abstract: Indoor image features extraction is a fundamental problem in multiple fields such as image processing, pattern recognition, robotics and so on. Nevertheless, most of the existing feature extraction methods, which extract features based on pixels, color, shape/object parts or objects on images, suffer from limited capabilities in describing semantic information (e.g., object association). These techniques, therefore, involve undesired classification performance. To tackle this issue, we propose the notion of high-level semantic features and design four steps to extract them. Specifically, we first construct the objects pattern dictionary through extracting raw objects in the images, and then retrieve and extract semantic objects from the objects pattern dictionary. We finally extract our high-level semantic features based on the calculated probability and delta parameter. Experiments on three publicly available datasets (MIT-67, Scene15 and NYU V1) show that our feature extraction approach outperforms state-of-the-art feature extraction methods for indoor image classification, given a lower dimension of our features than those methods.


title: Voltage-induced high-speed DW motion in a synthetic antiferromagnet

abstract: Voltage-induced motion of a magnetic domain wall (DW) has potential in developing novel devices with ultralow dissipation. However, the speed for the voltage-induced DW motion (VIDWM) in a single ferromagnetic layer is usually very low. In this work, we proposed VIDWM with high speed in a synthetic antiferromaget (SAF). The velocity for the coupled DWs in the SAF is significantly higher than its counterpart in a single ferromagnetic layer. Strong interlayer antiferromagnetic exchange coupling plays a critical role for the high DW velocity since it inhibits the tilting of DW plane with strong Dzyaloshinskii-Moriya interaction. On the other hand, the Walker breakdown of DW motion is also inhibited due to the stabilization of moment orientation under a strong interlayer antiferromagnetic coupling. In theory, the voltage-induced gradient of magnetic anisotropy is proved to be equal to an effective magnetic field that drives DW.


title: A scalar field inducing a non-metrical contribution to gravitational acceleration and a compatible add-on to light deflection

abstract: A scalar field model for explaining the anomalous acceleration and light deflection at galactic and cluster scales, without further dark matter, is presented. It is formulated in a scale covariant scalar tensor theory of gravity in the framework of integrable Weyl geometry and presupposes two different phases for the scalar field, like the superfluid approach of Berezhiani/Khoury. In low acceleration regimes of static gravitational fields (in the Einstein frame) with accordingly low values of the scalar field gradient, the scalar field Lagrangian combines a cubic kinetic term similar to the ``a-quadratic'' Lagrangian used in the first covariant generalization of MOND (RAQUAL) (Bekenstein/Milgrom:1984) and a second order derivative term introduced by Novello et al. in the context of a Weyl geometric approach to cosmology (Novello/Oliveira_et al:1993, Oliveira/Salim/Sautu:1997). In varying with regard to $\phi$ the latter is variationally equivalent to a first order expression. The scalar field equation thus remains of order two. In the Einstein frame it assumes the form of a covariant generalization of the Milgrom equation known from the classical MOND approach. It implies a corresponding ``non-metrical'' contribution to the acceleration of free fall trajectories. The second order derivative term of the Lagrangian leads to a non-negligible contribution to the energy momentum tensor and an {\em add-on to the light deflection potential} in beautiful agreement with the dynamics of low velocity trajectories. -- In higher sectional curvature regions, respectively for higher accelerations in static fields, the scalar field Lagrangian consists of a Jordan-Brans-Dicke term with sufficiently high value of the JBD-constant to satisfy empirical constraints. Here the dynamics agrees effectively with the one of Einstein gravity.


title: Strong Chaos of Fast Scrambling Yields Order: Emergence of Decoupled Quantum Information Capsules

abstract: The information loss problem in black hole evaporation is one of fundamental issues. Its resolution requires more profound understanding of information storage mechanism in quantum systems. In this Letter, we argue that when multiple unknown parameters are stored in large entangled qudits, strong chaos generated by fast scrambling in high temperature limit yields an ordered information storage structure with decoupled quantum information capsules (QICs). A rotational isometry emerges in the quantum Fisher information metric. The isometry is expected to be observed in future experiments on cold atoms in a pure entangled state. We provide a QIC speculation of black hole evaporation.

categories: quant-ph cond-mat.stat-mech gr-qc hep-th


title: Incremental Learning from Scratch for Task-Oriented Dialogue Systems

abstract: Clarifying user needs is essential for existing task-oriented dialogue systems. However, in real-world applications, developers can never guarantee that all possible user demands are taken into account in the design phase. Consequently, existing systems will break down when encountering unconsidered user needs. To address this problem, we propose a novel incremental learning framework to design task-oriented dialogue systems, or for short Incremental Dialogue System (IDS), without pre-defining the exhaustive list of user needs. Specifically, we introduce an uncertainty estimation module to evaluate the confidence of giving correct responses. If there is high confidence, IDS will provide responses to users. Otherwise, humans will be involved in the dialogue process, and IDS can learn from human intervention through an online learning module. To evaluate our method, we propose a new dataset which simulates unanticipated user needs in the deployment stage. Experiments show that IDS is robust to unconsidered user actions, and can update itself online by smartly selecting only the most effective training data, and hence attains better performance with less annotation cost.


title: Structure learning of Bayesian networks involving cyclic structures

abstract: Many biological networks include cyclic structures. In such cases, Bayesian networks (BNs), which must be acyclic, are not sound models for structure learning. Dynamic BNs can be used but require relatively large time series data. We discuss an alternative model that embeds cyclic structures within acyclic BNs, allowing us to still use the factorization property and informative priors on network structure. We present an implementation in the linear Gaussian case, where cyclic structures are treated as multivariate nodes. We use a Markov Chain Monte Carlo algorithm for inference, allowing us to work with posterior distribution on the space of graphs.


title: Frequency-Division Multiplexing in Magnonic Logic Networks Based on Caustic-Like Spin-Wave Beams

abstract: Wave-based data processing by spin waves and their quanta, magnons, is a promising technique to overcome the challenges which CMOS-based logic networks are facing nowadays. The advantage of these quasi-particles lies in their potential for the realization of energy efficient devices on the micro- to nanometer scale due to their charge-less propagation in magnetic materials. In this paper, the frequency dependence of the propagation direction of caustic-like spin-wave beams in microstructured ferromagnets is studied by micromagnetic simulations. Based on the observed alteration of the propagation angle, an approach to spatially combine and separate spin-wave signals of different frequencies is demonstrated. The presented magnetic structure constitutes a prototype design of a passive circuit enabling frequency-division multiplexing in magnonic logic networks. It is verified that spin-wave signals of different frequencies can be transmitted through the device simultaneously without any interaction or creation of spurious signals. Due to the wave-based approach of computing in magnonic networks, the technique of frequency-division multiplexing can be the basis for parallel data processing in single magnonic devices, enabling the multiplication of the data throughput.


title: Energy Efficient Massive MIMO Array Configurations

abstract: The high spectral efficiency of massive MIMO (Multiple Input Multiple Output) is mainly achieved through the exploitation of spatial multiplexing, i.e. by using a high number of MIMO layers that are applied simultaneously to many users. The power consumption of a massive MIMO base station is determined by the hardware driving a high number of antenna ports and elements. This paper focuses on practical deployment situations with varying user load. During hours with low number of users a certain significant part of hardware power consumption would remain with conventional massive MIMO processing, while the full potential of spectral efficiency cannot be exploited due to the low number of users, resulting in low power efficiency and cost. We investigate the impact of different hybrid array architectures on spectral efficiency, average user throughput and power consumption and show how to design a massive MIMO system with significantly improved energy efficiency for a given target scenario, while maintaining a targeted service quality.


title: Quantum memory assisted precision rotation sensing

abstract: We propose to implement a solid-state rotation sensor by employing a many-body quantum spin system which takes the advantages of the easy controllability of the electron spin and the robustness provided by the collective nuclear spin state. The sensor consists of a central electron spin coupled to many surrounding nuclear spins. Previously, this central spin system has been suggested to realize a quantum memory. Here, we further utilize the collective nuclear spins, which store a certain quantum state, to detect the macroscopic rotation. Different from other nuclear spin-based gyroscopes, our proposal does not directly manipulate nuclear spins via nuclear magnetic resonance technique. We analytically and numerically investigate the effects of partial nuclear polarization and decoherence on the sensitivity. We also briefly introduce the procedure to generate entanglement between nuclear spins through the quantum memory technique and to utilize this entanglement to enhance the sensing performance. Our proposal paves the way to the experimental realization of a compact solid-state, full-electrical and spin-based gyroscope.


title: Constraints on the emission region of 3C 279 during strong flares in 2014 and 2015 through VHE gamma-ray observations with H.E.S.S

abstract: The flat spectrum radio quasar 3C 279 is known to exhibit pronounced variability in the high-energy ($100\,$MeV$<E<100\,$GeV) $\gamma$-ray band, which is continuously monitored with Fermi-LAT. During two periods of high activity in April 2014 and June 2015 Target-of-Opportunity observations were undertaken with H.E.S.S. in the very-high-energy (VHE, $E>100\,$GeV) $\gamma$-ray domain. While the observation in 2014 provides an upper limit, the observation in 2015 results in a signal with $8.7\,\sigma$ significance above an energy threshold of $66\,$GeV. No VHE variability has been detected during the 2015 observations. The VHE photon spectrum is soft and described by a power-law index of $4.2\pm 0.3$. The H.E.S.S. data along with a detailed and contemporaneous multiwavelength data set provide constraints on the physical parameters of the emission region. The minimum distance of the emission region from the central black hole is estimated using two plausible geometries of the broad-line region and three potential intrinsic spectra. The emission region is confidently placed at $r\gtrsim 1.7\times10^{17}\,$cm from the black hole, i.e., beyond the assumed distance of the broad-line region. Time-dependent leptonic and lepto-hadronic one-zone models are used to describe the evolution of the 2015 flare. Neither model can fully reproduce the observations, despite testing various parameter sets. Furthermore, the H.E.S.S. data are used to derive constraints on Lorentz invariance violation given the large redshift of 3C 279.


title: On the volume of unit balls of finite-dimensional Lorentz spaces

abstract: We study the volume of unit balls $B^n_{p,q}$ of finite-dimensional Lorentz sequence spaces $\ell_{p,q}^n.$ We give an iterative formula for ${\rm vol}(B^n_{p,q})$ for the weak Lebesgue spaces with $q=\infty$ and explicit formulas for $q=1$ and $q=\infty.$ We derive asymptotic results for the $n$-th root of ${\rm vol}(B^n_{p,q})$ and show that $[{\rm vol}(B^n_{p,q})]^{1/n}\approx n^{-1/p}$ for all $0<p<\infty$ and $0<q\le\infty.$ We study further the ratio between the volume of unit balls of weak Lebesgue spaces and the volume of unit balls of classical Lebesgue spaces. We conclude with an application of the volume estimates and characterize the decay of the entropy numbers of the embedding of the weak Lebesgue space $\ell_{1,\infty}^n$ into $\ell_1^n.$


title: An Effective Payload Attribution Scheme for Cybercriminal Detection Using Compressed Bitmap Index Tables and Traffic Downsampling

abstract: Payload attribution systems (PAS) are one of the most important tools of network forensics for detecting an offender after the occurrence of a cybercrime. A PAS stores the network traffic history in order to detect the source and destination pair of a certain data stream in case a malicious activity occurs on the network. The huge volume of information that is daily transferred in the network means that the data stored by a PAS must be as compact and concise as possible. Moreover, the investigation of this large volume of data for a malicious data stream must be handled within a reasonable time. For this purpose, several techniques based on storing a digest of traffic using Bloom filters have been proposed in the literature. The false positive rate of existing techniques for detecting cybercriminals is unacceptably high, i.e., many source and destination pairs are falsely determined as malicious, making it difficult to detect the true criminal. In order to ameliorate this problem, we have proposed a solution based on compressed bitmap index tables and traffic downsampling. Our analytical evaluation and experimental results show that the proposed method significantly reduces the false positive rate.


title: Convergence of partial sum processes to stable processes with application for aggregation of branching processes

abstract: We provide a generalization of Theorem 1 in Bartkiewicz, Jakubowski, Mikosch and Wintenberger (2011) in the sense that we give sufficient conditions for weak convergence of finite dimensional distributions of the partial sum processes of a strongly stationary sequence to the corresponding finite dimensional distributions of a non-Gaussian stable process instead of weak convergence of the partial sums themselves to a non-Gaussian stable distribution. As an application, we describe the asymptotic behaviour of finite dimensional distributions of aggregation of independent copies of a strongly stationary subcritical Galton--Watson branching process with regularly varying immigration having index in $(0, 1) \cup (1, 4/3)$ in a so-called iterated case, namely when first taking the limit as the time scale and then the number of copies tend to infinity.


title: Adversarial Learning of Privacy-Preserving Text Representations for De-Identification of Medical Records

abstract: De-identification is the task of detecting protected health information (PHI) in medical text. It is a critical step in sanitizing electronic health records (EHRs) to be shared for research. Automatic de-identification classifierscan significantly speed up the sanitization process. However, obtaining a large and diverse dataset to train such a classifier that works wellacross many types of medical text poses a challenge as privacy laws prohibit the sharing of raw medical records. We introduce a method to create privacy-preserving shareable representations of medical text (i.e. they contain no PHI) that does not require expensive manual pseudonymization. These representations can be shared between organizations to create unified datasets for training de-identification models. Our representation allows training a simple LSTM-CRF de-identification model to an F1 score of 97.4%, which is comparable to a strong baseline that exposes private information in its representation. A robust, widely available de-identification classifier based on our representation could potentially enable studies for which de-identification would otherwise be too costly.


title: Final result of CUPID-0 phase-I in the search for the $^{82}$Se Neutrinoless Double Beta Decay

abstract: CUPID-0 is the first pilot experiment of CUPID, a next-generation project for the measurement of neutrinoless double beta decay (0$\nu$DBD) with scintillating bolometers. The detector, consisting of 24 enriched and 2 natural ZnSe crystals, has been taking data at Laboratori Nazionali del Gran Sasso from June 2017 to December 2018, collecting a $^{82}$Se exposure of 5.29 kg$\times$yr. In this paper we present the phase-I results in the search for 0$\nu$DBD. We demonstrate that the technology implemented by CUPID-0 allows us to reach the lowest background for calorimetric experiments: $(3.5^{+1.0}_{-0.9})\times10^{-3}$ counts/(keV kg yr). Monitoring 3.88$\times$10$^{25}$ $^{82}$Se nuclei$\times$yr we reach a 90% credible interval median sensitivity of $\rm{T}^{0\nu}_{1/2}>5.0\times10^{24} \rm{yr}$ and set the most stringent limit on the half-life of $^{82}$Se 0$\nu$DBD : $\rm{T}^{0\nu}_{1/2}>3.5\times10^{24} \rm{yr}$ (90% credible interval), corresponding to m$_{\beta\beta} <$ (311-638) meV depending on the nuclear matrix element calculations.

categories: nucl-ex hep-ex physics.atom-ph physics.ins-det


title: Current Status of r-Process Nucleosynthesis

abstract: The rapid neutron capture process (r process) is believed to be responsible for about half of the production of the elements heavier than iron and contributes to abundances of some lighter nuclides as well. A universal pattern of r-process element abundances is observed in some metal-poor stars of the Galactic halo. This suggests that a well-regulated combination of astrophysical conditions and nuclear physics conspires to produce such a universal abundance pattern. The search for the astrophysical site for r-process nucleosynthesis has stimulated interdisciplinary research for more than six decades. There is currently much enthusiasm surrounding evidence for r-process nucleosynthesis in binary neutron star mergers in the multi-wavelength follow-up observations of kilonova/gravitational-wave GRB170807A/GW170817. Nevertheless, there remain questions as to the contribution over the history of the Galaxy to the current solar-system r-process abundances from other sites such as neutrino-driven winds or magnetohydrodynamical ejection of material from core-collapse supernovae. In this review we highlight some current issues surrounding the nuclear physics input, astronomical observations, galactic chemical evolution, and theoretical simulations of r-process astrophysical environments with the goal of outlining a path toward resolving the remaining mysteries of the r process.


title: Structure and regularity of solutions to 1d scalar conservation laws

abstract: We consider bounded entropy solutions to the scalar conservation law in one space dimension: \begin{equation*} u_t+f(u)_x=0. \end{equation*} We quantify the regularizing effect of the non linearity of the flux $f$ on the solution $u$ in terms of spaces of functions with bounded generalized variation.


title: On Universal Codes for Integers: Wallace Tree, Elias Omega and Variations

abstract: A universal code for the (positive) integers can be used to store or compress a sequence of integers. Every universal code implies a probability distribution on integers. This implied distribution may be a reasonable choice when the true distribution of a source of integers is unknown. Wallace Tree Code (WTC) is a universal code for integers based on binary trees. We give the encoding and decoding routines for WTC and analyse the properties of the code in comparison to two well-known codes, the Fibonacci and Elias omega codes. Some improvements on the Elias omega code are also described and examined.


title: Approximating the Orthogonality Dimension of Graphs and Hypergraphs

abstract: A $t$-dimensional orthogonal representation of a hypergraph is an assignment of nonzero vectors in $\mathbb{R}^t$ to its vertices, such that every hyperedge contains two vertices whose vectors are orthogonal. The orthogonality dimension of a hypergraph $H$, denoted by $\overline{\xi}(H)$, is the smallest integer $t$ for which there exists a $t$-dimensional orthogonal representation of $H$. In this paper we study computational aspects of the orthogonality dimension of graphs and hypergraphs. We prove that for every $k \geq 4$, it is $\mathsf{NP}$-hard (resp. quasi-$\mathsf{NP}$-hard) to distinguish $n$-vertex $k$-uniform hypergraphs $H$ with $\overline{\xi}(H) \leq 2$ from those satisfying $\overline{\xi}(H) \geq \Omega(\log^\delta n)$ for some constant $\delta>0$ (resp. $\overline{\xi}(H) \geq \Omega(\log^{1-o(1)} n)$). For graphs, we relate the $\mathsf{NP}$-hardness of approximating the orthogonality dimension to a variant of a long-standing conjecture of Stahl. We also consider the algorithmic problem in which given a graph $G$ with $\overline{\xi}(G) \leq 3$ the goal is to find an orthogonal representation of $G$ of as low dimension as possible, and provide a polynomial time approximation algorithm based on semidefinite programming.


title: Jacob's ladders and the set of elementary meta-functional equations giving new kind of interactions of $\zeta(s)$ with itself

abstract: In this paper we obtain the set of grafts from some set of 12 elementary functions on 12 critical strips. We make use this directly for grafting of elements of the corresponding set of $\zeta$-factorization formulas. This procedure gives the set of elementary meta-functional equations that represents the set of elementary interactions of the Riemann's zeta-function with itself.


title: Simulation and experimental studies of induction hardening behavior of a new medium-carbon, low-alloy wear resistance steel

abstract: Flux2D commercial software together with a Gleeble thermomechanical simulator has been employed to numerically and physically simulate the material properties profile of an induction hardened slurry transportation pipe made of a recently developed 0.4 wt.% C, Nb-microalloyed steel. After calculating the thermal history of a 400 mm diameter, 10 mm thick pipe at various positions through the thickness, different heating and cooling paths were physically simulated using the Gleeble machine to predict the through-thickness material microstructure and hardness profiles. The results showed that by coupling a phase transformation model considering the effect of heating rate on the austenite transformation temperatures which allows calculations for arbitrary cooling paths with calculated induction heating and quenching thermal cycles, it has been possible to design induction hardening parameters for a slurry transport pipe material.


title: Adaptive Resource Management for a Virtualized Computing Platform within Edge Computing

abstract: In virtualized computing platforms, energy consumption is related to the computing-plus-communication processes. However, most of the proposed energy consumption models and energy saving solutions found in literature consider only the active Virtual Machines (VMs), thus the overall operational energy expenditure is usually related to solely the computation process. To address this shortcoming, in this paper we consider a computing-plus-communication energy model, within the Multi-access Edge Computing (MEC) paradigm, and then put forward a combination of a traffic engineering- and MEC Location Service-based online server management algorithm with Energy Harvesting (EH) capabilities, called Automated Resource Controller for Energy-aware Server (ARCES), for autoscaling and reconfiguring the computing-plus-communication resources. The main goal is to minimize the overall energy consumption, under hard per-task delay constraints (i.e., Quality of Service (QoS)). ARCES jointly performs (i) a short-term server demand and harvested solar energy forecasting, (ii) VM soft-scaling, workload and processing rate allocation and lastly, (iii) switching on/off of transmission drivers (i.e., fast tunable lasers) coupled with the location-aware traffic scheduling. Our numerical results reveal that ARCES achieves on average energy savings of 69%, and an energy consumption ranging from 31%-45%and from 21%-25% at different values of per-VM reconfiguration cost, with respect to the case where no energy management is applied.


title: Partner formula for an arbitrary moving mirror in $1+1$ dimensions

abstract: In the information loss problem in black hole evaporation, investigation of the purification partner of a Hawking particle is crucial. It is a well-known fact that 3+1 dimensional spherically symmetric gravitational collapse can be approximately described by 1+1 dimensional moving mirror models. Since a detected particle in field theory is defined by what a particle detector observes, the diversity of detector designs yields a variety of particles and their partners. We provide a formula of generalized partners of detected particles emitted out of mirrors in arbitrary motion in a free massless scalar field theory. Using the formula, we directly demonstrate information storage about pre-thermal information in a pure state of a Hawking particle and its partner. The partner form drastically changes depending on the detailed designs of particle detectors for the Hawking radiation. In a case of the Hawking particle and its partner sensitive to information about pre-thermal era, spatial configurations of the partner has long tails in a stage where only zero-point fluctuation is emitted out of the mirror.


title: In silico evidence that protein unfolding is as a precursor of the protein aggregation

abstract: We present a computational study on the folding and aggregation of proteins in aqueous environment, as function of its concentration. We show how the increase of the concentration of individual protein species can induce a partial unfolding of the native conformation without the occurrence of aggregates. A further increment of the protein concentration results in the complete loss of the folded structures and induces the formation of protein aggregates. We discuss the effect of the protein interface on the water fluctuations in the protein hydration shell and their relevance in the protein-protein interaction.


title: Many-body topological invariants from randomized measurements

abstract: The classification of symmetry-protected topological (SPT) phases in one dimension has been recently achieved, and had a fundamental impact in our understanding of quantum phases in condensed matter physics. In this framework, SPT phases can be identified by many-body topological invariants, which are quantized non-local correlators for the many-body wavefunction. While SPT phases can now be realized in interacting synthethic quantum systems, the direct measurement of quantized many-body topological invariants has remained so far elusive. Here, we propose measurement protocols for many-body topological invariants for all types of protecting symmetries of one-dimensional interacting bosonic systems. Our approach relies on randomized measurements implemented with local random unitaries, and can be applied to any spin system with single-site addressability and readout. Our scheme thus provides a versatile toolbox to experimentally classify interacting SPT phases.


title: BiSET: Bi-directional Selective Encoding with Template for Abstractive Summarization

abstract: The success of neural summarization models stems from the meticulous encodings of source articles. To overcome the impediments of limited and sometimes noisy training data, one promising direction is to make better use of the available training data by applying filters during summarization. In this paper, we propose a novel Bi-directional Selective Encoding with Template (BiSET) model, which leverages template discovered from training data to softly select key information from each source article to guide its summarization process. Extensive experiments on a standard summarization dataset were conducted and the results show that the template-equipped BiSET model manages to improve the summarization performance significantly with a new state of the art.


title: Assuring the Evolvability of Microservices: Insights into Industry Practices and Challenges

abstract: While Microservices promise several beneficial characteristics for sustainable long-term software evolution, little empirical research covers what concrete activities industry applies for the evolvability assurance of Microservices and how technical debt is handled in such systems. Since insights into the current state of practice are very important for researchers, we performed a qualitative interview study to explore applied evolvability assurance processes, the usage of tools, metrics, and patterns, as well as participants' reflections on the topic. In 17 semi-structured interviews, we discussed 14 different Microservice-based systems with software professionals from 10 companies and how the sustainable evolution of these systems was ensured. Interview transcripts were analyzed with a detailed coding system and the constant comparison method. We found that especially systems for external customers relied on central governance for the assurance. Participants saw guidelines like architectural principles as important to ensure a base consistency for evolvability. Interviewees also valued manual activities like code review or boy scouting, even though automation and tool support was described as very important. Source code quality was the primary target for the usage of tools and metrics. Despite most reported issues being related to Architectural Technical Debt (ATD), our participants did not apply any architectural or service-oriented tools and metrics. While participants generally saw their Microservices as evolvable, service cutting and finding an appropriate service granularity with low coupling and high cohesion were reported as challenging. Future Microservices research in the areas of evolution and technical debt should take these findings and industry sentiments into account.


title: Structure-adaptive manifold estimation

abstract: We consider a problem of manifold estimation from noisy observations. Many manifold learning procedures locally approximate a manifold by a weighted average over a small neighborhood. However, in the presence of large noise, the assigned weights become so corrupted that the averaged estimate shows very poor performance. We suggest a structure-adaptive procedure, which simultaneously reconstructs a smooth manifold and estimates projections of the point cloud onto this manifold. The proposed approach iteratively refines the weights on each step, using the structural information obtained at previous steps. After several iterations, we obtain nearly "oracle" weights, so that the final estimates are nearly efficient even in the presence of relatively large noise. In our theoretical study, we establish tight lower and upper bounds proving asymptotic optimality of the method for manifold estimation under the Hausdorff loss, provided that the noise degrades to zero fast enough.


title: Deep Reinforcement Learning for Unmanned Aerial Vehicle-Assisted Vehicular Networks

abstract: Unmanned aerial vehicles (UAVs) are envisioned to complement the 5G communication infrastructure in future smart cities. Hot spots easily appear in road intersections, where effective communication among vehicles is challenging. UAVs may serve as relays with the advantages of low price, easy deployment, line-of-sight links, and flexible mobility. In this paper, we study a UAV-assisted vehicular network where the UAV jointly adjusts its transmission control (power and channel) and 3D flight to maximize the total throughput. First, we formulate a Markov decision process (MDP) problem by modeling the mobility of the UAV/vehicles and the state transitions. Secondly, we solve the target problem using a deep reinforcement learning method, namely, the deep deterministic policy gradient (DDPG), and propose three solutions with different control objectives. Deep reinforcement learning methods obtain the optimal policy through the interactions with the environment without knowing the environment variables. Considering that environment variables in our problem are unknown and unmeasurable, we choose a deep reinforcement learning method to solve it. Moreover, considering the energy consumption of 3D flight, we extend the proposed solutions to maximize the total throughput per unit energy. To encourage or discourage the UAV's mobility according to its prediction, the DDPG framework is modified, where the UAV adjusts its learning rate automatically. Thirdly, in a simplified model with small state space and action space, we verify the optimality of proposed algorithms. Comparing with two baseline schemes, we demonstrate the effectiveness of proposed algorithms in a realistic model.


title: Two-stage Stochastic Lot-sizing Problem with Chance-constrained Condition in the Second Stage

abstract: In a given production planning horizon, the demands may only be comfirmed in part of the whole periods, and the others are uncertain. In this paper, we consider a two-stage stochastic lot-sizing problem with chance-constrained condition in the second stage. In the first stage, the demand is deterministic in each period, while in the second stage, the demands are random variables with finite distribution. We prove the optimality condition of the solutions under modified Wagner-Whitin condition and further develop a new equivalent MIP formulation which can depict the feasible region better. We also show that any subproblem fixing the selection of occurred scenarios has a complete linear description of its convex hull. A branch-and-bound algorithm is provided utilizing the character of the given subproblems.


title: Graph Embedding on Biomedical Networks: Methods, Applications, and Evaluations

abstract: Graph embedding learning that aims to automatically learn low-dimensional node representations, has drawn increasing attention in recent years. To date, most recent graph embedding methods are evaluated on social and information networks and are not comprehensively studied on biomedical networks under systematic experiments and analyses. On the other hand, for a variety of biomedical network analysis tasks, traditional techniques such as matrix factorization (which can be seen as a type of graph embedding methods) have shown promising results, and hence there is a need to systematically evaluate the more recent graph embedding methods (e.g. random walk-based and neural network-based) in terms of their usability and potential to further the state-of-the-art. We select 11 representative graph embedding methods and conduct a systematic comparison on 3 important biomedical link prediction tasks: drug-disease association (DDA) prediction, drug-drug interaction (DDI) prediction, protein-protein interaction (PPI) prediction; and 2 node classification tasks: medical term semantic type classification, protein function prediction. Our experimental results demonstrate that the recent graph embedding methods achieve promising results and deserve more attention in the future biomedical graph analysis. Compared with three state-of-the-art methods for DDAs, DDIs and protein function predictions, the recent graph embedding methods achieve competitive performance without using any biological features and the learned embeddings can be treated as complementary representations for the biological features. By summarizing the experimental results, we provide general guidelines for properly selecting graph embedding methods and setting their hyper-parameters for different biomedical tasks.


title: Lorentzian geometry based analysis of airplane boarding policies highlights slow passengers first as better

abstract: We study airplane boarding in the limit of large number of passengers using geometric optics in a Lorentzian metric. The airplane boarding problem is naturally embedded in a 1+1 dimensional space-time with a flat Lorentzian metric. The duration of the boarding process can be calculated based on a representation of the one-dimensional queue of passengers attempting to reach their seats, into a two-dimensional space-time diagram. The ability of a passenger to delay other passengers depends on their queue positions and row designations. This is equivalent to the causal relationship between two events in space-time, whereas two passengers are time-like separated if one is blocking the other, and space-like if both can be seated simultaneously. Geodesics in this geometry can be utilized to compute the asymptotic boarding time, since space-time geometry is the many-particle (passengers) limit of airplane boarding. Our approach naturally leads to a novel definition of an effective refractive index. The introduction of an effective refractive index enables, for the first time, an analytical calculation of the average boarding time for groups of passengers with different aisle-clearing time distribution. In the past, airline companies attempted to shorten the boarding times by trying boarding policies that either allow slow or fast passengers to board first. Our analytical calculations, backed by discrete-event simulations, support the counter-intuitive result that the total boarding time is shorter with the slow passengers boarding before the fast passengers. This is a universal result, valid for any combination of the parameters that characterize the problem --- percentage of slow passengers, ratio between aisle-clearing times between the fast and the slow groups, and the density of passengers along the aisle. We find an improvement of up to 28% compared with the Fast-First boarding policy.


title: Tin-accompanied and true ternary fission of $^{242}$Pu

abstract: True ternary fission and Tin-accompanied ternary fission of $^{242}$Pu are studied by using Three Cluster Model. True ternary fission is considered as formation of heavy fragments in the region $28\leq Z_1,Z_2,Z_3\leq 38$, with comparable masses. The possible fission channels are predicted from potential-energy calculations. Interaction potentials, Q-values and relative yields for all possible fragmentations in equatorial and collinear configurations are calculated and compared to each other. It is found out that ternary fission with formation of a double magic nucleus like $^{132}Sn$ is more probable than the other fragmentations. Also the kinetic energies of the fragments for the group $Z_1=32$, $Z_2=32$ and $Z_3=30$ are calculated for all combinations in the collinear geometry, as a sequential decay.


title: Checkpoint/restart approaches for a thread-based MPI runtime

abstract: Fault-tolerance has always been an important topic when it comes to running massively parallel programs at scale. Statistically, hardware and software failures are expected to occur more often on systems gathering millions of computing units. Moreover, the larger jobs are, the more computing hours would be wasted by a crash. In this paper, we describe the work done in our MPI runtime to enable both transparent and application-level checkpointing mechanisms. Unlike the MPI 4.0 User-Level Failure Mitigation (ULFM) interface, our work targets solely Checkpoint/Restart and ignores other features such as resiliency. We show how existing checkpointing methods can be practically applied to a thread-based MPI implementation given sufficient runtime collaboration. The two main contributions are the preservation of high-speed network performance during transparent C/R and the over-subscription of checkpoint data replication thanks to a dedicated user-level scheduler support. These techniques are measured on MPI benchmarks such as IMB, Lulesh and Heatdis, and associated overhead and trade-offs are discussed.


title: Adiabatic variation of the charge-density-wave phase diagram in the 123 cuprate (Ca$_x$La$_{1-x}$)(Ba$_{1.75-x}$La$_{0.25+x}$)Cu$_3$O$_y$

abstract: In order to explain the emergence of the anomalous pseudogap state and high-temperature superconductivity in the cuprates, intense research activity over three decades has focused on unravelling the connection between the various instabilities of the underdoped regime. In the high-temperature superconductor (Ca$_x$La$_{1-x}$)(Ba$_{1.75-x}$La$_{0.25+x}$)Cu$_3$O$_y$ (CLBLCO) isovalent chemical substitution produces smooth changes to the CuO$_2$ plane buckling and the Cu(II)-to-apical-oxygen distance, allowing us to study the interdependence of charge-density-wave (CDW) order, superconductivity and the pseudogap at constant hole doping in two adiabatically connected representations of the 123 cuprate structure. In this study, resonant soft x-ray scattering measurements reveal the first observation of incommensurate CDW correlations in CLBLCO and demonstrate a lack of correlation between $T_{\text{CDW}}$ and the pseudogap crossover temperature ($T^{\ast}$). This result disfavours a scenario in which the opening of the pseudogap at $T^{\ast}$ results from fluctuating CDW correlations.


title: Real-time Attention Based Look-alike Model for Recommender System

abstract: Recently, deep learning models play more and more important roles in contents recommender systems. However, although the performance of recommendations is greatly improved, the "Matthew effect" becomes increasingly evident. While the head contents get more and more popular, many competitive long-tail contents are difficult to achieve timely exposure because of lacking behavior features. This issue has badly impacted the quality and diversity of recommendations. To solve this problem, look-alike algorithm is a good choice to extend audience for high quality long-tail contents. But the traditional look-alike models which widely used in online advertising are not suitable for recommender systems because of the strict requirement of both real-time and effectiveness. This paper introduces a real-time attention based look-alike model (RALM) for recommender systems, which tackles the challenge of conflict between real-time and effectiveness. RALM realizes real-time look-alike audience extension benefiting from seeds-to-user similarity prediction and improves the effectiveness through optimizing user representation learning and look-alike learning modeling. For user representation learning, we propose a novel neural network structure named attention merge layer to replace the concatenation layer, which significantly improves the expressive ability of multi-fields feature learning. On the other hand, considering the various members of seeds, we design global attention unit and local attention unit to learn robust and adaptive seeds representation with respect to a certain target user. At last, we introduce seeds clustering mechanism which not only reduces the time complexity of attention units prediction but also minimizes the loss of seeds information at the same time. According to our experiments, RALM shows superior effectiveness and performance than popular look-alike models.


title: Towards Big data processing in IoT: Path Planning and Resource Management of UAV Base Stations in Mobile-Edge Computing System

abstract: Heavy data load and wide cover range have always been crucial problems for online data processing in internet of things (IoT). Recently, mobile-edge computing (MEC) and unmanned aerial vehicle base stations (UAV-BSs) have emerged as promising techniques in IoT. In this paper, we propose a three-layer online data processing network based on MEC technique. On the bottom layer, raw data are generated by widely distributed sensors, which reflects local information. Upon them, unmanned aerial vehicle base stations (UAV-BSs) are deployed as moving MEC servers, which collect data and conduct initial steps of data processing. On top of them, a center cloud receives processed results and conducts further evaluation. As this is an online data processing system, the edge nodes should stabilize delay to ensure data freshness. Furthermore, limited onboard energy poses constraints to edge processing capability. To smartly manage network resources for saving energy and stabilizing delay, we develop an online determination policy based on Lyapunov Optimization. In cases of low data rate, it tends to reduce edge processor frequency for saving energy. In the presence of high data rate, it will smartly allocate bandwidth for edge data offloading. Meanwhile, hovering UAV-BSs bring a large and flexible service coverage, which results in the problem of effective path planning. In this paper, we apply deep reinforcement learning and develop an online path planning algorithm. Taking observations of around environment as input, a CNN network is trained to predict the reward of each action. By simulations, we validate its effectiveness in enhancing service coverage. The result will contribute to big data processing in future IoT.


title: Frequency and Time Domain Analysis ofsRNA-based Treatment for Inflammatory BowelDisease

abstract: The validity of a complex reaction pathway proposed to treat Inflammatory Bowel Disease (IBD) was verified by a comprehensive time and frequency domain analysis. The model was taken to the frequency domain to study the effect and the significance of the negative feedback loop introduced by the reaction pathways. It could be shown that such proposed probiotics have very interesting potentials that could be used extensively in the near future.


title: Singular solutions of elliptic equations with iterated exponentials

abstract: We construct positive singular solutions for the problem $-\Delta u=\lambda \exp (e^u)$ in $B_1\subset \mathbb{R}^n$ ($n\geq 3$), $u=0$ on $\partial B_1$, having a prescribed behaviour around the origin. Our study extends the one in Y. Miyamoto [Y. Miyamoto, A limit equation and bifurcation diagrams of semilinear elliptic equations with general supercritical growth. J. Differential Equations \textbf{264} (2018), 2684--2707] for such nonlinearities. Our approach is then carried out to elliptic equations featuring iterated exponentials.


title: Electronic and Optical Properties of Oligothiophene-F4TCNQ Charge-Transfer Complexes: The Role of Donor Conjugation Length

abstract: We investigate from first-principles many-body theory the role of the donor conjugation length in doped organic semiconductors forming charge-transfer complexes (CTCs) exhibiting partial charge transfer. We consider oligothiophenes (nT) with an even number of rings ranging from four to ten, doped by the strong acceptor 2,3,5,6-tetrafluoro-7,7,8,8-tetracyano-quinodimethane (F4TCNQ). The decrease of the electronic gaps upon increasing nT size is driven by the reduction of the ionization energy with the electron affinity remaining almost constant. The optical gaps exhibit a different trend, being at approximately the same energy regardless of the donor length. The first excitation retains the same oscillator strength and Frenkel-like character in all systems. While in 4T-F4TCNQ also higher-energy excitations preserve this nature, in CTCs with longer nT oligomers charge-transfer excitations and Frenkel excitons localized on the donor appear above the absorption onset. Our results offer important insight into the structure-property relations of CTCs, thus contributing to a deeper understanding of doped organic semiconductors.


title: Divisibility of Andrews' Singular Overpartitions by Powers of 2 and 3

abstract: Andrews introduced the partition function $\overline{C}_{k, i}(n)$, called singular overpartition, which counts the number of overpartitions of $n$ in which no part is divisible by $k$ and only parts $\equiv \pm i\pmod{k}$ may be overlined. He also proved that $\overline{C}_{3, 1}(9n+3)$ and $\overline{C}_{3, 1}(9n+6)$ are divisible by $3$ for $n\geq 0$. Recently Aricheta proved that for an infinite family of $k$, $\overline{C}_{3k, k}(n)$ is almost always even. In this paper, we prove that for any positive integer $k$, $\overline{C}_{3, 1}(n)$ is almost always divisible by $2^k$ and $3^k.$


title: Transient Analysis during Maximum Power Point Tracking (TrAMPPT) to Assess Dynamic Response of Perovskite Solar Cells

abstract: Determination of the device performance parameters of perovskite solar cells is far from trivial as transient effects may cause large discrepancies in current-voltage measurements as a function of scan rate and pre-conditioning. Maximum power point tracking, MPPT, enables to determine the steady-state maximum power conversion efficiency. However, the MPPT does not provide any information on the device performance parameters, which are reliable only if extracted from current-voltage curves collected under steady-state conditions. We show that is possible to determine the shorter settling or delay time suitable to carry out J-V measurements under steady-state conditions by analysis of the transient device response around the MPP. This procedure proves to be more time-efficient than measurement J-V measurements at a variety of scan rates. Furthermore, the generic algorithm presented here can be implemented to assess changes in the dynamic response of devices during long-term device ageing.


title: A Bayesian Approach to In-Game Win Probability in Soccer

abstract: In-game win probability models, which provide a sports team's likelihood of winning at each point in a game based on historical observations, are becoming increasingly popular. In baseball, basketball and American football, they have become important tools to enhance fan experience, to evaluate in-game decision-making, and to inform coaching decisions. While equally relevant in soccer, the adoption of these models is held back by technical challenges arising from the low-scoring nature of the sport. In this paper, we introduce an in-game win probability model for soccer that addresses the shortcomings of existing models. First, we demonstrate that in-game win probability models for other sports struggle to provide accurate estimates for soccer, especially towards the end of a game. Second, we introduce a novel Bayesian statistical framework that estimates running win, tie and loss probabilities by leveraging a set of contextual game state features. An empirical evaluation on eight seasons of data for the top-five soccer leagues demonstrates that our framework provides well-calibrated probabilities. Furthermore, two use cases show its ability to enhance fan experience and to evaluate performance in crucial game situations.


title: Fast Task Inference with Variational Intrinsic Successor Features

abstract: It has been established that diverse behaviors spanning the controllable subspace of an Markov decision process can be trained by rewarding a policy for being distinguishable from other policies \citep{gregor2016variational, eysenbach2018diversity, warde2018unsupervised}. However, one limitation of this formulation is generalizing behaviors beyond the finite set being explicitly learned, as is needed for use on subsequent tasks. Successor features \citep{dayan93improving, barreto2017successor} provide an appealing solution to this generalization problem, but require defining the reward function as linear in some grounded feature space. In this paper, we show that these two techniques can be combined, and that each method solves the other's primary limitation. To do so we introduce Variational Intrinsic Successor FeatuRes (VISR), a novel algorithm which learns controllable features that can be leveraged to provide enhanced generalization and fast task inference through the successor feature framework. We empirically validate VISR on the full Atari suite, in a novel setup wherein the rewards are only exposed briefly after a long unsupervised phase. Achieving human-level performance on 14 games and beating all baselines, we believe VISR represents a step towards agents that rapidly learn from limited feedback.


title: Performance Considerations of Thin Ferroelectrics (~10 nm HfO2, ~20 nm PZT) FDSOI NCFETs for Digital Circuits at Reduced Power Consumption

abstract: The paper presents simulation study of thin ferroelectrics (Si doped HfO2, PZT) PGP FDSOI NCFETs at circuit level for high performance, low VDD low-power digital circuits. The baseline PGP FDSOI MOSFET has 20 nm metal gate length with supply voltage varying from 0.5 V to 0.9 V. The circuits studied were 3-stage CMOS ring oscillator, NAND-2 and NOR-2 gates at a frequency of 20 GHz. The paper shows that HfO2 FDSOI NCFET based NAND-2 gates can provide significant reduction in average power consumption, which was ~66% that of baseline FDSOI MOSFET based NAND-2 gates for comparable performance. For the same performance, the average power consumption for PZT FDSOI NCFET based NAND-2 gate was ~86% that of baseline FDSOI MOSFET based NAND-2 gate. The power-delay product of HfO2 FDSOI NCFET based gates was found to be ~24% lower than baseline FDSOI MOSFET based gates and that of PZT FDSOI NCFET based gates was found to be ~21% less than that of baseline FDSOI MOSFET based gates. The performance of HfO2 FDSOI NCFET based gates with increased fan-in and fan-out was also found to be superior to PZT FDSOI NCFET based gates and baseline FDSOI MOSFET based gates.


title: Decoupling Gating from Linearity

abstract: ReLU neural-networks have been in the focus of many recent theoretical works, trying to explain their empirical success. Nonetheless, there is still a gap between current theoretical results and empirical observations, even in the case of shallow (one hidden-layer) networks. For example, in the task of memorizing a random sample of size $m$ and dimension $d$, the best theoretical result requires the size of the network to be $\tilde{\Omega}(\frac{m^2}{d})$, while empirically a network of size slightly larger than $\frac{m}{d}$ is sufficient. To bridge this gap, we turn to study a simplified model for ReLU networks. We observe that a ReLU neuron is a product of a linear function with a gate (the latter determines whether the neuron is active or not), where both share a jointly trained weight vector. In this spirit, we introduce the Gated Linear Unit (GaLU), which simply decouples the linearity from the gating by assigning different vectors for each role. We show that GaLU networks allow us to get optimization and generalization results that are much stronger than those available for ReLU networks. Specifically, we show a memorization result for networks of size $\tilde{\Omega}(\frac{m}{d})$, and improved generalization bounds. Finally, we show that in some scenarios, GaLU networks behave similarly to ReLU networks, hence proving to be a good choice of a simplified model.


title: Higher dimensional holonomy map for ruled submanifolds in graded manifolds

abstract: The deformability condition for submanifolds of fixed degree immersed in a graded manifold can be expressed as a system of first order PDEs. In the particular but important case of ruled submanifolds, we introduce a natural choice of coordinates, which allows to deeply simplify the formal expression of the system, and reduce it to a system of ODEs along a characteristic direction. We introduce a notion of higher dimensional holonomy map in analogy with the one-dimensional case [J. Differential Geom., 36(3):551-589, 1992], and we provide a characterization for singularities as well as a deformability criterion.


title: Desingularization of matrix equations employing hypersingular integrals in boundary element methods using double nodes

abstract: In boundary element methods, the method of using double nodes at corners is a useful approach to uniquely define the normal direction of boundary elements. However, matrix equations constructed by conventional boundary integral equations (CBIE) become singular under certain combinations of double node boundary conditions. In this paper, we analyze the singular conditions of the CBIE formulation for cases where the boundary conditions at the double node are imposed by combinations of Dirichlet, Neumann, Robin, and interface conditions. To address this singularity we propose the use of hypersingular integral equations (HBIE) for wave propagation problems that obey Helmholtz equation. To demonstrate the applicability of HBIE, we compare three types of simultaneous equations: (i) CBIE, (ii) partial-HBIE in which HBIE is only applied to the double nodes at corners while CBIE is applied to the other nodes, and (iii) full-HBIE in which HBIE is applied to all nodes. Based on our numerical results, we observe the following results. The singularity of the matrix equations for problems with any combination of boundary conditions can be resolved by both full-HBIE and partial-HBIE, and partial-HBIE exhibits better accuracy than full-HBIE. Furthermore, the computational cost of partial-HBIE is smaller than that of full-HBIE.


title: Continuous-variables quantum cryptography: asymptotic and finite-size security analysis

abstract: In this thesis we study the finite-size analysis of two continuous-variables quantum key distribution schemes. The first one is the one-way protocol using Gaussian modulation of thermal states and the other is the measurement-device-independent protocol. To do so, we adopt an efficient channel parameter estimation method based on the assumption of the Gaussian variables and the central limit theorem introduced by Ruppert et al. [Phys. Rev. A 90, 062310 (2014)]. Furthermore, we present a composable security analysis of the measurement device independent protocol for coherent attacks with a channel parameter estimation that is not based on the central limit theorem. We also investigated, in the asymptotic regime, an asymmetric situation for the authenticated parties against the eavesdropper caused by fast-fading channels. Here we assume that the eavesdropper has the full control of the communication channel and can instantaneously change its transmissivity in every use of it. We assumed the simple model of a uniform fading and addressed the cases of one-way protocols, continuous-measurement device-independent protocol in symmetric configuration and its star network extension for three users. Finally, we extended the asymptotic study of the one-way protocols using an arbitrary number of phase-encoded coherent states assuming a thermal loss channel without using a Gaussian approximation.


title: Note on the symplectic structure of asymptotically flat gravity and BMS symmetries

abstract: The Poisson brackets of the gravitational field at null infinity play a pivotal role in establishing the equivalence between the Ward identities involving BMS charges and the soft graviton theorem. In recent literature it was noticed that, in order to reproduce the action of BMS transformations via such Poisson brackets, one needs to add "ad-hoc" boundary terms in the symplectic form. In this note we show that, introducing a suitable splitting of the gravitational field in bulk and boundary degrees of freedom and using techniques of covariant phase space formalism, it is possible to obtain the correct Poisson brackets between the boundary fields without any additional assumption. The same Poisson brackets are used to show that BMS charges canonically generate BMS transformations on the gravitational phase space.


title: Activated Random Walks on $\mathbb{Z}^d$

abstract: Some stochastic systems are particularly interesting as they exhibit critical behavior without fine-tuning of a parameter, a phenomenon called self-organized criticality. In the context of driven-dissipative steady states, one of the main models is that of Activated Random Walks. Long-range effects intrinsic to the conservative dynamics and lack of a simple algebraic structure cause standard tools and techniques to break down. This makes the mathematical study of this model remarkably challenging. Yet, some exciting progress has been made in the last ten years, with the development of a framework of tools and methods which is finally becoming more structured. In these lecture notes we present the existing results and reproduce the techniques developed so far.


title: Application-Level Differential Checkpointing for HPC Applications with Dynamic Datasets

abstract: High-performance computing (HPC) requires resilience techniques such as checkpointing in order to tolerate failures in supercomputers. As the number of nodes and memory in supercomputers keeps on increasing, the size of checkpoint data also increases dramatically, sometimes causing an I/O bottleneck. Differential checkpointing (dCP) aims to minimize the checkpointing overhead by only writing data differences. This is typically implemented at the memory page level, sometimes complemented with hashing algorithms. However, such a technique is unable to cope with dynamic-size datasets. In this work, we present a novel dCP implementation with a new file format that allows fragmentation of protected datasets in order to support dynamic sizes. We identify dirty data blocks using hash algorithms. In order to evaluate the dCP performance, we ported the HPC applications xPic, LULESH 2.0 and Heat2D and analyze them regarding their potential of reducing I/O with dCP and how this data reduction influences the checkpoint performance. In our experiments, we achieve reductions of up to 62% of the checkpoint time.


title: Concept Discovery through Information Extraction in Restaurant Domain

abstract: Concept identification is a crucial step in understanding and building a knowledge base for any particular domain. However, it is not a simple task in very large domains such as restaurants and hotel. In this paper, a novel approach of identifying a concept hierarchy and classifying unseen words into identified concepts related to restaurant domain is presented. Sorting, identifying, classifying of domain-related words manually is tedious and therefore, the proposed process is automated to a great extent. Word embedding, hierarchical clustering, classification algorithms are effectively used to obtain concepts related to the restaurant domain. Further, this approach can also be extended to create a semi-automatic ontology on restaurant domain.


title: Non-topological kink scattering in a two-component scalar field theory model

abstract: In this paper the scattering between the non-topological kinks arising in a family of two-component scalar field theory models is analyzed. A winding charge is carried by these defects. As a consequence, two different classes of kink scattering processes emerge: (1) collisions between kinks that carry the same winding number and (2) scattering events between kinks with opposite winding number. The variety of scattering channels is very rich and it strongly depends on the collision velocity and the model parameter. For the first type of events, four distinct scattering channels are found: \textit{kink reflection} (kinks collide and bounce back), \textit{one-kink (partial) annihilation} (the two non-topological kinks collide causing the annihilation of one half of each kink and the subsequent recombination of the other two halves, giving rise to a new non-topological kink with the opposite winding charge), \textit{winding flip kink reflection} (kinks collide and emerge with the opposite winding charge) and \textit{total kink annihilation} (kinks collide and decay to the vacuum configuration). For the second type of events, the scattering channels comprise \textit{bion formation} (kink and antikink form a long-living bound state), \textit{kink-antikink passage} (kinks collide and pass each other) and \textit{kink-antikink annihilation} (kink and antikink collide and decay to the vacuum configuration).


title: Energy harvesting below the onset of flutter

abstract: This work demonstrates preliminary results on energy harvesting from a linearly stable flutter-type system with circulatory friction forces. Harmonic external forcing is applied to study the energy flow in the steady sliding configuration. In certain parameter ranges negative excitation work is observed where the external forcing allows to pull part of the friction energy out of the system and thus makes energy harvesting possible. Studies reveal that this behavior is largely independent of the flutter point and thus that it is primarily controlled by the excitation. Contrary to existing energy harvesting approaches for such systems, this approach uses external forcing in the linearly stable regime of the oscillator which allows to control vibrations and harvest energy on demand.


title: Lensing anomalies from the epoch of reionisation

abstract: Reionisation blurring is a non-linear correction to the cosmic microwave background that acts similar to weak gravitational lensing and that can be computed from linear perturbations through a blurring potential. Its impact on the cosmic microwave background is roughly two order of magnitude smaller than that of lensing, in isolation. But the blurring potential is strongly correlated with the lensing potential thereby generating a potentially observable cross-correlation. We compute for the first time the inclusive impact of reionisation blurring on the temperature angular power spectrum and discuss how much it could induce lensing anomalies


title: Mechanics of allostery: contrasting the induced fit and population shift scenarios

abstract: In allosteric proteins, binding a ligand can affect function at a distant location, for example by changing the binding affinity of a substrate at the active site. The induced fit and population shift models, which differ by the assumed number of stable configurations, explain such cooperative binding from a thermodynamic viewpoint. Yet, understanding what mechanical principles constrain these models remains a challenge. Here we provide an empirical study on 34 proteins supporting the idea that allosteric conformational change generally occurs along a soft elastic mode presenting extended regions of high shear. We argue, based on a detailed analysis of how the energy profile along such a mode depends on binding, that in the induced fit scenario there is an optimal stiffness $k_a^*\sim 1/N$ for cooperative binding, where $N$ is the number of residues involved in the allosteric response. We find that the population shift scenario is more robust to mutation affecting stiffness, as binding becomes more and more cooperative with stiffness up to the same characteristic value $k_a^*$, beyond which cooperativity saturates instead of decaying. We confirm numerically these findings in a non-linear mechanical model. Dynamical considerations suggest that a stiffness of order $k_a^*$ is favorable in that scenario as well, supporting that for proper function proteins must evolve a functional elastic mode that is softer as their size increases. In consistency with this view, we find a significant anticorrelation between the stiffness of the allosteric response and protein size in our data set.


title: On the WalkerMaker-WalkerBreaker games

abstract: We study the unbiased WalkerMaker-WalkerBreaker games on the edge set of the complete graph on $n$ vertices, $K_n$, a variant of well-known Maker-Breaker positional games, where both players have the restriction on the way of playing. Namely, each player has to choose her/his edges according to a walk. Here, we focus on two standard graph games - the Connectivity game and the Hamilton cycle game and show how quickly WalkerMaker can win both games.


title: Thermal balance of tungsten monocrystalline nanoparticles in high pressure magnetron discharges

abstract: Nanoparticles are produced in sputtering magnetron discharges operating with a tungsten cathode at 30 Pa argon pressure. Structure analyses show that they are of core-shell type. The core is a monocrystal mainly in the metastable beta-tungsten phase and the shell is made of tungsten oxide. The origin of the metastable phase is attributed to the presence of residual oxygen in the device. Since this phase transforms into the stable alpha-tungsten phase by annealing, a standard model on the thermal balance of nanoparticles was used to find the temperature that they can reach under the considered experimental conditions. It is shown that this temperature is significantly higher than the gas one but not high enough to transform the monocrystalline metastable beta-phase during the plasma process.


title: Torus computed tomography

abstract: We present a new computed tomography (CT) method for inverting the Radon transform in 2D. The idea relies on the geometry of the flat torus, hence we call the new method Torus CT. We prove new inversion formulas for integrable functions, solve a minimization problem associated to Tikhonov regularization in Sobolev spaces and prove that the solution operator provides an admissible regularization strategy with a quantitative stability estimate. This regularization is a simple post-processing low-pass filter for the Fourier series of a phantom. We also study the adjoint and the normal operator of the X-ray transform on the flat torus. The X-ray transform is unitary on the flat torus. We have implemented the Torus CT method using Matlab and tested it with simulated data with promising results. The inversion method is meshless in the sense that it gives out a closed form function that can be evaluated at any point of interest.


title: Tiger:Wearable Glasses for the 20-20-20 Rule to Alleviate Computer Vision Syndrome

abstract: We propose Tiger, an eyewear system for helping users follow the 20-20-20 rule to alleviate the Computer Vision Syndrome symptoms. It monitors user's screen viewing activities and provides real-time feedback to help users follow the rule. For accurate screen viewing detection, we devise a light-weight multi-sensory fusion approach with three sensing modalities, color, IMU, and lidar. We also design the real-time feedback to effectively lead users to follow the rule. Our evaluation shows that Tiger accurately detects screen viewing events, and is robust to the differences in screen types, contents, and ambient light. Our user study shows positive perception of Tiger regarding its usefulness, acceptance, and real-time feedback.


title: Greening of the Brown Dwarf Desert. EPIC 212036875 b -- a 51 M$_\mathrm{J}$ object in a 5 day orbit around an F7 V star

abstract: Our aim is to investigate the nature and formation of brown dwarfs by adding a new well-characterised object to the small sample of less than 20 transiting brown dwarfs. One brown dwarf candidate was found by the KESPRINT consortium when searching for exoplanets in the K2 space mission Campaign 16 field. We combined the K2 photometric data with a series of multi-colour photometric observations, imaging and radial velocity measurements to rule out false positive scenarios and to determine the fundamental properties of the system. We report the discovery and characterisation of a transiting brown dwarf in a 5.17 day eccentric orbit around the slightly evolved F7V star EPIC 212036875. We find a stellar mass of 1.15+/-0.08 M$_\odot$, a stellar radius of 1.41+/-0.05 R$_\odot$, and an age of 5.1+/-0.9 Gyr. The mass and radius of the companion brown dwarf are 51+/-2 MJ and 0.83+/-0.03 RJ, respectively, corresponding to a mean density of 108+15-13 g cm-3. EPIC 212036875 b is a rare object that resides in the brown dwarf desert. In the mass-density diagram for planets, brown dwarfs and stars, we find that all giant planets and brown dwarfs follow the same trend from ~0.3 MJ to the turn-over to hydrogen burning stars at ~73 MJ. EPIC 212036875 b falls close to the theoretical model for mature H/He dominated objects in this diagram as determined by interior structure models, as well as the empirical fit. We argue that EPIC 212036875 b formed via gravitational disc instabilities in the outer part of the disc, followed by a quick migration. Orbital tidal circularisation may have started early in its history for a brief period when the brown dwarf's radius was larger. The lack of spin-orbit synchronisation points to a weak stellar dissipation parameter which implies a circularisation timescale of >23 Gyr, or suggests an interaction between the magnetic and tidal forces of the star and the brown dwarf.


title: Locally Homogeneous Aspherical Sasaki Manifolds

abstract: Let $G/H$ be a contractible homogeneous Sasaki manifold. A compact locally homogeneous aspherical Sasaki manifold $\Gamma\big\backslash G/H$ is by definition a quotient of $G/H$ by a discrete uniform subgroup $\Gamma\leq G$. We show that a compact locally homogeneous aspherical Sasaki manifold is always quasi-regular, that is, $\Gamma\big\backslash G/H$ is an $S^{1}$-Seifert bundle over a locally homogeneous aspherical K\"ahler orbifold. We discuss the structure of the isometry group $\mathrm{Isom}(G/H)$ for a Sasaki metric of $G/H$ in relation with the pseudo-Hermitian group $\mathrm{Psh} (G/H)$ for the Sasaki structure of $G/H$. We show that a Sasaki Lie group $G$, when $\Gamma\big\backslash G$ is a compact locally homogeneous aspherical Sasaki manifold, is either the universal covering group of $SL(2,R)$ or a modification of a Heisenberg nilpotent Lie group with its natural Sasaki structure. In addition, we classify all aspherical Sasaki homogeneous spaces for semisimple Lie groups.


title: Modified Pade approach for analytic continuation: Application to the zero-gap Kondo lattice model

abstract: A modified Pade approach is presented as analytic continuation for numerical methods that evaluate correlation functions in imaginary time. Instead of the direct analytic continuation of the correlation functions, the Pade method is applied for the self-energy that is then used for deriving the Green's functions at real energies. We find that this modified, self-energy Pade approach is more stable and robust against statistical errors compared to the direct way. The characteristics and success of the modified Pade approach are analyzed by actual calculations for the illustrative cases of the non-interacting Anderson lattice and Hubbard model. A zero-gap Kondo lattice model with linearly vanishing conduction electron density of states at the Fermi level is also studied, where we use the modified Pade approach as analytic continuation. We investigate the properties of the Kondo insulating state including the dependence of the insulating gap on the Kondo coupling and coherence effects. Furthermore, we identify two energy scales from dynamic and thermodynamic quantities, that are associated as a direct and an indirect gap in a band hybridization picture.


title: On the structure of quantum vertex algebras

abstract: A definition of a quantum vertex algebra, which is a deformation of a vertex algebra, was proposed by Etingof and Kazhdan in 1998. In a nutshell, a quantum vertex algebra is a braided state-field correspondence which satisfies associativity and braided locality axioms. We develop a structure theory of quantum vertex algebras, parallel to that of vertex algebras. In particular, we introduce braided n-products for a braided state-field correspondence and prove for quantum vertex algebras a version of the Borcherds identity.


title: Definability, interpretations and \'etale fundamental groups

abstract: The aim of the paper and of a wider project is to translate main notions of anabelian geometry into the language of model theory. Here we finish with giving the definition of the \'etale fundamental group $\pi^{et}_1(X,x)$ of a non-singular quasiprojective scheme over a field of characteristic 0.


title: The KdV equation on the half-line: Time-periodicity and mass transport

abstract: The work presented here emanates from questions arising from experimental observations of the propagation of surface water waves. The experiments in question featured a periodically moving wavemaker located at one end of a flume that generated unidirectional waves of relatively small amplitude and long wavelength when compared with the undisturbed depth. It was observed that the wave profile at any point down the channel very quickly became periodic in time with the same period as that of the wavemaker. One of the questions dealt with here is whether or not such a property holds for model equations for such waves. In the present discussion, this is examined in the context of the Korteweg-de Vries equation using the recently developed version of the inverse scattering theory for boundary value problems put forward by Fokas and his collaborators. It turns out that the Korteweg-de Vries equation does possess the properly that solutions at a fixed point down the channel have the property of asymptotic periodicity in time when forced periodically at the boundary. However, a more subtle issue to do with conservation of mass fails to hold at the second order in a small parameter which is the typical wave amplitude divided by the undisturbed depth.


title: Global solutions of 3D incompressible MHD system with mixed partial dissipation and magnetic diffusion near an equilibrium

abstract: This paper focuses on the 3D incompressible magnetohydrodynamic (MHD) equations with mixed partial dissipation and magnetic diffusion. Our main result assesses the global stability of perturbations near the steady solution given by a background magnetic field. The stability problem on the MHD equations with partial or no dissipation has attracted considerable interests recently and there are substantial developments. The new stability result presented here is among the very few stability conclusions currently available for ideal or partially dissipated MHD equations. As a special consequence of the techniques introduced in this paper, we obtain the small data global well-posedness for the 3D incompressible Navier-Stokes equations without vertical dissipation.


title: Enhanced spin state readout of Nitrogen-Vacancy centers in diamond using IR fluorescence

abstract: Nitrogen-Vacancy (NV) centers in diamond have been used in recent years for a wide range of applications, from nano-scale NMR to quantum computation. These applications depend strongly on the efficient readout of the NV center's spin state, which is currently limited. Here we suggest a method of reading the NV center's spin state, using the weak optical transition in the singlet manifold. We numerically calculate the number of photons collected from each spin state using this technique, and show that an order of magnitude enhancement in spin readout signal-to-noise ratio is expected, making single-shot spin readout within reach. Thus, this method could lead to an order of magnitude enhancement in sensitivity for ubiquitous NV based sensing applications, and remove a major obstacle from using NVs for quantum information processing.


title: ATLAS Measurements of CP Violation and Rare Decays in Beauty Mesons

abstract: The ATLAS experiment at the Large Hadron Collider (LHC) has performed accurate measurements of mixing and CP violation in the neutral B mesons, and also of rare processes happening in electroweak FCNC-suppressed neutral B-mesons decays. This contribution focuses on the latest results from ATLAS, including measurements of rare processes $B^0_s \to \mu^+\mu^-$ and $B^0 \to \mu^+\mu^-$, and measurements of CP violation in $B^0_s \to J/\psi\phi$.


title: Selecting stock pairs for pairs trading while incorporating lead-lag relationship

abstract: Pairs Trading is carried out in the financial market to earn huge profits from known equilibrium relation between pairs of stock. In financial markets, seldom it is seen that stock pairs are correlated at particular lead or lag. This lead-lag relationship has been empirically studied in various financial markets. Earlier research works have suggested various measures for identifying the best pairs for pairs trading, but they do not consider this lead-lag effect. The present study proposes a new distance measure which incorporates the lead-lag relationship between the stocks while selecting the best pairs for pairs trading. Further, the lead-lag value between the stocks is allowed to vary continuously over time. The proposed measures importance has been show-cased through experimentation on two different datasets, one corresponding to Indian companies and another corresponding to American companies. When the proposed measure is clubbed with SSD measure, i.e., when pairs are identified through optimising both these measures, then the selected pairs consistently generate the best profit, as compared to all other measures. Finally, possible generalisation and extension of the proposed distance measure have been discussed.


title: Extending the Near-infrared Band-edge Absorption Spectrum of Silicon by Proximity to a 2D Semiconductor

abstract: Because of its low-cost, silicon is the standard material for photovoltaic conversion. Yet, its band-edge absorption spectrum is narrower than the spectrum of the solar radiation, which reduces its conversion efficiency. In this paper, it is shown that the spectrum of absorbance of silicon can be extended to longer wavelengths by proximity to a two-dimensional (2D) semiconductor. Photo-induced Hall effect, together with standard absorption spectroscopy, was employed to estimate the increase of efficiency of absorbance of a 2D-platinum-diselenide/intrinsic-silicon bilayer. The bilayer shows a significantly higher absorption in the infrared as compared to the single films. Moreover, an overall increase of absorption efficiency by a factor twenty was measured in the entire spectrum of light of a halogen lamp. X-ray Photoelectron Spectroscopy (XPS) confirms that a reduction of the band-gap occurs in the silicon substrate at the interface between the two semiconductors. The results are interpreted in the framework of band-gap narrowing due to hole-plasma confinement in the Si, induced by electron-confinement in the 2D film. Possible application of the effect in photo-voltaic cells is discussed.


title: Higher-Order Ranking and Link Prediction: From Closing Triangles to Closing Higher-Order Motifs

abstract: In this paper, we introduce the notion of motif closure and describe higher-order ranking and link prediction methods based on the notion of closing higher-order network motifs. The methods are fast and efficient for real-time ranking and link prediction-based applications such as web search, online advertising, and recommendation. In such applications, real-time performance is critical. The proposed methods do not require any explicit training data, nor do they derive an embedding from the graph data, or perform any explicit learning. Existing methods with the above desired properties are all based on closing triangles (common neighbors, Jaccard similarity, and the ilk). In this work, we investigate higher-order network motifs and develop techniques based on the notion of closing higher-order motifs that move beyond closing simple triangles. All methods described in this work are fast with a runtime that is sublinear in the number of nodes. The experimental results indicate the importance of closing higher-order motifs for ranking and link prediction applications. Finally, the proposed notion of higher-order motif closure can serve as a basis for studying and developing better ranking and link prediction methods.


title: Intermediate asymptotics on dynamical impact of solid sphere on mili-textured surface

abstract: Complex phenomena incorporating several physical properties are abundant while they are occasionally revealing the variation of power-law behavior depending on the scale. In this present work, the global scaling-behavior of dynamical impact of solid sphere onto elastic surface is described. Its fundamental dimensionless function was successfully obtained by applying the dimensional analysis combined with the solution by energy conservation complementally. It demonstrates that its power-law behavior is given by the competition between two power-law relations representing inertial and elastic property respectively which is strengthened by scale size of sphere. These factors are successfully summarized by the newly defined dimensionless parameters which gives two intermediate asymptotics in different scale range. These power-law behaviors given by the theoretical model were compared with experimental results, showing good agreement. This study supplies the insights to dimensional analysis and self-similarity in general.


title: Probing Multilingual Sentence Representations With X-Probe

abstract: This paper extends the task of probing sentence representations for linguistic insight in a multilingual domain. In doing so, we make two contributions: first, we provide datasets for multilingual probing, derived from Wikipedia, in five languages, viz. English, French, German, Spanish and Russian. Second, we evaluate six sentence encoders for each language, each trained by mapping sentence representations to English sentence representations, using sentences in a parallel corpus. We discover that cross-lingually mapped representations are often better at retaining certain linguistic information than representations derived from English encoders trained on natural language inference (NLI) as a downstream task.


title: Unified Semantic Parsing with Weak Supervision

abstract: Semantic parsing over multiple knowledge bases enables a parser to exploit structural similarities of programs across the multiple domains. However, the fundamental challenge lies in obtaining high-quality annotations of (utterance, program) pairs across various domains needed for training such models. To overcome this, we propose a novel framework to build a unified multi-domain enabled semantic parser trained only with weak supervision (denotations). Weakly supervised training is particularly arduous as the program search space grows exponentially in a multi-domain setting. To solve this, we incorporate a multi-policy distillation mechanism in which we first train domain-specific semantic parsers (teachers) using weak supervision in the absence of the ground truth programs, followed by training a single unified parser (student) from the domain specific policies obtained from these teachers. The resultant semantic parser is not only compact but also generalizes better, and generates more accurate programs. It further does not require the user to provide a domain label while querying. On the standard Overnight dataset (containing multiple domains), we demonstrate that the proposed model improves performance by 20% in terms of denotation accuracy in comparison to baseline techniques.


title: Multi-spatial Scale Event Detection from Geo-tagged Tweet Streams via Power-law Verification

abstract: Compared with traditional news media, social media nowadays provides a richer and more timely source of news. We are interested in multi-spatial level event detection from geo-tagged tweet streams. Specifically, in this paper we (1) examine the statistical characteristic for the time series of the number of geo-tagged tweets posted from specific regions during a short time interval, e.g., ten seconds or one minute; (2) verify from over thirty datasets that while almost all such time series exhibit self-similarity, those that correspond to events, especially short-term and unplanned outbursts, follow a power-law distribution; (3) demonstrate that these findings can be applied to facilitate event detection from tweet streams. We propose two algorithms---Power-law basic and Power-law advanced, where Power-law basic only checks the existence of power-law distributions in the time series from tweet streams at multi-spatial scales, without looking into the content of each tweet, and Power-law advanced integrates power-law verification with semantic analysis via word embedding. Our experiments on multiple datasets show that by considering spatio-temporal statistical distributions of tweets alone, the seemingly naive algorithm of Power-law basic achieves comparable results with more advanced event detection methods, while the semantic analysis enhanced version, Power-law advanced, can significantly increase both the precision and the recall.


title: Estimation and correction of the instrumental perturbations of Vainu Bappu Telescope Echelle spectrograph using a model-based approach

abstract: The Echelle spectrograph operating at Vainu Bappu Telescope (VBT), India, is a general purpose instrument used for many high-resolution spectroscopic observations. A concerted effort is being made to expand the scientific capability of the instrument in emerging areas of observational astronomy. The present study is aimed at evaluating the feasibility of the spectrograph to carry out precision Radial Velocity (RV) measurements. In the current design, major factors limiting the RV precision of the spectrograph arise from the movable grating and slit; optical aberrations; positional uncertainty associated with optomechanical mounts and environmental and thermal instabilities in the spectrograph room. RV instabilities due to temperature and pressure variations in the environment are estimated to vary around 120 $ \textrm{ms}^{-1} $ and 400 $ \textrm{ms}^{-1} $ respectively. The positional uncertainty of the grating in the spectrograph could induce a spectral shift $\sim1.4\,\textrm{kms}^{-1} $ across the Echelle orders. A Zemax model is used to overcome the uncertainty in the zero-positioning and lack of repeatability of the moving components. We propose to obtain the ThAr lamp observations and using the Zemax model as the reference, predict the drifts in the positions of the optical components. The perturbations of the optical components from the nominal position are corrected at the beginning of the observational run. After a good match is obtained between the model and the observations, we propose to use a Zemax model to improve the wavelength calibration solution. We could match the observations and model within $\pm$~1 pixels accuracy after the model parameters were perturbed in a real-time setup of the spectrograph. In this paper, we present the estimation of the perturbations of optical components and the effect on the RV obtained.


title: Deep Smoothing of the Implied Volatility Surface

abstract: We present a neural network (NN) approach to fit and predict implied volatility surfaces (IVSs). Atypically to standard NN applications, financial industry practitioners use such models equally to replicate market prices and to value other financial instruments. In other words, low training losses are as important as generalization capabilities. Importantly, IVS models need to generate realistic arbitrage-free option prices, meaning that no portfolio can lead to risk-free profits. We propose an approach guaranteeing the absence of arbitrage opportunities by penalizing the loss using soft constraints. Furthermore, our method can be combined with standard IVS models in quantitative finance, thus providing a NN-based correction when such models fail at replicating observed market prices. This lets practitioners use our approach as a plug-in on top of classical methods. Empirical results show that this approach is particularly useful when only sparse or erroneous data are available. We also quantify the uncertainty of the model predictions in regions with few or no observations. We further explore how deeper NNs improve over shallower ones, as well as other properties of the network architecture. We benchmark our method against standard IVS models. By evaluating our method on both training sets, and testing sets, namely, we highlight both their capacity to reproduce observed prices and predict new ones.


title: Polynomial-time Updates of Epistemic States in a Fragment of Probabilistic Epistemic Argumentation (Technical Report)

abstract: Probabilistic epistemic argumentation allows for reasoning about argumentation problems in a way that is well founded by probability theory. Epistemic states are represented by probability functions over possible worlds and can be adjusted to new beliefs using update operators. While the use of probability functions puts this approach on a solid foundational basis, it also causes computational challenges as the amount of data to process depends exponentially on the number of arguments. This leads to bottlenecks in applications such as modelling opponent's beliefs for persuasion dialogues. We show how update operators over probability functions can be related to update operators over much more compact representations that allow polynomial-time updates. We discuss the cognitive and probabilistic-logical plausibility of this approach and demonstrate its applicability in computational persuasion.


title: Elastic propagation of fast electron vortices through amorphous materials

abstract: In this work, we study the elastic scattering behavior of electron vortices when propagating through amorphous samples. We use a formulation of the multislice approach in cylindrical coordinates to theoretically investigate the redistribution of intensity between different angular momentum components due to scattering. To corroborate and elaborate on our theoretical results, we perform extensive numerical simulations on three model systems (Si$_3$N$_4$, Fe$_{0.8}$B$_{0.2}$, Pt) for a wide variety of experimental parameters to quantify the purity of the vortices, the net angular momentum transfer, and the variability of the results with respect to the random relative position between the electron beam and the scattering atoms. These results will help scientists to further improve the creation of electron vortices and enhance applications involving them.


title: On functional equations for the elliptic dilogarithm

abstract: Let $E$ be an elliptic curve over an algebraically closed field of characteristic 0. We prove that the pre-Bloch group of the function field of $E$ can be generated by the functions of degree not higher than 3. We apply this result to the elliptic dilogarithm function defined by S. Bloch. He has shown that any element of the pre-Bloch group gives a (so-called elliptic Bloch) relation between the values of the so-called Elliptic dilogarithm. We conclude that any elliptic Bloch relation can be reduced to the antisymmetry relation and the elliptic Bloch relations for the functions of degree 3.


title: Fault-Tolerant Path-Embedding of Twisted Hypercube-Like Networks THLNs

abstract: The twisted hypercube-like networks($THLNs$) contain several important hypercube variants. This paper is concerned with the fault-tolerant path-embedding of $n$-dimensional($n$-$D$) $THLNs$. Let $G_n$ be an $n$-$D$ $THLN$ and $F$ be a subset of $V(G_n)\cup E(G_n)$ with $|F|\leq n-2$. We show that for arbitrary two different correct vertices $u$ and $v$, there is a faultless path $P_{uv}$ of every length $l$ with $2^{n-1}-1\leq l\leq 2^n-f_v-1-\alpha$, where $\alpha=0$ if vertices $u$ and $v$ form a normal vertex-pair and $\alpha=1$ if vertices $u$ and $v$ form a weak vertex-pair in $G_n-F$($n\geq5$).