title: The STAR-MELT Python package for emission line analysis of YSOs

abstract: We introduce the STAR-MELT Python package that we developed to facilitate the analysis of time-resolved emission line spectroscopy of young stellar objects. STAR-MELT automatically extracts, identifies and fits emission lines. We summarise our analysis methods that utilises the time domain of high-resolution stellar spectra to investigate variability in the line profiles and corresponding emitting regions. This allows us to probe the innermost disc and accretion structures of YSOs. Local temperatures and densities can be determined using Boltzmann statistics, the Saha equation, and the Sobolev large velocity gradient approximation. STAR-MELT allows for new results to be obtained from archival data, as well as facilitating timely analysis of new data as it is obtained. We present the results of applying STAR-MELT to three YSOs, using spectra from UVES, XSHOOTER, FEROS, HARPS, and ESPaDOnS. We demonstrate what can be achieved for data with disparate time sampling, for stars with different inclinations and variability types. For EX Lupi, we confirm the presence of a localised and stable stellar-surface hot spot associated with the footprint of the accretion column. For GQ Lupi A, we find that the maximum infall rate from an accretion column is correlated with lines produced in the lowest temperatures. For CVSO109 we investigate the rapid temporal variability of a redshifted emission wing, indicative of rotating and infalling material in the inner disc. Our results show that STAR-MELT is a useful tool for such analysis, as well as other applications for emission lines.


title: On the Behavior of Superconductors of High Critical Temperatures Outside Schwarzchild Black Holes in AdS Space

abstract: The physical analysis of condensed matter systems can be difficult due to strong coupling, but the mathematical context of the AdS/CFT correspondence enables non-perturbative descriptions in terms of dual weakly coupled systems. This brief review explores the holographic condensed matter applications of AdS/CFT, particularly through the lens of a high-$T_c$ superconductor outside a Schwarzchild black hole in Anti-de Sitter space. A simple two-dimensional electron condensate Lagrangian is examined first, as employed by G. T. Horowitz, later used to calculate a frequency-dependent conductivity and a free energy analysis; the asymptotics of both in this procedure, as examined by P. S\"aterskog, are also reviewed. An extended Lagrangian with a higher order Maxwell term is assessed thereafter, with a conductivity peak obtained at low frequencies described well by the Drude model in certain limits. The behavior of Drude model parameters in these limits is also investigated.


title: The maximum accreted mass of recycled pulsars

abstract: The maximum mass of neutron stars (NSs) is of great importance for constraining equations of state of NSs and understanding the mass gap between NSs and stellar-mass black holes. NSs in X-ray binaries would increase in mass by accreting material from their companions (known as recycling process), and the uncertainties in the accretion process give challenge to study the NS mass at birth. {In this work, we investigate the NS accreted mass with considering the effect of NS spin evolution and give the maximum accreted mass for NSs in the recycling process. By exploring a series of binary evolution calculations, we obtain the final NS mass and the maximum accreted mass for a given birth mass of NS and a mass transfer efficiency. Our results show that the NSs can accrete relatively more material for binary systems with the donor masses in the range of $1.8\sim 2.4M_\odot$, the NSs accrete relatively more mass when the remnant WD mass is in the range of $\sim 0.25-0.30M_\odot$, and the maximum accreted mass is positively correlated with the initial NS mass. For a $1.4M_\odot$ NS at birth with a moderate mass transfer efficiency of 0.3, the maximum accreted mass could be $0.27M_\odot$. The results can be used to estimate the minimum birth mass for systems with massive NSs in observations.


title: DeepScanner: a Robotic System for Automated 2D Object Dataset Collection with Annotations

abstract: In the proposed study, we describe the possibility of automated dataset collection using an articulated robot. The proposed technology reduces the number of pixel errors on a polygonal dataset and the time spent on manual labeling of 2D objects. The paper describes a novel automatic dataset collection and annotation system, and compares the results of automated and manual dataset labeling. Our approach increases the speed of data labeling 240-fold, and improves the accuracy compared to manual labeling 13-fold. We also present a comparison of metrics for training a neural network on a manually annotated and an automatically collected dataset.


title: Detection of extended TeV emission around the Geminga pulsar with H.E.S.S

abstract: Highly extended gamma-ray emission around the Geminga pulsar was discovered by Milagro and verified by HAWC. Despite many observations with Imaging Atmospheric Cherenkov Telescopes (IACTs), detection of gamma-ray emission on angular scales exceeding the IACT field-of-view has proven challenging. Recent developments in analysis techniques have enabled the detection of significant emission around Geminga in archival data with H.E.S.S.. In 2019, further data on the Geminga region were obtained with an adapted observation strategy. Following the announcement of the detection of significant TeV emission around Geminga in archival data, in this contribution we present the detection in an independent dataset. New analysis results will be presented, and emphasis given to the technical challenges involved in observations of highly extended gamma-ray emission with IACTs.


title: Comparison of Lossless Image Formats

abstract: In recent years, a bag with image and video compression formats has been torn. However, most of them are focused on lossy compression and only marginally support the lossless mode. In this paper, I will focus on lossless formats and the critical question: "Which one is the most efficient?" It turned out that FLIF is currently the most efficient format for lossless image compression. This finding is in contrast to that FLIF developers stopped its development in favor of JPEG XL.


title: JITA4DS: Disaggregated execution of Data Science Pipelines between the Edge and the Data Centre

abstract: This paper targets the execution of data science (DS) pipelines supported by data processing, transmission and sharing across several resources executing greedy processes. Current data science pipelines environments provide various infrastructure services with computing resources such as general-purpose processors (GPP), Graphics Processing Units (GPUs), Field Programmable Gate Arrays (FPGAs) and Tensor Processing Unit (TPU) coupled with platform and software services to design, run and maintain DS pipelines. These one-fits-all solutions impose the complete externalization of data pipeline tasks. However, some tasks can be executed in the edge, and the backend can provide just in time resources to ensure ad-hoc and elastic execution environments. This paper introduces an innovative composable "Just in Time Architecture" for configuring DCs for Data Science Pipelines (JITA-4DS) and associated resource management techniques. JITA-4DS is a cross-layer management system that is aware of both the application characteristics and the underlying infrastructures to break the barriers between applications, middleware/operating system, and hardware layers. Vertical integration of these layers is needed for building a customizable Virtual Data Center (VDC) to meet the dynamically changing data science pipelines' requirements such as performance, availability, and energy consumption. Accordingly, the paper shows an experimental simulation devoted to run data science workloads and determine the best strategies for scheduling the allocation of resources implemented by JITA-4DS.


title: MS-KD: Multi-Organ Segmentation with Multiple Binary-Labeled Datasets

abstract: Annotating multiple organs in 3D medical images is time-consuming and costly. Meanwhile, there exist many single-organ datasets with one specific organ annotated. This paper investigates how to learn a multi-organ segmentation model leveraging a set of binary-labeled datasets. A novel Multi-teacher Single-student Knowledge Distillation (MS-KD) framework is proposed, where the teacher models are pre-trained single-organ segmentation networks, and the student model is a multi-organ segmentation network. Considering that each teacher focuses on different organs, a region-based supervision method, consisting of logits-wise supervision and feature-wise supervision, is proposed. Each teacher supervises the student in two regions, the organ region where the teacher is considered as an expert and the background region where all teachers agree. Extensive experiments on three public single-organ datasets and a multi-organ dataset have demonstrated the effectiveness of the proposed MS-KD framework.


title: Online Hashing with Similarity Learning

abstract: Online hashing methods usually learn the hash functions online, aiming to efficiently adapt to the data variations in the streaming environment. However, when the hash functions are updated, the binary codes for the whole database have to be updated to be consistent with the hash functions, resulting in the inefficiency in the online image retrieval process. In this paper, we propose a novel online hashing framework without updating binary codes. In the proposed framework, the hash functions are fixed and a parametric similarity function for the binary codes is learnt online to adapt to the streaming data. Specifically, a parametric similarity function that has a bilinear form is adopted and a metric learning algorithm is proposed to learn the similarity function online based on the characteristics of the hashing methods. The experiments on two multi-label image datasets show that our method is competitive or outperforms the state-of-the-art online hashing methods in terms of both accuracy and efficiency for multi-label image retrieval.


title: Sentence-level Online Handwritten Chinese Character Recognition

abstract: Single online handwritten Chinese character recognition~(single OLHCCR) has achieved prominent performance. However, in real application scenarios, users always write multiple Chinese characters to form one complete sentence and the contextual information within these characters holds the significant potential to improve the accuracy, robustness and efficiency of sentence-level OLHCCR. In this work, we first propose a simple and straightforward end-to-end network, namely vanilla compositional network~(VCN) to tackle the sentence-level OLHCCR. It couples convolutional neural network with sequence modeling architecture to exploit the handwritten character's previous contextual information. Although VCN performs much better than the state-of-the-art single OLHCCR model, it exposes high fragility when confronting with not well written characters such as sloppy writing, missing or broken strokes. To improve the robustness of sentence-level OLHCCR, we further propose a novel deep spatial-temporal fusion network~(DSTFN). It utilizes a pre-trained autoregresssive framework as the backbone component, which projects each Chinese character into word embeddings, and integrates the spatial glyph features of handwritten characters and their contextual information multiple times at multi-layer fusion module. We also construct a large-scale sentence-level handwriting dataset, named as CSOHD to evaluate models. Extensive experiment results demonstrate that DSTFN achieves the state-of-the-art performance, which presents strong robustness compared with VCN and exiting single OLHCCR models. The in-depth empirical analysis and case studies indicate that DSTFN can significantly improve the efficiency of handwriting input, with the handwritten Chinese character with incomplete strokes being recognized precisely.


title: Evaluation of Audio-Visual Alignments in Visually Grounded Speech Models

abstract: Systems that can find correspondences between multiple modalities, such as between speech and images, have great potential to solve different recognition and data analysis tasks in an unsupervised manner. This work studies multimodal learning in the context of visually grounded speech (VGS) models, and focuses on their recently demonstrated capability to extract spatiotemporal alignments between spoken words and the corresponding visual objects without ever been explicitly trained for object localization or word recognition. As the main contributions, we formalize the alignment problem in terms of an audiovisual alignment tensor that is based on earlier VGS work, introduce systematic metrics for evaluating model performance in aligning visual objects and spoken words, and propose a new VGS model variant for the alignment task utilizing cross-modal attention layer. We test our model and a previously proposed model in the alignment task using SPEECH-COCO captions coupled with MSCOCO images. We compare the alignment performance using our proposed evaluation metrics to the semantic retrieval task commonly used to evaluate VGS models. We show that cross-modal attention layer not only helps the model to achieve higher semantic cross-modal retrieval performance, but also leads to substantial improvements in the alignment performance between image object and spoken words.


abstract: This thesis is divided into two parts:Part I: Analysis of Fruits, Vegetables, Cheese and Fish based on Image Processing using Computer Vision and Deep Learning: A Review. It consists of a comprehensive review of image processing, computer vision and deep learning techniques applied to carry out analysis of fruits, vegetables, cheese and fish.This part also serves as a literature review for Part II.Part II: GuavaNet: A deep neural network architecture for automatic sensory evaluation to predict degree of acceptability for Guava by a consumer. This part introduces to an end-to-end deep neural network architecture that can predict the degree of acceptability by the consumer for a guava based on sensory evaluation.


title: Transport-Induced-Charge Electroosmosis

abstract: We report theoretical analysis of transport-induced-charge electroosmosis (TICEO) in a nanopore due to the presence of a local electric field and a conductivity gradient. TICEO shares a similar characteristic with classical induced-charge electroosmosis (ICEO) that the mean velocity $\overline{v_\text{TIC}}$ is proportional to the square of the applied electric potential difference $\Delta\psi$, $i.e.$, $\overline{v_\text{TIC}} \propto (\Delta\psi)^2$, appropriate for alternating current (AC) pumping applications. In contrast to ICEO which is primarily used in microfluidics, TICEO does not require metallic or dielectric patches and is thus suitable for nanopore pumping, providing new opportunities for AC nanopore applications.


title: Dependable Neural Networks Through Redundancy, A Comparison of Redundant Architectures

abstract: With edge-AI finding an increasing number of real-world applications, especially in industry, the question of functionally safe applications using AI has begun to be asked. In this body of work, we explore the issue of achieving dependable operation of neural networks. We discuss the issue of dependability in general implementation terms before examining lockstep solutions. We intuit that it is not necessarily a given that two similar neural networks generate results at precisely the same time and that synchronization between the platforms will be required. We perform some preliminary measurements that may support this intuition and introduce some work in implementing lockstep neural network engines.


title: Missingness Augmentation: A General Approach for Improving Generative Imputation Models

abstract: Missing data imputation is a fundamental problem in data analysis, and many studies have been conducted to improve its performance by exploring model structures and learning procedures. However, data augmentation, as a simple yet effective method, has not received enough attention in this area. In this paper, we propose a novel data augmentation method called Missingness Augmentation (MisA) for generative imputation models. Our approach dynamically produces incomplete samples at each epoch by utilizing the generator's output, constraining the augmented samples using a simple reconstruction loss, and combining this loss with the original loss to form the final optimization objective. As a general augmentation technique, MisA can be easily integrated into generative imputation frameworks, providing a simple yet effective way to enhance their performance. Experimental results demonstrate that MisA significantly improves the performance of many recently proposed generative imputation models on a variety of tabular and image datasets. The code is available at \url{https://github.com/WYu-Feng/Missingness-Augmentation}.


title: Improving the Performance of a NoC-based CNN Accelerator with Gather Support

abstract: The increasing application of deep learning technology drives the need for an efficient parallel computing architecture for Convolutional Neural Networks (CNNs). A significant challenge faced when designing a many-core CNN accelerator is to handle the data movement between the processing elements. The CNN workload introduces many-to-one traffic in addition to one-to-one and one-to-many traffic. As the de-facto standard for on-chip communication, Network-on-Chip (NoC) can support various unicast and multicast traffic. For many-to-one traffic, repetitive unicast is employed which is not an efficient way. In this paper, we propose to use the gather packet on mesh-based NoCs employing output stationary systolic array in support of many-to-one traffic. The gather packet will collect the data from the intermediate nodes eventually leading to the destination efficiently. This method is evaluated using the traffic traces generated from the convolution layer of AlexNet and VGG-16 with improvement in the latency and power than the repetitive unicast method.


title: A New Design for a Traveling-Wave Zeeman Decelerator: I. Theory

abstract: The concept of a novel traveling wave Zeeman deccelerator based on a double-helix wire geometry capable of decelerating paramagnetic species with high efficiency is presented. A moving magnetic trap is created by running time-dependent currents through the decelerator coils. Paramagnetic species in low-field-seeking Zeeman states are confined in the moving traps and transported to the end of the decelerator with programmable velocities. Here, we present the theoretical foundations underlying the working principle of the traveling-trap decelerator. Using trajectory simulations, we characterise the performance of the new device and explore the conditions for phase-space stability of the transported molecules.


title: Data Streaming and Traffic Gathering in Mesh-based NoC for Deep Neural Network Acceleration

abstract: The increasing popularity of deep neural network (DNN) applications demands high computing power and efficient hardware accelerator architecture. DNN accelerators use a large number of processing elements (PEs) and on-chip memory for storing weights and other parameters. As the communication backbone of a DNN accelerator, networks-on-chip (NoC) play an important role in supporting various dataflow patterns and enabling processing with communication parallelism in a DNN accelerator. However, the widely used mesh-based NoC architectures inherently cannot support the efficient one-to-many and many-to-one traffic largely existing in DNN workloads. In this paper, we propose a modified mesh architecture with a one-way/two-way streaming bus to speedup one-to-many (multicast) traffic, and the use of gather packets to support many-to-one (gather) traffic. The analysis of the runtime latency of a convolutional layer shows that the two-way streaming architecture achieves better improvement than the one-way streaming architecture for an Output Stationary (OS) dataflow architecture. The simulation results demonstrate that the gather packets can help to reduce the runtime latency up to 1.8 times and network power consumption up to 1.7 times, compared with the repetitive unicast method on modified mesh architectures supporting two-way streaming.


title: Predicting Post-Concussion Syndrome Outcomes with Machine Learning

abstract: In this paper, machine learning models are used to predict outcomes for patients with persistent post-concussion syndrome (PCS). Patients had sustained a concussion at an average of two to three months before the study. By utilizing assessed data, the machine learning models aimed to predict whether or not a patient would continue to have PCS after four to five months. The random forest classifier achieved the highest performance with an 85% accuracy and an area under the receiver operating characteristic curve (AUC) of 0.94. Factors found to be predictive of PCS outcome were Post-Traumatic Stress Disorder (PTSD), perceived injustice, self-rated prognosis, and symptom severity post-injury. The results of this study demonstrate that machine learning models can predict PCS outcomes with high accuracy. With further research, machine learning models may be implemented in healthcare settings to help patients with persistent PCS.


title: Learning Linearized Assignment Flows for Image Labeling

abstract: We introduce a novel algorithm for estimating optimal parameters of linearized assignment flows for image labeling. An exact formula is derived for the parameter gradient of any loss function that is constrained by the linear system of ODEs determining the linearized assignment flow. We show how to efficiently evaluate this formula using a Krylov subspace and a low-rank approximation. This enables us to perform parameter learning by Riemannian gradient descent in the parameter space, without the need to backpropagate errors or to solve an adjoint equation. Experiments demonstrate that our method performs as good as highly-tuned machine learning software using automatic differentiation. Unlike methods employing automatic differentiation, our approach yields a low-dimensional representation of internal parameters and their dynamics which helps to understand how assignment flows and more generally neural networks work and perform.


title: SINGA-Easy: An Easy-to-Use Framework for MultiModal Analysis

abstract: Deep learning has achieved great success in a wide spectrum of multimedia applications such as image classification, natural language processing and multimodal data analysis. Recent years have seen the development of many deep learning frameworks that provide a high-level programming interface for users to design models, conduct training and deploy inference. However, it remains challenging to build an efficient end-to-end multimedia application with most existing frameworks. Specifically, in terms of usability, it is demanding for non-experts to implement deep learning models, obtain the right settings for the entire machine learning pipeline, manage models and datasets, and exploit external data sources all together. Further, in terms of adaptability, elastic computation solutions are much needed as the actual serving workload fluctuates constantly, and scaling the hardware resources to handle the fluctuating workload is typically infeasible. To address these challenges, we introduce SINGA-Easy, a new deep learning framework that provides distributed hyper-parameter tuning at the training stage, dynamic computational cost control at the inference stage, and intuitive user interactions with multimedia contents facilitated by model explanation. Our experiments on the training and deployment of multi-modality data analysis applications show that the framework is both usable and adaptable to dynamic inference loads. We implement SINGA-Easy on top of Apache SINGA and demonstrate our system with the entire machine learning life cycle.


title: Cooperative Localization and Multitarget Tracking in Agent Networks with the Sum-Product Algorithm

abstract: This paper addresses the problem of multitarget tracking using a network of sensing agents with unknown positions. Agents have to both localize themselves in the sensor network and, at the same time, perform multitarget tracking in the presence of clutter and miss detection. These two problems are jointly resolved using a holistic and centralized approach where graph theory is used to describe the statistical relationships among agent states, target states, and observations. A scalable message passing scheme, based on the sum-product algorithm, enables to efficiently approximate the marginal posterior distributions of both agent and target states. The proposed method is general enough to accommodate a full multistatic network configuration, with multiple transmitters and receivers. Numerical simulations show superior performance of the proposed joint approach with respect to the case in which cooperative self-localization and multitarget tracking are performed separately, as the former manages to extract valuable information from targets. Lastly, data acquired in 2018 by the NATO Science and Technology Organization (STO) Centre for Maritime Research and Experimentation (CMRE) through a network of autonomous underwater vehicles demonstrates the effectiveness of the approach in a practical application.


title: Optimal Transport for Unsupervised Denoising Learning

abstract: Recently, much progress has been made in unsupervised denoising learning. However, existing methods more or less rely on some assumptions on the signal and/or degradation model, which limits their practical performance. How to construct an optimal criterion for unsupervised denoising learning without any prior knowledge on the degradation model is still an open question. Toward answering this question, this work proposes a criterion for unsupervised denoising learning based on the optimal transport theory. This criterion has favorable properties, e.g., approximately maximal preservation of the information of the signal, whilst achieving perceptual reconstruction. Furthermore, though a relaxed unconstrained formulation is used in practical implementation, we prove that the relaxed formulation in theory has the same solution as the original constrained formulation. Experiments on synthetic and real-world data, including realistic photographic, microscopy, depth, and raw depth images, demonstrate that the proposed method even compares favorably with supervised methods, e.g., approaching the PSNR of supervised methods while having better perceptual quality. Particularly, for spatially correlated noise and realistic microscopy images, the proposed method not only achieves better perceptual quality but also has higher PSNR than supervised methods. Besides, it shows remarkable superiority in harsh practical conditions with complex noise, e.g., raw depth images. Code is available at https://github.com/wangweiSJTU/OTUR.


title: Matter Bounce Scenario and the Dynamical aspects in f(Q,T) Gravity

abstract: In the context of the late time cosmic acceleration phenomenon, many geometrically modified theories of gravity have been proposed in recent times. In this paper, we have investigated the role of a recently proposed extension of symmetric teleparallel gravity dubbed as f(Q,T) gravity in getting viable cosmological models, where Q and T respectively denote the non-metricity and the trace of energy momentum tensor. We stress upon the mathematical simplification of the formalism in the f(Q,T) gravity and derived the dynamical parameters in more general form in terms of the Hubble parameter. We considered two different cosmological models mimicking non-singular matter bounce scenario. Since energy conditions play a vital role in providing bouncing scenario, we have analyzed different possible energy conditions to show that strong energy condition and null energy condition be violated in this theory. The models considered in the work are validated through certain cosmographic tests and stability analysis.


title: Performer Identification From Symbolic Representation of Music Using Statistical Models

abstract: Music Performers have their own idiosyncratic way of interpreting a musical piece. A group of skilled performers playing the same piece of music would likely to inject their unique artistic styles in their performances. The variations of the tempo, timing, dynamics, articulation etc. from the actual notated music are what make the performers unique in their performances. This study presents a dataset consisting of four movements of Schubert's ``Sonata in B-flat major, D.960" performed by nine virtuoso pianists individually. We proposed and extracted a set of expressive features that are able to capture the characteristics of an individual performer's style. We then present a performer identification method based on the similarity of feature distribution, given a set of piano performances. The identification is done considering each feature individually as well as a fusion of the features. Results show that the proposed method achieved a precision of 0.903 using fusion features. Moreover, the onset time deviation feature shows promising result when considered individually.


title: Chaos Synchronization using Nonlinear Observers with applications to Cryptography

abstract: The goal of this survey paper is to provide an introduction to chaos synchronization using nonlinear observers and its applications in cryptography. I start with an overview of cryptography. Then, I recall the basics of chaos theory and how to use chaotic systems for cryptography, with an introduction to the problem of chaos synchronization. Then, I present the theory of non-linear observers, which is used for the synchronization of chaotic systems. I start with an explanation of the observability problem. Then, I introduce some of the classical observers: Kalman filter, Luenberger observer, Extended Kalman filter, Thau's observer, and High gain observer. I finish by introducing the more advanced observers: Adaptive observers, Unknown inputs observers, Sliding mode observers and ANFIS (Adaptive Neuro-Fuzzy Inference Systems) observers.


title: Neural network-based prediction of the secret-key rate of quantum key distribution

abstract: Numerical methods are widely used to calculate the secure key rate of many quantum key distribution protocols in practice, but they consume many computing resources and are too time-consuming. In this work, we take the homodyne detection discrete-modulated continuous-variable quantum key distribution (CV-QKD) as an example, and construct a neural network that can quickly predict the secure key rate based on the experimental parameters and experimental results. Compared to traditional numerical methods, the speed of the neural network is improved by several orders of magnitude. Importantly, the predicted key rates are not only highly accurate but also highly likely to be secure. This allows the secure key rate of discrete-modulated CV-QKD to be extracted in real time on a low-power platform. Furthermore, our method is versatile and can be extended to quickly calculate the complex secure key rates of various other unstructured quantum key distribution protocols.


title: Selective privacy in IoT smart-farms for battery-powered device longevity

abstract: This paper presents a payload security model to maintain the standards of TLS whilst removing obstacles associated with constrained devices and IoT network protocols. The domain of aquaponics as a smart-farming environment was used to test the novelty with ESP32 edge devices. The impact of privacy on message content illustrated the most appropriate security attribute configurations, followed by time and power analysis to calculate energy consumptions of each scenario. It was concluded that using this tailored payload security model rather than TLS was capable of extending the battery life of constrained devices by up to 81%, whilst maintaining TLS security standards, and applicable to various protocols.


title: The upgraded Data Acquisition System of the H.E.S.S. telescope array

abstract: The High Energy Stereoscopic System (H.E.S.S.) is an array of five Imaging Atmospheric Cherenkov Telescopes located in the Khomas Highland of Namibia. H.E.S.S. observes gamma rays above tens of GeV by detecting the Cherenkov light that is produced when Very High Energy gamma rays interact with the Earth's atmosphere. The H.E.S.S. Data Acquisition System (DAQ) coordinates the nightly telescope operations, ensuring that the various components communicate properly and behave as intended. It also provides the interface between the telescopes and the people on shift who guide the operations. The DAQ comprises both the hardware and software, and since the beginning of H.E.S.S., both elements have been continuously adapted to improve the data-taking capabilities of the array and push the limits of what H.E.S.S. is capable of. Most recently, this includes the upgrade of the entire computing cluster hosting the DAQ software, and the accommodation of a new camera on the large 28m H.E.S.S. telescope. We discuss the performance of the upgraded DAQ and the lessons learned from these activities.


title: Handling Inconsistencies in Tables with Nulls and Functional Dependencies

abstract: In this paper we address the problem of handling inconsistencies in tables with missing values (also called nulls) and functional dependencies. Although the traditional view is that table instances must respect all functional dependencies imposed on them, it is nevertheless relevant to develop theories about how to handle instances that violate some dependencies. Regarding missing values, we make no assumptions on their existence: a missing value exists only if it is inferred from the functional dependencies of the table. We propose a formal framework in which each tuple of a table is associated with a truth value among the following: true, false, inconsistent or unknown; and we show that our framework can be used to study important problems such as consistent query answering, table merging, and data quality measures - to mention just a few. In this paper, however, we focus mainly on consistent query answering, a problem that has received considerable attention during the last decades. The main contributions of the paper are the following: (a) we introduce a new approach to handle inconsistencies in a table with nulls and functional dependencies, (b) we give algorithms for computing all true, inconsistent and false tuples, (c) we investigate the relationship between our approach and Four-valued logic in the context of data merging, and (d) we give a novel solution to the consistent query answering problem and compare our solution to that of table repairs.


title: An Abstract View of Big Data Processing Programs

abstract: This paper proposes a model for specifying data flow based parallel data processing programs agnostic of target Big Data processing frameworks. The paper focuses on the formal abstract specification of non-iterative and iterative programs, generalizing the strategies adopted by data flow Big Data processing frameworks. The proposed model relies on monoid AlgebraandPetri Netstoabstract Big Data processing programs in two levels: a high level representing the program data flow and a lower level representing data transformation operations (e.g., filtering, aggregation, join). We extend the model for data processing programs proposed in [1], to enable the use of iterative programs. The general specification of iterative data processing programs implemented by data flow-based parallel programming models is essential given the democratization of iterative and greedy Big Data analytics algorithms. Indeed, these algorithms call for revisiting parallel programming models to express iterations. The paper gives a comparative analysis of the iteration strategies proposed byApache Spark, DryadLINQ, Apache Beam and Apache Flink. It discusses how the model achieves to generalize these strategies.


title: Global existence and scattering for the inhomogeneous nonlinear Schr\"odinger equation

abstract: In this paper we consider the inhomogeneous nonlinear Schr\"odinger equation $i\partial_t u +\Delta u=K(x)|u|^\alpha u,\, u(0)=u_0\in H^s({\mathbb R}^N),\, s=0,\,1,$ $N\geq 1,$ $|K(x)|+|x|^s|\nabla^sK(x)|\lesssim |x|^{-b},$ $0<b<\min(2,N-2s),$ $0<\alpha<{(4-2b)/(N-2s)}$. We obtain novel results of global existence for oscillating initial data and scattering theory in a weighted $L^2$-space for a new range $\alpha_0(b)<\alpha<(4-2b)/N$. The value $\alpha_0(b)$ is the positive root of $N\alpha^2+(N-2+2b)\alpha-4+2b=0,$ which extends the Strauss exponent known for $b=0$. Our results improve the known ones for $K(x)=\mu|x|^{-b}$, $\mu\in \mathbb{C}$ and apply for more general potentials. In particular, we show the impact of the behavior of the potential at the origin and infinity on the allowed range of $\alpha$. Some decay estimates are also established for the defocusing case. To prove the scattering results, we give a new criterion taking into account the potential $K$.


title: Adaptive Beam Design for V2I Communications using Vehicle Tracking with Extended Kalman Filter

abstract: Vehicle-to-everything communication system is a strong candidate for improving the driving experience and automotive safety by linking vehicles to wireless networks. To take advantage of the full benefits of vehicle connectivity, it is essential to ensure a stable network connection between roadside unit (RSU) and fast-moving vehicles. Based on the extended Kalman filter (EKF), we develop a vehicle tracking algorithm to enable reliable radio connections. For the vehicle tracking algorithm, we focus on estimating the rapid changes in the beam direction of a high-mobility vehicle while reducing the feedback overhead. Furthermore, we design a beamforming codebook that considers the road layout and RSU. By leveraging the proposed beamforming codebook, vehicles on the road can expect a service quality similar to that of conventional cellular services. Finally, a beamformer selection algorithm is developed to secure sufficient gain for the system's link budget. Numerical results verify that the EKF-based vehicle tracking algorithm and the proposed beamforming structure are more suitable for vehicle-to-infrastructure networks compared to existing schemes.


title: Geometric Embeddability of Complexes is $\exists \mathbb R$-complete

abstract: We show that the decision problem of determining whether a given (abstract simplicial) $k$-complex has a geometric embedding in $\mathbb R^d$ is complete for the Existential Theory of the Reals for all $d\geq 3$ and $k\in\{d-1,d\}$. This implies that the problem is polynomial time equivalent to determining whether a polynomial equation system has a real solution. Moreover, this implies NP-hardness and constitutes the first hardness results for the algorithmic problem of geometric embedding (abstract simplicial) complexes.


title: Curvature, integrability, and the six sphere

abstract: This note is about the interplay between the almost-hermitian and Riemannian geometries of a manifold. These geometries can be seen to interact through curvature. The main result is an obstruction equation to the integrability of almost-complex structures orthogonal with respect to Riemannian metrics with constrained sectional curvature. Several geometric consequences ensue, such as a formula for the norm of the Levi-Civita covariant derivative of a hypothetical orthogonal complex structure. Our results lead to a partial recovery of the well-known fact that the round $6$-sphere $S^6$ is not hermitian. The partial proof is intrinsic in nature, and shows some level of promise when it comes to generalizing the non-complexity of the round $S^6$ result in new directions.


title: Four-Valued Semantics for Deductive Databases

abstract: In this paper, we introduce a novel approach to deductive databases meant to take into account the needs of current applications in the area of data integration. To this end, we extend the formalism of standard deductive databases to the context of Four-valued logic so as to account for unknown, inconsistent, true or false information under the open world assumption. In our approach, a database is a pair (E,R) where E is the extension and R the set of rules. The extension is a set of pairs of the form (f, v) where f is a fact and v is a value that can be true, inconsistent or false - but not unknown (that is, unknown facts are not stored in the database). The rules follow the form of standard Datalog{neg} rules but, contrary to standard rules, their head may be a negative atom. Our main contributions are as follows: (i) we give an expression of first-degree entailment in terms of other connectors and exhibit a functionally complete set of basic connectors not involving first-degree entailment, (ii) we define a new operator for handling our new type of rules and show that this operator is monotonic and continuous, thus providing an effective way for defining and computing database semantics, and (iii) we argue that our framework allows for the definition of a new type of updates that can be used in most standard data integration applications.


title: On uniqueness of static spacetime with conformal scalar in higher dimensions

abstract: We discuss the uniqueness of asymptotically flat and static spacetimes in the $n$-dimensional Einstein-conformal scalar system. This theory potentially has a singular point in the field equations where the effective Newton constant diverges. We will show that the static spacetime with the conformal scalar field outside a certain surface $S_p$ associated with the singular point is unique.


title: TRANSMUT-SPARK: Transformation Mutation for Apache Spark

abstract: We propose TRANSMUT-Spark, a tool that automates the mutation testing process of Big Data processing code within Spark programs. Apache Spark is an engine for Big Data Processing. It hides the complexity inherent to Big Data parallel and distributed programming and processing through built-in functions, underlying parallel processes, and data management strategies. Nonetheless, programmers must cleverly combine these functions within programs and guide the engine to use the right data management strategies to exploit the large number of computational resources required by Big Data processing and avoid substantial production losses. Many programming details in data processing code within Spark programs are prone to false statements that need to be correctly and automatically tested. This paper explores the application of mutation testing in Spark programs, a fault-based testing technique that relies on fault simulation to evaluate and design test sets. The paper introduces the TRANSMUT-Spark solution for testing Spark programs. TRANSMUT-Spark automates the most laborious steps of the process and fully executes the mutation testing process. The paper describes how the tool automates the mutants generation, test execution, and adequacy analysis phases of mutation testing with TRANSMUT-Spark. It also discusses the results of experiments that were carried out to validate the tool to argue its scope and limitations.


title: REAL: Rapid Exploration with Active Loop-Closing toward Large-Scale 3D Mapping using UAVs

abstract: Exploring an unknown environment without colliding with obstacles is one of the essentials of autonomous vehicles to perform diverse missions such as structural inspections, rescues, deliveries, and so forth. Therefore, unmanned aerial vehicles (UAVs), which are fast, agile, and have high degrees of freedom, have been widely used. However, previous approaches have two limitations: a) First, they may not be appropriate for exploring large-scale environments because they mainly depend on random sampling-based path planning that causes unnecessary movements. b) Second, they assume the pose estimation is accurate enough, which is the most critical factor in obtaining an accurate map. In this paper, to explore and map unknown large-scale environments rapidly and accurately, we propose a novel exploration method that combines the pre-calculated Peacock Trajectory with graph-based global exploration and active loop-closing. Because the two-step trajectory that considers the kinodynamics of UAVs is used, obstacle avoidance is guaranteed in the receding-horizon manner. In addition, local exploration that considers the frontier and global exploration based on the graph maximizes the speed of exploration by minimizing unnecessary revisiting. In addition, by actively closing the loop based on the likelihood, pose estimation performance is improved. The proposed method's performance is verified by exploring 3D simulation environments in comparison with the state-of-the-art methods. Finally, the proposed approach is validated in a real-world experiment.


title: Time-dependent active microrheology in dilute colloidal suspensions

abstract: In a microrheological set-up a single probe particle immersed in a complex fluid is exposed to a strong external force driving the system out of equilibrium. Here, we elaborate analytically the time-dependent response of a probe particle in a dilute suspension of Brownian particles to a large step-force, exact in first order of the density of the bath particles. The time-dependent drift velocity approaches its stationary state value exponentially fast for arbitrarily small driving in striking contrast to the power-law prediction of linear response encoded in the long-time tails of the velocity autocorrelation function. We show that the stationary-state behavior depends nonanalytically on the driving force and connect this behavior to the persistent correlations in the equilibrium state. We argue that this relation holds generically. Furthermore, we elaborate that the fluctuations in the direction of the force display transient superdiffusive behavior.


title: Capillary filling in drop merging: dynamics of the four-phase contact point

abstract: The merging of immiscible drops differs significantly from the merging of miscible drops due to the formation of a liquid-liquid interface between drops. The immiscibility requires the formation of a four-phase contact point, where the drops, the gas and the substrate meet. We show that this point has its own unique dynamics, never studied beforehand. For very different scenarios, the propagation distance of this point follows scales with time like t^{0.5}. A model balancing the driving and dissipative forces agrees with our experiments.


title: A New Design for a Traveling-Wave Zeeman Decelerator: II. Experiment

abstract: A novel traveling-wave Zeeman decelerator based on a double-helix coil geometry capable of decelerating paramagnetic molecules with high efficiency is presented. Moving magnetic traps are generated by applying time-dependent currents through the decelerator coils. Paramagnetic molecules in low-field-seeking Zeeman states are confined inside the moving traps which are decelerated to lower forward velocities. As a prototypical example, we demonstrate the deceleration of OH radicals from an initial velocity of 445 m/s down to various final velocities. The experimental results are analyzed and numerically reproduced with the help of trajectory simulations confirming the phase-space stability and efficiency of the deceleration of the molecules in the new device.


title: A variational Bayesian spatial interaction model for estimating revenue and demand at business facilities

abstract: We study the problem of estimating potential revenue or demand at business facilities and understanding its generating mechanism. This problem arises in different fields such as operation research or urban science, and more generally, it is crucial for businesses' planning and decision making. We develop a Bayesian spatial interaction model, henceforth BSIM, which provides probabilistic predictions about revenues generated by a particular business location provided their features and the potential customers' characteristics in a given region. BSIM explicitly accounts for the competition among the competitive facilities through a probability value determined by evaluating a store-specific Gaussian distribution at a given customer location. We propose a scalable variational inference framework that, while being significantly faster than competing Markov Chain Monte Carlo inference schemes, exhibits comparable performances in terms of parameters identification and uncertainty quantification. We demonstrate the benefits of BSIM in various synthetic settings characterised by an increasing number of stores and customers. Finally, we construct a real-world, large spatial dataset for pub activities in London, UK, which includes over 1,500 pubs and 150,000 customer regions. We demonstrate how BSIM outperforms competing approaches on this large dataset in terms of prediction performances while providing results that are both interpretable and consistent with related indicators observed for the London region.


title: R\&D evaluation methodology based on group-AHP with uncertainty

abstract: In this paper, we present an approach to evaluate Research \& Development (R\&D) performance based on the Analytic Hierarchy Process (AHP) method. Through a set of questionnaires submitted to a team of experts, we single out a set of indicators needed for R\&D performance evaluation. The indicators, together with the corresponding criteria, form the basic hierarchical structure of the AHP method. The numerical values associated with all the indicators are then used to assign a score to a given R\&D project. In order to aggregate consistently the values taken on by the different indicators, we operate on them so that they are mapped to dimensionless quantities lying in a unit interval. This is achieved by employing the empirical Cumulative Density Function (CDF) for each of the indicators. We give a thorough discussion on how to assign a score to an R\&D project along with the corresponding uncertainty due to possible inconsistencies of the decision process. A particular example of R\&D performance is finally considered.


title: Science verification of the new FlashCam-based camera in the 28m telescope of H.E.S.S

abstract: In October 2019 the central 28m telescope of the H.E.S.S. experiment has been upgraded with a new camera. The camera is based on the FlashCam design which has been developed in view of a possible future implementation in the medium-sized telescopes of the Cherenkov Telescope Array (CTA). We report here on the results of the science verification program that has been performed after commissioning of the new camera, to show that the camera and software pipelines are working up to expectations.


title: A rigorous and efficient approach to finding and quantifying symmetries in complex networks

abstract: Symmetries are fundamental to dynamical processes in complex networks such as cluster synchronization, which have attracted a great deal of current research. Finding symmetric nodes in large complex networks, however, has relied on automorphism groups in algebraic group theory, which are solvable in quasipolynomial time. We articulate a conceptually appealing and computationally extremely efficient approach to finding and characterizing all symmetric nodes by introducing a structural position vector (SPV) for each and every node in the network. We prove mathematically that nodes with the identical SPV are symmetrical to each other. Utilizing six representative complex networks from the real world, we demonstrate that all symmetric nodes can be found in linear time, and the SPVs can not only characterize the similarity of nodes but also quantify the nodal influences in spreading dynamics on the network. Our SPV-based framework, in additional to being rigorously justified, provides a physically intuitive way to uncover, understand and exploit symmetric structures in complex networks.


title: Knowledge Distillation from BERT Transformer to Speech Transformer for Intent Classification

abstract: End-to-end intent classification using speech has numerous advantages compared to the conventional pipeline approach using automatic speech recognition (ASR), followed by natural language processing modules. It attempts to predict intent from speech without using an intermediate ASR module. However, such end-to-end framework suffers from the unavailability of large speech resources with higher acoustic variation in spoken language understanding. In this work, we exploit the scope of the transformer distillation method that is specifically designed for knowledge distillation from a transformer based language model to a transformer based speech model. In this regard, we leverage the reliable and widely used bidirectional encoder representations from transformers (BERT) model as a language model and transfer the knowledge to build an acoustic model for intent classification using the speech. In particular, a multilevel transformer based teacher-student model is designed, and knowledge distillation is performed across attention and hidden sub-layers of different transformer layers of the student and teacher models. We achieve an intent classification accuracy of 99.10% and 88.79% for Fluent speech corpus and ATIS database, respectively. Further, the proposed method demonstrates better performance and robustness in acoustically degraded condition compared to the baseline method.


title: Entropy Production and the Role of Correlations in Quantum Brownian Motion

abstract: We perform a study on quantum entropy production, different kinds of correlations, and their interplay in the driven Caldeira-Leggett model of quantum Brownian motion. The model, taken with a large but finite number of bath modes, is exactly solvable, and the assumption of a Gaussian initial state leads to an efficient numerical simulation of all desired observables in a wide range of model parameters. Our study is composed of three main parts. We first compare two popular definitions of entropy production, namely the standard weak-coupling formulation originally proposed by Spohn and later on extended to the driven case by Deffner and Lutz, and the always-positive expression introduced by Esposito, Lindenberg and van den Broeck, which relies on the knowledge of the evolution of the bath. As a second study, we explore the decomposition of the Esposito et al. entropy production into system-environment and intra-environment correlations for different ranges of couplings and temperatures. Lastly, we examine the evolution of quantum correlations between the system and the environment, measuring entanglement through logarithmic negativity.


title: The Nystr\"{o}m method for elastic wave scattering by unbounded rough surfaces

abstract: We consider the numerical algorithm for the two-dimensional time-harmonic elastic wave scattering by unbounded rough surfaces with Dirichlet boundary condition. A Nystr\"{o}m method is proposed for the scattering problem based on the integral equation method. Convergence of the Nystr\"{o}m method is established with convergence rate depending on the smoothness of the rough surfaces. In doing so, a crucial role is played by analyzing the singularities of the kernels of the relevant boundary integral operators. Numerical experiments are presented to demonstrate the effectiveness of the method.


title: Energy and spectral analysis of confined solar flares from radio and X-ray observations

abstract: The energy and spectral shape of radio bursts may help us understand the generation mechanism of solar eruptions, including solar flares, CMEs, eruptive filaments, and various scales of jets. The different kinds of flares may have different characteristics of energy and spectral distribution. In this work, we selected 10 mostly confined flare events during October 2014 to investigate their overall spectral behavior and the energy emitted in microwaves by using radio observations from microwaves to interplanetary radio waves, and X-ray observations of GOES, RHESSI, and Fermi/GBM. We found that: All the confined flare events were associated with a microwave continuum burst extending to frequencies of 9.4 - 15.4 GHz, and the peak frequencies of all confined flare events are higher than 4.995 GHz and lower than or equal to 17 GHz. The median value is around 9 GHz. The microwave burst energy (or fluence) as well as the peak frequency are found to provide useful criteria to estimate the power of solar flares. The observations imply that the magnetic field in confined flares tends to be stronger than that in 412 flares studied by Nita et al. 2004. All 10 events studied did not produce detectable hard X-rays with energies above 300 keV indicating the lack of efficient acceleration of electrons to high energies in the confined flares.


title: Tikhonov Regularization of Circle-Valued Signals

abstract: It is common to have to process signals or images whose values are cyclic and can be represented as points on the complex circle, like wrapped phases, angles, orientations, or color hues. We consider a Tikhonov-type regularization model to smoothen or interpolate circle-valued signals defined on arbitrary graphs. We propose a convex relaxation of this nonconvex problem as a semidefinite program, and an efficient algorithm to solve it.


title: Spinors, Twistors and Classical Geometry

abstract: The paper studies explicitly the Hitchin system restricted to the Higgs fields on a fixed very stable rank 2 bundle in genus 2 and 3. The associated families of quadrics relate to both the geometry of Penrose's twistor spaces and several classical results.


title: An infinite-dimensional affine stochastic volatility model

abstract: We introduce a flexible and tractable infinite-dimensional stochastic volatility model. More specifically, we consider a Hilbert space valued Ornstein-Uhlenbeck-type process, whose instantaneous covariance is given by a pure-jump stochastic process taking values in the cone of positive self-adjoint Hilbert-Schmidt operators. The tractability of our model lies in the fact that the two processes involved are jointly affine, i.e., we show that their characteristic function can be given explicitly in terms of the solutions to a set of generalised Riccati equations. The flexibility lies in the fact that we allow multiple modeling options for the instantaneous covariance process, including state-dependent jump intensity. Infinite dimensional volatility models arise e.g. when considering the dynamics of forward rate functions in the Heath-Jarrow-Morton-Musiela modeling framework using the Filipovi\`c space. In this setting we discuss various examples: an infinite-dimensional version of the Barndorff-Nielsen-Shephard stochastic volatility model, as well as a model involving self-exciting volatility.


title: EENLP: Cross-lingual Eastern European NLP Index

abstract: Motivated by the sparsity of NLP resources for Eastern European languages, we present a broad index of existing Eastern European language resources (90+ datasets and 45+ models) published as a github repository open for updates from the community. Furthermore, to support the evaluation of commonsense reasoning tasks, we provide hand-crafted cross-lingual datasets for five different semantic tasks (namely news categorization, paraphrase detection, Natural Language Inference (NLI) task, tweet sentiment detection, and news sentiment detection) for some of the Eastern European languages. We perform several experiments with the existing multilingual models on these datasets to define the performance baselines and compare them to the existing results for other languages.


title: Self-supervised optimization of random material microstructures in the small-data regime

abstract: While the forward and backward modeling of the process-structure-property chain has received a lot of attention from the materials community, fewer efforts have taken into consideration uncertainties. Those arise from a multitude of sources and their quantification and integration in the inversion process are essential in meeting the materials design objectives. The first contribution of this paper is a flexible, fully probabilistic formulation of such optimization problems that accounts for the uncertainty in the process-structure and structure-property linkages and enables the identification of optimal, high-dimensional, process parameters. We employ a probabilistic, data-driven surrogate for the structure-property link which expedites computations and enables handling of non-differential objectives. We couple this with a novel active learning strategy, i.e. a self-supervised collection of data, which significantly improves accuracy while requiring small amounts of training data. We demonstrate its efficacy in optimizing the mechanical and thermal properties of two-phase, random media but envision its applicability encompasses a wide variety of microstructure-sensitive design problems.


title: UniCon: Unified Context Network for Robust Active Speaker Detection

abstract: We introduce a new efficient framework, the Unified Context Network (UniCon), for robust active speaker detection (ASD). Traditional methods for ASD usually operate on each candidate's pre-cropped face track separately and do not sufficiently consider the relationships among the candidates. This potentially limits performance, especially in challenging scenarios with low-resolution faces, multiple candidates, etc. Our solution is a novel, unified framework that focuses on jointly modeling multiple types of contextual information: spatial context to indicate the position and scale of each candidate's face, relational context to capture the visual relationships among the candidates and contrast audio-visual affinities with each other, and temporal context to aggregate long-term information and smooth out local uncertainties. Based on such information, our model optimizes all candidates in a unified process for robust and reliable ASD. A thorough ablation study is performed on several challenging ASD benchmarks under different settings. In particular, our method outperforms the state-of-the-art by a large margin of about 15% mean Average Precision (mAP) absolute on two challenging subsets: one with three candidate speakers, and the other with faces smaller than 64 pixels. Together, our UniCon achieves 92.0% mAP on the AVA-ActiveSpeaker validation set, surpassing 90% for the first time on this challenging dataset at the time of submission. Project website: https://unicon-asd.github.io/.


title: Rank 4 Nichols Algebras of Pale Braidings

abstract: We classify finite GK-dimensional Nichols algebras ${\mathscr B}(V)$ of rank 4 such that $V$ arises as a Yetter-Drinfeld module over an abelian group but it is not a direct sum of points and blocks.


title: Semiconcavity and Sensitivity Analysis in Mean-Field Optimal Control and Applications

abstract: In this article, we investigate some of the fine properties of the value function associated to an optimal control problem in the Wasserstein space of probability measures. Building on new interpolation and linearisation formulas for non-local flows, we prove semiconcavity estimates for the value function, and establish several variants of the so-called sensitivity relations which provide connections between its superdifferential and the adjoint curves stemming from the maximum principle. We subsequently make use of these results to study the propagation of regularity for the value function along optimal trajectories, as well as to investigate sufficient optimality conditions and optimal feedbacks for mean-field optimal control problems.


title: The electron-phonon coupling constant and the Debye temperature in polyhydrides of thorium, hexadeuteride of yttrium, and metallic hydrogen phase III

abstract: Milestone experimental discovery of superconductivity above 200 K in highly-compressed sulphur hydride by Drozdov (Nature 525, 73 (2015)) sparked experimental and theoretical investigations of metallic hydrides. Since then, a dozen of superconducting binary and ternary polyhydrides have been discovered. For instance, there are three superconducting polyhydrides of thorium: Th4H15, ThH9, and ThH10 and four polyhydrides of yttrium: YH4, YH6, YH7, YH9. In addition to binary and ternary hydrogen-based metallic compounds, recently Eremets (arXiv:2109.11104) reported on the metallization of hydrogen, which exhibits a phase transition into metallic hydrogen phase III at P>330 GPa and T<200 K. Here we analyzed temperature-dependent resistance, R(T), in polyhydrides of thorium, hexadeuteride of yttrium and in hydrogen phase III and deduced the Debye temperature, $T$$_{\theta}$, and the electron-phonon coupling constant, $\lambda_{e-ph}$, for these conductors. We found that Th4H15 phase exhibits $\lambda_{e-ph}$ = 0.82-0.99 which is in a very good agreement with experimental value of $\lambda_{e-ph}$ = 0.84 deduced from heat capacity measurements (Miller, Phys. Rev. B 14, 2795 (1976)). For P63/mmc-ThH9 phase (P = 170 GPa) we deduced $\lambda_{e-ph}$(170 GPa) = 1.46, which is in a reasonable agreement with $\lambda_{e-ph}$ reported by Semenok (Materials Today 33, 36 (2020)). Deduced $\lambda_{e-ph}$(170 GPa) = 1.70 for Fm-3m-ThH10 is in remarkable agreement with first-principles calculated $\lambda_{e-ph}$(174 GPa)=1.75 (Semenok, Materials Today 33, 36 (2020)). Deduced $\lambda_{e-ph}$(172 GPa) = 1.90 for Im-3m-YD6 is also in excellent agreement with first-principles calculated $\lambda_{e-ph}$(165 GPa)=1.80 (Troyan, Advanced Materials 33, 2006832 (2021)). And finally, we deduced $T$$_{\theta}$(402 GPa) = 727 K for hydrogen phase III which implies that $\lambda_{e-ph}$(402 GPa)<1.7 in this metal.


title: Impact of Receiver Antenna Polarization and Resource Scheduler on the Downlink Performance of High Velocity Users in 5G Millimeter Wave Small Cell Technology

abstract: With the occupancy of the existing frequency spectrum the demands of the skyrocketing data traffic paved the path for 5G millimeter Wave (mmWave) technology. The wide frequency spectrum and high directivity can elevate the mean data rate. This performance gain comes at the cost of a higher pathloss which limits the use of mmWave technology to small cells. Also at such high frequencies the multipath components and blockages appear as persistent barriers leading to alteration of antenna polarization, affecting resource scheduler performance and throughput degradation. The impact of these barriers for high velocity user equipments (UEs) in mmWave network is still left to be studied. Using closed loop spatial multiplexing transmission scheme this study analyses the effect of receiver antenna polarization and types of resource scheduler used in base station on the downlink performance of mobile users (0-120kmph) in the mmWave small cell network. Thorough investigation has been conducted to infer which antenna combination should be advantageous under different scheduling algorithms for high mobility UEs. Our results indicate that the scheduler performance is complimented by the receiver antenna polarization, and by appropriate selection a better downlink performance can be sustained. Also reception under linear polarization performs better over circular polarization for high velocity UEs.


title: Multi-Frequency Implicit Semi-analog Monte-Carlo (ISMC) Radiative Transfer Solver in Two-Dimensions (without Teleportation)

abstract: We study the multi-dimensional radiative transfer phenomena using the ISMC scheme, in both gray and multi-frequency problems. Implicit Monte-Carlo (IMC) schemes have been in use for five decades. The basic algorithm yields teleportation errors, where photons propagate faster than the correct heat front velocity. Recently [Po\"ette and Valentin, J. Comp. Phys., 412, 109405 (2020)], a new implicit scheme based on the semi-analog scheme was presented and tested in several one-dimensional gray problems. In this scheme, the material energy of the cell is carried by material-particles, and the photons are produced only from existing material particles. As a result, the teleportation errors vanish, due to the infinite discrete spatial accuracy of the scheme. We examine the validity of the new scheme in two-dimensional problems, both in Cartesian and Cylindrical geometries. Additionally, we introduce an expansion of the new scheme for multi-frequency problems. We show that the ISMC scheme presents excellent results without teleportation errors in a large number of benchmarks, especially against the slow classic IMC convergence.


title: Planning with Learned Dynamic Model for Unsupervised Point Cloud Registration

abstract: Point cloud registration is a fundamental problem in 3D computer vision. In this paper, we cast point cloud registration into a planning problem in reinforcement learning, which can seek the transformation between the source and target point clouds through trial and error. By modeling the point cloud registration process as a Markov decision process (MDP), we develop a latent dynamic model of point clouds, consisting of a transformation network and evaluation network. The transformation network aims to predict the new transformed feature of the point cloud after performing a rigid transformation (i.e., action) on it while the evaluation network aims to predict the alignment precision between the transformed source point cloud and target point cloud as the reward signal. Once the dynamic model of the point cloud is trained, we employ the cross-entropy method (CEM) to iteratively update the planning policy by maximizing the rewards in the point cloud registration process. Thus, the optimal policy, i.e., the transformation between the source and target point clouds, can be obtained via gradually narrowing the search space of the transformation. Experimental results on ModelNet40 and 7Scene benchmark datasets demonstrate that our method can yield good registration performance in an unsupervised manner.


title: The Structure of Stable Codimension One Integral Varifolds near Classical Cones of Density 5/2

abstract: We prove a multi-valued $C^{1,\alpha}$ regularity theorem for the varifolds in the class $\mathcal{S}_2$ (i.e., stable codimension one stationary integral $n$-varifolds admitting no triple junction classical singularities) which are sufficiently close to a stationary integral cone comprised of 5 half-hyperplanes (counted with multiplicity) meeting along a common axis. Such a result is the first of its kind for non-flat cones of higher (i.e. $>1$) multiplicity when branch points are present in the nearby varifolds. For such varifolds, this completes the analysis of the singular set in the region where the density is $<3$, up to a set which is countably $(n-2)$-rectifiable. Our methods develop the blow-up arguments in \cite{simoncylindrical} and \cite{wickstable}. One key new ingredient of our work is needing to inductively perform successively finer blow-up procedures in order to show that a certain $\epsilon$-regularity property holds at the blow-up level; this is then used to prove a $C^{1,\alpha}$ boundary regularity theory for two-valued $C^{1,\alpha}$ harmonic functions which arise as blow-ups of sequences of such varifolds, the argument for which is carried out in the accompanying work \cite{minter2021}.


title: A Buchsbaum theory for tight closure

abstract: A Noetherian local ring $(R,\mathfrak{m})$ is called Buchsbaum if the difference $e(\mathfrak{q}, R)-\ell(R/\mathfrak{q})$, where $\mathfrak{q}$ is an ideal generated by a system of parameters, is a constant independent of $\mathfrak{q}$. In this article, we study the tight closure analog of this condition. We prove that in an unmixed excellent local ring $(R,\mathfrak{m})$ of prime characteristic $p>0$ and dimension at least one, the difference $e(\mathfrak{q}, R)-\ell(R/\mathfrak{q}^*)$ is independent of $\mathfrak{q}$ if and only if the parameter test ideal $\tau_{\text{par}}(R)$ contains $\mathfrak{m}$. We also provide a characterization of this condition via derived category which is analogous to Schenzel's criterion for Buchsbaum rings.


title: Stochastic Analysis of the Diffusion Least Mean Square and Normalized Least Mean Square Algorithms for Cyclostationary White Gaussian and Non-Gaussian Inputs

abstract: The diffusion least mean square (DLMS) and the diffusion normalized least mean square (DNLMS) algorithms are analyzed for a network having a fusion center. This structure reduces the dimensionality of the resulting stochastic models while preserving important diffusion properties. The analysis is done in a system identification framework for cyclostationary white nodal inputs. The system parameters vary according to a random walk model. The cyclostationarity is modeled by periodic time variations of the nodal input powers. The analysis holds for all types of nodal input distributions and nodal input power variations. The derived models consist of simple scalar recursions. These recursions facilitate the understanding of the network mean and mean-square dependence upon the 1) nodal weighting coefficients, 2) nodal input kurtosis and cyclostationarities, 3) nodal noise powers and 4) the unknown system mean-square parameter increments. Optimization of the node weighting coefficients is studied. Also investigated is the stability dependence of the two algorithms upon the nodal input kurtosis and weighting coefficients. Significant differences are found between the behaviors of the DLMS and DNLMS algorithms for non-Gaussian nodal inputs. Simulations provide strong support for the theory.


title: On semisimplicity of Jantzen middles for the periplectic Lie superalgebra

abstract: We prove that an integral block of the category $\mathcal O$ of the periplectic Lie superalgebra contains a non-semisimple Jantzen middle if and only if it contains a simple module of atypical highest weight. As a consequence, every atypical integral block of $\mathcal O$ does not admit a Kazhdan-Lusztig theory in the sense of Cline, Parshall and Scott.


title: Using a Collated Cybersecurity Dataset for Machine Learning and Artificial Intelligence

abstract: Artificial Intelligence (AI) and Machine Learning (ML) algorithms can support the span of indicator-level, e.g. anomaly detection, to behavioral level cyber security modeling and inference. This contribution is based on a dataset named BRON which is amalgamated from public threat and vulnerability behavioral sources. We demonstrate how BRON can support prediction of related threat techniques and attack patterns. We also discuss other AI and ML uses of BRON to exploit its behavioral knowledge.


title: Large-time behavior of solutions to the outflow problem for the compressible Navier-Stokes-Maxwell equations

abstract: We investigate the large-time behavior of solutions toward the combination of the boundary layer and 3-rarefaction waves to the outflow problem for the compressible non-isentropic Navier-Stokes equations coupling with the Maxwell equations through the Lorentz force (called the Navier-Stokes-Maxwell equations) on the half line $ \mathbb{R}_+ $. It includes the electrodynamic effects into the dissipative structure of the hyperbolic-parabolic system and turns out to be more complicated than that in the simpler compressible Navier-Stokes equations. We prove that this typical composite wave pattern is time-asymptotically stable with the composite boundary condition of the electromagnetic fields, under some smallness conditions and the assumption that the dielectric constant is bounded. This can be viewed as the first result about the nonlinear stability of the combination of two different wave patterns for the IBVP of the non-isentropic Navier-Stokes-Maxwell equations.


title: An answer to a question of Bonnaf\'e

abstract: We give a negative answer to a question of Bonnaf\'e on the Loewy length of a character ring of a finite group.


title: Will Skyrmions Move to the Hot or Cold Region under Temperature Gradients?

abstract: We obtain a dynamic equation at finite temperatures in the thermal bath of magnons, electrons, and phonons. We further consider effects of the angular momentum, momentum, magneto-crystalline anisotropy gradient, entropy equivalent field, dipole field, and diffusion to extend this equation to thermal gradients. Our findings are summarized as follows: skyrmions can move towards the hot or cold region; the tangential velocity of skyrmions can be reversed; two velocity components of skyrmions can have the same or different null points; the velocity in the tangential direction can be greater than the heat flow direction; the skyrmion Hall angle can be positive and negative; forces acting on skyrmions produced by equivalent magnetic fields will decrease with temperatures under uniform temperatures. Our results are consistent with experiments and beneficial for spintronics.


title: Quantum Dynamics with Electronic Friction

abstract: A theory of electronic friction is developed using the exact factorization of the electron-nuclear wavefunction. No assumption is made regarding the electronic bath, which can be made of independent or interacting electrons, and the nuclei are treated quantally. The ensuing equation of motion for the nuclear wavefunction is a non-linear Schr\"{o}dinger equation including a friction term. The resulting friction kernel agrees with a previously derived mixed quantum-classical result by Dou, Miao \& Subotnik (\emph{Phys. Rev. Lett.} \textbf{119}, 046001 (2017)), except for a \emph{pseudo}-magnetic contribution in the latter that is here removed. More specifically, it is shown that the electron dynamics generally washes out the\emph{ gauge} fields appearing in the adiabatic dynamics. However, at T=0 K, the \emph{pseudo}-magnetic force is fully re-established in the typical situation where the electrons respond rapidy on the slow time-scale of the nuclear dynamics (Markov limit). Hence, we predict Berry's phase effects to be observable also in the presence of electronic friction, and non-trivial geometric phases should be attainable for molecules on metallic magnetic surfaces.


title: Log-Harnack Inequality and Exponential Ergodicity for Distribution Dependent CKLS and Vasicek Model

abstract: In this paper, Wang's log-Harnack inequality and exponential ergodicity are derived for two types of distribution dependent SDEs: one is the CKLS model, where the diffusion coefficient is a power function of order $\theta$ with $\theta\in[\frac{1}{2},1)$; the other one is Vasicek model, where the diffusion coefficient only depends on distribution. Both models in the distribution independent case can be used to characterize the interest rate in mathematical finance.


title: An Analysis of Spikes in Atmospheric Imaging Assembly (AIA) Data

abstract: The Atmospheric Imaging Assembly (AIA) onboard the Solar Dynamics Observatory (SDO) returns high-resolution images of the solar atmosphere in seven extreme ultraviolet (EUV) wavelength channels. The images are processed on the ground to remove intensity spikes arising from energetic particles hitting the instrument, and the despiked images are provided to the community. In this article a three-hour series of images from the 171 A channel obtained on 28 February 2017 was studied to investigate how often the despiking algorithm gave false positives caused by compact brightenings in the solar atmosphere. The latter were identified through spikes appearing in the same detector pixel for three consecutive frames. 1096 examples were found from the 900 image frames. These "three-spikes" were assigned to 126 dynamic solar features, and it is estimated that the three-spike method identifies 20% of the total number of features affected by despiking. For any ten-minute sequence of AIA 171 A images there are therefore around 35 solar features that have their intensity modified by despiking. The features are found in active regions, quiet Sun, and coronal holes and, in relation to solar surface area, there is a greater proportion within coronal holes. In 96% of the cases, the despiked structure is a compact brightening of size two arcsec or less and the remaining 4% have narrow, elongated structures. By applying an EUV burst detection algorithm, we found that 96% of the events could be classed as EUV bursts. None of the spike events are} rendered invisible by the AIA processing pipeline, but the total intensity over an event's lifetime can be reduced by up to 67%. Users are recommended to always restore the original intensities to AIA data when studying short-lived or rapidly evolving features that exhibit fine-scale structure.


title: MSTRE-Net: Multistreaming Acoustic Modeling for Automatic Lyrics Transcription

abstract: This paper makes several contributions to automatic lyrics transcription (ALT) research. Our main contribution is a novel variant of the Multistreaming Time-Delay Neural Network (MTDNN) architecture, called MSTRE-Net, which processes the temporal information using multiple streams in parallel with varying resolutions keeping the network more compact, and thus with a faster inference and an improved recognition rate than having identical TDNN streams. In addition, two novel preprocessing steps prior to training the acoustic model are proposed. First, we suggest using recordings from both monophonic and polyphonic domains during training the acoustic model. Second, we tag monophonic and polyphonic recordings with distinct labels for discriminating non-vocal silence and music instances during alignment. Moreover, we present a new test set with a considerably larger size and a higher musical variability compared to the existing datasets used in ALT literature, while maintaining the gender balance of the singers. Our best performing model sets the state-of-the-art in lyrics transcription by a large margin. For reproducibility, we publicly share the identifiers to retrieve the data used in this paper.


title: Fast universal quantum control above the fault-tolerance threshold in silicon

abstract: Fault-tolerant quantum computers which can solve hard problems rely on quantum error correction. One of the most promising error correction codes is the surface code, which requires universal gate fidelities exceeding the error correction threshold of 99 per cent. Among many qubit platforms, only superconducting circuits, trapped ions, and nitrogen-vacancy centers in diamond have delivered those requirements. Electron spin qubits in silicon are particularly promising for a large-scale quantum computer due to their nanofabrication capability, but the two-qubit gate fidelity has been limited to 98 per cent due to the slow operation.Here we demonstrate a two-qubit gate fidelity of 99.5 per cent, along with single-qubit gate fidelities of 99.8 per cent, in silicon spin qubits by fast electrical control using a micromagnet-induced gradient field and a tunable two-qubit coupling. We identify the condition of qubit rotation speed and coupling strength where we robustly achieve high-fidelity gates. We realize Deutsch-Jozsa and Grover search algorithms with high success rates using our universal gate set. Our results demonstrate the universal gate fidelity beyond the fault-tolerance threshold and pave the way for scalable silicon quantum computers.


title: Lie theory and cohomology of relative Rota-Baxter operators

abstract: In this paper, we establish a local Lie theory for relative Rota-Baxter operators of weight $1$. First we recall the category of relative Rota-Baxter operators of weight $1$ on Lie algebras and construct a cohomology theory for them. We use the second cohomology group to study infinitesimal deformations of relative Rota-Baxter operators and modified $r$-matrices. Then we introduce a cohomology theory of relative Rota-Baxter operators on a Lie group. We construct the differentiation functor from the category of relative Rota-Baxter operators on Lie groups to that on Lie algebras, and extend it to the cohomology level by proving the Van Est theorem between the two cohomology theories. We integrate a relative Rota-Baxter operator of weight 1 on a Lie algebra to a local relative Rota-Baxter operator on the corresponding Lie group, and show that the local integration and differentiation are adjoint to each other. Finally, we give two applications of our integration of Rota-Baxter operators: one is to give an explicit formula for the factorization problem, and the other is to provide an integration for matched pairs.


title: A New State-of-the-Art Transformers-Based Load Forecaster on the Smart Grid Domain

abstract: Meter-level load forecasting is crucial for efficient energy management and power system planning for Smart Grids (SGs), in tasks associated with regulation, dispatching, scheduling, and unit commitment of power grids. Although a variety of algorithms have been proposed and applied on the field, more accurate and robust models are still required: the overall utility cost of operations in SGs increases 10 million currency units if the load forecasting error increases 1%, and the mean absolute percentage error (MAPE) in forecasting is still much higher than 1%. Transformers have become the new state-of-the-art in a variety of tasks, including the ones in computer vision, natural language processing and time series forecasting, surpassing alternative neural models such as convolutional and recurrent neural networks. In this letter, we present a new state-of-the-art Transformer-based algorithm for the meter-level load forecasting task, which has surpassed the former state-of-the-art, LSTM, and the traditional benchmark, vanilla RNN, in all experiments by a margin of at least 13% in MAPE.


title: The Dirac Sea for the Non-Separable Hilbert Spaces

abstract: We give a rigorous construction of the Dirac Sea for the fermionic quantization in the non-separable Hilbert spaces. These CAR-representations depend on the Axiom of Choice, hence are not unique, nevertheless they are unitarily equivalent to the classic Fock representation.


title: The bipartite Ramsey numbers $BR(C_8, C_{2n})$

abstract: For the given bipartite graphs $G_1,G_2,\ldots,G_t$, the multicolor bipartite Ramsey number $BR(G_1,G_2,\ldots,G_t)$ is the smallest positive integer $b$ such that any $t$-edge-coloring of $K_{b,b}$ contains a monochromatic subgraph isomorphic to $G_i$, colored with the $i$th color for some $1\leq i\leq t$. We compute the exact values of the bipartite Ramsey numbers $BR(C_8,C_{2n})$ for $n\geq2$.


title: Representations of Deligne-Mostow lattices into PGL(3, C)

abstract: We classify representations of a class of Deligne-Mostow lattices into PGL(3;C). In particular, we show local rigidity for the representations (of Deligne-Mostow lattices with 3-fold symmetry and of type one) where the generators we chose are of the same type as the generators of Deligne-Mostow lattices. We also show local rigidity without constraints on the type of generators for six of them and we show the existence of local deformations for a number of representations in three of them. We use formal computations in SAGE and Maple to obtain the results. The code files are available on GitHub.


title: Remarks on input to state stability of perturbed gradient flows, motivated by model-free feedback control learning

abstract: Recent work on data-driven control and reinforcement learning has renewed interest in a relative old field in control theory: model-free optimal control approaches which work directly with a cost function and do not rely upon perfect knowledge of a system model. Instead, an "oracle" returns an estimate of the cost associated to, for example, a proposed linear feedback law to solve a linear-quadratic regulator problem. This estimate, and an estimate of the gradient of the cost, might be obtained by performing experiments on the physical system being controlled. This motivates in turn the analysis of steepest descent algorithms and their associated gradient differential equations. This note studies the effect of errors in the estimation of the gradient, framed in the language of input to state stability, where the input represents a perturbation from the true gradient. Since one needs to study systems evolving on proper open subsets of Euclidean space, a self-contained review of input to state stability definitions and theorems for systems that evolve on such sets is included. The results are then applied to the study of noisy gradient systems, as well as the associated steepest descent algorithms.


title: The impact of model risk on dynamic portfolio selection under multi-period mean-standard-deviation criterion

abstract: We quantify model risk of a financial portfolio whereby a multi-period mean-standard-deviation criterion is used as a selection criterion. In this work, model risk is defined as the loss due to uncertainty of the underlying distribution of the returns of the assets in the portfolio. The uncertainty is measured by the Kullback-Leibler divergence, i.e., the relative entropy. In the worst case scenario, the optimal robust strategy can be obtained in a semi-analytical form as a solution of a system of nonlinear equations. Several numerical results are presented which allow us to compare the performance of this robust strategy with the optimal non-robust strategy. For illustration, we also quantify the model risk associated with an empirical dataset.


title: Time-aware Path Reasoning on Knowledge Graph for Recommendation

abstract: Reasoning on knowledge graph (KG) has been studied for explainable recommendation due to it's ability of providing explicit explanations. However, current KG-based explainable recommendation methods unfortunately ignore the temporal information (such as purchase time, recommend time, etc.), which may result in unsuitable explanations. In this work, we propose a novel Time-aware Path reasoning for Recommendation (TPRec for short) method, which leverages the potential of temporal information to offer better recommendation with plausible explanations. First, we present an efficient time-aware interaction relation extraction component to construct collaborative knowledge graph with time-aware interactions (TCKG for short), and then introduce a novel time-aware path reasoning method for recommendation. We conduct extensive experiments on three real-world datasets. The results demonstrate that the proposed TPRec could successfully employ TCKG to achieve substantial gains and improve the quality of explainable recommendation.


title: Generation of High-Order Coarse Quad Meshes on CAD Models via Integer Linear Programming

abstract: We propose an end-to-end pipeline to robustly generate high-quality, high-order and coarse quadrilateral meshes on CAD models. This kind of mesh enables the use of high-order analysis techniques such as high-order finite element methods or isogeometric analysis. An initial unstructured mesh is generated; this mesh contains a low number of irregular vertices but these are not necessarily aligned, causing a very dense quad layout. A T-mesh is built on the mesh which allows to modify its topology by assigning new integer lengths to the T-mesh arcs. The task of simplifying the quad layout can be formulated as an Integer Linear Program which is solved efficiently using an adequate solver. Finally, a high-order quad mesh is extracted from the optimized topology. Validation on several CAD models shows that our approach is fast, robust, strictly respects the CAD features, and achieves interesting results in terms of coarseness and quality.


title: A theoretical framework for photon-subtraction with non-mode selective resources

abstract: This work establishes a versatile theoretical framework that explicitly describes single-photon subtraction from multimode quantum light in the context of non-Gaussian state generation and manipulation. The treatment focuses on easy-to-implement configurations in which no mode-selective operation is available and evaluates features and advantages of scheme where only simple filtering stages are employed on the experiments. Such configuration, by considerably reducing the experimental overheads, makes experiments involving single photon subtraction easier to be implemented. Obtained theoretical framework allows retrieving, given a multimode input state, optimal conditions required to herald and then to detect non-Gaussian states, providing a practical and powerful toolbox for experiments' design. The application of the proposed approach to the case study of Schr\"odinger kitten preparation starting from a frequency multimode squeezed state illustrates the impact of the derived theoretical tools.


title: An ASP-based Solution to the Chemotherapy Treatment Scheduling problem

abstract: The problem of scheduling chemotherapy treatments in oncology clinics is a complex problem, given that the solution has to satisfy (as much as possible) several requirements such as the cyclic nature of chemotherapy treatment plans, maintaining a constant number of patients, and the availability of resources, e.g., treatment time, nurses, and drugs. At the same time, realizing a satisfying schedule is of upmost importance for obtaining the best health outcomes. In this paper we first consider a specific instance of the problem which is employed in the San Martino Hospital in Genova, Italy, and present a solution to the problem based on Answer Set Programming (ASP). Then, we enrich the problem and the related ASP encoding considering further features often employed in other hospitals, desirable also in S. Martino, and/or considered in related papers. Results of an experimental analysis, conducted on the real data provided by the San Martino Hospital, show that ASP is an effective solving methodology also for this important scheduling problem. Under consideration for acceptance in TPLP.


title: Efficient CONGEST Algorithms for the Lovasz Local Lemma

abstract: We present a poly $\log \log n$ time randomized CONGEST algorithm for a natural class of Lovasz Local Lemma (LLL) instances on constant degree graphs. This implies, among other things, that there are no LCL problems with randomized complexity between $\log n$ and poly $\log \log n$. Furthermore, we provide extensions to the network decomposition algorithms given in the recent breakthrough by Rozhon and Ghaffari [STOC2020] and the follow up by Ghaffari, Grunau, and Rozhon [SODA2021]. In particular, we show how to obtain a large distance separated weak network decomposition with a negligible dependency on the range of unique identifiers.


title: Every $(13k-6)$-strong tournament with minimum out-degree at least $28k-13$ is $k$-linked

abstract: A digraph $D$ is $k$-linked if it satisfies that for every choice of disjoint sets $\{x_1,\ldots{},x_k\}$ and $\{y_1,\ldots{},y_k\}$ of vertices of $D$ there are vertex disjoint paths $P_1,\ldots{},P_k$ such that $P_i$ is an $(x_i,y_i)$-path. Confirming a conjecture by K\"uhn et al, Pokrovskiy proved in 2015 that every $452k$-strong tournament is $k$-linked and asked for a better linear bound. Very recently Meng et al proved that every $(40k-31)$-strong tournament is $k$-linked. In this note we use an important lemma from their paper to give a short proof that every $(13k-6)$-strong tournament of minimum out-degree at least $28k-13$ is $k$-linked.


title: Fruit Diophantine Equation

abstract: We show that the Diophantine equation given by X^3+ XYZ = Y^2+Z^2+5 has no integral solution. As a consequence, we show that the family of elliptic curve given by the Weierstrass equations Y^2-kXY = X^3 - (k^2+5) has no integral point.


title: Complexity analysis of quantum teleportation via different entangled channels in the presence of noise

abstract: Quantum communication is one of the hot topics in quantum computing, where teleportation of a quantum state has a slight edge and gained significant attention from researchers. A large number of teleportation schemes have already been introduced so far. Here, we compare the teleportation of a single qubit message among different entangled channels such as the two-qubit Bell channel, three-qubit GHZ channel, two- and three-qubit cluster states, the highly entangled five-qubit Brown \emph{et al.} state and the six-qubit Borras \emph{et al.} state. We calculate and compare the quantum costs in each of the cases. Furthermore, we study the effects of six noise models, namely bit-flip noise, phase-flip noise, bit-phase flip noise, amplitude damping, phase damping and the depolarizing error that may affect the communication channel used for the teleportation. An investigation on the variation of the initial state's fidelity with respect to the teleported state in the presence of the noise model is performed. A visual representation of the variation of fidelity for various values of the noise parameter $\eta$ is done through a graph plot. It is observed that as the value of noise parameter in the range $\eta \in [0,0.5]$, the fidelity decreases in all the entangled channels under all the noise models. After that, in the Bell channel, GHZ channel and three-qubit cluster state channel, the fidelity shows an upward trend under all the noise models. However, in the other three channels, the fidelity substantially decreases in the case of amplitude damping, phase damping and depolarizing noise, and even it reaches zero for $\eta = 1$ in Brown \emph{et al.} and Borras \emph{et al.} channels.