title: ARENA: Asynchronous Reconfigurable Accelerator Ring to Enable Data-Centric Parallel Computing

abstract: The next generation HPC and data centers are likely to be reconfigurable and data-centric due to the trend of hardware specialization and the emergence of data-driven applications. In this paper, we propose ARENA -- an asynchronous reconfigurable accelerator ring architecture as a potential scenario on how the future HPC and data centers will be like. Despite using the coarse-grained reconfigurable arrays (CGRAs) as the substrate platform, our key contribution is not only the CGRA-cluster design itself, but also the ensemble of a new architecture and programming model that enables asynchronous tasking across a cluster of reconfigurable nodes, so as to bring specialized computation to the data rather than the reverse. We presume distributed data storage without asserting any prior knowledge on the data distribution. Hardware specialization occurs at runtime when a task finds the majority of data it requires are available at the present node. In other words, we dynamically generate specialized CGRA accelerators where the data reside. The asynchronous tasking for bringing computation to data is achieved by circulating the task token, which describes the data-flow graphs to be executed for a task, among the CGRA cluster connected by a fast ring network. Evaluations on a set of HPC and data-driven applications across different domains show that ARENA can provide better parallel scalability with reduced data movement (53.9%). Compared with contemporary compute-centric parallel models, ARENA can bring on average 4.37x speedup. The synthesized CGRAs and their task-dispatchers only occupy 2.93mm^2 chip area under 45nm process technology and can run at 800MHz with on average 759.8mW power consumption. ARENA also supports the concurrent execution of multi-applications, offering ideal architectural support for future high-performance parallel computing and data analytics systems.


title: Optimal Ternary Codes with Weight $w$ and Distance $2w-2$ in $\ell_1$-Metric

abstract: The study of constant-weight codes in $\ell_1$-metric was motivated by the duplication-correcting problem for data storage in live DNA. It is interesting to determine the maximum size of a code given the length $n$, weight $w$, minimum distance $d$ and the alphabet size $q$. In this paper, based on graph decompositions, we determine the maximum size of ternary codes with constant weight $w$ and distance $2w-2$ for all sufficiently large length $n$. Previously, this was known only for a very sparse family $n$ of density $4/w(w-1)$.


title: A Scenario-oriented Approach for Energy-Reserve Joint Procurement and Pricing

abstract: We propose a scenario-oriented approach for energy-reserve joint procurement and pricing for electricity market. In this model, without the empirical reserve requirements, reserve is procured according to all possible contingencies and load/renewable generation fluctuations with the minimum expected system total cost. The innovative locational marginal pricing approach for loads, generations and reserve and the associated settlement process are proposed. We show that payments from loads, payments to generators and congestion rent will reach their balance in the basecase as well as in all scenarios, so that revenue adequacy can be guaranteed for the system operator.


title: Spatiotemporal solitons in dispersion-managed multimode fibers

abstract: We develop the scheme of dispersion management (DM) for three-dimensional (3D) solitons in a multimode optical fiber. It is modeled by the parabolic confining potential acting in the transverse plane in combination with the cubic self-focusing. The DM map is adopted in the form of alternating segments with anomalous and normal group-velocity dispersion. Previously, temporal DM solitons were studied in detail in single-mode fibers, and some solutions for 2D spatiotemporal "light bullets", stabilized by DM, were found in the model of a planar waveguide. By means of numerical methods, we demonstrate that stability of the 3D spatiotemporal solitons is determined by the usual DM-strength parameter, $S$: they are quasi-stable at $ S<S_{0}\approx 0.93$, and completely stable at $S>S_{0}$. Stable vortex solitons are constructed too. We also consider collisions between the 3D solitons, in both axial and transverse directions. The interactions are quasi-elastic, including periodic collisions between solitons which perform shuttle motion in the transverse plane.


title: Azumaya Loci Of The Quantum Euclidean $2n$-Space

abstract: This article delves into the Azumaya loci of quantum euclidean 2n-space, providing a comprehensive exploration. We introduce a significant class of maximal-dimensional simple modules associated with this algebra. Moreover, we establish a proof asserting that the maximal-dimensional simple modules are exactly the ones we have constructed. The computation of the algebra's center, coupled with the necessary and sufficient conditions derived for maximal-dimensional simple modules, enables us to determine the Azumaya locus of the algebra.


title: Scheduling of Operations in Quantum Compiler

abstract: When scheduling quantum operations, a shorter overall execution time of the resulting schedule yields a better throughput and higher fidelity output. In this paper, we demonstrate that quantum operation scheduling can be interpreted as a special type of job-shop problem. On this basis, we provide its formulation as Constraint Programming while taking into account commutation between quantum operations. We show that this formulation improves the overall execution time of the resulting schedules in practice through experiments with a real quantum compiler and quantum circuits from two common benchmark sets.


title: Interaction of void spacing and material size effect on inter-void flow localisation

abstract: The ductile fracture process in porous metals due to growth and coalescence of micron scale voids is not only affected by the imposed stress state but also by the distribution of the voids and the material size effect. The objective of this work is to understand the interaction of the inter-void spacing (or ligaments) and the resultant gradient induced material size effect on void coalescence for a range of imposed stress states. To this end, three dimensional finite element calculations of unit cell models with a discrete void embedded in a strain gradient enhanced material matrix are performed. The calculations are carried out for a range of initial inter-void ligament sizes and imposed stress states characterised by fixed values of the stress triaxiality and the Lode parameter. Our results show that in the absence of strain gradient effects on the material response, decreasing the inter-void ligament size results in an increase in the propensity for void coalescence. However, in a strain gradient enhanced material matrix, the strain gradients harden the material in the inter-void ligament and decrease the effect of inter-void ligament size on the propensity for void coalescence.


title: On the existence and uniqueness of weak solutions to time-fractional elliptic equations with time-dependent variable coefficients

abstract: This paper is devoted to discussing the existence and uniqueness of weak solutions to time-fractional elliptic equations having time-dependent variable coefficients. To obtain the main result, our strategy is to combine the Galerkin method, a basic inequality for the fractional derivative of convex Lyapunov candidate functions, the Yoshida approximation sequence and the weak compactness argument.


title: Pattern recognition in micro-trading behaviors before stock price jumps: A framework based on multivariate time series analysis

abstract: Studying the micro-trading behaviors before stock price jumps is an important problem for financial regulations and investment decisions. In this study, we provide a new framework to study pre-jump trading behaviors based on multivariate time series analysis. Different from the existing literature, our methodology takes into account the temporal information embedded in the trading-related attributes and can better evaluate and compare the abnormality levels of different attributes. Moreover, it can explore the joint informativeness of the attributes as well as select a subset of highly informative but minimally redundant attributes to analyze the homogeneous and idiosyncratic patterns in the pre-jump trades of individual stocks. In addition, our analysis involves a set of technical indicators to describe micro-trading behaviors. To illustrate the viability of the proposed methodology, an application case is conducted based on the level-2 data of 189 constituent stocks of the China Security Index 300. The individual and joint informativeness levels of the attributes in predicting price jumps are evaluated and compared. To this end, our experiment provides a set of jump indicators that can represent the pre-jump trading behaviors in the Chinese stock market and have detected some stocks with extremely abnormal pre-jump trades.


title: Connected algebraic groups acting on Fano fibrations over $\mathbb{P}^1$

abstract: Let $X/\mathbb{P}^1$ be a Mori fibre space with general fibre of Picard rank at least two. We prove that there is a proper closed subset $S\subsetneq X$, invariant by the connected component of the identity ${\rm Aut}^{\circ}(X)$ of the automorphism group of $X$, which is moreover the orbit of a section $s$ and whose intersection with a fibre is an orbit of the subgroup of ${\rm Aut}^{\circ}(X)$ acting trivially on $\mathbb{P}^1$. Such result is a tool to describe equivariant birational maps from $X/\mathbb{P}^1$ to other Mori fibre spaces and therefore finds its applications in the study of connected algebraic subgroups of ${\rm Aut}^{\circ}(X)$. This represents a first reduction step towards a possible classification of maximal connected algebraic subgroups of the Cremona group of rank $4$.


title: An approach of statistical corrections to interactions in hadron resonance gas

abstract: We propose a new model for hadrons with quantum mechanical attractive and repulsive interactions sensitive to some spatial correlation length parameter inspired by Beth-Uhlenbeck quantum mechanical non-ideal gas model \cite{uhlenbeck1937quantum}. We confront the thermodynamics calculated using our model with a corresponding recent lattice data at four different values of the baryon chemical potential, $\mu_{\mathtt{b}}= 0, 170, 340, 425~$MeV over temperatures ranging from $130$ MeV to $200~$MeV and for five values for the correlation length ranging from $0$ to $0.2~$fm. For equilibrium temperatures up to the vicinity of the chiral phase transition temperature $\simeq 160~$MeV, a decent fitting between the model and the lattice data is observed for different values of $r$, especially at $(\mu_{\mathtt{b}}, r) = (170,0.05), (340,0.1)$, and $(340,0.15)$, where $\mu_{\mathtt{b}}$ is in MeV and $r$ is in fm. For vanishing chemical potential, the uncorrelated model ($r=0$), which corresponds to ideal hadron resonance gas model seems to offer the best fit. The quantum hadron correlations seem to be more probable at non-vanishing chemical potentials, especially within the range $\mu_{\mathtt{b}}\in [170, 340~$MeV$]$.


title: Decision times of infinite computations

abstract: The decision time of an infinite time algorithm is the supremum of its halting times over all real inputs. The decision time of a set of reals is the least decision time of an algorithm that decides the set; semidecision times of semidecidable sets are defined similary. It is not hard to see that $\omega_1$ is the maximal decision time of sets of reals. Our main results determine the supremum of countable decision times as $\sigma$ and that of countable semidecision times as $\tau$, where $\sigma$ and $\tau$ denote the suprema of $\Sigma_1$- and $\Sigma_2$-definable ordinals, respectively, over $L_{\omega_1}$. We further compute analogous suprema for singletons.


title: Simple means Faster: Real-Time Human Motion Forecasting in Monocular First Person Videos on CPU

abstract: We present a simple, fast, and light-weight RNN based framework for forecasting future locations of humans in first person monocular videos. The primary motivation for this work was to design a network which could accurately predict future trajectories at a very high rate on a CPU. Typical applications of such a system would be a social robot or a visual assistance system for all, as both cannot afford to have high compute power to avoid getting heavier, less power efficient, and costlier. In contrast to many previous methods which rely on multiple type of cues such as camera ego-motion or 2D pose of the human, we show that a carefully designed network model which relies solely on bounding boxes can not only perform better but also predicts trajectories at a very high rate while being quite low in size of approximately 17 MB. Specifically, we demonstrate that having an auto-encoder in the encoding phase of the past information and a regularizing layer in the end boosts the accuracy of predictions with negligible overhead. We experiment with three first person video datasets: CityWalks, FPL and JAAD. Our simple method trained on CityWalks surpasses the prediction accuracy of state-of-the-art method (STED) while being 9.6x faster on a CPU (STED runs on a GPU). We also demonstrate that our model can transfer zero-shot or after just 15% fine-tuning to other similar datasets and perform on par with the state-of-the-art methods on such datasets (FPL and DTP). To the best of our knowledge, we are the first to accurately forecast trajectories at a very high prediction rate of 78 trajectories per second on CPU.


title: On algebra of big zeta values

abstract: The algebra of big zeta values we introduce in this paper is an intermediate object between multiple zeta values and periods of the multiple zeta motive. It consists of number series generalizing multiple zeta values, the simplest examples, which are not multiple zeta series, are Tornheim sums. We show that convergent big zeta values are periods of the moduli space of stable curves of genus zero on one hand and multiple zeta values on the other hand. It gives an alternative way to prove that any such period may be expressed as a rational linear combination of multiple zeta values and a simple algorithm for finding such an expression.


title: Multi-modal Fusion for Single-Stage Continuous Gesture Recognition

abstract: Gesture recognition is a much studied research area which has myriad real-world applications including robotics and human-machine interaction. Current gesture recognition methods have focused on recognising isolated gestures, and existing continuous gesture recognition methods are limited to two-stage approaches where independent models are required for detection and classification, with the performance of the latter being constrained by detection performance. In contrast, we introduce a single-stage continuous gesture recognition framework, called Temporal Multi-Modal Fusion (TMMF), that can detect and classify multiple gestures in a video via a single model. This approach learns the natural transitions between gestures and non-gestures without the need for a pre-processing segmentation step to detect individual gestures. To achieve this, we introduce a multi-modal fusion mechanism to support the integration of important information that flows from multi-modal inputs, and is scalable to any number of modes. Additionally, we propose Unimodal Feature Mapping (UFM) and Multi-modal Feature Mapping (MFM) models to map uni-modal features and the fused multi-modal features respectively. To further enhance performance, we propose a mid-point based loss function that encourages smooth alignment between the ground truth and the prediction, helping the model to learn natural gesture transitions. We demonstrate the utility of our proposed framework, which can handle variable-length input videos, and outperforms the state-of-the-art on three challenging datasets: EgoGesture, IPN hand, and ChaLearn LAP Continuous Gesture Dataset (ConGD). Furthermore, ablation experiments show the importance of different components of the proposed framework.


title: When Do You Need Billions of Words of Pretraining Data?

abstract: NLP is currently dominated by general-purpose pretrained language models like RoBERTa, which achieve strong performance on NLU tasks through pretraining on billions of words. But what exact knowledge or skills do Transformer LMs learn from large-scale pretraining that they cannot learn from less data? We adopt four probing methods---classifier probing, information-theoretic probing, unsupervised relative acceptability judgment, and fine-tuning on NLU tasks---and draw learning curves that track the growth of these different measures of linguistic ability with respect to pretraining data volume using the MiniBERTas, a group of RoBERTa models pretrained on 1M, 10M, 100M and 1B words. We find that LMs require only about 10M or 100M words to learn representations that reliably encode most syntactic and semantic features we test. A much larger quantity of data is needed in order to acquire enough commonsense knowledge and other skills required to master typical downstream NLU tasks. The results suggest that, while the ability to encode linguistic features is almost certainly necessary for language understanding, it is likely that other forms of knowledge are the major drivers of recent improvements in language understanding among large pretrained models.


title: Long Games and $\sigma$-Projective Sets

abstract: We prove a number of results on the determinacy of $\sigma$-projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under complements, countable unions, and projections. We first prove the equivalence between $\sigma$-projective determinacy and the determinacy of certain classes of games of variable length ${<}\omega^2$ (Theorem 2.4). We then give an elementary proof of the determinacy of $\sigma$-projective sets from optimal large-cardinal hypotheses (Theorem 4.4). Finally, we show how to generalize the proof to obtain proofs of the determinacy of $\sigma$-projective games of a given countable length and of games with payoff in the smallest $\sigma$-algebra containing the projective sets, from corresponding assumptions (Theorems 5.1 and 5.4).


title: Mitigating Leakage in Federated Learning with Trusted Hardware

abstract: In federated learning, multiple parties collaborate in order to train a global model over their respective datasets. Even though cryptographic primitives (e.g., homomorphic encryption) can help achieve data privacy in this setting, some partial information may still be leaked across parties if this is done non-judiciously. In this work, we study the federated learning framework of SecureBoost [Cheng et al., FL@IJCAI'19] as a specific such example, demonstrate a leakage-abuse attack based on its leakage profile, and experimentally evaluate the effectiveness of our attack. We then propose two secure versions relying on trusted execution environments. We implement and benchmark our protocols to demonstrate that they are 1.2-5.4X faster in computation and need 5-49X less communication than SecureBoost.


title: Soliton, Breather and Rogue Wave Solutions for Solving the Nonlinear Schr\"odinger Equation Using a Deep Learning Method with Physical Constraints

abstract: The nonlinear Schrodinger equation is a classical integrable equation which contains plenty of significant properties and occurs in many physical areas. However, due to the difficulty of solving this equation, in particular in high dimensions, lots of methods are proposed to effectively obtain different kinds of solutions, such as neural networks, among others. Recently, a method where some underlying physical laws are embeded into a conventional neural network is proposed to uncover the equation's dynamical behaviors from spatiotemporal data directly. Compared with traditional neural networks, this method can obtain remarkably accurate solution with extraordinarily less data. Meanwhile, this method also provides a better physical explanation and generalization. In this paper, based on the above method, we present an improved deep learning method to recover the soliton solutions, breather solution and rogue wave solutions to the nonlinear Schrodinger equation. In particular, the dynamical behaviors and error analysis about the one-order and two-order rogue waves of the Schrodinger equation are revealed by the deep neural network for the first time. Moreover, the effects of different numbers of initial points sampled, residual collocation points sampled, network layers, neurons per hidden layer on the one-order rogue wave dynamics of this equation have been considered with the help of the control variable way under the same initial and boundary conditions. Numerical experiments show that the dynamical behaviors of soliton solutions, breather solution and rogue wave solutions of the integrable nonlinear Schrodinger equation can be well reconstructed by utilizing this physically-constrained deep learning method.


title: Model-based Reinforcement Learning from Signal Temporal Logic Specifications

abstract: Techniques based on Reinforcement Learning (RL) are increasingly being used to design control policies for robotic systems. RL fundamentally relies on state-based reward functions to encode desired behavior of the robot and bad reward functions are prone to exploitation by the learning agent, leading to behavior that is undesirable in the best case and critically dangerous in the worst. On the other hand, designing good reward functions for complex tasks is a challenging problem. In this paper, we propose expressing desired high-level robot behavior using a formal specification language known as Signal Temporal Logic (STL) as an alternative to reward/cost functions. We use STL specifications in conjunction with model-based learning to design model predictive controllers that try to optimize the satisfaction of the STL specification over a finite time horizon. The proposed algorithm is empirically evaluated on simulations of robotic system such as a pick-and-place robotic arm, and adaptive cruise control for autonomous vehicles.


title: Low-symmetry two-dimensional BNP$_2$ and C$_2$SiS structures with high and anisotropic carrier mobilities

abstract: We study the stability and electronic structure of previously unexplored two-dimensional (2D) ternary compounds BNP$_2$ and C$_2$SiS. Using $ab$ $initio$ density functional theory, we have identified four stable allotropes of each ternary compound and confirmed their stability by calculated phonon spectra and molecular dynamics simulations. Whereas all BNP$_2$ allotropes are semiconducting, we find C$_2$SiS, depending on the allotrope, to be semiconducting or semimetallic. The fundamental band gaps of the semiconducting allotropes we study range from $1.4$ eV to $2.2$ eV at the HSE06 level $0.5$ eV to $1.4$ eV at the PBE level and display carrier mobilities as high as $1.5{\times}10^5$ cm$^2$V$^{-1}$s$^{-1}$. Such high mobilities are quite uncommon in semiconductors with so wide band gaps. Structural ridges in the geometry of all allotropes cause a high anisotropy in their mechanical and transport properties, promising a wide range of applications in electronics and optoelectronics.


title: Internal microstructure driven turbulence enhancement of fluids

abstract: Fluids with internal microstructure like dense suspensions, biological and polymer added fluids, are commonly found in the turbulent regime in many applications. Their flow is extremely difficult to be studied as microstructure complexity and Reynolds number increase, even nowadays. This bottleneck is novelty and efficiently treated here by the micropolar theory. Our findings support that when denser microstructure occurs turbulence is intensified by the chaotic rotation of internal fluid's elements. Unlike in Newtonian fluids, shear stress is now decreased, and viscous and microstructure interrotational stresses increase near the walls and mark the turbulence intensification.


title: Asymptotic expansion of the expected Minkowski functional for isotropic central limit random fields

abstract: The Minkowski functionals, including the Euler characteristic statistics, are standard tools for morphological analysis in cosmology. Motivated by cosmic research, we examine the Minkowski functional of the excursion set for an isotropic central limit random field, the $k$-point correlation functions ($k$th order cumulants) of which have the same structure as that assumed in cosmic research. Using 3- and 4-point correlation functions, we derive the asymptotic expansions of the Euler characteristic density, which is the building block of the Minkowski functional. The resulting formula reveals the types of non-Gaussianity that cannot be captured by the Minkowski functionals. As an example, we consider an isotropic chi-square random field and confirm that the asymptotic expansion accurately approximates the true Euler characteristic density.


title: Weakly non-Gaussian formula for the Minkowski functionals in general dimensions

abstract: The Minkowski functionals are useful statistics to quantify the morphology of various random fields. They have been applied to numerous analyses of geometrical patterns, including various types of cosmic fields, morphological image processing, etc. In some cases, including cosmological applications, small deviations from the Gaussianity of the distribution are of fundamental importance. Analytic formulas for the expectation values of Minkowski functionals with small non-Gaussianity have been derived in limited cases to date. We generalize these previous works to derive an analytic expression for expectation values of Minkowski functionals up to second-order corrections of non-Gaussianity in a space of general dimensions. The derived formula has sufficient generality to be applied to any random fields with weak non-Gaussianity in a statistically homogeneous and isotropic space of any dimensions.


title: On the chemical distance exponent for the two-sided level-set of the 2D Gaussian free field

abstract: In this paper we introduce the two-sided level-set for the two-dimensional discrete Gaussian free field. Then we investigate the chemical distance for the two-sided level-set percolation. Our result shows that the chemical distance should have dimension strictly larger than $1$, which in turn stimulates some tempting questions about the two-sided level-set.


title: PRISA: a simple software for determining refractive index, extinction co-efficient, dispersion energy, band gap, and thickness of semiconductor and dielectric thin films

abstract: A simple user-friendly software named PRISA has been developed to determine optical constants (refractive index and extinction co-efficient), dispersion parameters (oscillator energy and dispersion energy), absorption co-efficient, band gap and thickness of semiconductor and dielectric thin films from their measured transmission spectrum, only. The thickness, refractive index, and extinction co-efficient of the films have been derived using Envelope method proposed by Swanepoel. The absorption co-efficient in the strong absorption region is calculated using the method proposed by Connel and Lewis. Subsequently, both direct and indirect bandgap of the films is estimated from the absorption co-efficient spectrum using Tauc plot. The codes for the software are written in Python and the graphical user interface is programmed with tkinter package of Python. It provides convenient input and output of the measured and derived data. The software has a feature to retrieve transmission spectrum using the derived parameters in order to check their reliability. The performance of the software is verified by analyzing numerically generated transmission spectra of a-Si:H amorphous semiconductor thin films, and experimentally measured transmission spectra of electron beam evaporated HfO2 dielectric thin films as examples. PRISA is found to be much simpler and accurate as compared to the other freely available softwares. To help other researchers working on thin films, the software is made freely available at https://www.shuvendujena.tk/download.


title: Follow-up Observations for IceCube-170922A: Detection of Rapid Near-Infrared Variability and Intensive Monitoring of TXS 0506+056

abstract: We present our follow-up observations to search for an electromagnetic counterpart of the IceCube high-energy neutrino, IceCube-170922A. Monitoring observations of a likely counterpart, TXS 0506+056, are also described. First, we quickly took optical and near-infrared images of 7 flat-spectrum radio sources within the IceCube error region right after the neutrino detection and found a rapid flux decline of TXS 0506+056 in Kanata/HONIR J-band data. Motivated by this discovery, intensive follow-up observations of TXS 0506+056 are continuously done, including our monitoring imaging observations, spectroscopic observations, and polarimetric observations in optical and near-infrared wavelengths. TXS 0506+056 shows a large amplitude (~1.0 mag) variability in a time scale of several days or longer, although no significant variability is detected in a time scale of a day or shorter. TXS 0506+056 also shows a bluer-when-brighter trend in optical and near-infrared wavelengths. Structure functions of variabilities are examined and indicate that TXS 0506+056 is not a special blazar in terms of optical variability. Polarization measurement results of TXS 0506+056 are also discussed.


title: Quantum Hall valley splitters and tunable Mach-Zehnder interferometer in graphene

abstract: Graphene is a very promising test-bed for the field of electron quantum optics. However, a fully tunable and coherent electronic beam splitter is still missing. We report the demonstration of electronic beam splitters in graphene that couple quantum Hall edge channels having opposite valley polarizations. The electronic transmission of our beam splitters can be tuned from zero to near unity. By independently setting the beam splitters at the two corners of a graphene PN junction to intermediate transmissions, we realize a fully tunable electronic Mach-Zehnder interferometer. This tunability allows us to unambiguously identify the quantum interferences due to the Mach-Zehnder interferometer, and to study their dependence with the beam-splitter transmission and the interferometer bias voltage. The comparison with conventional semiconductor interferometers points towards universal processes driving the quantum decoherence in those two different 2D systems, with graphene being much more robust to their effect.


title: Multi-domain Reversible Data Hiding in JPEG

abstract: As a branch of reversible data hiding (RDH), reversible data hiding in JEPG is particularly important. Because JPEG images are widely used, it is great significance to study reversible data hiding algorithm for JEPG images. The existing JEPG reversible data methods can be divided into two categories, one is based on Discrete Cosine Transform (DCT) coefficients modification, the other is based on Huffman table modification, the methods based on DCT coefficient modification result in large file expansion and visual quality distortion, while the methods based on entropy coding domain modification have low capacity and they may lead to large file expansion. In order to effectively solve the problems in these two kinds of methods, this paper proposes a reversible data hiding in JPEG images methods based on multi-domain modification. In this method, the secret data is divided into two parts by payload distribution algorithm, part of the secret data is first embedded in the DCT coefficient domain, and then the remaining secret data is embedded in the entropy coding domain. Experimental results demonstrate that most JPEG image files with this scheme have smaller file size increment and higher payload than previous RDH schemes.


title: Damped oscillators within the general theory of Casimir and van der Waals forces

abstract: It is demonstrated that the general theory of Casimir and van der Waals forces describes the interaction-induced equilibrium thermodynamic potentials of the damped harmonic oscillator bilinearly coupled to the environment. An extended model for a damped oscillator is suggested along the lines of the general theory of Casimir and van der Waals forces, and the corresponding thermodynamic quantities obtained. While the original model involves a heat bath consisting of a large number of free oscillators having infinitesimal damping functions, the extended model allows any generally admissible frequency and temperature dependent dissipative susceptibilities of the heat bath constituents, influenced by the additional dissipative environmental channels that are not directly linked to the system oscillator. Consequently, the results obtained are applicable to the frequency and temperature dependent damping function of the system oscillator.


title: Remote free-carrier screening to boost the mobility of Fr\"ohlich-limited 2D semiconductors

abstract: Van der Waals heterostructures provide a versatile tool to not only protect or control, but also enhance the properties of a 2D material. We use ab initio calculations and semi-analytical models to find strategies which boost the mobility of a current-carrying 2D semiconductor within an heterostructure. Free-carrier screening from a metallic "screener" layer remotely suppresses electron-phonon interactions in the current-carrying layer. This concept is most effective in 2D semiconductors whose scattering is dominated by screenable electron-phonon interactions, and in particular the Fr\"ohlich coupling to polar-optical phonons. Such materials are common and characterised by overall low mobilities in the small doping limit, and much higher ones when the 2D material is doped enough for electron-phonon interactions to be screened by its own free carriers. We use GaSe as a prototype and place it in a heterostructure with doped graphene as the "screener" layer and BN as a separator. We develop an approach to determine the electrostatic response of any heterostructure by combining the responses of the individual layers computed within density-functional perturbation theory. Remote screening from graphene can suppress the long-wavelength Fr\"ohlich interaction, leading to a consistently high mobility around $500$ to $600$ cm$^2$/Vs for carrier densities in GaSe from $10^{11}$ to $10^{13}$ cm$^{-2}$. Notably, the low-doping mobility is enhanced by a factor 2.5. This remote free-carrier screening is more efficient than more conventional manipulation of the dielectric environment, and it is most effective when the separator (BN) is thin.


title: Characterization and Automatic Update of Deprecated Machine-Learning API Usages

abstract: Due to the rise of AI applications, machine learning libraries have become far more accessible, with Python being the most common programming language to write them. Machine learning libraries tend to be updated periodically, which may deprecate existing APIs, making it necessary for developers to update their usages. However, updating usages of deprecated APIs are typically not a priority for developers, leading to widespread usages of deprecated APIs which expose library users to vulnerability issues. In this paper, we built a tool to automate these updates. We first conducted an empirical study to seek a better understanding on how updates of deprecated machine-learning API usages in Python can be done. The study involved a dataset of 112 deprecated APIs from Scikit-Learn, TensorFlow, and PyTorch. We found dimensions of deprecated API migration related to its update operation (i.e., the required operation to perform the migration), API mapping (i.e., the number of deprecated and its corresponding updated APIs),and context dependency (i.e., whether we need to consider surrounding contexts when performing the migration). Guided by the findings on our empirical study, we created MLCatchUp, a tool to automate the update of Python deprecated API usage that automatically infers the API migration transformation through comparison of the deprecated and updated API signatures. These transformations are expressed in a Domain Specific Language (DSL). We evaluated MLCatchUp using test dataset containing 258 files with 514 API usages that we collected from public GitHub repositories. In this evaluation, MLCatchUp achieves a precision of 86.19%. We further improve the precision of MLCatchUp by adding a feature that allows it to accept additional user input to specify the transformation constraints in the DSL for context-dependent API migration, where MLCatchUp achieves a precision of 93.58%.


title: Photonic implementation of quantum information masking

abstract: Masking of quantum information spreads it over nonlocal correlations and hides it from the subsystems. It is known that no operation can simultaneously mask all pure states [Phys. Rev. Lett. 120, 230501 (2018)], so in what sense is quantum information masking useful? Here, we extend the definition of quantum information masking to general mixed states, and show that the resource of maskable quantum states are far more abundant than the no-go theorem seemingly suggests. Geometrically, the simultaneously maskable states lays on hyperdisks in the state hypersphere, and strictly contain the broadcastable states. We devise a photonic quantum information masking machine using time-correlated photons to experimentally investigate the properties of qubit masking, and demonstrate the transfer of quantum information into bipartite correlations and its faithful retrieval. The versatile masking machine has decent extensibility, and may be applicable to quantum secret sharing and fault-tolerant quantum communication. Our results provide some insights on the comprehension and potential application of quantum information masking.


title: Aqueous Alteration Studies on Mukundpura (MK) Carbonaceous Chondrite using FTIR, TGA and Raman spectroscopy and its CM classification

abstract: FTIR measurement on MK immediately after its fall, shows a unique doublet around 10 micrometer, significantly different from many ordinary CM2 chondrites, where only a singlet around 10 micrometer is observed. Also, a very faint 11.2 micrometer feature in MK indicates the absence of anhydrous silicates, olivine and thus complete serpentinization of anhydrous silicates due to severe aqueous alteration on parent body. Raman studies show a low peak metamorphic temperature around 0 {\deg}C and consistent with the absence of peak corresponding to tochilinite in FTIR spectrum, which forms at higher temperature. The first thermogravimetric measurement was carried out within 24 hrs. of MK fall, showing 10% weight loss in 400-770 {\deg}C range and is consistent with TGA on another MK fragment of same batch after 30 months, confirming no environmental impact on the water bound to hydrated clay. This large weight loss also rules out any post aqueous alteration thermal event suffered by MK and signify the presence of hydrated clay. The measured ratio of MgO/FeO is about 0.56, and sulfur weight is 3.4 %. Recently, based on only aqueous alteration Potin et al. (Potin et al. 2020), classified MK as CM1, implying MK should be utmost altered CM, whereas Ray et al. (Ray et al 2018), as equivalent to Paris like (CM2.7), least aqueous altered. However, if we combine the observed aqueous alteration, MgO/FeO weight ratio, and sulfur weight % together will provide a more comprehensive understanding for MK, and thus, we classify it as CM2.3.insted CM1 or CM(2.7-2.9).


title: Unsupervised Contrastive Photo-to-Caricature Translation based on Auto-distortion

abstract: Photo-to-caricature translation aims to synthesize the caricature as a rendered image exaggerating the features through sketching, pencil strokes, or other artistic drawings. Style rendering and geometry deformation are the most important aspects in photo-to-caricature translation task. To take both into consideration, we propose an unsupervised contrastive photo-to-caricature translation architecture. Considering the intuitive artifacts in the existing methods, we propose a contrastive style loss for style rendering to enforce the similarity between the style of rendered photo and the caricature, and simultaneously enhance its discrepancy to the photos. To obtain an exaggerating deformation in an unpaired/unsupervised fashion, we propose a Distortion Prediction Module (DPM) to predict a set of displacements vectors for each input image while fixing some controlling points, followed by the thin plate spline interpolation for warping. The model is trained on unpaired photo and caricature while can offer bidirectional synthesizing via inputting either a photo or a caricature. Extensive experiments demonstrate that the proposed model is effective to generate hand-drawn like caricatures compared with existing competitors.


title: Optimal Locally Repairable Codes: An Improved Bound and Constructions

abstract: We study the Singleton-type bound that provides an upper limit on the minimum distance of locally repairable codes. We present an improved bound by carefully analyzing the combinatorial structure of the repair sets. Thus, we show the previous bound is unachievable for certain parameters. We then also provide explicit constructions of optimal codes that show that for certain parameters the new bound is sharp. Additionally, as a byproduct, some previously known codes are shown to attain the new bound and are thus proved to be optimal.


title: Anticipation and Negative Group Delay in a Retina

abstract: The mechanism of negative group delay (NGD) is used to understand the anticipatory capability of a retina. Experiments with retinas from bull frogs are performed to compare with the predictions of the NGD model. In particulars, whole field stochastic stimulation with various time correlations are used to probe anticipatory responses from the retina. We find that the NGD model can reproduce essential features of experimental observations characterized by the cross correlations between the stimulation and the retinal responses. The prediction horizon of a retina is found to depend on the correlation time of the stimulation as predicted by the NGD model. Experiments with dark and bright Gaussian light pulses further support the NGD mechanism; but only for the dark pulses indicating that the NGD effect of a retina might originate from its OFF response. Our finding suggests that sensory systems capable of using negative feedback for adaptation can give rise to anticipation as a consequence of the delay in the system.


title: Motional Quantum States of Surface Electrons on Liquid Helium in a Tilted Magnetic Field

abstract: The Jaynes-Cummings model (JCM), one of the paradigms of quantum electrodynamics, was introduced to describe interaction between light and a fictitious two-level atom. Recently it was suggested that the JCM Hamiltonian can be invoked to describe the motional states of electrons trapped on the surface of liquid helium and subjected to a constant uniform magnetic field tilted with respect to the surface [Yunusova et al. Phys. Rev. Lett. 122, 176802 (2019)]. In this case, the surface-bound (Rydberg) states of an electron are coupled to the electron cyclotron motion by the in-plane component of tilted field. Here we investigate, both theoretically and experimentally, the spectroscopic properties of surface electrons in a tilted magnetic field and demonstrate that such a system exhibits a variety of phenomena common to the light dressed states of atomic and molecular systems. This shows that electrons on helium realize a prototypical atomic system where interaction between components can be engineered and controlled by simple means and with high accuracy, and which therefore can be potentially used as a new flexible platform for quantum experiments. Our work introduces a pure condensed-matter system of electrons on helium into the context of atomic, molecular and optical physics.


title: Simulation of neutron background for a dark matter search experiment at JUSL

abstract: Dark matter search experiments demand low to ultralow radiation background to operate. It is very important to understand the nature of the radiation background including knowledge about the sources contributing to it. Sometimes, evaluation of the background becomes very specific to the site chosen for the experiment, and also to the experimental configuration. A dark matter search experiment is proposed to be set up at the Jaduguda Underground Science Laboratory (JUSL) in India. The laboratory will be located inside an existing mine with 555 m of vertical rock overburden. Neutrons produced from $(\alpha,n)$ reactions, spontaneous fission of natural radioactive impurities in the rocks, and also from cosmic muon induced reactions are considered as the main background which can affect the sensitivity and outcome of the experiment. In this work, simulations based on GEANT4 are done to understand both the radiogenic neutron background caused by natural radioactivity of the surrounding rock and the cosmogenic neutron background due to interaction of the deeply penetrating cosmic muons with the rock. The muon flux in the cavern is obtained to be $4.49(\pm0.25)\times10^{-7} $cm$^{-2}$s$^{-1}$ and the fluxes of radiogenic and cosmogenic neutrons above an energy threshold of 1 MeV in the cavern are obtained to be $5.75(\pm0.58)\times10^{-6}$cm$^{-2}$s$^{-1}$ and $7.25(\pm0.65)\times 10^{-9}$ cm$^{-2}$s$^{-1}$ respectively. The values obtained are comparable with estimates and measurements done for DAMA, WIPP and dark matter experiments at Boulby mine. The effectiveness of different shielding materials are also investigated to obtain the best possible neutron background reduction for a dark matter search experiment at JUSL. We also estimate the sensitivity of a CsI based detector for Weakly Interacting Massive Particle (WIMP) dark matter search at JUSL considering the estimated neutron background.


title: A Q-learning algorithm for discrete-time linear-quadratic control with random parameters of unknown distribution: convergence and stabilization

abstract: This paper studies an infinite horizon optimal control problem for discrete-time linear systems and quadratic criteria, both with random parameters which are independent and identically distributed with respect to time. A classical approach is to solve an algebraic Riccati equation that involves mathematical expectations and requires certain statistical information of the parameters. In this paper, we propose an online iterative algorithm in the spirit of Q-learning for the situation where only one random sample of parameters emerges at each time step. The first theorem proves the equivalence of three properties: the convergence of the learning sequence, the well-posedness of the control problem, and the solvability of the algebraic Riccati equation. The second theorem shows that the adaptive feedback control in terms of the learning sequence stabilizes the system as long as the control problem is well-posed. Numerical examples are presented to illustrate our results.


title: Detecting Human-Object Interaction with Mixed Supervision

abstract: Human object interaction (HOI) detection is an important task in image understanding and reasoning. It is in a form of HOI triplet <human; verb; object>, requiring bounding boxes for human and object, and action between them for the task completion. In other words, this task requires strong supervision for training that is however hard to procure. A natural solution to overcome this is to pursue weakly-supervised learning, where we only know the presence of certain HOI triplets in images but their exact location is unknown. Most weakly-supervised learning methods do not make provision for leveraging data with strong supervision, when they are available; and indeed a na\"ive combination of this two paradigms in HOI detection fails to make contributions to each other. In this regard we propose a mixed-supervised HOI detection pipeline: thanks to a specific design of momentum-independent learning that learns seamlessly across these two types of supervision. Moreover, in light of the annotation insufficiency in mixed supervision, we introduce an HOI element swapping technique to synthesize diverse and hard negatives across images and improve the robustness of the model. Our method is evaluated on the challenging HICO-DET dataset. It performs close to or even better than many fully-supervised methods by using a mixed amount of strong and weak annotations; furthermore, it outperforms representative state of the art weakly and fully-supervised methods under the same supervision.


title: On the spectral value of Semigroups of Holomorphic Functions

abstract: Let $(\phi_t)_{t \geq 0}$ be a semigroup of holomorphic self-maps of the unit disk $\mathbb{D}$ with Denjoy-Wolff point $\tau=1$. The angular derivative is $\phi_t^{\prime}(1)= e^{-\lambda t}$, where $\lambda \geq 0$ is the spectral value of $(\phi_t)$. If $\lambda>0$ the semigroup is hyperbolic, otherwise it is parabolic. Suppose $K$ is a compact non-polar subset of $\mathbb{D}$ with positive logarithmic capacity. We specify the type of the semigroup by examining the asymptotic behavior of $\phi_t(K)$. We provide a representation of the spectral value of the semigroup with the use of several potential theoretic quantities e.g. harmonic measure, Green function, extremal length, condenser capacity.


title: Light-Induced Valleytronics in Pristine Graphene

abstract: Electrons in two-dimensional hexagonal materials have valley degree of freedom, which can be used to encode and process quantum information. The valley-selective excitations, governed by the circularly polarised light resonant with the material's band-gap, continues to be the foundation of valleytronics. It is often assumed that achieving valley selective excitation in pristine graphene with all-optical means is not possible due to the inversion symmetry of the system. Here we demonstrate that both valley-selective excitation and valley-selective high-harmonic generation can be achieved in pristine graphene by using the combination of two counter-rotating circularly polarized fields, the fundamental and its second harmonic. Controlling the relative phase between the two colours allows us to select the valleys where the electron-hole pairs and higher-order harmonics are generated. We also describe an all-optical method for measuring valley polarization in graphene with a weak probe pulse. This work offers a robust recipe to write and read valley-selective electron excitations in materials with zero bandgap and zero Berry curvature.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el physics.chem-ph physics.optics


title: Deconstruct and Reconstruct Dizi Music of the Northern School and the Southern School

abstract: Today's research on Chinese music technology is mainly focused on three aspects: data collection, music deconstruction, and music reconstruction. In this paper, a general method is proposed to collect Chinese music in the form of numbered musical notation, and a Dizi dataset is collected using this method. Based on the collected Dizi dataset, we conduct research on the Dizi music styles of the Northern school and the Southern School. Characteristics include melody and playing techniques of the two different music styles are deconstructed. A reconstruction example, music style transfer which includes melody transfer and playing techniques transfer is given and audience evaluation is done to evaluate the reconstruction results.


title: Evolving Nano Particle Cancer Treatments with Multiple Particle Types

abstract: Evolutionary algorithms have long been used for optimization problems where the appropriate size of solutions is unclear a priori. The applicability of this methodology is here investigated on the problem of designing a nano-particle (NP) based drug delivery system targeting cancer tumours. Utilizing a treatment comprising of multiple types of NPs is expected to be more effective due to the higher complexity of the treatment. This paper begins by utilizing the well-known NK model to explore the effects of fitness landscape ruggedness upon the evolution of genome length and, hence, solution complexity. The size of a novel sequence and the absence or presence of sequence deletion are also considered. Results show that whilst landscape ruggedness can alter the dynamics of the process, it does not hinder the evolution of genome length. These findings are then explored within the aforementioned real-world problem. In the first known instance, treatments with multiple types of NPs are used simultaneously, via an agent-based open source physics-based cell simulator. The results suggest that utilizing multiple types of NPs is more efficient when the solution space is explored with the evolutionary techniques under a predefined computational budget.


title: Conceptual Compression via Deep Structure and Texture Synthesis

abstract: Existing compression methods typically focus on the removal of signal-level redundancies, while the potential and versatility of decomposing visual data into compact conceptual components still lack further study. To this end, we propose a novel conceptual compression framework that encodes visual data into compact structure and texture representations, then decodes in a deep synthesis fashion, aiming to achieve better visual reconstruction quality, flexible content manipulation, and potential support for various vision tasks. In particular, we propose to compress images by a dual-layered model consisting of two complementary visual features: 1) structure layer represented by structural maps and 2) texture layer characterized by low-dimensional deep representations. At the encoder side, the structural maps and texture representations are individually extracted and compressed, generating the compact, interpretable, inter-operable bitstreams. During the decoding stage, a hierarchical fusion GAN (HF-GAN) is proposed to learn the synthesis paradigm where the textures are rendered into the decoded structural maps, leading to high-quality reconstruction with remarkable visual realism. Extensive experiments on diverse images have demonstrated the superiority of our framework with lower bitrates, higher reconstruction quality, and increased versatility towards visual analysis and content manipulation tasks.


title: SelfDeco: Self-Supervised Monocular Depth Completion in Challenging Indoor Environments

abstract: We present a novel algorithm for self-supervised monocular depth completion. Our approach is based on training a neural network that requires only sparse depth measurements and corresponding monocular video sequences without dense depth labels. Our self-supervised algorithm is designed for challenging indoor environments with textureless regions, glossy and transparent surface, non-Lambertian surfaces, moving people, longer and diverse depth ranges and scenes captured by complex ego-motions. Our novel architecture leverages both deep stacks of sparse convolution blocks to extract sparse depth features and pixel-adaptive convolutions to fuse image and depth features. We compare with existing approaches in NYUv2, KITTI, and NAVERLABS indoor datasets, and observe 5-34 % improvements in root-means-square error (RMSE) reduction.


title: Alignment of Yukawa couplings in two Higgs doublet models

abstract: We study the alignment of Yukawa couplings in the framework of general two Higgs doublet models (2HDMs) considering a scenario in which the lightest neutral Higgs boson is purely CP even while the two heavier neutral Higgs bosons are allowed to mix in the presence of nontrivial CP-violating phases in the Higgs potential. Identifying the lightest neutral Higgs boson as the 125 GeV one discovered at the LHC, we find that the alignment of Yukawa couplings without decoupling could be easily achieved in the type-I 2HDM with no much conflict with the current LHC Higgs precision data. Otherwise, we observe that the Yukawa couplings of the lightest Higgs boson could decouple much slowly compared to the Higgs coupling to a pair of massive vector bosons and they significantly deviate from the corresponding SM values even when the deviation of the Higgs to vector boson coupling is below the percent level. On the other hand, independently of 2HDM type and regardless of decoupling, we find a wrong-sign alignment limit of the Yukawa couplings in which the Yukawa couplings to the down-type quarks and/or those to the charged leptons are equal in strength but opposite in sign to the corresponding SM ones. The magnitude and sign of the up-type quark Yukawa couplings remain the same as in the SM. Accordingly, in this limit, all four types of 2HDMs are viable against the LHC Higgs precision data.


title: Kinetic field theory: Non-linear cosmic power spectra in the mean-field approximation

abstract: We use the recently developed Kinetic Field Theory (KFT) for cosmic structure formation to show how non-linear power spectra for cosmic density fluctuations can be calculated in a mean-field approximation to the particle interactions. Our main result is a simple, closed and analytic, approximate expression for this power spectrum. This expression has two parameters characterising non-linear structure growth which can be calibrated within KFT itself. Using this self-calibration, the non-linear power spectrum agrees with results obtained from numerical simulations to within typically $\lesssim10\,\%$ up to wave numbers $k\lesssim10\,h\,\mathrm{Mpc}^{-1}$ at redshift $z = 0$. Adjusting the two parameters to optimise agreement with numerical simulations, the relative difference to numerical results shrinks to typically $\lesssim 5\,\%$. As part of the derivation of our mean-field approximation, we show that the effective interaction potential between dark-matter particles relative to Zel'dovich trajectories is sourced by non-linear cosmic density fluctuations only, and is approximately of Yukawa rather than Newtonian shape.


title: Molecular states from $D^{(*)}\bar{D}^{(*)}/B^{(*)}\bar{B}^{(*)}$ and $D^{(*)}D^{(*)}/\bar{B}^{(*)}\bar{B}^{(*)}$ interactions

abstract: In this work, we preform a systematic investigation about hidden heavy and doubly heavy molecular states from the $D^{(*)}\bar{D}^{(*)}/B^{(*)}\bar{B}^{(*)}$ and $D^{(*)}D^{(*)}/\bar{B}^{(*)}\bar{B}^{(*)}$ interactions in the quasipotential Bethe-Salpeter equation (qBSE) approach. With the help of Lagrangians with heavy quark and chiral symmetries, interaction potentials are constructed within the one-boson-exchange model in which we include the $\pi$, $\eta$, $\rho$, $\omega$ and $\sigma$ exchanges, as well as $J/\psi$ or $\Upsilon$ exchange. Possible bound states from the interactions considered are searched for as the pole of scattering amplitude. The results suggest that experimentally observed states, $Z_c(3900)$, $Z_c(4020)$, $Z_b(10610)$, and $Z_b(10650)$, can be related to the $D\bar{D}^{*}$, $D^*\bar{D}^{*}$, $B\bar{B}^{*}$, and $B^*\bar{B}^{*}$ interactions with quantum numbers $I^G(J^P)=1^+(1^{+})$, respectively. The $D\bar{D}^{*}$ interaction is also attractive enough to produce a pole with $0^+(0^+)$ which is related to the $X(3872)$. Within the same theoretical frame, the existence of $D\bar{D}$ and $B\bar{B}$ molecular states with $0(0^+)$ are predicted. The possible $D^*\bar{D}^*$ molecular states with $0(0^+, 1^+, 2^+)$ and $1(0^+)$ and their bottom partners are also suggested by the calculation. In the doubly heavy sector, no bound state is produced from the $DD/\bar{B}\bar{B}$ interaction while a bound state is found with $0(1^+)$ from $DD^*/\bar{B}\bar{B}^*$ interaction. The $D^*D^*/\bar{B}^*\bar{B}^*$ interaction produces three molecular states with $0(1^+)$, $0(2^+)$ and $1(2^+)$.


title: Exploring the acceleration of Nekbone on reconfigurable architectures

abstract: Hardware technological advances are struggling to match scientific ambition, and a key question is how we can use the transistors that we already have more effectively. This is especially true for HPC, where the tendency is often to throw computation at a problem whereas codes themselves are commonly bound, at-least to some extent, by other factors. By redesigning an algorithm and moving from a Von Neumann to dataflow style, then potentially there is more opportunity to address these bottlenecks on reconfigurable architectures, compared to more general-purpose architectures. In this paper we explore the porting of Nekbone's AX kernel, a widely popular HPC mini-app, to FPGAs using High Level Synthesis via Vitis. Whilst computation is an important part of this code, it is also memory bound on CPUs, and a key question is whether one can ameliorate this by leveraging FPGAs. We first explore optimisation strategies for obtaining good performance, with over a 4000 times runtime difference between the first and final version of our kernel on FPGAs. Subsequently, performance and power efficiency of our approach on an Alveo U280 are compared against a 24 core Xeon Platinum CPU and NVIDIA V100 GPU, with the FPGA outperforming the CPU by around four times, achieving almost three quarters the GPU performance, and significantly more power efficient than both. The result of this work is a comparison and set of techniques that both apply to Nekbone on FPGAs specifically and are also of interest more widely in accelerating HPC codes on reconfigurable architectures.


title: BG CMi time keeping

abstract: Twelve seasons, from 2005 to 2016, of photometric monitoring of the intermediate polar BG CMi are presented and are compared with previous observations. The spin up of the white dwarf is found to have undergone a major change between 1996 and 2005. There is also some evidence for sideband signals.


title: Benchmarking micro-core architectures for detecting disasters at the edge

abstract: Leveraging real-time data to detect disasters such as wildfires, extreme weather, earthquakes, tsunamis, human health emergencies, or global diseases is an important opportunity. However, much of this data is generated in the field and the volumes involved mean that it is impractical for transmission back to a central data-centre for processing. Instead, edge devices are required to generate insights from sensor data streaming in, but an important question given the severe performance and power constraints that these must operate under is that of the most suitable CPU architecture. One class of device that we believe has a significant role to play here is that of micro-cores, which combine many simple low-power cores in a single chip. However, there are many to choose from, and an important question is which is most suited to what situation. This paper presents the Eithne framework, designed to simplify benchmarking of micro-core architectures. Three benchmarks, LINPACK, DFT and FFT, have been implemented atop of this framework and we use these to explore the key characteristics and concerns of common micro-core designs within the context of operating on the edge for disaster detection. The result of this work is an extensible framework that the community can use help develop and test these devices in the future.


title: New dwarfs around the curly spiral galaxy M63

abstract: We present a deep (50 hours exposed) image of the nearby spiral galaxy M 63 (NGC 5055), taken with a 0.14-m aperture telescope. The galaxy halo exhibits the known very faint system of stellar streams extending across 110 kpc. We found 5 very low-surface-brightness dwarf galaxies around M 63. Assuming they are satellites of M 63, their median parameters are: absolute $B$-magnitude -8.8 mag, linear diameter 1.3 kpc, surface brightness $\sim$ 27.8 mag/sq. arcsec and linear projected separation 93 kpc. Based on four brighter satellites with measured radial velocities, we derived a low orbital mass estimate of M 63 to be (5.1$\pm$1.8) 10$^{11} M_{\odot}$ on a scale of $\sim$216 kpc. The specific property of M 63 is its declining rotation curve. Taking into account the declining rotation curves of the M 63 and three nearby massive galaxies NGC 2683, NGC 2903, NGC 3521, we recognize their low mean orbital mass-to-K-band luminosity ratio, (4.8$\pm$1.1) $M_{\odot}/L_{\odot}$, that is only $\sim$1/6 of the corresponding ratio for the Milky Way and M 31.


title: Ferroelectric gating of the PL in MoSe2

abstract: We demonstrate a 2D ferroelectric heterostructure with monolayer MoSe$_2$ and CuInP$_2$S$_6$ (CIPS). In the heterostructure, the electric polarization of CIPS results in c electronic modulation in monolayer MoSe$_2$.


title: Lagrangian heat transport in turbulent three-dimensional convection

abstract: Spatial regions that do not mix effectively with their surroundings and thus contribute less to the heat transport in fully turbulent three-dimensional Rayleigh-B\'{e}nard flows are identified by Lagrangian trajectories that stay together for a longer time. These trajectories probe Lagrangian coherent sets (CS) which we investigate here in direct numerical simulations in convection cells with square cross section of aspect ratio $\Gamma = 16$, Rayleigh number $Ra = 10^{5}$, and Prandtl numbers $Pr = 0.1, 0.7$ and $7$. The analysis is based on $N=524,288$ Lagrangian tracer particles which are advected in the time-dependent flow. Clusters of trajectories are identified by a graph Laplacian with a diffusion kernel, which quantifies the connectivity of trajectory segments, and a subsequent sparse eigenbasis approximation (SEBA) for cluster detection. The combination of graph Laplacian and SEBA leads to a significantly improved cluster identification that is compared with the large-scale patterns in the Eulerian frame of reference. We show that the detected CS contribute by a third less to the global turbulent heat transport for all investigated $Pr$ compared to the trajectories in the spatial complement. This is realized by monitoring Nusselt numbers along the tracer trajectory ensembles, a dimensionless local measure of heat transfer.


title: CircuitBot: Learning to Survive with Robotic Circuit Drawing

abstract: Robots with the ability to actively acquire power from surroundings will be greatly beneficial for long-term autonomy, and to survive in dynamic, uncertain environments. In this work, a scenario is presented where a robot has limited energy, and the only way to survive is to access the energy from a power source. With no cables or wires available, the robot learns to construct an electrical path and avoid potential obstacles during the connection. We present this robot, capable of drawing connected circuit patterns with graphene-based conductive ink. A state-of-the-art Mix-Variable Bayesian Optimization is adopted to optimize the placement of conductive shapes to maximize the power this robot receives. Our results show that, within a small number of trials, the robot learns to build parallel circuits to maximize the voltage received and avoid obstacles which steal energy from the robot.


title: AIM 2020 Challenge on Rendering Realistic Bokeh

abstract: This paper reviews the second AIM realistic bokeh effect rendering challenge and provides the description of the proposed solutions and results. The participating teams were solving a real-world bokeh simulation problem, where the goal was to learn a realistic shallow focus technique using a large-scale EBB! bokeh dataset consisting of 5K shallow / wide depth-of-field image pairs captured using the Canon 7D DSLR camera. The participants had to render bokeh effect based on only one single frame without any additional data from other cameras or sensors. The target metric used in this challenge combined the runtime and the perceptual quality of the solutions measured in the user study. To ensure the efficiency of the submitted models, we measured their runtime on standard desktop CPUs as well as were running the models on smartphone GPUs. The proposed solutions significantly improved the baseline results, defining the state-of-the-art for practical bokeh effect rendering problem.


title: Quantum Communication for Military Applications

abstract: Communication is vital in everyday life and critical for current and future military operations. However, conventional communication as we know it also has its limitations. Quantum communication allows some of these challenges to be overcome and, thereby, new application areas open up, also in the military domain. In this work quantum communication for military purposes is considered. Different applications are presented and the state-of-the-art of the technology is given. Also, quantum communication use cases specific for military applications are described.


title: The properties of dwarf spheroidal galaxies in the Cen A group: Stellar populations, internal dynamics, and a heart-shaped Halpha ring

abstract: Dwarf spheroidal galaxies (dSphs) have been extensively investigated in the Local Group, but their low luminosity and surface brightness make similar work in more distant galaxy groups challenging. Modern instrumentation unlocks the possibility of scrutinizing these faint systems in other environments, expanding the parameter space of group properties. We use MUSE spectroscopy to study the properties of 14 known or suspected dSph satellites of Cen A. Twelve targets are confirmed to be group members based on their radial velocities. Two targets are background galaxies at 50 Mpc: KK 198 is a face-on spiral galaxy, and dw1315-45 is an ultra-diffuse galaxy with an effective radius of 2300 pc. The 12 confirmed dSph members of the Cen A group have old and metal-poor stellar populations and follow the stellar metallicity-luminosity relation defined by the dwarf galaxies in the Local Group. In the three brightest dwarf galaxies (KK 197, KKs 55, and KKs 58), we identify globular clusters, as well as a planetary nebula in KK 197, although its association with this galaxy and/or the extended halo of Cen A is uncertain. Using four discrete tracers, we measure the velocity dispersion and dynamical mass of KK 197. This dSph appears dark matter dominated and lies on the radial acceleration relation of star-forming galaxies within the uncertainties. It also is consistent with predictions stemming from modified Newtonian dynamics (MOND). Surprisingly, in the dwarf KK 203 we find an extended Halpha ring. Careful examination of Hubble Space Telescope photometry reveals a very low level of star formation at ages between 30-300 Myr. The Halpha emission is most likely linked to a 40 Myr old supernova remnant, although other possibilities for its origin cannot be entirely ruled out.


title: Weak Galerkin Method for Electrical Impedance Tomography

abstract: In this work, we propose and analyse a weak Galerkin method for the electrical impedance tomography based on a bounded variation regularization. We use the complete electrode model as the forward system that is approximated by a weak Galerkin method with lowest order. The error estimates are studied for the forward problem, which are used to establish the convergence of this weak Galerkin algorithm for the inverse problem. Numerical examples are presented to verify the effectiveness and efficiency of the weak Galerkin algorithm for the electrical impedance tomography.


title: Three-body structure of $^{19}$B: Finite-range effects in two-neutron halo nuclei

abstract: The structure and $B(E1)$ transition strength of $^{19}$B are investigated in a $^{17}\text{B}+n+n$ model, triggered by a recent experiment showing that $^{19}$B exhibits a well pronounced two-neutron halo structure. Preliminary analysis of the experimental data was performed by employing contact $n$-$n$ interactions, which are known to underestimate the $s$-wave content in other halo nuclei such as $^{11}$Li. In the present work, the three-body hyperspherical formalism with finite-range two-body interactions is used to describe $^{19}$B. In particular, two different finite-range $n$-$n$ interactions will be used, as well as a simple central Gaussian potential whose range is progressively reduced. The purpose is to determine the main properties of the nucleus and investigate how they change when using contact-like $n$-$n$ potentials. Special attention is also paid to the dependence on the prescription used to account for three-body effects, i.e., a three-body force or a density-dependent $n$-$n$ potential. We have found that the three-body model plus finite-range potentials provide a description of $^{19}$B consistent with the experimental data. The results are essentially independent of the short-distance details of the two-body potentials, giving rise to an $(s_{1/2})^2$ content of about 55%, clearly larger than the initial estimates. Very little dependence has been found as well on the prescription used for the three-body effects. The total computed $B(E1)$ strength is compatible with the experimental result, although we slightly overestimate the data around the low-energy peak of the $dB(E1)/d\varepsilon$ distribution. Finally, we show that a reduction of the $n$-$n$ interaction range produces a significant reduction of the $s$-wave contribution, which then should be expected in calculations using contact interactions.


title: Optimal Policy Learning: From Theory to Practice

abstract: Following in the footsteps of the literature on empirical welfare maximization, this paper wants to contribute by stressing the policymaker perspective via a practical illustration of an optimal policy assignment problem. More specifically, by focusing on the class of threshold-based policies, we first set up the theoretical underpinnings of the policymaker selection problem, to then offer a practical solution to this problem via an empirical illustration using the popular LaLonde (1986) training program dataset. The paper proposes an implementation protocol for the optimal solution that is straightforward to apply and easy to program with standard statistical software.


title: AIM 2020 Challenge on Learned Image Signal Processing Pipeline

abstract: This paper reviews the second AIM learned ISP challenge and provides the description of the proposed solutions and results. The participating teams were solving a real-world RAW-to-RGB mapping problem, where to goal was to map the original low-quality RAW images captured by the Huawei P20 device to the same photos obtained with the Canon 5D DSLR camera. The considered task embraced a number of complex computer vision subtasks, such as image demosaicing, denoising, white balancing, color and contrast correction, demoireing, etc. The target metric used in this challenge combined fidelity scores (PSNR and SSIM) with solutions' perceptual results measured in a user study. The proposed solutions significantly improved the baseline results, defining the state-of-the-art for practical image signal processing pipeline modeling.


title: Rectangular diagrams of surfaces: the basic moves

abstract: In earlier papers we introduced a representation of isotopy classes of compact surfaces embedded in the three-sphere by so called rectangular diagrams. The formalism proved useful for comparing Legendrian knots. The aim of this paper is to prove a Reidemeister type theorem for rectangular diagrams of surfaces.


title: Lifting the curtain: The Seyfert galaxy Mrk 335 emerges from deep low-state in a sequence of rapid flare events

abstract: The narrow-line Seyfert 1 galaxy Mrk 335 was one of the X-ray brightest AGN, but it has systematically faded since 2007. Here, we report the discovery with Swift of a sequence of bright and rapid X-ray flare events that reveal the emergence of Mrk 335 from its ultra-deep multiyear low state. Results are based on our dedicated multiyear monitoring with Swift. Unlike other bright AGN, the optical-UV is generally not correlated with the X-rays in Mrk 335 on a timescale of days to months. This fact either implies the absence of a direct link between the two emission components; or else implies that the observed X-rays are significantly affected by (dust-free) absorption along our l.o.s. The UV and optical, however, are closely correlated at the 99.99 percent confidence level. The UV is leading the optical by delta t = 1.5+/-1.5 d. The Swift X-ray spectrum shows strong deviations from a single power law in all brightness states of the outbursts, indicating that significant absorption or reprocessing is taking place. Mrk 335 displays a softer-when-brighter variability pattern at intermediate X-ray levels, which has been seen in our Swift data since 2007 (based on a total of 590 observations). This pattern breaks down at the highest and lowest count rates. We interpret the 2020 brightening of Mrk 335 as a decrease in column density and covering factor of a partial-covering absorber along our line of sight in form of a clumpy accretion-disk wind that reveals an increasing portion of the intrinsic emission of Mrk 335 from the disk and/or corona region, while the optical emission-line regions receive a less variable spectral energy distribution. This then also explains why Mrk 335 was never seen to change its optical Seyfert type (not 'changing look') despite its factor 50 X-ray variability with Swift.


title: Tattoo tomography: Freehand 3D photoacoustic image reconstruction with an optical pattern

abstract: Purpose: Photoacoustic tomography (PAT) is a novel imaging technique that can spatially resolve both morphological and functional tissue properties, such as the vessel topology and tissue oxygenation. While this capacity makes PAT a promising modality for the diagnosis, treatment and follow-up of various diseases, a current drawback is the limited field-of-view (FoV) provided by the conventionally applied 2D probes. Methods: In this paper, we present a novel approach to 3D reconstruction of PAT data (Tattoo tomography) that does not require an external tracking system and can smoothly be integrated into clinical workflows. It is based on an optical pattern placed on the region of interest prior to image acquisition. This pattern is designed in a way that a tomographic image of it enables the recovery of the probe pose relative to the coordinate system of the pattern. This allows the transformation of a sequence of acquired PA images into one common global coordinate system and thus the consistent 3D reconstruction of PAT imaging data. Results: An initial feasibility study conducted with experimental phantom data and in vivo forearm data indicates that the Tattoo approach is well-suited for 3D reconstruction of PAT data with high accuracy and precision. Conclusion: In contrast to previous approaches to 3D ultrasound (US) or PAT reconstruction, the Tattoo approach neither requires complex external hardware nor training data acquired for a specific application. It could thus become a valuable tool for clinical freehand PAT.


title: Margins are Insufficient for Explaining Gradient Boosting

abstract: Boosting is one of the most successful ideas in machine learning, achieving great practical performance with little fine-tuning. The success of boosted classifiers is most often attributed to improvements in margins. The focus on margin explanations was pioneered in the seminal work by Schapire et al. (1998) and has culminated in the $k$'th margin generalization bound by Gao and Zhou (2013), which was recently proved to be near-tight for some data distributions (Gronlund et al. 2019). In this work, we first demonstrate that the $k$'th margin bound is inadequate in explaining the performance of state-of-the-art gradient boosters. We then explain the short comings of the $k$'th margin bound and prove a stronger and more refined margin-based generalization bound for boosted classifiers that indeed succeeds in explaining the performance of modern gradient boosters. Finally, we improve upon the recent generalization lower bound by Gr{\o}nlund et al. (2019).


title: Untangling Dense Knots by Learning Task-Relevant Keypoints

abstract: Untangling ropes, wires, and cables is a challenging task for robots due to the high-dimensional configuration space, visual homogeneity, self-occlusions, and complex dynamics. We consider dense (tight) knots that lack space between self-intersections and present an iterative approach that uses learned geometric structure in configurations. We instantiate this into an algorithm, HULK: Hierarchical Untangling from Learned Keypoints, which combines learning-based perception with a geometric planner into a policy that guides a bilateral robot to untangle knots. To evaluate the policy, we perform experiments both in a novel simulation environment modelling cables with varied knot types and textures and in a physical system using the da Vinci surgical robot. We find that HULK is able to untangle cables with dense figure-eight and overhand knots and generalize to varied textures and appearances. We compare two variants of HULK to three baselines and observe that HULK achieves 43.3% higher success rates on a physical system compared to the next best baseline. HULK successfully untangles a cable from a dense initial configuration containing up to two overhand and figure-eight knots in 97.9% of 378 simulation experiments with an average of 12.1 actions per trial. In physical experiments, HULK achieves 61.7% untangling success, averaging 8.48 actions per trial. Supplementary material, code, and videos can be found at https://tinyurl.com/y3a88ycu.


title: Certifying zeros of polynomial systems using interval arithmetic

abstract: We establish interval arithmetic as a practical tool for certification in numerical algebraic geometry. Our software HomotopyContinuation.jl now has a built-in function certify, which proves the correctness of an isolated nonsingular solution to a square system of polynomial equations. The implementation rests on Krawczyk's method. We demonstrate that it dramatically outperforms earlier approaches to certification. We see this contribution as powerful new tool in numerical algebraic geometry, that can make certification the default and not just an option.


title: MMD-Regularized Unbalanced Optimal Transport

abstract: We study the unbalanced optimal transport (UOT) problem, where the marginal constraints are enforced using Maximum Mean Discrepancy (MMD) regularization. Our work is motivated by the observation that the literature on UOT is focused on regularization based on $\phi$-divergence (e.g., KL divergence). Despite the popularity of MMD, its role as a regularizer in the context of UOT seems less understood. We begin by deriving a specific dual of MMD-regularized UOT (MMD-UOT), which helps us prove several useful properties. One interesting outcome of this duality result is that MMD-UOT induces novel metrics, which not only lift the ground metric like the Wasserstein but are also sample-wise efficient to estimate like the MMD. Further, for real-world applications involving non-discrete measures, we present an estimator for the transport plan that is supported only on the given ($m$) samples. Under certain conditions, we prove that the estimation error with this finitely-supported transport plan is also $\mathcal{O}(1/\sqrt{m})$. As far as we know, such error bounds that are free from the curse of dimensionality are not known for $\phi$-divergence regularized UOT. Finally, we discuss how the proposed estimator can be computed efficiently using accelerated gradient descent. Our experiments show that MMD-UOT consistently outperforms popular baselines, including KL-regularized UOT and MMD, in diverse machine learning applications.


title: Input Bias in Rectified Gradients and Modified Saliency Maps

abstract: Interpretation and improvement of deep neural networks relies on better understanding of their underlying mechanisms. In particular, gradients of classes or concepts with respect to the input features (e.g., pixels in images) are often used as importance scores or estimators, which are visualized in saliency maps. Thus, a family of saliency methods provide an intuitive way to identify input features with substantial influences on classifications or latent concepts. Several modifications to conventional saliency maps, such as Rectified Gradients and Layer-wise Relevance Propagation (LRP), have been introduced to allegedly denoise and improve interpretability. While visually coherent in certain cases, Rectified Gradients and other modified saliency maps introduce a strong input bias (e.g., brightness in the RGB space) because of inappropriate uses of the input features. We demonstrate that dark areas of an input image are not highlighted by a saliency map using Rectified Gradients, even if it is relevant for the class or concept. Even in the scaled images, the input bias exists around an artificial point in color spectrum. Our modification, which simply eliminates multiplication with input features, removes this bias. This showcases how a visual criteria may not align with true explainability of deep learning models.


title: Joint Super-Resolution and Rectification for Solar Cell Inspection

abstract: Visual inspection of solar modules is an important monitoring facility in photovoltaic power plants. Since a single measurement of fast CMOS sensors is limited in spatial resolution and often not sufficient to reliably detect small defects, we apply multi-frame super-resolution (MFSR) to a sequence of low resolution measurements. In addition, the rectification and removal of lens distortion simplifies subsequent analysis. Therefore, we propose to fuse this pre-processing with standard MFSR algorithms. This is advantageous, because we omit a separate processing step, the motion estimation becomes more stable and the spacing of high-resolution (HR) pixels on the rectified module image becomes uniform w. r. t. the module plane, regardless of perspective distortion. We present a comprehensive user study showing that MFSR is beneficial for defect recognition by human experts and that the proposed method performs better than the state of the art. Furthermore, we apply automated crack segmentation and show that the proposed method performs 3x better than bicubic upsampling and 2x better than the state of the art for automated inspection.


title: Topological insulators and geometry of vector bundles

abstract: For a long time, band theory of solids has focused on the energy spectrum, or Hamiltonian eigenvalues. Recently, it was realized that the collection of eigenvectors also contains important physical information. The local geometry of eigenspaces determines the electric polarization, while their global twisting gives rise to the metallic surface states in topological insulators. These phenomena are central topics of the present notes. The shape of eigenspaces is also responsible for many intriguing physical analogies, which have their roots in the theory of vector bundles. We give an informal introduction to the geometry and topology of vector bundles and describe various physical models from this mathematical perspective.


title: Deep Multimodal Fusion by Channel Exchanging

abstract: Deep multimodal fusion by using multiple sources of data for classification or regression has exhibited a clear advantage over the unimodal counterpart on various applications. Yet, current methods including aggregation-based and alignment-based fusion are still inadequate in balancing the trade-off between inter-modal fusion and intra-modal processing, incurring a bottleneck of performance improvement. To this end, this paper proposes Channel-Exchanging-Network (CEN), a parameter-free multimodal fusion framework that dynamically exchanges channels between sub-networks of different modalities. Specifically, the channel exchanging process is self-guided by individual channel importance that is measured by the magnitude of Batch-Normalization (BN) scaling factor during training. The validity of such exchanging process is also guaranteed by sharing convolutional filters yet keeping separate BN layers across modalities, which, as an add-on benefit, allows our multimodal architecture to be almost as compact as a unimodal network. Extensive experiments on semantic segmentation via RGB-D data and image translation through multi-domain input verify the effectiveness of our CEN compared to current state-of-the-art methods. Detailed ablation studies have also been carried out, which provably affirm the advantage of each component we propose. Our code is available at https://github.com/yikaiw/CEN.


title: Interacting Particle Systems and Jacobi Style Identities

abstract: We consider the family of nearest neighbour interacting particle systems on $\mathbb{Z}$ allowing $0$, $1$ or $2$ particles at a site. We parametrize a wide subfamily of processes exhibiting product blocking measure and show how this family can be "stood up" in the sense of Bal\'azs and Bowen (2018). By comparing measures we prove new three variable Jacobi style identities, related to counting certain generalised Frobenius partitions with a $2$-repetition condition. By specialising to specific processes we produce two variable identities that are shown to relate to Jacobi triple product and various other identities of combinatorial significance. The family of $k$-exclusion processes for arbitrary $k$ are also considered and are shown to give similar Jacobi style identities relating to counting generalised Frobenius partitions with a $k$-repetition condition.


title: To What Degree Can Language Borders Be Blurred In BERT-based Multilingual Spoken Language Understanding?

abstract: This paper addresses the question as to what degree a BERT-based multilingual Spoken Language Understanding (SLU) model can transfer knowledge across languages. Through experiments we will show that, although it works substantially well even on distant language groups, there is still a gap to the ideal multilingual performance. In addition, we propose a novel BERT-based adversarial model architecture to learn language-shared and language-specific representations for multilingual SLU. Our experimental results prove that the proposed model is capable of narrowing the gap to the ideal multilingual performance.


title: Topological contextuality and anyonic statistics of photonic-encoded parafermions

abstract: Quasiparticle poisoning, expected to arise during the measurement of Majorana zero mode state, poses a fundamental problem towards the realization of Majorana-based quantum computation. Parafermions, a natural generalization of Majorana fermions, can encode topological qudits immune to quasiparticle poisoning. While parafermions are expected to emerge in superconducting fractional quantum Hall systems, they are not yet attainable with current technology. To bypass this problem, we employ a photonic quantum simulator to experimentally demonstrate the key components of parafermion-based universal quantum computation. Our contributions in this article are twofold. First, by manipulating the photonic states, we realize Clifford operator Berry phases that correspond to braiding statistics of parafermions. Second, we investigate the quantum contextuality in a topological system for the first time by demonstrating the contextuality of parafermion encoded qudit states. Importantly, we find that the topologically-encoded contextuality opens the way to magic state distillation, while both the contextuality and the braiding-induced Clifford gates are resilient against local noise. By introducing contextuality, our photonic quantum simulation provides the first step towards a physically robust methodology for realizing topological quantum computation.


title: Neural Latent Dependency Model for Sequence Labeling

abstract: Sequence labeling is a fundamental problem in machine learning, natural language processing and many other fields. A classic approach to sequence labeling is linear chain conditional random fields (CRFs). When combined with neural network encoders, they achieve very good performance in many sequence labeling tasks. One limitation of linear chain CRFs is their inability to model long-range dependencies between labels. High order CRFs extend linear chain CRFs by modeling dependencies no longer than their order, but the computational complexity grows exponentially in the order. In this paper, we propose the Neural Latent Dependency Model (NLDM) that models dependencies of arbitrary length between labels with a latent tree structure. We develop an end-to-end training algorithm and a polynomial-time inference algorithm of our model. We evaluate our model on both synthetic and real datasets and show that our model outperforms strong baselines.


title: Residual Pose: A Decoupled Approach for Depth-based 3D Human Pose Estimation

abstract: We propose to leverage recent advances in reliable 2D pose estimation with Convolutional Neural Networks (CNN) to estimate the 3D pose of people from depth images in multi-person Human-Robot Interaction (HRI) scenarios. Our method is based on the observation that using the depth information to obtain 3D lifted points from 2D body landmark detections provides a rough estimate of the true 3D human pose, thus requiring only a refinement step. In that line our contributions are threefold. (i) we propose to perform 3D pose estimation from depth images by decoupling 2D pose estimation and 3D pose refinement; (ii) we propose a deep-learning approach that regresses the residual pose between the lifted 3D pose and the true 3D pose; (iii) we show that despite its simplicity, our approach achieves very competitive results both in accuracy and speed on two public datasets and is therefore appealing for multi-person HRI compared to recent state-of-the-art methods.


title: Saturated fusion systems on $p$-groups of maximal class

abstract: For a prime number $p$, a finite $p$-group of order $p^n$ has maximal class if it has nilpotency class $n-1$. Here we examine saturated fusion systems on maximal class $p$-groups and, in particular, we describe all the reduFor a prime number $p$, a finite $p$-group of order $p^n$ has maximal class if and only if it has nilpotency class $n-1$. Here we examine saturated fusion systems $\mathcal F$ on maximal class $p$-groups $S$ of order at least $p^4$. The Alperin-Goldschmidt Theorem for saturated fusion systems yields that $\mathcal F$ is entirely determined by the $\mathcal F$-automorphisms of its $\mathcal F$-essential subgroups and of $S$ itself. If an $\mathcal F$-essential subgroup either has order $p^2$ or is non-abelian of order $p^3$, then it is called an $\mathcal F$-pearl. The facilitating and technical theorem in this work shows that an $\mathcal F$-essential subgroup is either an $\mathcal F$-pearl, or one of two explicitly determined maximal subgroups of $S$. This result is easy to prove if $S$ is a $2$-group and can be read from the work of D'\iaz, Ruiz, and Viruel together with that of Parker and Semeraro when $p=3$. The main contribution is for $p \ge 5$ as in this case there is no classification of the maximal class $p$-groups. The main Theorem describes all the reduced saturated fusion systems on a maximal class $p$-group of order at least $p^4$ and follows from two more extensive theorems. These two theorems describe all saturated fusion systems, not restricting to the reduced ones for example, on exceptional and non-exceptional maximal class $p$-groups respectively. As a corollary, we have the easy to remember result that states that, if $O_p(\mathcal F)=1$, then either $\mathcal F$ has $\mathcal F$-pearls or $S$ is isomorphic to a Sylow $p$-subgroup of $\mathrm G_2(p)$ with $p\ge 5$ and the fusion systems are explicitly described.


title: Frictional anisotropy of 3D-printed fault surfaces

abstract: The surface morphology of faults controls the spatial anisotropy of their frictional properties, and hence their mechanical stability. Such anisotropy is only rarely studied in seismology models of fault slip, although it might be paramount to understand the seismic rupture in particular areas, notably where slip occurs in a direction different from that of the main striations of the fault. To quantify how the anisotropy of fault surfaces affects the friction coefficient during sliding, we sheared synthetic fault planes made of plaster of Paris. These fault planes were produced by 3D-printing real striated fault surfaces whose 3D roughness was measured in the field at spatial scales from millimeters to meters. Here, we show how the 3D-printing technology can help for the study of frictional slip. Results show that fault anisotropy controls the coefficient of static friction, with the friction coefficient along the striations being three to four times smaller than the friction coefficient along the direction perpendicular to the striations. This is true both at the meter and the millimeter scales. The anisotropy in friction and the average coefficient of static friction are also shown to decrease with the normal stress applied to the faults, as a result of the increased surface wear under increased loading.


title: A step towards neural genome assembly

abstract: De novo genome assembly focuses on finding connections between a vast amount of short sequences in order to reconstruct the original genome. The central problem of genome assembly could be described as finding a Hamiltonian path through a large directed graph with a constraint that an unknown number of nodes and edges should be avoided. However, due to local structures in the graph and biological features, the problem can be reduced to graph simplification, which includes removal of redundant information. Motivated by recent advancements in graph representation learning and neural execution of algorithms, in this work we train the MPNN model with max-aggregator to execute several algorithms for graph simplification. We show that the algorithms were learned successfully and can be scaled to graphs of sizes up to 20 times larger than the ones used in training. We also test on graphs obtained from real-world genomic data---that of a lambda phage and E. coli.


title: Point Cloud Registration Based on Consistency Evaluation of Rigid Transformation in Parameter Space

abstract: We can use a method called registration to integrate some point clouds that represent the shape of the real world. In this paper, we propose highly accurate and stable registration method. Our method detects keypoints from point clouds and generates triplets using multiple descriptors. Furthermore, our method evaluates the consistency of rigid transformation parameters of each triplet with histograms and obtains the rigid transformation between the point clouds. In the experiment of this paper, our method had minimul errors and no major failures. As a result, we obtained sufficiently accurate and stable registration results compared to the comparative methods.