title: Regularizing the Cross-Newell equation by re-modulating along a characteristic angle

abstract: A regularization of the Cross-Newell equation is presented. It is based on a secondary re-modulation along characteristics. This new characteristic Cross-Newell equation is not isotropic (has preferred directions), but is universal (homogeneous in $\eps$ and equation independent coefficients), has fourth derivatives, and generates localized solutions that are bi-asymptotic to rolls. Re-modulation of rolls in the Ginzburg-Landau equation is used for illustration of the theory.


title: Quasi-shuffle algebras in non-commutative stochastic calculus

abstract: This chapter is divided into two parts. The first is largely expository and builds on Karandikar's axiomatisation of It{\^o} calculus for matrix-valued semimartin-gales. Its aim is to unfold in detail the algebraic structures implied for iterated It{\^o} and Stratonovich integrals. These constructions generalise the classical rules of Chen calculus for deterministic scalar-valued iterated integrals. The second part develops the stochastic analog of what is commonly called chronological calculus in control theory. We obtain in particular a pre-Lie Magnus formula for the logarithm of the It{\^o} stochastic exponential of matrix-valued semimartingales.


title: Improved Resolvent Bounds for Radial Potentials

abstract: We prove semiclassical resolvent estimates for the Schr{\"o}dinger operator in R d , d $\ge$ 3, with real-valued radial potentials V $\in$ L $\infty$ (R d). In particular, we show that if V (x) = O x --$\delta$ with $\delta$ > 2, then the resolvent bound is of the form e Ch --4/3 with some constant C > 0. We also get resolvent bounds when 1 < $\delta$ $\le$ 2. For slowly decaying $\alpha$-H{\"o}lder potentials we get better resolvent bounds of the form e Ch --4/($\alpha$+3) .


title: Benchmarking Unsupervised Outlier Detection with Realistic Synthetic Data

abstract: Benchmarking unsupervised outlier detection is difficult. Outliers are rare, and existing benchmark data contains outliers with various and unknown characteristics. Fully synthetic data usually consists of outliers and regular instance with clear characteristics and thus allows for a more meaningful evaluation of detection methods in principle. Nonetheless, there have only been few attempts to include synthetic data in benchmarks for outlier detection. This might be due to the imprecise notion of outliers or to the difficulty to arrive at a good coverage of different domains with synthetic data. In this work we propose a generic process for the generation of data sets for such benchmarking. The core idea is to reconstruct regular instances from existing real-world benchmark data while generating outliers so that they exhibit insightful characteristics. This allows both for a good coverage of domains and for helpful interpretations of results. We also describe three instantiations of the generic process that generate outliers with specific characteristics, like local outliers. A benchmark with state-of-the-art detection methods confirms that our generic process is indeed practical.


title: Markov chain approximations for one dimensional diffusions

abstract: The Markov chain approximation of a one-dimensional symmetric diffusion is investigated in this paper. Given an irreducible reflecting diffusion on a closed interval with scale function $s$ and speed measure $m$, the approximating Markov chains are constructed explicitly through the trace of the Dirichlet form corresponding to the diffusion. One feature of our approach is that it does not require uniform ellipticity on diffusion coefficient of the limit object or uniform regularity on conductances of the approximative Markov chains, as imposed usually in the previous related works.


title: A Model-Driven Deep Learning Method for Massive MIMO Detection

abstract: In this paper, an efficient massive multiple-input multiple-output (MIMO) detector is proposed by employing a deep neural network (DNN). Specifically, we first unfold an existing iterative detection algorithm into the DNN structure, such that the detection task can be implemented by deep learning (DL) approach. We then introduce two auxiliary parameters at each layer to better cancel multiuser interference (MUI). The first parameter is to generate the residual error vector while the second one is to adjust the relationship among previous layers. We further design the training procedure to optimize the auxiliary parameters with pre-processed inputs. The so derived MIMO detector falls into the category of model-driven DL. The simulation results show that the proposed MIMO detector can achieve preferable detection performance compared to the existing detectors for massive MIMO systems.


title: Machine learning force fields and coarse-grained variables in molecular dynamics: application to materials and biological systems

abstract: Machine learning encompasses a set of tools and algorithms which are now becoming popular in almost all scientific and technological fields. This is true for molecular dynamics as well, where machine learning offers promises of extracting valuable information from the enormous amounts of data generated by simulation of complex systems. We provide here a review of our current understanding of goals, benefits, and limitations of machine learning techniques for computational studies on atomistic systems, focusing on the construction of empirical force fields from ab-initio databases and the determination of reaction coordinates for free energy computation and enhanced sampling.


title: Well-posedness and asymptotic behaviour of an aggregation model with intrinsic interactions on sphere and other manifolds

abstract: We investigate a model for collective behaviour with intrinsic interactions on Riemannian manifolds. We establish the well-posedness of measure solutions (defined via mass transport) on sphere, as well as investigate the mean-field particle approximation. We study the long-time behaviour of solutions to the model on sphere, where the primary goal is to establish sufficient conditions for a consensus state to form asymptotically. Well-posedness of solutions and the formation of consensus are also investigated for other manifolds (e.g., a hypercylinder).


title: The H\"older continuous subsolution theorem for complex Hessian equations

abstract: Let $\Omega \Subset \mathbb C^n$ be a bounded strongly $m$-pseudoconvex domain ($1\leq m\leq n$) and $\mu$ a positive Borel measure with finite mass on $\Omega$. Then we solve the H\"older continuous subsolution problem for the complex Hessian equation $(dd^c u)^m \wedge \beta^{n - m} = \mu$ on $\Omega$. Namely, we show that this equation admits a unique H\"older continuous solution on $\Omega$ with a given H\"older continuous boundary values if it admits a H\"older continuous subsolution on $\Omega$. The main step in solving the problem is to establish a new capacity estimate showing that the $m$-Hessian measure of a H\"older continuous $m$-subharmonic function on $\Omega$ with zero boundary values is dominated by the $m$-Hessian capacity with respect to $\Omega$ with an (explicit) exponent $\tau > 1$.


title: Vanishing diffusion in a dynamic boundary condition for the Cahn-Hilliard equation

abstract: The initial boundary value problem for a Cahn-Hilliard system subject to a dynamic boundary condition of Allen-Cahn type is treated. The vanishing of the surface diffusion on the dynamic boundary condition is the point of emphasis. By the asymptotic analysis as the diffusion coefficient tends to 0, one can expect that the solutions of the surface diffusion problem converge to the solution of the problem without the surface diffusion. This is actually the case, but the solution of the limiting problem naturally looses some regularity. Indeed, the system we investigate is rather complicate due to the presence of nonlinear terms including general maximal monotone graphs both in the bulk and on the boundary. The two graphs are related each to the other by a growth condition, with the boundary graph that dominates the other one. In general, at the asymptotic limit a weaker form of the boundary condition is obtained, but in the case when the two graphs exhibit the same growth the boundary condition still holds almost everywhere.


title: Advanced Evasion Attacks and Mitigations on Practical ML-Based Phishing Website Classifiers

abstract: Machine learning (ML) based approaches have been the mainstream solution for anti-phishing detection. When they are deployed on the client-side, ML-based classifiers are vulnerable to evasion attacks. However, such potential threats have received relatively little attention because existing attacks destruct the functionalities or appearance of webpages and are conducted in the white-box scenario, making it less practical. Consequently, it becomes imperative to understand whether it is possible to launch evasion attacks with limited knowledge of the classifier, while preserving the functionalities and appearance. In this work, we show that even in the grey-, and black-box scenarios, evasion attacks are not only effective on practical ML-based classifiers, but can also be efficiently launched without destructing the functionalities and appearance. For this purpose, we propose three mutation-based attacks, differing in the knowledge of the target classifier, addressing a key technical challenge: automatically crafting an adversarial sample from a known phishing website in a way that can mislead classifiers. To launch attacks in the white- and grey-box scenarios, we also propose a sample-based collision attack to gain the knowledge of the target classifier. We demonstrate the effectiveness and efficiency of our evasion attacks on the state-of-the-art, Google's phishing page filter, achieved 100% attack success rate in less than one second per website. Moreover, the transferability attack on BitDefender's industrial phishing page classifier, TrafficLight, achieved up to 81.25% attack success rate. We further propose a similarity-based method to mitigate such evasion attacks, Pelican. We demonstrate that Pelican can effectively detect evasion attacks. Our findings contribute to design more robust phishing website classifiers in practice.


title: Total disconnectedness of Julia sets of random quadratic polynomials

abstract: For a sequence of complex parameters $\{c_n\}$ we consider the compositions of functions $f_{c_n} (z) = z^2 + c_n$, which is the non-autonomous version of the classical quadratic dynamical system. The definitions of Julia and Fatou sets are naturally generalized to this setting. We answer a question posed by Br\"uck, B\"uger and Reitz, whether the Julia set for such a sequence is almost always totally disconnected, if the values $c_n$ are chosen randomly from a large disk. Our proof is easily generalized to answer a lot of other related questions regarding typical connectivity of the random Julia set. In fact we prove the statement for a much larger family of sets than just disks, in particular if one picks $c_n$ randomly from the main cardioid of the Mandelbrot set, then the Julia set is still almost always totally disconnected.


title: Global in time existence of strong solution to 3D periodic Navier-Stokes equations

abstract: The purpose of this paper is to bring to light a method through which the global in time existence for arbitrary large in $H^1$ initial data of a strong solution to 3D periodic Navier-Stokes equations follows. The method consists of subdividing the time interval of existence into smaller sub-intervals carefully chosen. These sub-intervals are chosen based on the hypothesis that for any wavenumber $m$, one can find an interval of time on which the energy quantized in low-frequency components (up to $m$) of the solution $u$ is lesser than the energy quantized in high-frequency components (down to $m$) or otherwise the opposite. We associate then a suitable number $m$ to each one of the intervals and we prove that the norm $\|u(t)\|_{H^1}$ is bounded in both mentioned cases. The process can be continued until reaching the maximal time of existence $T_{max}$ which yields the global in time existence of strong solution.


title: Self-Supervised training for blind multi-frame video denoising

abstract: We propose a self-supervised approach for training multi-frame video denoising networks. These networks predict frame t from a window of frames around t. Our self-supervised approach benefits from the video temporal consistency by penalizing a loss between the predicted frame t and a neighboring target frame, which are aligned using an optical flow. We use the proposed strategy for online internal learning, where a pre-trained network is fine-tuned to denoise a new unknown noise type from a single video. After a few frames, the proposed fine-tuning reaches and sometimes surpasses the performance of a state-of-the-art network trained with supervision. In addition, for a wide range of noise types, it can be applied blindly without knowing the noise distribution. We demonstrate this by showing results on blind denoising of different synthetic and realistic noises.


title: Mendelian randomization and causal networks for systematic analysis of omics

abstract: Mendelian randomization implemented through instrumental variable analysis is frequently discussed in causality and recently the number of applications on real data is increasing. However, there are very few discussions to address modern biomedical questions such as the integration of large scale omics in causality. While in the age of large omics, we face several hundred or thousands of components with little knowledge about the underlying structures, the focus of the field is on small scales and mostly with known structures. The availability of large omic data accentuates the need for techniques to identify interconnectivity among the omic components and reveal the principles that govern the relationships. This study extends instrumental variable techniques to identify causal networks in large scales and assess the assumptions. Large-scale causal networks are complex and further analyses are required to uncover mechanisms by which the components are related within and between omics and linked to disease endpoints. This study will review these utilities of causal networks for mechanistic understanding.


title: Algorithmic complexity of Greenberg's conjecture

abstract: Let $k$ be a totally real number field and $p$ a prime. We show that the ``complexity'' of Greenberg's conjecture ($\lambda = \mu = 0$) is of $p$-adic nature governed (under Leopoldt's conjecture) by the finite torsion group ${\mathcal T}_k$ of the Galois group of the maximal abelian $p$-ramified pro-$p$-extension of $k$, by means of images in ${\mathcal T}_k$ of ideal norms from the layers $k_n$ of the cyclotomic tower (Theorem (5.2)). These images are obtained via the formal algorithm computing, by ``unscrewing'', the $p$-class group of~$k_n$. Conjecture (5.4) of equidistribution of these images would show that the number of steps $b_n$ of the algorithms is bounded as $n \to \infty$, so that Greenberg's conjecture, hopeless within the sole framework of Iwasawa's theory, would hold true ``with probability $1$''. No assumption is made on $[k : \mathbb{Q}]$, nor on the decomposition of $p$ in $k/\mathbb{Q}$.


title: Probabilistic reachable and invariant sets for linear systems with correlated disturbance

abstract: In this paper a constructive method to determine and compute probabilistic reachable and invariant sets for linear discrete-time systems, excited by a stochastic disturbance, is presented. The samples of the disturbance signal are not assumed to be uncorrelated, only a bound on the correlation matrices is supposed to be known. The concept of correlation bound is introduced and employed to determine probabilistic reachable sets and probabilistic invariant sets. Constructive methods for their computation, based on convex optimization, are given.


title: On the Combined Impact of Population Size and Sub-problem Selection in MOEA/D

abstract: This paper intends to understand and to improve the working principle of decomposition-based multi-objective evolutionary algorithms. We review the design of the well-established Moea/d framework to support the smooth integration of different strategies for sub-problem selection, while emphasizing the role of the population size and of the number of offspring created at each generation. By conducting a comprehensive empirical analysis on a wide range of multi-and many-objective combinatorial NK landscapes, we provide new insights into the combined effect of those parameters on the anytime performance of the underlying search process. In particular, we show that even a simple random strategy selecting sub-problems at random outperforms existing sophisticated strategies. We also study the sensitivity of such strategies with respect to the ruggedness and the objective space dimension of the target problem.


title: Dynamics of the Schr{\"o}dinger-Langevin Equation

abstract: We consider the nonlinear Schr{\"o}dinger-Langevin equation for both signs of the logarithmic nonlinearity. We explicitly compute the dynamics of Gaussian solutions for large times, which is obtained through the study of a particular nonlinear differential equation of order 2. We then give the asymptotic behavior of general energy weak solutions under some regularity assumptions. Some numerical simulations are performed in order to corroborate the theoretical results.


title: Dynamic Bayesian Neural Networks

abstract: We define an evolving in time Bayesian neural network called a Hidden Markov neural network. The weights of a feed-forward neural network are modelled with the hidden states of a Hidden Markov model, whose observed process is given by the available data. A filtering algorithm is used to learn a variational approximation to the evolving in time posterior over the weights. Training is pursued through a sequential version of Bayes by Backprop Blundell et al. 2015, which is enriched with a stronger regularization technique called variational DropConnect. The experiments test variational DropConnect on MNIST and display the performance of Hidden Markov neural networks on time series.


title: Note on semi-proper orientations of outerplanar graphs

abstract: A semi-proper orientation of a given graph $G$, denoted by $(D,w)$, is an orientation $D$ with a weight function $w: A(D)\rightarrow \mathbb{Z}_+$, such that the in-weight of any adjacent vertices are distinct, where the in-weight of $v$ in $D$, denoted by $w^-_D(v)$, is the sum of the weights of arcs towards $v$. The semi-proper orientation number of a graph $G$, denoted by $\overrightarrow{\chi}_s(G)$, is the minimum of maximum in-weight of $v$ in $D$ over all semi-proper orientation $(D,w)$ of $G$. This parameter was first introduced by Dehghan (2019). When the weights of all edges eqaul to one, this parameter is equal to the proper orientation number of $G$. The optimal semi-proper orientation is a semi-proper orientation $(D,w)$ such that $\max_{v\in V(G)}w_D^-(v)=\overrightarrow{\chi}_s(G)$. Ara\'ujo et al. (2016) showed that $\overrightarrow{\chi}(G)\le 7$ for every cactus $G$ and the bound is tight. We prove that for every cactus $G$, $\overrightarrow{\chi}_s(G) \le 3$ and the bound is tight. Ara\'{u}jo et al. (2015) asked whether there is a constant $c$ such that $\overrightarrow{\chi}(G)\le c$ for all outerplanar graphs $G.$ While this problem remains open, we consider it in the weighted case. We prove that for every outerplanar graph $G,$ $\overrightarrow{\chi}_s(G)\le 4$ and the bound is tight.


title: Unified Dynamic Convolutional Network for Super-Resolution with Variational Degradations

abstract: Deep Convolutional Neural Networks (CNNs) have achieved remarkable results on Single Image Super-Resolution (SISR). Despite considering only a single degradation, recent studies also include multiple degrading effects to better reflect real-world cases. However, most of the works assume a fixed combination of degrading effects, or even train an individual network for different combinations. Instead, a more practical approach is to train a single network for wide-ranging and variational degradations. To fulfill this requirement, this paper proposes a unified network to accommodate the variations from inter-image (cross-image variations) and intra-image (spatial variations). Different from the existing works, we incorporate dynamic convolution which is a far more flexible alternative to handle different variations. In SISR with non-blind setting, our Unified Dynamic Convolutional Network for Variational Degradations (UDVD) is evaluated on both synthetic and real images with an extensive set of variations. The qualitative results demonstrate the effectiveness of UDVD over various existing works. Extensive experiments show that our UDVD achieves favorable or comparable performance on both synthetic and real images.


title: Modal Matters in Interpretability Logics

abstract: This paper from 2008 is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the foundations are laid for later results. These foundations consist of a thorough treatment of a construction method to obtain modal models. This construction method is used to reprove some known results in the area of interpretability like the modal completeness of the logic ${\textbf{IL}}$. Next, the method is applied to obtain new results: the modal completeness of the logic ${\textbf{IL}}{\sf M_0}$, and modal completeness of ${\textbf{IL}}({\sf W^*})$.


title: Exploration of Indoor Environments Predicting the Layout of Partially Observed Rooms

abstract: We consider exploration tasks in which an autonomous mobile robot incrementally builds maps of initially unknown indoor environments. In such tasks, the robot makes a sequence of decisions on where to move next that, usually, are based on knowledge about the observed parts of the environment. In this paper, we present an approach that exploits a prediction of the geometric structure of the unknown parts of an environment to improve exploration performance. In particular, we leverage an existing method that reconstructs the layout of an environment starting from a partial grid map and that predicts the shape of partially observed rooms on the basis of geometric features representing the regularities of the indoor environment. Then, we originally employ the predicted layout to estimate the amount of new area the robot would observe from candidate locations in order to inform the selection of the next best location and to early stop the exploration when no further relevant area is expected to be discovered. Experimental activities show that our approach is able to effectively predict the layout of partially observed rooms and to use such knowledge to speed up the exploration.


title: Asymptotic behavior of the occupancy density for obliquely reflected Brownian motion in a half-plane and Martin boundary

abstract: Let $\pi$ be the occupancy density of an obliquely reflected Brownian motion in the half plane and let ($\rho$, $\alpha$) be the polar coordinates of a point in the upper half plane. This work determines the exact asymptotic behavior of $\pi$($\rho$, $\alpha$) as $\rho$ $\rightarrow$ $\infty$ with $\alpha$ $\in$ (0, $\pi$). We find explicit functions a, b, c such that $\pi$($\rho$, $\alpha$) $\sim$ $\rho$$\rightarrow$$\infty$ a($\alpha$)$\rho$ b($\alpha$) e --c($\alpha$)$\rho$. This closes an open problem first stated by Professor J. Michael Harrison in August 2013. We also compute the exact asymptotics for the tail distribution of the boundary occupancy measure and we obtain an explicit integral expression for $\pi$. We conclude by finding the Martin boundary of the process and giving all of the corresponding harmonic functions satisfying an oblique Neumann boundary problem.


title: Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version)

abstract: Dynamic data race prediction aims to identify races based on a single program run represented by a trace. The challenge is to remain efficient while being as sound and as complete as possible. Efficient means a linear run-time as otherwise the method unlikely scales for real-world programs. We introduce an efficient, near complete and often sound dynamic data race prediction method that combines the lockset method with several improvements made in the area of happens-before methods. By near complete we mean that the method is complete in theory but for efficiency reasons the implementation applies some optimizations that may result in incompleteness. The method can be shown to be sound for two threads but is unsound in general. We provide extensive experimental data that shows that our method works well in practice.


title: Roommate Compatibility Detection Through Machine Learning Techniques

abstract: Our objective is to develop an artificially intelligent system which aims at checking the compatibility between the roommates of same or different sex sharing a common area of residence. There are a few key factors determining one's compatibility with the other person. Interpersonal behaviour , situational awareness, communication skills. Here we are trying to build a system that evaluates user on these key factors not via pen paper test but through a highly engaging set of questions and answers. Hence using these scores as an input to our machine learning algorithm which is based on previous trends to come up with percentage probability of user being compatible with another user. With the growing population there is always a challenge for organisation and educational institutions to make the students and their employees more and more productive and in such cases a person's social environment comes into play. A person may be a genius but as long as he is not able to work well with his peers there will always be a chance of more productive performance. It is a well-established fact that human are and have always been a social animal and this has helped in creating communities of like-minded people. Many times, even when there are a large no of people employed to do a particular task the result may not be as expected as people may not compatible in working with one another. This at the end creates performance gaps, hinders organisation success and in many cases loss of precious resources. Our intent is not to remove the non-compatible people from the picture but to find out the perfect compatible match for the person elsewhere that will not only save the resources will also enable effective use of resources. Through the use of various machine learning classification techniques, we intent to do this.


title: ActionSpotter: Deep Reinforcement Learning Framework for Temporal Action Spotting in Videos

abstract: Summarizing video content is an important task in many applications. This task can be defined as the computation of the ordered list of actions present in a video. Such a list could be extracted using action detection algorithms. However, it is not necessary to determine the temporal boundaries of actions to know their existence. Moreover, localizing precise boundaries usually requires dense video analysis to be effective. In this work, we propose to directly compute this ordered list by sparsely browsing the video and selecting one frame per action instance, task known as action spotting in literature. To do this, we propose ActionSpotter, a spotting algorithm that takes advantage of Deep Reinforcement Learning to efficiently spot actions while adapting its video browsing speed, without additional supervision. Experiments performed on datasets THUMOS14 and ActivityNet show that our framework outperforms state of the art detection methods. In particular, the spotting mean Average Precision on THUMOS14 is significantly improved from 59.7% to 65.6% while skipping 23% of video.


title: Diffractive dijet photoproduction at the EIC

abstract: We present a first, detailed study of diffractive dijet photoproduction at the recently approved electron-ion collider (EIC) at BNL. Apart from establishing the kinematic reaches for various beam types, energies and kinematic cuts, we make precise predictions at next-to-leading order (NLO) of QCD in the most important kinematic variables. We show that the EIC will provide new and more precise information on the diffractive parton density functions (PDFs) in the pomeron than previously obtained at HERA, illuminate the still disputed mechanism of global vs.\ only resolved-photon factorization breaking, and provide access to a completely new quantity, i.e. nuclear diffractive PDFs.


title: Nonlinear Light Absorption in Many-Electron Systems Excited by an Instantaneous Electric Field: A Non-Perturbative Approach

abstract: We study light absorption in many-electron interacting systems beyond the linear regime by using a {\em single} broadband impulse of an electric field in the instantaneous limit. We determine non-pertubatively the absorption cross section from the Fourier transform of the time-dependent induced dipole moment, which can be obtained from the time evolution of the wavefunction. We discuss the dependence of the resulting cross section on the magnitude of the impulse and we highlight the advantages of this method in comparison with perturbation theory working on a one-dimensional model system for which numerically exact solutions are accessible. Thus we demonstrate that the considered non pertubative approach provides us with an effective tool for investigating fluence-dependent nonlinear optical excitations.


title: Connecting measurements of solar and stellar brightness variations

abstract: Comparing solar and stellar brightness variations is hampered by the difference in spectral passbands used in observations as well as by the possible difference in the inclination of their rotation axes from the line of sight. We calculate the rotational variability of the Sun as it would be measured in passbands used for stellar observations. In particular, we consider the filter systems used by the CoRoT, $Kepler$, TESS, and $Gaia$ space missions. We also quantify the effect of the inclination of the rotation axis on the solar rotational variability. We employ the Spectral And Total Irradiance REconstructions (SATIRE) model to calculate solar brightness variations in different filter systems as observed from the ecliptic plane. We then combine the simulations of the surface distribution of the magnetic features at different inclinations using a surface flux transport model (SFTM) with the SATIRE calculations to compute the dependence of the variability on the inclination. For an ecliptic-bound observer, the amplitude of the solar rotational variability, as observed in the total solar irradiance (TSI) is 0.68 mmag (averaged over solar cycles 21-24). We obtained corresponding amplitudes in the $Kepler$ (0.74 mmag), CoRoT (0.73 mmag), TESS (0.62 mmag), $Gaia~ $ (0.74 mmag), $Gaia~ G_{RP}$ (0.62 mmag), and ), $Gaia~ G_{BP}$ (0.86 mmag) passbands. Decreasing the inclination of the rotation axis decreases the rotational variability. For a sample of randomly inclined stars, the variability is on average 15% lower in all filter systems considered in this work. This almost compensates for the difference in the amplitudes of the variability in TSI and $Kepler$ passbands, making the amplitudes derived from the TSI records an ideal representation of the solar rotational variability for comparison to $Kepler$ stars with unknown inclinations.


title: High-dimensional rank-one nonsymmetric matrix decomposition: the spherical case

abstract: We consider the problem of estimating a rank-one nonsymmetric matrix under additive white Gaussian noise. The matrix to estimate can be written as the outer product of two vectors and we look at the special case in which both vectors are uniformly distributed on spheres. We prove a replica-symmetric formula for the average mutual information between these vectors and the observations in the high-dimensional regime. This goes beyond previous results which considered vectors with independent and identically distributed elements. The method used can be extended to rank-one tensor problems.


title: Observation of domain wall bimerons in chiral magnets

abstract: Topological defects embedded in or combined with domain walls have been proposed in various systems, some of which are referred to as domain wall skyrmions or domain wall bimerons. However, the experimental observation of such topological defects remains an ongoing challenge. Here, using Lorentz transmission electron microscopy, we report the experimental discovery of domain wall bimerons in chiral magnet Co-Zn-Mn(110) thin films. By applying a magnetic field, multidomain structures develop, and simultaneously, chained and isolated bimerons arise as the localized state between the domains with the opposite in-plane components of net magnetization. The multidomain formation is attributed to magnetic anisotropy and dipolar interaction, and domain wall bimerons are stabilized by the Dzyaloshinskii-Moriya interaction. In addition, micromagnetic simulations show that domain wall bimerons appear for a wide range of conditions in chiral magnets with cubic magnetic anisotropy. Our results promote further study in various fields of physics.


title: On Learning Rates and Schr\"odinger Operators

abstract: The learning rate is perhaps the single most important parameter in the training of neural networks and, more broadly, in stochastic (nonconvex) optimization. Accordingly, there are numerous effective, but poorly understood, techniques for tuning the learning rate, including learning rate decay, which starts with a large initial learning rate that is gradually decreased. In this paper, we present a general theoretical analysis of the effect of the learning rate in stochastic gradient descent (SGD). Our analysis is based on the use of a learning-rate-dependent stochastic differential equation (lr-dependent SDE) that serves as a surrogate for SGD. For a broad class of objective functions, we establish a linear rate of convergence for this continuous-time formulation of SGD, highlighting the fundamental importance of the learning rate in SGD, and contrasting to gradient descent and stochastic gradient Langevin dynamics. Moreover, we obtain an explicit expression for the optimal linear rate by analyzing the spectrum of the Witten-Laplacian, a special case of the Schr\"odinger operator associated with the lr-dependent SDE. Strikingly, this expression clearly reveals the dependence of the linear convergence rate on the learning rate -- the linear rate decreases rapidly to zero as the learning rate tends to zero for a broad class of nonconvex functions, whereas it stays constant for strongly convex functions. Based on this sharp distinction between nonconvex and convex problems, we provide a mathematical interpretation of the benefits of using learning rate decay for nonconvex optimization.


title: Circular polarisation from inhomogeneous synchrotron sources

abstract: Inhomogeneities can influence the polarisation emerging from a synchrotron source. However, it is shown that the frequency distribution of circular polarisation is only marginally affected, although its magnitude may change substantially. This is used to argue that the observed properties of compact radio sources imply a radiating plasma in which the characteristic waves are nearly circular. As a result, restrictions can be put on the low energy part of the energy distribution of the relativistic electrons as well as the presence of electron-positron pairs. It is emphasised that this constrains theoretical modelling of the acceleration process for the relativistic electrons; for example, some of the currently popular scenarios seem to need modifications to become consistent with observations.


title: A Method for Unmasking Incomplete Astronomical Signals: Application to CO Multi-line Imaging of Nearby Galaxies Project

abstract: Photometric surveys have provided incredible amounts of astronomical information in the form of images. However, astronomical images often contain artifacts that can critically hinder scientific analysis by misrepresenting intensities or contaminating catalogs as artificial objects. These affected pixels need to be masked and dealt with in any data reduction pipeline. In this paper, we present a flexible, iterative algorithm to recover (unmask) astronomical images where some pixels are lacking. We demonstrate the application of the method on some intensity calibration source images in CO Multi-line Imaging of Nearby Galaxies (COMING) Project conducted using the 45m telescope at Nobeyama Radio Observatory (NRO). The proposed algorithm restored artifacts due to a detector error in the intensity calibration source images. The restored images were used to calibrate 11 out of 147 observed galaxy maps in the survey. The tests show that the algorithm can restore measured intensities at sub 1% error even for noisy images (SNR = 2.4), despite lacking a significant part of the image. We present the formulation of the reconstruction algorithm, discuss its possibilities and limitations for extensions to other astronomical signals and the results of the COMING application.


title: Compton recoil effects in staging of laser wakefield accelerators

abstract: Laser plasma accelerators capable of generating >10 GeV electron beams may require plasma mirrors to remove undepleted laser energy at the end of each accelerator stage. Near the plasma mirror surface, the electron bunch can interact with the reflected light, resulting in inverse Compton scattering. For realistic conditions, we show that a significant fraction of electrons emit one or more photons, increasing the energy spread of the electron bunch. We provide an analytical expression for calculating this effect, and use it to estimate the minimum drift space required before the plasma mirror to meet given energy spread specifications. Mitigation strategies, necessary to achieve sub-percent energy spread in multi-GeV laser wakefield electron sources, are proposed and explored.


title: Left-Right Entanglement Entropy for a Dp-brane with Dynamics and Background Fields

abstract: We investigate the left-right entanglement entropy of a boundary state, corresponding to a dynamical D$p$-brane with the internal and background fields. We assume that the brane has a tangential linear motion and a rotation, and is dressed with an internal $U(1)$ gauge potential and the Kalb-Ramond tensor field $B_{\mu\nu}$. We derive the entanglement entropy via the R\'{e}nyi entropy by applying the replica trick. Our calculations will be in the context of the bosonic string theory.


title: An analytical study of participating policies with minimum rate guarantee and surrender option

abstract: We perform a detailed theoretical study of the value of a class of participating policies with four key features: $(i)$ the policyholder is guaranteed a minimum interest rate on the policy reserve; $(ii)$ the contract can be terminated by the holder at any time until maturity (surrender option); $(iii)$ at the maturity (or upon surrender) a bonus can be credited to the holder if the portfolio backing the policy outperforms the current policy reserve; $(iv)$ due to solvency requirements the contract ends if the value of the underlying portfolio of assets falls below the policy reserve. Our analysis is probabilistic and it relies on optimal stopping and free boundary theory. We find a structure of the optimal surrender strategy which was undetected by previous (mostly numerical) studies on the same topic. Optimal surrender of the contract is triggered by two `stop-loss' boundaries and by a `too-good-to-persist' boundary (in the language of \cite{EV20}). Financial implications of this strategy are discussed in detail and supported by extensive numerical experiments.


title: The impact of Industry 4.0 technologies on production and supply chains

abstract: This paper sheds light on the current development in major industrialized countries (such as Germany, Japan, and Switzerland): the trend towards highly-integrated and autonomous production systems. The question is how such a transition of a production infrastructure can take place most efficiently. This research uses the system dynamics method to address this complex transition process from a legacy production system to a modern and highly integrated production system (an Industry 4.0 system). The findings mainly relate to the identification of system structures that are relevant for an Industry 4.0 perspective. Our research is the first in its kind which presents a causal model that addresses the transition to Industry 4.0.


title: Broadband Electrical Action Sensing Techniques with conducting wires for low-mass dark matter axion detection

abstract: Due to the inverse Primakoff effect it has been shown that when axions interact with a DC magnetic B-field the resulting electrical action will produce an AC electromotive force which oscillates at the Compton frequency of the axion, and may be modeled as an oscillating effective impressed magnetic current boundary source. We use this result to calculate the sensitivity of new experiments to low-mass axions using the quasi-static technique. First, we calculate the current induced in an electric dipole antenna (straight conducting wire) when the DC B-field is spatially constant and show that it has a sensitivity proportional to the axion mass. Following this we extend the topology by making use of the full extent of the spatially varying DC B-field. This extension is achieved by transforming the 1D conducting wire to a 2D winding, to fully link the effective magnetic current boundary source and thus couple to the full axion induced electrical action. In this case the conductor becomes a coil winding where the voltage induced across the winding increases proportionally to the number of windings. We investigate two different topologies: The 1st uses a single winding, and couples to the effective short circuit current generated in the winding, which is read out using a sensitive low impedance SQUID amplifier: The 2nd uses multiple windings, with every turn effectively increasing the the voltage output proportional to the winding number. The read out of this configuration is optimised by implementing a cryogenic low-noise high input impedance voltage amplifier. The end result is a new Broadband Electrical Action Sensing Techniques with orders of magnitude improved sensitivity, which is linearly proportional to the axion photon coupling and capable of detecting QCD dark matter axions.

categories: physics.ins-det astro-ph.IM gr-qc hep-ex


title: Extending Deep Reinforcement Learning Frameworks in Cryptocurrency Market Making

abstract: There has been a recent surge in interest in the application of artificial intelligence to automated trading. Reinforcement learning has been applied to single- and multi-instrument use cases, such as market making or portfolio management. This paper proposes a new approach to framing cryptocurrency market making as a reinforcement learning challenge by introducing an event-based environment wherein an event is defined as a change in price greater or less than a given threshold, as opposed to by tick or time-based events (e.g., every minute, hour, day, etc.). Two policy-based agents are trained to learn a market making trading strategy using eight days of training data and evaluate their performance using 30 days of testing data. Limit order book data recorded from Bitmex exchange is used to validate this approach, which demonstrates improved profit and stability compared to a time-based approach for both agents when using a simple multi-layer perceptron neural network for function approximation and seven different reward functions.


title: Framing COVID-19: How we conceptualize and discuss the pandemic on Twitter

abstract: Doctors and nurses in these weeks are busy in the trenches, fighting against a new invisible enemy: Covid-19. Cities are locked down and civilians are besieged in their own homes, to prevent the spreading of the virus. War-related terminology is commonly used to frame the discourse around epidemics and diseases. Arguably the discourse around the current epidemic will make use of war-related metaphors too,not only in public discourse and the media, but also in the tweets written by non-experts of mass communication. We hereby present an analysis of the discourse around #Covid-19, based on a corpus of 200k tweets posted on Twitter during March and April 2020. Using topic modelling we first analyze the topics around which the discourse can be classified. Then, we show that the WAR framing is used to talk about specific topics, such as the virus treatment, but not others, such as the effects of social distancing on the population. We then measure and compare the popularity of the WAR frame to three alternative figurative frames (MONSTER, STORM and TSUNAMI) and a literal frame used as control (FAMILY). The results show that while the FAMILY literal frame covers a wider portion of the corpus, among the figurative framings WAR is the most frequently used, and thus arguably the most conventional one. However, we conclude, this frame is not apt to elaborate the discourse around many aspects involved in the current situation. Therefore, we conclude, in line with previous suggestions, a plethora of framing options, or a metaphor menu, may facilitate the communication of various aspects involved in the Covid-19-related discourse on the social media, and thus support civilians in the expression of their feelings, opinions and ideas during the current pandemic.


title: A novel pressure-free two-fluid model for one-dimensional incompressible multiphase flow

abstract: A novel pressure-free two-fluid model formulation is proposed for the simulation of one-dimensional incompressible multiphase flow in pipelines and channels. The model is obtained by simultaneously eliminating the volume constraint and the pressure from the widely used two-fluid model (TFM). The resulting `pressure-free two-fluid model' (PF-TFM) has a number of attractive features: (i) it features four evolution equations (without additional constraints) that can be solved very quickly with explicit time integration methods; (ii) it keeps the conservation properties of the original two-fluid model, and therefore the correct shock relations in case of discontinuities; (iii) its solutions satisfy the two TFM constraints exactly: the volume constraint and the volumetric flow constraint; (iv) it offers a convenient form to analytically analyse the equation system, since the constraint has been removed. A staggered-grid spatial discretization and an explicit Runge-Kutta time integration method are proposed, which keep the constraints exactly satisfied when numerically solving the PF-TFM. Furthermore, for the case of strongly imposed boundary conditions, a novel adapted Runge-Kutta formulation is proposed that keeps the volumetric flow exact in time while retaining high order accuracy. Several test cases confirm the theoretical properties and show the efficiency of the new pressure-free model.


title: $S$-parts of sums of terms of linear recurrence sequences

abstract: Let $S= \{ p_1, \ldots, p_s\}$ be a finite, non-empty set of distinct prime numbers and $(U_{n})_{n \geq 0}$ be a linear recurrence sequence of integers of order $r$. For any positive integer $k,$ we define $(U_j^{(k)})_{j\geq 1}$ an increasing sequence composed of integers of the form $U_{n_k} +\cdots + U_{n_1}, \ n_k>\cdots >n_1$. Under certain assumptions, we prove that for any $\epsilon >0,$ there exists an integer $n_{0}$ such that $[U_j^{(k)}]_S < \left(U_j^{(k)}\right)^{\epsilon},$ for $ j > n_0,$ where $[m]_S$ denote the $S$-part of the positive integer $m$. On further assumptions on $(U_{n})_{n \geq 0},$ we also compute an effective bound for $[U_j^{(k)}]_S$ of the form $\left(U_j^{(k)}\right)^{1-c}$, where $c $ is a positive constant depends only on $(U_{n})_{n \geq 0}$ and $S.$


title: A function space analysis of finite neural networks with insights from sampling theory

abstract: This work suggests using sampling theory to analyze the function space represented by neural networks. First, it shows, under the assumption of a finite input domain, which is the common case in training neural networks, that the function space generated by multi-layer networks with non-expansive activation functions is smooth. This extends over previous works that show results for the case of infinite width ReLU networks. Then, under the assumption that the input is band-limited, we provide novel error bounds for univariate neural networks. We analyze both deterministic uniform and random sampling showing the advantage of the former.


title: Hints of (de)confinement in Yang-Mills-Chern-Simons theories in the maximal Abelian gauge

abstract: The study of Yang-Mills theories in three dimensions is an insightful playground to grasp important features for the four-dimensional case. Additionally, in three dimensions, the Chern-Simons term can be introduced with a mass parameter of topological nature. Quantizing such a theory in the continuum demands a gauge fixing which, in general, is plagued by Gribov copies. In this work, Yang-Mills-Chern-Simons theories are quantized in the maximal Abelian gauge and the existence of infinitesimal Gribov copies is taken into account. The elimination of copies modifies the (Abelian) gluon propagator leading to two different phases: one in which all poles are complex and thus interpreted as a confining phase and another where an excitation which can be part of the physical spectrum is present.


title: Effect of back reaction on entanglement and subregion volume complexity in strongly coupled plasma

abstract: The back reaction imparted by a uniform distribution of heavy static fundamental quarks on large $N_c$ strongly coupled gauge theory can be holographically realized as a deformation in $AdS$ blackhole background. The presence of back reaction brings significant changes in to the entanglement structure of the strongly coupled boundary theory at finite temperature. Since the deformed blackhole geometry still remains asymptotically $AdS$, the $gauge/gravity$ duality allows us to explore the entanglement structure of back reacted plasma in a quantitative way by computing various measures, e.g holographic entanglement entropy (HEE) and entanglement wedge cross section (EWCS). We explicitly study the variation of those entanglement measures with respect to the uniform density of heavy static fundamental quarks present in the boundary theory. In particular, we notice enhancement of both HEE and EWCS with respect to quark density. We also study the effect of back reaction on the holographic subregion volume complexity. In this analysis we observe an occurrence of logarithmic divergence proportional to the quark density parameter.


title: Investigating the morphology of the supernova remnant G349.7+00.2 in the medium with a density gradient

abstract: G349.7 + 00.2 is a young Galactic supernova remnant (SNR) with a mushroom morphology in radio and X-rays, and it has been detected across the entire electromagnetic spectrum from radio to high energy $\gamma$-rays. Moreover, the remnant is interacting with a molecular cloud based on the observations in the radio and infrared band. The reason for the formation of the periphery and the dynamical evolution of the remnant are investigated using 3D hydrodynamical (HD) simulations. Under the assumption that the supernova ejecta is evolved in the medium with a density gradient, the shell is composed of two hemispheres with different radiuses, and the smaller hemisphere is in relatively dense media. The resulting periphery of remnant is consistent with detected ones, and it can be concluded that the peculiar periphery of G349.7+00.2 can be reproduced as the remnants interacting with the medium with a density gradient.


title: Penetration depth and gap structure in the antiperovskite oxide superconductor Sr$_{3-x}$SnO revealed by $\mu$SR

abstract: We report a $\mu$SR study on the antiperovskite oxide superconductor Sr$_{3-x}$SnO. With transverse-field $\mu$SR, we observed the increase of the muon relaxation rate upon cooling below the superconducting transition temperature $T_{\mathrm{c}}=5.4$ K, evidencing bulk superconductivity. The exponential temperature dependence of the relaxation rate $\sigma$ at low temperatures suggests a fully gapped superconducting state. We evaluated the zero-temperature penetration depth $\lambda(0)\propto1/\sqrt{\sigma(0)}$ to be around 320-1020 nm. Such a large value is consistent with the picture of a doped Dirac semimetal. Moreover, we revealed that the ratio $T_{\mathrm{c}}/\lambda(0)^{-2}$ is larger than those of ordinary superconductors and is comparable to those of unconventional superconductors. The relatively high $T_{\mathrm{c}}$ for small carrier density may hint at an unconventional pairing mechanism beyond the ordinary phonon-mediated pairing. In addition, zero-field $\mu$SR did not provide evidence of broken time-reversal symmetry in the superconducting state. These features are consistent with the theoretically proposed topological superconducting state in Sr$_{3-x}$SnO, as well as with $s$-wave superconductivity.


title: Open Quantum Dynamics Theory of Spin Relaxation: Application to $\mu$SR and Low-Field NMR Spectroscopies

abstract: An open quantum system refers to a system, which is in turn coupled to an environment that can describe time irreversible dynamics through which the system evolves toward the thermal equilibrium state. We present a quantum mechanically rigorous theory in order to help an analysis of spectra obtained from the advanced nuclear magnetic resonance (NMR) and muon spin rotation, relaxation or resonance ($\mu$SR) techniques. Our approach is based on the numerically "exact" hierarchical equations of motion (HEOM) approach, which allows us to study the reduced system dynamics for non-perturbative and non-Markovian system-bath interactions at finite temperature even under strong time-dependent perturbations. We demonstrate the present theory to analyze $\mu$SR and low-field NMR spectra, as an extension of the Kubo-Toyabe theory focusing on the effects of temperature and anisotropy of a local magnetic field, to help further the development of these experimental means.


title: Model-independent energy budget of cosmological first-order phase transitions

abstract: We study the energy budget of a first-order cosmological phase transition, which is an important factor in the prediction of the resulting gravitational wave spectrum. Formerly, this analysis was based mostly on simplified models as for example the bag equation of state. Here, we present a model-independent approach that is exact up to the temperature dependence of the speed of sound in the broken phase. We find that the only relevant quantities that enter in the hydrodynamic analysis are the speed of sound in the broken phase and a linear combination of the energy and pressure differences between the two phases which we call pseudotrace (normalized to the enthalpy in the broken phase). The pseudotrace quantifies the strength of the phase transition and yields the conventional trace of the energy-momentum tensor for a relativistic plasma (with speed of sound squared of one third). We study this approach in several realistic models of the phase transition and also provide a code snippet that can be used to determine the efficiency coefficient for a given phase transition strength and speed of sound. It turns out that our approach is accurate to the percent level for moderately strong phase transitions, while former approaches give at best the right order of magnitude.


title: Regularity results of nonlinear perturbed stable-like operators

abstract: We consider a class of fully nonlinear integro-differential operators where the nonlocal integral has two components: the non-degenerate one corresponds to the $\alpha$-stable operator and the second one (possibly degenerate) corresponds to a class of \textit{lower order} L\'evy measures. Such operators do not have a global scaling property. We establish H\"{o}lder regularity, Harnack inequality and boundary Harnack property of solutions of these operators.


title: Prolog Technology Reinforcement Learning Prover

abstract: We present a reinforcement learning toolkit for experiments with guiding automated theorem proving in the connection calculus. The core of the toolkit is a compact and easy to extend Prolog-based automated theorem prover called plCoP. plCoP builds on the leanCoP Prolog implementation and adds learning-guided Monte-Carlo Tree Search as done in the rlCoP system. Other components include a Python interface to plCoP and machine learners, and an external proof checker that verifies the validity of plCoP proofs. The toolkit is evaluated on two benchmarks and we demonstrate its extendability by two additions: (1) guidance is extended to reduction steps and (2) the standard leanCoP calculus is extended with rewrite steps and their learned guidance. We argue that the Prolog setting is suitable for combining statistical and symbolic learning methods. The complete toolkit is publicly released.


title: Prediction meets causal inference: the role of treatment in clinical prediction models

abstract: In this paper we study approaches for dealing with treatment when developing a clinical prediction model. Analogous to the estimand framework recently proposed by the European Medicines Agency for clinical trials, we propose a `predictimand' framework of different questions that may be of interest when predicting risk in relation to treatment started after baseline. We provide a formal definition of the estimands matching these questions, give examples of settings in which each is useful and discuss appropriate estimators including their assumptions. We illustrate the impact of the predictimand choice in a dataset of patients with end-stage kidney disease. We argue that clearly defining the estimand is equally important in prediction research as in causal inference.


title: Latency-Aware Offloading in Integrated Satellite Terrestrial Networks

abstract: Next-generation communication networks are expected to integrate newly-used technologies in a smart way to ensure continuous connectivity in rural areas and to alleviate the traffic load in dense regions. The prospective access network in 6G should hinge on satellite systems to take advantage of their wide coverage and high capacity. However, adopting satellites in 6G could be hindered because of the additional latency introduced, which is not tolerable by all traffic types. Therefore, we propose a traffic offloading scheme that integrates both the satellite and terrestrial networks to smartly allocate the traffic between them while satisfying different traffic requirements. Specifically, the proposed scheme offloads the Ultra-Reliable Low Latency Communication (URLLC) traffic to the terrestrial backhaul to satisfy its stringent latency requirement. However, it offloads the enhanced Mobile Broadband (eMBB) traffic to the satellite since eMBB needs high data rates but is not always sensitive to delay. Our scheme is shown to reduce the transmission delay of URLLC packets, decrease the number of dropped eMBB packets, and hence improve the network's availability. Our findings highlight that the inter-working between satellite and terrestrial networks is crucial to mitigate the expected high load on the limited terrestrial capacity.


title: Exploring Probabilistic Soft Logic as a framework for integrating top-down and bottom-up processing of language in a task context

abstract: This technical report describes a new prototype architecture designed to integrate top-down and bottom-up analysis of non-standard linguistic input, where a semantic model of the context of an utterance is used to guide the analysis of the non-standard surface forms, including their automated normalization in context. While the architecture is generally applicable, as a concrete use case of the architecture we target the generation of semantically-informed target hypotheses for answers written by German learners in response to reading comprehension questions, where the reading context and possible target answers are given. The architecture integrates existing NLP components to produce candidate analyses on eight levels of linguistic modeling, all of which are broken down into atomic statements and connected into a large graphical model using Probabilistic Soft Logic (PSL) as a framework. Maximum a posteriori inference on the resulting graphical model then assigns a belief distribution to candidate target hypotheses. The current version of the architecture builds on Universal Dependencies (UD) as its representation formalism on the form level and on Abstract Meaning Representations (AMRs) to represent semantic analyses of learner answers and the context information provided by the target answers. These general choices will make it comparatively straightforward to apply the architecture to other tasks and other languages.


title: Anti-Unwinding Sliding Mode Attitude Maneuver Control for Rigid Spacecraft

abstract: In this paper, anti-unwinding attitude maneuver control for rigid spacecraft is considered. First, in order to avoid the unwinding phenomenon when the system states are restricted to the switching surface, a novel switching function is constructed by hyperbolic sine functions such that the switching surface contains two equilibriums. Then, a sliding mode attitude maneuver controller is designed based on the constructed switching function to ensure the robustness of the closed-loop attitude maneuver control system to disturbance. Another important feature of the developed attitude control law is that a dynamic parameter is introduced to guarantee the anti-unwinding performance before the system states reach the switching surface. The simulation results demonstrate that the unwinding problem is settled during attitude maneuver for rigid spacecraft by adopting the newly constructed switching function and proposed attitude control scheme.


title: Modular-topology optimization with Wang tilings: An application to truss structures

abstract: Modularity is appealing for solving many problems in optimization. It brings the benefits of manufacturability and reconfigurability to structural optimization, and enables a trade-off between the computational performance of a Periodic Unit Cell (PUC) and the efficacy of non-uniform designs in multi-scale material optimization. Here, we introduce a novel strategy for concurrent minimum-compliance design of truss modules topologies and their macroscopic assembly encoded using Wang tiling, a formalism providing independent control over the number of modules and their interfaces. We tackle the emerging bilevel optimization problem with a combination of meta-heuristics and mathematical programming. At the upper level, we employ a genetic algorithm to optimize module assemblies. For each assembly, we obtain optimal module topologies as a solution to a convex second-order conic program that exploits the underlying modularity, incorporating stress constraints, multiple load cases, and reuse of module(s) for various structures. Merits of the proposed strategy are illustrated with three representative examples, clearly demonstrating that the best designs obtained by our method exhibited decreased compliance: from 56% to 69% compared to the PUC designs.


title: MXR-U-Nets for Real Time Hyperspectral Reconstruction

abstract: In recent times, CNNs have made significant contributions to applications in image generation, super-resolution and style transfer. In this paper, we build upon the work of Howard and Gugger, He et al. and Misra, D. and propose a CNN architecture that accurately reconstructs hyperspectral images from their RGB counterparts. We also propose a much shallower version of our best model with a 10% relative memory footprint and 3x faster inference, thus enabling real-time video applications while still experiencing only about a 0.5% decrease in performance.


title: Stealthy MTD Against Unsupervised Learning-based Blind FDI Attacks in Power Systems

abstract: This paper examines how moving target defences (MTD) implemented in power systems can be countered by unsupervised learning-based false data injection (FDI) attack and how MTD can be combined with physical watermarking to enhance the system resilience. A novel intelligent attack, which incorporates density-based spatial clustering and dimensionality reduction, is developed and shown to be effective in maintaining stealth in the presence of traditional MTD strategies. In resisting this new type of attack, a novel implementation of MTD combining with physical watermarking is proposed by adding Gaussian watermark into physical plant parameters to drive detection of traditional and intelligent FDI attacks, while remaining hidden to the attackers and limiting the impact on system operation and stability.


title: Zero-cycles on double EPW sextics

abstract: The Chow rings of hyperK\"ahler varieties are conjectured to have a particularly rich structure. In this paper, we focus on the locally complete family of double EPW sextics and establish some properties of their Chow rings. First we prove a Beauville-Voisin type theorem for zero-cycles on double EPW sextics; precisely, we show that the codimension-4 part of the subring of the Chow ring of a double EPW sextic generated by divisors, the Chern classes and codimension-2 cycles invariant under the anti-symplectic covering involution has rank one. Second, for double EPW sextics birational to the Hilbert square of a K3 surface, we show that the action of the anti-symplectic involution on the Chow group of zero-cycles commutes with the Fourier decomposition of Shen-Vial.


title: Synthesis optimization of Zn-Mn ferrites for magnetic fluid aplications

abstract: Mn-Zn ferrite nanoparticles have been subject of increasing research due to their desired properties for a wide range of applications. These properties include nanometer particle size control, tunable magnetic properties and low toxicity, providing these ferrites with the necessary requirements for cancer treatment via magnetic hyperthermia. During this master thesis, powders of Mn1-xZnxFe2O4 (x=0; 0.5; 0.8; 1) were synthesized via the sol-gel autocombustion and hydrothermal methods, aiming to optimize their structural and magnetic properties for further application in a ferrofluid. Samples were characterized by XRD, SQUID, SEM, TEM and magnetic induction heating (MIH) techniques. The XRD diffractograms of hydrothermally produced samples present spinel crystal structure with high single-phase percentage (>88%). Rietveld refinement and Williamson-Hall analysis reveal a decrease of lattice constant and crystallite size with increase of Zn/Mn ratio. TEM images reveal narrow particle size distributions and decrease of the mean particle size with increase of Zn/Mn. SQUID results show that the increase of Zn results in a decrease of saturation magnetization and remnant magnetization. More noticeably, the M(T) curves present a shift in the samples magnetic ordering temperature towards lower temperatures with the increase of Zn content, from ~556 to ~284 K. The MIH experiment also unveil a decrease in the heating rate with the increase of Zn. Nanocrystals of Mn-Zn ferrite produced by hydrothermal method present better crystallinity and magnetic properties than the sol-gel auto-combustion samples. The hydrothermally synthesized samples revealed dependence of its structural and magnetic properties with Mn/Zn ratio.The magnetic ordering temperature of these ferrites can be used as a self-controlled mechanism of heating, raising these ferrites to a class of smart materials.


title: Visual Descriptor Learning from Monocular Video

abstract: Correspondence estimation is one of the most widely researched and yet only partially solved area of computer vision with many applications in tracking, mapping, recognition of objects and environment. In this paper, we propose a novel way to estimate dense correspondence on an RGB image where visual descriptors are learned from video examples by training a fully convolutional network. Most deep learning methods solve this by training the network with a large set of expensive labeled data or perform labeling through strong 3D generative models using RGB-D videos. Our method learns from RGB videos using contrastive loss, where relative labeling is estimated from optical flow. We demonstrate the functionality in a quantitative analysis on rendered videos, where ground truth information is available. Not only does the method perform well on test data with the same background, it also generalizes to situations with a new background. The descriptors learned are unique and the representations determined by the network are global. We further show the applicability of the method to real-world videos.


title: Bistability of Bose-Fermi mixtures

abstract: We study the properties of the Bose-Fermi mixture from the perspective of reaching a state of a self-bound quantum droplet. The variational analysis shows that the system exhibits bistability. For weak repulsion between bosons, one of the equilibrium states, smaller in size, spherically symmetric, and with negative energy, corresponds to quantum droplet, the other with always positive energy represents the elongated droplet-like state immersed in the sea of a fermionic cloud. For stronger repulsion between bosons the bifurcation is seized and only the former state is left. Now it represents an elongated object which, for strong enough boson-fermion attraction, gets negative energy. It becomes an excited Bose-Fermi droplet when the trap is released, what is demonstrated by solving the quantum hydrodynamics equations for the Bose-Fermi system. To depict our ideas we consider the $^{133}$Cs-$^6$Li mixture under ideal conditions, i.e. we assume no losses.


title: NN-based Transformation of Any SQL Cardinality Estimator for Handling DISTINCT, AND, OR and NOT

abstract: SQL queries, with the AND, OR, and NOT operators, constitute a broad class of highly used queries. Thus, their cardinality estimation is important for query optimization. In addition, a query planner requires the set-theoretic cardinality (i.e., without duplicates) for queries with DISTINCT as well as in planning; for example, when considering sorting options. Yet, despite the importance of estimating query cardinalities in the presence of DISTINCT, AND, OR, and NOT, many cardinality estimation methods are limited to estimating cardinalities of only conjunctive queries with duplicates counted. The focus of this work is on two methods for handling this deficiency that can be applied to any limited cardinality estimation model. First, we describe a specialized deep learning scheme, PUNQ, which is tailored to representing conjunctive SQL queries and predicting the percentage of unique rows in the query's result with duplicate rows. Using the predicted percentages obtained via PUNQ, we are able to transform any cardinality estimation method that only estimates for conjunctive queries, and which estimates cardinalities with duplicates (e.g., MSCN), to a method that estimates queries cardinalities without duplicates. This enables estimating cardinalities of queries with the DISTINCT keyword. In addition, we describe a recursive algorithm, GenCrd, for extending any cardinality estimation method M that only handles conjunctive queries to one that estimates cardinalities for more general queries (that include AND, OR, and NOT), without changing the method M itself. Our evaluation is carried out on a challenging, real-world database with general queries that include either the DISTINCT keyword or the AND, OR, and NOT operators. Experimentally, we show that the proposed methods obtain accurate cardinality estimates with the same level of accuracy as that of the original transformed methods.


title: Determination of Out-of-plane Spin Polarization of Topological Surface States by Spin Hall Effect Tunneling Spectroscopy

abstract: Determining the detailed spin texture of topological surface states is important when one wants to apply topological insulators in spintronic devices. In principle, the in-plane spin component of the surface states can be measured by a method analogous to the so-called Meservey-Tedrow technique. In the present work we suggest that the out-of-plane spin component can be determined by spin Hall effect tunneling spectroscopy. We derive an analytical formula that allows to extract the out-of-plane spin component from spin Hall effect tunneling spectra. We test our formula using realistic tight-binding models of Bi$_2$Se$_3$ and Sb$_2$Te$_3$. We demonstrate that the extracted out-of-plane spin polarization is in very good agreement with the actual out-of-plane spin polarization.


title: Code-Aligned Autoencoders for Unsupervised Change Detection in Multimodal Remote Sensing Images

abstract: Image translation with convolutional autoencoders has recently been used as an approach to multimodal change detection in bitemporal satellite images. A main challenge is the alignment of the code spaces by reducing the contribution of change pixels to the learning of the translation function. Many existing approaches train the networks by exploiting supervised information of the change areas, which, however, is not always available. We propose to extract relational pixel information captured by domain-specific affinity matrices at the input and use this to enforce alignment of the code spaces and reduce the impact of change pixels on the learning objective. A change prior is derived in an unsupervised fashion from pixel pair affinities that are comparable across domains. To achieve code space alignment we enforce that pixel with similar affinity relations in the input domains should be correlated also in code space. We demonstrate the utility of this procedure in combination with cycle consistency. The proposed approach are compared with state-of-the-art deep learning algorithms. Experiments conducted on four real datasets show the effectiveness of our methodology.


title: Enhancing second-harmonic generation with electron spill-out at metallic surfaces

abstract: Second-order nonlinear optical processes do not manifest in the bulk of centrosymmetric materials, but may occur in the angstroms-thick layer at surfaces. At such length-scales, quantum mechanical effects come into play which could be crucial for an accurate description of plasmonic systems. In this article, we develop a theoretical model based on the quantum hydrodynamic description to study free-electron nonlinear dynamics in plasmonic systems. Our model predicts strong resonances induced by the spill-out of electron density at the metal surface. We show that these resonances can boost second-harmonic generation efficiency up to four orders of magnitude and can be arbitrarily tuned by controlling the electron spill-out at the metal surface with the aid of thin dielectric layers. These results offer a possibility to artificially increase nonlinear susceptibilities by engineering optical properties at the quantum level.


title: Effective Spin Foam Models for Four-Dimensional Quantum Gravity

abstract: A number of approaches to four-dimensional quantum gravity, such as loop quantum gravity and holography, situate areas as their fundamental variables. However, this choice of kinematics can easily lead to gravitational dynamics peaked on flat spacetimes. We show that this is due to how regions are glued in the gravitational path integral via a discrete spin foam model. We introduce a family of `effective' spin foam models that incorporate a quantum area spectrum, impose gluing constraints as strongly as possible, and leverage the discrete general relativity action to specify amplitudes. These effective spin foam models avoid flatness in a restricted regime of the parameter space. The simpler effective spin foam models will be useful for numerical studies and in the investigation of coarse graining and renormalization.


title: Equivariant Kuranishi family of complex compact manifolds

abstract: We prove that actions of complex reductive Lie groups on a complex compact manifold are locally extendable to its Kuranishi family. This can be seen as an analogue of Rim's result (see [11]) in the analytic setting.


title: Generally covariant $N$-particle dynamics

abstract: A simultaneous description of the dynamics of multiple particles requires a configuration space approach with an external time parameter. This is in stark contrast with the relativistic paradigm, where time is but a coordinate chosen by an observer. Here we show, however, that the two attitudes toward modelling $N$-particle dynamics can be conciliated within a generally covariant framework. To this end we construct an '$N$-particle configuration spacetime' $\mathcal{M}_{\scriptscriptstyle (N)}$, starting from a globally hyperbolic spacetime $\mathcal{M}$ with a chosen smooth splitting into time and space components. The dynamics of multi-particle systems is modelled at the level of Borel probability measures over $\mathcal{M}_{\scriptscriptstyle (N)}$ with the help of the global time parameter. We prove that with any time-evolution of measures, which respects the $N$-particle causal structure of $\mathcal{M}_{\scriptscriptstyle (N)}$, one can associate a single measure on the Polish space of '$N$-particle wordlines'. The latter is a splitting-independent object, from which one can extract the evolution of measures for any other global observer on $\mathcal{M}$. An additional asset of the adopted measure-theoretic framework is the possibility to model the dynamics of indistinguishable entities, such as quantum particles. As an application we show that the multi-photon and multi-fermion Schr\"odinger equations, although explicitly dependent on the choice of an external time-parameter, are in fact fully compatible with the causal structure of the Minkowski spacetime.


title: MeshingNet: A New Mesh Generation Method based on Deep Learning

abstract: We introduce a novel approach to automatic unstructured mesh generation using machine learning to predict an optimal finite element mesh for a previously unseen problem. The framework that we have developed is based around training an artificial neural network (ANN) to guide standard mesh generation software, based upon a prediction of the required local mesh density throughout the domain. We describe the training regime that is proposed, based upon the use of \emph{a posteriori} error estimation, and discuss the topologies of the ANNs that we have considered. We then illustrate performance using two standard test problems, a single elliptic partial differential equation (PDE) and a system of PDEs associated with linear elasticity. We demonstrate the effective generation of high quality meshes for arbitrary polygonal geometries and a range of material parameters, using a variety of user-selected error norms.


title: Ants can orienteer a thief in their robbery

abstract: The Thief Orienteering Problem (ThOP) is a multi-component problem that combines features of two classic combinatorial optimization problems: Orienteering Problem and Knapsack Problem. The ThOP is challenging due to the given time constraint and the interaction between its components. We propose an Ant Colony Optimization algorithm together with a new packing heuristic to deal individually and interactively with problem components. Our approach outperforms existing work on more than 90% of the benchmarking instances, with an average improvement of over 300%.


title: Contextual Pyramid Attention Network for Building Segmentation in Aerial Imagery

abstract: Building extraction from aerial images has several applications in problems such as urban planning, change detection, and disaster management. With the increasing availability of data, Convolutional Neural Networks (CNNs) for semantic segmentation of remote sensing imagery has improved significantly in recent years. However, convolutions operate in local neighborhoods and fail to capture non-local features that are essential in semantic understanding of aerial images. In this work, we propose to improve building segmentation of different sizes by capturing long-range dependencies using contextual pyramid attention (CPA). The pathways process the input at multiple scales efficiently and combine them in a weighted manner, similar to an ensemble model. The proposed method obtains state-of-the-art performance on the Inria Aerial Image Labelling Dataset with minimal computation costs. Our method improves 1.8 points over current state-of-the-art methods and 12.6 points higher than existing baselines on the Intersection over Union (IoU) metric without any post-processing. Code and models will be made publicly available.


title: The neighbourhood of a singular leaf

abstract: An important result for regular foliations is their formal semi-local triviality near simply connected leaves. We extend this result to singular foliations for all 2-connected leaves and a wide class of 1- connected leaves by proving a semi-local Levi-Malcev theorem for the semi-simple part of their holonomy Lie algebroid.


title: Higher rank motivic Donaldson-Thomas invariants of $\mathbb{A}^3$ via wall-crossing, and asymptotics

abstract: We compute, via motivic wall-crossing, the generating function of virtual motives of the Quot scheme of points on $\mathbb{A}^3$, generalising to higher rank a result of Behrend, Bryan and Szendr\H{o}i. We show that this motivic partition function converges to a Gaussian distribution, extending a result of Morrison.


title: Higher-Order Spectra of Weak Lensing Convergence Maps in Parameterized Theories of Modified Gravity

abstract: We compute the low-$\ell$ limit of the family of higher-order spectra for projected (2D) weak lensing convergence maps. In this limit, these spectra are computed to an arbitrary order using {\em tree-level} perturbative calculations. We use the flat-sky approximation and Eulerian perturbative results based on a generating function approach. We test these results for the lower-order members of this family, i.e. the skew- and kurt-spectra against state-of-the-art simulated all-sky weak lensing convergence maps and find our results to be in very good agreement. We also show how these spectra can be computed in the presence of a realistic sky-mask and Gaussian noise. We generalize these results to three-dimensions (3D) and compute the {\em equal-time} higher-order spectra. These results will be valuable in analyzing higher-order statistics from future all-sky weak lensing surveys such as the {\em Euclid} survey at low-$\ell$ modes. As illustrative examples, we compute these statistics in the context of the {\em Horndeski} and {\em Beyond Horndeski} theories of modified gravity. They will be especially useful in constraining theories such as the Gleyzes-Langlois-Piazza-Vernizzi (GLPV) theories and Degenerate Higher-Order Scalar-Tensor (DHOST) theories as well as the commonly used normal-branch of Dvali-Gabadadze-Porrati (nDGP) model, clustering quintessence models, and scenarios with massive neutrinos.


title: Theoretical derivation of Darcy's law for fluid flow in thin porous media

abstract: In this paper we study stationary incompressible Newtonian fluid flow in a thin porous media. The media under consideration is a bounded perforated $3D$ domain confined between two parallel plates. The description of the domain includes two small parameters: $\varepsilon$ representing the distance between pates and $a_\varepsilon$ connected to the microstructure of the domain such that $a_\varepsilon\ll \varepsilon$. We consider the classical setting of perforated media, i.e. $a_\varepsilon$-periodically distributed solid (not connected) obstacles of size $a_\varepsilon$. The goal of this paper is to introduce a version of the unfolding method, depending on both parameters $\varepsilon$ and $a_\varepsilon$, and then to derive the corresponding $2D$ Darcy's law.


title: Localization of eigenfunctions in a thin domain with locally periodic oscillating boundary

abstract: We study a Dirichlet spectral problem for a second-order elliptic operator with locally periodic coefficients in a thin domain. The boundary of the domain is assumed to be locally periodic. When the thickness of the domain $\varepsilon$ tends to zero, the eigenvalues are of order $\varepsilon^{-2}$ and described in terms of the first eigenvalue $\mu(x_1)$ of an auxiliary spectral cell problem parametrized by $x_1$, while the eigenfunctions localize with rate $\sqrt{\varepsilon}$.


title: Markovian dynamics under weak periodic coupling

abstract: We examine a completely positive and trace preserving evolution of finite dimensional open quantum system, coupled to large environment via periodically modulated interaction Hamiltonian. We derive a corresponding Markovian Master Equation under usual assumption of weak coupling using the projection operator techniques, in two opposite regimes of very small and very large modulation frequency. Special attention is granted to the case of uniformly (globally) modulated interaction, where some general results concerning the Floquet normal form of a solution and its asymptotic stability are also addressed.


title: There is no Enriques surface over the integers

abstract: We show that there is no family of Enriques surfaces over the ring of integers. This extends non-existence results of Minkowski for families of finite \'etale schemes, of Tate and Ogg for families of elliptic curves, and of Fontaine and Abrashkin for families of abelian varieties and more general smooth proper schemes with certain restrictions on Hodge numbers. Our main idea is to study the local system of numerical classes of invertible sheaves. Among other things, our result also hinges on counting rational points, Lang's classification of rational elliptic surfaces in characteristic two, the theory of exceptional Enriques surfaces due to Ekedahl and Shepherd-Barron, some recent results on the base of their versal deformation, Shioda's theory of Mordell--Weil lattices, and an extensive combinatorial study for the pairwise interaction of genus-one fibrations.


title: The possibility of twin star solutions in a model based on lattice QCD thermodynamics

abstract: The properties of compact stars and in particular the existence of twin star solutions are investigated within an effective model that is constrained by lattice QCD thermodynamics. The model is modified at large baryon densities to incorporate a large variety of scenarios of first order phase transitions to a phase of deconfined quarks. This is achieved by matching two different variants of the bag model equation of state, in order to estimate the role of the Bag model parameters on the appearance of a second family of neutron stars. The produced sequences of neutron stars are compared with modern constrains on stellar masses, radii, and tidal deformability from astrophysical observations and gravitational wave analyses. It is found that most of the possible scenarios disfavor a strong phase transition to quark matter and do not support the conjecture of a second family of neutron stars.


title: FOND Planning for LTLf and PLTLf Goals

abstract: In this report, we will define a new approach to the problem of non deterministic planning for extended temporal goals. In particular, we will give a solution to this problem reducing it to a fully observable non deterministic (FOND) planning problem and taking advantage of the LTLfToDFA tool. First of all, we will introduce the main idea and motivations supporting our approach. Then, we will give some preliminaries explaining the Planning Domain Definition Language (PDDL) language and the FOND planning problem formally. After that, we will illustrate our FOND4LTLfPLTLf (also available online) approach with the encoding of temporal goals into a PDDL domain and problem. Finally, we will present some of the results obtained through the application of the proposed solution.


title: Enhanced flight performance in non-uniformly flexible wings

abstract: The flexibility of biological propulsors such as wings and fins is believed to contribute to the higher performance of flying and swimming animals compared with their engineered peers. Flexibility seems to follow a universal design rule that induces bending patterns at about one-third from the distal tip of the propulsor's span. However, the aerodynamic mechanisms that shaped this convergent design and the potential improvement in performance are not well understood. Here we analyze the effect of heterogenous flexibility on the flight performance of tumbling wings. Using experiments, numerical simulations, and scaling analysis, we demonstrate that spanwise tip flexibility that follows this empirical rule leads to improved flight performance. Our findings attribute this improvement to flutter-induced drag reduction. This mechanism is independent of the wing's auto-rotation and represents a more general trait of wings with non-uniform tip flexibility. We conclude by analyzing the effects of both spanwise and chordwise non-uniformity on the flight performance of tumbling seedpods.


title: Production of light nuclei at colliders -- coalescence vs. thermal model

abstract: The production of light nuclei in relativistic heavy-ion collisions is well described by both the thermal model, where light nuclei are in equilibrium with hadrons of all species present in a fireball, and by the coalescence model, where light nuclei are formed due to final-state interactions after the fireball decays. We present and critically discuss the two models and further on we consider two proposals to falsify one of the models. The first proposal is to measure a yield of exotic nuclide $^4{\rm Li}$ and compare it to that of $^4{\rm He}$. The ratio of yields of the nuclides is quite different in the thermal and coalescence models. The second proposal is to measure a hadron-deuteron correlation function which carries information whether a deuteron is emitted from a fireball together with all other hadrons, as assumed in the thermal model, or a deuteron is formed only after nucleons are emitted, as in the coalescence model. The $p\! -\!^3{\rm He}$ correlation function is of interest in context of both proposals: it is needed to obtain the yield of $^4{\rm Li}$ which decays into $p$ and $^3{\rm He}$, but the correlation function can also tell us about an origin of $^3{\rm He}$.


title: Propagation of polyhomogeneity, Diffraction and Scattering on Product Cones

abstract: We consider diffraction of waves on a product cone. We first show that diffractive waves enjoy a one-step polyhomogeneous asymptotic expansion, which is an improvement of Cheeger-Taylor's classical result of half-step polyhomogeneity of diffractive waves in [CT82a], [CT82b]. We also conclude that on product cones, the scattering matrix is the diffraction coefficient, which is the principal symbol of the diffractive half wave kernel, for strictly diffractively related points on the cross section. This generalize the result of Ford, Hassell and Hillairet in 2-dimensional flat cone settings [FHH18]. In the last section, we also give a radiation field interpretation of the relationship between the scattering matrix and the diffraction coefficient.


title: SenseCare: A Research Platform for Medical Image Informatics and Interactive 3D Visualization

abstract: Clinical research on smart health has an increasing demand for intelligent and clinic-oriented medical image computing algorithms and platforms that support various applications. To this end, we have developed SenseCare research platform, which is designed to facilitate translational research on intelligent diagnosis and treatment planning in various clinical scenarios. To enable clinical research with Artificial Intelligence (AI), SenseCare provides a range of AI toolkits for different tasks, including image segmentation, registration, lesion and landmark detection from various image modalities ranging from radiology to pathology. In addition, SenseCare is clinic-oriented and supports a wide range of clinical applications such as diagnosis and surgical planning for lung cancer, pelvic tumor, coronary artery disease, etc. SenseCare provides several appealing functions and features such as advanced 3D visualization, concurrent and efficient web-based access, fast data synchronization and high data security, multi-center deployment, support for collaborative research, etc. In this report, we present an overview of SenseCare as an efficient platform providing comprehensive toolkits and high extensibility for intelligent image analysis and clinical research in different application scenarios. We also summarize the research outcome through the collaboration with multiple hospitals.


title: Using Experimental Vignettes to Study Early-Stage Automation Adoption

abstract: When discussing the future of work and in detail the concerns of workers within and beyond established workplace settings, technology-wise we act on rather new ground. Especially preserving a meaningful work environment gains new importance when introducing disruptive technologies. We sometimes do not even have the technology which effects we are willing to discuss. To measure implications for employees and thus create meaningful design variants we need to test systems and their effects before developing them. Confronted with the same problem we used the experimental vignette method to study the effects of AI use in work contexts. During the workshop, we will report our experiences.


title: Caching Structures for Distributed Data Management in P2P-based Social Networks

abstract: Distributed applications require novel solutions to tackle problems that arise due to the scarcity of resources such as bandwidth, memory and processing power. One of these challenges is seen in distributed data management. The challenge is the two part problem of ensuring that the content is valid when accessed and updating it immediately when changed. This is especially difficult when considering p2p-based distributed online social networks, which aim to build reliable, secure social networking platforms on top of often unreliable and unsecure devices. In this paper, we propose three selection strategies, random, trend and social score, for a social caching mechanism. They consider the social interaction patterns in the social network. We implement and evaluate them in a DHT-based distributed online social networks called LibreSocial and show that the social score is the best strategy. Further we implement the social caching solution and also show that when used in combination with the existing caching solution almost all requests can be serviced via cache while retaining the consistency of data during updates.


title: On uniqueness and stability for the Enskog equation

abstract: The time-evolution of a moderately dense gas in a vacuum is described in classical mechanics by a particle density function obtained from the Enskog equation. Based on a McKean-Vlasov stochastic equation with jumps, the associated stochastic process was recently studied in \cite{ARS17}. The latter work was extended in \cite{FRS18} to the case of general hard and soft potentials without Grad's angular cut-off assumption. By the introduction of a shifted distance that exactly compensates for the free transport term that accrues in the spatially inhomogeneous setting, we prove in this work an inequality on the Wasserstein distance for any two measure-valued solutions to the Enskog equation. As a particular consequence, we find sufficient conditions for the uniqueness and continuous-dependence on initial data for solutions to the Enskog equation applicable to hard and soft potentials without angular cut-off.


title: 4DFlowNet: Super-Resolution 4D Flow MRI using Deep Learning and Computational Fluid Dynamics

abstract: 4D-flow magnetic resonance imaging (MRI) is an emerging imaging technique where spatiotemporal 3D blood velocity can be captured with full volumetric coverage in a single non-invasive examination. This enables qualitative and quantitative analysis of hemodynamic flow parameters of the heart and great vessels. An increase in the image resolution would provide more accuracy and allow better assessment of the blood flow, especially for patients with abnormal flows. However, this must be balanced with increasing imaging time. The recent success of deep learning in generating super resolution images shows promise for implementation in medical images. We utilized computational fluid dynamics simulations to generate fluid flow simulations and represent them as synthetic 4D flow MRI data. We built our training dataset to mimic actual 4D flow MRI data with its corresponding noise distribution. Our novel 4DFlowNet network was trained on this synthetic 4D flow data and was capable in producing noise-free super resolution 4D flow phase images with upsample factor of 2. We also tested the 4DFlowNet in actual 4D flow MR images of a phantom and normal volunteer data, and demonstrated comparable results with the actual flow rate measurements giving an absolute relative error of 0.6 to 5.8% and 1.1 to 3.8% in the phantom data and normal volunteer data, respectively.


title: Connecting the Dots: Discovering the "Shape" of Data

abstract: Scientists use a mathematical subject called 'topology' to study the shapes of objects. An important part of topology is counting the numbers of pieces and holes in objects, and people use this information to group objects into different types. For example, a doughnut has the same number of holes and the same number of pieces as a teacup with one handle, but it is different from a ball. In studies that resemble activities like "connect the dots", scientists use ideas from topology to study the shape of data. Data can take many possible forms: a picture made of dots, a large collection of numbers from a scientific experiment, or something else. The approach in these studies is called 'topological data analysis', and it has been used to study the branching structures of veins in leaves, how people vote in elections, flight patterns in models of bird flocking, and more. Scientists can take data on the way veins branch on leaves and use topological data analysis to divide the leaves into different groups and discover patterns that may otherwise be hard to find.