title: Seesaw, coherence and neutrino oscillations

abstract: We present a prescription for consistently constructing non-Fock coherent flavour neutrino states within the framework of the seesaw mechanism, and establish that the physical vacuum of massive neutrinos is a condensate of Standard Model massless neutrino states. The coherent states, involving a finite number of massive states, are derived by constructing their creation operator. Such a construction is the key requirement so that the oscillations of particles indeed occur. We comment on the inherent non-unitarity of the oscillation probability induced by the requirement of coherence.


title: Implementation of MPC in embedded systems using first order methods

abstract: This Ph.D. dissertation contains results in two different but related fields: the implementation of model predictive control (MPC) in embedded systems using first order methods, and restart schemes for accelerated first order methods (AFOM). We start by presenting three novel restart schemes for AFOM. These schemes can improve the convergence of the AFOM by suppressing the undesirable oscillations that they are prone to present. The schemes we develop have theoretical guarantees and do not require knowledge of difficult-to-obtain parameters of the optimization problem. Next, we present sparse solvers for various MPC formulations which take advantage of the structures of the optimization problems. The solvers have been made available in an open-source toolbox for Matlab called SPCIES (https://github.com/GepocUS/Spcies). Finally, we present a novel MPC formulation that displays a larger domain of attraction and better performance than other MPC formulations, especially when using small prediction horizons. This, along with its recursive feasibility and asymptotic stability, makes it especially suitable for its implementation in embedded systems.


title: Mathematical Modeling of Guidance Trajectory with a Moving Destination Using Conditionally Markov Modeling

abstract: A trajectory of a destination-directed moving object (e.g. an aircraft from an origin airport to a destination airport) has three main components: an origin, a destination, and motion in between. We call such a trajectory that end up at the destination \textit{destination-directed trajectory (DDT)}. A class of conditionally Markov (CM) sequences (called CM$_\text{L}$) has the following main components: a joint density of two endpoints and a Markov-like evolution law. A CM$_\text{L}$ dynamic model can describe the evolution of a DDT but not of a guided object chasing a moving guide. The trajectory of a guided object is called a \textit{guided trajectory (GT)}. Inspired by a CM$_\text{L}$ model, this paper proposes a model for a GT with a moving guide. The proposed model reduces to a CM$_\text{L}$ model if the guide is not moving. We also study filtering and trajectory prediction based on the proposed model. Simulation results are presented.


title: A linear-time algorithm for semitotal domination in strongly chordal graphs

abstract: In a graph $G=(V,E)$ with no isolated vertex, a dominating set $D \subseteq V$, is called a semitotal dominating set if for every vertex $u \in D$ there is another vertex $v \in D$, such that distance between $u$ and $v$ is at most two in $G$. Given a graph $G=(V,E)$ without isolated vertices, the Minimum Semitotal Domination problem is to find a minimum cardinality semitotal dominating set of $G$. The semitotal domination number, denoted by $\gamma_{t2}(G)$, is the minimum cardinality of a semitotal dominating set of $G$. The decision version of the problem remains NP-complete even when restricted to chordal graphs, chordal bipartite graphs, and planar graphs. Galby et al. in [6] proved that the problem can be solved in polynomial time for bounded MIM-width graphs which includes many well known graph classes, but left the complexity of the problem in strongly chordal graphs unresolved. Henning and Pandey in [20] also asked to resolve the complexity status of the problem in strongly chordal graphs. In this paper, we resolve the complexity of the problem in strongly chordal graphs by designing a linear-time algorithm for the problem.


title: New non-singular cosmological solution of non-local gravity

abstract: We present a new bouncing cosmological solution of the non-local theory known as infinite derivative gravity, which goes beyond the recursive ansatz, ${\Box R = r_1 R +r_2}$. The non-local field equations are evaluated using the spectral decomposition with respect to the eigenfunctions of the wave operator. The energy-momentum tensor computed for this geometry turns out to be much more sensitive to the choice of the non-local form-factor, since it depends on the value of the function on a continuous infinite interval. We show that this stronger dependence on the form-factor allows us to source the geometry by the perfect fluid with the non-negative energy density satisfying the strong energy condition. We show that this bouncing behaviour is not possible in the local theories of gravity such as in general relativity or $R+R^2$ gravity sourced by a fluid which meets the non-negative energy and strong energy conditions.


title: Shadows are Bicategorical Traces

abstract: The theory of shadows is an axiomatic, bicategorical framework that generalizes topological Hochschild homology (THH) and satisfies analogous important properties, such as Morita invariance. Using Berman's extension of THH to bicategories, we prove that there is an equivalence between functors out of Hochschild homology of a bicategory and shadows on that bicategory. As part of that proof we give a computational description of pseudo-functors out of the truncated simplex category and a variety thereof, which can be of independent interest. Building on this result we present three applications: (1) We provide a new, conceptual proof that shadows, and as a result the Euler characteristic and trace introduced by Campbell and Ponto, are Morita invariant. (2) We strengthen this result by using an explicit computation of the Hochschild homology of the free adjunction bicategory to show that the construction of the Euler characteristic is homotopically unique. (3) We generalize the construction of $\mathscr{V}$-enriched Hochschild homology, where $\mathscr{V}$ is a presentably symmetric monoidal $\infty$-category, to bimodules, and prove it gives us a shadow.


title: Temporal Shift Reinforcement Learning

abstract: The function approximators employed by traditional image-based Deep Reinforcement Learning (DRL) algorithms usually lack a temporal learning component and instead focus on learning the spatial component. We propose a technique, Temporal Shift Reinforcement Learning (TSRL), wherein both temporal, as well as spatial components are jointly learned. Moreover, TSRL does not require additional parameters to perform temporal learning. We show that TSRL outperforms the commonly used frame stacking heuristic on both of the Atari environments we test on while beating the SOTA for one of them. This investigation has implications in the robotics as well as sequential decision-making domains.


title: Constructions of Kummer structures on generalized Kummer surfaces

abstract: We study generalized Kummer surfaces Km$_{3}(A)$, by which we mean the K3 surfaces obtained by desingularization of the quotient of an abelian surface $A$ by an order $3$ symplectic automorphism group. Such a surface carries $9$ disjoint configurations of two smooth rational curves $C,C'$ with $CC'=1$. This $9{\bf A}_{2}$-configuration plays a role similar to the Nikulin configuration of $16$ disjoint smooth rational curves on (classical) Kummer surfaces. We study the (generalized) question of T. Shioda: suppose that Km$_{3}(A)$ is isomorphic to Km$_{3}(B)$, does that imply that $A$ and $B$ are isomorphic? We answer by the negative in general, by two methods: by a link between that problem and Fourier-Mukai partners of $A$, and by construction of $9{\bf A}_{2}$-configurations on Km$_{3}(A)$ which cannot be exchanged under the automorphism group.


title: HEI: hybrid explicit-implicit learning for multiscale problems

abstract: Splitting is a method to handle application problems by splitting physics, scales, domain, and so on. Many splitting algorithms have been designed for efficient temporal discretization. In this paper, our goal is to use temporal splitting concepts in designing machine learning algorithms and, at the same time, help splitting algorithms by incorporating data and speeding them up. Since the spitting solution usually has an explicit and implicit part, we will call our method hybrid explicit-implict (HEI) learning. We will consider a recently introduced multiscale splitting algorithms. To approximate the dynamics, only a few degrees of freedom are solved implicitly, while others explicitly. In this paper, we use this splitting concept in machine learning and propose several strategies. First, the implicit part of the solution can be learned as it is more difficult to solve, while the explicit part can be computed. This provides a speed-up and data incorporation for splitting approaches. Secondly, one can design a hybrid neural network architecture because handling explicit parts requires much fewer communications among neurons and can be done efficiently. Thirdly, one can solve the coarse grid component via PDEs or other approximation methods and construct simpler neural networks for the explicit part of the solutions. We discuss these options and implement one of them by interpreting it as a machine translation task. This interpretation successfully enables us using the Transformer since it can perform model reduction for multiple time series and learn the connection. We also find that the splitting scheme is a great platform to predict the coarse solution with insufficient information of the target model: the target problem is partially given and we need to solve it through a known problem. We conduct four numerical examples and the results show that our method is stable and accurate.


title: Adaptive Turbo Equalization for Nonlinearity Compensation in WDM Systems

abstract: In this paper, the performance of adaptive turbo equalization for nonlinearity compensation (NLC) is investigated. A turbo equalization scheme is proposed where a recursive least-squares (RLS) algorithm is used as an adaptive channel estimator to track the time-varying intersymbol interference (ISI) coefficients associated with inter-channel nonlinear interference (NLI) model. The estimated channel coefficients are used by a MIMO 2x2 soft-input soft-output (SISO) linear minimum mean square error (LMMSE) equalizer to compensate for the time-varying ISI. The SISO LMMSE equalizer and the SISO forward error correction (FEC) decoder exchange extrinsic information in every turbo iteration, allowing the receiver to improve the performance of the channel estimation and the equalization, achieving lower bit-error-rate (BER) values. The proposed scheme is investigated for polarization multiplexed 64QAM and 256QAM, although it applies to any proper modulation format. Extensive numerical results are presented. It is shown that the scheme allows up to 0.7 dB extra gain in effectively received signal-to-noise ratio (SNR) and up to 0.2 bits/symbol/pol in generalized mutual information (GMI), on top of the gain provided by single-channel digital backpropagation.


title: Formation and crossover of multiple helical dipole chains

abstract: We investigate the classical equilibrium properties and metamorphosis of the ground state of interacting dipoles with fixed locations on a helix. The dipoles are shown to align themselves along separate intertwined dipole chains forming single, double, and higher-order helical chains. The number of dipole chains, and their properties such as chirality and length scale on which the chains wind around each other, can be tuned by the geometrical parameters. We demonstrate that all possible configurations form a self-similar bifurcation diagram which can be linked to the Stern-Brocot tree and the underlying Farey sequence. We describe the mechanism responsible for this behavior and subsequently discuss corresponding implications and possible applications.


title: Robust Importance Sampling for Error Estimation in the Context of Optimal Bayesian Transfer Learning

abstract: Classification has been a major task for building intelligent systems as it enables decision-making under uncertainty. Classifier design aims at building models from training data for representing feature-label distributions--either explicitly or implicitly. In many scientific or clinical settings, training data are typically limited, which makes designing accurate classifiers and evaluating their classification error extremely challenging. While transfer learning (TL) can alleviate this issue by incorporating data from relevant source domains to improve learning in a different target domain, it has received little attention for performance assessment, notably in error estimation. In this paper, we fill this gap by investigating knowledge transferability in the context of classification error estimation within a Bayesian paradigm. We introduce a novel class of Bayesian minimum mean-square error (MMSE) estimators for optimal Bayesian transfer learning (OBTL), which enables rigorous evaluation of classification error under uncertainty in a small-sample setting. Using Monte Carlo importance sampling, we employ the proposed estimator to evaluate the classification accuracy of a broad family of classifiers that span diverse learning capabilities. Experimental results based on both synthetic data as well as real-world RNA sequencing (RNA-seq) data show that our proposed OBTL error estimation scheme clearly outperforms standard error estimators, especially in a small-sample setting, by tapping into the data from other relevant domains.


title: Electric field effect on electron gas spins in two-dimensional magnets with strong spin-orbit coupling

abstract: The recent rise of material platforms combining magnetism and two-dimensionality of mobile carriers reveals a diverse spectrum of spin-orbit phenomena and stimulates its ongoing theoretical discussions. In this work we use the density matrix approach to provide a unified description of subtle microscopic effects governing the electron gas spin behavior in the clean limit upon electric perturbations in two-dimensional magnets with strong spin-orbit coupling. We discuss that an inhomogeneity of electrostatic potential generally leads to the electron gas spin tilting with the subsequent formation of equilibrium skyrmion-like spin textures and demonstrate that several microscopic mechanisms of 2DEG spin response are equally important for this effect. We analyze the dynamics of 2DEG spin upon an oscillating electric field with a specific focus on the emergent electric dipole spin resonance. We address the resonant enhancement of magneto-optical phenomena from the spin precession equation perspective and discuss it in terms of the resonant spin generation. We also clarify the connection of both static and dynamic spin phenomena arising in response to a scalar perturbation with the electronic band Berry curvature.


title: Every Continuum has a Compact Universal Cover

abstract: We define the compact universal cover of a compact, metrizable connected space (i.e. a continuum) X to be the inverse limit of all continua that regularly cover X. We show that such covers do indeed form an inverse system with bonding maps that are regular covering maps, and the projection from the inverse limit is a generalized regular covering map in the sense of Berestovskii-Plaut. The inverse limit space is a continuum that is "compactly simply connected" in the sense that its "profinite fundamental group" (the inverse limit of the deck groups of the finite covers) is trivial. We prove a Galois Correspondence for closed normal subgroups of the compact fundamental group, uniqueness, universal and lifting properties. As an application we prove that every non-compact manifold that regularly covers a compact manifold has a unique "profinite compactification", i.e. an imbedding as a dense subset in a compactly simply connected continuum. As part of the proof of metrizability of the inverse limit we show that every continuum has at most n! non-equivalent n-fold covers by continua.


title: Spatial Domain Feature Extraction Methods for Unconstrained Handwritten Malayalam Character Recognition

abstract: Handwritten character recognition is an active research challenge,especially for Indian scripts. This paper deals with handwritten Malayalam, with a complete set of basic characters, vowel and consonant signs and compound characters that may be present in the script. Spatial domain features suitable for recognition are chosen in this work. For classification, k-NN, SVM and ELM are employed


title: The fallacy of the closest antenna: Towards an adequate view of device location in the mobile network

abstract: The partition of the Mobile Phone Network (MPN) service area into the cell towers' Voronoi polygons (VP) may serve as a coordinate system for representing the location of the mobile phone devices. This view is shared by numerous papers that exploit mobile phone data for studying human spatial mobility. We investigate the credibility of this view by comparing volunteers' locational data of two kinds: (1) Cell towers' that served volunteers' connections and (2) The GPS tracks of the users at the time of connection. In more than 60\% of connections, user's mobile device was found outside the VP of the cell tower that served for the connection. We demonstrate that the area of possible device's location is many times larger than the area of the cell tower's VP. To comprise 90\% of the possible locations of the devices that may be connected to the cell tower one has to consider the tower's VP together with the two rings of the VPs adjacent to the tower's VPs. An additional, third, ring of the adjacent VPs is necessary to comprise 95\% of possible locations of the devices that can be connected to a cell tower. The revealed location uncertainty is in the nature of the MPN structure and service and entail essential overlap between the cell towers' service areas. We discuss the far-reaching consequences of this uncertainty in regards to the estimating of locational privacy and urban mobility. Our results undermine today's dominant opinion that an adversary, who obtains the access to the database of the Call Detail Records maintained by the MPN operator, can identify a mobile device without knowing its number based on a very short sequence of time-stamped field observations of the user's connection.


title: Frequency-resolved lags in UV/optical continuum reverberation mapping

abstract: In recent years, continuum reverberation mapping involving high cadence UV/optical monitoring campaigns of nearby Active Galactic Nuclei has been used to infer the size of their accretion disks. One of the main results from these campaigns has been that in many cases the accretion disks appear too large, by a factor of 2 - 3, compared to standard models. Part of this may be due to diffuse continuum emission from the broad line region (BLR), which is indicated by excess lags around the Balmer jump. Standard cross correlation lag analysis techniques are usually used to just recover the peak or centroid lag and can not easily distinguish between reprocessing from the disk and BLR. However, frequency-resolved lag analysis, where the lag is determined at each Fourier frequency, has the potential to separate out reprocessing on different size scales. Here we present simulations to demonstrate the potential of this method and then apply a maximum likelihood approach to determine frequency-resolved lags in NGC 5548. We find that the lags in NGC 5548 generally decrease smoothly with increasing frequency, and are not easily described by accretion disk reprocessing alone. The standard cross correlation lags are consistent with lags at frequencies lower than 0.1 per day, indicating they are dominated from reprocessing at size scales greater than about 10 light days. A combination of a more distant reprocessor, consistent with the BLR, along with a standard-sized accretion disk is more consistent with the observed lags than a larger disk alone.


title: Linking disjoint axis-parallel segments into a simple polygon is hard too

abstract: Deciding whether a family of disjoint axis-parallel line segments in the plane can be linked into a simple polygon (or a simple polygonal chain) by adding segments between their endpoints is NP-hard.


title: Learning with Holographic Reduced Representations

abstract: Holographic Reduced Representations (HRR) are a method for performing symbolic AI on top of real-valued vectors by associating each vector with an abstract concept, and providing mathematical operations to manipulate vectors as if they were classic symbolic objects. This method has seen little use outside of older symbolic AI work and cognitive science. Our goal is to revisit this approach to understand if it is viable for enabling a hybrid neural-symbolic approach to learning as a differentiable component of a deep learning architecture. HRRs today are not effective in a differentiable solution due to numerical instability, a problem we solve by introducing a projection step that forces the vectors to exist in a well behaved point in space. In doing so we improve the concept retrieval efficacy of HRRs by over $100\times$. Using multi-label classification we demonstrate how to leverage the symbolic HRR properties to develop an output layer and loss function that is able to learn effectively, and allows us to investigate some of the pros and cons of an HRR neuro-symbolic learning approach. Our code can be found at https://github.com/NeuromorphicComputationResearchProgram/Learning-with-Holographic-Reduced-Representations


title: K-Step Opacity in Discrete Event Systems: Verification, Complexity, and Relations

abstract: Opacity is a property expressing whether a system may reveal its secret to a passive observer (an intruder) who knows the structure of the system but has a limited observation of its behavior. Several notions of opacity have been studied, including current-state opacity, K-step opacity, and infinite-step opacity. We study K-step opacity that generalizes both current-state opacity and infinite-step opacity, and asks whether the intruder cannot decide, at any time, whether or when the system was in a secret state during the last K observable steps. We design a new algorithm deciding K-step opacity the complexity of which is lower than that of existing algorithms and that does not depend on K. We then compare K-step opacity with other opacity notions and provide new transformations among the notions that do not use states that are neither secret nor non-secret (neutral states) and that are polynomial with respect to both the size of the system and the binary encoding of K.


title: PGIR 20eid (SN2020qmp): A Type IIP Supernova at 15.6 Mpc discovered by the Palomar Gattini-IR survey

abstract: We present a detailed analysis of SN 2020qmp, a nearby type IIP core-collapse supernova (CCSN), discovered by the Palomar Gattini-IR (PGIR) survey in the galaxy UGC07125. We illustrate how the multiwavelength study of this event helps our general understanding of stellar progenitors and circumstellar medium (CSM) interactions in CCSNe. We also highlight the importance of near-infrared (NIR) surveys for early detections of SNe in dusty environments. SN 2020qmp displays characteristic hydrogen lines in its optical spectra, as well as a plateau in its optical LC, hallmarks of a type IIP SN. We do not detect linear polarization during the plateau phase, with a 3 sigma upper limit of 0.78%. Through hydrodynamical LC modeling and an analysis of its nebular spectra, we estimate a progenitor mass of around 11 solar masses, and an explosion energy of around 0.8e51 erg. We find that the spectral energy distribution cannot be explained by a simple CSM interaction model, assuming a constant shock velocity and steady mass-loss rate, and the excess X-ray luminosity compared with the synchrotron radio luminosity suggests deviations from equipartition. Finally, we demonstrate the advantages of NIR surveys over optical surveys for the detection of dust-obscured CCSNe in the local universe. Specifically, our simulations show that the Wide-Field Infrared Transient Explorer will detect about 14 more CCSNe out of 75 expected in its footprint within 40 Mpc, over five years than an optical survey equivalent to the Zwicky Transient Facility would detect. We have determined or constrained the main properties of SN 2020qmp and of its progenitor, highlighting the value of multiwavelength follow-up observations of nearby CCSNe. We have also shown that forthcoming NIR surveys will finally enable us to do a nearly complete census of CCSNe in the local universe.


title: Urban Fire Station Location Planning using Predicted Demand and Service Quality Index

abstract: In this article, we propose a systematic approach for fire station location planning. We develop machine learning models, based on Random Forest and Extreme Gradient Boosting, for demand prediction and utilize the models further to define a generalized index to measure quality of fire service in urban settings. Our model is built upon spatial data collected from multiple different sources. Efficacy of proper facility planning depends on choice of candidates where fire stations can be located along with existing stations, if any. Also, the travel time from these candidates to demand locations need to be taken care of to maintain fire safety standard. Here, we propose a travel time based clustering technique to identify suitable candidates. Finally, we develop an optimization problem to select best locations to install new fire stations. Our optimization problem is built upon maximum coverage problem, based on integer programming. We further develop a two-stage stochastic optimization model to characterize the confidence in our decision outcome. We present a detailed experimental study of our proposed approach in collaboration with city of Victoria Fire Department, MN, USA. Our demand prediction model achieves true positive rate of 80% and false positive rate of 20% approximately. We aid Victoria Fire Department to select a location for a new fire station using our approach. We present detailed results on improvement statistics by locating a new facility, as suggested by our methodology, in the city of Victoria.


title: Modular Framework for Visuomotor Language Grounding

abstract: Natural language instruction following tasks serve as a valuable test-bed for grounded language and robotics research. However, data collection for these tasks is expensive and end-to-end approaches suffer from data inefficiency. We propose the structuring of language, acting, and visual tasks into separate modules that can be trained independently. Using a Language, Action, and Vision (LAV) framework removes the dependence of action and vision modules on instruction following datasets, making them more efficient to train. We also present a preliminary evaluation of LAV on the ALFRED task for visual and interactive instruction following.


title: Gauge Field Theory Vacuum and Cosmological Inflation without Scalar Field

abstract: We derive the quantum energy-momentum tensor and the corresponding quantum equation of state for gauge field theory using the effective Lagrangian approach. The energy-momentum tensor has a term proportional to the space-time metric and provides a finite non-diverging contribution to the effective cosmological term. This allows to investigate the influence of the gauge field theory vacuum polarisation on the evolution of Friedmann cosmology, inflation and primordial gravitational waves. The Type I-IV solutions of the Friedmann equations induced by the gauge field theory vacuum polarisation provide an alternative inflationary mechanism and a possibility for late-time acceleration. The Type II solution of the Friedmann equations generates the initial exponential expansion of the universe of finite duration and the Type IV solution demonstrates late-time acceleration. The solutions fulfil the necessary conditions for the amplification of primordial gravitational waves.


title: Quantum computation of molecular structure using data from challenging-to-classically-simulate nuclear magnetic resonance experiments

abstract: We propose a quantum algorithm for inferring the molecular nuclear spin Hamiltonian from time-resolved measurements of spin-spin correlators, which can be obtained via nuclear magnetic resonance (NMR). We focus on learning the anisotropic dipolar term of the Hamiltonian, which generates dynamics that are challenging-to-classically-simulate in some contexts. We demonstrate the ability to directly estimate the Jacobian and Hessian of the corresponding learning problem on a quantum computer, allowing us to learn the Hamiltonian parameters. We develop algorithms for performing this computation on both noisy near-term and future fault-tolerant quantum computers. We argue that the former is promising as an early beyond-classical quantum application since it only requires evolution of a local spin Hamiltonian. We investigate the example of a protein (ubiquitin) confined in a membrane as a benchmark of our method. We isolate small spin clusters, demonstrate the convergence of our learning algorithm on one such example, and then investigate the learnability of these clusters as we cross the ergodic to non-ergodic phase transition by suppressing the dipolar interaction. We see a clear correspondence between a drop in the multifractal dimension measured across many-body eigenstates of these clusters, and a transition in the structure of the Hessian of the learning cost-function (from degenerate to learnable). Our hope is that such quantum computations might enable the interpretation and development of new NMR techniques for analyzing molecular structure.


title: Estimation of cluster functionals for regularly varying time series: runs estimators

abstract: Cluster indices describe extremal behaviour of stationary time series. We consider runs estimators of cluster indices. Using a modern theory of multivariate, regularly varying time series, we obtain central limit theorems under conditions that can be easily verified for a large class of models. In particular, we show that blocks and runs estimators have the same limiting variance.


title: FBDNN: Filter Banks and Deep Neural Networks for Portable and Fast Brain-Computer Interfaces

abstract: Objective: To propose novel SSVEP classification methodologies using deep neural networks (DNNs) and improve performances in single-channel and user-independent brain-computer interfaces (BCIs) with small data lengths. Approach: We propose the utilization of filter banks (creating sub-band components of the EEG signal) in conjunction with DNNs. In this context, we created three different models: a recurrent neural network (FBRNN) analyzing the time domain, a 2D convolutional neural network (FBCNN-2D) processing complex spectrum features and a 3D convolutional neural network (FBCNN-3D) analyzing complex spectrograms, which we introduce in this study as possible input for SSVEP classification. We tested our neural networks on three open datasets and conceived them so as not to require calibration from the final user, simulating a user-independent BCI. Results: The DNNs with the filter banks surpassed the accuracy of similar networks without this preprocessing step by considerable margins, and they outperformed common SSVEP classification methods (SVM and FBCCA) by even higher margins. Conclusion and significance: Filter banks allow different types of deep neural networks to more efficiently analyze the harmonic components of SSVEP. Complex spectrograms carry more information than complex spectrum features and the magnitude spectrum, allowing the FBCNN-3D to surpass the other CNNs. The performances obtained in the challenging classification problems indicates a strong potential for the construction of portable, economical, fast and low-latency BCIs.


title: Assessing the Use Cases of Persistent Memory in High-Performance Scientific Computing

abstract: As the High Performance Computing world moves towards the Exa-Scale era, huge amounts of data should be analyzed, manipulated and stored. In the traditional storage/memory hierarchy, each compute node retains its data objects in its local volatile DRAM. Whenever the DRAM's capacity becomes insufficient for storing this data, the computation should either be distributed between several compute nodes, or some portion of these data objects must be stored in a non-volatile block device such as a hard disk drive or an SSD storage device. Optane DataCenter Persistent Memory Module (DCPMM), a new technology introduced by Intel, provides non-volatile memory that can be plugged into standard memory bus slots and therefore be accessed much faster than standard storage devices. In this work, we present and analyze the results of a comprehensive performance assessment of several ways in which DCPMM can 1) replace standard storage devices, and 2) replace or augment DRAM for improving the performance of HPC scientific computations. To achieve this goal, we have configured an HPC system such that DCPMM can service I/O operations of scientific applications, replace standard storage devices and file systems (specifically for diagnostics and checkpoint-restarting), and serve for expanding applications' main memory. We focus on keeping the scientific codes with as few changes as possible, while allowing them to access the NVM transparently as if they access persistent storage. Our results show that DCPMM allows scientific applications to fully utilize nodes' locality by providing them with sufficiently-large main memory. Moreover, it can be used for providing a high-performance replacement for persistent storage. Thus, the usage of DCPMM has the potential of replacing standard HDD and SSD storage devices in HPC architectures and enabling a more efficient platform for modern supercomputing applications.


title: Robust Attentive Deep Neural Network for Exposing GAN-generated Faces

abstract: GAN-based techniques that generate and synthesize realistic faces have caused severe social concerns and security problems. Existing methods for detecting GAN-generated faces can perform well on limited public datasets. However, images from existing public datasets do not represent real-world scenarios well enough in terms of view variations and data distributions (where real faces largely outnumber synthetic faces). The state-of-the-art methods do not generalize well in real-world problems and lack the interpretability of detection results. Performance of existing GAN-face detection models degrades significantly when facing imbalanced data distributions. To address these shortcomings, we propose a robust, attentive, end-to-end network that can spot GAN-generated faces by analyzing their eye inconsistencies. Specifically, our model learns to identify inconsistent eye components by localizing and comparing the iris artifacts between the two eyes automatically. Our deep network addresses the imbalance learning issues by considering the AUC loss and the traditional cross-entropy loss jointly. Comprehensive evaluations of the FFHQ dataset in terms of both balanced and imbalanced scenarios demonstrate the superiority of the proposed method.


title: Differentiability properties for boundary control of fluid-structure interactions of linear elasticity with Navier-Stokes equations with mixed-boundary conditions in a channel

abstract: In this paper we consider a fluid-structure interaction problem given by the steady Navier Stokes equations coupled with linear elasticity taken from [Lasiecka, Szulc, and Zochoswki, Nonl. Anal.: Real World Appl., 44, 2018]. An elastic body surrounded by a liquid in a rectangular domain is deformed by the flow which can be controlled by the Dirichlet boundary condition at the inlet. On the walls along the channel homogeneous Dirichlet boundary conditions and on the outflow boundary do-nothing conditions are prescribed. We recall existence results for the nonlinear system from that reference and analyze the control to state mapping generalizing the results of [Wollner and Wick, J. Math. Fluid Mech., 21, 2019] to the setting of the nonlinear Navier-Stokes equation for the fluid and the situation of mixed boundary conditions in a domain with corners.


title: Stereoscopy of extreme UV quiet Sun brightenings observed by Solar Orbiter/EUI

abstract: The 3D fine structure of the solar atmosphere is still not fully understood as most of the available observations are taken from a single vantage point. The goal of the paper is to study the 3D distribution of small-scale brightening events ("campfires") discovered in the EUV quiet Sun by the Extreme Ultraviolet Imager (EUI) aboard Solar Orbiter. We used a first commissioning data set acquired by the EUI's High Resolution EUV telescope on 30 May 2020 in the 174 {\AA} passband and we combined it with simultaneous data taken by the Atmospheric Imaging Assembly (AIA) aboard the Solar Dynamics Observatory in a similar 171 {\AA} passband. The two-pixel spatial resolution of the two telescopes is 400 km and 880 km, respectively, which is sufficient to identify the campfires in both data sets. The two spacecraft had an angular separation of around 31.5 degrees (essentially in heliographic longitude), which allowed for the 3D reconstruction of the campfire position. These observations represent the first time that stereoscopy was achieved for brightenings at such a small scale. Manual and automatic triangulation methods were used to characterize the campfire data. The height of the campfires is located between 1000 km and 5000 km above the photosphere and we find a good agreement between the manual and automatic methods. The internal structure of campfires is mostly unresolved by AIA; however, for a particularly large campfire, we were able to triangulate a few pixels, which are all in a narrow range between 2500 and 4500 km. The low height of EUI campfires suggests that they belong to the previously unresolved fine structure of the transition region and low corona of the quiet Sun. They are probably apexes of small-scale dynamic loops heated internally to coronal temperatures. This work demonstrates that high-resolution stereoscopy of structures in the solar atmosphere has become feasible.


title: Detecting Subsolar-Mass Primordial Black Holes in Extreme Mass-Ratio Inspirals with LISA and Einstein Telescope

abstract: Primordial black holes possibly formed in the early universe could provide a significant fraction of the dark matter and would be unique probes of inflation. A smoking gun for their discovery would be the detection of a subsolar mass compact object. We argue that extreme mass-ratio inspirals will be ideal to search for subsolar-mass black holes not only with LISA but also with third-generation ground-based detectors such as Cosmic Explorer and the Einstein Telescope. These sources can provide unparalleled measurements of the mass of the secondary object at subpercent level for primordial black holes as light as ${\cal O}(0.01)M_\odot$ up to luminosity distances around hundred megaparsec and few gigaparsec for LISA and Einstein Telescope, respectively, in a complementary frequency range. This would allow claiming, with very high statistical confidence, the detection of a subsolar-mass black hole, which would also provide a novel (and currently undetectable) family of sources for third-generation detectors.


title: Right Ventricular Segmentation from Short- and Long-Axis MRIs via Information Transition

abstract: Right ventricular (RV) segmentation from magnetic resonance imaging (MRI) is a crucial step for cardiac morphology and function analysis. However, automatic RV segmentation from MRI is still challenging, mainly due to the heterogeneous intensity, the complex variable shapes, and the unclear RV boundary. Moreover, current methods for the RV segmentation tend to suffer from performance degradation at the basal and apical slices of MRI. In this work, we propose an automatic RV segmentation framework, where the information from long-axis (LA) views is utilized to assist the segmentation of short-axis (SA) views via information transition. Specifically, we employed the transformed segmentation from LA views as a prior information, to extract the ROI from SA views for better segmentation. The information transition aims to remove the surrounding ambiguous regions in the SA views. %, such as the tricuspid valve regions. We tested our model on a public dataset with 360 multi-center, multi-vendor and multi-disease subjects that consist of both LA and SA MRIs. Our experimental results show that including LA views can be effective to improve the accuracy of the SA segmentation. Our model is publicly available at https://github.com/NanYoMy/MMs-2.


title: Optimized protocol for DNA extraction from ancient skeletal remains using Chelex-100

abstract: PCR-based analysis of skeletonized human remains is a common aspect in both forensic human identification as well as Ancient DNA research. In this, both areas not merely utilize very similar methodology, but also share the same problems regarding quantity and quality of recovered DNA and presence of inhibitory substances in samples from excavated remains. To enable amplification based analysis of the remains, development of optimized DNA extraction procedures is thus a critical factor in both areas. The study here presents an optimized protocol for DNA extraction from ancient skeletonized remains using Chelex-100, which proved to be effective in yielding amplifiable extracts from sample material excavated after centuries in a soil environment, which consequently have high inhibitor content and overall limited DNA preservation. Success of the optimization strategies utilized is shown in significantly improved amplification outcomes compared to the predecessor method.


title: Multi-Agent Variational Occlusion Inference Using People as Sensors

abstract: Autonomous vehicles must reason about spatial occlusions in urban environments to ensure safety without being overly cautious. Prior work explored occlusion inference from observed social behaviors of road agents, hence treating people as sensors. Inferring occupancy from agent behaviors is an inherently multimodal problem; a driver may behave similarly for different occupancy patterns ahead of them (e.g., a driver may move at constant speed in traffic or on an open road). Past work, however, does not account for this multimodality, thus neglecting to model this source of aleatoric uncertainty in the relationship between driver behaviors and their environment. We propose an occlusion inference method that characterizes observed behaviors of human agents as sensor measurements, and fuses them with those from a standard sensor suite. To capture the aleatoric uncertainty, we train a conditional variational autoencoder with a discrete latent space to learn a multimodal mapping from observed driver trajectories to an occupancy grid representation of the view ahead of the driver. Our method handles multi-agent scenarios, combining measurements from multiple observed drivers using evidential theory to solve the sensor fusion problem. Our approach is validated on a cluttered, real-world intersection, outperforming baselines and demonstrating real-time capable performance. Our code is available at https://github.com/sisl/MultiAgentVariationalOcclusionInference .


title: Performance evaluation in the reconstruction of 2D images of computed tomography using massively parallel programming CUDA

abstract: Analysis of processing time and similarity of images generated between CPU and GPU architectures and sequential and parallel programming. For image processing a computer with AMD FX-8350 processor and an Nvidia GTX 960 Maxwell GPU was used, along with the CUDAFY library and the programming language C\# with the IDE Visual studio. The results of the comparisons indicate that the form of sequential programming in a CPU generates reliable images at a high custom of time when compared to the forms of parallel programming in CPU and GPU. While parallel programming generates faster results, but with increased noise in the reconstructed image. For data types float a GPU obtained best result with average time equivalent to 1/3 of the processor, however the data is of type double the parallel CPU approach obtained the best performance. For the float data type, the GPU had the best average time performance, while for the double data type the best average time performance was for the parallel approach CPU. Regarding image quality, the sequential approach obtained similar outputs, while the parallel approaches generated noise in their outputs.


title: Characterising the extended morphologies of BL Lacs at 144 MHz with LOFAR

abstract: We present a morphological and spectral study of a sample of 99 BL Lacs using the LOFAR Two-Metre Sky Survey Second Data Release (LDR2). Extended emission has been identified at gigahertz frequencies around BL Lacs, but with LDR2 it is now possible to systematically study their morphologies at 144 MHz, where more diffuse emission is expected. LDR2 reveals the presence of extended radio structures around 66/99 of the BL Lac nuclei, with angular extents ranging up to 115 arcseconds, corresponding to spatial extents of 410 kpc. The extended emission is likely to be both unbeamed diffuse emission and beamed emission associated with relativistic bulk motion in jets. The spatial extents and luminosities of the extended emission are consistent with the AGN unification scheme where BL Lacs correspond to low-excitation radio galaxies with the jet axis aligned along the line-of-sight. While extended emission is detected around the majority of BL Lacs, the median 144-1400 MHz spectral index and core dominance at 144 MHz indicate that the core component contributes ~42% on average to the total low-frequency flux density. A stronger correlation was found between the 144 MHz core flux density and the gamma-ray photon flux (r = 0.69) compared to the 144 MHz extended flux density and the gamma-ray photon flux (r = 0.42). This suggests that the radio-to-gamma-ray connection weakens at low radio frequencies because the population of particles that give rise to the gamma-ray flux are distinct from the electrons producing the diffuse synchrotron emission associated with spatially-extended features.


title: Transformer Models for Text Coherence Assessment

abstract: Coherence is an important aspect of text quality and is crucial for ensuring its readability. It is essential desirable for outputs from text generation systems like summarization, question answering, machine translation, question generation, table-to-text, etc. An automated coherence scoring model is also helpful in essay scoring or providing writing feedback. A large body of previous work has leveraged entity-based methods, syntactic patterns, discourse relations, and more recently traditional deep learning architectures for text coherence assessment. Previous work suffers from drawbacks like the inability to handle long-range dependencies, out-of-vocabulary words, or model sequence information. We hypothesize that coherence assessment is a cognitively complex task that requires deeper models and can benefit from other related tasks. Accordingly, in this paper, we propose four different Transformer-based architectures for the task: vanilla Transformer, hierarchical Transformer, multi-task learning-based model, and a model with fact-based input representation. Our experiments with popular benchmark datasets across multiple domains on four different coherence assessment tasks demonstrate that our models achieve state-of-the-art results outperforming existing models by a good margin.


title: Reaping the Rewards Later: How Education Improves Old-Age Cognition in South Africa

abstract: Cognition, a component of human capital, is fundamental for decision-making, and understanding the causes of human capital depreciation in old age is especially important in aging societies. Using various proxy measures of cognitive performance from a longitudinal survey in South Africa, we study how education affects cognition in late adulthood. We show that an extra year of schooling improves memory performance and general cognition. We find evidence of heterogeneous effects by gender: the effects are stronger among women. We explore potential mechanisms, and we show that a more supportive social environment, improved health habits, and reduced stress levels likely play a critical role in mediating the beneficial effects of educational attainment on cognition among the elderly.


title: A Critical Review of the state-of-the-art on Deep Neural Networks for Blood Glucose Prediction in Patients with Diabetes

abstract: This article compares ten recently proposed neural networks and proposes two ensemble neural network-based models for blood glucose prediction. All of them are tested under the same dataset, preprocessing workflow, and tools using the OhioT1DM Dataset at three different prediction horizons: 30, 60, and 120 minutes. We compare their performance using the most common metrics in blood glucose prediction and rank the best-performing ones using three methods devised for the statistical comparison of the performance of multiple algorithms: scmamp, model confidence set, and superior predictive ability. Our analysis highlights those models with the highest probability of being the best predictors, estimates the increase in error of the models that perform more poorly with respect to the best ones, and provides a guide for their use in clinical practice.


title: Shortened effect of coherence length of light due to nonselective linear absorption

abstract: Coherence length is an important feature of a real light wave. From the Michelson interference of He-Ne laser beam, it is found that the coherence length of the beam decreases with the decrease of intensity when the laser beam passes through a nonselective absorption filter and the intensity becomes low enough. This is a novel experimental phenomenon in optics, which verifies the characteristic of discrete wavelet structure of light for the first time.


title: Relative pressure functions and their equilibrium states

abstract: For a subshift $(X, \sigma_X)$ and a subadditive sequence $\mathcal{F}=\{\log f_n\}_{n=1}^{\infty}$ on $X$, we study equivalent conditions for the existence of $h\in C(X)$ such that $\lim_{n\rightarrow\infty}(1/{n})\int \log f_n d \mu=\int h d \mu$ for every invariant measure $\mu$ on $X$. For this purpose, we first we study necessary and sufficient conditions for $\mathcal{F}$ to be an asymptotically additive sequence in terms of certain properties for periodic points. For a factor map $\pi: X\rightarrow Y$, where $(X, \sigma_X)$ is an irreducible shift of finite type and $(Y, \sigma_Y)$ is a subshift, applying our results and the results obtained by Cuneo [7] on asymptotically additive sequences, we study the existence of $h$ with regard to a subadditive sequence associated to a relative pressure function. This leads to a characterization of the existence of a certain type of continuous compensation function for a factor map between subshifts. As an application, we study we study the projection $\pi\mu$ of an invariant weak Gibbs measure $\mu$ for a continuous function on an irreducible shift of finite type.


title: A non-aligning variant of generalized Tur\'an problems

abstract: In the so-called generalized Tur\'an problems we study the largest number of copies of $H$ in an $n$-vertex $F$-free graph $G$. Here we introduce a variant, where $F$ is not forbidden, but we restrict how copies of $H$ and $F$ can be placed in $G$. More precisely, given an integer $n$ and graphs $H$ and $F$, what is the largest number of copies of $H$ in an $n$-vertex graph such that the vertex set of that copy does not contain and is not contained in the vertex set of a copy of $F$? We solve this problem for some instances, give bounds in other instances, and we use our results to determine the generalized Tur\'an number for some pairs of graphs.


title: Square Root Marginalization for Sliding-Window Bundle Adjustment

abstract: In this paper we propose a novel square root sliding-window bundle adjustment suitable for real-time odometry applications. The square root formulation pervades three major aspects of our optimization-based sliding-window estimator: for bundle adjustment we eliminate landmark variables with nullspace projection; to store the marginalization prior we employ a matrix square root of the Hessian; and when marginalizing old poses we avoid forming normal equations and update the square root prior directly with a specialized QR decomposition. We show that the proposed square root marginalization is algebraically equivalent to the conventional use of Schur complement (SC) on the Hessian. Moreover, it elegantly deals with rank-deficient Jacobians producing a prior equivalent to SC with Moore-Penrose inverse. Our evaluation of visual and visual-inertial odometry on real-world datasets demonstrates that the proposed estimator is 36% faster than the baseline. It furthermore shows that in single precision, conventional Hessian-based marginalization leads to numeric failures and reduced accuracy. We analyse numeric properties of the marginalization prior to explain why our square root form does not suffer from the same effect and therefore entails superior performance.


title: Towards high-accuracy deep learning inference of compressible turbulent flows over aerofoils

abstract: The present study investigates the accurate inference of Reynolds-averaged Navier-Stokes solutions for the compressible flow over aerofoils in two dimensions with a deep neural network. Our approach yields networks that learn to generate precise flow fields for varying body-fitted, structured grids by providing them with an encoding of the corresponding mapping to a canonical space for the solutions. We apply the deep neural network model to a benchmark case of incompressible flow at randomly given angles of attack and Reynolds numbers and achieve an improvement of more than an order of magnitude compared to previous work. Further, for transonic flow cases, the deep neural network model accurately predicts complex flow behaviour at high Reynolds numbers, such as shock wave/boundary layer interaction, and quantitative distributions like pressure coefficient, skin friction coefficient as well as wake total pressure profiles downstream of aerofoils. The proposed deep learning method significantly speeds up the predictions of flow fields and shows promise for enabling fast aerodynamic designs.


title: Dimensionality, Coordination, and Robustness in Voting

abstract: We study the performance of voting mechanisms from a utilitarian standpoint, under the recently introduced framework of metric-distortion, offering new insights along three main lines. First, if $d$ represents the doubling dimension of the metric space, we show that the distortion of STV is $O(d \log \log m)$, where $m$ represents the number of candidates. For doubling metrics this implies an exponential improvement over the lower bound for general metrics, and as a special case it effectively answers a question left open by Skowron and Elkind (AAAI '17) regarding the distortion of STV under low-dimensional Euclidean spaces. More broadly, this constitutes the first nexus between the performance of any voting rule and the "intrinsic dimensionality" of the underlying metric space. We also establish a nearly-matching lower bound, refining the construction of Skowron and Elkind. Moreover, motivated by the efficiency of STV, we investigate whether natural learning rules can lead to low-distortion outcomes. Specifically, we introduce simple, deterministic and decentralized exploration/exploitation dynamics, and we show that they converge to a candidate with $O(1)$ distortion. Finally, driven by applications in facility location games, we consider several refinements and extensions of the standard metric-setting. Namely, we prove that the deterministic mechanism recently introduced by Gkatzelis, Halpern, and Shah (FOCS '20) attains the optimal distortion bound of $2$ under ultra-metrics, while it also comes close to our lower bound under distances satisfying approximate triangle inequalities.


title: Evolution of axial perturbations in space-time of a non-rotating uncharged primordial black hole

abstract: We derive the equation governing the axial-perturbations in the space-time of a non-rotating uncharged primordial black hole (PBH), produced in early Universe, whose metric is taken as the generalized McVittie metric. The generalized McVittie metric is a cosmological black hole metric, proposed by V. Faraoni and A. Jacques in 2007 [Phys. Rev. D 76, 063510 (2007)]. This describes the space-time of a Schwarzschild black hole embedded in FLRW-Universe, while allowing its mass-change. Our derivation has basic similarities with the procedure of derivation of S. Chandrasekhar, for deriving the Regge-Wheeler equation for Schwarzschild metric [S. Chandrasekhar, The Mathematical Theory of Black holes ; Oxford University Press (1983)] ; but it has some distinct differences with that due to the complexity and time-dependency of the generalized McVittie metric. We show that after applying some approximations which are very well valid in the early radiation-dominated Universe, the overall equation governing the axial perturbations can be separated into radial and angular parts, among which the radial part is the intended one, as the angular part is identical to the case of Schwarzschild metric as expected. We identify the potential from the Schr\"odinger-like format of the equation and draw some physical interpretation from it.


title: Achieving QoS for Real-Time Bursty Applications over Passive Optical Networks

abstract: Emerging real-time applications such as those classified under ultra-reliable low latency (uRLLC) generate bursty traffic and have strict Quality of Service (QoS) requirements. Passive Optical Network (PON) is a popular access network technology, which is envisioned to handle such applications at the access segment of the network. However, the existing standards cannot handle strict QoS constraints. The available solutions rely on instantaneous heuristic decisions and maintain QoS constraints (mostly bandwidth) in an average sense. Existing works with optimal strategies are computationally complex and are not suitable for uRLLC applications. This paper presents a novel computationally-efficient, far-sighted bandwidth allocation policy design for facilitating bursty traffic in a PON framework while satisfying strict QoS (age of information/delay and bandwidth) requirements of modern applications. To this purpose, first we design a delay-tracking mechanism which allows us to model the resource allocation problem from a control-theoretic viewpoint as a Model Predictive Control (MPC). MPC helps in taking far-sighted decisions regarding resource allocations and captures the time-varying dynamics of the network. We provide computationally efficient polynomial-time solutions and show its implementation in the PON framework. Compared to existing approaches, MPC reduces delay violations by approximately 15% for a delay-constrained application of 1ms target. Our approach is also robust to varying traffic arrivals.


title: On solutions with compact spectrum to nonlinear Klein--Gordon and Schroedinger equations

abstract: We consider finite energy solutions to the nonlinear Schroedinger equation and nonlinear Klein--Gordon equation and find the condition on the nonlinearity so that the standard, one-frequency solitary waves are the only solutions with compact spectrum. We also construct an example of a four-frequency solitary wave solution to the nonlinear Dirac equation in three dimensions.


title: $T_{cc}^+$ decays: Differential spectra and two-body final states

abstract: The recently discovered tetraquark, $T_{cc}^+$, has quark content $cc\bar{u}\bar{d}$ and a mass that lies just below open charm thresholds. Hence it is reasonable to expect the state to have a significant molecular component. We calculate the decay of the $T_{cc}^+$ in a molecular interpretation using effective field theory. In addition we calculate differential spectra as a function of the invariant mass of the final state charm meson pair. These are in good agreement with spectra measured by LHCb. We also point out that if shallow bound states of two pseudoscalar charm mesons exist, then two-body decays to those bound states and a single pion or photon can significantly enhance the width of the $T_{cc}^+$.


title: Long-term variability of the composite galaxy SDSS J103911-000057: A candidate of true Type-2 AGN

abstract: In the manuscript, the composite galaxy SDSS J103911-000057 (=SDSS J1039) is reported as a better candidate of true Type-2 AGN without hidden BLRs. None broad but only narrow emission lines detected in SDSS J1039 can be well confirmed both by the F-test technique and by the expected broad emission lines with EW smaller than 13.5\AA~ with 99\% confidence level. Meanwhile, a reliable AGN power law component is preferred with confidence level higher than 7sigma in SDSS J1039. Furthermore, the long-term variability of SDSS J1039 from CSS can be well described by the DRW process with intrinsic variability timescale $\tau\sim100{\rm days}$, similar as normal quasars. And, based on BH mass in SDSS J1039 through the msig relation and on the correlation between AGN continuum luminosity and total H$\alpha$ luminosity, the expected broad H$\alpha$, if there was, could be re-constructed with line width about $300-1000{\rm km~s^{-1}}$ and with line flux about $666\times10^{-17}{\rm erg~s^{-1}~cm^{-2}}$ under the Virialization assumption to BLRs, providing robust evidence to reject the probability that the intrinsic probable broad H$\alpha$ were overwhelmed by noises of the SDSS spectrum in SDSS J1039. Moreover, the SDSS J1039 does follow the same correlation between continuum luminosity and [O~{\sc iii}] line luminosity as the one for normal broad line AGN, indicating SDSS J1039 classified as a changing-look AGN at dim state can be well ruled out. Therefore, under the current knowledge, SDSS J1039 is a better candidate of true Type-2 AGN.


title: Giant Peltier Conductivity in an Uncompensated Semimetal Ta2PdSe6

abstract: Thermoelectric properties of single crystal Ta2PdSe6 is investigated by means of transport measurements, and a density functional calculation. We found a giant Peltier conductivity of 100 Acm-1K-1 at 10 K and successfully explained it by means of conventional semiconductor theory. We concluded that an uncompensated semimetal, high mobility, and heavy effective mass are responsible for the giant Peltier conductivity. Our finding opens a new ground in the field of thermoelectrics to explore much better semimetals for a new possible application such as an electric current generator for a superconducting magnet.


title: An anisotropic inverse mean curvature flow for spacelike graphic curves in Lorentz-Minkowski plane $\mathbb{R}^{2}_{1}$

abstract: In this paper, we consider the evolution of spacelike graphic curves defined over a piece of hyperbola $\mathscr{H}^{1}(1)$, of center at origin and radius $1$, in the $2$ dimensional Lorentz-Minkowski plane $\mathbb{R}^{2}_{1}$ along an anisotropic inverse mean curvature flow with the vanishing Neumann boundary condition, and prove that this flow exists for all the time. Moreover, we can show that, after suitable rescaling, the evolving spacelike graphic curves converge smoothly to a piece of hyperbola of center at origin and prescribed radius, which actually corresponds to a constant function defined over the piece of $\mathscr{H}^{1}(1)$, as time tends to infinity.


title: Privacy-Preserved Average Consensus Algorithms with Edge-based Additive Perturbations

abstract: In this paper, we consider the privacy preservation problem in both discrete- and continuous-time average consensus algorithms with strongly connected and balanced graphs, against either internal honest-but-curious agents or external eavesdroppers. A novel algorithm is proposed, which adds edge-based perturbation signals to the process of consensus computation. Our algorithm can be divided into two phases: a coordinated scrambling phase, which is for privacy preservation, and a convergence phase. In the scrambling phase, each agent is required to generate some perturbation signals and add them to the edges leading out of it. In the convergence phase, the agents update their states following a normal updating rule. It is shown that an internal honest-but-curious agent can obtain the privacy of a target agent if and only if no other agents can communicate with the target agent.


title: A well-balanced oscillation-free discontinuous Galerkin method for shallow water equations

abstract: In this paper, we develop a well-balanced oscillation-free discontinuous Galerkin (OFDG) method for solving the shallow water equations with a non-flat bottom topography. One notable feature of the constructed scheme is the well-balanced property, which preserves exactly the hydrostatic equilibrium solutions up to machine error. Another feature is the non-oscillatory property, which is very important in the numerical simulation when there exist some shock discontinuities. To control the spurious oscillations, we construct an OFDG method with an extra damping term to the existing well-balanced DG schemes proposed in [Y. Xing and C.-W. Shu, CICP, 1(2006), 100-134.]. With a careful construction of the damping term, the proposed method achieves both the well-balanced property and non-oscillatory property simultaneously without compromising any order of accuracy. We also present a detailed procedure for the construction and a theoretical analysis for the preservation of the well-balancedness property. Extensive numerical experiments including one- and two-dimensional space demonstrate that the proposed methods possess the desired properties without sacrificing any order of accuracy.


title: Learning-Based Strategy Design for Robot-Assisted Reminiscence Therapy Based on a Developed Model for People with Dementia

abstract: In this paper, the robot-assisted Reminiscence Therapy (RT) is studied as a psychosocial intervention to persons with dementia (PwDs). We aim at a conversation strategy for the robot by reinforcement learning to stimulate the PwD to talk. Specifically, to characterize the stochastic reactions of a PwD to the robot's actions, a simulation model of a PwD is developed which features the transition probabilities among different PwD states consisting of the response relevance, emotion levels and confusion conditions. A Q-learning (QL) algorithm is then designed to achieve the best conversation strategy for the robot. The objective is to stimulate the PwD to talk as much as possible while keeping the PwD's states as positive as possible. In certain conditions, the achieved strategy gives the PwD choices to continue or change the topic, or stop the conversation, so that the PwD has a sense of control to mitigate the conversation stress. To achieve this, the standard QL algorithm is revised to deliberately integrate the impact of PwD's choices into the Q-value updates. Finally, the simulation results demonstrate the learning convergence and validate the efficacy of the achieved strategy. Tests show that the strategy is capable to duly adjust the difficulty level of prompt according to the PwD's states, take actions (e.g., repeat or explain the prompt, or comfort) to help the PwD out of bad states, and allow the PwD to control the conversation tendency when bad states continue.


title: The incompressible limit of the isentropic fluids in the analytic spaces

abstract: We consider the low Mach number limit problem of the Euler equations for isentropic fluids in the analytic spaces. We prove that, given general analytic initial data, the solution is uniformly bounded on a time interval independent of the small parameter and the incompressible limit holding in the analytic norm. The same results extend more generally to Gevrey initial data with convergence holds in a Gevrey norm. The results extend the isentropic fluids in arXiv:2102.11454 to more general pressure laws.


title: Quantum CPOs

abstract: We introduce the monoidal closed category qCPO of quantum cpos, whose objects are "quantized" analogs of omega-complete partial orders (cpos). The category qCPO is enriched over the category CPO of cpos, and contains both CPO, and the opposite of the category FdAlg of finite-dimensional von Neumann algebras as monoidal subcategories. We use qCPO to construct a sound model for the quantum programming language Proto-Quipper-M (PQM) extended with term recursion, as well as a sound and computationally adequate model for the Linear/Non-Linear Fixpoint Calculus (LNL-FPC), which is both an extension of the Fixpoint Calculus (FPC) with linear types, and an extension of a circuit-free fragment of PQM that includes recursive types.


title: Gottesman Types for Quantum Programs

abstract: The Heisenberg representation of quantum operators provides a powerful technique for reasoning about quantum circuits, albeit those restricted to the common (non-universal) Clifford set H, S and CNOT. The Gottesman-Knill theorem showed that we can use this representation to efficiently simulate Clifford circuits. We show that Gottesman's semantics for quantum programs can be treated as a type system, allowing us to efficiently characterize a common subset of quantum programs. We also show that it can be extended beyond the Clifford set to partially characterize a broad range of programs. We apply these types to reason about separable states and the superdense coding algorithm.


title: Quantum Hoare Type Theory: Extended Abstract

abstract: As quantum computers become real, it is high time we come up with effective techniques that help programmers write correct quantum programs. In classical computing, formal verification and sound static type systems prevent several classes of bugs from being introduced. There is a need for similar techniques in the quantum regime. Inspired by Hoare Type Theory in the classical paradigm, we propose Quantum Hoare Types by extending the Quantum IO Monad by indexing it with pre- and post-conditions that serve as program specifications. In this paper, we introduce Quantum Hoare Type Theory (QHTT), present its syntax and typing rules, and demonstrate its effectiveness with the help of examples. QHTT has the potential to be a unified system for programming, specifying, and reasoning about quantum programs. This is a work in progress.


title: Parsing Table Structures in the Wild

abstract: This paper tackles the problem of table structure parsing (TSP) from images in the wild. In contrast to existing studies that mainly focus on parsing well-aligned tabular images with simple layouts from scanned PDF documents, we aim to establish a practical table structure parsing system for real-world scenarios where tabular input images are taken or scanned with severe deformation, bending or occlusions. For designing such a system, we propose an approach named Cycle-CenterNet on the top of CenterNet with a novel cycle-pairing module to simultaneously detect and group tabular cells into structured tables. In the cycle-pairing module, a new pairing loss function is proposed for the network training. Alongside with our Cycle-CenterNet, we also present a large-scale dataset, named Wired Table in the Wild (WTW), which includes well-annotated structure parsing of multiple style tables in several scenes like the photo, scanning files, web pages, \emph{etc.}. In experiments, we demonstrate that our Cycle-CenterNet consistently achieves the best accuracy of table structure parsing on the new WTW dataset by 24.6\% absolute improvement evaluated by the TEDS metric. A more comprehensive experimental analysis also validates the advantages of our proposed methods for the TSP task.


title: Quiescent galaxies in a virialized cluster at redshift 2: Evidence for accelerated size-growth

abstract: We present an analysis of the galaxy population in XLSSC 122, an X-ray selected, virialized cluster at redshift $z=1.98$. We utilize HST WFC3 photometry to characterize the activity and morphology of spectroscopically confirmed cluster members. The quiescent fraction is found to be $88^{+4}_{-20}$ per cent within 0.5$r_{500}$, significantly enhanced over the field value of $20^{+2}_{-2}$ per cent at $z\sim2$. We find an excess of "bulge-like" quiescent cluster members with Sersic index $n>2$ relative to the field. These galaxies are found to be larger than their field counterparts at 99.6 per cent confidence, being on average $63^{+31}_{-24}$ per cent larger at a fixed mass of $M_\star = 5\times10^{10} M_\odot$. This suggests that these cluster member galaxies have experienced an accelerated size evolution relative to the field at $z>2$. We discuss minor mergers as a possible mechanism underlying this disproportionate size growth.


title: Mineral Processing and Metal Extraction on the Lunar Surface -- Challenges and Opportunities

abstract: The lunar surface is extremely harsh and current mineral processing and metal extraction technologies are not adequately equipped to address this environment. In this paper we review the metals available for extraction and conditions at the lunar surface, and analyse the challenges associated with comminution, beneficiation, and metal extraction operations. The potential beneficial effects of the natural lunar conditions are also evaluated. This investigation concludes that process plant design on the lunar surface will favour lightweight, schematically simple flow sheets that enable automation, and that utilise the local environment wherever possible. The elimination of traditional comminution and beneficiation stages and their replacement with basic classification could be economically favourable. The most promising metal reduction pathways are identified as molten regolith electrolysis, and vacuum thermal dissociation, other processes with merit are hydrogen reduction, carbothermal reduction, and solid electrolysis. Finally, it is identified that a significant research effort in all areas of astrometallurgy will be required before industrial-sized extra-terrestrial mineral processing and metal extraction operations will be viable.


title: Fairness via AI: Bias Reduction in Medical Information

abstract: Most Fairness in AI research focuses on exposing biases in AI systems. A broader lens on fairness reveals that AI can serve a greater aspiration: rooting out societal inequities from their source. Specifically, we focus on inequities in health information, and aim to reduce bias in that domain using AI. The AI algorithms under the hood of search engines and social media, many of which are based on recommender systems, have an outsized impact on the quality of medical and health information online. Therefore, embedding bias detection and reduction into these recommender systems serving up medical and health content online could have an outsized positive impact on patient outcomes and wellbeing. In this position paper, we offer the following contributions: (1) we propose a novel framework of Fairness via AI, inspired by insights from medical education, sociology and antiracism; (2) we define a new term, bisinformation, which is related to, but distinct from, misinformation, and encourage researchers to study it; (3) we propose using AI to study, detect and mitigate biased, harmful, and/or false health information that disproportionately hurts minority groups in society; and (4) we suggest several pillars and pose several open problems in order to seed inquiry in this new space. While part (3) of this work specifically focuses on the health domain, the fundamental computer science advances and contributions stemming from research efforts in bias reduction and Fairness via AI have broad implications in all areas of society.


title: Constituent quark axial current couplings to light vector mesons in the vacuum and with a weak magnetic field

abstract: Unusual constituent quark axial current couplings to light vector mesons, $\rho$ and $\omega$, are derived in the vacuum and under weak magnetic field by considering a quark-antiquark interaction mediated by a non perturbative gluon exchange. Similarly, light axial mesons are found to couple anomalously with the constituent quark vector current. These interactions are of the type of the Wess-Zumino-Witten terms, being strongly anisotropic and dependent on the vector (or axial) meson polarization. They also provide axial (vector) form factors for the vector (axial) mesons and are quite small, suppressed nearly by $1/{M^*}^2$ with respect to the vector mesons minimal coupling to the quark vector current. Some three leg meson vertices are also presented: $\pi-\rho-A_1$ and $V_1V_2 A$ (where $V_1,V_2$ are vector mesons and $A$ an axial meson). A vector and axial-vector mesons mixing is identified at non zero magnetic field which however can contribute only in the presence of a third particle or in a medium. Numerical results are presented for different effective gluon propagators.


title: On the edge eigenvalues of the precision matrices of nonstationary autoregressive processes

abstract: This paper investigates the structural changes in the parameters of first-order autoregressive models by analyzing the edge eigenvalues of the precision matrices. Specifically, edge eigenvalues in the precision matrix are observed if and only if there is a structural change in the autoregressive coefficients. We demonstrate that these edge eigenvalues correspond to the zeros of some determinantal equation. Additionally, we propose a consistent estimator for detecting outliers within the panel time series framework, supported by numerical experiments.


title: Tensor force role in $\beta$ decays analyzed within the Gogny-interaction shell model

abstract: Background: The half-life of the famous $^{14}$C $\beta$ decay is anomalously long, with different mechanisms: the tensor force, cross-shell mixing, and three-body forces, proposed to explain the cancellations that lead to a small transition matrix element. Purpose: We revisit and analyze the role of the tensor force for the $\beta$ decay of $^{14}$C as well as of neighboring isotopes. Methods: We add a tensor force to the Gogny interaction, and derive an effective Hamiltonian for shell-model calculations. The calculations were carried out in a $p$-$sd$ model space to investigate cross-shell effects. Furthermore, we decompose the wave functions according to the total orbital angular momentum $L$ in order to analyze the effects of the tensor force and cross-shell mixing. Results: The inclusion of the tensor force significantly improves the shell-model calculations of the $\beta$-decay properties of carbon isotopes. In particular, the anomalously slow $\beta$ decay of $^{14}$C can be explained by the isospin $T=0$ part of the tensor force, which changes the components of $^{14}$N with the orbital angular momentum $L=0,1$, and results in a dramatic suppression of the Gamow-Teller transition strength. At the same time, the description of other nearby $\beta$ decays are improved. Conclusions: Decomposition of wave function into $L$ components illuminates how the tensor force modifies nuclear wave functions, in particular suppression of $\beta$-decay matrix elements. Cross-shell mixing also has a visible impact on the $\beta$-decay strength. Inclusion of the tensor force does not seem to significantly change, however, binding energies of the nuclei within the phenomenological interaction.


title: Achieving Deterministic Service in Mobile Edge Computing (MEC) Networks

abstract: Mobile edge computing (MEC) is proposed to boost high-efficient and time-sensitive 5G applications. However, the "microburst" may occur even in lightly-loaded scenarios, which leads to the indeterministic service latency (i.e., unpredictable delay or delay variation), hence hindering the deployment of MEC. Deterministic IP networking (DIP) has been proposed that can provide bounds on latency, and high reliability in the large-scale networks. Nevertheless, the direct migration of DIP into the MEC network is non-trivial owing to its original design for the Ethernet with homogeneous devices. Meanwhile, DIP also faces the challenges on the network throughput and scheduling flexibility. In this paper, we delve into the adoption of DIP for the MEC networks and some of the relevant aspects. A deterministic MEC (D-MEC) network is proposed to deliver the deterministic service (i.e., providing the MEC service with bounded service latency). In the D-MEC network, two mechanisms, including the cycle mapping and cycle shifting, are designed to enable: (i) seamless and deterministic transmission with heterogeneous underlaid resources; and (ii) traffic shaping on the edges to improve the resource utilization. We also formulate a joint configuration to maximize the network throughput with deterministic QoS guarantees. Extensive simulations verify that the proposed D-MEC network can achieve a deterministic MEC service, even in the highly-loaded scenarios.


title: Holographic superconductors in 4D Einstein-Gauss-Bonnet gravity with backreactions

abstract: We construct the holographic superconductors away from the probe limit in the consistent $D\rightarrow4$ Einstein-Gauss-Bonnet gravity. We observe that, both for the ground state and excited states, the critical temperature first decreases then increases as the curvature correction tends towards the Chern-Simons limit in a backreaction dependent fashion. However, the decrease of the backreaction, the increase of the scalar mass, or the increase of the number of nodes will weaken this subtle effect of the curvature correction. Moreover, for the curvature correction approaching the Chern-Simons limit, we find that the gap frequency $\omega_g/T_c$ of the conductivity decreases first and then increases when the backreaction increases in a scalar mass dependent fashion, which is different from the finding in the ($3+1$)-dimensional superconductors that increasing backreaction increases $\omega_g/T_c$ in the full parameter space. The combination of the Gauss-Bonnet gravity and backreaction provides richer physics in the scalar condensates and conductivity in the ($2+1$)-dimensional superconductors.


title: Breached pair superfluidity: a brief review

abstract: Interior gap superfluidity was introduced together with Frank Wilczek. Later on together with our collaborators, we generalized this new possibility of superfluidity to a broader concept, breach pair superfluidity. In the occasion to celebrate Professor Frank Wilczek's seventieth birthday and his productive career in several major areas in physics, I dedicate this note to recall the exciting times of developing this idea, the main aspects of the proposed phase, and the discussion on its stability condition.


title: OGLE-2019-BLG-0304: Competing Interpretations between a Planet-binary Model and a Binary-source + Binary-lens model

abstract: We analyze the microlensing event OGLE-2019-BLG-0304, whose light curve exhibits two distinctive features: a deviation in the peak region and a second bump appearing $\sim 61$~days after the main peak. Although a binary-lens model can explain the overall features, it leaves subtle but noticeable residuals in the peak region. We find that the residuals can be explained by the presence of either a planetary companion located close to the primary of the binary lens (3L1S model) or an additional close companion to the source (2L2S model). Although the 3L1S model is favored over the 2L2S model, with $\Delta\chi^2\sim 8$, securely resolving the degeneracy between the two models is difficult with the currently available photometric data. According to the 3L1S interpretation, the lens is a planetary system, in which a planet with a mass $0.51^{+0.51}_{-0.23}~M_{\rm J}$ is in an S-type orbit around a binary composed of stars with masses $0.27^{+0.27}_{-0.12}~M_\odot$ and $0.10^{+0.10}_{-0.04}~M_\odot$. According to the 2L2S interpretation, on the other hand, the source is composed of G- and K-type giant stars, and the lens is composed of a low-mass M dwarf and a brown dwarf with masses $0.12^{+0.12}_{-0.05}~M_\odot$ and $0.045^{+0.045}_{-.019}~M_\odot$, respectively. The event illustrates the need for through model testing in the interpretation of lensing events with complex features in light curves.

categories: astro-ph.EP astro-ph.GA astro-ph.IM astro-ph.SR


title: KMT-2021-BLG-0322: Severe degeneracy between triple-lens and higher-order binary-lens interpretations

abstract: We investigate the microlensing event KMT-2021-BLG-0322, for which the light curve exhibits three distinctive sets of caustic-crossing features. It is found that the overall features of the light curve are approximately described by a binary-lens (2L1S) model, but the model leaves substantial residuals. We test various interpretations with the aim of explaining the residuals. We find that the residuals can be explained either by considering a nonrectilinear lens-source motion caused by the microlens-parallax and lens-orbital effects or by adding a low-mass companion to the binary lens (3L1S model). The degeneracy between the higher-order 2L1S model and the 3L1S model is very severe, making it difficult to single out a correct solution based on the photometric data. This degeneracy was known before for two previous events (MACHO-97-BLG-41 and OGLE-2013-BLG-0723), which led to the false detections of planets in binary systems, and thus the identification of the degeneracy for KMT-2021-BLG-0322 illustrates that the degeneracy can be not only common but also very severe, emphasizing the need to check both interpretations of deviations from 2L1S models. From the Bayesian analysis conducted with the measured lensing observables of the event timescale, angular Einstein radius, and microlens parallax, it was estimated that the binary lens components have masses $(M_1, M_2) =(0.62^{+0.25}_{-0.26}~M_\odot,0.07^{+0.03}_{-0.03}~M_\odot)$, for both 2L1S and 3L1S solutions, and the mass of the tertiary lens component according to the 3L1S solution is $M_3=6.40^{+2.64}_{-2.78}~M_{\rm J}$.


title: First application of dispersive optical model to ($p$,$2p$) analysis within distorted wave impulse approximation framework

abstract: Both ($e$,$e'p$) and ($p$,$2p$) reactions have been performed to study the proton single-particle character of nuclear states with its related spectroscopic factor. Recently, the dispersive optical model (DOM) was applied to the ($e$,$e'p$) analysis revealing that the traditional treatment of the single-particle overlap function, distorted waves, and nonlocality must be further improved to achieve quantitative nuclear spectroscopy. We apply the DOM wave functions to the traditional ($p$,$2p$) analysis and investigate the consistency of the DOM spectroscopic factor that describes the ($e$,$e'p$) cross section with the result of the ($p$,$2p$) analysis. Additionally, we make a comparison with a phenomenological single-particle wave function and optical potential. Uncertainty arising from a choice of $p$-$p$ interaction is also investigated. We implement the DOM wave functions to the distorted wave impulse approximation (DWIA) framework for ($p$,$2p$) reactions. DOM + DWIA analysis on $^{40}$Ca($p$,$2p$)$^{39}$K data generates a proton $0d_{3/2}$ spectroscopic factor of 0.560, which is meaningfully smaller than the DOM value of 0.71 shown to be consistent with the ($e$,$e'p$) analysis. Uncertainties arising from choices of single-particle wave function, optical potential, and $p$-$p$ interaction do not explain this inconsistency. The inconsistency in the spectroscopic factor suggests there is urgent need for improving the description of $p$-$p$ scattering in a nucleus and the resulting in-medium interaction with corresponding implications for the analysis of this reaction in inverse kinematics.


title: Morphological attractors in natural convective dissolution

abstract: Recent experiments demonstrate how a soluble body placed in a fluid spontaneously forms a dissolution pinnacle -- a slender, upward pointing shape that resembles naturally occurring karst pinnacles found in stone forests. This unique shape results from the interplay between interface motion and the natural convective flows driven by the descent of relatively heavy solute. Previous investigations suggest these structures to be associated with shock-formation in the underlying evolution equations, with the regularizing Gibbs-Thomson effect required for finite tip curvature. Here, we find a class of exact solutions that act as attractors for the shape dynamics in two and three dimensions. Intriguingly, the solutions exhibit large but finite tip curvature without any regularization, and they agree remarkably well with experimental measurements. The relationship between the dimensions of the initial shape and the final state of dissolution may offer a principle for estimating the age and environmental conditions of geological structures.


title: Computational Complexity of Jumping Block Puzzles

abstract: In combinatorial reconfiguration, the reconfiguration problems on a vertex subset (e.g., an independent set) are well investigated. In these problems, some tokens are placed on a subset of vertices of the graph, and there are three natural reconfiguration rules called ``token sliding,'' ``token jumping,'' and ``token addition and removal''. In the context of computational complexity of puzzles, the sliding block puzzles play an important role. Depending on the rules and set of pieces, the sliding block puzzles characterize the computational complexity classes including P, NP, and PSPACE. The sliding block puzzles correspond to the token sliding model in the context of combinatorial reconfiguration. On the other hand, a relatively new notion of jumping block puzzles is proposed in puzzle society. This is the counterpart to the token jumping model of the combinatorial reconfiguration problems in the context of block puzzles. We investigate several variants of jumping block puzzles and determine their computational complexities.


title: Nonlocal Activation of Bound Entanglement via Local Quantum Zeno Dynamics

abstract: Bound entanglement was shown to be activated [P. Horodecki \textit{et al.,} Phys. Rev. Lett. \textbf{82,} 1056 (1999)] in the sense that the entanglement of a spatially separated two-qutrit system can be increased with nonzero probability via a sufficiently large number of preshared bound-entangled states, local three-level controlled operations, and classical communications. Here, we present a local quantum Zeno scheme for activating bound entanglement which is based only on single-particle rotations and threshold measurements. In our scheme, neither a large number of bound-entangled states nor controlled operations are required, and classical communication is required only once at the end of the protocol. We show that a single bound-entangled state is sufficient for increasing the negativity of the target entangled state from 0.11 to 0.17, and by using four more bound-entangled states, negativity can be made greater than 0.42 and the fidelity to the maximally entangled state increases from 0.3 to 0.41, 0.50, 0.59, and 0.61. We believe our results are important not only for quantum technologies but also for a better understanding of quantum entanglement.


title: From piles of grains to piles of vortices

abstract: One of the most thrilling features of Physics is the possibility to establish analogies between apparently distant areas. Here we explain the parallel between a pile of grains interacting mechanically with each other, and a "pile" of superconducting vortices. In both cases the macroscopic slope of the pile is maintained by a very nonlinear avalanche process. Furthermore, both types of piles logarithmically relax in time due to "agitational" or thermal effects, aiming at a state of equilibrium.


title: Learning Fine-Grained Motion Embedding for Landscape Animation

abstract: In this paper we focus on landscape animation, which aims to generate time-lapse videos from a single landscape image. Motion is crucial for landscape animation as it determines how objects move in videos. Existing methods are able to generate appealing videos by learning motion from real time-lapse videos. However, current methods suffer from inaccurate motion generation, which leads to unrealistic video results. To tackle this problem, we propose a model named FGLA to generate high-quality and realistic videos by learning Fine-Grained motion embedding for Landscape Animation. Our model consists of two parts: (1) a motion encoder which embeds time-lapse motion in a fine-grained way. (2) a motion generator which generates realistic motion to animate input images. To train and evaluate on diverse time-lapse videos, we build the largest high-resolution Time-lapse video dataset with Diverse scenes, namely Time-lapse-D, which includes 16,874 video clips with over 10 million frames. Quantitative and qualitative experimental results demonstrate the superiority of our method. In particular, our method achieves relative improvements by 19% on LIPIS and 5.6% on FVD compared with state-of-the-art methods on our dataset. A user study carried out with 700 human subjects shows that our approach visually outperforms existing methods by a large margin.


title: The $1D$, $2D$ $\Xi_{b}$ and $\Lambda_{b}$ baryons

abstract: Recently, scientists have made great progresses in experiments in searching for the excited states of $\Xi_{b}$ and $\Lambda_{b}$ baryons such as the $\Lambda_{b}(6072)$, $\Lambda_{b}(6146)$, $\Lambda_{b}(6152)$, $\Xi_{b}(6227)$, $\Xi_{b}(6100)$, $\Xi_{b}(6327)$ and $\Xi_{b}(6333)$. Stimulated by these progresses, we give a systematical analysis about the $1D$ and $2D$ states of $\Xi_{b}$ and $\Lambda_{b}$ baryons with the method of QCD sum rules. By constructing three types of interpolating currents, we calculate the masses and pole residues of these heavy baryons with different excitation modes $(L_{\rho},L_{\lambda})=(0,2)$, $(2,0)$ and $(1,1)$. As a result, we decode the inner structures of $\Lambda_{b}(6146)$, $\Lambda_{b}(6152)$, $\Xi_{b}(6327)$ and $\Xi_{b}(6333)$, and favor assigning these states as the $1D$ baryons with the quantum numbers $(L_{\rho},L_{\lambda})=(0,2)$ and $\frac{3}{2}^{+}$, $\frac{5}{2}^{+}$, $\frac{3}{2}^{+}$ and $\frac{5}{2}^{+}$, respectively. In addition, the predictions about the masses and pole residues of the other $1D$ and $2D$ states of $\Xi_{b}$ and $\Lambda_{b}$ baryons in this paper are helpful in studying the D-wave bottom baryons in experiments in the future.


title: Quantum $K$-theory and $q$-Difference equations

abstract: This is a set of lecture notes for the first author's lectures on the difference equations in 2019 at the Institute of Advanced Study for Mathematics at Zhejiang University. We focus on explicit computations and examples. The convergence of local solutions is discussed.


title: Reasoning Graph Networks for Kinship Verification: from Star-shaped to Hierarchical

abstract: In this paper, we investigate the problem of facial kinship verification by learning hierarchical reasoning graph networks. Conventional methods usually focus on learning discriminative features for each facial image of a paired sample and neglect how to fuse the obtained two facial image features and reason about the relations between them. To address this, we propose a Star-shaped Reasoning Graph Network (S-RGN). Our S-RGN first constructs a star-shaped graph where each surrounding node encodes the information of comparisons in a feature dimension and the central node is employed as the bridge for the interaction of surrounding nodes. Then we perform relational reasoning on this star graph with iterative message passing. The proposed S-RGN uses only one central node to analyze and process information from all surrounding nodes, which limits its reasoning capacity. We further develop a Hierarchical Reasoning Graph Network (H-RGN) to exploit more powerful and flexible capacity. More specifically, our H-RGN introduces a set of latent reasoning nodes and constructs a hierarchical graph with them. Then bottom-up comparative information abstraction and top-down comprehensive signal propagation are iteratively performed on the hierarchical graph to update the node features. Extensive experimental results on four widely used kinship databases show that the proposed methods achieve very competitive results.


title: GDP: Stabilized Neural Network Pruning via Gates with Differentiable Polarization

abstract: Model compression techniques are recently gaining explosive attention for obtaining efficient AI models for various real-time applications. Channel pruning is one important compression strategy and is widely used in slimming various DNNs. Previous gate-based or importance-based pruning methods aim to remove channels whose importance is smallest. However, it remains unclear what criteria the channel importance should be measured on, leading to various channel selection heuristics. Some other sampling-based pruning methods deploy sampling strategies to train sub-nets, which often causes the training instability and the compressed model's degraded performance. In view of the research gaps, we present a new module named Gates with Differentiable Polarization (GDP), inspired by principled optimization ideas. GDP can be plugged before convolutional layers without bells and whistles, to control the on-and-off of each channel or whole layer block. During the training process, the polarization effect will drive a subset of gates to smoothly decrease to exact zero, while other gates gradually stay away from zero by a large margin. When training terminates, those zero-gated channels can be painlessly removed, while other non-zero gates can be absorbed into the succeeding convolution kernel, causing completely no interruption to training nor damage to the trained model. Experiments conducted over CIFAR-10 and ImageNet datasets show that the proposed GDP algorithm achieves the state-of-the-art performance on various benchmark DNNs at a broad range of pruning ratios. We also apply GDP to DeepLabV3Plus-ResNet50 on the challenging Pascal VOC segmentation task, whose test performance sees no drop (even slightly improved) with over 60% FLOPs saving.