title: Ordered field valued continuous functions with countable range

abstract: For a Hausdorff zero-dimensional topological space $X$ and a totally ordered field $F$ with interval topology, let $C_c(X,F)$ be the ring of all $F-$valued continuous functions on $X$ with countable range. It is proved that if $F$ is either an uncountable field or countable subfield of $\mathbb{R}$, then the structure space of $C_c(X,F)$ is $\beta_0X$, the Banaschewski Compactification of $X$. The ideals $\{O^{p,F}_c:p\in \beta_0X\}$ in $C_c(X,F)$ are introduced as modified countable analogue of the ideals $\{O^p:p\in\beta X\}$ in $C(X)$. It is realized that $C_c(X,F)\cap C_K(X,F)=\bigcap_{p\in\beta_0X\texttt{\textbackslash}X} O^{p,F}_c$, this may be called a countable analogue of the well-known formula $C_K(X)=\bigcap_{p\in\beta X\texttt{\textbackslash}X}O^p$ in $C(X)$. Furthermore, it is shown that the hypothesis $C_c(X,F)$ is a Von-Neumann regular ring is equivalent to amongst others the condition that $X$ is a $P-$space.


title: A Unifying Framework for Adaptive Radar Detection in the Presence of Multiple Alternative Hypotheses

abstract: In this paper, we develop a new elegant framework relying on the Kullback-Leibler Information Criterion to address the design of one-stage adaptive detection architectures for multiple hypothesis testing problems. Specifically, at the design stage, we assume that several alternative hypotheses may be in force and that only one null hypothesis exists. Then, starting from the case where all the parameters are known and proceeding until the case where the adaptivity with respect to the entire parameter set is required, we come up with decision schemes for multiple alternative hypotheses consisting of the sum between the compressed log-likelihood ratio based upon the available data and a penalty term accounting for the number of unknown parameters. The latter rises from suitable approximations of the Kullback-Leibler Divergence between the true and a candidate probability density function. Interestingly, under specific constraints, the proposed decision schemes can share the constant false alarm rate property by virtue of the Invariance Principle. Finally, we show the effectiveness of the proposed framework through the application to examples of practical value in the context of radar detection also in comparison with two-stage competitors. This analysis highlights that the architectures devised within the proposed framework represent an effective means to deal with detection problems where the uncertainty on some parameters leads to multiple alternative hypotheses.


title: Random Composition of L-S-V Maps Sampled Over Large Parameter Ranges

abstract: Liverani-Saussol-Vaienti (L-S-V) maps form a family of piecewise differentiable dynamical systems on $[0,1]$ depending on one parameter $\omega\in\mathbb R^+$. These maps are everywhere expanding apart from a neutral fixed point. It is well known that depending on the amount of expansion close to the neutral point, they have either an absolutely continuous invariant probability measure and polynomial decay of correlations ($\omega <1$), or a unique physical measure that is singular and concentrated at the neutral point ($\omega >1$). In this paper, we study the composition of L-S-V maps whose parameters are randomly sampled from a range in $\mathbb R^+$, and where these two contrasting behaviours are mixed. We show that if the parameters $\omega<1$ are sampled with positive probability, then the stationary measure of the random system is absolutely continuous; the annealed decay rate of correlations is close (or in some cases equal) to the fastest rate of decay among those of the sampled systems; and suitably rescaled Birkhoff averages converge to limit laws. In contrast to previous studies where $\omega \in [0,1]$, we allow $ \omega >1$ in our sampling distribution. We also show that one can obtain similar decay of correlation rates for $\omega \in [0,\infty)$, when sampling is done with respect to a family of smooth, heavy-tailed distributions.


title: A modified MSA for stochastic control problems

abstract: The classical Method of Successive Approximations (MSA) is an iterative method for solving stochastic control problems and is derived from Pontryagin's optimality principle. It is known that the MSA may fail to converge. Using careful estimates for the backward stochastic differential equation (BSDE) this paper suggests a modification to the MSA algorithm. This modified MSA is shown to converge for general stochastic control problems with control in both the drift and diffusion coefficients. Under some additional assumptions the rate of convergence is shown. The results are valid without restrictions on the time horizon of the control problem, in contrast to iterative methods based on the theory of forward-backward stochastic differential equations.


title: Intrinsic characterizations of $C$-realcompact spaces

abstract: $c$-realcompact spaces are introduced by Karamzadeh and Keshtkar in Quaest. Math. 41(8), 2018, 1135-1167. We offer a characterization of these spaces $X$ via $c$-stable family of closed sets in $X$ by showing that $X$ is $c$-realcompact if and only if each $c$-stable family of closed sets in $X$ with finite intersection property has nonempty intersection. This last condition which makes sense for an arbitrary topological space can be taken as an alternative definition of a $c$-realcompact space. We show that each topological space can be extended as a dense subspace to a $c$-realcompact space with some desired extension property. An allied class of spaces viz $CP$-compact spaces akin to that of $c$-realcompact spaces are introduced. The paper ends after examining how far a known class of $c$-realcompact spaces could be realized as $CP$-compact for appropriately chosen ideal $P$ of closed sets in $X$.


title: On the p-adic uniformization of unitary Shimura curves

abstract: We prove $p$-adic uniformization for Shimura curves attached to the group of unitary similitudes of certain binary skew hermitian spaces $V$ with respect to an arbitrary CM field $K$ with maximal totally real subfield $F$. For a place $v|p$ of $F$ that is not split in $K$ and for which $V_v$ is anisotropic, let $\nu$ be an extension of $v$ to the reflex field $E$. We define an integral model of the corresponding Shimura curve over ${\rm Spec}\, O_{E, (\nu)}$ by means of a moduli problem for abelian schemes with suitable polarization and level structure prime to $p$. The formulation of the moduli problem involves a Kottwitz condition, an Eisenstein condition, and an adjusted invariant. The first two conditions are conditions on the Lie algebra of the abelian varieties; the last condition is a condition on the Riemann form of the polarization. The uniformization of the formal completion of this model along its special fiber is given in terms of the formal Drinfeld upper half plane for $F_v$. The proof relies on the construction of the contracting functor which relates a relative Rapoport-Zink space for strict formal $O_{F_v}$-modules with a Rapoport-Zink space of $p$-divisible groups which arise from the moduli problem, where the $O_{F_v}$-action is usually not strict when $F_v\ne \mathbb {Q}_p$. Our main tool is the theory of displays, in particular the Ahsendorf functor.


title: Towards Tracking Data Flows in Cloud Architectures

abstract: As cloud services become central in an increasing number of applications, they process and store more personal and business-critical data. At the same time, privacy and compliance regulations such as GDPR, the EU ePrivacy regulation, PCI, and the upcoming EU Cybersecurity Act raise the bar for secure processing and traceability of critical data. Especially the demand to provide information about existing data records of an individual and the ability to delete them on demand is central in privacy regulations. Common to these requirements is that cloud providers must be able to track data as it flows across the different services to ensure that it never moves outside of the legitimate realm, and it is known at all times where a specific copy of a record that belongs to a specific individual or business process is located. However, current cloud architectures do neither provide the means to holistically track data flows across different services nor to enforce policies on data flows. In this paper, we point out the deficits in the data flow tracking functionalities of major cloud providers by means of a set of practical experiments. We then generalize from these experiments introducing a generic architecture that aims at solving the problem of cloud-wide data flow tracking and show how it can be built in a Kubernetes-based prototype implementation.


title: Finite-$N$ corrections to the M-brane indices

abstract: We investigate finite-$N$ corrections to the superconformal indices of the theories realized on M2- and M5-branes. For three-dimensional theories realized on a stack of $N$ M2-branes we calculate the finite-$N$ corrections as the contribution of extended M5-branes in the dual geometry $AdS_4\times \boldsymbol{S}^7$. We take only M5-brane configurations with a single wrapping into account, and neglect multiple-wrapping configurations. We compare the results with the indices calculated from the ABJM theory, and find agreement up to expected errors due to the multiple wrapping. For six-dimensional theories on $N$ M5-branes we calculate the indices by analyzing extended M2-branes in $AdS_7\times \boldsymbol{S}^4$. Again, we include only configurations with single wrapping. We first compare the result for $N=1$ with the index of the free tensor multiplet to estimate the order of the error due to multiple wrapping. We calculate first few terms of the index of $A_{N-1}$ theories explicitly, and confirm that they can be expanded by superconformal representations. We also discuss multiple-wrapping contributions to the six-dimensional Schur-like index.


title: Gated Recurrent Context: Softmax-free Attention for Online Encoder-Decoder Speech Recognition

abstract: Recently, attention-based encoder-decoder (AED) models have shown state-of-the-art performance in automatic speech recognition (ASR). As the original AED models with global attentions are not capable of online inference, various online attention schemes have been developed to reduce ASR latency for better user experience. However, a common limitation of the conventional softmax-based online attention approaches is that they introduce an additional hyperparameter related to the length of the attention window, requiring multiple trials of model training for tuning the hyperparameter. In order to deal with this problem, we propose a novel softmax-free attention method and its modified formulation for online attention, which does not need any additional hyperparameter at the training phase. Through a number of ASR experiments, we demonstrate the tradeoff between the latency and performance of the proposed online attention technique can be controlled by merely adjusting a threshold at the test phase. Furthermore, the proposed methods showed competitive performance to the conventional global and online attentions in terms of word-error-rates (WERs).


title: Principal Loading Analysis

abstract: This paper proposes a tool for dimension reduction where the dimension of the original space is reduced: a Principal Loading Analysis (PLA). PLA is a tool to reduce dimensions by discarding variables. The intuition is that variables are dropped which distort the covariance matrix only by a little. Our method is introduced and an algorithm for conducting PLA is provided. Further, we give bounds for the noise arising in the sample case.


title: Price Optimization in Fashion E-commerce

abstract: With the rapid growth in the fashion e-commerce industry, it is becoming extremely challenging for the E-tailers to set an optimal price point for all the products on the platform. By establishing an optimal price point, they can maximize overall revenue and profit for the platform. In this paper, we propose a novel machine learning and optimization technique to find the optimal price point at an individual product level. It comprises three major components. Firstly, we use a demand prediction model to predict the next day demand for each product at a certain discount percentage. Next step, we use the concept of price elasticity of demand to get the multiple demand values by varying the discount percentage. Thus we obtain multiple price demand pairs for each product and we have to choose one of them for the live platform. Typically fashion e-commerce has millions of products, so there can be many permutations. Each permutation will assign a unique price point for all the products, which will sum up to a unique revenue number. To choose the best permutation which gives maximum revenue, a linear programming optimization technique is used. We have deployed the above methods in the live production environment and conducted several AB tests. According to the AB test result, our model is improving the revenue by 1 percent and gross margin by 0.81 percent.


title: Polynomials related to chromatic polynomials

abstract: For a simple graph $G$, let $\chi(G,x)$ denote the chromatic polynomial of $G$. This manuscript introduces some polynomials which are related to chromatic polynomial and their relations.


title: Preparing Nuclear Astrophysics for Exascale

abstract: Astrophysical explosions such as supernovae are fascinating events that require sophisticated algorithms and substantial computational power to model. Castro and MAESTROeX are nuclear astrophysics codes that simulate thermonuclear fusion in the context of supernovae and X-ray bursts. Examining these nuclear burning processes using high resolution simulations is critical for understanding how these astrophysical explosions occur. In this paper we describe the changes that have been made to these codes to transform them from standard MPI + OpenMP codes targeted at petascale CPU-based systems into a form compatible with the pre-exascale systems now online and the exascale systems coming soon. We then discuss what new science is possible to run on systems such as Summit and Perlmutter that could not have been achieved on the previous generation of supercomputers.


title: Orbital spin dynamics of a millisecond pulsar around a massive black hole with an general mass quadrupole

abstract: We investigate the spin dynamics of a millisecond pulsar (MSP) in compact orbit around a Kerr-like massive black hole with an general mass quadrupole. We use the Mathisson-Papetrou-Dixon formulation to compute the orbital and spin evolution of the MSP, accounting for the non-linear interaction of the pulsar's energy-momentum tensor on the background spacetime metric. We investigate how the MSP spin and BH quadrupole moment manifest in the pulsar spin-orbital dynamics. We discuss the astrophysical observational implications of these spin and orbital dynamics on the timing of a radio pulsar in an Extreme Mass Ratio Binary, e.g. a Galactic Centre pulsar. In particular, notable timing variations in the Einstein delay and Roemer delay are observed, along with modifications to the pulsar pulse profile.


title: Efficient Unpaired Image Dehazing with Cyclic Perceptual-Depth Supervision

abstract: Image dehazing without paired haze-free images is of immense importance, as acquiring paired images often entails significant cost. However, we observe that previous unpaired image dehazing approaches tend to suffer from performance degradation near depth borders, where depth tends to vary abruptly. Hence, we propose to anneal the depth border degradation in unpaired image dehazing with cyclic perceptual-depth supervision. Coupled with the dual-path feature re-using backbones of the generators and discriminators, our model achieves $\mathbf{20.36}$ Peak Signal-to-Noise Ratio (PSNR) on NYU Depth V2 dataset, significantly outperforming its predecessors with reduced Floating Point Operations (FLOPs).


title: Accurate Closed-Form Approximations to Channel Distributions of RIS-Aided Wireless Systems

abstract: This paper proposes highly accurate closed-form approximations to channel distributions of two different reconfigurable intelligent surface (RIS)-based wireless system setups, namely, dual-hop RIS-aided (RIS-DH) scheme and RIS-aided transmit (RIS-T) scheme. Differently from previous works, the proposed approximations reveal to be very tight for arbitrary number $N$ of reflecting metasurface's elements. Our findings are then applied to the performance analysis of the considered systems, in which the outage probability, bit error rate, and average channel capacity are derived. Results show that the achievable diversity orders $G_d$ for RIS-DH and RIS-T schemes are $N-1<G_d<N$ and $N$, respectively. Furthermore, it is revealed that both schemes can not provide the multiplexing gain and only diversity gains are achieved. For the RIS-DH scheme, the channels are similar to the keyhole multiple-input multiple-output (MIMO) channels with only one degree of freedom, while the RIS-T scheme is like the transmit diversity structure.


title: Five-Full-Block Structured Singular Values of Real Matrices Equal Their Upper Bounds

abstract: We show that the structured singular value of a real matrix with respect to five full complex uncertainty blocks equals its convex upper bound. This is done by formulating the equality conditions as a feasibility SDP and invoking a result on the existence of a low-rank solution. A counterexample is given for the case of six uncertainty blocks. Known results are also revisited using the proposed approach.


title: Distillation Guided Residual Learning for Binary Convolutional Neural Networks

abstract: It is challenging to bridge the performance gap between Binary CNN (BCNN) and Floating point CNN (FCNN). We observe that, this performance gap leads to substantial residuals between intermediate feature maps of BCNN and FCNN. To minimize the performance gap, we enforce BCNN to produce similar intermediate feature maps with the ones of FCNN. This training strategy, i.e., optimizing each binary convolutional block with block-wise distillation loss derived from FCNN, leads to a more effective optimization to BCNN. It also motivates us to update the binary convolutional block architecture to facilitate the optimization of block-wise distillation loss. Specifically, a lightweight shortcut branch is inserted into each binary convolutional block to complement residuals at each block. Benefited from its Squeeze-and-Interaction (SI) structure, this shortcut branch introduces a fraction of parameters, e.g., 10\% overheads, but effectively complements the residuals. Extensive experiments on ImageNet demonstrate the superior performance of our method in both classification efficiency and accuracy, e.g., BCNN trained with our methods achieves the accuracy of 60.45\% on ImageNet.


title: Automatic Segmentation of Non-Tumor Tissues in Glioma MR Brain Images Using Deformable Registration with Partial Convolutional Networks

abstract: In brain tumor diagnosis and surgical planning, segmentation of tumor regions and accurate analysis of surrounding normal tissues are necessary for physicians. Pathological variability often renders difficulty to register a well-labeled normal atlas to such images and to automatic segment/label surrounding normal brain tissues. In this paper, we propose a new registration approach that first segments brain tumor using a U-Net and then simulates missed normal tissues within the tumor region using a partial convolutional network. Then, a standard normal brain atlas image is registered onto such tumor-removed images in order to segment/label the normal brain tissues. In this way, our new approach greatly reduces the effects of pathological variability in deformable registration and segments the normal tissues surrounding brain tumor well. In experiments, we used MICCAI BraTS2018 T1 tumor images to evaluate the proposed algorithm. By comparing direct registration with the proposed algorithm, the results showed that the Dice coefficient for gray matters was significantly improved for surrounding normal brain tissues.


title: Miss the Point: Targeted Adversarial Attack on Multiple Landmark Detection

abstract: Recent methods in multiple landmark detection based on deep convolutional neural networks (CNNs) reach high accuracy and improve traditional clinical workflow. However, the vulnerability of CNNs to adversarial-example attacks can be easily exploited to break classification and segmentation tasks. This paper is the first to study how fragile a CNN-based model on multiple landmark detection to adversarial perturbations. Specifically, we propose a novel Adaptive Targeted Iterative FGSM (ATI-FGSM) attack against the state-of-the-art models in multiple landmark detection. The attacker can use ATI-FGSM to precisely control the model predictions of arbitrarily selected landmarks, while keeping other stationary landmarks still, by adding imperceptible perturbations to the original image. A comprehensive evaluation on a public dataset for cephalometric landmark detection demonstrates that the adversarial examples generated by ATI-FGSM break the CNN-based network more effectively and efficiently, compared with the original Iterative FGSM attack. Our work reveals serious threats to patients' health. Furthermore, we discuss the limitations of our method and provide potential defense directions, by investigating the coupling effect of nearby landmarks, i.e., a major source of divergence in our experiments. Our source code is available at https://github.com/qsyao/attack_landmark_detection.


title: Beam-Driven Systems, Plasma Wakefield Acceleration

abstract: We expand on the material that was published in the previous Proceedings of the CERN Accelerator School on Plasma Wakefield Acceleration. The material focused on Plasma Wakefield Acceleration in the short, narrow bunch regime. After a brief introduction, we describe Plasma Wakefield Acceleration driven by a bunch train. We then attempt to give simple and intuitive descriptions of bunch self-modulation, occurring when the bunch is long, and of current filamentation, occurring when the bunch is wide. Self-modulation is a means to use existing bunches carrying large amounts of energy to drive plasma wakefields. Current filamentation instability imposes a limitation on how wide a particle bunch can be before transverse break-up may disrupt the wakefields generation and the acceleration process. As in the previous material, we show sample experimental results that demonstrate that much of the physics at play has been observed experimentally.


title: Battery Recharging Time Models for Reconfigurable Intelligent Surface-Assisted Wireless Power Transfer Systems

abstract: In this paper, we develop an analytical framework for the statistical analysis of the battery recharging time (BRT) in reconfigurable intelligent surfaces (RISs) aided wireless power transfer (WPT) systems. Specifically, we derive novel closed-form expressions for the probability density function (PDF), cumulative distribution function, and moments of the BRT of the radio frequency energy harvesting wireless nodes. Moreover, closed-form expressions of the the PDF of the BRT is obtained for two special cases: i) when the RIS is equipped with one reflecting element (RE), ii) when the RIS consists of a large number of REs. Capitalizing on the derived expressions, we offer a comprehensive treatment for the statistical characterization of the BRT and study the impact of the system and battery parameters on its performance. Our results reveal that the proposed statistical models are analytically tractable, accurate, and efficient in assessing the sustainability of RIS-assisted WPT networks and in providing key design insights for large-scale future wireless applications. For example, we demonstrate that a 4-fold reduction in the mean time of the BRT can be achieved by doubling the number of RIS elements. Monte Carlo simulation results corroborate the accuracy of the proposed theoretical framework.


title: Cotranscriptional kinetic folding of RNA secondary structures including pseudoknots

abstract: Computational prediction of RNA structures is an important problem in computational structural biology. Studies of RNA structure formation often assume that the process starts from a fully synthesized sequence. Experimental evidence, however, has shown that RNA folds concurrently with its elongation. We investigate RNA secondary structure formation, including pseudoknots, that takes into account the cotranscriptional effects. We propose a single-nucleotide resolution kinetic model of the folding process of RNA molecules, where the polymerase-driven elongation of an RNA strand by a new nucleotide is included as a primitive operation, together with a stochastic simulation method that implements this folding concurrently with the transcriptional synthesis. Numerical case studies show that our cotranscriptional RNA folding model can predict the formation of conformations that are favored in actual biological systems. Our new computational tool can thus provide quantitative predictions and offer useful insights into the kinetics of RNA folding.


title: Hyperfine Group Ratio: A Recipe for Deriving Kinetic Temperature from Ammonia Inversion Lines

abstract: Although ammonia is a widely used interstellar thermometer, the estimation of its rotational and kinetic temperatures can be affected by the blended Hyperfine Components (HFCs). We developed a new recipe, referred to as the HyperFine Group Ratio (HFGR), which utilizes only direct observables, namely the intensity ratios between the grouped HFCs. As tested on the model spectra, the empirical formulae in HFGR can derive the rotational temperature ($T_{\rm rot}$) from the HFC group ratios in an unambiguous manner. We compared HFGR with two other classical methods, intensity ratio and hyperfine fitting, based on both simulated spectra and real data. HFGR has three major improvements. First, HFGR does not require modeling the HFC or fitting the line profiles, thus is more robust against the effect of HFC blending. Second, the simulation-enabled empirical formulae are much faster than fitting the spectra over the parameter space, so the computer time and human time can be both largely saved. Third, the statistical uncertainty of the temperature $\Delta T_{\rm rot}$ as a function of the signal-to-noise ratio (SNR) is a natural product of the HFGR recipe. The internal error of HFGR is $\Delta T_{\rm rot}\leq0.5$ K over a broad parameter space of rotational temperature (10 to 60 K), line width (0.3 to 4 km/s), and optical depth (0 to 5). When there is a spectral noise, HFGR can also maintain a reasonable uncertainty level at $\Delta T_{\rm rot}\leq 1.0$ K (1 $\sigma$) when SNR > 4.


title: Cross-Attention in Coupled Unmixing Nets for Unsupervised Hyperspectral Super-Resolution

abstract: The recent advancement of deep learning techniques has made great progress on hyperspectral image super-resolution (HSI-SR). Yet the development of unsupervised deep networks remains challenging for this task. To this end, we propose a novel coupled unmixing network with a cross-attention mechanism, CUCaNet for short, to enhance the spatial resolution of HSI by means of higher-spatial-resolution multispectral image (MSI). Inspired by coupled spectral unmixing, a two-stream convolutional autoencoder framework is taken as backbone to jointly decompose MS and HS data into a spectrally meaningful basis and corresponding coefficients. CUCaNet is capable of adaptively learning spectral and spatial response functions from HS-MS correspondences by enforcing reasonable consistency assumptions on the networks. Moreover, a cross-attention module is devised to yield more effective spatial-spectral information transfer in networks. Extensive experiments are conducted on three widely-used HS-MS datasets in comparison with state-of-the-art HSI-SR models, demonstrating the superiority of the CUCaNet in the HSI-SR application. Furthermore, the codes and datasets will be available at: https://github.com/danfenghong/ECCV2020_CUCaNet.


title: On the seismic emission in sunspots associated with Lorentz force changes accompanying major solar flares

abstract: Solar flares are known to generate seismic waves in the Sun. We present a detailed analysis of seismic emission in sunspots accompanying M- and X-class solar flares. For this purpose, we have used high-resolution Dopplergrams and line-of-sight magnetograms at a cadence of 45 s, along with vector magnetograms at a cadence of 135 s obtained from Helioseismic and Magnetic Imager (HMI) instrument aboard the Solar Dynamic Observatory (SDO) space mission. In order to identify the location of flare ribbons and hard X-ray foot-points, we have also used H-alpha chromospheric intensity observations obtained from Global Oscillation Network Group (GONG) instruments and hard X-ray images in 12-25 KeV band from the Reuvan Ramaty High Energy Solar Spectroscopic Imager (RHESSI) spacecraft. The Fast Fourier Transform (FFT) technique is applied to construct the acoustic velocity power map in 2.5-4 mHz band for pre-flare, spanning flare, and post flare epochs for the identification of seismic emission locations in the sunspots. In the power maps, we have selected only those locations which are away from the flare ribbons and hard X-rays foot-points. These regions are believed to be free from any flare related artefacts in the observational data. We have identified concentrated locations of acoustic power enhancements in sunspots accompanying major flares. Our investigation provides evidence that abrupt changes in the magnetic fields and associated impulsive changes in the Lorentz force could be the driving source for these seismic emissions in the sunspots during solar flares.


title: Extended quantum diffusion approach to reactions of astrophysical interests

abstract: The quantum diffusion approach is extended to low energy fusion (capture) reactions of light- and medium-mass nuclei. The dependence of the friction parameter on bombarding energy is taken into account. A simple analytic expression is obtained for the capture probability at extreme sub-barrier energies. The calculated cross-sections are in a good agreement with the experimental data. The fusion excitation functions calculated within the quantum diffusion and WKB approaches are compared and presented in the astrophysical $S$-factor representation.


title: Continual Adaptation for Deep Stereo

abstract: Depth estimation from stereo images is carried out with unmatched results by convolutional neural networks trained end-to-end to regress dense disparities. Like for most tasks, this is possible if large amounts of labelled samples are available for training, possibly covering the whole data distribution encountered at deployment time. Being such an assumption systematically unmet in real applications, the capacity of adapting to any unseen setting becomes of paramount importance. Purposely, we propose a continual adaptation paradigm for deep stereo networks designed to deal with challenging and ever-changing environments. We design a lightweight and modular architecture, Modularly ADaptive Network (MADNet), and formulate Modular ADaptation algorithms (MAD, MAD++) which permit efficient optimization of independent sub-portions of the entire network. In our paradigm, the learning signals needed to continuously adapt models online can be sourced from self-supervision via right-to-left image warping or from traditional stereo algorithms. With both sources, no other data than the input images being gathered at deployment time are needed. Thus, our network architecture and adaptation algorithms realize the first real-time self-adaptive deep stereo system and pave the way for a new paradigm that can facilitate practical deployment of end-to-end architectures for dense disparity regression.


title: Pragmatic information in translation: a corpus-based study of tense and mood in English and German

abstract: Grammatical tense and mood are important linguistic phenomena to consider in natural language processing (NLP) research. We consider the correspondence between English and German tense and mood in translation. Human translators do not find this correspondence easy, and as we will show through careful analysis, there are no simplistic ways to map tense and mood from one language to another. Our observations about the challenges of human translation of tense and mood have important implications for multilingual NLP. Of particular importance is the challenge of modeling tense and mood in rule-based, phrase-based statistical and neural machine translation.


title: Remote trajectory tracking of rigid bodies immersed in a 2D perfect incompressible fluid

abstract: We consider the motion of several rigid bodies immersed in a two-dimensional incompressible perfect fluid. The motion of the rigid bodies is given by the Newton laws with forces due to the fluid pressure and the fluid motion is described by the incompressible Euler equations. Our analysis covers the case where the circulations of the fluid velocity around the bodies are nonzero and where the fluid vorticity is bounded. The whole system occupies a bounded simply connected domain with an external fixed boundary which is impermeable except on an open non-empty part where one allows some fluid to go in and out the domain by controlling the normal velocity and the entering vorticity. We prove that it is possible to exactly achieve any non-colliding smooth motion of the rigid bodies by the remote action of a controlled normal velocity on the outer boundary which takes the form of state-feedback, with zero entering vorticity. This extends the result of (Glass, O., Kolumb{\'a}n, J. J., Sueur, F. (2017). External boundary control of the motion of a rigid body immersed in a perfect two-dimensional fluid. Analysis \& PDE) where the exact controllability of a single rigid body immersed in a 2D irrotational perfect incompressible fluid from an initial position and velocity to a final position and velocity was investigated. The proof relies on a nonlinear method to solve linear perturbations of nonlinear equations associated with a quadratic operator having a regular non-trivial zero. Here this method is applied to a quadratic equation satisfied by a class of boundary controls, which is obtained by extending the reformulation of the Newton equations performed in the uncontrolled case in (Glass, O., Lacave, C., Munnier, A., Sueur, F. (2019). Dynamics of rigid bodies in a two dimensional incompressible perfect fluid. Journal of Differential Equations, 267(6), 3561-3577) to the case where a control acts on the external boundary.


title: Adaptive reconstruction of imperfectly-observed monotone functions, with applications to uncertainty quantification

abstract: Motivated by the desire to numerically calculate rigorous upper and lower bounds on deviation probabilities over large classes of probability distributions, we present an adaptive algorithm for the reconstruction of increasing real-valued functions. While this problem is similar to the classical statistical problem of isotonic regression, the optimisation setting alters several characteristics of the problem and opens natural algorithmic possibilities. We present our algorithm, establish sufficient conditions for convergence of the reconstruction to the ground truth, and apply the method to synthetic test cases and a real-world example of uncertainty quantification for aerodynamic design.


title: On generalized spectra in C*-algebras of operators over C*-algebras

abstract: In this paper we consider shift operators, self-adjoint, unitary and normal operators on the standard module over a unital C*-algebra A. We define various generalized spectra in A of these operators, give description of such spectra of these operators and investigate their further properties.


title: Web View: A Measurement Platform for Depicting Web Browsing Performance and Delivery

abstract: Web browsing is the main Internet Service and every customer wants the minimum web page loading times. To satisfy this perpetual need, web browsers offer new processing engines and increased functionalities. Web developers make use of new programming languages and paradigms, new transport protocols have been introduced, network operators offer increased bandwidth and Content Delivery Networks (CDN) providers deploy web servers closest to end-users. To assess the efficiency of these evolutions, delivered performance is often evaluated into a standalone manner, without considering the whole chain of web browsing. We propose Web View, a measurement platform, which performs automated web browsing sessions on popular websites in a user-representative environment. Through different configurable parameters, Web View measures a wide set of information in order to evaluate the impact of the different parameters (transport protocols, web browsers, CDN, access networks, etc.). Based on those measurements, to ease the understanding of web browsing and the corresponding evolutions, Web View offers a public visualization website (https://webview.orange.com). For instance, with Web View, we were able to detect that the use of different CDNs at different times of the day can decrease loading times up to 400% and that the delivery of content through different transport protocols can decrease loading times up to 79%. This paper presents the Web View measurement platform as well as remarkable events we noticed during more than one year of measurements.


title: Semi-supervised Learning for Aggregated Multilayer Graphs Using Diffuse Interface Methods and Fast Matrix Vector Products

abstract: We generalize a graph-based multiclass semi-supervised classification technique based on diffuse interface methods to multilayer graphs. Besides the treatment of various applications with an inherent multilayer structure, we present a very flexible approach that interprets high-dimensional data in a low-dimensional multilayer graph representation. Highly efficient numerical methods involving the spectral decomposition of the corresponding differential graph operators as well as fast matrix-vector products based on the nonequispaced fast Fourier transform (NFFT) enable the rapid treatment of large and high-dimensional data sets. We perform various numerical tests putting a special focus on image segmentation. In particular, we test the performance of our method on data sets with up to 10 million nodes per layer as well as up to 104 dimensions resulting in graphs with up to 52 layers. While all presented numerical experiments can be run on an average laptop computer, the linear dependence per iteration step of the runtime on the network size in all stages of our algorithm makes it scalable to even larger and higher-dimensional problems.


title: LAMOST Medium-Resolution Spectral Survey of Galactic Nebula (LAMOST MRS-N): An overview of Scientific goals and Survey plan

abstract: Since Sep. 2018, LAMOST started the medium-resolution (R $\sim 7500$) spectral survey (MRS). We proposed the spectral survey of Galactic nebulae, including \hii\ regions, HH objects, supernova remnants, planetary nebulae and the special stars with MRS (LAMOST MRS-N). LAMOST MRS-N covers about 1700 square degrees of the northern Galactic plane within $40^\circ < l < 215^\circ$ and $-5^\circ < b < 5^\circ$. In this 5-year survey, we plan to observe about 500 thousand nebulae spectra. According to the commissioning observations, the nebulae spectra can provide precise radial velocity with uncertainty less than 1 km s$^{-1}$. These high-precision spectral data are of great significance to our understanding of star formation and evolution.


title: Engineering entanglement Hamiltonians with strongly interacting cold atoms in optical traps

abstract: We present a proposal for the realization of entanglement Hamiltonians in one-dimensional critical spin systems with strongly interacting cold atoms. Our approach is based on the notion that the entanglement spectrum of such systems can be realized with a physical Hamiltonian containing a set of position-dependent couplings. We focus on reproducing the universal ratios of the entanglement spectrum for systems in two different geometries: a harmonic trap, which corresponds to a partition embedded in an infinite system, and a linear potential, which reproduces the properties of a half-partition with open boundary conditions. Our results demonstrate the possibility of measuring the entanglement spectra of the Heisenberg and XX models in a realistic cold-atom experimental setting by simply using gravity and standard trapping techniques.


title: A note on point-finite coverings by balls

abstract: We provide an elementary proof of a result by V.P.~Fonf and C.~Zanco on point-finite coverings of separable Hilbert spaces. Indeed, by using a variation of the famous argument introduced by J.~Lindenstrauss and R.R.~Phelps \cite{LP} to prove that the unit ball of a reflexive infinite-dimensional Banach space has uncountably many extreme points, we prove the following result: Let $X$ be an infinite-dimensional Hilbert space satisfying $\mathrm{dens}(X)<2^{\aleph_0}$, then $X$ does not admit point-finite coverings by open or closed balls, each of positive radius. In the second part of the paper, we follow the argument introduced by V.P. Fonf, M. Levin, and C. Zanco in \cite{FonfLevZan14} to prove that the previous result holds also in infinite-dimensional Banach spaces that are both uniformly rotund and uniformly smooth.


title: Statistical screening model for moderately coupled and dense plasmas

abstract: For atoms embedded in dense plasma, the plasma screening effects will greatly alter their structure and dynamics, and then determine the radiation transport properties of the plasma. In the present work, a new statistical model is proposed for treating electron screening effects on atoms in moderately/strongly coupled and dense plasmas, in which the three-body processes are found to significantly influence the plasma-electron density distributions and leads to a dependence of the distribution on the specific bound state of the targeted atom. As a critical check, the model is applied to simulate the emission spectra of He-like Aluminum and Chlorine in hot dense plasmas, and much better agreements of the line shifts are obtained with the experiments of Stillman et al. in 2017 and Beiersdorfer et al. in 2019 than previous calculation results. Compared with the classical molecular dynamic simulations of electron distributions in moderately coupled plasmas, the present model can better describe the low-energy electron distribution than other models and the multi-body effects are well considered. The present model provides a promising tool to reasonably treat the electron screening effect of non-equilibrium dense plasma on atoms with specific bound states, which is urgently needed in high-precision simulations of the atomic processes, plasma spectra and radiation transport properties etc.


title: Slow propagation of 2 GHz acoustical waves in a suspended GaAs on insulator phononic waveguide

abstract: Optoelectronic oscillators have dominated the scene of microwave oscillators in the last few years thanks to their great performances regarding frequency stability and phase noise. However, miniaturization of such a device is an up to date challenge. Recently, devices based on phonon-photon interaction gather a lot of interest thanks to their extreme compactness and working frequency directly in the GHz. In this frame, a still missing element to obtain long-term frequency stability performances is an on-chip delay within the feedback loop. Here, we experimentally show filtering and slow propagation of 2 GHz acoustic waves on a Gallium Arsenide membrane heterogeneously integrated on silicon wafer. By engineering the dispersion of an acoustical waveguide, we evidence a group velocity below 1000 m/s for the mode able to propagate. Thus, an integrated delay implementation is at reach for potential improvement of opto-acoustic devices such as optomechanical oscillators or wireless applications.


title: PoCET: a Polynomial Chaos Expansion Toolbox for Matlab

abstract: We introduce PoCET: a free and open-scource Polynomial Chaos Expansion Toolbox for Matlab, featuring the automatic generation of polynomial chaos expansion (PCE) for linear and nonlinear dynamic systems with time-invariant stochastic parameters or initial conditions, as well as several simulation tools. It offers a built-in handling of Gaussian, uniform, and beta probability density functions, projection and collocation-based calculation of PCE coefficients, and the calculation of stochastic moments from a PCE. Efficient algorithms for the calculation of the involved integrals have been designed in order to increase its applicability. PoCET comes with a variety of introductory and instructive examples. Throughout the paper we show how to perform a polynomial chaos expansion on a simple ordinary differential equation using PoCET, as well as how it can be used to solve the more complex task of optimal experimental design.


title: Target set selection with maximum activation time

abstract: A target set selection model is a graph $G$ with a threshold function $\tau:V\to \mathbb{N}$ upper-bounded by the vertex degree. For a given model, a set $S_0\subseteq V(G)$ is a target set if $V(G)$ can be partitioned into non-empty subsets $S_0,S_1,\dotsc,S_t$ such that, for $i \in \{1, \ldots, t\}$, $S_i$ contains exactly every vertex $v$ having at least $\tau(v)$ neighbors in $S_0\cup\dots\cup S_{i-1}$. We say that $t$ is the activation time $t_{\tau}(S_0)$ of the target set $S_0$. The problem of, given such a model, finding a target set of minimum size has been extensively studied in the literature. In this article, we investigate its variant, which we call TSS-time, in which the goal is to find a target set $S_0$ that maximizes $t_{\tau}(S_0)$. That is, given a graph $G$, a threshold function $\tau$ in $G$, and an integer $k$, the objective of the TSS-time problem is to decide whether $G$ contains a target set $S_0$ such that $t_{\tau}(S_0)\geq k$. Let $\tau^* = \max_{v \in V(G)} \tau(v)$. Our main result is the following dichotomy about the complexity of TSS-time when $G$ belongs to a minor-closed graph class ${\cal C}$: if ${\cal C}$ has bounded local treewidth, the problem is FPT parameterized by $k$ and $\tau^{\star}$; otherwise, it is NP-complete even for fixed $k=4$ and $\tau^{\star}=2$. We also prove that, with $\tau^*=2$, the problem is NP-hard in bipartite graphs for fixed $k=5$, and from previous results we observe that TSS-time is NP-hard in planar graphs and W[1]-hard parameterized by treewidth. Finally, we present a linear-time algorithm to find a target set $S_0$ in a given tree maximizing $t_{\tau}(S_0)$.


title: The maximum entropy principle and volumetric properties of Orlicz balls

abstract: We study the precise asymptotic volume of balls in Orlicz spaces and show that the volume of the intersection of two Orlicz balls undergoes a phase transition when the dimension of the ambient space tends to infinity. This generalizes a result of Schechtman and Schmuckenschl\"ager [GAFA, Lecture notes in Math. 1469 (1991), 174--178] for $\ell_p^d$-balls. As another application, we determine the precise asymptotic volume ratio for $2$-concave Orlicz spaces $\ell_M^d$. Our method rests on ideas from statistical mechanics and large deviations theory, more precisely the maximum entropy or Gibbs principle for non-interacting particles, and presents a natural approach and fresh perspective to such geometric and volumetric questions. In particular, our approach explains how the $p$-generalized Gaussian distribution occurs in problems related to the geometry of $\ell_p^d$-balls, which are Orlicz balls when the Orlicz function is $M(t) = |t|^p$.


title: An open-source platform for interactive collision prevention in photon and particle beam therapy treatment planning

abstract: We present an open-source platform to aid medical dosimetrists in preventing collisions between gantry head and patient or couch during photon or particle beam therapy treatment planning. This generic framework uses the native scripting interface of the particular planning software to import STL files of the treatment machine elements. These are visualized in 3D together with the contoured or scanned patient surface. A graphical dialog with sliders allows the interactive rotation of the gantry and couch, with real-time feedback. To prevent a future replanning, treatment planners can assess in advance and exclude beam angles resulting in a potential risk of collision. The software platform is publicly available on GitHub and has been validated for RayStation with actual patient plans. Furthermore, the incorporation of the complete patient geometry was tested with a 3D surface scan of a full-body phantom performed with a handheld smartphone. With this study, we aim at minimizing the risk of replanning due to collisions and thus of treatment delays and unscheduled consumption of manpower. The clinical workflow can be streamlined at no cost already at the treatment planning stage. By ensuring a real-time verification of the plan feasibility, the script might boost the use of optimal couch angles that a planner might shy away from otherwise.


title: Phase-locked polarization by photospheric reflection in the semidetached eclipsing binary $\mu^1$ Sco

abstract: We report the detection of phase-locked polarization in the bright ($m_V$=2.98-3.24) semidetached eclipsing binary $\mu^1$ Sco (HD 151890). The phenomenon was observed in multiple photometric bands using two different HIPPI-class (HIgh Precision Polarimetric Instrument)polarimeters with telescopes ranging in size from 35-cm to 3.9-m. The peak-to-trough amplitude of the polarization is wavelength dependent and large, $\sim$700 parts-per-million in green light, and is easily seen with even the smallest telescope. We fit the polarization phase curve with a SYNSPEC/VLIDORT polarized radiative transfer model and a Wilson-Devinney geometric formalism, which we describe in detail. Light from each star reflected by the photosphere of the other, together with a much smaller contribution from tidal distortion and eclipse effects, wholly accounts for the polarization amplitude. In the past polarization in semidetached binaries has been attributed mostly to scattering from extra-stellar gas. Our new interpretation facilitates determining masses of such stars in non-eclipsing systems.


title: A two-parameter family of measure-valued diffusions with Poisson-Dirichlet stationary distributions

abstract: We give a pathwise construction of a two-parameter family of purely-atomic-measure-valued diffusions in which ranked masses of atoms are stationary with the Poisson-Dirichlet$(\alpha,\theta)$ distributions, for $\alpha\in (0,1)$ and $\theta\ge 0$. This resolves a conjecture of Feng and Sun (2010). We build on our previous work on $(\alpha,0)$- and $(\alpha,\alpha)$-interval partition evolutions. Indeed, we first extract a self-similar superprocess from the levels of stable processes whose jumps are decorated with squared Bessel excursions and distinct allelic types. We complete our construction by time-change and normalisation to unit mass. In a companion paper, we show that the ranked masses of the measure-valued processes evolve according to a two-parameter family of diffusions introduced by Petrov (2009), extending work of Ethier and Kurtz (1981). These ranked-mass diffusions arise as continuum limits of up-down Markov chains on Chinese restaurant processes.


title: On three-variable expanders over finite valuation rings

abstract: Let $\mathcal{R}$ be a finite valuation ring of order $q^r$. In this paper, we prove that for any quadratic polynomial $f(x,y,z) \in \mathcal{R}[x,y,z]$ that is of the form $axy+R(x)+S(y)+T(z)$ for some one-variable polynomials $R, S , T$, we have \[ |f(A,B,C)| \gg \min\left\{ q^r, \frac{|A||B||C|}{q^{2r-1}}\right\}\] for any $A, B, C \subset \mathcal{R}$. We also study the sum-product type problems over finite valuation ring $\mathcal{R}.$ More precisely, we show that for any $A \subset \mathcal{R}$ with $|A| \gg q^{r-1/3}$ then $$\max\{ |A \cdot A|, |A^d + A^d|\},\max\{ |A + A|, |A^2 + A^2|\},\max\{|A-A|,|AA+AA|\} \gg |A|^{2/3}q^{r/3},$$ and $|f(A) + A| \gg |A|^{2/3}q^{r/3}$ for any one variable quadratic polynomial $f$.


title: Universal shock-wave propagation in one-dimensional Bose fluids

abstract: We propose a protocol for creating moving, robust dispersive shock waves in interacting one-dimensional Bose fluids. The fluid is prepared in a moving state by phase imprinting and sent against the walls of a box trap. We demonstrate that the thus formed shock wave oscillates for several periods and is robust against thermal fluctuations. We show that this large amplitude dynamics is universal across the whole spectrum of the interatomic interaction strength, from weak to strong interactions, and it is fully controlled by the sound velocity inside the fluid. Our work provides a generalization of the dispersive-shock-wave paradigm to the many-body regime. The shock waves we propose are within reach for ultracold atom experiments.


title: Equidistribution of horospheres in nonpositive curvature

abstract: We study the ergodic properties of horospheres on rank 1 manifolds with non-positive curvature. We prove that the horospheres are equidistributed under the action of the geodesic flow towards the Bowen-Margulis measure, on a large class of manifolds. In the case of surfaces, we define a parametrization of the horocyclic flow on the set of horocycles containing a rank 1 vector that is recurrent under the action of the geodesic flow. We prove that the horocyclic flow in restriction to this set is uniquely ergodic. The results are valid for large classes of manifolds, including the compact ones.


title: Solving the Clustered Traveling Salesman Problem via TSP methods

abstract: The Clustered Traveling Salesman Problem (CTSP) is a variant of the popular Traveling Salesman Problem (TSP) arising from a number of real-life applications. In this work, we explore a transformation approach that solves the CTSP by converting it to the well-studied TSP. For this purpose, we first investigate a technique to convert a CTSP instance to a TSP and then apply powerful TSP solvers (including exact and heuristic solvers) to solve the resulting TSP instance. We want to answer the following questions: How do state-of-the-art TSP solvers perform on clustered instances converted from the CTSP? Do state-of-the-art TSP solvers compete well with the best performing methods specifically designed for the CTSP? For this purpose, we present intensive computational experiments on various benchmark instances to draw conclusions.


title: The deficit in the Gaussian log-Sobolev inequality and inverse Santalo inequalities

abstract: We establish dual equivalent forms involving relative entropy, Fisher information and optimal transport costs of inverse Santal{\'o} inequalities. We show in particular that the Mahler conjecture is equivalent to some dimensional lower bound on the deficit in the Gaussian logarithmic Sobolev inequality. We also derive from existing results on inverse Santal{\'o} inequalities some sharp lower bounds on the deficit in the Gaussian logarithmic Sobolev inequality.


title: Equivalence of Neighborhoods of Embedded Compact Complex Manifolds and Higher Codimension Foliations

abstract: We consider an embedded $n$-dimensional compact complex manifold in $n+d$ dimensional complex manifolds. We are interested in the holomorphic classification of neighborhoods as part of Grauert's formal principle program. We will give conditions ensuring that a neighborhood of $C_n$ in $M_{n+d}$ is biholomorphic to a neighborhood of the zero section of its normal bundle. This extends Arnold's result about neighborhoods of a complex torus in a surface. We also prove the existence of a holomorphic foliation in $M_{n+d }$ having $C_n$ as a compact leaf, extending Ueda's theory to the high codimension case. Both problems appear as a kind linearization problem involving small divisors condition arising from solutions to their cohomological equations.


title: A 3D-Hybrid-Shot Spiral Sequence for Hyperpolarized $^{13}$C Imaging

abstract: Purpose: Hyperpolarized imaging experiments have conflicting requirements of high spatial, temporal, and spectral resolution. Spectral-Spatial RF excitation has been shown to form an attractive magnetization-efficient method for hyperpolarized imaging, but the optimum readout strategy is not yet known. Methods: In this work we propose a novel 3D hybrid-shot spiral sequence which features two constant density regions that permit the retrospective reconstruction of either high spatial or high temporal resolution images post hoc, (adaptive spatiotemporal imaging) allowing greater flexibility in acquisition and reconstruction. Results: We have implemented this sequence, both via simulation and on a pre-clinical scanner, to demonstrate its feasibility, in both a 1H phantom and with hyperpolarized 13C pyruvate in vivo. Conclusion: This sequence forms an attractive method for acquiring hyperpolarized imaging datasets, providing adaptive spatiotemporal imaging to ameliorate the conflict of spatial and temporal resolution, with significant potential for clinical translation.


title: Staging of High-Gradient Wakefield Accelerators

abstract: Accelerating particles to high energies with a high-gradient wakefield accelerator may require use of multiple stages. Coupling beams from one stage to another can be difficult due to high divergence and non-negligible energy spreads. We review the challenges, technical requirements and currently proposed methods for solving the staging problem.


title: "It's Not Something We Have Talked to Our Team About": Results From a Preliminary Investigation of Cybersecurity Challenges in Denmark

abstract: Although Denmark is reportedly one of the most digitised countries in Europe, IT security in Danish companies has not followed along. To shed light into the challenges that companies experience with implementing IT security, we conducted a preliminary study running semi-structured interviews with four employees from four different companies, asking about their IT security and what they need to reduce risks of cyber threats. Our results show that companies are lacking fundamental security protection and are in need of guidance and tools to help them implementing basic security practices, while raising awareness of cyber threats. Based on our findings and with the inspiration of the latest reports and international security standards, we discuss steps towards further investigation towards developing a framework targeting SMEs that want to adopt straightforward and actionable IT security guidance.


title: A Posteriori Error Estimates for Adaptive QM/MM Coupling Methods

abstract: Hybrid quantum/molecular mechanics models (QM/MM methods) are widely used in material and molecular simulations when MM models do not provide sufficient accuracy but pure QM models are computationally prohibitive. Adaptive QM/MM coupling methods feature on-the-fly classification of atoms during the simulation, allowing the QM and MM subsystems to be updated as needed. In this work, we propose such an adaptive QM/MM method for material defect simulations based on a new residual based it a posteriori error estimator, which provides both lower and upper bounds for the true error. We validate the analysis and illustrate the effectiveness of the new scheme on numerical simulations for material defects.


title: Self-healing Dilemmas in Distributed Systems: Fault Correction vs. Fault Tolerance

abstract: Large-scale decentralized systems of autonomous agents interacting via asynchronous communication often experience the following self-healing dilemma: fault detection inherits network uncertainties making a remote faulty process indistinguishable from a slow process. In the case of a slow process without fault, fault correction is undesirable as it can trigger new faults that could be prevented with fault tolerance that is a more proactive system maintenance. But in the case of an actual faulty process, fault tolerance alone without eventually correcting persistent faults can make systems underperforming. Measuring, understanding and resolving such self-healing dilemmas is a timely challenge and critical requirement given the rise of distributed ledgers, edge computing, the Internet of Things in several energy, transport and health applications. This paper contributes a novel and general-purpose modeling of fault scenarios during system runtime. They are used to accurately measure and predict inconsistencies generated by the undesirable outcomes of fault correction and fault tolerance as the means to improve self-healing of large-scale decentralized systems at the design phase. A rigorous experimental methodology is designed that evaluates 696 experimental settings of different fault scales, fault profiles and fault detection thresholds in a prototyped decentralized network of 3000 nodes. Almost 9 million measurements of inconsistencies were collected in a network, where each node monitors the health status of another node, while both can defect. The prediction performance of the modeled fault scenarios is validated in a challenging application scenario of decentralized and dynamic in-network data aggregation using real-world data from a Smart Grid pilot project. Findings confirm the origin of inconsistencies at design phase.


title: Exploring complex graphs using three-dimensional quantum walks of correlated photons

abstract: Graph representations are a powerful concept for solving complex problems across natural science, as patterns of connectivity can give rise to a multitude of emergent phenomena. Graph-based approaches have proven particularly fruitful in quantum communication and quantum search algorithms in highly branched quantum networks. Here we introduce a new paradigm for the direct experimental realization of excitation dynamics associated with three-dimensional networks by exploiting the hybrid action of spatial and polarization degrees of freedom of photon pairs in complex waveguide circuits with tailored birefringence. This novel testbed for the experimental exploration of multi-particle quantum walks on complex, highly connected graphs paves the way towards exploiting the applicative potential of fermionic dynamics in integrated quantum photonics.


title: Flow states and transitions of an active nematic in a three dimensional channel

abstract: We use active nematohydrodynamics to study the flow of an active fluid in a 3D microchannel, finding a transition between active turbulence and regimes where there is a net flow along the channel. We show that the net flow is only possible if the active nematic is flow aligning and that - in agreement with experiments - the appearance of the net flow depends on the aspect ratio of the channel cross-section. We explain our results in terms of the when hydrodynamic screening due to the channel walls allows the emergence of vortex rolls across the channel.


title: Gravitational-wave detectors as particle-physics laboratories: Constraining scalar interactions with a coherent inspiral model of boson-star binaries

abstract: Gravitational-wave (GW) detections of binary neutron star coalescences play a crucial role to constrain the microscopic interaction of matter at ultrahigh density. Similarly, if boson stars exist in the universe their coalescence can be used to constrain the fundamental coupling constants of a scalar field theory. We develop the first coherent waveform model for the inspiral of boson stars with quartic interactions. The waveform includes coherently spin-induced quadrupolar and tidal-deformability contributions in terms of the masses and spins of the binary and of a single coupling constant of the theory. We show that future instruments such as the Einstein Telescope and the Laser Interferometer Space Antenna can provide strong complementary bounds on bosonic self-interactions, while the constraining power of current detectors is marginal.


title: Decentralized Accessibility of e-commerce Products through Blockchain Technology

abstract: A distributed and transparent ledger system is considered for various e-commerce products including health medicines, electronics, security appliances, food products and many more to ensure technological and e-commerce sustainability. This solution, named as 'PRODCHAIN', is a generic blockchain framework with lattice-based cryptographic processes for reducing the complexity for tracing the e-commerce products. Moreover, we have introduced a rating based consensus process called Proof of Accomplishment (PoA). The solution has been analyzed and experimental studies are performed on Ethereum network. The results are discussed in terms of latency and throughput which prove the efficiency of PRODCHAIN in e-commerce products and services. The presented solution is beneficial for improving the traceability of the products ensuring the social and financial sustainability. This work will help the researchers to gain knowledge about the blockchain implications for supply chain possibilities in future developments for society.


title: Towards Fast, Flexible and Sensor-Free Control of Standalone PVDG Systems

abstract: In this thesis, the problem of fast, effective and low cost control of a Standalone Photovoltaic Distributed Generation (SPVDG) system is considered . On-site generation from these systems is more efficient when the power is transmitted via DC due to elimination of transmission losses and needless energy conversions. The inherent low-inertia of these systems added with fluctuation of output power and uncertain load consumption, calls for advanced control techniques to ensure fast and stable operation during various intermittencies. These techniques are expensive since they demand installation of many sophisticated sensors. The computation power provided by the fast growing IC technology can be utilized to estimate different parameters in a system and reduce the need for expensive sensing equipment. This work provides solutions to problems encountered in the development of faster, more stable and sensor-free voltage control and maximum power point tracking(MPPT) for SPVDG systems with PV and battery.


title: Steiner systems and configurations of points

abstract: The aim of this paper is to make a connection between design theory and algebraic geometry/commutative algebra. In particular, given any Steiner System $S(t,n,v)$ we associate two ideals, in a suitable polynomial ring, defining a Steiner configuration of points and its Complement. We focus on the latter, studying its homological invariants, such as Hilbert Function and Betti numbers. We also study symbolic and regular powers associated to the ideal defining a Complement of a Steiner configuration of points, finding its Waldschmidt constant, regularity, bounds on its resurgence and asymptotic resurgence. We also compute the parameters of linear codes associated to any Steiner configuration of points and its Complement.


title: Estimation of the Gould Belt scale height from T Tauri type stars in the Gaia DR2 catalogue

abstract: We analyze the spatial and kinematic properties of a large sample of young T Tauri type stars in a 500 pc radius solar neighborhood, closely related to the Gould belt. The following parameters of the exponential density distribution have been determined: the average $(z_G)_\odot=-25\pm5$ pc and scale height $h_G=56\pm6$ pc. We propose a method of excluding background stars from the samples, which are located at large heights with respect to the symmetry plane of the Gould belt. We discovered that the expansion effect for the entire star system, $K_G=6\pm1$ km s$^{-1}$ kpc$^{-1}$, is determined mainly by the dynamics of the Scorpius-Centaurus association. We show that the angular velocity of the residual intrinsic rotation of the Gould belt can reach $\Omega_G=6.9\pm0.2$ km s$^{-1}$ kpc$^{-1}$ and that this rotation is opposite to the galactic rotation.


title: On flat lossy channel machines

abstract: We show that reachability, repeated reachability, nontermination and unboundedness are NP-complete for Lossy Channel Machines that are flat, i.e., with no nested cycles in the control graph. The upper complexity bound relies on a fine analysis of iterations of lossy channel actions and uses compressed word techniques for efficiently reasoning with paths of exponential lengths. The lower bounds already apply to acyclic or single-path machines.


title: Learning to plan with uncertain topological maps

abstract: We train an agent to navigate in 3D environments using a hierarchical strategy including a high-level graph based planner and a local policy. Our main contribution is a data driven learning based approach for planning under uncertainty in topological maps, requiring an estimate of shortest paths in valued graphs with a probabilistic structure. Whereas classical symbolic algorithms achieve optimal results on noise-less topologies, or optimal results in a probabilistic sense on graphs with probabilistic structure, we aim to show that machine learning can overcome missing information in the graph by taking into account rich high-dimensional node features, for instance visual information available at each location of the map. Compared to purely learned neural white box algorithms, we structure our neural model with an inductive bias for dynamic programming based shortest path algorithms, and we show that a particular parameterization of our neural model corresponds to the Bellman-Ford algorithm. By performing an empirical analysis of our method in simulated photo-realistic 3D environments, we demonstrate that the inclusion of visual features in the learned neural planner outperforms classical symbolic solutions for graph based planning.


title: Learning to Play Sequential Games versus Unknown Opponents

abstract: We consider a repeated sequential game between a learner, who plays first, and an opponent who responds to the chosen action. We seek to design strategies for the learner to successfully interact with the opponent. While most previous approaches consider known opponent models, we focus on the setting in which the opponent's model is unknown. To this end, we use kernel-based regularity assumptions to capture and exploit the structure in the opponent's response. We propose a novel algorithm for the learner when playing against an adversarial sequence of opponents. The algorithm combines ideas from bilevel optimization and online learning to effectively balance between exploration (learning about the opponent's model) and exploitation (selecting highly rewarding actions for the learner). Our results include algorithm's regret guarantees that depend on the regularity of the opponent's response and scale sublinearly with the number of game rounds. Moreover, we specialize our approach to repeated Stackelberg games, and empirically demonstrate its effectiveness in a traffic routing and wildlife conservation task


title: Convolutional Polar Coded Modulation

abstract: $2^m$-ary modulation creates $m$ bit channels which are neither independent nor identical, and this causes problems when applying polar coding because polar codes are designed for independent identical channels. Different from the existing multi-level coding (MLC) and bit-interleaved coded modulation (BICM) schemes, this paper provides a convolutional polar coded modulation (CPCM) method that preserves the low-complexity nature of BICM while offering improved spectral efficiency. Numerical results are given to show the good performance of the proposed method.


title: Accretion Flow Properties of GRS 1915+105 During Its $\theta$ Class Using AstroSat Data

abstract: The Galactic microquasar GRS 1915+105 shows rich variability which is categorized into different classes. In this paper, we report temporal and spectral analysis of GRS 1915+105 to study the properties of the accretion flow when the light curve is showing $\theta$ class variability. For this purpose, we use the LAXPC data from the Target of Opportunity observations of India's first multi-wavelength astronomy satellite AstroSat. The $\theta$ class is marked by the recurrent appearance of U-shaped regions in the light curve, where the photon count rate first decreases rapidly and then increases slowly. For our analysis, we use U-shaped regions of first two orbits (02345 and 02346) on 2016 March 04. In both of the cases, the dynamic Power Density Spectra (PDS) showed significant power at around $4-5$ Hz, suggesting the presence of a low-frequency Quasi-Periodic Oscillation (QPO) around that frequency interval. The QPO frequency is found to increase with time when the enhancement of the energy flux also takes place. From the evolution of the spectra, we determine the evolution of the accretion flow parameters in both of these observations. Fitting the spectra with the transonic flow solution based Two-Component Advective Flow (TCAF) model in $4-25$ keV energy band shows that the Keplerian disk accretion rate rises with the rise in the radiation intensity, while the location of the centrifugal pressure driven shock front decreases. In both these data, a gradual increment of power-law photon index with intensity is observed suggesting the progressive softening of the source.


title: Disk Evolution Study Through Imaging of Nearby Young Stars (DESTINYS): A close low mass companion to ET Cha

abstract: To understand the formation of planetary systems, one needs to understand the initial conditions of planet formation, i.e. the young gas-rich planet forming disks. Spatially resolved high-contrast observations are of particular interest, since substructures in disks, linked to planet formation, can be detected and close companions or even planets in formation embedded in the disk can be revealed. In this study we present the first result of the DESTINYS survey (Disk Evolution Study Through Imaging of Nearby Young Stars). DESTINYS is an ESO/SPHERE large program that aims at studying disk evolution in scattered light, mainly focusing on a sample of low-mass stars (<1$M_\odot$) in nearby (~200 pc) star-forming regions. In this particular study we present the observations of the ET Cha (RECX 15) system, a nearby 'old' classical T Tauri star (5-8 Myr, ~100 pc), which is still strongly accreting. We use SPHERE/IRDIS in H-band polarimetric imaging mode to obtain high contrast images of the ET Cha system to search for scattered light from the circumstellar disk as well as thermal emission from close companions. We additionally employ VLT/NACO total intensity archival data taken in 2003. We report here the discovery of a low-mass (sub)stellar companion with SPHERE/IRDIS to ET Cha. We are estimating the mass of this new companion based on photometry. Depending on the system age it is a 5 Myr, 50 $M_{Jup}$ brown dwarf or an 8 Myr, 0.10 $M_\odot$ M-type pre-main-sequence star. We explore possible orbital solutions and discuss the recent dynamic history of the system. Independent of the precise companion mass we find that the presence of the companion likely explains the small size of the disk around ET Cha. The small separation of the binary pair indicates that the disk around the primary component is likely clearing from the outside in, explaining the high accretion rate of the system.


title: Nonlinear Regression on Manifolds for Shape Analysis using Intrinsic B\'ezier Splines

abstract: Intrinsic and parametric regression models are of high interest for the statistical analysis of manifold-valued data such as images and shapes. The standard linear ansatz has been generalized to geodesic regression on manifolds making it possible to analyze dependencies of random variables that spread along generalized straight lines. Nevertheless, in some scenarios, the evolution of the data cannot be modeled adequately by a geodesic. We present a framework for nonlinear regression on manifolds by considering Riemannian splines, whose segments are B\'ezier curves, as trajectories. Unlike variational formulations that require time-discretization, we take a constructive approach that provides efficient and exact evaluation by virtue of the generalized de Casteljau algorithm. We validate our method in experiments on the reconstruction of periodic motion of the mitral valve as well as the analysis of femoral shape changes during the course of osteoarthritis, endorsing B\'ezier spline regression as an effective and flexible tool for manifold-valued regression.


title: A Causal Inference Approach to Measure the Vulnerability of Urban Metro Systems

abstract: Transit operators need vulnerability measures to understand the level of service degradation under disruptions. This paper contributes to the literature with a novel causal inference approach for estimating station-level vulnerability in metro systems. The empirical analysis is based on large-scale data on historical incidents and population-level passenger demand. This analysis thus obviates the need for assumptions made by previous studies on human behaviour and disruption scenarios. We develop four empirical vulnerability metrics based on the causal impact of disruptions on travel demand, average travel speed and passenger flow distribution. Specifically, the proposed metrics based on the irregularity in passenger flow distribution extends the scope of vulnerability measurement to the entire trip distribution, instead of just analysing the disruption impact on the entry or exit demand (that is, moments of the trip distribution). The unbiased estimates of disruption impact are obtained by adopting a propensity score matching method, which adjusts for the confounding biases caused by non-random occurrence of disruptions. An application of the proposed framework to the London Underground indicates that the vulnerability of a metro station depends on the location, topology, and other characteristics. We find that, in 2013, central London stations are more vulnerable in terms of travel demand loss. However, the loss of average travel speed and irregularity in relative passenger flows reveal that passengers from outer London stations suffer from longer individual delays due to lack of alternative routes.


title: A message-passing approach to epidemic tracing and mitigation with apps

abstract: With the hit of new pandemic threats, scientific frameworks are needed to understand the unfolding of the epidemic. The use of mobile apps that are able to trace contacts is of utmost importance in order to control new infected cases and contain further propagation. Here we present a theoretical approach using both percolation and message--passing techniques, to the role of contact tracing, in mitigating an epidemic wave. We show how the increase of the app adoption level raises the value of the epidemic threshold, which is eventually maximized when high-degree nodes are preferentially targeted. Analytical results are compared with extensive Monte Carlo simulations showing good agreement for both homogeneous and heterogeneous networks. These results are important to quantify the level of adoption needed for contact-tracing apps to be effective in mitigating an epidemic.

categories: physics.soc-ph cond-mat.dis-nn cond-mat.stat-mech cs.SI


title: Product age based demand forecast model for fashion retail

abstract: Fashion retailers require accurate demand forecasts for the next season, almost a year in advance, for demand management and supply chain planning purposes. Accurate forecasts are important to ensure retailers' profitability and to reduce environmental damage caused by disposal of unsold inventory. It is challenging because most products are new in a season and have short life cycles, huge sales variations and long lead-times. In this paper, we present a novel product age based forecast model, where product age refers to the number of weeks since its launch, and show that it outperforms existing models. We demonstrate the robust performance of the approach through real world use case of a multinational fashion retailer having over 300 stores, 35k items and around 40 categories. The main contributions of this work include unique and significant feature engineering for product attribute values, accurate demand forecast 6-12 months in advance and extending our approach to recommend product launch time for the next season. We use our fashion assortment optimization model to produce list and quantity of items to be listed in a store for the next season that maximizes total revenue and satisfies business constraints. We found a revenue uplift of 41% from our framework in comparison to the retailer's plan. We also compare our forecast results with the current methods and show that it outperforms existing models. Our framework leads to better ordering, inventory planning, assortment planning and overall increase in profit for the retailer's supply chain.


title: Significant nonclassical paths with atoms and cavities in the double-slit experiment

abstract: In the the double-slit experiment, nonclassical paths are Feynman paths that go through both slits. Prior work with atom cavities as which-way detectors in the double-slit experiment has shown these paths to be experimentally inaccessible. In this paper, we show how such a setup can indeed detect nonclassical paths with 1% probability if one considers a different type of nonclassical path than previously investigated. We also show how this setup can be used to erase and restore the coherence of the nonclassical paths. Finally, we also show how atom cavities may be used to implement a exact measure of Born-rule violation [Quach, Which-way double-slit experiments and Born-rule violation, Phys. Rev. A 95, 042129 (2017)], which up until now has only been a formal construct.


title: Using Machine Learning to Detect Ghost Images in Automotive Radar

abstract: Radar sensors are an important part of driver assistance systems and intelligent vehicles due to their robustness against all kinds of adverse conditions, e.g., fog, snow, rain, or even direct sunlight. This robustness is achieved by a substantially larger wavelength compared to light-based sensors such as cameras or lidars. As a side effect, many surfaces act like mirrors at this wavelength, resulting in unwanted ghost detections. In this article, we present a novel approach to detect these ghost objects by applying data-driven machine learning algorithms. For this purpose, we use a large-scale automotive data set with annotated ghost objects. We show that we can use a state-of-the-art automotive radar classifier in order to detect ghost objects alongside real objects. Furthermore, we are able to reduce the amount of false positive detections caused by ghost images in some settings.


title: Beth definability and the Stone-Weierstrass Theorem

abstract: The Stone-Weierstrass Theorem for compact Hausdorff spaces is a basic result of functional analysis with far-reaching consequences. We introduce an equational logic $\vDash_{\Delta}$ associated with an infinitary variety $\Delta$ and show that the Stone-Weierstrass Theorem is a consequence of the Beth definability property of $\vDash_{\Delta}$, stating that every implicit definition can be made explicit. Further, we define an infinitary propositional logic $\vdash_{\Delta}$ by means of a Hilbert-style calculus and prove a strong completeness result whereby the semantic notion of consequence associated with $\vdash_{\Delta}$ coincides with $\vDash_{\Delta}$.


title: Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion

abstract: We present semantic correctness proofs of forward-mode Automatic Differentiation (AD) for languages with sources of partiality such as partial operations, lazy conditionals on real parameters, iteration, and term and type recursion. We first define an AD macro on a standard call-by-value language with some primitive operations for smooth partial functions and constructs for real conditionals and iteration, as a unique structure preserving macro determined by its action on the primitive operations. We define a semantics for the language in terms of diffeological spaces, where the key idea is to make use of a suitable partiality monad. A semantic logical relations argument, constructed through a subsconing construction over diffeological spaces, yields a correctness proof of the defined AD macro. A key insight is that, to reason about differentiation at sum types, we work with relations which form sheaves. Next, we extend our language with term and type recursion. To model this in our semantics, we introduce a new notion of space, suitable for modeling both recursion and differentiation, by equipping a diffeological space with a compatible $\omega$cpo-structure. We demonstrate that our whole development extends to this setting. By making use of a semantic, rather than syntactic, logical relations argument, we circumvent the usual technicalities of logical relations techniques for type recursion.


title: Reverse AD at Higher Types: Pure, Principled and Denotationally Correct

abstract: We show how to define forward- and reverse-mode automatic differentiation source-code transformations or on a standard higher-order functional language. The transformations generate purely functional code, and they are principled in the sense that their definition arises from a categorical universal property. We give a semantic proof of correctness of the transformations. In their most elegant formulation, the transformations generate code with linear types. However, we demonstrate how the transformations can be implemented in a standard functional language without sacrificing correctness. To do so, we make use of abstract data types to represent the required linear types, e.g. through the use of a basic module system.


title: Cautious Monotonicity in Case-Based Reasoning with Abstract Argumentation

abstract: Recently, abstract argumentation-based models of case-based reasoning ($AA{\text -}CBR$ in short) have been proposed, originally inspired by the legal domain, but also applicable as classifiers in different scenarios, including image classification, sentiment analysis of text, and in predicting the passage of bills in the UK Parliament. However, the formal properties of $AA{\text -}CBR$ as a reasoning system remain largely unexplored. In this paper, we focus on analysing the non-monotonicity properties of a regular version of $AA{\text -}CBR$ (that we call $AA{\text -}CBR_{\succeq}$). Specifically, we prove that $AA{\text -}CBR_{\succeq}$ is not cautiously monotonic, a property frequently considered desirable in the literature of non-monotonic reasoning. We then define a variation of $AA{\text -}CBR_{\succeq}$ which is cautiously monotonic, and provide an algorithm for obtaining it. Further, we prove that such variation is equivalent to using $AA{\text -}CBR_{\succeq}$ with a restricted casebase consisting of all "surprising" cases in the original casebase.


title: Enhancing the Performance of Practical Profiling Side-Channel Attacks Using Conditional Generative Adversarial Networks

abstract: Recently, many profiling side-channel attacks based on Machine Learning and Deep Learning have been proposed. Most of them focus on reducing the number of traces required for successful attacks by optimizing the modeling algorithms. In previous work, relatively sufficient traces need to be used for training a model. However, in the practical profiling phase, it is difficult or impossible to collect sufficient traces due to the constraint of various resources. In this case, the performance of profiling attacks is inefficient even if proper modeling algorithms are used. In this paper, the main problem we consider is how to conduct more efficient profiling attacks when sufficient profiling traces cannot be obtained. To deal with this problem, we first introduce the Conditional Generative Adversarial Network (CGAN) in the context of side-channel attacks. We show that CGAN can generate new traces to enlarge the size of the profiling set, which improves the performance of profiling attacks. For both unprotected and protected cryptographic algorithms, we find that CGAN can effectively learn the leakage of traces collected in their implementations. We also apply it to different modeling algorithms. In our experiments, the model constructed with the augmented profiling set can reduce the required attack traces by more than half, which means the generated traces can provide useful information as the real traces.


title: TangToys: Smart Toys that can Communicate and Improve Children's Wellbeing

abstract: Children can find it challenging to communicate their emotions especially when experiencing mental health challenges. Technological solutions may help children communicate digitally and receive support from one another as advances in networking and sensors enable the real-time transmission of physical interactions. In this work, we pursue the design of multiple tangible user interfaces designed for children containing multiple sensors and feedback actuators. Bluetooth is used to provide communication between Tangible Toys (TangToys) enabling peer to peer support groups to be developed and allowing feedback to be issued whenever other children are nearby. TangToys can provide a non-intrusive means for children to communicate their wellbeing through play.


title: Frequency comb generation threshold in $\chi^{(2)}$ optical microresonators

abstract: We investigate the threshold of $\chi^{(2)}$ frequency comb generation in lithium niobate whispering gallery microresonators theoretically and experimentally. When generating a frequency comb via second-harmonic generation, the threshold for the onset of cascaded second-order processes leading to a comb is found to be approximately 85 $\mu$W. The second-harmonic generation efficiency up to this value is in excellent agreement with a previously known theoretical framework. This framework is extended here, showing that the onset of cascaded $\chi^{(2)}$ processes and the maximum of the second-harmonic generation efficiency coincide. Furthermore, we observe that the frequency distance between the comb lines is a function of the pump power. It changes from 4 free spectral ranges at the oscillation threshold to 1 free spectral range at 590 ${\mu}$W.


title: Octahedral norms in free Banach lattices

abstract: In this paper, we study octahedral norms in free Banach lattices $FBL[E]$ generated by a Banach space $E$. We prove that if $E$ is an $L_1(\mu)$-space, a predual of von Neumann algebra, a predual of a JBW$^*$-triple, the dual of an $M$-embedded Banach space, the disc algebra or the projective tensor product under some hypothesis, then the norm of $FBL[E]$ is octahedral. We get the analogous result when the topological dual $E^*$ of $E$ is almost square. We finish the paper by proving that the norm of the free Banach lattice generated by a Banach space of dimension $ \geq 2$ is nowhere Fr\'echet differentiable. Moreover, we discuss some open problems on this topic.


title: A characterization of progressively equivalent probability measures preserving the structure of a compound mixed renewal process

abstract: Generalizing earlier works of Delbaen & Haezendonck [5] as well as of [18] and [16] for given compound mixed renewal process S under a probability measure P, we characterize all those probability measures Q on the domain of P such that Q and P are progressively equivalent and S remains a compound mixed renewal process under Q with improved properties. As a consequence, we prove that any compound mixed renewal process can be converted into a compound mixed Poisson process through a change of measures. Applications related to the ruin problem and to the computation of premium calculation principles in an insurance market without arbitrage opportunities are discussed in [26] and [27], respectively.


title: Temporally Correlated Task Scheduling for Sequence Learning

abstract: Sequence learning has attracted much research attention from the machine learning community in recent years. In many applications, a sequence learning task is usually associated with multiple temporally correlated auxiliary tasks, which are different in terms of how much input information to use or which future step to predict. For example, (i) in simultaneous machine translation, one can conduct translation under different latency (i.e., how many input words to read/wait before translation); (ii) in stock trend forecasting, one can predict the price of a stock in different future days (e.g., tomorrow, the day after tomorrow). While it is clear that those temporally correlated tasks can help each other, there is a very limited exploration on how to better leverage multiple auxiliary tasks to boost the performance of the main task. In this work, we introduce a learnable scheduler to sequence learning, which can adaptively select auxiliary tasks for training depending on the model status and the current training data. The scheduler and the model for the main task are jointly trained through bi-level optimization. Experiments show that our method significantly improves the performance of simultaneous machine translation and stock trend forecasting.


title: Stochastic geodesics

abstract: We describe, in an intrinsic way and using the global chart provided by Ito's parallel transport, a generalisation of the notion of geodesic (as critical path of an energy functional) to diffusion processes on Riemannian manifolds. These stochastic processes are no longer smooth paths but they are still critical points of a regularised stochastic energy functional. We consider stochastic geodesics on compact Riemannian manifolds and also on (possibly infinite dimensional) Lie groups. Finally the question of existence of such stochastic geodesics is discussed: we show how it can be approached via forward-backward stochastic differential equations.


title: Integrating Logical Rules Into Neural Multi-Hop Reasoning for Drug Repurposing

abstract: The graph structure of biomedical data differs from those in typical knowledge graph benchmark tasks. A particular property of biomedical data is the presence of long-range dependencies, which can be captured by patterns described as logical rules. We propose a novel method that combines these rules with a neural multi-hop reasoning approach that uses reinforcement learning. We conduct an empirical study based on the real-world task of drug repurposing by formulating this task as a link prediction problem. We apply our method to the biomedical knowledge graph Hetionet and show that our approach outperforms several baseline methods.


title: Search for resonances decaying into a weak vector boson and a Higgs boson in the fully hadronic final state produced in proton$-$proton collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: A search for heavy resonances decaying into a $W$ or $Z$ boson and a Higgs boson produced in proton$-$proton collisions at the Large Hadron Collider at $\sqrt{s} = 13$ TeV is presented. The analysis utilizes the dominant $W \to q \bar{q}^\prime$ or $Z \to q \bar{q}$ and $H \to b \bar{b}$ decays with substructure techniques applied to large-radius jets. A sample corresponding to an integrated luminosity of 139 fb$^{-1}$ collected with the ATLAS detector is analyzed and no significant excess of data is observed over the background prediction. The results are interpreted in the context of the Heavy Vector Triplet model with spin-1 $W^\prime$ and $Z^\prime$ bosons. Upper limits on the cross section are set for resonances with mass between 1.5 and 5.0 TeV, ranging from 6.8 to 0.53 fb for $W^\prime \to WH$ and from 8.7 to 0.53 fb for $Z^\prime \to ZH$ at the 95 % confidence level.


title: Direct state measurements under state-preparation-and-measurement errors

abstract: Direct state measurement (DSM) is a tomography method that allows for retrieving quantum states' wave functions directly. However, a shortcoming of current studies on the DSM is that it does not provide access to noisy quantum systems. Here, we attempt to fill the gap by investigating the DSM measurement precision that undergoes the state-preparation-and-measurement (SPAM) errors. We manipulate a quantum controlled measurement framework with various configurations and compare the efficiency between them. Under such SPAM errors, the state to be measured lightly deviates from the true state, and the measurement error in the postselection process results in less accurate in the tomography. Our study could provide a reliable tool for SPAM errors tomography and contribute to understanding and resolving an urgent demand for current quantum technologies.


title: Deep Learning-Based Regression and Classification for Automatic Landmark Localization in Medical Images

abstract: In this study, we propose a fast and accurate method to automatically localize anatomical landmarks in medical images. We employ a global-to-local localization approach using fully convolutional neural networks (FCNNs). First, a global FCNN localizes multiple landmarks through the analysis of image patches, performing regression and classification simultaneously. In regression, displacement vectors pointing from the center of image patches towards landmark locations are determined. In classification, presence of landmarks of interest in the patch is established. Global landmark locations are obtained by averaging the predicted displacement vectors, where the contribution of each displacement vector is weighted by the posterior classification probability of the patch that it is pointing from. Subsequently, for each landmark localized with global localization, local analysis is performed. Specialized FCNNs refine the global landmark locations by analyzing local sub-images in a similar manner, i.e. by performing regression and classification simultaneously and combining the results. Evaluation was performed through localization of 8 anatomical landmarks in CCTA scans, 2 landmarks in olfactory MR scans, and 19 landmarks in cephalometric X-rays. We demonstrate that the method performs similarly to a second observer and is able to localize landmarks in a diverse set of medical images, differing in image modality, image dimensionality, and anatomical coverage.