title: First order dissipative hydrodynamics and viscous corrections to the entropy four-current from an effective covariant kinetic theory

abstract: The first order hydrodynamic evolution equations for the shear stress tensor, the bulk viscous pressure and the charge current have been studied for a system of quarks and gluons, with a non-vanishing quark chemical potential and finite quark mass. The first order transport coefficients have been obtained by solving an effective Boltzmann equation for the grand-canonical ensemble of quasiquarks and quasigluons. We adopted temperature dependent effective fugacity for the quasiparticles to encode the hot QCD medium effects. The non-trivial energy dispersion of the quasiparticles induces mean field contributions to the transport coefficients whose origin could be directly related to the realization of conservation laws from the effective kinetic theory. Both the QCD equation of state and chemical potential are seen to have a significant impact on the quark-gluon plasma evolution. The shear and bulk viscous corrections to the entropy-four current have been investigated in the framework of the effective kinetic theory. The effect of viscous corrections to the entropy density have been quantified in the case of one dimensional boost-invariant expansion of the system. Further, the first order viscous corrections to the time evolution of temperature along with the description of pressure anisotropy and Reynolds number of the system have been explored for the longitudinal boost-invariant expansion.volution of temperature along with the description of pressure anisotropy of the system have also been explored.


title: Cosmic Inflation: Trick or Treat?

abstract: Discovered almost forty years ago, inflation has become the leading paradigm for the early universe. Originally invented to avoid the fine-tuning puzzles of the standard model of cosmology, the so-called hot Big Bang phase, inflation has always been the subject of intense debates. In this article, after a brief review of the theoretical and observational status of inflation, we discuss the criticisms that have been expressed against it and attempt to assess whether inflation can really be viewed as a successful solution to the above mentioned issues.


title: Risk management with machine-learning-based algorithms

abstract: We propose some machine-learning-based algorithms to solve hedging problems in incomplete markets. Sources of incompleteness cover illiquidity, untradable risk factors, discrete hedging dates and transaction costs. The proposed algorithms resulting strategies are compared to classical stochastic control techniques on several payoffs using a variance criterion. One of the proposed algorithm is flexible enough to be used with several existing risk criteria. We furthermore propose a new moment-based risk criteria.


title: Distillation and stripping pilot plants for the JUNO neutrino detector: design, operations and reliability

abstract: This paper describes the design, construction principles and operations of the distillation and stripping pilot plants tested at the Daya Bay Neutrino Laboratory, with the perspective to adapt this processes, system cleanliness and leak-tightness to the final full scale plants that will be used for the purification of the liquid scintillator used in the JUNO neutrino detector. The main goal of these plants is to remove radio impurities from the liquid scintillator while increasing its optical attenuation length. Purification of liquid scintillator will be performed with a system combining alumina oxide, distillation, water extraction and steam (or N2 gas) stripping. Such a combined system will aim at obtaining a total attenuation length greater than 20 m at 430 nm, and a bulk radiopurity for 238U and 232Th in the 10-15 to 10-17 g/g range. The pilot plants commissioning and operation have also provided valuable information on the degree of reliability of their main components, which will be particularly useful for the design of the final full scale purification equipment for the JUNO liquid scintillator. This paper describe two of the five pilot plants since the Alumina Column, Fluor mixing and the Water Extraction plants are in charge of the Chinese part of the collaboration.


title: On Lagrangian embeddings of closed non-orientable 3-manifolds

abstract: We prove that for any compact orientable connected 3-manifold with torus boundary, a concatenation of it and the direct product of the circle and the Klein bottle with an open 2-disk removed admits a Lagrangian embedding into the standard symplectic 6-space. Moreover, minimal Maslov number of the Lagrangian embedding is equal to 1.


title: Second-order analysis for the time crisis problem

abstract: In this article, we prove second-order necessary optimality conditions for the so-called time crisis problem that comes up within the context of viability theory. It consists in minimizing the time spent by solutions of a controlled dynamics outside a given subset $K$ of the state space. One essential feature is the discontinuity of the characteristic function involved in the cost functional. Thanks to a change of time and an augmentation of the dynamics, we relate the time crisis problem to an auxiliary Mayer control problem. This allows us to use the classical tools of optimal control for obtaining optimality conditions. Going back to the original problem, we deduce that way second order optimality conditions for the time crisis problem.


title: Box-level Segmentation Supervised Deep Neural Networks for Accurate and Real-time Multispectral Pedestrian Detection

abstract: Effective fusion of complementary information captured by multi-modal sensors (visible and infrared cameras) enables robust pedestrian detection under various surveillance situations (e.g. daytime and nighttime). In this paper, we present a novel box-level segmentation supervised learning framework for accurate and real-time multispectral pedestrian detection by incorporating features extracted in visible and infrared channels. Specifically, our method takes pairs of aligned visible and infrared images with easily obtained bounding box annotations as input and estimates accurate prediction maps to highlight the existence of pedestrians. It offers two major advantages over the existing anchor box based multispectral detection methods. Firstly, it overcomes the hyperparameter setting problem occurred during the training phase of anchor box based detectors and can obtain more accurate detection results, especially for small and occluded pedestrian instances. Secondly, it is capable of generating accurate detection results using small-size input images, leading to improvement of computational efficiency for real-time autonomous driving applications. Experimental results on KAIST multispectral dataset show that our proposed method outperforms state-of-the-art approaches in terms of both accuracy and speed.


title: On the fundamental group of complete manifolds with almost Euclidean volume growth

abstract: It is proved that the fundamental group of a complete Riemannian manifold with nonnegative Ricci curvature and certain volume growth conditions is trivial or finite.


title: Harmonic maps from $\mathbb{C}^{n}$ to Kahler manifolds

abstract: In this paper, we shall prove that a harmonic map from $\mathbb{C}^{n}$ ($n\geq2$) to any Kahler manifold must be holomorphic under an assumption of energy density. It can be considered as a complex analogue of the Liouville type theorem for harmonic maps obtained by Sealey.


title: Solar cycle activity: an early prediction for cycle #25

abstract: Solar activity forecasting is an important topic for numerous scientific and technological areas, such as space mission operations, electric power transmission lines, power transformation stations and earth geophysical and climatic impact. Nevertheless, the well-known difficulty is how to accurately predict, on the basis of various recorded solar activity indices, the complete evolution of future solar cycles, due to highly complex dynamical and stochastic processes involved, mainly related to interaction of different components of internal magnetic fields. There are two main distinct classes of solar cycle prediction methods: the precursor-like ones and the mathematical-numerical ones. The main characteristic of precursor techniques, both purely solar and geomagnetic, is their physical basis. Conversely, the non-precursor methods use different mathematical and/or numerical properties of the known temporal evolution of solar activity indices to extract useful information for predicting future activity. For current solar cycle #24 we obtained fairly good statistical performances from both precursor and purely numerical methods, such as the so-called solar precursor and nonlinear ones. To further check the performances of these prediction techniques, we compared the early predictions for the next solar cycle #25. Preliminary results support some coherence of the prediction methods considered and confirm the current trend of a relatively low solar activity.


title: Efficient Decoding of Synchronized Colliding LoRa Signals

abstract: In LoRa (Long Range), when a collision occurs in the network, each end-device has to retransmit its colliding frame, which reduces the throughput, and increases the energy consumption of the end-devices and the delay of the frames. In this paper, we propose an algorithm to decode colliding synchronized LoRa signals and thus improve the overall performance of the network. Indeed, we use successive transmissions of bitmaps by the end-devices to determine the correct symbols of each colliding frame, instead of retransmitting the whole frames. Simulation results show that our algorithm is able to significantly improve the overall throughput of LoRaWAN, and to decrease the energy consumption and the delay of the transmitters.


title: Un adjoint

abstract: Given a scheme S and a flat morphism T \to S of finite presentation we define a surjective S-morphism to an {\'e}tale and separated S-scheme, which is universal in an obvious sense. Properties of this morphism are deduced from a thorough uses of quotients by equivalence relations whose graph is open and closed.


title: Subgaussianity is hereditarily determined

abstract: Let $n$ be a positive integer, let $\boldsymbol{X}=(X_1,\dots,X_n)$ be a random vector in $\mathbb{R}^n$ with bounded entries, and let $(\theta_1,\dots,\theta_n)$ be a vector in $\mathbb{R}^n$. We show that the subgaussian behavior of the random variable $\theta_1 X_1+\dots +\theta_n X_n$ is essentially determined by the subgaussian behavior of the random variables $\sum_{i\in H} \theta_i X_i$ where $H$ is a random subset of $\{1,\dots,n\}$.


title: A stable quantum Darmois-Skitovich theorem

abstract: The Darmois-Skitovich theorem is a simple characterization of the normal distribution in terms of the independence of linear forms. We present here a non-commutative version of this theorem in the context of Gaussian bosonic states and show that this theorem is stable under small errors in its underlying conditions. An explicit estimate of the stability constants which depend on the physical parameters of the problem is given.


title: The central 1000 AU of a pre-stellar core revealed with ALMA. I. 1.3 mm continuum observations

abstract: Stars like our Sun form in self-gravitating dense and cold structures within interstellar clouds, called pre-stellar cores. Although much is known about the physical structure of dense clouds just before and soon after the switch-on of a protostar, the central few thousand astronomical units (au) of pre-stellar cores are unexplored. It is within these central regions that stellar systems assemble and fragmentation may take place, with the consequent formation of binaries and multiple systems. We present ALMA Band 6 observations (ACA and 12m array) of the dust continuum emission of the 8 Msun pre-stellar core L1544, with angular resolution of 2'' x 1.6'' (linear resolution 270 au x 216 au). Within the primary beam, a compact region of 0.1 Msun, which we call a "kernel", has been unveiled. The kernel is elongated, with a central flat zone with radius Rker ~ 10'' (~ 1400 au). The average number density within Rker is ~1 x 10^6 cm^{-3}, with possible local density enhancements. The region within Rker appears to have fragmented, but detailed analysis shows that similar substructure can be reproduced by synthetic interferometric observations of a smooth centrally concentrated dense core with a similar central flat zone. The presence of a smooth kernel within a dense core is in agreement with non-ideal magneto-hydro-dynamical simulations of a contracting cloud core with a peak number density of 1 x 10^7 cm^{-3}. Dense cores with lower central densities are completely filtered out when simulated 12m-array observations are carried out. These observations demonstrate that the kernel of dynamically evolved dense cores can be investigated at high angular resolution with ALMA.


title: On instabilities of deep learning in image reconstruction - Does AI come at a cost?

abstract: Deep learning, due to its unprecedented success in tasks such as image classification, has emerged as a new tool in image reconstruction with potential to change the field. In this paper we demonstrate a crucial phenomenon: deep learning typically yields unstablemethods for image reconstruction. The instabilities usually occur in several forms: (1) tiny, almost undetectable perturbations, both in the image and sampling domain, may result in severe artefacts in the reconstruction, (2) a small structural change, for example a tumour, may not be captured in the reconstructed image and (3) (a counterintuitive type of instability) more samples may yield poorer performance. Our new stability test with algorithms and easy to use software detects the instability phenomena. The test is aimed at researchers to test their networks for instabilities and for government agencies, such as the Food and Drug Administration (FDA), to secure safe use of deep learning methods.


title: Topologically protected quantization of work

abstract: The transport of a particle in the presence of a potential that changes periodically in space and in time can be characterized by the amount of work needed to shift a particle by a single spatial period of the potential. In general, this amount of work, when averaged over a single temporal period of the potential, can take any value in a continuous fashion. Here we present a topological effect inducing the quantization of the average work. We find that this work is equal to the first Chern number calculated in a unit cell of a space-time lattice. Hence, this quantization of the average work is topologically protected. We illustrate this phenomenon with the example of an atom whose center of mass motion is coupled to its internal degrees of freedom by electromagnetic waves.


title: Determinants with Bernoulli polynomials and the restricted partition function

abstract: Let $r\geq 1$ be an integer, $\mathbf a=(a_1,\ldots,a_r)$ a vector of positive integers and let $D\geq 1$ be a common multiple of $a_1,\ldots,a_r$. We study two natural determinants of order $rD$ with Bernoulli polynomials and we present connections with the restricted partition function $p_{\mathbf a}(n):=$ the number of integer solutions $(x_1,\dots,x_r)$ to $\sum_{j=1}^r a_jx_j=n$ with $x_1\geq 0, \ldots, x_r\geq 0$.


title: Smooth Solutions of the Surface Semi-Geostrophic Equations

abstract: The semi-geostrophic equations have attracted the attention of the physical and mathematical communities since the work of Hoskins in the 1970s owing to their ability to model the formation of fronts in rotation-dominated flows, and also to their connection with optimal transport theory. In this paper, we study an active scalar equation, whose activity is determined by way of a Neumann-to-Dirichlet map associated to a fully nonlinear second-order Neumann boundary value problem on the infinite strip $\mathbb{R}^{2}\times(0,1)$, that models a semi-geostrophic flow in regime of constant potential vorticity. This system is an expression of an Eulerian semi-geostrophic flow in a co-ordinate system originally due to Hoskins, to which we shall refer as {\em Hoskins' coordinates}. We obtain results on the local-in-time existence and uniqueness of classical solutions of this active scalar equation in H\"older spaces.


title: Enhanced velocity fluctuations in interacting swimmer suspensions

abstract: A dilute non-interacting suspension of micro-swimmers exhibits a finite velocity variance and short-ranged correlations that decay over a swimmer length. For a suspension of interacting straight swimmers, however, pair-interactions leads to a non-decaying velocity covariance, and a variance that diverges logarithmically with system size. The divergence is arrested on inclusion of orientation decorrelation mechanisms. Results for suspensions of run-and-tumble particles (RTPs) are presented, where the underlying straight-swimmer divergence leads to a broad cross-over between the ballistic and diffusive regimes, of immersed passive tracers, in the limit of long run lengths. Our analysis explains long-standing experimental observations of a volume-fraction dependent crossover time for passive tracer dynamics.


title: Some Properties of Thinness and Fine Topology with Relative Capacity

abstract: In this paper, we introduce a thinness in sense to a type of relative capacity for weighted variable exponent Sobolev space. Moreover, we reveal some properties of this thinness and consider the relationship with finely open and finely closed sets. We discuss fine topology and compare this topology with Euclidean one. Finally, we give some information about importance of the fine topology in the potential theory.


title: Spectral Action in Noncommutative Geometry

abstract: What is spectral action, how to compute it and what are the known examples? This book offers a guided tour through the mathematical habitat of noncommutative geometry \`a la Connes, deliberately unveiling the answers to these questions. After a brief preface flashing the panorama of the spectral approach, a concise primer on spectral triples is given. Chapter 2 is designed to serve as a toolkit for computations. The third chapter offers an in-depth view into the subtle links between the asymptotic expansions of traces of heat operators and meromorphic extensions of the associated spectral zeta functions. Chapter 4 studies the behaviour of the spectral action under fluctuations by gauge potentials. A subjective list of open problems in the field is spelled out in the fifth Chapter. The book concludes with an appendix including some auxiliary tools from geometry and analysis, along with examples of spectral geometries. The book serves both as a compendium for researchers in the domain of noncommutative geometry and an invitation to mathematical physicists looking for new concepts.


title: Understanding the dynamics of biological and neural oscillator networks through exact mean-field reductions: a review

abstract: Many biological and neural systems can be seen as networks of interacting periodic processes. Importantly, their functionality depends on the emerging collective dynamics of the network. Synchrony of oscillations is one of the most prominent examples of such collective behavior and has been associated both with function and dysfunction. Understanding how network structure and interactions, as well as the microscopic properties of individual units, shape the emerging collective dynamics is critical to find factors that lead to malfunction. However, many biological systems such as the brain consist of a large number of dynamical units. Hence, their analysis has either relied on simplified heuristic models on a coarse scale, or the analysis comes at a huge computational cost. Here we review recently introduced approaches, known as the Ott-Antonsen and Watanabe-Strogatz reductions, allowing one to simplify the analysis by bridging small and large scales. Thus, reduced model equations are obtained that exactly describe the collective dynamics for each subpopulation in the oscillator network via few collective variables only. The resulting equations are next-generation models: Rather than being heuristic, they exactly link microscopic and macroscopic descriptions and therefore accurately capture microscopic properties of the underlying system. At the same time, they are sufficiently simple to analyze without great computational effort. In the last decade, these reduction methods have become instrumental in understanding how network structure and interactions shape the collective dynamics and the emergence of synchrony. We review this progress based on concrete examples and outline possible limitations. Finally, we discuss how linking the reduced models with experimental data can guide the way towards the development of new treatment approaches, for example, for neurological disease.


title: Deterministic single ion implantation of rare-earth ions for nanometer resolution colour center generation

abstract: Single dopant atoms or dopant-related defect centers in a solid state matrix provide an attractive platform for quantum simulation of topological states, for quantum computing and communication, due to their potential to realize a scalable architecture compatible with electronic and photonic integrated circuits. The production of such quantum devices calls for deterministic single atom doping techniques because conventional stochastic doping techniques are cannot deliver appropriate architectures. Here, we present the fabrication of arrays of praseodymium color centers in YAG substrates, using a deterministic source of single laser-cooled Pr$^+$ ions. The beam of single Pr$^+$ ions is extracted from a Paul trap and focused down to 30(9) nm. Using a confocal microscope we determine a conversion yield into active color centers up to 50% and realizing a placement accuracy of better than 50 nm.


title: Transfer Learning for Sequence Labeling Using Source Model and Target Data

abstract: In this paper, we propose an approach for transferring the knowledge of a neural model for sequence labeling, learned from the source domain, to a new model trained on a target domain, where new label categories appear. Our transfer learning (TL) techniques enable to adapt the source model using the target data and new categories, without accessing to the source data. Our solution consists in adding new neurons in the output layer of the target model and transferring parameters from the source model, which are then fine-tuned with the target data. Additionally, we propose a neural adapter to learn the difference between the source and the target label distribution, which provides additional important information to the target model. Our experiments on Named Entity Recognition show that (i) the learned knowledge in the source model can be effectively transferred when the target data contains new categories and (ii) our neural adapter further improves such transfer.


title: Pseudospin Berry phase as a signature of nontrivial band topology in a two-dimensional system

abstract: Electron motion in crystals is governed by the coupling between crystal momentum and internal degrees of freedom such as spin implicit in the band structure. The description of this coupling in terms of a momentum-dependent effective field and the resultant Berry phase has greatly advanced our understanding of diverse phenomena including various Hall effects and has lead to the discovery of new states of matter exemplified by topological insulators. While experimental studies on topological systems have focused on the gapless states that emerge at the surfaces or edges, the underlying nontrivial topology in the bulk has not been manifested. Here we report the observation of Berry's phase in magneto-oscillations and quantum Hall effects of a coupled electron-hole system hosted in quantum wells with inverted bands. In contrast to massless Dirac fermions in graphene, for which the Berry phase $\Gamma$ is quantized at $\pi$, we observe that $\Gamma$ varies with the Fermi level $E_\mathrm{F}$, passing through $\pi$ as $E_\mathrm{F}$ traverses the energy gap that opens due to electron-hole hybridization. We show that the evolution of $\Gamma$ is a manifestation of the pseudospin texture that encodes the momentum-dependent electron-hole coupling and is therefore a bulk signature of the nontrivial band topology.


title: Automatic Inference of Symbolic Permissions for Sequential Java Programs

abstract: In mainstream programming languages such as Java, a common way to enable concurrency is to manually introduce explicit concurrency constructs such as multi-threading. In multi-threaded programs, managing synchronization between threads is a complicated and challenging task for the programmers due to thread interleaving and heap interference that leads to problems such as deadlocks, data races. With these considerations in mind, access permission-based dependencies have been investigated as an alternative approach to verify the correctness of multi-threaded programs and to exploit the implicit concurrency present in sequential programs without using explicit concurrency constraints. However, significant annotation overhead can arise from manually adding permission-based specifications in a source program, diminishing the effectiveness of existing permission-based approaches. In this paper,we present a framework, Sip4J, to automatically extract access permission-based implicit dependencies from sequential Java programs, by performing inter-procedural static analysis of the source code. Moreover, we integrate and extend an existing permission-based verification tool, Pulse, to automatically verify correctness of the inferred specifications and to reason about their concurrent behaviors. Our evaluation on some widely-used benchmarks gives strong evidence of the correctness of the inferred annotations and their effectiveness in enabling concurrency in sequential programs.


title: Generalisation in fully-connected neural networks for time series forecasting

abstract: In this paper we study the generalization capabilities of fully-connected neural networks trained in the context of time series forecasting. Time series do not satisfy the typical assumption in statistical learning theory of the data being i.i.d. samples from some data-generating distribution. We use the input and weight Hessians, that is the smoothness of the learned function with respect to the input and the width of the minimum in weight space, to quantify a network's ability to generalize to unseen data. While such generalization metrics have been studied extensively in the i.i.d. setting of for example image recognition, here we empirically validate their use in the task of time series forecasting. Furthermore we discuss how one can control the generalization capability of the network by means of the training process using the learning rate, batch size and the number of training iterations as controls. Using these hyperparameters one can efficiently control the complexity of the output function without imposing explicit constraints.


title: Condensate in quasi two-dimensional turbulence

abstract: We investigate the process of formation of large-scale structures in a turbulent flow confined in a thin layer. By means of direct numerical simulations of the Navier-Stokes equations, forced at an intermediate scale, we obtain a split of the energy cascade in which one fraction of the input goes to small scales generating the three-dimensional direct cascade. The remaining energy flows to large scales producing the inverse cascade which eventually causes the formation of a quasi two-dimensional condensed state at the largest horizontal scale. Our results shows that the connection between the two actors of the split energy cascade in thin layers is tighter than what was established before: the small scale three-dimensional turbulence acts as an effective viscosity and dissipates the large-scale energy thus providing a viscosity-independent mechanism for arresting the growth of the condensate. This scenario is supported by quantitative predictions of the saturation energy in the condensate.


title: Regularizing effect of the lower-order terms in elliptic problems with Orlicz growth

abstract: Under various conditions on the data we analyse how appearence of lower order terms affects the gradient estimates on solutions to a general nonlinear elliptic equation of the form \[-{\rm div}\, a(x,Du)+b(x,u)=\mu\] with data $\mu$ not belonging to the dual of the natural energy space but to Lorentz/Morrey-type spaces. The growth of the leading part of the operator is governed by a function of Orlicz-type, whereas the lower-order term satisfies the sign condition and is minorized with some convex function, whose speed of growth modulates the regularization of the solutions.


title: Stability conditions and braid group actions on affine $A_n$ quivers

abstract: We study stability conditions on the Calabi-Yau-$N$ categories associated to an affine type $A_n$ quiver which can be constructed from certain meromorphic quadratic differentials with zeroes of order $N-2$. We follow Ikeda's work to show that this moduli space of quadratic differentials is isomorphic to the space of stability conditions quotient by the spherical subgroup of the autoequivalence group. We show that the spherical subgroup is isomorphic to the braid group of affine type $A$ based on Khovanov-Seidel-Thomas method.


title: A Novel Just-Noticeable-Difference-based Saliency-Channel Attention Residual Network for Full-Reference Image Quality Predictions

abstract: Recently, due to the strength of deep convolutional neural networks (CNN), many CNN-based image quality assessment (IQA) models have been studied. However, previous CNN-based IQA models likely have yet to utilize the characteristics of the human visual system (HVS) fully for IQA problems when they simply entrust everything to the CNN, expecting it to learn from a training dataset. However, in this paper, we propose a novel saliency-channel attention residual network based on the just-noticeable-difference (JND) concept for full-reference image quality assessments (FR-IQA). It is referred to as JND-SalCAR and shows significant improvements in large IQA datasets with various types of distortion. The proposed JND-SalCAR effectively learns how to incorporate human psychophysical characteristics, such as visual saliency and JND, into image quality predictions. In the proposed network, a SalCAR block is devised so that perceptually important features can be extracted with the help of saliency-based spatial attention and channel attention schemes. In addition, a saliency map serves as a guideline for predicting a patch weight map in order to afford stable training of end-to-end optimization for the JND-SalCAR. To the best of our knowledge, our work presents the first HVS-inspired trainable FR-IQA network that considers both visual saliency and the JND characteristics of the HVS. When the visual saliency map and the JND probability map are explicitly given as priors, they can be usefully combined to predict IQA scores rated by humans more precisely, eventually leading to performance improvements and faster convergence. The experimental results show that the proposed JND-SalCAR significantly outperforms all recent state-of-the-art FR-IQA methods on large IQA datasets in terms of the Spearman rank order coefficient (SRCC) and the Pearson linear correlation coefficient (PLCC).


title: Integral of distance function on compact Riemannian manifolds

abstract: In this paper we show that, under some curvature assumptions the integral of distance function on a compact Riemannian manifold is bounded below by the product of diameter, volume and a constant only depending on the dimension.


title: Spy the little Spies - Security and Privacy issues of Smart GPS trackers

abstract: Tracking expensive goods and/or targeted individuals with high-tech devices has been of high interest for the last 30 years. More recently, other use cases such as parents tracking their children have become popular. One primary functionality of these devices has been the collection of GPS coordinates of the location of the trackers, and to send these to remote servers through a cellular modem and a SIM card. Reviewing existing devices, it has been observed that beyond simple GPS trackers many devices intend to enclose additional features such as microphones, cameras, or Wi-Fi interfaces enabling advanced spying activities. In this study, we propose to describe the methodology applied to evaluate the security level of GPS trackers with different capabilities. Several security flaws have been discovered during our security assessment highlighting the need of a proper hardening of these devices when used in critical environments.


title: Forecasting satellite trajectories by interpolating hybrid orbit propagators

abstract: A hybrid orbit propagator based on the analytical integration of the Kepler problem is designed to determine the future position and velocity of any orbiter, usually an artificial satellite or space debris fragment, in two steps: an initial approximation generated by means of an integration method, followed by a forecast of its error, determined by a prediction technique that models and reproduces the missing dynamics. In this study we analyze the effect of slightly changing the initial conditions for which a hybrid propagator was developed. We explore the possibility of generating a new hybrid propagator from others previously developed for nearby initial conditions. We find that the interpolation of the parameters of the prediction technique, which in this case is an additive Holt-Winters method, yields similarly accurate results to a non-interpolated hybrid propagator when modeling the J2 effect in the main problem propagation.


title: GPU Accelerated Keccak (SHA3) Algorithm

abstract: Hash functions like SHA-1 or MD5 are one of the most important cryptographic primitives, especially in the field of information integrity. Considering the fact that increasing methods have been proposed to break these hash algorithms, a competition for a new family of hash functions was held by the US National Institute of Standards and Technology. Keccak was the winner and selected to be the next generation of hash function standard, named SHA-3. We aim to implement and optimize Batch mode based Keccak algorithms on NVIDIA GPU platform. Our work consider the case of processing multiple hash tasks at once and implement the case on CPU and GPU respectively. Our experimental results show that GPU performance is significantly higher than CPU is the case of processing large batches of small hash tasks.


title: Characterisation of homotopy ribbon discs

abstract: Let $\Gamma$ be either the infinite cyclic group $\mathbb{Z}$ or the Baumslag-Solitar group $\mathbb{Z} \ltimes \mathbb{Z}[\frac{1}{2}]$. Let $K$ be a slice knot admitting a slice disc $D$ in the 4-ball whose exterior has fundamental group $\Gamma$. We classify the $\Gamma$-homotopy ribbon slice discs for $K$ up to topological ambient isotopy rel. boundary. In the infinite cyclic case, there is a unique equivalence class of such slice discs. When $\Gamma$ is the Baumslag-Solitar group, there are at most two equivalence classes of $\Gamma$-homotopy ribbon discs, and at most one such slice disc for each lagrangian of the Blanchfield pairing of $K$.


title: A VLT/FLAMES survey for massive binaries in Westerlund 1: VI. Properties of X-ray bright massive cluster members

abstract: Despite the first detection of X-rays from massive stars occurring four decades ago, the physical dependence of the emission mechanism(s) on the underlying stellar and binary properties of the emitters remains uncertain. The young massive cluster Westerlund 1 provides an ideal testbed for understanding this phenomenon, with over 50 cluster members detected in historical X-ray observations. In the decade since these data were obtained, significant new multi-epoch observations of the cluster have been made, allowing a fundamental reappraisal of the nature of both X-ray bright and dark stars. A total of 45 X-ray sources within Wd1 now have precise spectral classifications. These observations identify 16 candidate and confirmed massive binaries; by comparison 22 stars have X-ray properties that imply a contribution from a wind collision zone. X-ray emission appears confined to O9-B0.5 supergiants, Wolf-Rayets and a small group of highly luminous interacting/post-interaction binaries. Despite their presence in large numbers, no emission is seen from earlier, less evolved O stars or later, cooler B super-/hypergiants. We suppose that the lack of X-ray emission from O giants is due to their comparatively low bolometric luminosities if, as expected, they follow the canonical L_X/L_bol relation for hot stars. The transition away from X-ray emission for OB supergiants occurs at the location of the bistability jump; we speculate that below this limit, stellar wind velocities are insufficient for internal, X-ray emitting shocks to form. Our results are consistent with recent findings that massive binaries are not uniformly brighter than single stars of comparable luminosity and spectral type, although it is noteworthy that the brightest and hardest stellar X-ray sources within Wd1 are all either confirmed or candidate massive, interacting/post-interaction binaries (Abridged).


title: A description of automorphism group of power graphs of finite groups

abstract: The power graph of a group is the graph whose vertex set is the set of nontrivial elements of group, two elements being adjacent if one is a power of the other. We introduce some way for find the automorphism groups of some graphs. As an application We describe the full automorphism group of the power graph of all finite groups. Also we obtain the full automorphism group of power graph of abelian, homocyclic and nilpotent groups


title: An exactly solvable quantum-metamaterial type model

abstract: The key difficulty in the modelling of large quantum coherent structures lies in keeping track of nonlocal, multipoint quantum correlations between their constituent parts. Here we consider a special case of such a system, a fractal quantum metamaterial interacting with electromagnetic field, and show that it can be exactly solved by using a combination of the Haar transform and the Wigner-Weyl transform. Theoretical and experimental investigation of finite-size precursors to exactly solvable fractal quantum structures as this will help illuminate the behaviour of generic quantum coherent structures on a similar spatio-temporal scale.


title: Supersymmetric Dyonic Strings in 6-Dimensions from 3-Dimensions

abstract: It was shown in arXiv:1410.7168 that compactifying $D=6$, $\mathcal{N}=(1,0)$ ungauged supergravity coupled to a single tensor multiplet on S$^3$ one gets a particular $D=3$, $\mathcal{N}=4$ gauged supergravity which is a consistent reduction. We construct two supersymmetric black string solutions in this 3-dimensional model with one and two active scalars respectively. Uplifting the first, one gets a dyonic string solution in $D=6$ that has been known for a long time. Whereas, uplifting the second solution, one finds a very interesting configuration where magnetic strings are located uniformly on a circle in a plane within the 4-dimensional flat transverse space and electric strings are distributed homogeneously inside this circle. Both solutions have $\mathrm{AdS}_3 \times$ S$^3$ limits.


title: Sinkhorn Divergence of Topological Signature Estimates for Time Series Classification

abstract: Distinguishing between classes of time series sampled from dynamic systems is a common challenge in systems and control engineering, for example in the context of health monitoring, fault detection, and quality control. The challenge is increased when no underlying model of a system is known, measurement noise is present, and long signals need to be interpreted. In this paper we address these issues with a new non parametric classifier based on topological signatures. Our model learns classes as weighted kernel density estimates (KDEs) over persistent homology diagrams and predicts new trajectory labels using Sinkhorn divergences on the space of diagram KDEs to quantify proximity. We show that this approach accurately discriminates between states of chaotic systems that are close in parameter space, and its performance is robust to noise.


title: Some Flatness Conditions on Normal Metric Contact Pairs

abstract: In this paper the geometry of normal metric contact pair manifolds is studied under the flatness of conformal, concircular and quasi-conformal curvature tensors. It is proved that a conformal flat normal metric contact pair manifold is an Einstein manifold with a negative scalar curvature and has positive sectional curvature. It is also shown that a concircular flat normal metric contact pair manifold an Einstein manifold. Finally it is obtained that a quasi-conformal flat normal metric contact pair manifold is an Einstein manifold with a positive scalar curvature and, is a space of constant curvature.


title: Platonic Field Theories

abstract: We study renormalization group (RG) fixed points of scalar field theories endowed with the discrete symmetry groups of regular polytopes. We employ the functional perturbative renormalization group (FPRG) approach and the $\epsilon$-expansion in $d=d_c-\epsilon$. The upper critical dimensions relevant to our analysis are $d_c = 6,4,\frac{10}{3},3,\frac{14}{5},\frac{8}{3},\frac{5}{2},\frac{12}{5}$; in order to get access to the corresponding RG beta functions, we derive general multicomponent beta functionals $\beta_V$ and $\beta_Z$ in the aforementioned upper critical dimensions, most of which are novel. The field theories we analyze have $N=2$ (polygons), $N=3$ (Platonic solids) and $N=4$ (hyper-Platonic solids) field components. The main results of this analysis include a new candidate universality class in three physical dimensions based on the symmetry group $\mathbb{D}_5$ of the Pentagon. Moreover we find new Icosahedron fixed points in $d<3$, the fixed points of the $24$-Cell, multi-critical $O(N)$ and $\phi^n$-Cubic universality classes.


title: Coupled dynamics of long-range and internal spin cluster order in Cu$_{2}$OSeO$_{3}$

abstract: Cu$_4$ triplet clusters form the relevant spin entity for the formation of long-range magnetic order in the cluster magnet Cu$_2$OSeO$_3$. Using time-resolved Raman spectroscopy, we probed photoinduced spin and lattice dynamics in this Mott insulator. Multiple ps-decade spin-lattice relaxation dynamics is observed, evidencing a separation of the order parameter dynamics into disordering of long-range and internal spin cluster order. Our study exemplifies the double order parameter dynamics of generalized molecular crystals of charge, spin, and orbital nature.


title: A revisited proof of the Seneta-Heyde norming for branching random walks under optimal assumptions

abstract: We introduce a set of tools which simplify and streamline the proofs of limit theorems concerning near-critical particles in branching random walks under optimal assumptions. We exemplify our method by giving another proof of the Seneta-Heyde norming for the critical additive martingale, initially due to A\"id\'ekon and Shi. The method involves in particular the replacement of certain second moment estimates by truncated first moment bounds, and the replacement of ballot-type theorems for random walks by estimates coming from an explicit expression for the potential kernel of random walks killed below the origin. Of independent interest might be a short, self-contained proof of this expression, as well as a criterion for convergence in probability of non-negative random variables in terms of conditional Laplace transforms.


title: Slowly synchronizing DFAs of 7 states and maximal slowly synchronizing DFAs

abstract: We compute all synchronizing DFAs with 7 states and synchronization length >= 29. Furthermore, we compute alphabet size ranges for maximal, minimal and semi-minimal synchronizing DFAs with up to 7 states.


title: Autoionization dynamics of He nanodroplets resonantly excited by intense XUV laser pulses

abstract: The ionization dynamics of helium droplets in a wide size range from 220 to 10^6 He atoms irradiated with intense femtosecond extreme ultraviolet (XUV) pulses of 10^9 {\div} 10^{12} W/cm2 power density is investigated in detail by photoelectron spectroscopy. Helium droplets are resonantly excited in the photon energy range from ~ 21 eV (corresponding to the atomic 1s2s state) up to the atomic ionization potential (IP) at ~ 25 eV. A complex evolution of the electron spectra as a function of droplet size and XUV intensity is observed, ranging from atomic-like narrow peaks due to binary autoionization, to an unstructured feature characteristic of electron emission from a nanoplasma. The experimental results are analyzed and interpreted with the help of numerical simulations based on rate equations taking into account various processes such as multi-step ionization, interatomic Coulombic decay (ICD), secondary inelastic collisions, desorption of electronically excited atoms, collective autoionization (CAI) and further relaxation processes.


title: Protect Your Chip Design Intellectual Property: An Overview

abstract: The increasing cost of integrated circuit (IC) fabrication has driven most companies to "go fabless" over time. The corresponding outsourcing trend gave rise to various attack vectors, e.g., illegal overproduction of ICs, piracy of the design intellectual property (IP), or insertion of hardware Trojans (HTs). These attacks are possibly conducted by untrusted entities residing all over the supply chain, ranging from untrusted foundries, test facilities, even to end-users. To overcome this multitude of threats, various techniques have been proposed over the past decade. In this paper, we review the landscape of IP protection techniques, which can be classified into logic locking, layout camouflaging, and split manufacturing. We discuss the history of these techniques, followed by state-of-the-art advancements, relevant limitations, and scope for future work.


title: Security and Privacy Preserving Data Aggregation in Cloud Computing

abstract: Smart metering is an essential feature of smart grids, allowing residential customers to monitor and reduce electricity costs. Devices called smart meters allows residential customers to monitor and reduce electricity costs, promoting energy saving, demand management, and energy efficiency. However, monitoring a households' energy consumption through smart meters poses serious privacy threats, and have thus become a major privacy issue. Hence, a significant amount of research has appeared recently with the purpose of providing methods and mechanisms to reconcile smart metering technologies and privacy requirements. However, most current approaches fall short in meeting one of several of the requirements for privacy preserving smart metering systems. In this paper we show how Intel SGX technology can be used to provide a simple and general solution for the smart metering privacy problem that meets all these requirements in a satisfactory way. Moreover, we present also an implementation of the proposed architecture as well as a series of experiments that have been carried out in order to assess how the proposed solution performs in comparison to a second implementation of the architecture that completely disregards privacy issues.


title: Ulrich ideals and 2-AGL rings

abstract: The notion of 2-almost Gorenstein local ring (2-AGL ring for short) is a generalization of the notion of almost Gorenstein local ring from the point of view of Sally modules of canonical ideals. In this paper, for further developments of the theory, we discuss three different topics on 2-AGL rings. The first one is to clarify the structure of minimal presentations of canonical ideals, and the second one is the study of the question of when certain fiber products, so called amalgamated duplications are 2-AGL rings. We also explore Ulrich ideals in 2-AGL rings, mainly two-generated ones.


title: Adding new experimental arms to randomised clinical trials: impact on error rates

abstract: Background: Experimental treatments pass through various stages of development. If a treatment passes through early phase experiments, the investigators may want to assess it in a late phase randomised controlled trial. An efficient way to do this is adding it as a new research arm to an ongoing trial. This allows to add the new treatment while the existing arms continue. The familywise type I error rate (FWER) is often a key quantity of interest in any multi-arm trial. We set out to clarify how it should be calculated when new arms are added to a trial some time after it has started. Methods: We show how the FWER, any-pair and all-pairs powers can be calculated when a new arm is added to a platform trial. We extend the Dunnett probability and derive analytical formulae for the correlation between the test statistics of the existing pairwise comparison and that of the newly added arm. We also verify our analytical derivation via simulations. Results: Our results indicate that the FWER depends on the shared control arm information (i.e. individuals in continuous and binary outcomes and primary outcome events in time-to-event outcomes) from the common control arm patients and the allocation ratio. The FWER is driven more by the number of pairwise comparisons and the corresponding (pairwise) Type I error rates than by the timing of the addition of the new arms. The FWER can be estimated using \v{S}id\'{a}k's correction if the correlation between the test statistics of pairwise comparisons is less than 0:30. Conclusions: The findings we present in this article can be used to design trials with pre-planned deferred arms or to design new pairwise comparisons within an ongoing platform trial where control of the pairwise error rate (PWER) or FWER (for a subset of pairwise comparisons) is required.


title: Characterizing Earth gravity field fluctuations with the MIGA antenna for future Gravitational Wave detectors

abstract: Fluctuations of the earth's gravity field are a major noise source for ground-based experiments investigating general relativity phenomena such as Gravitational Waves (GWs). Mass density variations caused by local seismic or atmospheric perturbations determine spurious differential displacements of the free falling test masses, what is called Gravity Gradient Noise (GGN); it mimics GW effects. This GGN is expected to become dominant in the infrasound domain and must be tackled for the future realization of observatories exploring GWs at low frequency. GGN will be studied with the MIGA experiment, a demonstrator for low frequency GW detection based on atom interferometry - now in construction at the low noise underground laboratory LSBB in France. MIGA will provide precise measurements of local gravity, probed by a network of three free-falling atom test masses separated up to 150~m. We model the effect of GGN for MIGA and use seismic and atmospheric data recorded at LSBB to characterize their impact on the future measurements. We show that the antenna will be able to characterize GGN using dedicated data analysis methods.


title: Towards Accurate Force Control of Series Elastic Actuators Exploiting a Robust Transmission Force Observer

abstract: This paper develops an accurate force control algorithm for series elastic actuators (SEAs) based on a novel force estimation scheme, called transmission force observer (TFOB). The proposed method is designed to improve an inferior force measurement of the SEA caused by nonlinearities of the elastic transmission and measurement noise and error of its deformation sensor. This paper first analyzes the limitation of the conventional methods for the SEA transmission force sensing and then investigates its stochastic characteristics, which indeed provide the base to render the accurate force control performance incorporated with the TFOB. In particular, a tuning parameter is introduced from holistic closed-loop system analyses in the frequency domain. This gives a guideline to attain optimum performance of the force-controlled SEA system. The proposed algorithm is experimentally verified in an actual SEA hardware setup.


title: Mean-field optimal control and optimality conditions in the space of probability measures

abstract: We derive a framework to compute optimal controls for problems with states in the space of probability measures. Since many optimal control problems constrained by a system of ordinary differential equations (ODE) modelling interacting particles converge to optimal control problems constrained by a partial differential equation (PDE) in the mean-field limit, it is interesting to have a calculus directly on the mesoscopic level of probability measures which allows us to derive the corresponding first-order optimality system. In addition to this new calculus, we provide relations for the resulting system to the first-order optimality system derived on the particle level, and the first-order optimality system based on $L^2$-calculus under additional regularity assumptions. We further justify the use of the $L^2$-adjoint in numerical simulations by establishing a link between the adjoint in the space of probability measures and the adjoint corresponding to $L^2$-calculus. Moreover, we prove a convergence rate for the convergence of the optimal controls corresponding to the particle formulation to the optimal controls of the mean-field problem as the number of particles tends to infinity.


title: Breast Cancer: Model Reconstruction and Image Registration from Segmented Deformed Image using Visual and Force based Analysis

abstract: Breast lesion localization using tactile imaging is a new and developing direction in medical science. To achieve the goal, proper image reconstruction and image registration can be a valuable asset. In this paper, a new approach of the segmentation-based image surface reconstruction algorithm is used to reconstruct the surface of a breast phantom. In breast tissue, the sub-dermal vein network is used as a distinguishable pattern for reconstruction. The proposed image capturing device contacts the surface of the phantom, and surface deformation will occur due to applied force at the time of scanning. A novel force based surface rectification system is used to reconstruct a deformed surface image to its original structure. For the construction of the full surface from rectified images, advanced affine scale-invariant feature transform (A-SIFT) is proposed to reduce the affine effect in time when data capturing. Camera position based image stitching approach is applied to construct the final original non-rigid surface. The proposed model is validated in theoretical models and real scenarios, to demonstrate its advantages with respect to competing methods. The result of the proposed method, applied to path reconstruction, ends with a positioning accuracy of 99.7%


title: Automatic Labeled LiDAR Data Generation based on Precise Human Model

abstract: Following improvements in deep neural networks, state-of-the-art networks have been proposed for human recognition using point clouds captured by LiDAR. However, the performance of these networks strongly depends on the training data. An issue with collecting training data is labeling. Labeling by humans is necessary to obtain the ground truth label; however, labeling requires huge costs. Therefore, we propose an automatic labeled data generation pipeline, for which we can change any parameters or data generation environments. Our approach uses a human model named Dhaiba and a background of Miraikan and consequently generated realistic artificial data. We present 500k+ data generated by the proposed pipeline. This paper also describes the specification of the pipeline and data details with evaluations of various approaches.


title: Baryon-number violation by two units and the deuteron lifetime

abstract: We calculate the lifetime of the deuteron with dimension-nine quark operators that violate baryon number by two units. We construct an effective field theory for $|\Delta B|=2$ interactions that give rise to neutron-antineutron ($n$-$\bar{n}$) oscillations and dinucleon decay within a consistent power counting. We calculate the ratio of the deuteron lifetime to the square of the $n$-$\bar{n}$ oscillation time up to next-to-leading order. Our result, which is analytical and has a quantified uncertainty, is smaller by a factor $\simeq 2.5$ than earlier estimates based on nuclear models, which impacts the indirect bound on he $n$-$\bar{n}$ oscillation time and future experiments. We discuss how combined measurements of $n$-$\bar{n}$ oscillations and deuteron decay can help to identify the sources of baryon-number violation.


title: Study of dynamical system based obstacle avoidance via manipulating orthogonal coordinates

abstract: In this paper, we consider the general problem of obstacle avoidance based on dynamical system. The modulation matrix is developed by introducing orthogonal coordinates, which makes the modulation matrix more reasonable. The new trajectory's direction can be represented by the linear combination of orthogonal coordinates. A orthogonal coordinates manipulating approach is proposed by introducing rotating matrix to solve the local minimal problem and provide more reasonable motions in 3-D or higher dimension space. The proposed method also provide a solution for patrolling around a convex shape. Experimental results on several designed dynamical systems demonstrate the effectiveness of the proposed approach.


title: Lorentz violation and Gravitoelectromagnetism: Casimir effect and Stefan-Boltzmann law at Finite temperature

abstract: The standard model and general relativity are local Lorentz invariants. However it is possible that at Planck scale there may be a breakdown of Lorentz symmetry. Models with Lorentz violation are constructed using Standard Model Extension (SME). Here gravitational sector of the SME is considered to analyze the Lorentz violation in Gravitoelectromagnetism (GEM). Using the energy-momentum tensor, the Stefan-Boltzmann law and Casimir effect are calculated at finite temperature to ascertain the level of local Lorentz violation. Thermo Field Dynamics (TFD) formalism is used to introduce temperature effects.


title: A Bundle Approach for SDPs with Exact Subgraph Constraints

abstract: The 'exact subgraph' approach was recently introduced as a hierarchical scheme to get increasingly tight semidefinite programming relaxations of several NP-hard graph optimization problems. Solving these relaxations is a computational challenge because of the potentially large number of violated subgraph constraints. We introduce a computational framework for these relaxations designed to cope with these difficulties. We suggest a partial Lagrangian dual, and exploit the fact that its evaluation decomposes into two independent subproblems. This opens the way to use the bundle method from non-smooth optimization to minimize the dual function. Computational experiments on the Max-Cut, stable set and coloring problem show the efficiency of this approach.


title: Performance Analysis of Series Elastic Actuator based on Maximum Torque Transmissibility

abstract: The use of the Series Elastic Actuator (SEA) system as an actuator system equipped with a compliant element has contributed not only to advances in human interacting robots but also to a wide range of improvements in the robotics area. Nevertheless, there are still limitations in its performance; the elastic spring that is adopted to provide compliance is considered to limit the actuator performance thus lowering the frequency bandwidth of force/torque generation, and the bandwidth decreases even more when it is supposed to provide large torque. This weakness is in turn owing to the limitations of motor and motor drives such as torque and velocity limits. In this paper, mathematical tools to analyze the impact of these limitations on the performance of SEA as a transmission system are provided. A novel criterion called Maximum Torque Transmissibility (MTT)is defined to assess the ability of SEA to fully utilize maximum continuous motor torque. Moreover, an original frequency bandwidth concept, maximum torque frequency bandwidth, which can indicate the maximum frequency up to which the SEA can generate the maximum torque, is proposed based on the proposed MTT. The proposed MTT can be utilized as a unique criterion of the performance, and thus various design parameters including the load condition, mechanical design parameters, and controller parameters of a SEA can be evaluated with its use. Experimental results under various conditions verify that MTT can precisely indicate the limitation of the performance of SEA, and that it can be utilized to accurately analyze the limitation of the controller of SEA.


title: Multimodal music information processing and retrieval: survey and future challenges

abstract: Towards improving the performance in various music information processing tasks, recent studies exploit different modalities able to capture diverse aspects of music. Such modalities include audio recordings, symbolic music scores, mid-level representations, motion, and gestural data, video recordings, editorial or cultural tags, lyrics and album cover arts. This paper critically reviews the various approaches adopted in Music Information Processing and Retrieval and highlights how multimodal algorithms can help Music Computing applications. First, we categorize the related literature based on the application they address. Subsequently, we analyze existing information fusion approaches, and we conclude with the set of challenges that Music Information Retrieval and Sound and Music Computing research communities should focus in the next years.


title: The rigidity on the second fundamental form of projective manifolds

abstract: Let $M$ be a complex $n$-dimensional projective manifold in $\mathbb{P}^{n+r}$ endowed with the Fubini-Study metric of constant holomorphic sectional curvature $1$, $\sigma$ its second fundamental form, and $\underline{|\sigma|}^2$ the mean value of the squared length of $\sigma$ on $M$. We derive a formula for $\underline{|\sigma|}^2$ and classify them when $\underline{|\sigma|}^2\leq2n$. We present several applications to these results. The first application is to confirm a conjecture of Loi and Zedda, which characterizes the linear subspace and the quadric in terms of the $L^2$-norm of $\sigma$. The second application is to improve a result of Cheng solving an old conjecture of Oguie from pointwise case to mean case. The third application is to give an optimal second gap value on $\underline{|\sigma|}^2$, which can be viewed as a complex analog to those on minimal submanifolds in the unit spheres.


title: The digit exchanges in the rotational beta expansions of algebraic numbers

abstract: In this article, we investigate the $\beta$-expansions of real algebraic numbers. In particular, we give new lower bounds for the number of digit exchanges in the case where $\beta$ is a Pisot or Salem number. Moreover, we define a new class of algebraic numbers, quasi-Pisot numbers and quasi-Salem numbers, which gives a generalization of Pisot numbers and Salem numbers. Our method is applicable also to the digit expansions of complex algebraic numbers, which gives new estimation. In particular, we investigate the digits of rotational beta expansion by Akiyama and Caalim $[3]$ and zeta-expansion by Surer $[20]$, where the base is a quasi-Pisot or quasi-Salem number.


title: Competing phases of interacting electrons on triangular lattices in moir\'e heterostructures

abstract: We study the quantum many-body instabilities of interacting electrons with SU(2)$\times$SU(2) symmetry in spin and orbital degrees of freedom on the triangular lattice near van-Hove filling. Our work is motivated by effective models for the flat bands in hexagonal moir\'e heterostructures like twisted bilayer boron nitride and trilayer graphene-boron nitride systems. We consider an extended Hubbard model including onsite Hubbard and Hund's couplings, as well as nearest-neighbor exchange interactions and analyze the different ordering tendencies with the help of an unbiased functional renormalization group approach. We find three classes of instabilities controlled by the filling and bare interactions. For a nested Fermi surface at van-Hove filling, Hund-like couplings induce a weak instability towards spin or orbital density wave phases. An SU(4) exchange interaction moves the system towards a Chern insulator, which is robust with respect to perturbations from Hund-like interactions or deviations from perfect nesting. Further, in an extended range of fillings and interactions, we find topological $d\pm id$ and (spin-singlet)-(orbital-singlet) $f$-wave superconductivity.


title: New universal Lyapunov functions for non-linear reaction networks

abstract: In 1961, R\'enyi discovered a rich family of non-classical Lyapunov functions for kinetics of the Markov chains, or, what is the same, for the linear kinetic equations. This family was parameterised by convex functions on the positive semi-axis. After works of Csisz\'ar and Morimoto, these functions became widely known as $f$-divergences or the Csisz\'ar--Morimoto divergences. These Lyapunov functions are universal in the following sense: they depend only on the state of equilibrium, not on the kinetic parameters themselves. Despite many years of research, no such wide family of universal Lyapunov functions has been found for nonlinear reaction networks. For general non-linear networks with detailed or complex balance, the classical thermodynamics potentials remain the only universal Lyapunov functions. We constructed a rich family of new universal Lyapunov functions for {\em any non-linear reaction network} with detailed or complex balance. These functions are parameterised by compact subsets of the projective space. They are universal in the same sense: they depend only on the state of equilibrium and on the network structure, but not on the kinetic parameters themselves. The main elements and operations in the construction of the new Lyapunov functions are partial equilibria of reactions and convex envelopes of families of functions.


title: Carbon star wind models at solar and sub-solar metallicities: a comparative study. I. Mass loss and the properties of dust-driven winds

abstract: The atmospheres and winds of C-type AGB stars are modeled with the 1D spherically symmetric radiation-hydrodynamical code DARWIN. To explore the metallicity-dependence of mass loss we calculate model grids at three different chemical abundances. Since carbon may be dredged up during the thermal pulses as AGB stars evolve, we keep the carbon abundance as a free parameter. The models in these three different grids all have a current mass of one solar mass; effective temperatures of 2600K, 2800K, 3000K, or 3200K; and stellar luminosities equal to log(L/Lsun)=3.70, 3.85, or 4.00. The models show that mass loss in carbon stars is facilitated by high luminosities, low effective temperatures, and a high carbon excess (C-O) at both solar and subsolar metallicities. Similar combinations of effective temperature, luminosity, and carbon excess produce outflows at both solar and subsolar metallicities. There are no large systematic differences in the mass-loss rates and wind velocities produced by these wind models with respect to metallicity, nor any systematic difference concerning the distribution of grain sizes or how much carbon is condensed into dust. DARWIN models at subsolar metallicity have approximately 15% lower mass-loss rates compared to DARWIN models at solar metallicity with the same stellar parameters and carbon excess. For both solar and subsolar environments typical grain sizes range between 0.1 and 0.5 micron, the degree of condensed carbon varies between 5% and 40%, and the gas-to-dust ratios between 500 and 10000. Furthermore, stellar evolution models can use the mass-loss rates calculated from DARWIN models at solar metallicity when modeling the AGB phase at subsolar metallicities if carbon excess is used as the critical abundance parameter instead of the C/O ratio.


title: Indium tin oxide nanoparticle:TiO$_{2}$:air layers for one-dimensional multilayer photonic structures

abstract: In this work we study the optical properties, by means of the transfer matrix method, of one-dimensional photonic crystals in which layers of silica nanoparticles are alternated with layers of indium tin oxide nanoparticle (ITO) / titania nanoparticle mixture. The dielectric function of the mixed ITO/TiO$_{2}$ nanoparticle layer is carefully accounted for with a generalized Rayleigh equation for the ternary mixture ITO:TiO$_{2}$:air. We have studied the light transmission of the multilayer photonic crystal as a function of the ITO/TiO$_{2}$ ratio. We observe that, by increasing the ITO content in the three-phase mixture, the intensity of the plasmon resonance in the near infrared (NIR) increases and the intensity of the photonic band gap (visible) decreases. Thus, our study is of major importance for the realization of electrochromic smart windows, in which separate and independent NIR and visible light control is required.


title: Optimal disclosure risk assessment

abstract: Protection against disclosure is a legal and ethical obligation for agencies releasing microdata files for public use. Consider a microdata sample of size $n$ from a finite population of size $\bar{n}=n+\lambda n$, with $\lambda>0$, such that each record contains two disjoint types of information: identifying categorical information and sensitive information. Any decision about releasing data is supported by the estimation of measures of disclosure risk, which are functionals of the number of sample records with a unique combination of values of identifying variables. The most common measure is arguably the number $\tau_{1}$ of sample unique records that are population uniques. In this paper, we first study nonparametric estimation of $\tau_{1}$ under the Poisson abundance model for sample records. We introduce a class of linear estimators of $\tau_{1}$ that are simple, computationally efficient and scalable to massive datasets, and we give uniform theoretical guarantees for them. In particular, we show that they provably estimate $\tau_{1}$ all of the way up to the sampling fraction $(\lambda+1)^{-1}\propto (\log n)^{-1}$, with vanishing normalized mean-square error (NMSE) for large $n$. We then establish a lower bound for the minimax NMSE for the estimation of $\tau_{1}$, which allows us to show that: i) $(\lambda+1)^{-1}\propto (\log n)^{-1}$ is the smallest possible sampling fraction; ii) estimators' NMSE is near optimal, in the sense of matching the minimax lower bound, for large $n$. This is the main result of our paper, and it provides a precise answer to an open question about the feasibility of nonparametric estimation of $\tau_{1}$ under the Poisson abundance model and for a sampling fraction $(\lambda+1)^{-1}<1/2$.


title: Hydrogen in a cavity

abstract: The system of a proton and an electron in an inert and impenetrable spherical cavity is studied by solving Schr\"{o}dinger equation with the correct boundary conditions. The differential equation of a hydrogen atom in a cavity is derived. The numerical results are obtained with the help a power and efficient few-body method, Gaussian Expansion Method. The results show that the correct implantation of the boundary condition is crucial for the energy spectrum of hydrogen in a small cavity.


title: Sparse and noisy LiDAR completion with RGB guidance and uncertainty

abstract: This work proposes a new method to accurately complete sparse LiDAR maps guided by RGB images. For autonomous vehicles and robotics the use of LiDAR is indispensable in order to achieve precise depth predictions. A multitude of applications depend on the awareness of their surroundings, and use depth cues to reason and react accordingly. On the one hand, monocular depth prediction methods fail to generate absolute and precise depth maps. On the other hand, stereoscopic approaches are still significantly outperformed by LiDAR based approaches. The goal of the depth completion task is to generate dense depth predictions from sparse and irregular point clouds which are mapped to a 2D plane. We propose a new framework which extracts both global and local information in order to produce proper depth maps. We argue that simple depth completion does not require a deep network. However, we additionally propose a fusion method with RGB guidance from a monocular camera in order to leverage object information and to correct mistakes in the sparse input. This improves the accuracy significantly. Moreover, confidence masks are exploited in order to take into account the uncertainty in the depth predictions from each modality. This fusion method outperforms the state-of-the-art and ranks first on the KITTI depth completion benchmark. Our code with visualizations is available.


title: Estimating the Circuit Deobfuscating Runtime based on Graph Deep Learning

abstract: Circuit obfuscation is a recently proposed defense mechanism to protect digital integrated circuits (ICs) from reverse engineering by using camouflaged gates i.e., logic gates whose functionality cannot be precisely determined by the attacker. There have been effective schemes such as satisfiability-checking (SAT)-based attacks that can potentially decrypt obfuscated circuits, called deobfuscation. Deobfuscation runtime could have a large span ranging from few milliseconds to thousands of years or more, depending on the number and layouts of the ICs and camouflaged gates. And hence accurately pre-estimating the deobfuscation runtime is highly crucial for the defenders to maximize it and optimize their defense. However, estimating the deobfuscation runtime is a challenging task due to 1) the complexity and heterogeneity of graph-structured circuit, 2) the unknown and sophisticated mechanisms of the attackers for deobfuscation. To address the above mentioned challenges, this work proposes the first machine-learning framework that predicts the deobfuscation runtime based on graph deep learning techniques. Specifically, we design a new model, ICNet with new input and convolution layers to characterize and extract graph frequencies from ICs, which are then integrated by heterogeneous deep fully-connected layers to obtain final output. ICNet is an end-to-end framework which can automatically extract the determinant features for deobfuscation runtime. Extensive experiments demonstrate its effectiveness and efficiency.


title: Online Supervisory Control and Resource Management for Energy Harvesting BS Sites Empowered with Computation Capabilities

abstract: The convergence of communication and computing has lead to the emergence of Multi-access Edge Computing (MEC), where computing resources (supported by Virtual Machines (VMs)) are distributed at the edge of the Mobile Network (MN), i.e., in Base Stations (BSs), with the aim of ensuring reliable and ultra-low latency services. Moreover, BSs equipped with Energy Harvesting (EH) systems can decrease the amount of energy drained from the power grid resulting in energetically self-sufficient MNs. The combination of these paradigms is considered here. Specifically, we propose an online optimization algorithm, called ENergy Aware and Adaptive Management (ENAAM), based on foresighted control policies exploiting (short-term) traffic load and harvested energy forecasts, where BSs and VMs are dynamically switched on/off towards energy savings and QoS provisioning. Our numerical results reveal that ENAAM achieves energy savings with respect to the case where no energy management is applied, ranging from 57% and 69%. Moreover, the extension of ENAAM within a cluster of BSs provides a further gain ranging from 9% to 16% in energy savings with respect to the optimization performed in isolation for each BS.


title: Magneto-optical effects in the Landau level manifold of 2D lattices with spin-orbit interaction

abstract: Silicene is a competitive and promising 2D material, possessing interesting topological, electronic and optical properties. The presence of strong spin orbit interaction in silicene and its analogues, germanene and tinene, leads to the opening of a gap in the energy spectrum and spin-splitting of the bands in each valley. We develop a general method to determine the magneto-optic response of silicene, when a Gaussian beam is incident on silicene grown on a dielectric substrate in the presence of a static magnetic field. We use a semiclassical treatment of silicene monolayer to describe the Faraday rotation (FR) and Magneto-optical Kerr effect (MOKE) using a general model for beam propagation. The response can be modulated both electrically and magnetically. We derive analytic expressions for valley and spin polarized FR and MOKE for arbitrary polarization of incident light in the terahertz regime. We demonstrate that large FR and MOKE can be achieved by tuning the electric field, magnetic fields and chemical potential in these fascinating 2D materials. Implications for novel valleytronic experiments are also discussed.


title: Renormalization Effects on Electric Dipole Moments in Electroweakly Interacting Massive Particle Models

abstract: We study the renormalization effects on electric dipole moments in the models with new electroweakly interacting massive fermions. The electric dipole moments are generated by the effective operators which arise from integrating out heavy particles at some scale in the models. We give the renormalization group equation for the Wilson coefficients of the effective operators from the scale where the operators are generated to the electroweak scale. Our numerical studies focus on the electric dipole moments in the mini-split supersymmetric scenario and the electroweakly interacting massive particle dark matter scenario. It turns out that the renormalization effects can give an enhancement factor being of the order of O(10)% in the mini-split scenario and being more than two in the minimal dark matter model.


title: Crowd Work on a CV? Understanding How AMT Fits into Turkers' Career Goals and Professional Profiles

abstract: In 2013, scholars laid out a framework for a sustainable, ethical future of crowd work, recommending career ladders so that crowd work can lead to career advancement and more economic mobility. Five years later, we consider this vision in the context of Amazon Mechanical Turk (AMT). To understand how workers currently view their experiences on AMT, and how they publicly present and share these experiences in their professional lives, we conducted a survey study with workers on AMT (n=98). The survey we administered included a combination of multiple choice, binary, and open-ended (short paragraph) items gauging Turkers' perceptions of their experiences on AMT within the context of their broader work experience and career goals. This work extends existing understandings of who crowd workers are and why they crowd work by seeking to better understand how crowd work factors into Turkers' professional profiles, and how we can subsequently better support crowd workers in their career advancement. Our survey results can inform the design of better tools to empower crowd workers in their professional development both inside and outside of AMT.


title: Sparse Bayesian Learning with Dynamic Filtering for Inference of Time-Varying Sparse Signals

abstract: Many signal processing applications require estimation of time-varying sparse signals, potentially with the knowledge of an imperfect dynamics model. In this paper, we propose an algorithm for dynamic filtering of time-varying sparse signals based on the sparse Bayesian learning (SBL) framework. The key idea underlying the algorithm, termed SBL-DF, is the incorporation of a signal prediction generated from a dynamics model and estimates of previous time steps into the hyperpriors of the SBL probability model. The proposed algorithm is robust to imperfect dynamics models (due to the propagation of dynamics information through higher-order statistics), robust to certain undesirable dictionary properties such as coherence (due to properties of the SBL framework), allows the use of arbitrary dynamics models, and requires the tuning of fewer parameters than many other dynamic filtering algorithms do. We also extend the fast marginal likelihood SBL inference procedure to the informative hyperprior setting to create a particularly efficient version of the SBL-DF algorithm. Numerical simulations show that SBL-DF converges much faster and to more accurate solutions than standard SBL and other dynamical filtering algorithms. In particular, we show that SBL-DF outperforms state of the art algorithms when the dictionary contains challenging structure such as coherence and column scaling, as is found in many practical applications.


title: Galaxy Evolution in Clusters

abstract: In this thesis, we aim to further elucidate the phenomenon of galaxy evolution in the environment of galaxy clusters using the methodology of numerical simulations. For that, we have developed hydrodynamic models in which idealized gas-rich galaxies move within the ICM of idealized galaxy clusters, allowing us to probe in a detailed and controlled manner their evolution in this extreme environment. The main code used in our simulations is RAMSES, and our results concern the changes in gas composition, star formation rate, luminosity and color of infalling galaxies. Additionally to processes taking place inside the galaxies themselves, we have also described the dynamics of the gas that is stripped from those galaxies with unprecedented resolution for simulations of this nature (122 pc in a box including an entire $10^{14}$ M$_\odot$ cluster), finding that clumps of molecular gas are formed within the tails of ram pressure stripped galaxies, which proceed to live in isolation within the ICM of a galaxy cluster for up to 300 Myr. Those molecular clumps possibly represent a new class of objects; similar objects have been observed in both galaxy clusters and groups, but no comprehensive description of them has been given until now. We additionally create a hydrodynamic model for the A901/2 multi-cluster system, and correlate the gas conditions in this model to the locations of a sample of candidate jellyfish galaxies in the system; this has allowed us to infer a possible mechanism for the generation of jellyfish morphologies in galaxy cluster collisions in general.


title: Exact relativistic Green's functions for the time-independent potentials

abstract: Relativistic formalism of Green's functions is dicussed in QCD and QED,where the relativistic Green's functions are constructed using the Schwinger proper time formalism and the Fock-Feynman-Schwinger method.As a result a simple and exact method is found for the relativistic systems,where the interaction can be written in a time-independent form.In this case one can write the relativistic Green's function as a one-dimensional integral of the corresponding nonrelativistic Green's function.The explicit example for the problem of a charge in the constant magnetic field is discussed in detail,and the exact agreement with the Schwinger relativistic form is demonstrated. A similar analysis is performed in the relativistiv Coulomb probem,supporting the accuracy of the proposed relativistic formalism.


title: Dark sector unifications: dark matter-phantom energy, dark matter -- constant $w$ dark energy, dark matter-dark energy-dark matter

abstract: The paper brings a novel approach to unification of dark matter and dark energy in terms of a cosmic fluid. A model is introduced in which the cosmic fluid speed of sound squared is defined as a function of its equation of state (EoS) parameter. It is shown how logarithmic part of this function results in dynamical regimes previously not observed in cosmic fluid models. It is shown that in a particular dynamical regime the model behaves as a unification of dark matter and phantom dark energy. Further, it is shown that the model may describe dark matter - dark energy unification in which dark energy asymptotically behaves as dark energy with a constant EoS parameter larger than -1. In a specific parameter regime the unified fluid model also reproduces global expansion similar to $\Lambda$CDM model with fluid speed of sound vanishing for small scale factor values and being small, or even vanishing, for large scale factor values. Finally, it is shown how the model may be instrumental in describing the cosmic fluid dark matter-dark energy-dark matter unification. Physical constraints on model parameters yielding such transient dark energy behavior are obtained.


title: Multiphysics simulation of the aspherical deformation of piezo-glass membrane lenses including hysteresis, fabrication and non-linear effects

abstract: In this paper we present and verify the non-linear simulation of an aspherical adaptive lens based on a piezo-glass sandwich membrane with combined bending and buckling actuation. To predict the full non-linear piezoelectric behavior, we measured the non-linear charge coefficient, hysteresis and creep effects of the piezo material and inserted them into the FEM model using a virtual electric field. We further included and discussed the fabrication parameters -- glue layers and thermal stress -- and their variations. To verify our simulations, we fabricated and measured a set of lenses with different geometries, where we found good agreement and show that their qualitative behavior is also well described by a simple analytical model. We finally discuss the effects of the geometry on the electric response and find, e.g., an increased focal power range from $\pm 4.5$ to $\pm 9\, \mathrm{m}^{-1}$ when changing the aperture from $14$ to $10\, \mathrm{mm}$.


title: Electro-opto-mechanical radio-frequency oscillator driven by guided acoustic waves in standard single-mode fiber

abstract: An opto-electronic radio-frequency oscillator that is based on forward scattering by the guided acoustic modes of a standard single-mode optical fiber is proposed and demonstrated. An optical pump wave is used to stimulate narrowband, resonant guided acoustic modes, which introduce phase modulation to a co-propagating optical probe wave. The phase modulation is converted to an intensity signal at the output of a Sagnac interferometer loop. The intensity waveform is detected, amplified and driven back to modulate the optical pump. Oscillations are achieved at a frequency of 319 MHz, which matches the resonance of the acoustic mode that provides the largest phase modulation of the probe wave. Oscillations at the frequencies of competing acoustic modes are suppressed by at least 40 dB. The linewidth of the acoustic resonance is sufficiently narrow to provide oscillations at a single longitudinal mode of the hybrid cavity. Competing longitudinal modes are suppressed by at least 38 dB as well. Unlike other opto-electronic oscillators, no radio-frequency filtering is required within the hybrid cavity. The frequency of oscillations is entirely determined by the fiber opto-mechanics.


title: $\pi$/2 Mode Converters and Vortex Generators for Electrons

abstract: In optics, mode conversion is an elegant way to switch between Hermite Gaussian and Laguerre Gaussian beam profiles and thereby impart orbital angular momentum onto the beam and to create vortices. In optics such vortex beams can be produced in a setup consisting of two identical cylinder lenses. In electron optics, quadrupole lenses can be used for the same purpose. Here we investigate generalized asymmetric designs of a quadrupole mode converter that may be realized within the constraints of existing electron microscopes and can steer the development of dedicated vortex generators for high brilliance electron vortex probes of atomic scale.


title: Introducing Yet Another REversible Language

abstract: Yarel is a core reversible programming language that implements a class of permutations, defined recursively, which are primitive recursive complete. The current release of Yarel syntax and operational semantics, implemented by compiling Yarel to Java, is 0.1.0, according to Semantic Versioning 2.0.0. Yarel comes with Yarel-IDE, developed as an Eclipse plug-in by means of XText.


title: On parareal algorithms for semilinear parabolic Stochastic PDEs

abstract: Parareal algorithms are studied for semilinear parabolic stochastic partial differential equations. These algorithms proceed as two-level integrators, with fine and coarse schemes, and have been designed to achieve a `parallel in real time' implementation. In this work, the fine integrator is given by the exponential Euler scheme. Two choices for the coarse integrator are considered: the linear implicit Euler scheme, and the exponential Euler scheme. The influence on the performance of the parareal algorithm, of the choice of the coarse integrator, of the regularity of the noise, and of the number of parareal iterations, is investigated, with theoretical analysis results and with extensive numerical experiments.


title: A Proposed Method for a Photon-Counting Laser Coherence Detection System to Complement Optical SETI

abstract: The detection of laser radiation originating from space is a positive indicator of Extra Terrestrial Intelligence (ETI). Thus far the optical search for ETI (OSETI) has looked for enhanced brightness in the form of either narrow-band spectral emission or time correlated photons from laser pulses. In this paper it is proposed to look for coherence properties of incoming light in a manner that can distinguish against atomic emission lines. The use of photon sensitive detectors and a modulating asymmetric interferometer has been modelled. The results suggest that the sensitivity of detection for continuous laser sources would be better than current spectroscopic approaches, with detection thresholds of $<$1 photon s$^{-1}$m$^{-2}$ against a background with a spectral bandwidth of 0.1nm over an observation time of 750s.


title: Solitary waves for weakly dispersive equations with inhomogeneous nonlinearities

abstract: We show existence of solitary-wave solutions to the equation \begin{equation*} u_t+ (Lu - n(u))_x = 0\,, \end{equation*} for weak assumptions on the dispersion $L$ and the nonlinearity $n$. The symbol $m$ of the Fourier multiplier $L$ is allowed to be of low positive order ($s > 0$), while $n$ need only be locally Lipschitz and asymptotically homogeneous at zero. We shall discover such solutions in Sobolev spaces contained in $H^{1+s}$.


title: A Tangent Distance Preserving Dimensionality Reduction Algorithm

abstract: This paper considers the problem of nonlinear dimensionality reduction. Unlike existing methods, such as LLE, ISOMAP, which attempt to unfold the true manifold in the low dimensional space, our algorithm tries to preserve the nonlinear structure of the manifold, and shows how the manifold is folded in the high dimensional space. We call this method Tangent Distance Preserving Mapping (TDPM). TDPM uses tangent distance instead of geodesic distance, and then applies MDS to the tangent distance matrix to map the manifold into a low dimensional space in which we can get its nonlinear structure.


title: Transparent tiles of silica aerogels for high-energy physics

abstract: Silica aerogels are important to be used as photon radiators in Cherenkov counters for high-energy-physics experiments because of their optical transparency and intermediate refractive indices between those of gases and liquids or solids. Cherenkov counters that employ silica aerogels as radiators and photodetectors are often used to identify subatomic charged particles (e.g., electrons, protons, and pions) with momenta on the order of sub-GeV/$c$ to GeV/$c$; they are also used to measure particle velocities in accelerator-based particle- and nuclear-physics experiments and in space- and balloon-borne experiments in the field of cosmic-ray physics. Recent studies have demonstrated that it is important for the design of Cherenkov counters that the transparent silica-aerogel tiles comprise solid material with recently improved transparency and a refractive index that can be controlled between 1.003 and 1.26 by varying the bulk density in the range of 0.01$-$1.0 g/cm$^3$. Additionally, a technique for fabricating large-area silica-aerogel tiles without cracking has been developed. In this chapter, we describe advances in the technologies for producing silica aerogels with high optical performances to be used in scientific instruments. We further discuss the principles underlying the operation of detectors based on the Cherenkov effect. We also review applications of silica aerogels in specific high-energy-physics experiments.

categories: physics.ins-det astro-ph.IM cond-mat.mtrl-sci hep-ex nucl-ex


title: A posteriori error analysis and adaptive non-intrusive numerical schemes for systems of random conservation laws

abstract: In this article we consider one-dimensional random systems of hyperbolic conservation laws. We first establish existence and uniqueness of random entropy admissible solutions for initial value problems of conservation laws which involve random initial data and random flux functions. Based on these results we present an a posteriori error analysis for a numerical approximation of the random entropy admissible solution. For the stochastic discretization, we consider a non-intrusive approach, the Stochastic Collocation method. The spatio-temporal discretization relies on the Runge--Kutta Discontinuous Galerkin method. We derive the a posteriori estimator using continuous reconstructions of the discrete solution. Combined with the relative entropy stability framework this yields computable error bounds for the entire space-stochastic discretization error. The estimator admits a splitting into a stochastic and a deterministic (space-time) part, allowing for a novel residual-based space-stochastic adaptive mesh refinement algorithm. We conclude with various numerical examples investigating the scaling properties of the residuals and illustrating the efficiency of the proposed adaptive algorithm.


title: Robust Encoder-Decoder Learning Framework towards Offline Handwritten Mathematical Expression Recognition Based on Multi-Scale Deep Neural Network

abstract: Offline handwritten mathematical expression recognition is a challenging task, because handwritten mathematical expressions mainly have two problems in the process of recognition. On one hand, it is how to correctly recognize different mathematical symbols. On the other hand, it is how to correctly recognize the two-dimensional structure existing in mathematical expressions. Inspired by recent work in deep learning, a new neural network model that combines a Multi-Scale convolutional neural network (CNN) with an Attention recurrent neural network (RNN) is proposed to identify two-dimensional handwritten mathematical expressions as one-dimensional LaTeX sequences. As a result, the model proposed in the present work has achieved a WER error of 25.715% and ExpRate of 28.216%.


title: UrbanFM: Inferring Fine-Grained Urban Flows

abstract: Urban flow monitoring systems play important roles in smart city efforts around the world. However, the ubiquitous deployment of monitoring devices, such as CCTVs, induces a long-lasting and enormous cost for maintenance and operation. This suggests the need for a technology that can reduce the number of deployed devices, while preventing the degeneration of data accuracy and granularity. In this paper, we aim to infer the real-time and fine-grained crowd flows throughout a city based on coarse-grained observations. This task is challenging due to two reasons: the spatial correlations between coarse- and fine-grained urban flows, and the complexities of external impacts. To tackle these issues, we develop a method entitled UrbanFM based on deep neural networks. Our model consists of two major parts: 1) an inference network to generate fine-grained flow distributions from coarse-grained inputs by using a feature extraction module and a novel distributional upsampling module; 2) a general fusion subnet to further boost the performance by considering the influences of different external factors. Extensive experiments on two real-world datasets, namely TaxiBJ and HappyValley, validate the effectiveness and efficiency of our method compared to seven baselines, demonstrating the state-of-the-art performance of our approach on the fine-grained urban flow inference problem.


title: Learning icons appearance similarity

abstract: Selecting an optimal set of icons is a crucial step in the pipeline of visual design to structure and navigate through content. However, designing the icons sets is usually a difficult task for which expert knowledge is required. In this work, to ease the process of icon set selection to the users, we propose a similarity metric which captures the properties of style and visual identity. We train a Siamese Neural Network with an online dataset of icons organized in visually coherent collections that are used to adaptively sample training data and optimize the training process. As the dataset contains noise, we further collect human-rated information on the perception of icon's similarity which will be used for evaluating and testing the proposed model. We present several results and applications based on searches, kernel visualizations and optimized set proposals that can be helpful for designers and non-expert users while exploring large collections of icons.