title: Energy scales and black hole pseudospectra: the structural role of the scalar product

abstract: A pseudospectrum analysis has recently provided evidence of a potential generic instability of black hole (BH) quasinormal mode (QNM) overtones under high-frequency perturbations. Such instability analysis depends on the assessment of the size of perturbations. This is encoded in the scalar product and its choice is not unique. We address the impact of the scalar product choice, founding it on the physical energy scales of the problem. The article is organized in three parts: basics, applications and heuristic proposals. In the first part, we revisit the energy scalar product used in the hyperboloidal approach to QNMs, extending previous effective analyses and placing them on solid spacetime basis. The second part focuses on applications of the scalar product in the QNM problem: i) we demonstrate that the QNM instability is not an artifact of previous spectral numerical schemes, by implementing a finite elements calculation from a weak formulation; ii) using Keldysh's theorem, we provide QNM resonant expansions for the gravitational waveform, with explicit expressions of the expansion coefficients; iii) we propose the notion of "epsilon-dual QNM expansions" to exploit BH QNM instability in BH spectroscopy, exploiting both non-perturbed and perturbed QNMs, the former informing on large scales and the latter probing small scales. The third part enlarges the conceptual scope of BH QNM instability proposing: a) spiked perturbations are more efficient in triggering BH QNM instabilities than smooth ones, b) a general picture of the BH QNM instability problem is given, supporting the conjecture (built on Burnett's conjecture) that Nollert-Price branches converge universally to logarithmic Regge branches in the high-frequency limit and c) aiming at a fully geometric description of QNMs, BMS states are hinted as possible asymptotic/boundary degrees of freedom for an inverse scattering problem.


title: Unsupervised Domain Adaptation for Hate Speech Detection Using a Data Augmentation Approach

abstract: Online harassment in the form of hate speech has been on the rise in recent years. Addressing the issue requires a combination of content moderation by people, aided by automatic detection methods. As content moderation is itself harmful to the people doing it, we desire to reduce the burden by improving the automatic detection of hate speech. Hate speech presents a challenge as it is directed at different target groups using a completely different vocabulary. Further the authors of the hate speech are incentivized to disguise their behavior to avoid being removed from a platform. This makes it difficult to develop a comprehensive data set for training and evaluating hate speech detection models because the examples that represent one hate speech domain do not typically represent others, even within the same language or culture. We propose an unsupervised domain adaptation approach to augment labeled data for hate speech detection. We evaluate the approach with three different models (character CNNs, BiLSTMs and BERT) on three different collections. We show our approach improves Area under the Precision/Recall curve by as much as 42% and recall by as much as 278%, with no loss (and in some cases a significant gain) in precision.


title: From Library Portability to Para-rehosting: Natively Executing Microcontroller Software on Commodity Hardware

abstract: Finding bugs in microcontroller (MCU) firmware is challenging, even for device manufacturers who own the source code. The MCU runs different instruction sets than x86 and exposes a very different development environment. This invalidates many existing sophisticated software testing tools on x86. To maintain a unified developing and testing environment, a straightforward way is to re-compile the source code into the native executable for a commodity machine (called rehosting). However, ad-hoc re-hosting is a daunting and tedious task and subject to many issues (library-dependence, kernel-dependence and hardware-dependence). In this work, we systematically explore the portability problem of MCU software and propose pararehosting to ease the porting process. Specifically, we abstract and implement a portable MCU (PMCU) using the POSIX interface. It models common functions of the MCU cores. For peripheral specific logic, we propose HAL-based peripheral function replacement, in which high-level hardware functions are replaced with an equivalent backend driver on the host. These backend drivers are invoked by well-designed para-APIs and can be reused across many MCU OSs. We categorize common HAL functions into four types and implement templates for quick backend development. Using the proposed approach, we have successfully rehosted nine MCU OSs including the widely deployed Amazon FreeRTOS, ARM Mbed OS, Zephyr and LiteOS. To demonstrate the superiority of our approach in terms of security testing, we used off-the-shelf dynamic analysis tools (AFL and ASAN) against the rehosted programs and discovered 28 previously-unknown bugs, among which 5 were confirmed by CVE and the other 19 were confirmed by vendors at the time of writing.


title: Agent-based neutral competition in two-community networks

abstract: Competition between alternative states is an essential process in social and biological networks. Neutral competition can be represented by an unbiased random drift process in which the states of vertices (e.g., opinions, genotypes, or species) in a network are updated by repeatedly selecting two connected vertices. One of these vertices copies the state of the selected neighbor. Such updates are repeated until all vertices are in the same "consensus" state. There is no unique rule for selecting the vertex pair to be updated. Real-world processes comprise three limiting factors that can influence the selected edge and the direction of spread: (1) the rate at which a vertex sends a state to its neighbors, (2) the rate at which a state is received by a neighbor, and (3) the rate at which a state can be exchanged through a connecting edge. We investigate how these three limitations influence neutral competition in networks with two communities generated by a stochastic block model. By using Monte Carlo simulations, we show how the community structure and update rule determine the states' success probabilities and the time until a consensus is reached. We present a heterogeneous mean-field theory that agrees well with the Monte Carlo simulations. The effectiveness of the heterogeneous mean-field theory implies that quantitative predictions about the consensus are possible even if empirical data (e.g., from ecological fieldwork or observations of social interactions) do not allow a complete reconstruction of all edges in the network.


title: A Simplified Framework for Air Route Clustering Based on ADS-B Data

abstract: The volume of flight traffic gets increasing over the time, which makes the strategic traffic flow management become one of the challenging problems since it requires a lot of computational resources to model entire traffic data. On the other hand, Automatic Dependent Surveillance - Broadcast (ADS-B) technology has been considered as a promising data technology to provide both flight crews and ground control staff the necessary information safely and efficiently about the position and velocity of the airplanes in a specific area. In the attempt to tackle this problem, we presented in this paper a simplified framework that can support to detect the typical air routes between airports based on ADS-B data. Specifically, the flight traffic will be classified into major groups based on similarity measures, which helps to reduce the number of flight paths between airports. As a matter of fact, our framework can be taken into account to reduce practically the computational cost for air flow optimization and evaluate the operational performance. Finally, in order to illustrate the potential applications of our proposed framework, an experiment was performed using ADS-B traffic flight data of three different pairs of airports. The detected typical routes between each couple of airports show promising results by virtue of combining two indices for measuring the clustering performance and incorporating human judgment into the visual inspection.


title: A Free and Fair Economy: A Game of Justice and Inclusion

abstract: Frequent violations of fair principles in real-life settings raise the fundamental question of whether such principles can guarantee the existence of a self-enforcing equilibrium in a free economy. We show that elementary principles of distributive justice guarantee that a pure-strategy Nash equilibrium exists in a finite economy where agents freely (and non-cooperatively) choose their inputs and derive utility from their pay. Chief among these principles is that: 1) your pay should not depend on your name, and 2) a more productive agent should not earn less. When these principles are violated, an equilibrium may not exist. Moreover, we uncover an intuitive condition -- technological monotonicity -- that guarantees equilibrium uniqueness and efficiency. We generalize our findings to economies with social justice and inclusion, implemented in the form of progressive taxation and redistribution, and guaranteeing a basic income to unproductive agents. Our analysis uncovers a new class of strategic form games by incorporating normative principles into non-cooperative game theory. Our results rely on no particular assumptions, and our setup is entirely non-parametric. Illustrations of the theory include applications to exchange economies, surplus distribution in a firm, contagion and self-enforcing lockdown in a networked economy, and bias in the academic peer-review system. Keywords: Market justice; Social justice; Inclusion; Ethics; Discrimination; Self-enforcing contracts; Fairness in non-cooperative games; Pure strategy Nash equilibrium; Efficiency. JEL Codes: C72, D30, D63, J71, J38


title: Model Free Barrier Functions via Implicit Evading Maneuvers

abstract: This paper demonstrates that the safety override arising from the use of a barrier function can in some cases be needlessly restrictive. In particular, we examine the case of fixed-wing collision avoidance and show that when using a barrier function, there are cases where two fixed-wing aircraft can come closer to colliding than if there were no barrier function at all. In addition, we construct cases where the barrier function labels the system as unsafe even when the vehicles start arbitrarily far apart. In other words, the barrier function ensures safety but with unnecessary costs to performance. We therefore introduce model-free barrier functions which take a data driven approach to creating a barrier function. We demonstrate the effectiveness of model-free barrier functions in a collision avoidance simulation of two fixed-wing aircraft.


title: LOB modeling using Hawkes processes with a state-dependent factor

abstract: A point process model for order flows in limit order books is proposed, in which the conditional intensity is the product of a Hawkes component and a state-dependent factor. In the LOB context, state observations may include the observed imbalance or the observed spread. Full technical details for the computationally-efficient estimation of such a process are provided, using either direct likelihood maximization or EM-type estimation. Applications include models for bid and ask market orders, or for upwards and downwards price movements. Empirical results on multiple stocks traded in Euronext Paris underline the benefits of state-dependent formulations for LOB modeling, e.g. in terms of goodness-of-fit to financial data.


title: PDF-Malware: An Overview on Threats, Detection and Evasion Attacks

abstract: In the recent years, Portable Document Format, commonly known as PDF, has become a democratized standard for document exchange and dissemination. This trend has been due to its characteristics such as its flexibility and portability across platforms. The widespread use of PDF has installed a false impression of inherent safety among benign users. However, the characteristics of PDF motivated hackers to exploit various types of vulnerabilities, overcome security safeguards, thereby making the PDF format one of the most efficient malicious code attack vectors. Therefore, efficiently detecting malicious PDF files is crucial for information security. Several analysis techniques has been proposed in the literature, be it static or dynamic, to extract the main features that allow the discrimination of malware files from benign ones. Since classical analysis techniques may be limited in case of zero-days, machine-learning based techniques have emerged recently as an automatic PDF-malware detection method that is able to generalize from a set of training samples. These techniques are themselves facing the challenge of evasion attacks where a malicious PDF is transformed to look benign. In this work, we give an overview on the PDF-malware detection problem. We give a perspective on the new challenges and emerging solutions.


title: Empirical Assessment of Aperiodic and Periodic Radio Bursts from Young Precessing Magnetars

abstract: We analyze the slow periodicities identified in burst sequences from FRB 121102 and FRB 180916 with periods of about 16 and 160 d, respectively, while also addressing the absence of any fast periodicity that might be associated with the spin of an underlying compact object. Both phenomena can be accounted for by a young, highly magnetized, precessing neutron star that emits beamed radiation with significant imposed phase jitter. Sporadic narrow-beam emission into an overall wide solid angle can account for the necessary phase jitter, but the slow periodicities with 25 to 55 % duty cycles constrain beam traversals to be significantly smaller. Instead, phase jitter may result from variable emission altitudes that yield large retardation and aberration delays. A detailed arrival-time analysis for triaxial precession includes wobble of the radio beam and the likely larger, cyclical torque resulting from the changes in the spin-magnetic moment angle. These effects will confound identification of the fast periodicity in sparse data sets longer than about a quarter of a precession cycle unless fitted for and removed as with orbital fitting. Stochastic spin noise, likely to be much larger than in radio pulsars, may hinder detection of any fast-periodicity in data spans longer than a few days. These decoherence effects will dissipate as FRB sources age, so they may evolve into objects with properties similar to Galactic magnetars.


title: Staticity and regularity for zero rest-mass fields near spatial infinity on flat spacetime

abstract: Linear zero-rest-mass fields generically develop logarithmic singularities at the critical sets where spatial infinity meets null infinity. Friedrich's representation of spatial infinity is ideally suited to study this phenomenon. These logarithmic singularities are an obstruction to the smoothness of the zero-rest-mass field at null infinity and, in particular, to peeling. In the case of the spin-2 field it has been shown that these logarithmic singularities can be precluded if the initial data for the field satisfies a certain regularity condition involving the vanishing, at spatial infinity, of a certain spinor (the linearised Cotton spinor) and its totally symmetrised derivatives. In this article we investigate the relation between this regularity condition and the staticity of the spin-2 field. It is shown that while any static spin-2 field satisfies the regularity condition, not every solution satisfying the regularity condition is static. This result is in contrast with what happens in the case of General Relativity where staticity in a neighbourhood of spatial infinity and the smoothness of the field at future and past null infinities are much more closely related.


title: Weisskopf units for neutron-proton pair transfers

abstract: We introduce the concept of neutron-proton two-particle units ($np$-Weisskopf units) to be used in the analysis of the ($^3$He,$p)$ and $(p,^3$He) \added{reactions on nuclei} along the N=Z line. These are presented for the conditions relevant to the $(n,j,\ell$) orbits expected from $^{16}$O to $^{100}$Sn. As is the case of the Weisskopf units for electromagnetic transitions, the $np$-WU's will provide a simple, yet robust, measure of isoscalar and isovector $np$ pairing collective effects.


title: Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner

abstract: The inexpressive Description Logic (DL) $\mathcal{FL}_0$, which has conjunction and value restriction as its only concept constructors, had fallen into disrepute when it turned out that reasoning in $\mathcal{FL}_0$ w.r.t. general TBoxes is ExpTime-complete, i.e., as hard as in the considerably more expressive logic $\mathcal{ALC}$. In this paper, we rehabilitate $\mathcal{FL}_0$ by presenting a dedicated subsumption algorithm for $\mathcal{FL}_0$, which is much simpler than the tableau-based algorithms employed by highly optimized DL reasoners. Our experiments show that the performance of our novel algorithm, as prototypically implemented in our $\mathcal{FL}_o$wer reasoner, compares very well with that of the highly optimized reasoners. $\mathcal{FL}_o$wer can also deal with ontologies written in the extension $\mathcal{FL}_{\bot}$ of $\mathcal{FL}_0$ with the top and the bottom concept by employing a polynomial-time reduction, shown in this paper, which eliminates top and bottom. We also investigate the complexity of reasoning in DLs related to the Horn-fragments of $\mathcal{FL}_0$ and $\mathcal{FL}_{\bot}$.


title: Linear Prediction Residual for Efficient Diagnosis of Parkinson's Disease from Gait

abstract: Parkinson's Disease (PD) is a chronic and progressive neurological disorder that results in rigidity, tremors and postural instability. There is no definite medical test to diagnose PD and diagnosis is mostly a clinical exercise. Although guidelines exist, about 10-30% of the patients are wrongly diagnosed with PD. Hence, there is a need for an accurate, unbiased and fast method for diagnosis. In this study, we propose LPGNet, a fast and accurate method to diagnose PD from gait. LPGNet uses Linear Prediction Residuals (LPR) to extract discriminating patterns from gait recordings and then uses a 1D convolution neural network with depth-wise separable convolutions to perform diagnosis. LPGNet achieves an AUC of 0.91 with a 21 times speedup and about 99% lesser parameters in the model compared to the state of the art. We also undertake an analysis of various cross-validation strategies used in literature in PD diagnosis from gait and find that most methods are affected by some form of data leakage between various folds which leads to unnecessarily large models and inflated performance due to overfitting. The analysis clears the path for future works in correctly evaluating their methods.


title: Consumer belonging behaviour: Qualitative testing of a theoretical framework and proposal of an alternative model

abstract: Much research has been conducted on how consumption is related to human relations, for example, consumer communities organized around specific brands, or the way people use products to define their own identity and transmit a desired image. However, only a scarcity of research has examined the consumption behaviour when the fundamental intention is to leverage group belonging. The literature comprises a single theoretical framework that describes this behaviour, a nascent proposition that has not been tested. This study examines the transferability of that theoretical framework in a different context than the one used for its proposal and its extent on the phenomenon of consuming to leverage belonging. A qualitative deductive case study and a pattern matching analysis technique were employed, followed by a structural coding analysis of interview data. The findings revealed the model is transferable, however its conceptual extent on the phenomenon it addresses faces limitations. These findings allow the proposal of an alternative framework, the Belonging-Oriented Consumption Model. This model provides a theoretical basis for future research on consumer belonging behaviour.


title: Conformal invariance of double random currents II: tightness and properties in the discrete

abstract: This is the second of two papers devoted to the proof of conformal invariance of the critical double random current on the square lattice. More precisely, we show convergence of loop ensembles obtained by taking the cluster boundaries in the sum of two independent critical currents (both for free and wired boundary conditions). The strategy is first to prove convergence of the associated height function to the continuum Gaussian free field, and then to characterize the scaling limit of the loop ensembles as certain local sets of this Gaussian Free Field. In this paper, we derive crossing properties of the discrete model required to prove this characterization.


title: Choice Functions

abstract: This is a survey paper on rainbow sets (another name for ``choice functions''). The main theme is the distinction between two types of choice functions: those having a large (in the sense of belonging to some specified filter, namely closed up set of sets) image, and those that have a large domain and small image, where ``smallness'' means belonging to some specified complex (a closed-down set). The paper contains some new results: (1) theorems on scrambled versions, in which the sets are re-shuffled before choosing the rainbow set, and (2) results on weighted and cooperative versions - to be defined below.


title: Photovoltaic transistor of atoms due to spin-orbit coupling in three optical traps

abstract: In this paper, spin-orbit coupling induced photovoltaic effect of cold atoms has been studied in a three-trap system which is an two-dimensional extension of a two-trap system reported previously. It is proposed here that atom coherent length is one of the important influence to the resistance of this photovoltaic battery. Current properties of the system for different geometrical structures of the trapping potentials are discussed. Numerical results show extension in the number of traps could cause current increase directly. Quantum master equation at finite temperature is used to treat this opened system. This work may give a theoretical basis for further development of the photovoltaic effect of neutral atoms.


title: Electromagnetic Proton Beam Instabilities in the Inner Heliosphere: Energy Transfer Rate, Radial Distribution, and Effective Excitation

abstract: Differential flows among different ion species are often observed in the solar wind, and such ion differential flows can provide the free energy to drive Alfv\'en/ion-cyclotron and fast-magnetosonic/whistler instabilities. Previous works mainly focused on ion beam instability under the parameters representative of the solar wind nearby 1 au. In this paper we further study proton beam instability using the radial models of the magnetic field and plasma parameters in the inner heliosphere. We explore a comprehensive distribution of proton beam instability as functions of the heliocentric distance and the beam speed. We also perform a detailed analysis of the energy transfer between unstable waves and particles and quantify how much the free energy of the proton beam flows into unstable waves and other kinds of particle species (i.e., proton core, alpha particle, and electron). This work clarifies that both parallel and perpendicular electric fields are responsible for the excitation of oblique Alfv\'en/ion-cyclotron and oblique fast-magnetosonic/whistler instabilities. Moreover, this work proposes an effective growth length to estimate whether the instability is efficiently excited or not. It shows that oblique Alfv\'en/ion-cyclotron instability, oblique fast-magnetosonic/whistler instability, and oblique Alfv\'en/ion-beam instability can be efficiently driven by proton beams drifting at the speed $\sim$ 600-1300 km s$^{-1}$ in the solar atmosphere. In particular, oblique Alfv\'en/ion-cyclotron waves driven in the solar atmosphere can be significantly damped therein, leading to the solar corona heating. These results are helpful for understanding proton beam dynamics in the inner heliosphere and can be verified through in situ satellite measurements.


title: SimCleaner -- Sistema de Padroniza\c{c}\~ao de Bases de Dados utilizando Fun\c{c}\~oes de Similaridade

abstract: The Knowledge Discovery in Database (KDD) process permits the detection of pattern in databases, where this analysis may be compromised if database is not consistent, making necessary the use of data cleaning techniques. This paper presents a tool based in similarity functions to help the preprocessing of databases and it behaved efficiently in the standardization of a System of Public Security of the State of Par\'a database and may be reused with other databases and other data mining projects.


title: No free lunch for markets with multiple num\'eraires

abstract: We consider a global market constituted by several submarkets, each with its own assets and num\'eraire. We provide theoretical foundations for the existence of equivalent martingale measures and results on superreplication prices which allows to take into account difference of features between submarkets.


title: Parameter-uniform numerical methods for singularly perturbed linear transport problems

abstract: Pointwise accurate numerical methods are constructed and analysed for three classes of singularly perturbed first order transport problems. The methods involve piecewise-uniform Shishkin meshes and the numerical approximations are shown to be parameter-uniformly convergent in the maximum norm. A transport problem from the modelling of fluid-particle interaction is formulated and used as a test problem for these numerical methods. Numerical results are presented to illustrate the performance of the numerical methods and to confirm the theoretical error bounds established in the paper.


title: High photon number entangled states and coherent state superposition from the extreme-ultraviolet to the far infrared

abstract: We present a theoretical demonstration on the generation of entangled coherent states and of coherent state superpositions, with photon numbers and frequencies orders of magnitude higher than those provided by the current technology. This is achieved by utilizing a quantum mechanical multimode description of the single- and two-color intense laser field driven process of high harmonic generation in atoms. It is found that all field modes involved in the high harmonic generation process are entangled, and upon performing a quantum operation, leads to the generation of high photon number optical cat states spanning from the far infrared to the extreme-ultraviolet spectral region. This provides direct insights into the quantum mechanical properties of the optical field in intense laser matter interaction. Finally, these states can be considered as a new resource for fundamental tests of quantum theory, quantum information processing or sensing with non-classical states of light.


title: Micro-local and qualitative analysis of the fractional Zener wave equation

abstract: This paper concerns the micro-local and qualitative analysis of the fractional Zener wave equation. The classical and Gevrey-type wave front sets of the fundamental solution are determined, and questions on dispersion, dissipation, wave propagation speed and wave packet shape are addressed.


title: Improved-Mask R-CNN: Towards an Accurate Generic MSK MRI instance segmentation platform (Data from the Osteoarthritis Initiative)

abstract: Objective assessment of Magnetic Resonance Imaging (MRI) scans of osteoarthritis (OA) can address the limitation of the current OA assessment. Segmentation of bone, cartilage, and joint fluid is necessary for the OA objective assessment. Most of the proposed segmentation methods are not performing instance segmentation and suffer from class imbalance problems. This study deployed Mask R-CNN instance segmentation and improved it (improved-Mask R-CNN (iMaskRCNN)) to obtain a more accurate generalized segmentation for OA-associated tissues. Training and validation of the method were performed using 500 MRI knees from the Osteoarthritis Initiative (OAI) dataset and 97 MRI scans of patients with symptomatic hip OA. Three modifications to Mask R-CNN yielded the iMaskRCNN: adding a 2nd ROIAligned block, adding an extra decoder layer to the mask-header, and connecting them by a skip connection. The results were assessed using Hausdorff distance, dice score, and coefficients of variation (CoV). The iMaskRCNN led to improved bone and cartilage segmentation compared to Mask RCNN as indicated with the increase in dice score from 95% to 98% for the femur, 95% to 97% for tibia, 71% to 80% for femoral cartilage, and 81% to 82% for tibial cartilage. For the effusion detection, dice improved with iMaskRCNN 72% versus MaskRCNN 71%. The CoV values for effusion detection between Reader1 and Mask R-CNN (0.33), Reader1 and iMaskRCNN (0.34), Reader2 and Mask R-CNN (0.22), Reader2 and iMaskRCNN (0.29) are close to CoV between two readers (0.21), indicating a high agreement between the human readers and both Mask R-CNN and iMaskRCNN. Mask R-CNN and iMaskRCNN can reliably and simultaneously extract different scale articular tissues involved in OA, forming the foundation for automated assessment of OA. The iMaskRCNN results show that the modification improved the network performance around the edges.


title: Subset selection for linear mixed models

abstract: Linear mixed models (LMMs) are instrumental for regression analysis with structured dependence, such as grouped, clustered, or multilevel data. However, selection among the covariates--while accounting for this structured dependence--remains a challenge. We introduce a Bayesian decision analysis for subset selection with LMMs. Using a Mahalanobis loss function that incorporates the structured dependence, we derive optimal linear coefficients for (i) any given subset of variables and (ii) all subsets of variables that satisfy a cardinality constraint. Crucially, these estimates inherit shrinkage or regularization and uncertainty quantification from the underlying Bayesian model, and apply for any well-specified Bayesian LMM. More broadly, our decision analysis strategy deemphasizes the role of a single "best" subset, which is often unstable and limited in its information content, and instead favors a collection of near-optimal subsets. This collection is summarized by key member subsets and variable-specific importance metrics. Customized subset search and out-of-sample approximation algorithms are provided for more scalable computing. These tools are applied to simulated data and a longitudinal physical activity dataset, and demonstrate excellent prediction, estimation, and selection ability.


title: On an Exponential Representation of the Gravitational S-Matrix

abstract: An exponential representation of the S-matrix provides a natural framework for understanding the semi-classical limit of scattering amplitudes. While sharing some similarities with the eikonal formalism it differs from it in details. Computationally, rules are simple because pieces that must be subtracted are given by combinations of unitarity cuts. Analyzing classical gravitational scattering to third Post-Minkowskian order in both maximal supergravity and Einstein gravity we find agreement with other approaches, including the contributions from radiation reaction terms. The kinematical relation for the two-body problem in isotropic coordinates follows immediately from this procedure, again with the inclusion of radiation reaction pieces up to third Post-Minkowskian order.


title: Polarization properties of FRB 20201124A from detections with the 100-m Effelsberg Radio Telescope

abstract: The repeating FRB source, FRB 20201124A, was found to be highly active in March and April 2021. We observed the source with the Effelsberg 100-m radio telescope at 1.36 GHz on 9 April 2021 and detected 20 bursts. A downward drift in frequency over time is clearly seen from the majority of bursts in our sample. A structure-maximizing dispersion measure (DM) search on the multi-component bursts in our sample yields a DM of 411.6$\pm$0.6 pc/cm$^3$. We find that the rotation measure (RM) of the bursts varies around their mean value of -605 rad/m$^2$ with a standard deviation of 11.1 rad/m$^2$. This RM magnitude is 10 times larger than the expected Galactic contribution along this line of sight (LoS). We estimate a LoS magnetic field strength of 4--6 $\mu$G, assuming that the entire host galaxy DM contributes to the RM. Further polarization measurements will help determine FRB 20201124A's RM stability. The bursts are highly linearly polarized, with some showing signs of circular polarization, the first for a repeating FRB. Their polarization position angles (PAs) are flat across the burst envelopes and vary between bursts. We argue that the varying polarization fractions and PAs of FRB 20201124A are similar to known magnetospheric emission from pulsars, while the observed circular polarization, combined with the RM variability, is hard to explain with Faraday conversion. The high linear polarization fractions, flat PAs, and downward drift from FRB 20201124A bursts are similar to previous repeating sources, while the observed circular polarization is a newly seen behaviour among repeaters.


title: Neutrino mass matrices from localization in M-theory on $G_2$ orbifold

abstract: M-theory compactified on a $G_2$ manifold with resolved $E_8$ singularity is a promising candidate for a unified theory. The experimentally observed masses of quarks and charged leptons put a restriction on the moduli of the $G_2$ manifold. These moduli in turn uniquely determine the Dirac interactions of the neutrinos. In the paper, we explicitly compute the Dirac terms for neutrino mass matrix using the moduli from a localized model with resolved $E_8$ singularities on a $G_2$ manifold. This is a novel approach as the Dirac terms are not assumed but derived from the structure of quarks' and charged leptons' masses. Using known mass splittings and mixing angles of neutrinos, we show the acceptable region for Majorana terms. We also analyse the theoretical region for Majorana terms induced from the expectation values of right handed neutrinos through the Kolda-Martin mechanism. The intersection of the two regions indicates a restriction on neutrino masses. In particular, the lightest neutrino must have small but non-zero mass. Moreover, this also puts constraints on possible Majorana contributions from K\"ahler potential and superpotential, which can be traced down to a restriction on the geometry.We conclude that the masses of the two heavier light neutrinos are about $0.05 \text{ eV}$ and $0.009 \text{ eV}$ ($0.05 \text{ eV} $ and $0.05 \text{ eV} $)) for normal (inverted) hierarchy. In both hierarchies, we predict the light neutrinos are mostly Dirac type. Hence neutrino-less double-beta decay will be small. This is a testable result in a near future. Some bounds on heavy neutrinos are also derived.


title: Stokes' second problem and oscillatory Couette flow for a two-Layer fluid: Analytical solutions

abstract: The unsteady motion of a two-layer fluid induced by oscillatory motion of a flat plate along its length is mathematically analyzed. Two cases are considered: (i) the two-layer fluid is bounded only by the oscillating plate (Stokes' second problem), (ii) the two-layer fluid is confined between two parallel plates, one of which oscillates while the other is held stationary (oscillatory Couette flow). In each of the Stokes' and Couette cases, both cosine and sine oscillations of the plate are considered. It is assumed that the fluids are immiscible, and that the flat interface between the fluids remains flat for all times. Solutions to the initial-boundary value problems are obtained using the Laplace transform method. Steady periodic and transient velocity fields are explicitly presented. Transient and steady-state shear stresses at the boundaries of the flows are calculated. The results derived in this paper retrieve previously known results for corresponding single-layer flows. Further, illustrative example of each of the Stokes' problem and the Couette flow is presented and discussed. Again, the results obtained could also be applicable to a problem of heat conduction in a composite solid with sinusoidal temperature variation on the surface.


title: Emotion Recognition under Consideration of the Emotion Component Process Model

abstract: Emotion classification in text is typically performed with neural network models which learn to associate linguistic units with emotions. While this often leads to good predictive performance, it does only help to a limited degree to understand how emotions are communicated in various domains. The emotion component process model (CPM) by Scherer (2005) is an interesting approach to explain emotion communication. It states that emotions are a coordinated process of various subcomponents, in reaction to an event, namely the subjective feeling, the cognitive appraisal, the expression, a physiological bodily reaction, and a motivational action tendency. We hypothesize that these components are associated with linguistic realizations: an emotion can be expressed by describing a physiological bodily reaction ("he was trembling"), or the expression ("she smiled"), etc. We annotate existing literature and Twitter emotion corpora with emotion component classes and find that emotions on Twitter are predominantly expressed by event descriptions or subjective reports of the feeling, while in literature, authors prefer to describe what characters do, and leave the interpretation to the reader. We further include the CPM in a multitask learning model and find that this supports the emotion categorization. The annotated corpora are available at https://www.ims.uni-stuttgart.de/data/emotion.


title: Evidence of symmetry lowering in antiferromagnetic metal TmB12 with dynamic charge stripes

abstract: Precise angle-resolved magnetoresistance and magnetization measurements have revealed (i) strong charge transport and magnetic anisotropy and (ii) emergence of a huge number of magnetic phases in the ground state of TmB12 antiferromagnetic metal with fcc crystal structure and dynamic charge stripes. By analyzing the angular H-fi magnetic phase diagrams reconstructed from experimental angle-resolved magnetoresistance and magnetization data we argue that the symmetry lowering is a consequence of suppression of the indirect Ruderman- Kittel-Kasuya-Yosida (RKKY) exchange along 110 directions between nearest neighboring magnetic moments of Tm3+ ions and subsequent redistribution of conduction electrons to quantum fluctuations of the electron density (stripes). Magnetoresistance components are discussed in terms of charge scattering on the spin density wave, itinerant ferromagnetic nano-domains and on-site Tm3+ spin fluctuations.


title: High resolution H-alpha imaging of the Northern Galactic Plane, and the IGAPS images database

abstract: The INT Galactic Plane Survey (IGAPS) is the merger of the optical photometric surveys, IPHAS and UVEX, based on data from the Isaac Newton Telescope (INT) obtained between 2003 and 2018. These capture the entire northern Galactic plane within the Galactic coordinate range, -5<b<+5 deg. and 30<l<215 deg. From the beginning, the incorporation of narrowband H-alpha imaging has been a unique and distinctive feature of this effort. Alongside a focused discussion of the nature and application of the H-alpha data, we present the IGAPS world-accessible database of images for all 5 survey filters, i, r, g, U-RGO and narrowband H-alpha, observed on a pixel scale of 0.33 arcsec and at an effective (median) angular resolution of 1.1 to 1.3 arcsec. The background, noise, and sensitivity characteristics of the narrowband H-alpha filter images are outlined. Typical noise levels in this band correspond to a surface brightness at full one-arcsec resolution of around 2e-16 erg/cm2/s/arcsec2. Illustrative applications of the H-alpha data to planetary nebulae and Herbig-Haro objects are outlined and, as part of a discussion of mosaicking technique, we present a very large background-subtracted narrowband mosaic of the supernova remnant, Simeis 147. Finally we lay out a method that exploits the database via an automated selection of bright ionized diffuse interstellar emission targets for the coming generation of wide-field massive-multiplex spectrographs. Two examples of the diffuse H-alpha maps output from this selection process are presented and compared with previously published data.


title: StarEnhancer: Learning Real-Time and Style-Aware Image Enhancement

abstract: Image enhancement is a subjective process whose targets vary with user preferences. In this paper, we propose a deep learning-based image enhancement method covering multiple tonal styles using only a single model dubbed StarEnhancer. It can transform an image from one tonal style to another, even if that style is unseen. With a simple one-time setting, users can customize the model to make the enhanced images more in line with their aesthetics. To make the method more practical, we propose a well-designed enhancer that can process a 4K-resolution image over 200 FPS but surpasses the contemporaneous single style image enhancement methods in terms of PSNR, SSIM, and LPIPS. Finally, our proposed enhancement method has good interactability, which allows the user to fine-tune the enhanced image using intuitive options.


title: Mortality in Germany during the Covid-19 pandemic

abstract: The Covid-19 pandemic still causes severe impacts on society and the economy. This paper studies excess mortality during the pandemic years 2020 and 2021 in Germany empirically with a special focus on the life insurer's perspective. Our conclusions are based on official counts of German governmental offices on the living and deaths of the entire population. Conclusions, relevant for actuaries and specific insurance business lines, including portfolios of pension, life, and health insurance contracts, are provided.


title: Projector Pixel Redirection Using Phase-Only Spatial Light Modulator

abstract: In projection mapping from a projector to a non-planar surface, the pixel density on the surface becomes uneven. This causes the critical problem of local spatial resolution degradation. We confirmed that the pixel density uniformity on the surface was improved by redirecting projected rays using a phase-only spatial light modulator.


title: Channel Capacity of Starch and Glucose Molecular Communications in the Small Intestine Digestive Tract

abstract: The emerging field of Molecular Communication (MC) aims to characterize biological-based signaling environment through information that are encoded into molecules. Since the birth of this field, a number of different applications and biological systems have been characterized using MC theory. This study proposes a new application and direction for MC, focusing on the digestive system, where we characterize and model the starch and glucose propagation along the small intestine. Based on the advection-diffusion and reaction mechanisms, we define a channel capacity for the small intestine digestive tract that is dependent on the starch to glucose conversion, velocity flow within the tract, viscosity of the digest product, and length of the tract and position of the receivers for glucose absorption. The numerical results from the derived channel capacity model shows that the SI digestive capacity depends both on physiological factors of the digestive system and type of consumed food, where the digestive capacity is greater for shorter gastric emptying time, low viscosity of the digest product and efficient enzyme activity. We believe that our digital MC model of the digestive tract and lead to personalized diet for each individual, which can potentially avoid a number of different diseases (e.g., celiac disease).


title: Logical Characterization of Coherent Uninterpreted Programs

abstract: An uninterpreted program (UP) is a program whose semantics is defined over the theory of uninterpreted functions. This is a common abstraction used in equivalence checking, compiler optimization, and program verification. While simple, the model is sufficiently powerful to encode counter automata, and, hence, undecidable. Recently, a class of UP programs, called coherent, has been proposed and shown to be decidable. We provide an alternative, logical characterization, of this result. Specifically, we show that every coherent program is bisimilar to a finite state system. Moreover, an inductive invariant of a coherent program is representable by a formula whose terms are of depth at most 1. We also show that the original proof, via automata, only applies to programs over unary uninterpreted functions. While this work is purely theoretical, it suggests a novel abstraction that is complete for coherent programs but can be soundly used on arbitrary uninterpreted (and partially interpreted) programs.


title: Homology of contact CR-submanifolds

abstract: In this paper, homology of a contact CR-submanifold of a real hypersurface, which has naturally almost contact metric structure induced from the complex Euclidean space $\mathbb{C}^{m}$, is examined. More precisely, nonexistence of stable integral currents on a compact contact CR-submanifold of real hypersurface of canonical complex space form $\mathbb{C}^m$ is investigated and vanishing theorems concerning the homology groups are obtained.


title: On multidimensional fixed-point theorems and their applications

abstract: The purpose of this paper is to present some multidimensional fixed-point theorems and their applications. For this, we provide a multidimensional fixed point theorem and then using this theorem we prove the existence and uniqueness of a solution of a nonlinear Hammerstein integral equation. Moreover, we provide an example to illustrate the hypotheses and the abstract result of this paper.


title: Rigidity for circle diffeomorphisms with breaks satisfying a Zygmund smoothness condition

abstract: Let $f$ and $\tilde{f}$ be two circle diffeomorphisms with a break point, with the same irrational rotation number of bounded type, the same size of the break $c$ and satisfying a certain Zygmund type smoothness condition depending on a parameter $\gamma>2.$ We prove that under a certain condition imposed on the break size $c$, the diffeomorphisms $f$ and $\tilde{f}$ are $C^{1+\omega_{\gamma}}$-smoothly conjugate to each other, where $\omega_{\gamma}(\delta)=|\log \delta|^{-(\gamma/2-1)}.$


title: A rigorous formulation of and partial results on Lorenz's "consensus strikes back" phenomenon for the Hegselmann-Krause model

abstract: In a 2006 paper, Jan Lorenz observed a curious behaviour in numerical simulations of the Hegselmann-Krause model: Under some circumstances, making agents more closed-minded can produce a consensus from a dense configuration of opinions which otherwise leads to fragmentation. Suppose one considers initial opinions equally spaced on an interval of length $L$. As first observed by Lorenz, simulations suggest that there are three intervals $[0, L_1)$, $(L_1, L_2)$ and $(L_2, L_3)$, with $L_1 \approx 5.23$, $L_2 \approx 5.67$ and $L_3 \approx 6.84$ such that, when the number of agents is sufficiently large, consensus occurs in the first and third intervals, whereas for the second interval the system fragments into three clusters. In this paper, we prove consensus for $L \leq 5.2$ and for $L$ sufficiently close to 6. These proofs include large computations and in principle the set of $L$ for which consensus can be proven using our approach may be extended with the use of more computing power. We also prove that the set of $L$ for which consensus occurs is open. Moreover, we prove that, when consensus is assured for the equally spaced systems, this in turn implies asymptotic almost sure consensus for the same values of $L$ when initial opinions are drawn independently and uniformly at random. We thus conjecture a pair of phase transitions, making precise the formulation of Lorenz's "consensus strikes back" hypothesis. Our approach makes use of the continuous agent model introduced by Blondel, Hendrickx and Tsitsiklis. Indeed, one contribution of the paper is to provide a presentation of the relationships between the three different models with equally spaced, uniformly random and continuous agents, respectively, which is more rigorous than what can be found in the existing literature.


title: Thermodynamic and electromagnetic properties of the eta-pairing superconductivity in the Penson-Kolb model

abstract: In the paper, we study the thermodynamic and electromagnetic properties of the Penson-Kolb (PK) model, i.e., the tight-binding model for fermionic particles with the pair-hopping interaction $J$. We focus on the case of repulsive $J$ (i.e., $J<0$), which can stabilize the eta-pairing superconductivity with Cooper-pair center-of-mass momentum $\vec{q}=\vec{Q}$, $\vec{Q}=(\pi/a$,$\pi/a$,\ldots). Numerical calculations are performed for several $d$-dimensional hypercubic lattices: $d=2$ (the square lattice, SQ), $d=3$ (the simple cubic lattice) and $d=\infty$ hypercubic lattice (for arbitrary particle concentration $0<n<2$ and temperature $T$). The ground state $J$ versus $n$ phase diagrams and the crossover to the Bose-Einstein condensation regime are analyzed and the evolution of the superfluid characteristics are examined within the (broken symmetry) Hartree-Fock approximation (HFA). The critical fields, the coherence length, the London penetration depth, and the Ginzburg ratio are determined at $T=0$ and $T>0$ as a function of $n$ and pairing strength. The analysis of the effects of the Fock term on the ground state phase boundaries and on selected PK model characteristics is performed as well as the influence of the phase fluctuations on the eta-pairing superconductivity is investigated. Within the Kosterlitz-Thouless scenario, the critical temperatures $T_{KT} $ are estimated for $d=2$ SQ lattice and compared with the critical temperature $T_c$ obtained from HFA. We also determine the temperature $T_m$ at which minimal gap between two quasiparticle bands vanishes in the eta-phase. Our results for repulsive $J$ are contrasted with those found earlier for the PK model with attractive $J$ (i.e., with $J>0$).

categories: cond-mat.supr-con cond-mat.mtrl-sci cond-mat.quant-gas cond-mat.str-el physics.comp-ph


title: Digital Collections of Examples in Mathematical Sciences

abstract: Some aspects of Computer Algebra (notably Computation Group Theory and Computational Number Theory) have some good databases of examples, typically of the form "all the X up to size n". But most of the others, especially on the polynomial side, are lacking such, despite the utility they have demonstrated in the related fields of SAT and SMT solving. We claim that the field would be enhanced by such community-maintained databases, rather than each author hand-selecting a few, which are often too large or error-prone to print, and therefore difficult for subsequent authors to reproduce.


title: So You Want to Analyze Scheme Programs With Datalog?

abstract: Static analysis approximates the results of a program by examining only its syntax. For example, control-flow analysis (CFA) determines which syntactic lambdas (for functional languages) or (for object-oriented) methods may be invoked at each call site within a program. Rich theoretical results exist studying control flow analysis for Scheme-like languages, but implementations are often complex and specialized. By contrast, object-oriented languages (Java in particular) enjoy high-precision control-flow analyses that scale to thousands (or more) of lines of code. State-of-the-art implementations (such as DOOP on Souffl\'e) structure the analysis using Horn-SAT (Datalog) to enable compilation of the analysis to efficient implementations such as high-performance relational algebra kernels. In this paper, we present an implementation of control-flow analysis for a significant subset of Scheme (including set!, call/cc, and primitive operations) using the Souffl\'e Datalog engine. We present an evaluation on a worst-case term demonstrating the polynomial complexity of our m-CFA and remark upon scalability results using Souffl\'e.


title: Sparse Bayesian Deep Learning for Dynamic System Identification

abstract: This paper proposes a sparse Bayesian treatment of deep neural networks (DNNs) for system identification. Although DNNs show impressive approximation ability in various fields, several challenges still exist for system identification problems. First, DNNs are known to be too complex that they can easily overfit the training data. Second, the selection of the input regressors for system identification is nontrivial. Third, uncertainty quantification of the model parameters and predictions are necessary. The proposed Bayesian approach offers a principled way to alleviate the above challenges by marginal likelihood/model evidence approximation and structured group sparsity-inducing priors construction. The identification algorithm is derived as an iterative regularised optimisation procedure that can be solved as efficiently as training typical DNNs. Remarkably, an efficient and recursive Hessian calculation method for each layer of DNNs is developed, turning the intractable training/optimisation process into a tractable one. Furthermore, a practical calculation approach based on the Monte-Carlo integration method is derived to quantify the uncertainty of the parameters and predictions. The effectiveness of the proposed Bayesian approach is demonstrated on several linear and nonlinear system identification benchmarks by achieving good and competitive simulation accuracy. The code to reproduce the experimental results is open-sourced and available online.


title: Non-Axisymmetric Precession of Magnetars and Fast Radio Bursts

abstract: The repeating FRBs 180916.J0158 and 121102 are visible during periodically-occuring windows in time. We consider the constraints on internal magnetic fields and geometry if the cyclical behavior observed for FRB~180916.J0158 and FRB 121102 is due to precession of magnetars. In order to frustrate vortex line pinning we argue that internal magnetic fields must be stronger than about $10^{16}$ Gauss, which is large enough to prevent superconductivity in the core and destroy the crustal lattice structure. We conjecture that the magnetic field inside precessing magnetars has three components, (1) a dipole component with characteristic strength $\sim 10^{14}$ Gauss; (2) a toroidal component with characteristic strength $\sim 10^{15}-10^{16}$ Gauss which only occupies a modest fraction of the stellar volume; and (3) a disordered field with characteristic strength $\sim 10^{16}$ Gauss. The disordered field is primarily responsible for permitting precession, which stops once this field component decays away, which we conjecture happens after $\sim 1000$ years. Conceivably, as the disordered component damps bursting activity diminishes and eventually ceases. We model the quadrupolar magnetic distortion of the star, which is due to its ordered components primarily, as triaxial and very likely prolate. We address the question of whether or not the spin frequency ought to be detectable for precessing, bursting magnetars by constructing a specific model in which bursts happen randomly in time with random directions distributed in or between cones relative to a single symmetry axis. Within the context of these specific models, we find that there are precession geometries for which detecting the spin frequency is very unlikely.


title: AToM: Active Topology Monitoring for the Bitcoin Peer-to-Peer Network

abstract: Over the past decade, the Bitcoin P2P network protocol has become a reference model for all modern cryptocurrencies. While nodes in this network are known, the connections among them are kept hidden, as it is commonly believed that this helps protect from deanonymization and low-level attacks. However, adversaries can bypass this limitation by inferring connections through side channels. At the same time, the lack of topology information hinders the analysis of the network, which is essential to improve efficiency and security. In this paper, we thoroughly review network-level attacks and empirically show that topology obfuscation is not an effective countermeasure. We then argue that the benefits of an open topology potentially outweigh its risks, and propose a protocol to reliably infer and monitor connections among reachable nodes of the Bitcoin network. We formally analyze our protocol and experimentally evaluate its accuracy in both trusted and untrusted settings. Results show our system has a low impact on the network, and has precision and recall are over 90% with up to 20% of malicious nodes in the network.


title: Seasonal Variation of Atmospheric Muons

abstract: Competition between decay and re-interaction of charged pions and kaons depends on the temperature/density profile of the upper atmosphere. The amplitude and phase of the variations depend on the minimum muon energy required to reach the detector and on muon multiplicity in the detector. Here we compare different methods for characterizing the muon production profile and the corresponding effective temperature. A muon production profile based on a parameterization of simulations of muons as a function of primary energy is compared with approximate analytic solutions of the cascade equation integrated over primary energy. In both cases, we compare two definitions of effective temperature. We emphasize applications to compact underground detectors like MINOS and OPERA, while indicating how they relate to extended detectors like IceCube.


title: Benchmarking regulator-sourced 2PI and average 1PI flow equations in zero dimensions

abstract: We elucidate the regulator-sourced 2PI and average 1PI approaches for deriving exact flow equations in the case of a zero dimensional quantum field theory, wherein the scale dependence of the usual renormalisation group evolution is replaced by a simple parametric dependence. We show that both approaches are self-consistent, while highlighting key differences in their behaviour and the structure of the would-be loop expansion.


title: Initial Foundation for Predicting Individual Earthquake's Location and Magnitude by Using Glass-Box Physics Rule Learner

abstract: Although researchers accumulated knowledge about seismogenesis and decades-long earthquake data, predicting imminent individual earthquakes at a specific time and location remains a long-standing enigma. This study hypothesizes that the observed data conceal the hidden rules which may be unraveled by a novel glass-box (as opposed to black-box) physics rule learner (GPRL) framework. Without any predefined earthquake-related mechanisms or statistical laws, GPRL's two essentials, convolved information index and transparent link function, seek generic expressions of rules directly from data. GPRL's training with 10-years data appears to identify plausible rules, suggesting a combination of the pseudo power and the pseudo vorticity of released energy in the lithosphere. Independent feasibility test supports the promising role of the unraveled rules in predicting earthquakes' magnitudes and their specific locations. The identified rules and GPRL are in their infancy requiring substantial improvement. Still, this study hints at the existence of the data-guided hidden pathway to imminent individual earthquake prediction.


title: Open sets of partially hyperbolic skew products having a unique SRB measure

abstract: In this paper we obtain $C^2$-open sets of dissipative, partially hyperbolic skew products having a unique SRB measure with full support and full basin. These partially hyperbolic systems have a two dimensional center bundle which presents both expansion and contraction but does not admit any further dominated splitting of the center. These systems are non conservative perturbations of an example introduced by Berger-Carrasco. To prove the existence of SRB measures for these perturbations, we obtain a measure rigidity result for $u$-Gibbs measures for partially hyperbolic skew products. This is an adaptation of a measure rigidity result by A. Brown and F. Rodriguez Hertz for stationary measures of random product of surface diffeomorphisms. In particular, we classify all the possible $u$-Gibbs measures that may appear in a neighborhood of the example. Using this classification, and ruling out some of the possibilities, we obtain open sets of systems, in a neighborhood of the example, having a unique $u$-Gibbs measure which is SRB.


title: Experiments on Properties of Hidden Structures of Sparse Neural Networks

abstract: Sparsity in the structure of Neural Networks can lead to less energy consumption, less memory usage, faster computation times on convenient hardware, and automated machine learning. If sparsity gives rise to certain kinds of structure, it can explain automatically obtained features during learning. We provide insights into experiments in which we show how sparsity can be achieved through prior initialization, pruning, and during learning, and answer questions on the relationship between the structure of Neural Networks and their performance. This includes the first work of inducing priors from network theory into Recurrent Neural Networks and an architectural performance prediction during a Neural Architecture Search. Within our experiments, we show how magnitude class blinded pruning achieves 97.5% on MNIST with 80% compression and re-training, which is 0.5 points more than without compression, that magnitude class uniform pruning is significantly inferior to it and how a genetic search enhanced with performance prediction achieves 82.4% on CIFAR10. Further, performance prediction for Recurrent Networks learning the Reber grammar shows an $R^2$ of up to 0.81 given only structural information.


title: A note on Riccati matrix difference equations

abstract: Discrete algebraic Riccati equations and their fixed points are well understood and arise in a variety of applications, however, the time-varying equations have not yet been fully explored in the literature. In this article we provide a self-contained study of discrete time Riccati matrix difference equations. In particular, we provide a novel Riccati semigroup duality formula and a new Floquet-type representation for these equations. Due to the aperiodicity of the underlying flow of the solution matrix, conventional Floquet theory does not apply in this setting and thus further analysis is required. We illustrate the impact of these formulae with an explicit description of the solution of time-varying Riccati difference equations and its fundamental-type solution in terms of the fixed point of the equation and an invertible linear matrix map, as well as uniform upper and lower bounds on the Riccati maps. These are the first results of this type for time varying Riccati matrix difference equations.


title: Transfer Learning in Electronic Health Records through Clinical Concept Embedding

abstract: Deep learning models have shown tremendous potential in learning representations, which are able to capture some key properties of the data. This makes them great candidates for transfer learning: Exploiting commonalities between different learning tasks to transfer knowledge from one task to another. Electronic health records (EHR) research is one of the domains that has witnessed a growing number of deep learning techniques employed for learning clinically-meaningful representations of medical concepts (such as diseases and medications). Despite this growth, the approaches to benchmark and assess such learned representations (or, embeddings) is under-investigated; this can be a big issue when such embeddings are shared to facilitate transfer learning. In this study, we aim to (1) train some of the most prominent disease embedding techniques on a comprehensive EHR data from 3.1 million patients, (2) employ qualitative and quantitative evaluation techniques to assess these embeddings, and (3) provide pre-trained disease embeddings for transfer learning. This study can be the first comprehensive approach for clinical concept embedding evaluation and can be applied to any embedding techniques and for any EHR concept.


title: Emotion Stimulus Detection in German News Headlines

abstract: Emotion stimulus extraction is a fine-grained subtask of emotion analysis that focuses on identifying the description of the cause behind an emotion expression from a text passage (e.g., in the sentence "I am happy that I passed my exam" the phrase "passed my exam" corresponds to the stimulus.). Previous work mainly focused on Mandarin and English, with no resources or models for German. We fill this research gap by developing a corpus of 2006 German news headlines annotated with emotions and 811 instances with annotations of stimulus phrases. Given that such corpus creation efforts are time-consuming and expensive, we additionally work on an approach for projecting the existing English GoodNewsEveryone (GNE) corpus to a machine-translated German version. We compare the performance of a conditional random field (CRF) model (trained monolingually on German and cross-lingually via projection) with a multilingual XLM-RoBERTa (XLM-R) model. Our results show that training with the German corpus achieves higher F1 scores than projection. Experiments with XLM-R outperform their respective CRF counterparts.


title: Angel's Girl for Blind Painters: an Efficient Painting Navigation System Validated by Multimodal Evaluation Approach

abstract: For people who ardently love painting but unfortunately have visual impairments, holding a paintbrush to create a work is a very difficult task. People in this special group are eager to pick up the paintbrush, like Leonardo da Vinci, to create and make full use of their own talents. Therefore, to maximally bridge this gap, we propose a painting navigation system to assist blind people in painting and artistic creation. The proposed system is composed of cognitive system and guidance system. The system adopts drawing board positioning based on QR code, brush navigation based on target detection and bush real-time positioning. Meanwhile, this paper uses human-computer interaction on the basis of voice and a simple but efficient position information coding rule. In addition, we design a criterion to efficiently judge whether the brush reaches the target or not. According to the experimental results, the thermal curves extracted from the faces of testers show that it is relatively well accepted by blindfolded and even blind testers. With the prompt frequency of 1s, the painting navigation system performs best with the completion degree of 89% with SD of 8.37% and overflow degree of 347% with SD of 162.14%. Meanwhile, the excellent and good types of brush tip trajectory account for 74%, and the relative movement distance is 4.21 with SD of 2.51. This work demonstrates that it is practicable for the blind people to feel the world through the brush in their hands. In the future, we plan to deploy Angle's Eyes on the phone to make it more portable. The demo video of the proposed painting navigation system is available at: https://doi.org/10.6084/m9.figshare.9760004.v1.


title: Griffin: Rethinking Sparse Optimization for Deep Learning Architectures

abstract: This paper examines the design space trade-offs of DNNs accelerators aiming to achieve competitive performance and efficiency metrics for all four combinations of dense or sparse activation/weight tensors. To do so, we systematically examine the overheads of supporting sparsity on top of an optimized dense core. These overheads are modeled based on parameters that indicate how a multiplier can borrow a nonzero operation from the neighboring multipliers or future cycles. As a result of this exploration, we identify a few promising designs that perform better than prior work. Our findings suggest that even the best design targeting dual sparsity yields a 20%-30% drop in power efficiency when performing on single sparse models, i.e., those with only sparse weight or sparse activation tensors. We found that one can reuse resources of the same core to maintain high performance and efficiency when running single sparsity or dense models. We call this hybrid architecture Griffin. Griffin is 1.2, 3.0, 3.1, and 1.4X more power-efficient than state-of-the-art sparse architectures, for dense, weight-only sparse, activation-only sparse, and dual sparse models, respectively.


title: Superconductivity in infinite-layer nickelates

abstract: The recent discovery of the superconductivity in the doped infinite layer nickelates $R$NiO$_2$ ($R$=La, Pr, Nd) is of great interest since the nickelates are isostructural to doped (Ca,Sr)CuO$_2$ having superconducting transition temperature ($T_{\rm c}$) of about 110 K. Verifying the commonalities and differences between these oxides will certainly give a new insight into the mechanism of high $T_{\rm c}$ superconductivity in correlated electron systems. In this paper, we review experimental and theoretical works on this new superconductor and discuss the future perspectives for the "nickel age" of superconductivity.


title: Finite-Time Gradient Descent-Based Adaptive Neural Network Finite-Time Control Design for Attitude Tracking of a 3-DOF Helicopter

abstract: This paper investigates a novel finite-time gradient descent-based adaptive neural network finite-time control strategy for the attitude tracking of a 3-DOF lab helicopter platform subject to composite disturbances. First, the radial basis function neural network (RBFNN) is applied to estimate lumped disturbances, where the weights, centers and widths of the RBFNN are trained online via finite-time gradient descent algorithm. Then, a finite-time backstepping control scheme is constructed to fulfill the tracking control of the elevation and pitch angles. In addition, a hybrid finite-time differentiator (HFTD) is introduced for approximating the intermediate control signal and its derivative to avoid the problem of "explosion of complexity" in the traditional backstepping design protocol. Moreover, the errors caused by the HFTD can be attenuated by the combination of compensation signals. With the aid of the stability theorem, it is proved that the closed-loop system is semi-globally uniformly ultimately boundedness in finite time. Finally, a comparison result is provided to illustrate the effectiveness and advantages of the designed control strategy.


title: The Price of Mathematical Scepticism

abstract: This paper argues that, insofar as we doubt the bivalence of the Continuum Hypothesis or the truth of the Axiom of Choice, we should also doubt the consistency of third-order arithmetic, both the classical and intuitionistic versions. Underlying this argument is the following philosophical view. Mathematical belief springs from certain intuitions, each of which can be either accepted or doubted in its entirety, but not half-accepted. Therefore, our beliefs about reality, bivalence, choice and consistency should all be aligned.


title: Saturation of Rota's basis conjecture

abstract: We prove an asymptotic saturation-type version of Rota's basis conjecture. It relies on the connection of Tao's slice rank with unstable tensors from geometric invariant theory.


title: Combinatorial classification of $(\pm 1)$-skew projective spaces

abstract: The noncommutative projective scheme $\operatorname{\mathsf{Proj_{nc}}} S$ of a $(\pm 1)$-skew polynomial algebra $S$ in $n$ variables is considered to be a $(\pm 1)$-skew projective space of dimension $n-1$. In this paper, using combinatorial methods, we give a classification theorem for $(\pm 1)$-skew projective spaces. Specifically, among other equivalences, we prove that $(\pm 1)$-skew projective spaces $\operatorname{\mathsf{Proj_{nc}}} S$ and $\operatorname{\mathsf{Proj_{nc}}} S'$ are isomorphic if and only if certain graphs associated to $S$ and $S'$ are switching (or mutation) equivalent. We also discuss invariants of $(\pm 1)$-skew projective spaces from a combinatorial point of view.


title: The Chern-Ricci flow

abstract: We give a survey on the Chern-Ricci flow, a parabolic flow of Hermitian metrics on complex manifolds. We emphasize open problems and new directions.


title: On adjoint Bloch--Kato Selmer groups for $\mathrm{GSp}_{2g}$

abstract: We study the adjoint Bloch--Kato Selmer groups attached to a classical point in the cuspidal eigenvariety associated with $\mathrm{GSp}_{2g}$. Our strategy is based on the study of families of Galois representations on the eigenvariety, which is inspired by the book of J. Bellaiche and G. Chenevier.


title: gaBERT -- an Irish Language Model

abstract: The BERT family of neural language models have become highly popular due to their ability to provide sequences of text with rich context-sensitive token encodings which are able to generalise well to many NLP tasks. We introduce gaBERT, a monolingual BERT model for the Irish language. We compare our gaBERT model to multilingual BERT and the monolingual Irish WikiBERT, and we show that gaBERT provides better representations for a downstream parsing task. We also show how different filtering criteria, vocabulary size and the choice of subword tokenisation model affect downstream performance. We compare the results of fine-tuning a gaBERT model with an mBERT model for the task of identifying verbal multiword expressions, and show that the fine-tuned gaBERT model also performs better at this task. We release gaBERT and related code to the community.


title: Autonomous Reinforcement Learning via Subgoal Curricula

abstract: Reinforcement learning (RL) promises to enable autonomous acquisition of complex behaviors for diverse agents. However, the success of current reinforcement learning algorithms is predicated on an often under-emphasised requirement -- each trial needs to start from a fixed initial state distribution. Unfortunately, resetting the environment to its initial state after each trial requires substantial amount of human supervision and extensive instrumentation of the environment which defeats the goal of autonomous acquisition of complex behaviors. In this work, we propose Value-accelerated Persistent Reinforcement Learning (VaPRL), which generates a curriculum of initial states such that the agent can bootstrap on the success of easier tasks to efficiently learn harder tasks. The agent also learns to reach the initial states proposed by the curriculum, minimizing the reliance on human interventions into the learning. We observe that VaPRL reduces the interventions required by three orders of magnitude compared to episodic RL while outperforming prior state-of-the art methods for reset-free RL both in terms of sample efficiency and asymptotic performance on a variety of simulated robotics problems.


title: Predicting Take-over Time for Autonomous Driving with Real-World Data: Robust Data Augmentation, Models, and Evaluation

abstract: Understanding occupant-vehicle interactions by modeling control transitions is important to ensure safe approaches to passenger vehicle automation. Models which contain contextual, semantically meaningful representations of driver states can be used to determine the appropriate timing and conditions for transfer of control between driver and vehicle. However, such models rely on real-world control take-over data from drivers engaged in distracting activities, which is costly to collect. Here, we introduce a scheme for data augmentation for such a dataset. Using the augmented dataset, we develop and train take-over time (TOT) models that operate sequentially on mid and high-level features produced by computer vision algorithms operating on different driver-facing camera views, showing models trained on the augmented dataset to outperform the initial dataset. The demonstrated model features encode different aspects of the driver state, pertaining to the face, hands, foot and upper body of the driver. We perform ablative experiments on feature combinations as well as model architectures, showing that a TOT model supported by augmented data can be used to produce continuous estimates of take-over times without delay, suitable for complex real-world scenarios.


title: A Hybrid Reduced Order Model for nonlinear LES filtering

abstract: We develop a Reduced Order Model (ROM) for a Large Eddy Simulation (LES) approach that combines a three-step algorithm called Evolve-Filter-Relax (EFR) with a computationally efficient finite volume method. The main novelty of our ROM lies in the use within the EFR algorithm of a nonlinear, deconvolution-based indicator function that identifies the regions of the domain where the flow needs regularization. The ROM we propose is a hybrid projection/data-driven strategy: a classical Proper Orthogonal Decomposition Galerkin projection approach for the reconstruction of the velocity and the pressure fields and a data-driven reduction method to approximate the indicator function used by the nonlinear differential filter. This data-driven technique is based on interpolation with Radial Basis Functions. We test the performance of our ROM approach on two benchmark problems: 2D and 3D unsteady flow past a cylinder at Reynolds number 0 <= Re <= 100. The accuracy of the ROM is assessed against results obtained with the full order model for velocity, pressure, indicator function and time evolution of the aerodynamics coefficients.


title: A model of light pseudoscalar dark matter

abstract: The EW-$\nu_R$ model was constructed in order to provide a seesaw scenario operating at the Electroweak scale $\Lambda_{EW} \sim 246$ GeV, keeping the same SM gauge structure. In this model, right-handed neutrinos are non-sterile and have masses of the order of $\Lambda_{EW}$. They can be searched for at the LHC along with heavy mirror quarks and leptons, the lightest of which have large decay lengths. The seesaw mechanism requires the existence of a complex scalar which is singlet under the SM gauge group. The imaginary part of this complex scalar denoted by $A^{0}_s$ is proposed to be the sub-MeV dark matter candidate in this manuscript. We find that the sub-MeV scalar can serve as a viable non-thermal feebly interacting massive particle (FIMP)-DM candidate. This $A_s^0$ can be a naturally light sub-MeV DM candidate due to its nature as a pseudo-Nambu-Goldstone (PNG) boson in the model. We show that the well-studied freeze out mechanism falls short in this particular framework producing DM overabundance. We identify that the freeze in mechanism produce the correct order of relic density for the sub-MeV DM candidate satisfying all applicable constraints. We then discuss the DM parameter space allowed by the current bounds from the direct and indirect searches for this sub-MeV DM. This model has a very rich scalar sector, consistent with various experimental constraints, predicts a $\sim 125$ GeV scalar with the SM Higgs characteristics satisfying the current LHC Higgs boson data.


title: Large vertex-flames in uncountable digraphs

abstract: The study of minimal subgraphs witnessing a connectivity property is an important field in graph theory. The foundation for large flames has been laid by Lov\'asz: Let $ D=(V,E) $ be a finite digraph and let $ r\in V $. The local connectivity $ \kappa_D(r,v) $ from $ r $ to $ v $ is defined to be the maximal number of internally disjoint $ r\rightarrow v $ paths in $ D $. A spanning subdigraph $ L $ of $ D $ with $ \kappa_L(r,v)=\kappa_D(r,v) $ for every $ v\in V-r $ must have at least $\sum_{v\in V-r}\kappa_D(r,v) $ edges. Lov\'asz proved that, maybe surprisingly, this lower bound is sharp for every finite digraph. The optimality of an $ L $ sufficing the min-max criteria from Lov\'asz' theorem may instead also be captured by the following structural characterization: For every $ v\in V-r $ there is a system $ \mathcal{P}_v $ of internally disjoint $ r\rightarrow v $ paths in $ L $ covering all the ingoing edges of $ v $ in $ L $ such that one can choose from each $ P\in \mathcal{P}_v $ either an edge or an internal vertex in such a way that the resulting set meets every $ r\rightarrow v $ path of $ D $. The positive result for countably infinite digraphs based on this structural infinite generalisation were obtained by the second author. In this paper we extend this to digraphs of size $ \aleph_1 $ which requires significantly more complex techniques. Despite solving yet the smallest uncountable case, the complete understanding of the concept and potentially a proof for arbitrary cardinality still seems to be far.


title: Colloquium: Quantum heat transport in condensed matter systems

abstract: In this Colloquium recent advances in the field of quantum heat transport are reviewed. This topic has been investigated theoretically for several decades, but only during the past twenty years have experiments on various mesoscopic systems become feasible. A summary of the theoretical basis for describing heat transport in one-dimensional channels is first provided. Then the main experimental investigations of quantized heat conductance due to phonons, photons, electrons, and anyons in such channels are presented. These experiments are important for understanding the fundamental processes that underly the concept of a heat conductance quantum for a single channel. Then an illustration on how one can control the quantum heat transport by means of electric and magnetic fields, and how such tunable heat currents can be useful in devices is given. This lays the basis for realizing various thermal device components such as quantum heat valves, rectifiers, heat engines, refrigerators, and calorimeters. Also of interest are fluctuations of quantum heat currents, both for fundamental reasons and for optimizing the most sensitive thermal detectors; at the end of the review the status of research on this intriguing topic is given.


title: Infinite randomness with continuously varying critical exponents in the random XYZ spin chain

abstract: We study the antiferromagnetic XYZ spin chain with quenched bond randomness, focusing on a critical line between localized Ising magnetic phases. A previous calculation using the spectrum-bifurcation renormalization group, and assuming marginal many-body localization, proposed that critical indices vary continuously. In this work we solve the low-energy physics using an unbiased numerically exact tensor network method named the "rigorous renormalization group." We find a line of fixed points consistent with infinite-randomness phenomenology, with indeed continuously varying critical exponents for average spin correlations. A self-consistent Hartree-Fock-type treatment of the $z$ couplings as interactions added to the free-fermion random XY model captures much of the important physics including the varying exponents; we provide an understanding of this as a result of local correlation induced between the mean-field couplings. We solve the problem of the locally-correlated XY spin chain with arbitrary degree of correlation and provide analytical strong-disorder renormalization group proofs of continuously varying exponents based on an associated classical random walk problem. This is also an example of a line of fixed points with continuously varying exponents in the equivalent disordered free-fermion chain. We argue that this line of fixed points also controls an extended region of the critical interacting XYZ spin chain.


title: Yet Another Combination of IR- and Neural-based Comment Generation

abstract: Code comment generation techniques aim to generate natural language descriptions for source code. There are two orthogonal approaches for this task, i.e., information retrieval (IR) based and neural-based methods. Recent studies have focused on combining their strengths by feeding the input code and its similar code snippets retrieved by the IR-based approach to the neural-based approach, which can enhance the neural-based approach's ability to output low-frequency words and further improve the performance. However, despite the tremendous progress, our pilot study reveals that the current combination is not generalizable and can lead to performance degradation. In this paper, we propose a straightforward but effective approach to tackle the issue of existing combinations of these two comment generation approaches. Instead of binding IR- and neural-based approaches statically, we combine them in a dynamic manner. Specifically, given an input code snippet, we first use an IR-based technique to retrieve a similar code snippet from the corpus. Then we use a Cross-Encoder based classifier to decide the comment generation method to be used dynamically, i.e., if the retrieved similar code snippet is a true positive (i.e., is semantically similar to the input), we directly use the IR-based technique. Otherwise, we pass the input to the neural-based model to generate the comment. We evaluate our approach on a large-scale dataset of Java projects. Experiment results show that our approach can achieve 25.45 BLEU score, which improves the state-of-the-art IR-based approach, neural-based approach, and their combination by 41%, 26%, and 7%, respectively. We propose a straightforward but effective dynamic combination of IR-based and neural-based comment generation, which outperforms state-of-the-art approaches by a substantial margin.


title: Optimal Frequency Regulation using Packetized Energy Management

abstract: Packetized energy management (PEM) is a demand dispatch scheme that can be used to provide ancillary services such as frequency regulation. In PEM, distributed energy resources (DERs) are granted uninterruptible access to the grid for a pre-specified time interval called the packet length. This results in a down ramp-limited response in PEM for DERs that can only consume power from the grid. In this work, a linearized virtual battery model of PEM is provided that is capable of predicting the down-ramp limited output of PEM and is used in a model predictive control (MPC) framework to improve the performance of PEM in tracking an automatic generation control (AGC) signal. By performing statistical analysis on the AGC regulation signal, PJM Reg-D, an ARMA model is derived as a predictor for the MPC-based precompensator. Finally, as an alternative to MPC, it is shown that by varying the packet length as a function of time, for example through packet randomization, frequency regulation can be improved under PEM.


title: Finding Failures in High-Fidelity Simulation using Adaptive Stress Testing and the Backward Algorithm

abstract: Validating the safety of autonomous systems generally requires the use of high-fidelity simulators that adequately capture the variability of real-world scenarios. However, it is generally not feasible to exhaustively search the space of simulation scenarios for failures. Adaptive stress testing (AST) is a method that uses reinforcement learning to find the most likely failure of a system. AST with a deep reinforcement learning solver has been shown to be effective in finding failures across a range of different systems. This approach generally involves running many simulations, which can be very expensive when using a high-fidelity simulator. To improve efficiency, we present a method that first finds failures in a low-fidelity simulator. It then uses the backward algorithm, which trains a deep neural network policy using a single expert demonstration, to adapt the low-fidelity failures to high-fidelity. We have created a series of autonomous vehicle validation case studies that represent some of the ways low-fidelity and high-fidelity simulators can differ, such as time discretization. We demonstrate in a variety of case studies that this new AST approach is able to find failures with significantly fewer high-fidelity simulation steps than are needed when just running AST directly in high-fidelity. As a proof of concept, we also demonstrate AST on NVIDIA's DriveSim simulator, an industry state-of-the-art high-fidelity simulator for finding failures in autonomous vehicles.


title: Embedding dimension of the Dirichlet space

abstract: The classical Dirichlet space is a complete Pick space, hence by a theorem of Agler and McCarthy, there exists an embedding $b$ of the unit disc into a $d$-dimensional ball such that composition with $b$ realizes the Dirichlet space as a quotient of the Drury-Arveson space. We show that $d =\infty$ is necessary, even if we only demand that composition with $b$ induces a surjective map between the multiplier algebras.


title: Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts

abstract: We explore the reinforcement learning approach to designing controllers by extensively discussing the case of a quadcopter attitude controller. We provide all details allowing to reproduce our approach, starting with a model of the dynamics of a crazyflie 2.0 under various nominal and non-nominal conditions, including partial motor failures and wind gusts. We develop a robust form of a signal temporal logic to quantitatively evaluate the vehicle's behavior and measure the performance of controllers. The paper thoroughly describes the choices in training algorithms, neural net architecture, hyperparameters, observation space in view of the different performance metrics we have introduced. We discuss the robustness of the obtained controllers, both to partial loss of power for one rotor and to wind gusts and finish by drawing conclusions on practical controller design by reinforcement learning.


title: Learning-based Prediction, Rendering and Transmission for Interactive Virtual Reality in RIS-Assisted Terahertz Networks

abstract: The quality of experience (QoE) requirements of wireless Virtual Reality (VR) can only be satisfied with high data rate, high reliability, and low VR interaction latency. This high data rate over short transmission distances may be achieved via abundant bandwidth in the terahertz (THz) band. However, THz waves suffer from severe signal attenuation, which may be compensated by the reconfigurable intelligent surface (RIS) technology with programmable reflecting elements. Meanwhile, the low VR interaction latency may be achieved with the mobile edge computing (MEC) network architecture due to its high computation capability. Motivated by these considerations, in this paper, we propose a MEC-enabled and RIS-assisted THz VR network in an indoor scenario, by taking into account the uplink viewpoint prediction and position transmission, MEC rendering, and downlink transmission. We propose two methods, which are referred to as centralized online Gated Recurrent Unit (GRU) and distributed Federated Averaging (FedAvg), to predict the viewpoints of VR users. In the uplink, an algorithm that integrates online Long-short Term Memory (LSTM) and Convolutional Neural Networks (CNN) is deployed to predict the locations and the line-of-sight and non-line-of-sight statuses of the VR users over time. In the downlink, we further develop a constrained deep reinforcement learning algorithm to select the optimal phase shifts of the RIS under latency constraints. Simulation results show that our proposed learning architecture achieves near-optimal QoE as that of the genie-aided benchmark algorithm, and about two times improvement in QoE compared to the random phase shift selection scheme.


title: Entanglement of Local Hidden States

abstract: Steering criteria are conditions whose violation excludes the possibility of describing the observed measurement statistics with local hidden state (LHS) models. When the available data do not allow to exclude arbitrary LHS models, it may still be possible to exclude LHS models with a specific separability structure. Here, we derive experimentally feasible criteria that put quantitative bounds on the multipartite entanglement of LHS. Our results reveal that separable states may contain hidden entanglement that can be unlocked by measurements on another system, even if no steering between the two systems is possible.


title: Production of a chiral magnetic anomaly with emerging turbulence and mean-field dynamo action

abstract: In relativistic magnetized plasmas, asymmetry in the number densities of left- and right-handed fermions, i.e., a non-zero chiral chemical potential mu_5, leads to an electric current along the magnetic field. This causes a chiral dynamo instability for a uniform mu_5, but our simulations reveal a dynamo even for fluctuating mu_5 with zero mean. It produces magnetically-dominated turbulence and generates mean magnetic fields via the magnetic alpha effect. Eventually, a universal scale-invariant k^(-1) spectrum of mu_5 and a k^(-3) magnetic spectrum are formed independently of the initial condition.

categories: physics.plasm-ph astro-ph.CO astro-ph.HE physics.flu-dyn


title: Exploring particle dynamics in flowing complex fluids using differential dynamic microscopy

abstract: Microscopic dynamics reveal the origin of the bulk rheological response in complex fluids. In model systems particle motion can be tracked, but for industrially relevant samples this is often impossible. Here we adapt differential dynamic microscopy (DDM) to study flowing highly-concentrated samples without particle resolution. By combining an investigation of oscillatory flow, using a novel "echo-DDM" analysis, and steady shear, through flow-DDM, we characterise the yielding of a silicone oil emulsion on both the microscopic and bulk level. Through measuring the rate of shear-induced droplet rearrangements and the flow velocity, the transition from a solid-like to liquid-like state is shown to occur in two steps: with droplet mobilisation marking the limit of linear visco-elasticity, followed by the development of shear localisation and macroscopic yielding. Using this suite of techniques, such insight could be developed for a wide variety of challenging complex fluids.


title: Collective behavior in the North Rhine-Westphalia motorway network

abstract: To understand the dynamics on complex networks, measurement of correlations is indispensable. In a motorway network, it is not sufficient to collect information on fluxes and velocities on all individual links, i.e. parts of the freeways between ramps and highway crosses. The interdependencies and mutual connections are also of considerable interest. We analyze correlations in the complete motorway network in North Rhine-Westphalia, the most populous state in Germany. We view the motorway network as a complex system consisting of road sections which interact via the motion of vehicles, implying structures in the corresponding correlation matrices. In particular, we focus on collective behavior, i.e. coherent motion in the whole network or in large parts of it. To this end, we study the eigenvalue and eigenvector statistics and identify significant sections in the motorway network. We find collective behavior in these significant sections and further explore its causes. We show that collectivity throughout the network cannot directly be related to the traffic states (free, synchronous and congested) in Kerner's three-phase theory. Hence, the degree of collectivity provides a new, complementary observable to characterize the motorway network.


title: Let Trajectories Speak Out the Traffic Bottlenecks

abstract: Traffic bottlenecks are a set of road segments that have an unacceptable level of traffic caused by a poor balance between road capacity and traffic volume. A huge volume of trajectory data which captures real-time traffic conditions in road networks provides promising new opportunities to identify the traffic bottlenecks. In this paper, we define this problem as trajectory-driven traffic bottleneck identification: Given a road network R, a trajectory database T , find a representative set of seed edges of size K of traffic bottlenecks that influence the highest number of road segments not in the seed set. We show that this problem is NP-hard and propose a framework to find the traffic bottlenecks as follows. First, a traffic spread model is defined which represents changes in traffic volume for each road segment over time. Then, the traffic diffusion probability between two connected segments and the residual ratio of traffic volume for each segment can be computed using historical trajectory data. We then propose two different algorithmic approaches to solve the problem. The first one is a best-first algorithm BF, with an approximation ratio of 1-1/e. To further accelerate the identification process in larger datasets, we also propose a sampling-based greedy algorithm SG. Finally, comprehensive experiments using three different datasets compare and contrast various solutions, and provide insights into important efficiency and effectiveness trade-offs among the respective methods.


title: Introducing a Real-time Interactive GUI Tool for Visualization of Galaxy Spectra

abstract: To aid the understanding of the non-linear relationship between galaxy properties and predicted spectral energy distributions (SED), we present a new interactive graphical user interface (GUI) tool pipes_vis based on Bagpipes \citep{arXiv:1712.04452,arXiv:1903.11082}. It allows for real-time manipulation of a model galaxy's star formation history, dust and other relevant properties through sliders and text boxes, with each change's effect on the predicted SED reflected instantaneously. We hope the tool will assist in building intuition about what affects the SED of galaxies, potentially helping to speed up fitting stages such as prior construction, and aid in undergraduate and graduate teaching. pipes_vis is available online (pipes_vis is maintained and documented online at https://github.com/HinLeung622/pipes_vis, or version 0.4.1 is archived in Zenodo and also available for installation through pip install pipes_vis).