title: Magnetic field tuning of the spin dynamics in the magnetic topological insulators (MnBi$_{2}$Te$_{4}$)(Bi$_{2}$Te$_{3}$)$_{n}$

abstract: We report a high frequency/high magnetic field electron spin resonance (HF-ESR) spectroscopy study in the sub-THz frequency domain of the two representatives of the family of magnetic topological insulators (MnBi$_{2}$Te$_{4}$)(Bi$_{2}$Te$_{3}$)$_{n}$ with $n = 0$ and 1. The HF-ESR measurements in the magnetically ordered state at a low temperature of $T = 4$ K combined with the calculations of the resonance modes showed that the spin dynamics in MnBi$_{\text{4}}$Te$_{\text{7}}$ is typical for an anisotropic easy-axis type ferromagnet (FM) whereas MnBi$_{\text{2}}$Te$_{\text{4}}$ demonstrates excitations of an anisotropic easy-axis type antiferromagnet (AFM). However, by applying the field stronger than a threshold value $\sim 6$ T we observed in MnBi$_{\text{2}}$Te$_{\text{4}}$ a crossover from the AFM resonance modes to the FM modes which properties are very similar to the ferromagnetic response of MnBi$_{\text{4}}$Te$_{\text{7}}$. We attribute this remarkably unusual effect unexpected for a canonical easy-axis AFM, which, additionally, can be accurately reproduced by numerical calculations of the excitation modes, to the closeness of the strength of the AFM exchange and magnetic anisotropy energies which appears to be a very specific feature of this compound. Our experimental data evidences that the spin dynamics of the magnetic building blocks of these compounds, the Mn-based septuple layers (SLs), is inherently ferromagnetic featuring persisting short-range FM correlations far above the magnetic ordering temperature as soon as the SLs get decoupled either by introducing a nonmagnetic quintuple interlayer, as in MnBi$_{\text{4}}$Te$_{\text{7}}$, or by applying a moderate magnetic field, as in MnBi$_{\text{2}}$Te$_{\text{4}}$, which may have an effect on the surface topological band structure of these compounds.


title: Decidability of Liveness on the TSO Memory Model

abstract: An important property of concurrent objects is whether they support progress -a special case of liveness-guarantees, which ensure the termination of individual method calls under system fairness assumptions. Liveness properties have been proposed for concurrent objects. Typical liveness properties includelock-freedom,wait-freedom,deadlock-freedom,starvation-freedom and obstruction-freedom. It is known that the five liveness properties above are decidable on the Sequential Consistency (SC) memory model for a bounded number of processes. However, the problem of decidability of liveness for finite state concurrent programs running on relaxed memory models remains open. In this paper we address this problem for the Total Store Order (TSO) memory model,as found in the x86 architecture. We prove that lock-freedom, wait-freedom,deadlock-freedom and starvation-freedom are undecidable on TSO for a bounded number of processes, while obstruction-freedom is decidable.


title: The Effectiveness of Intermediate-Task Training for Code-Switched Natural Language Understanding

abstract: While recent benchmarks have spurred a lot of new work on improving the generalization of pretrained multilingual language models on multilingual tasks, techniques to improve code-switched natural language understanding tasks have been far less explored. In this work, we propose the use of bilingual intermediate pretraining as a reliable technique to derive large and consistent performance gains on three different NLP tasks using code-switched text. We achieve substantial absolute improvements of 7.87%, 20.15%, and 10.99%, on the mean accuracies and F1 scores over previous state-of-the-art systems for Hindi-English Natural Language Inference (NLI), Question Answering (QA) tasks, and Spanish-English Sentiment Analysis (SA) respectively. We show consistent performance gains on four different code-switched language-pairs (Hindi-English, Spanish-English, Tamil-English and Malayalam-English) for SA. We also present a code-switched masked language modelling (MLM) pretraining technique that consistently benefits SA compared to standard MLM pretraining using real code-switched text.


title: Thermodynamics of Reduced State of the Field

abstract: Recent years have seen the flourishing of research devoted to quantum effects on mesoscopic and macroscopic scales. In this context, in Entropy 2019, 21, 705, a formalism aiming at describing macroscopic quantum fields, dubbed Reduced State of the Field (RSF), was envisaged. While, in the original work, a proper notion of entropy for macroscopic fields, together with their dynamical equations, was derived, here, we expand thermodynamic analysis of the RSF, discussing the notion of heat, solving dynamical equations in various regimes of interest, and showing the thermodynamic implications of these solutions.


title: A characterization of the quaternions using commutators

abstract: Let $R$ be an associative ring with ${\bf 1}$ which is not commutative. Assume that any non-zero commutator $v\in R$ satisfies: $v^2$ is in the center of $R$ and $v$ is not a zero-divisor. (Note that our assumptions do not include finite dimensionality.) We prove that $R$ has no zero divisors, and that if ${\rm char(R)}\ne 2,$ then the localization of $R$ at its center is a quaternion division algebra.


title: DOA Estimation for Hybrid Massive MIMO Systems using Mixed-ADCs: Performance Loss and Energy Efficiency

abstract: Due to the power consumption and high circuit cost in antenna arrays, the practical application of massive multiple-input multiple-output (MIMO) in the sixth generation (6G) and future wireless networks is still challenging. Employing low-resolution analog-to-digital converters (ADCs) and hybrid analog and digital (HAD) structure is two low-cost choice with acceptable performance loss.In this paper, the combination of the mixed-ADC architecture and HAD structure employed at receiver is proposed for direction of arrival (DOA) estimation, which will be applied to the beamforming tracking and alignment in 6G. By adopting the additive quantization noise model, the exact closed-form expression of the Cram\'{e}r-Rao lower bound (CRLB) for the HAD architecture with mixed-ADCs is derived. Moreover, the closed-form expression of the performance loss factor is derived as a benchmark. In addition, to take power consumption into account, energy efficiency is also investigated in our paper. The numerical results reveal that the HAD structure with mixed-ADCs can significantly reduce the power consumption and hardware cost. Furthermore, that architecture is able to achieve a better trade-off between the performance loss and the power consumption. Finally, adopting 2-4 bits of resolution may be a good choice in practical massive MIMO systems.


title: Quantum cluster kink and ring frustration

abstract: In this paper, we work on the pure and mixed cluster models with periodic boundary condition. The first purpose is to establish the concept of quantum cluster kink. We clarify that there are two types of cluster kinks since there are two types of ground states depending on the choice of cluster length, of which the first type exhibits symmetry breaking order and the second one string order. Simple pictures are constructed according to the pure cluster model, which facilitates us to introduce the quantity, cluster kink number. As we demonstrate, cluster kinks deriving from different sources can coexist, compete with each other, and lead to quantum phase transition in a mixed cluster model. The second purpose is to elucidate that the effect of ring frustration can be realized in the cluster model with symmetry breaking order, instead of the one with string order. The reason lies in that ring frustration can induce a huge ground-state degeneracy or a special extended-kink phase with gapless excitations in the former case. And, although ring frustration does not change the phase transition point, it can produce unusual ground state in the extended-kink phase, whose special properties are uncovered by the nonlocal scaling factor in the correlation function and the doubled degeneracies of the eigenvalues of the entanglement spectrum.


title: Predicting Issue Types on GitHub

abstract: Software maintenance and evolution involves critical activities for the success of software projects. To support such activities and keep code up-to-date and error-free, software communities make use of issue trackers, i.e., tools for signaling, handling, and addressing the issues occurring in software systems. However, in popular projects, tens or hundreds of issue reports are daily submitted. In this context, identifying the type of each submitted report (e.g., bug report, feature request, etc.) would facilitate the management and the prioritization of the issues to address. To support issue handling activities, in this paper, we propose Ticket Tagger, a GitHub app analyzing the issue title and description through machine learning techniques to automatically recognize the types of reports submitted on GitHub and assign labels to each issue accordingly. We empirically evaluated the tool's prediction performance on about 30,000 GitHub issues. Our results show that the Ticket Tagger can identify the correct labels to assign to GitHub issues with reasonably high effectiveness. Considering these results and the fact that the tool is designed to be easily integrated in the GitHub issue management process, Ticket Tagger consists in a useful solution for developers.


title: Fast and Scalable Adversarial Training of Kernel SVM via Doubly Stochastic Gradients

abstract: Adversarial attacks by generating examples which are almost indistinguishable from natural examples, pose a serious threat to learning models. Defending against adversarial attacks is a critical element for a reliable learning system. Support vector machine (SVM) is a classical yet still important learning algorithm even in the current deep learning era. Although a wide range of researches have been done in recent years to improve the adversarial robustness of learning models, but most of them are limited to deep neural networks (DNNs) and the work for kernel SVM is still vacant. In this paper, we aim at kernel SVM and propose adv-SVM to improve its adversarial robustness via adversarial training, which has been demonstrated to be the most promising defense techniques. To the best of our knowledge, this is the first work that devotes to the fast and scalable adversarial training of kernel SVM. Specifically, we first build connection of perturbations of samples between original and kernel spaces, and then give a reduced and equivalent formulation of adversarial training of kernel SVM based on the connection. Next, doubly stochastic gradients (DSG) based on two unbiased stochastic approximations (i.e., one is on training points and another is on random features) are applied to update the solution of our objective function. Finally, we prove that our algorithm optimized by DSG converges to the optimal solution at the rate of O(1/t) under the constant and diminishing stepsizes. Comprehensive experimental results show that our adversarial training algorithm enjoys robustness against various attacks and meanwhile has the similar efficiency and scalability with classical DSG algorithm.


title: Tensor force and deformation in even-even nuclei

abstract: The variational principle is used to build a model which describes open shell nuclei with ground state deformations. Hartree-Fock equations are solved by using single particle wave functions whose radial parts depend on the projection of the angular momentum on the quantization axis. Pairing effects are taken into account by solving Bardeen-Cooper-Schrieffer equations in each step of the minimisation procedure. The Gogny D1S finite-range interaction and an extension of it that includes tensor terms are consistently used in both parts of our calculations. The model is applied to study a set of isotopes with 34 protons and of isotones with 34 neutrons. Total energies, density distributions, their radii and single particle energies are analysed and the results of our calculations are compared with the available experimental data. We focused our attention on the effects of the deformation and of the tensor force on these observables. Our model describes open shell nuclei from a peculiar perspective and opens the possibility of future theoretical developments.


title: On-chip visible light communication-band metasurface modulators with niobium plasmonic nano-antenna arrays

abstract: We introduce chip-integrated visible light communication-band modulators based on niobium (Nb) metallic plasmonic nano-antenna arrays. Our plasmonic nano-devices provide strong sensitivity to the polarization of the incident visible light and the geometrical parameters of their subwavelength nanoscale building blocks. Moreover, they offer optical modulation properties with modulation depth MD = 60% at resonant wavelength lambda= 716 nm, at room temperature. By engineering the photo response of the Nb nano-device arrays, we observe a maximum extinction A(lambda)= 1- R(lambda}) = 95 % at resonant wavelength {\lambda}= 650 nm. Our results suggest that the integrated Nb nano-antenna array devices can be considered as suitable platforms for the realisation of chip-scale optoelectronic devices interfacing cryogenics quantum circuits, and fibre-based communication systems, for applications in quantum computing, quantum communication, and quantum processing.


title: Big and young supermassive black holes in the early Universe

abstract: Blazars are Active Galactic Nuclei characterized by relativistic jets launched in the vicinity of the central engine (i.e. a supermassive black hole), that are oriented close to our line of sight. Their peculiar orientation makes them very efficient tracers of the overall jetted population, and due to their brightness they can be visible up to very high redshifts. A deep knowledge of these objects can provide fundamental clues to the models of formation and growth of the first supermassive black holes, but their search in the early Universe must be careful and follow a systematic approach. The discovery in the last $\sim15$ years of extremely massive blazars at very high redshifts ($M_{\rm BH}>10^9M_\odot, \, z>4$) revolutionized our perception of their earliest evolution: there seem to be different formation epochs for extremely massive black holes hosted in jetted ($z\sim4$) and non-jetted systems ($z\sim2.5$). This is not easy to explain, since one would expect that jetted sources accrete less efficiently. Small differences in the population are also derived from the search of such high-$z$ sources: we will go through the open questions in order to understand where the common knowledge stands and which steps must be undertaken to better understand the formation and common evolution of supermassive black holes and jets in the early Universe.


title: Breakdown of homoclinic orbits to L3 in the RPC3BP (II). An asymptotic formula

abstract: The Restricted 3-Body Problem models the motion of a body of negligible mass under the gravitational influence of two massive bodies called the primaries. If one assumes that the primaries perform circular motions and that all three bodies are coplanar, one has the Restricted Planar Circular 3-Body Problem (RPC3BP). In rotating coordinates, it can be modeled by a two degrees of freedom Hamiltonian, which has five critical points called the Lagrange points L1,.., L5. The Lagrange point L3 is a saddle-center critical point which is collinear with the primaries and beyond the largest of the two. In this paper, we obtain an asymptotic formula for the distance between the stable and unstable manifolds of L3 for small values of the mass ratio $0<\mu\ll 1$. In particular we show that L3 cannot have (one round) homoclinic orbits. If the ratio between the masses of the primaries $\mu$ is small, the hyperbolic eigenvalues of L3 are weaker, by a factor of order $\sqrt\mu$, than the elliptic ones. This rapidly rotating dynamics makes the distance between manifolds exponentially small with respect to $\sqrt\mu$. Thus, classical perturbative methods (i.e the Melnikov-Poincar\'e method) can not be applied. The obtention of this asymptotic formula relies on the results obtained in the prequel paper on the complex singularities of the homoclinic of a certain averaged equation and on the associated inner equation. In this second paper, we relate the solutions of the inner equation to the analytic continuation of the parameterizations of the invariant manifolds of L3 via complex matching techniques. We complete the proof of the asymptotic formula for their distance showing that its dominant term is the one given by the analysis of the inner equation.


title: Breakdown of homoclinic orbits to L3 in the RPC3BP (I). Complex singularities and the inner equation

abstract: The Restricted 3-Body Problem models the motion of a body of negligible mass under the gravitational influence of two massive bodies, called the primaries. If the primaries perform circular motions and the massless body is coplanar with them, one has the Restricted Planar Circular 3-Body Problem (RPC3BP). In synodic coordinates, it is a two degrees of freedom Hamiltonian system with five critical points, L1,..,L5, called the Lagrange points. The Lagrange point L3 is a saddle-center critical point which is collinear with the primaries and is located beyond the largest of the two. In this paper and its sequel, we provide an asymptotic formula for the distance between the one dimensional stable and unstable invariant manifolds of L3 when the ratio between the masses of the primaries $\mu$ is small. It implies that L3 cannot have one-round homoclinic orbits. If the mass ratio $\mu$ is small, the hyperbolic eigenvalues are weaker than the elliptic ones by factor of order $\sqrt{\mu}$. This implies that the distance between the invariant manifolds is exponentially small with respect to $\mu$ and, therefore, the classical Poincar\'e--Melnikov method cannot be applied. In this first paper, we approximate the RPC3BP by an averaged integrable Hamiltonian system which possesses a saddle center with a homoclinic orbit and we analyze the complex singularities of its time parameterization. We also derive and study the inner equation associated to the original perturbed problem. The difference between certain solutions of the inner equation gives the leading term of the distance between the stable and unstable manifolds of L3. In the sequel we complete the proof of the asymptotic formula for the distance between the invariant manifolds.


title: Nonexistence of supersymmetry breaking counterexamples to the Nelson-Seiberg theorem

abstract: Counterexample models to the Nelson-Seiberg theorem have been discovered, and their features have been studied in previous literature. All currently known counterexamples have generic superpotentials respecting the R-symmetry, and more R-charge 2 fields than R-charge 0 fields. But they give supersymmetric vacua with spontaneous R-symmetry breaking, thus violate both the Nelson-Seiberg theorem and its revisions. This work proves that the other type of counterexamples do not exist. When there is no R-symmetry, or there are no more R-charge 2 fields than R-charge 0 fields in models with R-symmetries, generic superpotentials always give supersymmetric vacua. There exists no specific arrangement of R-charges or non-R symmetry representations which makes a counterexample with a supersymmetry breaking vacuum. This nonexistence theorem contributes to a refined classification of R-symmetric Wess-Zumino models.


title: Vehicle 24-Color Long Tail Recognition Based on Smooth Modulation Neural Network with Multi-layer Feature Representation

abstract: Vehicle color recognition plays an important role in intelligent traffic management and criminal investigation assistance. However, the current vehicle color recognition research involves at most 13 types of colors and the recognition accuracy is low, which is difficult to meet practical applications. To this end, this paper has built a benchmark dataset (Vehicle Color-24) that includes 24 types of vehicle colors, including 10091 vehicle pictures taken from 100 hours of urban road surveillance videos. In addition, in order to solve the problem of long tail distribution in Vehicle Color-24 dataset and low recognition rate of existing methods, this paper proposes a Smooth Modulated Neural Network with Multi-layer Feature Representation (SMNN-MFR) is used for 24 types of vehicle color recognition. SMNN-MFR includes four parts: feature extraction, multi-scale feature fusion, suggestion frame generation and smooth modulation. The model is trained and verified on the Vehicle Color-24 benchmark dataset. Comprehensive experiments show that the average recognition accuracy of the algorithm in the 24 categories of color benchmark databases is 94.96%, which is 33.47% higher than the Faster RCNN network. In addition, the average accuracy rate of the model when recognizing 8 types of colors is 97.25%, and the detection accuracy of algorithms in similar databases is improved. At the same time, visualization and ablation experiments also proved the rationality of our network settings and the effectiveness of each module. The code and database are published at: https://github.com/mendy-2013.


title: Finite-memory strategies in two-player infinite games

abstract: We study infinite two-player win/lose games $(A,B,W)$ where $A,B$ are finite and $W \subseteq (A \times B)^\omega$. At each round Player 1 and Player 2 concurrently choose one action in $A$ and $B$, respectively. Player 1 wins iff the generated sequence is in $W$. Each history $h \in (A \times B)^*$ induces a game $(A,B,W_h)$ with $W_h := \{\rho \in (A \times B)^\omega \mid h \rho \in W\}$. We show the following: if $W$ is in $\Delta^0_2$ (for the usual topology), if the inclusion relation induces a well partial order on the $W_h$'s, and if Player 1 has a winning strategy, then she has a finite-memory winning strategy. Our proof relies on inductive descriptions of set complexity, such as the Hausdorff difference hierarchy of the open sets. Examples in $\Sigma^0_2$ and $\Pi^0_2$ show some tightness of our result. Our result can be translated to games on finite graphs: e.g. finite-memory determinacy of multi-energy games is a direct corollary, whereas it does not follow from recent general results on finite memory strategies.


title: Long-time behaviour of hybrid finite volume schemes for advection-diffusion equations: linear and nonlinear approaches

abstract: We are interested in the long-time behaviour of approximate solutions to heterogeneous and anisotropic linear advection-diffusion equations in the framework of hybrid finite volume (HFV) methods on general polygonal/polyhedral meshes. We consider two linear methods, as well as a new, nonlinear scheme, for which we prove the existence and the positivity of discrete solutions. We show that the discrete solutions to the three schemes converge exponentially fast in time towards the associated discrete steady-states. To illustrate our theoretical findings, we present some numerical simulations assessing long-time behaviour and positivity. We also compare the accuracy of the schemes on some numerical tests in the stationary case.


title: Preventing dataset shift from breaking machine-learning biomarkers

abstract: Machine learning brings the hope of finding new biomarkers extracted from cohorts with rich biomedical measurements. A good biomarker is one that gives reliable detection of the corresponding condition. However, biomarkers are often extracted from a cohort that differs from the target population. Such a mismatch, known as a dataset shift, can undermine the application of the biomarker to new individuals. Dataset shifts are frequent in biomedical research, e.g. because of recruitment biases. When a dataset shift occurs, standard machine-learning techniques do not suffice to extract and validate biomarkers. This article provides an overview of when and how dataset shifts breaks machine-learning extracted biomarkers, as well as detection and correction strategies.


title: A Statistical Model of Word Rank Evolution

abstract: The availability of large linguistic data sets enables data-driven approaches to study linguistic change. The Google Books corpus unigram frequency data set is used to investigate the word rank dynamics in eight languages. We observed the rank changes of the unigrams from 1900 to 2008 and compared it to a Wright-Fisher inspired model that we developed for our analysis. The model simulates a neutral evolutionary process with the restriction of having no disappearing and added words. This work explains the mathematical framework of the model - written as a Markov Chain with multinomial transition probabilities - to show how frequencies of words change in time. From our observations in the data and our model, word rank stability shows two types of characteristics: (1) the increase/decrease in ranks are monotonic, or (2) the rank stays the same. Based on our model, high-ranked words tend to be more stable while low-ranked words tend to be more volatile. Some words change in ranks in two ways: (a) by an accumulation of small increasing/decreasing rank changes in time and (b) by shocks of increase/decrease in ranks. Most words in all of the languages we have looked at are rank stable, but not as stable as a neutral model would predict. The stopwords and Swadesh words are observed to be rank stable across eight languages indicating linguistic conformity in established languages. These signatures suggest unigram frequencies in all languages have changed in a manner inconsistent with a purely neutral evolutionary process.


title: Online structural kernel selection for mobile health

abstract: Motivated by the need for efficient and personalized learning in mobile health, we investigate the problem of online kernel selection for Gaussian Process regression in the multi-task setting. We propose a novel generative process on the kernel composition for this purpose. Our method demonstrates that trajectories of kernel evolutions can be transferred between users to improve learning and that the kernels themselves are meaningful for an mHealth prediction goal.


title: Boundary of Distribution Support Generator (BDSG): Sample Generation on the Boundary

abstract: Generative models, such as Generative Adversarial Networks (GANs), have been used for unsupervised anomaly detection. While performance keeps improving, several limitations exist particularly attributed to difficulties at capturing multimodal supports and to the ability to approximate the underlying distribution closer to the tails, i.e. the boundary of the distribution's support. This paper proposes an approach that attempts to alleviate such shortcomings. We propose an invertible-residual-network-based model, the Boundary of Distribution Support Generator (BDSG). GANs generally do not guarantee the existence of a probability distribution and here, we use the recently developed Invertible Residual Network (IResNet) and Residual Flow (ResFlow), for density estimation. These models have not yet been used for anomaly detection. We leverage IResNet and ResFlow for Out-of-Distribution (OoD) sample detection and for sample generation on the boundary using a compound loss function that forces the samples to lie on the boundary. The BDSG addresses non-convex support, disjoint components, and multimodal distributions. Results on synthetic data and data from multimodal distributions, such as MNIST and CIFAR-10, demonstrate competitive performance compared to methods from the literature.


title: Deep learning for temporal data representation in electronic health records: A systematic review of challenges and methodologies

abstract: Objective: Temporal electronic health records (EHRs) can be a wealth of information for secondary uses, such as clinical events prediction or chronic disease management. However, challenges exist for temporal data representation. We therefore sought to identify these challenges and evaluate novel methodologies for addressing them through a systematic examination of deep learning solutions. Methods: We searched five databases (PubMed, EMBASE, the Institute of Electrical and Electronics Engineers [IEEE] Xplore Digital Library, the Association for Computing Machinery [ACM] digital library, and Web of Science) complemented with hand-searching in several prestigious computer science conference proceedings. We sought articles that reported deep learning methodologies on temporal data representation in structured EHR data from January 1, 2010, to August 30, 2020. We summarized and analyzed the selected articles from three perspectives: nature of time series, methodology, and model implementation. Results: We included 98 articles related to temporal data representation using deep learning. Four major challenges were identified, including data irregularity, data heterogeneity, data sparsity, and model opacity. We then studied how deep learning techniques were applied to address these challenges. Finally, we discuss some open challenges arising from deep learning. Conclusion: Temporal EHR data present several major challenges for clinical prediction modeling and data utilization. To some extent, current deep learning solutions can address these challenges. Future studies can consider designing comprehensive and integrated solutions. Moreover, researchers should incorporate additional clinical domain knowledge into study designs and enhance the interpretability of the model to facilitate its implementation in clinical practice.


title: Towards Plug-and-Play Visual Graph Query Interfaces: Data-driven Canned Pattern Selection for Large Networks

abstract: Canned patterns (i.e. small subgraph patterns) in visual graph query interfaces (a.k.a GUI) facilitate efficient query formulation by enabling pattern-at-a-time construction mode. However, existing GUIs for querying large networks either do not expose any canned patterns or if they do then they are typically selected manually based on domain knowledge. Unfortunately, manual generation of canned patterns is not only labor intensive but may also lack diversity for supporting efficient visual formulation of a wide range of subgraph queries. In this paper, we present a novel generic and extensible framework called TATTOO that takes a data-driven approach to automatically selecting canned patterns for a GUI from large networks. Specifically, it first decomposes the underlying network into truss-infested and truss-oblivious regions. Then candidate canned patterns capturing different real-world query topologies are generated from these regions. Canned patterns based on a user-specified plug are then selected for the GUI from these candidates by maximizing coverage and diversity, and by minimizing the cognitive load of the pattern set. Experimental studies with real-world datasets demonstrate the benefits of TATTOO. Importantly, this work takes a concrete step towards realizing plug-and-play visual graph query interfaces for large networks.


title: Characterization Multimodal Connectivity of Brain Network by Hypergraph GAN for Alzheimer's Disease Analysis

abstract: Using multimodal neuroimaging data to characterize brain network is currently an advanced technique for Alzheimer's disease(AD) Analysis. Over recent years the neuroimaging community has made tremendous progress in the study of resting-state functional magnetic resonance imaging (rs-fMRI) derived from blood-oxygen-level-dependent (BOLD) signals and Diffusion Tensor Imaging (DTI) derived from white matter fiber tractography. However, Due to the heterogeneity and complexity between BOLD signals and fiber tractography, Most existing multimodal data fusion algorithms can not sufficiently take advantage of the complementary information between rs-fMRI and DTI. To overcome this problem, a novel Hypergraph Generative Adversarial Networks(HGGAN) is proposed in this paper, which utilizes Interactive Hyperedge Neurons module (IHEN) and Optimal Hypergraph Homomorphism algorithm(OHGH) to generate multimodal connectivity of Brain Network from rs-fMRI combination with DTI. To evaluate the performance of this model, We use publicly available data from the ADNI database to demonstrate that the proposed model not only can identify discriminative brain regions of AD but also can effectively improve classification performance.


title: Design of an Efficient, High-Throughput Photomultiplier Tube Testing Facility for the IceCube Upgrade

abstract: The IceCube Upgrade is an extension of the IceCube detector at the geographic South Pole. It consists of seven new strings with novel instrumentation. More than 430 multi-PMT optical modules called "mDOMs", housing 24 3-inch PMTs each, will be produced for the Upgrade. This will require testing and pre-calibration on a short timescale of more than 10,000 PMTs prior to assembly and deployment. We present the design of a PMT testing facility that enables simultaneous testing of roughly 100 PMTs per day at temperatures down to -20{\deg}C. The design is implemented at RWTH Aachen University and TU Dortmund University in parallel to achieve a throughput of up to 1,000 PMTs per week. This will enable a steady supply of tested PMTs to the production sites, which is critical for the Upgrade, as well as the future IceCube-Gen2 project.


title: Analysis of type II and type III radio bursts associated with SEPs from non-interacting/interacting radio-loud CMEs

abstract: We analyze radio bursts observed in events with interacting/non-interacting CMEs that produced major SEPs (Ip $>$ 10 MeV) fromApril 1997 to December 2014.We compare properties of meter (m), deca-hectometer (DH) type II as well as DH type III bursts, and time lags for interacting-CME-associated (IC) events and non-interacting-CME-associated (NIC) events. About 70\% of radio emissions were observed in events of both types from meters to kilometers. We found high correlations between the drift rates and mid-frequencies of type II radio bursts calculated as the mean geometric between their starting and ending frequencies for both NIC and IC-associated events (Correlation coefficient \textit{R}$^{2}$ = 0.98, power-law index $\varepsilon$ = 1.68 $\pm $ 0.16 and \textit{R}$^{2}$ = 0.93, $\varepsilon$ = 1.64 $\pm $ 0.19 respectively).We also found a correlation between the frequency drift rates of DH type II bursts and space speeds of CMEs in NIC-associated events. The absence of such correlation for IC-associated events confirms that the shock speeds changed in CME--CME interactions. For the events with western source locations, the mean peak intensity of SEPs in IC-associated events is four times larger than that in NIC-associated SEP events. From the mean time lags between the start times of SEP events and the start of m, DH type II, and DH type III radio bursts, we inferred that particle enhancements in NIC-associated SEP events occurred earlier than in IC-associated SEP events. The difference between NIC events and IC events in the mean values of parameters of type II and type III bursts is statistically insignificant.


title: Foliations formed by generic coadjoint orbits of a class of 7-dimensional real solvable Lie groups

abstract: In this paper, we consider exponential, connected and simply connected Lie groups which are corresponding to Lie algebras of dimension 7 such that the nilradical of them is 5-dimensional nilpotent Lie algebra $\mathfrak{g}_{5,2}$ in Table 1. In particular, we give a description of the geometry of the generic orbits in the coadjoint representation of some considered Lie groups. We prove that, for each considered group, the family of the generic coadjoint orbits forms a measurable foliation in the sense of Connes. The topological classification of these foliations is also provided.


title: Memorization in Deep Neural Networks: Does the Loss Function matter?

abstract: Deep Neural Networks, often owing to the overparameterization, are shown to be capable of exactly memorizing even randomly labelled data. Empirical studies have also shown that none of the standard regularization techniques mitigate such overfitting. We investigate whether the choice of the loss function can affect this memorization. We empirically show, with benchmark data sets MNIST and CIFAR-10, that a symmetric loss function, as opposed to either cross-entropy or squared error loss, results in significant improvement in the ability of the network to resist such overfitting. We then provide a formal definition for robustness to memorization and provide a theoretical explanation as to why the symmetric losses provide this robustness. Our results clearly bring out the role loss functions alone can play in this phenomenon of memorization.


title: Hardy spaces on homogeneous trees with flow measures

abstract: We consider a homogeneous tree endowed with a nondoubling flow measure $\mu$ of exponential growth and a probabilistic Laplacian $\mathcal{L}$ self-adjoint with respect to $\mu$. We prove that the maximal characterization in terms of the heat and the Poisson semigroup of $\mathcal{L}$ and the Riesz transform characterization of the atomic Hardy space introduced in a previous work fail.


title: Dynamics of two ferromagnetic insulators coupled by superconducting spin current

abstract: A conventional superconductor sandwiched between two ferromagnets can maintain coherent equilibrium spin current. This spin supercurrent results from the rotation of odd-frequency spin correlations induced in the superconductor by the magnetic proximity effect. In the absence of intrinsic magnetization, the superconductor cannot maintain multiple rotations of the triplet component but instead provides a Josephson type weak link for the spin supercurrent. We determine the analogue of the current-phase relation in various circumstances and show how it can be accessed in experiments on dynamic magnetization. In particular, concentrating on the magnetic hysteresis and the ferromagnetic resonance response, we show how the spin supercurrent affects the nonequilibrium dynamics of magnetization which depends on a competition between spin supercurrent mediated static exchange contribution and a dynamic spin pumping contribution. Depending on the outcome of this competition, a mode crossing in the system can either be an avoided crossing or mode locking.


title: Muon $g-2$ in $U(1)_{\mu-\tau}$ Symmetric Gauged Radiative Neutrino Mass Model

abstract: We explore muon anomalous magnetic moment (muon $g-2$) in a scotogenic neutrino model with a gauged lepton number symmetry $U(1)_{\mu-\tau}$. In this model, a dominant muon $g-2$ contribution comes not from an additional gauge sector but from a Yukawa sector. In our numerical $\Delta \chi^2$ analysis, we show that our model is in favor of normal hierarchy with some features. We demonstrate one benchmark point, satisfying muon $g-2$ at the best fit value $25.1\times10^{-10}$.


title: Quantum Pattern Recognition in Photonic Circuits

abstract: This paper proposes a machine learning method to characterize photonic states via a simple optical circuit and data processing of photon number distributions, such as photonic patterns. The input states consist of two coherent states used as references and a two-mode unknown state to be studied. We successfully trained supervised learning algorithms that can predict the degree of entanglement in the two-mode state as well as perform the full tomography of one photonic mode, obtaining satisfactory values in the considered regression metrics.


title: Cone Types, Automata, and Regular Partitions in Coxeter Groups

abstract: In this article we introduce the notion of a \textit{regular partition} of a Coxeter group. We develop the theory of these partitions, and show that the class of regular partitions is essentially equivalent to the class of automata (not necessarily finite state) recognising the language of reduced words in the Coxeter group. As an application of this theory we prove that each cone type in a Coxeter group has a unique minimal length representative. This result can be seen as an analogue of Shi's classical result that each component of the Shi arrangement of an affine Coxeter group has a unique minimal length element. We further develop the theory of cone types in Coxeter groups by identifying the minimal set of roots required to express a cone type as an intersection of half-spaces. This set of \textit{boundary roots} is closely related to the elementary inversion sets of Brink and Howlett, and also to the notion of the base of an inversion set introduced by Dyer.


title: Automated computation of topological derivatives with application to nonlinear elasticity and reaction-diffusion problems

abstract: While topological derivatives have proven useful in applications of topology optimisation and inverse problems, their mathematically rigorous derivation remains an ongoing research topic, in particular in the context of nonlinear partial differential equation (PDE) constraints. We present a systematic yet formal approach for the computation of topological derivatives of a large class of PDE-constrained topology optimization problems with respect to arbitrary inclusion shapes. Scalar and vector-valued as well as linear and nonlinear elliptic PDE constraints are considered in two and three space dimensions including a nonlinear elasticity model and nonlinear reaction-diffusion problems. The systematic procedure follows a Lagrangian approach for computing topological derivatives. For problems where the exact formula is known, the numerically computed values show good coincidence. Moreover, by inserting the computed values into the topological asymptotic expansion, we verify that the obtained values satisfy the expected behaviour also for other, previously unknown problems, indicating the correctness of the procedure. We present a systematic approach for the computation of topological derivatives that is applicable to a large class of problems. Most notably, our approach covers the topological derivative for a nonlinear elasticity problem, which has not been reported in the literature.


title: Anomalously low thermal conductivity of two-dimensional GaP monolayers: A comparative study of the group GaX (X = N, P, As)

abstract: With the successful synthesis of the two-dimensional (2D) gallium nitride (GaN) in a planar honeycomb structure, the phonon transport properties of 2D GaN have been reported. However, it remains unclear for the thermal transport in Ga-based materials by substituting N to other elements in the same main group, which is of more broad applications. In this paper, based on first-principles calculations, we performed a comprehensive study on the phonon transport properties of 2D GaX (X = N, P, and As) with planar or buckled honeycomb structures. The thermal conductivity of GaP (1.52 Wm-1K-1) is found unexpectedly ultra-low, which is in sharp contrast to GaN and GaAs despite their similar honeycomb geometry structure. Based on PJTE theory, GaP and GaAs stabilize in buckling structure, different from the planar structure of GaN. Compared to GaN and GaAs, strong phonon-phonon scattering is found in GaP due to the strongest phonon anharmonicity. Given electronic structures, deep insight is gained into the phonon transport that the delocalization of electrons in GaP is restricted due to the buckling structure. Thus, non-bonding lone pair electrons of P atoms induce nonlinear electrostatic forces upon thermal agitation, leading to increased phonon anharmonicity in the lattice, thus reducing thermal conductivity. Our study offers a fundamental understanding of phonon transport in GaX monolayers with honeycomb structure, which will enrich future studies of nanoscale phonon transport in 2D materials


title: Fabrication-Aware Reverse Engineering for Carpentry

abstract: We propose a novel method to generate fabrication blueprints from images of carpentered items. While 3D reconstruction from images is a well-studied problem, typical approaches produce representations that are ill-suited for computer-aided design and fabrication applications. Our key insight is that fabrication processes define and constrain the design space for carpentered objects, and can be leveraged to develop novel reconstruction methods. Our method makes use of domain-specific constraints to recover not just valid geometry, but a semantically valid assembly of parts, using a combination of image-based and geometric optimization techniques. We demonstrate our method on a variety of wooden objects and furniture, and show that we can automatically obtain designs that are both easy to edit and accurate recreations of the ground truth. We further illustrate how our method can be used to fabricate a physical replica of the captured object as well as a customized version, which can be produced by directly editing the reconstructed model in CAD software.


title: Provenance, Anonymisation and Data Environments: a Unifying Construction

abstract: The Anonymisation Decision-making Framework (ADF) operationalizes the risk management of data exchange between organizations, referred to as "data environments". The second edition of ADF has increased its emphasis on modeling data flows, highlighting a potential new use of provenance information to support anonymisation decision-making. In this paper, we provide a use case that showcases this functionality more. Based on this use case, we identify how provenance information could be utilized within the ADF framework, and identify a currently un-met requirement which is the modeling of \textit{data environments}. We show how data environments can be implemented within the W3C PROV in four different ways. We analyze the costs and benefits of each approach, and consider another use case as a partial check for completeness. We then summarize our findings and suggest ways forward.


title: Direct Visualization of a Static Incommensurate Antiferromagnetic Order by Suppressing the Superconducting Phase Coherence in Fe-doped Bi2Sr2CaCu2O8+delta

abstract: In cuprate superconductors, due to strong electronic correlations, there are multiple intertwined orders which either coexist or compete with superconductivity. Among them the antiferromagnetic (AF) order is the most prominent one. In the region where superconductivity sets in, the long-range AF order is destroyed. Yet the residual short-range AF fluctuations are present up to a much higher doping and their role in the emergence of the superconducting phase is still highly debated. Here, by using a spin polarized scanning tunneling microscope, for the first time, we directly visualize an emergent incommensurate AF order in the nearby region of Fe impurities embedded in the optimally doped Bi2Sr2CaCu2O8+{\delta} (Bi2212). Remarkably the Fe impurities suppress the superconducting coherence peaks with the gapped feature intact, but pin down the ubiquitous short-range incommensurate AF order. Our work shows an intimate relation between antiferromagnetism and superconductivity.


title: Experimental multi-state quantum discrimination through a Quantum network

abstract: The need of discriminating between different quantum states is a fundamental issue in Quantum Information and Communication. The actual realization of generally optimal strategies in this task is often limited by the need of supplemental resources and very complex receivers. We have experimentally implemented two discrimination schemes in a minimum-error scenario based on a receiver featured by a network structure and a dynamical processing of information. The first protocol implemented in our experiment, directly inspired to a recent theoretical proposal, achieves binary optimal discrimination, while the second one provides a novel approach to multi-state quantum discrimination, relying on the dynamical features of the network-like receiver. This strategy exploits the arrival time degree of freedom as an encoding variable, achieving optimal results, without the need for supplemental systems or devices. Our results further reveal the potential of dynamical approaches to Quantum State Discrimination tasks, providing a possible starting point for efficient alternatives to current experimental strategies.


title: On the geometry of a Picard modular group

abstract: We study geometric properties of the action of the Picard modular group $\Gamma=PU(2,1,\mathcal{O}_7)$ on the complex hyperbolic plane $H^2_\mathbb{C}$, where $\mathcal{O}_7$ denotes the ring of algebraic integers in $\mathbb{Q}(i\sqrt{7})$. We list conjugacy classes of maximal finite subgroups in $\Gamma$ and give an explicit description of the Fuchsian subgroups that occur as stabilizers of mirrors of complex reflections in $\Gamma$. As an application, we describe an explicit torsion-free subgroup of index $336$ in $\Gamma$.


title: Simplicial affine semigroups with monomial minimal reduction ideals

abstract: We characterize when the monomial maximal ideal of a simplicial affine semigroup ring has a monomial minimal reduction. When this is the case, we study the Cohen-Macaulay and Gorenstein properties of the associated graded ring and provide several bounds for the reduction number with respect to the monomial minimal reduction.


title: The BH-PSR Gravitational Molecule

abstract: While an axion-clouded black hole (BH) encounters a pulsar (PSR) or has a PSR companion, a "gravitational molecule" can be formed. In such a system, the axion cloud evolves at the binary hybrid orbitals, as it happens at microscopic level to electron cloud in a chemical molecule. To demonstrate this picture, we develop a semi-analytical formalism using the method of linear combination of atomic orbitals with an adiabatic approximation. An oscillating axion-cloud profile and a perturbed binary rotation, together with unique and novel detection signals, are then predicted. Remarkably, the proposed PSR timing and polarization observables, namely the oscillation of periastron time shift and the birefringence with multiple modulations, correlate in pattern, and thus can be properly combined to strengthen the detection.


title: Coarse-Grained Modelling Out of Equilibrium

abstract: Active matter, responsive ("smart") materials and materials under time-dependent load are systems out of thermal equilibrium. To construct coarse-grained models for such systems, one needs to integrate out a distribution of microstates that evolves in time. This is a challenging task. As a preparation to the topic, we recall equilibrium coarse-graining methods, both theoretical and numerical, such as projection operator formalisms, united atom simulations, numerical reconstruction of memory and Markov State Modelling. Then we review recent developments in theoretical approaches to the non-equilibrium coarse-graining problem, in particular, time-dependent projection operator formalisms, dynamic density functional theory and power functional theory, as well as numerical schemes to contruct explicitly time-dependent memory kernels.


title: Multi-Agent Belief Sharing through Autonomous Hierarchical Multi-Level Clustering

abstract: Coordination in multi-agent systems is challenging for agile robots such as unmanned aerial vehicles (UAVs), where relative agent positions frequently change due to unconstrained movement. The problem is exacerbated through the individual take-off and landing of agents for battery recharging leading to a varying number of active agents throughout the whole mission. This work proposes autonomous hierarchical multi-level clustering (MLC), which forms a clustering hierarchy utilizing decentralized methods. Through periodic cluster maintenance executed by cluster-heads, stable multi-level clustering is achieved. The resulting hierarchy is used as a backbone to solve the communication problem for locally-interactive applications such as UAV tracking problems. Using observation aggregation, compression, and dissemination, agents share local observations throughout the hierarchy, giving every agent a total system belief with spatially dependent resolution and freshness. Extensive simulations show that MLC yields a stable cluster hierarchy under different motion patterns and that the proposed belief sharing is highly applicable in wildfire front monitoring scenarios.


title: Singlet channel scattering in a Composite Higgs model on the lattice

abstract: We present the first calculation of the scattering amplitude in the singlet channel beyond QCD. The calculation is performed in $SU(2)$ gauge theory with $N_f=2$ fundamental Dirac fermions and based on a finite-volume scattering formalism. The theory exhibits a $SU(4) \to Sp(4)$ chiral symmetry breaking pattern that is used to design minimal composite Higgs models currently tested at the LHC. Our results show that, for the range of underlying fermion mass considered, the lowest flavour singlet state is stable.


title: Unselective ground-state blockade of Rydberg atoms for implementing quantum gates

abstract: A dynamics regime of Rydberg atoms, unselective ground-state blockade (UGSB), is proposed in the context of Rydberg antiblockade (RAB), where the evolution of two atoms is suppressed when they populate in an identical ground state. UGSB is used to implement a SWAP gate in one step without individual addressing of atoms. Aiming at circumventing common issues in RAB-based gates including atomic decay, Doppler dephasing, and fluctuations in the interatomic coupling strength, we modify the RAB condition to achieve a dynamical SWAP gate whose robustness is much greater than that of the nonadiabatic holonomic one in the conventional RAB regime. In addition, on the basis of the proposed SWAP gates, we further investigate the implementation of a three-atom Fredkin gate by combining Rydberg blockade and RAB. The present work may facilitate to implement the RAB-based gates of strongly coupled atoms in experiment.


title: Predicting transitions in cooperation levels from network connectivity

abstract: Networks determine our social circles and the way we cooperate with others. We know that topological features like hubs and degree assortativity affect cooperation, and we know that cooperation is favoured if the benefit of the altruistic act divided by the cost exceeds the average number of neighbours. However, a simple rule that would predict cooperation transitions on an arbitrary network has not yet been presented. Here we show that the unique sequence of degrees in a network can be used to predict at which game parameters major shifts in the level of cooperation can be expected, including phase transitions from absorbing to mixed strategy phases. We use the evolutionary prisoner's dilemma game on random and scale-free networks to demonstrate the prediction, as well as its limitations and possible pitfalls. We observe good agreements between the predictions and the results obtained with concurrent and Monte Carlo methods for the update of the strategies, thus providing a simple and fast way to estimate the outcome of evolutionary social dilemmas on arbitrary networks without the need of actually playing the game.


title: Isomorphism problems and groups of automorphisms for Ore extensions $K[x][y; f\frac{d}{dx} ]$ (prime characteristic)

abstract: Let $\Lambda (f) = K[x][y; f\frac{d}{dx} ]$ be an Ore extension of a polynomial algebra $K[x]$ over an arbitrary field $K$ of characteristic $p>0$ where $f\in K[x]$. For each polynomial $f$, the automorphism group of the algebras $\Lambda (f)$ is explicitly described. The automorphism group ${\rm Aut}_K(\L (f))=S\rtimes G_f$ is a semidirect product of two explicit groups where $G_f$ is the {\em eigengroup} of the polynomial $f$ (the set of all automorphisms of $K[x]$ such that $f$ is their common eigenvector). For each polynomial $f$, the eigengroup $G_f$ is explicitly described. It is proven that every subgroup of ${\rm Aut}_K(K[x])$ is the eigengroup of a polynomial. It is proven that the Krull and global dimensions of the algebra $\Lambda (f)$ are 2. The prime, completely prime, primitive and maximal ideals of the algebra $\Lambda (f)$ are classified.


title: Boundary stabilization of the linear MGT equation with partially absorbing boundary data and degenerate viscoelasticity

abstract: The Jordan--Moore--Gibson--Thompson (JMGT) equation is a well-established and recently widely studied model for nonlinear acoustics (NLA). It is a third-order (in time) semilinear Partial Differential Equation (PDE) model with the distinctive feature of predicting the propagation of ultrasound waves at \textit{finite} speed due to heat phenomenon know as \textit{second sound} which leads to the hyperbolic character of heat propagation. In this paper, we consider the problem of stabilizability of the linear (known as) MGT--equation. We consider a special geometry that is suitable for studying the problem of controlling (from the boundary) the acoustic pressure involved in medical treatments like lithotripsy, thermotherapy, sonochemistry, or any other procedures using High Intensity Focused Ultrasound (HIFU).


title: From nucleation to percolation: the effect of system size and system disorder

abstract: A phase diagram for a one dimensional fiber bundle model is constructed with a continuous variation in two parameters guiding dynamics of the model: strength of disorder and system size. We monitor the successive events of fiber rupture in order to understand the spatial correlation associated with it. We observe three distinct regions with increasing disorder strength. (I) Nucleation - a crack propagates from a particular nucleus with very high spatial correlation and causes global failure; (II) Avalanche - the rupture events show precursors activities with a number of bursts. (III) Percolation - the rupture events are spatially uncorrelated like a percolation process. As the size of the bundle is increased, it favors the nucleating failure. In the thermodynamic limit, we only observe a nucleating failure unless the disorder strength is infinitely high.


title: Fine-Grained Causality Extraction From Natural Language Requirements Using Recursive Neural Tensor Networks

abstract: [Context:] Causal relations (e.g., If A, then B) are prevalent in functional requirements. For various applications of AI4RE, e.g., the automatic derivation of suitable test cases from requirements, automatically extracting such causal statements are a basic necessity. [Problem:] We lack an approach that is able to extract causal relations from natural language requirements in fine-grained form. Specifically, existing approaches do not consider the combinatorics between causes and effects. They also do not allow to split causes and effects into more granular text fragments (e.g., variable and condition), making the extracted relations unsuitable for automatic test case derivation. [Objective & Contributions:] We address this research gap and make the following contributions: First, we present the Causality Treebank, which is the first corpus of fully labeled binary parse trees representing the composition of 1,571 causal requirements. Second, we propose a fine-grained causality extractor based on Recursive Neural Tensor Networks. Our approach is capable of recovering the composition of causal statements written in natural language and achieves a F1 score of 74 % in the evaluation on the Causality Treebank. Third, we disclose our open data sets as well as our code to foster the discourse on the automatic extraction of causality in the RE community.


title: Potential energy surfaces and fission fragment mass yields of even-even superheavy nuclei

abstract: Potential energy surfaces and fission barriers of superheavy nuclei are analyzed in the macroscopic-microscopic model. The Lublin-Strasbourg Drop (LSD) is used to obtain the macroscopic part of the energy, whereas the shell and pairing energy corrections are evaluated using the Yukawa-folded potential. A standard flooding technique has been used to determine the barrier heights. It was shown the Fourier shape parametrization containing only three deformation parameters reproduces well the nuclear shapes of nuclei on their way to fission. In addition, the non-axial degree of freedom is taken into account to describe better the form of nuclei around the ground state and in the saddles region. Apart from the symmetric fission valley, a new very asymmetric fission mode is predicted in most superheavy nuclei. The fission fragment mass distributions of considered nuclei are obtained by solving the 3D Langevin equations.


title: Behaviour of trajectories near a two-cycle heteroclinic network

abstract: We study behaviour of trajectories near a type Z heteroclinic network which is a union of two cycles. Analytical and numerical studies indicate that attractiveness of this network can be associated with various kinds of dynamics in its vicinity, one or both of these cycle being fragmentarily asymptotically stable, or both being completely unstable. In the latter case trajectories can switch irregularly between the cycles, or they can make a certain number of turns around one of them before switching to the other one. Regular behaviour of trajectories near a heteroclinic network can be described using the notion of an omnicycle, which we introduce in this paper. In particular, we use it to prove that the network can be fragmentarily asymptotically stable even if both cycles are completely unstable.


title: Development of a scintillation and radio hybrid detector array at the South Pole

abstract: At the IceCube Neutrino Observatory, a Surface Array Enhancement is planned, consisting of 32 hybrid stations, placed within the current IceTop footprint. This surface enhancement will considerably increase the detection sensitivity to cosmic rays in the 100 TeV to 1 EeV primary energy range, measure the effects of snow accumulation on the existing IceTop tanks and serve as R&D for the possible future large-scale surface array of IceCube-Gen2. Each station has one central hybrid DAQ, which reads out 8 scintillation detectors and 3 radio antennas. The radio antenna SKALA-2 is used in this array due to its low-noise, high amplification and sensitivity in the 70-350 MHz frequency band. Every scintillation detector has an active area of 1.5 m$^2$ organic plastic scintillators connected by wavelength-shifting fibers, which are connected to a silicon photomultiplier. The signals from the scintillation detectors are integrated and digitized by a local custom electronics board and transferred to the central DAQ. When triggered by the scintillation detectors, the filtered and amplified analog waveforms from the radio antennas are read out and digitized by the central DAQ. A full prototype station has been developed and built and was installed at the South Pole in January 2020. It is planned to install the full array by 2026. In this contribution the hardware design of the array as well as the installation plans will be presented.


title: Chiral Dirac-like fermion in spin-orbit-free antiferromagnetic semimetals

abstract: Dirac semimetal is a phase of matter, whose elementary excitation is described by the relativistic Dirac equation. In the limit of zero mass, its parity-time symmetry enforces the Dirac fermion in the momentum space, which is composed of two Weyl fermions with opposite chirality, to be non-chiral. Inspired by the flavor symmetry in particle physics, we theoretically propose a massless Dirac-like equation yet linking two Weyl fields with the identical chirality by assuming SU(2) isospin symmetry, independent of the space-time rotation exchanging the two fields. Dramatically, such symmetry is hidden in certain solid-state spin-1/2 systems with negligible spin-orbit coupling, where the spin degree of freedom is decoupled with the lattice. Therefore, the existence of the corresponding quasiparticle, dubbed as flavor Weyl fermion, cannot be explained by the conventional (magnetic) space group framework. The four-fold degenerate flavor Weyl fermion manifests linear dispersion and a Chern number of 2, leading to a robust network of topologically protected Fermi arcs throughout the Brillouin zone. For material realization, we show that the transition-metal chalcogenide CoNb3S6 with experimentally confirmed collinear antiferromagnetic order is ideal for flavor Weyl semimetal under the approximation of vanishing spin-orbit coupling. Our work reveals a counterpart of the flavor symmetry in magnetic electronic systems, leading to further possibilities of emergent phenomena in quantum materials.


title: Nilpotent groups with balanced presentations. II

abstract: If $G$ is a nilpotent group with a balanced presentation and $G\not\cong\mathbb{Z}^3$ then $\beta_1(G;\mathbb{Q})\leq2$ \cite{Hi22}. We show that if such a group $G$ has an abelian normal subgroup $A$ such that $G/A\cong\mathbb{Z}^2$ then $G$ is torsion-free and has Hirsch length $h(G)\leq4$. On the other hand, if $\beta_1(G;\mathbb{Q})=1$ and $G$ has an abelian normal subgroup $A$ such that $G/A\cong\mathbb{Z}$ then $G\cong\mathbb{Z}/m\mathbb{Z}\rtimes_n\mathbb{Z}$, for some $m,n\not=0$ such that $m$ divides a power of $n-1$.


title: The analysis approach of ThreatGet

abstract: Nowadays, almost all electronic devices include a communication interface that allows to interact with them, exchange data, or operate their services remotely. The trend toward increased interconnectivity simultaneously increases the vulnerability of these systems. Due to the high costs associated with comprehensive security analysis, many manufacturers neglect the safety aspect of a product in order to avoid costs. However, the importance of secure IT systems is growing, as the security of a system can also influence safety-critical aspects. Standard security analysis approaches are nowadays still mainly based on time-intensive and error-prone manual activities. In this paper, we present the formal concepts of the automatic threat and vulnerability analysis tool ThreatGet. Therefore, we introduce the concept of the Extended Data-Flow Diagram that is used to represent the system under investigation in an abstracted form, and we highlight the formal analysis language of the tool. This domain-specific language is used to formulate so-called anti-patterns. These anti-patterns that can be interpreted by the tool for an automatic security analysis of the system. Besides the language declaration, we present the entire semantic evaluation of the language during the analysis. Parts of the definitions and elaborations of the diagram model and the analysis language were developed in the context of the master thesis of Korbinian Christl, in cooperation with the University of Vienna.


title: Physical characterization of recently discovered globular clusters in the Sagittarius dwarf spheroidal galaxy II. Metallicities, ages and luminosities

abstract: Globular clusters (GCs) are important tools to rebuild the accretion history of a galaxy. There are newly discovered GCs in the Sagittarius (Sgr) dwarf galaxy, that can be used as probes of the accretion event onto the Milky Way (MW). Our main aim is to characterize the Sgr GC system by measuring its main physical parameters. We build the optical and near-IR color-magnitude diagrams (CMDs) for 21 new Sgr GCs using the VISTA Variables in the Via Lactea Extended Survey (VVVX) near-IR database combined with the Gaia EDR3 optical database. We derive metallicities and ages for all targets, using the isochrone-fitting method and the RGB-slope and metallicity relation. The total luminosities are calculated both in the near-IR and in the optical. We construct the metallicity distribution (MD), the globular cluster luminosity function (GCLF), and the age-metallicity relation for the Sgr GC system. We find 17 metal-rich GCs with -0.9<[Fe/H]<-0.3, 4 metal-poor GCs with -2.0<[Fe/H]<-1.1 in the new Sgr GC sample. Even though our age estimates are rough, we find that the metal-poor GCs are consistent with an old population with an average age of ~13 Gyr, while the metal-rich GCs show a wider age range, between 6-8 Gyr and 10-13 Gyr. We compare the MD and the GCLF for the Sgr GC system with those of the MW, M31 and Large Magellanic Cloud (LMC) galaxies. We conclude that the majority of the metal-rich GCs are located within the main body of Sgr galaxy. We confirm that the GCLF is not a universal distribution, since the Sgr GCLF peaks at fainter luminosities than the GCLFs of the MW, M31 and LMC. The MD shows a double-peaked distribution, and we note that the metal-rich population looks like the MW bulge GCs. We compared our results with the literature concluding that the Sgr progenitor could have been a reasonably large galaxy able to retain the SNe ejecta, thus enriching its ISM.


title: Error estimates for fully discrete generalized FEMs with locally optimal spectral approximations

abstract: This paper is concerned with error estimates of the fully discrete generalized finite element method (GFEM) with optimal local approximation spaces for solving elliptic problems with heterogeneous coefficients. The local approximation spaces are constructed using eigenvectors of local eigenvalue problems solved by the finite element method on some sufficiently fine mesh with mesh size $h$. The error bound of the discrete GFEM approximation is proved to converge as $h\rightarrow 0$ towards that of the continuous GFEM approximation, which was shown to decay nearly exponentially in previous works. Moreover, even for fixed mesh size $h$, a nearly exponential rate of convergence of the local approximation errors with respect to the dimension of the local spaces is established. An efficient and accurate method for solving the discrete eigenvalue problems is proposed by incorporating the discrete $A$-harmonic constraint directly into the eigensolver. Numerical experiments are carried out to confirm the theoretical results and to demonstrate the effectiveness of the method.


title: High-Resolution Pelvic MRI Reconstruction Using a Generative Adversarial Network with Attention and Cyclic Loss

abstract: Magnetic resonance imaging (MRI) is an important medical imaging modality, but its acquisition speed is quite slow due to the physiological limitations. Recently, super-resolution methods have shown excellent performance in accelerating MRI. In some circumstances, it is difficult to obtain high-resolution images even with prolonged scan time. Therefore, we proposed a novel super-resolution method that uses a generative adversarial network (GAN) with cyclic loss and attention mechanism to generate high-resolution MR images from low-resolution MR images by a factor of 2. We implemented our model on pelvic images from healthy subjects as training and validation data, while those data from patients were used for testing. The MR dataset was obtained using different imaging sequences, including T2, T2W SPAIR, and mDIXON-W. Four methods, i.e., BICUBIC, SRCNN, SRGAN, and EDSR were used for comparison. Structural similarity, peak signal to noise ratio, root mean square error, and variance inflation factor were used as calculation indicators to evaluate the performances of the proposed method. Various experimental results showed that our method can better restore the details of the high-resolution MR image as compared to the other methods. In addition, the reconstructed high-resolution MR image can provide better lesion textures in the tumor patients, which is promising to be used in clinical diagnosis.


title: CL4AC: A Contrastive Loss for Audio Captioning

abstract: Automated Audio captioning (AAC) is a cross-modal translation task that aims to use natural language to describe the content of an audio clip. As shown in the submissions received for Task 6 of the DCASE 2021 Challenges, this problem has received increasing interest in the community. The existing AAC systems are usually based on an encoder-decoder architecture, where the audio signal is encoded into a latent representation, and aligned with its corresponding text descriptions, then a decoder is used to generate the captions. However, training of an AAC system often encounters the problem of data scarcity, which may lead to inaccurate representation and audio-text alignment. To address this problem, we propose a novel encoder-decoder framework called Contrastive Loss for Audio Captioning (CL4AC). In CL4AC, the self-supervision signals derived from the original audio-text paired data are used to exploit the correspondences between audio and texts by contrasting samples, which can improve the quality of latent representation and the alignment between audio and texts, while trained with limited data. Experiments are performed on the Clotho dataset to show the effectiveness of our proposed approach.


title: Lattice points on small arcs

abstract: We show that for any $\alpha\in (1/2,1)$ the number of lattice points belonging to an arc of length $R^{\alpha}$ of the circle of radius $R$ centered at the origin is not uniformly bounded in $R$, which disproves the corresponding conjecture of Cilleruelo and Granville. We also give certain generalizations of this fact and estimates for the $L_4$-norm of Gauss sums.


title: Levels of Automation for a Mobile Robot Teleoperated by a Caregiver

abstract: Caregivers in eldercare can benefit from telepresence robots that allow them to perform a variety of tasks remotely. In order for such robots to be operated effectively and efficiently by non-technical users, it is important to examine if and how the robotic system's level of automation (LOA) impacts their performance. The objective of this work was to develop suitable LOA modes for a mobile robotic telepresence (MRP) system for eldercare and assess their influence on users' performance, workload, awareness of the environment and usability at two different levels of task complexity. For this purpose, two LOA modes were implemented on the MRP platform: assisted teleoperation (low LOA mode) and autonomous navigation (high LOA mode). The system was evaluated in a user study with 20 participants, who, in the role of the caregiver, navigated the robot through a home-like environment to perform control and perception tasks. Results revealed that performance improved in the high LOA when task complexity was low. However, when task complexity increased, lower LOA improved performance. This opposite trend was also observed in the results for workload and situation awareness. We discuss the results in terms of the LOAs' impact on users' attitude towards automation and implications on usability.


title: SkyCell: A Space-Pruning Based Parallel Skyline Algorithm

abstract: Skyline computation is an essential database operation that has many applications in multi-criteria decision making scenarios such as recommender systems. Existing algorithms have focused on checking point domination, which lack efficiency over large datasets. We propose a grid-based structure that enables grid cell domination checks. We show that only a small constant number of cells need to be checked which is independent from the number of data points. Our structure also enables parallel processing. We thus obtain a highly efficient parallel skyline algorithm named SkyCell, taking advantage of the parallelization power of graphics processing units. Experimental results confirm the effectiveness and efficiency of SkyCell -- it outperforms state-of-the-art algorithms consistently and by up to over two orders of magnitude in the computation time.


title: Weakening Total Coloring Conjecture: Weak TCC and Hadwiger's Conjecture on Total Graphs

abstract: Hadwiger's conjecture is one of the most important and long-standing conjectures in graph theory. Reed and Seymour showed in 2004 that Hadwiger's conjecture is true for line graphs. We investigate this conjecture on the closely related class of total graphs. The total graph of $G$, denoted by $T(G)$, is defined on the vertex set $V(G)\sqcup E(G)$ with $c_1,c_2\in V(G)\sqcup E(G)$ adjacent whenever $c_1$ and $c_2$ are adjacent to or incident on each other in $G$. We first show that there exists a constant $C$ such that, if the connectivity of $G$ is at least $C$, then Hadwiger's conjecture is true for $T(G)$. The total chromatic number $\chi"(G)$ of a graph $G$ is defined to be equal to the chromatic number of its total graph. That is, $\chi"(G)=\chi(T(G))$. Another well-known conjecture in graph theory, the total coloring conjecture or TCC, states that for every graph $G$, $\chi"(G)\leq\Delta(G)+2$, where $\Delta(G)$ is the maximum degree of $G$. We show that if a weaker version of the total coloring conjecture (weak TCC) namely, $\chi"(G)\leq\Delta(G)+3$, is true for a class of graphs $\mathcal{F}$ that is closed under the operation of taking subgraphs, then Hadwiger's conjecture is true for the class of total graphs of graphs in $\mathcal{F}$. This motivated us to look for classes of graphs that satisfy weak TCC. It may be noted that a complete proof of TCC for even 4-colorable graphs (in fact even for planar graphs) has remained elusive even after decades of effort; but weak TCC can be proved easily for 4-colorable graphs. We noticed that in spite of the interest in studying $\chi"(G)$ in terms of $\chi(G)$ right from the initial days, weak TCC is not proven to be true for $k$-colorable graphs even for $k=5$. In the second half of the paper, we make a contribution to the literature on total coloring by proving that $\chi"(G)\leq\Delta(G)+3$ for every 5-colorable graph $G$.


title: Dynamical indistinguishability and statistics in quantum fluids

abstract: For a system to qualify as a quantum fluid, quantum-statistical effects should operate in addition to quantum-mechanical ones. Here, we address the hitherto unexplored dynamical condition for the quantum-statistical effects to be manifested, and consider particle exchange events in the gaslike regime of fluid dynamics as a dynamical process with an intrinsic time scale. We subsequently propose a quantitative criterion of particle indistinguishability and associated quantum statistics to be inoperative at short time and emerge at long time. Verifiable experimentally, our predictions enable a systematic search for a transition between statistics-active and statistics-inactive regimes in quantum fluids.


title: MarsExplorer: Exploration of Unknown Terrains via Deep Reinforcement Learning and Procedurally Generated Environments

abstract: This paper is an initial endeavor to bridge the gap between powerful Deep Reinforcement Learning methodologies and the problem of exploration/coverage of unknown terrains. Within this scope, MarsExplorer, an openai-gym compatible environment tailored to exploration/coverage of unknown areas, is presented. MarsExplorer translates the original robotics problem into a Reinforcement Learning setup that various off-the-shelf algorithms can tackle. Any learned policy can be straightforwardly applied to a robotic platform without an elaborate simulation model of the robot's dynamics to apply a different learning/adaptation phase. One of its core features is the controllable multi-dimensional procedural generation of terrains, which is the key for producing policies with strong generalization capabilities. Four different state-of-the-art RL algorithms (A3C, PPO, Rainbow, and SAC) are trained on the MarsExplorer environment, and a proper evaluation of their results compared to the average human-level performance is reported. In the follow-up experimental analysis, the effect of the multi-dimensional difficulty setting on the learning capabilities of the best-performing algorithm (PPO) is analyzed. A milestone result is the generation of an exploration policy that follows the Hilbert curve without providing this information to the environment or rewarding directly or indirectly Hilbert-curve-like trajectories. The experimental analysis is concluded by evaluating PPO learned policy algorithm side-by-side with frontier-based exploration strategies. A study on the performance curves revealed that PPO-based policy was capable of performing adaptive-to-the-unknown-terrain sweeping without leaving expensive-to-revisit areas uncovered, underlying the capability of RL-based methodologies to tackle exploration tasks efficiently. The source code can be found at: https://github.com/dimikout3/MarsExplorer.


title: Groups of finite Morley rank with a generically multiply transitive action on an abelian group

abstract: We investigate the configuration where a group of finite Morley rank acts definably and generically $m$-transitively on an elementary abelian $p$-group of Morley rank $n$, where $p$ is an odd prime, and $m\geqslant n$. We conclude that $m=n$, and the action is equivalent to the natural action of $\operatorname{GL}_n(F)$ on $F^n$ for some algebraically closed field $F$. This strengthens our earlier result in arXiv:1802.05222, and partially answers two problems posed in [9].


title: Conditional Sound Generation Using Neural Discrete Time-Frequency Representation Learning

abstract: Deep generative models have recently achieved impressive performance in speech and music synthesis. However, compared to the generation of those domain-specific sounds, generating general sounds (such as siren, gunshots) has received less attention, despite their wide applications. In previous work, the SampleRNN method was considered for sound generation in the time domain. However, SampleRNN is potentially limited in capturing long-range dependencies within sounds as it only back-propagates through a limited number of samples. In this work, we propose a method for generating sounds via neural discrete time-frequency representation learning, conditioned on sound classes. This offers an advantage in efficiently modelling long-range dependencies and retaining local fine-grained structures within sound clips. We evaluate our approach on the UrbanSound8K dataset, compared to SampleRNN, with the performance metrics measuring the quality and diversity of generated sounds. Experimental results show that our method offers comparable performance in quality and significantly better performance in diversity.


title: Twisted Affine Yangian and Rectangular $W$-algebra of type $D$

abstract: We define the twisted affine Yangian of type $C$ and construct surjective homomorphisms from twisted affine Yangians of type $C$ to the universal enveloping algebra of the rectangular $W$-algebra associated with $\mathfrak{so}(ln)$ and a nilpotent element whose Jordan form corresponds to the partition $(l^n)$ in the case when $l$ and $n$ are even.


title: From calmness to Hoffman constants for linear semi-infinite inequality systems

abstract: In this paper we focus on different -- global, semi-local and local -- versions of Hoffman type inequalities expressed in a variational form. In a first stage our analysis is developed for generic multifunctions between metric spaces and we finally deal with the feasible set mapping associated with linear semi-infinite inequality systems (finitely many variables and possibly infinitely many constraints) parameterized by their right-hand side. The Hoffman modulus is shown to coincide with the supremum of Lipschitz upper semicontinuity and calmness moduli when confined to multifunctions with a convex graph and closed images in a reflexive Banach space, which is the case of our feasible set mapping. Moreover, for this particular multifunction a formula -- only involving the system's left-hand side -- of the global Hoffman constant is derived, providing a generalization to our semi-infinite context of finite counterparts developed in the literature. In the particular case of locally polyhedral systems, the paper also provides a point-based formula for the (semi-local) Hoffman modulus in terms of the calmness moduli at certain feasible points (extreme points when the nominal feasible set contains no lines), yielding a practically tractable expression for finite systems.


title: Forecasting performance of workforce reskilling programmes

abstract: Estimating success rates for programmes aiming to reintegrate theunemployed into the workforce is essential for good stewardship of publicfinances. At the current moment, the methods used for this task arebased on the historical performance of comparable programmes. In lightof Brexit and Covid-19 simultaneously causing a shock to the labourmarket in the UK we developed an estimation method that is basedon fundamental factors involved - workforce demand and supply - asopposed to the historical values which are quickly becoming irrelevant.With an average error of 3.9% of the re-integration success rate, ourmodel outperforms the best benchmark known to us by 53%


title: On generalizing Descartes' rule of signs to hypersurfaces

abstract: We give partial generalizations of the classical Descartes' rule of signs to multivariate polynomials (with real exponents), in the sense that we provide upper bounds on the number of connected components of the complement of a hypersurface in the positive orthant. In particular, we give conditions based on the geometrical configuration of the exponents and the sign of the coefficients that guarantee that the number of connected components where the polynomial attains a negative value is at most one or two. Our results fully cover the cases where such an upper bound provided by the univariate Descartes' rule of signs is one. This approach opens a new route to generalize Descartes' rule of signs to the multivariate case, differing from previous works that aim at counting the number of positive solutions of a system of multivariate polynomial equations.


title: A Combined Fit of the Diffuse Neutrino Spectrum using IceCube Muon Tracks and Cascades

abstract: The IceCube Neutrino Observatory first observed a diffuse flux of high energy astrophysical neutrinos in 2013. Since then, this observation has been confirmed in multiple detection channels such as high energy starting events, cascades, and through-going muon tracks. Combining these event selections into a high statistics global fit of 10 years of IceCube's neutrino data could strongly improve the understanding of the diffuse astrophysical neutrino flux: challenging or confirming the simple unbroken power-law flux model as well as the astrophysical neutrino flux composition. One key component of such a combined analysis is the consistent modelling of systematic uncertainties of different event selections. This can be achieved using the novel SnowStorm Monte Carlo method which allows constraints to be placed on multiple systematic parameters from a single simulation set. We will report on the status of a new combined analysis of through-going muon tracks and cascades. It is based on a consistent all flavor neutrino signal and background simulation using, for the first time, the SnowStorm method to analyze IceCube's high-energy neutrino data. Estimated sensitivities for the energy spectrum of the diffuse astrophysical neutrino flux will be shown.


title: Deep Iterative 2D/3D Registration

abstract: Deep Learning-based 2D/3D registration methods are highly robust but often lack the necessary registration accuracy for clinical application. A refinement step using the classical optimization-based 2D/3D registration method applied in combination with Deep Learning-based techniques can provide the required accuracy. However, it also increases the runtime. In this work, we propose a novel Deep Learning driven 2D/3D registration framework that can be used end-to-end for iterative registration tasks without relying on any further refinement step. We accomplish this by learning the update step of the 2D/3D registration framework using Point-to-Plane Correspondences. The update step is learned using iterative residual refinement-based optical flow estimation, in combination with the Point-to-Plane correspondence solver embedded as a known operator. Our proposed method achieves an average runtime of around 8s, a mean re-projection distance error of 0.60 $\pm$ 0.40 mm with a success ratio of 97 percent and a capture range of 60 mm. The combination of high registration accuracy, high robustness, and fast runtime makes our solution ideal for clinical applications.


title: An all-sky sample of intermediate- to high-mass OBA-type eclipsing binaries observed by TESS

abstract: Context. Intermediate- to high-mass stars are the least numerous types of stars and they are less well understood than their more numerous low-mass counterparts in terms of their internal physical processes. Modelling the photometric variability of a large sample of main-sequence intermediate- to high-mass stars in eclipsing binary systems will help to improve the models for such stars. Aims. Our goal is to compose a homogeneously compiled sample of main-sequence intermediate- to high-mass OBA-type dwarfs in eclipsing binary systems from TESS photometry. We search for binaries with and without pulsations and determine their approximate ephemerides. Methods. Our selection starts from a catalogue of dwarfs with colours corresponding to those of OBA-type dwarfs in the TESS Input Catalog. We develop a new automated method aimed at detecting eclipsing binaries in the presence of strong pulsational and/or rotational signal relative to the eclipse depths and apply it to publicly available 30-min cadence TESS light curves. Results. Using targets with TESS magnitudes below 15 and cuts in the 2MASS magnitude bands of $J - H < 0.045$ and $J - K < 0.06$ as most stringent criteria, we arrive at a total of 189 981 intermediate- to high-mass candidates, 91193 of which have light curves from at least one of two data reduction pipelines. The eclipsing binary detection and subsequent manual check for false positives resulted in 3155 unique OBA-type eclipsing binary candidates. Conclusions. Our sample of eclipsing binary stars in the intermediate- to high-mass regime allows for future binary (and asteroseismic) modelling with the aim to better understand the internal physical processes in this hot part of the main sequence.


title: Window Detection In Facade Imagery: A Deep Learning Approach Using Mask R-CNN

abstract: The parsing of windows in building facades is a long-desired but challenging task in computer vision. It is crucial to urban analysis, semantic reconstruction, lifecycle analysis, digital twins, and scene parsing amongst other building-related tasks that require high-quality semantic data. This article investigates the usage of the mask R-CNN framework to be used for window detection of facade imagery input. We utilize transfer learning to train our proposed method on COCO weights with our own collected dataset of street view images of facades to produce instance segmentations of our new window class. Experimental results show that our suggested approach with a relatively small dataset trains the network only with transfer learning and augmentation achieves results on par with prior state-of-the-art window detection approaches, even without post-optimization techniques.


title: Resolution of singularities of the odd nilpotent cone of orthosymplectic Lie superalgebras

abstract: We construct a Springer-type resolution of singularities of the odd nilpotent cone of the orthosymplectic Lie superalgebras osp(m|2n).


title: Architecture-Specific Performance Optimization of Compute-Intensive FaaS Functions

abstract: FaaS allows an application to be decomposed into functions that are executed on a FaaS platform. The FaaS platform is responsible for the resource provisioning of the functions. Recently, there is a growing trend towards the execution of compute-intensive FaaS functions that run for several seconds. However, due to the billing policies followed by commercial FaaS offerings, the execution of these functions can incur significantly higher costs. Moreover, due to the abstraction of underlying processor architectures on which the functions are executed, the performance optimization of these functions is challenging. As a result, most FaaS functions use pre-compiled libraries generic to x86-64 leading to performance degradation. In this paper, we examine the underlying processor architectures for Google Cloud Functions (GCF) and determine their prevalence across the 19 available GCF regions. We modify, adapt, and optimize three compute-intensive FaaS workloads written in Python using Numba, a JIT compiler based on LLVM, and present results wrt performance, memory consumption, and costs on GCF. Results from our experiments show that the optimization of FaaS functions can improve performance by 12.8x (geometric mean) and save costs by 73.4% on average for the three functions. Our results show that optimization of the FaaS functions for the specific architecture is very important. We achieved a maximum speedup of 1.79x by tuning the function especially for the instruction set of the underlying processor architecture.


title: Direction Dependent Corrections in Polarimetric Radio Imaging III: A-to-Z Solver -- Modeling the full Jones antenna aperture illumination pattern

abstract: In this third paper of a series describing direction dependent corrections for polarimetric radio imaging, we present the the A-to-Z solver methodology to model the full Jones antenna aperture illumination pattern (AIP) with Zernike polynomials. In order to achieve thermal noise limited imaging with modern radio interferometers, it is necessary to correct for the instrumental effects of the antenna primary beam (PB) as a function of time, frequency, and polarization. The wideband AW projection algorithm enables those corrections provided an accurate model of the AIP is available. We present the A-to-Z solver as a more versatile algorithm for the modeling of the AIP. It employs the orthonormal circular Zernike polynomial basis to model the measured full Jones AIP. These full Jones models are then used to reconstruct the full Mueller AIP repsonse of an antenna, in principle accounting for all the off-axis leakage effects of the primary beam. The A-to-Z solver is general enough to accomodate any interferometer for which holographic measurements exist, we have successfully modelled the AIP of VLA, MeerKAT and ALMA as a demonstration of its versatility. We show that our models capture the PB morphology to high accuracy within the first 1-2 sidelobes, and show the viability of full Mueller gridding and deconvolution for any telescope given high quality holographic measurements.


title: Optically-detected galaxy cluster candidates in the $AKARI$ North Ecliptic Pole field based on photometric redshift from Subaru Hyper Suprime-Cam

abstract: Galaxy clusters provide an excellent probe in various research fields in astrophysics and cosmology. However, the number of galaxy clusters detected so far in the $AKARI$ North Ecliptic Pole (NEP) field is limited. In this work, we provide galaxy cluster candidates in the $AKARI$ NEP field with the minimum requisites based only on coordinates and photometric redshift (photo-$z$) of galaxies. We used galaxies detected in 5 optical bands ($g$, $r$, $i$, $z$, and $Y$) by the Subaru Hyper Suprime-Cam (HSC), assisted with $u$-band from Canada-France-Hawaii Telescope (CFHT) MegaPrime/MegaCam, and IRAC1 and IRAC2 bands from the $Spitzer$ space telescope for photo-$z$ estimation. We calculated the local density around every galaxy using the 10$^{th}$-nearest neighbourhood. Cluster candidates were determined by applying the friends-of-friends algorithm to over-densities. 88 cluster candidates containing 4390 member galaxies below redshift 1.1 in 5.4 deg$^2$ have been detected. The reliability of our method was examined through false detection tests, redshift uncertainty tests, and applications on the COSMOS data, giving false detection rates of 0.01 to 0.05 and recovery rate of 0.9 at high richness. 3 X-ray clusters previously observed by $ROSAT$ and $Chandra$ were recovered. The cluster galaxies show higher stellar mass and lower star formation rate (SFR) compared to the field galaxies in two-sample Z-tests. These cluster candidates are useful for environmental studies of galaxy evolution and future astronomical surveys in the NEP, where $AKARI$ has performed unique 9-band mid-infrared photometry for tens of thousands of galaxies.


title: Second order cumulants of conserved charge fluctuations revisited I. Vanishing chemical potentials

abstract: We update lattice QCD results for second order cumulants of conserved charge fluctuations and correlations at non-zero temperature and vanishing values of the conserved charge chemical potentials. We compare these results to hadron resonance gas calculations with and without excluded volume terms as well as S-matrix results in the hadronic phase of QCD, and comment on their current limitations. We, furthermore, use these results to characterize thermal conditions in the vicinity of the pseudo-critical line of the chiral transition in QCD. We argue that the ratio of strange to baryon chemical potentials is a robust observable that, on the one hand, deviates only little from hadron resonance gas results, but, on the other hand, is very sensitive to the spectrum of strange baryon resonances.


title: Symplectic topology and ideal-valued measures

abstract: We adapt Gromov's notion of ideal-valued measures to symplectic topology, and use it for proving new results on symplectic rigidity and symplectic intersections. Furthermore, it enables us to discuss three "big fiber theorems", the Centerpoint Theorem in combinatorial geometry, the Maximal Fiber Inequality in topology, and the Non-displaceable Fiber Theorem in symplectic topology, from a unified viewpoint. Our main technical tool is an enhancement of the symplectic cohomology theory recently developed by Varolgunes.