title: Towards Expressive Graph Representation

abstract: Graph Neural Network (GNN) aggregates the neighborhood of each node into the node embedding and shows its powerful capability for graph representation learning. However, most existing GNN variants aggregate the neighborhood information in a fixed non-injective fashion, which may map different graphs or nodes to the same embedding, reducing the model expressiveness. We present a theoretical framework to design a continuous injective set function for neighborhood aggregation in GNN. Using the framework, we propose expressive GNN that aggregates the neighborhood of each node with a continuous injective set function, so that a GNN layer maps similar nodes with similar neighborhoods to similar embeddings, different nodes to different embeddings and the equivalent nodes or isomorphic graphs to the same embeddings. Moreover, the proposed expressive GNN can naturally learn expressive representations for graphs with continuous node attributes. We validate the proposed expressive GNN (ExpGNN) for graph classification on multiple benchmark datasets including simple graphs and attributed graphs. The experimental results demonstrate that our model achieves state-of-the-art performances on most of the benchmarks.


title: Uniform asymptotic expansions for solutions of the parabolic cylinder and Weber equations

abstract: Asymptotic expansions are derived for solutions of the parabolic cylinder and Weber differential equations. In addition the inhomogeneous versions of the equations are considered, for the case of polynomial forcing terms. The expansions involve exponential, Airy and Scorer functions and slowly varying analytic coefficient functions involving simple coefficients. The approximations are uniformly valid for large values of the parameter and unbounded real and complex values of the argument. Explicit and readily computable error bounds are either furnished or available for all approximations.


title: TUTOR: Training Neural Networks Using Decision Rules as Model Priors

abstract: The human brain has the ability to carry out new tasks with limited experience. It utilizes prior learning experiences to adapt the solution strategy to new domains. On the other hand, deep neural networks (DNNs) generally need large amounts of data and computational resources for training. However, this requirement is not met in many settings. To address these challenges, we propose the TUTOR DNN synthesis framework. TUTOR targets tabular datasets. It synthesizes accurate DNN models with limited available data and reduced memory/computational requirements. It consists of three sequential steps. The first step involves generation, verification, and labeling of synthetic data. The synthetic data generation module targets both the categorical and continuous features. TUTOR generates the synthetic data from the same probability distribution as the real data. It then verifies the integrity of the generated synthetic data using a semantic integrity classifier module. It labels the synthetic data based on a set of rules extracted from the real dataset. Next, TUTOR uses two training schemes that combine synthetic and training data to learn the parameters of the DNN model. These two schemes focus on two different ways in which synthetic data can be used to derive a prior on the model parameters and, hence, provide a better DNN initialization for training with real data. In the third step, TUTOR employs a grow-and-prune synthesis paradigm to learn both the weights and the architecture of the DNN to reduce model size while ensuring its accuracy. We evaluate the performance of TUTOR on nine datasets of various sizes. We show that in comparison to fully connected DNNs, TUTOR, on an average, reduces the need for data by 5.9x, improves accuracy by 3.4%, and reduces the number of parameters (fFLOPs) by 4.7x (4.3x). Thus, TUTOR enables a less data-hungry, more accurate, and more compact DNN synthesis.


title: Robust Finite Mixture Regression for Heterogeneous Targets

abstract: Finite Mixture Regression (FMR) refers to the mixture modeling scheme which learns multiple regression models from the training data set. Each of them is in charge of a subset. FMR is an effective scheme for handling sample heterogeneity, where a single regression model is not enough for capturing the complexities of the conditional distribution of the observed samples given the features. In this paper, we propose an FMR model that 1) finds sample clusters and jointly models multiple incomplete mixed-type targets simultaneously, 2) achieves shared feature selection among tasks and cluster components, and 3) detects anomaly tasks or clustered structure among tasks, and accommodates outlier samples. We provide non-asymptotic oracle performance bounds for our model under a high-dimensional learning framework. The proposed model is evaluated on both synthetic and real-world data sets. The results show that our model can achieve state-of-the-art performance.


title: Dynamics of Particles on a Curve with Pairwise Hyper-singular Repulsion

abstract: We investigate the large time behavior of $N$ particles restricted to a smooth closed curve in $\mathbb{R}^d$ and subject to a gradient flow with respect to Euclidean hyper-singular repulsive Riesz $s$-energy with $s>1.$ We show that regardless of their initial positions, for all $N$ and time $t$ large, their normalized Riesz $s$-energy will be close to the $N$-point minimal possible. Furthermore, the distribution of such particles will be close to uniform with respect to arclength measure along the curve.


title: It's not a Non-Issue: Negation as a Source of Error in Machine Translation

abstract: As machine translation (MT) systems progress at a rapid pace, questions of their adequacy linger. In this study we focus on negation, a universal, core property of human language that significantly affects the semantics of an utterance. We investigate whether translating negation is an issue for modern MT systems using 17 translation directions as test bed. Through thorough analysis, we find that indeed the presence of negation can significantly impact downstream quality, in some cases resulting in quality reductions of more than 60%. We also provide a linguistically motivated analysis that directly explains the majority of our findings. We release our annotations and code to replicate our analysis here: https://github.com/mosharafhossain/negation-mt.


title: ICE-closed subcategories and wide $\tau$-tilting modules

abstract: In this paper, we study ICE-closed (= Image-Cokernel-Extension-closed) subcategories of an abelian length category using torsion classes. To each interval $[\mathcal{U},\mathcal{T}]$ in the lattice of torsion classes, we associate a subcategory $\mathcal{T} \cap \mathcal{U}^\perp$ called the heart. We show that every ICE-closed subcategory can be realized as a heart of some interval of torsion classes, and give a lattice-theoretic characterization of intervals whose hearts are ICE-closed. In particular, we prove that ICE-closed subcategories are precisely torsion classes in some wide subcategories. For an artin algebra, we introduce the notion of wide $\tau$-tilting modules as a generalization of support $\tau$-tilting modules. Then we establish a bijection between wide $\tau$-tilting modules and doubly functorially finite ICE-closed subcategories, which extends Adachi--Iyama--Reiten's bijection on torsion classes. For the hereditary case, we discuss the Hasse quiver of the poset of ICE-closed subcategories by introducing a mutation of rigid modules.


title: Bridging Machine Learning and Mechanism Design towards Algorithmic Fairness

abstract: Decision-making systems increasingly orchestrate our world: how to intervene on the algorithmic components to build fair and equitable systems is therefore a question of utmost importance; one that is substantially complicated by the context-dependent nature of fairness and discrimination. Modern decision-making systems that involve allocating resources or information to people (e.g., school choice, advertising) incorporate machine-learned predictions in their pipelines, raising concerns about potential strategic behavior or constrained allocation, concerns usually tackled in the context of mechanism design. Although both machine learning and mechanism design have developed frameworks for addressing issues of fairness and equity, in some complex decision-making systems, neither framework is individually sufficient. In this paper, we develop the position that building fair decision-making systems requires overcoming these limitations which, we argue, are inherent to each field. Our ultimate objective is to build an encompassing framework that cohesively bridges the individual frameworks of mechanism design and machine learning. We begin to lay the ground work towards this goal by comparing the perspective each discipline takes on fair decision-making, teasing out the lessons each field has taught and can teach the other, and highlighting application domains that require a strong collaboration between these disciplines.


title: Top-DB-Net: Top DropBlock for Activation Enhancement in Person Re-Identification

abstract: Person Re-Identification is a challenging task that aims to retrieve all instances of a query image across a system of non-overlapping cameras. Due to the various extreme changes of view, it is common that local regions that could be used to match people are suppressed, which leads to a scenario where approaches have to evaluate the similarity of images based on less informative regions. In this work, we introduce the Top-DB-Net, a method based on Top DropBlock that pushes the network to learn to focus on the scene foreground, with special emphasis on the most task-relevant regions and, at the same time, encodes low informative regions to provide high discriminability. The Top-DB-Net is composed of three streams: (i) a global stream encodes rich image information from a backbone, (ii) the Top DropBlock stream encourages the backbone to encode low informative regions with high discriminative features, and (iii) a regularization stream helps to deal with the noise created by the dropping process of the second stream, when testing the first two streams are used. Vast experiments on three challenging datasets show the capabilities of our approach against state-of-the-art methods. Qualitative results demonstrate that our method exhibits better activation maps focusing on reliable parts of the input images.


title: Leveraging the Capabilities of Connected and Autonomous Vehicles and Multi-Agent Reinforcement Learning to Mitigate Highway Bottleneck Congestion

abstract: Active Traffic Management strategies are often adopted in real-time to address such sudden flow breakdowns. When queuing is imminent, Speed Harmonization (SH), which adjusts speeds in upstream traffic to mitigate traffic showckwaves downstream, can be applied. However, because SH depends on driver awareness and compliance, it may not always be effective in mitigating congestion. The use of multiagent reinforcement learning for collaborative learning, is a promising solution to this challenge. By incorporating this technique in the control algorithms of connected and autonomous vehicle (CAV), it may be possible to train the CAVs to make joint decisions that can mitigate highway bottleneck congestion without human driver compliance to altered speed limits. In this regard, we present an RL-based multi-agent CAV control model to operate in mixed traffic (both CAVs and human-driven vehicles (HDVs)). The results suggest that even at CAV percent share of corridor traffic as low as 10%, CAVs can significantly mitigate bottlenecks in highway traffic. Another objective was to assess the efficacy of the RL-based controller vis-\`a-vis that of the rule-based controller. In addressing this objective, we duly recognize that one of the main challenges of RL-based CAV controllers is the variety and complexity of inputs that exist in the real world, such as the information provided to the CAV by other connected entities and sensed information. These translate as dynamic length inputs which are difficult to process and learn from. For this reason, we propose the use of Graphical Convolution Networks (GCN), a specific RL technique, to preserve information network topology and corresponding dynamic length inputs. We then use this, combined with Deep Deterministic Policy Gradient (DDPG), to carry out multi-agent training for congestion mitigation using the CAV controllers.


title: A DRL-based Multiagent Cooperative Control Framework for CAV Networks: a Graphic Convolution Q Network

abstract: Connected Autonomous Vehicle (CAV) Network can be defined as a collection of CAVs operating at different locations on a multilane corridor, which provides a platform to facilitate the dissemination of operational information as well as control instructions. Cooperation is crucial in CAV operating systems since it can greatly enhance operation in terms of safety and mobility, and high-level cooperation between CAVs can be expected by jointly plan and control within CAV network. However, due to the highly dynamic and combinatory nature such as dynamic number of agents (CAVs) and exponentially growing joint action space in a multiagent driving task, achieving cooperative control is NP hard and cannot be governed by any simple rule-based methods. In addition, existing literature contains abundant information on autonomous driving's sensing technology and control logic but relatively little guidance on how to fuse the information acquired from collaborative sensing and build decision processor on top of fused information. In this paper, a novel Deep Reinforcement Learning (DRL) based approach combining Graphic Convolution Neural Network (GCN) and Deep Q Network (DQN), namely Graphic Convolution Q network (GCQ) is proposed as the information fusion module and decision processor. The proposed model can aggregate the information acquired from collaborative sensing and output safe and cooperative lane changing decisions for multiple CAVs so that individual intention can be satisfied even under a highly dynamic and partially observed mixed traffic. The proposed algorithm can be deployed on centralized control infrastructures such as road-side units (RSU) or cloud platforms to improve the CAV operation.


title: Two-photon comb with wavelength conversion and 20-km distribution for quantum communication

abstract: Quantum computing and quantum communication, have been greatly developed in recent years and expected to contribute to quantum internet technologies, including cloud quantum computing and unconditionally secure communication. However, long-distance quantum communication is challenging mainly because of optical fiber losses; quantum repeaters are indispensable for fiber-based transmission because unknown quantum states cannot be amplified with certainty. In this study, we demonstrate a versatile entanglement source in the telecom band for fiber-based quantum internet, which has a narrow linewidth of sub-MHz range, entanglement fidelity of more than 95%, and Bell-state generation even with frequency multimode. Furthermore, after a total distribution length of 20-km in fiber, two-photon correlation is observed with an easily identifiable normalized correlation coefficient, despite the limited bandwidth of the wavelength converter. The presented implementation promises an efficient method for entanglement distribution that is compatible with quantum memory and frequency-multiplexed long-distance quantum communication applications.


title: A Cooperative Control Framework for CAV Lane Change in a Mixed Traffic Environment

abstract: In preparing for connected and autonomous vehicles (CAVs), a worrisome aspect is the transition era which will be characterized by mixed traffic (where CAVs and human-driven vehicles (HDVs) share the roadway). Consistent with expectations that CAVs will improve road safety, on-road CAVs may adopt rather conservative control policies, and this will likely cause HDVs to unduly exploit CAV conservativeness by driving in ways that imperil safety. A context of this situation is lane-changing by the CAV. Without cooperation from other vehicles in the traffic stream, it can be extremely unsafe for the CAV to change lanes under dense, high-speed traffic conditions. The cooperation of neighboring vehicles is indispensable. To address this issue, this paper develops a control framework where connected HDVs and CAV can cooperate to facilitate safe and efficient lane changing by the CAV. Throughout the lane-change process, the safety of not only the CAV but also of all neighboring vehicles, is ensured through a collision avoidance mechanism in the control framework. The overall traffic flow efficiency is analyzed in terms of the ambient level of CHDV-CAV cooperation. The analysis outcomes are including the CAVs lane-change feasibility, the overall duration of the lane change. Lane change is a major source of traffic disturbance at multi-lane highways that impair their traffic flow efficiency. In providing a control framework for lane change in mixed traffic, this study shows how CHDV-CAV cooperation could help enhancing system efficiency.


title: Using Empirical Trajectory Data to Design Connected Autonomous Vehicle Controllers for Traffic Stabilization

abstract: Emerging transportation technologies offer unprecedented opportunities to improve the efficiency of the transportation system from the perspectives of energy consumption, congestion, and emissions. One of these technologies is connected and autonomous vehicles (CAVs). With the prospective duality of operations of CAVs and human driven vehicles in the same roadway space (also referred to as a mixed stream), CAVs are expected to address a variety of traffic problems particularly those that are either caused or exacerbated by the heterogeneous nature of human driving. In efforts to realize such specific benefits of CAVs in mixed-stream traffic, it is essential to understand and simulate the behavior of human drivers in such environments, and microscopic traffic flow (MTF) models can be used to carry out this task. By helping to comprehend the fundamental dynamics of traffic flow, MTF models serve as a powerful approach to assess the impacts of such flow in terms of safety, stability, and efficiency. In this paper, we seek to calibrate MTF models based on empirical trajectory data as basis of not only understanding traffic dynamics such as traffic instabilities, but ultimately using CAVs to mitigate stop-and-go wave propagation. The paper therefore duly considers the heterogeneity and uncertainty associated with human driving behavior in order to calibrate the dynamics of each HDV. Also, the paper designs the CAV controllers based on the microscopic HDV models that are calibrated in real time. The data for the calibration is from the Next Generation SIMulation (NGSIM) trajectory datasets. The results are encouraging, as they indicate the efficacy of the designed controller to significantly improve not only the stability of the mixed traffic stream but also the safety of both CAVs and HDVs in the traffic stream.


title: Dynamical Self-energy Mapping (DSEM) for quantum computing

abstract: For noisy intermediate-scale quantum (NISQ) devices only a moderate number of qubits with a limited coherence is available thus enabling only shallow circuits and a few time evolution steps in the currently performed quantum computations. Here, we present how to bypass this challenge in practical molecular chemistry simulations on NISQ devices by employing a classical-quantum hybrid algorithm allowing us to produce a sparse Hamiltonian which contains only $\mathcal{O}(n^2)$ terms in a Gaussian orbital basis when compared to the $\mathcal{O}(n^4)$ terms of a standard Hamiltonian, where $n$ is the number of orbitals in the system. Classical part of this hybrid entails parameterization of the sparse, fictitious Hamiltonian in such a way that it recovers the self-energy of the original molecular system. Quantum machine then uses this fictitious Hamiltonian to calculate the self-energy of the system. We show that the developed hybrid algorithm yields very good total energies for small molecular test cases while reducing the depth of the quantum circuit by at least an order of magnitude when compared with simulations involving a full Hamiltonian.


title: Polarized Raman Spectra and Complex Raman Tensors of Antiferromagnetic Semiconductor CrPS4

abstract: Chromium thiophosphate (CrPS4), a monoclinic crystal of C_2^3 space group, is a ternary layered semiconductor with an optical bandgap of 1.4 eV and exhibits antiferromagnetism below 36 K. Despite its potential in optoelectronic and magnetic applications, the symmetry of its lattice vibrations has not been systematically studied. In this work, we performed a polarized Raman spectroscopy of bulk CrPS4 using three different excitation wavelengths of 457, 514, and 633 nm. High-quality crystals grown by the chemical vapor transport method were mechanically exfoliated or polished to expose three orthogonal crystallographic facets. Polarized Raman spectra were obtained in parallel and cross configurations by rotating samples about the surface normal to each of the facets. Among 33 Raman active modes (16 A and 17 B) at the Brillouin zone center, 19 (8) peaks observed in the parallel (cross) configuration were assigned as A (B) modes. Complex-valued Raman tensors were determined for 7 major A modes using the angle-dependent Raman spectra of the three facets. The results can also be used in determining the crystallographic orientations of CrPS4 unequivocally.


title: Generation of all-to-all connections in a two-dimensional qubit array with two-body interactions

abstract: All-to-all connections are required in general quantum annealing machines to solve various combinatorial optimization problems. The Lechner, Hauke, and Zoller (LHZ) method, which is used to realize the all-to-all connections, requires many-body interactions in locally connected qubits. Because most of the qubit interactions are two-body interactions, Lechner also proposed the construction of each four-body interaction by six controlled-NOT (CNOT) gates between two qubits. However, it is difficult to construct many CNOT gates. Herein, we show more concrete sequences to produce four-body and three-body interactions based on a two-dimensional solid-state qubit system. We show that the number of operations needed to construct the many-body interactions can be reduced using appropriate pulse sequences. These findings will help reduce quantum computation costs for solving combinatorial problems.


title: OCNLI: Original Chinese Natural Language Inference

abstract: Despite the tremendous recent progress on natural language inference (NLI), driven largely by large-scale investment in new datasets (e.g., SNLI, MNLI) and advances in modeling, most progress has been limited to English due to a lack of reliable datasets for most of the world's languages. In this paper, we present the first large-scale NLI dataset (consisting of ~56,000 annotated sentence pairs) for Chinese called the Original Chinese Natural Language Inference dataset (OCNLI). Unlike recent attempts at extending NLI to other languages, our dataset does not rely on any automatic translation or non-expert annotation. Instead, we elicit annotations from native speakers specializing in linguistics. We follow closely the annotation protocol used for MNLI, but create new strategies for eliciting diverse hypotheses. We establish several baseline results on our dataset using state-of-the-art pre-trained models for Chinese, and find even the best performing models to be far outpaced by human performance (~12% absolute performance gap), making it a challenging new resource that we hope will help to accelerate progress in Chinese NLU. To the best of our knowledge, this is the first human-elicited MNLI-style corpus for a non-English language.


title: Collective Wisdom: Improving Low-resource Neural Machine Translation using Adaptive Knowledge Distillation

abstract: Scarcity of parallel sentence-pairs poses a significant hurdle for training high-quality Neural Machine Translation (NMT) models in bilingually low-resource scenarios. A standard approach is transfer learning, which involves taking a model trained on a high-resource language-pair and fine-tuning it on the data of the low-resource MT condition of interest. However, it is not clear generally which high-resource language-pair offers the best transfer learning for the target MT setting. Furthermore, different transferred models may have complementary semantic and/or syntactic strengths, hence using only one model may be sub-optimal. In this paper, we tackle this problem using knowledge distillation, where we propose to distill the knowledge of ensemble of teacher models to a single student model. As the quality of these teacher models varies, we propose an effective adaptive knowledge distillation approach to dynamically adjust the contribution of the teacher models during the distillation process. Experiments on transferring from a collection of six language pairs from IWSLT to five low-resource language-pairs from TED Talks demonstrate the effectiveness of our approach, achieving up to +0.9 BLEU score improvement compared to strong baselines.


title: Neural, Symbolic and Neural-Symbolic Reasoning on Knowledge Graphs

abstract: Knowledge graph reasoning is the fundamental component to support machine learning applications such as information extraction, information retrieval, and recommendation. Since knowledge graphs can be viewed as the discrete symbolic representations of knowledge, reasoning on knowledge graphs can naturally leverage the symbolic techniques. However, symbolic reasoning is intolerant of the ambiguous and noisy data. On the contrary, the recent advances of deep learning promote neural reasoning on knowledge graphs, which is robust to the ambiguous and noisy data, but lacks interpretability compared to symbolic reasoning. Considering the advantages and disadvantages of both methodologies, recent efforts have been made on combining the two reasoning methods. In this survey, we take a thorough look at the development of the symbolic, neural and hybrid reasoning on knowledge graphs. We survey two specific reasoning tasks, knowledge graph completion and question answering on knowledge graphs, and explain them in a unified reasoning framework. We also briefly discuss the future directions for knowledge graph reasoning.


title: Scalable Consensus Protocols for PoW based Blockchain and blockDAG

abstract: In this paper, we propose two models for scaling the transaction throughput in Proof-of-Work (PoW) based blockchain networks. In the first approach, a mathematical model has derived for optimal transaction throughput for PoW based longest chain rule blockchain. In this approach, the blockchain Peer-to-Peer (P2P) network is considered as Erd\"os-R\'enyi random network topology. This approach is however limited by the block creation rate, the results suggest that the rate beyond an optimal point can result in unfairness in the system. The second approach is a new consensus protocol proposed by considering the ledger as a Directed Acyclic Graph (DAG) called blockDAG instead of a chain of blocks. In this framework, we follow a two-step strategy that makes the system robust enough to handle the double-spend attacks. The first step involves the development of an unsupervised learning graph clustering algorithm for separating the blocks created by an attacker. In the second step, the attackers blocks are eliminated and the remaining blocks are arranged in topological order by honest clients which makes the blockDAG system suitable for smart contract applications found in Internet of Things (IoT) services. The Simulation results demonstrate a significant improvement in the transaction throughput compared to bitcoin.


title: securePrune:Secure block pruning in UTXO based blockchains using Accumulators

abstract: In this paper, we propose a scheme called securePrune for reducing the storage space of a full node and synchronization time of bootstrapping nodes joining the Peer-to-Peer (P2P) network in an Unspent Transaction Outputs (UTXO) based blockchain like bitcoin using RSA accumulators. The size of the bitcoin blockchain is growing linearly with transactions. We propose a new block structure to represent the state of a blockchain also called UTXO set by including an accumulator of a state in the block header and proofs of knowledge for inclusion and deletion of the transactions of the current block in the block. In our scheme, the miners periodically release a snapshot of the blockchain state. The other full nodes in the network, securely prune the historical blocks after attaining the required number of confirmations for the snapshot block, which in turn confirms the snapshot of the state through an accumulator specified in the block header and proofs inside the block. The secure and periodic pruning of the old blocks, reduce the synchronization time for a new node joining into the network. The simulation results demonstrate a significant reduction in the storage space of a full node and bootstrapping cost of the new nodes.


title: Deep Echo State Q-Network (DEQN) and Its Application in Dynamic Spectrum Sharing for 5G and Beyond

abstract: Deep reinforcement learning (DRL) has been shown to be successful in many application domains. Combining recurrent neural networks (RNNs) and DRL further enables DRL to be applicable in non-Markovian environments by capturing temporal information. However, training of both DRL and RNNs is known to be challenging requiring a large amount of training data to achieve convergence. In many targeted applications, such as those used in the fifth generation (5G) cellular communication, the environment is highly dynamic while the available training data is very limited. Therefore, it is extremely important to develop DRL strategies that are capable of capturing the temporal correlation of the dynamic environment requiring limited training overhead. In this paper, we introduce the deep echo state Q-network (DEQN) that can adapt to the highly dynamic environment in a short period of time with limited training data. We evaluate the performance of the introduced DEQN method under the dynamic spectrum sharing (DSS) scenario, which is a promising technology in 5G and future 6G networks to increase the spectrum utilization. Compared to conventional spectrum management policy that grants a fixed spectrum band to a single system for exclusive access, DSS allows the secondary system to share the spectrum with the primary system. Our work sheds light on the application of an efficient DRL framework in highly dynamic environments with limited available training data.


title: An exponent one-fifth algorithm for deterministic integer factorisation

abstract: Hittmeir recently presented a deterministic algorithm that provably computes the prime factorisation of a positive integer $N$ in $N^{2/9+o(1)}$ bit operations. Prior to this breakthrough, the best known complexity bound for this problem was $N^{1/4+o(1)}$, a result going back to the 1970s. In this paper we push Hittmeir's techniques further, obtaining a rigorous, deterministic factoring algorithm with complexity $N^{1/5+o(1)}$.


title: Spacetime Autoencoders Using Local Causal States

abstract: Local causal states are latent representations that capture organized pattern and structure in complex spatiotemporal systems. We expand their functionality, framing them as spacetime autoencoders. Previously, they were only considered as maps from observable spacetime fields to latent local causal state fields. Here, we show that there is a stochastic decoding that maps back from the latent fields to observable fields. Furthermore, their Markovian properties define a stochastic dynamic in the latent space. Combined with stochastic decoding, this gives a new method for forecasting spacetime fields.


title: Darboux Transformation for the Hirota equation

abstract: The Hirota equation is an integrable higher order nonlinear Schr\"{o}dinger type equation which describes the propagation of ultrashort light pulses in optical fibers. We present a standard Darboux transformation for the Hirota equation and then construct its quasideterminant solutions. The multisoliton and breather solutions of the Hirota equation are given explicitly.


title: Fuzzy Approximate Reasoning Method based on Least Common Multiple and its Property Analysis

abstract: This paper shows a novel fuzzy approximate reasoning method based on the least common multiple (LCM). Its fundamental idea is to obtain a new fuzzy reasoning result by the extended distance measure based on LCM between the antecedent fuzzy set and the consequent one in discrete SISO fuzzy system. The proposed method is called LCM one. And then this paper analyzes its some properties, i.e., the reductive property, information loss occurred in reasoning process, and the convergence of fuzzy control. Theoretical and experimental research results highlight that proposed method meaningfully improve the reductive property and information loss and controllability than the previous fuzzy reasoning methods.


title: Joint Adaptive Graph and Structured Sparsity Regularization for Unsupervised Feature Selection

abstract: Feature selection is an important data preprocessing in data mining and machine learning which can be used to reduce the feature dimension without deteriorating model's performance. Since obtaining annotated data is laborious or even infeasible in many cases, unsupervised feature selection is more practical in reality. Though lots of methods for unsupervised feature selection have been proposed, these methods select features independently, thus it is no guarantee that the group of selected features is optimal. What's more, the number of selected features must be tuned carefully to obtain a satisfactory result. To tackle these problems, we propose a joint adaptive graph and structured sparsity regularization unsupervised feature selection (JASFS) method in this paper, in which a $l_{2,0}$-norm regularization term with respect to transformation matrix is imposed in the manifold learning for feature selection, and a graph regularization term is incorporated into the learning model to learn the local geometric structure of data adaptively. An efficient and simple iterative algorithm is designed to solve the proposed optimization problem with the analysis of computational complexity. After optimized, a subset of optimal features will be selected in group, and the number of selected features will be determined automatically. Experimental results on eight benchmarks demonstrate the effectiveness and efficiency of the proposed method compared with several state-of-the-art approaches.


title: A blow-up result for the wave equation with localized initial data: the scale-invariant damping and mass term with combined nonlinearities

abstract: We are interested in this article in studying the damped wave equation with localized initial data, in the \textit{scale-invariant case} with mass term and two combined nonlinearities. More precisely, we consider the following equation: $$ (E) {1cm} u_{tt}-\Delta u+\frac{\mu}{1+t}u_t+\frac{\nu^2}{(1+t)^2}u=|u_t|^p+|u|^q, \quad \mbox{in}\ \mathbb{R}^N\times[0,\infty), $$ with small initial data. Under some assumptions on the mass and damping coefficients, $\nu$ and $\mu>0$, respectively, we show that blow-up region and the lifespan bound of the solution of $(E)$ remain the same as the ones obtained in \cite{Our2} in the case of a mass-free wave equation, it i.e. $(E)$ with $\nu=0$. Furthermore, using in part the computations done for $(E)$, we enhance the result in \cite{Palmieri} on the Glassey conjecture for the solution of $(E)$ with omitting the nonlinear term $|u|^q$. Indeed, the blow-up region is extended from $p \in (1, p_G(N+\sigma)]$, where $\sigma$ is given by (1.12) below, to $p \in (1, p_G(N+\mu)]$ yielding, hence, a better estimate of the lifespan when $(\mu-1)^2-4\nu^2<1$. Otherwise, the two results coincide. Finally, we may conclude that the mass term {\it has no influence} on the dynamics of $(E)$ (resp. $(E)$ without the nonlinear term $|u|^q$), and the conjecture we made in \cite{Our2} on the threshold between the blow-up and the global existence regions obtained holds true here.


title: Game-theoretic semantics and partial specifications

abstract: We discuss partial specifications in first-order logic FO and also in a Turing-complete extension of FO. We compare the compositional and game-theoretic approaches to the systems.


title: Bottomonium suppression and elliptic flow using Heavy Quarkonium Quantum Dynamics

abstract: We introduce a framework called Heavy Quarkonium Quantum Dynamics (HQQD) which can be used to compute the dynamical suppression of heavy quarkonia propagating in the quark-gluon plasma using real-time in-medium quantum evolution. Using HQQD we compute large sets of real-time solutions to the Schr\"{o}dinger equation using a realistic in-medium complex-valued potential. We sample 2 million quarkonia wave packet trajectories and evolve them through the QGP using HQQD to obtain their survival probabilities. The computation is performed using three different HQQD model parameter sets in order to estimate our systematic uncertainty. After taking into account final state feed down we compare our results to existing experimental data for the suppression and elliptic flow of bottomonium states and find that HQQD predictions are good agreement with available data for $R_{AA}$ as a function of $N_{\rm part}$ and $p_T$ collected at $\sqrt{s_{\rm NN}} =$ 5.02 TeV. In the case of $v_2$ for the various states, we find that the path-length dependence of $\Upsilon(1s)$ suppression results in quite small $v_2$ for $\Upsilon(1s)$. Our prediction for the integrated elliptic flow for $\Upsilon(1s)$ in the $10{-}90$\% centrality class, which now includes an estimate of the systematic error, is $v_2[\Upsilon(1s)]$ = 0.003 $\pm$ 0.0007 $\pm\,^{0.0006}_{0.0013}$. We also find that, due to their increased suppression, excited bottomonium states have a larger elliptic flow. Based on this observation we make predictions for $v_2[\Upsilon(2s)]$ and $v_2[\Upsilon(3s)]$ as a function of centrality and transverse momentum.


title: Dispersive coupling between MoSe2 and a zero-dimensional integrated nanocavity

abstract: Establishing a coherent interaction between a material resonance and an optical cavity is a necessary first step for the development of semiconductor quantum optics. Here we demonstrate a coherent interaction between the neutral exciton in monolayer MoSe2 and a zero-dimensional, small mode volume nanocavity. This is observed through a dispersive shift of the cavity resonance when the exciton-cavity detuning is decreased, with an estimated exciton-cavity coupling of ~4.3 meV and a cooperativity of C~3.4 at 80 Kelvin. This coupled exciton-cavity platform is expected to reach the strong light-matter coupling regime (i.e., with C~380) at 4 Kelvin for applications in quantum or ultra-low power nanophotonics.


title: D2D Assisted Multi-antenna Coded Caching

abstract: A device-to-device (D2D) aided multi-antenna coded caching scheme is proposed to improve the average delivery rate and reduce the downlink (DL) beamforming complexity.} Novel beamforming and resource allocation schemes are proposed where local data exchange among nearby users is exploited. The transmission is split into two phases: local D2D content exchange and DL transmission. In the D2D phase, subsets of users are selected to share content with the adjacent users directly. {In this regard, a low complexity D2D mode selection algorithm is proposed to find the appropriate set of users for the D2D phase with comparable performance to the optimal exhaustive search. {During} the DL phase, the base station multicasts the remaining data requested by all the users. We identify scenarios and conditions where D2D transmission can reduce the delivery time. Furthermore, we demonstrate how} adding the new D2D phase to the DL-only scenario can significantly reduce the beamformer design complexity in the DL phase. The results further highlight that by partly delivering requested data in the D2D phase, the transmission rate can be boosted due to more efficient use of resources during the subsequent DL phase. As a result, the overall content delivery performance is greatly enhanced, especially in the finite signal-to-noise (SNR) regime.


title: Electron beam modification of vanadium dioxide oscillators

abstract: The paper presents the results of a study of electron-beam modification (EBM) of VO2-switch I-V curve threshold parameters and the self-oscillation frequency of a circuit containing such a switching device. EBM in vacuum is reversible and the parameters are restored when exposed to air at pressure of 150 Pa. At EBM with a dose of 3 C/cm2, the voltages of switching-on (Vth) and off (Vh), as well as the OFF-state resistance Roff, decrease down to 50% of the initial values, and the oscillation frequency increases by 30% at a dose of 0.7 C/cm2. Features of physics of EBM of an oscillator are outlined considering the contribution of the metal and semiconductor phases of the switching channel. Con-trolled modification allows EBM forming of switches with preset parameters. Also, it might be used in artifi-cial oscillatory neural networks for pattern recognition based on frequency shift keying.


title: $\Gamma$-convergence for free-discontinuity problems in linear elasticity: Homogenization and relaxation

abstract: We analyze the $\Gamma$-convergence of sequences of free-discontinuity functionals arising in the modeling of linear elastic solids with surface discontinuities, including phenomena as fracture, damage, or material voids. We prove compactness with respect to $\Gamma$-convergence and represent the $\Gamma$-limit in an integral form defined on the space of generalized special functions of bounded deformation ($GSBD^p$). We identify the integrands in terms of asymptotic cell formulas and prove a non-interaction property between bulk and surface contributions. Eventually, we investigate sequences of corresponding boundary value problems and show convergence of minimum values and minimizers. In particular, our techniques allow to characterize relaxations of functionals on $GSBD^p$, and cover the classical case of periodic homogenization.


title: Inflation, ECB and short-term interest rates: A new model, with calibration to market data

abstract: We propose a new model for the joint evolution of the European inflation rate, the European Central Bank official interest rate and the short-term interest rate, in a stochastic, continuous time setting. We derive the valuation equation for a contingent claim and show that it has a unique solution. The contingent claim payoff may depend on all three economic factors of the model and the discount factor is allowed to include inflation. Taking as a benchmark the model of Ho, H.W., Huang, H.H. and Yildirim, Y., Affine model of inflation-indexed derivatives and inflation risk premium, (European Journal of Operational Researc, 2014), we show that our model performs better on market data from 2008 to 2015. Our model is not an affine model. Although in some special cases the solution of the valuation equation might admit a closed form, in general it has to be solved numerically. This can be done efficiently by the algorithm that we provide. Our model uses many fewer parameters than the benchmark model, which partly compensates the higher complexity of the numerical procedure and also suggests that our model describes the behaviour of the economic factors more closely.


title: Power law dynamics in genealogical graphs

abstract: Several populational networks present complex topologies when implemented in evolutionary algorithms. A common feature of these topologies is the emergence of a power law. Power law behavior with different scaling factors can also be observed in genealogical networks, but we still can not satisfactorily describe its dynamics or its relation to population evolution over time. In this paper, we use an algorithm to measure the impact of individuals in several numerical populations and study its dynamics of evolution through nonextensive statistics. Like this, we show evidence that the observed emergence of power law has a dynamic behavior over time. This dynamic development can be described using a family of q-exponential distributions whose parameters are time-dependent and follow a specific pattern. We also show evidence that elitism significantly influences the power law scaling factors observed. These results imply that the different power law shapes and deviations observed in genealogical networks are static images of a time-dependent dynamic development that can be satisfactorily described using q-exponential distributions.


title: The Boosted Higgs Jet Reconstruction via Graph Neural Network

abstract: By representing each collider event as a point cloud, we adopt the Graphic Convolutional Network (GCN) with focal loss to reconstruct the Higgs jet in it. This method provides higher Higgs tagging efficiency and better reconstruction accuracy than the traditional methods which use jet substructure information. The GCN, which is trained on events of the $H$+jets process, is capable of detecting a Higgs jet in events of several different processes, even though the performance degrades when there are boosted heavy particles other than the Higgs in the event. We also demonstrate the signal and background discrimination capacity of the GCN by applying it to the $t\bar{t}$ process. Taking the outputs of the network as new features to complement the traditional jet substructure variables, the $t\bar{t}$ events can be separated further from the $H$+jets events.


title: COGS: A Compositional Generalization Challenge Based on Semantic Interpretation

abstract: Natural language is characterized by compositionality: the meaning of a complex expression is constructed from the meanings of its constituent parts. To facilitate the evaluation of the compositional abilities of language processing architectures, we introduce COGS, a semantic parsing dataset based on a fragment of English. The evaluation portion of COGS contains multiple systematic gaps that can only be addressed by compositional generalization; these include new combinations of familiar syntactic structures, or new combinations of familiar words and familiar structures. In experiments with Transformers and LSTMs, we found that in-distribution accuracy on the COGS test set was near-perfect (96--99%), but generalization accuracy was substantially lower (16--35%) and showed high sensitivity to random seed ($\pm$6--8%). These findings indicate that contemporary standard NLP models are limited in their compositional generalization capacity, and position COGS as a good way to measure progress.


title: Discriminative Sounding Objects Localization via Self-supervised Audiovisual Matching

abstract: Discriminatively localizing sounding objects in cocktail-party, i.e., mixed sound scenes, is commonplace for humans, but still challenging for machines. In this paper, we propose a two-stage learning framework to perform self-supervised class-aware sounding object localization. First, we propose to learn robust object representations by aggregating the candidate sound localization results in the single source scenes. Then, class-aware object localization maps are generated in the cocktail-party scenarios by referring the pre-learned object knowledge, and the sounding objects are accordingly selected by matching audio and visual object category distributions, where the audiovisual consistency is viewed as the self-supervised signal. Experimental results in both realistic and synthesized cocktail-party videos demonstrate that our model is superior in filtering out silent objects and pointing out the location of sounding objects of different classes. Code is available at https://github.com/DTaoo/Discriminative-Sounding-Objects-Localization.


title: On Bivariate Fractal Interpolation for Countable Data and Associated Nonlinear Fractal Operator

abstract: We provide a general framework to construct fractal interpolation surfaces (FISs) for a prescribed countably infinite data set on a rectangular grid. Using this as a crucial tool, we obtain a parameterized family of bivariate fractal functions simultaneously interpolating and approximating a prescribed bivariate continuous function. Some elementary properties of the associated nonlinear (not necessarily linear) fractal operator are established, thereby initiating the interaction of the notion of fractal interpolation with the theory of nonlinear operators.


title: TSPNet: Hierarchical Feature Learning via Temporal Semantic Pyramid for Sign Language Translation

abstract: Sign language translation (SLT) aims to interpret sign video sequences into text-based natural language sentences. Sign videos consist of continuous sequences of sign gestures with no clear boundaries in between. Existing SLT models usually represent sign visual features in a frame-wise manner so as to avoid needing to explicitly segmenting the videos into isolated signs. However, these methods neglect the temporal information of signs and lead to substantial ambiguity in translation. In this paper, we explore the temporal semantic structures of signvideos to learn more discriminative features. To this end, we first present a novel sign video segment representation which takes into account multiple temporal granularities, thus alleviating the need for accurate video segmentation. Taking advantage of the proposed segment representation, we develop a novel hierarchical sign video feature learning method via a temporal semantic pyramid network, called TSPNet. Specifically, TSPNet introduces an inter-scale attention to evaluate and enhance local semantic consistency of sign segments and an intra-scale attention to resolve semantic ambiguity by using non-local video context. Experiments show that our TSPNet outperforms the state-of-the-art with significant improvements on the BLEU score (from 9.58 to 13.41) and ROUGE score (from 31.80 to 34.96)on the largest commonly-used SLT dataset. Our implementation is available at https://github.com/verashira/TSPNet.


title: CC-Loss: Channel Correlation Loss For Image Classification

abstract: The loss function is a key component in deep learning models. A commonly used loss function for classification is the cross entropy loss, which is a simple yet effective application of information theory for classification problems. Based on this loss, many other loss functions have been proposed,~\emph{e.g.}, by adding intra-class and inter-class constraints to enhance the discriminative ability of the learned features. However, these loss functions fail to consider the connections between the feature distribution and the model structure. Aiming at addressing this problem, we propose a channel correlation loss (CC-Loss) that is able to constrain the specific relations between classes and channels as well as maintain the intra-class and the inter-class separability. CC-Loss uses a channel attention module to generate channel attention of features for each sample in the training stage. Next, an Euclidean distance matrix is calculated to make the channel attention vectors associated with the same class become identical and to increase the difference between different classes. Finally, we obtain a feature embedding with good intra-class compactness and inter-class separability.Experimental results show that two different backbone models trained with the proposed CC-Loss outperform the state-of-the-art loss functions on three image classification datasets.


title: PAST-AI: Physical-layer Authentication of Satellite Transmitters via Deep Learning

abstract: Physical-layer security is regaining traction in the research community, due to the performance boost introduced by deep learning classification algorithms. This is particularly true for sender authentication in wireless communications via radio fingerprinting. However, previous research efforts mainly focused on terrestrial wireless devices while, to the best of our knowledge, none of the previous work took into consideration satellite transmitters. The satellite scenario is generally challenging because, among others, satellite radio transducers feature non-standard electronics (usually aged and specifically designed for harsh conditions). Moreover, the fingerprinting task is specifically difficult for Low-Earth Orbit (LEO) satellites (like the ones we focus in this paper) since they orbit at about 800Km from the Earth, at a speed of around 25,000Km/h, thus making the receiver experiencing a down-link with unique attenuation and fading characteristics. In this paper, we propose PAST-AI, a methodology tailored to authenticate LEO satellites through fingerprinting of their IQ samples, using advanced AI solutions. Our methodology is tested on real data -- more than 100M I/Q samples -- collected from an extensive measurements campaign on the IRIDIUM LEO satellites constellation, lasting 589 hours. Results are striking: we prove that Convolutional Neural Networks (CNN) and autoencoders (if properly calibrated) can be successfully adopted to authenticate the satellite transducers, with an accuracy spanning between 0.8 and 1, depending on prior assumptions. The proposed methodology, the achieved results, and the provided insights, other than being interesting on their own, when associated to the dataset that we made publicly available, will also pave the way for future research in the area.


title: Unseen Target Stance Detection with Adversarial Domain Generalization

abstract: Although stance detection has made great progress in the past few years, it is still facing the problem of unseen targets. In this study, we investigate the domain difference between targets and thus incorporate attention-based conditional encoding with adversarial domain generalization to perform unseen target stance detection. Experimental results show that our approach achieves new state-of-the-art performance on the SemEval-2016 dataset, demonstrating the importance of domain difference between targets in unseen target stance detection.


title: Selective transverse mode emission from all polarization-maintaining fiber lasers

abstract: We demonstrated an all polarization-maintaining fiber (PMF) laser which could offer selective transverse mode emission. Offset and cross splicing between PMF sections was used to generate higher order mode and to yield a birefringence induced mode filter. Polarization rotation technique (PRT) was used to select the output beam profile. Both linear cavity and ring cavity were explored. Experimentally, 360{\deg} rotating LP11 mode and OAM vortex beam with plus and minus 1 topological charges have been realized from an all PMF linear cavity laser and a ring cavity laser respectively.


title: The Impact of Isolation Kernel on Agglomerative Hierarchical Clustering Algorithms

abstract: Agglomerative hierarchical clustering (AHC) is one of the popular clustering approaches. Existing AHC methods, which are based on a distance measure, have one key issue: it has difficulty in identifying adjacent clusters with varied densities, regardless of the cluster extraction methods applied on the resultant dendrogram. In this paper, we identify the root cause of this issue and show that the use of a data-dependent kernel (instead of distance or existing kernel) provides an effective means to address it. We analyse the condition under which existing AHC methods fail to extract clusters effectively; and the reason why the data-dependent kernel is an effective remedy. This leads to a new approach to kernerlise existing hierarchical clustering algorithms such as existing traditional AHC algorithms, HDBSCAN, GDL and PHA. In each of these algorithms, our empirical evaluation shows that a recently introduced Isolation Kernel produces a higher quality or purer dendrogram than distance, Gaussian Kernel and adaptive Gaussian Kernel.


title: Understanding photoluminescence in semiconductor Bragg-reflection waveguides: Towards an integrated, GHz-rate telecom photon pair source

abstract: Compared to traditional nonlinear optical crystals, like BaB$_2$O$_4$, KTiOPO$_4$ or LiNbO$_3$, semiconductor integrated sources of photon pairs may operate at pump wavelengths much closer to the bandgap of the materials. This is also the case for Bragg-reflection waveguides (BRW) targeting parametric down-conversion (PDC) to the telecom C-band. The large nonlinear coefficient of the AlGaAs alloy and the strong confinement of the light enable extremely bright integrated photon pair sources. However, under certain circumstances, a significant amount of detrimental broadband photoluminescence has been observed in BRWs. We show that this is mainly a result of linear absorption near the core and subsequent radiative recombination of electron-hole pairs at deep impurity levels in the semiconductor. For PDC with BRWs, we conclude that devices operating near the long wavelength end of the S-band or the short C-band require temporal filtering shorter than 1 ns. We predict that shifting the operating wavelengths to the L-band and making small adjustments in the material composition will reduce the amount of photoluminescence to negligible values. Such measures enable us to increase the average pump power and/or the repetition rate, which makes integrated photon pair sources with on-chip multi-gigahertz pair rates feasible.


title: Protein - Small Molecule docking with receptor flexibility in iMOLSDOCK

abstract: We have earlier reported the iMOLSDOCK technique to perform induced-fit peptide-protein docking. iMOLSDOCK uses the mutually orthogonal Latin squares (MOLS) technique to sample the conformation and the docking pose of the small molecule ligand and also the flexible residues of the receptor protein, and arrive at the optimum pose and conformation. In this paper we report the extension carried out in iMOLSDOCK to dock nonpeptide small molecule ligands to receptor proteins. We have benchmarked and validated iMOLSDOCK with a dataset of 34 protein-ligand complexes with nonpeptide small molecules as ligands. We have also compared iMOLSDOCK with other flexible receptor docking tools GOLD v5.2.1 and AutoDock Vina. The results obtained show that the method works better than these two algorithms, though it consumes more computer time. The source code and binary of MOLS 2.0 (under a GNU Lesser General Public License) are freely available for download at https://sourceforge.net/projects/mols2-0/files/


title: A Fredholm transformation for the rapid stabilization of a degenerate parabolic equation

abstract: This paper deals with the rapid stabilization of a degenerate parabolic equation with a right Dirich-let control. Our strategy consists in applying a backstepping strategy, which seeks to find an invertible transformation mapping the degenerate parabolic equation to stabilize into an exponentially stable system whose decay rate is known and as large as we desire. The transformation under consideration in this paper is Fredholm. It involves a kernel solving itself another PDE, at least formally. The main goal of the paper is to prove that the Fredholm transformation is well-defined, continuous and invertible in the natural energy space. It allows us to deduce the rapid stabilization.


title: Abstract models for heat engines

abstract: We retrospect three abstract models for heat engines which include a classic abstract model in textbook of thermal physics, a primary abstract model for finite-time heat engines, and a refined abstract model for finite-time heat engines. The detailed models of heat engines in literature of finite-time thermodynamics may be mapped into the refined abstract model. The future developments based on the refined abstract model are also surveyed.


title: Evaluating Factuality in Generation with Dependency-level Entailment

abstract: Despite significant progress in text generation models, a serious limitation is their tendency to produce text that is factually inconsistent with information in the input. Recent work has studied whether textual entailment systems can be used to identify factual errors; however, these sentence-level entailment models are trained to solve a different problem than generation filtering and they do not localize which part of a generation is non-factual. In this paper, we propose a new formulation of entailment that decomposes it at the level of dependency arcs. Rather than focusing on aggregate decisions, we instead ask whether the semantic relationship manifested by individual dependency arcs in the generated output is supported by the input. Human judgments on this task are difficult to obtain; we therefore propose a method to automatically create data based on existing entailment or paraphrase corpora. Experiments show that our dependency arc entailment model trained on this data can identify factual inconsistencies in paraphrasing and summarization better than sentence-level methods or those based on question generation, while additionally localizing the erroneous parts of the generation.


title: Metrics for Evolution of Aspect Oriented Software

abstract: Aspect Oriented Software Development (AOSD) is a promising methodology which provides powerful techniques to improve the modularity of the software by separating the cross-cutting concerns from the core functionality. Since evolution is a major requirement for the sustainability of any software, it is necessary to quantitatively measure its impact. In order to quantify, it is essential to define metrics that will capture the evolution of Aspect Oriented (AO) software. It is also necessary to compare the metric values of various versions of software to draw inferences on the evolution dynamics of AO software. This needs identification of artifacts that were added, deleted or modified across versions and study the consequence of these types of changes. This paper defines a new set of metrics for measuring the evolution of Aspect Oriented software. As a case study, an aspect refactored software, AJHotDraw has been chosen and its four versions have been analyzed for their capability to evolve over time.


title: A review of the low-cost eye-tracking systems for 2010-2020

abstract: The manuscript presented an analysis of the work in the field of eye-tracking over the past ten years in the low-cost filed. We researched in detail the methods, algorithms, and developed hardware. To realization, this task we considered the commercial eye-tracking systems with hardware and software and Free software. Additionally, the manuscript considered advances in the neural network fields for eye-tracking tasks and problems which hold back the development of the low-cost eye-tracking system. special attention in the manuscript is given to recommendations for further research in the field of eye-tracking devices in the low-cost field.


title: Electron-Ion Collisions at the LHeC and FCC-he

abstract: The LHeC and the FCC-he will open a new realm in our understanding of nuclear structure and the dynamics in processes involving nuclei, in an unexplored kinematic domain. We review some of the recent studies as shown in the update of the 2012 LHeC CDR, including the determination of nuclear parton densities in the framework of global fits and for a single nucleus, inclusive and exclusive diffraction and the unique capabilies of these high-energy colliders for probing QCD in the non-linear regime of phase space.


title: Half-wave plate based on a birefringent metamaterial in the visible range

abstract: In the present paper, a half-wave plate (HWP) based on a birefringent metamaterial is numerically designed to operate in the visible range. The proposed structure consists of an array of double-pattern perpendicular rectangular aperture (RAA) engraved into opaque silver film deposited on a glass substrate. One of the apertures is glass filled. The operating principle of this plate is based on the excitation and the propagation of one guided mode inside each aperture but with different effective index. At the output side, a phase difference is obtained whose value mainly depends on the metal thickness. We have investigated the most simplest configurations using a homemade code based on the finite difference time domain method to design a half-plate with optimized efficiency resulting in transmission coefficient of more than $60\%$ together with a birefringence of $2.1$ at an operation wavelength of 737 nm. This kind of anisotropic metasurface promises a wide range of applications in integrated photonics.


title: An ergodic theorem for asymptotically periodic time-inhomogeneous Markov processes, with application to quasi-stationarity with moving boundaries

abstract: This paper deals with ergodic theorems for particular time-inhomogeneous Markov processes, whose the time-inhomogeneity is asymptotically periodic. Under a Lyapunov/minorization condition, it is shown that, for any measurable bounded function $f$, the time average $\frac{1}{t} \int_0^t f(X_s)ds$ converges in $\mathbb{L}^2$ towards a limiting distribution, starting from any initial distribution for the process $(X_t)_{t \geq 0}$. This convergence can be improved to an almost sure convergence under an additional assumption on the initial measure. This result will be then applied to show the existence of a quasi-ergodic distribution for processes absorbed by an asymptotically periodic moving boundary, satisfying a conditional Doeblin's condition.


title: Multiparty Motion Coordination: From Choreographies to Robotics Programs

abstract: We present a programming model and typing discipline for complex multi-robot coordination programming. Our model encompasses both synchronisation through message passing and continuous-time dynamic motion primitives in physical space. We specify \emph{continuous-time motion primitives} in an assume-guarantee logic that ensures compatibility of motion primitives as well as collision freedom. We specify global behaviour of programs in a \emph{choreographic} type system that extends multiparty session types with jointly executed motion primitives, predicated refinements, as well as a \emph{separating conjunction} that allows reasoning about subsets of interacting robots. We describe a notion of \emph{well-formedness} for global types that ensures motion and communication can be correctly synchronised and provide algorithms for checking well-formedness, projecting a type, and local type checking. A well-typed program is \emph{communication safe}, \emph{motion compatible}, and \emph{collision free}. Our type system provides a compositional approach to ensuring these properties. We have implemented our model on top of the ROS framework. This allows us to program multi-robot coordination scenarios on top of commercial and custom robotics hardware platforms. We show through case studies that we can model and statically verify quite complex manoeuvres involving multiple manipulators and mobile robots---such examples are beyond the scope of previous approaches.


title: Pythonic Black-box Electronic Structure Tool (PyBEST). An open-source Python platform for electronic structure calculations at the interface between chemistry and physics

abstract: Pythonic Black-box Electronic Structure Tool (PyBEST) represents a fully-fledged modern electronic structure software package developed at Nicolaus Copernicus University in Toru\'n. The package provides an efficient and reliable platform for electronic structure calculations at the interface between chemistry and physics using unique electronic structure methods, analysis tools, and visualization. Examples are the (orbital-optimized) pCCD-based models for ground- and excited-states electronic structure calculations as well as the quantum entanglement analysis framework based on the single-orbital entropy and orbital-pair mutual information. PyBEST is written primarily in the Python3 programming language with additional parts written in C++, which are interfaced using Pybind11, a lightweight header-only library. By construction, PyBEST is easy to use, to code, and to interface with other software packages. Moreover, its modularity allows us to conveniently host additional Python packages and software libraries in future releases to enhance its performance. The electronic structure methods available in PyBEST are tested for the half-filled 1-D model Hamiltonian. The capability of PyBEST to perform large-scale electronic structure calculations is demonstrated for the model vitamin B12 compound. The investigated molecule is composed of 190 electrons and 777 orbitals for which an orbital optimization within pCCD and an orbital entanglement and correlation analysis are performed for the first time.


title: From classical to Networked Control: Retrofitting the Concept of Smith Predictors

abstract: Filtered Smith predictors are well established for controlling linear plants with constant time delays. Apart from this classical application scenario, they are also employed within networked control loops, where the measurements are sent in separate packets over a transmission channel that is subject to time-varying delays. However, no stability guarantees can be given in this case. The present paper illustrates that the time-varying delays as well as the packetized character of the transmissions have to be taken into account for stability analysis. Hence, three network protocols, which use different packet selection and hold mechanisms, are considered. Criteria for robust stability of the networked feedback loop are given. They are based on the small gain theorem and allow a computationally inexpensive way to check stability for the case with bounded packet delays. Simulation examples provide insight into the presented approach and show why the inclusion of the time-varying packetized character of the network transmissions is vital for stability analysis.


title: The host galaxy of OJ 287 revealed by optical and near-infrared imaging

abstract: The BL Lacertae object OJ 287 (z = 0.306) has unique double-peaked optical outbursts every ~12 years, and it presents one of the best cases for a small-separation binary supermassive black hole (SMBH) system, with an extremely massive primary log (M_BH/M_Sun) ~ 10.3. However, the host galaxy is unresolved or only marginally detected in all optical studies so far, indicating a large deviation from the bulge mass - SMBH mass relation. We have obtained deep, high spatial resolution i-band and K-band images of OJ~287 when the target was in a low state, which enable us to detect the host galaxy. We find the broad-band photometry of the host to be consistent with an early type galaxy with M_R = -22.5 and M_K = -25.2, placing it in the middle of the host galaxy luminosity distribution of BL Lacertae objects. The central supermassive black hole is clearly overmassive for a host galaxy of that luminosity, but not unprecedented, given some recent findings of other ``overmassive'' black holes in nearby galaxies.


title: Spiral-Arm Sub-Structures in the Asymmetrical Dust Rings of the Circumstellar Disk MWC 758

abstract: Asymmetrical features in disks provide indirect evidences of embedded objects, such as planets. Observed with the Atacama Large Millimeter/submillimeter Array (ALMA), the circumstellar disk in MWC 758 traced with thermal dust continuum emission at wavelengths of 0.9 mm with an angular resolution up to 0.1" (15 au) exhibits an asymmetrical dust ring with additional features. In order to analyze the structures azimuthally and radially, we split the dust ring into small segments in azimuth. For each segment, we fit two-Gaussian functions to the radial intensity profile. The obtained best-fit parameters as a function of azimuth are analyzed. Three spiral-like arm structures are identified. When fitting the 0.9 mm features with the spiral density wave theory using the WKB approximation, two sets of disk aspect ratios are found: one solution gives relatively low values (~0.03) while the other solution is at the upper bound of the free parameter (~0.2). The planet locations suggested by the upper-bound result are similar to the ones determined by Benisty et al. (2015) for the NIR polarized intensity image. Comparing the reported spiral-like structures with the higher angular-resolution (0.04") ALMA image in Dong et al. (2018), we identify different structures in the West of the disk due to differences in the adopted analysis methods and the respective resolutions of the images.


title: Self-Stabilizing Indulgent Zero-degrading Binary Consensus

abstract: Guerraoui proposed an indulgent solution for the binary consensus problem. Namely, he showed that an arbitrary behavior of the failure detector never violates safety requirements even if it compromises liveness. Consensus implementations are often used in a repeated manner. Dutta and Guerraoui proposed a zero-degrading solution, \ie during system runs in which the failure detector behaves perfectly, a node failure during one consensus instance has no impact on the performance of future instances. Our study, which focuses on indulgent zero-degrading binary consensus, aims at the design of an even more robust communication abstraction. We do so through the lenses of self-stabilization - a very strong notion of fault-tolerance. In addition to node and communication failures, self-stabilizing algorithms can recover after the occurrence of arbitrary transient faults; these faults represent any violation of the assumptions according to which the system was designed to operate (as long as the algorithm code stays intact). This work proposes the first, to the best of our knowledge, self-stabilizing algorithm for indulgent zero-degrading binary consensus for time-free message-passing systems prone to detectable process failures. The proposed algorithm has an O(1) stabilization time (in terms of asynchronous cycles) from arbitrary transient faults. Since the proposed solution uses an {\Omega} failure detector, we also present the first, to the best of our knowledge, self-stabilizing asynchronous {\Omega} failure detector, which is a variation on the one by Most\'efaoui, Mourgaya, and Raynal.


title: A Generic Framework For Capturing Reliability in Cyber Physical Systems

abstract: Cyber Physical Systems solve complex problems through their tight integration between the physical and computational components. Therefore, the reliability of a complex system is the most critical requirement for the cyber physical system because an unreliable system often leads to service disruption, property dam-age, financial loses and sometimes lead to fatality. In order to develop more reliable CPS, this paper proposes a generic framework for reliability modeling and analysis for our ongoing work on cyber physical systems.This paper, at first defines an architecture for general CPS which is comprised of three layers; environment layer, communication layer, and computational layer. Secondly, we formalize a reliability model for the architectural components, and then propose a framework for the reliability of CPS with the consideration of how to capture the reliability. Based on the research method, we demonstrate the proposed frame-work with an illustrative example by using different reliability values from offshore and onshore reliability data library. We confirmed that the reliability model covers almost all possible reliabilities required to general cyber-physical systems.


title: Using Social Robots to Teach Language Skills to Immigrant Children in an Oslo City District

abstract: Social robots have been shown to help in language education for children. This can be good aid for immigrant children that need additional help to learn a second language their parents do not understand to attend school. We present the setup for a long-term study that is being carried out in blinded to aid immigrant children with poor skills in the Norwegian language to improve their vocabulary. This includes additional tools to help parents follow along and provide additional help at home.


title: $p$-Adic Brownian Motion is a Scaling Limit

abstract: A $p$-adic Brownian motion is a continuous time stochastic process in a $p$-adic state space that has a Vladimirov operator as its infinitesimal generator. The current work shows that any such process is the scaling limit of a discrete time random walk on a discrete group. Earlier work required the exponent of the Vladimirov operator to be in $(1, \infty)$, and the convergence was the weak convergence of probability measures on the Skorohod space of paths on a compact time interval. The current approach simplifies the earlier approach, allows for any positive exponent, eliminates the restriction to compact time intervals, and establishes some moment estimates for the discrete time processes that are of independent interest.


title: Two-parameter Radial Equilibrium Models for Field-Reversed Configurations

abstract: A new equilibrium pressure profile extending the Rigid-Rotor (RR) model with a simple unified expression $P=P(\psi;\beta_{s},\alpha, \sigma)$ for both inside and outside the separatrix is proposed, in which the radial normalized field-reversed configuration (FRC) equilibrium profiles for pressure, magnetic field, and current can be determined by only two dimensionless parameters $\beta_s\equiv P_s/2\mu_0B_e^2$ and $\delta_s\equiv L_{ps}/R_s$, where $P_s$ is the thermal pressure at the separatrix, $B_e$ is the external magnetic field strength, $L_{ps}$ is the pressure profile scale length at the separatrix, and $R_s$ is the separatrix radius. This modified rigid rotor (MRR) model has sufficient flexibility to accommodate the narrow scrape of layer (SOL) width and hollow current density profiles, and can be used to fit experimental measurements satisfactorily. Detailed one-dimensional (1D) characteristics of the new MRR model are investigated analytically and numerically, and the results are also confirmed in two-dimensional (2D) numerical equilibrium solutions.


title: Genetic Bi-objective Optimization Approach to Habitability Score

abstract: The search for life outside the Solar System is an endeavour of astronomers all around the world. With hundreds of exoplanets being discovered due to advances in astronomy, there is a need to classify the habitability of these exoplanets. This is typically done using various metrics such as the Earth Similarity Index or the Planetary Habitability Index. In this paper, Genetic Algorithms are used to evaluate the best possible habitability scores using the Cobb-Douglas Habitability Score. Genetic Algorithm is a classic evolutionary algorithm used for solving optimization problems. It is based on Darwin's theory of evolution, "Survival of the fittest". The working of the algorithm is established through comparison with various benchmark functions and extended its functionality to Multi-Objective optimization. The Cobb-Douglas Habitability Function is formulated as a bi-objective as well as a single objective optimization problem to find the optimal values to maximize the Cobb-Douglas Habitability Score for a set of promising exoplanets.


title: Increasing the Robustness of Semantic Segmentation Models with Painting-by-Numbers

abstract: For safety-critical applications such as autonomous driving, CNNs have to be robust with respect to unavoidable image corruptions, such as image noise. While previous works addressed the task of robust prediction in the context of full-image classification, we consider it for dense semantic segmentation. We build upon an insight from image classification that output robustness can be improved by increasing the network-bias towards object shapes. We present a new training schema that increases this shape bias. Our basic idea is to alpha-blend a portion of the RGB training images with faked images, where each class-label is given a fixed, randomly chosen color that is not likely to appear in real imagery. This forces the network to rely more strongly on shape cues. We call this data augmentation technique ``Painting-by-Numbers''. We demonstrate the effectiveness of our training schema for DeepLabv3+ with various network backbones, MobileNet-V2, ResNets, and Xception, and evaluate it on the Cityscapes dataset. With respect to our 16 different types of image corruptions and 5 different network backbones, we are in 74% better than training with clean data. For cases where we are worse than a model trained without our training schema, it is mostly only marginally worse. However, for some image corruptions such as images with noise, we see a considerable performance gain of up to 25%.


title: Feature Extraction of Text for Deep Learning Algorithms: Application on Fake News Detection

abstract: Feature extraction is an important process of machine learning and deep learning, as the process make algorithms function more efficiently, and also accurate. In natural language processing used in deception detection such as fake news detection, several ways of feature extraction in statistical aspect had been introduced (e.g. N-gram). In this research, it will be shown that by using deep learning algorithms and alphabet frequencies of the original text of a news without any information about the sequence of the alphabet can actually be used to classify fake news and trustworthy ones in high accuracy (85\%). As this pre-processing method makes the data notably compact but also include the feature that is needed for the classifier, it seems that alphabet frequencies contains some useful features for understanding complex context or meaning of the original text.


title: The "Sound of Silence" in EEG -- Cognitive voice activity detection

abstract: Speech cognition bears potential application as a brain computer interface that can improve the quality of life for the otherwise communication impaired people. While speech and resting state EEG are popularly studied, here we attempt to explore a "non-speech"(NS) state of brain activity corresponding to the silence regions of speech audio. Firstly, speech perception is studied to inspect the existence of such a state, followed by its identification in speech imagination. Analogous to how voice activity detection is employed to enhance the performance of speech recognition, the EEG state activity detection protocol implemented here is applied to boost the confidence of imagined speech EEG decoding. Classification of speech and NS state is done using two datasets collected from laboratory-based and commercial-based devices. The state sequential information thus obtained is further utilized to reduce the search space of imagined EEG unit recognition. Temporal signal structures and topographic maps of NS states are visualized across subjects and sessions. The recognition performance and the visual distinction observed demonstrates the existence of silence signatures in EEG.


title: Evacuation from Various Types of Finite 2D Square Grid Fields by a Metamorphic Robotic System

abstract: A metamorphic robotic system (MRS) is composed of anonymous, memoryless, and autonomous modules that execute an identical distributed algorithm to move while keeping the connectivity of the modules. For an MRS, the number of modules required to solve a given task is an important complexity measure. Here, we consider evacuation from a finite two-dimensional square grid field by an MRS. This study aims to establish the minimum number of modules required to solve the evacuation problem under several conditions. We consider a rectangular field surrounded by walls with at least one exit. Our results show that two modules are necessary and sufficient for evacuation from any rectangular field if equipped with a global compass, which provides the modules with a common sense of direction. After that, we focus on the case of modules without a global compass and show that four (resp. seven) modules are necessary and sufficient for restricted (resp. any) initial shapes of an MRS. We also show that two modules are sufficient when an MRS is touching a wall in an initial configuration. Then, we clarify the condition to stop an MRS after evacuation of a rectangular field. Finally, we extend these results to mazes and convex fields.


title: Vacuum polarization near boundaries

abstract: We study the effect of boundary conditions on vacuum polarization for charged scalar fields in two space-time dimensions. We find that both Dirichlet and Neumann boundary conditions lead to screening. In the Dirichlet case, the vacuum polarization charge density vanishes at the boundary, whereas it attains its maximum there for Neumann boundary conditions. At a critical field strength, the vacuum polarization diverges for Neumann boundary conditions, an effect due to the instability of the lowest energy mode in the presence of the external field.


title: Existence and approximate controllability of non-autonomous functional impulsive evolution inclusions in Banach spaces

abstract: In this paper, we are concerned with the approximate controllability results for a class of impulsive functional differential control systems involving time dependent operators in Banach spaces. First, we show the existence of a mild solution for non-autonomous functional impulsive evolution inclusions in separable reflexive Banach spaces with the help of the evolution family and a generalization of the Leray-Schauder fixed point theorem for multi-valued maps. In order to establish sufficient conditions for the approximate controllability of our problem, we first consider a linear-quadratic regulator problem and obtain the optimal control in the feedback form, which contains the resolvent operator consisting of duality mapping. With the help of this optimal control, we prove the approximate controllability of the linear system and hence derive sufficient conditions for the approximate controllability of our problem. Moreover, in this paper, we rectify several shortcomings of the related works available in the literature, namely, proper identification of resolvent operator in Banach spaces, characterization of phase space in the presence of impulsive effects and lack of compactness of the operator $h(\cdot)\mapsto \int_{0}^{\cdot}\mathrm{U}(\cdot,s)h(s)\mathrm{d} s : \mathrm{L}^{1}([0,T];\mathbb{Y}) \rightarrow \mathrm{C}([0,T];\mathbb{Y}),$ where $\mathbb{Y}$ is a Banach space and $\mathrm{U}(\cdot,\cdot)$ is the evolution family, etc. Finally, we provide a concrete example to illustrate the efficiency of our results.


title: BiPointNet: Binary Neural Network for Point Clouds

abstract: To alleviate the resource constraint for real-time point cloud applications that run on edge devices, in this paper we present BiPointNet, the first model binarization approach for efficient deep learning on point clouds. We discover that the immense performance drop of binarized models for point clouds mainly stems from two challenges: aggregation-induced feature homogenization that leads to a degradation of information entropy, and scale distortion that hinders optimization and invalidates scale-sensitive structures. With theoretical justifications and in-depth analysis, our BiPointNet introduces Entropy-Maximizing Aggregation (EMA) to modulate the distribution before aggregation for the maximum information entropy, and Layer-wise Scale Recovery (LSR) to efficiently restore feature representation capacity. Extensive experiments show that BiPointNet outperforms existing binarization methods by convincing margins, at the level even comparable with the full precision counterpart. We highlight that our techniques are generic, guaranteeing significant improvements on various fundamental tasks and mainstream backbones. Moreover, BiPointNet gives an impressive 14.7x speedup and 18.9x storage saving on real-world resource-constrained devices.


title: A Lightweight Speaker Recognition System Using Timbre Properties

abstract: Speaker recognition is an active research area that contains notable usage in biometric security and authentication system. Currently, there exist many well-performing models in the speaker recognition domain. However, most of the advanced models implement deep learning that requires GPU support for real-time speech recognition, and it is not suitable for low-end devices. In this paper, we propose a lightweight text-independent speaker recognition model based on random forest classifier. It also introduces new features that are used for both speaker verification and identification tasks. The proposed model uses human speech based timbral properties as features that are classified using random forest. Timbre refers to the very basic properties of sound that allow listeners to discriminate among them. The prototype uses seven most actively searched timbre properties, boominess, brightness, depth, hardness, roughness, sharpness, and warmth as features of our speaker recognition model. The experiment is carried out on speaker verification and speaker identification tasks and shows the achievements and drawbacks of the proposed model. In the speaker identification phase, it achieves a maximum accuracy of 78%. On the contrary, in the speaker verification phase, the model maintains an accuracy of 80% having an equal error rate (ERR) of 0.24.


title: Loophole-free plug-and-play quantum key distribution

abstract: Robust, simple, and flexible quantum key distribution (QKD) is vital for realising practical applications of this technique. Contrary to typical phase-coded QKD schemes, the plug-and-play QKD design requires only one arm-length-insensitive interferometer without active feedback, in which the noise is automatically compensated by the two-way structure. However, there are certain possible loopholes in the typical plug-and-play designs, which require consideration and strict monitoring. This study proposes a loophole-free plug-and-play QKD scheme with two-way protocol and presents an experimental demonstration of said scheme. The security is analysed under a collective attack scenario assisted by the decoy state method. The scheme was implemented in a 50.4 km commercial fibre without active feedback. The system showed highly robust performance with an ultra-low error rate and maintained an ultra-high visibility of 0.9947+/-0.0002 through significant environmental changes over 24 hours.


title: Modeling dependent survival data through random effects with spatial correlation at the subject level

abstract: Dynamical phenomena such as infectious diseases are often investigated by following up subjects longitudinally, thus generating time to event data. The spatial aspect of such data is also of primordial importance, as many infectious diseases are transmitted from one subject to another. In this paper, a spatially correlated frailty model is introduced that accommodates for the correlation between subjects based on the distance between them. Estimates are obtained through a stochastic approximation version of the Expectation Maximization algorithm combined with a Monte-Carlo Markov Chain, for which convergence is proven. The novelty of this model is that spatial correlation is introduced for survival data at the subject level, each subject having its own frailty. This univariate spatially correlated frailty model is used to analyze spatially dependent malaria data, and its results are compared with other standard models.


title: Duality of one-variable multiple polylogarithms and their $q$-analogues

abstract: The duality relation of one-variable multiple polylogarithms was proved by Hirose, Iwaki, Sato and Tasaka by means of iterated integrals. In this paper, we give a new proof using the method of connected sums, which was recently invented by Seki and the author. Interestingly, the connected sum involves the hypergeometric function in its connector. Moreover, we introduce two kinds of $q$-analogues of the one-variable multiple polylogarithms and generalize the duality to them.


title: Underdamped Active Brownian Heat Engine

abstract: Active Brownian engines rectify energy from reservoirs composed of self-propelling non-equilibrium molecules into work. We consider a class of such engines based on an underdamped Brownian particle trapped in a power-law potential. The energy they transform has thermodynamic properties of heat only if the non-equilibrium reservoir can be assigned a suitable effective temperature consistent with the second law and thus yielding an upper bound on the engine efficiency. The effective temperature exists if the total force exerted on the particle by the bath is not correlated with the particle position. In general, this occurs if the noise autocorrelation function and the friction kernel are proportional as in the fluctuation-dissipation theorem. But even if the proportionality is broken, the effective temperature can be defined in restricted, fine-tuned, parameter regimes, as we demonstrate on a specific example with harmonic potential.


title: Scene Gated Social Graph: Pedestrian Trajectory Prediction Based on Dynamic Social Graphs and Scene Constraints

abstract: Pedestrian trajectory prediction is valuable for understanding human motion behaviors and it is challenging because of the social influence from other pedestrians, the scene constraints and the multimodal possibilities of predicted trajectories. Most existing methods only focus on two of the above three key elements. In order to jointly consider all these elements, we propose a novel trajectory prediction method named Scene Gated Social Graph (SGSG). In the proposed SGSG, dynamic graphs are used to describe the social relationship among pedestrians. The social and scene influences are taken into account through the scene gated social graph features which combine the encoded social graph features and semantic scene features. In addition, a VAE module is incorporated to learn the scene gated social feature and sample latent variables for generating multiple trajectories that are socially and environmentally acceptable. We compare our SGSG against twenty state-of-the-art pedestrian trajectory prediction methods and the results show that the proposed method achieves superior performance on two widely used trajectory prediction benchmarks.


title: Implicit Subspace Prior Learning for Dual-Blind Face Restoration

abstract: Face restoration is an inherently ill-posed problem, where additional prior constraints are typically considered crucial for mitigating such pathology. However, real-world image prior are often hard to simulate with precise mathematical models, which inevitably limits the performance and generalization ability of existing prior-regularized restoration methods. In this paper, we study the problem of face restoration under a more practical ``dual blind'' setting, i.e., without prior assumptions or hand-crafted regularization terms on the degradation profile or image contents. To this end, a novel implicit subspace prior learning (ISPL) framework is proposed as a generic solution to dual-blind face restoration, with two key elements: 1) an implicit formulation to circumvent the ill-defined restoration mapping and 2) a subspace prior decomposition and fusion mechanism to dynamically handle inputs at varying degradation levels with consistent high-quality restoration results. Experimental results demonstrate significant perception-distortion improvement of ISPL against existing state-of-the-art methods for a variety of restoration subtasks, including a 3.69db PSNR and 45.8% FID gain against ESRGAN, the 2018 NTIRE SR challenge winner. Overall, we prove that it is possible to capture and utilize prior knowledge without explicitly formulating it, which will help inspire new research paradigms towards low-level vision tasks.


title: Atomium: A high-resolution view on the highly asymmetric wind of the AGB star Pi1 Gruis. I. First detection of a new companion and its effect on the inner wind

abstract: The nebular circumstellar environments of cool evolved stars are known to harbour a rich morphological complexity of gaseous structures on different length scales. A large part of these density structures are thought to be brought about by the interaction of the stellar wind with a close companion. The S-type asymptotic giant branch star Pi1 Gruis, which has a known companion at ~440 au and is thought to harbour a second, closer-by (<10 au) companion, was observed with the Atacama Large Millimeter/submillimeter Array as part of the ATOMIUM Large programme. In this work, the brightest CO, SiO, and HCN molecular line transitions are analysed. The continuum map shows two maxima, separated by 0.04'' (6 au). The CO data unambiguously reveal that Pi1 Gru's circumstellar environment harbours an inclined, radially outflowing, equatorial density enhancement. It contains a spiral structure at an angle of 38+/-3 deg with the line-of-sight. The HCN emission in the inner wind reveals a clockwise spiral, with a dynamical crossing time of the spiral arms consistent with a companion at a distance of 0.04'' from the asymptotic giant branch star, which is in agreement with the position of the secondary continuum peak. The inner wind dynamics imply a large acceleration region, consistent with a beta-law power of ~6. The CO emission suggests that the spiral is approximately Archimedean within 5'', beyond which this trend breaks down as the succession of the spiral arms becomes less periodic. The SiO emission at scales smaller than 0.5'' exhibits signatures of gas in rotation, which is found to fit the expected behaviour of gas in the wind-companion interaction zone. An investigation of SiO maser emission reveals what could be a stream of gas accelerating from the surface of the AGB star to the companion. Using these dynamics, we have tentatively derived an upper limit on the companion mass to be ~1.1 Msol.