title: Reform and Practice of Computer Application Technology Major Construction and Development in Higher Vocational Colleges in China -- Taking Jiangxi Vocational College of Applied Technology as An Example

abstract: This study takes the development path of computer application technology specialty construction in Higher Vocational Colleges under the background of high-level higher vocational schools and specialty construction plan with Chinese characteristics (double high plan) as the main research object, and puts forward the core concept of computer application technology specialty construction and development in Higher Vocational Colleges in China through the practice of computer application technology specialty construction and development reform in recent years The main measures and construction objectives provide specific experience and solutions for deepening the reform of computer application technology specialty in higher vocational colleges.


title: Trajectory-User Linking Is Easier Than You Think

abstract: Trajectory-User Linking (TUL) is a relatively new mobility classification task in which anonymous trajectories are linked to the users who generated them. With applications ranging from personalized recommendations to criminal activity detection, TUL has received increasing attention over the past five years. While research has focused mainly on learning deep representations that capture complex spatio-temporal mobility patterns unique to individual users, we demonstrate that visit patterns are highly unique among users and thus simple heuristics applied directly to the raw data are sufficient to solve TUL. More specifically, we demonstrate that a single check-in per trajectory is enough to correctly predict the identity of the user up to 85% of the time. Moreover, by using a non-parametric classifier, we scale up TUL to over 100k users which is an increase over state-of-the-art by three orders of magnitude. Extensive empirical analysis on four real-world datasets (Brightkite, Foursquare, Gowalla and Weeplaces) compares our findings to state-of-the-art results, and more importantly validates our claim that TUL is easier than commonly believed.


title: CAT(0) spaces of higher rank I

abstract: A CAT(0) space has rank at least $n$ if every geodesic lies in an $n$-flat. Ballmann's Higher Rank Rigidity Conjecture predicts that a CAT(0) space of rank at least $2$ with a geometric group action is rigid -- isometric to a Riemannian symmetric space, a Euclidean building, or splits as a metric product. This paper is the first in a series motivated by Ballmann's conjecture. Here we prove that a CAT(0) space of rank at least $n\geq 2$ is rigid if it contains a periodic $n$-flat and its Tits boundary has dimension $(n-1)$. This does not require a geometric group action. The result relies essentially on the study of flats which do not bound flat half-spaces -- so-called Morse flats. We show that the Tits boundary $\partial_T F$ of a periodic Morse $n$-flat $F$ contains a regular point -- a point with a Tits-neighborhood entirely contained in $\partial_T F$. More precisely, we show that the set of singular points in $\partial_T F$ can be covered by finitely many round spheres of positive codimension.


title: Decoding Multi-class Motor-related Intentions with User-optimized and Robust BCI System Based on Multimodal Dataset

abstract: A brain-computer interface (BCI) based on electroencephalography (EEG) can be useful for rehabilitation and the control of external devices. Five grasping tasks were decoded for motor execution (ME) and motor imagery (MI). During this experiment, eight healthy subjects were asked to imagine and grasp five objects. Analysis of EEG signals was performed after detecting muscle signals on electromyograms (EMG) with a time interval selection technique on data taken from these ME and MI experiments. By refining only data corresponding to the exact time when the users performed the motor intention, the proposed method can train the decoding model using only the EEG data generated by various motor intentions with strong correlation with a specific class. There was an accuracy of 70.73% for ME and 47.95% for MI for the five offline tasks. This method may be applied to future applications, such as controlling robot hands with BCIs.


title: Fully Complex-valued Fully Convolutional Multi-feature Fusion Network (FC2MFN) for Building Segmentation of InSAR images

abstract: Building segmentation in high-resolution InSAR images is a challenging task that can be useful for large-scale surveillance. Although complex-valued deep learning networks perform better than their real-valued counterparts for complex-valued SAR data, phase information is not retained throughout the network, which causes a loss of information. This paper proposes a Fully Complex-valued, Fully Convolutional Multi-feature Fusion Network(FC2MFN) for building semantic segmentation on InSAR images using a novel, fully complex-valued learning scheme. The network learns multi-scale features, performs multi-feature fusion, and has a complex-valued output. For the particularity of complex-valued InSAR data, a new complex-valued pooling layer is proposed that compares complex numbers considering their magnitude and phase. This helps the network retain the phase information even through the pooling layer. Experimental results on the simulated InSAR dataset show that FC2MFN achieves better results compared to other state-of-the-art methods in terms of segmentation performance and model complexity.


title: On the fundamental groups of subelliptic varieties

abstract: We show that the fundamental group of any smooth subelliptic variety is finite. Moreover, it is also proved that every finite group can be realized as the fundamental group of a smooth subelliptic variety. As a consequence, it follows that there exists a smooth subelliptic variety homotopy equivalent to the $n$-sphere if and only if $n>1$. This result can be considered as a negative answer to the algebraic version of Gromov's problem on the homotopy types of Oka manifolds.


title: NLIP: Noise-robust Language-Image Pre-training

abstract: Large-scale cross-modal pre-training paradigms have recently shown ubiquitous success on a wide range of downstream tasks, e.g., zero-shot classification, retrieval and image captioning. However, their successes highly rely on the scale and quality of web-crawled data that naturally contain incomplete and noisy information (e.g., wrong or irrelevant content). Existing works either design manual rules to clean data or generate pseudo-targets as auxiliary signals for reducing noise impact, which do not explicitly tackle both the incorrect and incomplete challenges simultaneously. In this paper, to automatically mitigate the impact of noise by solely mining over existing data, we propose a principled Noise-robust Language-Image Pre-training framework (NLIP) to stabilize pre-training via two schemes: noise-harmonization and noise-completion. First, in noise-harmonization scheme, NLIP estimates the noise probability of each pair according to the memorization effect of cross-modal transformers, then adopts noise-adaptive regularization to harmonize the cross-modal alignments with varying degrees. Second, in noise-completion scheme, to enrich the missing object information of text, NLIP injects a concept-conditioned cross-modal decoder to obtain semantic-consistent synthetic captions to complete noisy ones, which uses the retrieved visual concepts (i.e., objects' names) for the corresponding image to guide captioning generation. By collaboratively optimizing noise-harmonization and noise-completion schemes, our NLIP can alleviate the common noise effects during image-text pre-training in a more efficient way. Extensive experiments show the significant performance improvements of our NLIP using only 26M data over existing pre-trained models (e.g., CLIP, FILIP and BLIP) on 12 zero-shot classification datasets, MSCOCO image captioning and zero-shot image-text retrieval tasks.


title: Signatures of the Optical Stark Effect on Entangled Photon Pairs from Resonantly-Pumped Quantum Dots

abstract: Two-photon resonant excitation of the biexciton-exciton cascade in a quantum dot generates highly polarization-entangled photon pairs in a near-deterministic way. However, the ultimate level of achievable entanglement is still debated. Here, we observe the impact of the laser-induced AC-Stark effect on the quantum dot emission spectra and on entanglement. For increasing pulse-duration/lifetime ratios and pump powers, decreasing values of concurrence are recorded. Nonetheless, additional contributions are still required to fully account for the observed below-unity concurrence.


title: Unsupervised Time-Aware Sampling Network with Deep Reinforcement Learning for EEG-Based Emotion Recognition

abstract: Recognizing human emotions from complex, multivariate, and non-stationary electroencephalography (EEG) time series is essential in affective brain-computer interface. However, because continuous labeling of ever-changing emotional states is not feasible in practice, existing methods can only assign a fixed label to all EEG timepoints in a continuous emotion-evoking trial, which overlooks the highly dynamic emotional states and highly non-stationary EEG signals. To solve the problems of high reliance on fixed labels and ignorance of time-changing information, in this paper we propose a time-aware sampling network (TAS-Net) using deep reinforcement learning (DRL) for unsupervised emotion recognition, which is able to detect key emotion fragments and disregard irrelevant and misleading parts. Extensive experiments are conducted on three public datasets (SEED, DEAP, and MAHNOB-HCI) for emotion recognition using leave-one-subject-out cross-validation, and the results demonstrate the superiority of the proposed method against previous unsupervised emotion recognition methods.


title: Narain CFTs from qudit stabilizer codes

abstract: We construct a discrete subset of Narain CFTs from quantum stabilizer codes with qudit (including qubit) systems whose dimension is a prime number. Our construction exploits three important relations. The first relation is between qudit stabilizer codes and classical codes. The second is between classical codes and Lorentzian lattices. The third is between Lorentzian lattices and Narain CFTs. In particular, we study qudit Calderbank-Shor-Steane (CSS) codes as a special class of qudit stabilizer codes and the ensembles of the Narain code CFTs constructed from CSS codes. We obtain exact results for the averaged partition functions over the ensembles and discuss their implications for holographic duality.


title: Database Matching Under Adversarial Column Deletions

abstract: The de-anonymization of users from anonymized microdata through matching or aligning with publicly-available correlated databases has been of scientific interest recently. While most of the rigorous analyses of database matching have focused on random-distortion models, the adversarial-distortion models have been wanting in the relevant literature. In this work, motivated by synchronization errors in the sampling of time-indexed microdata, matching (alignment) of random databases under adversarial column deletions is investigated. It is assumed that a constrained adversary, which observes the anonymized database, can delete up to a $\delta$ fraction of the columns (attributes) to hinder matching and preserve privacy. Column histograms of the two databases are utilized as permutation-invariant features to detect the column deletion pattern chosen by the adversary. The detection of the column deletion pattern is then followed by an exact row (user) matching scheme. The worst-case analysis of this two-phase scheme yields a sufficient condition for the successful matching of the two databases, under the near-perfect recovery condition. A more detailed investigation of the error probability leads to a tight necessary condition on the database growth rate, and in turn, to a single-letter characterization of the adversarial matching capacity. This adversarial matching capacity is shown to be significantly lower than the random matching capacity, where the column deletions occur randomly. Overall, our results analytically demonstrate the privacy-wise advantages of adversarial mechanisms over random ones during the publication of anonymized time-indexed data.


title: Verifiable Coded Computation of Multiple Functions

abstract: We consider the problem of evaluating distinct multivariate polynomials over several massive datasets in a distributed computing system with a single master node and multiple worker nodes. We focus on the general case when each multivariate polynomial is evaluated over its corresponding dataset and propose a generalization of the Lagrange Coded Computing framework (Yu et al. 2019) to perform all computations simultaneously while providing robustness against stragglers who do not respond in time, adversarial workers who respond with wrong computation and information-theoretic security of dataset against colluding workers. Our scheme introduces a small computation overhead which results in a reduction in download cost and also offers comparable resistance to stragglers over existing solutions. On top of it, we also propose two verification schemes to detect the presence of adversaries, which leads to incorrect results, without involving additional nodes.


title: CAT(0) spaces of higher rank II

abstract: This belongs to a series of papers motivated by Ballmann's Higher Rank Rigidity Conjecture. We prove the following. Let $X$ be a CAT(0) space with a geometric group action. Suppose that every geodesic in $X$ lies in an $n$-flat, $n\geq 2$. If $X$ contains a periodic $n$-flat which does not bound a flat $(n+1)$-half-space, then $X$ is a Riemannian symmetric space, a Euclidean building or non-trivially splits as a metric product. This generalizes the Higher Rank Rigidity Theorem for Hadamard manifolds with geometric group actions.


title: All-Optical Nuclear Quantum Sensing using Nitrogen-Vacancy Centers in Diamond

abstract: Solid state spins have demonstrated significant potential in quantum sensing with applications including fundamental science, medical diagnostics and navigation. The quantum sensing schemes showing best performance under ambient conditions all utilize microwave or radio-frequency driving, which poses a significant limitation for miniaturization, energy-efficiency and non-invasiveness of quantum sensors. We overcome this limitation by demonstrating a purely optical approach to coherent quantum sensing. Our scheme involves the $^{15}$N nuclear spin of the Nitrogen-Vacancy (NV) center in diamond as a sensing resource, and exploits NV spin dynamics in oblique magnetic fields near the NV's excited state level anti-crossing to optically pump the nuclear spin into a quantum superposition state. We demonstrate all-optical free-induction decay measurements - the key protocol for low-frequency quantum sensing - both on single spins and spin ensembles. Our results pave the way for highly compact quantum sensors to be employed for magnetometry or gyroscopy applications in challenging environments.


title: Evidence of high latitude emission in the prompt phase of GRBs: How far from the central engine are the GRBs produced?

abstract: The physical mechanism of gamma-ray bursts (GRBs) remains elusive. One of the difficulties in nailing down their physical mechanism comes from the fact that there has been no clear observational evidence on how far from the central engine the prompt gamma-rays of GRBs are emitted while the competing physical mechanisms predict different characteristic distances. Here we present a simple study addressing this question by making use of the "high-latitude emission" (HLE). We show that our detailed numerical modeling exhibits a clear signature of HLE in the decaying phase of "broad pulses" of GRBs. We show that the HLE can emerge as a prominent spectral break in $F_{\nu}$ spectra and dominate the peak of $\nu F_{\nu}$ spectra even while the "line-of-sight emission" (LoSE) is still ongoing, hence providing a new view of HLE emergence. We remark that this "HLE break" could be hidden in some broad pulses, depending on the proximity between the peak energies of the LoSE and the HLE. Also, we present three examples of Fermi-GBM GRBs with broad pulses that exhibit the HLE signature. We show that their gamma-ray emitting region should be located at $\sim 10^{16}$ cm from the central engine, which disfavors the photosphere models and small-radii internal shock models but favors magnetic dissipation models with a large emission radius.


title: Temporal and Spectral Evolution of Gamma-ray Burst Broad Pulses: Identification of High Latitude Emission in the Prompt Emission

abstract: We perform a detailed analysis on broad pulses in bright Gamma-ray bursts (GRBs) to understand the evolution of GRB broad pulses. Using the temporal and spectral properties, we test the high latitude emission (HLE) scenario in the decaying phase of broad pulses. The HLE originates from the curvature effect of a relativistic spherical jet, where higher latitude photons are delayed and softer than the observer's line-of-sight emission. The signature of HLE has not yet been identified undisputedly during the prompt emission of GRBs. The HLE theory predicts a specific relation, F$_{\nu, E_{p}}$ $\propto$ E$_{p}\!^{2}$, between the peak energy $E_{p}$ in $\nu$F$_{\nu}$ spectra and the spectral flux F$_{\nu}$ measured at $E_{p}$, F$_{\nu, E_{p}}$. We search for evidence of this relation in 2157 GRBs detected by the Gamma-ray Burst Monitor (GBM) on board the Fermi Gamma-ray Space Telescope (Fermi) from the years 2008 to 2017. After imposing unbiased selection criteria in order to minimize contamination in a signal by background and overlaps of pulses, we build a sample of 32 broad pulses in 32 GRBs. We perform a time-resolved spectral analysis on each of these 32 broad pulses and find that the evolution of 18 pulses (56%) is clearly consistent with the HLE relation. For the 18 broad pulses, the exponent $\delta$ in the relation of F$_{\nu, E_{p}}$ $\propto$ E$_{p}\!^{\delta}$ is distributed as a Gaussian function with median and width of 1.99 and 0.34, respectively. This result provides constraint on the emission radius of GRBs with the HLE signature.


title: Towards Interactive, Adaptive and Result-aware Big Data Analytics

abstract: As data volumes grow across applications, analytics of large amounts of data is becoming increasingly important. Big data processing frameworks such as Apache Hadoop, Apache AsterixDB, and Apache Spark have been built to meet this demand. A common objective pursued by these traditional cluster-based big data processing frameworks is high performance, which often means low end-to-end execution time or latency. The widespread adoption of data analytics has led to a call to improve the traditional ways of big data processing. There have been demands for making the analytics process more interactive and adaptive, especially for long running jobs. The importance of initial results in the iterative process of data wrangling has motivated a result-aware approach to big data analytics. This dissertation is motivated by these calls for improvement in data processing and the experiences over the past few years while working on the Texera project, which is a collaborative data analytics service being developed at UC Irvine. This dissertation mainly consists of three parts. The first part is about the design of the Amber engine that serves as the backend data processing framework for the Texera service. The second part is about an adaptive and result-aware skew-handling framework called Reshape. Reshape uses fast control messages to implement iterative skew mitigation techniques for a wide variety of operators. The mitigation techniques in Reshape have also been analyzed from the perspective of their effects on the results shown to the user. The last part is about a result-aware workflow scheduling framework called Maestro. This part talks about how to schedule a workflow for execution on computing clusters and make result-aware decisions while doing so. This work improves the data analytics process by bringing interactivity, adaptivity and result-awareness into the process.


title: Covariant Cubic Interacting Vertices for Massless and Massive Integer Higher Spin Fields

abstract: We develop the BRST approach to construct the general off-shell local Lorentz covariant cubic interaction vertices for irreducible massless and massive higher spin fields on $d$-dimensional Minkowski space. We consider two different cases for interacting higher spin fields: with one massive and two massless; with two massive both with coinciding and with different masses and one massless fields of spins $s_1, s_2, s_3$. Unlike the previous results on cubic vertices we extend our earlier result in [arXiv:2105.12030[hep-th]] for massless fields and employ the complete BRST operator, including the trace constraints that is used to formulate an irreducible representation with definite integer spin. We generalize the cubic vertices proposed for reducible higher spin fields in [arXiv:1205.3131 [hep-th]] in the form of multiplicative and non-multiplicative BRST-closed constituents and calculate the new contributions to the vertex, which contain additional terms with a smaller number space-time derivatives of the fields. We prove that without traceless conditions for the cubic vertices in [arXiv:1205.3131 [hep-th]] it is impossible to provide the noncontradictory Lagrangian dynamics and find explicit traceless solution for these vertices. As the examples, we explicitly construct the interacting Lagrangian for the massive of spin $s$ field and massless scalars both with and without auxiliary fields. The interacting models with different combinations of triples higher spin fields: massive of spin $s$ with massless scalar and vector fields and with two vector fields; massless of helicity $\lambda$ with massless scalar and massive vector fields; two massive fields of spins $s, 0$ and massless scalar are also considered.


title: Interactive Sketching of Mannequin Poses

abstract: It can be easy and even fun to sketch humans in different poses. In contrast, creating those same poses on a 3D graphics "mannequin" is comparatively tedious. Yet 3D body poses are necessary for various downstream applications. We seek to preserve the convenience of 2D sketching while giving users of different skill levels the flexibility to accurately and more quickly pose\slash refine a 3D mannequin. At the core of the interactive system, we propose a machine-learning model for inferring the 3D pose of a CG mannequin from sketches of humans drawn in a cylinder-person style. Training such a model is challenging because of artist variability, a lack of sketch training data with corresponding ground truth 3D poses, and the high dimensionality of human pose-space. Our unique approach to synthesizing vector graphics training data underpins our integrated ML-and-kinematics system. We validate the system by tightly coupling it with a user interface, and by performing a user study, in addition to quantitative comparisons.


title: Research on The Cultivation Path of Craftsman Spirit in Higher Vocational Education Based on Survey Data

abstract: With the development of China's economy and society, the importance of "craftsman's spirit" has become more and more prominent. As the main educational institution for training technical talents, higher vocational colleges vigorously promote the exploration of the cultivation path of craftsman spirit in higher vocational education, which provides new ideas and directions for the reform and development of higher vocational education, and is the fundamental need of the national innovation driven development strategy. Based on the questionnaire survey of vocational students in a certain range, this paper analyzes the problems existing in the cultivation path of craftsman spirit in Higher Vocational Education from multiple levels and the countermeasures.


title: Rank Rigidity for CAT(0) spaces without 3-flats

abstract: If a group $\Gamma$ acts geometrically on a CAT(0) space $X$ without 3-flats, then either $X$ contains a $\Gamma$-periodic geodesic which does not bound a flat half-plane, or else $X$ is a rank 2 Riemannian symmetric space, a 2-dimensional Euclidean building or non-trivially splits as a metric product. Consequently all such groups satisfy a strong form of the Tits Alternative.


title: Domain Generalization by Learning and Removing Domain-specific Features

abstract: Deep Neural Networks (DNNs) suffer from domain shift when the test dataset follows a distribution different from the training dataset. Domain generalization aims to tackle this issue by learning a model that can generalize to unseen domains. In this paper, we propose a new approach that aims to explicitly remove domain-specific features for domain generalization. Following this approach, we propose a novel framework called Learning and Removing Domain-specific features for Generalization (LRDG) that learns a domain-invariant model by tactically removing domain-specific features from the input images. Specifically, we design a classifier to effectively learn the domain-specific features for each source domain, respectively. We then develop an encoder-decoder network to map each input image into a new image space where the learned domain-specific features are removed. With the images output by the encoder-decoder network, another classifier is designed to learn the domain-invariant features to conduct image classification. Extensive experiments demonstrate that our framework achieves superior performance compared with state-of-the-art methods.


title: Artificial intelligence-driven digital twin of a modern house demonstrated in virtual reality

abstract: A digital twin is a powerful tool that can help monitor and optimize physical assets in real-time. Simply put, it is a virtual representation of a physical asset, enabled through data and simulators, that can be used for a variety of purposes such as prediction, monitoring, and decision-making. However, the concept of digital twin can be vague and difficult to understand, which is why a new concept called "capability level" has been introduced. This concept categorizes digital twins based on their capability and defines a scale from zero to five, with each level indicating an increasing level of functionality. These levels are standalone, descriptive, diagnostic, predictive, prescriptive, and autonomous. By understanding the capability level of a digital twin, we can better understand its potential and limitations. To demonstrate the concepts, we use a modern house as an example. The house is equipped with a range of sensors that collect data about its internal state, which can then be used to create digital twins of different capability levels. These digital twins can be visualized in virtual reality, allowing users to interact with and manipulate the virtual environment. The current work not only presents a blueprint for developing digital twins but also suggests future research directions to enhance this technology. Digital twins have the potential to transform the way we monitor and optimize physical assets, and by understanding their capabilities, we can unlock their full potential.


title: Simplification of Forest Classifiers and Regressors

abstract: We study the problem of sharing as many branching conditions of a given forest classifier or regressor as possible while keeping classification performance. As a constraint for preventing from accuracy degradation, we first consider the one that the decision paths of all the given feature vectors must not change. For a branching condition that a value of a certain feature is at most a given threshold, the set of values satisfying such constraint can be represented as an interval. Thus, the problem is reduced to the problem of finding the minimum set intersecting all the constraint-satisfying intervals for each set of branching conditions on the same feature. We propose an algorithm for the original problem using an algorithm solving this problem efficiently. The constraint is relaxed later to promote further sharing of branching conditions by allowing decision path change of a certain ratio of the given feature vectors or allowing a certain number of non-intersected constraint-satisfying intervals. We also extended our algorithm for both the relaxations. The effectiveness of our method is demonstrated through comprehensive experiments using 21 datasets (13 classification and 8 regression datasets in UCI machine learning repository) and 4 classifiers/regressors (random forest, extremely randomized trees, AdaBoost and gradient boosting).


title: Measurement of the temperature decrease in evaporating soap films

abstract: Recent advances have demonstrated that evaporation can play a significant role on soap film stability, which is a key concern in many industrial areas but also for children playing with bubbles. Thus, evaporation leads to a film thinning but also to a film cooling, which has been overlooked for soapy objects. Here, we study the temperature variation of an evaporating soap film for different values of relative humidity and glycerol concentrations. We evidence that the temperature of soap films can decrease after their creation up to 8$~^\text{o}$C. We propose a model describing the temperature drop of soap films after their formation that is in quantitative agreement with our experiments. We emphasize that this cooling effect is significant and must be carefully considered in future studies on the dynamics of soap films.


title: Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments

abstract: The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of Ordinary Differential Equations. Alternative approaches based on formal calculi, often derived from process algebras or term rewriting systems, provide a quite complementary way to analyse the behaviour of biological systems. These calculi allow to cope in a natural way with notions like compartments and membranes, which are not easy (sometimes impossible) to handle with purely numerical approaches, and are often based on stochastic simulation methods. The Calculus of Wrapped Compartments is a framework based on stochastic multiset rewriting in a compartmentalised setting used for the description of biological and ecological systems. We provide an extended presentation of the Calculus of Wrapped Compartments, sketch a few modelling guidelines to encode biological and ecological interactions, show how spatial properties can be handled within the framework and define a hybrid simulation algorithm. Several applications in Biology and Ecology are proposed as modelling case studies.


title: Cameron-Liebler sets for maximal totally isotropic flats in classical affine spaces

abstract: Let $ACG(2\nu,\mathbb{F}_q)$ be the $2\nu$-dimensional classical affine space with parameter $e$ over a $q$-element finite field $\mathbb{F}_q$, and ${\cal O}_{\nu}$ be the set of all maximal totally isotropic flats in $ACG(2\nu,\mathbb{F}_q)$. In this paper, we discuss Cameron-Liebler sets in ${\cal O}_{\nu}$, obtain several equivalent definitions and present some classification results.


title: Slow dynamics of a mobile impurity interacting with an Anderson insulator

abstract: We investigate dynamics of a single mobile impurity immersed in a bath of Anderson localized particles and focus on the regime of relatively strong disorder and interactions. In that regime, the dynamics of the system is particularly slow, suggesting, at short times, an occurrence of many-body localization. Considering longer time scales, we show that the latter is a transient effect and that, eventually, the impurity spreads sub-diffusively and induces a gradual delocalization of the Anderson insulator. The phenomenology of the system in the considered regime of slow dynamics includes a sub-diffusive growth of mean square displacement of the impurity, power-law decay of density correlation functions of the Anderson insulator and a power-law growth of entanglement entropy in the system. We observe a similar regime of slow dynamics also when the disorder in the system is replaced by a sufficiently strong quasi-periodic potential.

categories: cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el quant-ph


title: School Choice with Farsighted Students

abstract: We consider priority-based school choice problems with farsighted students. We show that a singleton set consisting of the matching obtained from the Top Trading Cycles (TTC) mechanism is a farsighted stable set. However, the matching obtained from the Deferred Acceptance (DA) mechanism may not belong to any farsighted stable set. Hence, the TTC mechanism provides an assignment that is not only Pareto efficient but also farsightedly stable. Moreover, looking forward three steps ahead is already sufficient for stabilizing the matching obtained from the TTC.


title: Some remarks on the distribution of additive energy

abstract: The aim of this note is two-fold. In the first part of the paper we are going to investigate an inverse problem related to additive energy. In the second, we investigate how dense a subset of a finite structure can be for a given additive energy.


title: Gevrey regularity for the Euler-Bernoulli beam equation with localized structural damping

abstract: We study a Euler-Bernoulli beam equation with localized discontinuous structural damping. As our main result, we prove that the associated $C_0$-semigroup $(S(t))_{t\geq0}$ is of Gevrey class $\delta>24$ for $t>0$, hence immediately differentiable. Moreover, we show that $(S(t))_{t\geq0}$ is exponentially stable.


title: Conjugacy languages in virtual graph products

abstract: In this paper we study the behaviour of conjugacy languages in virtual graph products, extending results by Ciobanu, Hermiller, Holt and Rees. We focus primarily on virtual graph products in the form of a semi-direct product. First, we study the behaviour of twisted conjugacy representatives in right-angled Artin and Coxeter groups. We prove regularity of the conjugacy geodesic language for virtual graph products in certain cases, and highlight properties of the spherical conjugacy language, depending on the automorphism and ordering on the generating set. Finally, we give a criterion for when the spherical conjugacy language is not unambiguous context-free for virtual graph products. We can extend this further in the case of virtual RAAGs, to show the spherical conjugacy language is not context-free.


title: DialogQAE: N-to-N Question Answer Pair Extraction from Customer Service Chatlog

abstract: Harvesting question-answer (QA) pairs from customer service chatlog in the wild is an efficient way to enrich the knowledge base for customer service chatbots in the cold start or continuous integration scenarios. Prior work attempts to obtain 1-to-1 QA pairs from growing customer service chatlog, which fails to integrate the incomplete utterances from the dialog context for composite QA retrieval. In this paper, we propose N-to-N QA extraction task in which the derived questions and corresponding answers might be separated across different utterances. We introduce a suite of generative/discriminative tagging based methods with end-to-end and two-stage variants that perform well on 5 customer service datasets and for the first time setup a benchmark for N-to-N DialogQAE with utterance and session level evaluation metrics. With a deep dive into extracted QA pairs, we find that the relations between and inside the QA pairs can be indicators to analyze the dialogue structure, e.g. information seeking, clarification, barge-in and elaboration. We also show that the proposed models can adapt to different domains and languages, and reduce the labor cost of knowledge accumulation in the real-world product dialogue platform.


title: Interaction quenches in Bose gases studied with a time-dependent hypernetted-chain Euler-Lagrange method

abstract: We present a new variational method to study the dynamics of a closed bosonic many-body system, the time-dependent hypernetted-chain Euler-Lagrange method, tHNC . Based on the Jastrow ansatz, it accounts for quantum fluctuations in a non-perturbative way. tHNC scales well with the number of dimensions, as demonstrated by our results on one, two, and three dimensions. We apply the tHNC method to interaction quenches, i.e. sudden changes of the interaction strength, in homogeneous Bose gases. When the quench is strong enough that the final state has roton excitations (as found and predicted for dipolar and Rydberg-dressed Bose-Einstein condensates, respectively), the pair distribution function exhibits stable oscillations. For validation, we compare tHNC results with time-dependent variational Monte Carlo results in one and two dimensions.


title: Age of Information Optimization in Multi-Channel Network with Sided Information

abstract: We consider a discrete-time multi-channel network where the destination collects time-sensitive packets from multiple sources with sided channel information. The popular metric, Age of Information (AoI), is applied to measure the data freshness at the destination. Due to the interference constraint, only disjoint source-channel pairs can be chosen for transmission in each time slot, and the decision maker should choose the optimal scheduling pairs to minimize the average AoI at the destination. To learn the optimal channel selection, we apply the linear contextual bandit (LCB) framework by utilizing the sided information provided by pilots. Concretely, we establish the relationship between AoI regret and sub-optimal channel selection times and propose both age-independent and age-dependent algorithms. The former method is proven to achieve the sub-linear AoI regret but is outperformed by the latter algorithm both in the linear and non-linear contextual model in simulation.


title: Magnetic fluxes of solar active regions of different magneto-morphological classes: I. Cyclic variations

abstract: Data for 3046 solar active regions (ARs) observed since May 12, 1996 to December 27, 2021 were utilized to explore how the magnetic fluxes from ARs of different complexity follow the solar cycle. Magnetograms from the Michelson Doppler Imager instrument on the Solar and Heliospheric Observatory and from the Helioseismic and Magnetic Imager instrument on the Solar Dynamics Observatory were utilized. Each AR was classified as a regular bipolar AR (classes A1 or A2), or as an irregular bipolar AR (class B1), or as a multipolar AR (classes B2 or B3). Unipolar ARs were segregated into a specific class U. We found the following results. Unsigned magnetic fluxes from ARs of different classes evolve synchronously following the cycle, the correlation coefficient between the flux curves varies in a range of (0.70 - 0.99). The deepest solar minimum is observed simultaneously for all classes. Only the most simple ARs were observed during a deepest minimum: A1- and B1-class ARs. The overall shape of a cycle is governed by the regular ARs, whereas the fine structure of a solar maximum is determined by the most complex irregular ARs. Approximately equal amount of flux (45$-$50% of the total flux) is contributed by the A-class and B-class ARs during a solar maximum. Thus, observations allow us to conclude that the appearance of ARs with the magnetic flux above 10$^{21}$ Mx is caused by the solar dynamo that operates as a unique process displaying the properties of a non-linear dynamical dissipative system with a cyclic behaviour and unavoidable fluctuations.


title: Blood Oxygen Saturation Estimation from Facial Video via DC and AC components of Spatio-temporal Map

abstract: Peripheral blood oxygen saturation (SpO2), an indicator of oxygen levels in the blood, is one of the most important physiological parameters. Although SpO2 is usually measured using a pulse oximeter, non-contact SpO2 estimation methods from facial or hand videos have been attracting attention in recent years. In this paper, we propose an SpO2 estimation method from facial videos based on convolutional neural networks (CNN). Our method constructs CNN models that consider the direct current (DC) and alternating current (AC) components extracted from the RGB signals of facial videos, which are important in the principle of SpO2 estimation. Specifically, we extract the DC and AC components from the spatio-temporal map using filtering processes and train CNN models to predict SpO2 from these components. We also propose an end-to-end model that predicts SpO2 directly from the spatio-temporal map by extracting the DC and AC components via convolutional layers. Experiments using facial videos and SpO2 data from 50 subjects demonstrate that the proposed method achieves a better estimation performance than current state-of-the-art SpO2 estimation methods.


title: A mathematical analysis of the Kakinuma model for interfacial gravity waves. Part II: Justification as a shallow water approximation

abstract: We consider the Kakinuma model for the motion of interfacial gravity waves. The Kakinuma model is a system of Euler-Lagrange equations for an approximate Lagrangian, which is obtained by approximating the velocity potentials in the Lagrangian of the full model. Structures of the Kakinuma model and the well-posedness of its initial value problem were analyzed in the companion paper [arXiv:2103.12392]. In this present paper, we show that the Kakinuma model is a higher order shallow water approximation to the full model for interfacial gravity waves with an error of order $O(\delta_1^{4N+2}+\delta_2^{4N+2})$ in the sense of consistency, where $\delta_1$ and $\delta_2$ are shallowness parameters, which are the ratios of the mean depths of the upper and the lower layers to the typical horizontal wavelength, respectively, and $N$ is, roughly speaking, the size of the Kakinuma model and can be taken an arbitrarily large number. Moreover, under a hypothesis of the existence of the solution to the full model with a uniform bound, a rigorous justification of the Kakinuma model is proved by giving an error estimate between the solution to the Kakinuma model and that of the full model. An error estimate between the Hamiltonian of the Kakinuma model and that of the full model is also provided.


title: Uncertainty Quantification for Deep Neural Networks: An Empirical Comparison and Usage Guidelines

abstract: Deep Neural Networks (DNN) are increasingly used as components of larger software systems that need to process complex data, such as images, written texts, audio/video signals. DNN predictions cannot be assumed to be always correct for several reasons, among which the huge input space that is dealt with, the ambiguity of some inputs data, as well as the intrinsic properties of learning algorithms, which can provide only statistical warranties. Hence, developers have to cope with some residual error probability. An architectural pattern commonly adopted to manage failure-prone components is the supervisor, an additional component that can estimate the reliability of the predictions made by untrusted (e.g., DNN) components and can activate an automated healing procedure when these are likely to fail, ensuring that the Deep Learning based System (DLS) does not cause damages, despite its main functionality being suspended. In this paper, we consider DLS that implement a supervisor by means of uncertainty estimation. After overviewing the main approaches to uncertainty estimation and discussing their pros and cons, we motivate the need for a specific empirical assessment method that can deal with the experimental setting in which supervisors are used, where the accuracy of the DNN matters only as long as the supervisor lets the DLS continue to operate. Then we present a large empirical study conducted to compare the alternative approaches to uncertainty estimation. We distilled a set of guidelines for developers that are useful to incorporate a supervisor based on uncertainty monitoring into a DLS.


title: Efficient Non-isomorphic Graph Enumeration Algorithms for Subclasses of Perfect Graphs

abstract: Intersection graphs are well-studied in the area of graph algorithms. Some intersection graph classes are known to have algorithms enumerating all unlabeled graphs by reverse search. Since these algorithms output graphs one by one and the numbers of graphs in these classes are vast, they work only for a small number of vertices. Binary decision diagrams (BDDs) are compact data structures for various types of data and useful for solving optimization and enumeration problems. This study proposes enumeration algorithms for five intersection graph classes, which admit $\mathrm{O}(n)$-bit string representations for their member graphs. Our algorithm for each class enumerates all unlabeled graphs with $n$ vertices over BDDs representing the binary strings in time polynomial in $n$. Moreover, our algorithms are extended to enumerate those with constraints on the maximum (bi)clique size and/or the number of edges.


title: Search for the rare decays $W^+ \to D^+_s\gamma$ and $Z \to D^0\gamma$ at LHCb

abstract: A search for the rare decays $W^{+}\rightarrow{D^{+}_{s}\gamma}$ and $Z\rightarrow{D^{0}\gamma}$ is performed using proton-proton collision data collected by the LHCb experiment at a centre-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 2.0 fb$^{-1}$. No significant signal is observed for either decay mode and upper limits on their branching fractions are set using $W^{+}\rightarrow{\mu^{+}\nu}$ and $Z\rightarrow{\mu^{+}\mu^{-}}$ decays as normalization channels. The upper limits are $6.5\times10^{-4}$ and $2.1\times10^{-3}$ at 95% confidence level for the $W^{+}\rightarrow{D^{+}_{s}\gamma}$ and $Z\rightarrow{D^{0}\gamma}$ decay modes, respectively. This is the first reported search for the $Z\rightarrow{D^{0}\gamma}$ decay, while the upper limit on the $W^{+}\rightarrow{D^{+}_{s}\gamma}$ branching fraction improves upon the previous best limit.


title: Layer stripping approach to reconstruct shape defects in waveguides using locally resonant frequencies

abstract: This article present a new method to reconstruct slowly varying width defects in 2D waveguides using one-side section measurements at locally resonant frequencies. At these frequencies, locally resonant modes propagate in the waveguide up to a "cut-off" position. In this particular point, the local width of the waveguide can be recovered. Given multi-frequency measurements taken on a section of the waveguide, we perform an efficient layer stripping approach to recover shape variations slice by slice. It provides an L infinite-stable method to reconstruct the width of a slowly monotonous varying waveguide. We validate this method on numerical data and discuss its limits.


title: Relative homological rings and modules

abstract: The study of rings and modules with homological criteria is a cornerstone of commutative algebra. Let $R$ be a commutative Noetherian ring with identity (not necessarily local) and $\frak a$ a proper ideal of $R$. In this paper, a relative analogue of the theory of homological rings and modules is developed. We introduce the notions of $\frak a$-relative regular, $\frak a$-relative complete intersection, and $\frak a$-relative Gorenstein rings and modules. We extend some classical results by demonstrating some interactions between these types of rings and modules.


title: Reinforcement Learning in System Identification

abstract: System identification, also known as learning forward models, transfer functions, system dynamics, etc., has a long tradition both in science and engineering in different fields. Particularly, it is a recurring theme in Reinforcement Learning research, where forward models approximate the state transition function of a Markov Decision Process by learning a mapping function from current state and action to the next state. This problem is commonly defined as a Supervised Learning problem in a direct way. This common approach faces several difficulties due to the inherent complexities of the dynamics to learn, for example, delayed effects, high non-linearity, non-stationarity, partial observability and, more important, error accumulation when using bootstrapped predictions (predictions based on past predictions), over large time horizons. Here we explore the use of Reinforcement Learning in this problem. We elaborate on why and how this problem fits naturally and sound as a Reinforcement Learning problem, and present some experimental results that demonstrate RL is a promising technique to solve these kind of problems.


title: Data Structures for Approximate Discrete Fr\'echet Distance

abstract: The Fr\'{e}chet distance is one of the most studied distance measures between curves $P$ and $Q$. The data structure variant of the problem is a longstanding open problem: Efficiently preprocess $P$, so that for any $Q$ given at query time, one can efficiently approximate their Fr\'{e}chet distance. There exist conditional lower bounds that prohibit $(1 + \varepsilon)$-approximate Fr\'{e}chet distance computations in subquadratic time, even when preprocessing $P$ using any polynomial amount of time and space. As a consequence, the problem has been studied under various restrictions: restricting $Q$ to be a (horizontal) segment, or requiring $P$ and $Q$ to be so-called \emph{realistic} input curves. We give a data structure for $(1+\varepsilon)$-approximate discrete Fr\'{e}chet distance in any metric space $\mathcal{X}$ between a realistic input curve $P$ and any query curve $Q$. After preprocessing the input curve $P$ (of length $|P|=n$) in $O(n \log n)$ time, we may answer queries specifying a query curve $Q$ and an $\varepsilon$, and output a value $d(P,Q)$ which is at most a $(1+\varepsilon)$-factor away from the true Fr\'{e}chet distance between $Q$ and $P$. Our query time is asymptotically linear in $|Q|=m$, $\frac{1}{\varepsilon}$, $\log n$, and the realism parameter $c$ or $\kappa$. Our data structure is the first to: adapt to the approximation parameter $\varepsilon$ at query time, handle query curves with arbitrarily many vertices, work for any ambient space of the curves, or be dynamic. The method presented in this paper simplifies and generalizes previous contributions to the static problem variant. We obtain efficient queries (and therefore static algorithms) for Fr\'{e}chet distance computation in high-dimensional spaces and other ambient metric spaces.


title: Towards practical Quantum Credit Risk Analysis

abstract: In recent years, a CRA (Credit Risk Analysis) quantum algorithm with a quadratic speedup over classical analogous methods has been introduced. We propose a new variant of this quantum algorithm with the intent of overcoming some of the most significant limitations (according to business domain experts) of this approach. In particular, we describe a method to implement a more realistic and complex risk model for the default probability of each portfolio's asset, capable of taking into account multiple systemic risk factors. In addition, we present a solution to increase the flexibility of one of the model's inputs, the Loss Given Default, removing the constraint to use integer values. This specific improvement addresses the need to use real data coming from the financial sector in order to establish fair benchmarking protocols. Although these enhancements come at a cost in terms of circuit depth and width, they nevertheless show a path towards a more realistic software solution. Recent progress in quantum technology shows that eventually, the increase in the number and reliability of qubits will allow for useful results and meaningful scales for the financial sector, also on real quantum hardware, paving the way for a concrete quantum advantage in the field. The paper also describes experiments conducted on simulators to test the circuit proposed and contains an assessment of the scalability of the approach presented.


title: Explainability of Text Processing and Retrieval Methods: A Critical Survey

abstract: Deep Learning and Machine Learning based models have become extremely popular in text processing and information retrieval. However, the non-linear structures present inside the networks make these models largely inscrutable. A significant body of research has focused on increasing the transparency of these models. This article provides a broad overview of research on the explainability and interpretability of natural language processing and information retrieval methods. More specifically, we survey approaches that have been applied to explain word embeddings, sequence modeling, attention modules, transformers, BERT, and document ranking. The concluding section suggests some possible directions for future research on this topic.


title: Towards mapping the contemporary art world with ArtLM: an art-specific NLP model

abstract: With an increasing amount of data in the art world, discovering artists and artworks suitable to collectors' tastes becomes a challenge. It is no longer enough to use visual information, as contextual information about the artist has become just as important in contemporary art. In this work, we present a generic Natural Language Processing framework (called ArtLM) to discover the connections among contemporary artists based on their biographies. In this approach, we first continue to pre-train the existing general English language models with a large amount of unlabelled art-related data. We then fine-tune this new pre-trained model with our biography pair dataset manually annotated by a team of professionals in the art industry. With extensive experiments, we demonstrate that our ArtLM achieves 85.6% accuracy and 84.0% F1 score and outperforms other baseline models. We also provide a visualisation and a qualitative analysis of the artist network built from ArtLM's outputs.


title: Influence of rationality levels on dynamics of heterogeneous Cournot duopolists with quadratic costs

abstract: This paper is intended to investigate the dynamics of heterogeneous Cournot duopoly games, where the first players adopt identical gradient adjustment mechanisms but the second players are endowed with distinct rationality levels. Based on tools of symbolic computations, we introduce a new approach and use it to establish rigorous conditions of the local stability for these models. We analytically investigate the bifurcations and prove that the period-doubling bifurcation is the only possible bifurcation that may occur for all the considered models. The most important finding of our study is regarding the influence of players' rational levels on the stability of heterogeneous duopolistic competition. It is derived that the stability region of the model where the second firm is rational is the smallest, while that of the one where the second firm is boundedly rational is the largest. This fact is counterintuitive and contrasts with relative conclusions in the existing literature. Furthermore, we also provide numerical simulations to demonstrate the emergence of complex dynamics such as periodic solutions with different orders and strange attractors.


title: Attractive and repulsive fluctuation-induced pressure in peptide films deposited on semiconductor substrates

abstract: We consider the fluctuation-induced (Casimir) pressure in peptide films deposited on GaAs, Ge, and ZnS substrates which are either in dielectric or metallic state. Calculations of the Casimir pressure are performed in the framework of fundamental Lifshitz theory employing the frequency-dependent dielectric permittivities of all involved materials. The electric conductivity of semiconductor substrates is taken into account within the experimentally and thermodynamically consistent approach. According to our results, the Casimir pressure in peptide films deposited on dielectric-type semiconductor substrates vanishes for some definite film thickness, is repulsive for thinner and attractive for thicker films. The dependence of this effect on the fraction of water in the film and on the static dielectric permittivity of semiconductor substrate is determined. For the metallic-type semiconductor substrates, the Casimir pressure in peptide coatings is shown to be always repulsive. Possible applications of these results to the problem of stability of thin coatings in microdevices are discussed.


title: Generalized Vaidya spacetime: horizons, conformal symmetries, surface gravity and diagonalization

abstract: In this paper the different properties of generalized Vaidya spacetime are considered. We located and compared different types of horizons. We show that the apparent horizon can contain the event horizon. The locations of all types of horizons are compared with ones in usual Vaidya spacetime. Also, we consider the conformal Killing vector and transform the metric to conformally-static coordinates. We introduce a new constant of motion along null and timelike geodesics, which is generated by homothetic Killing vector. The conformally-static coordinates allow to diagonalize the generalized Vaidya spacetime. The surface gravity has been calculated for the dust and stiff fluid cases.


title: Distributed vorticity model for vortex molecule dynamics

abstract: We analyze the effect of a hard wall trapping potential on the dynamics of a vortex molecule in a two-component Bose-Einstein condensate with linear coherent coupling. A vortex molecule consists of a vortex of the same charge in each component condensate connected by a domain wall of the relative phase. In a previous paper Ref.[Phys. RevA. 106,043319(2022)] we described the interaction of a vortex molecule with the boundary using the method of images by separately treating each component vortex as a point vortex, in addition to a Magnus force effect from the surface tension of the domain wall. Here we extend the model by considering a continuous distribution of image vorticity reflecting the effect of the domain wall on the vortex molecule phase structure. In the case of a precessing centered vortex molecule in an isotropic trap, distributing the image vorticity weakens its contribution to the precession frequency. We test the model predictions against numerical simulations of the coupled Gross-Pitaevskii equations in a two-dimensional circular disc and find support for the improved model.


title: Resilient Terrain Navigation with a 5 DOF Metal Detector Drone

abstract: Micro aerial vehicles (MAVs) hold the potential for performing autonomous and contactless land surveys for the detection of landmines and explosive remnants of war (ERW). Metal detectors are the standard detection tool but must be operated close to and parallel to the terrain. A successful combination of MAVs with metal detectors has not been presented yet, as it requires advanced flight capabilities. To this end, we present an autonomous system to survey challenging undulated terrain using a metal detector mounted on a 5 degrees of freedom (DOF) MAV. Based on an online estimate of the terrain, our receding-horizon planner efficiently covers the area, aligning the detector to the surface while considering the kinematic and visibility constraints of the platform. As the survey requires resilient and accurate localization in diverse terrain, we also propose a factor graph-based online fusion of GNSS, IMU, and LiDAR measurements. We validate the robustness of the solution to individual sensor degeneracy by flying under the canopy of trees and over featureless fields. A simulated ablation study shows that the proposed planner reduces coverage duration and improves trajectory smoothness. Real-world flight experiments showcase autonomous mapping of buried metallic objects in undulated and obstructed terrain.


title: Scalable Bell inequalities for graph states of arbitrary prime local dimension and self-testing

abstract: Bell nonlocality -- the existence of quantum correlations that cannot be explained by classical means -- is certainly one of the most striking features of quantum mechanics. Its range of applications in device-independent protocols is constantly growing. Many relevant quantum features can be inferred from violations of Bell inequalities, including entanglement detection and quantification, and state certification applicable to systems of arbitrary number of particles. A complete characterisation of nonlocal correlations for many-body systems is, however, a computationally intractable problem. Even if one restricts the analysis to specific classes of states, no general method to tailor Bell inequalities to be violated by a given state is known. In this work we provide a general construction of Bell inequalities that are maximally violated by graph states of any prime local dimension. These form a broad class of multipartite quantum states that have many applications in quantum information, including quantum error correction. We analytically determine their maximal quantum violation, a number of high relevance for device-independent applications of Bell inequalities. Finally, we show that these inequalities can be used for self-testing of multi-qutrit graph states such as the well-known four-qutrit absolutely maximally entangled state AME(4,3).


title: An emergent quasi-2D metallic state derived from the Mott insulator framework

abstract: Recent quasi-2D systems with judicious exploitation of the atomic monolayer or few-layer architecture exhibit unprecedented physical properties that challenge the conventional wisdom on the condensed matter physics. Here we show that the infinite layer SrCuO2 (SCO), a topical cuprate Mott insulator in the bulk form, can manifest an unexpected metallic state in the quasi-2D limit when SCO is grown on TiO2-terminated SrTiO3 (STO) substrates. Hard x-ray core-level photoemission spectra demonstrate a definitive Fermi level that resembles the hole doped metal. Soft x-ray absorption spectroscopy also reveals features analogous to those of a hole doped Mott insulator. Based on these results, we conclude that the hole doping does not occur at the interfaces between SCO and STO; instead, it comes from the transient layers between the chain type and the planar type structures within the SCO slab. The present work reveals a novel metallic state in the infinite layer SCO and invites further examination to elucidate the spatial extent of this state.


title: Accessible categories with a class of limits

abstract: In this paper we characterize those accessible $\mathcal V$-categories that have limits of a specified class. We do this by introducing the notion of companion $\mathfrak C$ for a class of weights $\Psi$, as a collection of special types of colimit diagrams that are compatible with $\Psi$. We then characterize the accessible $\mathcal V$-categories with $\Psi$-limits as those accessibly embedded and $\mathfrak C$-virtually reflective in a presheaf $\mathcal V$-category, and as the $\mathcal V$-categories of $\mathfrak C$-models of sketches. This allows us to recover the standard theorems for locally presentable, locally multipresentable, and locally polypresentable categories as instances of the same general framework. In addition, our theorem covers the case of any weakly sound class $\Psi$, and provides a new perspective on the case of weakly locally presentable categories.


title: Event-driven Spectrotemporal Feature Extraction and Classification using a Silicon Cochlea Model

abstract: This paper presents a reconfigurable digital implementation of an event-based binaural cochlear system on a Field Programmable Gate Array (FPGA). It consists of a pair of the Cascade of Asymmetric Resonators with Fast Acting Compression (CAR FAC) cochlea models and leaky integrate and fire (LIF) neurons. Additionally, we propose an event-driven SpectroTemporal Receptive Field (STRF) Feature Extraction using Adaptive Selection Thresholds (FEAST). It is tested on the TIDIGTIS benchmark and compared with current event-based auditory signal processing approaches and neural networks.


title: On a comparison between absolute and relative self-adjoint extension schemes

abstract: The problem of connecting the operator parameters that label the same self-adjoint extension of a given symmetric operator, respectively, within the 'absolute' von Neumann extension scheme and the 'relative' boundary-triplet-induced extension scheme (i.e., a la Kre\u{i}n-Vi\v{s}ik-Birman) is discussed, and quantitative connections between the two parameters are established in the limit of deficiency spaces at complex spectral points converging to the deficiency space at a real spectral point.


title: Approximating Optimal Estimation of Time Offset Synchronization with Temperature Variations

abstract: The paper addresses the problem of time offset synchronization in the presence of temperature variations, which lead to a non-Gaussian environment. In this context, regular Kalman filtering reveals to be suboptimal. A functional optimization approach is developed in order to approximate optimal estimation of the clock offset between master and slave. A numerical approximation is provided to this aim, based on regular neural network training. Other heuristics are provided as well, based on spline regression. An extensive performance evaluation highlights the benefits of the proposed techniques, which can be easily generalized to several clock synchronization protocols and operating environments.


title: Searches for ultra-high energy photons and neutrinos with the Pierre Auger Observatory

abstract: The Pierre Auger Observatory is the largest astroparticle experiment in operation. Complementary to the measurements of the charged ultra-high energy (UHE) cosmic rays, it provides a very good sensitivity to the detection of UHE photons and neutrinos. Since the photon and neutrino fluxes are correlated to the acceleration mechanisms of charged particles, searches for these neutral particles enhance the multi-messenger understanding of UHE cosmic-ray sources and of transient astrophysical phenomena. In addition, searches for diffuse fluxes may bring information about exotic scenarios such as the decay of hypothetical super-heavy dark matter in the Galactic halo. In this contribution, we present an overview of the current UHE photon and neutrino searches at the Observatory and discuss the most recent results. We report on stringent limits to the UHE photon and neutrino diffuse and point-like fluxes above 1017 eV, which lead to strong constraints on theoretical models describing the nature of dark matter candidates and the sources of the most energetic particles in the Universe.


title: Describing realizable Gauss diagrams using the concepts of parity or bipartate graphs

abstract: Two recent publications describe realizable Gauss diagrams using conditions stating that the number of chords in certain sets of chords is even or odd. We demonstrate that these descriptions are incorrect by finding multiple counter-examples. However, the idea of having a parity-based description of realizable Gauss diagrams is attractive. We recall that realizability of Gauss diagrams as touch curves can be described via bipartite graphs. We show that realizable Gauss diagrams can be described via bipartite graphs.


title: RIS-Enabled and Access-Point-Free Simultaneous Radio Localization and Mapping

abstract: In the upcoming sixth generation (6G) of wireless communication systems, reconfigurable intelligent surfaces~(RISs) are regarded as one of the promising technological enablers, which can provide programmable signal propagation. Therefore, simultaneous radio localization and mapping(SLAM) with RISs appears as an emerging research direction within the 6G ecosystem. In this paper, we propose a novel framework of RIS-enabled radio SLAM for wireless operation without the intervention of access points (APs). We first design the RIS phase profiles leveraging prior information for the user equipment~(UE), such that they uniformly illuminate the angular sector where the UE is probabilistically located. Second, we modify the marginal Poisson multi-Bernoulli SLAM filter and estimate the UE state and landmarks, which enables efficient mapping of the radio propagation environment. Third, we derive the theoretical Cram\'er-Rao lower bounds on the estimators for the channel parameters and the UE state. We finally evaluate the performance of the proposed method under scenarios with a limited number of transmissions, taking into account the channel coherence time. Our results demonstrate that the RIS enables solving the radio SLAM problem with zero APs, and that the consideration of the Doppler shift contributes to improving the UE speed estimates.


title: RIS-Aided Monostatic Sensing and Object Detection with Single and Double Bounce Multipath

abstract: We propose a framework for monostatic sensing by a user equipment (UE), aided by a reconfigurable intelligent surface (RIS) in environments with single- and double-bounce signal propagation. We design appropriate UE-side precoding and combining, to facilitate signal separation. We derive the adaptive detection probabilities of the resolvable signals, based on the geometric channel parameters of the links. Then, we estimate the passive objects using both the double-bounce signals via passive RIS (i.e., RIS-sensing) and the single-bounce multipath direct to the objects (i.e., non-RIS-sensing), based on a mapping filter. Finally, we provide numerical results to demonstrate that effective sensing can be achieved through the proposed framework.


title: Reproducible scaling laws for contrastive language-image learning

abstract: Scaling up neural networks has led to remarkable performance across a wide range of tasks. Moreover, performance often follows reliable scaling laws as a function of training set size, model size, and compute, which offers valuable guidance as large-scale experiments are becoming increasingly expensive. However, previous work on scaling laws has primarily used private data \& models or focused on uni-modal language or vision learning. To address these limitations, we investigate scaling laws for contrastive language-image pre-training (CLIP) with the public LAION dataset and the open-source OpenCLIP repository. Our large-scale experiments involve models trained on up to two billion image-text pairs and identify power law scaling for multiple downstream tasks including zero-shot classification, retrieval, linear probing, and end-to-end fine-tuning. We find that the training distribution plays a key role in scaling laws as the OpenAI and OpenCLIP models exhibit different scaling behavior despite identical model architectures and similar training recipes. We open-source our evaluation workflow and all models, including the largest public CLIP models, to ensure reproducibility and make scaling laws research more accessible. Source code and instructions to reproduce this study will be available at https://github.com/LAION-AI/scaling-laws-openclip


title: Uncertain Facial Expression Recognition via Multi-task Assisted Correction

abstract: Deep models for facial expression recognition achieve high performance by training on large-scale labeled data. However, publicly available datasets contain uncertain facial expressions caused by ambiguous annotations or confusing emotions, which could severely decline the robustness. Previous studies usually follow the bias elimination method in general tasks without considering the uncertainty problem from the perspective of different corresponding sources. In this paper, we propose a novel method of multi-task assisted correction in addressing uncertain facial expression recognition called MTAC. Specifically, a confidence estimation block and a weighted regularization module are applied to highlight solid samples and suppress uncertain samples in every batch. In addition, two auxiliary tasks, i.e., action unit detection and valence-arousal measurement, are introduced to learn semantic distributions from a data-driven AU graph and mitigate category imbalance based on latent dependencies between discrete and continuous emotions, respectively. Moreover, a re-labeling strategy guided by feature-level similarity constraint further generates new labels for identified uncertain samples to promote model learning. The proposed method can flexibly combine with existing frameworks in a fully-supervised or weakly-supervised manner. Experiments on RAF-DB, AffectNet, and AffWild2 datasets demonstrate that the MTAC obtains substantial improvements over baselines when facing synthetic and real uncertainties and outperforms the state-of-the-art methods.


title: Implementation and Evaluation of the RBIS Protocol in 5G

abstract: 5G and 6G wireless communications allow for novel and disruptive applications. While 5G was strongly focused on improvements on QoS and QoS guarantees that are necessary for industrial deployments, 6G will have a disruptive impact on possible use cases. Here, nearly each use case requires time synchronization of the involved systems. While PTP in its variations, e.g. IEEE 1588 v2.1 or IEEE 802.1AS, has established as standard for wireline systems, time synchronization of wireless or hybrid systems is still subject to research. Thus, the so-called RBIS protocol, which was originally developed and investigated for Wi-Fi, is mapped to 5G. This is possible, because both systems are infrastructure based and a suitable broadcast that fits to the requirements of RBIS protocol can be found in the control layer of 5G NR. Even if the 1 microsecond requirement that is required by some applications is not yet cracked, the accuracy of 1.3 microseconds and precision of <4.3 microseconds for non-invasive extension of existing 5G deployments is highly promising.


title: Fully complex-valued deep learning model for visual perception

abstract: Deep learning models operating in the complex domain are used due to their rich representation capacity. However, most of these models are either restricted to the first quadrant of the complex plane or project the complex-valued data into the real domain, causing a loss of information. This paper proposes that operating entirely in the complex domain increases the overall performance of complex-valued models. A novel, fully complex-valued learning scheme is proposed to train a Fully Complex-valued Convolutional Neural Network (FC-CNN) using a newly proposed complex-valued loss function and training strategy. Benchmarked on CIFAR-10, SVHN, and CIFAR-100, FC-CNN has a 4-10% gain compared to its real-valued counterpart, maintaining the model complexity. With fewer parameters, it achieves comparable performance to state-of-the-art complex-valued models on CIFAR-10 and SVHN. For the CIFAR-100 dataset, it achieves state-of-the-art performance with 25% fewer parameters. FC-CNN shows better training efficiency and much faster convergence than all the other models.


title: Anomalous Vapor and Ice Nucleation in Water at Negative Pressures: A Classical Density Functional Theory Study

abstract: In contrast to the abundance of work on the anomalous behavior of water, the relationship between the water's thermodynamic anomalies and kinetics of phase transition from metastable water is relatively unexplored. In this work, we have employed classical density functional theory to provide a unified and coherent picture of nucleation (both vapor and ice) from metastable water, especially at negative pressure conditions. Our results suggest a peculiar non-monotonic temperature dependence of liquid-vapor surface tension at temperatures where liquid-vapor coexistence is metastable with respect to the ice phase. The vapor nucleation barrier on isochoric cooling also shows a non-monotonic temperature dependence. We further note that, for lower density isochores, the temperature of minimum vapor nucleation barrier ($T_{\Delta \Omega_{\rm v/min}^*}$) does not coincide with the temperature of maximum density (TMD) where metastability is maximum. The temperature difference between the $T_{\Delta \Omega_{\rm v/min}^*}$ and the TMD, however, decreases with increasing the density of the isochore, suggesting a strong correlation between the propensity of cavitation and metastability of the liquid water at high densities. The vapor nucleation barrier along isobaric cooling shows an interesting crossover behavior where it first increases on lowering the temperature and then shows a non-monotonic behavior in the vicinity of the Widom line on further lowering the temperature. Our results on the ice nucleation from metastable water show an anomalous retracing behavior of the ice nucleation barrier along isotherms and theoretically validate the recent findings that the reentrant ice(Ih)-liquid coexistence can induce a drastic change in the kinetics of ice nucleation. In addition, this study also provides deeper insights into the origin of the isothermal compressibility maximum on isochoric cooling.


title: Unconventional topological phase transition from semimetal to insulator in SnBi2Te4: Role of anomalous thermal expansion

abstract: We propose SnBi2Te4 to be a novel candidate material exhibiting temperature (T) mediated transitions between rich topological phases. From a combined theoretical and experimental studies, we find that SnBi2Te4 goes from a low-T topological semimetallic phase to a high-T (room temperature) topological insulating phase via an intermediate topological metallic phase. Single crystals of SnBi2Te4 are characterized by various experimental probes including Synchrotron based X-ray diffraction, magnetoresistance, Hall effect, Seebeck coefficient, magnetization and angle-resolved photoemission spectroscopy (ARPES). X-ray diffraction data confirms an anomalous thermal expansion of the unit cell volume below 100 K, which significantly affects the bulk band structure and hence the transport properties, as confirmed by our density functional theory calculations. Simulated surface states at 15 K agree fairly well with our ARPES data and are found to be robust with varying T. This indirectly supports the experimentally observed paramagnetic singularity in the entire T-range. The proposed coexistence of rich topological phases is a rare occurrence, yet paves a fertile ground to tune various topological phases in a material driven by structural distortion.


title: On proximal gradient mapping and its minimization in norm via potential function-based acceleration

abstract: The proximal gradient descent method, well-known for composite optimization, can be completely described by the concept of proximal gradient mapping. In this paper, we highlight our previous two discoveries of proximal gradient mapping--norm monotonicity and refined descent, with which we are able to extend the recently proposed potential function-based framework from gradient descent to proximal gradient descent.


title: Quantum Monte Carlo study of the attractive kagome-lattice Hubbard model

abstract: Recent experimental discovery of several families of kagome-lattice materials has boosted the interest in electronic correlations on kagome lattice. As an initial step to understand the observed complex phenomena, it is helpful to know the correspondence between simple forms of interactions and the induced correlated states on kagome lattice. Considering the lack of such studies, here we systematically investigate the attractive kagome-lattice Hubbard model using the mean-field approach and determinant quantum Monte Carlo (DQMC). A charge-density-wave order satisfying the triangle rule is predicted by the mean-field treatment, and subsequent DQMC simulations provide indirect evidence for its existence. The $s$-wave superconductivity is found to be stabilized at low temperatures, and exists in dome regions of the phase diagrams. We then determine the superconducting critical temperature quantitatively by finite-size scaling of the pair structure factor. These results may be helpful in understanding the observed superconductivity in kagome-lattice materials.


title: Connected correlations in partitioning protocols: a case study and beyond

abstract: The assumption of local relaxation in inhomogeneous quantum quenches allows to compute asymptotically the expectation value of local observables via hydrodynamic arguments known as generalized hydrodynamics (GHD). In this work we address formally the question of when an observable is ``local enough'' to be described by GHD using the playground of partitioning protocols and non-interacting time evolution. We show that any state evolving under a quadratic Hamiltonian can be described via a set of decoupled dynamical fields such that one of those fields can be identified with a space-time-dependent generalisation of the root density. By studying the contribution to a connected spin correlation of each of those fields independently, we derive the locality conditions under which an observable can be described using the root density only. That shows both the regime of validity for hydrodynamic approaches that aim at describing the asymptotic value of observables in term of the root density only, such as GHD, and the locality conditions necessary for Gaussianification to occur.


title: Non-Markovian stochastic Gross-Pitaevskii equation for the exciton-polariton Bose-Einstein condensate

abstract: In this paper, a non-Markovian Gross-Pitaevskii equation is proposed to describe the formation of a condensate in an exciton-polariton system under incoherent pumping. By introducing spatially delta-correlated noise terms, we observe a transition from a spatially ordered phase to a disordered one as the temperature increases. In course of this process, the population of the condensate is significantly reduced. Irregularly located separate dense spots of condensate above the transition temperature are revealed. Using the Gabor transform, it is shown that, with increasing temperature, the condensate decoheres, that is accompanied by the transition from narrowband to broadband spectral density.


title: Impact of a new H/He equation of state on the evolution of massive brown dwarfs. New determination of the hydrogen burning limit

abstract: We have explored the impact of the latest equation of state (EOS) for dense hydrogen-helium mixtures (Chabrier \& Debras 2021), which takes into account the interactions between hydrogen and helium species, upon the evolution of very low mass stars and brown dwarfs (BD). These interactions modify the thermodynamic properties of the H/He mixture, notably the entropy, a quantity of prime importance for these fully convective bodies, but also the onset and the development of degeneracy throughout the body. This translates into a faster cooling rate, i.e. cooler isentropes for a given mass and age, and thus larger brown dwarf masses and smaller radii for given effective temperature and luminosity than the models based on previous EOSs. This means that objects of a given mass and age, in the range $M\lesssim 0.1\,\msol$, $\tau\gtrsim 10^8$ yr, will have cooler effective temperatures and fainter luminosities. Confronting these new models with several observationally determined BD dynamical masses, we show that this improves the agreement between evolutionary models and observations and resolves at least part of the observed discrepancies between the properties of dynamical mass determinations and evolutionary models. A noticeable consequence of this improvement of the dense H/He EOS is that it yields a larger H-burning minimum mass, now found to be $0.075\,\msol$ ($78.5\,\mjup$) with the ATMO atmosphere models for solar metallicity. These updated brown dwarf models are made publicly available.


title: Path separation of dissipation-corrected targeted molecular dynamics simulations of protein-ligand unbinding

abstract: Protein-ligand (un)binding simulations are a recent focus of biased molecular dynamics simulations. Such binding and unbinding can occur via different pathways in and out of a binding site. We here present a theoretical framework how to compute kinetics along separate paths and to combine the path-specific rates into global binding and unbinding rates for comparison with experiment. Using dissipation-corrected targeted molecular dynamics in combination with temperature-boosted Langevin equation simulations [Nat. Commun. \textbf{11}, 2918 (2020)] applied to a two-dimensional model and the trypsin-benzamidine complex as test systems, we assess the robustness of the procedure and discuss aspects of its practical applicability to predict multisecond kinetics of complex biomolecular systems.

categories: cond-mat.soft cond-mat.stat-mech physics.comp-ph physics.data-an q-bio.BM


title: Autonomous Vehicle Navigation with LIDAR using Path Planning

abstract: In this paper, a complete framework for Autonomous Self Driving is implemented. LIDAR, Camera and IMU sensors are used together. The entire data communication is managed using Robot Operating System which provides a robust platform for implementation of Robotics Projects. Jetson Nano is used to provide powerful on-board processing capabilities. Sensor fusion is performed on the data received from the different sensors to improve the accuracy of the decision making and inferences that we derive from the data. This data is then used to create a localized map of the environment. In this step, the position of the vehicle is obtained with respect to the Mapping done using the sensor data.The different SLAM techniques used for this purpose are Hector Mapping and GMapping which are widely used mapping techniques in ROS. Apart from SLAM that primarily uses LIDAR data, Visual Odometry is implemented using a Monocular Camera. The sensor fused data is then used by Adaptive Monte Carlo Localization for car localization. Using the localized map developed, Path Planning techniques like "TEB planner" and "Dynamic Window Approach" are implemented for autonomous navigation of the vehicle. The last step in the Project is the implantation of Control which is the final decision making block in the pipeline that gives speed and steering data for the navigation that is compatible with Ackermann Kinematics. The implementation of such a control block under a ROS framework using the three sensors, viz, LIDAR, Camera and IMU is a novel approach that is undertaken in this project.


title: MIST: a Large-Scale Annotated Resource and Neural Models for Functions of Modal Verbs in English Scientific Text

abstract: Modal verbs (e.g., "can", "should", or "must") occur highly frequently in scientific articles. Decoding their function is not straightforward: they are often used for hedging, but they may also denote abilities and restrictions. Understanding their meaning is important for various NLP tasks such as writing assistance or accurate information extraction from scientific text. To foster research on the usage of modals in this genre, we introduce the MIST (Modals In Scientific Text) dataset, which contains 3737 modal instances in five scientific domains annotated for their semantic, pragmatic, or rhetorical function. We systematically evaluate a set of competitive neural architectures on MIST. Transfer experiments reveal that leveraging non-scientific data is of limited benefit for modeling the distinctions in MIST. Our corpus analysis provides evidence that scientific communities differ in their usage of modal verbs, yet, classifiers trained on scientific data generalize to some extent to unseen scientific domains.


title: Spectral analysis of the AMXP IGR J17591-2342 during its 2018 outburst

abstract: The Accreting Millisecond X-ray Pulsar IGR J17591-2342 is a LMXB system that went in outburst on August 2018 and it was monitored by the NICER observatory and partially by other facilities. We aim to study how the spectral emission of this source evolved during the outburst, by exploiting the whole X-ray data repository of simultaneous observations. The continuum emission of the combined broad-band spectra is on average well described by an absorbed Comptonisation component scattering black-body-distributed photons peaking at (0.8+/-0.5) keV, by a moderately optically thick corona (tau=2.3+/-0.5) with temperature of (34+/-9) keV. A black-body component with temperature and radial size of (0.8+/-0.2) keV and (3.3+/-1.5) km respectively is required by some of the spectra and suggests that part of the central emission, possibly a fraction of the neutron star surface, is not efficiently scattered by the corona. The continuum at low energies is characterised by significant residuals suggesting the presence of an absorption edge of O VIII and of emission lines of Ne IX ions. Moreover, broad Fe I and Fe XXV K-alpha emission lines are detected at different times of the outburst, suggesting the presence of reflection in the system.


title: Establishing a stronger baseline for lightweight contrastive models

abstract: Recent research has reported a performance degradation in self-supervised contrastive learning for specially designed efficient networks, such as MobileNet and EfficientNet. A common practice to address this problem is to introduce a pretrained contrastive teacher model and train the lightweight networks with distillation signals generated by the teacher. However, it is time and resource consuming to pretrain a teacher model when it is not available. In this work, we aim to establish a stronger baseline for lightweight contrastive models without using a pretrained teacher model. Specifically, we show that the optimal recipe for efficient models is different from that of larger models, and using the same training settings as ResNet50, as previous research does, is inappropriate. Additionally, we observe a common issu e in contrastive learning where either the positive or negative views can be noisy, and propose a smoothed version of InfoNCE loss to alleviate this problem. As a result, we successfully improve the linear evaluation results from 36.3\% to 62.3\% for MobileNet-V3-Large and from 42.2\% to 65.8\% for EfficientNet-B0 on ImageNet, closing the accuracy gap to ResNet50 with $5\times$ fewer parameters. We hope our research will facilitate the usage of lightweight contrastive models.


title: Structure and dynamics investigations of a partially hydrogenated graphene/Ni(111) surface

abstract: Using helium-3 atom scattering, we have studied the adsorption kinetics, the structure and the diffusional dynamics of atomic hydrogen on the surface of a graphene monolayer on Ni(111). Diffraction measurements reveal a 4$^\circ$ rotated rectangular hydrogen overstructure. Hydrogen adsorption and desorption exhibit activation barriers of $E_a=(89\pm7)\,$meV and $E_d=(1.8\pm0.2)\,$eV, respectively. Helium-3 spin-echo measurements showed no decay of the spatial correlation function (or intermediate scattering function) within the time range of the spectrometer. Hence, we are able to set lower limits for a possible hydrogen surface diffusion rate.


title: Multi-task Learning for Cross-Lingual Sentiment Analysis

abstract: This paper presents a cross-lingual sentiment analysis of news articles using zero-shot and few-shot learning. The study aims to classify the Croatian news articles with positive, negative, and neutral sentiments using the Slovene dataset. The system is based on a trilingual BERT-based model trained in three languages: English, Slovene, Croatian. The paper analyses different setups using datasets in two languages and proposes a simple multi-task model to perform sentiment classification. The evaluation is performed using the few-shot and zero-shot scenarios in single-task and multi-task experiments for Croatian and Slovene.


title: Kinetic Electron Cooling in Magnetic Nozzles: Experiments and Modeling

abstract: As long-distance space travel requires propulsion systems with greater operational flexibility and lifetimes, there is a growing interest in electrodeless plasma thrusters that offer the opportunity of improved scalability, larger throttleability, running on different propellants, and limit device erosion. The majority of electrodeless designs rely on a magnetic nozzle (MN) for the acceleration of the plasma, which has the advantage of utilizing the expanding electrons to neutralize the ion beam without the additional installation of a cathode. The plasma expansion in the MN is nearly collisionless, and a fluid description of electrons requires a non-trivial closure relation. Kinetic electron effects, and in particular electron cooling, play a crucial role in various physical phenomena such as energy balance, ion acceleration, and particle detachment. Based on the experimental and theoretical studies conducted in recognition of this importance, the fundamental physics of the electron cooling mechanism revealed in MNs and magnetically expanding plasma are reviewed. Especially, recent approaches from the kinetic point of view are discussed, and our perspective on the future challenges of electron cooling and the relevant physical subject of MN is presented.


title: Building and Evaluating Universal Named-Entity Recognition English corpus

abstract: This article presents the application of the Universal Named Entity framework to generate automatically annotated corpora. By using a workflow that extracts Wikipedia data and meta-data and DBpedia information, we generated an English dataset which is described and evaluated. Furthermore, we conducted a set of experiments to improve the annotations in terms of precision, recall, and F1-measure. The final dataset is available and the established workflow can be applied to any language with existing Wikipedia and DBpedia. As part of future research, we intend to continue improving the annotation process and extend it to other languages.


title: Multi-Scale Feature Fusion Transformer Network for End-to-End Single Channel Speech Separation

abstract: Recently studies on time-domain audio separation networks (TasNets) have made a great stride in speech separation. One of the most representative TasNets is a network with a dual-path segmentation approach. However, the original model called DPRNN used a fixed feature dimension and unchanged segment size throughout all layers of the network. In this paper, we propose a multi-scale feature fusion transformer network (MSFFT-Net) based on the conventional dual-path structure for single-channel speech separation. Unlike the conventional dual-path structure where only one processing path exists, adopting several iterative blocks with alternative intra-chunk and inter-chunk operations to capture local and global context information, the proposed MSFFT-Net has multiple parallel processing paths where the feature information can be exchanged between multiple parallel processing paths. Experiments show that our proposed networks based on multi-scale feature fusion structure have achieved better results than the original dual-path model on the benchmark dataset-WSJ0-2mix, where the SI-SNRi score of MSFFT-3P is 20.7dB (1.47% improvement), and MSFFT-2P is 21.0dB (3.45% improvement), which achieves SOTA on WSJ0-2mix without any data augmentation method.


title: Speech and Natural Language Processing Technologies for Pseudo-Pilot Simulator

abstract: This paper describes a simple yet efficient repetition-based modular system for speeding up air-traffic controllers (ATCos) training. E.g., a human pilot is still required in EUROCONTROL's ESCAPE lite simulator (see https://www.eurocontrol.int/simulator/escape) during ATCo training. However, this need can be substituted by an automatic system that could act as a pilot. In this paper, we aim to develop and integrate a pseudo-pilot agent into the ATCo training pipeline by merging diverse artificial intelligence (AI) powered modules. The system understands the voice communications issued by the ATCo, and, in turn, it generates a spoken prompt that follows the pilot's phraseology to the initial communication. Our system mainly relies on open-source AI tools and air traffic control (ATC) databases, thus, proving its simplicity and ease of replicability. The overall pipeline is composed of the following: (1) a submodule that receives and pre-processes the input stream of raw audio, (2) an automatic speech recognition (ASR) system that transforms audio into a sequence of words; (3) a high-level ATC-related entity parser, which extracts relevant information from the communication, i.e., callsigns and commands, and finally, (4) a speech synthesizer submodule that generates responses based on the high-level ATC entities previously extracted. Overall, we show that this system could pave the way toward developing a real proof-of-concept pseudo-pilot system. Hence, speeding up the training of ATCos while drastically reducing its overall cost.


title: Realizing residually finite groups as subgroups of branch groups

abstract: We prove that every finitely generated, residually finite group $G$ embeds into a finitely generated perfect branch group $\Gamma$ such that many properties of $G$ are preserved under this embedding. Among those are the properties of being torsion, being amenable, and not containing a non-abelian free group. As an application we construct a finitely generated, non-amenable torsion branch group.


title: Field-free spin-orbit torque switching of an antiferromagnet with perpendicular N\'eel vector

abstract: The field-free spin-orbit torque induced 180{\deg} reorientation of perpendicular magnetization is beneficial for the high performance magnetic memory. The antiferromagnetic material (AFM) can provide higher operation speed than the ferromagnetic counterpart. In this paper, we propose a trilayer AFM/Insulator/Heavy Metal structure as the AFM memory device. We show that the field-free switching of the AFM with perpendicular N\'eel vector can be achieved by using two orthogonal currents, which provide the uniform damping-like torque and stagger field-like torque, respectively. The reversible switching can be obtained by reversing either current. A current density of 1.79 10^11A/m^2 is sufficient to induce the switching. In addition, the two magnetic moments become noncollinear during the switching. This enables an ultrafast switching within 40 picoseconds. The device and switching mechanism proposed in this work offer a promising approach to deterministically switch the AFM with perpendicular N\'eel vector. It can also stimulate the development of ultrafast AFM-based MRAM.