title: Building Intelligent Autonomous Navigation Agents

abstract: Breakthroughs in machine learning in the last decade have led to `digital intelligence', i.e. machine learning models capable of learning from vast amounts of labeled data to perform several digital tasks such as speech recognition, face recognition, machine translation and so on. The goal of this thesis is to make progress towards designing algorithms capable of `physical intelligence', i.e. building intelligent autonomous navigation agents capable of learning to perform complex navigation tasks in the physical world involving visual perception, natural language understanding, reasoning, planning, and sequential decision making. Despite several advances in classical navigation methods in the last few decades, current navigation agents struggle at long-term semantic navigation tasks. In the first part of the thesis, we discuss our work on short-term navigation using end-to-end reinforcement learning to tackle challenges such as obstacle avoidance, semantic perception, language grounding, and reasoning. In the second part, we present a new class of navigation methods based on modular learning and structured explicit map representations, which leverage the strengths of both classical and end-to-end learning methods, to tackle long-term navigation tasks. We show that these methods are able to effectively tackle challenges such as localization, mapping, long-term planning, exploration and learning semantic priors. These modular learning methods are capable of long-term spatial and semantic understanding and achieve state-of-the-art results on various navigation tasks.


title: Diversifying Semantic Image Synthesis and Editing via Class- and Layer-wise VAEs

abstract: Semantic image synthesis is a process for generating photorealistic images from a single semantic mask. To enrich the diversity of multimodal image synthesis, previous methods have controlled the global appearance of an output image by learning a single latent space. However, a single latent code is often insufficient for capturing various object styles because object appearance depends on multiple factors. To handle individual factors that determine object styles, we propose a class- and layer-wise extension to the variational autoencoder (VAE) framework that allows flexible control over each object class at the local to global levels by learning multiple latent spaces. Furthermore, we demonstrate that our method generates images that are both plausible and more diverse compared to state-of-the-art methods via extensive experiments with real and synthetic datasets inthree different domains. We also show that our method enables a wide range of applications in image synthesis and editing tasks.


title: On the continuum limit for the discrete Nonlinear Schr\"odinger equation on a large finite cubic lattice

abstract: In this study, we consider the nonlinear Sch\"odinger equation (NLS) with the zero-boundary condition on a two- or three-dimensional large finite cubic lattice. We prove that its solution converges to that of the NLS on the entire Euclidean space with simultaneous reduction in the lattice distance and expansion of the domain. Moreover, we obtain a precise global-in-time bound for the rate of convergence. Our proof heavily relies on Strichartz estimates on a finite lattice. A key observation is that, compared to the case of a lattice with a fixed size [Y. Hong, C. Kwak, S. Nakamura, and C. Yang, \emph{Finite difference scheme for two-dimensional periodic nonlinear {S}chr\"{o}dinger equations}, Journal of Evolution Equations \textbf{21} (2021), no.~1, 391--418.], the loss of regularity in Strichartz estimates can be reduced as the domain expands, depending on the speed of expansion. This allows us to address the physically important three-dimensional case.


title: A magnetic continuum observed by terahertz spectroscopy in a quantum spin liquid candidate BaCo$_2$(AsO$_4$)$_2$

abstract: Quantum spin liquids (QSLs) are topologically ordered exotic states of matter that host fractionalized excitations. Kitaev proposed a particular route towards a QSL via strongly bond-dependent interactions on the hexagonal lattice. A number of candidate Kitaev QSL materials have been pursued, but all have appreciable non-Kitaev interactions, which put these systems far from the QSL regime. Using time-domain terahertz spectroscopy (TDTS) we observed a broad magnetic continuum over a wide range of temperature and field in the honeycomb cobalt-based magnet, BaCo$_2$(AsO$_4$)$_2$, which has been proposed to be more ideal versions of a Kitaev QSL. Applying a small in-plane magnetic field of $\sim$ 0.5 T suppresses the magnetic order and at at even higher fields gives rise to a spin-polarized state. With 4T magnetic field oriented principally out-of-plane, a broad magnetic continuum was observed that could be consistent with a field induced QSL. Our results indicate BaCo$_2$(AsO$_4$)$_2$ to be a promising QSL candidate.


title: Basis-MelGAN: Efficient Neural Vocoder Based on Audio Decomposition

abstract: Recent studies have shown that neural vocoders based on generative adversarial network (GAN) can generate audios with high quality. While GAN based neural vocoders have shown to be computationally much more efficient than those based on autoregressive predictions, the real-time generation of the highest quality audio on CPU is still a very challenging task. One major computation of all GAN-based neural vocoders comes from the stacked upsampling layers, which were designed to match the length of the waveform's length of output and temporal resolution. Meanwhile, the computational complexity of upsampling networks is closely correlated with the numbers of samples generated for each window. To reduce the computation of upsampling layers, we propose a new GAN based neural vocoder called Basis-MelGAN where the raw audio samples are decomposed with a learned basis and their associated weights. As the prediction targets of Basis-MelGAN are the weight values associated with each learned basis instead of the raw audio samples, the upsampling layers in Basis-MelGAN can be designed with much simpler networks. Compared with other GAN based neural vocoders, the proposed Basis-MelGAN could produce comparable high-quality audio but significantly reduced computational complexity from HiFi-GAN V1's 17.74 GFLOPs to 7.95 GFLOPs.


title: Identifying malicious accounts in Blockchains using Domain Names and associated temporal properties

abstract: The rise in the adoption of blockchain technology has led to increased illegal activities by cyber-criminals costing billions of dollars. Many machine learning algorithms are applied to detect such illegal behavior. These algorithms are often trained on the transaction behavior and, in some cases, trained on the vulnerabilities that exist in the system. In our approach, we study the feasibility of using metadata such as Domain Name (DN) associated with the account in the blockchain and identify whether an account should be tagged malicious or not. Here, we leverage the temporal aspects attached to the DNs. Our results identify 144930 DNs that show malicious behavior, and out of these, 54114 DNs show persistent malicious behavior over time. Nonetheless, none of these identified malicious DNs were reported in new officially tagged malicious blockchain DNs.


title: The Exomoon Corridor for Multiple Moon Systems

abstract: Recently Kipping (2021) identified the so-called "exomoon corridor", a potentially powerful new tool for identifying possible exomoon hosts, enabled by the observation that fully half of all planets hosting an exomoon will exhibit transit timing variation (TTV) periodicities of 2-4 epochs. One key outstanding problem in the search for exomoons, however, is the question of how well the methods we have developed under the single moon assumption extend to systems with multiple moons. In this work we use $N$-body simulations to examine the exomoon corridor effect in the more general case of $N \geq 1$ moons, generating realistic TTVs produced by satellite systems more akin to those seen in the outer Solar System. We find that indeed the relationship does hold for systems with up to 5 moons in both resonant and non-resonant chain configurations. Our results suggest an observational bias against finding systems with large numbers of massive moons; as the number of moons increases, total satellite mass ratios are generally required to be significantly lower in order to maintain stability, or architectures must be more finely tuned to survive. Moons produced in impact or capture scenarios may therefore dominate early detections. Finally, we examine the distribution of TTV periods measured for a large number of Kepler Objects of Interest (KOIs) and find the same characteristic exomoon corridor distribution in several cases. This could be dynamical evidence for an abundance of moons in the field, though we caution against strong inferences based on this result.


title: Vulnerability and Transaction behavior based detection of Malicious Smart Contracts

abstract: Smart Contracts (SCs) in Ethereum can automate tasks and provide different functionalities to a user. Such automation is enabled by the `Turing-complete' nature of the programming language (Solidity) in which SCs are written. This also opens up different vulnerabilities and bugs in SCs that malicious actors exploit to carry out malicious or illegal activities on the cryptocurrency platform. In this work, we study the correlation between malicious activities and the vulnerabilities present in SCs and find that some malicious activities are correlated with certain types of vulnerabilities. We then develop and study the feasibility of a scoring mechanism that corresponds to the severity of the vulnerabilities present in SCs to determine if it is a relevant feature to identify suspicious SCs. We analyze the utility of severity score towards detection of suspicious SCs using unsupervised machine learning (ML) algorithms across different temporal granularities and identify behavioral changes. In our experiments with on-chain SCs, we were able to find a total of 1094 benign SCs across different granularities which behave similar to malicious SCs, with the inclusion of the smart contract vulnerability scores in the feature set.


title: Federated Graph Classification over Non-IID Graphs

abstract: Federated learning has emerged as an important paradigm for training machine learning models in different domains. For graph-level tasks such as graph classification, graphs can also be regarded as a special type of data samples, which can be collected and stored in separate local systems. Similar to other domains, multiple local systems, each holding a small set of graphs, may benefit from collaboratively training a powerful graph mining model, such as the popular graph neural networks (GNNs). To provide more motivation towards such endeavors, we analyze real-world graphs from different domains to confirm that they indeed share certain graph properties that are statistically significant compared with random graphs. However, we also find that different sets of graphs, even from the same domain or same dataset, are non-IID regarding both graph structures and node features. To handle this, we propose a graph clustered federated learning (GCFL) framework that dynamically finds clusters of local systems based on the gradients of GNNs, and theoretically justify that such clusters can reduce the structure and feature heterogeneity among graphs owned by the local systems. Moreover, we observe the gradients of GNNs to be rather fluctuating in GCFL which impedes high-quality clustering, and design a gradient sequence-based clustering mechanism based on dynamic time warping (GCFL+). Extensive experimental results and in-depth analysis demonstrate the effectiveness of our proposed frameworks.


title: Tri-branched gels: Rubbery materials with the lowest branching factor approach the ideal elastic limit

abstract: Unlike hard materials such as metals and ceramics, rubbery materials can endure large deformations due to the large conformational degree of freedom of the crosslinked three-dimensional polymer network. However, the effect of the branching factor of the network on the ultimate mechanical properties of rubbery materials has not yet been clarified. This study shows that tri-branching, which entails the lowest branching factor, results in a large elastic deformation near the theoretical upper bound. This ideal elastic limit is realized by reversible strain-induced crystallization, providing on-demand reinforcement. The findings indicate that the polymer chain is highly orientated along the stretching axis, whereat enhanced reversible strain-induced crystallization is observed in the tri-branched and not in the tetra-branched network. A mathematical theory of structural rigidity is used to explain the difference in the chain orientation. Although tetra-branched polymers have been preferred since the development of vulcanization, these findings highlighting the merits of tri-branching will prompt a paradigm shift in the development of rubbery materials.


title: Half-body Portrait Relighting with Overcomplete Lighting Representation

abstract: We present a neural-based model for relighting a half-body portrait image by simply referring to another portrait image with the desired lighting condition. Rather than following classical inverse rendering methodology that involves estimating normals, albedo and environment maps, we implicitly encode the subject and lighting in a latent space, and use these latent codes to generate relighted images by neural rendering. A key technical innovation is the use of a novel overcomplete lighting representation, which facilitates lighting interpolation in the latent space, as well as helping regularize the self-organization of the lighting latent space during training. In addition, we propose a novel multiplicative neural render that more effectively combines the subject and lighting latent codes for rendering. We also created a large-scale photorealistic rendered relighting dataset for training, which allows our model to generalize well to real images. Extensive experiments demonstrate that our system not only outperforms existing methods for referral-based portrait relighting, but also has the capability generate sequences of relighted images via lighting rotations.


title: Polarization rotation and near-Earth quantum communications

abstract: We revisit polarization rotation due to gravity, known as the gravitational Faraday effect, with a view on its role in quantum communications with Earth-orbiting satellites. In a static spherically symmetric gravitational field Faraday rotation is purely a reference frame (gauge) effect. This is so also in the leading post-Newtonian expansion of the Earth's gravitational field. However, establishing the local reference frame with respect to distant stars leads to the nonzero Faraday phase. In communications between a ground station and an Earth-orbiting spacecraft this phase is of the order of 10^-10. Under the same conditions the Wigner phase of special relativity is typically of the order 10^-4--10^-5. These phases lead to the physical lower bound on communication errors. However, both types of errors can be simultaneously mitigated. Moreover, they are countered by a fully reference frame independent scheme that also handles arbitrary misalignment between the reference frames of sender and receiver.


title: Reliable Graph Neural Network Explanations Through Adversarial Training

abstract: Graph neural network (GNN) explanations have largely been facilitated through post-hoc introspection. While this has been deemed successful, many post-hoc explanation methods have been shown to fail in capturing a model's learned representation. Due to this problem, it is worthwhile to consider how one might train a model so that it is more amenable to post-hoc analysis. Given the success of adversarial training in the computer vision domain to train models with more reliable representations, we propose a similar training paradigm for GNNs and analyze the respective impact on a model's explanations. In instances without ground truth labels, we also determine how well an explanation method is utilizing a model's learned representation through a new metric and demonstrate adversarial training can help better extract domain-relevant insights in chemistry.


title: Temporal semi-discretizations of a backward semilinear stochastic evolution equation

abstract: This paper studies the convergence of three temporal semi-discretizations for a backward semilinear stochastic evolution equation. For general terminal value and general coefficient with Lipschitz continuity, the convergence of the first two temporal semi-discretizations is established, and an explicit convergence rate is derived for the third temporal semi-discretization. The third temporal semi-discretization is applied to a general stochastic linear quadratic control problem, and the convergence of a temporally semi-discrete approximation to the optimal control is established.


title: Branch Prediction as a Reinforcement Learning Problem: Why, How and Case Studies

abstract: Recent years have seen stagnating improvements to branch predictor (BP) efficacy and a dearth of fresh ideas in branch predictor design, calling for fresh thinking in this area. This paper argues that looking at BP from the viewpoint of Reinforcement Learning (RL) facilitates systematic reasoning about, and exploration of, BP designs. We describe how to apply the RL formulation to branch predictors, show that existing predictors can be succinctly expressed in this formulation, and study two RL-based variants of conventional BPs.


title: Subgraph Federated Learning with Missing Neighbor Generation

abstract: Graphs have been widely used in data mining and machine learning due to their unique representation of real-world objects and their interactions. As graphs are getting bigger and bigger nowadays, it is common to see their subgraphs separately collected and stored in multiple local systems. Therefore, it is natural to consider the subgraph federated learning setting, where each local system holds a small subgraph that may be biased from the distribution of the whole graph. Hence, the subgraph federated learning aims to collaboratively train a powerful and generalizable graph mining model without directly sharing their graph data. In this work, towards the novel yet realistic setting of subgraph federated learning, we propose two major techniques: (1) FedSage, which trains a GraphSage model based on FedAvg to integrate node features, link structures, and task labels on multiple local subgraphs; (2) FedSage+, which trains a missing neighbor generator along FedSage to deal with missing links across local subgraphs. Empirical results on four real-world graph datasets with synthesized subgraph federated learning settings demonstrate the effectiveness and efficiency of our proposed techniques. At the same time, consistent theoretical implications are made towards their generalization ability on the global graphs.


title: A flexible Bayesian framework for individualized inference via adaptive borrowing

abstract: The explosion in high-resolution data capture technologies in health has increased interest in making inferences about individual-level parameters. While technology may provide substantial data on a single individual, how best to use multisource population data to improve individualized inference remains an open research question. One possible approach, the multisource exchangeability model (MEM), is a Bayesian method for integrating data from supplementary sources into the analysis of a primary source. MEM was originally developed to improve inference for a single study by asymmetrically borrowing information from a set of similar previous studies and was further developed to apply a more computationally intensive symmetric borrowing in the context of basket trial; however, even for asymmetric borrowing, its computational burden grows exponentially with the number of supplementary sources, making it unsuitable for applications where hundreds or thousands of supplementary sources (i.e., individuals) could contribute to inference on a given individual. In this paper, we propose the data-driven MEM (dMEM), a two-stage approach that includes both source selection and clustering to enable the inclusion of an arbitrary number of sources to contribute to individualized inference in a computationally tractable and data-efficient way. We illustrate the application of dMEM to individual-level human behavior and mental well-being data collected via smartphones, where our approach increases individual-level estimation precision by 84% compared with a standard no-borrowing method and outperforms recently-proposed competing methods in 80% of individuals.


title: Hierarchical Object-oriented Spatio-Temporal Reasoning for Video Question Answering

abstract: Video Question Answering (Video QA) is a powerful testbed to develop new AI capabilities. This task necessitates learning to reason about objects, relations, and events across visual and linguistic domains in space-time. High-level reasoning demands lifting from associative visual pattern recognition to symbol-like manipulation over objects, their behavior and interactions. Toward reaching this goal we propose an object-oriented reasoning approach in that video is abstracted as a dynamic stream of interacting objects. At each stage of the video event flow, these objects interact with each other, and their interactions are reasoned about with respect to the query and under the overall context of a video. This mechanism is materialized into a family of general-purpose neural units and their multi-level architecture called Hierarchical Object-oriented Spatio-Temporal Reasoning (HOSTR) networks. This neural model maintains the objects' consistent lifelines in the form of a hierarchically nested spatio-temporal graph. Within this graph, the dynamic interactive object-oriented representations are built up along the video sequence, hierarchically abstracted in a bottom-up manner, and converge toward the key information for the correct answer. The method is evaluated on multiple major Video QA datasets and establishes new state-of-the-arts in these tasks. Analysis into the model's behavior indicates that object-oriented reasoning is a reliable, interpretable and efficient approach to Video QA.


title: Singly- and doubly-deuterated formaldehyde in massive star-forming regions

abstract: Deuterated molecules are good tracers of the evolutionary stage of star-forming cores. During the star formation process, deuterated molecules are expected to be enhanced in cold, dense pre-stellar cores and to deplete after protostellar birth. In this paper we study the deuteration fraction of formaldehyde in high-mass star-forming cores at different evolutionary stages to investigate whether the deuteration fraction of formaldehyde can be used as an evolutionary tracer. Using the APEX SEPIA Band 5 receiver, we extended our pilot study of the $J$=3$\rightarrow$2 rotational lines of HDCO and D$_2$CO to eleven high-mass star-forming regions that host objects at different evolutionary stages. High-resolution follow-up observations of eight objects in ALMA Band 6 were performed to reveal the size of the H$_2$CO emission and to give an estimate of the deuteration fractions HDCO/H$_2$CO and D$_2$CO/HDCO at scales of $\sim$6" (0.04-0.15 pc at the distance of our targets). Our observations show that singly- and doubly deuterated H$_2$CO are detected toward high-mass protostellar objects (HMPOs) and ultracompact HII regions (UCHII regions), the deuteration fraction of H$_2$CO is also found to decrease by an order of magnitude from the earlier HMPO phases to the latest evolutionary stage (UCHII), from $\sim$0.13 to $\sim$0.01. We have not detected HDCO and D$_2$CO emission from the youngest sources (high-mass starless cores, HMSCs). Our extended study supports the results of the previous pilot study: the deuteration fraction of formaldehyde decreases with evolutionary stage, but higher sensitivity observations are needed to provide more stringent constraints on the D/H ratio during the HMSC phase. The calculated upper limits for the HMSC sources are high, so the trend between HMSC and HMPO phases cannot be constrained.


title: Binary Matrix Factorisation and Completion via Integer Programming

abstract: Binary matrix factorisation is an essential tool for identifying discrete patterns in binary data. In this paper we consider the rank-k binary matrix factorisation problem (k-BMF) under Boolean arithmetic: we are given an n x m binary matrix X with possibly missing entries and need to find two binary matrices A and B of dimension n x k and k x m respectively, which minimise the distance between X and the Boolean product of A and B in the squared Frobenius distance. We present a compact and two exponential size integer programs (IPs) for k-BMF and show that the compact IP has a weak LP relaxation, while the exponential size IPs have a stronger equivalent LP relaxation. We introduce a new objective function, which differs from the traditional squared Frobenius objective in attributing a weight to zero entries of the input matrix that is proportional to the number of times the zero is erroneously covered in a rank-k factorisation. For one of the exponential size IPs we describe a computational approach based on column generation. Experimental results on synthetic and real word datasets suggest that our integer programming approach is competitive against available methods for k-BMF and provides accurate low-error factorisations.


title: NP-DRAW: A Non-Parametric Structured Latent Variable Model for Image Generation

abstract: In this paper, we present a non-parametric structured latent variable model for image generation, called NP-DRAW, which sequentially draws on a latent canvas in a part-by-part fashion and then decodes the image from the canvas. Our key contributions are as follows. 1) We propose a non-parametric prior distribution over the appearance of image parts so that the latent variable ``what-to-draw'' per step becomes a categorical random variable. This improves the expressiveness and greatly eases the learning compared to Gaussians used in the literature. 2) We model the sequential dependency structure of parts via a Transformer, which is more powerful and easier to train compared to RNNs used in the literature. 3) We propose an effective heuristic parsing algorithm to pre-train the prior. Experiments on MNIST, Omniglot, CIFAR-10, and CelebA show that our method significantly outperforms previous structured image models like DRAW and AIR and is competitive to other generic generative models. Moreover, we show that our model's inherent compositionality and interpretability bring significant benefits in the low-data learning regime and latent space editing. Code is available at https://github.com/ZENGXH/NPDRAW.


title: A hybrid model-based and learning-based approach for classification using limited number of training samples

abstract: The fundamental task of classification given a limited number of training data samples is considered for physical systems with known parametric statistical models. The standalone learning-based and statistical model-based classifiers face major challenges towards the fulfillment of the classification task using a small training set. Specifically, classifiers that solely rely on the physics-based statistical models usually suffer from their inability to properly tune the underlying unobservable parameters, which leads to a mismatched representation of the system's behaviors. Learning-based classifiers, on the other hand, typically rely on a large number of training data from the underlying physical process, which might not be feasible in most practical scenarios. In this paper, a hybrid classification method -- termed HyPhyLearn -- is proposed that exploits both the physics-based statistical models and the learning-based classifiers. The proposed solution is based on the conjecture that HyPhyLearn would alleviate the challenges associated with the individual approaches of learning-based and statistical model-based classifiers by fusing their respective strengths. The proposed hybrid approach first estimates the unobservable model parameters using the available (suboptimal) statistical estimation procedures, and subsequently use the physics-based statistical models to generate synthetic data. Then, the training data samples are incorporated with the synthetic data in a learning-based classifier that is based on domain-adversarial training of neural networks. Specifically, in order to address the mismatch problem, the classifier learns a mapping from the training data and the synthetic data to a common feature space. Simultaneously, the classifier is trained to find discriminative features within this space in order to fulfill the classification task.


title: Small eigenvalues of Schr\"odinger operators over geometrically finite manifolds

abstract: We estimate the number of small eigenvalues of Schr\"odinger operators on Riemannian vector bundles over geometrically finite manifolds.


title: Hall instability: origin, properties, and asymptotic theory for its tearing mode

abstract: Hall instability in electron magnetohydrodynamics is interpreted as the shear-Hall instability driven jointly by helicoidal oscillations and shear in the electron current velocity. This explanation suggests an antiparallel orientation of the background magnetic field and vorticity of the current velocity as the necessary condition for Hall instability. The condition is tested and generally confirmed by numerical computations in plane slab geometry. Unstable eigenmodes are localized in the spatial regions of the antiparallel field and vorticity. Computations of the tearing-type mode of the instability are complemented by (and generally agree with) asymptotic analytical estimations for large Hall numbers. The stabilizing effect of perfect conductor boundary conditions is found and explained. For large Hall numbers, the growth rates approach the power law dependence $\sigma \propto B^\alpha\eta^{1-\alpha}$ on the magnetic field ($B$) and diffusivity ($\eta$). Almost all computations give the power index $\alpha = 3/4$ with one exception of the tearing-type mode with vacuum boundary conditions for which case $\alpha = 2/3$.


title: Extensions of the Maximum Bichromatic Separating Rectangle Problem

abstract: In this paper, we study two extensions of the maximum bichromatic separating rectangle (MBSR) problem introduced in \cite{Armaselu-CCCG, Armaselu-arXiv}. One of the extensions, introduced in \cite{Armaselu-FWCG}, is called \textit{MBSR with outliers} or MBSR-O, and is a more general version of the MBSR problem in which the optimal rectangle is allowed to contain up to $k$ outliers, where $k$ is given as part of the input. For MBSR-O, we improve the previous known running time bounds of $O(k^7 m \log m + n)$ to $O(k^3 m + m \log m + n)$. The other extension is called \textit{MBSR among circles} or MBSR-C and asks for the largest axis-aligned rectangle separating red points from blue unit circles. For MBSR-C, we provide an algorithm that runs in $O(m^2 + n)$ time.


title: A Computationally Efficient Hamilton-Jacobi-based Formula for State-Constrained Optimal Control Problems

abstract: This paper investigates a Hamilton-Jacobi (HJ) analysis to solve finite-horizon optimal control problems for high-dimensional systems. Although grid-based methods, such as the level-set method [1], numerically solve a general class of HJ partial differential equations, the computational complexity is exponential in the dimension of the continuous state. To manage this computational complexity, methods based on Lax-Hopf theory have been developed for the state-unconstrained optimal control problem under certain assumptions, such as affine dynamics and state-independent stage cost. Based on the Lax formula [2], this paper proposes an HJ formula for the state-constrained optimal control problem for nonlinear systems. We call this formula \textit{the generalized Lax formula} for the optimal control problem. The HJ formula provides both the optimal cost and an optimal control signal. We also provide an efficient computational method for a class of problems for which the dynamics is affine in the state, and for which the stage and terminal cost, as well as the state constraints, are convex in the state. This class of problems does not require affine dynamics and convex stage cost in the control. This paper also provides three practical examples.


title: Experimental Demonstration of Underwater Decoy-state Quantum Key Distribution with All-optical Transmission

abstract: We demonstrate the underwater quantum key distribution (UWQKD) over a 10.4-meter Jerlov type III seawater channel by building a complete UWQKD system with all-optical transmission of quantum signals, synchronization signal and classical communication signal. The wavelength division multiplexing and the space-time-wavelength filtering technology are applied to ensure that the optical signals do not interfere with each other. The system is controlled by FPGA, and can be easily integrated into watertight cabins to perform field experiment. By using the decoy-state BB84 protocol with polarization encoding, we obtain a secure key rate of 1.82Kbps and an error rate of 1.55% at the attenuation of 13.26dB. We prove that the system can tolerate the channel loss up to 23.7dB, therefore may be used in the 300-meter-long Jerlov type I clean seawater channel.


title: Observation of the decays $\chi_{cJ}\to n K^{0}_{S}\bar\Lambda + c.c.$

abstract: By analyzing $4.48\times10^8$ $\psi(3686)$ events collected with the BESIII detector, we observe the decays $\chi_{cJ} \to n K^0_S\bar\Lambda + c.c.$ ($J=0$, 1, 2) for the first time, via the radiative transition $\psi(3686) \to \gamma \chi_{cJ}$. The branching fractions are determined to be $(6.67 \pm 0.26_{\rm stat} \pm 0.41_{\rm syst})\times10^{-4}$, $(1.71 \pm 0.12_{\rm stat} \pm 0.12_{\rm syst})\times10^{-4}$, and $(3.66 \pm 0.17_{\rm stat} \pm 0.23_{\rm syst})\times10^{-4}$ for $J=0$, 1, and 2, respectively.


title: Time-reversal symmetry-breaking charge order in a kagome superconductor

abstract: The kagome lattice, the most prominent structural motif in quantum physics, benefits from inherent nontrivial geometry to host diverse quantum phases, ranging from spin-liquid phases, topological matter to intertwined orders, and most rarely unconventional superconductivity. Recently, charge sensitive probes have suggested that the kagome superconductors AV_3Sb_5 (A = K, Rb, Cs) (A = K, Rb, Cs) exhibit unconventional chiral charge order, which is analogous to the long-sought-after quantum order in the Haldane model or Varma model. However, direct evidence for the time-reversal symmetry-breaking of the charge order remains elusive. Here we utilize muon spin relaxation to probe the kagome charge order and superconductivity in KV_3Sb_5. We observe a striking enhancement of the internal field width sensed by the muon ensemble, which takes place just below the charge ordering temperature and persists into the superconducting state. Remarkably, the muon spin relaxation rate below the charge ordering temperature is substantially enhanced by applying an external magnetic field. We further show the multigap nature of superconductivity in KV_3Sb_5 and that the T_c/lambda_{ab}^{-2} ratio is comparable to those of unconventional high-temperature superconductors. Our results point to time-reversal symmetry breaking charge order intertwining with unconventional superconductivity in the correlated kagome lattice.


title: Surface density-of-states on semi-infinite topological photonic and acoustic crystals

abstract: Iterative Green's function, based on cyclic reduction of block tridiagonal matrices, has been the ideal algorithm, through tight-binding models, to compute the surface density-of-states of semi-infinite topological electronic materials. In this paper, we apply this method to photonic and acoustic crystals, using finite-element discretizations and a generalized eigenvalue formulation, to calculate the local density-of-states on a single surface of semi-infinite lattices. The three-dimensional (3D) examples of gapless helicoidal surface states in Weyl and Dirac crystals are shown and the computational cost, convergence and accuracy are analyzed.


title: A Picture May Be Worth a Hundred Words for Visual Question Answering

abstract: How far can we go with textual representations for understanding pictures? In image understanding, it is essential to use concise but detailed image representations. Deep visual features extracted by vision models, such as Faster R-CNN, are prevailing used in multiple tasks, and especially in visual question answering (VQA). However, conventional deep visual features may struggle to convey all the details in an image as we humans do. Meanwhile, with recent language models' progress, descriptive text may be an alternative to this problem. This paper delves into the effectiveness of textual representations for image understanding in the specific context of VQA. We propose to take description-question pairs as input, instead of deep visual features, and fed them into a language-only Transformer model, simplifying the process and the computational cost. We also experiment with data augmentation techniques to increase the diversity in the training set and avoid learning statistical bias. Extensive evaluations have shown that textual representations require only about a hundred words to compete with deep visual features on both VQA 2.0 and VQA-CP v2.


title: Discovering executable routine specifications from user interaction logs

abstract: Robotic Process Automation (RPA) is a technology to automate routine work such as copying data across applications or filling in document templates using data from multiple applications. RPA tools allow organizations to automate a wide range of routines. However, identifying and scoping routines that can be automated using RPA tools is time consuming. Manual identification of candidate routines via interviews, walk-throughs, or job shadowing allow analysts to identify the most visible routines, but these methods are not suitable when it comes to identifying the long tail of routines in an organization. This article proposes an approach to discover automatable routines from logs of user interactions with IT systems and to synthesize executable specifications for such routines. The approach starts by discovering frequent routines at a control-flow level (candidate routines). It then determines which of these candidate routines are automatable and it synthetizes an executable specification for each such routine. Finally, it identifies semantically equivalent routines so as to produce a set of non-redundant automatable routines. The article reports on an evaluation of the approach using a combination of synthetic and real-life logs. The evaluation results show that the approach can discover automatable routines that are known to be present in a UI log, and that it identifies automatable routines that users recognize as such in real-life logs.


title: Spontaneous decay of artificial atoms in a three-qubit system

abstract: We study the evolution of qubits amplitudes in a one-dimensional chain consisting of three equidistantly spaced noninteracting qubits embedded in an open waveguide. The study is performed in the frame of single-excitation subspace, where the only qubit in the chain is initially excited. We show that the dynamics of qubits amplitudes crucially depend on the value of $kd$, where $k$ is the wave vector, $d$ is a distance between neighbor qubits. If $kd$ is equal to an integer multiple of $\pi$, then the qubits are excited to a stationary level. In this case, it is the dark states which prevent qubits from decaying to zero even though they do not contribute to the output spectrum of photon emission. For other values of $kd$ the excitations of qubits exhibit the damping oscillations which represent the vacuum Rabi oscillations in a three-qubit system. In this case, the output spectrum of photon radiation is determined by a subradiant state which has the lowest decay rate. We also investigated the case with the frequency of a central qubit being different from that of the edge qubits. In this case, the qibits decay rates can be controlled by the frequency detuning between the central and the edge qubits.


title: Detection of $^7$Be II in the Classical Nova V5669 Sgr (Nova Sagittarii 2015 No.3)

abstract: We report the new detection of $^7$Be II in the ultraviolet spectra of V5669 Sgr during its early decline phase ($+24$ and $+28$ d). We identified three blue-shifted absorption systems in our spectra. The first two, referred to as low- and high-velocity components, were noticeably identified among H I Balmer, Na I D, and Fe II whose lower energies of transients are low ($<4$ eV). The third absorption component was identified among N II, He I, and C II lines whose lower energy levels are relatively high (9--21 eV). The absorption lines of $^7$Be II at $3130.583$ {\AA}, and $3132.228$ {\AA} were identified as the first and second components in our observations. No evidence suggested the existence of Li I at 6708 {\AA} in any velocity components. The estimated number density ratio of lithium relative to hydrogen, which was finally produced by this object using the equivalent widths of $^7$Be and Ca II K, $N({\rm ^{7}Li})/N({\rm H})_{\rm final}$ is $4.0\pm0.7\times10^{-6}$. This value is an order of magnitude lower than the average observed values for classical novae wherein $^7$Be has been detected, and is comparable to the most optimistic value of theoretical predictions.


title: Isomeric states in neutron-rich nuclei around $N = 40$

abstract: Neutron-rich nuclei in the vicinity of the $N=40$ island of inversion are characterized by shell evolution and exhibit deformed ground states. In several nuclei isomeric states have been observed and attributed to excitations to the intruder neutron $1g_{9/2}$ orbital. In the present study we searched for isomeric states in nuclei around $N=40$, $Z=22$ produced by projectile fragmentation at RIBF. Delayed $\gamma$ rays were detected by the EURICA germanium detector array. High statistics data allowed for an updated decay scheme of $^{60}$V. The lifetime of an isomeric state in $^{64}$V was measured for the first time in the present experiment. A previously unobserved isomeric state was discovered in $^{58}$Sc. The measured lifetime suggests a parity changing transition, originating from an odd number of neutrons in the $1g_{9/2}$ orbital. The nature of the isomeric state in $^{58}$Sc is thus different from isomers in the less exotic V and Sc nuclei.


title: Tidal Deformation and Radial Pulsations of Neutron Star with Holographic Multiquark Core

abstract: Tidal deformation of neutron star with multiquark core is calculated using nuclear and multiquark equations of state. The equation of state of the multiquark phase from the holographic Sakai-Sugimoto~(SS) model is relatively stiff in the low density region and becomes softer at high densities. The values of Love number and dimensionless deformation parameter, $k_{2}$ and $\Lambda$, are found to be within the physically viable range under the present constraints. Radial pulsation frequencies of the multiquark core for $n=0-5$ modes are calculated for the entire mass range. For $M_{\rm core}\simeq 2 M_{\odot}$, the fundamental-mode frequency is approximately $2.5$ kHz for the energy density scale $\epsilon_{s}=23.2037$ GeV/fm$^{3}$ of the holographic SS model, this frequency is proportional to $\sqrt{\epsilon_{s}}$.


title: Collision Avoidance for Unmanned Aerial Vehicles in the Presence of Static and Moving Obstacles

abstract: This paper presents a new collision avoidance procedure for unmanned aerial vehicles in the presence of static and moving obstacles. The proposed procedure is based on a new form of local parametrized guidance vector fields, called collision avoidance vector fields, that produce smooth and intuitive maneuvers around obstacles. The maneuvers follow nominal collision-free paths which we refer to as streamlines of the collision avoidance vector fields. In the case of multiple obstacles, the proposed procedure determines a mixed vector field that blends the collision avoidance vector field of each obstacle and assumes its form whenever a pre-defined distance threshold is reached. Then, in accordance to the computed guidance vector fields, different collision avoidance controllers that generate collision-free maneuvers are developed. Furthermore, it is shown that any tracking controller with convergence guarantees can be used with the avoidance controllers to track the streamlines of the collision avoidance vector fields. Finally, numerical simulations demonstrate the efficacy of the proposed approach and its ability to avoid collisions with static and moving pop-up threats in three different practical scenarios.


title: Distinguishing thixotropy from viscoelasticity

abstract: Owing to nonlinear viscoelasticity, materials often show characteristic features that resemble those of thixotropy. This issue has been debated in the literature over the past several decades, and several experimental protocols have been proposed to distinguish thixotropy from viscoelasticity. In this work, we assess these protocols by carrying out experiments using polymer solutions, thixotropic clay dispersions, and modeling their behavior, respectively, using the FENE-P constitutive equation and a viscoelastic aging model. We find that the criteria proposed in the literature, such as a step down jump in the shear rate and shear startup at different waiting times elapsed since preshear, are inadequate to distinguish thixotropy from viscoelasticity. In marked contrast, we show that the application of step-strain or step-stress after cessation of the preshear serves as a useful discriminant between thixotropy and viscoelasticity. In thixotropic materials, we observe that the application of step strain (or step stress) after cessation of the preshear eventually leads to slowing down of relaxation dynamics as a function of waiting time. However, for viscoelastic materials, the relaxation modulus (creep compliance) curve shifts to lower modulus (higher compliance) values as a function of waiting time until equilibrium is reached. While the proposed criterion offers a robust distinction between viscoelasticity and thixotropy for the systems studied here, further experimental investigations based on other systems are needed to establish its versatility and will lead to a greater insight into this long-standing issue in rheological categorization.


title: Sequential Linear Integer Programming for Integer Optimal Control with Total Variation Regularization

abstract: We propose a trust-region method that solves a sequence of linear integer programs to tackle integer optimal control problems regularized with a total variation penalty. The total variation penalty allows us to prove the existence of minimizers of the integer optimal control problem. We introduce a local optimality concept for the problem, which arises from the infinite-dimensional perspective. In the case of a one-dimensional domain of the control function, we prove convergence of the iterates produced by our algorithm to points that satisfy first-order stationarity conditions for local optimality. We demonstrate the theoretical findings on a computational example.


title: Deformation effect on nuclear density profile and radius enhancement in light- and medium-mass neutron-rich nuclei

abstract: Mass number dependence of the nuclear radii is closely related to the nuclear matter properties. It is known that the most of nuclei exhibit some deformation. We discuss how the nuclear density profile is modified by the nuclear deformation to elucidate the enhancement mechanism of the nuclear radii through a systematic investigation of neutron-rich Ne, Mg, Si, S, Ar, Ti, Cr, and Fe isotopes. Skyrme-Hartree-Fock calculations are performed in a three-dimensional Cartesian grid to describe the nuclear deformation in a non-empirical way. The role of the nuclear deformation on the nuclear density profiles is explored in comparison to calculations with spherical limit. We find correlations between the nuclear deformation and the internal nuclear density. The evolution of the nuclear radii appears to follow the core swelling mechanism recently proposed in spherical nuclei [Phys. Rev. C 101, 061301(R) (2020)], and the radius is further enhanced by the nuclear deformation. This study demands further theoretical and experimental investigations for the internal density.


title: Fairness Deconstructed: A Sociotechnical View of 'Fair' Algorithms in Criminal Justice

abstract: Early studies of risk assessment algorithms used in criminal justice revealed widespread racial biases. In response, machine learning researchers have developed methods for fairness, many of which rely on equalizing empirical metrics across protected attributes. Here, I recall sociotechnical perspectives to delineate the significant gap between fairness in theory and practice, focusing on criminal justice. I (1) illustrate how social context can undermine analyses that are restricted to an AI system's outputs, and (2) argue that much of the fair ML literature fails to account for epistemological issues with underlying crime data. Instead of building AI that reifies power imbalances, like risk assessment algorithms, I ask whether data science can be used to understand the root causes of structural marginalization.


title: Interpreting Criminal Charge Prediction and Its Algorithmic Bias via Quantum-Inspired Complex Valued Networks

abstract: While predictive policing has become increasingly common in assisting with decisions in the criminal justice system, the use of these results is still controversial. Some software based on deep learning lacks accuracy (e.g., in F-1), and importantly many decision processes are not transparent, causing doubt about decision bias, such as perceived racial and age disparities. This paper addresses bias issues with post-hoc explanations to provide a trustable prediction of whether a person will receive future criminal charges given one's previous criminal records by learning temporal behavior patterns over twenty years. Bi-LSTM relieves the vanishing gradient problem, attentional mechanisms allow learning and interpretation of feature importance, and complex-valued networks inspired quantum physics to facilitate a certain level of transparency in modeling the decision process. Our approach shows a consistent and reliable prediction precision and recall on a real-life dataset. Our analysis of the importance of each input feature shows the critical causal impact on decision-making, suggesting that criminal histories are statistically significant factors, while identifiers, such as race and age, are not. Finally, our algorithm indicates that a suspect tends to rather than suddenly increase crime severity level over time gradually.


title: Live processing of momentum-resolved STEM data for first moment imaging and ptychography

abstract: A reformulated implementation of single-sideband ptychography enables analysis and display of live detector data streams in 4D scanning transmission electron microscopy (STEM) using the LiberTEM open-source platform. This is combined with live first moment and further virtual STEM detector analysis. Processing of both real experimental and simulated data shows the characteristics of this method when data is processed progressively, as opposed to the usual offline processing of a complete dataset. In particular, the single side band method is compared to other techniques such as the enhanced ptychographic engine in order to ascertain its capability for structural imaging at increased specimen thickness. Qualitatively interpretable live results are obtained also if the sample is moved, or magnification is changed during the analysis. This allows live optimization of instrument as well as specimen parameters during the analysis. The methodology is especially expected to improve contrast- and dose-efficient in-situ imaging of weakly scattering specimens, where fast live feedback during the experiment is required.


title: Lie-Rinehart algebra $\simeq$ acyclic Lie $\infty$-algebroid

abstract: We show that there is an equivalence of categories between Lie-Rinehart algebras over a commutative algebra $\mathcal O $ and homotopy equivalence classes of negatively graded Lie $\infty $-algebroids over their resolutions (=acyclic Lie $\infty$-algebroids). This extends to a purely algebraic setting the construction of the universal $Q$-manifold of a locally real analytic singular foliation of Lavau-C.L.-Strobl. In particular, it makes sense for the universal Lie $\infty$-algebroid of every singular foliation, without any additional assumption, and for Androulidakis-Zambon singular Lie algebroids. Also, to any ideal $\mathcal I \subset \mathcal O $ preserved by the anchor map of a Lie-Rinehart algebra $\mathcal A $, we associate a homotopy equivalence class of negatively graded Lie $\infty $-algebroids over a complex computing ${\mathrm{Tor}}_{\mathcal O}(\mathcal A, \mathcal O/\mathcal I) $. Several explicit examples are given.


title: Convergence of the Discrete-Time Compound Hawkes Processwith Exponential or Erlang Kernel

abstract: Due to its clustering and self-exciting properties, the Hawkes process has been used extensively in numerous fields ranging from sismology to finance. Since data is often aquired on regular time intervals, we propose a piece-wise constant model based on a Discrete-Time Hawkes Process (DTHP). We prove that this discrete-time model converges to the usual continuous-time Hawkes process as the time-step tends to zero.


title: CLOAK: A Framework For Development of Confidential Blockchain Smart Contracts

abstract: In recent years, as blockchain adoption has been expanding across a wide range of domains, e.g., digital asset, supply chain finance, etc., the confidentiality of smart contracts is now a fundamental demand for practical applications. However, while new privacy protection techniques keep coming out, how existing ones can best fit development settings is little studied. Suffering from limited architectural support in terms of programming interfaces, state-of-the-art solutions can hardly reach general developers. In this paper, we proposed the CLOAK framework for developing confidential smart contracts. The key capability of CLOAK is allowing developers to implement and deploy practical solutions to multi-party transaction (MPT) problems, i.e., transact with secret inputs and states owned by different parties by simply specifying it. To this end, CLOAK introduced a domain-specific annotation language for declaring privacy specifications and further automatically generating confidential smart contracts to be deployed with trusted execution environment (TEE) on blockchain. In our evaluation on both simple and real-world applications, developers managed to deploy business services on blockchain in a concise manner by only developing CLOAK smart contracts whose size is less than 30% of the deployed ones.


title: Detectability Conditions and State Estimation for Linear Time-Varying and Nonlinear Systems

abstract: This work proposes a detectability condition for linear time-varying systems based on the exponential dichotomy spectrum. The condition guarantees the existence of an observer, whose gain is determined only by the unstable modes of the system. This allows for an observer design with low computational complexity compared to classical estimation approaches. An extension of this observer design to a class of nonlinear systems is proposed and local convergence of the corresponding estimation error dynamics is proven. Numerical results show the efficacy of the proposed observer design technique.


title: A-Polynomials of fillings of the Whitehead sister

abstract: Knots obtained by Dehn filling the Whitehead sister link include some of the smallest volume twisted torus knots. Here, using results on A-polynomials of Dehn fillings, we give formulas to compute the A-polynomials of these knots. Our methods also apply to more general Dehn fillings of the Whitehead sister.


title: Unified modelling of epidemics by coupled dynamics via Monte-Carlo Markov Chain algorithms

abstract: To forecast the time dynamics of an epidemic, we propose a discrete stochastic model that unifies and generalizes previous approaches to the subject. Viewing a given population of individuals or groups of individuals with given health state attributes as living in and moving between the nodes of a graph, we use Monte-Carlo Markov Chain techniques to simulate the movements and health state changes of the individuals according to given probabilities of stay that have been preassigned to each of the nodes. We utilize this model to either capture and predict the future geographic evolution of an epidemic in time, or the evolution of an epidemic inside a heterogeneous population which is divided into homogeneous sub-populations, or, more generally, its evolution in a combination or superposition of the previous two contexts. We also prove that when the size of the population increases and a natural hypothesis is satisfied, the stochastic process associated to our model converges to a deterministic process. Indeed, when the length of the time step used in the discrete model converges to zero, in the limit this deterministic process is driven by a differential equation yielding the evolution of the expectation value of the number of infected as a function of time. In the second part of the paper, we apply our model to study the evolution of the Covid-19 epidemic. We deduce a decomposition of the function yielding the number of infectious individuals into "wavelets", which allows to trace in time the expectation value for the number of infections inside each sub-population. Within this framework, we also discuss possible causes for the occurrence of multiple epidemiological waves.


title: Chip-scale Spontaneous Quasi-Phase-Matched Micro-Racetrack Resonator

abstract: Due to their capacity for non-classical light generation, high-efficiency second-order nonlinear parametric processes play an important role in quantum photonic technology, and chip-scale realization of these processes is recognized as the key to building efficient light sources for integrated quantum photonic circuits. To achieve ultra-high nonlinear conversion efficiency, traditional method uses quasi-phase matching (QPM) technology. However, QPM requires electric field poling, which is incompatible with the CMOS fabrication process, and this hinders the wafer-scale production of integrated photonic circuits. In this paper, we demonstrate efficient spontaneous quasi-phase matched (SQPM) frequency conversion in a micro-racetrack resonator. Our approach does not involve poling, but exploits the anisotropy of the ferroelectric crystals to allow the phase-matching condition to be fulfilled spontaneously as the TE-polarized light circulates in a specifically designed racetrack resonator. SQPM second harmonic generation is observed with a normalized intracavity conversion efficiency of 0.85%/W, corresponding to the 111st-order QPM. This could theoretically reach 186,000%/W by first-order QPM. In this case such high intracavity conversion efficiency can be implemented in practice with an optimized outward coupling. Our configurable SQPM approach will benefit the application of nonlinear frequency conversion in chip-scale integrated photonics with CMOS-compatible fabrication processes, and is applicable to other on-chip nonlinear processes such as quantum frequency conversion or frequency-comb generation.


title: Introducing OpenMP Tasks into the HYDRO Benchmark

abstract: The HYDRO mini-application has been successfully used as a research vehicle in previous PRACE projects [6]. In this paper, we evaluate the benefits of the tasking model introduced in recent OpenMP standards [9]. We have developed a new version of HYDRO using the concept of OpenMP tasks and this implementation is compared to already existing and optimized OpenMP versions of HYDRO.


title: Probing the gluon tomography in photoproduction of di-pions

abstract: A sizable $\cos 4\phi$ azimuthal asymmetry in exclusive di-pion production near $\rho^0$ resonance peak in ultraperipheral heavy ion collisions recently has been reported by STAR collaboration. We show that both elliptic gluon Wigner distribution and final state soft photon radiation can give rise to this azimuthal asymmetry. The fact that the QED effect alone severely underestimates the observed asymmetry might signal the existence of the nontrivial correlation in quantum phase distribution of gluons.


title: Effects of chain length on Rouse modes and non-Gaussianity in linear and ring polymer melts

abstract: The dynamics of ring polymer melts are studied via molecular dynamics simulations of the Kremer-Grest bead-spring model. Rouse mode analysis is performed in comparison with linear polymers by changing the chain length. Rouse-like behavior is observed in ring polymers by quantifying the chain length dependence of the Rouse relaxation time, whereas a crossover from Rouse to reptation behavior is observed in linear polymers. Furthermore, the non-Gaussian parameters of the monomer bead displacement and chain center-of-mass displacement are analyzed. It is found that the non-Gaussianity of ring polymers is remarkably suppressed with slight growth for the center-of-mass dynamics at long chain length, which is in contrast to the growth in linear polymers both for the monomer bead and center-of-mass dynamics.


title: Quark flavor decomposition of the nucleon axial form factors

abstract: We present results on the isoscalar form factors including the disconnected contributions, as well as on the strange and charm quark form factors. Using previous results on the isovector form factors, we determine the flavor decomposition of the nucleon axial form factors. These are computed using an ensemble of $N_f=2+1+1$ twisted mass fermions simulated with physical values of quark masses. We investigate the SU(3) flavor symmetry and show that there is up to 10\% breaking for the axial and up to 50\% for the induced pseudoscalar form factors. By fitting the $Q^2$-dependence, we determined the corresponding root mean square radii. The pseudoscalar coupling of the $\eta$ meson and the nucleon is found to be $g_{\eta NN}=3.7(1.0)(0.7)$, and the Goldberger-Treiman discrepancy for the octet combination about 50\%.


title: Digital libraries: textual analysis for a systematic review and meta-analysis

abstract: Purpose: We seek to explore the realm of literature about digital libraries. We specifically seek to ascertain how interest in this subject has evolved, its impact, the most productive journals and countries, the number of occurrences of digital libraries, the relationships and dynamics of the main concepts mentioned, and the dynamics of metadata formats.Methods: We extracted corpora from the Google Scholar and Microsoft Academic Search bibliographic databases. We analyzed the named entities and concepts contained within these corpora with the help of text mining technologies, CorTexT in particular.Results: While the number of publications on the subject of digital libraries is increasing, their average number of citations is decreasing. China, the United States and India are the most productive countries on the subject. Literature about conservation and national libraries has gradually been replaced by literature about open access, university libraries and the relationship with users. Internet Archive is the most cited digital library in literature and continues to grow. Dublin Core is the most talked about metadata format, however the subject of metadata formats is declining in the corpus today.Conclusion: Digital libraries now seem to be reaching the age of maturity.


title: Random sampling of signals concentrated on compact set in localized reproducing kernel subspace of $L^p({\mathbb R}^n)$

abstract: The paper is devoted to studying the stability of random sampling in a localized reproducing kernel space. We show that if the sampling set on $\Omega$ (compact) discretizes the integral norm of simple functions up to a given error, then the sampling set is stable for the set of functions concentrated on $\Omega$. Moreover, we prove with an overwhelming probability that ${\mathcal O}(\mu(\Omega)(\log \mu(\Omega))^3)$ many random points uniformly distributed over $\Omega$ yield a stable set of sampling for functions concentrated on $\Omega$.


title: The role of colour flows in matrix element computations and Monte Carlo simulations

abstract: We discuss how colour flows can be used to simplify the computation of matrix elements, and in the context of parton shower Monte Carlos with accuracy beyond leading-colour. We show that, by systematically employing them, the results for tree-level matrix elements and their soft limits can be given in a closed form that does not require any colour algebra. The colour flows that we define are a natural generalization of those exploited by existing Monte Carlos; we construct their representations in terms of different but conceptually equivalent quantities, namely colour loops and dipole graphs, and examine how these objects may help to extend the accuracy of Monte Carlos through the inclusion of subleading-colour effects. We show how the results that we obtain can be used, with trivial modifications, in the context of QCD+QED simulations, since we are able to put the gluon and photon soft-radiation patterns on the same footing. We also comment on some peculiar properties of gluon-only colour flows, and their relationships with established results in the mathematics of permutations.


title: Analytic linearization of a generalization of the semi-standard map: radius of convergence and Brjuno sum

abstract: One considers a system on $\mathbb{C}^2$ close to an invariant curve which can be viewed as a generalization of the semi-standard map to a trigonometric polynomial with many Fourier modes. The radius of convergence of an analytic linearization of the system around the invariant curve is bounded from below by $\exp(-\frac{2}{d}B(d\alpha)-C)$, where $C\geq 0$ does not depend on $\alpha$, $d\in \mathbb{N}^*$ and $\alpha$ is the frequency of the linear part. For a class of trigonometric polynomials, it is also bounded from above by a similar function. The error function is non decreasing with respect to the smallest coefficient of the trigonometric polynomial.


title: Implementation of a 3 x 3 directionally-unbiased linear optical multiport

abstract: Linear optical multiports are widely used in photonic quantum information processing. Naturally, these devices are directionally-biased since photons always propagate from the input ports toward the output ports. Recently, the concept of directionally-unbiased linear optical multiports was proposed. These directionally-unbiased multiports allow photons to propagate along a reverse direction, which can greatly reduce the number of required linear optical elements for complicated linear optical quantum networks. Here, we report an experimental demonstration of a 3 x 3 directionally-unbiased linear optical fiber multiport using an optical tritter and mirrors. Compared to the previous demonstration using bulk optical elements which works only with light sources with a long coherence length, our experimental directionally-unbiased 3 x 3 optical multiport does not require a long coherence length since it provides negligible optical path length differences among all possible optical trajectories. It can be a useful building block for implementing large-scale quantum walks on complex graph networks.


title: Adapt-and-Distill: Developing Small, Fast and Effective Pretrained Language Models for Domains

abstract: Large pre-trained models have achieved great success in many natural language processing tasks. However, when they are applied in specific domains, these models suffer from domain shift and bring challenges in fine-tuning and online serving for latency and capacity constraints. In this paper, we present a general approach to developing small, fast and effective pre-trained models for specific domains. This is achieved by adapting the off-the-shelf general pre-trained models and performing task-agnostic knowledge distillation in target domains. Specifically, we propose domain-specific vocabulary expansion in the adaptation stage and employ corpus level occurrence probability to choose the size of incremental vocabulary automatically. Then we systematically explore different strategies to compress the large pre-trained models for specific domains. We conduct our experiments in the biomedical and computer science domain. The experimental results demonstrate that our approach achieves better performance over the BERT BASE model in domain-specific tasks while 3.3x smaller and 5.1x faster than BERT BASE. The code and pre-trained models are available at https://aka.ms/adalm.


title: Limitations of machine learning for building energy prediction: ASHRAE Great Energy Predictor III Kaggle competition error analysis

abstract: Research is needed to explore the limitations and potential for improvement of machine learning for building energy prediction. With this aim, the ASHRAE Great Energy Predictor III (GEPIII) Kaggle competition was launched in 2019. This effort was the largest building energy meter machine learning competition of its kind, with 4,370 participants who submitted 39,403 predictions. The test data set included two years of hourly whole building readings from 2,380 meters in 1,448 buildings at 16 locations. This paper analyzes the various sources and types of residual model error from an aggregation of the competition's top 50 solutions. This analysis reveals the limitations for machine learning using the standard model inputs of historical meter, weather, and basic building metadata. The errors are classified according to timeframe, behavior, magnitude, and incidence in single buildings or across a campus. The results show machine learning models have errors within a range of acceptability (RMSLE_scaled =< 0.1) on 79.1% of the test data. Lower magnitude (in-range) model errors (0.1 < RMSLE_scaled =< 0.3) occur in 16.1% of the test data. These errors could be remedied using innovative training data from onsite and web-based sources. Higher magnitude (out-of-range) errors (RMSLE_scaled > 0.3) occur in 4.8% of the test data and are unlikely to be accurately predicted.


title: An Edge Computing Paradigm for Massive IoT Connectivity over High-Altitude Platform Networks

abstract: With the advent of the Internet-of-Things (IoT) era, the ever-increasing number of devices and emerging applications have triggered the need for ubiquitous connectivity and more efficient computing paradigms. These stringent demands have posed significant challenges to the current wireless networks and their computing architectures. In this article, we propose a high-altitude platform (HAP) network-enabled edge computing paradigm to tackle the key issues of massive IoT connectivity. Specifically, we first provide a comprehensive overview of the recent advances in non-terrestrial network-based edge computing architectures. Then, the limitations of the existing solutions are further summarized from the perspectives of the network architecture, random access procedure, and multiple access techniques. To overcome the limitations, we propose a HAP-enabled aerial cell-free massive multiple-input multiple-output network to realize the edge computing paradigm, where multiple HAPs cooperate via the edge servers to serve IoT devices. For the case of a massive number of devices, we further adopt a grant-free massive access scheme to guarantee low-latency and high-efficiency massive IoT connectivity to the network. Besides, a case study is provided to demonstrate the effectiveness of the proposed solution. Finally, to shed light on the future research directions of HAP network-enabled edge computing paradigms, the key challenges and open issues are discussed.


title: Hessian informed mirror descent

abstract: Inspired by the recent paper (L. Ying, Mirror descent algorithms for minimizing interacting free energy, Journal of Scientific Computing, 84 (2020), pp. 1-14),we explore the relationship between the mirror descent and the variable metric method. When the metric in the mirror decent is induced by a convex function, whose Hessian is close to the Hessian of the objective function, this method enjoys both robustness from the mirror descent and superlinear convergence for Newton type methods. When applied to a linearly constrained minimization problem, we prove the global and local convergence, both in the continuous and discrete settings. As applications, we compute the Wasserstein gradient flows and Cahn-Hillard equation with degenerate mobility. When formulating these problems using a minimizing movement scheme with respect to a variable metric, our mirror descent algorithm offers a fast convergent speed for the underlining optimization problem while maintaining the total mass and bounds of the solution.


title: Crossing Cross-Domain Paths in the Current Web

abstract: The loading of resources from third-parties has evoked new security and privacy concerns about the current world wide web. Building on the concepts of forced and implicit trust, this paper examines cross-domain transmission control protocol (TCP) connections that are initiated to domains other than the domain queried with a web browser. The dataset covers nearly ten thousand domains and over three hundred thousand TCP connections initiated by querying popular Finnish websites and globally popular sites. According to the results, (i) cross-domain connections are extremely common in the current Web. (ii) Most of these transmit encrypted content, although mixed content delivery is relatively common; many of the cross-domain connections deliver unencrypted content at the same time. (iii) Many of the cross-domain connections are initiated to known web advertisement domains, but a much larger share traces to social media platforms and cloud infrastructures. Finally, (iv) the results differ slightly between the Finnish web sites sampled and the globally popular sites. With these results, the paper contributes to the ongoing work for better understanding cross-domain connections and dependencies in the world wide web.


title: Preliminary study on using vector quantization latent spaces for TTS/VC systems with consistent performance

abstract: Generally speaking, the main objective when training a neural speech synthesis system is to synthesize natural and expressive speech from the output layer of the neural network without much attention given to the hidden layers. However, by learning useful latent representation, the system can be used for many more practical scenarios. In this paper, we investigate the use of quantized vectors to model the latent linguistic embedding and compare it with the continuous counterpart. By enforcing different policies over the latent spaces in the training, we are able to obtain a latent linguistic embedding that takes on different properties while having a similar performance in terms of quality and speaker similarity. Our experiments show that the voice cloning system built with vector quantization has only a small degradation in terms of perceptive evaluations, but has a discrete latent space that is useful for reducing the representation bit-rate, which is desirable for data transferring, or limiting the information leaking, which is important for speaker anonymization and other tasks of that nature.


title: Resonant Beam Communications with Echo Interference Elimination

abstract: Resonant beam communications (RBCom) is capable of providing wide bandwidth when using light as the carrier. Besides, the RBCom system possesses the characteristics of mobility, high signal-to-noise ratio (SNR), and multiplexing. Nevertheless, the channel of the RBCom system is distinct from other light communication technologies due to the echo interference issue. In this paper, we reveal the mechanism of the echo interference and propose the method to eliminate the interference. Moreover, we present an exemplary design based on frequency shifting and optical filtering, along with its mathematic model and performance analysis. The numerical evaluation shows that the channel capacity is greater than 15 bit/s/Hz.


title: A study on properties of degenerate and zero-truncated degenerate Poisson random variables

abstract: Carlitz [2] initiated a study on degenerate versions of Bernoulli and Euler numbers which has been extended recently to the researches on various degenerate versions of quite a few special numbers and polynomials. They have been explored by using several different tools including generating functions, combinatorial methods, $p$-adic analysis, umbral calculus, special functions, differential equations and probability theory as well. \par The degenerate Poisson random variables are degenerate versions of the Poisson random variables. In [6], studied are the degenerate binomial and degenerate Poisson random variables in relation to the degenerate Lah-Bell polynomials. Among other things, it is shown that the rising factorial moments of the degenerate Poisson random variable are expressed by the degenerate Lah-Bell polynomials. Also, it is shown that the probability-generating function of the degenerate Poisson random variable is equal to the generating function of the degenerate Lah-Bell polynomials. The zero-truncated Poisson distributions (also called the conditional or the positive Poisson distributions) are certain discrete probability distributions whose supports are the set of positive integers. In [10], the zero-truncated degenerate Poisson random variables, whose probability mass functions are a natural extension of the zero-truncated Poisson random variables, are introduced and various properties of those random variables are investigated. Specifically, for those distributions, studied are its expectation, its variance, its n-th moment, its cumulative distribution function and certain expressions for the probability function of a finite sum of independent degenerate zero-truncated Poisson random variables with equal and unequal parameters.


title: X-ray supernova remnants in the starburst region of M82

abstract: We searched for X-ray supernova remnants (SNRs) in the starburst region of M82, using archival data from the Chandra X-ray Observatory with a total effective exposure time of 620 ks with an X-ray spectroscopic selection. Strong line-emission from Fe xxv at 6.7 keV is a characteristic spectral feature of hot, shocked gas of young SNRs and distinctive among the discrete sources in the region populated by X-ray binaries. We selected candidates using narrow-band imaging aimed at the line excess and identified six (and possibly a seventh) X-ray SNRs. Two previously known examples were recovered by our selection. Five of them have radio counterparts, including the radio supernova SN2008iz, which was discovered as a radio transient in 2008. It shows a hard X-ray spectrum with a blueshifted Fe K feature with v ~ -2700 km/s, both of which suggest its youth. The 4-8 keV luminosities of the selected SNRs are in the range of (0.3-3)e38 erg/s. We made a crude estimate of the supernova rate, assuming that more luminous SNRs are younger, and found 0.06 (0.03-0.13) /yr, in agreement with the supernova rates estimated by radio observations and the generally believed star formation rate of M82, although the validity of the assumption is questionable. A sum of the Fe xxv luminosity originating from the selected X-ray SNRs consists of half of the total Fe xxv luminosity observed in the central region of M82. We briefly discuss its implications for starburst winds and the Fe xxv emission in more luminous starburst galaxies.


title: Strichartz estimates for higher-order Schr\"odinger equations and their applications

abstract: In this paper, we consider the higher-order linear Schr\"odinger equations, that is, a formal finite Taylor expansion of the linear pseudo-relativistic equation. We establish the global-in-time Strichartz estimates for these higher-order equations which hold uniformly in the speed of light. As nonlinear applications, we show that the higher-order Hartree(-Fock) equation approximates the corresponding pseudo-relativistic equation on an arbitrarily long time interval, with higher accuracy than the non-relativistic equation. We also prove small data scattering for the higher-order nonlinear Schr\"odinger equations.


title: Gravitational Collider Physics via Pulsar-Black Hole Binaries II: Fine and Hyperfine Structures are Favored

abstract: A rotating black hole can be clouded by light bosons via superradiance, and thus acquire an atom-like structure. If such a gravitational atom system is companioned with a pulsar, the pulsar can trigger transitions between energy levels of the gravitational atom, and these transitions can be detected by pulsar timing. We show that in such pulsar-black hole systems, fine and hyperfine structure transitions are more likely to be probed than the Bohr transition. Also, the calculation of these fine and hyperfine structure transitions are under better analytic control. Thus, these fine and hyperfine structure transitions are more ideal probes in the search for gravitational collider signals in pulsar-black hole systems.


title: Decoding conformal field theories: from supervised to unsupervised learning

abstract: We use machine learning to classify rational two-dimensional conformal field theories. We first use the energy spectra of these minimal models to train a supervised learning algorithm. We find that the machine is able to correctly predict the nature and the value of critical points of several strongly correlated spin models using only their energy spectra. This is in contrast to previous works that use machine learning to classify different phases of matter, but do not reveal the nature of the critical point between phases. Given that the ground-state entanglement Hamiltonian of certain topological phases of matter is also described by conformal field theories, we use supervised learning on R\'{e}yni entropies and find that the machine is able to identify which conformal field theory describes the entanglement Hamiltonian with only the lowest few R\'{e}yni entropies to a high degree of accuracy. Finally, using autoencoders, an unsupervised learning algorithm, we find a hidden variable that has a direct correlation with the central charge and discuss prospects for using machine learning to investigate other conformal field theories, including higher-dimensional ones. Our results highlight that machine learning can be used to find and characterize critical points and also hint at the intriguing possibility to use machine learning to learn about more complex conformal field theories.

categories: cond-mat.str-el cond-mat.mes-hall hep-th quant-ph


title: Black Holes With Many Horizons in the Theories of Nonlinear Electrodynamics

abstract: In this article, we construct exact black hole solutions with many horizons (more than number two) in the Einstein-nonlinear electrodynamic theories. In particular, we acquire the explicit expression of nonlinear electrodynamic Lagrangian for the 3-horizon black holes. Then we make the investigations of 3-horizon black holes on the horizons, the null and timelike geodesics, the Love numbers and the thermodynamics.


title: On n-generalized commutators and Lie ideals of rings

abstract: Let R be an associative ring.In the paper we study n-generalized commutators of rings and prove that if R is a noncommutative prime ring and n > 2, then every nonzero n-generalized Lie ideal of R contains a nonzero ideal. Therefore, if R is a noncommutative simple ring, then R = [R, . . . ,R]n. This extends a classical result due to Herstein (Portugal. Math., 1954). Some generalizations and related questions on n-generalized commutators and their relationship with noncommutative polynomials are also discussed.


title: Probing Inter-modality: Visual Parsing with Self-Attention for Vision-Language Pre-training

abstract: Vision-Language Pre-training (VLP) aims to learn multi-modal representations from image-text pairs and serves for downstream vision-language tasks in a fine-tuning fashion. The dominant VLP models adopt a CNN-Transformer architecture, which embeds images with a CNN, and then aligns images and text with a Transformer. Visual relationship between visual contents plays an important role in image understanding and is the basic for inter-modal alignment learning. However, CNNs have limitations in visual relation learning due to local receptive field's weakness in modeling long-range dependencies. Thus the two objectives of learning visual relation and inter-modal alignment are encapsulated in the same Transformer network. Such design might restrict the inter-modal alignment learning in the Transformer by ignoring the specialized characteristic of each objective. To tackle this, we propose a fully Transformer visual embedding for VLP to better learn visual relation and further promote inter-modal alignment. Specifically, we propose a metric named Inter-Modality Flow (IMF) to measure the interaction between vision and language modalities (i.e., inter-modality). We also design a novel masking optimization mechanism named Masked Feature Regression (MFR) in Transformer to further promote the inter-modality learning. To the best of our knowledge, this is the first study to explore the benefit of Transformer for visual feature learning in VLP. We verify our method on a wide range of vision-language tasks, including Image-Text Retrieval, Visual Question Answering (VQA), Visual Entailment and Visual Reasoning. Our approach not only outperforms the state-of-the-art VLP performance, but also shows benefits on the IMF metric.


title: Semialgebras and Weak Distributive Laws

abstract: Motivated by recent work on weak distributive laws and their applications to coalgebraic semantics, we investigate the algebraic nature of semialgebras for a monad. These are algebras for the underlying functor of the monad subject to the associativity axiom alone-the unit axiom from the definition of an Eilenberg-Moore algebras is dropped. We prove that if the underlying category has coproducts, then semialgebras for a monad M are in fact the Eilenberg-Moore algebras for a suitable monad structure on the functor id + M , which we call the semifree monad M^s. We also provide concrete algebraic presentations for semialgebras for the maybe monad, the semigroup monad and the finite distribution monad. A second contribution is characterizing the weak distributive laws of the form M T => T M as strong distributive laws M^s T => T M^s subject to an additional condition.


title: Precisely monotone sets in step-2 rank-3 Carnot algebras

abstract: A subset of a Carnot group is said to be precisely monotone if the restriction of its characteristic function to each integral curve of every left-invariant horizontal vector field is monotone. Equivalently, a precisely monotone set is a h-convex set with h-convex complement. Such sets have been introduced and classified in the Heisenberg setting by Cheeger and Kleiner in the 2010's. In the present paper, we study precisely monotone sets in the wider setting of step-2 Carnot groups, equivalently step-2 Carnot algebras. In addition to general properties, we prove a classification in step-2 rank-3 Carnot algebras that generalizes the classification already known in the Heisenberg setting using sublevel sets of h-affine functions. A significant novelty is that such sublevel sets can be different from half-spaces.


title: Specific Heat and the gap structure of a Nematic Superconductor, application to FeSe

abstract: We report the results of our in-depth analysis of spectroscopic and thermodynamic properties of a multi-orbital metal, like FeSe, which first develops a nematic order and then undergoes a transition into a superconducting state, which co-exists with nematicity. We analyze the angular dependence of the gap function and specific heat $C_V (T)$ of such nematic superconductor. We specifically address three issues: (i) angular dependence of the gap in light of the competition between nematicity-induced $s$-$d$ mixture and orbital transmutation of low-energy excitations in the nematic state, (ii) the effect of nematicity on the magnitude of the jump of the specific heat $C_V (T)$ at $T_c$ and the temperature dependence of $C_V (T)$ below $T_c$, and (iii) a potential transition at $T_{c1} < T_c$ from an $s+d$ state to an $s + e^{i\eta} d$ state that breaks time-reversal symmetry. We consider two scenarios for a nematic order: scenario A, in which this order develops between $d_{xz}$ and $d_{yz}$ orbitals on hole and electron pockets and scenario B, in which there is an additional component of the nematic order for $d_{xy}$ fermions on the two electron pockets.


title: On a weighted two-phase boundary obstacle problem

abstract: In this work we consider an inhomogeneous two-phase obstacle-type problem driven by the fractional Laplacian. In particular, making use of the Caffarelli-Silvestre extension, Almgren and Monneau type monotonicity formulas and blow-up analysis, we provide a classification of the possible vanishing orders, which implies the strong unique continuation property. Moreover, we prove a stratification result for the nodal set, together with estimates on its Hausdorff dimensions, for both the regular and the singular part. The main tools come from geometric measure theory and amount to Whitney's Extension Theorem and Federer's Reduction Principle.


title: Online Self-Attentive Gated RNNs for Real-Time Speaker Separation

abstract: Deep neural networks have recently shown great success in the task of blind source separation, both under monaural and binaural settings. Although these methods were shown to produce high-quality separations, they were mainly applied under offline settings, in which the model has access to the full input signal while separating the signal. In this study, we convert a non-causal state-of-the-art separation model into a causal and real-time model and evaluate its performance under both online and offline settings. We compare the performance of the proposed model to several baseline methods under anechoic, noisy, and noisy-reverberant recording conditions while exploring both monaural and binaural inputs and outputs. Our findings shed light on the relative difference between causal and non-causal models when performing separation. Our stateful implementation for online separation leads to a minor drop in performance compared to the offline model; 0.8dB for monaural inputs and 0.3dB for binaural inputs while reaching a real-time factor of 0.65. Samples can be found under the following link: https://kwanum.github.io/sagrnnc-stream-results/.


title: Investigating Modes of Activity and Guidance for Mediating Museum Exhibits in Mixed Reality

abstract: We present an exploratory case study describing the design and realisation of a ''pure mixed reality'' application in a museum setting, where we investigate the potential of using Microsoft's HoloLens for object-centred museum mediation. Our prototype supports non-expert visitors observing a sculpture by offering interpretation that is linked to visual properties of the museum object. The design and development of our research prototype is based on a two-stage visitor observation study and a formative study we conducted prior to the design of the application. We present a summary of our findings from these studies and explain how they have influenced our user-centred content creation and the interaction design of our prototype. We are specifically interested in investigating to what extent different constructs of initiative influence the learning and user experience. Thus, we detail three modes of activity that we realised in our prototype. Our case study is informed by research in the area of human-computer interaction, the humanities and museum practice. Accordingly, we discuss core concepts, such as gaze-based interaction, object-centred learning, presence, and modes of activity and guidance with a transdisciplinary perspective.


title: Doubly-Exponential Identification via Channels: Code Constructions and Bounds

abstract: Consider the identification (ID) via channels problem, where a receiver wants to decide whether the transmitted identifier is its identifier, rather than decoding the identifier. This model allows to transmit identifiers whose size scales doubly-exponentially in the blocklength, unlike common transmission (or channel) codes whose size scales exponentially. It suffices to use binary constant-weight codes (CWCs) to achieve the ID capacity. By relating the parameters of a binary CWC to the minimum distance of a code and using higher-order correlation moments, two upper bounds on the binary CWC size are proposed. These bounds are shown to be upper bounds also on the identifier sizes for ID codes constructed by using binary CWCs. We propose two code constructions based on optical orthogonal codes, which are used in optical multiple access schemes, have constant-weight codewords, and satisfy cyclic cross-correlation and auto-correlation constraints. These constructions are modified and concatenated with outer Reed-Solomon codes to propose new binary CWCs optimal for ID. Improvements to the finite-parameter performance of both our and existing code constructions are shown by using outer codes with larger minimum distance vs. blocklength ratios. We also illustrate ID performance regimes for which our ID code constructions perform significantly better than existing constructions.


title: Some Families of Graphs with Small Power Domination Number

abstract: Let $ G $ be a graph with the vertex set $ V(G) $ and $ S $ be a subset of $ V(G) $. Let $cl(S)$ be the set of vertices built from $S$, by iteratively applying the following propagation rule: if a vertex and all of its neighbors except one of them are in $ cl(S) $, then the exceptional neighbor is also in $ cl(S) $. A set $S$ is called a zero forcing set of $G$ if $cl(S)=V(G)$. The zero forcing number $Z(G)$ of $G$ is the minimum cardinality of a zero forcing set. Let $cl(N[S])$ be the set of vertices built from the closed neighborhood $N[S]$ of $S$, by iteratively applying the previous propagation rule. A set $S$ is called a power dominating set of $G$ if $cl(N[S])=V(G)$. The power domination number $\gamma_p (G)$ of $G$ is the minimum cardinality of a power dominating set. In this paper, we present some families of graphs that their power domination number is 1 or 2.


title: On the Robustness of Pretraining and Self-Supervision for a Deep Learning-based Analysis of Diabetic Retinopathy

abstract: There is an increasing number of medical use-cases where classification algorithms based on deep neural networks reach performance levels that are competitive with human medical experts. To alleviate the challenges of small dataset sizes, these systems often rely on pretraining. In this work, we aim to assess the broader implications of these approaches. For diabetic retinopathy grading as exemplary use case, we compare the impact of different training procedures including recently established self-supervised pretraining methods based on contrastive learning. To this end, we investigate different aspects such as quantitative performance, statistics of the learned feature representations, interpretability and robustness to image distortions. Our results indicate that models initialized from ImageNet pretraining report a significant increase in performance, generalization and robustness to image distortions. In particular, self-supervised models show further benefits to supervised models. Self-supervised models with initialization from ImageNet pretraining not only report higher performance, they also reduce overfitting to large lesions along with improvements in taking into account minute lesions indicative of the progression of the disease. Understanding the effects of pretraining in a broader sense that goes beyond simple performance comparisons is of crucial importance for the broader medical imaging community beyond the use-case considered in this work.


title: Non-Parametric Neuro-Adaptive Control Subject to Task Specifications

abstract: We develop a learning-based algorithm for the control of autonomous systems governed by unknown, nonlinear dynamics to satisfy user-specified spatio-temporal tasks expressed as signal temporal logic specifications. Most existing algorithms either assume certain parametric forms for the unknown dynamic terms or resort to unnecessarily large control inputs in order to provide theoretical guarantees. The proposed algorithm addresses these drawbacks by integrating neural-network-based learning with adaptive control. More specifically, the algorithm learns a controller, represented as a neural network, using training data that correspond to a collection of system parameters and tasks. These parameters and tasks are derived by varying the nominal parameters and the spatio-temporal constraints of the user-specified task, respectively. It then incorporates this neural network into an online closed-form adaptive control policy in such a way that the resulting behavior satisfies the user-defined task. The proposed algorithm does not use any a priori information on the unknown dynamic terms or any approximation schemes. We provide formal theoretical guarantees on the satisfaction of the task. Numerical experiments on a robotic manipulator and a unicycle robot demonstrate that the proposed algorithm guarantees the satisfaction of 50 user-defined tasks, and outperforms control policies that do not employ online adaptation or the neural-network controller. Finally, we show that the proposed algorithm achieves greater performance than standard reinforcement-learning algorithms in the pendulum benchmarking environment.