title: Solving Challenging Large Scale QAPs

abstract: We report our progress on the project for solving larger scale quadratic assignment problems (QAPs). Our main approach to solve large scale NP-hard combinatorial optimization problems such as QAPs is a parallel branch-and-bound method efficiently implemented on a powerful computer system using the Ubiquity Generator (UG) framework that can utilize more than 100,000 cores. Lower bounding procedures incorporated in the branch-and-bound method play a crucial role in solving the problems. For a strong lower bounding procedure, we employ the Lagrangian doubly nonnegative (DNN) relaxation and the Newton-bracketing method developed by the authors' group. In this report, we describe some basic tools used in the project including the lower bounding procedure and branching rules, and present some preliminary numerical results. Our next target problem is QAPs with dimension at least 50, as we have succeeded to solve tai30a and sko42 from QAPLIB for the first time.


title: Boron and Barium Incorporation at the 4H-SiC/SiO2 Interface using a Laser Multi-Charged Ion Source

abstract: A laser multicharged ion source was used to perform interfacial treatment of the 4H-SiC/ SiO2 interface using B and Ba ions. A Q-switched Nd:YAG laser (wavelength {\lambda} = 1064 nm, pulse width {\tau} = 7 ns, and fluence F = 135 J/cm2) was used to ablate B and Ba targets to generate multicharged ions. The ions were deflected by an electrostatic field to separate them from the neutrals. The multicharged ions were used for nanometer layer growth and shallow ion implantation in 4H-SiC. Several metal-oxide-semiconductor capacitors (MOSCAP) were fabricated with a combination of B and Ba at the SiC/SiO2 interface. High-low C-V measurements were used to characterize the MOSCAPs. The B interfacial layer reduced the MOSCAP flatband voltage from 4.5 to 0.04 V, while the Ba layer had a negligible effect.


title: Resolutions of Newton non-degenerate mixed polynomials of strongly polar non-negative mixed weighted homogeneous face type

abstract: Let $f(\mathbb{z},\bar{\mathbb{z}})$ be a convenient Newton non-degenerate mixed polynomial with strongly polar non-negative mixed weighted homogeneous face functions. We consider a convenient regular simplicial cone subdivision $\Sigma^*$ which is admissible for $f$ and take the toric modification $\hat{\pi} : X \to \mathbb{C}^n$ associated with $\Sigma^*$. We show that the toric modification resolves topologically the singularity of the mixed hypersurface germ defined by $f(\mathbb{z},\bar{\mathbb{z}})$ under the Assumption (*) (Theorem 32). This result is an extension of the first part of Theorem 11 ([4]) by Mutsuo Oka. We also consider some typical examples (\S 9).


title: Three Results Concerning Auslander Algebras

abstract: Our first result provides a new characterization of Auslander algebras using a property of hereditary torsion pairs. The second result shows an Auslander algebra $\Lambda$ is left or right glued if and only if $\Lambda$ is representation-finite. Finally, our third result shows the module category of any Auslander algebra contains a tilting module with a particular property, which we call the hereditary property. Applications of this property are investigated.


title: Electronic structure and transport properties of sol-gel-derived high-entropy Ba(Zr0.2Sn0.2Ti0.2Hf0.2Nb0.2)O3 thin films

abstract: High-entropy perovskite thin films, as the prototypical representative of the high-entropy oxides with novel electrical and magnetic features, have recently attracted great attention. Here, we reported the electronic structure and charge transport properties of sol-gel-derived high-entropy Ba(Zr0.2Sn0.2Ti0.2Hf0.2Nb0.2)O3 thin films annealed at various temperatures. By means of X-ray photoelectron spectroscopy and absorption spectrum, it is found that the conduction-band-minimum shifts downward and the valence-band-maximum shifts upward with the increase of annealing temperature, leading to the narrowed band gap. Electrical resistance measurements confirmed a semiconductor-like behavior for all the thin films. Two charge transport mechanisms, i.e., the thermally-activated transport mechanism at high temperatures and the activation-less transport mechanism at low temperatures, are identified by a self-consistent analysis method. These findings provide a critical insight into the electronic band structure and charge transport behavior of Ba(Zr0.2Sn0.2Ti0.2Hf0.2Nb0.2)O3, validating it as a compelling high-entropy oxide material for future electronic/energy-related technologies.


title: Chance-Constrained Covariance Steering in a Gaussian Random Field via Successive Convex Programming

abstract: The problem of optimizing affine feedback laws that explicitly steer the mean and covariance of an uncertain system state in the presence of a Gaussian random field is considered. Spatially-dependent disturbances are successively approximated with respect to a nominal trajectory by a sequence of jointly Gaussian random vectors. Sequential updates to the nominal control inputs are computed via convex optimization that includes the effect of affine state feedback, the perturbing effects of spatial disturbances, and chance constraints on the closed-loop state and control. The developed method is applied to solve for an affine feedback law to minimize the 99th percentile of $\Delta v$ required to complete an aerocapture mission around a planet with a randomly disturbed atmosphere.


title: WangchanBERTa: Pretraining transformer-based Thai Language Models

abstract: Transformer-based language models, more specifically BERT-based architectures have achieved state-of-the-art performance in many downstream tasks. However, for a relatively low-resource language such as Thai, the choices of models are limited to training a BERT-based model based on a much smaller dataset or finetuning multi-lingual models, both of which yield suboptimal downstream performance. Moreover, large-scale multi-lingual pretraining does not take into account language-specific features for Thai. To overcome these limitations, we pretrain a language model based on RoBERTa-base architecture on a large, deduplicated, cleaned training set (78GB in total size), curated from diverse domains of social media posts, news articles and other publicly available datasets. We apply text processing rules that are specific to Thai most importantly preserving spaces, which are important chunk and sentence boundaries in Thai before subword tokenization. We also experiment with word-level, syllable-level and SentencePiece tokenization with a smaller dataset to explore the effects on tokenization on downstream performance. Our model wangchanberta-base-att-spm-uncased trained on the 78.5GB dataset outperforms strong baselines (NBSVM, CRF and ULMFit) and multi-lingual models (XLMR and mBERT) on both sequence classification and token classification tasks in human-annotated, mono-lingual contexts.


title: A note on modular Terwilliger algebras of association schemes

abstract: Let $p$ denote a prime number. In this note, we focus on the modular Terwilliger algebras of association schemes defined in [3]. We define the primary module of a modular Terwilliger algebra of an association scheme and determine all its composition factors up to isomorphism. We then characterize the $p'$-valenced association schemes by some properties of their modular Terwilliger algebras. The corollaries about the modular Terwilliger algebras of association schemes are given.


title: DenseNet for Breast Tumor Classification in Mammographic Images

abstract: Breast cancer is the most common invasive cancer in women, and the second main cause of death. Breast cancer screening is an efficient method to detect indeterminate breast lesions early. The common approaches of screening for women are tomosynthesis and mammography images. However, the traditional manual diagnosis requires an intense workload by pathologists, who are prone to diagnostic errors. Thus, the aim of this study is to build a deep convolutional neural network method for automatic detection, segmentation, and classification of breast lesions in mammography images. Based on deep learning the Mask-CNN (RoIAlign) method was developed to features selection and extraction; and the classification was carried out by DenseNet architecture. Finally, the precision and accuracy of the model is evaluated by cross validation matrix and AUC curve. To summarize, the findings of this study may provide a helpful to improve the diagnosis and efficiency in the automatic tumor localization through the medical image classification.


title: Twisted basic Dolbeault cohomology on transverse K\"ahler foliations

abstract: In this paper, we study the twisted basic Dolbeault cohomology and transverse hard Lefschetz theorem on a transverse Kahler foliation. And we give some properties for $\Delta_\kappa$-harmonic forms and prove the Kodaira-Serre type duality for the twisted basic Dolbeault cohomology.


title: FlowReg: Fast Deformable Unsupervised Medical Image Registration using Optical Flow

abstract: We propose FlowReg, a deep learning-based framework for unsupervised image registration for neuroimaging applications. The system is composed of two architectures that are trained sequentially: FlowReg-A which affinely corrects for gross differences between moving and fixed volumes in 3D followed by FlowReg-O which performs pixel-wise deformations on a slice-by-slice basis for fine tuning in 2D. The affine network regresses the 3D affine matrix based on a correlation loss function that enforces global similarity. The deformable network operates on 2D image slices based on the optical flow network FlowNet-Simple but with three loss components. The photometric loss minimizes pixel intensity differences differences, the smoothness loss encourages similar magnitudes between neighbouring vectors, and a correlation loss that is used to maintain the intensity similarity between fixed and moving image slices. The proposed method is compared to four open source registration techniques ANTs, Demons, SE, and Voxelmorph. In total, 4643 FLAIR MR imaging volumes are used from dementia and vascular disease cohorts, acquired from over 60 international centres with varying acquisition parameters. A battery of quantitative novel registration validation metrics are proposed that focus on the structural integrity of tissues, spatial alignment, and intensity similarity. Experimental results show FlowReg (FlowReg-A+O) performs better than iterative-based registration algorithms for intensity and spatial alignment metrics with a Pixelwise Agreement of 0.65, correlation coefficient of 0.80, and Mutual Information of 0.29. Among the deep learning frameworks, FlowReg-A or FlowReg-A+O provided the highest performance over all but one of the metrics. Results show that FlowReg is able to obtain high intensity and spatial similarity while maintaining the shape and structure of anatomy and pathology.


title: Multi-intersection Traffic Optimisation: A Benchmark Dataset and a Strong Baseline

abstract: The control of traffic signals is fundamental and critical to alleviate traffic congestion in urban areas. However, it is challenging since traffic dynamics are complicated in real-world scenarios. Because of the high complexity of the optimisation problem for modelling the traffic, experimental settings of existing works are often inconsistent. Moreover, it is not trivial to control multiple intersections properly in real complex traffic scenarios due to its vast state and action space. Failing to take intersection topology relations into account also results in inferior solutions. To address these issues, in this work we carefully design our settings and propose a new dataset including both synthetic and real traffic data in more complex scenarios. Additionally, we propose a novel baseline model with strong performance. It is based on deep reinforcement learning with an encoder-decoder structure: an edge-weighted graph convolutional encoder to excavate multi-intersection relations; and an unified structure decoder to jointly model multiple junctions in a comprehensive manner, which significantly reduces the number of the model parameters. By doing so, the proposed model is able to effectively deal with the multi-intersection traffic optimisation problem. Models are trained/tested on both synthetic and real maps and traffic data with the Simulation of Urban Mobility (SUMO) simulator. Experimental results show that the proposed model surpasses multiple competitive methods.


title: OpenGF: An Ultra-Large-Scale Ground Filtering Dataset Built Upon Open ALS Point Clouds Around the World

abstract: Ground filtering has remained a widely studied but incompletely resolved bottleneck for decades in the automatic generation of high-precision digital elevation model, due to the dramatic changes of topography and the complex structures of objects. The recent breakthrough of supervised deep learning algorithms in 3D scene understanding brings new solutions for better solving such problems. However, there are few large-scale and scene-rich public datasets dedicated to ground extraction, which considerably limits the development of effective deep-learning-based ground filtering methods. To this end, we present OpenGF, first Ultra-Large-Scale Ground Filtering dataset covering over 47 $km^2$ of 9 different typical terrain scenes built upon open ALS point clouds of 4 different countries around the world. OpenGF contains more than half a billion finely labeled ground and non-ground points, thousands of times the number of labeled points than the de facto standard ISPRS filtertest dataset. We extensively evaluate the performance of state-of-the-art rule-based algorithms and 3D semantic segmentation networks on our dataset and provide a comprehensive analysis. The results have confirmed the capability of OpenGF to train deep learning models effectively. This dataset is released at https://github.com/Nathan-UW/OpenGF to promote more advancing research for ground filtering and large-scale 3D geographic environment understanding.


title: Image Compression with Encoder-Decoder Matched Semantic Segmentation

abstract: In recent years, layered image compression is demonstrated to be a promising direction, which encodes a compact representation of the input image and apply an up-sampling network to reconstruct the image. To further improve the quality of the reconstructed image, some works transmit the semantic segment together with the compressed image data. Consequently, the compression ratio is also decreased because extra bits are required for transmitting the semantic segment. To solve this problem, we propose a new layered image compression framework with encoder-decoder matched semantic segmentation (EDMS). And then, followed by the semantic segmentation, a special convolution neural network is used to enhance the inaccurate semantic segment. As a result, the accurate semantic segment can be obtained in the decoder without requiring extra bits. The experimental results show that the proposed EDMS framework can get up to 35.31% BD-rate reduction over the HEVC-based (BPG) codec, 5% bitrate, and 24% encoding time saving compare to the state-of-the-art semantic-based image codec.


title: A Dual-branch Network for Infrared and Visible Image Fusion

abstract: Deep learning is a rapidly developing approach in the field of infrared and visible image fusion. In this context, the use of dense blocks in deep networks significantly improves the utilization of shallow information, and the combination of the Generative Adversarial Network (GAN) also improves the fusion performance of two source images. We propose a new method based on dense blocks and GANs , and we directly insert the input image-visible light image in each layer of the entire network. We use SSIM and gradient loss functions that are more consistent with perception instead of mean square error loss. After the adversarial training between the generator and the discriminator, we show that a trained end-to-end fusion network -- the generator network -- is finally obtained. Our experiments show that the fused images obtained by our approach achieve good score based on multiple evaluation indicators. Further, our fused images have better visual effects in multiple sets of contrasts, which are more satisfying to human visual perception.


title: Mean-field Approximations for Stochastic Population Processes with Heterogeneous Interactions

abstract: This paper studies a general class of stochastic population processes in which agents interact with one another over a network. Agents update their behaviors in a random and decentralized manner according to a policy that depends only on the agent's current state and an estimate of the macroscopic population state, given by a weighted average of the neighboring states. When the number of agents is large and the network is a complete graph (has all-to-all information access), the macroscopic behavior of the population can be well-approximated by a set of deterministic differential equations called a {\it mean-field approximation}. For incomplete networks such characterizations remained previously unclear, i.e., in general whether a suitable mean-field approximation exists for the macroscopic behavior of the population. The paper addresses this gap by establishing a generic theory describing when various mean-field approximations are accurate for \emph{arbitrary} interaction structures. Our results are threefold. Letting $W$ be the matrix describing agent interactions, we first show that a simple mean-field approximation that incorrectly assumes a homogeneous interaction structure is accurate provided $W$ has a large spectral gap. Second, we show that a more complex mean-field approximation which takes into account agent interactions is accurate as long as the Frobenius norm of $W$ is small. Finally, we compare the predictions of the two mean-field approximations through simulations, highlighting cases where using mean-field approximations that assume a homogeneous interaction structure can lead to inaccurate qualitative and quantitative predictions.


title: Multi-Task Time Series Forecasting With Shared Attention

abstract: Time series forecasting is a key component in many industrial and business decision processes and recurrent neural network (RNN) based models have achieved impressive progress on various time series forecasting tasks. However, most of the existing methods focus on single-task forecasting problems by learning separately based on limited supervised objectives, which often suffer from insufficient training instances. As the Transformer architecture and other attention-based models have demonstrated its great capability of capturing long term dependency, we propose two self-attention based sharing schemes for multi-task time series forecasting which can train jointly across multiple tasks. We augment a sequence of paralleled Transformer encoders with an external public multi-head attention function, which is updated by all data of all tasks. Experiments on a number of real-world multi-task time series forecasting tasks show that our proposed architectures can not only outperform the state-of-the-art single-task forecasting baselines but also outperform the RNN-based multi-task forecasting method.


title: An Improved Level Set Method for Reachability Problems in Differential Games

abstract: This study focuses on reachability problems in differential games. An improved level set method for computing reachable tubes is proposed in this paper. The reachable tube is described as a sublevel set of a value function, which is the viscosity solution of a Hamilton-Jacobi equation with running cost. We generalize the concept of reachable tubes and propose a new class of reachable tubes, which are referred to as cost-limited one. In particular, a performance index can be specified for the system, and a cost-limited reachable tube is a set of initial states of the system's trajectories that can reach the target set before the performance index increases to a given admissible cost. Such a reachable tube can be obtained by specifying the corresponding running cost function for the Hamilton-Jacobi equation. Different non-zero sublevel sets of the viscosity solution of the Hamilton-Jacobi equation at a certain time point can be used to characterize the cost-limited reachable tubes with different admissible costs (or the reachable tubes with different time horizons), thus reducing the storage space consumption. Several examples are provided to illustrate the validity and accuracy of the proposed method.


title: Does Dialog Length matter for Next Response Selection task? An Empirical Study

abstract: In the last few years, the release of BERT, a multilingual transformer based model, has taken the NLP community by storm. BERT-based models have achieved state-of-the-art results on various NLP tasks, including dialog tasks. One of the limitation of BERT is the lack of ability to handle long text sequence. By default, BERT has a maximum wordpiece token sequence length of 512. Recently, there has been renewed interest to tackle the BERT limitation to handle long text sequences with the addition of new self-attention based architectures. However, there has been little to no research on the impact of this limitation with respect to dialog tasks. Dialog tasks are inherently different from other NLP tasks due to: a) the presence of multiple utterances from multiple speakers, which may be interlinked to each other across different turns and b) longer length of dialogs. In this work, we empirically evaluate the impact of dialog length on the performance of BERT model for the Next Response Selection dialog task on four publicly available and one internal multi-turn dialog datasets. We observe that there is little impact on performance with long dialogs and even the simplest approach of truncating input works really well.


title: Leveraging Expert Consistency to Improve Algorithmic Decision Support

abstract: Machine learning (ML) is increasingly being used to support high-stakes decisions. However, there is frequently a construct gap: a gap between the construct of interest to the decision-making task and what is captured in proxies used as labels to train ML models. As a result, ML models may fail to capture important dimensions of decision criteria, hampering their utility for decision support. Thus, an essential step in the design of ML systems for decision support is selecting a target label among available proxies. In this work, we explore the use of historical expert decisions as a rich -- yet also imperfect -- source of information that can be combined with observed outcomes to narrow the construct gap. We argue that managers and system designers may be interested in learning from experts in instances where they exhibit consistency with each other, while learning from observed outcomes otherwise. We develop a methodology to enable this goal using information that is commonly available in organizational information systems. This involves two core steps. First, we propose an influence function-based methodology to estimate expert consistency indirectly when each case in the data is assessed by a single expert. Second, we introduce a label amalgamation approach that allows ML models to simultaneously learn from expert decisions and observed outcomes. Our empirical evaluation, using simulations in a clinical setting and real-world data from the child welfare domain, indicates that the proposed approach successfully narrows the construct gap, yielding better predictive performance than learning from either observed outcomes or expert decisions alone.


title: Fabrication of photonic resonators in bulk 4H-SiC

abstract: The design and engineering of photonic architectures, suitable to enhance, collect and guide light on chip is needed for applications in quantum photonics and quantum optomechanics. In this work we apply a Faraday cage based oblique angle etch method to fabricate various functional photonic devices from 4H Silicon Carbide - a material that has attracted attention in recent years, due to its potential in optomechanics, nonlinear optics and quantum information. We detail the processing conditions and thoroughly address the geometrical and optical characteristics of the fabricated devices. Employing photoluminescence measurements we demonstrate high quality factors for suspended microring resonators of up to 3500 in the visible range. Such devices will be applicable in the future to augment the properties of SiC in integrated on chip quantum photonics.


title: GST: Group-Sparse Training for Accelerating Deep Reinforcement Learning

abstract: Deep reinforcement learning (DRL) has shown remarkable success in sequential decision-making problems but suffers from a long training time to obtain such good performance. Many parallel and distributed DRL training approaches have been proposed to solve this problem, but it is difficult to utilize them on resource-limited devices. In order to accelerate DRL in real-world edge devices, memory bandwidth bottlenecks due to large weight transactions have to be resolved. However, previous iterative pruning not only shows a low compression ratio at the beginning of training but also makes DRL training unstable. To overcome these shortcomings, we propose a novel weight compression method for DRL training acceleration, named group-sparse training (GST). GST selectively utilizes block-circulant compression to maintain a high weight compression ratio during all iterations of DRL training and dynamically adapt target sparsity through reward-aware pruning for stable training. Thanks to the features, GST achieves a 25 \%p $\sim$ 41.5 \%p higher average compression ratio than the iterative pruning method without reward drop in Mujoco Halfcheetah-v2 and Mujoco humanoid-v2 environment with TD3 training.


title: The Blow-off Impulse Equivalence between Multi-Energy Composite Spectrum Electron Beam and Powerful Pulsed X-ray

abstract: The electron beam, one of the most effective approaches to simulate the irradiation effects of powerful pulsed X-ray in the laboratory, plays an important role in the experiment of simulating thermodynamic effects of powerful pulsed X-ray. This paper studies the thermodynamics equivalence between multi-energy composite spectrum electron beam and blackbody spectrum X-ray, which is helpful to quickly determine the experimental parameters in the simulation experiment. The experimental data of electron beam is extrapolated by the numerical calculation, to increase the range of energy flux. Through calculating the blow-off impulse of blackbody spectrum X-ray irradiation, we obtained the curve of X-ray blow-off impulse varying with energy flux, and then found two categories of equivalent relations - equal-energy flux and equal-impulse - by analysing the calculation results of electron beam and X-ray blow-off impulse. Based on such relations, we could directly or indirectly obtain the results of blackbody spectrum X-ray irradiation blow-off impulse via electron beam experiment.


title: On maximal cliques of Cayley graphs over fields

abstract: We describe a new class of maximal cliques, with a vector space structure, of Cayley graphs defined on the additive group of a field. In particular, we show that in the cubic Paley graph with order $q^3$, the subfield with $q$ elements forms a maximal clique. Similar statements also hold for quadruple Paley graphs and Peisert graphs with quartic order.


title: BU-Trace: A Permissionless Mobile System for Privacy-Preserving Intelligent Contact Tracing

abstract: The coronavirus disease 2019 (COVID-19) pandemic has caused an unprecedented health crisis for the global. Digital contact tracing, as a transmission intervention measure, has shown its effectiveness on pandemic control. Despite intensive research on digital contact tracing, existing solutions can hardly meet users' requirements on privacy and convenience. In this paper, we propose BU-Trace, a novel permissionless mobile system for privacy-preserving intelligent contact tracing based on QR code and NFC technologies. First, a user study is conducted to investigate and quantify the user acceptance of a mobile contact tracing system. Second, a decentralized system is proposed to enable contact tracing while protecting user privacy. Third, an intelligent behavior detection algorithm is designed to ease the use of our system. We implement BU-Trace and conduct extensive experiments in several real-world scenarios. The experimental results show that BU-Trace achieves a privacy-preserving and intelligent mobile system for contact tracing without requesting location or other privacy-related permissions.


title: Protecting qubit coherence by spectrally engineered driving of the spin environment

abstract: Modern quantum technologies rely crucially on techniques to mitigate quantum decoherence; these techniques can be either passive, achieved for example via materials engineering, or active, typically achieved via pulsed monochromatic driving fields applied to the qubit. Using a solid-state defect spin coupled to a microwave-driven spin bath, we experimentally demonstrate a decoherence mitigation method based on spectral engineering of the environmental noise with a polychromatic drive waveform, and show that it outperforms monochromatic techniques. Results are in agreement with quantitative modeling, and open the path to active decoherence protection using custom-designed waveforms applied to the environment rather than the qubit.


title: Relational Type Theory (All Proofs)

abstract: This paper introduces Relational Type Theory (RelTT), a new approach to type theory with extensionality principles, based on a relational semantics for types. The type constructs of the theory are those of System F plus relational composition, converse, and promotion of application of a term to a relation. A concise realizability semantics is presented for these types. The paper shows how a number of constructions of traditional interest in type theory are possible in RelTT, including eta-laws for basic types, inductive types with their induction principles, and positive-recursive types. A crucial role is played by a lemma called Identity Inclusion, which refines the Identity Extension property familiar from the semantics of parametric polymorphism. The paper concludes with a type system for RelTT, paving the way for implementation.


title: Explanation as a Defense of Recommendation

abstract: Textual explanations have proved to help improve user satisfaction on machine-made recommendations. However, current mainstream solutions loosely connect the learning of explanation with the learning of recommendation: for example, they are often separately modeled as rating prediction and content generation tasks. In this work, we propose to strengthen their connection by enforcing the idea of sentiment alignment between a recommendation and its corresponding explanation. At training time, the two learning tasks are joined by a latent sentiment vector, which is encoded by the recommendation module and used to make word choices for explanation generation. At both training and inference time, the explanation module is required to generate explanation text that matches sentiment predicted by the recommendation module. Extensive experiments demonstrate our solution outperforms a rich set of baselines in both recommendation and explanation tasks, especially on the improved quality of its generated explanations. More importantly, our user studies confirm our generated explanations help users better recognize the differences between recommended items and understand why an item is recommended.


title: VIO-Aided Structure from Motion Under Challenging Environments

abstract: In this paper, we present a robust and efficient Structure from Motion pipeline for accurate 3D reconstruction under challenging environments by leveraging the camera pose information from a visual-inertial odometry. Specifically, we propose a geometric verification method to filter out mismatches by considering the prior geometric configuration of candidate image pairs. Furthermore, we introduce an efficient and scalable reconstruction approach that relies on batched image registration and robust bundle adjustment, both leveraging the reliable local odometry estimation. Extensive experimental results show that our pipeline performs better than the state-of-the-art SfM approaches in terms of reconstruction accuracy and robustness for challenging sequential image collections.


title: Computational Intelligence Approach to Improve the Classification Accuracy of Brain Neoplasm in MRI Data

abstract: Automatic detection of brain neoplasm in Magnetic Resonance Imaging (MRI) is gaining importance in many medical diagnostic applications. This report presents two improvements for brain neoplasm detection in MRI data: an advanced preprocessing technique is proposed to improve the area of interest in MRI data and a hybrid technique using Convolutional Neural Network (CNN) for feature extraction followed by Support Vector Machine (SVM) for classification. The learning algorithm for SVM is modified with the addition of cost function to minimize false positive prediction addressing the errors in MRI data diagnosis. The proposed approach can effectively detect the presence of neoplasm and also predict whether it is cancerous (malignant) or non-cancerous (benign). To check the effectiveness of the proposed preprocessing technique, it is inspected visually and evaluated using training performance metrics. A comparison study between the proposed classification technique and the existing techniques was performed. The result showed that the proposed approach outperformed in terms of accuracy and can handle errors in classification better than the existing approaches.


title: Lesion characterization using spectral mammography

abstract: We present a novel method for characterizing mammographic findings using spectral imaging without the use of contrast agent. Within a statistical framework, suspicious findings are analyzed to determine if they are likely to be benign cystic lesions or malignant tissue. To evaluate the method, we have designed a phantom where combinations of different tissue types are realized by decomposition into the material bases aluminum and polyethylene. The results indicate that the lesion size limit for reliable characterization is below 10 mm diameter, when quantum noise is the only considered source of uncertainty. Furthermore, preliminary results using clinical images are encouraging, but allow no conclusions with significance.


title: Photon-counting spectral phase-contrast mammography

abstract: Phase-contrast imaging is an emerging technology that may increase the signal-difference-to-noise ratio in medical imaging. One of the most promising phase-contrast techniques is Talbot interferometry, which, combined with energy-sensitive photon-counting detectors, enables spectral differential phase-contrast mammography. We have evaluated a realistic system based on this technique by cascaded-systems analysis and with a task-dependent ideal-observer detectability index as a figure-of-merit. Beam-propagation simulations were used for validation and illustration of the analytical framework. Differential phase contrast improved detectability compared to absorption contrast, in particular for fine tumor structures. This result was supported by images of human mastectomy samples that were acquired with a conventional detector. The optimal incident energy was higher in differential phase contrast than in absorption contrast when disregarding the setup design energy. Further, optimal weighting of the transmitted spectrum was found to have a weaker energy dependence than for absorption contrast. Taking the design energy into account yielded a superimposed maximum on both detectability as a function of incident energy, and on optimal weighting. Spectral material decomposition was not facilitated by phase contrast, but phase information may be used instead of spectral information.


title: Reflexivity of linear n-normed space with respect to b-linear functional

abstract: In continuation of the paper [3], we discuss various consequences of Hahn-Banach theorem for bounded b-linear functional in linear n-normed space and describe the notion of reflexivity of linear n-normed space with respect to bounded b-linear functional. The concepts of strong convergence and weak convergence of a sequence of vectors with respect to bounded b-linear functionals in linear n-normed space have been introduced and some of their properties are being discussed.


title: Medical Information Retrieval and Interpretation: A Question-Answer based Interaction Model

abstract: The Internet has become a very powerful platform where diverse medical information are expressed daily. Recently, a huge growth is seen in searches like symptoms, diseases, medicines, and many other health related queries around the globe. The search engines typically populate the result by using the single query provided by the user and hence reaching to the final result may require a lot of manual filtering from the user's end. Current search engines and recommendation systems still lack real time interactions that may provide more precise result generation. This paper proposes an intelligent and interactive system tied up with the vast medical big data repository on the web and illustrates its potential in finding medical information.


title: STAR-RISs: Simultaneous Transmitting and Reflecting Reconfigurable Intelligent Surfaces

abstract: In this letter, simultaneous transmitting and reflecting reconfigurable intelligent surfaces (STAR-RISs) are studied. Compared with the conventional reflecting-only RISs, the coverage of STAR-RISs is extended to 360 degrees via simultaneous transmission and reflection. A general hardware model for STAR-RISs is presented. Then, channel models are proposed for the near-field and the far-field scenarios, base on which the diversity gain of the STAR-RISs is analyzed and compared with that of the conventional RISs. Numerical simulations are provided to verify analytical results and to demonstrate that full diversity order can be achieved on both sides of the STAR-RIS.


title: Factorization method with one plane wave: from model-driven and data-driven perspectives

abstract: The factorization method by Kirsch (1998) provides a necessary and sufficient condition for characterizing the shape and position of an unknown scatterer by using far-field patterns of infinitely many time-harmonic plane waves at a fixed frequency. This paper is concerned with the factorization method with a single far-field pattern to recover a convex polygonal scatterer/source. Its one-wave version relies on the absence of analytical continuation of the scattered/radiated wave-fields in corner domains. It can be regarded as a domain-defined sampling method and does not require forward solvers. In this paper we provide a rigorous mathematical justification of the one-wave factorization method and present some preliminary numerical examples. In particular, the proposed scheme can be interpreted as a model-driven and data-driven method, because it essentially depends on the scattering model and a priori given \emph{sample data}.


title: Corrective Information Does Not Necessarily Curb Social Disruption

abstract: The spread of misinformation can cause social confusion. The authenticity of information on a social networking service (SNS) is unknown, and false information can be easily spread. Consequently, many studies have been conducted on methods to control the spread of misinformation on social networking sites. However, few studies have examined the impact of the spread of misinformation and its corrections on society. This study models the impact of the reduction of misinformation and the diffusion of corrective information on social disruption, and it identifies the features of this impact. In this study, we analyzed misinformation regarding the shortage of toilet paper during the 2020 COVID-19 epidemic, its corrections, and the excessive purchasing caused by this information. First, we analyze the amount of misinformation and corrective information spread on SNS, and we create a regression model to estimate the real-world impact of misinformation and its correction. This model is used to analyze the change in real-world impact corresponding to the change in the diffusion of misinformation and corrective information. Our analysis shows that the corrective information was spread to a much greater extent than the misinformation. In addition, our model reveals that the corrective information was what caused the excessive purchasing behavior. As a result of our further analysis, we found that the amount of diffusion of corrective information required to minimize the impact on the real world depends on the amount of the diffusion of misinformation.


title: Grad-CAM guided channel-spatial attention module for fine-grained visual classification

abstract: Fine-grained visual classification (FGVC) is becoming an important research field, due to its wide applications and the rapid development of computer vision technologies. The current state-of-the-art (SOTA) methods in the FGVC usually employ attention mechanisms to first capture the semantic parts and then discover their subtle differences between distinct classes. The channel-spatial attention mechanisms, which focus on the discriminative channels and regions simultaneously, have significantly improved the classification performance. However, the existing attention modules are poorly guided since part-based detectors in the FGVC depend on the network learning ability without the supervision of part annotations. As obtaining such part annotations is labor-intensive, some visual localization and explanation methods, such as gradient-weighted class activation mapping (Grad-CAM), can be utilized for supervising the attention mechanism. We propose a Grad-CAM guided channel-spatial attention module for the FGVC, which employs the Grad-CAM to supervise and constrain the attention weights by generating the coarse localization maps. To demonstrate the effectiveness of the proposed method, we conduct comprehensive experiments on three popular FGVC datasets, including CUB-$200$-$2011$, Stanford Cars, and FGVC-Aircraft datasets. The proposed method outperforms the SOTA attention modules in the FGVC task. In addition, visualizations of feature maps also demonstrate the superiority of the proposed method against the SOTA approaches.


title: Automatic Monitoring Social Dynamics During Big Incidences: A Case Study of COVID-19 in Bangladesh

abstract: Newspapers are trustworthy media where people get the most reliable and credible information compared with other sources. On the other hand, social media often spread rumors and misleading news to get more traffic and attention. Careful characterization, evaluation, and interpretation of newspaper data can provide insight into intrigue and passionate social issues to monitor any big social incidence. This study analyzed a large set of spatio-temporal Bangladeshi newspaper data related to the COVID-19 pandemic. The methodology included volume analysis, topic analysis, automated classification, and sentiment analysis of news articles to get insight into the COVID-19 pandemic in different sectors and regions in Bangladesh over a period of time. This analysis will help the government and other organizations to figure out the challenges that have arisen in society due to this pandemic, what steps should be taken immediately and in the post-pandemic period, how the government and its allies can come together to address the crisis in the future, keeping these problems in mind.


title: Multi-attributed Community Search in Road-social Networks

abstract: Given a location-based social network, how to find the communities that are highly relevant to query users and have top overall scores in multiple attributes according to user preferences? Typically, in the face of such a problem setting, we can model the network as a multi-attributed road-social network, in which each user is linked with location information and $d$ ($\geq\! 1$) numerical attributes. In practice, user preferences (i.e., weights) are usually inherently uncertain and can only be estimated with bounded accuracy, because a human user is not able to designate exact values with absolute precision. Inspired by this, we introduce a normative community model suitable for multi-criteria decision making, called multi-attributed community (MAC), based on the concepts of $k$-core and a novel dominance relationship specific to preferences. Given uncertain user preferences, namely, an approximate representation of weights, the MAC search reports the exact communities for each of the possible weight settings. We devise an elegant index structure to maintain the dominance relationships, based on which two algorithms are developed to efficiently compute the top-$j$ MACs. The efficiency and scalability of our algorithms and the effectiveness of MAC model are demonstrated by extensive experiments on both real-world and synthetic road-social networks.


title: The $L_p$-$L_q$ decay estimate for the multidimensional compressible flow with free surface in the exterior domain

abstract: The aim of this paper is to develop the general $L_p$ theory for the barotropic compressible Navier-Stokes equations with the free boundary condition in the exterior domain in $\mathbb{R}^N$ ($N\geq 3$). By the spectral analysis, we obtain the classical $L_p$-$L_q$ decay estimate for the linearized model problem (with variable coefficients) in view of the partial Lagrangian transformation.


title: Deformations and rigidity in varieties of Lie algebras

abstract: We present a novel construction of linear deformations for Lie algebras and use it to prove the non-rigidity of several classes of Lie algebras in different varieties. We consider the family of Lie algebras with an abelian factor showing that, in general, they are not rigid even for the case of a 1-dimensional abelian factor. We also address the problem of k-rigidity for k-step nilpotent Lie algebras. Using our construction and recent results in [BCC] we prove the that the k-step free nilpotent Lie algebras are k-rigid but not (k + 1)-rigid and that Heisenberg Lie algebras are 2-rigid but not 3-rigid.


title: Pruning and Quantization for Deep Neural Network Acceleration: A Survey

abstract: Deep neural networks have been applied in many applications exhibiting extraordinary abilities in the field of computer vision. However, complex network architectures challenge efficient real-time deployment and require significant computation resources and energy costs. These challenges can be overcome through optimizations such as network compression. Network compression can often be realized with little loss of accuracy. In some cases accuracy may even improve. This paper provides a survey on two types of network compression: pruning and quantization. Pruning can be categorized as static if it is performed offline or dynamic if it is performed at run-time. We compare pruning techniques and describe criteria used to remove redundant computations. We discuss trade-offs in element-wise, channel-wise, shape-wise, filter-wise, layer-wise and even network-wise pruning. Quantization reduces computations by reducing the precision of the datatype. Weights, biases, and activations may be quantized typically to 8-bit integers although lower bit width implementations are also discussed including binary neural networks. Both pruning and quantization can be used independently or combined. We compare current techniques, analyze their strengths and weaknesses, present compressed network accuracy results on a number of frameworks, and provide practical guidance for compressing networks.


title: Towards Overfitting Avoidance: Tuning-free Tensor-aided Multi-user Channel Estimation for 3D Massive MIMO Communications

abstract: Channel estimation has long been deemed as one of the most critical problems in three-dimensional (3D) massive multiple-input multiple-output (MIMO), which is recognized as the leading technology that enables 3D spatial signal processing in the fifth-generation (5G) wireless communications and beyond. Recently, by exploring the angular channel model and tensor decompositions, the accuracy of single-user channel estimation for 3D massive MIMO communications has been significantly improved given a limited number of pilot signals. However, these existing approaches cannot be straightforwardly extended to the multi-user channel estimation task, where the base station (BS) aims at acquiring the channels of multiple users at the same time. The difficulty is that the coupling among multiple users' channels makes the channel estimation deviate from widely-used tensor decompositions. It gives a non-standard tensor decomposition format that has not been well tackled. To overcome this challenge, besides directly fitting the new tensor model for channel estimation to the wireless data via block coordinate descent (BCD) method, which is prone to the overfitting of noises or requires regularization parameter tuning, we further propose a novel tuning-free channel estimation algorithm that can automatically control the channel model complexity and thus effectively avoid the overfitting. Numerical results are presented to demonstrate the excellent performance of the proposed algorithm in terms of both estimation accuracy and overfitting avoidance.


title: Incentive Mechanism Design for Federated Learning: Hedonic Game Approach

abstract: Incentive mechanism design is crucial for enabling federated learning. We deal with clustering problem of agents contributing to federated learning setting. Assuming agents behave selfishly, we model their interaction as a stable coalition partition problem using hedonic games where agents and clusters are the players and coalitions, respectively. We address the following question: is there a family of hedonic games ensuring a Nash-stable coalition partition? We propose the Nash-stable set which determines the family of hedonic games possessing at least one Nash-stable partition, and analyze the conditions of non-emptiness of the Nash-stable set. Besides, we deal with the decentralized clustering. We formulate the problem as a non-cooperative game and prove the existence of a potential game.


title: Efficient and accurate computation to the $\varphi$-function and its action on a vector

abstract: In this paper, we develop efficient and accurate algorithms for evaluating $\varphi(A)$ and $\varphi(A)b$, where $A$ is an $N\times N$ matrix, $b$ is an $N$ dimensional vector and $\varphi$ is the function defined by $\varphi(x)\equiv\sum\limits^{\infty}_{k=0}\frac{z^k}{(1+k)!}$. Such matrix function (the so-called $\varphi$-function) plays a key role in a class of numerical methods well-known as exponential integrators. The algorithms use the scaling and modified squaring procedure combined with truncated Taylor series. The backward error analysis is presented to find the optimal value of the scaling and the degree of the Taylor approximation. Some useful techniques are employed for reducing the computational cost. Numerical comparisons with state-of-the-art algorithms show that the algorithms perform well in both accuracy and efficiency.


title: Nested Sampling Methods

abstract: Nested sampling (NS) computes parameter posterior distributions and makes Bayesian model comparison computationally feasible. Its strengths are the unsupervised navigation of complex, potentially multi-modal posteriors until a well-defined termination point. A systematic literature review of nested sampling algorithms and variants is presented. We focus on complete algorithms, including solutions to likelihood-restricted prior sampling, parallelisation, termination and diagnostics. The relation between number of live points, dimensionality and computational cost is studied for two complete algorithms. A new formulation of NS is presented, which casts the parameter space exploration as a search on a tree data structure. Previously published ways of obtaining robust error estimates and dynamic variations of the number of live points are presented as special cases of this formulation. A new online diagnostic test is presented based on previous insertion rank order work. The survey of nested sampling methods concludes with outlooks for future research.


title: Spin(7) metrics of cohomogeneity one with Aloff--Wallach spaces as principal orbits

abstract: In this article, we construct two continuous 1-parameter family of non-compact $\mathrm{Spin}(7)$ metrics with both chiralities, with the principal orbit an Aloff--Wallach space $N_{k,l}$ and the singular orbit $\mathbb{CP}^2$. For generic $N_{k,l}$, metrics constructed are locally asymptotically conical (ALC). For $N_{1,1}$, we construct two continuous 1-parameter families with geometric transition from asymptotically conical (AC) metrics to ALC metrics.


title: Characterizations of line graphs in signed and gain graphs

abstract: We generalize three classical characterizations of line graphs to line graphs of signed and gain graphs: the Krausz's characterization, the van Rooij and Wilf's characterization and the Beineke's characterization. In particular, we present a list of forbidden gain subgraphs characterizing the class of gain-line graphs. In the case of a signed graph whose underlying graph is a line graph, this list consists of exactly four signed graphs. Under the same hypothesis, we prove that a signed graph is the line graph of a signed graph if and only if its eigenvalues are either greater than $-2$, or less than $2$, depending on which particular definition of line graph is adopted.


title: A symmetric fractional-order reduction method for direct nonuniform approximations of semilinear diffusion-wave equations

abstract: We introduce a symmetric fractional-order reduction (SFOR) method to construct numerical algorithms on general nonuniform temporal meshes for semilinear fractional diffusion-wave equations. By using the novel order reduction method, the governing problem is transformed to an equivalent coupled system, where the explicit orders of time-fractional derivatives involved are all $\alpha/2$ $(1<\alpha<2)$. The linearized L1 scheme and Alikhanov scheme are then proposed on general time meshes. Under some reasonable regularity assumptions and weak restrictions on meshes, the optimal convergence is derived for the two kinds of difference schemes by $H^2$ energy method. An adaptive time stepping strategy which based on the (fast linearized) L1 and Alikhanov algorithms is designed for the semilinear diffusion-wave equations. Numerical examples are provided to confirm the accuracy and efficiency of proposed algorithms.


title: On the Automorphism Group of Polar Codes

abstract: The automorphism group of a code is the set of permutations of the codeword symbols that map the whole code onto itself. For polar codes, only a part of the automorphism group was known, namely the lower-triangular affine group (LTA), which is solely based upon the partial order of the code's synthetic channels. Depending on the design, however, polar codes can have a richer set of automorphisms. In this paper, we extend the LTA to a larger subgroup of the general affine group (GA), namely the block lower-triangular affine group (BLTA) and show that it is contained in the automorphism group of polar codes. Furthermore, we provide a low complexity algorithm for finding this group for a given information/frozen set and determining its size. Most importantly, we apply these findings in automorphism-based decoding of polar codes and report a comparable error-rate performance to that of successive cancellation list (SCL) decoding with significantly lower complexity.


title: Near-Optimal Detection for Both Data and Sneak-Path Interference in Resistive Memories with Random Cell Selector Failures

abstract: Resistive random-access memory is one of the most promising candidates for the next generation of non-volatile memory technology. However, its crossbar structure causes severe "sneak-path" interference, which also leads to strong inter-cell correlation. Recent works have mainly focused on sub-optimal data detection schemes by ignoring inter-cell correlation and treating sneak-path interference as independent noise. We propose a near-optimal data detection scheme that can approach the performance bound of the optimal detection scheme. Our detection scheme leverages a joint data and sneak-path interference recovery and can use all inter-cell correlations. The scheme is appropriate for data detection of large memory arrays with only linear operation complexity.


title: Theory of light reflection and transmission by a plasmonic nanocomposite slab: Emergence of broadband perfect absorption

abstract: A theory of light reflection and transmission by an optically thin nanocomposite slab which contains randomly distributed metal nanoparticles (NPs) is developed. The underlying model takes into account the reflection of light scattered by NPs from the slab boundaries, enhanced decay of localized surface plasmons in dense NP arrays and light scattering at the slab surface -- the factors which are beyond the scope of the Maxwell Garnett approximation. It is demonstrated that the first two effects lead to broadband perfect absorption observed in such nanocomposites, whereas the last one is responsible for its omnidirectional character and polarization insensitivity. These findings open up new possibilities for engineering broadband perfect absorption in plasmonic nanocomposites.


title: Solving optimal stopping problems with Deep Q-Learning

abstract: We propose a reinforcement learning (RL) approach to model optimal exercise strategies for option-type products. We pursue the RL avenue in order to learn the optimal action-value function of the underlying stopping problem. In addition to retrieving the optimal Q-function at any time step, one can also price the contract at inception. We first discuss the standard setting with one exercise right, and later extend this framework to the case of multiple stopping opportunities in the presence of constraints. We propose to approximate the Q-function with a deep neural network, which does not require the specification of basis functions as in the least-squares Monte Carlo framework and is scalable to higher dimensions. We derive a lower bound on the option price obtained from the trained neural network and an upper bound from the dual formulation of the stopping problem, which can also be expressed in terms of the Q-function. Our methodology is illustrated with examples covering the pricing of swing options.


title: $\kappa$-Poincar\'e-comodules, Braided Tensor Products and Noncommutative Quantum Field Theory

abstract: We discuss the obstruction to the construction of a multiparticle field theory on a $\kappa$-Minkowski noncommutative spacetime: the existence of multilocal functions which respect the deformed symmetries of the problem. This construction is only possible for a light-like version of the commutation relations, if one requires invariance of the tensor product algebra under the coaction of the $\kappa$-Poincar\'e group. This necessitates a braided tensor product. We study the representations of this product, and prove that $\kappa$-Poincar\'e-invariant N-point functions belong to an Abelian subalgebra, and are therefore commutative. We use this construction to define the 2-point Whightman and Pauli--Jordan functions, which turn out to be identical to the undeformed ones. We finally outline how to construct a free scalar $\kappa$-Poincar\'e-invariant quantum field theory, and identify some open problems.


title: On some components of Hilbert schemes of curves

abstract: Let $\mathcal{I}_{d,g,R}$ be the union of irreducible components of the Hilbert scheme whose general points parametrize smooth, irreducible, curves of degree $d$, genus $g$, which are non--degenerate in the projective space $\mathbb{P}^R$. Under some numerical assumptions on $d$, $g$ and $R$, we construct irreducible components of $\mathcal{I}_{d,g,R}$ other than the so-called {\em distinguished component}, dominating the moduli space $\mathcal{M}_g$ of smooth genus--$g$ curves, which are generically smooth and turn out to be of dimension higher than the expected one. The general point of any such a component corresponds to a curve $X \subset \mathbb{P}^R$ which is a suitable ramified $m$--cover of an irrational curve $Y \subset \mathbb{P}^{R-1}$, $m \geqslant 2$, lying in a surface cone over $Y$. The paper extends some of the results in previous papers of Y. Choi, H. Iliev, S. Kim (cf. [12,13] in Bibliography).


title: A Modified Model for Static Friction of a Soft and Hard Solid Interface

abstract: We present a modified model based on shear rate and aging time dependent static friction between a soft solid such as gelatin hydrogel and a hard surface for instance glass surface. Earlier the model for static friction (Juvekar and Singh, 2016) considered only the bond rupture process as a result, the friction model over predicts the static friction in the experiment. The friction model now takes into account both formation and rupture of molecular chains at the sliding interface. It is also assumed that age of the newly formed bonds during the rupture process is the same as the aging time. As a result, the model predicts quite well the experimental data and thus highlighting the significance of bond formation in static friction. Moreover, it is also observed that residual stress has no effect on static strength.


title: 23 mJ high-power fiber CPA system using electro-optically controlled divided-pulse amplification

abstract: The pulse-energy scaling technique electro-optically controlled divided-pulse amplification is implemented in a high-power ultrafast fiber laser system based on coherent beam combination. A fiber-integrated front end and a multi-pass cell based back end allow for a small footprint and a modular implementation. Bursts of 8 pulses are amplified parallel in up to 12 ytterbium-doped large-pitch fiber amplifiers. Subsequent spatio-temporal coherent combination of the 96 total amplified pulse replicas to a single pulse results in a pulse energy of 23 mJ at an average power of 674 W, compressible to a pulse duration of 235 fs. To the best of our knowledge, this is the highest pulse energy ever accomplished with a fiber CPA system.


title: Togliatti systems associated to the dihedral group and the weak Lefschetz property

abstract: In this note, we study Togliatti systems generated by invariants of the dihedral group $D_{2d}$ acting on $k[x_{0},x_{1},x_{2}]$. This leads to the first family of non monomial Togliatti systems, which we call $GT-$systems with group $D_{2d}$. We study their associated varieties $S_{D_{2d}}$, called $GT-$surfaces with group $D_{2d}$. We prove that they are arithmetically Cohen-Macaulay surfaces whose homogeneous ideal, $I(S_{D_{2d}})$, is minimally generated by quadrics and we find a minimal free resolution of $I(S_{D_{2d}})$.


title: Stereotype and Skew: Quantifying Gender Bias in Pre-trained and Fine-tuned Language Models

abstract: This paper proposes two intuitive metrics, skew and stereotype, that quantify and analyse the gender bias present in contextual language models when tackling the WinoBias pronoun resolution task. We find evidence that gender stereotype correlates approximately negatively with gender skew in out-of-the-box models, suggesting that there is a trade-off between these two forms of bias. We investigate two methods to mitigate bias. The first approach is an online method which is effective at removing skew at the expense of stereotype. The second, inspired by previous work on ELMo, involves the fine-tuning of BERT using an augmented gender-balanced dataset. We show that this reduces both skew and stereotype relative to its unaugmented fine-tuned counterpart. However, we find that existing gender bias benchmarks do not fully probe professional bias as pronoun resolution may be obfuscated by cross-correlations from other manifestations of gender prejudice. Our code is available online, at https://github.com/12kleingordon34/NLP_masters_project.


title: A Linear Reduction Method for Local Differential Privacy and Log-lift

abstract: This paper considers the problem of publishing data $X$ while protecting correlated sensitive information $S$. We propose a linear method to generate the sanitized data $Y$ with the same alphabet $\mathcal{Y} = \mathcal{X}$ that attains local differential privacy (LDP) and log-lift at the same time. It is revealed that both LDP and log-lift are inversely proportional to the statistical distance between conditional probability $P_{Y|S}(x|s)$ and marginal probability $P_{Y}(x)$: the closer the two probabilities are, the more private $Y$ is. Specifying $P_{Y|S}(x|s)$ that linearly reduces this distance $|P_{Y|S}(x|s) - P_Y(x)| = (1-\alpha)|P_{X|S}(x|s) - P_X(x)|,\forall s,x$ for some $\alpha \in (0,1]$, we study the problem of how to generate $Y$ from the original data $S$ and $X$. The Markov randomization/sanitization scheme $P_{Y|X}(x|x') = P_{Y|S,X}(x|s,x')$ is obtained by solving linear equations. The optimal non-Markov sanitization, the transition probability $P_{Y|S,X}(x|s,x')$ that depends on $S$, can be determined by maximizing the data utility subject to linear equality constraints. We compute the solution for two linear utility function: the expected distance and total variance distance. It is shown that the non-Markov randomization significantly improves data utility and the marginal probability $P_X(x)$ remains the same after the linear sanitization method: $P_Y(x) = P_X(x), \forall x \in \mathcal{X}$.


title: LSTOSA: Onsite processing pipeline for the CTA Larged-Sized Telescope prototype

abstract: The prototype of the Large-Sized Telescope (LST) of the Cherenkov Telescope Array (CTA) is presently going through its commissioning phase. A total of four LSTs, among others, will operate together at Observatorio del Roque de Los Muchachos, which will host the CTA North site. A computing center endowed with 1760 cores and several petabytes disk space is installed onsite. It is used to acquire, process, and analyze the data produced, at a rate of 3~TB/hour during operation. The LST On-site Analysis LSTOSA is a set of scripts written in Python which connects the different steps of lstchain, the analysis pipeline developed for the LST. It processes the data in a semiautomatic way producing high-level data and quality plots including detailed provenance logs. Data are analyzed before the next observation night to help in the commissioning procedure and debugging.


title: The Parallax Zero-Point of Gaia Early Data Release 3 from LAMOST Primary Red Clump Stars

abstract: We present an independent examination of the parallax zero-point of the Third Gaia Early Data Release (hereafter EDR3), using the LAMOST primary red clump (PRC) stellar sample. A median parallax offset of around $26 \mu$as, slightly larger than that found by examination of distant quasars, is found for both the five- and six-parameter solutions in EDR3, based on samples of over 63,000 and 2000 PRC stars, respectively. Similar to the previous investigation of Lindegren et al., to which we compare our results, the parallax zero-point exhibits clear dependencies on the $G$ magnitudes, colors, and positions of the objects. Based on our analysis, the zero-point of the revised parallax can be reduced to a few $\mu$as, and some significant patterns, e.g., discontinuities with stellar magnitude, can be properly removed. However, relatively large offsets ($> 10 \mu$as) are still found for the revised parallaxes over different positions on the sky.


title: Higher integrability of the gradient for the Thermal Insulation problem

abstract: We prove the higher integrability of the gradient for minimizers of the thermal insulation problem, an analogue of De Giorgi's conjecture for the Mumford-Shah functional. We deduce that the singular part of the free boundary has Hausdorff dimension strictly less than $n-1$.


title: A2P-MANN: Adaptive Attention Inference Hops Pruned Memory-Augmented Neural Networks

abstract: In this work, to limit the number of required attention inference hops in memory-augmented neural networks, we propose an online adaptive approach called A2P-MANN. By exploiting a small neural network classifier, an adequate number of attention inference hops for the input query is determined. The technique results in elimination of a large number of unnecessary computations in extracting the correct answer. In addition, to further lower computations in A2P-MANN, we suggest pruning weights of the final FC (fully-connected) layers. To this end, two pruning approaches, one with negligible accuracy loss and the other with controllable loss on the final accuracy, are developed. The efficacy of the technique is assessed by using the twenty question-answering (QA) tasks of bAbI dataset. The analytical assessment reveals, on average, more than 42% fewer computations compared to the baseline MANN at the cost of less than 1% accuracy loss. In addition, when used along with the previously published zero-skipping technique, a computation count reduction of up to 68% is achieved. Finally, when the proposed approach (without zero-skipping) is implemented on the CPU and GPU platforms, up to 43% runtime reduction is achieved.


title: Spectroscopic monitoring of the candidate tidal disruption event in F01004-2237

abstract: We present results of spectroscopic monitoring observations of the Ultra-Luminous Infra Red Galaxy F01004-2237. This galaxy was observed to undergo changes in its optical spectrum, detected by comparing a spectrum from 2015 with one from 2000. These changes were coincident with photometric brightening. The main changes detected in the optical spectrum are enhanced He II $\lambda$4686 emission and the appearance of He I $\lambda$3898,$\lambda$5876 emission lines. The favoured interpretation of these changes was that of a tidal disruption event (TDE) happening in 2010. However, subsequent work suggested that these changes are caused by another hitherto unknown reason related to variations in the accretion rate in the active galactic nucleus (AGN). Our optical spectroscopic monitoring observations show that the evolution of the He lines is in line with the evolution seen in TDEs and opposite of what observed from reverberation mapping studies of AGNs, renewing the discussion on the interpretation of the flare as a TDE.


title: Families of infinite parabolic IFS with overlaps: the approximating method

abstract: This work is devoted to the study of families of infinite parabolic iterated function systems (PIFS) on a closed interval parametrized by vectors in $\mathbb{R}^d$ with overlaps. We show that the Hausdorff dimension and absolute continuity of ergodic projections through a family of infinite PIFS are decided \emph{a.e.} by the growth rate of the entropy and Lyapunov exponents of the families of truncated PIFS with respect to the concentrating measures, under transversality of the family essentially. We also give an estimation on the upper bound of the Hausdorff dimension of parameters where the corresponding ergodic projections admit certain dimension drop. The setwise topology on the space of finite measures enables us to approximate a family of infinite systems by families of their finite truncated sub-systems, which plays the key role throughout our work.


title: Optical evidence of local and itinerant states in Ce- and Yb-heavy-fermion compounds

abstract: The electronic properties of Cerium (Ce) and ytterbium (Yb) intermetallic compounds may display a more local or more itinerant character depending on the interplay of the exchange interactions among the $4f$ electrons and the Kondo coupling between $4f$ and conduction electrons. For the more itinerant case, the materials form heavy-fermions once the Kondo effect is developed at low temperatures. Hence, a temperature variation occurs in the electronic structure that can be traced by investigating the optical conductivity ($\sigma(\omega)$) spectra. Remarkably, the temperature variation in the $\sigma(\omega)$ spectrum is still present in the more localized case, even though the Kondo effect is strongly suppressed. Here, we clarify the local and itinerant character in the electronic structure by investigating the temperature dependence in the $\sigma(\omega)$ spectra of various Ce and Yb compounds with a tetragonal ThCr$_2$Si$_2$-type crystal structure. We explain the temperature change in a unified manner. Above temperatures of about 100 K, the temperature dependence of the $\sigma(\omega)$ spectra is mainly due to the electron-phonon interaction, while the temperature dependence below is due to the Kondo effect.


title: Exact theory for the Rezzolla-Zhidenko metric and self-consistent calculation of quasinormal modes

abstract: A covariant, scalar-tensor gravity is constructed such that the static, spherically symmetric Rezzolla-Zhidenko metric is an exact solution to the theory. The equations describing gravitational perturbations of this spacetime, which represents a generic black hole possessing an arbitrary number of hairs, can then be derived. This allows for a self-consistent study of the associated quasinormal modes. It is shown that mode spectra are tied to not only the non-Einstein parameters in the metric but also to those that appear at the level of the action, and that different branches of the exact theory can, in some cases, predict significantly different oscillation frequencies and damping times. For choices which make the theory appear more like general relativity in some precise sense, we find that a nontrivial Rezzolla-Zhidenko parameter space is permissible under current constraints on fundamental ringdown modes observed by Advanced LIGO.


title: Fast Sequence Generation with Multi-Agent Reinforcement Learning

abstract: Autoregressive sequence Generation models have achieved state-of-the-art performance in areas like machine translation and image captioning. These models are autoregressive in that they generate each word by conditioning on previously generated words, which leads to heavy latency during inference. Recently, non-autoregressive decoding has been proposed in machine translation to speed up the inference time by generating all words in parallel. Typically, these models use the word-level cross-entropy loss to optimize each word independently. However, such a learning process fails to consider the sentence-level consistency, thus resulting in inferior generation quality of these non-autoregressive models. In this paper, we propose a simple and efficient model for Non-Autoregressive sequence Generation (NAG) with a novel training paradigm: Counterfactuals-critical Multi-Agent Learning (CMAL). CMAL formulates NAG as a multi-agent reinforcement learning system where element positions in the target sequence are viewed as agents that learn to cooperatively maximize a sentence-level reward. On MSCOCO image captioning benchmark, our NAG method achieves a performance comparable to state-of-the-art autoregressive models, while brings 13.9x decoding speedup. On WMT14 EN-DE machine translation dataset, our method outperforms cross-entropy trained baseline by 6.0 BLEU points while achieves the greatest decoding speedup of 17.46x.


title: Longest segment of balanced parentheses -- an exercise in program inversion in a segment problem (Functional Pearl)

abstract: Given a string of parentheses, the task is to find the longest consecutive segment that is balanced, in linear time. We find this problem interesting because it involves a combination of techniques: the usual approach for solving segment problems, and a theorem for constructing the inverse of a function -- through which we derive an instance of shift-reduce parsing.


title: A greedy algorithm for dropping digits (Functional Pearl)

abstract: Consider the puzzle: given a number, remove $k$ digits such that the resulting number is as large as possible. Various techniques were employed to derive a linear-time solution to the puzzle: predicate logic was used to justify the structure of a greedy algorithm, a dependently-typed proof assistant was used to give a constructive proof of the greedy condition, and equational reasoning was used to calculate the greedy step as well as the final, linear-time optimisation.


title: Standalone Deployment of a Dynamic Drone Cell for Wireless Connectivity of Two Services

abstract: We treat a setting in which two priority wireless service classes are offered in a given area by a drone small cell (DSC). Specifically, we consider broadband (BB) user with high priority and reliability requirements that coexists with random access machine-type-communications (MTC) devices. The drone serves both connectivity types with a combination of orthogonal slicing of the wireless resources and dynamic horizontal opportunistic positioning (D-HOP). We treat the D-HOP as a computational geometry function over stochastic BB user locations which requires careful adjustment in the deployment parameters to ensure MTC service at all times. Using an information theoretic approach, we optimize DSC deployment properties and radio resource allocation for the purpose of maximizing the average rate of BB users. While respecting the strict dual service requirements we analyze how system performance is affected by stochastic user positioning and density, topology, and reliability constraints combinations. The numerical results show that this approach outperforms static DSCs that fit the same coverage constraints, with outstanding performance in the urban setting.


title: Topological description of the Borel probability space

abstract: We study properties of some popular topology on the space of Borel probabilities on a topological ambient space in this paper. We show that the two types of popular vague topology are equivalent to each other in case the ambient space is LCH. The two types of setwise topology induced from two equivalent descriptions of setwisely sequential convergence of probability measures are also equivalent to each other regardless of the topology on the ambient space. We give explicit conditions for the two types of vague topology and the two types of setwise topology to be separable or metrizable on the space of Borel probabilities. These conditions are either in terms of the cardinality of the elementary events in the Borel $\sigma$-algebra or some direct topological assumptions on the ambient space. We give an necessary and sufficient condition for families of probability measures to be setwisely relatively compact in case the ambient space is a compact metric space. There are some extending problems and heuristic schemes on formulating new topologies on the space of Borel probabilities at the end of the work.


title: Deformed Morse-like potential

abstract: We introduce an exactly solvable one-dimensional potential that supports both bound and/or resonance states. This potential is a generalization of the well-known 1D Morse potential where we introduced a deformation that preserves the finite spectrum property. On the other hand, in the limit of zero deformation, the potential reduces to the exponentially confining potential well introduced recently by A. D. Alhaidari. The latter potential supports infinite spectrum which means that the zero deformation limit is a critical point where our system will transition from the finite spectrum limit to the infinite spectrum limit. We solve the corresponding Schrodinger equation and obtain the energy spectrum and the eigenstates using the tridiagonal representation approach.


title: Does Head Label Help for Long-Tailed Multi-Label Text Classification

abstract: Multi-label text classification (MLTC) aims to annotate documents with the most relevant labels from a number of candidate labels. In real applications, the distribution of label frequency often exhibits a long tail, i.e., a few labels are associated with a large number of documents (a.k.a. head labels), while a large fraction of labels are associated with a small number of documents (a.k.a. tail labels). To address the challenge of insufficient training data on tail label classification, we propose a Head-to-Tail Network (HTTN) to transfer the meta-knowledge from the data-rich head labels to data-poor tail labels. The meta-knowledge is the mapping from few-shot network parameters to many-shot network parameters, which aims to promote the generalizability of tail classifiers. Extensive experimental results on three benchmark datasets demonstrate that HTTN consistently outperforms the state-of-the-art methods. The code and hyper-parameter settings are released for reproducibility


title: Two-step Machine Learning Approach for Channel Estimation with Mixed Resolution RF Chains

abstract: Massive MIMO is one of the main features of 5G mobile radio systems. However, it often leads to high cost, size and power consumption. To overcome these issues, the use of constrained radio frequency (RF) frontends has been proposed, as well as novel precoders, e.g., a multi-antenna, greedy, iterative and quantized precoding algorithm (MAGIQ). Nevertheless, the best performance of MAGIQ assumes accurate channel knowledge per antenna element, for example, from uplink sounding reference signals. In this context, we propose an efficient uplink channel estimator by applying machine learning (ML) algorithms. In a first step a conditional generative adversarial network (cGAN) predicts the radio channels from a limited set of full resolution RF chains to the rest of the low resolution RF chain antenna elements. A long-short term memory (LSTM) neural network extracts further phase information from the low resolution RF chain antenna elements. Our results indicate that our proposed approach is competitive with traditional Unitary tensor-ESPRIT in scenarios with various closely spaced multipath components (MPCs).


title: Zeeman-driven parity transitions in an Andreev quantum dot

abstract: The Andreev spectrum of a quantum dot embedded in a hybrid semiconductor-superconductor interferometer can be modulated by electrostatic gating, magnetic flux through the interferometer, and Zeeman splitting from in-plane magnetic field. We demonstrate parity transitions in the embedded quantum dot system, and show that the Zeeman-driven transition is accompanied by a 0-{\pi} transition in the superconducting phase across the dot. We further demonstrate that flux through the interferometer modulates both dot parity and 0-{\pi} transitions.


title: Another class of simple graded Lie conformal algebras that cannot be embedded into general Lie conformal algebras

abstract: In a previous paper by the authors, we obtain the first example of a finitely freely generated simple $\mathbb Z$-graded Lie conformal algebra of linear growth that cannot be embedded into any general Lie conformal algebra. In this paper, we obtain, as a byproduct, another class of such Lie conformal algebras by classifying $\mathbb Z$-graded simple Lie conformal algebras ${\cal G}=\oplus_{i=-1}^\infty{\cal G}_i$ satisfying the following, (1) ${\cal G}_0\cong{\rm Vir}$, the Virasoro conformal algebra; (2) Each ${\cal G}_i$ for $i\ge-1$ is a ${\rm Vir}$-module of rank one. These algebras include some Lie conformal algebras of Block type.


title: On 2-digit and 3-digit Kaprekar's Routine

abstract: Kaprekar's Routine is an iteration process that, with each iteration, sorts the digits of a number in descending and ascending orders and uses their difference for the next iteration. In this paper, we successfully address the structure of the fixed periodic sets and the maximum step of iteration to enter a fixed set in the three-digit case and two-digit case, with a focus on the latter. With three-digit, there exists a unique fixed set of the cardinality of 1 or 2, depending on the parity of m, and the maximum step is determined by m. With two-digit, we offer some powerful properties of the fixed sets and a mechanical method to calculate the fixed sets. We also prove that the number of 2-factors in m+1 determines the maximum step (but has completely no influence on the structure of the fixed sets). This continues Atsushi Yamagami's previous studies in 2018 (published in Journal of Number Theory) and completes it with a general solution.


title: Neuromorphic adaptive spiking CPG towards bio-inspired locomotion of legged robots

abstract: In recent years, locomotion mechanisms exhibited by vertebrate animals have been the inspiration for the improvement in the performance of robotic systems. These mechanisms include the adaptability of their locomotion to any change registered in the environment through their biological sensors. In this regard, we aim to replicate such kind of adaptability in legged robots through a Spiking Central Pattern Generator. This Spiking Central Pattern Generator generates different locomotion (rhythmic) patterns which are driven by an external stimulus, that is, the output of a Force Sensitive Resistor connected to the robot to provide feedback. The Spiking Central Pattern Generator consists of a network of five populations of Leaky Integrate-and-Fire neurons designed with a specific topology in such a way that the rhythmic patterns can be generated and driven by the aforementioned external stimulus. Therefore, the locomotion of the end robotic platform (any-legged robot) can be adapted to the terrain by using any sensor as input. The Spiking Central Pattern Generator with adaptive learning has been numerically validated at software and hardware level, using the Brian 2 simulator and the SpiNNaker neuromorphic platform for the latest. In particular, our experiments clearly show an adaptation in the oscillation frequencies between the spikes produced in the populations of the Spiking Central Pattern Generator while the input stimulus varies. To validate the robustness and adaptability of the Spiking Central Pattern Generator, we have performed several tests by variating the output of the sensor. These experiments were carried out in Brian 2 and SpiNNaker; both implementations showed a similar behavior with a Pearson correlation coefficient of 0.905.


title: Exploitation of Image Statistics with Sparse Coding in the Case of Stereo Vision

abstract: The sparse coding algorithm has served as a model for early processing in mammalian vision. It has been assumed that the brain uses sparse coding to exploit statistical properties of the sensory stream. We hypothesize that sparse coding discovers patterns from the data set, which can be used to estimate a set of stimulus parameters by simple readout. In this study, we chose a model of stereo vision to test our hypothesis. We used the Locally Competitive Algorithm (LCA), followed by a na\"ive Bayes classifier, to infer stereo disparity. From the results we report three observations. First, disparity inference was successful with this naturalistic processing pipeline. Second, an expanded, highly redundant representation is required to robustly identify the input patterns. Third, the inference error can be predicted from the number of active coefficients in the LCA representation. We conclude that sparse coding can generate a suitable general representation for subsequent inference tasks. Keywords: Sparse coding; Locally Competitive Algorithm (LCA); Efficient coding; Compact code; Probabilistic inference; Stereo vision


title: Testing for subsphericity when $n$ and $p$ are of different asymptotic order

abstract: We extend a classical test of subsphericity, based on the first two moments of the eigenvalues of the sample covariance matrix, to the high-dimensional regime where the signal eigenvalues of the covariance matrix diverge to infinity and either $p/n \rightarrow 0$ or $p/n \rightarrow \infty$. In the latter case we further require that the divergence of the eigenvalues is suitably fast in a specific sense. Our work can be seen to complement that of Schott (2006) who established equivalent results in the case $p/n \rightarrow \gamma \in (0, \infty)$. As our second main contribution, we use the test to derive a consistent estimator for the latent dimension of the model. Simulations and a real data example are used to demonstrate the results, providing also evidence that the test might be further extendable to a wider asymptotic regime.


title: Quantum Learning Based Nonrandom Superimposed Coding for Secure Wireless Access in 5G URLLC

abstract: Secure wireless access in ultra-reliable low-latency communications (URLLC), which is a critical aspect of 5G security, has become increasingly important due to its potential support of grant-free configuration. In grant-free URLLC, precise allocation of different pilot resources to different users that share the same time-frequency resource is essential for the next generation NodeB (gNB) to exactly identify those users under access collision and to maintain precise channel estimation required for reliable data transmission. However, this process easily suffers from attacks on pilots. We in this paper propose a quantum learning based nonrandom superimposed coding method to encode and decode pilots on multidimensional resources, such that the uncertainty of attacks can be learned quickly and eliminated precisely. Particularly, multiuser pilots for uplink access are encoded as distinguishable subcarrier activation patterns (SAPs) and gNB decodes pilots of interest from observed SAPs, a superposition of SAPs from access users, by joint design of attack mode detection and user activity detection though a quantum learning network (QLN). We found that the uncertainty lies in the identification process of codeword digits from the attacker, which can be always modelled as a black-box model, resolved by a quantum learning algorithm and quantum circuit. Novel analytical closed-form expressions of failure probability are derived to characterize the reliability of this URLLC system with short packet transmission. Simulations how that our method can bring ultra-high reliability and low latency despite attacks on pilots.


title: Design and Analysis of Wideband In-Band-Full-Duplex FR2-IAB Networks

abstract: This paper develops a 3GPP-inspired design for the in-band-full-duplex (IBFD) integrated access and backhaul (IAB) networks in the frequency range 2 (FR2) band, which can enhance the spectral efficiency (SE) and coverage while reducing the latency. However, the self-interference (SI), which is usually more than 100 dB higher than the signal-of-interest, becomes the major bottleneck in developing these IBFD networks. We design and analyze a subarray-based hybrid beamforming IBFD-IAB system with the RF beamformers obtained via RF codebooks given by a modified Linde-Buzo-Gray (LBG) algorithm. The SI is canceled in three stages, where the first stage of antenna isolation is assumed to be successfully deployed. The second stage consists of the optical domain (OD)-based RF cancellation, where cancelers are connected with the RF chain pairs. The third stage is comprised of the digital cancellation via successive interference cancellation followed by minimum mean-squared error baseband receiver. Multiuser interference in the access link is canceled by zero-forcing at the IAB-node transmitter. Simulations show that under 400 MHz bandwidth, our proposed OD-based RF cancellation can achieve around 25 dB of cancellation with 100 taps. Moreover, the higher the hardware impairment and channel estimation error, the worse digital cancellation ability we can obtain.


title: Nonlinear Quantum Electrodynamics in Dirac materials

abstract: Classical electromagnetism is linear. However, fields can polarize the vacuum Dirac sea, causing quantum nonlinear electromagnetic phenomena, e.g., scattering and splitting of photons, that occur only in very strong fields found in neutron stars or heavy ion colliders.We show that strong nonlinearity arises in Dirac materials at much lower fields $\sim 1\:\text{T}$, allowing us to explore the nonperturbative, extremely high field limit of quantum electrodynamics in solids. We explain recent experiments in a unified framework and predict a new class of nonlinear magneto-electric effects, including a magnetic enhancement of dielectric constant of insulators and a strong electric modulation of magnetization. We propose experiments and discuss the applications in novel materials.


title: Combining SimTrust and Weighted Simple Exponential Smoothing

abstract: In the domain of Autonomic and Organic Computing, the entities of a distributed system are variable as well as the efficiency and the intention of their work. Therefore, a scalable mechanism to incentivise/sanction entities which contribute towards/against the system goal is needed. Trust is a suited metric to find benevolent entities. In this paper, we focus for one on the SimTrust model which introduces trust on entities when they share interest and opinions using tagging information. The second model is the Weighted Simple Exponential Smoothing Trust metric (WSES) which functions on explicitly rated items. WSES follows two basic rules which ensure a logic rating mechanism. When putting these two models in context, SimTrust has advantages on items that have not been rated yet or can not easily be rated. WSES is a trust metric which returns good results on explicit rank values. We propose concepts on combining both approaches and state in which cases they are incompatible.


title: SLA-Aware Multiple Migration Planning and Scheduling in SDN-NFV-enabled Clouds

abstract: In Software-Defined Networking (SDN)-enabled cloud data centers, live migration is a key approach used for the reallocation of Virtual Machines (VMs) in cloud services and Virtual Network Functions (VNFs) in Service Function Chaining (SFC). Using live migration methods, cloud providers can address their dynamic resource management and fault tolerance objectives without interrupting the service of users. However, in cloud data centers, performing multiple live migrations in arbitrary order can lead to service degradation. Therefore, efficient migration planning is essential to reduce the impact of live migration overheads. In addition, to prevent Quality of Service (QoS) degradations and Service Level Agreement (SLA) violations, it is necessary to set priorities for different live migration requests with various urgency. In this paper, we propose SLAMIG, a set of algorithms that composes the deadline-aware multiple migration grouping algorithm and on-line migration scheduling to determine the sequence of VM/VNF migrations. The experimental results show that our approach with reasonable algorithm runtime can efficiently reduce the number of deadline misses and has a good migration performance compared with the one-by-one scheduling and two state-of-the-art algorithms in terms of total migration time, average execution time, downtime, and transferred data. We also evaluate and analyze the impact of multiple migration planning and scheduling on QoS and energy consumption.


title: Introducing piXedfit -- a Spectral Energy Distribution Fitting Code Designed for Resolved Sources

abstract: We present piXedfit, pixelized spectral energy distribution (SED) fitting, a Python package that provides tools for analyzing spatially resolved properties of galaxies using multiband imaging data alone or in combination with integral field spectroscopy (IFS) data. piXedfit has six modules that can handle all tasks in the spatially resolved SED fitting. The SED fitting module uses the Bayesian inference technique with two kinds of posteriors sampling methods: Markov Chain Monte Carlo (MCMC) and random densely-sampling of parameter space (RDSPS). We test the performance of the SED fitting module using mock SEDs of simulated galaxies from IllustrisTNG. The SED fitting with both posteriors sampling methods can recover physical properties and star formation histories of the IllustrisTNG galaxies well. We further test the performance of piXedfit modules by analyzing 20 galaxies observed by the CALIFA and MaNGA surveys. The data comprises of 12-band imaging data from GALEX, SDSS, 2MASS, and WISE, and the IFS data from CALIFA or MaNGA. piXedfit can spatially match (in resolution and sampling) of the imaging and IFS data. By fitting only the photometric SEDs, piXedfit can predict the spectral continuum, $\text{D}_{\rm n}4000$, $H_{\alpha}$, and $H_{\beta}$ well. The star formation rate (SFR) derived by piXedfit is consistent with that derived from $H_{\alpha}$ emission. The RDSPS method gives equally good fitting results as the MCMC and it is much faster than the MCMC. piXedfit is a versatile tool equipped with a parallel computing module for efficient analysis of large datasets, and will be made publicly available (https://github.com/aabdurrouf/piXedfit).


title: On the Density of Spoof Odd Perfect Numbers

abstract: We study the set $\mathcal{S}$ of odd positive integers $n$ with the property ${2n}/{\sigma(n)} - 1 = 1/x$, for positive integer $x$, i.e., the set that relates to odd perfect and odd "spoof perfect" numbers. As a consequence, we find that if $D=pq$ denotes a spoof odd perfect number other than Descartes' example, with pseudo-prime factor $p$, then $q>10^{12}$. Furthermore, we find irregularities in the ending digits of integers $n\in\mathcal{S}$ and study aspects of its density, leading us to conjecture that the amount of numbers in $\mathcal{S}$ below $k$ is $\sim10 \log(k)$.


title: Collatz convergence is a Hydra game

abstract: The Collatz dynamic is known to generate a complex quiver of sequences over natural numbers which inflation propensity remains so unpredictable it could be used to generate reliable proof of work algorithms for the cryptocurrency industry. Here we establish an ad hoc equivalent of modular arithmetic for Collatz sequences to automatically demonstrate the convergence of infinite quivers of numbers, based on five arithmetic rules we prove apply on the entire Collatz dynamic and which we further simulate to gain insight on their graph geometry and computational properties. We then formally demonstrate these rules define an automaton that is playing a Hydra game on the graph of undecided numbers we also prove is embedded in 24N-7, proving that in ZFC the Collatz conjecture is true, before giving a promising direction to also prove it in Peano arithmetic.