title: Stegomalware: A Systematic Survey of MalwareHiding and Detection in Images, Machine LearningModels and Research Challenges

abstract: Malware distribution to the victim network is commonly performed through file attachments in phishing email or from the internet, when the victim interacts with the source of infection. To detect and prevent the malware distribution in the victim machine, the existing end device security applications may leverage techniques such as signature or anomaly-based, machine learning techniques. The well-known file formats Portable Executable (PE) for Windows and Executable and Linkable Format (ELF) for Linux based operating system are used for malware analysis, and the malware detection capabilities of these files has been well advanced for real-time detection. But the malware payload hiding in multimedia using steganography detection has been a challenge for enterprises, as these are rarely seen and usually act as a stager in sophisticated attacks. In this article, to our knowledge, we are the first to try to address the knowledge gap between the current progress in image steganography and steganalysis academic research focusing on data hiding and the review of the stegomalware (malware payload hiding in images) targeting enterprises with cyberattacks current status. We present the stegomalware history, generation tools, file format specification description. Based on our findings, we perform the detail review of the image steganography techniques including the recent Generative Adversarial Networks (GAN) based models and the image steganalysis methods including the Deep Learning(DL) models for hiding data detection. Additionally, the stegomalware detection framework for enterprise is proposed for anomaly based stegomalware detection emphasizing the architecture details for different network environments. Finally, the research opportunities and challenges in stegomalware generation and detection are also presented.


title: Improvement of numerical radius inequalities

abstract: We develop upper and lower bounds for the numerical radius of $2\times 2$ off-diagonal operator matrices, which generalize and improve on the existing ones. We also show that if $A$ is a bounded linear operator on a complex Hilbert space and $|A|$ stands for the positive square root of $A$, i.e., $|A|=(A^*A)^{1/2}$, then for all $r\geq 1$, $w^{2r}(A) \leq \frac{1}{4} \big \| |A|^{2r}+|A^*|^{2r} \big \| + \frac{1}{2} \min\left\{ \big \|\Re\big(|A|^r\, |A^*|^r \big) \big \|, w^r(A^2) \right\} $ where $w(A)$, $\|A\|$ and $\Re(A)$, respectively, stand for the numerical radius, the operator norm and the real part of $A$. This (for $r=1$) improves on existing well-known numerical radius inequalities.


title: Performance of BeBe, a proposed dedicated beam-beam monitoring detector for the MPD-NICA experiment at JINR

abstract: The Multipurpose Detector (MPD) is an experimental array, currently under construction, designed to study the nuclear matter created during the collisions that will be provided by the Nuclotron-based Ion Collider fAcility (NICA) at JINR. The MPD-NICA experiment consists of a typical array of particle detectors as those used to study heavy-ion collisions at LHC and RHIC. To increase the trigger capabilities of MPD for stage 2 of NICA operation, a detector conformed by two arrays of 80 plastic scintillator cells each located symmetrically at opposite sides of the interaction point of MPD is proposed (BeBe). Based on Monte Carlo simulations, a discussion of the potential physics performance of BeBe detector is given for triggering tasks and for the resolution in the determination of the event plane reaction and the centrality of the collisions at NICA. Also, laboratory measurements to estimate the time resolution of individual BeBe cells prototypes are presented. It is shown that a time resolution between 0.65 and 1.48 ns can be reached depending on the number of photosensors employed to collect the scintillation photons. The BeBe detector will be complementary to FFD and FHCAL forward detectors.


title: Modelling Big, Heterogeneous, Non-Gaussian Spatial and Spatio-Temporal Data using FRK

abstract: Non-Gaussian spatial and spatio-temporal data are becoming increasingly prevalent, and their analysis is needed in a variety of disciplines. FRK is an R package for spatial/spatio-temporal modelling and prediction with very large data sets that, to date, has only supported linear process models and Gaussian data models. In this paper, we describe a major upgrade to FRK that allows for non-Gaussian data to be analysed in a generalised linear mixed model framework. These vastly more general spatial and spatio-temporal models are fitted using the Laplace approximation via the software TMB. The existing functionality of FRK is retained with this advance into non-Gaussian models; in particular, it allows for automatic basis-function construction, it can handle both point-referenced and areal data simultaneously, and it can predict process values at any spatial support from these data. This new version of FRK also allows for the use of a large number of basis functions when modelling the spatial process, and is thus often able to achieve more accurate predictions than previous versions of the package in a Gaussian setting. We demonstrate innovative features in this new version of FRK, highlight its ease of use, and compare it to alternative packages using both simulated and real data sets.


title: Online Hyperparameter Meta-Learning with Hypergradient Distillation

abstract: Many gradient-based meta-learning methods assume a set of parameters that do not participate in inner-optimization, which can be considered as hyperparameters. Although such hyperparameters can be optimized using the existing gradient-based hyperparameter optimization (HO) methods, they suffer from the following issues. Unrolled differentiation methods do not scale well to high-dimensional hyperparameters or horizon length, Implicit Function Theorem (IFT) based methods are restrictive for online optimization, and short horizon approximations suffer from short horizon bias. In this work, we propose a novel HO method that can overcome these limitations, by approximating the second-order term with knowledge distillation. Specifically, we parameterize a single Jacobian-vector product (JVP) for each HO step and minimize the distance from the true second-order term. Our method allows online optimization and also is scalable to the hyperparameter dimension and the horizon length. We demonstrate the effectiveness of our method on two different meta-learning methods and three benchmark datasets.


title: Design and Implementation of 5.8GHz RF Wireless PowerTransfer System

abstract: In this paper, we present a 5.8 GHz radio-frequency (RF) wireless power transfer (WPT) system that consists of 64 transmit antennas and 16 receive antennas. Unlike the inductive or resonant coupling-based near-field WPT, RF WPT has a great advantage in powering low-power internet of things (IoT) devices with its capability of long-range wireless power transfer. We also propose a beam scanning algorithm that can effectively transfer the power no matter whether the receiver is located in the radiative near-field zone or far-field zone. The proposed beam scanning algorithm is verified with a real-life WPT testbed implemented by ourselves. By experiments, we confirm that the implemented 5.8 GHz RF WPT system is able to transfer 3.67 mW at a distance of 25 meters with the proposed beam scanning algorithm. Moreover, the results show that the proposed algorithm can effectively cover radiative near-field region differently from the conventional scanning schemes which are designed under the assumption of the far-field WPT.


title: Cycle Representation Learning for Inductive Relation Prediction

abstract: In recent years, algebraic topology and its modern development, the theory of persistent homology, has shown great potential in graph representation learning. In this paper, based on the mathematics of algebraic topology, we propose a novel solution for inductive relation prediction, an important learning task for knowledge graph completion. To predict the relation between two entities, one can use the existence of rules, namely a sequence of relations. Previous works view rules as paths and primarily focus on the searching of paths between entities. The space of rules is huge, and one has to sacrifice either efficiency or accuracy. In this paper, we consider rules as cycles and show that the space of cycles has a unique structure based on the mathematics of algebraic topology. By exploring the linear structure of the cycle space, we can improve the searching efficiency of rules. We propose to collect cycle bases that span the space of cycles. We build a novel GNN framework on the collected cycles to learn the representations of cycles, and to predict the existence/non-existence of a relation. Our method achieves state-of-the-art performance on benchmarks.


title: A Survey on Recent Deep Learning-driven Singing Voice Synthesis Systems

abstract: Singing voice synthesis (SVS) is a task that aims to generate audio signals according to musical scores and lyrics. With its multifaceted nature concerning music and language, producing singing voices indistinguishable from that of human singers has always remained an unfulfilled pursuit. Nonetheless, the advancements of deep learning techniques have brought about a substantial leap in the quality and naturalness of synthesized singing voice. This paper aims to review some of the state-of-the-art deep learning-driven SVS systems. We intend to summarize their deployed model architectures and identify the strengths and limitations for each of the introduced systems. Thereby, we picture the recent advancement trajectory of this field and conclude the challenges left to be resolved both in commercial applications and academic research.


title: Li-doped Beryllonitrene for Enhanced Carbon Dioxide Capture

abstract: In recent years, the scientific community has given more and more attention to the issue of climate change and global warming, which is largely attributed to the massive quantity of carbon dioxide emissions. Thus, the demand for a carbon dioxide capture material is massive and continuously increasing. In this study, we perform first-principle calculations based on density functional theory to investigate the carbon dioxide capture ability of pristine and doped beryllonitrene. Our results show that carbon dioxide had an adsorption energy of -0.046 eV on pristine beryllonitrene, so it appears that beryllonitrene has extremely weak carbon dioxide adsorption ability. Pristine beryllonitrene could be effectively doped with Lithium atoms, and the resulting Li-doped beryllonitrene had much stronger interactions with carbon dioxide than pristine beryllonitrene. The adsorption energy for carbon dioxide on Li-doped beryllonitrene was -0.408 eV. The adsorption of carbon dioxide on Li-doped beryllonitrene greatly changed the charge density, projected density of states, and band structure of the material, demonstrating that it was strongly adsorbed. This suggests that Li-doping is a viable way to enhance the carbon dioxide capture ability of beryllonitrene and makes it a possible candidate for an effective CO$_2$ capture material.


title: UGV-assisted Wireless Powered Backscatter Communications for Large-Scale IoT Networks

abstract: Wireless powered backscatter communications (WPBC) is capable of implementing ultra-low-power communication, thus promising in the Internet of Things (IoT) networks. In practice, however, it is challenging to apply WPBC in large-scale IoT networks because of its short communication range. To address this challenge, this paper exploits an unmanned ground vehicle (UGV) to assist WPBC in large-scale IoT networks. In particular, we investigate the joint design of network planning and dynamic resource allocation of the access point (AP), tag reader, and UGV to minimize the total energy consumption. Also, the AP can operate in either half-duplex (HD) or full-duplex (FD) multiplexing mode. Under HD mode, the optimal cell radius is derived and the optimal power allocation and transmit/receive beamforming are obtained in closed form. Under FD mode, the optimal resource allocation, as well as two suboptimal ones with low computational complexity, is developed. Simulation results disclose that dynamic power allocation at the tag reader rather than at the AP dominates the network energy efficiency while the AP operating in FD mode outperforms that in HD mode concerning energy efficienc


title: ViewfinderVR: Configurable Viewfinder for Selection of Distant Objects in VR

abstract: Selection is one of the fundamental user interactions in virtual reality (VR) and 3D user interaction, and raycasting has been one of the most popular object selection techniques in VR. However, the selection of small or distant objects through raycasting has been known to be difficult. To overcome this limitation, this study proposed a new technique called ViewfinderVR for improved selection of distant objects in VR, utilizing a virtual viewfinder panel with a modern adaptation of the through-the-lens metaphor. ViewfinderVR enables faster and more accurate target selection by allowing customization of the interaction space projected onto a virtual panel within reach, and users can select objects reflected on the panel with either ray-based or touch interaction. Experimental results of Fitts' law-based tests with 20 participants showed that ViewfinderVR outperformed traditional raycasting in terms of task performance (movement time, error rate, and throughput) and perceived workload (NASA-TLX ratings), where touch interaction was superior to ray-based interaction. The associated user behavior was also recorded and analyzed to understand the underlying reasons for the improved task performance and reduced workload. The proposed technique can be used in VR applications to enhance the selection of distant objects.


title: A Sparsity Adaptive Algorithm to Recover NB-IoT Signal from Legacy LTE Interference

abstract: As a forerunner in 5G technologies, Narrowband Internet of Things (NB-IoT) will be inevitably coexisting with the legacy Long-Term Evolution (LTE) system. Thus, it is imperative for NB-IoT to mitigate LTE interference. By virtue of the strong temporal correlation of the NB-IoT signal, this letter develops a sparsity adaptive algorithm to recover the NB-IoT signal from legacy LTE interference, by combining $K$-means clustering and sparsity adaptive matching pursuit (SAMP). In particular, the support of the NB-IoT signal is first estimated coarsely by $K$-means clustering and SAMP algorithm without sparsity limitation. Then, the estimated support is refined by a repeat mechanism. Simulation results demonstrate the effectiveness of the developed algorithm in terms of recovery probability and bit error rate, compared with competing algorithms.


title: Attack as the Best Defense: Nullifying Image-to-image Translation GANs via Limit-aware Adversarial Attack

abstract: With the successful creation of high-quality image-to-image (Img2Img) translation GANs comes the non-ethical applications of DeepFake and DeepNude. Such misuses of img2img techniques present a challenging problem for society. In this work, we tackle the problem by introducing the Limit-Aware Self-Guiding Gradient Sliding Attack (LaS-GSA). LaS-GSA follows the Nullifying Attack to cancel the img2img translation process under a black-box setting. In other words, by processing input images with the proposed LaS-GSA before publishing, any targeted img2img GANs can be nullified, preventing the model from maliciously manipulating the images. To improve efficiency, we introduce the limit-aware random gradient-free estimation and the gradient sliding mechanism to estimate the gradient that adheres to the adversarial limit, i.e., the pixel value limitations of the adversarial example. Theoretical justifications validate how the above techniques prevent inefficiency caused by the adversarial limit in both the direction and the step length. Furthermore, an effective self-guiding prior is extracted solely from the threat model and the target image to efficiently leverage the prior information and guide the gradient estimation process. Extensive experiments demonstrate that LaS-GSA requires fewer queries to nullify the image translation process with higher success rates than 4 state-of-the-art black-box methods.


title: Stacking-order effect on spin-orbit torque, spin-Hall magnetoresistance, and magnetic anisotropy in Ni$_{81}$Fe$_{19}$-IrO$_2$ bilayers

abstract: The 5d transition-metal oxides have been an intriguing platform to demonstrate efficient charge to spin current conversion due to a unique electronic structure dominated by strong spin-orbit coupling. Here, we report on stacking-order effect of spin-orbit torque (SOT), spin-Hall magnetoresistance, and magnetic anisotropy in bilayer Ni$_{81}$Fe$_{19}$-5d iridium oxide, IrO$_2$. While all the IrO$_2$ and Pt control samples exhibit large dampinglike-SOT generation stemming from the efficient charge to spin current conversion, the magnitude of the SOT is larger in the IrO$_2$ (Pt)-bottom sample than in the IrO$_2$ (Pt)-top one. The fieldlike-SOT has even more significant stack order effect, resulting in an opposite sign in the IrO$_2$ samples in contrast to the same sign in the Pt samples. Furthermore, we observe that the magnetic anisotropy energy density and the anomalous Hall effect are increased in the IrO$_2$ (Pt)-bottom sample, suggesting enhanced interfacial perpendicular magnetic anisotropy. Our findings highlight the significant influence of the stack order on spin transport and magnetotransport properties of Ir oxide/ferromagnet systems, providing useful information on design of SOT devices including 5d transition-metal oxides.


title: On uniform log $K$-stability for constant scalar curvature K\"ahler cone metrics

abstract: We prove that the existence of constant scalar curvature K\"ahler metrics with cone singularities along a divisor implies log $K$-polystability and $G$-uniform log $K$-stability, where $G$ is the automorphism group which preserves the divisor. We also show that a constant scalar curvature K\"ahler cone metric along an ample divisor of sufficiently large degree always exists. We further show several properties of the path of constant scalar curvature K\"ahler cone metrics and discuss uniform log $K$-stability of normal varieties.


title: E1D3 U-Net for Brain Tumor Segmentation: Submission to the RSNA-ASNR-MICCAI BraTS 2021 Challenge

abstract: Convolutional Neural Networks (CNNs) have demonstrated state-of-the-art performance in medical image segmentation tasks. A common feature in most top-performing CNNs is an encoder-decoder architecture inspired by the U-Net. For multi-region brain tumor segmentation, 3D U-Net architecture and its variants provide the most competitive segmentation performances. In this work, we propose an interesting extension of the standard 3D U-Net architecture, specialized for brain tumor segmentation. The proposed network, called E1D3 U-Net, is a one-encoder, three-decoder fully-convolutional neural network architecture where each decoder segments one of the hierarchical regions of interest: whole tumor, tumor core, and enhancing core. On the BraTS 2018 validation (unseen) dataset, E1D3 U-Net demonstrates single-prediction performance comparable with most state-of-the-art networks in brain tumor segmentation, with reasonable computational requirements and without ensembling. As a submission to the RSNA-ASNR-MICCAI BraTS 2021 challenge, we also evaluate our proposal on the BraTS 2021 dataset. E1D3 U-Net showcases the flexibility in the standard 3D U-Net architecture which we exploit for the task of brain tumor segmentation.


title: Power-free points in quadratic number fields: Stabiliser, dynamics and entropy

abstract: The sets of $k$-free integers in general quadratic number fields are studied, with special emphasis on (extended) symmetries and their impact on the topological dynamical systems induced by such integers. We establish correspondences between number-theoretic and dynamical quantities, and use symmetries and entropy to distinguish the systems.


title: ActiveMatch: End-to-end Semi-supervised Active Representation Learning

abstract: Semi-supervised learning (SSL) is an efficient framework that can train models with both labeled and unlabeled data, but may generate ambiguous and non-distinguishable representations when lacking adequate labeled samples. With human-in-the-loop, active learning can iteratively select informative unlabeled samples for labeling and training to improve the performance in the SSL framework. However, most existing active learning approaches rely on pre-trained features, which is not suitable for end-to-end learning. To deal with the drawbacks of SSL, in this paper, we propose a novel end-to-end representation learning method, namely ActiveMatch, which combines SSL with contrastive learning and active learning to fully leverage the limited labels. Starting from a small amount of labeled data with unsupervised contrastive learning as a warm-up, ActiveMatch then combines SSL and supervised contrastive learning, and actively selects the most representative samples for labeling during the training, resulting in better representations towards the classification. Compared with MixMatch and FixMatch with the same amount of labeled data, we show that ActiveMatch achieves the state-of-the-art performance, with 89.24% accuracy on CIFAR-10 with 100 collected labels, and 92.20% accuracy with 200 collected labels.


title: Calibration of Surface Brightness Fluctuations for Dwarf Galaxies in the Hyper Suprime-Cam $gi$ Filter System

abstract: Surface brightness fluctuation (SBF) magnitudes are a powerful standard candle to measure distances to semi-resolved galaxies in the local universe, a majority of which are dwarf galaxies that have often bluer colors than bright early-type galaxies. We present an empirical $i-$band SBF calibration in a blue regime, $0.2 \lesssim (g-i)_0 \lesssim 0.8$ in the Hyper Suprime-Cam (HSC) magnitude system. We measure SBF magnitudes for 12 nearby dwarf galaxies of various morphological types with archival HSC imaging data, and use their tip of the red giant branch (TRGB) distances to derive fluctuation - color relations. In order to subtract contributions of fluctuations due to young stellar populations, we use five different $g-$band magnitude masking thresholds, $M_{g,{\rm thres}} = -3.5, -4.0, -4.5, -5.0,$ and $-5.5$ mag. We find that the rms scatter of the linear fit to the relation is the smallest (rms = 0.16 mag) in the case of $M_{g,{\rm thres}} = -4.0$ mag, $\overline{M_i} = (-2.65\pm0.13)+ (1.28\pm0.24) \times (g-i)_0$. This scatter is much smaller than those in the previous studies (rms=0.26 mag), and is closer to the value for bright red galaxies (rms=0.12 mag). This calibration is consistent with predictions from metal-poor simple stellar population models.


title: KNN-BERT: Fine-Tuning Pre-Trained Models with KNN Classifier

abstract: Pre-trained models are widely used in fine-tuning downstream tasks with linear classifiers optimized by the cross-entropy loss, which might face robustness and stability problems. These problems can be improved by learning representations that focus on similarities in the same class and contradictions in different classes when making predictions. In this paper, we utilize the K-Nearest Neighbors Classifier in pre-trained model fine-tuning. For this KNN classifier, we introduce a supervised momentum contrastive learning framework to learn the clustered representations of the supervised downstream tasks. Extensive experiments on text classification tasks and robustness tests show that by incorporating KNNs with the traditional fine-tuning process, we can obtain significant improvements on the clean accuracy in both rich-source and few-shot settings and can improve the robustness against adversarial attacks. \footnote{all codes is available at https://github.com/LinyangLee/KNN-BERT}


title: Nebula-Relay Hypothesis: The Chirality of Biological Molecules in Molecular Clouds

abstract: The chiral puzzle of biological molecules is thought to be closely related to the origin of life and is still a mystery so far. Previously, we proposed a new model on the origin of life, Nebula-Relay hypothesis, which assumed that the life on Earth originated at the planetary system of the Sun's predecessor star and then filled in the pre-solar nebula after its death. As primitive lives existed in the pre-solar nebula for a long time, did the chiral biomolecules form during this period? We explore such a possibility in this work and find that the ultra-low temperature environment of molecular clouds is beneficial to generating the chiral polymer chain of biological molecules.


title: User Scheduling and Power Allocation for Precoded Multi-Beam High Throughput Satellite Systems with Individual Quality of Service Constraints

abstract: For extensive coverage areas, multi-beam high throughput satellite (MB-HTS) communication is a promising technology that plays a crucial role in delivering broadband services to many users with diverse Quality of Service (QoS) requirements. This paper focuses on MB-HTS systems where all beams reuse the same spectrum. In particular, we propose a novel user scheduling and power allocation design capable of providing guarantees in terms of the individual QoS requirements while maximizing the system throughput under a limited power budget. Precoding is employed in the forward link to mitigate mutual interference at the users in multiple-access scenarios over different coherence time intervals. The combinatorial optimization structure from user scheduling requires an extremely high cost to obtain the global optimum even when a reduced number of users fit into a time slot. Therefore, we propose a heuristic algorithm yielding good trade-off between performance and computational complexity, applicable to a static operation framework of geostationary (GEO) satellite networks. Although the power allocation optimization is signomial programming, non-convex on a standard form, the solution can be lower bounded by the global optimum of a geometric program with a hidden convex structure. A local solution to the joint user scheduling and power allocation problem is consequently obtained by a successive optimization approach. Numerical results demonstrate the effectiveness of our algorithms on large-scale systems by providing better QoS satisfaction combined with outstanding overall system throughput.


title: Coarse-to-Fine Reasoning for Visual Question Answering

abstract: Bridging the semantic gap between image and question is an important step to improve the accuracy of the Visual Question Answering (VQA) task. However, most of the existing VQA methods focus on attention mechanisms or visual relations for reasoning the answer, while the features at different semantic levels are not fully utilized. In this paper, we present a new reasoning framework to fill the gap between visual features and semantic clues in the VQA task. Our method first extracts the features and predicates from the image and question. We then propose a new reasoning framework to effectively jointly learn these features and predicates in a coarse-to-fine manner. The intensively experimental results on three large-scale VQA datasets show that our proposed approach achieves superior accuracy comparing with other state-of-the-art methods. Furthermore, our reasoning framework also provides an explainable way to understand the decision of the deep neural network when predicting the answer.


title: A dynamically constrained Yang-Mills theory with Lorentz symmetry group as an alternative theory of gravity

abstract: We develop the complete composite theory of gravity, in which the gauge vector fields of the Yang-Mills theory with Lorentz symmetry group are expressed in terms of the tetrad variables obtained from the decomposition of a metric. A key element of a compelling formulation of composite gravity are refined coordinate conditions that offer a natural coupling of the gravitational field to matter and ensure the closest relationship to general relativity. The composite theory of gravity is presented from three different perspectives highlighting its intuitive interpretation, its relationship to general relativity and its canonical Hamiltonian formulation, where the latter clarifies the structure of the heavily constrained theory and provides the starting point for its quantization. The main physical ingredient of the theory is an anisotropic velocity-momentum relation, or tensorial mass, described by a metric. We discuss the static isotropic solution in great detail because it provides the background for the high-precision tests to be passed by an alternative theory of gravity and for the understanding of black holes.


title: Algebras and relational frames for G\"{o}del modal logic and some of its extensions

abstract: G\"odel modal logics can be seen as extenions of intutionistic modal logics with the prelinearity axiom. In this paper we focus on the algebraic and relational semantics for G\"odel modal logics that leverages on the duality between finite G\"odel algebras and finite forests, i.e. finite posets whose principal downsets are totally ordered. We consider different subvarieties of the basic variety of G\"odel algebras with two modal operators (GAOs for short) and their corresponding classes of forest frames, either with one or two accessibility relations. These relational structures can be considered as prelinear versions of the usual relational semantics of intuitionistic modal logic. More precisely we consider two main extensions of finite G\"odel algebras with operators: the one obtained by adding Dunn axioms, typically studied in the fragment of positive classical (and intuitionistic) logic, and the one determined by adding Fischer Servi axioms. We present J\'onsson-Tarski like representation theorems for the different types of finite GAOs considered in the paper.


title: On the Importance of Firth Bias Reduction in Few-Shot Classification

abstract: Learning accurate classifiers for novel categories from very few examples, known as few-shot image classification, is a challenging task in statistical machine learning and computer vision. The performance in few-shot classification suffers from the bias in the estimation of classifier parameters; however, an effective underlying bias reduction technique that could alleviate this issue in training few-shot classifiers has been overlooked. In this work, we demonstrate the effectiveness of Firth bias reduction in few-shot classification. Theoretically, Firth bias reduction removes the $O(N^{-1})$ first order term from the small-sample bias of the Maximum Likelihood Estimator. Here we show that the general Firth bias reduction technique simplifies to encouraging uniform class assignment probabilities for multinomial logistic classification, and almost has the same effect in cosine classifiers. We derive an easy-to-implement optimization objective for Firth penalized multinomial logistic and cosine classifiers, which is equivalent to penalizing the cross-entropy loss with a KL-divergence between the uniform label distribution and the predictions. Then, we empirically evaluate that it is consistently effective across the board for few-shot image classification, regardless of (1) the feature representations from different backbones, (2) the number of samples per class, and (3) the number of classes. Finally, we show the robustness of Firth bias reduction, in the case of imbalanced data distribution. Our implementation is available at https://github.com/ehsansaleh/firth_bias_reduction


title: Ionization and electron excitation of fullerene molecules in a carbon nanotube. A variable temperature/voltage transmission electron microscopic study

abstract: There is increasing attention to chemical applications of transmission electron microscopy, which is often plagued by radiation damage. The damage in organic matter predominantly occurs via ionization (radiolysis). Although radiolysis is highly important, previous studies on radiolysis have largely been descriptive and qualitative, lacking in such fundamental information as the product structure, the influence of the energy of the electrons, and the reaction kinetics. We need a chemically well-defined system to obtain such data, and have chosen as a model a variable-temperature and variable-voltage (VT/VV) study of the dimerization of a van der Waals dimer [60]fullerene (C60) to C120 in a carbon nanotube (CNT) as studied for individual reaction events at atomic resolution. We report here the identification of five reaction pathways that serve as mechanistic models of radiolysis damage. Two of them occur via a radical cation of the specimen generated by specimen ionization, and three involve singlet or triplet excited states of the specimen, as initiated by electron excitation of the CNT followed by energy transfer to the specimen. The pathways were distinguished by the pre-exponential factor and the Arrhenius activation energy. The prototypal reaction path is the radical cation reaction that we saw at <200 K, but, at >350 K, the excited-state reactions dominate. The results illustrate the importance of VT/VV kinetic analysis in the studies of radiation damage, and show that chemical ionization and electron excitation are inseparable but different mechanisms of radiation damage, which has so far been classified loosely under the single term "ionization."


title: 3D-FCT: Simultaneous 3D Object Detection and Tracking Using Feature Correlation

abstract: 3D object detection using LiDAR data remains a key task for applications like autonomous driving and robotics. Unlike in the case of 2D images, LiDAR data is almost always collected over a period of time. However, most work in this area has focused on performing detection independent of the temporal domain. In this paper we present 3D-FCT, a Siamese network architecture that utilizes temporal information to simultaneously perform the related tasks of 3D object detection and tracking. The network is trained to predict the movement of an object based on the correlation features of extracted keypoints across time. Calculating correlation across keypoints only allows for real-time object detection. We further extend the multi-task objective to include a tracking regression loss. Finally, we produce high accuracy detections by linking short-term object tracklets into long term tracks based on the predicted tracks. Our proposed method is evaluated on the KITTI tracking dataset where it is shown to provide an improvement of 5.57% mAP over a state-of-the-art approach.


title: Exploring the possible origin of spin reorientation transition in NdCrO$_3$

abstract: Spin reorientation transitions and other related magnetic phenomena, which owe their origin to the complex interplay between multiple magnetic sublattices, have long attracted scientific attention both from the perspective of fundamental curiosity and technological applications. In this study, combining first principles calculations together with finite temperature Monte Carlo simulations, we explore the possible origins of reorientation transition of Cr spins in NdCrO$_3$. We construct a NdCrO$_3$ specific magnetic model, consisting of symmetric superexchange interactions between magnetic ions, as well as their magnetic anisotropy. We show that the observed spin reorientation in NdCrO$_3$, arises out of a delicate balance between Nd$-$Cr magnetic exchange interactions, single ion anisotropy of Nd spins, and single ion anisotropy of Cr spins. Moreover, though our model does not take into consideration the effect of anti-symmetric and anisotropic-symmetric magnetic exchanges, the qualitative as well as quantitative agreement of the theoretically derived and the experimentally observed spin-reorientation transition in NdCrO$_3$, confirms the merit of our proposed microscopic model. Our results also propose a hitherto unobserved collective magnetic ordering in Nd sublattice, which is challenging to detect as it is an extreme low temperature phenomena, therefore calls for further investigations.


title: Ferroelectric control of N\'eel vector in L10 type of antiferromagnetic films

abstract: How to efficiently manipulate the N\'eel vector of antiferromagnets (AFM) by electric methods is one of the major focuses in current antiferromagnetic spintronics. In this work, we investigated the ferroelectric control of magnetism in AFM L10-MnPt/BaTiO3 bilayers structures by using first-principles calculation. We studied the effect of ferroelectric polarization reversal on magnetic crystalline anisotropy (MCA) of L10-MnPt films with different interface structures. Our results predict a large perpendicular MCA in L10-MnPt films with Pt-O interface, while an in-plane MCA with Mn-O interface when they are interfaced with ferroelectric BaTiO3. In addition, the magnitude of MCA for both interfaces can be modulated efficiently by the polarization reversal of BaTiO3. The ferroelectric control of MCA has been analyzed based on second order perturbation theory, and it can be mainly attributed to the ferroelectric polarization driven redistribution of Pt-5d orbital occupation around Fermi energy. Especially, for Mn-O interface, the N\'eel vector can be switched between in-plane [100] and [110] directions, or even from in-plane to out-of-plane at certain film thickness by reversing ferroelectric polarization. Our results may provide a non-volatile concept for ferroelectric control of N\'eel vector in L10-antiferromagnets, which could stimulate experimental investigations on magnetoelectric effect of antiferromagnets and promote its applications in low-power consumption spintronic memory devices.


title: Lie properties in associative algebras

abstract: Let K be a field, then we exhibit two matrices in the full nxn matrix algebra M_{n}(K) which generate M_{n}(K) as a Lie K-algebra with the commutator Lie product. We also study Lie centralizers of a not necessarily commutative unitary algebra and obtain results which we hope will eventually be a step in the direction of, firstly, proving that a Lie-nilpotent K-subspace (or a sub Lie K-algebra) of a finite-dimensional associative algebra over K of index k (say) generates a Lie-nilpotent associative subalgebra of much higher nilpotency index, and secondly, in the light of the sharp upper bound for the maximum (K-)dimension of a Lie-nilpotent K-subalgebra of M_{n}(K) of index k (obtained earlier), finding an upper bound for the maximum dimension of a Lie-nilpotent (of index k) sub Lie K-algebra of M_{n}(K). Finally, the constructive elementary proof of the Skolem-Noether theorem for the matrix algebra M_{n}(K) (appeared in the American Math. Monthly), in conjunction with the well-known characteization of Lie automorphisms of M_{n}(K) (if the characteristic of K is different from 2 and 3) in terms of, amongst others, automorphisms and anti-automorhisms of M_{n}(K), leads us to a unifying approach to constructively describe automorphisms and anti-automorphisms of M_{n}(K).


title: Current-Perpendicular-to-Plane Giant Magnetoresistance Effect in van der Waals Heterostructures

abstract: Spin-dependent transport in a full van der Waals (vdW) giant magnetoresistance (GMR) junctions with the structure of Fe3GeTe2/XTe2/Fe3GeTe2 (X = Pt, Pd) has been investigated by using first-principles calculations. The ballistic conductance, magnetoresistance (MR) and resistance-area product (RA) have been calculated in a current-perpendicular-to-plane (CPP) geometry. A giant magnetoresistance of around 2000% and RA less than 0.3 {\Omega} {\mu}m2 have been found in the proposed vdW CPP GMR. In addition, the spin-orbit coupling effect on transport and anisotropy magnetoresistance (AMR) has also been investigated. The calculated AMR is found to be around 20% in Fe3GeTe2/trilayer-PdTe2/Fe3GeTe2 CPP GMR. Both GMR and AMR in the proposed vdW CPP GMR mainly originate from the bulk electronic structure properties of Fe3GeTe2. This work demonstrates a vdW CPP GMR with superior advantages including perpendicular magnetic anisotropy, large GMR, low RA as well as sizable AMR may stimulate future experimental explorations and should be appealing for their applications in spintronic devices including magnetic sensor and memory.


title: Exploration of interacting dynamical dark energy model with interaction term including the equation-of-state parameter: alleviation of the $H_{0}$ tension

abstract: We explore a scenario of interacting dynamical dark energy model with the interaction term $Q$ including the varying equation-of-state parameter $w$. Using the data combination of the cosmic microwave background, the baryon acoustic oscillation, and the type Ia supernovae, to global fit the interacting dynamical dark energy model, we find that adding a factor of the varying $w$ in the function of $Q$ can change correlations between the coupling constant $\beta$ and other parameters, and then has a huge impact on the fitting result of $\beta$. In this model, the fitting value of $H_{0}$ is lower at the $3.54 \sigma$ level than the direct measurement value of $H_{0}$ . Comparing to the case of interacting dynamical dark energy model with $Q$ excluding $w$, the model with $Q$ including the constant $w$ is more favored by the current mainstream observation. To obtain higher fitting values of $H_{0}$ and narrow the discrepancy of $H_{0}$ between different observations, additional parameters including the effective number of relativistic species, the total neutrino mass, and massive sterile neutrinos are considered in the interacting dynamical dark energy cosmology. We find that the $H_{0}$ tension can be further reduced in these models, but is still at the about $3 \sigma$ level.


title: Massive Dirac fermions in moir\'e superlattices: a route towards topological flat minibands

abstract: We demonstrate a generic mechanism to realize topological flat minibands by confining massive Dirac fermions in a periodic moir\'e potential, which can be achieved in a heterobilayer of transition metal dichalcogenides. We show that the topological phase can be protected by the symmetry of moir\'e potential and survive to arbitrarily large Dirac band gap. We take the MoTe$_2$/WSe$_2$ heterobilayer as an example and find that the topological phase can be driven by a vertical electric field. By projecting the Coulomb interaction onto the topological fat minibands, we identify a correlated Chern insulator at half filling and a quantum valley-spin Hall insulator at full filling which explains the topological states observed in the MoTe$_2$/WSe$_2$ in experiment. Our work clarifies the importance of Dirac structure for the topological minibands and unveils a general strategy to design topological moir\'e materials.


title: A Local Updating Algorithm for Personalized PageRank via Chebyshev Polynomials

abstract: The personalized PageRank algorithm is one of the most versatile tools for the analysis of networks. In spite of its ubiquity, maintaining personalized PageRank vectors when the underlying network constantly evolves is still a challenging task. To address this limitation, this work proposes a novel distributed algorithm to locally update personalized PageRank vectors when the graph topology changes. The proposed algorithm is based on the use of Chebyshev polynomials and a novel update equation that encompasses a large family of PageRank-based methods. In particular, the algorithm has the following advantages: (i) it has faster convergence speed than state-of-the-art alternatives for local PageRank updating; and (ii) it can update the solution of recent generalizations of PageRank for which no updating algorithms have been developed. Experiments in a real-world temporal network of an autonomous system validate the effectiveness of the proposed algorithm.


title: On a different weighted zero-sum constant

abstract: For a finite abelian group $(G,+)$, the constant $C(G)$ is defined to be the smallest natural number $k$ such that any sequence in $G$ having length $k$ will have a subsequence of consecutive terms whose sum is zero. For a subset $A\subseteq\mathbb Z_n$, the constant $C_A(n)$ is the smallest natural number $k$ such that any sequence in $G$ having length $k$ has an $A$-weighted zero-sum subsequence of consecutive terms. We determine the value of $C_A(n)$ for some particular weight-sets $A$.


title: Fast sensor placement by enlarging principle submatrix for large-scale linear inverse problems

abstract: Sensor placement for linear inverse problems is the selection of locations to assign sensors so that the entire physical signal can be well recovered from partial observations. In this paper, we propose a fast sampling algorithm to place sensors. Specifically, assuming that the field signal $\mathbf{f}$ is represented by a linear model $\mathbf{f}=\pmb{\phi}\mathbf{g}$, it can be estimated from partial noisy samples via an unbiased least-squares (LS) method, whose expected mean square error (MSE) depends on chosen samples. First, we formulate an approximate MSE problem, and then prove it is equivalent to a problem related to a principle submatrix of $\pmb{\phi}\pmb{\phi}^\top$ indexed by sample set. To solve the formulated problem, we devise a fast greedy algorithm with simple matrix-vector multiplications, leveraging a matrix inverse formula. To further reduce complexity, we reuse results in the previous greedy step for warm start, so that candidates can be evaluated via lightweight vector-vector multiplications. Extensive experiments show that our proposed sensor placement method achieved the lowest sensor sampling time and the best performance compared to state-of-the-art schemes.


title: Hopf-type representation formulas and efficient algorithms for certain high-dimensional optimal control problems

abstract: Two key challenges in optimal control include efficiently solving high-dimensional problems and handling optimal control problems with state-dependent running costs. In this paper, we consider a class of optimal control problems whose running costs consist of a quadratic on the control variable and a convex, non-negative, piecewise affine function on the state variable. We provide the analytical solution for this class of optimal control problems as well as a Hopf-type representation formula for the corresponding Hamilton-Jacobi partial differential equations. Finally, we propose efficient numerical algorithms based on our Hopf-type representation formula, convex optimization algorithms, and min-plus techniques. We present several high-dimensional numerical examples, which demonstrate that our algorithms overcome the curse of dimensionality. We also describe a field-programmable gate array (FPGA) implementation of our numerical solver whose latency scales linearly in the spatial dimension and that achieves approximately a 40 times speedup compared to a parallelized central processing unit (CPU) implementation. Thus, our numerical results demonstrate the promising performance boosts that FPGAs are able to achieve over CPUs. As such, our proposed methods have the potential to serve as a building block for solving more complicated high-dimensional optimal control problems in real-time.


title: Can we detect the quantum nature of weak gravitational fields?

abstract: A theoretical framework for the quantization of gravity has been an elusive Holy Grail since the birth of quantum theory and general relativity. While generations of scientists have attempted solutions to this deep riddle, an alternative path built upon the idea that experimental evidence could determine whether gravity is quantized has been decades in the making. The possibility of an experimental answer to the question of the quantization of gravity is of renewed interest in the era of gravitational wave detectors. We review and investigate an important subset of phenomenological quantum gravity, detecting quantum signatures of weak gravitational fields in table-top experiments and interferometers.


title: A logical approach for temporal and multiplex networks analysis

abstract: Many systems generate data as a set of triplets (a, b, c): they may represent that user a called b at time c or that customer a purchased product b in store c. These datasets are traditionally studied as networks with an extra dimension (time or layer), for which the fields of temporal and multiplex networks have extended graph theory to account for the new dimension. However, such frameworks detach one variable from the others and allow to extend one same concept in many ways, making it hard to capture patterns across all dimensions and to identify the best definitions for a given dataset. This extended abstract overrides this vision and proposes a direct processing of the set of triplets. In particular, our work shows that a more general analysis is possible by partitioning the data and building categorical propositions that encode informative patterns. We show that several concepts from graph theory can be framed under this formalism and leverage such insights to extend the concepts to data triplets. Lastly, we propose an algorithm to list propositions satisfying specific constraints and apply it to a real world dataset.


title: Learning to Iteratively Solve Routing Problems with Dual-Aspect Collaborative Transformer

abstract: Recently, Transformer has become a prevailing deep architecture for solving vehicle routing problems (VRPs). However, it is less effective in learning improvement models for VRP because its positional encoding (PE) method is not suitable in representing VRP solutions. This paper presents a novel Dual-Aspect Collaborative Transformer (DACT) to learn embeddings for the node and positional features separately, instead of fusing them together as done in existing ones, so as to avoid potential noises and incompatible correlations. Moreover, the positional features are embedded through a novel cyclic positional encoding (CPE) method to allow Transformer to effectively capture the circularity and symmetry of VRP solutions (i.e., cyclic sequences). We train DACT using Proximal Policy Optimization and design a curriculum learning strategy for better sample efficiency. We apply DACT to solve the traveling salesman problem (TSP) and capacitated vehicle routing problem (CVRP). Results show that our DACT outperforms existing Transformer based improvement models, and exhibits much better generalization performance across different problem sizes on synthetic and benchmark instances, respectively.


title: On the optimal domain for minimizing the buckling load of a clamped plate

abstract: We prove the existence of an optimal domain for minimizing the buckling load among all, possibly unbounded, open subsets of $\mathbb{R}^n$ ($n\geq 2$) with given measure. Our approach is based on the extension of a 2-dimensional existence result of Ashbaugh and Bucur and on the idea of Alt and Caffarelli to focus on the eigenfunction.


title: Inverse Problem For Dirichlet Boundary Value Problems

abstract: In this article we consider Sturm-Liouville operator with $q\in W_{1}^{2}[0,1]$ and Dirichlet boundary conditions. We prove that if the set $\{(n\pi)^{2}:n\in \mathbb{N}\}$ is a subset of the spectrum of the Sturm-Liouville operator with Dirichlet boundary conditions, then $q=0$ a.e.


title: Interferometric imaging of Intensely Radiating Negative Leaders

abstract: The common phenomenon of lightning still harbors many secrets and only recently a new propagation mode was observed for negative leaders. While propagating in this `Intensely Radiating Negative Leader' (IRNL) mode a negative leader emits 100 times more very-high frequency (VHF) and broadband radiation than a more normal negative leader. We have reported that this mode occurs soon after initiation of all lightning flashes we have mapped as well as sometimes long thereafter. Because of the profuse emission of VHF the leader structure is very difficult to image. In this work we report on measurements made with the LOFAR radio telescope, an instrument primarily built for radio-astronomy observations. For this reason, as part of the present work, we have refined our time resolved interferometric 3-Dimensional (TRI-D) imaging to take into account the antenna function. The images from the TRI-D imager show that during an IRNL there is an ionization front with a diameter in excess of 500~m where strong corona bursts occur. This is very different from what is seen for a normal negative leader where the corona bursts happen at the tip, an area of typically 10~m in diameter. The observed massive ionization wave supports the idea that this mode is indicative of a dense charge pocket.


title: Data-Driven Substructuring Technique for Pseudo-Dynamic Hybrid Simulation of Steel Braced Frames

abstract: This paper proposes a new substructuring technique for hybrid simulation of steel braced frame structures under seismic loading in which a new machine learning-based model is used to predict the hysteretic response of steel braces. Corroborating numerical data is used to train the model, referred to as PI-SINDy, developed with the aid of the Prandtl-Ishlinskii hysteresis model and sparse identification algorithm. By replacing a brace part of a prototype steel buckling-restrained braced frame with the trained PI-SINDy model, a new simulation technique referred to as data-driven hybrid simulation (DDHS) is established. The accuracy of DDHS is evaluated using the nonlinear response history analysis of the prototype frame subjected to an earthquake ground motion. Compared to a baseline pure numerical model, the results show that the proposed model can accurately predict the hysteretic response of steel buckling-restrained braces.


title: See Yourself in Others: Attending Multiple Tasks for Own Failure Detection

abstract: Autonomous robots deal with unexpected scenarios in real environments. Given input images, various visual perception tasks can be performed, e.g., semantic segmentation, depth estimation and normal estimation. These different tasks provide rich information for the whole robotic perception system. All tasks have their own characteristics while sharing some latent correlations. However, some of the task predictions may suffer from the unreliability dealing with complex scenes and anomalies. We propose an attention-based failure detection approach by exploiting the correlations among multiple tasks. The proposed framework infers task failures by evaluating the individual prediction, across multiple visual perception tasks for different regions in an image. The formulation of the evaluations is based on an attention network supervised by multi-task uncertainty estimation and their corresponding prediction errors. Our proposed framework generates more accurate estimations of the prediction error for the different task's predictions.


title: CBP: Backpropagation with constraint on weight precision using a pseudo-Lagrange multiplier method

abstract: Backward propagation of errors (backpropagation) is a method to minimize objective functions (e.g., loss functions) of deep neural networks by identifying optimal sets of weights and biases. Imposing constraints on weight precision is often required to alleviate prohibitive workloads on hardware. Despite the remarkable success of backpropagation, the algorithm itself is not capable of considering such constraints unless additional algorithms are applied simultaneously. To address this issue, we propose the constrained backpropagation (CBP) algorithm based on a pseudo-Lagrange multiplier method to obtain the optimal set of weights that satisfy a given set of constraints. The defining characteristic of the proposed CBP algorithm is the utilization of a Lagrangian function (loss function plus constraint function) as its objective function. We considered various types of constraints--binary, ternary, one-bit shift, and two-bit shift weight constraints. As a post-training method, CBP applied to AlexNet, ResNet-18, ResNet-50, and GoogLeNet on ImageNet, which were pre-trained using the conventional backpropagation. For all cases, the proposed algorithm outperforms the state-of-the-art methods on ImageNet, e.g., 66.6%, 74.4%, and 64.0% top-1 accuracy for ResNet-18, ResNet-50, and GoogLeNet with binary weights, respectively. This highlights CBP as a learning algorithm to address diverse constraints with the minimal performance loss by employing appropriate constraint functions.


title: A Survey of Fish Tracking Techniques Based on Computer Vision

abstract: Fish tracking is a key technology for obtaining movement trajectories and identifying abnormal behavior. However, it faces considerable challenges, including occlusion, multi-scale tracking, and fish deformation. Notably, extant reviews have focused more on behavioral analysis rather than providing a comprehensive overview of computer vision-based fish tracking approaches. This paper presents a comprehensive review of the advancements of fish tracking technologies over the past seven years (2017-2023). It explores diverse fish tracking techniques with an emphasis on fundamental localization and tracking methods. Auxiliary plugins commonly integrated into fish tracking systems, such as underwater image enhancement and re-identification, are also examined. Additionally, this paper summarizes open-source datasets, evaluation metrics, challenges, and applications in fish tracking research. Finally, a comprehensive discussion offers insights and future directions for vision-based fish tracking techniques. We hope that our work could provide a partial reference in the development of fish tracking algorithms.


title: Policy iteration method for time-dependent Mean Field Games systems with non-separable Hamiltonians

abstract: We introduce two algorithms based on a policy iteration method to numerically solve time-dependent Mean Field Game systems of partial differential equations with non-separable Hamiltonians. We prove the convergence of such algorithms in sufficiently small time intervals with Banach fixed point method. Moreover, we prove that the convergence rates are linear. We illustrate our theoretical results by numerical examples, and we discuss the performance of the proposed algorithms.


title: A Novel Approach for Attack Tree to Attack Graph Transformation: Extended Version

abstract: Attack trees and attack graphs are both common graphical threat models used by organizations to better understand possible cybersecurity threats. These models have been primarily seen as separate entities, to be used and researched in entirely different contexts, but recently there has emerged a new interest in combining the strengths of these models and in transforming models from one notation into the other. The existing works in this area focus on transforming attack graphs into attack trees. In this paper, we propose an approach to transform attack trees into attack graphs based on the fundamental understanding of how actions are represented in both structures. From this, we hope to enable more versatility in both structures.


title: A Regularized Wasserstein Framework for Graph Kernels

abstract: We propose a learning framework for graph kernels, which is theoretically grounded on regularizing optimal transport. This framework provides a novel optimal transport distance metric, namely Regularized Wasserstein (RW) discrepancy, which can preserve both features and structure of graphs via Wasserstein distances on features and their local variations, local barycenters and global connectivity. Two strongly convex regularization terms are introduced to improve the learning ability. One is to relax an optimal alignment between graphs to be a cluster-to-cluster mapping between their locally connected vertices, thereby preserving the local clustering structure of graphs. The other is to take into account node degree distributions in order to better preserve the global structure of graphs. We also design an efficient algorithm to enable a fast approximation for solving the optimization problem. Theoretically, our framework is robust and can guarantee the convergence and numerical stability in optimization. We have empirically validated our method using 12 datasets against 16 state-of-the-art baselines. The experimental results show that our method consistently outperforms all state-of-the-art methods on all benchmark databases for both graphs with discrete attributes and graphs with continuous attributes.


title: Profile-based optimal stable matchings in the Roommates problem

abstract: The stable roommates problem can admit multiple different stable matchings. We have different criteria for deciding which one is optimal, but computing those is often NP-hard. We show that the problem of finding generous or rank-maximal stable matchings in an instance of the roommates problem with incomplete lists is NP-hard even when the preference lists are at most length 3. We show that just maximising the number of first choices or minimising the number of last choices is NP-hard with the short preference lists. We show that the number of $R^{th}$ choices, where $R$ is the minimum-regret of a given instance of SRI, is 2-approximable among all the stable matchings. Additionally, we show that the problem of finding a stable matching that maximises the number of first choices does not admit a constant time approximation algorithm and is W[1]-hard with respect to the number of first choices. We implement integer programming and constraint programming formulations for the optimality criteria of SRI. We find that constraint programming outperforms integer programming and an earlier answer set programming approach by Erdam et. al. (2020) for most optimality criteria. Integer programming outperforms constraint programming and answer set programming on the almost stable roommates problem.


title: Sub-band coding of hexagonal images

abstract: According to the circle-packing theorem, the packing efficiency of a hexagonal lattice is higher than an equivalent square tessellation. Consequently, in several contexts, hexagonally sampled images compared to their Cartesian counterparts are better at preserving information content. In this paper, novel mapping techniques alongside the wavelet compression scheme are presented for hexagonal images. Specifically, we introduce two tree-based coding schemes, referred to as SBHex (spirally-mapped branch-coding for hexagonal images) and BBHex (breadth-first block-coding for hexagonal images). Both of these coding schemes respect the geometry of the hexagonal lattice and yield better compression results. Our empirical results show that the proposed algorithms for hexagonal images produce better reconstruction quality at low bits per pixel representations compared to the tree-based coding counterparts for the Cartesian grid.


title: Understanding the systematic differences in extractions of the proton electric form factors at low-$Q^2$

abstract: Systematic differences exist between values of the proton's electric form factors in the low-$Q^2$ region extracted by different experimental and theoretical groups, though they are all making use of basically the same electron-proton scattering data. To try understand the source of these differences, we make use of the analytically well-behaved rational (N=1, M=1) function, a predictive function that can be reasonably used for extrapolations at $Q^{2} \rightarrow 0$. First, we test how well this deceptively simple two-parameter function describes the extremely complex and state-of-the-art dispersively improved chiral effective field theory calculations. Second, we carry out a complete re-analysis of the 34 sets of eletron-proton elastic scattering cross-section data of the Mainz A1 Collaboration with its unconstrained 31 normalization parameters up to $Q^{2} = 0.5~{\rm (GeV/c)^{2}}$. We find that subtle shifts in the normalization parameters can result in relatively large changes in the extracted physical qualities. In conclusion, we show that by simply using a well-behaved analytic function, the apparent discrepancy between recent form-factor extractions can be resolved.


title: Transformations of 2-port networks and tiling by rectangles

abstract: In this paper, we study 2-port networks and introduce new concepts of voltage drop and $\Pi$-equivalence. The main result is that each planar network is $\Pi$-equivalent to a network with no more than 5 edges. This implies that if an octagon in the shape of the letter $\Pi$ can be tiled by squares then it can be tiled by no more than 5 rectangles with rational aspect ratios. Kenyon's theorem from 1998 proves this only for 6 rectangles.


title: The peculiar abundances of HE 1005-1439. A carbon-enhanced extremely metal-poor star contaminated with products of both s-and i-process nucleosynthesis

abstract: We performed a detailed, high-resolution spectroscopic analysis of HE 1005-1439 based on SUBARU/HDS spectra with an R ~ 50000. Abundances of ten light elements from C through Ni and twelve heavy elements Sr, Y, Ba, La, Ce, Pr, Nd, Eu, Dy, Er, Hf, and Pb were determined. We also performed a parametric-model-based analysis of the abundances of the heavy elements to understand the origin of the observed abundance pattern. For the first time, we came across an object with a surface chemical composition that exhibits contributions from both slow (s) and intermediate (i) neutron-capture nucleosynthesis. The observed abundance pattern is unique and has never been observed in any CEMP stars. The star is found to be a CEMP-s star based on the CEMP stars' classification criteria. However, the observed abundance pattern could not be explained based on theoretical s-process model predictions. On the contrary, our parametric-model based analysis clearly indicates its surface chemical composition being influenced by similar contributions from both the s- and i-process. We critically examined the observed abundances and carefully investigated the formation scenarios involving s-process and i-process that are available in literature, and we found that none of them could explain the observed abundances. We note that the variation we see in our radial velocity estimates obtained from several epochs may indicate the presence of a binary companion. Considering a binary system, we, therefore, propose a formation scenario for this object involving effective proton ingestion episodes (PIEs) triggering i-process nucleosynthesis followed by s-process asymptotic giant branch (AGB) nucleosynthesis with a few third-dredge-up (TDU) episodes in the now extinct companion AGB star. Results obtained from the parametric-model-based analysis are discussed in light of existing stellar evolutionary models.


title: Designing Binary Sequence Set with Optimized Correlation Properties via ADMM Approach

abstract: In this paper, we design low correlation binary sequences favorable in wireless communication and radar applications. First, we formulate the designing problem as a nonconvex combination optimization problem with flexible correlation interval; second, by relaxing constraints and introducing auxiliary variables, the original minimization problem is equivalent to a consensus continuous optimization problem; third, to achieve its good approximate solution efficiently, we propose the distributed executable algorithms based on alternating direction method of multipliers (ADMM); fourth, we prove that the proposed ADMM algorithms can converge to some stationary point of the approximate problem. Moreover, the computational complexity analysis is considered. Simulation results demonstrate that the proposed ADMM approaches outperform state-of-the-art ones in either computational cost or selection of correlation interval of the designed binary sequences.


title: Disentangling the stellar inclination of transiting planetary systems: fully analytic approach to the Rossiter-McLaughlin effect incorporating the stellar differential rotation

abstract: The Rossiter-McLaughlin (RM) effect has been widely used to estimate the sky-projected spin-orbit angle, $\lambda$, of transiting planetary systems. Most of the previous analysis assume that the host stars are rigid rotators in which the amplitude of the RM velocity anomaly is proportional to $v_\star \sin i_\star$. When their latitudinal differential rotation is taken into account, one can break the degeneracy, and determine separately the equatorial rotation velocity $v_\star$ and the inclination $i_{\star}$ of the host star. We derive a fully analytic approximate formula for the RM effect adopting a parameterized model for the stellar differential rotation. For those stars that exhibit the differential rotation similar to that of the Sun, the corresponding RM velocity modulation amounts to several m/s. We conclude that the latitudinal differential rotation offers a method to estimate $i_\star$, and thus the full spin-orbit angle $\psi$, from the RM data analysis alone.


title: Femtosecond laser inscriptions in Kerr nonlinear transparent media: dynamics in the presence of K-photon absorptions, radiative recombinations and electron diffusions

abstract: Femtosecond lasers interacting with Kerr nonlinear optical materials, propagate in form of filaments due to the balance of beam diffraction by self-focusing induced by the Kerr nonlinearity. Femtosecond laser filamentation is a universal phenomenon that belongs to a general class of processes proper to ultrashort lasers processing systems, associated with the competition between nonlinearity and dispersion also known to promote optical solitons. The present work considers a model describing femtosecond laser inscriptions in a transparent medium with Kerr nonlinearity. Upon inscription, the laser stores energy in the optical material which induces an electron plasma. The model consists of a cubic complex Ginzburg-Landau equation, in which an additional K-order nonlinear term takes into account K-photon absorption processes. The complex Ginzburg-Landau equation is coupled to a time first-order nonlinear ordinary differential equation, accounting for time evolution of the plasma density. The main objective of the study is to examine effects of the competition between multi-photon absorptions, radiative recombination and electron diffusion processes, on temporal profiles of the laser amplitude as well as of the plasma density. From numerical simulations, it is found that when the photon number (i.e. K) contributing to multiphoton ionization is large enough, taking the electron diffusion processes into account favours periodic structures in temporal profiles both of the laser and the plasma density. The pulse repetition rate in the optical soliton train is increased with increase of the electron diffusion coefficient, while the plasma density is a train of multi-periodic anharmonic wave patterns.


title: Pinpointing the Dominant Component of Contact Resistance to Atomically Thin Semiconductors

abstract: Achieving good electrical contacts is one of the major challenges in realizing devices based on atomically thin two-dimensional (2D) semiconductors. Several studies have examined this hurdle, but a universal understanding of the contact resistance and an underlying approach to its reduction are currently lacking. In this work we expose the shortcomings of the classical contact resistance model in describing contacts to 2D materials, and offer a correction based on the addition of a lateral pseudo-junction resistance component (Rjun). We use a combination of unique contact resistance measurements to experimentally characterize Rjun for Ni contacts to monolayer MoS2. We find that Rjun is the dominating component of the contact resistance in undoped 2D devices and show that it is responsible for most of the back-gate bias and temperature dependence. Our corrected model and experimental results help understand the underlying physics of state-of-the-art contact engineering approaches in the context of minimizing Rjun.


title: MTCD: Cataract Detection via Near Infrared Eye Images

abstract: Globally, cataract is a common eye disease and one of the leading causes of blindness and vision impairment. The traditional process of detecting cataracts involves eye examination using a slit-lamp microscope or ophthalmoscope by an ophthalmologist, who checks for clouding of the normally clear lens of the eye. The lack of resources and unavailability of a sufficient number of experts pose a burden to the healthcare system throughout the world, and researchers are exploring the use of AI solutions for assisting the experts. Inspired by the progress in iris recognition, in this research, we present a novel algorithm for cataract detection using near-infrared eye images. The NIR cameras, which are popularly used in iris recognition, are of relatively low cost and easy to operate compared to ophthalmoscope setup for data capture. However, such NIR images have not been explored for cataract detection. We present deep learning-based eye segmentation and multitask network classification networks for cataract detection using NIR images as input. The proposed segmentation algorithm efficiently and effectively detects non-ideal eye boundaries and is cost-effective, and the classification network yields very high classification performance on the cataract dataset.


title: A Region-based Collaborative Management Scheme for Dynamic Clustering in Green VANET

abstract: Green Vehicular Ad-hoc Network (VANET) is a newly-emerged research area which focuses on reducing harmful impacts of vehicular communication equipments on the natural environment. Recent studies have shown that grouping vehicles into clusters for green communications in VANETs can significantly improve networking efficiency and reduce infrastructure costs. As a dynamic network system, maintaining the network connectivity and reducing the communication overlap are two critical challenges for green VANET clustering. However, most existing work studies connectivity and overlap separately, lacking a deep understanding of the relationship between them. To address this issue, we present a comprehensive analysis that jointly considers the two critical factors in one model. Specifically, we first design a state resemblance prediction (SRP) model based on the historical trajectory feature relevance between vehicles; Combined with the SRP model, we propose the region-based collaborative management scheme (RCMS) to establish the dynamic clustering; Lastly, we take extensive experiments to verify the region-based collaborative management scheme for dynamic clustering. The results demonstrate that the proposed clustering algorithm can achieve high networking efficiency and better communication stability.


title: Adaptive control of a mechatronic system using constrained residual reinforcement learning

abstract: We propose a simple, practical and intuitive approach to improve the performance of a conventional controller in uncertain environments using deep reinforcement learning while maintaining safe operation. Our approach is motivated by the observation that conventional controllers in industrial motion control value robustness over adaptivity to deal with different operating conditions and are suboptimal as a consequence. Reinforcement learning on the other hand can optimize a control signal directly from input-output data and thus adapt to operational conditions, but lacks safety guarantees, impeding its use in industrial environments. To realize adaptive control using reinforcement learning in such conditions, we follow a residual learning methodology, where a reinforcement learning algorithm learns corrective adaptations to a base controller's output to increase optimality. We investigate how constraining the residual agent's actions enables to leverage the base controller's robustness to guarantee safe operation. We detail the algorithmic design and propose to constrain the residual actions relative to the base controller to increase the method's robustness. Building on Lyapunov stability theory, we prove stability for a broad class of mechatronic closed-loop systems. We validate our method experimentally on a slider-crank setup and investigate how the constraints affect the safety during learning and optimality after convergence.


title: Particle-beam scattering from strong-field QED

abstract: We consider the scattering of probe particles on an ultra-boosted beam of charge, in the case that the fields of the beam are strong and must be treated non-perturbatively. We show that the fields of the ultra-boosted beam act as stochastic plane waves - scattering amplitudes (of elastic scattering, nonlinear Compton and nonlinear Breit-Wheeler) are obtained without approximation by averaging plane wave scattering amplitudes over all possible plane wave parameters. The relevant plane waves are ultra-short and, as such, scattering on ultra-boosted beams does not exhibit the conjectured strong-field behaviour of QED based on the locally constant field approximation.


title: Rate of formation of caustics in heavy particles advected by turbulence

abstract: The rate of collision and the relative velocities of the colliding particles in turbulent flows is a crucial part of several natural phenomena, e.g., rain formation in warm clouds and planetesimal formation in a protoplanetary disks. The particles are often modeled as passive, but heavy and inertial. Within this model, large relative velocities emerge due to formation of singularities (caustics) of in the gradient matrix of the velocities of the particles. Using extensive direct numerical simulations of heavy particles in both two (direct and inverse cascade) and three dimensional turbulent flows we calculate the rate of formation of caustics, $J$ as a function of the Stokes number (${\rm St}$).The best approximation to our data is $J \sim \exp(-C/{\rm St})$, in the limit ${\rm St} \to 0 $ where $C$ is a non-universal constant.


title: On the transcendence of special values of Goss $L$-functions attached to Drinfeld modules

abstract: Let $\mathbb{F}_q$ be the finite field with $q$ elements and consider the rational function field $K:=\mathbb{F}_q(\theta)$. For a Drinfeld module $\phi$ defined over $K$, we study the transcendence of special values of the Goss $L$-function attached to the abelian $t$-motive $M_{\phi}$ of $\phi$. Moreover, when $\phi$ is a Drinfeld module of rank $r\geq 2$ defined over $K$ which has everywhere good reduction, we prove that the value of the Goss $L$-function attached to the $(r-1)$-st exterior power of $M_{\phi}$ at any positive integer is transcendental over $K$. As an application of our methods, we also prove the transcendence of Taelman $L$-values of an explicit family of abelian $t$-modules.


title: Baumslag rationalization of spaces

abstract: Using the functor of Baumslag rationalization of groups we construct a functor on the category of all (non necessarily simply connected) spaces that extends the classical rationalization of simply connected spaces. We study this functor and compare it with other extensions of the classical rationalization: Bousfield-Kan $\mathbb Q$-completion; Bousfield's homology rationalization; G\'{o}mez-Tato--Halperin--Tantr\'{e}'s $\pi_1$-fiberwise rationalization; and the localization with respect to the maps $n:S^1\to S^1$ that we call $\Omega$-rationalization.


title: Simulation of Derivatives Post-Trade Services using an Authoritative Data Store and the ISDA Common Domain Model

abstract: In this paper, we present a summary of the design and implementation of a simulation of post-trade services for interest rate swaps, from execution to maturity. We use an authoritative data store (ADS) and the International Swaps and Derivatives Association (ISDA) Common Domain Model (CDM) to simulate a potential future architecture. We start by providing a brief overview of the CDM and the lifecycle of an interest rate swap. We then compare our simulated future state architecture with a typical current state architecture. Next, we present the key requirements of the simulated system, several suitable design patterns, and a summary of the implementation. The simulation uses the CDM to address the industry problems of inconsistent processes and inconsistent data, and an authoritative data store to address the industry problem of duplicated data.


title: Modelling charge transport in gold nanogranular films

abstract: Cluster-assembled metallic films show interesting electrical properties, both in the near-to-percolation regime, when deposited clusters do not form a complete layer yet, and when the film thickness is well above the electrical percolation threshold. Correctly estimating their electrical conductivity is crucial, but, particularly for the latter regime, standard theoretical tools are not quite adequate. We therefore developed a procedure based on an atomically informed mesoscopic model in which ab-initio estimates of electronic transport at the nanoscale are used to reconstruct the conductivity of nanogranular gold films generated by molecular dynamics. An equivalent resistor network is developed, appropriately accounting for ballistic transport. The method is shown to correctly capture the non-monotonic behavior of the conductivity as a function of the film thickness, namely a signature feature of nanogranular films.


title: T-SNE Is Not Optimized to Reveal Clusters in Data

abstract: Cluster visualization is an essential task for nonlinear dimensionality reduction as a data analysis tool. It is often believed that Student t-Distributed Stochastic Neighbor Embedding (t-SNE) can show clusters for well clusterable data, with a smaller Kullback-Leibler divergence corresponding to a better quality. There was even theoretical proof for the guarantee of this property. However, we point out that this is not necessarily the case -- t-SNE may leave clustering patterns hidden despite strong signals present in the data. Extensive empirical evidence is provided to support our claim. First, several real-world counter-examples are presented, where t-SNE fails even if the input neighborhoods are well clusterable. Tuning hyperparameters in t-SNE or using better optimization algorithms does not help solve this issue because a better t-SNE learning objective can correspond to a worse cluster embedding. Second, we check the assumptions in the clustering guarantee of t-SNE and find they are often violated for real-world data sets.


title: Shape of compacta as extension of weak homotopy of finite spaces

abstract: We construct a category that classifies compact Hausdorff spaces by their shape and finite topological spaces by their weak homotopy type.


title: $\imath$Hall algebras of weighted projective lines and quantum symmetric pairs

abstract: The $\imath$Hall algebra of a weighted projective line is defined to be the semi-derived Ringel-Hall algebra of the category of $1$-periodic complexes of coherent sheaves on the weighted projective line over a finite field. We show that this Hall algebra provides a realization of the $\imath$quantum loop algebra, which is a generalization of the $\imath$quantum group arising from the quantum symmetric pair of split affine type ADE in its Drinfeld type presentation. The $\imath$Hall algebra of the $\imath$quiver algebra of split affine type A was known earlier to realize the same algebra in its Serre presentation. We then establish a derived equivalence which induces an isomorphism of these two $\imath$Hall algebras, explaining the isomorphism of the $\imath$quantum group of split affine type A under the two presentations.


title: Disjunction and existence properties in modal arithmetic

abstract: We systematically study several versions of the disjunction and the existence properties in modal arithmetic. First, we newly introduce three classes $\mathrm{B}$, $\Delta(\mathrm{B})$, and $\Sigma(\mathrm{B})$ of formulas of modal arithmetic, and study basic properties of them. Then, we prove several implications between the properties. In particular, among other things, we prove that for any consistent recursively enumerable extension $T$ of $\mathbf{PA}(\mathbf{K})$ with $T \nvdash \Box \bot$, the $\Sigma(\mathrm{B})$-disjunction property, the $\Sigma(\mathrm{B})$-existence property, and the $\mathrm{B}$-existence property are pairwise equivalent. Moreover, we introduce the notion of the $\Sigma(\mathrm{B})$-soundness of theories, and prove that for any consistent recursively enumerable extension of $\mathbf{PA}(\mathbf{K4})$, the modal disjunction property is equivalent to the $\Sigma(\mathrm{B})$-soundness.


title: Efficient Multi-Modal Embeddings from Structured Data

abstract: Multi-modal word semantics aims to enhance embeddings with perceptual input, assuming that human meaning representation is grounded in sensory experience. Most research focuses on evaluation involving direct visual input, however, visual grounding can contribute to linguistic applications as well. Another motivation for this paper is the growing need for more interpretable models and for evaluating model efficiency regarding size and performance. This work explores the impact of visual information for semantics when the evaluation involves no direct visual input, specifically semantic similarity and relatedness. We investigate a new embedding type in-between linguistic and visual modalities, based on the structured annotations of Visual Genome. We compare uni- and multi-modal models including structured, linguistic and image based representations. We measure the efficiency of each model with regard to data and model size, modality / data distribution and information gain. The analysis includes an interpretation of embedding structures. We found that this new embedding conveys complementary information for text based embeddings. It achieves comparable performance in an economic way, using orders of magnitude less resources than visual models.


title: Decoupled Adaptation for Cross-Domain Object Detection

abstract: Cross-domain object detection is more challenging than object classification since multiple objects exist in an image and the location of each object is unknown in the unlabeled target domain. As a result, when we adapt features of different objects to enhance the transferability of the detector, the features of the foreground and the background are easy to be confused, which may hurt the discriminability of the detector. Besides, previous methods focused on category adaptation but ignored another important part for object detection, i.e., the adaptation on bounding box regression. To this end, we propose D-adapt, namely Decoupled Adaptation, to decouple the adversarial adaptation and the training of the detector. Besides, we fill the blank of regression domain adaptation in object detection by introducing a bounding box adaptor. Experiments show that D-adapt achieves state-of-the-art results on four cross-domain object detection tasks and yields 17% and 21% relative improvement on benchmark datasets Clipart1k and Comic2k in particular.


title: Anomaly Detection based on Compressed Data: an Information Theoretic Characterization

abstract: We analyze the effect of lossy compression in the processing of sensor signals that must be used to detect anomalous events in the system under observation. The intuitive relationship between the quality loss at higher compression and the possibility of telling anomalous behaviours from normal ones is formalized in terms of information-theoretic quantities. Some analytic derivations are made within the Gaussian framework and possibly in the asymptotic regime for what concerns the stretch of signals considered. Analytical conclusions are matched with the performance of practical detectors in a toy case allowing the assessment of different compression/detector configurations.


title: Deep Transfer Learning for Land Use and Land Cover Classification: A Comparative Study

abstract: Efficiently implementing remote sensing image classification with high spatial resolution imagery can provide a significant value in Land Use and Land Cover (LULC) classification. The new advances in remote sensing and deep learning technologies have facilitated the extraction of spatiotemporal information for LULC classification. Moreover, the diverse disciplines of science, including remote sensing, have utilised tremendous improvements in image classification by Convolutional Neural Networks (CNNs) with transfer learning. In this study, instead of training CNNs from scratch, the transfer learning is applied to fine-tune pre-trained networks Visual Geometry Group (VGG16) and Wide Residual Networks (WRNs), by replacing the final layer with additional layers, for LULC classification using the red-green-blue version of the EuroSAT dataset. Moreover, the performance and computational time are compared and optimised with techniques, such as early stopping, gradient clipping, adaptive learning rates, and data augmentation. The proposed approaches have addressed the limited-data problem, and very good accuracies are achieved. The results show that the proposed method based on the WRNs performs better than the previous best-stated results in terms of the computational efficiency and accuracy from 98.57% to 99.17%.


title: The River and the Sky: Astronomy and Topography in Caral Society, America's First Urban Centers

abstract: America's first urban centres were allegedly located at the Supe Valley sites in Peru. After investigating the location and the orientation of the main built structures, we show that it is not only the presence of the River Supe that determines their orientation but also astronomical relationships within the orientation of the buildings dictate their setting within the valley. The southernmost position of moonrise on the horizon seems to be the most important astronomical target. There is the possibility of an evolution toward attributing greater importance to the June solstice sunrise and the rising of certain stars or asterisms. These orientations could elate to specific moments throughout the year, in particular to seasonal rains, subsequent river flooding, and agricultural cycles. This is one of the earliest examples of the interaction of land- and skyscapes in human cultures and indeed the first in the Americas.


title: FADNet++: Real-Time and Accurate Disparity Estimation with Configurable Networks

abstract: Deep neural networks (DNNs) have achieved great success in the area of computer vision. The disparity estimation problem tends to be addressed by DNNs which achieve much better prediction accuracy than traditional hand-crafted feature-based methods. However, the existing DNNs hardly serve both efficient computation and rich expression capability, which makes them difficult for deployment in real-time and high-quality applications, especially on mobile devices. To this end, we propose an efficient, accurate, and configurable deep network for disparity estimation named FADNet++. Leveraging several liberal network design and training techniques, FADNet++ can boost its accuracy with a fast model inference speed for real-time applications. Besides, it enables users to easily configure different sizes of models for balancing accuracy and inference efficiency. We conduct extensive experiments to demonstrate the effectiveness of FADNet++ on both synthetic and realistic datasets among six GPU devices varying from server to mobile platforms. Experimental results show that FADNet++ and its variants achieve state-of-the-art prediction accuracy, and run at a significant order of magnitude faster speed than existing 3D models. With the constraint of running at above 15 frames per second (FPS) on a mobile GPU, FADNet++ achieves a new state-of-the-art result for the SceneFlow dataset.


title: Deep Identification of Nonlinear Systems in Koopman Form

abstract: The present paper treats the identification of nonlinear dynamical systems using Koopman-based deep state-space encoders. Through this method, the usual drawback of needing to choose a dictionary of lifting functions a priori is circumvented. The encoder represents the lifting function to the space where the dynamics are linearly propagated using the Koopman operator. An input-affine formulation is considered for the lifted model structure and we address both full and partial state availability. The approach is implemented using the the deepSI toolbox in Python. To lower the computational need of the simulation error-based training, the data is split into subsections where multi-step prediction errors are calculated independently. This formulation allows for efficient batch optimization of the network parameters and, at the same time, excellent long term prediction capabilities of the obtained models. The performance of the approach is illustrated by nonlinear benchmark examples.


title: EdiTTS: Score-based Editing for Controllable Text-to-Speech

abstract: We present EdiTTS, an off-the-shelf speech editing methodology based on score-based generative modeling for text-to-speech synthesis. EdiTTS allows for targeted, granular editing of audio, both in terms of content and pitch, without the need for any additional training, task-specific optimization, or architectural modifications to the score-based model backbone. Specifically, we apply coarse yet deliberate perturbations in the Gaussian prior space to induce desired behavior from the diffusion model while applying masks and softening kernels to ensure that iterative edits are applied only to the target region. Through listening tests and speech-to-text back transcription, we show that EdiTTS outperforms existing baselines and produces robust samples that satisfy user-imposed requirements.


title: Simplicial Convolutional Neural Networks

abstract: Graphs can model networked data by representing them as nodes and their pairwise relationships as edges. Recently, signal processing and neural networks have been extended to process and learn from data on graphs, with achievements in tasks like graph signal reconstruction, graph or node classifications, and link prediction. However, these methods are only suitable for data defined on the nodes of a graph. In this paper, we propose a simplicial convolutional neural network (SCNN) architecture to learn from data defined on simplices, e.g., nodes, edges, triangles, etc. We study the SCNN permutation and orientation equivariance, complexity, and spectral analysis. Finally, we test the SCNN performance for imputing citations on a coauthorship complex.


title: First steps towards the quantum simulation of jet quenching

abstract: The leading order $\alpha_s$ effect in jet quenching corresponds to the broadening of the jet's transverse momentum, due to the multiple interactions with the underlying medium. A complete understanding of momentum broadening is critical for the success of jet quenching phenomenology. In this talk, we introduce a strategy to quantum simulate single particle momentum broadening in a QCD background medium. We argue that it is, in principle, possible to extract the jet quenching parameter $\hat{q}$ from such an algorithm. More importantly, this corresponds to the first step towards simulating full medium induced parton showers, which is far beyond the capabilities of classical computers.


title: Order-Disorder Competitive Cooperation in Equiatomic 3d-Transition-Metal Quaternary Alloys: Phase Stability and Electronic Structure

abstract: We use high-throughput first-principles sampling to investigate competitive factors that determine the crystal structure of high-entropy alloys (HEAs) and the energetics dependence of the stable phase on the atomic configuration of fully ordered L1$_2$, D0$_{22}$, and random solid solution (RSS) phases of equiatomic quaternary alloys comprising four of the six constituent elements (Cr, Mn, Fe, Co, Ni, and Cu). Considering the configurational entropy, we demonstrate that valence electron concentration (VEC) and temperature are crucial to determine the phase stability of HEAs at finite temperatures, wherein the ordered phases are energetically more favorable than RSS phases. Some D0$_{22}$ phases with high VEC are energetically more stable than L1$_2$ phases, though both phases are metastable. Further, we explore magnetic configurations to identify the origin of the enthalpy term. The calculations reveal that ordered phases comprising antiferromagnetic atoms surrounded by ferromagnetic atoms are energetically stable. The quantitative structure--property relationship is also discussed.


title: Hypothesis Testing of One-Sample Mean Vector in Distributed Frameworks

abstract: Distributed frameworks are widely used to handle massive data, where sample size $n$ is very large, and data are often stored in $k$ different machines. For a random vector $X\in \mathbb{R}^p$ with expectation $\mu$, testing the mean vector $H_0: \mu=\mu_0$ vs $H_1: \mu\ne \mu_0$ for a given vector $\mu_0$ is a basic problem in statistics. The centralized test statistics require heavy communication costs, which can be a burden when $p$ or $k$ is large. To reduce the communication cost, distributed test statistics are proposed in this paper for this problem based on the divide and conquer technique, a commonly used approach for distributed statistical inference. Specifically, we extend two commonly used centralized test statistics to the distributed ones, that apply to low and high dimensional cases, respectively. Comparing the power of centralized test statistics and the distributed ones, it is observed that there is a fundamental tradeoff between communication costs and the powers of the tests. This is quite different from the application of the divide and conquer technique in many other problems such as estimation, where the associated distributed statistics can be as good as the centralized ones. Numerical results confirm the theoretical findings.