title: Gravitational Waves from Strange Star Core-Crust Oscillation

abstract: According to the strange quark matter hypothesis, pulsars may actually be strange stars composed of self-bound strange quark matter. The normal matter crust of a strange star, unlike that of a normal neutron star, is supported by a strong electric field. A gap is then presented between the crust and the strange quark core. Therefore, peculiar core-crust oscillation may occur in a strange star, which can produce distinctive gravitational waves. In this paper, the waveforms of such gravitational waves are derived using a rigid model. We find that the gravitational waves are extremely weak and undetectable, even for the next-generation detectors. Therefore, the seismology of a strange star is not affected by the core-crust oscillation. Observers will have to search for other effects to diagnose the existence of the crust.


title: A Reference Data Model for Process-Related User Interaction Logs

abstract: User interaction (UI) logs are high-resolution event logs that record low-level activities performed by a user during the execution of a task in an information system. Each event in a UI log corresponds to a single interaction between the user and the interface, such as clicking a button or entering a string into a text field. UI logs are used for purposes like task mining or robotic process automation (RPA), but each study and tool relies on a different conceptualization and implementation of the elements and attributes that constitute user interactions. This lack of standardization makes it difficult to integrate UI logs from different sources and to combine tools for UI data collection with downstream analytics or automation solutions. To address this, we propose a universally applicable reference data model for process-related UI logs. Based on a review of scientific literature and industry solutions, this model includes the core attributes of UI logs, but remains flexible with regard to the scope, level of abstraction, and case notion. We provide an implementation of the model as an extension to the XES interchange standard for event logs and demonstrate its practical applicability in a real-life RPA scenario.


title: Existence and classification of $b$-contact structures

abstract: A $b$-contact structure on a $b$-manifold $(M,Z)$ is a singular Jacobi structure on $M$ satisfying a transversality condition along the hypersurface $Z$. We show that, in three dimensions, $b$-contact structures with overtwisted three-dimensional leaves satisfy an existence $h$-principle that allows prescribing the induced singular foliation. We give a method to classify $b$-contact structures on a given $b$-manifold and use it to give a classification on $S^3$ with either a two-sphere or an unknotted torus as the critical surface. We also discuss generalizations to higher dimensions.


title: REPNP: Plug-and-Play with Deep Reinforcement Learning Prior for Robust Image Restoration

abstract: Image restoration schemes based on the pre-trained deep models have received great attention due to their unique flexibility for solving various inverse problems. In particular, the Plug-and-Play (PnP) framework is a popular and powerful tool that can integrate an off-the-shelf deep denoiser for different image restoration tasks with known observation models. However, obtaining the observation model that exactly matches the actual one can be challenging in practice. Thus, the PnP schemes with conventional deep denoisers may fail to generate satisfying results in some real-world image restoration tasks. We argue that the robustness of the PnP framework is largely limited by using the off-the-shelf deep denoisers that are trained by deterministic optimization. To this end, we propose a novel deep reinforcement learning (DRL) based PnP framework, dubbed RePNP, by leveraging a light-weight DRL-based denoiser for robust image restoration tasks. Experimental results demonstrate that the proposed RePNP is robust to the observation model used in the PnP scheme deviating from the actual one. Thus, RePNP can generate more reliable restoration results for image deblurring and super resolution tasks. Compared with several state-of-the-art deep image restoration baselines, RePNP achieves better results subjective to model deviation with fewer model parameters.


title: Factorization of Holomorphic Matrices and Kazhdan's property (T)

abstract: In this article we deduce some algebraic properties for the group $\mathrm{Sp}_{2n} (\mathcal{O}(X))$ of holomorphic symplectic matrices on a Stein space $X$: holomorphic factorization, exponential factorization, and Kazhdan's property (T). In holomorphic factorization we combine a recent result of the third author and K-theory tools to give explicit bounds for the case when $X$ is one-dimensional or two-dimensional. Next we use them to find bounds for exponential factorization. As a further application, we show that the elementary symplectic group $\mathrm{Ep}_{2n}(\mathcal{O}(X))$ admits Kazhdan's property (T).


title: On the evolution of agricultural and non-agricultural produce flow network in India

abstract: Rising economic instability and continuous evolution in international relations demand a self-reliant trade and commodity flow networks at regional scales to efficiently address the growing human needs of a nation. Despite its importance in securing India's food security, the potential advantages of inland trade remain unexplored. Here we perform a comprehensive analysis of agricultural flows and contrast it with non-agricultural commodities flow across Indian states. The spatiotemporal evolution of both the networks for the period 2010 to 2018 was studied and compared using network properties along with the total traded value. Our results show an increase in annual traded volume by nearly 37 % and 87 %, respectively, for agriculture and non-agriculture trade. An increase in total trade volume without a significant increase in connectivity over the analyzed time-period is observed in both networks, reveals the over-reliance and increased dependency on particular export hubs. Our analysis further revealed a more homogeneous distribution between import and export connection nodes for agriculture trade compared to non-agriculture trade, where Indian states with high exports also have high imports. Overall our analysis provide a quantitative description of Indian inland trade as a complex network that could further us design resilient trade networks within the nation.


title: The Zwicky Transient Facility phase I sample of hydrogen-rich superluminous supernovae without strong narrow emission lines

abstract: We present a sample of 14 hydrogen-rich superluminous supernovae (SLSNe II) from the Zwicky Transient Facility (ZTF) between 2018 and 2020. We include all classified SLSNe with peaks $M_{g}<-20$ mag and with observed \emph{broad} but not narrow Balmer emission, corresponding to roughly 20 per cent of all hydrogen-rich SLSNe in ZTF phase I. We examine the light curves and spectra of SLSNe II and attempt to constrain their power source using light-curve models. The brightest events are photometrically and spectroscopically similar to the prototypical SN 2008es, while others are found spectroscopically more reminiscent of non-superluminous SNe II, especially SNe II-L. $^{56}$Ni decay as the primary power source is ruled out. Light-curve models generally cannot distinguish between circumstellar interaction (CSI) and a magnetar central engine, but an excess of ultraviolet (UV) emission signifying CSI is seen in most of the SNe with UV data, at a wide range of photometric properties. Simultaneously, the broad H$\alpha$ profiles of the brightest SLSNe II can be explained through electron scattering in a symmetric circumstellar medium (CSM). In other SLSNe II without narrow lines, the CSM may be confined and wholly overrun by the ejecta. CSI, possibly involving mass lost in recent eruptions, is implied to be the dominant power source in most SLSNe II, and the diversity in properties is likely the result of different mass loss histories. Based on their radiated energy, an additional power source may be required for the brightest SLSNe II, however -- possibly a central engine combined with CSI.


title: Scaling waveguide-integrated superconducting nanowire single-photon detector solutions to large numbers of independent optical channels

abstract: Superconducting nanowire single-photon detectors are an enabling technology for modern quantum information science and are gaining attractiveness for the most demanding photon counting tasks in other fields. Embedding such detectors in photonic integrated circuits enables additional counting capabilities through nanophotonic functionalization. Here we show how a scalable number of waveguide-integrated superconducting nanowire single-photon detectors can be interfaced with independent fiber optic channels on the same chip. Our plug-and-play detector package is hosted inside a compact and portable closed-cycle cryostat providing cryogenic signal amplification for up to 64 channels. We demonstrate state-of-the-art photon counting performance with up to 60 % system detection efficiency and down to 26.0 ps timing accuracy for individually addressable detectors. Our multi-channel single photon receiver offers exciting measurement capabilities for future quantum communication, remote sensing and imaging applications.


title: Balancing Stability and Plasticity through Advanced Null Space in Continual Learning

abstract: Continual learning is a learning paradigm that learns tasks sequentially with resources constraints, in which the key challenge is stability-plasticity dilemma, i.e., it is uneasy to simultaneously have the stability to prevent catastrophic forgetting of old tasks and the plasticity to learn new tasks well. In this paper, we propose a new continual learning approach, Advanced Null Space (AdNS), to balance the stability and plasticity without storing any old data of previous tasks. Specifically, to obtain better stability, AdNS makes use of low-rank approximation to obtain a novel null space and projects the gradient onto the null space to prevent the interference on the past tasks. To control the generation of the null space, we introduce a non-uniform constraint strength to further reduce forgetting. Furthermore, we present a simple but effective method, intra-task distillation, to improve the performance of the current task. Finally, we theoretically find that null space plays a key role in plasticity and stability, respectively. Experimental results show that the proposed method can achieve better performance compared to state-of-the-art continual learning approaches.


title: Adaptive Asynchronous Control Using Meta-learned Neural Ordinary Differential Equations

abstract: Model-based Reinforcement Learning and Control have demonstrated great potential in various sequential decision making problem domains, including in robotics settings. However, real-world robotics systems often present challenges that limit the applicability of those methods. In particular, we note two problems that jointly happen in many industrial systems: 1) Irregular/asynchronous observations and actions and 2) Dramatic changes in environment dynamics from an episode to another (e.g. varying payload inertial properties). We propose a general framework that overcomes those difficulties by meta-learning adaptive dynamics models for continuous-time prediction and control. The proposed approach is task-agnostic and can be adapted to new tasks in a straight-forward manner. We present evaluations in two different robot simulations and on a real industrial robot.


title: Multi-Scale Asset Distribution Model for Dynamic Environments

abstract: In many self-organising systems the ability to extract necessary resources from the external environment is essential to the system's growth and survival. Examples include the extraction of sunlight and nutrients in organic plants, of monetary income in business organisations and of mobile robots in swarm intelligence actions. When operating within competitive, ever-changing environments, such systems must distribute their internal assets wisely so as to improve and adapt their ability to extract available resources. As the system size increases, the asset-distribution process often gets organised around a multi-scale control topology. This topology may be static (fixed) or dynamic (enabling growth and structural adaptation) depending on the system's internal constraints and adaptive mechanisms. In this paper, we expand on a plant-inspired asset-distribution model and introduce a more general multi-scale model applicable across a wider range of natural and artificial system domains. We study the impact that the topology of the multi-scale control process has upon the system's ability to self-adapt asset distribution when resource availability changes within the environment. Results show how different topological characteristics and different competition levels between system branches impact overall system profitability, adaptation delays and disturbances when environmental changes occur. These findings provide a basis for system designers to select the most suitable topology and configuration for their particular application and execution environment.


title: Broken-symmetry self-consistent GW approach: degree of spin contamination and evaluation of effective exchange couplings in solid antiferromagnets

abstract: We adopt a broken-symmetry strategy for evaluating effective magnetic constants $J$ within the fully self-consistent GW method. To understand the degree of spin contamination present in broken-symmetry periodic solutions, we propose several size-extensive quantities that demonstrate that the unrestricted self-consistent GW preserves well the broken-symmetry character of the unrestricted Hartree--Fock solutions. The extracted $J$ are close to the ones obtained from multireference wave-function calculations. In this paper, we establish a robust computational procedure for finding magnetic coupling constants from self-consistent GW calculations and apply it to solid antiferromagnetic nickel and manganese oxides.


title: Dynamic Channel Selection in Self-Supervised Learning

abstract: Whilst computer vision models built using self-supervised approaches are now commonplace, some important questions remain. Do self-supervised models learn highly redundant channel features? What if a self-supervised network could dynamically select the important channels and get rid of the unnecessary ones? Currently, convnets pre-trained with self-supervision have obtained comparable performance on downstream tasks in comparison to their supervised counterparts in computer vision. However, there are drawbacks to self-supervised models including their large numbers of parameters, computationally expensive training strategies and a clear need for faster inference on downstream tasks. In this work, our goal is to address the latter by studying how a standard channel selection method developed for supervised learning can be applied to networks trained with self-supervision. We validate our findings on a range of target budgets $t_{d}$ for channel computation on image classification task across different datasets, specifically CIFAR-10, CIFAR-100, and ImageNet-100, obtaining comparable performance to that of the original network when selecting all channels but at a significant reduction in computation reported in terms of FLOPs.


title: Complexity of 3-manifolds obtained by Dehn filling

abstract: Let $M$ be a compact 3--manifold with boundary a single torus. We present upper and lower complexity bounds for closed 3--manifolds obtained as even Dehn fillings of $M.$ As an application, we characterise some infinite families of even Dehn fillings of $M$ for which our method determines the complexity of its members up to an additive constant. The constant only depends on the size of a chosen triangulation of $M$, and the isotopy class of its boundary. We then show that, given a triangulation $\mathcal T$ of $M$ with $2$--triangle torus boundary, there exist infinite families of even Dehn fillings of $M$ for which we can determine the complexity of the filled manifolds with a gap between upper and lower bound of at most $13 |\mathcal T| + 7.$ This result is bootstrapped to obtain the gap as a function of the size of an ideal triangulation of the interior of $M$, or the number of crossings of a knot diagram. We also show how to compute the gap for explicit families of fillings of knot complements in the three-sphere. The practicability of our approach is demonstrated by determining the complexity up to a gap of at most 10 for several infinite families of even fillings of the figure eight knot, the pretzel knot $P(-2,3,7)$, and the trefoil.


title: Homomorphism Autoencoder -- Learning Group Structured Representations from Observed Transitions

abstract: How can agents learn internal models that veridically represent interactions with the real world is a largely open question. As machine learning is moving towards representations containing not just observational but also interventional knowledge, we study this problem using tools from representation learning and group theory. We propose methods enabling an agent acting upon the world to learn internal representations of sensory information that are consistent with actions that modify it. We use an autoencoder equipped with a group representation acting on its latent space, trained using an equivariance-derived loss in order to enforce a suitable homomorphism property on the group representation. In contrast to existing work, our approach does not require prior knowledge of the group and does not restrict the set of actions the agent can perform. We motivate our method theoretically, and show empirically that it can learn a group representation of the actions, thereby capturing the structure of the set of transformations applied to the environment. We further show that this allows agents to predict the effect of sequences of future actions with improved accuracy.


title: A Dataset Generation Framework for profiling Disassembly attacks using Side-Channel Leakages and Deep Neural Networks

abstract: Various studies among side-channel attacks have tried to extract information through leakages from electronic devices to reach the instruction flow of some appliances. However, previous methods highly depend on the resolution of traced data. Obtaining low-noise traces is not always feasible in real attack scenarios. This study proposes two deep models to extract low and high-level features from side-channel traces and classify them to related instructions. We aim to evaluate the accuracy of a side-channel attack on low-resolution data with a more robust feature extractor thanks to neural networks. As inves-tigated, instruction flow in real programs is predictable and follows specific distributions. This leads to proposing a LSTM model to estimate these distributions, which could expedite the reverse engineering process and also raise the accuracy. The proposed model for leakage classification reaches 54.58% accuracy on average and outperforms other existing methods on our datasets. Also, LSTM model reaches 94.39% accuracy for instruction prediction on standard implementation of cryptographic algorithms.


title: The partial waves of $B^{*}_{2}(5747)$ and their contributions in strong decays

abstract: By adopting the relativistic Bethe-Salpeter method, the OZI allowed strong decays of the $2^+$ state $B^{*}_{2}(5747)^{0}$ are studied, emphasis is paid to the relativistic corrections. We first study the partial waves in the wave functions used, find that there are $P$, $D$ and $F$ partial waves in $B^{*}_{2}(5747)^{0}$ meson, and the ratios $P:D:F=1:0.421:0.051$. We also find $S:P:D=1:0.354:0.046$ for $B^*$, and $S:P=1:0.343$ for $B$ meson. The large components of the $D$ wave in $B^{*}_{2}(5747)^{0}$ and $P$ wave in $B^{(*)}$ means that large relativistic effects existing in these states. Second, we calculate the strong decays, the obtained total decay width $\Gamma(B^{*}_{2}(5747)^{0})=25.9$ MeV and the branching fraction $\Gamma(B^{*}_{2}(5747)^{0} \to B^{*}\pi)$ / $\Gamma(B^{*}_{2}(5747)^{0} \to B\pi)=0.96$ are consistent well with experimental data. Third, we study the contributions of different partial waves in the initial and final wave functions, find that the relativistic effects are about $15\%$ and $11\%$ for $B^{*}_{2}(5747)^{0} \to B\pi$ and $B^{*}_{2}(5747)^{0} \to B^{*}\pi$, respectively, which are much smaller than our expected, showing that the relativistic corrections are cancelled to each other in these decays.


title: A Sunlight-pumped Two-dimensional Thermalized Photon Gas

abstract: The Liouville theorem states that the phase-space volume of an ensemble in a closed system remains constant. While gases of material particles can efficiently be cooled by sympathetic or laser cooling techniques, allowing for large phase-space compression, for light both the absence of an internal structure, as well as the usual non-conservation of particle number upon contact to matter imposes fundamental limits e.g. in fluorescence-based light concentrators in three-dimensional systems. A different physical situation can in principle be expected for dye-solution filled microcavities with a mirror spacing in the wavelength range, where low dimensional photon gases with non-vanishing, freely tunable chemical potential have been experimentally realized. Motivated by the goal to observe phase-space compression of sunlight by cooling the captured radiation to room temperature, we in this work theoretically show that in a lossless system the phase space volume scales as $(\Delta x \Delta p / T)^d = \mathrm{constant}$, where $\Delta x$ and $\Delta p$ denote the rms position and momentum spread and $d$ the dimensionality of the system ($d=1$ or $2$). We also experimentally realize a sunlight pumped dye microcavity, and demonstrate thermalization of scattered sunlight to a two-dimensional room temperature ensemble with non-vanishing chemical potential. Prospects of phase space buildup of light by cooling, as can be feasible in systems with a two- or three-dimensional band gap, can range from quantum state preparation in tailored potentials up to technical applications in diffuse sunlight collection.


title: Spin-transfer and spin-orbit torques in the Landau-Lifshitz-Gilbert equation

abstract: Dynamic simulations of spin-transfer and spin-orbit torques are increasingly important for a wide range of spintronic devices including magnetic random access memory, spin-torque nano-oscillators and electrical switching of antiferromagnets. Here we present a computationally efficient method for the implementation of spin-transfer and spin-orbit torques within the Landau-Lifshitz-Gilbert equation used in micromagnetic and atomistic simulations. We consolidate and simplify the varying terminology of different kinds of torques into a physical action and physical origin that clearly shows the common action of spin torques while separating their different physical origins. Our formalism introduces the spin torque as an effective magnetic field, greatly simplifying the numerical implementation and aiding the interpretation of results. The strength of the effective spin torque field unifies the action of the spin torque and subsumes the details of experimental effects such as interface resistance and spin Hall angle into a simple transferable number between numerical simulations. We present a series of numerical tests demonstrating the mechanics of generalised spin torques in a range of spintronic devices. This revised approach to modelling spin-torque effects in numerical simulations enables faster simulations and a more direct way of interpreting the results, and thus it is also suitable to be used in direct comparisons with experimental measurements or in a modelling tool that takes experimental values as input.


title: Charge conjugation approach to scattering for the Hartree type Dirac equations with chirality

abstract: We study the Cauchy problems for the Hartree-type nonlinear Dirac equations with Yukawa-type potential derived from pseudoscalar field. We establish scattering for large data but with a relatively small part of initial data associated with charge conjugation by exploiting null structure induced by chirality.


title: Star forming and gas rich brightest cluster galaxies at $z\sim0.4$ in the Kilo-Degree Survey

abstract: Brightest Cluster Galaxies (BCGs) are typically massive ellipticals at the centers of clusters. They are believed to experience strong environmental processing, and their mass assembly and star formation history are still debated. We have selected three star forming BCGs in the equatorial field of the Kilo-Degree Survey (KiDS) at intermediate redshifts. We have observed them with the IRAM-30m telescope in the first three CO transitions. We remarkably detected all BCGs at high signal-to-noise ratio ${\rm S/N}\simeq(3.8-10.2)$, for a total of 7 detected lines out of 8, corresponding to a success rate of $88\%$. This allows us to double the number of distant BCGs with clear detections in at least two CO lines. We have then combined our observations with available stellar, star formation, and dust properties of the BCGs, and we have compared them with a sample of $\sim100$ distant cluster galaxies with observations in CO. Our analysis yields large molecular gas reservoirs $M_{H_2}\simeq(0.5-1.4)\times10^{11}~M_\odot$, excitation ratios $r_{31}= L^{\prime}_{\rm CO(3\rightarrow2)}/L^{\prime}_{\rm CO(1\rightarrow0)}\simeq(0.1-0.3)$, long depletion times $\tau_{\rm dep}\simeq(2-4)$~Gyr, and high $M_{H_2}/M_{\rm dust}\simeq(170-300)$. The excitation ratio $r_{31}$ of intermediate-$z$ BCGs appears to be well correlated with the star formation rate and efficiency, which suggests that excited gas is found only in highly star forming and cool-core BCGs. By performing color-magnitude plots and a red sequence modeling we find that recent bursts of star formation are needed to explain the fact that the BCGs are measurably bluer than photometrically selected cluster members. We suggest that a substantial amount of the molecular gas has been accreted by the KiDS BCGs, but still not efficiently converted into stars.


title: A Piecewise Monotonic Gait Phase Estimation Model for Controlling a Powered Transfemoral Prosthesis in Various Locomotion Modes

abstract: Gait phase-based control is a trending research topic for walking-aid robots, especially robotic lower-limb prostheses. Gait phase estimation is a challenge for gait phase-based control. Previous researches used the integration or the differential of the human's thigh angle to estimate the gait phase, but accumulative measurement errors and noises can affect the estimation results. In this paper, a more robust gait phase estimation method is proposed using a unified form of piecewise monotonic gait phase-thigh angle models for various locomotion modes. The gait phase is estimated from only the thigh angle, which is a stable variable and avoids phase drifting. A Kalman filter-based smoother is designed to further suppress the mutations of the estimated gait phase. Based on the proposed gait phase estimation method, a gait phase-based joint angle tracking controller is designed for a transfemoral prosthesis. The proposed gait estimation method, the gait phase smoother, and the controller are evaluated through offline analysis on walking data in various locomotion modes. And the real-time performance of the gait phase-based controller is validated in an experiment on the transfemoral prosthesis.


title: The Quantum Advantage in Decentralized Control

abstract: It is known in the context of decentralised control that there exist control strategies consistent with the requirements of a given information structure, yet physically unimplementable through any amount of passive common randomness. This imposes a natural set of limitations on what is achievable through common randomness in both cooperative and competitive settings. We show that it is possible to breach these limitations with the use of quantum-physical architectures. In particular, we present a class of stochastic strategies that leverage quantum entanglement to produce strategic distributions which compose a strict superclass of strategies implemented through passive common randomness. We investigate numerically, the `quantum advantage' offered by this new class over a parametric family of cooperative decision problems with static information structure. We demonstrate through variations across the parametric family that fundamental decision theoretic elements such as information and the cost determine the manifestation of quantum advantage in a given control problem. Our work motivates a novel decision and control paradigm with an enlarged space of control policies achievable by means of quantum architectures.


title: Perturbation Theory for Second Order Elliptic Operators with BMO Antisymmetric Part

abstract: In the present paper we study perturbation theory for the $L^p$ Dirichlet problem on bounded chord arc domains for elliptic operators in divergence form with potentially unbounded antisymmetric part in BMO. Specifically, given elliptic operators $L_0 = \mbox{div}(A_0\nabla)$ and $L_1 = \mbox{div}(A_1\nabla)$ such that the $L^p$ Dirichlet problem for $L_0$ is solvable for some $p>1$; we show that if $A_0 - A_1$ satisfies certain Carleson condition, then the $ L^q$ Dirichlet problem for $L_1$ is solvable for some $q \geq p$. Moreover if the Carleson norm is small then we may take $q=p$. We use the approach first introduced in Fefferman-Kenig-Pipher '91 on the unit ball, and build on Milakis-Pipher-Toro '11 where the large norm case was shown for symmetric matrices on bounded chord arc domains. We then apply this to solve the $L^p$ Dirichlet problem on a bounded Lipschitz domain for an operator $L = \mbox{div}(A\nabla)$, where $A$ satisfies a Carleson condition similar to the one assumed in Kenig-Pipher '01 and Dindo\v{s}-Petermichl-Pipher '07 but with unbounded antisymmetric part.


title: Decision-oriented two-parameter Fisher information sensitivity using symplectic decomposition

abstract: The eigenvalues and eigenvectors of the Fisher information matrix (FIM) can reveal the most and least sensitive directions of a system and it has wide application across science and engineering. We present a symplectic variant of the eigenvalue decomposition for the FIM and extract the sensitivity information with respect to two-parameter conjugate pairs. The symplectic approach decomposes the FIM onto an even-dimensional symplectic basis. This symplectic structure can reveal additional sensitivity information between two-parameter pairs, otherwise concealed in the orthogonal basis from the standard eigenvalue decomposition. The proposed sensitivity approach can be applied to naturally paired two-parameter distribution parameters, or decision-oriented pairing via re-grouping or re-parameterization of the FIM. It can be utilised in tandem with the standard eigenvalue decomposition and offer additional insight into the sensitivity analysis at negligible extra cost.

categories: cs.IT cs.NA math.IT math.NA math.SG stat.AP


title: Monoids related to self homotopy equivalences of fibred product

abstract: We introduce a nested sequence of monoids related to self-homotopy equivalences of fibrewise pointed spaces, such that the limit is the group of homotopy classes of fibrewise pointed self-equivalences. We explore this monoid for the fibred product in terms of individual spaces. Further we study two related invariants associated to these monoids: self closeness number and self length.


title: Percolation in a simple cubic lattice with distortion

abstract: Site percolation in a distorted simple cubic lattice is characterized numerically employing the Newman-Ziff algorithm. Distortion is administered in the lattice by systematically and randomly dislocating its sites from their regular positions. The amount of distortion is tunable by a parameter called the distortion parameter. In this model, two occupied neighboring sites are considered connected only if the distance between them is less than a predefined value called the connection threshold. It is observed that the percolation threshold always increases with distortion if the connection threshold is equal to or greater than the lattice constant of the regular lattice. On the other hand, if the connection threshold is less than the lattice constant, the percolation threshold first decreases, then increases steadily as distortion is increased. It is shown that the variation of the percolation threshold can be well explained by the change in the fraction of occupied bonds with distortion. The values of the relevant critical exponents of the transition strongly indicate that percolation in regular and distorted simple cubic lattices belong to the same universality class. It is also demonstrated that this model is intrinsically distinct from the site-bond percolation model.


title: Intention-Conditioned Long-Term Human Egocentric Action Forecasting

abstract: To anticipate how a human would act in the future, it is essential to understand the human intention since it guides the human towards a certain goal. In this paper, we propose a hierarchical architecture which assumes a sequence of human action (low-level) can be driven from the human intention (high-level). Based on this, we deal with Long-Term Action Anticipation task in egocentric videos. Our framework first extracts two level of human information over the N observed videos human actions through a Hierarchical Multi-task MLP Mixer (H3M). Then, we condition the uncertainty of the future through an Intention-Conditioned Variational Auto-Encoder (I-CVAE) that generates K stable predictions of the next Z=20 actions that the observed human might perform. By leveraging human intention as high-level information, we claim that our model is able to anticipate more time-consistent actions in the long-term, thus improving the results over baseline methods in EGO4D Challenge. This work ranked first in both CVPR@2022 and ECVV@2022 EGO4D LTA Challenge by providing more plausible anticipated sequences, improving the anticipation of nouns and overall actions. Webpage: https://evm7.github.io/icvae-page/


title: A unified quantile framework reveals nonlinear heterogeneous transcriptome-wide associations

abstract: Transcriptome-wide association studies (TWAS) are powerful tools for identifying putative causal genes by integrating genome-wide association studies and gene expression data. However, most TWAS methods focus on linear associations between genes and traits, ignoring the complex nonlinear relationships that exist in biological systems. To address this limitation, we propose a novel quantile transcriptomics framework, QTWAS, that takes into account the nonlinear and heterogeneous nature of gene-trait associations. Our approach integrates a quantile-based gene expression model into the TWAS model, which allows for the discovery of nonlinear and heterogeneous gene-trait associations. By conducting comprehensive simulations and examining various psychiatric and neurodegenerative traits, we demonstrate that the proposed model outperforms traditional techniques in identifying gene-trait associations. Additionally, QTWAS can uncover important insights into nonlinear relationships between gene expression levels and phenotypes, complementing traditional TWAS approaches. We further show applications to 100 continuous traits from the UK Biobank and 10 binary traits related to brain disorders.


title: A Hybrid Model and Learning-Based Adaptive Navigation Filter

abstract: The fusion between an inertial navigation system and global navigation satellite systems is regularly used in many platforms such as drones, land vehicles, and marine vessels. The fusion is commonly carried out in a model-based extended Kalman filter framework. One of the critical parameters of the filter is the process noise covariance. It is responsible for the real-time solution accuracy, as it considers both vehicle dynamics uncertainty and the inertial sensors quality. In most situations, the process noise is covariance assumed to be constant. Yet, due to vehicle dynamics and sensor measurement variations throughout the trajectory, the process noise covariance is subject to change. To cope with such situations, several adaptive model-based Kalman filters were suggested in the literature. In this paper, we propose a hybrid model and learning-based adaptive navigation filter. We rely on the model-based Kalman filter and design a deep neural network model to tune the momentary system noise covariance matrix, based only on the inertial sensor readings. Once the process noise covariance is learned, it is plugged into the well-established, model-based Kalman filter. After deriving the proposed hybrid framework, field experiment results using a quadrotor are presented and a comparison to model-based adaptive approaches is given. We show that the proposed method obtained an improvement of 25% in the position error. Furthermore, the proposed hybrid learning method can be used in any navigation filter and also in any relevant estimation problem.


title: A milestone for FaaS pipelines; object storage vs VM-driven data exchange

abstract: Serverless functions provide high levels of parallelism, short startup times, and "pay-as-you-go" billing. These attributes make them a natural substrate for data analytics workflows. However, the impossibility of direct communication between functions makes the execution of workflows challenging. The current practice to share intermediate data among functions is through remote object storage (e.g., IBM COS). Contrary to conventional wisdom, the performance of object storage is not well understood. For instance, object storage can even be superior to other simpler approaches like the execution of shuffle stages (e.g., GroupBy) inside powerful VMs to avoid all-to-all transfers between functions. Leveraging a genomics pipeline, we show that object storage is a reasonable choice for data passing when the appropriate number of functions is used in shuffling stages.


title: ASA: A Simulation Environment for Evaluating Military Operational Scenarios

abstract: The Aerospace Simulation Environment (Ambiente de Simula\c{c}\~ao Aeroespacial -- ASA in Portuguese) is a custom-made object-oriented simulation framework developed mainly in C++ that enables the modeling and simulation of military operational scenarios to support the development of tactics and procedures in the aerospace context for the Brazilian Air Force. This work describes the ASA framework, bringing its distributed architecture for managing multiple simulation machines, a data analysis platform for post-processing simulation data, the capability of loading models at simulation runtime, and a batch mode execution platform to perform multiple independent executions simultaneously. In addition, we present a list of recent works using the ASA framework as a simulation tool in the air combat context.


title: Efficient Resource Management in Cloud Environment

abstract: In cloud computing resource management plays a significant role in data centres and it is directly dependent on the application workload. Various services such as Infrastructure as a Service (IaaS), Platform as a Service (PaaS), and Software as a Service (SaaS) are offered by cloud computing to provide compute, network, and storage capabilities to the cloud users utilizing the pay-per-usage approach. Resource allocation is a prior solution to address various demanding situations like the under/overload handling, resource wastage, load balancing, Quality-of-Services (QoS) violations, VM migration and many more. The primary aim of Virtual Machine Placement (VMP) is mapping of Virtual Machines (VMs) to physical machines (PMs), such that the PMs may be utilized to their maximum efficiency, where the already active VMs are not to be interrupted. It provides a list of live VM migrations that must be accomplished to get the optimum solution and reduces energy consumption to a larger extent. The inefficient VMP leads to wastage of resources, excessive energy consumption and also increase overall operational cost of the data center. On this context, this article provides an extensive survey of resource management schemes in cloud environment. A conceptual scheme for resource management, grouping of current machine learning based resource allocation strategies, and fundamental problems of ineffective distribution of physical resources are analyzed. Thereafter, a complete survey of existing techniques in machine learning based mechanisms in the field of cloud resource management are explained. Ultimately, the paper explores and concludes distinct approaching challenges and future research guidelines associated to resource management in cloud environment.


title: Efficient Classification with Counterfactual Reasoning and Active Learning

abstract: Data augmentation is one of the most successful techniques to improve the classification accuracy of machine learning models in computer vision. However, applying data augmentation to tabular data is a challenging problem since it is hard to generate synthetic samples with labels. In this paper, we propose an efficient classifier with a novel data augmentation technique for tabular data. Our method called CCRAL combines causal reasoning to learn counterfactual samples for the original training samples and active learning to select useful counterfactual samples based on a region of uncertainty. By doing this, our method can maximize our model's generalization on the unseen testing data. We validate our method analytically, and compare with the standard baselines. Our experimental results highlight that CCRAL achieves significantly better performance than those of the baselines across several real-world tabular datasets in terms of accuracy and AUC. Data and source code are available at: https://github.com/nphdang/CCRAL.


title: Learning State Machines to Monitor and Detect Anomalies on a Kubernetes Cluster

abstract: These days more companies are shifting towards using cloud environments to provide their services to their client. While it is easy to set up a cloud environment, it is equally important to monitor the system's runtime behaviour and identify anomalous behaviours that occur during its operation. In recent years, the utilisation of \ac{rnn} and \ac{dnn} to detect anomalies that might occur during runtime has been a trending approach. However, it is unclear how to explain the decisions made by these networks and how these networks should be interpreted to understand the runtime behaviour that they model. On the contrary, state machine models provide an easier manner to interpret and understand the behaviour that they model. In this work, we propose an approach that learns state machine models to model the runtime behaviour of a cloud environment that runs multiple microservice applications. To the best of our knowledge, this is the first work that tries to apply state machine models to microservice architectures. The state machine model is used to detect the different types of attacks that we launch on the cloud environment. From our experiment results, our approach can detect the attacks very well, achieving a balanced accuracy of 99.2% and an F1 score of 0.982.


title: Deep-water and shallow-water limits of the intermediate long wave equation

abstract: In this paper, we study the low regularity convergence problem for the intermediate long wave equation (ILW), with respect to the depth parameter $\delta>0$, on the real line and the circle. As a natural bridge between the Korteweg-de Vries (KdV) and the Benjamin-Ono (BO) equations, the ILW equation is of physical interest. We prove that the solutions of ILW converge in the $H^s$-Sobolev space for $s>\frac12$, to those of BO in the deep-water limit (as $\delta\to\infty$), and to those of KdV in the shallow-water limit (as $\delta\to 0$). This improves previous convergence results by Abdelouhab, Bona, Felland, and Saut (1989), which required $s>\frac32$ in the deep-water limit and $s\geq2$ in the shallow-water limit. Moreover, the convergence results also apply to the generalised ILW equation, i.e.~with nonlinearity $\partial_x (u^k)$ for $k\geq 2$. Furthermore, this work gives the first convergence results of generalised ILW solutions on the circle with regularity $s\geq \frac34$. Overall, this study provides mathematical insights for the behaviour of the ILW equation and its solutions in different water depths, and has implications for predicting and modelling wave behaviour in various environments.


title: A Polyphone BERT for Polyphone Disambiguation in Mandarin Chinese

abstract: Grapheme-to-phoneme (G2P) conversion is an indispensable part of the Chinese Mandarin text-to-speech (TTS) system, and the core of G2P conversion is to solve the problem of polyphone disambiguation, which is to pick up the correct pronunciation for several candidates for a Chinese polyphonic character. In this paper, we propose a Chinese polyphone BERT model to predict the pronunciations of Chinese polyphonic characters. Firstly, we create 741 new Chinese monophonic characters from 354 source Chinese polyphonic characters by pronunciation. Then we get a Chinese polyphone BERT by extending a pre-trained Chinese BERT with 741 new Chinese monophonic characters and adding a corresponding embedding layer for new tokens, which is initialized by the embeddings of source Chinese polyphonic characters. In this way, we can turn the polyphone disambiguation task into a pre-training task of the Chinese polyphone BERT. Experimental results demonstrate the effectiveness of the proposed model, and the polyphone BERT model obtain 2% (from 92.1% to 94.1%) improvement of average accuracy compared with the BERT-based classifier model, which is the prior state-of-the-art in polyphone disambiguation.


title: Optimising MWA EoR data processing for improved 21 cm power spectrum measurements -- fine-tuning ionospheric corrections

abstract: The redshifted cosmological 21 cm signal emitted by neutral hydrogen during the first billion years of the universe is much fainter relative to other galactic and extragalactic radio emissions, posing a great challenge towards detection of the signal. Therefore, precise instrumental calibration is a vital prerequisite for the success of radio interferometers such as the Murchison Widefield Array (MWA), which aim for a 21 cm detection. Over the previous years, novel calibration techniques targeting the power spectrum paradigm of EoR science have been actively researched and where possible implemented. Using recently acquired computation resources for the MWA, we test the full capabilities of the state-of-the-art calibration techniques available for the MWA EoR project, with a focus on both direction dependent and direction independent calibration. Specifically, we investigate improvements that can be made in the vital calibration stages of sky modelling, ionospheric correction, and compact source foreground subtraction as applied in the hybrid foreground mitigation approach (one that combines both foreground subtraction and avoidance). Additionally, we investigate a method of ionospheric correction using interpolated ionospheric phase screens and assess its performance in the power spectrum space. Overall, we identify a refined RTS calibration configuration that leads to an at least 2 factor reduction of the EoR window power contamination at the $0.1 \; \text{hMpc}^{-1}$ scale. The improvement marks a step further towards detecting the 21 cm signal using the MWA and the forthcoming SKA low telescope.


title: Fluctuations of entropy production of a run-and-tumble particle

abstract: Out-of-equilibrium systems continuously generate entropy, with its rate of production being a fingerprint of non-equilibrium conditions. In small-scale dissipative systems subject to thermal noise, fluctuations of entropy production are significant. Hitherto, mean and variance have been abundantly studied, even if higher moments might be important to fully characterize the system of interest. Here, we introduce a graphical method to compute any moment of entropy production for a generic discrete-state system. Then, we focus on a paradigmatic model of active particles, i.e., run-and-tumble dynamics, which resembles the motion observed in several microorganisms. Employing our framework, we compute the first three cumulants of the entropy production for a discrete version of this model. We also compare our analytical results with numerical simulations. We find that as the number of states increases, the distribution of entropy production deviates from a Gaussian. Finally, we extend our framework to a continuous state-space run-and-tumble model, using an appropriate scaling of the transition rates. The approach here presented might help uncover the features of non-equilibrium fluctuations of any current in biological systems operating out-of-equilibrium.


title: Nonlinearity enabled higher-dimensional exceptional topology

abstract: The role of nonlinearity on topology has been investigated extensively in Hermitian systems, while nonlinearity has only been used as a tuning knob in a PT symmetric non-Hermitian system. Here, in our work, we show that nonlinearity plays a crucial role in forming topological singularities of non-Hermitian systems. We provide a simple and intuitive example by demonstrating with both theory and circuit experiments an exceptional nexus (EX), a higher-order exceptional point with a hybrid topological invariant (HTI), within only two coupled resonators with the aid of nonlinear gain. Phase rigidities are constructed to confirm the HTI in our nonlinear system, and the anisotropic critical behavior of the eigenspectra is verified with experiments. Our findings lead to advances in the fundamental understanding of the peculiar topology of nonlinear non-Hermitian systems, possibly opening new avenues for applications.

categories: nlin.PS cond-mat.other cond-mat.quant-gas physics.optics quant-ph


title: New technological trajectories and research directions in Cloud Computing Technology, 2004-2021

abstract: The goal of this study is to explore emerging trends in cloud computing technology that can support an economic and social change. We apply the methods of entity linking, which links word strings to entities from a knowledge base, to extract main keywords in cloud computing from accumulated publications from 2004 to 2021. Results suggest that in cloud computing research, Internet of things has an accelerated technological and scientific growth compared to the other topics. Other critical research fields that support the evolution of cloud computing are mathematical optimization and virtual machine. These findings reveal a technological competition between Cloud systems infrastructure, hardware development side, and computing and software development to play the main role in technological evolution of Cloud Computing. Moreover, this study shows that technological development of virtual machines and computing device can be of critical importance to foster an economic and technological change in many sectors. However, the implementation of cloud computing has to be supported by skill development, organizational change, and adopter engagement, to foster the management and the diffusion of cloud technologies and the exploitation of cloud-based infrastructures for competitive advantage of firms in fast-changing markets. This study can provide main information to extend the knowledge having theoretical implications to explain characteristics of the evolution of science and technology in this field of research and practical implications of innovation management for the appropriate allocation of resources towards new technological trajectories in cloud computing having a potential of growth and beneficial impact in society.


title: Global existence to the discrete Safronov-Dubovski\v{i} coagulation equations and failure of mass-conservation

abstract: This paper presents the existence of global solutions to the discrete Safronov-Dubvoski\v{i} coagulation equations for a large class of coagulation kernels satisfying $\Lambda_{i,j} = \theta_i \theta_j + \kappa_{i,j}$ with $\kappa_{i,j} \leq A\theta_i \theta_j, \ \ \forall \ \ i,j\ge 1$ where the sequence $(\theta_i)_{i\geq 1}$ grows linearly or superlinearly with respect to $i$. Moreover, the failure of mass-conservation of the solution is also addressed which confirms the occurrence of the gelation phenomenon.


title: Higher order smooth positon and breather positon solutions of an extended nonlinear Schr\"odinger equation with the cubic and quartic nonlinearity

abstract: We construct certain higher order smooth positon and breather positon solutions of an extended nonlinear Schr\"odinger equation with the cubic and quartic nonlinearity. We utilize the generalized Darboux transformation method to construct the aforementioned solutions. The three well-known equations, namely nonlinear Schr\"odinger equation, Hirota equation, and generalized nonlinear Schr\"odinger equation, are sub-cases of the considered extended nonlinear Schr\"odinger equation. The solutions which we construct are more general. We analyze how the positon and breather positon solutions of the constituent equations get modified by the higher order nonlinear and dispersion terms. Our results show that the width and direction of the smooth positon and breather-positon solutions are highly sensitive to higher-order effects. Further, we carryout an asymptotic analysis to predict the behaviour of positons. We observe that during collision positons exhibit a time-dependent phase shift. We also present the exact expression of time-dependent phase shift of positons. Finally, we show that this time-dependent phase shift is directly proportional to the higher order nonlinear and dispersion parameters.


title: Rigorous convergence condition for quantum annealing

abstract: We derive a generic bound on the rate of decrease of transverse field for quantum annealing to converge to the ground state of a generic Ising model when quantum annealing is formulated as an infinite-time process. Our theorem is based on a rigorous upper bound on the excitation probability in the infinite-time limit and is a mathematically rigorous counterpart of a previously known result derived only from the leading-order term of the asymptotic expansion of adiabatic condition. Since our theorem gives a sufficient condition of convergence for a generic transverse-field Ising model, any specific problem may allow a better, faster, control of the coefficient.


title: Optimal Hardy Inequality for Fractional Laplacians on the Integers

abstract: We study the fractional Hardy inequality on the integers. We prove the optimality of the Hardy weight and hence affirmatively answer the question of sharpness of the constant.


title: Operando Methods and Probes for Battery Electrodes and Materials

abstract: With the importance of Li-ion and emerging alternative batteries to our electric future, predicting new sustainable materials, electrolytes and complete cells that safely provide high performance, long life, energy dense capability is critically important. Understanding interface, microstructure of materials, the nature of electrolytes and factors that affect or limit long term performance are key to new battery chemistries, cell form factors and alternative materials. The electrochemical processes which cause these changes are also difficult to probe because of their metastability and lifetimes, which can be of nanosecond to sub nanosecond time domains. Consequently, developing and adapting high-resolution, non-destructive methods to capture these processes proves challenging, requiring state-of-the-art techniques.Recent progress is very promising, where optical spectroscopies, synchrotron radiation techniques, and energy-specific atom probe tomography and microscopy methods are just some of the approaches that are unravelling the true internal behaviour of battery cells in real-time.In this review, we overview many of the most promising non-destructive methods developed in recent years to assess battery material properties, interfaces, processes,and reactions under operando conditions in electrodes and full cells.


title: Theoretical studies on multiple ionisation and electron capture processes in heavy ion induced M-shell ionisation

abstract: Multiple ionisation and electron capture are found to be vital mechanisms for K and L x-ray emissions along with the direct coulomb ionisation in heavy ion-atom collisions. Naturally, these two mechanisms may also be significant for M x-ray emissions also. However, these mechanisms associating with the M-shell are highly complex and not yet studied convincingly. We, in this work, have discussed about theoretical techniques to study these mechanisms in more general way, which in turn, almost resolved the wide gap between the theories and experiments regarding M-shell prevalent in literature up to a good extent. We have justified this technique with a few representative cases; for example, the silicon and sulphur projectile ions colliding with the gold and bismuth targets at beam energies ranging from 5 to 10 MeV. Here, we see that the capture contribution is much higher than that coming from the multiple ionisation effect. The combined effects of direct coulomb ionisation associated with simultaneous multiple ionisation and electron capture give a better agreement with the measurements up to a good extent.


title: IGFormer: Interaction Graph Transformer for Skeleton-based Human Interaction Recognition

abstract: Human interaction recognition is very important in many applications. One crucial cue in recognizing an interaction is the interactive body parts. In this work, we propose a novel Interaction Graph Transformer (IGFormer) network for skeleton-based interaction recognition via modeling the interactive body parts as graphs. More specifically, the proposed IGFormer constructs interaction graphs according to the semantic and distance correlations between the interactive body parts, and enhances the representation of each person by aggregating the information of the interactive body parts based on the learned graphs. Furthermore, we propose a Semantic Partition Module to transform each human skeleton sequence into a Body-Part-Time sequence to better capture the spatial and temporal information of the skeleton sequence for learning the graphs. Extensive experiments on three benchmark datasets demonstrate that our model outperforms the state-of-the-art with a significant margin.


title: Is GPT-3 all you need for Visual Question Answering in Cultural Heritage?

abstract: The use of Deep Learning and Computer Vision in the Cultural Heritage domain is becoming highly relevant in the last few years with lots of applications about audio smart guides, interactive museums and augmented reality. All these technologies require lots of data to work effectively and be useful for the user. In the context of artworks, such data is annotated by experts in an expensive and time consuming process. In particular, for each artwork, an image of the artwork and a description sheet have to be collected in order to perform common tasks like Visual Question Answering. In this paper we propose a method for Visual Question Answering that allows to generate at runtime a description sheet that can be used for answering both visual and contextual questions about the artwork, avoiding completely the image and the annotation process. For this purpose, we investigate on the use of GPT-3 for generating descriptions for artworks analyzing the quality of generated descriptions through captioning metrics. Finally we evaluate the performance for Visual Question Answering and captioning tasks.


title: Sexagesimal Calculations in Ancient Sumer

abstract: This article discusses the reasons for the choice of the sexagesimal system by ancient Sumerians. It is shown that Sumerians chose this specific numeral system based on logical and practical reasons which enabled them to deal with big numbers easily and even perform the multiplications and divisions in this system. I shall also discuss how the Sumerians calculated the area of a large field and measured a large quantity of barley according to their seemingly complicated but really systematic methods.


title: Momentum Space Entanglement from the Wilsonian Effective Action

abstract: The entanglement between momentum modes of a quantum field theory at different scales is not as well studied as its counterpart in real space, despite the natural connection with the Wilsonian idea of integrating out the high-momentum degrees of freedom. Here, we push such connection further by developing a novel method to calculate the R\'enyi and entanglement entropies between slow and fast modes, which is based on the Wilsonian effective action at a given scale. This procedure is applied to the perturbative regime of some scalar theories, comparing the lowest-order results with those from the literature and interpreting them in terms of Feynman diagrams. This method is easily generalized to higher-order or nonperturbative calculations. It has the advantage of avoiding matrix diagonalizations of other techniques.


title: W2N:Switching From Weak Supervision to Noisy Supervision for Object Detection

abstract: Weakly-supervised object detection (WSOD) aims to train an object detector only requiring the image-level annotations. Recently, some works have managed to select the accurate boxes generated from a well-trained WSOD network to supervise a semi-supervised detection framework for better performance. However, these approaches simply divide the training set into labeled and unlabeled sets according to the image-level criteria, such that sufficient mislabeled or wrongly localized box predictions are chosen as pseudo ground-truths, resulting in a sub-optimal solution of detection performance. To overcome this issue, we propose a novel WSOD framework with a new paradigm that switches from weak supervision to noisy supervision (W2N). Generally, with given pseudo ground-truths generated from the well-trained WSOD network, we propose a two-module iterative training algorithm to refine pseudo labels and supervise better object detector progressively. In the localization adaptation module, we propose a regularization loss to reduce the proportion of discriminative parts in original pseudo ground-truths, obtaining better pseudo ground-truths for further training. In the semi-supervised module, we propose a two tasks instance-level split method to select high-quality labels for training a semi-supervised detector. Experimental results on different benchmarks verify the effectiveness of W2N, and our W2N outperforms all existing pure WSOD methods and transfer learning methods. Our code is publicly available at https://github.com/1170300714/w2n_wsod.


title: Ego-graph Replay based Continual Learning for Misinformation Engagement Prediction

abstract: Online social network platforms have a problem with misinformation. One popular way of addressing this problem is via the use of machine learning based automated misinformation detection systems to classify if a post is misinformation. Instead of post hoc detection, we propose to predict if a user will engage with misinformation in advance and design an effective graph neural network classifier based on ego-graphs for this task. However, social networks are highly dynamic, reflecting continual changes in user behaviour, as well as the content being posted. This is problematic for machine learning models which are typically trained on a static training dataset, and can thus become outdated when the social network changes. Inspired by the success of continual learning on such problems, we propose an ego-graphs replay strategy in continual learning (EgoCL) using graph neural networks to effectively address this issue. We have evaluated the performance of our method on user engagement with misinformation on two Twitter datasets across nineteen misinformation and conspiracy topics. Our experimental results show that our approach EgoCL has better performance in terms of predictive accuracy and computational resources than the state of the art.


title: Black-box Few-shot Knowledge Distillation

abstract: Knowledge distillation (KD) is an efficient approach to transfer the knowledge from a large "teacher" network to a smaller "student" network. Traditional KD methods require lots of labeled training samples and a white-box teacher (parameters are accessible) to train a good student. However, these resources are not always available in real-world applications. The distillation process often happens at an external party side where we do not have access to much data, and the teacher does not disclose its parameters due to security and privacy concerns. To overcome these challenges, we propose a black-box few-shot KD method to train the student with few unlabeled training samples and a black-box teacher. Our main idea is to expand the training set by generating a diverse set of out-of-distribution synthetic images using MixUp and a conditional variational auto-encoder. These synthetic images along with their labels obtained from the teacher are used to train the student. We conduct extensive experiments to show that our method significantly outperforms recent SOTA few/zero-shot KD methods on image classification tasks. The code and models are available at: https://github.com/nphdang/FS-BBT


title: Airfoil Boundary Layer Bubble Separation and Transition in a Surging Stream

abstract: The effect of high-amplitude harmonic surging on airfoil laminar separation bubbles was investigated theoretically, and experimentally in a dedicated surging-flow wind tunnel. A generalized pressure coefficient was developed that accounts for local static pressure variations due to surging. This generalization, never previously implemented, facilitated direct comparisons between surging and quasi-steady pressure coefficients, and thus unsteady effects could be distinguished from Reynolds number effects. A momentum-integral boundary layer analysis was implemented to determine movement of the bubble separation point, and movement of the transition point was extracted from experimental surface pressure coefficients. The most significant finding was that bubble bursting occurs, counterintuitively, during early imposition of the favorable temporal pressure gradient. This is because the favorable pressure gradient rapidly drives the bubble aft, rendering it unable to reattach. Bursting resulted in large lift and form-drag coefficient oscillations, and failure to implement the generalized pressure coefficient definition resulted in temporal form-drag errors of up to 400 counts.


title: Strong and weak convergence for averaging principle of DDSDE with singular drift

abstract: In this paper, we study the averaging principle for distribution dependent stochastic differential equations with drift in localized $L^p$ spaces. Using Zvonkin's transformation and estimates for solutions to Kolmogorov equations, we prove that the solutions of the original system strongly and weakly converge to the solution of the averaged system as the time scale $\eps$ goes to zero. Moreover, we obtain rates of the strong and weak convergence that depend on $p$ respectively.


title: Towards minimum loss job routing to parallel heterogeneous multiserver queues via index policies

abstract: This paper considers a Markovian model for the optimal dynamic routing of homogeneous traffic to parallel heterogeneous queues, each having its own finite input buffer and server pool, where buffer and server-pool sizes, as well as service rates, may differ across queues. The main goal is to identify a heuristic index-based routing policy with low complexity that consistently attains a nearly minimum average loss rate (or, equivalently, maximum throughput rate). A second goal is to compare alternative policies, with respect to computational demands and empirical performance. A novel routing policy that can be efficiently computed is developed based on a second-order extension to Whittle's restless bandit (RB) index, since the latter is constant for this model. New results are also given for the more computationally demanding index policy obtained via policy improvement (PI), including that it reduces to shortest queue routing under symmetric buffer and server-pool sizes. A numerical study shows that the proposed RB index policy is nearly optimal across the instances considered, and substantially outperforms several previously proposed index policies.


title: A Sample-Based Algorithm for Approximately Testing $r$-Robustness of a Digraph

abstract: One of the intensely studied concepts of network robustness is $r$-robustness, which is a network topology property quantified by an integer $r$. It is required by mean subsequence reduced (MSR) algorithms and their variants to achieve resilient consensus. However, determining $r$-robustness is intractable for large networks. In this paper, we propose a sample-based algorithm to approximately test $r$-robustness of a digraph with $n$ vertices and $m$ edges. For a digraph with a moderate assumption on the minimum in-degree, and an error parameter $0<\epsilon\leq 1$, the proposed algorithm distinguishes $(r+\epsilon n)$-robust graphs from graphs which are not $r$-robust with probability $(1-\delta)$. Our algorithm runs in $\exp(O((\ln{\frac{1}{\epsilon\delta}})/\epsilon^2))\cdot m$ time. The running time is linear in the number of edges if $\epsilon$ is a constant.


title: Uncertainty quantification in mechanistic epidemic models via cross-entropy approximate Bayesian computation

abstract: This paper proposes a data-driven approximate Bayesian computation framework for parameter estimation and uncertainty quantification of epidemic models, which incorporates two novelties: (i) the identification of the initial conditions by using plausible dynamic states that are compatible with observational data; (ii) learning of an informative prior distribution for the model parameters via the cross-entropy method. The new methodology's effectiveness is illustrated with the aid of actual data from the COVID-19 epidemic in Rio de Janeiro city in Brazil, employing an ordinary differential equation-based model with a generalized SEIR mechanistic structure that includes time-dependent transmission rate, asymptomatics, and hospitalizations. A minimization problem with two cost terms (number of hospitalizations and deaths) is formulated, and twelve parameters are identified. The calibrated model provides a consistent description of the available data, able to extrapolate forecasts over a few weeks, making the proposed methodology very appealing for real-time epidemic modeling.


title: Active Learning Strategies for Weakly-supervised Object Detection

abstract: Object detectors trained with weak annotations are affordable alternatives to fully-supervised counterparts. However, there is still a significant performance gap between them. We propose to narrow this gap by fine-tuning a base pre-trained weakly-supervised detector with a few fully-annotated samples automatically selected from the training set using ``box-in-box'' (BiB), a novel active learning strategy designed specifically to address the well-documented failure modes of weakly-supervised detectors. Experiments on the VOC07 and COCO benchmarks show that BiB outperforms other active learning techniques and significantly improves the base weakly-supervised detector's performance with only a few fully-annotated images per class. BiB reaches 97% of the performance of fully-supervised Fast RCNN with only 10% of fully-annotated images on VOC07. On COCO, using on average 10 fully-annotated images per class, or equivalently 1% of the training set, BiB also reduces the performance gap (in AP) between the weakly-supervised detector and the fully-supervised Fast RCNN by over 70%, showing a good trade-off between performance and data efficiency. Our code is publicly available at https://github.com/huyvvo/BiB.


title: AutoDiCE: Fully Automated Distributed CNN Inference at the Edge

abstract: Deep Learning approaches based on Convolutional Neural Networks (CNNs) are extensively utilized and very successful in a wide range of application areas, including image classification and speech recognition. For the execution of trained CNNs, i.e. model inference, we nowadays witness a shift from the Cloud to the Edge. Unfortunately, deploying and inferring large, compute and memory intensive CNNs on edge devices is challenging because these devices typically have limited power budgets and compute/memory resources. One approach to address this challenge is to leverage all available resources across multiple edge devices to deploy and execute a large CNN by properly partitioning the CNN and running each CNN partition on a separate edge device. Although such distribution, deployment, and execution of large CNNs on multiple edge devices is a desirable and beneficial approach, there currently does not exist a design and programming framework that takes a trained CNN model, together with a CNN partitioning specification, and fully automates the CNN model splitting and deployment on multiple edge devices to facilitate distributed CNN inference at the Edge. Therefore, in this paper, we propose a novel framework, called AutoDiCE, for automated splitting of a CNN model into a set of sub-models and automated code generation for distributed and collaborative execution of these sub-models on multiple, possibly heterogeneous, edge devices, while supporting the exploitation of parallelism among and within the edge devices. Our experimental results show that AutoDiCE can deliver distributed CNN inference with reduced energy consumption and memory usage per edge device, and improved overall system throughput at the same time.


title: When Virtual Reality Meets Rate Splitting Multiple Access: A Joint Communication and Computation Approach

abstract: Rate Splitting Multiple Access (RSMA) has emerged as an effective interference management scheme for applications that require high data rates. Although RSMA has shown advantages in rate enhancement and spectral efficiency, it has yet not to be ready for latency-sensitive applications such as virtual reality streaming, which is an essential building block of future 6G networks. Unlike conventional High-Definition streaming applications, streaming virtual reality applications requires not only stringent latency requirements but also the computation capability of the transmitter to quickly respond to dynamic users' demands. Thus, conventional RSMA approaches usually fail to address the challenges caused by computational demands at the transmitter, let alone the dynamic nature of the virtual reality streaming applications. To overcome the aforementioned challenges, we first formulate the virtual reality streaming problem assisted by RSMA as a joint communication and computation optimization problem. A novel multicast approach is then proposed to cluster users into different groups based on a Field-of-View metric and transmit multicast streams in a hierarchical manner. After that, we propose a deep reinforcement learning approach to obtain the solution for the optimization problem. Extensive simulations show that our framework can achieve the millisecond-latency requirement, which is much lower than other baseline schemes.


title: Moir\'e straintronics: a universal platform for reconfigurable quantum materials

abstract: Large scale two-dimensional (2D) moir\'e superlattices are driving a revolution in designer quantum materials. The electronic interactions in these superlattices, strongly dependent on the periodicity and symmetry of the moir\'e pattern, critically determine the emergent properties and phase diagrams. To date, the relative twist angle between two layers has been the primary tuning parameter for a given choice of constituent crystals. Here, we establish strain as a powerful mechanism to in-situ modify the moir\'e periodicity and symmetry. We develop an analytically exact mathematical description for the moir\'e lattice under arbitrary in-plane heterostrain acting on any bilayer structure. We demonstrate the ability to fine-tune the moir\'e lattice near critical points, such as the magic angle in bilayer graphene, or fully reconfigure the moir\'e lattice symmetry beyond that imposed by the unstrained constituent crystals. Due to this unprecedented simultaneous control over the strength of electronic interactions and lattice symmetry, 2D heterostrain provides a powerful platform to engineer, tune, and probe strongly correlated moir\'e materials.


title: A Variant of Concurrent Constraint Programming on GPU

abstract: The number of cores on graphical computing units (GPUs) is reaching thousands nowadays, whereas the clock speed of processors stagnates. Unfortunately, constraint programming solvers do not take advantage yet of GPU parallelism. One reason is that constraint solvers were primarily designed within the mental frame of sequential computation. To solve this issue, we take a step back and contribute to a simple, intrinsically parallel, lock-free and formally correct programming language based on concurrent constraint programming. We then re-examine parallel constraint solving on GPUs within this formalism, and develop Turbo, a simple constraint solver entirely programmed on GPUs. Turbo validates the correctness of our approach and compares positively to a parallel CPU-based solver.


title: Measuring the attenuation length of muon number in the air shower with muon detectors of 3/4 LHAASO array

abstract: LHAASO KM2A consists of 5915 scintillation detectors and 1188 muon detectors, and the muon detectors cover 4% area of the whole array with 30 m spacing. The muon number of air shower events, with very high energy, is investigated with the data recorded by muon detector of the 3/4 LHAASO array in 2021. The attenuation length of muon number in the air shower is measured by fitting the muon number with constant flux in various zenith angles, based on the constant intensity cut method. The variation of the attenuation length as shower energy from hundreds TeV to tens PeV is presented. The results of simulation also is presented for comparing.


title: Machine-learning accelerated identification of exfoliable two-dimensional materials

abstract: Two-dimensional (2D) materials have been a central focus of recent research because they host a variety of properties, making them attractive both for fundamental science and for applications. It is thus crucial to be able to identify accurately and efficiently if bulk three-dimensional (3D) materials are formed by layers held together by a weak binding energy that, thus, can be potentially exfoliated into 2D materials. In this work, we develop a machine-learning (ML) approach that, combined with a fast preliminary geometrical screening, is able to efficiently identify potentially exfoliable materials. Starting from a combination of descriptors for crystal structures, we work out a subset of them that are crucial for accurate predictions. Our final ML model, based on a random forest classifier, has a very high recall of 98\%. Using a SHapely Additive exPlanations (SHAP) analysis, we also provide an intuitive explanation of the five most important variables of the model. Finally, we compare the performance of our best ML model with a deep neural network architecture using the same descriptors. To make our algorithms and models easily accessible, we publish an online tool on the Materials Cloud portal that only requires a bulk 3D crystal structure as input. Our tool thus provides a practical yet straightforward approach to assess whether any 3D compound can be exfoliated into 2D layers.


title: Population estimation for child care centers through linear regressions

abstract: This article arises as an alternative solution to the problem of estimating the future population of some care centers for children and adolescents at social risk. The population of these centers fluctuates from month to month due to various social, economic and political factors, so there is no way to calculate exactly how many children will enter and how many will leave. To make the estimate, a mathematical model was developed to estimate the population of the centers in the following month based on linear regressions and it was implemented in a spreadsheet to facilitate its use.


title: Efficient Graph-Friendly COCO Metric Computation for Train-Time Model Evaluation

abstract: Evaluating the COCO mean average precision (MaP) and COCO recall metrics as part of the static computation graph of modern deep learning frameworks poses a unique set of challenges. These challenges include the need for maintaining a dynamic-sized state to compute mean average precision, reliance on global dataset-level statistics to compute the metrics, and managing differing numbers of bounding boxes between images in a batch. As a consequence, it is common practice for researchers and practitioners to evaluate COCO metrics as a post training evaluation step. With a graph-friendly algorithm to compute COCO Mean Average Precision and recall, these metrics could be evaluated at training time, improving visibility into the evolution of the metrics through training curve plots, and decreasing iteration time when prototyping new model versions. Our contributions include an accurate approximation algorithm for Mean Average Precision, an open source implementation of both COCO mean average precision and COCO recall, extensive numerical benchmarks to verify the accuracy of our implementations, and an open-source training loop that include train-time evaluation of mean average precision and recall.


title: Cross-Modal Contrastive Representation Learning for Audio-to-Image Generation

abstract: Multiple modalities for certain information provide a variety of perspectives on that information, which can improve the understanding of the information. Thus, it may be crucial to generate data of different modality from the existing data to enhance the understanding. In this paper, we investigate the cross-modal audio-to-image generation problem and propose Cross-Modal Contrastive Representation Learning (CMCRL) to extract useful features from audios and use it in the generation phase. Experimental results show that CMCRL enhances quality of images generated than previous research.


title: Do thermoelectric generator modules degrade due to nickel diffusion

abstract: The paper shows by calculation that the diffusion of nickel even for 50 years does not lead to degradation of thermoelectric generator modules. In the process, we used the theory of composites to calculate the electrical contact resistance, our own diffusion theory of electrical contact resistance, as well as the method for approximating the temperature dependences of thermoelectric material characteristics from the experimental data. When using the above method, it was assumed that the main mechanism of scattering of free charge carriers in a thermoelectric material is their scattering on the deformation potential of acoustic phonons with a free path length independent of energy but inversely proportional to temperature, and the main mechanism of phonon scattering is phonon-phonon scattering with Umklapp, which is not affected by the nickel impurity in the thermoelectric material. Thus, it was believed that the role of nickel is reduced only to a change in the concentration of free charge carriers in the material.


title: Entropy-based random models for hypergraphs

abstract: Network theory has primarily focused on pairwise relationships, disregarding many-body interactions: neglecting them, however, can lead to misleading representations of complex systems. Hypergraphs represent an increasingly popular alternative for describing polyadic interactions: our innovation lies in leveraging the representation of hypergraphs based on the incidence matrix for extending the entropy-based framework to higher-order structures. In analogy with the Exponential Random Graphs, we name the members of this novel class of models Exponential Random Hypergraphs. Here, we focus on two explicit examples, i.e. the generalisations of the Erd\"os-R\'enyi Model and of the Configuration Model. After discussing their asymptotic properties, we employ them to analyse real-world configurations: more specifically, i) we extend the definition of several network quantities to hypergraphs, ii) compute their expected value under each null model and iii) compare it with the empirical one, in order to detect deviations from random behaviours. Differently from currently available techniques, ours is analytically tractable, scalable and effective in singling out the structural patterns of real-world hypergraphs differing significantly from those emerging as a consequence of simpler, structural constraints.


title: Inference of Regulatory Networks Through Temporally Sparse Data

abstract: A major goal in genomics is to properly capture the complex dynamical behaviors of gene regulatory networks (GRNs). This includes inferring the complex interactions between genes, which can be used for a wide range of genomics analyses, including diagnosis or prognosis of diseases and finding effective treatments for chronic diseases such as cancer. Boolean networks have emerged as a successful class of models for capturing the behavior of GRNs. In most practical settings, inference of GRNs should be achieved through limited and temporally sparse genomics data. A large number of genes in GRNs leads to a large possible topology candidate space, which often cannot be exhaustively searched due to the limitation in computational resources. This paper develops a scalable and efficient topology inference for GRNs using Bayesian optimization and kernel-based methods. Rather than an exhaustive search over possible topologies, the proposed method constructs a Gaussian Process (GP) with a topology-inspired kernel function to account for correlation in the likelihood function. Then, using the posterior distribution of the GP model, the Bayesian optimization efficiently searches for the topology with the highest likelihood value by optimally balancing between exploration and exploitation. The performance of the proposed method is demonstrated through comprehensive numerical experiments using a well-known mammalian cell-cycle network.


title: The BINGO project VIII: On the recoverability of the BAO signal on HI intensity mapping simulations

abstract: A new and promising technique for observing the Universe and study the dark sector is the intensity mapping of the redshifted 21cm line of neutral hydrogen (HI). The BINGO radio telescope will use the 21cm line to map the Universe in the redshift range $0.127 \le z \le 0.449$, in a tomographic approach, with the main goal of probing BAO. This work presents the forecasts of measuring the transversal BAO signal during the BINGO Phase 1 operation. We use two clustering estimators, the two-point angular correlation function (ACF) and the angular power spectrum (APS), and a template-based method to model the ACF and APS estimated from simulations of the BINGO region and extract the BAO information. The tomographic approach allows the combination of redshift bins to improve the template fitting performance. We find that each clustering estimator shows different sensitivities to specific redshift ranges, although both of them perform better at higher redshifts. In general, the APS estimator provides slightly better estimates, with smaller uncertainties and larger probability of detection of the BAO signal, achieving $\gtrsim 90$\% at higher redshifts. We investigate the contribution from instrumental noise and residual foreground signals and find that the former has the greater impact, getting more significant as the redshift increases, in particular the APS estimator. Indeed, including noise in the analysis increases the uncertainty up to a factor of $\sim 2.2$ at higher redshifts. Foreground residuals, in contrast, do not significantly affect our final uncertainties. In summary, our results show that, even including semi-realistic systematic effects, BINGO has the potential to successfully measure the BAO scale in radio frequencies. (Abridged)


title: PirouNet: Creating Dance through Artist-Centric Deep Learning

abstract: Using Artificial Intelligence (AI) to create dance choreography with intention is still at an early stage. Methods that conditionally generate dance sequences remain limited in their ability to follow choreographer-specific creative direction, often relying on external prompts or supervised learning. In the same vein, fully annotated dance datasets are rare and labor intensive. To fill this gap and help leverage deep learning as a meaningful tool for choreographers, we propose "PirouNet", a semi-supervised conditional recurrent variational autoencoder together with a dance labeling web application. PirouNet allows dance professionals to annotate data with their own subjective creative labels and subsequently generate new bouts of choreography based on their aesthetic criteria. Thanks to the proposed semi-supervised approach, PirouNet only requires a small portion of the dataset to be labeled, typically on the order of 1%. We demonstrate PirouNet's capabilities as it generates original choreography based on the "Laban Time Effort", an established dance notion describing intention for a movement's time dynamics. We extensively evaluate PirouNet's dance creations through a series of qualitative and quantitative metrics, validating its applicability as a tool for choreographers.


title: Quantifying Overheads in Charm++ and HPX using Task Bench

abstract: Asynchronous Many-Task (AMT) runtime systems take advantage of multi-core architectures with light-weight threads, asynchronous executions, and smart scheduling. In this paper, we present the comparison of the AMT systems Charm++ and HPX with the main stream MPI, OpenMP, and MPI+OpenMP libraries using the Task Bench benchmarks. Charm++ is a parallel programming language based on C++, supporting stackless tasks as well as light-weight threads asynchronously along with an adaptive runtime system. HPX is a C++ library for concurrency and parallelism, exposing C++ standards conforming API. First, we analyze the commonalities, differences, and advantageous scenarios of Charm++ and HPX in detail. Further, to investigate the potential overheads introduced by the tasking systems of Charm++ and HPX, we utilize an existing parameterized benchmark, Task Bench, wherein 15 different programming systems were implemented, e.g., MPI, OpenMP, MPI + OpenMP, and extend Task Bench by adding HPX implementations. We quantify the overheads of Charm++, HPX, and the main stream libraries in different scenarios where a single task and multi-task are assigned to each core, respectively. We also investigate each system's scalability and the ability to hide the communication latency.


title: Some Extensions of Thomassen's Theorem to Longer Paths

abstract: Let $G$ be a planar embedding with list-assignment $L$ and outer cycle $C$, and let $P$ be a path of length at most four on $C$, where each vertex of $G\setminus C$ has a list of size at least five and each vertex of $C\setminus P$ has a list of size at least three. In this paper, we prove some results about partial $L$-colorings $\phi$ of $C$ with the property that any extension of $\phi$ to an $L$-coloring of $\textrm{dom}(\phi)\cup V(P)$ extends to $L$-color all of $G$. We use these results in a later sequence of papers to prove some results about list-colorings of high-representativity embeddings on surfaces.


title: Extensions of Thomassen's Theorem to Paths of Length At Most Four: Part II

abstract: Let $G$ be a planar embedding with list-assignment $L$ and outer cycle $C$, and let $P$ be a path of length at most four on $C$, where each vertex of $G\setminus C$ has a list of size at least five and each vertex of $C\setminus P$ has a list of size at least three. This is the second paper in a sequence of three papers in which we prove some results about partial $L$-colorings $\phi$ of $C$ with the property that any extension of $\phi$ to an $L$-coloring of $\textrm{dom}(\phi)\cup V(P)$ extends to $L$-color all of $G$, and, in particular, some useful results about the special case in which $\textrm{dom}(\phi)$ consists only of the endpoints of $P$. We also prove some results about the other special case in which $\phi$ is allowed to color some vertices of $C\setminus\mathring{P}$ but we avoid taking too many colors away from the leftover vertices of $\mathring{P}\setminus\textrm{dom}(\phi)$. We use these results in a later sequence of papers to prove some results about list-colorings of high-representativity embeddings on surfaces.


title: Extensions of Thomassen's Theorem to Paths of Length At Most Four: Part III

abstract: Let $G$ be a planar embedding with list-assignment $L$ and outer cycle $C$, and let $P$ be a path of length at most four on $C$, where each vertex of $G\setminus C$ has a list of size at least five and each vertex of $C\setminus P$ has a list of size at least three. This is the final paper in a sequence of three papers in which we prove some results about partial $L$-colorings $\phi$ of $C$ with the property that any extension of $\phi$ to an $L$-coloring of $\textrm{dom}(\phi)\cup V(P)$ extends to $L$-color all of $G$, and, in particular, some useful results about the special case in which $\textrm{dom}(\phi)$ consists only of the endpoints of $P$. We also prove some results about the other special case in which $\phi$ is allowed to color some vertices of $C\setminus\mathring{P}$ but we avoid taking too many colors away from the leftover vertices of $\mathring{P}\setminus\textrm{dom}(\phi)$. We use these results in a later sequence of papers to prove some results about list-colorings of high-representativity embeddings on surfaces.


title: Complementing Semi-Supervised Learning with Uncertainty Quantification

abstract: The problem of fully supervised classification is that it requires a tremendous amount of annotated data, however, in many datasets a large portion of data is unlabeled. To alleviate this problem semi-supervised learning (SSL) leverages the knowledge of the classifier on the labeled domain and extrapolates it to the unlabeled domain which has a supposedly similar distribution as annotated data. Recent success on SSL methods crucially hinges on thresholded pseudo labeling and thereby consistency regularization for the unlabeled domain. However, the existing methods do not incorporate the uncertainty of the pseudo labels or unlabeled samples in the training process which are due to the noisy labels or out of distribution samples owing to strong augmentations. Inspired by the recent developments in SSL, our goal in this paper is to propose a novel unsupervised uncertainty-aware objective that relies on aleatoric and epistemic uncertainty quantification. Complementing the recent techniques in SSL with the proposed uncertainty-aware loss function our approach outperforms or is on par with the state-of-the-art over standard SSL benchmarks while being computationally lightweight. Our results outperform the state-of-the-art results on complex datasets such as CIFAR-100 and Mini-ImageNet.


title: Koopman Form of Nonlinear Systems with Inputs

abstract: The Koopman framework proposes a linear representation of finite-dimensional nonlinear systems through a generally infinite-dimensional globally linear embedding. Originally, the Koopman formalism has been derived for autonomous systems. In applications for systems with inputs, generally a linear time invariant (LTI) form of the Koopman model is assumed, as it facilitates the use of control techniques such as linear quadratic regulation and model predictive control. However, it can be easily shown that this assumption is insufficient to capture the dynamics of the underlying nonlinear system. Proper theoretical extension for actuated continuous-time systems with a linear or a control-affine input has been worked out only recently, however extensions to discrete-time systems and general continuous-time systems have not been developed yet. In the present paper, we systematically investigate and analytically derive lifted forms under inputs for a rather wide class of nonlinear systems in both continuous and discrete time. We prove that the resulting lifted representations give Koopman models where the state transition is linear, but the input matrix becomes state-dependent (state and input-dependent in the discrete-time case), giving rise to a specially structured linear parameter-varying (LPV) description of the underlying system. We also provide error bounds on how much the dependency of the input matrix contributes to the resulting representation and how well the system behaviour can be approximated by an LTI Koopman representation. The introduced theoretical insight greatly helps for performing proper model structure selection in system identification with Koopman models as well as making a proper choice for LTI or LPV techniques for the control of nonlinear systems through the Koopman approach.