title: Zero-divisors and idempotents in quandle rings

abstract: The paper develops further the theory of quandle rings which was introduced by the authors in a recent work. Orderability of quandles is defined and many interesting examples of orderable quandles are given. It is proved that quandle rings of left or right orderable quandles which are semi-latin have no zero-divisors. Idempotents in quandle rings of certain interesting quandles are computed and used to determine sets of maximal quandles in these rings. Understanding of idempotents is further applied to determine automorphism groups of these quandle rings. Also, commutator width of quandle rings is introduced and computed in a few cases. The paper conclude by commenting on relation of quandle rings with other well-known non-associative algebras.


title: Measuring line-of-sight sodium density structure using laser guide stars

abstract: The performance of adaptive optics systems employing sodium laser guide stars can be improved by continuously monitoring the vertical density structure of mesospheric sodium along the line of sight. We demonstrate that sodium density profiles can be retrieved by amplitude modulation of continuous wave (CW) lasers. In an experiment conducted at the Large Zenith Telescope (LZT), ESO's Wendelstein Raman-fibre laser was amplitude-modulated with a pseudo-random binary sequence and profiles were obtained by cross-correlation of the modulation pattern with the observed return signal from the laser guide star. For comparison, high-resolution profiles were obtained simultaneously using the lidar system of the LZT. The profiles obtained by the two techniques show noise contamination, but were found to agree to within the measurement error. As a further check, a comparison was also made between several lidar profiles and those obtained by simultaneous observations using a remote telescope to image the laser plume from the side. The modulated CW lidar technique could be implemented by diverting a small fraction of the returned laser light to a photon counting detector. Theoretical analysis and numerical simulations indicate that, for 50 per cent modulation strength, the sodium centroid altitude could be retrieved every 5 s from a single laser guide star, with an accuracy which would induce a corresponding wavefront error of 50 nm for the ELT and less than 30 nm for the TMT and GMT. If multiple laser guide stars are employed, the required modulation amplitude will be smaller.


title: A comment on paper of Kim et al. on mechanisms of hysteresis in human brain networks: comparing with theoretical m-adic model

abstract: This comment is aimed to point out that the recent work due to Kim, et al. in which the clinical and experiential assessment of a brain network model suggests that asymmetry of synchronization suppression is the key mechanism of hysteresis has coupling with our theoretical hysteresis model of unconscious-conscious interconnection based on dynamics on m-adic trees.


title: SQLFlow: A Bridge between SQL and Machine Learning

abstract: Industrial AI systems are mostly end-to-end machine learning (ML) workflows. A typical recommendation or business intelligence system includes many online micro-services and offline jobs. We describe SQLFlow for developing such workflows efficiently in SQL. SQL enables developers to write short programs focusing on the purpose (what) and ignoring the procedure (how). Previous database systems extended their SQL dialect to support ML. SQLFlow (https://sqlflow.org/sqlflow ) takes another strategy to work as a bridge over various database systems, including MySQL, Apache Hive, and Alibaba MaxCompute, and ML engines like TensorFlow, XGBoost, and scikit-learn. We extended SQL syntax carefully to make the extension working with various SQL dialects. We implement the extension by inventing a collaborative parsing algorithm. SQLFlow is efficient and expressive to a wide variety of ML techniques -- supervised and unsupervised learning; deep networks and tree models; visual model explanation in addition to training and prediction; data processing and feature extraction in addition to ML. SQLFlow compiles a SQL program into a Kubernetes-native workflow for fault-tolerable execution and on-cloud deployment. Current industrial users include Ant Financial, DiDi, and Alibaba Group.


title: New Primal-Dual Weak Galerkin Finite Element Methods for Convection-Diffusion Problems

abstract: This article devises a new primal-dual weak Galerkin finite element method for the convection-diffusion equation. Optimal order error estimates are established for the primal-dual weak Galerkin approximations in various discrete norms and the standard $L^2$ norms. A series of numerical experiments are conducted and reported to verify the theoretical findings.


title: Nonintrusive Uncertainty Quantification of Dynamic Power Systems Subject to Stochastic Excitations

abstract: Continuous-time random disturbances (also called stochastic excitations) due to increasing renewable generation have an increasing impact on power system dynamics; However, except from the Monte Carlo simulation, most existing methods for quantifying this impact are intrusive, meaning they are not based on commercial simulation software and hence are difficult to use for power utility companies. To fill this gap, this paper proposes an efficient and nonintrusive method for quantifying uncertainty in dynamic power systems subject to stochastic excitations. First, the Gaussian or non-Gaussian stochastic excitations are modeled with an It\^{o} process as stochastic differential equations. Then, the It\^{o} process is spectrally represented by independent Gaussian random parameters, which enables the polynomial chaos expansion (PCE) of the system dynamic response to be calculated via an adaptive sparse probabilistic collocation method. Finally, the probability distribution and the high-order moments of the system dynamic response and performance index are accurately and efficiently quantified. The proposed nonintrusive method is based on commercial simulation software such as PSS/E with carefully designed input signals, which ensures ease of use for power utility companies. The proposed method is validated via case studies of IEEE 39-bus and 118-bus test systems.


title: First implementation of transverse spherocity analysis for heavy-ion collisions at the Large Hadron Collider energies

abstract: Transverse spherocity, an event shape observable, has a very unique capability to separate the events based on their geometrical shape, i.e. jetty and isotropic. In this work, we use transverse spherocity for the first time in heavy-ion collisions using A Multi-Phase Transport Model (AMPT). We obtain the transverse momentum spectra, integrated yield, mean transverse momentum and azimuthal anisotropy for identified particles in Xe-Xe collisions at $\sqrt{s_{\rm{NN}}} = 5.44$ TeV and Pb-Pb collisions at $\sqrt{s_{\rm{NN}}} = 5.02$ TeV. The indication of collectivity in heavy-ion collisions can be clearly seen while comparing the transverse momentum spectra from jetty and isotropic events. The elliptic flow as a function of transverse spherocity shows that the isotropic events have nearly zero elliptic flow and the elliptic flow is mostly dominated by the jetty events. This study will pave a way to focus on jetty events in heavy-ion collisions in order to investigate jet medium modification and jet hadro-chemistry in a sophisticated manner.


title: Optimal Resource Allocation in Ground Wireless Networks Supporting Unmanned Aerial Vehicle Transmissions

abstract: We consider a fully-loaded ground wireless network supporting unmanned aerial vehicle (UAV) transmission services. To enable the overload transmissions to a ground user (GU) and a UAV, two transmission schemes are employed, namely non-orthogonal multiple access (NOMA) and relaying, depending on whether or not the GU and UAV are served simultaneously. Under the assumption of the system operating with infinite blocklength (IBL) codes, the IBL throughputs of both the GU and the UAV are derived under the two schemes. More importantly, we also consider the scenario in which data packets are transmitted via finite blocklength (FBL) codes, i.e., data transmission to both the UAV and the GU is performed under low-latency and high reliability constraints. In this setting, the FBL throughputs are characterized again considering the two schemes of NOMA and relaying. Following the IBL and FBL throughput characterizations, optimal resource allocation designs are subsequently proposed to maximize the UAV throughput while guaranteeing the throughput of the cellular user.Moreover, we prove that the relaying scheme is able to provide transmission service to the UAV while improving the GU's performance, and that the relaying scheme potentially offers a higher throughput to the UAV in the FBL regime than in the IBL regime. On the other hand, the NOMA scheme provides a higher UAV throughput (than relaying) by slightly sacrificing the GU's performance.


title: A Brief Review of Continuous Models for Ionic Solutions: the Poisson-Boltzmann and Related Theories

abstract: The Poisson-Boltzmann (PB) theory is one of the most important theoretical models describing charged systems continuously. However, it suffers from neglecting ion correlations, which hinders its applicability to more general charged systems other than extremely dilute ones. Therefore, some modified versions of the PB theory are developed to effectively include ion correlations. Focused on their applications to ionic solutions, the original PB theory and its variances, including the field-theoretic approach, the correlation-enhanced PB model, the Outhwaite-Bhuiyan modified PB theory and the mean field theories, are briefly reviewed in this paper with the diagnosis of their advantages and limitations.


title: Sharp interface limit of a multi-phase transitions model under nonisothermal conditions

abstract: A vectorial Modica--Mortola functional is considered and the convergence to a sharp interface model is studied. The novelty of the paper is that the wells of the potential are not constant, but depend on the spatial position in the domain $\Omega$. The mass constrained minimization problem and the case of Dirichlet boundary conditions are also treated. The proofs rely on the precise understanding of minimizing geodesics for the degenerate metric induced by the potential.


title: Alternating shear orientation during cyclic loading facilitates yielding in amorphous materials

abstract: The influence of alternating shear orientation and strain amplitude of cyclic loading on yielding in amorphous solids is investigated using molecular dynamics simulations. The model glass is represented via a binary mixture that was rapidly cooled well below the glass transition temperature and then subjected to oscillatory shear deformation. It was shown that periodic loading at strain amplitudes above the critical value first induces structural relaxation via irreversible displacements of clusters of atoms during a number of transient cycles, followed by an increase in potential energy due to the formation of a system-spanning shear band. Upon approaching the critical strain amplitude from above, the number of transient cycles required to reach the yielding transition increases. Interestingly, it was found that when the shear orientation is periodically alternated in two or three dimensions, the number of transient cycles is reduced but the critical strain amplitude remains the same as in the case of periodic shear along a single plane. After the yielding transition, the material outside the shear band continues strain-induced relaxation, except when the shear orientation is alternated in three dimensions and the glass is deformed along the shear band with the imposed strain amplitude every third cycle.


title: Reconstruction of the lattice Hamiltonian models from the observations of microscopic degrees of freedom in the presence of competing interactions

abstract: The emergence of scanning probe and electron beam imaging techniques have allowed quantitative studies of atomic structure and minute details of electronic and vibrational structure on the level of individual atomic units. These microscopic descriptors in turn can be associated with the local symmetry breaking phenomena, representing stochastic manifestation of underpinning generative physical model. Here, we explore the reconstruction of exchange integrals in the Hamiltonian for the lattice model with two competing interactions from the observations of the microscopic degrees of freedom and establish the uncertainties and reliability of such analysis in a broad parameter-temperature space. As an ancillary task, we develop a machine learning approach based on histogram clustering to predict phase diagrams efficiently using a reduced descriptor space. We further demonstrate that reconstruction is possible well above the phase transition and in the regions of the parameter space when the macroscopic ground state of the system is poorly defined due to frustrated interactions. This suggests that this approach can be applied to the traditionally complex problems of condensed matter physics such as ferroelectric relaxors and morphotropic phase boundary systems, spin and cluster glasses, quantum systems once the local descriptors linked to the relevant physical behaviors are known.

categories: cond-mat.stat-mech cond-mat.mtrl-sci physics.comp-ph physics.data-an


title: Reduction of bielliptic surfaces

abstract: A bielliptic surface (a hyperelliptic surface) is a surface whose Albanese morphism gives an elliptic fibration. In the first part of this paper, we study the structure of bielliptic surfaces over a field of characteristic away from $2$ and $3$ to prove the Shafarevich conjecture for bielliptic surfaces with sections. In particular, we complete a proof of the Shafarevich conjecture for minimal surfaces of Kodaira dimension $0$ by this paper. In the second part of this paper, we study the N\'{e}ron model of a bielliptic surface. We prove the potential existence of the N\'{e}ron model of a bielliptic surface in the case where the residual characteristic is away from $2$ and $3$.


title: Anomalous relaxation in dielectrics with Hilfer fractional derivative

abstract: We introduce a new relaxation function depending on an arbitrary parameter as solution of a kinetic equation in the same way as the relaxation function introduced empirically by Debye, Cole-Cole, Davidson-Cole and Havriliak-Negami, anomalous relaxation in dielectrics, which are recovered as particular cases. We propose a differential equation introducing a fractional operator written in terms of the Hilfer fractional derivative of order {\xi}, with 0<{\xi}<1 and type {\eta}, with 0<{\eta}<1. To discuss the solution of the fractional differential equation, the methodology of Laplace transform is required. As a by product we mention particular cases where the solution is completely monotone. Finally, the empirical models are recovered as particular cases.


title: Impact of the magnetic proximity effect in Pt on the total magnetic moment of Pt/Co/Ta trilayers studied by x-ray resonant magnetic reflectivity

abstract: In this work, we study the influence of the magnetic proximity effect (MPE) in Pt on the total magnetic moment of thin film trilayer systems consisting of the ferromagnet (FM) Co adjacent to the heavy metals (HMs) Pt and Ta. We investigate the trilayer systems HM1/FM/HM2 with different stacking order as well as a reference bilayer without any MPE. X-ray resonant magnetic reflectivity (XRMR) is a powerful tool to probe induced magnetism, especially when buried at interfaces in a multilayer. By using XRMR, we are able to obtain magnetic depth profiles of the structural, optical and magnetic parameters. By fitting the experimental data with a Gaussian-like magnetooptic profile taking the structural roughness at the interface into account, we can extract the magnetic moment of the spin-polarized layer. Comparing the obtained moments to the measured total moment of the sample, we can determine the impact of the MPE on the total magnetic moment of the system. Such information can be critical for analyzing spin transport experiments, including spin-orbit torque and spin Hall angle measurements, where the saturation magnetization $M_s$ has to be taken into account. Therefore, by combining magnetization measurements and XRMR methods we were able to get a complete picture of the magnetic moment distribution in these trilayer systems containing spin-polarized Pt.


title: Finding Optimal Points for Expensive Functions Using Adaptive RBF-Based Surrogate Model Via Uncertainty Quantification

abstract: Global optimization of expensive functions has important applications in physical and computer experiments. It is a challenging problem to develop efficient optimization scheme, because each function evaluation can be costly and the derivative information of the function is often not available. We propose a novel global optimization framework using adaptive Radial Basis Functions (RBF) based surrogate model via uncertainty quantification. The framework consists of two iteration steps. It first employs an RBF-based Bayesian surrogate model to approximate the true function, where the parameters of the RBFs can be adaptively estimated and updated each time a new point is explored. Then it utilizes a model-guided selection criterion to identify a new point from a candidate set for function evaluation. The selection criterion adopted here is a sample version of the expected improvement (EI) criterion. We conduct simulation studies with standard test functions, which show that the proposed method has some advantages, especially when the true surface is not very smooth. In addition, we also propose modified approaches to improve the search performance for identifying global optimal points and to deal with the higher dimension scenarios.


title: A retrograde spin of the black hole in MAXI J1659--152

abstract: We present the results of spectral analysis of the galactic black-hole binary MAXI J1659--152 in the rising phase of the outburst that lasted for about 65 days starting on 2010 September 25. The presence of a broad Fe line, verified by Monte-Carlo simulations, and coverage of a wide energy band by utilizing the combined spectral capabilities of XMM-Newton/EPIC-pn and RXTE/PCA allowed us to use a combination of reflection spectroscopy and continuum fitting methods to estimate the spin of the black hole. We explored the entire parameter range allowed by the present uncertainties on black-hole mass, inclination, and distance as well as the accretion rate. We show that for about 95 percentage of parameter space and very reasonable upper limits on mass accretion rate, the spin of the black hole has to be negative. This is the first clear detection of negative spin in a galactic black-hole binary.


title: Limit theorems for topological invariants of the dynamic multi-parameter simplicial complex

abstract: Topological study of existing random simplicial complexes is non-trivial and has led to several seminal works. However, the applicability of such studies is limited since the randomness there is usually governed by a single parameter. With this in mind, we focus here on the topology of the recently proposed multi-parameter random simplicial complex and, more importantly, of its dynamic analogue that we introduce here. In this dynamic setup, the temporal evolution of simplices is determined by stationary and possibly non-Markovian processes with a renewal structure. The dynamic versions of the clique complex and the Linial-Meshulum complex are special cases of our setup. Our key result concerns the regime where face-counts of a particular dimension dominate. We show that the Betti numbers corresponding to this dimension and the Euler characteristic satisfy functional strong law of large numbers and functional central limit theorems. Surprisingly, in the latter result, the limiting Gaussian process depends only upon the dynamics in the smallest non-trivial dimension.


title: The v-number of edge ideals

abstract: The aim of this work is to study the v-number of edge ideals of clutters and graphs. We relate the v-number with the regularity of edge ideals and study the combinatorial structure of the graphs whose edge ideals have their second symbolic power Cohen-Macaulay.


title: Giant Amplification of Small Perturbations in Frictional Amorphous Solid

abstract: Catastrophic events in Nature can be often triggered by small perturbations, with "remote triggering" of earthquakes being an important example. Here we present a mechanism for the giant amplification of small perturbations that is expected to be generic in systems whose dynamics is not derivable from a Hamiltonian. We offer a general discussion of the typical instabilities involved (being oscillatory with an exponential increase of noise) and examine in detail the normal forms that determine the relevant dynamics. The high sensitivity to external perturbations is explained for systems with and without dissipation. Numerical examples are provided using the dynamics of frictional granular matter. Finally we point out the relationship of the presently discussed phenomenon to the highly topical issue of "exceptional points" in quantum models with non-Hermitian Hamiltonians.


title: Infinitary Action Logic with Exponentiation

abstract: We introduce infinitary action logic with exponentiation -- that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allows some of the structural rules (contraction, weakening, permutation). The logic is presented in the form of an infinitary sequent calculus. We prove cut elimination and, in the case where at least one subexponential allows non-local contraction, establish exact complexity boundaries in two senses. First, we show that the derivability problem for this logic is $\Pi_1^1$-complete. Second, we show that the closure ordinal of its derivability operator is $\omega_1^{\mathrm{CK}}$. In the case where no subexponential allows contraction, we show that complexity is the same as for infinitary action logic itself. Namely, the derivability problem in this case is $\Pi^0_1$-complete and the closure ordinal is not greater than $\omega^\omega$.


title: Chaining with overlaps revisited

abstract: Chaining algorithms aim to form a semi-global alignment of two sequences based on a set of anchoring local alignments as input. Depending on the optimization criteria and the exact definition of a chain, there are several $O(n \log n)$ time algorithms to solve this problem optimally, where $n$ is the number of input anchors. In this paper, we focus on a formulation allowing the anchors to overlap in a chain. This formulation was studied by Shibuya and Kurochin (WABI 2003), but their algorithm comes with no proof of correctness. We revisit and modify their algorithm to consider a strict definition of precedence relation on anchors, adding the required derivation to convince on the correctness of the resulting algorithm that runs in $O(n \log^2 n)$ time on anchors formed by exact matches. With the more relaxed definition of precedence relation considered by Shibuya and Kurochin or when anchors are non-nested such as matches of uniform length ($k$-mers), the algorithm takes $O(n \log n)$ time. We also establish a connection between chaining with overlaps to the widely studied longest common subsequence (LCS) problem.


title: On Transfer Operators for Markovian Products of Invertible Random Matrices

abstract: In this article we consider the Markovian products of invertible (not necessarily positive) matrices chosen from a strongly irreducible, contracting, finite set of matrices. We construct Markovian transfer operators and prove the spectral property which draws a connection between the top Lyapunov exponent associated to the random matrix product problem and the spectrum of the corresponding Markovian transfer operator.


title: Some minimum networks for four points in the three dimensional Euclidean Space

abstract: We construct a minimum tree for some boundary symmetric tetrahedra R^3, which has two nodes (interior points) with equal weights (positive numbers) having the property that the common perpendicular of some two opposite edges passes through their midpoints. We prove that the length of this minimum tree may have length less than the length of the full Steiner tree for the same boundary symmetric tetrahedra.


title: A survey of parameterized algorithms and the complexity of edge modification

abstract: The survey provides an overview of the developing area of parameterized algorithms for graph modification problems. We concentrate on edge modification problems, where the task is to change a small number of adjacencies in a graph in order to satisfy some required property.


title: If time were a graph, what would evolution equations look like?

abstract: Linear evolution equations are considered usually for the time variable being defined on an interval where typically initial conditions or time-periodicity of solutions are required to single out certain solutions. Here we would like to make a point of allowing time to be defined on a metric graph or network where on the branching points coupling conditions are imposed such that time can have ramifications and even loops. This not only generalizes the classical setting and allows for more freedom in the modeling of coupled and interacting systems of evolution equations, but it also provides a unified framework for initial value and time-periodic problems. For these time-graph Cauchy problems questions of well-posedness and regularity of solutions for parabolic problems are studied along with the question of which time-graph Cauchy problems cannot be reduced to an iteratively solvable sequence of Cauchy problems on intervals. Based on two different approaches - an application of the Kalton-Weis theorem on the sum of closed operators and an explicit computation of a Green's function - we present the main well-posedness and regularity results. We further study some qualitative properties of solutions. While we mainly focus on parabolic problems we also explain how other Cauchy problems can be studied along the same lines. This is exemplified by discussing coupled systems with constraints that are non-local in time akin to periodicity.


title: Hypergeometric Integrals Modulo $p$ and Hasse--Witt Matrices

abstract: We consider the KZ differential equations over $\mathbb C$ in the case, when the hypergeometric solutions are one-dimensional integrals. We also consider the same differential equations over a finite field $\mathbb F_p$. We study the space of polynomial solutions of these differential equations over $\mathbb F_p$, constructed in a previous work by V. Schechtman and the second author. Using Hasse-Witt matrices we identify the space of these polynomial solutions over $\mathbb F_p$ with the space dual to a certain subspace of regular differentials on an associated curve. We also relate these polynomial solutions over $\mathbb F_p$ and the hypergeometric solutions over $\mathbb C$.


title: Chiral Decoupling from Irrelevant Deformations

abstract: We show that at the level of the equations of motion (i.e. classically), in the limit in which the $ \text{T}\overline{\text{T}} $ deformation parameter is sent to infinity, the left- and right-chiral sectors of $ \text{T}\overline{\text{T}} $-deformed free theories decouple.


title: Area in real K3-surfaces

abstract: For a real K3-surface $X$, one can introduce areas of connected components of the real point set $\mathbb{R} X$ of $X$ using a holomorphic symplectic form of $X$. These areas are defined up to simultaneous multiplication by a positive real number, so the areas of different components can be compared. In particular, it turns out that the area of a non-spherical component of $\mathbb{R} X$ is always greater than the area of any spherical component. In this paper we explore further comparative restrictions on the area for real K3-surfaces admitting a suitable polarization of degree $2g - 2$ (where $g$ is a positive integer) and such that $\mathbb{R} X$ has one non-spherical component and at least $g$ spherical components. For this purpose we introduce and study the notion of simple Harnack curves in real K3-surfaces, generalizing planar simple Harnack curves.


title: Localization with overlap fermions

abstract: We study the finite temperature localization transition in the spectrum of the overlap Dirac operator. Simulating the quenched approximation of QCD, we calculate the mobility edge, separating localized and delocalized modes in the spectrum. We do this at several temperatures just above the deconfining transition and by extrapolation we determine the temperature where the mobility edge vanishes and localized modes completely disappear from the spectrum. We find that this temperature, where even the lowest Dirac eigenmodes become delocalized, coincides with the critical temperature of the deconfining transition. This result, together with our previously obtained similar findings for staggered fermions shows that quark localization at the deconfining temperature is independent of the fermion discretization, suggesting that deconfinement and localization of the lowest Dirac eigenmodes are closely related phenomena.


title: K-essence scalar dark matter solitons around supermassive black holes

abstract: We consider scalar dark matter models where the theory has a shift symmetry only broken by the scalar mass term. We restrict ourselves to K-essence kinetic terms where the shift symmetric part of the Lagrangian is a function of the first derivatives of the scalar field only. In the low-amplitude and nonrelativistic regime, which applies on large galactic scales, scalar clouds form solitons with a finite core. Close to the center of galaxies, where a supermassive Black Hole (BH) resides, we analyze the scalar field distribution and the fate of the dark matter soliton when subject to the BH gravitational attraction. We show that the scalar field profile around such a central BH can be described by new oscillatory solutions of a modified Klein-Gordon equation, which generalize the harmonic oscillations of free scalar dark matter in a flat environment and the Jacobi elliptic functions of the $\phi^4$ model. Moreover, we find that, depending on the form of the K-essence kinetic term, regular solutions can be constructed or not, which connect the relativistic ingoing wavelike profile of the scalar field at the BH horizon to the nearly static nonrelativistic soliton at large distance. These profiles have a constant flux and represent the slow infall of scalar matter into the BH. We show that this regular behavior is only possible for K-essence functions that satisfy the usual conditions for the absence of ghosts and gradient instabilities, together with a new restriction on the growth of the kinetic function $K(X)$ for large argument. It turns out that the same conditions of stability guarantee that quantum corrections are tamed, provided that the mass of the scalar field is less than $10^{-3}$ eV and the strong coupling scale of the model $\Lambda$ is much larger than the scalar mass.


title: suboptimal error estimates for homogenization of linear elasticity systems on perforated domains

abstract: In the present work, we established almost-sharp error estimates for linear elasticity systems in periodically perforated domains. The first result was $L^{\frac{2d}{d-1-\tau}}$-error estimates $O\big(\varepsilon^{1-\frac{\tau}{2}}\big)$ with $0<\tau<1$ for a bounded smooth domain. It followed from weighted Hardy-Sobolev's inequalities and a suboptimal error estimate for the square function of the first-order approximating corrector (which was earliest investigated by C. Kenig, F. Lin, Z. Shen \cite{KLS} under additional regularity assumption on coefficients). The new approach relied on the weighted quenched Calder\'on-Zygmund estimate (initially appeared in A. Gloria, S. Neukamm, F. Otto's work \cite{Gloria_Neukamm_Otto_2015} for a quantitative stochastic homogenization theory). The second effort was $L^2$-error estimates $O\big(\varepsilon^{\frac{5}{6}}\ln^{\frac{2}{3}}(1/\varepsilon)\big)$ for a Lipschitz domain, followed from a new duality scheme coupled with interpolation inequalities. Also, we developed a new weighted extension theorem for perforated domains, and a real method imposed by Z. Shen \cite{S3} played a fundamental role in the whole project.


title: RGB-D Odometry and SLAM

abstract: The emergence of modern RGB-D sensors had a significant impact in many application fields, including robotics, augmented reality (AR) and 3D scanning. They are low-cost, low-power and low-size alternatives to traditional range sensors such as LiDAR. Moreover, unlike RGB cameras, RGB-D sensors provide the additional depth information that removes the need of frame-by-frame triangulation for 3D scene reconstruction. These merits have made them very popular in mobile robotics and AR, where it is of great interest to estimate ego-motion and 3D scene structure. Such spatial understanding can enable robots to navigate autonomously without collisions and allow users to insert virtual entities consistent with the image stream. In this chapter, we review common formulations of odometry and Simultaneous Localization and Mapping (known by its acronym SLAM) using RGB-D stream input. The two topics are closely related, as the former aims to track the incremental camera motion with respect to a local map of the scene, and the latter to jointly estimate the camera trajectory and the global map with consistency. In both cases, the standard approaches minimize a cost function using nonlinear optimization techniques. This chapter consists of three main parts: In the first part, we introduce the basic concept of odometry and SLAM and motivate the use of RGB-D sensors. We also give mathematical preliminaries relevant to most odometry and SLAM algorithms. In the second part, we detail the three main components of SLAM systems: camera pose tracking, scene mapping and loop closing. For each component, we describe different approaches proposed in the literature. In the final part, we provide a brief discussion on advanced research topics with the references to the state-of-the-art.


title: On star-Moments of the compression of the free unitary Brownian motion by a free projection

abstract: In this paper, we derive explicit expressions for the moments and for the mixed moments of the compression of a free unitary Brownian motion by a free projection. While the moments of this non-normal operator are readily derived using analytical or combinatorial methods, we only succeeded to derive its mixed ones after solving a non-linear partial differential equation for their two-variables generating function. Nonetheless, the combinatorics of non crossing partitions lead to another expression of the lowest-order mixed moment. We shall also give some interest in odd alternating moments. In particular, we derive a linear partial differential equation for their generating function and discuss the combinatorial approach to these moments when the rank of the projection equals $1/2$.


title: When open mindedness hinders consensus

abstract: We perform a detailed study of the Hegselmann-Krause bounded confidence opinion dynamics model with heterogeneous confidence $\varepsilon_i$ drawn from uniform distributions in different intervals $[\varepsilon_l, \varepsilon_u]$. The phase diagram reveals a highly complex and nonmonotonous behaviour, with a re-entrant consensus phase in the region where fragmentation into multiple distinct opinions is expected for the homogeneous case. A careful exploration of the phase diagram, along with an extensive finite-size analysis, allows us to identify the mechanism leading to this counter-intuitive behaviour. This systematic study over system sizes which go well beyond those of previous works, is enabled by an efficient algorithm presented in this article.


title: Limit Shapes for Unimodal Sequences

abstract: We prove asymptotic 0-1 Laws satisfied by diagrams of unimodal sequences of positive integers. These diagrams consist of columns of squares in the plane, and the upper boundary is called the shape. For various types, we show that, as the number of squares tends to infinity, $100\%$ of shapes are near a certain curve---that is, there is a single {\it limit shape}. Similar phenomena have been well-studied for integer partitions, so the present work is a natural extension. One notable corollary is a transferred limit shape for overpartitions.


title: Multilevel Resistance Switching and Enhanced Spin Transition Temperature in Single Molecule Spin Crossover Nanogap Devices

abstract: Spin crossover (SCO) molecules are promising bi-stable magnetic switches with applications in molecular spintronics. However, little is known about the switching effects of a single SCO molecule when it is confined between two metal electrodes. Here we examine the switching properties of a [Fe(III)(EtOSalPet )(NCS)] SCO molecule that is specifically tailored for surface deposition and binding to only one gold electrode in a nanogap device. Temperature dependent conductivity measurements on SCO molecule containing electromigrated gold break junctions show voltage independent telegraphic-like switching between two resistance states at temperature below 200 K. The transition temperature is very different from the transition temperature of 83 K that occurs in a bulk film of the same material. This indicates that the bulk, co-operative SCO phenomenon is no longer preserved for a single molecule and that the surface interaction drastically increases the temperature of the SCO phenomenon. Another key finding of this work is that some devices show switching between multiple resistance levels. We propose that in this case, two SCO molecules are present within the nanogap with both participating in the electronic transport and switching.


title: A meta-algorithm for classification using random recursive tree ensembles: A high energy physics application

abstract: The aim of this work is to propose a meta-algorithm for automatic classification in the presence of discrete binary classes. Classifier learning in the presence of overlapping class distributions is a challenging problem in machine learning. Overlapping classes are described by the presence of ambiguous areas in the feature space with a high density of points belonging to both classes. This often occurs in real-world datasets, one such example is numeric data denoting properties of particle decays derived from high-energy accelerators like the Large Hadron Collider (LHC). A significant body of research targeting the class overlap problem use ensemble classifiers to boost the performance of algorithms by using them iteratively in multiple stages or using multiple copies of the same model on different subsets of the input training data. The former is called boosting and the latter is called bagging. The algorithm proposed in this thesis targets a challenging classification problem in high energy physics - that of improving the statistical significance of the Higgs discovery. The underlying dataset used to train the algorithm is experimental data built from the official ATLAS full-detector simulation with Higgs events (signal) mixed with different background events (background) that closely mimic the statistical properties of the signal generating class overlap. The algorithm proposed is a variant of the classical boosted decision tree which is known to be one of the most successful analysis techniques in experimental physics. The algorithm utilizes a unified framework that combines two meta-learning techniques - bagging and boosting. The results show that this combination only works in the presence of a randomization trick in the base learners.


title: Neuron-Glial Interactions

abstract: Although lagging behind classical computational neuroscience, theoretical and computational approaches are beginning to emerge to characterize different aspects of neuron-glial interactions. This chapter aims to provide essential knowledge on neuron-glial interactions in the mammalian brain, leveraging on computational studies that focus on structure (anatomy) and function (physiology) of such interactions in the healthy brain. Although our understanding of the need of neuron-glial interactions in the brain is still at its infancy, being mostly based on predictions that await for experimental validation, simple general modeling arguments borrowed from control theory are introduced to support the importance of including such interactions in traditional neuron-based modeling paradigms.


title: Peer-to-Peer Trading in Electricity Networks: An Overview

abstract: Peer-to-peer trading is a next-generation energy management technique that economically benefits proactive consumers (prosumers) transacting their energy as goods and services. At the same time, peer-to-peer energy trading is also expected to help the grid by reducing peak demand, lowering reserve requirements, and curtailing network loss. However, large-scale deployment of peer-to-peer trading in electricity networks poses a number of challenges in modeling transactions in both the virtual and physical layers of the network. As such, this article provides a comprehensive review of the state-of-the-art in research on peer-to-peer energy trading techniques. By doing so, we provide an overview of the key features of peer-to-peer trading and its benefits of relevance to the grid and prosumers. Then, we systematically classify the existing research in terms of the challenges that the studies address in the virtual and the physical layers. We then further identify and discuss those technical approaches that have been extensively used to address the challenges in peer-to-peer transactions. Finally, the paper is concluded with potential future research directions.


title: Orthogonality preserving transformations of Hilbert Grassmannians

abstract: Let $H$ be a complex Hilbert space and let ${\mathcal G}_{k}(H)$ be the Grassmannian formed by $k$-dimensional subspaces of $H$. Suppose that $\dim H>2k$ and $f$ is an orthogonality preserving injective transformation of ${\mathcal G}_{k}(H)$, i.e. for any orthogonal $X,Y\in {\mathcal G}_{k}(H)$ the images $f(X),f(Y)$ are orthogonal. If $\dim H=n$ is finite, then $n=mk+i$ for some integers $m\ge 2$ and $i\in \{0,1,\dots,k-1\}$ (for $i=0$ we have $m\ge 3$). We show that $f$ is a bijection induced by a unitary or anti-unitary operator if $i\in \{0,1,2,3\}$ or $m\ge i+1\ge 5$; in particular, the statement holds for $k\in \{1,2,3,4\}$ and, if $k\ge 5$, then there are precisely $(k-4)(k-3)/2$ values of $n$ such that the above condition is not satisfied. As an application, we obtain a result concerning the case when $H$ is infinite-dimensional.


title: Mathematical modelling of nuclear medicine data

abstract: Positron Emission Tomography using 2-[18F]-2deoxy-D-glucose as radiotracer (FDG-PET) is currently one of the most frequently applied functional imaging methods in clinical applications. The interpretation of FDG-PET data requires sophisticated mathematical approaches able to exploit the dynamical information contained in this kind of data. Most of these approaches are formulated within the framework of compartmental analysis, which connects the experimental nuclear data with unknown tracer coefficients measuring the effectiveness of the tracer metabolism by means of Cauchy systems of ordinary differential equations. This paper provides a coincise overview of linear compartmental methods, focusing on the analytical solution of the forward compartmental problem and on the specific issues concerning the corresponding compartmental inverse problem.


title: A Ritz-based Finite Element Method for a Fractional-Order Boundary Value Problem of Nonlocal Elasticity

abstract: We present the analytical formulation and the finite element solution of a fractional-order nonlocal continuum model of a Euler-Bernoulli beam. Employing consistent definitions for the fractional-order kinematic relations, the governing equations and the associated boundary conditions are derived based on variational principles. Remarkably, the fractional-order nonlocal model gives rise to a self-adjoint and positive-definite system accepting a unique solution. Further, owing to the difficulty in obtaining analytical solutions to this boundary value problem, a finite element model for the fractional-order governing equations is presented. Following a thorough validation with benchmark problems, the fractional finite element model (f-FEM) is used to study the nonlocal response of a Euler-Bernoulli beam subjected to various loading and boundary conditions. The fractional-order positive definite system will be used here to address some paradoxical results obtained for nonlocal beams through classical integral approaches to nonlocal elasticity. Although presented in the context of a 1D Euler-Bernoulli beam, the f-FEM formulation is very general and could be extended to the solution of any general fractional-order boundary value problem.


title: Mott insulator phases of non-locally coupled bosons in bilayer optical superlattices

abstract: We investigate the ground state properties of a non-locally coupled bosonic system in a bilayer optical superlattice by considering bosons in one layer to be of softcore in nature and separately allowing two and three body hardcore constraints on the other layer. We find that the presence of different constraints on bosons in one layer influences the overall phase diagram exhibiting various Mott insulator phases at incommensurate densities due to the presence of the superlattice potential apart from the usual Mott insulators at commensurate densities. Moreover, the presence of two or three-body constraints significantly modifies the Mott insulator-Superfluid phase transition points as a function of the superlattice potential. Due to the various competing interactions, constraints and superlattice potential the phase diagrams exhibit significantly different features. We obtain the complete phase diagrams by using the cluster-mean-field theory approach. We further extend this work to a coupled two-leg ladder superlattice where we obtain similar physics using the density matrix renormalization group method .


title: Context-Sensitive and Duration-Aware Qubit Mapping for Various NISQ Devices

abstract: Quantum computing (QC) technologies have reached a second renaissance in the last decade. Some fully programmable QC devices have been built based on superconducting or ion trap technologies. Although different quantum technologies have their own parameter indicators, QC devices in the NISQ era share common features and challenges such as limited qubits and connectivity, short coherence time and high gate error rates. Quantum programs written by programmers could hardly run on real hardware directly since two-qubit gates are usually allowed on few pairs of qubits. Therefore, quantum computing compilers must resolve the mapping problem and transform original programs to fit the hardware limitation. To address the issues mentioned above, we summarize different quantum technologies and abstractly define Quantum Abstract Machine (QAM); then propose a COntext-sensitive and Duration-Aware Remapping algorithm (Codar) based on the QAM. By introducing lock for each qubit, Codar is aware of gate duration difference and program context, which bring it abilities to extract more program's parallelism and reduce program execution time. Compared to the best-known algorithm, Codar halves the total execution time of several quantum algorithms and cut down 17.5% - 19.4% total execution time on average in different architectures.


title: A multimodal deep learning approach for named entity recognition from social media

abstract: Named Entity Recognition (NER) from social media posts is a challenging task. User generated content that forms the nature of social media, is noisy and contains grammatical and linguistic errors. This noisy content makes it much harder for tasks such as named entity recognition. We propose two novel deep learning approaches utilizing multimodal deep learning and Transformers. Both of our approaches use image features from short social media posts to provide better results on the NER task. On the first approach, we extract image features using InceptionV3 and use fusion to combine textual and image features. This presents more reliable name entity recognition when the images related to the entities are provided by the user. On the second approach, we use image features combined with text and feed it into a BERT like Transformer. The experimental results, namely, the precision, recall and F1 score metrics show the superiority of our work compared to other state-of-the-art NER solutions.


title: Modeling Supply-Chain Networks with Firm-to-Firm Wire Transfers

abstract: We study a novel economic network (supply chain) comprised of wire transfers (electronic payment transactions) among the universe of firms in Brazil (6.2 million firms). We construct a directed and weighted network in which vertices represent cities and edges connote pairwise economic dependence between cities. Cities (vertices) represent the collection of all firms in that location and links denote intercity wire transfers. We find a high degree of economic integration among cities in the trade network, which is consistent with the high degree of specialization found across Brazilian cities. We are able to identify which cities have a dominant role in the entire supply chain process using centrality network measures. We find that the trade network has a disassortative mixing pattern, which is consistent with the power-law shape of the firm size distribution in Brazil. After the Brazilian recession in 2014, we find that the disassortativity becomes even stronger as a result of the death of many small firms and the consequent concentration of economic flows on large firms. Our results suggest that recessions have a large impact on the trade network with meaningful and heterogeneous economic consequences across municipalities. We run econometric exercises and find that courts efficiency plays a dual role. From the customer perspective, it plays an important role in reducing contractual frictions as it increases economic transactions between different cities. From the supplier perspective, cities that are central suppliers to the supply chain seem to use courts inefficiency as a lawsuit barrier from their customers.


title: An efficient cellular flow model for cohesive particle flocculation in turbulence

abstract: We propose a one-way coupled model that tracks individual primary particles in a conceptually simple cellular flow setup to predict flocculation in turbulence. This computationally efficient model accounts for Stokes drag, lubrication, cohesive and direct contact forces on the primary spherical particles and allows for a systematic simulation campaign that yields the transient mean floc size as a function of the governing dimensionless parameters. The simulations reproduce the growth of the cohesive flocs with time, and the emergence of a log-normal equilibrium distribution governed by the balance of aggregation and breakage. Flocculation proceeds most rapidly when the Stokes number of the primary particles is \textit{O}(1). Results from this simple computational model are consistent with experimental observations, thus allowing us to propose a new analytical flocculation model that yields improved agreement with experimental data, especially during the transient stages.


title: Where Does It Exist: Spatio-Temporal Video Grounding for Multi-Form Sentences

abstract: In this paper, we consider a novel task, Spatio-Temporal Video Grounding for Multi-Form Sentences (STVG). Given an untrimmed video and a declarative/interrogative sentence depicting an object, STVG aims to localize the spatio-temporal tube of the queried object. STVG has two challenging settings: (1) We need to localize spatio-temporal object tubes from untrimmed videos, where the object may only exist in a very small segment of the video; (2) We deal with multi-form sentences, including the declarative sentences with explicit objects and interrogative sentences with unknown objects. Existing methods cannot tackle the STVG task due to the ineffective tube pre-generation and the lack of object relationship modeling. Thus, we then propose a novel Spatio-Temporal Graph Reasoning Network (STGRN) for this task. First, we build a spatio-temporal region graph to capture the region relationships with temporal object dynamics, which involves the implicit and explicit spatial subgraphs in each frame and the temporal dynamic subgraph across frames. We then incorporate textual clues into the graph and develop the multi-step cross-modal graph reasoning. Next, we introduce a spatio-temporal localizer with a dynamic selection method to directly retrieve the spatio-temporal tubes without tube pre-generation. Moreover, we contribute a large-scale video grounding dataset VidSTG based on video relation dataset VidOR. The extensive experiments demonstrate the effectiveness of our method.


title: Sharp Rate of Convergence for Deep Neural Network Classifiers under the Teacher-Student Setting

abstract: Classifiers built with neural networks handle large-scale high dimensional data, such as facial images from computer vision, extremely well while traditional statistical methods often fail miserably. In this paper, we attempt to understand this empirical success in high dimensional classification by deriving the convergence rates of excess risk. In particular, a teacher-student framework is proposed that assumes the Bayes classifier to be expressed as ReLU neural networks. In this setup, we obtain a sharp rate of convergence, i.e., $\tilde{O}_d(n^{-2/3})$, for classifiers trained using either 0-1 loss or hinge loss. This rate can be further improved to $\tilde{O}_d(n^{-1})$ when the data distribution is separable. Here, $n$ denotes the sample size. An interesting observation is that the data dimension only contributes to the $\log(n)$ term in the above rates. This may provide one theoretical explanation for the empirical successes of deep neural networks in high dimensional classification, particularly for structured data.


title: Curved-Full-Field OCT for high-resolution imaging of living human retina over a large field-of-view

abstract: Allying high-resolution with a large field-of-view (FOV) is of great importance in the fields of biology and medicine, but particularly challenging when imaging non-flat living samples such as the human retina. Indeed, high-resolution is normally achieved with adaptive optics (AO) and scanning methods, which considerably reduce the useful FOV and increase the system complexity. An alternative technique is time-domain Full-Field Optical Coherence Tomography (FF-OCT), which has already shown its potential for in-vivo high-resolution retinal imaging. Here, we introduce curved-field FF-OCT, capable of matching the coherence gate geometry to the sample curvature, thus achieving a larger FOV than previously possible. Using this instrument, we obtained high-resolution images of living human photoreceptors close to the foveal center without AO and with a 1 mm x 1 mm FOV in a single shot. This novel advance enables the extraction of photoreceptor-based biomarkers with ease and spatiotemporal monitoring of individual photoreceptors. We compare our findings with AO-assisted ophthalmoscopes, highlighting the potential of FF-OCT, as a relatively simple, compact and low-cost system, to become a routine clinical imaging technique.


title: Towards Augmented Reality-based Suturing in Monocular Laparoscopic Training

abstract: Minimally Invasive Surgery (MIS) techniques have gained rapid popularity among surgeons since they offer significant clinical benefits including reduced recovery time and diminished post-operative adverse effects. However, conventional endoscopic systems output monocular video which compromises depth perception, spatial orientation and field of view. Suturing is one of the most complex tasks performed under these circumstances. Key components of this tasks are the interplay between needle holder and the surgical needle. Reliable 3D localization of needle and instruments in real time could be used to augment the scene with additional parameters that describe their quantitative geometric relation, e.g. the relation between the estimated needle plane and its rotation center and the instrument. This could contribute towards standardization and training of basic skills and operative techniques, enhance overall surgical performance, and reduce the risk of complications. The paper proposes an Augmented Reality environment with quantitative and qualitative visual representations to enhance laparoscopic training outcomes performed on a silicone pad. This is enabled by a multi-task supervised deep neural network which performs multi-class segmentation and depth map prediction. Scarcity of labels has been conquered by creating a virtual environment which resembles the surgical training scenario to generate dense depth maps and segmentation maps. The proposed convolutional neural network was tested on real surgical training scenarios and showed to be robust to occlusion of the needle. The network achieves a dice score of 0.67 for surgical needle segmentation, 0.81 for needle holder instrument segmentation and a mean absolute error of 6.5 mm for depth estimation.


title: Markov risk mappings and risk-sensitive optimal prediction

abstract: We formulate a probabilistic Markov property in discrete time under a dynamic risk framework with minimal assumptions. This is useful for recursive solutions to risk-sensitive versions of dynamic optimisation problems such as optimal prediction, where at each stage the recursion depends on the whole future. The property holds for standard measures of risk used in practice, and is formulated in several equivalent versions including a representation via acceptance sets, a strong version, and a dual representation.


title: Polynomial Bound and Nonlinear Smoothing for the Benjamin-Ono Equation on the Circle

abstract: For initial data in Sobolev spaces $H^s(\mathbb T)$, $\frac 12 < s \leqslant 1$, the solution to the Cauchy problem for the Benjamin-Ono equation on the circle is shown to grow at most polynomially in time at a rate $(1+t)^{3(s-\frac 12) + \epsilon}$, $0<\epsilon \ll 1$. Key to establishing this result is the discovery of a nonlinear smoothing effect for the Benjamin-Ono equation, according to which the solution to the equation satisfied by a certain gauge transform, which is widely used in the well-posedness theory of the Cauchy problem, becomes smoother once its free solution is removed.


title: Collective Directional Locking of Colloidal Monolayers on a Periodic Substrate

abstract: We investigate the directional locking effects that arise when a monolayer of paramagnetic colloidal particles is driven across a triangular lattice of magnetic bubbles. We use an external rotating magnetic field to generate a two dimensional traveling wave ratchet forcing the transport of particles along a direction that intersects two crystallographic axes of the lattice. We find that, while single particles show no preferred direction, collective effects induce transversal current and directional locking at high density via a spontaneous symmetry breaking. The colloidal current may be polarized via an additional bias field that makes one transport direction energetically preferred.


title: Gravity Induced Quantum Interference on Gravitational Wave Background

abstract: Gravity-induced quantum interference is an experiment that exhibits how a gravitational effect appears in quantum mechanics. In this famous experiments gravity was added to the system just classically. In our study we do the related calculations on a gravitational wave background. We realize that the effect of gravitational wave would be detectable in this quantum mechanical effect.


title: Measurement of the associated production of a Z boson with charm or bottom quark jets in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: Ratios of cross sections, $\sigma$(Z+c jets) / $\sigma$(Z+jets), $\sigma$(Z+b jets) / $\sigma$(Z+jets), and $\sigma$(Z+c jets) / $\sigma$(Z+b jets) in the associated production of a Z boson with at least one charm or bottom quark jet are measured in proton-proton collisions at $\sqrt{s} =$ 13 TeV. The data sample, collected by the CMS experiment at the CERN LHC, corresponds to an integrated luminosity of 35.9 fb$^{-1}$, with a fiducial volume of $p_\mathrm{T}$ $>$ 30 GeV and $|\eta|$ $<$ 2.4 for the jets, where $p_\mathrm{T}$ and $\eta$ represent transverse momentum and pseudorapidity, respectively. The Z boson candidates come from leptonic decays into electrons or muons with $p_\mathrm{T}$ $>$ 25 GeV and $|\eta|$ $<$ 2.4, and the dilepton mass satisfies 71 $\lt$ $m_\mathrm{Z}$ $\lt$ 111 GeV. The measured values are $\sigma$(Z+c jets) / $\sigma$(Z+jets) = 0.102 $\pm$ 0.002 $\pm$ 0.009, $\sigma$(Z+b jets) / $\sigma$(Z+jets) = 0.0633 $\pm$ 0.0004 $\pm$ 0.0015, and $\sigma$(Z+c jets) / $\sigma$(Z+b jets) = 1.62 $\pm$ 0.03 $\pm$ 0.15. Results on the inclusive and differential cross section ratios as functions of jet and Z boson transverse momentum are compared with predictions from leading and next-to-leading order perturbative quantum chromodynamics calculations. These are the first measurements of the cross section ratios at 13 TeV.


title: Disentangling magnetic and grain contrast in polycrystalline FeGe thin films using four-dimensional Lorentz scanning transmission electron microscopy

abstract: The study of nanoscale chiral magnetic order in polycrystalline materials with a strong Dzyaloshinkii-Moriya interaction (DMI) is interesting for the observation of magnetic phenomena at grain boundaries and interfaces. One such material is sputter-deposited B20 FeGe on Si, which has been actively investigated as the basis for low-power, high-density magnetic memory technology in a scalable material platform. Although conventional Lorentz electron microscopy provides the requisite spatial resolution to probe chiral magnetic textures in single-crystal FeGe, probing the magnetism of sputtered B20 FeGe is more challenging because the sub-micron crystal grains add confounding contrast. We address the challenge of disentangling magnetic and grain contrast by applying 4-dimensional Lorentz scanning transmission electron microscopy using an electron microscope pixel array detector. Supported by analytical and numerical models, we find that the most important parameter for imaging magnetic materials with polycrystalline grains is the ability for the detector to sustain large electron doses, where having a high-dynamic range detector becomes extremely important. Despite the small grain size in sputtered B20 FeGe on Si, using this approach we are still able to observe helicity switching of skyrmions and magnetic helices across two adjacent grains as they thread through neighboring grains. We reproduce this effect using micromagnetic simulations by assuming that the grains have distinct orientation and magnetic chirality and find that magnetic helicity couples to crystal chirality. Our methodology for imaging magnetic textures is applicable to other thin-film magnets used for spintronics and memory applications, where an understanding of how magnetic order is accommodated in polycrystalline materials is important.


title: Modeling of Deep Neural Network (DNN) Placement and Inference in Edge Computing

abstract: With the edge computing becoming an increasingly adopted concept in system architectures, it is expected its utilization will be additionally heightened when combined with deep learning (DL) techniques. The idea behind integrating demanding processing algorithms in Internet of Things (IoT) and edge devices, such as Deep Neural Network (DNN), has in large measure benefited from the development of edge computing hardware, as well as from adapting the algorithms for use in resource constrained IoT devices. Surprisingly, there are no models yet to optimally place and use machine learning in edge computing. In this paper, we propose the first model of optimal placement of Deep Neural Network (DNN) Placement and Inference in edge computing. We present a mathematical formulation to the DNN Model Variant Selection and Placement (MVSP) problem considering the inference latency of different model-variants, communication latency between nodes, and utilization cost of edge computing nodes. We evaluate our model numerically, and show that for low load increasing model co-location decreases the average latency by 33% of millisecond-scale per request, and for high load, by 21%.


title: MTI-Net: Multi-Scale Task Interaction Networks for Multi-Task Learning

abstract: In this paper, we argue about the importance of considering task interactions at multiple scales when distilling task information in a multi-task learning setup. In contrast to common belief, we show that tasks with high affinity at a certain scale are not guaranteed to retain this behaviour at other scales, and vice versa. We propose a novel architecture, namely MTI-Net, that builds upon this finding in three ways. First, it explicitly models task interactions at every scale via a multi-scale multi-modal distillation unit. Second, it propagates distilled task information from lower to higher scales via a feature propagation module. Third, it aggregates the refined task features from all scales via a feature aggregation unit to produce the final per-task predictions. Extensive experiments on two multi-task dense labeling datasets show that, unlike prior work, our multi-task model delivers on the full potential of multi-task learning, that is, smaller memory footprint, reduced number of calculations, and better performance w.r.t. single-task learning. The code is made publicly available: https://github.com/SimonVandenhende/Multi-Task-Learning-PyTorch.


title: Weak commutativity and nilpotency

abstract: We continue the analysis of the weak commutativity construction for Lie algebras. This is the Lie algebra $\chi(\mathfrak{g})$ generated by two isomorphic copies $\mathfrak{g}$ and $\mathfrak{g}^{\psi}$ of a fixed Lie algebra, subject to the relations $[x,x^{\psi}]=0$ for all $x \in \mathfrak{g}$. In this article we study the ideal $L =L(\mathfrak{g})$ generated by $x-x^{\psi}$ for all $x \in \mathfrak{g}$. We obtain an (infinite) presentation for $L$ as a Lie algebra, and we show that in general it cannot be reduced to a finite one. With this in hand, we study the question of nilpotency. We show that if $\mathfrak{g}$ is nilpotent of class $c$, then $\chi(\mathfrak{g})$ is nilpotent of class at most $c+2$, and this bound can improved to $c+1$ if $\mathfrak{g}$ is $2$-generated or if $c$ is odd. We also obtain concrete descriptions of $L(\mathfrak{g})$ (and thus of $\chi(\mathfrak{g})$) if $\mathfrak{g}$ is free nilpotent of class $2$ or $3$. Finally, using methods of Gr\"obner-Shirshov bases we show that the abelian ideal $R(\mathfrak{g}) = [\mathfrak{g}, [L, \mathfrak{g}^{\psi}]]$ is infinite-dimensional if $\mathfrak{g}$ is free of rank at least $3$.


title: UV & U-band luminosity functions from CLAUDS and HSC-SSP -- I. Using four million galaxies to simultaneously constrain the very faint and bright regimes to $z \sim 3$

abstract: We constrain the rest-frame FUV (1546\AA), NUV (2345\AA) and U-band (3690\AA) luminosity functions (LFs) and luminosity densities (LDs) with unprecedented precision from $z\sim0.2$ to $z\sim3$ (FUV, NUV) and $z\sim2$ (U-band). Our sample of over 4.3 million galaxies, selected from the CFHT Large Area $U$-band Deep Survey (CLAUDS) and HyperSuprime-Cam Subaru Strategic Program (HSC-SSP) data lets us probe the very faint regime (down to $M_\mathrm{FUV},M_\mathrm{NUV},M_\mathrm{U} \simeq -15$ at low redshift) while simultaneously detecting very rare galaxies at the bright end down to comoving densities $<10^{-5}$ Mpc$^{-3}$. Our FUV and NUV LFs are well fitted by single Schechter functions, with faint-end slopes that are very stable up to $z\sim2$. We confirm, but self-consistently and with much better precision than previous studies, that the LDs at all three wavelengths increase rapidly with lookback time to $z\sim1$, and then much more slowly at $1<z<2$--$3$. Evolution of the FUV and NUV LFs and LDs at $z<1$ is driven almost entirely by the fading of the characteristic magnitude, $M^\star_{UV}$, while at $z>1$ it is due to the evolution of both $M^\star_{UV}$ and the characteristic number density $\phi^\star_{UV}$. In contrast, the U-band LF has an excess of faint galaxies and is fitted with a double-Schechter form; $M^\star_\mathrm{U}$, both $\phi^\star_\mathrm{U}$ components, and the bright-end slope evolve throughout $0.2<z<2$, while the faint-end slope is constant over at least the measurable $0.05<z<0.6$. We present tables of our Schechter parameters and LD measurements that can be used for testing theoretical galaxy evolution models and forecasting future observations.


title: Semantics for first-order affine inductive data types via slice categories

abstract: Affine type systems are substructural type systems where copying of information is restricted, but discarding of information is permissible at all types. Such type systems are well-suited for describing quantum programming languages, because copying of quantum information violates the laws of quantum mechanics. In this paper, we consider a first-order affine type system with inductive data types and present a novel categorical semantics for it. The most challenging aspect of this interpretation comes from the requirement to construct appropriate discarding maps for our data types which might be defined by mutual/nested recursion. We show how to achieve this for all types by taking models of a first-order linear type system whose atomic types are discardable and then presenting an additional affine interpretation of types within the slice category of the model with the tensor unit. We present some concrete categorical models for the language ranging from classical to quantum. Finally, we discuss potential ways of dualising and extending our methods and using them for interpreting coalgebraic and lazy data types.


title: Some inequalities for P-class functions

abstract: In this paper, we provide some inequalities for $P$-class functions and self-adjoint operators on a Hilbert space including an operator version of the Jensen's inequality and the Hermite-Hadamard's type inequality. We improve the H\"{o}lder-MacCarthy inequality by providing an upper bound. Some refinements of the Jensen type inequality for $P$-class functions will be of interest.


title: Studying Two-body Nonleptonic Weak Decays of Hyperons with Topological Diagram Approach

abstract: Many decays of light baryons consisting of light $u,d,s$ quarks have been measured, and these measurements will help us to understand the decay properties of light baryons. In this work, we study two-body nonleptonic weak decays of light baryon octet $(T_8)$ and baryon decuplet $(T_{10})$ by the topological diagram approach (TDA) under the SU(3) flavor symmetry for the first time. We find that (1) the TDA and the SU(3) irreducible representation approach (IRA) match consistently in $T_{10}\to T^{(')}_{8,10}P_8$ ($P_8$ is the light pseudoscalar meson octet); (2) almost all relevant not-yet-measured $\mathcal{B}(T_{10}\to T_8 P_8)$ may be predicted by using three experimental data of $\mathcal{B}(\Omega^-\to \Xi^0\pi^-,\Xi^-\pi^0,\Lambda^0K^-)$, and the upper limits of $\mathcal{B}(T_{10}\to T{'}_{10}\pi^-)$ may be obtained from the experimental upper limit of $\mathcal{B}(\Omega^-\to \Xi^{*0}\pi^-)$ by both the TDA and the IRA together, nevertheless, all new predicted branching ratios are too small to br reached in current experiments; (3) $T_8\to T'_8 P_8$ decays are quite complex in terms of the TDA, and we find that W-exchange diagrams give large and even dominant contributions by using relevant experimental data and the isospin relations.


title: 2019/20 Lessons from $\tau (\Omega_c^0)$ \& $\tau (\Xi_c^0)$ and {\bf CP} asymmetry in charm decays

abstract: Our 2003 "Cicerone" had discussed charm dynamics with different directions and levels \cite{CICERONE}. Here we focus on two items, where the `landscape' has changed sizably. (A) The lifetimes \& semi-leptonic decays of charm hadrons show the impact of non-perturbative QCD and to which degree one can apply Heavy Quark Expansion (HQE) for charm hadrons. It is more complex as we have learnt from 2019/20 data. (B) {\bf CP} asymmetry has been established in 2019 \cite{LHCbGuy}: $\Delta A_{\bf CP} \equiv A_{\bf CP}(D^0 \to K^+K^-) - A_{\bf CP}(D^0 \to \pi^+\pi^-) $=$\, -\, (1.54 \pm 0.29 ) \cdot 10^{-3}$ is quite an achievement by the LHCb collaboration! Our community is at the beginning of a long travel for fundamental dynamics. Can the SM account for these? We discuss the assumptions that were made up to 2018 data and new conclusions from 2019/20 ones. We need more data; however, one has to discuss correlations between different transitions. We give an {\bf Appendix} what we have learnt for large {\bf CP} asymmetry in $K_L \to \pi^+\pi^-e^+e^-$.


title: Wallet Contracts on Ethereum -- Identification, Types, Usage, and Profiles

abstract: In the area of blockchains, a wallet is anything that manages the access to cryptocurrencies and tokens. Off-chain wallets appear in different forms, from paper wallets to hardware wallets to dedicated wallet apps, while on-chain wallets are realized as smart contracts. Wallet contracts are supposed to increase trust and security by being transparent and by offering features like daily limits, approvals, multiple signatures, and recovery mechanisms. The most prominent platform for smart contracts in general and the token ecosystem im particular, and thus also for wallet contracts is Ethereum. Our work aims at a better understanding of wallet contracts on Ethereum, since they are one of the most frequently deployed smart contracts. By analyzing source code, bytecode, and execution traces, we derive usage scenarios and patterns. We discuss methods for identifying wallet contracts in a semi-automatic manner by looking at the deployed bytecodes and the on-chain interaction patterns. We extract blueprints for wallets and compile a ground truth. Furthermore, we differentiate characteristics of wallets in use, and group them into six types. We provide numbers and temporal perspectives regarding the creation and use of wallets. For the 40 identified blueprints, we compile detailed profiles. We analyze the data of the Ethereum main chain up to block 11,500,000, mined on December 22, 2020.


title: Common Conversational Community Prototype: Scholarly Conversational Assistant

abstract: This paper discusses the potential for creating academic resources (tools, data, and evaluation approaches) to support research in conversational search, by focusing on realistic information needs and conversational interactions. Specifically, we propose to develop and operate a prototype conversational search system for scholarly activities. This Scholarly Conversational Assistant would serve as a useful tool, a means to create datasets, and a platform for running evaluation challenges by groups across the community. This article results from discussions of a working group at Dagstuhl Seminar 19461 on Conversational Search.


title: Moduli spaces of generalized hyperpolygons

abstract: We introduce the notion of generalized hyperpolygon, which arises as a representation, in the sense of Nakajima, of a comet-shaped quiver. We identify these representations with rigid geometric figures, namely pairs of polygons: one in the Lie algebra of a compact group and the other in its complexification. To such data, we associate an explicit meromorphic Higgs bundle on a genus-$g$ Riemann surface, where $g$ is the number of loops in the comet, thereby embedding the Nakajima quiver variety into a Hitchin system on a punctured genus-$g$ Riemann surface (generally with positive codimension). We show that, under certain assumptions on flag types, the space of generalized hyperpolygons admits the structure of a completely integrable Hamiltonian system of Gelfand-Tsetlin type, inherited from the reduction of partial flag varieties. In the case where all flags are complete, we present the Hamiltonians explictly. We also remark upon the discretization of the Hitchin equations given by hyperpolygons, the construction of triple branes (in the sense of Kapustin-Witten mirror symmetry), and dualities between tame and wild Hitchin systems (in the sense of Painlev\'e transcendents).


title: Linking electronic structure calculations to generalized stacking fault energies in multicomponent alloys

abstract: The generalized stacking fault energy is a key ingredient to mesoscale models of dislocations. Here we develop an approach to quantify the dependence of generalized stacking fault energies on the degree of chemical disorder in multicomponent alloys. We introduce the notion of a "configurationally-resolved planar fault" (CRPF) energy and extend the cluster expansion method from alloy theory to express the CRPF as a function of chemical occupation variables of sites surrounding the fault. We apply the approach to explore the composition and temperature dependence of the unstable stacking fault energy (USF) in binary Mo-Nb alloys. First-principles calculations are used to parameterize a formation energy and CRPF cluster expansion. Monte Carlo simulations show that the distribution of USF energies is significantly affected by chemical composition and temperature. The formalism can be applied to any multicomponent alloy and will enable the development of rigorous models for deformation mechanisms in high-entropy alloys.


title: Deterministic control of photonic de Broglie waves using coherence optics: Coherence de Broglie waves

abstract: In quantum mechanics, photonic de Broglie waves have been understood as a unique property of quantum mechanics satisfying the complementarity between particle and wave natures of light, where the photonic de Broglie wavelength is inversely proportional to the number of entangled photons acting on a beam splitter. Very recently, the heart of nonclassical feature of photon bunching on a beam splitter was newly interpreted using pure wave nature of coherence optics [arXiv:1911.07174v2], paving a road to unconditionally secured classical key distribution [arXiv:1807.04233v3]. Here, Mach-Zehnder interferometer-based deterministic photonic de Broglie waves are studied in a coherence regime for both fundamental physics and potential applications of coherence-quantum metrology.


title: Permutation-Weighted Portfolios and the Efficiency of Commodity Futures Markets

abstract: A market portfolio is a portfolio in which each asset is held at a weight proportional to its market value. Functionally generated portfolios are portfolios for which the logarithmic return relative to the market portfolio can be decomposed into a function of the market weights and a process of locally finite variation, and this decomposition is convenient for characterizing the long-term behavior of the portfolio. A permutation-weighted portfolio is a portfolio in which the assets are held at weights proportional to a permutation of their market values, and such a portfolio is functionally generated only for markets with two assets (except for the identity permutation). A reverse-weighted portfolio is a portfolio in which the asset with the greatest market weight is assigned the smallest market weight, the asset with the second-largest weight is assigned the second-smallest, and so forth. Although the reverse-weighted portfolio in a market with four or more assets is not functionally generated, it is still possible to characterize its long-term behavior using rank-based methods. This result is applied to a market of commodity futures, where we show that the reverse price-weighted portfolio substantially outperforms the price-weighted portfolio from 1977-2018.


title: Comment on: Is the Hydrated Electron Vertical Detachment Genuinely Bimodal?

abstract: In a recent article, David Bartels addresses the issue of the band shape of the genuine binding energy spectrum of the hydrated electron. He essentially claims that the genuine binding energy of the hydrated electron must be Gaussian in shape independent of the photon energy used for ionization, contrary to what was found in our previous work for excitations energies in the UV (3.6-5.8 eV photon energy). Further, he alleges that the asymmetric (bimodal) distribution found for the genuine binding energy in our previous work must have resulted from deficiencies in the scattering cross sections used in the scattering calculations. Bartels concludes that these deficiencies arise from an allegedly wrong value of -1.0eV for the escape barrier used in the original fitting procedure to determine the scattering cross section. In the following, we show that these claims are unfounded and based on partly incorrect assumptions.


title: Infrequent adverse event prediction in low carbon energy production using machine learning

abstract: We address the problem of predicting the occurrence of infrequent adverse events in the context of predictive maintenance. We cast the corresponding machine learning task as an imbalanced classification problem and propose a framework for solving it that is capable of leveraging different classifiers in order to predict the occurrence of an adverse event before it takes place. In particular, we focus on two applications arising in low-carbon energy production: foam formation in anaerobic digestion and condenser tube leakage in the steam turbines of a nuclear power station. The results of an extensive set of omputational experiments show the effectiveness of the techniques that we propose.


title: Correcting Knowledge Base Assertions

abstract: The usefulness and usability of knowledge bases (KBs) is often limited by quality issues. One common issue is the presence of erroneous assertions, often caused by lexical or semantic confusion. We study the problem of correcting such assertions, and present a general correction framework which combines lexical matching, semantic embedding, soft constraint mining and semantic consistency checking. The framework is evaluated using DBpedia and an enterprise medical KB.


title: Dephasing of Transverse Spin Current in Ferrimagnetic Alloys

abstract: It has been predicted that transverse spin current can propagate coherently (without dephasing) over a long distance in antiferromagnetically ordered metals. Here, we estimate the dephasing length of transverse spin current in ferrimagnetic CoGd alloys by spin pumping measurements across the compensation point. A modified drift-diffusion model, which accounts for spin-current transmission through the ferrimagnet, reveals that the dephasing length is about 4-5 times longer in nearly compensated CoGd than in ferromagnetic metals. This finding suggests that antiferromagnetic order can mitigate spin dephasing -- in a manner analogous to spin echo rephasing for nuclear and qubit spin systems -- even in structurally disordered alloys at room temperature. We also find evidence that transverse spin current interacts more strongly with the Co sublattice than the Gd sublattice. Our results provide fundamental insights into the interplay between spin current and antiferromagnetic order, which are crucial for engineering spin torque effects in ferrimagnetic and antiferromagnetic metals.


title: On the evolution of the velocity gradient tensor in transitional boundary layers

abstract: We study the transition to turbulence from the perspective of the velocity gradient tensor dynamics. Our work is motivated by the observation of nonlinear structures emerging during transition, as revealed by vortex identifiers such as the Q-criterion. To that end, we have derived transport equations based on several invariants of the velocity gradient tensor to obtain integral budgets spanning the different stages of transition from laminar to turbulent flow. We have also discussed which quantity would be the most appropriate in our study, while keeping in mind the potential for future modeling applications.


title: DoS-resilient Cooperative Beacon Verification for Vehicular Communication Systems

abstract: Authenticated safety beacons in Vehicular Communication (VC) systems ensure awareness among neighboring vehicles. However, the verification of beacon signatures introduces significant processing overhead for resource-constrained vehicular On-Board Units (OBUs). Even worse in dense neighborhood or when a clogging Denial of Service (DoS) attack is mounted. The OBU would fail to verify for all received (authentic or fictitious) beacons. This could significantly delay the verifications of authentic beacons or even affect the awareness of neighboring vehicle status. In this paper, we propose an efficient cooperative beacon verification scheme leveraging efficient symmetric key based authentication on top of pseudonymous authentication (based on traditional public key cryptography), providing efficient discovery of authentic beacons among a pool of received authentic and fictitious beacons, and can significantly decrease waiting times of beacons in queue before their validations. We show with simulation results that our scheme can guarantee low waiting times for received beacons even in high neighbor density situations and under DoS attacks, under which a traditional scheme would not be workable.


title: A Survey of Reinforcement Learning Techniques: Strategies, Recent Development, and Future Directions

abstract: Reinforcement learning is one of the core components in designing an artificial intelligent system emphasizing real-time response. Reinforcement learning influences the system to take actions within an arbitrary environment either having previous knowledge about the environment model or not. In this paper, we present a comprehensive study on Reinforcement Learning focusing on various dimensions including challenges, the recent development of different state-of-the-art techniques, and future directions. The fundamental objective of this paper is to provide a framework for the presentation of available methods of reinforcement learning that is informative enough and simple to follow for the new researchers and academics in this domain considering the latest concerns. First, we illustrated the core techniques of reinforcement learning in an easily understandable and comparable way. Finally, we analyzed and depicted the recent developments in reinforcement learning approaches. My analysis pointed out that most of the models focused on tuning policy values rather than tuning other things in a particular state of reasoning.


title: Hall-type algebras for categorical Donaldson-Thomas theories on local surfaces

abstract: We show that the categorified cohomological Hall algebra structures on surfaces constructed by Porta-Sala descend to those on Donaldson-Thomas categories on local surfaces introduced in the author's previous paper. A similar argument also shows that Pandharipande-Thomas categories on local surfaces admit actions of categorified COHA for zero dimensional sheaves on surfaces. We also construct annihilator actions of its simple operators, and show that their commutator in the K-theory satisfies the relation similar to the one of Weyl algebras. This result may be regarded as a categorification of Weyl algebra action on homologies of Hilbert schemes of points on locally planar curves due to Rennemo, which is relevant for Gopakumar-Vafa formula of generating series of PT invariants.


title: Exploring Spatio-Temporal and Cross-Type Correlations for Crime Prediction

abstract: Crime prediction plays an impactful role in enhancing public security and sustainable development of urban. With recent advances in data collection and integration technologies, a large amount of urban data with rich crime-related information and fine-grained spatio-temporal logs has been recorded. Such helpful information can boost our understandings about the temporal evolution and spatial factors of urban crimes and can enhance accurate crime prediction. In this paper, we perform crime prediction exploiting the cross-type and spatio-temporal correlations of urban crimes. In particular, we verify the existence of correlations among different types of crime from temporal and spatial perspectives, and propose a coherent framework to mathematically model these correlations for crime prediction. The extensive experimental results on real-world data validate the effectiveness of the proposed framework. Further experiments have been conducted to understand the importance of different correlations in crime prediction.


title: Subregular Recourse in Nonlinear Multistage Stochastic Optimization

abstract: We consider nonlinear multistage stochastic optimization problems in the spaces of integrable functions. We allow for nonlinear dynamics and general objective functionals, including dynamic risk measures. We study causal operators describing the dynamics of the system and derive the Clarke subdifferential for a penalty function involving such operators. Then we introduce the concept of subregular recourse in nonlinear multistage stochastic optimization and establish subregularity of the resulting systems in two formulations: with built-in nonanticipativity and with explicit nonanticipativity constraints. Finally, we derive optimality conditions for both formulations and study their relations.


title: On index expectation curvature for manifolds

abstract: Index expectation curvature K(x) = E[i_f(x)] on a compact Riemannian 2d-manifold M is the expectation of Poincare-Hopf indices i_f(x) and so satisfies the Gauss-Bonnet relation that the interval of K over M is Euler characteristic X(M). Unlike the Gauss-Bonnet-Chern integrand, such curvatures are in general non-local. We show that for small 2d-manifolds M with boundary embedded in a parallelizable 2d-manifold N of definite sectional curvature sign e, an index expectation K(x) with definite sign e^d exists. The function K(x) is constructed as a product of sectional index expectation curvature averages K_k(x) = E[i_k(x)] of a probability space of Morse functions f for which i_f(x) is the product of i_k(x), where the i_k are independent and so uncorrelated.


title: Supernova Magnitude Evolution and PAge Approximation

abstract: The evidence of environmental dependence of Type Ia supernova luminosity has inspired recent discussion about whether the late-universe cosmic acceleration is still supported by supernova data. We adopt the $\Delta\mathrm{HR}/\Delta\mathrm{age}$ parameter, which describes the dependence of supernova absolute magnitude on the age of supernova progenitor, as an additional nuisance parameter. Using the Pantheon supernova data, a lower bound $\ge 12\,\mathrm{Gyr}$ on the cosmic age, and a Gaussian prior $H_0 = 70\pm 2\,\mathrm{km\,s^{-1}Mpc^{-1}}$ on the Hubble constant, we reconstruct the cosmic expansion history. Within the flat $\Lambda$ cold dark matter ($\Lambda$CDM) framework, we still find a $5.6\sigma$ detection of cosmic acceleration. This is because a matter dominated decelerating universe would be too young to accommodate observed old stars with age $\gtrsim 12\,\mathrm{Gyr}$. A decelerating but non-flat universe is marginally consistent with the data, however, only in the presence of a negative spatial curvature $\sim$ two orders of magnitude beyond the current constraint from cosmic microwave background data. Finally, we propose a more general Parameterization based on the cosmic Age (PAge), which is {\it not} directly tied to the dark energy concept and hence is ideal for a null test of the cosmic acceleration. We find that, for a magnitude evolution rate $\Delta\mathrm{HR}/\Delta\mathrm{age} \lesssim 0.3\,\mathrm{mag}/5.3\,\mathrm{Gyr}$ (Kang et al. 2020), a spatially flat and decelerating PAge universe is fully consistent with the supernova data and the cosmic age bound, and has no tension with the geometric constraint from the observed CMB acoustic angular scales.


title: SQuINTing at VQA Models: Introspecting VQA Models with Sub-Questions

abstract: Existing VQA datasets contain questions with varying levels of complexity. While the majority of questions in these datasets require perception for recognizing existence, properties, and spatial relationships of entities, a significant portion of questions pose challenges that correspond to reasoning tasks - tasks that can only be answered through a synthesis of perception and knowledge about the world, logic and / or reasoning. Analyzing performance across this distinction allows us to notice when existing VQA models have consistency issues; they answer the reasoning questions correctly but fail on associated low-level perception questions. For example, in Figure 1, models answer the complex reasoning question "Is the banana ripe enough to eat?" correctly, but fail on the associated perception question "Are the bananas mostly green or yellow?" indicating that the model likely answered the reasoning question correctly but for the wrong reason. We quantify the extent to which this phenomenon occurs by creating a new Reasoning split of the VQA dataset and collecting VQA-introspect, a new dataset1 which consists of 238K new perception questions which serve as sub questions corresponding to the set of perceptual tasks needed to effectively answer the complex reasoning questions in the Reasoning split. Our evaluation shows that state-of-the-art VQA models have comparable performance in answering perception and reasoning questions, but suffer from consistency problems. To address this shortcoming, we propose an approach called Sub-Question Importance-aware Network Tuning (SQuINT), which encourages the model to attend to the same parts of the image when answering the reasoning question and the perception sub question. We show that SQuINT improves model consistency by ~5%, also marginally improving performance on the Reasoning questions in VQA, while also displaying better attention maps.


title: Zero-Energy State Localized near an Arbitrary Edge in Quadrupole Topological Insulators

abstract: A two-dimensional quadrupole topological insulator on a square lattice is a typical example of a higher-order topological insulator. It hosts an edge state localized near each of its $90^{\circ}$ corners at an energy $E$ inside the band gap, where $E$ is set equal to zero for simplicity. Although the appearance of an edge state has been shown in simple systems with only $90^{\circ}$ corners, it is uncertain whether a similar localized state can appear at $E = 0$ near a complicated edge consisting of multiple $90^{\circ}$ and $270^{\circ}$ corners. Here, we present a numerical method to determine the wavefunction of a zero-energy state localized near an arbitrary edge. This method enables us to show that one localized state appears at $E = 0$ if the edge consists of an odd number of corners. In contrast, the energy of localized states inevitably deviates from $E = 0$ if the edge includes an even number of corners.


title: Extreme Ultraviolet Late Phase of Solar Flares

abstract: A second peak in extreme ultraviolet sometimes appears during the gradual phase of solar flares, which is known as EUV late phase (ELP). Stereotypically ELP is associated with two separated sets of flaring loops with distinct sizes, and it has been debated whether ELP is caused by additional heating or extended plasma cooling in the longer loop system. Here we carry out a survey of 55 M-and-above GOES-class flares with ELP during 2010--2014. Based on the flare-ribbon morphology, these flares are categorized as circular-ribbon (19 events), two-ribbon (23 events), and complex-ribbon (13 events) flares. Among them, 22 events (40%) are associated with coronal mass ejections, while the rest are confined. An extreme ELP, with the late-phase peak exceeding the main-phase peak, is found in 48% of two-ribbon flares, 37% of circular-ribbon flares, and 31% of complex-ribbon flares, suggesting that additional heating is more likely present during ELP in two-ribbon than in circular-ribbon flares. Overall, cooling may be the dominant factor causing the delay of the ELP peak relative to the main-phase peak, because the loop system responsible for the ELP emission is generally larger than, and well separated from, that responsible for the main-phase emission. All but one of the circular-ribbon flares can be well explained by a composite "dome-plate" quasi-separatrix layer (QSL). Only half of these show a magnetic null point, with its fan and spine embedded in the dome and plate, respectively. The dome-plate QSL, therefore, is a general and robust structure characterizing circular-ribbon flares.


title: Memristor Hardware-Friendly Reinforcement Learning

abstract: Recently, significant progress has been made in solving sophisticated problems among various domains by using reinforcement learning (RL), which allows machines or agents to learn from interactions with environments rather than explicit supervision. As the end of Moore's law seems to be imminent, emerging technologies that enable high performance neuromorphic hardware systems are attracting increasing attention. Namely, neuromorphic architectures that leverage memristors, the programmable and nonvolatile two-terminal devices, as synaptic weights in hardware neural networks, are candidates of choice to realize such highly energy-efficient and complex nervous systems. However, one of the challenges for memristive hardware with integrated learning capabilities is prohibitively large number of write cycles that might be required during learning process, and this situation is even exacerbated under RL situations. In this work we propose a memristive neuromorphic hardware implementation for the actor-critic algorithm in RL. By introducing a two-fold training procedure (i.e., ex-situ pre-training and in-situ re-training) and several training techniques, the number of weight updates can be significantly reduced and thus it will be suitable for efficient in-situ learning implementations. As a case study, we consider the task of balancing an inverted pendulum, a classical problem in both RL and control theory. We believe that this study shows the promise of using memristor-based hardware neural networks for handling complex tasks through in-situ reinforcement learning.