title: Quasilinear logarithmic Choquard equations with exponential growth in $\mathbb{R}^N$

abstract: We consider the $N$-Laplacian Schr\"odinger equation strongly coupled with higher order fractional Poisson's equations. When the order of the Riesz potential $\alpha$ is equal to the Euclidean dimension $N$, and thus it is a logarithm, the system turns out to be equivalent to a nonlocal Choquard type equation. On the one hand, the natural function space setting in which the Schr\"odinger energy is well defined is the Sobolev limiting space $W^{1,N}(\mathbb{R}^N)$, where the maximal nonlinear growth is of exponential type. On the other hand, in order to have the nonlocal energy well defined and prove the existence of finite energy solutions, we introduce a suitable $log$-weighted variant of the Pohozaev-Trudinger inequality which provides a proper functional framework where we use variational methods.


title: Employing Typicality in Optimal Control Theory

abstract: Controlling the dynamics of quantum systems is a crucial task in quantum science and technology. Obtaining the driving field that transforms the quantum systems to its objective is a typical control task. This task is hard, scaling unfavorably with the size of Hilbert space. To tackle this issue we employ typicality to assist in finding the control field for such systems. To demonstrate the method we choose the control task of cooling the fine structure states of the AlF molecule, from relatively high temperatures which results in large Hilbert space. Using quantum typicality, we demonstrate that we can simulate an ensemble of states, enabling a control task addressing simultaneously many states. We employ this method to find a control field for cooling molecules with large number of internal sates, corresponding to high initial temperatures.


title: On income inequality and population size

abstract: The pursuit of having an appropriate level of income inequality should be viewed as one of the biggest challenges facing academic scholars as well as policy makers. Unfortunately, research on this issue is currently lacking. This study is the first to introduce the theoretical concept of targeted level of income inequality for a given size of population. By employing the World Bank's data on population size and Gini coefficient from sixty-nine countries in 2012, this study finds that the relationship between Gini coefficient and natural logarithm of population size is nonlinear in the form of a second-degree polynomial function. The estimated results using regression analysis show that the majority of countries in the sample have Gini coefficients either too high or too low compared to their appropriate values. These findings could be used as a guideline for policy makers before designing and implementing public policies in order to achieve the targeted level of income inequality.


title: MLOps -- Definitions, Tools and Challenges

abstract: This paper is an overview of the Machine Learning Operations (MLOps) area. Our aim is to define the operation and the components of such systems by highlighting the current problems and trends. In this context, we present the different tools and their usefulness in order to provide the corresponding guidelines. Moreover, the connection between MLOps and AutoML (Automated Machine Learning) is identified and how this combination could work is proposed.


title: Development of Diabetic Foot Ulcer Datasets: An Overview

abstract: This paper provides conceptual foundation and procedures used in the development of diabetic foot ulcer datasets over the past decade, with a timeline to demonstrate progress. We conduct a survey on data capturing methods for foot photographs, an overview of research in developing private and public datasets, the related computer vision tasks (detection, segmentation and classification), the diabetic foot ulcer challenges and the future direction of the development of the datasets. We report the distribution of dataset users by country and year. Our aim is to share the technical challenges that we encountered together with good practices in dataset development, and provide motivation for other researchers to participate in data sharing in this domain.


title: The differential role of verbal and visuospatial working memory in mathematics and reading

abstract: Objectives: Several studies have focused on the role of working memory (WM) in predicting mathematical and reading literacy. Alternative models of WM have been proposed and a modality-dependent model of WM, distinguishing between verbal and visuospatial WM modalities, has been advanced. In addition, the relationship between verbal and visuospatial WM and academic achievement has not been extensively and consistently studied, especially when it comes to distinguishing between mathematical and reading tasks. Method: In the present study, we tested a large group of middle school children in several measures of WM, and in mathematical and reading tasks. Results: Confirmatory factor analyses showed that verbal and visuospatial WM can be differentiated and that these factors have a different predictive power in explaining unique portions of variance in reading and mathematics. Conclusions: Our findings point to the importance of distinguishing between WM modalities in evaluating the relationship between mathematics and reading.


title: Hamiltonian cycles above expectation in r-graphs and quasi-random r-graphs

abstract: Let $H_r(n,p)$ denote the maximum number of Hamiltonian cycles in an $n$-vertex $r$-graph with density $p \in (0,1)$. The expected number of Hamiltonian cycles in the random $r$-graph model $G_r(n,p)$ is $E(n,p)=p^n(n-1)!/2$ and in the random graph model $G_r(n,m)$ with $m=p\binom{n}{r}$ it is, in fact, slightly smaller than $E(n,p)$. For graphs, $H_2(n,p)$ is proved to be only larger than $E(n,p)$ by a polynomial factor and it is an open problem whether a quasi-random graph with density $p$ can be larger than $E(n,p)$ by a polynomial factor. For hypergraphs (i.e. $r \ge 3$) the situation is drastically different. For all $r \ge 3$ it is proved that $H_r(n,p)$ is larger than $E(n,p)$ by an {\em exponential} factor and, moreover, there are quasi-random $r$-graphs with density $p$ whose number of Hamiltonian cycles is larger than $E(n,p)$ by an exponential factor.


title: Design of the ELIMAIA ion collection system

abstract: A system of permanent magnet quadrupoles (PMQs) is going to be realized by INFNLNS to be used as a collection system for the injection of laser driven ion beams up to 60 AMeV in an energy selector based on four resistive dipoles. This system is the first element of the ELIMED (ELI-Beamlines MEDical and Multidisciplinary applications) beam transport, dosimetry and irradiation line that will be developed by INFN-LNS (It) and installed at the ELI-Beamlines facility in Prague (Cz). ELIMED will be the first users open transport beam-line where a controlled laser-driven ion beam will be used for multidisciplinary researches. The definition of well specified characteristics, both in terms of performances and field quality, of the magnetic lenses is crucial for the system realization, for the accurate study of the beam dynamics and for the proper matching with the magnetic selection system which will be designed in the next months. Here, we report the design of the collection system and the adopted solutions in order to realize a robust system form the magnetic point of view. Moreover, the first preliminary transport simulations are also described.


title: Generating Adversarial Samples For Training Wake-up Word Detection Systems Against Confusing Words

abstract: Wake-up word detection models are widely used in real life, but suffer from severe performance degradation when encountering adversarial samples. In this paper we discuss the concept of confusing words in adversarial samples. Confusing words are commonly encountered, which are various kinds of words that sound similar to the predefined keywords. To enhance the wake word detection system's robustness against confusing words, we propose several methods to generate the adversarial confusing samples for simulating real confusing words scenarios in which we usually do not have any real confusing samples in the training set. The generated samples include concatenated audio, synthesized data, and partially masked keywords. Moreover, we use a domain embedding concatenated system to improve the performance. Experimental results show that the adversarial samples generated in our approach help improve the system's robustness in both the common scenario and the confusing words scenario. In addition, we release the confusing words testing database called HI-MIA-CW for future research.


title: Self-attention Multi-view Representation Learning with Diversity-promoting Complementarity

abstract: Multi-view learning attempts to generate a model with a better performance by exploiting the consensus and/or complementarity among multi-view data. However, in terms of complementarity, most existing approaches only can find representations with single complementarity rather than complementary information with diversity. In this paper, to utilize both complementarity and consistency simultaneously, give free rein to the potential of deep learning in grasping diversity-promoting complementarity for multi-view representation learning, we propose a novel supervised multi-view representation learning algorithm, called Self-Attention Multi-View network with Diversity-Promoting Complementarity (SAMVDPC), which exploits the consistency by a group of encoders, uses self-attention to find complementary information entailing diversity. Extensive experiments conducted on eight real-world datasets have demonstrated the effectiveness of our proposed method, and show its superiority over several baseline methods, which only consider single complementary information.


title: Dynamic Scene Video Deblurring using Non-Local Attention

abstract: This paper tackles the challenging problem of video deblurring. Most of the existing works depend on implicit or explicit alignment for temporal information fusion which either increase the computational cost or result in suboptimal performance due to wrong alignment. In this study, we propose a factorized spatio-temporal attention to perform non-local operations across space and time to fully utilize the available information without depending on alignment. It shows superior performance compared to existing fusion techniques while being much efficient. Extensive experiments on multiple datasets demonstrate the superiority of our method.


title: Hot Brownian motion of optically levitated nanodiamonds

abstract: The Brownian motion of a particle hotter than its environment is an iconic out-of-equilibrium system. Its study provides valuable insights into nanoscale thermal effects. Notably, it supplies an excellent diagnosis of thermal effects in optically levitated particles, a promising platform for force sensing and quantum physics tests. Thus, understanding the relevant parameters in this effect is critical. In this context, we test the role of particles' shape and material, using optically levitated nanodiamonds hosting NV centers to measure the particles' internal temperature and center-of-mass dynamics. We present a model to assess the nanodiamond internal temperature from its dynamics, adaptable to other particles. We also demonstrate that other mechanisms affect the nanodiamond dynamics and its stability in the trap. Finally, our work, by showing levitating nanodiamonds as an excellent tool for studying nano-thermal effects, opens prospects for increasing the trapping stability of optically levitated particles.


title: Multi-view Subspace Adaptive Learning via Autoencoder and Attention

abstract: Multi-view learning can cover all features of data samples more comprehensively, so multi-view learning has attracted widespread attention. Traditional subspace clustering methods, such as sparse subspace clustering (SSC) and low-ranking subspace clustering (LRSC), cluster the affinity matrix for a single view, thus ignoring the problem of fusion between views. In our article, we propose a new Multiview Subspace Adaptive Learning based on Attention and Autoencoder (MSALAA). This method combines a deep autoencoder and a method for aligning the self-representations of various views in Multi-view Low-Rank Sparse Subspace Clustering (MLRSSC), which can not only increase the capability to non-linearity fitting, but also can meets the principles of consistency and complementarity of multi-view learning. We empirically observe significant improvement over existing baseline methods on six real-life datasets.


title: First-principles insights into the mechanical, optoelectronic, thermophysical, and lattice dynamical properties of binary topological semimetal BaGa2

abstract: In the present study we have investigated the structural properties, electronic band dispersion, elastic constants, acoustic behavior, phonon spectrum, optical properties, and a number of thermophysical parameters of binary topological semimetal BaGa2 in details via first-principles calculations using the density functional theory (DFT) based formalisms. The electronic band structure and density of states calculations with spin orbit coupling reveal semimetallic nature with clear topological signature. The minimum thermal conductivities and anisotropies of the compound are calculated. The elastic constants, phonon dispersion calculations show that the compound under study is both mechanically and dynamically stable. Comprehensive study of elastic constants and moduli shows that BaGa2 possesses fairly isotropic mechanical properties, reasonably good machinability, low Debye temperature and melting point. The chemical bonding in BaG2 is interpreted via the electronic energy density of states, electron density distribution, elastic properties and Mulliken bond population analysis. The compound possesses both ionic and covalent bondings. The reflectivity spectra show strong anisotropy with respect to polarization of the incident electric field in the visible to mid-ultraviolet regions. High reflectivity over wide spectral range makes BaGa2 suitable as a reflecting material. BaGa2 is also an efficient absorber of ultraviolet radiation. Furthermore, the refractive index is quite high in the infrared to visible range. All the energy dependent optical parameters show metallic features and are in complete accord with the underlying bulk electronic density of states calculations. Most of the results presented in this study are novel and should serve as useful reference for future study.


title: Nonlinear Anderson localized states at arbitrary disorder

abstract: It is classical, following Furstenberg's theorem on positive Lyapunov exponent for products of random SL$(2, \mathbb R)$ matrices, that the one dimensional random Schr\"odinger operator has Anderson localization at arbitrary disorder. This paper proves a nonlinear analogue, thereby establishing a KAM-type persistence result for a non-integrable system.


title: On the Kantor product, II

abstract: We describe the Kantor square (and Kantor product) of multiplications, extending the classification proposed in [I. Kaygorodov, On the Kantor product, Journal of Algebra and Its Applications, 16 (2017), 9, 1750167]. Besides, we explicitly describe the Kantor square of some low dimensional algebras and give constructive methods for obtaining new transposed Poisson algebras and Poisson-Novikov algebras; and for classifying Poisson structures and commutative post-Lie structures on a given algebra.


title: Kondo effect in a non-Hermitian, $\mathcal{PT}$-symmetric Anderson model with Rashba spin-orbit coupling

abstract: The non-interacting and non-Hermitian, parity-time ($\mathcal{PT}$)-symmetric Anderson model exhibits an exceptional point (EP) at a non-Hermitian coupling $g=1$, which remains unrenormalized in the presence of interactions (Lourenco et al, arXiv:1806.03116), where the EP was shown to coincide with the quantum critical point (QCP) for Kondo destruction. In this work, we consider a quantum dot hybridizing with metallic leads having Rashba spin-orbit coupling ($\lambda$). We show that for a non-Hermitian hybridization, $\lambda$ can renormalize the exceptional point even in the non-interacting case, stabilizing $\mathcal{PT}$-symmetry beyond $g=1$. Through exact diagonalization of a zero-bandwidth, three-site model, we show that the quantum critical point and the exceptional point bifurcate, with the critical point for Kondo destruction at $g_c=1$, and the exceptional coupling being $g_{\scriptscriptstyle{EP}} > 1$ for all $U\neq 0$ and $\lambda\geq 0; \lambda\neq U/2$. On the line $\lambda=U/2$, the critical point and the EP again coincide at $g_c=g_{\scriptscriptstyle{EP}}=1$. The full model with finite bandwidth leads is investigated through the slave-boson approach, using which we show that, in the strong coupling regime, $\lambda$ and interactions co-operate in strongly reducing the critical point associated with Kondo destruction, below the $\lambda=0$ value.


title: Correlation inequalities for the uniform 8-vertex model and the toric code model

abstract: We elucidate connections between four models in statistical physics and probability theory: (1) the toric code model of Kitaev, (2) the uniform eight-vertex model, (3) random walk on a hypercube, and (4) a classical Ising model with four-body interaction. As a consequence of our analysis (and of the GKS-inequalities for the Ising model) we obtain correlation inequalities for the toric code model and the uniform eight-vertex model.


title: Adaptive Image Inpainting

abstract: Image inpainting methods have shown significant improvements by using deep neural networks recently. However, many of these techniques often create distorted structures or blurry textures inconsistent with surrounding areas. The problem is rooted in the encoder layers' ineffectiveness in building a complete and faithful embedding of the missing regions. To address this problem, two-stage approaches deploy two separate networks for a coarse and fine estimate of the inpainted image. Some approaches utilize handcrafted features like edges or contours to guide the reconstruction process. These methods suffer from huge computational overheads owing to multiple generator networks, limited ability of handcrafted features, and sub-optimal utilization of the information present in the ground truth. Motivated by these observations, we propose a distillation based approach for inpainting, where we provide direct feature level supervision for the encoder layers in an adaptive manner. We deploy cross and self distillation techniques and discuss the need for a dedicated completion-block in encoder to achieve the distillation target. We conduct extensive evaluations on multiple datasets to validate our method.


title: Imaging the Sun's near-surface flows using mode-coupling analysis

abstract: The technique of normal-mode coupling is a powerful tool with which to seismically image non-axisymmetric phenomena in the Sun. Here we apply mode coupling in the Cartesian approximation to probe steady, near-surface flows in the Sun. Using Doppler cubes obtained from the Helioseismic and Magnetic Imager onboard the Solar Dynamics Observatory, we perform inversions on mode-coupling measurements to show that the resulting divergence and radial vorticity maps at supergranular length scales ($\sim$30 Mm) near the surface compare extremely well with those obtained using the Local Correlation Tracking method. We find that the Pearson correlation coefficient is $\geq$ 0.9 for divergence flows, while $\geq$ 0.8 is obtained for the radial vorticity.


title: On Zero-Sum Two Person Perfect Information Semi-Markov Games

abstract: A zero-sum two-person Perfect Information Semi-Markov game (PISMG) under limiting ratio average payoff has a value and both the maximiser and the minimiser have optimal pure semi-stationary strategies. We arrive at the result by first fixing an arbitrary initial state and forming the matrix of undiscounted payoffs corresponding to each pair of pure stationary strategies of the two players and proving that this matrix has a pure saddle point.


title: IoT-based Route Recommendation for an Intelligent Waste Management System

abstract: The Internet of Things (IoT) is a paradigm characterized by a network of embedded sensors and services. These sensors are incorporated to collect various information, track physical conditions, e.g., waste bins' status, and exchange data with different centralized platforms. The need for such sensors is increasing; however, proliferation of technologies comes with various challenges. For example, how can IoT and its associated data be used to enhance waste management? In smart cities, an efficient waste management system is crucial. Artificial Intelligence (AI) and IoT-enabled approaches can empower cities to manage the waste collection. This work proposes an intelligent approach to route recommendation in an IoT-enabled waste management system given spatial constraints. It performs a thorough analysis based on AI-based methods and compares their corresponding results. Our solution is based on a multiple-level decision-making process in which bins' status and coordinates are taken into account to address the routing problem. Such AI-based models can help engineers design a sustainable infrastructure system.


title: The complementary Betz Theory

abstract: A classical derivation of Betz's law is first presented along with some insights. The extended Betz's theory is deduced for a rotor with axis orthogonal to the direction of an ideal fluid in uniform motion. The conceptual design used to demonstrate the generality of the aerodynamic aspects of energy conversion - starting from a suggestive approach to the classical theory and a geometric explanation of Betz's law - is defined by imposing compliance with the minimum requirements that a turbine must have to approximate the ideal efficiency of 16/27. The discovery of the role of the Betz's angles has permitted demonstrating the theory in a more general context, extending it from a flat, two-dimensional, representation to a deeper, three-dimensional, understanding of the problem. The ensuing result, in particular the possibility of obtaining constant yield and maximum efficiency through a finite topology of the actuator cylinder, implies in principle feasibility with a real turbine with axis perpendicular to the wind direction.


title: On the representativeness of approximate solutions of discrete optimization problems with interval objective function

abstract: We consider discrete optimization problems with interval uncertatinty of objective function coefficients. The interval uncertainty models measurements errors. A pos\-sible optimal solution is a solution that is optimal for some possible values of the coefficients. Pro\-ba\-bi\-li\-ty of a possible solution is the probability to obtain such coefficients that the solution is optimal. Similarly we define the notion of a possible approximate solution with given accuracy and probability of the solution. A possible approximate solution is an approximate solution that is obtained for some possible values of the coefficients by some fixed approximate algorithm, e.g. by the greedy algorithm. Pro\-ba\-bi\-li\-ty of a such solution is the probability to obtain such coefficients that the algorithm produces the solution as its output. We consider optimal or approximate possible solution un\-re\-pre\-sen\-ta\-ti\-ve if its probability less than some boundary value. The mean approximate solution is a possible approximate solution for midpoints of the coefficients intervals. The solution may be treated as approximate solution for exact values of the coefficients. We show that the share of individual discrete optimization problems instances with unrepresentative mean approximate solution may be wide enough for rather small values of error and the boundary value. The same is true for any other possible approximate solution: all of them may be unrepresentative.


title: Banach algebras of symmetric functions on the polydisc

abstract: Let ${\mathbb{D}}=\{z\in \mathbb{C}:|z|<1\}$ and for an integer $d\geq 1$, let $S_d$ denote the symmetric group, consisting of of all permutations of the set $\{1,\cdots, d\}$. A function $f:{\mathbb{D}}^d\rightarrow \mathbb{C}$ is symmetric if $f(z_1,\cdots, z_d)=f(z_{\sigma(1)},\cdots, z_{\sigma (d)})$ for all $\sigma \in S_d$ and all $(z_1,\cdots, z_d)\in {\mathbb{D}}^d$. The polydisc algebra $A({\mathbb{D}}^d)$ is the Banach algebra of all holomorphic functions $f$ on the polydisc ${\mathbb{D}}^d$ that can be continuously extended to the closure of the polydisc in ${\mathbb{C}}^d$, with pointwise operations and the supremum norm (given by $\|f\|_\infty:=\sup_{\mathbf{z} \in {\mathbb{D}}^d} |f(\mathbf{z})|$). Let $A_{\textrm{sym}}({\mathbb{D}}^d)$ be the Banach subalgebra of $A({\mathbb{D}}^d)$ consisting of all symmetric functions in the polydisc algebra. Algebraic-analytic properties of $A_{\textrm{sym}}({\mathbb{D}}^d)$ are investigated. In particular, the following results are shown: the corona theorem, description of the maximal ideal space and its contractibility, Hermiteness, projective-freeness, and non-coherence.


title: Secure Information Flow Typing in LUSTRE

abstract: Synchronous reactive data flow is a paradigm that provides a high-level abstract programming model for embedded and cyber-physical systems, including the locally synchronous components of IoT systems. Security in such systems is severely compromised due to low-level programming, ill-defined interfaces and inattention to security classification of data. By incorporating a Denning-style lattice-based secure information flow framework into a synchronous reactive data flow language, we provide a framework in which correct-and-secure-by-construction implementations for such systems may be specified and derived. In particular, we propose an extension of the Lustre programming framework with a security type system. The novelty of our type system lies in a symbolic formulation of constraints over security type variables, in particular the treatment of node calls, which allows us to reason about secure flow with respect to any security class lattice. The main theorem is the soundness of our type system with respect to the co-inductive operational semantics of Lustre, which we prove by showing that well-typed programs exhibit non-interference. Rather than tackle the full language, we first prove the non-interference result for a well-behaved sub-language called "Normalised Lustre" (NLustre), for which our type system is far simpler. We then show that Bourke et al.'s semantics-preserving "normalisation" transformations from Lustre to NLustre are security-preserving as well. This preservation of security types by the normalisation transformations is a property akin to "subject reduction" but at the level of compiler transformations. The main result that well-security-typed Lustre programs are non-interfering follows from a reduction to our earlier result of non-interference for NLustre via the semantics-preservation (of Bourke et al.) and type preservation results.


title: Extremal total distance of graphs of given radius I

abstract: In 1984, Plesn\'{i}k determined the minimum total distance for given order and diameter and characterized the extremal graphs and digraphs. We prove the analog for given order and radius, when the order is sufficiently large compared to the radius. This confirms asymptotically a conjecture of Chen et al. We also state an analog of the conjecture of Chen et al for digraphs and prove it for sufficiently large order.


title: Maximum size of digraphs of given radius

abstract: In $1967$, Vizing determined the maximum size of a graph with given order and radius. In $1973$, Fridman answered the same question for digraphs with given order and outradius. We investigate that question when restricting to biconnected digraphs. Biconnected digraphs are the digraphs with a finite total distance and hence the interesting ones, as we want to note a connection between minimizing the total distance and maximizing the size under the same constraints. We characterize the extremal digraphs maximizing the size among all biconnected digraphs of order $n$ and outradius $3$, as well as when the order is sufficiently large compared to the outradius. As such, we solve a problem of Dankelmann asymptotically. We also consider these questions for bipartite digraphs and solve a second problem of Dankelmann partially.


title: Image Restoration using Feature-guidance

abstract: Image restoration is the task of recovering a clean image from a degraded version. In most cases, the degradation is spatially varying, and it requires the restoration network to both localize and restore the affected regions. In this paper, we present a new approach suitable for handling the image-specific and spatially-varying nature of degradation in images affected by practically occurring artifacts such as blur, rain-streaks. We decompose the restoration task into two stages of degradation localization and degraded region-guided restoration, unlike existing methods which directly learn a mapping between the degraded and clean images. Our premise is to use the auxiliary task of degradation mask prediction to guide the restoration process. We demonstrate that the model trained for this auxiliary task contains vital region knowledge, which can be exploited to guide the restoration network's training using attentive knowledge distillation technique. Further, we propose mask-guided convolution and global context aggregation module that focuses solely on restoring the degraded regions. The proposed approach's effectiveness is demonstrated by achieving significant improvement over strong baselines.


title: Entropically secure encryption with faster key expansion

abstract: Entropically secure encryption is a way to encrypt a large plaintext with a small key and still have information-theoretic security, thus in a certain sense circumventing Shannon's result that perfect encryption requires the key to be at least as long as the entropy of the plaintext. Entropically secure encryption is not perfect, and it works only if a lower bound is known on the entropy of the plaintext. The typical implementation is to expand the short key to the size of the plaintext, e.g. by multiplication with a public random string, and then use one-time pad encryption. This works in the classical as well as the quantum setting. In this paper, we introduce a new key expansion method that is faster than existing ones. We prove that it achieves the same security. The speed gain is most notable when the key length is a sizeable fraction of the message length. In particular, a factor of 2 is gained in the case of approximate randomization of quantum states.


title: On the Exact Linearization and Control of Flat Discrete-time Systems

abstract: The paper addresses the exact linearization of flat nonlinear discrete-time systems by generalized static or dynamic feedbacks which may also depend on forward-shifts of the new input. We first investigate the question which forward-shifts of a given flat output can be chosen in principle as a new input, and subsequently how to actually introduce the new input by a suitable feedback. With respect to the choice of a feasible input, easily verifiable conditions are derived. Introducing such a new input requires a feedback which may in general depend not only on this new input itself but also on its forward-shifts. This is similar to the continuous-time case, where feedbacks which depend on time derivatives of the closed-loop input - and in particular quasi-static ones - have already been used successfully for the exact linearization of flat systems since the nineties of the last century. For systems with a flat output that does not depend on forward-shifts of the input, it is shown how to systematically construct a new input such that the total number of the corresponding forward-shifts of the flat output is minimal. Furthermore, it is shown that in this case the calculation of a linearizing feedback is particularly simple, and the subsequent design of a discrete-time flatness-based tracking control is discussed. The presented theory is illustrated by the discretized models of a wheeled mobile robot and a 3DOF helicopter.


title: Robust and Efficient Hamiltonian Learning

abstract: With the fast development of quantum technology, the sizes of both digital and analog quantum systems increase drastically. In order to have better control and understanding of the quantum hardware, an important task is to characterize the interaction, i.e., to learn the Hamiltonian, which determines both static and dynamic properties of the system. Conventional Hamiltonian learning methods either require costly process tomography or adopt impractical assumptions, such as prior information on the Hamiltonian structure and the ground or thermal states of the system. In this work, we present a robust and efficient Hamiltonian learning method that circumvents these limitations based only on mild assumptions. The proposed method can efficiently learn any Hamiltonian that is sparse on the Pauli basis using only short-time dynamics and local operations without any information on the Hamiltonian or preparing any eigenstates or thermal states. The method has a scalable complexity and a vanishing failure probability regarding the qubit number. Meanwhile, it performs robustly given the presence of state preparation and measurement errors and resiliently against a certain amount of circuit and shot noise. We numerically test the scaling and the estimation accuracy of the method for transverse field Ising Hamiltonian with random interaction strengths and molecular Hamiltonians, both with varying sizes and manually added noise. All these results verify the robustness and efficacy of the method, paving the way for a systematic understanding of the dynamics of large quantum systems.


title: Revisiting Neuron Coverage Metrics and Quality of Deep Neural Networks

abstract: Deep neural networks (DNN) have been widely applied in modern life, including critical domains like autonomous driving, making it essential to ensure the reliability and robustness of DNN-powered systems. As an analogy to code coverage metrics for testing conventional software, researchers have proposed neuron coverage metrics and coverage-driven methods to generate DNN test cases. However, Yan et al. doubt the usefulness of existing coverage criteria in DNN testing. They show that a coverage-driven method is less effective than a gradient-based method in terms of both uncovering defects and improving model robustness. In this paper, we conduct a replication study of the work by Yan et al. and extend the experiments for deeper analysis. A larger model and a dataset of higher resolution images are included to examine the generalizability of the results. We also extend the experiments with more test case generation techniques and adjust the process of improving model robustness to be closer to the practical life cycle of DNN development. Our experiment results confirm the conclusion from Yan et al. that coverage-driven methods are less effective than gradient-based methods. Yan et al. find that using gradient-based methods to retrain cannot repair defects uncovered by coverage-driven methods. They attribute this to the fact that the two types of methods use different perturbation strategies: gradient-based methods perform differentiable transformations while coverage-driven methods can perform additional non-differentiable transformations. We test several hypotheses and further show that even coverage-driven methods are constrained only to perform differentiable transformations, the uncovered defects still cannot be repaired by adversarial training with gradient-based methods. Thus, defensive strategies for coverage-driven methods should be further studied.


title: The Symmetry Enriched Center Functor is Fully Faithful

abstract: In this work, inspired by some physical intuitions, we define a series of symmetry enriched categories to describe symmetry enriched topological (SET) orders, and define a new tensor product, called the relative tensor product, which describes the stacking of 2+1D SET orders. Then we choose and modify the domain and codomain categories, and manage to make the Drinfeld center a fully faithful symmetric monoidal functor. It turns out that this functor, named the symmetry enriched center functor, provides a precise and rather complete mathematical formulation of the boundary-bulk relation of symmetry enriched topological (SET) orders. We also provide another description of the relative tensor product via a condensable algebra.


title: On the facet pivot simplex method for linear programming II: a linear iteration bound

abstract: The Hirsch Conjecture stated that any $d$-dimensional polytope with n facets has a diameter at most equal to $n - d$. This conjecture was disproved by Santos (A counterexample to the Hirsch Conjecture, Annals of Mathematics, 172(1) 383-412, 2012). The implication of Santos' work is that all {\it vertex} pivot algorithms cannot solve the linear programming problem in the worst case in $n - d$ vertex pivot iterations. In the first part of this series of papers, we proposed a {\it facet} pivot method. In this paper, we show that the proposed facet pivot method can solve the canonical linear programming problem in the worst case in at most $n-d$ facet pivot iterations. This work was inspired by Smale's Problem 9 (Mathematical problems for the next century, In Arnold, V. I.; Atiyah, M.; Lax, P.; Mazur, B. Mathematics: frontiers and perspectives, American Mathematical Society, 271-294, 1999).


title: FamilySeer: Towards Optimized Tensor Codes by Exploiting Computation Subgraph Similarity

abstract: Deploying various deep learning (DL) models efficiently has boosted the research on DL compilers. The difficulty of generating optimized tensor codes drives DL compiler to ask for the auto-tuning approaches, and the increasing demands require increasing auto-tuning efficiency and quality. Currently, the DL compilers partition the input DL models into several subgraphs and leverage the auto-tuning to find the optimal tensor codes of these subgraphs. However, existing auto-tuning approaches usually regard subgraphs as individual ones and overlook the similarities across them, and thus fail to exploit better tensor codes under limited time budgets. We propose FamilySeer, an auto-tuning framework for DL compilers that can generate better tensor codes even with limited time budgets. FamilySeer exploits the similarities and differences among subgraphs can organize them into subgraph families, where the tuning of one subgraph can also improve other subgraphs within the same family. The cost model of each family gets more purified training samples generated by the family and becomes more accurate so that the costly measurements on real hardware can be replaced with the lightweight estimation through cost model. Our experiments show that FamilySeer can generate model codes with the same code performance more efficiently than state-of-the-art auto-tuning frameworks.


title: Challenges of sampling and how phylogenetic comparative methods help: With a case study of the Pama-Nyungan laminal contrast

abstract: Phylogenetic comparative methods are new in our field and are shrouded, for most linguists, in at least a little mystery. Yet the path that led to their discovery in comparative biology is so similar to the methodological history of balanced sampling, that it is only an accident of history that they were not discovered by a typologist. Here we clarify the essential logic behind phylogenetic comparative methods and their fundamental relatedness to a deep intellectual tradition focussed on sampling. Then we introduce concepts, methods and tools which will enable typologists to use these methods in everyday typological research. The key commonality of phylogenetic comparative methods and balanced sampling is that they attempt to deal with statistical non-independence due to genealogy. Whereas sampling can never achieve independence and requires most comparative data to be discarded, phylogenetic comparative methods achieve independence while retaining and using all data. We discuss the essential notions of phylogenetic signal; uncertainty about trees; typological averages and proportions that are sensitive to genealogy; comparison across language families; and the effects of areality. Extensive supplementary materials illustrate computational tools for practical analysis and we illustrate the methods discussed with a typological case study of the laminal contrast in Pama-Nyungan.


title: Isostatic Modelling, Vertical Motion Rate Variation and Potential Detection of Past-Landslide in the Volcanic Island of Tahiti

abstract: Intraplate volcanic islands are often considered as stable relief with constant vertical motion and used for relative sea-level curves reconstruction. This study shows that large landslides cause non-negligible isostatic adjustment. The vertical motion that occurred after landslide is quantified using a modelling approach. We show that a giant landslide caused a coastline uplift of 80-110 m for an elastic thickness of 15 km < $T_e$ < 20 km in Tahiti. Theoretical cases also reveal that a coastal motion of 1 m occurred for a landslide involving a displaced volume of 0.2 $km^3$ and influence relative sea-level reconstruction. In Tahiti, a change in the subsidence rate of 0.1 mm/yr (from 0.25 mm/yr to 0.15 mm/yr) occurred during the last 6 kyr and could be explained by a landslide involving a minimum volume of 0.2 $km^3$, $6 \pm 1$ kyr ago.


title: Quantum Liang Information Flow as Causation Quantifier

abstract: Liang information flow is a quantity widely used in classical network theory to quantify causation, and has been applied widely, for example, to finance and climate. The most striking aspect here is to freeze/subtract a certain node of the network to ascertain its causal influence to other nodes of the network. Such an approach is yet to be applied to quantum network dynamics. Here we generalize Liang information flow to the quantum domain using the von-Neumann entropy. Using that we propose to assess the relative importance of various nodes of a network to causally influence a target node. We exemplify the application by using small quantum networks.


title: Symmetric Matrices, Signed Graphs, and Nodal Domain Theorems

abstract: In 2001, Davies, Gladwell, Leydold, and Stadler proved discrete nodal domain theorems for eigenfunctions of generalized Laplacians, i.e., symmetric matrices with non-positive off-diagonal entries. In this paper, we establish nodal domain theorems for arbitrary symmetric matrices by exploring the induced signed graph structure. Our concepts of nodal domains for any function on a signed graph are switching invariant. When the induced signed graph is balanced, our definitions and upper bound estimates reduce to existing results for generalized Laplacians. Our approach provides a more conceptual understanding of Fiedler's results on eigenfunctions of acyclic matrices. This new viewpoint leads to lower bound estimates for the number of strong nodal domains which improves previous results of Berkolaiko and Xu-Yau. We also prove a new type of lower bound estimates by a duality argument.


title: The GatedTabTransformer. An enhanced deep learning architecture for tabular modeling

abstract: There is an increasing interest in the application of deep learning architectures to tabular data. One of the state-of-the-art solutions is TabTransformer which incorporates an attention mechanism to better track relationships between categorical features and then makes use of a standard MLP to output its final logits. In this paper we propose multiple modifications to the original TabTransformer performing better on binary classification tasks for three separate datasets with more than 1% AUROC gains. Inspired by gated MLP, linear projections are implemented in the MLP block and multiple activation functions are tested. We also evaluate the importance of specific hyper parameters during training.


title: Local heating due to convective overshooting and the solar modelling problem

abstract: Recent hydrodynamical simulations of convection in a solar-like model suggest that penetrative convective flows at the boundary of the convective envelope modify the thermal background in the overshooting layer. Based on these results, we implement in one-dimensional stellar evolution codes a simple prescription to modify the temperature gradient below the convective boundary of a solar model. This simple prescription qualitatively reproduces the behaviour found in the hydrodynamical simulations, namely a local heating and smoothing of the temperature gradient below the convective boundary. We show that introducing local heating in the overshooting layer can reduce the sound-speed discrepancy usually reported between solar models and the structure of the Sun inferred from helioseismology. It also affects key quantities in the convective envelope, such as the density, the entropy, and the speed of sound. These effects could help reduce the discrepancies between solar models and observed constraints based on seismic inversions of the Ledoux discriminant. Since mixing due to overshooting and local heating are the result of the same convective penetration process, the goal of this work is to invite solar modellers to consider both processes for a more consistent approach.


title: The period-age relation of long-period variables

abstract: Pieces of empirical evidence suggest the existence of a period-age relation for long-period variables (LPVs). Yet, this property has hardly been studied on theoretical grounds thus far. We aim to examine the period-age relation using the results from recent nonlinear pulsation calculations. We combined isochrone models with theoretical periods to simulate the distribution of fundamental mode LPV pulsators, which include Miras, in the period-age plane, and we compared it with observations of LPVs in Galactic and Magellanic Clouds' clusters. In agreement with observations, models predict that the fundamental mode period decreases with increasing age because of the dominant role of mass in shaping stellar structure and evolution. At a given age, the period distribution shows a non-negligible width and is skewed toward short periods, except for young C-rich stars. As a result, the period-age relations of O-rich and C-rich models are predicted to have different slopes. We derived best-fit relations describing age and initial mass as a function of the fundamental mode period for both O- and C-rich models. The study confirms the power of the period-age relations to study populations of LPVs of specific types, either O-rich or C-rich, on statistical grounds. In doing so, it is recommended not to limit a study to Miras, which would make it prone to selection biases, but rather to include semi-regular variables that pulsate predominantly in the fundamental mode. The use of the relations to study individual LPVs, on the other hand, requires more care given the scatter in the period distribution predicted at any given age.


title: Possible early universe signals in proton collisions at the Large Hadron Collider

abstract: Our universe was born about 13.8 billion years ago from an extremely hot and dense singular point, in a process known as the Big Bang. The hot and dense matter which dominated the system within a few microseconds of its birth was in the form of a soup of elementary quarks and gluons, known as the quark-gluon plasma (QGP). Signatures compatible with the formation of the QGP matter have experimentally been observed in heavy-ion (such as Au or Pb) collisions at ultra-relativistic energies. Recently, experimental data of proton-proton (pp) collisions at the CERN Large Hadron Collider (LHC) have also shown signals resembling those of the QGP formation, which made these studies quite stimulating as to how the collision of small systems features in producing the early universe signals. In this article, we report on some of the compelling experimental results and give an account of the present understanding. We review the pp physics program at the LHC and discuss future prospects in the context of exploring the nature of the primordial matter in the early universe.


title: NOMA Computation Over Multi-Access Channels for Multimodal Sensing

abstract: An improved mean squared error (MSE) minimization solution based on eigenvector decomposition approach is conceived for wideband non-orthogonal multiple-access based computation over multi-access channel (NOMA-CoMAC) framework. This work aims at further developing NOMA-CoMAC for next-generation multimodal sensor networks, where a multimodal sensor monitors several environmental parameters such as temperature, pollution, humidity, or pressure. We demonstrate that our proposed scheme achieves an MSE value approximately 0.7 lower at E_b/N_o = 1 dB in comparison to that for the average sum-channel based method. Moreover, the MSE performance gain of our proposed solution increases even more for larger values of subcarriers and sensor nodes due to the benefit of the diversity gain. This, in return, suggests that our proposed scheme is eminently suitable for multimodal sensor networks.


title: Low-Density Spreading Design Based on an Algebraic Scheme for NOMA Systems

abstract: NOMA) technique based on an algebraic design is studied. We propose an improved low-density spreading (LDS) sequence design based on projective geometry. In terms of its bit error rate (BER) performance, our proposed improved LDS code set outperforms the existing LDS designs over the frequency nonselective Rayleigh fading and additive white Gaussian noise (AWGN) channels. We demonstrated that achieving the best BER depends on the minimum distance.


title: Some connections between higher moments portfolio optimization methods

abstract: In this paper, different approaches to portfolio optimization having higher moments such as skewness and kurtosis are classified so that the reader can observe different paradigms and approaches in this field of research which is essential for practitioners in Hedge Funds in particular. Several methods based on different paradigms such as utility approach and multi-objective optimization are reviewed and the advantage and disadvantageous of these ideas are explained. Keywords: multi-objective optimization, portfolio optimization, scalarization, utility


title: Learning Free Gait Transition for Quadruped Robots via Phase-Guided Controller

abstract: Gaits and transitions are key components in legged locomotion. For legged robots, describing and reproducing gaits as well as transitions remain longstanding challenges. Reinforcement learning has become a powerful tool to formulate controllers for legged robots. Learning multiple gaits and transitions, nevertheless, is related to the multi-task learning problems. In this work, we present a novel framework for training a simple control policy for a quadruped robot to locomote in various gaits. Four independent phases are used as the interface between the gait generator and the control policy, which characterizes the movement of four feet. Guided by the phases, the quadruped robot is able to locomote according to the generated gaits, such as walk, trot, pacing and bounding, and to make transitions among those gaits. More general phases can be used to generate complex gaits, such as mixed rhythmic dancing. With the control policy, the Black Panther robot, a medium-dog-sized quadruped robot, can perform all learned motor skills while following the velocity commands smoothly and robustly in natural environment.


title: AutoDES: AutoML Pipeline Generation of Classification with Dynamic Ensemble Strategy Selection

abstract: Automating machine learning has achieved remarkable technological developments in recent years, and building an automated machine learning pipeline is now an essential task. The model ensemble is the technique of combining multiple models to get a better and more robust model. However, existing automated machine learning tends to be simplistic in handling the model ensemble, where the ensemble strategy is fixed, such as stacked generalization. There have been many techniques on different ensemble methods, especially ensemble selection, and the fixed ensemble strategy limits the upper limit of the model's performance. In this article, we present a novel framework for automated machine learning. Our framework incorporates advances in dynamic ensemble selection, and to our best knowledge, our approach is the first in the field of AutoML to search and optimize ensemble strategies. In the comparison experiments, our method outperforms the state-of-the-art automated machine learning frameworks with the same CPU time in 42 classification datasets from the OpenML platform. Ablation experiments on our framework validate the effectiveness of our proposed method.


title: Lagrangian fillings for Legendrian links of finite or affine Dynkin type

abstract: We prove that there are at least as many exact embedded Lagrangian fillings as seeds for Legendrian links of finite type $\mathsf{ADE}$ or affine type $\tilde{\mathsf{D}} \tilde{\mathsf{E}}$. We also provide as many Lagrangian fillings with rotational symmetry as seeds of type $\mathsf{B}$, $\mathsf{G}_2$, $\tilde{\mathsf{G}}_2$, $\tilde{\mathsf{B}}$, or $\tilde{\mathsf{C}}_2$, and with conjugation symmetry as seeds of type $\mathsf{F}_4$, $\mathsf{C}$, $\mathsf{E}_6^{(2)}$, $\tilde{\mathsf{F}}_4$, or $\mathsf{A}_5^{(2)}$. These families are the first known Legendrian links with (infinitely many) exact Lagrangian fillings (with symmetry) that exhaust all seeds in the corresponding cluster structures beyond type $\mathsf{A} \mathsf{D}$. Furthermore, we show that the $N$-graph realization of (twice of) Coxeter mutation of type $\tilde{\mathsf{D}} \tilde{\mathsf{E}}$ corresponds to a Legendrian loop of the corresponding Legendrian links. Especially, the loop of type $\tilde{\mathsf{D}}$ coincides with the one considered by Casals and Ng.


title: Cobordism invariants for knots with two indices

abstract: We construct an invariant of virtual knots which is a sliceness obstruction and sensitive to the $\Delta$-move. This invariants works if $\Z_{2}\oplus \Z_{2}$-index of chords is present.


title: Ferroelectricity in $\mathrm{HfO_2}$ from a chemical perspective

abstract: Ferroelectricity observed in thin film $\mathrm{HfO_2}$, either doped with Si, Al, etc. or in the $\mathrm{Hf_{0.5}Zr_{0.5}O_2}$ form, has gained great technical significance. However, the soft mode theory faces a difficulty in explaining the origin of such ferroelectricity. In this work, we propose that the 7 cation coordination number of $\mathrm{HfO_2/ZrO_2}$ lies at the heart of this ferroelectricity, which stems from the proper ionic radii of Hf/Zr compared with O. Among the numerous compounds with non-centrosymmetric nature, e.g., $mm2$ point group, $\mathrm{HfO_2}$ and $\mathrm{ZrO_2}$ are special in that they are close to the border of 7 and 8 cation coordination, such that the 8-coordination tetragonal intermediate phase could greatly reduce the switching barrier. Other 7-coordination candidates, including $\mathrm{SrI_2}$, TaON, YSBr and YOF are also studied in comparison to $\mathrm{HfO_2}$/$\mathrm{ZrO_2}$, and six switching paths are analyzed in detail for the $Pca2_1$ phase. A rule of preferred switching path in terms of ionic radii ratio and coordination number has been established. We also show the possible route from ferroelectric $Pca2_1$ phase to monoclinic $P2_1/c$ phase in $\mathrm{HfO_2}$, which is relevant to the fatigue phenomenon.


title: Temperature Effect on Charge-state Transition Levels of Defects in Semiconductors

abstract: Defects are crucial in determining the overall physical properties of semiconductors. Generally, the charge-state transition level (TEL), one of the key physical quantities that determines the dopability of defects in semiconductors, is temperature dependent. However, little is known about the temperature dependence of TEL, and, as a result, almost all existing defect theories in semiconductors are built on a temperature-independent approximation. In this article, by deriving the basic formulas for temperature-dependent TEL, we have established two fundamental rules for the temperature dependence of TEL in semiconductors. Based on these rules, surprisingly, it is found that the temperature dependences of TEL for different defects are rather diverse: it can become shallower, deeper, or stay unchanged. This defect-specific behavior is mainly determined by the synergistic or opposing effects between free energy corrections (determined by the local volume change around the defect during a charge-state transition) and band edge changes (which differ for different semiconductors). These basic formulas and rules, confirmed by a large number of state-of-the-art temperature-dependent defect calculations in GaN, may potentially be widely adopted as guidelines for understanding or optimizing doping behaviors in semiconductors at finite temperatures.


title: The Impact of Nitrogen Doping on Structural and Electronic Properties of Titanium Sesquioxide, Ti 2 O 3 : An ab-initio Study

abstract: Titanium-based oxides are abundant, chemically stable, non-toxic, and highly versatile materials, with applications ranging from photovoltaics to catalysis. For rutile and anatase phases of Titanium dioxide (TiO2), the bandgap ranges from 3.0-3.2 eV, which are too large to absorb in the visible range (400 nm - 700 nm), resulting in poor photo-catalytic efficiency. Nitrogen doping into TiO2 has been able to narrow its bandgap, forming an absorption tail in the visible-light region. However, TiO2 has limits to which it can be doped, suggesting investigations of the oxygen-deficient Ti203. Using the state-of-the-art Density Functional Theory (DFT) as implemented in the Quantum ESPRESSO package, we report on the structural and electronic properties of corundum-type Ti2N20 (an example TinN2O2n-3 compound with n=2). The most stable sample of the oxynitride (Ti2N2O-P1), has a bandgap of 2.2 eV, which is clearly near the middle of the visible light part of the electromagnetic spectrum, and has no in-gap states, suggesting that they are more efficient visible-light-driven materials for photocatalytic applications compared to TiO2, TiO2: N and Ti2O3.


title: Resilience and inequality growth monitoring after disaster using indicators based on energy production

abstract: The estimation of resilience and the determination of inequality growth after a disaster is often difficult. In this study, specific indicators were developed to analyze resilience, and the trajectories of resilience were compared. Energy production is relevant for describing variations in social and economic activities. This indicator was applied to a case study of a natural disaster, that is Hurricane Irma in 2017. The hurricane caused fatalities and destruction in the Caribbean islands of Saint Martin and Saint Barthelemy, which are two French overseas territories. Energy production after Hurricane Irma exhibited a significant decrease due to the destruction of the electricity network as well as perturbations in economic and social activities. The energy production restoration rate was higher in Saint Barthelemy than in Saint Martin. The electricity restoration rate after a disaster was almost constant. However, the energy production 18 months after Hurricane Irma was identical to that before Hurricane Irma in Saint Barthelemy; this was not the case in Saint Martin. During resilience, an increase in the gap between energy production in Saint Barthelemy and Saint Martin was observed. This study indicated that this gap represents an inequality growth between Saint Barthelemy (gross domestic product (GDP) of 40 000 euros/inhabitant) and Saint Martin (GDP of 16 600 euros/inhabitant). The indicators emphasized that inequality growth after natural disasters favors less vulnerable and more resilient territories. The number of inhabitants must be considered during indicator construction to avoid any bias.


title: Temperature Analysis of Flaring (AR11283) and non-Flaring (AR12194) Coronal Loops

abstract: Here, we study the temperature structure of flaring and non-flaring coronal loops, using extracted loops from images taken in six extreme ultraviolet (EUV) channels recorded by Atmospheric Imaging Assembly (AIA)/ Solar Dynamic Observatory (SDO). We use data for loops of X2.1-class-flaring active region (AR11283) during 22:10UT till 23:00UT, on 2011, September 6; and non-flaring active region (AR12194) during 08:00:00UT till 09:00:00UT on 2014, October 26. By using spatially-synthesized Gaussian DEM forward-fitting method, we calculate the peak temperatures for each strip of the loops. We apply the Lomb-Scargle method to compute the oscillations periods for the temperature series of each strip. The periods of the temperature oscillations for the flaring loops are ranged from 7 min to 28.4 min. These temperature oscillations show very close behavior to the slow-mode oscillation. We observe that the temperature oscillations in the flaring loops are started at least around 10 minutes before the transverse oscillations and continue for a long time duration even after the transverse oscillations are ended. The temperature amplitudes are increased at the flaring time (during 20 min) in the flaring loops. The periods of the temperatures obtained for the non-flaring loops are ranged from 8.5 min to 30 min, but their significances are less (below 0.5) in comparison with the flaring ones (near to one). Hence the detected temperature periods for the non-flaring loops' strips are less probable in comparison with the flaring ones, and maybe they are just fluctuations. Based on our confined observations, it seems that the flaring loops' periods show more diversity and their temperatures have wider ranges of variation than the non-flaring ones. More accurate commentary in this respect requires more extensive statistical research and broader observations.


title: On the Parity of the Generalized Frobenius Partition Functions $\phi_k(n)$

abstract: In his 1984 Memoir of the American Mathematical Society, George Andrews defined two families of functions, $\phi_k(n)$ and $c\phi_k(n),$ which enumerate two types of combinatorial objects which Andrews called generalized Frobenius partitions. As part of that Memoir, Andrews proved a number of Ramanujan--like congruences satisfied by specific functions within these two families. In the years that followed, numerous other authors proved similar results for these functions, often with a view towards a specific choice of the parameter $k.$ In this brief note, our goal is to identify an {\bf infinite} family of values of $k$ such that $\phi_k(n)$ is even for all $n$ in a specific arithmetic progression; in particular, our primary goal in this work is to prove that, for all positive integers $\ell,$ all primes $p\geq 5,$ and all values $r,$ $0 < r < p,$ such that $24r+1$ is a quadratic nonresidue modulo $p,$ $$ \phi_{p\ell-1}(pn+r) \equiv 0 \pmod{2} $$ for all $n\geq 0.$ Our proof of this result is truly elementary, relying on a lemma from Andrews' Memoir, classical $q$--series results, and elementary generating function manipulations. Such a result, which holds for infinitely many values of $k,$ is rare in the study of arithmetic properties satisfied by generalized Frobenius partitions, primarily because of the unwieldy nature of the generating functions in question.


title: The Pomeron -- A Bootstrap Story

abstract: In a contribution to the volume {\it A Passion for Physics}, a collection of essays in honor of Geoffrey Chew's sixtieth birthday, I wrote, together with A. Capella, Uday Sukhatme, and Tran Thanh Van {\it The Pomeron Story.} This is a follow-up to that contribution. This sequel also serves as an opportunity to acknowledge my gratitude to Geoff as a PhD student under his tutelage.


title: Deep Nonparametric Estimation of Operators between Infinite Dimensional Spaces

abstract: Learning operators between infinitely dimensional spaces is an important learning task arising in wide applications in machine learning, imaging science, mathematical modeling and simulations, etc. This paper studies the nonparametric estimation of Lipschitz operators using deep neural networks. Non-asymptotic upper bounds are derived for the generalization error of the empirical risk minimizer over a properly chosen network class. Under the assumption that the target operator exhibits a low dimensional structure, our error bounds decay as the training sample size increases, with an attractive fast rate depending on the intrinsic dimension in our estimation. Our assumptions cover most scenarios in real applications and our results give rise to fast rates by exploiting low dimensional structures of data in operator estimation. We also investigate the influence of network structures (e.g., network width, depth, and sparsity) on the generalization error of the neural network estimator and propose a general suggestion on the choice of network structures to maximize the learning efficiency quantitatively.


title: On the Carbon Dioxide Capture by Quaternary Ammonium-Based and Phosphonium-Based Ionic Liquids. The Role of Steric Hindrances and Transition States

abstract: Global warming is seen as a drastic environmental problem nowadays. Carbon dioxide (CO 2 ) concentration in the Earth's atmosphere is linked to the average temperature on the surface of the planet. Carbon capture and storage is an important technological endeavor aiming to improve the ecology. The present work investigates reaction paths that are responsible for CO 2 chemisorption by the ammonium- and phosphonium-based ionic liquids containing an aprotic heterocyclic anion 2-cyanopyrrolidine. We show that two moles of CO 2 per one mole of the gas scavenger can be theoretically fixed by such ionic liquids. Both the cation and anion participate in the chemisorption. The corresponding standard enthalpies are moderately negative. The barriers of all reactions involving the phosphonium-based cation are relatively small and favor practical applications of the considered sorbents. The performance of the ammonium-based cation is less favorable due to the inherent instability of the tetraalkylammonium ylide. The role is phosphonium ylide in the mechanism of the reaction is carefully characterized. The reported results foster a fundamental understanding of the outstanding CO 2 sorption performance of the quaternary ammonium and phosphonium-based 2-cyanopyrrolidines.


title: On the Correlation Functions of the Characteristic Polynomials of Random Matrices with Independent Entries: Interpolation Between Complex and Real Cases

abstract: The paper is concerned with the correlation functions of the characteristic polynomials of random matrices with independent complex entries. We investigate how the asymptotic behavior of the correlation functions depends on the second moment of the common probability law of the matrix entries, a sort of ``reality measure'' of the entries. It is shown that the correlation functions behave like that for the Complex Ginibre Ensemble up to a factor depending only on the second moment and the fourth absolute moment of the common probability law of the matrix entries.


title: Turath-150K: Image Database of Arab Heritage

abstract: Large-scale image databases remain largely biased towards objects and activities encountered in a select few cultures. This absence of culturally-diverse images, which we refer to as the hidden tail, limits the applicability of pre-trained neural networks and inadvertently excludes researchers from under-represented regions. To begin remedying this issue, we curate Turath-150K, a database of images of the Arab world that reflect objects, activities, and scenarios commonly found there. In the process, we introduce three benchmark databases, Turath Standard, Art, and UNESCO, specialised subsets of the Turath dataset. After demonstrating the limitations of existing networks pre-trained on ImageNet when deployed on such benchmarks, we train and evaluate several networks on the task of image classification. As a consequence of Turath, we hope to engage machine learning researchers in under-represented regions, and to inspire the release of additional culture-focused databases. The database can be accessed here: danikiyasseh.github.io/Turath.


title: Event structure semantics for multiparty sessions

abstract: We propose an interpretation of multiparty sessions as "flow event structures", which allows concurrency between communications within a session to be explicitly represented. We show that this interpretation is equivalent, when the multiparty sessions can be described by global types, to an interpretation of global types as "prime event structures".


title: Multi-fidelity Bayesian experimental design to quantify extreme-event statistics

abstract: In this work, we develop a multi-fidelity Bayesian experimental design framework to efficiently quantify the extreme-event statistics of an input-to-response (ItR) system with given input probability and expensive function evaluations. The key idea here is to leverage low-fidelity samples whose responses can be computed with a cost of a certain fraction of that for high-fidelity samples, in an optimized configuration to reduce the total computational cost. To accomplish this goal, we employ a multi-fidelity Gaussian process as the surrogate model of the ItR function, and develop a new acquisition based on which the optimized next sample can be selected in terms of its location in the sample space and the fidelity level. In addition, we develop an inexpensive analytical evaluation of the acquisition and its derivative, avoiding numerical integrations that are prohibitive for high-dimensional problems. The new method is tested in a bi-fidelity context for a series of synthetic problems with varying dimensions, low-fidelity model accuracy and computational costs. Comparing with the single-fidelity method and the bi-fidelity method with a pre-defined fidelity hierarchy, our method consistently shows the best (or among the best) performance for all the test cases. Finally, we demonstrate the superiority of our method in solving an engineering problem of estimating the extreme ship motion statistics in irregular waves, using computational fluid dynamics (CFD) with two different grid resolutions as the high and low fidelity models.


title: They Still Haven't Told You

abstract: The world's stock markets display a decades-long pattern of overnight and intraday returns seemingly consistent with only one explanation: one or more large, long-lived quant firms tending to expand its portfolio early in the day (when its trading moves prices more) and contract its portfolio later in the day (when its trading moves prices less), losing money on its daily round-trip trades to create mark-to-market gains on its large existing book. In the fourteen years since this extraordinary pattern of overnight and intraday returns was first noted in the literature, no plausible alternative explanation has been advanced. The main question remaining is therefore which of the few firms capable of profitably trading in this manner are guilty of having done so. If any of this is news to you, it is because the people you trust to alert you to such problems still haven't told you.


title: An angular rainbow of light from curved spacetime

abstract: We try to go beyond the geometrical optics approximation, by showing that a massless polarized particle allows a wide class of non minimal interactions with an arbitrary gravitational field. One specific example of a curvature-dependent interaction is presented, that results in a frequency-dependent Faraday effect. Even in a Schwarzschild spacetime, this leads to the angular dispersion of polarization planes for a linearly-polarized beam of waves with different frequencies, propagating along the same ray.


title: Neural networks based on ultrafast time-delayed effects in exciton-polaritons

abstract: We demonstrate that time-delayed nonlinear effects in exciton-polaritons can be used to construct neural networks where information is coded in optical pulses arriving consecutively on the sample. The highly nonlinear effects are induced by time-dependent interactions with the excitonic reservoir. These nonlinearities allow to create a nonlinear XOR logic gate that can perform operations on the picosecond timescale. An optoelectronic neural network based on the constructed logic gate performs classification of spoken digits with a high accuracy rate.


title: Simplicial Quantum Gravity

abstract: Simplicial approximation and the ideas associated with the Regge calculus.provide a concrete way of implementing a sum over histories formulation ofquantum gravity. A four-dimensional simplicial geometry is made up of flat four-simplices joined together.A sum over simplicial geometries is a sum over thedifferent ways the simplices can be joined together with an integral over their edge lengths.Theconstruction of the simplicial Euclidean action for this approach to quantum general relativity is illustrated. The recovery of the diffeomorphism group in the continuum limit is discussed. Some possible classes of simplicial complexes with which to define a sum over topologies are described.


title: Deep Learning Applications for Lung Cancer Diagnosis: A systematic review

abstract: Lung cancer has been one of the most prevalent disease in recent years. According to the research of this field, more than 200,000 cases are identified each year in the US. Uncontrolled multiplication and growth of the lung cells result in malignant tumour formation. Recently, deep learning algorithms, especially Convolutional Neural Networks (CNN), have become a superior way to automatically diagnose disease. The purpose of this article is to review different models that lead to different accuracy and sensitivity in the diagnosis of early-stage lung cancer and to help physicians and researchers in this field. The main purpose of this work is to identify the challenges that exist in lung cancer based on deep learning. The survey is systematically written that combines regular mapping and literature review to review 32 conference and journal articles in the field from 2016 to 2021. After analysing and reviewing the articles, the questions raised in the articles are being answered. This research is superior to other review articles in this field due to the complete review of relevant articles and systematic write up.


title: The Complexity of Dynamic Least-Squares Regression

abstract: We settle the complexity of dynamic least-squares regression (LSR), where rows and labels $(\mathbf{A}^{(t)}, \mathbf{b}^{(t)})$ can be adaptively inserted and/or deleted, and the goal is to efficiently maintain an $\epsilon$-approximate solution to $\min_{\mathbf{x}^{(t)}} \| \mathbf{A}^{(t)} \mathbf{x}^{(t)} - \mathbf{b}^{(t)} \|_2$ for all $t\in [T]$. We prove sharp separations ($d^{2-o(1)}$ vs. $\sim d$) between the amortized update time of: (i) Fully vs. Partially dynamic $0.01$-LSR; (ii) High vs. low-accuracy LSR in the partially-dynamic (insertion-only) setting. Our lower bounds follow from a gap-amplification reduction -- reminiscent of iterative refinement -- rom the exact version of the Online Matrix Vector Conjecture (OMv) [HKNS15], to constant approximate OMv over the reals, where the $i$-th online product $\mathbf{H}\mathbf{v}^{(i)}$ only needs to be computed to $0.1$-relative error. All previous fine-grained reductions from OMv to its approximate versions only show hardness for inverse polynomial approximation $\epsilon = n^{-\omega(1)}$ (additive or multiplicative) . This result is of independent interest in fine-grained complexity and for the investigation of the OMv Conjecture, which is still widely open.


title: Understanding Energy Efficiency and Interference Tolerance in Millimeter Wave Receivers

abstract: Power consumption is a key challenge in millimeter wave (mmWave) receiver front-ends, due to the need to support high dimensional antenna arrays at wide bandwidths. Recently, there has been considerable work in developing low-power front-ends, often based on low-resolution ADCs and low-power mixers. A critical but less studied consequence of such designs is the relatively low-dynamic range which in turn exposes the receiver to adjacent carrier interference and blockers. This paper provides a general mathematical framework for analyzing the performance of mmWave front-ends in the presence of out-of-band interference. The goal is to elucidate the fundamental trade-off of power consumption, interference tolerance and in-band performance. The analysis is combined with detailed network simulations in cellular systems with multiple carriers, as well as detailed circuit simulations of key components at 140 GHz. The analysis reveals critical bottlenecks for low-power interference robustness and suggests designs enhancements for use in practical systems.


title: Recover the spectrum of covariance matrix: a non-asymptotic iterative method

abstract: It is well known the sample covariance has a consistent bias in the spectrum, for example spectrum of Wishart matrix follows the Marchenko-Pastur law. We in this work introduce an iterative algorithm 'Concent' that actively eliminate this bias and recover the true spectrum for small and moderate dimensions.


title: An automatized Identity and Access Management system for IoT combining Self-Sovereign Identity and smart contracts

abstract: Nowadays, open standards for self-sovereign identity and access management enable portable solutions that are following the requirements of IoT systems. This paper proposes a blockchain-based identity and access management system for IoT -- specifically smart vehicles -- as an example of use-case, showing two interoperable blockchains, Ethereum and Hyperledger Indy, and a self-sovereign identity model.


title: Towards Robust Graph Neural Networks for Noisy Graphs with Sparse Labels

abstract: Graph Neural Networks (GNNs) have shown their great ability in modeling graph structured data. However, real-world graphs usually contain structure noises and have limited labeled nodes. The performance of GNNs would drop significantly when trained on such graphs, which hinders the adoption of GNNs on many applications. Thus, it is important to develop noise-resistant GNNs with limited labeled nodes. However, the work on this is rather limited. Therefore, we study a novel problem of developing robust GNNs on noisy graphs with limited labeled nodes. Our analysis shows that both the noisy edges and limited labeled nodes could harm the message-passing mechanism of GNNs. To mitigate these issues, we propose a novel framework which adopts the noisy edges as supervision to learn a denoised and dense graph, which can down-weight or eliminate noisy edges and facilitate message passing of GNNs to alleviate the issue of limited labeled nodes. The generated edges are further used to regularize the predictions of unlabeled nodes with label smoothness to better train GNNs. Experimental results on real-world datasets demonstrate the robustness of the proposed framework on noisy graphs with limited labeled nodes.


title: A new criterion for $\mathcal{M}, \mathcal{N}$-adhesivity, with an application to hierarchical graphs

abstract: Adhesive categories provide an abstract framework for the algebraic approach to rewriting theory, where many general results can be recast and uniformly proved. However, checking that a model satisfies the adhesivity properties is sometimes far from immediate. In this paper we present a new criterion giving a sufficient condition for $\mathcal{M}, \mathcal{N}$-adhesivity, a generalisation of the original notion of adhesivity. We apply it to several existing categories, and in particular to hierarchical graphs, a formalism that is notoriously difficult to fit in the mould of algebraic approaches to rewriting and for which various alternative definitions float around.


title: Asymptotic Experiments with Data Structures: Bipartite Graph Matchings and Covers

abstract: We consider instances of bipartite graphs and a number of asymptotic performance experiments in three projects: (1) top movie lists, given databases of movies and viewers, (2) maximum matchings, and (3) minimum set covers. Experiments are designed to measure the asymptotic runtime performance of abstract data types (ADTs) in three programming languages: Java, R, and C++. The outcomes of these experiments may be surprising. In project (1), the best ADT in R consistently outperforms all ADTs in public domain Java libraries, including the library from Google. The largest movie list has $2^{20}$ titles. In project (2), the Ford-Fulkerson algorithm implementation in R significantly outperforms Java. The hardest instance has 88452 rows and 729 columns. In project (3), a stochastic version of a greedy algorithm in R can significantly outperform a state-of-the-art stochastic solver in C++ on instances with $num\_rows \ge 300$ and $num\_columns \ge 3000$.


title: Simulating and Modeling the Risk of Conversational Search

abstract: In conversational search, agents can interact with users by asking clarifying questions to increase their chance to find better results. Many recent works and shared tasks in both NLP and IR communities have focused on identifying the need of asking clarifying questions and methodologies of generating them. These works assume asking clarifying questions is a safe alternative to retrieving results. As existing conversational search models are far from perfect, it's possible and common that they could retrieve or generate bad clarifying questions. Asking too many clarifying questions can also drain user's patience when the user prefers searching efficiency over correctness. Hence, these models can get backfired and harm user's search experience because of these risks by asking clarifying questions. In this work, we propose a simulation framework to simulate the risk of asking questions in conversational search and further revise a risk-aware conversational search model to control the risk. We show the model's robustness and effectiveness through extensive experiments on three conversations datasets, including MSDialog, Ubuntu Dialog Corpus, and Opendialkg in which we compare it with multiple baselines. We show that the risk-control module can work with two different re-ranker models and outperform all the baselines in most of our experiments.


title: Operator Deep Q-Learning: Zero-Shot Reward Transferring in Reinforcement Learning

abstract: Reinforcement learning (RL) has drawn increasing interests in recent years due to its tremendous success in various applications. However, standard RL algorithms can only be applied for single reward function, and cannot adapt to an unseen reward function quickly. In this paper, we advocate a general operator view of reinforcement learning, which enables us to directly approximate the operator that maps from reward function to value function. The benefit of learning the operator is that we can incorporate any new reward function as input and attain its corresponding value function in a zero-shot manner. To approximate this special type of operator, we design a number of novel operator neural network architectures based on its theoretical properties. Our design of operator networks outperform the existing methods and the standard design of general purpose operator network, and we demonstrate the benefit of our operator deep Q-learning framework in several tasks including reward transferring for offline policy evaluation (OPE) and reward transferring for offline policy optimization in a range of tasks.


title: Understanding Public Opinion on Using Hydroxychloroquine for COVID-19 Treatment via Social Media

abstract: Hydroxychloroquine (HCQ) is used to prevent or treat malaria caused by mosquito bites. Recently, the drug has been suggested to treat COVID-19, but that has not been supported by scientific evidence. The information regarding the drug efficacy has flooded social networks, posting potential threats to the community by perverting their perceptions of the drug efficacy. This paper studies the reactions of social network users on the recommendation of using HCQ for COVID-19 treatment by analyzing the reaction patterns and sentiment of the tweets. We collected 164,016 tweets from February to December 2020 and used a text mining approach to identify social reaction patterns and opinion change over time. Our descriptive analysis identified an irregularity of the users' reaction patterns associated tightly with the social and news feeds on the development of HCQ and COVID-19 treatment. The study linked the tweets and Google search frequencies to reveal the viewpoints of local communities on the use of HCQ for COVID-19 treatment across different states. Further, our tweet sentiment analysis reveals that public opinion changed significantly over time regarding the recommendation of using HCQ for COVID-19 treatment. The data showed that high support in the early dates but it significantly declined in October. Finally, using the manual classification of 4,850 tweets by humans as our benchmark, our sentiment analysis showed that the Google Cloud Natural Language algorithm outperformed the Valence Aware Dictionary and sEntiment Reasoner in classifying tweets, especially in the sarcastic tweet group.


title: Evolutionary trend of SARS-CoV-2 inferred by the homopolymeric nucleotide repeats

abstract: Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) is the causative agent of the current global COVID-19 pandemic, in which millions of lives have been lost. Understanding the zoonotic evolution of the coronavirus may provide insights for developing effective vaccines, monitoring the transmission trends, and preventing new zoonotic infections. Homopolymeric nucleotide repeats (HP), the most simple tandem repeats, are a ubiquitous feature of eukaryotic genomes. Yet the HP distributions and roles in coronavirus genome evolution are poorly investigated. In this study, we characterize the HP distributions and trends in the genomes of bat and human coronaviruses and SARS-CoV-2 variants. The results show that the SARS-CoV-2 genome is abundant in HPs, and has augmented HP contents during evolution. Especially, the disparity of HP poly-(A/T) and ploy-(C/G) of coronaviruses increases during the evolution in human hosts. The disparity of HP poly-(A/T) and ploy-(C/G) is correlated to host adaptation and the virulence level of the coronaviruses. Therefore, we propose that the HP disparity can be a quantitative measure for the zoonotic evolution levels of coronaviruses. Peculiarly, the HP disparity measure infers that SARS-CoV-2 Omicron variants have a high disparity of HP poly-(A/T) and ploy-(C/G), suggesting a high adaption to the human hosts.


title: SporeAgent: Reinforced Scene-level Plausibility for Object Pose Refinement

abstract: Observational noise, inaccurate segmentation and ambiguity due to symmetry and occlusion lead to inaccurate object pose estimates. While depth- and RGB-based pose refinement approaches increase the accuracy of the resulting pose estimates, they are susceptible to ambiguity in the observation as they consider visual alignment. We propose to leverage the fact that we often observe static, rigid scenes. Thus, the objects therein need to be under physically plausible poses. We show that considering plausibility reduces ambiguity and, in consequence, allows poses to be more accurately predicted in cluttered environments. To this end, we extend a recent RL-based registration approach towards iterative refinement of object poses. Experiments on the LINEMOD and YCB-VIDEO datasets demonstrate the state-of-the-art performance of our depth-based refinement approach.


title: Partial symmetries of iterated plethysms

abstract: This work highlights the existence of partial symmetries in large families of iterated plethystic coefficients. The plethystic coefficients involved come from the expansion in the Schur basis of iterated plethysms of Schur functions indexed by one-row partitions. The partial symmetries are described in terms of an involution on partitions, the flip involution, that generalizes the ubiquitous $\omega$ involution. Schur-positive symmetric functions possessing this partial symmetry are termed flip-symmetric. The operation of taking plethysm with $s_\lambda$ preserves flip-symmetry, provided that $\lambda$ is a partition of two. Explicit formulas for the iterated plethysms $s_2\circ s_b\circ s_a$ and $s_c\circ s_2\circ s_a$, with $a,$ $b,$ and $c$ $\ge$ $2$ allow us to show that these two families of iterated plethysms are flip-symmetric. The article concludes with some observations, remarks, and open questions on the unimodality and asymptotic normality of certain flip-symmetric sequences of iterated plethystic coefficients.


title: Batched Second-Order Adjoint Sensitivity for Reduced Space Methods

abstract: This paper presents an efficient method for extracting the second-order sensitivities from a system of implicit nonlinear equations on upcoming graphical processing units (GPU) dominated computer systems. We design a custom automatic differentiation (AutoDiff) backend that targets highly parallel architectures by extracting the second-order information in batch. When the nonlinear equations are associated to a reduced space optimization problem, we leverage the parallel reverse-mode accumulation in a batched adjoint-adjoint algorithm to compute efficiently the reduced Hessian of the problem. We apply the method to extract the reduced Hessian associated to the balance equations of a power network, and show on the largest instances that a parallel GPU implementation is 30 times faster than a sequential CPU reference based on UMFPACK.


title: Industrial Edge-based Cyber-Physical Systems -- Application Needs and Concerns for Realization

abstract: Industry is moving towards advanced Cyber-Physical Systems (CPS), with trends in smartness, automation, connectivity and collaboration. We examine the drivers and requirements for the use of edge computing in critical industrial applications. Our purpose is to provide a better understanding of industrial needs and to initiate a discussion on what role edge computing could take, complementing current industrial and embedded systems, and the cloud. Four domains are chosen for analysis with representative use-cases; manufacturing, transportation, the energy sector and networked applications in the defense domain. We further discuss challenges, open issues and suggested directions that are needed to pave the way for the use of edge computing in industrial CPS.


title: Education dimensions of MGI: a question of multidisciplinarity, purpose, and equality

abstract: This paper identifies the challenges associated with coordinating the development of new research methodologies and an accelerated pace of new discoveries in materials science with slower-evolving textbooks and curricula. The target audience is the undergraduate to post-graduate educational community, but implications for the K-12 pipeline are also considered. This paper proposes a lab-to-market classroom continuum with the theory-experiment-data intersection as the conceptual and content framework where the MGI is likely to unfold.


title: Design of a rapid transit to Mars mission using laser-thermal propulsion

abstract: The application of directed energy to spacecraft mission design is explored using rapid transit to Mars as the design objective. An Earth-based laser array of unprecedented size (10~m diameter) and power (100~MW) is assumed to be enabled by ongoing developments in photonic laser technology. A phased-array laser of this size and incorporating atmospheric compensation would be able to deliver laser power to spacecraft in cislunar space, where the incident laser is focused into a hydrogen heating chamber via an inflatable reflector. The hydrogen propellant is then exhausted through a nozzle to realize specific impulses of 3000 s. The architecture is shown to be immediately reusable via a burn-back maneuver to return the propulsion unit while still within range of the Earth-based laser. The ability to tolerate much greater laser fluxes enables realizing the combination of high thrust and high specific impulse, making this approach favorable in comparison to laser-electric propulsion and occupying a parameter space similar to gas-core nuclear thermal rockets (without the requisite reactor). The heating chamber and its associated regenerative cooling and propellant handling systems are crucial elements of the design that receive special attention in this study. The astrodynamics and the extreme aerocapture maneuver required at Mars arrival after a 45-day transit are also analyzed in detail. The application of laser-thermal propulsion as an enabling technology for other rapid transit missions in the solar system and beyond is discussed.


title: Extremely strong DLAs at high redshift: Gas cooling and H$_2$ formation

abstract: We present a spectroscopic investigation with VLT/X-shooter of seven candidate extremely strong damped Lyman-$\alpha$ absorption systems (ESDLAs, $N(\text{HI})\ge 5\times 10^{21}$ cm$^{-2}$) observed along quasar sightlines. We confirm the extremely high column densities, albeit slightly (0.1~dex) lower than the original ESDLA definition for four systems. We measured low-ionisation metal abundances and dust extinction for all systems. For two systems we also found strong associated H$_2$ absorption $\log N(\text{H$_2$)[cm$^{-2}$]}=18.16\pm0.03$ and $19.28\pm0.06$ at $z=3.26$ and $2.25$ towards J2205+1021 and J2359+1354, respectively), while for the remaining five we measured conservative upper limits on the H$_2$ column densities of typically $\log N(\text{H$_2$)[cm$^{-2}$]}<17.3$. The increased H$_2$ detection rate ($10-55$% at 68% confidence level) at high HI column density compared to the overall damped Lyman-$\alpha$ population ($\sim 5-10$%) confirms previous works. We find that these seven ESDLAs have similar observed properties as those previously studied towards quasars and gamma-ray burst afterglows, suggesting they probe inner regions of galaxies. We use the abundance of ionised carbon in excited fine-structure level to calculate the cooling rates through the CII $\lambda$158$\mu$m emission, and compare them with the cooling rates from damped Lyman-$\alpha$ systems in the literature. We find that the cooling rates distribution of ESDLAs also presents the same bimodality as previously observed for the general (mostly lower HI column density) damped Lyman-$\alpha$ population.


title: Machine Learning approach to the Floquet--Lindbladian problem

abstract: Similar to its classical version, quantum Markovian evolution can be either time-discrete or time-continuous. Discrete quantum Markovian evolution is usually modeled with completely-positive trace-preserving maps while time-continuous evolution is often specified with superoperators referred to as "Lindbladians". Here we address the following question: Being given a quantum map, can we find a Lindbladian which generates an evolution identical -- when monitored at discrete instances of time -- to the one induced by the map? It was demonstrated that the problem of getting the answer to this question can be reduced to an NP-complete (in the dimension $N$ of the Hilbert space the evolution takes place in) problem. We approach this question from a different perspective by considering a variety of Machine Learning (ML) methods and trying to estimate their potential ability to give the correct answer. Complimentary, we use the performance of different ML methods as a tool to check the hypothesis that the answer to the question is encoded in spectral properties of the so-called Choi matrix, which can be constructed from the given quantum map. As a test bed, we use two single-qubit models for which the answer can be obtained by using the reduction procedure. The outcome of our experiment is that, for a given map, the property of being generated by a time-independent Lindbladian is encoded both in the eigenvalues and the eigenstates of the corresponding Choi matrix.


title: Now is the time to build a national data ecosystem for materials science and chemistry research data

abstract: A call for coordinated action from government, academia, and industry.


title: Transfer RL across Observation Feature Spaces via Model-Based Regularization

abstract: In many reinforcement learning (RL) applications, the observation space is specified by human developers and restricted by physical realizations, and may thus be subject to dramatic changes over time (e.g. increased number of observable features). However, when the observation space changes, the previous policy will likely fail due to the mismatch of input features, and another policy must be trained from scratch, which is inefficient in terms of computation and sample complexity. Following theoretical insights, we propose a novel algorithm which extracts the latent-space dynamics in the source task, and transfers the dynamics model to the target task to use as a model-based regularizer. Our algorithm works for drastic changes of observation space (e.g. from vector-based observation to image-based observation), without any inter-task mapping or any prior knowledge of the target task. Empirical results show that our algorithm significantly improves the efficiency and stability of learning in the target task.