title: Economic Dispatch of a Single Micro-Gas Turbine Under CHP Operation with Uncertain Demands

abstract: This work considers the economic dispatch problem for a single micro-gas turbine, governed by a discrete state-space model, under combined heat and power (CHP) operation and coupled with a utility. If the exact power and heat demands are given, existing algorithms can be used to give a quick optimal solution to the economic dispatch problem. However, in practice, the power and heat demands can not be known deterministically, but are rather predicted, resulting in an estimate and a bound on the estimation error. We consider the case in which the power and heat demands are unknown, and present a robust optimization-based approach for scheduling the turbine's heat and power generation, in which the demand is assumed to be inside an uncertainty set. We consider two different choices of the uncertainty set relying on the $\ell^\infty$- and the $\ell^1$-norms, each with different advantages, and consider the associated robust economic dispatch problems. We recast these as robust shortest-path problems on appropriately defined graphs. For the first choice, we provide an exact linear-time algorithm for the solution of the robust shortest-path problem, and for the second, we provide an exact quadratic-time algorithm and an approximate linear-time algorithm. The efficiency and usefulness of the algorithms are demonstrated using a detailed case study that employs real data on energy demand profiles and electricity tariffs.


title: Burst-Error Propagation Suppression for Decision-Feedback Equalizer in Field-Trial Submarine Fiber-Optic Communications

abstract: In this paper, we present a field-trial C-band 72Gbit/s optical on-off keying (OOK) system over 18.8km dispersion-uncompensated submarine optical cable in the South China Sea. Chromatic dispersion (CD) of 18.8km submarine optical cable causes four spectral nulls on the 36GHz bandwidth of 72Gbit/s OOK signal, which is the main obstacle for achieving an acceptable bit-error-rate (BER) performance. Decision feedback equalizer (DFE) is effective to compensate for the spectral nulls. However, DFE has a serious defect of burst-error propagation when the burst errors emerge due to the unstable submarine environment. Weighted DFE (WDFE) can be used to mitigate the burst-error propagation, but it cannot fully compensate for the spectral nulls because only a part of feedback symbols is directly decided. Fortunately, maximum likelihood sequence estimation (MLSE) can be added after the WDFE to simultaneously eliminate the resisting spectral distortions and implement optimal detection. Compared to the joint DFE and MLSE algorithm, the joint WDFE and MLSE algorithm can effectively suppress the burst-error propagation to obtain a maximum 2.9dB improvement of $\boldsymbol{Q}$ factor and eliminate the phenomenon of BER floor. In conclusion, the joint WDFE and MLSE algorithm can solve the burst-error propagation for the field-trial fiber-optic communications.


title: Multi-agent Reinforcement Learning in OpenSpiel: A Reproduction Report

abstract: In this report, we present results reproductions for several core algorithms implemented in the OpenSpiel framework for learning in games. The primary contribution of this work is a validation of OpenSpiel's re-implemented search and Reinforcement Learning algorithms against the results reported in their respective originating works. Additionally, we provide complete documentation of hyperparameters and source code required to reproduce these experiments easily and exactly.


title: Super-resolution-based Change Detection Network with Stacked Attention Module for Images with Different Resolutions

abstract: Change detection, which aims to distinguish surface changes based on bi-temporal images, plays a vital role in ecological protection and urban planning. Since high resolution (HR) images cannot be typically acquired continuously over time, bi-temporal images with different resolutions are often adopted for change detection in practical applications. Traditional subpixel-based methods for change detection using images with different resolutions may lead to substantial error accumulation when HR images are employed; this is because of intraclass heterogeneity and interclass similarity. Therefore, it is necessary to develop a novel method for change detection using images with different resolutions, that is more suitable for HR images. To this end, we propose a super-resolution-based change detection network (SRCDNet) with a stacked attention module. The SRCDNet employs a super resolution (SR) module containing a generator and a discriminator to directly learn SR images through adversarial learning and overcome the resolution difference between bi-temporal images. To enhance the useful information in multi-scale features, a stacked attention module consisting of five convolutional block attention modules (CBAMs) is integrated to the feature extractor. The final change map is obtained through a metric learning-based change decision module, wherein a distance map between bi-temporal features is calculated. The experimental results demonstrate the superiority of the proposed method, which not only outperforms all baselines -with the highest F1 scores of 87.40% on the building change detection dataset and 92.94% on the change detection dataset -but also obtains the best accuracies on experiments performed with images having a 4x and 8x resolution difference. The source code of SRCDNet will be available at https://github.com/liumency/SRCDNet.


title: The $L_p$-Gaussian Minkowski problem

abstract: In this paper, we extend the article that Minkowski problem in Gaussian probability space of Huang et al. to $L_p$-Gaussian Minkowski problem, and obtain the existence and uniqueness of $o$-symmetry weak solution in case of $p\geq1$.


title: Geometrically Constrained Trajectory Optimization for Multicopters

abstract: We present an optimization-based framework for multicopter trajectory planning subject to geometrical configuration constraints and user-defined dynamic constraints. The basis of the framework is a novel trajectory representation built upon our novel optimality conditions for unconstrained control effort minimization. We design linear-complexity operations on this representation to conduct spatial-temporal deformation under various planning requirements. Smooth maps are utilized to exactly eliminate geometrical constraints in a lightweight fashion. A variety of state-input constraints are supported by the decoupling of dense constraint evaluation from sparse parameterization, and backward differentiation of flatness map. As a result, this framework transforms a generally constrained multicopter planning problem into an unconstrained optimization that can be solved reliably and efficiently. Our framework bridges the gaps among solution quality, planning efficiency, and constraint fidelity for a multicopter with limited resources and maneuvering capability. Its generality and robustness are both demonstrated by applications to different flight tasks. Extensive simulations and benchmarks are also conducted to show its capability of generating high-quality solutions while retaining the computation speed against other specialized methods by orders of magnitude. The source code of our framework is available at: https://github.com/ZJU-FAST-Lab/GCOPTER


title: FisheyeSuperPoint: Keypoint Detection and Description Network for Fisheye Images

abstract: Keypoint detection and description is a commonly used building block in computer vision systems particularly for robotics and autonomous driving. However, the majority of techniques to date have focused on standard cameras with little consideration given to fisheye cameras which are commonly used in urban driving and automated parking. In this paper, we propose a novel training and evaluation pipeline for fisheye images. We make use of SuperPoint as our baseline which is a self-supervised keypoint detector and descriptor that has achieved state-of-the-art results on homography estimation. We introduce a fisheye adaptation pipeline to enable training on undistorted fisheye images. We evaluate the performance on the HPatches benchmark, and, by introducing a fisheye based evaluation method for detection repeatability and descriptor matching correctness, on the Oxford RobotCar dataset.


title: Some positivity results of the curvature on the group corresponding to the incompressible Euler equation with Coriolis force

abstract: In this article, we investigate the geometry of a central extension $\widehat{\mathcal D}_{\mu}(S^{2})$ of the group of volume-preserving diffeomorphisms of the 2-sphere equipped with the $L^{2}$-metric, whose geodesics correspond solutions of the incompressible Euler equation with Coriolis force. In particular, we calculate the Misiolek curvature of this group. This value is related to the existence of a conjugate point and its positivity directly implies the positivity of the sectional curvature.

categories: math.DG math.AP physics.flu-dyn physics.geo-ph


title: High-$T_c$ ternary metal hydrides, YKH$_{12}$ and LaKH$_{12}$, discovered by machine learning

abstract: The search for hydride compounds that exhibit high $T_c$ superconductivity has been extensively studied. Within the range of binary hydride compounds, the studies have been developed well including data-driven searches as a topic of interest. Toward the search for the ternary systems, the number of possible combinations grows rapidly, and hence the power of data-driven search gets more prominent. In this study, we constructed various regression models to predict $T_c$ for ternary hydride compounds and found the extreme gradient boosting (XGBoost) regression giving the best performance. The best performed regression predicts new promising candidates realizing higher $T_c$, for which we further identified their possible crystal structures. Confirming their lattice and thermodynamical stabilities, we finally predicted new ternary hydride superconductors, YKH$_{12}$ [$C2/m$ (No.12), $T_c$=143.2 K at 240 GPa] and LaKH$_{12}$ [$R\bar{3}m$ (No.166), $T_c$=99.2 K at 140 GPa] from first principles.

categories: cond-mat.supr-con physics.app-ph physics.comp-ph physics.data-an


title: HIR: An MLIR-based Intermediate Representation for Hardware Accelerator Description

abstract: The emergence of machine learning, image and audio processing on edge devices has motivated research towards power efficient custom hardware accelerators. Though FPGAs are an ideal target for energy efficient custom accelerators, the difficulty of hardware design and the lack of vendor agnostic, standardized hardware compilation infrastructure has hindered their adoption. This paper introduces HIR, an MLIR-based intermediate representation (IR) to describe hardware accelerator designs. HIR combines high level language features, such as loops and multi-dimensional tensors, with programmer defined explicit scheduling, to provide a high-level IR suitable for DSL compiler pipelines without compromising control over the micro-architecture of the accelerator. HIR's explicit schedules allow it to express fine-grained, synchronization-free parallelism and optimizations such as retiming and pipelining. Built as a dialect in MLIR, it draws from best IR practices learnt from communities like those of LLVM. While offering rich optimization opportunities and a high level abstraction, HIR enables sharing of optimizations, utilities and passes with software compiler infrastructure. Our implementation shows that the code generation time of the HIR code generator is on average 1112x lower than that of Xilinx Vivado HLS on a range of kernels without a compromise on the quality of the generated hardware. We believe that these are significant steps forward in the design of IRs for hardware synthesis and in equipping domain-specific languages with a productive and performing compilation path to custom hardware acceleration.


title: Gravitational quantum states as finite representations of the Lorentz group

abstract: A manifestly Lorentz-covariant formulation of Loop Quantum Gravity (LQG) is given in terms of finite-dimensional representations of the Lorentz group. The formulation accounts for discrete symmetries, such as parity and time-reversal, and it establishes a link with Wigner classification of particles. The resulting quantum model can be seen as LQG with the internal $SU(2)\otimes SU(2)$ group and it is free of the Immirzi parameter, while the scalar constraint is just the Euclidean part.


title: Detection of new O-type stars in the obscured stellar cluster Tr 16-SE in the Carina Nebula with KMOS

abstract: The Carina Nebula harbors a large population of high-mass stars, including at least 75 O-type and Wolf-Rayet stars, but the current census is not complete since further high-mass stars may be hidden in or behind the dense dark clouds that pervade the association. With the aim of identifying optically obscured O- and early B-type stars in the Carina Nebula, we performed the first infrared spectroscopic study of stars in the optically obscured stellar cluster Tr 16-SE, located behind a dark dust lane south of eta Car. We used the integral-field spectrograph KMOS at the ESO VLT to obtain H- and K-band spectra with a resolution of R sim 4000 (Delta lambda sim 5 A) for 45 out of the 47 possible OB candidate stars in Tr 16-SE, and we derived spectral types for these stars. We find 15 stars in Tr 16-SE with spectral types between O5 and B2 (i.e., high-mass stars with M >= 8 Msun, only two of which were known before. An additional nine stars are classified as (Ae)Be stars (i.e., intermediate-mass pre-main-sequence stars), and most of the remaining targets show clear signatures of being late-type stars and are thus most likely foreground stars or background giants unrelated to the Carina Nebula. Our estimates of the stellar luminosities suggest that nine of the 15 O- and early B-type stars are members of Tr 16-SE, whereas the other six seem to be background objects. Our study increases the number of spectroscopically identified high-mass stars (M >= 8 Msun) in Tr 16-SE from two to nine and shows that Tr 16-SE is one of the larger clusters in the Carina Nebula. Our identification of three new stars with spectral types between O5 and O7 and four new stars with spectral types O9 to B1 significantly increases the number of spectroscopically identified O-type stars in the Carina Nebula.


title: Spatial control of extreme ultraviolet light with opto-optical phase modulation

abstract: Extreme-ultraviolet (XUV) light is notoriously difficult to control due to its strong interaction cross-section with media. We demonstrate a method to overcome this problem by using Opto-Optical Modulation guided by a geometrical model to shape XUV light. A bell-shaped infrared light pulse is shown to imprint a trace of its intensity profile onto the XUV light in the far-field, such that a change in the intensity profile of the infrared pulse leads to a change in the shape of the far-field XUV light. The geometrical model assists the user in predicting the effect of a specific intensity profile of the infrared pulse, thus enabling a deterministic process.


title: Matter-driven change of spacetime topology

abstract: Using Monte-Carlo computer simulations, we study the impact of matter fields on the geometry of a typical quantum universe in the CDT model of lattice quantum gravity. The quantum universe has the size of a few Planck lengths and the spatial topology of a three-torus. The matter fields are multi-component scalar fields taking values in a torus with circumference $\delta$ in each spatial direction, which acts as a new parameter in the CDT model. Changing $\delta$, we observe a phase transition caused by the scalar field. This discovery may have important consequences for quantum universes with non-trivial topology, since the phase transition can change the topology to a simply connected one.


title: COVID-19 Tweets Analysis through Transformer Language Models

abstract: Understanding the public sentiment and perception in a healthcare crisis is essential for developing appropriate crisis management techniques. While some studies have used Twitter data for predictive modelling during COVID-19, fine-grained sentiment analysis of the opinion of people on social media during this pandemic has not yet been done. In this study, we perform an in-depth, fine-grained sentiment analysis of tweets in COVID-19. For this purpose, we perform supervised training of four transformer language models on the downstream task of multi-label classification of tweets into seven tone classes: [confident, anger, fear, joy, sadness, analytical, tentative]. We achieve a LRAP (Label Ranking Average Precision) score of 0.9267 through RoBERTa. This trained transformer model is able to correctly predict, with high accuracy, the tone of a tweet. We then leverage this model for predicting tones for 200,000 tweets on COVID-19. We then perform a country-wise analysis of the tone of tweets, and extract useful indicators of the psychological condition about the people in this pandemic.


title: Siamese Labels Auxiliary Learning

abstract: In deep learning, auxiliary training has been widely used to assist the training of models. During the training phase, using auxiliary modules to assist training can improve the performance of the model. During the testing phase, auxiliary modules can be removed, so the test parameters are not increased. In this paper, we propose a novel auxiliary training method, Siamese Labels Auxiliary Learning (SiLa). Unlike Deep Mutual Learning (DML), SiLa emphasizes auxiliary learning and can be easily combined with DML. In general, the main work of this paper include: (1) propose SiLa Learning, which improves the performance of common models without increasing test parameters; (2) compares SiLa with DML and proves that SiLa can improve the generalization of the model; (3) SiLa is applied to Dynamic Neural Networks, and proved that SiLa can be used for various types of network structures.


title: Characterization of Neural Networks Automatically Mapped on Automotive-grade Microcontrollers

abstract: Nowadays, Neural Networks represent a major expectation for the realization of powerful Deep Learning algorithms, which can determine several physical systems' behaviors and operations. Computational resources required for model, training, and running are large, especially when related to the amount of data that Neural Networks typically need to generalize. The latest TinyML technologies allow integrating pre-trained models on embedded systems, allowing making computing at the edge faster, cheaper, and safer. Although these technologies originated in the consumer and industrial worlds, many sectors can greatly benefit from them, such as the automotive industry. In this paper, we present a framework for implementing Neural Network-based models on a family of automotive Microcontrollers, showing their efficiency in two case studies applied to vehicles: intrusion detection on the Controller Area Network bus and residual capacity estimation in Lithium-Ion batteries, widely used in Electric Vehicles.


title: Deep learning methods for the computation of vibrational wavefunctions

abstract: In this paper we design and use two Deep Learning models to generate the ground and excited wavefunctions of different Hamiltonians suitable for the study the vibrations of molecular systems. The generated neural networks are trained with Hamiltonians that have analytical solutions, and ask the network to generalize these solutions to more complex Hamiltonian functions. This approach allows to reproduce the excited vibrational wavefunctions of different molecular potentials. All methodologies used here are data-driven, therefore they do not assume any information about the underlying physical model of the system. This makes this approach versatile, and can be used in the study of multiple systems in quantum chemistry.


title: van der Waals heterostructures based on atomically-thin superconductors

abstract: Van der Waals heterostructures (vdWHs) allow the assembly of high-crystalline two-dimensional (2D) materials in order to explore dimensionality effects in strongly correlated systems and the emergence of potential new physical scenarios. In this work, it is illustrated the feasibility to integrate 2D materials in-between 2D superconductors. Particularly, it is presented the fabrication and electrical characterization of vertical vdWHs based on air-unstable atomically-thin transition metal dichalcogenides formed by NbSe2/TaS2/NbSe2 stacks, with TaS2 being the insulator 1T-TaS2 or the metal 2H-TaS2. Phase transitions as 1T-TaS2 charge density wave and NbSe2 superconductivity are detected. An enhancement of the vdWH resistance due to Andreev reflections is observed below the superconducting transition temperature of the NbSe2 flakes. Moreover, in the NbSe2 superconducting state, the field and temperature dependence of the normalized conductance is analyzed within the Dynes' model and the overall behavior is consistent with the Bardeen-Cooper-Schrieffer theory. This vdWH approach can be extended to other 2D materials, such as 2D magnets or topological insulators, with the aim of exploring the new emergent properties that may arise from such combinations.


title: Phase modulated domain walls and dark solitons for surface gravity waves

abstract: We report theoretical prediction of exact localized solutions for dynamics of surface gravity waves, at the critical point kh=1.363, modelled by higher-order nonlinear Schrodinger equation. The model possess domain walls (kink solitons) and dark solitons modulated through different phase profiles. The parametric domains are delineated for the existence of soliton solutions. The effect of wave parameters have been discussed on the amplitude of surface gravity waves. Our work is motivated by Tsitoura et al. [1], on experimental and analytical observation of phase domain walls for deep water surface gravity waves modelled by nonlinear Schrodinger equation.


title: Inversion formula for infinitely divisible distributions

abstract: The aim of this note is to prove the inversion formula, which can be used to compute the Levi measure of an infinitely divisible distribution from its characteristic function. Obtained formula is similar to the well-known inversion formula [2], which is used to compute the distribution function of a random variable from the corresponding characteristic function.


title: Toward cubic symmetry for Ir$^{4+}$: structure and magnetism of antifluorite K$_2$IrBr$_6$

abstract: Crystal structure, electronic state of Ir$^{4+}$, and magnetic properties of the antifluorite compound K$_2$IrBr$_6$ are studied using high-resolution synchrotron x-ray diffraction, resonant inelastic x-ray scattering (RIXS), thermodynamic and transport measurements, and ab initio calculations. The crystal symmetry is reduced from cubic at room temperature to tetragonal below 170 K and eventually to monoclinic below 122 K. These changes are tracked by the evolution of the non-cubic crystal-field splitting $\Delta$ measured by RIXS. Non-monotonic changes in $\Delta$ are ascribed to the competing effects of the tilt, rotation, and deformation of the IrBr$_6$ octahedra as well as tetragonal strain on the electronic levels of Ir$^{4+}$. The N\'eel temperature of $T_N=11.9$ K exceeds that of the isostructural K$_2$IrCl$_6$, and the magnitude of frustration on the fcc spin lattice decreases. We argue that the replacement of Cl by Br weakens electronic correlations and enhances magnetic couplings.


title: UAV-Enabled Wireless Power Transfer: A Tutorial Overview

abstract: Unmanned aerial vehicle (UAV)-enabled wireless power transfer (WPT) has recently emerged as a promising technique to provide sustainable energy supply for widely distributed low-power ground devices (GDs) in large-scale wireless networks. Compared with the energy transmitters (ETs) in conventional WPT systems which are deployed at fixed locations, UAV-mounted aerial ETs can fly flexibly in the three-dimensional (3D) space to charge nearby GDs more efficiently. This paper provides a tutorial overview on UAV-enabled WPT and its appealing applications, in particular focusing on how to exploit UAVs' controllable mobility via their 3D trajectory design to maximize the amounts of energy transferred to all GDs in a wireless network with fairness. First, we consider the single-UAV-enabled WPT scenario with one UAV wirelessly charging multiple GDs at known locations. To solve the energy maximization problem in this case, we present a general trajectory design framework consisting of three innovative approaches to optimize the UAV trajectory, which are multi-location hovering, successive-hover-and-fly, and time-quantization-based optimization, respectively. Next, we consider the multi-UAV-enabled WPT scenario where multiple UAVs cooperatively charge many GDs in a large area. Building upon the single-UAV trajectory design, we propose two efficient schemes to jointly optimize multiple UAVs' trajectories, based on the principles of UAV swarming and GD clustering, respectively. Furthermore, we consider two important extensions of UAV-enabled WPT, namely UAV-enabled wireless powered communication networks (WPCN) and UAV-enabled wireless powered mobile edge computing (MEC).


title: Remote Sensing Image Change Detection with Transformers

abstract: Modern change detection (CD) has achieved remarkable success by the powerful discriminative ability of deep convolutions. However, high-resolution remote sensing CD remains challenging due to the complexity of objects in the scene. Objects with the same semantic concept may show distinct spectral characteristics at different times and spatial locations. Most recent CD pipelines using pure convolutions are still struggling to relate long-range concepts in space-time. Non-local self-attention approaches show promising performance via modeling dense relations among pixels, yet are computationally inefficient. Here, we propose a bitemporal image transformer (BIT) to efficiently and effectively model contexts within the spatial-temporal domain. Our intuition is that the high-level concepts of the change of interest can be represented by a few visual words, i.e., semantic tokens. To achieve this, we express the bitemporal image into a few tokens, and use a transformer encoder to model contexts in the compact token-based space-time. The learned context-rich tokens are then feedback to the pixel-space for refining the original features via a transformer decoder. We incorporate BIT in a deep feature differencing-based CD framework. Extensive experiments on three CD datasets demonstrate the effectiveness and efficiency of the proposed method. Notably, our BIT-based model significantly outperforms the purely convolutional baseline using only 3 times lower computational costs and model parameters. Based on a naive backbone (ResNet18) without sophisticated structures (e.g., FPN, UNet), our model surpasses several state-of-the-art CD methods, including better than four recent attention-based methods in terms of efficiency and accuracy. Our code is available at https://github.com/justchenhao/BIT\_CD.


title: Statistical Inference for Local Granger Causality

abstract: Granger causality has been employed to investigate causality relations between components of stationary multiple time series. We generalize this concept by developing statistical inference for local Granger causality for multivariate locally stationary processes. Our proposed local Granger causality approach captures time-evolving causality relationships in nonstationary processes. The proposed local Granger causality is well represented in the frequency domain and estimated based on the parametric time-varying spectral density matrix using the local Whittle likelihood. Under regularity conditions, we demonstrate that the estimators converge to multivariate normal in distribution. Additionally, the test statistic for the local Granger causality is shown to be asymptotically distributed as a quadratic form of a multivariate normal distribution. The finite sample performance is confirmed with several simulation studies for multivariate time-varying autoregressive models. For practical demonstration, the proposed local Granger causality method uncovered new functional connectivity relationships between channels in brain signals. Moreover, the method was able to identify structural changes in financial data.


title: Application of the unified control and detection framework to detecting stealthy integrity cyber-attacks on feedback control systems

abstract: This draft addresses issues of detecting stealthy integrity cyber-attacks on automatic control systems in the unified control and detection framework. A general form of integrity cyber-attacks that cannot be detected using the well-established observer-based technique is first introduced as kernel attacks. The well-known replay, zero dynamics and covert attacks are special forms of the kernel attacks. Existence conditions for the kernel attacks are presented. It is demonstrated, in the unified framework of control and detection, that all kernel attacks can be structurally detected when not only the observer-based residual, but also the control signal based residual signals are generated and used for the detection purpose. Based on the analytical results, two schemes for detecting the kernel attacks are then proposed, which allow reliable attack detection without loss of control performance. While the first scheme is similar to the well-established moving target method and auxiliary system aided detection scheme, the second detector is realised with encrypted transmissions of control and monitoring signals in the feedback control system that prevents adversary to gain system knowledge by means of eavesdropping attacks. Both schemes are illustrated by examples of detecting replay, zero dynamics and covert attacks and an experimental study on a three-tank control system.


title: Search for gas accretion imprints in voids: II. The galaxy Ark 18 as a result of a dwarf-dwarf merger

abstract: The low-mass low-surface brightness (LSB) disc galaxy Arakelian 18 (Ark 18) resides in the Eridanus void and because of its isolation represents an ideal case to study the formation and evolution mechanisms of such a galaxy type. Its complex structure consists of an extended blue LSB disc and a bright central elliptically-shaped part hosting a massive off-centered star-forming clump. We present the in-depth study of Ark 18 based on observations with the SCORPIO-2 long-slit spectrograph and a scanning Fabry-Perot interferometer at the Russian 6-m telescope complemented by archival multi-wavelength images and SDSS spectra. Ark 18 appears to be a dark matter dominated gas-rich galaxy without a radial metallicity gradient. The observed velocity field of the ionised gas is well described by two circularly rotating components moderately inclined with respect to each other and a possible warp in the outer disc. We estimated the age of young stellar population in the galaxy centre to be ~140 Myr, while the brightest star-forming clump appears to be much younger. We conclude that the LSB disc is likely the result of a dwarf-dwarf merger with a stellar mass ratio of the components at least ~5:1 that occurred earlier than 300 Myr ago. The brightest star forming clump was likely formed later by accretion of a gas cloud.


title: Electroweak Phase Transition in an Inert Complex Triplet Model

abstract: We study the dynamics of electroweak phase transition in a simple extension of the Standard Model where the Higgs sector is extended by adding an $SU(2)_L$-triplet with hypercharge Y=2. By making random scans over the parameters of the model, we show that there are regions consistent with constraints from collider experiments and the requirement for a strong first-order electroweak phase transition which is needed for electroweak baryogenesis. Further, we also study the power spectrum of the gravitational waves which can be generated due to the first-order phase transitions. Moreover, the detectability of these gravitational waves, via future space-based detectors, is discussed.


title: Generative Chemical Transformer: Neural Machine Learning of Molecular Geometric Structures from Chemical Language via Attention

abstract: Discovering new materials better suited to specific purposes is an important issue in improving the quality of human life. Here, a neural network that creates molecules that meet some desired conditions based on a deep understanding of chemical language is proposed (Generative Chemical Transformer, GCT). The attention mechanism in GCT allows a deeper understanding of molecular structures beyond the limitations of chemical language itself which cause semantic discontinuity by paying attention to characters sparsely. It is investigated that the significance of language models for inverse molecular design problems by quantitatively evaluating the quality of the generated molecules. GCT generates highly realistic chemical strings that satisfy both chemical and linguistic grammar rules. Molecules parsed from generated strings simultaneously satisfy the multiple target properties and vary for a single condition set. These advances will contribute to improving the quality of human life by accelerating the process of desired material discovery.


title: Elliptic solutions to Toda lattice hierarchy and elliptic Ruijsenaars-Schneider model

abstract: We consider solutions of the 2D Toda lattice hierarchy which are elliptic functions of the zeroth time t_0=x. It is known that their poles as functions of t_1 move as particles of the elliptic Ruijsenaars-Schneider model. The goal of this paper is to extend this correspondence to the level of hierarchies. We show that the Hamiltonians which govern the dynamics of poles with respect to the m-th hierarchical times t_m and \bar t_m of the 2D Toda lattice hierarchy are obtained from expansion of the spectral curve for the Lax matrix of the Ruijsenaars-Schneider model at the marked points.


title: A note on the metric and edge metric dimensions of 2-connected graphs

abstract: For a given graph $G$, the metric and edge metric dimensions of $G$, $\dim(G)$ and ${\rm edim}(G)$, are the cardinalities of the smallest possible subsets of vertices in $V(G)$ such that they uniquely identify the vertices and the edges of $G$, respectively, by means of distances. It is already known that metric and edge metric dimensions are not in general comparable. Infinite families of graphs with pendant vertices in which the edge metric dimension is smaller than the metric dimension are already known. In this article, we construct a 2-connected graph $G$ such that $\dim(G)=a$ and ${\rm edim}(G)=b$ for every pair of integers $a,b$, where $4\le b<a$. For this we use subdivisions of complete graphs, whose metric dimension is in some cases smaller than the edge metric dimension. Along the way, we present an upper bound for the metric and edge metric dimensions of subdivision graphs under some special conditions.


title: ProbLP: A framework for low-precision probabilistic inference

abstract: Bayesian reasoning is a powerful mechanism for probabilistic inference in smart edge-devices. During such inferences, a low-precision arithmetic representation can enable improved energy efficiency. However, its impact on inference accuracy is not yet understood. Furthermore, general-purpose hardware does not natively support low-precision representation. To address this, we propose ProbLP, a framework that automates the analysis and design of low-precision probabilistic inference hardware. It automatically chooses an appropriate energy-efficient representation based on worst-case error-bounds and hardware energy-models. It generates custom hardware for the resulting inference network exploiting parallelism, pipelining and low-precision operation. The framework is validated on several embedded-sensing benchmarks.


title: Gravitoelectromagnetic knot fields

abstract: We construct a class of knot solutions of the gravitoelectromagnetic (GEM) equations in vacuum in the linearized gravity approximation by analogy with the Ra\~{n}ada-Hopf fields. For these solutions, the dual metric tensors of the bi-metric geometry of the gravitational vacuum with knot perturbations are given and the geodesic equation as a function of two complex parameters of the GEM knots are calculated. Finally, the Landau--Lifshitz pseudo-tensor and a scalar invariant of the GEM knots are computed.

categories: gr-qc hep-th math-ph math.MP physics.class-ph


title: Countering Malicious DeepFakes: Survey, Battleground, and Horizon

abstract: The creation or manipulation of facial appearance through deep generative approaches, known as DeepFake, have achieved significant progress and promoted a wide range of benign and malicious applications, e.g., visual effect assistance in movie and misinformation generation by faking famous persons. The evil side of this new technique poses another popular study, i.e., DeepFake detection aiming to identify the fake faces from the real ones. With the rapid development of the DeepFake-related studies in the community, both sides have formed the relationship of battleground, pushing the improvements of each other and inspiring new directions, e.g., the evasion of DeepFake detection. Nevertheless, the overview of such battleground and the new direction is unclear and neglected by recent surveys due to the rapid increase of related publications, limiting the in-depth understanding of the tendency and future works. To fill this gap, in this paper, we provide a comprehensive overview and detailed analysis of the research work on the topic of DeepFake generation, DeepFake detection as well as evasion of DeepFake detection, with more than 318 research papers carefully surveyed. We present the taxonomy of various DeepFake generation methods and the categorization of various DeepFake detection methods, and more importantly, we showcase the battleground between the two parties with detailed interactions between the adversaries (DeepFake generation) and the defenders (DeepFake detection). The battleground allows fresh perspective into the latest landscape of the DeepFake research and can provide valuable analysis towards the research challenges and opportunities as well as research trends and future directions. We also elaborately design interactive diagrams (http://www.xujuefei.com/dfsurvey) to allow researchers to explore their own interests on popular DeepFake generators or detectors.


title: Pareto-Frontier-aware Neural Architecture Generation for Diverse Budgets

abstract: Designing feasible and effective architectures under diverse computation budgets incurred by different applications/devices is essential for deploying deep models in practice. Existing methods often perform an independent architecture search for each target budget, which is very inefficient yet unnecessary. Moreover, the repeated independent search manner would inevitably ignore the common knowledge among different search processes and hamper the search performance. To address these issues, we seek to train a general architecture generator that automatically produces effective architectures for an arbitrary budget merely via model inference. To this end, we propose a Pareto-Frontier-aware Neural Architecture Generator (NAG) which takes an arbitrary budget as input and produces the Pareto optimal architecture for the target budget. We train NAG by learning the Pareto frontier (i.e., the set of Pareto optimal architectures) over model performance and computational cost (e.g., latency). Extensive experiments on three platforms (i.e., mobile, CPU, and GPU) show the superiority of the proposed method over existing NAS methods.


title: Vector dark matter from split SU(2) gauge bosons

abstract: We propose a vector dark matter model with an exotic dark SU(2) gauge group. Two Higgs triplets are introduced to spontaneously break the symmetry. All of the dark gauge bosons become massive, and the lightest one is a viable vector DM candidate. Its stability is guaranteed by a remaining Z_2 symmetry. We study the parameter space constrained by the Higgs measurement data, the dark matter relic density, and direct and indirect detection experiments. We find numerous parameter points satisfying all the constraints, and they could be further tested in future experiments. Similar methodology can be used to construct vector dark matter models from an arbitrary SO(N) gauge group.


title: RA-GCN: Graph Convolutional Network for Disease Prediction Problems with Imbalanced Data

abstract: Disease prediction is a well-known classification problem in medical applications. GCNs provide a powerful tool for analyzing the patients' features relative to each other. This can be achieved by modeling the problem as a graph node classification task, where each node is a patient. Due to the nature of such medical datasets, class imbalance is a prevalent issue in the field of disease prediction, where the distribution of classes is skewed. When the class imbalance is present in the data, the existing graph-based classifiers tend to be biased towards the major class(es) and neglect the samples in the minor class(es). On the other hand, the correct diagnosis of the rare positive cases among all the patients is vital in a healthcare system. In conventional methods, such imbalance is tackled by assigning appropriate weights to classes in the loss function which is still dependent on the relative values of weights, sensitive to outliers, and in some cases biased towards the minor class(es). In this paper, we propose a Re-weighted Adversarial Graph Convolutional Network (RA-GCN) to prevent the graph-based classifier from emphasizing the samples of any particular class. This is accomplished by associating a graph-based neural network to each class, which is responsible for weighting the class samples and changing the importance of each sample for the classifier. Therefore, the classifier adjusts itself and determines the boundary between classes with more attention to the important samples. The parameters of the classifier and weighting networks are trained by an adversarial approach. We show experiments on synthetic and three publicly available medical datasets. RA-GCN demonstrates the superiority compared to recent methods in identifying the patient's status on all three datasets. The detailed analysis is provided as quantitative and qualitative experiments on synthetic datasets.


title: Variational Laplace for Bayesian neural networks

abstract: We develop variational Laplace for Bayesian neural networks (BNNs) which exploits a local approximation of the curvature of the likelihood to estimate the ELBO without the need for stochastic sampling of the neural-network weights. The Variational Laplace objective is simple to evaluate, as it is (in essence) the log-likelihood, plus weight-decay, plus a squared-gradient regularizer. Variational Laplace gave better test performance and expected calibration errors than maximum a-posteriori inference and standard sampling-based variational inference, despite using the same variational approximate posterior. Finally, we emphasise care needed in benchmarking standard VI as there is a risk of stopping before the variance parameters have converged. We show that early-stopping can be avoided by increasing the learning rate for the variance parameters.


title: Generalized Universe Hierarchies and First-Class Universe Levels

abstract: In type theories, universe hierarchies are commonly used to increase the expressive power of the theory while avoiding inconsistencies arising from size issues. There are numerous ways to specify universe hierarchies, and theories may differ in details of cumulativity, choice of universe levels, specification of type formers and eliminators, and available internal operations on levels. In the current work, we aim to provide a framework which covers a large part of the design space. First, we develop syntax and semantics for cumulative universe hierarchies, where levels may come from any set equipped with a transitive well-founded ordering. In the semantics, we show that induction-recursion can be used to model transfinite hierarchies, and also support lifting operations on type codes which strictly preserve type formers. Then, we consider a setup where universe levels are first-class types and subject to arbitrary internal reasoning. This generalizes the bounded polymorphism features of Coq and at the same time the internal level computations in Agda.


title: A class of Einstein submanifolds of Euclidean space

abstract: In this paper we give local and global parametric classifications of a class of Einstein submanifolds of Euclidean space. The highlight is for submanifolds of codimension two since in this case our assumptions are only of intrinsic nature.


title: Comment on "Bell's Theorem Versus Local Realism in a Quaternionic Model of Physical Space"

abstract: I point out critical errors in the paper "Bell's Theorem Versus Local Realism in a Quaternionic Model of Physical Space" by J. Christian, published in IEEE Access. Christian's paper in fact contains several conflicting models. None of them form counterexamples to Bell's theorem. Most of Christian's paper is devoted to a model based on the detection loophole due to Pearle (1970).


title: Structural Identifiability of Impedance Spectroscopy Fractional-Order Equivalent Circuit Models With Two Constant Phase Elements

abstract: Structural identifiability analysis of fractional-order equivalent circuit models (FO-ECMs), obtained through electrochemical impedance spectroscopy (EIS) is still a challenging problem. No peer-reviewed analytical or numerical proof does exist showing that whether impedance spectroscopy FO-ECMs are structurally identifiable or not, regardless of practical issues such as measurement noises and the selection of excitation signals. By using the coefficient mapping technique, this paper proposes novel computationally-efficient algebraic equations for the numerical structural identifiability analysis of a widely used FO-ECM with Gr\"{u}nwald-Letnikov fractional derivative approximation and two constant phase elements (CPEs) including the Warburg term. The proposed numerical structural identifiability analysis method is applied to an example from batteries, and the results are discussed. Matlab codes are available on github.


title: Towards Intelligent RAN Slicing for B5G: Opportunities and Challenges

abstract: To meet the diverse demands for wireless communication, fifth-generation (5G) networks and beyond (B5G) embrace the concept of network slicing by forging virtual instances (slices) of its physical infrastructure. While network slicing constitutes dynamic allocation of core network and radio access network (RAN) resources, this article emphasizes RAN slicing (RAN-S) design. Forming on-demand RAN-S that can be flexibly (re)-configured while ensuring slice isolation is challenging. A variety of machine learning (ML) techniques have been recently introduced for traffic forecasting and classification, resource usage prediction, admission control, scheduling, and dynamic resource allocation in RAN-S. Albeit these approaches grant opportunities towards intelligent RAN-S design, they raise critical challenges that need to be examined. This article underlines the opportunities and the challenges of incorporating ML into RAN-S by reviewing the cutting-edge ML-based techniques for RAN-S. It also draws few directions for future research towards intelligent RAN-S (iRAN-S).


title: Deza graphs: a survey and new results

abstract: In this paper we survey existing results on Deza graphs and give some new results. We present an introduction to Deza graphs for the reader who is unfamiliar with the subject, and then give an overview of some developments in the area of Deza graphs since the initial paper by five authors [M. Erickson, S. Fernando, W. H. Haemers, D. Hardy, J. Hemmeter, Deza graphs: \emph{A generalization of strongly regular graphs}, J. Comb. Designs. 7 (1999), 395--405.] was written. We then investigate 3-class cyclotomic schemes and give necessary and sufficient conditions to get a Deza graph as a graph given by one relation or the union of two relations. Finally, we prove that a strictly Deza circulant on $2p$ vertices, where $p$ is prime, is isomorphic to the lexicographical product of the Paley graph on $p$ vertices with an edge.


title: Neuron Coverage-Guided Domain Generalization

abstract: This paper focuses on the domain generalization task where domain knowledge is unavailable, and even worse, only samples from a single domain can be utilized during training. Our motivation originates from the recent progresses in deep neural network (DNN) testing, which has shown that maximizing neuron coverage of DNN can help to explore possible defects of DNN (i.e., misclassification). More specifically, by treating the DNN as a program and each neuron as a functional point of the code, during the network training we aim to improve the generalization capability by maximizing the neuron coverage of DNN with the gradient similarity regularization between the original and augmented samples. As such, the decision behavior of the DNN is optimized, avoiding the arbitrary neurons that are deleterious for the unseen samples, and leading to the trained DNN that can be better generalized to out-of-distribution samples. Extensive studies on various domain generalization tasks based on both single and multiple domain(s) setting demonstrate the effectiveness of our proposed approach compared with state-of-the-art baseline methods. We also analyze our method by conducting visualization based on network dissection. The results further provide useful evidence on the rationality and effectiveness of our approach.


title: Multi-spacecraft Study of the Solar Wind at Solar Minimum: Dependence on Latitude and Transient Outflows

abstract: The recent launches of Parker Solar Probe (PSP), Solar Orbiter (SO) and BepiColombo, along with several older spacecraft, have provided the opportunity to study the solar wind at multiple latitudes and distances from the Sun simultaneously. We take advantage of this unique spacecraft constellation, along with low solar activity across two solar rotations between May and July 2020, to investigate how the solar wind structure, including the Heliospheric Current Sheet (HCS), varies with latitude. We visualise the sector structure of the inner heliosphere by ballistically mapping the polarity and solar wind speed from several spacecraft onto the Sun's source surface. We then assess the HCS morphology and orientation with the in situ data and compare with a predicted HCS shape. We resolve ripples in the HCS on scales of a few degrees in longitude and latitude, finding that the local orientation of sector boundaries were broadly consistent with the shape of the HCS but were steepened with respect to a modelled HCS at the Sun. We investigate how several CIRs varied with latitude, finding evidence for the compression region affecting slow solar wind outside the latitude extent of the faster stream. We also identified several transient structures associated with HCS crossings, and speculate that one such transient may have disrupted the local HCS orientation up to five days after its passage. We have shown that the solar wind structure varies significantly with latitude, with this constellation providing context for solar wind measurements that would not be possible with a single spacecraft. These measurements provide an accurate representation of the solar wind within $\pm 10^{\circ}$ latitude, which could be used as a more rigorous constraint on solar wind models and space weather predictions. In the future, this range of latitudes will increase as SO's orbit becomes more inclined.


title: A Comparison of Indonesia E-Commerce Sentiment Analysis for Marketing Intelligence Effort

abstract: The rapid growth of the e-commerce market in Indonesia, making various e-commerce companies appear and there has been high competition among them. Marketing intelligence is an important activity to measure competitive position. One element of marketing intelligence is to assess customer satisfaction. Many Indonesian customers express their sense of satisfaction or dissatisfaction towards the company through social media. Hence, using social media data provides a new practical way to measure marketing intelligence effort. This research performs sentiment analysis using the naive bayes classifier classification method with TF-IDF weighting. We compare the sentiments towards of top-3 e-commerce sites visited companies, are Bukalapak, Tokopedia, and Elevenia. We use Twitter data for sentiment analysis because it's faster, cheaper, and easier from both the customer and the researcher side. The purpose of this research is to find out how to process the huge customer sentiment Twitter to become useful information for the e-commerce company, and which of those top-3 e-commerce companies has the highest level of customer satisfaction. The experiment results show the method can be used to classify customer sentiments in social media Twitter automatically and Elevenia is the highest e-commerce with customer satisfaction.


title: EDS-MEMBED: Multi-sense embeddings based on enhanced distributional semantic structures via a graph walk over word senses

abstract: Several language applications often require word semantics as a core part of their processing pipeline, either as precise meaning inference or semantic similarity. Multi-sense embeddings (M-SE) can be exploited for this important requirement. M-SE seeks to represent each word by their distinct senses in order to resolve the conflation of meanings of words as used in different contexts. Previous works usually approach this task by training a model on a large corpus and often ignore the effect and usefulness of the semantic relations offered by lexical resources. However, even with large training data, coverage of all possible word senses is still an issue. In addition, a considerable percentage of contextual semantic knowledge are never learned because a huge amount of possible distributional semantic structures are never explored. In this paper, we leverage the rich semantic structures in WordNet using a graph-theoretic walk technique over word senses to enhance the quality of multi-sense embeddings. This algorithm composes enriched texts from the original texts. Furthermore, we derive new distributional semantic similarity measures for M-SE from prior ones. We adapt these measures to word sense disambiguation (WSD) aspect of our experiment. We report evaluation results on 11 benchmark datasets involving WSD and Word Similarity tasks and show that our method for enhancing distributional semantic structures improves embeddings quality on the baselines. Despite the small training data, it achieves state-of-the-art performance on some of the datasets.


title: Learning with Smooth Hinge Losses

abstract: Due to the non-smoothness of the Hinge loss in SVM, it is difficult to obtain a faster convergence rate with modern optimization algorithms. In this paper, we introduce two smooth Hinge losses $\psi_G(\alpha;\sigma)$ and $\psi_M(\alpha;\sigma)$ which are infinitely differentiable and converge to the Hinge loss uniformly in $\alpha$ as $\sigma$ tends to $0$. By replacing the Hinge loss with these two smooth Hinge losses, we obtain two smooth support vector machines(SSVMs), respectively. Solving the SSVMs with the Trust Region Newton method (TRON) leads to two quadratically convergent algorithms. Experiments in text classification tasks show that the proposed SSVMs are effective in real-world applications. We also introduce a general smooth convex loss function to unify several commonly-used convex loss functions in machine learning. The general framework provides smooth approximation functions to non-smooth convex loss functions, which can be used to obtain smooth models that can be solved with faster convergent optimization algorithms.


title: Generalized Current-State Opacity With Dynamically Changing Secrets

abstract: Opacity, an information-flow property related to the privacy and security of a system, has been extensively studied in the context of discrete event systems. Although various notions of opacity have been proposed, in all cases the considered secret was constant. This work focuses on current-state opacity, considering a scenario where the secret changes dynamically with the system evolution. In other words, we propose the new notion of generalized current-state opacity (GCSO), which is with respect to a dynamic-secret model rather than a constant secret. Moreover, we provide a method to verify GCSO based on the construction of the GCSO-verifier. Finally, a practical example is given to illustrate the proposed notion and the method for its verification.


title: Improved Two Sample Revenue Guarantees via Mixed-Integer Linear Programming

abstract: We study the performance of the Empirical Revenue Maximizing (ERM) mechanism in a single-item, single-seller, single-buyer setting. We assume the buyer's valuation is drawn from a regular distribution $F$ and that the seller has access to {\em two} independently drawn samples from $F$. By solving a family of mixed-integer linear programs (MILPs), the ERM mechanism is proven to guarantee at least $.5914$ times the optimal revenue in expectation. Using solutions to these MILPs, we also show that the worst-case efficiency of the ERM mechanism is at most $.61035$ times the optimal revenue. These guarantees improve upon the best known lower and upper bounds of $.558$ and $.642$, respectively, of [Daskalakis & Zampetakis, '20].


title: Uncertainty-Aware Unsupervised Domain Adaptation in Object Detection

abstract: Unsupervised domain adaptive object detection aims to adapt detectors from a labelled source domain to an unlabelled target domain. Most existing works take a two-stage strategy that first generates region proposals and then detects objects of interest, where adversarial learning is widely adopted to mitigate the inter-domain discrepancy in both stages. However, adversarial learning may impair the alignment of well-aligned samples as it merely aligns the global distributions across domains. To address this issue, we design an uncertainty-aware domain adaptation network (UaDAN) that introduces conditional adversarial learning to align well-aligned and poorly-aligned samples separately in different manners. Specifically, we design an uncertainty metric that assesses the alignment of each sample and adjusts the strength of adversarial learning for well-aligned and poorly-aligned samples adaptively. In addition, we exploit the uncertainty metric to achieve curriculum learning that first performs easier image-level alignment and then more difficult instance-level alignment progressively. Extensive experiments over four challenging domain adaptive object detection datasets show that UaDAN achieves superior performance as compared with state-of-the-art methods.


title: Overview of external electromagnetism and rotation in lattice QCD

abstract: This is an introductory review of lattice QCD with external fields. The study of external magnetic fields is one of the greatest achievements in modern lattice QCD. Large-scale simulations and detailed analyses have revealed intriguing properties of QCD in the magnetic fields. The study of external electric fields is more challenging because of a technical difficulty. We overview the successes and challenges of the lattice simulations with the electromagnetic fields. We also introduce a newly developing field, the lattice simulation of rotating QCD matters.


title: Color-Coded Symbology and New Computer Vision Tool to Predict the Historical Color Pallets of the Renaissance Oil Artworks

abstract: In this paper, we discuss possible color palletes, prediction and analysis of originality of the colors that Artists used on the Renaissance oil paintings. This framework goal is to help to use the color symbology and image enhancement tools, to predict the historical color palletes of the Renaissance oil artworks. This work is only the start of a development to explore the possibilities of prediction of color palletes of the Renaissance oil artworks. We believe that framework might be very useful in the prediction of color palletes of the Renaissance oil artworks and other artworks. The images in number 105 have been taken from the paintings of three well-known artists, Rafael, Leonardo Da Vinci, and Rembrandt that are available in the Olga's Gallery. Images are processed in the frequency domain to enhance a quality of images and ratios of primary colors are calculated and analyzed by using new measurements of color-ratios.


title: Dev2PQ: Planar Quadrilateral Strip Remeshing of Developable Surfaces

abstract: We introduce an algorithm to remesh triangle meshes representing developable surfaces to planar quad dominant meshes. The output of our algorithm consists of planar quadrilateral (PQ) strips that are aligned to principal curvature directions and closely approximate the curved parts of the input developable, and planar polygons representing the flat parts of the input. Developable PQ-strip meshes are useful in many areas of shape modeling, thanks to the simplicity of fabrication from flat sheet material. Unfortunately, they are difficult to model due to their restrictive combinatorics and locking issues. Other representations of developable surfaces, such as arbitrary triangle or quad meshes, are more suitable for interactive freeform modeling, but generally have non-planar faces or are not aligned to principal curvatures. Our method leverages the modeling flexibility of non-ruling based representations of developable surfaces, while still obtaining developable, curvature aligned PQ-strip meshes. Our algorithm optimizes for a scalar function on the input mesh, such that its level sets are extrinsically straight and align well to the locally estimated ruling directions. The condition that guarantees straight level sets is nonlinear of high order and numerically difficult to enforce in a straightforward manner. We devise an alternating optimization method that makes our problem tractable and practical to compute. Our method works automatically on any developable input, including multiple patches and curved folds, without explicit domain decomposition. We demonstrate the effectiveness of our approach on a variety of developable surfaces and show how our remeshing can be used alongside handle based interactive freeform modeling of developable shapes.


title: On the one dimensional Logarithmic diffusion equation with nonlinear Robin boundary conditions

abstract: In this paper we investigate the one dimensional (1D) logarithmic diffusion equation with nonlinear Robin boundary conditions, namely, \[ \left\{ \begin{array}{l} \partial_t u=\partial_{xx} \log u\quad \mbox{in}\quad \left[-l,l\right]\times \left(0, \infty\right)\\ \displaystyle \partial_x u\left(\pm l, t\right)=\pm 2\gamma u^{p}\left(\pm l, t\right), \end{array} \right. \] where $\gamma$ is a constant. Let $u_0>0$ be a smooth function defined on $\left[-l,l\right]$, and which satisfies the compatibility condition $$\partial_x \log u_0\left(\pm l\right)= \pm 2\gamma u_0^{p-1}\left(\pm l\right).$$ We show that for $\gamma > 0$, $p\leq \frac{3}{2}$ solutions to the logarithmic diffusion equation above with initial data $u_0$ are global and blow-up in infinite time, and for $p>2$ there is finite time blow-up. Also, we show that in the case of $\gamma<0$, $p\geq \frac{3}{2}$, solutions to the logarithmic diffusion equation with initial data $u_0$ are global and blow-down in infinite time, but if $p\leq 1$ there is finite time blow-down. For some of the cases mentioned above, and some particular families of examples, we provide blow-up and blow-down rates. Our approach is partly based on studying the Ricci flow on a cylinder endowed with a $\mathbb{S}^1$-symmetric metric. Then, we bring our ideas full circle by proving a new long time existence result for the Ricci flow on a cylinder without any symmetry assumption. Finally, we show a blow-down result for the logarithmic diffusion equation on a disc.


title: Improved Automated Machine Learning from Transfer Learning

abstract: In this paper, we propose a neural architecture search framework based on a similarity measure between some baseline tasks and a target task. We first define the notion of the task similarity based on the log-determinant of the Fisher Information matrix. Next, we compute the task similarity from each of the baseline tasks to the target task. By utilizing the relation between a target and a set of learned baseline tasks, the search space of architectures for the target task can be significantly reduced, making the discovery of the best candidates in the set of possible architectures tractable and efficient, in terms of GPU days. This method eliminates the requirement for training the networks from scratch for a given target task as well as introducing the bias in the initialization of the search space from the human domain.


title: A Survey on Stance Detection for Mis- and Disinformation Identification

abstract: Understanding attitudes expressed in texts, also known as stance detection, plays an important role in systems for detecting false information online, be it misinformation (unintentionally false) or disinformation (intentionally false information). Stance detection has been framed in different ways, including (a) as a component of fact-checking, rumour detection, and detecting previously fact-checked claims, or (b) as a task in its own right. While there have been prior efforts to contrast stance detection with other related tasks such as argumentation mining and sentiment analysis, there is no existing survey on examining the relationship between stance detection and mis- and disinformation detection. Here, we aim to bridge this gap by reviewing and analysing existing work in this area, with mis- and disinformation in focus, and discussing lessons learnt and future challenges.


title: Searching for Robustness: Loss Learning for Noisy Classification Tasks

abstract: We present a "learning to learn" approach for automatically constructing white-box classification loss functions that are robust to label noise in the training data. We parameterize a flexible family of loss functions using Taylor polynomials, and apply evolutionary strategies to search for noise-robust losses in this space. To learn re-usable loss functions that can apply to new tasks, our fitness function scores their performance in aggregate across a range of training dataset and architecture combinations. The resulting white-box loss provides a simple and fast "plug-and-play" module that enables effective noise-robust learning in diverse downstream tasks, without requiring a special training procedure or network architecture. The efficacy of our method is demonstrated on a variety of datasets with both synthetic and real label noise, where we compare favourably to previous work.


title: High-cadence Dispersed Spectral Analysis of Supernova Remnant 1987A

abstract: We present an analysis of the dispersed spectral data from 11 epochs (March 2011 to September 2018) of supernova remnant (SNR) 1987A observations performed with Chandra. These observations were performed with the High Energy Transmission Grating (HETG) as part of our ongoing Chandra monitoring campaign of SNR 1987A, whose 1st-order dispersed spectrum provides a significantly greater energy resolution than the previously-published 0th-order spectrum. Our data sets with moderate exposure times of ~50-70ks per epoch cover the time period between deep Chandra HETG observations (with individual exposures >200ks) taken in March 2011 and March 2018. These data have a much higher cadence than the widely-spaced deep high-resolution spectra, at the expense of total exposure time. While statistical uncertainties are large due to low photon count statistics in the observed 1st-order spectra, we find that spectral model parameters are generally in line with the shock wave propagating into the medium beyond the dense inner ring, as suggested by Frank et al. 2016. As the reverse shock begins ionizing the heavier elements of the supernova ejecta interior to the equatorial ring, spectral fit parameters are expected to change as the chemical makeup and physical properties of the shocked gas evolve. Based on our broadband spectral model fits, we find that abundance values appear to be constant in this time period. While our results are somewhat limited due to photon statistics, we demonstrate the utility of the dispersed HETG spectral analysis that can be performed with our regular Chandra monitoring observations of SNR 1987A.


title: Reduced basis method for the nonlinear Poisson-Boltzmann equation regularized by the range-separated canonical tensor format

abstract: The Poisson-Boltzmann equation (PBE) is a fundamental implicit solvent continuum model for calculating the electrostatic potential of large ionic solvated biomolecules. However, its numerical solution encounters severe challenges arising from its strong singularity and nonlinearity. In [1,2], the effect of strong singularities was eliminated by applying the range-separated (RS) canonical tensor format [3,4] to construct a solution decomposition scheme for the PBE. The RS tensor format allows to derive a smooth approximation to the Dirac delta distribution in order to obtain a regularized PBE (RPBE) model. However, solving the RPBE is still computationally demanding due to its high dimension $\mathcal{N}$, where $\mathcal{N}$ is always in the millions. In this study, we propose to apply the reduced basis method (RBM) and the (discrete) empirical interpolation method ((D)EIM) to the RPBE in order to construct a reduced order model (ROM) of low dimension $N \ll \mathcal{N}$, whose solution accurately approximates the nonlinear RPBE. The long-range potential can be obtained by lifting the ROM solution back to the $\mathcal{N}$-space while the short-range potential is directly precomputed analytically, thanks to the RS tensor format. The sum of both provides the total electrostatic potential. The main computational benefit is the avoidance of computing the numerical approximation of the singular electrostatic potential. We demonstrate in the numerical experiments, the accuracy and efficacy of the reduced basis (RB) approximation to the nonlinear RPBE (NRPBE) solution and the corresponding computational savings over the classical nonlinear PBE (NPBE) as well as over the RBM being applied to the classical NPBE.


title: A generating tree with a single label for permutations avoiding the vincular pattern 1-32-4

abstract: In this paper we continue the study of permutations avoiding the vincular pattern $1-32-4$ by constructing a generating tree with a single label for these permutations. This construction finally provides a clearer explanation of why a certain recursive formula found by Callan actually counts these permutations, insofar as this formula was originally obtained only as a consequence of a very intricated bijection with a certain class of ordered rooted trees. This responds to a theoretical issue already raised by Duchi, Guerrini and Rinaldi. As a byproduct, we also obtain an algorithm to generate all these permutations and we refine their enumeration according to a simple statistic, which is the number of right-to-left maxima to the right of 1.


title: Estimating and increasing the structural robustness of a network

abstract: The capability of a network to cope with threats and survive attacks is referred to as its robustness. This paper discusses one kind of robustness, commonly denoted structural robustness, which increases when the spectral radius of the adjacency matrix associated with the network decreases. We discuss computational techniques for identifying edges, whose removal may significantly reduce the spectral radius. Nonsymmetric adjacency matrices are studied with the aid of their pseudospectra. In particular, we consider nonsymmetric adjacency matrices that arise when people seek to avoid being infected by Covid-19 by wearing facial masks of different qualities.


title: Analysis of galaxy kinematics based on Cepheids from the Gaia DR2 Catalogue

abstract: To construct the rotation curve of the Galaxy, classical Cepheids with proper motions, parallaxes and line-of-sight velocities from the Gaia DR2 Catalog are used in large part. The working sample formed from literature data contains about 800 Cepheids with estimates of their age. We determined that the linear rotation velocity of the Galaxy at a solar distance is $V_0=240\pm3$~km s$^{-1}$. In this case, the distance from the Sun to the axis of rotation of the Galaxy is found to be $R_0=8.27\pm0.10$~kpc. A spectral analysis of radial and residual tangential velocities of Cepheids younger than 120 Myr showed close estimates of the parameters of the spiral density wave obtained from data both at present time and in the past. So, the value of the wavelength $\lambda_{R,\theta}$ is in the range of [2.4--3.0] kpc, the pitch angle $i_{R,\theta}$ is in the range of [$-13^\circ$,$-10^\circ$] for a four-arm pattern model, the amplitudes of the radial and tangential perturbations are $f_R\sim12$~km s$^{-1}$ and $f_\theta\sim9$~km s$^{-1}$, respectively. Velocities of Cepheids older than 120 Myr are currently giving a wavelength $\lambda_{R,\theta}\sim5$~kpc. This value differs significantly from one that we obtained from the samples of young Cepheids. An analysis of positions and velocities of old Cepheids, calculated by integrating their orbits backward in time, made it possible to determine significantly more reliable values of the parameters of the spiral density wave: wavelength $\lambda_{R,\theta}=2.7$~kpc, amplitudes of radial and tangential perturbations are $f_R=7.9$~km s$^{-1}$ and $f_\theta=5$~km s$^{-1}$, respectively.


title: Symplectic $\mathbb{Z}_2^n$-manifolds

abstract: Roughly speaking, $\mathbb{Z}_2^n$-manifolds are `manifolds' equipped with $\mathbb{Z}_2^n$-graded commutative coordinates with the sign rule being determined by the scalar product of their $\mathbb{Z}_2^n$-degrees. We examine the notion of a symplectic $\mathbb{Z}_2^n$-manifold, i.e., a $\mathbb{Z}_2^n$-manifold equipped with a symplectic two-form that may carry non-zero $\mathbb{Z}_2^n$-degree. We show that the basic notions and results of symplectic geometry generalise to the `higher graded' setting, including a generalisation of Darboux's theorem.


title: Effective Universal Unrestricted Adversarial Attacks using a MOE Approach

abstract: Recent studies have shown that Deep Leaning models are susceptible to adversarial examples, which are data, in general images, intentionally modified to fool a machine learning classifier. In this paper, we present a multi-objective nested evolutionary algorithm to generate universal unrestricted adversarial examples in a black-box scenario. The unrestricted attacks are performed through the application of well-known image filters that are available in several image processing libraries, modern cameras, and mobile applications. The multi-objective optimization takes into account not only the attack success rate but also the detection rate. Experimental results showed that this approach is able to create a sequence of filters capable of generating very effective and undetectable attacks.


title: Room temperature ferromagnetism of monolayer chromium telluride with perpendicular magnetic anisotropy

abstract: The realization of long-range magnetic ordering in two-dimensional (2D) systems can potentially revolutionize next-generation information technology. Here, we report the successful fabrication of crystalline Cr3Te4 monolayers with room temperature ferromagnetism. Using molecular beam epitaxy, the growth of 2D Cr3Te4 films with monolayer thickness is demonstrated at low substrate temperatures (~100C), compatible with Si CMOS technology. X-ray magnetic circular dichroism measurements reveal a Curie temperature (Tc) of ~344 K for the Cr3Te4 monolayer with an out-of-plane magnetic easy axis, which decreases to ~240 K for the thicker film (~ 7 nm) with an in-plane easy axis. The enhancement of ferromagnetic coupling and the magnetic anisotropy transition is ascribed to interfacial effects, in particular the orbital overlap at the monolayer Cr3Te4/graphite interface, supported by density-functional theory calculations. This work sheds light on the low-temperature scalable growth of 2D nonlayered materials with room temperature ferromagnetism for new magnetic and spintronic devices.


title: DeepBLE: Generalizing RSSI-based Localization Across Different Devices

abstract: Accurate smartphone localization (< 1-meter error) for indoor navigation using only RSSI received from a set of BLE beacons remains a challenging problem, due to the inherent noise of RSSI measurements. To overcome the large variance in RSSI measurements, we propose a data-driven approach that uses a deep recurrent network, DeepBLE, to localize the smartphone using RSSI measured from multiple beacons in an environment. In particular, we focus on the ability of our approach to generalize across many smartphone brands (e.g., Apple, Samsung) and models (e.g., iPhone 8, S10). Towards this end, we collect a large-scale dataset of 15 hours of smartphone data, which consists of over 50,000 BLE beacon RSSI measurements collected from 47 beacons in a single building using 15 different popular smartphone models, along with precise 2D location annotations. Our experiments show that there is a very high variability of RSSI measurements across smartphone models (especially across brand), making it very difficult to apply supervised learning using only a subset of smartphone models. To address this challenge, we propose a novel statistic similarity loss (SSL) which enables our model to generalize to unseen phones using a semi-supervised learning approach. For known phones, the iPhone XR achieves the best mean distance error of 0.84 meters. For unknown phones, the Huawei Mate20 Pro shows the greatest improvement, cutting error by over 38\% from 2.62 meters to 1.63 meters error using our semi-supervised adaptation method.


title: On modules with finite reducing Gorenstein dimension

abstract: If $M$ is a nonzero finitely generated module over a commutative Noetherian local ring $R$ such that $M$ has finite injective dimension and finite Gorenstein dimension, then it follows from a result of Holm that $M$ has finite projective dimension, and hence a result of Foxby implies that $R$ is Gorenstein. We investigate whether the same conclusion holds for nonzero finitely generated modules that have finite injective dimension and finite reducing Gorenstein dimension, where the reducing Gorenstein dimension is a finer invariant than the classical Gorenstein dimension, in general.


title: How to Issue a Central Bank Digital Currency

abstract: With the emergence of Bitcoin and recently proposed stablecoins from BigTechs, such as Diem (formerly Libra), central banks face growing competition from private actors offering their own digital alternative to physical cash. We do not address the normative question whether a central bank should issue a central bank digital currency (CBDC) or not. Instead, we contribute to the current research debate by showing how a central bank could do so, if desired. We propose a token-based system without distributed ledger technology and show how earlier-deployed, software-only electronic cash can be improved upon to preserve transaction privacy, meet regulatory requirements in a compelling way, and offer a level of quantum-resistant protection against systemic privacy risk. Neither monetary policy nor financial stability would be materially affected because a CBDC with this design would replicate physical cash rather than bank deposits.


title: Expert Decision Support System for aeroacoustic source type identification using clustering

abstract: This paper presents an Expert Decision Support System for the identification of time-invariant, aeroacoustic source types. The system comprises two steps: first, acoustic properties are calculated based on spectral and spatial information. Second, clustering is performed based on these properties. The clustering aims at helping and guiding an expert for quick identification of different source types, providing an understanding of how sources differ. This supports the expert in determining similar or atypical behavior. A variety of features are proposed for capturing the characteristics of the sources. These features represent aeroacoustic properties that can be interpreted by both the machine and by experts. The features are independent of the absolute Mach number which enables the proposed method to cluster data measured at different flow configurations. The method is evaluated on deconvolved beamforming data from two scaled airframe half-model measurements. For this exemplary data, the proposed support system method results in clusters that mostly correspond to the source types identified by the authors. The clustering also provides the mean feature values and the cluster hierarchy for each cluster and for each cluster member a clustering confidence. This additional information makes the results transparent and allows the expert to understand the clustering choices.


title: Human Symmetry Uncertainty Detected by a Self-Organizing Neural Network Map

abstract: Symmetry in biological and physical systems is a product of self organization driven by evolutionary processes, or mechanical systems under constraints. Symmetry based feature extrac-tion or representation by neural networks may unravel the most informative contents in large image databases. Despite significant achievements of artificial intelligence in recognition and classification of regular patterns, the problem of uncertainty remains a major challenge in ambiguous data. In this study, we present an artificial neural network that detects symmetry uncertainty states in human observers. To this end, we exploit a neural network metric in the output of a biologically inspired Self Organizing Map, the Quantization Error (SOM QE). Shape pairs with perfect geometric mirror symmetry but a non-homogenous appearance, caused by local variations in hue, saturation, or lightness within or across the shapes in a given pair produce, as shown here, longer choice RT for yes responses relative to symmetry. These data are consistently mirrored by the variations in the SOM QE from unsupervised neural network analysis of the same stimulus images. The neural network metric is thus capable of detecting and scaling human symmetry uncertainty in response to patterns. Such capacity is tightly linked to the metrics proven selectivity to local contrast and color variations in large and highly complex image data.


title: Hawking evaporation of Einstein-Gauss-Bonnet AdS black holes in $D\geqslant 4$ dimensions

abstract: Einstein-Gauss-Bonnet theory is a string-generated gravity theory when approaching the low energy limit. By introducing the higher order curvature terms, this theory is supposed to help to solve the black hole singularity problem. In this work, we investigate the evaporation of the static spherically symmetric neutral AdS black holes in Einstein-Gauss-Bonnet gravity in various spacetime dimensions with both positive and negative couping constant $\alpha$. By summarizing the asymptotic behavior of the evaporation process, we find the lifetime of the black holes is dimensional dependent. For $\alpha>0$, in $D\geqslant6$ cases, the black holes will be completely evaporated in a finite time, which resembles the Schwarzschild-AdS case in Einstein gravity. While in $D=4,5$ cases, the black hole lifetime is always infinite, which means the black hole becomes a remnant in the late time. Remarkably, the cases of $\alpha>0, D=4,5$ will solve the terminal temperature divergent problem of the Schwarzschild-AdS case. For $\alpha<0$, in all dimensions, the black hole will always spend a finite time to a minimal mass corresponding to the smallest horizon radius $r_{min}=\sqrt{2|\alpha|}$ which coincide with an additional singularity. This implies that there may exist constraint conditions to the choice of coupling constant.


title: Organ-specific Branching Morphogenesis

abstract: A common developmental process, called branching morphogenesis, generates the epithelial trees in a variety of organs, including the lungs, kidneys, and glands. How branching morphogenesis can create epithelial architectures of very different shapes and functions remains elusive. In this review, we compare branching morphogenesis and its regulation in lungs and kidneys and discuss the role of signaling pathways, the mesenchyme, the extracellular matrix, and the cytoskeleton as potential organ-specific determinants of branch position, orientation, and shape. Identifying the determinants of branch and organ shape and their adaptation in different organs may reveal how a highly conserved developmental process can be adapted to different structural and functional frameworks and should provide important insights into epithelial morphogenesis and developmental disorders.


title: Exposing Semantic Segmentation Failures via Maximum Discrepancy Competition

abstract: Semantic segmentation is an extensively studied task in computer vision, with numerous methods proposed every year. Thanks to the advent of deep learning in semantic segmentation, the performance on existing benchmarks is close to saturation. A natural question then arises: Does the superior performance on the closed (and frequently re-used) test sets transfer to the open visual world with unconstrained variations? In this paper, we take steps toward answering the question by exposing failures of existing semantic segmentation methods in the open visual world under the constraint of very limited human labeling effort. Inspired by previous research on model falsification, we start from an arbitrarily large image set, and automatically sample a small image set by MAximizing the Discrepancy (MAD) between two segmentation methods. The selected images have the greatest potential in falsifying either (or both) of the two methods. We also explicitly enforce several conditions to diversify the exposed failures, corresponding to different underlying root causes. A segmentation method, whose failures are more difficult to be exposed in the MAD competition, is considered better. We conduct a thorough MAD diagnosis of ten PASCAL VOC semantic segmentation algorithms. With detailed analysis of experimental results, we point out strengths and weaknesses of the competing algorithms, as well as potential research directions for further advancement in semantic segmentation. The codes are publicly available at \url{https://github.com/QTJiebin/MAD_Segmentation}.


title: On the Solution of the Travelling Salesman Problem for Nonlinear Salesman Dynamics using Symbolic Optimal Control

abstract: This paper proposes an algorithmic method to heuristically solve the famous Travelling Salesman Problem (TSP) when the salesman's path evolves in continuous state space and discrete time but with otherwise arbitrary (nonlinear) dynamics. The presented method is based on the framework of Symbolic Control. In this way, our method returns a provably correct state-feedback controller for the underlying coverage specification, which is the TSP leaving out the requirement for optimality on the route. In addition, we utilize the Lin-Kernighan-Helsgaun TSP solver to heuristically optimize the cost for the overall taken route. Two examples, an urban parcel delivery task and a UAV reconnaissance mission, greatly illustrate the powerfulness of the proposed heuristic.


title: Normal forms of nilpotent elements in semisimple Lie algebras

abstract: We find the normal form of nilpotent elements in semisimple Lie algebras that generalizes the Jordan normal form in $\mathfrak{sl}_N$, using the theory of cyclic elements.


title: Walk2Map: Extracting Floor Plans from Indoor Walk Trajectories

abstract: Recent years have seen a proliferation of new digital products for the efficient management of indoor spaces, with important applications like emergency management, virtual property showcasing and interior design. These products rely on accurate 3D models of the environments considered, including information on both architectural and non-permanent elements. These models must be created from measured data such as RGB-D images or 3D point clouds, whose capture and consolidation involves lengthy data workflows. This strongly limits the rate at which 3D models can be produced, preventing the adoption of many digital services for indoor space management. We provide an alternative to such data-intensive procedures by presenting Walk2Map, a data-driven approach to generate floor plans only from trajectories of a person walking inside the rooms. Thanks to recent advances in data-driven inertial odometry, such minimalistic input data can be acquired from the IMU readings of consumer-level smartphones, which allows for an effortless and scalable mapping of real-world indoor spaces. Our work is based on learning the latent relation between an indoor walk trajectory and the information represented in a floor plan: interior space footprint, portals, and furniture. We distinguish between recovering area-related (interior footprint, furniture) and wall-related (doors) information and use two different neural architectures for the two tasks: an image-based Encoder-Decoder and a Graph Convolutional Network, respectively. We train our networks using scanned 3D indoor models and apply them in a cascaded fashion on an indoor walk trajectory at inference time. We perform a qualitative and quantitative evaluation using both simulated and measured, real-world trajectories, and compare against a baseline method for image-to-image translation. The experiments confirm the feasibility of our approach.


title: A semismooth Newton method for implicitly constituted non-Newtonian fluids and its application to the numerical approximation of Bingham flow

abstract: We propose a semismooth Newton method for non-Newtonian models of incompressible flow where the constitutive relation between the shear stress and the symmetric velocity gradient is given implicitly; this class of constitutive relations captures for instance the models of Bingham and Herschel-Bulkley. The proposed method avoids the use of variational inequalities and is based on a particularly simple regularisation for which the (weak) convergence of the approximate stresses is known to hold. The system is analysed at the function space level and results in mesh-independent behaviour of the nonlinear iterations.


title: Forecasting high-frequency financial time series: an adaptive learning approach with the order book data

abstract: This paper proposes a forecast-centric adaptive learning model that engages with the past studies on the order book and high-frequency data, with applications to hypothesis testing. In line with the past literature, we produce brackets of summaries of statistics from the high-frequency bid and ask data in the CSI 300 Index Futures market and aim to forecast the one-step-ahead prices. Traditional time series issues, e.g. ARIMA order selection, stationarity, together with potential financial applications are covered in the exploratory data analysis, which pave paths to the adaptive learning model. By designing and running the learning model, we found it to perform well compared to the top fixed models, and some could improve the forecasting accuracy by being more stable and resilient to non-stationarity. Applications to hypothesis testing are shown with a rolling window, and further potential applications to finance and statistics are outlined.


title: A Brief Introduction to Generative Models

abstract: We introduce and motivate generative modeling as a central task for machine learning and provide a critical view of the algorithms which have been proposed for solving this task. We overview how generative modeling can be defined mathematically as trying to make an estimating distribution the same as an unknown ground truth distribution. This can then be quantified in terms of the value of a statistical divergence between the two distributions. We outline the maximum likelihood approach and how it can be interpreted as minimizing KL-divergence. We explore a number of approaches in the maximum likelihood family, while discussing their limitations. Finally, we explore the alternative adversarial approach which involves studying the differences between an estimating distribution and a real data distribution. We discuss how this approach can give rise to new divergences and methods that are necessary to make adversarial learning successful. We also discuss new evaluation metrics which are required by the adversarial approach.


title: Acceleration of probabilistic reasoning through custom processor architecture

abstract: Probabilistic reasoning is an essential tool for robust decision-making systems because of its ability to explicitly handle real-world uncertainty, constraints and causal relations. Consequently, researchers are developing hybrid models by combining Deep Learning with probabilistic reasoning for safety-critical applications like self-driving vehicles, autonomous drones, etc. However, probabilistic reasoning kernels do not execute efficiently on CPUs or GPUs. This paper, therefore, proposes a custom programmable processor to accelerate sum-product networks, an important probabilistic reasoning execution kernel. The processor has an optimized datapath architecture and memory hierarchy optimized for sum-product networks execution. Experimental results show that the processor, while requiring fewer computational and memory units, achieves a 12x throughput benefit over the Nvidia Jetson TX2 embedded GPU platform.


title: Unraveling circular polarimetric images of magnetically arrested accretion flows near event horizon of a black hole

abstract: Magnetically arrested accretion flows are thought to fuel some of the supermassive black holes and to power their relativistic jets. We calculate and study a time sequence of linear and circular polarimetric images of numerical, high resolution and long duration simulations of magnetically dominated flows to investigate observational signatures of strong magnetic fields near the event horizon of a non-rotating black hole. We find that the magnitude of resolved linear and circular polarizations is rather sensitive to the assumption of the coupling of electron and ions in the accretion flow. Models with cooler electrons have higher Faraday rotation and conversion depths which results in scrambled linear polarization and enhanced circular polarization. In those high Faraday thickness cases the circular polarization is particularly sensitive to dynamics of toroidal-radial magnetic fields in the accretion flows. The models with high Faraday thickness are characterized by nearly constant handedness of circular polarization, consistent with observations of some accreting black holes. We also find that the emission region produced by light which is lensed around the black hole shows inversion of circular polarization handedness with respect to the handedness of the circular polarization of the entire emission region. Such polarity inversions are unique to near horizon emission.


title: Text-driven object affordance for guiding grasp-type recognition in multimodal robot teaching

abstract: This study investigates how text-driven object affordance, which provides prior knowledge about grasp types for each object, affects image-based grasp-type recognition in robot teaching. The researchers created labeled datasets of first-person hand images to examine the impact of object affordance on recognition performance. They evaluated scenarios with real and illusory objects, considering mixed reality teaching conditions where visual object information may be limited. The results demonstrate that object affordance improves image-based recognition by filtering out unlikely grasp types and emphasizing likely ones. The effectiveness of object affordance was more pronounced when there was a stronger bias towards specific grasp types for each object. These findings highlight the significance of object affordance in multimodal robot teaching, regardless of whether real objects are present in the images. Sample code is available on https://github.com/microsoft/arr-grasp-type-recognition.


title: A Context-based Automated Approach for Method Name Consistency Checking and Suggestion

abstract: Misleading method names in software projects can confuse developers, which may lead to software defects and affect code understandability. In this paper, we present DeepName, a context-based, deep learning approach to detect method name inconsistencies and suggest a proper name for a method. The key departure point is the philosophy of "Show Me Your Friends, I'll Tell You Who You Are". Unlike the state-of-the-art approaches, in addition to the method's body, we also consider the interactions of the current method under study with the other ones including the caller and callee methods, and the sibling methods in the same enclosing class. The sequences of sub-tokens in the program entities' names in the contexts are extracted and used as the input for an RNN-based encoder-decoder to produce the representations for the current method. We modify that RNN model to integrate the copy mechanism and our newly developed component, called the non-copy mechanism, to emphasize on the possibility of a certain sub-token not to be copied to follow the current sub-token in the currently generated method name. We conducted several experiments to evaluate DeepName on large datasets with +14M methods. For consistency checking, DeepName improves the state-of-the-art approach by 2.1%, 19.6%, and 11.9% relatively in recall, precision, and F-score, respectively. For name suggestion, DeepName improves relatively over the state-of-the-art approaches in precision (1.8%--30.5%), recall (8.8%--46.1%), and F-score (5.2%--38.2%). To assess DeepName's usefulness, we detected inconsistent methods and suggested new method names in active projects. Among 50 pull requests, 12 were merged into the main branch. In total, in 30/50 cases, the team members agree that our suggested method names are more meaningful than the current names.