title: THz amplification via a Raman scattering

abstract: A THz light amplifier and the corresponding methods are proposed, based on the Raman interaction between a THz light and visible light lasers. Two lasers, with their frequencies differing by that of a Langmuir wave, counter-propagate inside a background plasma, exciting a rather strong Langmuir wave. The THz light amplification occurs through the non-resonant Raman scattering between the THz light and one of the lasers in the presence of the mentioned Langmuir wave. It is normally the case that the non-resonant scattering does not exchange the energy between E \&M fields but the author demonstrates that it is possible under the pre-exciting Langmuir wave. In the presence of a pre-existing Langmuir wave, the ponderomotive density perturbation between the THz light and the visible-light laser is induced with the phase suitable for transferring the energy from the visible light laser to the THz light. The condition for achieving the favorable phase and the amplification strength, when the condition is met, is estimated as an mathematical formula. The gain is as high as or even higher than 100 per centimeter.


title: Leveraging Hardware-Impaired Out-of-Band Information Through Deep Neural Networks for Robust Wireless Device Classification

abstract: Wireless device classification techniques play a key role in promoting emerging wireless applications such as allowing spectrum regulatory agencies to enforce their access policies and enabling network administrators to control access and prevent impersonation attacks to their wireless networks. Leveraging spectrum distortions of transmitted RF signals, caused by transceiver hardware impairments created during manufacture and assembly stages, to provide device classification has been the focus of many recent works. These prior works essentially apply deep learning to extract features of the devices from their hardware-impaired signals and rely on feature variations across the devices to distinguish devices from one another. As technology advances, the manufacturing impairment variations across devices are becoming extremely insignificant, making these prior classification approaches inaccurate. This paper proposes a novel, deep learning-based technique that provides scalable and highly accurate classification of wireless devices, even when the devices exhibit insignificant variation across their hardware impairments and have the same hardware, protocol, and software configurations. The novelty of the proposed technique lies in leveraging both the {\em in-band} and {\em out-of-band} signal distortion information by oversampling the captured signals at the receiver and feeding IQ samples collected from the RF signals to a deep neural network for classification. Using a convolutional neural network (CNN) model, we show that our proposed technique, when applied to high-end, high-performance devices with minimally distorted hardware, doubles the device classification accuracy when compared to existing approaches.


title: Kernel Operations on the GPU, with Autodiff, without Memory Overflows

abstract: The KeOps library provides a fast and memory-efficient GPU support for tensors whose entries are given by a mathematical formula, such as kernel and distance matrices. KeOps alleviates the major bottleneck of tensor-centric libraries for kernel and geometric applications: memory consumption. It also supports automatic differentiation and outperforms standard GPU baselines, including PyTorch CUDA tensors or the Halide and TVM libraries. KeOps combines optimized C++/CUDA schemes with binders for high-level languages: Python (Numpy and PyTorch), Matlab and GNU R. As a result, high-level "quadratic" codes can now scale up to large data sets with millions of samples processed in seconds. KeOps brings graphics-like performances for kernel methods and is freely available on standard repositories (PyPi, CRAN). To showcase its versatility, we provide tutorials in a wide range of settings online at \url{www.kernel-operations.io}.


title: The Weighted Euler Curve Transform for Shape and Image Analysis

abstract: The Euler Curve Transform (ECT) of Turner et al.\ is a complete invariant of an embedded simplicial complex, which is amenable to statistical analysis. We generalize the ECT to provide a similarly convenient representation for weighted simplicial complexes, objects which arise naturally, for example, in certain medical imaging applications. We leverage work of Ghrist et al.\ on Euler integral calculus to prove that this invariant---dubbed the Weighted Euler Curve Transform (WECT)---is also complete. We explain how to transform a segmented region of interest in a grayscale image into a weighted simplicial complex and then into a WECT representation. This WECT representation is applied to study Glioblastoma Multiforme brain tumor shape and texture data. We show that the WECT representation is effective at clustering tumors based on qualitative shape and texture features and that this clustering correlates with patient survival time.


title: Semimetals for high performance photodetection

abstract: Semimetals are being explored for their unique advantages in low-energy high-speed photodetection, although they suffer from serious drawbacks such as an intrinsically high dark current. In this perspective, we envision the exploitation of topological effects in the photoresponse of these materials as a promising route to circumvent these problems. We overview recent studies on photodetection based on graphene and other semimetals, and further discuss the exciting opportunities created by the topological effects, along with the additional requirements that they impose on photodetector designs.

categories: physics.app-ph cond-mat.mes-hall cond-mat.mtrl-sci quant-ph


title: Electronic Transport through DNA Nucleotides in a BC$_3$ Nanogap for Rapid DNA Sequencing

abstract: Recently solid state nanopores nanogaps have generated a lot of interest in ultrafast DNA sequencing. However, there are challenges to slow down the DNA translocation process to achieve a single nucleobase resolution. A series of computational tools have been used in an attempt to study the DNA translocations in several model systems. The prospect of finding an efficient nanoelectrode for such human genome sequencing might offer an entirely innovative way of preventive health care. Here, we have studied the performance of a boron carbide BC$_3$ based nanogap setup for DNA sequencing using the density functional theory and non equilibrium Greens function-based methods. The electric current variations under different applied bias voltages are found to be significant due to changes in the nucleotides orientation and lateral position and can even outperform graphene. Computed relatively lower interaction energy for BC$_3$ electrodes compared to graphene electrodes indicates that BC$_3$ is a better nanoelectrode for DNA sequencing. From our results, we have found that the unique identification of all four nucleotides possible in the 0.3 to 0.4 V bias region. Furthermore, each of the four nucleotides exhibits around one order of current difference, which makes it possible to identify all four nucleotides uniquely. Thus, we believe that BC$_3$ based nanoelectrodes may be utilized toward the development of a practical nanodevice for DNA sequencing.


title: Privacy at Scale: Introducing the PrivaSeer Corpus of Web Privacy Policies

abstract: Organisations disclose their privacy practices by posting privacy policies on their website. Even though users often care about their digital privacy, they often don't read privacy policies since they require a significant investment in time and effort. Although natural language processing can help in privacy policy understanding, there has been a lack of large scale privacy policy corpora that could be used to analyse, understand, and simplify privacy policies. Thus, we create PrivaSeer, a corpus of over one million English language website privacy policies, which is significantly larger than any previously available corpus. We design a corpus creation pipeline which consists of crawling the web followed by filtering documents using language detection, document classification, duplicate and near-duplication removal, and content extraction. We investigate the composition of the corpus and show results from readability tests, document similarity, keyphrase extraction, and explored the corpus through topic modeling.


title: Robust and Fast Holonomic Quantum Gates with Encoding on Superconducting Circuits

abstract: High-fidelity and robust quantum manipulation is the key for scalable quantum computation. Therefore, due to the intrinsic operational robustness, quantum manipulation induced by geometric phases is one of the promising candidates. However, the longer gate time for geometric operations and more physical-implementation difficulties hinder its practical and wide applications. Here, we propose a simplified implementation of universal holonomic quantum gates on superconducting circuits with experimentally demonstrated techniques, which can remove the two main challenges by introducing the time-optimal control into the construction of quantum gates. Remarkably, our scheme is also based on a decoherence-free subspace encoding, with minimal physical qubit resource, which can further immune to error caused by qubit-frequency drift, which is regarded as the main error source for large scale superconducting circuits. Meanwhile, we deliberately design the quantum evolution to eliminate gate error caused by unwanted leakage sources. Therefore, our scheme is more robust than the conventional ones, and thus provides a promising alternative strategy for scalable fault-tolerant quantum computation.


title: Towards High Throughput Large Area Metalens Fabrication using UV-Nanoimprint lithography and Bosch Deep Reactive Ion Etching

abstract: We demonstrate the fabrication of diffraction-limited dielectric metasurface lenses for NIR by use of standard industrial high throughput silicon processing techniques: UV Nano Imprint Lithography (UV-NIL) combined with continuous Reactive Ion Etching (RIE) and pulsed Bosch Deep Reactive Ion Etching (DRIE). As the research field of metasurfaces moves towards applications these techniques are relevant as potential replacements of commonly used cost-intensive fabrication methods utilizing Electron Beam Lithography. We show that washboard-type sidewall surface roughness arising from the Bosch DRIE process can be compensated for in the design of the metasurface, without deteriorating lens quality. Particular attention is given to fabrication challenges that must be overcome towards high throughput production of relevance to commercial applications. Lens efficiencies are measured to be 30% and 17% at wavelengths {\lambda} = 1.55$\mu$m and {\lambda} = 1.31$\mu$m, respectively. A number of routes towards process optimization are proposed in relation to encountered challenges.


title: Machine Learning enables Design of On-chip Integrated Silicon T-junctions with footprint of 1.2 $\mu$m x 1.2 $\mu$m

abstract: To date, various optimization algorithms have been employed to design and improve the performance of nanophotonic structures. Here, we propose to utilize a machine-learning algorithm viz. binary-Additive Reinforcement Learning Algorithm (b-ARLA) coupled with finite-difference time-domain (FDTD) simulations to design ultra-compact and efficient on-chip integrated nanophotonic 50:50 beam splitters (T-junctions). Here we present the design of two T-junction splitters each with a footprint of only 1.2 $\mu$m x 1.2 $\mu$m. To the best of our knowledge, these designs are amongst the smallest ever reported till date across either simulations or experiments. The simulated net power transmission efficiency for the first T-junction design is ~ 82% and the second design is ~ 80% $at 4\lambda = 1.55 \mu$m. We envision that the design methodology, as reported herein, would be useful in general for designing any efficient integrated-photonic device for optical communications systems.


title: Age-of-Information with Information Source Diversity in an Energy Harvesting System

abstract: Age of information (AoI) is one of the key performance metrics for Internet of things (IoT) systems. Timely status updates are essential for many IoT applications; however, they are subject to strict constraints related on the available energy and unreliability of underlying information sources. Hence, the scheduling of status updates must be carefully planned to preserve energy, but at the same time, it may happen that when a status update is needed, there is no reliable up-to-date information content to refresh. As a solution to overcome these unpredictabilities, one can employ multiple sources that track the same signal of interest, but with different energy costs and reliabilities, which we call information source diversity. We consider an energy-harvesting monitoring node equipped with a finite-size battery and collecting status updates from multiple heterogeneous information sources. We investigate the policies that minimize the average AoI, and evaluate the role of information source diversity on the system performance. To do so, we formulate the problem as a Markov decision process (MDP). The optimal policy represents the scheduling of actions, such as an update from one of the sources or remaining idle, based on the current energy level and the AoI at the monitoring node. We analyze the structure of the optimal solution for different cost/AoI distribution combinations, and compare the performance of the optimal policy with an aggressive strategy that transmits whenever possible.


title: A geometric model for the module category of a skew-gentle algebra

abstract: In this article, we realize skew-gentle algebras as skew-tiling algebras associated to admissible partial triangulations of punctured marked surfaces. Based on this, we establish a bijection between tagged permissible curves and certain indecomposable modules, interpret the Auslander-Reiten translation via the tagged rotation, and show intersection-dimension formulas. As an application, we classify support $\tau$-tilting modules via maximal collections of non-crossing tagged generalized permissible curves.


title: gBeam-ACO: a greedy and faster variant of Beam-ACO

abstract: Beam-ACO, a modification of the traditional Ant Colony Optimization (ACO) algorithms that incorporates a modified beam search, is one of the most effective ACO algorithms for solving the Traveling Salesman Problem (TSP). Although adding beam search to the ACO heuristic search process is effective, it also increases the amount of work (in terms of partial paths) done by the algorithm at each step. In this work, we introduce a greedy variant of Beam-ACO that uses a greedy path selection heuristic. The exploitation of the greedy path selection is offset by the exploration required in maintaining the beam of paths. This approach has the added benefit of avoiding costly calls to a random number generator and reduces the algorithms internal state, making it simpler to parallelize. Our experiments demonstrate that not only is our greedy Beam-ACO (gBeam-ACO) faster than traditional Beam-ACO, in some cases by an order of magnitude, but it does not sacrifice quality of the found solution, especially on large TSP instances. We also found that our greedy algorithm, which we refer to as gBeam-ACO, was less dependent on hyperparameter settings.


title: The Creation and Detection of Deepfakes: A Survey

abstract: Generative deep learning algorithms have progressed to a point where it is difficult to tell the difference between what is real and what is fake. In 2018, it was discovered how easy it is to use this technology for unethical and malicious applications, such as the spread of misinformation, impersonation of political leaders, and the defamation of innocent individuals. Since then, these `deepfakes' have advanced significantly. In this paper, we explore the creation and detection of deepfakes and provide an in-depth view of how these architectures work. The purpose of this survey is to provide the reader with a deeper understanding of (1) how deepfakes are created and detected, (2) the current trends and advancements in this domain, (3) the shortcomings of the current defense solutions, and (4) the areas which require further research and attention.


title: FCP Delta extensions of rings

abstract: We consider ring extensions whose set of all subextensions is stable under the formation of sums, the so-called Delta extensions and exhibit new examples of these extensions.


title: A topological model of composite preons from the minimal ideals of two Clifford algebras

abstract: We demonstrate a direct correspondence between the basis states of the minimal ideals of the complex Clifford algebras $\mathbb{C}\ell(6)$ and $\mathbb{C}\ell(4)$, shown earlier to transform as a single generation of leptons and quarks under the Standard Model's unbroken $SU(3)_c\times U(1)_{em}$ and $SU(2)_L$ gauge symmetries respectively, and a simple topologically-based toy model in which leptons, quarks, and gauge bosons are represented as elements of the braid group $B_3$. It was previously shown that mapping the basis states of the minimal left ideals of $\mathbb{C}\ell(6)$ to specific braids replicates precisely the simple topological structure describing electrocolor symmetries in an existing topological preon model. This paper extends these results to incorporate the chiral weak symmetry by including a $\mathbb{C}\ell(4)$ algebra, and identifying the basis states of the minimal right ideals with simple braids. The braids corresponding to the charged vector bosons are determined, and it is demonstrated that weak interactions can be described via the composition of braids.


title: Conditioned Variational Autoencoder for top-N item recommendation

abstract: In this paper, we propose a Conditioned Variational Autoencoder (C-VAE) for constrained top-N item recommendation where the recommended items must satisfy a given condition. The proposed model architecture is similar to a standard VAE in which the condition vector is fed into the encoder. The constrained ranking is learned during training thanks to a new reconstruction loss that takes the input condition into account. We show that our model generalizes the state-of-the-art Mult-VAE collaborative filtering model. Moreover, we provide insights on what C-VAE learns in the latent space, providing a human-friendly interpretation. Experimental results underline the potential of C-VAE in providing accurate recommendations under constraints. Finally, the performed analyses suggest that C-VAE can be used in other recommendation scenarios, such as context-aware recommendation.


title: DuReader_robust: A Chinese Dataset Towards Evaluating Robustness and Generalization of Machine Reading Comprehension in Real-World Applications

abstract: Machine reading comprehension (MRC) is a crucial task in natural language processing and has achieved remarkable advancements. However, most of the neural MRC models are still far from robust and fail to generalize well in real-world applications. In order to comprehensively verify the robustness and generalization of MRC models, we introduce a real-world Chinese dataset -- DuReader_robust. It is designed to evaluate the MRC models from three aspects: over-sensitivity, over-stability and generalization. Comparing to previous work, the instances in DuReader_robust are natural texts, rather than the altered unnatural texts. It presents the challenges when applying MRC models to real-world applications. The experimental results show that MRC models do not perform well on the challenge test set. Moreover, we analyze the behavior of existing models on the challenge test set, which may provide suggestions for future model development. The dataset and codes are publicly available at https://github.com/baidu/DuReader.


title: Outage Analysis of Cognitive Electric Vehicular Networks over Mixed RF/VLC Channels

abstract: Modern transportation infrastructures are considered as one of the main sources of the greenhouse gases emitted into the atmosphere. This situation requires the decision-making players to enact the mass use of electric vehicles (EVs) which, in turn, highly demand novel secure communication technologies robust to various cyber-attacks. Therefore, in this paper, we propose a novel jamming-robust communication technique for different outdoor cognitive EV-enabled network cases over mixed radio-frequency (RF)/visible light communication (VLC) channels. One EV acts as a relaying node to allow an aggregator to reach the jammed EV and, at the same time, operates in both RF and VLC spectrum bands while satisfying interference constraints imposed by the primary network entities. We derive exact closed-form analytical expressions for the outage probability and also provide their asymptotic analysis while considering various channel state information quality scenarios. Moreover, we quantify the outage reduction achievable by deploying such mixed VLC/RF channels. Finally, analytical and simulation results validate the accuracy of our analysis.


title: Multi-Satellite Multi-User MIMO Precoding: Testbed and Field Trial

abstract: Precoding for multibeam satellite systems with full frequency reuse in a multi-user multiple-input multiple-output (MU-MIMO) downlink scenario is addressed. A testbed is developed to perform an over-the-air field trial of zero forcing precoding for the spatial multiplexing of two separate video streams over two co-located geostationary satellites. Commercial-off-the-shelf DVB-S2x receivers in two single-antenna user terminals (UTs) are operated to successfully decode two independent video streams. To this end, particular attention is paid to a comprehensive assessment of the practical synchronization tasks of a precoding based MU-MIMO system. In particular, carrier frequency recovery and carrier phase synchronization in the most challenging multi-satellite scenario with different oscillators in the payloads is performed. An estimation method for channel state information (CSI), i.e. the complex channel coefficients, is also proposed and implemented. The successful video transmission finally constitutes the first field trial of MU-MIMO precoding and proves the feasibility of precoding concepts for multibeam satellite systems.


title: F2A2: Flexible Fully-decentralized Approximate Actor-critic for Cooperative Multi-agent Reinforcement Learning

abstract: Traditional centralized multi-agent reinforcement learning (MARL) algorithms are sometimes unpractical in complicated applications, due to non-interactivity between agents, curse of dimensionality and computation complexity. Hence, several decentralized MARL algorithms are motivated. However, existing decentralized methods only handle the fully cooperative setting where massive information needs to be transmitted in training. The block coordinate gradient descent scheme they used for successive independent actor and critic steps can simplify the calculation, but it causes serious bias. In this paper, we propose a flexible fully decentralized actor-critic MARL framework, which can combine most of actor-critic methods, and handle large-scale general cooperative multi-agent setting. A primal-dual hybrid gradient descent type algorithm framework is designed to learn individual agents separately for decentralization. From the perspective of each agent, policy improvement and value evaluation are jointly optimized, which can stabilize multi-agent policy learning. Furthermore, our framework can achieve scalability and stability for large-scale environment and reduce information transmission, by the parameter sharing mechanism and a novel modeling-other-agents methods based on theory-of-mind and online supervised learning. Sufficient experiments in cooperative Multi-agent Particle Environment and StarCraft II show that our decentralized MARL instantiation algorithms perform competitively against conventional centralized and decentralized methods.


title: On the computation of the M{\"o}bius transform

abstract: The M{\"o}bius transform is a crucial transformation into the Boolean world; it allows to change the Boolean representation between the True Table and Algebraic Normal Form. In this work, we introduce a new algebraic point of view of this transformation based on the polynomial form of Boolean functions. It appears that we can perform a new notion: the M{\"o}bius computation variable by variable and new computation properties. As a consequence, we propose new algorithms which can produce a huge speed up of the M{\"o}bius computation for sub-families of Boolean function. Furthermore we compute directly the M{\"o}bius transformation of some particular Boolean functions. Finally, we show that for some of them the Hamming weight is directly related to the algebraic degree of specific factors.


title: Binarized Graph Neural Network

abstract: Recently, there have been some breakthroughs in graph analysis by applying the graph neural networks (GNNs) following a neighborhood aggregation scheme, which demonstrate outstanding performance in many tasks. However, we observe that the parameters of the network and the embedding of nodes are represented in real-valued matrices in existing GNN-based graph embedding approaches which may limit the efficiency and scalability of these models. It is well-known that binary vector is usually much more space and time efficient than the real-valued vector. This motivates us to develop a binarized graph neural network to learn the binary representations of the nodes with binary network parameters following the GNN-based paradigm. Our proposed method can be seamlessly integrated into the existing GNN-based embedding approaches to binarize the model parameters and learn the compact embedding. Extensive experiments indicate that the proposed binarized graph neural network, namely BGN, is orders of magnitude more efficient in terms of both time and space while matching the state-of-the-art performance.


title: Trading characteristics of member firms on the Korea Exchange

abstract: In this paper, we study the characteristics of the member firms on the Korea Exchange. The member firms intermediate between the market participants and the exchange, and all the participants should trade stocks through members. To identify the characteristics of member firms, all member firms are categorized into three groups, such as the domestic members similar to individuals (DIMs), the domestic members similar to institutions (DSMs), and the foreign members (FRMs), in terms of the type of investor. We examine the dynamics of the member firms. The trading characteristics of members are revealed through the directionality and trend. While FRMs tend to trade one-way and move with the price change, DIMs are the opposite. In the market, DIMs and DSMs do herd and the herding moves in the opposite direction of the price change. One the other hand, FRMs do herd in the direction of the price change. The network analysis supports that the members are clustered into three groups similar to DIMs, DSMs, and FRMs. Finally, random matrix theory and a cross-sectional regression show that the inventory variation of members possesses significant information about stock prices and that member herding helps to price the stocks.


title: A Comprehensive Overview and Survey of Recent Advances in Meta-Learning

abstract: This article reviews meta-learning also known as learning-to-learn which seeks rapid and accurate model adaptation to unseen tasks with applications in highly automated AI, few-shot learning, natural language processing and robotics. Unlike deep learning, meta-learning can be applied to few-shot high-dimensional datasets and considers further improving model generalization to unseen tasks. Deep learning is focused upon in-sample prediction and meta-learning concerns model adaptation for out-of-sample prediction. Meta-learning can continually perform self-improvement to achieve highly autonomous AI. Meta-learning may serve as an additional generalization block complementary for original deep learning model. Meta-learning seeks adaptation of machine learning models to unseen tasks which are vastly different from trained tasks. Meta-learning with coevolution between agent and environment provides solutions for complex tasks unsolvable by training from scratch. Meta-learning methodology covers a wide range of great minds and thoughts. We briefly introduce meta-learning methodologies in the following categories: black-box meta-learning, metric-based meta-learning, layered meta-learning and Bayesian meta-learning framework. Recent applications concentrate upon the integration of meta-learning with other machine learning framework to provide feasible integrated problem solutions. We briefly present recent meta-learning advances and discuss potential future research directions.


title: Gas-Vapor Interplay in Plasmonic Bubble Shrinkage

abstract: The understanding of the shrinkage dynamics of plasmonic bubbles formed around metallic nanoparticles immersed in liquid and irradiated by a resonant light source is crucial for the usage of these bubbles in numerous applications. In this paper we experimentally show and theoretically explain that a plasmonic bubble during its shrinkage undergoes two different phases: first, a rapid partial bubble shrinkage governed by vapor condensation and, second, a slow diffusion-controlled bubble dissolution. The history of the bubble formation plays an important role in the shrinkage dynamics during the first phase, as it determines the gas-vapor ratio in the bubble composition. Higher laser powers lead to more vaporous bubbles, while longer pulses and higher dissolved air concentrations lead to more gaseous bubbles. The dynamics of the second phase barely depends on the history of bubble formation, i.e. laser power and pulse duration, but strongly on the dissolved air concentration, which defines the concentration gradient at the bubble interface. Finally, for the bubble dissolution in the second phase, with decreasing dissolved air concentration, we observe a gradual transition from a $R(t) \propto (t_0 - t) ^{1/3}$ scaling law to a $R(t) \propto (t_0 - t) ^{1/2}$ scaling law, where $t_0$ is the lifetime of the bubble and theoretically explain this transition.


title: Subdiffusion with Time-Dependent Coefficients: Improved Regularity and Second-Order Time Stepping

abstract: This article concerns second-order time discretization of subdiffusion equations with time-dependent diffusion coefficients. High-order differentiability and regularity estimates are established for subdiffusion equations with time-dependent coefficients. Using these regularity results and a perturbation argument of freezing the diffusion coefficient, we prove that the convolution quadrature generated by the second-order backward differentiation formula, with proper correction at the first time step, can achieve second-order convergence for both nonsmooth initial data and incompatible source term. Numerical experiments are consistent with the theoretical results.


title: Two cohomology theories for structured spaces

abstract: In [1] we defined a new kind of space called 'structured space' which locally resembles, near each of its points, some algebraic structure. We noted in the conclusion of the cited paper that the maps $f_s$ and $h$, which are of great importance in the theory of structured spaces, have some connections with the notions of presheaves (and hence also sheaves) and vector bundles. There are well known cohomology theories involving such objects; this suggests the possibility of the existence of (co)homology theories for structured spaces which are somehow related to $f_s$ and $h$. In this paper we indeed develop two cohomology theories for structured spaces: one of them arises from $f_s$, while the other one arises from $h$. In order to do this, we first develop a more general cohomology theory (called rectangular cohomology in the finite case, and square cohomology in the infinite case), which can actually be applied also in many other situations, and then we obtain the cohomology theories for structured spaces as simple consequences of this theory.


title: Cosmological models of generalized ghost pilgrim dark energy (GGPDE) in the gravitation theory of Saez-Ballester

abstract: We are studying the mechanism of the cosmic model in the presence of GGPDE and matter in LRS Bianchi type-I space-time by the utilization of new holographic DE in Saez-Ballester theory. Here we discuss all the data for three scenarios, first is supernovae type Ia union data, second is SN Ia data in combination with BAO and CMB observations and third is combination with OHD and JLA observations. From this, we get a model of our universe, where its transit state from deceleration to acceleration phase. Here we have observed that the results yielded by cosmological parameters like $\rho$ (energy density), EoS (equation of state), squared speed of sound $(v_s^2)$, $(\omega_D-\omega_D^{'})$ and $(r-s)$ plane is compatible with the recent observational data. The $(\omega_D-\omega_D^{'})$ trajectories in both thawing and freezing regions and the correspondence of the quintessence field with GGPD dark energy are discussed. Some physical aspects of the GGPDE models are also highlighted.


title: Random Features for Kernel Approximation: A Survey on Algorithms, Theory, and Beyond

abstract: Random features is one of the most popular techniques to speed up kernel methods in large-scale problems. Related works have been recognized by the NeurIPS Test-of-Time award in 2017 and the ICML Best Paper Finalist in 2019. The body of work on random features has grown rapidly, and hence it is desirable to have a comprehensive overview on this topic explaining the connections among various algorithms and theoretical results. In this survey, we systematically review the work on random features from the past ten years. First, the motivations, characteristics and contributions of representative random features based algorithms are summarized according to their sampling schemes, learning procedures, variance reduction properties and how they exploit training data. Second, we review theoretical results that center around the following key question: how many random features are needed to ensure a high approximation quality or no loss in the empirical/expected risks of the learned estimator. Third, we provide a comprehensive evaluation of popular random features based algorithms on several large-scale benchmark datasets and discuss their approximation quality and prediction performance for classification. Last, we discuss the relationship between random features and modern over-parameterized deep neural networks (DNNs), including the use of high dimensional random features in the analysis of DNNs as well as the gaps between current theoretical and empirical results. This survey may serve as a gentle introduction to this topic, and as a users' guide for practitioners interested in applying the representative algorithms and understanding theoretical results under various technical assumptions. We hope that this survey will facilitate discussion on the open problems in this topic, and more importantly, shed light on future research directions.


title: One dimensional quasiperiodic mosaic lattice with exact mobility edges

abstract: The mobility edges (MEs) in energy which separate extended and localized states are a central concept in understanding the localization physics. In one-dimensional (1D) quasiperiodic systems, while MEs may exist for certain cases, the analytic results which allow for an exact understanding are rare. Here we uncover a class of exactly solvable 1D models with MEs in the spectra, where quasiperiodic on-site potentials are inlaid in the lattice with equally spaced sites. The analytical solutions provide the exact results not only for the MEs, but also for the localization and extended features of all states in the spectra, as derived through computing the Lyapunov exponents from Avila's global theory, and also numerically verified by calculating the fractal dimension. We further propose a novel scheme with experimental feasibility to realize our model based on an optical Raman lattice, which paves the way for experimental exploration of the predicted exact ME physics.


title: New result on phase shift analysis

abstract: Assuming a certain continuity property, we prove, using the old results of Itzykson and Martin, that, except for an obvious ambiguity, there are only at most two amplitudes reproducing an elastic differential cross section at a given energy.


title: On Adversarial Examples for Biomedical NLP Tasks

abstract: The success of pre-trained word embeddings has motivated its use in tasks in the biomedical domain. The BERT language model has shown remarkable results on standard performance metrics in tasks such as Named Entity Recognition (NER) and Semantic Textual Similarity (STS), which has brought significant progress in the field of NLP. However, it is unclear whether these systems work seemingly well in critical domains, such as legal or medical. For that reason, in this work, we propose an adversarial evaluation scheme on two well-known datasets for medical NER and STS. We propose two types of attacks inspired by natural spelling errors and typos made by humans. We also propose another type of attack that uses synonyms of medical terms. Under these adversarial settings, the accuracy of the models drops significantly, and we quantify the extent of this performance loss. We also show that we can significantly improve the robustness of the models by training them with adversarial examples. We hope our work will motivate the use of adversarial examples to evaluate and develop models with increased robustness for medical tasks.


title: Positive-parity linear-chain molecular band in $^{16}$C

abstract: An inelastic excitation and cluster-decay experiment $\rm {^2H}(^{16}C,~{^{4}He}+{^{12}Be}~or~{^{6}He}+{^{10}Be}){^2H}$ was carried out to investigate the linear-chain clustering structure in neutron-rich $\rm {^{16}C}$. For the first time, decay-paths from the $\rm {^{16}C}$ resonances to various states of the final nuclei were determined, thanks to the well-resolved $Q$-value spectra obtained from the three-fold coincident measurement. The close-threshold resonance at 16.5 MeV is assigned as the ${J^\pi}={0^+}$ band head of the predicted positive-parity linear-chain molecular band with ${(3/2_\pi^-)^2}{(1/2_\sigma^-)^2}$ configuration, according to the associated angular correlation and decay analysis. Other members of this band were found at 17.3, 19.4, and 21.6 MeV based on their selective decay properties, being consistent with the theoretical predictions. Another intriguing high-lying state was observed at 27.2 MeV which decays almost exclusively to $\rm {^{6}He}+{^{10}Be{(\sim6~ MeV)}}$ final channel, corresponding well to another predicted linear-chain structure with the pure $\sigma$-bond configuration.


title: Beam Blockage in Optical Wireless Systems

abstract: In this paper, we use the percentage blockage as a metric when an opaque disc obstructs the Line-of-Sight link from the access point to the receiver in an optical wireless indoor communication system. The effect of the different parameters of the obstructing object are studied, these are the radius, the height, and the horizontal distance from the receiver in the positive y direction. The percentage of blocked room locations to the total number of room locations when varying the disc parameters is studied assuming a single serving link. It was found that depending on the dimensions of the obstructing object and the distance from the receiver in addition to which access point is serving the user, that blockage can vary between 0% up to 100%. Furthermore, the service received by a user, in terms of beam blockage depends on the access point they are connected to. The resulting fairness challenges will be addressed in resource allocation optimization in future work.


title: Calculating permutation entropy without permutations

abstract: A method for analyzing sequential data sets, similar to the permutation entropy one, is discussed. The characteristic features of this method are as follows: it preserves information about equal values, if any, in the embedding vectors; it is exempt of combinatorics; it delivers the same entropy value as does the permutation method, provided the embedding vectors do not have equal components. In the latter case this method can be used instead of the permutation one. If embedding vectors have equal components this method could be more precise in discriminating between similar data sets.


title: A larger value for $H_0$ by an evolving gravitational constant

abstract: We provide further evidence that a massless cosmological scalar field with a non-minimal coupling to the Ricci curvature of the type $M^2_{\rm pl}(1+\xi \sigma^n/M_{\rm pl}^n) $ alleviates the existing tension between local measurements of the Hubble constant and its inference from CMB anisotropies and baryonic acoustic oscillations data in presence of a cosmological constant. In these models, the expansion history is modified compared to $\Lambda$CDM at early time, mimicking a change in the effective number of relativistic species, and gravity weakens after matter-radiation equality. Compared to $\Lambda$CDM, a quadratic ($n=2$) coupling increases the Hubble constant when {\em Planck} 2018 (alone or in combination with BAO and SH0ES) measurements data are used in the analysis. Negative values of the coupling, for which the scalar field decreases, seem favored and consistency with Solar System can be naturally achieved for a large portion of the parameter space without the need of any screening mechanism. We show that our results are robust to the choice of $n$, also presenting the analysis for $n=4$.


title: Flexible framework for audio reconstruction

abstract: The paper presents a unified, flexible framework for the tasks of audio inpainting, declipping, and dequantization. The concept is further extended to cover analogous degradation models in a transformed domain, e.g. quantization of the signal's time-frequency coefficients. The task of reconstructing an audio signal from degraded observations in two different domains is formulated as an inverse problem, and several algorithmic solutions are developed. The viability of the presented concept is demonstrated on an example where audio reconstruction from partial and quantized observations of both the time-domain signal and its time-frequency coefficients is carried out.


title: Same Side Stance Classification Task: Facilitating Argument Stance Classification by Fine-tuning a BERT Model

abstract: Research on computational argumentation is currently being intensively investigated. The goal of this community is to find the best pro and con arguments for a user given topic either to form an opinion for oneself, or to persuade others to adopt a certain standpoint. While existing argument mining methods can find appropriate arguments for a topic, a correct classification into pro and con is not yet reliable. The same side stance classification task provides a dataset of argument pairs classified by whether or not both arguments share the same stance and does not need to distinguish between topic-specific pro and con vocabulary but only the argument similarity within a stance needs to be assessed. The results of our contribution to the task are build on a setup based on the BERT architecture. We fine-tuned a pre-trained BERT model for three epochs and used the first 512 tokens of each argument to predict if two arguments share the same stance.


title: 2-switch: transition and stability on graphs and forests

abstract: Given any two forests with the same degree sequence, we show in an algorithmic way that one can be transformed into the other by a sequence of 2-switches in such a way that all the intermediate graphs of the transformation are forests. We also prove that the 2-switch operation perturbs minimally some well-known integer parameters in families of graphs with the same degree sequence. Then, we apply these results to conclude that the studied parameters have the interval property on those families.


title: Multi-Objective Counterfactual Explanations

abstract: Counterfactual explanations are one of the most popular methods to make predictions of black box machine learning models interpretable by providing explanations in the form of `what-if scenarios'. Most current approaches optimize a collapsed, weighted sum of multiple objectives, which are naturally difficult to balance a-priori. We propose the Multi-Objective Counterfactuals (MOC) method, which translates the counterfactual search into a multi-objective optimization problem. Our approach not only returns a diverse set of counterfactuals with different trade-offs between the proposed objectives, but also maintains diversity in feature space. This enables a more detailed post-hoc analysis to facilitate better understanding and also more options for actionable user responses to change the predicted outcome. Our approach is also model-agnostic and works for numerical and categorical input features. We show the usefulness of MOC in concrete cases and compare our approach with state-of-the-art methods for counterfactual explanations.


title: Dynamic Programming Approach to the Generalized Minimum Manhattan Network Problem

abstract: We study the generalized minimum Manhattan network (GMMN) problem: given a set $P$ of pairs of two points in the Euclidean plane $\mathbb{R}^2$, we are required to find a minimum-length geometric network which consists of axis-aligned segments and contains a shortest path in the $L_1$ metric (a so-called Manhattan path) for each pair in $P$. This problem commonly generalizes several NP-hard network design problems that admit constant-factor approximation algorithms, such as the rectilinear Steiner arborescence (RSA) problem, and it is open whether so does the GMMN problem. As a bottom-up exploration, Schnizler (2015) focused on the intersection graphs of the rectangles defined by the pairs in $P$, and gave a polynomial-time dynamic programming algorithm for the GMMN problem whose input is restricted so that both the treewidth and the maximum degree of its intersection graph are bounded by constants. In this paper, as the first attempt to remove the degree bound, we provide a polynomial-time algorithm for the star case, and extend it to the general tree case based on an improved dynamic programming approach.


abstract: The Cauchy-Dirichlet problem for the Moore-Gibson-Thompson equation is analyzed. With the focus on non-homogeneous boundary data, two approaches are offered: one is based on the theory of hyperbolic equations, while the other one uses the theory of operator semigroups. This is a mixed hyperbolic problem with a characteristic spatial boundary. Hence, the regularity results exhibit some deficiencies when compared with the non-characteristic case.


title: Cloud-Based Face and Speech Recognition for Access Control Applications

abstract: This paper describes the implementation of a system to recognize employees and visitors wanting to gain access to a physical office through face images and speech-to-text recognition. The system helps employees to unlock the entrance door via face recognition without the need of tag-keys or cards. To prevent spoofing attacks and increase security, a randomly generated code is sent to the employee, who then has to type it into the screen. On the other hand, visitors and delivery persons are provided with a speech-to-text service where they utter the name of the employee that they want to meet, and the system then sends a notification to the right employee automatically. The hardware of the system is constituted by two Raspberry Pi, a 7-inch LCD-touch display, a camera, and a sound card with a microphone and speaker. To carry out face recognition and speech-to-text conversion, the cloud-based platforms Amazon Web Services and the Google Speech-to-Text API service are used respectively. The two-step face authentication mechanism for employees provides an increased level of security and protection against spoofing attacks without the need of carrying key-tags or access cards, while disturbances by visitors or couriers are minimized by notifying their arrival to the right employee, without disturbing other co-workers by means of ring-bells.


title: On the modelling of multivariate counts with Cox processes and dependent shot noise intensities

abstract: In this paper, we develop a method to model and estimate several, _dependent_ count processes, using granular data. Specifically, we develop a multivariate Cox process with shot noise intensities to jointly model the arrival process of counts (e.g. insurance claims). The dependency structure is introduced via multivariate shot noise _intensity_ processes which are connected with the help of L\'evy copulas. In aggregate, our approach allows for (i) over-dispersion and auto-correlation within each line of business; (ii) realistic features involving time-varying, known covariates; and (iii) parsimonious dependence between processes without requiring simultaneous primary (e.g. accidents) events. The explicit incorporation of time-varying, known covariates can accommodate characteristics of real data and hence facilitate implementation in practice. In an insurance context, these could be changes in policy volumes over time, as well as seasonality patterns and trends, which may explain some of the relationship (dependence) between multiple claims processes, or at least help tease out those relationships. Finally, we develop a filtering algorithm based on the reversible-jump Markov Chain Monte Carlo (RJMCMC) method to estimate the latent stochastic intensities and illustrate model calibration using real data from the AUSI data set.


title: Learning a Formula of Interpretability to Learn Interpretable Formulas

abstract: Many risk-sensitive applications require Machine Learning (ML) models to be interpretable. Attempts to obtain interpretable models typically rely on tuning, by trial-and-error, hyper-parameters of model complexity that are only loosely related to interpretability. We show that it is instead possible to take a meta-learning approach: an ML model of non-trivial Proxies of Human Interpretability (PHIs) can be learned from human feedback, then this model can be incorporated within an ML training process to directly optimize for interpretability. We show this for evolutionary symbolic regression. We first design and distribute a survey finalized at finding a link between features of mathematical formulas and two established PHIs, simulatability and decomposability. Next, we use the resulting dataset to learn an ML model of interpretability. Lastly, we query this model to estimate the interpretability of evolving solutions within bi-objective genetic programming. We perform experiments on five synthetic and eight real-world symbolic regression problems, comparing to the traditional use of solution size minimization. The results show that the use of our model leads to formulas that are, for a same level of accuracy-interpretability trade-off, either significantly more or equally accurate. Moreover, the formulas are also arguably more interpretable. Given the very positive results, we believe that our approach represents an important stepping stone for the design of next-generation interpretable (evolutionary) ML algorithms.


title: Multi-task closed-loop inverse kinematics stability through semidefinite programming

abstract: Today's complex robotic designs comprise in some cases a large number of degrees of freedom, enabling for multi-objective task resolution (e.g., humanoid robots or aerial manipulators). This paper tackles the stability problem of a hierarchical losed-loop inverse kinematics algorithm for such highly redundant robots. We present a method to guarantee system stability by performing an online tuning of the closedloop control gains. We define a semi-definite programming problem (SDP) with these gains as decision variables and a discrete-time Lyapunov stability condition as a linear matrix inequality, constraining the SDP optimization problem and guaranteeing the stability of the prioritized tasks. To the best of authors' knowledge, this work represents the first mathematical development of an SDP formulation that introduces stability conditions for a multi-objective closed-loop inverse kinematic problem for highly redundant robots. The validity of the proposed approach is demonstrated through simulation case studies, including didactic examples and a Matlab toolbox for the benefit of the community.


title: The problem of generalized D-stability in unbounded LMI regions

abstract: We generalize the concepts of D-stability and additive D-stability of matrices. For this, we consider a family of unbounded regions defined in terms of Linear Matrix Inequalities (so-called LMI regions). We study the problem when the localization of a matrix spectrum in an unbounded LMI region is preserved under specific multiplicative and additive perturbations of the initial matrix. The most well-known particular cases of unbounded LMI regions (namely, conic sectors and shifted halfplanes) are considered. A new D-stability criterion as well as sufficient conditions for generalized D-stability are analyzed. Several applications of the developed theory to dynamical systems are shown.


title: Coloring Problems on Bipartite Graphs of Small Diameter

abstract: We investigate a number of coloring problems restricted to bipartite graphs with bounded diameter. First, we investigate the $k$-List Coloring, List $k$-Coloring, and $k$-Precoloring Extension problems on bipartite graphs with diameter at most $d$, proving NP-completeness in most cases, and leaving open only the List $3$-Coloring and $3$-Precoloring Extension problems when $d=3$. Some of these results are obtained through a proof that the Surjective $C_6$-Homomorphism problem is NP-complete on bipartite graphs with diameter at most four. Although the latter result has been already proved [Vikas, 2017], we present ours as an alternative simpler one. As a byproduct, we also get that $3$-Biclique Partition is NP-complete. An attempt to prove this result was presented in [Fleischner, Mujuni, Paulusma, and Szeider, 2009], but there was a flaw in their proof, which we identify and discuss here. Finally, we prove that the $3$-Fall Coloring problem is NP-complete on bipartite graphs with diameter at most four, and prove that NP-completeness for diameter three would also imply NP-completeness of $3$-Precoloring Extension on diameter three, thus closing the previously mentioned open cases. This would also answer a question posed in [Kratochv\'il, Tuza, and Voigt, 2002].


title: $\mathrm{L}^p$-extrapolation of non-local operators: Maximal regularity of elliptic integrodifferential operators with measurable coefficients

abstract: The aim of this article is to deepen the understanding of the derivation of $\mathrm{L}^p$-estimates of non-local operators. We review the $\mathrm{L}^p$-extrapolation theorem of Shen which builds on a real variable argument of Caffarelli and Peral and adapt this theorem to account for non-local weak reverse H\"older estimates. These non-local weak reverse H\"older estimates appear for example in the investigation of non-local elliptic integrodifferential operators. This originates from the fact that here only a non-local Caccioppoli inequality is valid, see Kuusi, Mingione, and Sire. As an application, we prove resolvent estimates and maximal regularity properties in $\mathrm{L}^p$-spaces of non-local elliptic integrodifferential operators.


title: Differences and similarities of stellar populations in LAEs and LBGs at $z\sim$ 3.4 - 6.8

abstract: The differences between the inherent stellar populations (SPs) of LAEs and LBGs are a key factor in understanding early galaxy formation and evolution. We have run a set of SP burst-like models for a sample of 1,558 sources at $3.4<z<6.8$ from the Survey for High-$z$ Absorption Red and Dead Sources (SHARDS) over the GOODS-N field. This work focuses on the differences between the three different observational subfamilies of our sample: LAE-LBGs, no-Ly$\alpha$ LBGs and pure LAEs. Single and double SP synthetic spectra were used to model the SEDs, adopting a Bayesian information criterion to analyse under which situations a second SP is required. We find that the sources are well modelled using a single SP in $\sim79\%$ of the cases. The best models suggest that pure LAEs are typically young low mass galaxies ($t\sim26^{+41}_{-25}$ Myr; $M_{\mathrm{star}}\sim5.6^{+12.0}_{-5.5}\times10^{8}\ M_{\odot}$), undergoing one of their first bursts of star formation. On the other hand, no-Ly$\alpha$ LBGs require older SPs ($t\sim71\pm12$ Myr), and they are substantially more massive ($M_{\mathrm{star}}\sim3.5\pm1.1\times10^{9}\ M_{\odot}$). LAE-LBGs appear as the subgroup that more frequently needs the addition of a second SP, representing an old and massive galaxy caught in a strong recent star-forming episode. The relative number of sources found from each subfamily at each $z$ supports an evolutionary scenario from pure LAEs and single SP LAE-LBGs to more massive LBGs. Stellar Mass Functions are also derived, finding an increase of $M^{*}$ with cosmic time and a possible steepening of the low mass slope from $z\sim6$ to $z\sim5$ with no significant change to $z\sim4$. Additionally, we have derived the SFR-$M_{\mathrm{star}}$ relation, finding a $\mathrm{SFR}\propto M_{\mathrm{star}}^{\beta}$ behaviour with negligible evolution from $z\sim4$ to $z\sim6$.


title: NuSTAR Observation of a Minuscule Microflare in a Solar Active Region

abstract: We present X-ray imaging spectroscopy of one of the weakest active region (AR) microflares ever studied. The microflare occurred at $\sim$11:04 UT on 2018 September 9 and we studied it using the Nuclear Spectroscopic Telescope ARray (NuSTAR) and the Solar Dynamic Observatory's Atmospheric Imaging Assembly (SDO/AIA). The microflare is observed clearly in 2.5-7 keV with NuSTAR and in Fe XVIII emission derived from the hotter component of the 94 $\unicode{x212B}$ SDO/AIA channel. We estimate the event to be three orders of magnitude lower than a GOES A class microflare with an energy of 1.1$\times$10$^{26}$ erg. It reaches temperatures of 6.7 MK with an emission measure of 8.0$\times$10$^{43}$ cm$^{-3}$. Non-thermal emission is not detected but we instead determine upper limits to such emission. We present the lowest thermal energy estimate for an AR microflare in literature, which is at the lower limits of what is still considered an X-ray microflare.


title: Unique continuation from the edge of a crack

abstract: In this work we develop an Almgren type monotonicity formula for a class of elliptic equations in a domain with a crack, in the presence of potentials satisfying either a negligibility condition with respect to the inverse-square weight or some suitable integrability properties. The study of the Almgren frequency function around a point on the edge of the crack, where the domain is highly non-smooth, requires the use of an approximation argument, based on the construction of a sequence of regular sets which approximate the cracked domain. Once a finite limit of the Almgren frequency is shown to exist, a blow-up analysis for scaled solutions allows us to prove asymptotic expansions and strong unique continuation from the edge of the crack.


title: Stage-Wise Neural Architecture Search

abstract: Modern convolutional networks such as ResNet and NASNet have achieved state-of-the-art results in many computer vision applications. These architectures consist of stages, which are sets of layers that operate on representations in the same resolution. It has been demonstrated that increasing the number of layers in each stage improves the prediction ability of the network. However, the resulting architecture becomes computationally expensive in terms of floating point operations, memory requirements and inference time. Thus, significant human effort is necessary to evaluate different trade-offs between depth and performance. To handle this problem, recent works have proposed to automatically design high-performance architectures, mainly by means of neural architecture search (NAS). Current NAS strategies analyze a large set of possible candidate architectures and, hence, require vast computational resources and take many GPUs days. Motivated by this, we propose a NAS approach to efficiently design accurate and low-cost convolutional architectures and demonstrate that an efficient strategy for designing these architectures is to learn the depth stage-by-stage. For this purpose, our approach increases depth incrementally in each stage taking into account its importance, such that stages with low importance are kept shallow while stages with high importance become deeper. We conduct experiments on the CIFAR and different versions of ImageNet datasets, where we show that architectures discovered by our approach achieve better accuracy and efficiency than human-designed architectures. Additionally, we show that architectures discovered on CIFAR-10 can be successfully transferred to large datasets. Compared to previous NAS approaches, our method is substantially more efficient, as it evaluates one order of magnitude fewer models and yields architectures on par with the state-of-the-art.


title: Theory of the superconductivity of $UGe_2$ revisited

abstract: We present a unified theory of magnetism and superconductivity of $UGe_2$. To this end, we consider part of $5f$ uranium electrons as mostly itinerant and other ones as mostly localized. The main feature that distinguishes the localized from the itinerant electrons is the effect of the pressure on them. The pressure strongly screens the itinerant electrons while the localized ones are almost unaffected. The screening of itinerant electrons leads to decreasing of their Coulomb repulsion, therefore to formation of doubly occupied and empty states. These states are spin-singlet and the effective spin of itinerant electrons, the zero-temperature magnetization in units of Bohr magneton, decreases. We obtain an effective two-spin Heisenberg model, which explains the magnetization-temperature diagram of $UGe_2$. It is shown that the experimentally observed characteristic temperature $T_x$, is a partial order transition temperature. Below the Curie temperature $(T_x<T_C)$ the system undergoes a transition from high temperature phase, were only localized electrons contribute the magnetization, to the low temperature one, where both itinerant and localized electrons contribute the magnetization. The characteristic temperature decreases when pressure increases. At the quantum partial order point $T_x=0$, the Zeeman splitting of the itinerant electrons is zero. This permits formation of Cooper pairs and an onset of superconductivity induced by the transversal fluctuations of the localized electrons. Small deviation from the quantum partial ordered state leads to suppression of superconductivity. This explains the dome form of the superconducting transition temperature. The very low superconducting critical temperature is a consequence of the Ising ferromagnetism.


title: Double axes and subalgebras of Monster type in Matsuo algebras

abstract: Axial algebras are a class of commutative non-associative algebras generated by idempotents, called axes, with adjoint action semi-simple and satisfying a prescribed fusion law. Axial algebras were introduced by Hall, Rehren and Shpectorov \cite{hrs,hrs1} as a broad generalisation of Majorana algebras of Ivanov, whose axioms were derived from the properties of the Griess algebra for the Monster sporadic simple group. The class of axial algebras of Monster type includes Majorana algebras for the Monster and many other sporadic simple groups, Jordan algebras for classical and some exceptional simple groups, and Matsuo algebras corresponding to $3$-transposition groups. Thus, axial algebras of Monster type unify several strands in the theory of finite simple groups. It is shown here that double axes, i.e., sums of two orthogonal axes in a Matsuo algebra, satisfy the fusion law of Monster type $(2\eta,\eta)$. Primitive subalgebras generated by two single or double axes are completely classified and $3$-generated primitive subalgebras are classified in one of the three cases. These classifications further lead to the general flip construction outputting a rich variety of axial algebras of Monster type. An application of the flip construction to the case of Matsuo algebras related to the symmetric groups results in three new explicit infinite series of such algebras.


title: Effect of Inter-Well Interactions on Non-Linear Beam Splitters for Matter-Wave Interferometers

abstract: We study the non-linear beam splitter in matter-wave interferometers using ultracold quantum gases in a double-well configuration in presence of non-local interactions inducing inter-well density-density coupling, as they can be realized, e.g., with dipolar gases. We explore this effect after considering different input states, in the form of either coherent, or Twin-Fock, or NOON states. We first review the non-interacting limit and the case in which only the local interaction is present, including the study of sensitivity near the self-trapping threshold. Then, we consider the two-mode model in the presence of inter-well interactions and consider the scaling of the sensitivity as a function of the non-local coupling strength. Our analysis clearly shows that non-local interactions can compensate the degradation of the sensitivity induced by local interactions, so that they may be used to restore optimal sensitivity.


title: Global Aspects of Spaces of Vacua

abstract: We study "vacuum crossing", which occurs when the vacua of a theory are exchanged as we vary some periodic parameter $\theta$ in a closed loop. We show that vacuum crossing is a useful non-perturbative tool to study strongly-coupled quantum field theories, since finding vacuum crossing in a weakly-coupled regime of the theory can lead to nontrivial consequences in the strongly-coupled regime. We start by discussing a mechanism where vacuum crossing occurs due to an anomaly, and then discuss some applications of vacuum crossing in general. In particular, we argue that vacuum crossing can be used to check IR dualities and to look for emergent IR symmetries.


title: Long time localization of modified surface quasi-geostrophic equations

abstract: We discuss the time evolution of a two-dimensional active scalar flow, which extends some properties valid for a two-dimensional incompressible nonviscous fluid. In particular we study some characteristics of the dynamics when the field is initially concentrated in $N$ small disjoint regions, and we discuss the conservation in time of this localization property. We discuss also how long this localization persists, showing that in some cases this happens for quite long times.


title: Learning Constrained Adaptive Differentiable Predictive Control Policies With Guarantees

abstract: We present differentiable predictive control (DPC), a method for learning constrained neural control policies for linear systems with probabilistic performance guarantees. We employ automatic differentiation to obtain direct policy gradients by backpropagating the model predictive control (MPC) loss function and constraints penalties through a differentiable closed-loop system dynamics model. We demonstrate that the proposed method can learn parametric constrained control policies to stabilize systems with unstable dynamics, track time-varying references, and satisfy nonlinear state and input constraints. In contrast with imitation learning-based approaches, our method does not depend on a supervisory controller. Most importantly, we demonstrate that, without losing performance, our method is scalable and computationally more efficient than implicit, explicit, and approximate MPC. Under review at IEEE Transactions on Automatic Control.


title: Proof Theory of Riesz Spaces and Modal Riesz Spaces

abstract: We design hypersequent calculus proof systems for the theories of Riesz spaces and modal Riesz spaces and prove the key theorems: soundness, completeness and cut elimination. These are then used to obtain completely syntactic proofs of some interesting results concerning the two theories. Most notably, we prove a novel result: the theory of modal Riesz spaces is decidable. This work has applications in the field of logics of probabilistic programs since modal Riesz spaces provide the algebraic semantics of the Riesz modal logic underlying the probabilistic mu-calculus.


title: BIT-VO: Visual Odometry at 300 FPS using Binary Features from the Focal Plane

abstract: Focal-plane Sensor-processor (FPSP) is a next-generation camera technology which enables every pixel on the sensor chip to perform computation in parallel, on the focal plane where the light intensity is captured. SCAMP-5 is a general-purpose FPSP used in this work and it carries out computations in the analog domain before analog to digital conversion. By extracting features from the image on the focal plane, data which is digitized and transferred is reduced. As a consequence, SCAMP-5 offers a high frame rate while maintaining low energy consumption. Here, we present BIT-VO, which is, to the best of our knowledge, the first 6 Degrees of Freedom visual odometry algorithm which utilises the FPSP. Our entire system operates at 300 FPS in a natural scene, using binary edges and corner features detected by the SCAMP-5.


title: Detection and Classification of Industrial Signal Lights for Factory Floors

abstract: Industrial manufacturing has developed during the last decades from a labor-intensive manual control of machines to a fully-connected automated process. The next big leap is known as industry 4.0, or smart manufacturing. With industry 4.0 comes increased integration between IT systems and the factory floor from the customer order system to final delivery of the product. One benefit of this integration is mass production of individually customized products. However, this has proven challenging to implement into existing factories, considering that their lifetime can be up to 30 years. The single most important parameter to measure in a factory is the operating hours of each machine. Operating hours can be affected by machine maintenance as well as re-configuration for different products. For older machines without connectivity, the operating state is typically indicated by signal lights of green, yellow and red colours. Accordingly, the goal is to develop a solution which can measure the operational state using the input from a video camera capturing a factory floor. Using methods commonly employed for traffic light recognition in autonomous cars, a system with an accuracy of over 99% in the specified conditions is presented. It is believed that if more diverse video data becomes available, a system with high reliability that generalizes well could be developed using a similar methodology.


title: Properties of relaxed trajectories of non-linear fractional impulsive control systems

abstract: A non-convex control system governed by a nonlinear impulsive evolution equation of Hilfer fractional order in a Banach space is considered. The existence of admissible state-control pair is established. Then the introduction of suitable measure-valued control convexifies the system, and the relaxed system is obtained. Further, the relaxation theorem for the described class is proved along with the existence of optimal relaxed control.


title: Computational Statistical Mechanics of a confined, three-dimensional Coulomb gas

abstract: The thermodynamic properties of systems with long-range interactions is still an ongoing challenge, both from the point of view of theory as well as computer simulation. In this work we study a model system, a Coulomb gas confined inside a sphere, by using the Wang-Landau algorithm. We have computed the configurational density of states (CDOS), the thermodynamic entropy and the caloric curve, and compared with microcanonical Metropolis simulations, while showing how concepts such as the configurational inverse temperature can be used to understand some aspects of thermodynamic behavior. A dynamical multistability behavior is seen at low energies in microcanonical Monte Carlo simulations, suggesting that flat-histogram methods are in fact superior alternatives to traditional simulation in complex systems.


title: Lundberg-type inequalities for non-homogeneous risk models

abstract: In this paper, we investigate the ruin probabilities of non-homogeneous risk models. By employing martingale method, the Lundberg-type inequalities of ruin probabilities of non-homogeneous renewal risk models are obtained under weak assumptions. In addition, for the periodic and quasi-periodic risk models the adjustment coefficients of the Lundberg-type inequalities are obtained. Finally, examples are presented to show that estimations obtained in this paper are more accurate and the ruin probability in non-homogeneous risk models may be fast decreasing which is impossible for the case of homogeneity.


title: The role of 2s Bloch wave state excitations on STEM-HAADF intensity in quantitative analysis of alloys

abstract: In this work, we emphasize the important contribution of the 2s Bloch wave state to the properties of a STEM electron probe propagating on an atomic column. For a strong enough column potential, the confinement of the 2s state leads to a long-period oscillation of the electron wave function, which is reflected in the resulting STEM-HAADF intensity. We show how this influences STEM composition quantification even at large thicknesses. We found additionally that the excitation of the 2s state affects the intensity of alloys where long-range order phenomena are present, which in turn provides a way to probe the degree of order in alloys.


title: A stabilizer free weak Galerkin element method with supercloseness of order two

abstract: The weak Galerkin (WG) finite element method is an effective and flexible general numerical techniques for solving partial differential equations. A simple weak Galerkin finite element method is introduced for second order elliptic problems. First we have proved that stabilizers are no longer needed for this WG element. Then we have proved the supercloseness of order two for the WG finite element solution. The numerical results confirm the theory


title: Poisson-Tweedie mixed-effects model: a flexible approach for the analysis of longitudinal RNA-seq data

abstract: We present a new modelling approach for longitudinal count data that is motivated by the increasing availability of longitudinal RNA-sequencing experiments. The distribution of RNA-seq counts typically exhibits overdispersion, zero-inflation and heavy tails; moreover, in longitudinal designs repeated measurements from the same subject are typically (positively) correlated. We propose a generalized linear mixed model based on the Poisson-Tweedie distribution that can flexibly handle each of the aforementioned features of longitudinal overdispersed counts. We develop a computational approach to accurately evaluate the likelihood of the proposed model and to perform maximum likelihood estimation. Our approach is implemented in the R package ptmixed, which can be freely downloaded from CRAN. We assess the performance of ptmixed on simulated data and we present an application to a dataset with longitudinal RNA-sequencing measurements from healthy and dystrophic mice. The applicability of the Poisson-Tweedie mixed-effects model is not restricted to longitudinal RNA-seq data, but it extends to any scenario where non-independent measurements of a discrete overdispersed response variable are available.


title: Petrie symmetric functions

abstract: For any positive integer $k$ and nonnegative integer $m$, we consider the symmetric function $G\left( k,m\right)$ defined as the sum of all monomials of degree $m$ that involve only exponents smaller than $k$. We call $G\left( k,m\right)$ a "Petrie symmetric function" in honor of Flinders Petrie, as the coefficients in its expansion in the Schur basis are determinants of Petrie matrices (and thus belong to $\left\{ 0,1,-1\right\} $ by a classical result of Gordon and Wilkinson). More generally, we prove a Pieri-like rule for expanding a product of the form $G\left( k,m\right) \cdot s_{\mu}$ in the Schur basis whenever $\mu$ is a partition; all coefficients in this expansion belong to $\left\{ 0,1,-1\right\} $. We also show that $G\left( k,1\right) ,G\left( k,2\right) ,G\left( k,3\right) ,\ldots$ form an algebraically independent generating set for the symmetric functions when $1-k$ is invertible in the base ring, and we prove a conjecture of Liu and Polo about the expansion of $G\left( k,2k-1\right)$ in the Schur basis.


title: Influence of parallel computing strategies of iterative imputation of missing data: a case study on missForest

abstract: Machine learning iterative imputation methods have been well accepted by researchers for imputing missing data, but they can be time-consuming when handling large datasets. To overcome this drawback, parallel computing strategies have been proposed but their impact on imputation results and subsequent statistical analyses are relatively unknown. This study examines the two parallel strategies (variable-wise distributed computation and model-wise distributed computation) implemented in the random-forest imputation method, missForest. Results from the simulation experiments showed that the two parallel strategies can influence both the imputation process and the final imputation results differently. Specifically, even though both strategies produced similar normalized root mean squared prediction errors, the variable-wise distributed strategy led to additional biases when estimating the mean and inter-correlation of the covariates and their regression coefficients.


title: The Category of Node-and-Choice Extensive-Form Games

abstract: This paper develops the category $\mathbf{NCG}$. Its objects are node-and-choice games, which include essentially all extensive-form games. Its morphisms allow arbitrary transformations of a game's nodes, choices, and players, as well as monotonic transformations of the utility functions of the game's players. Among the morphisms are subgame inclusions. Several characterizations and numerous properties of the isomorphisms are derived. For example, it is shown that isomorphisms preserve the game-theoretic concepts of no-absentmindedness, perfect-information, and (pure-strategy) Nash-equilibrium. Finally, full subcategories are defined for choice-sequence games and choice-set games, and relationships among these two subcategories and $\mathbf{NCG}$ itself are expressed and derived via isomorphic inclusions and equivalences.


title: On Relations Between the Relative entropy and $\chi^2$-Divergence, Generalizations and Applications

abstract: The relative entropy and chi-squared divergence are fundamental divergence measures in information theory and statistics. This paper is focused on a study of integral relations between the two divergences, the implications of these relations, their information-theoretic applications, and some generalizations pertaining to the rich class of $f$-divergences. Applications that are studied in this paper refer to lossless compression, the method of types and large deviations, strong~data-processing inequalities, bounds on contraction coefficients and maximal correlation, and the convergence rate to stationarity of a type of discrete-time Markov chains.


title: SIGN: Scalable Inception Graph Neural Networks

abstract: Graph representation learning has recently been applied to a broad spectrum of problems ranging from computer graphics and chemistry to high energy physics and social media. The popularity of graph neural networks has sparked interest, both in academia and in industry, in developing methods that scale to very large graphs such as Facebook or Twitter social networks. In most of these approaches, the computational cost is alleviated by a sampling strategy retaining a subset of node neighbors or subgraphs at training time. In this paper we propose a new, efficient and scalable graph deep learning architecture which sidesteps the need for graph sampling by using graph convolutional filters of different size that are amenable to efficient precomputation, allowing extremely fast training and inference. Our architecture allows using different local graph operators (e.g. motif-induced adjacency matrices or Personalized Page Rank diffusion matrix) to best suit the task at hand. We conduct extensive experimental evaluation on various open benchmarks and show that our approach is competitive with other state-of-the-art architectures, while requiring a fraction of the training and inference time. Moreover, we obtain state-of-the-art results on ogbn-papers100M, the largest public graph dataset, with over 110 million nodes and 1.5 billion edges.


title: Combining hard and soft decoders for hypergraph product codes

abstract: Hypergraph product codes are a class of constant-rate quantum low-density parity-check (LDPC) codes equipped with a linear-time decoder called small-set-flip (SSF). This decoder displays sub-optimal performance in practice and requires very large error correcting codes to be effective. In this work, we present new hybrid decoders that combine the belief propagation (BP) algorithm with the SSF decoder. We present the results of numerical simulations when codes are subject to independent bit-flip and phase-flip errors. We provide evidence that the threshold of these codes is roughly 7.5% assuming an ideal syndrome extraction, and remains close to 3% in the presence of syndrome noise. This result subsumes and significantly improves upon an earlier work by Grospellier and Krishna (arXiv:1810.03681). The low-complexity high-performance of these heuristic decoders suggests that decoding should not be a substantial difficulty when moving from zero-rate surface codes to constant-rate LDPC codes and gives a further hint that such codes are well-worth investigating in the context of building large universal quantum computers.


title: Resonant inelastic x-ray scattering study of doping and temperature dependence of low-energy excitations in La$_{1-x}$Sr$_x$VO$_3$

abstract: We present a temperature and doping dependent resonant inelastic X-ray scattering experiment at the V L$_{2,3}$ and O K edges in La$_{1-x}$Sr$_x$VO$_3$ for $x=0$ and $x=0.1$. This material is a canonical example of a compound that exhibits a filling control metal-insulator transition and undergoes orbital ordering and antiferromagnetic transitions at low temperature. Temperature dependent measurements at the V L$_{3}$ edge reveal an intra-t$_{2g}$ excitation that blueshifts by 40 meV from room temperature to 30 K at a rate that differs between the para- and antiferromagnetic phases. The lineshape can be partially explained by a purely local model using crystal field theory calculations. At $x=0.1$ the doping is shown to affect the local electronic structure primarily on the O sites, which is in disagreement with a simple Mott-Hubbard picture. We reveal the presence of phonon overtone features at the O K edge, which evidences that the low energy part of the spectrum is dominated by phonon response.


title: An efficient computational framework for naval shape design and optimization problems by means of data-driven reduced order modeling techniques

abstract: This contribution describes the implementation of a data--driven shape optimization pipeline in a naval architecture application. We adopt reduced order models (ROMs) in order to improve the efficiency of the overall optimization, keeping a modular and equation-free nature to target the industrial demand. We applied the above mentioned pipeline to a realistic cruise ship in order to reduce the total drag. We begin by defining the design space, generated by deforming an initial shape in a parametric way using free form deformation (FFD). The evaluation of the performance of each new hull is determined by simulating the flux via finite volume discretization of a two-phase (water and air) fluid. Since the fluid dynamics model can result very expensive -- especially dealing with complex industrial geometries -- we propose also a dynamic mode decomposition (DMD) enhancement to reduce the computational cost of a single numerical simulation. The real--time computation is finally achieved by means of proper orthogonal decomposition with Gaussian process regression (POD-GPR) technique. Thanks to the quick approximation, a genetic optimization algorithm becomes feasible to converge towards the optimal shape.


title: Emissions minimization on road networks via Generic Second Order Models

abstract: In this paper we consider the problem of estimating emissions due to vehicular traffic on complex networks, and minimizing their effect by regulating traffic at junctions. For the traffic evolution, we consider a Generic Second Order Model, which encompasses the majority of two-equations (i.e. second-order) models available in the literature, and extend it to road networks with merge and diverge junctions. The dynamics on the whole network is determined by selecting a solution to the Riemann Problems at junctions, i.e. the Cauchy problems with constant initial data on each incident road. The latter are solved assuming the maximization of the flow and assigning a traffic distribution coefficient for outgoing roads of diverges, and a priority rule for incoming roads of merges. A general emission model is considered and its parameters are tuned to the NOx emission rate. The minimization of emissions is then formulated in terms of the traffic distribution and priority parameters, taking into account travel times. A comparison is provided between roundabouts with optimized parameters and traffic lights, which correspond to time-varying traffic priorities. Our approach can be adapted to manage traffic in complex networks in order to reduce emissions while keeping travel time at acceptable levels.


title: Asymptotic of the greatest distance between adjacent primes and the Hardy-Littlewood conjecture

abstract: The paper substantiates the conjecture of the asymptotic behavior of the largest distance between consecutive primes: $sup_{p_i \leq x}(p_{i+1}-p_i) \sim 2e^{-\gamma} \log^2(x)$, where $\gamma$ is the Euler constant. The Hardy-Littlewood conjecture about the number of prime tuples is investigated and the rationale for this conjecture is given, taking into account the fact that a large natural number is not divisible by primes. It also substantiates why the accuracy of this conjecture is not affected by another assumption about the probability of a natural number being prime, although such a probability does not exist. The paper also considers the distribution of prime tuples using a mathematical model based on the Hardy-Littlewood conjecture.


title: Classification using Hyperdimensional Computing: A Review

abstract: Hyperdimensional (HD) computing is built upon its unique data type referred to as hypervectors. The dimension of these hypervectors is typically in the range of tens of thousands. Proposed to solve cognitive tasks, HD computing aims at calculating similarity among its data. Data transformation is realized by three operations, including addition, multiplication and permutation. Its ultra-wide data representation introduces redundancy against noise. Since information is evenly distributed over every bit of the hypervectors, HD computing is inherently robust. Additionally, due to the nature of those three operations, HD computing leads to fast learning ability, high energy efficiency and acceptable accuracy in learning and classification tasks. This paper introduces the background of HD computing, and reviews the data representation, data transformation, and similarity measurement. The orthogonality in high dimensions presents opportunities for flexible computing. To balance the tradeoff between accuracy and efficiency, strategies include but are not limited to encoding, retraining, binarization and hardware acceleration. Evaluations indicate that HD computing shows great potential in addressing problems using data in the form of letters, signals and images. HD computing especially shows significant promise to replace machine learning algorithms as a light-weight classifier in the field of internet of things (IoTs).


title: Optimized Quantum Compilation for Near-Term Algorithms with OpenPulse

abstract: Quantum computers are traditionally operated by programmers at the granularity of a gate-based instruction set. However, the actual device-level control of a quantum computer is performed via analog pulses. We introduce a compiler that exploits direct control at this microarchitectural level to achieve significant improvements for quantum programs. Unlike quantum optimal control, our approach is bootstrapped from existing gate calibrations and the resulting pulses are simple. Our techniques are applicable to any quantum computer and realizable on current devices. We validate our techniques with millions of experimental shots on IBM quantum computers, controlled via the OpenPulse control interface. For representative benchmarks, our pulse control techniques achieve both 1.6x lower error rates and 2x faster execution time, relative to standard gate-based compilation. These improvements are critical in the near-term era of quantum computing, which is bottlenecked by error rates and qubit lifetimes.


title: Multi-level Binarized LSTM in EEG Classification for Wearable Devices

abstract: Long Short-Term Memory (LSTM) is widely used in various sequential applications. Complex LSTMs could be hardly deployed on wearable and resourced-limited devices due to the huge amount of computations and memory requirements. Binary LSTMs are introduced to cope with this problem, however, they lead to significant accuracy loss in some application such as EEG classification which is essential to be deployed in wearable devices. In this paper, we propose an efficient multi-level binarized LSTM which has significantly reduced computations whereas ensuring an accuracy pretty close to full precision LSTM. By deploying 5-level binarized weights and inputs, our method reduces area and delay of MAC operation about 31* and 27* in 65nm technology, respectively with less than 0.01% accuracy loss. In contrast to many compute-intensive deep-learning approaches, the proposed algorithm is lightweight, and therefore, brings performance efficiency with accurate LSTM-based EEG classification to real-time wearable devices.


title: Self-Attention Attribution: Interpreting Information Interactions Inside Transformer

abstract: The great success of Transformer-based models benefits from the powerful multi-head self-attention mechanism, which learns token dependencies and encodes contextual information from the input. Prior work strives to attribute model decisions to individual input features with different saliency measures, but they fail to explain how these input features interact with each other to reach predictions. In this paper, we propose a self-attention attribution method to interpret the information interactions inside Transformer. We take BERT as an example to conduct extensive studies. Firstly, we apply self-attention attribution to identify the important attention heads, while others can be pruned with marginal performance degradation. Furthermore, we extract the most salient dependencies in each layer to construct an attribution tree, which reveals the hierarchical interactions inside Transformer. Finally, we show that the attribution results can be used as adversarial patterns to implement non-targeted attacks towards BERT.


title: Hierarchy of quantum correlations under non-Markovian dynamics

abstract: We investigate the dynamics of quantum correlations (QC) under the effects of reservoir memory, as a resource for quantum information and computation tasks. Quantum correlations of two-qubit systems are used for implementing quantum teleportation successfully, and for investigating how teleportation fidelity, violation of Bell-CHSH inequality, quantum steering and entanglement are connected with each other under the influence of noisy environments. Both Markovian and non-Markovian channels are considered, and it is shown that the decay and revival of correlations follow the hierarchy of quantum correlations in the state space. Noise tolerance of quantum correlations are checked for different types of unital and non-unital quantum channels, with and without memory. The quantum speed limit time $(\tau_{QSL})$ is investigated from the perspective of memory of quantum noise, and the corresponding dynamics is used to analyze the evolution of quantum correlations. We establish the connection between information backflow, quantum speed limit time and dynamics of quantum correlations for non-Markovian quantum channels.


title: LOFAR detectability of prompt low-frequency radio emission during gamma-ray burst X-ray flares

abstract: The prompt emission in long gamma-ray bursts arises from within relativistic outflows created during the collapse of massive stars, and the mechanism by which radiation is produced may be either magnetically- or matter-dominated. In this work we suggest an observational test of a magnetically-dominated Poynting flux model that predicts both gamma-ray and low-frequency radio pulses. A common feature among early light curves of long gamma-ray bursts are X-ray flares, which have been shown to arise from sites internal to the jet. Ascribing these events to the prompt emission, we take an established Swift XRT flare sample and apply a magnetically-dominated wind model to make predictions for the timing and flux density of corresponding radio pulses in the ~100-200 MHz band observable with radio facilities such as LOFAR. We find that 44 per cent of the X-ray flares studied would have had detectable radio emission under this model, for typical sensitivities reached using LOFAR's rapid response mode and assuming negligible absorption and scattering effects in the interstellar and intergalactic medium. We estimate the rate of Swift gamma-ray bursts displaying X-ray flares with detectable radio pulses, accessible to LOFAR, of order seven per year. We determine that LOFAR triggered observations can play a key role in establishing the long debated mechanism responsible for gamma-ray burst prompt emission.


title: Simulating Anisoplanatic Turbulence by Sampling Inter-modal and Spatially Correlated Zernike Coefficients

abstract: Simulating atmospheric turbulence is an essential task for evaluating turbulence mitigation algorithms and training learning-based methods. Advanced numerical simulators for atmospheric turbulence are available, but they require evaluating wave propagation which is computationally expensive. In this paper, we present a propagation-free method for simulating imaging through turbulence. The key idea behind our work is a new method to draw inter-modal and spatially correlated Zernike coefficients. By establishing the equivalence between the angle-of-arrival correlation by Basu, McCrae and Fiorino (2015) and the multi-aperture correlation by Chanan (1992), we show that the Zernike coefficients can be drawn according to a covariance matrix defining the correlations. We propose fast and scalable sampling strategies to draw these samples. The new method allows us to compress the wave propagation problem into a sampling problem, hence making the new simulator significantly faster than existing ones. Experimental results show that the simulator has an excellent match with the theory and real turbulence data.

categories: physics.optics astro-ph.IM cs.CV eess.IV physics.flu-dyn


title: Prokhorov distance with rates of convergence under sublinear expectations

abstract: Prokhorov distances under sublinear expectations are presented in CLT and functional CLT, and the convergence rates for them are obtained by Lindeberg method. In particular, the obtained estimate in functional CLT yields known Borovkov's estimate in classical functional CLT with explicit constant.


title: Riccati ADI: Existence, uniqueness and new iterative methods

abstract: The approximate solution of large-scale algebraic Riccati equations is considered. We are interested in approximate solutions which yield a Riccati residual matrix of a particular small rank. It is assumed that such approximate solutions can be written in factored form $ZYZ^*$ with a rectangular matrix $Z$ and a small quadratic matrix $Y$. We propose to choose $Z$ such that its columns span a certain rational Krylov subspace. Conditions under which such an approximate solution exists and is unique are determined. It is shown that the proposed method can be interpreted as an oblique projection method. Two new iterative procedures with efficient updates of the solution and the residual factor are derived. With our approach complex system matrices can be handled, realification is provided and parallelization is introduced.


title: Chudnovsky's Conjecture and the stable Harbourne-Huneke containment

abstract: In this paper, we investigate containment statements between symbolic and ordinary powers and bounds on the Waldschmidt constant of defining ideals of points in projective spaces. We establish the stable Harbourne conjecture for the defining ideal of a general set of points. We also prove Chudnovsky's Conjecture and the stable version of the Harbourne--Huneke containment conjectures for a general set of sufficiently many points.