title: Generalized Li\'{e}nard systems, singularly perturbed systems, Flow Curvature Method

abstract: In his famous book entitled \textit{Theory of Oscillations}, Nicolas Minorsky wrote: "\textit{each time the system absorbs energy the curvature of its trajectory decreases} and \textit{vice versa}". According to the \textit{Flow Curvature Method}, the location of the points where the \textit{curvature of trajectory curve}, integral of such planar \textit{singularly dynamical systems}, vanishes directly provides a first order approximation in $\varepsilon$ of its \textit{slow invariant manifold} equation. By using this method, we prove that, in the $\varepsilon$-vicinity of the \textit{slow invariant manifold} of generalized Li\'{e}nard systems, the \textit{curvature of trajectory curve} increases while the \textit{energy} of such systems decreases. Hence, we prove Minorsky's statement for the generalized Li\'{e}nard systems. Then, we establish a relationship between \textit{curvature} and \textit{energy} for such systems. These results are then exemplified with the classical Van der Pol and generalized Li\'{e}nard \textit{singularly perturbed systems}.


title: Transformation \`a la Foata for special kinds of descents and excedances

abstract: A pure excedance in a permutation $\pi=\pi_1\pi_2\ldots \pi_n$ is a position $i<\pi_i$ such that there is no $j<i$ with $i\leq \pi_j<\pi_i$. We present a one-to-one correspondence on the symmetric group that transports pure excedances to descents of special kind. As a byproduct, we prove that the popularity of pure excedances equals those of pure descents on permutations, while their distributions are different.


title: Magnetic field-tuned quantum criticality in optimally electron-doped cuprate thin films

abstract: Antiferromagnetic (AF) spin fluctuations are commonly believed to play a key role in electron pairing of cuprate superconductors. In electron-doped cuprates, it is still in paradox about the interplay among different electronic states in quantum perturbations, especially between superconducting and magnetic states. Here, we report a systematic transport study on cation-optimized La2-xCexCuO4 (x = 0.10) thin films in high magnetic fields. We find an AF quantum phase transition near 60 T, where the Hall number jumps from nH =-x to nH = 1-x, resembling the change of nH at the AF boundary (xAF = 0.14) tuned by Ce doping. In the AF region a spin dependent state manifesting anomalous positive magnetoresistance is observed, which is closely related to superconductivity. Once the AF state is suppressed by magnetic field, a polarized ferromagnetic state is predicted, reminiscent of the recently reported ferromagnetic state at the quantum endpoint of the superconducting dome by Ce doping. The magnetic field that drives phase transitions in a similar but distinct manner to doping thereby provides a unique perspective to understand the quantum criticality of electron-doped cuprates.


title: The interesting case of a single-junction solar cell in outer space

abstract: An isolated single-junction solar cell's temperature in outer space depends only on its radiation exchange with its environment. We consider a cell with zero emissivity below its bandgap and unity above it -- an idealization so far considered to define the upper limit of photovoltaic power conversion efficiency. For this case, we show that the detailed-balance and the energy conservation laws that govern the cell's temperature and potential, cannot be mutually solved. However, the cell's temperature and potential can be determined if a finite amount of sub-bandgap emissivity is included, the exact amount of which is found by minimizing the process's entropy generation. Finally, we generalize this result to a photovoltaic system in contact with some environment, hence for terrestrial conditions. Therefore, a universal thermodynamic formulation of the photovoltaic effect emerges. Unlike former attempts to thermodynamically justify the PV effect, our formalism applies to a work producing system.


title: Reversible ratchet effects in a narrow superconducting ring

abstract: We study the ratchet effect in a narrow pinning-free superconductive ring based on time-dependent Ginzburg-Landau (TDGL) equations. Voltage responses to external dc an ac currents at various magnetic fields are studied. Due to asymmetric barriers for flux penetration and flux exit in the ring-shaped superconductor, the critical current above which the flux-flow state is reached, as well as the critical current for the transition to the normal state, are different for the two directions of applied current. These effects cooperatively cause ratchet signal reversal at high magnetic fields, which has not been reported to date in a pinning-free system. The ratchet signal found here is larger than those induced by asymmetric pinning potentials. Our results also demonstrate the feasibility of using mesoscopic superconductors to employ superconducting diode effect in versatile superconducting devices.


title: Joint Variable Selection of both Fixed and Random Effects for Gaussian Process-based Spatially Varying Coefficient Models

abstract: Spatially varying coefficient (SVC) models are a type of regression model for spatial data where covariate effects vary over space. If there are several covariates, a natural question is which covariates have a spatially varying effect and which not. We present a new variable selection approach for Gaussian process-based SVC models. It relies on a penalized maximum likelihood estimation (PMLE) and allows variable selection both with respect to fixed effects and Gaussian process random effects. We validate our approach both in a simulation study as well as a real world data set. Our novel approach shows good selection performance in the simulation study. In the real data application, our proposed PMLE yields sparser SVC models and achieves a smaller information criterion than classical MLE. In a cross-validation applied on the real data, we show that sparser PML estimated SVC models are on par with ML estimated SVC models with respect to predictive performance.


title: Combining Genetic Programming and Model Checking to Generate Environment Assumptions

abstract: Software verification may yield spurious failures when environment assumptions are not accounted for. Environment assumptions are the expectations that a system or a component makes about its operational environment and are often specified in terms of conditions over the inputs of that system or component. In this article, we propose an approach to automatically infer environment assumptions for Cyber-Physical Systems (CPS). Our approach improves the state-of-the-art in three different ways: First, we learn assumptions for complex CPS models involving signal and numeric variables; second, the learned assumptions include arithmetic expressions defined over multiple variables; third, we identify the trade-off between soundness and informativeness of environment assumptions and demonstrate the flexibility of our approach in prioritizing either of these criteria. We evaluate our approach using a public domain benchmark of CPS models from Lockheed Martin and a component of a satellite control system from LuxSpace, a satellite system provider. The results show that our approach outperforms state-of-the-art techniques on learning assumptions for CPS models, and further, when applied to our industrial CPS model, our approach is able to learn assumptions that are sufficiently close to the assumptions manually developed by engineers to be of practical value.


title: Universality in Driven and Equilibrium Hard Sphere Liquid Dynamics

abstract: We demonstrate that the time evolution of the van Hove dynamical pair correlation function is governed by adiabatic forces that arise from the free energy and by superadiabatic forces that are induced by the flow of the van Hove function. The superadiabatic forces consist of drag, viscous, and structural contributions, as occur in active Brownian particles, in liquids under shear and in lane forming mixtures. For hard sphere liquids we present a power functional theory that predicts these universal force fields in quantitative agreement with our Brownian dynamics simulation results.


title: The 2020 Personalized Voice Trigger Challenge: Open Database, Evaluation Metrics and the Baseline Systems

abstract: The 2020 Personalized Voice Trigger Challenge (PVTC2020) addresses two different research problems a unified setup: joint wake-up word detection with speaker verification on close-talking single microphone data and far-field multi-channel microphone array data. Specially, the second task poses an additional cross-channel matching challenge on top of the far-field condition. To simulate the real-life application scenario, the enrollment utterances are recorded from close-talking cell-phone only, while the test utterances are recorded from both the close-talking cell-phone and the far-field microphone arrays. This paper introduces our challenge setup and the released database as well as the evaluation metrics. In addition, we present a joint end-to-end neural network baseline system trained with the proposed database for speaker-dependent wake-up word detection. Results show that the cost calculated from the miss rate and the false alarm rate, can reach 0.37 in the close-talking single microphone task and 0.31 in the far-field microphone array task. The official website and the open-source baseline system have been released.


title: Quantum nonlinear optics based on two-dimensional Rydberg atom arrays

abstract: Here, we explore the combination of sub-wavelength, two-dimensional atomic arrays and Rydberg interactions as a powerful platform to realize strong, coherent interactions between individual photons with high fidelity. In particular, the spatial ordering of the atoms guarantees efficient atom-light interactions without the possibility of scattering light into unwanted directions, for example, allowing the array to act as a perfect mirror for individual photons. In turn, Rydberg interactions enable single photons to alter the optical response of the array within a potentially large blockade radius $R_b$, which can effectively punch a large "hole" for subsequent photons. We show that such a system enables a coherent photon-photon gate or switch, with an error scaling $\sim R_b^{-4}$ that is significantly better than the best known scaling in a disordered ensemble. We also investigate the optical properties of the system in the limit of strong input intensities. Although this a priori represents a complicated, many-body quantum driven dissipative system, we find that the behavior can be captured well by a semi-classical model based on holes punched in a classical mirror.


title: ALMA Lensing Cluster Survey: Bright [CII] 158 $\mu$m Lines from a Multiply Imaged Sub-$L^{\star}$ Galaxy at $z=6.0719$

abstract: We present bright [CII] 158 $\mu$m line detections from a strongly magnified and multiply-imaged ($\mu\sim20-160$) sub-$L^{*}$ ($M_{\rm UV}$ = $-19.75^{+0.55}_{-0.44}$) Lyman-break galaxy (LBG) at $z=6.0719\pm0.0004$ from the ALMA Lensing Cluster Survey (ALCS). Emission lines are identified at 268.7 GHz at $\geq$ 8$\sigma$ exactly at positions of two multiple images of the LBG behind the massive galaxy cluster RXCJ0600$-$2007. Our lens models, updated with the latest spectroscopy from VLT/MUSE, indicate that a sub region of the LBG crosses the caustic and is lensed into a long ($\sim6''$) arc with a local magnification of $\mu\sim 160$, for which the [CII] line is also significantly detected. The source-plane reconstruction resolves the interstellar medium (ISM) structure, showing that the [CII] line is co-spatial with the rest-frame UV continuum at the scale of $\sim$300 pc. The [CII] line properties suggest that the LBG is a rotation-dominated system whose velocity gradient explains a slight difference of redshifts between the whole LBG and its sub region. The star formation rate (SFR)-$L_{\rm [CII]}$ relations from the sub to the whole regions of the LBG are consistent with those of local galaxies. We evaluate the lower limit of the faint-end of the [CII] luminosity function at $z=6$, and find that it is consistent with predictions from semi analytical models and from the local SFR-$L_{\rm [CII]}$ relation with a SFR function at $z=6$. These results imply that the local SFR-$L_{\rm [CII]}$ relation is universal for a wide range of scales including the spatially resolved ISM, the whole region of galaxy, and the cosmic scale, even in the epoch of reionization.


title: Introduction of frame in tensor product of n-Hilbert spaces

abstract: We study the concept of frame in tensor product of n-Hilbert spaces as tensor product of n-Hilbert spaces is again a n-Hilbert space. We generalize some of the known results about bases to frames in this new Hilbert space. A relationship between frame and bounded linear operator in tensor product of n-Hilbert spaces is studied. Finally, the dual frame in tensor product of n-Hilbert spaces is discussed.


title: Ginzburg algebras of triangulated surfaces and perverse schobers

abstract: Ginzburg algebras associated to triangulated surfaces provide a means to categorify the cluster algebras of these surfaces. As shown by Ivan Smith, the finite derived category of such a Ginzburg algebra can be embedded into the Fukaya category of the total space of a Lefschetz fibration over the surface. Inspired by this perspective, we provide a description of the full derived category in terms of a perverse schober. The main novelty is a gluing formalism describing the Ginzburg algebra as a colimit of certain local Ginzburg algebras associated to discs. As a first application, we give a new proof of the derived invariance of these Ginzburg algebras under flips of an edge of the triangulation. Finally, we note that the perverse schober as well as the resulting gluing construction can also be defined over the sphere spectrum.


title: Ferromagnetic order of ultra-thin La0.7Ba0.3MnO3 sandwiched between SrRuO3 layers

abstract: We demonstrate the stability of ferromagnetic order of one unit cell thick optimally doped manganite (La0.7Ba0.3MnO3, LBMO) epitaxially grown between two layers of SrRuO3 (SRO) by using x-ray magnetic circular dichroism. At low temperature LBMO shows an inverted hysteresis loop due to the strong antiferromagnetic coupling to SRO. Moreover, above SRO TC the manganite still exhibits magnetic remanence. Density Functional Theory calculations show that coherent interfaces of LBMO with SRO hinder electronic confinement and the strong magnetic coupling enables the increase of the LBMO TC. From the structural point of view, interfacing with SRO enables LBMO to have octahedral rotations similar to bulk. All these factors jointly contribute for stable ferromagnetism up to 130 K for a one unit cell LBMO film.


title: Measurements of Solar Differential Rotation Using the Century Long Kodaikanal Sunspot Data

abstract: The rotational profile of the Sun is considered to be one of the key inputs in a solar dynamo model. Hence, precise and long-term measurements of this quantity is important for our understanding of solar magnetism and its variability. In this study, we use the newly digitized, white light sunspot data (1923 -- 2011) from Kodaikanal Solar Observatory (KoSO) to derive the solar rotation profile. An automated correlation based sunspot tracking algorithm is implemented to measure the rotation parameters, $A$, the equatorial rotation rate and $B$, the latitudinal gradient. Our measurements of $A=14.381\pm0.004$ and $B=-2.72\pm0.04$ compare well with previous studies. In our analysis, we find that the bigger sunspots (with area $>$400~$\mu$Hem) rotate slower than the smaller ones. At the same time, we do not find any variation in the rotation rates between activity extremes, i.e solar maxima and minima. Lastly, we employ our tracking algorithm on the Michelson Doppler Imager (MDI) data and compare the MDI results with our KoSO values.


title: Machine-learning free-energy functionals using density profiles from simulations

abstract: The formally exact framework of equilibrium Density Functional Theory (DFT) is capable of simultaneously and consistently describing thermodynamic and structural properties of interacting many-body systems in arbitrary external potentials. In practice, however, DFT hinges on approximate (free-)energy functionals from which density profiles (and hence the thermodynamic potential) follow via an Euler-Lagrange equation. Here we explore a relatively simple Machine Learning (ML) approach to improve the standard mean-field approximation of the excess Helmholtz free energy functional of a 3D Lennard-Jones system at a supercritical temperature. The learning set consists of density profiles from grand-canonical Monte Carlo simulations of this system at varying chemical potentials and external potentials in a planar geometry only. Using the DFT formalism we nevertheless can extract not only very accurate 3D bulk equations of state but also radial distribution functions using the Percus test-particle method. Unfortunately, our ML approach did not provide very reliable Ornstein-Zernike direct correlation functions for small distances.


title: Lagrangian fillings for Legendrian links of finite type

abstract: We prove that there are at least seeds many exact embedded Lagrangian fillings for Legendrian links of type $\mathsf{ADE}$. We also provide seeds many Lagrangian fillings with certain symmetries for type $\mathsf{BCFG}$. Our main tools are $N$-graphs and the combinatorics of seed patterns of finite type.


title: Logics of First-Order Constraints -- A Category Independent Approach

abstract: Reflecting our experiences in areas, like Algebraic Specifications, Abstract Model Theory, Graph Transformations, and Model Driven Software Engineering (MDSE), we present a general, category independent approach to Logics of First-Order Constraints (LFOC). Traditional First-Order Logic, Description Logic and the sketch framework are discussed as examples. We use the concept of institution [Diaconescu08,GoguenBurstall92] as a guideline to describe LFOC's. The main result states that any choice of the six parameters, we are going to describe, gives us a corresponding "institution of constraints" at hand. The "presentations" for an institution of constraints can be characterized as "first-order sketches". As a corresponding variant of the "sketch-entailments" in [Makkai97], we finally introduce "sketch rules" to equip LFOC's with the necessary expressive power.


title: Fine-Grained Complexity of Regular Path Queries

abstract: A regular path query (RPQ) is a regular expression q that returns all node pairs (u, v) from a graph database that are connected by an arbitrary path labelled with a word from L(q). The obvious algorithmic approach to RPQ-evaluation (called PG-approach), i.e., constructing the product graph between an NFA for q and the graph database, is appealing due to its simplicity and also leads to efficient algorithms. However, it is unclear whether the PG-approach is optimal. We address this question by thoroughly investigating which upper complexity bounds can be achieved by the PG-approach, and we complement these with conditional lower bounds (in the sense of the fine-grained complexity framework). A special focus is put on enumeration and delay bounds, as well as the data complexity perspective. A main insight is that we can achieve optimal (or near optimal) algorithms with the PG-approach, but the delay for enumeration is rather high (linear in the database). We explore three successful approaches towards enumeration with sub-linear delay: super-linear preprocessing, approximations of the solution sets, and restricted classes of RPQs.


title: Tight quasi-symmetric designs

abstract: I give an elementary proof that a quasi-symmetric design without repeated blocks on $v$ points has at most $v\choose2$ blocks, with equality if and only if it is a tight $4$-design.


title: Selective orbital imaging of excited states with x-ray spectroscopy: the example of $\alpha$-MnS

abstract: Herein we show that non-resonant inelastic x-ray scattering involving an $s$ core level is a powerful spectroscopic method to characterize the excited states of transition metal compounds. The spherical charge distribution of the $s$ core hole allows the orientational dependence of the intensities of the various spectral features to produce a spatial charge image of the associated multiplet states in a straightforward manner, thereby facilitating the identification of their orbital character. In addition, the $s$ core hole does not add an extra orbital angular momentum component to the multiplet structure so that the well-established Sugano-Tanabe-Kamimura diagrams can be used for the analysis of the spectra. For $\alpha$-MnS we observe the spherical charge density corresponding to its high spin $3d^5$ ($^6A_1$) ground state configuration and we were able to selectively image its excited states and identify them as $t_{2g}$ ($^5T_2$) and $e_g$ ($^5E$) with an energy splitting $10Dq$ of 0.78\,eV.


title: On the wavenumber-frequency spectra of wall pressure fluctuations in turbulent channel flows

abstract: The characteristics of the wavenumber-frequency spectra of the rapid, slow and total wall pressure fluctuations are investigated using direct numerical simulation (DNS) of turbulent channel flow up to $\Rey_\tau\approx 1000$. For the wavenumber-frequency spectra of the total wall pressure fluctuations, a valley-like behavior of contour lines in the sub-convective region is found, which may be linked to the Kraichnan-Phillips theorem. For the decomposition of the wall pressure spectra, it is commonly assumed in previous studies that the cross spectral density (CSD) between the rapid and slow components of the wall pressure fluctuations can be neglected. Yet no experimental or numerical evidence is available for either confirming or disproving this assumption. In this paper, we use DNS data to quantitatively evaluate this assumption. Emphasizes are put on the error in decibel scale caused by neglecting the CSD between the rapid and slow components of the wall pressure fluctuations. It is found that this assumption is approximately accurate for one- and two-dimensional spectra, but causes a large magnitude of error in the three-dimensional wavenumber-frequency spectra. An error of 5dB is observed in the sub-convective region and such a large error is observed for a wide range of Reynolds numbers ($180\le\Rey_\tau\le 1000$). The analyses show that the assumption of neglecting the CSD needs to be applied carefully at the scales falling in the sub-convective region.


title: Closer look at white hole remnants

abstract: The idea that, after their evaporation, Planck-mass black holes might tunnel into metastable white holes has recently been intensively studied. Those relics have been considered as a dark matter candidate. We show that the model is severely constrained and underline some possible detection paths. We also investigate, in a more general setting, the way the initial black hole mass spectrum would be distorted by both the bouncing effect and the Hawking evaporation.


title: HERMES: Scalable, Secure, and Privacy-Enhancing Vehicle Access System

abstract: We propose HERMES, a scalable, secure, and privacy-enhancing system for users to share and access vehicles. HERMES securely outsources operations of vehicle access token generation to a set of untrusted servers. It builds on an earlier proposal, namely SePCAR [1], and extends the system design for improved efficiency and scalability. To cater to system and user needs for secure and private computations, HERMES utilizes and combines several cryptographic primitives with secure multiparty computation efficiently. It conceals secret keys of vehicles and transaction details from the servers, including vehicle booking details, access token information, and user and vehicle identities. It also provides user accountability in case of disputes. Besides, we provide semantic security analysis and prove that HERMES meets its security and privacy requirements. Last but not least, we demonstrate that HERMES is efficient and, in contrast to SePCAR, scales to a large number of users and vehicles, making it practical for real-world deployments. We build our evaluations with two different multiparty computation protocols: HtMAC-MiMC and CBC-MAC-AES. Our results demonstrate that HERMES with HtMAC-MiMC requires only approx 1,83 ms for generating an access token for a single-vehicle owner and approx 11,9 ms for a large branch of rental companies with over a thousand vehicles. It handles 546 and 84 access token generations per second, respectively. This results in HERMES being 696 (with HtMAC-MiMC) and 42 (with CBC-MAC-AES) times faster compared to in SePCAR for a single-vehicle owner access token generation. Furthermore, we show that HERMES is practical on the vehicle side, too, as access token operations performed on a prototype vehicle on-board unit take only approx 62,087 ms.


title: Rotation domains and Stable Baker omitted value

abstract: A Baker omitted value, in short \textit{bov} of a transcendental meromorphic function $f$ is an omitted value such that there is a disk $D$ centered at the bov for which each component of the boundary of $f^{-1}(D)$ is bounded. Assuming all the iterates $f^n$ are analytic in a neighborhood of its bov, this article proves that the number of Herman rings of a particular period is finite and every Julia component intersects the boundaries of at most finitely many Herman rings. Further, if the bov is the only limit point of the critical values then it is shown that $f$ has infinitely many repelling fixed points. If a repelling periodic point of period $p$ is on the boundary of a $p$-periodic rotation domain then the periodic point is shown to be on the boundary of infinitely many Fatou components. Under additional assumptions on the critical points, a sufficient condition is found for a Julia component to be singleton. As a consequence, it is proved that if the boundary of a wandering domain $W$ accumulates at some point of the plane under the iteration of $f$ then each limit of $f^n$ on $W$ is either a parabolic periodic point or in the $\omega$-limit set of recurrent critical points. Using the same ideas, the boundary of rotation domains are shown to be in the $\omega$-limit set of recurrent critical points.


title: Toward Location-aware In-body Terahertz Nanonetworks with Energy Harvesting

abstract: Nanoscale wireless networks are expected to revolutionize a variety of domains, with significant advances conceivable in in-body healthcare. In healthcare, these nanonetworks will consist of energy-harvesting nanodevices passively flowing through the bloodstream, taking actions at certain locations, and communicating results to more powerful Body Area Network (BAN) nodes. Assuming such a setup and electromagnetic nanocommunication in the Terahertz (THz) frequencies, we propose a network architecture that can support fine-grained localization of the energy-harvesting in-body nanonodes, as well as their two-way communication with the outside world. The main novelties of our proposal lie in the introduction of location-aware and Wake-up Radio (WuR)-based wireless nanocommunication paradigms, as well as Software-Defined Metamaterials (SDMs), to THz-operating energy-harvesting in-body nanonetworks. We argue that, on a high level, the proposed architecture can handle (and actually benefits from) a large number of nanonodes, while simultaneously dealing with a short range of THz in-body propagation and highly constrained nanonodes.


title: A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints

abstract: Two major considerations when encoding pseudo-Boolean (PB) constraints into SAT are the size of the encoding and its propagation strength, that is, the guarantee that it has a good behaviour under unit propagation. Several encodings with propagation strength guarantees rely upon prior compilation of the constraints into DNNF (decomposable negation normal form), BDD (binary decision diagram), or some other sub-variants. However it has been shown that there exist PB-constraints whose ordered BDD (OBDD) representations, and thus the inferred CNF encodings, all have exponential size. Since DNNFs are more succinct than OBDDs, preferring encodings via DNNF to avoid size explosion seems a legitimate choice. Yet in this paper, we prove the existence of PB-constraints whose DNNFs all require exponential size.


title: AlGaN/GaN asymmetric graded-index separate confinement heterostructures designed for electron-beam pumped UV lasers

abstract: We present a study of undoped AlGaN/GaN separate confinement heterostructures designed to operate as electron beam pumped ultraviolet lasers. We discuss the effect of spontaneous and piezoelectric polarization on carrier diffusion, comparing the results of cathodoluminescence with electronic simulations of the band structure and Monte Carlo calculations of the electron trajectories. Carrier collection is significantly improved using an asymmetric graded-index separate confinement heterostructure (GRINSCH). The graded layers avoid potential barriers induced by polarization differences in the heterostructure and serve as strain transition buffers which reduce the mosaicity of the active region and the linewidth of spontaneous emission.


title: Recent Development in Analytical Model for Graphene Field Effect Transistors for RF Circuit Applications

abstract: The MOS devices are the basic building block of any digital and analog circuits, where silicon (Si) is the most commonly used material. The International Technology Roadmap Semiconductor (ITRS) report predicts the gate length of the MOS device will shrink to 4.5 nm up to 2023, this may create severe short channel effects (SCEs). Therefore, new channel materials have been realized, which have shown their potential to maintain the proper balance between device performance and SECs. Among them, graphene has shown its strong presence as an alternative channel material in terms of its fascinating electrical and mechanical properties. It has ultra-high carrier mobility (77,000 cm2V-1s-1) and saturation velocity, which makes it compatible with high-speed circuit applications. This review paper has a detailed report on the several analytical modeling approaches for graphene-based FET device, which includes the drift-diffusion, gradual channel approximation, virtual source, and ballistic approaches. The device modeling plays an important role to predict the device performance and used to reveal the physics behind it. In addition, the compact model of the device will use in the development of electronic design automation (EDA) tools, which are used for the circuits simulation.


title: MEDICI: A simple to use synthetic social network data generator

abstract: This paper describes an application, called Medici, designed to produce synthetic data for social network graphs, which can be used for analysis, hypothesis testing and application development by researchers and practitioners in the field. It builds on previous work by providing an integrated system, and a user friendly screen interface. It can be run with default values to produce graph data and statistics, which can then be used for further processing. The system is made publicly available in a Github Java project. The annex provides a user manual with a screen by screen guide.


title: Higher coverings of racks and quandles -- Part II

abstract: This article is the second part of a series of three articles, in which we develop a higher covering theory of racks and quandles. This project is rooted in M. Eisermann's work on quandle coverings, and the categorical perspective brought to the subject by V. Even, who characterizes coverings as those surjections which are categorically central, relatively to trivial quandles. We extend this work by applying the techniques from higher categorical Galois theory, in the sense of G. Janelidze, and in particular we identify meaningful higher-dimensional centrality conditions defining our higher coverings of racks and quandles. In this second article (Part II), we show that categorical Galois theory applies to the inclusion of the category of coverings into the category of surjective morphisms of racks and quandles. We characterise the induced Galois theoretic concepts of trivial covering, normal covering and covering in this two-dimensional context. The latter is described via our definition and study of double coverings, also called algebraically central double extensions of racks and quandles. We define a suitable and well-behaved commutator which captures the zero, one and two-dimensional concepts of centralization in the category of quandles. We keep track of the links with the corresponding concepts in the category of groups.


title: Finding $B_c(3S)$ States via Their Strong Decays

abstract: The experimentally known $B_c$ states are all below open bottom-charm threshold, which experience three main decay modes, and all induced by weak interaction. In this work, we investigate the mass spectrum and strong decays of the $B_c(3S)$ states, which just above the threshold, in the Bethe-Salpeter formalism and $^3P_0$ model. The numerical estimation gives $M(B_c(3^1S_0))=7273\ {\rm MeV}$, $M(B_c^*(3^3S_1))=7304\ {\rm MeV}$, $\Gamma\left(B_c(3^1S_0)\to B^*D\right)=26.02^{+2.33}_{-2.21}\ {\rm MeV}$, $\Gamma\left(B_c^*(3^3S_1)\to BD\right)=3.39^{+0.27}_{-0.26}\ {\rm MeV}$, $\Gamma\left(B_c^*(3^3S_1)\to B^*D\right)=14.77^{+1.40}_{-1.33}\ {\rm MeV}$ and $\Gamma\left(B_c^*(3^3S_1)\to BD^*\right)=6.14^{+0.58}_{-0.54}\ {\rm MeV}$. Compared with previous studies in non-relativistic approximation, our results indicate that the relativistic effects are notable in $B_c(3S)$ exclusive strong decays. According to the results, we suggest to find the $B_c(3S)$ states in their hadronic decays to $B$ and $D$ mesons in experiment, like the LHCb.


title: Gushel-Mukai varieties with many symmetries and an explicit irrational Gushel-Mukai threefold

abstract: We construct an explicit complex smooth Fano threefold with Picard number 1, index 1, and degree 10 (also known as a Gushel-Mukai threefold) and prove that it is not rational by showing that its intermediate Jacobian has a faithful $\mathrm{PSL}(2,\mathbf{F}_{11}) $-action. Along the way, we construct Gushel-Mukai varieties of various dimensions with rather large (finite) automorphism groups. The starting point of all these constructions is an Eisenbud-Popescu-Walter sextic with a faithful $\mathrm{PSL}(2,\mathbf{F}_{11}) $-action discovered by the second author in 2013.


title: A Comparison of Single and Multiple Changepoint Techniques for Time Series Data

abstract: This paper describes and compares several prominent single and multiple changepoint techniques for time series data. Due to their importance in inferential matters, changepoint research on correlated data has accelerated recently. Unfortunately, small perturbations in model assumptions can drastically alter changepoint conclusions; for example, heavy positive correlation in a time series can be misattributed to a mean shift should correlation be ignored. This paper considers both single and multiple changepoint techniques. The paper begins by examining cumulative sum (CUSUM) and likelihood ratio tests and their variants for the single changepoint problem; here, various statistics, boundary cropping scenarios, and scaling methods (e.g., scaling to an extreme value or Brownian Bridge limit) are compared. A recently developed test based on summing squared CUSUM statistics over all times is shown to have realistic Type I errors and superior detection power. The paper then turns to the multiple changepoint setting. Here, penalized likelihoods drive the discourse, with AIC, BIC, mBIC, and MDL penalties being considered. Binary and wild binary segmentation techniques are also compared. We introduce a new distance metric specifically designed to compare two multiple changepoint segmentations. Algorithmic and computational concerns are discussed and simulations are provided to support all conclusions. In the end, the multiple changepoint setting admits no clear methodological winner, performance depending on the particular scenario. Nonetheless, some practical guidance will emerge.


title: On strongly inflexible manifolds

abstract: An oriented closed connected N-manifold M is inflexible if it does not admit self-maps of unbounded degree. In addition, if all the maps from any other oriented closed connected N-manifold have bounded degree, then M is said to be strongly inflexible. The existence of simply-connected inflexible manifolds was established by Arkowitz and Lupton. However, the existence of simply-connected strongly inflexible manifolds is still an open question. We provide an algorithm relying on Sullivan models that allow us to prove that all, but one, of the known examples of simply-connected inflexible manifolds are not strongly inflexible.


title: A Model for the Coupled Eruption of a Pseudostreamer and Helmet Streamer

abstract: A highly important aspect of solar activity is the coupling between eruptions and the surrounding coronal magnetic-field topology, which determines the trajectory and morphology of the event and can even lead to sympathetic eruptions from multiple sources. In this paper, we report on a numerical simulation of a new type of coupled eruption, in which a coronal jet initiated by a large pseudostreamer filament eruption triggers a streamer-blowout coronal mass ejection (CME) from the neighboring helmet streamer. Our configuration has a large opposite-polarity region positioned between the polar coronal hole and a small equatorial coronal hole, forming a pseudostreamer flanked by the coronal holes and the helmet streamer. Further out, the pseudostreamer stalk takes the shape of an extended arc in the heliosphere. We energize the system by applying photospheric shear along a section of the polarity inversion line within the pseudostreamer. The resulting sheared-arcade filament channel develops a flux rope that eventually erupts as a classic coronal-hole-type jet. However, the enhanced breakout reconnection above the channel as the jet is launched progresses into the neighboring helmet streamer, partially launching the jet along closed helmet streamer field lines and blowing out the streamer top to produce a classic bubble-like CME. This CME is strongly deflected from the jet's initial trajectory and contains a mixture of open and closed magnetic field lines. We present the detailed dynamics of this new type of coupled eruption, its underlying mechanisms and the implications of this work for the interpretation of in-situ and remote-sensing observations.


title: Numerical analysis for stochastic time-space fractional diffusion equation driven by fractional Gaussion noise

abstract: In this paper, we consider the strong convergence of the time-space fractional diffusion equation driven by fractional Gaussion noise with Hurst index $H\in(\frac{1}{2},1)$. A sharp regularity estimate of the mild solution and the numerical scheme constructed by finite element method for integral fractional Laplacian and backward Euler convolution quadrature for Riemann-Liouville time fractional derivative are proposed. With the help of inverse Laplace transform and fractional Ritz projection, we obtain the accurate error estimates in time and space. Finally, our theoretical results are accompanied by numerical experiments.


title: Optimized Execution of PDDL Plans using Behavior Trees

abstract: Robots need task planning to sequence and execute actions toward achieving their goals. On the other hand, Behavior Trees provide a mathematical model for specifying plan execution in an intrinsically composable, reactive, and robust way. PDDL (Planning Domain Definition Language) has become the standard description language for most planners. In this paper, we present a novel algorithm to systematically create behavior trees from PDDL plans to execute them. This approach uses the execution graph of the plan to generate a behavior tree. The most remarkable contribution of this approach is the algorithm to build a Behavior Tree that optimizes its execution by paralyzing actions, applicable to any plan, taking into account the actions' causal relationships. We demonstrate the improvement in the execution of plans in mobile robots using the ROS2 Planning System framework.


title: Higher-order temporal network effects through triplet evolution

abstract: We study the evolution of networks through `triplets' - three-node graphlets. We develop a method to compute a transition matrix to describe the evolution of triplets in temporal networks. To identify the importance of higher-order interactions in the evolution of networks, we compare both artificial and real-world data to a model based on pairwise interactions only. The significant differences between the computed matrix and the calculated matrix from the fitted parameters demonstrate that non-pairwise interactions exist for various real-world systems in space and time, such as our data sets. Furthermore, this also reveals that different patterns of higher-order interaction are involved in different real-world situations. To test our approach, we then use these transition matrices as the basis of a link prediction algorithm. We investigate our algorithm's performance on four temporal networks, comparing our approach against ten other link prediction methods. Our results show that higher-order interactions in both space and time play a crucial role in the evolution of networks as we find our method, along with two other methods based on non-local interactions, give the best overall performance. The results also confirm the concept that the higher-order interaction patterns, i.e., triplet dynamics, can help us understand and predict the evolution of different real-world systems.


title: $K_0$-group of absolute Matrix order unit spaces

abstract: In this paper, we describe the Grothendieck group $K_0(V)$ of an absolute matrix order unit space $V$. For this purpose, we discuss the direct limit of absolute matrix order unit spaces. We show that $K_0$ is a functor from category of absolute matrix order unit spaces with morphisms as unital completely $\vert \cdot \vert$-preserving maps to category of abelian groups. We study order structure on $K_0(V)$ and prove that under certain condition $K_0(V)$ is an ordered abelian group. We also show that the functor $K_0$ is additive on orthogonal unital completely $\vert \cdot \vert$-preserving maps.


title: Jet parameters for a diverse sample of jet-launching post-AGB binaries

abstract: Jets are a commonly observed phenomenon in post-asymptotic giant branch (post-AGB) binaries. Due to the orbital motion of the binary, the jet causes variable absorption in the Balmer profiles. In previous work, we have developed spatio-kinematic and radiative transfer models to reproduce the observed Balmer line variability and derive the spatio-kinematic structure of the jet and its mass-loss rate. Here, we apply our jet model to five post-AGB binaries with distinct H{\alpha} line variability and diverse orbital properties. Our models fit the H{\alpha} line variations very well. We estimate jet mass-loss rates between 10-8 Mdot yr-1 and 10-4 Mdot yr-1 , from which we deduce accretion rates onto the companion between 10-7 Mdot yr-1 and 10-3 Mdot yr-1 . These accretion rates are somewhat higher than can be comfortably explained with reasonable sources of accretion, but we argue that the circumbinary disc in these systems is most-likely the source feeding the accretion, although accretion from the post-AGB star cannot be ruled out. The diversity of the variability in the five objects is due to their wide ejection cones combined with a range of viewing angles, rather than inherent differences between the objects. The nature of the observations does not let us easily distinguish which jet launching model (stellar jet, disc wind, or X-wind) should be favoured. In conclusion, we show that our jet model includes the physical parameters to successfully reproduce the H{\alpha} line variations and retrieve the structure and mass-loss rates of the jet for all five objects that are representative of the diverse sample of Galactic post-AGB binaries.


title: Positive first-order logic on words

abstract: We study FO+, a fragment of first-order logic on finite words, where monadic predicates can only appear positively. We show that there is a FO-definable language that is monotone in monadic predicates but not definable in FO+. This provides a simple proof that Lyndon's preservation theorem fails on finite structures. We additionally show that given a regular language, it is undecidable whether it is definable in FO+.


title: Modelling wave dispersion in fluid saturating periodic scaffolds

abstract: Acoustic waves in a slightly compressible fluid saturating porous periodic structure are studied using two complementary approaches: 1) the periodic homogenization (PH) method provides effective model equations for a general dynamic problem imposed in a bounded medium, 2) harmonic acoustic waves are studied in an infinite medium using the Floquet-Bloch (FB) wave decomposition. In contrast with usual simplifications, the advection phenomenon of the Navier-Stokes equations is accounted for. For this, an acoustic approximation is applied to linearize the advection term. The homogenization results are based the periodic unfolding method combined with the asymptotic expansion technique providing a straight upscaling procedure which leads to the macroscopic model defined in terms of the effective model parameters. These are computed using the characteristic responses of the porous microstructure. Using the FB theory, we derive dispersion equations for the scaffolds saturated by the inviscid, or the viscous, barotropic fluids, whereby the advection due to a permanent flow in the porous structures is respected. A computational study is performed for the numerical models obtained using the finite element discretization. For the FB methods-based dispersion analysis, quadratic eigenvalue problems must be solved. The numerical examples show influences of the microstructure size and of the advection generating an anisotropy of the acoustic waves dispersion.


title: Moment-Driven Predictive Control of Mean-Field Collective Dynamics

abstract: The synthesis of control laws for interacting agent-based dynamics and their mean-field limit is studied. A linearization-based approach is used for the computation of sub-optimal feedback laws obtained from the solution of differential matrix Riccati equations. Quantification of dynamic performance of such control laws leads to theoretical estimates on suitable linearization points of the nonlinear dynamics. Subsequently, the feedback laws are embedded into nonlinear model predictive control framework where the control is updated adaptively in time according to dynamic information on moments of linear mean-field dynamics. The performance and robustness of the proposed methodology is assessed through different numerical experiments in collective dynamics.


title: HIP and HEP

abstract: This write-up of the ICHEP plenary "Heavy Ions - theory" focusses on some recent LHC discoveries and future opportunities in heavy ion physics (HIP) that are at the intersection with high energy physics (HEP).


title: How Real are Quantum States in $\psi$-ontic Models?

abstract: There is a longstanding debate on the metaphysical relation between quantum states and the systems they describe. A series of relatively recent {\psi}-ontology theorems have been taken to show that, provided one accepts certain assumptions, "quantum states are real". In this paper I investigate the question of what that claim might be taken to mean in light of these theorems. It is argued that, even if one accepts the framework and assumptions employed by such theorems, such a conclusion is not warranted. Specifically, I argue that when a so-called ontic state is taken to describe the properties of a system, the relation between this state and some quantum state as established by {\psi}-ontology theorems, is not of the kind that would warrant counting the quantum state among these properties in any way.


title: Weighted Ensemble-model and Network Analysis: A method to predict fluid intelligence via naturalistic functional connectivity

abstract: Objectives: Functional connectivity triggered by naturalistic stimulus (e.g., movies) and machine learning techniques provide a great insight in exploring the brain functions such as fluid intelligence. However, functional connectivity are considered to be multi-layered, while traditional machine learning based on individual models not only are limited in performance, but also fail to extract multi-dimensional and multi-layered information from brain network. Methods: In this study, inspired by multi-layer brain network structure, we propose a new method namely Weighted Ensemble-model and Network Analysis, which combines the machine learning and graph theory for improved fluid intelligence prediction. Firstly, functional connectivity analysis and graphical theory were jointly employed. The functional connectivity and graphical indices computed using the preprocessed fMRI data were then all fed into auto-encoder parallelly for feature extraction to predict the fluid intelligence. In order to improve the performance, tree regression and ridge regression model were automatically stacked and fused with weighted values. Finally, layers of auto-encoder were visualized to better illustrate the connectome patterns, followed by the evaluation of the performance to justify the mechanism of brain functions. Results: Our proposed methods achieved best performance with 3.85 mean absolute deviation, 0.66 correlation coefficient and 0.42 R-squared coefficient, outperformed other state-of-the-art methods. It is also worth noting that, the optimization of the biological pattern extraction was automated though the auto-encoder algorithm. Conclusion: The proposed method not only outperforming the state-of-the-art reports, but also able to effectively capturing the biological patterns from functional connectivity during naturalistic movies state for potential clinical explorations.


title: A remark on the discrete spectrum of non-self-adjoint Jacobi operators

abstract: We study the trace class perturbations of the whole-line, discrete Laplacian and obtain a new bound for the perturbation determinant of the corresponding non-self-adjoint Jacobi operator. Based on this bound, we refine the Lieb--Thirring inequality due to Hansmann--Katriel. The spectral enclosure for such operators is also discussed.


title: Predicting Forest Fire Using Remote Sensing Data And Machine Learning

abstract: Over the last few decades, deforestation and climate change have caused increasing number of forest fires. In Southeast Asia, Indonesia has been the most affected country by tropical peatland forest fires. These fires have a significant impact on the climate resulting in extensive health, social and economic issues. Existing forest fire prediction systems, such as the Canadian Forest Fire Danger Rating System, are based on handcrafted features and require installation and maintenance of expensive instruments on the ground, which can be a challenge for developing countries such as Indonesia. We propose a novel, cost-effective, machine-learning based approach that uses remote sensing data to predict forest fires in Indonesia. Our prediction model achieves more than 0.81 area under the receiver operator characteristic (ROC) curve, performing significantly better than the baseline approach which never exceeds 0.70 area under ROC curve on the same tasks. Our model's performance remained above 0.81 area under ROC curve even when evaluated with reduced data. The results support our claim that machine-learning based approaches can lead to reliable and cost-effective forest fire prediction systems.


title: Ensemble and Random Collaborative Representation-Based Anomaly Detector for Hyperspectral Imagery

abstract: In recent years, hyperspectral anomaly detection (HAD) has become an active topic and plays a significant role in military and civilian fields. As a classic HAD method, the collaboration representation-based detector (CRD) has attracted extensive attention and in-depth research. Despite the good performance of the CRD method, its computational cost mainly arising from the sliding dual window strategy is too high for wide applications. Moreover, it takes multiple repeated tests to determine the size of the dual window, which needs to be reset once the dataset changes and cannot be identified in advance with prior knowledge. To alleviate this problem, we proposed a novel ensemble and random collaborative representation-based detector (ERCRD) for HAD, which comprises two closely related stages. Firstly, we process the random sub-sampling on CRD (RCRD) to gain several detection results instead of the sliding dual window strategy, which significantly reduces the computational complexity and makes it more feasible in practical applications. Secondly, ensemble learning is employed to refine the multiple results of RCRD, which act as various "experts" providing abundant complementary information to better target different anomalies. Such two stages form an organic and theoretical detector, which can not only improve the accuracy and stability of HAD methods but also enhance its generalization ability. Experiments on four real hyperspectral datasets exhibit the accuracy and efficiency of this proposed ERCRD method compared with ten state-of-the-art HAD methods.


title: Multichannel CRNN for Speaker Counting: an Analysis of Performance

abstract: Speaker counting is the task of estimating the number of people that are simultaneously speaking in an audio recording. For several audio processing tasks such as speaker diarization, separation, localization and tracking, knowing the number of speakers at each timestep is a prerequisite, or at least it can be a strong advantage, in addition to enabling a low latency processing. In a previous work, we addressed the speaker counting problem with a multichannel convolutional recurrent neural network which produces an estimation at a short-term frame resolution. In this work, we show that, for a given frame, there is an optimal position in the input sequence for best prediction accuracy. We empirically demonstrate the link between that optimal position, the length of the input sequence and the size of the convolutional filters.


title: Dynamic Prioritization for Conflict-Free Path Planning of Multi-Robot Systems

abstract: Planning collision-free paths for multi-robot systems (MRS) is a challenging problem because of the safety and efficiency constraints required for real-world solutions. Even though coupled path planning approaches provide optimal collision-free paths for each agent of the MRS, they search the composite space of all the agents and therefore, suffer from exponential increase in computation with the number of robots. On the other hand, prioritized approaches provide a practical solution to applications with large number of robots, especially when path computation time and collision avoidance take precedence over guaranteed globally optimal solution. While most centrally-planned algorithms use static prioritization, a dynamic prioritization algorithm, PD*, is proposed that employs a novel metric, called freedom index, to decide the priority order of the robots at each time step. This allows the PD* algorithm to simultaneously plan the next step for all robots while ensuring collision-free operation in obstacle ridden environments. Extensive simulations were performed to test and compare the performance of the proposed PD* scheme with other state-of-the-art algorithms. It was found that PD* improves upon the computational time by 25% while providing solutions of similar path lengths. Increase in efficiency was particularly prominent in scenarios with large number of robots and/or higher obstacle densities, where the probability of collisions is higher, suggesting the suitability of PD* in solving such problems.


title: Fabrication of $^{15}\textrm{NV}^{-}$ centers in diamond using a deterministic single ion implanter

abstract: Nitrogen Vacancy (NV) centers in diamond are a platform for several important quantum technologies, including sensing, communication and elementary quantum processors. In this letter we demonstrate the creation of NV centers by implantation using a deterministic single ion source. For this we sympathetically laser-cool single $^{15}\textrm{N}_2^+$ molecular ions in a Paul trap and extract them at an energy of 5.9\,keV. Subsequently the ions are focused with a lateral resolution of 121(35)\,nm and are implanted into a diamond substrate without any spatial filtering by apertures or masks. After high-temperature annealing, we detect the NV centers in a confocal microscope and determine a conversion efficiency of about 0.6\,$\%$. The $^{15}\textrm{NV}$ centers are characterized by optically detected magnetic resonance (ODMR) on the hyperfine transition and coherence time.


title: Decay of baryon inhomogeneities in an expanding universe

abstract: Baryon inhomogeneities can be generated very early in the universe. These inhomogeneities then decay by particle diffusion in an expanding universe. We study the decay of these baryon inhomogeneities in the early universe using the diffusion equation in the Friedmann-Lemaitre-Robertson-Walker (FLRW) metric. We have studied the decay starting from the electroweak phase transition. We calculate the interaction cross section of the quarks with the neutrinos, the electrons and the muons and obtain the diffusion coefficients. The diffusion coefficients are temperature dependent. We find that the expansion of the universe causes the inhomogeneities to decay at a faster rate. We find that the baryon inhomogeneities generated at the electroweak epoch have very low amplitudes at the time of the quark hadron phase transition. So unless inhomogeneities are generated with a very high amplitude (greater than $10^5$ times the background density), they will have no effect on the quark hadron phase transition. After the quark hadron phase transition, we include the interaction of the muons with the neutrons and the protons till 100 MeV. We also find that large density inhomogeneities generated during the quark hadron transition with sizes of the order of 1 km must have amplitudes greater than $10^5 $ times the background density to survive upto the nucleosynthesis epoch in an expanding universe.


title: Magnetoresistance of edge states of a two-dimensional topological insulator

abstract: The theory of magnetoresistance of the edge state of a two-dimensional topological insulator is developed. The magnetic field violates the time-reversal invariance. Magnetoresistance arises due to the energy gap opened by a magnetic field parallel to the sample surface. The combined action of impurities and the magnetic field causes backscattering of edge electrons. Although impurities are necessary for scattering, sufficiently strong interaction with impurities leads to the suppression of backscattering.


title: On approximation by random L\"uroth expansions

abstract: We introduce a family of random $c$-L\"uroth transformations $\{L_c\}_{c \in [0, \frac12]}$, obtained by randomly combining the standard and alternating L\"uroth maps with probabilities $p$ and $1-p$, $0 < p < 1$, both defined on the interval $[c,1]$. We prove that the pseudo-skew product map $L_c$ produces for each $c \le \frac25$ and for Lebesgue almost all $x \in [c,1]$ uncountably many different generalised L\"uroth expansions that can be investigated simultaneously. Moreover, for $c= \frac1{\ell}$, for $\ell \in \mathbb{N}_{\geq 3} \cup \{\infty\}$, Lebesgue almost all $x$ have uncountably many universal generalised L\"uroth expansions with digits less than or equal to $\ell$. For $c=0$ we show that typically the speed of convergence to an irrational number $x$, of the sequence of L\"uroth approximants generated by $L_0$, is equal to that of the standard L\"uroth approximants; and that the quality of the approximation coefficients depends on $p$ and varies continuously between the values for the alternating and the standard L\"uroth map. Furthermore, we show that for each $c \in \mathbb Q$ the map $L_c$ admits a Markov partition. For specific values of $c>0$, we compute the density of the stationary measure and we use it to study the typical speed of convergence of the approximants and the digit frequencies.


title: Asymptotics of k dimensional spherical integrals and applications

abstract: In this article, we prove that k-dimensional spherical integrals are asymptotically equivalent to the product of 1-dimensional spherical integrals. This allows us to generalize several large deviations principles in random matrix theory known before only in a one-dimensional case. As examples, we study the universality of the large deviations for k extreme eigenvalues of Wigner matrices (resp. Wishart matrices, resp. matrices with general variance profiles) with sharp sub-Gaussian entries, as well as large deviations principles for extreme eigenvalues of Gaussian Wigner and Wishart matrices with a finite dimensional perturbation.


title: Multi-object Tracking with a Hierarchical Single-branch Network

abstract: Recent Multiple Object Tracking (MOT) methods have gradually attempted to integrate object detection and instance re-identification (Re-ID) into a united network to form a one-stage solution. Typically, these methods use two separated branches within a single network to accomplish detection and Re-ID respectively without studying the inter-relationship between them, which inevitably impedes the tracking performance. In this paper, we propose an online multi-object tracking framework based on a hierarchical single-branch network to solve this problem. Specifically, the proposed single-branch network utilizes an improved Hierarchical Online In-stance Matching (iHOIM) loss to explicitly model the inter-relationship between object detection and Re-ID. Our novel iHOIM loss function unifies the objectives of the two sub-tasks and encourages better detection performance and feature learning even in extremely crowded scenes. Moreover, we propose to introduce the object positions, predicted by a motion model, as region proposals for subsequent object detection, where the intuition is that detection results and motion predictions can complement each other in different scenarios. Experimental results on MOT16 and MOT20 datasets show that we can achieve state-of-the-art tracking performance, and the ablation study verifies the effectiveness of each proposed component.


title: Statistical CSI Based Hybrid mmWave MIMO-NOMA with Max-Min Fairness

abstract: Non-orthogonal multiple access (NOMA) and millimeter wave (mmWave) are two key enabling technologies for the fifth-generation (5G) mobile networks and beyond. In this paper, we consider mmWave NOMA systems with max-min fairness constraints. On the one hand, existing beamforming designs aiming at maximizing the spectrum efficiency (SE) are unsuitable for the NOMA systems with fairness in this paper. On the other hand, previous work on about mmWave NOMA mostly depends on full knowledge of channel state information (CSI) which is extremely difficult to obtain accurately in mmWave communication systems. To address this problem, we propose a heuristic hybrid beamforming design based on the statistical CSI (SCSI) user grouping strategy. An analog beamforming scheme is first proposed to integrate the whole cluster users to mitigate the inter-cluster interference in the first stage. Then two digital beamforming designs are proposed to further suppress the interference based on SCSI. One is the widely used zero forcing (ZF) approach and the other is derived from the signal-to leakage-plus-noise ratio (SLNR) metric extended from orthogonal multiple access (OMA) systems. The effective gains fed back from the users are used for the power allocation. We introduce the quadratic transform (QT) method and bisection approach to reformulate this complex problem so as to rend it solvable. Simulation results show that our proposed algorithms outperform the previous algorithms in term of user fairness.


title: A pulsed lock-in method for ensemble nitrogen-vacancy center magnetometry

abstract: This article proposes a scheme for nitrogen-vacancy (NV) center magnetometry that combines the advantages of lock-in detection and pulse-type scheme. The optimal conditions, optimal sensitivity, and noise-suppression capability of the proposed method are compared with those of the conventional methods from both theoretical and simulation points of view. Through experimental measurements, a four-time improvement in sensitivity and 60-times improvement in minimum resolvable magnetic field (MRMF) was obtained. By using a confocal experiment setup, proposed scheme achieves a sensitivity of 3 nT/Hz1/2 and a MRMF of 100 pT.


title: Experimental Creation of Single Rydberg Excitations via Adiabatic Passage

abstract: In an atomic ensemble, quantum information is typically carried as single collective excitations. It is very advantageous if the creation of single excitations is efficient and robust. Rydberg blockade enables deterministic creation of single excitations via collective Rabi oscillation by precisely controlling the pulse area, being sensitive to many experimental parameters. In this paper, we implement the adiabatic rapid passage technique to the Rydberg excitation process in a mesoscopic atomic ensemble. We make use of a two-photon excitation scheme with an intermediate state off-resonant and sweep the laser frequency of one excitation laser. We find the chirped scheme preserves internal phases of the collective Rydberg excitation and be more robust against variance of laser intensity and frequency detuning.


title: Cavity-Enhanced Atom-Photon Entanglement with Subsecond Lifetime

abstract: A cold atomic ensemble suits well for optical quantum memories, and its entanglement with a single photon forms the building block for quantum networks that give promise for many revolutionary applications. Efficiency and lifetime are among the most important figures of merit for a memory. In this paper, we report the realization of entanglement between an atomic ensemble and a single-photon with subsecond lifetime and high efficiency. We engineer dual control modes in a ring cavity to create entanglement and make use of 3-dimensional optical lattice to prolong memory lifetime. The memory efficiency is 38% for 0.1 second storage. We verify the atom-photon entanglement after 1 second storage by testing the Bell inequality with a result of $S=2.36\pm0.14$.


title: OH mid-infrared emission as a diagnostic of H$_2$O UV photodissociation. I. Model and application to the HH 211 shock

abstract: Water is an important molecule in interstellar and circumstellar environments. Previous observations of mid-infrared rotational lines of OH suggest that these lines may be used to probe the photodissociation of water. In this work, cross sections for the photodissociation of H$_2$O resolving the state of the OH fragment are collected and incorporated in a new molecular excitation code called GROSBETA, which includes radiative pumping, collisional (de)excitation, and prompt emission (i.e., following the production of OH in excited states). We find that the OH rotational line intensities in the range 9-16$\mu$m, covering rotational transitions with $N_{up}=18$ to 45, are proportional to the column density of H$_2$O photodissociated per second by photons in the range 114-143nm and do not depend on other local properties. Provided an independent measurement of the column density of water is available, the strength of the local UV radiation field can be deduced with good accuracy. In contrast, the OH lines at longer far-infrared wavelengths are primarily produced by IR radiative pumping and collisions. Our model successfully reproduces the OH mid-IR lines in the $10-16\mu$m range observed by Spitzer toward the tip of the HH 211 bow-shock and shows that the jet shock irradiates its surroundings, exposing H$_2$O to a UV photon flux that is about $5 \times 10^3$ times larger than the standard interstellar radiation field. We also find that chemical pumping by the reaction H$_2$ + O may supplement the excitation of lines in the range $16-30\mu$m. The mid-infrared lines of OH constitute a powerful diagnostic for inferring the photodissociation rate of water and thus the UV field water is exposed to. Future JWST-MIRI observations will be able to map the photodestruction rate of H$_2$O in various dense and irradiated environments and provide robust estimates of the local UV radiation field.


title: Cross-Validation and Uncertainty Determination for Randomized Neural Networks with Applications to Mobile Sensors

abstract: Randomized artificial neural networks such as extreme learning machines provide an attractive and efficient method for supervised learning under limited computing ressources and green machine learning. This especially applies when equipping mobile devices (sensors) with weak artificial intelligence. Results are discussed about supervised learning with such networks and regression methods in terms of consistency and bounds for the generalization and prediction error. Especially, some recent results are reviewed addressing learning with data sampled by moving sensors leading to non-stationary and dependent samples. As randomized networks lead to random out-of-sample performance measures, we study a cross-validation approach to handle the randomness and make use of it to improve out-of-sample performance. Additionally, a computationally efficient approach to determine the resulting uncertainty in terms of a confidence interval for the mean out-of-sample prediction error is discussed based on two-stage estimation. The approach is applied to a prediction problem arising in vehicle integrated photovoltaics.


title: Observing gravitational wave polarizations with LISA-TAIJI network

abstract: Two polarization modes of gravitational wave are derived from the general relativity which are plus and cross modes. However, the alternative theories of gravity can yield the gravitational wave with up to six polarizations. Searching for the polarizations beyond plus and cross is an important test of general relativity. In principle, one space-borne detector, like LISA, could measure the gravitational wave polarizations from a long time observation with its orbital motion. With the comparable sensitivities, the joint LISA and TAIJI missions will improve the observations on the polarization predictions of theories beyond general relativity. In this work, a class of parameterized post-Einsteinian waveform is employed to describe the alternative polarizations, and six parameterized post-Einsteinian parameters quantifying from general relativity waveform are examined by using the LISA-TAIJI network. Our results show that the measurements on amplitudes of alternative polarizations from joint LISA-TAIJI observation could be improved by more than 10 times compared to LISA single mission in an optimal scenario.


title: Detection of foraging behavior from accelerometer data using U-Net type convolutional networks

abstract: Narwhal is one of the most mysterious marine mammals, due to its isolated habitat in the Arctic region. Tagging is a technology that has the potential to explore the activities of this species, where behavioral information can be collected from instrumented individuals. This includes accelerometer data, diving and acoustic data as well as GPS positioning. An essential element in understanding the ecological role of toothed whales is to characterize their feeding behavior and estimate the amount of food consumption. Buzzes are sounds emitted by toothed whales that are related directly to the foraging behaviors. It is therefore of interest to measure or estimate the rate of buzzing to estimate prey intake. The main goal of this paper is to find a way to detect prey capture attempts directly from accelerometer data, and thus be able to estimate food consumption without the need for the more demanding acoustic data. We develop 3 automated buzz detection methods based on accelerometer and depth data solely. We use a dataset from 5 narwhals instrumented in East Greenland in 2018 to train, validate and test a logistic regression model and the machine learning algorithms random forest and deep learning, using the buzzes detected from acoustic data as the ground truth. The deep learning algorithm performed best among the tested methods. We conclude that reliable buzz detectors can be derived from high-frequency-sampling, back-mounted accelerometer tags, thus providing an alternative tool for studies of foraging ecology of marine mammals in their natural environments. We also compare buzz detection with certain movement patterns, such as sudden changes in acceleration (jerks), found in other marine mammal species for estimating prey capture. We find that narwhals do not seem to make big jerks when foraging and conclude that their hunting patterns in that respect differ from other marine mammals.


title: A Survey of Deep RL and IL for Autonomous Driving Policy Learning

abstract: Autonomous driving (AD) agents generate driving policies based on online perception results, which are obtained at multiple levels of abstraction, e.g., behavior planning, motion planning and control. Driving policies are crucial to the realization of safe, efficient and harmonious driving behaviors, where AD agents still face substantial challenges in complex scenarios. Due to their successful application in fields such as robotics and video games, the use of deep reinforcement learning (DRL) and deep imitation learning (DIL) techniques to derive AD policies have witnessed vast research efforts in recent years. This paper is a comprehensive survey of this body of work, which is conducted at three levels: First, a taxonomy of the literature studies is constructed from the system perspective, among which five modes of integration of DRL/DIL models into an AD architecture are identified. Second, the formulations of DRL/DIL models for conducting specified AD tasks are comprehensively reviewed, where various designs on the model state and action spaces and the reinforcement learning rewards are covered. Finally, an in-depth review is conducted on how the critical issues of AD applications regarding driving safety, interaction with other traffic participants and uncertainty of the environment are addressed by the DRL/DIL models. To the best of our knowledge, this is the first survey to focus on AD policy learning using DRL/DIL, which is addressed simultaneously from the system, task-driven and problem-driven perspectives. We share and discuss findings, which may lead to the investigation of various topics in the future.


title: Tingley's problem on uniform algebras

abstract: We prove that a surjective isometry between the unit spheres of two uniform algebras is extended to a surjective real-linear isometry between the uniform algebras. It provides the first positive solution for Tingley's problem on a Banach space of analytic functions.


title: Federated Learning at the Network Edge: When Not All Nodes are Created Equal

abstract: Under the federated learning paradigm, a set of nodes can cooperatively train a machine learning model with the help of a centralized server. Such a server is also tasked with assigning a weight to the information received from each node, and often also to drop too-slow nodes from the learning process. Both decisions have major impact on the resulting learning performance, and can interfere with each other in counterintuitive ways. In this paper, we focus on edge networking scenarios and investigate existing and novel approaches to such model-weighting and node-dropping decisions. Leveraging a set of real-world experiments, we find that popular, straightforward decision-making approaches may yield poor performance, and that considering the quality of data in addition to its quantity can substantially improve learning.


title: Development of novel silicon sensors with high time and spatial resolution

abstract: Silicon pad sensors with novel functions of higher timing resolution (LGAD: Low Gain Avalanche Detector) and higher position resolution (PSD: Position Sensitive Detector) are studied for an application to Silicon-Tungsten electromagnetic calorimeter for a detector of the International Linear Collider (ILC). Prototype sensors are fabricated, equipped with dedicated ASICs (Application-Specific Integrated Circuits) and tested with a positron beam as well as a radioisotope. The first results of the measurements of timing resolution with LGADs and position reconstruction with PSDs are reported.


title: Counting independent sets in strongly orderable graphs

abstract: We consider the problem of devising algorithms to count exactly the number of independent sets of a graph G . We show that there is a polynomial time algorithm for this problem when G is restricted to the class of strongly orderable graphs, a superclass of chordal bipartite graphs. We also show that such an algorithm exists for graphs of bounded clique-width. Our results extends to a more general setting of counting independent sets in a weighted graph and can be used to count the number of independent sets of any given size k .


title: Can Transfer Neuroevolution Tractably Solve Your Differential Equations?

abstract: This paper introduces neuroevolution for solving differential equations. The solution is obtained through optimizing a deep neural network whose loss function is defined by the residual terms from the differential equations. Recent studies have focused on learning such physics-informed neural networks through stochastic gradient descent (SGD) variants, yet they face the difficulty of obtaining an accurate solution due to optimization challenges. In the context of solving differential equations, we are faced with the problem of finding globally optimum parameters of the network, instead of being concerned with out-of-sample generalization. SGD, which searches along a single gradient direction, is prone to become trapped in local optima, so it may not be the best approach here. In contrast, neuroevolution carries out a parallel exploration of diverse solutions with the goal of circumventing local optima. It could potentially find more accurate solutions with better optimized neural networks. However, neuroevolution can be slow, raising tractability issues in practice. With that in mind, a novel and computationally efficient transfer neuroevolution algorithm is proposed in this paper. Our method is capable of exploiting relevant experiential priors when solving a new problem, with adaptation to protect against the risk of negative transfer. The algorithm is applied on a variety of differential equations to empirically demonstrate that transfer neuroevolution can indeed achieve better accuracy and faster convergence than SGD. The experimental outcomes thus establish transfer neuroevolution as a noteworthy approach for solving differential equations, one that has never been studied in the past. Our work expands the resource of available algorithms for optimizing physics-informed neural networks.


title: The Gluon Exchange Model for diffractive and inelastic collisions

abstract: We propose a new model for a homogeneous description of hadron-hadron and hadron-nucleus collisions, the Gluon Exchange Model, fundamentally based on color octet (gluon) exchange. In proton-proton collisions we provide an exact description of the final state proton and neutron spectrum including the proton diffractive peak. In proton-nucleus reactions we find that the projectile proton diquark cannot survive in more than about half of multiple proton-nucleon processes and consequently must be very frequently disintegrated, leading to long transfers of baryon number over rapidity space.


title: Weakly-Supervised Multi-Face 3D Reconstruction

abstract: 3D face reconstruction plays a very important role in many real-world multimedia applications, including digital entertainment, social media, affection analysis, and person identification. The de-facto pipeline for estimating the parametric face model from an image requires to firstly detect the facial regions with landmarks, and then crop each face to feed the deep learning-based regressor. Comparing to the conventional methods performing forward inference for each detected instance independently, we suggest an effective end-to-end framework for multi-face 3D reconstruction, which is able to predict the model parameters of multiple instances simultaneously using single network inference. Our proposed approach not only greatly reduces the computational redundancy in feature extraction but also makes the deployment procedure much easier using the single network model. More importantly, we employ the same global camera model for the reconstructed faces in each image, which makes it possible to recover the relative head positions and orientations in the 3D scene. We have conducted extensive experiments to evaluate our proposed approach on the sparse and dense face alignment tasks. The experimental results indicate that our proposed approach is very promising on face alignment tasks without fully-supervision and pre-processing like detection and crop. Our implementation is publicly available at \url{https://github.com/kalyo-zjl/WM3DR}.


title: Pulse-shape calculations and applications using the AGATAGeFEM software package

abstract: A software package for modeling segmented High-Purity Segmented Germanium detectors, AGATAGeFEM, is presented. The choices made for geometry implementation and the calculations of the electric and weighting fields are discussed. Models used for charge-carrier velocities are described. Numerical integration of the charge-carrier transport equation is explained. Impact of noise and crosstalk on the achieved position resolution in AGATA detectors are investigated. The results suggest that crosstalk as seen in the AGATA detectors is of minor importance for the position resolution. The sensitivity of the pulse shapes to the parameters in the pulse-shape calculations is determined, this as a function of position in the detectors. Finally, AGATAGeFEM has been used to produce pulse-shape data bases for pulse-shape analyses of experimental data. The results with the new data base indicate improvement with respect to those with the standard AGATA data base.


title: On the Feller-Dynkin and the Martingale Property of One-Dimensional Diffusions

abstract: We show that a one-dimensional regular continuous Markov process \(\X\) with scale function \(s\) is a Feller--Dynkin process precisely if the space transformed process \(s (X)\) is a martingale when stopped at the boundaries of its state space. As a consequence, the Feller--Dynkin and the martingale property are equivalent for regular diffusions on natural scale with open state space. By means of a counterexample, we also show that this equivalence fails for multi-dimensional diffusions. Moreover, for It\^o diffusions we discuss relations to Cauchy problems.


title: Algorithms and Hardness for Multidimensional Range Updates and Queries

abstract: Traditional orthogonal range problems allow queries over a static set of points, each with some value. Dynamic variants allow points to be added or removed, one at a time. To support more powerful updates, we introduce the Grid Range class of data structure problems over integer arrays in one or more dimensions. These problems allow range updates (such as filling all cells in a range with a constant) and queries (such as finding the sum or maximum of values in a range). In this work, we consider these operations along with updates that replace each cell in a range with the minimum, maximum, or sum of its existing value, and a constant. In one dimension, it is known that segment trees can be leveraged to facilitate any $n$ of these operations in $\tilde{O}(n)$ time overall. Other than a few specific cases, until now, higher dimensional variants have been largely unexplored. We show that no truly subquadratic time algorithm can support certain pairs of these updates simultaneously without falsifying several popular conjectures. On the positive side, we show that truly subquadratic algorithms can be obtained for variants induced by other subsets. We provide two approaches to designing such algorithms that can be generalised to online and higher dimensional settings. First, we give almost-tight $\tilde{O}(n^{3/2})$ time algorithms for single-update variants where the update operation distributes over the query operation. Second, for other variants, we provide a general framework for reducing to instances with a special geometry. Using this, we show that $O(m^{3/2-\epsilon})$ time algorithms for counting paths and walks of length 2 and 3 between vertex pairs in sparse graphs imply truly subquadratic data structures for certain variants; to this end, we give an $\tilde{O}(m^{(4\omega-1)/(2\omega+1)}) = O(m^{1.478})$ time algorithm for counting simple 3-paths between vertex pairs.


title: Reweighting non-equilibrium steady-state dynamics along collective variables

abstract: Computer simulations generate microscopic trajectories of complex systems at a single thermodynamic state point. We recently introduced a Maximum Caliber (MaxCal) approach for dynamical reweighting. Our approach mapped these trajectories to a Markovian description on the configurational coordinates, and reweighted path probabilities as a function of external forces. Trajectory probabilities can be dynamically reweighted both from and to equilibrium or non-equilibrium steady states. As the system's dimensionality increases, an exhaustive description of the microtrajectories becomes prohibitive--even with a Markovian assumption. Instead we reduce the dimensionality of the configurational space to collective variables (CVs). Going from configurational to CV space, we define local entropy productions derived from configurationally averaged mean forces. The entropy production is shown to be a suitable constraint on MaxCal for non-equilibrium steady states expressed as a function of CVs. We test the reweighting procedure on two systems: a particle subject to a two-dimensional potential and a coarse-grained peptide. Our CV-based MaxCal approach expands dynamical reweighting to larger systems, for both static and dynamical properties, and across a large range of driving forces.


title: HELIOS-K 2.0 Opacity Calculator and Open-source Opacity Database for Exoplanetary Atmospheres

abstract: Computing and using opacities is a key part of modeling and interpreting data of exoplanetary atmospheres. Since the underlying spectroscopic line lists are constantly expanding and currently include up to ~ 10^10 - 10^11 transition lines, the opacity calculator codes need to become more powerful. Here we present major upgrades to the HELIOS-K GPU-accelerated opacity calculator and describe the necessary steps to process large line lists within a reasonable amount of time. Besides performance improvements, we include more capabilities and present a toolbox for handling different atomic and molecular data sets: from downloading and pre-processing the data to performing the opacity calculations in a user-friendly way. HELIOS-K supports line lists from ExoMol, HITRAN, HITEMP, NIST, Kurucz and VALD3. By matching the resolution of 0.1 cm^-1 and cutting length of 25 cm^-1 used by the ExoCross code for timing performance (251 seconds excluding data read-in time), HELIOS-K can process the ExoMol BT2 water line list in 12.5 seconds. Using a resolution of 0.01 cm^-1, it takes 45 seconds - equivalent to about 10^7 lines per second. As a wavenumber resolution of 0.01 cm^-1 suffices for most exoplanetary atmosphere spectroscopic calculations, we adopt this resolution in calculating opacity functions for several hundred atomic and molecular species, and make them freely available on the open-access DACE database. For the opacity calculations of the database, we use a cutting length of 100 cm^-1 for molecules and no cutting length for atoms. Our opacities are available for downloading from https://dace.unige.ch/opacityDatabase and may be visualized using https://dace.unige.ch/opacity.


title: Relationship between Student Engagement and Performance in e-Learning Environment Using Association Rules

abstract: The field of e-learning has emerged as a topic of interest in academia due to the increased ease of accessing the Internet using using smart-phones and wireless devices. One of the challenges facing e-learning platforms is how to keep students motivated and engaged. Moreover, it is also crucial to identify the students that might need help in order to make sure their academic performance doesn't suffer. To that end, this paper tries to investigate the relationship between student engagement and their academic performance. Apriori association rules algorithm is used to derive a set of rules that relate student engagement to academic performance. Experimental results' analysis done using confidence and lift metrics show that a positive correlation exists between students' engagement level and their academic performance in a blended e-learning environment. In particular, it is shown that higher engagement often leads to better academic performance. This cements the previous work that linked engagement and academic performance in traditional classrooms.


title: Hirotaka's problem 028

abstract: In this article we discuss problem HI 028 of the Hirotaka files, a collection of sangakuproblems created by Hirotaka Ebisui.


title: An Ecosystem Approach to Ethical AI and Data Use: Experimental Reflections

abstract: While we have witnessed a rapid growth of ethics documents meant to guide AI development, the promotion of AI ethics has nonetheless proceeded with little input from AI practitioners themselves. Given the proliferation of AI for Social Good initiatives, this is an emerging gap that needs to be addressed in order to develop more meaningful ethical approaches to AI use and development. This paper offers a methodology, a shared fairness approach, aimed at identifying the needs of AI practitioners when it comes to confronting and resolving ethical challenges and to find a third space where their operational language can be married with that of the more abstract principles that presently remain at the periphery of their work experiences. We offer a grassroots approach to operational ethics based on dialog and mutualised responsibility. This methodology is centred around conversations intended to elicit practitioners perceived ethical attribution and distribution over key value laden operational decisions, to identify when these decisions arise and what ethical challenges they confront, and to engage in a language of ethics and responsibility which enables practitioners to internalise ethical responsibility. The methodology bridges responsibility imbalances that rest in structural decision making power and elite technical knowledge, by commencing with personal, facilitated conversations, returning the ethical discourse to those meant to give it meaning at the sharp end of the ecosystem. Our primary contribution is to add to the recent literature seeking to bring AI practitioners' experiences to the fore by offering a methodology for understanding how ethics manifests as a relational and interdependent sociotechnical practice in their work.


title: Teaching Creativity Using a Realistic Multi-User Operation: Packet Tracer

abstract: Multi-user capabilities in Cisco Packet Tracer provide an incentive for immersive realistic learning to increase the efficiency of teaching and learning in the networking class. It is difficult to evaluate the configuration skills of the students in the classroom, particularly during laboratory class, while teaching networking course, the most problems for lecturers. The multi-user functionality that uses the one-to-many remote relay server concept allows lecturers to remotely control and test many students at one time. The key purpose of this paper is to incorporate creativity in teaching by using realistic multi-user practises in the networking class. In this study, the multiuser operation was developed and used via an existing LAN link in the classroom. The focus of the operation is the simple configuration of network equipment such as routers and switches. This practise was used during the laboratory session, encouraging lecturers to establish relationships based on a large audience. The professor is able to evaluate the success of the students during the execution of the activity and to ensure that each student engages in the activity. As a result of introducing this approach, the curiosity of students in technical subjects can be improved and student success can be conveniently tracked on the part of the lecturer. Lecturers are able to monitor the configuration capabilities of students closely to ensure that each student engages in the laboratory class. The lecturer will train students not only to develop their configuration and troubleshooting abilities by using this teaching form, but also to accelerate the pace at which students need to fix network problems.


title: Earthquake magnitude and location estimation from real time seismic waveforms with a transformer network

abstract: Precise real time estimates of earthquake magnitude and location are essential for early warning and rapid response. While recently multiple deep learning approaches for fast assessment of earthquakes have been proposed, they usually rely on either seismic records from a single station or from a fixed set of seismic stations. Here we introduce a new model for real-time magnitude and location estimation using the attention based transformer networks. Our approach incorporates waveforms from a dynamically varying set of stations and outperforms deep learning baselines in both magnitude and location estimation performance. Furthermore, it outperforms a classical magnitude estimation algorithm considerably and shows promising performance in comparison to a classical localization algorithm. In this work, we furthermore conduct a comprehensive study of the requirements on training data, the training procedures and the typical failure modes using three diverse and large scale data sets. Our analysis gives several key insights. First, we can precisely pinpoint the effect of large training data; for example, a four times larger training set reduces the required time for real time assessment by a factor of four. Second, the basic model systematically underestimates large magnitude events. This issue can be mitigated by incorporating events from other regions into the training through transfer learning. Third, location estimation is highly precise in areas with sufficient training data, but is strongly degraded for events outside the training distribution. Our analysis suggests that these characteristics are not only present for our model, but for most deep learning models for fast assessment published so far. They result from the black box modeling and their mitigation will likely require imposing physics derived constraints on the neural network.


title: Towards an Abolitionist AI: the role of Historically Black Colleges and Universities

abstract: Abolition is the process of destroying and then rebuilding the structures that impede liberation. This paper addresses the particular case of Black folk in the United States, but is relevant to the global decolonization movement. Using notions of abolition and infrastructures of feeling developed by Ruth Wilson Gilmore, I view Historically Black Colleges and Universities ( HBCUs ) as a particular kind of abolitionist project, created for the explicit purpose of nurturing and sustaining Black excellence particularly within the sciences. I then examine how artificial intelligence (AI) in particular and computing in general have contributed to racial oppression and the further confinement and diminishing of Black existence. I conclude by examining how the space held by HBCUs in computing might contribute to a re-imagining of AI as a technology that enhances the possibility and actualization of Black life.


title: Exact Solution of the Einstein Field Equations for a Spherical Shell of Fluid Matter

abstract: We determine the exact solution of the Einstein field equations for the case of a spherically symmetric shell of liquid matter, characterized by an energy density which is constant with the Schwarzschild radial coordinate $r$ between two values $r_{1}$ and $r_{2}$. The solution is given in three regions, one being the well-known analytical Schwarzschild solution in the outer vacuum region, one being determined analytically in the inner vacuum region, and one being determined mostly analytically but partially numerically, within the matter region. The solutions for the temporal coefficient of the metric and for the pressure within this region are given in terms of a non-elementary but fairly straightforward real integral. We show that in this solution there is a singularity at the origin, and give the parameters of that singularity in terms of the geometrical and physical parameters of the shell. This does not correspond to an infinite concentration of matter, but in fact to zero energy density at the center. It does, however, imply that the spacetime within the spherical cavity is not flat, so that there is a non-trivial gravitational field there, in contrast with Newtonian gravitation. This gravitational field has the effect of stabilizing the geometrical configuration of the matter, since any particle of the matter that wanders out into the vacuum regions tends to be brought back to the bulk of the matter by the gravitational field.


title: Using Data Science to monitor the pandemic with a single number: the Synthetic COVID Index

abstract: Rapid and affordable methods of summarizing the multitude of data relating to the pandemic can be useful to health authorities and policy makers who are dealing with the COVID-19 pandemic at various levels in the territories affected by SARSCoV-2. This is the goal of the Synthetic COVID Index, an index based on an ensemble of Unsupervised Machine Learning techniques which focuses on the identification of a latent variable present in data that contains measurement errors. This estimated latent variable can be interpreted as "the strength of the pandemic". An application to the Italian case shows how the index is able to provide a concise representation of the situation.