title: Fundamental Group Schemes of some Quot Schemes on a smooth projective curve

abstract: Let $k$ be an algebraically closed field. Let $C$ be an irreducible smooth projective curve over $k$. Let $E$ be a locally free sheaf on $C$ of rank $\geq 2$. Fix an integer $d \geq 2$. Let $\mathcal{Q}$ denote the Quot scheme parameterizing torsion quotients of $E$ of degree $d$. In this article we compute the $S$-fundamental group scheme of $\mathcal{Q}$.


title: Second order formulation of boundary value problems in gradient elasticity

abstract: A new formulation of boundary value problems in gradient elasticity is presented in this work. The main outcome is the construction of partial differential systems of second order, which are typically equivalent with the well known fourth order equation of gradient elasticity. Two alternative methodologies are developed and presented in the present work. The first approach is based on the framework of the pseudo-differential calculus and exploits the special characteristics of this approach to deal with the non local behavior of gradient elasticity. The second implementation is purely differential and is based on the augmentation of the independent variables of the problem. Under this concept, the constitutive equations of gradient elasticity become part of the differential system itself and the whole framework is reminiscent of the transformation of the wave equation to a first order differential system. Crucial issues like existence, uniqueness and stability of the corresponding initial boundary value problems are also encountered via the new concepts.


title: Dynamical models of spheroidal multi-component stellar systems

abstract: We present a significantly improved version of our numerical code JASMINE, that can now solve the Jeans equations for axisymmetric models of stellar systems, composed of an arbitrary number of stellar populations, a Dark Matter halo, and a central Black Hole. The stellar components can have different structural (density profile, flattening, mass, scale length), dynamical (rotational support, velocity dispersion anisotropy), and population (age, metallicity, Initial Mass Function, mass-to-light ratio) properties. These models, when combined with observations, will allow to investigate important issues, such as quantifying the systematic effects of IMF variations, of mass-to-light ratio gradients, and of different stellar kinematic components (e.g. counter rotating disks, kinematically decoupled cores) on luminosity-weighted properties. The developed analytical and numerical framework aims at modeling Early-Type Galaxies, but it can also be applied to dwarf Spheroidal galaxies and Globular Clusters.


title: Majorana Fermions in Magnetic Chains

abstract: Majorana fermions have recently garnered a great attention outside the field of particle physics, in condensed matter physics. In contrast to their particle physics counterparts, Majorana fermions are zero energy, chargeless, spinless, composite quasiparticles, residing at the boundaries of so-called topological superconductors. Furthermore, in opposition to any particles in the standard model, Majorana fermions in solid-state systems obey non-Abelian exchange statistics that make them attractive candidates for decoherence-free implementations of quantum computers. In this review, we report on the recent advances to realize synthetic topological superconductors supporting Majorana fermions with an emphasis on chains of magnetic impurities on the surface of superconductors. After outlining the theoretical underpinning responsible for the formation of Majorana fermions, we report on the subsequent experimental efforts to build topological superconductors and the resulting evidence in favor of Majorana fermions, focusing on scanning tunneling microscopy and the hunt for zero-bias peaks in the measured current. We conclude by summarizing the open questions in the field and propose possible experimental measurements to answer them.


title: Jointly Learning to Detect Emotions and Predict Facebook Reactions

abstract: The growing ubiquity of Social Media data offers an attractive perspective for improving the quality of machine learning-based models in several fields, ranging from Computer Vision to Natural Language Processing. In this paper we focus on Facebook posts paired with reactions of multiple users, and we investigate their relationships with classes of emotions that are typically considered in the task of emotion detection. We are inspired by the idea of introducing a connection between reactions and emotions by means of First-Order Logic formulas, and we propose an end-to-end neural model that is able to jointly learn to detect emotions and predict Facebook reactions in a multi-task environment, where the logic formulas are converted into polynomial constraints. Our model is trained using a large collection of unsupervised texts together with data labeled with emotion classes and Facebook posts that include reactions. An extended experimental analysis that leverages a large collection of Facebook posts shows that the tasks of emotion classification and reaction prediction can both benefit from their interaction.


title: Search for eta mesic 3He with the WASA-at-COSY facility in the pd-> 3He 2gamma and pd-> 3He 6gamma reactions

abstract: We report on the experimental search for the bound state of an $\eta$ meson and $^{3}\hspace{-0.03cm}\mbox{He}$ nucleus performed using the WASA-at-COSY detector setup. In order to search for the $\eta$-mesic nucleus decay, the $pd\rightarrow$ $^{3}\hspace{-0.03cm}\mbox{He} 2\gamma$ and $pd\rightarrow$ $^{3}\hspace{-0.03cm}\mbox{He} 6\gamma$ channels have been analysed. These reactions manifest the direct decay of $\eta$ meson bound in $^{3}\hspace{-0.03cm}\mbox{He}$ nucleus. This non-mesonic decay channel has been considered for the first time. When taking into account only statistical errors, the obtained excitation functions reveal a slight indication for a possible bound state signal corresponding to an $^3$He-$\eta$ nucleus width $\Gamma$ above 20 MeV and binding energy $B_s$ between 0 and 15 MeV. However, the determined cross sections are consistent with zero in the range of the systematic uncertainty. Therefore, as final result we estimate only the upper limit for the cross section of the $\eta$-mesic $^{3}\hspace{-0.03cm}\mbox{He}$ nucleus formation followed by the $\eta$ meson decay which varies between $2$ nb and $15$ nb depending on possible bound state parameters.


title: Resonant absorption in expanding coronal magnetic flux tubes with uniform density

abstract: Aims. We investigate the transfer of energy between a standing kink mode and azimuthal Alfven waves within an expanding flux tube. We consider the process of resonant absorption in a loop with a non-uniform Alfven frequency profile but in the absence of a radial density gradient. Methods. Using the MHD code, Lare3d, we model an oscillating magnetic flux tube that expands radially with height. An initially straight loop structure with a magnetic field enhancement is relaxed towards a force-free state before a standing kink mode is introduced. Results. We demonstrate that the transverse gradient in Alfven frequency required for the existence of resonant field lines can be associated with the expansion of a high field-strength flux tube from concentrated flux patches. This allows for the conversion of energy between wave modes even in the absence of the density profile typically assumed in wave heating models. As with standing modes in straight flux tubes, small scales are dominated by the vorticity at the loop apex and by currents at the foot points. The azimuthal wave exhibits the structure of the expanded flux tube and is therefore associated with smaller length scales close to the foot points of the flux tube. Conclusions. Resonant absorption can proceed throughout the corona, even in the absence of dense loop structures. The flux tube and MHD waves considered are difficult to observe and our model highlights how estimating hidden wave power within the solar atmosphere can be problematic. We highlight that, for standing modes, the global properties of field lines are important for resonant absorption and coronal conditions at a single altitude will not fully determine the nature of MHD resonances. We provide a new model in partial response to the criticism that wave heating models cannot self-consistently generate or sustain the density profile upon which they typically rely.


title: Wildly ramified power series with large multiplicity

abstract: In this paper we consider wildly ramified power series, \emph{i.e.}, power series defined over a field of positive characteristic, fixing the origin, where it is tangent to the identity. In this setting we introduce a new invariant under change of coordinates called the \emph{second residue fixed point index}, and provide a closed formula for it. As the name suggests this invariant is closely related to the residue fixed point index, and they coincide in the case that the power series have small multiplicity. Finally, we characterize power series with large multiplicity having the smallest possible multiplicity at the origin under iteration, in terms of this new invariant.


title: PolSAR Image Classification Based on Dilated Convolution and Pixel-Refining Parallel Mapping network in the Complex Domain

abstract: Efficient and accurate polarimetric synthetic aperture radar (PolSAR) image classification with a limited number of prior labels is always full of challenges. For general supervised deep learning classification algorithms, the pixel-by-pixel algorithm achieves precise yet inefficient classification with a small number of labeled pixels, whereas the pixel mapping algorithm achieves efficient yet edge-rough classification with more prior labels required. To take efficiency, accuracy and prior labels into account, we propose a novel pixel-refining parallel mapping network in the complex domain named CRPM-Net and the corresponding training algorithm for PolSAR image classification. CRPM-Net consists of two parallel sub-networks: a) A transfer dilated convolution mapping network in the complex domain (C-Dilated CNN) activated by a complex cross-convolution neural network (Cs-CNN), which is aiming at precise localization, high efficiency and the full use of phase information; b) A complex domain encoder-decoder network connected parallelly with C-Dilated CNN, which is to extract more contextual semantic features. Finally, we design a two-step algorithm to train the Cs-CNN and CRPM-Net with a small number of labeled pixels for higher accuracy by refining misclassified labeled pixels. We verify the proposed method on AIRSAR and E-SAR datasets. The experimental results demonstrate that CRPM-Net achieves the best classification results and substantially outperforms some latest state-of-the-art approaches in both efficiency and accuracy for PolSAR image classification. The source code and trained models for CRPM-Net is available at: https://github.com/PROoshio/CRPM-Net.


title: The non-rational limit of D-series minimal models

abstract: We study the limit of D-series minimal models when the central charge tends to a generic irrational value $c\in (-\infty, 1)$. We find that the limit theory's diagonal three-point structure constant differs from that of Liouville theory by a distribution factor, which is given by a divergent Verlinde formula. Nevertheless, correlation functions that involve both non-diagonal and diagonal fields are smooth functions of the diagonal fields' conformal dimensions. The limit theory is a non-trivial example of a non-diagonal, non-rational, solved two-dimensional conformal field theory.


title: Suppression of quarkonia in PbPb collisions at $\sqrt{s_{NN}}$ = 5.02 TeV

abstract: We study different processes responsible for the modification of quarkonia yields in the medium produced in PbPb collisions at $\sqrt{s_{NN}}$ = 5.02 TeV. The quarkonia and heavy flavour cross sections are estimated using the measurements in pp collisions at LHC energies and shadowing corrections are obtained using the EPS09 parametrizations. A kinetic model is used which incorporates quarkonia suppression inside the Quark Gluon Plasma (QGP), suppression due to hadronic comovers, and regeneration from recombination of heavy quark pairs. The quarkonia dissociation cross section due to gluon collisions, including both color-electric dipole and color-magnetic dipole transitions, has been employed. The regeneration rate is obtained using the principle of detailed balance. The effect of these processes on the nuclear modification factors for both $\Jpsi$ and $\Upsilon$ in different ranges of transverse momentum $\pT$ and rapidity has been studied for PbPb collisions at $\sNN =$ 5.02 TeV. The calculations are compared with the available results from LHC experiments. Both the suppression and regeneration due to a QGP are effective in the low and intermediate $\pT$ range. The large observed suppression of $\Jpsi$ at $\pT~>$ 10 GeV/$c$ is larger than the suppression expected due to gluon dissociation.


title: Continuum model for relaxed twisted bilayer graphenes and moir\'{e} electron-phonon interaction

abstract: We construct an analytic continuum model to describe the electronic structure and the electron-phonon interaction in twisted bilayer graphenes with arbitrary lattice deformation. Starting from the tight-binding model, we derive the interlayer Hamiltonian in the presence of general lattice displacement, and obtain a long-wavelength continuum expression for smooth deformation. We show that the continuum model correctly describes the band structures of the lattice-relaxed twisted bilayer graphenes. We apply the formula to the phonon vibration, and derive an explicit expression of the electron-phonon matrix elements between the moir\'{e} band states and the moir\'{e} phonon modes. By numerical calculation, we find that the electron-phonon coupling and phonon mediated electron-electron interaction are significantly enhanced in low twist angles due to the superlattice hybridization.


title: High-probability bounds for the reconstruction error of PCA

abstract: We derive high-probability bounds for the reconstruction error of PCA in infinite dimensions. We apply our bounds in the case that the eigenvalues of the covariance operator satisfy polynomial or exponential upper bounds.


title: Forward and Backward Information Retention for Accurate Binary Neural Networks

abstract: Weight and activation binarization is an effective approach to deep neural network compression and can accelerate the inference by leveraging bitwise operations. Although many binarization methods have improved the accuracy of the model by minimizing the quantization error in forward propagation, there remains a noticeable performance gap between the binarized model and the full-precision one. Our empirical study indicates that the quantization brings information loss in both forward and backward propagation, which is the bottleneck of training accurate binary neural networks. To address these issues, we propose an Information Retention Network (IR-Net) to retain the information that consists in the forward activations and backward gradients. IR-Net mainly relies on two technical contributions: (1) Libra Parameter Binarization (Libra-PB): simultaneously minimizing both quantization error and information loss of parameters by balanced and standardized weights in forward propagation; (2) Error Decay Estimator (EDE): minimizing the information loss of gradients by gradually approximating the sign function in backward propagation, jointly considering the updating ability and accurate gradients. We are the first to investigate both forward and backward processes of binary networks from the unified information perspective, which provides new insight into the mechanism of network binarization. Comprehensive experiments with various network structures on CIFAR-10 and ImageNet datasets manifest that the proposed IR-Net can consistently outperform state-of-the-art quantization methods.


title: On the component structure of one-loop effective actions in $6D$, ${\cal N}=(1,0)$ and ${\cal N}=(1,1)$ supersymmetric gauge theories

abstract: We study the six-dimensional ${\cal N}=(1,0)$ and ${\cal N}=(1,1)$ supersymmetric Yang-Mills (SYM) theories in the component formulation. The one-loop divergencies of effective action are calculated. The leading one-loop low-energy contributions to bosonic sector of effective action are found. It is explicitly demonstrated that the contribution to effective potential for the constant background scalar fields are absent in the ${\cal N}=(1,1)$ SYM theory.


title: Offline identification of surgical deviations in laparoscopic rectopexy

abstract: Objective: A median of 14.4% of patient undergone at least one adverse event during surgery and a third of them are preventable. The occurrence of adverse events forces surgeons to implement corrective strategies and, thus, deviate from the standard surgical process. Therefore, it is clear that the automatic identification of adverse events is a major challenge for patient safety. In this paper, we have proposed a method enabling us to identify such deviations. We have focused on identifying surgeons' deviations from standard surgical processes due to surgical events rather than anatomic specificities. This is particularly challenging, given the high variability in typical surgical procedure workflows. Methods: We have introduced a new approach designed to automatically detect and distinguish surgical process deviations based on multi-dimensional non-linear temporal scaling with a hidden semi-Markov model using manual annotation of surgical processes. The approach was then evaluated using cross-validation. Results: The best results have over 90% accuracy. Recall and precision were superior at 70%. We have provided a detailed analysis of the incorrectly-detected observations. Conclusion: Multi-dimensional non-linear temporal scaling with a hidden semi-Markov model provides promising results for detecting deviations. Our error analysis of the incorrectly-detected observations offers different leads in order to further improve our method. Significance: Our method demonstrated the feasibility of automatically detecting surgical deviations that could be implemented for both skill analysis and developing situation awareness-based computer-assisted surgical systems.


title: Highlights from the Pierre Auger Observatory (ICRC2019)

abstract: The Pierre Auger Observatory has collected data for more than 15 years, accumulating the world's largest exposure to ultrahigh energy cosmic rays (UHECRs). The energy spectrum of the UHECRs has been measured up to $10^{20.2}$ eV, and their mass composition has been studied exploiting both the fluorescence and surface detectors of the Observatory. The analysis of the UHECRs arrival directions allowed us to measure their large-scale anisotropies over more than three decades in energy. The searches for intermediate-scale anisotropies are being performed with an exposure now reaching approximately $100,000$ km$^2$sr yr. For the first time, the fluctuations in the number of muons in inclined air showers above $4 \times 10^{18}$ eV have been obtained, while more information in the energy range $10^{17.5}-10^{18.3}$ eV comes from the direct measure of muons with the underground scintillators of the Observatory. Moreover, we discuss the limits obtained on the fluxes of neutral particles and the results of the searches for UHE neutrinos from transient astrophysical sources. The new perspectives opened by the current results call for an upgrade of the Observatory, whose main aim is the collection of new information about the primary mass of the highest energy cosmic rays to understand the origin of the observed flux suppression. The progress of the upgrade of the Observatory, AugerPrime, is presented and discussed.


title: A Song of Shocks and Dynamo: Numerical Studies of a Galaxy Cluster Merger in the HIMAG Project

abstract: With ENZO simulations run on the J\"ulich supercomputers, we have investigated the evolution of magnetic fields in the largest cosmic structures (namely galaxy clusters and filaments connecting them) with unprecedented dynamical range. These simulations revealed the full development of the small-scale dynamo in Eulerian cosmological magneto-hydrodynamical simulations. The turbulent motions developed during the formation of clusters are energetic enough to foster the growth of magnetic fields by several orders of magnitude, starting from weak magnetic fields up strengths of $\sim \rm \mu G$ as observed. Furthermore, shock waves are launched during cluster formation and they are able to accelerate cosmic-ray electrons, that emit in the radio wavelengths. Radio observations of this emission provide information on the local magnetic field strength. We have incorporated, for the first time, the cooling of cosmic-ray electrons when modelling this emission. In this contribution, we present our advances in modelling these physical processes. Here, we mostly focus on the most interesting object in our sample of galaxy clusters, which shows the complexity of magnetic fields and the potential of existing and future multi-wavelengths observations in the study of the weakly collisional plasma on $\sim$ Megaparsecs scales.


title: Structural Dynamics of incommensurate Charge-Density Waves tracked by Ultrafast Low-Energy Electron Diffraction

abstract: We study the non-equilibrium structural dynamics of the incommensurate and nearly-commensurate charge-density wave phases in 1T-TaS$_2$. Employing ultrafast low-energy electron diffraction (ULEED) with 1 ps temporal resolution, we investigate the ultrafast quench and recovery of the CDW-coupled periodic lattice distortion. Sequential structural relaxation processes are observed by tracking the intensities of main lattice as well as satellite diffraction peaks as well as the diffuse scattering background. Comparing distinct groups of diffraction peaks, we disentangle the ultrafast quench of the PLD amplitude from phonon-related reductions of the diffraction intensity. Fluence-dependent relaxation cycles reveal a long-lived partial suppression of the order parameter for up to 60 picoseconds, far outlasting the initial amplitude recovery and electron-phonon scattering times. This delayed return to a quasi-thermal level is controlled by lattice thermalization and coincides with the population of zone-center acoustic modes, as evidenced by a structured diffuse background. The long-lived non-equilibrium order parameter suppression suggests hot populations of CDW-coupled lattice modes. Finally, a broadening of the superlattice peaks is observed at high fluences, pointing to a nonlinear generation of phase fluctuations.


title: Unstable blueprints can be shared

abstract: This expository note illustrates toric perturbation and biased pairing theory to show that Artinian reductions of face rings of $2$-spheres that do not satisfy the Lefschetz property can be cut along a flat equator. This complements classical work of Bricard and Connelly, and exhibits a fundamental symmetry in non-rigid triangulations of spheres.


title: A Hyperspectral Microscope based on an Ultrastable Common-Path Interferometer

abstract: We introduce a wide field hyperspectral microscope using the Fourier-transform approach. The interferometer is based on the Translating-Wedge-Based Identical Pulses eNcoding System (TWINS) [Opt. Lett. 37, 3027 (2012)], a common-path birefringent interferometer which combines compactness, intrinsic interferometric delay precision, long-term stability and insensitivity to vibrations. We describe three different implementations of our system: two prototypes designed to test different optical schemes and an add-on for a commercial microscope. We show high-quality spectral microscopy of the fluorescence from stained cells and powders of inorganic pigments, demonstrating that the device is suited to biology and materials science. We demonstrate the acquisition of a 1Mpixel hyperspectral image in 75 seconds in the spectral range from 400 to 1100 nm. We also introduce an acquisition method which synthesizes a tunable spectral filter, providing band-passed images by the measurement of only two maps.


abstract: The $\epsilon$-regime of dilaton chiral perturbation theory is introduced. We compute the dilaton mass, the chiral condensate and the topological susceptibility in the $\epsilon$-regime, as a function of the fermion mass. The microscopic spectral density of the Dirac operator is obtained from dilaton chiral perturbation theory. Our main result is that the chiral condensate and the spectral density are related to their counterparts from ordinary chiral perturbation theory via a simple scaling relation. This relation originates from the mass dependence of the dilaton potential, and is valid in both the $\epsilon$-regime and the $p$-regime. In the $\epsilon$-regime, moreover, all results agree with the universal predictions to leading order in $\epsilon$.


title: Dynamical characterization of non-Hermitian Floquet topological phases in one-dimension

abstract: Non-Hermitian topological phases in static and periodically driven systems have attracted great attention in recent years. Finding dynamical probes for these exotic phases would be of great importance in the detection and application of their topological properties. In this work, we propose a systematic approach to dynamically characterize non-Hermitian Floquet topological phases in one-dimension with chiral symmetry. We show that the topological invariants of a chiral symmetric Floquet system can be fully determined by measuring the winding angles of its time-averaged spin textures. We further purpose a piecewise quenched lattice model with rich non-Hermitian Floquet topological phases, in which our theoretical predictions are numerically demonstrated and compared with another approach utilizing the mean chiral displacement of a wavepacket.


title: Development of Fast Refinement Detectors on AI Edge Platforms

abstract: With the improvements in the object detection networks, several variations of object detection networks have been achieved impressive performance. However, the performance evaluation of most models has focused on detection accuracy, and performance verification is mostly based on high-end GPU hardware. In this paper, we propose real-time object detectors that guarantee balanced performance for real-time systems on embedded platforms. The proposed model utilizes the basic head structure of the RefineDet model, which is a variant of the single-shot object detector (SSD). In order to ensure real-time performance, CNN models with relatively shallow layers or fewer parameters have been used as the backbone structure. In addition to the basic VGGNet and ResNet structures, various backbone structures such as MobileNet, Xception, ResNeXt, Inception-SENet, and SE-ResNeXt have been used for this purpose. Successful training of object detection networks was achieved through an appropriate combination of intermediate layers. The accuracy of the proposed detector was estimated by the evaluation of the MS-COCO 2017 object detection dataset and the inference speed on the NVIDIA Drive PX2 and Jetson Xavier boards were tested to verify real-time performance in the embedded systems. The experiments show that the proposed models ensure balanced performance in terms of accuracy and inference speed in the embedded system environments. In addition, unlike the high-end GPUs, the use of embedded GPUs involves several additional concerns for efficient inference, which have been identified in this work. The codes and models are publicly available on the web (link).


title: Crossed modular categories and the Verlinde formula for twisted conformal blocks

abstract: In this paper, we give a Verlinde formula for computing the ranks of the bundles of twisted conformal blocks associated with a simple Lie algebra equipped with an action of a finite group $\Gamma$ and a positive integral level $\ell$ under the assumption that "$\Gamma$ preserves a Borel". As a motivation for this Verlinde formula, we prove a categorical Verlinde formula which computes the fusion coefficients for any $\Gamma$-crossed modular fusion category as defined by Turaev. To relate these two versions of the Verlinde formula, we formulate the notion of a $\Gamma$-crossed modular functor and show that it is very closely related to the notion of a $\Gamma$-crossed modular fusion category. We compute the Atiyah algebra and prove (with same assumptions) that the bundles of $\Gamma$-twisted conformal blocks associated with a twisted affine Lie algebra define a $\Gamma$-crossed modular functor. Along the way, we prove equivalence between a $\Gamma$-crossed modular functor and its topological analogue. We then apply these results to derive the Verlinde formula for twisted conformal blocks. We also explicitly describe the crossed S-matrices that appear in the Verlinde formula for twisted conformal blocks.


title: Upper bound for light absorption assisted by a nanoantenna

abstract: We study light absorption by a dipolar absorber in a given environment, which can be a nanoantenna or any complex inhomogeneous medium. From first-principle calculations, we derive an upper bound for the absorption, which decouples the impact of the environment from the one of the absorber. Since it is an intrinsic characteristic of the environment regardless of the absorber, it provides a good figure of merit to compare the ability of different systems to enhance absorption. We show that, in the scalar approximation, the relevant parameter is not the field enhancement but the ratio between the field enhancement and the local density of states. Consequently, a plasmonic structure supporting hot spots is not necessarily the best choice to enhance absorption. We also show that our theoretical results can be applied beyond the scalar approximation and the plane-wave illumination.


title: WATTNet: Learning to Trade FX via Hierarchical Spatio-Temporal Representation of Highly Multivariate Time Series

abstract: Finance is a particularly challenging application area for deep learning models due to low noise-to-signal ratio, non-stationarity, and partial observability. Non-deliverable-forwards (NDF), a derivatives contract used in foreign exchange (FX) trading, presents additional difficulty in the form of long-term planning required for an effective selection of start and end date of the contract. In this work, we focus on tackling the problem of NDF tenor selection by leveraging high-dimensional sequential data consisting of spot rates, technical indicators and expert tenor patterns. To this end, we construct a dataset from the Depository Trust & Clearing Corporation (DTCC) NDF data that includes a comprehensive list of NDF volumes and daily spot rates for 64 FX pairs. We introduce WaveATTentionNet (WATTNet), a novel temporal convolution (TCN) model for spatio-temporal modeling of highly multivariate time series, and validate it across NDF markets with varying degrees of dissimilarity between the training and test periods in terms of volatility and general market regimes. The proposed method achieves a significant positive return on investment (ROI) in all NDF markets under analysis, outperforming recurrent and classical baselines by a wide margin. Finally, we propose two orthogonal interpretability approaches to verify noise stability and detect the driving factors of the learned tenor selection strategy.


title: Gap Aware Mitigation of Gradient Staleness

abstract: Cloud computing is becoming increasingly popular as a platform for distributed training of deep neural networks. Synchronous stochastic gradient descent (SSGD) suffers from substantial slowdowns due to stragglers if the environment is non-dedicated, as is common in cloud computing. Asynchronous SGD (ASGD) methods are immune to these slowdowns but are scarcely used due to gradient staleness, which encumbers the convergence process. Recent techniques have had limited success mitigating the gradient staleness when scaling up to many workers (computing nodes). In this paper we define the Gap as a measure of gradient staleness and propose Gap-Aware (GA), a novel asynchronous-distributed method that penalizes stale gradients linearly to the Gap and performs well even when scaling to large numbers of workers. Our evaluation on the CIFAR, ImageNet, and WikiText-103 datasets shows that GA outperforms the currently acceptable gradient penalization method, in final test accuracy. We also provide convergence rate proof for GA. Despite prior beliefs, we show that if GA is applied, momentum becomes beneficial in asynchronous environments, even when the number of workers scales up.


title: Volume entropy semi-norm

abstract: We introduce the volume entropy semi-norm in real homology and show that it satisfies functorial properties similar to the ones of the simplicial volume. Answering a question of M. Gromov, we prove that the volume entropy semi-norm is equivalent to the simplicial volume semi-norm in every dimension. We also establish a roughly optimal upper bound on the systolic volume of the multiples of any homology class.


title: Bayesian Multivariate Spatial Models for Lattice Data with INLA

abstract: The INLAMSM package for the R programming language provides a collection of multivariate spatial models for lattice data that can be used with package INLA for Bayesian inference. The multivariate spatial models include different structures to model the spatial variation of the variables and the between-variables variability. In this way, fitting multivariate spatial models becomes faster and easier. The use of the different models included in the package is illustrated using two different datasets: the well-known North Carolina SIDS data and mortality by three causes of death in Comunidad Valenciana (Spain).


title: Oscillon of Ultra-Light Axion-like Particle

abstract: Ultra-light axion-like particle (ULAP) is one of attractive candidates for cold dark matter. Because the de Broglie wavelength of ULAP with mass $\sim 10^{-22} {\rm eV}$ is $\mathcal{O}({\rm kpc})$, the suppression of the small scale structure by the uncertainty principle can solve the core-cusp problem. Frequently, ULAP is assumed to be uniformly distributed in the present universe. In typical ULAP potentials, however, strong self-resonance at the beginning of oscillation invokes the large fluctuations, which may cause the formation of the dense localized object, oscillon. % Such a dense object lives for a long time, it may affect the cosmological evolution. In this paper, we confirm the oscillon formation in a ULAP potential by numerical simulation and analytically derive its lifetime.


title: Strongly correlated superconductor with polytypic 3D Dirac points

abstract: Topological superconductors should be able to provide essential ingredients for quantum computing, but are very challenging to realize. Spin-orbit interaction in iron-based superconductors opens the energy gap between the $p$-states of pnictogen and $d$-states of iron very close to the Fermi level, and such $p$-states have been recently experimentally detected. Density functional theory predicts existence of topological surface states within this gap in FeTe$_{1-x}$Se$_x$ making it an attractive candidate material. Here we use synchrotron-based angle-resolved photoemission spectroscopy and band structure calculations to demonstrate that FeTe$_{1-x}$Se$_x$ (x=0.45) is a superconducting 3D Dirac semimetal hosting type-I and type-II Dirac points and that its electronic structure remains topologically trivial. We show that the inverted band gap in FeTe$_{1-x}$Se$_x$ can possibly be realized by further increase of Te content, but strong correlations reduce it to a sub-meV size, making the experimental detection of this gap and corresponding topological surface states very challenging, not to mention exact matching with the Fermi level. On the other hand, the $p-d$ and $d-d$ interactions are responsible for the formation of extremely flat band at the Fermi level pointing to its intimate relation with the mechanism of high-T$_c$ superconductivity in IBS.


title: Unveiling the relation between herding and liquidity with trader lead-lag networks

abstract: We propose a method to infer lead-lag networks of traders from the observation of their trade record as well as to reconstruct their state of supply and demand when they do not trade. The method relies on the Kinetic Ising model to describe how information propagates among traders, assigning a positive or negative "opinion" to all agents about whether the traded asset price will go up or down. This opinion is reflected by their trading behavior, but whenever the trader is not active in a given time window, a missing value will arise. Using a recently developed inference algorithm, we are able to reconstruct a lead-lag network and to estimate the unobserved opinions, giving a clearer picture about the state of supply and demand in the market at all times. We apply our method to a dataset of clients of a major dealer in the Foreign Exchange market at the 5 minutes time scale. We identify leading players in the market and define a herding measure based on the observed and inferred opinions. We show the causal link between herding and liquidity in the inter-dealer market used by dealers to rebalance their inventories.


title: Common divisors of totients of polynomial sequences

abstract: Motivated by a question of Venkataramana, we consider the greatest common divisor of $\phi(f(n))$ where $f$ is a primitive polynomial with integer coefficients, and $n$ ranges over all natural numbers. Assuming Schinzel's hypothesis, we establish that this gcd may be bounded just in terms of the degree of the polynomial $f$. Unconditionally we establish such a bound for quadratic polynomials, as well as polynomials that split completely into linear factors. The paper also addresses a question of Calegari, and establishes that there are infinitely many $n$ such that $n^2+1$ is not divisible by any prime $\equiv 1 \bmod 2^m$ provided $m$ is a large fixed integer.


title: Towards S-NAMO: Socially-aware Navigation Among Movable Obstacles

abstract: In this paper, we present an in-depth analysis of Navigation Among Movable Obstacles (NAMO) literature, notably highlighting that social acceptability remains an unadressed problem in this robotics navigation domain. The objectives of a Socially-Aware NAMO are defined and a first set of algorithmic propositions is built upon existing work. We developed a simulator allowing to test our propositions of social movability evaluation for obstacle selection, and social placement of objects with a semantic map layer. Preliminary pushing tests are done with a Pepper robot, the standard platform for the Robocup@home Social Standard Platform League, in the context of our participation (LyonTech Team).


title: Detectability of neutron star -- white dwarf coalescences by eROSITA and ART-XC

abstract: Coalescences of neutron stars and white dwarfs are relatively frequent phenomena, outnumbering other types of compact object mergers (neutron stars and black holes without involving white dwarfs) altogether. Such event potentially can produce not only optical, but also an X-ray burst. Transient source CDF-S XT2 [1] can be an example of this type of events as suggested by [2]. In this note we estimate the rate of these transients in the field of view of X-ray instruments on-board Spectrum-RG satellite. We demonstrate that during four years of the survey program several thousand of events related to neutron star - white dwarf mergers might appear in the field of view of eROSITA. Collimation of X-ray emission can reduce this number. Smaller, but comparable number of transients is expected in the case of ART-XC telescope. However, due to relatively short duration - $\lesssim 10^4$ s, - mostly such transients might be visible just in one scan of telescopes ($\sim 40$ s), and so only a few photons are expected to be detected which makes definite identification without additional information very problematic.


title: Image Recognition using Region Creep

abstract: This paper describes a new type of auto-associative image classifier that uses a shallow architecture with a very quick learning phase. The image is parsed into smaller areas and each area is saved directly for a region, along with the related output category. When a new image is presented, a direct match with each region is made and the best matching areas returned. Each area stores a list of the categories it belongs to, where there is a one-to-many relation between the input region and the output categories. The image classification process sums the category lists to return a preferred category for the whole image. These areas can overlap with each other and when moving from a region to its neighbours, there is likely to be only small changes in the area image part. It would therefore be possible to guess what the best image area is for one region by cumulating the results of its neighbours. This associative feature is being called 'Region Creep' and the cumulated region can be compared with train cases instead, when a suitable match is not found. Rules can be included and state that: if one set of pixels are present, another set should either be removed or should also be present, where this is across the whole image. The memory problems with a traditional auto-associative network may be less with this version and tests on a set of hand-written numbers have produced state-of-the-art results.


title: Deep Text Mining of Instagram Data Without Strong Supervision

abstract: With the advent of social media, our online feeds increasingly consist of short, informal, and unstructured text. This textual data can be analyzed for the purpose of improving user recommendations and detecting trends. Instagram is one of the largest social media platforms, containing both text and images. However, most of the prior research on text processing in social media is focused on analyzing Twitter data, and little attention has been paid to text mining of Instagram data. Moreover, many text mining methods rely on annotated training data, which in practice is both difficult and expensive to obtain. In this paper, we present methods for unsupervised mining of fashion attributes from Instagram text, which can enable a new kind of user recommendation in the fashion domain. In this context, we analyze a corpora of Instagram posts from the fashion domain, introduce a system for extracting fashion attributes from Instagram, and train a deep clothing classifier with weak supervision to classify Instagram posts based on the associated text. With our experiments, we confirm that word embeddings are a useful asset for information extraction. Experimental results show that information extraction using word embeddings outperforms a baseline that uses Levenshtein distance. The results also show the benefit of combining weak supervision signals using generative models instead of majority voting. Using weak supervision and generative modeling, an F1 score of 0.61 is achieved on the task of classifying the image contents of Instagram posts based solely on the associated text, which is on level with human performance. Finally, our empirical study provides one of the few available studies on Instagram text and shows that the text is noisy, that the text distribution exhibits the long-tail phenomenon, and that comment sections on Instagram are multi-lingual.


title: On characteristic polynomials of automorphisms of Enriques surfaces

abstract: Let $f$ be an automorphism of a complex Enriques surface $Y$ and let $p_f$ denote the characteristic polynomial of the isometry $f^*$ of the numerical N\'eron-Severi lattice of $Y$ induced by $f$. We apply a modification of McMullen's method to prove that the modulo-$2$ reduction $(p_f(x) \bmod 2)$ is a product of modulo-$2$ reductions of (some of) the five cyclotomic polynomials $\Phi_m$, where $m \leq 9$ and $m$ is odd. We study Enriques surfaces that realize modulo-$2$ reductions of $\Phi_7$, $\Phi_9$ and show that each of the five polynomials $(\Phi_m(x) \bmod 2)$ is a factor of the modulo-$2$ reduction $(p_f(x) \bmod 2)$ for a complex Enriques surface.


title: Large-Scale Pattern Formation in the Presence of Small-Scale Random Advection

abstract: Despite the presence of strong fluctuations, many turbulent systems such as Rayleigh-B\'{e}nard convection and Taylor-Couette flow display self-organized large-scale flow patterns. How do small-scale turbulent fluctuations impact the emergence and stability of such large-scale flow patterns? Here, we approach this question conceptually by investigating a class of pattern forming systems in the presence of random advection by a Kraichnan-Kazantsev velocity field. Combining tools from pattern formation with statistical theory and simulations, we show that random advection shifts the onset and the wave number of emergent patterns. As a simple model for pattern formation in convection, the effects are demonstrated with a generalized Swift-Hohenberg equation including random advection. We also discuss the implications of our results for the large-scale flow of turbulent Rayleigh-B\'{e}nard convection.


title: Balanced One-shot Neural Architecture Optimization

abstract: The ability to rank candidate architectures is the key to the performance of neural architecture search~(NAS). One-shot NAS is proposed to reduce the expense but shows inferior performance against conventional NAS and is not adequately stable. We investigate into this and find that the ranking correlation between architectures under one-shot training and the ones under stand-alone full training is poor, which misleads the algorithm to discover better architectures. Further, we show that the training of architectures of different sizes under the current one-shot method is imbalanced, which causes the evaluated performances of the architectures to be less predictable of their ground-truth performances and affects the ranking correlation heavily. Consequently, we propose Balanced NAO where we introduce balanced training of the supernet during the search procedure to encourage more updates for large architectures than small architectures by sampling architectures in proportion to their model sizes. Comprehensive experiments verify that our proposed method is effective and robust which leads to a more stable search. The final discovered architecture shows significant improvements against baselines with a test error rate of 2.60\% on CIFAR-10 and top-1 accuracy of 74.4% on ImageNet under the mobile setting. Code and model checkpoints will be publicly available. The code is available at github.com/renqianluo/NAO_pytorch.


title: Security analysis of two lightweight certificateless signature schemes

abstract: Certificateless cryptography can be considered as an intermediate solution to overcome the issues in traditional public key infrastructure (PKI) and identity-based public key cryptography (ID-PKC). There exist a vast number of certificateless signature (CLS) schemes in the literature; however, most of them are not efficient enough to be utilized in limited resources environments such as Internet of things (IoT) or Healthcare Wireless Sensor Networks (HWSN). Recently, two lightweight CLS schemes have been proposed by Karati et al. and Kumar et al. to be employed in IoT and HWSNs, respectively. While both schemes are claimed to be existentially unforgeable, in this paper, we show that both these signatures can easily be forged. More specifically, it is shown that 1) in Karati et al.'s scheme, a type 1 adversary, considered in certificateless cryptography, can generate a valid partial private key corresponding to any user of its choice and as a consequence, it can forge any users' signature on any message of its choice, and 2) in Kumar et al.'s scheme, both types of adversaries which are considered in certificateless cryptography are able to forge any signer's signature on an arbitrary message.


title: Quenching as a Contest between Galaxy Halos and their Central Black Holes

abstract: Existing models of galaxy formation have not yet explained striking correlations between structure and star-formation activity in galaxies, notably the sloped and moving boundaries that divide star-forming from quenched galaxies in key structural diagrams. This paper uses these and other relations to ``reverse-engineer'' the quenching process for central galaxies. The basic idea is that star-forming galaxies with larger radii (at a given stellar mass) have lower black-hole masses due to lower central densities. Galaxies cross into the green valley when the cumulative effective energy radiated by their black hole equals $\sim4\times$ their halo-gas binding energy. Since larger-radii galaxies have smaller black holes, one finds they must evolve to higher stellar masses in order to meet this halo-energy criterion, which explains the sloping boundaries. A possible cause of radii differences among star-forming galaxies is halo concentration. The evolutionary tracks of star-forming galaxies are nearly parallel to the green-valley boundaries, and it is mainly the sideways motions of these boundaries with cosmic time that cause galaxies to quench. BH-scaling laws for star-forming, quenched, and green-valley galaxies are different, and most BH mass growth takes place in the green valley. Implications include: the radii of star-forming galaxies are an important second parameter in shaping their black holes; black holes are connected to their halos but in different ways for star-forming, quenched, and green-valley galaxies; and the same BH-halo quenching mechanism has been in place since $z \sim 3$. We conclude with a discussion of black hole-galaxy co-evolution, the origin and interpretation of BH scaling laws.


title: Constrained deep neural network architecture search for IoT devices accounting hardware calibration

abstract: Deep neural networks achieve outstanding results in challenging image classification tasks. However, the design of network topologies is a complex task and the research community makes a constant effort in discovering top-accuracy topologies, either manually or employing expensive architecture searches. In this work, we propose a unique narrow-space architecture search that focuses on delivering low-cost and fast executing networks that respect strict memory and time requirements typical of Internet-of-Things (IoT) near-sensor computing platforms. Our approach provides solutions with classification latencies below 10ms running on a $35 device with 1GB RAM and 5.6GFLOPS peak performance. The narrow-space search of floating-point models improves the accuracy on CIFAR10 of an established IoT model from 70.64% to 74.87% respecting the same memory constraints. We further improve the accuracy to 82.07% by including 16-bit half types and we obtain the best accuracy of 83.45% by extending the search with model optimized IEEE 754 reduced types. To the best of our knowledge, we are the first that empirically demonstrate on over 3000 trained models that running with reduced precision pushes the Pareto optimal front by a wide margin. Under a given memory constraint, accuracy is improved by over 7% points for half and over 1% points further for running with the best model individual format.


title: Investigating Customization Strategies and Convergence Behaviors of Task-specific ADMM

abstract: Alternating Direction Method of Multiplier (ADMM) has been a popular algorithmic framework for separable optimization problems with linear constraints. For numerical ADMM fail to exploit the particular structure of the problem at hand nor the input data information, leveraging task-specific modules (e.g., neural networks and other data-driven architectures) to extend ADMM is a significant but challenging task. This work focuses on designing a flexible algorithmic framework to incorporate various task-specific modules (with no additional constraints) to improve the performance of ADMM in real-world applications. Specifically, we propose Guidance from Optimality (GO), a new customization strategy, to embed task-specific modules into ADMM (GO-ADMM). By introducing an optimality-based criterion to guide the propagation, GO-ADMM establishes an updating scheme agnostic to the choice of additional modules. The existing task-specific methods just plug their task-specific modules into the numerical iterations in a straightforward manner. Even with some restrictive constraints on the plug-in modules, they can only obtain some relatively weaker convergence properties for the resulted ADMM iterations. Fortunately, without any restrictions on the embedded modules, we prove the convergence of GO-ADMM regarding objective values and constraint violations, and derive the worst-case convergence rate measured by iteration complexity. Extensive experiments are conducted to verify the theoretical results and demonstrate the efficiency of GO-ADMM.


title: Distortion Estimation Through Explicit Modeling of the Refractive Surface

abstract: Precise calibration is a must for high reliance 3D computer vision algorithms. A challenging case is when the camera is behind a protective glass or transparent object: due to refraction, the image is heavily distorted; the pinhole camera model alone can not be used and a distortion correction step is required. By directly modeling the geometry of the refractive media, we build the image generation process by tracing individual light rays from the camera to a target. Comparing the generated images to their distorted - observed - counterparts, we estimate the geometry parameters of the refractive surface via model inversion by employing an RBF neural network. We present an image collection methodology that produces data suited for finding the distortion parameters and test our algorithm on synthetic and real-world data. We analyze the results of the algorithm.


title: Coevolution (Or Not) of Supermassive Black Holes and Host Galaxies: Black Hole Scaling Relations Are Not Biased by Selection Effects

abstract: The oral version of this paper summarized Kormendy & Ho 2013, ARA&A, 51, 511. However, earlier speakers at this Symposium worried that selection effects bias the derivation of black hole scaling relations. I therefore added -- and this proceedings paper emphasizes -- a discussion of why we can be confident that selection effects do not bias the observed correlations between BH mass M_BH and the luminosity, stellar mass, and velocity dispersion of host ellipticals and classical bulges. These are the only galaxy components that show tight BH-host correlations. The scatter plots of M_BH with host properties for pseudobulges and disks are upper envelopes of scatter that does extend to lower BH masses. BH correlations are most consistent with a picture in which BHs coevolve only with classical bulges and ellipticals. Four physical regimes of coevolution (or not) are suggested by Kormendy & Ho 2013 and are summarized here.


title: Discrete and conservative reflections of fibrations

abstract: We focus on two factorization systems for opfibrations in the 2-category Fib(B) of fibrations over a fixed base category B. The first one is the internal version of the so called comprehensive factorization, where the right orthogonal class is given by internal discrete opfibrations. The second one has as its right orthogonal class internal opfibrations in groupoids, i.e. with groupoidal fibres. These factorizations can be obtained by means of a single step 2-colimit. Namely, their left orthogonal parts are nothing but suitable coidentifiers and coinverters respectively. We will show how these results follow from their analogues in Cat. To this end, we first provide suitable conditions on a 2-category C, allowing the transfer of the construction of coinverters and coidentifiers from C to Fib(B).


title: Software architecture for YOLO, a creativity-stimulating robot

abstract: YOLO is a social robot designed and developed to stimulate creativity in children through storytelling activities. Children use it as a character in their stories. This article details the artificial intelligence software developed for YOLO. The implemented software schedules through several Creativity Behaviors to find the ones that stimulate creativity more effectively. YOLO can choose between convergent and divergent thinking techniques, two important processes of creative thought. These techniques were developed based on the psychological theories of creativity development and on research from creativity experts who work with children. Additionally, this software allows the creation of Social Behaviors that enable the robot to behave as a believable character. On top of our framework, we built 3 main social behavior parameters: Exuberant, Aloof, and Harmonious. These behaviors are meant to ease immersive play and the process of character creation. The 3 social behaviors were based on psychological theories of personality and developed using children's input during co-design studies. Overall, this work presents an attempt to design, develop, and deploy social robots that nurture intrinsic human abilities, such as the ability to be creative.


title: A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems

abstract: Branching bisimilarity is a behavioural equivalence relation on labelled transition systems that takes internal actions into account. It has the traditional advantage that algorithms for branching bisimilarity are more efficient than all algorithms for other weak behavioural equivalences, especially weak bisimilarity. With $m$ the number of transitions and $n$ the number of states, the classic $O(m n)$ algorithm was recently replaced by an $O(m (\log \lvert \mathit{Act}\rvert + \log n))$ algorithm, which is unfortunately rather complex. This paper combines its ideas with the ideas from Valmari. This results in a simpler algorithm with complexity $O(m \log n)$. Benchmarks show that this new algorithm is also faster and often far more memory efficient than its predecessors. This makes it the best option for branching bisimulation minimisation and preprocessing for weak bisimulation of LTSs.


title: Stability and Instability of the MaxWeight Policy

abstract: Consider a switched queueing network with general routing among its queues. The MaxWeight policy assigns available service by maximizing the objective function $\sum_j Q_j \sigma_j$ among the different feasible service options, where $Q_j$ denotes queue size and $\sigma_j$ denotes the amount of service to be executed at queue $j$. MaxWeight is a greedy policy that does not depend on knowledge of arrival rates and is straightforward to implement. These properties, as well as its simple formulation, suggest MaxWeight as a serious candidate for implementation in the setting of switched queueing networks; MaxWeight has been extensively studied in the context of communication networks. However, a fluid model variant of MaxWeight was shown by Andrews--Zhang (2003) not to be maximally stable. Here, we prove that MaxWeight itself is not in general maximally stable. We also prove MaxWeight is maximally stable in a much more restrictive setting, and that a weighted version of MaxWeight, where the weighting depends on the traffic intensity, is always stable.


title: On the Exclusive Jet Measurements at the LHC

abstract: Properties of the exclusive jet production process are briefly described. A need for a dedicated trigger algorithms for studies of such process in the LHC experiments is explained. Influence of the machine luminosity leveling -- a change of the betatron function and crossing angle -- on the scattered proton position in the AFP is discussed. Finally, impact of pile-up and optics on the expected algorithm efficiency is estimated.


title: Prospects for Proton-Proton Measurements with Tagged Protons in ATLAS

abstract: In 2017, ATLAS has been equipped with a new, dedicated detector system allowing measurements of forward protons scattered at small angles in diffractive and electromagnetic processes. These ATLAS Forward Proton detectors (AFP) can operate during the standard high-luminosity LHC runs and collect large amounts of integrated luminosity. This gives a possibility to study rare interactions, in particular, the two-photon processes. The physics programme includes measurements of photon-photon interactions present in the Standard Model, as well as using searches for new physics. In this paper, the AFP detectors and physics goals are briefly presented.


title: Double-estimation-friendly inference for high-dimensional misspecified models

abstract: All models may be wrong -- but that is not necessarily a problem for inference. Consider the standard $t$-test for the significance of a variable $X$ for predicting response $Y$ whilst controlling for $p$ other covariates $Z$ in a random design linear model. This yields correct asymptotic type~I error control for the null hypothesis that $X$ is conditionally independent of $Y$ given $Z$ under an \emph{arbitrary} regression model of $Y$ on $(X, Z)$, provided that a linear regression model for $X$ on $Z$ holds. An analogous robustness to misspecification, which we term the "double-estimation-friendly" (DEF) property, also holds for Wald tests in generalised linear models, with some small modifications. In this expository paper we explore this phenomenon, and propose methodology for high-dimensional regression settings that respects the DEF property. We advocate specifying (sparse) generalised linear regression models for both $Y$ and the covariate of interest $X$; our framework gives valid inference for the conditional independence null if either of these hold. In the special case where both specifications are linear, our proposal amounts to a small modification of the popular debiased Lasso test. We also investigate constructing confidence intervals for the regression coefficient of $X$ via inverting our tests; these have coverage guarantees even in partially linear models where the contribution of $Z$ to $Y$ can be arbitrary. Numerical experiments demonstrate the effectiveness of the methodology.


title: Dependence of 3D Self-correlation Level Contours on the Scales in the Inertial Range of Solar Wind Turbulence

abstract: The self-correlation level contours at the 1010 cm scale reveal a 3D isotropic feature in the slow solar wind and a quasi-anisotropic feature in the fast solar wind. However, the 1010 cm scale is approximately near the lowfrequency break (outer scale of turbulence cascade), especially in the fast wind. How the self-correlation level contours behave with dependence on the scales in the inertial range of solar wind turbulence remains unknown. Here we present the 3D self-correlation function level contours and their dependence on the scales in the inertial range for the first time. We use data at 1 au from instruments on the Wind spacecraft in the period 2005-2018. We show the 3D isotropic self-correlation level contours of the magnetic field in the inertial range of both slow and fast solar wind turbulence. We also find that the self-correlation level contours of the velocity in the inertial range present 2D anisotropy with an elongation in the perpendicular direction and 2D isotropy in the plane perpendicular to the mean magnetic field. These results indicate differences between the magnetic field and the velocity, providing new clues to interpret the solar wind turbulence on the inertial scale.


title: Diffractive Physics at the LHC

abstract: Diffractive processes possible to be measured at the LHC are listed and briefly discussed. This includes soft (elastic scattering, exclusive meson pair production, diffractive bremsstrahlung) and hard (single and double Pomeron exchange jets, $\gamma$+jet, W/Z, jet-gap-jet, exclusive jets) processes as well as Beyond Stanrad Model phenomena (anomalous gauge couplings, magnetic monopoles).


title: Entropy from Machine Learning

abstract: We translate the problem of calculating the entropy of a set of binary configurations/signals into a sequence of supervised classification tasks. Subsequently, one can use virtually any machine learning classification algorithm for computing entropy. This procedure can be used to compute entropy, and consequently the free energy directly from a set of Monte Carlo configurations at a given temperature. As a test of the proposed method, using an off-the-shelf machine learning classifier we reproduce the entropy and free energy of the 2D Ising model from Monte Carlo configurations at various temperatures throughout its phase diagram. Other potential applications include computing the entropy of spiking neurons or any other multidimensional binary signals.

categories: cond-mat.stat-mech cs.LG hep-lat q-bio.NC stat.ML


title: High-dimensional clustering via Random Projections

abstract: In this work, we address the unsupervised classification issue by exploiting the general idea of Random Projection Ensemble. Specifically, we propose to generate a set of low dimensional independent random projections and to perform model-based clustering on each of them. The top $B^*$ projections, i.e. the projections which show the best grouping structure are then retained. The final partition is obtained by aggregating the clusters found in the projections via consensus. The performances of the method are assessed on both real and simulated datasets. The obtained results suggest that the proposal represents a promising tool for high-dimensional clustering.


title: Enhancing Traffic Scene Predictions with Generative Adversarial Networks

abstract: We present a new two-stage pipeline for predicting frames of traffic scenes where relevant objects can still reliably be detected. Using a recent video prediction network, we first generate a sequence of future frames based on past frames. A second network then enhances these frames in order to make them appear more realistic. This ensures the quality of the predicted frames to be sufficient to enable accurate detection of objects, which is especially important for autonomously driving cars. To verify this two-stage approach, we conducted experiments on the Cityscapes dataset. For enhancing, we trained two image-to-image translation methods based on generative adversarial networks, one for blind motion deblurring and one for image super-resolution. All resulting predictions were quantitatively evaluated using both traditional metrics and a state-of-the-art object detection network showing that the enhanced frames appear qualitatively improved. While the traditional image comparison metrics, i.e., MSE, PSNR, and SSIM, failed to confirm this visual impression, the object detection evaluation resembles it well. The best performing prediction-enhancement pipeline is able to increase the average precision values for detecting cars by about 9% for each prediction step, compared to the non-enhanced predictions.


title: Identifying TeV Source Candidates among Fermi-LAT Unclassified Blazars

abstract: Blazars and in particular the subclass of high synchrotron peaked Active Galactic Nuclei are among the main targets for the present generation of Imaging Atmospheric Cherenkov Telescopes (IACTs) and will remain of great importance for very high-energy $\gamma$-ray science in the era of the Cherenkov Telescope Array (CTA). Observations by IACTs, which have relatively small fields of view ($\sim$ few degrees), are limited by viewing conditions; therefore, it is important to select the most promising targets in order to increase the number of detections. The aim of this paper is to search for unclassified blazars among known $\gamma$-ray sources from the Fermi Large Area Telescope (LAT) third source catalog that are likely detectable with IACTs or CTA. We use an artificial neural network algorithm and updated analysis of Fermi-LAT data. We found 80 $\gamma$-ray source candidates, and for the highest-confidence candidates, we calculate their potential detectability with IACTs and CTA based on an extrapolation of their energy spectra. Follow-up observations of our source candidates could significantly increase the current TeV source population sample and could ultimately confirm the efficiency of our algorithm to select TeV sources.


title: Wadge-like degrees of Borel bqo-valued functions

abstract: We unite two well known generalisations of the Wadge theory. The first one considers more general reducing functions than the continuous functions in the classical case, and the second one extends Wadge reducibility from sets (i.e., $\{0,1\}$-valued functions) to $Q$-valued functions, for a better quasiorder $Q$. In this article, we consider more general reducibilities on the $Q$-valued functions and generalise some results of L. Motto Ros in the first direction and of T. Kihara and A. Montalb\'an in the second direction: Our main result states that the structure of the $\mathbf{\Delta}^0_\alpha$-degrees of $\mathbf{\Delta}^0_{\alpha+\gamma}$-measurable $Q$-valued functions is isomorphic to the $\mathbf{\Delta}^0_\beta$-degrees of $\mathbf{\Delta}^0_{\beta+\gamma}$-measurable $Q$-valued functions, and these are isomorphic to the generalized homomorphism order on the $\gamma$-th iterated $Q$-labeled forests.


title: A systematical study of the chiral magnetic effects at the RHIC and LHC energies

abstract: Considering the magnetic field response of the QGP medium, we perform a systematical study of the chiral magnetic effect(CME), and make a comparison it with the experimental results for the background-subtracted correlator $H$ at the energies of the RHIC Beam Energy Scan (BES) and LHC energy. The CME signals from our computations show a centrality trend and beam energy dependence that are qualitatively consistent with the experimental measurements of the charge dependent correlations. The time evolution of the chiral electromagnetic current at the RHIC and LHC energies is systematically studied. The dependence of the time-integrated current signal on the beam energy $\sqrt{s}$ with different centralities is investigated. Our phenomenological analysis shows that the time-integrated electromagnetic current is maximal near the collision energy $\sqrt{s} \approx 39$ GeV. The qualitative trend of the induced electromagnetic current is in agreement with the CME experimental results at the RHIC and LHC energies.


title: Temporal-Coded Deep Spiking Neural Network with Easy Training and Robust Performance

abstract: Spiking neural network (SNN) is interesting both theoretically and practically because of its strong bio-inspiration nature and potentially outstanding energy efficiency. Unfortunately, its development has fallen far behind the conventional deep neural network (DNN), mainly because of difficult training and lack of widely accepted hardware experiment platforms. In this paper, we show that a deep temporal-coded SNN can be trained easily and directly over the benchmark datasets CIFAR10 and ImageNet, with testing accuracy within 1% of the DNN of equivalent size and architecture. Training becomes similar to DNN thanks to the closed-form solution to the spiking waveform dynamics. Considering that SNNs should be implemented in practical neuromorphic hardwares, we train the deep SNN with weights quantized to 8, 4, 2 bits and with weights perturbed by random noise to demonstrate its robustness in practical applications. In addition, we develop a phase-domain signal processing circuit schematic to implement our spiking neuron with 90% gain of energy efficiency over existing work. This paper demonstrates that the temporal-coded deep SNN is feasible for applications with high performance and high energy efficient.


title: Talk2Car: Taking Control of Your Self-Driving Car

abstract: A long-term goal of artificial intelligence is to have an agent execute commands communicated through natural language. In many cases the commands are grounded in a visual environment shared by the human who gives the command and the agent. Execution of the command then requires mapping the command into the physical visual space, after which the appropriate action can be taken. In this paper we consider the former. Or more specifically, we consider the problem in an autonomous driving setting, where a passenger requests an action that can be associated with an object found in a street scene. Our work presents the Talk2Car dataset, which is the first object referral dataset that contains commands written in natural language for self-driving cars. We provide a detailed comparison with related datasets such as ReferIt, RefCOCO, RefCOCO+, RefCOCOg, Cityscape-Ref and CLEVR-Ref. Additionally, we include a performance analysis using strong state-of-the-art models. The results show that the proposed object referral task is a challenging one for which the models show promising results but still require additional research in natural language processing, computer vision and the intersection of these fields. The dataset can be found on our website: http://macchina-ai.eu/


title: Photon-photon quantum phase gate in a photonic molecule with $\chi^{(2)}$ nonlinearity

abstract: The construction of photon-photon quantum phase gate based on photonic nonlinearity has long been a fundamental issue, which is vital for deterministic and scalable photonic quantum information processing. It requires not only strong nonlinear interaction at the single-photon level, but also suppressed phase noise and spectral entanglement for high gate fidelity. In this paper, we propose that high-quality factor microcavity with strong $\chi^{(2)}$ nonlinearity can be quantized to anharmonic energy levels and be effectively treated as an artificial atom. Such artificial atom has a size much larger than the photon wavelength, which enables passive and active ultra-strong coupling to traveling photons. High-fidelity quantum control-phase gate is realized by mediating the phase between photons with an intermediate artificial atom in a photonic molecule structure. The scheme avoids the two-photon emission and thus eliminates the spectral entanglement and quantum phase noises. Experimental realization of the artificial atom can be envisioned on the integrated photonic chip and holds great potential for single-emitter-free, room-temperature quantum information processing.


title: Fluctuations of the Arctic curve in the tilings of the Aztec diamond on restricted domains

abstract: We consider uniform random domino tilings of the restricted Aztec diamond which is obtained by cutting off an upper triangular part of the Aztec diamond by a horizontal line. The restriction line asymptotically touches the arctic circle that is the limit shape of the north polar region in the unrestricted model. We prove that the rescaled boundary of the north polar region in the restricted domain converges to the Airy$_2$ process conditioned to stay below a parabola with explicit continuous statistics and the finite dimensional distribution kernels. The limit is the hard-edge tacnode process which was first discovered in the framework of non-intersecting Brownian bridges. The proof relies on a random walk representation of the correlation kernel of the non-intersecting line ensemble which corresponds to a random tiling.


title: On the Design and Analysis of a Biometric Authentication System using Keystroke Dynamics

abstract: This paper proposes a portable hardware token for user authentication, it is based on the use of keystroke dynamics to verify users in a bio-metric manner. The proposed approach allows for a multifactor authentication scheme in which users are not allowed access unless they provide the correct password and their unique bio-metric signature. The proposed system is implemented in hardware and its security is evaluated.


title: Spectral isoperimetric inequalities for Robin Laplacians on 2-manifolds and unbounded cones

abstract: We consider the problem of geometric optimization of the lowest eigenvalue for the Laplacian on a compact, simply-connected two-dimensional manifold with boundary subject to an attractive Robin boundary condition. We prove that in the sub-class of manifolds with the Gauss curvature bounded from above by a constant $K_\circ \ge 0$ and under the constraint of fixed perimeter, the geodesic disk of constant curvature $K_\circ$ maximizes the lowest Robin eigenvalue. In the same geometric setting, it is proved that the spectral isoperimetric inequality holds for the lowest eigenvalue of the Dirichlet-to-Neumann operator. Finally, we adapt our methods to Robin Laplacians acting on unbounded three-dimensional cones to show that, under a constraint of fixed perimeter of the cross-section, the lowest Robin eigenvalue is maximized by the circular cone.


title: Triangulations of simplices with vanishing local h-polynomial

abstract: Motivated by connections to intersection homology of toric morphisms, the motivic monodromy conjecture, and a question of Stanley, we study the structure of triangulations of simplices whose local h-polynomial vanishes. As a first step, we identify a class of refinements that preserve the local h-polynomial. In dimensions 2 and 3, we show that all triangulations with vanishing local h-polynomial are obtained from one or two simple examples by a sequence of such refinements. In higher dimensions, we prove some partial results and give further examples.


title: Strong arithmetic property of certain Stern polynomials

abstract: Let $B_{n}(t)$ be the $n$th Stern polynomial, i.e., the $n$th term of the sequence defined recursively as $B_{0}(t)=0, B_{1}(t)=1$ and $B_{2n}(t)=tB_{n}(t), B_{2n+1}(t)=B_{n}(t)+B_{n-1}(t)$ for $n\in\N$. It is well know that $i$th coefficient in the polynomial $B_{n}(t)$ counts the number of hyperbinary representations of $n-1$ containing exactly $i$ digits 1. In this note we investigate the existence of odd solutions of the congruence \begin{equation*} B_{n}(t)\equiv 1+rt\frac{t^{e(n)}-1}{t-1}\pmod{m}, \end{equation*} where $m\in\N_{\geq 2}$ and $r\in\{0,\ldots,m-1\}$ are fixed and $e(n)=\op{deg}B_{n}(t)$. We prove that for $m=2$ and $r\in\{0,1\}$ and for $m=3$ and $r=0$, there are infinitely many odd numbers $n$ satisfying the above congruence. We also present results of some numerical computations.


title: Permuting 2-uniform tolerances on lattices

abstract: A $2$-uniform tolerance on a lattice is a compatible tolerance relation such that all of its blocks are 2-element. We characterize permuting pairs of 2-uniform tolerances on lattices of finite length. In particular, any two 2-uniform congruences on such a lattice permute.


title: Anticipated backward stochastic differential equations with quadratic growth

abstract: In this paper, we study the solvability of anticipated backward stochastic differential equations (BSDEs, for short) with quadratic growth for one-dimensional case and multi-dimensional case. In these BSDEs, the generator, which is of quadratic growth in Z, involves not only the present information of solution (Y, Z) but also its future one. The existence and uniqueness of such BSDEs, under different conditions, are derived for several terminal situations, including small terminal value, bounded terminal value and unbounded terminal value.


title: Towards a 1% Measurement of the Hubble Constant: Accounting for Time Dilation in Variable Star Light Curves

abstract: Assessing the significance and implications of the recently established Hubble tension requires the comprehensive identification, quantification, and mitigation of uncertainties and/or biases affecting $H_0$ measurements. Here, we investigate the previously overlooked distance scale bias resulting from the interplay between redshift and Leavitt laws in an expanding Universe: Redshift-Leavitt bias (RLB). Redshift dilates oscillation periods of pulsating stars residing in supernova-host galaxies relative to periods of identical stars residing in nearby (anchor) galaxies. Multiplying dilated $\log{P}$ with Leavitt Law slopes leads to underestimated absolute magnitudes, overestimated distance moduli, and a systematic error on $H_0$. Emulating the SH0ES distance ladder, we estimate an associated $H_0$ bias of $(0.27 \pm 0.01)$% and obtain a corrected $H_0 = (73.70 \pm 1.40) \rm{km s^{-1} Mpc^{-1}}$. RLB becomes increasingly relevant as distance ladder calibrations pursue greater numbers of ever more distant galaxies hosting both Cepheids (or Miras) and type-Ia supernovae. The measured periods of oscillating stars can readily be corrected for heliocentric redshift (e.g. of their host galaxies) in order to ensure $H_0$ measurements free of RLB.


title: Single Camera Training for Person Re-identification

abstract: Person re-identification (ReID) aims at finding the same person in different cameras. Training such systems usually requires a large amount of cross-camera pedestrians to be annotated from surveillance videos, which is labor-consuming especially when the number of cameras is large. Differently, this paper investigates ReID in an unexplored single-camera-training (SCT) setting, where each person in the training set appears in only one camera. To the best of our knowledge, this setting was never studied before. SCT enjoys the advantage of low-cost data collection and annotation, and thus eases ReID systems to be trained in a brand new environment. However, it raises major challenges due to the lack of cross-camera person occurrences, which conventional approaches heavily rely on to extract discriminative features. The key to dealing with the challenges in the SCT setting lies in designing an effective mechanism to complement cross-camera annotation. We start with a regular deep network for feature extraction, upon which we propose a novel loss function named multi-camera negative loss (MCNL). This is a metric learning loss motivated by probability, suggesting that in a multi-camera system, one image is more likely to be closer to the most similar negative sample in other cameras than to the most similar negative sample in the same camera. In experiments, MCNL significantly boosts ReID accuracy in the SCT setting, which paves the way of fast deployment of ReID systems with good performance on new target scenes.


title: Fried's theorem for boundary geometries of rank one symmetric spaces

abstract: After introducing the different boundary geometries of rank one symmetric spaces, we state and prove Fried's theorem in the general setting of all those geometries: a closed manifold with a similarity structure is either complete or the developing map is a covering onto the Heisenberg-type space deprived of a point.


title: Dynamic Approximate Shortest Paths and Beyond: Subquadratic and Worst-Case Update Time

abstract: Consider the following distance query for an $n$-node graph $G$ undergoing edge insertions and deletions: given two sets of nodes $I$ and $J$, return the distances between every pair of nodes in $I\times J$. This query is rather general and captures several versions of the dynamic shortest paths problem. In this paper, we develop an efficient $(1+\epsilon)$-approximation algorithm for this query using fast matrix multiplication. Our algorithm leads to answers for some open problems for Single-Source and All-Pairs Shortest Paths (SSSP and APSP), as well as for Diameter, Radius, and Eccentricities. Below are some highlights. Note that all our algorithms guarantee worst-case update time and are randomized (Monte Carlo), but do not need the oblivious adversary assumption. Subquadratic update time for SSSP, Diameter, Centralities, ect.: When we want to maintain distances from a single node explicitly (without queries), a fundamental question is to beat trivially calling Dijkstra's static algorithm after each update, taking $\Theta(n^2)$ update time on dense graphs. It was known to be improbable for exact algorithms and for combinatorial any-approximation algorithms to polynomially beat the $\Omega(n^2)$ bound (under some conjectures) [Roditty, Zwick, ESA'04; Abboud, V. Williams, FOCS'14]. Our algorithm with $I=\{s\}$ and $J=V(G)$ implies a $(1+\epsilon)$-approximation algorithm for this, guaranteeing $\tilde O(n^{1.823}/\epsilon^2)$ worst-case update time for directed graphs with positive real weights in $[1, W]$. With ideas from [Roditty, V. Williams, STOC'13], we also obtain the first subquadratic worst-case update time for $(5/3+\epsilon)$-approximating the eccentricities and $(1.5+\epsilon)$-approximating the diameter and radius for unweighted graphs (with small additive errors). [...]


title: Oldie is Goodie: Effective User Retention by In-game Promotion Event Analysis

abstract: For sustainable growth and profitability, online game companies are constantly carrying out various events to attract new game users, to maximize return users, and to minimize churn users in online games. Because minimizing churn users is the most cost-effective method, many pieces of research are being conducted on ways to predict and to prevent churns in advance. However, there is still little research on the validity of event effects. In this study, we investigate whether game events influence the user churn rate and confirm the difference in how game users respond to events by character level, item purchasing frequency and game-playing time band.


title: In Conclusion Not Repetition: Comprehensive Abstractive Summarization With Diversified Attention Based On Determinantal Point Processes

abstract: Various Seq2Seq learning models designed for machine translation were applied for abstractive summarization task recently. Despite these models provide high ROUGE scores, they are limited to generate comprehensive summaries with a high level of abstraction due to its degenerated attention distribution. We introduce Diverse Convolutional Seq2Seq Model(DivCNN Seq2Seq) using Determinantal Point Processes methods(Micro DPPs and Macro DPPs) to produce attention distribution considering both quality and diversity. Without breaking the end to end architecture, DivCNN Seq2Seq achieves a higher level of comprehensiveness compared to vanilla models and strong baselines. All the reproducible codes and datasets are available online.


title: A high-level characterisation and generalisation of communication-avoiding programming techniques

abstract: Today's hardware's explosion of concurrency plus the explosion of data we build upon in both machine learning and scientific simulations have multifaceted impact on how we write our codes. They have changed our notion of performance and, hence, of what a good code is: Good code has, first of all, to be able to exploit the unprecedented levels of parallelism. To do so, it has to manage to move the compute data into the compute facilities on time. As communication and memory bandwidth cannot keep pace with the growth in compute capabilities and as latency increases---at least relative to what the hardware could do---communication-avoiding techniques gain importance. We characterise and classify the field of communication-avoiding algorithms. A review of some examples of communication-avoiding programming by means of our new terminology shows that we are well-advised to broaden our notion of "communication-avoiding" and to look beyond numerical linear algebra. An abstraction, generalisation and weakening of the term enriches our toolset of how to tackle the data movement challenges. Through this, we eventually gain access to a richer set of tools that we can use to deliver proper code for current and upcoming hardware generations.


title: Multi-Person 3D Human Pose Estimation from Monocular Images

abstract: Multi-person 3D human pose estimation from a single image is a challenging problem, especially for in-the-wild settings due to the lack of 3D annotated data. We propose HG-RCNN, a Mask-RCNN based network that also leverages the benefits of the Hourglass architecture for multi-person 3D Human Pose Estimation. A two-staged approach is presented that first estimates the 2D keypoints in every Region of Interest (RoI) and then lifts the estimated keypoints to 3D. Finally, the estimated 3D poses are placed in camera-coordinates using weak-perspective projection assumption and joint optimization of focal length and root translations. The result is a simple and modular network for multi-person 3D human pose estimation that does not require any multi-person 3D pose dataset. Despite its simple formulation, HG-RCNN achieves the state-of-the-art results on MuPoTS-3D while also approximating the 3D pose in the camera-coordinate system.


title: MV-Algebras as Sheaves of l-groups on Fuzzy Topological Spaces

abstract: We introduce the concept of fuzzy sheaf as a natural generalisation of a sheaf over a topological space in the context of fuzzy topologies. Then we prove a representation for a class of MV-algebras in which the representing object is an MV-sheaf of lattice-ordered Abelian groups, namely, a fuzzy sheaf in which the base (fuzzy) topological space is an MV-topological space and the stalks are Abelian $\ell$-groups.


title: IFR-Net: Iterative Feature Refinement Network for Compressed Sensing MRI

abstract: To improve the compressive sensing MRI (CS-MRI) approaches in terms of fine structure loss under high acceleration factors, we have proposed an iterative feature refinement model (IFR-CS), equipped with fixed transforms, to restore the meaningful structures and details. Nevertheless, the proposed IFR-CS still has some limitations, such as the selection of hyper-parameters, a lengthy reconstruction time, and the fixed sparsifying transform. To alleviate these issues, we unroll the iterative feature refinement procedures in IFR-CS to a supervised model-driven network, dubbed IFR-Net. Equipped with training data pairs, both regularization parameter and the utmost feature refinement operator in IFR-CS become trainable. Additionally, inspired by the powerful representation capability of convolutional neural network (CNN), CNN-based inversion blocks are explored in the sparsity-promoting denoising module to generalize the sparsity-enforcing operator. Extensive experiments on both simulated and in vivo MR datasets have shown that the proposed network possesses a strong capability to capture image details and preserve well the structural information with fast reconstruction speed.


title: Continuous Collision Detection for a Robotic Arm Mounted on a Cable-Driven Parallel Robot

abstract: A continuous collision checking method for a cable-driven parallel robot with an embarked robotic arm is proposed in this paper. The method aims at validating paths by checking for collisions between any pair of robot bodies (mobile platform, cables, and arm links). For a pair of bodies, an upper bound on their relative velocity and a lower bound on the distance between the bodies are computed and used to validate a portion of the path. These computations are done repeatedly until a collision is found or the path is validated. The method is integrated within the Humanoid Path Planner (HPP) software, tested with the cable-driven parallel robot CoGiRo, and compared to a discretized validation method.


title: An adaptive edge-based smoothed finite element method (ES-FEM) for phase-field modeling of fractures at large deformations

abstract: This work presents the Griffith-type phase-field formation at large deformation in the framework of adaptive edge-based smoothed finite element method (ES-FEM) for the first time. Therein the phase-field modeling of fractures has attracted widespread interest by virtue of its outstanding performance in dealing with complex cracks. The ES-FEM is an excellent member of the S-FEM family developed in combination with meshless ideas and finite element method (FEM), which is characterized by higher accuracy, softer stiffness, and insensitive to mesh distortion. Given that, the advantages of the phase-field method (PFM) and ES-FEM are fully combined by the approach proposed in this paper. With the costly computational overhead of PFM and ES-FEM in mind, a well-designed multi-level adaptive mesh strategy was developed, which considerably improved the computational efficiency. Furthermore, the detailed numerical implementation for the coupling of PFM and ES-FEM is outlined. Several representative numerical examples were recalculated based on the proposed method, and its effectiveness is verified by comparison with the results in experiments and literature. In particular, an experiment in which cracks deflected in rubber due to impinging on a weak interface was firstly reproduced.


title: In-vivo characterization of optically trapped Brownianprobes at a glance

abstract: Calibration of optically trapped particles in-vivo has been complicated given the frequency dependence and spatial inhomogeneity of the cytoplasmic viscosity, and the requirement of accurate knowledge of the medium refractive index. Further, it has been demonstrated that the medium viscosity is dependent upon the measurement probe leading to reliability issues for measurements with even micrometer sized particles. Here, we employ a recent extension of Jeffery's model of viscoelasticity in the microscopic domain to fit the passive motional power spectra of micrometer-sized optically trapped particles embedded in a viscoelastic medium. We find excellent agreement between the 0 Hz viscosity in MCF7 cells and the typical values of viscosity in literature, between 2 to 16 mPa sec expected for the typical concentration of proteins inside the cytoplasmic solvent. This bypasses the dependence on probe size by relying upon small thermal displacements. Our measurements of the relaxation time also match values reported with magnetic tweezers, at about 0.1 sec. Finally, we calibrate the optical tweezers and demonstrate the efficacy of the technique to the study of in-vivo translational motion.


title: On the computation of overorders

abstract: The computation of a maximal order of an order in a semisimple algebra over a global field is a classical well-studied problem in algorithmic number theory. In this paper we consider the related problems of computing all minimal overorders as well as all overorders of a given order. We use techniques from algorithmic representation theory and the theory of minimal integral ring extensions to obtain efficient and practical algorithms, whose implementation is publicly available.


title: Learning ASR-Robust Contextualized Embeddings for Spoken Language Understanding

abstract: Employing pre-trained language models (LM) to extract contextualized word representations has achieved state-of-the-art performance on various NLP tasks. However, applying this technique to noisy transcripts generated by automatic speech recognizer (ASR) is concerned. Therefore, this paper focuses on making contextualized representations more ASR-robust. We propose a novel confusion-aware fine-tuning method to mitigate the impact of ASR errors to pre-trained LMs. Specifically, we fine-tune LMs to produce similar representations for acoustically confusable words that are obtained from word confusion networks (WCNs) produced by ASR. Experiments on the benchmark ATIS dataset show that the proposed method significantly improves the performance of spoken language understanding when performing on ASR transcripts. Our source code is available at https://github.com/MiuLab/SpokenVec


title: Almost Sure Convergence of Randomized Urn Models with Application to Elephant Random Walk

abstract: We consider a randomized urn model with objects of finitely many colors. The replacement matrices are random, and are conditionally independent of the color chosen given the past. Further, the conditional expectations of the replacement matrices are close to an almost surely irreducible matrix. We obtain almost sure and $L^1$ convergence of the configuration vector, the proportion vector and the count vector. We show that first moment is sufficient for i.i.d.\ replacement matrices independent of past color choices. This significantly improves the similar results for urn models obtained in Athreya and Ney (1972) requiring $L\log_+ L$ moments. For more general adaptive sequence of replacement matrices, a little more than $L\log_+ L$ condition is required. Similar results based on $L^1$ moment assumption alone has been considered independently and in parallel in Zhang (2018). Finally, using the result, we study a delayed elephant random walk on the nonnegative orthant in $d$ dimension with random memory.


title: Active inference: demystified and compared

abstract: Active inference is a first principle account of how autonomous agents operate in dynamic, non-stationary environments. This problem is also considered in reinforcement learning (RL), but limited work exists on comparing the two approaches on the same discrete-state environments. In this paper, we provide: 1) an accessible overview of the discrete-state formulation of active inference, highlighting natural behaviors in active inference that are generally engineered in RL; 2) an explicit discrete-state comparison between active inference and RL on an OpenAI gym baseline. We begin by providing a condensed overview of the active inference literature, in particular viewing the various natural behaviors of active inference agents through the lens of RL. We show that by operating in a pure belief-based setting, active inference agents can carry out epistemic exploration, and account for uncertainty about their environment in a Bayes-optimal fashion. Furthermore, we show that the reliance on an explicit reward signal in RL is removed in active inference, where reward can simply be treated as another observation; even in the total absence of rewards, agent behaviors are learned through preference learning. We make these properties explicit by showing two scenarios in which active inference agents can infer behaviors in reward-free environments compared to both Q-learning and Bayesian model-based RL agents; by placing zero prior preferences over rewards and by learning the prior preferences over the observations corresponding to reward. We conclude by noting that this formalism can be applied to more complex settings if appropriate generative models can be formulated. In short, we aim to demystify the behavior of active inference agents by presenting an accessible discrete state-space and time formulation, and demonstrate these behaviors in a OpenAI gym environment, alongside RL agents.