title: Asteroid models reconstructed from ATLAS photometry

abstract: The Asteroid Terrestrial-impact Last Alert System (ATLAS) is an all-sky survey primarily aimed at detecting potentially hazardous near-Earth asteroids. Apart from the astrometry of asteroids, it also produces their photometric measurements that contain information about asteroid rotation and their shape. To increase the current number of asteroids with a known shape and spin state, we reconstructed asteroid models from ATLAS photometry that was available for approximately 180,000 asteroids observed between 2015 and 2018. We made use of the light-curve inversion method implemented in the Asteroid@home project to process ATLAS photometry for roughly 100,000 asteroids with more than a hundred individual brightness measurements. By scanning the period and pole parameter space, we selected those best-fit models that were, according to our setup, a unique solution for the inverse problem. We derived ~2750 unique models, 950 of them were already reconstructed from other data and published. The remaining 1800 models are new. About half of them are only partial models, with an unconstrained pole ecliptic longitude. Together with the shape and spin, we also determined for each modeled asteroid its color index from the cyan and orange filter used by the ATLAS survey. We also show the correlations between the color index, albedo, and slope of the phase-angle function. The current analysis is the first inversion of ATLAS asteroid photometry, and it is the first step in exploiting the huge scientific potential that ATLAS photometry has. ATLAS continues to observe, and in the future, this data, together with other independent photometric measurements, can be inverted to produce more refined asteroid models.


title: Design and Implementation of a Mobile Exergaming Platform

abstract: This paper describes the design, implementation, and initial testing of a reusable platform for the creation of pervasive games with geo-localization services. We concentrate on role-playing games built by combining several types of simpler mini-games having three major components: Quests; Collectables; and Non-player characters (NPC). Quests encourage players to be active in their physical environment and take part in collaborative play; Collectables provide motivation; and NPCs enable player-friendly interaction with the platform. Each of these elements poses different technical requirements, which were met by implementing the gaming platform using the inTrack pervasive middle-ware being developed by our group. Several sample games were implemented and tested within the urban environment of Kyoto, Japan, using gaming clients running on mobile phones from NTT DoCoMo, Japan's largest mobile provider.


title: Geometric aspects of covariant Wick rotation

abstract: We discuss the generic geometric properties of metrics $\widehat {g}_{ab}$ constructed from Lorentzian metric $g_{ab}$ and a nowhere vanishing, hypersurface orthogonal, timelike vector field $u^a$. The metric ${\widehat g}_{ab}$ has Euclidean signature in a certain domain, with the transition to Lorentzian signature occurring at some hypersurface $\Sigma$ orthogonal to $u^a$. Geometry associated with ${\widehat g}_{ab}$ has recently been shown to yield remarkable new insights for classical and quantum gravity. In this work, we prove several general results applicable in physically relevant spacetimes for congruences $u^i$ with non-zero acceleration $a^i$. We present as examples the cases of dynamical spherically symmetric spacetimes and spacetimes with maximal symmetry. We also investigate this formalism within the context of thermal effects in curved spacetimes with horizons. Specifically, we discuss: (i) the Holonomy of loops lying partially or wholly in the Euclidean regime. We show that the contribution of the Euclidean domain to holonomy is completely determined by extrinsic curvature $K_{ab}$ of $\Sigma$ and acceleration $a^i$. (ii) We also compute entropy using this formalism for simple field theories and obtain foliation dependent corrections for the Lanczos-Lovelock gravity, Bekenstein-Hawking entropy relation in four spacetime dimensions.


title: Quantifying Statistical Significance of Neural Network-based Image Segmentation by Selective Inference

abstract: Although a vast body of literature relates to image segmentation methods that use deep neural networks (DNNs), less attention has been paid to assessing the statistical reliability of segmentation results. In this study, we interpret the segmentation results as hypotheses driven by DNN (called DNN-driven hypotheses) and propose a method by which to quantify the reliability of these hypotheses within a statistical hypothesis testing framework. Specifically, we consider a statistical hypothesis test for the difference between the object and background regions. This problem is challenging, as the difference would be falsely large because of the adaptation of the DNN to the data. To overcome this difficulty, we introduce a conditional selective inference (SI) framework -- a new statistical inference framework for data-driven hypotheses that has recently received considerable attention -- to compute exact (non-asymptotic) valid p-values for the segmentation results. To use the conditional SI framework for DNN-based segmentation, we develop a new SI algorithm based on the homotopy method, which enables us to derive the exact (non-asymptotic) sampling distribution of DNN-driven hypothesis. We conduct experiments on both synthetic and real-world datasets, through which we offer evidence that our proposed method can successfully control the false positive rate, has good performance in terms of computational efficiency, and provides good results when applied to medical image data.


title: Class-Wise Difficulty-Balanced Loss for Solving Class-Imbalance

abstract: Class-imbalance is one of the major challenges in real world datasets, where a few classes (called majority classes) constitute much more data samples than the rest (called minority classes). Learning deep neural networks using such datasets leads to performances that are typically biased towards the majority classes. Most of the prior works try to solve class-imbalance by assigning more weights to the minority classes in various manners (e.g., data re-sampling, cost-sensitive learning). However, we argue that the number of available training data may not be always a good clue to determine the weighting strategy because some of the minority classes might be sufficiently represented even by a small number of training data. Overweighting samples of such classes can lead to drop in the model's overall performance. We claim that the 'difficulty' of a class as perceived by the model is more important to determine the weighting. In this light, we propose a novel loss function named Class-wise Difficulty-Balanced loss, or CDB loss, which dynamically distributes weights to each sample according to the difficulty of the class that the sample belongs to. Note that the assigned weights dynamically change as the 'difficulty' for the model may change with the learning progress. Extensive experiments are conducted on both image (artificially induced class-imbalanced MNIST, long-tailed CIFAR and ImageNet-LT) and video (EGTEA) datasets. The results show that CDB loss consistently outperforms the recently proposed loss functions on class-imbalanced datasets irrespective of the data type (i.e., video or image).


title: PMI-Masking: Principled masking of correlated spans

abstract: Masking tokens uniformly at random constitutes a common flaw in the pretraining of Masked Language Models (MLMs) such as BERT. We show that such uniform masking allows an MLM to minimize its training objective by latching onto shallow local signals, leading to pretraining inefficiency and suboptimal downstream performance. To address this flaw, we propose PMI-Masking, a principled masking strategy based on the concept of Pointwise Mutual Information (PMI), which jointly masks a token n-gram if it exhibits high collocation over the corpus. PMI-Masking motivates, unifies, and improves upon prior more heuristic approaches that attempt to address the drawback of random uniform token masking, such as whole-word masking, entity/phrase masking, and random-span masking. Specifically, we show experimentally that PMI-Masking reaches the performance of prior masking approaches in half the training time, and consistently improves performance at the end of training.


title: Lepton angular distribution of $W$ boson productions

abstract: The lepton angular distribution coefficients $A_i$ for $Z$ boson production in $pp$ and $\bar p p$ collisions have been measured at the LHC and the Tevatron. A recent study showed that many features of the measured angular distribution coefficients, including the transverse momentum ($q_T$) and rapidity dependencies and the violation of the Lam-Tung relation, can be well described using an intuitive geometric approach. In this paper, we extend this geometric approach to describe the angular distribution coefficients for $W$ boson produced in $\bar{p} p$ collisions at the Tevatron. We first compare the data with a perturbative QCD calculation at $\mathcal{O}(\alpha_s^2)$. We then show that the data and QCD calculations can be well described with the geometric approach. Implications for future studies at the LHC energy are also discussed.


title: Groupoids decomposition, propagation and K-theory

abstract: In this paper, we streamline the technique of groupoids coarse decomposition for purpose of K-theory computations of groupoids crossed products. This technique was first introduced by Guoliang Yu in his proof of Novikov conjecture for groups with finite asymptotic dimension. The main tool we use for these computations is controlled operator K-theory.


title: Strong Coupling Quantum Thermodynamics with Renormalized Hamiltonian and Temperature

abstract: We develop the strong coupling quantum thermodynamics based on the solution of the exact master equation. We find that both the Hamiltonian and the temperature must be renormalized due to the system-reservoir couplings. With the renormalized Hamiltonian and temperature, the exact steady state of open quantum systems can be expressed as a standard Gibbs state. The exact steady-state particle distributions obey the Bose-Einstein distribution or the Fermi-Dirac distribution only for the renormalized energy and temperature. In this formulation, heat and work are quantum mechanically defined, from which we compute the specific heat and examine the consistency of the theory. Consequently, thermodynamic laws and statistical mechanics emerge naturally and rigorously from quantum evolution of open systems.


title: TabEAno: Table to Knowledge Graph Entity Annotation

abstract: In the Open Data era, a large number of table resources have been made available on the Web and data portals. However, it is difficult to directly utilize such data due to the ambiguity of entities, name variations, heterogeneous schema, missing, or incomplete metadata. To address these issues, we propose a novel approach, namely TabEAno, to semantically annotate table rows toward knowledge graph entities. Specifically, we introduce a "two-cells" lookup strategy bases on the assumption that there is an existing logical relation occurring in the knowledge graph between the two closed cells in the same row of the table. Despite the simplicity of the approach, TabEAno outperforms the state of the art approaches in the two standard datasets e.g, T2D, Limaye with, and in the large-scale Wikipedia tables dataset.


title: On the Frailty of Universal POS Tags for Neural UD Parsers

abstract: We present an analysis on the effect UPOS accuracy has on parsing performance. Results suggest that leveraging UPOS tags as features for neural parsers requires a prohibitively high tagging accuracy and that the use of gold tags offers a non-linear increase in performance, suggesting some sort of exceptionality. We also investigate what aspects of predicted UPOS tags impact parsing accuracy the most, highlighting some potentially meaningful linguistic facets of the problem.


title: Properties of amorphous CoZr(RE) (RE=Gd, Sm, Dy) films with various uniaxial anisotropies, prepared by a new process

abstract: If a DC magnetic field is applied parallel to the plane of amorphous CoZr(RE) thin films during sputter depositing, a uniaxial anisotropy is formed the direction of which depends upon the choice of RE substituted and its concentration. When RE = Gd a perpendicular anisotropy K, forms over a large concentration range, a spin reorientation process being at the origin of the process. A well-defined K, is developed also in CoFeZrGd and CoZrGdSm films. CoZrGdDy films exhibit simultaneously a perpendicular and an in-plane uniaxial anisotropy. The related magnetization process and domain structures are quite peculiar.


title: On the existence of optimal shapes in architecture

abstract: We consider shape optimization problems for elasticity systems in architecture. A typical question in this context is to identify a structure of maximal stability close to an initially proposed one. We show the existence of such an optimally shaped structure within classes of bounded Lipschitz domains and within wider classes of bounded uniform domains with boundaries that may be fractal. In the first case the optimal shape realizes the infimum of a given energy functional over the class, in the second case it realizes the minimum. As a concrete application we discuss the existence of maximally stable roof structures under snow loads.


title: Small-Scale Dynamo in Supernova-Driven Interstellar Turbulence

abstract: Magnetic fields grow quickly even at early cosmological times, suggesting the action of a small-scale dynamo (SSD) in the interstellar medium of galaxies. Many studies have focused on idealized turbulent driving of the SSD. Here we simulate more realistic supernova-driven turbulence to determine whether it can drive an SSD. Magnetic field growth occurring in our models appears inconsistent with simple tangling of magnetic fields, but consistent with SSD action, reproducing and confirming models by Balsara et al. (2004) that did not include physical resistivity $\eta$. We vary $\eta$, as well as the numerical resolution and supernova rate, $\dot\sigma$, to delineate the regime in which an SSD occurs. For a given $\dot\sigma$ we find convergence for SSD growth rate with resolution of a parsec. For $\dot\sigma\simeq\dot\sigma_{\rm sn}$, with $\dot\sigma_{\rm sn}$ the solar neighbourhood rate, the critical resistivity below which an SSD occurs is $0.005>\eta_{\rm crit}>0.001\,\rm kpc^{-1}\,\rm km s^{-1}$, and this increases with the supernova rate. Across the modelled range of 0.5--4 pc resolution we find that for $\eta<\eta_{\rm crit}$, the SSD saturates at about 5% of kinetic energy equipartition, independent of growth rate. In the range $0.2\dot\sigma_{\rm sn}\leq \dot\sigma\leq8\dot\sigma_{\rm sn}$ growth rate increases with $\dot\sigma$. SSDs in the supernova-driven interstellar medium commonly exhibit erratic growth.


title: Solving an inverse heat convection problem with an implicit forward operator by using a Projected Quasi-Newton method

abstract: We consider the quasilinear 1D inverse heat convection problem (IHCP) of determining the enthalpy-dependent heat fluxes from noisy internal enthalpy measurements. This problem arises in the Accelerated Cooling (ACC) process of producing thermomechanically controlled processed (TMCP) heavy plates made of steel. In order to adjust the complex microstructure of the underlying material, the Leidenfrost behavior of the hot surfaces with respect to the application of the cooling fluid has to be studied. Since the heat fluxes depend on the enthalpy and hence on the solution of the underlying initial boundary value problem (IBVP), the parameter-to-solution operator, and thus the forward operator of the inverse problem, can only be defined implicitly. To guarantee well-defined operators, we study two approaches for showing existence and uniqueness of solutions of the IBVP. One approach deals with the theory of pseudomonotone operators and so-called strong solutions in Sobolev-Bochner spaces. The other theory uses classical solutions in H\"older spaces. Whereas the first approach yields a solution under milder assumptions, it fails to show the uniqueness result in contrast to the second approach. Furthermore, we propose a convenient parametrization approach for the nonlinear heat fluxes in order to decouple the parameter-to-solution relation and use an iterative solver based on a Projected Quasi-Newton (PQN) method together with box-constraints to solve the inverse problem. For numerical experiments, we derive the necessary gradient information of the objective functional and use the discrepancy principle as a stopping rule. Numerical tests show that the PQN method outperforms the Landweber method with respect to computing time and approximation accuracy.


title: Data Augmentation at the LHC through Analysis-specific Fast Simulation with Deep Learning

abstract: We present a fast simulation application based on a Deep Neural Network, designed to create large analysis-specific datasets. Taking as an example the generation of W+jet events produced in sqrt(s)= 13 TeV proton-proton collisions, we train a neural network to model detector resolution effects as a transfer function acting on an analysis-specific set of relevant features, computed at generation level, i.e., in absence of detector effects. Based on this model, we propose a novel fast-simulation workflow that starts from a large amount of generator-level events to deliver large analysis-specific samples. The adoption of this approach would result in about an order-of-magnitude reduction in computing and storage requirements for the collision simulation workflow. This strategy could help the high energy physics community to face the computing challenges of the future High-Luminosity LHC.


title: Possible multi-orbital ground state in CeCu$_2$Si$_2$

abstract: The crystal-field ground state wave function of CeCu$_2$Si$_2$ has been investigated with linear polarized $M$-edge x-ray absorption spectroscopy from 250mK to 250K, thus covering the superconducting ($T_{\text{c}}$=0.6K), the Kondo ($T_{\text{K}}$$\approx$20K) as well as the Curie-Weiss regime. The comparison with full-multiplet calculations shows that the temperature dependence of the experimental linear dichroism is well explained with a $\Gamma_7^{(1)}$ crystal-field ground-state and the thermal population of excited states at around 30meV. The crystal-field scheme does not change throughout the entire temperature range thus making the scenario of orbital switching unlikely. Spectroscopic evidence for the presence of the Ce 4$f^0$ configuration in the ground state is consistent with the possibility for a multi-orbital character of the ground state. We estimate from the Kondo temperature and crystal-field splitting energies that several percents of the higher lying $\Gamma_6$ state and $\Gamma_7^{(2)}$ crystal-field states are mixed into the primarily $\Gamma_7^{(1)}$ ground state. This estimate is also supported by re-normalized band-structure calculations that uses the experimentally determined crystal-field scheme.


title: Factor and factor loading augmented estimators for panel regression

abstract: This paper considers linear panel data models where the dependence of the regressors and the unobservables is modelled through a factor structure. The asymptotic setting is such that the number of time periods and the sample size both go to infinity. Non-strong factors are allowed and the number of factors can grow to infinity with the sample size. We study a class of two-step estimators of the regression coefficients. In the first step, factors and factor loadings are estimated. Then, the second step corresponds to the panel regression of the outcome on the regressors and the estimates of the factors and the factor loadings from the first step. Different methods can be used in the first step while the second step is unique. We derive sufficient conditions on the first-step estimator and the data generating process under which the two-step estimator is asymptotically normal. Assumptions under which using an approach based on principal components analysis in the first step yields an asymptotically normal estimator are also given. The two-step procedure exhibits good finite sample properties in simulations.


title: Discern: Discourse-Aware Entailment Reasoning Network for Conversational Machine Reading

abstract: Document interpretation and dialog understanding are the two major challenges for conversational machine reading. In this work, we propose Discern, a discourse-aware entailment reasoning network to strengthen the connection and enhance the understanding for both document and dialog. Specifically, we split the document into clause-like elementary discourse units (EDU) using a pre-trained discourse segmentation model, and we train our model in a weakly-supervised manner to predict whether each EDU is entailed by the user feedback in a conversation. Based on the learned EDU and entailment representations, we either reply to the user our final decision "yes/no/irrelevant" of the initial question, or generate a follow-up question to inquiry more information. Our experiments on the ShARC benchmark (blind, held-out test set) show that Discern achieves state-of-the-art results of 78.3% macro-averaged accuracy on decision making and 64.0 BLEU1 on follow-up question generation. Code and models are released at https://github.com/Yifan-Gao/Discern.


title: On Monge-Amp\`ere volumes of direct images

abstract: This paper is devoted to the study of the asymptotics of Monge-Amp\`ere volumes of direct images associated with high tensor powers of an ample line bundle. We study the leading term of this asymptotics and provide a classification of bundles saturating the topological bound of Demailly. In the special case of high symmetric powers of ample vector bundles, this provides a characterization of vector bundles admitting projectively flat Hermitian structures.


title: Detailed derivation of scale-Space Energy Density Transport Equation for Compressible Inhomogeneous Turbulent Flows

abstract: Scale-space energy density function, $E(\mathbf{x}, \mathbf{r})$, is defined as the derivative of the two-point velocity correlation. The function E describes the turbulent kinetic energy density of scale r at a location x and can be considered as the generalization of spectral energy density function concept to inhomogeneous flows. We derive the transport equation for the scale-space energy density function in compressible flows to develop a better understanding of scale-to-scale energy transfer and the degree of non-locality of the energy interactions. Specifically, the effects of variable-density and dilatation on turbulence energy dynamics are identified. It is expected that these findings will yield deeper insight into compressibility effects leading to improved models at all levels of closure for mass flux, density-variance, pressure-dilatation, pressure-strain correlation and dilatational dissipation processes.


title: Depth-wise layering of 3d images using dense depth maps: a threshold based approach

abstract: Image segmentation has long been a basic problem in computer vision. Depth-wise Layering is a kind of segmentation that slices an image in a depth-wise sequence unlike the conventional image segmentation problems dealing with surface-wise decomposition. The proposed Depth-wise Layering technique uses a single depth image of a static scene to slice it into multiple layers. The technique employs a thresholding approach to segment rows of the dense depth map into smaller partitions called Line-Segments in this paper. Then, it uses the line-segment labelling method to identify number of objects and layers of the scene independently. The final stage is to link objects of the scene to their respective object-layers. We evaluate the efficiency of the proposed technique by applying that on many images along with their dense depth maps. The experiments have shown promising results of layering.


title: Loeb Extension and Loeb Equivalence

abstract: In Keisler and Sun (2004), the authors raise several open problems on Loeb equivalences between various internal probability spaces. We provide counter-examples for the first two open problems. Moreover, we reduce the third open problem to the following question: Is the internal algebra generated by the union of two Loeb equivalent internal algebras a subset of the Loeb extension of any one of the internal algebra?


title: Defect trapping and phase separation in chemically doped bulk AgF2

abstract: We report a computational survey of chemical doping of silver(II) fluoride, an oxocuprate analog. We find that the ground-state solutions exhibit strong tendency for localization of defects and for phase separation. The additional electronic states are strongly localized and the resulting doped phases exhibit insulating properties. Our results, together with previous insight from experimental attempts, indicate that chemical doping may not be a feasible way towards high-temperature superconductivity in bulk silver(II) fluoride.


title: Deep Distributional Time Series Models and the Probabilistic Forecasting of Intraday Electricity Prices

abstract: Recurrent neural networks (RNNs) with rich feature vectors of past values can provide accurate point forecasts for series that exhibit complex serial dependence. We propose two approaches to constructing deep time series probabilistic models based on a variant of RNN called an echo state network (ESN). The first is where the output layer of the ESN has stochastic disturbances and a shrinkage prior for additional regularization. The second approach employs the implicit copula of an ESN with Gaussian disturbances, which is a deep copula process on the feature space. Combining this copula with a non-parametrically estimated marginal distribution produces a deep distributional time series model. The resulting probabilistic forecasts are deep functions of the feature vector and also marginally calibrated. In both approaches, Bayesian Markov chain Monte Carlo methods are used to estimate the models and compute forecasts. The proposed models are suitable for the complex task of forecasting intraday electricity prices. Using data from the Australian National Electricity Market, we show that our deep time series models provide accurate short term probabilistic price forecasts, with the copula model dominating. Moreover, the models provide a flexible framework for incorporating probabilistic forecasts of electricity demand as additional features, which increases upper tail forecast accuracy from the copula model significantly.


title: Unbiased Gradient Estimation for Variational Auto-Encoders using Coupled Markov Chains

abstract: The variational auto-encoder (VAE) is a deep latent variable model that has two neural networks in an autoencoder-like architecture; one of them parameterizes the model's likelihood. Fitting its parameters via maximum likelihood (ML) is challenging since the computation of the marginal likelihood involves an intractable integral over the latent space; thus the VAE is trained instead by maximizing a variational lower bound. Here, we develop a ML training scheme for VAEs by introducing unbiased estimators of the log-likelihood gradient. We obtain the estimators by augmenting the latent space with a set of importance samples, similarly to the importance weighted auto-encoder (IWAE), and then constructing a Markov chain Monte Carlo coupling procedure on this augmented space. We provide the conditions under which the estimators can be computed in finite time and with finite variance. We show experimentally that VAEs fitted with unbiased estimators exhibit better predictive performance.


title: Soft x-ray irradiation induced metallization of layered TiNCl

abstract: We have performed soft x-ray spectroscopy in order to study the photoirradiation time dependence of the valence band structure and chemical states of layered transition metal nitride chloride TiNCl. Under the soft x-ray irradiation, the intensities of the states near the Fermi level (EF) and the Ti3+ component increased, while the Cl 2p intensity decreased. Ti 2p-3d resonance photoemission spectroscopy confirmed a distinctive Fermi edge with Ti 3d character. These results indicate the photo-induced metallization originates from deintercalation due to Cl desorption, and thus provide a new carrier doping method that controls the conducting properties of TiNCl.


title: Lattice Boltzmann scheme for hydrodynamic equation of phonon transport

abstract: In this work, a lattice Boltzmann scheme is developed for numerical solution of the phonon Boltzmann equation under Callaway's dual relaxation model in the hydrodynamic limit. Through a Chapman-Enskog expansion to the lattice Boltzmann equation with the resistive scattering term as an equivalent source term, we recover a phonon hydrodynamic equation which is reduced to the Guyer-Krumhansl heat transport equation and the Fourier's law in the limit of dominant normal scattering and dominant resistive scattering respectively. Several cases of heat transport from diffusive regime to hydrodynamic regime are modeled extensively by the present numerical scheme, which produces results in good agreement with the benchmark solutions. Two well-known phonon hydrodynamic phenomena including the phonon Poiseuille flow and second sound propagation are well captured by the lattice Boltzmann scheme. This work will promote the numerical modeling and deeper understanding of the non-Fourier heat transport induced by phonon normal scattering.


title: Projection Efficient Subgradient Method and Optimal Nonsmooth Frank-Wolfe Method

abstract: We consider the classical setting of optimizing a nonsmooth Lipschitz continuous convex function over a convex constraint set, when having access to a (stochastic) first-order oracle (FO) for the function and a projection oracle (PO) for the constraint set. It is well known that to achieve $\epsilon$-suboptimality in high-dimensions, $\Theta(\epsilon^{-2})$ FO calls are necessary. This is achieved by the projected subgradient method (PGD). However, PGD also entails $O(\epsilon^{-2})$ PO calls, which may be computationally costlier than FO calls (e.g. nuclear norm constraints). Improving this PO calls complexity of PGD is largely unexplored, despite the fundamental nature of this problem and extensive literature. We present first such improvement. This only requires a mild assumption that the objective function, when extended to a slightly larger neighborhood of the constraint set, still remains Lipschitz and accessible via FO. In particular, we introduce MOPES method, which carefully combines Moreau-Yosida smoothing and accelerated first-order schemes. This is guaranteed to find a feasible $\epsilon$-suboptimal solution using only $O(\epsilon^{-1})$ PO calls and optimal $O(\epsilon^{-2})$ FO calls. Further, instead of a PO if we only have a linear minimization oracle (LMO, a la Frank-Wolfe) to access the constraint set, an extension of our method, MOLES, finds a feasible $\epsilon$-suboptimal solution using $O(\epsilon^{-2})$ LMO calls and FO calls---both match known lower bounds, resolving a question left open since White (1993). Our experiments confirm that these methods achieve significant speedups over the state-of-the-art, for a problem with costly PO and LMO calls.


title: Heat flow on 1-forms under lower Ricci bounds. Functional inequalities, spectral theory, and heat kernel

abstract: We study the canonical heat flow $(\mathsf{H}_t)_{t\geq 0}$ on the cotangent module $L^2(T^*M)$ over an $\mathrm{RCD}(K,\infty)$ space $(M,\mathsf{d},\mathfrak{m})$, $K\in\boldsymbol{\mathrm{R}}$. We show Hess-Schrader-Uhlenbrock's inequality and, if $(M,\mathsf{d},\mathfrak{m})$ is also an $\mathrm{RCD}^*(K,N)$ space, $N\in(1,\infty)$, Bakry-Ledoux's inequality for $(\mathsf{H}_t)_{t\geq 0}$ w.r.t. the heat flow $(\mathsf{P}_t)_{t\geq 0}$ on $L^2(M)$. Variable versions of these estimates are discussed as well. In conjunction with a study of logarithmic Sobolev inequalities for $1$-forms, the previous inequalities yield various $L^p$-properties of $(\mathsf{H}_t)_{t\geq 0}$, $p\in [1,\infty]$. Then we establish explicit inclusions between the spectrum of its generator, the Hodge Laplacian $\smash{\vec{\Delta}}$, of the negative functional Laplacian $-\Delta$, and of the Schr\"odinger operator $-\Delta+K$. In the $\mathrm{RCD}^*(K,N)$ case, we prove compactness of $\smash{\vec{\Delta}^{-1}}$ if $M$ is compact, and the independence of the $L^p$-spectrum of $\smash{\vec{\Delta}}$ on $p \in [1,\infty]$ under a volume growth condition. We terminate by giving an appropriate interpretation of a heat kernel for $(\mathsf{H}_t)_{t\geq 0}$. We show its existence in full generality without any local compactness or doubling, and derive fundamental estimates and properties of it.


title: Towards near-exact solutions of molecular electronic structure: Full coupled-cluster reduction with a second-order perturbative correction

abstract: We introduce a new augmented adaptation of the recently developed full coupled-cluster reduction (FCCR) with a second-order perturbative correction, abbreviated as FCCR(2). FCCR is a selected coupled-cluster expansion aimed at optimally reducing the excitation manifold and commutator expansions for high-rank excitations to obtain accurate solutions of the electronic Schrodinger equation in a size-extensive manner. The present FCCR(2) enables the estimation of the residual correlation of FCCR by the second-order perturbative correction $E^{(2)}$ from the complementary space of the FCCR projection manifold. The linear relationship between $E^{(2)}$ and the energy of FCCR(2) allows accurate estimates of near-exact energies for a wide variety of molecules with strong electron correlations. The potential of the method is demonstrated using challenging cases, such as the ground state electronic energy of the benzene molecule in equilibrium and stretched geometries, and the isomerization energy of the transition metal complex, [Cu(NH$_3$)]$_2$O$_2$$^{2+}$.


title: On the Universality of the Double Descent Peak in Ridgeless Regression

abstract: We prove a non-asymptotic distribution-independent lower bound for the expected mean squared generalization error caused by label noise in ridgeless linear regression. Our lower bound generalizes a similar known result to the overparameterized (interpolating) regime. In contrast to most previous works, our analysis applies to a broad class of input distributions with almost surely full-rank feature matrices, which allows us to cover various types of deterministic or random feature maps. Our lower bound is asymptotically sharp and implies that in the presence of label noise, ridgeless linear regression does not perform well around the interpolation threshold for any of these feature maps. We analyze the imposed assumptions in detail and provide a theory for analytic (random) feature maps. Using this theory, we can show that our assumptions are satisfied for input distributions with a (Lebesgue) density and feature maps given by random deep neural networks with analytic activation functions like sigmoid, tanh, softplus or GELU. As further examples, we show that feature maps from random Fourier features and polynomial kernels also satisfy our assumptions. We complement our theory with further experimental and analytic results.


title: Quality of Service-aware Security Framework for Mobile Ad hoc Networks using Optimized Link State Routing Protocol

abstract: All networks must provide an acceptable and desirable level of Quality of Service (QoS) to ensure that applications are well supported. This becomes a challenge when it comes to Mobile ad-hoc networks (MANETs). This paper presents a security framework that is QoS-aware in MANETs using a network protocol called Optimized Link State Routing Protocol (OLSR). Security & QoS targets may not necessarily be similar but this framework seeks to bridge the gap for the provision of an optimal functioning MANET. This paper presents the various security challenges, attacks, and goals in MANETs and the existing architectures or mechanisms used to combat security attacks. Additionally, this framework includes a security keying system to ascertain QoS. The keying system is linked to the basic configuration of the protocol OLSR through its Multi-point Relays (MPRs) functionality. The proposed framework is one that optimizes the use of network resources and time.


title: Nernst and Ettingshausen effects in the Laughlin geometry

abstract: The ideal reversible thermodynamic cycle visualization of the Nernst effect in Laughlin geometry, excluding the kinetic contribution is proposed. The Ettingshausen effect is also treated in the fashion using the reverse cycle. The corresponding values of the off-diagonal thermoelectric coefficients are expressed through the ratio of the entropy budget per magnetic flux. Our approach enlightens the profound thermodynamic origin of the relation between the Nernst effect and magnetization currents.


title: Absolute fraction of emitted Ps determined by GEANT4 supported analysis of gamma spectra

abstract: The fraction of positronium (Ps) emitted from a surface of a germanium single crystal at high temperature is usually assumed to approach unity at zero positron implantation energy. In the experiment, however, the determination of the absolute Ps fraction is not straight forward since recording a reference spectrum with $100\,\%$ Ps formation remains demanding. We use GEANT4-simulated detector responses to $2\gamma$ and $3\gamma$ radiation sources mimicking positron and Ps annihilation inside the (coincidence) Doppler-broadening spectrometer at NEPOMUC, FRM II, in order to derive a reliable value for the Ps fraction reemitted from a Ge(100) target heated close to its melting point. Analysis of the measured spectra by fitting the simulated spectra shows an absolute value of $(72\,\pm{4})\,\%$ maximum Ps formation, contradicting the $100\,\%$ assumption.


title: Non-trivial informational closure of a Bayesian hyperparameter

abstract: We investigate the non-trivial informational closure (NTIC) of a Bayesian hyperparameter inferring the underlying distribution of an identically and independently distributed finite random variable. For this we embed both the Bayesian hyper-parameter updating process and the random data process into a Markov chain. The original publication by Bertschinger et al. (2006) mentioned that NTIC may be able to capture an abstract notion of modeling that is agnostic to the specific internal structure of and existence of explicit representations within the modeling process. The Bayesian hyperparameter is of interest since it has a well defined interpretation as a model of the data process and at the same time its dynamics can be specified without reference to this interpretation. On the one hand we show explicitly that the NTIC of the hyperparameter increases indefinitely over time. On the other hand we attempt to establish a connection between a quantity that is a feature of the interpretation of the hyperparameter as a model, namely the information gain, and the one-step pointwise NTIC which is a quantity that does not depend on this interpretation. We find that in general we cannot use the one-step pointwise NTIC as an indicator for information gain. We hope this exploratory work can lead to further rigorous studies of the relation between NTIC and modeling.


title: My Body is a Cage: the Role of Morphology in Graph-Based Incompatible Control

abstract: Multitask Reinforcement Learning is a promising way to obtain models with better performance, generalisation, data efficiency, and robustness. Most existing work is limited to compatible settings, where the state and action space dimensions are the same across tasks. Graph Neural Networks (GNN) are one way to address incompatible environments, because they can process graphs of arbitrary size. They also allow practitioners to inject biases encoded in the structure of the input graph. Existing work in graph-based continuous control uses the physical morphology of the agent to construct the input graph, i.e., encoding limb features as node labels and using edges to connect the nodes if their corresponded limbs are physically connected. In this work, we present a series of ablations on existing methods that show that morphological information encoded in the graph does not improve their performance. Motivated by the hypothesis that any benefits GNNs extract from the graph structure are outweighed by difficulties they create for message passing, we also propose Amorpheus, a transformer-based approach. Further results show that, while Amorpheus ignores the morphological information that GNNs encode, it nonetheless substantially outperforms GNN-based methods that use the morphological information to define the message-passing scheme.


title: Black-hole spectroscopy, the no-hair theorem and GW150914: Kerr vs. Occam

abstract: The "no-hair" theorem states that astrophysical black holes are fully characterised by just two numbers: their mass and spin. The gravitational-wave emission from a perturbed black-hole consists of a superposition of damped sinusoids, known as \textit{quasi-normal modes}. Quasi-normal modes are specified by three integers $(\ell,m,n)$: the $(\ell, m)$ integers describe the angular properties and $(n)$ specifies the (over)tone. If the no-hair theorem holds, the frequencies and damping times of quasi-normal modes are determined uniquely by the mass and spin of the black hole, while phases and amplitudes depend on the particular perturbation. Current tests of the no-hair theorem, attempt to identify these modes in a semi-agnostic way, without imposing priors on the source of the perturbation. This is usually known as \textit{black-hole spectroscopy}. Applying this framework to GW150914, the measurement of the first overtone led to the confirmation of the theorem to $20\%$ level. We show, however, that such semi-agnostic tests cannot provide strong evidence in favour of the no-hair theorem, even for extremely loud signals, given the increasing number of overtones (and free parameters) needed to fit the data. This can be solved by imposing prior assumptions on the origin of the perturbed black hole that can further constrain the explored parameters: in particular, our knowledge that the ringdown is sourced by a binary black hole merger. Applying this strategy to GW150914 we find a natural log Bayes factor of $\sim 6.5$ in favour of the Kerr nature of its remnant, indicating that the hairy object hypothesis is disfavoured with $<1:600$ with respect to the Kerr black-hole one.


title: Optical conductivity of the type-II Weyl semimetal WTe$_2$ under pressure

abstract: Tungsten ditelluride WTe$_2$ is a type-II Weyl semimetal with electronic properties highly sensitive to external pressure, as demonstrated by the superconductivity emerging under pressure. Here, we study the optical conductivity of the type-II Weyl semimetal WTe$_2$ under external pressure at room temperature. With increasing pressure, a pronounced spectral weight transfer occurs from the high-energy to the low-energy interband transitions, with drastic changes in the profile of the optical conductivity spectrum indicating a high sensitivity of the electronic band structure to external pressure. The detailed analysis of the pressure-dependent optical conductivity furthermore reveals anomalies at the pressures $\sim$2 and $\sim$4.5~GPa, where an electronic and a structural phase transition, respectively, were reported in the literature.


title: Kotrbaty's theorem on valuations and geometric inequalities for convex bodies

abstract: Very recently J. Kotrbaty has proven general inequalities for translation invariant smooth valuations formally analogous to the Hodge- Riemann bilinear relations in the Kahler geometry. The goal of this note is to apply Kotrbaty's theorem to obtain a few apparently new inequalities for mixed volumes of convex bodies.


title: Rigidity of generalized Veech 1969/Sataev 1975 extensions of rotations

abstract: We look at $d$-point extensions of a rotation of angle $\alpha$ with $r$ marked points, generalizing the examples of Veech 1969 and Sataev 1975, together with the square-tiled interval exchange transformations of \cite{fh2}. We study the property of rigidity, in function of the Ostrowski expansions of the marked points by $\alpha$: we prove that $T$ is rigid when $\alpha$ has unbounded partial quotients, and that $T$ is not rigid when the natural coding of the underlying rotation with marked points is linearly recurrent. But there remains an interesting grey zone between these two cases, in which we have only partial results on the rigidity question; they allow us to build the first examples of non linearly recurrent and non rigid interval exchange transformations.


title: Localized excitations and scattering of spin waves in ferromagnetic chains containing magnetic nanoclusters

abstract: The spectrum of localized excitations in an anisotropic one-dimensional ferromagnet containing a spin cluster of arbitrary size is found exactly within the framework of the discrete Takeno-Homma model. The boundaries of stability of spin nanoclusters are determined, depending on their size, and the exchange and the anisotropy parameter of the ferromagnet. The problem of the spin waves scattering against nanoclusters is solved and explicit analytical expressions for their reflection and transmission coefficients are obtained. A model of a metamaterial consisting of weakly interacting magnetic molecular nanoclusters and possessing revealed dynamic properties is proposed.

categories: nlin.PS cond-mat.mes-hall cond-mat.mtrl-sci physics.atm-clus


title: Data Augmentation Based Malware Detection using Convolutional Neural Networks

abstract: Recently, cyber-attacks have been extensively seen due to the everlasting increase of malware in the cyber world. These attacks cause irreversible damage not only to end-users but also to corporate computer systems. Ransomware attacks such as WannaCry and Petya specifically targets to make critical infrastructures such as airports and rendered operational processes inoperable. Hence, it has attracted increasing attention in terms of volume, versatility, and intricacy. The most important feature of this type of malware is that they change shape as they propagate from one computer to another. Since standard signature-based detection software fails to identify this type of malware because they have different characteristics on each contaminated computer. This paper aims at providing an image augmentation enhanced deep convolutional neural network (CNN) models for the detection of malware families in a metamorphic malware environment. The main contributions of the paper's model structure consist of three components, including image generation from malware samples, image augmentation, and the last one is classifying the malware families by using a convolutional neural network model. In the first component, the collected malware samples are converted binary representation to 3-channel images using windowing technique. The second component of the system create the augmented version of the images, and the last component builds a classification model. In this study, five different deep convolutional neural network model for malware family detection is used.


title: AE-Netv2: Optimization of Image Fusion Efficiency and Network Architecture

abstract: Existing image fusion methods pay few research attention to image fusion efficiency and network architecture. However, the efficiency and accuracy of image fusion has an important impact in practical applications. To solve this problem, we propose an \textit{efficient autonomous evolution image fusion method, dubed by AE-Netv2}. Different from other image fusion methods based on deep learning, AE-Netv2 is inspired by human brain cognitive mechanism. Firstly, we discuss the influence of different network architecture on image fusion quality and fusion efficiency, which provides a reference for the design of image fusion architecture. Secondly, we explore the influence of pooling layer on image fusion task and propose an image fusion method with pooling layer. Finally, we explore the commonness and characteristics of different image fusion tasks, which provides a research basis for further research on the continuous learning characteristics of human brain in the field of image fusion. Comprehensive experiments demonstrate the superiority of AE-Netv2 compared with state-of-the-art methods in different fusion tasks at a real time speed of 100+ FPS on GTX 2070. Among all tested methods based on deep learning, AE-Netv2 has the faster speed, the smaller model size and the better robustness.


title: Measurements of $\pi^\pm$, $K^\pm$, $p$ and $\bar{p}$ spectra in $^7$Be+$^9$Be collisions at beam momenta from 19$A$ to 150$A$ GeV/$c$ with the NA61/SHINE spectrometer at the CERN SPS

abstract: The NA61/SHINE experiment at the CERN Super Proton Synchrotron (SPS) studies the onset of deconfinement in hadron matter by a scan of particle production in collisions of nuclei with various sizes at a set of energies covering the SPS energy range. This paper presents results on inclusive double-differential spectra, transverse momentum and rapidity distributions and mean multiplicities of $\pi^\pm$, $K^\pm$, $p$ and $\bar{p}$ produced in the 20$\%$ most $central$ $^7$Be+$^9$Be collisions at beam momenta of 19$A$, 30$A$, 40$A$, 75$A$ and 150$A$ GeV/$c$. The energy dependence of the $K^\pm$/$\pi^\pm$ ratios as well as of inverse slope parameters of the $K^\pm$ transverse mass distributions are close to those found in inelastic $p$+$p$ reactions. The new results are compared to the world data on $p$+$p$ and Pb+Pb collisions as well as to predictions of the EPOS, UrQMD, AMPT, PHSD and SMASH models.


title: Competition of spatially inhomogeneous states in antiferromagnetic Hubbard model

abstract: In this work we study zero-temperature phases of the anisotropic Hubbard model on a three-dimensional cubic lattice in a weak coupling regime. It is known that, at half-filling, the ground state of this model is antiferromagnetic (commensurate spin-density wave). For non-zero doping, various types of spatially inhomogeneous phases, such as phase-separated states and the state with domain walls ("soliton lattice"), can emerge. Using the mean-field theory, we evaluate the free energies of these phases to determine which of them could become the true ground state in the limit of small doping. Our study demonstrates that the free energies of all discussed states are very close to each other. Smallness of these energy differences suggests that, for a real material, numerous factors, unaccounted by the model, may arbitrary shift the relative stability of the competing phases. This further implies that purely theoretical prediction of the true ground state in a particular many-fermion system is unreliable.


title: Direct Signal Separation Via Extraction of Local Frequencies with Adaptive Time-Varying Parameters

abstract: Real-world phenomena that can be formulated as signals are often affected by a number of factors and appear as multi-component modes. To understand and process such phenomena, "divide-and-conquer" is probably the most common strategy to address the problem. In other words, the captured signal is decomposed into signal components for each individual component to be processed. Unfortunately, for signals that are superimposition of non-stationary amplitude-frequency modulated (AM-FM) components, the "divide-and-conquer" strategy is bound to fail, since there is no way to be sure that the decomposed components take on the AM-FM formulations which are necessary for the extraction of their instantaneous frequencies (IFs) and amplitudes (IAs). In this paper, we propose an adaptive signal separation operation (ASSO) for effective and accurate separation of a single-channel blind-source multi-component signal, via introducing a time-varying parameter that adapts locally to IFs and using linear chirp (linear frequency modulation) signals to approximate components at each time instant. We derive more accurate component recovery formulae based on the linear chirp signal local approximation. In addition, a recovery scheme, together with a ridge detection method, is also proposed to extract the signal components one by one, and the time-varying parameter is updated for each component. The proposed method is suitable for engineering implementation, being capable of separating complicated signals into their components or sub-signals and reconstructing the signal trend directly. Numerical experiments on synthetic and real-world signals are presented to demonstrate our improvement over the previous attempts.


title: Virus spread versus contact tracing: two competing contagion processes

abstract: After the blockade that many nations suffered to stop the growth of the incidence curve of COVID-19 during the first half of 2020, they face the challenge of resuming their social and economic activity. The rapid airborne transmissibility of SARS-CoV-2, and the absence of a vaccine, calls for active containment measures to avoid the propagation of transmission chains. The best strategy up to date, popularly known as Test-Track-Treat (TTT), consist in testing the population for diagnosis, track the contacts of those infected, and treat by quarantine all these cases. The dynamical process that better describes the combined action of the former mechanisms is that of a contagion process that competes with the spread of the pathogen, cutting off potential contagion pathways. Here we propose a compartmental model that couples the dynamics of the infection with the contact tracing and isolation of cases. We develop an analytical expression for the effective case reproduction number $R_c(t)$ that reveals the role of contact tracing in the mitigation and suppression of the epidemics. We show that there is a trade off between the infection propagation and the isolation of cases. If the isolation is limited to symptomatic individuals only, the incidence curve can be flattened but not bended. However, if contact tracing is applied to asymptomatic individuals too, the strategy can bend the curve and suppress the epidemics. Quantitative results are dependent on the network topology. We quantify, the most important indicator of the effectiveness of contact tracing, namely its capacity to reverse the increasing tendency of the epidemic curve, causing its bending.


title: Non-Linear Self-Interference Cancellation via Tensor Completion

abstract: Non-linear self-interference (SI) cancellation constitutes a fundamental problem in full-duplex communications, which is typically tackled using either polynomial models or neural networks. In this work, we explore the applicability of a recently proposed method based on low-rank tensor completion, called canonical system identification (CSID), to non-linear SI cancellation. Our results show that CSID is very effective in modeling and cancelling the non-linear SI signal and can have lower computational complexity than existing methods, albeit at the cost of increased memory requirements.


title: Linguistic Profiling of a Neural Language Model

abstract: In this paper we investigate the linguistic knowledge learned by a Neural Language Model (NLM) before and after a fine-tuning process and how this knowledge affects its predictions during several classification problems. We use a wide set of probing tasks, each of which corresponds to a distinct sentence-level feature extracted from different levels of linguistic annotation. We show that BERT is able to encode a wide range of linguistic characteristics, but it tends to lose this information when trained on specific downstream tasks. We also find that BERT's capacity to encode different kind of linguistic properties has a positive influence on its predictions: the more it stores readable linguistic information of a sentence, the higher will be its capacity of predicting the expected label assigned to that sentence.


title: A 2D pixelated stilbene scintillator detector array for simultaneous radiography with fast neutrons and gammas

abstract: For radiography applications using fast neutrons simultaneously with gammas we have developed a detector with 16 stilbene crystals in a 4$\times$4 2D array with a 5~mm pitch and a depth of 25~mm. The crystal array is read out by Silicon photomultipliers and custom signal processing electronics. The detector prototype was tested using a custom D-D fast neutron generator at the Paul Scherrer Institute. By applying a pulse shape discrimination algorithm the detector is able to detect and distinguish fast neutrons and gammas simultaneously. Various attenuating samples placed between the source and detector with different materials and thicknesses were tested and the measured macroscopic fast neutron cross sections were compared to what was expected. Deviations were studied with the help of detailed Geant4 simulations. The detection efficiency for D-D fast neutrons was measured to be around 10\%.


title: An estimate for the anisotropic maximum curvature in the planar case

abstract: We fix a Finsler norm $F$ and, using the anisotropic curvature flow, we prove that the anisotropic maximum curvature $k^F_{\max}$ of a smooth Jordan curve is such that $ k^F_{\max}(\gamma)\geq \sqrt{\kappa/A}$ , where $A$ is the area enclosed by $\gamma$ and $\kappa$ the area of the unitary Wulff shape associated to the anisotropy $F$.


title: Monocular Rotational Odometry with Incremental Rotation Averaging and Loop Closure

abstract: Estimating absolute camera orientations is essential for attitude estimation tasks. An established approach is to first carry out visual odometry (VO) or visual SLAM (V-SLAM), and retrieve the camera orientations (3 DOF) from the camera poses (6 DOF) estimated by VO or V-SLAM. One drawback of this approach, besides the redundancy in estimating full 6 DOF camera poses, is the dependency on estimating a map (3D scene points) jointly with the 6 DOF poses due to the basic constraint on structure-and-motion. To simplify the task of absolute orientation estimation, we formulate the monocular rotational odometry problem and devise a fast algorithm to accurately estimate camera orientations with 2D-2D feature matches alone. Underpinning our system is a new incremental rotation averaging method for fast and constant time iterative updating. Furthermore, our system maintains a view-graph that 1) allows solving loop closure to remove camera orientation drift, and 2) can be used to warm start a V-SLAM system. We conduct extensive quantitative experiments on real-world datasets to demonstrate the accuracy of our incremental camera orientation solver. Finally, we showcase the benefit of our algorithm to V-SLAM: 1) solving the known rotation problem to estimate the trajectory of the camera and the surrounding map, and 2)enabling V-SLAM systems to track pure rotational motions.


title: Color Screening in Quantum Chromodynamics

abstract: We review lattice studies of the color screening in the quark-gluon plasma. We put the phenomena related to the color screening into the context of similar aspects of other physical systems (electromagnetic plasma or cold nuclear matter). We discuss the onset of the color screening and its signature and significance in the QCD transition region, and elucidate at which temperature and to which extent the weak-coupling picture based on hard thermal loop expansion, potential nonrelativistic QCD, or dimensionally-reduced QCD quantitatively captures the key properties of the color screening. We discuss the different regimes pertaining to the color screening and thermal dissociation of the static quarks in depth for various spatial correlation functions that are studied on the lattice, and clarify the status of their asymptotic screening masses. We finally discuss the screening correlation functions of dynamical mesons with a wide range of flavor and spin content, and how they conform with expectations for low- and high-temperature behavior.


title: Diversity-Preserving K-Armed Bandits, Revisited

abstract: We consider the bandit-based framework for diversity-preserving recommendations introduced by Celis et al. (2019), who approached it in the case of a polytope mainly by a reduction to the setting of linear bandits. We design a UCB algorithm using the specific structure of the setting and show that it enjoys a bounded distribution-dependent regret in the natural cases when the optimal mixed actions put some probability mass on all actions (i.e., when diversity is desirable). The regret lower bounds provided show that otherwise, at least when the model is mean-unbounded, a regret is suffered. We also discuss an example beyond the special case of polytopes.


title: Pointwise Binary Classification with Pairwise Confidence Comparisons

abstract: To alleviate the data requirement for training effective binary classifiers in binary classification, many weakly supervised learning settings have been proposed. Among them, some consider using pairwise but not pointwise labels, when pointwise labels are not accessible due to privacy, confidentiality, or security reasons. However, as a pairwise label denotes whether or not two data points share a pointwise label, it cannot be easily collected if either point is equally likely to be positive or negative. Thus, in this paper, we propose a novel setting called pairwise comparison (Pcomp) classification, where we have only pairs of unlabeled data that we know one is more likely to be positive than the other. Firstly, we give a Pcomp data generation process, derive an unbiased risk estimator (URE) with theoretical guarantee, and further improve URE using correction functions. Secondly, we link Pcomp classification to noisy-label learning to develop a progressive URE and improve it by imposing consistency regularization. Finally, we demonstrate by experiments the effectiveness of our methods, which suggests Pcomp is a valuable and practically useful type of pairwise supervision besides the pairwise label.


title: First antineutrino energy spectrum from $^{235}$U fissions with the STEREO detector at ILL

abstract: This article reports the measurement of the $^{235}$U-induced antineutrino spectrum shape by the STEREO experiment. 43'000 antineutrinos have been detected at about 10 m from the highly enriched core of the ILL reactor during 118 full days equivalent at nominal power. The measured inverse beta decay spectrum is unfolded to provide a pure $^{235}$U spectrum in antineutrino energy. A careful study of the unfolding procedure, including a cross-validation by an independent framework, has shown that no major biases are introduced by the method. A significant local distortion is found with respect to predictions around $E_\nu \simeq 5.3$ MeV. A gaussian fit of this local excess leads to an amplitude of $A = 12.1 \pm 3.4\%$ (3.5$\sigma$).


title: TPAM: A Simulation-Based Model for Quantitatively Analyzing Parameter Adaptation Methods

abstract: While a large number of adaptive Differential Evolution (DE) algorithms have been proposed, their Parameter Adaptation Methods (PAMs) are not well understood. We propose a Target function-based PAM simulation (TPAM) framework for evaluating the tracking performance of PAMs. The proposed TPAM simulation framework measures the ability of PAMs to track predefined target parameters, thus enabling quantitative analysis of the adaptive behavior of PAMs. We evaluate the tracking performance of PAMs of widely used five adaptive DEs (jDE, EPSDE, JADE, MDE, and SHADE) on the proposed TPAM, and show that TPAM can provide important insights on PAMs, e.g., why the PAM of SHADE performs better than that of JADE, and under what conditions the PAM of EPSDE fails at parameter adaptation.


title: "LazImpa": Lazy and Impatient neural agents learn to communicate efficiently

abstract: Previous work has shown that artificial neural agents naturally develop surprisingly non-efficient codes. This is illustrated by the fact that in a referential game involving a speaker and a listener neural networks optimizing accurate transmission over a discrete channel, the emergent messages fail to achieve an optimal length. Furthermore, frequent messages tend to be longer than infrequent ones, a pattern contrary to the Zipf Law of Abbreviation (ZLA) observed in all natural languages. Here, we show that near-optimal and ZLA-compatible messages can emerge, but only if both the speaker and the listener are modified. We hence introduce a new communication system, "LazImpa", where the speaker is made increasingly lazy, i.e. avoids long messages, and the listener impatient, i.e.,~seeks to guess the intended content as soon as possible.


title: Substitution discrete plane tilings with $2n$-fold rotational symmetry for odd n

abstract: We study substitution tilings that are also discrete plane tilings, that is, satisfy a relaxed version of cut-and-projection. We prove that the Sub Rosa substitution tilings with a 2n-fold rotational symmetry for odd n greater than 5 defined by Kari and Rissanen are not discrete planes, and therefore not cut-and-project tilings either. We then define new Planar Rosa substitution tilings with a 2n-fold rotational symmetry for any odd n, and show that these satisfy the discrete plane condition. The tilings we consider are edge-to-edge rhombus tilings. We give an explicit construction for the 10-fold case, and provide a construction method for the general case of any odd n.


title: Impact of solar magnetic field amplitude and geometry on cosmic rays diffusion coefficients in the inner heliosphere

abstract: Cosmic rays (CRs) are tracers of solar events when they are associated with solar flares, but also galactic events when they come from outside our solar system. SEPs are correlated with the 11-year solar cycle while GCRs are anti-correlated due to their interaction with the heliospheric magnetic field and the solar wind. Our aim is to quantify separately the impact of the amplitude and the geometry of the magnetic field on the propagation of CRs of various energies in the inner heliosphere. We focus especially on the diffusion caused by the magnetic field along and across the field lines. To do so, we use the results of 3D MHD wind simulations running from the lower corona up to 1 AU. The wind is modeled using a polytropic approximation, and fits and power laws are used to account for the turbulence. Using these results, we compute the parallel and perpendicular diffusion coefficients of the Parker CR transport equation, yielding 3D maps of the diffusion of CRs in the inner heliosphere. By varying the amplitude of the magnetic field, we change the amplitude of the diffusion by the same factor, and the radial gradients by changing the spread of the current sheet. By varying the geometry of the magnetic field, we change the latitudinal gradients of diffusion by changing the position of the current sheets. By varying the energy, we show that the distribution of values for SEPs is more peaked than GCRs. For realistic solar configurations, we show that diffusion is highly non-axisymmetric due to the configuration of the current sheets, and that the distribution varies a lot with the distance to the Sun with a drift of the peak value. This study shows that numerical simulations and theory can help quantify better the influence of the various magnetic field parameters on the propagation of CRs. This study is a first step towards generating synthetic CR rates from numerical simulations.


title: Recognizing embedded caterpillars with weak unit disk contact representations is NP-hard

abstract: Weak unit disk contact graphs are graphs that admit a representation of the nodes as a collection of internally disjoint unit disks whose boundaries touch if there is an edge between the corresponding nodes. We provide a gadget-based reduction to show that recognizing embedded caterpillars that admit a weak unit disk contact representation is NP-hard.


title: Toward a Combinatorial Theory of SET and Related Card Games

abstract: We define a natural equivalence relation on collections of cards from the card game SET, and enumerate some of the equivalence classes, vastly generalizing the standard game. On this basis, we describe several alternative games for the SET deck, including the game of STUN, in which the goal is to find three cards with exactly two values in each attribute.


title: Angular extents and trajectory slopes in the theory of holomorphic semigroups in the unit disk

abstract: We study relationships between the asymptotic behaviour of a non-elliptic semigroup of holomorphic self-maps of the unit disk and the geometry of its planar domain (the image of the Koenigs function). We establish a sufficient condition for the trajectories of the semigroup to converge to its Denjoy-Wolff point with a definite slope. We obtain as a corollary two previously known sufficient conditions.


title: MetaBox+: A new Region Based Active Learning Method for Semantic Segmentation using Priority Maps

abstract: We present a novel region based active learning method for semantic image segmentation, called MetaBox+. For acquisition, we train a meta regression model to estimate the segment-wise Intersection over Union (IoU) of each predicted segment of unlabeled images. This can be understood as an estimation of segment-wise prediction quality. Queried regions are supposed to minimize to competing targets, i.e., low predicted IoU values / segmentation quality and low estimated annotation costs. For estimating the latter we propose a simple but practical method for annotation cost estimation. We compare our method to entropy based methods, where we consider the entropy as uncertainty of the prediction. The comparison and analysis of the results provide insights into annotation costs as well as robustness and variance of the methods. Numerical experiments conducted with two different networks on the Cityscapes dataset clearly demonstrate a reduction of annotation effort compared to random acquisition. Noteworthily, we achieve 95%of the mean Intersection over Union (mIoU), using MetaBox+ compared to when training with the full dataset, with only 10.47% / 32.01% annotation effort for the two networks, respectively.


title: Modeling the motion of a bright spot in jets from black holes M87* and SgrA*

abstract: We study the general relativistic motion of a bright spot in a jet from an accreting black hole. The corresponding lensed images of the moving bright spot are calculated numerically in discrete time intervals along the bright spot trajectory in the Kerr space-time framework. As representative examples, we consider the cases of supermassive black holes SgrA* and M87*. Astrophysical observations of the moving bright spots in the jets from black holes provides the unique possibility for the verification of different gravitation theories in the strong field limit.


title: Weak Unit Disk Contact Representations for Graphs without Embedding

abstract: Weak unit disk contact graphs are graphs that admit representing nodes as a collection of internally disjoint unit disks whose boundaries touch if there is an edge between the corresponding nodes. In this work we focus on graphs without embedding, i.e., the neighbor order can be chosen arbitrarily. We give a linear time algorithm to recognize whether a caterpillar, a graph where every node is adjacent to or on a central path, allows a weak unit disk contact representation. On the other hand, we show that it is NP-hard to decide whether a tree allows such a representation.


title: Smaller generalization error derived for a deep residual neural network compared to shallow networks

abstract: Estimates of the generalization error are proved for a residual neural network with $L$ random Fourier features layers $\bar z_{\ell+1}=\bar z_\ell + \mathrm{Re}\sum_{k=1}^K\bar b_{\ell k}e^{\mathrm{i}\omega_{\ell k}\bar z_\ell}+ \mathrm{Re}\sum_{k=1}^K\bar c_{\ell k}e^{\mathrm{i}\omega'_{\ell k}\cdot x}$. An optimal distribution for the frequencies $(\omega_{\ell k},\omega'_{\ell k})$ of the random Fourier features $e^{\mathrm{i}\omega_{\ell k}\bar z_\ell}$ and $e^{\mathrm{i}\omega'_{\ell k}\cdot x}$ is derived. This derivation is based on the corresponding generalization error for the approximation of the function values $f(x)$. The generalization error turns out to be smaller than the estimate ${\|\hat f\|^2_{L^1(\mathbb{R}^d)}}/{(KL)}$ of the generalization error for random Fourier features with one hidden layer and the same total number of nodes $KL$, in the case the $L^\infty$-norm of $f$ is much less than the $L^1$-norm of its Fourier transform $\hat f$. This understanding of an optimal distribution for random features is used to construct a new training method for a deep residual network. Promising performance of the proposed new algorithm is demonstrated in computational experiments.


title: Cloning of Quantum Entanglement

abstract: Quantum no-cloning, the impossibility of perfectly cloning an arbitrary unknown quantum state, is one of the most fundamental limitations due to the laws of quantum mechanics, which underpin the physical security of quantum key distribution. Quantum physics does allow, however, approximate cloning with either imperfect state fidelity and/or probabilistic success. Whereas approximate quantum cloning of single-particle states has been tested previously, experimental cloning of quantum entanglement -- a highly non-classical correlation -- remained unexplored. Based on a multiphoton linear optics platform, we demonstrate quantum cloning of two photon entangled states for the first time. Remarkably our results show that one maximally entangled photon pair can be broadcast into two entangled pairs, both with state fidelities above 50\%. Our results are a key step towards cloning of complex quantum systems, and are likely to provide new insights into quantum entanglement.


title: Cryogenic suspension design for a kilometer-scale gravitational-wave detector

abstract: We report the mirror suspension design for Large-scale Cryogenic Gravitational wave Telescope, KAGRA, during bKAGRA Phase 1. Mirror thermal noise is one of the fundamental noises for room-temperature gravitational-wave detectors such as Advanced LIGO and Advanced Virgo. Thus, reduction of thermal noise is required for further improvement of their sensitivity. One effective approach for reducing thermal noise is to cool the mirrors. There are many technical challenges that must be overcome to cool the mirrors, such as cryocooler induced vibrations, thermal drift in suspensions, and reduction in duty cycling due to the increased number of potential failure mechanisms. Our mirror suspension has a black coating that makes radiative cooling more efficient. For conduction cooling, we developed ultra high purity aluminum heat links, which yield high thermal conductivity while keeping the spring constant sufficiently small. A unique inclination adjustment system, called moving mass, is used for aligning the mirror orientation in pitch. Photo-reflective displacement sensors, which have a large range, are installed for damping control on marionette recoil mass and intermediate recoil mass. Samarium cobalt magnets are used for coil-magnet actuators to prevent significant change of magnetism between room temperature and cryogenic temperature. In this paper, the design of our first cryogenic payload and its performance during bKAGRA Phase 1 are discussed.


title: Generalized Cuckoo Hashing with a Stash, Revisited

abstract: Cuckoo hashing is a common hashing technique, guaranteeing constant-time lookups in the worst case. Adding a stash was proposed by Kirsch, Mitzenmacher, and Wieder at SICOMP 2010, as a way to reduce the probability of failure (i.e., the probability that a valid Cuckoo assignment fails to exist). It has since become a standard technique in areas such as cryptography, where a negligible probability of failure is often required. We focus on an extension of Cuckoo hashing that allows multiple items per bucket, which improves the load factor. That extension was also analyzed by Kirsch \emph{et al.} in the presence of a stash. In particular, letting $d$ be the number of items per bucket, and $s$ be the stash size, Kirsch \emph{et al.} showed that, for constant $d$ and $s$, the failure probability is $\mathcal{O}(n^{(s+1)(1-d)})$. In this paper, we first report a bug in the analysis by Kirsch \emph{et al.} by showing a counter-example leading to an asymptotically-larger probability of failure $\Omega(n^{-d-s-1})$. Then we provide a general analysis and upper bound of the failure probability for (almost) arbitrary $d$ and $s$, instead of just constant, which is useful for applications in cryptography. We finally deduce from the general analysis a tight bound $\Theta(n^{-d-s})$ for the probability of failure, for constants $d$ and $s$.


title: A Pilot Study of Text-to-SQL Semantic Parsing for Vietnamese

abstract: Semantic parsing is an important NLP task. However, Vietnamese is a low-resource language in this research area. In this paper, we present the first public large-scale Text-to-SQL semantic parsing dataset for Vietnamese. We extend and evaluate two strong semantic parsing baselines EditSQL (Zhang et al., 2019) and IRNet (Guo et al., 2019) on our dataset. We compare the two baselines with key configurations and find that: automatic Vietnamese word segmentation improves the parsing results of both baselines; the normalized pointwise mutual information (NPMI) score (Bouma, 2009) is useful for schema linking; latent syntactic features extracted from a neural dependency parser for Vietnamese also improve the results; and the monolingual language model PhoBERT for Vietnamese (Nguyen and Nguyen, 2020) helps produce higher performances than the recent best multilingual language model XLM-R (Conneau et al., 2020).


title: Joint Pruning & Quantization for Extremely Sparse Neural Networks

abstract: We investigate pruning and quantization for deep neural networks. Our goal is to achieve extremely high sparsity for quantized networks to enable implementation on low cost and low power accelerator hardware. In a practical scenario, there are particularly many applications for dense prediction tasks, hence we choose stereo depth estimation as target. We propose a two stage pruning and quantization pipeline and introduce a Taylor Score alongside a new fine-tuning mode to achieve extreme sparsity without sacrificing performance. Our evaluation does not only show that pruning and quantization should be investigated jointly, but also shows that almost 99% of memory demand can be cut while hardware costs can be reduced up to 99.9%. In addition, to compare with other works, we demonstrate that our pruning stage alone beats the state-of-the-art when applied to ResNet on CIFAR10 and ImageNet.


title: Regularizing Dialogue Generation by Imitating Implicit Scenarios

abstract: Human dialogues are scenario-based and appropriate responses generally relate to the latent context knowledge entailed by the specific scenario. To enable responses that are more meaningful and context-specific, we propose to improve generative dialogue systems from the scenario perspective, where both dialogue history and future conversation are taken into account to implicitly reconstruct the scenario knowledge. More importantly, the conversation scenarios are further internalized using imitation learning framework, where the conventional dialogue model that has no access to future conversations is effectively regularized by transferring the scenario knowledge contained in hierarchical supervising signals from the scenario-based dialogue model, so that the future conversation is not required in actual inference. Extensive evaluations show that our approach significantly outperforms state-of-the-art baselines on diversity and relevance, and expresses scenario-specific knowledge.


title: Generalised Bargmann Superalgebras

abstract: The Bargmann algebra and centrally-extended Newton-Hooke algebras describe the non-relativistic symmetries of massive particles in flat and curved spacetimes, respectively. These three algebras all arise as deformations of the universal central-extension of the static kinematical Lie algebra. In this paper, we classify the N=1 super-extensions for each of these algebras in (3+1)-dimensions, up to isomorphism. We then identify the non-empty branches of the algebraic variety describing the N=2 super-extensions of these algebras. We find 9 isomorphism classes in the N=1 case and 22 branches in the N=2 case. We then give a brief discussion on some applications of these Lie superalgebras, including their possible uses for non-relativistic supergravity and holography.


title: Joint Scene and Object Tracking for Cost-Effective Augmented Reality Assisted Patient Positioning in Radiation Therapy

abstract: BACKGROUND AND OBJECTIVE: The research done in the field of Augmented Reality (AR) for patient positioning in radiation therapy is scarce. We propose an efficient and cost-effective algorithm for tracking the scene and the patient to interactively assist the patient's positioning process by providing visual feedback to the operator. Up to our knowledge, this is the first framework that can be employed for mobile interactive AR to guide patient positioning. METHODS: We propose a point cloud processing method that combined with a fiducial marker-mapper algorithm and the generalized ICP algorithm tracks the patient and the camera precisely and efficiently only using the CPU unit. The alignment between the 3D reference model and body marker map is calculated employing an efficient body reconstruction algorithm. RESULTS: Our quantitative evaluation shows that the proposed method achieves a translational and rotational error of 4.17 mm/0.82 deg at 9 fps. Furthermore, the qualitative results demonstrate the usefulness of our algorithm in patient positioning on different human subjects. CONCLUSION: Since our algorithm achieves a relatively high frame rate and accuracy employing a regular laptop (without the usage of a dedicated GPU), it is a very cost-effective AR-based patient positioning method. It also opens the way for other researchers by introducing a framework that could be improved upon for better mobile interactive AR patient positioning solutions in the future.


title: On Pisot's $d$-th root conjecture for function fields and related GCD estimates

abstract: We propose a function-field analog of Pisot's $d$-th root conjecture on linear recurrences, and prove it under some "non-triviality" assumption. Besides a recent result of Pasten-Wang on B{\"u}chi's $d$-th power problem, our main tool, which is also developed in this paper, is a function-field analog of an GCD estimate in a recent work of Levin and Levin-Wang. As an easy corollary of such GCD estimate, we also obtain an asymptotic result.


title: PUM at SemEval-2020 Task 12: Aggregation of Transformer-based models' features for offensive language recognition

abstract: In this paper, we describe the PUM team's entry to the SemEval-2020 Task 12. Creating our solution involved leveraging two well-known pretrained models used in natural language processing: BERT and XLNet, which achieve state-of-the-art results in multiple NLP tasks. The models were fine-tuned for each subtask separately and features taken from their hidden layers were combined and fed into a fully connected neural network. The model using aggregated Transformer features can serve as a powerful tool for offensive language identification problem. Our team was ranked 7th out of 40 in Sub-task C - Offense target identification with 64.727% macro F1-score and 64th out of 85 in Sub-task A - Offensive language identification (89.726% F1-score).


title: Exploring Semantic Capacity of Terms

abstract: We introduce and study semantic capacity of terms. For example, the semantic capacity of artificial intelligence is higher than that of linear regression since artificial intelligence possesses a broader meaning scope. Understanding semantic capacity of terms will help many downstream tasks in natural language processing. For this purpose, we propose a two-step model to investigate semantic capacity of terms, which takes a large text corpus as input and can evaluate semantic capacity of terms if the text corpus can provide enough co-occurrence information of terms. Extensive experiments in three fields demonstrate the effectiveness and rationality of our model compared with well-designed baselines and human-level evaluations.


title: Dynamic Anticipation and Completion for Multi-Hop Reasoning over Sparse Knowledge Graph

abstract: Multi-hop reasoning has been widely studied in recent years to seek an effective and interpretable method for knowledge graph (KG) completion. Most previous reasoning methods are designed for dense KGs with enough paths between entities, but cannot work well on those sparse KGs that only contain sparse paths for reasoning. On the one hand, sparse KGs contain less information, which makes it difficult for the model to choose correct paths. On the other hand, the lack of evidential paths to target entities also makes the reasoning process difficult. To solve these problems, we propose a multi-hop reasoning model named DacKGR over sparse KGs, by applying novel dynamic anticipation and completion strategies: (1) The anticipation strategy utilizes the latent prediction of embedding-based models to make our model perform more potential path search over sparse KGs. (2) Based on the anticipation information, the completion strategy dynamically adds edges as additional actions during the path search, which further alleviates the sparseness problem of KGs. The experimental results on five datasets sampled from Freebase, NELL and Wikidata show that our method outperforms state-of-the-art baselines. Our codes and datasets can be obtained from https://github.com/THU-KEG/DacKGR


title: Intelligent reflecting surface aided wireless networks-Harris Hawks optimization for beamforming design

abstract: Intelligent Reflecting Surface (IRS) is envisioned to be a promising green and cost-effective solution to enhance wireless network performance by smartly reconfiguring the signal propagation. In this paper, we study an IRS-aided multiple-input single-output wireless network where a multi-antenna Access Point (AP) services a single-antenna user assisted by an IRS. The goal is to maximize the received signal power by jointly optimizing the transmit beamforming at the AP and the reflection coefficient at the IRS. The formulated optimization problem is non-convex and subject to constraints. We adopt a novel nature-inspired optimization technique named Harris Hawks Optimizer (HHO) to tackle the problem. After transforming the constrained problem into an unconstrained problem using penalty method, the formulated problem is optimized by the HHO. To the best of our knowledge, this is the first time to use a meta-heuristic algorithm to solve the IRS-aided network optimization problem. Simulation is conducted to verify the feasibility of the HHO-based scheme. The results show that the HHO-based scheme could provide similar or even better optimization results compared with other optimization algorithms.


title: Improved Submodular Secretary Problem with Shortlists

abstract: First, for the for the submodular $k$-secretary problem with shortlists [1], we provide a near optimal $1-1/e-\epsilon$ approximation using shortlist of size $O(k poly(1/\epsilon))$. In particular, we improve the size of shortlist used in \cite{us} from $O(k 2^{poly(1/\epsilon)})$ to $O(k poly(1/\epsilon))$. As a result, we provide a near optimal approximation algorithm for random-order streaming of monotone submodular functions under cardinality constraints, using memory $O(k poly(1/\epsilon))$. It exponentially improves the running time and memory of \cite{us} in terms of $1/\epsilon$. Next we generalize the problem to matroid constraints, which we refer to as submodular matroid secretary problem with shortlists. It is a variant of the \textit{matroid secretary problem} \cite{feldman2014simple}, in which the algorithm is allowed to have a shortlist. We design an algorithm that achieves a $\frac{1}{2}(1-1/e^2 -\epsilon)$ competitive ratio for any constant $\epsilon>0$, using a shortlist of size $O(k poly(\frac{1}{\epsilon}))$. Moreover, we generalize our results to the case of $p$-matchoid constraints and give a $\frac{1}{p+1}(1-1/e^{p+1}-\epsilon )$ approximation using shortlist of size $O(k poly(\frac{1}{\epsilon}))$. It asymptotically approaches the best known offline guarantee $\frac{1}{p+1}$ [22]. Furthermore, we show that our algorithms can be implemented in the streaming setting using $O(k poly(\frac{1}{\epsilon}))$ memory.


title: Computable steering criterion for bipartite quantum systems

abstract: Quantum steering describes the ability of one observer to nonlocally affect the other observer's state through local measurements, which represents a new form of quantum nonlocal correlation and has potential applications in quantum information and quantum communication. In this paper, we propose a computable steering criterion that is applicable to bipartite quantum systems of arbitrary dimensions. The criterion can be used to verify a wide range of steerable states directly from a given density matrix without constructing measurement settings. Compared with the existing steering criteria, it is readily computable and testable in experiment, which can also be used to verify entanglement as all steerable quantum states are entangled.


title: Resolving fast gas transients with Metal-Oxide sensors

abstract: Electronic olfaction can help detect and localise harmful gases and pollutants, but the turbulence of natural environment presents a particular challenge: odor encounters are intermittent, and an effective electronic nose must therefore be able to resolve short odor pulses. The slow responses of the widely-used Metal-Oxide (MOX) gas sensors complicate the task. Here we combine high-resolution data acquisition with a processing method based on Kalman filtering and absolute-deadband sampling to extract fast transients. We find that our system can resolve the precise time of odor onset events, allowing direction estimation with a pair of MOX sensors in stereo-osmic configuration.


title: Almost inner derivations of some nilpotent Leibniz algebras

abstract: We investigate almost inner derivations of some finite-dimensional nilpotent Leibniz algebras. We show the existence of almost inner derivations of Leibniz filiform non-Lie algebras differing from inner derivations, we also show that the almost inner derivations of some filiform Leibniz algebras containing filiform Lie algebras do not coincide with inner derivations.


title: Information thermodynamics of financial markets: the Glosten-Milgrom model

abstract: The Glosten-Milgrom model describes a single asset market, where informed traders interact with a market maker, in the presence of noise traders. We derive an analogy between this financial model and a Szil\'ard information engine by {\em i)} showing that the optimal work extraction protocol in the latter coincides with the pricing strategy of the market maker in the former and {\em ii)} defining a market analogue of the physical temperature from the analysis of the distribution of market orders. Then we show that the expected gain of informed traders is bounded above by the product of this market temperature with the amount of information that informed traders have, in exact analogy with the corresponding formula for the maximal expected amount of work that can be extracted from a cycle of the information engine. This suggests that recent ideas from information thermodynamics may shed light on financial markets, and lead to generalised inequalities, in the spirit of the extended second law of thermodynamics.


title: The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support

abstract: We define a new geometric object--the stack of local systems with restricted variation. We formulate a version of the categorical geometric Langlands conjecture that makes sense for any constructible sheaf theory (such as l-adic sheaves). We formulate a conjecture that makes precise the connection between the category of automorphic sheaves and the space of automorphic functions.


title: Surface growth scheme for bulk reconstruction and tensor network

abstract: We propose a surface growth approach to reconstruct the bulk spacetime geometry, motivated by Huygens'principle of wave propagation. We first construct a tensor network corresponding to a special surface growth picture with spherical symmetry and fractal feature using the one-shot entanglement distillation (OSED)method and show that the resulting tensor network is equivalent to the MERA-like tensor network, which gives a proof that the MERA-like tensor network is indeed a discretized version of the time slice of AdS spacetime, rather than just an analogy. Furthermore, we generalize the original OSED method to describe more general surface growth picture by using of surface/state correspondence and generalized RT formula, which leads to a more profound understanding for the surface growth process and provides a concrete and intuitive way for the idea of entanglement wedge reconstruction.


title: Exploiting Unsupervised Data for Emotion Recognition in Conversations

abstract: Emotion Recognition in Conversations (ERC) aims to predict the emotional state of speakers in conversations, which is essentially a text classification task. Unlike the sentence-level text classification problem, the available supervised data for the ERC task is limited, which potentially prevents the models from playing their maximum effect. In this paper, we propose a novel approach to leverage unsupervised conversation data, which is more accessible. Specifically, we propose the Conversation Completion (ConvCom) task, which attempts to select the correct answer from candidate answers to fill a masked utterance in a conversation. Then, we Pre-train a basic COntext- Dependent Encoder (Pre-CODE) on the ConvCom task. Finally, we fine-tune the Pre-CODE on the datasets of ERC. Experimental results demonstrate that pre-training on unsupervised data achieves significant improvement of performance on the ERC datasets, particularly on the minority emotion classes.


title: Deliberative Acting, Online Planning and Learning with Hierarchical Operational Models

abstract: In AI research, synthesizing a plan of action has typically used descriptive models of the actions that abstractly specify what might happen as a result of an action, and are tailored for efficiently computing state transitions. However, executing the planned actions has needed operational models, in which rich computational control structures and closed-loop online decision-making are used to specify how to perform an action in a nondeterministic execution context, react to events and adapt to an unfolding situation. Deliberative actors, which integrate acting and planning, have typically needed to use both of these models together -- which causes problems when attempting to develop the different models, verify their consistency, and smoothly interleave acting and planning. As an alternative, we define and implement an integrated acting and planning system in which both planning and acting use the same operational models. These rely on hierarchical task-oriented refinement methods offering rich control structures. The acting component, called Reactive Acting Engine (RAE), is inspired by the well-known PRS system. At each decision step, RAE can get advice from a planner for a near-optimal choice with respect to a utility function. The anytime planner uses a UCT-like Monte Carlo Tree Search procedure, called UPOM, whose rollouts are simulations of the actor's operational models. We also present learning strategies for use with RAE and UPOM that acquire, from online acting experiences and/or simulated planning results, a mapping from decision contexts to method instances as well as a heuristic function to guide UPOM. We demonstrate the asymptotic convergence of UPOM towards optimal methods in static domains, and show experimentally that UPOM and the learning strategies significantly improve the acting efficiency and robustness.


title: Semantics through Time: Semi-supervised Segmentation of Aerial Videos with Iterative Label Propagation

abstract: Semantic segmentation is a crucial task for robot navigation and safety. However, current supervised methods require a large amount of pixelwise annotations to yield accurate results. Labeling is a tedious and time consuming process that has hampered progress in low altitude UAV applications. This paper makes an important step towards automatic annotation by introducing SegProp, a novel iterative flow-based method, with a direct connection to spectral clustering in space and time, to propagate the semantic labels to frames that lack human annotations. The labels are further used in semi-supervised learning scenarios. Motivated by the lack of a large video aerial dataset, we also introduce Ruralscapes, a new dataset with high resolution (4K) images and manually-annotated dense labels every 50 frames - the largest of its kind, to the best of our knowledge. Our novel SegProp automatically annotates the remaining unlabeled 98% of frames with an accuracy exceeding 90% (F-measure), significantly outperforming other state-of-the-art label propagation methods. Moreover, when integrating other methods as modules inside SegProp's iterative label propagation loop, we achieve a significant boost over the baseline labels. Finally, we test SegProp in a full semi-supervised setting: we train several state-of-the-art deep neural networks on the SegProp-automatically-labeled training frames and test them on completely novel videos. We convincingly demonstrate, every time, a significant improvement over the supervised scenario.


title: Metrics of Horowitz-Myers type with the negative constant scalar curvature

abstract: We construct a one-parameter family of complete metrics of Horowitz-Myers type with the negative constant scalar curvature. We also verify a positive energy conjecture of Horowitz-Myers for these metrics.