title: Simulations for Stochastic Geometry on the Performance of V2X Communications in Rural Macrocell Environment

abstract: Vehicle-to-everything (V2X) communications is a concept that has been around for the past decade. It involves communication between vehicles and other types of infrastructure. This application is exceptionally useful for emergency services such as ambulances, fire trucks etc. This is because an emergency vehicle can communicate with the traffic light infrastructure and make it give the green signal thereby allowing vehicle to pass quickly. This is useful because it alerts other cars and pedestrians on the road when an emergency vehicle is present. In this paper, a V2X communications system in an urban setting will be simulated using MATLAB and the Automated Driving Toolbox. The purpose of simulation in MATLAB is to test if vehicle to vehicle communication is affected by buildings and other infrastructure. The first Simulation is constructed using the Automated driving simulator. In this simulation clover highway is constructed and cars are added to mimic a busy highway. The second simulation involves several nodes being programmed in MATLAB and intersecting at various points to simulate an overpass highway. The end goal of this project to successfully simulate a V2X communications system with additional components added within the program to represent additional cars and infrastructure.


title: Spectrometer-free optical hydrogen sensing based on Fano-like spatial distribution of transmission in a metal-insulator-metal plasmonic Doppler grating

abstract: Optical nanosensors are promising for hydrogen sensing because they are small, free from spark generation, and feasible for remote optical readout. Conventional optical nanosensors require broadband excitation and spectrometers, rendering the devices bulky and complex. An alternative is spatial intensity-based optical sensing, which only requires an imaging system and a smartly designed platform to report the spatial distribution of analytical optical signals. Here, we present a spatial intensity-based hydrogen sensing platform based on Fano-like spatial distribution of the transmission in a Pd-Al2O3-Au metal-insulator-metal plasmonic Doppler grating (MIM-PDG). The MIM-PDG manifests the Fano resonance as an asymmetric spatial transmission intensity profile. The absorption of hydrogen changes the spatial Fano-like transmission profiles, which can be analyzed with a "spatial" Fano-resonance model and the extracted Fano resonance parameters can be used to establish analytical calibration lines. While gratings sensitive to hydrogen absorption are suitable for hydrogen sensing, we also found hydrogen insensitive gratings, which provide an unperturbed reference signal and may find applications in nanophotonic devices, that require a stable optical response under fluctuating hydrogen atmosphere. The MIM-PDG platform is a spectrometer-free and intensity-based optical sensor that requires only an imaging system, making it promising for cellphone-based optical sensing applications.


title: MarkerPose: Robust Real-time Planar Target Tracking for Accurate Stereo Pose Estimation

abstract: Despite the attention marker-less pose estimation has attracted in recent years, marker-based approaches still provide unbeatable accuracy under controlled environmental conditions. Thus, they are used in many fields such as robotics or biomedical applications but are primarily implemented through classical approaches, which require lots of heuristics and parameter tuning for reliable performance under different environments. In this work, we propose MarkerPose, a robust, real-time pose estimation system based on a planar target of three circles and a stereo vision system. MarkerPose is meant for high-accuracy pose estimation applications. Our method consists of two deep neural networks for marker point detection. A SuperPoint-like network for pixel-level accuracy keypoint localization and classification, and we introduce EllipSegNet, a lightweight ellipse segmentation network for sub-pixel-level accuracy keypoint detection. The marker's pose is estimated through stereo triangulation. The target point detection is robust to low lighting and motion blur conditions. We compared MarkerPose with a detection method based on classical computer vision techniques using a robotic arm for validation. The results show our method provides better accuracy than the classical technique. Finally, we demonstrate the suitability of MarkerPose in a 3D freehand ultrasound system, which is an application where highly accurate pose estimation is required. Code is available in Python and C++ at https://github.com/jhacsonmeza/MarkerPose.


title: Learning data association without data association: An EM approach to neural assignment prediction

abstract: Data association is a fundamental component of effective multi-object tracking. Current approaches to data-association tend to frame this as an assignment problem relying on gating and distance-based cost matrices, or offset the challenge of data association to a problem of tracking by detection. The latter is typically formulated as a supervised learning problem, and requires labelling information about tracked object identities to train a model for object recognition. This paper introduces an expectation maximisation approach to train neural models for data association, which does not require labelling information. Here, a Sinkhorn network is trained to predict assignment matrices that maximise the marginal likelihood of trajectory observations. Importantly, networks trained using the proposed approach can be re-used in downstream tracking applications.


title: Train tracks, entropy, and the halo of a measured lamination

abstract: Let $\mathcal{L}$ be a measured geodesic lamination on a complete hyperbolic surface of finite area. Assuming $\mathcal{L}$ is not a multicurve, our main result establishes the existence of a geodesic ray which has finite intersection number with $\mathcal{L}$ but is not asymptotic to any leaf of $\mathcal{L}$ nor eventually disjoint from $\mathcal{L}$. In fact, we show that the endpoints of such rays, when lifted to the universal cover $\mathbb{H}^2$ of $X$, give an uncountable set $h\tilde{\mathcal{L}}\subset S^1$ (called the halo of $\tilde{\mathcal{L}}$), which is disjoint from the endpoints of leaves of the lifted lamination $\tilde{\mathcal{L}}$.


title: Discovering Diverse Athletic Jumping Strategies

abstract: We present a framework that enables the discovery of diverse and natural-looking motion strategies for athletic skills such as the high jump. The strategies are realized as control policies for physics-based characters. Given a task objective and an initial character configuration, the combination of physics simulation and deep reinforcement learning (DRL) provides a suitable starting point for automatic control policy training. To facilitate the learning of realistic human motions, we propose a Pose Variational Autoencoder (P-VAE) to constrain the actions to a subspace of natural poses. In contrast to motion imitation methods, a rich variety of novel strategies can naturally emerge by exploring initial character states through a sample-efficient Bayesian diversity search (BDS) algorithm. A second stage of optimization that encourages novel policies can further enrich the unique strategies discovered. Our method allows for the discovery of diverse and novel strategies for athletic jumping motions such as high jumps and obstacle jumps with no motion examples and less reward engineering than prior work.


title: Tensor renormalization group approach to (1+1)-dimensional Hubbard model

abstract: We investigate the metal-insulator transition of the (1+1)-dimensional Hubbard model in the path-integral formalism with the tensor renormalization group method. The critical chemical potential $\mu_{\rm c}$ and the critical exponent $\nu$ are determined from the $\mu$ dependence of the electron density in the thermodynamic limit. Our results for $\mu_{\rm c}$ and $\nu$ show consistency with an exact solution based on the Bethe ansatz. Our encouraging results indicate the applicability of the tensor renormalization group method to the analysis of higher-dimensional Hubbard models.


title: Investigating the Impact of Multi-LiDAR Placement on Object Detection for Autonomous Driving

abstract: The past few years have witnessed an increasing interest in improving the perception performance of LiDARs on autonomous vehicles. While most of the existing works focus on developing new deep learning algorithms or model architectures, we study the problem from the physical design perspective, i.e., how different placements of multiple LiDARs influence the learning-based perception. To this end, we introduce an easy-to-compute information-theoretic surrogate metric to quantitatively and fast evaluate LiDAR placement for 3D detection of different types of objects. We also present a new data collection, detection model training and evaluation framework in the realistic CARLA simulator to evaluate disparate multi-LiDAR configurations. Using several prevalent placements inspired by the designs of self-driving companies, we show the correlation between our surrogate metric and object detection performance of different representative algorithms on KITTI through extensive experiments, validating the effectiveness of our LiDAR placement evaluation approach. Our results show that sensor placement is non-negligible in 3D point cloud-based object detection, which will contribute up to 10% performance discrepancy in terms of average precision in challenging 3D object detection settings. We believe that this is one of the first studies to quantitatively investigate the influence of LiDAR placement on perception performance. The code is available on https://github.com/HanjiangHu/Multi-LiDAR-Placement-for-3D-Detection.


title: Skin3D: Detection and Longitudinal Tracking of Pigmented Skin Lesions in 3D Total-Body Textured Meshes

abstract: We present an automated approach to detect and longitudinally track skin lesions on 3D total-body skin surface scans. The acquired 3D mesh of the subject is unwrapped to a 2D texture image, where a trained objected detection model, Faster R-CNN, localizes the lesions within the 2D domain. These detected skin lesions are mapped back to the 3D surface of the subject and, for subjects imaged multiple times, we construct a graph-based matching procedure to longitudinally track lesions that considers the anatomical correspondences among pairs of meshes and the geodesic proximity of corresponding lesions and the inter-lesion geodesic distances. We evaluated the proposed approach using 3DBodyTex, a publicly available dataset composed of 3D scans imaging the coloured skin (textured meshes) of 200 human subjects. We manually annotated locations that appeared to the human eye to contain a pigmented skin lesion as well as tracked a subset of lesions occurring on the same subject imaged in different poses. Our results, when compared to three human annotators, suggest that the trained Faster R-CNN detects lesions at a similar performance level as the human annotators. Our lesion tracking algorithm achieves an average matching accuracy of 88% on a set of detected corresponding pairs of prominent lesions of subjects imaged in different poses, and an average longitudinal accuracy of 71% when encompassing additional errors due to lesion detection. As there currently is no other large-scale publicly available dataset of 3D total-body skin lesions, we publicly release over 25,000 3DBodyTex manual annotations, which we hope will further research on total-body skin lesion analysis.


title: Vehicle Emissions Prediction with Physics-Aware AI Models: Preliminary Results

abstract: Given an on-board diagnostics (OBD) dataset and a physics-based emissions prediction model, this paper aims to develop an accurate and computational-efficient AI (Artificial Intelligence) method that predicts vehicle emissions. The problem is of societal importance because vehicular emissions lead to climate change and impact human health. This problem is challenging because the OBD data does not contain enough parameters needed by high-order physics models. Conversely, related work has shown that low-order physics models have poor predictive accuracy when using available OBD data. This paper uses a divergent window co-occurrence pattern detection method to develop a spatiotemporal variability-aware AI model for predicting emission values from the OBD datasets. We conducted a case study using real-world OBD data from a local public transportation agency. Results show that the proposed AI method has approximately 65% improved predictive accuracy than a non-AI low-order physics model and is approximately 35% more accurate than a baseline model.


title: Reducing Bus Bunching with Asynchronous Multi-Agent Reinforcement Learning

abstract: The bus system is a critical component of sustainable urban transportation. However, due to the significant uncertainties in passenger demand and traffic conditions, bus operation is unstable in nature and bus bunching has become a common phenomenon that undermines the reliability and efficiency of bus services. Despite recent advances in multi-agent reinforcement learning (MARL) on traffic control, little research has focused on bus fleet control due to the tricky asynchronous characteristic -- control actions only happen when a bus arrives at a bus stop and thus agents do not act simultaneously. In this study, we formulate route-level bus fleet control as an asynchronous multi-agent reinforcement learning (ASMR) problem and extend the classical actor-critic architecture to handle the asynchronous issue. Specifically, we design a novel critic network to effectively approximate the marginal contribution for other agents, in which graph attention neural network is used to conduct inductive learning for policy evaluation. The critic structure also helps the ego agent optimize its policy more efficiently. We evaluate the proposed framework on real-world bus services and actual passenger demand derived from smart card data. Our results show that the proposed model outperforms both traditional headway-based control methods and existing MARL methods.


title: MathBERT: A Pre-Trained Model for Mathematical Formula Understanding

abstract: Large-scale pre-trained models like BERT, have obtained a great success in various Natural Language Processing (NLP) tasks, while it is still a challenge to adapt them to the math-related tasks. Current pre-trained models neglect the structural features and the semantic correspondence between formula and its context. To address these issues, we propose a novel pre-trained model, namely \textbf{MathBERT}, which is jointly trained with mathematical formulas and their corresponding contexts. In addition, in order to further capture the semantic-level structural features of formulas, a new pre-training task is designed to predict the masked formula substructures extracted from the Operator Tree (OPT), which is the semantic structural representation of formulas. We conduct various experiments on three downstream tasks to evaluate the performance of MathBERT, including mathematical information retrieval, formula topic classification and formula headline generation. Experimental results demonstrate that MathBERT significantly outperforms existing methods on all those three tasks. Moreover, we qualitatively show that this pre-trained model effectively captures the semantic-level structural information of formulas. To the best of our knowledge, MathBERT is the first pre-trained model for mathematical formula understanding.


title: SoK: Opportunities for Software-Hardware-Security Codesign for Next Generation Secure Computing

abstract: Users are demanding increased data security. As a result, security is rapidly becoming a first-order design constraint in next generation computing systems. Researchers and practitioners are exploring various security technologies to meet user demand such as trusted execution environments (e.g., Intel SGX, ARM TrustZone), homomorphic encryption, and differential privacy. Each technique provides some degree of security, but differs with respect to threat coverage, performance overheads, as well as implementation and deployment challenges. In this paper, we present a systemization of knowledge (SoK) on these design considerations and trade-offs using several prominent security technologies. Our study exposes the need for \textit{software-hardware-security} codesign to realize efficient and effective solutions of securing user data. In particular, we explore how design considerations across applications, hardware, and security mechanisms must be combined to overcome fundamental limitations in current technologies so that we can minimize performance overhead while achieving sufficient threat model coverage. Finally, we propose a set of guidelines to facilitate putting these secure computing technologies into practice.


title: Subspace Representation Learning for Few-shot Image Classification

abstract: In this paper, we propose a subspace representation learning (SRL) framework to tackle few-shot image classification tasks. It exploits a subspace in local CNN feature space to represent an image, and measures the similarity between two images according to a weighted subspace distance (WSD). When K images are available for each class, we develop two types of template subspaces to aggregate K-shot information: the prototypical subspace (PS) and the discriminative subspace (DS). Based on the SRL framework, we extend metric learning based techniques from vector to subspace representation. While most previous works adopted global vector representation, using subspace representation can effectively preserve the spatial structure, and diversity within an image. We demonstrate the effectiveness of the SRL framework on three public benchmark datasets: MiniImageNet, TieredImageNet and Caltech-UCSD Birds-200-2011 (CUB), and the experimental results illustrate competitive/superior performance of our method compared to the previous state-of-the-art.


title: Propagation dynamics of radially polarized symmetric Airy beams in the fractional Schr\"odinger equation

abstract: We analyze the propagation dynamics of radially polarized symmetric Airy beams (R-SABs) in a (2+1)-dimensional optical system with fractional diffraction, modeled by the fractional Schr\"odinger equation (FSE) characterized by the L\'evy index. The autofocusing effect featured by such beams becomes stronger, while the focal length becomes shorter, with the increase of . The effect of the intrinsic vorticity on the autofocusing dynamics of the beams is considered too. Then, the ability of R-SABs to capture nano-particles by means of radiation forces is explored, and multiple capture positions emerging in the course of the propagation are identified. Finally, we find that the propagation of the vortical R-SABs with an off-axis shift leads to rupture of the ring-shaped pattern of the power-density distribution.


title: AGMB-Transformer: Anatomy-Guided Multi-Branch Transformer Network for Automated Evaluation of Root Canal Therapy

abstract: Accurate evaluation of the treatment result on X-ray images is a significant and challenging step in root canal therapy since the incorrect interpretation of the therapy results will hamper timely follow-up which is crucial to the patients' treatment outcome. Nowadays, the evaluation is performed in a manual manner, which is time-consuming, subjective, and error-prone. In this paper, we aim to automate this process by leveraging the advances in computer vision and artificial intelligence, to provide an objective and accurate method for root canal therapy result assessment. A novel anatomy-guided multi-branch Transformer (AGMB-Transformer) network is proposed, which first extracts a set of anatomy features and then uses them to guide a multi-branch Transformer network for evaluation. Specifically, we design a polynomial curve fitting segmentation strategy with the help of landmark detection to extract the anatomy features. Moreover, a branch fusion module and a multi-branch structure including our progressive Transformer and Group Multi-Head Self-Attention (GMHSA) are designed to focus on both global and local features for an accurate diagnosis. To facilitate the research, we have collected a large-scale root canal therapy evaluation dataset with 245 root canal therapy X-ray images, and the experiment results show that our AGMB-Transformer can improve the diagnosis accuracy from 57.96% to 90.20% compared with the baseline network. The proposed AGMB-Transformer can achieve a highly accurate evaluation of root canal therapy. To our best knowledge, our work is the first to perform automatic root canal therapy evaluation and has important clinical value to reduce the workload of endodontists.


title: Model Checking Quantum Continuous-Time Markov Chains

abstract: Verifying quantum systems has attracted a lot of interests in the last decades. In this paper, we initialised the model checking of quantum continuous-time Markov chain (QCTMC). As a real-time system, we specify the temporal properties on QCTMC by signal temporal logic (STL). To effectively check the atomic propositions in STL, we develop a state-of-art real root isolation algorithm under Schanuel's conjecture; further, we check the general STL formula by interval operations with a bottom-up fashion, whose query complexity turns out to be linear in the size of the input formula by calling the real root isolation algorithm. A running example of an open quantum walk is provided to demonstrate our method.


title: On Row-Factorization relations of certain numerical semigroups

abstract: Let $H$ be a numerical semigroup minimally generated by an almost arithmetic sequence. We give a description of a possible row-factorization $(\RF)$ matrix for each pseudo-Frobenius element of $H.$ Further, when $H$ is symmetric and has embedding dimension 4 or 5, we prove that the defining ideal is minimally generated by $\RF$-relations.


title: A Systematic Review of Security in the LoRaWAN Network Protocol

abstract: The age of the Internet of Things is adding an increasing number of new devices to the Internet and is expected to have fifty billion connected units by 2021. These form an extensive network that may have multiple points where there is a risk of attacks that can compromise the entire system. This paper has conducted a systematic review of security in LoRaWAN protocol specification versions 1.0 and 1.1 by locating its vulnerabilities and determining what measures can be taken for improvement and how they can be checked or tested. The review identifies nineteen areas of vulnerability in the LoRaWAN protocol and shows that the current studies focus on specification version 1.0, key management, and authentication procedures.


title: pyBKT: An Accessible Python Library of Bayesian Knowledge Tracing Models

abstract: Bayesian Knowledge Tracing, a model used for cognitive mastery estimation, has been a hallmark of adaptive learning research and an integral component of deployed intelligent tutoring systems (ITS). In this paper, we provide a brief history of knowledge tracing model research and introduce pyBKT, an accessible and computationally efficient library of model extensions from the literature. The library provides data generation, fitting, prediction, and cross-validation routines, as well as a simple to use data helper interface to ingest typical tutor log dataset formats. We evaluate the runtime with various dataset sizes and compare to past implementations. Additionally, we conduct sanity checks of the model using experiments with simulated data to evaluate the accuracy of its EM parameter learning and use real-world data to validate its predictions, comparing pyBKT's supported model variants with results from the papers in which they were originally introduced. The library is open source and open license for the purpose of making knowledge tracing more accessible to communities of research and practice and to facilitate progress in the field through easier replication of past approaches.


title: Images of Linear Derivations and Linear E-derivations of K[x 1 ,x 2 ,x 3 ]

abstract: Let K be a field of characteristic zero. We prove that images of a linear K-derivation and a linear K-E-derivation of the ring K[x 1 ,x 2 ,x 3 ] of polynomial in three variables over K are Mathieu-Zhao subspaces, which affirms the LFED conjecture for linear K-derivations and linear K-E-derivations of K[x 1 ,x 2 ,x 3 ].


title: High-energy magnetic excitations from heavy quasiparticles in CeCu$_2$Si$_2$

abstract: Magnetic fluctuations is the leading candidate for pairing in cuprate, iron-based and heavy fermion superconductors. This view is challenged by the recent discovery of nodeless superconductivity in CeCu$_2$Si$_2$, and calls for a detailed understanding of the corresponding magnetic fluctuations. Here, we mapped out the magnetic excitations in \ys{superconducting (S-type)} CeCu$_2$Si$_2$ using inelastic neutron scattering, finding a strongly asymmetric dispersion for $E\lesssim1.5$~meV, which at higher energies evolve into broad columnar magnetic excitations that extend to $E\gtrsim 5$ meV. While low-energy magnetic excitations exhibit marked three-dimensional characteristics, the high-energy magnetic excitations in CeCu$_2$Si$_2$ are almost two-dimensional, reminiscent of paramagnons found in cuprate and iron-based superconductors. By comparing our experimental findings with calculations in the random-phase approximation,we find that the magnetic excitations in CeCu$_2$Si$_2$ arise from quasiparticles associated with its heavy electron band, which are also responsible for superconductivity. Our results provide a basis for understanding magnetism and superconductivity in CeCu$_2$Si$_2$, and demonstrate the utility of neutron scattering in probing band renormalization in heavy fermion metals.


title: Billion-scale Pre-trained E-commerce Product Knowledge Graph Model

abstract: In recent years, knowledge graphs have been widely applied to organize data in a uniform way and enhance many tasks that require knowledge, for example, online shopping which has greatly facilitated people's life. As a backbone for online shopping platforms, we built a billion-scale e-commerce product knowledge graph for various item knowledge services such as item recommendation. However, such knowledge services usually include tedious data selection and model design for knowledge infusion, which might bring inappropriate results. Thus, to avoid this problem, we propose a Pre-trained Knowledge Graph Model (PKGM) for our billion-scale e-commerce product knowledge graph, providing item knowledge services in a uniform way for embedding-based models without accessing triple data in the knowledge graph. Notably, PKGM could also complete knowledge graphs during servicing, thereby overcoming the common incompleteness issue in knowledge graphs. We test PKGM in three knowledge-related tasks including item classification, same item identification, and recommendation. Experimental results show PKGM successfully improves the performance of each task.


title: Multi-Robot Coordination and Planning in Uncertain and Adversarial Environments

abstract: Deploying a team of robots that can carefully coordinate their actions can make the entire system robust to individual failures. In this report, we review recent algorithmic development in making multi-robot systems robust to environmental uncertainties, failures, and adversarial attacks. We find the following three trends in the recent research in the area of multi-robot coordination: (1) resilient coordination to either withstand failures and/or attack or recover from failures/attacks; (2) risk-aware coordination to manage the trade-off risk and reward, where the risk stems due to environmental uncertainty; (3) Graph Neural Networks based coordination to learn decentralized multi-robot coordination policies. These algorithms have been applied to tasks such as formation control, task assignment and scheduling, search and planning, and informative data collection. In order for multi-robot systems to become practical, we need coordination algorithms that can scale to large teams of robots dealing with dynamically changing, failure-prone, contested, and uncertain environments. There has been significant recent research on multi-robot coordination that has contributed resilient and risk-aware algorithms to deal with these issues and reduce the gap between theory and practice. Learning-based approaches have been seen to be promising, especially since they can learn who, when, and how to communicate for effective coordination. However, these algorithms have also been shown to be vulnerable to adversarial attacks, and as such developing learning-based coordination strategies that are resilient to such attacks and robust to uncertainties is an important open area of research.


title: Asymptotic behaviors of incompressible Schr\"{o}dinger flow for small data in three dimensions

abstract: The incompressible Schr\"odinger flow is a Madelung's hydrodynamical form of quantum mechanics, which can simulate classical fluids with particular advantage in its simplicity and its ability of capturing thin vortex dynamics. This model enables robust simulation of intricate phenomena such as vortical wakes and interacting vortex filaments. In this article, we prove the global regularity and asymptotic behaviors for incompressible Schr\"odinger flow with small and localized data in three dimensions. We choose a suitable gauge to rewrite the system, and then use Fourier analysis and vector fields method to prove global existence and asymptotic behaviors.


title: Spinner: Automated Dynamic Command Subsystem Perturbation

abstract: Injection attacks have been a major threat to web applications. Despite the significant effort in thwarting injection attacks, protection against injection attacks remains challenging due to the sophisticated attacks that exploit the existing protection techniques' design and implementation flaws. In this paper, we develop Spinner, a system that provides general protection against input injection attacks, including OS/shell command, SQL, and XXE injection. Instead of focusing on detecting malicious inputs, Spinner constantly randomizes underlying subsystems so that injected inputs (e.g., commands or SQL queries) that are not properly randomized will not be executed, hence prevented. We revisit the design and implementation choices of previous randomization-based techniques and develop a more robust and practical protection against various sophisticated input injection attacks. To handle complex real-world applications, we develop a bidirectional analysis that combines forward and backward static analysis techniques to identify intended commands or SQL queries to ensure the correct execution of the randomized target program. We implement Spinner for the shell command processor and two different database engines (MySQL and SQLite) and in diverse programming languages including C/C++, PHP, JavaScript and Lua. Our evaluation results on 42 real-world applications including 27 vulnerable ones show that it effectively prevents a variety of input injection attacks with low runtime overhead (around 5%).


title: General Implicit Iterative Method for Unified Gas-kinetic Scheme

abstract: In order to further enhance the computational efficiency of the implicit unified gas-kinetic scheme (IUGKS, JCP 315 (2016) 16-38) for multi-scale flow simulation, a two-step IUGKS is proposed in this paper. The multiscale solution of the UGKS is determined by the integral solution of the kinetic model equation, which is composed of the Lagrangian integration of the equilibrium and the free particle transport of the nonequilibrium state. With the implicit evaluation of the macroscopic variables in the first iterative step, the integration of the equilibrium can be directly used in the flux calculation of macroscopic flow variables in the second iterative step. This is equivalent to include the viscous flux in the implicit scheme to accelerate the convergence of the solution instead of using the Euler flux in the iterative process of the original IUGKS. In the present IUGKS, the update of macroscopic flow variables are closely coupled with the implicit evolution of the gas distribution function. At the same time, in order to get the more accurate solution, the full Boltzmann collision term is incorporated into the current scheme through the penalty method. Different iterative techniques, such as LU-SGS and multi-grid, are used for solving the linear algebraic system of coupled macroscopic and microscopic equations. The efficiency of the IUGKS has reached a favorable level among all implicit schemes for the kinetic equations in the literature. Several numerical examples are used to validate the performance of the IUGKS. Accurate solutions have been obtained efficiently in all flow regimes from low speed to hypersonic ones.


title: Directional FDR Control for Sub-Gaussian Sparse GLMs

abstract: High-dimensional sparse generalized linear models (GLMs) have emerged in the setting that the number of samples and the dimension of variables are large, and even the dimension of variables grows faster than the number of samples. False discovery rate (FDR) control aims to identify some small number of statistically significantly nonzero results after getting the sparse penalized estimation of GLMs. Using the CLIME method for precision matrix estimations, we construct the debiased-Lasso estimator and prove the asymptotical normality by minimax-rate oracle inequalities for sparse GLMs. In practice, it is often needed to accurately judge each regression coefficient's positivity and negativity, which determines whether the predictor variable is positively or negatively related to the response variable conditionally on the rest variables. Using the debiased estimator, we establish multiple testing procedures. Under mild conditions, we show that the proposed debiased statistics can asymptotically control the directional (sign) FDR and directional false discovery variables at a pre-specified significance level. Moreover, it can be shown that our multiple testing procedure can approximately achieve a statistical power of 1. We also extend our methods to the two-sample problems and propose the two-sample test statistics. Under suitable conditions, we can asymptotically achieve directional FDR control and directional FDV control at the specified significance level for two-sample problems. Some numerical simulations have successfully verified the FDR control effects of our proposed testing procedures, which sometimes outperforms the classical knockoff method.


title: Coherent states in the symmetric gauge for graphene under a constant perpendicular magnetic field

abstract: In this work we describe semiclassical states in graphene under a constant perpendicular magnetic field by constructing coherent states in the Barut-Girardello sense. Since we want to keep track of the angular momentum, the use of the symmetric gauge and polar coordinates seemed the most logical choice. Different classes of coherent states are obtained by means of the underlying algebra system, which consists of the direct sum of two Heisenberg-Weyl algebras. The most interesting cases are a kind of partial coherent states and the coherent states with a well-defined total angular momentum.

categories: cond-mat.mes-hall math-ph math.MP quant-ph


title: AirMixML: Over-the-Air Data Mixup for Inherently Privacy-Preserving Edge Machine Learning

abstract: Wireless channels can be inherently privacy-preserving by distorting the received signals due to channel noise, and superpositioning multiple signals over-the-air. By harnessing these natural distortions and superpositions by wireless channels, we propose a novel privacy-preserving machine learning (ML) framework at the network edge, coined over-the-air mixup ML (AirMixML). In AirMixML, multiple workers transmit analog-modulated signals of their private data samples to an edge server who trains an ML model using the received noisy-and superpositioned samples. AirMixML coincides with model training using mixup data augmentation achieving comparable accuracy to that with raw data samples. From a privacy perspective, AirMixML is a differentially private (DP) mechanism limiting the disclosure of each worker's private sample information at the server, while the worker's transmit power determines the privacy disclosure level. To this end, we develop a fractional channel-inversion power control (PC) method, {\alpha}-Dirichlet mixup PC (DirMix({\alpha})-PC), wherein for a given global power scaling factor after channel inversion, each worker's local power contribution to the superpositioned signal is controlled by the Dirichlet dispersion ratio {\alpha}. Mathematically, we derive a closed-form expression clarifying the relationship between the local and global PC factors to guarantee a target DP level. By simulations, we provide DirMix({\alpha})-PC design guidelines to improve accuracy, privacy, and energy-efficiency. Finally, AirMixML with DirMix({\alpha})-PC is shown to achieve reasonable accuracy compared to a privacy-violating baseline with neither superposition nor PC.


title: Magnetic textures in a hexaferrite thin film and their response to magnetic fields revealed by phase microscopy

abstract: We investigated magnetic textures in a Sc-doped hexaferrite film by means of phase microscopy (PM) with a hole-free phase plate in a transmission electron microscope. In a zero magnetic field, the stripe-shaped magnetic domains coexist with magnetic bubbles. The magnetization in both magnetic domains was oriented perpendicular to the film and the domain walls have an in-plane magnetization. In the remnant state at 9.2 mT, several magnetic bubbles were formed with the formation of stripe-shaped magnetic domains, and the out-of-plane component in the stripe-shaped domains gradually appeared as the film thickness increased. As the film thickness increases further, the magnetic bubbles with clockwise or counter-clockwise spin helicities formed a triangular lattice. These results in the remnant state suggest that the domain wall energy in the magnetic bubble domains is lower in the thicker region.


title: OR-Net: Pointwise Relational Inference for Data Completion under Partial Observation

abstract: Contemporary data-driven methods are typically fed with full supervision on large-scale datasets which limits their applicability. However, in the actual systems with limitations such as measurement error and data acquisition problems, people usually obtain incomplete data. Although data completion has attracted wide attention, the underlying data pattern and relativity are still under-developed. Currently, the family of latent variable models allows learning deep latent variables over observed variables by fitting the marginal distribution. As far as we know, current methods fail to perceive the data relativity under partial observation. Aiming at modeling incomplete data, this work uses relational inference to fill in the incomplete data. Specifically, we expect to approximate the real joint distribution over the partial observation and latent variables, thus infer the unseen targets respectively. To this end, we propose Omni-Relational Network (OR-Net) to model the pointwise relativity in two aspects: (i) On one hand, the inner relationship is built among the context points in the partial observation; (ii) On the other hand, the unseen targets are inferred by learning the cross-relationship with the observed data points. It is further discovered that the proposed method can be generalized to different scenarios regardless of whether the physical structure can be observed or not. It is demonstrated that the proposed OR-Net can be well generalized for data completion tasks of various modalities, including function regression, image completion on MNIST and CelebA datasets, and also sequential motion generation conditioned on the observed poses.


title: A LiDAR Assisted Control Module with High Precision in Parking Scenarios for Autonomous Driving Vehicle

abstract: Autonomous driving has been quite promising in recent years. The public has seen Robotaxi delivered by Waymo, Baidu, Cruise, and so on. While autonomous driving vehicles certainly have a bright future, we have to admit that it is still a long way to go for products such as Robotaxi. On the other hand, in less complex scenarios autonomous driving may have the potentiality to reliably outperform humans. For example, humans are good at interactive tasks (while autonomous driving systems usually do not), but we are often incompetent for tasks with strict precision demands. In this paper, we introduce a real-world, industrial scenario of which human drivers are not capable. The task required the ego vehicle to keep a stationary lateral distance (i.e. 3? <= 5 centimeters) with respect to a reference. To address this challenge, we redesigned the control module from Baidu Apollo open-source autonomous driving system. A precise (3? <= 2 centimeters) Error Feedback System was first built to partly replace the localization module. Then we investigated the control module thoroughly and added a real-time calibration algorithm to gain extra precision. We also built a simulation to fine-tune the control parameters. After all those works, the results are encouraging, showing that an end-to-end lateral precision with 3? <= 5 centimeters has been achieved. Further, we show that the results not only outperformed original Apollo modules but also beat specially trained and highly experienced human test drivers.


title: Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic

abstract: We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established. Namely, we obtain a method to determine if two morphisms are equal up to a certain equivalence.


title: Model discovery in the sparse sampling regime

abstract: To improve the physical understanding and the predictions of complex dynamic systems, such as ocean dynamics and weather predictions, it is of paramount interest to identify interpretable models from coarsely and off-grid sampled observations. In this work, we investigate how deep learning can improve model discovery of partial differential equations when the spacing between sensors is large and the samples are not placed on a grid. We show how leveraging physics informed neural network interpolation and automatic differentiation, allow to better fit the data and its spatiotemporal derivatives, compared to more classic spline interpolation and numerical differentiation techniques. As a result, deep learning-based model discovery allows to recover the underlying equations, even when sensors are placed further apart than the data's characteristic length scale and in the presence of high noise levels. We illustrate our claims on both synthetic and experimental data sets where combinations of physical processes such as (non)-linear advection, reaction, and diffusion are correctly identified.


title: Generation and frame characteristics of predefined evenly-distributed class centroids for pattern classification

abstract: Predefined evenly-distributed class centroids (PEDCC) can be widely used in models and algorithms of pattern classification, such as CNN classifiers, classification autoencoders, clustering, and semi-supervised learning, etc. Its basic idea is to predefine the class centers, which are evenly-distributed on the unit hypersphere in feature space, to maximize the inter-class distance. The previous method of generating PEDCC uses an iterative algorithm based on a charge model, that is, the initial values of various centers (charge positions) are randomly set from the normal distribution, and the charge positions are updated iteratively with the help of the repulsive force between charges of the same polarity. The class centers generated by the algorithm will produce some errors with the theoretically evenly-distributed points, and the generation time will be longer. This paper takes advantage of regular polyhedron in high-dimensional space and the evenly distribution of points on the n dimensional hypersphere to generate PEDCC mathematically. Then, we discussed the basic and extensive characteristics of the frames formed by PEDCC. Finally, experiments show that new algorithm is not only faster than the iterative method, but also more accurate in position. The mathematical analysis and experimental results of this paper can provide a theoretical tool for using PEDCC to solve the key problems in the field of pattern recognition, such as interpretable supervised/unsupervised learning, incremental learning, uncertainty analysis and so on.


title: AG-CUResNeSt: A Novel Method for Colon Polyp Segmentation

abstract: Colorectal cancer is among the most common malignancies and can develop from high-risk colon polyps. Colonoscopy is an effective screening tool to detect and remove polyps, especially in the case of precancerous lesions. However, the missing rate in clinical practice is relatively high due to many factors. The procedure could benefit greatly from using AI models for automatic polyp segmentation, which provide valuable insights for improving colon polyp detection. However, precise segmentation is still challenging due to variations of polyps in size, shape, texture, and color. This paper proposes a novel neural network architecture called AG-CUResNeSt, which enhances Coupled UNets using the robust ResNeSt backbone and attention gates. The network is capable of effectively combining multi-level features to yield accurate polyp segmentation. Experimental results on five popular benchmark datasets show that our proposed method achieves state-of-the-art accuracy compared to existing methods.


title: Intelligent Conversational Android ERICA Applied to Attentive Listening and Job Interview

abstract: Following the success of spoken dialogue systems (SDS) in smartphone assistants and smart speakers, a number of communicative robots are developed and commercialized. Compared with the conventional SDSs designed as a human-machine interface, interaction with robots is expected to be in a closer manner to talking to a human because of the anthropomorphism and physical presence. The goal or task of dialogue may not be information retrieval, but the conversation itself. In order to realize human-level "long and deep" conversation, we have developed an intelligent conversational android ERICA. We set up several social interaction tasks for ERICA, including attentive listening, job interview, and speed dating. To allow for spontaneous, incremental multiple utterances, a robust turn-taking model is implemented based on TRP (transition-relevance place) prediction, and a variety of backchannels are generated based on time frame-wise prediction instead of IPU-based prediction. We have realized an open-domain attentive listening system with partial repeats and elaborating questions on focus words as well as assessment responses. It has been evaluated with 40 senior people, engaged in conversation of 5-7 minutes without a conversation breakdown. It was also compared against the WOZ setting. We have also realized a job interview system with a set of base questions followed by dynamic generation of elaborating questions. It has also been evaluated with student subjects, showing promising results.


title: A Joint Design for STAR-RIS enhanced NOMA-CoMP Networks: A Simultaneous-Signal-Enhancement-and-Cancellation-based (SSECB) Design

abstract: In this correspondence, a novel simultaneous transmitting and reflecting (STAR) reconfigurable intelligent surfaces (RISs) design is proposed in a non-orthogonal multiple access (NOMA) enhanced coordinated multi-point transmission (CoMP) network. Based on the insights of signal-enhancement-based (SEB) and signal-cancellation-based (SCB) designs, we propose a novel simultaneous-signal-enhancement-and-cancellation-based (SSECB) design, where the inter-cell interferences and desired signals can be simultaneously eliminated and boosted. Our simulation results demonstrate that: i) the inter-cell interference can be perfectly eliminated, and the desired signals can be enhanced simultaneously with the aid of a large number of RIS elements; ii) the proposed SSECB design is capable of outperforming the conventional SEB and SCB designs.


title: PAN++: Towards Efficient and Accurate End-to-End Spotting of Arbitrarily-Shaped Text

abstract: Scene text detection and recognition have been well explored in the past few years. Despite the progress, efficient and accurate end-to-end spotting of arbitrarily-shaped text remains challenging. In this work, we propose an end-to-end text spotting framework, termed PAN++, which can efficiently detect and recognize text of arbitrary shapes in natural scenes. PAN++ is based on the kernel representation that reformulates a text line as a text kernel (central region) surrounded by peripheral pixels. By systematically comparing with existing scene text representations, we show that our kernel representation can not only describe arbitrarily-shaped text but also well distinguish adjacent text. Moreover, as a pixel-based representation, the kernel representation can be predicted by a single fully convolutional network, which is very friendly to real-time applications. Taking the advantages of the kernel representation, we design a series of components as follows: 1) a computationally efficient feature enhancement network composed of stacked Feature Pyramid Enhancement Modules (FPEMs); 2) a lightweight detection head cooperating with Pixel Aggregation (PA); and 3) an efficient attention-based recognition head with Masked RoI. Benefiting from the kernel representation and the tailored components, our method achieves high inference speed while maintaining competitive accuracy. Extensive experiments show the superiority of our method. For example, the proposed PAN++ achieves an end-to-end text spotting F-measure of 64.9 at 29.2 FPS on the Total-Text dataset, which significantly outperforms the previous best method. Code will be available at: https://git.io/PAN.


title: Divergence Scaling for Distribution Matching

abstract: Distribution matchers for finite alphabets are shown to have informational divergences that grow logarithmically with the block length, generalizing a basic result for binary strings.


title: Fractal necklaces with no cut points

abstract: The fractal necklaces in R^d (d>1) introduced in this paper are a class of connected fractal sets generated by the so-called necklace IFSs, for which a lot of basic topology questions are interesting. We give two subclasses of fractal necklaces and prove that every necklace in these two classes has no cut points. Also, we prove that every stable self-similar necklace in R^2 has no cut points, whilst an analog for self-affine necklaces is false.


title: A structured proof of Kolmogorov's Superposition Theorem

abstract: We present a well-structured detailed exposition of a well-known proof of the following celebrated result solving Hilbert's 13th problem on superpositions. For functions of 2 variables the statement is as follows. Kolmogorov Theorem. There are continuous functions $\varphi_1,\ldots,\varphi_5 : [\,0, 1\,]\to [\,0,1\,]$ such that for any continuous function $f: [\,0,1\,]^2\to\mathbb R$ there is a continuous function $h: [\,0,3\,]\to\mathbb R$ such that for any $x,y\in [\,0, 1\,]$ we have $$f(x,y)=\sum\limits_{k=1}^5 h\left(\varphi_k(x)+\sqrt{2}\,\varphi_k(y)\right).$$ The proof is accessible to non-specialists, in particular, to students familiar with only basic properties of continuous functions.


title: Feedback control of event cameras

abstract: Dynamic vision sensor event cameras produce a variable data rate stream of brightness change events. Event production at the pixel level is controlled by threshold, bandwidth, and refractory period bias current parameter settings. Biases must be adjusted to match application requirements and the optimal settings depend on many factors. As a first step towards automatic control of biases, this paper proposes fixed-step feedback controllers that use measurements of event rate and noise. The controllers regulate the event rate within an acceptable range using threshold and refractory period control, and regulate noise using bandwidth control. Experiments demonstrate model validity and feedback control.


title: GRBs luminosity function synthesized from \textit{Swift/BAT}, \textit{Fermi/GBM} and \textit{Konus-Wind} data

abstract: We study the luminosity function of long gamma-ray bursts (LGRBs) using the peak flux obtained from three LGRB samples with known redshifts: (a) a sample of 251 LGRBs from the \textit{Swift/BAT} satellite/instrument; (b) a sample of 37 LGRBs from the \textit{Fermi/GBM} telescope; (c) a sample of 152 GRBs from the \textit{Konus-Wind} instrument. For the \textit{Swift/BAT} and \textit{Fermi/GBM} samples, we use data available on the Swift Burst Analyser websites (\url{http://www.swift.ac.uk/burst_analyser}; \citep{Evans:2010}) and (\url{http://swift.gsfc.nasa.gov/archive/grb/table/}) and on the Fermi website (\url{https://heasarc.gsfc.nasa.gov/}\url{W3Browse /fermi /fermigbrst.html}; \citep{{Gruber_2014}, {von_Kienlin_2014}, {Bhat_2016}}) to calculate the luminosity at the peak of the flux by using a cut-off power-law spectrum (CPL). For the \textit{Konus-Wind} sample, we use the Yonetoku correlation relationship \citep{Yonetoku:2010} to determine the isotropic luminosity from the energy at the peak of the flux measured in the source frame \citep{Minaev:2019}. With these three samples (totalling 439 GRBs), we use the Monte Carlo method to synthesize 10,000 "artificial" GRBs similar to each real GRB by considering that each physical quantity observed obeys a normal distribution, where the tabulated value and uncertainty represent the mean and the $3\sigma$ error. The results obtained for the luminosity function from our data samples are consistent with those published in previous works.


title: A Transient Coronal Sigmoid in Active Region NOAA 11909: Build-up Phase, M-class Eruptive Flare, and Associated Fast Coronal Mass Ejection

abstract: In this article, we investigate the formation and disruption of a coronal sigmoid from the active region (AR) NOAA 11909 on 07 December 2013, by analyzing multi-wavelength and multi-instrument observations. Our analysis suggests that the formation of `transient' sigmoid initiated $\approx$1 hour before its eruption through a coupling between two twisted coronal loop systems. A comparison between coronal and photospheric images suggests that the coronal sigmoid was formed over a simple $\beta$-type AR which also possessed dispersed magnetic field structure in the photosphere. The line-of-sight photospheric magnetograms also reveal moving magnetic features, small-scale flux cancellation events near the PIL, and overall flux cancellation during the extended pre-eruption phase which suggest the role of tether-cutting reconnection toward the build-up of the flux rope. The disruption of the sigmoid proceeded with a two-ribbon eruptive M1.2 flare (SOL2013-12-07T07:29). In radio frequencies, we observe type III and type II bursts in meter wavelengths during the impulsive phase of the flare. The successful eruption of the flux rope leads to a fast coronal mass ejection (with a linear speed of $\approx$1085 km s -1 ) in SOHO/LASCO field-of-view. During the evolution of the flare, we clearly observe typical "sigmoid-to-arcade" transformation. Prior to the onset of the impulsive phase of the flare, flux rope undergoes a slow rise ($\approx$15 km s -1 ) which subsequently transitions into a fast eruption ($\approx$110 km s -1 ). The two-phase evolution of the flux rope shows temporal associations with the soft X-ray precursor and impulsive phase emissions of the M-class flare, respectively, thus pointing toward a feedback relationship between magnetic reconnection and early CME dynamics.


title: TE-ESN: Time Encoding Echo State Network for Prediction Based on Irregularly Sampled Time Series Data

abstract: Prediction based on Irregularly Sampled Time Series (ISTS) is of wide concern in the real-world applications. For more accurate prediction, the methods had better grasp more data characteristics. Different from ordinary time series, ISTS is characterised with irregular time intervals of intra-series and different sampling rates of inter-series. However, existing methods have suboptimal predictions due to artificially introducing new dependencies in a time series and biasedly learning relations among time series when modeling these two characteristics. In this work, we propose a novel Time Encoding (TE) mechanism. TE can embed the time information as time vectors in the complex domain. It has the the properties of absolute distance and relative distance under different sampling rates, which helps to represent both two irregularities of ISTS. Meanwhile, we create a new model structure named Time Encoding Echo State Network (TE-ESN). It is the first ESNs-based model that can process ISTS data. Besides, TE-ESN can incorporate long short-term memories and series fusion to grasp horizontal and vertical relations. Experiments on one chaos system and three real-world datasets show that TE-ESN performs better than all baselines and has better reservoir property.


title: Rings with finite n-Weak injective dimension and (n,k)-Weak cotorsion modules

abstract: Let R be a ring and n,k be two non-negative integers. As an extension of several known notions, we introduce and study (n,k)-weak cotorsion modules using the class of right R-modules with n-weak flat dimensions at most k. Various examples and applications are also given.


title: Predicting highly correlated hydride-ion diffusion in SrTiO$_3$ crystals based on the fragment kinetic Monte Carlo method with machine-learning potential

abstract: Oxyhydrides have drawn attention because of their fast ion conductivity and strong reducing properties. Recently, hydride ion migration in SrTiO$_{3-x}$H$_{x}$ oxyhydride crystals has been investigated, showing that hydride ion migration is blocked by slow oxygen diffusion. In this study, we investigate the hydride-ion migration mechanism using a kinetic Monte Carlo approach to understanding the relationship between the hydride and oxygen ions. The difficulties in applying the method to hydride and oxygen ion migration involve complex changes in the ionic migration barrier, which shifts dynamically depending on the characteristics of the surrounding hydride and oxygen ions. We can predict these complex changes using a machine-learning neural network model. The simulation can then be performed using this model to predict the temperature-dependent ionic-migration behavior. We found that our simulation results with respect to the activation barrier for hydride ion diffusion accorded well with those obtained by experiment. We also found that hydride ion migration is affected by slow oxygen diffusion and that oxygen diffusion is accelerated by changes in the ionic migration barriers. The parallel-processing efficiency of our proposed method was 84.92 \% for our 1,000-CPU implementation, suggesting that the approach should be widely applicable to simulations of ionic migration in crystals at a reasonable computational cost.


title: Skolem's conjecture confirmed for a family of exponential equations, II

abstract: According to Skolem's conjecture, if an exponential Diophantine equation is not solvable, then it is not solvable modulo an appropriately chosen modulus. Besides several concrete equations, the conjecture has only been proved for rather special cases. In this paper we prove the conjecture for equations of the form $x^n-by_1^{k_1}\dots y_\ell^{k_\ell}=\pm 1$, where $b,x,y_1,\dots,y_\ell$ are fixed integers and $n,k_1,\dots,k_\ell$ are non-negative integral unknowns. This result extends a recent theorem of Hajdu and Tijdeman.


title: Selective Inference in Propensity Score Analysis

abstract: Selective inference (post-selection inference) is a methodology that has attracted much attention in recent years in the fields of statistics and machine learning. Naive inference based on data that are also used for model selection tends to show an overestimation, and so the selective inference conditions the event that the model was selected. In this paper, we develop selective inference in propensity score analysis with a semiparametric approach, which has become a standard tool in causal inference. Specifically, for the most basic causal inference model in which the causal effect can be written as a linear sum of confounding variables, we conduct Lasso-type variable selection by adding an $\ell_1$ penalty term to the loss function that gives a semiparametric estimator. Confidence intervals are then given for the coefficients of the selected confounding variables, conditional on the event of variable selection, with asymptotic guarantees. An important property of this method is that it does not require modeling of nonparametric regression functions for the outcome variables, as is usually the case with semiparametric propensity score analysis.


title: Formalizing Stack Safety as a Security Property

abstract: The term stack safety is used to describe a variety of compiler, run-time, and hardware mechanisms for protecting stack memory. Unlike "the heap," the ISA-level stack does not correspond to a single high-level language concept: different compilers use it in different ways to support procedural and functional abstraction mechanisms from a wide range of languages. This protean nature makes it difficult to nail down what it means to correctly enforce stack safety. We propose a new formal characterization of stack safety using concepts from language-based security. Rather than treating stack safety as a monolithic property, we decompose it into an integrity property and a confidentiality property for each of the caller and the callee, plus a control-flow property: five properties in all. This formulation is motivated by a particular class of enforcement mechanisms, the "lazy" stack safety micro-policies studied by Roessler and DeHon, which permit functions to write into one another's frames but taint the changed locations so that the frame's owner cannot access them. No existing characterization of stack safety captures this style of safety; we capture it here by stating our properties in terms of the observable behavior of the system. Our properties go further than previous formal definitions of stack safety, supporting caller- and callee-saved registers, arguments passed on the stack, and tail-call elimination. We validate the properties by using them to distinguish between correct and incorrect implementations of Roessler and DeHon's micro-policies using property-based random testing. Our test harness successfully identifies several broken variants, including Roessler and DeHon's lazy policy; a repaired version of their policy passes our tests.


title: QuNet: Cost vector analysis & multi-path entanglement routing in quantum networks

abstract: Entanglement distribution will form the backbone of many future distributed quantum technologies, especially the quantum internet. The act of purifying multiple noisy entangled states into a single one of higher quality has no analogue in classical networking and as such, this transforms the way in which we will consider future algorithms for routing entanglement. We outline the differences that arise because of this, demonstrate some elementary formalisms for `multi-path entanglement routing', and discuss the philosophical differences that arise when comparing this regime to conventional digital network theory. We also present a software package, QuNet, that uses novel `quantum cost-vector analysis' to simulate and benchmark routing in multi-user entanglement networks in a way that is is highly scalable in network size and the number of competing users. Our software accommodates both ground- and space-based networks, and implements efficient multi-user time-optimisation for mitigating congestion when quantum memories are available.


title: Graph Vulnerability and Robustness: A Survey

abstract: The study of network robustness is a critical tool in the characterization and sense making of complex interconnected systems such as infrastructure, communication and social networks. While significant research has been conducted in all of these areas, gaps in the surveying literature still exist. Answers to key questions are currently scattered across multiple scientific fields and numerous papers. In this survey, we distill key findings across numerous domains and provide researchers crucial access to important information by--(1) summarizing and comparing recent and classical graph robustness measures; (2) exploring which robustness measures are most applicable to different categories of networks (e.g., social, infrastructure; (3) reviewing common network attack strategies, and summarizing which attacks are most effective across different network topologies; and (4) extensive discussion on selecting defense techniques to mitigate attacks across a variety of networks. This survey guides researchers and practitioners in navigating the expansive field of network robustness, while summarizing answers to key questions. We conclude by highlighting current research directions and open problems.


title: Paradiseo: From a Modular Framework for Evolutionary Computation to the Automated Design of Metaheuristics ---22 Years of Paradiseo---

abstract: The success of metaheuristic optimization methods has led to the development of a large variety of algorithm paradigms. However, no algorithm clearly dominates all its competitors on all problems. Instead, the underlying variety of landscapes of optimization problems calls for a variety of algorithms to solve them efficiently. It is thus of prior importance to have access to mature and flexible software frameworks which allow for an efficient exploration of the algorithm design space. Such frameworks should be flexible enough to accommodate any kind of metaheuristics, and open enough to connect with higher-level optimization, monitoring and evaluation softwares. This article summarizes the features of the ParadisEO framework, a comprehensive C++ free software which targets the development of modular metaheuristics. ParadisEO provides a highly modular architecture, a large set of components, speed of execution and automated algorithm design features, which are key to modern approaches to metaheuristics development.


title: A survey on VQA_Datasets and Approaches

abstract: Visual question answering (VQA) is a task that combines both the techniques of computer vision and natural language processing. It requires models to answer a text-based question according to the information contained in a visual. In recent years, the research field of VQA has been expanded. Research that focuses on the VQA, examining the reasoning ability and VQA on scientific diagrams, has also been explored more. Meanwhile, more multimodal feature fusion mechanisms have been proposed. This paper will review and analyze existing datasets, metrics, and models proposed for the VQA task.


title: Boundary quotient C*-algebras of semigroups

abstract: We study two classes of operator algebras associated with a unital subsemigroup $P$ of a discrete group $G$: one related to universal structures, and one related to co-universal structures. First we provide connections between universal C*-algebras that arise variously from isometric representations of $P$ that reflect the space $\mathcal{J}$ of constructible right ideals, from associated Fell bundles, and from induced partial actions. This includes connections of appropriate quotients with the strong covariance relations in the sense of Sehnem. We then pass to the reduced representation $\mathrm{C}^*_\lambda(P)$ and we consider the boundary quotient $\partial \mathrm{C}^*_\lambda(P)$ related to the minimal boundary space. We show that $\partial \mathrm{C}^*_\lambda(P)$ is co-universal in two different classes: (a) with respect to the equivariant constructible isometric representations of $P$; and (b) with respect to the equivariant C*-covers of the reduced nonselfadjoint semigroup algebra $\mathcal{A}(P)$. If $P$ is an Ore semigroup, or if $G$ acts topologically freely on the minimal boundary space, then $\partial \mathrm{C}^*_\lambda(P)$ coincides with the usual C*-envelope $\mathrm{C}^*_{\text{env}}(\mathcal{A}(P))$ in the sense of Arveson. This covers total orders, finite type and right-angled Artin monoids, the Thompson monoid, multiplicative semigroups of nonzero algebraic integers, and the $ax+b$-semigroups over integral domains that are not a field. In particular, we show that $P$ is an Ore semigroup if and only if there exists a canonical $*$-isomorphism from $\partial \mathrm{C}^*_\lambda(P)$, or from $\mathrm{C}^*_{\text{env}}(\mathcal{A}(P))$, onto $\mathrm{C}^*_\lambda(G)$. If any of the above holds, then $\mathcal{A}(P)$ is shown to be hyperrigid.


title: Flip Signatures

abstract: A $D_{\infty}$-topological Markov chain is a topological Markov chain provided with an action of the infinite dihedral group $D_{\infty}$. It is defined by two zero-one square matrices $A$ and $J$ satisfying $AJ=JA^{\textsf{T}}$ and $J^2=I$. Flip signature is obtained from symmetric bilinear forms with respect to $J$ on the eventual kernel of $A$. We modify Williams' decomposition theorem to prove flip signature is a $D_{\infty}$-conjugacy invariant. We introduce natural $D_{\infty}$-actions on Ashley's eight-by-eight and the full two-shift. The Flip signatures show that Ashley's eight-by-eight and the full two-shift equipped with the natural $D_{\infty}$-actions are not $D_{\infty}$-conjugate. We also discuss the notion of $D_{\infty}$-shift equivalence and the Lind zeta function.


title: In-cell Discontinuous Reconstruction path-conservative methods for non conservative hyperbolic systems -- Second-order extension

abstract: We are interested in the numerical approximation of discontinuous solutions in non conservative hyperbolic systems. An extension to second-order of a new strategy based on in-cell discontinuous reconstructions to deal with this challenging topic is presented. This extension is based on the combination of the first-order in-cell reconstruction and the MUSCL-Hancock reconstruction. The first-order strategy allowed in particular to capture exactly the isolated shocks and this new second-order extension keep this property. We also set the basis of an extension to high-order methods following this in-cell methodology and a way for capturing exactly more than one shock. Several numerical tests are proposed to validate the methods for the Coupled-Burgers system, Gas dynamics equations in Lagrangian coordinates and the modified shallow water system.


title: Brain Graph Super-Resolution Using Adversarial Graph Neural Network with Application to Functional Brain Connectivity

abstract: Brain image analysis has advanced substantially in recent years with the proliferation of neuroimaging datasets acquired at different resolutions. While research on brain image super-resolution has undergone a rapid development in the recent years, brain graph super-resolution is still poorly investigated because of the complex nature of non-Euclidean graph data. In this paper, we propose the first-ever deep graph super-resolution (GSR) framework that attempts to automatically generate high-resolution (HR) brain graphs with N' nodes (i.e., anatomical regions of interest (ROIs)) from low-resolution (LR) graphs with N nodes where N < N'. First, we formalize our GSR problem as a node feature embedding learning task. Once the HR nodes' embeddings are learned, the pairwise connectivity strength between brain ROIs can be derived through an aggregation rule based on a novel Graph U-Net architecture. While typically the Graph U-Net is a node-focused architecture where graph embedding depends mainly on node attributes, we propose a graph-focused architecture where the node feature embedding is based on the graph topology. Second, inspired by graph spectral theory, we break the symmetry of the U-Net architecture by super-resolving the low-resolution brain graph structure and node content with a GSR layer and two graph convolutional network layers to further learn the node embeddings in the HR graph. Third, to handle the domain shift between the ground-truth and the predicted HR brain graphs, we incorporate adversarial regularization to align their respective distributions. Our proposed AGSR-Net framework outperformed its variants for predicting high-resolution functional brain graphs from low-resolution ones. Our AGSR-Net code is available on GitHub at https://github.com/basiralab/AGSR-Net.


title: Harmonic Hermitian structures on Riemannian manifolds with skew-torsion

abstract: We find geometric conditions on a four-dimensional Hermitian manifold endowed with a metric connection with totally skew-symmetric torsion under which the complex structure is a harmonic map from the manifold into its twistor space considered with a natural family of Riemannian metrics defined by means of the metric and the given connection on the base manifold.


title: Dependence of the amplitude of gravitational waves from preheating on the inflationary energy scale

abstract: Stochastic gravitational wave backgrounds (SGWBs) receive increasing attention and provide a new possibility to directly probe the early Universe. In the preheating process at the end of inflation, parametric resonance can generate large energy density perturbations and efficiently produce gravitational waves (GWs) which carry unique information about inflation. Since the peak frequency of such GWs is approximately proportional to the inflationary energy scale, $\Lambda_{\mathrm{inf}}$, GWs from preheating are expected to be observed by interferometer GW detectors in low-scale inflationary models. We investigate the dependence of the amplitude of such GWs on $\Lambda_{\mathrm{inf}}$, and find that the present energy spectrum of these GWs does not depend on $\Lambda_{\mathrm{inf}}$ only in the case of $\Lambda_{\mathrm{inf}}$ is above a critical value $\Lambda_{c}$, a parameter depending on the resonance strength. We numerically obtain $\Lambda_{c}$ in terms of the model parameters in linear approximation and then conduct lattice simulations to verify this result. For $\Lambda_{\mathrm{inf}}\lesssim\Lambda_{c}$, the amplitude of GWs quickly decreases with $\Lambda_{\mathrm{inf}}$ and becomes challenging to observe. In turn, observing such GWs in interferometer detectors also helps to determine $\Lambda_{\mathrm{inf}}$ and the resonance strength during the preheating.


title: Rota-Baxter groups, skew left braces, and the Yang-Baxter equation

abstract: Braces were introduced by W. Rump in 2006 as an algebraic system related to the quantum Yang-Baxter equation. In 2017, L. Guarnieri and L. Vendramin defined for the same purposes a more general notion of a skew left brace. Recently, L. Guo, H. Lang, Y. Sheng [arXiv:2009.03492] gave a definition of what is a Rota-Baxter operator on a group. We connect these two notions as follows. It is shown that every Rota-Baxter group gives rise to a skew left brace. Moreover, every skew left brace can be injectively embedded into a Rota-Baxter group. When the additive group of a skew left brace is complete, then this brace is induced by a Rota-Baxter group. We interpret some notions of the theory of skew left braces in terms of Rota-Baxter operators.


title: Controlling Smart Inverters using Proxies: A Chance-Constrained DNN-based Approach

abstract: Coordinating inverters at scale under uncertainty is the desideratum for integrating renewables in distribution grids. Unless load demands and solar generation are telemetered frequently, controlling inverters given approximate grid conditions or proxies thereof becomes a key specification. Although deep neural networks (DNNs) can learn optimal inverter schedules, guaranteeing feasibility is largely elusive. Rather than training DNNs to imitate already computed optimal power flow (OPF) solutions, this work integrates DNN-based inverter policies into the OPF. The proposed DNNs are trained through two OPF alternatives that confine voltage deviations on the average and as a convex restriction of chance constraints. The trained DNNs can be driven by partial, noisy, or proxy descriptors of the current grid conditions. This is important when OPF has to be solved for an unobservable feeder. DNN weights are trained via back-propagation and upon differentiating the AC power flow equations assuming the network model is known. Otherwise, a gradient-free variant is put forth. The latter is relevant when inverters are controlled by an aggregator having access only to a power flow solver or a digital twin of the feeder. Numerical tests compare the DNN-based inverter control schemes with the optimal inverter setpoints in terms of optimality and feasibility.


title: On $\tau$-closed $n$-multiply $\sigma$-local formations of finite groups

abstract: All groups under consideration are finite. Let $\sigma =\{\sigma_i \mid i\in I \}$ be some partition of the set of $\mathbb{P}$, $G$ be a group, and $\mathfrak F$ be a class of groups. Then $\sigma (G)=\{\sigma_i\mid \sigma_i\cap \pi (G)\ne \emptyset\} $ and $\sigma (\mathfrak F)=\cup_{G\in \mathfrak F}\sigma (G).$ A function $f$ of the form $f:\sigma \to\{\text{formations of groups}\}$ is called a formation $\sigma$-function. For any formation $\sigma$-function $f$ the class $LF_\sigma(f)$ is defined as follows: $$ LF_\sigma(f)=(G \text{ is a group } \mid G=1 \text{ or } G\ne 1\ \text{ and }\ G/O_{\sigma_i', \sigma_i}(G) \in f(\sigma_i) \text{ for all } \sigma_i \in \sigma(G)). $$ If for some formation $\sigma$-function $f$ we have $\mathfrak F=LF_\sigma(f),$ then $\mathfrak F$ is called $\sigma$-local, $f$ is called a $\sigma$-local definition of $\mathfrak F.$ Every formation is called 0-multiply $\sigma$-local. For $n > 0,$ a formation $\mathfrak F$ is called $n$-multiply $\sigma$-local provided either $\mathfrak F=(1)$ or $\mathfrak F=LF_\sigma(f),$ where $f(\sigma_i)$ is $(n-1)$-multiply $\sigma$-local for all $\sigma_i\in \sigma(\mathfrak F).$ Let $\tau(G)$ be a set of subgroups of $G$ such that $G\in \tau(G)$. Then $\tau$ is called a subgroup functor if for every epimorphism $\varphi$ : $A \to~B$ and any groups $H\in\tau(A)$ and $T\in\tau(B)$ we have $H^{\varphi}\in\tau(B)$ and $T^{{\varphi}^{-1}}\in\tau(A)$. A class $\mathfrak F$ is called $\tau$-closed if $\tau(G)\subseteq\mathfrak F$ for all $G\in\mathfrak F$. We describe some properties of $\tau$-closed $n$-multiply $\sigma$-local formations, as well as we prove that the set $l^{\tau}_{\sigma_n}$ of all $\tau$-closed $n$-multiply $\sigma$-local formations forms a complete modular algebraic lattice. In addition, we proof that $l^{\tau}_{\sigma_n}$ is $\sigma$-inductive and $\mathfrak G$-separable.


title: Toward Developing Intelligent Mobile Obe System In Higher Learning Institution

abstract: The rapid growth in Mobile application users has made the researchers and practitioners to think of intelligent tools that can help the users and applications in delivering quality of services. Therefore, intelligent agent is expected to become the tool for development of mobile outcome based education (OBE) particularly in higher learning Institutions (HLI). In this context, there is a lacking of OBE intelligent agent in assisting the academicians to use in OBE management for mobile application system environment. This paper presents the conceptual design and development of a mobile intelligent agent based on mobile OBE called as i-MOBE. Since that, i-MOBE that we developed is considered very important for academicians and students to facilitate them in using for academic purpose in HLI particularly in helping them to monitor the performance in teaching and learning (T&L). The system architecture will be covering the conceptual design and its interaction as well as the system configuration in helping the academicians to use the system in their T&L toward effective and efficiency also can be applied in monitoring based on scenarios such as test, assignment and projects and so on.


title: The Anzellotti-Gauss-Green formula and least gradient functions in metric measure spaces

abstract: In the framework of the first-order differential structure introduced by Gigli, we obtain a Gauss-Green formula on regular bounded open sets of metric measure spaces, valid for BV functions and vector fields with integrable divergence. Then, we study least gradient functions in metric measure spaces using this formula as the main tool.


title: Who's Afraid of Adversarial Transferability?

abstract: Adversarial transferability, namely the ability of adversarial perturbations to simultaneously fool multiple learning models, has long been the "big bad wolf" of adversarial machine learning. Successful transferability-based attacks requiring no prior knowledge of the attacked model's parameters or training data have been demonstrated numerous times in the past, implying that machine learning models pose an inherent security threat to real-life systems. However, all of the research performed in this area regarded transferability as a probabilistic property and attempted to estimate the percentage of adversarial examples that are likely to mislead a target model given some predefined evaluation set. As a result, those studies ignored the fact that real-life adversaries are often highly sensitive to the cost of a failed attack. We argue that overlooking this sensitivity has led to an exaggerated perception of the transferability threat, when in fact real-life transferability-based attacks are quite unlikely. By combining theoretical reasoning with a series of empirical results, we show that it is practically impossible to predict whether a given adversarial example is transferable to a specific target model in a black-box setting, hence questioning the validity of adversarial transferability as a real-life attack tool for adversaries that are sensitive to the cost of a failed attack.


title: Dynamic Routing for Traffic Flow through Multi-agent Systems

abstract: Routing strategies for traffics and vehicles have been historically studied. However, in the absence of considering drivers' preferences, current route planning algorithms are developed under ideal situations where all drivers are expected to behave rationally and properly. Especially, for jumbled urban road networks, drivers' actual routing strategies deteriorated to a series of empirical and selfish decisions that result in congestion. Self-evidently, if minimum mobility can be kept, traffic congestion is avoidable by traffic load dispersing. In this paper, we establish a novel dynamic routing method catering drivers' preferences and retaining maximum traffic mobility simultaneously through multi-agent systems (MAS). Modeling human-drivers' behavior through agents' dynamics, MAS can analyze the global behavior of the entire traffic flow. Therefore, regarding agents as particles in smoothed particles hydrodynamics (SPH), we can enforce the traffic flow to behave like a real flow. Thereby, with the characteristic of distributing itself uniformly in road networks, our dynamic routing method realizes traffic load balancing without violating the individual time-saving motivation. Moreover, as a discrete control mechanism, our method is robust to chaos meaning driver's disobedience can be tolerated. As controlled by SPH based density, the only intelligent transportation system (ITS) we require is the location-based service (LBS). A mathematical proof is accomplished to scrutinize the stability of the proposed control law. Also, multiple testing cases are built to verify the effectiveness of the proposed dynamic routing algorithm.


title: Deeply virtual Compton scattering off Helium nuclei with positron beams

abstract: Positron initiated deeply virtual Compton scattering (DVCS) off $^4$He and $^3$He nuclei is described. The way the so-called $d-$term could be obtained from the real part of the relevant Compton form factor is summarized, and the importance and novelty of this measurement is discussed. The measurements addressed for $^3$He targets could be very useful even in a standard unpolarized target setup, measuring beam spin and beam charge asymmetries only. The unpolarized beam charge asymmetries for DVCS off $^3$He and $^4$He are also estimated, at JLab kinematics and, for $^4$He, also at a configuration typical at the future Electron-Ion Collider. Incoherent DVCS processes, in particular the ones with tagging the internal target by measuring slow recoiling nuclei, and the unique possibility offered by positron beams for the investigation of Compton form factors of higher twist, are also briefly addressed.


title: Properties of Graphs Specified by a Regular Language

abstract: Traditionally, graph algorithms get a single graph as input, and then they should decide if this graph satisfies a certain property $\Phi$. What happens if this question is modified in a way that we get a possibly infinite family of graphs as an input, and the question is if there is a graph satisfying $\Phi$ in the family? We approach this question by using formal languages for specifying families of graphs, in particular by regular sets of words. We show that certain graph properties can be decided by studying the syntactic monoid of the specification language $L$ if a certain torsion condition is satisfied. This condition holds trivially if $L$ is regular. More specifically, we use a natural binary encoding of finite graphs over a binary alphabet $\Sigma$, and we define a regular set $\mathbb{G}\subseteq \Sigma^*$ such that every nonempty word $w\in \mathbb{G}$ defines a finite and nonempty graph. Also, graph properties can then be syntactically defined as languages over $\Sigma$. Then, we ask whether the automaton $\mathcal{A}$ specifies some graph satisfying a certain property~$\Phi$. Our structural results show that we can answer this question for all "typical" graph properties. In order to show our results, we split $L$ into a finite union of subsets and every subset of this union defines in a natural way a single finite graph $F$ where some edges and vertices are marked. The marked graph in turn defines an infinite graph $F^\infty$ and therefore the family of finite subgraphs of $F^\infty$ where $F$ appears as an induced subgraph. This yields a geometric description of all graphs specified by $L$ based on splitting $L$ into finitely many pieces; then using the notion of graph retraction, we obtain an easily understandable description of the graphs in each piece.


title: AI-Assisted MAC for Reconfigurable Intelligent Surface-Aided Wireless Networks: Challenges and Opportunities

abstract: Recently, significant research attention has been devoted to the study of reconfigurable intelligent surfaces (RISs), which are capable of reconfiguring the wireless propagation environment by exploiting the unique properties of metamaterials-based integrated large arrays of inexpensive antennas. Existing research demonstrates that RISs significantly improve the physical layer performance, including the wireless coverage, achievable data rate and energy efficiency. However, the medium access control (MAC) of multiple users accessing an RIS-enabled channel is still in its infancy, while many open issues remain to be addressed. In this article, we present four typical RIS-aided multi-user scenarios with special emphasis on the MAC schemes. We then propose and elaborate upon centralized, distributed and hybrid artificial-intelligence (AI)-assisted MAC architectures in RIS-aided multi-user communications systems. Finally, we discuss some challenges, perspectives and potential applications of RISs as they are related to MAC design.


title: A note on the Lauricella matrix functions

abstract: In this paper, we study the solutions of the system of bilateral type matrix differential equations and presented these solutions in terms of Lauricella hypergeometric matrix functions of several variables and Srivastava's triple hypergeometric matrix functions of three variables. We also discuss the region of convergence and integral representation for these matrix functions.


title: Many-body molecule formation at a domain wall in a one-dimensional strongly interacting ultracold Fermi gas

abstract: We analyze how the presence of the bound state on top of strong intercomponent contact repulsion affects the dynamics of a two-component ultracold Fermi gas confined in a one-dimensional harmonic trap. By performing full many-body numerical calculations, we retrieve dynamics of an initially phase separated state that has been utilized to excite the spin-dipole mode in experimental settings. We observe an appearance of pairing correlations at the domain wall, heralding the onset of a molecular faction at the interlayer between the components. We find that such a mechanism can be responsible for the stabilization of the phase separation.


title: Weighted completion time minimization for capacitated parallel machines

abstract: We consider the weighted completion time minimization problem for capacitated parallel machines, which is a fundamental problem in modern cloud computing environments. We study settings in which the processed jobs may have varying duration, resource requirements and importance (weight). Each server (machine) can process multiple concurrent jobs up to its capacity. Due to the problem's $\mathcal{NP}$-hardness, we study heuristic approaches with provable approximation guarantees. We first analyze an algorithm that prioritizes the jobs with the smallest volume-by-weight ratio. We bound its approximation ratio with a decreasing function of the ratio between the highest resource demand of any job to the server's capacity. Then, we use the algorithm for scheduling jobs with resource demands equal to or smaller than 0.5 of the server's capacity in conjunction with the classic weighted shortest processing time algorithm for jobs with resource demands higher than 0.5. We thus create a hybrid, constant approximation algorithm for two or more machines. We also develop a constant approximation algorithm for the case with a single machine. This research is the first, to the best of our knowledge, to propose a polynomial-time algorithm with a constant approximation ratio for minimizing the weighted sum of job completion times for capacitated parallel machines.


title: Charged Anisotropic Finch-Skea-Bardeen Spheres

abstract: This manuscript explores the compact geometries by employing Karmarkar condition with the charged anisotropic source of matter distribution. For this purpose, we consider an explicit model by indulging $\mathrm{g}_{rr}$ metric potential obeying the Karmarkar condition. Moreover, we ansatz the time metric co-efficient following the approach by Adler. The crucial aspect of present investigation is the implication of the Bardeen model as an outer spacetime. Implementation of Bardeen approach turns out to be very interesting as this corresponds to the magnetic mono-pole gravitational remnants emerging from some particular non-linear electrodynamics. Detailed analysis supported by their corresponding plots of the profiles of the pressure profiles, energy density, charged density, anisotropy function, electric field attributes, energy bounds, redshift function, compactness parameter, stability and adiabatic index has been provided. It is important to mention here that our obtained solutions are physically viable and are well stable.


title: Rate-Splitting Multiple Access for Enhanced URLLC and eMBB in 6G

abstract: Rate-Splitting Multiple Access (RSMA) is a flexible and robust multiple access scheme for downlink multi-antenna wireless networks. RSMA relies on Rate-Splitting (RS) at the transmitter and Successive Interference Cancellation (SIC) at the receivers. In this work, we study the performance of RSMA in the scenarios related with the important core services of New Radio (NR) and 6G, namely, enhanced Ultra-Reliable and Low-Latency (URLLC) and enhanced Mobile Broadband Communications (eMBB). We present the optimal system designs employing RSMA that target short-packet and low-latency communications as well as robust communications with high-throughput under the practical and important setup of imperfect Channel State Information at Transmitter (CSIT) originating from user mobility and feedback latency in the network. We demonstrate via numerical results that RSMA achieves significantly higher performance than Space Division Multiple Access (SDMA) and Non-Orthogonal Multiple Access (NOMA), and is capable of addressing the requirements for enhanced URLLC and eMBB in 6G efficiently.


title: Fixed Point Constructions in Tilings and Cellular Automata

abstract: The fixed point construction is a method for designing tile sets and cellular automata with highly nontrivial dynamical and computational properties. It produces an infinite hierarchy of systems where each layer simulates the next one. The simulations are implemented entirely by computations of Turing machines embedded in the tilings or spacetime diagrams. We present an overview of the construction and list its applications in the literature.


title: Electronic Structure Examination on the Topological Properties of CaMnSb$_{2}$ by Angle-Resolved Photoemission Spectroscopy

abstract: We have carried out detailed high resolution ARPES measurements and band structure calculations to study the electronic structure of CaMnSb$_{2}$. The observed Fermi surface mainly consists of one hole pocket around ${\Gamma}$ point and one tiny hole pocket at Y point. Strong spectral weight accumulation along the ${\Gamma}$-X direction is observed on the hole-like Fermi surface around ${\Gamma}$ point, suggesting strong anisotropy of the density of states along the Fermi surface. The tiny hole pocket at Y point originates from an anisotropic Dirac-like band with the crossing point of the linear bands lying $\sim$ 10 meV above the Fermi level. These observations are in a good agreement with the band structure calculations. In addition, we observe additional features along the ${\Gamma}$-Y line that cannot be accounted for by the band structure calculations. Our results provide important information in understanding and exploration of novel properties in CaMnSb$_{2}$ and related materials.


title: MEGADOCK-Web-Mito: human mitochondrial protein-protein interaction prediction database

abstract: Mitochondrial diseases are largely caused by dysfunction in mitochondrial proteins. However, annotations of human mitochondrial proteins are scattered across various public databases and individual studies. To facilitate research aimed at elucidating mitochondrial functions, we constructed the MEGADOCK-Web-Mito database as a protein-protein interaction (PPI) prediction data archive, including prediction results for exhaustive protein pairs of 654 mitochondria-related human proteins. MEGADOCK-Web-Mito enables users to search for all PPI prediction results efficiently and comprehensively. In particular, we linked functional annotations to each human mitochondrial protein. The comprehensive and specialized human mitochondrial PPI prediction results and searching function of MEGADOCK-Web-Mito will support further research on mitochondria and mitochondrial diseases.


title: Host-Kra factors for $\bigoplus_{p\in P}\mathbb{Z}/p\mathbb{Z}$ actions and finite dimensional nilpotent systems

abstract: Let $\mathcal{P}$ be a countable multiset of primes and let $G=\bigoplus_{p\in P}\mathbb{Z}/p\mathbb{Z}$. We study the universal characteristic factors associated with the Gowers-Host-Kra seminorms for the group $G$. We show that the universal characteristic factor of order $<k+1$ is a factor of an inverse limit of finite dimensional $k$-step nilpotent homogeneous spaces. The latter is a counterpart of a $k$-step nilsystem where the homogeneous group is not necessarily a Lie group. This result provides a counterpart of the structure theorem of Host-Kra and Ziegler concerning $\mathbb{Z}$-actions and generalizes the results of Bergelson Tao and Ziegler concerning $\mathbb{F}_p^\omega$-actions. This result is the first instance of a structure theorem for the universal characteristic factors associated with a non-finitely generated group of unbounded torsion. As an application we derive an alternative proof for the $L^2$-convergence of multiple ergodic averages associated with $k$-term arithmetic progressions in $G$ and derive a formula for the limit in the special case where the underlying space is a nilpotent homogeneous system.


title: Automatic Visual Inspection of Rare Defects: A Framework based on GP-WGAN and Enhanced Faster R-CNN

abstract: A current trend in industries such as semiconductors and foundry is to shift their visual inspection processes to Automatic Visual Inspection (AVI) systems, to reduce their costs, mistakes, and dependency on human experts. This paper proposes a two-staged fault diagnosis framework for AVI systems. In the first stage, a generation model is designed to synthesize new samples based on real samples. The proposed augmentation algorithm extracts objects from the real samples and blends them randomly, to generate new samples and enhance the performance of the image processor. In the second stage, an improved deep learning architecture based on Faster R-CNN, Feature Pyramid Network (FPN), and a Residual Network is proposed to perform object detection on the enhanced dataset. The performance of the algorithm is validated and evaluated on two multi-class datasets. The experimental results performed over a range of imbalance severities demonstrate the superiority of the proposed framework compared to other solutions.