title: An Empirical Evaluation on Robustness and Uncertainty of Regularization Methods

abstract: Despite apparent human-level performances of deep neural networks (DNN), they behave fundamentally differently from humans. They easily change predictions when small corruptions such as blur and noise are applied on the input (lack of robustness), and they often produce confident predictions on out-of-distribution samples (improper uncertainty measure). While a number of researches have aimed to address those issues, proposed solutions are typically expensive and complicated (e.g. Bayesian inference and adversarial training). Meanwhile, many simple and cheap regularization methods have been developed to enhance the generalization of classifiers. Such regularization methods have largely been overlooked as baselines for addressing the robustness and uncertainty issues, as they are not specifically designed for that. In this paper, we provide extensive empirical evaluations on the robustness and uncertainty estimates of image classifiers (CIFAR-100 and ImageNet) trained with state-of-the-art regularization methods. Furthermore, experimental results show that certain regularization methods can serve as strong baseline methods for robustness and uncertainty estimation of DNNs.


title: Information criteria for inhomogeneous spatial point processes

abstract: The theoretical foundation for a number of model selection criteria is established in the context of inhomogeneous point processes and under various asymptotic settings: infill, increasing domain, and combinations of these. For inhomogeneous Poisson processes we consider Akaike information criterion and the Bayesian information criterion, and in particular we identify the point process analogue of sample size needed for the Bayesian information criterion. Considering general inhomogeneous point processes we derive new composite likelihood and composite Bayesian information criteria for selecting a regression model for the intensity function. The proposed model selection criteria are evaluated using simulations of Poisson processes and cluster point processes.


title: Assessment of Heterogeneous Treatment Effect Estimation Accuracy via Matching

abstract: We study the assessment of the accuracy of heterogeneous treatment effect (HTE) estimation, where the HTE is not directly observable so standard computation of prediction errors is not applicable. To tackle the difficulty, we propose an assessment approach by constructing pseudo-observations of the HTE based on matching. Our contributions are three-fold: first, we introduce a novel matching distance derived from proximity scores in random forests; second, we formulate the matching problem as an average minimum-cost flow problem and provide an efficient algorithm; third, we propose a match-then-split principle for the assessment with cross-validation. We demonstrate the efficacy of the assessment approach on synthetic data and data generated from a real dataset.


title: Theoretical Analysis of Divide-and-Conquer ERM: Beyond Square Loss and RKHS

abstract: Theoretical analysis of the divide-and-conquer based distributed learning with least square loss in the reproducing kernel Hilbert space (RKHS) have recently been explored within the framework of learning theory. However, the studies on learning theory for general loss functions and hypothesis spaces remain limited. To fill the gap, we study the risk performance of distributed empirical risk minimization (ERM) for general loss functions and hypothesis spaces. The main contributions are two-fold. First, we derive two tight risk bounds under certain basic assumptions on the hypothesis space, as well as the smoothness, Lipschitz continuity, strong convexity of the loss function. Second, we further develop a more general risk bound for distributed ERM without the restriction of strong convexity.


title: Some Anosov actions which are affine

abstract: Following the works of Y. Benoist, P. Foulon and F. Labourie \cite{BFL}, and having in mind the standing conjecture about the algebricity of Anosov actions of $\mathbb{R}^k$, we propose some geometrical conditions which generalize the notion of contact structures and prove that Anosov actions associated with such structures are conjugated to an Affine action. We also construct two families of examples, the first one is algebraic in nature, and the second one imposes some dynamical conditions instead of geometrical ones.


title: Distortion and critical values of the finite Blaschke product

abstract: We establish a sharp upper bound for the absolute value of the derivative of the finite Blaschke product, provided that the critical values of this product lie in a given disk.


title: Extending Nirenberg-Spencer's question on holomorphic embeddings to families of holomorphic embeddings

abstract: Nirenberg and Spencer posed the question whether the germ of a compact complex submanifold in a complex manifold is determined by its infinitesimal neighborhood of finite order when the normal bundle is sufficiently positive. To study the problem for a larger class of submanifolds, including free rational curves, we reformulate the question in the setting of families of submanifolds and their infinitesimal neighborhoods. When the submanifolds have no nonzero vector fields, we prove that it is sufficient to consider only first-order neighborhoods to have an affirmative answer to the reformulated question. When the submanifolds do have nonzero vector fields, we obtain an affirmative answer to the question under the additional assumption that submanifolds have certain nice deformation properties, which is applicable to free rational curves. As an application, we obtain a stronger version of the Cartan-Fubini type extension theorem for Fano manifolds of Picard number 1. We also propose a potential application on hyperplane sections of projective K3 surfaces.


title: Divided Differences, Falling Factorials, and Discrete Splines: Another Look at Trend Filtering and Related Problems

abstract: This paper reviews a class of univariate piecewise polynomial functions known as discrete splines, which share properties analogous to the better-known class of spline functions, but where continuity in derivatives is replaced by (a suitable notion of) continuity in divided differences. As it happens, discrete splines bear connections to a wide array of developments in applied mathematics and statistics, from divided differences and Newton interpolation (dating back to over 300 years ago) to trend filtering (from the last 15 years). We survey these connections, and contribute some new perspectives and new results along the way.


title: Assessing the Significance of Directed and Multivariate Measures of Linear Dependence Between Time Series

abstract: Inferring linear dependence between time series is central to our understanding of natural and artificial systems. Unfortunately, the hypothesis tests that are used to determine statistically significant directed or multivariate relationships from time-series data often yield spurious associations (Type I errors) or omit causal relationships (Type II errors). This is due to the autocorrelation present in the analysed time series -- a property that is ubiquitous across diverse applications, from brain dynamics to climate change. Here we show that, for limited data, this issue cannot be mediated by fitting a time-series model alone (e.g., in Granger causality or prewhitening approaches), and instead that the degrees of freedom in statistical tests should be altered to account for the effective sample size induced by cross-correlations in the observations. This insight enabled us to derive modified hypothesis tests for any multivariate correlation-based measures of linear dependence between covariance-stationary time series, including Granger causality and mutual information with Gaussian marginals. We use both numerical simulations (generated by autoregressive models and digital filtering) as well as recorded fMRI-neuroimaging data to show that our tests are unbiased for a variety of stationary time series. Our experiments demonstrate that the commonly used $F$- and $\chi^2$-tests can induce significant false-positive rates of up to $100\%$ for both measures, with and without prewhitening of the signals. These findings suggest that many dependencies reported in the scientific literature may have been, and may continue to be, spuriously reported or missed if modified hypothesis tests are not used when analysing time series.

categories: stat.ME cs.IT math.IT math.ST physics.data-an q-bio.NC stat.AP stat.TH


title: Nearly Optimal Clustering Risk Bounds for Kernel K-Means

abstract: In this paper, we study the statistical properties of kernel $k$-means and obtain a nearly optimal excess clustering risk bound, substantially improving the state-of-art bounds in the existing clustering risk analyses. We further analyze the statistical effect of computational approximations of the Nystr\"{o}m kernel $k$-means, and prove that it achieves the same statistical accuracy as the exact kernel $k$-means considering only $\Omega(\sqrt{nk})$ Nystr\"{o}m landmark points. To the best of our knowledge, such sharp excess clustering risk bounds for kernel (or approximate kernel) $k$-means have never been proposed before.


title: A New Class of $A$ Stable Summation by Parts Time Integration Schemes with Strong Initial Conditions

abstract: Since integration by parts is an important tool when deriving energy or entropy estimates for differential equations, one may conjecture that some form of summation by parts (SBP) property is involved in provably stable numerical methods. This article contributes to this topic by proposing a novel class of $A$ stable SBP time integration methods which can also be reformulated as implicit Runge-Kutta methods. In contrast to existing SBP time integration methods using simultaneous approximation terms to impose the initial condition weakly, the new schemes use a projection method to impose the initial condition strongly without destroying the SBP property. The new class of methods includes the classical Lobatto IIIA collocation method, not previously formulated as an SBP scheme. Additionally, a related SBP scheme including the classical Lobatto IIIB collocation method is developed.


title: Bending-induced director reorientation in a nematic liquid crystal elastomer bonded to a hyperelastic substrate

abstract: In this paper, the two-dimensional pure bending of a hyperelastic substrate coated by a nematic liquid crystal elastomer (abbreviated as NLCE) is studied within the framework of nonlinear elasticity. The governing system, arising from the deformational momentum balance, the orientational momentum balance and the mechanical constraint, is formulated, and the corresponding exact solution is derived for a given constitutive model. It is found that there exist two different bending solutions. In order to determine which the preferred one is, we compare the total potential energy for both solutions and find that the two energy curves may have an intersection point at a critical value of the bending angle $\alpha_c$ for some material parameters. In particular, the director $\bm n$ abruptly rotates $\dfrac{\pi}{2}$ from one solution to another at $\alpha_c$, which indicates a director reorientation (or jump). Furthermore, the effects of different material and geometric parameters on the bending deformation and the transition angle $\alpha_c$ can be revealed using the obtained bending solutions. Meanwhile, the exact solution can offer a benchmark problem for validating the accuracy of approximated plate models for liquid crystal elastomers.


title: Adaptive Extremum Seeking Using Recursive Least Squares

abstract: Extremum seeking (ES) optimization approach has been very popular due to its non-model based analysis and implementation. This approach has been mostly used with gradient based search algorithms. Since least squares (LS) algorithms are typically observed to be superior, in terms of convergence speed and robustness to measurement noises, over gradient algorithms, it is expected that LS based ES schemes will also provide faster convergence and robustness to sensor noises. In this paper, with this motivation, a recursive least squares (RLS) estimation based ES scheme is designed and analysed for application to scalar parameter and vector parameter static map and dynamic systems. Asymptotic convergence to the extremum is established for all the cases. Simulation studies are provided to validate the performance of proposed scheme.


title: COPT: Coordinated Optimal Transport for Graph Sketching

abstract: We introduce COPT, a novel distance metric between graphs defined via an optimization routine, computing a coordinated pair of optimal transport maps simultaneously. This gives an unsupervised way to learn general-purpose graph representation, applicable to both graph sketching and graph comparison. COPT involves simultaneously optimizing dual transport plans, one between the vertices of two graphs, and another between graph signal probability distributions. We show theoretically that our method preserves important global structural information on graphs, in particular spectral information, and analyze connections to existing studies. Empirically, COPT outperforms state of the art methods in graph classification on both synthetic and real datasets.


title: A working likelihood approach to support vector regression with a data-driven insensitivity parameter

abstract: The insensitive parameter in support vector regression determines the set of support vectors that greatly impacts the prediction. A data-driven approach is proposed to determine an approximate value for this insensitive parameter by minimizing a generalized loss function originating from the likelihood principle. This data-driven support vector regression also statistically standardizes samples using the scale of noises. Nonlinear and linear numerical simulations with three types of noises ($\epsilon$-Laplacian distribution, normal distribution, and uniform distribution), and in addition, five real benchmark data sets, are used to test the capacity of the proposed method. Based on all of the simulations and the five case studies, the proposed support vector regression using a working likelihood, data-driven insensitive parameter is superior and has lower computational costs.


title: Enhancement near the $\bar{p}\Lambda$ threshold in the $\chi_{c0}\to \bar{p}K^+\Lambda$ reaction

abstract: We have analyzed the reaction $\chi_{c0}\to \bar{p} K^+\Lambda$ reported by the BESIII Collaboration, taking into account the contributions from the intermediate $K(1830)$, $N(2300)$, and $\Lambda(1520)$ resonances. Our results are in good agreement with the BESIII measurements, and it is found that the anomalous enhancement near the $\bar{p}\Lambda$ threshold is mainly due to the contribution of the $K(1830)$ resonance. We also show that the interference of the high-mass $N^*$ and $\Lambda^*$ can not produce the anomalous enhancement near the $\bar{p}\Lambda$ threshold.


title: Thickness-dependence of hydrogen-induced phase transition in MoTe$_{2}$

abstract: Two-dimensional transition metal dichalcogenides (TMDs) usually exist in two or more structural phases with different physical properties, and can be repeatedly switched between these phases via different stimuli, making them potentially useful for memory devices. An understanding of the physics of interfaces between the TMDs and conventional semiconductors, or other 2D-crystals forming heterogenous or homogeneous assemblies is central to their successful application in technologies. However, to date, most theoretical works have explored phase-change properties of isolated TMD monolayers in vacuum. Using \textit{ab-initio} calculations, we show how interfacial effects modify the thermodynamics and kinetics of the phase transition by studying hydrogen-induced transitions in monolayers and bilayers of MoTe$_{2}$. The phase-change properties of MoTe$_{2}$ show substantial thickness-dependence, with the timescale for a transition in the hydrogenated bilayer being about $10^7$-times longer than that in a monolayer at room temperature. Our study highlights the importance of taking effects of immediate environment into account when predicting properties of 2D crystals.


title: Chain Decompositions of $q,t$-Catalan Numbers via Local Chains

abstract: The $q,t$-Catalan number $\mathrm{Cat}_n(q,t)$ enumerates integer partitions contained in an $n\times n$ triangle by their dinv and external area statistics. The paper [LLL18 (Lee, Li, Loehr, SIAM J. Discrete Math. 32(2018))] proposed a new approach to understanding the symmetry property $\mathrm{Cat}_n(q,t)=\mathrm{Cat}_n(t,q)$ based on decomposing the set of all integer partitions into infinite chains. Each such global chain $\mathcal{C}_{\mu}$ has an opposite chain $\mathcal{C}_{\mu^*}$; these combine to give a new small slice of $\mathrm{Cat}_n(q,t)$ that is symmetric in $q$ and $t$. Here we advance the agenda of [LLL18] by developing a new general method for building the global chains $\mathcal{C}_{\mu}$ from smaller elements called local chains. We define a local opposite property for local chains that implies the needed opposite property of the global chains. This local property is much easier to verify in specific cases compared to the corresponding global property. We apply this machinery to construct all global chains for partitions with deficit at most $11$. This proves that for all $n$, the terms in $\mathrm{Cat}_n(q,t)$ of degree at least $\binom{n}{2}-11$ are symmetric in $q$ and $t$.


title: Resistive Accretion Flows around a Kerr Black Hole

abstract: In this paper, we present the stationary axisymmetric configuration of a resistive magnetised thick accretion disc in the vicinity of external gravity and intrinsic dipolar magnetic field of a slowly rotating black hole. The plasma is described by the equations of fully general relativistic magnetohydrodynamics (MHD) along with the Ohm's law and in the absence of the effects of radiation fields. We try to solve these two-dimensional MHD equations analytically as much as possible. However, we sometimes inevitably refer to numerical methods as well. To fully understand the relativistic geometrically thick accretion disc structure, we consider all three components of the fluid velocity to be non-zero. This implies that the magnetofluid can flow in all three directions surrounding the central black hole. As we get radially closer to the hole, the fluid flows faster in all those directions. However, as we move towards the equator along the meridional direction, the radial inflow becomes stronger from both the speed and the mass accretion rate points of view. Nonetheless, the vertical (meridional) speed and the rotation of the plasma disc become slower in that direction. Due to the presence of pressure gradient forces, a sub-Keplerian angular momentum distribution throughout the thick disc is expected as well. To get a concise analytical form of the rate of accretion, we assume that the radial dependency of radial and meridional fluid velocities is the same. This simplifying assumption leads to radial independency of mass accretion rate. The motion of the accreting plasma produces an azimuthal current whose strength is specified based on the strength of the external dipolar magnetic field. This current generates a poloidal magnetic field in the disc which is continuous across the disc boundary surface due to the presence of the finite resistivity for the plasma.


title: Unextendible product bases from tile structures and their local entanglement-assisted distinguishability

abstract: We completely characterize the condition when a tile structure provides an unextendible product basis (UPB), and construct UPBs of different large sizes in $\mathbb{C}^m\otimes\mathbb{C}^n$ for any $n\geq m\geq 3$. This solves an open problem in [S. Halder et al., Phys. Rev. A 99, 062329 (2019)]. As an application, we show that our UPBs of size $(mn-4\lfloor\frac{m-1}{2}\rfloor)$ in $\mathbb{C}^m\otimes\mathbb{C}^n$ can be perfectly distinguished by local operations and classical communications assisted with a $\lceil\frac{m}{2}\rceil\otimes\lceil\frac{m}{2}\rceil$ maximally entangled state.


title: Cohomologies, extensions and deformations of differential algebras with any weights

abstract: As an algebraic study of differential equations, differential algebras have been studied for a century and and become an important area of mathematics. In recent years the area has been expended to the noncommutative associative and Lie algebra contexts and to the case when the operator identity has a weight in order to include difference operators and difference algebras. This paper provides a cohomology theory for differential algebras of any weights. This gives a uniform approach to both the zero weight case which is similar to the earlier study of differential Lie algebras, and the non-zero weight case which poses new challenges. As applications, abelian extensions of a differential algebra are classified by the second cohomology group. Furthermore, formal deformations of differential algebras are obtained and the rigidity of a differential algebra is characterized by the vanishing of the second cohomology group.


title: FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis

abstract: Balancing performance and safety is crucial to deploying autonomous vehicles in multi-agent environments. In particular, autonomous racing is a domain that penalizes safe but conservative policies, highlighting the need for robust, adaptive strategies. Current approaches either make simplifying assumptions about other agents or lack robust mechanisms for online adaptation. This work makes algorithmic contributions to both challenges. First, to generate a realistic, diverse set of opponents, we develop a novel method for self-play based on replica-exchange Markov chain Monte Carlo. Second, we propose a distributionally robust bandit optimization procedure that adaptively adjusts risk aversion relative to uncertainty in beliefs about opponents' behaviors. We rigorously quantify the tradeoffs in performance and robustness when approximating these computations in real-time motion-planning, and we demonstrate our methods experimentally on autonomous vehicles that achieve scaled speeds comparable to Formula One racecars.


title: Faster ILOD: Incremental Learning for Object Detectors based on Faster RCNN

abstract: The human vision and perception system is inherently incremental where new knowledge is continually learned over time whilst existing knowledge is retained. On the other hand, deep learning networks are ill-equipped for incremental learning. When a well-trained network is adapted to new categories, its performance on the old categories will dramatically degrade. To address this problem, incremental learning methods have been explored which preserve the old knowledge of deep learning models. However, the state-of-the-art incremental object detector employs an external fixed region proposal method that increases overall computation time and reduces accuracy comparing to Region Proposal Network (RPN) based object detectors such as Faster RCNN. The purpose of this paper is to design an efficient end-to-end incremental object detector using knowledge distillation. We first evaluate and analyze the performance of the RPN-based detector with classic distillation on incremental detection tasks. Then, we introduce multi-network adaptive distillation that properly retains knowledge from the old categories when fine-tuning the model for new task. Experiments on the benchmark datasets, PASCAL VOC and COCO, demonstrate that the proposed incremental detector based on Faster RCNN is more accurate as well as being 13 times faster than the baseline detector.


title: The Schwartz-Soffer and more inequalities for random fields

abstract: A new series of correlation inequalities for random field spin systems is proven rigorously. First one corresponds to the well-known Schwartz-Soffer inequality. These are expected to rule out incorrect results calculated in effective theories and numerical studies. The large $N$ expansion with the replica method for random field systems as an example is checked by these inequalities. It is shown that several critical exponents of multiple-point correlation functions at critical point satisfy obtained inequalities.


title: Analytic solutions in Einstein-aether scalar field cosmology

abstract: In the context of Einstein-aether scalar field cosmology we solve the field equations and determine exact and analytic solutions. In particular, we consider a model proposed by Kanno and Soda where the aether and the scalar fields interact through the aether coefficient parameters, which are promoted to be functions of the scalar field. For this model, we write the field equations by using the minisuperspace approach and we determine the scalar field potentials which leads to Liouville--integrable systems. We solve the field equations for five families of scalar field potentials and, whether it is feasible, we write down the analytic solutions by using closed-form functions.


title: Positive configuration space

abstract: We define and study the totally nonnegative part of the Chow quotient of the Grassmannian, or more simply the nonnegative configuration space. This space has a natural stratification by positive Chow cells, and we show that nonnegative configuration space is homeomorphic to a polytope as a stratified space. We establish bijections between positive Chow cells and the following sets: (a) regular subdivisions of the hypersimplex into positroid polytopes, (b) the set of cones in the positive tropical Grassmannian, and (c) the set of cones in the positive Dressian. Our work is motivated by connections to super Yang-Mills scattering amplitudes, which will be discussed in a sequel.


title: Testing an indirect method for identifying galaxies with high levels of Lyman continuum leakage

abstract: Using a sample of galaxies at $z\approx 3$ with detected Lyman Continuum (LyC) leakage in the SSA22 field, we attempt to verify a proposed indirect method for identifying cases with high LyC escape fraction $f_\mathrm{esc}$ based on measurements of the H$\beta$ equivalent width (EW) and the $\beta$ slope of the UV continuum. To this end, we present Keck/MOSFIRE H$\beta$ emission line flux measurements of LyC galaxies (LCGs) at spectroscopic redshifts $z_{\mathrm{spec}} \sim 3.3$, Lyman break galaxies (LBGs) at photometric redshifts $z_{\mathrm{phot}} = 2.7$--$3.7$, and Ly$\alpha$ emitters at $z_{\mathrm{phot}} = 3.1$. We also reconfirm the spectroscopic redshifts and measure the H$\beta$ emission line fluxes from 2 LCGs and 6 LBGs. For the LCG in our sample with the most extreme $f_\mathrm{esc}$, as revealed by the direct detection of LyC photons, we find that the EW(H$\beta$)--$\beta$ method gives a broadly consistent estimate for $f_\mathrm{esc}$, although the error bars remain very large. We also discuss how a combination of $f_\mathrm{esc}$ measurements based on direct and indirect methods can shed light on the LyC escape mechanism and the anisotropy of the leakage.


title: Conjugacy class sizes in arithmetic progression

abstract: Let ${\rm cs}(G)$ denote the set of conjugacy class sizes of a group $G$, and let ${\rm cs}^*(G)={\rm cs}(G)\setminus\{1\}$ be the sizes of non-central classes. We prove three results. We classify all finite groups $G$ with ${\rm cs}(G)=\{a, a+d, \dots ,a+rd\}$ an arithmetic progression with $r\geqslant 2$. (We show that ${\rm cs}(G)=\{1,2,3\}$.) Our most substantial result classifies all $G$ with ${\rm cs}^*(G)=\{2,4,6\}$. Finally, we classify all groups $G$ whose largest two non-central conjugacy class sizes are coprime. (Here it is not obvious but it is true that ${\rm cs}^*(G)$ has two elements, and so is an arithmetic progression.)


title: Determinantal formulas for dual Grothendieck polynomials

abstract: We prove Jacobi-Trudi-type determinantal formulas for skew dual Grothendieck polynomials which are $K$-theoretic deformations of Schur polynomials. We also prove a bialternant-type formula analogous to the classical definition of Schur polynomials.


title: A Mathematical Framework for IMU Error Propagation with Applications to Preintegration

abstract: To fuse information from inertial measurement units (IMU) with other sensors one needs an accurate model for IMU error propagation in terms of position, velocity and orientation, a triplet we call extended pose. In this paper we leverage a nontrivial result, namely log-linearity of inertial navigation equations based on the recently introduced Lie group $SE_2(3)$, to transpose the recent methodology of Barfoot and Furgale for associating uncertainty with poses (position, orientation) of $SE(3)$ when using noisy wheel speeds, to the case of extended poses (position, velocity, orientation) of $SE_2(3)$ when using noisy IMUs. Besides, our approach to extended poses combined with log-linearity property allows revisiting the theory of preintegration on manifolds and reaching a further theoretic level in this field. We show exact preintegration formulas that account for rotating Earth, that is, centrifugal force and Coriolis effect, may be derived as a byproduct.


title: RIXS Reveals Hidden Local Transitions of the Aqueous OH Radical

abstract: Resonant inelastic x-ray scattering (RIXS) provides remarkable opportunities to interrogate ultrafast dynamics in liquids. Here we use RIXS to study the fundamentally and practically important hydroxyl radical in liquid water, OH(aq). Impulsive ionization of pure liquid water produced a short-lived population of OH(aq), which was probed using femtosecond x-rays from an x-ray free-electron laser. We find that RIXS reveals localized electronic transitions that are masked in the ultraviolet absorption spectrum by strong charge-transfer transitions -- thus providing a means to investigate the evolving electronic structure and reactivity of the hydroxyl radical in aqueous and heterogeneous environments. First-principles calculations provide interpretation of the main spectral features.


title: Geometry of First-Order Methods and Adaptive Acceleration

abstract: First-order operator splitting methods are ubiquitous among many fields through science and engineering, such as inverse problems, signal/image processing, statistics, data science and machine learning, to name a few. In this paper, we study a geometric property of first-order methods when applying to solve non-smooth optimization problems. With the tool of "partial smoothness", we design a framework to analyze the trajectory of the fixed-point sequence generated by first-order methods and show that locally, the fixed-point sequence settles onto a regular trajectory such as a straight line or a spiral. Based on this finding, we discuss the limitation of current widely used "inertial acceleration" technique, and propose a trajectory following adaptive acceleration algorithm. Global convergence is established for the proposed acceleration scheme based on the perturbation of fixed-point iteration. Locally, we first build connections between the acceleration scheme and the well-studied "vector extrapolation technique" in the field of numerical analysis, and then discuss local acceleration guarantees of the proposed acceleration scheme. Moreover, our result provides a geometric interpretation of these vector extrapolation techniques. Numerical experiments on various first-order methods are provided to demonstrate the advantage of the proposed adaptive acceleration scheme.


title: On the de Rham-Witt complex over perfectoid rings

abstract: Fix an odd prime $p$. The results in this paper are modeled after work of Hesselholt and Hesselholt-Madsen on the $p$-typical absolute de Rham-Witt complex in mixed characteristic. We have two primary results. The first is an exact sequence which describes the kernel of the restriction map on the de Rham-Witt complex over $A$, where $A$ is the ring of integers in an algebraic extension of $\mathbb{Q}_p$, or where $A$ is a $p$-torsion-free perfectoid ring. The second result is a description of the $p$-power torsion (and related objects) in the de Rham-Witt complex over $A$, where $A$ is a $p$-torsion-free perfectoid ring containing a compatible system of $p$-power roots of unity. Both of these results are analogous to results of Hesselholt and Madsen. Our main contribution is the extension of their results to certain perfectoid rings. We also provide algebraic proofs of these results, whereas the proofs of Hesselholt and Madsen used techniques from topology.


title: Online inverse reinforcement learning with unknown disturbances

abstract: This paper addresses the problem of online inverse reinforcement learning for nonlinear systems with modeling uncertainties while in the presence of unknown disturbances. The developed approach observes state and input trajectories for an agent and identifies the unknown reward function online. Sub-optimality introduced in the observed trajectories by the unknown external disturbance is compensated for using a novel model-based inverse reinforcement learning approach. The observer estimates the external disturbances and uses the resulting estimates to learn the dynamic model of the demonstrator. The learned demonstrator model along with the observed suboptimal trajectories are used to implement inverse reinforcement learning. Theoretical guarantees are provided using Lyapunov theory and a simulation example is shown to demonstrate the effectiveness of the proposed technique.


title: FarSee-Net: Real-Time Semantic Segmentation by Efficient Multi-scale Context Aggregation and Feature Space Super-resolution

abstract: Real-time semantic segmentation is desirable in many robotic applications with limited computation resources. One challenge of semantic segmentation is to deal with the object scale variations and leverage the context. How to perform multi-scale context aggregation within limited computation budget is important. In this paper, firstly, we introduce a novel and efficient module called Cascaded Factorized Atrous Spatial Pyramid Pooling (CF-ASPP). It is a lightweight cascaded structure for Convolutional Neural Networks (CNNs) to efficiently leverage context information. On the other hand, for runtime efficiency, state-of-the-art methods will quickly decrease the spatial size of the inputs or feature maps in the early network stages. The final high-resolution result is usually obtained by non-parametric up-sampling operation (e.g. bilinear interpolation). Differently, we rethink this pipeline and treat it as a super-resolution process. We use optimized super-resolution operation in the up-sampling step and improve the accuracy, especially in sub-sampled input image scenario for real-time applications. By fusing the above two improvements, our methods provide better latency-accuracy trade-off than the other state-of-the-art methods. In particular, we achieve 68.4% mIoU at 84 fps on the Cityscapes test set with a single Nivida Titan X (Maxwell) GPU card. The proposed module can be plugged into any feature extraction CNN and benefits from the CNN structure development.


title: Revival dynamics in a traversable wormhole

abstract: Quantum effects can stabilize wormhole solutions in general relativity, allowing information and matter to be transported between two connected spacetimes. Here we study the revival dynamics of signals sent between two weakly coupled quantum chaotic systems, represented as identical Sachdev-Ye-Kitaev models, that realize holographically a traversable wormhole in anti-de Sitter spacetime AdS$_2$ for large number $N$ of particles. In this limit we find clear signatures of wormhole behavior: an excitation created in one system is quickly scrambled under its unitary dynamics, and is reassembled in the other system after a characteristic time consistent with holography predictions. This leads to revival oscillations that at low but finite temperature decay as a power-law in time. For small $N$ we also observe revivals and show that they arise from a different, non-gravitational mechanism.


title: Toeplitz Monte Carlo

abstract: Motivated mainly by applications to partial differential equations with random coefficients, we introduce a new class of Monte Carlo estimators, called Toeplitz Monte Carlo (TMC) estimator for approximating the integral of a multivariate function with respect to the direct product of an identical univariate probability measure. The TMC estimator generates a sequence $x_1,x_2,\ldots$ of i.i.d. samples for one random variable, and then uses $(x_{n+s-1},x_{n+s-2}\ldots,x_n)$ with $n=1,2,\ldots$ as quadrature points, where $s$ denotes the dimension. Although consecutive points have some dependency, the concatenation of all quadrature nodes is represented by a Toeplitz matrix, which allows for a fast matrix-vector multiplication. In this paper we study the variance of the TMC estimator and its dependence on the dimension $s$. Numerical experiments confirm the considerable efficiency improvement over the standard Monte Carlo estimator for applications to partial differential equations with random coefficients, particularly when the dimension $s$ is large.


title: The Coupled SYK model at Finite Temperature

abstract: Sachdev-Ye-Kitaev (SYK) model, which describes $N$ randomly interacting Majorana fermions in 0+1 dimension, is found to be an solvable UV-complete toy model for holographic duality in nearly AdS$_2$ dilaton gravity. Ref. [1] proposed a modified model by coupling two identical SYK models, which at low-energy limit is dual to a global AdS$_2$ geometry. This geometry is an "eternal wormhole" because the two boundaries are causally connected. Increasing the temperature drives a Hawking-Page like transition from the eternal wormhole geometry to two disconnected black holes with coupled matter field. To gain more understanding of the coupled SYK model, in this work, we study the finite temperature spectral function of this system by numerical solving the Schwinger-Dyson equation in real-time. We find in the low-temperature phase the system is well described by weakly interacting fermions with renormalized single-particle gap, while in the high temperature phase the system is strongly interacting and the single-particle peaks merge. We also study the $q$ dependence of the spectral function.


title: BitTensor: A Peer-to-Peer Intelligence Market

abstract: As with other commodities, markets could help us efficiently produce machine intelligence. We propose a market where intelligence is priced by other intelligence systems peer-to-peer across the internet. Peers rank each other by training neural networks which learn the value of their neighbors. Scores accumulate on a digital ledger where high ranking peers are monetarily rewarded with additional weight in the network. However, this form of peer-ranking is not resistant to collusion, which could disrupt the accuracy of the mechanism. The solution is a connectivity-based regularization which exponentially rewards trusted peers, making the system resistant to collusion of up to 50 percent of the network weight. The result is a collectively run intelligence market which continual produces newly trained models and pays contributors who create information theoretic value.


title: ROSE: Real One-Stage Effort to Detect the Fingerprint Singular Point Based on Multi-scale Spatial Attention

abstract: Detecting the singular point accurately and efficiently is one of the most important tasks for fingerprint recognition. In recent years, deep learning has been gradually used in the fingerprint singular point detection. However, current deep learning-based singular point detection methods are either two-stage or multi-stage, which makes them time-consuming. More importantly, their detection accuracy is yet unsatisfactory, especially in the case of the low-quality fingerprint. In this paper, we make a Real One-Stage Effort to detect fingerprint singular points more accurately and efficiently, and therefore we name the proposed algorithm ROSE for short, in which the multi-scale spatial attention, the Gaussian heatmap and the variant of focal loss are applied together to achieve a higher detection rate. Experimental results on the datasets FVC2002 DB1 and NIST SD4 show that our ROSE outperforms the state-of-art algorithms in terms of detection rate, false alarm rate and detection speed.


title: Temporal Attribute Prediction via Joint Modeling of Multi-Relational Structure Evolution

abstract: Time series prediction is an important problem in machine learning. Previous methods for time series prediction did not involve additional information. With a lot of dynamic knowledge graphs available, we can use this additional information to predict the time series better. Recently, there has been a focus on the application of deep representation learning on dynamic graphs. These methods predict the structure of the graph by reasoning over the interactions in the graph at previous time steps. In this paper, we propose a new framework to incorporate the information from dynamic knowledge graphs for time series prediction. We show that if the information contained in the graph and the time series data are closely related, then this inter-dependence can be used to predict the time series with improved accuracy. Our framework, DArtNet, learns a static embedding for every node in the graph as well as a dynamic embedding which is dependent on the dynamic attribute value (time-series). Then it captures the information from the neighborhood by taking a relation specific mean and encodes the history information using RNN. We jointly train the model link prediction and attribute prediction. We evaluate our method on five specially curated datasets for this problem and show a consistent improvement in time series prediction results. We release the data and code of model DArtNet for future research at https://github.com/INK-USC/DArtNet .


title: A new representation of mutually orthogonal frequency squares

abstract: Mutually orthogonal frequency squares (MOFS) of type $F(m\lambda;\lambda)$ generalize the structure of mutually orthogonal Latin squares: rather than each of $m$ symbols appearing exactly once in each row and in each column of each square, the repetition number is $\lambda \ge 1$. A classical upper bound for the number of such MOFS is $\frac{(m\lambda-1)^2}{m-1}$. We introduce a new representation of MOFS of type $F(m\lambda;\lambda)$, as a linear combination of $\{0,1\}$ arrays. We use this representation to give an elementary proof of the classical upper bound, together with a structural constraint on a set of MOFS achieving the upper bound. We then use this representation to establish a maximality criterion for a set of MOFS of type $F(m\lambda;\lambda)$ when $m$ is even and $\lambda$ is odd, which simplifies and extends a previous analysis [T. Britz, N.J. Cavenagh, A. Mammoliti, I.M. Wanless, Mutually orthogonal binary frequency squares, Electron. J. Combin., 27(#P3.7), 2020, 26 pages] of the case when $m=2$ and $\lambda$ is odd.


title: The $\kappa$-Newtonian and $\kappa$-Carrollian algebras and their noncommutative spacetimes

abstract: We derive the non-relativistic $c\to\infty$ and ultra-relativistic $c\to 0$ limits of the $\kappa$-deformed symmetries and corresponding spacetime in (3+1) dimensions, with and without a cosmological constant. We apply the theory of Lie bialgebra contractions to the Poisson version of the $\kappa$-(A)dS quantum algebra, and quantize the resulting contracted Poisson-Hopf algebras, thus giving rise to the $\kappa$-deformation of the Newtonian (Newton-Hooke and Galilei) and Carrollian (Para-Poincar\'e, Para-Euclidean and Carroll) quantum symmetries, including their deformed quadratic Casimir operators. The corresponding $\kappa$-Newtonian and $\kappa$-Carrollian noncommutative spacetimes are also obtained as the non-relativistic and ultra-relativistic limits of the $\kappa$-(A)dS noncommutative spacetime. These constructions allow us to analyze the non-trivial interplay between the quantum deformation parameter $\kappa$, the curvature parameter $\eta$ and the speed of light parameter $c$.


title: Lasing action in single subwavelength particles supporting supercavity modes

abstract: On-chip light sources are critical for the realization of fully integrated photonic circuitry. So far, semiconductor miniaturized lasers have been mainly limited to sizes on the order of a few microns. Further reduction of sizes is challenging fundamentally due to the associated radiative losses. While using plasmonic metals helps to reduce radiative losses and sizes, they also introduce Ohmic losses hindering real improvements. In this work, we show that, making use of quasi-bound states in the continuum, or supercavity modes, we circumvent these fundamental issues and realize the smallest purely semiconductor nanolaser thus far. Here, the nanolaser structure is based on a single semiconductor nanocylinder that intentionally takes advantage of the destructive interference between two supported optical modes, namely Fabry-Perot and Mie modes, to obtain a significant enhancement in the quality factor of the cavity. We experimentally demonstrate the concept and obtain optically pumped lasing action using GaAs at cryogenic temperatures. The optimal nanocylinder size is as small as 500 nm in diameter and only 330 nm in height with a lasing wavelength around 825 nm, corresponding to a size-to-wavelength ratio around 0.6. The obtained results pave the way for the development of smaller on-chip light sources free of Ohmic losses, which may find applications in the future photonic circuits.


title: Deconfounded Image Captioning: A Causal Retrospect

abstract: Dataset bias in vision-language tasks is becoming one of the main problems which hinders the progress of our community. Existing solutions lack a principled analysis about why modern image captioners easily collapse into dataset bias. In this paper, we present a novel perspective: Deconfounded Image Captioning (DIC), to find out the answer of this question, then retrospect modern neural image captioners, and finally propose a DIC framework: DICv1.0 to alleviate the negative effects brought by dataset bias. DIC is based on causal inference, whose two principles: the backdoor and front-door adjustments, help us review previous studies and design new effective models. In particular, we showcase that DICv1.0 can strengthen two prevailing captioning models and can achieve a single-model 131.1 CIDEr-D and 128.4 c40 CIDEr-D on Karpathy split and online split of the challenging MS COCO dataset, respectively. Interestingly, DICv1.0 is a natural derivation from our causal retrospect, which opens promising directions for image captioning.


title: Q* Approximation Schemes for Batch Reinforcement Learning: A Theoretical Comparison

abstract: We prove performance guarantees of two algorithms for approximating $Q^\star$ in batch reinforcement learning. Compared to classical iterative methods such as Fitted Q-Iteration---whose performance loss incurs quadratic dependence on horizon---these methods estimate (some forms of) the Bellman error and enjoy linear-in-horizon error propagation, a property established for the first time for algorithms that rely solely on batch data and output stationary policies. One of the algorithms uses a novel and explicit importance-weighting correction to overcome the infamous "double sampling" difficulty in Bellman error estimation, and does not use any squared losses. Our analyses reveal its distinct characteristics and potential advantages compared to classical algorithms.


title: Isotopy of the Dehn twist on K3#K3 after a single stabilization

abstract: Kronheimer-Mrowka recently proved that the Dehn twist along a 3-sphere in the neck of $K3\#K3$ is not smoothly isotopic to the identity. This provides a new example of self-diffeomorphisms on 4-manifolds that are isotopic to the identity in the topological category but not smoothly so. (The first such examples were given by Ruberman.) In this paper, we use the Pin(2)-equivariant Bauer-Furuta invariant to show that this Dehn twist is not smoothly isotopic to the identity even after a single stabilization (connected summing with the identity map on $S^{2}\times S^{2}$). This gives the first example of exotic phenomena on simply connected smooth 4-manifolds that do not disappear after a single stabilization.


title: Spectral characterization of non-Gaussian quantum noise: Keldysh approach and application to photon shot noise

abstract: Having accurate tools to describe non-classical, non-Gaussian environmental fluctuations is crucial for designing effective quantum control protocols and understanding the physics of underlying quantum dissipative environments. We show how the Keldysh approach to quantum noise characterization can be usefully employed to characterize frequency-dependent noise, focusing on the quantum bispectrum (i.e., frequency-resolved third cumulant). Using the paradigmatic example of photon shot noise fluctuations in a driven bosonic mode, we show that the quantum bispectrum can be a powerful tool for revealing distinctive non-classical noise properties, including an effective breaking of detailed balance by quantum fluctuations. The Keldysh-ordered quantum bispectrum can be directly accessed using existing noise spectroscopy protocols.


title: Enhancing End-to-End Multi-channel Speech Separation via Spatial Feature Learning

abstract: Hand-crafted spatial features (e.g., inter-channel phase difference, IPD) play a fundamental role in recent deep learning based multi-channel speech separation (MCSS) methods. However, these manually designed spatial features are hard to incorporate into the end-to-end optimized MCSS framework. In this work, we propose an integrated architecture for learning spatial features directly from the multi-channel speech waveforms within an end-to-end speech separation framework. In this architecture, time-domain filters spanning signal channels are trained to perform adaptive spatial filtering. These filters are implemented by a 2d convolution (conv2d) layer and their parameters are optimized using a speech separation objective function in a purely data-driven fashion. Furthermore, inspired by the IPD formulation, we design a conv2d kernel to compute the inter-channel convolution differences (ICDs), which are expected to provide the spatial cues that help to distinguish the directional sources. Evaluation results on simulated multi-channel reverberant WSJ0 2-mix dataset demonstrate that our proposed ICD based MCSS model improves the overall signal-to-distortion ratio by 10.4% over the IPD based MCSS model.


title: Effective potential approach to hybrid synchronization transitions

abstract: The Kuramoto model exhibits different types of synchronization transitions depending on the type of natural frequency distribution. To obtain these results, the Kuramoto self-consistency equation (SCE) approach has been used successfully. However, this approach affords only limited understanding of more detailed properties such as the stability and finite size effect. Here, we extend the SCE approach by introducing an effective potential, that is, an integral version of the SCE. We examine the landscape of this effective potential for second-order, first-order, and hybrid synchronization transitions in the thermodynamic limit. In particular, for the hybrid transition, we find that the minimum of effective potential displays a plateau across the region in which the order parameter jumps. This result suggests that the effective free energy can be used to determine a type of synchronization transition. For finite systems, the effective potential contains local minima at which the system can be trapped. Using numerical simulations, we determine the stability of the system as a function of system size and simulation time.


title: Geometry-aware Compensation Scheme for Morphing Drones

abstract: Morphing multirotors, such as the Foldable Drone , can increase the versatility of drones employing in-flight-adaptive-morphology. To further increase precision in their tasks, recent works have investigated stable flight in asymmetric morphologies mainly leveraging the low-level controller. However, the aerodynamic effects embedded in multirotors are only analyzed in fixed shape aerial vehicles and are completely ignored in morphing drones. In this paper, we investigate the effects of the partial overlap between the propellers and the main body of a morphing quadrotor. We perform experiments to characterize such effects and design a morphology-aware control scheme to account for them. To guarantee the right trade-off between efficiency and compactness of the vehicle, we propose a simple geometry-aware compensation scheme based on the results of these experiments. We demonstrate the effectiveness of our approach by deploying the compensation scheme on the Foldable Drone, a quadrotor that can fold its arms around the main body. The same set of experiments are performed and compared against one another by activating and deactivating the compensation scheme offline or during the flight. To the best of our knowledge, this is the first work counteracting the aerodynamic effects of a morphing quadrotor during flight and showing the effects of partial overlap between a propeller and the central body of the drone.


title: Followup ground-based observations of the dwarf nova KZ Gem

abstract: We present spectroscopy of stars in the immediate vicinity of the dwarf nova (DN) KZ Gem to confirm its identification, which had been ambiguous in the literature. Analysis of 73 radial velocities spanning from 2014 to 2019 provides a high-precision orbital period of 0.2224628(2)\,d ($\sim5.34$\,hr) and shows KZ\,Gem to be a double-lined DN. Time series photometry taken from 2016 to 2018 shows a variable double-hump modulation with a full amplitude of $\sim0.3$\,mag, along with five Gaussian-like transient events lasting $\sim30$\,min or more. Using the light curve code XRBinary and nonlinear fitting code NMfit, we obtain an optimized binary model of the dwarf nova (DN) KZ Gem, from time series photometry, consisting of a Roche-lobe-filling K type dwarf with a mass transfer rate of $2.7\,-\,7.9\times10^{-10}\,{\rm M}_{\odot}\,{\rm yr}^{-1}$ to a large, cool and thick disk surrounding a white dwarf, in an orbit with an inclination of $51^{\circ}.6(\pm1^{\circ}.4)$. Two hotspots on the disk are demonstrated to cause the observed variations in the ellipsoidal modulations from the secondary star. This physical model is compatible with the Gaia distance of KZ\,Gem.


title: CUBE -- Towards an Optimal Scaling of Cosmological N-body Simulations

abstract: N-body simulations are essential tools in physical cosmology to understand the large-scale structure (LSS) formation of the Universe. Large-scale simulations with high resolution are important for exploring the substructure of universe and for determining fundamental physical parameters like neutrino mass. However, traditional particle-mesh (PM) based algorithms use considerable amounts of memory, which limits the scalability of simulations. Therefore, we designed a two-level PM algorithm CUBE towards optimal performance in memory consumption reduction. By using the fixed-point compression technique, CUBE reduces the memory consumption per N-body particle toward 6 bytes, an order of magnitude lower than the traditional PM-based algorithms. We scaled CUBE to 512 nodes (20,480 cores) on an Intel Cascade Lake based supercomputer with $\simeq$95\% weak-scaling efficiency. This scaling test was performed in "Cosmo-$\pi$" -- a cosmological LSS simulation using $\simeq$4.4 trillion particles, tracing the evolution of the universe over $\simeq$13.7 billion years. To our best knowledge, Cosmo-$\pi$ is the largest completed cosmological N-body simulation. We believe CUBE has a huge potential to scale on exascale supercomputers for larger simulations.


title: Integrating Acting, Planning and Learning in Hierarchical Operational Models

abstract: We present new planning and learning algorithms for RAE, the Refinement Acting Engine. RAE uses hierarchical operational models to perform tasks in dynamically changing environments. Our planning procedure, UPOM, does a UCT-like search in the space of operational models in order to find a near-optimal method to use for the task and context at hand. Our learning strategies 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. Our experimental results show that UPOM and our learning strategies significantly improve RAE's performance in four test domains using two different metrics: efficiency and success ratio.


title: Correlations in geometric states

abstract: In this paper we explore the correlations in the geometric states. Here the geometric state means the state in CFTs that can be effectively described by classical geometry in the bulk in the semi-classical limit $G\to 0$. By using the upper bound of Holevo informaion we show the covex combination of geometric states cannot be a geometric state. To understand the duality between thermofield double state and eternal black hle, we construct several correlated states of two CFTs. In all the examples we show their correlations are too weak to produce the a connected spacetime. we review the measure named quantum discord and use it to characterize the classical and quantum correlations in quantum field theories. Finally, we discuss the correlations between two intervals $A$ and $B$ with distance $d$ in the vacuum state of 2D CFTs with large central charge $c$. The feature is the phase transition of the mutual information $I(\rho_{AB})$. We analyse the quasi-product state of $\rho_{AB}$ for large $d$. By using the Koashi-Winter relation of tripartite states the quantum and classical correlations between $A$ and $B$ can expressed as Holevo information, which provides a new understanding of the correlations as accessible information.


title: Causal Interpretability for Machine Learning -- Problems, Methods and Evaluation

abstract: Machine learning models have had discernible achievements in a myriad of applications. However, most of these models are black-boxes, and it is obscure how the decisions are made by them. This makes the models unreliable and untrustworthy. To provide insights into the decision making processes of these models, a variety of traditional interpretable models have been proposed. Moreover, to generate more human-friendly explanations, recent work on interpretability tries to answer questions related to causality such as "Why does this model makes such decisions?" or "Was it a specific feature that caused the decision made by the model?". In this work, models that aim to answer causal questions are referred to as causal interpretable models. The existing surveys have covered concepts and methodologies of traditional interpretability. In this work, we present a comprehensive survey on causal interpretable models from the aspects of the problems and methods. In addition, this survey provides in-depth insights into the existing evaluation metrics for measuring interpretability, which can help practitioners understand for what scenarios each evaluation metric is suitable.


title: On the density of Birkhoff sums for Anosov diffeomorphisms

abstract: Let f be an Anosov diffeomorphism on a nilmanifold. We consider Birkhoff sums for a Holder continuous observation along periodic orbits. We show that if there are two Birkhoff sums distributed at both sides of zero, then the set of Birkhoff sums of all periodic points is dense in the whole set of real numbers.


title: Colossal quasiparticle radiation in the Lifshitz spin liquid phase of a two-dimensional quantum antiferromagnet

abstract: Strong quantum fluctuations in magnetic systems can create disordered quantum spin liquid phases of matter which are not predicted by classical physics. The complexity of the exotic phenomena on display in spin liquids has led to a great deal of theoretical and experimental interest. However, understanding the fundamental nature of the excitations in these systems remains challenging. In this work, we consider the Lifshitz quantum critical point in a two-dimensional frustrated $XY$ antiferromagnet. At this point, quantum fluctuations destroy long range order, leading to the formation of an algebraic Lifshitz spin liquid. We demonstrate that the bosonic magnon excitations are long-lived and well-defined in the Lifshitz spin liquid phase, though paradoxically, the dynamic structure factor has a broad non-Lorentzian frequency distribution with no single-particle weight. We resolve this apparent contradiction by showing that the Lifshitz spin liquid suffers from an infrared catastrophe: An external physical probe always excites an infinite number of arbitrarily low energy quasiparticles, which leads to significant radiative broadening of the spectrum.


title: Chemical instability of free-standing boron monolayers and properties of oxidized borophene sheets

abstract: In this work we report results of step-by-step modeling of the oxidation of free-standing boron monolayers of different types. Results of the calculations demonstrate that the process of the oxidation is always exothermic and lead toward the formation of foam-like boron oxide films with incorporated non-oxidized small boron clusters. Some of these boron-oxide films demonstrate the presence of chemically stable magnetic centers. Evaluation of the physical properties of oxidized boprophene sheets (OBS) demonstrate it possible application in solar energy, as sensors and coating against leakage of hydrogen.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.chem-ph physics.comp-ph


title: MCMC Guided CNN Training and Segmentation for Pancreas Extraction

abstract: Efficient organ segmentation is the precondition of various quantitative analysis. Segmenting the pancreas from abdominal CT images is a challenging task because of its high anatomical variability in shape, size and location. What's more, the pancreas only occupies a small portion in abdomen, and the organ border is very fuzzy. All these factors make the segmentation methods of other organs less suitable for the pancreas segmentation. In this report, we propose a Markov Chain Monte Carlo (MCMC) sampling guided convolutional neural network (CNN) approach, in order to handle such difficulties in morphological and photometric variabilities. Specifically, the proposed method mainly contains three steps: First, registration is carried out to mitigate the body weight and location variability. Then, an MCMC sampling is employed to guide the sampling of 3D patches, which are fed to the CNN for training. At the same time, the pancreas distribution is also learned for the subsequent segmentation. Third, sampled from the learned distribution, an MCMC process guides the segmentation process. Lastly, the patches based segmentation is fused using a Bayesian voting scheme. This method is evaluated on the NIH pancreatic datasets which contains 82 abdominal contrast-enhanced CT volumes. Finally, we achieved a competitive result of 78.13% Dice Similarity Coefficient value and 82.65% Recall value in testing data.


title: Uncommon clustering in dilute Ti-Fe alloys

abstract: We present the results of ab initio modeling of structure of dilute Ti-Fe, a typical representative of quenched Ti-based transition-metal alloys. We have demonstrated that beyond the solubility limit this alloy cannot be described in common terms of substitutional and interstitial alloys. Instead, very stable local clusters are formed in both low-temperature hcp and high-temperature bcc phases of alloys, with almost identical local structures. This gives an example of geometrically frustrated state and explains unusual concentration behavior of M\"ossbauer spectra discovered long ago for this system.


title: On group automorphisms in universal algebraic geometry

abstract: In this paper, we study group equations with occurrences of automorphisms. We describe equational domains in this class of equations. Moreover, we solve a number of open problem posed in universal algebraic geometry.


title: On the effect of structural forces on a condensing film profile near a fin-groove corner

abstract: Estimation of condenser performance of two-phase passive heat spreaders with grooved wick structures is crucial in the prediction of the overall performance of the heat spreader. Whilst the evaporation problem in micro-grooves has been widely studied, studies focusing on the condensation on fin-groove systems have been scarce. Condensation on fin-groove systems is actually a multi-scale problem. Thickness of the film near the fin-groove corner can decrease to nanoscale dimensions, which requires the inclusion of nanoscale effects into the modeling. While a few previous studies investigated the effect of dispersion forces, the effect of structural forces has never been considered in the thin film condensation modeling on fin-groove systems. The present study utilizes a disjoining pressure model which considers both dispersion and structural forces. The results reveal that structural forces are able to dominate dispersion forces in certain configurations. Consequently, by intensifying the disjoining pressure, structural forces lead to a sudden change of the film profile (slope break) for subcooling values which are relevant to engineering applications.


title: Anapole resonances in low-index materials

abstract: Photonic cavities are valued in current research owing to the multitude of linear and nonlinear effects arising from densely confined light. Cavity designs consisting of low loss dielectric materials can achieve significant light confinement, competitive with other schools of cavity design such as plasmonics. However, the basic concepts in all dielectric photonics such as anapole resonances in nanodisks have been primarily studied in high index materials such as WS2 and Si. Without additional measures, low index dielectric nanodisks struggle to achieve similar levels of light confinement. Here, we present fabricable design space for higher confinement in a low index dielectric cavity by incorporating the extensively studied, isolated dielectric nanodisk into broader host structures. In particular, we focus on hexagonal boron nitride (hBN), a novel dielectric 2D material with bright, room temperature single photon emitters and refractive indices of 2.1 and 1.8 in the inplane and out-of-plane directions. Due to hBN's potential as a quantum light source, we characterise our cavities by their achievable Purcell factors at the anapole resonance. The effects of the supporting structures on the cavity resonances include boosts to the Purcell factor by as much as three-fold to a maximum observed factor of 6.2.


title: Triggering long-lived particles in HL-LHC and the challenges in the first stage of the trigger system

abstract: Triggering long-lived particles at the first stage of the trigger system is very crucial in LLP searches to ensure that we do not miss them at the very beginning. The future High Luminosity runs of the Large Hardron Collider will have increased number of pile-up events per bunch crossing. There will be major upgrades in hardware, firmware and software sides, like tracking at level-1 (L1) as well as inclusion of the MIP timing detector. The L1 trigger menu will also be modified to cope with pile-up and maintain the sensitivity to physics processes. In our study we found that the usual level-1 triggers, mostly meant for triggering prompt particles, will not be very efficient for LLP searches in the 140 PU environment of HL-LHC, thus pointing to the need to include dedicated L1 triggers in the menu for LLPs. We consider the decay of the LLP into jets and develop dedicated jet triggers using the track information and if available, the regional timing information at L1 to select LLP events. We show in our work that these triggers give promising results in identifying LLP events with moderate trigger rates.


title: Pacemaker: Intermediate Teacher Knowledge Distillation For On-The-Fly Convolutional Neural Network

abstract: There is a need for an on-the-fly computational process with very low performance system such as system-on-chip (SoC) and embedded device etc. This paper presents pacemaker knowledge distillation as intermediate ensemble teacher to use convolutional neural network in these systems. For on-the-fly system, we consider student model using 1xN shape on-the-fly filter and teacher model using normal NxN shape filter. We note three points about training student model, caused by applying on-the-fly filter. First, same depth but unavoidable thin model compression. Second, the large capacity gap and parameter size gap due to only the horizontal field must be selected not the vertical receptive. Third, the performance instability and degradation of direct distilling. To solve these problems, we propose intermediate teacher, named pacemaker, for an on-the-fly student. So, student can be trained from pacemaker and original teacher step by step. Experiments prove our proposed method make significant performance (accuracy) improvements: on CIFAR100, 5.39% increased in WRN-40-4 than conventional knowledge distillation which shows even low performance than baseline. And we solve train instability, occurred when conventional knowledge distillation was applied without proposed method, by reducing deviation range by applying proposed method pacemaker knowledge distillation.


title: Complexity of tree-coloring interval graphs equitably

abstract: An equitable tree-$k$-coloring of a graph is a vertex $k$-coloring such that each color class induces a forest and the size of any two color classes differ by at most one. In this work, we show that every interval graph $G$ has an equitable tree-$k$-coloring for any integer $k\geq \lceil(\Delta(G)+1)/2\rceil$, solving a conjecture of Wu, Zhang and Li (2013) for interval graphs, and furthermore, give a linear-time algorithm for determining whether a proper interval graph admits an equitable tree-$k$-coloring for a given integer $k$. For disjoint union of split graphs, or $K_{1,r}$-free interval graphs with $r\geq 4$, we prove that it is $W[1]$-hard to decide whether there is an equitable tree-$k$-coloring when parameterized by number of colors, or by treewidth, number of colors and maximum degree, respectively.


title: Robust Learning from Discriminative Feature Feedback

abstract: Recent work introduced the model of learning from discriminative feature feedback, in which a human annotator not only provides labels of instances, but also identifies discriminative features that highlight important differences between pairs of instances. It was shown that such feedback can be conducive to learning, and makes it possible to efficiently learn some concept classes that would otherwise be intractable. However, these results all relied upon perfect annotator feedback. In this paper, we introduce a more realistic, robust version of the framework, in which the annotator is allowed to make mistakes. We show how such errors can be handled algorithmically, in both an adversarial and a stochastic setting. In particular, we derive regret bounds in both settings that, as in the case of a perfect annotator, are independent of the number of features. We show that this result cannot be obtained by a naive reduction from the robust setting to the non-robust setting.


title: Orbit Determination Before Detect: Orbital Parameter Matched Filtering for Uncued Detection

abstract: This paper presents a novel algorithm to incorporate orbital parameters into radar ambiguity function expressions by extending the standard ambiguity function to match Keplerian two-body orbits. A coherent orbital matched-filter will maximise a radar's sensitivity to objects in orbit, as well as provide rapid initial orbit determination from a single detection. This paper then shows how uncued detection searches can be practically achieved by incorporating radar parameters into the orbital search-space, especially for circular orbits. Simulated results are compared to results obtained from ephemeris data, showing that the orbital path determined by the proposed method, and the associated radar parameters that would be observed, match those derived from the ephemeris data.


title: An efficient Gehan-type estimation for the accelerated failure time model with clustered and censored data

abstract: In medical studies, the collected covariates usually contain underlying outliers. For clustered /longitudinal data with censored observations, the traditional Gehan-type estimator is robust to outliers existing in response but sensitive to outliers in the covariate domain, and it also ignores the within-cluster correlations. To take account of within-cluster correlations, varying cluster sizes, and outliers in covariates, we propose weighted Gehan-type estimating functions for parameter estimation in the accelerated failure time model for clustered data. We provide the asymptotic properties of the resulting estimators and carry out simulation studies to evaluate the performance of the proposed method under a variety of realistic settings. The simulation results demonstrate that the proposed method is robust to the outliers existing in the covariate domain and lead to much more efficient estimators when a strong within-cluster correlation exists. Finally, the proposed method is applied to a medical dataset and more reliable and convincing results are hence obtained.


title: Ground state Dirac bubbles and Killing spinors

abstract: We prove a classification result for ground state solutions of the critical Dirac equation on $\mathbb{R}^n$, $n\geq2$. By exploiting its conformal covariance, the equation can be posed on the round sphere $\mathbb{S}^n$ and the non-zero solutions at the ground level are given by Killing spinors, up to conformal diffeomorphisms. Moreover, such ground state solutions of the critical Dirac equation are also related to the Yamabe equation for the sphere, for which we crucially exploit some known classification results.


title: Manifold lifting: scaling MCMC to the vanishing noise regime

abstract: Standard Markov chain Monte Carlo methods struggle to explore distributions that are concentrated in the neighbourhood of low-dimensional structures. These pathologies naturally occur in a number of situations. For example, they are common to Bayesian inverse problem modelling and Bayesian neural networks, when observational data are highly informative, or when a subset of the statistical parameters of interest are non-identifiable. In this paper, we propose a strategy that transforms the original sampling problem into the task of exploring a distribution supported on a manifold embedded in a higher dimensional space; in contrast to the original posterior this lifted distribution remains diffuse in the vanishing noise limit. We employ a constrained Hamiltonian Monte Carlo method which exploits the manifold geometry of this lifted distribution, to perform efficient approximate inference. We demonstrate in several numerical experiments that, contrarily to competing approaches, the sampling efficiency of our proposed methodology does not degenerate as the target distribution to be explored concentrates near low dimensional structures.


title: Long time error analysis of the fourth-order compact finite difference methods for the nonlinear Klein-Gordon equation with weak nonlinearity

abstract: We present the fourth-order compact finite difference (4cFD) discretizations for the long time dynamics of the nonlinear Klein-Gordon equation (NKGE), while the nonlinearity strength is characterized by $\varepsilon^p$ with a constant $p \in \mathbb{N}^+$ and a dimensionless parameter $\varepsilon \in (0, 1]$. Based on analytical results of the life-span of the solution, rigorous error bounds of the 4cFD methods are carried out up to the time at $O(\varepsilon^{-p})$. We pay particular attention to how error bounds depend explicitly on the mesh size $h$ and time step $\tau$ as well as the small parameter $\varepsilon \in (0, 1]$, which indicate that, in order to obtain `correct' numerical solutions up to the time at $O(\varepsilon^{-p})$, the $\varepsilon$-scalability (or meshing strategy requirement) of the 4cFD methods should be taken as: $h = O(\varepsilon^{p/4})$ and $\tau = O(\varepsilon^{p/2})$. It has better spatial resolution capacity than the classical second order central difference methods. By a rescaling in time, it is equivalent to an oscillatory NKGE whose solution propagates waves with wavelength at $O(1)$ in space and $O(\varepsilon^p)$ in time. It is straightforward to get the error bounds of the oscillatory NKGE in the fixed time. Finally, numerical results are provided to confirm our theoretical analysis.


title: General geometric operators in all dimensional loop quantum gravity

abstract: Two strategies for constructing general geometric operators in all dimensional loop quantum gravity are proposed. The different constructions are mainly come from the two different regularization methods for the de-densitized dual momentum, which play the role of building block for the spatial geometry. The first regularization method is a generalization of the regularization of the length operator in standard $(1+3)$-dimensional loop quantum gravity, while the second method is a natural extension of those for standard (D-1)-area and D-volume operators. Two versions of general geometric operators to measure arbitrary $m$-areas are constructed, and their properties are discussed and compared. They serve as valuable candidates to study the quantum geometry in arbitrary dimensions.


title: Reducibility index and sum-reducibility index

abstract: Let $R$ be a Noetherian ring. For a finitely generated $R$-module $M$, Northcott introduced the reducibility index of $M$, which is the number of submodules appearing in an irredundant irreducible decomposition of the submodule $0$ in $M$. On the other hand, for an Artinian $R$-module $A$, Macdonald proved that the number of sum-irreducible submodules appearing in an irredundant sum-irreducible representation of $A$ does not depend on the choice of the representation. This number is called the sum-reducibility index of $A$. In the former part of this paper, we compute the reducibility index of $S\otimes_R M$, where $R\to S$ is a flat homomorphism of Noetherian rings. Especially, the localization, the polynomial extension, and the completion of $R$ are studied. For the latter part of this paper, we clarify the relation among the reducibility index of $M$, that of the completion of $M$, and the sum-reducibility index of the Matlis dual of $M$.


title: Probabilistic Egocentric Motion Correction of Lidar Point Cloud and Projection to Camera Images for Moving Platforms

abstract: The fusion of sensor data from heterogeneous sensors is crucial for robust perception in various robotics applications that involve moving platforms, for instance, autonomous vehicle navigation. In particular, combining camera and lidar sensors enables the projection of precise range information of the surrounding environment onto visual images. It also makes it possible to label each lidar point with visual segmentation/classification results for 3D mapping, which facilitates a higher level understanding of the scene. The task is however considered non-trivial due to intrinsic and extrinsic sensor calibration, and the distortion of lidar points resulting from the ego-motion of the platform. Despite the existence of many lidar ego-motion correction methods, the errors in the correction process due to uncertainty in ego-motion estimation are not possible to remove completely. It is thus essential to consider the problem a probabilistic process where the ego-motion estimation uncertainty is modelled and considered consistently. The paper investigates the probabilistic lidar ego-motion correction and lidar-to-camera projection, where both the uncertainty in the ego-motion estimation and time jitter in sensory measurements are incorporated. The proposed approach is validated both in simulation and using real-world data collected from an electric vehicle retrofitted with wide-angle cameras and a 16-beam scanning lidar.


title: Cross-Modal Food Retrieval: Learning a Joint Embedding of Food Images and Recipes with Semantic Consistency and Attention Mechanism

abstract: Food retrieval is an important task to perform analysis of food-related information, where we are interested in retrieving relevant information about the queried food item such as ingredients, cooking instructions, etc. In this paper, we investigate cross-modal retrieval between food images and cooking recipes. The goal is to learn an embedding of images and recipes in a common feature space, such that the corresponding image-recipe embeddings lie close to one another. Two major challenges in addressing this problem are 1) large intra-variance and small inter-variance across cross-modal food data; and 2) difficulties in obtaining discriminative recipe representations. To address these two problems, we propose Semantic-Consistent and Attention-based Networks (SCAN), which regularize the embeddings of the two modalities through aligning output semantic probabilities. Besides, we exploit a self-attention mechanism to improve the embedding of recipes. We evaluate the performance of the proposed method on the large-scale Recipe1M dataset, and show that we can outperform several state-of-the-art cross-modal retrieval strategies for food images and cooking recipes by a significant margin.


title: HEPLike: an open source framework for experimental likelihood evaluation

abstract: We present a computer framework to store and evaluate likelihoods coming from High Energy Physics experiments. Due to its flexibility it can be interfaced with existing fitting codes and allows to uniform the interpretation of the experimental results among users. The code is provided with large open database, which contains the experimental measurements. The code is of use for users who perform phenomenological studies, global fits or experimental averages.


title: Sampling Signals on Graphs: From Theory to Applications

abstract: The study of sampling signals on graphs, with the goal of building an analog of sampling for standard signals in the time and spatial domains, has attracted considerable attention recently. Beyond adding to the growing theory on graph signal processing (GSP), sampling on graphs has various promising applications. In this article, we review current progress on sampling over graphs focusing on theory and potential applications. Although most methodologies used in graph signal sampling are designed to parallel those used in sampling for standard signals, sampling theory for graph signals significantly differs from the theory of Shannon--Nyquist and shift-invariant sampling. This is due in part to the fact that the definitions of several important properties, such as shift invariance and bandlimitedness, are different in GSP systems. Throughout this review, we discuss similarities and differences between standard and graph signal sampling and highlight open problems and challenges.


title: Localization in one-dimensional relativistic quantum mechanics

abstract: We present the relativistic analogue of Anderson localization in one dimension. We use Dirac equation to calculate the transmission probability for a spin-$\frac{1}{2}$ particle incident upon a rectangular barrier. Using the transfer matrix formalism, we numerically compute the transmission probability for the case of a large number of identical barriers spread randomly in one dimension. The particular case when the incident particle has three component momentum and shows spin-flip phenomena is also considered. Our calculations suggest that the incident relativistic particle shows localization behaviour similar to that of Anderson localization. A number of results which are generalizations of the non-relativistic case are also obtained.


title: Adaptive Fibonacci and Pairing Heaps

abstract: This brief note presents two adaptive heap data structures and conjectures on running times.


title: Metric Learning for Ordered Labeled Trees with pq-grams

abstract: Computing the similarity between two data points plays a vital role in many machine learning algorithms. Metric learning has the aim of learning a good metric automatically from data. Most existing studies on metric learning for tree-structured data have adopted the approach of learning the tree edit distance. However, the edit distance is not amenable for big data analysis because it incurs high computation cost. In this paper, we propose a new metric learning approach for tree-structured data with pq-grams. The pq-gram distance is a distance for ordered labeled trees, and has much lower computation cost than the tree edit distance. In order to perform metric learning based on pq-grams, we propose a new differentiable parameterized distance, weighted pq-gram distance. We also propose a way to learn the proposed distance based on Large Margin Nearest Neighbors (LMNN), which is a well-studied and practical metric learning scheme. We formulate the metric learning problem as an optimization problem and use the gradient descent technique to perform metric learning. We empirically show that the proposed approach not only achieves competitive results with the state-of-the-art edit distance-based methods in various classification problems, but also solves the classification problems much more rapidly than the edit distance-based methods.


title: BiDet: An Efficient Binarized Object Detector

abstract: In this paper, we propose a binarized neural network learning method called BiDet for efficient object detection. Conventional network binarization methods directly quantize the weights and activations in one-stage or two-stage detectors with constrained representational capacity, so that the information redundancy in the networks causes numerous false positives and degrades the performance significantly. On the contrary, our BiDet fully utilizes the representational capacity of the binary neural networks for object detection by redundancy removal, through which the detection precision is enhanced with alleviated false positives. Specifically, we generalize the information bottleneck (IB) principle to object detection, where the amount of information in the high-level feature maps is constrained and the mutual information between the feature maps and object detection is maximized. Meanwhile, we learn sparse object priors so that the posteriors are concentrated on informative detection prediction with false positive elimination. Extensive experiments on the PASCAL VOC and COCO datasets show that our method outperforms the state-of-the-art binary neural networks by a sizable margin.


title: Blockade of phonon hopping in trapped ions in the presence of multiple local phonons

abstract: Driving an ion at a motional sideband transition induces the Jaynes--Cummings (JC) interaction. This JC interaction creates an anharmonic ladder of JC eigenstates, resulting in the suppression of phonon hopping due to energy conservation. Here, we realize phonon blockade in the presence of multiple local phonons in a trapped-ion chain. Our work establishes a key technological component for quantum simulation with multiple bosonic particles, which can simulate classically intractable problems.


title: A block inertial Bregman proximal algorithm for nonsmooth nonconvex problems with application to symmetric nonnegative matrix tri-factorization

abstract: We propose BIBPA, a block inertial Bregman proximal algorithm for minimizing the sum of a block relatively smooth function (that is, relatively smooth concerning each block) and block separable nonsmooth nonconvex functions. We prove that the sequence generated by BIBPA subsequentially converges to critical points of the objective under standard assumptions, and globally converges when the objective function is additionally assumed to satisfy the Kurdyka-{\L}ojasiewicz (K{\L}) property. We also provide the convergence rate when the objective satisfies the {\L}ojasiewicz inequality. We apply BIBPA to the symmetric nonnegative matrix tri-factorization (SymTriNMF) problem, where we propose kernel functions for SymTriNMF and provide closed-form solutions for subproblems of BIBPA.


title: Relay-Based Blockage and Antenna Misalignment Mitigation in THz Wireless Communications

abstract: The proliferation of wireless devices in recent years has caused a spectrum shortage, which led the scientific community to explore the potential of using terahertz (THz) communications. However, THz systems suffer from severe path attenuation, blockage, and antenna misalignment. In this paper, we present a relay-based blockage and antenna misalignment mitigation approach. In more detail, two relay selection policies are employed, namely best and random relay selection. The system performance under both policies is evaluated and compared in terms of average throughput and the probability that throughput of a link is below the quality of service (QoS) threshold, using Monte Carlo simulations. It was observed that the effect of both blockage and misalignment can be mitigated using relays. Moreover, the gain of using relaying to mitigate blockage is much more significant.


title: Approximations of algebraic irrationalities with matrices

abstract: We discuss the use of matrices for providing sequences of rationals that approximate algebraic irrationalities. In particular, we study the regular representation of algebraic extensions, proving that ratios between two entries of the matrix of the regular representation converge to specific algebraic irrationalities. As an interesting special case, we focus on cubic irrationalities giving a generalization of the Khovanskii matrices for approximating cubic irrationalities. We discuss the quality of such approximations considering both rate of convergence and size of denominators. Moreover, we briefly perform a numerical comparison with well--known iterative methods (such as Newton and Halley ones), showing that the approximations provided by regular representations appear more accurate for the same size of the denominator.


title: Homological shift ideals

abstract: For a monomial ideal $I$, we consider the $i$th homological shift ideal of $I$, denoted by $\text{HS}_i(I)$, that is, the ideal generated by the $i$th multigraded shifts of $I$. Some algebraic properties of this ideal are studied. It is shown that for any monomial ideal $I$ and any monomial prime ideal $P$, $\text{HS}_i(I(P))\subseteq \text{HS}_i(I)(P)$ for all $i$, where $I(P)$ is the monomial localization of $I$. In particular, we consider the homological shift ideal of some families of monomial ideals with linear quotients. For any $\textbf{c}$-bounded principal Borel ideal $I$ and for the edge ideal of complement of any path graph, it is proved that $\text{HS}_i(I)$ has linear quotients for all $i$. As an example of $\textbf{c}$-bounded principal Borel ideals, Veronese type ideals are considered and it is shown that the homological shift ideal of these ideals are polymatroidal. This implies that for any polymatroidal ideal which satisfies the strong exchange property, $\text{HS}_j(I)$ is again a polymatroidal ideal for all $j$. Moreover, for any edge ideal with linear resolution, the ideal $\text{HS}_j(I)$ is characterized and it is shown that $\text{HS}_1(I)$ has linear quotients.


title: CHO-bearing molecules in Comet 67P/Churyumov-Gerasimenko

abstract: In 2004, the Rosetta spacecraft was sent to comet 67P/Churyumov-Gerasimenko for the first ever long-term investigation of a comet. After its arrival in 2014, the spacecraft spent more than two years in immediate proximity to the comet. During these two years, the ROSINA Double Focusing Mass Spectrometer (DFMS) onboard Rosetta discovered a coma with an unexpectedly complex chemical composition that included many oxygenated molecules. Determining the exact cometary composition is an essential first step to understanding of the organic rich chemistry in star forming regions and protoplanetary disks that are ultimately conserved in cometary ices. In this study a joint approach of laboratory calibration and space data analysis was used to perform a detailed identification and quantification of CHO-compounds in the coma of 67P/Churyumov-Gerasimenko. The goal was to derive the CHO-compound abundances relative to water for masses up to 100 u. For this study, the May 2015 post-equinox period represent the best bulk abundances of comet 67P/Churyumov-Gerasimenko. A wide variety of CHO-compounds were discovered and their bulk abundances were derived. Finally, these results are compared to abundances of CHO-bearing molecules in other comets, obtained mostly from ground-based observations and modelling.


title: Mean Field Games of Controls: Finite Difference Approximations

abstract: We consider a class of mean field games in which the agents interact through both their states and controls, and we focus on situations in which a generic agent tries to adjust her speed (control) to an average speed (the average is made in a neighborhood in the state space). In such cases, the monotonicity assumptions that are frequently made in the theory of mean field games do not hold, and uniqueness cannot be expected in general. Such model lead to systems of forward-backward nonlinear nonlocal parabolic equations; the latter are supplemented with various kinds of boundary conditions, in particular Neumann-like boundary conditions stemming from reflection conditions on the underlying controled stochastic processes. The present work deals with numerical approximations of the above mentioned systems. After describing the finite difference scheme, we propose an iterative method for solving the systems of nonlinear equations that arise in the discrete setting; it combines a continuation method, Newton iterations and inner loops of a bigradient like solver. The numerical method is used for simulating two examples. We also make experiments on the behaviour of the iterative algorithm when the parameters of the model vary. The theory of mean field games, (MFGs for short), aims at studying deterministic or stochastic differential games (Nash equilibria) as the number of agents tends to infinity. It supposes that the rational agents are indistinguishable and individually have a negligible influence on the game, and that each individual strategy is influenced by some averages of quantities depending on the states (or the controls as in the present work) of the other agents. MFGs have been introduced in the pioneering works of J-M. Lasry and P-L. Lions [17, 18, 19]. Independently and at approximately the same time, the notion of mean field games arose in the engineering literature, see the works of M.Y. Huang, P.E. Caines and R.Malham{\'e} [14, 15]. The present work deals with numerical approximations of mean field games in which the agents interact through both their states and controls; it follows a more theoretical work by the second author, [16], which is devoted to the mathematical analysis of the related systems of nonlocal partial differential equations. There is not much literature on MFGs in which the agents also interact through their controls, see [13, 12, 8, 10, 7, 16]. To stress the fact that the latter situation is considered, we will sometimes use the terminology mean field games of control and the acronym MFGC.


title: Invariants for tame parametrised chain complexes

abstract: We set the foundations for a new approach to Topological Data Analysis (TDA) based on homotopical methods at chain complexes level. We present the category of tame parametrised chain complexes as a comprehensive environment that includes several cases that usually TDA handles separately, such as persistence modules, zigzag modules, and commutative ladders. We extract new invariants in this category using a model structure and various minimal cofibrant approximations. Such approximations and their invariants retain some of the topological, and not just homological, aspects of the objects they approximate.


title: Bayes' Theorem under Conditional Independence

abstract: In this article we provide a substantial discussion on the statistical concept of conditional independence, which is not routinely mentioned in most elementary statistics and mathematical statistics textbooks. Under the assumption of conditional independence, an extended version of Bayes' Theorem is then proposed with illustrations from both hypothetical and real-world examples of disease diagnosis.


title: DeepCP: Deep Learning Driven Cascade Prediction Based Autonomous Content Placement in Closed Social Network

abstract: Online social networks (OSNs) are emerging as the most popular mainstream platform for content cascade diffusion. In order to provide satisfactory quality of experience (QoE) for users in OSNs, much research dedicates to proactive content placement by using the propagation pattern, user's personal profiles and social relationships in open social network scenarios (e.g., Twitter and Weibo). In this paper, we take a new direction of popularity-aware content placement in a closed social network (e.g., WeChat Moment) where user's privacy is highly enhanced. We propose a novel data-driven holistic deep learning framework, namely DeepCP, for joint diffusion-aware cascade prediction and autonomous content placement without utilizing users' personal and social information. We first devise a time-window LSTM model for content popularity prediction and cascade geo-distribution estimation. Accordingly, we further propose a novel autonomous content placement mechanism CP-GAN which adopts the generative adversarial network (GAN) for agile placement decision making to reduce the content access latency and enhance users' QoE. We conduct extensive experiments using cascade diffusion traces in WeChat Moment (WM). Evaluation results corroborate that the proposed DeepCP framework can predict the content popularity with a high accuracy, generate efficient placement decision in a real-time manner, and achieve significant content access latency reduction over existing schemes.