title: Plane algebraic curves with prescribed singularities

abstract: We report on the problem of the existence of complex and real algebraic curves in the plane with prescribed singularities up to analytic and topological equivalence. The question is whether, for a given positive integer $d$ and a finite number of given analytic or topological singularity types, there exist a plane (irreducible) curve of degree $d$ having singular points of the given type as its only singularities. The set of all such curves is a quasi-projective variety, which we call an equisingular family (ESF). We describe, in terms of numerical invariants of the curves and their singularities, the state of the art concerning necessary and sufficient conditions for the non-emptiness and $T$-smoothness (i.e., smooth of expected dimension) of the corresponding ESF. The considered singularities can be arbitrary, but we spend special attention to plane curves with nodes and cusps, the most studied case, where still no complete answer is known in general. An important result is, however, that the necessary and the sufficient conditions show the same asymptotics for $T$-smooth equisingular families if the degree goes to infinity.


title: Bloom Origami Assays: Practical Group Testing

abstract: We study the problem usually referred to as group testing in the context of COVID-19. Given n samples collected from patients, how should we select and test mixtures of samples to maximize information and minimize the number of tests? Group testing is a well-studied problem with several appealing solutions, but recent biological studies impose practical constraints for COVID-19 that are incompatible with traditional methods. Furthermore, existing methods use unnecessarily restrictive solutions, which were devised for settings with more memory and compute constraints than the problem at hand. This results in poor utility. In the new setting, we obtain strong solutions for small values of n using evolutionary strategies. We then develop a new method combining Bloom filters with belief propagation to scale to larger values of n (more than 100) with good empirical results. We also present a more accurate decoding algorithm that is tailored for specific COVID-19 settings. This work demonstrates the practical gap between dedicated algorithms and well-known generic solutions. Our efforts results in a new and practical multiplex method yielding strong empirical performance without mixing more than a chosen number of patients into the same probe. Finally, we briefly discuss adaptive methods, casting them into the framework of adaptive sub-modularity.


title: Unsupervised Cyberbullying Detection via Time-Informed Gaussian Mixture Model

abstract: Social media is a vital means for information-sharing due to its easy access, low cost, and fast dissemination characteristics. However, increases in social media usage have corresponded with a rise in the prevalence of cyberbullying. Most existing cyberbullying detection methods are supervised and, thus, have two key drawbacks: (1) The data labeling process is often time-consuming and labor-intensive; (2) Current labeling guidelines may not be generalized to future instances because of different language usage and evolving social networks. To address these limitations, this work introduces a principled approach for unsupervised cyberbullying detection. The proposed model consists of two main components: (1) A representation learning network that encodes the social media session by exploiting multi-modal features, e.g., text, network, and time. (2) A multi-task learning network that simultaneously fits the comment inter-arrival times and estimates the bullying likelihood based on a Gaussian Mixture Model. The proposed model jointly optimizes the parameters of both components to overcome the shortcomings of decoupled training. Our core contribution is an unsupervised cyberbullying detection model that not only experimentally outperforms the state-of-the-art unsupervised models, but also achieves competitive performance compared to supervised models.


title: Correlating $h\to\mu^+\mu^-$ to the Anomalous Magnetic Moment of the Muon via Leptoquarks

abstract: Recently, both ATLAS and CMS measured the decay $h\to\mu^+\mu^-$, finding a signal strength with respect to the Standard Model expectation of $1.2\pm0.6$ and $1.19\substack{+0.41+0.17\\-0.39 -0.16}$, respectively. This provides, for the first time, evidence that the Standard Model Higgs couples to second generation fermions. This measurement is particularly interesting in the context of the intriguing hints for lepton flavor universality violation, accumulated within recent years, as new physics explanations could also be tested in the $h\to\mu^{+}\mu^{-}$ decay mode. Leptoquarks are prime candidates to account for the flavor anomalies. In particular, they can provide the necessary chiral enhancement (by a factor $m_t/m_\mu$) to address $a_\mu$ with TeV scale new physics. In this letter we point out that such explanations of $a_\mu$ also lead to enhanced effects in $h\to\mu^+\mu^-$ and we examine the correlations between $h\to\mu^+\mu^-$ and $a_\mu$ within leptoquark models. We find that the effect in the branching ratio of $h\to\mu^+\mu^-$ ranges from several percent up to a factor three, if one aims at accounting for $a_\mu$ at the $2\,\sigma$ level. Hence, the new ATLAS and CMS measurements already provide important constraints on the parameter space, rule out specific $a_\mu$ explanations and will be very important to test the flavor anomalies in the future.


title: Model of a solar system in the conservative geometry

abstract: Pandres has shown that an enlargement of the covariance group to the group of conservative transformations leads to a richer geometry than that of general relativity. Using orthonormal tetrads as field variables, the fundamental geometric object is the curvature vector denoted by $C_\mu$. From an appropriate scalar Lagrangian field equations for both free-field and the field with sources have been developed. We first review models which use a free-field solution to model the Solar System and why these results are unacceptable. We also show that the standard Schwarzschild metric is also unacceptable in our theory. Finally we show that there are solutions which involve sources which agree with general relativity PPN parameters and thus approximate the Schwarzschild solution. The main difference is that the Einstein tensor is not identically zero but includes small values for the density, radial pressure and tangential pressure. Higher precision experiments should be able to determine the validity of these models. These results add further confirmation that the theory developed by Pandres is the fundamental theory of physics.


title: The influence of the electric polarization of hydrogen atoms on the red shift of its spectral lines

abstract: The Lorentz oscillator system is studied to interpret the spectral lines of hydrogen atoms. The dielectric constant of this system is analyzed, which takes into account the electrical polarization of hydrogen atoms. This dielectric constant gives the red shift of the spectral line and the appearance of the optical spectrum dip. This dip is on the blue side of the spectral position of the shifted line. The value of this red shift and the width of this dip strongly depend on the hydrogen atom concentration and the spectral position of the not shifted line. This red shift increases with an increase in the hydrogen atom concentration.

categories: astro-ph.GA astro-ph.SR physics.atom-ph physics.optics


title: Deep Reinforcement Learning for Tactile Robotics: Learning to Type on a Braille Keyboard

abstract: Artificial touch would seem well-suited for Reinforcement Learning (RL), since both paradigms rely on interaction with an environment. Here we propose a new environment and set of tasks to encourage development of tactile reinforcement learning: learning to type on a braille keyboard. Four tasks are proposed, progressing in difficulty from arrow to alphabet keys and from discrete to continuous actions. A simulated counterpart is also constructed by sampling tactile data from the physical environment. Using state-of-the-art deep RL algorithms, we show that all of these tasks can be successfully learnt in simulation, and 3 out of 4 tasks can be learned on the real robot. A lack of sample efficiency currently makes the continuous alphabet task impractical on the robot. To the best of our knowledge, this work presents the first demonstration of successfully training deep RL agents in the real world using observations that exclusively consist of tactile images. To aid future research utilising this environment, the code for this project has been released along with designs of the braille keycaps for 3D printing and a guide for recreating the experiments. A brief video summary is also available at https://youtu.be/eNylCA2uE_E.


title: Supercongruences for sums involving Domb numbers

abstract: We prove some supercongruence and divisibility results on sums involving Domb numbers, which confirm four conjectures of Z.-W. Sun and Z.-H. Sun. For instance, by using a transformation formula due to Chan and Zudilin, we show that for any prime $p\ge 5$, \begin{align*} \sum_{k=0}^{p-1}\frac{3k+1}{(-32)^k}{\rm Domb}(k)\equiv (-1)^{\frac{p-1}{2}}p+p^3E_{p-3} \pmod{p^4}, \end{align*} which is regarded as a $p$-adic analogue of the following interesting formula for $1/\pi$ due to Rogers: \begin{align*} \sum_{k=0}^{\infty}\frac{3k+1}{(-32)^k}{\rm Domb}(k)=\frac{2}{\pi}. \end{align*} Here ${\rm Domb}(n)$ and $E_n$ are the famous Domb numbers and Euler numbers.


title: Graph Wasserstein Correlation Analysis for Movie Retrieval

abstract: Movie graphs play an important role to bridge heterogenous modalities of videos and texts in human-centric retrieval. In this work, we propose Graph Wasserstein Correlation Analysis (GWCA) to deal with the core issue therein, i.e, cross heterogeneous graph comparison. Spectral graph filtering is introduced to encode graph signals, which are then embedded as probability distributions in a Wasserstein space, called graph Wasserstein metric learning. Such a seamless integration of graph signal filtering together with metric learning results in a surprise consistency on both learning processes, in which the goal of metric learning is just to optimize signal filters or vice versa. Further, we derive the solution of the graph comparison model as a classic generalized eigenvalue decomposition problem, which has an exactly closed-form solution. Finally, GWCA together with movie/text graphs generation are unified into the framework of movie retrieval to evaluate our proposed method. Extensive experiments on MovieGrpahs dataset demonstrate the effectiveness of our GWCA as well as the entire framework.


title: Early warnings of COVID-19 outbreaks across Europe from social media?

abstract: We analyze data from Twitter to uncover early-warning signals of COVID-19 outbreaks in Europe in the winter season 2019-2020, before the first public announcements of local sources of infection were made. We show evidence that unexpected levels of concerns about cases of pneumonia were raised across a number of European countries. Whistleblowing came primarily from the geographical regions that eventually turned out to be the key breeding grounds for infections. These findings point to the urgency of setting up an integrated digital surveillance system in which social media can help geo-localize chains of contagion that would otherwise proliferate almost completely undetected.


title: Theory Manual for the Tuned Mass Damper Module in FAST v8

abstract: This manual describes the theory underlying new functionality in FAST 8 that simulates the addition of tuned mass dampers in the nacelle for structural control.


title: Improving on-device speaker verification using federated learning with privacy

abstract: Information on speaker characteristics can be useful as side information in improving speaker recognition accuracy. However, such information is often private. This paper investigates how privacy-preserving learning can improve a speaker verification system, by enabling the use of privacy-sensitive speaker data to train an auxiliary classification model that predicts vocal characteristics of speakers. In particular, this paper explores the utility achieved by approaches which combine different federated learning and differential privacy mechanisms. These approaches make it possible to train a central model while protecting user privacy, with users' data remaining on their devices. Furthermore, they make learning on a large population of speakers possible, ensuring good coverage of speaker characteristics when training a model. The auxiliary model described here uses features extracted from phrases which trigger a speaker verification system. From these features, the model predicts speaker characteristic labels considered useful as side information. The knowledge of the auxiliary model is distilled into a speaker verification system using multi-task learning, with the side information labels predicted by this auxiliary model being the additional task. This approach results in a 6% relative improvement in equal error rate over a baseline system.


title: Impact of Scattering on Phonon Behavior of Alloys

abstract: The lattice dynamics of Cu3Au, Ni70Pt30, Pd90Fe10, and Pd96Fe04 intermetallic is studied using the DFT calculations. We calculated the phonon dispersions and phonon densities of states along two high symmetry paths of the Brillouin zone by Weighted Dynamical Matrix (WDM) approach. We also compared the results with the supercell approach and inelastic neutron scattering. Furthermore, we calculated the impact of mass and force-constant fluctuations on the Cu3Au and made a comparison with both WDM and supercell approaches results. The averaged first Nearest Neighbor (1NN) force constants between various pairs of atoms in these intermetallic structures are obtained from the WDM approach.


title: OpenStreetMap data use cases during the early months of the COVID-19 pandemic

abstract: Created by volunteers since 2004, OpenStreetMap (OSM) is a global geographic database available under an open access license and currently used by a multitude of actors worldwide. This chapter describes the role played by OSM during the early months (from January to July 2020) of the ongoing COVID-19 pandemic, which - in contrast to past disasters and epidemics - is a global event impacting both developed and developing countries. A large number of COVID-19-related OSM use cases were collected and grouped into a number of research frameworks which are analyzed separately: dashboards and services simply using OSM as a basemap, applications using raw OSM data, initiatives to collect new OSM data, imports of authoritative data into OSM, and traditional academic research on OSM in the COVID-19 response. The wealth of examples provided in the chapter, including an analysis of OSM tile usage in two countries (Italy and China) deeply affected in the earliest months of 2020, prove that OSM has been and still is heavily used to address the COVID-19 crisis, although with types and mechanisms that are often different depending on the affected area or country and the related communities.


title: Promising photovoltaic efficiency of a layered silicon oxide crystal Si$_{3}$O

abstract: Computational searching and screening of new functional materials exploiting earth abundant elements can accelerate developments of their energy applications. Based on a state-of-the-art materials search algorithm and ab initio calculations, we demonstrate a recently suggested stable silicon oxide with a layered structure (Si$_{3}$O) as an ideal photovoltaic material. With many-body first-principles approaches, the monolayer and layered bulk of Si$_{3}$O show direct quasiparticle gaps of 1.85 eV and 1.25 eV, respectively, while an optical gap of about 1.2 eV is nearly independent of the number of layers. Spectroscopic limited maximum efficiency (SLME) is estimated to be 27% for a thickness of 0.5 {\mu}m, making it a promising candidate for solar energy applications.


title: Noisy Student Training using Body Language Dataset Improves Facial Expression Recognition

abstract: Facial expression recognition from videos in the wild is a challenging task due to the lack of abundant labelled training data. Large DNN (deep neural network) architectures and ensemble methods have resulted in better performance, but soon reach saturation at some point due to data inadequacy. In this paper, we use a self-training method that utilizes a combination of a labelled dataset and an unlabelled dataset (Body Language Dataset - BoLD). Experimental analysis shows that training a noisy student network iteratively helps in achieving significantly better results. Additionally, our model isolates different regions of the face and processes them independently using a multi-level attention mechanism which further boosts the performance. Our results show that the proposed method achieves state-of-the-art performance on benchmark datasets CK+ and AFEW 8.0 when compared to other single models.


title: Excited and exotic bottomonium spectroscopy from lattice QCD

abstract: We explore the spectrum of excited and exotic bottomonia using lattice QCD. Highly excited states are identified with masses up to 11,000 MeV, many of which can be grouped into supermultiplets matching those of the quark model while exotic spin--parity--charge-conjugation quantum numbers $J^{PC}=0^{+-},\,1^{-+},\,2^{+-}$ that cannot be formed from $\bar{q}q$ alone are also identified. Single-meson operator constructions are used that have good $J^{PC}$ in the continuum, these are found to overlap well onto heavy quark states with $J\le4$. A continuum $J^{PC}$ is assigned to each level, based on the distribution amongst lattice irreps and dominant operator overlaps. States with a dominant gluonic component are identified and form a hybrid supermultiplet with $J^{PC}=(0,1,2)^{-+},\, 1^{--}$, approximately 1500 MeV above the ground-state $\eta_b$, similar to previous computations with light, strange and charm quark systems.


title: Multiscale Extended Finite Element Method for Deformable Fractured Porous Media

abstract: Deformable fractured porous media appear in many geoscience applications. While the extended finite element (XFEM) has been successfully developed within the computational mechanics community for accurate modeling of the deformation, its application in natural geoscientific applications is not straightforward. This is mainly due to the fact that subsurface formations are heterogeneous and span large length scales with many fractures at different scales. In this work, we propose a novel multiscale formulation for XFEM, based on locally computed basis functions. The local multiscale basis functions capture the heterogeneity and discontinuities introduced by fractures. Local boundary conditions are set to follow a reduced-dimensional system, in order to preserve the accuracy of the basis functions. Using these multiscale bases, a multiscale coarse-scale system is then governed algebraically and solved, in which no enrichment due to the fractures exist. Such formulation allows for significant computational cost reduction, at the same time, it preserves the accuracy of the discrete displacement vector space. The coarse-scale solution is finally interpolated back to the fine scale system, using the same multiscale basis functions. The proposed multiscale XFEM (MS-XFEM) is also integrated within a two-stage algebraic iterative solver, through which error reduction to any desired level can be achieved. Several proof-of-concept numerical tests are presented to assess the performance of the developed method. It is shown that the MS-XFEM is accurate, when compared with the fine-scale reference XFEM solutions. At the same time, it is significantly more efficient than the XFEM on fine-scale resolution. As such, it develops the first scalable XFEM method for large-scale heavily fractured porous media.


title: Heterogeneous Idealization of Ion Channel Recordings -- Open Channel Noise

abstract: We propose a new model-free segmentation method for idealizing ion channel recordings. This method is designed to deal with heterogeneity of measurement errors. This in particular applies to open channel noise which, in general, is particularly difficult to cope with for model-free approaches. Our methodology is able to deal with lowpass filtered data which provides a further computational challenge. To this end we propose a multiresolution testing approach, combined with local deconvolution to resolve the lowpass filter. Simulations and statistical theory confirm that the proposed idealization recovers the underlying signal very accurately at presence of heterogeneous noise, even when events are shorter than the filter length. The method is compared to existing approaches in computer experiments and on real data. We find that it is the only one which allows to identify openings of the PorB porine at two different temporal scales. An implementation is available as an R package.


title: Discontinuous Galerkin method for blow-up solutions of nonlinear 1D wave equations

abstract: We develop and study a time-space discrete discontinuous Galerkin finite elements method to approximate the solution of one-dimensional nonlinear wave equations. We show that the numerical scheme is stable if a nonuniform time mesh is considered. We also investigate the blow-up phenomena and we prove that under weak convergence assumptions, the numerical blow-up time tends toward the theoretical one. The validity of our results is confirmed throughout several numerical examples and benchmarks.


title: Propagation of curved folding: The folded annulus with multiple creases exists

abstract: In this paper we consider developable surfaces which are isometric to planar domains and which are piecewise differentiable, exhibiting folds along curves. The paper revolves around the longstanding problem of existence of the so-called folded annulus with multiple creases, which we partially settle by building upon a deeper understanding of how a curved fold propagates to additional prescribed foldlines. After recalling some crucial properties of developables, we describe the local behaviour of curved folding employing normal curvature and relative torsion as parameters and then compute the very general relation between such geometric descriptors at consecutive folds, obtaining novel formulae enjoying a nice degree of symmetry. We make use of these formulae to prove that any proper fold can be propagated to an arbitrary finite number of rescaled copies of the first foldline and to give reasons why problems involving infinitely many foldlines are harder to solve.


title: Dynamic Emotion Modeling with Learnable Graphs and Graph Inception Network

abstract: Human emotion is expressed, perceived and captured using a variety of dynamic data modalities, such as speech (verbal), videos (facial expressions) and motion sensors (body gestures). We propose a generalized approach to emotion recognition that can adapt across modalities by modeling dynamic data as structured graphs. The motivation behind the graph approach is to build compact models without compromising on performance. To alleviate the problem of optimal graph construction, we cast this as a joint graph learning and classification task. To this end, we present the Learnable Graph Inception Network (L-GrIN) that jointly learns to recognize emotion and to identify the underlying graph structure in the dynamic data. Our architecture comprises multiple novel components: a new graph convolution operation, a graph inception layer, learnable adjacency, and a learnable pooling function that yields a graph-level embedding. We evaluate the proposed architecture on five benchmark emotion recognition databases spanning three different modalities (video, audio, motion capture), where each database captures one of the following emotional cues: facial expressions, speech and body gestures. We achieve state-of-the-art performance on all five databases outperforming several competitive baselines and relevant existing methods. Our graph architecture shows superior performance with significantly fewer parameters (compared to convolutional or recurrent neural networks) promising its applicability to resource-constrained devices.


title: Local biplots for multi-dimensional scaling, with application to the microbiome

abstract: We present local biplots, a an extension of the classic principal components biplot to multi-dimensional scaling. Noticing that principal components biplots have an interpretation as the Jacobian of a map from data space to the principal subspace, we define local biplots as the Jacobian of the analogous map for multi-dimensional scaling. In the process, we show a close relationship between our local biplot axes, generalized Euclidean distances, and generalized principal components. In simulations and real data we show how local biplots can shed light on what variables or combinations of variables are important for the low-dimensional embedding provided by multi-dimensional scaling. They give particular insight into a class of phylogenetically-informed distances commonly used in the analysis of microbiome data, showing that different variants of these distances can be interpreted as implicitly smoothing the data along the phylogenetic tree and that the extent of this smoothing is variable.


title: Improving the Accuracy of Global Forecasting Models using Time Series Data Augmentation

abstract: Forecasting models that are trained across sets of many time series, known as Global Forecasting Models (GFM), have shown recently promising results in forecasting competitions and real-world applications, outperforming many state-of-the-art univariate forecasting techniques. In most cases, GFMs are implemented using deep neural networks, and in particular Recurrent Neural Networks (RNN), which require a sufficient amount of time series to estimate their numerous model parameters. However, many time series databases have only a limited number of time series. In this study, we propose a novel, data augmentation based forecasting framework that is capable of improving the baseline accuracy of the GFM models in less data-abundant settings. We use three time series augmentation techniques: GRATIS, moving block bootstrap (MBB), and dynamic time warping barycentric averaging (DBA) to synthetically generate a collection of time series. The knowledge acquired from these augmented time series is then transferred to the original dataset using two different approaches: the pooled approach and the transfer learning approach. When building GFMs, in the pooled approach, we train a model on the augmented time series alongside the original time series dataset, whereas in the transfer learning approach, we adapt a pre-trained model to the new dataset. In our evaluation on competition and real-world time series datasets, our proposed variants can significantly improve the baseline accuracy of GFM models and outperform state-of-the-art univariate forecasting methods.


title: Setting bounds on two-photon absorption cross-sections in common fluorophores with entangled photon pair excitation

abstract: Excitation with entangled photon pairs may lead to an increase in the efficiency of two-photon absorption at low photon flux. The corresponding process, entangled two-photon absorption (E2PA), has been investigated in numerous theoretical and experimental studies. However, significant ambiguity and inconsistency remain in the literature about the absolute values of E2PA cross-sections. Here, we use a fluorescence-based registration scheme to experimentally determine upper bounds on the cross-sections for six fluorophores. These bounds are up to four orders of magnitude lower than the smallest published cross-section. For two samples that have been studied by others, Rhodamine 6G and 9R-S, we measure upper bounds four and five orders of magnitude lower than the previously reported cross-sections.


title: On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants

abstract: We show that the normal form of the Taylor expansion of a $\lambda$-term is isomorphic to its B\"ohm tree, improving Ehrhard and Regnier's original proof along three independent directions. First, we simplify the final step of the proof by following the left reduction strategy directly in the resource calculus, avoiding to introduce an abstract machine ad hoc. We also introduce a groupoid of permutations of copies of arguments in a rigid variant of the resource calculus, and relate the coefficients of Taylor expansion with this structure, while Ehrhard and Regnier worked with groups of permutations of occurrences of variables. Finally, we extend all the results to a nondeterministic setting: by contrast with previous attempts, we show that the uniformity property that was crucial in Ehrhard and Regnier's approach can be preserved in this setting.


title: Enabling Massive Real-Time Applications in IEEE 802.11be Networks

abstract: Next generation Wi-Fi networks are expected to support real-time applications that impose strict requirements on the packet transmission delay and packet loss ratio. Such applications form an essential target for the future Wi-Fi standard, namely IEEE 802.11be, the development process of which started in 2019. A promising way to provide efficient real-time communications in 802.11be networks requires some modification of the uplink OFDMA feature originally introduced in the IEEE 802.11ax amendment to the Wi-Fi standard. This feature allows the access point to reserve channel resources for upcoming urgent transmissions. The paper explains why uplink OFDMA random access of 802.11ax does not perfectly fit the requirements of real-time applications and proposes an easy-to-implement modification of the channel access rules for future 802.11be networks. With extensive simulation, it is shown that this modification together with a new resource allocation algorithm outperforms the existing ways to support real-time applications, especially for a heavy load and a high number of users. In particular, they provide extremely low delays for real-time traffic, while the throughput for non-real-time traffic is reduced insignificantly.


title: Machine Learning for Health: Personalized Models for Forecasting of Alzheimer Disease Progression

abstract: In this thesis the aim is to work on optimizing the modern machine learning models for personalized forecasting of Alzheimer Disease (AD) Progression from clinical trial data. The data comes from the TADPOLE challenge, which is one of the largest publicly available datasets for AD research (ADNI dataset). The goal of the project is to develop machine learning models that can be used to perform personalized forecasts of the participants cognitive changes (e.g., ADAS-Cog13 scores) over the time period of 6,12, 18 and 24 months in the future and the change in Clinical Status (CS) i.e., whether a person will convert to AD within 2 years or not. This is important for informing current clinical trials and better design of future clinical trials for AD. We will work with personalized Gaussian processes as machine learning models to predict ADAS-Cog13 score and Cox model along with a classifier to predict the conversion in a patient within 2 years.This project is done with the collaboration with researchers from the MIT MediaLab.


title: General relativity and precision tests of fundamental symmetries

abstract: Search for the Electric Dipole Moment of nuclear particles is at the forefront of incessant quest for CP violation beyond Standard Model. The ultimate target is to reach a sensitivity to the electric dipole moment of neutrons, protons, deuterons etc. at the level of $\sim 10^{-15}$ nuclear magnetons. Defying the common lore on weakness of gravity, spurious signals induced by curved space-time in the gravity field of the rotating Earth become quite substantial at such a daunting sensitivity. We review the recent development in the field with an emphasis on the geometric magnetic field in pure electrostatic systems at rest on the rotating Earth.


title: Learning Power Control from a Fixed Batch of Data

abstract: We address how to exploit power control data, gathered from a monitored environment, for performing power control in an unexplored environment. We adopt offline deep reinforcement learning, whereby the agent learns the policy to produce the transmission powers solely by using the data. Experiments demonstrate that despite discrepancies between the monitored and unexplored environments, the agent successfully learns the power control very quickly, even if the objective functions in the monitored and unexplored environments are dissimilar. About one third of the collected data is sufficient to be of high-quality and the rest can be from any sub-optimal algorithm.

categories: eess.SY cs.IT cs.LG cs.SY eess.SP math.IT


title: Instabilities and chaos in the classical three-body and three-rotor problems

abstract: This thesis studies instabilities and singularities in a geometrical approach to the planar 3-body problem as well as instabilities, chaos and ergodicity in the 3-rotor problem. Trajectories of the planar 3-body problem are expressed as geodesics of the Jacobi-Maupertuis (JM) metric on the configuration space $C^3$. Translation, rotation and scaling isometries lead to reduced dynamics on quotients of $C^3$ that encode information on the full dynamics. Riemannian submersions are used to find the quotient metrics and to show that the geodesic formulation regularizes collisions for the $1/r^2$ but not for the $1/r$ potential. Extending work of Montgomery, we show the negativity of the scalar curvature on the center of mass configuration space and certain quotients for equal masses and zero energy. Sectional curvatures are also found to be largely negative indicating widespread geodesic instabilities. In the 3-rotor problem, 3 equal masses move on a circle subject to attractive cosine inter-particle potentials. This problem arises as the classical limit of a model of coupled Josephson junctions. The energy E serves as a control parameter. We find analogues of the Euler-Lagrange family of periodic solutions: pendula and breathers at all E and choreographies up to moderate E. The model displays order-chaos-order behavior and undergoes a fairly sharp transition to chaos at a critical energy E$_c$ with several manifestations: (a) a dramatic rise in the fraction of Poincar\'e surfaces occupied by chaotic sections, (b) spontaneous breaking of discrete symmetries, (c) a geometric cascade of stability transitions in pendula and (d) a change in the sign of the JM curvature. Poincar\'e sections indicate global chaos in a band of energies slightly above E$_c$ where we provide evidence for ergodicity and mixing with respect to the Liouville measure and study the statistics of recurrence times.


title: Fast Flexible Paxos: Relaxing Quorum Intersection for Fast Paxos

abstract: Paxos, the de facto standard approach to solving distributed consensus, operates in two phases, each of which requires an intersecting quorum of nodes. Multi-Paxos reduces this to one phase by electing a leader but this leader is also a performance bottleneck. Fast Paxos bypasses the leader but has stronger quorum intersection requirements. In this paper we observe that Fast Paxos' intersection requirements can be safely relaxed, reducing to just one additional intersection requirement between phase-1 quorums and any pair of fast round phase-2 quorums. We thus find that the quorums used with Fast Paxos are larger than necessary, allowing alternative quorum systems to obtain new tradeoffs between performance and fault-tolerance.


title: MFNets: Data efficient all-at-once learning of multifidelity surrogates as directed networks of information sources

abstract: We present an approach for constructing a surrogate from ensembles of information sources of varying cost and accuracy. The multifidelity surrogate encodes connections between information sources as a directed acyclic graph, and is trained via gradient-based minimization of a nonlinear least squares objective. While the vast majority of state-of-the-art assumes hierarchical connections between information sources, our approach works with flexibly structured information sources that may not admit a strict hierarchy. The formulation has two advantages: (1) increased data efficiency due to parsimonious multifidelity networks that can be tailored to the application; and (2) no constraints on the training data -- we can combine noisy, non-nested evaluations of the information sources. Numerical examples ranging from synthetic to physics-based computational mechanics simulations indicate the error in our approach can be orders-of-magnitude smaller, particularly in the low-data regime, than single-fidelity and hierarchical multifidelity approaches.


title: A two-loop induced neutrino mass model, dark matter, and LFV processes $\ell_i \to \ell_j \gamma$, and $\mu e \to e e$ in a hidden local $U(1)$ symmetry

abstract: We discuss a model based on a hidden $U(1)_X$ gauge symmetry in which neutrino mass is induced at two-loop level by effects of interactions among particles in hidden sector and the Standard Model leptons. Since neutrino mass is suppressed by two-loop, its associate Yukawa couplings can be sizable and it would affect lepton flavor phenomenology. We analyze neutrino mass matrix, lepton flavor violating processes, electron/muon $g-2$ and dark matter annihilation cross section which are induced via interactions among Standard Model leptons and particles in $U(1)_X$ hidden sector, and their interactions can be sizable in our scenario. Performing numerical analysis, we show expected ratios for these processes using allowed parameters which can fit the neutrino data and satisfy flavor constraints.


title: Kasner-like regions near crushing singularities

abstract: We consider vacuum spacetimes with a crushing singularity. Under some scale-invariant curvature bounds, we relate the existence of Kasner-like regions to the asymptotics of spatial volume densities.


title: Electrochemical oxidation of CO on Cu single crystals under alkaline conditions

abstract: We perform a joint experimental-theoretical study of the electrochemical oxidation of CO on copper (Cu) under alkaline conditions. Using cyclic voltammetry on Cu single crystal surfaces, we demonstrate that both Cu terraces and steps show CO oxidation activity at potentials just slightly positive (0.03-0.14 V) of the thermodynamic equilibrium potential. The overpotentials are 0.23-0.12 V lower than that of gold (approx. 0.26 V), which up until now has been considered to be the most active catalyst for this process. Our theoretical calculations suggest that Cu's activity arises from the advantageous combination of simultaneous *OH adsorption under CO oxidation potentials and surmountable *CO-*OH coupling barriers. Experimentally observed onset potentials are in agreement with the computed onsets of *OH adsorption. We furthermore show that the onsets of *OH adsorption on steps are more affected by *CO-*OH interactions than on terraces due to a stronger competitive adsorption. Overall, Cu(100) shows the lowest overpotential (0.03 V) of the facets considered.


title: Exchangeable Neural ODE for Set Modeling

abstract: Reasoning over an instance composed of a set of vectors, like a point cloud, requires that one accounts for intra-set dependent features among elements. However, since such instances are unordered, the elements' features should remain unchanged when the input's order is permuted. This property, permutation equivariance, is a challenging constraint for most neural architectures. While recent work has proposed global pooling and attention-based solutions, these may be limited in the way that intradependencies are captured in practice. In this work we propose a more general formulation to achieve permutation equivariance through ordinary differential equations (ODE). Our proposed module, Exchangeable Neural ODE (ExNODE), can be seamlessly applied for both discriminative and generative tasks. We also extend set modeling in the temporal dimension and propose a VAE based model for temporal set modeling. Extensive experiments demonstrate the efficacy of our method over strong baselines.


title: Investigation of Quark Distributions in a Family of Pentaquarks using the Thomas-Fermi Quark Model

abstract: Using the Thomas-Fermi quark model, a collective, spherically symmetric density of states is created to represent a gas of interacting fermions with various degeneracies at zero temperature. Over a family of multi-pentaquarks, color interaction probabilities are obtained after averaging over all the possible configurations. It is found that three different Thomas-Fermi functions are necessary for light, charm, and anti-charm quarks. These are assumed to be linearly related by proportionality constants resulting in consistency conditions. We analyze these conditions and find that they lead to an interesting pattern of spherical quark distributions.


title: The Ground State Electronic Energy of Benzene

abstract: We report on the findings of a blind challenge devoted to determining the frozen-core, full configuration interaction (FCI) ground state energy of the benzene molecule in a standard correlation-consistent basis set of double-$\zeta$ quality. As a broad international endeavour, our suite of wave function-based correlation methods collectively represents a diverse view of the high-accuracy repertoire offered by modern electronic structure theory. In our assessment, the evaluated high-level methods are all found to qualitatively agree on a final correlation energy, with most methods yielding an estimate of the FCI value around $-863$ m$E_{\text{H}}$. However, we find the root-mean-square deviation of the energies from the studied methods to be considerable (1.3 m$E_{\text{H}}$), which in light of the acclaimed performance of each of the methods for smaller molecular systems clearly displays the challenges faced in extending reliable, near-exact correlation methods to larger systems. While the discrepancies exposed by our study thus emphasize the fact that the current state-of-the-art approaches leave room for improvement, we still expect the present assessment to provide a valuable community resource for benchmark and calibration purposes going forward.


title: Solving imperfect-information games via exponential counterfactual regret minimization

abstract: In general, two-agent decision-making problems can be modeled as a two-player game, and a typical solution is to find a Nash equilibrium in such game. Counterfactual regret minimization (CFR) is a well-known method to find a Nash equilibrium strategy in a two-player zero-sum game with imperfect information. The CFR method adopts a regret matching algorithm iteratively to reduce regret values progressively, enabling the average strategy to approach a Nash equilibrium. Although CFR-based methods have achieved significant success in the field of imperfect information games, there is still scope for improvement in the efficiency of convergence. To address this challenge, we propose a novel CFR-based method named exponential counterfactual regret minimization (ECFR). With ECFR, an exponential weighting technique is used to reweight the instantaneous regret value during the process of iteration. A theoretical proof is provided to guarantees convergence of the ECFR algorithm. The result of an extensive set of experimental tests demostrate that the ECFR algorithm converges faster than the current state-of-the-art CFR-based methods.


title: Some global, analytical and topological properties of regular black holes

abstract: In this work we study regular black holes from a global perspective looking for evading some of the well-known singularity theorems by using their "reverses". Then, model geometries for the slices of typical spherically symmetric, (locally) static four dimensional regular black hole solutions are described from both an analytical and a topological point of view. While the finiteness of both the scalar and Kretchmann curvature of the slices around the regular center determines the geometry of the core, the positive answer to the Poincar\'e conjecture assures that, under two assumptions, its topology is that of a three-sphere. However, in general, the cores are shown to be $S^3$, $H^3$, $\mathbb{R}\times S^1$ or $S^1\times S^2$, depending whether a de Sitter, anti de Sitter, Nariai or Bertotti-Robinson geometries are employed to describe the slices at the regular center. Then, a description of the aforementioned slices in terms of Seifert fibre spaces is given in order to show that the Euler characteristic of the bundle can be used to track the transition between the core of the regular black hole and the rest of the slices in most of the cases considered in the literature. After Geroch and Tipler's theorems are employed to study the consequences of topology change on regular black hole spacetimes, we show that Borde and Vilenkin's singularity theorem is used to restrict their possible types. We end by noting that Nariai cores can be safely used to construct regular black holes without topology changes.


title: Quantization coefficients for uniform distributions on the boundaries of regular polygons

abstract: In this paper, we give a general formula to determine the quantization coefficients for uniform distributions defined on the boundaries of different regular $m$-sided polygons inscribed in a circle. The result shows that the quantization coefficient for the uniform distribution on the boundary of a regular $m$-sided polygon inscribed in a circle is an increasing function of $m$, and approaches to the quantization coefficient for the uniform distribution on the circle as $m$ tends to infinity.


title: Riemann-Hilbert hierarchies for hard edge planar orthogonal polynomials

abstract: We obtain a full asymptotic expansion for orthogonal polynomials with respect to weighted area measure on a Jordan domain $\mathscr{D}$ with real-analytic boundary. The weight is fixed and assumed to be real-analytically smooth and strictly positive, and for any given precision $\varkappa$, the expansion holds with an $\mathrm{O}(N^{-\varkappa-1})$ error in $N$-dependent neighborhoods of the exterior region as the degree $N$ tends to infinity. The main ingredient is the derivation and analysis of Riemann-Hilbert hierarchies - sequences of scalar Riemann-Hilbert problems - which allows us to express all higher order correction terms in closed form. In fact, the expansion may be understood as a Neumann series involving an explicit operator. The expansion theorem leads to a semiclassical asymptotic expansion of the corresponding hard edge probability wave function in terms of distributions supported on $\partial\mathscr{D}$.


title: FISTA-Net: Learning A Fast Iterative Shrinkage Thresholding Network for Inverse Problems in Imaging

abstract: Inverse problems are essential to imaging applications. In this paper, we propose a model-based deep learning network, named FISTA-Net, by combining the merits of interpretability and generality of the model-based Fast Iterative Shrinkage/Thresholding Algorithm (FISTA) and strong regularization and tuning-free advantages of the data-driven neural network. By unfolding the FISTA into a deep network, the architecture of FISTA-Net consists of multiple gradient descent, proximal mapping, and momentum modules in cascade. Different from FISTA, the gradient matrix in FISTA-Net can be updated during iteration and a proximal operator network is developed for nonlinear thresholding which can be learned through end-to-end training. Key parameters of FISTA-Net including the gradient step size, thresholding value and momentum scalar are tuning-free and learned from training data rather than hand-crafted. We further impose positive and monotonous constraints on these parameters to ensure they converge properly. The experimental results, evaluated both visually and quantitatively, show that the FISTA-Net can optimize parameters for different imaging tasks, i.e. Electromagnetic Tomography (EMT) and X-ray Computational Tomography (X-ray CT). It outperforms the state-of-the-art model-based and deep learning methods and exhibits good generalization ability over other competitive learning-based approaches under different noise levels.


title: Relativistic Friedrichs-Lee model and quark-pair creation model

abstract: In this paper, we present how the Friedrichs-Lee model could be extended to the relativistic scenario and be combined with the relativistic quark pair creation model in a consistent way. This scheme could be applied to study the "unquenched" effect of the meson spectra. As an example, if the lowest $J^{PC}=0^{++}$ $(u\bar u+d\bar d)/\sqrt{2}$ bound state in the potential model is coupled to the $\pi\pi$ continuum, two resonance poles could be found from the scattering amplitude for the continuum states. One of them could correspond to the $f_0(500)/\sigma$ and the other probably $f_0(1370)$. This scheme might shed more light on why extra states could appear in the hadron spectrum other than the prediction of the quark potential model.


title: Activity Detection from Encrypted Remote Desktop Protocol Traffic

abstract: An increasing amount of Internet traffic has its content encrypted. We address the question of whether it is possible to predict the activities taking place over an encrypted channel, in particular Microsoft's Remote Desktop Protocol. We show that the presence of five typical activities can be detected with precision greater than 97\% and recall greater than 94\% in 30-second traces. We also show that the design of the protocol exposes fine-grained actions such as keystrokes and mouse movements which may be leveraged to reveal properties such as lengths of passwords.


title: Attentive Fusion Enhanced Audio-Visual Encoding for Transformer Based Robust Speech Recognition

abstract: Audio-visual information fusion enables a performance improvement in speech recognition performed in complex acoustic scenarios, e.g., noisy environments. It is required to explore an effective audio-visual fusion strategy for audiovisual alignment and modality reliability. Different from the previous end-to-end approaches where the audio-visual fusion is performed after encoding each modality, in this paper we propose to integrate an attentive fusion block into the encoding process. It is shown that the proposed audio-visual fusion method in the encoder module can enrich audio-visual representations, as the relevance between the two modalities is leveraged. In line with the transformer-based architecture, we implement the embedded fusion block using a multi-head attention based audiovisual fusion with one-way or two-way interactions. The proposed method can sufficiently combine the two streams and weaken the over-reliance on the audio modality. Experiments on the LRS3-TED dataset demonstrate that the proposed method can increase the recognition rate by 0.55%, 4.51% and 4.61% on average under the clean, seen and unseen noise conditions, respectively, compared to the state-of-the-art approach.


title: Personalised Visual Art Recommendation by Learning Latent Semantic Representations

abstract: In Recommender systems, data representation techniques play a great role as they have the power to entangle, hide and reveal explanatory factors embedded within datasets. Hence, they influence the quality of recommendations. Specifically, in Visual Art (VA) recommendations the complexity of the concepts embodied within paintings, makes the task of capturing semantics by machines far from trivial. In VA recommendation, prominent works commonly use manually curated metadata to drive recommendations. Recent works in this domain aim at leveraging visual features extracted using Deep Neural Networks (DNN). However, such data representation approaches are resource demanding and do not have a direct interpretation, hindering user acceptance. To address these limitations, we introduce an approach for Personalised Recommendation of Visual arts based on learning latent semantic representation of paintings. Specifically, we trained a Latent Dirichlet Allocation (LDA) model on textual descriptions of paintings. Our LDA model manages to successfully uncover non-obvious semantic relationships between paintings whilst being able to offer explainable recommendations. Experimental evaluations demonstrate that our method tends to perform better than exploiting visual features extracted using pre-trained Deep Neural Networks.


title: Observational study of chromospheric heating by acoustic waves

abstract: Aims. To investigate the role of acoustic and magneto-acoustic waves in heating the solar chromosphere, observations in strong chromospheric lines are analyzed by comparing the deposited acoustic-energy flux with the total integrated radiative losses. Methods. Quiet-Sun and weak-plage regions were observed in the Ca II 854.2 nm and H-alpha lines with the Fast Imaging Solar Spectrograph (FISS) at the 1.6-m Goode Solar Telescope (GST) on 2019 October 3 and in the H-alpha and H-beta lines with the echelle spectrograph attached to the Vacuum Tower Telescope (VTT) on 2018 December 11 and 2019 June 6. The deposited acoustic energy flux at frequencies up to 20 mHz was derived from Doppler velocities observed in line centers and wings. Radiative losses were computed by means of a set of scaled non-LTE 1D hydrostatic semi-empirical models obtained by fitting synthetic to observed line profiles. Results. In the middle chromosphere (h = 1000-1400 km), the radiative losses can be fully balanced by the deposited acoustic energy flux in a quiet-Sun region. In the upper chromosphere (h > 1400 km), the deposited acoustic flux is small compared to the radiative losses in quiet as well as in plage regions. The crucial parameter determining the amount of deposited acoustic flux is the gas density at a given height. Conclusions. The acoustic energy flux is efficiently deposited in the middle chromosphere, where the density of gas is sufficiently high. About 90% of the available acoustic energy flux in the quiet-Sun region is deposited in these layers, and thus it is a major contributor to the radiative losses of the middle chromosphere. In the upper chromosphere, the deposited acoustic flux is too low, so that other heating mechanisms have to act to balance the radiative cooling.


title: Aalto's End-to-End DNN systems for the INTERSPEECH 2020 Computational Paralinguistics Challenge

abstract: End-to-end neural network models (E2E) have shown significant performance benefits on different INTERSPEECH ComParE tasks. Prior work has applied either a single instance of an E2E model for a task or the same E2E architecture for different tasks. However, applying a single model is unstable or using the same architecture under-utilizes task-specific information. On ComParE 2020 tasks, we investigate applying an ensemble of E2E models for robust performance and developing task-specific modifications for each task. ComParE 2020 introduces three sub-challenges: the breathing sub-challenge to predict the output of a respiratory belt worn by a patient while speaking, the elderly sub-challenge to estimate the elderly speaker's arousal and valence levels and the mask sub-challenge to classify if the speaker is wearing a mask or not. On each of these tasks, an ensemble outperforms the single E2E model. On the breathing sub-challenge, we study the impact of multi-loss strategies on task performance. On the elderly sub-challenge, predicting the valence and arousal levels prompts us to investigate multi-task training and implement data sampling strategies to handle class imbalance. On the mask sub-challenge, using an E2E system without feature engineering is competitive to feature-engineered baselines and provides substantial gains when combined with feature-engineered baselines.


title: Syzygies of Determinantal Thickenings

abstract: Let $S = \mathbb{C}[x_{i,j}]$ be the ring of polynomial functions on the space of $m \times n$ matrices, and consider the action of the group $\mathbf{GL} = \mathbf{GL}_m \times \mathbf{GL}_n$ via row and column operations on the matrix entries. It is proven by Raicu and Weyman that for a $\mathbf{GL}$-invariant ideal $I \subseteq S$, the linear strands of its minimal free resolution translates via the BGG correspondence to modules over the general linear Lie superalgebra $\mathfrak{gl}(m|n)$. When $I=I_{\lambda}$ is the ideal generated by the $\mathbf{GL}$-orbit of a highest weight vector of weight $\lambda$, they gave a conjectural description of the classes of these $\mathfrak{gl}(m|n)$-modules in the Grothendieck group. We prove their conjecture here. We also give a algorithmic description of how to get the classes of these $\mathfrak{gl}(m|n)$-modules for any $\mathbf{GL}$-invariant ideal $I \subseteq S$.


title: Adaptive Coordination Offsets for Signalized Arterial Intersections using Deep Reinforcement Learning

abstract: Coordinating intersections in arterial networks is critical to the performance of urban transportation systems. Deep reinforcement learning (RL) has gained traction in traffic control research along with data-driven approaches for traffic control systems. To date, proposed deep RL-based traffic schemes control phase activation or duration. Yet, such approaches may bypass low volume links for several cycles in order to optimize the network-level traffic flow. Here, we propose a deep RL framework that dynamically adjusts offsets based on traffic states and preserves the planned phase timings and order derived from model-based methods. This framework allows us to improve arterial coordination while maintaining phase order and timing predictability. Using a validated and calibrated traffic model, we trained the policy of a deep RL agent that aims to reduce travel delays in the network. We evaluated the resulting policy by comparing its performance against the phase offsets deployed along a segment of Huntington Drive in the city of Arcadia. The resulting policy dynamically readjusts phase offsets in response to changes in traffic demand. Simulation results show that the proposed deep RL agent outperformed the baseline on average, effectively reducing delay time by 13.21% in the AM Scenario, 2.42% in the Noon scenario, and 6.2% in the PM scenario when offsets are adjusted in 15-minute intervals. Finally, we also show the robustness of our agent to extreme traffic conditions, such as demand surges in off-peak hours and localized traffic incidents


title: A Quasar microlensing event towards J1249+3449?

abstract: We show that the optical flare event discovered by Graham et al. (2020) towards the active galactic nucleus J1249+3449 is fully consistent with being a quasar microlensing event due to a $\simeq 0.1 M_{\odot}$ star, although other explanations, such as that, mainly supported by Graham et al. (2020), of being the electromagnetic counterpart associated to a binary black hole merger, cannot be completely excluded at present.


title: Fashion Captioning: Towards Generating Accurate Descriptions with Semantic Rewards

abstract: Generating accurate descriptions for online fashion items is important not only for enhancing customers' shopping experiences, but also for the increase of online sales. Besides the need of correctly presenting the attributes of items, the expressions in an enchanting style could better attract customer interests. The goal of this work is to develop a novel learning framework for accurate and expressive fashion captioning. Different from popular work on image captioning, it is hard to identify and describe the rich attributes of fashion items. We seed the description of an item by first identifying its attributes, and introduce attribute-level semantic (ALS) reward and sentence-level semantic (SLS) reward as metrics to improve the quality of text descriptions. We further integrate the training of our model with maximum likelihood estimation (MLE), attribute embedding, and Reinforcement Learning (RL). To facilitate the learning, we build a new FAshion CAptioning Dataset (FACAD), which contains 993K images and 130K corresponding enchanting and diverse descriptions. Experiments on FACAD demonstrate the effectiveness of our model.


title: A perfect power-law spectrum even at highest frequencies: The Toothbrush relic

abstract: Radio relics trace shock fronts generated in the intracluster medium (ICM) during cluster mergers. The particle acceleration mechanism at the shock fronts is not yet completely understood. We observed the Toothbrush relic with the Effelsberg and Sardinia Radio Telescope at 14.25 GHz and 18.6 GHz, respectively. Unlike previously claimed, the integrated spectrum of the relic closely follows a power law over almost three orders of magnitude in frequency, with a spectral index of $\alpha_{\rm 58\,MHz}^{\rm 18.6\,GHz}=-1.16\pm0.03$. Our finding is consistent with a power-law injection spectrum, as predicted by diffusive shock acceleration theory. The result suggests that there is only little magnetic field strength evolution downstream to the shock. From the lack of spectral steepening, we find that either the Sunyaev-Zeldovich decrement produced by the pressure jump is less extended than $\sim$ 600\,kpc along the line of sight or, conversely, that the relic is located far behind in the cluster. For the first time, we detect linearly polarized emission from the "brush" at 18.6 GHz. Compared to 8.3 GHz, the degree of polarization across the brush increases at 18.6 GHz, suggesting a strong Faraday depolarization towards lower frequencies. The observed depolarization is consistent with an intervening magnetized screen that arise from the dense ICM containing turbulent magnetic fields. The depolarization, corresponding to a standard deviation of the Rotation Measures as high as $\sigma_{\rm RM}= 212\pm23\rm \,rad\,m^{-2}$, suggests that the brush is located in or behind the ICM. Our findings indicate that the Toothbrush can be consistently explained by the standard scenario for relic formation


title: New Directions in Automated Traffic Analysis

abstract: Despite the use of machine learning for many network traffic analysis tasks in security, from application identification to intrusion detection, the aspects of the machine learning pipeline that ultimately determine the performance of the model -- feature selection and representation, model selection, and parameter tuning -- remain manual and painstaking. This paper presents a method to automate many aspects of traffic analysis, making it easier to apply machine learning techniques to a wider variety of traffic analysis tasks. We introduce nPrint, a tool that generates a unified packet representation that is amenable for representation learning and model training. We integrate nPrint with automated machine learning (AutoML), resulting in nPrintML, a public system that largely eliminates feature extraction and model tuning for a wide variety of traffic analysis tasks. We have evaluated nPrintML on eight separate traffic analysis tasks and released nPrint and nPrintML to enable future work to extend these methods.


title: Higher-order asymptotic profiles of the solutions to the viscous Fornberg-Whitham equation

abstract: We consider the initial value problem for the viscous Fornberg-Whitham equation which is one of the nonlinear and nonlocal dispersive-dissipative equations. In this paper, we establish the global existence of the solutions and study its asymptotic behavior. We show that the solution to this problem converges to the self-similar solution to the Burgers equation called the nonlinear diffusion wave, due to the dissipation effect by the viscosity term. Moreover, we analyze the optimal asymptotic rate to the nonlinear diffusion wave and the detailed structure of the solution by constructing higher-order asymptotic profiles. Also, we investigate how the nonlocal dispersion term affects the asymptotic behavior of the solutions and compare the results with the ones of the KdV-Burgers equation.


title: Clock Drift Impact on Target Wake Time in IEEE 802.11ax/ah Networks

abstract: In the Internet of Things scenarios, it is crucially important to provide low energy consumption of client devices. To address this challenge, new Wi-Fi standards introduce the Target Wake Time (TWT) mechanism. With TWT, devices transmit their data according to a schedule and move to the doze state afterwards. The main problem of this mechanism is the clock drift phenomenon, because of which the devices cease to strictly comply with the schedule. As a result, they can miss the scheduled transmission time, which increases active time and thus power consumption. The paper investigates uplink transmission with two different TWT operation modes. With the first mode, a sensor transmits a packet to the access point (AP) after waking up, using the random channel access. With the second mode, the AP polls stations and they can transmit a packet only after receiving a trigger frame from the AP. For both modes, the paper studies how the average transmission time, the packet loss rate and the average energy consumption depend on the different TWT parameters. It is shown that when configured to guarantee the given packet loss rate, the first mode provides lower transmission time, while the second mode provides lower energy consumption.


title: Hohenberg-Mermin-Wagner type theorems for equilibrium models of flocking

abstract: We study a class of two-dimensional models of classical hard-core particles with Vicsek-type "exchange interaction" that aligns the directions of motion of nearby particles. By extending the Hohenberg-Mermin-Wagner theorem for the absence of spontaneous magnetization and the McBryan-Spencer bound for correlation functions, we prove that the models do not spontaneously break the rotational symmetry in their equilibrium states at any nonzero temperature. We thus conclude that the mobility of particles alone does not account for the spontaneous symmetry breaking in Vicsek type models. The origin of the symmetry breaking must be sought in the absence of detailed balance condition, or, equivalently, in the nonequilibrium nature.


title: Pairwise Relation Learning for Semi-supervised Gland Segmentation

abstract: Accurate and automated gland segmentation on histology tissue images is an essential but challenging task in the computer-aided diagnosis of adenocarcinoma. Despite their prevalence, deep learning models always require a myriad number of densely annotated training images, which are difficult to obtain due to extensive labor and associated expert costs related to histology image annotations. In this paper, we propose the pairwise relation-based semi-supervised (PRS^2) model for gland segmentation on histology images. This model consists of a segmentation network (S-Net) and a pairwise relation network (PR-Net). The S-Net is trained on labeled data for segmentation, and PR-Net is trained on both labeled and unlabeled data in an unsupervised way to enhance its image representation ability via exploiting the semantic consistency between each pair of images in the feature space. Since both networks share their encoders, the image representation ability learned by PR-Net can be transferred to S-Net to improve its segmentation performance. We also design the object-level Dice loss to address the issues caused by touching glands and combine it with other two loss functions for S-Net. We evaluated our model against five recent methods on the GlaS dataset and three recent methods on the CRAG dataset. Our results not only demonstrate the effectiveness of the proposed PR-Net and object-level Dice loss, but also indicate that our PRS^2 model achieves the state-of-the-art gland segmentation performance on both benchmarks.


title: Inner ideals and structurable algebras: Moufang sets, triangles and hexagons

abstract: We construct Moufang sets, Moufang triangles and Moufang hexagons using inner ideals of Lie algebras obtained from structurable algebras via the Tits--Kantor--Koecher construction. The three different types of structurable algebras we use are, respectively: (1) structurable division algebras, (2) algebras $D \oplus D$ for some alternative division algebra $D$, equipped with the exchange involution, (3) matrix structurable algebras $M(J,1)$ for some cubic Jordan division algebra $J$. In each case, we also determine the root groups directly in terms of the structurable algebra.


title: Enabling Low Latency Communications in Wi-Fi Networks

abstract: Ultra Reliable Low Latency Communications (URLLC) is an important challenge for the next generation wireless networks, which poses very strict requirements to the delay and packet loss ratio. Satisfaction is hardly possible without introducing additional functionality to the existing communication technologies. In the paper, we propose and study an approach to enable URLLC in Wi-Fi networks by exploiting an additional radio similar to that of IEEE 802.11ba. With extensive simulation, we show that our approach allows decreasing the delay by orders of magnitude, while the throughput of non-URLLC devices is reduced insignificantly.


title: Active Region Irradiance During Quiescent Periods: New Insights from Sun-as-a-star Spectra

abstract: How much energy do solar active regions (ARs) typically radiate during quiescent periods? This is a fundamental question for storage and release models of flares and ARs, yet it is presently poorly answered by observations. Here we use the "Sun-as-a-point-source" spectra from the EUV Variability Experiment (EVE) on the Solar Dynamics Observatory (SDO) to provide a novel estimate of radiative energy losses of an evolving active region. Although EVE provides excellent spectral (5-105nm) and temperature (2-25MK) coverage for AR analysis, to our knowledge, these data have not been used for this purpose due to the lack of spatial resolution and the likelihood of source confusion. Here we present a way around this problem. We analyze EVE data time series, when only one large AR 11520 was present on the disk. By subtracting the quiet Sun background, we estimate the radiative contribution in EUV from the AR alone. We estimate the mean AR irradiance and cumulative AR radiative energy losses in the 1-300A and astronomical standard ROSAT-PSPC, 3-124A, passbands and compare these to the magnetic energy injection rate through the photosphere, and to variations of the solar cycle luminosity. We find that while AR radiative energy losses are ~100 times smaller than typical magnetic energy injection rates at the photosphere, they are an order of magnitude larger or similar to the bolometric radiated energies associated with large flares. This study is the first detailed analysis of AR thermal properties using EVE Sun-as-a-star observations, opening doors to AR studies on other stars.


title: Identification of Causal Effects Within Principal Strata Using Auxiliary Variables

abstract: In causal inference, principal stratification is a framework for dealing with a posttreatment intermediate variable between a treatment and an outcome, in which the principal strata are defined by the joint potential values of the intermediate variable. Because the principal strata are not fully observable, the causal effects within them, also known as the principal causal effects, are not identifiable without additional assumptions. Several previous empirical studies leveraged auxiliary variables to improve the inference of principal causal effects. We establish a general theory for identification and estimation of the principal causal effects with auxiliary variables, which provides a solid foundation for statistical inference and more insights for model building in empirical research. In particular, we consider two commonly-used strategies for principal stratification problems: principal ignorability, and the conditional independence between the auxiliary variable and the outcome given principal strata and covariates. For these two strategies, we give non-parametric and semi-parametric identification results without modeling assumptions on the outcome. When the assumptions for neither strategies are plausible, we propose a large class of flexible parametric and semi-parametric models for identifying principal causal effects. Our theory not only establishes formal identification results of several models that have been used in previous empirical studies but also generalizes them to allow for different types of outcomes and intermediate variables.


title: Some "counterintuitive" results in two species competition

abstract: We investigate the classical two species ODE and PDE Lotka-Volterra competition models, where one of the competitors could potentially go extinct in finite time. We show that in this setting, classical theories and intuitions do not hold, and various counter intuitive dynamics are possible. In particular, the weaker competitor could avoid competitive exclusion, and the slower diffuser may not win. Numerical simulations are performed to verify our analytical findings.


title: HEE and HSC for flavors: perturbative structure in open string geometries

abstract: Introduction of electric field in the D-brane worldvolume induces a horizon in the open string geometry perceived by the brane fluctuations. We study the holographic entanglement entropy (HEE) and subregion complexity (HSC) in these asymptotically AdS geometries in three, four and five dimensions aiming to capture these quantities in the flavor sector introduced by the D-branes. Both the strip and spherical subregions have been considered. We show that the Bekenstein-Hawking entropy associated with the open string horizon, which earlier failed to reproduce the thermal entropy in the boundary, now precisely matches with the entanglement entropy at high temperatures. We check the validity of embedding function theorem while computing the HEE and attempt to reproduce the first law of entanglement thermodynamics, at least at leading order. On the basis of obtained results, we also reflect upon consequences of applying Ryu-Takayanagi proposal on these non-Einstein geometries.


title: Second law of thermodynamics for relativistic fluids formulated with relative entropy

abstract: The second law of thermodynamics is discussed and reformulated from a quantum information theoretic perspective for open quantum systems using relative entropy. Specifically, the relative entropy of a quantum state with respect to equilibrium states is considered and its monotonicity property with respect to an open quantum system evolution is used to obtain second law-like inequalities. We discuss this first for generic quantum systems in contact with a thermal bath and subsequently turn to a formulation suitable for the description of local dynamics in a relativistic quantum field theory. A local version of the second law similar to the one used in relativistic fluid dynamics can be formulated with relative entropy or even relative entanglement entropy in a space-time region bounded by two light cones. We also give an outlook towards isolated quantum field theories and discuss the role of entanglement for relativistic fluid dynamics.


title: First flavor tagging calibration using 2019 Belle II data

abstract: We report on the first calibration of the standard Belle II $B$-flavor tagger using the full data set collected at the $\Upsilon(4{\rm S})$ resonance in 2019 with the Belle II detector at the SuperKEKB collider, corresponding to 8.7 fb$^{-1}$ of integrated luminosity. The calibration is performed by reconstructing various hadronic charmed $B$-meson decays with flavor-specific final states. We use simulation to optimize our event selection criteria and to train the flavor tagging algorithm. We determine the tagging efficiency and the fraction of wrongly identified tag-side $B$~candidates from a measurement of the time-integrated $B^0-\overline{B}^0$ mixing probability. The total effective efficiency is measured to be $\varepsilon_{\rm eff} = \big(33.8 \pm 3.6(\text{stat}) \pm 1.6(\text{sys})\big)\%$, which is in good agreement with the predictions from simulation and comparable with the best one obtained by the Belle experiment. The results show a good understanding of the detector performance and offer a basis for future calibrations.


title: Deep reinforcement learning to detect brain lesions on MRI: a proof-of-concept application of reinforcement learning to medical images

abstract: Purpose: AI in radiology is hindered chiefly by: 1) Requiring large annotated data sets. 2) Non-generalizability that limits deployment to new scanners / institutions. And 3) Inadequate explainability and interpretability. We believe that reinforcement learning can address all three shortcomings, with robust and intuitive algorithms trainable on small datasets. To the best of our knowledge, reinforcement learning has not been directly applied to computer vision tasks for radiological images. In this proof-of-principle work, we train a deep reinforcement learning network to predict brain tumor location. Materials and Methods: Using the BraTS brain tumor imaging database, we trained a deep Q network on 70 post-contrast T1-weighted 2D image slices. We did so in concert with image exploration, with rewards and punishments designed to localize lesions. To compare with supervised deep learning, we trained a keypoint detection convolutional neural network on the same 70 images. We applied both approaches to a separate 30 image testing set. Results: Reinforcement learning predictions consistently improved during training, whereas those of supervised deep learning quickly diverged. Reinforcement learning predicted testing set lesion locations with 85% accuracy, compared to roughly 7% accuracy for the supervised deep network. Conclusion: Reinforcement learning predicted lesions with high accuracy, which is unprecedented for such a small training set. We believe that reinforcement learning can propel radiology AI well past the inherent limitations of supervised deep learning, with more clinician-driven research and finally toward true clinical applicability.


title: Large deviations for random walks on Gromov-hyperbolic spaces

abstract: Let $\Gamma$ be a countable group acting on a geodesic Gromov-hyperbolic metric space $X$ and $\mu$ a probability measure on $\Gamma$ whose support generates a non-elementary subsemigroup. Under the assumption that $\mu$ has a finite exponential moment, we establish large deviations results for the distance and the translation length of a random walk with driving measure $\mu$. From our results, we deduce a special case of a conjecture regarding large deviations of spectral radii of random matrix products.


title: Red Light Green Light Method for Solving Large Markov Chains

abstract: Discrete-time discrete-state finite Markov chains are versatile mathematical models for a wide range of real-life stochastic processes. One of most common tasks in studies of Markov chains is computation of the stationary distribution. Without loss of generality, and drawing our motivation from applications to large networks, we interpret this problem as one of computing the stationary distribution of a random walk on a graph. We propose a new controlled, easily distributed algorithm for this task, briefly summarized as follows: at the beginning, each node receives a fixed amount of cash (positive or negative), and at each iteration, some nodes receive `green light' to distribute their wealth or debt proportionally to the transition probabilities of the Markov chain; the stationary probability of a node is computed as a ratio of the cash distributed by this node to the total cash distributed by all nodes together. Our method includes as special cases a wide range of known, very different, and previously disconnected methods including power iterations, Gauss-Southwell, and online distributed algorithms. We prove exponential convergence of our method, demonstrate its high efficiency, and derive scheduling strategies for the green-light, that achieve convergence rate faster than state-of-the-art algorithms.


title: Exploring Relations in Untrimmed Videos for Self-Supervised Learning

abstract: Existing video self-supervised learning methods mainly rely on trimmed videos for model training. However, trimmed datasets are manually annotated from untrimmed videos. In this sense, these methods are not really self-supervised. In this paper, we propose a novel self-supervised method, referred to as Exploring Relations in Untrimmed Videos (ERUV), which can be straightforwardly applied to untrimmed videos (real unlabeled) to learn spatio-temporal features. ERUV first generates single-shot videos by shot change detection. Then a designed sampling strategy is used to model relations for video clips. The strategy is saved as our self-supervision signals. Finally, the network learns representations by predicting the category of relations between the video clips. ERUV is able to compare the differences and similarities of videos, which is also an essential procedure for action and video related tasks. We validate our learned models with action recognition and video retrieval tasks with three kinds of 3D CNNs. Experimental results show that ERUV is able to learn richer representations and it outperforms state-of-the-art self-supervised methods with significant margins.


title: A Survey of Smart Contract Formal Specification and Verification

abstract: A smart contract is a computer program which allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important activities across industry sectors including supply chain, finance, legal and medical services, there is a strong demand for verification and validation techniques. Yet, the vast majority of smart contracts lack any kind of formal specification, which is essential for establishing their correctness. In this survey, we investigate formal models and specifications of smart contracts presented in the literature and present a systematic overview in order to understand the common trends. We also discuss the current approaches used in verifying such property specifications and identify gaps with the hope to recognize promising directions for future work.


title: New Modular Invariants in $\mathcal{N}=4$ Super-Yang-Mills Theory

abstract: We study modular invariants arising in the four-point functions of the stress tensor multiplet operators of the ${\cal N} = 4$ $SU(N)$ super-Yang-Mills theory, in the limit where $N$ is taken to be large while the complexified Yang-Mills coupling $\tau$ is held fixed. The specific four-point functions we consider are integrated correlators obtained by taking various combinations of four derivatives of the squashed sphere partition function of the ${\cal N} = 2^*$ theory with respect to the squashing parameter $b$ and mass parameter $m$, evaluated at the values $b=1$ and $m=0$ that correspond to the ${\cal N} = 4$ theory on a round sphere. At each order in the $1/N$ expansion, these fourth derivatives are modular invariant functions of $(\tau, \bar \tau)$. We present evidence that at half-integer orders in $1/N$, these modular invariants are linear combinations of non-holomorphic Eisenstein series, while at integer orders in $1/N$, they are certain "generalized Eisenstein series" which satisfy inhomogeneous Laplace eigenvalue equations on the hyperbolic plane. These results reproduce known features of the low-energy expansion of the four-graviton amplitude in type IIB superstring theory in ten-dimensional flat space and have interesting implications for the structure of the analogous expansion in $AdS_5\times S^5$.


title: Multi-source Heterogeneous Domain Adaptation with Conditional Weighting Adversarial Network

abstract: Heterogeneous domain adaptation (HDA) tackles the learning of cross-domain samples with both different probability distributions and feature representations. Most of the existing HDA studies focus on the single-source scenario. In reality, however, it is not uncommon to obtain samples from multiple heterogeneous domains. In this article, we study the multisource HDA problem and propose a conditional weighting adversarial network (CWAN) to address it. The proposed CWAN adversarially learns a feature transformer, a label classifier, and a domain discriminator. To quantify the importance of different source domains, CWAN introduces a sophisticated conditional weighting scheme to calculate the weights of the source domains according to the conditional distribution divergence between the source and target domains. Different from existing weighting schemes, the proposed conditional weighting scheme not only weights the source domains but also implicitly aligns the conditional distributions during the optimization process. Experimental results clearly demonstrate that the proposed CWAN performs much better than several state-of-the-art methods on four real-world datasets.


title: Energy Levels of Gapped Graphene Quantum Dot in Magnetic Field

abstract: We study the energy levels of carriers confined in a magnetic quantum dot of graphene surrounded by a infinite graphene sheet in the presence of energy gap. The eigenspinors are derived for the valleys $K$ and $K'$, while the associated energy levels are obtained by using the boundary condition at interface of the quantum dot. We numerically investigate our results and show that the energy levels exhibit the symmetric and antisymmetric behaviors under suitable conditions of the physical parameters. We find that the radial probability can be symmetric or antisymmeric according to the angular momentum is null or no-null. Finally, we show that the application of an energy gap decreases the electron density in the quantum dot, which indicates a temporary trapping of electrons.


title: New counterexamples to Strichartz estimates for the wave equation on a 2d model convex domain

abstract: We prove that the range of Strichartz estimates on a model 2D convex domain may be further restricted compared to the known counterexamples due to the first author. Our new family of counterexamples is now built on the parametrix construction from our earlier work. Interestingly enough, it is sharp in at least some regions of phase space.


title: Computation of a 30750-Bit Binary Field Discrete Logarithm

abstract: This paper reports on the computation of a discrete logarithm in the finite field $\mathbb F_{2^{30750}}$, breaking by a large margin the previous record, which was set in January 2014 by a computation in $\mathbb F_{2^{9234}}$. The present computation made essential use of the elimination step of the quasi-polynomial algorithm due to Granger, Kleinjung and Zumbr\"agel, and is the first large-scale experiment to truly test and successfully demonstrate its potential when applied recursively, which is when it leads to the stated complexity. It required the equivalent of about 2900 core years on a single core of an Intel Xeon Ivy Bridge processor running at 2.6 GHz, which is comparable to the approximately 3100 core years expended for the discrete logarithm record for prime fields, set in a field of bit-length 795, and demonstrates just how much easier the problem is for this level of computational effort. In order to make the computation feasible we introduced several innovative techniques for the elimination of small degree irreducible elements, which meant that we avoided performing any costly Gr\"obner basis computations, in contrast to all previous records since early 2013. While such computations are crucial to the $L(\frac 1 4 + o(1))$ complexity algorithms, they were simply too slow for our purposes. Finally, this computation should serve as a serious deterrent to cryptographers who are still proposing to rely on the discrete logarithm security of such finite fields in applications, despite the existence of two quasi-polynomial algorithms and the prospect of even faster algorithms being developed.


title: In Memory of Prof. Hidekuni Takekoshi

abstract: A memorial to Prof. Hidekuni Hidekoshi, Kyoto University, Japan - an accelerator pioneer in Japan, teacher, mentor, friend, unassuming but knowing his accomplishments and worth, frugal but generous, enjoying life. Japanese contributions given in Japanese and English, English in English.


title: Shear-induced polydomain structures of nematic lyotropic chromonic liquid crystal disodium cromoglycate

abstract: Lyotropic chromonic liquid crystals (LCLCs) represent aqueous dispersions of organic disk-like molecules that form cylindrical aggregates. Despite the growing interest in these materials, their flow behavior is poorly understood. Here, we explore the effect of shear on dynamic structures of the nematic LCLC, formed by 14wt ${\%}$ water dispersion of disodium cromoglycate (DSCG). We employ in-situ polarizing optical microscopy (POM) and small-angle and wide-angle X-ray scattering (SAXS/WAXS) to obtain independent and complementary information on the director structures over a wide range of shear rates. The DSCG nematic shows a shear-thinning behavior with two shear-thinning regions (Region I at $\dot{\gamma}<1\,s^{-1}$ and Region III at $\dot{\gamma}>10 s^{-1}$) separated by a pseudo-Newtonian Region II ($1 s^{-1}<\dot{\gamma}<10 s^{-1}$). The material is of a tumbling type. In Region I, $\dot{\gamma}<1 s^{-1}$, the director realigns along the vorticity axis. An increase of $\dot{\gamma}$ above $1 s^{-1}$ triggers nucleation of disclination loops. The disclinations introduce patches of the director that deviates from the vorticity direction and form a polydomain texture. Extension of the domains along the flow and along the vorticity direction decreases with the increase of the shear rate to $10 s^{-1}$. Above $10 s^{-1}$, the domains begin to elongate along the flow. At $\dot{\gamma}>100 s^{-1}$, the texture evolves into periodic stripes in which the director is predominantly along the flow with left and right tilts. The period of stripes decreases with an increase of $\dot{\gamma}$. The shear-induced transformations are explained by the balance of the elastic and viscous energies. In particular, nucleation of disclinations is associated with an increase of the elastic energy at the walls separating nonsingular domains with different director tilts.


title: Geometric descriptions for the polarization for nonparaxial optical fields: a tutorial

abstract: This tutorial provides an overview of the local description of polarization for nonparaxial light, for which all Cartesian components of the electric field are significant. The polarization of light at each point is characterized by a $3$ component vector in the case of full polarization or by a $3\times3$ polarization matrix for partial polarization. Standard concepts for paraxial polarization like the degree of polarization, the Stokes parameters and the Poincar\'e sphere then have generalizations for nonparaxial light that are either not unique or not trivial. This work aims to clarify some of these discrepancies, present some new concepts, and provide a framework that highlights the similarities and differences with the description for the paraxial regimes. Particular emphasis is placed on geometric interpretations.


title: Signed Mahonian on Parabolic Quotients of Colored Permutation Groups

abstract: We study the generating polynomial of the flag major index with each one-dimensional character, called signed Mahonian polynomial, over the colored permutation group, the wreath product of a cyclic group with the symmetric group. Using the insertion lemma of Han and Haglund-Loehr-Remmel and a signed extension established by Eu et al., we derive the signed Mahonian polynomial over the quotients of parabolic subgroups of the colored permutation group, for a variety of systems of coset representatives in terms of subsequence restrictions. This generalizes the related work over parabolic quotients of the symmetric group due to Caselli as well as to Eu et al. As a byproduct, we derive a product formula that generalizes Biagioli's result about the signed Mahonian on the even signed permutation groups.


title: Congruence of ultrafilters

abstract: We continue the research of the relation $\hspace{1mm}\widetilde{\mid}\hspace{1mm}$ on the set $\beta {\mathbb{N}}$ of ultrafilters on ${\mathbb{N}}$, defined as an extension of the divisibility relation. It is a quasiorder, so we see it as an order on the set of $=_\sim$-equivalence classes, where ${\cal F}=_\sim{\cal G}$ means that ${\cal F}$ and ${\cal G}$ are mutually $\hspace{1mm}\widetilde{\mid}\hspace{1mm}$-divisible. Here we introduce a new tool: a relation of congruence modulo an ultrafilter. We first recall the congruence of ultrafilters modulo an integer and show that $=_\sim$-equivalent ultrafilters do not necessarily have the same residue modulo $m\in {\mathbb{N}}$. Then we generalize this relation to congruence modulo an ultrafilter in a natural way. After that, using iterated nonstandard extensions, we introduce a stronger relation, which has nicer properties with respect to addition and multiplication of ultrafilters. Finally, we also introduce a strengthening of $\hspace{1mm}\widetilde{\mid}\hspace{1mm}$ and show that it also behaves well in relation to the congruence relation.


title: Mott metal-insulator transition from steady-state density functional theory

abstract: We present a computationally efficient method to obtain the spectral function of bulk systems in the framework of steady-state density functional theory (i-DFT) using an idealized Scanning Tunneling Microscope (STM) setup. We calculate the current through the STM tip and then extract the spectral function from the finite-bias differential conductance. The fictitious non-interacting system of i-DFT features an exchange-correlation (xc) contribution to the bias which guarantees the same current as in the true interacting system. Exact properties of the xc bias are established using Fermi-liquid theory and subsequently implemented to construct approximations for the Hubbard model. We show for two different lattice structures that the metal-insulator transition is captured by i-DFT.


title: Zeroing Neural Networks : an Introduction to Predictive Computations for Time-varying Matrix Problems via ZNN

abstract: This paper wants to increase our understanding and computational know-how for time--varying matrix problems and Zhang Neural Networks (ZNNs). These neural networks were invented for time or single parameter--varying matrix problems around 2001 in China and almost all of their advances have been made in and most still come from its birthplace. Zhang Neural Network methods have become a backbone for solving discretized sensor driven time--varying matrix problems in real-time, in theory and in on--chip applications for robots, in control theory and other engineering applications in China. They have become the method of choice for many time--varying matrix problems that benefit from or require efficient, accurate and predictive real--time computations. A typical discretized Zhang Neural Network algorithm needs seven distinct steps in its initial set-up. The construction of discretized Zhang Neural Network algorithms starts from a model equation with its associated error equation and the stipulation that the error function decrease exponentially fast. The error function differential equation is then mated with a convergent look-ahead finite difference formula to create a distinctly new multi--step style solver that predicts the future state of the system reliably from current and earlier state and solution data. Matlab codes of discretized Zhang Neural Network algorithms for time varying matrix problems typically consist of one linear equations solve and one recursion of already available data per time step. This makes discretized Zhang Neural network based algorithms highly competitive with ordinary differential equation initial value analytic continuation methods for function given data that are designed to work adaptively. .


title: A Sensitivity Analysis Approach for Evaluating a Radar Simulation for Virtual Testing of Autonomous Driving Functions

abstract: Simulation-based testing is a promising approach to significantly reduce the validation effort of automated driving functions. Realistic models of environment perception sensors such as camera, radar and lidar play a key role in this testing strategy. A generally accepted method to validate these sensor models does not yet exist. Particularly radar has traditionally been one of the most difficult sensors to model. Although promising as an alternative to real test drives, virtual tests are time-consuming due to the fact that they simulate the entire radar system in detail, using computation-intensive simulation techniques to approximate the propagation of electromagnetic waves. In this paper, we introduce a sensitivity analysis approach for developing and evaluating a radar simulation, with the objective to identify the parameters with the greatest impact regarding the system under test. A modular radar system simulation is presented and parameterized to conduct a sensitivity analysis in order to evaluate a spatial clustering algorithm as the system under test, while comparing the output from the radar model to real driving measurements to ensure a realistic model behavior. The presented approach is evaluated and it is demonstrated that with this approach results from different situations can be traced back to the contribution of the individual sub-modules of the radar simulation.


title: Polarized edge state emission from topological spin phases of trapped Rydberg excitons in Cu$_2$O

abstract: In one dimensional chains of trapped Rydberg excitons in cuprous oxide semiconductor the topological spin phase has been recently predicted [Phys. Rev. Lett. 123, 126801 (2019); arXiv:1903.11951]. This phase is characterized by the diluted antiferromagnetic order of $p$-shell exciton angular momenta-$1$ and the edge states behaving akin spin-$1/2$ fermions. Here we study the properties of the ground state in the finite chains and its fine structure resulting from the effective interaction of the edge spins. We demonstrate that these edge states can detected optically via the enhancement of the circular polarization of the edge emission as compared with the emission from the bulk. We calculate the distribution of the exciton angular momentum vs. trap number in the chain numerically and analytically based on the variational ansatz.