title: Spreading speeds of a parabolic-parabolic chemotaxis model with logistic source on $\mathbb{R}^{N}$

abstract: The current paper is concerned with the spreading speeds of the following parabolic-parabolic chemotaxis model with logistic source on $\mathbb{R}^{N}$, \begin{equation} \begin{cases} u_t=\Delta u-\chi\nabla\cdot ( u\nabla v) + u(a-bu),\quad x\in\mathbb{R}^{N},\cr {v_t}=\Delta v -\lambda v+\mu u,\quad x\in \mathbb{R}^{N}. \end{cases}(1) \end{equation} where $\chi, \ a,\ b,\ \lambda,\ \mu$ are positive constants. Assume $b>\frac{N\mu\chi}{4}$. Among others, it is proved that $2\sqrt{a}$ is the spreading speed of the global classical solutions of (1) with nonempty compactly supported initial functions, that is, $$ \lim_{t\to\infty}\sup_{|x|\geq ct}u(x,t;u_0,v_0)=0\quad \forall\,\, c>2\sqrt{a} $$ and $$ \liminf_{t\to\infty}\inf_{|x|\leq ct}u(x,t;u_0,v_0)>0 \quad \forall\,\, 0<c<2\sqrt{a}. $$ where $(u(x,t;u_0,v_0), v(x,t;u_0,v_0))$ is the unique global classical solution of (1) with $u(x,0;u_0,v_0)=u_0$, $v(x,0;u_0,v_0)=v_0$, and ${\rm supp}(u_0)$, ${\rm supp}(v_0)$ are nonempty and compact. It is well known that $2\sqrt{a}$ is the spreading speed of the following Fisher-KPP equation, $$ u_t=\Delta u+u(a-bu),\quad \forall\,\ x\in\mathbb{R}^{N}. $$ Hence, if $b>\frac{N\mu\chi}{4}$, the chemotaxis neither speeds up nor slows down the spatial spreading in the Fisher-KPP equation.


title: Electro-magnetic field fluctuation and its correlation with the participant plane in Au+Au and isobaric collisions at $\sqrt{s_{NN}}=200$ GeV

abstract: Intense transient electric ({\bf E}) and magnetic ({\bf B}) fields are produced in the high energy heavy-ion collisions. The electromagnetic fields produced in such high-energy heavy-ion collisions are proposed to give rise to a multitude of exciting phenomenon including the Chiral Magnetic Effect. We use a Monte Carlo (MC) Glauber model to calculate the electric and magnetic fields, more specifically their scalar product $\bf{E}\cdot\bf{B}$, as a function of space-time on an event-by-event basis for the Au+Au collisions at $\sqrt{s_{NN}}=200$ GeV for different centrality classes. We also calculate the same for the isobars Ruthenium and Zirconium at $\sqrt{s_{NN}}=200$ GeV. In the QED sector $\bf{E}\cdot\bf{B}$ acts as a source of Chiral Separation Effect, Chiral Magnetic Wave, etc., which are associated phenomena to the Chiral Magnetic Effect. We also study the relationships between the electromagnetic symmetry plane angle defined by $\bf{E}\cdot\bf{B}$ ($\psi_{E.B}$) and the participant plane angle $\psi_{P}$ defined from the participating nucleons for the second-fifth order harmonics.


title: Persistent Cup-Length

abstract: Cohomological ideas have recently been injected into persistent homology and have for example been used for accelerating the calculation of persistence diagrams by the software Ripser. The cup product operation which is available at cohomology level gives rise to a graded ring structure that extends the usual vector space structure and is therefore able to extract and encode additional rich information. The maximum number of cocycles having non-zero cup product yields an invariant, the cup-length, which is useful for discriminating spaces. In this paper, we lift the cup-length into the persistent cup-length function for the purpose of capturing ring-theoretic information about the evolution of the cohomology (ring) structure across a filtration. We show that the persistent cup-length function can be computed from a family of representative cocycles and devise a polynomial time algorithm for its computation. We furthermore show that this invariant is stable under suitable interleaving-type distances.


title: EditSpeech: A Text Based Speech Editing System Using Partial Inference and Bidirectional Fusion

abstract: This paper presents the design, implementation and evaluation of a speech editing system, named EditSpeech, which allows a user to perform deletion, insertion and replacement of words in a given speech utterance, without causing audible degradation in speech quality and naturalness. The EditSpeech system is developed upon a neural text-to-speech (NTTS) synthesis framework. Partial inference and bidirectional fusion are proposed to effectively incorporate the contextual information related to the edited region and achieve smooth transition at both left and right boundaries. Distortion introduced to the unmodified parts of the utterance is alleviated. The EditSpeech system is developed and evaluated on English and Chinese in multi-speaker scenarios. Objective and subjective evaluation demonstrate that EditSpeech outperforms a few baseline systems in terms of low spectral distortion and preferred speech quality. Audio samples are available online for demonstration https://daxintan-cuhk.github.io/EditSpeech/ .


title: Entanglement-based tensor-network strong-disorder renormalization group

abstract: We propose an entanglement-based algorithm of the tensor-network strong-disorder renormalization group (tSDRG) method for quantum spin systems with quenched randomness. In contrast to the previous tSDRG algorithm based on the energy spectrum of renormalized block Hamiltonians, we directly utilizes the entanglement structure associated with the blocks to be renormalized. We examine accuracy of the new algorithm for the random antiferromagnetic Heisenberg models on the one-dimensional, triangular, and square lattices. We then find that the entanglement-based tSDRG achieves better accuracy than the previous one for the square lattice model with weak randomness, while it is less efficient for the one-dimensional and triangular lattice models particularly in the strong randomness region. The theoretical background and possible improvements of the algorithm are also discussed.


title: How Anti-de Sitter Black Holes Reach Thermal Equilibrium

abstract: It is commonly known in the literature that large black holes in anti-de Sitter spacetimes (with reflective boundary condition) are in thermal equilibrium with their Hawking radiation. Focusing on black holes with event horizon of toroidal topology, we study a simple model to understand explicitly how this thermal equilibrium is reached under Hawking evaporation. It is shown that it is possible for a large toroidal black hole to evolve into a small (but stable) one.


title: Leveraging Graph and Deep Learning Uncertainties to Detect Anomalous Trajectories

abstract: Understanding and representing traffic patterns are key to detecting anomalous trajectories in the transportation domain. However, some trajectories can exhibit heterogeneous maneuvering characteristics despite confining to normal patterns. Thus, we propose a novel graph-based trajectory representation and association scheme for extraction and confederation of traffic movement patterns, such that data patterns and uncertainty can be learned by deep learning (DL) models. This paper proposes the usage of a recurrent neural network (RNN)-based evidential regression model, which can predict trajectory at future timesteps as well as estimate the data and model uncertainties associated, to detect maritime anomalous trajectories, such as unusual vessel maneuvering, using automatic identification system (AIS) data. Furthermore, we utilize evidential deep learning classifiers to detect unusual turns of vessels and the loss of transmitted signal using predicted class probabilities with associated uncertainties. Our experimental results suggest that the graphical representation of traffic patterns improves the ability of the DL models, such as evidential and Monte Carlo dropout, to learn the temporal-spatial correlation of data and associated uncertainties. Using different datasets and experiments, we demonstrate that the estimated prediction uncertainty yields fundamental information for the detection of traffic anomalies in the maritime and, possibly in other domains.


title: Direct Measure Matching for Crowd Counting

abstract: Traditional crowd counting approaches usually use Gaussian assumption to generate pseudo density ground truth, which suffers from problems like inaccurate estimation of the Gaussian kernel sizes. In this paper, we propose a new measure-based counting approach to regress the predicted density maps to the scattered point-annotated ground truth directly. First, crowd counting is formulated as a measure matching problem. Second, we derive a semi-balanced form of Sinkhorn divergence, based on which a Sinkhorn counting loss is designed for measure matching. Third, we propose a self-supervised mechanism by devising a Sinkhorn scale consistency loss to resist scale changes. Finally, an efficient optimization method is provided to minimize the overall loss function. Extensive experiments on four challenging crowd counting datasets namely ShanghaiTech, UCF-QNRF, JHU++, and NWPU have validated the proposed method.


title: Smoothed Differential Privacy

abstract: Differential privacy (DP) is a widely-accepted and widely-applied notion of privacy based on worst-case analysis. Often, DP classifies most mechanisms without additive noise as non-private (Dwork et al., 2014). Thus, additive noises are added to improve privacy (to achieve DP). However, in many real-world applications, adding additive noise is undesirable (Bagdasaryan et al., 2019) and sometimes prohibited (Liu et al., 2020). In this paper, we propose a natural extension of DP following the worst average-case idea behind the celebrated smoothed analysis (Spielman & Teng, May 2004). Our notion, smoothed DP, can effectively measure the privacy leakage of mechanisms without additive noises under realistic settings. We prove that any discrete mechanism with sampling procedures is more private than what DP predicts, while many continuous mechanisms with sampling procedures are still non-private under smoothed DP. In addition, we prove several desirable properties of smoothed DP, including composition, robustness to post-processing, and distribution reduction. Based on those properties, we propose an efficient algorithm to calculate the privacy parameters for smoothed DP. Experimentally, we verify that, according to smoothed DP, the discrete sampling mechanisms are private in real-world elections, and some discrete neural networks can be private without adding any additive noise. We believe that these results contribute to the theoretical foundation of realistic privacy measures beyond worst-case analysis.


title: Virtual synchronous generator of PV generation without energy storage for frequency support in autonomous microgrid

abstract: In autonomous microgrids frequency regulation (FR) is a critical issue, especially with a high level of penetration of the photovoltaic (PV) generation. In this study, a novel virtual synchronous generator (VSG) control for PV generation was introduced to provide frequency support without energy storage. PV generation reserve a part of the active power in accordance with the pre-defined power versus voltage curve. Based on the similarities of the synchronous generator power-angle characteristic curve and the PV array characteristic curve, PV voltage Vpv can be analogized to the power angle {\delta}. An emulated governor (droop control) and the swing equation control is designed and applied to the DC-DC converter. PV voltage deviation is subsequently generated and the pre-defined power versus voltage curve is modified to provide the primary frequency and inertia support. A simulation model of an autonomous microgrid with PV, storage, and diesel generator was built. The feasibility and effectiveness of the proposed VSG strategy are examined under different operating conditions.


title: Certifiably Robust Interpretation via Renyi Differential Privacy

abstract: Motivated by the recent discovery that the interpretation maps of CNNs could easily be manipulated by adversarial attacks against network interpretability, we study the problem of interpretation robustness from a new perspective of \Renyi differential privacy (RDP). The advantages of our Renyi-Robust-Smooth (RDP-based interpretation method) are three-folds. First, it can offer provable and certifiable top-$k$ robustness. That is, the top-$k$ important attributions of the interpretation map are provably robust under any input perturbation with bounded $\ell_d$-norm (for any $d\geq 1$, including $d = \infty$). Second, our proposed method offers $\sim10\%$ better experimental robustness than existing approaches in terms of the top-$k$ attributions. Remarkably, the accuracy of Renyi-Robust-Smooth also outperforms existing approaches. Third, our method can provide a smooth tradeoff between robustness and computational efficiency. Experimentally, its top-$k$ attributions are {\em twice} more robust than existing approaches when the computational resources are highly constrained.


title: Random Neural Networks in the Infinite Width Limit as Gaussian Processes

abstract: This article gives a new proof that fully connected neural networks with random weights and biases converge to Gaussian processes in the regime where the input dimension, output dimension, and depth are kept fixed, while the hidden layer widths tend to infinity. Unlike prior work, convergence is shown assuming only moment conditions for the distribution of weights and for quite general non-linearities.


title: Complex High Internal-Phase Emulsions that can Form Interfacial Films with Tuneable Morphologies

abstract: High internal phase emulsions (HIPEs) are considered as an important functional material and have been the focus of intense development effort, but it has not been possible to alter their fundamental attributes at either the microcosmic or macroscopic level, which severely limits their practical applications in various areas. In this work, we report a general strategy for creating complex HIPEs and we additionally show a route to forming HIPE films at liquid interfaces. Double HIPEs and Janus HIPEs are both realized for the first time. They feature complex microscopic patterns with a short-range anisotropy, and exhibit non-Newtonian pseudoplastic flow behavior. By taking advantage of their response to a high-pH subphase, interfacial films can be successfully obtained, which are tunable in thickness and morphologies under compression.


title: Dynamics of rotating spin-orbit-coupled Bose-Einstein condensates in a quasicrystalline optical lattice

abstract: We investigate the dynamics of rotating pseudo-spin-1/2 Bose-Einstein condensates (BECs) with Rashba spin-orbit coupling (SOC) in a quasicrystalline optical lattice (QOL). For given parameters, the system evolves from an initial heliciform-stripe phase into a final visible vortex necklace with a giant vortex and a hidden vortex necklace. Simultaneously, the corresponding spin texture undergoes a transition from a meron-antimeron pair to a half-antiskyrmion necklace. During the dynamic evolution process, the angular momentum increases gradually, and then approaches to a convergent value. Furthermore, typical quantum phases of rotating two-component BECs with SOC in different external potentials are summarized.


title: Dynamics of kicked spin-orbit-coupled Bose-Einstein condensates

abstract: We investigate the dynamics of kicked pseudo-spin-1/2 Bose-Einstein condensates (BECs) with spin-orbit coupling (SOC) in a tightly confined toroidal trap. The system exhibits different dynamical behaviors depending on the competition among SOC, kick strength, kick period and interatomic interaction. For weak kick strength, with the increase of SOC the density profiles of two components evolve from overlapped symmetric distributions into staggered antisymmetric distributions, and the evolution of energy experiences a transition from quasiperiodic motion to modulated quantum beating. For large kick strength, when the SOC strength increases, the overlapped symmetric density distributions become staggered irregular patterns, and the energy evolution undergoes a transition from quasiperiodic motion to dynamical localization. Furthermore, in the case of weak SOC, the increase of kick period leads to a transition of the system from quantum beating to Rabi oscillation, while for the case of strong SOC the system demonstrates complex quasiperiodic motion.


title: Certifying DFA Bounds for Recognition and Separation

abstract: The automation of decision procedures makes certification essential. We suggest to use determinacy of turn-based two-player games with regular winning conditions in order to generate certificates for the number of states that a deterministic finite automaton (DFA) needs in order to recognize a given language. Given a language $L$ and a bound $k$, recognizability of $L$ by a DFA with $k$ states is reduced to a game between Prover and Refuter. The interaction along the game then serves as a certificate. Certificates generated by Prover are minimal DFAs. Certificates generated by Refuter are faulty attempts to define the required DFA. We compare the length of offline certificates, which are generated with no interaction between Prover and Refuter, and online certificates, which are based on such an interaction, and are thus shorter. We show that our approach is useful also for certification of separability of regular languages by a DFA of a given size. Unlike DFA minimization, which can be solved in polynomial time, separation is NP-complete, and thus the certification approach is essential. In addition, we prove NP-completeness of a strict version of separation.


title: Superconducting insulators and localization of Cooper pairs

abstract: Rapid miniaturization of electronic devices and circuits demands profound understanding of fluctuation phenomena at the nanoscale. Superconducting nanowires -- serving as important building blocks for such devices -- may seriously suffer from fluctuations which tend to destroy long-range order and suppress superconductivity. In particular, quantum phase slips (QPS) proliferating at low temperatures may turn a quasi-one-dimensional superconductor into a resistor or an insulator. Here, we introduce a physical concept of QPS-controlled localization of Cooper pairs that may occur even in uniform nanowires without any dielectric barriers being a fundamental manifestation of the flux-charge duality in superconductors. We demonstrate -- both experimentally and theoretically -- that deep in the "insulating" state such nanowires actually exhibit non-trivial superposition of superconductivity and weak Coulomb blockade of Cooper pairs generated by quantum tunneling of magnetic fluxons across the wire.


title: A Note on Utility Maximization with Proportional Transaction Costs and Stability of Optimal Portfolios

abstract: The aim of this short note is to establish a limit theorem for the optimal trading strategies in the setup of the utility maximization problem with proportional transaction costs. This limit theorem resolves the open question from [4]. The main idea of our proof is to establish a uniqueness result for the optimal strategy. The proof of the uniqueness is heavily based on the dual approach which was developed recently in [6,7,8].


title: Cross-Modal Transformer-Based Neural Correction Models for Automatic Speech Recognition

abstract: We propose a cross-modal transformer-based neural correction models that refines the output of an automatic speech recognition (ASR) system so as to exclude ASR errors. Generally, neural correction models are composed of encoder-decoder networks, which can directly model sequence-to-sequence mapping problems. The most successful method is to use both input speech and its ASR output text as the input contexts for the encoder-decoder networks. However, the conventional method cannot take into account the relationships between these two different modal inputs because the input contexts are separately encoded for each modal. To effectively leverage the correlated information between the two different modal inputs, our proposed models encode two different contexts jointly on the basis of cross-modal self-attention using a transformer. We expect that cross-modal self-attention can effectively capture the relationships between two different modals for refining ASR hypotheses. We also introduce a shallow fusion technique to efficiently integrate the first-pass ASR model and our proposed neural correction model. Experiments on Japanese natural language ASR tasks demonstrated that our proposed models achieve better ASR performance than conventional neural correction models.


title: Using Computer Simulations to Investigate the Potential Performance of 'A to B' Routing Systems for People with Mobility Impairments

abstract: Navigating from 'A to B' remains a serious problem for many people with mobility impairments, due to the need to avoid accessibility barriers. Yet there is currently no effective routing tool that is regularly used by people with disabilities in order to effectively avoid accessibility barriers in the built environment. To explore what is required to produce an effective routing tool, we have conducted Monte-Carlo simulations, simulating over 460 million journeys. This work illustrates the need to focus on barrier minimization, instead of barrier avoidance, due to the limitations of what can be achieved by any accessibility documentation tool. We also make a substantial contribution to the concern of meaningful performance metrics for activity recognition, illustrating how simulations can operate as useful real-world performance metrics for information sources utilized by navigation systems.


title: Audio-Oriented Multimodal Machine Comprehension: Task, Dataset and Model

abstract: While Machine Comprehension (MC) has attracted extensive research interests in recent years, existing approaches mainly belong to the category of Machine Reading Comprehension task which mines textual inputs (paragraphs and questions) to predict the answers (choices or text spans). However, there are a lot of MC tasks that accept audio input in addition to the textual input, e.g. English listening comprehension test. In this paper, we target the problem of Audio-Oriented Multimodal Machine Comprehension, and its goal is to answer questions based on the given audio and textual information. To solve this problem, we propose a Dynamic Inter- and Intra-modality Attention (DIIA) model to effectively fuse the two modalities (audio and textual). DIIA can work as an independent component and thus be easily integrated into existing MC models. Moreover, we further develop a Multimodal Knowledge Distillation (MKD) module to enable our multimodal MC model to accurately predict the answers based only on either the text or the audio. As a result, the proposed approach can handle various tasks including: Audio-Oriented Multimodal Machine Comprehension, Machine Reading Comprehension and Machine Listening Comprehension, in a single model, making fair comparisons possible between our model and the existing unimodal MC models. Experimental results and analysis prove the effectiveness of the proposed approaches. First, the proposed DIIA boosts the baseline models by up to 21.08% in terms of accuracy; Second, under the unimodal scenarios, the MKD module allows our multimodal MC model to significantly outperform the unimodal models by up to 18.87%, which are trained and tested with only audio or textual data.


title: Lightning Stokes solver

abstract: Gopal and Trefethen recently introduced "lightning solvers" for the 2D Laplace and Helmholtz equations, based on rational functions with poles exponentially clustered near singular corners. Making use of the Goursat representation in terms of analytic functions, we extend these methods to the biharmonic equation, specifically to 2D Stokes flow. Solutions to model problems are computed to 10-digit accuracy in less than a second of laptop time. As an illustration of the high accuracy, we resolve two or more counter-rotating Moffatt eddies near a singular corner.


title: Arabic Code-Switching Speech Recognition using Monolingual Data

abstract: Code-switching in automatic speech recognition (ASR) is an important challenge due to globalization. Recent research in multilingual ASR shows potential improvement over monolingual systems. We study key issues related to multilingual modeling for ASR through a series of large-scale ASR experiments. Our innovative framework deploys a multi-graph approach in the weighted finite state transducers (WFST) framework. We compare our WFST decoding strategies with a transformer sequence to sequence system trained on the same data. Given a code-switching scenario between Arabic and English languages, our results show that the WFST decoding approaches were more suitable for the intersentential code-switching datasets. In addition, the transformer system performed better for intrasentential code-switching task. With this study, we release an artificially generated development and test sets, along with ecological code-switching test set, to benchmark the ASR performance.


title: AAA-least squares rational approximation and solution of Laplace problems

abstract: A two-step method for solving planar Laplace problems via rational approximation is introduced. First complex rational approximations to the boundary data are determined by AAA approximation, either globally or locally near each corner or other singularity. The poles of these approximations outside the problem domain are then collected and used for a global least-squares fit to the solution. Typical problems are solved in a second of laptop time to 8-digit accuracy, all the way up to the corners, and the conjugate harmonic function is also provided. The AAA-least squares combination also offers a new method for avoiding spurious poles in other rational approximation problems, and for greatly speeding them up in cases with many singularities. As a special case, AAA-LS approximation leads to a powerful method for computing the Hilbert transform or Dirichlet-to-Neumann map.


title: Tracking droplets in soft granular flows with deep learning techniques

abstract: The state-of-the-art deep learning-based object recognition YOLO algorithm and object tracking DeepSORT algorithm are combined to analyze digital images from fluid dynamic simulations of multi-core emulsions and soft flowing crystals and to track moving droplets within these complex flows. The YOLO network was trained to recognize the droplets with synthetically prepared data, thereby bypassing the labor-intensive data acquisition process. In both applications, the trained YOLO + DeepSORT procedure performs with high accuracy on the real data from the fluid simulations, with low error levels in the inferred trajectories of the droplets and independently computed ground truth. Moreover, using commonly used desktop GPUs, the developed application is capable of analyzing data at speeds that exceed the typical image acquisition rates of digital cameras (30 fps), opening the interesting prospect of realizing a low-cost and practical tool to study systems with many moving objects, mostly but not exclusively, biological ones. Besides its practical applications, the procedure presented here marks the first step towards the automatic extraction of effective equations of motion of many-body soft flowing systems.


title: Photo-Induced Ultrafast Symmetry Switch in SnSe

abstract: Layered tin selenide (SnSe) has recently emerged as a high-performance thermoelectric material with the current record for the figure of merit (ZT) observed in the high-temperature Cmcm phase. So far, access of the Cmcm phase has been mainly obtained via thermal equilibrium methods based on sample heating or application of external pressure, thus restricting the current understanding only to ground-state conditions. Here, we investigate the ultrafast carrier and phononic dynamics in SnSe. Our results demonstrate that optical excitations can transiently switch the point-group symmetry of the crystal from Pnma to Cmcm at room temperature in a few hundreds of femtoseconds with an ultralow threshold for the excitation carrier density. This non-equilibrium Cmcm phase is found to be driven by the displacive excitation of coherent Ag phonons and, given the absence of low-energy thermal phonons, exists in SnSe with the status of 'cold lattice with hot carriers'. Our findings provide important insight for understanding non-equilibrium thermoelectric properties of SnSe.


title: Dynamics in the transition region beneath active region upflows viewed by IRIS

abstract: Coronal upflows at the edges of active regions (AR), which are a possible source of slow solar wind, have been found to connect with dynamics in the transition region. To infer at what scale transition region dynamics connect to AR upflows, we investigate the statistical properties of the small-scale dynamics in the transition region underneath the upflows at the edge of AR NOAA 11934. With observations from the Interface Region Imaging Spectragraph (IRIS), we found that the Si IV 1403\,\AA\ Doppler map consists of numerous blue-shifted and red-shifted patches mostly with sizes less than 1\,$Mm^2$. The blue-shifted structures in the transition region tend to be brighter than the red-shifted ones, but their nonthermal velocities have no significant difference. With the SWAMIS feature tracking procedure, in IRIS slit-jaw 1400\,\AA\ images we found that dynamic bright dots with an average size of about 0.3\,$Mm^2$ and lifetimes mostly less than 200\,s spread all over the region. Most of the bright dots appear to be localised, without clear signature of propagation of plasma to a long distance on the projection plane. Surge-like motions with speeds about 15 km/s could be seen in some events at the boundaries of the upflow region, where the magnetic field appear to be inclined. We conclude that the transition region dynamics connecting to coronal upflows should occur in very fine scale, suggesting that the corresponding coronal upflows should also be highly-structured. It is also plausible that the transition region dynamics might just act as stimulation at the coronal base that then drives the upflows in the corona.


title: FIMP DM in the Extended Hyperchargeless Higgs Triplet Model

abstract: We perform an exclusive study on the Feebly Interacting Massive Particle (FIMP) dark matter candidate in an extended hyperchargeless ($Y=0$) Higgs triplet model. The additional $Z_2$ odd neutral fermion singlet plays the role of dark matter with support from two other vector-like fermion doublets. The mixing between the neutral component of a doublet and singlet fermions controls the current relic density through the Freeze-in mechanism, whereas the additional doublet fermion helps to get the neutrino mass and mixing angles. We obtain a broad region of the parameter spaces satisfying the current relic density and neutrino mass and mixing angles.


title: Similarity-Aware Fusion Network for 3D Semantic Segmentation

abstract: In this paper, we propose a similarity-aware fusion network (SAFNet) to adaptively fuse 2D images and 3D point clouds for 3D semantic segmentation. Existing fusion-based methods achieve remarkable performances by integrating information from multiple modalities. However, they heavily rely on the correspondence between 2D pixels and 3D points by projection and can only perform the information fusion in a fixed manner, and thus their performances cannot be easily migrated to a more realistic scenario where the collected data often lack strict pair-wise features for prediction. To address this, we employ a late fusion strategy where we first learn the geometric and contextual similarities between the input and back-projected (from 2D pixels) point clouds and utilize them to guide the fusion of two modalities to further exploit complementary information. Specifically, we employ a geometric similarity module (GSM) to directly compare the spatial coordinate distributions of pair-wise 3D neighborhoods, and a contextual similarity module (CSM) to aggregate and compare spatial contextual information of corresponding central points. The two proposed modules can effectively measure how much image features can help predictions, enabling the network to adaptively adjust the contributions of two modalities to the final prediction of each point. Experimental results on the ScanNetV2 benchmark demonstrate that SAFNet significantly outperforms existing state-of-the-art fusion-based approaches across various data integrity.


title: Large cardinals as principles of Structural Reflection

abstract: After discussing the limitations inherent to all set-theoretic reflection principles akin to those studied by A. L\'evy et. al. in the 1960's, we introduce new principles of reflection based on the general notion of \emph{Structural Reflection} and argue that they are in strong agreement with the conception of reflection implicit in Cantor's original idea of the unknowability of the \emph{Absolute}, which was subsequently developed in the works of Ackermann, L\'evy, G\"odel, Reinhardt, and others. We then present a comprehensive survey of results showing that different forms of the new principles of Structural Reflection are equivalent to well-known large cardinals axioms covering all regions of the large-cardinal hierarchy, thereby justifying the naturalness of the latter.


title: Noise Tolerant Identification and Tuning Approach Using Deep Neural Networks For Visual Servoing Applications

abstract: Vision based control of Unmanned Aerial Vehicles (UAVs) has been adopted by a wide range of applications due to the availability of low-cost on-board sensors and computers. Tuning such systems to work properly requires extensive domain specific experience, which limits the growth of emerging applications. Moreover, obtaining performance limits of UAV based visual servoing is difficult due to the complexity of the models used. In this paper, we propose a novel noise tolerant approach for real-time identification and tuning of visual servoing systems, based on deep neural networks (DNN) classification of system response generated by the modified relay feedback test (MRFT). The proposed method, called DNN with noise protected MRFT (DNN-NP-MRFT), can be used with a multitude of vision sensors and estimation algorithms despite the high levels of sensor's noise. Response of DNN-NP-MRFT to noise perturbations is investigated and its effect on identification and tuning performance is analyzed. The proposed DNN-NP-MRFT is able to detect performance changes due to the use of high latency vision sensors, or due to the integration of inertial measurement unit (IMU) measurements in the UAV states estimation. Experimental identification closely matches simulation results, which can be used to explain system behaviour and predict the closed loop performance limits for a given hardware and software setup. We also demonstrate the ability of DNN-NP-MRFT tuned UAVs to reject external disturbances like wind, or human push and pull. Finally, we discuss the advantages of the proposed DNN-NP-MRFT visual servoing design approach compared with other approaches in literature.


title: Wireless Indoor Simultaneous Localization and Mapping Using Reconfigurable Intelligent Surface

abstract: Indoor wireless simultaneous localization and mapping (SLAM) is considered as a promising technique to provide positioning services in future 6G systems. However, the accuracy of traditional wireless SLAM system heavily relies on the quality of propagation paths, which is limited by the uncontrollable wireless environment. In this paper, we propose a novel SLAM system assisted by a reconfigurable intelligent surface (RIS) to address this issue. By configuring the phase shifts of the RIS, the strength of received signals can be enhanced to resist the disturbance of noise. However, the selection of phase shifts heavily influences the localization and mapping phase, which makes the design very challenging. To tackle this challenge, we formulate the RIS-assisted indoor SLAM optimization problem and design an error minimization algorithm for it. Simulations show that the RIS assisted SLAM system can decrease the positioning error by at least 31% compared with benchmark schemes.


title: CasEE: A Joint Learning Framework with Cascade Decoding for Overlapping Event Extraction

abstract: Event extraction (EE) is a crucial information extraction task that aims to extract event information in texts. Most existing methods assume that events appear in sentences without overlaps, which are not applicable to the complicated overlapping event extraction. This work systematically studies the realistic event overlapping problem, where a word may serve as triggers with several types or arguments with different roles. To tackle the above problem, we propose a novel joint learning framework with cascade decoding for overlapping event extraction, termed as CasEE. Particularly, CasEE sequentially performs type detection, trigger extraction and argument extraction, where the overlapped targets are extracted separately conditioned on the specific former prediction. All the subtasks are jointly learned in a framework to capture dependencies among the subtasks. The evaluation on a public event extraction benchmark FewFC demonstrates that CasEE achieves significant improvements on overlapping event extraction over previous competitive methods.


title: Decoding the DC and optical conductivities of disordered MoS$_{2}$ films: an inverse problem

abstract: To calculate the conductivity of a material having full knowledge of its composition is a reasonably simple task. To do the same in reverse, i.e., to find information about the composition of a device from its conductivity response alone, is very challenging and even more so in the presence of disorder. An inversion methodology capable of decoding the information contained in the conductivity response of disordered structures has been recently proposed but despite claims of generality and robustness, the method has only been used with 2D systems possessing relatively simple electronic structures. Here we put these claims to the test and generalise the inversion method to the case of monolayer MoS$_2$, a material whose electronic structure is far more complex and elaborate. Starting from the spectral function that describes the DC conductivity of a disordered sample of a single layered MoS$_2$ containing a small concentration of randomly dispersed vacancies, we are able to invert the signal and find the exact composition of defects with an impressive degree of accuracy. Remarkably, equally accurate results are obtained with the optical conductivity. This is indicative of a methodology that is indeed suitable to extract composition information from different 2D materials, regardless of their electronic structure complexity. Calculated conductivity results were used as a proxy for their experimental counterpart and were obtained with an efficient quantum transport code (KITE) based on a real-space multi-orbital tight-binding model with parameters generated by density functional theory.


title: Survival of itinerant excitations and quantum spin state transitions in YbMgGaO$_4$ with chemical disorder

abstract: A recent focus of quantum spin liquid (QSL) studies is how disorder/randomness in a QSL candidate affects its true magnetic ground state. The ultimate question is whether the QSL survives disorder or the disorder leads to a "spin-liquid-like" state, such as the proposed random-singlet (RS) state. Since disorder is a standard feature of most QSL candidates, this question represents a major challenge for QSL candidates. YbMgGaO$_4$, a triangular lattice antiferromagnet with effective spin-1/2 Yb$^{3+}$ ions, is an ideal system to address this question, since it shows no long-range magnetic ordering with Mg/Ga site disorder. Despite the intensive study, it remains unresolved as to whether YbMgGaO$_4$ is a QSL or in the RS state. Here, through ultralow-temperature thermal conductivity and magnetic torque measurements, plus specific heat and DC magnetization data, we observed a residual $\kappa_0/T$ term and series of quantum spin state transitions in the zero temperature limit for YbMgGaO$_4$. These observations strongly suggest that a QSL state with itinerant excitations and quantum spin fluctuations survives disorder in YbMgGaO$_4$.


title: Lubricated axisymmetric gravity currents of power-law fluids

abstract: The motion of glaciers over their bedrock or drops of fluid along a solid surface can become unstable when these substrates are lubricated. Previous studies modeled such systems as coupled gravity currents (GCs) consisting of one fluid that lubricates the flow of another fluid, and having two propagating fronts. When both fluid are Newtonian and discharged at constant flux, global similarity solutions were found. However, when the top fluid is strain-rate softening experiments have shown that each fluid front evolved with a different exponent. Here we explore theoretically and numerically such lubricated GCs in a model that describes the axisymmetric spreading of a power-law fluid on top of a Newtonian fluid, where the discharge of both fluids is power law in time. We find that the model admits similarity solutions only in specific cases, including the purely Newtonian case, for a certain discharge exponent, at asymptotic limits of the fluids viscosity ratio, and at the vicinity of the fluid fronts. Generally, each fluid front has a power-law time evolution with a similar exponent as a non-lubricated GC of the corresponding fluid, and intercepts that depend on both fluid properties. Consequently, we identify two mechanisms by which the inner lubricating fluid front outstrips the outer fluid front. Many aspects of our theory are found consistent with recent laboratory experiments. Discrepancies suggest that hydrofracturing or wall slip may be important near the fronts. This theory may help to understand the dynamics of various systems, including surges and ice streams.


title: Cosine manifestations of the Gelfand transform

abstract: The goal of the paper is to provide a detailed explanation on how the (continuous) cosine transform and the discrete(-time) cosine transform arise naturally as certain manifestations of the celebrated Gelfand transform. We begin with the introduction of the cosine convolution $\star_c$, which can be viewed as an "arithmetic mean" of the classical convolution and its "twin brother", the anticonvolution. The d'Alambert property of $\star_c$ plays a pivotal role in establishing the bijection between $\Delta(L^1(G),\star_c)$ and the cosine class $\mathcal{COS}(G),$ which turns out to be an open map if $\mathcal{COS}(G)$ is equipped with the topology of uniform convergence on compacta $\tau_{ucc}$. Subsequently, if $G = \mathbb{R},\mathbb{Z}, S^1$ or $\mathbb{Z}_n$ we find a relatively simple topological space which is homeomorphic to $\Delta(L^1(G),\star_c).$ Finally, we witness the "reduction" of the Gelfand transform to the aforementioned cosine transforms.


title: Addition and intersection of linear time-invariant behaviors

abstract: We define and analyze the operations of addition and intersection of linear time-invariant systems in the behavioral setting, where systems are viewed as sets of trajectories rather than input-output maps. The classical definition of addition of input-output systems is addition of the outputs with the inputs being equal. In the behavioral setting, addition of systems is defined as addition of all variables. Intersection of linear time-invariant systems was considered before only for the autonomous case in the context of "common dynamics" estimation. We generalize the notion of common dynamics to open systems (systems with inputs) as intersection of behaviors. This is done by proposing trajectory-based definitions. The main results of the paper are 1) characterization of the link between the complexities (number of inputs and order) of the sum and intersection systems, 2) algorithms for computing their kernel and image representations and 3) a duality property of the two operations. Our approach combines polynomial and numerical linear algebra computations.


title: Experimental Masking of Real Quantum States

abstract: Masking of quantum information is a way of hiding information in correlations such that no information is accessible to any local observer. Although the set of all quantum states as a whole cannot be masked into bipartite correlations according to the no-masking theorem, the set of real states is maskable and is a maximal maskable set. In this work, we experimentally realize a masking protocol of the real ququart by virtue of a photonic quantum walk. Our experiment clearly demonstrates that quantum information of the real ququart can be completely hidden in bipartite correlations of two-qubit hybrid entangled states, which are encoded in two different degrees of freedom of a single photon. The hidden information is not accessible from each qubit alone, but can be faithfully retrieved with a fidelity of about 99% from correlation measurements. By contrast, any superset of the set of real density matrices cannot be masked.


title: Deep Gaussian Process Emulation using Stochastic Imputation

abstract: Deep Gaussian processes (DGPs) provide a rich class of models that can better represent functions with varying regimes or sharp changes, compared to conventional GPs. In this work, we propose a novel inference method for DGPs for computer model emulation. By stochastically imputing the latent layers, our approach transforms a DGP into a linked GP: a novel emulator developed for systems of linked computer models. This transformation permits an efficient DGP training procedure that only involves optimizations of conventional GPs. In addition, predictions from DGP emulators can be made in a fast and analytically tractable manner by naturally utilizing the closed form predictive means and variances of linked GP emulators. We demonstrate the method in a series of synthetic examples and empirical applications, and show that it is a competitive candidate for DGP surrogate inference, combining efficiency that is comparable to doubly stochastic variational inference and uncertainty quantification that is comparable to the fully-Bayesian approach. A $\texttt{Python}$ package $\texttt{dgpsi}$ implementing the method is also produced and available at https://github.com/mingdeyu/DGP.


title: Lefschetz Theorem Using Real Morse Theory

abstract: We prove the Lefschetz hyperplane section theorem using a simpler machinery by making the observation that we can compose the Lefschetz Pencil with a Real Morse function to get a map from the variety to $\mathbb{R}$ which is "close" to being a Real Morse function. The proof uses a new method unlike the conventional one which uses vanishing cycles, thimbles and monodromy. We prove the genus formula for plane curves using Morse theory, Lefschetz pencil and B\'ezout's theorem. And then we prove the Riemann Hurwitz formula for ramified maps between curves by employing techniques from deformation theory. Lastly, we prove the Lefschetz Hyperplane Section Theorem solely using Real Morse Theory and exact sequences.


title: Coarse-to-Careful: Seeking Semantic-related Knowledge for Open-domain Commonsense Question Answering

abstract: It is prevalent to utilize external knowledge to help machine answer questions that need background commonsense, which faces a problem that unlimited knowledge will transmit noisy and misleading information. Towards the issue of introducing related knowledge, we propose a semantic-driven knowledge-aware QA framework, which controls the knowledge injection in a coarse-to-careful fashion. We devise a tailoring strategy to filter extracted knowledge under monitoring of the coarse semantic of question on the knowledge extraction stage. And we develop a semantic-aware knowledge fetching module that engages structural knowledge information and fuses proper knowledge according to the careful semantic of questions in a hierarchical way. Experiments demonstrate that the proposed approach promotes the performance on the CommonsenseQA dataset comparing with strong baselines.


title: On attractor's dimensions of the modified Leray-alpha equation

abstract: The primary objective of this paper is to investigate the modified Leray-alpha equation on the two-dimensional sphere $\mathbb{S}^2$, the square torus $\mathbb{T}^2$ and the three-torus $\mathbb{T}^3$. In the strategy, we prove the existence and the uniqueness of the weak solutions and also the existence of the global attractor for the equation. Then we establish the upper and lower bounds of the Hausdorff and fractal dimensions of the global attractor on both $\mathbb{S}^2$ and $\mathbb{T}^2$. Our method is based on the estimates for the vorticity scalar equations and the stationary solutions around the invariant manifold that are constructed by using the Kolmogorov flows. Finally, we will use the results on $\mathbb{T}^2$ to study the lower bound for attractor's dimensions on the case of $\mathbb{T}^3$.


title: A Rewriting Coherence Theorem with Applications in Homotopy Type Theory

abstract: Higher-dimensional rewriting systems are tools to analyse the structure of formally reducing terms to normal forms, as well as comparing the different reduction paths that lead to those normal forms. This higher structure can be captured by finding a homotopy basis for the rewriting system. We show that the basic notions of confluence and wellfoundedness are sufficient to recursively build such a homotopy basis, with a construction reminiscent of an argument by Craig C. Squier. We then go on to translate this construction to the setting of homotopy type theory, where managing equalities between paths is important in order to construct functions which are coherent with respect to higher dimensions. Eventually, we apply the result to approximate a series of open questions in homotopy type theory, such as the characterisation of the homotopy groups of the free group on a set and the pushout of 1-types. This paper expands on our previous conference contribution "Coherence via Wellfoundedness" (arXiv:2001.07655) by laying out the construction in the language of higher-dimensional rewriting.


title: Learning in nonatomic games, Part I: Finite action spaces and population games

abstract: We examine the long-run behavior of a wide range of dynamics for learning in nonatomic games, in both discrete and continuous time. The class of dynamics under consideration includes fictitious play and its regularized variants, the best-reply dynamics (again, possibly regularized), as well as the dynamics of dual averaging / "follow the regularized leader" (which themselves include as special cases the replicator dynamics and Friedman's projection dynamics). Our analysis concerns both the actual trajectory of play and its time-average, and we cover potential and monotone games, as well as games with an evolutionarily stable state (global or otherwise). We focus exclusively on games with finite action spaces; nonatomic games with continuous action spaces are treated in detail in Part II of this paper.


title: A Systematic Review of Mobile Apps for Child Sexual Abuse Education: Limitations and Design Guidelines

abstract: The objectives of this study are understanding the requirements of a CSA education app, identifying the limitations of existing apps, and providing a guideline for better app design. An electronic search across three major app stores(Google Play, Apple, and Microsoft) is conducted and the selected apps are rated by three independent raters. Total 191 apps are found and finally, 14 apps are selected for review based on defined inclusion and exclusion criteria. An app rating scale for CSA education apps is devised by modifying existing scales and used to evaluate the selected 14 apps. Our rating scale evaluates essential features, criteria, and software quality characteristics that are necessary for CSA education apps, and determined their effectiveness for potential use as CSA education programs for children. The internal consistency of the rating scale and the inter and intra-rater reliability among the raters are also calculated. User comments from the app stores are collected and analyzed to understand their expectations and views. After analyzing the feasibility of reviewed apps, CSA app design considerations are proposed that highlight game-based teaching approaches. Evaluation results showed that most of the reviewed apps are not suitable for being used as CSA education programs. While a few may be able to teach children and parents individually, only the apps "Child Abuse Prevention" (rate 3.89 out of 5) and "Orbit Rescue" (rate 3.92 out of 5) could be deemed suitable for a school-based CSA education program. However, all those apps need to be improved both their software qualities and CSA-specific features for being considered as potential CSA education programs. This study provides the necessary knowledge to developers and individuals regarding essential features and software quality characteristics for designing and developing CSA education apps.


title: A kind of $KK$-theory for rings

abstract: A group equivariant $KK$-theory for rings will be defined and studied in analogy to Kasparov's $KK$-theory for $C^*$-algebras. It is a kind of linearization of the category of rings by allowing addition of homomorphisms, imposing also homotopy invariance, invertibility of matrix corner embeddings, and allowing morphisms which are the opposite split of split exact sequences. We demonstrate the potential of this theory by proving for example equivalence induced by Morita equivalence and a Green-Julg isomorphism in this framework.


title: Domain Adaptation for Sentiment Analysis Using Increased Intraclass Separation

abstract: Sentiment analysis is a costly yet necessary task for enterprises to study the opinions of their customers to improve their products and to determine optimal marketing strategies. Due to the existence of a wide range of domains across different products and services, cross-domain sentiment analysis methods have received significant attention. These methods mitigate the domain gap between different applications by training cross-domain generalizable classifiers which help to relax the need for data annotation for each domain. Most existing methods focus on learning domain-agnostic representations that are invariant with respect to both the source and the target domains. As a result, a classifier that is trained using the source domain annotated data would generalize well in a related target domain. We introduce a new domain adaptation method which induces large margins between different classes in an embedding space. This embedding space is trained to be domain-agnostic by matching the data distributions across the domains. Large intraclass margins in the source domain help to reduce the effect of "domain shift" on the classifier performance in the target domain. Theoretical and empirical analysis are provided to demonstrate that the proposed method is effective.


title: Twisted light, a new tool for General Relativity and beyond

abstract: We describe and present the first observational evidence that light propagating near a rotating black hole is twisted in phase and carries orbital angular momentum. The novel use of this physical observable as an additional tool for the previously known techniques of gravitational lensing allows us to directly measure, for the first time, the spin parameter of a black hole. With the additional information encoded in the orbital angular momentum, not only can we reveal the actual rotation of the compact object, but we can also use rotating black holes as probes to test General Relativity.

categories: gr-qc astro-ph.HE astro-ph.IM physics.optics


title: ETHTID: Deployable Threshold Information Disclosure on Ethereum

abstract: We address the Threshold Information Disclosure (TID) problem on Ethereum: An arbitrary number of users commit to the scheduled disclosure of their individual messages recorded on the Ethereum blockchain if and only if all such messages are disclosed. Before a disclosure, only the original sender of each message should know its contents. To accomplish this, we task a small council with executing a distributed generation and threshold sharing of an asymmetric key pair. The public key can be used to encrypt messages which only become readable once the threshold-shared decryption key is reconstructed at a predefined point in time and recorded on-chain. With blockchains like Ethereum, it is possible to coordinate such procedures and attach economic stakes to the actions of participating individuals. In this paper, we present ETHTID, an Ethereum smart contract application to coordinate Threshold Information Disclosure. We base our implementation on ETHDKG [1], a smart contract application for distributed key generation and threshold sharing, and adapt it to fit our differing use case as well as add functionality to oversee a scheduled reconstruction of the decryption key. For our main cost saving optimisation, we show that the security of the underlying cryptographic scheme is maintained. We evaluate how the execution costs depend on the size of the council and the threshold and show that the presented protocol is deployable on Ethereum with a council of more than 200 members with gas savings of 20-40% compared to ETHDKG.


title: Applications And Potentials Of Intelligent Swarms For Magnetospheric Studies

abstract: Earth's magnetosphere is vital for today's technologically dependent society. To date, numerous design studies have been conducted and over a dozen science missions have own to study the magnetosphere. However, a majority of these solutions relied on large monolithic satellites, which limited the spatial resolution of these investigations, as did the technological limitations of the past. To counter these limitations, we propose the use of a satellite swarm carrying numerous and distributed payloads for magnetospheric measurements. Our mission is named APIS (Applications and Potentials of Intelligent Swarms), which aims to characterize fundamental plasma processes in the Earth's magnetosphere and measure the effect of the solar wind on our magnetosphere. We propose a swarm of 40 CubeSats in two highly-elliptical orbits around the Earth, which perform radio tomography in the magnetotail at 8-12 Earth Radii (RE) downstream, and the subsolar magnetosphere at 8-12RE upstream. In addition, in-situ measurements of the magnetic and electric fields, plasma density will be performed by on-board instruments. In this article, we present an outline of previous missions and designs for magnetospheric studies, along with the science drivers and motivation for the APIS mission. Furthermore, preliminary design results are included to show the feasibility of such a mission. The science requirements drive the APIS mission design, the mission operation and the system requirements. In addition to the various science payloads, critical subsystems of the satellites are investigated e.g., navigation, communication, processing and power systems. We summarize our findings, along with the potential next steps to strengthen our design study.


title: Graphical State Space Model

abstract: In this paper, a new framework, named as graphical state space model, is proposed for the real time optimal estimation of a class of nonlinear state space model. By discretizing this kind of system model as an equation which can not be solved by Extended Kalman filter, factor graph optimization can outperform Extended Kalman filter in some cases. A simple nonlinear example is given to demonstrate the efficiency of this framework.


title: Dispersive bands of bound states in the continuum

abstract: Bound states in the continuum (BICs), i.e. highly-localized modes with energy embedded in the continuum of radiating waves, have provided in the past decade a new paradigm in optics and photonics, especially at the nanoscale, with a range of applications from nano photonics to optical sensing and laser design. Here we introduce the idea of a crystal made of BICs, in which an array of BICs are indirectly coupled via a common continuum of states resulting in a tight-binding dispersive energy miniband embedded in the spectrum of radiating waves. The results are illustrated for a chain of optical cavities side-coupled to a coupled-resonator optical waveguide (CROW) with non-local contact points.


title: Deterministic and Probabilistic Error Bounds for Floating Point Summation Algorithms

abstract: We analyse the forward error in the floating point summation of real numbers, from algorithms that do not require recourse to higher precision or better hardware. We derive informative explicit expressions, and new deterministic and probabilistic bounds for errors in three classes of algorithms: general summation,shifted general summation, and compensated (sequential) summation. Our probabilistic bounds for general and shifted general summation hold to all orders. For compensated summation, we also present deterministic and probabilistic first and second order bounds, with a first order bound that differs from existing ones. Numerical experiments illustrate that the bounds are informative and that among the three algorithm classes, compensated summation is generally the most accurate method.


title: Synchronization Strategies for Multi-agent Networked Control Systems

abstract: With the advent of 21st century and increasing advancements in the field of technology and connectivity, inter-networking in real-time has achieved great importance. Distributed control and multi-agent paradigm has groped rapidly with history of big time failures of centralized systems in the past. The concepts of synchronization and network control systems have been used extensively in the near past to map, analyze and solve defined set of objectives. In this thesis, a diverse set of applications from power flow point of view are taken into consideration and modelled/analyzed using synchronization as the central theme. These systems are proposed (or assumed) to be network connected and its control has been devised accordingly. It has been shown how some examples from nature can help recreate similar dynamics synthetically and help achieve system objectives. Few of the applications of the smart world have been ascribed in the thesis and distributed control of these seen from a multi-agent perspective have been devised in order to better design and operate such systems in real-time. Synchronization happens to be the heart of all the networks, as all the agents work in tandem in order to provide to a common objective as well abide by the defined constraints. As an inflection to the work, I set up a platform for development of new distributed and fast acting control strategies for conventional as well as futuristic control systems existing/non-existing in the literature. As a major contribution of this dissertation, by combining the ideas from physics and power systems, I open up various interesting phenomena already existing in either fields to be explored for one another.


title: A Comparison of the Delta Method and the Bootstrap in Deep Learning Classification

abstract: We validate the recently introduced deep learning classification adapted Delta method by a comparison with the classical Bootstrap. We show that there is a strong linear relationship between the quantified predictive epistemic uncertainty levels obtained from the two methods when applied on two LeNet-based neural network classifiers using the MNIST and CIFAR-10 datasets. Furthermore, we demonstrate that the Delta method offers a five times computation time reduction compared to the Bootstrap.


title: Algorithms for normalized multiple sequence alignments

abstract: Sequence alignment supports numerous tasks in bioinformatics, natural language processing, pattern recognition, social sciences, and others fields. While the alignment of two sequences may be performed swiftly in many applications, the simultaneous alignment of multiple sequences proved to be naturally more intricate. Although most multiple sequence alignment (MSA) formulations are NP-hard, several approaches have been developed, as they can outperform pairwise alignment methods or are necessary for some applications. Taking into account not only similarities but also the lengths of the compared sequences (i.e. normalization) can provide better alignment results than both unnormalized or post-normalized approaches. While some normalized methods have been developed for pairwise sequence alignment, none have been proposed for MSA. This work is a first effort towards the development of normalized methods for MSA. We discuss multiple aspects of normalized multiple sequence alignment (NMSA). We define three new criteria for computing normalized scores when aligning multiple sequences, showing the NP-hardness and exact algorithms for solving the NMSA using those criteria. In addition, we provide approximation algorithms for MSA and NMSA for some classes of scoring matrices.


title: Physical properties of the Hall current

abstract: We study the stationary state of Hall devices composed of a load circuit connected to the lateral edges of a Hall-bar. We follow the approach developed in a previous work (Creff et al. J. Appl. Phys 2020) in which the stationary state of a ideal Hall bar is defined by the minimum power dissipation principle. The presence of both the lateral circuit and the magnetic field induces the injection of a current: the so-called Hall current. Analytical expressions for the longitudinal and the transverse currents are derived. It is shown that the efficiency of the power injection into the lateral circuit is quadratic in the Hall angle and obeys to the maximum transfer theorem. For usual values of the Hall angle, the main contribution of this power injection provides from the longitudinal current flowing along the edges, instead of the transverse current crossing the Hall bar.


title: The Complexity of Finding Temporal Separators under Waiting Time Constraints

abstract: In this work, we investigate the computational complexity of Restless Temporal $(s,z)$-Separation, where we are asked whether it is possible to destroy all restless temporal paths between two distinct vertices $s$ and $z$ by deleting at most $k$ vertices from a temporal graph. A temporal graph has a fixed vertex but the edges have (discrete) time stamps. A restless temporal path uses edges with non-decreasing time stamps and the time spent at each vertex must not exceed a given duration $\Delta$. Restless Temporal $(s,z)$-Separation naturally generalizes the NP-hard Temporal $(s,z)$-Separation problem. We show that Restless Temporal $(s,z)$-Separation is complete for $\Sigma_2^\text{P}$, a complexity class located in the second level of the polynomial time hierarchy. We further provide some insights in the parameterized complexity of Restless Temporal $(s,z)$-Separation parameterized by the separator size $k$.


title: Two Public-Key Cryptosystems Based on Expanded Gabidulin Codes

abstract: This paper presents two public key cryptosystems based on the so-called expanded Gabidulin codes, which are constructed by expanding Gabidulin codes over the base field. Exploiting the fast decoder of Gabidulin codes, we propose an efficient algorithm to decode these new codes when the noise vector satisfies a certain condition. Additionally, these new codes have an excellent error-correcting capability because of the optimality of their parent Gabidulin codes. With different masking techniques, we give two encryption schemes by using expanded Gabidulin codes in the McEliece setting. Being constructed over the base field, these two proposals can prevent the existing structural attacks using the Frobenius map. Based on the distinguisher for Gabidulin codes, we propose a distinguisher for expanded Gabidulin codes by introducing the concept of the so-called twisted Frobenius power. It turns out that the public code in our proposals seems indistinguishable from random codes under this distinguisher. Furthermore, our proposals have an obvious advantage in public key representation without using the cyclic or quasi-cyclic structure compared to some other code-based cryptosystems. To achieve the security of 256 bits, for instance, a public key size of 37583 bytes is enough for our first proposal, while around 1044992 bytes are needed for Classic McEliece selected as a candidate of the third round of the NIST PQC project.


title: Deep calibration of the quadratic rough Heston model

abstract: The quadratic rough Heston model provides a natural way to encode Zumbach effect in the rough volatility paradigm. We apply multi-factor approximation and use deep learning methods to build an efficient calibration procedure for this model. We show that the model is able to reproduce very well both SPX and VIX implied volatilities. We typically obtain VIX option prices within the bid-ask spread and an excellent fit of the SPX at-the-money skew. Moreover, we also explain how to use the trained neural networks for hedging with instantaneous computation of hedging quantities.


title: Torsional Regularization of Self-Energy and Bare Mass of Electron

abstract: In the presence of spacetime torsion, the momentum components do not commute; therefore, in quantum field theory, summation over the momentum eigenvalues will replace integration over the momentum. In the Einstein--Cartan theory of gravity, in which torsion is coupled to spin, the separation between the eigenvalues increases with the magnitude of the momentum. Consequently, this replacement regularizes divergent integrals in Feynman diagrams with loops by turning them into convergent sums. In this article, we apply torsional regularization to the self-energy of a charged lepton in quantum electrodynamics. We show that this procedure eliminates the ultraviolet divergence. We also show that torsion gives a photon a small nonzero mass, which regularizes the infrared divergence. In the end, we calculate the finite bare masses of the electron, muon, and tau lepton: $0.4329\,\mbox{MeV}$, $90.95\,\mbox{MeV}$, and $1543\,\mbox{MeV}$, respectively. These values constitute about $85\%$ of the observed, re-normalized masses.


title: Closing the gap for single resource constraint scheduling

abstract: In the problem called single resource constraint scheduling, we are given $m$ identical machines and a set of jobs, each needing one machine to be processed as well as a share of a limited renewable resource $R$. A schedule of these jobs is feasible if, at each point in the schedule, the number of machines and resources required by jobs processed at this time is not exceeded. It is NP-hard to approximate this problem with a ratio better than $3/2$. On the other hand, the best algorithm so far has an absolute approximation ratio of $2+\varepsilon$. This paper presents an algorithm with absolute approximation ratio~$(3/2+\varepsilon)$, which closes the gap between inapproximability and best algorithm except for a negligible small~$\varepsilon$.


title: Survey: Leakage and Privacy at Inference Time

abstract: Leakage of data from publicly available Machine Learning (ML) models is an area of growing significance as commercial and government applications of ML can draw on multiple sources of data, potentially including users' and clients' sensitive data. We provide a comprehensive survey of contemporary advances on several fronts, covering involuntary data leakage which is natural to ML models, potential malevolent leakage which is caused by privacy attacks, and currently available defence mechanisms. We focus on inference-time leakage, as the most likely scenario for publicly available models. We first discuss what leakage is in the context of different data, tasks, and model architectures. We then propose a taxonomy across involuntary and malevolent leakage, available defences, followed by the currently available assessment metrics and applications. We conclude with outstanding challenges and open questions, outlining some promising directions for future research.


title: A Typology of Data Anomalies

abstract: Anomalies are cases that are in some way unusual and do not appear to fit the general patterns present in the dataset. Several conceptualizations exist to distinguish between different types of anomalies. However, these are either too specific to be generally applicable or so abstract that they neither provide concrete insight into the nature of anomaly types nor facilitate the functional evaluation of anomaly detection algorithms. With the recent criticism on 'black box' algorithms and analytics it has become clear that this is an undesirable situation. This paper therefore introduces a general typology of anomalies that offers a clear and tangible definition of the different types of anomalies in datasets. The typology also facilitates the evaluation of the functional capabilities of anomaly detection algorithms and as a framework assists in analyzing the conceptual levels of data, patterns and anomalies. Finally, it serves as an analytical tool for studying anomaly types from other typologies.


title: Analyzing the Stationarity Process in Software Effort Estimation Datasets

abstract: Software effort estimation models are typically developed based on an underlying assumption that all data points are equally relevant to the prediction of effort for future projects. The dynamic nature of several aspects of the software engineering process could mean that this assumption does not hold in at least some cases. This study employs three kernel estimator functions to test the stationarity assumption in five software engineering datasets that have been used in the construction of software effort estimation models. The kernel estimators are used in the generation of nonuniform weights which are subsequently employed in weighted linear regression modeling. In each model, older projects are assigned smaller weights while the more recently completed projects are assigned larger weights, to reflect their potentially greater relevance to present or future projects that need to be estimated. Prediction errors are compared to those obtained from uniform models. Our results indicate that, for the datasets that exhibit underlying nonstationary processes, uniform models are more accurate than the nonuniform models; that is, models based on kernel estimator functions are worse than the models where no weighting was applied. In contrast, the accuracies of uniform and nonuniform models for datasets that exhibited stationary processes were essentially equivalent. Our analysis indicates that as the heterogeneity of a dataset increases, the effect of stationarity is overridden. The results of our study also confirm prior findings that the accuracy of effort estimation models is independent of the type of kernel estimator function used in model development.


title: On the pseudo-Riemann's quartics in Finsler's geometry

abstract: An extension of Riemmann's geometry into a direction dependent geometric structure is usually described by Finsler's geometry. Historically, this construction was motivated by the well-known Riemann's quartic length element example. Quite surprisingly, the same quartic expression emerges in solid-state electrodynamics as a basic dispersion relation -- covariant Fresnel equation. Consequently, Riemann's quartic length expression can be interpreted as a mathematical model of a well-established physics phenomena. In this paper, we present various examples of Riemann's quartic that demonstrate that Finsler's geometry is too restrictive even in the case of a positive definite Euclidean signature space. In the case of the spaces endowed with an indefinite (Minkowski) signature, there are much more singular hypersurfaces where the strong axioms of Finsler's geometry are broken down. We propose a weaker definition of Finsler's structure that is required to be satisfied only on open subsets of the tangent bundle. We exhibit the characteristic singular hypersurfaces related to Riemann's quartic and briefly discuss their possible physical interpretation.


title: Estimating Counts Through an Average Rounded to the Nearest Non-negative Integer and its Theoretical & Practical Effects

abstract: In practice, the use of rounding is ubiquitous. Although researchers have looked at the implications of rounding continuous random variables, rounding may be applied to functions of discrete random variables as well. For example, to infer on suicide excess deaths after a national emergency, authorities may provide a rounded average of deaths before and after the emergency started. Suicide rates tend to be relatively low around the world and such rounding may seriously affect inference on the change of suicide rate. In this paper, we study the scenario when a rounded to nearest integer average is used as a proxy for a non-negative discrete random variable. Specifically, our interest is in drawing inference on a parameter from the pmf of Y , when we get U = n[Y /n] as a proxy for Y . The probability generating function of U , E(U ), and Var(U ) capture the effect of the coarsening of the support of Y . Also, moments and estimators of distribution parameters are explored for some special cases. We show that under certain conditions, there is little impact from rounding. However, we also find scenarios where rounding can significantly affect statistical inference as demonstrated in three examples. The simple methods we propose are able to partially counter rounding error effects. While for some probability distributions it may be difficult to derive maximum likelihood estimators as a function of U , we provide a framework to obtain an estimator numerically.


title: Deep Edge-Aware Interactive Colorization against Color-Bleeding Effects

abstract: Deep neural networks for automatic image colorization often suffer from the color-bleeding artifact, a problematic color spreading near the boundaries between adjacent objects. Such color-bleeding artifacts debase the reality of generated outputs, limiting the applicability of colorization models in practice. Although previous approaches have attempted to address this problem in an automatic manner, they tend to work only in limited cases where a high contrast of gray-scale values are given in an input image. Alternatively, leveraging user interactions would be a promising approach for solving this color-breeding artifacts. In this paper, we propose a novel edge-enhancing network for the regions of interest via simple user scribbles indicating where to enhance. In addition, our method requires a minimal amount of effort from users for their satisfactory enhancement. Experimental results demonstrate that our interactive edge-enhancing approach effectively improves the color-bleeding artifacts compared to the existing baselines across various datasets.


title: Auxiliary-Classifier GAN for Malware Analysis

abstract: Generative adversarial networks (GAN) are a class of powerful machine learning techniques, where both a generative and discriminative model are trained simultaneously. GANs have been used, for example, to successfully generate "deep fake" images. A recent trend in malware research consists of treating executables as images and employing image-based analysis techniques. In this research, we generate fake malware images using auxiliary classifier GANs (AC-GAN), and we consider the effectiveness of various techniques for classifying the resulting images. Our results indicate that the resulting multiclass classification problem is challenging, yet we can obtain strong results when restricting the problem to distinguishing between real and fake samples. While the AC-GAN generated images often appear to be very similar to real malware images, we conclude that from a deep learning perspective, the AC-GAN generated samples do not rise to the level of deep fake malware images.


title: The Composability of Intermediate Values in Composable Inductive Programming

abstract: It is believed that mechanisms including intermediate values enable composable inductive programming (CIP) to be used to produce software of any size. We present the results of a study that investigated the relationships between program size, the number of intermediate values and the number of test cases used to specify programs using CIP. In the study 96,000 programs of various sizes were randomly generated, decomposed into fragments and transformed into test cases. The test cases were then used to regenerate new versions of the original programs using Zoea. The results show linear relationships between the number of intermediate values and regenerated program size, and between the number of test cases and regenerated program size within the size range studied. In addition, as program size increases there is increasing scope for trading off the number of test cases against the number of intermediate values and vice versa.


title: Multiple-criteria Based Active Learning with Fixed-size Determinantal Point Processes

abstract: Active learning aims to achieve greater accuracy with less training data by selecting the most useful data samples from which it learns. Single-criterion based methods (i.e., informativeness and representativeness based methods) are simple and efficient; however, they lack adaptability to different real-world scenarios. In this paper, we introduce a multiple-criteria based active learning algorithm, which incorporates three complementary criteria, i.e., informativeness, representativeness and diversity, to make appropriate selections in the active learning rounds under different data types. We consider the selection process as a Determinantal Point Process, which good balance among these criteria. We refine the query selection strategy by both selecting the hardest unlabeled data sample and biasing towards the classifiers that are more suitable for the current data distribution. In addition, we also consider the dependencies and relationships between these data points in data selection by means of centroidbased clustering approaches. Through evaluations on synthetic and real-world datasets, we show that our method performs significantly better and is more stable than other multiple-criteria based AL algorithms.


title: Decentralized trajectory optimization for multi-agent exploration

abstract: Autonomous exploration is an application of growing importance in robotics. A promising strategy is ergodic trajectory planning, whereby an agent spends in each area a fraction of time which is proportional to its probability information density function. In this paper, a decentralized ergodic multi-agent trajectory planning algorithm featuring limited communication constraints is proposed. The agents' trajectories are designed by optimizing a weighted cost encompassing ergodicity, control energy and close-distance operation objectives. To solve the underlying optimal control problem, a second-order descent iterative method coupled with a projection operator in the form of an optimal feedback controller is used. Exhaustive numerical analyses show that the multi-agent solution allows a much more efficient exploration in terms of completion task time and control energy distribution by leveraging collaboration among agents.


title: Implicit Gender Bias in Computer Science -- A Qualitative Study

abstract: Gender diversity in the tech sector is - not yet? - sufficient to create a balanced ratio of men and women. For many women, access to computer science is hampered by socialization-related, social, cultural and structural obstacles. The so-called implicit gender bias has a great influence in this respect. The lack of contact in areas of computer science makes it difficult to develop or expand potential interests. Female role models as well as more transparency of the job description should help women to promote their - possible - interest in the job description. However, gender diversity can also be promoted and fostered through adapted measures by leaders.


title: Theoretical Prediction of Heterogeneous Integration of Dissimilar Semiconductor with Various Ultra-Thin Oxides and 2D Materials

abstract: In this paper, we have built a numerical p-n Si/GaAs heterojunction model using a quantum-mechanical tunneling theory with various quantum tunneling interfacial materials including two-dimensional semiconductors such as hexagonal boron nitride (h-BN) and graphene and ALD-enabled oxide materials such as HfO2, Al2O3, and SiO2. Their tunneling efficiencies and tunneling current with different thicknesses were systematically calculated and compared. Multiphysics modeling was used with the aforementioned tunneling interfacial materials to analyze changes in strain under different temperature conditions. Considering the transport properties and thermal-induced strain analysis, Al2O3 among three oxide materials and graphene in 2D materials are favorable material choices that offer the highest heterojunction quality. Overall, our results offer the viable route to guide the selection of quantum tunneling materials for myriad possible combinations of new heterostructures that can be obtained via remote epitaxy and the UO method.


title: Finite step Rigidity of Hitchin representations and special Margulis-Smilga spacetimes

abstract: In this article we use the "escape from subvarieties lemma" introduced by Eskin--Mozes--Oh to prove finite step rigidity results for the Jordan-Lyapunov projection spectra of Hitchin representations and the Margulis-Smilga invariant spectra of some special Margulis-Smilga spacetimes. In the process, we also prove a similar finite step rigidity result for the Cartan spectra of representations of a finitely generated group inside a connected semisimple real algebraic Lie group with trivial center.


title: Machine Learning for Malware Evolution Detection

abstract: Malware evolves over time and antivirus must adapt to such evolution. Hence, it is critical to detect those points in time where malware has evolved so that appropriate countermeasures can be undertaken. In this research, we perform a variety of experiments on a significant number of malware families to determine when malware evolution is likely to have occurred. All of the evolution detection techniques that we consider are based on machine learning and can be fully automated -- in particular, no reverse engineering or other labor-intensive manual analysis is required. Specifically, we consider analysis based on hidden Markov models (HMM) and the word embedding techniques HMM2Vec and Word2Vec.


title: Thermalization in Kitaev's quantum double models via Tensor Network techniques

abstract: We show that the Davies generator associated to any 2D Kitaev's quantum double model has a non-vanishing spectral gap in the thermodynamic limit. This validates rigorously the extended belief that those models are useless as self-correcting quantum memories, even in the non-abelian case. The proof uses recent ideas and results regarding the characterization of the spectral gap for parent Hamiltonians associated to Projected Entangled Pair States in terms of a bulk-boundary correspondence.


title: The Role of "Live" in Livestreaming Markets: Evidence Using Orthogonal Random Forest

abstract: A common belief about the growing medium of livestreaming is that its value lies in its "live" component. We examine this belief by comparing how the price elasticity of demand for live events varies before, on the day of, and after livestream. We do this using unique and rich data from a large livestreaming platform that allows consumers to purchase the recorded version of livestream after the stream is over. A challenge in our context is that there exist high-dimensional confounders whose relationships with treatment policy (i.e., price) and outcome of interest (i.e., demand) are complex and only partially known. We address this challenge via the use of a generalized Orthogonal Random Forest framework for heterogeneous treatment effect estimation. We find significant temporal dynamics in the price elasticity of demand over the entire event life-cycle. Specifically, demand becomes less price sensitive over time to the livestreaming day, turning to inelastic on that day. Over the post-livestream period, the demand for the recorded version is still sensitive to price, but much less than in the pre-livestream period. We further show that this temporal variation in price elasticity is driven by the quality uncertainty inherent in such events and the opportunity of real-time interaction with content creators during the livestream.


title: Complexity of word problems for HNN-extensions

abstract: The computational complexity of the word problem in HNN-extension of groups is studied. HNN-extension is a fundamental construction in combinatorial group theory. It is shown that the word problem for an ascending HNN-extension of a group H is logspace reducible to the so-called compressed word problem for H. The main result of the paper states that the word problem for an HNN-extension of a hyperbolic group H with cyclic associated subgroups can be solved in polynomial time. This result can be easily extended to fundamental groups of graphs of groups with hyperbolic vertex groups and cyclic edge groups.


title: CRPropa 3.2: a framework for high-energy astroparticle propagation

abstract: The landscape of high- and ultra-high-energy astrophysics has changed in the last decade, in large part owing to the inflow of high-quality data collected by present cosmic-ray, gamma-ray, and neutrino observatories. At the dawn of the multimessenger era, the interpretation of these observations within a consistent framework is important to elucidate the open questions in this field. CRPropa 3.2 is a Monte Carlo code for simulating the propagation of high-energy particles in the Universe. This new version represents a step further towards a more complete simulation framework for multimessenger studies. Some of the new developments include: cosmic-ray acceleration, support for particle interactions within astrophysical sources, full Monte Carlo treatment of electromagnetic cascades, improved ensemble-averaged Galactic propagation, and a number of technical enhancements. Here we present some of these novel features and some applications to gamma- and cosmic-ray propagation.


title: Super-resolution imaging in absolute instruments

abstract: It has been shown that negative refraction makes a perfect lens. However, with little loss, the imaging functionality will be strongly compromised. Later on, it was proved that positive refraction from Maxwell's fish-eye lens can also makes a perfect lens. However, strong debating happens on the introduced drain problem at the imaging position. In this work, we for the first time find that a solid immersion Maxwell's fish-eye lens could be used for super-resolution imaging. We find that it is due to the perfect focusing and total reflection at the outer interface, such that a super-resolution image is formed at the required position in the air background. This simple mechanism will also be valid for other absolute instruments and more versatile super-imaging systems will be anticipated.


title: The BINGO Project I: Baryon Acoustic Oscillations from Integrated Neutral Gas Observations

abstract: Observations of the redshifted 21-cm line of neutral hydrogen (HI) are a new and powerful window of observation that offers us the possibility to map the spatial distribution of cosmic HI and learn about cosmology. BINGO (Baryon Acoustic Oscillations [BAO] from Integrated Neutral Gas Observations) is a new unique radio telescope designed to be one of the first to probe BAO at radio frequencies. BINGO has two science goals: cosmology and astrophysics. Cosmology is the main science goal and the driver for BINGO's design and strategy. The key of BINGO is to detect the low redshift BAO to put strong constraints in the dark sector models. Given the versatility of the BINGO telescope, a secondary goal is astrophysics, where BINGO can help discover and study Fast Radio Bursts (FRB) and other transients, Galactic and extragalactic science. In this paper, we introduce the latest progress of the BINGO project, its science goals, describing the scientific potential of the project in each science and the new developments obtained by the collaboration. We introduce the BINGO project and its science goals and give a general summary of recent developments in construction, science potential and pipeline development obtained by the BINGO collaboration in the past few years. We show that BINGO will be able to obtain competitive constraints for the dark sector, and also that will allow for the discovery of several FRBs in the southern hemisphere. The capacity of BINGO in obtaining information from 21-cm is also tested in the pipeline introduced here. There is still no measurement of the BAO in radio, and studying cosmology in this new window of observations is one of the most promising advances in the field. The BINGO project is a radio telescope that has the goal to be one of the first to perform this measurement and it is currently being built in the northeast of Brazil. (Abridged)


title: The BINGO Project II: Instrument Description

abstract: The measurement of diffuse 21-cm radiation from the hyperfine transition of neutral hydrogen (HI signal) in different redshifts is an important tool for modern cosmology. However, detecting this faint signal with non-cryogenic receivers in single-dish telescopes is a challenging task. The BINGO (Baryon Acoustic Oscillations from Integrated Neutral Gas Observations) radio telescope is an instrument designed to detect baryonic acoustic oscillations (BAOs) in the cosmological HI signal, in the redshift interval $0.127 \le z \le 0.449$. This paper describes the BINGO radio telescope, including the current status of the optics, receiver, observational strategy, calibration, and the site. BINGO has been carefully designed to minimize systematics, being a transit instrument with no moving dishes and 28 horns operating in the frequency range $980 \le \nu \le 1260$ MHz. Comprehensive laboratory tests were conducted for many of the BINGO subsystems and the prototypes of the receiver chain, horn, polarizer, magic tees, and transitions have been successfully tested between 2018 - 2020. The survey was designed to cover $\sim 13\%$ of the sky, with the primary mirror pointing at declination $\delta=-15^{\circ}$. The telescope will see an instantaneous declination strip of $14.75^{\circ}$. The results of the prototype tests closely meet those obtained during the modeling process, suggesting BINGO will perform according to our expectations. After one year of observations with a $60\%$ duty cycle and 28 horns, BINGO should achieve an expected sensitivity of 102 $\mu K$ per 9.33 MHz frequency channel, one polarization, and be able to measure the HI power spectrum in a competitive time frame.


title: The BINGO Project III: Optical design and optimisation of the focal plane

abstract: The BINGO telescope was designed to measure the fluctuations of the 21-cm radiation arising from the hyperfine transition of neutral hydrogen and aims to measure the Baryon Acoustic Oscillations (BAO) from such fluctuations, therefore serving as a pathfinder to future deeper intensity mapping surveys. The requirements for the Phase 1 of the projects consider a large reflector system (two 40 m-class dishes in a crossed-Dragone configuration), illuminating a focal plane with 28 horns to measure the sky with two circular polarisations in a drift scan mode to produce measurements of the radiation in intensity as well as the circular polarisation. In this paper we present the optical design for the instrument. We describe the intensity and polarisation properties of the beams and the optical arrangement of the horns in the focal plane to produce a homogeneous and well-sampled map after the end of Phase 1. Our analysis provides an optimal model for the location of the horns in the focal plane, producing a homogeneous and Nyquist sampled map after the nominal survey time. We arrive at an optimal configuration for the optical system, including the focal plane positioning and the beam behavior of the instrument. We present an estimate of the expected side lobes both for intensity and polarisation, as well as the effect of band averaging on the final side lobes. The cross polarisation leakage values for the final configuration allow us to conclude that the optical arrangement meets the requirements of the project. We conclude that the chosen optical design meets the requirements for the project in terms of polarisation purity, area coverage as well as homogeneity of coverage so that BINGO can perform a successful BAO experiment. We further conclude that the requirements on the placement and r.m.s. error on the mirrors are also achievable so that a successful experiment can be conducted.(Abridged)


title: The BINGO Project IV: Simulations for mission performance assessment and preliminary component separation steps

abstract: The large-scale distribution of neutral hydrogen (HI) in the Universe is luminous through its 21 cm emission. The goal of the Baryon Acoustic Oscillations from Integrated Neutral Gas Observations -- BINGO -- radio telescope is to detect baryon acoustic oscillations (BAOs) at radio frequencies through 21 cm intensity mapping (IM). The telescope will span the redshift range 0.127 $< z <$ 0.449 with an instantaneous field-of-view of $14.75^{\circ} \times 6.0^{\circ}$. In this work we investigate different constructive and operational scenarios of the instrument by generating sky maps as they would be produced by the instrument. In doing this we use a set of end-to-end IM mission simulations. The maps will additionally be used to evaluate the efficiency of a component separation method (GNILC). We have simulated the kind of data that would be produced in a single-dish IM experiment such as BINGO. According to the results obtained, we have optimized the focal plane design of the telescope. In addition, the application of the GNILC method on simulated data shows that it is feasible to extract the cosmological signal across a wide range of multipoles and redshifts. The results are comparable with the standard principal component analysis method.