title: Measuring Model Complexity of Neural Networks with Curve Activation Functions

abstract: It is fundamental to measure model complexity of deep neural networks. The existing literature on model complexity mainly focuses on neural networks with piecewise linear activation functions. Model complexity of neural networks with general curve activation functions remains an open problem. To tackle the challenge, in this paper, we first propose the linear approximation neural network (LANN for short), a piecewise linear framework to approximate a given deep model with curve activation function. LANN constructs individual piecewise linear approximation for the activation function of each neuron, and minimizes the number of linear regions to satisfy a required approximation degree. Then, we analyze the upper bound of the number of linear regions formed by LANNs, and derive the complexity measure based on the upper bound. To examine the usefulness of the complexity measure, we experimentally explore the training process of neural networks and detect overfitting. Our results demonstrate that the occurrence of overfitting is positively correlated with the increase of model complexity during training. We find that the $L^1$ and $L^2$ regularizations suppress the increase of model complexity. Finally, we propose two approaches to prevent overfitting by directly constraining model complexity, namely neuron pruning and customized $L^1$ regularization.


title: Enhanced force-field calibration via machine learning

abstract: The influence of microscopic force fields on the motion of Brownian particles plays a fundamental role in a broad range of fields, including soft matter, biophysics, and active matter. Often, the experimental calibration of these force fields relies on the analysis of the trajectories of these Brownian particles. However, such an analysis is not always straightforward, especially if the underlying force fields are non-conservative or time-varying, driving the system out of thermodynamic equilibrium. Here, we introduce a toolbox to calibrate microscopic force fields by analyzing the trajectories of a Brownian particle using machine learning, namely recurrent neural networks. We demonstrate that this machine-learning approach outperforms standard methods when characterizing the force fields generated by harmonic potentials if the available data are limited. More importantly, it provides a tool to calibrate force fields in situations for which there are no standard methods, such as non-conservative and time-varying force fields. In order to make this method readily available for other users, we provide a Python software package named DeepCalib, which can be easily personalized and optimized for specific applications.


title: The essential role of surface pinning in the dynamics of charge density waves submitted to external dc fields

abstract: A Charge Density Wave (CDW) submitted to an electric field displays a strong shear deformation because of pinning at the lateral surfaces of the sample. This CDW transverse pinning was recently observed but has received little attention from a theoretical point of view until now despite important consequences on electrical conductivity properties. Here, we provide a description of this phenomenon by considering a CDW submitted to an external dc electric field and constrained by boundary conditions including both longitudinal pinning due to electrical contacts and transverse surface pinning. A simple formula for the CDW phase is obtained in 3D by using the Green function and image charges method. In addition, an analytical expression of the threshold field dependence on both length and sample cross section is obtained by considering the phase slip process. We show that the experimental data are well reproduced with this model and that bulk pinning can be neglected. This study shows that the dynamical properties of CDW systems could be mainly driven by boundary effects, despite the comparatively huge sample volumes.


title: Efficient Path Algorithms for Clustered Lasso and OSCAR

abstract: In high dimensional regression, feature clustering by their effects on outcomes is often as important as feature selection. For that purpose, clustered Lasso and octagonal shrinkage and clustering algorithm for regression (OSCAR) are used to make feature groups automatically by pairwise $L_1$ norm and pairwise $L_\infty$ norm, respectively. This paper proposes efficient path algorithms for clustered Lasso and OSCAR to construct solution paths with respect to their regularization parameters. Despite too many terms in exhaustive pairwise regularization, their computational costs are reduced by using symmetry of those terms. Simple equivalent conditions to check subgradient equations in each feature group are derived by some graph theories. The proposed algorithms are shown to be more efficient than existing algorithms in numerical experiments.


title: FastDrain: Removing Page Victimization Overheads in NVMe Storage Stack

abstract: Host-side page victimizations can easily overflow the SSD internal buffer, which interferes I/O services of diverse user applications thereby degrading user-level experiences. To address this, we propose FastDrain, a co-design of OS kernel and flash firmware to avoid the buffer overflow, caused by page victimizations. Specifically, FastDrain can detect a triggering point where a near-future page victimization introduces an overflow of the SSD internal buffer. Our new flash firmware then speculatively scrubs the buffer space to accommodate the requests caused by the page victimization. In parallel, our new OS kernel design controls the traffic of page victimizations by considering the target device buffer status, which can further reduce the risk of buffer overflow. To secure more buffer spaces, we also design a latency-aware FTL, which dumps the dirty data only to the fast flash pages. Our evaluation results reveal that FastDrain reduces the 99th response time of user applications by 84%, compared to a conventional system.


title: Robot Perception enables Complex Navigation Behavior via Self-Supervised Learning

abstract: Learning visuomotor control policies in robotic systems is a fundamental problem when aiming for long-term behavioral autonomy. Recent supervised-learning-based vision and motion perception systems, however, are often separately built with limited capabilities, while being restricted to few behavioral skills such as passive visual odometry (VO) or mobile robot visual localization. Here we propose an approach to unify those successful robot perception systems for active target-driven navigation tasks via reinforcement learning (RL). Our method temporally incorporates compact motion and visual perception data - directly obtained using self-supervision from a single image sequence - to enable complex goal-oriented navigation skills. We demonstrate our approach on two real-world driving dataset, KITTI and Oxford RobotCar, using the new interactive CityLearn framework. The results show that our method can accurately generalize to extreme environmental changes such as day to night cycles with up to an 80% success rate, compared to 30% for a vision-only navigation systems.


title: Constructing abelian extensions with prescribed norms

abstract: Given a number field $K$, a finite abelian group $G$ and finitely many elements $\alpha_1,\ldots,\alpha_t\in K$, we construct abelian extensions $L/K$ with Galois group $G$ that realise all of the elements $\alpha_1,\ldots,\alpha_t$ as norms of elements in $L$. In particular, this shows existence of such extensions for any given parameters. Our approach relies on class field theory and a recent formulation of Tate's characterisation of the Hasse norm principle, a local-global principle for norms. The constructions are sufficiently explicit to be implemented on a computer, and we illustrate them with concrete examples.


title: High Dimensional Model Explanations: an Axiomatic Approach

abstract: Complex black-box machine learning models are regularly used in critical decision-making domains. This has given rise to several calls for algorithmic explainability. Many explanation algorithms proposed in literature assign importance to each feature individually. However, such explanations fail to capture the joint effects of sets of features. Indeed, few works so far formally analyze high-dimensional model explanations. In this paper, we propose a novel high dimension model explanation method that captures the joint effect of feature subsets. We propose a new axiomatization for a generalization of the Banzhaf index; our method can also be thought of as an approximation of a black-box model by a higher-order polynomial. In other words, this work justifies the use of the generalized Banzhaf index as a model explanation by showing that it uniquely satisfies a set of natural desiderata and that it is the optimal local approximation of a black-box model. Our empirical evaluation of our measure highlights how it manages to capture desirable behavior, whereas other measures that do not satisfy our axioms behave in an unpredictable manner.


title: Prospects for improving the sensitivity of the cryogenic gravitational wave detector KAGRA

abstract: Upgrades to improve the sensitivity of gravitational wave detectors enable more frequent detections and more precise source parameter estimation. Unlike other advanced interferometric detectors such as Advanced LIGO and Advanced Virgo, KAGRA requires different approach for the upgrade since it is the only detector which employs cryogenic cooling of the test masses. In this paper, we describe possible KAGRA upgrades with technologies focusing on different detector bands, and compare the impacts on the detection of compact binary coalescences. We show that either fivefold improvement in the $100 M_{\odot}$--$100 M_{\odot}$ binary black hole range, a factor of 1.3 improvement in the binary neutron star range, or a factor of 1.7 improvement in the sky localization of binary neutron stars is well feasible with upgrades that do not require changes in the existing cryogenic or vacuum infrastructure. We also show that twofold broadband sensitivity improvement is possible by applying multiple upgrades to the detector.


title: Helium line emissivities in the solar corona

abstract: We present new collisional-radiative models (CRMs) for helium in the quiescent solar corona, and predict the emissivities of the He and He$^+$ lines to be observed by DKIST, Solar Orbiter, and Proba-3. We discuss in detail the rates we selected for these models, highlighting several shortcomings we have found in previous work. As no previous complete and self-consistent coronal CRM for helium existed, we have benchmarked our largest model at a density of 10$^{6}$ cm$^{-3}$ and temperature of 20,000 K against recent CRMs developed for photoionised nebulae. We then present results for the outer solar corona, using new dielectronic recombination rates we have calculated, which increase the abundance of neutral helium by about a factor of two. We also find that all the optical triplet He I lines, and in particular the well known He I 10830 and 5876 A lines are strongly affected by both photo-excitation and photo-ionisation from the disk radiation, and that extensive CRM models are required to obtain correct estimates. Close to the Sun, at an electron density of 10$^{8}$ cm$^{-3}$ and temperature of 1 MK, we predict the emissivity of the He I 10830 A to be comparable to that of the strong Fe XIII coronal line at 10798 A. However, we expect the He I emissivity to sharply fall in the outer corona, with respect to Fe XIII. We confirm that the He$^+$ Lyman $\alpha$ at 304 A is also significantly affected by photo-excitation and is expected to be detectable as a strong coronal line up to several solar radii.


title: Valuation rings of dimension one as limits of smooth algebras

abstract: As in Zariski's Uniformization Theorem we show that a valuation ring $V$ of characteristic $p>0$ of dimension one is a filtered direct limit of smooth ${\bf F}_p$-algebras under some conditions of transcendence degree. Under mild conditions, the algebraic immediate extensions of valuation rings are dense if they are filtered direct limit of smooth morphisms.


title: A Deterministic Approximation to Neural SDEs

abstract: Neural Stochastic Differential Equations (NSDEs) model the drift and diffusion functions of a stochastic process as neural networks. While NSDEs are known to make accurate predictions, their uncertainty quantification properties have been remained unexplored so far. We report the empirical finding that obtaining well-calibrated uncertainty estimations from NSDEs is computationally prohibitive. As a remedy, we develop a computationally affordable deterministic scheme which accurately approximates the transition kernel, when dynamics is governed by a NSDE. Our method introduces a bidimensional moment matching algorithm: vertical along the neural net layers and horizontal along the time direction, which benefits from an original combination of effective approximations. Our deterministic approximation of the transition kernel is applicable to both training and prediction. We observe in multiple experiments that the uncertainty calibration quality of our method can be matched by Monte Carlo sampling only after introducing high computational cost. Thanks to the numerical stability of deterministic training, our method also improves prediction accuracy.


title: Noisy quantum metrology enhanced by continuous nondemolition measurement

abstract: We show that continuous quantum nondemolition (QND) measurement of an atomic ensemble is able to improve the precision of frequency estimation even in the presence of independent dephasing acting on each atom. We numerically simulate the dynamics of an ensemble with up to N = 150 atoms initially prepared in a (classical) spin coherent state, and we show that, thanks to the spin squeezing dynamically generated by the measurement, the information obtainable from the continuous photocurrent scales superclassically with respect to the number of atoms N. We provide evidence that such superclassical scaling holds for different values of dephasing and monitoring efficiency. We moreover calculate the extra information obtainable via a final strong measurement on the conditional states generated during the dynamics and show that the corresponding ultimate limit is nearly achieved via a projective measurement of the spin-squeezed collective spin operator. We also briefly discuss the difference between our protocol and standard estimation schemes, where the state preparation time is neglected.


title: ZnG: Architecting GPU Multi-Processors with New Flash for Scalable Data Analysis

abstract: We propose ZnG, a new GPU-SSD integrated architecture, which can maximize the memory capacity in a GPU and address performance penalties imposed by an SSD. Specifically, ZnG replaces all GPU internal DRAMs with an ultra-low-latency SSD to maximize the GPU memory capacity. ZnG further removes performance bottleneck of the SSD by replacing its flash channels with a high-throughput flash network and integrating SSD firmware in the GPU's MMU to reap the benefits of hardware accelerations. Although flash arrays within the SSD can deliver high accumulated bandwidth, only a small fraction of such bandwidth can be utilized by GPU's memory requests due to mismatches of their access granularity. To address this, ZnG employs a large L2 cache and flash registers to buffer the memory requests. Our evaluation results indicate that ZnG can achieve 7.5x higher performance than prior work.


title: Analysing the resilience of the European commodity production system with PyResPro, the Python Production Resilience package

abstract: This paper presents a Python object-oriented software and code to compute the annual production resilience indicator. The annual production resilience indicator can be applied to different anthropic and natural systems such as agricultural production, natural vegetation and water resources. Here, we show an example of resilience analysis of the economic values of the agricultural production in Europe. The analysis is conducted for individual time-series in order to estimate the resilience of a single commodity and to groups of time-series in order to estimate the overall resilience of diversified production systems composed of different crops and/or different countries. The proposed software is powerful and easy to use with publicly available datasets such as the one used in this study.


title: Stick-slip and convergence of feedback-controlled systems with Coulomb friction

abstract: An analysis of stick-slip behavior and convergence of trajectories in the feedback-controlled motion systems with discontinuous Coulomb friction is provided. A closed-form parameter-dependent stiction region, around an invariant equilibrium set, is proved to be always reachable and globally attractive. It is shown that only asymptotic convergence can be achieved, with at least one but mostly an infinite number of consecutive stick-slip cycles, independent of the initial conditions. Theoretical developments are supported by a number of numerical results with dedicated convergence examples.


title: Ambient pressure Dirac electron system in quasi-two-dimensional molecular conductor ${\alpha}$-(BETS)$_2$I$_3$

abstract: We investigated the precise crystal structures and electronic states in a quasi-two-dimensional molecular conductor ${\alpha}$-(BETS)$_2$I$_3$ at ambient pressure. The electronic resistivity of this molecular solid shows metal-to-insulator (MI) crossover at $T_{MI}$=50 K. Our x-ray diffraction and $^{13}$C nuclear magnetic resonance experiments revealed that ${\alpha}$-(BETS)$_2$I$_3$ maintains the inversion symmetry below $T_{MI}$. First-principles calculations found a pair of anisotropic Dirac cones at a general k-point, with the degenerate contact points at the Fermi level. The origin of the insulating state in this system is a small energy gap of ~2 meV opened by the spin-orbit interaction. The Z$_2$ topological invariants indicate that this system is a weak topological insulator. Our results suggest that ${\alpha}$-(BETS)$_2$I$_3$ is a promising material for studying the bulk Dirac electron system in two dimensions.


title: TIC 278956474: Two close binaries in one young quadruple system, identified by \textit{TESS}

abstract: We have identified a quadruple system with two close eclipsing binaries in TESS data. The object is unresolved in Gaia and appears as a single source at parallax 1.08~$\pm$0.01 mas. Both binaries have observable primary and secondary eclipses and were monitored throughout TESS Cycle 1 (sectors 1-13), falling within the TESS Continuous Viewing Zone. In one eclipsing binary (P = 5.488 d), the smaller star is completely occluded by the larger star during the secondary eclipse; in the other (P = 5.674 d) both eclipses are grazing. Using these data, spectroscopy, speckle photometry, SED analysis and evolutionary stellar tracks, we have constrained the masses and radii of the four stars in the two eclipsing binaries. The Li I EW indicates an age of 10-50 Myr and, with an outer period of $858^{+7}_{-5}$ days, our analysis indicates this is one of the most compact young 2+2 quadruple systems known.


title: AGILESim: Monte Carlo simulation of the AGILE gamma-ray telescope

abstract: The accuracy of Monte Carlo simulations in reproducing the scientific performance of space telescopes (e.g. angular resolution) is mandatory for a correct design of the mission. A brand-new Monte Carlo simulator of the Astrorivelatore Gamma ad Immagini LEggero (AGILE)/Gamma-Ray Imaging Detector (GRID) space telescope, AGILESim, is built using the customizable Bologna Geant4 Multi-Mission Simulator (BoGEMMS) architecture and the latest Geant4 library to reproduce the instrument performance of the AGILE/GRID instrument. The Monte Carlo simulation output is digitized in the BoGEMMS postprocessing pipeline, according to the instrument electronic read-out logic, then converted into the onboard data handling format, and finally analyzed by the standard mission on-ground reconstruction pipeline, including the Kalman filter, as a real observation in space. In this paper we focus on the scientific validation of AGILESim, performed by reproducing (i) the conversion efficiency of the tracker planes, (ii) the tracker charge readout distribution measured by the on-ground assembly, integration, and verification activity, and (iii) the point-spread function of in-flight observations of the Vela pulsar in the 100 MeV - 1 GeV energy range. We measure an in-flight angular resolution (FWHM) for Vela-like point sources of $2.0^{+0.2}_{-0.3}$ and $0.8^{+0.1}_{-0.1}$ degrees in the 100 - 300 and 300 - 1000 MeV energy bands, respectively. The successful cross-comparison of the simulation results with the AGILE on-ground and in-space performance validates the BoGEMMS framework for its application to future gamma-ray trackers (e.g. e-ASTROGAM and AMEGO).


title: Resolving the puzzle of sound propagation in liquid helium at low temperatures

abstract: Experimental data suggests that, at temperatures below 1 K, the pressure in liquid helium has a cubic dependence on density. Thus the speed of sound scales as a cubic root of pressure. Near a critical pressure point, this speed approaches zero whereby the critical pressure is negative, thus indicating a cavitation instability regime. We demonstrate that to explain this dependence, one has to view liquid helium as a mixture of three quantum Bose liquids: dilute (Gross-Pitaevskii-type) Bose-Einstein condensate, Ginzburg-Sobyanin-type fluid, and logarithmic superfluid. Therefore, the dynamics of such a mixture is described by a quantum wave equation, which contains not only the polynomial (Gross-Pitaevskii and Ginzburg-Sobyanin) nonlinearities with respect to a condensate wavefunction, but also a non-polynomial logarithmic nonlinearity. We derive an equation of state and speed of sound in our model, and show their agreement with experiment.


title: Additive Poisson Process: Learning Intensity of Higher-Order Interaction in Stochastic Processes

abstract: We present the Additive Poisson Process (APP), a novel framework that can model the higher-order interaction effects of the intensity functions in stochastic processes using lower dimensional projections. Our model combines the techniques in information geometry to model higher-order interactions on a statistical manifold and in generalized additive models to use lower-dimensional projections to overcome the effects from the curse of dimensionality. Our approach solves a convex optimization problem by minimizing the KL divergence from a sample distribution in lower dimensional projections to the distribution modeled by an intensity function in the stochastic process. Our empirical results show that our model is able to use samples observed in the lower dimensional space to estimate the higher-order intensity function with extremely sparse observations.


title: Correlation between electronic and structural orders in 1T-TiSe2

abstract: The correlation between electronic and crystal structures of 1T-TiSe2 in the charge density wave (CDW) state is studied by x-ray diffraction. Three families of reflections are used to probe atomic displacements and the orbital asymmetry in Se. Two distinct onset temperatures are found, TCDW and a lower T* indicative for an onset of Se out-of-plane atomic displacements. T* coincides with a DC resistivity maximum and the onset of the proposed gyrotropic electronic structure. However, no indication for chirality is found. The relation between the atomic displacements and the transport properties is discussed in terms of Ti 3d and Se 4p states that only weakly couple to the CDW order.


title: On initial boundary value problem for parabolic differential operator with non-coercive boundary conditions

abstract: We consider initial boundary value problem for uniformly 2-parabolic differential operator of second order in cylinder domain in ${\mathbb R}^n $ with non-coercive boundary conditions. In this case there is a loss of smoothness of the solution in Sobolev type spaces compared with the coercive situation. Using by Faedo-Galerkin method we prove that problem has unique solution in special Bochner space.


title: Modified Excluded Volume Hadron Resonance Gas Model with Lorentz Contraction

abstract: In this work we discuss a modified version of Excluded Volume Hadron Resonance Gas model and also study the effect of Lorentz contraction of the excluded volume on scaled pressure and susceptibilities of conserved charges. We find that the Lorentz contraction, coupled with the variety of excluded volume parameters reproduce the lattice QCD data quite satisfactorily.


title: On Martingale Transformations of Multidimensional Brownian Motion

abstract: We describe the class of functions $f: R^n\to R^m$ which transform a vector Brownian Motion into a martingale and use this description to give martingale characterization of the general measurable solution of the multidimensional Cauchy functional equation.


title: Localizing the Donaldson-Futaki invariant

abstract: We use the equivariant localization formula to prove that the Donaldson-Futaki invariant of a compact smooth (K{\"a}hler) test configuration coincides with the Futaki invariant of the induced action on the central fiber when this fiber is smooth or have orbifold singularities. We also localize the Donaldson-Futaki invariant of the deformation to the normal cone.


title: A joint bayesian space-time model to integrate spatially misaligned air pollution data in R-INLA

abstract: In air pollution studies, dispersion models provide estimates of concentration at grid level covering the entire spatial domain, and are then calibrated against measurements from monitoring stations. However, these different data sources are misaligned in space and time. If misalignment is not considered, it can bias the predictions. We aim at demonstrating how the combination of multiple data sources, such as dispersion model outputs, ground observations and covariates, leads to more accurate predictions of air pollution at grid level. We consider nitrogen dioxide (NO2) concentration in Greater London and surroundings for the years 2007-2011, and combine two different dispersion models. Different sets of spatial and temporal effects are included in order to obtain the best predictive capability. Our proposed model is framed in between calibration and Bayesian melding techniques for data fusion red. Unlike other examples, we jointly model the response (concentration level at monitoring stations) and the dispersion model outputs on different scales, accounting for the different sources of uncertainty. Our spatio-temporal model allows us to reconstruct the latent fields of each model component, and to predict daily pollution concentrations. We compare the predictive capability of our proposed model with other established methods to account for misalignment (e.g. bilinear interpolation), showing that in our case study the joint model is a better alternative.


title: Horn(p,q)

abstract: In this article, we obtain a recursive description of the Horn cone Horn(p,q) with respect to the integers p and q, as in the classical Horn's conjecture.


title: Operational Characterization of Multipartite Nonlocal Correlations

abstract: Nonlocality, one of the most puzzling features of multipartite quantum correlation, has been identified as a useful resource for device-independent quantum information processing. Motivated by the resource theory of quantum entanglement recently an operational framework have been proposed by Gallego et al. [\href{https://doi.org/10.1103/PhysRevLett.109.070401}{Phys. Rev. Lett. 109, 070401 (2012)}] and Bancal et al. [\href{https://doi.org/10.1103/PhysRevA.88.014102}{Phys. Rev. A 88, 014102 (2013)}] that characterizes the nonlocal resource present in multipartite quantum correlations. While the bipartite no-signaling correlations allows a dichotomous classification -- local vs. nonlocal, in multipartite scenario the authors have shown existence of several types of nonlocality that are inequivalent under the proposed operational framework. In this work we present a finer characterization of multipartite no-signaling correlations based on the same operational framework. We also clarify a statement in Gallego et al.'s work that could be misinterpreted and make the conclusions of that work more precise here.


title: A mirror theorem for multi-root stacks and applications

abstract: Given a smooth projective variety $X$ with a simple normal crossing divisor $D:=D_1+D_2+...+D_n$, where $D_i\subset X$ are smooth, irreducible and nef. We prove a mirror theorem for multi-root stacks $X_{D,\vec r}$ by constructing an $I$-function, a slice of Givental's Lagrangian cone for Gromov--Witten theory of multi-root stacks. We provide three applications: (1) We show that some genus zero invariants of $X_{D,\vec r}$ stabilize for sufficiently large $\vec r$. (2) We state a generalized local-log-orbifold principle conjecture and prove a version of it. (3) We show that regularized quantum periods of Fano varieties coincide with classical periods of the mirror Landau--Ginzburg potentials using orbifold invariants of $X_{D,\vec r}$.


title: Three-state quantum walk on the Cayley Graph of the Dihedral Group

abstract: The finite dihedral group generated by one rotation and one reflection is the simplest case of the non-abelian group. Cayley graphs are diagrammatic counterparts of groups. In this paper, much attention is given to the Cayley graph of the dihedral group. Considering the characteristics of the elements in the dihedral group, we propose a model of three-state discrete-time quantum walk (DTQW) on the Caylay graph of the dihedral group with Grover coin. We derive analytic expressions for the the position probability distribution and the long-time limit of the return probability starting from the origin. It is shown that the localization effect is governed by the size of the underlying dihedral group, coin operator and initial state. We also numerically investigate the properties of the proposed model via the probability distribution and the time-averaged probability at the designated position. The abundant phenomena of three-state Grover DTQW on the Caylay graph of the dihedral group can help the community to better understand and to develop new quantum algorithms.


title: On the Variational Posterior of Dirichlet Process Deep Latent Gaussian Mixture Models

abstract: Thanks to the reparameterization trick, deep latent Gaussian models have shown tremendous success recently in learning latent representations. The ability to couple them however with nonparamet-ric priors such as the Dirichlet Process (DP) hasn't seen similar success due to its non parameteriz-able nature. In this paper, we present an alternative treatment of the variational posterior of the Dirichlet Process Deep Latent Gaussian Mixture Model (DP-DLGMM), where we show that the prior cluster parameters and the variational posteriors of the beta distributions and cluster hidden variables can be updated in closed-form. This leads to a standard reparameterization trick on the Gaussian latent variables knowing the cluster assignments. We demonstrate our approach on standard benchmark datasets, we show that our model is capable of generating realistic samples for each cluster obtained, and manifests competitive performance in a semi-supervised setting.


title: On some subspaces of the exterior algebra of a simple Lie algebra

abstract: In this article, we are interested in some subspaces of the exterior algebra of a simple Lie algebra g. In particular, we prove that some graded subspaces of degree d generate the g-module d (g) for some integers d.


title: Spatio-Temporal Analysis of Cellular Networks with Cell-Center/Edge Users

abstract: Emergence of various types of services has brought about explosive growth of traffic as well as diversified traffic characteristics in the cellular networks. To have a comprehensive understanding of the influences caused by various traffic status is vital for the deployment of the next-generation wireless networks. In this paper, we develop a mathematical analytical model by utilizing queuing theory and stochastic geometry where the randomness of the traffic and the geographical locations of the interferers can be captured. We derive the b-th moments of the conditional success probability and the closed-form expressions of the meta distribution for the cell-center users (CCUs) and the cell-edge users (CEUs), respectively. Fixed-point equations are then formulated to obtain the exact value of the meta distribution by taking the random arrival traffic into consideration and the impact of the random arrival traffic on the queue status is revealed. In addition, the mean local delays for CCUs nad CEUs are derived and the corresponding regions for CCUs and CEUs where the mean local delays maintain finite are obtained. Finally, the impact of the critical network parameters on the meta distribution and the mean local delay is investigated with the numerical results.


title: Lorenzen's proof of consistency for elementary number theory [with an edition and translation of "Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis'']

abstract: We present a manuscript of Paul Lorenzen that provides a proof of consistency for elementary number theory as an application of the construction of the free countably complete pseudocomplemented semilattice over a preordered set. This manuscript rests in the Oskar-Becker-Nachlass at the Philosophisches Archiv of Universit{\"a}t Konstanz, file OB 5-3b-5. It has probably been written between March and May 1944. We also compare this proof to Gentzen's and Novikov's, and provide a translation of the manuscript.


title: Federated Survival Analysis with Discrete-Time Cox Models

abstract: Building machine learning models from decentralized datasets located in different centers with federated learning (FL) is a promising approach to circumvent local data scarcity while preserving privacy. However, the prominent Cox proportional hazards (PH) model, used for survival analysis, does not fit the FL framework, as its loss function is non-separable with respect to the samples. The na\"ive method to bypass this non-separability consists in calculating the losses per center, and minimizing their sum as an approximation of the true loss. We show that the resulting model may suffer from important performance loss in some adverse settings. Instead, we leverage the discrete-time extension of the Cox PH model to formulate survival analysis as a classification problem with a separable loss function. Using this approach, we train survival models using standard FL techniques on synthetic data, as well as real-world datasets from The Cancer Genome Atlas (TCGA), showing similar performance to a Cox PH model trained on aggregated data. Compared to previous works, the proposed method is more communication-efficient, more generic, and more amenable to using privacy-preserving techniques.


title: Iterated sumsets and Hilbert functions

abstract: Let A be a finite subset of an abelian group (G, +). Let h $\ge$ 2 be an integer. If |A| $\ge$ 2 and the cardinality |hA| of the h-fold iterated sumset hA = A + $\times$ $\times$ $\times$ + A is known, what can one say about |(h -- 1)A| and |(h + 1)A|? It is known that |(h -- 1)A| $\ge$ |hA| (h--1)/h , a consequence of Pl{\"u}nnecke's inequality. Here we improve this bound with a new approach. Namely, we model the sequence |hA| h$\ge$0 with the Hilbert function of a standard graded algebra. We then apply Macaulay's 1927 theorem on the growth of Hilbert functions, and more specifically a recent condensed version of it. Our bound implies |(h -- 1)A| $\ge$ $\theta$(x, h) |hA| (h--1)/h for some factor $\theta$(x, h) > 1, where x is a real number closely linked to |hA|. Moreover, we show that $\theta$(x, h) asymptotically tends to e $\approx$ 2.718 as |A| grows and h lies in a suitable range varying with |A|.


title: Higher-Order Quantum Reservoir Computing

abstract: Quantum reservoir computing (QRC) is an emerging paradigm for harnessing the natural dynamics of quantum systems as computational resources that can be used for temporal machine learning tasks. In the current setup, QRC is difficult to deal with high-dimensional data and has a major drawback of scalability in physical implementations. We propose higher-order QRC, a hybrid quantum-classical framework consisting of multiple but small quantum systems that are mutually communicated via classical connections like linear feedback. By utilizing the advantages of both classical and quantum techniques, our framework enables an efficient implementation to boost the scalability and performance of QRC. Furthermore, higher-order settings allow us to implement a FORCE learning or an innate training scheme, which provides flexibility and high operability to harness high-dimensional quantum dynamics and significantly extends the application domain of QRC. We demonstrate the effectiveness of our framework in emulating large-scale nonlinear dynamical systems, including complex spatiotemporal chaos, which outperforms many of the existing machine learning techniques in certain situations.


title: How Much Can I Trust You? -- Quantifying Uncertainties in Explaining Neural Networks

abstract: Explainable AI (XAI) aims to provide interpretations for predictions made by learning machines, such as deep neural networks, in order to make the machines more transparent for the user and furthermore trustworthy also for applications in e.g. safety-critical areas. So far, however, no methods for quantifying uncertainties of explanations have been conceived, which is problematic in domains where a high confidence in explanations is a prerequisite. We therefore contribute by proposing a new framework that allows to convert any arbitrary explanation method for neural networks into an explanation method for Bayesian neural networks, with an in-built modeling of uncertainties. Within the Bayesian framework a network's weights follow a distribution that extends standard single explanation scores and heatmaps to distributions thereof, in this manner translating the intrinsic network model uncertainties into a quantification of explanation uncertainties. This allows us for the first time to carve out uncertainties associated with a model explanation and subsequently gauge the appropriate level of explanation confidence for a user (using percentiles). We demonstrate the effectiveness and usefulness of our approach extensively in various experiments, both qualitatively and quantitatively.


title: RL-CycleGAN: Reinforcement Learning Aware Simulation-To-Real

abstract: Deep neural network based reinforcement learning (RL) can learn appropriate visual representations for complex tasks like vision-based robotic grasping without the need for manually engineering or prior learning a perception system. However, data for RL is collected via running an agent in the desired environment, and for applications like robotics, running a robot in the real world may be extremely costly and time consuming. Simulated training offers an appealing alternative, but ensuring that policies trained in simulation can transfer effectively into the real world requires additional machinery. Simulations may not match reality, and typically bridging the simulation-to-reality gap requires domain knowledge and task-specific engineering. We can automate this process by employing generative models to translate simulated images into realistic ones. However, this sort of translation is typically task-agnostic, in that the translated images may not preserve all features that are relevant to the task. In this paper, we introduce the RL-scene consistency loss for image translation, which ensures that the translation operation is invariant with respect to the Q-values associated with the image. This allows us to learn a task-aware translation. Incorporating this loss into unsupervised domain translation, we obtain RL-CycleGAN, a new approach for simulation-to-real-world transfer for reinforcement learning. In evaluations of RL-CycleGAN on two vision-based robotics grasping tasks, we show that RL-CycleGAN offers a substantial improvement over a number of prior methods for sim-to-real transfer, attaining excellent real-world performance with only a modest number of real-world observations.


title: Mobile Delivery Robots: Mixed Reality-Based Simulation Relying on ROS and Unity 3D

abstract: In the context of Intelligent Transportation Systems and the delivery of goods, new technology approaches need to be developed in order to cope with certain challenges that last mile delivery entails, such as navigation in an urban environment. Autonomous delivery robots can help overcome these challenges. We propose a method for performing mixed reality (MR) simulation with ROS-based robots using Unity, which synchronizes the real and virtual environment, and simultaneously uses the sensor information of the real robots to locate themselves and project them into the virtual environment, so that they can use their virtual doppelganger to perceive the virtual world. Using this method, real and virtual robots can perceive each other and the environment in which the other party is located, thereby enabling the exchange of information between virtual and real objects. Through this approach a more realistic and reliable simulation can be obtained. Results of the demonstrated use-cases verified the feasibility and efficiency as well as the stability of implementing MR using Unity for ROS-based robots.


title: CytOpT: Optimal Transport with Domain Adaptation for Interpreting Flow Cytometry data

abstract: The automated analysis of flow cytometry measurements is an active research field. We introduce a new algorithm, referred to as CytOpT, using regularized optimal transport to directly estimate the different cell population proportions from a biological sample characterized with flow cytometry measurements. We rely on the regularized Wasserstein metric to compare cytometry measurements from different samples, thus accounting for possible mis-alignment of a given cell population across sample (due to technical variability from the technology of measurements). In this work, we rely on a supervised learning technique based on the Wasserstein metric that is used to estimate an optimal re-weighting of class proportions in a mixture model from a source distribution (with known segmentation into cell sub-populations) to fit a target distribution with unknown segmentation. Due to the high-dimensionality of flow cytometry data, we use stochastic algorithms to approximate the regularized Wasserstein metric to solve the optimization problem involved in the estimation of optimal weights representing the cell population proportions in the target distribution. Several flow cytometry data sets are used to illustrate the performances of CytOpT that are also compared to those of existing algorithms for automatic gating based on supervised learning.


title: Excitonic optical spectra and energy structures in a one-dimensional Mott insulator demonstrated by applying a many-body Wannier functions method to a charge model

abstract: We have applied a many-body Wannier functions method to theoretically calculate an excitonic optical conductivity spectrum and energy structure in a one-dimensional (1D) Mott insulator at absolute zero temperature with large system size. Focusing on full charge fluctuations associated with pairs of a holon and doublon, we employ a charge model, which is interpreted as a good effective model to investigate photoexcitations of a 1D extended Hubbard model at half-filling in the spin-charge separation picture. As a result, the theoretical spectra with appropriate broadenings qualitatively reproduce the recent experimental data of ET-F$_{2}$TCNQ at 294 K with and without a modulated electric field. Regarding the excitonic energy structure, we have found that the excitons, especially for even-parity, are weakly bound by many-body effects. This is also consistent with the fitting parameters reported in the recent experiment. Thus, our theoretical method presented in this paper is practically useful to understand physical roles of charge fluctuations in many-body excited states of a 1D Mott insulator.


title: The soft excess of the NLS1 galaxy Mrk 359 studied with an XMM-Newton-NuSTAR monitoring campaign

abstract: XMM-Newton and NuSTAR multiple exposures allow us to disentangle the different emission components of active galactic nuclei (AGNs) and to study the evolution of their different spectral features. In this work, we present the timing and spectral properties of five simultaneous XMM-Newton and NuSTAR observations of the Narrow Line Seyfert 1 galaxy Mrk 359. We aim to provide the first broadband spectral modeling of Mrk 359 describing its emission spectrum from the UV up to the hard X-rays. To do this, we performed temporal and spectral data analysis, characterising the amplitude and spectral changes of the Mrk 359 time series and computing the 2-10 keV normalised excess variance. The spectral broadband modelling assumes the standard hot Comptonising corona and reflection component, while for the soft excess we tested two different models: a warm, optically thick Comptonising corona (the two-corona model) and a reflection model in which the soft-excess is the result of a blurred reflected continuum and line emission (the reflection model). High and low flux states were observed during the campaign. The former state has a softer spectral shape, while the latter shows a harder one. The photon index is in the 1.75-1.89 range, and only a lower limit to the hot-corona electron temperature can be found. A constant reflection component, likely associated with distant matter, is observed. Regarding the soft excess, we found that among the reflection models we tested, the one providing the better fit (reduced $\chi^2$=1.14) is the high-density one. However, a significantly better fit (reduced $\chi^2$=1.08) is found by modelling the soft excess with a warm Comptonisation model. The present analysis suggests the two-corona model as the best scenario for the optical-UV to X-ray emission spectrum of Mrk 359.


title: Robust Sound Source Tracking Using SRP-PHAT and 3D Convolutional Neural Networks

abstract: In this paper, we present a new single sound source DOA estimation and tracking system based on the well-known SRP-PHAT algorithm and a three-dimensional Convolutional Neural Network. It uses SRP-PHAT power maps as input features of a fully convolutional causal architecture that uses 3D convolutional layers to accurately perform the tracking of a sound source even in highly reverberant scenarios where most of the state of the art techniques fail. Unlike previous methods, since we do not use bidirectional recurrent layers and all our convolutional layers are causal in the time dimension, our system is feasible for real-time applications and it provides a new DOA estimation for each new SRP-PHAT map. To train the model, we introduce a new procedure to simulate random trajectories as they are needed during the training, equivalent to an infinite-size dataset with high flexibility to modify its acoustical conditions such as the reverberation time. We use both acoustical simulations on a large range of reverberation times and the actual recordings of the LOCATA dataset to prove the robustness of our system and its good performance even using low-resolution SRP-PHAT maps.


title: Measuring Macroeconomic Uncertainty: The Labor Channel of Uncertainty from a Cross-Country Perspective

abstract: This paper constructs internationally consistent measures of macroeconomic uncertainty. Our econometric framework extracts uncertainty from revisions in data obtained from standardized national accounts. Applying our model to post-WWII real-time data, we estimate macroeconomic uncertainty for 39 countries. The cross-country dimension of our uncertainty data allows us to study the impact of uncertainty shocks under different employment protection legislation. Our empirical findings suggest that the effects of uncertainty shocks are stronger and more persistent in countries with low employment protection compared to countries with high employment protection. These empirical findings are in line with a theoretical model under varying firing cost.


title: Reinforcement Learning Control of Robotic Knee with Human in the Loop by Flexible Policy Iteration

abstract: We are motivated by the real challenges presented in a human-robot system to develop new designs that are efficient at data level and with performance guarantees such as stability and optimality at systems level. Existing approximate/adaptive dynamic programming (ADP) results that consider system performance theoretically are not readily providing practically useful learning control algorithms for this problem; and reinforcement learning (RL) algorithms that address the issue of data efficiency usually do not have performance guarantees for the controlled system. This study fills these important voids by introducing innovative features to the policy iteration algorithm. We introduce flexible policy iteration (FPI), which can flexibly and organically integrate experience replay and supplemental values from prior experience into the RL controller. We show system level performances including convergence of the approximate value function, (sub)optimality of the solution, and stability of the system. We demonstrate the effectiveness of the FPI via realistic simulations of the human-robot system. It is noted that the problem we face in this study may be difficult to address by design methods based on classical control theory as it is nearly impossible to obtain a customized mathematical model of a human-robot system either online or offline. The results we have obtained also indicate the great potential of RL control to solving realistic and challenging problems with high dimensional control inputs.


title: Provable Training Set Debugging for Linear Regression

abstract: We investigate problems in penalized $M$-estimation, inspired by applications in machine learning debugging. Data are collected from two pools, one containing data with possibly contaminated labels, and the other which is known to contain only cleanly labeled points. We first formulate a general statistical algorithm for identifying buggy points and provide rigorous theoretical guarantees under the assumption that the data follow a linear model. We then present two case studies to illustrate the results of our general theory and the dependence of our estimator on clean versus buggy points. We further propose an algorithm for tuning parameter selection of our Lasso-based algorithm and provide corresponding theoretical guarantees. Finally, we consider a two-person "game" played between a bug generator and a debugger, where the debugger can augment the contaminated data set with cleanly labeled versions of points in the original data pool. We establish a theoretical result showing a sufficient condition under which the bug generator can always fool the debugger. Nonetheless, we provide empirical results showing that such a situation may not occur in practice, making it possible for natural augmentation strategies combined with our Lasso debugging algorithm to succeed.


title: Clustering of Boundary Interfaces for an inhomogeneous Allen-Cahn equation on a smooth bounded domain

abstract: We consider the inhomogeneous Allen-Cahn equation $$ \epsilon^2\Delta u\,+\,V(y)(1-u^2)\,u\,=\,0\quad \mbox{in}\ \Omega, \qquad \frac {\partial u}{\partial \nu}\,=\,0\quad \mbox{on}\ \partial \Omega, $$ where $\Omega$ is a bounded domain in ${\mathbb R}^2$ with smooth boundary $\partial\Omega$ and $V(x)$ is a positive smooth function, $\epsilon>0$ is a small parameter, $\nu$ denotes the unit outward normal of $\partial\Omega$. For any fixed integer $N\geq 2$, we will show the existence of a clustered solution $u_{\epsilon}$ with $N$-transition layers near $\partial \Omega$ with mutual distance $O(\epsilon|\ln \epsilon|)$, provided that the generalized mean curvature $\mathcal{H} $ of $\partial\Omega$ is positive and $\epsilon$ stays away from a discrete set of values at which resonance occurs. Our result is an extension of those (with dimension two) by A. Malchiodi, W.-M. Ni, J. Wei in Pacific J. Math. (Vol. 229, 2007, no. 2, 447-468) and A. Malchiodi, J. Wei in J. Fixed Point Theory Appl. (Vol. 1, 2007, no. 2, 305-336)


title: Improved Techniques for Training Score-Based Generative Models

abstract: Score-based generative models can produce high quality image samples comparable to GANs, without requiring adversarial optimization. However, existing training procedures are limited to images of low resolution (typically below 32x32), and can be unstable under some settings. We provide a new theoretical analysis of learning and sampling from score models in high dimensional spaces, explaining existing failure modes and motivating new solutions that generalize across datasets. To enhance stability, we also propose to maintain an exponential moving average of model weights. With these improvements, we can effortlessly scale score-based generative models to images with unprecedented resolutions ranging from 64x64 to 256x256. Our score-based models can generate high-fidelity samples that rival best-in-class GANs on various image datasets, including CelebA, FFHQ, and multiple LSUN categories.


title: A Two-Stage Bayesian Semiparametric Model for Novelty Detection with Robust Prior Information

abstract: Novelty detection methods aim at partitioning the test units into already observed and previously unseen patterns. However, two significant issues arise: there may be considerable interest in identifying specific structures within the novelty, and contamination in the known classes could completely blur the actual separation between manifest and new groups. Motivated by these problems, we propose a two-stage Bayesian semiparametric novelty detector, building upon prior information robustly extracted from a set of complete learning units. We devise a general-purpose multivariate methodology that we also extend to handle functional data objects. We provide insights on the model behavior by investigating the theoretical properties of the associated semiparametric prior. From the computational point of view, we propose a suitable $\boldsymbol{\xi}$-sequence to construct an independent slice-efficient sampler that takes into account the difference between manifest and novelty components. We showcase our model performance through an extensive simulation study and applications on both multivariate and functional datasets, in which diverse and distinctive unknown patterns are discovered.


title: CSL reduction rate for rigid bodies

abstract: In the context of spontaneous wave function collapse models, we investigate the properties of the Continuous Spontaneous Localization (CSL) collapse rate for rigid bodies. By exploiting the Euler-Maclaurin formula, we show that for standard matter the rate for a continuous mass distribution accurately reproduces the exact rate (i.e. the one for a point-like distribution). We compare the exact rate with previous estimates in the literature and we asses their validity. We find that the reduction rate displays a peculiar mass difference effect, which we investigate and describe in detail. We show that the recently proposed layering effect is a consequence of the mass difference effect.


title: Optical shielding of destructive chemical reactions between ultracold ground-state NaRb molecules

abstract: We propose a method to suppress the chemical reactions between ultracold bosonic ground-state $^{23}$Na$^{87}$Rb molecules based on optical shielding. By applying a laser with a frequency blue-detuned from the transition between the lowest rovibrational level of the electronic ground state $X^1\Sigma^+ (v_X=0, j_X=0)$, and the long-lived excited level $b^3\Pi_0 (v_b=0, j_b=1)$, the long-range dipole-dipole interaction between the colliding molecules can be engineered, leading to a dramatic suppression of reactive and photoinduced inelastic collisions, for both linear and circular laser polarizations. We demonstrate that the spontaneous emission from $b^3\Pi_0 (v_b=0, j_b=1)$ does not deteriorate the shielding process. This opens the possibility for a strong increase of the lifetime of cold molecule traps, and for an efficient evaporative cooling. We also anticipate that the proposed mechanism is valid for alkali-metal diatomics with sufficiently large dipole-dipole interactions.


title: ABC Learning of Hawkes Processes with Missing or Noisy Event Times

abstract: The self-exciting Hawkes process is widely used to model events which occur in bursts. However, many real world data sets contain missing events and/or noisily observed event times, which we refer to as data distortion. The presence of such distortion can severely bias the learning of the Hawkes process parameters. To circumvent this, we propose modeling the distortion function explicitly. This leads to a model with an intractable likelihood function which makes it difficult to deploy standard parameter estimation techniques. As such, we develop the ABC-Hawkes algorithm which is a novel approach to estimation based on Approximate Bayesian Computation (ABC) and Markov Chain Monte Carlo. This allows the parameters of the Hawkes process to be learned in settings where conventional methods induce substantial bias or are inapplicable. The proposed approach is shown to perform well on both real and simulated data.


title: Acoustic prediction of flowrate: varying liquid jet stream onto a free surface

abstract: Information on liquid jet stream flow is crucial in many real world applications. In a large number of cases, these flows fall directly onto free surfaces (e.g. pools), creating a splash with accompanying splashing sounds. The sound produced is supplied by energy interactions between the liquid jet stream and the passive free surface. In this investigation, we collect the sound of a water jet of varying flowrate falling into a pool of water, and use this sound to predict the flowrate and flowrate trajectory involved. Two approaches are employed: one uses machine-learning models trained using audio features extracted from the collected sound to predict the flowrate (and subsequently the flowrate trajectory). In contrast, the second method directly uses acoustic parameters related to the spectral energy of the liquid-liquid interaction to estimate the flowrate trajectory. The actual flowrate, however, is determined directly using a gravimetric method: tracking the change in mass of the pooling liquid over time. We show here that the two methods agree well with the actual flowrate and offer comparable performance in accurately predicting the flowrate trajectory, and accordingly offer insights for potential real-life applications using sound.


title: Estimates on Learning Rates for Multi-Penalty Distribution Regression

abstract: This paper is concerned with functional learning by utilizing two-stage sampled distribution regression. We study a multi-penalty regularization algorithm for distribution regression under the framework of learning theory. The algorithm aims at regressing to real valued outputs from probability measures. The theoretical analysis on distribution regression is far from maturity and quite challenging, since only second stage samples are observable in practical setting. In the algorithm, to transform information from samples, we embed the distributions to a reproducing kernel Hilbert space $\mathcal{H}_K$ associated with Mercer kernel $K$ via mean embedding technique. The main contribution of the paper is to present a novel multi-penalty regularization algorithm to capture more features of distribution regression and derive optimal learning rates for the algorithm. The work also derives learning rates for distribution regression in the nonstandard setting $f_{\rho}\notin\mathcal{H}_K$, which is not explored in existing literature. Moreover, we propose a distribution regression-based distributed learning algorithm to face large-scale data or information challenge. The optimal learning rates are derived for the distributed learning algorithm. By providing new algorithms and showing their learning rates, we improve the existing work in different aspects in the literature.


title: Hyperbolicity of T(6) Cyclically Presented Groups

abstract: We consider groups defined by cyclic presentations where the defining word has length three and the cyclic presentation satisfies the T(6) small cancellation condition. We classify when these groups are hyperbolic. When combined with known results, this completely classifies the hyperbolic T(6) cyclically presented groups.


title: Lio -- A Personal Robot Assistant for Human-Robot Interaction and Care Applications

abstract: Lio is a mobile robot platform with a multi-functional arm explicitly designed for human-robot interaction and personal care assistant tasks. The robot has already been deployed in several health care facilities, where it is functioning autonomously, assisting staff and patients on an everyday basis. Lio is intrinsically safe by having full coverage in soft artificial-leather material as well as having collision detection, limited speed and forces. Furthermore, the robot has a compliant motion controller. A combination of visual, audio, laser, ultrasound and mechanical sensors are used for safe navigation and environment understanding. The ROS-enabled setup allows researchers to access raw sensor data as well as have direct control of the robot. The friendly appearance of Lio has resulted in the robot being well accepted by health care staff and patients. Fully autonomous operation is made possible by a flexible decision engine, autonomous navigation and automatic recharging. Combined with time-scheduled task triggers, this allows Lio to operate throughout the day, with a battery life of up to 8 hours and recharging during idle times. A combination of powerful on-board computing units provides enough processing power to deploy artificial intelligence and deep learning-based solutions on-board the robot without the need to send any sensitive data to cloud services, guaranteeing compliance with privacy requirements. During the COVID-19 pandemic, Lio was rapidly adjusted to perform additional functionality like disinfection and remote elevated body temperature detection. It complies with ISO13482 - Safety requirements for personal care robots, meaning it can be directly tested and deployed in care facilities.


title: Bounds on Dipole Moments of hidden Dark Matter through kinetic mixing

abstract: The existence of dark sectors, consisting of weakly-coupled particles that do not interact with the known Standard Model forces, is theoretically and phenomenologically motivated. The hidden particles are candidates for Dark Matter and can interact with photon through electric dipole moment (EDM) and magnetic dipole moment (MDM). We investigate the possibility a hidden sector's Dark Matter which is charged under a hidden $U(1)_X$ gauge symmetry can interact with photon at loop level. We evaluate the scattering cross section of hidden Dirac fermion with nuclei and set bounds for dipole moment. Using the results of the XENON1T experiment for direct detection of Dark Matter, we get bounds of electromagnetic dipole moment $(\mu_\chi)$ for mass $m_\chi=100$ GeV : $ 1.93448 \times 10^{-8}\mu_B \leq \mu_\chi \leq 1.9496 \times 10^{-8}\mu_B$ and electric dipole moment $(d_\chi): 3.3204 \times 10^{-23}e\mbox{.}cm \leq d_\chi \leq 3.3464 \times 10^{-23}e\mbox{.}cm$. Using the condition of the existence of dipole moment we constraint the kinetic mixing parameter $ 3\times 10^{-3} \leq \epsilon \leq 10^{-2}$ and the mass of the hidden $U(1)_X$ gauge boson to be in the range of 5 GeV $\leq m_X \leq$ 9 GeV. Our results complement previous works and are within detection capability of LHC.


title: Ruppeiner geometry and thermodynamic phase transition of the black hole in massive gravity

abstract: The phase transition and thermodynamic geometry of a 4-dimensional AdS topological charged black hole in de Rham, Gabadadze and Tolley (dRGT) massive gravity have been studied. After introducing a normalized thermodynamic scalar curvature, it is speculated that its value is related to the interaction between the underlying black hole molecules if the black hole molecules exist. We show that there does exist a crucial parameter given in terms of the topology, charge, and massive parameters of the black hole, which characterizes the thermodynamic properties of the black hole. It is found that when the parameter is positive, the singlet large black hole phase does not exist for sufficient low temperature and there is a weak repulsive interaction dominating for the small black hole which is similar to the Reissner-Nordstr\"{o}m AdS black hole; when the parameter is negative, an additional phase region describing large black holes also implies a dominant repulsive interaction. These constitute the distinguishable features of dRGT massive topological black hole from those of the Reissner-Nordstr\"{o}m AdS black hole as well as the Van der Waals fluid system.


title: NodeNet: A Graph Regularised Neural Network for Node Classification

abstract: Real-world events exhibit a high degree of interdependence and connections, and hence data points generated also inherit the linkages. However, the majority of AI/ML techniques leave out the linkages among data points. The recent surge of interest in graph-based AI/ML techniques is aimed to leverage the linkages. Graph-based learning algorithms utilize the data and related information effectively to build superior models. Neural Graph Learning (NGL) is one such technique that utilizes a traditional machine learning algorithm with a modified loss function to leverage the edges in the graph structure. In this paper, we propose a model using NGL - NodeNet, to solve node classification task for citation graphs. We discuss our modifications and their relevance to the task. We further compare our results with the current state of the art and investigate reasons for the superior performance of NodeNet.


title: Vision-based Manipulation of Deformable and Rigid Objects Using Subspace Projections of 2D Contours

abstract: This paper proposes a unified vision-based manipulation framework using image contours of deformable/rigid objects. Instead of using human-defined cues, the robot automatically learns the features from processed vision data. Our method simultaneously generates -- from the same data -- both, visual features and the interaction matrix that relates them to the robot control inputs. Extraction of the feature vector and control commands is done online and adaptively, with little data for initialization. The method allows the robot to manipulate an object without knowing whether it is rigid or deformable. To validate our approach, we conduct numerical simulations and experiments with both deformable and rigid objects.


title: Nonadiabatic effects in the double ionization of atoms driven by a circularly polarized laser pulse

abstract: We study the double ionization of atoms subjected to circularly polarized (CP) laser pulses. We analyze two fundamental ionization processes: the sequential (SDI) and non-sequential (NSDI) double ionization in the light of the rotating frame (RF) which naturally embeds nonadiabatic effects in CP pulses. We use and compare two adiabatic approximations: The adiabatic approximation in the laboratory frame (LF) and the adiabatic approximation in the RF. The adiabatic approximation in the RF encapsulates the energy variations of the electrons on subcycle timescales happening in the LF and this, by fully taking into account the ion-electron interaction. This allows us to identify two nonadiabatic effects including the lowering of the threshold intensity at which over-the-barrier ionization happens and the lowering of the ionization time of the electrons. As a consequence, these nonadiabatic effects facilitate over-the-barrier ionization and recollision-induced ionizations. We analyze the outcomes of these nonadiabatic effects on the recollision mechanism. We show that the laser envelope plays an instrumental role in a recollision channel in CP pulses at the heart of NSDI.


title: Model Agnostic Combination for Ensemble Learning

abstract: Ensemble of models is well known to improve single model performance. We present a novel ensembling technique coined MAC that is designed to find the optimal function for combining models while remaining invariant to the number of sub-models involved in the combination. Being agnostic to the number of sub-models enables addition and replacement of sub-models to the combination even after deployment, unlike many of the current methods for ensembling such as stacking, boosting, mixture of experts and super learners that lock the models used for combination during training and therefore need retraining whenever a new model is introduced into the ensemble. We show that on the Kaggle RSNA Intracranial Hemorrhage Detection challenge, MAC outperforms classical average methods, demonstrates competitive results to boosting via XGBoost for a fixed number of sub-models, and outperforms it when adding sub-models to the combination without retraining.


title: Dark matter from non-relativistic embedding gravity

abstract: We study the possibility to explain the mystery of the dark matter through the transition from General Relativity to embedding gravity. This modification of gravity, which was proposed by Regge and Teitelboim, is based on a simple string-inspired geometrical principle: our spacetime is considered here as a 4-dimensional surface in a flat bulk. We show that among the solutions of embedding gravity, there is a class of solutions equivalent to solutions of GR with an additional contribution of non-relativistic embedding matter, which can serve as cold dark matter. We prove the stability of such type of solutions and obtain an explicit form of the equations of motion of embedding matter in the non-relativistic limit. According to them, embedding matter turns out to have a certain self-interaction, which could be useful in the context of solving the core-cusp problem that appears in the LambdaCDM model.


title: Morphological stability of three-dimensional cementite rods in polycrystalline system: A phase-field analysis

abstract: Transformations accompanying shape-instability govern the morphological configuration and distribution of the phases in a microstructure. Owing to the influence of the microstructure on the properties of a material, the stability of three-dimensional rods in a representative polycrystalline system is extensively analysed. A multiphase-field model, which recovers the physical laws and sharp-interface relations, and includes grain boundary diffusion, is adopted to investigate the morphological evolution of the precipitate. Moreover, the efficiency of the numerical approach is ensured by establishing the volume-preserving chemical equilibrium through the incorporation TCFe8 (CALPHAD) data and solving phase-field evolution in the Allen-Cahn framework. The morphological evolution of the rod in the multiphase system exhibits a unique transformation mechanism which is significantly different from the evolution of an isolated finite-structure. It is realised that, in a polycrystalline arrangement, irrespective of the initial rod-size , the shape-change begins with the energy-minimising events at the triple junctions. This early transformation renders a characteristic morphology at the longitudinal ends of the structure, which introduces sufficient driving-force through the curvature-difference for the subsequent morphological changes. The continued mass transfer to the terminations, ultimately, breaks-off the rod into separate entities that are entangled in the grain boundary. With increasing aspect ratio of the rod, it is identified that the source of mass transfer, which turns into the ovulation site, shifts from the centre. This increases the number of fragmentation events and introduces satellite particle. A comprehensive understanding of the transformation kinetics and mechanism governing the morphological evolution of the rods in a polycrystalline system is rendered in this work.


abstract: In the context of Hecke algebras of complex reflection groups, we prove that the generalized Hecke algebras of normalizers of parabolic subgroups are semidirect products, under suitable conditions on the parameters involved in their definition.


title: Real-time Universal Style Transfer on High-resolution Images via Zero-channel Pruning

abstract: Extracting effective deep features to represent content and style information is the key to universal style transfer. Most existing algorithms use VGG19 as the feature extractor, which incurs a high computational cost and impedes real-time style transfer on high-resolution images. In this work, we propose a lightweight alternative architecture - ArtNet, which is based on GoogLeNet, and later pruned by a novel channel pruning method named Zero-channel Pruning specially designed for style transfer approaches. Besides, we propose a theoretically sound sandwich swap transform (S2) module to transfer deep features, which can create a pleasing holistic appearance and good local textures with an improved content preservation ability. By using ArtNet and S2, our method is 2.3 to 107.4 times faster than state-of-the-art approaches. The comprehensive experiments demonstrate that ArtNet can achieve universal, real-time, and high-quality style transfer on high-resolution images simultaneously, (68.03 FPS on 512 times 512 images).


title: Relational Fusion Networks: Graph Convolutional Networks for Road Networks

abstract: The application of machine learning techniques in the setting of road networks holds the potential to facilitate many important intelligent transportation applications. Graph Convolutional Networks (GCNs) are neural networks that are capable of leveraging the structure of a network. However, many implicit assumptions of GCNs do not apply to road networks. We introduce the Relational Fusion Network (RFN), a novel type of GCN designed specifically for road networks. In particular, we propose methods that outperform state-of-the-art GCNs by 21%-40% on two machine learning tasks in road networks. Furthermore, we show that state-of-the-art GCNs may fail to effectively leverage road network structure and may not generalize well to other road networks.


title: From examples to methods: Two cases from the study of units in integral group rings

abstract: In this article, we review the proofs of the first Zassenhaus Conjecture on conjugacy of torsion units in integral group rings for the alternating groups of degree 5 and 6, by Luthar-Passi and Hertweck. We describe how the study of these examples led to the development of two methods -- the HeLP method and the lattice method. We exhibit these methods and summarize some results which were achieved using them. We then apply these methods to the study of the first Zassenhaus conjecture for the alternating group of degree 7 where only one critical case remains open for a full answer. Along the way we show in examples how recently obtained results can be combined with the methods presented and collect open problems some of which could be attacked using these methods.


title: Enhanced Electromechanical Response in Defective Sm and Nd Co-doped Ceria

abstract: Highly oxygen defective cerium oxide, e.g. Gd-doped ceria is a sustainable non-classical electrostrictor with electromechanical properties that are superior to lead-based piezoelectric metal oxides. Here, we report electrostriction in co-doped ceria (Sm, Nd) with a nominally low short-range vacancy-dopant association energy. Such a strategy results in a higher electrostrictive strain coefficient at lower-frequencies, and unexpected electromechanical strain saturation and relaxation effects. These outcomes support the hypothesis that electrostriction is strongly influenced by the local environment of oxygen vacancy and by the ionic migration blocking factors built-in the microstructure.


title: Two steps at a time -- taking GAN training in stride with Tseng's method

abstract: Motivated by the training of Generative Adversarial Networks (GANs), we study methods for solving minimax problems with additional nonsmooth regularizers. We do so by employing \emph{monotone operator} theory, in particular the \emph{Forward-Backward-Forward (FBF)} method, which avoids the known issue of limit cycling by correcting each update by a second gradient evaluation. Furthermore, we propose a seemingly new scheme which recycles old gradients to mitigate the additional computational cost. In doing so we rediscover a known method, related to \emph{Optimistic Gradient Descent Ascent (OGDA)}. For both schemes we prove novel convergence rates for convex-concave minimax problems via a unifying approach. The derived error bounds are in terms of the gap function for the ergodic iterates. For the deterministic and the stochastic problem we show a convergence rate of $\mathcal{O}(1/k)$ and $\mathcal{O}(1/\sqrt{k})$, respectively. We complement our theoretical results with empirical improvements in the training of Wasserstein GANs on the CIFAR10 dataset.


title: Deep Learning based Segmentation of Fish in Noisy Forward Looking MBES Images

abstract: In this work, we investigate a Deep Learning (DL) approach to fish segmentation in a small dataset of noisy low-resolution images generated by a forward-looking multibeam echosounder (MBES). We build on recent advances in DL and Convolutional Neural Networks (CNNs) for semantic segmentation and demonstrate an end-to-end approach for a fish/non-fish probability prediction for all range-azimuth positions projected by an imaging sonar. We use self-collected datasets from the Danish Sound and the Faroe Islands to train and test our model and present techniques to obtain satisfying performance and generalization even with a low-volume dataset. We show that our model proves the desired performance and has learned to harness the importance of semantic context and take this into account to separate noise and non-targets from real targets. Furthermore, we present techniques to deploy models on low-cost embedded platforms to obtain higher performance fit for edge environments - where compute and power are restricted by size/cost - for testing and prototyping.


title: The SPPD System for Schema Guided Dialogue State Tracking Challenge

abstract: This paper introduces one of our group's work on the Dialog System Technology Challenges 8 (DSTC8), the SPPD system for Schema Guided dialogue state tracking challenge. This challenge, named as Track 4 in DSTC8, provides a brand new and challenging dataset for developing scalable multi-domain dialogue state tracking algorithms for real world dialogue systems. We propose a zero-shot dialogue state tracking system for this task. The key components of the system is a number of BERT based zero-shot NLU models that can effectively capture semantic relations between natural language descriptions of services' schemas and utterances from dialogue turns. We also propose some strategies to make the system better to exploit information from longer dialogue history and to overcome the slot carryover problem for multi-domain dialogues. The experimental results show that the proposed system achieves a significant improvement compared with the baseline system.


title: The connector for Double Ohno relation

abstract: In this paper, we introduce a new connector which generalizes the connector found by the third author and Yamamoto. The new connector gives a direct proof of the double Ohno relation recently proved by the first author, the second author, Murahara, and Onozuka. Furthermore, we obtain a simultaneous generalization of the ($q$-)Ohno relation and the ($q$-)double Ohno relation.


title: Spin texture driven spintronic enhancement at the LaAlO$_3$/SrTiO$_3$ interface

abstract: Recent experiments have shown that transition metal oxide heterostructures such as SrTiO$_3$-based interfaces, exhibit large, gate tunable, spintronic responses. Our theoretical study showcases key factors controlling the magnitude of the conversion, measured by the inverse Edelstein and Spin Hall effects, and their evolution with respect to an electrostatic doping. The origin of the response can be linked to spin-orbital textures. These stem from the broken inversion symmetry at the interface which produces an unusual form of the interfacial spin-orbit coupling, provided a bulk atomic spin-orbit contribution is present. The amplitudes and variations of these observables are direct consequences of the multi-orbital subband structure of these materials, featuring avoided and topological crossings. Interband contributions to the coefficients lead to enhanced responses and non-monotonic evolution with doping. We highlight these effects using analytical approaches and low energy modeling.


title: Ellipticity-dependent sequential over-barrier ionization of cold rubidium

abstract: We perform high-resolution measurements of momentum distribution on Rb$^{n+}$ recoil ions up to charge state $n=4$, where laser-cooled rubidium atoms are ionized by femtosecond elliptically polarized lasers with the pulse duration of 35 fs and the intensity of 3.3$\times$10$^{15}$ W/cm$^2$ in the over-barrier ionization (OBI) regime. The momentum distributions of the recoil ions are found to exhibit multi-band structures as the ellipticity varies from the linear to circular polarizations. The origin of these band structures can be explained quantitatively by the classical OBI model and dedicated classical trajectory Monte Carlo simulations with Heisenberg potential. Specifically, with back analysis of the classical trajectories, we reveal the ionization time and the OBI geometry of the sequentially released electrons, disentangling the mechanisms behind the tilted angle of the band structures. These results indicate that the classical treatment can describe the strong-field multiple ionization processes of alkali atoms.


title: On stable polynomial mappings

abstract: For given natural numbers $d_1,d_2$ let $\Omega_2(d_1,d_2)$ be the set off all polynomial mappings $F=(f,g):\mathbb{C}^2\to\mathbb{C}^2$ such that deg $f\le d_1$, deg $g\le d_2$. We say that the mapping $F$ is topologically stable in $\Omega_2(d_1,d_2)$ if for every small deformation $F_t\in \Omega_2(d_1,d_2)$ the mapping $F_t$ is topologically equivalent to the mapping $F$. The aim of this paper is to characterize the topologically stable mappings in $\Omega_2(d_1,d_2)$. In particular we show how to effectively determine a member of $\Omega_2(d_1,d_2)$ with generic topology.


title: Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs

abstract: Neural networks are commonly used in safety-critical real-world applications. Unfortunately, the predicted output is often highly sensitive to small, and possibly imperceptible, changes to the input data. Proving that either no such adversarial examples exist, or providing a concrete instance, is therefore crucial to ensure safe applications. As enumerating and testing all potential adversarial examples is computationally infeasible, verification techniques have been developed to provide mathematically sound proofs of their absence using overestimations of the network activations. We propose an improved technique for computing tight upper and lower bounds of these node values, based on increased flexibility gained by computing both bounds independently of each other. Furthermore, we gain an additional improvement by re-implementing part of the original state-of-the-art software "Neurify", leading to a faster analysis. Combined, these adaptations reduce the necessary runtime by up to 94%, and allow a successful search for networks and inputs that were previously too complex. We provide proofs for tight upper and lower bounds on max-pooling layers in convolutional networks. To ensure widespread usability, we open source our implementation "Debona", featuring both the implementation specific enhancements as well as the refined boundary computation for faster and more exact~results.


title: A subcell-enriched Galerkin method for advection problems

abstract: In this work, we introduce a generalization of the enriched Galerkin (EG) method. The key feature of our scheme is an adaptive two-mesh approach that, in addition to the standard enrichment of a conforming finite element discretization via discontinuous degrees of freedom, allows to subdivide selected (e.g. troubled) mesh cells in a non-conforming fashion and to use further discontinuous enrichment on this finer submesh. We prove stability and sharp a priori error estimates for a linear advection equation by using a specially tailored projection and conducting some parts of a standard convergence analysis for both meshes. By allowing an arbitrary degree of enrichment on both, the coarse and the fine mesh (also including the case of no enrichment), our analysis technique is very general in the sense that our results cover the range from the standard continuous finite element method to the standard discontinuous Galerkin (DG) method with (or without) local subcell enrichment. Numerical experiments confirm our analytical results and indicate good robustness of the proposed method.


title: Fine-Tuning DARTS for Image Classification

abstract: Neural Architecture Search (NAS) has gained attraction due to superior classification performance. Differential Architecture Search (DARTS) is a computationally light method. To limit computational resources DARTS makes numerous approximations. These approximations result in inferior performance. We propose to fine-tune DARTS using fixed operations as they are independent of these approximations. Our method offers a good trade-off between the number of parameters and classification accuracy. Our approach improves the top-1 accuracy on Fashion-MNIST, CompCars, and MIO-TCD datasets by 0.56%, 0.50%, and 0.39%, respectively compared to the state-of-the-art approaches. Our approach performs better than DARTS, improving the accuracy by 0.28%, 1.64%, 0.34%, 4.5%, and 3.27% compared to DARTS, on CIFAR-10, CIFAR-100, Fashion-MNIST, CompCars, and MIO-TCD datasets, respectively.


title: Improved Deep Point Cloud Geometry Compression

abstract: Point clouds have been recognized as a crucial data structure for 3D content and are essential in a number of applications such as virtual and mixed reality, autonomous driving, cultural heritage, etc. In this paper, we propose a set of contributions to improve deep point cloud compression, i.e.: using a scale hyperprior model for entropy coding; employing deeper transforms; a different balancing weight in the focal loss; optimal thresholding for decoding; and sequential model training. In addition, we present an extensive ablation study on the impact of each of these factors, in order to provide a better understanding about why they improve RD performance. An optimal combination of the proposed improvements achieves BD-PSNR gains over G-PCC trisoup and octree of 5.50 (6.48) dB and 6.84 (5.95) dB, respectively, when using the point-to-point (point-to-plane) metric. Code is available at https://github.com/mauriceqch/pcc_geo_cnn_v2 .


title: Quantum Ground States from Reinforcement Learning

abstract: Finding the ground state of a quantum mechanical system can be formulated as an optimal control problem. In this formulation, the drift of the optimally controlled process is chosen to match the distribution of paths in the Feynman--Kac (FK) representation of the solution of the imaginary time Schr\"odinger equation. This provides a variational principle that can be used for reinforcement learning of a neural representation of the drift. Our approach is a drop-in replacement for path integral Monte Carlo, learning an optimal importance sampler for the FK trajectories. We demonstrate the applicability of our approach to several problems of one-, two-, and many-particle physics.


title: Effect of Cold Sintering Process (CSP) on the Electro-Chemo-Mechanical Properties of Gd-doped Ceria (GDC)

abstract: In this report, the effect of the cold sintering process (CSP) on the electro-chemo-mechanical properties of 10 mol% Gd-doped ceria (GDC) is investigated. High purity nanoscale GDC powder is sintered via a cold sintering process (CSP) in pure water followed by post-annealing at 1000 {\deg}C. The resultant CSP ceramics exhibits high relative density (~92%) with an ultrafine grain size of ~100 nm. This sample illustrates comparable electrochemical properties at intermediate/high temperatures and electromechanical properties at room temperature to the sample prepared via conventional firing, i.e. sintering in the air at 1450 {\deg}C. Moreover, a large creep constant as well as a low elastic modulus and hardness are also observed in the CSP sample.


title: Probabilistic Decoupling of Labels in Classification

abstract: In this paper we develop a principled, probabilistic, unified approach to non-standard classification tasks, such as semi-supervised, positive-unlabelled, multi-positive-unlabelled and noisy-label learning. We train a classifier on the given labels to predict the label-distribution. We then infer the underlying class-distributions by variationally optimizing a model of label-class transitions.


title: Random potentials for Markov processes

abstract: The paper is devoted to the integral functionals $\int_0^\infty f(X_t)\,{\mathrm{d}t}$ of Markov processes in $\X$ in the case $d\ge 3$. It is established that such functionals can be presented as the integrals $\int_{\X} f(y) \G(x, \mathrm{d}y, \omega)$ with vector valued random measure $\G(x, \mathrm{d}y, \omega)$. Some examples such as compound Poisson processes, Brownian motion and diffusions are considered.


title: Pseudo Landau levels, negative strain resistivity, and enhanced thermopower in twisted graphene nanoribbons

abstract: As a canonical response to the applied magnetic field, the electronic states of a metal are fundamentally reorganized into Landau levels. In Dirac metals, Landau levels can be expected without magnetic fields, provided that an inhomogeneous strain is applied to spatially modulate electron hoppings in a similar way as the Aharonov-Bohm phase. We here predict that a twisted zigzag nanoribbon of graphene exhibits strain-induced pseudo Landau levels of unexplored but analytically solvable dispersions at low energies. The presence of such dispersive pseudo Landau levels results in a negative strain resistivity characterizing the $(1+1)$-dimensional chiral anomaly if partially filled and can greatly enhance the thermopower when fully filled.


title: Multi-Precision Policy Enforced Training (MuPPET): A precision-switching strategy for quantised fixed-point training of CNNs

abstract: Large-scale convolutional neural networks (CNNs) suffer from very long training times, spanning from hours to weeks, limiting the productivity and experimentation of deep learning practitioners. As networks grow in size and complexity, training time can be reduced through low-precision data representations and computations. However, in doing so the final accuracy suffers due to the problem of vanishing gradients. Existing state-of-the-art methods combat this issue by means of a mixed-precision approach utilising two different precision levels, FP32 (32-bit floating-point) and FP16/FP8 (16-/8-bit floating-point), leveraging the hardware support of recent GPU architectures for FP16 operations to obtain performance gains. This work pushes the boundary of quantised training by employing a multilevel optimisation approach that utilises multiple precisions including low-precision fixed-point representations. The novel training strategy, MuPPET, combines the use of multiple number representation regimes together with a precision-switching mechanism that decides at run time the transition point between precision regimes. Overall, the proposed strategy tailors the training process to the hardware-level capabilities of the target hardware architecture and yields improvements in training time and energy efficiency compared to state-of-the-art approaches. Applying MuPPET on the training of AlexNet, ResNet18 and GoogLeNet on ImageNet (ILSVRC12) and targeting an NVIDIA Turing GPU, MuPPET achieves the same accuracy as standard full-precision training with training-time speedup of up to 1.84$\times$ and an average speedup of 1.58$\times$ across the networks.


title: Multi-Objective CNN Based Algorithm for SAR Despeckling

abstract: Deep learning (DL) in remote sensing has nowadays become an effective operative tool: it is largely used in applications such as change detection, image restoration, segmentation, detection and classification. With reference to synthetic aperture radar (SAR) domain the application of DL techniques is not straightforward due to non trivial interpretation of SAR images, specially caused by the presence of speckle. Several deep learning solutions for SAR despeckling have been proposed in the last few years. Most of these solutions focus on the definition of different network architectures with similar cost functions not involving SAR image properties. In this paper, a convolutional neural network (CNN) with a multi-objective cost function taking care of spatial and statistical properties of the SAR image is proposed. This is achieved by the definition of a peculiar loss function obtained by the weighted combination of three different terms. Each of this term is dedicated mainly to one of the following SAR image characteristics: spatial details, speckle statistical properties and strong scatterers identification. Their combination allows to balance these effects. Moreover, a specifically designed architecture is proposed for effectively extract distinctive features within the considered framework. Experiments on simulated and real SAR images show the accuracy of the proposed method compared to the State-of-Art despeckling algorithms, both from quantitative and qualitative point of view. The importance of considering such SAR properties in the cost function is crucial for a correct noise rejection and details preservation in different underlined scenarios, such as homogeneous, heterogeneous and extremely heterogeneous.


title: Mg2+ ion effect on stability of double-stranded popynucleotide formed by polyriboinosinic and polyribocytidilic chains

abstract: Mg2+ effect on the thermal stability of the double-stranded polynucleotide polyIpolyC (IC) under conditions close to physiological ones (0.1M Na+, pH7) was studied by the differential UV spectroscopy. The initial increase of the ion concentration ([Mg2+]) leads to the increase of the melting temperature (Tm) and to the decrease of the absorption hyperchromicity value that is caused by the helix-coil transition (hmax). Mg2+ interacts to p-electrons of hypoxanthine or cytosine rings (cation-p-interaction). When [Mg2+] reaches a critical value of about 10-4 M, Tm decreases and hmax increase to values close to one observed in the absence of magnesium. It is supposed that at [Mg2+]=[Mg2+]cr IC transits into a new structural state. With [Mg2+>[Mg2+]cr Tm increases again and hmax slowly decreases. Key words: polynucleotides, thermal stability, metal ions.


title: Mathematical and Numerical Methods for Non-linear Beam Dynamics

abstract: One of the most severe limitations in particle accelerators and beam transport are non-linear effects. Techniques to study and possibly suppress some of these detrimental effects exist, the most popular are based on particle tracking and its analysis. This lecture is an introduction to the topic, shows some of the problems and presents several contemporary tools to treat them using a systematic and consistent approach.


title: Standing wave solutions in Born-Infeld theory

abstract: We study standing-wave solutions of Born-Infeld electrodynamics, with nonzero electromagnetic field in a region between two parallel conducting plates. We consider the simplest case which occurs when the vector potential describing the electromagnetic field has only one nonzero component depending on time and on the coordinate perpendicular to the plates. The problem then reduces to solving the scalar Born-Infeld equation, a nonlinear partial differential equation in 1+1 dimensions. We apply two alternative methods to obtain standing-wave solutions to the Born-Infeld equation: an iterative method, and a ``minimal surface'' method. We also study standing wave solutions in a uniform constant magnetic field background.


title: Quantization of Acoustic Model Parameters in Automatic Speech Recognition Framework

abstract: State-of-the-art hybrid automatic speech recognition (ASR) system exploits deep neural network (DNN) based acoustic models (AM) trained with Lattice Free-Maximum Mutual Information (LF-MMI) criterion and n-gram language models. The AMs typically have millions of parameters and require significant parameter reduction to operate on embedded devices. The impact of parameter quantization on the overall word recognition performance is studied in this paper. Following approaches are presented: (i) AM trained in Kaldi framework with conventional factorized TDNN (TDNN-F) architecture, (ii) the TDNN AM built in Kaldi loaded into the PyTorch toolkit using a C++ wrapper for post-training quantization, (iii) quantization-aware training in PyTorch for Kaldi TDNN model, (iv) quantization-aware training in Kaldi. Results obtained on standard Librispeech setup provide an interesting overview of recognition accuracy w.r.t. applied quantization scheme.


title: Nonabelian Hodge theory for Fujiki class $\mathcal C$ manifolds

abstract: The nonabelian Hodge correspondence (Corlette-Simpson correspondence), between the polystable Higgs bundles with vanishing Chern classes on a compact K\"ahler manifold $X$ and the completely reducible flat connections on $X$, is extended to the Fujiki class $\mathcal C$ manifolds.


title: Magnetic Perturbations of Anyonic and Aharonov-Bohm Schr\"{o}dinger Operators

abstract: We study the Hamiltonian describing two anyons moving in a plane in presence of an external magnetic field and identify a one-parameter family of self-adjoint realizations of the corresponding Schr\"{o}dinger operator. We also discuss the associated model describing a quantum particle immersed in a magnetic field with a local Aharonov-Bohm singularity. For a special class of magnetic potentials, we provide a complete classification of all possible self-adjoint extensions.