title: Travelling waves, blow-up and extinction in the Fisher-Stefan model

abstract: While there is a long history of employing moving boundary problems in physics, in particular via Stefan problems for heat conduction accompanied by a change of phase, more recently such approaches have been adapted to study biological invasion. For example, when a logistic growth term is added to the governing partial differential equation in a Stefan problem, one arrives at the Fisher-Stefan model, a generalisation of the well-known Fisher-KPP model, characterised by a leakage coefficient $\kappa$ which relates the speed of the moving boundary to the flux of population there. This Fisher-Stefan model overcomes one of the well-known limitations of the Fisher-KPP model, since time-dependent solutions of the Fisher-Stefan model involve a well-defined front with compact support which is more natural in terms of mathematical modelling. Almost all of the existing analysis of the standard Fisher-Stefan model involves setting $\kappa > 0$, which can lead to either invading travelling wave solutions or complete extinction of the population. Here, we demonstrate how setting $\kappa < 0$ leads to retreating travelling waves and an interesting transition to finite-time blow-up. For certain initial conditions, population extinction is also observed. Our approach involves studying time-dependent solutions of the governing equations, phase plane and asymptotic analysis, leading to new insight into the possibilities of travelling waves, blow-up and extinction for this moving boundary problem. Matlab software used to generate the results in this work are available on Github.


title: PET Image Reconstruction with Multiple Kernels and Multiple Kernel Space Regularizers

abstract: Kernelized maximum-likelihood (ML) expectation maximization (EM) methods have recently gained prominence in PET image reconstruction, outperforming many previous state-of-the-art methods. But they are not immune to the problems of non-kernelized MLEM methods in potentially large reconstruction error and high sensitivity to iteration number. This paper demonstrates these problems by theoretical reasoning and experiment results, and provides a novel solution to solve these problems. The solution is a regularized kernelized MLEM with multiple kernel matrices and multiple kernel space regularizers that can be tailored for different applications. To reduce the reconstruction error and the sensitivity to iteration number, we present a general class of multi-kernel matrices and two regularizers consisting of kernel image dictionary and kernel image Laplacian quatradic, and use them to derive the single-kernel regularized EM and multi-kernel regularized EM algorithms for PET image reconstruction. These new algorithms are derived using the technical tools of multi-kernel combination in machine learning, image dictionary learning in sparse coding, and graph Laplcian quadratic in graph signal processing. Extensive tests and comparisons on the simulated and in vivo data are presented to validate and evaluate the new algorithms, and demonstrate their superior performance and advantages over the kernelized MLEM and other conventional methods.


title: Emergent electromagnetic induction beyond room temperature

abstract: Emergent electromagnetic induction based on electrodynamics of noncollinear spin states may enable dramatic miniaturization of inductor elements widely used in electric circuits, yet many issues are to be solved toward application. One such problem is how to increase working temperature. We report the large emergent electromagnetic induction achieved around and above room temperature based on short-period ($\leq$ 3 nm) spin-spiral states of a metallic helimagnet ${\rm YMn}_{6}{\rm Sn}_{6}$. The observed inductance value $L$ and its sign are observed to vary to a large extent, depending not only on the spin helix structure controlled by temperature and magnetic field but also on the current density. The present finding on room-temperature operation and possible sign control of $L$ may provide a new step toward realizing microscale quantum inductors.


title: Navigating the asteroid field: New evaporation constraints for primordial black holes as dark matter

abstract: Primordial black holes (PBHs) in the asteroid-mass range $(10^{-17}$--$10^{-12})~M_{\odot}$ almost entirely escape constraints as dark matter candidates. In the early universe, however, the Schwarzschild metric is no longer applicable and we must carefully consider PBH metrics with a proper cosmological embedding. In particular, the Thakurta solution stands out as perhaps the most adequate such solution. Notably, the Thakurta metric contains a time-dependent apparent horizon, proportional to the cosmological scale-factor. We show that this implies the PBHs are hotter than in the standard Schwarzschild case, and so evaporate significantly faster via Hawking radiation. By matter-radiation equality, PBHs up to masses of $\sim 10^{-12}~M_{\odot}$ have totally evaporated, and so cannot be a viable dark matter candidate.


title: C*-dynamical invariants and Toeplitz algebras of graphs

abstract: In recent joint work of the authors with Laca, we precisely formulated the notion of partition function in the context of C*-dynamical systems. Here, we compute the partition functions of C*-dynamical systems arising from Toeplitz algebras of graphs, and we explicitly recover graph-theoretic information in terms of C*-dynamical invariants. In addition, we compute the type for KMS states on C*-algebras of finite (reducible) graphs and prove that the extremal KMS states at critical inverse temperatures give rise to type III$_\lambda$ factors. Our starting point is an independent result parameterising the partition functions of a certain class of C*-dynamical systems arising from groupoid C*-algebras in terms of $\beta$-summable orbits.


title: Stochastic Cauchy Initial Value Formulation Of The Heat Equation For Random Field Initial Data: Smoothing, Harnack-Type Bounds And p-Moments

abstract: The following stochastic Cauchy initial-value problem is studied for the parabolic heat equation on a domain $ \mathbf{Q}\subset{\mathbf{R}}^{n}$ with random field initial data. \begin{align} &{\square}\widehat{u(x,t)} \equiv \bigg(\frac{\partial}{\partial t}-{\Delta}_{x}\bigg)\widehat{u(x,t)}=0,~x\in\mathbf{Q},t> 0 \end{align} \begin{align} \widehat{u(x,0)}=\phi(x)+\mathscr{J}(x),~x\in\mathbf{Q},t=0 \end{align} where $\phi(x)\in C^{\infty}({\mathbf{Q}})$, and $\mathscr{J}(x)$ is a classical Gaussian random scalar field with expectation $\mathbb{E}[\![\mathscr{J}(x)]\!]=0 $ and with a regulated covariance $\mathbb{E}[\![ \mathscr{J}(x)\otimes\mathscr{J}(y)]\!]=\zeta J(x,y;\ell)$, correlation length $\ell$ and $\mathbb{E}[\![ \mathscr{J}(x)\otimes\mathscr{J}(x)]\!]=\zeta<\infty$. The randomly perturbed solution $\widehat{u(x,t)}$ is a stochastic convolution integral. This leads to stochastic extensions and versions of some classical results for the heat equation; in particular, a Li-Yau differential Harnack inequality \begin{align} \mathbb{E}\left[\!\!\left[\frac{|\nabla\widehat{u(x,t)}|^{2}}{|\widehat{u(x,t)}|^{2}} \right]\!\!\right]-\mathbb{E}\left[\!\!\left[\frac{\tfrac{\partial}{\partial t}\widehat{u(x,t)}}{\widehat{u(x,t)}} \right]\!\!\right]\le \frac{1}{2}n\frac{1}{t} \end{align} and a parabolic Harnack inequality. Decay estimates and bounds for the volatility $\mathbb{E}[\![|\widehat{u(x,t)}|^{2}]\!]$ and p-moments $\mathbb{E}[\![|\widehat{u(x,t)}|^{p}]\!] $ are derived. Since $\lim_{t\uparrow \infty}\mathbb{E}[\![|\widehat{u(x,t)}|^{p}]\!]=0 $, the Cauchy evolution of the randomly perturbed solution is stable since the heat equation smooths out or dissipates volatility induced by initial data randomness as $t\rightarrow\infty$.


title: Observation of an Unusual Colossal Anisotropic Magnetoresistance Effect in an Antiferromagnetic Semiconductor

abstract: Searching for novel antiferromagnetic materials with large magnetotransport response is highly demanded for constructing future spintronic devices with high stability, fast switching speed, and high density. Here we report a colossal anisotropic magnetoresistance effect in an antiferromagnetic binary compound with layered structure rare-earth dichalcogenide EuTe2. The AMR reaches 40000%, which is 4 orders of magnitude larger than that in conventional antiferromagnetic alloys. Combined magnetization, resistivity, and theoretical analysis reveal that the colossal AMR effect is attributed to a novel mechanism of vector-field tunable band structure, rather than the conventional spin-orbit coupling mechanism. Moreover, it is revealed that the strong hybridization between orbitals of Eu-layer with localized spin and Te-layer with itinerant carriers is extremely important for the large AMR effect. Our results suggest a new direction towards exploring AFM materials with prominent magnetotransport properties, which creates an unprecedented opportunity for AFM spintronics applications.


title: Effects of measurement dependence on 1-parameter family of Bell tests

abstract: Most quantum information tasks based on Bell tests relie on the assumption of measurement independence. However, it is difficult to ensure that the assumption of measurement independence is always met in experimental operations, so it is crucial to explore the effects of relaxing this assumption on Bell tests. In this paper, we discuss the effects of relaxing the assumption of measurement independence on 1-parameter family of Bell (1-PFB) tests. For both general and factorizable input distributions, we establish the relationship among measurement dependence, guessing probability, and the maximum value of 1-PFB correlation function that Eve can fake. The deterministic strategy when Eve fakes the maximum value is also given. We compare the unknown information rate of Chain inequality and 1-PFB inequality, and find the range of the parameter in which it is more difficult for Eve to fake the maximum quantum violation in 1-PFB inequality than in Chain inequality.


title: Diagrammatic Formalism for Complex Systems: More than One Way to Eventize a Railcar System

abstract: This paper is in the intersection of software engineering and system engineering, two intimately intertwined disciplines. A dominating theme in this paper is the integral conceptualization of systems at large, as well as an underlying concern with software systems. In the software development life cycle, challenges still exist in translating requirements into a design artifact and then into an implementation (e.g., coding), then validating the results. From our perspective, software engineering requires an integrating paradigm toward a unified modeling orientation. Many methodologies, languages, and tools exist for facilitating system development processes. This paper is a venture into project development. To focus the materials, we concentrate on Harel s novel (and classic) development environment, which integrates a scenario-based engineering object orientation and statecharts through developing a railcar system. The railcar system is used as a detailed sample of translating requirements into a design artifact and then into an implementation, then validating the result. The project is re-cased as a single integrated modeling endeavor to be contrasted with the scenario and statecharts development. The result of this scheme is an enriched understanding through experimenting with and contrasting various development methods of software projects.


title: MT* : Multi-Robot Path Planning for Temporal Logic Specifications

abstract: We address the path planning problem for a team of robots satisfying a complex high-level mission specification given in the form of an Linear Temporal Logic (LTL) formula. The state-of-the-art approach to this problem employs the automata-theoretic model checking technique to solve this problem. This approach involves computation of a product graph of the Buchi automaton generated from the LTL specification and a joint transition system which captures the collective motion of the robots and then computation of the shortest path using Dijkstra's shortest path algorithm. We propose MT*, an algorithm that reduces the computation burden for generating such plans for multi-robot systems significantly. Our approach generates a reduced version of the product graph without computing the complete joint transition system, which is computationally expensive. It then divides the complete mission specification among the participating robots and generates the trajectories for the individual robots independently. Our approach demonstrates substantial speedup in terms of computation time over the state-of-the-art approach, and unlike the state of the art approach, scales well with both the number of robots and the size of the workspace


title: Phases fluctuations, self-similarity breaking and anomalous scalings in driven nonequilibrium critical phenomena

abstract: We study in detail the dynamic scaling of the three-dimensional (3D) Ising model driven through its critical point on finite-size lattices and show that a series of new critical exponents are needed to account for the anomalous scalings originating from breaking of self-similarity of the so-called phases fluctuations. Our results demonstrate that new exponents are generally required for scaling in the whole driven process once the lattice size or an externally applied field are taken into account. These open a new door in critical phenomena and suggest that much is yet to be explored in driven nonequilibrium critical phenomena.


title: Toward Native Artificial Intelligence in 6G Networks: System Design, Architectures, and Paradigms

abstract: The mobile communication system has transformed to be the fundamental infrastructure to support digital demands from all industry sectors, and 6G is envisioned to go far beyond the communication-only purpose. There is coming to a consensus that 6G will treat Artificial Intelligence (AI) as the cornerstone and has a potential capability to provide "intelligence inclusion", which implies to enable the access of AI services at anytime and anywhere by anyone. Apparently, the intelligent inclusion vision produces far-reaching influence on the corresponding network architecture design in 6G and deserves a clean-slate rethink. In this article, we propose an end-to-end system architecture design scope for 6G, and talk about the necessity to incorporate an independent data plane and a novel intelligent plane with particular emphasis on end-to-end AI workflow orchestration, management and operation. We also highlight the advantages to provision converged connectivity and computing services at the network function plane. Benefiting from these approaches, we believe that 6G will turn to an "everything as a service" (XaaS) platform with significantly enhanced business merits.


title: On accelerating a multilevel correction adaptive finite element method for Kohn-Sham equation

abstract: Based on the numerical method proposed in [G. Hu, X. Xie, F. Xu, J. Comput. Phys., 355 (2018), 436-449.] for Kohn-Sham equation, further improvement on the efficiency is obtained in this paper by i). designing a numerical method with the strategy of separately handling the nonlinear Hartree potential and exchange-correlation potential, and ii).parallelizing the algorithm in an eigenpairwise approach. The feasibility of two approaches are analyzed in detail, and the new algorithm is described completely. Compared with previous results, a significant improvement of numerical efficiency can be observed from plenty of numerical experiments, which make the new method more suitable for the practical problems.


title: Enabling Software Resilience in GPGPU Applications via Partial Thread Protection

abstract: Graphics Processing Units (GPUs) are widely used by various applications in a broad variety of fields to accelerate their computation but remain susceptible to transient hardware faults (soft errors) that can easily compromise application output. By taking advantage of a general purpose GPU application hierarchical organization in threads, warps, and cooperative thread arrays, we propose a methodology that identifies the resilience of threads and aims to map threads with the same resilience characteristics to the same warp. This allows engaging partial replication mechanisms for error detection/correction at the warp level. By exploring 12 benchmarks (17 kernels) from 4 benchmark suites, we illustrate that threads can be remapped into reliable or unreliable warps with only 1.63% introduced overhead (on average), and then enable selective protection via replication to those groups of threads that truly need it. Furthermore, we show that thread remapping to different warps does not sacrifice application performance. We show how this remapping facilitates warp replication for error detection and/or correction and achieves an average reduction of 20.61% and 27.15% execution cycles, respectively comparing to standard duplication/triplication.


title: Learning Accurate and Interpretable Decision Rule Sets from Neural Networks

abstract: This paper proposes a new paradigm for learning a set of independent logical rules in disjunctive normal form as an interpretable model for classification. We consider the problem of learning an interpretable decision rule set as training a neural network in a specific, yet very simple two-layer architecture. Each neuron in the first layer directly maps to an interpretable if-then rule after training, and the output neuron in the second layer directly maps to a disjunction of the first-layer rules to form the decision rule set. Our representation of neurons in this first rules layer enables us to encode both the positive and the negative association of features in a decision rule. State-of-the-art neural net training approaches can be leveraged for learning highly accurate classification models. Moreover, we propose a sparsity-based regularization approach to balance between classification accuracy and the simplicity of the derived rules. Our experimental results show that our method can generate more accurate decision rule sets than other state-of-the-art rule-learning algorithms with better accuracy-simplicity trade-offs. Further, when compared with uninterpretable black-box machine learning approaches such as random forests and full-precision deep neural networks, our approach can easily find interpretable decision rule sets that have comparable predictive performance.


title: On the Convergence and Optimality of Policy Gradient for Markov Coherent Risk

abstract: In order to model risk aversion in reinforcement learning, an emerging line of research adapts familiar algorithms to optimize coherent risk functionals, a class that includes conditional value-at-risk (CVaR). Because optimizing the coherent risk is difficult in Markov decision processes, recent work tends to focus on the Markov coherent risk (MCR), a time-consistent surrogate. While, policy gradient (PG) updates have been derived for this objective, it remains unclear (i) whether PG finds a global optimum for MCR; (ii) how to estimate the gradient in a tractable manner. In this paper, we demonstrate that, in general, MCR objectives (unlike the expected return) are not gradient dominated and that stationary points are not, in general, guaranteed to be globally optimal. Moreover, we present a tight upper bound on the suboptimality of the learned policy, characterizing its dependence on the nonlinearity of the objective and the degree of risk aversion. Addressing (ii), we propose a practical implementation of PG that uses state distribution reweighting to overcome previous limitations. Through experiments, we demonstrate that when the optimality gap is small, PG can learn risk-sensitive policies. However, we find that instances with large suboptimality gaps are abundant and easy to construct, outlining an important challenge for future research.


title: STEP: Stochastic Traversability Evaluation and Planning for Risk-Aware Off-road Navigation

abstract: Although ground robotic autonomy has gained widespread usage in structured and controlled environments, autonomy in unknown and off-road terrain remains a difficult problem. Extreme, off-road, and unstructured environments such as undeveloped wilderness, caves, and rubble pose unique and challenging problems for autonomous navigation. To tackle these problems we propose an approach for assessing traversability and planning a safe, feasible, and fast trajectory in real-time. Our approach, which we name STEP (Stochastic Traversability Evaluation and Planning), relies on: 1) rapid uncertainty-aware mapping and traversability evaluation, 2) tail risk assessment using the Conditional Value-at-Risk (CVaR), and 3) efficient risk and constraint-aware kinodynamic motion planning using sequential quadratic programming-based (SQP) model predictive control (MPC). We analyze our method in simulation and validate its efficacy on wheeled and legged robotic platforms exploring extreme terrains including an abandoned subway and an underground lava tube.


title: SIRIUS Project. III. Star-by-star simulations of star cluster formation using a direct N-body integrator with stellar feedback

abstract: One of the computational challenges of cluster formation simulations is resolving individual stars and simulating massive clusters with masses of more than $10^4 M_{\odot}$ without gravitational softening. Combining direct $N$-body code with smoothed-particle hydrodynamics (SPH) code, we have developed a new code, \textsc{ASURA+BRIDGE}, in which we can integrate stellar particles without softening. We add a feedback model for \HII regions into this code, in which thermal and momentum feedback is given within the Str{\"o}mgren radius. We perform $N$-body/SPH simulations of star cluster formation. Without softening, a portion of massive stars are ejected from the forming clusters. As a result, the stellar feedback works outside the clusters. This enhances/suppresses the star formation in initially sub-virial/super-virial clouds. We find that the formed star clusters are denser than currently observed open clusters, but the mass--density relation is consistent with or even higher than that is estimated as an initial cluster density. We also find that some clusters have multiple peaks in their stellar age distribution as a consequence of their hierarchical formation.


title: MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels

abstract: Modern applications, such as social networking systems and e-commerce platforms are centered around using large-scale storage systems for storing and retrieving data. In the presence of concurrent accesses, these storage systems trade off isolation for performance. The weaker the isolation level, the more behaviors a storage system is allowed to exhibit and it is up to the developer to ensure that their application can tolerate those behaviors. However, these weak behaviors only occur rarely in practice, that too outside the control of the application, making it difficult for developers to test the robustness of their code against weak isolation levels. This paper presents MonkeyDB, a mock storage system for testing storage-backed applications. MonkeyDB supports a Key-Value interface as well as SQL queries under multiple isolation levels. It uses a logical specification of the isolation level to compute, on a read operation, the set of all possible return values. MonkeyDB then returns a value randomly from this set. We show that MonkeyDB provides good coverage of weak behaviors, which is complete in the limit. We test a variety of applications for assertions that fail only under weak isolation. MonkeyDB is able to break each of those assertions in a small number of attempts.


title: Measuring Presence in Augmented Reality Environments: Design and a First Test of a Questionnaire

abstract: Augmented Reality (AR) enriches a user's real environment by adding spatially aligned virtual objects (3D models, 2D textures, textual annotations, etc) by means of special display technologies. These are either worn on the body or placed in the working environment. From a technical point of view, AR faces three major challenges: (1) to generate a high quality rendering, (2) to precisely register (in position and orientation) the virtual objects (VOs) with the real environment, and (3) to do so in interactive real-time (Regenbrecht, Wagner, and Baratoff, 2002). The goal is to create the impression that the VOs are part of the real environment. Therefore, and similar to definitions of virtual reality (Steuer, 1992), it makes sense to define AR from a psychological point of view: Augmented Reality conveys the impression that VOs are present in the real environment. In order to evaluate how well this goal is reached, a psychological measurement of this type of presence is necessary. In the following, we will describe technological features of AR systems that make a special questionnaire version necessary, describe our approach to the questionnaire development, and the data collection strategy. Finally we will present first results of the application of the questionnaire in a recent study with 385 participants.


title: The Effects of the NBA COVID Bubble on the NBA Playoffs: A Case Study for Home-Court Advantage

abstract: The 2020 NBA playoffs were played inside of a bubble in Disney World because of the COVID-19 pandemic. This meant that there were no fans in attendance, games played on neutral courts and no traveling for teams, which in theory removes home-court advantage from the games. This setting has attracted much discussion as analysts and fans debated the possible effects it may have on the outcome of games. Home-court advantage has historically played an influential role in NBA playoff series outcomes. The 2020 playoff provided a unique opportunity to study the effects of the bubble and home-court advantage by comparing the 2020 season with the seasons in the past. While many factors contribute to the outcome of games, points scored is the deciding factor of who wins games, so scoring is the primary focus of this study. The specific measures of interest are team scoring totals and team shooting percentage on two-pointers, three-pointers, and free throws. Comparing these measures for home teams and away teams in 2020 vs. 2017-2019 shows that the 2020 playoffs favored away teams more than usual, particularly with two point shooting and total scoring.


title: Semantics-guided Skeletonization of Sweet Cherry Trees for Robotic Pruning

abstract: Dormant pruning for fresh market fruit trees is a relatively unexplored application of agricultural robotics for which few end-to-end systems exist. One of the biggest challenges in creating an autonomous pruning system is the need to reconstruct a model of a tree which is accurate and informative enough to be useful for deciding where to cut. One useful structure for modeling a tree is a skeleton: a 1D, lightweight representation of the geometry and the topology of a tree. This skeletonization problem is an important one within the field of computer graphics, and a number of algorithms have been specifically developed for the task of modeling trees. These skeletonization algorithms have largely addressed the problem as a geometric one. In agricultural contexts, however, the parts of the tree have distinct labels, such as the trunk, supporting branches, etc. This labeled structure is important for understanding where to prune. We introduce an algorithm which produces such a labeled skeleton, using the topological and geometric priors associated with these labels to improve our skeletons. We test our skeletonization algorithm on point clouds from 29 upright fruiting offshoot (UFO) trees and demonstrate a median accuracy of 70% with respect to a human-evaluated gold standard. We also make point cloud scans of 82 UFO trees open-source to other researchers. Our work represents a significant first step towards a robust tree modeling framework which can be used in an autonomous pruning system.


title: Causal Channels

abstract: We consider causal models with two observed variables and one latent variables, each variable being discrete, with the goal of characterizing the possible distributions on outcomes that can result from controlling one of the observed variables. We optimize linear functions over the space of all possible interventional distributions, which allows us find properties of the interventional distribution even when we cannot uniquely identify what it is. We show that, under certain mild assumptions about the correlation between controlled variable and the latent variable, the resulting interventional distribution must be close to the observed conditional distribution in a quantitative sense. Specifically, we show that if the observed variables are sufficiently highly correlated, and the latent variable can only take on a small number of distinct values, then the variables will remain causally related after passing to the interventional distribution. Another result, possibly of more general interest, is a bound on the distance between the interventional distribution and the observed conditional distribution in terms of the mutual information between the controlled variable and the latent variable, which shows that the controlled variable and the latent variable must be tightly correlated for the interventional distribution to differ significantly from the observed distribution. We believe that this type of result may make it possible to rigorously consider 'weak' experiments, where the causal variable is not entirely independent from the environment, but only approximately so. More generally, we suggest a connection between the theory of causality to polynomial optimization, which give useful bounds on the space of interventional distributions.


title: A Novel Application of Image-to-Image Translation: Chromosome Straightening Framework by Learning from a Single Image

abstract: In medical imaging, chromosome straightening plays a significant role in the pathological study of chromosomes and in the development of cytogenetic maps. Whereas different approaches exist for the straightening task, typically geometric algorithms are used whose outputs are characterized by jagged edges or fragments with discontinued banding patterns. To address the flaws in the geometric algorithms, we propose a novel framework based on image-to-image translation to learn a pertinent mapping dependence for synthesizing straightened chromosomes with uninterrupted banding patterns and preserved details. In addition, to avoid the pitfall of deficient input chromosomes, we construct an augmented dataset using only one single curved chromosome image for training models. Based on this framework, we apply two popular image-to-image translation architectures, U-shape networks and conditional generative adversarial networks, to assess its efficacy. Experiments on a dataset comprised of 642 real-world chromosomes demonstrate the superiority of our framework, as compared to the geometric method in straightening performance, by rendering realistic and continued chromosome details. Furthermore, our straightened results improve the chromosome classification by 0.98%-1.39% mean accuracy.


title: Rigid reflections of rank 3 Coxeter groups and reduced roots of rank 2 Kac--Moody algebras

abstract: In a recent paper by K.-H. Lee and K. Lee, rigid reflections are defined for any Coxeter group via non-self-intersecting curves on a Riemann surface with labeled curves. When the Coxeter group arises from an acyclic quiver, the rigid reflections are related to the rigid representations of the quiver. For a family of rank $3$ Coxeter groups, it was conjectured in the same paper that there is a natural bijection from the set of reduced positive roots of a symmetric rank $2$ Kac--Moody algebra onto the set of rigid reflections of the corresponding rank $3$ Coxeter group. In this paper, we prove the conjecture.


title: Quantum certification of state set and unitary channel

abstract: We study efficient quantum certification algorithms for quantum state set and unitary quantum channel. We present an algorithm that uses $O(\varepsilon^{-4}\ln |\mathcal{P}|)$ copies of an unknown state to distinguish whether the unknown state is contained in or $\varepsilon$-far from a finite set $\mathcal{P}$ of known states with respect to the trace distance. This algorithm is more sample-efficient in some settings. Previous study showed that one can distinguish whether an unknown unitary $U$ is equal to or $\varepsilon$-far from a known or unknown unitary $V$ in fixed dimension with $O(\varepsilon^{-2})$ uses of the unitary, in which the Choi state is used and thus an ancilla system is needed. We give an algorithm that distinguishes the two cases with $O(\varepsilon^{-1})$ uses of the unitary, using much fewer or no ancilla compared with previous results.


title: Static and collapsing configurations supported by the spinor fluid

abstract: We study a gravitating spherically symmetric nonrelativistic configuration consisting of a spinor fluid whose effective equation of state is derived from a consideration of a limiting system supported by a massive nonlinear spinor field. For such a configuration, we find a two-parametric family of static regular solutions describing compact objects whose masses and sizes are determined by the central density of the spinor fluid and the mass of the spinor field. Using the similarity method, we consider a gravitational collapse of an initially uniform system consisting of the spinor fluid. We estimate the general characteristics of the collapse and show that a resulting nonuniform distribution of the fluid occurs that may serve as a core for the creation of equilibrium starlike configurations.


title: Birthing of a daughter vesicle in a model system for self-reproduction vesicles

abstract: Sakuma and Imai [Phys. Rev. Lett. 107, 198101 (2011)] established a temperature-controlled cyclic process for a model system of self-reproducing vesicles without feeding. The vesicle generates a smaller inclusion vesicle called "daughter vesicle" inside the original vesicle (we call this "mother vesicle") and then the daughter vesicle is expelled through a small pore on the mother vesicle. This self-reproducing process is called birthing. In the present study we present theoretical model on the birthing process of a single, rigid daughter vesicle through a pore. By using a simple geometric picture, we derive the free energy constituting the material properties of the bending, stretching and line tension moduli of the mother vesicle, as a function of the distance between the centers of the daughter and mother vesicles, and the size of the daughter vesicle. We see clearly the disappearance of the energy barrier by selecting appropriate moduli. The dynamics of the system is studied by employing the Onsager principle. The results indicate that translocation time decreases as the friction parameter decreases, or the initial size of the daughter vesicle decreases.


title: Estimation and Planning of Exploration Over Grid Map Using A Spatiotemporal Model with Incomplete State Observations

abstract: Path planning over spatiotemporal models can be applied to a variety of applications such as UAVs searching for spreading wildfire in mountains or network of balloons in time-varying atmosphere deployed for inexpensive internet service. A notable aspect in such applications is the dynamically changing environment. However, path planning algorithms often assume static environments and only consider the vehicle's dynamics exploring the environment. We present a spatiotemporal model that uses a cross-correlation operator to consider spatiotemporal dependence. Also, we present an adaptive state estimator for path planning. Since the state estimation depends on the vehicle's path, the path planning needs to consider the trade-off between exploration and exploitation. We use a high-level decision-maker to choose an explorative path or an exploitative path. The overall proposed framework consists of an adaptive state estimator, a short-term path planner, and a high-level decision-maker. We tested the framework with a spatiotemporal model simulation where the state of each grid transits from normal, latent, and fire state. For the mission objective of visiting the grids with fire, the proposed framework outperformed the random walk (baseline) and the single-minded exploitation (or exploration) path.


title: Arraymetrics: Authentication Through Chaotic Antenna Array Geometries

abstract: Advances in computing have resulted in an emerging need for multi-factor authentication using an amalgamation of cryptographic and physical keys. This letter presents a novel authentication approach using a combination of signal and antenna activation sequences, and most importantly, perturbed antenna array geometries. Possible degrees of freedom in perturbing antenna array geometries affected physical properties and their detection are presented. Channel estimation for the plurality of validly authorized arrays is discussed. Accuracy is investigated as a function of signal-to-noise ratio (SNR) and number of authorized arrays. It is observed that the proposed authentication scheme can provide 1% false authentication rate at 10 dB SNR, while it is achieving less than 1% missed authentication rates.


title: Low-Energy String Theory Predicts Black Holes Hide a New Universe

abstract: We propose a construction with which to resolve the black hole singularity and enable an anisotropic cosmology to emerge from the inside of the hole. The model relies on the addition of an S-brane to the effective action which describes the geometry of space-time. This space-like defect is located inside of the horizon on a surface where the Weyl curvature reaches a limiting value. We study how metric fluctuations evolve from the outside of the black hole to the beginning of the cosmological phase to the future of the S-brane. Our setup addresses i) the black hole singularity problem, ii) the cosmological singularity problem and iii) the information loss paradox since the outgoing Hawking radiation is entangled with the state inside the black hole which becomes the new universe.


title: Pandemic Drugs at Pandemic Speed: Infrastructure for Accelerating COVID-19 Drug Discovery with Hybrid Machine Learning- and Physics-based Simulations on High Performance Computers

abstract: The race to meet the challenges of the global pandemic has served as a reminder that the existing drug discovery process is expensive, inefficient and slow. There is a major bottleneck screening the vast number of potential small molecules to shortlist lead compounds for antiviral drug development. New opportunities to accelerate drug discovery lie at the interface between machine learning methods, in this case developed for linear accelerators, and physics-based methods. The two in silico methods, each have their own advantages and limitations which, interestingly, complement each other. Here, we present an innovative infrastructural development that combines both approaches to accelerate drug discovery. The scale of the potential resulting workflow is such that it is dependent on supercomputing to achieve extremely high throughput. We have demonstrated the viability of this workflow for the study of inhibitors for four COVID-19 target proteins and our ability to perform the required large-scale calculations to identify lead antiviral compounds through repurposing on a variety of supercomputers.

categories: cs.DC cs.CE cs.LG physics.bio-ph q-bio.QM


title: Learning With Context Feedback Loop for Robust Medical Image Segmentation

abstract: Deep learning has successfully been leveraged for medical image segmentation. It employs convolutional neural networks (CNN) to learn distinctive image features from a defined pixel-wise objective function. However, this approach can lead to less output pixel interdependence producing incomplete and unrealistic segmentation results. In this paper, we present a fully automatic deep learning method for robust medical image segmentation by formulating the segmentation problem as a recurrent framework using two systems. The first one is a forward system of an encoder-decoder CNN that predicts the segmentation result from the input image. The predicted probabilistic output of the forward system is then encoded by a fully convolutional network (FCN)-based context feedback system. The encoded feature space of the FCN is then integrated back into the forward system's feed-forward learning process. Using the FCN-based context feedback loop allows the forward system to learn and extract more high-level image features and fix previous mistakes, thereby improving prediction accuracy over time. Experimental results, performed on four different clinical datasets, demonstrate our method's potential application for single and multi-structure medical image segmentation by outperforming the state of the art methods. With the feedback loop, deep learning methods can now produce results that are both anatomically plausible and robust to low contrast images. Therefore, formulating image segmentation as a recurrent framework of two interconnected networks via context feedback loop can be a potential method for robust and efficient medical image analysis.


title: Camera-Space Hand Mesh Recovery via Semantic Aggregation and Adaptive 2D-1D Registration

abstract: Recent years have witnessed significant progress in 3D hand mesh recovery. Nevertheless, because of the intrinsic 2D-to-3D ambiguity, recovering camera-space 3D information from a single RGB image remains challenging. To tackle this problem, we divide camera-space mesh recovery into two sub-tasks, i.e., root-relative mesh recovery and root recovery. First, joint landmarks and silhouette are extracted from a single input image to provide 2D cues for the 3D tasks. In the root-relative mesh recovery task, we exploit semantic relations among joints to generate a 3D mesh from the extracted 2D cues. Such generated 3D mesh coordinates are expressed relative to a root position, i.e., wrist of the hand. In the root recovery task, the root position is registered to the camera space by aligning the generated 3D mesh back to 2D cues, thereby completing cameraspace 3D mesh recovery. Our pipeline is novel in that (1) it explicitly makes use of known semantic relations among joints and (2) it exploits 1D projections of the silhouette and mesh to achieve robust registration. Extensive experiments on popular datasets such as FreiHAND, RHD, and Human3.6M demonstrate that our approach achieves stateof-the-art performance on both root-relative mesh recovery and root recovery. Our code is publicly available at https://github.com/SeanChenxy/HandMesh.


title: Magnetohydrostatic Equilibrium Structure and Mass of Polytropic Filamentary Cloud Threaded by Lateral Magnetic Field

abstract: Filamentary structures are recognized as a fundamental component of interstellar molecular clouds in observations by the Herschel satellite. These filaments, especially massive filaments, often extend in a direction perpendicular to the interstellar magnetic field. Furthermore, the filaments sometimes have an apparently negative temperature gradient, that is, their temperature decreases towards the center. In this paper, we study the magnetohydrostatic equilibrium state of negative-indexed polytropic gas with the magnetic field running perpendicular to the axis of the filament. The model is controlled by four parameters: center-to-surface density ratio ($\rho_c/\rho_s$), plasma $\beta$ of the surrounding gas, radius of the parent cloud $R'_0$ normalized by the scale height, and the polytropic index $N$. The steepness of the temperature gradient is represented by $N$. We found that the envelope of the column density profile becomes shallow when the temperature gradient is large. This reconciles the inconsistency between the observed profiles and those expected from the isothermal models. We compared the maximum line-mass (mass per unit length), above which there is no equilibrium, with that of the isothermal non-magnetized filament. We obtained an empirical formula to express the maximum line-mass of a magnetized polytropic filament as $\lambda_{max}\simeq\left[{\left(\lambda_{0,max}(N)/M_\odot{\rm pc^{-1}}\right)^2+\left[5.9(1.0+1.2/N)^{1/2}({\Phi_{cl}}/{1\mu {\rm G\,pc}})\right]^2}\right]^{1/2}M_\odot {\rm pc^{-1}}$, where $\lambda_{0,max}(N)$ represents the maximum line-mass of the non-magnetized filament and $\Phi_{cl}$ indicates one-half of the magnetic flux threading the filament per unit length. Although the negative-indexed polytrope makes the maximum line-mass decrease compared with that of the isothermal model, a magnetic field threading the filament increases the line-mass.


title: IMG-DNA: Approximate DNA Storage for Images

abstract: Deoxyribonucleic Acid (DNA) as a storage medium with high density and long-term preservation properties can satisfy the requirement of archival storage for rapidly increased digital volume. The read and write processes of DNA storage are error-prone. Images widely used in social media have the properties of fault tolerance which are well fitted to the DNA storage. However, prior work simply investigated the feasibility of DNA storage storing different types of data and simply store images in DNA storage, which did not fully investigate the fault-tolerant potential of images in the DNA storage. In this paper, we proposed a new image-based DNA system called IMG-DNA, which can efficiently store images in DNA storage with improved DNA storage robustness. First, a new DNA architecture is proposed to fit JPEG-based images and improve the image's robustness in DNA storage. Moreover, barriers inserted in DNA sequences efficiently prevent error propagation in images of DNA storage. The experimental results indicate that the proposed IMG-DNA achieves much higher fault-tolerant than prior work.


title: Axion mass in antiferromagnetic insulators

abstract: We calculate axion potential in antiferromagnetic insulators from path integral. It is derived from the effective potential for the order parameter of the antiferromagnetic phase in insulators. Static and dynamical axions are defined consistently from the potential. Consequently antiferromagnetic/paramagnetic and topological/normal orders are classified. The dynamical axion is predicted in all phases and its mass turns out to be various values up to eV scale.


title: DT*: Temporal Logic Path Planning in a Dynamic Environment

abstract: Path planning for a robot is one of the major problems in the area of robotics. When a robot is given a task in the form of a Linear Temporal Logic (LTL) specification such that the task needs to be carried out repetitively, we want the robot to follow the shortest cyclic path so that the number of times the robot completes the mission within a given duration gets maximized. In this paper, we address the LTL path planning problem in a dynamic environment where the newly arrived dynamic obstacles may invalidate some of the available paths at any arbitrary point in time. We present DT*, an SMT-based receding horizon planning strategy that solves an optimization problem repetitively based on the current status of the workspace to lead the robot to follow the best available path in the current situation. We implement our algorithm using the Z3 SMT solver and evaluate it extensively on an LTL specification capturing a pick-and-drop application in a warehouse environment. We compare our SMT-based algorithm with two carefully crafted greedy algorithms. Our experimental results show that the proposed algorithm can deal with the dynamism in the workspace in LTL path planning effectively.


title: MPED: Quantifying Point Cloud Distortion based on Multiscale Potential Energy Discrepancy

abstract: In this paper, we propose a new distortion quantification method for point clouds, the multiscale potential energy discrepancy (MPED). Currently, there is a lack of effective distortion quantification for a variety of point cloud perception tasks. Specifically, for dense point clouds, a distortion quantification method is used to predict human subjective scores and optimize the selection of human perception tasks parameters, such as compression and enhancement. For sparse point clouds, a distortion quantification methods is work as a loss function to guide the training of deep neural networks for unsupervised learning tasks (e.g., point cloud reconstruction, completion and upsampling). Therefore, an effective distortion quantification should be differentiable, distortion discriminable and have a low computational complexity. However, current distortion quantification cannot satisfy all three conditions. To fill this gap, we propose a new point cloud feature description method, the point potential energy (PPE), inspired by the classical physics. We regard the point clouds are systems that have potential energy and the distortion can change the total potential energy. By evaluating at various neighborhood sizes, the proposed MPED achieves global-local tradeoffs, capturing distortion in a multiscale fashion. We further theoretically show that classical Chamfer distance is a special case of our MPED. Extensive experiments show the proposed MPED superior to current methods on both human and machine perception tasks. Our code is avaliable at https://github.com/Qi-Yangsjtu/MPED.


title: Visual Motion Imagery Classification with Deep Neural Network based on Functional Connectivity

abstract: Brain-computer interfaces (BCIs) use brain signals such as electroencephalography to reflect user intention and enable two-way communication between computers and users. BCI technology has recently received much attention in healthcare applications, such as neurorehabilitation and diagnosis. BCI applications can also control external devices using only brain activity, which can help people with physical or mental disabilities, especially those suffering from neurological and neuromuscular diseases such as stroke and amyotrophic lateral sclerosis. Motor imagery (MI) has been widely used for BCI-based device control, but we adopted intuitive visual motion imagery to overcome the weakness of MI. In this study, we developed a three-dimensional (3D) BCI training platform to induce users to imagine upper-limb movements used in real-life activities (picking up a cell phone, pouring water, opening a door, and eating food). We collected intuitive visual motion imagery data and proposed a deep learning network based on functional connectivity as a mind-reading technique. As a result, the proposed network recorded a high classification performance on average (71.05%). Furthermore, we applied the leave-one-subject-out approach to confirm the possibility of improvements in subject-independent classification performance. This study will contribute to the development of BCI-based healthcare applications for rehabilitation, such as robotic arms and wheelchairs, or assist daily life.


title: Data Augmentation for Object Detection via Differentiable Neural Rendering

abstract: It is challenging to train a robust object detector under the supervised learning setting when the annotated data are scarce. Thus, previous approaches tackling this problem are in two categories: semi-supervised learning models that interpolate labeled data from unlabeled data, and self-supervised learning approaches that exploit signals within unlabeled data via pretext tasks. To seamlessly integrate and enhance existing supervised object detection methods, in this work, we focus on addressing the data scarcity problem from a fundamental viewpoint without changing the supervised learning paradigm. We propose a new offline data augmentation method for object detection, which semantically interpolates the training data with novel views. Specifically, our new system generates controllable views of training images based on differentiable neural rendering, together with corresponding bounding box annotations which involve no human intervention. Firstly, we extract and project pixel-aligned image features into point clouds while estimating depth maps. We then re-project them with a target camera pose and render a novel-view 2d image. Objects in the form of keypoints are marked in point clouds to recover annotations in new views. Our new method is fully compatible with online data augmentation methods, such as affine transform, image mixup, etc. Extensive experiments show that our method, as a cost-free tool to enrich images and labels, can significantly boost the performance of object detection systems with scarce training data. Code is available at \url{https://github.com/Guanghan/DANR}.


title: A multivariate normal approximation for the Dirichlet density and some applications

abstract: In this short note, we prove an asymptotic expansion for the ratio of the Dirichlet density to the multivariate normal density with the same mean and covariance matrix. The expansion is then used to derive an upper bound on the total variation between the corresponding probability measures and rederive the asymptotic variance of the Dirichlet kernel estimators introduced by Aitchison & Lauder (1985) and studied theoretically in Ouimet (2020). Another potential application related to the asymptotic equivalence between the Gaussian variance regression problem and the Gaussian white noise problem is briefly mentioned but left open for future research.


title: Morphset:Augmenting categorical emotion datasets with dimensional affect labels using face morphing

abstract: Emotion recognition and understanding is a vital component in human-machine interaction. Dimensional models of affect such as those using valence and arousal have advantages over traditional categorical ones due to the complexity of emotional states in humans. However, dimensional emotion annotations are difficult and expensive to collect, therefore they are not as prevalent in the affective computing community. To address these issues, we propose a method to generate synthetic images from existing categorical emotion datasets using face morphing as well as dimensional labels in the circumplex space with full control over the resulting sample distribution, while achieving augmentation factors of at least 20x or more.


title: A Semismooth Newton based Augmented Lagrangian Method for Nonsmooth Optimization on Matrix Manifolds

abstract: This paper is devoted to studying an augmented Lagrangian method for solving a class of manifold optimization problems, which have nonsmooth objective functions and nonlinear constraints. Under the constant positive linear dependence condition on manifolds, we show that the proposed method converges to a stationary point of the nonsmooth manifold optimization problem. Moreover, we propose a globalized semismooth Newton method to solve the augmented Lagrangian subproblem on manifolds efficiently. The local superlinear convergence of the manifold semismooth Newton method is also established under some suitable conditions. We also prove that the semismoothness on submanifolds can be inherited from that in the ambient manifold. Finally, numerical experiments on compressed modes and (constrained) sparse principal component analysis illustrate the advantages of the proposed method.


title: Searching for MgII absorbers in and around galaxy clusters

abstract: To study environmental effects on the circumgalactic medium (CGM), we use the samples of redMaPPer galaxy clusters, background quasars and cluster galaxies from the SDSS. With ~82 000 quasar spectra, we detect 197 MgII absorbers in and around the clusters. The detection rate per quasar is 2.7$\pm$0.7 times higher inside the clusters than outside the clusters, indicating that MgII absorbers are relatively abundant in clusters. However, when considering the galaxy number density, the absorber-to-galaxy ratio is rather low inside the clusters. If we assume that MgII absorbers are mainly contributed by the CGM of massive star-forming galaxies, a typical halo size of cluster galaxies is smaller than that of field galaxies by 30$\pm$10 per cent. This finding supports that galaxy haloes can be truncated by interaction with the host cluster.


title: Distributed Optimal Load Frequency Control with Stochastic Wind Power Generation

abstract: Motivated by the inadequacy of conventional control methods for power networks with a large share of renewable generation, in this paper we study the (stochastic) passivity property of wind turbines based on the Doubly Fed Induction Generator (DFIG). Differently from the majority of the results in the literature, where renewable generation is ignored or assumed to be constant, we model wind power generation as a stochastic process, where wind speed is described by a class of stochastic differential equations. Then, we design a distributed control scheme that achieves load frequency control and economic dispatch, ensuring the stochastic stability of the controlled network.


title: crank: An Open-Source Software for Nonparallel Voice Conversion Based on Vector-Quantized Variational Autoencoder

abstract: In this paper, we present an open-source software for developing a nonparallel voice conversion (VC) system named crank. Although we have released an open-source VC software based on the Gaussian mixture model named sprocket in the last VC Challenge, it is not straightforward to apply any speech corpus because it is necessary to prepare parallel utterances of source and target speakers to model a statistical conversion function. To address this issue, in this study, we developed a new open-source VC software that enables users to model the conversion function by using only a nonparallel speech corpus. For implementing the VC software, we used a vector-quantized variational autoencoder (VQVAE). To rapidly examine the effectiveness of recent technologies developed in this research field, crank also supports several representative works for autoencoder-based VC methods such as the use of hierarchical architectures, cyclic architectures, generative adversarial networks, speaker adversarial training, and neural vocoders. Moreover, it is possible to automatically estimate objective measures such as mel-cepstrum distortion and pseudo mean opinion score based on MOSNet. In this paper, we describe representative functions developed in crank and make brief comparisons by objective evaluations.


title: Intrinsic and extrinsic tunability of Rashba spin-orbit coupled emergent inductors

abstract: The emergent induction of spiral magnets that was proposed [Jpn. J. Appl. Phys. 58, 120909 (2019)] and recently demonstrated [Nature 586, 232 (2020)] is shown to be further extended by a comprehensive treatment of the Rashba spin-orbit coupling and the electron spin relaxation that affect the underlying processes of spin-transfer torque and spinmotive force. Within adiabatic approximation, we show that the output voltages are widely altered intrinsically via the Rashba effect whereas extrinsically via the nonadiabatic correction due to the spin relaxation and sample disorder. The findings respectively clarify the origins for the amplitude modulation and sign change of the emergent inductance with tunability by electrical gating and careful sample preparation.


title: Variance Reduced Median-of-Means Estimator for Byzantine-Robust Distributed Inference

abstract: This paper develops an efficient distributed inference algorithm, which is robust against a moderate fraction of Byzantine nodes, namely arbitrary and possibly adversarial machines in a distributed learning system. In robust statistics, the median-of-means (MOM) has been a popular approach to hedge against Byzantine failures due to its ease of implementation and computational efficiency. However, the MOM estimator has the shortcoming in terms of statistical efficiency. The first main contribution of the paper is to propose a variance reduced median-of-means (VRMOM) estimator, which improves the statistical efficiency over the vanilla MOM estimator and is computationally as efficient as the MOM. Based on the proposed VRMOM estimator, we develop a general distributed inference algorithm that is robust against Byzantine failures. Theoretically, our distributed algorithm achieves a fast convergence rate with only a constant number of rounds of communications. We also provide the asymptotic normality result for the purpose of statistical inference. To the best of our knowledge, this is the first normality result in the setting of Byzantine-robust distributed learning. The simulation results are also presented to illustrate the effectiveness of our method.


title: Multi-Stage Raw Video Denoising with Adversarial Loss and Gradient Mask

abstract: In this paper, we propose a learning-based approach for denoising raw videos captured under low lighting conditions. We propose to do this by first explicitly aligning the neighboring frames to the current frame using a convolutional neural network (CNN). We then fuse the registered frames using another CNN to obtain the final denoised frame. To avoid directly aligning the temporally distant frames, we perform the two processes of alignment and fusion in multiple stages. Specifically, at each stage, we perform the denoising process on three consecutive input frames to generate the intermediate denoised frames which are then passed as the input to the next stage. By performing the process in multiple stages, we can effectively utilize the information of neighboring frames without directly aligning the temporally distant frames. We train our multi-stage system using an adversarial loss with a conditional discriminator. Specifically, we condition the discriminator on a soft gradient mask to prevent introducing high-frequency artifacts in smooth regions. We show that our system is able to produce temporally coherent videos with realistic details. Furthermore, we demonstrate through extensive experiments that our approach outperforms state-of-the-art image and video denoising methods both numerically and visually.


title: The Detectability of Kiloparsec Scale Dual AGNs: The Impact of Galactic Structure and Black Hole Orbital Properties

abstract: Observational searches for dual active galactic nuclei (dAGNs) at kiloparsec separations are crucial for understanding the role of galaxy mergers in the evolution of galaxies. In addition, kpc-scale dAGNs may serve as the parent population of merging massive black hole (MBH) binaries, an important source of gravitational waves. We use a semi-analytical model to describe the orbital evolution of unequal mass MBH pairs under the influence of stellar and gaseous dynamical friction in post-merger galaxies. We quantify how the detectability of approximately 40,000 kpc-scale dAGNs depends on the structure of their host galaxies and the orbital properties of the MBH pair. Our models indicate that kpc-scale dAGNs are most likely to be detected in gas-rich post-merger galaxies with smaller stellar bulges and relatively massive, rapidly rotating gas disks. The detectability is also increased in systems with MBHs of comparable masses following low eccentricity prograde orbits. In contrast, dAGNs with retrograde, low eccentricity orbits are some of the least detectable systems among our models. The dAGNs in models in which the accreting MBHs are allowed to exhibit radiative feedback are characterized by a significantly lower overall detectability. The suppression in detectability is most pronounced in gas-rich merger remnant galaxies, where radiation feedback is more likely to arise. If so, then large, relatively gas poor galaxies may be the best candidates for detecting dAGNs.


title: Inverse Reinforcement Learning with Explicit Policy Estimates

abstract: Various methods for solving the inverse reinforcement learning (IRL) problem have been developed independently in machine learning and economics. In particular, the method of Maximum Causal Entropy IRL is based on the perspective of entropy maximization, while related advances in the field of economics instead assume the existence of unobserved action shocks to explain expert behavior (Nested Fixed Point Algorithm, Conditional Choice Probability method, Nested Pseudo-Likelihood Algorithm). In this work, we make previously unknown connections between these related methods from both fields. We achieve this by showing that they all belong to a class of optimization problems, characterized by a common form of the objective, the associated policy and the objective gradient. We demonstrate key computational and algorithmic differences which arise between the methods due to an approximation of the optimal soft value function, and describe how this leads to more efficient algorithms. Using insights which emerge from our study of this class of optimization problems, we identify various problem scenarios and investigate each method's suitability for these problems.


title: Construction of explicit symplectic integrators in general relativity. II. Reissner-Nordstrom black holes

abstract: In a previous paper, second- and fourth-order explicit symplectic integrators were designed for a Hamiltonian of the Schwarzschild black hole. Following this work, we continue to trace the possibility of the construction of explicit symplectic integrators for a Hamiltonian of charged particles moving around a Reissner-Nordstrom black hole with an external magnetic field. Such explicit symplectic methods are still available when the Hamiltonian is separated into five independently integrable parts with analytical solutions as explicit functions of proper time. Numerical tests show that the proposed algorithms share the desirable properties in their long-term stability, precision and efficiency for appropriate choices of step sizes. For the applicability of one of the new algorithms, the effects of the black hole's charge, the Coulomb part of the electromagnetic potential and the magnetic parameter on the dynamical behavior are surveyed. Under some circumstances, the extent of chaos gets strong with an increase of the magnetic parameter from a global phase-space structure. No the variation of the black hole's charge but the variation of the Coulomb part is considerably sensitive to affect the regular and chaotic dynamics of particles' orbits. A positive Coulomb part is easier to induce chaos than a negative one.

categories: gr-qc astro-ph.IM nlin.CD physics.comp-ph


title: A Pu-Bonnesen inequality

abstract: We prove an inequality of Bonnesen type for the real projective plane, generalizing Pu's systolic inequality for positively-curved metrics. The remainder term in the inequality, analogous to that in Bonnesen's inequality, is a function of R-r (suitably normalized), where R and r are respectively the circumradius and the inradius of the Weyl-Lewy Euclidean embedding of the orientable double cover. We exploit John ellipsoids of a convex body and Pogorelov's ridigity theorem.


title: IACN: Influence-aware and Attention-based Co-evolutionary Network for Recommendation

abstract: Recommending relevant items to users is a crucial task on online communities such as Reddit and Twitter. For recommendation system, representation learning presents a powerful technique that learns embeddings to represent user behaviors and capture item properties. However, learning embeddings on online communities is a challenging task because the user interest keep evolving. This evolution can be captured from 1) interaction between user and item, 2) influence from other users in the community. The existing dynamic embedding models only consider either of the factors to update user embeddings. However, at a given time, user interest evolves due to a combination of the two factors. To this end, we propose Influence-aware and Attention-based Co-evolutionary Network (IACN). Essentially, IACN consists of two key components: interaction modeling and influence modeling layer. The interaction modeling layer is responsible for updating the embedding of a user and an item when the user interacts with the item. The influence modeling layer captures the temporal excitation caused by interactions of other users. To integrate the signals obtained from the two layers, we design a novel fusion layer that effectively combines interaction-based and influence-based embeddings to predict final user embedding. Our model outperforms the existing state-of-the-art models from various domains.


title: Uncovering Thermal and Electrical Properties of Sb2Te3/GeTe Superlattice Films

abstract: Superlattice-like phase change memory (SL-PCM) promises lower switching current than conventional PCM based on Ge2Sb2Te5 (GST). However, a fundamental understanding of SL-PCM requires detailed characterization of the interfaces within such a SL. Here, we explore the electrical and thermal transport of SLs with deposited Sb2Te3 and GeTe alternating layers of various thicknesses. We find up to ~4X reduction of the effective cross-plane thermal conductivity of the SL stack (as-deposited polycrystalline) compared to polycrystalline GST (as-deposited amorphous and later annealed) due to the thermal interface resistances within the SL. Thermal measurements with varying periods of our SLs show a signature of phonon coherence with a transition from wave-like to particle-like phonon transport, further described by our modeling. Electrical resistivity measurements of such SLs reveal strong anisotropy (~2000X) between the in-plane and cross-plane directions due to the weakly interacting van der Waals gaps. This work uncovers electro-thermal transport in SLs based on Sb2Te3 and GeTe, for improved design of low-power PCM.


title: The role of post-shock heating by plastic deformation during impact devolatilization of calcite

abstract: An accurate understanding of the relationship between the impact conditions and the degree of shock-induced thermal metamorphism in meteorites allows the impact environment in the early Solar System to be understood. A recent hydrocode has revealed that impact heating is much higher than previously thought. This is because plastic deformation of the shocked rocks causes further heating during decompression, which is termed post-shock heating. Here we compare impact simulations with laboratory experiments on the impact devolatilization of calcite to investigate whether the post-shock heating is also significant in natural samples. We calculated the mass of CO$_2$ produced from the calcite, based on thermodynamics. We found that iSALE can reproduce the devolatilization behavior for rocks with the strength of calcite. In contrast, the calculated masses of CO2 at lower rock strengths are systematically smaller than the experimental values. Our results require a reassessment of the interpretation of thermal metamorphism in meteorites.


title: Measurement methods of radial flow in relativistic heavy-ion collisions

abstract: Radial flow can be directly extracted from the azimuthal distribution of mean transverse rapidity. We apply the event-plane method and the two-particle correlation method to estimate the anisotropic Fourier coefficient of the azimuthal distribution of mean transverse rapidity. Using the event sample generated by a multiphase transport model with string melting, we show that both methods are effective. For the two-particle correlation method to be reliable, the mean number of particles in an azimuthal bin must be above a certain threshold. Using these two methods, anisotropic radial flow can be estimated in a model-independent way in relativistic heavy-ion collisions.


title: Robustness Evaluation of Stacked Generative Adversarial Networks using Metamorphic Testing

abstract: Synthesising photo-realistic images from natural language is one of the challenging problems in computer vision. Over the past decade, a number of approaches have been proposed, of which the improved Stacked Generative Adversarial Network (StackGAN-v2) has proven capable of generating high resolution images that reflect the details specified in the input text descriptions. In this paper, we aim to assess the robustness and fault-tolerance capability of the StackGAN-v2 model by introducing variations in the training data. However, due to the working principle of Generative Adversarial Network (GAN), it is difficult to predict the output of the model when the training data are modified. Hence, in this work, we adopt Metamorphic Testing technique to evaluate the robustness of the model with a variety of unexpected training dataset. As such, we first implement StackGAN-v2 algorithm and test the pre-trained model provided by the original authors to establish a ground truth for our experiments. We then identify a metamorphic relation, from which test cases are generated. Further, metamorphic relations were derived successively based on the observations of prior test results. Finally, we synthesise the results from our experiment of all the metamorphic relations and found that StackGAN-v2 algorithm is susceptible to input images with obtrusive objects, even if it overlaps with the main object minimally, which was not reported by the authors and users of StackGAN-v2 model. The proposed metamorphic relations can be applied to other text-to-image synthesis models to not only verify the robustness but also to help researchers understand and interpret the results made by the machine learning models.


title: Zero-cycles over zero-dimensional cusps

abstract: We prove that all points of a toroidal compactification lying over 0-dimensional cusps are rationally equivalent in the integral Chow group for most classical modular varieties (Siegel, Hilbert, orthogonal, Hermitian, quaternionic). This gives a generalization, and even strengthening, of the Manin-Drinfeld theorem in higher dimension from the viewpoint of algebraic cycles. The same result no longer holds for Picard modular varieties, but for them we prove that the difference of any two "special" boundary points, which are dense in the boundary, is torsion.


title: An RL-Based Adaptive Detection Strategy to Secure Cyber-Physical Systems

abstract: Increased dependence on networked, software based control has escalated the vulnerabilities of Cyber Physical Systems (CPSs). Detection and monitoring components developed leveraging dynamical systems theory are often employed as lightweight security measures for protecting such safety critical CPSs against false data injection attacks. However, existing approaches do not correlate attack scenarios with parameters of detection systems. In the present work, we propose a Reinforcement Learning (RL) based framework which adaptively sets the parameters of such detectors based on experience learned from attack scenarios, maximizing detection rate and minimizing false alarms in the process while attempting performance preserving control actions.


title: BLOCKEYE: Hunting For DeFi Attacks on Blockchain

abstract: Decentralized finance, i.e., DeFi, has become the most popular type of application on many public blockchains (e.g., Ethereum) in recent years. Compared to the traditional finance, DeFi allows customers to flexibly participate in diverse blockchain financial services (e.g., lending, borrowing, collateralizing, exchanging etc.) via smart contracts at a relatively low cost of trust. However, the open nature of DeFi inevitably introduces a large attack surface, which is a severe threat to the security of participants funds. In this paper, we proposed BLOCKEYE, a real-time attack detection system for DeFi projects on the Ethereum blockchain. Key capabilities provided by BLOCKEYE are twofold: (1) Potentially vulnerable DeFi projects are identified based on an automatic security analysis process, which performs symbolic reasoning on the data flow of important service states, e.g., asset price, and checks whether they can be externally manipulated. (2) Then, a transaction monitor is installed offchain for a vulnerable DeFi project. Transactions sent not only to that project but other associated projects as well are collected for further security analysis. A potential attack is flagged if a violation is detected on a critical invariant configured in BLOCKEYE, e.g., Benefit is achieved within a very short time and way much bigger than the cost. We applied BLOCKEYE in several popular DeFi projects and managed to discover potential security attacks that are unreported before. A video of BLOCKEYE is available at https://youtu.be/7DjsWBLdlQU.


title: A study of Type B uncertainties associated with the photoelectric effect in low-energy Monte Carlo simulations

abstract: The goal of this manuscript is to estimate Type B uncertainties in absorbed-dose calculations arising from the different implementations in current state-of-the-art Monte Carlo codes of low-energy photon cross-sections (<200 keV). Monte Carlo simulations are carried out using three codes widely used in the low-energy domain: PENELOPE-2018, EGSnrc, and MCNP. Mass energy-absorption coefficients for water, air, graphite, and their respective ratios; absorbed dose; and photon-fluence spectra are considered. Benchmark simulations using similar cross-sections have been performed. The differences observed between these quantities when different cross-sections are considered are taken to be a good estimator for the corresponding Type B uncertainties. A conservative Type B uncertainty for the absorbed dose (k=2) of 1.2%-1.7% (<50 keV), 0.6%-1.2% (50-100 keV), and 0.3% (100-200 keV) is estimated. The photon-fluence spectrum does not present clinically relevant differences that merit considering additional Type B uncertainties except for energies below 25 keV, where a Type B uncertainty of 0.5% is obtained. Below 30 keV, mass energy-absorption coefficients show Type B uncertainties (k=2) of about 1.5% (water and air), and 2% (graphite), reaching values about 1% (40-50 keV) and 0.5% (50-75 keV). Type B uncertainties for the water-to-graphite ratios are observed for energies below 30 keV, about 0.7% (k=2). In contrast with the intermediate (about 500 keV) or high (about 1 MeV) energy domains, Type B uncertainties due to the different cross-sections implementation cannot be considered subdominant with respect to Type A uncertainties or even to other sources of Type B uncertainties. Therefore, the values reported here should be accommodated within the uncertainty budget in low-energy photon dosimetry studies.


title: Scalable and Deterministic Fabrication of Quantum Emitter Arrays from Hexagonal Boron Nitride

abstract: We demonstrate the fabrication of large-scale arrays of single photon emitters (SPEs) in hexagonal boron nitride (hBN). Bottom-up growth of hBN onto nanoscale arrays of dielectric pillars yields corresponding arrays of hBN emitters at the pillar sites. Statistical analysis shows that the pillar diameter is critical for isolating single defects, and diameters of ~250 nm produce a near-unity yield of a single emitter at each pillar site. Our results constitute a promising route towards spatially-controlled generation of hBN SPEs and provide an effective and efficient method to create large scale SPE arrays. The results pave the way to scalability and high throughput fabrication of SPEs for advanced quantum photonic applications.


title: Anisotropic response of spin susceptibility in the superconducting state of UTe$_2$ probed with $^{125}$Te-NMR measurement

abstract: To investigate spin susceptibility in a superconducting (SC) state, we measured the $^{125}$Te-nuclear magnetic resonance (NMR) Knight shifts at magnetic fields ($H$) up to 6.5 T along the $b$ and $c$ axes of single-crystal UTe$_2$, a promising candidate for a spin-triplet superconductor. In the SC state, the Knight shifts along the $b$ and $c$ axes ($K_b$ and $K_c$, respectively) decreased slightly and the decrease in $K_b$ was almost constant up to 6.5 T. The reduction in $K_c$ decreased with increasing $H$, and $K_c$ was unchanged through the SC transition temperature at 5.5 T, excluding the possibility of spin-singlet pairing. Our results indicate that spin susceptibilities along the $b$ and $c$ axes slightly decrease in the SC state in low $H$, and the $H$ response of SC spin susceptibility is anisotropic in the $bc$ plane. We discuss the possible $d$-vector state within the spin-triplet scenario and suggest that the dominant $d$-vector component for the case of $H \parallel b$ changes above 13 T, where $T_{\rm c}$ increases with increasing $H$.


title: A Two-Sample Robust Bayesian Mendelian Randomization Method Accounting for Linkage Disequilibrium and Idiosyncratic Pleiotropy with Applications to the COVID-19 Outcome

abstract: Mendelian randomization (MR) is a statistical method exploiting genetic variants as instrumental variables to estimate the causal effect of modifiable risk factors on an outcome of interest. Despite wide uses of various popular two-sample MR methods based on genome-wide association study summary level data, however, those methods could suffer from potential power loss or/and biased inference when the chosen genetic variants are in linkage disequilibrium (LD), and also have relatively large direct effects on the outcome whose distribution might be heavy-tailed which is commonly referred to as the idiosyncratic pleiotropy phenomenon. To resolve those two issues, we propose a novel Robust Bayesian Mendelian Randomization (RBMR) model that uses the more robust multivariate generalized t-distribution to model such direct effects in a probabilistic model framework which can also incorporate the LD structure explicitly. The generalized t-distribution can be represented as a Gaussian scaled mixture so that our model parameters can be estimated by the EM-type algorithms. We compute the standard errors by calibrating the evidence lower bound using the likelihood ratio test. Through extensive simulation studies, we show that our RBMR has robust performance compared to other competing methods. We also apply our RBMR method to two benchmark data sets and find that RBMR has smaller bias and standard errors. Using our proposed RBMR method, we find that coronary artery disease is associated with increased risk of critically ill coronavirus disease 2019 (COVID-19). We also develop a user-friendly R package RBMR for public use.


title: An Emotion-controlled Dialog Response Generation Model with Dynamic Vocabulary

abstract: In response generation task, proper sentimental expressions can obviously improve the human-like level of the responses. However, for real application in online systems, high QPS (queries per second, an indicator of the flow capacity of on-line systems) is required, and a dynamic vocabulary mechanism has been proved available in improving speed of generative models. In this paper, we proposed an emotion-controlled dialog response generation model based on the dynamic vocabulary mechanism, and the experimental results show the benefit of this model.


title: Macroscopic randomness for quantum entanglement generation

abstract: Quantum entanglement between two or more bipartite entities is a core concept in quantum information areas limited to microscopic regimes directly governed by Heisenberg uncertainty principle via quantum superposition, resulting in nondeterministic and probabilistic quantum features. Such quantum features cannot be generated by classical means. Here, a pure classical method of on-demand entangled light-pair generation is presented in a macroscopic regime via basis randomness. This conflicting idea of conventional quantum mechanics invokes a fundamental question about both classicality and quantumness, where superposition is key to its resolution.


title: Optimization of periodic input waveforms for global entrainment of weakly forced limit-cycle oscillators

abstract: We propose a general method for optimizing periodic input waveforms for global entrainment of weakly forced limit-cycle oscillators based on phase reduction and nonlinear programming. We derive averaged phase dynamics from the mathematical model of a limit-cycle oscillator driven by a weak periodic input and optimize the Fourier coefficients of the input waveform to maximize prescribed objective functions. In contrast to the optimization methods that rely on the calculus of variations, the proposed method can be applied to a wider class of optimization problems including global entrainment objectives. As an illustration, we consider two optimization problems, one for achieving fast global convergence of the oscillator to the entrained state and the other for realizing prescribed global phase distributions in a population of identical uncoupled noisy oscillators. We show that the proposed method can successfully yield optimal input waveforms to realize the desired states in both cases.


title: Bad and good errors: value-weighted skill scores in deep ensemble learning

abstract: In this paper we propose a novel approach to realize forecast verification. Specifically, we introduce a strategy for assessing the severity of forecast errors based on the evidence that, on the one hand, a false alarm just anticipating an occurring event is better than one in the middle of consecutive non-occurring events, and that, on the other hand, a miss of an isolated event has a worse impact than a miss of a single event, which is part of several consecutive occurrences. Relying on this idea, we introduce a novel definition of confusion matrix and skill scores giving greater importance to the value of the prediction rather than to its quality. Then, we introduce a deep ensemble learning procedure for binary classification, in which the probabilistic outcomes of a neural network are clustered via optimization of these value-weighted skill scores. We finally show the performances of this approach in the case of three applications concerned with pollution, space weather and stock prize forecasting.


title: Effective field theory on a finite boundary of the Bruhat-Tits tree

abstract: Based on bulk reconstruction from the finite boundary of the Bruhat-Tits tree, the boundary effective theory is obtained after integrating out fields outside this boundary. According to the $~p$-adic version of Anti-de Sitter/Conformal Field Theory duality, two-point functions of dual theory living on the finite boundary are read out from the effective action. They can be regarded as two-point functions of a deformed conformal field theory over $~p$-adic numbers.


title: Statistical Analysis of Tipping Pathways in Agent-Based Models

abstract: Agent-based models are a natural choice for modeling complex social systems. In such models simple stochastic interaction rules for a large population of individuals can lead to emergent dynamics on the macroscopic scale, for instance a sudden shift of majority opinion or behavior. Here, we are concerned with studying noise-induced tipping between relevant subsets of the agent state space representing characteristic configurations. Due to the large number of interacting individuals, agent-based models are high-dimensional, though usually a lower-dimensional structure of the emerging collective behaviour exists. We therefore apply Diffusion Maps, a non-linear dimension reduction technique, to reveal the intrinsic low-dimensional structure. We characterize the tipping behaviour by means of Transition Path Theory, which helps gaining a statistical understanding of the tipping paths such as their distribution, flux and rate. By systematically studying two agent-based models that exhibit a multitude of tipping pathways and cascading effects, we illustrate the practicability of our approach.


title: A Cross Channel Context Model for Latents in Deep Image Compression

abstract: This paper presents a cross channel context model for latents in deep image compression. Generally, deep image compression is based on an autoencoder framework, which transforms the original image to latents at the encoder and recovers the reconstructed image from the quantized latents at the decoder. The transform is usually combined with an entropy model, which estimates the probability distribution of the quantized latents for arithmetic coding. Currently, joint autoregressive and hierarchical prior entropy models are widely adopted to capture both the global contexts from the hyper latents and the local contexts from the quantized latent elements. For the local contexts, the widely adopted 2D mask convolution can only capture the spatial context. However, we observe that there are strong correlations between different channels in the latents. To utilize the cross channel correlations, we propose to divide the latents into several groups according to channel index and code the groups one by one, where previously coded groups are utilized to provide cross channel context for the current group. The proposed cross channel context model is combined with the joint autoregressive and hierarchical prior entropy model. Experimental results show that, using PSNR as the distortion metric, the combined model achieves BD-rate reductions of 6.30% and 6.31% over the baseline entropy model, and 2.50% and 2.20% over the latest video coding standard Versatile Video Coding (VVC) for the Kodak and CVPR CLIC2020 professional dataset, respectively. In addition, when optimized for the MS-SSIM metric, our approach generates visually more pleasant reconstructed images.


title: Extract the Knowledge of Graph Neural Networks and Go Beyond it: An Effective Knowledge Distillation Framework

abstract: Semi-supervised learning on graphs is an important problem in the machine learning area. In recent years, state-of-the-art classification methods based on graph neural networks (GNNs) have shown their superiority over traditional ones such as label propagation. However, the sophisticated architectures of these neural models will lead to a complex prediction mechanism, which could not make full use of valuable prior knowledge lying in the data, e.g., structurally correlated nodes tend to have the same class. In this paper, we propose a framework based on knowledge distillation to address the above issues. Our framework extracts the knowledge of an arbitrary learned GNN model (teacher model), and injects it into a well-designed student model. The student model is built with two simple prediction mechanisms, i.e., label propagation and feature transformation, which naturally preserves structure-based and feature-based prior knowledge, respectively. In specific, we design the student model as a trainable combination of parameterized label propagation and feature transformation modules. As a result, the learned student can benefit from both prior knowledge and the knowledge in GNN teachers for more effective predictions. Moreover, the learned student model has a more interpretable prediction process than GNNs. We conduct experiments on five public benchmark datasets and employ seven GNN models including GCN, GAT, APPNP, SAGE, SGC, GCNII and GLP as the teacher models. Experimental results show that the learned student model can consistently outperform its corresponding teacher model by 1.4% - 4.7% on average. Code and data are available at https://github.com/BUPT-GAMMA/CPF


title: Improving Computational Efficiency in Visual Reinforcement Learning via Stored Embeddings

abstract: Recent advances in off-policy deep reinforcement learning (RL) have led to impressive success in complex tasks from visual observations. Experience replay improves sample-efficiency by reusing experiences from the past, and convolutional neural networks (CNNs) process high-dimensional inputs effectively. However, such techniques demand high memory and computational bandwidth. In this paper, we present Stored Embeddings for Efficient Reinforcement Learning (SEER), a simple modification of existing off-policy RL methods, to address these computational and memory requirements. To reduce the computational overhead of gradient updates in CNNs, we freeze the lower layers of CNN encoders early in training due to early convergence of their parameters. Additionally, we reduce memory requirements by storing the low-dimensional latent vectors for experience replay instead of high-dimensional images, enabling an adaptive increase in the replay buffer capacity, a useful technique in constrained-memory settings. In our experiments, we show that SEER does not degrade the performance of RL agents while significantly saving computation and memory across a diverse set of DeepMind Control environments and Atari games.


title: On the flag curvature of a homogeneous Finsler sapce with generalized $m$-Kropina metric

abstract: In this paper, first, we give an explicit formula for the flag curvature of a homogeneous Finsler space with generalized $m$-Kropina metric. Then, we show that, under a mild condition, the two definitions of naturally reductive homogeneous Finsler space are equivalent for afore said metric. Finally, we study the flag curvature of naturally reductive homogeneous Finsler spaces with generalized $m$-Kropina metric.


title: Integrability, Normal Forms, and Magnetic Axis Coordinates

abstract: Integrable or near-integrable magnetic fields are prominent in the design of plasma confinement devices. Such a field is characterized by the existence of a singular foliation consisting entirely of invariant submanifolds. A regular leaf, known as a flux surface,of this foliation must be diffeomorphic to the two-torus. In a neighborhood of a flux surface, it is known that the magnetic field admits several exact, smooth normal forms in which the field lines are straight. However, these normal forms break down near singular leaves including elliptic and hyperbolic magnetic axes. In this paper, the existence of exact, smooth normal forms for integrable magnetic fields near elliptic and hyperbolic magnetic axes is established. In the elliptic case, smooth near-axis Hamada and Boozer coordinates are defined and constructed. Ultimately, these results establish previously conjectured smoothness properties for smooth solutions of the magnetohydrodynamic equilibrium equations. The key arguments are a consequence of a geometric reframing of integrability and magnetic fields; that they are presymplectic systems.


title: Efficient Training Convolutional Neural Networks on Edge Devices with Gradient-pruned Sign-symmetric Feedback Alignment

abstract: With the prosperity of mobile devices, the distributed learning approach enabling model training with decentralized data has attracted wide research. However, the lack of training capability for edge devices significantly limits the energy efficiency of distributed learning in real life. This paper describes a novel approach of training DNNs exploiting the redundancy and the weight asymmetry potential of conventional backpropagation. We demonstrate that with negligible classification accuracy loss, the proposed approach outperforms the prior arts by 5x in terms of energy efficiency.


title: Boundedness of area operators on Bergman spaces

abstract: We completely characterize the boundedness of the area operators from the Bergman spaces $A^p_\alpha(\mathbb{B}_ n)$ to the Lebesgue spaces $L^q(\mathbb{S}_ n)$ for all $0<p,q<\infty$. For the case $n=1$, some partial results were previously obtained by Wu. Especially, in the case $q<p$ and $q<s$, we obtain the new characterizations for the area operators to be bounded. We solve the cases left open there and extend the results to $n$-complex dimension.


title: Propagation of phase-imprinted solitons from superfluid core to Mott-insulator shell and superfluid shell

abstract: We study phase-imprinted solitons of ultracold bosons in an optical lattice with a harmonic trap, which shows the superfluid (SF) and Mott-insulator (MI) shell structures. The earlier study [Konstantin V. Krutitsky, J. Larson, and M. Lewenstein, Phys. Rev. A 82, 033618 (2010).] reported three types of phase-imprinted solitons in the Bose-Hubbard model: in-phase soliton, out-of-phase soliton, and wavelet. In this paper, we uncover the dynamical phase diagram of these phase-imprinted solitons, and find another type of the phase-imprinted soliton namely, the hybrid soliton. In the harmonically trapped system, the solitonic excitations created at the SF core cannot penetrate into the outer SF shell. This repulsion at the surface of the outer SF shell can be cured by inposing a repulsive potential at the center of the trap. These results can be interpreted as a kind of the impedance matching of excitations in BECs in terms of the effective chemical potentials or the local particle numbers in the shell, and the analogous results can be observed also in the sound wave created by the local single-shot pulse potential.


title: Data-Based System Analysis and Control of Flat Nonlinear Systems

abstract: Willems et al. showed that all input-output trajectories of a discrete-time linear time-invariant system can be obtained using linear combinations of time shifts of a single, persistently exciting, input-output trajectory of that system. In this paper, we extend this result to the class of discrete-time single-input single-output flat nonlinear systems. We propose a data-based parametrization of all trajectories using only input-output data. Further, we use this parametrization to solve the data-based simulation and output-matching control problems for the unknown system without explicitly identifying a model. Finally, we illustrate the main results with numerical examples.


title: Lower-Bounded Proper Losses for Weakly Supervised Classification

abstract: This paper discusses the problem of weakly supervised classification, in which instances are given weak labels that are produced by some label-corruption process. The goal is to derive conditions under which loss functions for weak-label learning are proper and lower-bounded -- two essential requirements for the losses used in class-probability estimation. To this end, we derive a representation theorem for proper losses in supervised learning, which dualizes the Savage representation. We use this theorem to characterize proper weak-label losses and find a condition for them to be lower-bounded. From these theoretical findings, we derive a novel regularization scheme called generalized logit squeezing, which makes any proper weak-label loss bounded from below, without losing properness. Furthermore, we experimentally demonstrate the effectiveness of our proposed approach, as compared to improper or unbounded losses. The results highlight the importance of properness and lower-boundedness.